On a Class of Locally Dually Flat Finsler Metrics

Transcription

1 On a Class of Locally Dually Flat Finsler Metrics Xinyue Cheng, Zhongmin Shen and Yusheng Zhou March 8, 009 Abstract Locally dually flat Finsler metrics arise from Information Geometry. Such metrics have special geometric properties and will play an important role in Finsler geometry. In this paper, we are going to study a class of locally dually flat Finsler metrics which are defined as the sum of a Riemannian metric and 1-form. We classify those with almost isotropic flag curvature. Key words: Finsler metric, locally dually flat Randers metric, locally projectively flat Randers metric, flag curvature 000 MR Subject Classification: 53B40, 53C60 1 Introduction The notion of dually flat metrics was first introduced by S.-I. Amari and H. Nagaoka ([]) when they study the information geometry on Riemannian spaces. Later on, the second author extends the notion of dually flatness to Finsler metrics [10]. For a Finsler metric F = F (x, y) on a manifold M, the geodesics c = c(t) off in local coordinates (x i ) are characterized by d x i dt +Gi( x, dx ) =0, dt where (x i (t)) are the coordinates of c(t) and G i = G i (x, y) are defined by { } G i = gil [F ] 4 xk y lyk [F ] x l, where g ij := 1 [F ] yi y j and (gij ):=(g ij ) 1. The local functions G i = G i (x, y) define a global vector field G = y i x G i (x, y) i y on TM. G is called the i spray of F and G i are called the spray coefficients. supported by NNSF of China ( ) and by the Science Foundation of Chongqing Education Committee Supported in part by NNSF of China( ) and NSF (DMS ) 1

2 A Finsler metric F = F (x, y) on a manifold is locally dually flat if at every point there is a coordinate system (x i ) in which the spray coefficients are in the following form G i = 1 gij H y j, (1) where H = H(x, y) is a local scalar function. Such a coordinate system is called an adapted coordinate system. Locally dually flat Finsler metrics are studied in Finsler information geometry ([10]). It is known that a Riemannian metric F = g ij (x)y i y j is locally dually flat if and only if in an adapted coordinate system, g ij (x) = ψ x i x j (x), where ψ = ψ(x) isac function [1][]. The first example of non-riemannian dually flat metrics is given in [10] as follows. y ( x F = y x, y ) x, y ± 1 x 1 x. () This metric is defined on the unit ball B n R n. The Finsler metric in () is of Randers type. A Randers metric on a manifold M is a Finsler metric expressed in the following form: F = α + β, where α = a ij (x)y i y j is a Riemannian metric and β = b i (x)y i is a 1-form on M with b := β α (x) < 1. Randers metrics were first introduced by physicist G. Randers in 1941 from the standpoint of general relativity. Later on, these metrics were applied to the theory of electron microscope by R. S. Ingarden in 1957, who first named them Randers metrics. The curvature properties of Randers metrics have been studied extensively (see [5][3][6][7]). In particular, the second author has classified projectively flat Randers metrics with constant flag curvature ([1]). In this paper, our main aim is to characterize locally dually flat Randers metrics. First let us introduce our notations. Let F = α + β be a Randers metric on a manifold M. Define b i j by b i j θ j := db i b j θ j i, where θ i := dx i and θ j i := Γ j ik dxk denote the Levi-Civita connection forms of α. Let r ij := 1 (b i j + b j i ), s ij := 1 (b i j b j i ). Clearly, β is closed if and only if s ij = 0. We denote r 00 := r ij y i y j and s k0 := s km y m. We first obtain the following theorem.

3 Theorem 1.1 Let F = α + β be a Randers metric on a manifold M. F is locally dually flat if and only if in an adapted coordinate system, β and α satisfy r 00 = 3 θβ 5 3 τβ + [ τ + 3 (τb b m θ m ) ] α, (3) s k0 = θb k βθ k, (4) 3 G m α = 1 3 (θ + τβ)ym 1 3 (τbm θ m )α, (5) where τ = τ(x) is a scalar function and θ = θ k y k θ m := a im θ i. is a 1-form on M and The flag curvature in Finsler geometry is the analogue of the sectional curvature in Riemann geometry. A Finsler metric F on a manifold M is said to be of scalar flag curvature if the flag curvature K(P, y) =K(x, y) is a scalar function on TM\{0}. It is said to be of almost isotropic flag curvature if K(P, y) =3c x my m /F + σ, where c = c(x) and σ = σ(x) are scalar functions on M. Ifc = 0 and σ = constant, then F is said to be of constant flag curvature. See [6][8][11]. If a locally dually flat Randers metric is of almost isotropic flag curvature, then it can be completely determined. Theorem 1. Let F = α + β be a Randers metric on a manifold M. F is locally dually flat with almost isotropic flag curvature if and only if one of the following holds (i) F is locally Minkowskian. (ii) α locally satisfies Hamel s projective flatness equation: α xm y kym = α x k with constant sectional curvature K α = C < 0 and β = α x m ym Cα. In this case, F = α + β is dually flat and locally projectively flat with constant flag curvature K = 1 4 C. For a given constant C 0, there might be many forms for α satisfying Hamel s projective flatness equation with constant sectional curvature K α = C and β = α x m ym Cα. Note that if we take C = ±1 and y ( x α = y x, y ), 1 x then x, y β = ± 1+ x. In this case, F is the Funk metric on the unit ball B n R n given in (). 3

