Skip to main content

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

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 φ -norm inequalities for the composition in the L φ -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 [16] 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 GP applied to differential forms.

Now we introduce some notations. Unless otherwise indicated, we always use Θ to denote an open subset of R n (n2), and let O be a ball in R n . Let ρO denote the ball with the same center as O and diam(ρO)=ρdiam(O), ρ>0. A weight w(x) is a nonnegative locally integrable function in R n . |D| is used to denote the Lebesgue measure of a set D R n . Let = ( R n ), =0,1,,n, be the linear space of all -forms ħ(x)= J ħ J (x)d x J = J ħ j 1 j 2 j (x)d x j 1 d x j 2 d x j in R n , where J=( j 1 , j 2 ,, j ), 1 j 1 < j 2 << j n, are the ordered -tuples. Moreover, if each of the coefficients ħ J (x) of ħ(x) is differential on Θ, then we call ħ(x) a differential -form on Θ and use D (Θ, ) to denote the space of all differential -forms on Θ. C (Θ, ) denotes the space of smooth -forms on Θ. The exterior derivative d: D (Θ, ) D (Θ, + 1 ), =0,1,,n1, is given by

dħ(x)= i = 1 n J ħ j 1 j 2 j ( x ) x i d x i d x j 1 d x j 2 d x j
(1.1)

for all ħ D (Θ, Λ ) and the Hodge codifferential operator d is defined as d = ( 1 ) n + 1 d: D (Θ, Λ + 1 ) D (Θ, Λ ), where is the Hodge star operator. L p (Θ, ) is a Banach space with the norm

ħ p , Θ = ( Θ | ħ ( x ) | p d x ) 1 / p = ( Θ ( J | ħ J ( x ) | 2 ) p / 2 d x ) 1 / p <.
(1.2)

For a weight w(x), we write ħ p , Θ , w = ( Θ | ħ | p w ( x ) d x ) 1 / p . From [7], if ħ is a differential form in a bounded convex domain Θ, then there is a decomposition

ħ=d(Tħ)+T(dħ),
(1.3)

where T is called a homotopy operator. Furthermore, we can define the -form ħ Θ D (Θ, ) by

ħ Θ ={ | Θ | 1 Θ ħ ( y ) d y , = 0 ; d ( T ħ ) , = 1 , , n .
(1.4)

for all ħ L p (Θ, ), 1p<.

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

d A(x,dħ)=B(x,dħ),
(1.5)

where A:Θ× ( R n ) ( R n ) and B:Θ× ( R n ) 1 ( R n ) satisfy the conditions: |A(x,η)|a | η | p 1 , A(x,η)η | η | p and |B(x,η)|b | η | p 1 for almost every xΘ and all η ( R n ). Here a,b>0 are some constants and 1<p< is a fixed exponent associated with (1.5). A solution to (1.5) is an element of the Sobolev space W loc 1 , p (Θ, 1 ) such that

Θ A(x,dħ)dψ+B(x,dħ)ψ=0
(1.6)

for all ψ W loc 1 , p (Θ, 1 ) with compact support, where W loc 1 , p (Θ, 1 ) is the space of -forms whose coefficients are in the Sobolev space W loc 1 , p (Θ).

Recently, Bi extended the definition of the potential operator to the set of all differential forms in [1]. For any differential -form ħ(x)= J ħ J (x)d x J , the potential operator P is defined by

Pħ(x)=P ( J ħ J ( x ) d x J ) = J P ( ħ J ( x ) ) d x J = J Θ K(x,y) ħ J (y)dyd x J ,
(1.7)

where the kernel K(x,y) is a nonnegative measurable function defined for xy, ħ J (x) is defined on Θ 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 GP and obtain the A r , λ (Θ)-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 ħ L p (Θ, ) be a smooth form in a bounded domain Θ, =1,,n, 1<p< and G be Green’s operator. Then there exists a constant C, independent of ħ, such that

G ( ħ ) ( G ( ħ ) ) O p , O C|O|diam(O) ħ p , O
(2.1)

for all balls OΘ.

Definition 2.2 ([3])

A pair of weights ( w 1 (x), w 2 (x)) satisfies the A r , λ (Θ)-condition in a set Θ R n , write ( w 1 (x), w 2 (x)) A r , λ (Θ) for some λ1 and 1<r< with 1 r + 1 r =1, if

sup O Θ ( 1 | O | O w 1 λ d x ) 1 λ r ( 1 | O | O ( 1 w 2 ) λ r r d x ) 1 λ r <.
(2.2)

The following definition is introduced in [9].

Definition 2.3 A kernel K on R n × R n (n2) satisfies the standard estimates if there exist α, 0<α1, and a constant C such that, for all distinct points x and y in R n and all z with |xz|< 1 2 |xy|:

( 1 ) | K ( x , y ) | C | x y | n ; ( 2 ) | K ( x , y ) K ( z , y ) | C | x z x y | α | x y | n ; ( 3 ) | K ( z , y ) K ( x , y ) | C | x z x y | α | x y | n .
(2.3)

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

Lemma 2.4 ([1])

Let ħ L p (Θ, ), =0,1,,n, 1<p<, 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 ) A r , λ (Θ) for some λ1 and 1<r<. Then there exists a constant C, independent of ħ, such that

