arxiv: v1 [math.dg] 21 Oct 2015

Similar documents
Projectively Flat Fourth Root Finsler Metrics

On a class of Douglas metrics

ON THE CONSTRUCTION OF DUALLY FLAT FINSLER METRICS

On a Class of Locally Dually Flat Finsler Metrics

WITH SOME CURVATURE PROPERTIES

RANDERS METRICS WITH SPECIAL CURVATURE PROPERTIES

On Einstein Kropina change of m-th root Finsler metrics

The Explicit Construction of Einstein Finsler Metrics with Non-Constant Flag Curvature

On Douglas Metrics. Xinyue Chen and Zhongmin Shen. February 2, 2005

On Randers-Conformal Change of Finsler Space with Special (α, β)-metrics

Differential Geometry and its Applications

On a Class of Weakly Berwald (α, β)- metrics of Scalar flag curvature

Conformal transformation between some Finsler Einstein spaces

ON RANDERS SPACES OF CONSTANT CURVATURE

On a class of stretch metrics in Finsler Geometry

arxiv: v1 [math.dg] 21 Dec 2017

ON RANDERS CHANGE OF GENERALIZED mth ROOT METRIC

Some Open Problems in Finsler Geometry

HYPERSURFACE OF A FINSLER SPACE WITH DEFORMED BERWALD-MATSUMOTO METRIC

The volume growth of complete gradient shrinking Ricci solitons

arxiv: v3 [math.dg] 13 Mar 2011

Note on the Chen-Lin Result with the Li-Zhang Method

NOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS

Surfaces with Parallel Normalized Mean Curvature Vector Field in 4-Spaces

On homogeneous Randers spaces with Douglas or naturally reductive metrics

NEW TOOLS IN FINSLER GEOMETRY: STRETCH AND RICCI SOLITONS

Spacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds

arxiv: v1 [math.dg] 15 Aug 2011

The eigenvalue problem in Finsler geometry

SINGULAR CURVES OF AFFINE MAXIMAL MAPS

Changing sign solutions for the CR-Yamabe equation

arxiv: v1 [math.dg] 27 Nov 2007

Draft version September 15, 2015

Jeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi

COMPLETE GRADIENT SHRINKING RICCI SOLITONS WITH PINCHED CURVATURE

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

arxiv:math/ v1 [math.dg] 19 Nov 2004

On the simplest expression of the perturbed Moore Penrose metric generalized inverse

On isometries of Finsler manifolds

Spherical Symmetric 4d the Ricci Flow Solution with Constant Scalar Curvature Space as Initial Geometry

Monochromatic metrics are generalized Berwald

On closed Weingarten surfaces

arxiv: v1 [math.dg] 1 Jul 2014

On characterizations of Randers norms in a Minkowski space

ON SOME GEOMETRIC PROPERTIES OF QUASI-SUM PRODUCTION MODELS. 1. Introduction

Viscosity approximation methods for the implicit midpoint rule of asymptotically nonexpansive mappings in Hilbert spaces

On closed Weingarten surfaces

Exact Solutions of the Einstein Equations

A NOVEL VIEW OF ROUGH SOFT SEMIGROUPS BASED ON FUZZY IDEALS. Qiumei Wang Jianming Zhan Introduction

Einstein Finsler Metrics and Ricci flow

HYPERSURFACES OF EUCLIDEAN SPACE AS GRADIENT RICCI SOLITONS *

Fixed point theorems of nondecreasing order-ćirić-lipschitz mappings in normed vector spaces without normalities of cones

A CHARACTERIZATION OF WARPED PRODUCT PSEUDO-SLANT SUBMANIFOLDS IN NEARLY COSYMPLECTIC MANIFOLDS

arxiv:math/ v1 [math.dg] 7 Jun 2004

Strictly convex functions on complete Finsler manifolds

Hyperbolic Geometric Flow

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces

An Introduction to Riemann-Finsler Geometry

arxiv: v1 [math.dg] 20 Dec 2016

GENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE. 1. Introduction

On Generalized Set-Valued Variational Inclusions

Inextensible Flows of Curves in Lie Groups

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

Coordinate Finite Type Rotational Surfaces in Euclidean Spaces

Non-radial solutions to a bi-harmonic equation with negative exponent

NEW LIFTS OF SASAKI TYPE OF THE RIEMANNIAN METRICS

arxiv: v1 [math.ra] 28 Jan 2016

FOUR-DIMENSIONAL GRADIENT SHRINKING SOLITONS WITH POSITIVE ISOTROPIC CURVATURE

Mathematische Annalen

J. Korean Math. Soc. 32 (1995), No. 3, pp. 471{481 ON CHARACTERIZATIONS OF REAL HYPERSURFACES OF TYPE B IN A COMPLEX HYPERBOLIC SPACE Seong Soo Ahn an

arxiv:math/ v2 [math.ra] 14 Dec 2005

Viscosity approximation method for m-accretive mapping and variational inequality in Banach space

International Journal of Pure and Applied Mathematics Volume 48 No , A STUDY OF HYPERSURFACES ON SPECIAL FINSLER SPACES

SOME RESULTS ON THE GEOMETRY OF MINKOWSKI PLANE. Bing Ye Wu

A SYSTEM OF PDES FOR RIEMANNIAN SPACES

Bulletin of the Transilvania University of Braşov Vol 7(56), No Series III: Mathematics, Informatics, Physics, 1-12

LIST OF PUBLICATIONS. Mu-Tao Wang. March 2017

Einstein H-umbilical submanifolds with parallel mean curvatures in complex space forms

OLIVIA MILOJ March 27, 2006 ON THE PENROSE INEQUALITY

Lagrangian Submanifolds with Constant Angle Functions in the Nearly Kähler S 3 S 3

Non-Degenerate Quadric Surfaces in Euclidean 3-Space

Torus actions and Ricci-flat metrics

A Fixed Point Theorem and its Application in Dynamic Programming

Universal inequalities for eigenvalues. of elliptic operators in divergence. form on domains in complete. noncompact Riemannian manifolds

arxiv: v1 [math.dg] 28 Aug 2017

arxiv: v1 [math.dg] 19 Nov 2009

Hyperbolic Gradient Flow: Evolution of Graphs in R n+1

Liouville Properties for Nonsymmetric Diffusion Operators. Nelson Castañeda. Central Connecticut State University

On Berwald Spaces which Satisfy the Relation Γ k ij = p k g ij for Some Functions p k on TM

arxiv: v1 [math.dg] 2 Oct 2015

On Strongly Prime Semiring

THE NULLITY SPACES OF CURVATURE-LIKE TENSORS

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

Strong Duality and Dual Pricing Properties in Semi-infinite Linear Programming A Non-Fourier-Motzkin Elimination Approach

SOME INDEFINITE METRICS AND COVARIANT DERIVATIVES OF THEIR CURVATURE TENSORS

Curvature-homogeneous spaces of type (1,3)

Minimization problems on the Hardy-Sobolev inequality

arxiv: v4 [math.dg] 18 Jun 2015

UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY

Transcription:

On a class of projectively flat Finsler metrics arxiv:1510.06303v1 [math.dg] 21 Oct 2015 Benling Li Zhongmin Shen November 10, 2014 Abstract In this paper, we study a class of Finsler metrics composed by a Riemann metric α = a ij(x)y i y j a 1-form β = b i(x)y i called general (α, β)-metrics. We classify those projectively flat when α is projectively flat. By solving the corresponding nonlinear PDEs, the metrics in this class are totally determined. Then a new group of projectively flat Finsler metrics is found. Keywords: Finsler metric; projectively flat; general (α, β)-metric. 2000 MR Subject Classification. 53B40, 53C60. 1 Introduction The regular case of the famous Hilbert s Fourth Problem is to characterize Finsler metrics on an open subset in R n whose geodesics are straight lines as a point set. Such Finsler metrics are called projectively flat Finsler metrics. In the past years, many non-trivial(non-minkowskian) projectively flat Finsler metrics have been found. The simplest class is projectively flat Riemannian metrics. As we known, they are equivalent to Riemannian metrics with constant sectional curvature by Beltrami s theorem. However, it is not true in the non-riemannian case. Recently, in [6] the first author studied dually flat Finsler metrics arisen from information geometry found that many dually flat Finsler metrics can be constructed by projectively flat Finsler metrics. More information of dually flat Finsler metrics can be found in [5][9][13]. These also motivate us to search more projectively flat Finsler metrics. Many known examples are related to Riemannian metrics, such as the famous Funk metric Θ = Θ(x, y) found in 1904 the Berwald s metric B = B(x,y) found in 1929. This leads to the study of (α, β)-metric defined by a Riemannian metric α a 1-form β, F = αφ(s), s = β α, (1.1) Research is supported by the NNSFC(11371209), ZPNSFC(LY13A010013), Scientific Research Fund of Zhejiang Provincial Education Department (Y201326630), Ningbo Natural Science Foundation (2013A610101) K.C. Wong Magna Fund in Ningbo University. 1

where φ = φ(s) satisfies certain condition such that F is a (positive definite) Finsler metric. The second author gave the equivalent conditions of projectively flat (α, β)-metrics in [12]. Later on, we classified those with constant flag curvature into three types in [8]. The classification of projectively flat Finsler metrics with constant flag curvature were given in [7] [11]. Thus a natural problem is how to find more non-trivial projectively flat Finsler metrics which are not (α, β)-metrics? A more general class named general (α, β)-metric was first introduced by C. Yu H. Zhu in [15] in the following form. F = αφ(b 2, β ), (1.2) α where α is a Riemannian metric, β is a 1-form, b := β x α φ = φ(b 2,s) is a smooth function. It is easy to see that if φ 1 = 0, then F is just a (α, β)-metric. In [15], C. Yu H. Zhu found a class of projectively flat Finsler metrics in this class with the following three conditions: i) α = a ij (x)y i y j is projectively flat; (ii) β is closed conformal with respect to α, i.e., the covariant derivatives of β with respect to α is b i j = c(x)a ij ; (iii) φ = φ(b 2,s) satisfies φ 22 = 2(φ 1 sφ 12 ). In this paper, we only need the condition that α is projectively flat determine all the projectively flat general (α, β)-metrics. Firstly, we get the following main theorem. Theorem 1.1 Let F = αφ(b 2, β α ) be a non-riemannian Finsler metric on an n- dimensional manifold with n 3. If α is a projectively flat Riemann metric φ 1 0, then F is projectively flat if only if one of the following conditions holds (i) β is parallel with respect to α; (ii) There are two scalar functions c = c(b 2 ) k = k(x) such that In this case, [cb 2 (c 1)s 2 ]φ 22 = 2b 2 (φ 1 sφ 12 ) (1.3) b i j = kc(b 2 a ij b i b j )+kb i b j. (1.4) G i = α G i +kα (c 1) (b2 s 2 )φ 2 + b2 (2sφ 1 +φ 2 ) y i. (1.5) Obviously, when c = 1, it is just the case studied in [15]. By the above theorem, we can see that there are many choices of the function c = c(b 2 ) k = k(x). Actually, we find the general solutions of (1.3) (1.4). Then we immediately obtain the following theorem. Theorem 1.2 Let F = αφ(b 2, β α ) be a non-riemannian Finsler metric on an n-dimensional manifold with n 3 such that φ 1 0. Suppose that α is a 2

