• 検索結果がありません。

2 Statistical Manifold

N/A
N/A
Protected

Academic year: 2022

シェア "2 Statistical Manifold"

Copied!
11
0
0

読み込み中.... (全文を見る)

全文

(1)

statistical submanifolds of statistical space forms

P. Bansal, M. H. Shahid and M. A. Lone

Abstract. Lee et al. in [12] proved pinching theorem with normalized scalar curvature for statistical submanifolds of statistical manifolds of con- stant curvature. In this paper with a pair of conjugate connectionsand

, we generalize the result of [12] and derive bounds for generalized normalizedδ-Casorati curvatures of statistical submanifolds in statistical manifold of constant curvature. The paper finishes with an application of divergence of Mean curvature vector field of statistical manifold.

M.S.C. 2010: 49K35, 53C05, 62B10.

Key words: Statistical manifold; dual connection; Casorati curvature; generalized normalizedδ-Casorati curvature; normalized scalar curvature.

1 Introduction

The theory of abstract generalization of statistical model as statistical manifold is a fast growing area of research in global differential geometry. In 1985, the concept of statistical manifolds (which was initiated from exploration of geometric structures on sets of certain probability distribtions) was introduced by Amari [1] which provide a setting for the field of information geometry and it also associate a dual connec- tion (known as conjugate connection). The applications of statistical manifold at- tracts the attention of distinguished geometers due to its applications in the field of science and engineering. Many papers have been appeared in the literature of dif- ferent submanifolds of different manifolds in the setting of statistical manifold (see [1, 2, 9, 14, 15, 17, 18]).

On the other hand, Casorati proposed the concept of an extrinsic invariant of a submanifold of Riemannian manifold, named as Casorati curvature is stated by the normalized square length of the second fundamental form [6]. The considera- tion of Casorati curvature widen the consideration of the principal direction of a hypersurface of a Riemannian manifold [10]. Its congruous’s essence and influence have been examined by some well-known authors in a global differential geometry [3, 4, 5, 7, 8, 11, 13, 19].

Balkan Journal of Geometry and Its Applications, Vol.24, No.1, 2019, pp. 1-11.

c Balkan Society of Geometers, Geometry Balkan Press 2019.

(2)

In the spirit of these quoted summary and stimulated by generalized normalized δ-Casorati curvatures, we have established the succeeding results.

Theorem 1.1. Let Mmbe a statistical submanifold of statistical manifold Nn(c)of constant curvaturec. Then, the generalized normalizedδ-Casorati curvatureδc(r, m 1)satisfy

ρ≤c(r, m1) m(m−1) + C

m−1 2m

m−1||H||2+ m

(m1)g(H, H) +c, (1.1)

wherec(r, m1) =δc(r, m1) +δc(r, m1).

This means, the normalized scalar curvature has a supremum by Casorati curvatures.

Theorem 1.2. Let Mmbe a statistical submanifold of statistical manifold Nn(c)of constant curvaturec. Then, the generalized normalizedδ-Casorati curvatureδc(r, m 1)satisfy

ρ≥ −δc(r, m1)

m(m−1) + 2m

m−1||H||2 2C (m1)+c, (1.2)

wherec(r, m1) =δc(r, m1) +δc(r, m1).

This means, the normalized scalar curvature has infimum given by Casorati curva- tures.

2 Statistical Manifold

In this section, we collect certain couple of intrinsic analogues or terminologies in the setting of statistical manifold.

Definition 2.1. A Riemannian manifold (Nn,g,) with a couple of torsionless affine connections and is statistical manifold if it fascinates [18]

(Xg)(Y,Z) = (Yg)(X,Z), (2.1)

Xg(Y,Z) = g(XY,Z) +g(Y,∇XZ), (2.2)

for anyX,Y,ZΓ(TN). Then,and are calleddual (or conjugate) connections and the pair (∇,g) is called statistical structure. Also, it is easily shown that ()=

Remark 2.2. [18] If (∇,g) is a statistical structure then so is (,g) where the dual connection is defined in terms of the Levi-Civita connection as

+= 2. (2.3)

Let us suppose that R and R be the curvature tensor fields of and re- spectively. A statistical structure (∇,g) is said to be of constant curvature c if it satisfy

