A Note on Geodesic Vector Fields

: The concircularity property of vector ﬁelds implies the geodesicity property, while the converse of this statement is not true. The main objective of this note is to ﬁnd conditions under which the concircularity and geodesicity properties of vector ﬁelds are equivalent. Moreover, it is shown that the geodesicity property of vector ﬁelds is also useful in characterizing not only spheres, but also Euclidean spaces.

Of all these distinguished vector fields outlined above, the least demanding on a Riemannian manifold (M, g) is the geodesic vector field. This is a vector field u on M characterized by the next differential equation where ∇ u is the covariant derivative (with respect to the Levi-Civita connection) in the direction of u, while σ is a smooth function on M called the potential function of u. Moreover, if σ = 0, then u is said to be a unit geodesic vector field (in this particular case, it is known that any integral curve is a geodesic). In the case of σ = 0, the geodesic vector field u is called a non-trivial geodesic vector field. It was pointed out earlier that the geodesicity property of a vector field demands a minimum of a Riemannian manifold on which it lives, and as a result, it is the most general type of special vector field, having a broad appearance in Riemannian geometry. For instance, every vector field with a concircularity property exhibits the geodesicity property, while Eikonal equations too give rise to geodesic vector fields (cf. [30]). As the definition of geodesic vector fields is very simple, the following question arises: Does the existence of non-trivial geodesic vector fields affect the geometry of a Riemannian manifold? In this paper, we answer this question ascertaining that yes, it does. It is observed in Section 4 that there is a non-trivial geodesic vector field on S n (c), the n-dimensional sphere of constant curvature c, that satisfies ∆u = −cu, where ∆ is the rough Laplacian operating on smooth vector fields of S n (c). Then, it is demonstrated that this property, together with some restriction on the energy of a vector field with geodesicity property on a compact and connected Riemannian space gives a nice characterization for S n (c) (cf. Theorem 2). Another characterization of the sphere S n (c) using closed non-trivial geodesic vector fields is also given (cf. Theorem 3). Similarly, in Section 5, it is proven that every Euclidean space possesses a non-trivial geodesic vector field u, satisfying ∆u = 0, and also characterizes such a space using the geodesicity property of a harmonic vector field u and a restriction on the Laplacian of the length function of u (cf. Theorem 4). It was noticed that the concircularity property of vector fields involves the geodesicity property, but the converse of this assertion is not true. We provide examples of non-concircular geodesic vector fields in Section 3, and we also find suitable conditions under which the concircularity and geodesicity properties are equivalent (cf. Theorem 1). It is noteworthy that some distinct characterizations of the sphere and the Euclidean space in terms of the existence of non-trivial geodesic vector fields satisfying certain additional properties were recently obtained in [31], but these are of different nature and do not imply the characterizations established in the present work (cf. Remarks 1 and 2).

Preliminaries
Suppose (M, g) is a Riemannian manifold of dimension n. Let us denote as usual by X(M) the Lie algebra of smooth vector fields on M, and by ∇ the Levi-Civita connection on (M, g). The curvature tensor field R on (M, g) is defined by while the Ricci tensor Ric is given by where {e 1 , ..., e n } is a local orthonormal frame on M.
The Ricci operator Q : X(M) → X(M) is defined by (cf. [32]) It is easy to see that Q is a symmetric operator. On the other hand, the trace of the Ricci operator Q is the scalar curvature of (M, g), and it is denoted by τ. Hence, τ = TrQ. Given a smooth function f : M → R, the Hessian operator A f is defined by where ∇ f stands for the gradient of f . The Hessian of f , denoted by Hess( f ), is defined by and the Laplacian ∆ f of f is defined as ∆ f = TrA f , that is, the trace of the Hessian operator A f . Given a Riemannian manifold (M, g), the rough Laplacian ∆ : X(M) → X(M) is an operator that acts on smooth vector fields, given by where {e 1 , ..., e n } is a local orthonormal frame on M and n = dim M. Recall that a smooth vector field ξ on M is said to be an eigenvector of the operator ∆ if ∆ξ = −λξ, where λ ≥ 0 is a real constant. If λ = 0, then ξ is said to be a harmonic vector field.
A smooth vector field v on a Riemannian manifold (M, g) is called a unit geodesic vector field if that is, the integral curves of v are geodesics. On the other hand, a smooth vector field v on M is said to be a geodesic vector field if where σ is a smooth function on M, called the potential function of v. Moreover, if σ = 0, then v is said to be a non-trivial geodesic vector field. Recall now that a smooth vector field v on a Riemannian manifold (M, g) is said to be a concircular vector field if where σ is a smooth function on M. In other words, the local flow of the concircular vector field consists of concircular transformations (cf. [7]). It follows from Equations (1) and (2) that a concircular vector field is a geodesic vector field.
Let v be a geodesic vector field on a Riemannian manifold (M, g), and suppose α is the smooth 1-form dual to the vector field v, that is, α(X) = g(v, X), X ∈ X(M). Now, let us define a symmetric operator A : X(M) → X(M) and a skew symmetric operator ϕ : X(M) → X(M) by where £ v g stands for the Lie derivative of g with respect to v. Then, it follows that For a (1, 1) tensor field T on M, one can consider the covariant derivative ∇T, defined as Using Equation (4), we compute the following equation for curvature tensor which gives for a local orthonormal frame {e 1 , ..., e n }, where s = TrA and we used the symmetry of A, and also the skew symmetry of ϕ. The above equation yields

