arxiv: v1 [math.dg] 27 Nov 2007

Transcription

1 Finsleroid-regular space developed. Berwald case G.S. Asanov arxiv: v1 math.dg] 27 Nov 2007 Division of Theoretical Physics, Moscow State University Moscow, Russia (

2 Abstract The Finsleroid Finsler space becomes regular when the norm b = c of the input 1-form b is taken to be an arbitrary positive scalar c(x) < 1. By performing required direct evaluations, the respective spray coefficients have been obtained in a simple transparent form. The adequate continuation into the regular pseudo-finsleroid domain has been indicated. The Finsleroid-regular Berwald space is found under the assumptions that the Finsleroid charge is a constant the 1-form b is parallel. Keywords: Finsler metrics, spray coefficients, curvature tensors.

3 1 1. Description of new conclusions In the Finsleroid-Finsler space FFg PD (as well in its relativistic counterpart space FFg SR ) constructed studied in the previous papers1-4] the consideration was referred everywhere to the case b = 1, that is, the vector field b i (x) involved in the 1-form b = b i (x)y i was assumed to be of unit length. In the present paper, we exp the restrictive case to get the possibility b < 1. Namely, we shall deal with the Finsler space notion specified by the condition that the Finslerian metric function K(x, y) be of the functional dependence ( ) K(x,y) = Φ g(x),b i (x),a ij (x),y (1.1) subject to the conditions a ij (x)b i (x)b j (x) = c 2 (x) (1.2) 0 < c(x) < 1. (1.3) In (1.1), a ij (x) is a Riemannian metric tensor g(x) plays the role of the Finsleroid charge. The explicit form of the Φ is specified by the representations written out explicitly in Appendix A in the positive-definite case, in Appendix B in the relativistic case, respectively we obtain the spaces FR PD g;c FR SR g;c. They fulfill the correspondence FR PD g;c=1 = FF PD g (1.4) The Riemannian squared metric function FR SR g;c=1 = FFSR g. (1.5) S 2 = b 2 +q 2 (1.6) underlines the positive-definite Finsler space FR PD g;c under study, the pseudo- Riemannian S 2 = b 2 q 2 is to relate to the space FR SR This scalar c(x) proves to play the role of the regularization factor. Indeed, in the space FR PD g;c the metric function K is constructed in accordance with the formulas (A.19)-(A.23) which involve the square-root variable q(x,y) = S 2 b 2 (see (1.6)). Differentiating various tensors of the space FR PD g;c gives rise, therefore, to appearance of degrees of the fraction 1/q. Because of the inequality (A.5), the fractions 1/q do not produce any singularities as far as c < 1. If, however, c = 1, we have q(x,y) = 0 when the vector y T x M is a factor of the vector b i (x), so that in the space FFg PD the singularities can appear when the vector y belongs to the Finsleroid axis. In contrast, in the space FR PD g;c which uses c 1 the variable q does not vanish anywhere over all the slit tangent bundle TM \0, we obtain the function Φ which is smooth of the class C. We use REGULARITY DEFINITION. The Finsler space under study is regular in the following sense: over all the slit tangent bundle TM \0, the Finsler metric function K(x,y) of the space is smooth of the class C the entailed Finsler metric tensor g ij (x,y) is positive-definite: det(g ij ) > 0. g;c.

