Research Article Some Curvature Properties of -Manifolds LCS

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 380657, 6 pages
http://dx.doi.org/10.1155/2013/380657
Research Article
Some Curvature Properties of (LCS)𝑛-Manifolds
Mehmet Atçeken
Department of Mathematics, Faculty of Arts and Science, Gaziosmanpasa University, 60100 Tokat, Turkey
Correspondence should be addressed to Mehmet Atçeken; mehmet.atceken382@gmail.com
Received 14 January 2013; Revised 4 March 2013; Accepted 6 March 2013
Academic Editor: Narcisa C. Apreutesei
Copyright © 2013 Mehmet AtcΜ§eken. This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The object of the present paper is to study (LCS)𝑛 -manifolds with vanishing quasi-conformal curvature tensor. (LCS)𝑛 -manifolds
satisfying Ricci-symmetric condition are also characterized.
1. Introduction
Recently, in [1], Shaikh introduced and studied Lorentzian
concircular structure manifolds (briefly (LCS)-manifold)
which generalizes the notion of LP-Sasakian manifolds,
introduced by Matsumoto [2].
Generalizing the notion of LP-Sasakian manifold in 2003
[1], Shaikh introduced the notion of (LCS)𝑛 -manifolds along
with their existence and applications to the general theory
of relativity and cosmology. Also, Shaikh and his coauthors
studied various types of (LCS)𝑛 -manifolds by imposing the
curvature restrictions (see [3–6]). In [7, 8], the authors also
studied (LCS)2𝑛+1 -manifolds.
The submanifold of an (LCS)𝑛 -manifold is studied by
Atceken and Hui [9, 10] and Shukla et al. [11]. In [12], Yano
and Sawaki introduced the quasi-conformal curvature tensor,
and later it was studied by many authors with curvature
restrictions on various structures [13].
After then, the same author studied weakly symmetric
(LCS)𝑛 -manifolds by several examples and obtain various
results in such manifolds. In [7], authors shown that a pseudo
projectively flat and pseudo projectively recurrent (LCS)𝑛
manifolds are πœ‚-Einstein manifold.
On the other hand, in [5], authors proved the existence
of πœ™-recurrent (LCS)3 manifold which is neither locally
symmetric nor locally πœ™-symmetric by nontrivial examples.
Furthermore, they also give the necessary and sufficient
conditions for a (LCS)𝑛 -manifold to be locally πœ™-recurrent.
In this study, we have investigated the quasi-conformal
flat (LCS)𝑛 -manifolds satisfying properties such as Riccisymmetric, locally symmetric, and πœ‚-Einstein. Finally, we
give an example for πœ‚-Einstein manifolds.
2. Preliminaries
An 𝑛-dimensional Lorentzian manifold 𝑀 is a smooth connected paracompact Hausdorff manifold with a Lorentzian
metric tensor 𝑔, that is, 𝑀 admits a smooth symmetric tensor
field 𝑔 of the type (2, 0) such that, for each 𝑝 ∈ 𝑀,
𝑔𝑝 : 𝑇𝑀 (𝑝) × π‘‡π‘€ (𝑝) 󳨀→ R
(1)
is a nondegenerate inner product of signature (−, +, +, . . . , +).
In such a manifold, a nonzero vector 𝑋𝑝 ∈ 𝑇𝑀(𝑝) is said to be
timelike (resp., nonspacelike, null, and spacelike) if it satisfies
the condition 𝑔𝑝 (𝑋𝑝 , 𝑋𝑝 ) < 0 (resp., ≤0, =0, >0). These cases
are called casual character of the vectors.
Definition 1. In a Lorentzian manifold (𝑀, 𝑔), a vector field 𝑃
defined by
𝑔 (𝑋, 𝑃) = 𝐴 (𝑋)
(2)
for any 𝑋 ∈ Γ(𝑇𝑀) is said to be a concircular vector field if
(∇𝑋 𝐴) π‘Œ = 𝛼 {𝑔 (𝑋, π‘Œ) + 𝑀 (𝑋) 𝐴 (π‘Œ)}
(3)
for π‘Œ ∈ Γ(𝑇𝑀), where 𝛼 is a nonzero scalar function, 𝐴 is a
1-form, 𝑀 is also closed 1-form, and ∇ denotes the Levi-Civita
connection on 𝑀 [7].
2
Abstract and Applied Analysis
Let 𝑀 be a Lorentzian manifold admitting a unit timelike
concircular vector field πœ‰, called the characteristic vector field
of the manifold. Then we have
𝑔 (πœ‰, πœ‰) = −1.
(4)
Since πœ‰ is a unit concircular unit vector field, there exists a
nonzero 1-form πœ‚ such that
𝑔 (𝑋, πœ‰) = πœ‚ (𝑋) .
(5)
Μƒ (𝑋, π‘Œ) 𝑍 = 𝑅 (𝑋, π‘Œ) 𝑍
𝐢
The equation of the following form holds:
(∇𝑋 πœ‚) π‘Œ = 𝛼 {𝑔 (𝑋, π‘Œ) + πœ‚ (𝑋) πœ‚ (π‘Œ)} ,
for all vector fields 𝑋, π‘Œ, 𝑍 on 𝑀, where 𝑅 and 𝑆 denote the
Riemannian curvature tensor and Ricci curvature, respectively, 𝑄 is also the Ricci operator given by 𝑆(𝑋, π‘Œ) =
𝑔(𝑄𝑋, π‘Œ).
Now let (𝑀, 𝑔) be an 𝑛-dimensional Riemannian manΜƒ the Weyl
ifold; then the concircular curvature tensor 𝐢,
conformal curvature tensor 𝐢, and the pseudo projective
Μƒ are, respectively, defined by
curvature tensor 𝑃
𝛼 =ΜΈ 0
(6)
for all 𝑋, π‘Œ ∈ Γ(𝑇𝑀), where 𝛼 is a nonzero scalar function
satisfying
∇𝑋 𝛼 = 𝑋 (𝛼) = 𝑑𝛼 (𝑋) = πœŒπœ‚ (𝑋) ,
(7)
𝜌 being a certain scalar function given by 𝜌 = −πœ‰(𝛼).
Let us put
∇π‘‹πœ‰ = π›Όπœ™π‘‹,
−
𝐢 (𝑋, π‘Œ) 𝑍 = 𝑅 (𝑋, π‘Œ) 𝑍 −
(8)
(9)
πœ‚ (πœ‰) = 𝑔 (πœ‰, πœ‰) = −1,
(10)
πœ™2 𝑋 = 𝑋 + πœ‚ (𝑋) πœ‰,
(11)
𝑔 (𝑋, πœ‰) = πœ‚ (𝑋) ,
(12)
πœ‚βˆ˜πœ™=0
(13)
for all 𝑋 ∈ Γ(𝑇𝑀). Particularly, if we take 𝛼 = 1, then we can
obtain the 𝐿𝑃-Sasakian structure of Matsumoto [2].
Also, in an (LCS)𝑛 -manifold 𝑀, the following relations
are satisfied (see [3–6]):
πœ‚ (𝑅 (𝑋, π‘Œ) 𝑍) = (𝛼2 − 𝜌) [𝑔 (π‘Œ, 𝑍) πœ‚ (𝑋) − 𝑔 (𝑋, 𝑍) πœ‚ (π‘Œ)] ,
(14)
𝑅 (πœ‰, 𝑋) π‘Œ = (𝛼2 − 𝜌) [𝑔 (𝑋, π‘Œ) πœ‰ − πœ‚ (π‘Œ) 𝑋] ,
(15)
𝑅 (𝑋, π‘Œ) πœ‰ = (𝛼2 − 𝜌) [πœ‚ (π‘Œ) 𝑋 − πœ‚ (𝑋) π‘Œ] ,
(16)
(∇𝑋 πœ™) π‘Œ = 𝛼 [𝑔 (𝑋, π‘Œ) πœ‰ + 2πœ‚ (𝑋) πœ‚ (π‘Œ) πœ‰ + πœ‚ (π‘Œ) 𝑋] , (17)
𝑆 (𝑋, πœ‰) = (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋) ,
𝑆 (πœ™π‘‹, πœ™π‘Œ) = 𝑆 (𝑋, π‘Œ) + (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
1
𝑛−2
+𝑔 (π‘Œ, 𝑍) 𝑄𝑋 − 𝑔 (𝑋, 𝑍) π‘„π‘Œ]
which tell us that πœ™ is a symmetric (1, 1)-tensor. Thus the
Lorentzian manifold 𝑀 together with the unit timelike
concircular vector field πœ‰, its associated 1-form πœ‚, and (1, 1)type tensor field πœ™ is said to be a Lorentzian concircular
structure manifold.
A differentiable manifold 𝑀 of dimension 𝑛 is called
(LCS)-manifold if it admits a (1, 1)-type tensor field πœ™, a
covariant vector field πœ‚, and a Lorentzian metric 𝑔 which
satisfy
πœ™πœ‰ = 0,
(20)
× [𝑆 (π‘Œ, 𝑍) 𝑋 − 𝑆 (𝑋, 𝑍) π‘Œ
+
then from (6) and (8), we can derive
πœ™π‘‹ = 𝑋 + πœ‚ (𝑋) πœ‰,
𝜏
[𝑔 (π‘Œ, 𝑍) 𝑋 − 𝑔 (𝑋, 𝑍) π‘Œ] ,
𝑛 (𝑛 − 1)
(18)
(19)
𝜏
[𝑔 (π‘Œ, 𝑍) 𝑋 − 𝑔 (𝑋, 𝑍) π‘Œ] ,
(𝑛 − 1) (𝑛 − 2)
(21)
Μƒ (𝑋, π‘Œ) 𝑍 = π‘Žπ‘… (𝑋, π‘Œ) 𝑍
𝑃
+ 𝑏 [𝑆 (π‘Œ, 𝑍) 𝑋 − 𝑆 (𝑋, 𝑍) π‘Œ]
−
𝜏
π‘Ž
[
+ 𝑏] [𝑔 (π‘Œ, 𝑍) 𝑋 − 𝑔 (𝑋, 𝑍) π‘Œ] ,
𝑛 𝑛−1
(22)
where π‘Ž and 𝑏 are constants such that π‘Ž, 𝑏 =ΜΈ 0, and 𝜏 is also
the scalar curvature of 𝑀 [7].
For an 𝑛-dimensional (LCS)𝑛 -manifold the quasiΜƒ is given by
conformal curvature tensor C
Μƒ (𝑋, π‘Œ) 𝑍 = π‘Žπ‘… (𝑋, π‘Œ) 𝑍
C
+ 𝑏 [𝑆 (π‘Œ, 𝑍) 𝑋 − 𝑆 (𝑋, 𝑍) π‘Œ
+𝑔 (π‘Œ, 𝑍) 𝑄𝑋 − 𝑔 (𝑋, 𝑍) π‘„π‘Œ]
−
𝜏
π‘Ž
[
+ 2𝑏] [𝑔 (π‘Œ, 𝑍) 𝑋 − 𝑔 (𝑋, 𝑍) π‘Œ]
𝑛 𝑛−1
(23)
for all 𝑋, π‘Œ, 𝑍 ∈ Γ(𝑇𝑀) [14].
The notion of quasi-conformal curvature tensor was
defined by Yano and Swaki [12]. If π‘Ž = 1 and 𝑏 = −1/(𝑛 − 1),
then quasi-conformal curvature tensor reduces to conformal
curvature tensor.
3. Quasi-Conformally Flat (LCS)𝑛 -Manifolds
and Some of Their Properties
For an 𝑛-dimensional quasi-conformally flat (LCS)𝑛 -manifold, we know for 𝑍 = πœ‰ from (23),
Abstract and Applied Analysis
3
π‘Žπ‘… (𝑋, π‘Œ) πœ‰ + 𝑏 [𝑆 (π‘Œ, πœ‰) 𝑋 − 𝑆 (𝑋, πœ‰) π‘Œ
In view of (28) and (29), we obtain
+𝑔 (π‘Œ, πœ‰) 𝑄𝑋 − 𝑔 (𝑋, πœ‰) π‘„π‘Œ]
−
π‘Ž
𝜏
[
+ 2𝑏] [𝑔 (π‘Œ, πœ‰) 𝑋 − 𝑔 (𝑋, πœ‰) π‘Œ] = 0.
𝑛 𝑛−1
𝑄𝑋 = (𝑛 − 1) (𝛼2 − 𝜌) 𝑋
(25)
𝜏
π‘Ž
(
+ 2𝑏)
𝑛 𝑛−1
(26)
Now let us consider an (LCS)𝑛 -manifold 𝑀 which is
conformally flat. Thus we have from (21) that
𝑅 (𝑋, π‘Œ) 𝑍 =
+ 𝑏 [−𝑄𝑋 − πœ‚ (𝑋) (𝑛 − 1) (𝛼2 − 𝜌) πœ‰] = 0.
−
[𝑔 (𝑋, π‘Œ) + πœ‚ (𝑋) πœ‚ (π‘Œ)] [π‘Ž (𝛼2 − 𝜌) + 𝑏 (𝑛 − 1)
𝜏
π‘Ž
(
+ 2𝑏)]
𝑛 𝑛−1
𝜏
{𝑔 (π‘Œ, 𝑍) 𝑋 − 𝑔 (𝑋, 𝑍) π‘Œ} ,
(𝑛 − 1) (𝑛 − 2)
(33)
for all vector fields 𝑋, π‘Œ, 𝑍 tangent to 𝑀. Setting 𝑍 = πœ‰ in (33)
and using (16), (18) we have
[
+ 𝑏 [𝑆 (𝑋, π‘Œ) + πœ‚ (𝑋) πœ‚ (π‘Œ) (𝛼2 − 𝜌) (𝑛 − 1)] = 0,
(27)
that is,
1
{𝑆 (π‘Œ, 𝑍) 𝑋 − 𝑆 (𝑋, 𝑍) π‘Œ
𝑛−2
+𝑔 (π‘Œ, 𝑍) 𝑄𝑋 − 𝑔 (𝑋, 𝑍) π‘„π‘Œ}
Taking the inner product on both sides of the last equation by
π‘Œ, we obtain
× (𝛼2 − 𝜌) −
(32)
Theorem 3. A quasi-conformally flat (LCS)𝑛 -manifold M (𝑛 >
1) is a manifold of constant curvature (𝛼2 − 𝜌) provided that
π‘Ž + 𝑏(𝑛 − 2) =ΜΈ 0.
Let π‘Œ = πœ‰ be in (25); then also by using (18) we obtain
+ 𝑏 (𝑛 − 1) (𝛼 − 𝜌) ]
𝑅 (𝑋, π‘Œ) 𝑍 = (𝛼2 − 𝜌) {𝑔 (π‘Œ, 𝑍) 𝑋 − 𝑔 (𝑋, 𝑍) π‘Œ} ,
for all 𝑋, π‘Œ, 𝑍 ∈ Γ(𝑇𝑀). If we consider Schur’s Theorem, we
can give the following the theorem.
+ 𝑏 [πœ‚ (π‘Œ] 𝑄𝑋 − πœ‚ (𝑋) π‘„π‘Œ] = 0.
2
(31)
for any 𝑋 ∈ Γ(𝑇𝑀).
By using (29) and (31) in (23) for a quasi-conformally flat
(LCS)𝑛 -manifold 𝑀, we get
[πœ‚ (π‘Œ) 𝑋 − πœ‚ (𝑋) π‘Œ] [π‘Ž (𝛼2 − 𝜌) + 𝑏 (𝑛 − 1) (𝛼2 − 𝜌)
[−𝑋 − πœ‚ (𝑋) πœ‰] [π‘Ž (𝛼2 − 𝜌) −
(30)
which is equivalent to
Here, taking into account of (16), we have
𝜏
π‘Ž
− (
+ 2𝑏)]
𝑛 𝑛−1
𝑆 (𝑋, π‘Œ) = (𝑛 − 1) (𝛼2 − 𝜌) 𝑔 (𝑋, π‘Œ) ,
(24)
𝜏
− (𝛼2 − 𝜌)] [πœ‚ (π‘Œ) 𝑋 − πœ‚ (𝑋) π‘Œ]
𝑛−1
(34)
= [πœ‚ (π‘Œ) 𝑄𝑋 − πœ‚ (𝑋) π‘„π‘Œ] .
If we put π‘Œ = πœ‰ in (34) and also using (18), we obtain
𝑆 (𝑋, π‘Œ) = 𝑔 (𝑋, π‘Œ)
×[
𝑄𝑋 = [
𝜏
π‘Ž
π‘Ž
(
+ 2𝑏) − (𝛼2 − 𝜌) ( + (𝑛 − 1))]
𝑛𝑏 𝑛 − 1
𝑏
𝜏
π‘Ž
+ πœ‚ (𝑋) πœ‚ (π‘Œ) [ (
+ 2𝑏)
𝑛𝑏 𝑛 − 1
π‘Ž
− (𝛼2 − 𝜌) ( + 2 (𝑛 − 1))] .
𝑏
(28)
Now we are in a proposition to state the following.
Theorem 2. If an 𝑛-dimensional (LCS)𝑛 -manifold 𝑀 is quasiconformally flat, then 𝑀 is an πœ‚-Einstein manifold.
Now, let {𝑒1 , 𝑒2 , . . . , 𝑒𝑛−1 , πœ‰} be an orthonormal basis of the
tangent space at any point of the manifold. Then putting 𝑋 =
π‘Œ = 𝑒𝑖 , πœ‰ in (28), and taking summation for 1 ≤ 𝑖 ≤ 𝑛 − 1, we
have
𝜏 = 𝑛 (𝑛 − 1) (𝛼2 − 𝜌)
if π‘Ž + (𝑛 − 2) 𝑏 =ΜΈ 0.
(29)
𝜏
𝜏
− (𝛼2 − 𝜌)] 𝑋 + [
− 𝑛 (𝛼2 − 𝜌)] πœ‚ (𝑋) πœ‰.
𝑛−1
𝑛−1
(35)
Corollary 4. A conformally flat (LCS)𝑛 -manifold is an πœ‚Einstein manifold.
Generalizing the notion of a manifold of constant curvature, Chen and Yano [15] introduced the notion of a manifold
of quasi-constant curvature which can be defined as follows:
Definition 5. A Riemannian manifold is said to be a manifold
of quasi-constant curvature if it is conformally flat and its
Μƒ of type (0, 4) is of the form
curvature tensor 𝑅
Μƒ (𝑋, π‘Œ, 𝑍, π‘Š)
𝑅
= π‘Ž {𝑔 (π‘Œ, 𝑍) 𝑔 (𝑋, π‘Š) − 𝑔 (𝑋, 𝑍) 𝑔 (π‘Œ, π‘Š)}
+ 𝑏 {𝑔 (π‘Œ, 𝑍) 𝐴 (𝑋) 𝐴 (π‘Š) − 𝑔 (𝑋, 𝑍) 𝐴 (π‘Œ) 𝐴 (π‘Š)
+𝑔 (𝑋, π‘Š) 𝐴 (π‘Œ) 𝐴 (𝑍) − 𝑔 (π‘Œ, π‘Š) 𝐴 (𝑋) 𝐴 (𝑍)} ,
(36)
4
Abstract and Applied Analysis
for all 𝑋, π‘Œ, 𝑍, π‘Š ∈ Γ(𝑇𝑀), where π‘Ž, 𝑏 are scalars of which
𝑏 =ΜΈ 0 and 𝐴 is a nonzero 1-form (for more details, we refer to
[13, 16]).
Thus we have the following theorem for (LCS)𝑛 -conformally flat manifolds.
Theorem 6. A conformally flat (LCS)𝑛 -manifold is a manifold
of quasi-constant curvature.
Μƒ (𝑋, π‘Œ, 𝑍, π‘Š)
𝑅
𝜏 − 2 (𝑛 − 1) (𝛼2 − 𝜌)
(𝑛 − 1) (𝑛 − 2)
+ 𝑆 (𝑋, ∇π‘Šπ‘Œ) + (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
Here taking account of (17), we arrive at
(𝑛 − 1) (𝑛 − 2)
(∇π‘Šπ‘†) (πœ™π‘‹, πœ™π‘Œ) − (∇π‘Šπ‘†) (𝑋, π‘Œ)
)
= −𝑆 (𝛼 {𝑔 (𝑋, π‘Š) πœ‰ + 2πœ‚ (𝑋) πœ‚ (W) πœ‰ + πœ‚ (𝑋) π‘Š} , πœ™π‘Œ)
− 𝑆 (πœ™π‘‹, 𝛼 {𝑔 (π‘Œ, π‘Š) πœ‰ + 2πœ‚ (π‘Œ) πœ‚ (π‘Š) πœ‰ + πœ‚ (π‘Œ) π‘Š})
× {𝑔 (𝑋, π‘Š) πœ‚ (π‘Œ) πœ‚ (𝑍) − 𝑔 (π‘Œ, π‘Š) πœ‚ (𝑋) πœ‚ (𝑍)
+𝑔 (π‘Œ, 𝑍) πœ‚ (𝑋) πœ‚ (π‘Š) − 𝑔 (𝑋, 𝑍) πœ‚ (π‘Œ) πœ‚ (π‘Š)} .
(37)
− 𝑆 (πœ™π‘‹, πœ™∇π‘Šπ‘Œ) + 𝑆 (∇π‘Šπ‘‹, π‘Œ)
+ 𝑆 (𝑋, ∇π‘Šπ‘Œ) + (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
− 𝑆 (πœ™∇π‘Šπ‘‹, πœ™π‘Œ) + (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (π‘Œ)
This implies (36) for
𝜏 − 2 (𝑛 − 1) (𝛼2 − 𝜌)
(𝑛 − 1) (𝑛 − 2)
× {πœ‚ (∇π‘Šπ‘‹) + 𝛼𝑔 (𝑋, πœ™π‘Š)} + (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋)
,
(38)
2
𝑏=
− 𝑆 (πœ™π‘‹, (∇π‘Šπœ™) π‘Œ + πœ™∇π‘Šπ‘Œ) + 𝑆 (∇π‘Šπ‘‹, π‘Œ)
)
𝜏 − 𝑛 (𝑛 − 1) (𝛼2 − 𝜌)
π‘Ž=
= −𝑆 ((∇π‘Šπœ™) 𝑋 + πœ™∇π‘Šπ‘‹, πœ™π‘Œ)
+ (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋) {πœ‚ (∇π‘Šπ‘Œ) + 𝛼𝑔 (π‘Œ, πœ™π‘Š)} .
(41)
× {𝑔 (𝑋, π‘Š) 𝑔 (π‘Œ, 𝑍) − 𝑔 (π‘Œ, π‘Š) 𝑔 (𝑋, 𝑍)}
+(
(∇π‘Šπ‘†) (πœ™π‘‹, πœ™π‘Œ) − (∇π‘Šπ‘†) (𝑋, π‘Œ)
+ (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (π‘Œ) {πœ‚ (∇π‘Šπ‘‹) + 𝛼𝑔 (𝑋, πœ™π‘Š)}
Proof. From (33) and (35), we obtain
=(
Thus we have
𝜏 − 𝑛 (𝑛 − 1) (𝛼 − 𝜌)
(𝑛 − 1) (𝑛 − 2)
,
× {πœ‚ (∇π‘Šπ‘Œ) + 𝛼𝑔 (π‘Œ, πœ™π‘Š)}
= −𝛼 {𝑔 (𝑋, π‘Š) 𝑆 (πœ‰, πœ™π‘Œ) + 2πœ‚ (𝑋) πœ‚ (π‘Š) 𝑆 (πœ‰, πœ™π‘Œ)
𝐴 = πœ‚.
+πœ‚ (𝑋) 𝑆 (π‘Š, πœ™π‘Œ)}
This proves our assertion.
− 𝛼 {𝑔 (π‘Œ, π‘Š) 𝑆 (πœ™π‘‹, πœ‰) + 2πœ‚ (π‘Œ) πœ‚ (π‘Š) 𝑆 (πœ™π‘‹, πœ‰)
Next, differentiating the (19) covariantly with respect to
π‘Š, we get
2
∇π‘Šπ‘† (πœ™π‘‹, πœ™π‘Œ) = ∇π‘Šπ‘† (𝑋, π‘Œ) + (𝑛 − 1) π‘Š (𝛼 − 𝜌)
+ (𝑛 − 1) (𝛼2 − 𝜌) π‘Š [πœ‚ (𝑋) πœ‚ (π‘Œ)] ,
(39)
for any 𝑋, π‘Œ ∈ Γ(𝑇𝑀). Making use of the definition of ∇𝑆 and
(8), we have
(∇π‘Šπ‘†) (πœ™π‘‹, πœ™π‘Œ) + 𝑆 (∇π‘Šπœ™π‘‹, πœ™π‘Œ) + 𝑆 (πœ™π‘‹, ∇π‘Šπœ™π‘Œ)
= (∇π‘Šπ‘†) (𝑋, π‘Œ) + 𝑆 (∇π‘Šπ‘‹, π‘Œ) + 𝑆 (𝑋, ∇π‘Šπ‘Œ)
+ (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
+ (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (π‘Œ) {πœ‚ (∇π‘Šπ‘‹) + 𝛼𝑔 (𝑋, πœ™π‘Š)}
+ (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋) {πœ‚ (∇π‘Šπ‘Œ) + 𝛼𝑔 (π‘Œ, πœ™π‘Š)} .
(40)
+πœ‚ (π‘Œ) 𝑆 (πœ™π‘‹, π‘Š)}
− 𝑆 (πœ™π‘‹, πœ™∇π‘Šπ‘Œ) + 𝑆 (∇π‘Šπ‘‹, π‘Œ) + 𝑆 (𝑋, ∇π‘Šπ‘Œ)
− 𝑆 (πœ™∇π‘Šπ‘‹, πœ™π‘Œ) + (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
+ (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (π‘Œ) {πœ‚ (∇π‘Šπ‘‹) + 𝛼𝑔 (𝑋, πœ™π‘Š)}
+ (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋) {πœ‚ (∇π‘Šπ‘Œ) + 𝛼𝑔 (π‘Œ, πœ™π‘Š)} .
(42)
Again, by using (13), (18), and (19), we reach
(∇π‘Šπ‘†) (πœ™π‘‹, πœ™π‘Œ) − (∇π‘Šπ‘†) (𝑋, π‘Œ)
= −π›Όπœ‚ (𝑋) 𝑆 (π‘Š, πœ™π‘Œ) − π›Όπœ‚ (π‘Œ) 𝑆 (πœ™π‘‹, π‘Š)
− (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (∇π‘Šπ‘‹)
− (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (π‘Œ) πœ‚ (∇π‘Šπ‘‹)
Abstract and Applied Analysis
5
+ (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
Corollary 8. If an 𝑛-dimensional (𝐿𝐢𝑆)𝑛 -manifold 𝑀 is
locally symmetric, then 𝛼2 − 𝜌 is constant.
+ (𝑛 − 1) (𝛼2 − 𝜌)
Now, taking the covariant derivation of the both sides of
(18) with respect to π‘Œ, we have
× {πœ‚ (∇π‘Šπ‘‹) πœ‚ (π‘Œ) + π›Όπœ‚ (π‘Œ) 𝑔 (𝑋, πœ™π‘Š)
+πœ‚ (∇π‘Šπ‘Œ) πœ‚ (𝑋) + π›Όπœ‚ (𝑋) 𝑔 (π‘Œ, πœ™π‘Š)}
π‘Œπ‘† (𝑋, πœ‰) = (𝑛 − 1) π‘Š [(𝛼2 − 𝜌) πœ‚ (𝑋)] .
= −π›Όπœ‚ (𝑋) 𝑆 (π‘Š, πœ™π‘Œ) − π›Όπœ‚ (π‘Œ) 𝑆 (πœ™π‘‹, π‘Š)
From the definition of the covariant derivation of Riccitensor, we have
2
+ 𝛼 (𝑛 − 1) (𝛼 − 𝜌)
(∇π‘Œ 𝑆) (𝑋, πœ‰) = ∇π‘Œπ‘† (𝑋, πœ‰) − 𝑆 (∇π‘Œ 𝑋, πœ‰) − 𝑆 (𝑋, ∇π‘Œπœ‰)
× {πœ‚ (π‘Œ) 𝑔 (𝑋, πœ™π‘Š) + πœ‚ (𝑋) 𝑔 (π‘Œ, πœ™π‘Š)}
= (𝑛 − 1) {π‘Œ (𝛼2 − 𝜌) πœ‚ (𝑋) + (𝛼2 − 𝜌)
+ (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ) .
× [πœ‚ (∇π‘Œπ‘‹) + 𝛼𝑔 (𝑋, πœ™π‘Œ)] }
(43)
− (𝑛 − 1) (𝛼2 − 𝜌) πœ‚ (∇π‘Œ 𝑋) − 𝛼𝑆 (𝑋, πœ™π‘Œ)
Thus we have the following theorem.
Theorem 7. If an (LCS)𝑛 -manifold 𝑀 is Ricci-symmetric; then
𝛼2 − 𝜌 is constant.
Proof. If 𝑛 > 1-dimensional (LCS)𝑛 -manifold 𝑀 is Riccisymmetric, then from (43) we conclude that
𝛼 (𝑛 − 1) (𝛼2 − 𝜌) {πœ‚ (π‘Œ) 𝑔 (𝑋, πœ™π‘Š) + πœ‚ (𝑋) 𝑔 (π‘Œ, πœ™π‘Š)}
+ (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‚ (π‘Œ)
+ 𝛼 (𝑛 − 1) (𝛼2 − 𝜌) 𝑔 (𝑋, πœ™π‘Œ) − 𝛼𝑆 (𝑋, πœ™π‘Œ) .
(50)
If an (𝐿𝐢𝑆)𝑛 -manifold 𝑀 Ricci symmetric, then Theorem 7
and (43) imply that
(51)
This leads us to state the following.
(44)
It follows that
𝛼 (𝑛 − 1) (𝛼2 − 𝜌) {𝑔 (𝑋, πœ™π‘Š) πœ‰ − πœ‚ (𝑋) πœ™π‘Š}
(45)
Theorem 9. If an (LCS)𝑛 -manifold 𝑀 is Ricci symmetric, then
it is an Einstein manifold.
Corollary 10. If an (LCS)𝑛 -manifold 𝑀 is locally symmetric,
then it is an Einstein manifold.
In this section, an example is used to demonstrate that the
method presented in this paper is effective. But this example
is a special case of Example 6.1 of [6].
− π›Όπœ‚ (𝑋) πœ™π‘„π‘Š − 𝛼𝑆 (πœ™π‘‹, π‘Š) πœ‰ = 0,
from which
Example 11. Now, we consider the 3-dimensional manifold
− 𝛼 (𝑛 − 1) (𝛼2 − 𝜌) 𝑔 (𝑋, πœ™π‘Š)
− (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) + 𝑆 (πœ™π‘‹, π‘Š) = 0,
= (𝑛 − 1) π‘Œ (𝛼2 − 𝜌) πœ‚ (𝑋)
𝑆 (𝑋, πœ™π‘Œ) = (𝑛 − 1) (𝛼2 − 𝜌) 𝑔 (πœ™π‘Œ, 𝑋) .
− π›Όπœ‚ (𝑋) 𝑆 (π‘Š, πœ™π‘Œ) − π›Όπœ‚ (π‘Œ) 𝑆 (πœ™π‘‹, π‘Š) = 0.
+ (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‚ (𝑋) πœ‰
(49)
(46)
𝑀 = {(π‘₯, 𝑦, 𝑧) ∈ R3 , 𝑧 =ΜΈ 0} ,
(52)
where (π‘₯, 𝑦, 𝑧) denote the standard coordinates in R3 . The
vector fields
which is equivalent to
− 𝛼 (𝑛 − 1) (𝛼2 − 𝜌) πœ™π‘Š − (𝑛 − 1) π‘Š (𝛼2 − 𝜌) πœ‰
+ π›Όπœ™π‘„π‘Š = 0,
(47)
𝑒1 = 𝑒𝑧 (π‘₯
πœ•
πœ•
+ 𝑦 ),
πœ•π‘₯
πœ•π‘¦
𝑒2 = 𝑒𝑧
πœ•
,
πœ•π‘¦
πœ•
𝑒3 =
πœ•π‘§
that is,
π‘Š (𝛼2 − 𝜌) = 0,
(48)
which proves our assertion.
Since ∇𝑅 = 0 implies that ∇𝑆 = 0, we can give the following corollary.
(53)
are linearly independent of each point of 𝑀. Let 𝑔 be the
Lorentzian metric tensor defined by
𝑔 (𝑒1 , 𝑒1 ) = 𝑔 (𝑒2 , 𝑒2 ) = −𝑔 (𝑒3 , 𝑒3 ) = 1,
𝑔 (𝑒𝑖 , 𝑒𝑗 ) = 0,
𝑖 =ΜΈ 𝑗,
(54)
6
Abstract and Applied Analysis
for 𝑖, 𝑗 = 1, 2, 3. Let πœ‚ be the 1-form defined by πœ‚(𝑍) = 𝑔(𝑍, 𝑒3 )
for any 𝑍 ∈ Γ(𝑇𝑀). Let πœ™ be the (1,1)-tensor field defined by
πœ™π‘’1 = 𝑒1 ,
πœ™π‘’2 = 𝑒2 ,
πœ™π‘’3 = 0.
(55)
Then using the linearity of πœ™ and 𝑔, we have πœ‚(𝑒3 ) = −1,
Since πœ‚(𝑍) = −𝑓3 and πœ‚(π‘Š) = −𝑔3 and 𝑔(𝑍, π‘Š) = 𝑓1 𝑔1 +
𝑓2 𝑔2 − 𝑓3 𝑔3 , we have
𝑆 (𝑍, π‘Š) = −𝑒2𝑧 𝑔 (𝑍, π‘Š) − (𝑒2𝑧 + 2) πœ‚ (𝑍) πœ‚ (π‘Š) .
(63)
This tell us that 𝑀 is an πœ‚-Einstein manifold.
2
πœ™ 𝑍 = 𝑍 + πœ‚ (𝑍) 𝑒3 ,
𝑔 (πœ™π‘, πœ™π‘Š) = 𝑔 (𝑍, π‘Š) + πœ‚ (𝑍) πœ‚ (π‘Š) ,
(56)
for all 𝑍, π‘Š ∈ Γ(𝑇𝑀). Thus for πœ‰ = 𝑒3 , (πœ™, πœ‰, πœ‚, 𝑔) defines a
Lorentzian paracontact structure on 𝑀.
Now, let ∇ be the Levi-Civita connection with respect
to the Lorentzian metric 𝑔, and let 𝑅 be the Riemannian
curvature tensor of 𝑔. Then we have
[𝑒1 , 𝑒2 ] = −𝑒𝑧 𝑒2 ,
[𝑒1 , 𝑒3 ] = −𝑒1 ,
[𝑒2 , 𝑒3 ] = −𝑒2 .
(57)
Making use of the Koszul formulae for the Lorentzian metric
tensor 𝑔, we can easily calculate the covariant derivations as
follows:
∇𝑒1 𝑒1 = −𝑒3 ,
∇𝑒2 𝑒1 = 𝑒𝑧 𝑒2 ,
∇𝑒2 𝑒3 = −𝑒2 ,
∇𝑒1 𝑒3 = −𝑒1 ,
∇𝑒2 𝑒2 = −𝑒𝑧 𝑒1 − 𝑒3 ,
(58)
∇𝑒1 𝑒2 = ∇𝑒3 𝑒1 = ∇𝑒3 𝑒2 = ∇𝑒3 𝑒3 = 0.
From the previously mentioned, it can be easily seen that
(πœ™, πœ‰, πœ‚, 𝑔) is an (LCS)3 -structure on 𝑀, that is, 𝑀 is an
(LCS)3 -manifold with 𝛼 = −1 and 𝜌 = 0. Using the
previous relations, we can easily calculate the components of
the Riemannian curvature tensor as follows:
𝑅 (𝑒1 , 𝑒2 ) 𝑒1 = (𝑒2𝑧 − 1) 𝑒2 ,
𝑅 (𝑒1 , 𝑒2 ) 𝑒2 = (1 − 𝑒2𝑧 ) 𝑒1 ,
𝑅 (𝑒1 , 𝑒3 ) 𝑒1 = −𝑒3 ,
𝑅 (𝑒1 , 𝑒3 ) 𝑒3 = −𝑒1 ,
𝑅 (𝑒2 , 𝑒3 ) 𝑒2 = −𝑒3 ,
𝑅 (𝑒2 , 𝑒3 ) 𝑒3 = −𝑒2 ,
𝑅 (𝑒1 , 𝑒2 ) 𝑒3 = 𝑅 (𝑒1 , 𝑒3 ) 𝑒2 = 𝑅 (𝑒2 , 𝑒3 ) 𝑒1 = 0.
(59)
By using the properties of 𝑅 and definition of the Ricci tensor,
we obtain
𝑆 (𝑒1 , 𝑒1 ) = 𝑆 (𝑒2 , 𝑒2 ) = −𝑒2𝑧 ,
𝑆 (𝑒3 , 𝑒3 ) = −2,
𝑆 (𝑒1 , 𝑒2 ) = 𝑆 (𝑒1 , 𝑒3 ) = 𝑆 (𝑒2 , 𝑒3 ) = 0.
(60)
Thus the scalar curvature 𝜏 of 𝑀 is given by
3
𝜏 = ∑𝑔 (𝑒𝑖 , 𝑒𝑖 ) 𝑆 (𝑒𝑖 , 𝑒𝑖 ) = 2 (1 − 𝑒2𝑧 ) .
(61)
𝑖=1
On the other hand, for any 𝑍, π‘Š ∈ Γ(𝑇𝑀), 𝑍 and π‘Š can be
written as 𝑍 = ∑3𝑖=1 𝑓𝑖 𝑒𝑖 and π‘Š = ∑3𝑗=1 𝑔𝑗 𝑒𝑗 , where 𝑓𝑖 and 𝑔𝑖
are smooth functions on 𝑀. By direct calculations, we have
𝑆 (𝑍, π‘Š) = − 𝑒2𝑧 (𝑓1 𝑔1 + 𝑓2 𝑔2 ) − 2𝑓3 𝑔3
= −𝑒2𝑧 (𝑓1 𝑔1 + 𝑓2 𝑔2 − 𝑓3 𝑔3 ) − 𝑓3 𝑔3 (𝑒2𝑧 + 2) .
(62)
Acknowledgment
The authors would like to thank the reviewers for the extremely carefully reading and for many important comments,
which improved the paper considerably.
References
[1] A. A. Shaikh, “On Lorentzian almost paracontact manifolds
with a structure of the concircular type,” Kyungpook Mathematical Journal, vol. 43, no. 2, pp. 305–314, 2003.
[2] K. Matsumoto, “On Lorentzian paracontact manifolds,” Bulletin
of Yamagata University, vol. 12, no. 2, pp. 151–156, 1989.
[3] A. A. Shaikh, “Some results on (𝐿𝐢𝑆)𝑛 -manifolds,” Journal of the
Korean Mathematical Society, vol. 46, no. 3, pp. 449–461, 2009.
[4] A. A. Shaikh and S. K. Hui, “On generalized 𝜌-recurrent (𝐿𝐢𝑆)𝑛 manifolds,” in Proceedings of the ICMS International Conference
on Mathematical Science, vol. 1309 of American Institute of
Physics Conference Proceedings, pp. 419–429, 2010.
[5] A. A. Shaikh, T. Basu, and S. Eyasmin, “On the existence of
πœ™-recurrent (𝐿𝐢𝑆)𝑛 -manifolds,” Extracta Mathematicae, vol. 23,
no. 1, pp. 71–83, 2008.
[6] A. A. Shaikh and T. Q. Binh, “On weakly symmetric (𝐿𝐢𝑆)𝑛 manifolds,” Journal of Advanced Mathematical Studies, vol. 2, no.
2, pp. 103–118, 2009.
[7] G. T. Sreenivasa, Venkatesha, and C. S. Bagewadi, “Some results
on (𝐿𝐢𝑆)2𝑛+1 -manifolds,” Bulletin of Mathematical Analysis and
Applications, vol. 1, no. 3, pp. 64–70, 2009.
[8] S. K. Yadav, P. K. Dwivedi, and D. Suthar, “On (𝐿𝐢𝑆)2𝑛+1 manifolds satisfying certain conditions on the concircular
curvature tensor,” Thai Journal of Mathematics, vol. 9, no. 3, pp.
597–603, 2011.
[9] M. Atceken, “On geometry of submanifolds of (𝐿𝐢𝑆)𝑛 manifolds,” International Journal of Mathematics and Mathematical Sciences, vol. 2012, Article ID 304647, 11 pages, 2012.
[10] S. K. Hui and M. Atceken, “Contact warped product semislant submanifolds of (𝐿𝐢𝑆)𝑛 -manifolds,” Acta Universitatis
Sapientiae. Mathematica, vol. 3, no. 2, pp. 212–224, 2011.
[11] S. S. Shukla, M. K. Shukla, and R. Prasad, “Slant submanifold
of (𝐿𝐢𝑆)𝑛 -manifolds,” to appear in Kyungpook Mathematical
Journal.
[12] K. Yano and S. Sawaki, “Riemannian manifolds admitting a conformal transformation group,” Journal of Differential Geometry,
vol. 2, pp. 161–184, 1968.
[13] A. A. Shaikh and S. K. Jana, “On weakly quasi-conformally
symmetric manifolds,” SUT Journal of Mathematics, vol. 43, no.
1, pp. 61–83, 2007.
[14] R. Kumar and B. Prasad, “On (𝐿𝐢𝑆)𝑛 -manifolds,” to appear in
Thai Journal of Mathematics.
[15] B.-Y. Chen and K. Yano, “Hypersurfaces of a conformally flat
space,” Tensor, vol. 26, pp. 318–322, 1972.
[16] A. A. Shaikh and S. K. Jana, “On weakly symmetric Riemannian
manifolds,” Publicationes Mathematicae Debrecen, vol. 71, no. 12, pp. 27–41, 2007.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download