Next Article in Journal
Parametric Model for Kitchen Product Based on Cubic T-Bézier Curves with Symmetry
Previous Article in Journal
Inertial Extra-Gradient Method for Solving a Family of Strongly Pseudomonotone Equilibrium Problems in Real Hilbert Spaces with Application in Variational Inequality Problem
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Geodesic Behavior of Some Special Curves

Department of Applied Mathematics, University Politehnica of Bucharest, 060042 Bucharest, Romania
Symmetry 2020, 12(4), 504; https://doi.org/10.3390/sym12040504
Submission received: 2 March 2020 / Revised: 10 March 2020 / Accepted: 17 March 2020 / Published: 1 April 2020

Abstract

:
In this paper, geometric structures on an open subset D R 2 are investigated such that the graphs associated with the solutions of some special functions to become geodesics. More precisely, we determine the Riemannian metric g such that Bessel (Hermite, harmonic oscillator, Legendre and Chebyshev) ordinary differential equation (ODE) is identified with the geodesic ODEs produced by the Riemannian metric g . The technique is based on the Lagrangian (the energy of the curve) L = 1 2 x ˙ ( t ) 2 , the associated Euler–Lagrange ODEs and their identification with the considered special ODEs.

1. Introduction and Preliminaries

The concept of connection plays an important role in geometry and, depending on what sort of data one wants to transport along some trajectories, a variety of kinds of connections have been introduced in modern geometry. Crampin et al. [1], in a certain vector bundle, described the construction of a linear connection associated with a second-order differential equation field and, moreover, the corresponding curvature was computed. Ermakov [2] established that linear second-order equations with variable coefficients can be completely integrated only in very rare cases. Further, some aspects of time-dependent second-order differential equations and Berwald-type connections have been studied, with remarkable results, by Sarlet and Mestdag [3]. Michor and Mumford [4] considered some Riemannian metrics on the space of smooth regular curves in the plane, viewed as the orbit space of maps from S 1 to the plane modulo the group of diffeomorphisms of S 1 , acting as reparameterizations. For an excellent survey on geometric dynamics, convex functions and optimization methods on Riemannian manifolds, the reader is directed to Udrişte [5,6]. Relatively recently, Udrişte et al. [7], by using an identity theorem for ordinary differential equations (ODEs), investigated some geometrical structures that transform the solutions of a second order ODE into auto-parallel graphs. Later, Treanţă and Udrişte [8], in accordance to Udrişte et al. [7], studied the auto-parallel behavior of some special plane or space curves by using the theory of identifying of two ODEs.
In the present paper, as a natural continuation of some results obtained in Treanţă and Udrişte [8], we are looking for an appropriate geometric structure such that important graphs in applications (like Bessel functions, Hermite functions etc) to become geodesics. Specifically, our aim is to determine the Riemannian metric g i j such that Bessel ordinary differential equation, Hermite ODE, harmonic oscillator ODE, Legendre ODE and Chebyshev ODE, respectively, is identified with the geodesic ODEs produced by g i j . The technique is based on the Lagrangian (the energy of the curve) L = 1 2 x ˙ ( t ) 2 , the associated Euler–Lagrange ODEs and their identification to the Bessel ODE, Hermite ODE, harmonic oscillator ODE, Legendre ODE and Chebyshev ODE, respectively. By applying this new technique, we developed an original point of view by introducing some new results regarding the geodesics curves literature. For this aim, in the following, we present some basics to be used in the sequel.
Let M be a differentiable manifold of dimension n and denote by X ( M ) the Lie algebra of vector fields on M . A Riemannian metric on M is a family of (positive definite) inner products g p : T p M × T p M R , p M , such that for any two differentiable vector fields X , Y X ( M ) , the application p g p X ( p ) , Y ( p ) defines a smooth function M R .
The local expression of a Riemannian metric g is g = g i j d x i d x j , where g i j = g x i , x j , i , j 1 , , n , determine at every point p M a symmetric positive definite matrix. The inverse of the tensor field g is g 1 = g i j x i x j , where g i j are the entries of the inverse matrix of ( g i j ) . Endowed with this metric, the differentiable manifold M , g is called Riemannian manifold. Let M , g be a Riemannian manifold and g i j the components of g . The Riemannian metric g determines the symmetric linear connection Γ j k i = 1 2 g i l g k l x j + g j l x k g j k x l , i , j , k 1 , 2 , , n (Christoffel symbols), which is called the Riemannian (Levi–Civita) connection of M , whose fundamental property is k g i j = g i j x k g l j Γ i k l g l i Γ j k l = 0 (the tensor field g is parallel with respect to the symmetric linear connection ).
Let ( M , g ) be a C -class n -dimensional Riemannian manifold and a linear connection on M . We say that a vector field X X ( M ) is a parallel vector field with respect to if and only if Y X = 0 , for all Y X ( M ) .
Consider c : [ a , b ] M , c ( t ) = x 1 ( t ) , , x n ( t ) , t [ a , b ] R , a regular differentiable curve on M . We say that a vector field X X ( M ) is a parallel vector field along the curve c with respect to if c ˙ ( t ) X = 0 . The curve c is called auto-parallel if c ˙ ( t ) c ˙ ( t ) = 0 or, equivalently, it satisfies d 2 x i d t 2 + Γ j k i d x j d t d x k d t = 0 , i = 1 , n ¯ .
The paper is structured as follows. Section 2 includes the main results of the present paper. First, the geodesic behavior of some special curves on an open subset D R 2 is analyzed. In the second part of this section, the general case is investigated and, in this way, the results obtained in the first part of Section 2 become non-trivial illustrative examples of the developed theory. Finally, Section 3 contains conclusions and other development ideas.