A Characterization of Concircular Vector Fields
As seen earlier, the concircularity property of vector fields implies the geodesicity property, but the converse in not true. We give some examples below to prove this.
(i) Consider the warped product M = R × e t F, where (F, g F ) is a Riemannian manifold and t is a coordinate function on the real line R (cf. [33]). Let us denote by g M = dt 2 + e 2t g F the warped product metric on M. Then, the vector field where h : F → R is a smooth function, provides us an example of a geodesic vector field that is not a concircular vector field. Indeed, by taking X = f ∂ ∂t + U ∈ X(M), where f : R → R is a smooth function and U ∈ X(F), then using [33] Proposition 35 for the Riemannian manifold (M, g M ), we get Thus, u is not a concircular vector field. However, the above equation gives that is, u is a non-trivial geodesic vector field.
(ii) Consider the Euclidean space E n with position vector field where u 1 , ..., u n are Euclidean coordinates. Let f be a smooth function on E n , defined by Then, the vector field ξ = f Ψ satisfies that is, ξ is a non-trivial geodesic vector field, where ∇ is the Euclidean connection on E n . It is clear that for any smooth vector field X on E n , we have and as we conclude ξ is not a concircular vector field. Considering the above examples, it is a natural problem to find conditions under which the concircularity and geodesicity properties are equivalent. The aim of this section is to investigate this problem. It is quite fascinating to note that a suitable lower bound for the Ricci curvature Ric in the direction of a non-trivial geodesic vector field on a Riemannian manifold will give a necessary and sufficient condition for the equivalence of concircularity and geodesicity properties, provided that the Riemannian manifold is compact and connected.

Theorem 1.
Let v be a non-trivial geodesic vector field on an n-dimensional compact and connected Riemannian manifold (M, g). Then, v is concircular if, and only if the Ricci curvature Ric(v, v) satisfies where α is the 1-form dual to v and £ v g stands for the Lie derivative of g with respect to v.

