Skip to main content

BMO and Lipschitz norm estimates for the composition of Green’s operator and the potential operator

Abstract

In this paper, we establish BMO and Lipschitz norm inequalities for the composition of Green’s operator and the potential operator. We also investigate the relationship among the Lipschitz norm, the BMO norm and the L p -norm. Finally, we display some examples for applications.

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

1 Introduction

Differential forms are extensions of functions and can be used to describe various systems in partial differential equations (or PDEs), physics, theory of elasticity, quasiconformal analysis, etc. Differential forms have become invaluable tools for many fields of sciences and engineering; see [1, 2] for more details.

Now we introduce some notations and definitions. Let Θ be an open subset of R n (n2) and 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 coefficient ħ 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 Θ. We denote the exterior derivative by d, and the Hodge codifferential operator d is defined as d = ( 1 ) n + 1 d: D (Θ, Λ + 1 ) D (Θ, Λ ), where is the Hodge star operator. For 1p<, 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 <. For a weight w(x), we write ħ p , Θ , w = ( Θ | ħ | p w ( x ) d x ) 1 / p . Similarly, the notations L loc p (Θ, ) and W loc 1 , p (Θ, ) are self-explanatory.

From [3], if ħ is a differential form in a bounded convex domain Θ, then there is a decomposition

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

where T is called a homotopy operator. For the homotopy operator, we know that

T ħ p , O C|O|diam(O) ħ p , O
(1.2)

holds for any differential form ħ L loc p (O, ), =1,2,,n, 1<p<. Furthermore, we can define the -form ħ Θ D (Θ, ) by

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

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

In this paper, we focus on a class of differential forms satisfying the well-known nonhomogeneous A-harmonic equation

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

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

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

for all ψ W loc 1 , s (Θ, 1 ) with compact support. The various deformations of (1.4) are shown in [1].

Recently, Bi extended the definition of a potential operator to the set of all differential forms in [4]. 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.6)

where the kernel K(x,y) is a non-negative 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 [46].

Green’s operator and the potential operator are of quite importance in the study of potential theory and nonlinear elasticity; see [1, 2, 4, 710] for more properties of these two operators. In many situations, the process of studying solutions of PDEs involves estimating the various norms of the operators. However, the study on the composition of the potential operator and other operators is yet to be fully developed. Hence, we are motivated to establish some norm inequalities for the composite operator GP applied to differential forms.

It is well known that Lipschitz and BMO norms are two kinds of important norms in differential forms, which can be found in [11]. Now we recall these definitions as follows.

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

ħ locLip k , Θ = sup ρ O Θ | O | ( n + k ) / n ħ ħ O 1 , O <
(1.7)

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. Similarly, for ħ L loc 1 (Θ, ), =0,1,,n, we write ħBMO(Θ, ) if

ħ , Θ = sup ρ O Θ | O | 1 ħ ħ O 1 , O <
(1.8)

for some ρ1. When ħ is a 0-form, equation (1.8) reduces to the classical definition of BMO(Θ). As to the definitions of the weighted Lipschitz and BMO norms, we will present them in Section 3.

The purpose of this paper is to derive the Lipschitz and BMO norm inequalities for the composition of Green’s operator G and the potential operator P applied to differential forms.

2 Estimates for Lipschitz and BMO norms

In this section, we establish the estimates for Lipschitz and BMO norms for the composite operator GP. We need the following lemmas and definition.

The following inequality is the well-known Hölder inequality and gets proved with the Cauchy-Schwarz inequality in [12].

Lemma 2.1 Let (Θ,μ) be a measure space and L p (μ)= L p (Θ,μ)={f:Θ R n C; f p , Θ , μ <} be a Lebesgue space with the L p -norm

