- Research Article
- Open Access
- Published:

# -Weighted Inequalities with Lipschitz and BMO Norms

*Journal of Inequalities and Applications*
**volume 2010**, Article number: 589040 (2010)

## Absract

We first define a new kind of two-weight, then obtain some two-weight integral inequalities with Lipschitz norm and BMO norm for Green's operator applied to differential forms.

## 1. Introduction

Green's operator is often applied to study the solutions of various differential equations and to define Poisson's equation for differential forms. Green's operator has been playing an important role in the study of PDEs. In many situations, the process to study solutions of PDEs involves estimating the various norms of the operators. Hence, we are motivated to establish some Lipschitz norm inequalities and BMO norm inequalities for Green's operator in this paper.

In the meanwhile, there have been generally studied about -weighted [1, 2] and -weighted [3, 4] different inequalities and their properties. Results for more applications of the weight are given in [5, 6]. The purpose of this paper is to derive the new weighted inequalities with the Lipschitz norm and BMO norm for Green's operator applied to differential forms. We will introduce -weight, which can be considered as a further extension of the -weight.

We keep using the traditional notation.

Let be a connected open subset of , let be the standard unit basis of , and let be the linear space of -covectors, spanned by the exterior products , corresponding to all ordered -tuples , , . We let . The Grassman algebra is a graded algebra with respect to the exterior products. For and , the inner product in is given by with summation over all -tuples and all integers .

We define the Hodge star operator by the rule and for all . The norm of is given by the formula . The Hodge star is an isometric isomorphism on with and .

Balls are denoted by and is the ball with the same center as and with . We do not distinguish balls from cubes throughout this paper.

The -dimensional Lebesgue measure of a set is denoted by . We call a weight if and a.e. For and a weight , we denote the weighted -norm of a measurable function over by

where is a real number.

Differential forms are important generalizations of real functions and distributions. Specially, a differential -form on is a de Rham current [7, Chapter III] on with values in ; note that a 0-form is the usual function in . A differential -form on is a Schwartz distribution on with values in . We use to denote the space of all differential -forms = = . We write for the -forms with for all ordered -tuples . Thus is a Banach space with norm

For the vector-valued differential form

consists of differential forms

where the partial differentiations are applied to the coefficients of .

As usual, is used to denote the Sobolev space of -forms, which equals with norm

The notations and are self-explanatory. For and a weight , the weighted norm of over is denoted by

where is a real number.

We denote the exterior derivative by for . Its formal adjoint operator is given by on , . Let be the th exterior power of the cotangent bundle and let be the space of smooth -forms on . We set . The harmonic -fields are defined by = . The orthogonal complement of in is defined by = . Then, Green's operator is defined as by assigning to be the unique element of satisfying Poisson's equation = , where is the harmonic projection operator that maps onto , so that is the harmonic part of . See [8] for more properties of Green's operator.

The nonlinear elliptic partial differential equation = is called the homogeneous -harmonic equation or the -harmonic equation, and the differential equation

is called the nonhomogeneous -harmonic equation for differential forms, where and satisfy the following conditions:

for almost every and all . Here are constants and is a fixed exponent associated with (1.7). A solution to (1.7) is an element of the Sobolev space such that

for all with compact support.

Let be defined by with . Then, satisfies the required conditions and becomes the -harmonic equation

for differential forms. If is a function (a 0-form), (1.10) reduces to the usual -harmonic equation for functions. We should notice that if the operator equals in (1.7), then (1.7) reduces to the homogeneous -harmonic equation. Some results have been obtained in recent years about different versions of the -harmonic equation; see [9–11].

Let , . We write , , if

for some . Further, we write for those forms whose coefficients are in the usual Lipschitz space with exponent and write for this norm. Similarly, for , , we write if

for some . When is a 0-form, (1.12) reduces to the classical definition of .

Based on the above results, we discuss the weighted Lipschitz and BMO norms. For , , we write , , if

for some , where is a bounded domain, the Radon measure is defined by , is a weight and, is a real number. For convenience, we shall write the following simple notation for . Similarly, for , , we write if

for some , where the Radon measure is defined by , is a weight and is a real number. Again, we use to replace whenever it is clear that the integral is weighted.

## 2. Preliminary Knowledge and Lemmas

Definition 2.1.

We say that the weight satisfies the condition for some and ; let , if , a.e. and

for any ball .

