Loading menu…

Fractional Order Riemann Curvature Tensor in Differential Geometry

Send Message

To: Author

Fractional Order Riemann Curvature Tensor in  Differential Geometry

Article Fingerprint

ReserarchID

Z5W69

Fractional Order Riemann Curvature Tensor in  Differential Geometry Banner

Key Research Insights

Synthesized scholarly intelligence & interactive research assistant
  • English
  • Afrikaans
  • Albanian
  • Amharic
  • Arabic
  • Armenian
  • Azerbaijani
  • Basque
  • Belarusian
  • Bengali
  • Bosnian
  • Bulgarian
  • Catalan
  • Cebuano
  • Chichewa
  • Chinese (Simplified)
  • Chinese (Traditional)
  • Corsican
  • Croatian
  • Czech
  • Danish
  • Dutch
  • Esperanto
  • Estonian
  • Filipino
  • Finnish
  • French
  • Frisian
  • Galician
  • Georgian
  • German
  • Greek
  • Gujarati
  • Haitian Creole
  • Hausa
  • Hawaiian
  • Hebrew
  • Hindi
  • Hmong
  • Hungarian
  • Icelandic
  • Igbo
  • Indonesian
  • Irish
  • Italian
  • Japanese
  • Javanese
  • Kannada
  • Kazakh
  • Khmer
  • Korean
  • Kurdish (Kurmanji)
  • Kyrgyz
  • Lao
  • Latin
  • Latvian
  • Lithuanian
  • Luxembourgish
  • Macedonian
  • Malagasy
  • Malay
  • Malayalam
  • Maltese
  • Maori
  • Marathi
  • Mongolian
  • Myanmar (Burmese)
  • Nepali
  • Norwegian
  • Pashto
  • Persian
  • Polish
  • Portuguese
  • Punjabi
  • Romanian
  • Russian
  • Samoan
  • Scots Gaelic
  • Serbian
  • Sesotho
  • Shona
  • Sindhi
  • Sinhala
  • Slovak
  • Slovenian
  • Somali
  • Spanish
  • Sundanese
  • Swahili
  • Swedish
  • Tajik
  • Tamil
  • Telugu
  • Thai
  • Turkish
  • Ukrainian
  • Urdu
  • Uzbek
  • Vietnamese
  • Welsh
  • Xhosa
  • Yiddish
  • Yoruba
  • Zulu
Reading Preferences
Font Size
Line Spacing
Background
This converted HTML version may contain rendering inconsistencies. Please refer to the PDF for the authoritative version, or click here to provide feedback.

Abstract

