Skip to main content

Inequalities for integral operators in Hölder–Morrey spaces on differential forms

Abstract

The Hölder–Morrey spaces \(\Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l})\) are proposed in this paper. The imbedding inequalities for homotopy operator are derived in Hölder–Morrey spaces on differential forms. The Hölder continuity for Riesz potential with envelope function is deduced. As application, some composite theorems, which are associated with conjugate A-harmonic equations on differential forms, are given.

1 Introduction

The purpose of this paper is to study the imbedding theory for homotopy operator in Hölder–Morrey spaces on differential forms. We first give a new definition for the Hölder–Morrey spaces \(\Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l})\) that is based on the classical Hölder theory and Sobolev spaces \(W^{p,\kappa}(\Omega ,\wedge ^{l})\) on differential forms. The theory of Hölder continuity of order \(\kappa \in (0,1]\) has been widely used in various fields such as partial differential equations, harmonic analysis, and basic geometrical theory, see [13].

The concept of Morrey space was proposed in 1938, and many scholars have conducted in-depth research on it. Morrey space theory was extended to generalized Morrey spaces, weighted Morrey spaces, variable exponent Morrey spaces, weak Morrey spaces, and so on, see [47]; with the deepening of research, to composite spaces of Morrey spaces such as Morrey–Herz spaces and Orlicz–Morrey spaces, see [8, 9]. The concept of Hölder–Morrey spaces we present is in Sect. 2. Furthermore, the theory of envelope functions is introduced in the same section, and we give the definition for a class of admissible envelope functions. Envelope functions have been widely studied in super-lattice band structure, medical science, and nonlinear periodic structure, see [1012]. In the present paper, the real envelope function \(\lambda :\mathbb{R}^{n}\rightarrow \mathbb{R}\) satisfies the condition of locally Hölder-continuous in \(L^{p,\tau}\)-norm.

Homotopy operator T is a key tool used in the decomposition theorem and Poincaré-type inequality on differential forms, see [13, 14] for more details. Homotopy operator T on differential forms is a linear mapping from \(\wedge ^{l}(\mathbb{R}^{n})\) to \(\wedge ^{l-1}(\mathbb{R}^{n})\). In fact, by using the Poincaré lemma in [15], we obtain

$$ u=dTu+T\,du=dTu $$

for a closed form u on Ω. The primary properties for homotopy operator T on differential forms can be found in [15].

In this paper, we introduce the definition of Hölder–Morrey spaces and envelope functions on differential forms in Sect. 2. The imbedding inequality for homotopy operator T and Poincaré-type inequality are given in Sect. 3. In Sect. 4, the Hölder continuity for Riesz potential operator with envelope functions is derived. Finally, some estimates that are closely related to homotopy operator applied to the solutions of conjugate A-harmonic equations on differential forms are obtained.

2 Preliminary

Before stating our main results, we introduce some notations and basic theory for differential forms.

Let \(\Omega \subset \mathbb{R}^{n}\) be a bounded, convex domain, \(n\geq 2\) and an l-form u be a locally integrable function on Ω with values in \(\wedge ^{l}(\mathbb{R}^{n})\). If \(u(x)\in \wedge ^{l}(\mathbb{R}^{n})\), then the value of \(u(x)\) at the vectors \(\xi _{1},\ldots ,\xi _{l}\in \mathbb{R}^{n}\) is denoted by \(u(x)(\xi _{1},\ldots ,\xi _{l})=u(x;\xi _{1},\ldots ,\xi _{l})\). For more details on differential forms, see [16].

Arbitrary l-form \(u:\Omega \rightarrow \wedge ^{l}(\mathbb{R}^{n})\) can be denoted as \(u(x)=\sum_{I}u_{I}(x)\,dx_{I}\), and each \(u_{I}\) is the coefficient function. Moreover, u is called a differential form, the coefficient functions \(u_{I}\) are differentiable, see [17, 18]. The operator \(\star :\wedge ^{l}(\mathbb{R}^{n})\rightarrow \wedge ^{n-l}( \mathbb{R}^{n})\) is the Hodge-star operator, and the linear operator \(d:D'(\Omega ,\wedge ^{l})\rightarrow{D'(\Omega ,\wedge ^{l+1})}\), \(0\leq l\leq n-1\), is called the exterior differential. \(d^{\star}: D'(\Omega ,\wedge ^{l+1})\rightarrow{D^{\prime }(\Omega , \wedge ^{l})}\) denotes the Hodge codifferential operator, which is the formal adjoint of d.

Denote by \(L^{p}(\Omega ,\wedge ^{l})\) the space of differential l-forms satisfying \(\int _{\Omega}|u_{I}|^{p} <\infty \) with the norm

$$ \Vert u \Vert _{L^{p}(\Omega ,\wedge ^{l})}= \biggl( \int _{\Omega} \biggl(\sum_{I} \bigl\vert u_{I}(x) \bigr\vert ^{2} \biggr)^{\frac{p}{2}} \,dx \biggr)^{\frac{1}{p}}. $$

Definition 2.1

(Hölder space)

If \(1< p<\infty \) and \(\kappa \in (0,1]\). Let \(\Lambda ^{p,\kappa}(\Omega ,\wedge ^{l})\) denote the Hölder space of all differential l-forms u whose norm

$$ \Vert u \Vert _{\Lambda ^{p,\kappa}(\Omega ,\wedge ^{l})}:= \Vert u \Vert _{L^{p}( \Omega ,\wedge ^{l})} +\sup _{x,y\in \Omega} \frac{ \Vert u(x)-u(y) \Vert _{L^{p}(\Omega ,\wedge ^{l})}}{ \vert x-y \vert ^{\kappa}}< \infty . $$

The Hölder space on differential forms will reduce to the classical type when \(l=0\).

Clearly, Sobolev spaces \(W^{p,\kappa}(\Omega ,\wedge ^{l})\) in [19] could replace Hölder spaces in what follows, but we selected Hölder spaces because they are slightly more elementary.

The following definition is contributed in Sect. 4.

Definition 2.2

(Envelope function)

A real envelope function is a function \(\lambda :\mathbb{R}^{n}\rightarrow \mathbb{R}\) such that for every \(1< p<\infty \) there exists \(\kappa \in (0,1)\) such that \(\lambda \in \Lambda ^{p,\kappa}(\mathbb{R}^{n})\). Thus, the space of all envelope functions is

$$ \Lambda =:\bigcap_{1< p< \infty}\bigcup _{0< \kappa < 1}\Lambda ^{p, \kappa}\bigl(\mathbb{R}^{n} \bigr). $$

In this paper, we consider that each envelope function \(\lambda \in \Lambda \) satisfies the condition: there exists a constant \(C_{1}\geq 1\) such that

$$ C_{1}^{-1}\leq \lambda (\cdot )\leq C_{1}. $$
(2.1)

Remark 1

Any function in the Schwartz class is an envelope function, and the product of two envelope functions \(\lambda _{1},\lambda _{2}\in \Lambda \) is again an envelope function.

Let \(u\in L_{\mathrm{loc}}^{1}(\Omega ,\wedge ^{l})\) be a differential l-form on Ω. For \(1\leq p<\infty \), \(0<\tau \leq n\), and \(r>0\), we denote the Morrey space on differential forms by \(L^{p,\tau}(\Omega ,\wedge ^{l})\) with the norm

$$ \bigl\Vert u(x) \bigr\Vert _{L^{p,\tau}(\Omega ,\wedge ^{l})}= \biggl(\sup_{x\in{\Omega},r>0}{ \frac{r^{\tau}}{ \vert B(x,r) \vert }} \int _{B(x,r)}\biggl(\sum_{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{p/2}\,dy \biggr)^{1/p}< \infty , $$

where \(B(x,r)\subset \Omega \) is an open ball centered at x of radius r.

Easily we see that \(L^{p,\tau}(\Omega ,\wedge ^{l})\) is an expansion of \(L^{p}(\Omega ,\wedge ^{l})\) in the sense that \(L^{p,n}(\Omega ,\wedge ^{l})=L^{p}(\Omega ,\wedge ^{l})\). If \(l=0\), then the Morrey space on differential forms reduces to the classical Morrey space, which was first introduced by C. Morrey in [20]. In recent years, Morrey spaces and generalized Morrey spaces have received much investigation. The boundedness for Hardy–Littlewood maximal function and singular integrals in Morrey spaces were given in [2123].

Definition 2.3

(Hölder–Morrey space)

Assume \(1\leq p<\infty \), \(0<\tau \leq n\), and \(\kappa \in (0,1]\). Let \(\Lambda ^{p,\tau}_{\kappa}(\Omega ,\wedge ^{l})\) denote the Hölder–Morrey space of all differential l-forms u whose norm

$$ \Vert u \Vert _{\Lambda ^{p,\tau}_{\kappa}(\Omega ,\wedge ^{l})}:= \Vert u \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l})} +\sup _{x,y\in \Omega} \frac{ \Vert u(x)-u(y) \Vert _{L^{p,\tau}(\Omega ,\wedge ^{l})}}{ \vert x-y \vert ^{\kappa}}< \infty . $$