2. Main Results

In this section, we formulate and prove the main results of the paper. First, we study the geodesic behavior of some special curves on an open subset D R 2 .
According to the previous section, a C 2 -class curve x : I R D , x ( t ) = x 1 ( t ) , x 2 ( t ) = t , y ( t ) , is called auto-parallel with respect to the symmetric linear connection on D , of components Γ j k i , i , j , k { 1 , 2 } , if and only if x ˙ ( t ) x ˙ ( t ) = 0 or,
d 2 x i d t 2 + Γ j k i d x j d t d x k d t = 0 , i , j , k { 1 , 2 } ,
or, equivalently, the function y : I R is a solution of the following differential equations
Γ 22 1 ( t , y ) y ˙ 2 + 2 Γ 12 1 ( t , y ) y ˙ + Γ 11 1 ( t , y ) = 0
y ¨ + Γ 22 2 ( t , y ) y ˙ 2 + 2 Γ 12 2 ( t , y ) y ˙ + Γ 11 2 ( t , y ) = 0 .
Let assume that the previous symmetric linear connection on D , of components Γ j k i , i , j , k { 1 , 2 } , is the Levi–Civita connection, that is, its components fulfill the following differential equations
2 g i l Γ j k i = g k l x j + g j l x k g j k x l , i , j , k , l 1 , 2 ,
where g i j [ = g j i ] , i , j { 1 , 2 } , represent the components of the Riemannian metric g = g i j d x i d x j on D . Taking into account the complete integrability conditions (closeness conditions) for the components of the Riemannian metric g = g i j on D , and also, Γ j k 1 = 0 and Γ j k i = Γ k j i for i , j , k 1 , 2 , we can rewrite the differential Equation ( 3 ) as follows
2 g 21 Γ 11 2 = g 11 t , 2 g 22 Γ 22 2 = g 22 y , 2 g 21 Γ 12 2 = g 11 y
2 g 22 Γ 11 2 = 2 g 12 t g 11 y , 2 g 22 Γ 21 2 = g 22 t , 2 g 21 Γ 22 2 = 2 g 12 y g 22 t ;
g 12 y Γ 11 2 + g 12 Γ 11 2 y = g 12 t Γ 12 2 + g 12 Γ 12 2 t ( closeness conditions )
g 22 y Γ 12 2 + g 22 Γ 12 2 y = g 22 t Γ 22 2 + g 22 Γ 22 2 t
g 22 y Γ 11 2 + g 22 Γ 11 2 y + g 12 y Γ 12 2 + g 12 Γ 12 2 y = g 12 t Γ 22 2 + g 12 Γ 22 2 t + g 22 t Γ 12 2 + g 22 Γ 12 2 t .

2.1. Bessel Geodesics