P ( ħ ) p , Θ , w 1 C ħ p , Θ , w 2 .
(2.4)

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

P ( ħ ) p , Θ C ħ p , Θ .
(2.5)

Theorem 2.5 Let ħ L p (Θ, ), =0,1,,n, 1<p<, be a differential form in a bounded convex domain Θ 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

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O C|O|diam(O) ħ p , O
(2.6)

for all balls O with OΘ.

Proof By Lemma 2.1 and (2.5), we have

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O C 1 | O | diam ( O ) P ( ħ ) p , O C 2 | O | diam ( O ) ħ p , O .
(2.7)

We complete the proof of Theorem 2.5. □

Lemma 2.6   Let 0<α,β< and 1/s=1/α+1/β. If f and g are two measurable functions on R n , then

f g s , Θ f α , Θ g β , Θ
(2.8)

for any Θ 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<. Then there exists a constant C, independent of ħ, such that

ħ s , O C | O | ( t s ) / s t ħ t , ρ O
(2.9)

for all balls O with ρOΘ, where ρ>1 is a constant.

Based on Theorem 2.5, we obtain the following A r , λ (Θ)-weight version of inequality (2.6).

Theorem 2.8 Let ħ L p (Θ, ), =0,1,,n, 1<p<, 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)) A r , λ (Θ) for some λ1 and 1<r<. Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O , w 1 α C|O|diam(O) ħ p , ρ O , w 2 α
(2.10)

for all balls O with ρOΘ, where ρ>1 and α are two constants with 0α<λ.

Proof Let s=λp/(λα) and t=λp/(λ+α(r1)), thus 0<t<p<s. Using Theorem 2.5, Lemma 2.6 with 1/p=1/s+(sp)/(sp) and Lemma 2.7, we obtain

(2.11)

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

ħ t , ρ O = ( ρ O | ħ | t d x ) 1 / t = ( ρ O ( | ħ | w 2 α / p w 2 α / p ) t d x ) 1 / t ( ρ O | ħ | p w 2 α d x ) 1 / p ( ρ O ( 1 w 2 ) α t / ( p t ) d x ) ( p t ) / ( p t ) = ħ p , ρ O , w 2 α ( ρ O ( 1 w 2 ) λ / ( r 1 ) d x ) α ( r 1 ) / ( λ p ) .
(2.12)

Note that ( w 1 (x), w 2 (x)) A r , λ (Θ), therefore

(2.13)