4 2 Attentive direct calculations of the induced spray coefficients G i = γ i nmy n y m, where γ i nm denote the associated Finslerian Christoffel symbols, can be used to arrive at the following result. THEOREM 1. In the Finsleroid-regular space FR PD g;c the spray coefficients G i can explicitly be written in the form G i = g ) (y j y h j b h +gqb j f j v i gqf i +E i +a i nmy n y m. (1.7) ν We use the notation v i = y i bb i (1.8) f j = f jn y n, f i = f i ny n, f i n = a ik f kn, f mn = m b n n b m b n x b m m xn, (1.9) where means the covariant derivative in terms of the associated Riemannian space R N = (M,S) (see (A.83)); a i nm sts for the Riemannian Christoffel symbols (A.84) constructed from the input Riemannian metric tensor a ij (x); the coefficients E i involving the gradients g h = g/ x h of the Finsleroid charge can be taken as E i = M(yg)y i +K 2b2 w 2 gb (yg)xai 1 2 MK2 g h g ih, (1.10) where(yg) = g h y h ; X isthefunctiongivenin(a.67); w isthevariable(a.38); thefunction M entered (1.10) is defined by K/ g = (1/2)MK. The difference G i E i a i nmy n y m involves the crucial terms linear in the covariant derivative j b h. Also, the following theorem is valid. THEOREM 2. In the Finsleroid-regular space FR PD g;c the equality G i = a i nmy n y m (1.11) holds if only if g = const m b n = 0. (1.12) When the equality (1.11) holds, one says that the Finsler space is the Berwald space (see5]). The above theorem yields a simple attractive example of the regular Berwald space. The sufficiency of the conditions (1.12) is obvious from the representation (1.7). To verify the necessity, it is worth noting that in the Berwald case the covariant derivative of the Cartan tensor A ijk vanishes identically (see 5,6]), in which case the representations (A.71) (A.72) just entail g = const, which in turn yields E i = 0. With this observation, it is easy to see that the representation (1.7) reduces to (1.11) if only m b n = 0, as far as the Finsleroid charge g is kept differing from zero (the choice g = 0 would reduce the Finsleroid-Finsler space to a Riemannian space).

5 3 Appendix A: Distinguished FR PD g;c -notions Let M be an N-dimensional C differentiable manifold, T x M denote the tangent space to M at a point x M, y T x M\0 mean tangent vectors. Suppose we are given on M a Riemannian metric S = S(x,y). Denote by R N = (M,S) the obtained N-dimensional Riemannian space. Let us also assume that the manifold M admits a non vanishing 1-form b = b(x, y), denote by c = b Riemannian (A.1) the respective Riemannian norm value. Assuming 0 < c < 1, (A.2) we get S 2 b 2 > 0 may conveniently use the variable q := S 2 b 2. (A.3) (A.4) Obviously, the inequality q 2 1 c2 b 2 (A.5) c 2 is valid. With respect to natural local coordinates in the space R N we have the local representations a ij b i b j = c 2 (A.6) b = b i (x)y i, S = a ij (x)y i y j. (A.7) The reciprocity a in a nj = δ i j is assumed, where δ i j sts for the Kronecker symbol. The covariant index of the vector b i will be raised by means of the Riemannian rule b i = a ij b j, which inverse reads b i = a ij b j. We also introduce the tensor r ij (x) := a ij (x) b i (x)b j (x) (A.8) to have the representation The equalities q = r ij (x)y i y j. (A.9) r ij b j = (1 c 2 )b i, r in r nj = r j i (1 c 2 )b j b i (A.10) hold. We introduce on the background manifold M a scalar field g = g(x) subject to ranging 2 < g(x) < 2, (A.11) apply the convenient notation h(x) = (g(x))2, G(x) = g(x) h(x) (A.12)

6 4 (compare with (2.10) in 3]). The Finsleroid-regular space is underlined by the characteristic quadratic form B(x,y) := b 2 +gqb+q 2 1 ] (b+g + q) 2 +(b+g q) 2 (A.13) 2 (cf. (2.11) in 3]), where g + = 1 2 g+h g = 1 2 g h, the discriminant D {B} of the quadratic form B is negative: D {B} = 4h 2 < 0. (A.14) Therefore, the quadratic form B is positively definite. In the limit g 0, the definition (A.13) degenerates to the quadratic form of the input Riemannian metric tensor: B g=0 = b 2 +q 2 S 2. (A.15) Also, ηb y i =b i = c2, (A.16) where η = 1 1+gc 1 c 2. On the definition range (A.11) of the g, we have η > 0. (A.17) (A.18) Under these conditions, we introduce the following definition. DEFINITION. The scalar function K(x, y) given by the formulas K(x,y) = B(x,y)J(x,y) J(x,y) = e 1 2 G(x)f(x,y), (A.19) (A.20) where f = arctan G 2 +arctan L, if b 0, (A.21) hb f = π arctan G 2 +arctan L, if b 0, (A.22) hb with L = q + g 2 b, (A.23) is called the Finsleroid-regular metric function. The function (A.23) obeys the identity L 2 +h 2 b 2 = B. (A.24) DEFINITION. The arisen space FR PD g;c := {R N; b i (x); g(x); K(x,y)} (A.25)

