Projective Changes between Generalized (α, β)-Metric and Randers Metric

Pradeep Kumar¹, Madhu T. S.², Sharath B. R.³

¹Department of Mathematics, School of Engineering, Presidency University, Bengaluru, India.
²Department of Mathematics, Sri Jagadguru Renukacharya College of Science, Arts and Commerce, Bengaluru, India.
³Department of Mathematics, Vemana Institute of Technology, Bengaluru, India.

DOI: 10.4236/apm.2020.105018                

Abstract

Projective change between two Finsler metrics arises from Information Geom-etry. Such metrics have special geometric properties and will play an important role in Finsler geometry. The purpose of the present paper is to find a relation to characterize the projective change between generalized (α, β) - metric ( μ₁, μ₂ and μ₃ ≠ 0 are constants) and Randers metric , where α and are two Riemannian metrics, β and are 1-forms. Further, we study such projective change when generalized (α, β) -metric F has some curvature property.

Keywords

Finsler Space with (α, β) -Metric, Projective Change, Locally Projectively Flat, Randers Metric

1. Introduction

The concept of projective change between two Finsler spaces has been studied by many geometers [1] - [6]. An interesting result concerned with the theory of projective change was given by Rapscak [7]. He proved necessary and sufficient conditions for projective change. S. Bacso and M. Matsumoto [8] discussed the projective change between Finsler spaces with $\left(\alpha \mathrm{,}\beta \right)$ -metric. H. S. Park and Y. Lee have studied on projective changes between a Finsler space with $\left(\alpha \mathrm{,}\beta \right)$ - metric and the associated Riemannian metric.

In Riemannian geometry, two Riemannian metrics $\alpha$ and $\bar{\alpha }$ on a manifold M are projectively related if and only if their spray coefficients have the relation $G_{\alpha }^i={\bar{G}}_{\bar{\alpha }}^i+P_0{y}^i$, where $P=P\left(x\right)$ is a scalar function on M and $P_0=P_{x^k}{y}^k$. In Finsler geometry, two Finsler metrics F and $\bar{F}$ on a manifold M are called projectively related if $G^i={\bar{G}}^i+P{y}^i$, where $G^i$ and ${\bar{G}}^i$ are the geodesic coefficients of F and $\bar{F}$, respectively and $P=P\left(x\mathrm{,}y\right)$ is a scalar function on the slit tangent bundle $T{M}_0$.

In [9], we introduced the generalized $\left(\alpha \mathrm{,}\beta \right)$ -metric

$F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }\left({\mu }_1\mathrm{,}{\mu }_2\text{and}{\mu }_3\ne 0\text{are}\text{constants}\right)$ (1.1)

where $\alpha$ is a Riemannian metric, $\beta$ is a 1-form.

We know from [4], that two Finsler metrics F and $\bar{F}=\bar{\alpha }+\bar{\beta }$ are projectively related if and only if their spray coefficients have the following relation:

$G^i={\bar{G}}^i+P{y}^i$ (1.2)

where $P\left(y\right)$ is a scalar function on $TM-\left\{0\right\}$ and homogeneous of degree one in y.

Also, from [1] we know that a Finsler metric is called a projectively flat metric if it is projectively related to a Minkowskian metric. From [4], we know that the Randers metric $\bar{F}=\bar{\alpha }+\bar{\beta }$ is projectively flat if and only if $\bar{\alpha }$ is projectively flat and $\bar{\beta }$ is closed.

The purpose of the present paper is to continue the study on the generalized $\left(\alpha \mathrm{,}\beta \right)$ -metric $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ and to investigate the locally projective flatness. Also, the projective change between between generalized $\left(\alpha \mathrm{,}\beta \right)$ -metric $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ and Randers metric $\bar{F}=\bar{\alpha }+\bar{\beta }$, where $\alpha$ and $\bar{\alpha }$ are

two Riemannian metrics, $\beta$ and $\bar{\beta }$ are 1-forms. Further, we characterized such projective change. Precisely, we have the following

Theorem 1.1. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ and $\bar{F}=\bar{\alpha }+\bar{\beta }$ , be two $\left(\alpha \mathrm{,}\beta \right)$ -