f p , Θ , μ ={ ( Θ f p d μ ) 1 / p , 1 p < ; ess  sup x Θ | f ( x ) | , p = .
(2.1)

If p,q1 with 1/p+1/q=1, and if f L p (μ) and g L q (μ), then fg L 1 (μ) and

f g 1 , Θ , μ f p , Θ , μ g q , Θ , μ .
(2.2)

Remark If μ is a Lebesgue measure, that is, dμ=dx, then (2.2) reduces to the inequality

f g 1 , Θ f p , Θ g q , Θ .
(2.3)

Lemma 2.2 [11]

Let ħ D (Θ, ) be a solution to the nonhomogeneous A-harmonic equation (1.4) on Θ and ρ>1 be a constant. Then there exists a constant C, independent of ħ, such that

d ħ p , O Cdiam ( O ) 1 ħ c p , ρ O
(2.4)

for all balls or cubes O with ρOΘ and all closed forms c. Here 1<p<.

Lemma 2.3 [11]

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

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

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

The following definition is introduced in [6].

Definition 2.4 A kernel K on R n × R n (n2) is said to satisfy 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|,

(2.6)

The following L p -norm and Lipschitz norm inequalities for the composition GP of Green’s operator and the potential operator appear in [10].

Lemma 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.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) 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.7)

for all balls O with OΘ.

Lemma 2.6 Let ħ L p (Θ, ), =0,1,,n, 1<p<, be a differential form in a bounded domain Θ, P be the potential operator defined in (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) and G be Green’s operator. Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) locLip k , Θ C ħ p , Θ ,
(2.8)

where k is a constant with 0k1.

Lemma 2.7 [13]

Let φ be a strictly increasing convex function on [0,) with φ(0)=0 (that is, φ is a Young function), and D be a bounded domain in R n . Assume that ħ is a smooth differential form in D such that φ(k(|ħ|+| ħ D |)) L 1 (D;μ) for any real number k>0 and μ({xD:|ħ ħ D |>0})>0, where μ is a Radon measure defined by dμ=w(x)dx for a weight w(x). Then, for any positive constant a, we have

D φ ( a | ħ | ) dμC D φ ( 2 a | ħ ħ D | ) dμ,
(2.9)

where C is a positive constant.

Using Lemma 2.7 with φ(t)= t p and w(x)=1 over the ball O, we obtain

ħ p , O C ħ ħ O p , O ,
(2.10)

where C is a constant.

Theorem 2.8 Let ħ L p (Θ, ), =0,1,,n, 1<p<, be a solution of the nonhomogeneous A-harmonic equation (1.4) in a bounded convex domain Θ, P be the potential operator defined in (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) and G be Green’s operator. Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) locLip k , Θ C ħ , Θ ,
(2.11)

where k is a constant with 0k1.

Proof From Lemma 2.5 and (2.10), we obtain

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

From the decomposition (1.1), (1.2) and (1.3), we have

ħ ħ O p , O = T d ħ p , O C 3 |O|diam(O) d ħ p , O C 4 |O| | O | 1 / n d ħ p , O .
(2.13)

Combining (2.12) with (2.13) yields

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O C 2 | O | diam ( O ) ħ ħ O p , O C 2 | O | diam ( O ) ( C 4 | O | | O | 1 / n d ħ p , O ) C 5 | O | 2 + 1 / n diam ( O ) d ħ p , O C 6 | O | 2 + 2 / n d ħ p , O .
(2.14)

Using the definition of the Lipschitz norm, (2.3) with 1=1/p+(p1)/p and (2.14), for any ball O with OΘ, it follows 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 | ( p 1 ) / p G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O p , O | O | 1 1 / p ( C 6 | O | 2 + 2 / n d ħ p , O ) = C 6 | O | 3 1 / p + 2 / n d ħ p , O .
(2.15)

From Lemma 2.2, we have

d ħ p , O C 7 diam ( O ) 1 ħ c p , ρ 1 O C 8 | O | 1 / n ħ c p , ρ 1 O
(2.16)

for any closed form c and any ball O with ρ 1 OΘ, where ρ 1 >1 is a constant.

Since ħ is a solution of equation (1.4) and c is a closed form, ħc is also a solution of equation (1.4). By Lemma 2.3, we obtain