It is easy to check that (ts)/(st)+α/(λp)+α(r1)/(λp)=0, thus

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O , w 1 α C 5 | O | diam ( O ) | O | ( t s ) / ( s t ) + α / ( λ p ) + α ( r 1 ) / ( λ p ) ħ p , ρ O , w 2 α = C 5 | O | diam ( O ) ħ p , ρ O , w 2 α .
(2.14)

We complete the proof of Theorem 2.8. □

Definition 2.9 The weight w(x) is said to satisfy the A r (Θ) condition, r>1. Write w A r (Θ) if w(x)>0 a.e. and

sup O ( 1 | O | O w d x ) ( 1 | O | O ( 1 w ) 1 r 1 d x ) ( r 1 ) <
(2.15)

for any ball OΘ.

If λ=1, w 1 = w 2 , the A r , λ (Θ)-weights reduce to the usual class of A r (Θ)-weights; see [3] for more details about weights. So, we have the following corollary.

Corollary 2.10 Let ħ L p (Θ, ), =0,1,,n, 1<p<, 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) A r (Θ) for 1<r<. Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O , w α C|O|diam(O) ħ p , ρ O , w α
(2.16)

for all balls O with ρOΘ, where ρ>1 and α are two constants with 0α<1.

3 The L φ -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 φ -norm inequalities for the composite operator GP.

A continuously increasing function φ:[0,)[0,) with φ(0)=0 and φ()= is called an Orlicz function, and a convex Orlicz function is often called a Young function. The Orlicz space L φ (Θ) consists of all measurable functions f on Θ such that Θ φ( | f | χ )dx< for some χ=χ(f)>0, then the nonlinear Luxemburg functional of f is denoted by

f φ ( Θ ) =inf { χ > 0 : Θ φ ( | f | χ ) d x 1 } .
(3.1)

If φ is a Young function, then φ ( Θ ) defines a norm in L φ (Θ), 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), 1p<q<, C1, if

(i) 1 C φ ( t 1 p ) f ( t ) C;(ii) 1 C φ ( t 1 q ) g ( t ) C
(3.2)

for all t>0, where f is a convex increasing function and g is a concave increasing function on [0,).

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

(i) C 2 t p f 1 ( φ ( t ) ) C 3 t p ;(ii) C 2 t q g 1 ( φ ( t ) ) C 3 t q ,
(3.3)

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 ϕ(x) is defined as follows:

ϕ(x)={ 1 c exp { 1 | x | 2 1 } , | x | < 1 , 0 , | x | 1 ,
(3.4)

where c= B ( 0 , 1 ) e 1 | x | 2 1 dx. For any ε>0, we write ϕ ε (x)= 1 ε n ϕ( x ε ). It is easy to see that ϕ(x) C 0 ( R n ) and

R n ϕ ε (x)dx=1.
(3.5)

Let P be the potential operator in (1.7) with K(x,y)= ϕ ε (xy). Assume that ħ D (Θ, ), =0,1,,n1, is a differential form defined in a bounded convex domain Θ and ħ J is the coefficient of ħ with supp ħ J Θ for all ordered -tuples J. From (4.10) in [1], we have the inequality as follows:

d ( P ( ħ ) ) p , Θ C ħ p , Θ ,
(3.6)

where C is a constant, independent of ħ, and p is a positive number with 1<p<.

Now we introduce two lemmas which will be needed later.

Lemma 3.2 ([7])

Let ħ D (O, ), =0,1,,n1, 1<p<n, and dħ L p (O, + 1 ). Then ħ ħ O is in L n p n p (O, ) and

( O | ħ ħ O | n p n p ) n p n p C p (n) ( O | d ħ | p ) 1 / p
(3.7)

for O a cube or a ball in R n .

Lemma 3.3 ([4])

Let ħ C (Θ, ), =1,2,,n1, 1<p<, and G be Green’s operator. Then there exists a positive constant C, independent of ħ, such that

(3.8)

for any Θ R n .

Theorem 3.4 Let ħ D (Θ, ), =0,1,,n1, be a differential form in a bounded convex domain Θ and ħ J be the coefficient of ħ with supp ħ J Θ for all ordered -tuples J. Assume that φ is a Young function in the class G(p,q,C), 1p<q<, C1 and q(np)<np, P is the potential operator in (1.7) with K(x,y)= ϕ ε (xy) for any ε>0 and G is Green’s operator. Then there exists a constant C, independent of ħ, such that

O φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | ) dxC O φ ( | ħ | ) dx
(3.9)

