Abstract
This paper investigates totally real submanifolds in a locally conformal Kaehler space form. Using the moving-frame method and constant mean curvature, we obtain the upper and lower bounds of the first eigenvalue for totally real submanifolds in a locally conformal Kaehler space form. We discussed the integral inequalities and their properties. Some previous results are generalized from our results.
Keywords:
geometric inequality; Dirichlet eigenvalues; locally conformal Kaehler space forms; lower and upper bounds of eigenvalues MSC:
53C42; 53C80; 47A10; 47A75
1. Introduction and Motivations
Let be a compact Riemannian manifold of dimension m and then Laplacian is a quasilinear elliptic map on given as
The Laplacian has some common characteristics with the classic Laplace operator, which means that we can consider the eigenvalue problem of . An eigenvalue equation for the corresponding Laplace operator is defined as a real number , which is called an eigenvalue if there is a non-zero function fulfilling the following
with appropriate boundary conditions. We used [1,2] as general references for the Laplacian operator. Now, let be a Riemannian manifold without boundary. The first nonzero eigenvalue of is of a Rayleigh type variational characterization (cf. [3]):
In recent years, eigenvalue problems of some elliptic operators such as the usual Laplace operator, the p-Laplacian, the drifting Laplacian, the biharmonic operator, and their weighted versions have been investigated for static Riemannian metrics under no boundary condition or various types of boundary conditions such as the Dirichlet boundary condition, Neumann boundary condition, Robin boundary condition, Navier boundary condition, Steklov boundary condition, Wentzell boundary condition, etc. (see [4,5,6] and the references therein). Motivated by the work of Perelman [7] and Cao [8], research on eigenvalues of the Laplace operator and its deformations, such as p-Laplacian, Witten–Laplacian, and weighted p-Laplacian are discussed. Moreover, various geometric flows such as the Ricci flow, the mean curvature flow, and the Yamabe flows have been studied since geometric curvature flows became tools to obtain canonical metrics and describe the topology of the Riemannian manifolds. Some geometric inequalities, including some classical isoperimetric inequalities, were proved (see [9,10], for instance). For eigenvalue problems under the Yamabe flow, Wu [11] established the evolution of the formula for the first eigenvalue of the Laplace operator under Yamabe flow. Afterward, Zhao [12], studied the monotonicity of the first eigenvalue of the Laplace operator under Yamabe flow provided that the initial manifold is homogeneous. Further, Wang and Zheng [13] proved that the first eigenvalue of the p-Laplace operator and Yamabe invariant are both locally Lipschitz along geometric flows under weak assumptions. Guo et al. [14] constructed Perelman’s F and entropy in abstract geometric flows and obtained the monotonicity of the entropies under a technical condition.
On the other hand, the space form geometry is very popular nowadays. Several authors constructed the first eigenvalues for submanifolds in different space forms such as in C-totally real submanifolds in Sasakian space forms [15], Lagrangian submanifolds in complex space forms [16], slant submanifolds of Sasakian space form [17], semi-slant submanifolds of Sasakian space forms [18] and totally real submanifolds in generalized complex space forms [19] that contain a p-laplacian operator. For more references, see [20,21,22,23,24]. It should be noted that little work has been done on estimating eigenvalues in submanifolds in space form geometry. Therefore, we were motivated by some previous work, constructed the first eigenvalue for a totally real submanifold in locally conformal Kaehler space form, and discussed their consequences in the present paper.
2. Preliminaries
Let be a complex n-dimensional Hermitian manifold, where denotes its complex structure and g its Hermitian metric. Then, is a locally conformal Kaehler (l.c.K.) manifold if there is an open cover of and a family of functions so that each local metric
is a Kahlerian metric [25,26,27]. In this case, , where is the inclusion. We define a fundamental 2-form or Kaehlerian form with respect to almost complex structure , that is
for any If is a locally conformal Kaehler manifold, then there exists a closed 1-form , which is globally defined on
provided that , where is a 1-form and is a Levi–Cita connection with respect to g. Moreover, 1-form is called the Lee form, and its dual vector field is the Lee vector field. Now, we define symmetric tensor on a locally conformal Kaehler manifold as:
where is the norm of with respect to g. Similarly, skew-symmetric tensor is constructed as
If a locally conformal Kaehler manifold has the holomorphic constant section curvature , then it is called locally conformal Kaehler space form and it is denoted . Therefore, curvature tensor of is defined as
provided that and for any . Let be a submanifold of an almost Hermitian manifold with induced metric g and if ∇ and are induced connections on the tangent bundle and normal bundle of , respectively. Then, the Gauss and Weingarten formulas are given by
for each and , where and are the second fundamental form and shape operator (corresponding to the normal vector field ), respectively, for the immersion of into . They are related as:
for any . If the almost complex structure caries each tangent space of a submanifold of a locally conformal Kaehler manifold into its normal space, then the submanifold is called a totally real submanifold of [28]. In this case, for each tangent to . Then (2) is reduced to the following
for any The equation of Gaus is defined for curvature tensors and of and , respectively
We considered an orthonormal frame in such that restricted to , is tangent to . We provided the indices as follows
Equation (3) expressed in term local coordinates
where is the sectional curvature of . Let denote the squared length of the second fundamental form of , defined by
Similarly, the mean curvature of is calculated as:
The curvature tensor of indices for submanifold
The Ricci curvature for a totally real submanifold, we define as:
From the above, we fix some notations
Let us assume that is parallel to , then we have
where tr stands for the trace of the matrix Taking account of (5), (8) and (11), we have scalar curvature as
where is the mean curvature vector of and .
Since is constant. It can be concluded that the scalar curvature is constant if and only if is constant by (12). Let denote the second covariant derivative of , we have
where is the dual frame of . Taking the exterior derivative of the above equation, we obtain
Moreover, the Laplacian function is defined by . Since is minimal, we have the following
by the same calculation as given in [29]. We need the following to prove our main result:
Lemma 1
([30]). Let , be a symmetric matrix and . Assume that trace . Then we have
Now we are in a position to estimate our first main result, which is stated as follows.
Theorem 1.
Let be an m-dimensional compact totally real submanifold in locally conformal Kaehler space form with constant mean curvature and scalar curvature. Then, we have
where and ζ denote the mean curvature of and the squared of the length of the second fundamental form of , respectively.
Proof.
Assume that is an eigenfunction of the Laplacian on totally real submanifold first eigenvalue corresponding to an eigenvalue , i.e, . If , we have the following formula from [31], that is
Using the same terminology as given in [30] for any unit vector v on submanifold and implementation of Lemma 1, we obtain the following equation
If we choose in the proceeding equation, we have
Since we proceed
Taking integration along compact boundaries, we have
Inserting (17) and (18) into (16), we derive
It is concluded that for and from (19) with is constant, then we have
where is the first non-zero eigenvalue of . This is the complete proof of a theorem. □
If the mean curvature is minimal, then we have the following result from Theorem 1
Corollary 1.
Let be an m-dimensional compact minimal totally real submanifold in locally conformal Kaehler space form with constant mean curvature and scalar curvature, and then, we obtain
In terms of scalar curvature, we have
Corollary 2.
Let be an m-dimensional compact minimal totally real submanifold in locally conformal Kaehler space form with constant mean curvature and scalar curvature, and then, the following inequality is satisfied
For the next result, we need the following lemma to be proved
Lemma 2.
Let be an m-dimensional submanifold in an -dimensional manifold with constant mean curvature, we have
where h is codimension.
Proof.
For any and fixed index . Therefore, we can consider of orthonormal frame at x, we obtain
Next, we solve the following terms:
We can obtain the following for constant mean curvature for fixed index c
Summing for c, we derive
In view of (22) and (23), we calculate
Inserting (24) into (21), we arrive at
Summing for in (25), we have
On the other hand, we obtain
which implies that
This is the complete proof of lemma. □
Lemma 3.
Let be an m-dimensional submanifold in an -dimensional manifold with constant mean curvature. Then, either the first non-zero eigenvalue of satisfies the following inequality
where ζ is the squared norm of the second fundamental form or is totally geodesic.
Proof.
Following from the same concept as in [32], we obtain
Lemma 4.
Let be an m-dimensional submanifold in an -dimensional manifold with constant mean curvature; we have inequality
Now, we establish the second most important result:
Theorem 2.
Let be an m-dimensional compact totally real submanifold with constant mean curvature in locally conformal Kaehler space form ; then, either the following inequality holds,
where is squared norm of the second fundamental form or is totally geodesic.
Proof.
Taking account of Lemmas 3 and 4, we obtain the following inequality
provided that is not totally geodesic submanifold in . This completes the proof of the theorem. □
Remark 1.
It is concluded that the Theorems 1 and 2 are the generalizations of Theorems 1 and 2 in [33].
Author Contributions
Conceptualization P.L.-I., N.M.A., F.M. and A.A.; methodology, P.L.-I., A.H.A. and A.A.; investigation, P.L.-I., N.M.A. and A.A.; writing—original draft preparation, P.L.-I., F.M., A.H.A. and A.A.; writing—review and editing, P.L.-I., N.M.A., F.M. and A.A.; funding acquisition, N.M.A. and P.L.-I. All authors have read and agreed to the published version of the manuscript.
Funding
The authors extend their appreciation to the Deanship of Research and Graduate Studies at King Khalid University for funding this work through a Large Research Project under grant number R.G.P.2/03/46. The author, Fatemah Mofarreh, expresses her gratitude to Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2025R27), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Informed Consent Statement
Not applicable.
Data Availability Statement
Two databases were used in this study.
Acknowledgments
The authors extend their appreciation to the Deanship of Research and Graduate Studies at King Khalid University for funding this work through a Large Research Project under grant number R.G.P.2/03/46. The author, Fatemah Mofarreh, expresses her gratitude to Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2025R27), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Conflicts of Interest
The authors declare no conflicts of interest.
References
- Babuska, I.; Osborn, J. Handbook of Numerical Analysis: Finite Element Methods (Part 1); Elsevier: Amsterdam, The Netherlands, 1991; Volume 2, pp. 641–787. [Google Scholar]
- Lindqvist, P.; Peter, A. A nonlinear eigenvalue problem, Topics in mathematical analysis. Anal. Appl. Comput. 2008, 3, 175–203. [Google Scholar]
- Veron, L. Some existence and uniqueness results for solution of some quasilinear elliptic equations on compact Riemannian manifolds. In Colloquia Mathematica Societatis János Bolyai; Elsevier: Amsterdam, The Netherlands, 1991; pp. 317–352. [Google Scholar]
- Chavel, I. Eigenvalues in Riemannian Geometry; Academic Press: New York, NY, USA, 1984. [Google Scholar]
- Grigoryan, A.; Yau, S.T. Surveys in Differential Geometry: Eigenvalues of Laplacians and Other Geometric Operators; International Press of Boston: Boston, MA, USA, 2004; Volume 9. [Google Scholar]
- Mao, J.; Wu, C.X.; Du, F. Eigenvalue Problems on Manifolds; Science Press: Beijing, China, 2017. [Google Scholar]
- Perelman, G. The entropy formula for the Ricci flow and its geometric applications. arXiv 2002, arXiv:math/0211159. [Google Scholar]
- Cao, X.D. Eigenvalues of (−Δ+) on manifolds with nonnegative curvature operator. Math. Ann. 2007, 337, 435–441. [Google Scholar] [CrossRef]
- Huisken, G.; Ilmanen, T. The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differ. Geom. 2001, 59, 353–437. [Google Scholar] [CrossRef]
- Ritore, M.; Sinestrari, C. Mean Curvature Flow, and Isoperimetric Inequalities; Birkhauser: Basel, Switzerland, 2010. [Google Scholar]
- Wu, J. The first eigenvalue of the Laplace operator under the Yamabe flow. Chin. Ann. Math. Ser. A 2009, 30, 631–638. [Google Scholar]
- Zhao, L. The first eigenvalue of the Laplace operator under Yamabe flow. Math. Appl. 2011, 24, 274–278. [Google Scholar]
- Wang, E.M.; Zheng, Y. Regularity of the first eigenvalue of the p-Laplacian and Yamabe invariant along geometric flows. Pac. J. Math. 2011, 254, 239–255. [Google Scholar] [CrossRef]
- Guo, H.X.; Philipowski, R.; Thalmaier, A. Entropy and lowest eigenvalue on evolving manifolds. Pac. J. Math. 2013, 264, 61–81. [Google Scholar] [CrossRef]
- Ali, A.; Alkhaldi, A.H.; Laurian-Ioan, P.; Ali, R. Eigenvalue inequalities for the p-Laplacian operator on C-totally real submanifolds in Sasakian space forms. Appl. Anal. 2022, 101, 702–713. [Google Scholar] [CrossRef]
- Ali, A.; Lee, J.W.; Alkhaldi, A.H. The first eigenvalue for the p-Laplacian on Lagrangian submanifolds in complex space forms. Int. J. Math. 2022, 33, 2250016. [Google Scholar] [CrossRef]
- Li, Y.L.; Ali, A.; Mofarreh, F.; Abolarinwa, A.; Ali, R. Some eigenvalues estimate for the ϕ-Laplace operator on slant submanifolds of Sasakian space forms. J. Funct. Spaces 2021, 2021, 1–10. [Google Scholar]
- Li, Y.L.; Mofarreh, F.; Agrawal, R.P.; Ali, A. Reilly-type inequality for the Φ-Laplace operator on semi-slant submanifolds of Sasakian space forms. J. Inequal. Appl. 2022, 2022, 102. [Google Scholar] [CrossRef]
- Alluhaibi, N.; Ali, A. The eigenvalue estimates of p-Laplacian of totally real submanifolds in generalized complex space forms. Ric. Mat. 2024, 73, 1307–1321. [Google Scholar] [CrossRef]
- Li, Y.L.; Ali, A.; Mofarreh, F.; Abolarinwa, A.; Alshehri, N.; Ali, A. Bounds for eigenvalues of q-Laplacian on contact submanifolds of Sasakian space forms. Mathematics 2023, 11, 4717. [Google Scholar] [CrossRef]
- 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]
- 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]
- 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]
- El Chami, F.; Habib, G.; Makhoul, O. Eigenvalue estimate for the basic Laplacian on manifolds with foliated boundary. Ric. Di Mat. 2018, 67, 765–784. [Google Scholar] [CrossRef]
- Sorin, D.; Liviu, O. Locally Conformal Kähler Geometry; Progress in Mathematics; Birkhäuser Inc.: Boston, MA, USA, 1998; Volume 155, pp. xiv+327. ISBN 0-8176-4020-7. [Google Scholar]
- Kashiwada, T. Some properties of locally conformally Kaehler manifolds. Hokkaido J. Math. 1979, 8, 191–198. [Google Scholar] [CrossRef]
- Vaisman, I. On locally and globally conformal Kähler manifolds. Trans. Am. Math. Soc. 1980, 262, 533–542. [Google Scholar]
- Koji, M.; Ion, M. An obstruction to the existence of minimal totally real immersions in a locally conformal Kähler space form. Bull. Yamagata Univ. Nat. Sci. 1997, 14, 83–87. [Google Scholar]
- Chen, B.-Y.; Ogiue, K. On totally real submanifolds. Trans. Am. Math. Soc. 1974, 193, 257–266. [Google Scholar] [CrossRef]
- Cai, K.R. Toplogy of a certain closed submanifold in a Euclidean space. Chin. Ann. Math. 1987, 8A, 234–241. [Google Scholar]
- Leung, P.F. Minimal submanifolds in a sphere. Math. Z. 1983, 183, 75–86. [Google Scholar] [CrossRef]
- Zhao, G.S. An intrinsic rigidity theorem for totally real minimal submanifolds in a complex projective space. J. Sichuan Univ. 1992, 29, 174–178. [Google Scholar]
- Huafei, S. The first eigenvalue of the totally real submanifolds with constant mean curvature in the complex space form. Mem. Fac. Sci. Kyushu Univ. Ser. Math. 1993, 47, 411–419. [Google Scholar] [CrossRef][Green Version]
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. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).