metrics, where $\alpha$ and $\bar{\alpha }$ are two Riemannian metrics; $\beta$ and $\bar{\beta }$ are 1- forms. Then F is projectively related to $\bar{F}$ , if and only if the following equations, holds

$G^i=G_{\bar{\alpha }}^i+\theta y^i-\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i$

$b_{i\mathrm{<mo>\; |\; </mo>}j}=\tau \frac{1}{{\mu }_1}\left[\left({\mu }_1+2b^2\right)a_{ij}-3{\mu }_3{b}_i{b}_j\right]$

$d\bar{\beta }=0$

where $b^i=a^{ij}{b}_j;b={\Vert \beta \Vert }_{\alpha }$ and $b_{i\mathrm{<mo>\; |\; </mo>}j}$ are the coefficients of the covariant derivative of $\beta$ with respect to $\alpha$; $\tau =\tau \left(x\right)$ is a scalar function and $\theta ={\theta }_i{y}^i$ is a 1-form on M.

Corollary 1.1. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ and $\bar{F}=\bar{\alpha }+\bar{\beta }$ , be two $\left(\alpha \mathrm{,}\beta \right)$ -

metrics, where $\alpha$ and $\bar{\alpha }$ are two Riemannian metrics; $\beta$ and $\bar{\beta }$ are 1- forms. Then F is projectively flat if the following relation holds:

$G^i=G_{\bar{\alpha }}^i+\theta y^i-\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i$ (1.3)

where $b^i=a^{ij}{b}_j;b={\Vert \beta \Vert }_{\alpha }$ and $b_{i\mathrm{<mo>\; |\; </mo>}j}$ are the coefficients of the covariant derivative of $\beta$ with respect to $\alpha$; $\tau =\tau \left(x\right)$ is a scalar function and $\theta ={\theta }_i{y}^i$ is a 1-form on M.

Theorem 1.2. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ the $\left(\alpha \mathrm{,}\beta \right)$ -metric an

n-dimensional manifold M, with $\alpha$ is a Riemannian metric; $\beta$ is a 1-form. Then F is locally projectively flat if and only if