V I ( F

I. INTRODUCTION

In mathematics, several special functions appear in many applications such as the Gamma function that plays some significant roles in the theory of integral differential equations in particular fractional calculus. Thus, we begin with some definitions, for the details we refer to [ 1 , 15 , 8 ] .

The Gamma function of a positive integer Ξ· is again a positive integer, while the gamma function Ξ“ ( βˆ’ Ξ· ) of a negative integer changes to infinities. The Gamma function any positive Ξ· value is defined as follows:

Ξ“ ( Ξ· ) = ∫ 0 ∞ t Ξ· βˆ’ 1 e βˆ’ t d t .

The Gamma function Ξ“ ( Ξ· ) is considered as a generalization of the factorial and Ξ“ ( Ξ· ) is defined for Ξ· > 0 by the integral

Ξ“ ( Ξ· ) = ∫ 0 ∞ t Ξ· βˆ’ 1 e βˆ’ t d t .

In the classical sense since Ξ“ ( 0 ) = Ξ“ ( 1 ) 0 , then it follows that Ξ“ ( Ξ· ) is not defined for integers Ξ· ≀ 0 . However, the extension formula gives finite values for Ξ“ ( Ξ· ) , for Re ⁑ ( Ξ· ) ≀ 0 since Ξ“ ( Ξ· ) is analytic everywhere except at Ξ· = 0 , βˆ’ 1 , βˆ’ 2 , … , and the residue at Ξ· = k is given by

Res Ξ· = k Ξ“ ( Ξ· ) = ( βˆ’ 1 ) k k ! .

Now, if Ξ· > 0 , then

Ξ“ ( Ξ· + 1 ) = Ξ· Ξ“ ( Ξ· ) .

Equation (1.1) can be used to define Ξ“ ( Ξ· ) for Ξ· < 0 and Ξ· β‰  βˆ’ 1 , βˆ’ 2 , … and further, this is one of the most important formulas that were satisfied by the Gamma function.

Even though the Gamma function is defined as a locally summable function on the real line by [17]

Ref

( 1.2 ) Ξ“ ( Ξ· ) = ∫ 0 ∞ t Ξ· βˆ’ 1 e βˆ’ t d t , Ξ· > 0.

In the classical sense, Ξ“ ( Ξ· ) function was not defined for the negative integer thus, there was an open problem to give a satisfactory definition. However, by using the neutral limit, it has been shown in [21] that the Gamma function (1.2) is defined as follows:

Ξ“ ( Ξ· ) = N βˆ’ lim Ξ΅ β†’ 0 ∫ Ξ΅ ∞ t Ξ· βˆ’ 1 e βˆ’ t d t

for Ξ· β‰  0 , βˆ’ 1 , βˆ’ 2 , … , and this function can be defined by neutral limit such as

Ξ“ ( βˆ’ n ) = N βˆ’ lim Ξ΅ β†’ 0 ∫ Ξ΅ ∞ t βˆ’ n βˆ’ 1 e βˆ’ t d t
= ∫ 1 ∞ t βˆ’ n βˆ’ 1 e βˆ’ t d t + ∫ 0 1 t βˆ’ n βˆ’ 1 [ e βˆ’ t βˆ’ βˆ‘ i = 0 n ( βˆ’ 1 ) i i ! t i ] d t βˆ’ βˆ‘ i = 0 n βˆ’ 1 ( βˆ’ 1 ) i i ! ( n βˆ’ i ) , n ∈ N .

It was also proven in [20] the existence of r the derivative of the Gamma function and defined it by equation

Ξ“ ( r ) ( 0 ) = N βˆ’ lim Ξ΅ β†’ 0 ∫ Ξ΅ ∞ t βˆ’ 1 ln r ⁑ t e βˆ’ t d t = ∫ 1 ∞ t βˆ’ 1 ln r ⁑ t e βˆ’ t d t + ∫ 0 1 t βˆ’ 1 ln r ⁑ t [ e βˆ’ t βˆ’ 1 ] d t
Ξ“ ( r ) ( βˆ’ n ) = N βˆ’ lim Ξ΅ β†’ 0 ∫ Ξ΅ ∞ t βˆ’ n βˆ’ 1 ln r ⁑ t e βˆ’ t d t

Ref

= ∫ 1 ∞ t βˆ’ n βˆ’ 1 ln r ⁑ t e βˆ’ t d t + ∫ 0 1 t βˆ’ n βˆ’ 1 ln r ⁑ t [ e βˆ’ t βˆ’ βˆ‘ i = 0 n ( βˆ’ 1 ) i i ! t i ] d t
βˆ’ βˆ‘ i = 0 n βˆ’ 1 ( βˆ’ 1 ) i i ! r ! ( n βˆ’ i ) βˆ’ r βˆ’ 1

for r ∈ N 0 and n ∈ N . Also,

Ξ“ ( βˆ’ r ) = ( βˆ’ 1 ) r r ! ( r ) βˆ’ ( βˆ’ 1 ) r r ! Ξ³

for r = 1 , 2 , … , where

( r ) = βˆ‘ i = 1 r 1 i .

Thus, the definition can be extended to the whole real line where,

Ξ“ ( 0 ) = Ξ“ β€² ( 1 ) = βˆ’ Ξ³ ,

where Ξ³ denotes Euler's constant, see [22].

For a function f : V βŠ‚ R β†’ R with 0 ∈ V , the fractional derivative of order Ξ± is defined by:

( 1.3 ) d Ξ± d t Ξ± f ( t ) = 1 Ξ“ ( βˆ’ Ξ± ) ∫ 0 t f ( s ) βˆ’ f ( 0 ) ( t βˆ’ s ) 1 + Ξ± d s , Ξ± < 0
( 1.4 ) d Ξ± d t Ξ± f ( t ) = 1 Ξ“ ( n βˆ’ Ξ± ) d n d t n ∫ 0 t f ( s ) βˆ’ f ( 0 ) ( t βˆ’ s ) Ξ± βˆ’ n + 1 d s , Ξ± > 0

where n is the first integer greater than or equal to Ξ± .

The relation ( 1.3 ) gives a fractional integral and ( 1.4 ) gives a fractional derivative.

We express some of the operators of fractional derivatives, see for example, [4, 7, 9, 10, 12, 16].

1. d Ξ± d t Ξ± t Ξ³ = Ξ“ ( 1 + Ξ³ ) Ξ“ ( 1 + Ξ³ + Ξ± ) t Ξ³ βˆ’ Ξ± , Ξ± ∈ R or ( Ξ± ∈ C ) and 1 + Ξ³ β‰  0 , βˆ’ 1 , . . . , βˆ’ n ,
2. d n d t n d α d t α f ( t ) = d n + α d t n + α f ( t ) , n ∈ N ,
3. d Ξ± d t Ξ± ( f 1 ( t ) + f 2 ( t ) ) = d Ξ± d t Ξ± f 1 ( t ) + d Ξ± d t Ξ± f 2 ( t ) ,
  1. d Ξ± d t Ξ± ( C f ( t ) ) = C d Ξ± d t Ξ± f ( t ) , where C is a constant,
5. d Ξ± d t Ξ± f ( Ξ² t ) = Ξ² Ξ± d Ξ± [ d ( Ξ² t ) ] Ξ± f ( Ξ² t ) .

It is well known that fractional calculus is an essential and advantageous branch of mathematics, having a broad range of applications at almost every department of sciences. Techniques of fractional calculus have been employed in the modeling of many different phenomena in engineering, physics, and mathematics. The problem in fractional calculus is not only essential but also quite challenging, which usually involves complicated mathematical solution techniques. However, a general solution theory for almost every issue in this area has yet to be established. Each application has developed its approaches and implementations. Consequently, a single standard method for the problems in fractional calculus has not emerged yet. Therefore, funding reliable and efficient solution techniques along with fast implementation methods are significantly essential and still active research areas.

Further, it is also realized that the operators of fractional integration and derivation have physical and geometric interpretations, which streamline along with their utilization for related issues in various fields of science(see [2, 8, 10, 11, 12, 14, 18, 19]). Moreover, the fractional differential calculus on a differential manifold is studied in [2, 3, 4, 6, 13]. Even though fractional calculus is a handy and important topic, however, the research on geometric interpretation and applications are limited,and not many in current literature. Thus, in this study, we focus on the Riemannian curvature tensor, Livi-Civita connection and Bianchi's identity on fractional differentiable manifolds and discuss some related properties. We also give some examples.

II. FRACTIONAL DIFFERENTIAL CALCULUS ON MANIFOLDS

Assume that N be an m -dimensional differential manifold ( V , x i ) a local coordinate system on N and V 0 = { x ∈ V : 0 ≀ x i ≀ b i , i = 1 , 2 , . . . , m } [5].

For a function f : V 0 β†’ R , the fractional derivative with respect to x i :

βˆ‚ i Ξ± f ( x ) =
1 Ξ“ ( n βˆ’ Ξ± ) βˆ‚ x i n ∫ 0 x i f ( x 1 , … , x i βˆ’ 1 , s , x i + 1 , … , x m ) βˆ’ f ( x 1 , … , x i βˆ’ 1 , 0 , x i + 1 , … , x m ) ( x i βˆ’ s ) Ξ± βˆ’ n + 1 d s ,

Ref where βˆ‚ x i n = βˆ‚ βˆ‚ x i ∘ βˆ‚ βˆ‚ x i ∘ … ∘ βˆ‚ βˆ‚ x i (n times, i is fixed, Ξ± β‰₯ 0 ).

For Ξ± ∈ ( 0 , 1 ) , Ξ³ > βˆ’ 1 ,

βˆ‚ i e x t Ξ± ( x i ) e x t Ξ³ = Ξ“ ( 1 + Ξ³ ) Ξ“ ( 1 + Ξ³ βˆ’ Ξ± ) ; βˆ‚ i e x t Ξ± = Ξ΄ i j .

A fractional vector field V βŠ‚ N is an object of the form X Ξ± = X i Ξ± βˆ‚ i Ξ± , where X i Ξ± ∈ S V ( N ) i = 1 , … , m .

The fractional vector fields on V and Ο‡ V Ξ± is generated by the operators βˆ‚ i Ξ± , i = 1 , 2 , … , m are denoted by Ο‡ V Ξ± . If c : x = x ( t ) , t ∈ I is a parameterized curve in U then the fractional tangent vector field of c is given by

x Ξ± ( t ) = 1 Ξ“ ( 1 + Ξ± ) βˆ‚ t Ξ± x i ( t ) βˆ‚ i Ξ± .

A fractional covariant derivative is given by

β–½ X Ξ± Ξ± Y Ξ± = X i Ξ± ( βˆ‚ i Ξ± Y j Ξ± + Ξ“ ~ i k j Y k Ξ± ) βˆ‚ j Ξ±

where X Ξ± , Y Ξ± ∈ Ο‡ U Ξ± and I ~ i k j the functions defining the coefficients of a fractional linear connection on N . They are determined by the relations

β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± = Ξ“ ~ i k j βˆ‚ j Ξ± .

Since it is essential to study fractional vector fields on a differentiable manifold N. For R n , there is an obvious way to do this. Recall that Ο‡ Ξ± ( R n ) denotes the space of fractional differentiable vector fields defined on R. Examples are the fractional vector fields βˆ‚ Ξ± βˆ‚ u 1 Ξ± , … , βˆ‚ Ξ± βˆ‚ u n Ξ± determined by the natural coordinate functions u 1 , … , u n .

Definition 2.1. Fractional Riemannian metric F on m-dimensional manifold N defines for every point p ∈ N , the scalar product of fractional tangent vectors in the fractional tangent space T p α N depending on the point p.

Let A Ξ± = A i Ξ± βˆ‚ i Ξ± and B Ξ± = B j Ξ± βˆ‚ j Ξ± any two fractional vectors tangent to the manifold N at the point p with coordinates x = ( x 1 , … , x m ) ( A Ξ± , B Ξ± ∈ T p Ξ± N ) the scalar product is equal to

⟨ A α , B α ⟩ F | p = A i α ( x ) g ~ i j ( x ) B j α ( x )
= ( A 1 Ξ± , . . . , A n Ξ± ) ( g ~ 1 1 . . . g ~ 1 n . . . . . . . . . . . . . . . g ~ n 1 . . . g ~ n n ) ( B 1 Ξ± . . . B n Ξ± )
  1. F ( A Ξ± , B Ξ± ) = F ( B Ξ± , A Ξ± ) , i.e., g ~ i j = g ~ j i (symmetricity condition).

  2. F ( A Ξ± , A Ξ± ) > 0 if A Ξ± β‰  0 , i.e. g ~ i j u i Ξ± u j Ξ± β‰₯ 0 , g ~ i j u i Ξ± u j Ξ± = 0 iff u 1 Ξ± = … = u n Ξ± =

0 (positive definiteness).

  1. F ( A Ξ± , B Ξ± ) | p = x , i.e. g ~ i j ( x ) are smooth function where 0 < Ξ± < 1 .

Components of tensor field F in coordinate system are matrix valued functions g ~ i j ( x )

F = g ~ i j ( x ) d Ξ± x i βŠ— d Ξ± x j .

III. RULE OF TRANSFORMATION FOR ENTRIES OF THE

Β M A T R I XΒ  g ~ i j ( x )

Notes

g ~ i j ( x ) - entries of the matrix β€– g ~ i j β€– are components of tensor field F in a given coordinate system.

How do these components transform under transformation of coordinates { x i } β†’ { x i β€² } ?

F = g ~ i j d x i Ξ± βŠ— d x j Ξ± = g ~ i j ( βˆ‚ x i Ξ± βˆ‚ x i β€² Ξ± d x i β€² Ξ± ) βŠ— βˆ‚ x j Ξ± βˆ‚ x j β€² Ξ± d x j β€² Ξ± ) = βˆ‚ x i Ξ± βˆ‚ x i β€² Ξ± g ~ i j βˆ‚ x j Ξ± βˆ‚ x j β€² Ξ± d x i β€² Ξ± βŠ— d x j β€² Ξ± = g ~ i β€² j β€² d x i β€² Ξ± βŠ— d x j β€² Ξ± .