We choose \(l=0\) and \(\tau =n\), then \(\Lambda ^{p,\tau}_{\kappa}(\mathbb{R}^{n},\wedge ^{l})\) coincides with \(\Lambda ^{p,\kappa}(\mathbb{R}^{n})\). Furthermore, the space

$$ \Lambda ^{\tau}=:\bigcap_{1< p< \infty}\bigcup _{0< \kappa < 1}\Lambda ^{p, \tau}_{\kappa}\bigl( \mathbb{R}^{n}\bigr) $$

denotes all envelope functions with Morrey norms. Recall some properties of BMO spaces and integral average on differential forms. For \(b\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})\), let

$$ \Vert b \Vert _{\ast}=\sup_{x\in \mathbb{R}^{n},r>0}{ \frac{1}{ \vert B(x,r) \vert }} \int _{B(x,r)} \bigl\vert b(y)-b_{B(x,r)} \bigr\vert \,dy, $$

where

$$ b_{B(x,r)}={\frac{1}{ \vert B(x,r) \vert }} \int _{B(x,r)}b(y)\,dy. $$

Define \({\mathrm{BMO}}(\mathbb{R}^{n})=\{b\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n}): \|b\|_{ \ast}<\infty \}\). Analogically, we show integral average on differential forms. The following lemma appeared in [24].

Lemma 2.4

Let Ω be a bounded, convex domain in \(\mathbb{R}^{n}\). To each \(z\in \Omega \), there corresponds a linear operator \(K_{z}:C^{\infty}(\Omega ,\wedge ^{l})\rightarrow C^{\infty}(\Omega , \wedge ^{l-1})\) defined by

$$ (K_{z}u) (x;\xi _{1},\ldots ,\xi _{l-1})= \int _{0}^{1}t^{l-1}u(tx+z-tz;x-z, \xi _{1},\ldots ,\xi _{l-1})\,dt, $$

and the decomposition

$$ u=d(K_{z}u)+K_{z}(du) $$

holds at any point z in Ω.

Assume that \(\varphi \in C_{0}^{\infty}(\Omega )\) is a test function and satisfies \(\int _{\Omega}\varphi (z)\,dz=1\). We define \(T : L^{p}(\Omega ,\wedge ^{l})\rightarrow L^{p}(\Omega ,\wedge ^{l-1})\) is a homotopy operator by averaging \(K_{z}\) in Ω:

$$ Tu= \int _{\Omega}\varphi (z)K_{z}u\,dz= \int _{0}^{1}t^{l-1} \int _{ \Omega}\varphi (z)u(tx+z-tz;x-z,\xi _{1},\ldots ,\xi _{l})\,dz\,dt. $$

It is obvious that

$$ u=d(Tu)+T(du). $$
(2.2)

Then we denote the integral average of u over Ω by \(u_{\Omega}=d(Tu)\) for \(l=1,2, \ldots , n\). If \(l=0\), then the differential form u reduces to the function type and integral average \(u_{\Omega}={\frac{1}{|\Omega |}}\int _{\Omega }u(y)\,dy\). Clearly, we see that

$$ u=Td(u)+u_{\Omega}. $$
(2.3)

From Poincaré lemma in [15], \(u_{\Omega}\) is a closed form. Suppose that u is a differential l-form in \(L_{\mathrm{loc}}^{1}(\Omega ,\wedge ^{l})\), \(l=0,1,2,\ldots,n\), and for \(1< p<\infty \), \(0<\tau \leq n\). Let \({\mathrm{BMO}}^{p,\tau}(\Omega ,\wedge ^{l})\) be a space on differential form with the finite norm

$$ \Vert u \Vert _{{\mathrm{BMO}}^{p,\tau}(\Omega ,\wedge ^{l})}:=\sup_{x\in \Omega ,r>0} \biggl({ \frac{r^{\tau}}{ \vert B(x,r) \vert }} \int _{B(x,r)} \bigl\vert u(y)-u_{B(x,r)} \bigr\vert ^{p}\,dy \biggr)^{1/p}, $$

where \(u_{B}\) coincides with (2.3). If \(l=0\) and \(\tau =0\), then \({\mathrm{BMO}}^{p,\tau}(\Omega ,\wedge ^{l})\) spaces reduce to the classical BMO spaces.

3 Imbedding inequalities for homotopy operator

In this section, we are concerned with the imbedding inequality for homotopy operator. The following lemma appeared in [13, 14].

Lemma 3.1

Let u be a differential l-form on Ω, \(l=0,1,\ldots ,n\). Let \(T : L^{p}(\Omega ,\wedge ^{l})\rightarrow L^{p}(\Omega ,\wedge ^{l-1})\) be a homotopy operator and \(\Omega \subset \mathbb{R}^{n}\) be a bounded, convex domain. Then there exists a constant C, independent of u, such that

$$ \biggl( \int _{B} \bigl\vert T(u) \bigr\vert ^{p}\,dx \biggr)^{1/p}\leq C \vert B \vert ^{1/n} \biggl( \int _{B} \vert u \vert ^{p}\,dx \biggr)^{1/p}, $$

where \(B:=B(x,r)\subset \Omega \) is an open ball centered at x of radius r.

Now, we give the imbedding inequality for homotopy operator on differential forms.

Theorem 3.2

Let \(u\in \Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l})\) be a differential l-form on Ω, \(l=1,2,\ldots ,n\), \(0<\tau \leq n-p\), and \(\kappa \in (0,1]\). Let also \(T:L^{p}(\Omega ,\wedge ^{l})\rightarrow L^{p}(\Omega ,\wedge ^{l-1})\) be a homotopy operator. Then there exists a constant C, independent of u, such that

$$ \Vert Tu \Vert _{\Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l-1})}\lesssim \textstyle\begin{cases} \Vert u \Vert _{\Lambda _{\kappa}^{p,\tau +p}(\Omega ,\wedge ^{l})}+ \Vert u \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l})}, & \textit{for } l=1, \\ \Vert u \Vert _{\Lambda _{\kappa}^{p,\tau +p}(\Omega ,\wedge ^{l})}, & \textit{for } l=2, \ldots , n. \end{cases} $$

Proof

For arbitrary \(y\in \Omega \), we have

$$ \Vert Tu \Vert _{\Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l-1})}= \Vert Tu \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l-1})} +\sup_{x,y\in \Omega}{\frac{ \Vert Tu(y)-Tu(x) \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l-1})}}{ \vert y-x \vert ^{\kappa}}}. $$
(3.1)

By using Lemma 3.1, we get the first part of the right-hand side for (3.1)