7 5 is called the Finsleroid-regular space. DEFINITION. The space R N entering the above definition is called the associated Riemannian space. The associated Riemannian metric tensor a ij has the meaning a ij = g ij g=0. (A.26) DEFINITION. Within any tangent space T x M, the Finsleroid-regular metric function K(x, y) produces the regular Finsleroid FR PD g;c{x} := {y FR PD g;c{x} : y T x M,K(x,y) 1}. (A.27) DEFINITION. The regular Finsleroid Indicatrix IR PD g;c{x} T xm is the boundary of the regular Finsleroid, that is, IR PD g;c{x} := {y IR PD g;c{x} : y T x M,K(x,y) = 1}. (A.28) Definition. The scalar g(x) is called the Finsleroid charge. The 1-form b = b i (x)y i is called the Finsleroid axis 1-form. We shall meet the function ν := q +(1 c 2 )gb (A.29) for which ν > 0 when g < 2. (A.30) Indeed, if gb > 0, then the right-h part of (A.29) is positive. When gb < 0, we may note that at any fixed c b the minimal value of q equals 1 c 2 b /c (see (A.5)), arriving again at (A.30). The identities c 2 S 2 b 2 qν = 1 (1 c 2 ) B qν, gb(c2 S 2 b 2 ) = qb νs 2 (A.31) are valid. In evaluations it is convenient to use the variables u i := a ij y j, v i := y i bb i, v m := u m bb m = r mn y n a mn v n. (A.32) We have r ij = v i y j, (A.33) u i v i = v i y i = q 2, v i b i = v i b i = (1 c 2 )b, (A.34) r in v n = v i (1 c 2 )bb i, v k v k = q 2 (1 c 2 )b 2, (A.35)

8 6 b y i = b i, q y i = v i q. (A.36) Under these conditions, we are to explicitly extract from the function K the distinguished Finslerian tensors, first of all the covariant tangent vector ŷ = {y i }, the Finslerian metric tensor {g ij } together with the contravariant tensor {g ij } defined by the reciprocity conditions g ij g jk = δ k i, the angular metric tensor {h ij }, by making use of the following conventional Finslerian rules in succession: y i := 1 K 2 2 y, g i ij := K 2 y i y j = y i y j, h ij := g ij y i y j 1 K 2. (A.37) To this end it is convenient to use the variable w = q b, (A.38) obtaining w y i = z i b 2 q, z i = bv i q 2 b i bu i S 2 b i, (A.39) y i z i = 0, b i z i = b 2 c 2 S 2, We also introduce the η tensors given by a ij z i z j = S 2 (c 2 S 2 b 2 ). η ij := r ij 1 q 2v iv j, η i j := r i j 1 q 2vi v j, η ij := r ij 1 q 2vi v j, (A.40) which obey the identities η n j = a nm η mj, η ij = a in η j n, (A.41) η ni y i = 0, (A.42) ( ) 1 q v k y j η ij b j = (1 c 2 ) 1 q 2z i, = 1 q η kj, η ij z j = (1 c 2 ) S2 q 2z i, z i y k = bη ik + 1 q 2v kz i + 1 b (b kz i z k b i ). Using the generating metric function V(x, w) defined from the representation (A.43) (A.44) K = bv(x,w), (A.45) we obtain K y i = b i V + 1 bq z iv, 2 K y i y = 1 j q η ijv + 1 b 3 q 2z iz j V, (A.46)