Hence,

g ~ i β€² j β€² = βˆ‚ x i Ξ± βˆ‚ x i β€² Ξ± g ~ i j βˆ‚ x j Ξ± βˆ‚ x j β€² Ξ± .

Example 2.2. Consider R 2 with fractional polar coordinates in the domain y > 0 , X = ( r Ξ± c o s Ξ± Ο† , r Ξ± s i n Ξ± Ο† ) , then

βˆ‚ Ξ± X βˆ‚ r Ξ± = ( Ξ± ! cos Ξ± ⁑ Ο† , Ξ± ! sin Ξ± ⁑ Ο† ) .
βˆ‚ Ξ± X βˆ‚ Ο† Ξ± = ( Ξ± ! e i Ξ± Ο€ r Ξ± sin Ξ± ⁑ Ο† , Ξ± ! r Ξ± cos Ξ± ⁑ Ο† ) .
g ~ i j = ( ( Ξ± ! ) 2 [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] ( Ξ± ! ) 2 r Ξ± [ e 2 Ξ± Ο€ + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ( Ξ± ! ) 2 r Ξ± [ e Ξ± Ο€ i + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ( Ξ± ! ) 2 r 2 Ξ± [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] )

We have that

F = ( Ξ± ! ) 2 [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] ( d r Ξ± ) 2
+ 2 ( Ξ± ! ) 2 r Ξ± [ [ e i Ξ± Ο€ + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ] d r Ξ± d Ο† Ξ±
+ ( Ξ± ! ) 2 r 2 Ξ± [ e 2 i Ξ± Ο€ sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] ( d Ο† Ξ± ) 2

Notice that, as expected, when Ξ± = 1 , one recovers the classical formula.

F = ( d r ) 2 + r 2 ( d Ο† ) 2 .

Notes

Table 1: C = cos ⁑ Ο† , S = sin ⁑ Ο†
Ξ± = 0.10.2
g ~ r r 0.905 [ C 0.2 + S 0.2 ] 0.843 [ C 0.4 + S 0.4 ]
g ~ r Ο† = g ~ Ο† r 0.905 r 0.1 [ i + 1 ] S 0.2 C 0.2 0
g ~ Ο† Ο† 0.905 r 0.2 [ βˆ’ S 0.2 βˆ’ C 0.2 ] 0.843 r 0.4 [ βˆ’ S 0.4 + C 0.4 ]
F 0.905 [ C 0.2 + S 0.2 ] d r 0.2 + 1.8101 r 0.1 [ i + 1 ] S 0.2 C 0.2 ( d r ) .1 ( d Ο† ) .1 + 0.905 r 0.2 [ βˆ’ S 0.2 βˆ’ C 0.2 ] ( d Ο† ) .2 0.843 [ C 0.4 + S 0.4 ] d r 0.4 + 0.843 r 0.4 [ βˆ’ S 0.4 + C 0.4 ] ( d Ο† ) 0.4
Table 2: C = cos ⁑ Ο† , S = sin ⁑ Ο†
Ξ± = 0.30.4
g ~ r r 0.805 [ C 0.6 + S 0.6 ] 0.787 [ C 0.8 + S 0.8 ]
g ~ r Ο† = g ~ Ο† r 0.805 r 0.3 [ [ i + 1 ] S 0.3 C 0.3 ] 1.574 r 0.4 S 0.3 C 0.3
g ~ Ο† Ο† 0.805 r 0.6 [ βˆ’ S 0.6 + C 0.6 ] 0.787 r 0.8 [ S 0.8 + C 0.8 ]
F 0.805 [ C 0.6 + S 0.6 ] ( d r ) 0.6 + 1.61 r 0.3 [ [ i + 1 ] S 0.3 C 0.3 ] ( d r ) .3 ( d Ο† ) .3 + 0.805 r 0.6 [ βˆ’ S 0.6 + C 0.6 ] ( d Ο† ) .6 0.787 [ C 0.8 + S 0.8 ] ( d r ) 0.8 + 3.148 r 0.4 S 0.4 C 0.4 d r .4 d Ο† .4 + 0.787 r 0.8 [ S 0.8 + C 0.8 ] ( d Ο† ) .8

Remark 2.1. Let N is an m-dimensional Riemannian manifold with fractional metric tensor g ~ , then we shall denote the fractional derivatives of the elements of tensor g ~ as follows:

g ~ i j , k = βˆ‚ Ξ± βˆ‚ x k Ξ± g ~ i j ,

and

g ~ i j , k l = βˆ‚ Ξ± βˆ‚ x l Ξ± βˆ‚ Ξ± βˆ‚ x k Ξ± g ~ i j
= βˆ‚ 2 Ξ± βˆ‚ x l Ξ± βˆ‚ x k Ξ± g ~ i j , i , j , k , l = 1 , . . . , n .

Definition 2.3. Asymmetric fractional connection is called Levi-Civita fractional connection if it is compatible with metric, i.e., if it preserves the scalar product:

βˆ‚ X Ξ± Ξ± ⟨ Y Ξ± , Z Ξ± ⟩ = ⟨ β–½ X Ξ± Ξ± Y Ξ± , Z Ξ± ⟩ + ⟨ Y Ξ± , β–½ X Ξ± Ξ± Z Ξ± ⟩

for arbitrary fractional vector fields X Ξ± , Y Ξ± , and Z Ξ± .

In local coordinates Christoffel symbols of Levi-Civita fractional connection are given by:

Ξ“ ~ i j k = 1 2 g ~ k l ( βˆ‚ j Ξ± g ~ i l + βˆ‚ i Ξ± g ~ l j βˆ’ βˆ‚ l Ξ± g ~ i j )
Table 4: C = cos ⁑ Ο† , S = sin ⁑ Ο†
Ξ± = 0.50.6
g ~ r r 0.785[ C + S ]0.798[ C 1.2 + S 1.2 ]
g ~ r Ο† = g ~ Ο† r 0.785 r 0.5 [ i + 1 ] S 0.5 C 0.5 0
g ~ Ο† Ο† 0.785 r [ βˆ’ S + C ] 0.798 r 1.2 [ S 1.2 + C 1.2 ]
F 0.785[ C + S ] r ( d r ) +1.57 r 0.5 [ i + 1 ] S 0.5 C 0.5 ( d r ) 0.5 ( d Ο† ) 0.5 0.785 r [ βˆ’ S + C ] d Ο† 0.798[ C 1.2 + S 1.2 ] ( d r ) 1.2 ++0.798 r 1.2 [ S 1.2 + C 1.2 ] ( d Ο† ) 1.2

Notes

Table 5: C = cos ⁑ Ο† , S = sin ⁑ Ο†
Ξ± = 0.70.8
g ~ r r 0.826 [ C 1.4 + S 1.4 ] 0.867 [ C 1.6 + S 1.6 ]
g ~ r Ο† = g ~ Ο† r 0.826 r 0.7 [ i + 1 ] S 0.7 C 0.7 1.734 r 0.8 S 0.8 C 0.8
g ~ Ο† Ο† 0.826 r 1.4 [ βˆ’ S 1.4 + C 1.4 ] 0.867 r 1.6 [ S 1.6 + C 1.6 ]
F 0.826 [ C 1.4 + S 1.4 ] ( d r ) 1.4 + 1.652 r 0.7 [ i + 1 ] S 0.7 C 0.7 ( d r ) 0.7 ( d Ο† ) 0.7 + 0.826 r 1.4 [ βˆ’ S 1.4 + C 1.4 ] ( d Ο† ) 1.4 0.867 [ C 1.6 + S 1.6 ] ( d r ) 1.6 + 3.468 r 0.8 S 0.8 C 0.8 d r 0.8 d Ο† 0.8 + 0.867 r 1.6 [ S 1.6 + C 1.6 ] ( d Ο† ) 1.6
Ξ± = 0.91
g ~ r r 0.925 [ C 1.8 + S 1.8 ] 1
g ~ r Ο† = g ~ Ο† r 0.925 r 0.9 [ i + 1 ] S 0.9 C 0.9 0
g ~ Ο† Ο† 0.925 r 1.8 [ βˆ’ S 1.8 + C 1.8 ] r 2
F 0.925 [ C 1.8 + S 1.8 ] ( d r ) 1.8 + 1.85 r 0.9 [ i + 1 ] S 0.9 C 0.9 ( d r ) 0.9 ( d Ο† ) 0.9 + 0.925 r 1.8 [ βˆ’ S 1.8 + C 1.8 ] ( d Ο† ) 1.8 ( d r ) 2 + r 2 ( d Ο† ) 2

Proof. Since

βˆ‚ j Ξ± e i = Ξ“ ~ i j m e m
Ξ“ ~ i j m e m e l = ( βˆ‚ j Ξ± e i ) e l
Ξ“ ~ i j m g m l = βˆ‚ j Ξ± ( e i . e l ) βˆ’ e i ( βˆ‚ j Ξ± e l ) = βˆ‚ j Ξ± g i l βˆ’ Ξ“ ~ l j m e m e i = βˆ‚ j Ξ± g i l βˆ’ Ξ“ ~ l j m g m i ,
Ξ“ ~ i j m g m l + Ξ“ ~ l j m g m i = βˆ‚ j Ξ± g i l ,

which implies that

Ξ“ ~ i j m g ~ m l + Ξ“ ~ l j m g ~ m i = βˆ‚ j Ξ± g ~ i l .

In this equation, the index m is a dummy, so only the indices i,j, and l are specified. We can cyclically permute these indices to generate two more equations:

Ξ“ ~ j l m g ~ m i + Ξ“ ~ i l m g ~ m j = βˆ‚ l Ξ± g ~ j i
Ξ“ ~ l i m g ~ m j + Ξ“ ~ j i m g ~ m l = βˆ‚ i Ξ± g ~ l j

since Ξ“ ~ i j m = Ξ“ ~ j i m , then

Ξ“ ~ l j m g ~ m i + Ξ“ ~ i l m g ~ m j = βˆ‚ l Ξ± g ~ i j

Notes

(2.8)

Ξ“ ~ i l m g ~ m j + Ξ“ ~ i j m g ~ m l = βˆ‚ i Ξ± g ~ l j .

We can now add (2.5) to (2.9) and subtract (2.8) to get

2 Ξ“ ~ i j m g ~ m l = βˆ‚ j Ξ± g ~ i l + βˆ‚ i Ξ± g ~ l j βˆ’ βˆ‚ l Ξ± g ~ i j
2 Ξ“ ~ i j m g ~ m l g ~ k l = g ~ k l ( βˆ‚ j Ξ± g ~ i l + βˆ‚ i Ξ± g ~ l j βˆ’ βˆ‚ l Ξ± g ~ i j )

since g ~ m l g ~ k l = Ξ΄ m k , then

Ξ“ ~ i j k = 1 2 g ~ k l ( βˆ‚ j Ξ± g ~ i l + βˆ‚ i Ξ± g ~ l j βˆ’ βˆ‚ l Ξ± g ~ i j ) ,

we can write

Ξ“ ~ i j k = 1 2 g ~ k l ( g ~ i l , j + g ~ l j , i βˆ’ g ~ i j , l )

Example 2.2. For 2-dimental polar coordinates X = ( r Ξ± cos Ξ± ⁑ Ο† , r Ξ± sin Ξ± ⁑ Ο† ) .

The metric tensor and its inverse here are:

g ~ i j = ( ( Ξ± ! ) 2 [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] ( Ξ± ! ) 2 r Ξ± [ e 2 Ξ± Ο€ + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ( Ξ± ! ) 2 r Ξ± [ e Ξ± Ο€ i + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ( Ξ± ! ) 2 r 2 Ξ± [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] )
g ~ i j = ( A βˆ’ 1 ( Ξ± ! ) 2 r 2 Ξ± [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] βˆ’ A βˆ’ 1 ( Ξ± ! ) 2 r Ξ± [ e 2 Ξ± Ο€ + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† βˆ’ A βˆ’ 1 ( Ξ± ! ) 2 r Ξ± [ e 2 Ξ± Ο€ + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† A βˆ’ 1 ( Ξ± ! ) 2 [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] ) .

where

A = ( Ξ± ! ) 4 r 2 Ξ± { [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] βˆ’ [ e Ξ± Ο€ i + 1 ] sin 2 Ξ± ⁑ Ο† cos 2 Ξ± ⁑ Ο† }

Therefore,

βˆ‚ r Ξ± g ~ i j = ( 0 ( Ξ± ! ) 3 [ e Ξ± Ο€ i + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ( Ξ± ! ) 3 [ e Ξ± Ο€ i + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† ( Ξ± ! ) ( 2 Ξ± ) ! r Ξ± [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] )
βˆ‚ Ο† Ξ± g ~ i j = ( ( Ξ± ! ) ( 2 Ξ± ) ! [ e Ξ± Ο€ i + 1 ] c o s Ξ± Ο† s i n Ξ± Ο† ( Ξ± ! ) 3 r Ξ± [ e Ξ± Ο€ i + 1 ] [ e Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] ) ( Ξ± ! ) 3 r Ξ± [ e Ξ± Ο€ i + 1 ] [ e Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] ( Ξ± ! ) ( 2 Ξ± ) ! r 2 Ξ± [ e Ξ± Ο€ i + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† .

Then,

Ξ“ ~ r r r = 1 2 g ~ r l ( βˆ‚ r Ξ± g ~ r l + βˆ‚ r Ξ± g ~ l r βˆ’ βˆ‚ l Ξ± g ~ r r )
= βˆ’ A βˆ’ 1 ( Ξ± ! ) 5 r Ξ± [ e Ξ± Ο€ i + 1 ] 2 sin 2 Ξ± ⁑ Ο† cos 2 Ξ± ⁑ Ο† ,
Ξ“ ~ r Ο† r = 1 2 g ~ r l ( βˆ‚ Ο† Ξ± g ~ r l + βˆ‚ r Ξ± g ~ l Ο† βˆ’ βˆ‚ l Ξ± g ~ r Ο† ) = 0 = Ξ“ ~ Ο† r r ,

Notes

Ξ“ ~ Ο† Ο† r = 1 2 g ~ r l ( βˆ‚ Ο† Ξ± g ~ Ο† l + βˆ‚ Ο† Ξ± g ~ l Ο† βˆ’ βˆ‚ l Ξ± g ~ Ο† Ο† ) = ( Ξ± ! ) 2 r Ξ± ( 2 A ) βˆ’ 1 { [ e 2 Ξ± Ο€ i s i n 2 Ξ± Ο† + cos 2 Ξ± ⁑ Ο† ] [ 2 ( Ξ± ! ) 3 r Ξ± [ e Ξ± Ο€ i + 1 ] [ e Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] βˆ’ ( Ξ± ! ) ( 2 Ξ± ) ! r Ξ± [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] ] βˆ’ ( Ξ± ! ) ( 2 Ξ± ) ! r Ξ± [ e Ξ± Ο€ i + 1 ] sin 2 Ξ± ⁑ Ο† cos 2 Ξ± ⁑ Ο† } ,
Ξ“ ~ r r Ο† = 1 2 g ~ Ο† l ( βˆ‚ Ο† Ξ± g ~ r l + βˆ‚ r Ξ± g ~ l r βˆ’ βˆ‚ l Ξ± g ~ r r ) = βˆ’ ( Ξ± ! ) 2 ( 2 A ) βˆ’ 1 { ( Ξ± ! ) ( 2 Ξ± ) ! r Ξ± [ e Ξ± Ο€ i + 1 ] 2 sin 2 Ξ± ⁑ Ο† cos 2 Ξ± ⁑ Ο† + [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] [ e Ξ± Ο€ i + 1 ] Γ— [ ( Ξ± ! ) 3 r Ξ± [ e Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] + ( Ξ± ! ) 3 sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† βˆ’ ( Ξ± ! ) ( 2 Ξ± ) ! cos Ξ± ⁑ Ο† sin Ξ± ⁑ Ο† ] } ,
Ξ“ ~ r Ο† Ο† = 1 2 g ~ Ο† l ( βˆ‚ Ο† Ξ± g ~ r l + βˆ‚ r Ξ± g ~ l Ο† βˆ’ βˆ‚ l Ξ± g ~ r Ο† ) = ( Ξ± ! ) 2 ( 2 A ) βˆ’ 1 { βˆ’ ( Ξ± ! ) ( 2 Ξ± ) ! 2 r Ξ± [ e Ξ± Ο€ i + 1 ] cos 2 Ξ± ⁑ Ο† sin 2 Ξ± ⁑ Ο† + ( Ξ± ! ) ( 2 Ξ± ) ! r Ξ± [ cos 2 Ξ± ⁑ Ο† + sin 2 Ξ± ⁑ Ο† ] [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] } = Ξ“ ~ Ο† r Ο† ,
Ξ“ ~ Ο† Ο† Ο† = 1 2 g ~ Ο† l ( βˆ‚ Ο† Ξ± g ~ Ο† l + βˆ‚ Ο† Ξ± g ~ l Ο† βˆ’ βˆ‚ l Ξ± g ~ Ο† Ο† ) = ( Ξ± ! ) 2 r 2 Ξ± ( 2 A ) βˆ’ 1 { βˆ’ [ e Ξ± Ο€ i + 1 ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† [ 2 ( Ξ± ! ) 3 [ e Ξ± Ο€ i + 1 ] [ e Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] βˆ’ ( Ξ± ! ) ( 2 Ξ± ) ! [ e 2 Ξ± Ο€ i sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] ] + ( Ξ± ! ) ( 2 Ξ± ) ! [ e Ξ± Ο€ i + 1 ] [ sin 2 Ξ± ⁑ Ο† + cos 2 Ξ± ⁑ Ο† ] sin Ξ± ⁑ Ο† cos Ξ± ⁑ Ο† } .

IV. FRACTIONAL CURVATURE

Definition 3.1. The fractional curvature R ~ of order Ξ± of a Riemannian manifold N is a correspondence that associates to every pair X Ξ± , Y Ξ± ∈ Ο‡ Ξ± a mapping R ~ ( X Ξ± , Y Ξ± ) : Ο‡ Ξ± ( N ) Γ— Ο‡ Ξ± ( N ) β†’ Ο‡ Ξ± ( N ) given by

R ~ ( X Ξ± , Y Ξ± ) Z Ξ± = β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± Z Ξ± βˆ’ β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± Z Ξ± βˆ’ β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± ,

where Z Ξ± ∈ Ο‡ Ξ± and β–½ Ξ± is the fractional Riemannian connection.

Notes

Remark 3.1.

R ~ ( X Ξ± , Y Ξ± ) Z Ξ± = β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± Z Ξ± βˆ’ β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± Z Ξ± βˆ’ β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± = βˆ’ ( β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± Z Ξ± βˆ’ β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± Z Ξ± βˆ’ β–½ [ Y Ξ± , X Ξ± ] Ξ± Z Ξ± ) = βˆ’ R ~ ( Y Ξ± , X Ξ± ) Z Ξ± .

Proposition 3.2. The fractional curvature R ~ of a Riemannian manifold has the following properties:

  1. R ~ is bilinear in Ο‡ Ξ± ( N ) Γ— Ο‡ Ξ± ( N ) , that is,
R ~ ( f X Ξ± + g Y Ξ± , Z Ξ± ) W Ξ± = f R ~ ( X Ξ± , Z Ξ± ) W Ξ± + g R ~ ( Y Ξ± , Z Ξ± ) W Ξ± ,
R ~ ( X Ξ± , f Y Ξ± + g Z Ξ± ) W Ξ± = f R ~ ( X Ξ± , Y Ξ± ) W Ξ± + g R ~ ( X Ξ± , Z Ξ± ) W Ξ± ,

where f , g ∈ Im ⁑ ( M ) , X Ξ± , Y Ξ± , Z Ξ± , W Ξ± ∈ Ο‡ Ξ± ( N )

  1. For any X Ξ± , Y Ξ± ∈ Ο‡ Ξ± ( N ) , R ~ ( X Ξ± , Y Ξ± ) is linear
R ~ ( X Ξ± , Y Ξ± ) ( Z Ξ± + W Ξ± ) = R ~ ( X Ξ± , Y Ξ± ) Z Ξ± + R ~ ( X Ξ± , Y Ξ± ) W Ξ± ,
R ~ ( X Ξ± , Y Ξ± ) ( f Z Ξ± ) = f R ~ ( X Ξ± , Y Ξ± ) Z Ξ± ,

where Z Ξ± , W Ξ± ∈ Ο‡ Ξ± ( N )

Proof. 1.

R ~ ( f X Ξ± + g Y Ξ± , Z Ξ± ) W Ξ± = βˆ‡ f X Ξ± + g Y Ξ± Ξ± βˆ‡ Z Ξ± Ξ± W Ξ± βˆ’ βˆ‡ Z Ξ± Ξ± βˆ‡ f X Ξ± + g Y Ξ± Ξ± W Ξ± βˆ’ βˆ‡ [ f X Ξ± + g Y Ξ± , Z Ξ± ] Ξ± W Ξ± = ( f βˆ‡ X Ξ± Ξ± + g βˆ‡ Y Ξ± Ξ± ) βˆ‡ Z Ξ± Ξ± W Ξ± βˆ’ βˆ‡ Z Ξ± Ξ± ( f βˆ‡ X Ξ± Ξ± W Ξ± + g βˆ‡ Y Ξ± Ξ± W Ξ± ) βˆ’ βˆ‡ f [ X Ξ± , Z Ξ± ] + g [ Y Ξ± , Z Ξ± ] βˆ’ ( Z Ξ± f ) X Ξ± βˆ’ ( Z Ξ± g ) Y Ξ± Ξ± W Ξ± = f βˆ‡ X Ξ± Ξ± βˆ‡ Z Ξ± Ξ± W Ξ± + g βˆ‡ Y Ξ± Ξ± βˆ‡ Z Ξ± Ξ± W Ξ± βˆ’ ( Z Ξ± f ) βˆ‡ X Ξ± Ξ± W Ξ± βˆ’ f βˆ‡ Z Ξ± Ξ± βˆ‡ X Ξ± Ξ± W Ξ± βˆ’ ( Z Ξ± g ) βˆ‡ Y Ξ± Ξ± W Ξ± βˆ’ g βˆ‡ Z Ξ± Ξ± βˆ‡ Y Ξ± Ξ± W Ξ± βˆ’ f βˆ‡ [ X Ξ± , Z Ξ± ] Ξ± W Ξ± βˆ’ g βˆ‡ [ Y Ξ± , Z Ξ± ] Ξ± W Ξ± + ( Z Ξ± f ) βˆ‡ X Ξ± Ξ± W Ξ± + ( Z Ξ± g ) βˆ‡ Y Ξ± Ξ± W Ξ± = f ( βˆ‡ X Ξ± Ξ± βˆ‡ Z Ξ± Ξ± W Ξ± βˆ’ βˆ‡ Z Ξ± Ξ± βˆ‡ X Ξ± Ξ± W Ξ± βˆ’ βˆ‡ [ X Ξ± , Z Ξ± ] Ξ± W Ξ± ) + g ( βˆ‡ Y Ξ± Ξ± βˆ‡ Z Ξ± Ξ± W Ξ± βˆ’ βˆ‡ Z Ξ± Ξ± βˆ‡ Y Ξ± Ξ± W Ξ± βˆ’ βˆ‡ [ Y Ξ± , Z Ξ± ] Ξ± W Ξ± ) = f R ~ ( X Ξ± , Z Ξ± ) W Ξ± + g f R ~ ( Y Ξ± , Z Ξ± ) W Ξ± .
R ~ ( X Ξ± , f Y Ξ± + g Z Ξ± ) W Ξ± = βˆ’ R ~ ( f Y Ξ± + g Z Ξ± , X Ξ± ) = βˆ’ f R ~ ( Y Ξ± , X Ξ± ) W Ξ± βˆ’ g R ~ ( Z Ξ± , X Ξ± ) W Ξ± = f R ~ ( X Ξ± , Y Ξ± ) W Ξ± + g R ~ ( X Ξ± , Z Ξ± ) W Ξ± .
2.
R ~ ( X Ξ± , Y Ξ± ) ( Z Ξ± + W Ξ± ) = βˆ‡ X Ξ± Ξ± βˆ‡ Y Ξ± Ξ± ( Z Ξ± + W Ξ± ) βˆ’ βˆ‡ Y Ξ± Ξ± βˆ‡ X Ξ± Ξ± ( Z Ξ± + W Ξ± ) βˆ’ βˆ‡ [ X Ξ± , Y Ξ± ] Ξ± ( Z Ξ± + W Ξ± ) = βˆ‡ X Ξ± Ξ± βˆ‡ Y Ξ± Ξ± Z Ξ± + βˆ‡ X Ξ± Ξ± βˆ‡ Y Ξ± Ξ± W Ξ± βˆ’ βˆ‡ Y Ξ± Ξ± βˆ‡ X Ξ± Ξ± Z Ξ± βˆ’ βˆ‡ Y Ξ± Ξ± βˆ‡ X Ξ± Ξ± W Ξ± βˆ’ βˆ‡ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± βˆ’ βˆ‡ [ X Ξ± , Y Ξ± ] Ξ± W Ξ± = ( βˆ‡ X Ξ± Ξ± βˆ‡ Y Ξ± Ξ± Z Ξ± βˆ’ βˆ‡ Y Ξ± Ξ± βˆ‡ X Ξ± Ξ± Z Ξ± βˆ’ βˆ‡ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± ) + ( βˆ‡ X Ξ± Ξ± βˆ‡ Y Ξ± Ξ± W Ξ± βˆ’ βˆ‡ Y Ξ± Ξ± βˆ‡ X Ξ± Ξ± W Ξ± βˆ’ βˆ‡ [ X Ξ± , Y Ξ± ] Ξ± W Ξ± ) = R ~ ( X Ξ± , Y Ξ± ) Z Ξ± + R ~ ( X Ξ± , Y Ξ± ) W Ξ± .

Notes

Also,

R ~ ( X Ξ± , Y Ξ± ) ( f Z Ξ± ) = β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± ( f Z Ξ± ) βˆ’ β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± ( f Z Ξ± ) βˆ’ β–½ [ X Ξ± , Y Ξ± ] Ξ± ( f Z Ξ± ) = β–½ X Ξ± Ξ± ( ( Y Ξ± f ) Z Ξ± + f β–½ Y Ξ± Ξ± Z Ξ± ) βˆ’ β–½ Y Ξ± Ξ± ( ( X Ξ± f ) Z Ξ± + f β–½ X Ξ± Ξ± Z Ξ± ) βˆ’ ( ( ( [ X Ξ± , Y Ξ± ] f ) Z Ξ± + f β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± ) = X Ξ± ( Y Ξ± f ) Z Ξ± + ( Y Ξ± f ) β–½ X Ξ± Ξ± Z Ξ± + ( X Ξ± f ) β–½ Y Ξ± Ξ± Z Ξ± + f β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± Z Ξ± βˆ’ Y Ξ± ( X Ξ± f ) Z Ξ± + ( X Ξ± f ) β–½ Y Ξ± Ξ± Z Ξ± + ( Y Ξ± f ) β–½ X Ξ± Ξ± Z Ξ± + f β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± Z Ξ± βˆ’ ( [ X Ξ± , Y Ξ± ] f ) Z Ξ± βˆ’ f β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± = ( [ X Ξ± , Y Ξ± ] f ) Z Ξ± + f ( β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± Z Ξ± βˆ’ β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± Z Ξ± βˆ’ β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± ) βˆ’ ( [ X Ξ± , Y Ξ± ] f ) Z Ξ± = f R ~ ( X Ξ± , Y Ξ± ) Z Ξ± .

Proposition 3.3 (Bianchi Fractional Identity).

R ~ ( X Ξ± , Y Ξ± ) Z Ξ± + R ~ ( Y Ξ± , Z Ξ± ) X Ξ± + R ~ ( Z Ξ± , X Ξ± ) Y Ξ± = 0.

Proof.

R ~ ( X Ξ± , Y Ξ± ) Z Ξ± + R ~ ( Y Ξ± , Z Ξ± ) X Ξ± + R ~ ( Z Ξ± , X Ξ± ) Y Ξ± = β–½ X Ξ± Ξ± β–½ Y Ξ± Ξ± Z Ξ± βˆ’ β–½ Y Ξ± Ξ± β–½ X Ξ± Ξ± Z Ξ± βˆ’ β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± + β–½ Y Ξ± Ξ± β–½ Z Ξ± Ξ± X Ξ± βˆ’ β–½ Z Ξ± Ξ± β–½ Y Ξ± Ξ± X Ξ± βˆ’ β–½ [ Y Ξ± , Z Ξ± ] Ξ± X Ξ± + β–½ Z Ξ± Ξ± β–½ X Ξ± Ξ± Y Ξ± βˆ’ β–½ X Ξ± Ξ± β–½ Z Ξ± Ξ± Y Ξ± βˆ’ β–½ [ Z Ξ± , X Ξ± ] Ξ± Y Ξ± = β–½ X Ξ± Ξ± [ Y Ξ± , Z Ξ± ] + β–½ Y Ξ± Ξ± [ Z Ξ± , X Ξ± ] + β–½ Z Ξ± Ξ± [ X Ξ± , Y Ξ± ] βˆ’ β–½ [ X Ξ± , Y Ξ± ] Ξ± Z Ξ± βˆ’ β–½ [ Y Ξ± , Z Ξ± ] Ξ± X Ξ± βˆ’ β–½ [ Z Ξ± , X Ξ± ] Ξ± Y Ξ± = [ X Ξ± , [ Y Ξ± , Z Ξ± ] ] + [ Y Ξ± , [ Z Ξ± , X Ξ± ] ] + [ Z Ξ± , [ X Ξ± , Y Ξ± ] ] = 0.

In local coordinates and

Notes

R ~ ( βˆ‚ i Ξ± , βˆ‚ j Ξ± ) βˆ‚ k Ξ± = R ~ i j k l βˆ‚ l Ξ± ,
R ~ i j k m = ⟨ R ~ ( βˆ‚ i Ξ± , βˆ‚ j Ξ± ) βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ = ⟨ R ~ i j k l βˆ‚ l Ξ± , βˆ‚ m Ξ± ⟩ = R ~ i j k l ⟨ βˆ‚ l Ξ± , βˆ‚ m Ξ± ⟩ = R ~ i j k l g ~ m l .

The fractional Riemannian curvature tensor acts on fractional vector fields as follows:

R ~ ( X α , Y α , Z α , W α ) = ⟨ R ~ ( X α , Y α ) Z α , W α ⟩ .

Proposition 3.4. 1. R ~ i j k l + R ~ j k i l + R ~ k i j l = 0 .

2. R ~ i j k l = βˆ’ R ~ j i k l .

3. R ~ i j k l = βˆ’ R ~ i j k l .
4. R ~ i j k l = R ~ k l i j .

Proof.

  1. is just the Bianchi fractional identity again.
2.
R ~ i j k l = ⟨ R ~ ( βˆ‚ i Ξ± , βˆ‚ j Ξ± ) βˆ‚ k Ξ± , βˆ‚ l Ξ± ⟩ = ⟨ βˆ’ R ~ ( βˆ‚ j Ξ± , βˆ‚ i Ξ± ) βˆ‚ k Ξ± , βˆ‚ l Ξ± ⟩ = βˆ’ ⟨ R ~ ( βˆ‚ j Ξ± , βˆ‚ i Ξ± ) βˆ‚ k Ξ± , βˆ‚ l Ξ± ⟩ = βˆ’ R ~ j i k l .
3. is equivalent to R i j k k = 0 , whose proof follows:
R ~ i j k k = ⟨ R ~ ( βˆ‚ i Ξ± , βˆ‚ j Ξ± ) βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ = ⟨ β–½ βˆ‚ i Ξ± Ξ± β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± βˆ’ β–½ βˆ‚ j Ξ± Ξ± β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± βˆ’ β–½ [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] Ξ± βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ ,

but

⟨ β–½ βˆ‚ j Ξ± Ξ± β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ = βˆ‚ j Ξ± ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ βˆ’ ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± ⟩ ,
⟨ βˆ‡ [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] Ξ± βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ = 1 2 [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ ,
R ~ i j k k = βˆ‚ j Ξ± ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ βˆ’ βˆ‚ i Ξ± ⟨ β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ + 1 2 [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩
= 1 2 βˆ‚ j Ξ± ( βˆ‚ i Ξ± ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ ) βˆ’ 1 2 βˆ‚ i Ξ± ( βˆ‚ j Ξ± ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ ) + 1 2 [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ = βˆ’ 1 2 [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ + 1 2 [ βˆ‚ i Ξ± , βˆ‚ j Ξ± ] ⟨ βˆ‚ k Ξ± , βˆ‚ k Ξ± ⟩ = 0.
4. By Bianchi fractional identity we have
R ~ i j k l + R ~ j k i l + R ~ k i j l = 0
R ~ j k l i + R ~ k l j i + R ~ l j k i = 0
R ~ k l i j + R ~ l i k j + R ~ i k l j = 0
R ~ l i j k + R ~ i j l k + R ~ j l i k = 0

summing the equations above, we obtain

2 R ~ k i j l + 2 R ~ l j k i = 0 ,

then

R ~ k i j l = βˆ’ R ~ l j k i = R ~ j l k i .

Proposition 3.5. The following expression holds

2 R ~ i j k m = g ~ j m , k i + g ~ k m , j i βˆ’ g ~ j k , m i βˆ’ g ~ i m , k j βˆ’ g ~ k m , i j + g ~ i k , m j βˆ’ 2 Ξ“ ~ j k r Ξ“ ~ i m s g ~ r s + 2 Ξ“ ~ i k r Ξ“ ~ j m s g ~ r s .

Proof. From the definition of the Christoffel symbols, βˆ‡ βˆ‚ i Ξ± Ξ± βˆ‚ j Ξ± = Ξ“ ~ i j k βˆ‚ k Ξ± ,

2 ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ j Ξ± , βˆ‚ m Ξ± ⟩ = 2 ⟨ Ξ“ ~ i j k βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ = 2 Ξ“ ~ i j k g ~ m k = g ~ i m , j + g ~ j m , i βˆ’ g ~ i j , m ,

an appropriate rearrangement of the indices yields the following expression:

( 3.1 ) 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ = 2 ⟨ Ξ“ ~ j k i βˆ‚ i Ξ± , βˆ‚ m Ξ± ⟩ = 2 Ξ“ ~ j k i g ~ i m = g ~ j m , k + g ~ k m , j βˆ’ g ~ j k , m .
βˆ‚ i Ξ± < β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± >=< β–½ βˆ‚ i Ξ± Ξ± β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± > + < β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ i Ξ± Ξ± βˆ‚ m Ξ± >

whence, by (3.1)

2 ⟨ β–½ βˆ‚ i Ξ± Ξ± β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ + 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ i Ξ± Ξ± βˆ‚ m Ξ± ⟩ = 2 βˆ‚ i Ξ± ⟨ β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ = βˆ‚ i Ξ± ( g ~ i m g i l ( βˆ‚ k Ξ± g j l + βˆ‚ j Ξ± g k l βˆ’ βˆ‚ l Ξ± g j k ) ) = g ~ j m , k i + g ~ k m , j i βˆ’ g ~ j k , m i .

By switching i and j we also have that

( 3.3 ) 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ + 2 ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ j Ξ± Ξ± βˆ‚ m Ξ± ⟩ = g ~ i m , k j + g ~ k m , i j βˆ’ g ~ i k , m j .

Combining (3.2) and (3.3) yields

2 ⟨ β–½ βˆ‚ i Ξ± Ξ± β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ βˆ’ 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ = g ~ j m , k i + g ~ k m , j i βˆ’ g ~ j k , m i βˆ’ g ~ i m , k j βˆ’ g ~ k m , i j + g ~ i k , m j βˆ’ 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ i Ξ± Ξ± βˆ‚ m Ξ± ⟩ + 2 ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ j Ξ± Ξ± βˆ‚ m Ξ± ⟩ .

Notes By definition

R ~ ( βˆ‚ i Ξ± , βˆ‚ j Ξ± ) βˆ‚ k Ξ± = β–½ βˆ‚ i Ξ± Ξ± β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± βˆ’ β–½ βˆ‚ j Ξ± Ξ± β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ±

whence

2 R ~ i j k m = 2 ⟨ R ~ ( βˆ‚ i Ξ± , βˆ‚ j Ξ± ) βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ = 2 ⟨ β–½ βˆ‚ i Ξ± Ξ± β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ βˆ’ 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , βˆ‚ m Ξ± ⟩ ,

so we have proven that

2 R ~ i j k m = g ~ j m , k i + g ~ k m , j i βˆ’ g ~ j k , m i βˆ’ g ~ i m , k j βˆ’ g ~ k m , i j + g ~ i k , m j βˆ’ 2 ⟨ β–½ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ i Ξ± Ξ± βˆ‚ m Ξ± ⟩ + 2 ⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ j Ξ± Ξ± βˆ‚ m Ξ± ⟩ .

By the definition of the Christoffels,

⟨ β–½ βˆ‚ i Ξ± Ξ± βˆ‚ k Ξ± , β–½ βˆ‚ j Ξ± Ξ± βˆ‚ m Ξ± ⟩ = ⟨ Ξ“ ~ i k r βˆ‚ r Ξ± , Ξ“ ~ j m s βˆ‚ s Ξ± ⟩ = Ξ“ ~ i k r Ξ“ ~ j m s ⟨ βˆ‚ r Ξ± , βˆ‚ s Ξ± ⟩ = Ξ“ ~ i k r Ξ“ ~ j m s g ~ r s ,
⟨ βˆ‡ βˆ‚ j Ξ± Ξ± βˆ‚ k Ξ± , βˆ‡ βˆ‚ i Ξ± Ξ± βˆ‚ m Ξ± ⟩ = ⟨ I ~ j k r βˆ‚ r Ξ± , Ξ“ ~ i m s βˆ‚ s Ξ± ⟩ = I ~ j k r I ~ i m s ⟨ βˆ‚ r Ξ± , βˆ‚ s Ξ± ⟩ = I ~ j k r I ~ i m s g ~ r s ,
2 R ~ i j k m = g ~ j m , k i + g ~ k m , j i βˆ’ g ~ j k , m i βˆ’ g ~ i m , k j βˆ’ g ~ k m , i j + g ~ i k , m j βˆ’ 2 Ξ“ ~ j k r Ξ“ ~ i m s g ~ r s + 2 Ξ“ ~ i k r Ξ“ ~ j m s g ~ r s .

Remark 3.6. If Ξ± = 1 , then

2 R i j k m = g j m , k i + g k m , j i βˆ’ g j k , m i βˆ’ g i m , k j βˆ’ g k m , i j + g i k , m j βˆ’ 2 Ξ“ j k r Ξ“ i m s g r s + 2 Ξ“ i k r Ξ“ j m s g r s .

Since g k m , j i = g k m , i j , then

2 R i j k m = g j m , k i βˆ’ g j k , m i βˆ’ g i m , k j + g i k , m j βˆ’ 2 Ξ“ j k r Ξ“ i m s g r s + 2 Ξ“ i k r Ξ“ j m s g r s ,
2 R i j k m = g ~ j m , k i + g ~ k m , j i βˆ’ g ~ j k , m i βˆ’ g ~ i m , k j βˆ’ g ~ k m , i j + g ~ i k , m j βˆ’ 2 Ξ“ j k r Ξ“ i m s g r s + 2 Ξ“ i k r Ξ“ j m s g r s .

Remark 3.7. For any pair of fractional tangent vectors X Ξ± , Y Ξ± ∈ T p Ξ± N we shall denote with Ξ“ ~ ( X Ξ± , Y Ξ± ) the following fractional vector in T p Ξ± N :

Ξ“ ~ ( X Ξ± , Y Ξ± ) = Ξ“ ~ i j k X i Ξ± Y j Ξ± βˆ‚ k Ξ± .

Notes

Proposition 3.8. The following expressions hold for any pair X α , Y α ∈ T p α N :

2 R ~ ( X Ξ± , Y Ξ± , Y Ξ± , X Ξ± ) = βˆ‚ i Ξ± ( g ~ i m g i l ) ( βˆ‚ k Ξ± g j l + βˆ‚ j Ξ± g k l βˆ’ βˆ‚ l Ξ± g j k ) + g ~ i m g i l ( βˆ‚ i Ξ± βˆ‚ k Ξ± g j l + βˆ‚ i Ξ± βˆ‚ j Ξ± g k l βˆ’ βˆ‚ i Ξ± βˆ‚ l Ξ± g j k ) βˆ’ βˆ‚ j Ξ± ( g ~ j m g j l ) ( βˆ‚ k Ξ± g i l + βˆ‚ i Ξ± g k l βˆ’ βˆ‚ l Ξ± g i k ) βˆ’ g ~ j m g j l ( βˆ‚ j Ξ± βˆ‚ k Ξ± g i l + βˆ‚ j Ξ± βˆ‚ i Ξ± g k l βˆ’ βˆ‚ j Ξ± βˆ‚ l Ξ± g i k ) + 2 β€– Ξ“ ~ ( X Ξ± , Y Ξ± ) β€– 2 βˆ’ 2 ⟨ Ξ“ ~ ( X Ξ± , X Ξ± ) , Ξ“ ~ ( Y Ξ± , Y Ξ± ) ⟩ .

Proof. Since

g ~ r s X i Ξ± Y j Ξ± Y k Ξ± X m Ξ± Ξ“ ~ i k r Ξ“ ~ j m s = ⟨ X i Ξ± Y k Ξ± Ξ“ ~ i k r βˆ‚ r Ξ± , Y j Ξ± X m Ξ± Ξ“ ~ j m s βˆ‚ s Ξ± ⟩ = ⟨ Ξ“ ~ ( X Ξ± , Y Ξ± ) , Ξ“ ~ ( X Ξ± , Y Ξ± ) ⟩ = β€– Ξ“ ~ ( X Ξ± , Y Ξ± ) β€– 2 ,

and

g ~ r s X i Ξ± Y j Ξ± Y k Ξ± X m Ξ± Ξ“ ~ j k r Ξ“ ~ i m s = ⟨ X i Ξ± X m Ξ± Ξ“ ~ i m s βˆ‚ s Ξ± , Y j Ξ± Y k Ξ± Ξ“ ~ j k r βˆ‚ r Ξ± ⟩ = ⟨ Ξ“ ~ ( X Ξ± , X Ξ± ) , Ξ“ ~ ( Y Ξ± , Y Ξ± ) ⟩ ,

This completes the proof.

Remark 3.9. If Ξ± = 1 , then

2 R ( X , Y , Y , X ) = g j m , k i βˆ’ g j k , m i βˆ’ g i m , k j + g i k , m j + 2 βˆ₯ Ξ“ ( X , Y ) βˆ₯ 2 βˆ’ 2 ⟨ Ξ“ ( X , X ) , Ξ“ ( Y , Y ) ⟩ .

References

22 Cites in Article
  1. 1. D Albu,M Neamtu,D Opris (2007). The geometry of fractional osculator bundle of higher order and applications. Proceedings of the Conf. on Diff. Geometry: Lagrange and Hamilton spaces, 21-31.
  2. 2. M Axtell,M Bise (1990). Fractional Calculus Application in Control Systems. Fractional Calculus Application in Control Systems, 563-566.
  3. 3. Yong Ding,Xinfeng Wu (2009). Fractional Integrals on Product Manifolds. Potential Analysis, 30(4), 371-383.
  4. 4. Guy Jumarie (2013). RIEMANN-CHRISTOFFEL TENSOR IN DIFFERENTIAL GEOMETRY OF FRACTIONAL ORDER APPLICATION TO FRACTAL SPACE-TIME. Fractals, 21(01), 1350004.
  5. 5. Ion Doru,Albu,Dumitru Opris (2009). The tangent bundle. Synthetic Geometry of Manifolds, 124-153.
  6. 6. A Kılı,cman,W Saleh (2022). Note on the Fractional Mittag-Leffler Functions by Applying the Modified Riemann-Liouville Derivatives. Boletim da Sociedade Paranaense de Matematica, 40, 1-16.
  7. 7. K Kolwankar Studies of Fractal structures and Processes Using Methods of Fractional Calculus. Studies of Fractal structures and Processes Using Methods of Fractional Calculus
  8. 8. Mehdi Delkhosh (2013). Introduction of Derivatives and Integrals of Fractional order and Its Applications. Applied Mathematics and physics, 14, 103-119.
  9. 9. K Miller,B Ross (1993). Introduction to Fractional Calculus. Introduction to Fractional Calculus, 1-17.
  10. 10. K Oldham,J Spanier (1974). The Fractional Calculus. The Fractional Calculus
  11. 11. I Podlubny,L Dorcak,I Kostial (1994). On fractional derivatives, fractional-order dynamic systems and PI/sup Ξ»/D/sup ΞΌ/-controllers. Proceedings of the 36th IEEE Conference on Decision and Control, 5, 4985-4990.
  12. 12. Bertram Ross (1975). A brief history and exposition of the fundamental theory of fractional calculus. Lecture Notes in Mathematics, 457, 1-36.
  13. 13. W Saleh,A KΔ±lΔ± Cman (2015). Some Remarks on Geometry of Fractional Calculus. Applied Mathematics & Information Sciences (AMIS), 9(3), 1265-1275.
  14. 14. Wedad Saleh,Adem KiliΓ§man (2015). ON GENERALIZED s-CONVEX FUNCTIONS ON FRACTAL SETS. JP Journal of Geometry and Topology, 17(1), 63-82.
  15. 15. I Sneddon (1956). Special functions of mathematical physics and chemistry. Special functions of mathematical physics and chemistry
  16. 16. M Tavassoli,A Tavassoli,M Ostad Rahimi (2013). The geometric and physical interpretation of fractional order derivatives of polynomial functions. Differential Geometry-Dynamical Systems, 15, 93-104.
  17. 17. A Kılı,cman,B Fisher (2011). Some Results on the Composition of Singular Distribution. Applied Mathematics & Information Sciences (AMIS), 53, 597-608.
  18. 18. Adem KΔ±lΔ±Γ§man,Wedad Saleh (2015). Notions of generalized s-convex functions on fractal sets. Journal of Inequalities and Applications, 2015(1), 20151.
  19. 19. Adem KΔ±lΔ±Γ§man,Wedad Saleh (2015). Some generalized Hermite-Hadamard type integral inequalities for generalized s-convex functions on fractal sets. Advances in Difference Equations, 2015(1), 20151.
  20. 20. Brian Fisher,Biljana Jolevsaka-Tuneska,Adem KiliΓ§man (2003). On Defining The Incomplete Gamma Function. Integral Transforms and Special Functions, 14(4), 293-299.
  21. 21. Brian Fisher,Adem Kilicman,D Nicholas (1998). On the beta function and the neutrix product of distributions. Integral Transforms and Special Functions, 7(1-2), 35-42.
  22. 22. B Fisher,A KΔ±lΔ± (2012). cman. Results on the Gamma function. Applied Mathematics & Information Sciences (AMIS), 62, 173-176.

Funding

No external funding was declared for this work.

Conflict of Interest

The authors declare no conflict of interest.

Ethical Approval

No ethics committee approval was required for this article type.

Data Availability

Not applicable for this article.

How to Cite This Article

Wedad Saleh. 2026. "Fractional Order Riemann Curvature Tensor in Differential Geometry". Global Journal of Science Frontier Research - F: Mathematics & Decision GJSFR-F Volume 22 (GJSFR Volume 22 Issue F1).

More Citation Formats

Download Citation

Detailed image of fractional Riemann curvature tensor applied in differential geometry.
Journal Specifications

Crossref Journal DOI 10.17406/GJSFR

Print ISSN 0975-5896

e-ISSN 2249-4626

Keywords
Classification
GJSFR-F Classification DDC Code: 516.36
LCC Code QA641
Version of record
v1.2

Issue date
March 24, 2022

Language
English
Order Article Reprint
Experience in AR

Explore published articles in an immersive Augmented Reality environment. Our platform converts research papers into interactive 3D books, allowing readers to view and interact with content using AR and VR compatible devices.

Read in 3D

Your published article is automatically converted into a realistic 3D book. Flip through pages and read research papers in a more engaging and interactive format.

Article Matrices
Total Views: 612
Total Downloads: 33
All Trends

Request Access

Please fill out the form below to request access to this research paper. Your request will be reviewed by the editorial or author team.
X

This is the heading

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

High-quality academic research articles on global topics and journals.

Fractional Order Riemann Curvature Tensor in Differential Geometry

Wedad Saleh
Wedad Saleh