$$\begin{aligned} \Vert Tu \Vert _{L^{p,\tau}(\Omega ,\wedge ^{l-1})}&= \biggl(\sup_{x_{0}\in \Omega ,r>0}{ \frac{r^{\tau}}{ \vert B(x_{0},r) \vert }} \int _{B(x_{0},r)} \bigl\vert Tu(x) \bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\lesssim \sup_{x_{0}\in \Omega ,r>0}r^{(\tau -n)/p}r \biggl( \int _{B(x_{0},r)} \bigl\vert Tu(x) \bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\lesssim \Vert u \Vert _{L^{p,\tau +p}(\Omega ,\wedge ^{l})}. \end{aligned}$$

For any \(\xi _{1},\ldots ,\xi _{l-1}\in \mathbb{R}^{n}\), we denote \(\boldsymbol{\xi}=(\xi _{1},\ldots ,\xi _{l-1})\) for notational simplicity. Then we deduce that

$$\begin{aligned} & \bigl\vert Tu(y)-Tu(x) \bigr\vert \\ & \quad = \biggl\vert \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)u(ty+z-tz;y-z, \boldsymbol{\xi})\,dz\,dt \\ & \qquad {}- \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)u(tx+z-tz;x-z, \boldsymbol{\xi})\,dz\,dt \biggr\vert \\ &\quad \leq \biggl\vert \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)\bigl[u(ty+z-tz;y-z, \boldsymbol{\xi}) -u(ty+z-tz;x-z,\boldsymbol{\xi})\bigr]\,dz\,dt \biggr\vert \\ &\qquad {} + \biggl\vert \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)\bigl[u(ty+z-tz;x-z, \boldsymbol{\xi}) -u(tx+z-tz;x-z,\boldsymbol{\xi})\bigr]\,dz\,dt \biggr\vert \\ & \quad =\mathcal{T}_{1}+\mathcal{T}_{2}. \end{aligned}$$

Note

$$\begin{aligned} \mathcal{T}_{1} &= \biggl\vert \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)u(ty+z-tz;x-y, \boldsymbol{\theta})\,dz \,dt \biggr\vert , \end{aligned}$$
(3.2)

where \(\boldsymbol{\theta}=(\theta _{1},\ldots ,\theta _{l-1})\) and each \(\theta _{i}\) for \(i=1,2,\ldots ,l-1\) is a 0-vector in \(\mathbb{R}^{n}\). For (3.2), we only consider the condition for \(l=1\). In fact, if \(l>1\), then the determinant of \((x-y,\boldsymbol{\theta})=0\). For \(l=1\) and each \(u_{i}\) is a locally integrable function, we obtain

$$\begin{aligned} \mathcal{T}_{1} &= \biggl\vert \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)u(ty+z-tz;x-y)\,dz\,dt \biggr\vert \\ & \leq \int _{\Omega}\varphi (z) \biggl(\sum_{1< i< n} \vert u_{i} \vert ^{2}\biggr)^{1/2} \vert x-y \vert \,dz \\ &\lesssim \biggl(\sum_{1< i< n} \vert u_{i} \vert ^{2}\biggr)^{1/2}. \end{aligned}$$

For \(\mathcal{T}_{2}\), we have

$$\begin{aligned} \mathcal{T}_{2} & = \biggl\vert \int _{0}^{1}t^{l-1} \int _{\Omega}\varphi (z)\bigl[u(ty+z-tz)-u(tx+z-tz)\bigr](x-z, \boldsymbol{\xi})\,dz\,dt \biggr\vert \\ & = \bigl\vert T\bigl(u(y)-u(x)\bigr) (x ;\boldsymbol{\xi}) \bigr\vert . \end{aligned}$$
(3.3)

Combining (3.2) and (3.3), we obtain

$$\begin{aligned} & \bigl\Vert Tu(y)-Tu(x) \bigr\Vert _{L^{p,\tau}(\Omega ,\wedge ^{l-1})} \\ & \quad \leq \Vert \mathcal{T}_{1} \Vert _{L^{p,\tau}(\Omega ,\wedge ^{l-1})} + \Vert \mathcal{T}_{2} \Vert _{L^{p,\tau}(\Omega ,\wedge ^{l-1})} \\ &\quad \lesssim \vert y-x \vert \biggl(\sup_{x_{0}\in \Omega ,r>0}{ \frac{r^{\tau}}{ \vert B(x_{0},r) \vert }} \int _{B(x_{0},r)}\biggl(\sum_{1< i< n} \vert u_{i} \vert ^{2}\biggr)^{p/2}\,dx \biggr)^{1/p} \\ &\qquad {} + \biggl(\sup_{x_{0}\in \Omega ,r>0}{\frac{r^{\tau}}{ \vert B(x_{0},r) \vert }} \int _{B(x_{0},r)} \bigl\vert T\bigl(u(y)-u(x)\bigr) (x ; \boldsymbol{\xi}) \bigr\vert ^{p}\,dx \biggr)^{1/p} \\ &\quad \lesssim \Vert u \Vert _{L^{p,\tau}(\Omega ,\wedge ^{l})}+ \bigl\Vert u(y)-u(x) \bigr\Vert _{L^{p, \tau +p}(\Omega ,\wedge ^{l})}. \end{aligned}$$
(3.4)

Collecting the above facts, we deduce that

$$ \Vert Tu \Vert _{\Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l-1})}\lesssim \textstyle\begin{cases} \Vert u \Vert _{\Lambda _{\kappa}^{p,\tau +p}(\Omega ,\wedge ^{l})}+ \Vert u \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l})}, & \text{for } l=1, \\ \Vert u \Vert _{\Lambda _{\kappa}^{p,\tau +p}(\Omega ,\wedge ^{l})}, &\text{for } l=2, \ldots , n. \end{cases} $$

The proof of Theorem 3.2 has been completed. □

Next, we show the Poincaré-type inequality in Hölder–Morrey spaces on differential forms.

Theorem 3.3

Let \(u\in \Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l})\) be a differential l-form and \(du\in \Lambda _{\kappa}^{p,\tau}(\Omega ,\wedge ^{l+1})\), \(l=1,2,\ldots ,n-1\), \(0<\tau \leq n-p\). Then there exists a constant C, independent of u, such that

$$ \Vert u-u_{B} \Vert _{\Lambda _{\kappa}^{p,\tau}(B,\wedge ^{l})}\leq C \Vert du \Vert _{ \Lambda _{\kappa}^{p,\tau +p}(B,\wedge ^{l+1})}, $$

where B is any ball in Ω.

Proof

Using Lemma 3.1, we get

$$\begin{aligned} \Vert u-u_{B} \Vert _{L^{p,\tau}(B,\wedge ^{l})}= \Vert T\,du \Vert _{L^{p,\tau}(B,\wedge ^{l})} \lesssim \Vert du \Vert _{L^{p,\tau +p}(B,\wedge ^{l+1})}. \end{aligned}$$

Note that

$$\begin{aligned} \bigl\vert \bigl(u(y)-u(y)_{B}\bigr)-\bigl(u(x)-u(x)_{B} \bigr) \bigr\vert = \biggl\vert \int _{B}\varphi (z)\bigl[K_{z}\bigl(du(y) \bigr)-K_{z}\bigl(du(x)\bigr)\bigr]\,dz\,dt \biggr\vert . \end{aligned}$$

From Lemma 2.4, we have

$$\begin{aligned} K_{z}\bigl(du (y;\xi _{1}\cdots ,\xi _{l}) \bigr)={}& \int _{0}^{1}t^{l}\bigl[u'(ty+z-tz) (y-z)\bigr]( \xi _{1},\ldots ,\xi _{l})\,dt \\ & {}+ \sum_{i=1}^{l}(-1)^{i} \int _{0}^{1}t^{l}\bigl[u'(ty+z-tz) \xi _{i}\bigr](y-z, \xi _{1},\ldots ,\hat{ \xi}_{i},\ldots ,\xi _{l})\,dt \\ ={}&\mathcal{K}_{1}+\mathcal{K}_{2} \end{aligned}$$

and