R(X,Y)Z=c{g(Y,Z)Xg(X,Z)Y}, (2.4)

(3)

for anyX,Y,ZΓ(TN) wherec is a real constant.

Now, we would first take a look on the definition of submanifold of statistical manifold and after defining this we will see some notations, general formulas.

Let us considerm-dimensional submanifold Mm in statistical manifold (N,g) with

pairs of : 





induced connections, ∇,∇; second f undamental f orms, ζ, ζ; shape operators, Λ,Λ; normal connections, ,∇∗⊥.

Moreover, the induced metric gis unique, (∇,g) and (,g) are induced dual sta- tistical structures on the submanifolds. Then, the fundamental Gauss formulas are outlined by [18]

XY=XY+ζ(X,Y), (2.5)

XY=XY+ζ(X,Y), (2.6)

forX,YΓ(TM) whereasζ andζare bilinear mapping from which bilinear trans- formations ΛN and ΛNare given by [18]

g(ΛNX,Y) =g(ζ(X,Y),N), (2.7)

g(ΛNX,Y) =g(ζ(X,Y),N), (2.8)

for anyNΓ(TM). Furthermore, the fundamental Weingarten formulas are given by [18]

XN=ΛNX+XN, (2.9)

XN=ΛNX+∗⊥X N, (2.10)

forNΓ(TM) andXΓ(TM) whereas the normal dual connectionsand are the Riemannian dual connections onM.

Let us denoteR andR to be the curvature tensor field of and. Then, the fundamental Gauss equation follows [18]

g(R(X,Y)Z,W) =g(R(X,Y)Z,W) +g(ζ(X,Z), ζ(Y,W))

g(ζ(X,W), ζ(Y,Z)).

(2.11)

Now, let{ei}m1 and{ei}nm+1 be orthonormal basis ofTpMand TpM, respectively.

Then, the Mean curvature vector fieldsH andH have the following forms [12]

H = 1 m

m i=1

ζ(ei, ei) = 1 m

n α=m+1

(∑m i=1

ζiiα )

eα, (2.12)

H= 1 m

m i=1

ζ(ei, ei) = 1 m

n α=m+1

(∑m i=1

ζiiα )

eα, (2.13)

(4)

whereζijα =g(

ζ(ei, ej), eα

)andζijα=g(

ζ(ei, ej), eα

). Moreover, the squared Mean curvatures are given by [12]

||H||2= 1 m2

n α=m+1

(∑m i=1

ζiiα )2

, ||H||2= 1 m2

n α=m+1

(∑m i=1

ζiiα )2

.

The scalar curvatureτ atpis given by [12]

τ(p) =

1ijm

g(R(ei, ej)ej, ei) (2.14)

and the normalized scalar curvatureρofMis defined by [12]

ρ= 2τ m(m−1).

The Casorati curvaturesC andC of the submanifoldMcan be expressed as [12]

C= 1 m

n α=m+1

m i,j=1

ijα)2= ||ζ||2

m , C= 1 m

n α=m+1

m i,j=1

ijα)2= ||ζ||2 m .

Now, let us denote ak-dimensional subspace ofTpMbyL, wherek >2 and{ei}k1 as an orthonormal basis ofL. Then,C(L) andC(L) ofLare defined as follows

C(L) = 1 k

n α=m+1

k i,j=1

ijα)2, C(L) = 1 k

n α=m+1

k i,j=1

ijα)2.

We denote

B={C(L) : L is a hyperplane ofTpM}, B={C(L) : Lis a hyperplane ofTpM}.

The normalizedδ-Casorati curvatures δc(m1) and ˜δc(m1) ofMm are given as follows [12]

c(m1)]p = 1 2Cp+

(m+ 1 2m

) infB,δc(m1)]p = 2Cp+

(2m1 2m

) supB.

Moreover, the dual normalizedδ-Casorati curvaturesδc(m1) and ˜δc(m1) of the submanifoldMmare given as [12]

c(m1)]p = 1 2Cp+

(m+ 1 2m

) infB,δc(m1)]p = 2Cp+

(2m1 2m

) supB.

(5)