We begin by recalling Bessel ODE,
y ¨ ( x ) + 1 x y ˙ ( x ) + 1 α 2 x 2 y ( x ) = 0 .
According to Proposition 3.1 in Treanţă and Udrişte [8], we have
Γ 22 1 = 0 , Γ 12 1 = Γ 21 1 = 0 , Γ 11 1 = 0
Γ 11 2 = 1 α 2 t 2 y , Γ 12 2 = Γ 21 2 = 1 2 t , Γ 22 2 = 0 .
Therefore, using Equation ( 4 ) (see the second equation), we obtain g 22 y = 0 , that is, g 22 = φ ( t ) . Also, using the sixth equation in Equation ( 4 ) , we get
2 g 12 y = φ ˙ ( t ) g 12 y = 1 2 φ ˙ ( t ) g 12 = g 21 = 1 2 φ ˙ ( t ) y + ψ ( t ) .
From the third equation, 2 g 21 Γ 12 2 = g 11 y , it follows
g 11 y = φ ˙ ( t ) y + 2 ψ ( t ) 2 t g 11 = φ ˙ ( t ) 4 t y 2 + ψ ( t ) t y + k ( t ) .
Moreover, putting the condition that the above mentioned components of the Riemannian metric g = g i j d x i d x j on D to satisfy the remaining equations in Equation ( 4 ) , we find
φ ( t ) = t c , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) t c ψ 2 ( t ) t 2 c
c α 2 t 2 = 0 , c 4 α 2 4 t 2 1 = 0 , 1 2 ψ ( t ) t 1 α 2 t 2 ψ ( t ) = 0 .
In summary, all the previous computations allow us to formulate the following result.
Proposition 1.
Each Bessel graph t y ( t ) is not a geodesic with respect to the foregoing metric family constrained by non-singularity and constant signature conditions and by
φ ( t ) = t c , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) t c ψ 2 ( t ) t 2 c
c α 2 t 2 = 0 , c 4 α 2 4 t 2 1 = 0
1 2 ψ ( t ) t 1 α 2 t 2 ψ ( t ) = 0 , g 11 g 22 g 12 2 > 0 .
Proof. 
Assume that each Bessel graph t y ( t ) is a geodesic with respect to the foregoing constrained metric family. The following two relations
c α 2 t 2 = 0 , c 4 α 2 4 t 2 1 = 0 ,
where c > 0 , lead us to a contradiction. The proof is complete. □

2.2. Hermite Geodesics

We consider Hermite ODE,
y ¨ ( x ) 2 x y ˙ ( x ) + 2 n y ( x ) = 0 , n N .
Taking into account Proposition 3.2 in Treanţă and Udrişte [8], where we have established the following components
Γ 22 1 = 0 , Γ 12 1 = Γ 21 1 = 0 , Γ 11 1 = 0
Γ 11 2 = 2 n y , Γ 12 2 = Γ 21 2 = t , Γ 22 2 = 0 ,
for our symmetric linear connection , and using the second equation and the sixth equation in Equation ( 4 ) , we get g 22 y = 0 , that is, g 22 = φ ( t ) , and
2 g 12 y = φ ˙ ( t ) g 12 y = 1 2 φ ˙ ( t ) g 12 = g 21 = 1 2 φ ˙ ( t ) y + ψ ( t ) .
According to 2 g 21 Γ 12 2 = g 11 y , it follows
g 11 y = t φ ˙ ( t ) y 2 t ψ ( t ) g 11 = t φ ˙ ( t ) 2 y 2 2 t ψ ( t ) y + k ( t ) .
Moreover, replacing the above components g i j , i , j { 1 , 2 } , in the remaining equations in Equation ( 4 ) , we get
φ ( t ) = c e t 2 , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c e t 2 + 2 t ψ 2 ( t ) c e t 2
c 2 t 2 2 n 1 = 0 , c t 3 + ( 2 n + 1 ) t = 0 , t ψ ( t ) 2 n ψ ( t ) = 0 .
Proposition 2.
Each Hermite graph t y ( t ) is not a geodesic with respect to the foregoing metric family constrained by non-singularity and constant signature conditions and by
φ ( t ) = c e t 2 , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c e t 2 + 2 t ψ 2 ( t ) c e t 2
c 2 t 2 2 n 1 = 0 , c t 3 + ( 2 n + 1 ) t = 0
t ψ ( t ) 2 n ψ ( t ) = 0 , g 11 g 22 g 12 2 > 0 .
Proof. 
Let suppose that each Hermite graph t y ( t ) is a geodesic with respect to the foregoing constrained metric family. Using the relations
c 2 t 2 2 n 1 = 0 , c t 3 + ( 2 n + 1 ) t = 0
we find a contradiction and the proof is complete. □

