Some differential operators in the symmetric bundle
Anna Kimaczyńska
Journal of Applied Mathematics and Computational Mechanics |
Download Full Text |
View in HTML format |
Export citation |
@article{Kimaczyńska_2017, doi = {10.17512/jamcm.2017.3.03}, url = {https://doi.org/10.17512/jamcm.2017.3.03}, year = 2017, publisher = {The Publishing Office of Czestochowa University of Technology}, volume = {16}, number = {3}, pages = {27--36}, author = {Anna Kimaczyńska}, title = {Some differential operators in the symmetric bundle}, journal = {Journal of Applied Mathematics and Computational Mechanics} }
TY - JOUR DO - 10.17512/jamcm.2017.3.03 UR - https://doi.org/10.17512/jamcm.2017.3.03 TI - Some differential operators in the symmetric bundle T2 - Journal of Applied Mathematics and Computational Mechanics JA - J Appl Math Comput Mech AU - Kimaczyńska, Anna PY - 2017 PB - The Publishing Office of Czestochowa University of Technology SP - 27 EP - 36 IS - 3 VL - 16 SN - 2299-9965 SN - 2353-0588 ER -
Kimaczyńska, A. (2017). Some differential operators in the symmetric bundle. Journal of Applied Mathematics and Computational Mechanics, 16(3), 27-36. doi:10.17512/jamcm.2017.3.03
Kimaczyńska, A., 2017. Some differential operators in the symmetric bundle. Journal of Applied Mathematics and Computational Mechanics, 16(3), pp.27-36. Available at: https://doi.org/10.17512/jamcm.2017.3.03
[1]A. Kimaczyńska, "Some differential operators in the symmetric bundle," Journal of Applied Mathematics and Computational Mechanics, vol. 16, no. 3, pp. 27-36, 2017.
Kimaczyńska, Anna. "Some differential operators in the symmetric bundle." Journal of Applied Mathematics and Computational Mechanics 16.3 (2017): 27-36. CrossRef. Web.
1. Kimaczyńska A. Some differential operators in the symmetric bundle. Journal of Applied Mathematics and Computational Mechanics. The Publishing Office of Czestochowa University of Technology; 2017;16(3):27-36. Available from: https://doi.org/10.17512/jamcm.2017.3.03
Kimaczyńska, Anna. "Some differential operators in the symmetric bundle." Journal of Applied Mathematics and Computational Mechanics 16, no. 3 (2017): 27-36. doi:10.17512/jamcm.2017.3.03
SOME DIFFERENTIAL OPERATORS IN THE SYMMETRIC BUNDLE
Anna Kimaczyńska
Institute of Mathematics and Computer
Science, University of Lodz
Lodz, Poland
kimaczynska@math.uni.lodz.pl
Received: 12 June 2017; Accepted: 11 September 2017
Abstract. Some natural differential operators in the bundles of symmetric tensors and symmetric tensors with values in the tangent bundle are investigated. Applications in geometry, physics and tomography are also reviewed.
MSC 2010: 58C05, 47F05, 53C21
Keywords: symmetric tensors, symmetric derivative, the gradient, the divergence, Weitzenböck type formula
1. Introduction
Differential operators in the bundles of symmetric tensors and symmetric tensors with values in the tangent bundle on a Riemannian manifold are more and more often a subject of interest of contemporary geometry. Recently, such operators were investigated e.g. in [1], by Balcerzak and Pierzchalski in the category of Lie algebroids or, in [2], by Stepanov and Mikes, in the case of one tensors where some spectral properties of the Yano rough Laplacian - the operator similar to the one considered here Sampson Laplacian Δs - were analyzed. It is also worth noticing a very recent paper [3], by Heil, Moroianu and Semmelmann where some elliptic operators in the bundle of symmetric forms were investigated in the context of Killing and conformal Killing tensors. In this context the symmetric tensors were also investigated earlier in [4].
The operators of gradient and the divergence on symmetric tensors were investigated in detail in the author’s recent PhD dissertation [5]. Their boundary behavior when M is a manifold with a nonempty boundary was investigated in [6].
One of the most important operators acting on symmetric tensors is the first order linear operator ds (defined by (7)) being the symmetric part of the Levi-Civita covariant derivative Ñ. In addition to ds, we consider three other zero order operators: a (defined by (13)) and two traces Tr and tr (defined by (11) and (12)), respectively). It is interesting that linear combinations of the mentioned four operators and their adjoints led to several interesting operators. Their adjoints led to several interesting operators.
First of all, let us consider the two first order differential operators grad = = a ds − ds a and div = Tr ds − ds Tr. They are adjointed - each to the other - with respect to the global (integral) scalar product on M (cf. Proposition 2.5). They reduce to the usual gradient when acting on functions and the usual divergence when acting on vector fields.
The main result of our paper is Theorem 2.3. It states that in fact our operator div grad is the negative of the classical Bochner-Laplace operator: −trÑÑ. We also consider the operator Δs = ds* ds − ds ds* which was considered first by J.H. Sampson and investigated in the context of a Chern theorem in [7]. Both −trÑÑ and Δs are second order differential operators. They are both strongly elliptic in the sense that their symbols are positively defined (cf. [6]).
It is interesting that, similar to analogous operators in the case of skew-symmetric tensors, the difference between the negative of div grad and Δs is a zero order operator (tensor) depending on the curvature, i.e. a Weitzenböck type formula holds in the bundle of symmetric tensors (cf. Theorem 3.1). On the other hand, the formula relating div grad to the Bochner Laplacian in Theorem 2.3 gives an equivalence of our Weitzenböck type formula (21) to the classical Weitzenböck formula (22) proved e.g. in [5] or in [7].
Finally, we discuss some possible applications in geometry, physics and tomography.
The author would like to express her gratitude to Antoni Pierzchalski for suggesting the problem and discussions.
2. Natural differential operators in the bundle of symmetric tensors
All the objects and morphisms are assumed to be smooth, i.e. of class C∞.
Let (M,g) be an oriented Riemannian manifold of dimension n. Denote by C∞(M) the ring of smooth functions on M. Let T = TM and T* = T*M be the tangent and cotangent bundles, respectively. Denote by T*k = T*kM the bundle of k-tensors on M and by Sk = SkM its subbundle of k-symmetric tensors (k-forms). For any bundle E over M denote by C∞(E) the C∞(M) - module of sections of E.
For any pÎM, g defines a scalar product in Tp:
á·,·ñ = gp(·, ·) : Tp × Tp®R. |
Extend á·,·ñ in a natural way to the fibers of the cotangent bundle and next to the fibers of any tensor bundle on M. In particular, the bundle of symmetric tensors Sk as a subbundle of T*k inherits this scalar product. Consider also in this bundle another scalar product
á·|·ñ =1/k! á·,·ñ. | (1) |
Let Ñ be the Levi-Civita covariant derivative of the metric g on M. Trasmit Ñ in a natural way from the tangent bundle T to the dual bundle T*(=S1) and next to any tensor bundle by the Leibniz rule, in particular to the bundle Sk. The extended connection is denoted by the same symbol Ñ.
If, for φÎ C∞(Sk) we use the convention:
(Ñφ)(X,X1,…Xk) = | (ÑXφ)(X1,…Xk), (2) |
the obtained covariant derivative may be treated as the map:
Ñ:C∞ | (Sk)® C∞(T*ÄSk) (3) |
For any 1 £ i,j,r £ n and any local frame e1,…,en on M define the Christoffel symbols Gijr by
Ñejer = ∑i=1,…,nGijrei. |
One can easily prove that if e1,…,en is a local orthonormal frame on M then for any 1 £ i,j,r £ n
Gijr = −Grji. | (4) |
If E is any vector bundle over M and á·,·ñ is any scalar product in E, the global scalar product (·,·) in the space of sections of E can be defined by
(·,·) = ∫ Má·,·ñ ΩM , | (5) |
where ΩM is the volume form on M defined by the orientation and the metric g (cf. [8]).
The global scalar product is then well defined only for such pairs of sections that the integral exists and is finite. This is always the case when, e.g. at least one of the sections is of compact support.
That way, for the bundle Sk, we have two global scalar products (·,·) and (·|·). They (cf. (1)) are related by
(·|·) = 1/k! (·,·). (6) |
Define the operator of symmetric derivative
ds: C∞ | (Sk)® C∞(Sk+1) |
by
ds = | (k+1)Sym Ñ, (7) |
where Sym: T*k® T*k is the linear operation of symmetrization:
(Sym ψ)(X1,…,Xk) =1\k!∑sψ(Xs(1),…Xs(k)), |
X1,…,XkÎT.
A local expression for the symmetric derivative by the covariant derivative is the following
Proposition 2.1. Let e1,…,en be a local frame of sections of T and let e1*,…,en* be the dual frame then
dsφ = ∑j=1,…,n ej*⊙Ñejφ, |
for φÎC∞(Sk).
Proof. The proof is analogous to that one for local expression of the exterior derivative in the bundle of skew-symmetric tensors given e.g. in [9]. □
Define the operator iX of substitution of XÎC∞(T) as the mapping iX: C∞(Sk)® (Sk-1) of form
(iXφ)(X1,…,Xk-1) = φ(X,X1,…,Xk-1), for k > 0 |
and
iX φ = 0, for k = 0 |
where X1,…,Xk-1Î C∞(T), φÎ C∞(Sk).
One can also easily prove that, for X,YÎC∞(T).
iXÑY = ÑY iX − iÑxY | (8) |
Extend the symmetric derivative to
ds: C∞ | (SkÄT)® C∞(Sk+1ÄT) |
by the formula
ds(φÄX) = dsφÄX + φ⊙ÑX, | (9) |
for φÄXÎC∞(SkÄT) where ÑX is treated as 1-form with values in T. Locally this form can be given by ÑX=∑j=1,…,n ej*ÄÑejX.
In analogy to Proposition 2.1, one can prove
Proposition 2.2. Let e1,…,en be a local frame of sections of T and let e1*,…,en* be the dual frame then
dsΦ = ∑j=1,…,n ej*⊙ÑejΦ | (10) |
for ΦÎC∞(SkÄT).
Define now two trace operators. First, the trace operator
Tr: C∞ | (T*kÄT)® C∞(T*k-1) |
acting on vector forms φÄXÎC∞(T*kÄT) by
Tr | (φÄX) = iXφ, for k ≥ 0. (11) |
Next, the trace operator
tr: C∞(T*k)® C∞(T*k-2) |
defined by the metric g and acting on scalar forms φÎC∞(T*k) by
trφ = ∑i=1,…,n ieiiei φ, for k ≥ 0. | (12) |
Here e1,…,en is an orthonormal frame of T.
The right hand side of (12) is independent of the choice of frame. We will use the same symbols for the restrictions of operators Tr and tr to the subbundles SkÄT and Sk, of the bundles T*k and T*kÄT, respectively.
Now, we are ready to get the shape of operators formally adjoint to ds .
Theorem 2.1. With respect to the global scalar product (·|·) the operator ds*: C∞(Sk+1)® C∞(Sk) formally adjoint to ds: C∞(Sk)® C∞(Sk+1) is of form
ds* = −trÑ|.
Proof. See e.g. [6]. □
Theorem 2.2. With respect to the global scalar product (·|·) the operator : C∞(Sk+1ÄT) ® C∞(SkÄT) formally adjoint to : C∞(SkÄT)® C∞(Sk+1ÄT) is of form
ds* = −trÑ| C∞(Sk+1ÄT) . |
Proof. See e.g. [5]. □
Next, for k = 0,1,… define the operator a: C∞(Sk) → C∞(Sk-1ÄT ) by
aφ = ∑i=1,…,n iei φÄei | (13) |
where e1,…,en is an orthonormal basis in T and φÎ C∞(Sk).
One can easily see that the definition of a is independent of the choice of orthonormal frame.
Define now two differential operators: the gradient acting on symmetric tensors of any degree and the divergence acting on vector valued symmetric tensors of any degree.
The gradient is the operator
grad: C∞ | (Sk)® C∞(SkÄT) |
defined by
grad = a ds − ds a. | (14) |
Its local shape is expressed by
Proposition 2.3. Let e1,…,en be a local orthonormal frame of sections of T then locally
grad φ = ∑i=1,…,nÑei φÄei | (15) |
for φÎC∞(Sk).
Proof. See [5]. □
The divergence is the operator
div: C∞ | (SkÄT)® C∞(Sk) |
defined by
div = Tr ds − ds Tr | (16) |
Its local shape is expressed by
Proposition 2.4. For φÄX Î C∞(SkÄT) we have
div | (φÄX) = ÑXφ + φ div X (17) |
where in any local orthonormal basis e1,…,en the div X is defined locally by
div X = ∑j=1,…,n áej, Ñej Xñ. |
Proof. See [5]. □ |
Proposition 2.5. The differential operators −grad: C∞(Sk)® C∞(SkÄT) and div:C∞(SkÄT)® C∞(Sk) are formally adjoint (each to the other) with respect to the global scalar product (·|·).
Proof. See [6]. □
Consider now the composition of our two operators div and grad, i.e. the second order operator
div grad: C∞(Sk)® C∞(Sk). |
For any X,YÎ define the second order derivative Ñ2X,Y by
Ñ2X,Y = ÑXÑY −ÑÑxY | (18) |
The classical Bochner-Laplace operator − trÑÑ is related to the second order derivative:
Proposition 2.6. In any local orthonormal frame e1,…,en on M
− trÑÑ = −∑i=1,…,nÑ2ei,ei . |
Proof. See [5]. □
Let us prove the main result of the paper saying that on the symmetric tensors the operator div grad coincides with the negative of the classical Bochner-Laplace operator:
Theorem 2.3.
div grad = trÑÑ. |
Proof. Let φÎC∞(Sk). By Proposition 2.3 and Proposition 2.4 we have locally
div grad φ = div(∑i=1,…,n Ñei φÄei) = ∑i=1,…,n(ÑeiÑei φ + Ñei φ(∑j=1,…,náej, Ñejeiñ)), |
where e1,…,en is a local orthonormal frame on M. So, by the definition of Christoffel symbols and (4) we can continue sequentially with
∑i=1,…,nÑeiÑei φ +∑i,j=1,…,n GjjiÑei φ = ∑i=1,…,nÑeiÑei φ −∑i,j=1,…,n GijjÑei φ = ∑j=1,…,nÑejÑejφ −∑,j=1,…,nÑÑejejφ. |
By (18) and Proposition 2.6 we get the assertion. □
3. Weitzenböck formula for div grad operator
Let us start with the following:
Definition 3.1. The Laplace operator Δs: C∞(Sk)® C∞(Sk) is the second order differential operator of form:
Δs = ds* ds − ds ds*. | (19) |
The operator Δs was introduced first by Sampson in [7]. Recently this operator has been investigated in the category of Lee algebroids in [1]. For k = 1 in [2] a similar operator: the Yano rough Laplacian was analyzed in a context of its spectral properties. Some elliptic operators in the bundle of symmetric forms were also investigated in [3] in a context of so-called conformal Killing tensors.
Notice the contrast (in the sign of summands) to the case of the analogous Laplace operator acting in the bundle of skew-symmetric tensors: Δ = d* d + d d*, where d is the exterior derivative, or even to the so-called weighted Laplacian: Δab = ad* d + bd d* with constants a and b necessarily positive (investigated e.g. in [10]).
The aim of this chapter is the discussion of a Weitzenböck type formula. In our case, the formula will relate two differential operators on symmetric forms: − div grad and the Laplace operator defined in (19). Their difference is a zero order operator (tensor) depending on the curvature operator.
The curvature operator is the zero order operator RX,Y defined by
RX,Y = Ñ2X,Y −Ñ 2Y,X , |
for any X,YÎC∞(T).
The Ricci type tensor  is locally defined by
 = ∑i,j=1,…,n ej*⊙iei Rei,ej, | (20) |
where e1,…,en is a local orthonormal frame on M and e1*,…,en* is the dual frame.
One can easily see that the right hand side of (20) is independent of the choice of frames.
Now we are ready to prove the following Weitzenböck type formula for our operator − div grad .
Theorem 3.1 (Weitzenböck type formula) The following formula holds
Δs = − div grad − Â. | (21) |
Proof. Let e1,…,en be a local orthonormal frame on M and e1*,…,en* be the dual frame. By the definition of Δs, the shape of ds* and ds, (8) and (4) we have sequentially:
Δsφ = ds* ds φ− ds ds*φ = − trÑ(∑j=1,…,n ej*⊙Ñejφ) + ∑j=1,…,nej*⊙Ñej trÑφ
= −∑i,j=1,…,n ieiÑei (ej*⊙Ñejφ) + ∑i,j=1,…,n ej*⊙Ñej ieiÑei φ
= −∑i,j=1,…,n iei(Ñei ej*⊙Ñejφ) − ∑i,j=1,…,n iei(ej*⊙ÑeiÑejφ)
+ ∑i,j=1,…,n ej*⊙ieiÑejÑei φ + ∑i,j=1,…,n ej*⊙iÑejeiÑei φ
= −∑i,j=1,…,n ieiÑei ej*⊙Ñejφ − ∑i,j=1,…,nÑei ej*⊙ieiÑejφ
−∑i,j=1,…,n ieiej*⊙ÑeiÑejφ − ∑i,j=1,…,n ej*⊙ieiÑeiÑejφ
+ ∑i,j=1,…,n ej*⊙ieiÑejÑei φ + ∑i,j,r=1,…,n ej*⊙GrjiierÑei φ
= −∑i,j,r=1,…,n Grijieier*⊙Ñejφ − ∑i,j,r=1,…,n Grijer*⊙ieiÑejφ
−∑i,j=1,…,n dijÑeiÑejφ − ∑i,j=1,…,n ej*⊙ieiÑeiÑejφ
+ ∑i,j=1,…,n ej*⊙ieiÑejÑei φ − ∑i,j,r=1,…,n ej*⊙GijrierÑei φ
= −∑i,j,r=1,…,n GrijdirÑejφ + ∑i,j,r=1,…,n Gjirer*⊙ieiÑejφ
−∑i=1,…,n ÑeiÑeiφ − ∑i,j=1,…,n ej*⊙ieiÑeiÑejφ
+ ∑i,j=1,…,n ej*⊙ieiÑejÑei φ − ∑j,r=1,…,n ej*⊙ierÑÑejer φ
= −∑i,j,=1,…,n GiijÑejφ + ∑i,r=1,…,n er*⊙ieiÑÑeierφ
−∑i=1,…,n ÑeiÑeiφ − ∑i,j=1,…,n ej*⊙ieiÑeiÑejφ
+ ∑i,j=1,…,n ej*⊙ieiÑejÑei φ − ∑j,r=1,…,n ej*⊙ierÑÑejer φ
= ∑i,j=1,…,n GjiiÑejφ −∑i,=1,…,n ÑeiÑeiφ − ∑i,j=1,…,n ej*⊙iei(ÑeiÑejφ − ÑÑeiejφ)
+ ∑i,j=1,…,n ej*⊙iei(ÑejÑei φ − ÑÑejei φ)
= − ∑i,=1,…,n (ÑeiÑeiφ − ÑÑeieiφ)
− ∑i,j=1,…,n ej*⊙iei(ÑeiÑejφ − ÑÑeiejφ)
+ ∑i,j=1,…,n ej*⊙iei(ÑejÑei φ − ÑÑejei φ).
By Proposition 2.6, Theorem 2.3, (18), the definition of curvature and (20) we get the assertion. □
Let us terminate the section with the remark that in the light of Theorem 2.3 our formula (21) is equivalent to the following classical Weitzenböck formula in the bundle of symmetric tensors on a Riemannian manifold
Δs = − trÑÑ − Â | (22) |
where  is Ricci type tensor defined in (20).
A proof of the classical Weitzenböck formula in form (22) can be find e.g. in [5] or [1].
4. Conclusions
The linear combinations of operators ds (defined by (7)), a (defined by (13)) and two traces Tr and tr (defined by (11) and (12)), respectively) and their adjoins led to several interesting operators. The operators considered here are grad, div, or the important operators − trÑÑ or Δs. These operators, of course, do not complete the list of operators that can be studied. The possible examples are operators that arise by the process of removing the traces like the Ahlfors operator investigated in [11] or the conformal Killing operator in the bundle of symmetric tensors considered in [4] or [3]. We are going to continue investigation in this direction in a subsequent paper.
Finally notice that the Weitzenböck type formula (21) relates two differential operators on symmetric forms: − div grad and the Laplace operator. The geometric importance of the formula comes from the fact that the difference between these second order operators is an operator of order zero: the Ricci type tensor R and that this tensor depends essentially on the curvature of M. In some particular cases of manifolds with the defined Ricci form R, this may be applied (with use of the classical Bochner technique) to determinate some geometrically important objects like conformal or harmonic tensor fields on a given manifold. The Killing, conformal Killing and trace free conformal Killing tensor, that constitute a subclass of the class of symmetric tensors considered in our paper, have an application in various problems of geometry, physics and tomography (see eg. [3, 12, 13]).
References
[1] Balcerzak B., Pierzchalski A., Generalized gradients on Lie algebroids, Ann. Global Anal. Geom. 2013, 44(3), 319-337.
[2] Stepanov S.E., Mikĕs J., The spectral theory of the Yano rough Laplacian with some of its applications, Ann. Global. Anal. Geom. 2015, 48, 37-46.
[3] Heil K., Moroianu A., Semmelmann U., Killing and conformal Killing tensors, J. Geom. Phys. 2016, 106, 383-400.
[4] Reimann H.M., A rotation invariant differential equation for vector fields, Ann. Scuola Norm. Sup. Pisa 1982, 9, 160-174.
[5] Kimaczyńska A., The differential operators in the bundle of symmetric tensors on a Riemannian manifold, PhD thesis, Łódź University, Faculty of Mathematics and Computer Science, Łódź 2016, 64 p.
[6] Kimaczyńska A., Pierzchalski A., Elliptic operators in the bundle of symmetric tensors, Banach Center Publications (To appear).
[7] Sampson J.H., On a theorem of Chern, AMS 1973, 177, 141-153.
[8] Kobayashi S., Nomizu K., Foundations of differential geometry II, Interscience Publishers, New York - London 1969.
[9] Yu Y., The Index Theorem and the Heat Equation Method, World Scientific, Singapore - New Jersey - London - Hong Kong 2000.
[10] Kozłowski W., Pierzchalski A., Natural boundary value problems for weighted form Laplacians, Ann. Scuola Norm. Sup. Pisa Cl. Sci. 2008, (5), VII, 343-367.
[11] Pierzchalski A., Ricci curvature and quasiconformal deformations of a Riemannian manifold, Manuscripta Mathematica 1989, 66, 113-127.
[12] Dairbekov N.S., Sharafutdinov V.A., Conformal Killing symmetric tensor fields on Riemannian manifolds (Russian), Mat. Tr. 2010, 13, no. 1, 85-145; translation in Siberian Adv. Math. 2011, 21, 1, 1-41.
[13] Stepanov S., Tsyganok I., Aleksandrova I., A remark on Laplacian operator which acts on symmetric tensors, arXiv:1411.1928.