- Research Article
- Open Access
- Published:

# Global Estimates for Singular Integrals of the Composition of the Maximal Operator and the Green's Operator

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

## Abstract

We establish the Poincaré type inequalities for the composition of the maximal operator and the Green's operator in John domains.

## 1. Introduction

Let be a bounded, convex domain and a ball in , . We use to denote the ball with the same center as and with , . We do not distinguish the balls from cubes in this paper. We use to denote the *n*-dimensional Lebesgue measure of the set . We say that is a weight if and , a.e.

Differential forms are extensions of functions in . For example, the function is called a -form. Moreover, if is differentiable, then it is called a differential -form. The -form in can be written as . If the coefficient functions , , are differentiable, then is called a differential -form. Similarly, a differential -form is generated by , , that is,

where is the Wedge Product, , . Let

be the set of all -forms in ,

the space of all differential -forms on , and

the -forms on satisfying for all ordered -tuples , . We denote the exterior derivative by

for , and define the Hodge star operator

as follows. If , is a differential -form, then

where , , and . The Hodge codifferential operator

is given by on , . We write

The differential forms can be used to describe various systems of PDEs and to express different geometric structures on manifolds. For instance, some kinds of differential forms are often utilized in studying deformations of elastic bodies, the related extrema for variational integrals, and certain geometric invariance. Differential forms have become invaluable tools for many fields of sciences and engineering; see [1, 2] for more details.

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

where and satisfy the conditions

for almost every and all . Here are constants and is a fixed exponent associated with (1.10). If the operator , (1.10) becomes , which is called the (homogeneous) -harmonic equation. A solution to (1.10) 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 (-form), (1.12) reduces to the usual -harmonic equation for functions. A remarkable progress has been made recently in the study of different versions of the harmonic equations; see [3] for more details.

Let be the space of smooth -forms on and

The harmonic -fields are defined by

The orthogonal complement of in is defined by

Then, the 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 [4] for more properties of these operators.

For any locally -integrable form , the Hardy-Littlewood maximal operator is defined by

where is the ball of radius , centered at , . We write if . Similarly, for a locally -integrable form , we define the sharp maximal operator by

where the *l*-form is defined by

for all , and is the homotopy operator which can be found in [3]. Also, from [5], we know that both and are -integrable 0-form.

Differential forms, the Green's operator, and maximal operators are widely used not only in analysis and partial differential equations, but also in physics; see [2–4, 6–9]. Also, in real applications, we often need to estimate the integrals with singular factors. For example, when calculating an electric field, we will deal with the integral , where is a charge density and is the integral variable. The integral is singular if . When we consider the integral of the vector field , we have to deal with the singular integral if the potential function contains a singular factor, such as the potential energy in physics. It is clear that the singular integrals are more interesting to us because of their wide applications in different fields of mathematics and physics. In recent paper [10], Ding and Liu investigated singular integrals for the composition of the homotopy operator and the projection operator and established some inequalities for these composite operators with singular factors. In paper [11], they keep working on the same topic and derive global estimates for the singular integrals of these composite operators in -John domains. The purpose of this paper is to estimate the Poincaré type inequalities for the composition of the maximal operator and the Green's operator over the -John domain.

## 2. Definitions and Lemmas

We first introduce the following definition and lemmas that will be used in this paper.

Definition 2.1.

A proper subdomain is called a -John domain, , if there exists a point which can be joined with any other point by a continuous curve so that

for each . Here is the Euclidean distance between and .

Lemma 2.2 (see [12]).

Let be a strictly increasing convex function on with and a domain in . Assume that is a function in such that and for any constant , where is a Radon measure defined by for a weight . Then, one has

for any positive constant , where .

Lemma 2.3 (see [13]).

Each has a modified Whitney cover of cubes such that

and some , and if , then there exists a cube (this cube need not be a member of ) in such that . Moreover, if is -John, then there is a distinguished cube which can be connected with every cube by a chain of cubes from and such that , , for some .

Lemma 2.4 (see [14]).

Let be a smooth differential form satisfying (1.10) in a domain , , and . Then, there exists a constant , independent of , such that

for all balls B with , where is a constant.

Lemma 2.5 (see [5]).

Let be the Hardy-Littlewood maximal operator defined in (1.17), the Green's operator, and , , , a smooth differential form in a bounded domain . Then,

for some constant , independent of u.

Lemma 2.6 (see [5]).

Let , , , be a smooth differential form in a bounded domain , the sharp maximal operator defined in (1.18), and the Green's operator. Then,

for some constant , independent of u.

Lemma 2.7.

Let , , be a smooth differential form satisfying the -harmonic equation (1.10) in convex domain , the Green's operator, and the Hardy-Littlewood maximal operator defined in (1.17) with . Then, there exists a constant , independent of , such that

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

Proof.

Let be small enough such that and any ball with , center and radius . Taking we see that . Note that ; using Hlder's inequality, we obtain

where . Since , using Lemma 2.5, we get

Let , then . Using Lemma 2.4, we have

where is a constant and By Hlder's inequality with again, we find

Note that for all , it follows that

Hence, we have

Now, by the elementary integral calculation, we obtain

Substituting (2.9)–(2.14) into (2.8), we obtain

We have completed the proof.

Similarly, by Lemma 2.6, we can prove the following lemma.

Lemma 2.8.

Let , , , be a smooth differential form satisfying the -harmonic equation (1.10) in convex domain , the sharp maximal operator defined in (1.18), and G Green's operator. Then, there exists a constant , independent of , such that

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

## 3. Main Results

Theorem 3.1.

Let , , be a smooth differential form satisfying the -harmonic equation (1.10), Green's operator, and the Hardy-Littlewood maximal operator defined in (1.17) with . Then, there exists a constant , independent of , such that

for any bounded and convex -John domain , where

and are constants, the fixed cube , the cubes , the constant appeared in Lemma 2.3, and is the center of .

Proof.

First, we use Lemma 2.3 for the bounded and convex -John domain . There is a modified Whitney cover of cubes for such that , and for some . Moreover, there is a distinguished cube which can be connected with every cube by a chain of cubes from such that , , for some . Then, by the elementary inequality , , we have

The first sum in (3.3) can be estimated by using Lemma 2.2 with , , and Lemma 2.7:

where and are the Radon measures defined by and , respectively.

To estimate the second sum in (3.3), we need to use the property of -John domain. Fix a cube and let be the chain in Lemma 2.3. Then we have

The chain also has property that for each , , . Thus, there exists a cube such that and , , so,

Note that

where is a positive constant. By (3.6), (3.7), and Lemma 2.7, we have

Then, by (3.5), (3.8), and the elementary inequality , we finally obtain

Substituting (3.4) and (3.9) in (3.3), we have completed the proof of Theorem 3.1.

Using the proof method for Theorem 3.1 and Lemma 2.8, we get the following theorem.

Theorem 3.2.

Let , , be a smooth differential form satisfying the -harmonic equation (1.10), Green's operator, and the sharp maximal operator defined in (1.18). Then, there exists a constant , independent of , such that

for any bounded and convex -John domain , where

and are constants, the fixed cube , the cubes , the constant appeared in Lemma 2.3, and is the center of .

## References

- 1.
Sachs RK, Wu HH:

*General Relativity for Mathematicians*. Springer, New York, NY, USA; 1977:xii+291. - 2.
von Westenholz C:

*Differential Forms in Mathematical Physics*. North-Holland, Amsterdam, The Netherlands; 1978:xv+487. - 3.
Agarwal RP, Ding S, Nolder C:

*Inequalities for Differential Forms*. Springer, New York, NY, USA; 2009:xvi+387. - 4.
Warner FW:

*Foundations of Differentiable Manifolds and Lie Groups, Graduate Texts in Mathematics*.*Volume 94*. Springer, New York, NY, USA; 1983:ix+272. - 5.
Ding S: Norm estimates for the maximal operator and Green's operator.

*Dynamics of Continuous, Discrete & Impulsive Systems A*2009, 16(supplement S1):72–78. - 6.
Banaszuk A, Hauser J: Approximate feedback linearization: a homotopy operator approach.

*SIAM Journal on Control and Optimization*1996, 34(5):1533–1554. 10.1137/S0363012994261306 - 7.
Cartan H:

*Differential Forms*. Houghton Mifflin, Boston, Mass, USA; 1970:167. - 8.
Knobles DP: Projection operator method for solving coupled-mode equations: an application to separating forward and backward scattered acoustic fields. In

*Theoretical and Computational Acoustics*. World Scientific, River Edge, NJ, USA; 2004:221–232. - 9.
Okamura M: Evaluation of the time correlation function for the Kuramoto-Sivashinsky equation with a projection operator method.

*Progress of Theoretical Physics*2006, 116(1):47–59. 10.1143/PTP.116.47 - 10.
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.041 - 11.
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.041 - 12.
Ding S: -averaging domains and the quasi-hyperbolic metric.

*Computers & Mathematics with Applications*2004, 47(10–11):1611–1618. 10.1016/j.camwa.2004.06.016 - 13.
Nolder CA: Hardy-Littlewood theorems for -harmonic tensors.

*Illinois Journal of Mathematics*1999, 43(4):613–632. - 14.
Nolder CA: Global integrability theorems for -harmonic tensors.

*Journal of Mathematical Analysis and Applications*2000, 247(1):236–245. 10.1006/jmaa.2000.6850

## Author information

### Affiliations

### Corresponding authors

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

Ling, Y., Umoh, H. Global Estimates for Singular Integrals of the Composition of the Maximal Operator and the Green's Operator.
*J Inequal Appl* **2010, **723234 (2010). https://doi.org/10.1155/2010/723234

Received:

Accepted:

Published:

### Keywords

- Maximal Operator
- Differential Form
- Exterior Derivative
- Elementary Inequality
- John Domain