If we choose and in Definition 2.1, we will obtain the usual -weight. If we choose , and in Definition 2.1, we will obtain the -weight [3]. If we choose , and in Definition 2.1, we will obtain the -weight [12].

Lemma 2.2 (see [1]).

If , then there exist constants and , independent of , such that

for all balls .

We need the following generalized Hölder inequality.

Lemma 2.3.

Let , and . If and are measurable functions on , then

for any .

The following version of weak reverse Hölder inequality appeared in [13].

Lemma 2.4.

Suppose that is a solution to the nonhomogeneous -harmonic equation (1.7) in , and . There exists a constant , depending only on and , such that

for all with .

Lemma 2.5 (see [14]).

Let be a smooth form and let be Green's operator, , and . Then, there exists a constant , independent of , such that

for all balls .

We need the following Lemma 2.6 (Caccioppoli inequality) that was proved in [8].

Lemma 2.6 (see [8]).

Let be a solution to the nonhomogeneous -harmonic equation (1.7) in and let be a constant. Then, there exists a constant , independent of , such that

for all balls or cubes with and all closed forms . Here .

Lemma 2.7 (see [14]).

Let , , , be a smooth form in a domain . Then, there exists a constant , independent of , such that

where is a constant with .

Lemma 2.8 (see [14]).

Let , , , be a smooth form in a bounded domain and let be Green's operator. Then, there exists a constant , independent of , such that

## 3. Main Results and Proofs

Theorem 3.1.

Let , , , be a solution of the nonhomogeneous A-harmonic equation (1.7) in a bounded domain and let be Green's operator, where the Radon measures and are defined by , . Assume that for some , . Then, there exists a constant , independent of , such that

where is a constant with , and is a constant with .

Proof.

Choose where ; then and . Since , by Lemmas 2.3 and 2.5, we have

for all ball . Choosing , then . From Lemma 2.4, we have

where and . Using Hölder inequality with , we have

Since , then

Since , combining with (3.2), (3.3), (3.4), and (3.5), we have

Notice that , ; from (3.6) and the Hölder inequality with , we find that

We have completed the proof of Theorem 3.1.

Remark 3.

Specially, choosing and in Theorem 3.1, we have

Next, we will establish the following weighted norm comparison theorem between the Lipschitz and the BMO norms.

Theorem 3.2.

Let , , , be a solution of the nonhomogeneous A-harmonic equation (1.7) in a bounded domain and let be Green's operator, where the Radon measures and are defined by , . Assume that for some , with for any . Then, there exists a constant , independent of , such that

where is a constant with , and is a constant with .

Proof.

Choose where ; then and . Since , by Lemma 2.3, we have

for any ball and some constant with . Choosing in Lemma 2.6, we find that

where is a constant and . Combining (3.8), (3.10), and (3.11), it follows that

Choosing , then . Applying the weak reverse Hölder inequality for the solutions of the nonhomogeneous -harmonic equation, we obtain

where is a constant and . Substituting (3.13) into (3.12), we have

Using Hölder inequality with , we have

Since , then

Since , combining with (3.14), (3.15), and (3.16), we have

Since , we have

for all ball . Notice that and ; from (3.17), we have

where is a constant and . We have completed the proof of Theorem 3.2.

Now, we will prove the following weighted inequality between the BMO norm and the Lipschitz norm for Green's operator.

Theorem 3.3.

Let , , , be a solution of the nonhomogeneous A-harmonic equation (1.7) in a bounded domain and let be Green's operator, where the Radon measures and are defined by , . Assume that and for some , with for any . Then, there exists a constant , independent of , such that

where is a constant with .

Proof.

Since , using Lemma 2.2, there exist constants and , such that

for any ball .

Since , by Lemma 2.3, we have

Choose where , ; then and . Since , by Lemma 2.3 and (3.21), we have

From Lemmas 2.5 and 2.6 with , we have

where is a constant and . Applying the weak reverse Hölder inequality for the solutions of the nonhomogeneous -harmonic equation, we obtain

where is a constant and . Choosing , then . Using Hölder inequality with , we have

Since and , combining with (3.22), (3.23), (3.24), and (3.25), we have

From the definitions of the Lipschitz and BMO norms, we obtain

for all balls with and . Substituting (3.27) into (3.28), we have

We have completed the proof of Theorem 3.3.

Using the same methods, and by Lemmas 2.7 and 2.8, we can estimate Lipschitz norm and BMO norm of Green's operator in terms of norm.