for all balls O with OΘ.

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Θ, we obtain

(3.10)

By Lemma 3.3, it follows that

G ( ħ ) p , O C 4 ħ p , O .
(3.11)

If 1p<n, by assumption, we have q< n p n p . Noticing that the L p -norm of |G(P(ħ)) ( G ( P ( ħ ) ) ) O | increases with p, using Lemma 3.2 for G(P(ħ)), (3.11) and (3.6), we have

( O | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | q d x ) 1 q C 5 ( O | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | n p n p d x ) n p n p C 6 ( O | d ( G ( P ( ħ ) ) ) | p d x ) 1 p = C 6 ( O | G ( d ( P ( ħ ) ) ) | p d x ) 1 p C 7 ( O | ( d ( P ( ħ ) ) ) | p d x ) 1 p C 8 ( O | ħ | p d x ) 1 p
(3.12)

since the differential operator d commutes with G.

When pn, we could select a strictly increasing sequence { p i } with 1 p i <np and p i n as i. Noticing that n p i n p i with i, by keeping order of the limit, there exists i 0 with 1 i 0 < such that p<q< n p i 0 n p i 0 , then

( O | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | q d x ) 1 q C 9 ( O | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | n p i 0 n p i 0 d x ) n p i 0 n p i 0 C 10 ( O | ħ | p i 0 d x ) 1 p i 0 C 11 ( O | ħ | p d x ) 1 p .
(3.13)

Thus, (3.12) holds for any p, q with 1p<q<, q(np)<np. Since φ is increasing, from (3.10) and (3.12), we obtain

O φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | ) dx C 3 φ ( C 12 ( O | ħ | p d x ) 1 p ) .
(3.14)

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

O φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | ) d x C 3 φ ( C 12 ( O | ħ | p d x ) 1 p ) C 3 f ( C 13 ( O | ħ | p d x ) ) C 14 O f ( | ħ | p ) d x C 15 O φ ( | ħ | ) d x .
(3.15)

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

O φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | χ ) dxC O φ ( | ħ | χ ) dx
(3.16)

for all balls O with OΘ and any constant χ>0. From the definition of the Luxemburg norm and (3.16), the following inequality with the Luxemburg norm

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O φ ( O ) C ħ φ ( O )
(3.17)

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 ), 1p<q<, C 0 1. From [11], we know that the function φ(t)= t p log + α t belongs to G( p 1 , p 2 ,C), 1 p 1 <p< p 2 , t>0 and αR. Here log+t is a piecewise function such that log + t=1 for te; otherwise, log + t=logt. Moreover, if α=0, one verifies easily that φ(t)= t p is as well in the class G( p 1 , p 2 ,C), 1 p 1 < p 2 <. Therefore, fixing the function φ(t)= t p log + α t, αR in Theorem 3.4, we obtain the following result.

Corollary 3.5 Let ħ D (Θ, ), =0,1,,n1, be a differential form in a bounded convex domain Θ, and ħ J be the coefficient of ħ with supp ħ J Θ for all ordered -tuples J. Assume that φ= t p log + α t, 1p<q<, C1 and q(np)<np, P is the potential operator in (1.7) with K(x,y)= ϕ ε (xy) for any ε>0 and G is Green’s operator. Then there exists a constant C, independent of ħ, such that

(3.18)

for all balls O with OΘ.

4 Global inequalities

In this section, we first recall the definition of the L φ -averaging domains. Then we extend the local L φ -norm inequality for the composite operator GP to the global case in this kind of domains.