2.3. Harmonic Oscillator Geodesics

Let consider the harmonic oscillator ODE,
y ¨ ( x ) + ω 2 y ( x ) = 0 ,
and analogous foregoing reasoning. Using Proposition 3.3 in Treanţă and Udrişte [8] and solving the differential equations given in Equation ( 4 ) , we obtain the metric family
g 22 = φ ( t ) , g 12 = g 21 = 1 2 φ ˙ ( t ) y + ψ ( t ) , g 11 = k ( t ) .
Also, we have φ ( t ) = c , c > 0 , and ψ ˙ ( t ) c ω 2 y = 0 , k ˙ ( t ) 2 ω 2 ψ ( t ) y = 0 . The closeness conditions impose c ω 2 = 0 , ω 2 ψ ( t ) = 0 .
Proposition 3.
Each harmonic oscillator graph t y ( t ) is a geodesic with respect to the foregoing metric family constrained by non-singularity and constant signature conditions and by
φ ( t ) = c , c > 0 ; ψ ˙ ( t ) c ω 2 y = 0 , k ˙ ( t ) 2 ω 2 ψ ( t ) y = 0
c ω 2 = 0 , ω 2 ψ ( t ) = 0 , g 11 g 22 g 12 2 > 0 ,
or, equivalently,
φ ( t ) = c , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c
c ω 2 = 0 , ω 2 ψ ( t ) = 0 , g 11 g 22 g 12 2 > 0 .
Proof. 
According to c ω 2 = 0 and taking into account that c > 0 , we get ω = 0 . Using the relations ψ ˙ ( t ) c ω 2 y = 0 , k ˙ ( t ) 2 ω 2 ψ ( t ) y = 0 , we obtain ψ ( t ) = c 1 , k ( t ) = c 2 , with c 1 , c 2 R . Thus, for ω = 0 , the components of the Riemannian metric g on D become
g 22 ( t , y ) = c , c > 0 ; g 12 ( t , y ) = g 21 ( t , y ) = c 1 ; g 11 ( t , y ) = c 2 , ( t , y ) D .
The condition g 11 g 22 g 12 2 > 0 leads to c 2 c c 1 2 > 0 . In conclusion, for ω = 0 and for all the points in D which satisfy k ( t ) φ ( t ) ψ 2 ( t ) > 0 , each harmonic oscillator graph t y ( t ) is a geodesic. □

2.4. Legendre Geodesics

Consider the Legendre ODE,
y ¨ ( x ) 2 x 1 x 2 y ˙ ( x ) + n ( n + 1 ) 1 x 2 y ( x ) = 0 , n N .
We apply the same reasoning as in the previous cases. Therefore, we find the metric family
g 22 = φ ( t ) , g 12 = g 21 = 1 2 φ ˙ ( t ) y + ψ ( t ) , g 11 = t φ ˙ ( t ) 2 ( 1 t 2 ) y 2 2 t ψ ( t ) 1 t 2 y + k ( t )
subject to
φ ( t ) = c ( 1 t 2 ) , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c ( 1 t 2 ) + 2 t ψ 2 ( t ) c ( 1 t 2 ) 2
c n 2 + n + 1 = 0 , c n 2 + n t 3 + n 2 + n + 1 t = 0
t ψ ( t ) t 2 1 + n ( n + 1 ) ψ ( t ) t 2 1 = 0 .
Proposition 4.
Each Legendre graph t y ( t ) is not a geodesic with respect to the foregoing metric family constrained by non-singularity and constant signature conditions and by
φ ( t ) = c ( 1 t 2 ) , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c ( 1 t 2 ) + 2 t ψ 2 ( t ) c ( 1 t 2 ) 2
c n 2 + n + 1 = 0 , c n 2 + n t 3 + n 2 + n + 1 t = 0
t ψ ( t ) t 2 1 + n ( n + 1 ) ψ ( t ) t 2 1 = 0 , g 11 g 22 g 12 2 > 0 .
Proof. 
The equation c n 2 + n + 1 = 0 , where c > 0 , leads to n 2 + n + 1 = 0 . Since it does not admit natural solutions, we conclude that each Legendre graph t y ( t ) is not a geodesic with respect to the foregoing constrained metric family. □