$\begin{array}{l}2{\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\left[\frac{\partial \beta }{\partial x^k}-\frac{\beta }{\alpha }\frac{\partial \alpha }{\partial x^k}\right]y^k+\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\left(\frac{\partial b_i}{\partial x^k}-\frac{\partial b_k}{\partial x^i}\right)y^k\\ +\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\left[\frac{\partial }{\partial y^i}\left(\frac{\partial \alpha }{\partial x^k}\right)y^k-\frac{\partial \alpha }{\partial x^i}\right]=0.\end{array}$ (1.4)

Finally, we have shown that the generalized $\left(\alpha \mathrm{,}\beta \right)$ -metric satisfy the sign property.

2. Preliminaries

Definition 2.1. [1] Let

$D_{jkl}^i=\frac{{\partial }^3}{\partial y^j\partial y^k\partial y^l}\left(G^i-\frac{1}{n+1}\frac{\partial G^m}{\partial y^m}{y}^i\right)$ (2.1)

where $G^i$ are the spray coefficients of F. The tensor $D=D_{jkl}^i{\partial }_i\otimes d{x}^j\otimes d{x}^k\otimes d{x}^l$ is called the Douglas tensor. If Douglas tensor vanishes then Finsler metric is called Douglas metric.

Some interesting results concerning Douglas metrics are recently obtained in [10] & [11].

The function $\varphi =\varphi \left(s\right)$ is a $C^{\infty }$ positive function on an open interval $\left(-b_0\mathrm{,}{b}_0\right)$ and it satisfies the following condition:

$\varphi \left(s\right)-s{\varphi }^{\prime }\left(s\right)+\left(b^2-s^2\right){\varphi }^{″}\left(s\right)>0,\left|s\right|\le b<b_0.$ (2.2)

Also, F is a Finsler metric if and only if ${\Vert {\beta }_x\Vert }_{\alpha }<b_0$ for any $x\in M$.

In general, the $\left(\alpha \mathrm{,}\beta \right)$ -metrics are defined as follows:

Definition 2.2. [1] For a given Riemannian metric $\alpha =\sqrt{a_{ij}{y}^i{y}^j}$ and one form $\beta =b_i{y}^i$ , satisfying ${\Vert {\beta }_x\Vert }_{\alpha }<b_0$ for $\forall x\in M$ , then: $F=\alpha \varphi \left(s\right)$ , $s=\frac{\beta }{\alpha }$ , is called $\left(\alpha \mathrm{,}\beta \right)$ -metric.

The covariant derivative of $\beta$ with respect to $\alpha$ is $\nabla \beta =b_{i\mathrm{<mo>\; |\; </mo>}j}d{x}^i\otimes d{x}^j$. Also, in [1], the following notations are given:

$r_{ij}=\frac{1}{2}\left(b_{i|j}+b_{j|i}\right);s_{ij}=\frac{1}{2}\left(b_{i|j}-b_{j|i}\right).$ (2.3)

It is clear that $s_{ij}=0$ if and only if $\beta$ is closed. Also, we can take:

$s_j=b^i{s}_{ij};s_j^i=a^{il}{s}_{lj};s_0^i=s_j^i{y}^i;r_{00}=r_{ij}{y}^i{y}^j.$

If we consider the fundamental tensor of Randers space $g_{ij}=\frac{1}{2}\frac{{\partial }^2{F}^2}{\partial y^i\partial y^j}$, then we have the following formulae

$p^i=\frac{1}{\alpha }{y}^i=a_{ij}\frac{\partial \alpha }{\partial y^j};p_i=a_{ij}{p}^j=\frac{\partial \alpha }{\partial y^i};$

$l^i=\frac{1}{L}{y}^i=g_{ij}\frac{\partial L}{\partial y^j};l_i=g^{ij}\frac{\partial L}{\partial y^j}=p_i+b_i;$

$l_i=\frac{1}{L}{p}^i;l^i{l}_j=p^i{p}_i=1;l^i{p}_i=\frac{\alpha }{L};$

$p^i{l}_i=\frac{L}{\alpha };b_i{p}^i=\frac{\beta }{\alpha };b_i{l}^i=\frac{\beta }{L}.$

The geodesic coefficients $G^i$ of F and the geodesic coefficients $G_{\alpha }^i$ of $\alpha$, are related as follows (see [1]):

$G^i=G_{\alpha }^i+\alpha Q{s}_0^i+\left\{-2Q\alpha s_0+r_{00}\right\}\left\{\Psi b^i+\Theta {\alpha }^{-1}{y}^i\right\}$ (2.4)

where

$\begin{array}{l}Q=\frac{{\varphi }^{\prime }}{\varphi -s{\varphi }^{\prime }}\\ \Theta =\frac{\varphi {\varphi }^{\prime }-s\left(\varphi {\varphi }^{\prime }+{\varphi }^{\prime }{\varphi }^{\prime }\right)}{2\varphi \left(\varphi -s{\varphi }^{\prime }+\left(b^2-s^2\right){\varphi }^{″}\right)}\\ \Psi =\frac{{\varphi }^{″}}{2\left(\varphi -s{\varphi }^{\prime }+\left(b^2-s^2\right){\varphi }^{″}\right)}.\end{array}$ (2.5)

In [2] and [4], the condition for an $\left(\alpha \mathrm{,}\beta \right)$ -metric to be locally projectively flat is presented as follows:

Lemma 2.1. A Finsler space $F^n=\left(M\mathrm{,}F\right)$ is locally projectively flat if and only if

$\frac{\partial F}{\partial x^j}-\frac{{\partial }^{2}F}{\partial x^k\partial y^i}{y}^k=0.$ (2.6)

In [12], we have the following condition for an $\left(\alpha \mathrm{,}\beta \right)$ -metric to be a Douglas metric

$\begin{array}{l}\alpha Q\left(s_0^i{y}^j-s_0^j{y}^i\right)+\Psi \left(-2\alpha Q{s}_0+r_{00}\right)\left(b^i{y}^j-b^j{y}^i\right)\\ =\frac{1}{2}\left(G_{kl}^i{y}^j-G_{kl}^j{y}^i\right)y^k{y}^l\end{array}$ (2.7)

where $G_{kl}^i={\Gamma }_{kl}^i-{\gamma }_{kl}^i$ and ${\gamma }_{kl}^i=\frac{{\partial }^2{G}_{\alpha }^i}{\partial y^k\partial y^l}$.

Theorem 2.3. [12] Let $F=\alpha \varphi \left(s\right),s=\frac{\beta }{\alpha }$ be an $\left(\alpha \mathrm{,}\beta \right)$ -metric on an open

subset $U\subset R^n\left(n\ge 3\right)$ , where $\alpha =\sqrt{a_{ij}\left(x\right)y^i{y}^j}$ and one form $\beta =b_i{y}^i\ne 0$ . Let $b={\Vert {\beta }_x\Vert }_{\alpha }$ . Suppose that the following conditions holds

a) $\beta$ is not parallel with respect to $\alpha$;

