- Research Article
- Open Access
- Published:

# Weighted Inequalities for Potential Operators with Lipschitz and BMO Norms

*Advances in Difference Equations*
**volume 2011**, Article number: 659597 (2011)

## Abstract

Some Lipschitz norm and BMO norm inequalities for potential operator to the versions of differential forms are obtained, and some properties of a new kind of weight are derived.

## 1. Introduction

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 potential operator to the versions of differential forms.

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 that is, . 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; 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 . 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.6) 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 will 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.

From [1], if is a differential form defined in a bounded, convex domain , then there is a decomposition

where is called a homotopy operator. Furthermore, we can define the -form by

for all .

For any differential -form , we define the potential operator by

where the kernel is a nonnegative measurable function defined for , and the summation is over all ordered -tuples . It is easy to find that the case reduces to the usual potential operator. That is,

where is a function defined on . Associated with , the functional is defined as

where is some sufficiently small constant and is a ball with radius . Throughout this paper, we always suppose that satisfies the following conditions: there exists such that

and there exists such that

On the potential operator and the functional , see [2] for details.

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 conditions

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

for all with compact support. When is a 0-form, that is, is a function, (1.16) is equivalent to

Lots of results have been obtained in recent years about different versions of the -harmonic equation, see [3–5].

## 2. The Estimate for Potential Operators with Lipschitz Norm and BMO Norm

In this section, we give the estimate for potential operators with Lipschitz norm and BMO norm applied to differential forms. The following strong type inequality for potential operators appears in [6].

Lemma 2.1 (see [6]).

Let , be a differential form defined in a bounded, convex domain , and let be coefficient of with for all ordered -tuples . Assume that and is the potential operator with for any , then there exists a constant , independent of , such that

We will establish the following estimate for potential operators.

Theorem 2.2.

Let , be a differential form defined in a bounded, convex domain , and let be coefficient of with for all ordered -tuples . Assume that and is the potential operator with for any , then there exists a constant , independent of , such that

Proof.

By the definition of the Lipschitz norm, (2.1), and hölder's inequality with , we have

since and , where is a constant and .

By the definition of the BMO norm, we have

We have completed the proof of Theorem 2.2.

## 3. The Weight

In this section, we introduce the weight appeared in [7].

Definition 3.1.

Let be two locally integrable nonnegative functions in and assume that almost everywhere. We say that belongs to the class, and , or that is an weight, write or when it will not cause any confusion, if

for all balls .

The following results show that the weights have the properties similar to those of the weights.

Theorem 3.2.

If , then .

Proof.

Let . Since , by Hölder's inequality,

so that

Thus, we find that

for all balls since . Therefore, , and hence .

Theorem 3.3.

If and the measures are defined by , then

where is a ball in and is a measurable subset of .

Proof.

By Hölder's inequality, we have

This implies

Note that , by Hölder's inequality again, we have

so that

Hence, we obtain

Since , there exists a constant such that

Combining (3.7), (3.10), and (3.11), we deduce that

Hence,

The desired result is obtained.

If we choose and in Theorem 3.3, we will obtain

which is called the strong doubling property of weights; see [8].

## 4. The Weighted Inequality for Potential Operators

In this section, we are devoted to develop some two-weight norm inequalities for potential operator to the versions of differential forms. We need the following lemmas.

Lemma 4.1 (see [9]).

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

for all balls .

Lemma 4.2.

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

for any .

Lemma 4.3 (see [10]).

Let be a solution of the nonhomogeneous A-harmonic equation in and , then there exists a constant , independent of , such that

for all with .

Theorem 4.4.

Let , be a solution of the nonhomogeneous -harmonic equation (1.16) in a bounded domain and is the potential operator with for any , 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 4.1, there exist constants and , such that

for any ball .

Since , by Lemma 4.2, we have

Choose where , , then and . Since , by Lemma 4.2 and (4.5), we have

From Lemma 2.1, we have

Applying Lemma 4.3 (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's inequality with , we have

Since , then

Since , combining with (4.6)–(4.11), we have

From the definition of the BMO norm, we obtain

for all balls with and . We have completed the proof of Theorem 4.4.

## References

- 1.
Agarwal RP, Ding S, Nolder C:

*Inequalities for Differential Forms*. Springer, New York, NY, USA; 2009:xvi+387. - 2.
Martell JM:

**Fractional integrals, potential operators and two-weight, weak type norm inequalities on spaces of homogeneous type.***Journal of Mathematical Analysis and Applications*2004,**294**(1):223-236. 10.1016/j.jmaa.2004.02.012 - 3.
Gao H:

**Weighted integral inequalities for conjugate****-harmonic tensors.***Journal of Mathematical Analysis and Applications*2003,**281**(1):253-263. - 4.
Gao H, Qiao J, Chu Y:

**Local regularity and local boundedness results for very weak solutions of obstacle problems.***Journal of Inequalities and Applications*2010,**2010:**-12. - 5.
Gao H, Qiao J, Wang Y, Chu Y:

**Local regularity results for minima of anisotropic functionals and solutions of anisotropic equations.***Journal of Inequalities and Applications*2008,**2008:**-11. - 6.
Bi H:

**Weighted inequalities for potential operators on differential forms.***Journal of Inequalities and Applications*2010,**2010:**-13. - 7.
Tong Y, Li J, Gu J:

**-weighted inequalities with Lipschitz and BMO norms.***Journal of Inequalities and Applications*2010,**2010:**-13. - 8.
Heinonen J, Kilpeläinen T, Martio O:

*Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford Mathematical Monographs*. The Clarendon Press Oxford University Press, New York, NY, USA; 1993:vi+363. - 9.
Garnett JB:

*Bounded Analytic Functions, Pure and Applied Mathematics*.*Volume 96*. Academic Press, New York, NY, USA; 1981:xvi+467. - 10.
Nolder CA:

**Hardy-Littlewood theorems for****-harmonic tensors.***Illinois Journal of Mathematics*1999,**43**(4):613-632.

## Acknowledgments

The authors are supported by NSF of Hebei Province (A2010000910) and Scientific Research Fund of Zhejiang Provincial Education Department (Y201016044).

## Author information

### 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., Gu, J. Weighted Inequalities for Potential Operators with Lipschitz and BMO Norms.
*Adv Differ Equ* **2011, **659597 (2011). https://doi.org/10.1155/2011/659597

Received:

Accepted:

Published:

### Keywords

- Differential Form
- Radon Measure
- Convex Domain
- Potential Operator
- Norm Inequality