- Research
- Open Access
- Published:

# Inequalities for the composition of Green’s operator and the potential operator

*Journal of Inequalities and Applications*
**volume 2012**, Article number: 271 (2012)

## Abstract

We first establish the {L}^{p}-norm inequalities for the composition of Green’s operator and the potential operator. Then we develop the {L}^{\phi}-norm inequalities for the composition in the {L}^{\phi}-averaging domains. Finally, we display some examples for applications.

**MSC:**35J60, 31B05, 58A10, 46E35.

## 1 Introduction

The purpose of this paper is to derive some inequalities for the composition of Green’s operator *G* and the potential operator *P* applied to differential forms. The differential forms are extensions of functions and can be used to describe various systems of PDEs, physics, theory of elasticity, quasiconformal analysis, *etc.* In the meanwhile, Green’s operator and the potential operator are of considerable importance in the study of potential theory and nonlinear elasticity; see [1–6] for more properties of these two operators. In many situations, the process to study solutions of PDEs involves estimating the various norms of the operators. Bi defined a potential operator *P* applied to differential forms in [1]. However, the study on the composition of the potential operator and other operators has just begun. Hence, we are motivated to establish some inequalities for the composite operator G\circ P applied to differential forms.

Now we introduce some notations. Unless otherwise indicated, we always use Θ to denote an open subset of {\mathbb{R}}^{n} (n\ge 2), and let *O* be a ball in {\mathbb{R}}^{n}. Let *ρO* denote the ball with the same center as *O* and diam(\rho O)=\rho diam(O), \rho >0. A weight w(x) is a nonnegative locally integrable function in {\mathbb{R}}^{n}. |D| is used to denote the Lebesgue measure of a set D\subset {\mathbb{R}}^{n}. Let {\wedge}^{\ell}={\wedge}^{\ell}({\mathbb{R}}^{n}), \ell =0,1,\dots ,n, be the linear space of all *ℓ*-forms \u0127(x)={\sum}_{J}{\u0127}_{J}(x)\phantom{\rule{0.2em}{0ex}}d{x}_{J}={\sum}_{J}{\u0127}_{{j}_{1}{j}_{2}\cdots {j}_{\ell}}(x)\phantom{\rule{0.2em}{0ex}}d{x}_{{j}_{1}}\wedge d{x}_{{j}_{2}}\wedge \cdots \wedge d{x}_{{j}_{\ell}} in {\mathbb{R}}^{n}, where J=({j}_{1},{j}_{2},\dots ,{j}_{\ell}), 1\le {j}_{1}<{j}_{2}<\cdots <{j}_{\ell}\le n, are the ordered *ℓ*-tuples. Moreover, if each of the coefficients {\u0127}_{J}(x) of \u0127(x) is differential on Θ, then we call \u0127(x) a differential *ℓ*-form on Θ and use {D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell}) to denote the space of all differential *ℓ*-forms on Θ. {C}^{\mathrm{\infty}}(\mathrm{\Theta},{\wedge}^{\ell}) denotes the space of smooth *ℓ*-forms on Θ. The exterior derivative d:{D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell})\to {D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell +1}), \ell =0,1,\dots ,n-1, is given by

for all \u0127\in {D}^{\prime}(\mathrm{\Theta},{\mathrm{\Lambda}}^{\ell}) and the Hodge codifferential operator {d}^{\star} is defined as {d}^{\star}={(-1)}^{n\ell +1}\star d\star :{D}^{\prime}(\mathrm{\Theta},{\mathrm{\Lambda}}^{\ell +1})\to {D}^{\prime}(\mathrm{\Theta},{\mathrm{\Lambda}}^{\ell}), where ⋆ is the Hodge star operator. {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}) is a Banach space with the norm

For a weight w(x), we write {\parallel \u0127\parallel}_{p,\mathrm{\Theta},w}={({\int}_{\mathrm{\Theta}}{|\u0127|}^{p}w(x)\phantom{\rule{0.2em}{0ex}}dx)}^{1/p}. From [7], if *ħ* is a differential form in a bounded convex domain Θ, then there is a decomposition

where *T* is called a homotopy operator. Furthermore, we can define the *ℓ*-form {\u0127}_{\mathrm{\Theta}}\in {D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell}) by