Theorem 3.4.

Let , , , be a solution of the nonhomogeneous A-harmonic equation (1.7) in a bounded domain and let be Green's operator, where the Radon measures and are defined by , . Assume that and for some , with for any . Then, there exists a constant , independent of , such that

where is a constant with , and is a constant with .

Theorem 3.5.

Let , , , be a solution of the nonhomogeneous A-harmonic equation (1.7) in a bounded domain and let be Green's operator, where the Radon measures and are defined by , . Assume that and for some , with for any . Then, there exists a constant , independent of , such that

where is a constant with .

Remark 3.

Note that the differentiable functions are special differential forms (0-forms). Hence, the usual -harmonic equation for functions is the special case of the -harmonic equation for differential forms. Therefore, all results that we have proved for solutions of the -harmonic equation in this paper are still true for -harmonic functions.

## References

Garnett JB:

*Bounded Analytic Functions, Pure and Applied Mathematics*.*Volume 96*. Academic Press, New York, NY, USA; 1981:xvi+467.Heinonen J, Kilpeläinen T, Martio O:

*Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford Mathematical Monographs*. Oxford University Press, Oxford, UK; 1993:vi+363.Ding S, Ling Y: Weighted norm inequalities for conjugate -harmonic tensors.

*Journal of Mathematical Analysis and Applications*1996, 203(1):278–288. 10.1006/jmaa.1996.0380Ding S: Estimates of weighted integrals for differential forms.

*Journal of Mathematical Analysis and Applications*2001, 256(1):312–323. 10.1006/jmaa.2000.7329Cruz-Uribe D, Pérez C: Two-weight, weak-type norm inequalities for fractional integrals, Calderón-Zygmund operators and commutators.

*Indiana University Mathematics Journal*2000, 49(2):697–721.García-Cuerva J, Martell JM: Two-weight norm inequalities for maximal operators and fractional integrals on non-homogeneous spaces.

*Indiana University Mathematics Journal*2001, 50(3):1241–1280.Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians.

*Archive for Rational Mechanics and Analysis*1993, 125(1):25–79. 10.1007/BF00411477Ding S: Two-weight Caccioppoli inequalities for solutions of nonhomogeneous -harmonic equations on Riemannian manifolds.

*Proceedings of the American Mathematical Society*2004, 132(8):2367–2375. 10.1090/S0002-9939-04-07347-2Wang Y, Wu C: Sobolev imbedding theorems and Poincaré inequalities for Green's operator on solutions of the nonhomogeneous -harmonic equation.

*Computers & Mathematics with Applications*2004, 47: 1545–1554. 10.1016/j.camwa.2004.06.006Xing Y: Weighted integral inequalities for solutions of the -harmonic equation.

*Journal of Mathematical Analysis and Applications*2003, 279(1):350–363. 10.1016/S0022-247X(03)00036-2Xing Y: Two-weight imbedding inequalities for solutions to the -harmonic equation.

*Journal of Mathematical Analysis and Applications*2005, 307(2):555–564. 10.1016/j.jmaa.2005.03.019Ding S, Shi P: Weighted Poincaré-type inequalities for differential forms in -averaging domains.

*Journal of Mathematical Analysis and Applications*1998, 227(1):200–215. 10.1006/jmaa.1998.6096Ding S, Nolder CA: Weighted Poincaré inequalities for solutions to -harmonic equations.

*Illinois Journal of Mathematics*2002, 46(1):199–205.Xing Y, Ding S: Inequalities for Green's operator with Lipschitz and BMO norms.

*Computers & Mathematics with Applications*2009, 58(2):273–280. 10.1016/j.camwa.2009.03.096

## Acknowledgments

The first author is supported by NSFC (No:10701013), NSF of Hebei Province (A2010000910) and Tangshan Science and Technology projects (09130206c). The second author is supported by NSFC (10771110 and 60872095) and NSF of Nongbo (2008A610018).

## Author information

### Authors and Affiliations

### Corresponding author

## 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

Tong, Y., Li, J. & Gu, J. -Weighted Inequalities with Lipschitz and BMO Norms.
*J Inequal Appl* **2010, **589040 (2010). https://doi.org/10.1155/2010/589040

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1155/2010/589040

### Keywords

- Bounded Domain
- Differential Form
- Radon Measure
- Elliptic Partial Differential Equation
- Smooth Form