Then, the generalized normalizedδ-Casorati curvaturesδc(r;m−1) and ˜δc(r;m−1) ofMforA(r, m−1) = (m1)(m+r)[mrm 2mr] are defined as [13]:

c(r;m−1)](p) = rC(p) +A(r, m−1) infB, if 0< r < m(m−1), [˜δc(r;m−1)](p) = rC(p) +A(r, m−1) supB, if r > m(m−1).

Further, the dual generalized normalized δ-Casorati curvatures δc(r;m−1) and

˜δc(r;m−1) of the submanifoldMmare defined as

c(r;m−1)](p) = rC(p) +A(r, m−1) infB, if 0< r < m(m−1), [˜δc(r;m−1)](p) = rC(p) +A(r, m−1) supB, if r > m(m−1).

Here, one can note thatδc(r;m−1) and ˜δc(r;m−1) are the generalized versions of δc(m1) and ˜δc(m1) respectively by substitutingr to m(m21) as

[ δc

(m(m−1) 2 ;m−1

)]

(p) = m(m−1)[δc(m1)](p) and [

δ˜c

(m(m−1) 2 ;m−1

)]

(p) = m(m−1)[˜δc(m1)](p), forp∈ M.

3 Proof of Main Results

First we need a lemma, which plays an important role in the proof of our main theorems.

Lemma 3.1. [16] Let S = {(x1, x2, ..., xm) Rm : x1+x2+...+xm = k} be a hyperplane ofRn andf :Rm→R a quadratic form stated as

f(x1, x2, ..., xm) =a

m1 i=1

(xi)2+b(xm)22 ∑

1i<jm

xixj, a >0, b >0.

Then by the constrained extremum problem,f has a global solution given by x1=x2=...=xm1= k

a+ 1, xn = k

b+ 1 = (a−m+ 2) k a+ 1, whereb= amm+21 .

Using (2.4) and (2.11) in (2.14), we get

2τ =m(m−1)c+m2g(H, H)g(ζ(ei, ej), ζ(ei, ej)).

(3.1)

By the virtue of 2H = H +H, we have 4||H||2 = ||H||2+||H||2+ 2g(H, H) which yields

m(m−1)c= 2τ2m2||H||2+m2 2

(||H||2+||H||2)

+2mC−m

2(C+C).

(3.2)

(6)

Proof of the Theorem 1.1 Consider the quadratic polynomialP given by

P = 2rC+2(m1)(m+r)(m2−m−r)

rm C(L)

−m2 2

(||H||2+||H||2) +m

2(C+C) +m(m−1)c.

(3.3)

Using (3.2) and writing the expression in the indices form, we derive P =

n α=m+1

[2r m

m i,j=1

ijα)2+

m1 i,j=1

2(m+r)(m2−m−r) rmijα)2 +1

2

m i,j=1

((ζijα)2+ (ζijα)2)]

2m2||H||2+ 2mC−m

2 (C+C)

=

n α=m+1

[ 2

((m1)(m+r)

r 1

)m1 i=1

iiα)2+4(m1)(m+r) r

m1 1=i<j

ijα)2

+ 4 (r

m+ 1 )m1

i=1

imα)2+2r

mmmα )24

m 1i<j

ζiiαζjjα ]

P 2

n α=m+1

[((m1)(m+r)

r 1

)m1 i=1

iiα)2+ r

mmmα )22

m 1i<j

ζiiαζjjα ]

. Now, we consider a real valued functionFα:Rn→Rgiven by

Fα11α, ..., ζmmα ) =

((m1)(m+r)

r 1

)m1 i=1

iiα)2+ r

mmmα )22

m 1i<j

ζiiαζjjα. We start with the optimization dilemma for invariant real constantKα

minFα

subjected toP :ζ11α+ζ22α+...+ζmmα =Kα By comparing this optimization problem with the Lemma 3.1, we get

a= (m1)(m+r)

r 1, b= r m

Next, using simple calculations the partial derivative ofFα for i∈ {1,2, ...., m1} are given as

(3.4)

