Next Article in Journal
Stability Properties of Distributional Solutions for Nonlinear Viscoelastic Wave Equations with Variable Exponents
Next Article in Special Issue
Singularity Analysis of Lightlike Hypersurfaces Generated by Null Cartan Curves in Minkowski Spacetime
Previous Article in Journal
Paraconsistency in the Logic sqŁ*
Previous Article in Special Issue
Trivial Homology Groups of Warped Product Semi-Slant Submanifolds in Kenmotsu Space Forms
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Classification Results of f-Biharmonic Immersion in T-Space Forms

1
Department of Mathematics and Statistics, College of Science, Imam Mohammad Ibn Saud Islamic University (IMSIU), P.O. Box 65892, Riyadh 11566, Saudi Arabia
2
Department of Mathematics, ARSD College, South Campus, University of Delhi, Delhi 110021, India
3
Department of Mathematics, Faculty of Natural Sciences, Jamia Millia Islamia, New Delhi 110025, India
*
Author to whom correspondence should be addressed.
Axioms 2025, 14(4), 242; https://doi.org/10.3390/axioms14040242
Submission received: 10 February 2025 / Revised: 18 March 2025 / Accepted: 20 March 2025 / Published: 22 March 2025
(This article belongs to the Special Issue Advances in Differential Geometry and Singularity Theory, 2nd Edition)

Abstract

:
We investigate f-biharmonic submanifolds in T-space form, where we analyze different scenarios and provide necessary and sufficient conditions for f-biharmonicity. We also derive a non-existence result for f-biharmonic submanifolds where ξ and ϕ Ω are tangents. Finally, we derive the Chen–Ricci inequality for submanifolds of T-space forms and provide the conditions under which this inequality becomes equality.
MSC:
53B50; 53C20; 53C40

1. Introduction

Biharmonic maps have been a subject of mathematical research since as early as 1862, attracting significant attention due to their relevance in various applications. In the early studies, Maxwell and Airy were among the pioneers who used biharmonic maps to develop mathematical models for elasticity, which laid the foundation for further exploration in the field. Over the years, biharmonic maps have continued to gain prominence, and in 1988, J. Eells and L. Lemaire [1] conducted the first formal and systematic study on these maps, generalizing the well-known concept of harmonic maps. Their work marked a pivotal moment in the study of biharmonic maps, bringing new insights into this area of differential geometry.
Biharmonic maps can be understood as a generalization of harmonic maps, where the energy functional is replaced by a more complex biharmonic energy functional. While harmonic maps minimize this energy, biharmonic maps, in contrast, are critical points of the biharmonic energy, making them a more intricate and subtle extension of harmonic maps. Biharmonic maps can be linked to differential equations, functional inequalities, and quantumgeometry [2,3].
Building on this foundational work, several further advancements have been made. For instance, in a notable contribution, Lu introduced the concept of f-biharmonic maps [4], offering a natural extension of biharmonic maps. In his work, Lu computed the equations governing f-biharmonic conformal mappings between manifolds of the same dimension and studied the f-biharmonic map equation, broadening the theoretical framework initially established by Eells and Lemaire.
Further exploration of f-biharmonic maps has been followed, notably by Ye-Lin Ou, who in [5] examined f-biharmonic curves in real space forms. Ou’s work demonstrated that f-biharmonic submanifolds are not only a generalization of biharmonic submanifolds but also extend to minimal submanifolds. Two key observations arose from this research:
  • When the function f is constant, f-biharmonic submanifolds are exactly the same as biharmonic submanifolds.
  • Any minimal submanifold can be classified as f-biharmonic for any positive function defined on it, making f-biharmonic submanifolds a natural extension of both biharmonic and minimal submanifolds.
The study of f-biharmonic submanifolds has also been expanded to more complex geometries. For example, in their work [6], C. Ozgur and S. Guvenca focused on the f-biharmonic Legendre curves in Sasakian space forms, contributing to a deeper understanding of how these maps behave in specialized geometric settings. Similarly, numerous researchers have investigated f-biharmonic submanifolds within generalized Sasakian space forms and complex space forms [7,8,9], exploring their behavior in different contexts.
The concept of f-biharmonic submanifolds has also been extended in product spaces. For example, Karaca and Ozgur [10] advanced the work of previous researchers by examining these submanifolds in the context of product spaces, particularly building on prior findings on biharmonic submanifolds by Karaca [11]. This body of work highlights the richness and variety of biharmonic and f-biharmonic submanifolds in various geometric structures. Additionally, studies on the toeplitz quantization of geometric structures, geometric flow and curvatures, etc. can provide new insights into the behavior of biharmonic maps [2,12,13].
More recently, N. A. Rehman [14] conducted investigations into f-biharmonic mappings on S-space forms, further extending the theory into new domains and offering a broader understanding of how f-biharmonic maps operate in these specialized forms. These concepts naturally connect to other important geometric structures, such as conformal Ricci solitons and curvature tensors, which play fundamental roles in understanding the geometry of Lorentzian, Riemannian manifolds and warped product spaces [3,15,16].
Motivated by these developments, we aim to explore the properties and behaviors of f-biharmonic and bi-f-harmonic submanifolds in the context of T-space forms. These T-space forms provide an intriguing geometric setting in which to examine how these submanifolds behave under different conditions, building on the prior work in Sasakian and generalized space forms.
In particular, in this paper, we investigate f-biharmonic submanifolds in T-space forms, a class of manifolds that generalizes Sasakian and cosymplectic manifolds while retaining significant structural properties. Our study aims to achieve the following objectives:
Classification: Establish necessary and sufficient conditions for the existence of f-biharmonic submanifolds in T-space forms.
Non-existence results: Derive conditions under which f-biharmonic submanifolds cannot exist due to constraints on tangential structural vector fields.
Chen–Ricci inequality: Develop a curvature-based inequality for submanifolds in T-space forms and analyze cases of equality.
The results obtained in this paper contribute to the broader understanding of biharmonic and f-biharmonic mappings and their interaction with the curvature properties of the ambient manifold. Furthermore, this study opens avenues for exploring applications in mathematical physics, particularly in elasticity theory, general relativity, and geometric analysis.
The structure of this paper is as follows:
In Section 2, we introduce the necessary preliminaries on biharmonic and f-biharmonic submanifolds in T-space forms. Section 3 establishes key results concerning the classification and conditions for f-biharmonicity. Section 4 derives Chen–Ricci inequalities and explores their implications. Finally, in Section 5, we present our conclusions and discuss possible future research directions.