projectively flat Riemann metric with constant sectional curvature κ, i.e. α κ = (1+κ x 2 ) y 2 κ x,y 2 1+κ x 2. If β is not parallel with respect to α κ, then F is projectively flat if only if there exists a scalar function c = c(b 2 ) such that φ β satisfy (1.6) (1.7) respectively. That is φ(b 2,s) = f(µ+νs 2 ) 2νs s 0 f (µ+νz 2 )dz +g(b 2 )s, (1.6) where f = f(t) g = g(t) are two arbitrary C functions, µ = cνd(b 2 c 1 ), ν = e b 2 d(b2). In this case, β = e c 1 )ε x,y +(1+κ x 2 ) a,y κ a,x x,y 2b 2 d(b2. (1.7) (1+κ x 2 ) 3 2 G i = α G i +e c 1 2b 2 d(b2 ) ε κ a,x cb 2 1+κ x 2α (c 1) (b2 s 2 )φ 2 + b2 (2sφ 1 +φ 2 ) y i. Specially, when α is an Euclidean metric y β = x,y, we get the spherically symmetric metric F = y φ( x 2, x,y ). y Obviously, it is a special class of general (α, β)-metric. In this case, α = y is projectively flat b i j = δ ij. Thus by Theorem 1.1 1.2 we get the following corollary which was first proved in [16]. Corollary 1.3 Let F = y φ( x 2, x,y y ) be a non-riemannian Finsler metric on an n-dimensional manifold with n 3. If φ 1 0, then F is projectively flat if only if φ 22 = 2(φ 1 sφ 12 ), (1.8) i.e. φ(b 2,s) = f(b 2 s 2 )+2s s 0 f (b 2 z 2 )dz +g(b 2 )s, where f = f(t) g = g(t) are two arbitrary C functions. 3

2 Preliminaries In this section, we give some definitions lemmas needed in this paper. The geodesics of a Finsler metric F = F(x,y) on an open domain U R n are determined by the following ODEs: ẍ+2g i (x,ẋ) = 0, where G i = G i (x,y) are called geodesic coefficients given by G i = 1 4 gil [F 2 ] xm y lym [F 2 ] x l. A Finsler metric F = F(x,y) is said to be projectively flat if its geodesic coefficients G i satisfy G i = Py i, where P = F x ky k /(2F) is called the projective factor of F. In this paper, we mainly consider the general (α, β)-metrics. Proposition 2.1 ([15]) Let M be an n-dimensional manifold. F = αφ(b 2, β α ) is a Finsler metric on M for any Riemannian metric α 1-form β with β α < b o if only if φ = φ(b 2,s) is a positive C function satisfying when n 3 or φ sφ 2 > 0, φ sφ 2 +(b 2 s 2 )φ 22 > 0 (2.1) φ sφ 2 +(b 2 s 2 )φ 22 > 0 when n = 2, where s b are arbitrary numbers with s b < b o. For simplicity, let r ij := 1 2 (b i j +b j i ), r j := b i r ij, s ij := 1 2 (b i j b j i ), s j = b i s ij, r 00 := r ij y i y j, r i0 := r ij y j, r 0 := r i y i, s i0 := s ij y j, s 0 = s i y i. In [15], the geodesic coefficients G i of a general (α, β)-metric F = αφ(b 2, β α ) were given by G i = α G i +αqs i 0 + Θ( 2αQs 0 +r 00 +2α 2 Rr)+αΩ(r 0 +s 0 ) y i α + Ψ( 2αQs 0 +r 00 +2α 2 Rr)+αΠ(r 0 +s 0 ) b i α 2 R(r i +s i ), where α G i are geodesic coefficients of α, Θ = Q = φ 2 φ sφ 2, R = φ 1 φ sφ 2, (φ sφ 2 )φ 2 sφφ 22 [φ sφ 2 +(b 2 s 2 )φ 22 ], Ψ = φ 2 2 2[φ sφ 2 +(b 2 s 2 )φ 22 ], (φ sφ 2 )φ 12 sφ 1 φ 22 Π = (φ sφ 2 )[φ sφ 2 +(b 2 s 2 )φ 22 ], Ω = 1 φ sφ+(b2 s 2 )φ 2 Π. φ (2.2) 4

3 Sufficient Conditions In this section, we show the sufficient conditions for a general (α, β)-metric to be projectively flat. These conditions are also valid in dimension two. Lemma 3.1 Let F = αφ(b 2, β α ) be a Finsler metric on an n-dimensional manifold with n 2. Suppose that β satisfies b i j = kc(b 2 a ij b i b j )+kb i b j, (3.1) where c = c(b 2 ) k = k(x) are two scalar functions. Assume that φ = φ(b 2,s) satisfies the following PDE: (cb 2 (c 1)s 2 )φ 22 = 2b 2 (φ 1 sφ 12 ). (3.2) Then the geodesic coefficients G i = G i (x,y) of F are given by G i = α G i +kα (c 1) (b2 s 2 )φ 2 Proof: By the assumption, we have + b2 (2sφ 1 +φ 2 ) y i. r 00 = kc(b 2 α 2 β 2 )+kβ 2, r 0 = kb 2 β, r i = kb 2 b i, Substituting them into (2.2) yields r = kb 4, s 0 = 0, s i 0 = 0. G i = α G i +kαθ[c(b 2 s 2 )+s 2 +2b 4 R]+b 2 sωy i +kα 2 Ψ[c(b 2 s 2 )+s 2 +2b 4 R]+b 2 sπ b 2 Rb i. By substituting the expression of Θ, Ψ, R, Ω Π into the above equation we get (b G i = α G i 2 s 2 )(sφ 22 +φ 2 ) +kα (c 1)+ (sφ 22 +2s 2 φ 12 +φ 2 )b 2 + b2 (2sφ 2s 2 φ 2 +b 2 φ 2 +b 2 sφ 22 s 3 φ 22 ) φ(φ sφ 2 +b 2 φ 22 s 2 [φ 1 sφ 12 c(b2 s 2 )+s 2 φ 22 ) 2b 2 φ 22 ] +kα 2(cb2 (c 1)s 2 )φ 22 2b 2 (φ 1 sφ 12 ) 2(φ sφ 2 +(b 2 s 2 b i. )φ 22 ) Then by (3.2), we obtain (b G i = α G i 2 s 2 )φ 2 +kα (c 1)+ b2 (2sφ 1 +φ 2 ) y i. Q.E.D. Proof of the sufficiency of Theorem 1.1: By the assumption, α is projectively flat, then α G i = α Py i, where α P is projective factor of α. Thus F is a projectively flat Finsler metric by Lemma 3.1. Q.E.D. y i 5

4 Necessary Conditions The necessity of Theorem 1.1 can be obtained by the following lemma. Lemma 4.1 Let F = αφ(b 2, β α ) be a non-riemannian Finsler metric on an n-dimensional manifold with n 3 φ 1 0. Assume that α is projectively flat β is not parallel with respect to α. If F is projectively flat, then there are two scalar functions c = c(b 2 ) k = k(x) such that (cb 2 (c 1)s 2 )φ 22 = 2b 2 (φ 1 sφ 12 ) (4.1) b i j = kc(b 2 a ij b i b j )+kb i b j. (4.2) Proof: By the assumption, α is projectively flat, then α G i = α Py i, where α P is the projective factor of α. If F is projectively flat, then by (2.2) there exists P = P(x,y) such that αqs i 0 +Ψ( 2αQs 0+r 00 +2α 2 Rr)+αΠ(r 0 +s 0 )b i α 2 R(r i +s i ) = Py i. (4.3) Contracting the above equation with y i = a ij y j, we have P = s α Ψ( 2αQs 0 +r 00 +2α 2 Rr)+αΠ(r 0 +s 0 ) R(r 0 +s 0 ). (4.4) Substituting it back into (4.3) yields Ψ( 2αQs0 +r 00 +2α 2 Rr)+αΠ(r 0 +s 0 ) (b i s α yi ) +αqs i 0 R α 2 (r i +s i )+(r 0 +s 0 )y i = 0. (4.5) Since the dependence of φ on b 2 s is unclear, it is difficult to solve the above equation directly. To overcome this problem, we choose a special coordinate system at a point as in [8]. Fix an arbitrary point x o U R n. Make a change of coordinates: (s,y a ) (y i ) by y 1 = s b2 s 2ᾱ, ya = y a, a = 2,...,n where ᾱ := n a=2 (ya ) 2. Then α = b b2 s 2ᾱ, β = bs b2 s 2ᾱ. s 2 s r 00 = r 11 b 2 s 2ᾱ2 +2 r 10 b2 s 2ᾱ+ r 00, r 0 = bsr 11 b2 s 2ᾱ+b r 10, s 0 = s 0, 6

s 1 0 = s1 0, sa 0 = s sa 1 b2 s 2ᾱ+ sa 0, where r 10 = r 1a y a, s 0 = s a y a, s 1 0 = s 1a y a s a 0 = s a b yb. By a direct computation (4.5) is equivalent to (b 2 s 2 )Ψ r 00 + b 2 [(b 2 s 2 )(Π 2QΨ)+Q+sR] s 10 +[(b 2 s 2 )(b 2 Π+2sΨ) +b 2 ᾱ sr] r 10 b2 s +r 11(2b 4 RΨ+s 2 Ψ+b 2 sπ b 2 R)ᾱ 2 = 0, 2 sψ(b 2 s 2 )y a r 00 + b 2 s 2 b 2 ( 2sQΨ R+sΠ) s 10 (4.6) +(b 2 sπ+2s 2 Ψ b 2 R) r 10 y a ᾱ b 2 s a0 Q y a sr 11 (2b 4 RΨ+s 2 Ψ+b 2 sπ b 2 R) b 2 + R(r 1a +s 1a )+sqs 1a ] ᾱ 3 = 0. b2 s 2[b2 ᾱ 2 (4.7) By ᾱ = n a=2 (ya ) 2, (4.6) is equivalent to (b 2 s 2 )Ψ r 00 +r 11 (2b 4 RΨ+s 2 Ψ+b 2 sπ b 2 R)ᾱ 2 = 0 (4.8) b 2 [(b 2 s 2 )(Π 2QΨ)+Q+sR] s 10 +[(b 2 s 2 )(b 2 Π+2sΨ)+b 2 sr] r 10 = 0. (4.9) (4.7) is equivalent to sψ(b 2 s 2 )y a r 00 b 2 Q s a0 y a sr 11 (2b 4 RΨ+s 2 Ψ+b 2 sπ b 2 R) ᾱ 2 = 0 (4.10) b2 s 2 b 2 ( 2sQΨ R+sΠ) s 10 +(b 2 sπ+2s 2 Ψ b 2 R) r 10 y a + b 2 b2 s 2[b2 R(r 1a +s 1a )+sqs 1a ]ᾱ 2 = 0. (4.11) (4.8) sy a (4.10) yields b 2 Q s a0 α 2 = 0. (4.12) Then by the arbitrary choice of x o, Q = 0 or s ab = 0. By the assumption that F is non-riemannian, we have φ 2 0. Then Q 0. Thus s ab = 0. Differentiating (4.9) with respect to y a yields b 2 [(b 2 s 2 )(Π 2QΨ)+Q+sR]s 1a +[(b 2 s 2 )(b 2 Π+2sΨ)+b 2 sr]r 1a = 0. (4.13) 7

By (4.11) it can be seen that (b 2 R+sQ)s 1a +b 2 Rr 1a = 0 (4.14) b 2 ( 2sQΨ R+sΠ)s 1a +(b 2 sπ+2s 2 Ψ b 2 R)r 1a = 0 (4.15) because α 2 is indivisible by y a. We claim that s 1a = 0. If R = 0 at x 0, then by (4.14) Q 0, we get s 1a = 0. If R 0 s 1a 0 at x 0, then (4.14) becomes to b 2 + sq R +b2r 1a s 1a = 0. Differentiating the above equation with respect to s yields Then [ sφ2 φ 1 ] 2 = φ 1φ 2 +sφ 1 φ 22 sφ 2 φ 12 φ 2 1 = 0. sφ 1 φ 22 +φ 2 (φ 1 sφ 12 ) = 0. (4.16) It is easy to see that (4.14) (4.15) both are linear equations of s 1a r 1a. If s 1a 0, then (b 2 R+sQ) b 2 R b 2 ( 2sQΨ R+sΠ) b 2 sπ+2s 2 Ψ b 2 R = 0. It is equivalent to (4.16) b 2 +(4.17) yields s(b 2 φ 1 +sφ 2 )φ 22 +b 2 φ 2 ( φ 1 +sφ 12 ) = 0. (4.17) s(2b 2 φ 1 +sφ 2 )φ 22 = 0. (4.18) Then φ 22 = 0 or 2b 2 φ 1 +sφ 2 = 0. If φ 22 = 0, then by (4.17) we get φ 2 ( φ 1 +sφ 12 ) = 0. By the assumption that F = αφ is non-riemannian, we have φ 2 0. Then φ 1 = 0 when s = 0. It is excluded. Thus φ 22 0 2b 2 φ 1 +sφ 2 = 0. Then φ 1 = 0 when s = 0. It is excluded. Thus s 1a = 0. Substituting s 1a = 0 into (4.14) (4.15) yields b 2 Rr 1a = 0 (4.19) (b 2 sπ+2s 2 Ψ b 2 R)r 1a = 0. (4.20) 8

If R = 0, then φ 1 = 0 φ 12 = 0. Then (4.20) becomes to 2s 2 Ψr 1a = 0. By the assumption that φ 22 0 which implies Ψ 0, then we get r 1a = 0. Differentiating (4.8) with respect to y a y b yields (b 2 s 2 )Ψr ab +r 11 (2b 4 RΨ+s 2 Ψ+b 2 sπ b 2 R)δ ab = 0. Set r 11 = kb 2, (k = k(x)). Then there exists a number c such that Thus we obtain (4.2). In this case, (4.8) becomes r ab = ckb 2 δ ab. (b 2 s 2 )Ψck +(2b 4 RΨ+s 2 Ψ+b 2 sπ b 2 R)k = 0. Substituting the expressions of Ψ, Π R into the above equation yields k [cb2 (c 1)s 2 ]φ 22 2b 2 (φ 1 sφ 12 ) 2[φ sφ 2 +(b 2 s 2 )φ 22 ] = 0. (4.21) If k = 0, then b i j = 0. It is contrary to the assumption. Thus we obtain (4.2). Q.E.D. 5 General solutions of (1.3) To determine the projectively flat metrics in Theorem 1.1, the efficient way is to solve (1.3), (1.4). In this section, we first give the general solutions of (1.3), then construct some special explicit solutions. Proposition 5.1 The general solutions of (1.3) are given by φ(b 2,s) = f(µ+νs 2 ) 2νs s 0 f (µ+νz 2 )dz +g(b 2 )s, (5.1) where f = f(t) g = g(t) are two arbitrary C functions, µ = cνd(b 2 c 1 ), ν = e b 2 d(b2). (5.2) Proof: Consider the following variable substitution, u = µ+νs 2, v = s, 9

where µ ν are given by (5.2) By the implicit differentiation, we have Then 0 = v µ+s2 v ν +2sν = cν (b2 ) v +s2 ν c 1 b 2 (b 2 ) v +2s.ν (b 2 ) v By the above equation (1.3), we get = 2sb 2 cb 2 (c 1)s 2. v (φ sφ 2) =(φ 1 sφ 12 ) (b2 ) v sφ 22 2sb 2 =(φ 1 sφ 12 ) cb 2 (c 1)s 2 sφ 22 =0. (5.3) This means that φ sφ 2 = f(µ+νs 2 ) (5.4) is a function of µ+νs 2. Differentiating (5.4) with respect to s yields φ 22 = 2νf (µ+νs 2 ). Thus φ 2 = 2ν s Plugging it into (5.4) gives (5.1). 0 f (µ+νz 2 )dz +g(b 2 ). Q.E.D. Let c = λ = const., then (1.3) becomes (λb 2 (λ 1)s 2 )φ 22 = 2b 2 (φ 1 sφ 12 ). (5.5) By Proposition 5.1, we immediately have Lemma 5.2 The general solutions of (5.5) are given by φ(b 2,s) = f(b 2λ b 2(λ 1) s 2 )+2b 2(λ 1) s s where f = f(t) g = g(t) are two arbitrary C functions. In this case, 0 f (b 2λ b 2(λ 1) z 2 )dz +g(b 2 )s, φ sφ 2 = f(t), φ sφ 2 +(b 2 s 2 )φ 22 = f(t)+2tf (t), where t = b 2(λ 1) (b 2 s 2 ). Let f(0) > 0 f (t) 0, then φ satisfies (2.1). Thus F = αφ is a Finsler metric. Then we can construct many projectively 10

flat general (α, β)-metrics by choosing special f g. The following are some special solutions. (i) f = 1, φ = 1+g(b 2 )s. In this case, F = αφ(b 2,s) is a Rers metric. (ii) f = 1 1 t, φ = 1 b 2λ +b 2(λ 1) s 2 1 b 2λ +g(b 2 )s. In this case, F = αφ(b 2,s) is also a Rers metric. (iii) f = 1+t, φ = b 2(λ 1) s 2 +g(b 2λ )s+1+b 2λ. (iv) f = 1+t 2, (v) f = ln(1+t), φ = b4(λ 1) s 4 +2b 4λ 2 s 2 +g(b 2 )s+1+b 4λ. 3 2b λ 1 tanh 1[ b λ 1 s φ = g(b 2 )s+ 1+b 2λ 1+b 2λ ] s+ln(1+b 2λ b 2(λ 1) s 2 ) It is easy to see that (iii), (iv) (v) are all new solutions. 6 General solutions of (1.4) In this section we solve (1.4) in Theorem 1.1 when α is a projectively flat Riemannian metric. By Beltrami s theorem, projectively flat Riemannian metrics are equivalent to Riemannian metrics with constant sectional curvature. Let α κ be a Riemannian metric with constant sectional curvature κ, then there is a local coordinate system such that α κ = (1+κ x 2 ) y 2 κ x,y 2 1+κ x 2. Ourmethod istotakeadeformationofβ first, then findaconformal1-formwith respect to α κ. The following lemma can be obtained by a direct computation. Lemma 6.1 Let β = ρ(b 2 )β, then bi j = ρb i j +2ρ b i (r j +s j ). 11

c 1 Let ρ = e 2b 2 d(b2), then by (1.4) the above lemma we have Then by the result in [14], we have bi j = ckb 2 ρa ij. β = ε x,y +(1+κ x 2 ) a,y κ a,x x,y, (1+κ x 2 ) 3 2 bi j = ε κ a,x 1+κ x 2 a ij, where ε is a constant number a is a constant vector. When c = 0, then ε = 0 a = 0. In this case, β = β = 0. Thus, when c 0, we obtain Proposition 6.2 If β is a 1-form satisfies (1.4), where c 0 α κ = aij y i y j is a Riemannian metric with constant sectional flag curvature κ, then β = e c 1 )ε x,y +(1+κ x 2 ) a,y κ a,x x,y 2b 2 d(b2. (1+κ x 2 ) 3 2 In this case, the scalar function k = k(x) in (1.4) is given by References k(x) = e c 1 2b 2 d(b2 ) ε κ a,x cb 2 1+κ x 2. [1] L. Berwald, Über die n-dimensionalen Geometrien konstanter Krümmung, in denen die Geraden die kürzesten sind, Math. Z. 30(1929), 449-469. [2] R. Bryant, Finsler structures on the 2-sphere satisfying K = 1, Finsler Geometry, Contemporary Mathematics 196, Amer. Math. Soc., Providence, RI, 1996, 27-42. MR 97e:53128. [3] R. Bryant, Projectively flat Finsler 2-spheres of constant curvature, Selecta Math., New Series, 3(1997), 161-204. MR 98i:53101. [4] B. Chen, Z. Shen L. Zhao On a class of Ricci-flat Finsler metrics in Finsler geometry, J. Geom. Phys. 70 (2013), 30C38. [5] X. Cheng, Z. Shen Y. Zhou, On a class of locally dually flat Finsler Metrics, Int. J. Math., 21 (2010), 1531-1543. [6] B. Li, On dually flat Finsler metrics, Differ. Geom. Appl. 31(2013), 718-724. [7] B. Li, On the classification of projectively flat Finsler metrics with constant flag curvature, Adv. Math. 257(2014), 266-284. 12

[8] B. Li Z. Shen, On a class of projectively flat Finsler metrics with constant flag curvature, Int. J. Math., Vol.18, No. 7 (2007), 749-760. [9] L. Huang X. Mo, On some explicit constructions of dually flat Finsler metrics J. Math. Anal. Appl., Vol. 405, No. 2 (2013), 565-573. [10] E. S. Pending Sevim, Z. Shen L. Zhao Some Ricci-flat Finsler metrics, Publ. Math. Debrecen 83(4) (2013), 617C623. [11] Z.Shen, Projectively flat Finsler metrics of constant flag curvature, Trans. Amer. Math. Soc. 355(4)(2003), 1713C11728. [12] Z. Shen, On Projectively flat (α, β)-metrics, Can. Math. Bull., 52(1)(2009), 132-144. [13] Q. Xia, On locally dually flat (α, β)-metrics, Differ. Geom. Appl., 29 (2011), 233-243. [14] H. Xing Z. Shen, On Rers Metrics with Isotropic S-Curvature, Acta Math. Sinica, 24(5) (2008), 789-796. [15] C. Yu H. Zhu, On a new class of Finsler metrics, Differ. Geom. Appl. 29(2011), 244-254. [16] L. Shou, Spherically symetric Finsler metrics in R n, Publ.Math.Debrecen. 80 1-2 (4) (2012), 67-77. Benling Li Department of Mathematics Ningbo University Ningbo, Zhejiang Province 315211 P.R. China libenling@nbu.edu.cn Zhongmin Shen Department of Mathematical Sciences Indiana University Purdue University Indianapolis 402 N. Blackford Street Indianapolis, IN 46202-3216, USA zshen@math.iupui.edu 13