arxiv: v1 [math.dg] 21 Dec 2017

Transcription

1 arxiv: v1 [math.dg] 21 Dec 2017 Some classes of projectively and dually flat insler spaces with Randers change Gauree Shanker, Sarita Rani and Kirandeep Kaur Department of Mathematics and Statistics School of Basic and pplied Sciences Central University of Punjab, Bathinda, Punjab , India bstract In this paper, we consider Randers change of some special α, β metrics. irst we find the fundamental metric tensor and Cartan tensor of these Randers changed α, β metrics. Next, we establish a general formula for inverse of fundamental metric tensors of these metrics. inally, we find the necessary and sufficient conditions under which the Randers change of these α, β metrics are projectively and locally dually flat. Mathematics Subject Classification: 53B40, 53C60. Keywords and Phrases: α, β metric, Randers Change, fundamental metric tensor, Cartan tensor, projective flatness, dual flatness. 1 Introduction ccording to S. S. Chern [5], insler geometry is just Riemannian geometry without quadratic restriction. Now a days, insler geometry is an interesting and active area of research for both pure and applied reasons [2].Though there has been a lot of development in this area, still there is a huge scope of research work in insler geometry. The concept of α, β metric was introduced by M. Matsumoto [9] in or a general insler metric, C. Shibata [17] introduced the notion of β change in, i.e., = f,β in Recall [6] that a insler metric on an open subset U of R n is called projectively flat ifand onlyif all thegeodesics arestraight in U. Theconcept 1

