- Research
- Open access
- Published:
Norm inequalities for composition of the Dirac and Green’s operators
Journal of Inequalities and Applications volume 2013, Article number: 436 (2013)
Abstract
We first prove a norm inequality for the composition of the Dirac operator and Green’s operator. Then, we estimate for the Lipschitz and BMO norms of the composite operator in terms of the norm of a differential form.
MSC:26B10, 30C65, 31B10, 46E35.
1 Introduction
The purpose of this paper is to derive the norm inequalities for the composite operator of the Hodge-Dirac operator D and Green’s operator G on differential forms. Specifically, we will develop the upper bounds for norms of the composite operator applied to differential form u in terms of the norm of u. We all know that there are different versions of Dirac operators, such as the Hodge-Dirac operator associated to a Riemannian manifold and the euclidean Dirac operator arising in Clifford analysis. The Dirac operator studied in this paper is the Hodge-Dirac operator defined by , where d is the exterior derivative, and is the Hodge codifferential, which is the formal adjoint to d. Both the Dirac operator D and Green’s operator G are widely studied and used in mathematics and physics. Since it was initiated by Paul Dirac in order to get a form of quantum theory compatible with special relativity, Dirac operators have been playing an important role in many fields of mathematics and physics, such as quantum mechanics, Clifford analysis and PDEs. Green’s operator is a key operator, which has been very well used in several areas of mathematics. In many situations, the process of studying solutions to PDEs involves estimating the various norms of the operators and their compositions. Hence, we are motivated to establish the upper bounds for the composite operators in this paper. See [1–8] for recent work on the Dirac operator, Green’s operator and their applications.
Let M be a bounded domain and B be a ball in , , throughout this paper. We use σB to express the ball with the same center as B and with , . We do not distinguish the balls from cubes in this paper. We use to denote the Lebesgue measure of a set . We call w a weight if and a.e. Let be the standard unit basis of , and let be the linear space of l-vectors, which is spanned by the exterior products , corresponding to all ordered l-tuples , , . The Grassman algebra is a graded algebra with respect to the exterior products. For any and , the inner product in ∧ is defined by , with summation over all l-tuples and all integers . The Hodge star operator ⋆: ∧→∧ is defined by the rule and for all α, . The norm of is given by the formula . The Hodge star is an isometric isomorphism on Λ with and .
A differential l-form ω on M is a de Rham current (see [[9], Chapter III]) on M with values in . Differential forms are extensions of functions. For example, in , the function is called a 0-form. Moreover, if is differentiable, then it is called a differential 0-form. The 1-form in can be written as . If the coefficient functions , , are differentiable, then is called a differential 1-form. Similarly, a differential k-form is generated by , , that is, , where , . Let be the space of all differential l-forms on M, and let be the l-forms on M satisfying for all ordered l-tuples I, . We denote the exterior derivative by for . The Hodge codifferential operator is given by on , . The Dirac operator D involved in this paper is defined by . It is easy to check that , where is the Laplace-Beltrami operator. Let be the l th exterior power of the cotangent bundle, be the space of smooth l-forms on M and . The harmonic l-fields are defined by . The orthogonal complement of ℋ in is defined by . Then the Green’s operator G is defined as by assigning to be the unique element of satisfying Poisson’s equation , where H is the harmonic projection operator that maps onto ℋ so that is the harmonic part of u. See [10] for more properties of these operators. We write and , where is a weight.
Let , . We write , , if
for some . Further, we write for those forms, whose coefficients are in the usual Lipschitz space with exponent k and write for this norm. Similarly, for , , we write if
for some . When ω is a 0-form, (1.2) reduces to the classical definition of . The definitions of Lipschitz and BMO norms above appeared in [11].
2 norm inequalities
In this section, we will develop Poincaré-type inequality with norm for the composite operator . This inequality will be used to prove other results in this paper. Using the same way in the proof of Propositions 5.15 and 5.17 in [12], we can prove that for any closed ball , we have
Note that for any Lebesgue measurable function f defined on a Lebesgue measurable set E with , we have . Thus, and since . Therefore, we obtain
Hence, we have the following lemma.
Lemma 2.1Letube a smooth differential form defined inMand. Then there exists a positive constant, independent ofu, such that
for any ball.
The following results about the homotopy operator T can be found in [13].
Lemma 2.2Let, , , be a differential form in a bounded and convex domain, and letTbe the homotopy operator defined on differential forms. Then there is also a decompositionand
Using the notation above, we can define the l-form by
for all , .
We will use the following generalized Hölder’s inequality repeatedly in this paper.
Lemma 2.3Let, and. Iffandgare measurable functions on, then
for any.
We now prove the following norm inequality for the composite operator of the Dirac operator D and Green’s operator G applied to differential forms.
Lemma 2.4Let, , , be a differential form in a domainM, Dbe the Dirac operator andGbe Green’s operator. Then there exists a constantC, independent ofu, such that
for all balls.
Proof Since the Dirac operator D can be expressed as , using Lemma 2.1, we have
We have completed the proof of Lemma 2.4.
Next, we prove the Poincaré-type inequality for the composition of the Dirac operator and Green’s operator, which forms the foundation of this paper. □
Theorem 2.5Let, , , be a differential form in a domainM, Dbe the Dirac operator andGbe Green’s operator. Then there exists a constantC, independent ofu, such that
for all balls.
Proof Applying the decomposition of differential forms described in Lemma 2.2 to the form yields
where T is the homotopy operator appearing in Lemma 2.2. From Lemma 2.2, for any differential form v, we have
where is a constant independent of v. Replacing v by in (2.5) yields
Noticing that and using (2.6) and Lemma 2.1, we obtain
that is,
We have completed the proof of Theorem 2.5. □
3 Upper bounds for Lipschitz and BMO norms
In this section, we establish the upper bounds for Lipschitz norms and BMO norms in terms of norms. Using Theorem 2.5, we now obtain the upper bounds for Lipschitz norm of the composite operator .
Theorem 3.1Let, , , be a differential form in a domainM, Dbe the Dirac operator andGbe Green’s operator. Then there exists a constantC, independent ofu, such that
wherekis a constant with.
Proof From Theorem 2.5, we find that
for all balls . Using the Hölder inequality with , we find that
Hence, using the definition of the Lipschitz norm, (3.3), and , we have
The proof of Theorem 3.1 has been completed.
We have proved an estimate for the Lipschitz norm in Theorem 3.1. Now, we develop the estimates for the BMO norm . Let , , and M be a bounded domain. Then from the definitions of the Lipschitz and BMO norms, we know that
where is a positive constant. Hence, we have the following inequality between the Lipschitz norm and the BMO norm. □
Lemma 3.2If a differential form, , , in a bounded domainM, thenand
whereCis a constant.
Combining Theorems 3.1 and Lemma 3.2, we obtain the following inequality between the BMO norm and the norm.
Theorem 3.3Let, , , be a differential form in a domainM, Dbe the Dirac operator andGbe Green’s operator. Then there exists a constantC, independent ofu, such that
Proof Since inequality (3.5) holds for any differential form, we may replace u by in inequality (3.5) and obtain
where k is a constant with . On the other hand, from Theorem 3.1, we have
Combining (3.7) and (3.8) gives . The proof of Theorem 3.3 has been completed. □
We will need the following lemma that appeared in [14].
Lemma 3.4Letφbe a strictly increasing convex function onwith, and letEbe a bounded domain in. Assume thatuis a smooth differential form inEsuch thatfor any real numberand, whereμis a Radon measure defined byfor a weight. Then for any positive constanta, we have
whereCis a positive constant.
The following -class of differential forms was introduced in [15].
Definition 3.5 We say a differential form belongs to the -class and write , , if for any constants , the inequality
holds for any ball B with , where and are constants.
It is well known that any solutions of A-harmonic equations belong to -class, see [16–20] for example. Hence, the -class is a large set of differential forms.
Theorem 3.6Let, , , be a differential form such that-class and the Lebesgue measurefor any ball. Assume thatDis the Dirac operator, andGis Green’s operator. Then there exists a constantC, independent ofu, such that
wherekis a constant with.
Proof Using Lemma 3.4 with , over the ball B, we have
From Theorem 2.5 and (3.11), we obtain
From the definition of the Lipschitz norm, the Hölder inequality with and (3.12), for any ball B with , we find that
Next, since -class, we have
for some constant . Combination of (3.13) and (3.14) gives
Hence, we obtain
Thus, taking the supremum on both sides of (3.16) over all balls with and using the definitions of the Lipschitz and BMO norms, we find that
that is,
The proof of Theorem 3.6 has been completed. □
Replacing u by in Lemma 3.2, we obtain the following comparison inequality between the Lipschitz norm and the BMO norm.
Corollary 3.7Let, , , be a differential form in a domainM, Dbe the Dirac operator andGbe Green’s operator. Then there exists a constantC, independent ofu, such that
4 Weighted inequalities
In this section, we establish the weighted norm comparison inequalities for the composition of the Dirac operator and Green’s operator applied to differential form defined in a domain . For , , we write , if
for some , where M is a bounded domain, the measure μ is defined by , w is a weight. For convenience, we use the following simple notation for . Similarly, for , , we will write if
for some , where the measure μ is defined by , w is a weight. Again, we write to replace when it is clear that the integral is weighted.
Definition 4.1 We say the weight satisfies the condition, , write , if a.e., and
for any ball .
For , using the Hölder inequality, we extend inequality (2.3) into the following weighted version
for all balls B with , where is a constant.
Theorem 4.2Let, , , be a differential form in a bounded domainMsuch that-class. Assume thatDis the Dirac operator, andGis Green’s operator, where the measureμis defined byandfor somewithfor any. Then there exists a constantC, independent ofu, such that
wherekis a constant with.
Proof Since , we have
which gives
for any ball B. Using (4.3) and the Hölder inequality with , we find that
From the definition of the weighted Lipschitz norm, (4.5) and (4.6), we obtain
since and . We have completed the proof of Theorem 4.2.
Next, we estimate the BMO norm in terms of the norm. Let , , , in a bounded domain M. From the definitions of the weighted Lipschitz and the weighted BMO norms, we have
where is a positive constant. Thus, we have obtained the following result. □
Theorem 4.3Let, , , be any differential form in a bounded domainM, where the measureμis defined byandfor some. Thenand
whereCis a constant.
Theorem 4.4Let, , , be a differential form in a bounded domainMsuch that-class. Assume thatDis the Dirac operator, andGis Green’s operator, where the measureμis defined byandfor somewithfor any. Then there exists a constantC, independent ofu, such that
holds for any bounded domainM.
Proof Replacing u by in Theorem 4.4, we have
where k is a constant with . Using Theorem 4.3, we obtain
Substituting (4.12) into (4.11), we obtain
This ends the proof of Theorem 4.4. □
5 Applications
As applications of the results proved in this paper, we consider the following examples.
Example 5.1 Let u be a differential 1-form in defined by
which can be considered as a vector field in . Let be a ball with radius r such that . It is easy to see that
Using Theorem 2.5, we obtain an upper bound for the complicated operator norm . Specifically, we have
Choosing and u be the 1-form discussed in Example 5.1, using Theorem 3.3, we obtain an upper bound for as follows
In fact, it would be very hard to estimate directly from calculation of the operator norm.
Example 5.2 Let be a 1-form defined in by
Let be a constant, be a fixed point with , , and
It would be very complicated for us to obtain the upper bound for the Lipschitz norm if we evaluated
directly. However, using Theorem 3.1, we can easily obtain the upper bound of the norm as follows. First, we know that and
Applying (3.1), we have
Remark (i) The Poincaré-type inequalities for the composition of the Dirac operator and Green’s operator presented in (2.3) and (4.3) can be extended into the global case. (ii) It should be noticed that the domains involved in this paper are general bounded domains, which largely increases the flexibility and applicability of our results.
References
Ryan J, Struppa DC: Dirac Operators in Analysis. Longman, Harlow; 1998.
Nolder C: A -Harmonic equations and the Dirac operator. J. Inequal. Appl. 2010., 2010: Article ID 124018
Chen Q, Jost J, Li JY, Wang GF: Regularity theorems and energy identities for Dirac-harmonic maps. Math. Z. 2005, 251: 61–84. 10.1007/s00209-005-0788-7
Chen Q, Jost J, Wang GF: Nonlinear Dirac equations on Riemann surfaces. Ann. Glob. Anal. Geom. 2008, 33: 253–270. 10.1007/s10455-007-9084-6
Agarwal RP, Ding S, Nolder CA: Inequalities for Differential Forms. Springer, Berlin; 2009.
Ding S: Integral estimates for the Laplace-Beltrami and Green’s operators applied to differential forms. Z. Anal. Anwend. 2003, 22: 939–957.
Bi H, Xing Y:Poincaré-type inequalities with -norms for Green’s operator. Comput. Math. Appl. 2010, 60: 2764–2770. 10.1016/j.camwa.2010.09.029
Wang Y, Wu C: Sobolev imbedding theorems and Poincaré inequalities for Green’s operator on solutions of the nonhomogeneous A -harmonic equation. Comput. Math. Appl. 2004, 47: 1545–1554. 10.1016/j.camwa.2004.06.006
De Rham G: Differential Manifolds. Springer, Berlin; 1980.
Warner FW: Foundations of Differentiable Manifolds and Lie Groups. Springer, New York; 1983.
Nolder CA: Hardy-Littlewood theorems for A -harmonic tensors. Ill. J. Math. 1999, 43: 613–631.
Scott C:-theory of differential forms on manifolds. Trans. Am. Math. Soc. 1995, 347: 2075–2096.
Iwaniec T, Lutoborski A: Integral estimates for null Lagrangians. Arch. Ration. Mech. Anal. 1993, 125: 25–79. 10.1007/BF00411477
Xing Y, Ding S: Norm comparison inequalities for the composite operator. J. Inequal. Appl. 2009., 2009: Article ID 212915
Johnson C, Ding S: Integral estimates for potential operator on differential forms. Int. J. Anal. 2013., 2013: Article ID 108623
Ding S: Two-weight Caccioppoli inequalities for solutions of nonhomogeneous A -harmonic equations on Riemannian manifolds. Proc. Am. Math. Soc. 2004, 132: 2367–2375. 10.1090/S0002-9939-04-07347-2
Liu B: -weighted Caccioppoli-type and Poincaré-type inequalities for A -harmonic tensors. Int. J. Math. Math. Sci. 2002, 31(2):115–122. 10.1155/S0161171202107046
Liu B: -weighted imbedding inequalities for A -harmonic tensors. J. Math. Anal. Appl. 2002, 273(2):667–676. 10.1016/S0022-247X(02)00331-1
Xing Y: Weighted integral inequalities for solutions of the A -harmonic equation. J. Math. Anal. Appl. 2003, 279: 350–363. 10.1016/S0022-247X(03)00036-2
Xing Y: Two-weight imbedding inequalities for solutions to the A -harmonic equation. J. Math. Anal. Appl. 2005, 307: 555–564. 10.1016/j.jmaa.2005.03.019
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
DS had the first drift of the paper and BL added some contents and re-organized the paper.
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
Ding, S., Liu, B. Norm inequalities for composition of the Dirac and Green’s operators. J Inequal Appl 2013, 436 (2013). https://doi.org/10.1186/1029-242X-2013-436
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-436