2. Preliminaries

Let ( N , g ) be a Riemannian manifold with dim ( N ) = 2 n + s . We say that N is an S-manifold if there exists an f-structure ϕ on N of rank 2 n , along with s global vector fields ξ 1 , , ξ s (structure vector fields), such that the following conditions are satisfied [17,18].
There are dual 1-forms u 1 , , u s corresponding to ξ 1 , , ξ s , and they satisfy
ϕ ξ i = 0 ,       u i ϕ = 0 , ϕ 2 = I + i = 1 s u i ξ i .
The following metric relations hold:
g ¯ ( ϕ U , ϕ V ) = g ¯ ( U , V ) i = 1 s u i ( U ) u i ( V )
g ¯ ( U , ξ i ) = u i ( U )
for any U , V T N , where i = 1 , , s .
In a T-manifold N, the following additional conditions are satisfied:
( U ϕ ) V = 0
and
U ξ i = 0
for any vector fields U , V T N .
Let D ¯ denote the distribution determined by ϕ 2 , and let D ¯ be its complementary distribution. The space D ¯ is determined by ϕ 2 + I and is spanned by ξ 1 , , ξ s . If U D ¯ , then u i ( U ) = 0 for all i, and if U D ¯ , then ϕ U = 0 .
A plane section Π in T p N (the tangent space of N at point p) is called a ϕ -section if Π D ¯ and ϕ ( Π ) = Π . If the sectional curvature K ¯ ( Π ) is constant for all non-null vectors in Π , we say that N has constant ϕ -sectional curvature at point p. The function μ , defined by μ ( p ) = K ¯ ( Π ) , is called the ϕ -sectional curvature of N.
We define a T-manifold N with constant ϕ -sectional curvature μ as a T-space form, denoted by N ( μ ) . The corresponding curvature tensor R ¯ is expressed as follows [19,20]:
g ¯ ( S ¯ ( L 1 , L 2 ) L 3 , L 4 ) = μ 4 [ g ¯ ( L 1 , L 3 ) g ¯ ( L 2 , L 4 ) g ¯ ( L 2 , L 3 ) g ¯ ( L 1 , L 4 ) g ¯ ( L 1 , L 3 ) u i ( L 2 ) u i ( L 4 )     g ¯ ( L 2 , L 4 ) u i ( L 3 ) u i ( L 1 ) + g ¯ ( L 1 , L 4 ) u i ( L 2 ) u i ( L 3 )   +   g ¯ ( L 2 , L 3 ) u i ( L 1 ) u i ( L 4 )   + u i ( L 3 ) u i ( L 1 ) u i ( L 2 ) u i ( L 4 )   u i ( L 4 ) u i ( L 1 ) u i ( L 2 ) u i ( L 3 )   +   g ¯ ( L 4 , ϕ L 1 ) g ¯ ( L 2 , ϕ L 3 ) + g ¯ ( L 2 , ϕ L 4 ) g ¯ ( L 1 , ϕ L 3 )     2 g ¯ ( L 1 , ϕ L 2 ) g ¯ ( L 4 , ϕ L 3 ) ] .
When the parameter s = 0 in the definition of a T-manifold N, the structure reduces to that of a Kähler manifold, whereas setting s = 1 results in a cosymplectic manifold.
The expression of the Gauss equation for a submanifold M embedded in N ( μ ) is as follows:
S ¯ ( L 1 , L 2 , L 3 , L 4 ) = S ( L 1 , L 2 , L 3 , L 4 ) + g ( ζ ( L 1 , L 3 ) , ζ ( L 2 , L 4 ) ) g ( ζ ( L 1 , L 4 ) , ζ ( L 2 , L 3 ) )
for any vectors L 1 , L 2 , L 3 , L 4 tangential to M, where S ( L 1 , L 2 , L 3 , L 4 ) = g ( S ( L 1 , L 2 ) L 3 , L 4 ) . From Equations (1) and (2), we obtain
S ( L 1 , L 2 , L 3 , L 4 ) = μ 4 g ¯ ( L 1 , L 3 ) g ¯ ( L 2 , L 4 ) g ¯ ( L 2 , L 3 ) g ¯ ( L 1 , L 4 ) g ¯ ( L 1 , L 3 ) u i ( L 2 ) u i ( L 4 )   g ¯ ( L 2 , L 4 ) u i ( L 3 ) u i ( L 1 ) + g ¯ ( L 1 , L 4 ) u i ( L 2 ) u i ( L 3 ) +   g ¯ ( L 2 , L 3 ) u i ( L 1 ) u i ( L 4 ) + u i ( L 3 ) u i ( L 1 ) u i ( L 2 ) u i ( L 4 ) u i ( L 4 ) u i ( L 1 ) u i ( L 2 ) u i ( L 3 ) +   g ¯ ( L 4 , ϕ L 1 ) g ¯ ( L 2 , ϕ L 3 ) + g ¯ ( L 2 , ϕ L 4 ) g ¯ ( L 1 , ϕ L 3 )   2 g ¯ ( L 1 , ϕ L 2 ) g ¯ ( L 4 , ϕ L 3 )   g ( ζ ( L 1 , L 3 ) , ζ ( L 2 , L 4 ) ) + g ( ζ ( L 1 , L 4 ) , ζ ( L 2 , L 3 ) ) .
Henceforth, we consider the structure vector fields to be tangential to N and denote its dimension by n + s . We also assume n 2 . Let L = D 1 D 2 represent the orthogonal distribution to D ¯ in T N , and we can express the tangent bundle as a direct orthogonal decomposition: T N = L D ¯ .
Finally, we recall that for a smooth, positive, and well-defined function f : M R , f-biharmonic maps are defined as the critical points of the f-bienergy functional for a mapping F : ( M , g ) ( N , h ) between two Riemannian manifolds. The functional is given by
E 2 , f ( F ) = M f | τ ( F ) | 2 v g ,
where τ ( F ) represents the tension field of the map F, and v g is the volume form of the manifold M.
The corresponding Euler–Lagrange equation, which must be satisfied by f-biharmonic maps, is as follows:
τ 2 , f ( F ) = f τ 2 ( F ) + Δ f τ ( F ) + 2 grad f F τ ( F ) = 0 .
This equation governs the behavior of f-biharmonic maps and serves as the foundation for our exploration in this paper.