4 Preliminaries A Finsler metric on a manifold M is a C function F : TM \{0} [0, ) satisfying the following conditions: (1) Regularity: F is C on TM\{0}. () Positive homogeneity: F (x, λy) =λf (x, y), λ > 0. (3) Strong convexity: the fundamental tensor g ij (x, y) is positive definite for all (x, y) TM\{0}, where g ij (x, y) := [ ] 1 F (x, y). y i y j By the homogeneity of F, we have F (x, y) = g ij (x, y)y i y j. An important class of Finsler metrics are Riemann metrics, which are in the form of F (x, y) = gij (x)y i y j. Another important class of Finsler metrics are Minkowski metrics, which are in the form of F (x, y) = g ij (y)y i y j. Dually flat Finsler metrics on an open subset in R n can be characterized by a simple PDE. Lemma.1 ([10]) A Finsler metric F = F (x, y) on an open subset U R n is dually flat if and only if it satisfies the following equations: [ ] F y k [ F ] =0. (6) x k y l x l In this case, H = H(x, y) in (1) is given by H = 1 6 [F ] x my m. There is another important notion in Finsler geometry, that is locally projectively flat Finsler metrics. A Finsler metric F = F (x, y) islocally projectively flat if at every point there is a coordinate system (x i ) in which all geodesics are straight lines, or equivalently, the spray coefficients are in the following form G i = Py i, (7) where P = P (x, y) is a local scalar function satisfying P (x, λy) =λp (x, y) for all λ>0. Projectively flat metrics on an open subset in R n can be characterized by a simple PDE. Lemma. ([9]) A Finsler metric F = F (x, y) on an open subset U R n is projectively flat if and only if it satisfies the following equations: F x k y lyk F x l =0. (8) In this case, local function P = P (x, y) in (7) is given by P = F x my m /(F ). It is easy to show that any locally projectively flat Finsler metric F = F (x, y) is of scalar flag curvature. Moreover, if G i = Py i in a local coordinate system, then the flag curvature is given by K = P P x my m F. (9) Particularly, Beltrami s theorem says that a Riemann metric is locally projectively flat if and only if it is of constant sectional curvature. We have the following 4

5 Theorem.3 ([1]) Let F = α+β be a locally projectively flat Randers metric on a manifold. If it is of constant flag curvature, then one of the following holds: (i) F is locally isometric to the Randers metric F = y + by 1 on R n, where 0 b<1 is a constant. (ii) After a normalization, F is locally isometric to the following Randers metric on a unit ball B n R n : F = y ( x y x, y ) 1 x ± x, y a, y ± 1 x 1+ a, x, (10) where a R n is a constant vector with a < 1. A Finsler metric is said to be dually flat and projectively flat on an open subset U R n if the spray coefficients G i satisfy (1) and (7) in U. There are Finsler metrics on an open subset in R n which are dually flat and projectively flat. Example.4 Let U R n be a strongly convex domain, namely, there is a Minkowski norm φ(y) onr n such that Define F = F (x, y) > 0, y 0by U := { y R n φ(y) < 1 }. x + y F U, y T xu = R n. It is easy to show that F is a Finsler metric satisfying F x k = FF y k. (11) Using (11), one can easily verify that F = F (x, y) satisfies (6) and (8). Thus it is dually flat and projectively flat on U. F is called the Funk metric on U. In fact, every dually flat and projectively flat metric on an open subset in R n must be either a Minkowski metric or a Funk metric satisfying (11) after a normalization. Theorem.5 Let F = F (x, y) be a Finsler metric on an open subset U R n. F is dually flat and projectively flat on U if and only if where C is a constant. F x k = CFF y k (1) Proof. Assume that F is dually flat and projectively flat. Then it satisfies (6) and (8). Rewrite (6) as follows F x ky k F y l + FF x k y lyk FF x l =0. (13) 5