$$\begin{aligned} K_{z}\bigl(du (x;\xi _{1}\cdots ,\xi _{l}) \bigr)={}& \int _{0}^{1}t^{l}\bigl[u'(tx+z-tz) (x-z)\bigr]( \xi _{1},\ldots ,\xi _{l})\,dt \\ & {}+ \sum_{i=1}^{l}(-1)^{i} \int _{0}^{1}t^{l}\bigl[u'(tx+z-tz) \xi _{i}\bigr](x-z, \xi _{1},\ldots ,\hat{ \xi}_{i},\ldots ,\xi _{l})\,dt \\ ={}&\mathcal{K}_{3}+\mathcal{K}_{4}, \end{aligned}$$

where \(u'(x):\mathbb{R}^{n}\rightarrow \wedge ^{l}(\mathbb{R}^{n})\) is a derivative mapping. Moreover, \(u'(x)\xi _{i}\) is an l-linear antisymmetric function on \(\mathbb{R}^{n}\times \cdots \times \mathbb{R}^{n}\) for each \(\xi _{i}\in \mathbb{R}^{n}\). We first estimate \(\mathcal{K}_{1}-\mathcal{K}_{3}\):

$$\begin{aligned} \mathcal{K}_{1}-\mathcal{K}_{3}\leq{}& \int _{0}^{1}t^{l}\bigl\{ \bigl[u'(ty+z-tz) (y-z)\bigr]( \xi _{1},\ldots ,\xi _{l}) \\ & {}-\bigl[u'(ty+z-tz) (x-z)\bigr](\xi _{1},\ldots ,\xi _{l})\bigr\} \,dt \\ & {}+ \int _{0}^{1}t^{l}\bigl\{ \bigl[u'(ty+z-tz) (x-z)\bigr](\xi _{1},\ldots ,\xi _{l}) \\ & {}-\bigl[u'(tx+z-tz) (x-z)\bigr](\xi _{1},\ldots ,\xi _{l})\bigr\} \,dt. \end{aligned}$$
(3.5)

Similarly, for \(\mathcal{K}_{2}-\mathcal{K}_{4}\), we obtain