3. Geometric Aspects of f-Biharmonic Submanifolds

In this section, we study f-biharmonic submanifolds within T-space forms, exploring various cases and establishing the necessary and sufficient conditions for f-biharmonicity. Additionally, we prove a non-existence theorem for f-biharmonic submanifolds in which both ξ and ϕ Ω are tangential to the submanifold.
Theorem 1. 
Let M n be a submanifold of T-space form N 2 n + s . Then, M n is a biharmonic submanifold of the T-space form N 2 n + s if and only if
Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω = μ 4 { ( n ) Ω ( n ) u i ( Ω ) ξ i | ξ i T | 2 Ω + 3 N t Ω } ,
( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = μ 4 { 2 ( n 1 ) u i ( Ω ) ξ i T + 3 P t Ω } .
Proof. 
We use N and ∇ to refer to the Levi-Civita connections corresponding to N and M. Suppose U i i = 1 n constitutes a local geodesic frame at p M . Consequently, as τ ( i ) = ( n ) Ω , it follows that at p,
τ 2 ( i ) = Δ τ ( i ) tr S N ( d i , τ ( i ) ) d i   = n i = 1 n U i N U i N Ω i = 1 n S N U i , Ω U i .
Using the Weingarten Equation, one obtains
1 n Δ τ ( i ) = i = 1 n U i N U i N Ω = Δ Ω tr B · , Λ Ω ·   tr Λ ( · ) Ω ( · ) tr Λ Ω ( · , · ) .
Moving forward, the computation of the tr Λ Ω ( · , · ) at p results in
tr Λ Ω ( · , · ) = i , j = 1 n U i g U j N U i , Ω U j
and then
tr Λ Ω ( · , · ) = i , j = 1 n g U i N U j N U i , Ω U j + tr Λ ( · ) Ω ( · ) .
Building on this, with the given representation of the curvature tensor field R N , we deduce
tr Λ Ω ( · , · ) = i , j = 1 n g U j N U i N U i + S N U i , U j U i + U i , U j N U i , Ω U j   + tr Λ ( · ) Ω ( · )   = i , j = 1 n g U j N U i N U i , Ω U j + i , j = 1 n g S N U i , U j U i , Ω U j   + tr Λ ( · ) Ω ( · ) .
But,
i , j = 1 n g U j N U i N U i , Ω U j = n 2 grad | Ω | 2
and
i , j = 1 n g S N U i , U j U i , Ω U j = i , j = 1 n g S N U i , Ω U i , U j U j   = ( tr S N ( d i , Ω ) d i ) .
Plugging (9) and (10) into (8), we arrive at
tr Λ Ω ( · , · ) = n 2 grad | Ω | 2 + tr S N ( d i , Ω ) d i + tr Λ ( · ) Ω ( · )
and, therefore,
tr Λ ( · ) Ω ( · ) + tr Λ Ω ( · , · ) = 2 tr Λ ( · ) Ω ( · ) + n 2 grad | Ω | 2   + tr S N ( d i , Ω ) d i .
Define U i i = 1 n as a local orthonormal frame over M. In this case, U i , φ U j , ξ i , j = 1 n serves as a local orthonormal frame on N. Utilizing the expression for the curvature tensor field and the fact that Ω span φ U i ; i = 1 , , n , a direct computation yields the following result.
tr S N ( d i , Ω ) d i = i = 1 n S N ( U i , Ω ) U i   = i = 1 n μ 4 { g ˜ ( U i , U i ) Ω g ˜ ( Ω , U i ) x i g ˜ ( U i , U i ) u i ( Ω ) ξ i   u i ( U i ) u i ( U i ) Ω + ˜ u i ( Ω ) u i ( U i ) U i   + g ˜ ( Ω , U i ) u i ( U i ) ξ i + u i ( U i ) u i ( U i ) u i ( Ω ) ξ i   ξ i u i ( U i ) u i ( Ω ) u i ( U i )   + ϕ U g ˜ ( Ω , ϕ U i ) g ˜ ( U i , ϕ U i ) ϕ Ω 2 g ˜ ( U , ϕ Ω ) ϕ U i ) } .   = μ 4 { n Ω n u i ( Ω ) ξ i | ξ i | 2 Ω + u i ( Ω ) ξ i + 3 ( P t Ω + N t Ω ) } ,
which implies
tr S N ( d i , Ω ) d i = μ 4 n u i ( Ω ) ξ i + u i ( Ω ) ξ i T + 3 P t Ω .
From (8), we have
Δ τ ( i ) = n Δ Ω n tr B · , Λ Ω · 2 n tr Λ ( · ) Ω ( · ) n 2 grad ( | Ω | 2 )   + μ 4 n u i ( Ω ) ξ i + u i ( Ω ) ξ i + 3 P t Ω   = n Δ Ω n tr B · , Λ Ω · 2 n tr Λ ( · ) Ω ( · ) n 2 grad ( | Ω | 2 )   + μ 4 n ( 1 n ) u i ( Ω ) ξ i + 3 n P t Ω .
Now, from (7) and (13),
τ 2 ( i ) = n Δ Ω n tr B · , Λ Ω · 2 n tr Λ ( · ) Ω ( · ) n 2 grad ( | Ω | 2 )   + μ 4 { n 2 Ω n ( 2 n ) u i ( Ω ) ξ i n 2 u i ( Ω ) ξ i | ξ i | 2 Ω   + 6 n P t Ω + 3 n P t Ω } .
For an isometric immersion, (4) becomes
τ 2 ( i ) + n Δ f f Ω 2 n Λ Ω g r a d ( l n f ) + 2 n g r a d ( l n f ) Ω = 0 .
Using (14) in (15), we arrive at
  n Δ Ω n tr B · , Λ Ω · 2 n tr Λ ( · ) Ω ( · ) n 2 grad ( | Ω | 2 )   + μ 4 n Ω n u i ( Ω ) ξ i | ξ i | 2 Ω u i ( Ω ) ξ i + 3 N t Ω + 3 P t Ω   + n ( Δ f ) Ω + 2 n g r a d f Ω 2 n Λ Ω g r a d f = 0 .