9 7 where V = V w, V = 2 V w 2. Taking into account the explicit derivatives of the function V: VV = w K2 B, (use (A.19)-(A.23)), we find the representations y i = VV = b2 K 2 B B (Bb i +z i ) K 2 bb, (A.47) (A.48) (A.49) g ij = K2 B η ij + K2 b 2 b ib j + K2 b 2 B (b iz j +b j z i )+ B gbq b 2 q 2 K 2 B 2z iz j, (A.50) which entail g ij = g ij = a ij + g B a ij + g ( B h ij = K2 B y i = ( η ij + 1 ) Bq 2z iz j, (A.51) (v i +(b+gq)b i ) K 2 B, q(b+gq)b i b j +q(b i v j +b j v i ) b v iv j q ( bqb i b j q(b i v j +b j v i )+(b+gc 2 q) vi v j The determinant of the metric tensor is everywhere positive: ν ) ] K 2 B, ) ] B K 2. (A.52) (A.53) (A.54) ( ) K 2 N det(a ij) > 0 (A.55) det(g ij ) = ν q B with the function ν given by (A.29). In terms of the set {b i,u i = a ij y j }, we obtain the alternative representations g ij = together with h ij = y i = (u i +gqb i ) K2 B, a ij + g ((gq 2 bs2 B q )b ib j b ) ] q u iu j + S2 q (b K 2 iu j +b j u i ) B, g ij = a ij + g ν (bbi b j b i y j b j y i )+ g ] B Bν (b+gc2 q)y i y j K 2, a ij + 1 ( ) ] gbs 2 b i b j (q +gb)u i u j +gb 2 K 2 (b i u j +b j u i ) qb B, (A.56) (A.57) (A.58) (A.59)

10 8 which entails h ij b j = νz i K 2 Bq B, gij z i z j = q ν (c2 S 2 b 2 ) B2 K 2 (A.60) g ij b j = 1 K 2 S 2 b i g ν (c2 S 2 b 2 )v i ]. (A.61) or Given any vector t j, we have ] g ij t j = Ba ij t j + g (B(bb i b j b i y j b j y i )+(b+gc 2 q)y i y )t j 1 j ν K 2, Also, ] g ij t j = Ba ij t j gq(yt)b i + g ( ) B(bt)+(b+gc 2 q)(yt) v i 1 ν K 2. b+gc 2 q = 1 B (B qν), b v k = q2 K 2y k + b+gq B z k, y k = 2B K 2y k + g q z k, g ij u j = 1 (By i gq S 2 b i g ] ) K 2 ν (c2 S 2 b 2 )v i, g ij v j = 1 (By i (b+gq) S 2 b i g ] ) K 2 ν (c2 S 2 b 2 )v i. Using the function X given by (A.62) (A.63) (A.64) (A.65) (A.66) 1 X = N + (1 c2 )B, (A.67) qν we can evaluate the Cartan tensor A ijk := K 2 g ij y k (A.68) the contraction From (A.55) it follows that which entails A i := g jk A ijk = K ln( det(g mn ) ) A i = Kg 1 2qBX (q2 b i bv i ), A i A i = g2 4 y i. (A.69) (A.70) ( 1 N +1 1 ). (A.71) X 2 X

11 9 Also, we find A ijk = X A i h jk +A j h ik +A k h ij ( N +1 1 ) ] 1 X A h A ha ia j A k. (A.72) The equalities A i = g ] Bb i (b+gqc 2 )y i, (A.73) 2XKν are valid. so that If we use the vector b i A i = g 2XKν (c2 S 2 b 2 ), v i = q2 K 2y i q(b+gq) 2X Kg A i e i := b i + bv i q 2, y i e i = 0, we can readily convert the representation (A.72) to the form B 2 K 3A ijk = 1 2 gq(e kη ij +e i η kj +e j η ik ) gq3 B e ie j e k. In various processes of evaluations, it is useful to apply the formulas (A.74) (A.75) (A.76) (A.77) Kb n = bl n + 2q g XA n, K 1 q v n = ql n B q2 b 2 g XA n, (A.78) together with B y k = 2B K 2y k 2B K XA k, ( ) K q = 2 y n gbq 2(B q2 )XA n, ( ) q 2 B y k = 2q(2b+gq) gkb XA k. (A.79) (A.80) The formula (A.67) can also be represented in the form 1 X = N + 1 c2 1+gw+w 2 w w +(1 c 2 )g. (A.81) Simple straightforward calculation yields (XA k ) y n = 1 K l kxa n g 2Kw h kn + 2 gkq (b+gq)x2 A k A n. (A.82)