ħ c p , ρ 1 O C 9 | O | ( 1 p ) / p ħ c 1 , ρ 2 O
(2.17)

for some constant ρ 2 > ρ 1 >1 with ρ 2 OΘ.

Combining (2.15), (2.16) and (2.17), we obtain

G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 1 , O C 6 | O | 3 1 / p + 2 / n d ħ p , O C 6 | O | 3 1 / p + 2 / n ( C 8 | O | 1 / n ħ c p , ρ 1 O ) C 10 | O | 3 1 / p + 1 / n ħ c p , ρ 1 O C 10 | O | 3 1 / p + 1 / n ( C 9 | O | ( 1 p ) / p ħ c 1 , ρ 2 O ) C 11 | O | 3 1 / p + 1 / n + 1 / p 1 ħ c 1 , ρ 2 O = C 11 | O | 2 + 1 / n ħ c 1 , ρ 2 O
(2.18)

for any closed form c.

Since c is any closed form in (2.18), we may choose c= ħ ρ 2 O in (2.18). By the definitions of the Lipschitz norms, and noticing 0k1, we find that

G ( P ( ħ ) ) locLip k , Θ = sup ρ 3 O Θ | O | ( n + k ) / n G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 1 , O sup ρ 3 O Θ | O | 1 k / n ( C 11 | O | 2 + 1 / n ħ ħ ρ 2 O 1 , ρ 2 O ) = C 11 sup ρ 3 O Θ | O | 1 + 1 / n k / n ħ ħ ρ 2 O 1 , ρ 2 O C 12 sup ρ 3 O Θ | O | 2 + 1 / n k / n | ρ 2 O | 1 ħ ħ ρ 2 O 1 , ρ 2 O C 12 sup ρ 3 O Θ | Θ | 2 + 1 / n k / n | ρ 2 O | 1 ħ ħ ρ 2 O 1 , ρ 2 O C 12 | Θ | 2 + 1 / n k / n sup ρ 3 O Θ | ρ 2 O | 1 ħ ħ ρ 2 O 1 , ρ 2 O C 13 ħ , Θ ,
(2.19)

where ρ 3 > ρ 2 > ρ 1 with ρ 3 OΘ.

The proof of Theorem 2.8 has been completed. □

We have developed some estimates for the Lipschitz norm locLip k , Θ . Now, we establish the following theorem between the Lipschitz norm and the BMO norm.

Lemma 2.9 [7]

If a differential form ħ locLip k (Θ, ), =0,1,,n, 0k1, in a bounded convex domain Θ, then ħBMO(Θ, ) and

ħ , Θ C ħ locLip k , Θ ,
(2.20)

where C is a constant.

Since G(P(ħ)) is a differential form when ħ is a differential form, we have the following theorem.

Theorem 2.10 If a differential form G(P(ħ)) locLip k (Θ, ), =1,,n, 0k1, in a bounded convex domain Θ, then there exists a constant C, independent of ħ, such that G(P(ħ))BMO(Θ, ) and

G ( P ( ħ ) ) , Θ C G ( P ( ħ ) ) locLip k , Θ ,
(2.21)

where the definitions of G and P are the same as in the preceding theorem.

Based on the above results, we estimate the BMO norm , Θ of composition GP in terms of L p norm.

Theorem 2.11 Let ħ L p (Θ, ), 1<p<, be a differential form in a bounded convex domain Θ, G be Green’s operator and P be the potential operator defined in equation (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6). Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) , Θ C ħ p , Θ .
(2.22)

Proof

From Lemma 2.6, we have

G ( P ( ħ ) ) locLip k , Θ C 1 ħ p , Θ .
(2.23)

Using Theorem 2.10 and (2.23), it follows that

G ( P ( ħ ) ) , Θ C 2 G ( P ( ħ ) ) locLip k , Θ C 3 ħ p , Θ .
(2.24)

The proof of Theorem 2.11 has been completed. □