{ F

α

∂ζiiα = 2(m+r)(mr 1)ζiiα2∑m k=1ζkkα,

Fα

∂ζmmα = 2rmζmmα 2∑m1 k=1 ζkkα.

Now, to get an extremum solution (ζ11α, ζ22α, ..., ζmmα ) of the constraintP, the vector gradFα TM at Fα. From system of equation (3.4), the critical point of the optimized problem is outlined by

11α, ζ22α, ..., ζmmα ) = (

m(m−1),

m(m−1), ... ,

m(m−1), λ) (3.5)

(7)

Since∑m

i=1ζiiα=Kα, (3.5) implies that (r+m)λm =Kα orλ= mr+mKα. Thus, finally we have

ζiiα = rKα

(r+m)(m−1) = Kα

a+ 1; for 1≤i≤m−1, ζmmα = mKα

m+r = Kα b+ 1. Thus, we haveP 0 which yields

2τ(p)2rC+2(m1)(m+r)(m2−m−r)

rm C(L)−m2 2

(||H||2+||H||2) +m

2(C+C) +m(m−1)c or

ρ≤c(r, m1)

m(m−1) +c− m m−1

(2||H||2−g(H, H))

+ 1

2(m1)(C+C)

= 2δc(r, m1)

m(m−1) +c− 2m

m−1||H||2+ m

m−1g(H, H) + C m−1 where 2C=C+C. This completes the proof of Theorem 1.1.

Proof of the Theorem 1.2

We consider the quadratic polynomialQby Q=−r

2(C+C)(m1)(m+r)(m2−m−r) 2rn

(C(L) +C(L))

2τ(p) + 2m2||H||2

2mC+m(m−1)c

=

n α=m+1

[ r 2m

m i,j=1

((ζijα)2+ (ζijα)2)

+(m+r)(m2−m−r) 2rm

m1 i,j=1

((ζijα)2+ (ζijα)2)]

+m2 2

(||H||2+||H||2)

1 2

n α=m+1

m i,j=1

((ζijα)2+ (ζijα)2)

=

n α=m+1

[

((m+r)(m−1)

2r 1

2 )m1

i=1

((ζiiα)2+ (ζiiα)2)

r 2m

((ζmmα )2+ (ζmmα )2)

(m+r)(m−1) r

m1 1=i<j

((ζijα)2+ (ζijα)2) +

m 1i<j

iiαζjjα +ζiiαζjjα)

(r m+ 1

)m1

i=1

(

imα )2+ (ζimα)2 )]

(8)

On multiplying by -2, above relation reduced to

2Q=

n α=m+1

[((m+r)(m−1)

r 1

)m1 i=1

(

iiα)2+ (ζiiα)2 )

+ r m

(

mmα )2+ (ζmmα )2 )

+2(m+r)(m−1) r

m1 1=i<j

(

ijα)2+ (ζijα)2 )2

m 1i<j

iiαζjjα +ζiiαζjjα)

+ 2 (r

m+ 1 )m1

i=1

(

imα )2+ (ζimα)2 )]

n α=m+1

[((m+r)(m−1)

r 1

)m1 i=1

(

iiα)2+ (ζiiα)2 )

+ r m

(

mmα )2+ (ζmmα )2 )

2

m 1i<j

iiαζjjα +ζiiαζjjα) ]

Forα=m+ 1, ..., n, consider a real valued function Gα:R2m→Rgiven by Gα11α, ..., ζmmα , ζ11α, ..., ζmmα ) =

((m+r)(m−1)

r 1

)n1 i=1

(

iiα)2+ (ζiiα)2 )

2

m 1i<j

iiαζjjα +ζiiαζjjα) + r m

(

mmα )2+ (ζmmα )2 )

and optimization dilemma for invariant real constantstα andlα minGα

subjected toQα=ζ11α +...+ζmmα =tα and ζ11α+...ζmmα =lα.

Now, with the virtue of some simple computations, the partial derivative ofGα for i∈ {1,2, ...., m1}are given by

(3.6)











Gα

∂ζiiα = 2(m+r)(mr 1)ζiiα2∑m k=1ζkkα,

Gα

∂ζiiα = 2(m+r)(mr 1)ζiiα2∑m k=1ζkkα,

Gα

∂ζαmm =2rmζmmα 2∑m1 k=1 ζkkα,