Comparing tangential and normal components in (16), we arrive at the conclusion. □
Corollary 1. 
Let M n be a submanifold of T-space form N 2 n + s .
(1) 
The submanifold M is f-biharmonic under the invariance condition if and only if
Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω = μ 4 { ( n ) Ω ( n ) u i ( Ω ) ξ i | ξ i T | 2 Ω } . ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = μ 4 { 2 ( n 1 ) u i ( Ω ) ξ i + 3 P t Ω } .
(2) 
The submanifold M is f-biharmonic under the anti-invariance condition if and only if
Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω = μ 4 { ( n ) Ω ( n ) u i ( Ω ) ξ i | ξ i T | 2 Ω + 3 N t Ω } . ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = μ 4 { 2 ( n 1 ) u i ( Ω ) ξ i T } .
Proof. 
1. For invariant f-biharmonic submanifolds, we take N = 0 in Theorem 1 and obtain the result.
2. For anti-invariant f-biharmonic submanifolds, we take T = 0 in Theorem 1 and obtain the result. □
Corollary 2. 
Let M n be a submanifold of T-space form N 2 n + s .
 (1) 
If ξ i i = 1 s is normal to M, then M is f-biharmonic if and only if
Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω = μ 4 { ( n ) Ω ( n ) u i ( Ω ) ξ i + 3 N t Ω } . ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = 0 .
 (2) 
If ξ i i = 1 s is tangential to M, then M is f-biharmonic if and only if
Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω = μ 4 { ( n 1 ) Ω + 3 N t Ω } . ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = μ 4 2 ( n 1 ) u i ( Ω ) ξ i + 6 P t Ω .
 (3) 