b) F is not of Randers type;

c) $db\ne 0$ everywhere or $b=constant$ on U. Then F is a Douglas metric on U if and only if the function $\varphi =\varphi \left(s\right)$ satisfies the following ODE

$\left\{1+\left(k_1+k_2{s}^2\right)s^2+k_3{s}^2\right\}{\varphi }^{″}\left(s\right)=\left(k_1+k_2{s}^2\right)\left\{\varphi \left(s\right)-s{\varphi }^{\prime }\left(s\right)\right\}$ (2.8)

and the covariant derivative $\nabla \beta =b_{i\mathrm{<mo>\; |\; </mo>}j}{y}^{i}d{x}^j$ of $\beta$ with respect to $\alpha$ satisfies the following equation

$b_{i\mathrm{<mo>\; |\; </mo>}j}=2\tau \left\{\left(1+k_1{b}^2\right)a_{ij}+\left(k_2{b}^2+k_3\right)b_i{b}_j\right\}$ (2.9)

where $\tau =\tau \left(x\right)$ is a scalar function on U and $k_1\mathrm{,}{k}_2\mathrm{,}{k}_3$ are constants with $\left(k_2\mathrm{,}{k}_3\right)\ne \left(\mathrm{0,0}\right)$.

Remark: The above equation holds good in dimension $n\ge 3$.

3. Main Results

By the Theorem 2.1, we compute the coefficients $b_{i\mathrm{<mo>\; |\; </mo>}j}$ for $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$,

taking into account that $F=\alpha \varphi \left(s\right)$, where $\varphi \left(s\right)={\mu }_1+{\mu }_{2}s+{\mu }_3{s}^2$, using Equation (2.9), we get

$b_{i\mathrm{<mo>\; |\; </mo>}j}=\tau \left[\left(1+\frac{2{\mu }_3}{{\mu }_1}{b}^2\right)a_{ij}-\frac{3{\mu }_3}{{\mu }_1}{b}_i{b}_j\right]\mathrm{.}$ (3.1)

Next, we obtain

$r_{00}=\tau \left[\left(1+\frac{2{\mu }_3}{{\mu }_1}{b}^2\right){\alpha }^2-\frac{3{\mu }_3}{{\mu }_1}{\beta }^2\right]$ (3.2)

Make use of (2.5) for $\varphi \left(s\right)={\mu }_1+{\mu }_{2}s+{\mu }_3{s}^2$, we get

$\begin{array}{l}Q=\frac{2{\mu }_{3}s+{\mu }_2}{{\mu }_1-{\mu }_3{s}^2},\\ \Theta =\frac{{\mu }_1{\mu }_2-s^2\left(4{\mu }_3^{2}s+3{\mu }_2{\mu }_3\right)}{2\left({\mu }_1+{\mu }_{2}s+{\mu }_3{s}^2\right)\left({\mu }_1-3{\mu }_3{s}^2+2{\mu }_3{b}^2\right)},\\ \Psi =\frac{{\mu }_3}{{\mu }_1-3{\mu }_3{s}^2+2{\mu }_3{b}^2}.\end{array}$ (3.3)

Plugging (3.3) in (2.4), we get