for all \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}), 1\le p<\mathrm{\infty}.

With respect to the nonhomogeneous *A*-harmonic equation for differential forms, we indicate the general form as follows:

where A:\mathrm{\Theta}\times {\wedge}^{\ell}({\mathbb{R}}^{n})\to {\wedge}^{\ell}({\mathbb{R}}^{n}) and B:\mathrm{\Theta}\times {\wedge}^{\ell}({\mathbb{R}}^{n})\to {\wedge}^{\ell -1}({\mathbb{R}}^{n}) satisfy the conditions: |A(x,\eta )|\le a{|\eta |}^{p-1}, A(x,\eta )\cdot \eta \ge {|\eta |}^{p} and |B(x,\eta )|\le b{|\eta |}^{p-1} for almost every x\in \mathrm{\Theta} and all \eta \in {\wedge}^{\ell}({\mathbb{R}}^{n}). Here a,b>0 are some constants and 1<p<\mathrm{\infty} is a fixed exponent associated with (1.5). A solution to (1.5) is an element of the Sobolev space {W}_{\mathrm{loc}}^{1,p}(\mathrm{\Theta},{\wedge}^{\ell -1}) such that

for all \psi \in {W}_{\mathrm{loc}}^{1,p}(\mathrm{\Theta},{\wedge}^{\ell -1}) with compact support, where {W}_{\mathrm{loc}}^{1,p}(\mathrm{\Theta},{\wedge}^{\ell -1}) is the space of *ℓ*-forms whose coefficients are in the Sobolev space {W}_{\mathrm{loc}}^{1,p}(\mathrm{\Theta}).

Recently, Bi extended the definition of the potential operator to the set of all differential forms in [1]. For any differential *ℓ*-form \u0127(x)={\sum}_{J}{\u0127}_{J}(x)\phantom{\rule{0.2em}{0ex}}d{x}_{J}, the potential operator *P* is defined by

where the kernel K(x,y) is a nonnegative measurable function defined for x\ne y, {\u0127}_{J}(x) is defined on \mathrm{\Theta}\subset {\mathbb{R}}^{n} and the summation is over all ordered *ℓ*-tuples *J*. For more results related to the potential operator *P*, see [1, 8, 9].

## 2 The {L}^{p}-norm inequalities

In this section, we establish the {L}^{p}-norm inequality for the composite operator G\circ P and obtain the {A}_{r,\lambda}(\mathrm{\Theta})-weight version of the inequality. We need the following definitions and lemmas.

In [5], Ding gives the following {L}^{p}-norm inequality for Green’s operator.

**Lemma 2.1** *Let* \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}) *be a smooth form in a bounded domain* Θ, \ell =1,\dots ,n, 1<p<\mathrm{\infty} *and* *G* *be Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* O\subset \mathrm{\Theta}.

**Definition 2.2** ([3])

A pair of weights ({w}_{1}(x),{w}_{2}(x)) satisfies the {A}_{r,\lambda}(\mathrm{\Theta})-condition in a set \mathrm{\Theta}\subset {\mathbb{R}}^{n}, write ({w}_{1}(x),{w}_{2}(x))\in {A}_{r,\lambda}(\mathrm{\Theta}) for some \lambda \ge 1 and 1<r<\mathrm{\infty} with \frac{1}{r}+\frac{1}{{r}^{\prime}}=1, if

The following definition is introduced in [9].

**Definition 2.3** A kernel *K* on {\mathbb{R}}^{n}\times {\mathbb{R}}^{n} (n\ge 2) satisfies the standard estimates if there exist *α*, 0<\alpha \le 1, and a constant *C* such that, for all distinct points *x* and *y* in {\mathbb{R}}^{n} and all *z* with |x-z|<\frac{1}{2}|x-y|:

The following two-weight norm inequality for the potential operator *P* applied to differential forms appears in [1].

**Lemma 2.4** ([1])

*Let* \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n, 1<p<\mathrm{\infty}, *be a differential form in a domain* Θ *and* *P* *be the potential operator defined in* (1.7) *with the kernel* K(x,y) *satisfying the condition* (1) *of the standard estimates* (2.3). *Assume that* ({w}_{1},{w}_{2})\in {A}_{r,\lambda}(\mathrm{\Theta}) *for some* \lambda \ge 1 *and* 1<r<\mathrm{\infty}. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