If M is a hypersurface, then M is f-biharmonic if and only if
Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω = μ 4 { ( n 3 ) Ω ( n 1 ) u i ( Ω ) ξ i | ξ i T | 2 Ω } . ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = μ 4 2 ( n 1 ) u i ( Ω ) ξ i T + 3 P t Ω .
Proof. 
1. Since ξ α : α = 1 , , s are normal to M n , then the tangential component of ξ α vanishes and we take M n as anti-invariant, T = 0 . Taking ξ t = O and T = 0 in Theorem 1, we obtain the result.
2. Since ξ α : α = 1 , , s are tangential to M n , ξ vanishes, and taking u α ( Ω ) = 0 in Theorem 1, we obtain the result. □
Theorem 2. 
Let M 2 n 1 + s be a hypersurface within a T-space form N 2 n + s , possessing a non-vanishing constant mean curvature, and assume that the vector field ξ lies tangential to M. Then, M is classified as proper biharmonic if and only if the following condition holds:
| B | 2 = μ 4 { n 4 } Δ f f
or, equivalently, if and only if
Scal M = μ 4 { ( 1 n ) ( n 2 s ) ( n 4 ) } n Ω 2 Δ f f .
Proof. 
Let M 2 n 1 + s be a f-biharmonic hypersurface of N 2 n + s and ξ α : α = 1 , , s tangential to M; then, m = 2 n 1 + s and u α ( Ω ) = 0 , and since
  f 2 Ω = Ω + u α ( Ω ) ξ α = Ω ,   f ( f Ω ) = Ω ,
this implies
  T t Ω = T S Ω ,   N t Ω = Ω N S Ω .
Therefore, taking u α ( Ω ) = 0 and S Ω = 0 in (13) and (14), we have
2 n 1 + s 2 g rad | Ω | 2 2 tr Λ Δ Ω ( . ) 2 Λ Ω grad ( ln f ) = 0
and
Δ Ω tr B . , Λ Ω · + Δ f f Ω + 2 Δ grad ( ln f ) Ω = μ 4 ( n 4 ) Ω .
For constant mean curvature Ω , we have
Λ Ω grad ( ln f ) = 0
and
tr B . , Λ Ω · + Δ f f Ω = μ 4 ( n 4 ) Ω ,
which implies
tr B . , Λ Ω · = μ 4 ( n 4 ) Ω Δ f f Ω
or, equivalently,
| B | 2 = μ 4 ( n 4 ) Ω Δ f f Ω .
Using Gauss’s equation, we have
S c a l M = i , j R ˜ e i , e j e j , e i | B | 2 n Ω 2 = μ 4 { ( 1 n ) ( n 2 s ) | B | 2 n Ω 2 .
Therefore, using Equation (17), we have
S c a l M = μ 4 { ( 1 n ) ( n 2 s ) ( n 4 ) } n Ω 2 Δ f f Ω ,
which completes the proof. □
Theorem 3. 
Let M n be a submanifold of T-space form N 2 n + s with constant mean curvature Ω so that ξ and ϕ Ω are tangential. Further, we consider F f , q , μ , the function defined on M by
F f , n , μ = μ 4 ( n 1 ) Δ f f .
This leads to the following observations.
(1) 
inf M μ 4 ( n 1 ) Δ f f 0 acts as an obstruction to f-biharmonicity.
(2) 
inf M μ 4 ( n 1 ) Δ f f > 0 and M is proper f-biharmonic; then,
0 < | Ω | 2 1 n inf M μ 4 ( n 1 ) Δ f f .
Proof. 
Because M is a proper f-biharmonic submanifold with constant mean curvature Ω , and ξ is tangential to it, Corollary 2 leads to the conclusion that
  Δ Ω tr B · , Λ Ω · + Δ f f Ω + 2 g r a d ( l n f ) Ω   = μ 4 { ( n 1 ) Ω + 3 N t Ω } ,   ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f )   = μ 4 { 2 ( n 1 ) u i ( Ω ) ξ i + 6 P t Ω } .
Given that ϕ Ω is a tangent, this directly implies that s Ω = 0 . Reapplying ϕ , it follows that ϕ 2 Ω = P t Ω + N t Ω . But, from ϕ 2 Ω = Ω + u ( Ω ) ξ , and ξ being tangential, we have ϕ 2 Ω = Ω . Therefore, equating the tangential and normal parts, we find that P t Ω = 0 and N t Ω = Ω . Incorporating these results into the preceding equation, we obtain
Δ Ω tr B · , Λ Ω · = μ 4 { ( n 1 ) Ω } Δ f f Ω , ( n ) 2 g r a d ( | Ω | 2 ) + 2 tr Λ ( · ) Ω ( · ) 2 Λ Ω g r a d ( l n f ) = 0 .
Projecting the first equation onto Ω , we obtain
Δ Ω , Ω + tr B · , Λ Ω · , Ω = μ 4 ( n 1 ) Δ f f | Ω | 2 .
Using the facts tr B · , Λ Ω · , Ω = Λ Ω 2 , | Ω | is a constant and the Böchner formula, i.e., 1 2 Δ | Ω | 2 = Δ Ω , Ω Ω 2 in the above equation, we have
Λ Ω 2 + Ω 2 = μ 4 ( n 1 ) Δ f f | Ω | 2 .
Now, this equation reduces to
μ 4 ( n 1 ) Δ f f | Ω | 2 = Λ Ω 2 + Ω 4 n | Ω | 2 + Ω 2 n | Ω | 4 .
By considering the Cauchy–Schwarz inequality, Λ Ω 2 1 n tr Λ Ω = n | Ω | 4 . This implies that
μ 4 ( n 1 ) Δ f f n | Ω | 2 .
Given that | Ω | remains a positive constant, this establishes the validity of the two assertions in the theorem. □

