arxiv:60.00750v [math.dg] 5 Jan 06 On the k-semispray of Nonlinear Connections in k-tangent Bundle Geometry Florian Munteanu Department of Applied Mathematics, University of Craiova, Romania munteanufm@gmail.com Abstract In this paper we present a method by which is obtained a sequence of k-semisprays and two sequences of nonlinear connections on the k- tangent bundle T k M, starting from a given one. Interesting particular cases appear for Lagrange and Finsler spaces of order k. AMS Subject Classification: 53C05, 53C60. Key words: k-tangent bundle, k-semispray, nonlinear connection, Lagrange space of order k, Finsler space of order k. Introduction Classical Mechanics have been entirely geometrized in terms of symplectic geometry and in this approach there exists certain dynamical vector field on the tangent bundle TM of a manifold M whose integral curves are the solutions of the Euler-Lagrange equations. This vector field is usually called spray or secondorder differential equation (SODE. Sometimes it is called semispray and the term spray is reserved to homogeneous second-order differential equations ([7], [5]. Let us remember that a SODE on TM is a vector field on TM such that JC = C, where J is the almost tangent structure and C is the canonical Liouville field ([5], [6]. In [], [3], [4] J. Grifone studies the relationship among SODEs, nonlinear connections and the autonomous Lagrangian formalism. In paper [] Gh. Munteanu and Gh. Pitiş also studied the relation between sprays and nonlinear connectiosn on TM. This study was extended to the non-autonomous case by M. de León and P. Rodgrigues ([5]. Also, important results for singular non-autonomous case was obtained in [3]. In this paper, following the ideas of papers [0], [], [] and [3] we will extend the study of the relationship between sprays and nonlinear connections to the k-tangent bundle of a manifold M. The study of the geometry of this k-tangent bundle was by introduced by R. Miron ([7], [8], [9]. For this case the k-spray represent a system of ordinary differential equations of k + order.
The k-semispray of a Nonlinear Connection Let M be a real n-dimensional manifold of class C and (T k M,π k,m the bundle of accelerations of order k. It can be identified with the k-osculator bundle or k-tangent bundle ([7], [9]. A point u T k M will be written by u = (x,y,...,y, π k (u = x, x M. The canonical coordinates of u are (x i,y i,...,y i, i =,n, where y i = dx i!,..., y(i = d k x i. A transformation of local coordinates k! k (x i,y i,...,y i ( x i,ỹ i,...,ỹ i on (k +n-dimensional manifold T k M is given by ( x x i = x i (x,...,x n i, rang x j = n, ỹ i = xi x jyj, ỹ (i = ỹi x j yj + ỹi, y jy(j... kỹ i = ỹ(k i x j y j + ỹ(k i y (j + +k ỹ(k i. y j y (k jyj A{ local coordinates change } transforms the natural basis x i, y i,, of the tangent space T y i u T k M by the rule: u ( x i = xj x i x j + ỹj x i + + ỹj ỹ j x i ỹ j, ỹ j = + + ỹj y i y i ỹ j y i ỹ j,. y i = ỹ j y i ỹ j. The distribution { V : u T } k M V,u T u T k M generated by the tangent vectors y i,, is a vertical distribution on the bundle T k M. y i u Its local dimension is { kn. Similarly, the distribution } V : u T k M V,u T u T k M generated by y (i,, is a subdistribution of V y i of local u dimension (k n. So, by this procedure on obtains a sequence of integrable distributions { } V V V k. The last distribution V k is generated by and dimv k = n ([7]. y i u Hereafter, we consider the open submanifold { } T k M = T k M \{0} = (x,y,...,y T k M rank y i =,
where 0 is the null section of the projection π k : T k M M. The following operators in algebra of functions F(T k M (3 Γ = y i y i, Γ = y i +y(i y (k i y i,... k Γ = y i +y(i + +kyi y i y (i y i are k vector fields, globally defined on T k M and linearly independent on the manifold T k M = T k M \{0}, Γ belongs of distribution V k, Γ belongs of distribution V k,..., Γ k belongs of distribution V (see [7]. Γ, Γ,..., Γ k are called Liouville vector fields. In applications we shall use also the following nonlinear operator, which is not a vector field, (4 Γ = y i x i +y(i + +kyi y i y (k i. Under a coordinates transformation on T k M, Γ changes as follows: (5 Γ = {y Γ+ iỹj x i + +ky i ỹ j } y (k i ỹ j. A k-tangent structure J on T k M is defined as usually ([7] by the following F(T k M-linear mapping J : X(T k M X(T k M: ( J x (6 i = ( y i,j = ( y i y (i,..., J = ( y (k i y i,j = 0. y i J is a tensor field of type (,, globally defined on T k M. Definition. ([7] A k-semispray on T k M is a vector field S X(T k M with the property (7 JS = k Γ. Obviously, there not always exists a k-semispray, globally defined on T k M. Therefore the notion of local k-semispray is necessary. For example, if M is a paracompact manifold then on T k M there exists local k-semisprays ([7]. Theorem. ([7] i A k-semispray S can be uniquely written in local coordinates in the form: (8 S = y i x i +y(i + +kyi y i (k +G i (x,y,...,y y. i 3 y (k i
ii With respect to the coefficients G i (x,y,...,y change as follows: (9 (k + G i = (k +G j xi x j (y jỹi x j + +ky j ỹ i. y (k j iii If the functions G i (x,y,...,y are given on every domain of local chart of T k M, so that (9 holds, then the vector field S from (8 is a k-semispray. Let us consider a curve c : I M, represented in a local chart (U,ϕ by x i = x i (t, t I. Thus, the mapping c : I T k M, given on (π k (U, by (0 x i = x i (t,y i (t = dx i! (t,...,yi (t = d k x i k! k (t,t I is a curve in T k M, called the k-extension to T k M of the curve c. A curve c : I M is called k-path of a k-semispray S (from (8 if its k-extension c is an integral curve for S, that is ( {dx i = yi, dy i = y (i,..., dy(k i = ky i, dyi = (k +G i. Definition. The k-semispray S is called k-sprayif the functions ( G i (x,y,...,y are (k + -homogeneous, that is G i (x,λy,...,λ k y = λ k+ G i (x,y,...,y, λ > 0. Like in the case of tangent bundle, an Euler Theorem holds. That is, a function f F( T k M is r-homogeneous if and only if L kγ f = rf. Then a k-semispray S is a k-spray if and only if ( y h Gi Gi +y(h h y Gi + +kyh y (h y = (k h +Gi. Definition.3 A vector subbundle NT k M of the tangent bundle (TT k M,dπ k,m which is supplementary to the vertical subbundle V T k M, (3 TT k M = NT k M V T k M is called a nonlinear connection on T k M. 4
The fibres of NT k M determine a horizontal distribution N : u T k M N u T k M T u T k M supplementary to the vertical distribution V, that is (4 T u T k M = N u T k M V,u T k M, u T k M. The dimension of horizontal distribution N is n. If the base manifold M is paracompact then on T k M there exists the nonlinear connections ([7]. { There } exists a unique local ( basis, adapted to the horizontal distribution N, x i, such that dπ k i=,n x i u = x i π k (u, i =,..., n. More over, on each domain of local chart of T k M there exists the functions Nj i, Nj i,..., Nj i ( such that (5 x i = x i Nj i y j Nj i y j. The functions Nj i, Nj i,...,nj i are called the primal coefficients of the nonlinear ( connection N and under a coordinates transformation on T k M this coefficients are changing by the rule: (6 Ñm i x m x j Ñm i x m ( x j Ñm i x m x j = xi x mnm j = xi x mnm j ( = xi x mnm j ỹi x j, + ỹi x m Nm j ỹ(i x j,..., + ỹi x m Nm j + + ỹ(k i x (k m Nm j ỹi x j. Conversely, if on each local chart of T k M a set of functions Nj i,..., Nj i is given so that, according to, the equalities (6 hold, then there exists on T k M a unique nonlinear connection N which has as coefficients just the given set of function ([7]. { } The local adapted basis x i, y i,, is given by (5 and y i i=,n (7 y = i y (k i = y i Nj i y (j Nj i y (k i Nj i (k y j,..., y j, y = i y j and the dual basis (or the adapted cobasis of adapted basis is 5
{ x i,y i,...,y i} i=,n, where xi = dx i and (8 y i y (i y i = dy i + i dx j, = dy (i + = dy i + dy j + i dx j,..., ( dy (k j + + dx j and (9 ( = Nj i, = N i j ( = N i j +Nm m,..., + Nm m (k + +Nm m. (k Conversely, if the adapted cobasis { x i,y i,...,y i} is given in the { i=,n } form (8, then the adapted basis x i, y i,, is expressed y i i=,n in the form (7, where Nj i = i, (0 N i j ( N i j = ( = The functions i, i,..., i ( connection N. Nm m,..., Nm m (k Nm m. (k are called the dual coefficients of the nonlinear A nonlinear connection N is complete determined by a system of functions i,..., i which is given on each domain of local chart on T k M, so that, according to, the relations hold: ( M m j M m j ( M m j x i x m x i x m x i x m = xm x m + ỹi x j, = xm x j M i m ( + ỹm x j Mi m + ỹ(i x j,..., = xm x j M i m + ỹm x j Mi m (k + + ỹ(k m x j. Mi m + ỹi x j. Let c : I M be a parametrized curve on the base manifold M, given by x i = x i (t, t I. If we consider its k-extension c to T k M, then we say that c is 6
an autoparallel curve for the nonlinear connection N if its k-extension c is an horizontal curve, that is d c belongs to the horizontal distribution. From (8 and ( d c = dxi x i + yi yi + + y i y i it result that the autoparallels curves of the nonlinear connection N with the dual coefficients i,..., i are characterized by the system of differential equations ([7]: (3 y i = dxi, y(i = d x i!,..., yi = k! y i = dyi dx j = 0, + y (i = dy(i +M i dy j j +M i dx j j = 0, (... y i = dyi + dy (k j + + Now, let be S = S a k-semispray with the coefficients like in (8. Then the set of functions = Gi (4 ( = y j, ( S i +Mm m... (, d k x i k, dx j = 0. G i = G i (x,y,...,y = k S (k +M i m M m j (k gives the dual coefficients of a nonlinear connection N determined only by the k-semispray S (see the book [7] of Radu Miron. Other result, obtained by Ioan Bucătaru ([], give a second nonlinear connection N on T k M determined only by the k-semispray S. That is, the following set of functions (5 M i j = Gi y M i j, j ( = Gi y (k j,..., M i j is the set of dual coefficients of a nonlinear connection N. = Gi y j 7
Let us consider the set of functions ( G i (x,y,...,y, given on every domain of local chart by (6 G i = k ΓG i = G i G i k + k + yh y h+ k + y(h y (h+ + k k + yh Using (5 we obtain that the functions represent the coefficients of a k-semispray S, G i y h. G i verifies (9. So, the functions G i (7 S = y i x i +y(i + +kyi y i (k + G i (x,y,...,y y i. y (k i Obviously, there exists two nonlinear connections on T k M, which depend only by the k-semispray S: N with the dual coefficients i = Gi y ( j, i = SM i j + M i m m, (8 (... ( i = S M i j + M i m m k (k (k and N with the dual coefficients (9 M i j = G i y j, i ( = G i i y (k j,..., = Gi y j. and two se- ( ms By this method is obtained a sequence of k-semisprays ( ( mn mn quence of nonlinear connections,,. m m From (, (3 and (6 we have the following results: m Proposition. If c is an autoparallel curve for nonlinear connection N, then c is a k-path of k-semispray S. 8
Theorem. The following assertions are equivalent: i the k-semispray S is a k-spray; ii the k-paths of S and S coincide. Theorem.3 If S is a k-spray then i,..., (or i,..., i are homogeneous functions of degree,,..., k, respectively. The same property have the primal coefficients Nj i,..., N i j (or,...,. N i j We remark that the converse of this proposition is generally not valid and we have the result: ( Theorem.4 If S ms is a k-spray then the sequence is constant and the ( ( m mn mn sequences, are constant. m m 3 The k-semispray of a Nonlinear Connection in a Lagrange Space of Order k A Lagrangian of order k is a mapping L : T k M R. L is called differentiable if it is of C -class on T k M and continuous on the null section of the projection π k : T k M M. The Hessian of a differentiable Lagrangian L, with respect to the variables y i on T k M is the matrix g ij, where N i j (30 g ij = L y i y j. We have that g ij is a d-tensor field on the manifold T k M, covariant of order, symmetric (see [7]. If (3 rank g ij = n, on Tk M we say that L(x,y,...,y is a regular (or nondegenerate Lagrangian. The existence of the regular Lagrangians of order k is proved for the case of paracompacts manifold M in the book [7] of Radu Miron. Definition 3. ([7] We call a Lagrange space of order k a pair L n = (M,L, formed by a real n-dimensional manifold M and a regular differentiable Lagrangian of order k, L : (x,y,...,y T k M L(x,y,...,y R, for which the quadratic form Ψ = g ij ξ i ξ j on T k M has a constant signature. 9
L is called the fundamental function and g ij the fundamental (or metric tensor field of the space L n. It is known that for any regular Lagrangian of order k, L(x,y,...,y, there exists a k-semispray S L determined only by the Lagrangian L (see [7]. The coefficients of S L are given by (3 (k +G i = ( L {Γ gij L }. y j y (k j This k-semispray S L depending only by L will be called canonical. If L is globally defined on T k M, then S L has the same property on T k M. From (4 and (5 it result that there exists two nonlinear connections: Miron s connection N and Bucătaru s connection N which depending only by the Lagrangian L. For this reason, both are called canonical. So, the coefficients of k-semisprays m S and the coefficients of nonlinear connections N, m m N depend only by the Lagrangian L, for any m, but their expressions is not attractive for us. Interesting results appear for Finsler spaces of order k. Definition 3. ([8] A Finsler space of order k is a pair F n = (M,F formed by a real differentiable manifold M of dimension n and a function F : T k M R having the following properties: i F is differentiable on T k M and continuous on null section 0 : M T k M; ii F is positive; iii F is k-homogeneous; iv the Hessian of F with elements (33 g ij = F y i y j is positively defined on T k M. The function F is called the fundamental function and the d-tensor field g ij is called fundamental(or metric tensor field of the Finsler space of order k, F n. The class of spaces F n is a subclass of spaces L n. Taking into account the k-homogeneity of the fundamental function F and k-homogeneity of F we get:. the coefficients G i of the canonical k-semispray S F, determined only by the fundamental function F, (34 (k +G i = ( } F {Γ gij F, y j y (k j is (k +-homogeneous functions, that is S F is a k-spray; 0
. the dual coefficients of the Cartan nonlinear connection N associated to Finsler space of order k, F n (see [8], (35 = (k + ( y j i = S F i +Mm m (... ( = k S F (k [ ( F {g im Γ +M i m M m j (k, y m, ]} F, y (k m are homogeneous functions of degree,,..., k, respectively, and the primal coefficients has the same property; 3. thedualcoefficientsofbucătaru sconnectionn associateolagrangian F are also homogeneous functions of degree,,..., k, respectively, and the primal coefficients has the same property. Using the previous results, we obtain the results:, m Theorem 3. If F ( n = (M,F is a Finsler space of order k, then: ms a the sequence is constant, S being the canonical k-spray S F ; m ( ( mn mn b the sequences of nonlinear connections are con- stants, N being the Cartan nonlinear connection of F n and N being the Bucătaru s connection for L = F. 4 Conclusions In this paper was studied the the relation between semisprays and nonlinear connections on the k-tangent bundle T k M of a manifold M. This results was generalized by the author from the -tangent bundle T M ([]. More that, the relationship between SOPDEs and nonlinear connections on the tangent bundle of k -velocities of a manifold M (i.e. the Whitney sum of k copies of TM, Tk M = TM TM was studied by F. Munteanu in [4] (006 and by N. Roman-Roy, M. Salgado, S. Vilarino in [5] (0. Acknowledgments. This research was partially supported by Grant FP7- PEOPLE-0-IRSES-36338. References m [] Bucătaru, I., Horizontal Lifts in the Higher-Order Geometry, Publ. Math. Debrecen, Hungary, 56, -, 000, -3
[] Grifone, J., Structure presque-tangente et connexions, I, Ann. Inst. Fourier (97, 87-334. [3] Grifone, J., Structure presque-tangente et connexions, II, Ann. Inst. Fourier (97, 9-338. [4] Grifone, J., Mehdi, M., On the geometry of Lagrangian mechanics with non-holonomic constraints, J. Geom. Phys. 30 (3, 999, 8703. [5] de León, M., Rodrigues, P. R., Dynamical connections and non autonomous Lagrangian systems, Ann. Fac. Sci. Toulouse Math. (5 9, no.. 988, 78. [6] Miron, R., Anastasiei, M., The Geometry of Lagrange Spaces: Theory and Applications, FTPH, no. 59, Kluwer Academic Publishers, 994 [7] Miron, R., The Geometry of Higher-Order Lagrange Spaces. Applications to Mechanics and Physics, FTPH, no. 8, Kluwer Academic Publishers, 997 [8] Miron, R., The Geometry of Higher-Order Finsler Spaces, Hadronic Press, Inc., U.S.A., 998 [9] Miron, R., Hrimiuc, D., Shimada, H., Sabău, V.S., The Geometry of Lagrange and Hamilton Spaces, FTPH, no. 8, Kluwer Academic Publishers, 00 [0] Munteanu, F., On the Semispray of Nonlinear Connections in Rheonomic Lagrange Geometry, Proc. Conf. Finsler-Lagrange Geometry, Iasi, ed. M.Anastasiei, Kluwer Academic Publishers (003, 9-37. [] Munteanu, F., On the -Semispray of Nonlinear Connections in -Tangent Bundle Geometry, preprint [] Munteanu, G., Pitiş, G., On the Nonlinear Connection of a Spray, Report to Math. Physics, vol. 50, no., 00, pp. 4-47. [3] Munteanu, F., Popescu, L., The variational problem in singular rheonomic Lagrange spaces, An. Univ. Vest, Timişoara, ser. Math-Inf, vol. 40, no., 00, p. 07. [4] F. Munteanu, Second order partial differential equations (SOPDEs and nonlinear connections on the tangent bundle of k -velocities of a manifold, Diff. Geom. Dyn. Sys., vol. 8, 006, pp. 66-80. [5] Roman-Roy, N., Salgado, M., Vilarino, S., SOPDES and Nonlinear Connections, Publ. Math. Debrecen 78/ (0, 97-36.