Gα

∂ζα

mm =2rmζmmα 2∑m1 k=1 ζkkα,

From system of equations (3.6), the critical point of the optimized problem outlined by

11α, ..., ζmmα , ζ11α, ..., ζmmα ) =

(

m(m−1),

m(m−1), .. , m(m−1), λ,

m(m−1),

m(m−1), .. , m(m−1), λ

) (3.7)

(9)

Since ∑m

i=1ζiiα = Kα and ∑m

i=1ζiiα = lα, (3.7) implies that (r+m)λm = Kα and

(r+m)λ

m =lα forλ= mr+mKα and λ = r+mmlα respectively. Thus, we have the critical points as follows

ζiiα = rtα

(m1)(m+r) = tα

a+ 1, ζiiα = rlα

(m1)(m+r) = lα

a+ 1; 1≤i≤m−1, ζmmα = mtα

m+r = tα

b+ 1, ζmmα = mlα

m+r = lα b+ 1, whereaandbhave the following forms

a= (m1)(m+r)

r 1, b= r m,

such thatGα11α, ..., ζmmα , ζ11α, ..., ζmmα ) = 0. Hence, we have2Q0 or,Q≤0.

From this, we deduce that 2τ(p)≥ −r

2(C+C)(m1)(m+r)(m2−m−r) 2rm

(C(L) +C(L)) + 2m2||H||22mC+m(m−1)c

=−δc(r, m1)

2 −δc(r, m1)

2 + 2m2||H||22mC+m(m−1)c which yields

ρ≥ −δc(r, m1)

2m(m1) −δc(r, m1)

2m(m1) + 2m

m−1||H||2 2

m−1C+c or

ρ≥ −δc(r, m1)

m(m−1) + 2m

m−1||H||2 2

m−1C+c where 2δc(r, m1) =δc(r, m1) +δc(r, m1).

This completes the proof of Theorem 1.2.

4 Glimpse of an Application: Divergence of Mean curvature vector field of statistical manifold

In this section, we deliberate an immediate application of obtained result using the relation of divergence of Mean curvature vector field with their inner product.

Proposition 4.1. Let Mmbe a statistical submanifold of statistical manifoldNn(c) of constant curvaturec. Then, we have

ρ≤c(r, m1) m(m−1) + C

m−1 2m

m−1||H||2 divHp (m1) +c, (4.1)

wherec(r, m1) =δc(r, m1) +δc(r, m1)anddivHp denotes the divergence of the Mean curvature vector fieldHp at a pointp∈ M.

(10)

Proof. For an orthonormal basis{ei}m1 ofTpM, we know the divergence ofHp asso- ciated to the connection is given by

divHp=

m i=1

g(eiH, ei)

=1 m

m i,j=1

g(eiζ(ej, ej), ei).

(4.2)

Sinceg(ζ(ej, ej), ei) = 0, it implies

g(eiζ(ej, ej), ei) =g(ζ(ej, ej),eiei)

=g(ζ(ej, ej), ζ(ej, ej))

=−m2g(H, H) (4.3)

Using (4.3) in (4.2), we arrive

divHp=−mg(H, H).

(4.4)

Using above relation in Theorem 1.1, we get our desired inequality (4.1) and this

completes the proof.

Acknowledgements. Authors wishes to express sincere thanks to the referees for their valuable suggestions and comments towards the improvement of the paper.

References

[1] S. Amari, Differential-Geometrical Methods in Statistics, Springer, (New York) (1985).

[2] M. E. Aydin, A. Mihai, I. Mihai,Some inequalities on submanifolds in statistical manifolds of constant curvature, Filomat. 29 (2015), 465-477.

[3] P. Bansal, M. H. Shahid,Optimization approach for bounds involving generalized normalized δ-Casorati curvatures, Advances in Intelligent System and Comput- ing. 741 (2019), 227-237.

[4] P. Bansal, M. H. Shahid,Bounds of generalized normalizedδ-Casorati curvatures for real hypersurfaces in the complex quadric, Arab. J. Math. (2018), 1-11.