4. Ricci Curvature Inequality

The investigation of the Chen–Ricci inequalities has become a promising research area in differential geometry that provides new information on the relationship between the intrinsic curvature and extrinsic curvature of submanifolds. These inequalities, rooted in the pioneering work of B.-Y. Chen [21], pose significant geometric constraints on the Ricci curvature, the mean curvature, and the other invariants of submanifolds with the embedding of Riemannian manifolds. This inspired a multitude of generalizations across diverse ambient spaces. These developments have enriched our understanding of curvature-related inequalities and their geometric implications [22,23,24,25,26,27,28,29,30].
This section seeks to discuss the basic feature of the Chen–Ricci inequalities in T-space forms.
Theorem 4. 
Let M m be a submanifold of a T-space form N 2 n + s ( c ) with constant f-sectional curvature c, where the structural vector fields ξ 1 , ξ 2 , , ξ s are tangential to M m . Then, for each unit vector X T p M , orthogonal to ξ 1 , ξ 2 , , ξ s , we have
Ric ( X ) 1 4 m 2 Ω 2 + μ ( m s 1 ) + 3 μ 2 P X 2 .
Proof. 
Assume M m is a submanifold of the T-space form N 2 n + s ( K ) , with constant f-sectional curvature K. At a point p M , take a unit vector X T p M . Let U 1 , U 2 , , U 2 n + s be an orthonormal basis for T p N , such that U 1 , U 2 , , U m are tangential to M at p. Assume X = U 1 .
Putting L 1 , L 4 = U i and L 2 , L 3 = U j in (3), we have
S ( U i , U j , U j , U i ) = μ 4 g ¯ ( U i , U j ) g ¯ ( U j , U i ) g ¯ ( U j , U j ) g ¯ ( U i , U i ) g ¯ ( U i , U j ) u i ( U j ) u i ( U i )   g ¯ ( U j , U i ) u i ( U j ) u i ( U i ) + g ¯ ( U i , U i ) u i ( U j ) u i ( U j ) +   g ¯ ( U j , U j ) u i ( U i ) u i ( U i ) + u i ( U j ) u i ( U i ) u i ( U j ) u i ( U i ) u i ( U i ) u i ( U i ) u i ( U j ) u i ( U j ) +   g ¯ ( U i , ϕ U i ) g ¯ ( U j , ϕ U j ) + g ¯ ( U j , ϕ U i ) g ¯ ( U i , ϕ U j )   2 g ¯ ( U i , ϕ U j ) g ¯ ( U i , ϕ U j )   g ( ζ ( U i , U j ) , ζ ( U j , U i ) ) + g ( ζ ( U i , U i ) , ζ ( U j , U j ) ) .
By taking summation 1 i < j m , we derive
μ 4 [ m ( m 1 ) + 2 s ( 1 m ) + s ( 1 s ) ] 3 μ 4 P 2 = 2 τ m Ω 2 + ζ 2 ,
where Ω denotes the mean curvature, ζ is the second fundamental form, and τ is the scalar curvature.
Mathematically, the second fundamental form ζ is expressed as
ζ i j r = g ( ζ ( U i , U j ) , U r ) , ζ 2 = r = m + 1 2 n + s i , j = 1 m g ( ζ ( U i , U j ) , ζ ( U i , U j ) ) .
Additionally, the projection operator P satisfies
P 2 = i , j = 1 m g 2 ( P ( U i , U j ) ) .
We express the mean curvature Ω ( p ) as follows:
Ω ( p ) = 1 m i = 1 m ζ ( U i , U i ) .
As a consequence of the Gauss equation, we obtain
m 2 Ω 2 = 2 τ + 1 2 r = m + 1 2 n + s ( ζ 11 r + + ζ m m r ) 2 ( ζ 11 r ζ m m r ) 2 + 2 r = m + 1 2 n + s i < j ( ζ i j r ) 2
μ 4 m ( m 1 ) + 2 s ( 1 m ) + s ( 1 s ) + 3 μ 4 P 2 .
The sectional curvature for M is expressed as
2 i < j m K i j = μ 8 ( m 1 ) ( m 2 ) + 2 s ( 2 m ) + s ( 1 s ) + 3 μ 8 P 2 P U 1 2 .
Using the Gauss equation, we rewrite this as
2 i < j m K i j = μ 8 ( m 1 ) ( m 2 ) + 2 s ( 2 m ) + s ( 1 s ) + 3 μ 8 P 2 P U 1 2
+ r = m + 1 2 n + s 2 i < j m ζ i j r ζ i j r ( ζ i j r ) 2 .
Substituting this expression into the equation for m 2 Ω 2 , we derive
1 2 n 2 Ω 2 = 2 Ric ( X ) + 1 2 r = m + 1 2 n + s ζ 11 r ζ 22 r ζ m m r 2 + r = m + 1 2 n + s i , j = 1 m ζ i j r 2 μ 2 ( m s 1 ) 3 μ 4 P X 2 .
This simplifies to
1 2 n 2 Ω 2 2 Ric ( X ) μ 2 ( m s 1 ) 3 μ 4 P X 2 ,
which gives the required inequality. □
Corollary 3. 
In Theorem 4, equality holds at a point p M under the following conditions:
(1) 
Ω ( p ) = 0 and X is normal to T p M .
(2) 
p is a totally geodesic point.
Proof. 
(1)
When Ω ( p ) = 0 , we have ζ 11 r = ζ 22 r = = ζ m m r = 0 . If X is normal to T p M , then ζ 12 r = ζ 13 r = = ζ 1 m r = 0 for r { m + 1 , , 2 n + s } , and equality follows from (22).
(2)
If p is a totally geodesic point, then ζ i j r = 0 for all i , j , r , and equality holds as a result of (22).
Remark 1. 
(1) 
Setting s = 0 yields all the results corresponding to Kähler manifolds.
(2) 
Setting s = 1 yields all the results corresponding to cosymplectic manifolds.

