- Research Article
- Open Access
- Published:

# Some Estimates of Integrals with a Composition Operator

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

## Abstract

We give some estimates of integrals with a composition operator, namely, composition of homotopy, differential, and Green's operators , with the Lipschitz and norms. We also have estimates of those integrals with a singular factor.

## 1. Introduction

The purpose of this paper is to establish the PoincarÃ©-type inequalities for the composition of the homotopy operator , differential operator , and Green's operator under Lipschitz and norms. One of the reasons that we consider this composition operator is due to the Hodge theorem. It is well known that Hodge decomposition theorem plays important role in studying harmonic analysis and differential forms; see [1â€“3]. It gives a relationship of the three key operators in harmonic analysis, namely, Green's operator , the Laplacian operator , and the harmonic projection operator . This relationship offers us a tool to apply the composition of the three operators under the consideration to certain harmonic forms and to obtain some estimates for certain integrals which are useful in studying the properties of the solutions of PDEs. We also consider the integrals of this composition operator with a singular factor because of their broad applications in solving differential and integral equations; see [4].

We first give some notations and definitions which are commonly used in many books and papers; for example, see [1, 4â€“12]. We use to denote a Riemannian, compact, oriented, and smooth manifold without boundary on . Let be the th exterior power of the cotangent bundle, and let be the space of smooth -forms on and has generalized gradient. The harmonic -fields are defined by , for some The orthogonal complement of in is defined by for all Then, Green's operator is defined as by assigning as the unique element of satisfying Poisson's equation , where is the harmonic projection operator that maps onto so that is the harmonic part of . In this paper, we also assume that is a bounded and convex domain in . The -dimensional Lebesgue measure of a set is denoted by . The operator with the case was first introduced by Cartan in [3]. Then, it was extended to the following version in [13]. To each there corresponds a linear operator defined by and the decomposition A homotopy operator is defined by averaging over all points :

where is normalized so that . We are particularly interested in a class of differential forms which are solutions of the well-known nonhomogeneous -harmonic equation:

where satisfy the conditions: , and for almost every and all . Here and are constants, and is a fixed exponent associated with the equation. A significant progress has been made recently in the study of different versions of the harmonic equations; see [1, 4â€“12].

A function is said to be in if there is a constant such that for all balls with , where is a constant. norm of -forms is defined as the following. Let , . We say if

for some . Similar way to define the Lipschitz norm for , , we say , , if

for some .

We will use the following results.

Lemma 1.1 (see [7]).

If , , , then for any bounded ball ,

One also has the PoincarÃ© type inequality:

Lemma 1.2 (see [5]).

Let , , , be a solution of the A-harmonic equation in a bounded, convex domain , and let be the homotopy operator defined in (1.1). Then, there exists a constant , independent of , such that

where is a constant with .

Lemma 1.3 (see [4]).

Let , , , be a solution of the nonhomogeneous -harmonic equation (1.2) in a bounded domain , let be the projection operator and let be the homotopy operator. Then, there exists a constant , independent of , such that

for all balls with and any real numbers and with , where and is the center of ball and is a constant.

## 2. The Estimates for Lipschitz and *BMO* Norms

We first give an estimate of the composition operator with the Lipschitz norm .

Theorem 2.1.

Let , , , be a solution of the -harmonic equation (1.2) in a bounded, convex domain , and let be the homotopy operator defined in (1.1) and Green's operator. Then, there exists a constant , independent of , such that

where is a constant with .

Proof.

From Lemma 1.1, we have

for all balls . By HÃ¶lder inequality with , we have

By the definition of Lipschitz norm and noticing that , we have

Theorem 2.1 is proved.

We learned from [5] that the norm and the Lipschitz norm are related in the following inequality.

Lemma 2.2 (see [5]).

If a differential form is , , , in a bounded domain , then and

where is a constant.

Applying to (2.5), then using Theorem 2.1, we have the following.

Theorem 2.3.

Let , , , be a solution of the A-harmonic equation (1.2) in a bounded, convex domain , and let be the homotopy operator defined in (1.1), and let be the Green's operator. Then, there exists a constant , independent of , such that

## 3. The Lipschitz and *BMO* Norms with a Singular Factor

We considered the integrals with singular factors in [4]. Here, we will give estimates to PoincarÃ© type inequalities with singular factors in the Lipschitz and norms. If we use the formula (1.7) in Lemma 1.1 and follow the same proof of Lemma in [4], we obtain the following theorem.

Theorem 3.1.

Let , , , be a solution of the nonhomogeneous -harmonic equation (1.2) in a bounded domain , let be Green's operator, and let be the homotopy operator. Then, there exists a constant , independent of , such that

for all balls with and any real numbers and with , where and is the center of ball and is a constant.

We extend Theorem 3.1 to the Lipschitz norm with a singular factor and have the following result.

Theorem 3.2.

Let , , , be a solution of the non-homogeneous -harmonic equation in a bounded and convex domain , let be Green's operator, and let be the homotopy operator. Then, there exists a constant , independent of , such that

for all balls with , , where and , and , are real numbers with . Here is the center of the ball .

Proof.

Equation (3.2) is equivalent to

By using Theorem 3.1, we have

where . Notice that as . Thus,

We have completed the proof of Theorem 3.2.

We also obtain a similar version of the PoincarÃ© type inequality with a singular factor for the norm.

Theorem 3.3.

Let , , , be a solution of the non-homogeneous -harmonic equation in a bounded and convex domain , let be Green's operator, and let be the homotopy operator. Then, there exists a constant , independent of , such that

for all balls with , , where and , and , are real numbers with . Here is the center of the ball .

We omit the proof since it is the same as the proof of Theorem 3.2.

## 4. The Weighted Inequalities

In this section, we introduce weighted versions of the PoincarÃ© type inequality with the Lipschitz and norms.

Definition 4.1.

We say that a weight belongs to the class, and write , if a.e., and

for any ball .

Definition 4.2.

We say , for , , if

for some , where the measure is defined by , is a weight, and is a real number. Similarly, for , , we write if

Lemma 4.3 (see [7]).

Let , , , be a smooth differential form satisfying equation (1.2) in a bounded domain , and let be the homotopy operator defined in (1.1). Assume that and for some . Then, there exists a constant , independent of , such that

for all balls with and any real number with .

We extend the Lemma 4.3 to the version with the Lipschitz norm as the following.

Theorem 4.4.

Let , , , be a solution of (1.2) in a bounded domain, convex , and let be the homotopy operator defined in (1.1), where the measure is defined by and for some with for any . Then, there exists a constant , independent of , such that

where and are constants with and .

Proof.

First, by using the HÃ¶lder inequality and inequality (4.4), we see that

Since , we have . Then,

due to and . Theorem 4.4 is proved.

Similarly, we have the weighted version for the norm.

Theorem 4.5.

Let , , , be a solution of (1.2) in a bounded domain, convex , and let be the homotopy operator defined in (1.1), where the measure is defined by and for some with for any . Then, there exists a constant , independent of , such that

where is a constant with .

Proof.

We only need to prove that

As a matter of fact,

## 5. Applications

Example 5.1 .

We consider the homogeneous case of (1.2) as and , . Let be a -form. Then, the operator satisfies the required conditions of (1.2) and (1.2) is reduced to the -harmonic equation:

For example, , as and as is a solution of -harmonic equation (5.1). Then, also satisfies the results proved in the Theorems 2.1â€“4.5. Let us consider a special case. Set , and let be the unit sphere in . In particular, one could think of as square root of an attraction force between two objects of masses and , respectively. Then, , where is the gravitational constant. It would be very complicated to estimate the or directly. To estimate their upper bounds by estimating is much easier. As a matter of fact, by using the spherical coordinates, we have

Example 5.2 (see [5]).

Let be a -quasiregular mapping, ; that is, if are in the Sobolev class , for , and the norm of the corresponding Jacobi matrix satisfies , where is the Jacobian determinant of the , then, each of the functions , or , is a generalized solution of the quasilinear elliptic equation:

in , where and are some functions that satisfy for some constants . Then, all of functions defined here also satisfy the results in Theorems 2.1â€“4.5.

## References

Agarwal RP, Ding S, Nolder C:

*Inequalities for Differential Forms*. Springer, New York, NY, USA; 2009:xvi+387.Morita S:

*Geometry of Differential Forms, Translations of Mathematical Monographs*.*Volume 201*. American Mathematical Society, Providence, RI, USA; 2001:xxiv+321.Cartan H:

*Differential Forms*. Houghton Mifflin, Boston, Mass, USA; 1970:167.Ding S, Liu B: A singular integral of the composite operator.

*Applied Mathematics Letters*2009, 22(8):1271â€“1275. 10.1016/j.aml.2009.01.041Ding S: Lipschitz and BMO norm inequalities for operators.

*Nonlinear Analysis: Theory, Methods & Applications*2009, 71(12):e2350-e2357. 10.1016/j.na.2009.05.032Ding S, Nolder CA: -averaging domains.

*Journal of Mathematical Analysis and Applications*2003, 283(1):85â€“99. 10.1016/S0022-247X(03)00216-6Liu B: -estimates for the solutions of -harmonic equations and the related operators.

*Dynamics of Continuous, Discrete & Impulsive Systems. Series A*2009, 16(S1):79â€“82.Xing 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: Weighted PoincarÃ©-type estimates for conjugate -harmonic tensors.

*Journal of Inequalities and Applications*2005, 2005(1):1â€“6. 10.1155/JIA.2005.1Nolder CA: Global integrability theorems for -harmonic tensors.

*Journal of Mathematical Analysis and Applications*2000, 247(1):236â€“245. 10.1006/jmaa.2000.6850Nolder CA: Hardy-Littlewood theorems for -harmonic tensors.

*Illinois Journal of Mathematics*1999, 43(4):613â€“632.Heinonen J, KilpelÃ¤inen T, Martio O:

*Nonlinear Potential Theory of Degenerate Elliptic Equations, Oxford Mathematical Monographs*. The Clarendon Press, New York, NY, USA; 1993:vi+363.Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians.

*Archive for Rational Mechanics and Analysis*1993, 125(1):25â€“79. 10.1007/BF00411477

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

Liu, B. Some Estimates of Integrals with a Composition Operator.
*J Inequal Appl* **2010**, 928150 (2010). https://doi.org/10.1155/2010/928150

Received:

Revised:

Accepted:

Published:

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

### Keywords

- Bounded Domain
- Differential Form
- Composition Operator
- Type Inequality
- Convex Domain