**Remark** If let {w}_{1}={w}_{2}=1 in (2.4), then (2.4) reduces to the following inequality:

**Theorem 2.5** *Let* \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n, 1<p<\mathrm{\infty}, *be a differential form in a bounded convex domain* \mathrm{\Theta}\subset {\mathbb{R}}^{n}, *P* *be the potential operator defined in* (1.7) *with the kernel* K(x,y) *satisfying the condition* (1) *of the standard estimates* (2.3) *and* *G* *be Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* *O* *with* O\subset \mathrm{\Theta}.

*Proof* By Lemma 2.1 and (2.5), we have

We complete the proof of Theorem 2.5. □

**Lemma 2.6** * Let* 0<\alpha ,\beta <\mathrm{\infty} *and* 1/s=1/\alpha +1/\beta. *If* *f* *and* *g* *are two measurable functions on* {\mathbb{R}}^{n}, *then*

*for any* \mathrm{\Theta}\subset {\mathbb{R}}^{n}.

**Lemma 2.7** ([10])

*Let* *ħ* *be a solution of the nonhomogeneous* *A*-*harmonic equation* (1.5) *in a domain* Θ *and* 0<s,t<\mathrm{\infty}. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* *O* *with* \rho O\subset \mathrm{\Theta}, *where* \rho >1 *is a constant*.

Based on Theorem 2.5, we obtain the following {A}_{r,\lambda}(\mathrm{\Theta})-weight version of inequality (2.6).

**Theorem 2.8** *Let* \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n, 1<p<\mathrm{\infty}, *be a solution of the nonhomogeneous* *A*-*harmonic equation* (1.5) *in a bounded convex domain* Θ, *P* *be the potential operator defined in* (1.7) *with the kernel* K(x,y) *satisfying the condition* (1) *of the standard estimates* (2.3) *and* *G* *be Green’s operator*. *Assume that* ({w}_{1}(x),{w}_{2}(x))\in {A}_{r,\lambda}(\mathrm{\Theta}) *for some* \lambda \ge 1 *and* 1<r<\mathrm{\infty}. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* *O* *with* \rho O\subset \mathrm{\Theta}, *where* \rho >1 *and* *α* *are two constants with* 0\le \alpha <\lambda.

*Proof* Let s=\lambda p/(\lambda -\alpha ) and t=\lambda p/(\lambda +\alpha (r-1)), thus 0<t<p<s. Using Theorem 2.5, Lemma 2.6 with 1/p=1/s+(s-p)/(sp) and Lemma 2.7, we obtain

Applying Lemma 2.6 with 1/t=1/p+(p-t)/(pt) yields

Note that ({w}_{1}(x),{w}_{2}(x))\in {A}_{r,\lambda}(\mathrm{\Theta}), therefore

It is easy to check that (t-s)/(st)+\alpha /(\lambda p)+\alpha (r-1)/(\lambda p)=0, thus

We complete the proof of Theorem 2.8. □

**Definition 2.9** The weight w(x) is said to satisfy the {A}_{r}(\mathrm{\Theta}) condition, r>1. Write w\in {A}_{r}(\mathrm{\Theta}) if w(x)>0 a.e. and

for any ball O\subset \mathrm{\Theta}.

If \lambda =1, {w}_{1}={w}_{2}, the {A}_{r,\lambda}(\mathrm{\Theta})-weights reduce to the usual class of {A}_{r}(\mathrm{\Theta})-weights; see [3] for more details about weights. So, we have the following corollary.

**Corollary 2.10** *Let* \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n, 1<p<\mathrm{\infty}, *be a solution of the nonhomogeneous* *A*-*harmonic equation* (1.5) *in a bounded convex domain* Θ, *P* *be the potential operator defined in* (1.7) *with the kernel* K(x,y) *satisfying the condition* (1) *of the standard estimates* (2.3) *and* *G* *be Green’s operator*. *Assume that* w(x)\in {A}_{r}(\mathrm{\Theta}) *for* 1<r<\mathrm{\infty}. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* *O* *with* \rho O\subset \mathrm{\Theta}, *where* \rho >1 *and* *α* *are two constants with* 0\le \alpha <1.