5. Conclusions

In this paper, we conducted a detailed study of f-biharmonic submanifolds in T-space forms, providing classification results and establishing key conditions for their existence. By analyzing different scenarios, we formulated necessary and sufficient conditions for f-biharmonicity and derived a non-existence theorem under specific geometric constraints. Furthermore, we introduced a Chen–Ricci inequality for submanifolds of T-space forms and identified the conditions under which this inequality attains equality.
The findings of this paper have several important implications. The classification results contribute to the broader field of biharmonic submanifolds and their generalizations, particularly in non-trivial geometric structures such as Sasakian and cosymplectic manifolds. The derivation of Chen–Ricci inequalities extends classical results in Riemannian geometry, offering new perspectives on the interplay between curvature and biharmonicity.
From an applied mathematics perspective, our results have potential implications in areas such as applications in elasticity theory and the study of biharmonic functions in material science, insights into the role of biharmonic maps in spacetime models, and contributions to stability and energy minimization in differential geometry.
Future research directions include the following:
  • Extending the analysis to more general pseudo-Riemannian and Lorentzian settings, with potential applications in relativistic physics.
  • Investigating higher-order biharmonic equations in T-space forms to explore additional geometric constraints.
  • Applying the developed techniques to submanifolds of nearly Kähler and nearly Sasakian manifolds, expanding the scope of f-biharmonic research.
This work advances our understanding of biharmonic submanifolds in specialized geometric settings, paving the way for further theoretical and applied explorations in this field.

Author Contributions