6 Plugging (8) into (13) yields F x k =PF y k (14) where P := F x my m /(F ). Plugging (14) into (8) we get F x k =FP y k. (15) Then it follows from (14) and (15) that PF y k P y kf =0. (16) By (16), we have Thus [ P ] F =0. y k P = 1 CF where C = C(x) is a scalar function. Plugging P = 1 CF into (14), we obtain F x k = CFF y k. (17) From (17), it is easy to see that F x k y = F l x l y and F k x kf y = F l x lf yk. Further, differentiating (17) with respect to x l yields C x kf y l = C x lf y k. (18) Suppose that (C x 1,,C x n) 0. Without loss of generality, we assume that C x 1 0. For a non-zero vector y = y i x with C i x l(x)y l = 0, we can obtain from (18) that C x 1F (x, y) = 0, which implies that F (x, y) =0. This contradicts the strong convexity of F. Thus C = constant. The converse is trivial. Q.E.D. Proposition.6 Let F be a Finsler metric on an open subset U R n. If it is dually flat and projectively flat, then it is of constant flag curvature. Proof: Assume that F is dually flat and projectively flat on U. By Theorem.5, F satisfies (1). Then P := F x ky k /(F ) is given by P = 1 CF. Then P x ky k = 1 CF x kyk = 1 C F. Since F is projectively flat, the flag curvature is given by K = P P x ky k F. 6

7 We obtain K = 1 4 C. Namely, F is projectively flat with constant flag curvature K = 1 4 C. Q.E.D. The Randers metric in () satisfies (1) with C = ±1. Thus it is dually flat and projectively flat with K = 1/4. 3 Locally dually flat Randers metrics In this section, we are going to prove Theorem 1.1. It is straight forward to verify the sufficient condition. Thus we shall only prove the necessary condition. Assume that F = α + β is dually flat on an open subset U R n. First we have the following identities: α x k = y m α, β x k = b m ky m + b m, s y k = αb k sy k α, (19) where s := β/α and y k := a jk y j. By a direct computation, one obtains [ F ] x k = (1 + s) [ (y m + αb m ) Gm α + αb m ky m], (0) [ F ] x l y k y l = (αb k sy k ) α [ (ym + αb m )G m α + αr 00 ] +(1 + s) [ (a mk + y k α b m)g m α +(y m + αb m ) Gm α + r 00 α y ] k + αb k 0. (1) Plugging (0) and (1) into (6), we obtain α b k βy k [ ] (ym α 3 + αb m )G m α + αr 00 { +(1 + s) (a mk + y k α b m)g m α (y m + αb m ) Gm α + r } 00 α y k + α(3s k0 r k0 ) =0. () Multiplying () by α 3 yields (b k α βy k ) [ (y m + αb m )G m α + αr 00 ] +(α + β)α [ (amk α + y k b m )G m α (αy m + α b m ) Gm α y + r 00y k k + α (3s k0 r k0 ) ] =0. (3) Rewriting (3) as a polynomial in α, we have ( bm +3s k0 r k0 ) α 4 + [ b k b m G m α + b kr 00 +a mk G m α 7

8 y m βb m + β(3s k0 r k0 ) ] α 3 + ( b k y m G m α +y k b m G m α +r 00 y k +βa mk G m G m ) α α βy m α βy k y m G m α =0. (4) From (4) we know that the coefficients of α are zero. Hence the coefficients of α 3 must be zero too. Thus we have b k b m G m α + b k r 00 +a mk G m α y m βb m + β(3s k0 r k0 )=0, (5) ( bm +3s k0 r k0 ) α 4 + ( b k y m G m α +y k b m G m α +r 00 y k +βa mk G m G m ) α α βy m α βy k y m G m α =0. (6) Proof of Theorem 1.1. The sufficiency is clear because of (5) and (6). We just need to prove the necessity. Note that y m = (y mg m α ) a mk G m α, (7) b m = (b mg m α ). (8) Contracting (5) with b k and by use of (7),(8), we obtain (y m G m α ) b k + β (b mg m α ) b k =(b +3)b m G m α + b r 00 + β(3s 0 r 0 ). (9) Contracting (6) with b k and by use of (7),(8), we obtain (9) α 4 (30) β yields α 4 (b mg m α ) b k + βα (y mg m α ) b k =(3s 0 r 0 )α 4 +(b y m G m α +5βb mg m α + βr 00)α β y m G m α. (30) [ (ym G m α ) ] b k 3b m G m α α (α β )= ( ) b m G m α α +r 00 α βy m G m α (b α β ). (31) Because (b α β ) and (α β ) and α are all irreducible polynomials of (y i ), and (α β ) and α are relatively prime polynomials of (y i ), we know that there is a function τ = τ(x) onm such that b m G m α α + r 00 α βy m G m α = τα (α β ), (3) (y m G m α ) b k 3b m G m α = τ(b α β ). (33) 8