## 3 The {L}^{\phi}-norm inequalities

In this section, we first recall some definitions of elementary conceptions, including the Luxemburg norm and the class G(p,q,C) of Young functions. Then we prove the {L}^{\phi}-norm inequalities for the composite operator G\circ P.

A continuously increasing function \phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty}) with \phi (0)=0 and \phi (\mathrm{\infty})=\mathrm{\infty} is called an Orlicz function, and a convex Orlicz function is often called a Young function. The Orlicz space {L}^{\phi}(\mathrm{\Theta}) consists of all measurable functions *f* on Θ such that {\int}_{\mathrm{\Theta}}\phi (\frac{|f|}{\chi})\phantom{\rule{0.2em}{0ex}}dx<\mathrm{\infty} for some \chi =\chi (f)>0, then the nonlinear Luxemburg functional of *f* is denoted by

If *φ* is a Young function, then {\parallel \cdot \parallel}_{\phi (\mathrm{\Theta})} defines a norm in {L}^{\phi}(\mathrm{\Theta}), which is called the Luxemburg norm.

The following class G(p,q,C) is introduced in [11], which is a special class of Young functions.

**Definition 3.1** We call a Young function *φ* belongs to the class G(p,q,C), 1\le p<q<\mathrm{\infty}, C\ge 1, if

for all t>0, where *f* is a convex increasing function and *g* is a concave increasing function on [0,\mathrm{\infty}).

From [11], we assert that *φ*, *f*, *g* in the above definition are doubling, namely \phi (2t)\le {C}_{1}\phi (t) for all t>0, and the completely similar property remains valid if *φ* is replaced correspondingly with *f*, *g*. Besides, we have

where {C}_{1}, {C}_{2} and {C}_{3} are some positive constants.

Bi [1] constructs a special kernel function of a potential operator. Suppose the function \varphi (x) is defined as follows:

where c={\int}_{B(0,1)}{e}^{\frac{1}{{|x|}^{2}-1}}\phantom{\rule{0.2em}{0ex}}dx. For any \epsilon >0, we write {\varphi}_{\epsilon}(x)=\frac{1}{{\epsilon}^{n}}\varphi (\frac{x}{\epsilon}). It is easy to see that \varphi (x)\in {C}_{0}^{\mathrm{\infty}}({\mathbb{R}}^{n}) and

Let *P* be the potential operator in (1.7) with K(x,y)={\varphi}_{\epsilon}(x-y). Assume that \u0127\in {D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n-1, is a differential form defined in a bounded convex domain Θ and {\u0127}_{J} is the coefficient of *ħ* with supp{\u0127}_{J}\subset \mathrm{\Theta} for all ordered *ℓ*-tuples *J*. From (4.10) in [1], we have the inequality as follows:

where *C* is a constant, independent of *ħ*, and *p* is a positive number with 1<p<\mathrm{\infty}.

Now we introduce two lemmas which will be needed later.

**Lemma 3.2** ([7])

*Let* \u0127\in {D}^{\prime}(O,{\wedge}^{\ell}), \ell =0,1,\dots ,n-1, 1<p<n, *and* d\u0127\in {L}^{p}(O,{\wedge}^{\ell +1}). *Then* \u0127-{\u0127}_{O} *is in* {L}^{\frac{np}{n-p}}(O,{\wedge}^{\ell}) *and*

*for* *O* *a cube or a ball in* {\mathbb{R}}^{n}.

**Lemma 3.3** ([4])

*Let* \u0127\in {C}^{\mathrm{\infty}}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =1,2,\dots ,n-1, 1<p<\mathrm{\infty}, *and* *G* *be Green’s operator*. *Then there exists a positive constant* *C*, *independent of* *ħ*, *such that*

*for any* \mathrm{\Theta}\subset {\mathbb{R}}^{n}.

**Theorem 3.4** *Let* \u0127\in {D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n-1, *be a differential form in a bounded convex domain* Θ *and* {\u0127}_{J} *be the coefficient of* *ħ* *with* supp{\u0127}_{J}\subset \mathrm{\Theta} *for all ordered* *ℓ*-*tuples J*. *Assume that* *φ* *is a Young function in the class* G(p,q,C), 1\le p<q<\mathrm{\infty}, C\ge 1 *and* q(n-p)<np, *P* *is the potential operator in* (1.7) *with* K(x,y)={\varphi}_{\epsilon}(x-y) *for any* \epsilon >0 *and* *G* *is Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* *O* *with* O\subset \mathrm{\Theta}.

*Proof* Using Jensen’s inequality for {g}^{-1} that is defined in Definition 3.1, (3.3), (3.2) and noticing that *φ* and *g* are doubling, for any ball O\subset \mathrm{\Theta}, we obtain

By Lemma 3.3, it follows that

If 1\le p<n, by assumption, we have q<\frac{np}{n-p}. Noticing that the {L}^{p}-norm of |G(P(\u0127))-{(G(P(\u0127)))}_{O}| increases with *p*, using Lemma 3.2 for G(P(\u0127)), (3.11) and (3.6), we have

since the differential operator *d* commutes with *G*.

When p\ge n, we could select a strictly increasing sequence \{{p}_{i}\} with 1\le {p}_{i}<n\le p and {p}_{i}\to n as i\to \mathrm{\infty}. Noticing that \frac{n{p}_{i}}{n-{p}_{i}}\to \mathrm{\infty} with i\to \mathrm{\infty}, by keeping order of the limit, there exists {i}_{0} with 1\le {i}_{0}<\mathrm{\infty} such that p<q<\frac{n{p}_{{i}_{0}}}{n-{p}_{{i}_{0}}}, then

Thus, (3.12) holds for any *p*, *q* with 1\le p<q<\mathrm{\infty}, q(n-p)<np. Since *φ* is increasing, from (3.10) and (3.12), we obtain

Applying (3.14), (i) in Definition 3.1, Jensen’s inequality, and noticing that *φ* and *f* are doubling, we have

Therefore, the proof of Theorem 3.4 has been completed. □

Since each of *φ*, *f* and *g* in Definition 3.1 is doubling, from the proof of Theorem 3.4, we have

for all balls *O* with O\subset \mathrm{\Theta} and any constant \chi >0. From the definition of the Luxemburg norm and (3.16), the following inequality with the Luxemburg norm

holds under the conditions described in Theorem 3.4.

**Remark** Note that in Theorem 3.4, *φ* may be any Young function provided it lies in the class G(p,q,{C}_{0}), 1\le p<q<\mathrm{\infty}, {C}_{0}\ge 1. From [11], we know that the function \phi (t)={t}^{p}{log}_{+}^{\alpha}t belongs to G({p}_{1},{p}_{2},C), 1\le {p}_{1}<p<{p}_{2}, t>0 and \alpha \in \mathbb{R}. Here log_{+}*t* is a piecewise function such that {log}_{+}t=1 for t\le e; otherwise, {log}_{+}t=logt. Moreover, if \alpha =0, one verifies easily that \phi (t)={t}^{p} is as well in the class G({p}_{1},{p}_{2},C), 1\le {p}_{1}<{p}_{2}<\mathrm{\infty}. Therefore, fixing the function \phi (t)={t}^{p}{log}_{+}^{\alpha}t, \alpha \in \mathbb{R} in Theorem 3.4, we obtain the following result.

**Corollary 3.5** *Let* \u0127\in {D}^{\prime}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n-1, *be a differential form in a bounded convex domain* Θ, *and* {\u0127}_{J} *be the coefficient of* *ħ* *with* supp{\u0127}_{J}\subset \mathrm{\Theta} *for all ordered* *ℓ*-*tuples* *J*. *Assume that* \phi ={t}^{p}{log}_{+}^{\alpha}t, 1\le p<q<\mathrm{\infty}, C\ge 1 *and* q(n-p)<np, *P* *is the potential operator in* (1.7) *with* K(x,y)={\varphi}_{\epsilon}(x-y) *for any* \epsilon >0 *and* *G* *is Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*for all balls* *O* *with* O\subset \mathrm{\Theta}.

## 4 Global inequalities

In this section, we first recall the definition of the {L}^{\phi}-averaging domains. Then we extend the local {L}^{\phi}-norm inequality for the composite operator G\circ P to the global case in this kind of domains.

**Definition 4.1** ([12])

Let *φ* be a Young function on [0,+\mathrm{\infty}) with \phi (0)=0. A proper subdomain \mathrm{\Theta}\subset {\mathbb{R}}^{n} is called an {L}^{\phi}-averaging domain if |\mathrm{\Theta}|<\mathrm{\infty}, and there exists a constant *C* such that

for some ball {O}_{0}\subset \mathrm{\Theta} and all functions *ħ* such that \phi (|\u0127|)\in {L}_{\mathrm{loc}}^{1}(\mathrm{\Theta}), where *τ*, *σ* are constants with 0<\tau ,\sigma \le \mathrm{\infty}, and the supremum is over all balls *O* with O\subset \mathrm{\Theta}.

**Theorem 4.2** *Let* \u0127\in {D}^{\prime}(\mathrm{\Theta},{\wedge}^{0}) *and* Θ *be a bounded convex* {L}^{\phi}-*averaging domain with* supp\u0127\subset \mathrm{\Theta}. *Assume that* *φ* *is a Young function in the class* G(p,q,C), 1\le p<q<\mathrm{\infty}, C\ge 1 *and* q(n-p)<np, *P* *is the potential operator in* (1.7) *with* K(x,y)={\varphi}_{\epsilon}(x-y) *for any* \epsilon >0 *and* *G* *is Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*where* {O}_{0}\subset \mathrm{\Theta} *is some fixed ball*.

*Proof* Note that Θ is an {L}^{\phi}-averaging domain and *φ* is doubling. From Definition 4.1 and (3.9), we have

We have completed the proof of Theorem 4.2. □

Similarly, by (3.1), we conclude that

From the definition of the {L}^{\phi}-averaging domains, we see that an {L}^{s}-averaging domain [13] is a special {L}^{\phi}-averaging domain when \phi (t)={t}^{s} in Definition 4.1. Hence, we have the following result in the {L}^{s}-averaging domains.

**Corollary 4.3** *Let* \u0127\in {D}^{\prime}(\mathrm{\Theta},{\wedge}^{0}) *and* Θ *be a bounded convex* {L}^{s}-*averaging domain with* supp\u0127\subset \mathrm{\Theta}. *Assume that* *φ* *is a Young function in the class* G(p,q,C), 1\le p<q<\mathrm{\infty}, C\ge 1 *and* q(n-p)<np, *P* *is the potential operator in* (1.7) *with* K(x,y)={\varphi}_{\epsilon}(x-y) *for any* \epsilon >0 *and* *G* *is Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*where* {O}_{0}\subset \mathrm{\Theta} *is some fixed ball*.

## 5 Applications

In this section, we give some examples of applications. By Theorem 2.5, we can obtain other norm inequalities for the composite operator G\circ P, such as Lipschitz and BMO norms. Now, we take the Lipschitz norm for example.

**Definition 5.1** ([10])

Let \u0127\in {L}_{\mathrm{loc}}^{1}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n. We write \u0127\in \mathrm{loc}{\mathrm{Lip}}_{k}(\mathrm{\Theta},{\wedge}^{\ell}), 0\le k\le 1, if

for some \rho \ge 1. Further, we write {\mathrm{Lip}}_{k}(\mathrm{\Theta},{\wedge}^{\ell}) for those forms whose coefficients are in the usual Lipschitz space with exponent *k* and write {\parallel \u0127\parallel}_{{\mathrm{Lip}}_{k},\mathrm{\Theta}} for this norm.

**Theorem 5.2** *Let* \u0127\in {L}^{p}(\mathrm{\Theta},{\wedge}^{\ell}), \ell =0,1,\dots ,n, 1<p<\mathrm{\infty}, *be a differential form in a bounded domain* Θ, *P* *be the potential operator defined in* (1.7) *with the kernel* K(x,y) *satisfying the condition* (1) *of the standard estimates* (2.3) *and* *G* *be Green’s operator*. *Then there exists a constant* *C*, *independent of* *ħ*, *such that*

*where* *k* *is a constant with* 0\le k\le 1.

*Proof* From Theorem 2.5, we have

for all balls *O* with O\subset \mathrm{\Theta}. Using the Hölder inequality with 1=1/p+(p-1)/p, we get that

where we have used diam(O)=C{|O|}^{1/n}. Note that the definition of Lipschitz norm, (5.4) and 2-1/p+1/n-1-k/n=1-1/p+1/n-k/n>0 yield

Thus, we have finished the proof of Theorem 5.2. □

Next, we would like to use Theorem 3.4 to make some estimate.

**Example 5.3** For n\ge 2, let *ħ* be a 1-form defined in {\mathbb{R}}^{n} by

and \phi (t)={t}^{p}{log}_{+}t (t>0), where x=({x}_{1},\dots ,{x}_{n})\in O\subset {\mathbb{R}}^{n}\mathrm{\setminus}(0,\dots ,0). Green’s operator *G* and the potential operator *P* are defined as in Theorem 3.4.

It is easy to get that |\u0127|=1 and *φ* belongs to the class G({p}_{1},{p}_{2},C), 1\le {p}_{1}<{p}_{2}<\mathrm{\infty}. Although it is very difficult to compute {\int}_{O}{|G(P(\u0127))-{(G(P(\u0127)))}_{O}|}^{p}{log}_{+}(|G(P(\u0127))-{(G(P(\u0127)))}_{O}|)\phantom{\rule{0.2em}{0ex}}dx directly, we could valuate its upperbound by (3.9). Now we carry on the process as follows

**Remark** It is well known that uniform domains and John domains are the special {L}^{\phi}-averaging domains. Therefore, the result of Theorem 4.2 remains valid for uniform domains and John domains.

## References

Bi H: Weighted inequalities for potential operators on differential forms.

*J. Inequal. Appl.*2010., 2010: Article ID 713625Xing Y, Ding S: Inequalities for Green’s operator with Lipschitz and BMO norms.

*Comput. Math. Appl.*2009, 58: 273–280. 10.1016/j.camwa.2009.03.096Agarwal RP, Ding S, Nolder CA:

*Inequalities for Differential Forms*. Springer, New York; 2009.Scott C:{L}^{p}-theory of differential forms on manifolds.

*Trans. Am. Math. Soc.*1995, 347: 2075–2096.Ding S: Norm estimates for the maximal operator and Green’s operator.

*Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal.*2009, 16: 72–78.Agarwal RP, Ding S: Inequalities for Green’s operator applied to the minimizers.

*J. Inequal. Appl.*2011., 2011: Article ID 66Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians.

*Arch. Ration. Mech. Anal.*1993, 125: 25–79. 10.1007/BF00411477Martell JM: Fractional integrals, potential operators and two-weight, weak type norm inequalities on spaces of homogeneous type.

*J. Math. Anal. Appl.*2004, 294: 223–236. 10.1016/j.jmaa.2004.02.012Uribe DC, Pérez C: Two-weight, weak-type norm inequalities for fractional integrals, Calderón-Zygmund operators and commutators.

*Indiana Univ. Math. J.*2000, 49(2):697–721.Nolder CA: Hardy-Littlewood theorems for

*A*-harmonic tensors.*Ill. J. Math.*1999, 43: 613–631.Buckley SM, Koskela P: Orlicz-Hardy inequalities.

*Ill. J. Math.*2004, 48: 787–802.Ding S:{L}^{\phi}(\mu )-averaging domains and the quasi-hyperbolic metric.

*Comput. Math. Appl.*2004, 47: 1611–1618. 10.1016/j.camwa.2004.06.016Staples SG:{L}^{p}-averaging domains and the Poincaré inequality.

*Ann. Acad. Sci. Fenn., Ser. A 1 Math.*1989, 14: 103–127.

## Acknowledgements

The authors wish to thank the anonymous referees for their time and thoughtful suggestions.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

ZD finished the proof and the writing work. YX and YW gave ZD some excellent advice on the proof and writing. SD gave ZD lots of help in revising the paper. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Dai, Z., Xing, Y., Ding, S. *et al.* Inequalities for the composition of Green’s operator and the potential operator.
*J Inequal Appl* **2012, **271 (2012). https://doi.org/10.1186/1029-242X-2012-271

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2012-271

### Keywords

- differential forms
- {L}^{p}-norm
- the Luxemburg norm
- Green’s operator
- the potential operator