Conceptualization, M.A.; Methodology, M.A. and M.I.; Validation, M.A., M.I. and S.K.Y.; Formal analysis, M.A., M.I. and S.K.Y.; Investigation, M.A., M.I. and S.K.Y.; Writing—original draft, M.A., M.I. and S.K.Y.; Visualization, M.A. and M.I.; Supervision, M.A.; Project administration, M.A.; Funding acquisition, M.A. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-DDRSP2502).

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Eells, J.; Lemaire, L. Report on harmonic maps. Bull. Lond. Math. Soc. 1988, 20, 385–524. [Google Scholar] [CrossRef]
  2. Li, Y.; Bin-Asfour, M.; Albalawi, K.S.; Guediri, M. Spacelike Hypersurfaces in de Sitter Space. Axioms 2025, 14, 155. [Google Scholar] [CrossRef]
  3. Li, Y.; Alshehri, N.; Ali, A. Riemannian invariants for warped product submanifolds in Q ϵ m × R and their applications. Open Math. 2024, 22, 20240063. [Google Scholar] [CrossRef]
  4. Lu, W.J. On f-bi-harmonic maps and bi-f-harmonic maps between Riemannian manifolds. Sci. China Math. 2015, 58, 1483–1498. [Google Scholar] [CrossRef]
  5. Ou, Y.L. On f-biharmonic maps and f-biharmonic submanifolds. Pac. J. Math. 2014, 271, 461–477. [Google Scholar] [CrossRef]
  6. Guvenca, S.; Ozgur, C. On the Characterizations of f-Biharmonic Legendre Curves in Sasakian Space Forms. Filomat 2017, 31, 639–648. [Google Scholar] [CrossRef]
  7. Kobayshi, M. Semi-invariant submanifolds in an f-manifold with complemented frames. Tensor NS 1990, 49, 154–177. [Google Scholar]
  8. Lichnerowicz, A. Applications harmoniques et varietes khleriennes. In Symposia Mathematica; Academic Press: Cambridge, MA, USA, 1970; Volume 3, pp. 341–402. [Google Scholar]
  9. Roth, J.; Upadhyay, A. f-Biharmonic and Bi f-harmonic Submanifolds of Generalized Space Forms. 2017. Available online: https://hal.science/hal-01459382v1 (accessed on 19 March 2025).
  10. Karaca, F.; Özgür, C. f-Biharmonic and Bi- f-harmonic submanifolds of product spaces. Sarajevo J. Math. 2017, 13, 115–129. [Google Scholar] [CrossRef]
  11. Roth, J.; Upadhyay, A. Biharmonic submanifolds of generalized space forms. arXiv 2016, arXiv:1602.06131. [Google Scholar]
  12. Li, Y.; Bhattacharyya, S.; Azami, S.; Hui, S. Li-Yau type estimation of a semilinear parabolic system along geometric flow. J. Inequal. Appl. 2024, 131, 2024. [Google Scholar] [CrossRef]
  13. Li, Y.; Bouleryah, M.L.H.; Ali, A. On Convergence of Toeplitz Quantization of the Sphere. Mathematics 2024, 12, 3565. [Google Scholar] [CrossRef]
  14. Rehman, N.A. f-Biharmonic Submanifolds in S-Space Form. Glob. J. Pure Appl. Math. 2020, 16, 0973–1768. [Google Scholar]
  15. Li, Y.; Siddesha, M.S.; Kumara, H.A.; Praveena, M.M. Characterization of Bach and Cotton Tensors on a Class of Lorentzian Manifolds. Mathematics 2024, 12, 3130. [Google Scholar] [CrossRef]
  16. Li, Y.; Mallick, A.K.; Bhattacharyya, A.; Stankovic, M.S. A Conformal η-Ricci Soliton on a Four-Dimensional Lorentzian Para-Sasakian Manifold. Axioms 2024, 13, 753. [Google Scholar] [CrossRef]
  17. Blair, D.E. Geometry of manifolds with structural group U(n)xO(s). J. Diff. Geom. 1970, 4, 155–167. [Google Scholar]
  18. Yano, K. On a structure defined by a tensor field f of type (1; 1) satisfying f3 + f = 0. Tensor NS 1963, 14, 99–109. [Google Scholar]
  19. Aktan, N.; Sarıkaya, M.Z.; Ozusaglam, E.B.Y. Chen’s inequality for semi-slant submanifoldsin T-space forms. Balk. J. Geom. Its Appl. 2008, 13, 1–10. [Google Scholar]
  20. Aquib, M. Bounds for generalized normalized δ-Casorati curvatures for bi-slant submanifolds in T-space forms. Filomat 2018, 32, 329–340. [Google Scholar] [CrossRef]
  21. Chen, B.-Y. Relations between Ricci curvature and shape operator for submanifolds with arbitrary codimensions. Glasg. Math. J. 1999, 41, 33–41. [Google Scholar] [CrossRef]
  22. Aquib, M.; Lee, J.W.; Vîlcu, G.-E.; Yoon, D.W. Classification of Casorati ideal Lagrangian submanifolds in complex space forms. Differ. Geom. Appl. 2019, 63, 30–49. [Google Scholar]
  23. Aquib, M.; Shahid, M.H. Generalized normalized δ-Casorati curvature for statistical submanifolds in quaternion Kaehler-like statistical space forms. J. Geom. 2018, 109, 3. [Google Scholar] [CrossRef]
  24. Aquib, M. Some inequalities for statistical submanifolds of quaternion kaehler-like statistical space forms. Int. J. Geom. Methods Mod. Phys. 2019, 16, 17. [Google Scholar]
  25. Aydın, M.E.; Mihai, A.; Mihai, I. Some inequalities on submanifolds in statistical manifolds of constant curvature. Filomat 2015, 29, 465–477. [Google Scholar]
  26. Aytimur, H.; Özgür, C. Inequalities for submanifolds in statistical manifolds of quasi-constant curvature. Ann. Pol. Math. 2018, 121, 197–215. [Google Scholar]
  27. Chen, B.-Y. A General optimal inequality for arbitrary Riemannian submanifolds. J. Inequalities Pure Appl. Math. 2005, 6, 77. [Google Scholar]
  28. Matsumoto, K.; Mihai, I.; Tazawa, Y. Ricci tensor of slant submanifolds in complex space forms. Kodai Math. J. 2003, 26, 85–94. [Google Scholar]
  29. Vılcu, G.E.; Chen, B.-Y. inequalities for slant submanifolds in quaternionic space forms. Turk. J. Math. 2010, 34, 115–128. [Google Scholar]
  30. Vîlcu, G.E. An optimal inequality for Lagrangian submanifolds in complex space forms involving Casorati curvature. J. Math. Anal. Appl. 2018, 465, 1209–1222. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Aquib, M.; Iqbal, M.; Yadav, S.K. Classification Results of f-Biharmonic Immersion in T-Space Forms. Axioms 2025, 14, 242. https://doi.org/10.3390/axioms14040242

AMA Style

Aquib M, Iqbal M, Yadav SK. Classification Results of f-Biharmonic Immersion in T-Space Forms. Axioms. 2025; 14(4):242. https://doi.org/10.3390/axioms14040242

Chicago/Turabian Style

Aquib, Md, Mohd Iqbal, and Sarvesh Kumar Yadav. 2025. "Classification Results of f-Biharmonic Immersion in T-Space Forms" Axioms 14, no. 4: 242. https://doi.org/10.3390/axioms14040242

APA Style

Aquib, M., Iqbal, M., & Yadav, S. K. (2025). Classification Results of f-Biharmonic Immersion in T-Space Forms. Axioms, 14(4), 242. https://doi.org/10.3390/axioms14040242

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop