On Interpolating Sesqui-Harmonic Legendre Curves in Sasakian Space Forms
Fatma Karaca, Cihan \"Ozg\"ur, Uday Chand De

TL;DR
This paper investigates the conditions under which Legendre curves in Sasakian space forms are interpolating sesqui-harmonic, providing theoretical criteria and an explicit example.
Contribution
It establishes necessary and sufficient conditions for interpolating sesqui-harmonic Legendre curves in Sasakian space forms and presents a concrete example.
Findings
Derived explicit conditions for interpolating sesqui-harmonic Legendre curves.
Provided an example of such a curve in a Sasakian space form.
Enhanced understanding of harmonic properties in Sasakian geometry.
Abstract
We consider interpolating sesqui-harmonic Legendre curves in Sasakian space forms. We find the necessary and sufficient conditions for Legendre curves in Sasakian space forms to be interpolating sesqui-harmonic. Finally, we obtain an example for an interpolating sesqui-harmonic Legendre curve in a Sasakian space form.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
On Interpolating Sesqui-Harmonic Legendre Curves in Sasakian Space Forms
Fatma KARACA, Cihan ÖZGÜR and Uday Chand DE
Abstract. We consider interpolating sesqui-harmonic Legendre curves in Sasakian space forms. We find the necessary and sufficient conditions for Legendre curves in Sasakian space forms to be interpolating sesqui-harmonic. Finally, we obtain an example for an interpolating sesqui-harmonic Legendre curve in a Sasakian space form.
**Mathematics Subject Classification. **53C25, 53C40, 53A05.
**Keywords and phrases. **Interpolating sesqui-harmonic curve, Legendre curve, Sasakian space form.
1. **Introduction **
A map between Riemannian manifolds is called a *harmonic map *and a *biharmonic map, respectively if it is a critical point of the *and
[TABLE]
[TABLE]
where is a compact domain of . The harmonic map equation is
[TABLE]
and it is called the *tension field *of [5]. The Euler-Lagrange equation of is
[TABLE]
and it is called the bitension field of [11].
In [3], Branding defined and considered interpolating sesqui-harmonic maps between Riemannian manifolds. The author introduced an action functional for maps between Riemannian manifolds that interpolated between the actions for harmonic and biharmonic maps. The map is said to be *interpolating sesqui-harmonic *if it is a critical point of * *
[TABLE]
where is a compact domain of and [3]. The interpolating sesqui-harmonic map equation is
[TABLE]
for [3]. An interpolating sesqui-harmonic map is biminimal if variations of (1.3) that are normal to the image and , [13]. For some recent study of biminimal immersions see [8], [13], [14] and [15].
Interpolating sesqui-harmonic curves in a -dimensional sphere were studied in [3]. In [6] and [7], Fetcu and Oniciuc considered biharmonic Legendre curves in Sasakian space forms. In [4], Cho, Inoguchi and Lee studied affine biharmonic curves in -dimensional pseudo-Hermitian geometry. In [10], Inoguchi and Lee studied affine biharmonic curves in -dimensional homogeneous geometries. In [16], the second author and Güvenç studied biharmonic Legendre curves in generalized Sasakian space forms. In [9], Güvenç and the second author studied -biharmonic Legendre curves in Sasakian space forms. Motivated by the above studies, in the present paper, we consider interpolating sesqui-harmonic Legendre curves in Sasakian space forms. We obtain the necessary and sufficient conditions for Legendre curves in Sasakian space forms to be interpolating sesqui-harmonic. We also give an example for an interpolating sesqui-harmonic Legendre curve in a Sasakian space form.
2. Preliminaries
Let be an almost contact metric manifold with an almost contact metric structure . A contact metric manifold is called a Sasakian manifold if it is normal, that is,
[TABLE]
where is the Nijenhuis tensor field of [1]. It is well-known that an almost contact metric manifold is Sasakian if and only if
[TABLE]
and
[TABLE]
[2]. The sectional curvature of a -section is called a -sectional curvature. When the -sectional curvature is a constant, then the Sasakian manifold is called a* Sasakian space form and it is denoted by [2]*. The curvature tensor of a Sasakian space form is given by
[TABLE]
[TABLE]
[TABLE]
for all [2].
A submanifold of a Sasakian manifold is called an integral submanifold if , for every tangent vector . An integral curve of a Sasakian manifold is called a Legendre curve [2].
3. **Interpolating sesqui-harmonic Legendre curves in Sasakian
space forms **
Let be a curve parametrized by arc length in a Riemannian manifold . Then is called a Frenet curve of osculating order , , if there exists orthonormal vector fields along such that
[TABLE]
[TABLE]
[TABLE]
[TABLE]
where the function are called the curvatures of [12].
Firstly, we have the following theorem for an interpolating sesqui-harmonic Legendre curve in a Sasakian space form:
Theorem 3.1**.**
Let be a Sasakian space form with constant -sectional curvature and be a Legendre curve of osculating order and . Then is interpolating sesqui-harmonic if and only if there exists real numbers such that
* or or and*
* the first of the following equations are satisfied:*
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Proof.
Let be a Legendre curve of osculating order in By the use of (1.1) and (3.1), we have
[TABLE]
From (3.1), we get
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Using the equations (3.6), (3.7) and (3.8) into the equation (4.1) in [3], we find
[TABLE]
[TABLE]
[TABLE]
Taking the scalar product of equation (3.9) with and respectively, then we obtain the desired result. ∎
Now we shall discuss some special cases of Theorem 3.1:
Case I.
From Theorem 3.1, we have:
Proposition 3.1**.**
Let be a Sasakian space form with and be a Legendre curve of osculating order such that . Then is interpolating sesqui-harmonic if and only if
[TABLE]
[TABLE]
[TABLE]
where is a constant.
Proof.
Assume that is an interpolating sesqui-harmonic Legendre curve of osculating order in such that and From Theorem 3.1, we obtain the result. ∎
Using Proposition 3.1, we have:
Theorem 3.2**.**
Let be a Sasakian space form with and be a non geodesic Legendre curve of osculating order . Then
* It is a Legendre geodesic or*
* is interpolating sesqui-harmonic with if and only if it is a Legendre circle with where is a constant or*
* is interpolating sesqui-harmonic with if and only if it is a Legendre helix with where is a constant.*
In both cases, if , then such an interpolating sesqui-harmonic Legendre curve does not exist.
Proof.
Let be an interpolating sesqui-harmonic curve with* . From Theorem 3.1, if we consider the osculating order , then is a Legendre circle with where is a constant. *Similarly, if we consider the osculating order , then we obtain that is a non-zero constant. Thus, is a Legendre helix with where is a constant. On the other hand, assume that is a Legendre circle with or a Legendre helix with where is a constant. Obviously, satisfies Theorem 3.1, respectively. It is trivial that cannot be possible. If we obtain a geodesic. This proves the theorem. ∎
Case II. and
From Theorem 3.1, we can state:
Proposition 3.2**.**
Let be a Sasakian space form with and be a Legendre curve of osculating order such that . Then is interpolating sesqui-harmonic if and only if
[TABLE]
[TABLE]
[TABLE]
where is a constant.
Proof.
Let be an interpolating sesqui-harmonic Legendre curve of osculating order in such that and From Theorem 3.1, we get the result. ∎
From [7], we have the following lemma:
Lemma 3.1**.**
[7]** Let be a Legendre Frenet curve of osculating order in a Sasakian space form and . Then is linearly independent at any point of and therefore .
Hence we can state:
Theorem 3.3**.**
Let be a Sasakian space form with and a Legendre curve of osculating order .
* If and , then is interpolating sesqui-harmonic if and only if it is a geodesic.*
* If and , then is interpolating sesqui-harmonic if and only if either*
* is of osculating order , and is a circle with in which case are linearly independent, or*
* is of osculating order , and is a helix with in which case are linearly independent, where .*
Proof.
From Proposition 3.2, if we take and , it is easy to see that is interpolating sesqui-harmonic if and only if it is a geodesic.
Assume that , and be an interpolating sesqui-harmonic curve. From Proposition 3.2, if we take and is of osculating order , then is a circle with Using Lemma 3.1, we have that are linearly independent. Similarly, if we take and is of osculating order , then we obtain that is a non-zero constant. Thus, is a helix with Using Lemma 3.1, we have that are linearly independent. Conversely, assume that is a Legendre circle with or a Legendre helix with . Obviously, satisfies Theorem 3.1, respectively. Hence, we obtain the desired result. ∎
Case III. and
From Theorem 3.1, we have:
Proposition 3.3**.**
Let be a Sasakian space form with and be a Legendre curve of osculating order with and . Then is interpolating sesqui-harmonic if and only if
[TABLE]
[TABLE]
[TABLE]
where is a constant.
Proof.
Assume is an interpolating sesqui-harmonic Legendre curve in such that , and From Theorem 3.1, we get the result. ∎
Hence we can state:
Theorem 3.4**.**
Let be a Sasakian space form with and a Legendre curve of osculating order such that . Then is the Frenet frame field of
* If and , then is interpolating sesqui-harmonic if and only if it is a geodesic.*
* If and , then is interpolating sesqui-harmonic if and only if it is a helix with where .*
Proof.
If we take we get
From Proposition 3.3 and the above equations and if we take and , it is easy to see that is interpolating sesqui-harmonic if and only if it is a geodesic.
If , from Proposition 3.3 and the above equations, we have constant and and . Conversely, assume that is a Legendre helix with and . Then satisfies Theorem 3.1 obviously. This completes the proof of the theorem. ∎
Case IV. and .
Proposition 3.4**.**
Let be a Sasakian space form with and a Legendre curve of osculating order such that , . Then is interpolating sesqui-harmonic with if and only if
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Proof.
Assume that is an interpolating sesqui-harmonic Legendre Frenet curve such that is not a constant equal to or . In this case, we get , and .
Hence, we can take So by a differentiation, we obtain
[TABLE]
[TABLE]
Since is a Legendre curve and is anti-symmetric, we have and Thus we obtain
[TABLE]
Additionally, we can write
[TABLE]
From Theorem 3.1, the equations (3.10) and (3.11), the curve is interpolating sesqui-harmonic if and only if
[TABLE]
[TABLE]
[TABLE]
[TABLE]
If satisfies the converse statement, it is obvious that the first four of the equations in Theorem 3.1 are satisfied. Thus is interpolating sesqui-harmonic. This proves the theorem. ∎
Using the equation (3.10) and the third equation of Proposition 3.4, we obtain
[TABLE]
[TABLE]
[TABLE]
where constant. Substituting the equation (3.12) in the second equation of Proposition 3.4, we get
[TABLE]
Then we have constant. Thus constant , and then . We obtain that there exists a unique constant such that and
So we can state:
Theorem 3.5**.**
Let be a Sasakian space form with and a Legendre curve of osculating order such that .
* If and , then is interpolating sesqui-harmonic if and only if it is a geodesic.*
* If and , then is interpolating sesqui-harmonic if and only if *
[TABLE]
[TABLE]
[TABLE]
where is constant such that and
Remark 3.1**.**
For and , there are also interpolating sesqui-harmonic curves which are not helices.
Now, we give brief information about the Sasakian space form [2]:
Let us take with the standard coordinate functions the contact structure the characteristic vector field and the tensor field given by
[TABLE]
The Riemannian metric is Thus, is a Sasakian space form with constant sectional curvature . The vector fields
[TABLE]
form a -orthonormal basis and Levi-Civita connection is obtained as
[TABLE]
[TABLE]
(see [1]).
Now, we give an example for interpolating sesqui-harmonic Legendre curves in
**Example. **Let be a unit speed Legendre curve in We can write the tangent vector field of
[TABLE]
Using the above equation, and we have
[TABLE]
and
[TABLE]
So for a Legendre curve (3.14), (3.15) and (3.13) gives us
[TABLE]
and
[TABLE]
From (3.16) and (3.17), if and only if
[TABLE]
So we can state the following example:
Let us take in By the use of Theorem 3.1 and the above equations, is an interpolating sesqui-harmonic Legendre curve with osculating order , , , and . We can see that Theorem 3.1 are verified. From the equations (3-1) in [7], the curve is not biharmonic. Hence the biharmonicity and interpolating sesqui-harmonic of are different.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Blair, DE., Geometry of manifolds with structural group U ( n ) × O ( s ) 𝑈 𝑛 𝑂 𝑠 U(n)\times O(s) , J. Differ. Geom., 4, 155-167 (1970).
- 2[2] Blair, DE., Riemannian geometry of contact and symplectic manifolds, Boston, Birkhauser, (2002).
- 3[3] Branding, V., On interpolating sesqui-harmonic maps between Riemannian manifolds, The Journal of Geometric Analysis, 1-26 (2019).
- 4[4] Cho, J. T., Inoguchi, J., Lee, J-E., Affine biharmonic submanifolds in 3 3 3 -dimensional pseudo-Hermitian geometry, Abh. Math. Semin. Univ. Hambg., 79 (2009), no. 1, 113–133.
- 5[5] Eells, J. Jr., Sampson, J. H., Harmonic mappings of Riemannian manifolds, Amer. J. Math., 86, 109–160 (1964).
- 6[6] Fetcu, D., Biharmonic Legendre curves in Sasakian space forms, J. Korean Math. Soc., 45, 393–404 (2008).
- 7[7] Fetcu, D., Oniciuc, C., Explicit formulas for biharmonic submanifolds in Sasakian space forms, Pacific J. Math, 240, 85–107 (2009).
- 8[8] Gürler, F., Özgür, C., f 𝑓 f -biminimal immersions, Turkish J. Math. 41 (2017), no. 3, 564–575.