Proof.
Let v be a non-trivial geodesic vector field that satisfies the given condition. Letting s = TrA and using Equation (3), we see that the condition in the statement reads Using Equation (4) and also the symmetry of A, we find and similarly using skew symmetry of the operator ϕ, we compute where Also, Equation (4) gives divv = s, and we have divsv = v(s) + s 2 .
Now, using Equations (8) and (10), we conclude Combining above equation with Equation (6), we get which on using Equation (9), gives Integrating above equation, we conclude which, in view of Schwartz's inequality A 2 ≥ 1 n s 2 and inequality (7), implies Using Equations (2), (4) and (12), we derive and taking the inner product with v in above equation, we arrive at Note that v is a non-trivial geodesic vector field, we have v 2 = 0 and M is connected. Consequently, above equation implies σ = s n . Thus, Equations (12) and (13) imply But Equation (14) gives (∇A) (X, Y) = X(σ)Y and therefore (5) implies Taking now in above equation the inner product with v, we derive Replacing Y with v in above equation and taking into account that ϕv = 0 (Equation (14)) and (∇ϕ) (v, v) = 0 (Equation (4) with A = σI), we conclude which, on taking the inner product with ∇σ, yields Now, we define a smooth function h : M → R by Then, using Equations (4) and (14), we obtain the gradient ∇h = σv. We use Equation (4) and A = σI, and compute the Hessian operator A h , As the Hessian operator A h is symmetric, above equation implies Combining above equation with Equation (15), we arrive at σ 2 ϕ 2 = 0 and as v is non-trivial, that is, σ = 0 on connected M, we have ϕ = 0. Hence, Equation (4) takes the form which proves that v is a concircular vector field.
Conversely, if v is concircular vector field, then we derive A = σI and ϕ = 0 from Equation (4) and we have Thus, Equation (6) becomes that is, the condition in the statement holds.
As a consequence of the above result, we derive: where £ v g stands for the Lie derivative of g with respect to v.
Proof. Suppose that v is a closed geodesic vector field with s = TrA. Then, we have ϕ = 0 and the given condition is Now, using ϕ = 0 in Equation (11), we deduce Using inequality (17) in above equation, we derive M A 2 − 1 n s 2 ≤ 0 and following the steps of proof of Theorem 1 we conclude A = s n I, that is, v is a concircular vector field.
Conversely, if the vector field v is concircular, then ∇ X v = σX, X ∈ X(M). Moreover, we have Integrating this last equation and using ( Consequently, the required condition holds.

Characterizing n-Spheres
Let S n (c) be the n-sphere of constant curvature c > 0. Then, treating S n (c) as hypersurface of the Euclidean space E n+1 = R n+1 , , , , being Euclidean metric, with unit normal vector field N, then the shape operator A of the sphere is A = − √ cI. Let us denote by g the induced metric on S n (c) and by ∇ X the covariant derivative with respect to the Riemannian connection on (S n (c), g), X ∈ X (S n (c)). Let u 1 , ..., u n+1 be the Euclidean coordinates on E n+1 . The restriction of the coordinate vector field ∂ ∂u 1 to S n (c) can be expressed as Taking the covariant derivative with respect to X ∈ X (S n (c)) and using fundamental equations of hypersurfaces, we derive Equating tangential and normal components, we conclude which shows that u is a geodesic vector field on S n (c) having the potential function σ = − √ c f and also that ∇ f = √ cu holds. Moreover, the rough Laplacian ∆u of the geodesic vector field u is given by that is, the geodesic vector field u is an eigenvector of the rough Laplacian operator on S n (c). Recall now that the energy E(ξ) of a vector field ξ is given by We are able now to prove the following result that gives a characterization of n-sphere.

Theorem 2.
Let v be a non-trivial geodesic vector field on an n-dimensional compact and connected Riemannian manifold (M, g) such that ∆v = −λv, for a constant λ > 0. Then, (M, g) is isometric to n-sphere S n (λ) if and only if the energy E(v) satisfies Proof. Suppose v is a non-trivial geodesic vector field such that ∆v = −λv holds. Suppose the given condition holds, that is, where s = TrA. Now, we remark that Equation (4) implies which, on taking the inner product with v, gives Now, using Equations (8) and (9), it follows Inserting above equation in Equation (22) and integrating the resulting equation, we get Using Schwartz's inequality and inequality (21) in above equation, we derive A = s n I and ϕ = 0.
Also, using Equation (24), we have divv = nσ, which on integration gives If σ is a constant, above equation will imply σ = 0 and this is a contradiction (since v is a non-trivial geodesic vector field). Thus σ is a non-constant function and, by Equations (24) and (25), it satisfies which is Obata's differential equation for positive constant λ. Hence, M is isometric to the sphere S n (λ) (cf. [23] ). Conversely, suppose M is isometric to the sphere S n (λ). Then, by Equation (18), there is a geodesic vector field u on S n (λ) induced by the coordinate vector field ∂ ∂u 1 on the Euclidean space E n+1 , that satisfies ∆u = −λu. First, we shall verify that this geodesic vector field u with potential is non-trivial, that is, f = 0. If f = 0, then Equation (18) gives ∇ X u = 0, X ∈ X(S n (λ)) and as with f = 0, the restriction of ∂ ∂u 1 = u, which on taking covariant derivative with respect to X ∈ X(S n (λ)), gives 0 = 0 − √ cg(X, u) for all X ∈ X(S n (λ)). This shows that u = 0, that is, ∂ ∂u 1 = 0 on S n (λ), which is a contradiction (as ∂ ∂u 1 is a unit vector field). Hence, u is a non-trivial geodesic vector field. Note that by Equation (18) c f and above equation, we obtain that the energy of u is given by where £ u g = 2σg.
Hence the required condition holds.
Also, we have the following Proof. Suppose (M, g) is a compact and connected Riemannian manifold of dimension n and constant scalar curvature τ = n(n − 1)c. We also suppose v is a non-trivial closed geodesic vector field such that Ric satisfies Ric (∇σ + cv, ∇σ + cv) ≥ 0, where σ denotes the potential function of v, and also that the given condition holds, that is, where s = Tr A. Then, by Corollary 1, it follows that v is a concircular vector field, that is, ∇ X v = σX, X ∈ X(M). Consequently, we derive and this implies Ric (X, v) = −(n − 1)X (σ) .
Thus, we have Taking divergence in (29) and also taking into account that τ is a constant and for a local orthonormal frame {e 1 , ..., e n } on M, we conclude We remark now that if σ is a constant, then the integration of equation divv = nσ will imply σ = 0, which is a contradiction (since v is a non-trivial geodesic vector field). Hence σ is non-constant function and Equation (30) implies that σ is an eigenfunction of the Laplace operator ∆ acting on smooth functions on compact M. This implies c > 0 (for c = 0 would again imply σ is a constant, hence contradiction). Using now (30) and the Bochner formula theorem, provided that the non-trivial geodesic vector field is closed, but Theorem 3 is obtained in a more general setting, namely, (M, g) is a compact and connected Riemannian manifold of constant scalar curvature τ, such that the Ricci curvature is non-negative only in the direction of a particular vector field. It has been shown that this condition is strong enough to imply τ > 0, and this is one of the key ingredients in the proof.

A Characterization of Euclidean Spaces
Consider the Euclidean space E n and the position vector field that is, v is geodesic, having the potential function σ = 1. Moreover, if we compute the rough Laplacian ∆v of this geodesic vector field v on the Euclidean space E n , we see that ∆v = 0, that is, this geodesic vector field is harmonic. This raises an interesting question: Is it an n-dimensional complete and connected Riemannian manifold (M, g) admitting a harmonic geodesic vector field, necessarily isometric to E n ? In the following, we partially answer this question, finding a characterization of E n .
Proof. Suppose (M, g) admits a non-trivial geodesic vector field v satisfying ∆v = 0, and the smooth function h satisfies the given condition where s = TrA. Using Equation (4), we have which, on using Equations (8) and (9), gives Now, using Equation (4), we find that the rough Laplacian ∆v of the geodesic vector field is given by Thus, for the harmonic geodesic vector field v, Equation (38) becomes that is, Using the above equation, in view of Schwartz's inequality and inequality (36), we conclude However, first, Equation in (40) gives while Equation (39), with ϕ = 0 and harmonic v, gives Thus, Equation (41) implies s is a constant, and using Equations (40) and (4), we derive that σ = s n is a constant, say c. Note that v being a non-trivial geodesic vector field, we have the constant c = 0. Now, in view of Equation (40), we conclude that Equation (37) takes the form ∇h = cv, and it follows from the above equation that the function h is not a constant, as the constant c = 0 and v = 0 is a non-trivial geodesic vector field. Now, as the Equation (4) changes to ∇ X v = cX, X ∈ X(M), by using the above equation in the defining equation of the Hessian operator A h , the following expression for A h is obtained: A h X = c 2 X, X ∈ X(M).
Thus, we have Hess(h) = c 2 g, and this shows that M is isometric to E n (cf. [34] Theorem 1). Conversely, suppose M is isometric to the Euclidean space E n . Then, as we have seen before, the position vector field v = n ∑ i=1 u i ∂ ∂u i is harmonic and h = 1 2 v 2 satisfies ∆h = n. Moreover, A = I and thus, Tr (£ v g) = 2n, where g is the Euclidean metric. Hence, the following relation holds and the conclusion is clear.

Remark 2.
A distinct characterization of the Euclidean spaces in terms of the existence of non-trivial geodesic vector fields satisfying a certain inequality was recently obtained in ([31] Theorem 1), but the inequality in the statement is of a different nature, involving the Ricci curvature in the direction of the geodesic vector field, as well as the potential function of this vector field.