Abstract
Let (M, g) be a compact Riemannian manifold. Equipping its tangent bundle TM (resp. unit tangent bundle \(T_1M\)) with a pseudo-Riemannian g-natural metric G (resp. \({\tilde{G}}\)), we study the biharmonicity of vector fields (resp. unit vector fields) as maps \((M,g) \rightarrow (TM,G)\) (resp. \((M,g) \rightarrow (T_1M,{\tilde{G}})\)), as well as critical points of the bienergy functional restricted to the set \({\mathfrak {X}}(M)\) (resp. \({\mathfrak {X}}^1(M)\)) of vector fields (resp. unit tangent bundles) on M. Contrary to the Sasaki metric on TM, where the two notions are equivalent to the harmonicity of the vector field and then to its parallelism, we prove that for large classes of g-natural metrics on TM, the two notions are not equivalent. Furthermore, we give examples of vector fields which are biharmonic as critical points of the bienergy functional restricted to \({\mathfrak {X}}(M)\), but are not biharmonic maps. We provide equally examples of proper biharmonic vector fields (resp. unit vector fields), i.e. those which are critical points of the bienergy functional restricted to the set \({\mathfrak {X}}(M)\) (resp. \({\mathfrak {X}}^1(M)\)) without being harmonic.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Since its beginning by Eells and Sampson in 1964 (cf. [9]), the theory of harmonic maps has inspired a lot of mathematicians and physicists to explore interesting problems and to obtain many applications in various domains. It is becoming now among the most widely studied topics in the fields of geometric analysis and differential geometry. A harmonic map between two compact Riemannian manifolds (M, g) and (N, h) is a smooth map which is a critical point of the energy functional \(E(f)=\frac{1}{2}\int _{M}\Vert df\Vert ^{2}v_{g}\). It is characterized by the vanishing of the tension field \(\tau (f)=tr_{g}\nabla df\). As a generalization of harmonic maps, biharmonic maps (cf. [8]) had been defined as the critical points of the bienergy functional \(E_{2}(f)=\frac{1}{2}\int _{M}\Vert \tau (f)\Vert ^{2}v_{g}\).
In the framework of Riemannian geometry of tangent bundles, particular maps arise naturally, e.g. vector fields, the projection map, tangent maps etc., and it is interesting to study their (bi-)harmonicity. Since the (bi-)harmonicity depends on Riemannian structures on the source and target manifolds of the considered map, the situation would depend evidently, in our case, on the choice of (pseudo-)Riemannian metrics on the tangent bundles involved in the studied maps. Actually, as a (pseudo-)Riemannian manifold, the tangent bundle of a Riemannian manifold had been endowed with various metrics, starting from the “ classical” Sasaki metric and other lifted metrics from the base manifold, passing through the Cheeger-Gromoll type metrics and the general class of Oproiu metrics (cf. [22]) and arriving to the wider class of g-natural metrics, depending on six independent smooth functions from \({\mathbb {R}}^{+}\) to \({\mathbb {R}}\) (cf. [1,2,3] and [15]). It had been proved that the harmonicity of such particular maps depends on the choice of (pseudo-)Riemannian structures on the involved tangent bundles (cf. [10,11,12] for the Sasaki metric, [20, 21] for other (classes of) metrics and [4, 5] for the more general class of g-natural metrics).
In the biharmonic setting, Markellos and Urakawa studied the problem of biharmonicity of vector fields when the tangent bundle is endowed with the Sasaki metric. Indeed, regarding a tangent vector field on a compact Riemannian manifold (M, g) as a map from (M, g) to \((TM,g^{s})\), where TM is the tangent bundle of M equipped with the Sasaki metric \(g^{s}\), they proved that a vector field is biharmonic if and only if it is harmonic, i.e. parallel (cf. [18]). They also proved that a vector field is a biharmonic vector field, i.e. a critical point of the bienergy functional, restricted to the set \({\mathfrak {X}}(M)\) of tangent vector fields, if and only if it is parallel.
Such results show that, as in the harmonic case, the Sasaki metric \(g^{s}\) have a kind of “rigidity” regarding the existence of biharmonic vector fields.
So, as it had been done in the harmonic case (cf. [4] and [5]) and to get new examples of biharmonic vector fields in the (non)-compact case other than the harmonic ones, it is worthy to equip the tangent bundles with (pseudo-)Riemannian g-natural metrics and to study vector fields as biharmonic maps from (M, g) to (TM, G), as well as G-biharmonic vector fields, i.e. as critical points of the energy functional restricted to \({\mathfrak {X}}(M)\).
On the other hand, C.M. Wood [27] introduced the notion of harmonic unit vector field on a compact Riemannian manifold M by restricting the energy functional to the set \({\mathfrak {X}}^1(M)\) of unit vector fields, \(T_1M\) being endowed with the Sasaki metric. Considering arbitrary Riemannian g-natural metrics on the unit tangent bundle, corresponding harmonic unit vector fields had been studied in [4].
In the same spirit, Markellos and Urakawa [17] introduced the so-called biharmonic unit vector fields as critical points of the bienergy functional restricted to \({\mathfrak {X}}^1(M)\), the unit tangent bundle being endowed with the Sasaki metric. It would be interesting to study the question when the unit tangent bundle is equipped with an arbitrary pseudo-Riemannian g-natural metric.
In this paper, we will endow the tangent bundle (resp. unit tangent bundle) with an arbitrary pseudo-Riemannian g-natural metric G (resp. \({\tilde{G}}\)), and we will study different kinds of biharmonicity of vector (resp. unit vector) fields, adopting the following terminology: A vector (resp. unit vector) field on M is said to be
-
biharmonic if it is biharmonic as a map from (M, g) to (TM, G) (resp. \((T_1M,{\tilde{G}})\));
-
G-biharmonic (resp. \({\tilde{G}}\)-biharmonic) if it is a critical point of the bienergy functional restricted to \({\mathfrak {X}}(M)\) (resp. \({\mathfrak {X}}^1(M)\));
-
proper biharmonic if it is biharmonic without being harmonic;
-
proper G-biharmonic (resp. proper \({\tilde{G}}\)-biharmonic) if it is G-biharmonic (resp. \({\tilde{G}}\)-biharmonic) without being harmonic.
More precisely, we will be interested to answer to the following questions:
-
1.
Are there parallel vector fields on M which are not biharmonic maps from (M, g) to (TM, G)?
-
2.
Are there vector fields on M which are proper biharmonic?
-
3.
Are there vector fields on M which are G-biharmonic, but not biharmonic?
-
4.
Give a tensorial characterization of \({\tilde{G}}\)-biharmonic unit vector fields.
-
5.
Are there unit vector fields on M which are proper \({\tilde{G}}\)-biharmonic?
The paper is organized as follows. In Sect. 2, we give a brief exposition of some of the basic notions about the geometry of tangent bundle and biharmonic maps. As mentioned above, when equipping the tangent bundle of a compact Riemannian manifold by the Sasaki metric, the only vector fields which are biharmonic, as maps, are the parallel ones. One can wonder if this is still true if we equip the tangent bundle with an arbitrary pseudo-Riemannian g-natural metric. As it is very hard to deal with the general case, we will restrict ourselves to the study of parallel vector fields and we devote Sect. 3 to compute the bitension field of a parallel vector field and to give necessary and sufficient conditions for a parallel vector field to be biharmonic (Theorem 5 for the general case and Theorem 6 and Corollary 7 for the special case of Kaluza-Klein type metrics). In particular, we answer to the two first questions by giving examples of non-biharmonic parallel vector fields (Remark 2) and of parallel proper biharmonic vector fields (Example 1).
In Sect. 4, we (will) derive the condition for a parallel vector field to be a G-biharmonic vector field (Theorem 8). As a consequence, we give a subclass of pseudo-Riemannian g-natural metrics on TM for which the G-biharmonicity of parallel vector fields is equivalent to their biharmonicity (Example 1), generalizing a same result for the Sasaki metric. As an answer to the third question, we construct a 2-parameter family of pseudo-Riemannian g-natural metrics on TM for which every parallel vector field is G-biharmonic but not biharmonic (Proposition 10 and Example 2).
Section 5 is devoted to the characterization of \({\tilde{G}}\)-biharmonic unit vector fields, with applications to some special classes of vector fields, e.g. Killing vector fields and Reeb vector fields. We give examples of proper \({\tilde{G}}\)-biharmonic unit vector fields on hyperbolic spaces \({\mathbb {H}}^n\) (Example 3), on the solvable Lie group \(Sol_3\) (Example 4) and on the special unitary group SU(2) with a left-invariant Riemannian metric (Example 5).
2 Preliminaries
2.1 Harmonic and Biharmonic Maps
Let (M, g) be an m-dimensional compact Riemannian manifold and (N, h) be an n-dimensional pseudo-Riemannian manifold. If \(f: (M,g) \rightarrow (N,h)\) is a smooth map , then the energy of f is defined as the integral
where \(e(f)= \frac{1}{2} \Vert f_*\Vert ^2= \frac{1}{2} \mathrm{tr}_g f^* h\) is the so-called energy density of f. With respect to a local orthonormal frame \(\{e_1,..,e_n \}\) on M, it is possible to express the energy density as \(e(f)= \frac{1}{2} \sum _{i=1} ^n h(f_*e_i,f_*e_i)\). Critical points of the energy functional on \(C^{\infty } (M,N)\) are known as harmonic maps. They have been characterized in [9] as maps having vanishing tension field \(\tau (f)=\mathrm{tr} \nabla df\). When (M, g) is a general Riemannian manifold (including the non-compact case), a map \(f: (M,g) \rightarrow (N,h)\) is said to be harmonic if \(\tau (f)=0\). For further details about harmonic maps, we can refer to [7].
In [8], J. Eelles and L. Lemaire extended the notion of harmonic maps to biharmonic maps, which are, by definition, critical points of the bienergy functional:
Jiang ([13]) derived the associated Euler-Lagrange equation of \(E_{2}\) as follows:
where \(R^{N}\) is the Riemannian curvature tensor of (N, h) defined by \(R^{N}(X,Y)Z=\nabla ^{N}_{X}\nabla ^{N}_{Y}Z-\nabla ^{N}_{Y}\nabla ^{N}_{X}Z-\nabla ^{N}_{[X,Y]}Z\) for X, Y, Z \(\in {\mathfrak {X}}(N)\) and \({\widehat{\Delta }}\) is the rough Laplacian defined by \({\widehat{\Delta }}=-\underset{i=1}{\overset{m}{\sum }}\big ({\widehat{\nabla }}_{e_{i}}{\widehat{\nabla }}_{e_{i}}-{\widehat{\nabla }}_{\nabla _{e_{i}}e_{i}}\big )\), where \({\widehat{\nabla }}\) is the induced connexion on \(f^{-1}TN\).
The quantity \(\tau _{2}(f):={\widehat{\Delta }}\tau (f)-\underset{i=1}{\overset{m}{\sum }}R^{N}\big (\tau (f),f_{*}e_{i}\big )f_{*}e_{i}\) is called the bitension field of f. As for the case of harmonic maps, when (M, g) is a general Riemannian manifold (including the non-compact case), a map \(f: (M,g) \rightarrow (N,h)\) is said to be biharmonic if \(\tau _2 (f)=0\).
2.2 Geometry of Tangent Bundle
2.2.1 Basic Formulas on Tangent Bundles
Let \(\nabla \) be the Levi–Civita connection of g. Then the tangent space of TM at any point \((x,u)\in TM\) splits into the horizontal and vertical subspaces with respect to \(\nabla \):
If \((x,u)\in TM\) is given then, for any vector \(X\in M_x\), there exists a unique vector \(X^h \in H_{(x,u)}\) such that \(p_* X^h =X\). We call \(X^h\) the horizontal lift of X to the point \((x,u)\in TM\). The vertical lift of a vector \(X\in M_x\) to \((x,u)\in TM\) is a vector \(X^v \in V_{(x,u)}\) such that \(X^v (df) =Xf\), for all functions f on M. Here we consider 1-forms df on M as functions on TM (i.e. \((df)(x,u)=uf\)). Note that the map \(X \rightarrow X^h\) is an isomorphism between the vector spaces \(M_x\) and \(H_{(x,u)}\). Similarly, the map \(X \rightarrow X^v\) is an isomorphism between the vector spaces \(M_x\) and \(V_{(x,u)}\). Obviously, each tangent vector \({{\tilde{Z}}} \in (TM)_{(x,u)}\) can be written in the form \({{\tilde{Z}}} =X^h + Y^v\), where \(X,Y \in M_x\) are uniquely determined vectors.
Let T be a tensor field of type (1, s) on M. If \(X_1\), \(X_2\),..., \(X_{s-1}\) \(\in M_x\), then \(h\{T(X_1,...,u,...,X_{s-1})\}\) (resp.\(v\{T(X_1,...,u,...,X_{s-1})\}\)) is a horizontal (resp.vertical) vector at (x, u) which is introduced by the formula:
In particular, if T is the identity tensor of type (1, 1), then we obtain the geodesic flow vector field at (x, u), \(\xi _{(x,u)}=\sum u^\lambda (\frac{\partial }{\partial x^\lambda })^h_{(x,u)}\) and the canonical vertical vector at (x, u), \({\mathcal {U}}_{(x,u)}=\sum u^\lambda (\frac{\partial }{\partial x^\lambda })^v_{(x,u)}\).
Moreover, \(h\{T(X_1,..., u,...,u,...,X_{s-t})\}\) and \(v\{T(X_1,..., u,...,u,...,X_{s-t})\}\) are introduced by similar way.
Also we make the conventions:
Thus, \(h\{X\}=X^h\) and \(v\{X\}=X^v\), for each vector field X on M.
From the preceding quantities, one can define vector fields on TU in the following way: If \(u= \sum _i u^i \left( \frac{\partial }{\partial x^i}\right) _x\) is a fixed point in TM and \(X_1,...,X_{s-1}\) are vector fields on U, then we denote by
the horizontal (resp. vertical) vector field on TU defined by
Moreover, for vector fields \(X_1,...,X_{s-1}\) on U, the vector fields \(h\{T(X_1,..., u,...,\) \(u,...,X_{s-t})\}\) and \(v\{T(X_1,..., u,...,u,...,X_{s-t})\}\), on TU, are introduced by similar way.
2.2.2 g-Natural Metrics
All g-natural metrics on the tangent bundle of a Riemannian manifold (M, g) are completely determined as follows:
Proposition 1
[2] Let (M, g) be a Riemannian manifold and G be a g-natural metric on TM. Then there are functions \(\alpha _i\), \(\beta _i:{\mathbb {R}}^+ \rightarrow {\mathbb {R}}\), \(i=1,2,3\), such that for every u, X, \(Y\in M_x\), we have
where \(\rho =g_x(u,u)\).
Remark 1
From now on, we shall use the following notations:
-
\(\phi _i(t) =\alpha _i(t) +t \beta _i(t)\),
-
\(\alpha (t) = \alpha _1(t) (\alpha _1+\alpha _3)(t) - \alpha _2 ^2\)(t),
-
\(\phi (t) = \phi _1(t) (\phi _1 +\phi _3)(t) -\phi _2^2(t)\),
for all \(t \in {\mathbb {R}}^+\).
Pseudo-Riemannian g-natural metrics are characterized as follows:
Proposition 2
[2] A g-natural metric G on the tangent bundle of a Riemannian manifold (M, g), defined by the functions of Proposition 1, is
-
non-degenerate if and only if
$$\begin{aligned} \alpha (t) \ne 0, \qquad \phi (t) \ne 0 \qquad \text {for all} \;\, t \in {\mathbb {R}}^+ ; \end{aligned}$$ -
Riemannian if and only if
$$\begin{aligned} \alpha _1(t)> 0, \qquad \phi _1(t)> 0, \qquad \alpha (t)> 0, \qquad \phi (t)>0 \qquad \text {for all} \;\, t \in {\mathbb {R}}^+ . \end{aligned}$$
for all \(t \in {\mathbb {R}}^+\).
The wide class of g-natural metrics includes several well-known metrics (Riemannian and not) on TM. In particular,
-
the Sasaki metric \(g_S\) is obtained for \(\alpha _1 =1\) and \(\alpha _2 = \alpha _3 = \beta _1 =\beta _2 = \beta _3 =0\).
-
Kaluza–Klein metrics, as commonly defined on principal bundles [27] (see also [6]), are obtained for \(\alpha _2 = \beta _2 = \beta _1 +\beta _3 = 0\).
-
Metrics of Kaluza–Klein type are defined by the geometric condition of orthogonality between horizontal and vertical distributions. Thus, a g-natural metric G is of Kaluza-Klein type if \(\alpha _2=\beta _2 =0\).
Remarks 1
-
1.
In the sequel, when we consider an arbitrary g-natural metric G on TM, we implicitly suppose that it is defined by the functions \(\alpha _i\), \(\beta _i:{\mathbb {R}}^+ \rightarrow {\mathbb {R}}\), \(i=1,2,3\), given in Proposition 1.
-
2.
Unless otherwise stated, all real functions \(\alpha _i\), \(\beta _i\), \(\phi _i\), \(\alpha \) and \(\phi \) and their derivatives are evaluated at \(\rho :=g_x(u,u)\).
2.2.3 The Levi–Civita Connexion of Pseudo-Riemannian g-Natural Metrics
Proposition 3
Let (M, g) be a Riemannian manifold, \(\nabla \) its Levi–Civita connection and R its curvature tensor. Let G be a pseudo-Riemannian g-natural metric on TM. Then the Levi–Civita connection \({\overline{\nabla }}\) of (TM, G) is characterized by
for all vector fields X, Y on M and \((x,u) \in TM\), where A, B, C, D, E and F are F-tensor fields of type (1, 2) on M (cf. the definition and some properties on F-tensor fields in Appendix A) defined, for all u, X, \(Y \in M_x\), \(x \in M\), by
where
where
where
where
where
where
2.2.4 Riemannian Curvature of g-Natural Metrics
Proposition 4
[3] Let (M, g) be a Riemannian manifold and G be a pseudo-Riemannian g-natural metric on TM. Denote by \(\nabla \) and R the Levi–Civita connection and the Riemannian curvature tensor of (M, g), respectively. Then we have
where \(A_{(X,Z)}\) and \(B_{(X,Z)}\) are the mappings \(M_x \rightarrow M_x\) defined by (61) and \(d_u\big (A_{(X,Z)}\big )\) and \(d_u\big (A_{(X,Z)}\big )\) are their derivatives at u, respectively (cf. Appendix A for more details).
3 The Biharmonicity of Parallel Vector Fields
Let (M, g) be a Reimannian manifold, and TM its tangent bundle which is equipped with a pseudo-Riemannian g-natural metric G. Let V be a vector field on M, then V can be regarded as a map \(V:(M,g)\longrightarrow (TM,G)\). The bienergy \(E_{2}(V)\) of V is the bienergy associated to the map \(V:(M,g)\longrightarrow (TM,G)\).
The tension field \(\tau (V)\) and bitension field \(\tau _2(V)\) of V can be decomposed as follows: For all \(x \in M\), we denote by \(\tau _h(V)(x)\), \(\tau _v(V)(x)\), \(\tau _{2h}(V)(x)\) and \(\tau _{2v}(V)(x)\) the vectors of \(M_x\), such that
obtaining four vector fields \(\tau _h(V)\), \(\tau _v(V)\), \(\tau _{2h}(V)\) and \(\tau _{2v}(V)\) on M. So, as sections in \(\Gamma (V^{-1} TTM)\), the tension and bitension fields can be written as follows:
3.1 The Bitension Field of a Parallel Vector Field
In [5], the authors had calculated the tension field of a parallel vector field V. More precisely, they found that
where \(\rho \) is the constant length of the parallel vector field V. As consequences, we have
-
\(\tau _h (V)\) and \(\tau _v (V)\) are homothetic to V with constant homothety factors \(c_h:= \big (2A_2 +mA_4 +\rho A_5 \big )(\rho )\) and \(c_v:=\big (2B_3 +mB_5 + \rho B_6 \big ) (\rho )\);
-
\(V:(M,g)\longrightarrow (TM,G)\) is a harmonic map if and only if \(c_h =c_v =0\);
-
\(\tau _h (V)\) and \(\tau _v (V)\) are parallel.
Theorem 5
Let (M, g) be a Riemannian manifold and TM be equipped with a pseudo-Riemannian g-natural metric G. Let V be a parallel vector field on M, with (constant) squared norm \(\rho \). Then the bitension field of \(V:(M,g) \rightarrow (TM,G)\) is given by \(\tau _{2}(V)=(\tau _{2h}(V))^h \circ V +(\tau _{2v}(V))^v \circ V\), where
and \(V:(M,g) \rightarrow (TM,G)\) defines a biharmonic map if and only if \(\tau _{2h}(V)=\tau _{2v}(V)=0\).
Proof
Denote by \({\widehat{\nabla }}\) the induced connexion on \(V^{-1}TTM\), and by \({\widehat{\triangle }}\) its associated rough laplacian. By (1), we have
We calculate each term of the sum separately using (3) and Proposition 4. By definition of the induced connection \(\nabla \) and taking into account the fact that \(V_{*}X=X^{h}+(\nabla _{X}V)^{v}= X^h\), for every vector field Y, we have
Using Proposition 3 and the fact that \(\tau _h\) and \(\tau _v\) are parallel, we deduce that
Using Lemmas 25 and 26, we have
In similar way, we calculate the other terms to obtain
On the other hand, using Proposition 3 and the fact that \(\tau _h\) and \(\tau _v\) are parallel, we have
Finally, using Proposition 4, we have
Substituting from (14)–(16) into (13), we obtain
Substituting from (10) into the last identity and using Proposition 3 and Lemma 27, we obtain the result. \(\square \)
3.2 Case of Kaluza-Klein Type Metrics
Theorem 6
Let (M, g) be a Riemannian manifold and V be a non-zero parallel vector field on M of (constant) squared norm \(\rho \). Let the tangent bundle TM of M be equipped with a pseudo-Riemannian Kaluza-Klein type metric such that \((\beta _{1}+\beta _{3})(\rho )=(\beta _{1}+\beta _{3})'(\rho )=0\) (In particular, if G is a Kaluza-Klein metric on TM). Then \(V:(M,g) \rightarrow (TM,G)\) is a biharmonic map if and only if one of the two statements is verified:
-
1.
\(\rho \) is a critical point of \(\alpha _{1}+\alpha _{3}\).
-
2.
\((\alpha _{1}+\alpha _{3})^{'}(\rho ) \Big [2\rho \frac{\alpha _{1}^{'}}{\alpha _{1}}+\rho \frac{\beta _{1}-\alpha _{1}^{'}}{\phi _{1}}+\rho ^{2} \frac{\alpha _{1} \beta _{1}^{'}-2\alpha _{1}^{'} \beta _{1}}{\phi _{1} \alpha _{1}}+2\rho \frac{\phi _{1}^{'}}{\phi _{1}} -1 \Big ](\rho )-2\rho (\alpha _{1}+\alpha _{3})^{''}(\rho )=0 \).
Proof
If \(\alpha _{2}=\beta _{2}=0\) and \((\beta _{1}+\beta _{3})(\rho )=(\beta _{1}+\beta _{3})'(\rho )=0\), then we have
We deduce that \(c_h=0\) and \(c_v=-m\frac{(\alpha _{1}+\alpha _{3})^{'}}{\phi _{1}}(\rho )\). Considering the results above, formulas (11) and (12) become:
Since \(\tau _{2h}(V)=0\) then \(V:(M,g)\longrightarrow (TM,G)\) is a biharmonic map if and only if \(\tau _{2v}(V)=0\), which gives the result. \(\square \)
Remark 2
Let G be the pseudo-Riemannian g-natural metric on TM given by \(\alpha _2=\beta _1=\beta _2=\beta _3=0\), \(\alpha _1\) is constant and \((\alpha _1 +\alpha _3)(t)=e^{at}\), where \(a>0\). Then \((\alpha _1+\alpha _3)^\prime \) does not vanish and
which does not vanish on \({\mathbb {R}}^+\). We deduce that the two conditions of Theorem 6 can not be verified, and consequently every non-zero parallel vector field on TM is not biharmonic.
As corollary, we have the following result which characterizes parallel vector field on M which are proper biharmonic maps, i.e. non-harmonic biharmonic maps.
Corollary 7
Let (M, g) be a Riemannian manifold and V be a parallel vector field on M of (constant) squared norm \(\rho \). Let the tangent bundle TM of M be equipped with a pseudo-Riemannian Kaluza-Klein type metric such that \((\beta _{1}+\beta _{3})(\rho )=(\beta _{1}+\beta _{3})'(\rho )=0\) (In particular, if G is a Kaluza-Klein metric on TM). Then the map \(V:(M,g)\longrightarrow (TM,G)\) is proper biharmonic if and only if
-
1.
\((\alpha _{1}+\alpha _{3})'(\rho )\ne 0 \) and
-
2.
\((\alpha _{1}+\alpha _{3})^{'}(\rho ) \Big [2\rho \frac{\alpha _{1}^{'}}{\alpha _{1}}+\rho \frac{\beta _{1}-\alpha _{1}^{'}}{\phi _{1}}+\rho ^{2} \frac{\alpha _{1} \beta _{1}^{'}-2\alpha _{1}^{'} \beta _{1}}{\phi _{1} \alpha _{1}}+2\rho \frac{\phi _{1}^{'}}{\phi _{1}} -1 \Big ](\rho )- 2\rho (\alpha _{1}+\alpha _{3})^{''}(\rho ) =0\).
Examples 1
Let (M, g) be a Riemannian manifold.
-
1.
Let G be the Kaluza-Klein metric on TM such that
-
\(\beta _1=0\),
-
\(\alpha _1\) is a positive constant and
-
\((\alpha _1+\alpha _3)(t)=\frac{2}{3} t^{3/2}+c\), for all \(t \in {\mathbb {R}}_+\), \(c>0\).
Then it is easy to see that \((\alpha _1+\alpha _3)^\prime \) does not vanish on \({\mathbb {R}}^*_+\) and the differential equation
$$\begin{aligned} (\alpha _{1}+\alpha _{3})^{'}(t) \Big [2t \frac{\alpha _{1}^{'}}{\alpha _{1}}+t \frac{\beta _{1}-\alpha _{1}^{'}}{\phi _{1}}+t^{2} \frac{\alpha _{1} \beta _{1}^{'}-2\alpha _{1}^{'} \beta _{1}}{\phi _{1} \alpha _{1}}+2t\frac{\phi _{1}^{'}}{\phi _{1}} -1 \Big ](t)- t(\alpha _{1}+\alpha _{3})^{''}(t)=0 \end{aligned}$$is satisfied on \({\mathbb {R}}^*_+\). We deduce that every non-zero parallel vector field on M is a proper biharmonic map.
-
-
2.
Let G be the Kaluza-Klein metric on TM which satisfies
-
\(\alpha _{1}(t)=e^{\frac{t}{\rho }}\),
-
\(\beta _{1}(t)=\rho e^{\frac{t}{\rho }}-et\) and
-
\((\alpha _1+\alpha _{3})(t)=k(e^{\frac{t}{\rho }}+c)\),
for all \(t \in {\mathbb {R}}_+\), where \(\rho \), k and c are constants such that \(\rho \ne 0\), \(k \ne 0\) and \(c>-e\). Then it is easy to see that G is non-degenerate. Furthermore, G is Riemannian if \(k>0\) and pseudo-Riemannian of signature (n, n) if \(k<0\). Obviously, \((\alpha _1+\alpha _3)^\prime \) does not vanish. It is also easy to check that the function \((\alpha _{1}+\alpha _{3})^{'}(t) \Big [2t \frac{\alpha _{1}^{'}}{\alpha _{1}}+t \frac{\beta _{1}-\alpha _{1}^{'}}{\phi _{1}}+t^{2} \frac{\alpha _{1} \beta _{1}^{'}-2\alpha _{1}^{'} \beta _{1}}{\phi _{1} \alpha _{1}}+2t\frac{\phi _{1}^{'}}{\phi _{1}} -1 \Big ](t)- t(\alpha _{1}+\alpha _{3})^{''}(t)\), defined on \({\mathbb {R}}_+\), vanishes on \(\rho \) and only on \(\rho \). It follows that only parallel vector fields on M of squared norm \(\rho \) are (proper) biharmonic maps.
-
4 G-Biharmonic Vector Fields
Let (M, g) be a compact Riemannian manifold. In [18], Markellos and Urakawa have proved that, equipping TM with the Sasaki metric \(g^{s}\), \(V: (M,g) \longrightarrow (TM,g^{s})\) is a critical point of the bienergy functional restricted to \({\mathfrak {X}}(M)\) if and only if V is a parallel vector field.
Now, we shall determine the critical point condition for the bienergy functional restricted to \({\mathfrak {X}}(M)\), when TM is equipped with an arbitrary pseudo-Riemannian g-natural metric. Such critical point will be called a G-biharmonic vector field.
Clearly, a G-biharmonic vector field is not necessarily a biharmonic map. The following result gives the characterization of G-biharmonic vector fields:
Theorem 8
Let (M, g) be a compact Riemannian manifold and TM be equipped with a pseudo-Riemannian g-natural metric G. A vector field V is a G-biharmonic vector field if and only if
In particular, a parallel vector field V on M is G-biharmonic if and only if
Proof
In [13], G. Jiang has derived the first variational formula of the bienergy functional \(E_{2}\):
for all \(\{V_{t}\}\subset {\mathfrak {X}}(M)\) of V, and Y is called the variational vector field which satisfied:
So V is a G-biharmonic vector field, i.e. a critical point of \(E_{2\upharpoonleft {\mathfrak {X}}(M)}\) if and only if:
for all \(\{V_{t}\}\subset {\mathfrak {X}}(M)\) of V.
But, as was remarked in [10], any vertical vector field \(Y^{v}\), section of the bundle \(V^{-1}TTM\), there exists a variation \(\{V_{t}\}_{t}\subset {\mathfrak {X}}(M)\) of V such that
Using the decomposition of \(\tau _2(v)\) into horizontal and vertical components, we obtain
Hence, V is a G-biharmonic vector field if and only if (17) is satisfied.
Furthermore, if V is parallel then \(\tau _{2h}\) and \(\tau _{2v}\) are proportional to V, and then (17) is equivalent to (18). \(\square \)
Remark 3
In the non-compact case, we can define the G-biharmonicity of V by the condition (17), since it has a tensorial character.
Since the variations are through \({\mathfrak {X}}(M)\subset C^{\infty }(M,TM)\), if \(V:(M,g)\longrightarrow (TM,G)\) is a biharmonic map then V is a G-biharmonic vector field V. The converse holds for parallel vector fields, for some pseudo-Riemannian g-natural metrics, as the following result shows
Corollary 9
Let (M, g) be a Riemannian manifold, V be a parallel vector field on M and suppose that the tangent bundle TM of M is equipped by a pseudo-Riemannian g-natural metric G which satisfies \(\alpha _{2}(\rho )=\beta _{2}(\rho )=(\beta _{1}+\beta _{3})(\rho )=0\), where \(\rho =\Vert V\Vert ^{2}\).
Suppose that we have one of the following conditions:
-
1.
\(m(\alpha _{1}+\alpha _{3})'(\rho )+\rho (\beta _{1}+\beta _{3})'(\rho )=0\), i.e. V is a harmonic map;
-
2.
\([m(\alpha _{1}+\alpha _{3})'(\rho )+\rho (\beta _{1}+\beta _{3})'(\rho )]E_{1}(\rho )+\frac{\rho }{2}E_{3}(\rho )=mA'_{4}(\rho )+\rho A'_{5}(\rho )t\).
Then \(V: (M,g) \longrightarrow (TM,G)\) is a biharmonic map if and only if V is a G-biharmonic vector field.
Example 1
If G is a Kaluza-Klein metric then \(E_{1}=E_{3}=A'_{4}=A'_{5}=0\), and then a parallel vector field is G-biharmonic if and only if it is a biharmonic map..
On the other hand, we shall prove that if we consider some classes of pseudo-Riemannian g-natural metrics, then almost all parallel vector fields are G-biharmonic but not biharmonic. More precisely, suppose that \(\alpha _1=\beta _1=\beta _2=\beta _3=0\) and \(\alpha _1+\alpha _3\) does not vanish on \({\mathbb {R}}^+\). To ensure that G is non-degenerate, \(\alpha _2\) should not vanish on \({\mathbb {R}}^+\) and should have the same sign. In this case, we have
-
\(\alpha _1=\beta _1=\beta _2=\beta _3=\phi _1=0\), \(\phi _1+\phi _3=\alpha _1 +\alpha _3\), \(\phi =\alpha =-\alpha ^2\).
-
both \(\alpha _1+\alpha _3\) and \(\alpha _2\) do not vanish on \({\mathbb {R}}^+\).
-
G is of signature (m, m). Indeed, for an orthonormal frame field \(\{e_i;i=1,...,m\}\) on (M, g), it suffices to take the orthonormal frame field \(\{E_i;i=1,...,2m\}\) of (TM, G) given by
$$\begin{aligned} E_i=\frac{1}{\sqrt{\vert \alpha _1+\alpha _3\vert }}e_i^h, \qquad E_{m+i}=\frac{1}{\sqrt{\vert \alpha _1+\alpha _3\vert }}\Big [e_i^h -\frac{\alpha _1+\alpha _3}{\alpha _2}e_i^v\Big ]. \end{aligned}$$
To simplify notations, we consider the functions:
Since we are looking for non-biharmonic vector fields on M, we will suppose that \((\alpha _1+\alpha _3)^\prime \) does not vanish on \({\mathbb {R}}^*_+\). We deduce that \(\lambda \) and \(\mu \) do not vanish on \({\mathbb {R}}^*_+\). Furthermore, taking eventually \(-\alpha _2\) instead of \(\alpha _2\), we can suppose that \(\lambda \) is positive on \({\mathbb {R}}^*_+\).
Substituting from (19) in Proposition 3 and in the formulas of \(c_h\) and \(c_v\), we find
-
\(A_1=A_2=A_3=A_5=0\), \(A_4= -\lambda \),
-
\(B_1=-1\), \(B_3=B_4=B_6=0\), \(B_5 =\lambda \mu \),
-
\(C_1=C_2=C_4=C_6=0\), \(C_3=\nu \), \(C_5=-\nu \),
-
\(D1=D_2=D_4=D_6=0\), \(D_3=\mu ^\prime \), \(D_5=-\mu \nu \),
-
\(E_1=E_2=E_3=0\),
-
\(F_1=\nu \), \(F_2=F_3=0\),
-
\(c_h=-m\lambda \), \(c_v= m\lambda \mu \).
Substituting into (11) and (12), we deduce that the horizontal and vertical components of the bitension of a parallel vector field V on M with \(\rho :=\Vert V\Vert ^2\) are given by
From Theorem 8, V is G-biharmonic if and only if \(\tau _{2h}(V)=0\). Hence, V is non-biharmonic G-biharmonic vector field if and only if \(\tau _{2h}(V)=0\) and \(\tau _{2v}(V)\ne 0\), i.e. if and only if the two following conditions hold:
Now, we shall consider the differential equation \(2\mu (\lambda +t\lambda ^\prime ) -mt \lambda ^2=0\), which is equivalent to
on \({\mathbb {R}}^*_+\). Remarking that \(\frac{\lambda }{\mu }= \frac{(\alpha _1 +\alpha _3)^\prime }{\alpha _1 +\alpha _3}\) and integrating, we find that
for some non-zero constant K. Substituting from (24) and (25) into \(\mu =\frac{\alpha _1+\alpha _3}{\alpha _2}\), we obtain
on \({\mathbb {R}}^*_+\). To avoid the non-regularity problem of \(\alpha _2\) at 0, we need to have \(\lim \limits _{t \rightarrow 0} \frac{\lambda (t)}{t}\) is a constant. In this case, we will have \(\alpha _2(0)=0\), which is in contradiction with the fact that G is non-degenerate at the zero section. To solve this problem, we consider a functions \(f_\eta \in C^\infty ({\mathbb {R}}^+)\) such that
-
\(0\le f_\eta (t) \le 1\), for all \(t \in {\mathbb {R}}^+\),
-
\(f_\eta (t)=0\), for \(t \ge \eta \),
-
\(f_\eta (t)=1\), for \(t \le \frac{\eta }{2}\),
and we put
Hence, we have
-
\(\alpha _1+\alpha _3\) and \(\alpha _2\) are exactly those of (25) and (26) on \([\eta ,+\infty [\), respectively, and satisfy the condition (22) on \([\eta ,+\infty [\). We deduce that, for \(\rho \in [\eta ,+\infty [\), a parallel vector of norm \(\rho \) is G-biharmonic.
-
\(\alpha _2(0) \ne 0\) and then G is non-degenerate everywhere.
-
\(\alpha _1+\alpha _3\) and \(\alpha _2\) do not vanish on \({\mathbb {R}}^+\).
To complete our study, we shall check if condition (23) is satisfied for \(\rho \in [\eta ,+\infty [\). Using (27) on \([\eta ,+\infty [\), we can express \(\mu \) and \(\nu \) in terms of \(\lambda \) and its derivatives as follows:
We deduce then that condition (23) at \(\rho \in [\eta ,+\infty [\) is equivalent to the following condition:
To summarize the previous discussion, we have
Proposition 10
Let (M, g) be a Riemannian manifold. Fix \(\eta >0\) and suppose that the tangent bundle TM of M is equipped by a pseudo-Riemannian g-natural metric G which satisfies \(\alpha _1=\beta _1=\beta _2=\beta _3=0\) and (27), where \(\lambda \) is a positive smooth function on \({\mathbb {R}}^*_+\) such that \(\lim \limits _{t \rightarrow 0} \frac{\lambda (t)}{t}\) is a constant. Then a parallel vector field on M such that \(\rho :=\Vert V\Vert ^{2} \in [\eta ,+\infty [\) is non-biharmonic G-biharmonic if and only if (28) is satisfied at \(\rho \).
Example 2
We consider the function \(\lambda \) defined by \(\lambda (t) =ate^{bt}\), for all \(t \in {\mathbb {R}}^+\), where \(a>0\) and b are real constants. A long but routine calculation shows that (28) is equivalent to the fact that \(\rho \) is not a solution of the following polynomial equation
which has at most three solutions. We deduce that, apart from at most three values of \(\rho \in [\eta ,+\infty [\), all parallel vector fields of norm \(\sqrt{\rho }\) are non-biharmonic G-biharmonic.
Remarks 2
-
1.
Taking eventually different values of b in the previous example, for any value \(\rho \in [\eta ,+\infty [\), there is a pseudo-Riemannian g-natural metric on TM for which any parallel vector field on M such that \(\Vert V\Vert ^{2}=\rho \) is non-biharmonic G-biharmonic.
-
2.
\(\eta \) being arbitrary, for any value \(\rho >0\), there is a pseudo-Riemannian g-natural metric on TM for which any parallel vector field on M such that \(\Vert V\Vert ^{2}=\rho \) is non-biharmonic G-biharmonic.
-
3.
It would be interesting to study the two following (not easy) problems:
-
Are there examples of non-biharmonic G-biharmonic vector fields when the tangent bundle is equipped with an appropriate Riemannian g-natural metric?
-
Can we find pseudo-Riemannian g-natural metrics for which there are non-parallel biharmonic (resp. G-biharmonic) vector fields?
-
5 Biharmonic Unit Vector Fields
5.1 The Main Theorem
Notations: Let (M, g) be a Riemannian manifold and \(U\in {\mathfrak {X}}_{1}(M)\). Let \(\{e_{i}\}^{m}_{i=1}\) be an orthonormal frame field on M. Let us denote by
-
\(S(U)=-\sum _{i=1}^{m}R(\nabla _{e_{i}}U,U)e_{i}\),
-
Q the Ricci operator associated to g,
-
\(\text {div}\) the divergence operator associated to g,
-
\({\mathcal {A}}\) the operator on unit vector fields defined by \({\mathcal {A}}U=QU-g(QU,U)U\).
Let (M, g) be a Riemannian manifold and \(T_{1}M\) its unit tangent bundle. We call g-natural metrics on \(T_{1}M\) the restrictions of g-natural metrics of TM to its hypersurface \(T_{1}M\). These metrics possess a simpler form. Indeed, for any g-natural metric \({\tilde{G}}\) on \(T_{1}M\), there are four real constants a, b, c and d, such that
for any \((x,u) \in T_{1}M\) and X, \(Y\in M_{x}\) (cf. [?]), where \(X^t\) is the tangential lift to (x, u) of X given by
Furthermore, \({\tilde{G}}\) is non-degenerate (resp. Riemannian) if and only if \(\alpha :=a(a+c)-b^{2} \ne 0\) and \(\phi =a(a+c+d)-b^{2} \ne 0\) (resp. \(a>0\), \(\phi >0\) and \(\alpha >0\)).
In particular, the Sasaki metric on \(T_1 M\) corresponds to the case where \(a=1\) and \(b=c=d=0\); Kaluza-Klein metrics are obtained when \(b=d=0\); metrics of Kaluza-Klein type are given by the case \(b=0\).
From now on, let (M, g) be a compact Riemannian manifold and suppose its unit tangent sphere bundle \(T_{1}M\) is equipped by a pseudo-Riemannian g-natural metric \({\tilde{G}}\).
The bienergy functional of a unit vector field U, regarded as a map of (M, g) into \((T_{1}M,{\tilde{G}})\), is the mapping defined by
\({\tilde{\tau }}(U)\) being the tension field of the map \(U:(M,g) \longrightarrow (T_{1}M,{\tilde{G}})\), which is given by \({\tilde{\tau }}(U)=({\tilde{\tau }}_{h}(U))^h+ ({\tilde{\tau }}_{v}(U))^v\), where (cf. [4])
with \(\varphi =a+c+d.\)
A unit vector field U is said to be a \({\tilde{G}}\)-biharmonic unit vector field if U is a critical point of \(E_{2 \upharpoonright {\mathfrak {X}}_{1}(M)}\), i.e. for all \(C^{\infty }\) 1-parameter variations \(\{U_{t}\}_{t}\) of U in \({\mathfrak {X}}^{1}(M)\), \((|t|<\epsilon )\), we have
Theorem 11
Let (M, g) be a compact Riemannian manifold and \(T_{1}M\) its unit tangent bundle equipped with an arbitrary pseudo-Riemannian g-natural metric \({\tilde{G}}\). Let \(U \in {\mathfrak {X}}^{1}(M)\). Then U is a \({\tilde{G}}\)-biharmonic unit vector field if and only if the following holds
where
Proof
Let U be a unit vector field on (M, g) and \(I=]-\epsilon ,\epsilon [\), \((\epsilon >0)\). For \(t \in I\), we denote by \(i_{t}:M \longrightarrow M \times I\), \(p\longrightarrow (p,t)\), the canonical inclusion. We consider \(C^{\infty }\)-variations \(V:M \times I \longrightarrow T_{1}M\) of U within \({\mathfrak {X}}_{1}(M)\), i.e. for all \(t \in I\), the mappings \(V_{t}=V\circ i_{t}\) are in fact unit vector fields and \(V_{0}=U\). We choose \(\{e_{i}\}_{i=1}^{m}\) a local orthonormal frame field of (M, g) and we extend each \(e_{i}\) (resp. \(\frac{d}{dx}\in {\mathfrak {X}}(I)\)) to \(M \times I\), denoted by \(E_{i}\) (resp. \(\frac{d}{dt}\)). If we denote by D the Levi–Civita connection and \(R^{D}\) the Riemannian curvature of the Riemannian product manifold \(M \times I\), then using the second Bianchi identity for the last relation, we get
for all \(1 \le i \le m\). We set \({\tilde{\tau }}_h:= {\tilde{\tau }}_{h}(V)\) and \({\tilde{\tau }}_v:= {\tilde{\tau }}_{v}(V)\). It is easy to see that \({\tilde{\tau }}_{h}(V_t)={\tilde{\tau }}_{h} \circ i_{t}\) and \({\tilde{\tau }}_{v}(V_t)={\tilde{\tau }}_{v} \circ i_{t}\).
We have to calculate the first variational formulae of \(E_{2 \upharpoonright {\mathfrak {X}}^{1}(M)}\). By definition of \({\tilde{G}}\), we have
Then we get
By long computation, using (31), (32) and (34), we get \(T(U)=0\) (cf. Appendix B for the details of computation). \(\square \)
Remark 4
In the non-compact case, we can define the biharmonicity of unit vector fields by the condition \(T(U)=0\), where T is given by (33), since it has a tensorial character.
Proposition 12
Let (M, g) be a Riemannian manifold and \(T_{1}M\) be its unit tangent bundle equipped with an arbitrary pseudo-Riemannian g-natural metric \({\tilde{G}}\). Let U be a unit vector field on M. If \(U:(M,g) \longrightarrow (T_{1}M,{\tilde{G}})\) is a harmonic map then U is a \({\tilde{G}}\)-biharmonic unit vector field.
Note that the converse does not hold. \({\tilde{G}}\)-biharmonic unit vector field which are not harmonic maps \((M,g) \rightarrow (T_1M,{\tilde{G}})\) are called a proper \({\tilde{G}}\)-biharmonic unit vector field.
5.2 Examples of \({\tilde{G}}\)-Biharmonic Unit Vector Fields
Example 3
Consider the hyperbolic space \({\mathbb {H}}^{n}\) \((n>1)\) of constant negative sectional curvature \(-k^{2}\), that is, \({\mathbb {H}}^{n}=({\mathbb {R}}^{n}_{+},g)\), where \({\mathbb {R}}^{n}_{+}=\{(y_{1},...,y_{n}) \in {\mathbb {R}}^{n}: y_{n}>0\}\) and
Vector fields \(e_{i}=ky_{n}\frac{\partial }{\partial y_{i}}\) for \(i=1,...,n\) provide an orthonormal frame on \({\mathbb {H}}^{n}\). Put \(V=e_{n}\). A standard calculation shows that covariant derivatives of \(e_{i}\) can be completely described as follows:
for all \(i, j<n\). In particular, (37) easily implies
and
The vertical and horizontal parts of the tension field become
Using (37), (38) and (39), the condition \(T(V)=0\) of the biharmonicity of a unit vector field V on M becomes
It follows that
-
either \(d=ak^2\) and, in this case, V is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\);
-
or \(d \ne ak^2\). In this case, \(d \ne 0\) since if not we have \(a \ne 0\) and (40) gives then \(ak^2=0\), which is a contradiction. On the other hand, \(a \ne 0\) since if not (40) yields \(\alpha d=0\), which is a contradiction. Taking into account these two last facts, (40) is equivalent to
$$\begin{aligned} b=\left( \frac{2\alpha }{d} -a\right) k -\frac{\alpha }{ak}. \end{aligned}$$(41)
We conclude then the following
Proposition 13
Let \({\mathbb {H}}^{n}\) \((n>1)\) be the hyperbolic space of constant negative sectional curvature \(-k^{2}\) and \({\tilde{G}}\) be an arbitrary pseudo-Riemannian g-natural metric on its unit tangent bundle. Then the vector field \(V=e_{n}\) is a \({\tilde{G}}\)-biharmonic unit vector field if and only if one of the two following statements is verified:
-
1.
\(d=ak^{2}\). In this case, V is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
-
2.
\(a \ne 0\), \(d \ne 0\), \(d \ne ak^2\) and (41). In this case, V is a proper \({\tilde{G}}\)-biharmonic unit vector field.
Corollary 14
Let \({\mathbb {H}}^{n}\) \((n>1)\) be the hyperbolic space of constant negative sectional curvature \(-k^{2}\). Then there is a three-parameter family of pseudo-Riemannian g-natural metrics on the unit tangent bundle with respect to which the vector field \(V=e_{n}\) is a proper \({\tilde{G}}\)-biharmonic unit vector field.
Example 4
Consider the solvable Lie group Sol\(_{3}\) as \({{\mathbb {R}}}^{3}\) equipped with the metric \(g_{sol}=e^{2z}dx^{2}+e^{-2z}dy^{2}+dz^2\) and the orthonormal frame field on it [23]:
With respect to this orthonormal frame, the Lie brackets and the Levi–Civita connection can be easily computed as follows:
A further computation gives
and the terms in 11 become
Using the formulas above, the condition of the \({\tilde{G}}\)-biharmonicity of a unit vector field (11) for the vector fields of the components of the frame field becomes
5.2.1 Biharmonicity of \(e_1\)
From the expression of \(T(e_{1})\) above, \(e_{1}\) is \({\tilde{G}}\)-biharmonic if and only if
According to the first equation of (43), we have two cases:
Case 1 \(d=0\). In this case, the second equation of (43) is equivalent to either \(b=0\) or \(b=\frac{a}{4\alpha }(2a(a+c) +\alpha )\).
Case 2 \(d \ne 0\). In this case, the first equation of (43) is equivalent to
and the second equation is equivalent to
Taking into account (44), equation (45) is equivalent to
-
either \(a+d=b=0\). In this case, \(e_1\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\);
-
or \(b \ne 0\), \(a+d \ne 0\) and \(\frac{\alpha +ad}{\varphi }-2a=0\). Then a simple calculation gives
$$\begin{aligned} b^2=-a\varphi =\frac{-\alpha -ad}{2}. \end{aligned}$$(46)In particular, we have \(a \ne 0\). Substituting from (46) into (44), we obtain by virtue of \(b \ne 0\)
$$\begin{aligned} b=-\frac{\alpha }{a+d}. \end{aligned}$$(47)Comparing (46) and (47), we obtain \(2\alpha ^2 +(a+d)^2\alpha +a(a+d)^2d=0\). Noticing that this quadratic equation in \(\alpha \) has a non-zero solution if and only if \(d \in ]-\infty ,3a-2\sqrt{2}|a|] \cup [3a+2\sqrt{2}|a|,+\infty [\) with \(d \ne 0\). In this case the solutions are given by
$$\begin{aligned} \alpha =\frac{-|a+d|}{4} (|a+d| \pm \sqrt{(a+d)^2 -8ad}). \end{aligned}$$(48)
Remark 5
Equation (48) shows that \(\alpha \) depends on 2 parameters a and d. On the other hand, from (47) we deduce that b depends on a and d. Consequently, by \(a(a+c) -b^2=\alpha \), it is clear that c depends on a and d.
5.2.2 Biharmonicity of \(e_2\)
From the expression of \(T(e_{2})\) above, \(e_{2}\) is \({\tilde{G}}\)-biharmonic if and only if
According to the first equation of (49), we have two cases:
Case 1 \(b=0\). In this case, since \(a \ne 0\) (\(\alpha \ne 0\)), the second equation of (49) is equivalent to either \(d=0\) or \(a+d=0\).
Case 2 \(b \ne 0\). In this case, the first equation of (49) is equivalent to either \(a =0\) or \(\alpha =d(a-d)\). But \(a=0\) gives by the second equation of (49) \(b=0\), and then \(\alpha =0\), which is a contradiction. We deduce that
and, in particular, \(d \ne 0\) and \(d \ne a\) (since \(\alpha \ne 0\)). Using (50), the second equation of (49) is equivalent to
In particular, \((a+d)(2a-d)<0\).
5.2.3 Biharmonicity of \(e_3\)
From the expression of \(T(e_{3})\) above, \(e_{3}\) is \({\tilde{G}}\)-biharmonic if and only if
-
either \(b=0\). In this case, \(e_{3}\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\);
-
or \(b \ne 0\) and \(2\alpha =ad\). In particular, \(a\ne 0\) and \(d \ne 0\).
To summarize the previous discussion, we can state the following
Proposition 15
Let Sol\(_{3}\) be the solvable Lie group \({{\mathbb {R}}}^{3}\) equipped with the metric \(g_{sol}=e^{2z}dx^{2}+e^{-2z}dy^{2}+dz^2\) and \({\tilde{G}}\) be an arbitrary pseudo-Riemannian g-natural metric on its unit tangent bundle. Let \(\{e_1,e_2,e_3\}\) be the orthonormal frame field given by
-
1.
\(e_1\) is a \({\tilde{G}}\)-biharmonic unit vector field if and only if one of the following assertions holds
-
\(d=b=0\) and \(a \ne 0\). In this case, \(e_1\) is proper \({\tilde{G}}\)-biharmonic.
-
\(d=0\), \(b \ne 0\) and \(b=\frac{a}{4\alpha }(2a(a+c) +\alpha )\). In this case, \(e_1\) is proper \({\tilde{G}}\)-biharmonic.
-
\(d \ne 0\) and \(b=a+d=0\). In this case, \(e_1\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
-
\(a \ne 0\), \(d \in \Big (]-\infty ,3a-2\sqrt{2}|a|] \cup [3a+2\sqrt{2}|a|,+\infty [\Big ) \setminus \{0\}\) and b and \(\alpha \) are given by (47) and (48), respectively. In this case, \(e_1\) is proper \({\tilde{G}}\)-biharmonic.
-
-
2.
\(e_2\) is a \({\tilde{G}}\)-biharmonic unit vector field if and only if one of the following assertions holds
-
\(d=b=0\) and \(a \ne 0\). In this case, \(e_2\) is proper \({\tilde{G}}\)-biharmonic.
-
\(b=0\), \(a+d=0\). In this case, \(e_2\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
-
\(a \ne 0\), \(d \ne 0\), \((a+d)(2a-d)<0\) and \(\alpha \) and b are given by (50) and (51), respectively. In this case, \(e_2\) is proper \({\tilde{G}}\)-biharmonic.
-
-
3.
\(e_3\) is a \({\tilde{G}}\)-biharmonic unit vector field if and only if one of the following assertions holds
-
\(b=0\). In this case, \(e_3\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
-
\(a \ne 0\), \(d \ne 0\), \(b \ne 0\), \(a+d=0\) and \(2\alpha =ad\). In this case, \(e_2\) is proper \({\tilde{G}}\)-biharmonic.
-
Example 5
On SU(2) equipped with a left-invariant Riemannian metric, take an orthonormal basis \(\{e_{1},e_{2},e_{3}\}\) of the Lie algebra su(2) such that [19]
where \(\lambda _{1}, \lambda _{2}\) and \(\lambda _{3}\) are strictly positive constants with \(\lambda _{1} \ge \lambda _{2} \ge \lambda _{3}\).
Then the Levi–Civita connexion \(\nabla \) is determined by
where:
A further computation gives
and the other components are zero. Furthermore, we get
To simplify the case, we can suppose that \(\lambda _{1}=\lambda _{2}=\lambda \) then \(\mu _{1}=\frac{\lambda _{3}}{2}\), \(\mu _{2}=\frac{\lambda _{3}}{2}\), \(\mu _{3}=\lambda -\frac{\lambda _{3}}{2}\) and we obtain
Using the formulas above, the condition of the biharmonicity of a unit vector field (11) for the vector fields of the frame field becomes:
So \(e_{3}\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
But \(e_{1}\) and \(e_{2}\) are \({\tilde{G}}\)-biharmonic unit vector fields if and only if
-
either \(b=0\). In this case, \(e_{1}\) and \(e_{2}\) are harmonic maps \((M,g) \rightarrow (T_1M,{\tilde{G}})\);
-
or \(\lambda _{3}=\lambda \). In this case, \(e_{1}\) and \(e_{2}\) are also harmonic maps \((M,g) \rightarrow (T_1M,{\tilde{G}})\);
-
or \(\lambda ^{2}-\lambda \lambda _{3}(1-\frac{ad}{\alpha })-\lambda _{3}^{2}(-1+\frac{ad}{2\alpha })=0\). Put \(\lambda =\sigma \lambda _3\), so that \(\sigma \ge 1\), and the quadratic equation above becomes \(\sigma ^{2}-(1-\frac{ad}{\alpha })\sigma -(-1+\frac{ad}{2\alpha })=0\), whose solutions are given by
$$\begin{aligned} \sigma = \frac{1}{2\alpha }\Big (\alpha -ad \pm \sqrt{a^2d^2 -3\alpha ^2}\Big ), \end{aligned}$$(52)under the condition \(a^2d^2 \ge 3\alpha ^2\).
Case 1 \(\sigma = \frac{1}{2\alpha }\Big (\alpha -ad + \sqrt{a^2d^2 -3\alpha ^2}\Big )\). This yields \(\alpha (1-2\sigma )-ad= \sqrt{a^2d^2 -3\alpha ^2}\), under the condition \(\alpha (1-2\sigma )-ad \ge 0\). A routine calculation gives
$$\begin{aligned} ad= \frac{2(\sigma ^2 -\sigma +1)}{1-2\sigma }\alpha . \end{aligned}$$(53)Note that the condition \(\sigma \ge 1\) in equation (53) gives the condition \(a^2d^2 \ge 3\alpha ^2\).
Case 2 \(\sigma = \frac{1}{2\alpha }\Big (\alpha -ad - \sqrt{a^2d^2 -3\alpha ^2}\Big )\). The same arguments as in case 1, gives (53), with the condition \(\alpha (1-2\sigma )-ad \le 0\).
Summarizing the last discussion, we get
Proposition 16
Let SU(2) equipped with a left-invariant Riemannian metric and \({\tilde{G}}\) be an arbitrary pseudo-Riemannian g-natural metric on its unit tangent bundle. Let \(\{e_{1},e_{2},e_{3}\}\) be an orthonormal basis of the Lie algebra su(2) such that
where \(\lambda >0\) and \(\sigma \ge 1\). Then
-
1.
\(e_{3}\) is a harmonic map \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
-
2.
\(e_1\) (resp. \(e_2\)) is a \({\tilde{G}}\)-biharmonic unit vector field if and only if one of the following assertions holds
-
\(b=0\) or \(\sigma =1\). In this case, \(e_1\) and \(e_2\) are harmonic maps \((M,g) \rightarrow (T_1M,{\tilde{G}})\).
-
\(b \ne 0\), \(\sigma \ne 1\) and equation (53) holds. In this case \(e_1\) and \(e_2\) are proper \({\tilde{G}}\)-biharmonic unit vector fields.
-
5.3 Some Particular Cases
Next we will investigate some particular cases of Theorem 11:
Theorem 17
Let (M, g) be a Riemannian manifold and \(T_{1}M\) be its unit tangent bundle equipped with an arbitrary pseudo-Riemannian Kaluza-Klein metric \({\tilde{G}}\) (i.e. \(b=d=0\)). Let \(U \in {\mathfrak {X}}_{1}(M)\). U is a \({\tilde{G}}\)-biharmonic unit vector field if and only if
If \(a=1\) and \(c=0\), i.e. \({\tilde{G}}=\widetilde{g^{s}}\), the result above is the same derived by Markellos and Urakawa in [17] in the case of Sasaki metric.
Given a compact Riemannian manifold (M, g). In [4], the authors defined a haramonic unit vector field U on M as a critical point of the energy functional \(E(U)=\frac{1}{2}\int _{M}\Vert dU\Vert ^{2}v_{g}\) restricted to \({\mathfrak {X}}^{1}(M)\), the set of all unit vector fields, and they showed that this kind of harmonicity of U does not depend upon the choice of the chosen g-natural metric \({\tilde{G}}\). More precisely, U is a harmonic unit vector field if and only if \({\overline{\Delta }}U\) and U are collinear. As a consequence of this result we have
Corollary 18
Let (M, g) be a Riemannian manifold and \(T_{1}M\) be its unit tangent bundle equipped with an arbitrary pseudo-Riemannian Kaluza-Klein metric \({\tilde{G}}\) (i.e. \(b=d=0\)). A harmonic unit vector field U on M is a \({\tilde{G}}\)-biharmonic unit vector field if and only if
If \(a=1\) and \(c=0\), i.e. \({\tilde{G}}=\widetilde{g^{s}}\), the result above is the same derived by Markellos and Urakawa in [17] in the case of Sasaki metric.
Theorem 19
Let (M, g) be a Riemannian manifold and \(T_{1}M\) be its unit tangent bundle equipped with an arbitrary pseudo-Riemannian Kaluza-Klein type metric \({\tilde{G}}\) (i.e. \(b=0\)). Let \(U \in {\mathfrak {X}}^{1}(M)\) satisfy \(S(U)=-\frac{d}{a}\text {div}(U)U\). Then U is a \({\tilde{G}}\)-biharmonic unit vector field if and only if
Corollary 20
Let (M, g) be a Riemannian manifold of constant sectional curvature k and \(T_{1}M\) be equipped with an arbitrary pseudo-Riemannian Kaluza-Klein type metric \({\tilde{G}}\) (i.e. \(b=0\)) such that \(d=-ak\) . A unit geodesic vector field U, i.e. \(\nabla _{U}U=0\), is a \({\tilde{G}}\)-biharmonic unit vector field if and only if
We can also discuss Theorem 11 for some special classes of vector fields such that Killing vector fields and Reeb vector fields.
Let (M, g) be a Riemannian manifold. As it is well known, \(U \in {\mathfrak {X}}(M)\) is a Killing vector field if the local 1-parameter group of U consists of local isometries of g. Moreover, a vector field U is a Killing vector field if and only if \({\mathcal {L}}_{U} g = 0\), where \({\mathcal {L}}\) denotes the Lie derivative, and we have in this case [4]:
Let \({\tilde{G}}\) be an arbitrary pseudo-Riemannian g-natural metric on \(T_{1}M\) with \(b=0\) and suppose that \(S(U)=0\). Then the horizontal and vertical parts of the tension field are given by
Then, as a corollary of Theorem 11, we get
Corollary 21
Let (M, g) be a Riemannian manifold and \(T_{1}M\) be equipped with an arbitrary pseudo-Riemannian g-natural Kaluza-Klein type metric \({\tilde{G}}\) (i.e. \(b=0\)). Let U be a unit Killing vector field on M which satisfies \(S(U)=0\) and suppose that QU and U are not collinear. Then U is a proper \({\tilde{G}}\)-biharmonic unit vector field if and only if
Now we consider the special case when the unit vector filed is the Reeb vector field \(\xi \) of a contact metric manifold \((M,\eta ,g)\).
A \((2m+1)\)-dimensional manifold M is said to be a contact metric manifold if it admits a global 1-form \(\eta \) such that \(\eta \wedge (d\eta )^{m}\ne 0\). There is a unique vector field \(\xi \), called the Reeb vector field (or the characteristic vector field), such that \(\eta (\xi )=1\) and \(d\eta (\xi ,.)=0\). Furthermore, a Riemannian metric g is said to be an associated metric if there exists a tensor field \(\varphi \) of type (1, 1) such that
By (58) it follows that \(\xi \) is a unit vector field on (M, g), and it satisfies
where \(h=\frac{1}{2}{\mathcal {L}}_{\xi }\varphi \).
Let \({\tilde{G}}\) be an arbitrary pseudo-Riemannian g-natural metric on \(T_{1}M\) with \(b=0\), and we suppose that \(S(\xi )=0\), then the horizontal and vertical parts of the tension filed are given by
Then we have
Corollary 22
Let \((M,\eta ,g)\) be a contact metric manifold and \(T_{1}M\) be equipped with an arbitrary pseudo-Riemannian g-natural Kaluza-Klein type metric \({\tilde{G}}\) (i.e. \(b=0\)). Suppose that the Reeb vector field \(\xi \) on M satisfies \(S(\xi )=0\) and we suppose that \(Q\xi \) and \(\xi \) are not collinear. Then \(\xi \) is a proper \({\tilde{G}}\)-biharmonic unit vector field if and only if
References
Abbassi, M.T.K.: Note on the classification Theorems of \(g\)-natural metrics on the tangent bundle of a Riemannian manifold \((M, g)\). Comment. Math. Univ. Carolinae. 45(4), 591–596 (2004)
Abbassi, M.T.K., Sarih, M.: On natural metrics on tangent bundles of Riemannian manifolds. Arch. Math. (Brno) 41, 71–92 (2005)
Abbassi, M.T.K., Sarih, M.: On some hereditary properties of Riemannian \(g\)-natural metrics on tangent bundles of Riemannian manifolds. Differ. Geom. Appl. 22(1), 19–47 (2005)
Abbassi, M.T.K., Calvaruso, G., Perrone, D.: Harmonicity of unit vector fields with respect to Riemannian g-natural metrics. Differ. Geom. Appl. 27, 157–169 (2009)
Abbassi, M.T.K., Calvaruso, G., Perrone, D.: Harmonic sections of tangent bundles equipped with g-natural Riemannian metrics. Q. J. Math. 62(2), 259–288 (2011)
Benyounes, M., Loubeau, E., Todjihounde, L.: Harmonic maps and Kaluza-Klein metrics on spheres. Rocky Mt. J. Math. 42(3), 791–821 (2012)
Eells, J., Lemaire, L.: A report on harmonic maps. Bull. Lond. Math. Soc. 10, 1–68 (1978)
Eells, J., Lemaire, L.: Selected Topics in Harmonic Maps, CBMS Regional Conference Series in Mathematics, Number 50 (1983)
Eells, J., Sampson, J.H.: Harmonic mappings of Riemannian manifolds. Am. Math. J. 86, 109–160 (1964)
Gil-Medrano, O.: Relationship between volume and energy of vector fields. Differ. Geom. Appl. 15, 137–152 (2001)
Gil-Medrano, O.: Unit vector fields that are critical points of the volume and of energy: characterization and examples. In: Complex, Contact and Symmetric Manifolds, Progress in Mathematics, vol. 234, pp. 165–186. Birkhäuser (2005)
Ishihara, T.: Harmonic sections of tangent bundles. J. Math. Tokushima Univ. 13, 23–27 (1979)
Jiang, G.: 2-harmonic maps and their first and second variatinal formulas. Note di Matematica 28(suppl. 1), 209–232 (2008)
Kolář, I., Michor, P.W., Slovák, J.: Natural Operations in Differential Geometry. Springer, Berlin (1993)
Kowalski, O., Sekizawa, M.: Natural transformations of Riemannian metrics on manifolds to metrics on tangent bundles-a classification. Bull. Tokyo Gakugei Univ. 40(4), 1–29 (1988)
Loubeau, E., Markellos, M.: The biharmonic homotopy problem for unit vector fields on 2-tori. Ann. Mat. Pura Appl. 198, 1639–1650 (2019)
Markellos, M., Urakawa, H.: The bienergy of unit vector fields. Ann. Glob. Anal. Geome. 46(4), 431–457 (2014)
Markellos, M., Urakawa, H.: The biharmonicity of sections of the tangent bundle. Monatsh. Math. 178(3), 389–404 (2015)
Milnor, J.: Curvature of left invariant metrics on Lie groups. Adv. Math. 21, 293–329 (1976)
Oniciuc, C.: Nonlinear connections on tangent bundle and harmonicity. Ital. J. Pure Appl. Math. 6, 109–122 (1999)
Oniciuc, C.: Harmonic sections in the unitary tangent bundle. Demonstratio Math. 34(3), 681–692 (2001)
Oproiu, V.: Some new geometric structures on the tangent bundle. Publ. Math. Debrecen 55, 261–281 (1999)
Ou, Y.L., Wang, Z.P.: Constant mean curvature and totally umbilical biharmonic surfaces in 3-dimensional geometries. J. Geom. Phys. 61, 1845–1853 (2011)
Urakawa, H.: Calculus of Variations and Harmonic Maps. Monographs-American Mathematical Society, Transl. Math (1993)
Urakawa, H.: Harmonic maps and biharmonic maps. Symmetry 7, 651–674 (2015)
Wood, C.M.: An existence theorem for harmonic sections. Manuscr. Math. 68, 69–75 (1990)
Wood, C.M.: On the energy of a unit vector field. Geom. Dedicata 64, 319–330 (1997)
Acknowledgements
The authors would like to thank E. Loubeau for his valuable comments and suggestions on a first version of this paper. They thank also the anonymous referee for many useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: F-Tensor Fields
In this Appendix, we give basic facts on F-tensor fields which will be needed in this work. For the proofs and more details, we refer to [3].
F-tensor fields are mappings \(A :TM \oplus \underbrace{TM \oplus ...\oplus TM}_{s \; times} \rightarrow \bigsqcup _{x \in M} \otimes ^r M_x\) which are linear in the last s summands such that \(\pi _2 \circ A =\pi _1 \), where \(\pi _1\) and \(\pi _2\) are the natural projections of the source and target fibre bundles of A, respectively. For \(r=0\) and \(s=2\), we obtain the classical notion of F-metrics. So, if we denote by \(\oplus \) the fibered product of fibered manifolds, then F-metrics are mappings \(TM \oplus TM \oplus TM \rightarrow {\mathbb {R}}\) which are linear in the second and the third argument.
Fix \((x,u) \in TM\) and a system of normal coordinates \(S:=(U;x^1,..., x^m)\) of (M, g) centred at x. Then we can define on U the vector field \(\mathrm {U}:= \sum _i u^i \; \frac{\partial }{\partial x^i}\), where \((u^1,...,u^m)\) are the coordinates of (x, u) with respect to the basis \(((\frac{\partial }{\partial x^i})_x;\; i=1,...,m)\) of \(M_x\).
Let P be an F-tensor field of type (p, q) on M. Then, on U, we can define a (p, q)-tensor field \(P_u^S\) (or \(P_u\) if there is no risk of confusion), associated to u and S, by
for all \((X_1,...,X_q) \in M_z\), \(z \in U\). Informally, we can say that we have “tensorized” P at u with respect to S.
On the other hand, if we fix \(x \in M\) and q vectors \(X_1,...,X_q\) in \(M_x\), then we can define a \(C^\infty \)-mapping \(P_{(X_1,...,X_q)}:M_x \rightarrow \otimes ^p M_x\) , associated to \((X_1,...,X_q)\), by
for all \(u \in M_x\).
Let \(s>t\) be two non-negative integers, T be a (1, s)-tensor field on M and \(P^T\) be an F-tensor field, of type (1, t), of the form:
for all \((u,X_1,...,X_t) \in TM \oplus ... \oplus TM\), i.e. u appears \(s-t\) times at positions \(i_1,...,i_{s-t}\) in the expression of T. Then
-
* \(P^T_u\) is a (1, t)-tensor field on a neighborhood U of x in M, for all \(u \in M_x\);
-
* \(P^T_{(X_1,...,X_t)}\) is a \(C^\infty \)-mapping \(M_x \rightarrow M_x\), for all \(X_1,...,X_t\) in \(M_x\).
Furthermore, we have
Lemma 23
-
(1)
The covariant derivative of \(P^T_u\), with respect to the Levi–Civita connection of (M, g), is given by
$$\begin{aligned} (\nabla _{X} P^T_u)(X_1,...,X_t) = (\nabla _X T)(X_1,...,u,...,u ,..., X_{t}) , \end{aligned}$$(63)for all vectors X, \(X_1\),..., \(X_{t}\) in \(M_x\), where u appears at positions \(i_1,...,i_{s-t}\) in the right-hand side of the preceding formula.
-
(2)
The differential of \(P^T_{(X_1,...,X_t)}\), at \(u \in M_x\), is given by
$$\begin{aligned} d_u(P^T_{(X_1,...,X_t)})(X)= & {} T(X_1,...,X,...,u,...,X_{t}) \nonumber \\&+... +T(X_1,...,u,...,X,...,X_{t}), \end{aligned}$$(64)
for all \(X \in M_x\).
We have also the following:
Lemma 24
Let T be a (1, s)-tensor field on M. Then
for all vector fields \(X_1\),..., \(X_{t}\) on M and \(X \in M_x\), where u appears at positions \(i_1,...,i_{s-t}\) in in any expression of T. Here, \(X^h\) and \(X^v\) are taken at (x, u).
Now, let P be the F-tensor field of type (1, t) of the form:
where \(f_i: {\mathbb {R}}^+ \rightarrow {\mathbb {R}}\) are real-valued functions on \({\mathbb {R}}^+\), and any \(T_i\) is a \((1,s_i)\)-tensor field on M, \(s_i > t\), with the \(s_i\)’s not necessarily equal. Then, we have
Lemma 25
Let P be an F-tensor field, of type (1, t), on M given by (65). Then
for all \(u,X,X_1,...,X_t \in M_x\).
If we denote by \(h\{P(u;X_1,...,X_t)\}\) (resp. \(v\{P(u;X_1,...,X_t)\}\)) the quantity
then we can assert
Lemma 26
for all vector fields \(X_1,...,X_t\) on M and \(X \in M_x\). Here \(X^h\) and \(X^v\) are taken at (x, u).
Now, the existence of non-vanishing parallel vector field on a Riemannian manifold (M, g) implies that all the F-tensors fields A, B, C, D, E and F reduce to the following form:
where \(f_{i}:{\mathbb {R}}^{+}\longrightarrow {\mathbb {R}}\) are real-valued function on \({\mathbb {R}}^{+}\).
Lemma 27
Let P be an F-tensor field, of type (1, 2), on M given by (68). Then
for all \(u,X,Y,Z \in M_x\).
Appendix B: Details of the Proof of Theorem 11
1.1 Notations
Let U be a unit vector field on (M, g) and \(I=]-\epsilon ,\epsilon [\), \((\epsilon >0)\). For \(t \in I\), we denote by \(i_{t}:M \longrightarrow M \times I\), \(p\longrightarrow (p,t)\), the canonical inclusion and we consider a \(C^{\infty }\)-variation \(V:M \times I \longrightarrow T_{1}M\) of U within \({\mathfrak {X}}_{1}(M)\), i.e. for all \(t \in I\) the mappings \(V_{t}=V\circ i_{t}\) are in fact unit vector fields and \(V_{0}=U\).
We choose \(\{e_{i}\}_{i=1}^{m}\) a local othonormal frame field of (M, g). Then we can extend each \(e_{i}\big (resp. \frac{d}{dx}\in {\mathfrak {X}}(I)\big )\) to a local vector field on \(M \times I\) denoted by \(E_{i}(resp. \frac{d}{dt})\). We have then \([E_{i},\frac{d}{dt}]=0\). Furthermore, denoting by D the Levi–Civita connection of the Riemannian product manifold \(M \times I\) and by \(R^{D}\) the Riemannian product, we have (using the second Bianchi identity for the last relation)
for all \(1 \le i \le m\). We set
-
1.
\(S(U)=\sum _{i=1}^{n}R\big (\nabla _{e_{i}}U,U)\big )e_{i}\);
-
2.
\(\overset{-}{\Delta }U=\sum _{i=1}^{n} \big \{\nabla _{\nabla _{e_{i}}e_{i}}U-\nabla _{e_{i}}\nabla _{e_{i}}U\big \} \);
-
3.
\(Z=\sum _{i=1}^{n}R^{D}(D_{E_{i}}V,V)E_{i}\);
-
4.
\(\Omega =\sum _{i=1}^{n}[D_{D_{E_{i}}E_{i}}V-D_{E_{i}}D_{E_{i}}V]\);
-
5.
\(W=\sum _{i=1}^{n}R^{D}(V,E_{i})E_{i}\);
-
6.
\(S(V_{t})=Z\circ i_{t}\);
-
7.
\(\overset{-}{\Delta }V_{t}=\Omega \circ i_{t}\);
-
8.
\(QV_{t}=W \circ i_{t}\);
-
9.
\({\mathbb {H}}=-\frac{b(ad+b^{2})}{\alpha \varphi }g(W,V)-\frac{b}{\varphi }g(\Omega ,V)+\frac{d}{\varphi }div(V)+\frac{a(ad+b^{2})}{\alpha \varphi }g(Z,V)\);
-
10.
\({\mathbb {V}}=\frac{b^{2}}{\alpha }g(W,V)+g(\Omega ,V)-\frac{ab}{\alpha }g(Z,V)\);
-
11.
\({\mathcal {H}}(V_{t})={\mathcal {H}}_{t}={\mathbb {H}} \circ i_{t}\);
-
12.
\({\mathcal {V}}(V_{t})={\mathcal {V}}_{t}={\mathbb {V}} \circ i_{t}\);
-
13.
\({\tilde{\tau }}_{h}=\frac{ab}{\alpha }W-\frac{a^{2}}{\alpha }Z-\frac{ad}{\alpha }D_{V}V+{\mathbb {H}}V\);
-
14.
\({\tilde{\tau }}_{v}=-\Omega -\frac{b^{2}}{\alpha }W+\frac{ab}{\alpha }Z+\frac{bd}{\alpha }D_{V}V+{\mathbb {V}}V\);
-
15.
\(g({\tilde{\tau }}_{v},V)=0\);
-
16.
\({\tilde{\tau }}_{v,h}(V_{t})={\tilde{\tau }}_{v,h}\circ i_{t}\) (we denote by \({\tilde{\tau }}_{v,h}\): \({\tilde{\tau }}_{h}\) or \({\tilde{\tau }}_{v}\));
-
17.
\({\mathfrak {L}}(.)=\sum _{i=1}^{n}\Big \{2R(e_{i},.)\nabla _{e_{i}}U+(\nabla _{e_{i}}R)(e_{i},.)U+R(e_{i},\nabla _{e_{i}}.)U\Big \}\) and \({\mathfrak {L}}={\mathfrak {L}}(U)\);
-
18.
\({\mathfrak {L}}^{D}(.)=\sum _{i=1}^{n}\Big \{2R^{D}(E_{i},.)D_{E_{i}}V+(D_{E_{i}}R^{D})(E_{i},.)V+R^{D}(E_{i},D_{E_{i}}.)V\Big \}\);
-
19.
\({\mathfrak {L}}^{D}={\mathfrak {L}}^{D}(V)=\sum _{i=1}^{n}\Big \{2R^{D}(E_{i},V)D_{E_{i}}V+(D_{E_{i}}R^{D})(E_{i},V)V +R^{D}(E_{i},D_{E_{i}}V)V\Big \}\);
-
20.
\(\eta _{t}(X)=g\big (D_{\frac{d}{dt}}V,D_{X}V\big )=\big (D_{\frac{d}{dt}}V\big )^{\flat }(D_{X}V)\);
-
21.
\(p^{v,h}_{t}(X)=g\big (D_{\frac{d}{dt}}V,D_{X}\tau _{v,h}\big )\);
-
22.
\(\omega _{t}(X)=g\big (R^{D}(X,V)V,D_{\frac{d}{dt}}V\big )\);
-
23.
\(g^{v,h}_{t}(X)=g\big (R^{D}(X,\tau _{v,h})V,D_{\frac{d}{dt}}V\big )\);
-
24.
\(d^{v,h}_{t}(X)=g(D_{\frac{d}{dt}}V,g(X,V)\tau _{v,h})\);
-
25.
\(z_{t}(X)=g(D_{\frac{d}{dt}}V,X)\);
-
26.
\({\tilde{\tau }}(U)\) is the tension field of a unit vector field: \({\tilde{\tau }}(V)=h\{{\tilde{\tau }}_{h}(V)\}+v\{{\tilde{\tau }}_{v}(V)\}\).
1.2 The Bienergy of a Unit Tangent Vector Field
We have
Now we calculate the first variation of \(E_{2}\):
We should determine each integral separately and to do that we have to compute some useful formulas.
1.3 Formulas
1.3.1 Calculus of \(g\big (D_{\frac{d}{dt}}.,{\tilde{\tau }}_{v,h}\big )\)
Then
Then
Then
1.3.2 Calculus of \( g\big (D_{\frac{d}{dt}}.,V\big )\)
Then
Then
1.3.3 Calculus of \(g\big (D_{\frac{d}{dt}}({\mathbb {H}}V),V)\)
Then
1.3.4 Calculus of \(g\big (D_{\frac{d}{dt}}({\mathbb {V}}V),V\big )\)
1.4 First Variation Formula of \(E_{2}(V_{t})\)
1.4.1 Calculus of \(\frac{d}{dt}\displaystyle \int _{M}g({\tilde{\tau }}_{h},V)^{2}dv\)
We have
Calculus of \(\displaystyle \int _{M}g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )g\big ({\tilde{\tau }}_{h},V\big )dv\):
-
1.
Calculus of \(g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )\):
$$\begin{aligned} g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )= & {} \frac{ab}{\alpha }g(D_{\frac{d}{dt}}W,V)-\frac{a^{2}}{\alpha }g(D_{\frac{d}{dt}}Z,V)\\&+D_{\frac{d}{dt}}({\mathbb {H}})-\frac{ad}{\alpha }g(D_{\frac{d}{dt}}D_{V}V,V)\\= & {} \frac{ab}{\alpha }g(W,D_{\frac{d}{dt}}V)-\frac{a^{2}}{\alpha }g({\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)+\frac{a^{2}}{\alpha }div(\omega _{t})\\&-2\frac{b(ad+b^{2})}{\alpha \varphi } g(W,D_{\frac{d}{dt}}V)+\frac{a(ad+b^{2})}{\alpha \varphi } g(Z,D_{\frac{d}{dt}}V)\\&+\frac{a(ad+b^{2})}{\alpha \varphi } g({\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)-\frac{a(ad+b^{2})}{\alpha \varphi } div(\omega _{t})-2\frac{b}{\varphi }div(\eta _{t})\\&-2\frac{b}{\varphi }g(\Omega ,D_{\frac{d}{dt}}V)+\frac{ad}{\alpha }g(D_{V}V,D_{\frac{d}{dt}}V)+\frac{d}{\varphi }div(z_{t}). \end{aligned}$$Then
$$\begin{aligned} \begin{aligned} g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )&= (\frac{ab}{\alpha }-2\frac{b(ad+b^{2})}{\alpha \varphi })g(W,D_{\frac{d}{dt}}V)+\frac{a(ad+b^{2})}{\alpha \varphi } g(Z,D_{\frac{d}{dt}}V) \\&\quad +(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })\big [g({\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)-div(\omega _{t})\big ] -2\frac{b}{\varphi }div(\eta _{t}) \\&\quad -2\frac{b}{\varphi }g(\Omega ,D_{\frac{d}{dt}}V)+\frac{ad}{\alpha }g(D_{V}V,D_{\frac{d}{dt}}V)+\frac{d}{\varphi }div(z_{t}). \end{aligned} \end{aligned}$$(82) -
2.
Calculus of \(g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )g\big ({\tilde{\tau }}_{h},V\big )\):
$$\begin{aligned}&g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )g\big ({\tilde{\tau }}_{h},V\big )\nonumber \\&\quad =(\frac{ab}{\alpha }-2\frac{b(ad+b^{2})}{\alpha \varphi })g(g\big ({\tilde{\tau }}_{h},V\big )W,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +\frac{a(ad+b^{2})}{\alpha \varphi }g(g\big ({\tilde{\tau }}_{h},V\big )Z,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })g(g\big ({\tilde{\tau }}_{h},V\big ){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V) +\frac{d}{\varphi }g\big ({\tilde{\tau }}_{h},V\big )div(z_{t})\nonumber \\&\qquad -(\frac{a(ad+b^{2})}{\alpha \varphi }-2\frac{b}{\varphi }g\big ({\tilde{\tau }}_{h},V\big )div(\eta _{t})-\frac{a^{2}}{\alpha })g\big ({\tilde{\tau }}_{h},V\big )div(\omega _{t})\nonumber \\&\qquad -2\frac{b}{\varphi }g(g\big ({\tilde{\tau }}_{h},V\big )\Omega ,D_{\frac{d}{dt}}V) +\frac{ad}{\alpha }g(g\big ({\tilde{\tau }}_{h},V\big )D_{V}V,D_{\frac{d}{dt}}V). \end{aligned}$$(83) -
3.
Calculus of \(g\big ({\tilde{\tau }}_{h},V\big )div(\omega _{t})\) et \(g\big ({\tilde{\tau }}_{h},V\big )div(\eta _{t})\):
We have
$$\begin{aligned} h_{t} div(\omega _{t})=div(\omega _{t} h_{t} )-\omega _{t}(grad (h_{t})). \end{aligned}$$(84)We set
$$\begin{aligned} h_{t}=g\big ({\tilde{\tau }}_{h},V\big ). \end{aligned}$$We get
$$\begin{aligned} g\big ({\tilde{\tau }}_{h},V\big )div(\omega _{t})= & {} div\Big [g\big ({\tilde{\tau }}_{h},V\big )\omega _{t}\Big ]\nonumber \\&-g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ], \end{aligned}$$(85)and
$$\begin{aligned} g\big ({\tilde{\tau }}_{h},V\big )div(\eta _{t})= & {} div\Big [g\big ({\tilde{\tau }}_{h},V\big )\eta _{t}\Big ]\nonumber \\&-g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V), \end{aligned}$$(86)and
$$\begin{aligned} g\big ({\tilde{\tau }}_{h},V\big )div(z_{t})= & {} div\Big [g\big ({\tilde{\tau }}_{h},V\big )z{t}\Big ]\nonumber \\&-g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{h},V)]). \end{aligned}$$(87)we obtain
$$\begin{aligned}&g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )g\big ({\tilde{\tau }}_{h},V\big ) \nonumber \\&\quad =(\frac{ab}{\alpha }-2\frac{b(ad+b^{2})}{\alpha \varphi })g(g\big ({\tilde{\tau }}_{h},V\big )W,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +\frac{a(ad+b^{2})}{\alpha \varphi }g(g\big ({\tilde{\tau }}_{h},V\big )Z,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })g(g\big ({\tilde{\tau }}_{h},V\big ){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)-2\frac{b}{\varphi }g(g\big ({\tilde{\tau }}_{h},V\big )\Omega ,D_{\frac{d}{dt}}V)\nonumber \\&\qquad -(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })div\Big [g\big ({\tilde{\tau }}_{h},V\big )\omega _{t}\Big ]-2\frac{b}{\varphi }div\Big [g\big ({\tilde{\tau }}_{h},V\big )\eta _{t}\Big ]\nonumber \\&\qquad +(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ] \nonumber \\&\qquad +2\frac{b}{\varphi }g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V) +\frac{ad}{\alpha }g(g\big ({\tilde{\tau }}_{h},V\big )D_{V}V,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +\frac{d}{\varphi }div\Big [g\big ({\tilde{\tau }}_{h},V\big )z_{t}\Big ]-\frac{d}{\varphi }g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{h},V)]). \end{aligned}$$(88) -
4.
Calculus of \(\displaystyle \int _{M}g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )g\big ({\tilde{\tau }}_{h},V\big )dv\):
$$\begin{aligned}&\displaystyle \int _{M}g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},V\big )g\big ({\tilde{\tau }}_{h},V\big )dv\nonumber \\&\quad =\displaystyle \int _{M}\bigg [(\frac{ab}{\alpha }-2\frac{b(ad+b^{2})}{\alpha \varphi })g(g\big ({\tilde{\tau }}_{h},V\big )W,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +\frac{a(ad+b^{2})}{\alpha \varphi }g(g\big ({\tilde{\tau }}_{h},V\big )Z,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })g(g\big ({\tilde{\tau }}_{h},V\big ){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V) -2\frac{b}{\varphi }g(g\big ({\tilde{\tau }}_{h},V\big )\Omega ,D_{\frac{d}{dt}}V)\nonumber \\&\qquad +(\frac{a(ad+b^{2})}{\alpha \varphi }-\frac{a^{2}}{\alpha })g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\nonumber \\&\qquad +2\frac{b}{\varphi }g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V)+\frac{ad}{\alpha }g(g\big ({\tilde{\tau }}_{h},V\big )D_{V}V,D_{\frac{d}{dt}}V)\nonumber \\&\qquad -\frac{d}{\varphi }g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{h},V)])\bigg ]v_{g}. \end{aligned}$$(89)
1.4.2 Calculus of \(D_{\frac{d}{dt}}\displaystyle \int _{M}g\big ({\tilde{\tau }}_{h},{\tilde{\tau }}_{h}\big )\circ i_{t}v_{g}\):
We have
-
1.
Calculus of \(g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{h}\big )\):
$$\begin{aligned}&g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{h}\big )\\&\quad =\frac{ab}{\alpha }g(D_{\frac{d}{dt}}W,{\tilde{\tau }}_{h}) -\frac{a^{2}}{\alpha }g(D_{\frac{d}{dt}}Z,{\tilde{\tau }}_{h})+g(D_{\frac{d}{dt}}({\mathbb {H}}).V,{\tilde{\tau }}_{h})\\&\qquad +g({\mathbb {H}}. D_{\frac{d}{dt}}V,{\tilde{\tau }}_{h})-\frac{ad}{\alpha }g(D_{\frac{d}{dt}}D_{V}V,{\tilde{\tau }}_{h})\\&\quad =\frac{ab}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{h},E_{i})E_{i},D_{\frac{d}{dt}}V\big ) -\frac{a^{2}}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{h}),D_{\frac{d}{dt}}V\big )\\&\qquad +\frac{a^{2}}{\alpha }div(g_{t}^{h})+g( D_{\frac{d}{dt}}V,{\mathbb {H}}{\tilde{\tau }}_{h})-2\frac{b(ad+b^{2})}{\alpha \varphi } g(g({\tilde{\tau }}_{h},V)W,D_{\frac{d}{dt}}V)\\&\qquad +\frac{a(ad+b^{2})}{\alpha \varphi } g(g({\tilde{\tau }}_{h},V)Z,D_{\frac{d}{dt}}V)+\frac{a(ad+b^{2})}{\alpha \varphi } g(g({\tilde{\tau }}_{h},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)\\&\qquad -\frac{a(ad+b^{2})}{\alpha \varphi }g({\tilde{\tau }}_{h},V) div(\omega _{t})-2\frac{b}{\varphi }g({\tilde{\tau }}_{h},V)div(\eta _{t})\\&\qquad -2\frac{b}{\varphi }g(g({\tilde{\tau }}_{h},V)\Omega ,D_{\frac{d}{dt}}V) +\frac{d}{\varphi }g({\tilde{\tau }}_{h},V)div(z_{t})\\&\qquad -\frac{ad}{\alpha }\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v,h}\big )E_{i},D_{\frac{d}{dt}}V\big )-\frac{ad}{\alpha }div(d^{v}_{t}) \\&\qquad +\frac{ad}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v,h}\big )+\frac{ad}{\alpha }g\big (D_{\frac{d}{dt}}V,D_{V}{\tilde{\tau }}_{v,h}\big ). \end{aligned}$$Then
$$\begin{aligned} \begin{aligned}&g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{h}\big )\\&\quad =\frac{ab}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{h},E_{i})E_{i},D_{\frac{d}{dt}}V\big ) +g( D_{\frac{d}{dt}}V,{\mathbb {H}}{\tilde{\tau }}_{h})\\&\qquad -\frac{a^{2}}{\alpha }\Big [g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{h}),D_{\frac{d}{dt}}V\big )-div(g_{t}^{h})\Big ]\\&\qquad +\frac{b(ad+b^{2})}{\alpha \varphi } \Big [-2g(g({\tilde{\tau }}_{h},V)W,D_{\frac{d}{dt}}V)-div\Big [g\big ({\tilde{\tau }}_{h},V\big )\omega _{t}\Big ]\\&\qquad + g(g({\tilde{\tau }}_{h},V)Z,D_{\frac{d}{dt}}V)+ g(g({\tilde{\tau }}_{h},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)\\&\qquad +g\Big (R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big )\Big ] -2\frac{b}{\varphi }\Big [div\Big [g\big ({\tilde{\tau }}_{h},V\big )\eta _{t}\Big ]\\&\qquad -g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V) +g(g({\tilde{\tau }}_{h},V)\Omega ,D_{\frac{d}{dt}}V)\Big ]\\&\qquad -\frac{ad}{\alpha }\Big [\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v,h}\big )E_{i},D_{\frac{d}{dt}}V\big ) +div(d^{v}_{t}) \\&\qquad -\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v,h}\big ) -g\big (D_{\frac{d}{dt}}V,D_{V}{\tilde{\tau }}_{v,h}\big )\Big ]\\&\qquad +\frac{d}{\varphi }\Big [div\Big [g\big ({\tilde{\tau }}_{h},V\big )z_{t}\Big ] -g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{h},V)])Big]. \end{aligned} \end{aligned}$$We deduce
$$\begin{aligned}&\displaystyle \int _{M}g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{h}\big )\circ i_{t}v_{g}\nonumber \\&\quad =\displaystyle \int _{M}\bigg [\frac{ab}{\alpha }g\big (R^{D}({\tilde{\tau }}_{h},E_{i})E_{i},D_{\frac{d}{dt}}V\big )\nonumber \\&\qquad -\frac{a^{2}}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{h}),D_{\frac{d}{dt}}V\big )+g( D_{\frac{d}{dt}}V,{\mathbb {H}}{\tilde{\tau }}_{h})\nonumber \\&\qquad +\frac{b(ad+b^{2})}{\alpha \varphi }Big[-2 g(g({\tilde{\tau }}_{h},V)W,D_{\frac{d}{dt}}V)+g(g({\tilde{\tau }}_{h},V)Z,D_{\frac{d}{dt}}V)\nonumber \\&\qquad + g(g({\tilde{\tau }}_{h},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)+g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\Big ]\nonumber \\&\qquad +2\frac{b}{\varphi }\Big [g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V)-g(g({\tilde{\tau }}_{h},V)\Omega ,D_{\frac{d}{dt}}V)\Big ]\nonumber \\&\qquad -\frac{ad}{\alpha }\Big [\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v,h}\big )E_{i},D_{\frac{d}{dt}}V\big ) \nonumber \\&\qquad -\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v,h}\big )- g\big (D_{\frac{d}{dt}}V,D_{V}{\tilde{\tau }}_{v,h}\big )\Big ]\nonumber \\&\qquad -\frac{d}{\varphi }g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{h},V)])\bigg ]\circ i_{t}v_{g}. \end{aligned}$$(91)
1.4.3 Calculus of \(D_{\frac{d}{dt}}\displaystyle \int _{M}g\big ({\tilde{\tau }}_{v},{\tilde{\tau }}_{v}\big )\circ i_{t}v_{g}\):
We have
-
1.
Calculus of \(g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{v},{\tilde{\tau }}_{v}\big )\):
$$\begin{aligned} g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{v},{\tilde{\tau }}_{v}\big )= & {} -g(D_{\frac{d}{dt}}\Omega ,{\tilde{\tau }}_{v}) \nonumber \\&+\frac{ab}{\alpha }g(D_{\frac{d}{dt}}Z,{\tilde{\tau }}_{v})+\frac{bd}{\alpha }g(D_{\frac{d}{dt}}D_{V}V,{\tilde{\tau }}_{v}) \nonumber \\&-\frac{b^{2}}{\alpha }g(D_{\frac{d}{dt}}W,{\tilde{\tau }}_{v}) +g(D_{\frac{d}{dt}}({\mathbb {V}}).V,{\tilde{\tau }}_{v})+g({\mathbb {V}}. D_{\frac{d}{dt}}V,{\tilde{\tau }}_{v})\nonumber \\= & {} -2div(p^{v,h}_{t})-\Delta \big [g\big (D_{\frac{d}{dt}}V,{\tilde{\tau }}_{v}\big )\big ]-g\big (D_{\frac{d}{dt}}V,\overset{-}{\Delta }{\tilde{\tau }}_{v}\big ) \nonumber \\&-\frac{b^{2}}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{v},E_{i})E_{i},D_{\frac{d}{dt}}V\big )\nonumber \\&+\frac{ab}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{v}),D_{\frac{d}{dt}}V\big )-\frac{ab}{\alpha }div(g_{t})+g({\mathbb {V}}. D_{\frac{d}{dt}}V,{\tilde{\tau }}_{v})\nonumber \\&+2\frac{b^{2}}{\alpha }g(g({\tilde{\tau }}_{v},V)W,D_{\frac{d}{dt}}V)-\frac{ab}{\alpha }g(g({\tilde{\tau }}_{v},V)Z,D_{\frac{d}{dt}}V) \nonumber \\&-\frac{ab}{\alpha }g(g({\tilde{\tau }}_{v},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V) +2g(g({\tilde{\tau }}_{v},V)\Omega ,D_{\frac{d}{dt}}V)\nonumber \\&-\frac{ab}{\alpha }g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{v},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\nonumber \\&+\frac{ab}{\alpha }div\Big [g\big ({\tilde{\tau }}_{v},V\big )\omega _{t}\Big ] +2div\Big [g\big ({\tilde{\tau }}_{v},V\big )\eta _{t}\Big ]\nonumber \\&-2g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{v},V)]}V) -\frac{bd}{\alpha }g\big (D_{\frac{d}{dt}}V,D_{V}{\tilde{\tau }}_{v}\big )\nonumber \\&+\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v}\big )E_{i},D_{\frac{d}{dt}}V\big )\nonumber \\&+\frac{bd}{\alpha }div(d^{v}_{t})-\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v}\big ). \end{aligned}$$(93)We obtain
$$\begin{aligned}&\displaystyle \int _{M} g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{v},{\tilde{\tau }}_{v}\big )\circ i_{t} v_{g}\nonumber \\&\quad =\displaystyle \int _{M}\bigg [-g\big (D_{\frac{d}{dt}}V,\overset{-}{\Delta }{\tilde{\tau }}_{v}\big )-\frac{b^{2}}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{v},E_{i})E_{i},D_{\frac{d}{dt}}V\big ) \nonumber \\&\qquad +\frac{ab}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{v}),D_{\frac{d}{dt}}V\big )+g({\mathbb {V}}. D_{\frac{d}{dt}}V,{\tilde{\tau }}_{v})+2\frac{b^{2}}{\alpha }g(g({\tilde{\tau }}_{v},V)W,D_{\frac{d}{dt}}V)\nonumber \\&\qquad -\frac{ab}{\alpha }g(g({\tilde{\tau }}_{v},V)Z,D_{\frac{d}{dt}}V)-\frac{ab}{\alpha }g(g({\tilde{\tau }}_{v},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)\nonumber \\&\qquad +2g(g({\tilde{\tau }}_{v},V)\Omega ,D_{\frac{d}{dt}}V)-\frac{ab}{\alpha }g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{v},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\nonumber \\&\qquad -2g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{v},V)]}V)+\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v}\big )E_{i},D_{\frac{d}{dt}}V\big )\nonumber \\&\qquad -\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v}\big ) -\frac{bd}{\alpha }g\big (D_{\frac{d}{dt}}V,D_{V}{\tilde{\tau }}_{v}\big )\bigg ]\circ i_{t}dv_{g}. \end{aligned}$$(94)
1.4.4 Calculus of \(D_{\frac{d}{dt}}\displaystyle \int _{M}g\big ({\tilde{\tau }}_{h},{\tilde{\tau }}_{v}\big )\circ i_{t}v_{g}\):
We have
-
1.
Calculus of \(g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{v},{\tilde{\tau }}_{h}\big )\):
$$\begin{aligned} g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{v},{\tilde{\tau }}_{h}\big )= & {} -g(D_{\frac{d}{dt}}\Omega ,{\tilde{\tau }}_{h})+\frac{ab}{\alpha }g(D_{\frac{d}{dt}}Z,{\tilde{\tau }}_{h}) +\frac{bd}{\alpha }g(D_{\frac{d}{dt}}D_{V}V,{\tilde{\tau }}_{h})\\&-\frac{b^{2}}{\alpha }g(D_{\frac{d}{dt}}W,{\tilde{\tau }}_{h})+g(D_{\frac{d}{dt}}({\mathbb {V}}).V,{\tilde{\tau }}_{h})+g({\mathbb {V}}. D_{\frac{d}{dt}}V,{\tilde{\tau }}_{h})\\= & {} -2div(p^{v,h}_{t})-\Delta \big [g\big (D_{\frac{d}{dt}}V,{\tilde{\tau }}_{h}\big )\big ]-g\big (D_{\frac{d}{dt}}V,\overset{-}{\Delta }{\tilde{\tau }}_{h}\big )\\&+\frac{ab}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{h}),D_{\frac{d}{dt}}V\big )-\frac{ab}{\alpha }div(g^{h}_{t})+g( D_{\frac{d}{dt}}V,{\mathbb {V}}.{\tilde{\tau }}_{h})\\&-\frac{b^{2}}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{h},E_{i})E_{i},D_{\frac{d}{dt}}V\big ) +2\frac{b^{2}}{\alpha }g(g({\tilde{\tau }}_{h},V)W,D_{\frac{d}{dt}}V)\\&-\frac{ab}{\alpha }g(g({\tilde{\tau }}_{h},V)Z,D_{\frac{d}{dt}}V) -\frac{ab}{\alpha }g(g({\tilde{\tau }}_{h},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)\\&+2g(g({\tilde{\tau }}_{h},V)\Omega ,D_{\frac{d}{dt}}V)+\frac{ab}{\alpha }div\Big [g\big ({\tilde{\tau }}_{h},V\big )\omega _{t}\Big ] \\&-\frac{ab}{\alpha }g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\\&+2div\Big [g\big ({\tilde{\tau }}_{h},V\big )\eta _{t}\Big ]-2g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V) \\&+\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{h}\big )E_{i},D_{\frac{d}{dt}}V\big ) +\frac{bd}{\alpha }div(d^{v}_{t})\\&-\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{h}\big ) \\&-\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},V)D_{E_{i}}{\tilde{\tau }}_{h}\big ). \end{aligned}$$Then
$$\begin{aligned}&\displaystyle \int _{M}g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{v},{\tilde{\tau }}_{h}\big )\circ i_{t}v_{g}\nonumber \\&\quad =\displaystyle \int _{M}\bigg [-g\big (D_{\frac{d}{dt}}V,\overset{-}{\Delta }{\tilde{\tau }}_{h}\big ) -\frac{b^{2}}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{h},E_{i})E_{i},D_{\frac{d}{dt}}V\big )\nonumber \\&\qquad +\frac{ab}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{h}),D_{\frac{d}{dt}}V\big )+g( D_{\frac{d}{dt}}V,{\mathbb {V}}.{\tilde{\tau }}_{h})\nonumber \\&\qquad +2\frac{b^{2}}{\alpha }g(g({\tilde{\tau }}_{h},V)W,D_{\frac{d}{dt}}V)-\frac{ab}{\alpha }g(g({\tilde{\tau }}_{h},V)Z,D_{\frac{d}{dt}}V) \nonumber \\&\qquad -\frac{ab}{\alpha }g(g({\tilde{\tau }}_{h},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V) +2g(g({\tilde{\tau }}_{h},V)\Omega ,D_{\frac{d}{dt}}V)\nonumber \\&\qquad -\frac{ab}{\alpha }g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{h},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\nonumber \\&\qquad -2g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{h},V)]}V)\nonumber \\&\qquad +\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{h}\big )E_{i},D_{\frac{d}{dt}}V\big )\nonumber \\&\qquad -\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{h}\big ) \nonumber \\&\qquad -\frac{bd}{\alpha }\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},V)D_{E_{i}}{\tilde{\tau }}_{h}\big )\bigg ]\circ i_{t} v_{g}.\nonumber \\ \end{aligned}$$(96) -
2.
Calculus of \(g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{v}\big )\):
$$\begin{aligned} g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{v}\big )= & {} \frac{ab}{\alpha }g(D_{\frac{d}{dt}}W,{\tilde{\tau }}_{v}) -\frac{a^{2}}{\alpha }g(D_{\frac{d}{dt}}Z,{\tilde{\tau }}_{v})-\frac{ad}{\alpha }g(D_{\frac{d}{dt}}D_{V}V,{\tilde{\tau }}_{v})\\&+g(D_{\frac{d}{dt}}({\mathbb {H}}).V,{\tilde{\tau }}_{v})+g({\mathbb {H}}. D_{\frac{d}{dt}}V,{\tilde{\tau }}_{v})\\= & {} \frac{ab}{\alpha }\sum _{i=1}^{n}g\big (R^{D}({\tilde{\tau }}_{v},E_{i})E_{i},D_{\frac{d}{dt}}V\big )-\frac{a^{2}}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{v}), D_{\frac{d}{dt}}V\big )\\&+\frac{a^{2}}{\alpha }div(g_{t}^{v})+g( D_{\frac{d}{dt}}V,{\mathbb {H}}{\tilde{\tau }}_{v})\\&+\frac{b(ad+b^{2})}{\alpha \varphi }\Big [-2 g(g({\tilde{\tau }}_{v},V)W,D_{\frac{d}{dt}}V)+ g(g({\tilde{\tau }}_{v},V)Z,D_{\frac{d}{dt}}V) \\&+ g(g({\tilde{\tau }}_{v},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)-div\Big [g\big ({\tilde{\tau }}_{v},V\big )\omega _{t}\Big ]\\&+g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{v},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\Big ]\\&-2\frac{b}{\varphi }\Big [div\Big [g\big ({\tilde{\tau }}_{v},V\big )\eta _{t}\Big ]-g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{v},V)]}V) \\&+g(g({\tilde{\tau }}_{v},V)\Omega ,D_{\frac{d}{dt}}V)\Big ]\\&-\frac{ad}{\alpha }\Big [\sum _{i=1}^{n}g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v}\big )E_{i},D_{\frac{d}{dt}}V\big ) +div(d^{v}_{t})\\&-\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v}\big ) \\&-\sum _{i=1}^{n}g\big (D_{\frac{d}{dt}}V,g(E_{i},V)D_{E_{i}}{\tilde{\tau }}_{v}\big ) \\&-div\Big [g\big ({\tilde{\tau }}_{v},V\big )z_{t}\Big ]\Big ]-\frac{d}{\varphi }g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{v},V)]). \end{aligned}$$Then
$$\begin{aligned}&\displaystyle \int _{M}g\big (D_{\frac{d}{dt}}{\tilde{\tau }}_{h},{\tilde{\tau }}_{v}\big )\circ i_{t}v_{g}=\displaystyle \int _{M}\bigg [\frac{ab}{\alpha }g\big (R^{D}({\tilde{\tau }}_{v},E_{i})E_{i},D_{\frac{d}{dt}}V\big ) \nonumber \\&\qquad -\frac{a^{2}}{\alpha }g\big ({\mathfrak {L}}^{D}({\tilde{\tau }}_{v}),D_{\frac{d}{dt}}V\big )+g( D_{\frac{d}{dt}}V,{\mathbb {H}}{\tilde{\tau }}_{v})\nonumber \\&\qquad \frac{b(ad+b^{2})}{\alpha \varphi } \Big [-2g(g({\tilde{\tau }}_{v},V)W,D_{\frac{d}{dt}}V)+ g(g({\tilde{\tau }}_{v},V)Z,D_{\frac{d}{dt}}V)\nonumber \\&\qquad + g(g({\tilde{\tau }}_{v},V){\mathfrak {L}}^{D},D_{\frac{d}{dt}}V)+g\Big [R^{D}\bigg (grad\big (g\big ({\tilde{\tau }}_{v},V\big )\big ),V\bigg )V,D_{\frac{d}{dt}}V\Big ]\Big ]\nonumber \\&\qquad +2\frac{b}{\varphi }\Big [g(D_{\frac{d}{dt}}V,D_{grad[g({\tilde{\tau }}_{v},V)]}V)-g(g({\tilde{\tau }}_{v},V)\Omega ,D_{\frac{d}{dt}}V)\Big ]\nonumber \\&\qquad -\frac{ad}{\alpha }\sum _{i=1}^{n}\Big [g\big (g\big (D_{E_{i}}V,{\tilde{\tau }}_{v}\big )E_{i},D_{\frac{d}{dt}}V\big ) +g\big (D_{\frac{d}{dt}}V,g(E_{i},D_{E_{i}}V){\tilde{\tau }}_{v}\big )\nonumber \\&\qquad +g\big (D_{\frac{d}{dt}}V,g(E_{i},V)D_{E_{i}}{\tilde{\tau }}_{v}\big )\Big ]-\frac{d}{\varphi }g(D_{\frac{d}{dt}}V,grad[g({\tilde{\tau }}_{v},V)])\bigg ]\circ i_{t} v_{g}.\nonumber \\ \end{aligned}$$(97)
1.5 The Final Result
Substituting (89), (91), (94), (97) in (69) , we obtain
Evaluating (98) at \(t=0\) and setting \(Y=\nabla _{\frac{d}{dt}}V_{t}\Big \vert _{t=0}\) and using the fact that Y is a vector field on M which is perpendicular to U, since U is a unit vector field. Then U is a biharmonic unit vector field if and only if \(\frac{d}{dt}E_{2}(V_{t})_{t=0}=0\) for all variations, and this is equivalent to
Rights and permissions
About this article
Cite this article
Kadaoui Abbassi, M.T., Doua, S. On the Biharmonicity of Vector Fields and Unit Vector Fields. J Geom Anal 32, 82 (2022). https://doi.org/10.1007/s12220-021-00839-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-021-00839-2
Keywords
- Tangent bundle
- Unit tangent bundle
- g-Natural metric
- Biharmonic vector field
- Biharmonic unit vector field
- Biharmonic map