9 (3) can be reduced into βy m G m α =(b m G m α + r 00 τα + τβ )α. Since α does not contain the factor β, we have the following y m G m α = θα, (34) b m G m α = βθ 1 r 00 + τ α τ β, (35) where θ := θ k y k is a 1-form on M. Then we obtain the following (y m G m α ) = θ k α +θy k, (36) (b m G m α ) = θ k β + b k θ r k0 + τy k τβb k. (37) By use of (34)-(37), (5) and (6) become β(3s k0 + θb k βθ k )+(τb k θ k )α +3a mk G m α (θ + τβ)y k =0, (38) [ (3sk0 + θb k βθ k )+(τb k θ k )β ] α (θ + τβ)βy k +3βa mk G m α =0. (39) (38) β (39) yields 3s k0 + b k θ θ k β =0. (40) This gives (4). Contracting (38) with a lk yields (3s l 0 + θb l βθ l )β +(τb l θ l )α +3G l α (θ + τβ)y l =0. (41) Contracting (40) with a lk yields 3s l 0+θb l βθ l = 0. Then, from (41), we obtain (5). Substituting (5) into (35), we obtain (3). This completes the proof of Theorem 1.1. Q.E.D. 4 Dually flat and projectively flat Randers metrics In this section, we are going to prove Theorem 1.. We need the following Lemma 4.1 Let F = α+β be a locally dually flat Randers metric on a manifold M. Suppose that β satisfies the following equation: r 00 = c(α β ) βs 0, (4) where c = c(x) is a scalar function on M. Then F is locally projectively flat in adapted coordinate systems with G i = 1 cf yi. 9

10 Proof: First recall the formula for the spray coefficients G i of F, G i = G i α + r 00 +βs 0 y i s 0 y i + αs i F 0, (43) where G i α denote the spray coefficients of α. We shall prove that α is projectively flat in the adapted coordinate system, i.e., G i α = P αy i, and β is closed, i.e., s ij =0. By Theorem 1.1, α and β satisfy (3)-(5). By (3) and (4) we obtain { c τ } 3 (τb b m θ m ) α = {s θ +(c 5 3 τ)β } β. Since α is irreducible polynomial of (y i ), we conclude that c τ 3 (τb b m θ m ) = 0 (44) It follows from (4) that Plugging (46) into (45), we obtain 3 (1 b )θ = 3 (1 b )τβ + Then it follows from (44) and (47) that s 0 = 1 (5 3 τ c)β 1 θ. (45) 3 s 0 = 1 3 (θb βb m θ m ). (46) θ = τβ. { τ c + } 3 (τb b m θ m ) β. (47) By (44) we see that τ = c. Plugging θ = τβ into (4) yields that s ij = 0. Thus β is closed! Then r 00 = c(α β ). Plugging θ = τβ into (5) yields G i α = τβy i = cβy i. Thus α is projectively flat in the adapted coordinate system. By (43), we get G i = G i α + r 00 F yi = c Fyi. (48) Therefore F = α + β is projectively flat in adapted coordinate systems. Q.E.D. Remark 4. The S-curvature S is an important non-riemannian quantity in Finsler geometry ([6], [8], [11]). A Finsler metric is said to be of isotropic S- curvature if S =(n +1)c(x)F. It is shown that a Randers metric F = α + β is of isotropic S-curvature S =(n +1)c(x)F if and only if it satisfies (4). See [7]. 10