2.5. Chebyshev Geodesics

We consider Chebyshev ODE,
y ¨ ( x ) x 1 x 2 y ˙ ( x ) + n 2 1 x 2 y ( x ) = 0 , n N .
Solving the differential equations given in Equation ( 4 ) and taking into account Proposition 3.5 in Treanţă and Udrişte [8], we get the metric family
g 22 = φ ( t ) , g 12 = g 21 = 1 2 φ ˙ ( t ) y + ψ ( t ) , g 11 = t φ ˙ ( t ) 4 ( 1 t 2 ) y 2 t ψ ( t ) 1 t 2 y + k ( t )
subject to
φ ( t ) = c 1 t 2 , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c 1 t 2 + t ψ 2 ( t ) c ( 1 t 2 ) 1 t 2
c 2 n 2 t 4 + ( 4 n 2 + 1 ) t 2 2 n 2 1 = 0 , c ( 1 4 n 2 ) t 3 + ( 4 n 2 + 2 ) t = 0
1 2 t ψ ( t ) t 2 1 + n 2 ψ ( t ) t 2 1 = 0 .
Proposition 5.
Each Chebyshev graph t y ( t ) is not a geodesic with respect to the foregoing metric family constrained by non-singularity and constant signature conditions and by
φ ( t ) = c 1 t 2 , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) c 1 t 2 + t ψ 2 ( t ) c ( 1 t 2 ) 1 t 2
c 2 n 2 t 4 + ( 4 n 2 + 1 ) t 2 2 n 2 1 = 0 , c ( 1 4 n 2 ) t 3 + ( 4 n 2 + 2 ) t = 0
1 2 t ψ ( t ) t 2 1 + n 2 ψ ( t ) t 2 1 = 0 , g 11 g 22 g 12 2 > 0 .
Proof. 
Assuming that each Chebyshev graph t y ( t ) is a geodesic with respect to the previous constrained metric family and taking into account the following two relations
c 2 n 2 t 4 + ( 4 n 2 + 1 ) t 2 2 n 2 1 = 0 , c ( 1 4 n 2 ) t 3 + ( 4 n 2 + 2 ) t = 0
we find a contradiction. The proof is complete. □
Further, in order to give a generalization of all the previously mentioned results, we establish the following main result.
Theorem 1.
Consider μ , ν : I R two C -class functions which determine the following second order linear homogeneous differential equation
y ¨ + μ ( t ) y ˙ + ν ( t ) y = 0 ,
where I R is an open real interval. Also, let be a symmetric linear connection on D = I × R . Then, the following assertions are equivalent:
(i) the C 2 -class curve x : J I D , x ( t ) = ( t , y ( t ) ) , t J , is geodesic with respect to the symmetric linear connection , for any solution y : J I R of the ODE Equation ( 5 ) ;
(ii) for any solution y : J I R of the ODE Equation ( 5 ) , each graph t y ( t ) is geodesic with respect to the symmetric linear connection ;
(iii) the symmetric linear connection has the components
Γ 11 1 ( t , y ) = 0 , Γ 12 1 ( t , y ) = Γ 21 1 ( t , y ) = 0 , Γ 22 1 ( t , y ) = 0
Γ 11 2 ( t , y ) = ν ( t ) y , Γ 12 2 ( t , y ) = Γ 21 2 ( t , y ) = 1 2 μ ( t ) , Γ 22 2 ( t , y ) = 0 ,
for any t J , y R , and the components of the Riemannian metric g = g i j d x i d x j on D fulfill
g 22 ( t , y ) = φ ( t ) , g 12 ( t , y ) = g 21 ( t , y ) = 1 2 φ ˙ ( t ) y + ψ ( t )
g 11 ( t , y ) = 1 4 φ ˙ ( t ) μ ( t ) y 2 + ψ ( t ) μ ( t ) y + k ( t )
subject to
φ ( t ) = c e μ ( t ) d t , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) φ ( t ) μ ( t ) ψ 2 ( t ) φ ( t )
1 2 φ ( t ) μ ( t ) φ ( t ) ν ( t ) = 0 , 1 4 φ ˙ ( t ) μ ( t ) φ ˙ ( t ) ν ( t ) = 0
1 2 ψ ( t ) μ ( t ) ψ ( t ) ν ( t ) = 0 , g 11 ( t , y ) g 22 ( t , y ) g 12 ( t , y ) 2 > 0 .
Proof. 
The equivalence between (i) and (ii) is obvious. Further, we consider the equivalence (ii) (iii). Let y : J I R be a solution of the ODE Equation ( 5 ) and consider the differential Equations ( 1 ) and ( 2 ) ,
Γ 22 1 ( t , y ) y ˙ 2 + 2 Γ 12 1 ( t , y ) y ˙ + Γ 11 1 ( t , y ) = 0
y ¨ + Γ 22 2 ( t , y ) y ˙ 2 + 2 Γ 12 2 ( t , y ) y ˙ + Γ 11 2 ( t , y ) = 0 .
Each graph t y ( t ) is geodesic with respect to the symmetric linear connection on D , of components Γ j k i , i , j , k { 1 , 2 } , if and only if any solution y : J I R of the ODE Equation ( 5 ) is also a solution of the foregoing differential equations, that is,
Γ 11 1 ( t , y ) = 0 , Γ 12 1 ( t , y ) = Γ 21 1 ( t , y ) = 0 , Γ 22 1 ( t , y ) = 0
Γ 11 2 ( t , y ) = ν ( t ) y , Γ 12 2 ( t , y ) = Γ 21 2 ( t , y ) = 1 2 μ ( t ) , Γ 22 2 ( t , y ) = 0 ,
for any t J , y R (see Theorems 1.3 and 1.4 in Udrişte et al. [7], and the components of the Riemannian metric g = g i j d x i d x j on D satisfy the differential equations in Equation ( 4 ) , that is, by a direct computation and considering that g = g i j determines on D a symmetric positive definite matrix, the following relations hold:
g 22 ( t , y ) = φ ( t ) , g 12 ( t , y ) = g 21 ( t , y ) = 1 2 φ ˙ ( t ) y + ψ ( t )
g 11 ( t , y ) = 1 4 φ ˙ ( t ) μ ( t ) y 2 + ψ ( t ) μ ( t ) y + k ( t )
subject to
φ ( t ) = c e μ ( t ) d t , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) φ ( t ) μ ( t ) ψ 2 ( t ) φ ( t )
1 2 φ ( t ) μ ( t ) φ ( t ) ν ( t ) = 0 , 1 4 φ ˙ ( t ) μ ( t ) φ ˙ ( t ) ν ( t ) = 0
1 2 ψ ( t ) μ ( t ) ψ ( t ) ν ( t ) = 0 , g 11 ( t , y ) g 22 ( t , y ) g 12 ( t , y ) 2 > 0 .
The proof is complete. □
Remark 1.
Let us consider the Lagrangian (the energy of curve)
L = 1 2 x ˙ ( t ) 2 = 1 2 g i j ( x ( t ) ) x ˙ i ( t ) x ˙ j ( t ) , i , j { 1 , 2 } ,
where x ( t ) = x 1 ( t ) , x 2 ( t ) is a C 2 -class curve on D R 2 . We write the Euler–Lagrange equations, L x i d d t L x ˙ i = 0 , i { 1 , 2 } , associated to the previous Lagrangian, and taking into account that x ( t ) = x 1 ( t ) , x 2 ( t ) : = t , y ( t ) , we obtain the following differential equations
y ¨ + g 12 y 1 2 g 22 t g 12 y ˙ 2 + g 11 y g 12 y ˙ + 1 2 g 11 t g 12 = 0
y ¨ + 1 2 g 22 y g 22 y ˙ 2 + g 22 t g 22 y ˙ + g 12 t 1 2 g 11 y g 22 = 0 .
Theorem 2.
Let μ , ν : I R be two C -class functions which determine the second order linear homogeneous differential equation given in Equation ( 5 ) , where I R is an open real interval. Also, let be a symmetric linear connection on D = I × R having the components defined as in Theorem 1. The following assertions are equivalent:
(i) the C 2 -class curve x : J I D , x ( t ) = ( t , y ( t ) ) , t J , for any solution y : J I R of the ODE Equation ( 5 ) , is geodesic with respect to the symmetric linear connection ;
(ii) the components of the Riemannian metric g = g i j d x i d x j on D satisfy the following relations
g 12 y 1 2 g 22 t g 12 = 1 2 g 22 y g 22 = Γ 22 2 , g 11 y g 12 = g 22 t g 22 = 2 Γ 12 2
1 2 g 11 t g 12 = g 12 t 1 2 g 11 y g 22 = Γ 11 2
g 12 y Γ 11 2 + g 12 Γ 11 2 y = g 12 t Γ 12 2 + g 12 Γ 12 2 t ( closeness conditions )
g 22 y Γ 12 2 + g 22 Γ 12 2 y = g 22 t Γ 22 2 + g 22 Γ 22 2 t
g 22 y Γ 11 2 + g 22 Γ 11 2 y + g 12 y Γ 12 2 + g 12 Γ 12 2 y = g 12 t Γ 22 2 + g 12 Γ 22 2 t + g 22 t Γ 12 2 + g 22 Γ 12 2 t
g 11 ( t , y ) g 22 ( t , y ) g 12 ( t , y ) 2 > 0 .
(iii) the components of the Riemannian metric g = g i j d x i d x j on D fulfill
g 22 ( t , y ) = φ ( t ) , g 12 ( t , y ) = g 21 ( t , y ) = 1 2 φ ˙ ( t ) y + ψ ( t )
g 11 ( t , y ) = 1 4 φ ˙ ( t ) μ ( t ) y 2 + ψ ( t ) μ ( t ) y + k ( t )
subject to
φ ( t ) = c e μ ( t ) d t , c > 0 ; k ˙ ( t ) = 2 ψ ( t ) ψ ˙ ( t ) φ ( t ) μ ( t ) ψ 2 ( t ) φ ( t )
1 2 φ ( t ) μ ( t ) φ ( t ) ν ( t ) = 0 , 1 4 φ ˙ ( t ) μ ( t ) φ ˙ ( t ) ν ( t ) = 0
1 2 ψ ( t ) μ ( t ) ψ ( t ) ν ( t ) = 0 , g 11 ( t , y ) g 22 ( t , y ) g 12 ( t , y ) 2 > 0 .
Proof. 
Considering the components of the symmetric linear connection on D , given in Theorem 1 (see (iii)), the equivalence (ii) (iii) follows by a direct computation. Let remark that the relations that appear at (ii) in our theorem represent only a rearrangement of the terms in Equation ( 4 ) . Consequently, the proof of the equivalence (i) (ii) follows in the same manner as in Theorem 1 (see the second part of the proof for the equivalence (ii) (iii)). The proof is complete. □
Theorem 3.
The C 2 -class curve x : J I D , x ( t ) = ( t , y ( t ) ) , t J , for any solution y : J I R of the ODE Equation ( 5 ) , is geodesic with respect to the symmetric linear connection of components
Γ 11 1 ( t , y ) = 0 , Γ 12 1 ( t , y ) = Γ 21 1 ( t , y ) = 0 , Γ 22 1 ( t , y ) = 0
Γ 11 2 ( t , y ) = ν ( t ) y , Γ 12 2 ( t , y ) = Γ 21 2 ( t , y ) = 1 2 μ ( t ) , Γ 22 2 ( t , y ) = 0 ,
for any t J , y R , if and only if the differential Equations ( 2 ) , ( 6 ) and ( 7 ) have the same set of solutions and the following complete integrability and positive defining conditions hold
g 12 y Γ 11 2 + g 12 Γ 11 2 y = g 12 t Γ 12 2 + g 12 Γ 12 2 t
g 22 y Γ 12 2 + g 22 Γ 12 2 y = g 22 t Γ 22 2 + g 22 Γ 22 2 t
g 22 y Γ 11 2 + g 22 Γ 11 2 y + g 12 y Γ 12 2 + g 12 Γ 12 2 y = g 12 t Γ 22 2 + g 12 Γ 22 2 t + g 22 t Γ 12 2 + g 22 Γ 12 2 t
g 11 ( t , y ) g 22 ( t , y ) g 12 ( t , y ) 2 > 0 .
Proof. 
Using the previous two theorems (see Theorem 1 and Theorem 2) and Remark 1, the proof is immediately clear. □
Remark 2.
Let us notice that the components of the symmetric linear connection mentioned in the previous result (see Theorem 3) can be obtained from the condition that the differential Equations ( 1 ) , ( 2 ) and the ODE ( 3 ) to have the same set of solutions. Consequently, we get the next result.
Theorem 4.
The C 2 -class curve x : J I D , x ( t ) = ( t , y ( t ) ) , t J , for any solution y : J I R of the ODE Equation ( 5 ) , is geodesic with respect to the symmetric linear connection on D , of components Γ j k i , i , j , k { 1 , 2 } , if and only if the differential Equations ( 1 ) , ( 2 ) , ( 6 ) , ( 7 ) and the ODE Equation ( 5 ) have the same set of solutions and
g 12 y Γ 11 2 + g 12 Γ 11 2 y = g 12 t Γ 12 2 + g 12 Γ 12 2 t
g 22 y Γ 12 2 + g 22 Γ 12 2 y = g 22 t Γ 22 2 + g 22 Γ 22 2 t
g 22 y Γ 11 2 + g 22 Γ 11 2 y + g 12 y Γ 12 2 + g 12 Γ 12 2 y = g 12 t Γ 22 2 + g 12 Γ 22 2 t + g 22 t Γ 12 2 + g 22 Γ 12 2 t
g 11 ( t , y ) g 22 ( t , y ) g 12 ( t , y ) 2 > 0 .
Proof. 
Taking into account the foregoing remark (see Remark 2) and Theorem 3, the proof is obvious. □