[5] P. Bansal, M. H. Shahid, Lower bounds of generalized normalized δ-Casorati curvature for real hypersurfaces in complex quadric endowed with semi-symmetric metric connection, Tamkang Journal of Mathematics 50, 2 (2019).

[6] F. Casorati, Mesure de la courbure des surfaces suivant lidee commune, Acta Math. 14 (1890), 95-110.

[7] S. Decu, S. Haesen, L. Verstraelen,Optimal inequalities involving Casorati cur- vatures, Bull. Transilv. Univ. Brasov Ser. B (N.S.). 14 (2007), 85-93.

[8] S. Decu, S. Haesen, L. Verstraelen, G. E. Vilcu,Curvature invariants of statistical submanifolds in Kenmotsu statistical manifolds of constantϕ-sectional curvature, Entropy. 20, 529 (2018).

[9] H. Furuhata,Hypersurfaces in statistical manifolds, Differential Geom. Appl. 27 (2009), 420-429.

(11)

[10] S. Haesen, D. Kowalczyk, L. Verstralelen,On the extrinsic principal directions of Riemannnian submanifolds, Note Math. 29 (2009), 41-53.

[11] C. W. Lee, J. W. Lee, G. E. Vilcu, Optimal inequalities for the normalized δ- Casorati curvatures of submanifolds in Kenmotsu space forms, Advances in Ge- ometry. (2017).

[12] C. W. Lee, D. W. Yoon, J. W. Lee,A pinching theorem for statistical manifolds with Casorati curvatures, J. Nonlinear Sci. Appl. 10 (2017), 4908-4914.

[13] J. W. Lee, G. E. Vilcu,Inequalities for generalized normalized δ-Casorati curva- tures of slant submanifolds in quaternionic space forms, Taiwanese J. Math. 19 (2015), 691-702.

[14] B. Opozda,Bockner’s technique for statistical structures, preprint, (2014).

[15] B. Opozda,A sectional curvature for statistical structures, arXiv: 1504.01279v1 [math.DG], (2015).

[16] M. M. Tripathi,Inequalities for algebraic Casorati curvatures and their applica- tions, Note Mat. 37 (2017), 161-186.

[17] A. D. Vilcu, G. E. Vilcu,Statistical Manifolds with almost Quaternionic Struc- tures and Quaternionic Kahler-like Statistical Submersions, Entropy. 17 (2015), 6213-6228.

[18] P. W. Vos,Fundamental equations for statistical submanifolds with applications to the Bartlett correction, Ann. Inst. Statist. Math. 41 (1989), 429-450.

[19] P. Zhang, L. Zhang,Inequalities for Casorati curvatures of submanifolds in real space forms, Adv. Geom. 16 (2016), 329-335.

Authors’ addresses:

Pooja Bansal and Mohammad Hasan Shahid

Department of Mathematics, Faculty of Natural Sciences, Islamia, New Delhi-110025, India.

E-mail: [email protected] , hasan [email protected] Mehraj Ahmad Lone

Department of Mathematics,

NIT Srinagar, Hazratbal-190006, India.

E-mail: [email protected]

参照

関連したドキュメント

Let ¯ M be an n-dimensional almost contact metric manifold with almost contact metric structure (φ, ξ , η, g).. In 1985, Oubina introduced a new class of almost contact

Index form and application of null curvature pinching In the present section we deal with the application of Index form of non null geodesics of CR-lightlike submanifold of an

In this paper we study nontrivial warped product submanifolds of a Kenmotsu manifold and in this study there emerge natural problems of finding the estimates of the squared norm

Economic and vital statistics were the Society’s staples but in the 1920s a new kind of statistician appeared with new interests and in 1933-4 the Society responded by establishing

This Lecture is devoted to a review of the relevant mathematical concepts, such as Lie algebroid, Courant bracket, Dirac structure and generalized complex geometry (also its

In [4] there are important results that relate the statis- tical convergence to classical properties of Banach spaces.. In [2], the weakly unconditionally Cauchy series

This idea turns out very useful functional tool to resolve many convergence problems arising in Fourier Analysis, Ergodic Theory, Number Theory and Analysis... It is denoted by x k

In [11] the concept of peak points of real valued sequences has been de…ned and its relation between statistical monotonicity and statistical convergence has been investi- gated..