Similar to the proof of Theorem 2.11, using Theorems 2.8 and 2.10, we can prove the following theorem.

Theorem 2.12 Let ħ L p (Θ, ), 1<p<, be a solution of the nonhomogeneous A-harmonic equation (1.4) in a bounded convex domain Θ, G be Green’s operator and P be the potential operator defined in equation (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6). Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) , Θ C ħ , Θ .
(2.25)

3 Two weight estimates

In this section, we discuss the weighted Lipschitz and BMO norms [7]. For ħ L loc 1 (Θ, , w α ), =0,1,,n, we write ħ locLip k (Θ, , w α ), 0k1, if

ħ locLip k , Θ , w α = sup ρ O Θ ( μ ( O ) ) ( n + k ) / n ħ ħ O 1 , O , w α <
(3.1)

for some ρ>1, where Θ is a bounded domain. The measure μ is defined by dμ=w ( x ) α dx, w is a weight and α is a real number. For convenience, we will write the simple notation locLip k (Θ, ) for locLip k (Θ, , w α ). Similarly, for ħ L loc 1 (Θ, , w α ), =0,1,,n, we write ħBMO(Θ, , w α ) if

ħ , Θ , w α = sup ρ O Θ ( μ ( O ) ) 1 ħ ħ O 1 , O , w α <
(3.2)

for some ρ>1, where the measure μ is defined by dμ=w ( x ) α dx, w is a weight and α is a real number. Again, we will write BMO(Θ, ) to replace BMO(Θ, , w α ) when it is clear that the integral is weighted.

Definition 3.1 [1]

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 <.
(3.3)

Lemma 3.2 [10]

Let ħ L p (Θ, ,ν), =1,,n, 1<p<, be a solution of the nonhomogeneous A-harmonic equation (1.4) in a bounded convex domain Θ, P be the potential operator defined in (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) 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 α
(3.4)

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

Theorem 3.3 Let ħ L p (Θ, ,ν), =1,,n, 1<p<, be a solution of the nonhomogeneous A-harmonic equation (1.4) in a bounded convex domain Θ, P be the potential operator defined in (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) and G be Green’s operator. The measures μ and ν are defined by dμ= w 1 α dx, dν= w 2 α dx, and ( w 1 (x), w 2 (x)) A r , λ (Θ) for some λ1 and 1<r< with w 1 (x)ϵ>0 for any xΘ. Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) locLip k , Θ , w 1 α C ħ p , Θ , w 2 α ,
(3.5)

where k and α are constants with 0k1 and 0<α1.

Proof Since μ(O)= O w 1 α dx O ϵ α dx= C 1 |O|, we have

μ ( O ) 1 C 2 | O | 1
(3.6)

for any ball O. Using (3.4) and Lemma 2.1 with 1=1/p+(p1)/p, it follows that

(3.7)

Notice that 11/p+1/nk/n>0 and |Θ|<, from (3.1), (3.6) and (3.7), we obtain

G ( P ( ħ ) ) locLip k , Θ , w 1 α = sup ρ O Θ ( μ ( O ) ) ( n + k ) / n G ( P ( ħ ) ) ( G ( P ( ħ ) ) ) O 1 , O , w 1 α sup ρ O Θ ( μ ( O ) ) 1 k / n ( C 4 ( μ ( O ) ) 1 1 / p | O | 1 + 1 / n ħ p , ρ O , w 2 α ) = C 4 sup ρ O Θ ( μ ( O ) ) 1 / p k / n | O | 1 + 1 / n ħ p , ρ O , w 2 α C 4 sup ρ O Θ ( C 2 | O | 1 ) 1 / p + k / n | O | 1 + 1 / n ħ p , ρ O , w 2 α C 5 sup ρ O Θ | O | 1 1 / p + 1 / n k / n ħ p , ρ O , w 2 α C 5 sup ρ O Θ | Θ | 1 1 / p + 1 / n k / n ħ p , ρ O , w 2 α C 5 | Θ | 1 1 / p + 1 / n k / n sup ρ O Θ ħ p , ρ O , w 2 α C 6 ħ p , Θ , w 2 α
(3.8)