$\begin{array}{c}{G}^i=G_{\alpha }^i+\frac{{\alpha }^2\left(2{\mu }_3\beta +{\mu }_2\alpha \right)}{{\mu }_1{\alpha }^2-{\mu }_3{\beta }^2}{s}_0^i+\left\{\frac{-2\alpha \left(2{\mu }_3\beta +{\mu }_2\alpha \right)}{{\mu }_1{\alpha }^2-{\mu }_3{\beta }^2}{s}_0+r_{00}\right\}\\ \times \{\frac{{\mu }_3{\alpha }^2}{{\mu }_1{\alpha }^2-3{\mu }_3{\beta }^2+2{\mu }_3{b}^2{\alpha }^2}{b}^i\\ +\frac{{\mu }_1{\mu }_2{\alpha }^3-4{\mu }_3^2{\beta }^3-3{\mu }_2{\mu }_3\alpha {\beta }^2}{\left(2{\mu }_1{\alpha }^2+2{\mu }_2\alpha \beta +2{\mu }_3{\beta }^2\right)\left({\mu }_1{\alpha }^2-3{\mu }_3{\beta }^2+2{\mu }_3{b}^2{\alpha }^2\right)}{y}^i\}\mathrm{,}\end{array}$ (3.4)

where $r_{00}$ is given in (3.2).

Now, we can formulate the first result:

Remark. The $\left(\alpha \mathrm{,}\beta \right)$ -metric $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ is a Douglas metric with respect to Theorem 2.1, if and only if (3.1) is of the form

$b_{i\mathrm{<mo>\; |\; </mo>}j}=\tau \left[\left(1+\frac{2{\mu }_3}{{\mu }_1}{b}^2\right)a_{ij}-\frac{3{\mu }_3}{{\mu }_1}{b}_i{b}_j\right]\mathrm{.}$

for some scalar function $\tau =\tau \left(x\right)$, where $b_{i\mathrm{<mo>\; |\; </mo>}j}$ represents the coefficients of the covariant derivative $\beta =b_i{y}^i$ with respect to $\alpha$. In this case $\beta$ is closed.

If $\beta$ is closed, then $s_{ij}=0\Rightarrow b_{i\mathrm{<mo>\; |\; </mo>}j}=b_{j\mathrm{<mo>\; |\; </mo>}i}$ and $s_0^i=\mathrm{0\; <mo>\; :\; </mo>}{s}_0=0$.

Replace (3.2) in (3.4), we get:

$G^i=G_{\alpha }^i-\tau \left[\frac{-{\mu }_1{\mu }_2{\alpha }^3+4{\mu }_3^2{\beta }^3-3{\mu }_2{\mu }_3\alpha {\beta }^2}{{\mu }_1\left(2{\mu }_1{\alpha }^2+2{\mu }_2\alpha \beta +2{\mu }_3{\beta }^2\right)}\right]y^i+\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i.$ (3.5)

We consider a scalar function $P=P\left(y\right)$ on $TM-\left\{0\right\}$, i.e.,

$G^i=G_{\bar{\alpha }}^i+P{y}^i.$ (3.6)

From (3.5) and (3.6), we get

$P+\tau \left[\frac{-{\mu }_1{\mu }_2{\alpha }^3+4{\mu }_3^2{\beta }^3-3{\mu }_2{\mu }_3\alpha {\beta }^2}{{\mu }_1\left(2{\mu }_1{\alpha }^2+2{\mu }_2\alpha \beta +2{\mu }_3{\beta }^2\right)}\right]y^i=G_{\alpha }^i-G_{\bar{\alpha }}^i+\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i.$ (3.7)

Since RHS of above equation is in quadratic form, thus there must be a 1-form $\theta ={\theta }_i{y}^i$, such that

$P+\tau \left[\frac{-{\mu }_1{\mu }_2{\alpha }^3+4{\mu }_3^2{\beta }^3-3{\mu }_2{\mu }_3\alpha {\beta }^2}{{\mu }_1\left(2{\mu }_1{\alpha }^2+2{\mu }_2\alpha \beta +2{\mu }_3{\beta }^2\right)}\right]=\theta$

Then, we get

$G^i=G_{\bar{\alpha }}^i+\theta y^i-\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i\mathrm{.}$ (3.8)