Definition 4.1 ([12])

Let φ be a Young function on [0,+) with φ(0)=0. A proper subdomain Θ R n is called an L φ -averaging domain if |Θ|<, and there exists a constant C such that

Θ φ ( τ | ħ ħ O 0 | ) dxC sup O Θ O φ ( σ | ħ ħ O | ) dx
(4.1)

for some ball O 0 Θ and all functions ħ such that φ(|ħ|) L loc 1 (Θ), where τ, σ are constants with 0<τ,σ, and the supremum is over all balls O with OΘ.

Theorem 4.2 Let ħ D (Θ, 0 ) and Θ be a bounded convex L φ -averaging domain with suppħΘ. Assume that φ is a Young function in the class G(p,q,C), 1p<q<, C1 and q(np)<np, P is the potential operator in (1.7) with K(x,y)= ϕ ε (xy) for any ε>0 and G is Green’s operator. Then there exists a constant C, independent of ħ, such that

Θ φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 0 | ) dxC Θ φ ( | ħ | ) dx,
(4.2)

where O 0 Θ is some fixed ball.

Proof Note that Θ is an L φ -averaging domain and φ is doubling. From Definition 4.1 and (3.9), we have

Θ φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 0 | ) d x C 1 sup O Θ O φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | ) d x C 1 sup O Θ ( C 2 O φ ( | ħ | ) d x ) C 1 sup O Θ ( C 2 Θ φ ( | ħ | ) d x ) C 3 Θ φ ( | ħ | ) d x .
(4.3)

We have completed the proof of Theorem 4.2. □

Similarly, by (3.1), we conclude that

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 0 φ ( Θ ) C ħ φ ( Θ ) .
(4.4)

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

Corollary 4.3 Let ħ D (Θ, 0 ) and Θ be a bounded convex L s -averaging domain with suppħΘ. Assume that φ is a Young function in the class G(p,q,C), 1p<q<, C1 and q(np)<np, P is the potential operator in (1.7) with K(x,y)= ϕ ε (xy) for any ε>0 and G is Green’s operator. Then there exists a constant C, independent of ħ, such that

Θ φ ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 0 | ) dxC Θ φ ( | ħ | ) dx,
(4.5)

where O 0 Θ 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 GP, such as Lipschitz and BMO norms. Now, we take the Lipschitz norm for example.

Definition 5.1 ([10])

Let ħ L loc 1 (Θ, ), =0,1,,n. We write ħloc Lip k (Θ, ), 0k1, if

ħ loc Lip k , Θ = sup ρ O Θ | O | ( n + k ) / n ħ ħ O 1 , O <
(5.1)

for some ρ1. Further, we write Lip k (Θ, ) for those forms whose coefficients are in the usual Lipschitz space with exponent k and write ħ Lip k , Θ for this norm.

Theorem 5.2 Let ħ L p (Θ, ), =0,1,,n, 1<p<, 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

G ( P ( ħ ) ) loc Lip k , Θ C ħ p , Θ ,
(5.2)

where k is a constant with 0k1.

Proof From Theorem 2.5, we have

G ( P ( ħ ) ) G ( P ( ħ ) ) O p , O C 1 |O|diam(O) ħ p , O
(5.3)

for all balls O with OΘ. Using the Hölder inequality with 1=1/p+(p1)/p, we get that

G ( P ( ħ ) ) G ( P ( ħ ) ) O 1 , O = O | G ( P ( ħ ) ) G ( P ( ħ ) ) O | d x ( O | G ( P ( ħ ) ) G ( P ( ħ ) ) O | p d x ) 1 / p ( O 1 p / ( p 1 ) d x ) ( p 1 ) / p = | O | 1 1 / p G ( P ( ħ ) ) G ( P ( ħ ) ) O p , O = | O | 1 1 / p ( C 1 | O | diam ( O ) ħ p , O ) C 2 | O | 2 1 / p + 1 / n ħ p , O ,
(5.4)