12 10 We use the Riemannian covariant derivative where i b j := i b j b k a k ij, a k ij := 1 2 akn ( j a ni + i a nj n a ji ) (A.83) (A.84) are the Christoffel symbols given rise to by the associated Riemannian metric S. Appendix B: Indefinite FR SR g;c -space The positive definite FR PD g;c space described possesses the indefinite (relativistic) version, to be denoted as the FR SR g;c space (with the upperscripts SR meaning special relativistic ). The underlined space R N = {M,a mn } is now taken to be pseudo- Riemannian, such that the input metric tensor {a mn (x)} is to be pseudo Riemannian with the time space signature: sign(a mn ) = (+...). (B.1) The definition range 2 < g(x) < 2 the representation h = 1 (1/4)g 2 applicable in the positive-definite case (see (A.11) (A.12)) transform now according to < g(x) <, h(x) = (g(x))2, G(x) = g(x) h(x) (such a phenomenon was explained in 3]). The pseudo Finsleroid-regular characteristic quadratic form B(x,y) := b 2 gqb q 2 (b+g + q)(b+g q) (B.2) is now of the positive discriminant D {B} = 4h 2 > 0 (B.3) (compare these formulas with (A.13) (A.14)). In terms of these concepts, we propose DEFINITION. The scalar function F(x, y) given by the formula F(x,y) := B(x,y) J(x,y) b+g q G +/2 b+g + q G /2, (B.4) where J(x,y) = b+g q b+g + q G/4, (B.5) is called the pseudo-finsleroid-regular metric function. It is convenient to use the quantities g + = 1 2 g +h, g = 1 g h, (B.6) 2 G + = g + h 1 2 G+1, G = g h 1 2 G 1. (B.7) Again, the zero vector y = 0 is excluded from consideration: y 0. The positive (not absolute) homogeneity holds: F(x,λy) = λf(x,y), λ > 0, x, y. (B.8)

13 11 The function L(x,y) = q g 2 b (B.9) is now to be used instead of (A.23), so that (A.24) changes to read L 2 h 2 b 2 = B. (B.10) Similarly to (A.25), we introduce DEFINITION. The arisen space FR SR g;c := {R N; b i (x); g(x); F(x,y)} (B.11) is called the pseudo Finsleroid-regular space. DEFINITION. The space R N = (M, S) entering theabove definition (B.11) is called the associated pseudo Riemannian space. DEFINITION. The scalar g(x) is called the pseudo Finsleroid charge. The 1-form b is called the pseudo Finsleroid axis 1-form. The equality a ij (x) = g ij (x,y) g=0 (B.12) (cf. (A.26)) is applicable to the pseudo Finsleroid case. One can observe the phenomenon that the representations of the components y i, g ij, g ij, A i, A ijk in the FR SR g;c space are directly obtainable from the positive definite case representations (written in the preceding Appendix A) through the formal change: g PD SR = ig (B.13) q PD SR = iq, (B.14) where i sts for the imaginary unity. Therefore, we may apply the rules g q PD SR = g PD SR, gq = gq. (B.15) q It is the useful exercise to verify that if we apply these rules to the expression (B.4) of the relativistic function F, we obtain the positive definite case function K defined by (A.19). REFERENCES 1] G.S. Asanov: Finsleroid Finsler space with Berwald Lsberg conditions, arxiv:math.dg/ (2006). 2] G.S. Asanov: Finsleroid Finsler space spray coefficients, arxiv:math.dg/ (2006). 3] G.S. Asanov: Finsleroid Finsler spaces of positive definite relativistic types. Rep. Math. Phys. 58 (2006), ] G. S. Asanov: Finsleroid Finsler space geodesic spray coefficients, Publ. Math. Debrecen 71/3-4 (2007), ] D. Bao, S.S. Chern, Z. Shen: An Introduction to Riemann-Finsler Geometry, Springer, N.Y., Berlin ] H. Rund: The Differential Geometry of Finsler Spaces, Springer, Berlin 1959.