Using (3.1) and (3.8) and also the above remark, we can conclude the following result

Theorem 3.4. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ and $\bar{F}=\bar{\alpha }+\bar{\beta }$ , be two $\left(\alpha \mathrm{,}\beta \right)$ -

metrics, where $\alpha$ and $\bar{\alpha }$ are two Riemannian metrics; $\beta$ and $\bar{\beta }$ are 1- forms. Then F is projectively related to $\bar{F}$ , if and only if the following equations, holds

$G^i=G_{\bar{\alpha }}^i+\theta y^i-\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i$

$b_{i\mathrm{<mo>\; |\; </mo>}j}=\tau \frac{1}{{\mu }_1}\left[\left({\mu }_1+2b^2\right)a_{ij}-3{\mu }_3{b}_i{b}_j\right]$

$d\bar{\beta }=0$

where $b^i=a^{ij}{b}_j;b={\Vert \beta \Vert }_{\alpha }$ and $b_{i\mathrm{<mo>\; |\; </mo>}j}$ are the coefficients of the covariant derivative of $\beta$ with respect to $\alpha$; $\tau =\tau \left(x\right)$ is a scalar function and $\theta ={\theta }_i{y}^i$ is a 1-form on M.

The proof is obtained using (3.1) and (3.8). Also, we can now formulate the following corollary:

Corollary 3.2. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ and $\bar{F}=\bar{\alpha }+\bar{\beta }$ , be two $\left(\alpha \mathrm{,}\beta \right)$ -

metrics, where $\alpha$ and $\bar{\alpha }$ are two Riemannian metrics; $\beta$ and $\bar{\beta }$ are 1- forms. Then F is projectively flat if the following relation holds:

$G^i=G_{\bar{\alpha }}^i+\theta y^i-\tau \frac{{\mu }_3{\alpha }^2}{{\mu }_1}{b}^i$ (3.9)

where $b^i=a^{ij}{b}_j\mathrm{<mo>\; ;\; </mo>}b={\Vert \beta \Vert }_{\alpha }$ and $b_{i\mathrm{<mo>\; |\; </mo>}j}$ are the coefficients of the covariant derivative of $\beta$ with respect to $\alpha$; $\tau =\tau \left(x\right)$ is a scalar function and $\theta ={\theta }_i{y}^i$ is a 1-form on M.

Theorem 3.5. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ the $\left(\alpha \mathrm{,}\beta \right)$ -metric an

n-dimensional manifold M, with $\alpha$ is a Riemannian metric; $\beta$ is a 1-form. Then F is locally projectively flat if and only if