$$\begin{aligned} & \mathcal{K}_{2}-\mathcal{K}_{4} \\ &\quad \leq \sum_{i=1}^{l}(-1)^{i} \int _{0}^{1}t^{l}\bigl[u'(ty+z-tz) \theta _{i}\bigr] (y-x,\theta _{1},\ldots ,\hat{ \theta}_{i},\ldots ,\theta _{l})\,dt \\ &\qquad {} +\sum_{i=1}^{l}(-1)^{i} \int _{0}^{1}t^{l}\bigl[ \bigl[u'(ty+z-tz)-u'(tx+z-tz)\bigr] \xi _{i} \bigr] \\ &\qquad {}\times (x-y,\xi _{1},\ldots ,\hat{\xi}_{i},\ldots ,\xi _{l})\,dt. \end{aligned}$$
(3.6)

Combining (3.5) and (3.6), we deduce that

$$\begin{aligned} &K_{z}\,du (y)-K_{z}\,du(x)=(\mathcal{K}_{1}- \mathcal{K}_{3})+( \mathcal{K}_{2}-\mathcal{K}_{4}) \\ &\quad = \int _{0}^{1}t^{l}\bigl[ \bigl[u'(ty+z-tz)-u'(tx+z-tz)\bigr](x-z)\bigr](\xi _{1},\ldots , \xi _{l})\,dt \\ & \qquad {}+\sum_{i=1}^{l}(-1)^{i} \int _{0}^{1}t^{l}\bigl[ \bigl[u'(ty+z-tz)-u'(tx+z-tz)\bigr] \xi _{i} \bigr] \\ &\qquad {}\times (x-z,\xi _{1},\ldots ,\hat{\xi}_{i},\ldots ,\xi _{l})\,dt \\ &\quad =K_{z}\bigl(du(y)-du(x)\bigr). \end{aligned}$$

Finally, we obtain

$$\begin{aligned} \Vert u-u_{B} \Vert _{\Lambda _{\kappa}^{p,\tau}(B,\wedge ^{l})} &\lesssim \Vert du \Vert _{L^{p,\tau +p}(B,\wedge ^{l+1})} +\sup_{x,y\in \Omega}{\frac{ \Vert T(du(y))-T(du(x)) \Vert _{L^{p,\tau}(\Omega ,\wedge ^{l+1})}}{ \vert y-x \vert ^{\kappa}}} \\ & = \Vert du \Vert _{ \Lambda _{\kappa}^{p,\tau +p}(B,\wedge ^{l+1})}. \end{aligned}$$

The proof of Theorem 3.3 has been completed. □

Remark 2

Replacing \(u\in L^{p}_{\mathrm{loc}}(\Omega ,\wedge ^{l})\) with the solution for A-harmonic equation on differential forms in [25, 26]

$$ d^{\star }A(x,du)=B(x,du), $$

we can get the high order Poincaré-type estimate with Hölder norm by using the reverse Hölder inequality

$$ \bigl\Vert (u-u_{B}) \bigr\Vert _{\Lambda ^{np/(n-p),\kappa}(B,\wedge ^{l-1})}\leq C \Vert du \Vert _{\Lambda ^{p,\kappa}(\sigma B,\wedge ^{l+1})} $$

for \(\sigma B\subset \Omega \) with \(\sigma >1\).

Next, we show the vectorial differential forms

$$ U=\bigl(u^{1},u^{2},\ldots ,u^{k}\bigr):\Omega \rightarrow \wedge ^{l_{1}} \times \cdots \times \wedge ^{l_{k}}, $$

where each \(u_{i}\) is a differential \(l_{i}\) form for \(i=1,2,\ldots ,k\) and all \(l_{i}\) satisfy the condition \(1\leq l_{1}\leq \cdots \leq l_{k}\leq n\), \(\sum_{1}^{k}l_{i}\leq n\). We denote the spaces of all vectorial differential forms by \(\mathcal{L}^{P}(\Omega ,\wedge ^{l_{1}}\times \cdots \times \wedge ^{l_{k}})\) with the norm

$$ \Vert U \Vert _{\mathcal{L}^{P}(\Omega ,\wedge ^{l_{1}}\times \cdots \times \wedge ^{l_{k}})} =\sum_{1}^{k} \Vert u_{i} \Vert _{L^{p_{i}}(\Omega ,\wedge ^{l_{i}})}< \infty , $$

where \(P=(p_{1},p_{2},\ldots ,p_{k})\) and each \(p_{i}\) belongs to \((1,\infty )\). Analogically, we denote the vectorial Hölder–Morrey space by \(\Lambda _{\kappa}^{P,\tau}(\Omega ,\wedge ^{l_{1}}\times \cdots \times \wedge ^{l_{k}})\) with the finite norm

$$ \Vert U \Vert _{\Lambda _{\kappa}^{P,\tau}(\Omega ,\wedge ^{l_{1}}\times \cdots \times \wedge ^{l_{k}})}:= \Vert U \Vert _{\mathcal{L}^{P,\tau}(\Omega , \wedge ^{l_{1}}\times \cdots \times \wedge ^{l_{k}})} +\sup _{x.y\in \Omega}{\frac{ \Vert U(y)-U(x) \Vert _{\mathcal{L}^{P,\tau}(\Omega ,\wedge ^{l_{1}} \times \cdots \times \wedge ^{l_{k}})}}{ \vert y-x \vert ^{\kappa}}}. $$

Then we can obtain the following corollary.

Corollary 3.4

Suppose that \(U=(u^{1},u^{2},\ldots ,u^{k})\) is a vectorial differential form on Ω. Each \(u^{i}\) belongs to \(\Lambda ^{p_{i},\tau}_{\kappa}(\Omega ,\wedge ^{l_{i}})\) with \(P=(p_{1},\ldots ,p_{k})\) and each \(du^{i}\) belongs to \(\Lambda ^{q_{i},\tau}_{\kappa}(\Omega ,\wedge ^{l_{i}+1})\) with \(Q=(q_{1},\ldots ,q_{k})\), \(l=l_{1}+\cdots +l_{k}\). \(P=(p_{1},\ldots ,p_{k})\) and \(Q=(q_{1},\ldots ,q_{k})\) satisfying \(\max \{1,np_{i}/(n+p_{i})\}\leq q_{i}\leq p_{i}\) for \(i=1,2,\ldots ,k\). Let \(T^{k}=T\times \cdots \times T\) be a k-order vectorial homotopy operator and \(T^{k}U=(Tu^{1},\ldots ,Tu^{k})\). Then

(i) There exists a constant \(C>0\) independent of u such that

$$ \bigl\Vert T^{k}U \bigr\Vert _{\Lambda ^{P,\tau}(\Omega ,\wedge ^{l_{1}-1}\times \cdots \times \wedge ^{l_{k}-1})}\leq C \Vert U \Vert _{\Lambda ^{P,\tau +P}(\Omega , \wedge ^{l_{1}}\times \cdots \times \wedge ^{l_{k}})}, $$

where \(\tau +P=:(p_{1}+\tau ,\ldots ,p_{k}+\tau )\).

(ii) There exists a test form \(\eta \in C^{\infty}_{0}(\Omega ,\wedge ^{n-l})\) that satisfies \(\|\eta \|_{\infty}\leq 1\) and \(\|d\eta \|_{\infty}\leq 1\) with \(l=\sum_{1}^{k}l_{i}\) such that

$$\begin{aligned} & \biggl\vert \int _{\Omega}\eta \wedge \bigl(u^{1}(y)\wedge \cdots \wedge u^{k}(y)-u^{1}(x) \wedge \cdots \wedge u^{k}(x) \bigr) \biggr\vert \\ &\quad \lesssim \Vert U \Vert ^{k-2}_{L^{P}(\Omega ,\wedge ^{l_{1}} \times \cdots \times \wedge ^{l_{k}})} \bigl\{ \Vert U \Vert _{L^{P}(\Omega ,\wedge ^{l_{1}} \times \cdots \times \wedge ^{l_{k}})} + \Vert dU \Vert _{L^{Q}(\Omega ,\wedge ^{l_{1}} \times \cdots \times \wedge ^{l_{k}})}\bigr\} . \end{aligned}$$

4 Hölder continuity with envelope function

For \(0<\alpha <n\) and a differential l-form u on Ω, we define Riesz potential operator \(I_{\alpha }u\) of order α by

$$ I_{\alpha }u(x)=\sum_{I} \biggl( \int _{\mathbb{R}^{n}}{\frac{1}{ \vert x-y \vert ^{n- \alpha}}}u_{I}(y)\,dy \biggr) \,dx_{I}. $$

The operator \(I_{\alpha }u\) will reduce to function type if \(l=0\). The boundedness and Sobolev-type imbedding inequality in classic Morrey spaces for Riesz potential operator were given by Adams and Xiao in [27, 28]. The Hölder continuity for \(I_{\alpha}\) with envelope functions is as follows.

Theorem 4.1

Suppose that \(1< p< q<\infty \), \(\tau \in (\alpha +\kappa -1,\alpha +\kappa )\) and \(\tau \in (\alpha p-np/q,\alpha q-nq/p)\), \(h=|x-z|\). Let \(u\in L^{1}_{\mathrm{loc}}(\Omega ,\wedge ^{l})\) be a differential l-form and \(\lambda (\cdot )\in \Lambda ^{\tau}\) be an envelope function. Then there exists a constant \(C>0\) such that

$$ \bigl\Vert \bigl(\lambda (x)I_{\alpha }u(x)\bigr)-\lambda (z)I_{\alpha }u(z) \bigr\Vert _{L^{p, \tau}(\Omega ,\wedge ^{l})}\leq C\bigl\{ h^{\alpha +\kappa -\tau}+h^{ \alpha -\tau /q-n/p}+h^{\alpha +\kappa -\tau /p-n/q}\bigr\} $$

for all differential l-forms \(u\in L^{p}_{\mathrm{loc}}(\Omega ,\wedge ^{l})\) with \(\|u\|_{L^{p,\tau}(\Omega ,\wedge ^{l})}\leq 1\).

Proof

Since \(\lambda (\cdot )\in \Lambda ^{\tau}\) and each \(\lambda (\cdot )\) on \(\mathbb{R}^{n}\) satisfies condition (2.1), we get

$$ \bigl\Vert \lambda (x)-\lambda (z) \bigr\Vert _{L^{p,\tau}(\mathbb{R}^{n})}\leq C \vert h \vert ^{ \kappa}, $$

where C is a constant independent of λ. Assume that each \(u_{I}\) for \(u=\sum_{I}u_{I}\,dx_{I}\) is nonnegative on Ω and \(\|u\|_{L^{p,\tau}(\Omega ,\wedge ^{l})}\leq 1\). Let \(B(x,h)\subset \Omega \) be an open ball centered at x of radius h. Then we have

$$\begin{aligned} &\bigl\vert \lambda (x) I_{\alpha }u(x)-\lambda (z)I_{\alpha }u(z) \bigr\vert \\ &\quad \leq \biggl\vert \lambda (x)\sum_{I} \int _{B(x,2h)}{\frac{1}{ \vert x-y \vert ^{n- \alpha}}}u_{I}(y)\,dy \,dx_{I} \\ &\qquad {}+\lambda (x)\sum_{I} \int _{\mathbb{R}^{n} \setminus B(x,2h)}{\frac{1}{ \vert x-y \vert ^{n-\alpha}}}u_{I}(y)\,dy \,dx_{I} \\ & \qquad {}-\lambda (z)\sum_{I} \int _{B(x,2h)}{\frac{1}{ \vert z-y \vert ^{n-\alpha}}}u_{I}(y)\,dy \,dx_{I} \\ &\qquad {}- \lambda (z)\sum_{I} \int _{\mathbb{R}^{n}\setminus B(x,2h)}{\frac{1}{ \vert z-y \vert ^{n- \alpha}}}u_{I}(y)\,dy \,dx_{I} \biggr\vert \\ &\quad \lesssim \biggl\vert \lambda (x)\sum_{I} \int _{B(x,3h)}{\frac{1}{ \vert x-y \vert ^{n- \alpha}}}u_{I}(y)\,dy \,dx_{I} \biggr\vert \\ &\qquad {} + \biggl\vert \lambda (z)\sum_{I} \int _{B(z,3h)}{\frac{1}{ \vert z-y \vert ^{n- \alpha}}}u_{I}(y)\,dy \,dx_{I} \biggr\vert \\ &\qquad {} + \biggl\vert \sum_{I} \int _{\mathbb{R}^{n}\setminus B(x,3h)}\bigl( \lambda (x)-\lambda (z)\bigr) \vert z-y \vert ^{\alpha -n}u_{I}(y)\,dy\,dx_{I} \biggr\vert \\ &\qquad {} + \biggl\vert \lambda (x)\sum_{I} \int _{\mathbb{R}^{n}\setminus B(x,2h)} \biggr\vert \vert x-y \vert ^{\alpha -n}- \vert z-y \vert ^{\alpha -n} \bigl\vert u_{I}(y)\,dy \,dx_{I} \bigr\vert \\ &\quad =\mathcal{S}_{1}+\mathcal{S}_{2}+\mathcal{S}_{3}+ \mathcal{S}_{4}. \end{aligned}$$

We first estimate \(\mathcal{S}_{1}\)

$$\begin{aligned} \mathcal{S}_{1} ={}& \biggl\vert \lambda (x)\sum _{I} \int _{B(x,3h)}{\frac{1}{ \vert x-y \vert ^{n- \alpha}}}u_{I}(y)\,dy \,dx_{I} \biggr\vert \\ \leq{}& \int _{B(x,3h)}{\frac{ \vert \lambda (x)-\lambda (y) \vert }{ \vert x-y \vert ^{n-\alpha}}}\biggl( \sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \\ & {}+ \int _{B(x,3h)}{\frac{\lambda (y)}{ \vert x-y \vert ^{n-\alpha}}}\biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \\ ={}&\mathcal{S}_{11}+\mathcal{S}_{12}. \end{aligned}$$

Hence

$$\begin{aligned} \mathcal{S}_{11} & \lesssim \int _{0}^{3h}t^{\alpha -n} \int _{B(x,t)} \bigl\vert \lambda (x)-\lambda (y) \bigr\vert \biggl(\sum_{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy{\frac{dt}{t}} \\ &\lesssim \int _{0}^{3h}t^{\alpha -\tau} \bigl\Vert \lambda (x)-\lambda (y) \bigr\Vert _{L^{p, \tau}(B(x,t))}{\frac{dt}{t}} \\ &\lesssim h^{\alpha +\kappa -\tau}, \end{aligned}$$

where \(\alpha +\kappa -\tau >0\). For \(\mathcal{S}_{12}\),

$$\begin{aligned} \mathcal{S}_{12} & \lesssim \int _{0}^{3h}t^{\alpha } \biggl({ \frac{1}{ \vert B(x,t) \vert }} \int _{B(x,t)}\lambda (y) \biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \biggr){\frac{dt}{t}} \\ &\lesssim h^{\alpha -\tau /q-n/p}, \end{aligned}$$

where \(\alpha -\tau /q-n/p>0\). Similar to \(\mathcal{S}_{1}\), we omit the calculation of \(\mathcal{S}_{2}\). For \(\mathcal{S}_{3}\), we have

$$\begin{aligned} \mathcal{S}_{3} & \lesssim \bigl\vert \lambda (x)-\lambda (z) \bigr\vert \int _{\mathbb{R}^{n} \setminus B(x,3h)} \vert z-y \vert ^{\alpha -n}\biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \\ &\lesssim \bigl\vert \lambda (x)-\lambda (z) \bigr\vert \int _{\mathbb{R}^{n}\setminus B(z,2h)} \vert z-y \vert ^{ \alpha -n}\biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \\ &\lesssim \bigl\vert \lambda (x)-\lambda (z) \bigr\vert \int _{2h}^{\infty }t^{\alpha -n}\biggl( \sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy{\frac{dt}{t}} \\ &\lesssim h^{\alpha -\tau /p-n/q} \bigl\vert \lambda (x)-\lambda (z) \bigr\vert \end{aligned}$$

since \(\alpha -\tau /p-n/q<0\). Next, we estimate \(\mathcal{S}_{4}\):

$$\begin{aligned} \mathcal{S}_{4} \leq{}& h \biggl\vert \lambda (x)\sum _{I} \int _{\mathbb{R}^{n} \setminus B(x,3h)} \vert x-y \vert ^{\alpha -n-1}u_{I}(y) \,dy\,dx_{I} \biggr\vert \\ \lesssim{}& h \int _{\mathbb{R}^{n}\setminus B(x,3h)}{\frac{ \vert \lambda (x)- \lambda (y) \vert }{ \vert x-y \vert ^{n-\alpha +1}}}\biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \\ & {}+h \int _{\mathbb{R}^{n}\setminus B(x,3h)}{\frac{\lambda (y)}{ \vert x-y \vert ^{n- \alpha +1}}}\biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy \\ ={}&\mathcal{S}_{41}+\mathcal{S}_{42}. \end{aligned}$$

Then

$$\begin{aligned} \mathcal{S}_{41} & \lesssim h \int _{3h}^{\infty }t^{\alpha -n-1} \int _{B(x,t)} \bigl\vert \lambda (x)-\lambda (y) \bigr\vert \biggl(\sum_{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy{\frac{dt}{t}} \\ &\lesssim h \int _{3h}^{\infty }t^{\alpha -\tau -1} \bigl\Vert \lambda (x)- \lambda (y) \bigr\Vert _{L^{p,\tau}(B(x,t))}{\frac{dt}{t}} \\ &\lesssim h^{\alpha +\kappa -\tau} \end{aligned}$$

for \(\alpha +\kappa -\tau -1<0\) and

$$\begin{aligned} \mathcal{S}_{42} & \lesssim h \int _{3h}^{\infty }t^{\alpha -n-1} \int _{B(x,t)} \lambda (y) \biggl(\sum _{I} \bigl\vert u_{I}(y) \bigr\vert ^{2}\biggr)^{1/2}\,dy{\frac{dt}{t}} \\ &\lesssim h^{\alpha -\tau /q-n/p} \end{aligned}$$

for \(\alpha -\tau /p-n/q-1<0\).

Let \(B(x_{0},r_{0})\supset \Omega \) centered at \(x_{0}\) and radius of \(r_{0}\). Then \(r_{0}\) is a finite constant independent of x. Combining all the above facts, we deduce that

$$\begin{aligned} &\bigl\Vert \lambda (x) I_{\alpha }u(x)-\lambda (z)I_{\alpha }u(z) \bigr\Vert _{L^{p, \tau}(\Omega ,\wedge ^{l})} \\ &\quad \leq \sum_{i=1}^{4} \Vert \mathcal{S}_{i} \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l})} \\ &\quad =\sum_{i=1}^{4}\sup_{x_{0}\in \Omega ,r>0} \Vert \mathcal{S}_{i} \Vert _{L^{p}(B(x_{0},r), \wedge ^{l})} \leq C \bigl\{ h^{\alpha +\kappa -\tau}+h^{\alpha -\tau /q-n/p}+h^{ \alpha +\kappa -\tau /p-n/q}\bigr\} , \end{aligned}$$

where C is a constant independent of x and z. The proof of Theorem 4.1 has been completed. □

The inequality for composite operator with Morrey norms on differential forms is as follows.

Theorem 4.2

Let \(u\in \Lambda ^{p,\tau}_{\kappa}(\Omega ,\wedge ^{l})\) be a differential l-form and \(du\in \Lambda ^{p,\tau}_{\kappa}(\Omega ,\wedge ^{l+1})\), \(l=0,1,\ldots ,n-1\), \(h=|x-z|\), let \(T:L^{p}(\Omega ,\wedge ^{l})\rightarrow L^{p}(\Omega ,\wedge ^{l-1})\) be a homotopy operator and \(\lambda (\cdot )\in \Lambda ^{\tau}\). Then there exists a constant C, independent of u, such that

$$\begin{aligned} &\bigl\Vert \lambda (x)I_{\alpha }\bigl(u(x)-u(x)_{B} \bigr) -\lambda (z)I_{\alpha}\bigl(u(z)-u(z)_{B}\bigr) \bigr\Vert _{L^{p,\tau}(\Omega ,\wedge ^{l})} \\ &\quad \leq C\bigl\{ h^{\alpha +\kappa -\tau}+h^{\alpha -\tau /q-n/p}+h^{\alpha + \kappa -\tau /p-n/q}\bigr\} , \end{aligned}$$
(4.1)

where B is any ball in Ω.

Proof

Assume that \(l\geq 1\), arbitrary \(x_{0}\in \Omega \), and \(B(x_{0},r)\subset \Omega \) is any ball centered at \(x_{0}\) and radius of r. Then we have

$$\begin{aligned} &\bigl\Vert \lambda (x)I_{\alpha }\bigl(u(x)-u(x)_{B}\bigr) -\lambda (z)I_{\alpha}\bigl(u(z)-u(z)_{B}\bigr) \bigr\Vert _{L^{p,\tau}(\Omega ,\wedge ^{l})} \\ &\quad \lesssim \sup_{r>0}r^{(\tau -n)/p} \bigl\Vert \lambda (x)I_{\alpha }\bigl(u(x)-u(x)_{B}\bigr)- \lambda (z)I_{\alpha}\bigl(u(z)-u(z)_{B}\bigr) \bigr\Vert _{L^{p}(B(x_{0},r),\wedge ^{l})}. \end{aligned}$$

\(|\lambda (x)I_{\alpha}(du(x))-\lambda (z)I_{\alpha}(du(z))|\) is expressed by

$$\begin{aligned} & \bigl\vert \lambda (x)I_{\alpha}\bigl(du(x)\bigr)-\lambda (z)I_{\alpha}\bigl(du(z)\bigr) \bigr\vert \\ &\quad = \Biggl\vert \lambda (x)\sum_{k}^{n} \sum_{1\leq i_{1}< \cdots < i_{l}\leq n} \int _{\mathbb{R}^{n}}{\frac{1}{ \vert x-y \vert ^{n-\alpha}}} \biggl({\frac{\partial u_{I}(y)}{\partial x_{k}}} \biggr)\,dy\,dx_{k}\wedge dx_{I} \\ & \qquad {}-\lambda (z)\sum_{k}^{n}\sum _{1\leq i_{1}< \cdots < i_{l} \leq n} \int _{\mathbb{R}^{n}}{\frac{1}{ \vert z-y \vert ^{n-\alpha}}} \biggl({\frac{\partial u_{I}(y)}{\partial x_{k}}} \biggr)\,dy\,dx_{k}\wedge dx_{I} \Biggr\vert . \end{aligned}$$

Assume that each \({\frac{\partial u_{I}(y)}{\partial x_{k}}}=v_{I}(x)\) is a coefficient function of differential \((l+1)\) form du. By using Theorem 4.1, we obtain (4.1) holds. □

5 Homotopy operator and A-harmonic equations

As applications for homotopy operator on differential forms, we study the solutions for nonhomogeneous A-harmonic equation on differential forms

$$ A(x,g+du)=h+d^{\star }v, $$
(5.1)

where \(A:\Omega \times \wedge ^{l}(\mathbb{R}^{n})\rightarrow \wedge ^{l}( \mathbb{R}^{n})\) and g, h are differential l-forms on Ω. To study the property of (5.1), we need the following conditions for operator A:

$$ \bigl\vert A(x,\zeta ) \bigr\vert \leq a \vert \zeta \vert ^{p-1} $$

and

$$ \bigl\langle A(x,\zeta ),\zeta \bigr\rangle \leq \vert \zeta \vert ^{p}, $$

where arbitrary \(x\in \Omega \), \(\zeta \in \wedge ^{l}(\mathbb{R}^{n})\) and a is a positive constant. In the present paper, we choose \(g=h=0\) in (5.1), then we get the nonhomogeneous conjugate A-harmonic equation

$$ A(x,du)=d^{\star }v. $$
(5.2)

If u, v is a pair of solutions for equation (5.2), then we say u and v are a pair of conjugate A-harmonic tensors. Furthermore, u was called homogeneous A-harmonic tensor if u is a solution for homogeneous A-harmonic equation

$$ d^{\star }A(x,du)=0. $$
(5.3)

The following lemma appeared in [24].

Lemma 5.1

Let u and v be a pair of solutions for equation (5.1) on Ω. If \(g\in L^{p}(B,\wedge ^{l})\) and \(h\in L^{q}(B,\wedge ^{l})\), then \(du\in L^{p}(B,\wedge ^{l})\) if and only if \(d^{\star }v\in L^{q}(B,\wedge ^{l})\). Moreover, we have the following inequalities:

$$\begin{aligned} & \bigl\Vert d^{\star }v \bigr\Vert ^{q}_{L^{q}(B,\wedge ^{l+1})} \leq C_{1} \bigl\{ \Vert h \Vert ^{q}_{L^{q}(B, \wedge ^{l})}+ \Vert g \Vert ^{p}_{L^{p}(B,\wedge ^{l})}+ \Vert du \Vert ^{p}_{L^{p}(B, \wedge ^{l+1})} \bigr\} , \\ & \Vert du \Vert ^{p}_{L^{p}(B,\wedge ^{l+1})}\leq C_{2} \bigl\{ \Vert h \Vert ^{q}_{L^{q}(B, \wedge ^{l})}+ \Vert g \Vert ^{p}_{L^{p}(B,\wedge ^{l})}+ \bigl\Vert d^{\star }v \bigr\Vert ^{q}_{L^{q}(B, \wedge ^{l+1})} \bigr\} \end{aligned}$$

for \(C_{1}\) and \(C_{2}\) are two constants independent of u and v.

Now, we show the Caccioppoli-type estimate for homotopy operator with \(L^{p,\tau}(\Omega ,\wedge ^{l})\)-norms.

Theorem 5.2

Assume that \(1<\tau ,\upsilon <n\) and \(1< p<\infty \). Let u and v be a pair of conjugate A-harmonic tensors on Ω and \(T:L^{p}(\Omega ,\wedge ^{l})\rightarrow L^{p}(\Omega ,\wedge ^{l-1})\) be a homotopy operator. Then there exist a constant \(C>0\), independent of u and v, such that

$$ \bigl\Vert Td^{\star }v \bigr\Vert ^{q}_{L^{q,\tau}(\Omega ,\wedge ^{l})}\leq C \Vert u-c \Vert ^{p}_{L^{p, \upsilon}(\Omega ,\wedge ^{l})}, $$

where c is any closed form on Ω and \(\upsilon =\tau -p+q\).

Proof

From Theorem 2.9 in [29], we have the following Caccioppoli inequality in \(L^{p}\)-spaces:

$$ \Vert du \Vert _{L^{p}(B,\wedge ^{l+1})}\leq C \vert B \vert ^{-1/n} \Vert u-c \Vert _{L^{p}(\sigma B, \wedge ^{l})} $$

for a homogeneous A-harmonic tensor u, B with σB in Ω and all closed forms c. Since u and v are a pair of conjugate A-harmonic tensors on Ω with \(g=h=0\), by using Lemma 5.1, we have

$$ \bigl\Vert d^{\star }v \bigr\Vert ^{q}_{L^{q}(B,\wedge ^{l+1})}\leq C \Vert du \Vert ^{p}_{L^{p}(B, \wedge ^{l+1})}. $$

Hence

$$\begin{aligned} \bigl\Vert Td^{\star }v \bigr\Vert ^{q}_{L^{q}(B,\wedge ^{l})}\leq C \vert B \vert ^{q/n} \bigl\Vert d^{\star }v \bigr\Vert ^{p}_{L^{p}(B,\wedge ^{l})}\leq C \vert B \vert ^{-p/n} \Vert u-c \Vert ^{p}_{L^{p}( \sigma B,\wedge ^{l})}. \end{aligned}$$

Clearly, \(d^{\star}=(-1)^{nl+1}\star d\star u\) and \(\star :\wedge ^{l}\rightarrow \wedge ^{n-l}\) is an isometric isomorphism mapping. Combining all the facts, we obtain

$$\begin{aligned} \bigl\Vert Td^{\star }v \bigr\Vert ^{q}_{L^{q,\tau}(\Omega ,\wedge ^{l})} & = \sup_{r>0}r^{ \tau -n} \bigl\Vert Td^{\star }v \bigr\Vert ^{q}_{L^{q}(B,\wedge ^{l})} \\ &\lesssim \sup_{r>0}r^{\tau -n}r^{q-p} \Vert u-c \Vert ^{p}_{L^{p}(\sigma B, \wedge ^{l})} \\ &\lesssim \Vert u-c \Vert ^{p}_{L^{p,\upsilon}(\Omega ,\wedge ^{l})} \end{aligned}$$

for all B with \(\sigma B\subset \Omega \) and \(\upsilon =\tau -p+q\). The proof of Theorem 5.2 has been completed. □

Next, we give the Poincaré-type estimate for homotopy operator with \(L^{p,\tau}(\Omega ,\wedge ^{l})\)-norms.

Theorem 5.3

Assume that \(1<\tau ,\upsilon <n\) and \(1< p<\infty \). Let u and v be a pair of conjugate A-harmonic tensors on Ω and \(T:L^{p}(\Omega ,\wedge ^{l})\rightarrow L^{p}(\Omega ,\wedge ^{l-1})\) be a homotopy operator. Then there exists a constant \(C>0\), independent of u and v, such that

$$ \bigl\Vert T(u-u_{B}) \bigr\Vert ^{p}_{L^{p,\upsilon}(\Omega ,\wedge ^{l-1})} \leq C \bigl\Vert d^{ \star }v \bigr\Vert ^{q}_{L^{q,\tau}(\Omega ,\wedge ^{l+1})}, $$

where c is any closed form on Ω and \(\upsilon =\tau +p\).

Proof

Let u and v be a pair of conjugate A-harmonic tensors on Ω and \(g=h=0\). Using the second relation of Lemma 5.1, we have

$$\begin{aligned} \Vert du \Vert ^{p}_{L^{p}(B,\wedge ^{l+1})}\leq C \bigl\Vert d^{\star }v \bigr\Vert ^{q}_{L^{q}(B, \wedge ^{l+1})}. \end{aligned}$$

By using Lemma 3.1, we have

$$\begin{aligned} \bigl\Vert T(u-u_{B}) \bigr\Vert _{L^{p,\upsilon}(\Omega ,\wedge ^{l-1})} \lesssim \sup _{r>0}r^{( \upsilon -n)/p} \vert B \vert ^{1/n} \Vert du \Vert _{L^{p}(B,\wedge ^{l+1})} = \Vert du \Vert _{L^{p, \tau}(\Omega ,\wedge ^{l+1})} \end{aligned}$$

for \(\tau =\upsilon +p\) and any ball B in Ω. Collecting these facts, we obtain

$$ \bigl\Vert T(u-u_{B}) \bigr\Vert ^{p}_{L^{p,\upsilon}(\Omega ,\wedge ^{l-1})} \leq C \bigl\Vert d^{ \star }v \bigr\Vert ^{q}_{L^{q,\tau}(\Omega ,\wedge ^{l+1})}. $$

The proof of Theorem 5.3 has been completed. □

Availability of data and materials

Not applicable.

References

  1. Hawamdeh, O.M., Alrahmneh, A.A.: The theoretical foundation in the Hölder space of quadratures method of solving nonlinear singular integral equations given on closed smooth contour. J. Math. Res. 4(4), 74–80 (2012)

    Article  Google Scholar 

  2. Yen, N.D.: Hölder continuity of solutions to a parametric variational inequality. Appl. Math. Optim. 31(3), 245–255 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  3. Feehan, P., Pop, C.A.: Boundary-degenerate elliptic operators and Hölder continuity for solutions to variational equations and inequalities. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 35(5), 1075–1129 (2017)

    Article  MATH  Google Scholar 

  4. Sawano, Y.: Generalized Morrey spaces for non-doubling measures. Nonlinear Differ. Equ. Appl. 15(4), 413–425 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  5. Komori, Y., Shirai, S.: Weighted Morrey spaces and a singular integral operator. Math. Nachr. 282(2), 219–231 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Almeida, A., Hasanov, J., Samko, S.G.: Maximal and potential operators in variable exponent Morrey spaces. Georgian Math. J. 15(2), 195–208 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  7. Sawano, Y., El-Shabrawy, S.R.: Weak Morrey spaces with applications. Math. Nachr. 291(1), 1–9 (2017)

    MathSciNet  MATH  Google Scholar 

  8. Wang, L.W., Shu, L.S.: Higher order commutators of fractional integrals on Morrey type spaces with variable exponents. Math. Nachr. 291(8), 1437–1449 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  9. Deringoz, F., Guliyev, V.S., Hasanov, S.G.: A characterization for Adams type boundedness of the fractional maximal operator on generalized Orlicz-Morrey spaces. Integral Transforms Spec. Funct. 28(4), 284–299 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  10. Bastard, G.: Superlattice band structure in the envelope function approximation. Phys. Rev. B 25(10), 5693–5697 (1981)

    Article  Google Scholar 

  11. Petracca, R., Falugi, F., Galli, G., et al.: Structure-function analysis of hepatitis C virus envelope-CD81 binding. J. Virol. 74(10), 4824–4830 (2000)

    Article  Google Scholar 

  12. Sterke, C.D., Sipe, J.E.: Extensions and generalizations of an envelope-function approach for the electrodynamics of nonlinear periodic structures. Phys. Rev. A 39(10), 5163–5178 (1989)

    Article  Google Scholar 

  13. Bi, H., Ding, S.: Some strong \((p,q)\)-type inequalities for the homotopy operator. Comput. Math. Appl. 62(4), 1780–1789 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ding, S., Zhu, D.J.: Poincaré-type inequalities for the homotopy operator with \(L^{\varphi}(\Omega )\)-norms. Nonlinear Anal., Theory Methods Appl. 74(11), 3728–3735 (2011)

    Article  MATH  Google Scholar 

  15. Suhubi, E.: Exterior Analysis–Using Applications of Differential Forms. Academic Press, San Diego (2013)

    MATH  Google Scholar 

  16. Do Carmo, M.: Differential Forms and Applications. Springer, Berlin (1994)

    Book  MATH  Google Scholar 

  17. Agarwal, R.P., Ding, S., Nolder, C.A.: Inequalities for Differential Forms. Springer, New York (2009)

    Book  MATH  Google Scholar 

  18. Franke, D., Martio, O., Miklyukov, V.M., et al.: Quasiregular mappings and WT-classes of differential forms on Riemannian manifolds. Pac. J. Math. 202(1), 73–92 (2002)

    Article  MATH  Google Scholar 

  19. Ding, S., Xing, Y., Bao, G.: \(A_{r}(\Omega )\)-weighted inequalities for A-harmonic tensors and related operators. J. Math. Anal. Appl. 322(1), 219–232 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  20. Morrey, C.: On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 43(1), 126–166 (1938)

    Article  MathSciNet  MATH  Google Scholar 

  21. Chiarenza, F., Frasca, M.: Morrey spaces and Hardy-Littlewood maximal functions. Rend. Math. Appl. 3(4), 273–279 (1998)

    MathSciNet  MATH  Google Scholar 

  22. Meskhi, A.: Maximal functions and singular integrals in Morrey spaces associated with grand Lebesgue spaces. Proc. A. Razmadze Math. Inst. 151, 139–143 (2004)

    MathSciNet  MATH  Google Scholar 

  23. Guliyev, V., Samko, S.G.: Maximal operator in variable exponent generalized Morrey spaces on quasi-metric measure space. Mediterr. J. Math. 13(3), 1151–1165 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  24. Ding, S.: Local and global norm comparison theorems for solutions to the nonhomogeneous A-harmonic equation. J. Math. Anal. Appl. 335(2), 1274–1293 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  25. Xing, Y.: Weighted integral inequalities for solutions of the A-harmonic equation. J. Math. Anal. Appl. 279(1), 350–363 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  26. Ding, S.: Two-weight Caccioppoli inequalities for solutions of nonhomogeneous A-harmonic equations on Riemannian manifolds. Proc. Am. Math. Soc. 132(8), 2367–2375 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  27. Adams, D.R., Xiao, J.: Nonlinear potential analysis on Morrey spaces and their capacities. Indiana Univ. Math. J. 53(6), 1631–1666 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  28. Adams, D.R., Xiao, J.: Morrey spaces in harmonic analysis. Ark. Mat. 50(2), 201–230 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  29. Nolder, C.A.: Hardy-Littlewood theorems for A-hamonic tensors. Ill. J. Math. 43, 613–631 (1999)

    MATH  Google Scholar 

Download references

Funding

This paper is supported by the Fundamental Research Funds for the Central Universities (2572022BC05) and National Natural Science Foundation of China (12001088).

Author information

Authors and Affiliations

Authors

Contributions

All authors worked on the manuscript.

Corresponding author

Correspondence to Jianwei Wang.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, X., Wang, J. & Pan, N. Inequalities for integral operators in Hölder–Morrey spaces on differential forms. J Inequal Appl 2023, 71 (2023). https://doi.org/10.1186/s13660-023-02977-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-023-02977-3

Keywords