The proof of Theorem 3.3 has been completed. □

We now estimate the , Θ , w 1 α norm in terms of the L p -norm.

Theorem 3.4 Let ħ L p (Θ, ,ν), =1,,n, 1<p<, be a solution of the nonhomogeneous A-harmonic equation (1.4) in a bounded convex domain Θ, P be the potential operator defined in (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) and G be Green’s operator. The measures μ and ν are defined by dμ= w 1 α dx, dν= w 2 α dx, and ( w 1 (x), w 2 (x)) A r , λ (Θ) for some λ1 and 1<r< with w 1 (x)ϵ>0 for any xΘ. Then there exists a constant C, independent of ħ, such that

G ( P ( ħ ) ) , Θ , w 1 α C ħ p , Θ , w 2 α ,
(3.9)

where k and α are constants with 0k1 and 0<α1.

Proof From (3.1) and (3.2), it follows that

ħ , Θ , w 1 α = sup ρ O Θ ( μ ( O ) ) 1 ħ ħ O 1 , O , w 1 α = sup ρ O Θ ( μ ( O ) ) k / n ( μ ( O ) ) ( n + k ) / n ħ ħ O 1 , O , w 1 α sup ρ O Θ ( μ ( Θ ) ) k / n ( μ ( O ) ) ( n + k ) / n ħ ħ O 1 , O , w 1 α ( μ ( Θ ) ) k / n sup ρ O Θ ( μ ( O ) ) ( n + k ) / n ħ ħ O 1 , O , w 1 α C 1 sup ρ O Θ ( μ ( O ) ) ( n + k ) / n ħ ħ O 1 , O , w 1 α C 1 ħ locLip k , Θ , w 1 α ,
(3.10)

where C 1 is a positive constant. Replacing ħ by G(P(ħ)) in (3.10), we find that

G ( P ( ħ ) ) , Θ , w 1 α C 1 G ( P ( ħ ) ) locLip k , Θ , w 1 α ,
(3.11)

where k is a constant with 0k1. From Theorem 3.3, we obtain

G ( P ( ħ ) ) locLip k , Θ , w 1 α C 2 ħ p , Θ , w 2 α ,
(3.12)

Substituting (3.12) into (3.11), we have

G ( P ( ħ ) ) , Θ , w 1 α C 3 ħ p , Θ , w 2 α .
(3.13)

We have completed the proof of Theorem 3.4. □

4 Applications

If we choose A, B to be a special operator, for example, A(x,dħ)=dħ | d ħ | s 2 , B=0, then (1.4) reduces to the following s-harmonic equation:

d ( d ħ | d ħ | s 2 ) =0.
(4.1)

In particular, we may let s=2, then (4.1) reduces to

d (dħ)=0.
(4.2)

Moreover, if ħ is a function (0-form), then equation (4.2) is equivalent to the well-known Laplace’s equation Δħ=0. The function ħ satisfying Laplace’s equation is referred to as the harmonic function as well as one of the solutions of equation (4.2). Therefore, all results in Sections 2 and 3 when ħ is a solution of the nonhomogeneous A-harmonic equation (1.4) still hold for the ħ that satisfies (4.2). As to the harmonic function, one finds broader applications in the elliptic partial differential equations; see [14] for more related information.

We may make use of the following two specific examples to conform the convenience of the inequality (2.22) in evaluating the upper bound for the BMO norm of G(P(ħ)). Obviously, we may take advantage of (2.22) to make this estimating process easy, without calculating G ( P ( ħ ) ) , Θ in a complicated way.