$\begin{array}{l}2{\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\left[\frac{\partial \beta }{\partial x^k}-\frac{\beta }{\alpha }\frac{\partial \alpha }{\partial x^k}\right]y^k+\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\left(\frac{\partial b_i}{\partial x^k}-\frac{\partial b_k}{\partial x^i}\right)y^k\\ +\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\left[\frac{\partial }{\partial y^i}\left(\frac{\partial \alpha }{\partial x^k}\right)y^k-\frac{\partial \alpha }{\partial x^i}\right]=0.\end{array}$ (3.10)

Proof: We apply lemma 1.1, using

$\frac{\partial F}{\partial x^j}-\frac{{\partial }^{2}F}{\partial x^k\partial y^i}{y}^k=0.$

First, we compute

$\frac{\partial F}{\partial x^k}=\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\frac{\partial \beta }{\partial x^k}+\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\frac{\partial \alpha }{\partial x^k}\mathrm{.}$ (3.11)

Then, we obtain

$\begin{array}{c}\frac{\partial }{\partial y^i}\left(\frac{\partial F}{\partial x^k}\right)y^k=2{\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\frac{\partial \beta }{\partial x^k}{y}^k+\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\frac{\partial b^i}{\partial x^k}{y}^k\\ -2{\mu }_3\left(\frac{\beta }{\alpha }\right)\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\frac{\partial \alpha }{\partial x^k}{y}^k+\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\frac{\partial }{\partial y^i}\left(\frac{\partial \alpha }{\partial x^k}\right)y^k\mathrm{.}\end{array}$ (3.12)

From (3.11), replacing k and i and substituting $\beta =b_k\left(x\right)y^k$, we get

$\frac{\partial F}{\partial x^i}=\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\frac{\partial b_k}{\partial x^i}{y}^k+\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\frac{\partial \alpha }{\partial x^i}\mathrm{.}$ (3.13)

Finally, substituting (3.12) and (3.13) in (2.6), we obtain

$\begin{array}{l}2{\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\frac{\partial \beta }{\partial x^k}{y}^k+\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\frac{\partial b_i}{\partial x^k}{y}^k-2{\mu }_3\left(\frac{\beta }{\alpha }\right)\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\frac{\partial \alpha }{\partial x^k}{y}^k\\ +\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\frac{\partial }{\partial y^i}\left(\frac{\partial \alpha }{\partial x^k}\right)y^k-\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\frac{\partial b_k}{\partial x^i}{y}^k-\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\frac{\partial \alpha }{\partial x^i}=0.\end{array}$ (3.14)

Thus

$\begin{array}{l}2{\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\left[\frac{\partial \beta }{\partial x^k}-\frac{\beta }{\alpha }\frac{\partial \alpha }{\partial x^k}\right]y^k+\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\left(\frac{\partial b_i}{\partial x^k}-\frac{\partial b_k}{\partial x^i}\right)y^k\\ +\left({\mu }_1-{\mu }_3\frac{{\beta }^2}{{\alpha }^2}\right)\left[\frac{\partial }{\partial y^i}\left(\frac{\partial \alpha }{\partial x^k}\right)y^k-\frac{\partial \alpha }{\partial x^i}\right]=0\end{array}$

This completes the proof of necessity. The converse part follow easily.

Theorem 3.6. Let $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ the $\left(\alpha \mathrm{,}\beta \right)$ -metric given by (1.1), be locally projectively flat. Assume that $\alpha$ is locally projectively flat. Then

${\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\left(P-Q\right)=\frac{1}{2}\left(\frac{{\mu }_2}{2\beta }+\frac{{\mu }_3}{\alpha }\right)\left[\frac{\partial b_i}{\partial x^k}-\frac{\partial b_k}{\partial x^i}\right]y^k\mathrm{.}$ (3.15)

where $P=\frac{1}{2\alpha }\frac{\partial \alpha }{\partial x^k}{y}^k;Q=\frac{1}{2\beta }\frac{\partial \beta }{\partial x^k}{y}^k$

Since $\alpha$ is locally projectively flat and from (2.6), we get

$\frac{\partial }{\partial y^i}\left(\frac{\partial \alpha }{\partial x^k}\right)y^k-\frac{\partial \alpha }{\partial x^i}=0.$ (3.16)

From (3.10) and (3.16), we get

$2{\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\left[\frac{\partial \beta }{\partial x^k}-\frac{\beta }{\alpha }\frac{\partial \alpha }{\partial x^k}\right]y^k=-\left({\mu }_2+2{\mu }_3\frac{\beta }{\alpha }\right)\left(\frac{\partial b_i}{\partial x^k}-\frac{\partial b_k}{\partial x^i}\right)y^k$ (3.17)

Use definitions of P and Q and dividing with $2\beta$ in (3.17), we get

${\mu }_3\frac{\partial }{\partial y^i}\left(\frac{\beta }{\alpha }\right)\left(P-Q\right)=\frac{1}{2}\left(\frac{{\mu }_2}{2\beta }+\frac{{\mu }_3}{\alpha }\right)\left[\frac{\partial b_i}{\partial x^k}-\frac{\partial b_k}{\partial x^i}\right]y^k\mathrm{.}$

Hence the proof.

From [13], we have the following:

Definition 3.3. We say that an $\left(\alpha \mathrm{,}\beta \right)$ -metric $F=\alpha \varphi \left(\frac{\beta }{\alpha }\right)$ on a manifold M, satisfy the sign property, if the function

$A_{\varphi }\left(s\right)={\varphi }^{\prime }\left(-s\right)\varphi \left(s\right)+\varphi \left(-s\right){\varphi }^{\prime }(\; s\; )$

has a fix sign on a symmetric interval $\left(-b_0\mathrm{,}{b}_0\right)$. Here, with s is denoted $s=\frac{\beta }{\alpha }$.

Let us consider the metric (1.1), $F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$, with $\varphi \left(s\right)={\mu }_1+{\mu }_{2}s+{\mu }_3{s}^2$.

In this case, we have:

$A_{\varphi }\left(s\right)={\varphi }^{\prime }\left(-s\right)\varphi \left(s\right)+\varphi \left(-s\right){\varphi }^{\prime }\left(s\right)=2{\mu }_1{\mu }_2-2{\mu }_2{\mu }_3{s}^2\mathrm{.}$

We conclude that, for $s\in \left(-\sqrt{a}\mathrm{,}\sqrt{a}\right)$, $A_{\varphi }\left(s\right)$ has a fix sign.

Thus metric (1.1) satisfy the sign property.

4. Conclusion

In this paper, we have obtained some important results concerning the projective change and locally projective flatness of the generalized $\left(\alpha \mathrm{,}\beta \right)$ -metric

$F={\mu }_1\alpha +{\mu }_2\beta +{\mu }_3\frac{{\beta }^2}{\alpha }$ ( ${\mu }_1$, and are constants). Further, we have

shown that the generalized -metric satisfy the sign property.

Acknowledgements

The authors express their sincere thanks to the reviewer for his valuable comments that greatly improved the manuscript.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Cui, N. and Shen, Y.B. (2009) Projective Change between Two Classes of (α, β) -Metrics. Differential Geometry and Its Applications, 27, 566-573. https://doi.org/10.1016/j.difgeo.2009.03.003
[2]	Jiang, J. and Cheng, X. (2012) Projective Changes between Two Important Classes of (α, β) -Metrics. Advances in Mathematics, 41, 732-740.
[3]	Park, H. and Lee, Y. (1998) Projective Changes between a Finsler Space with (α, β) -Metric and Associated Riemannian Space. Tensor, 60, 327-331.
[4]	Shen, Z. (2009) On Projectively Flat (α, β) -Metrics. Canadian Mathematical Bulletin, 52, 132-144. https://doi.org/10.4153/CMB-2009-016-2
[5]	Narasimhamurthy, S.K. and Vasantha, D.M. (2012) Projective Change between Randers Metric and Special (α, β) -Metrics. Journal of Informatics and Mathematical Sciences, 4, 293-303.
[6]	Kumar, P., Narasimhamurthy, S.K., Ramesha, M. and Madhu, T.S. (2019) On Projective Relation of Two Subclasses of (α, β) -Metrics. Global Journal of Engineering Science and Researches, 6, 223-231.
[7]	Rapscak, A. (1961) Uber die bahntreuen Abbildungen metrisher Raume. Publicationes Mathematicae Debrecen, 8, 285-290.
[8]	Bacso, S. and Matsumoto, M. (1994) Projective Change between Finsler Spaces with (α, β) -Metric. Tensor N. S., 55, 252-257.
[9]	Kumar, P., Madhu, T.S. and Chandru, K. (2019) Einstein Finslerian Space with Special (α, β) -Metric. Journal of Computer and Mathematical Sciences, 10, 392-398. https://doi.org/10.29055/jcms/1019
[10]	Basco, S. and Matsumoto, M. (1997) On Finsler Space of Douglas Type. A Generalization of the Notion of Berwald Space. Publicationes Mathematicae Debrecen, 51, 385-406.
[11]	Tayebi, A. and Sadeghi, H. (2015) On Generalized Douglas-Weyl (α, β) -Metrics. Acta Mathematica Sinica, English Series, 31, 1611-1620. https://doi.org/10.1007/s10114-015-3418-2
[12]	Benling, L. (2009) On a Class of Douglas Metrics in Finsler Geometry. Studia Scientiarum Mathematicarum Hungarica, 46, 355-365. https://doi.org/10.1556/SScMath.2009.1096
[13]	Tayebi, A. and Barzegari, M. (2016) Generalized Berwald Spaces with (α, β) -Metrics. Indagationes Mathematicae, 27, 670-683.