2 of dually flatness in Riemannian geometry was given by mari and Nagaoka in [1] while studying information geometry. Information geometry provides mathematical science with a new framework for analysis. Information geometry is an investigation of differential geometric structure in probability distribution. It is also applicable in statistical physics, statistical inferences etc. Z. Shen [16] extended the notion of dually flatness in insler spaces. Since then, many authors [3], [12], [15] have worked on this topic. The current paper is organized as follows: In second section, we give basic definitions and examples of some special insler spaces with α, β metrics obtained by Randers change. In section 3, we find fundamental metric tensors ḡ ij and Cartan tensors C ijk for these metrics. In section 4, we find a generalized formula for the inverse ḡ ij of fundamental metric tensor ḡ ij. In sections 5 and 6 we find the necessary and sufficient conditions for Randers change of some special insler spaces with α, β metrics to be projectively and locally dually flat respectively. 2 Preliminaries Though there is vast literature available for Riemann-insler geometry, here we give some basic definitions, examples and results required for subsequent sections. Definition 2.1. Let M be an n-dimensional smooth manifold, T x M the tangent space at x M, and TM := T x M x M be the tangent bundle of M whose elements are denoted by x,y, where x M and y T x M. insler structure on M is a function with the properties: : TM [0,, Regularity: is C on the slit tangent bundle TM\0. Positive homogeneity: x,λy = λx,y λ > 0. [1 ] Strong convexity: The n nmatrix g ij = is positivedefinite at every point of TM\ y i y j

3 smooth manifold M together with the insler structure, i.e., M, is called insler space and the corresponding geometry is called insler geometry. Next, we recall [9] following definition: Definition 2.2. n α,β metric = αφs, s = β with φ = φs a α smooth positive function on some symmetric interval b 0,b 0, is a insler metric, which is positively homogeneous function of α and β of degree one, where α = a ij xy i y j is a Riemannian metric and β = b i xy i is a 1 form. β Lemma 2.1. [6] n α,β norm = αφ is said to be a Minkowski α norm for any Riemannian metric α and 1 form β with β α < b 0 if and only if φ = φs satisfies the following conditions: φs > 0, φs sφ s b 2 s 2 φ s > 0, φs sφ s > 0, where b is an arbitrary numbers satisfying s b < b 0. There are so many classical examples of α, β metrics, below we mention few of them: Randers metric, Kropina metric, generalized Kropina metric, Z. Shen s square metric, Matsumoto metric, exponential metric, infinite series metric. Recall [17] that Definition 2.3. Let M, be an n dimensional insler space. Then a metric = f,ββ constructed via a β change is called Randers change of α, β metric. Next, we construct some special insler metrics via Randers change of α, β metrics. Our further studies will be based on these metrics. 1. Kropina-Randers change of α, β-metric: Weknowthat = α2 β,whereα = a ij xy i y j isariemannianmetric and β = b i xy i is a 1 form, is Kropina metric. pplying β change and Randers change simultaneously to this metric, we obtain a new metric = 2 β, which we call Kropina-Randers changed metric. β 3

4 2. Generalized Kropina-Randers change of α, β-metric: We know that = αm1 β m m 0, 1, where α = a ij xy i y j is a Riemannianmetricandβ = b i xy i isa1 form, isgeneralizedkropina metric. pplying β change and Randers change simultaneously to this metric, we obtain a new metric = m1 β, m 0, 1, βm which we call generalized Kropina-Randers changed metric. 3. Square-Randers change of α, β-metric: We know that = αβ2, where α = a ij xy α i y j is a Riemannian metric and β = b i xy i is a 1 form, is Z. Shen s square metric. pplying β change and Randers change simultaneously to this metric, we obtain a new metric β2 = β, which we call Square-Randers changed metric. 4. Matsumoto-Randers change of α, β-metric: gain = α2 α β, where α = a ij xy i y j is a Riemannian metric and β = b i xy i is a 1 form, is a well known Matsumoto metric. pplying β change and Randers change simultaneously to this metric, we obtain a new metric = 2 β, which we call Matsumoto- β Randers changed metric. 5. Exponential-Randers change of α, β-metric: The metric = αe β/α, where α = a ij xy i y j is a Riemannian metricand β = b i xy i is a 1 form, is called exponential metric. pplying β change and Randers change simultaneously to this metric, we obtain a new metric = e β/ β, which we call exponential-randers changed metric. 6. Randers change of infinite series α, β-metric: The metric = β2 β α, where α = a ij xy i y j is a Riemannian metric and β = b i xy i is a 1 form, is called infinite series metric. pplying β change and Randers change simultaneously to this metric, we obtain a new metric = β2 β, which we call infinite seriesβ Randers changed metric. 4

5 Definition 2.4. Let M, be an n dimensional insler space. If =, where = ai1 i 2 xy i 1 y i 2 with a i1 i 2 x symmetric in both the indices, then is called square-root insler metric. We use following notations in the subsequent sections: x i = x i, y i = y i, x i = x i, y i = i, x iy i = 0, x i y jyi = 0j, β x i = β x i, β y i = b i or β i, β x iy i = β 0, β x i y jyi = β 0j etc. 3 undamental Metric Tensors and Cartan Tensors Definition 3.1. Let M, be an n dimensional insler manifold. The function 1 g ij := 2 2 = y i y j y i y j = h ij l i l j y i y j is called fundamental tensor of the metric. Definition 3.2. Let M, be an n dimensional insler manifold. Then its Cartan tensor is defined as C ijk y = 1 g ij 2 y k = 1 2, 4 y i y j y k which is symmetric in all the three indices i,j,k. Next, we find fundamental metric tensor and Cartan tensor for all the Randers changed α, β metrics constructed in the previous section. Kropina-Randers changed metric is = 2 β β. 3.1 Differentiating 3.1 w.r.t. y i, we get y i = 2 β y i 2 β 2 Differentiation of 3.2 further w.r.t. y j gives β 2 b i. 3.2 y i y j = 2 β g ij bi β 2 y j b j y i β 3 b i b j

6 Now, ḡ ij = y i y j y i y j 2 = β β 2 2 β g ij 2 β y i 2 β 2 β 2 b i 2 2 bi β 2 y j b j y i 2 β 3 b i b j. β y j 2 β 2 β 2 b j Simplifying, we get ḡ ij = 22 β 2 β 2 g ij bi β 3 y j b j y i β 2 y i y j β 4 1 b i b j. 3.4 Hence, we have following: Proposition 3.1. Let M, be an n dimensional insler space with = 2 β as a Kropina-Randers changed metric. Then its fundamental metric β tensor is given by equation 3.4. Next, we find Cartan tensor for Kropina-Randers changed metric. By definition, we have rom the equation 3.4, we get 2 C ijk = y k ḡ ij = 22 β 2 β 2 2C ijk 4 12 βy k 3 b k β 4 12 β 2 y k 4 b k β 5 b i b j 2C ijk y = g ij y k. βyk 2 b k β 3 h ij y iy j 2 43 bi h jk b j h ik β 3 bi y j b j y i 42 yi h jk y j h ik 8 βy k 2 b k β 2 2 β 3 = 42 β β 2 C ijk h ij β 3 b k h β 2y k jk β 3 b i β 2y i h ki β 3 b j 4 β 2y j b 124 β 5 i b j b k β 2 b ib k y j b i b j y k b j b k y i β3 6y iy j y k β2 4 y iy k b j y i y j b k y j y k b i y i y j 2 6

7 = 42 β 2 β 2 C ijk 42 β 3 fter simplification, we get cyclic sum h ij b k β 2y k 124 β 5 cyclic product C ijk = 22 β 2 β 2 C ijk 22 β 3 h ijm k h jk m i h ki m j 64 β 5 m i m j m k. 3.5 The above discussion leads to the following proposition. Proposition 3.2. Let M, be an n dimensional insler space, with = 2 β as a Kropina-Randers changed insler metric. Then its Cartan β tensor is given by equation 3.5. Next, we find fundamental metric tensor for generalized Kropina-Randers changed metric = m1 β, m 0, βm Differentiating 3.6 w.r.t. y i, we get y i = m1 m β m y i Differentiation of 3.7 further w.r.t. y j gives 1 m m1 β m1 b i. 3.7 b i β 2y i. jmm1m 1 y i y j = m1m β m y i y β m y i m m1 yj mm1 bi β m1 y j b j y i mm1 β m2 b ib j. 3.8 Now, ḡ ij = y i y j y i y j m1 = m1 β m β m mm1m 1 β m y i y j β m y i m yj mm1 bi β m1 y j b j y i mm1 m1 β m2 b ib j m1 m β m y 1 m b i m1 β m1 i m1 m β m y 1 m b j m1 β m1 j 7

8 fter simplification, we get 2m m 1 ḡ ij =m1 β2m β m 1 m1 2m 2m g ij m1 2m 2m1 β m 1m 1 β2m β m 1 Hence, we have the following proposition. y i y j m 1m 2m1 β m 1m2m1 2m2 Proposition 3.3. Let M, be an n dimensional insler space with = m1 β m 0, 1 as generalized Kropina-Randers changed metric. βm Then its fundamental metric tensor is given by equation 3.9. Next, we find Cartan tensor for generalized Kropina-Randers changed metric. By definition, we have rom the equation 3.9, we get 2C ijk y = g ij y k. bi y j b j y i mm 1m1 β2m2 β m1 3.9 b i b j. 2 C ijk = y k ḡ ij 2m m 1 =2m1 β2m β m 1 C ijk m1 2m β2m 2 y k 2m b k β 2m1 m 1 βm 3 y k m 1 b k β m h ij y iy j 2 m1 2m 2m1 bi h jk b j h ik m 1m β2m1 β m mm1 22m1 β2m 1 y k 2m1 b k β 2m2 m 1 βm 2 y k m b k bi y j b j y i β m1 m1 2m 2m yi h jk y j h ik m 1m 1 β2m β m 1 m1 4m 2β2m 2 y k 2m b k β 2m1 2 m 1 2βm 3 y k m 1 b k β m yi y j 2 mm1 22m1 β2m y k 2m2 b k β 2m3 m 1 βm 1 y k m1 b k β m2 b i b j 8

9 2m =2m1 m m1 β m2 m 1 β2m β m 1 C ijk m1 m 1 β m 2m12m2 m1 β m1 m2 1 fter simplification, we get 2m C ijk =m1 m 1 β2m β m 1 m1 m 1 2 β m m 2 m1 β m2 C ijk 2m m1 m 1 βm1 b i β 2y i. 2m m1 cyclic product m 1 h βm1 ij m k h jk m i h ki m j m i m j m k. 2m12m2 m1 β m1 m2 1 The above discussion leads to the following proposition Proposition 3.4. Let M, be an n dimensional insler space with = m1 β m 0, 1 as generalized Kropina-Randers changed metric. βm Then its Cartan tensor is given by equation Next, we find fundamental metric tensor for square-randers changed metric β2 = β Differentiating 3.11 w.r.t. y i, we get y i = 1 β2 2β 2 y i 3 b i Differentiation of 3.12 further w.r.t. y j gives y i y j = 1 β2 2 y i y j 2β 2β 2 bi 2 y j b j y i 3 y i y j 2 b ib j Now, ḡ ij = y i y j y i y j = 1 β2 3β β2 2 1 β2 y i 2 y i y j 2β 2β 3 cyclic sum 2β 2 bi 2 y j b j y i 3 y i y j 2 b ib j b i 1 β2 2β 2 y j b 3 j. 9 h ij b k β 2y k

10 Simplifying, we get ḡ ij = 1 3β 3β3 3 β4 4 3β 9β3 3 4β4 4 Hence, we have following: g ij 3 4β3 y i y j 3 9β β 6β2 2 bi y j b j y i b i b j Proposition 3.5. Let M, be an n dimensional insler space with = β 2 β as a Square-Randers changed metric. Then its fundamental metric tensor is given by equation Next, we find Cartan tensor for square-randers changed metric. By definition, we have rom the equation 3.14, we get 2C ijk y = g ij y k. 2 C ijk = y k ḡ ij =2 1 3β 3β3 3 β4 4 C ijk 3 2 b k βy k 3 9β2 2 b k β 3 y k 5 4β3 2 b k β 4 y k 6 h ij y iy j 2 3 4β3 bi h jk b j h ik 3 9β2 2 12β2 2 b k β 3 y k 5 18β2 b k β 2 y k bi y j b j y i 4 3β 9β3 3 4β4 yi h jk y j h ik β 3 2 b k β 4 y k 6 27β2 2 b k β 3 y k 5 32 b k βy k b k βy k 3 12β2 b k β2y k 4 b i b j yi y j 2 10

11 =2 1 3β 3β3 3 β β 2 cyclic product 3 C ijk b i β 2y i fter simplification, we get C ijk = 1 3β 3β3 3 β4 4 C ijk β 2 m i m j m k. 9β2 3 4β3 4 The above discussion leads to the following proposition.. cyclic sum h ij b k β 2y k 3 9β2 3 4β3 4 h ij m k h jk m i h ki m j 3.15 Proposition 3.6. Let M, be an n dimensional insler space with = β 2 β as a Square-Randers changed metric. Then its Cartan tensor is given by equation Next, we find fundamental metric tensor for Matsumoto-Randers changed metric = 2 β β Differentiating 3.16 w.r.t. y i, we get y i = 2 2β β 2 y i 2 β 2 1 b i Differentiation of 3.17 further w.r.t. y j gives y i y j = 1 β 3 3 3β 2 2β 2 y i y j 2β b i y j b j y i 2β 2 y i y j2 2 b i b j Now, ḡ ij = y i y j y i y j = 2 β β 2 β 4 3 3β 2 2β 2 y i y j 2β b i y j b j y i 2β 2 y i y j 2 2 b i b j 2 2β 2 2 β 2 y i β 2 1 2β 2 b i β 2 y b j β 2 1 j. 11

12 fter simplification, we get 1 ḡ ij = β 4 4 2β 3 2β 2 2 5β 3 2β 4 g ij 2 4 8β 3 3β 2 2 b i y j b j y i Hence, we have following 2β 3 8β 2 2 3β 3 y i y j 64 6β 3 6β 2 2 4β 3 β 4 b i b j Proposition 3.7. Let M, be an n dimensional insler space with = 2 β as a Matsumoto-Randers changed metric. Then its fundamental β metric tensor is given by equation Next, we find Cartan tensor for Matsumoto-Randers changed metric. By definition, we have rom the equation 3.19, we get 2 C ijk = y k ḡ ij 2C ijk y = g ij y k. = 24 2β 3 2β 2 2 5β 3 2β 4 β 4 C ijk β 2 2 8β 3β 2 β 4 y K 23 8β 2 3β 2 β 4 b k h ij y iy j β 3 3β 2 2 bi h jk b j h ik β 4 18β 2 6β 3 β 5 y K 18β3 6β 2 2 bi y j b j y i β 5 b k 8β 2 2 2β 3 3β 3 yi h jk y j h ik β 4 2 [ 6β 2 16β 2 3β 3 β 4 4 2β 2 8β 2 3β 3 β 5 y k β 2 9β 2 β 4 4 2β 3 8β 2 2 3β 3 ] yi y j β 5 b k 2 18β 3 6β 2 2 β 5 y k 184 6β 3 β 5 b k b i b j 12

13 = 24 2β 3 2β 2 2 5β 3 2β 4 β 4 C ijk 23 8β 2 3β 2 β 4 Simplifying, we get cyclic sum h ij b k β 2y k C ijk = 4 2β 3 2β 2 2 5β 3 2β 4 β 4 C ijk 184 6β 3 β 5 cyclic product 23 8β 2 3β 2 2 β 4 h ij m k h jk m i h ki m j 94 3β 3 β 5 m i m j m k. The above discussion leads to the following proposition Proposition 3.8. Let M, be an n dimensional insler space with = 2 β as a Matsumoto-Randers changed metric. Then its Cartan tensor β is given by equation Next, we find fundamental metric tensor for exponential-randers changed metric = e β/ β Differentiating 3.21 w.r.t. y i, we get y i = 1 β e β/ y i 1e β/ b i b i β 2y i Differentiation of 3.22 further w.r.t. y j gives y i y j = eβ/ 1 β y i y j β β 2 bi 2 y j b j y i 3 y i y j 1 b ib j Now, ḡ ij = y i y j y i y j = e β/ β e β/ 1 β 1 β y i y j β β 2 bi 2 y j b j y i e β/ y i 1e β/ b i 1 β e β/ y j 3 y i y j 1 b ib j 1e β/ b j. 13

14 Simplifying, we get ḡ ij = e β/ β e β/ 1 β β eβ/ 1 β β β Hence, we have following: g ij e 1 β/ β β2 2 e β/ y i y j 1 2β bi e β/ y j b j y i 12e 2β/ 2 β e β/ b i b j Proposition 3.9. Let M, be an n dimensional insler space with = e β/ β as an exponential-randers changed metric. Then its fundamental metric tensor is given by equation Next, we find Cartan tensor of exponential-randers changed metric. By definition, we have rom the equation 3.24, we get 2 C ijk = ḡ ij y k = 2 e β/ β eβ/ βeβ/ 2C ijk y = g ij y k. e β/ 1 β C ijk 1e β/ β β β2 1 2 β 4β2 1 2 β3 3 eβ/ β β2 1 2 βeβ/ 3 eβ/ 1 β 2eβ/ b k β 2y h k ij y iy j 1 2β 1 1 2β 3 β 4eβ/ b i y j b j y i e β/ hik y j h jk y i 2 2β 4β2 e β/ yi y j e β/ 2 3 β 4eβ/ b k β 2y b k i b j e β/ b i h jk b j h ik b k β 2y k 3 2 b k β 2y k 14

15 =2 e β/ β e β/ 1 β C ijk 1 eβ/ β β β e β/ eβ/ 3 β 4eβ/ fter simplifying, we get C ijk = e β/ β eβ/ 2 eβ/ 2 e β/ 1 β cyclic product C ijk β β β 3 β 4eβ/ m i m j m k. cyclic sum b i β 2y i. The above discussion leads to the following proposition. h ij b k β 2y k e β/ h ij m k h jk m i h ki m j 3.25 Proposition Let M, be an n dimensional insler space with = e β/ β as an exponential-randers changed metric. Then its Cartan tensor is given by equation Next, we find fundamental metric tensor for Randers change of infinite series metric = β2 β β Differentiating 3.26 w.r.t. y i, we get y i = β 2 2β b i β 2 y i β 2 b i Differentiation of 3.27 further w.r.t. y j gives y i y j = β2 β y i y j 2β b i y j b j y i 2β 2 y i y j 2 2 b i b j β

16 Now, ḡ ij = y i y j y i y j β 2 = β β β 2 β y i y j 2β b i y j b j y i 2β 2 y i y j 2 2 b i b j β 3 2β 2 4β 2 b i β 2 y i 2β 2 4β 2 b j β 2 y j β 2 β 2. Simplifying, we get 1 β 3 2β β ḡ ij = β 4 g ij 2β 4 8β 3 3β 2 2 b i y j b j y i 2β 5 / 8β 4 3β 3 y i y j 4β 4 16β 3 24β β 3 4 b i b j Hence, we have following: 3.29 Proposition Let M, be an n dimensional insler space with = β2 β as an infinite series-randers changed metric. Then its β fundamental metric tensor is given by equation Next, we find Cartan tensor of Randers change of infinite series metric. By definition, we have rom the equation 3.29, we get 2 C ijk = ḡ ij y k 2C ijk y = g ij y k. = 2β3 2β β 3 C ijk 2β4 8β 3 3β 2 2 β 4 β3 2β 2 8β β 4 h ik y j h jk y i β2 2β 3 10β 2 29β β 5 y i y j 2β4 8β 3 3β 2 2 β 4 b i h jk b j h ik 16 b k β 2y h k ij y iy j 2 b k β 2y k 6β 3β β 5 b i y j b j y i b k β 2y k

17 63 3β β 5 b k β 2y b k i b j = 2β3 2β β 3 C ijk 2β4 8β 3 3β 2 2 β β β 5 cyclic product fter simplification, we get b i β 2y i. cyclic sum h ij b k β 2y k C ijk = β3 2β β 3 C ijk 2β4 8β 3 3β β 4 h ij m k h jk m i h ki m j 33 3β β 5 m i m j m k. Hence, we have the following proposition Proposition Let M, be an n dimensional insler space with = e β/ β as an infinite series-randers changed metric. Then its Cartan tensor is given by equation General formula for inverse ḡ ij of fundamental metric tensor ḡ ij : Let us put 2 2 β 2 β 2 = ρ 0, 43 β 3 = ρ 1, 4 2 β 2 = ρ 2, 3 4 β 4 1 = ρ 3 in the equation 3.4. Thenthefundamentalmetrictensorḡ ij forkropina-randerschangedinsler metric = 2 β ḡ ij = ρ 0 g ij ρ 1 b i y j = ρ 0 g ij ρ 1 ρ 0 β takes the following form b y i y i y j j ρ 2 ρ b 3 ib j b i y i b j y j ρ2 ρ 1 ρ 0 yi y j ρ3 ρ 1 ρ 0 b i b j, i.e., ḡ ij = ρ 0 g ij λ b i y i b j y j µ y i y j ν b ib j,

18 where λ = ρ 1 ρ 0, µ = ρ 2 ρ 1 ρ 0 and ν = ρ 3 ρ 1 ρ Similarly, for all other metrics constructed in section two, the fundamental metric tensors obtained in equations 3.9, 3.14, 3.19, 3.24 and 3.29 respectively, can be written in the form of equation 4.1. Next, we find the inverse metric tensor ḡ ij of fundamental metric tensor ḡ ij for the metric. Let where c i = b i y i. Define m ij = g ij λ b i y i = g ij λc i c j, b j y j Next, c 2 = g ij c i c j = g ij b i y i = b 2 2β 1. b j y j det m ij = 1λc 2 det g ij = Xdet g ij, lso, where where X = 1λc 2 = 1λ b 2 2β m ij = g ij λ 1λc 2ci c j = g ij λ X ij, ij = c i c j = g ih c h g jk c k = g ih b h y h g jk b k y k = b i y i b j y j. 18

19 Then equation 4.1 becomes ḡ ij = ρ 0 m ij µ y i y j ν b ib j. 4.4 urther, assume that Define n ij = m ij µd i d j, where d i = y i. 4.5 d 2 = m ij d i d j = g ij λ X = 1 λ X b i b j b iyj bjyi yi y j y i y j 2 1 β 2. Next, det n ij = 1µd 2 det m ij = YXdet g ij, where Y = 1µd 2 = 1µ 1 λ X 1 β lso, where B ij = d i d j n ij =m ij µ 1µd 2di d j = g ij λ X ij µ Y Bij = g ij λ b i y i X b j y j µ Y Bij 4.7 = m ih d h m jk d k 1 λ X = 1 2 λ2 X 2 1 β 2 y i y j 1 1 β 2 b i b j. 19 λ X 1 β λ2 X 2 1 β 2 y i b j y j b i 4.8

20 rom the equations 4.4 and 4.5, we get Define b2 = n ij b i b j = b 2 λ b 2 β 2 µ X Y 2b 2β µ λ 1 β Y X rom equation 4.9, we have ḡ ij = ρ 0 n ij ν b i b j, 4.9 det ḡ ij = ρ n 0 1 λ 1 β 2 X X 2 1 β 2 b 4 µ Y β 2 2 λ2 and the inverse ḡ ij of ḡ ij is given by ḡ ij = 1 ρ 0 n ij 1ν b 2 det n ij, rom the equations 4.7, 4.8 and 4.11, we get ḡ ij = 1 [ g ij 1 λ ρ 0 X µ λ 1 β λ2 Y X X 2 [ 1 2 λ X µ Y 1 λ 1 β ] 2 y i y j X λ 2 X 2 1 β ν b j ν b 2bi 1 β ] 2 y i b j y j b i [ λ X µ λ 2 Y X 2 1 β wherethevalues ofλ, µandν areobtained by equation 4.2, X byequation 4.3, Y by equation 4.6 and b by equation The above discussion leads to the following theorem. Theorem 4.1. Let M, be an n dimensional insler space. Let = f,β be a insler metric obtained by Randers β change of a insler metric = fα,β, where α = a ij xy i y j is a Riemannian metric and β = b i xy i is a 1 form. If ḡ ij is the fundamental metric tensor of given by 4.1, then its inverse fundamental metric tensor, ḡ ij is given by ν 1ν b 2 ]b i b j, 20

21 5 Projective flatness of insler metrics The notion of projective flatness is one of the important topics in differential geometry. The real starting point of the investigations of projectively flat metrics is Hilbert s fourth problem [8]. During the International Congress of Mathematicians, held in Paris1900, Hilbert asked about the spaces in which the shortest curves between any pair of points are straight lines. The first answer was given by Hilbert s student G. Hamel in In [7], Hamel found the necessary and sufficient conditions in order that a space satisfying a system of axioms, which is a modification of Hilbert s system of axioms for Euclidean geometry, be projectively flat. fter Hamel, many authors see [3], [10],...,[15], [18] have worked on this topic. Here we find necessary and sufficient conditions for Randers change of some special α, β metrics to be projectively flat. or this, first we discuss some definitions and results related to projective flatness. Definition 5.1. Two insler metrics and on a manifold M are called projectively equivalent if they have same geodesics as point sets, i.e., for any geodesic σ t of, there is a geodesic σt := σ tt of, where t = tt is oriented re-parametrization, and vice-versa. Next, recall [6], [7] the following theorem: Theorem 5.1. Let and be two insler metrics on a manifold M. Then is projectively equivalent to if and only if x k y lyk x l = 0. Here the spray coefficients are related by G i = Ḡi Py i, where P = x kyk 2. Definition 5.2. Let be a standard Euclidean norm on R n. Then spray coefficients vanish, i.e., Ḡ i = 0. Since in R n, geodesics are straight lines, we have Definition 5.3. or a insler metric on an open subset U of R n, the geodesics of are straight lines if and only if the spray coefficients satisfy G i = Py i. 21

22 Definition 5.4. [6] insler metric on an open subset U of R n is called projectively flat if and only if all the geodesics are straight in U, and a insler metric on a manifold M is called locally projectively flat, if at any point, there is a local co-ordinate system x i in which is projectively flat. Therefore, by theorem 5.1 and definition 5.4, we have Theorem 5.2. insler metric on an open subset U of R n is projectively flat if and only of it satisfies the following system of differential equations x k y lyk x l = 0. Here G i = Py i, where G i is spray coefficient and the scalar function P = x ky k is called projective factor of. 2 In further calculations, we assume that 2 =, i.e., is a square root insler metric. irst we find necessary and sufficient conditions for Kropina-Randers changed insler metric = 2 β β to be projectively flat. Let us put 2 = in, then = β β. 5.1 Differentiating 5.1 w.r.t. x k, we get Differentiation of 5.2 further w.r.t. y l gives x k = x k β β 2β x k β xk. 5.2 x k y l = x k y l β x k β 2 β l β 2β x k y l l β 2β x k 2 β 3 β x kβ l β x k yl. 5.3 Contracting 5.3 with y k, we get x k y lyk = 0l β 0β l β 2 β 0l β 2 lβ 0 β 2 2β 0β l β 3 β 0l = 1 β 3 β 2 0l β 0 β l ββ 0l β l β 0 2β 0 β l β 3 β 0l. 22

23 rom the equation 5.2, we have x l = x l β β 2β x l β x l = 1 β 2 β 3 x l ββ x l β 3 β x l. We know that is projectively flat if and only if x k y lyk x l = 0, i.e., 1 β 2 β 3 0l β 0 β l ββ 0l β l β 0 2β 0 β l β 3 1 β 0l β 2 β 3 x l ββ x l β 3 β x l = 0, i.e., 2β 0 β l ββ x l β 0l β 3 β 0l β x lβ 2 0l x l β 0 β l l β 0 = 0. rom the above equation, we conclude that is projectively flat if and only if following two equations are satisfied. 2β 0 β l ββ x l β 0l = β 3 β 0l β x lβ 2 0l x l β 0 β l l β 0 = bove discussion leads to the following theorem. Theorem 5.3. Let M, be an n dimensional insler space with = 2 β β as a Kropina-Randers changed metric. Then is projectively flat if and only if equations 5.4 and 5.5 are satisfied. Next, we find necessary and sufficient conditions for generalized Kropina- Randers changed insler metric to be projectively flat. Let us put 2 = in, then Differentiating 5.6 w.r.t. x k, we get = m1 β m 0, 1 βm = m1/2 β m β. 5.6 x k = m1 2β m m 1/2 x k m β m1m1/2 β x k β x k

24 Differentiation of 5.7 further w.r.t. y l gives x k y l =m1 2β m m 1/2 x k y l m2 1 4β m m 3/2 x k l mm1 2β m1 m 1/2 x kβ l m β m1m1/2 β x k y l mm1 2β m1 m 1/2 β x k l mm1 β m2 β l m1/2 β x k β x k y l. Contracting 5.8 with y k, we get 5.8 x k y lyk = m1 2β m m 1/2 0l m2 1 4β m m 3/2 0 l mm1 2β m1 m 1/2 0 β l m β m1m1/2 β 0l mm1 2β m1 m 1/2 β 0 l mm1 β m2 β l m1/2 β 0 β 0l = m1 2β m2m 3/2 rom the equation 5.7, we get x l = m1 2β m m 1/2 x l m = m1 2β m2m 3/2 β 2 0l m 1 β 2 0 l mβ 0 β l 2m 2 m1 β2 β 0l mββ 0 l 2mβ l 2 β 0 2 m1 βm2 m3/2 β 0l β m1m1/2 β x l β x l β 2 x l 2m m1 β2 β x l 2 m1 βm2 m3/2 β x l We know that is projectively flat if and only if x k y lyk x l = 0, i.e., [ m1 2β m2m 3/2 β 2 0l m 1 β 2 0 l mβ 0 β l 2m 2 m1 β2 β 0l mββ 0 l 2mβ l 2 β 0 2 m1 βm2 m3/2 β 0l β 2 x l 2m m1 β2 β x l 2 ] m1 βm2 m3/2 β x l = 0, which implies m 1 β 2 0 l β 2 0l 2 x l mβ 0 β l β 0 l β 2m 2 m1 β x l β 0lβ l β 0 2 m1 βm2 m3/2 β 0l β x l =

25 rom the above equation, we conclude that is projectively flat if and only if following four equations are satisfied. m 1 β 2 0 l = β 2 0l x l mβ 0 β l β 0 l = β m1 β x l β 0lβ l β 0 = β 0l = β x l urther, from the equation 5.9, we see that either m = 1 or 0 l = 0. Now, if m = 1, then 5.11 reduces to 5.4 and 5.10, 5.12 reduce to 5.5. But the equations 5.4 and 5.5 are necessary and sufficient conditions for Kropina-Randers changed insler metric to be projectively flat. Therefore, we exclude the case m = 1 for general case. Then 0 l = lso from the equations 5.11 and 5.12, we get bove discussion leads to the following theorem. β 0 β l = Theorem 5.4. Let M, be an n dimensional insler space with = m1 β m 1,0,1 as generalized Kropina-Randers changed metric. βm Then is projectively flat if and only if equations 5.10, 5.12, 5.13 and 5.14 are satisfied. Next, we find necessary and sufficient conditions for square-randers changed insler metric β2 = β to be projectively flat. Let us put 2 = in, then = 1/2 β2 3β /2 25

26 1 2 β2 3/2 x k y l ββ l 3/2 x k 3 4 β2 5/2 l x k 3β x k y l Differentiating 5.15 w.r.t. x k, we get x k = 1 2 1/2 x k 2β 1/2 β x k 1 2 β2 3/2 x k 3β x k Differentiation of 5.16 w.r.t. y l gives x k y l = 1 2 1/2 x k y l 1 4 3/2 l x k 2β 1/2 β x k y l 2β l 1/2 β x k β 3/2 l β x k Contracting 5.17 with y k, we get x k y lyk = 1 2 1/2 0l 1 4 3/2 l 0 2β 1/2 β 0l 2β l 1/2 β 0 β 3/2 l β β2 3/2 0l ββ l 3/ β2 5/2 l 0 3β 0l = 1 4 5/2 [2 2 0l l 0 8β 2 β 0l 8β l 2 β 0 4β l β 0 2β 2 0l 4ββ l 0 3β 2 l /2 β 0l ]. rom the equation 5.16, we get x l = 1 2 1/2 x l 2β 1/2 β x l 1 2 β2 3/2 x l 3β x l = 1 4 5/2[ 2 2 x l 8β 2 β x l 2β 2 x l 12 5/2 β x l We know that is projectively flat if and only if x k y lyk x l = 0, i.e., [ 1 4 5/ l l 0 8β 2 β 0l 8β l 2 β 0 4β l β 0 2β 2 0l 4ββ l 0 3β 2 l /2 β 0l ] 1 ] 4 5/2[ 2 2 x l 8β 2 β x l 2β 2 x l 12 5/2 β x l = 0, i.e., 3β 2 l 0 2 β 2 x l 0l 2β l β 0 β l 0 l l x l 4β l β 0 4ββ 0l β x l12 5/2 β 0l β x l = 0. ]. 26

27 rom the above equation, we conclude that is projectively flat if and only if following four equations are satisfied. l 0 = β 2 x l 0l 2β l β 0 β l 0 l 0 = ββ 0l β x l 0l x l 4β l β 0 = bove discussion leads to the following theorem. β 0l = β x l Theorem 5.5. Let M, be an n dimensional insler space with = β 2 β as a square-randers changed metric. Then is projectively flat if and only if the equations 5.18, 5.19, 5.20, and 5.21 are satisfied. Next, we find necessary and sufficient conditions for Matsumoto-Randers changed insler metric = 2 β β to be projectively flat. Let us put 2 = in, then = β β Differentiating 5.22 w.r.t. x k, we get 1 x k = x k β 2 β 2 x k β 2β x k β xk Differentiation of 5.23 further w.r.t. y l gives x k y l = 1 x β k y l 1 1 β 2 x k 2 l β l 2 β 2 x k y l β 2 l x k β 3 2 l β l x k β 2β x k y l β 2 lβ x k β 3 2 l β l β x k β x k y l

28 Contracting 5.24 with y k, we get x k y lyk = 0l β β l β l 2 β 2 0l β 2 l 0 β 3 2 l β l 0 β 2β 0l β 2 lβ 0 β 3 2 l β l β 0 β 0l. Simplifying, we get 1 x k y lyk = β β 3 0l 2 3/2 0l 4β 0 β l 8ββ 0l 6 2β 2 β 0l β 0l 4β 3 β 0l 4β 2 0l 4β 0 β l l β 0 0 l 3β0 l. rom the equation 5.23, we get 1 x l = x l β 2 β 2 x l β 2β x l β x l = 82 β x l 2 3/2 x l 8ββ x l 6 β x l 2β 2 β x l 4β 2 x l 4β 3 β x l 4. β 3 We know that is projectively flat if and only if x k y lyk x l = 0, i.e., [ β β 3 0l 2 3/2 0l 4β 0 β l 8ββ 0l 6 2β 2 β 0l β 0l 4β 3 β 0l 4β 2 0l 4β 0 β l l β 0 0 l 3β0 l 8 2 β x l 2 3/2 x l 8ββ x l 6 β x l 2β 2 β x l 4β 2 x l 4β 3 β x l ] = 0, i.e., 8 2 β 0l β x l2 3/2 0l x l 4β 0 β l 8ββ x l β 0l 6 2β 2 β 0l β x lβ x l 0l 4β 3 β x l β 0l 4β 2 0l x l 4β 0 β l l β 0 0 l 3β 0 l = 0. 28

29 rom the above equation, we conclude that is projectively flat if and only if following five equations are satisfied. β 0l = β x l l x l 4β 0 β l 8ββ x l β 0l = β 2 β 0l β x lβ x l 0l = β 3 β x l β 0l 4β 2 0l x l 4β 0 β l l β 0 0 l = urther, from the equations 5.25 and 5.27, we get 0 l = x l = 0l gain from the equations 5.25, 5.30 and 5.26, we get β 0 β l = 0, 5.31 and from the equations 5.25, 5.30, 5.29 and 5.28, we get bove discussion leads to the following theorem. 0 β l l β 0 = Theorem 5.6. Let M, be an n dimensional insler space with = 2 β β as a Matsumoto-Randers changed metric. Then is projectively flat if and only if the following equations are satisfied: 0 l = 0, 0l = x l, β 0 β l = 0, β 0l = β x l, l β 0 0 β l = 0. Next, we find necessary and sufficient conditions for exponential-randers changed insler metric to be projectively flat. Let us put 2 = in, then = e β/ β = e β/ β

30 Differentiating 5.33 w.r.t.x k, we get x k = e β/ β x k β 2 eβ/ x k 1 2 eβ/ x k β x k Differentiation of 5.34 further w.r.t. y l gives 1 x k y l =eβ/ β x k y l eβ/ β x k β l β 2 3/2 l β 2 2eβ/ x k l β 1 2 eβ/ x k β l β 1 4 3/2eβ/ x k l 1 2 eβ/ Contracting 5.35 with y k, we get x k 1 L x k y lyk =e β/ β 0l e β/ β 0 1 β l β 2 3/2 l β 2 eβ/ x k y l 1 2 3/2 l β l β 2 3/2 l β 2 2eβ/ 0 l β 1 2 eβ/ 0 β l β = 1 4 5/2 e β/ 1 2 eβ/ x kβ l 2 eβ/ x k y l β x k y l β 2 eβ/ 0l 1 2 3/2 l 1 2 eβ/ 0 β l 2 eβ/ 0l 1 4 3/2eβ/ 0 l eβ/ 0 β l β 2 3/2 l β 0l [ 4 5/2 e β/ 1 β 0l 2 2 e β/ 2β 0 β l 0l 2β 3/2 e β/ 0l ] 0 l 2β 0 β l l β 0 1/2 βe β/ 0 l β 2 e β/ 0 l. rom the equation5.34, we get x l =e β/ β x l β 2 eβ/ x l 1 2 eβ/ x l β x l = 1 [ 4 5/2 4 5/2 ] e β/ 1 β x l 2 2 e β/ x l 2β 3/2 e β/ x l. We know that is projectively flat if and only if x k y lyk x l = 0, i.e., [ 1 4 5/2 4 5/2 e β/ 1 β 0l 2 2 e β/ 2β 0 β l 0l 2β 3/2 e β/ 0l ] e β/ 0 l 2β 0 β l l β 0 1/2 βe β/ 0 l β 2 e β/ 0 l 1 [ 4 5/2 4 5/2 ] e β/ 1 β x l 2 2 e β/ x l 2β 3/2 e β/ x l = 0, 30

31 i.e., 4 5/2 e β/ 1 β 0l β x l2 2 e β/ 2β 0 β l 0l x l 2β 3/2 e β/ 0l x l 0 l 2β 0 β l l β 0 1/2 βe β/ 0 l β 2 e β/ 0 l = 0. e β/ rom the above equation, we conclude that is projectively flat if and only if following five equations are satisfied. β 0l = β x l β 0 β l 0l x l = l x l = 0 = 0l = x l l 2β 0 β l l β 0 = urther, from the equations 5.37 and 5.38, we get 0 l = β 0 β l = 0, and from the equations 5.39 and 5.40, we get 0 β l l β 0 = 0. The above discussion leads to the following theorem. Theorem 5.7. Let M, be an n dimensional insler space with = e β/ β as an exponential-randers changed metric. Then is projectively flat if and only if the following equations are satisfied: 0 l = 0, 0l = x l, β 0 β l = 0, β 0l = β x l, l β 0 0 β l = 0. Next, we find necessary and sufficient conditions for infinite series-randers changed insler metric = β2 β β 31

32 to be projectively flat. Let us put 2 = in, then = β 2 β β Differentiating 5.41 w.r.t. x k, we get x k = 2β β β x k β 2 β 2β x k β 2 2 β 2 x k β xk Differentiation of 5.42 further w.r.t. y l gives x k y l = 2β β β x k y l 2 β β x kβ l 2β β 2β x kβ l β β 2 x kβ l 2β 2 β 3β x k 2β β 2β x k β l 1 2 l β 2 4 3/2 β 2 x k l β l 1 2 l β 2 β 2β x k y l β 2 2 β 2 x k y l β 2 β 3 x k β l 1 2 l β x k y l Contracting 5.43 with y k, we get L x k y lyk = 2β β β 2 0l β β 0β l Simplifying, we get 2β β 2β 0β l β β 2 0β l 1 L x k y lyk = 4 3/2 β 3 2β 2 β 3β 0 2β β 2β 0 β l 1 β l 1 2 l β 2 4 3/2 β 2 0 l 2 l β 2 β 2β 0l β 2 2 β 2 0l β 2 β 3 0 [ 4 3 β 0l 5/2 20ββ 0l 8β 0 β l 24 2 β 2 β 0l 3/2 8β 3 β 0l 2β 2 0l 4β 0 β l l β 0 β l 1 2 l β 0l. 2β 3 0l 3 1/2 β 2 0 l β 3 0 l ]. 32

33 rom the equation 5.42, we get x l = 2β β β x l β 2 β 2β x l β 2 2 β 2 x l β x l = 2β2 4 β β β 2 x l 2 β 2 x l 1 = 4 3/2 β 3 β 2 [ 4 3 β x l 20 5/2 ββ x l 24 2 β 2 β x l 3/2 8β 3 β x l 2β 2 x l We know that is projectively flat if and only if x k y lyk x l = 0, i.e., 1 [ 4 4 3/2 β 3 β 3 0l 20ββ 5/2 0l 8β 0 β l 24 2 β 2 β 0l 3/2 8β 3 β 0l 2β 2 0l ] [ 4β 0 β l l β 0 2β 3 0l 3 1/2 β 2 0 l β l 4 3 β x l 20 5/2 ββ x l 24 2 β 2 β x l 3/2 8β 3 β x l 2β 2 x l Simplifying, we get 2β 3 x l 4 3/2 β ] 3 = β x l β 0l 4 5/2 5ββ 0l β x l2β 0 β l 24 2 β 2 β x l β 0l 2 3/2 4β 3 β 0l β x lβ 2 x l 0l 2β 0 β l l β 0 3 1/2 β 2 0 l β 3 0 l = 0. 2β 3 0l x l rom the above equation, we conclude that is projectively flat if and only if following five equations are satisfied. β x l β 0l = 0 = β x l = β 0l 5.44 ] 2β 3 x l. 5ββ 0l β x l2β 0 β l = β 3 β 0l β x lβ 2 x l 0l 2β 0 β l l β 0 = l x l = 0 = 0l = x l

34 urther, from the equations 5.44 and 5.45, we get 0 l = β 0 β l = and from the equations 5.44, 5.47 and 5.46, we get bove discussion leads to the following theorem. 0 β l l β 0 = Theorem 5.8. Let M, be an n dimensional insler space with = β 2 β β as an infinite series-randers changed metric. Then is projectively flat if and only if the following equations are satisfied: 0 l = 0, 0l = x l, β 0 β l = 0, β 0l = β x l, l β 0 0 β l = 0. 6 Dually flatness of insler metrics irstly, we recall [16] the following definition: Definition 6.1. insler metric on a smooth n dimensional manifold M is called locally dually flat if, at any point, there is a standard co-ordinate system x i,y i in TM, x i called adapted local co-ordinate system, such that L x k y lyk 2L x l = 0, where L = 2. Next, we find the necessary and sufficient conditions for locally dually flatness of all the metrics constructed via Randers change in section two. irst, we find necessary and sufficient conditions for Kropina-Randers changed insler metric = 2 β β to be locally dually flat. Let us put 2 = in, then = β β. L = 2 = 2 β 2 2β

35 Differentiating 6.1 w.r.t. x k, we get L x k = 2 β 2 x k 22 β 3 β x k 2 x k 2ββ xk. 6.2 Differentiation of 6.2 further w.r.t. y l gives L x k y l = 2 β 2 x k y l 2 β 2 x k l 4 β 3 β l x k 22 β 3 β x k y l 4 β 3 lβ x k 62 β 4 β lβ x k 2 x k y l 2ββ x k y l 2β lβ x k. Contracting 6.3 with y k, we get L x k y lyk = 2 β 2 0l 2 β 2 0 l 4 β 3 β l 0 22 β 3 β 0l 4 β 3 lβ 0 62 β 4 β lβ 0 2 0l 2ββ 0l 2β l β 0 = 2 β 4 [ 2 3β l β 0 ββ 0l β 2 0l 2ββ l 0 l β 0 β 5 β 0l β 4 0l β l β 0 β 2 0 l ]. urther, equation 6.2 can be rewritten as 2L x l = 4 β 2 x l 42 β 3 β x l 4 x l 4ββ x l = 2 β 4 [ 2 2 ββ x l 2β 2 x l 2β 4 x l 2β 5 β x l We know that is locally dually flat if and only if L x k y lyk 2L x l = 0, i.e., 2 [ 2 β 4 3β l β 0 ββ 0l β 2 0l 2ββ l 0 l β 0 ] β 5 β 0l β 4 0l β l β 0 β 2 0 l 2 ] [2β 2 β 4 x l 2 2 ββ x l 2β 4 x l 2β 5 β x l = 0, i.e., ] β l β 0 ββ 0l 2ββ x l β 2 0l 2 x l 2ββ l 0 l β 0 β 5 β 0l 2β x l β 4 0l β l β 0 2 x lβ 2 0 l = 0. rom the above equation, we conclude that is locally dually flat if and only if following three equations are satisfied. 3β l β 0 ββ 0l 2ββ x l =

36 β 2 0l 2 x l 2ββ l 0 l β 0 = β 5 β 0l 2β x lβ 4 0l β l β 0 2 x lβ 2 0 l = Hence, we have the following theorem. Theorem 6.1. Let M, be an n dimensional insler space with = 2 β β as a Kropina-Randers changed metric. Then is locally dually flat if and only if equations 6.4, 6.5 and 6.6 are satisfied. Next, we find necessary and sufficient conditions for generalized Kropina- Randers changed insler metric to be locally dually flat. Let us put 2 = in, then = m1 β m 0, 1 βm = m1/2 β m β. Differentiating 6.7 w.r.t. x k, we get L = 2 = m1 2m1/2 β2m β m 1 β L x k = m1 m β 2m x k 2mm1 β 2m1β x km1m 1/2 β m 1 x k 2m 1 m1/2 β m β x k2ββ x k. Differentiation of 6.8 further w.r.t. y l gives 6.8 L x k y l =m1m β 2m x k y l mm1m 1 β 2m l x k 2mm1 m β 2m1 x kβ l 2m m1 m β 2m1β x k yl 2mm1 β 2m1 lβ x k 2m2m1 m1 β 2m2β x kβ l m1 m 1/2 2m 1 m1/2 β m 2ββ x k y l 2β lβ x k. β m 1 x k y l m2 1 2 m 3/2 β m 1 x k l m 2 1 m 1/2 β m x kβ l β x k y l m2 1 m 1/2 β m β x k l 2mm 1 m1/2 β m1 β x kβ l

37 Contracting 6.9 with y k, we get L x k y lyk =m1 m β 2m 0l mm1 m 1 β 2m l 0 2mm1 m β 2m1 0β l 2m m1 β 2m1β 0l 2mm1 m β 2m1 lβ 0 2m2m1 m1 β 2m2β 0β l m1 m 1/2 2m 1 m1/2 β m 2ββ 0l 2β l β 0. fter simplification, we get L x k y lyk = m 1 β 2m2 β m 1 0l m2 1 2 m 3/2 β m 1 0 l m 2 1 m 1/2 β m 0 β l β 0l m 2 1 m 1/2 β m β 0 l 2mm 1 m1/2 β m1 β 0 β l [ m1β 2 0l mm1β 2 l 0 2mm1β 0 β l 2m 2 ββ 0l 2mm1β l β 0 2m2m1 2 β 0 β l ] m 3/2 β m1 [ m1β 2 0l m2 1 β 2 0 l m 2 1β 0 β l 2m 1 2 ββ 0l m 2 1ββ 0 l 2 2mm 1 2 β 0 β l ]2ββ 0l 2β l β 0. urther, equation 6.8 can be rewritten as [ 2L x l = m 1 β 2m2 2m1β 2 x l 4m 2 ββ x l m 1 β 2m2 4ββ x l. ] m 3/2 β m1 [ ] 2m1β 2 x l 4m 1 2 ββ x l We know that is locally dually flat if and only if L x k y lyk 2L x l = 0, i.e., [ m1β 2 0l mm1β 2 l 0 2mm1β 0 β l 2m 2 ββ 0l 2mm1β l β 0 2m2m1 2 β 0 β l ] m 3/2 β m1 [ m1β 2 0l m2 1 β 2 0 l m 2 1β 0 β l 2 2m 1 2 ββ 0l m 2 1ββ 0 l 2mm 1 2 β 0 β l ]2ββ 0l 2β l β 0 [ [ ] m 1 β 2m2 2m1β 2 x l 4m 2 ββ x l ] m 3/2 β m1 2m1β 2 x l 4m 1 2 ββ x l 4ββ x l = 0, 37

38 i.e., m 1 β 2m2 [2m β2β 2 x l β 0l 2m1β 0 β l m1 β 2 0l 2 x l 2mβ l β 0 0 β l mm1β 2 l 0 ] m 3/2 β m1 m 1β 0 β l β 0 l [2m 1 β2β 2 x l β 0l mβ 0 β l m1 β 2 0l 2 x l m2 1 β 2 0 l ]2ββ 0l 2β 2 x l2β l β 0 = 0. rom the above equation, we conclude that is locally dually flat if and only if following seven equations are satisfied. β2β x l β 0l 2m1β 0 β l = β 2 0l 2 x l 2mβ l β 0 0 β l = mm1β 2 l 0 = 0 = l 0 = m 1 β2β x l β 0l mβ 0 β l = β 2 0l 2 x l m 1β 0 β l β 0 l = m 2 1β 2 0 l = 0 = m 1 0 l = ββ 0l 2β x lβ l β 0 = urther, from the equation 6.13, we see that either m = 1 or β2β x l β 0l mβ 0 β l = 0 Now, if m = 1, then 6.10 reduces to 6.4, 6.11 reduces to 6.5, and 6.12,6.14,6.16 reduce to 6.6. But the equations 6.4, 6.5 and 6.6 are necessary and sufficient conditions for Kropina-Randers changed insler metric to be locally dually flat. Therefore, we assume that m 1 for the general case. Then β2β x l β 0l mβ 0 β l = rom the equations 6.10 and 6.17, we get β 0 β l = 0. 38

39 gain from the equation 6.10, we get β 0l = 2β x l. lso from the equations 6.11 and 6.14, we get l β 0 0 β l = 0. gain from the equation 6.11, we get 0l = 2 x l. bove discussion leads to the following theorem. Theorem 6.2. Let M, be an n dimensional insler space with = m1 β m 1,0,1 as generalized Kropina-Randers changed metric. βm Then is locally dually flat if and only if the following equations are satisfied: 0 l = 0, 0l = 2 x l, β 0 β l = 0, β 0l = 2β x l, l β 0 0 β l = 0. Next, we find necessary and sufficient conditions for square-randers changed insler metric β2 = β to be locally dually flat. Let us put 2 = in, then = 1/2 β2 3β. 1/2 L = 2 = β4 6β3 1/2 6β1/2 11β Differentiating 6.18 w.r.t. x k, we get L x k = 4β3 β x k β4 2 x k 18β2 1/2β x k 3β3 3/2 x k 61/2 β x k 3β 1/2 x k x k 22ββ x k

40 Differentiation of 6.19 further w.r.t. y l gives L x k y l =4β3 β x k y l 12β2 β x kβ l 4β3 2 β x k l β4 2 x k y l 4β3 2 x kβ l 2β4 3 x k l 18β2 1/2β x k y l 36β 1/2β x kβ l 9β2 3/2β x k l 3β3 3/2 x k y l 9β2 3/2 x kβ l 9β3 2 5/2 x k l 6 1/2 β x k y l 3 1/2β x k l 3β 1/2 x k y l 3 1/2 x kβ l 3β 2 3/2 x k l x k y l 22ββ x k y l 22β x kβ l. Simplifying, we get L x k y l = 1 3 [ 4β 3 2 β x k y l 12β2 2 β x kβ l 4β 3 β x k l β 4 x k y l 4β3 x kβ l 2β 4 x k l ] 3 [ 2 5/2 12β 2 2 β x k y l 24β2 β x kβ l 6β 2 β x k l 2β 3 x k y l 6β2 x kβ l 3β 3 x k l 4 3 β x k y l 22 β x k l 2β 2 x k y l 22 x kβ l β x k l ] x k y l 22ββ x k y l 22β x kβ l Contracting 6.20 with y k, we get L x k y lyk = 1 3 [ 4β 3 2 β 0l 12β 2 2 β 0 β l 4β 3 β 0 l β 4 0l 4β 3 0 β l 2β 4 0 l ] 3 [ 2 5/2 12β 2 2 β 0l 24β 2 β 0 β l 6β 2 β 0 l 2β 3 0l 6β 2 0 β l 3β 3 0 l 4 3 β 0l 2 2 β 0 l 2β 2 0l β l β 0 l ] 0l 22ββ 0l 22β 0 β l. urther, equation 6.19 can be rewritten as 2L x l = 1 ] [8β β x l 2β 4 x l 3 [ ] 2 5/2 24β 2 2 β x l 4β 3 x l 8 3 β x l 4β 2 x l 2 x l 44ββ x l. We know that is locally dually flat if and only if L x k y lyk 2L x l = 0, 40

41 i.e., 1 3 [4β 3 2 β 0l 12β 2 2 β 0 β l 4β 3 β 0 l β 4 0l 4β 3 0 β l 2β 4 0 l ] 3 2 5/2 [ 12β 2 2 β 0l 24β 2 β 0 β l 6β 2 β 0 l 2β 3 0l 6β 2 0 β l 3β 3 0 l 4 3 β 0l 2 2 β 0 l 2β 2 0l β l β 0 l ] 0l 22ββ 0l 22β 0 β l 1 ] [8β β x l 2β 4 x l 3 [ ] 2 5/2 24β 2 2 β x l 4β 3 x l 8 3 β x l 4β 2 x l 2 x l 44ββ x l = 0. fter simplification, we get ] 1 [4 β β 0l 2β x l3β 2 β 0 β l β 4 2 x l 0l 4β 3 β 0 l 0 β l 2β 4 0 l 3 [ /2 β 0l 2β x l 2 2 6β 2 β 0l 2β x lβ 0l 2 x l 12β 0 β l β 0 l 0 β l ] 2β 3 2 x l 0l 6β 2 β 0 l 0 β l β 0 l 3β 3 0 l 0l 2 x l 22β 0 β l 22ββ 0l 2β x l = 0. rom the above equation, we conclude that is locally dually flat if and only if following eight equations are satisfied. β 3 β 0l 2β x l3β 2 β 0 β l = β 4 2 x l 0l 4β 3 β 0 l 0 β l = l = β 0l 2β x l = 0 = β 0l = 2β x l β 2 β 0l 2β x lβ 0l 2 x l 12β 0 β l β 0 l 0 β l = β 3 2 x l 0l 6β 2 β 0 l 0 β l β 0 l =

42 0 l = l 2 x l 22β 0 β l 22ββ 0l 2β x l = urther, from the equations 6.21 and 6.24, we get β 0 β l = gain from the equations 6.29, 6.24 and 6.28, we get 0l = 2 x l, 6.30 and from the equations 6.30, 6.23 and 6.26, we get bove discussion leads to the following theorem. β 0 l 0 β l = Theorem 6.3. Let M, be an n dimensional insler space with = β 2 β as a square-randers changed metric. Then is locally dually flat if and only if the following equations are satisfied: 0 l = 0, 0l = 2 x l, β 0 β l = 0, β 0l = 2β x l, l β 0 0 β l = 0. Next, we find necessary and sufficient conditions for Matsumoto-Randers changed insler metric = 2 β β to be locally dually flat. Let us put 2 = in, then L = 2 = = Differentiating 6.32 w.r.t. x k, we get β β. 2 β 2 2β β β L x k = β 2 x k 3/2 β 3 x k 2 2 β 3β x k 2β x k 2 β x k β β β β 2 x k 2β β 2β x k 2ββ x k

43 Differentiation of 6.33 further w.r.t. y l gives L x k y l = 2 β 2 x k y l 2 β 2 x k 4 1 l β 3 x k 2 l β l 3/2 β 3 x k y l 3 1/2 2 β 3 x k l 33/2 1 β 4 x k 2 l β l 2 2 β 3β x k y l 4 β 3β x k l β 4β x k 2 l β l 2β x β k y l 2 2β 1 x kβ l β β 2 x k 2 l β l 2 β x β k y l 2 β x k l β β β 2 x k y l 2 β 1 β 3 x k 4β β 3β x k 2 β 2β x k β 2 x kβ l 2 l β l 1 2 l β l Contracting 6.34 with y k, we get 2 L x k y lyk = β 2 0l 3/2 β 3 0l 2 2 β 3β 0l 2β β 0l 2 β 2 0 l 1 2 l β l β 2 β 2 x k l 2β β 2β x k y l 2 β 2β x kβ l 2ββ x k y l 2β x kβ l. 3 1/2 2 β 3 0 l 2 β 3 0 l 4 β 3β 0 l 33/2 β 4β 0 l 2 0 β l β β 3 0β l 3 2 β 4 0 l 33/2 β 4 0β l β β 2 0 l 6 2 β 4β 0β l 2β β 2 0β l 2β β 2β x k l 43

44 2 β β 0l β β 2 0l 2 β β 0 l β 2 0β l β β 3 0 l 2 β β 3 0β l β 2β 0 l 2 β 2β 0β l β 2 β 2 0 l 2β β 2β 0l 2 β 4β β 3β 0 l β 3β 0β l 2ββ 0l 2β 0 β l. 2 β 2β 0β l fter simplification,we get 1 L x k y lyk = [8 2 3 β β 4 0l 2 5/2 0l 10β 0 β l 2β 0l 4ββ 0l β l β 0 l β 0l 4β 0 β l 2β 0l 3β 2 β 0l 4 3/2 4β 0 β l β 0 l β 2 0l 5β 0 β l β 0l 6β 3 β 0l 2 β 0 l 3β 2 0 β l β 0 l β 3 5 0l 8β 0 β l 8β 4 β 0l 4 1/2 2β 2 0 l β 4 β 0 β l 0l β 5 β 0l 3β 3 0 l ]. urther, equation 6.33 can be rewritten as 4 2L x l = β 2 x l 23/2 β 3 x l 4 2 β 3β x l 4β x l 4 β x l β β 2 β β 2 x l 4β 1 = 2 β 4 4 3/2 2β 2 x l 12β 3 β x l β 2β x l 4ββ x l [16 3 β x l 2 5/2 2 x l 8ββ x l 4 2 2β x l 6β 2 β x l 2β β 2β 0 l ] 2 10β 3 x l 16β 4 β x l 4 1/2 2β 4 x l 2β 5 β x l. We know that is locally dually flat if and only if L x k y lyk 2L x l = 0, 44

45 i.e., 1 2 β 4 [8 3 β 0l 2 5/2 0l 10β 0 β l 2β 0l 4ββ 0l β l β 0 l β 0l 4β 0 β l 2β 0l 3β 2 β 0l 4 3/2 4β 0 β l β 0 l β 2 0l 5β 0 β l β 0l 6β 3 β 0l 2 β 0 l 3β 2 0 β l β 0 l β 3 5 0l 8β 0 β l 8β 4 β 0l 4 1/2 2β 2 0 l β 4 β 0 β l 0l β 5 β 0l 3β l ] [16 3 β x l 2 5/2 2 x l 8ββ x l 2 β 4 4 2β 2 x l 6β 2 β x l 4 3/2 2β 2 x l 12β 3 β x l ] 4 2β 1/2 4 x l 2β 5 β x l = β 3 x l 16β 4 β x l Simplifying, we get 8 β 3 0l 2β x l 2 5/2 0l 2 x l 10β 0 β l 2β 0l 4ββ 0l 2β x l β l β 0 l β 0l 2 x l 4β 0 β l 2β 0l 3β 2 β 0l 2β x l 4 4β 3/2 0 β l β 0 l β 2 0l 2 x l 5β 0 β l β 0l 6β 3 β 0l 2β x l 2 β 0 l 3β 2 0 β l β 0 l β 3 5 0l 10 x l 8β 0 β l 8β 4 β 0l 2β x l 4 2β 1/2 2 0 l β 4 β 0 β l 0l 2 x lβ 5 β 0l 2β x l 3β 3 0 l = 0. rom the above equation, we conclude that is locally dually flat if and only if following seven equations are satisfied. β 0l = 2β x l l 2 x l 10β 0 β l 2β 0l 4ββ 0l 2β x l = β l β 0 l β 0l 2 x l 4β 0 β l 2β 0l 3β 2 β 0l 2β x l =

46 4β 0 β l β 0 l β 2 0l 2 x l 5β 0 β l β 0l 6β 3 β 0l 2β x l = β 0 l 3β 2 0 β l β 0 l β 3 5 0l 10 x l 8β 0 β l 8β 4 β 0l 2β x l = β 2 0 l β 4 β 0 β l 0l 2 x lβ 5 β 0l 2β x l = Solving above seven equations, we get 0 l = l = 0, 0l = 2 x l, β 0 β l = 0, β 0l = 0 = 2β x l, l β 0 0 β l = 0. bove discussion leads to the following theorem. Theorem 6.4. Let M, be an n dimensional insler space with = 2 β β as a Matsumoto-Randers changed metric. Then is locally dually flat if and only if the following equations are satisfied: 0 l = 0, 0l = 2 x l, β 0 β l = 0, β 0l = 0 = 2β x l, l β 0 0 β l = 0. Next, we find necessary and sufficient conditions for exponential-randers changed insler metric to be locally dually flat. Let us put 2 = in, then = e β/ β = e β/ β. L = 2 = e 2β/ 2 βe β/ β

47 Differentiating 6.42 w.r.t. x k, we get L x k =e 2β/ 2 β x k β 3/2 x k e 2β/ x k β e β/ x k 2 e β/ β x k 2 βe β/ 1 β x k β 2 3/2 x k 2ββ x k =2 e 2β/ β x k β e 2β/ x k e 2β/ x k β e β/ x k 2 e β/ β x k 2βe β/ β x k β2 eβ/ x k 2ββ x k Differentiation of 6.43 further w.r.t. y l gives L x k y l =2 e 2β/ β x k y l 1 e 2β/ β x k l 2 e 2β/ β x k 1 e 2β/ x kβ l β 2 3/2e2β/ e 2β/ x k y l e2β/ x k β 2 3/2eβ/ x k l β x k l β e 2β/ x k 2 β l β e β/ x k 1 e β/ β x k l 2 e β/ β x k 2βe β/ β x k 1 β l β 3/2 l 1 β l β 1 β l β 2 3/2 l β2 eβ/ β2 1 eβ/ x k β l β 2 3/2 l Contracting 6.44 with y k, we get 2 β l β 3/2 l 2 β l β 3/2 l β e β/ x k y l 1 2 3/2 l 2 3/2 l β e 2β/ x k y l e β/ x kβ l 2 e β/ β x k y l 2βe β/ β x k y l 2eβ/ β x kβ l x k y l 2β eβ/ x kβ l β2 2ββ x k y l 2β x kβ l eβ/ x k l L x k y lyk =2 e 2β/ β 0l 1 e 2β/ β 0 l 4e 2β/ β 0 β l 2β e2β/ β 0 l β e 2β/ 0l 1 e 2β/ 0 β l β 2 3/2e2β/ 0 l 2β e2β/ 0 β l β2 e 2β/ 0l 2 e 2β/ 0 β l β 3/2e2β/ 2e2β/ 0 l 0 l β e β/ 0l 1 e β/ 0 β l 47

48 β 2 3/2eβ/ 0 l β eβ/ 0 β l β2 2 2eβ/ 0 l 2 e β/ β 0l 1 e β/ β 0 l 2e β/ β 0 β l β eβ/ β 0 l 2βe β/ β 0l 2e β/ β 0 β l 2β e β/ β 0 β l β2 3/2eβ/ β 0 l β2 eβ/ 0l 2β eβ/ 0 β l β2 β2 3/2eβ/ 0 β l β3 2 5/2eβ/ 0 l 2ββ 0l 2β 0 β l. 2eβ/ 0 l Simplifying, we get L x k y lyk = 1 [ 2 5/2 4 3 e β/ e β/ 1 β 0l 2 5/2 2β e β/ β 0l β 0l e 2β/ 0l 4e β/ e β/ 1 β 0 β l 2β 0 β l 2e β/ 2 β 1 e β/ 0l 2β 0 β l e β/ 1 e β/ β 3 e β/ 0 l ]. 0 β l β 0 l 2 0 β l β 0 l β 2e β/ 3/2 β 2 0l β 2e β/ 1 0 β l β 0 l e β/ 1 0 l β 2 e β/ 2e 1 β/ 0 l urther, equation 6.43 can be rewritten as 2L x l =4 e 2β/ β x l 2β e 2β/ x l 2e 2β/ x l 2β e β/ x l 4 e β/ β x l 4βe β/ β x l 2β2 eβ/ x l 4ββ x l =4 e β/ e β/ 1 β x l 2e 2β/ x l 4β 2β e β/ e β/ 1 x l 2β2 eβ/ x l = 1 [ 2 5/2 8 3 e β/ e β/ 1 β x l 4 5/2 e 2β/ x l 2β 4β 2 e β/ e β/ 1 x l 4β 2 3/2 e β/ x l e β/ 1 β x l ]. e β/ 1 β x l We know that is locally dually flat if and only if L x k y lyk 2L x l = 0, 48

49 i.e., [ 1 2 5/2 4 3 e β/ e β/ 1 β 0l 2 5/2 2β e β/ β 0l β 0l e 2β/ 0l 4e β/ e β/ 1 β 0 β l 2β 0 β l 2e β/ 2 β 1 e β/ 0l 2β 0 β l e β/ 1 e β/ 0 β l β 0 l 2 0 β l β 0 l β β 3 e β/ 0 l ] 1 2 5/2 4β 2 e β/ e β/ 1 2e β/ 3/2 β 2 0l β 2e β/ 1 0 β l β 0 l e β/ 1 0 l β 2 e β/ 2e 1 β/ 0 l [ 8 3 e β/ e β/ 1 β x l 4 5/2 ] x l 4β 2 3/2 e β/ x l = 0. e 2β/ x l 2β e β/ 1 β x l Simplifying, we get 4 3 e β/ e β/ 1 β 0l 2β x l 2 2β 5/2 e β/ 1 β 0l 2β x le 2β/ 0l 2 x l4e β/ e β/ 1 β 0 β l 2β 0 β l 2e β/ β 1 e 2 β/ 0l 2 x l2β 0 β l e β/ 1 0 β l β 0 l 2e β/ β 3/2 2 0l 2 x lβ 2e β/ 1 0 β l β 0 l e β/ 2 0 β l β 0 l β e β/ 1 0 l β 2 e β/ 2e β/ 1 0 l β 3 e β/ 0 l = 0. rom the above equation, we conclude that is locally dually flat if and only if following seven equations are satisfied. e 1 β/ β 0l 2β x l = 0 = β 0l = 2β x l β e β/ 1 β 0l 2β x le 2β/ 0l 2 x l4e β/ e β/ 1 β 0 β l 2β 0 β l =

50 β 1 e β/ 0l 2 x l2β 0 β l e β/ 1 0 β l β 0 l = β 2 0l 2 x lβ 2e β/ 1 0 β l β 0 l = β l β 0 l β e β/ 1 0 l = e β/ 1 0 l = 0 = 0 l = urther, from the equations 6.49 and 6.50, we get gain, from the equations 6.48 and 6.51, we get 0 β l β 0 l = l = 2 x l, 6.52 and from the equations 6.47, 6.51 and 6.52, we get bove discussion leads to the following theorem. β 0 β l = Theorem 6.5. Let M, be an n dimensional insler space with = e β/ β as an exponential-randers changed metric. Then is locally dually flat if and only if the following equations are satisfied: 0 l = 0, 0l = 2 x l, β 0 β l = 0, β 0l = 2β x l, l β 0 0 β l = 0. Next, we find necessary and sufficient conditions for infinite series-randers changed insler metric = β2 β β to be locally dually flat. Let us put 2 = in, then L = 2 = = β 2 β β. β 4 β 2 2β3 β β