Example 4.1 Let ħ=( x 2 2 + x 3 2 +2 x 1 x 2 +2 x 1 x 3 + x 2 x 3 )d x 1 +( x 1 2 + x 3 2 +2 x 1 x 2 +2 x 1 x 3 +2 x 2 x 3 )d x 2 +( x 1 2 + x 2 2 +3 x 1 x 2 +2 x 1 x 3 +2 x 2 x 3 )d x 3 , Θ={x=( x 1 , x 2 , x 3 ):|0 x 1 2 + x 2 2 + x 3 2 <1}, P be the potential operator defined in (1.6) with the kernel K(x,y) satisfying the condition (1) of the standard estimates (2.6) and G be Green’s operator.

First, by simple computation, we have

(4.3)
(4.4)

Since d = ( 1 ) 2 × 3 + 1 d=d,

d (dħ)= ( d ( ( d ħ ) ) ) =0.
(4.5)

This implies that ħ satisfies (4.2).

Observe that

ħ p , Θ = ( Θ | ħ | p d x ) 1 / p = ( Θ ( ( x 2 2 + x 3 2 + 2 x 1 x 2 + 2 x 1 x 3 + x 2 x 3 ) 2 + ( x 1 2 + x 3 2 + 2 x 1 x 2 + 2 x 1 x 3 + 2 x 2 x 3 ) 2 + ( x 1 2 + x 2 2 + 3 x 1 x 2 + 2 x 1 x 3 + 2 x 2 x 3 ) 2 ) p / 2 d x ) 1 / p ( Θ ( ( 1 + 1 + 2 + 2 + 1 ) 2 + ( 1 + 1 + 2 + 2 + 2 ) 2 + ( 1 + 1 + 3 + 2 + 2 ) 2 ) p / 2 d x ) 1 / p 194 | Θ | 1 / p = 194 ( 4 π 3 ) 1 / p .
(4.6)

Applying (2.21), we obtain

G ( P ( ħ ) ) , Θ C ħ p , Θ C 194 ( 4 π 3 ) 1 / p .
(4.7)

Example 4.2 Let us assume, in addition to the definitions of G and P of Example 4.1, ħ= e x 1 sin x 2 , Θ={x=( x 1 , x 2 ):|0 x 1 2 + x 2 2 <1}.

Similarly, to begin with, we observe that

(4.8)
(4.9)

Thus,

Δħ=0,
(4.10)

which implies the function ħ is harmonic.

Observe that

ħ p , Θ = ( Θ | ħ | p d x ) 1 / p = ( 0 2 π d θ 0 1 | e r cos θ sin ( r sin θ ) | p r d r ) 1 / p e 1 ( 2 π 1 / 2 ) 1 / p = π 1 / p e .
(4.11)

Applying (2.21), we obtain

G ( P ( ħ ) ) , Θ C ħ p , Θ C π 1 / p e.
(4.12)

References

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

    Book  Google Scholar 

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

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

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

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

  7. Ding S: Lipschitz and BMO norm inequalities for operators. Nonlinear Anal. 2009, 71: 2350–2357. 10.1016/j.na.2009.05.032

    Article  MathSciNet  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  10. Dai Z, Xing Y, Ding S, Wang Y: Inequalities for the composition of Green’s operator and the potential operator. J. Inequal. Appl. 2012., 2012: Article ID 271

    Google Scholar 

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

    MathSciNet  Google Scholar 

  12. Li Y, Shaw S: A proof of Hölder’s inequality using the Cauchy-Schwarz inequality. J. Inequal. Pure Appl. Math. 2006.,7(2): Article ID 62

  13. Xing Y, Ding S: Norm comparison inequalities for the composite operator. J. Inequal. Appl. 2009., 2009: Article ID 212915

    Google Scholar 

  14. Gilbarg D, Trudinger NS: Elliptic Partial Differential Equations of Second Order. Springer, Berlin; 1997.

    Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yuming Xing.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

ZD finished the proof and the writing work. YX 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. BMO and Lipschitz norm estimates for the composition of Green’s operator and the potential operator. J Inequal Appl 2013, 26 (2013). https://doi.org/10.1186/1029-242X-2013-26

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-26

Keywords

  • differential forms
  • Lipschitz norm
  • BMO norm
  • Green’s operator
  • potential operator