- Research Article
- Open Access
Weighted Decomposition Estimates for Differential Forms
Journal of Inequalities and Applications volume 2010, Article number: 649340 (2010)
After introducing the definition of -weights, we establish the -weighted decomposition estimates and -weighted Caccioppoli-type estimates for -harmonic tensors. Furthermore, by Whitney covering lemma, we obtain the global results in domain . These results can be used to study the integrability of differential forms and to estimate the integrals for differential forms.
Let denote the standard orthogonal basis of . Suppose that is the linear space of all -vectors, spanned by the exterior product corresponding to all ordered -tuples , . Throughout this paper, we always assume that is an open subset of . We use to denote the space of all differential -forms and to denote the -forms on with the coefficient for all ordered -tuples , where is a manifold. Thus is a Banach space with the norm
For a differential -form , its vector-valued differential form is composed of the differential -form , , here the partial derivatives are with respect to the coefficients of . Usually, suppose that is the space consisting of all , the th one of . We denote the exterior differential operator of -forms by and define the Hodge differential operator with , where , and is the Hodge star operator. We denote a ball or cube by and the ball or cube with the same center as and by . The following nonlinear elliptic equation:
is called the nonhomogeneous -harmonic equation of differential forms, where
are operators satisfying the following conditions for almost all and :
where are two constants, and is a fixed exponent dependent on (1.2).
If the operator in (1.2), it degenerates into the homogeneous -harmonic equation
The solutions to (1.5) are called -harmonic tensors. See  for the recent research on -harmonic equation.
2. -Weighted Caccioppoli-Type Inequalities
Caccioppoli-type estimates have been widely studied and frequently used in analysis and related fields, including partial differential equations and the theory of elasticity. These inequalities provide upper bounds for the -norm of if is a function or if is a form with the -norm of the differential form . Different versions of the Caccioppoli-type inequality have been established in [2, 3].
We first introduce the following definition of -weights (or the two-weight), and then establish the local -weighted Caccioppoli-type inequality for solutions to the homogeneous -harmonic equation.
Assume that and . One says a pair of weights satisfies the -condition, writes , if for all balls , one has that
where is a constant.
In , Nolder obtains the following local Caccioppoli-type estimate.
Let be an -harmonic tensor in and let . Then there exists a constant , independent of and , such that
for all balls or cubes with and all closed forms . Here .
The next lemma is the generalized Hölder inequality which will be widely used in this paper.
Let , , and . If and are measurable functions on , then
for any measurable set .
The following weak reverse Hölder inequality plays an important role in founding the integral estimate of the nonhomogeneous and homogeneous -harmonic tensor; see .
Let be a solution to (1.2) in , and , . Then there exists a constant , depending only on , and , such that
for all balls or cubes with .
The following Whitney covering lemma appears in .
Each has a modified Whitney cover of cubes such that
for all and some , where is the characteristic function for a set . Moreover, if , then there exists a cube (this cube does not need to be a member of ) in such that .
Now we are ready to prove the local weighted Caccioppoli-type inequality for homogeneous -harmonic tensors.
Let , , be a solution to the homogeneous -harmonic equation (1.5) and for some and . Then there exists a constant , independent of and , such that
for all balls or cubes with and all closed forms .
Specially, if , one has
Here is any constant with .
Choosing and by Lemma 2.3, we have
Choosing and by Lemma 2.2, we know that
where is a closed form. Putting (2.9) into (2.8), we have
Since is a closed form and is a solution to (1.5), is still a solution to (1.5).
When , taking and by Lemma 2.4, we obtain
By Lemma 2.3, we have
By the condition , we obtain
where . By (2.10), (2.11), (2.12), and (2.13), we conclude that
Since , inequality (2.14) can be rewritten as
By simple computation, we know that
Then we can change inequality (2.15) into
When , taking and by Lemma 2.4, we obtain
By Lemma 2.3, it follows that
By (2.10), (2.18), and (2.19), we conclude that
Since , inequality (2.20) can be rewritten as
Because of , we have that
The proof of Theorem 2.6 is completed.
Since there are fore real parameters, , in Theorem 2.6, we can obtain some desired versions of weighted Caccioppoli-type estimates by different choices of them. Let in Theorem 2.6, we obtain the following corollaries.
Let , be a solution to the homogeneous -harmonic equation (1.5) and for some and . Then there exists a constant , independent of and , such that
for all closed forms .
Furthermore, choosing in Corollary 2.7, we get the following result.
Let , be a solution to the homogeneous -harmonic equation (1.5) and for some . Then there exists a constant , independent of and , such that
for all closed forms .
3. The Local Weighted Estimates for the Decomposition
The Hodge decomposition theorem has been playing an important part in partial differential equation, the operator theory, and so on. In the recent years, there are some interesting conclusions on the Hodge decomposition of differential forms; see [5, 6]. In , there is the following decomposition theorem for differential form .
Let , , . Then, there exist differential forms and , such that
here is a positive constant.
The weight satisfies the -condition on the set , write , if , a.e., and for all balls , one has that
The next lemma states the reverse Hölder inequality for -weight; see .
Assume that . Then, there exists a constant , independent of , for all balls , such that
where is a real number.
In this section, we will extend (3.2) to the weighted form.
Let be the solution to the nonhomogeneous -harmonic equation (1.2), , . Then, there exist differential forms and , such that
here , , , , and is a constant.
From (3.2), it follows that
for any .
When , take . By Lemma 2.3 with and (3.7), we have
Similarly, using Lemma 2.3 and (3.8), we have
Combining (3.9) with (3.10), we have
Take , then and . By Lemma 2.4, it follows that
here is a constant. Putting (3.11) into (3.12), we get
By Lemma 2.3, the following inequality holds:
Combining (3.13) with (3.14), we obtain the following estimate:
Since , we have
Putting (3.16) into (3.15), we get
Recall that , , then we have
So (3.17) can be rewritten as
When , by Lemma 3.3, we know that
Let , then and . By Lemma 2.3 with and (3.20), we have that
Similarly, by Lemma 2.3 and (3.20), we have that
Putting (3.7) into (3.21), we have
Putting (3.8) into (3.22), we conclude that
Combining (3.23) with (3.24), we obtain
Let , then . By Lemma 2.4, we have
where . Putting (3.26) into (3.25), we get
By Lemma 2.3, we get
Putting (3.28) into (3.27), it follows that
Since , we have
Putting (3.30) into (3.29), we get the following inequality:
Since , (3.31) can be rewritten as
So inequality (3.4) is true for .
4. The Global Weighted Estimates
Based on the local weighted estimate for the decomposition and the Whitney covering lemma, we get the global weighted estimate on domain .
Let be a differential form satisfying the nonhomogeneous -harmonic equation (1.2) in a bounded domain , , , and , . Then, there exist differential forms and , such that
where and is a constant.
By Lemma 2.5, has a modified Whitney cover of cubes . Let .
First, we assume that all cubes satisfy . By Lemma 2.5 and (3.6), we know that
In the above proof, if there exists one cube , such that can not be contained in completely, the proof is as follows. Set , and define on as follows:
Then, we know that the following formulas are true:
Note that (4.4) hold, and then the following formula is true:
The proof of Theorem 4.1 is completed.
In Theorems 3.4 and 4.1, there is a real parameter , which makes the results more flexible. By choosing different value of the parameter , we get the estimates in different forms. For example, if we take , we have the following corollary.
Let be the solution to the nonhomogeneous -harmonic equation (1.2), , , and , . Then, there exist differential forms and , such that
where is a constant.
Wang Y, Wu C: Global Poincaré inequalities for Green's operator applied to the solutions of the nonhomogeneous -harmonic equation. Computers & Mathematics with Applications 2004, 47(10–11):1545–1554. 10.1016/j.camwa.2004.06.006
Ding S: Weighted Caccioppoli-type estimates and weak reverse Hölder inequalities for -harmonic tensors. Proceedings of the American Mathematical Society 1999, 127(9):2657–2664. 10.1090/S0002-9939-99-05285-5
Perić I, Žubrinić D: Caccioppoli's inequality for quasilinear elliptic operators. Mathematical Inequalities and Applications 1999, 2(2):251–261.
Nolder CA: Hardy-Littlewood theorems for -harmonic tensors. Illinois Journal of Mathematics 1999, 43(4):613–631.
Scott C: theory of differential forms on manifolds. Transactions of the American Mathematical Society 1995, 347(6):2075–2096. 10.2307/2154923
Gilbarg D, Trudinger NS: Elliptic Partial Differential Equations of Second Order, Grundlehren der Mathematischen Wissenschaften. Volume 224. 2nd edition. Springer, Berlin, Germany; 1983:xiii+513.
Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians. Archive for Rational Mechanics and Analysis 1993, 125(1):25–79. 10.1007/BF00411477
Garnett JB: Bounded Analytic Functions. Academic Press, New York, NY, USA; 1970.
This work was supported by the National Natural Science Foundation of China (Grant no. 10771044) and the Natural Science Foundation of Heilongjiang Province (Grant no. 200605).
About this article
Cite this article
Wang, Y., Li, G. Weighted Decomposition Estimates for Differential Forms. J Inequal Appl 2010, 649340 (2010) doi:10.1155/2010/649340
- Differential Form
- Weight Estimate
- Nonlinear Elliptic Equation
- Star Operator
- Local Weight