11 Lemma 4.3 Let F = α+β be a locally dually flat Randers metric on a manifold M. If it is of almost isotropic flag curvature, K =3 c x m(x)y m /F + σ(x), then it is locally projectively flat in adapted coordinate systems with G i = 1 cf yi where c = c(x) is a scalar function such that c(x) c(x) =constant. Proof: Assume that F = α + β is of almost isotropic flag curvature K = 3 c x m(x)y m /F + σ(x). According to Theorem 1. in [13], F must be of isotropic S-curvature, i.e., β satisfies (4) for a scalar function c = c(x) such that c(x) c(x) = constant. Further, because F is locally dually flat, by Lemma 4.1, F is locally projectively flat in adapted coordinate systems with spray coefficients given by (48). Q.E.D. Proof of Theorem 1.. Under the assumption, we conclude that F = α + β is dually flat and projectively flat in any adapted coordinate system. By Theorem.5, F satisfies (1) for some constant C. Thus the spray coefficients G i = Py i are given by P = 1 CF. By Proposition.6, we see that the flag curvature of F is constant, K = 1 4 C. It is well-known that if F = α+β is locally projectively flat, then α is locally projectively flat and β is closed ([4]). Actually one can conclude this by (1). Plugging F = α + β into (1), we get } [α ] x k Cα b k Cβ[α ] y k + α {β x k C[α ] y k Cβb k =0. This is equivalent to the following two equations: [α ] x k = Cα b k + Cβ[α ] y k, β x k = C[α ] y k +Cβb k. The above equations can be simplified to the following equations α x k = C(αβ) y k (49) β x k = C(ββ y k + αα y k). (50) If C = 0, then α = α(y) and β = β(y) are independent of position x. Thus F = α + β is a Minkowskian norm in the adapted coordinate neighborhood. If C 0, then it follows from (49) that α xm y kym = α x k. (51) Thus α is projectively flat with spray coefficients G i α = P α y i where P α = α x m ym α. By (50), it is easy to see that β is closed. By (49), we have β = α x mym Cα. Thus P α = Cβ. By (50), the sectional curvature K α of α is given by K α = (P α) (P α ) x my m α = C β C (α + β ) α = C. (5) 11

12 Conversely, assume that α satisfies (51) with β = α x m ym Cα and K α = C. Then F = α + β is locally projectively flat ( i.e., F satisfies (8)) and α satisfies (49) by (51) and β = α x m ym Cα. Because of K α = C, it is easy to see that β satisfies (50). By Theorem.5 and Proposition.6, we conclude that F = α +β is locally dually flat and locally projectively flat with constant flag curvature K = 1 4 C. Q.E.D. References [1] S.-I. Amari, Differential-Geometrical Methods in Statistics, Springer Lecture Notes in Statistics, 8, Springer-Verlag, [] S.-I. Amari and H. Nagaoka, Methods of Information Geometry, AMS Translation of Math. Monographs, 191, Oxford University Press, 000. [3] S. Bácsó, X. Cheng and Z. Shen, Curvature properties of (α, β)-metrics, Advanced Studies in Pure Mathematics, Math. Soc. of Japan, 48(007), [4] S. Bácsó and M. Matsumoto, On Finsler spaces of Douglas type II. Projectively flat spaces, Publ. Math. Debrecen, 53(1998), [5] D. Bao and C. Robles, On Randers spaces of constant flag curvature, Rep. on Math. Phys, 51(003), 9-4. [6] X. Cheng, X. Mo and Z. Shen, On the flag curvature of Finsler metrics of scalar curvature, J. London Math. Soc., 68()(003), [7] X. Cheng and Z. Shen, Randers metrics with special curvature properties, Osaka J. Math., 40(003), [8] S. S. Chern and Z. Shen, Riemman-Finsler Geometry, Word Scientific Publisher, Singapore, 005. [9] G. Hamel, Über die Geometrieen in denen die Geraden die Kürzesten sind, Math. Ann. 57(1903), [10] Z. Shen, Riemann-Finsler geometry with applications to information geometry, Chin. Ann. Math., 7B(1)(006), [11] Z. Shen, Differential Geometry of Spray and Finsler Space, Kluwer Academic Publishers, Dordrecht, 001. [1] Z. Shen, Projectively flat Randers metrics of constant flag curvature, Math. Ann., 35(003), [13] Z. Shen and G. C. Yildirim, A characterization of Randers metrics of scalar flag curvature, preprint. 1

13 Xinyue Cheng School of Mathematics and Physics Chongqing Institute of Technology Chongqing P. R. China Zhongmin Shen Center of Mathematical Sciences Zhejiang University Hangzhou, Zhejiang Province P.R. China and Department of Mathematical Sciences Indiana University Purdue University Indianapolis (IUPUI) 40 N. Blackford Street Indianapolis, IN USA Yusheng Zhou Department of Mathematics Guiyang University Guiyang P. R. China 13