where we have used diam(O)=C | O | 1 / n . Note that the definition of Lipschitz norm, (5.4) and 21/p+1/n1k/n=11/p+1/nk/n>0 yield

G ( P ( ħ ) ) loc Lip k , Θ = sup ρ O Θ | O | ( n + k ) / n G ( P ( ħ ) ) G ( P ( ħ ) ) O 1 , O sup ρ O Θ | O | 1 k / n C 2 | O | 2 1 / p + 1 / n ħ p , O = sup ρ O Θ C 2 | O | 1 1 / p + 1 / n k / n ħ p , O sup ρ O Θ C 2 | Θ | 1 1 / p + 1 / n k / n ħ p , O C 3 sup ρ O Θ ħ p , O C 3 ħ p , Θ .
(5.5)

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 n2, let ħ be a 1-form defined in R n by

ħ = x 1 x 1 2 + x 2 2 + + x n 2 d x 1 + x 2 x 1 2 + x 2 2 + + x n 2 d x 2 + + x n x 1 2 + x 2 2 + + x n 2 d x n
(5.6)

and φ(t)= t p log + t (t>0), where x=( x 1 ,, x n )O R n (0,,0). Green’s operator G and the potential operator P are defined as in Theorem 3.4.

It is easy to get that |ħ|=1 and φ belongs to the class G( p 1 , p 2 ,C), 1 p 1 < p 2 <. Although it is very difficult to compute O | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | p log + (|G(P(ħ)) ( G ( P ( ħ ) ) ) O |)dx directly, we could valuate its upperbound by (3.9). Now we carry on the process as follows

O | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | p log + ( | G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O | ) d x C 1 O | ħ | p log + | ħ | d x = C 1 O 1 p log + 1 d x = C 1 | O | .
(5.7)

Remark It is well known that uniform domains and John domains are the special L φ -averaging domains. Therefore, the result of Theorem 4.2 remains valid for uniform domains and John domains.

References

  1. Bi H: Weighted inequalities for potential operators on differential forms. J. Inequal. Appl. 2010., 2010: Article ID 713625

    Google Scholar 

  2. Xing 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.096

    MathSciNet  Article  Google Scholar 

  3. Agarwal RP, Ding S, Nolder CA: Inequalities for Differential Forms. Springer, New York; 2009.

    Book  Google Scholar 

  4. Scott C: L p -theory of differential forms on manifolds. Trans. Am. Math. Soc. 1995, 347: 2075–2096.

    Google Scholar 

  5. 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.

    MathSciNet  Google Scholar 

  6. Agarwal RP, Ding S: Inequalities for Green’s operator applied to the minimizers. J. Inequal. Appl. 2011., 2011: Article ID 66

    Google Scholar 

  7. Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians. Arch. Ration. Mech. Anal. 1993, 125: 25–79. 10.1007/BF00411477

    MathSciNet  Article  Google Scholar 

  8. Martell 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.012

    MathSciNet  Article  Google Scholar 

  9. Uribe 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.

    MathSciNet  Google Scholar 

  10. Nolder CA: Hardy-Littlewood theorems for A -harmonic tensors. Ill. J. Math. 1999, 43: 613–631.

    MathSciNet  Google Scholar 

  11. Buckley SM, Koskela P: Orlicz-Hardy inequalities. Ill. J. Math. 2004, 48: 787–802.

    MathSciNet  Google Scholar 

  12. Ding S: L φ (μ)-averaging domains and the quasi-hyperbolic metric. Comput. Math. Appl. 2004, 47: 1611–1618. 10.1016/j.camwa.2004.06.016

    MathSciNet  Article  Google Scholar 

  13. Staples SG: L p -averaging domains and the Poincaré inequality. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 1989, 14: 103–127.

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

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

Author information

Affiliations

Authors

Corresponding author

Correspondence to Zhimin Dai.

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.

Reprints and Permissions

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

Download citation

  • 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