3. Conclusions and Further Developments

In this paper, we have studied the geodesic behavior of some special plane curves. We have developed an original point of view by introducing some new results regarding the geodesics and auto-parallel curves literature. Concretely, we have studied the geometric structures on an open subset D R 2 such that the graphs associated with the solutions of some special functions to become geodesics. A potential application of the obtained results is the inverse problem of the calculus of variations, which seeks the conditions for a system of second-order differential equations to be equivalent to the Euler–Lagrange equations of some Lagrangian function.

Funding

The APC was funded by University Politehnica of Bucharest, “PubArt” program.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Crampin, M.; Martinez, E.; Sarlet, W. Linear connections for systems of second-order ordinary differential equations. Ann. Inst. Henri Poincaré (A) 1996, 65, 223–249. [Google Scholar]
  2. Ermakov, V.P. Second-order differential equations: Conditions of complete integrability. Appl. Anal. Discrete Math. 2008, 2, 123–145. [Google Scholar] [CrossRef] [Green Version]
  3. Sarlet, W.; Mestdag, T. Aspects of time-dependent second-order differential equations: Berwald-type connections, Steps in Differential Geometry. In Proceedings of the Colloquium on Differential Geometry, Debrecen, Hungary, 25–30 July 2000; pp. 283–293. [Google Scholar]
  4. Michor, P.W.; Mumford, D. Riemannian geometries of space of plane curves. J. Eur. Math. Soc. 2006, 8, 1–48. [Google Scholar] [CrossRef] [Green Version]
  5. Udrişte, C. Geometric Dynamics. In Mathematics and Its Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 2000; Volume 513. [Google Scholar]
  6. Udrişte, C. Convex Functions and Optimization Methods on Riemannian Manifolds. In Mathematics and Its Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands; Boston, MA, USA; London, UK, 1994; Volume 297. [Google Scholar]
  7. Udrişte, C.; Ghiu, C.; Ţevy, I. Identity theorem for ODEs, auto-parallel graphs and geodesics. Balkan J. Geom. Appl. 2012, 17, 95–114. [Google Scholar]
  8. Treanţă, S.; Udrişte, C. On Auto-Parallel Behavior of Some Special Plane or Space Curves. In Proceedings of the 17th International Conference on Systems, Control, Signal Processing and Informatics (SCSI’13), Rhodes (Rodos) Island, Greece, 16–19 July 2013; pp. 90–94. [Google Scholar]

Share and Cite

MDPI and ACS Style

Treanţă, S. On Geodesic Behavior of Some Special Curves. Symmetry 2020, 12, 504. https://doi.org/10.3390/sym12040504

AMA Style

Treanţă S. On Geodesic Behavior of Some Special Curves. Symmetry. 2020; 12(4):504. https://doi.org/10.3390/sym12040504

Chicago/Turabian Style

Treanţă, Savin. 2020. "On Geodesic Behavior of Some Special Curves" Symmetry 12, no. 4: 504. https://doi.org/10.3390/sym12040504

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop