Reilly-type inequality for the Φ-Laplace operator on semislant submanifolds of Sasakian space forms

This paper aims to establish new upper bounds for the first positive eigenvalue of the Φ-Laplacian operator on Riemannian manifolds in terms of mean curvature and constant sectional curvature. The first eigenvalue for the Φ-Laplacian operator on closed oriented m-dimensional semislant submanifolds in a Sasakian space form M˜2k+1(ϵ) is estimated in various ways. Several Reilly-like inequalities are generalized from our findings for Laplacian to the Φ-Laplacian on semislant submanifolds in a sphere S2n+1 with ϵ=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\epsilon =1$\end{document} and Φ=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Phi =2$\end{document}.


Introduction and statement of main results
Let N m be a complete noncompact Riemannian manifold and be the compact domain in N m . Assume 1 ( ) > 0 denotes the first eigenvalue of the Dirichlet boundary value problem f + f = 0, in and f = 0 on ∂ , (1.1) where denotes the Laplace operator on N m . Then, the first eigenvalue 1 (N ) is defined by 1 (N ) = inf 1 ( ). The Reilly formula relates exclusively to the intrinsic geometry of the manifold and certainly to the specific PDE under consideration. This can be simply understandable with the following example. Let (N m , g) be a compact m-dimensional Riemannian manifold and let 1 denote the first nonzero eigenvalue of the Neumann problem f + 1 f = 0, on N and ∂f ∂N = 0, on ∂N , (1.2) where N is the outward normal on ∂N m . A result of Reilly [22], reads as the following. Let N m be a Riemannian manifold and R k is the Euclidean space having dimensions m and k, respectively. The manifold N m is connected, closed, and oriented. The N m is isometrically immersed in R k with condition ∂N m = 0. The mean curvature of this isometric immersion is denoted by H and the first nonzero eigenvalue ∇ 1 of the Laplacian on N m can be written as in the sense of Reily [22] ∇ 1 ≤ l Vol (N m where the volume element of N m is denoted by dV . It can be seen in the literature that many authors were prompted to work in such inequalities for different ambient spaces after the breakthrough of inequality (1.3). In Minkowski spaces, the upper bound for a Finsler submanifold is proposed by both Zeng and He [29]. This upper bound relates to the 1st eigenvalue of the -Laplacian. For a closed manifold, the first eigenvalue of the -Laplace operator is presented by Seto and Wei [25] by using the condition of integral curvature. In the hyperbolic space, the bottom spectra of the Laplace manifold for a complete and a noncompact submanifold is calculated by Lin [19] and the mean curvature has the condition of integral pinching. In addition, Xiong [28] contributed his role on closed hyperspace to find the first Hodge Laplacian eigenvalue. Moreover, Xiong worked for a complete Riemannian manifold that included the Reilly-type sharp upper bounds for the eigenvalues in product manifolds. The generalized Reilly inequality (1.3) and first nonzero eigenvalue of the -Laplace operator is calculated by Du et al. [16]. On a compact submanifold, they used the Wentzel-Laplace operator having a boundary in Euclidean space. Following the same pattern, for Dirichlet and Neumann boundary conditions, Blacker and Seto [6] evidenced a Lichnerowicz-type lower bound for the first nonzero eigenvalue of the -Laplacian. They used the Hessian decomposition on Kaehler manifolds having positive Ricci curvature. A simply connected space form M m (c) having constant curvature c is obtained by a well-known evaluation for the first nonzero eigenvalue of Laplacian by the immersion of a submanifold N m in simply connected space having m-dimension. This space form included the Euclidean space R m , the unit sphere S m (1), and the hyperbolic space H(-1) m with c = 0, 1 and c = -1, respectively.
In [3,4,13,15], the first nonzero eigenvalue of the Laplacian is evidenced that is considered as the generalization of the results in Reilly [22]. For various ambient spaces, the outcomes of different classes of Riemannian submanifolds indicate that the result of both 1st nonzero eigenvalues depict alike inequalities and ultimately have identical upper bounds [12,13]. This result is valid for both Dirichlet and Neumann conditions. For an ambient manifold, it is obvious from the literature that Laplace and -Laplace operators on Riemannian submanifolds helped to acquire different breakthroughs in Riemannian geometry (see [5,8,9,11,14,17,20,21,23,26,29]) through the work of [22]. To define the -Laplacian that is a second-order quasilinear elliptic operator on N m (compact Riemannian manifold N m having m-dimension), we have Let us study a Riemannian manifold N m with no boundary. The Rayleigh-type variational characterization is observed in the first nonzero eigenvalue of that is given by 1, . From (cf. [27]): This naturally raises the question: Is it possible to generalize the Reilly-type inequalities for submanifolds in spheres through the class of almost contact manifolds that were proved in [1,13,15]? In Sasakian space form, our aim is to derive the 1st eigenvalue for the -Laplacian on a slant submanifold. Following this opinion and motivated by the historical development in the analysis of the first nonnull eigenvalue of the -Laplacian on a submanifold in various space forms, by using the Gauss equation and influenced by the studies of [12,13,16], our goal is to give a general view of the above Reilly conclusion for the -Laplace operator and we going to provide a sharp estimate of the first eigenvalue for the -Laplacian on a semislant submanifold of Sasakian space form M 2k+1 ( ). The main finding of this paper will be announced in the following theorem. (1) The first nonnull eigenvalue 1, of the -Laplacian satisfies: The equality's cases are the same as in Theorem 1.1 (2).
This is an immediate application of Theorem 1.1 by using 1 < ≤ 2, as the Sasakian space form.
Then, 1, satisfies the following inequality for the -Laplacian Remark 1.2 Consider the inequality (1.10) and put = 2, then inequality (1.10) generalizes the Reilly-type inequality (1.9). This shows that the Reilly-type inequality calculates the first eigenvalue for the Laplace operator on a slant submanifold in Euclidean sphere S 2k+1 (see Theorem 1.2 in [15] and Theorem 1.3 in [13]), are the same in the case of our Theorem 1.1 for = 1 and = 2.

Preliminaries and notations
An almost contact manifold is an odd-dimensional C ∞ -manifold ( M 2k+1 , g) with almost contact structure (ψ, ξ , η) that satisfies the following properties, i.e., for any U 2 , V 2 belong to M 2k+1 . The three parameters of an almost contact structure can be individually elaborated as ψ is a (1, 1)-type tensor field, whereas ξ is the structure vector field and η is dual 1-form. In the perspective of the Riemannian connection, an almost contact manifold can be a Sasakian manifold [2,24] if This indicates that where ∇ indicates the Riemannian connection in regard to g and U 2 , V 2 are any vector fields on M 2k+1 . With this, we consider that M 2k+1 converts into a Sasakian space form if it has a ψ-sectional constant curvature and is represented by M 2k+1 ( ). Thus, we can represent the curvature tensor R of M 2m+1 ( ) as: for any arbitary X 2 , Y 2 , Z 2 , W 2 belonging to M 2k+1 . For more details, see [2,10,24]. Assuming that N m is an m-dimensional submanifold isometrically immersed in a Sasakian space form M 2k+1 ( ), if ∇ and ∇ ⊥ are induced connections on the tangent bundle TN and the normal bundle T ⊥ N of N , respectively, then, the Gauss and Weingarten formulas are given by: for each U 2 , V 2 ∈ (TN ) and ζ ∈ (T ⊥ N ), where h and A ζ are the second fundamental form and shape operator (analogous to the normal vector field ζ ), respectively, for the immersion of N m into M 2k+1 ( ). They are connected as: Throughout the structure vector field ξ is assumed to be tangential to N , otherwise N is simply antiinvariant. Now, for any U ∈ (TN ) and N ∈ (T ⊥ N ), we have: where TU 2 (tζ ) and FU 2 (f ζ ) are the tangential and normal components of ψU 2 (ψζ ), respectively.
A submanifold N m is defined to be a slant submanifold if for any x ∈ N and for any vector field U 2 ∈ (TN m ), linearly independent on ξ , the angle between ψU 2 and TN is a constant angle ϑ(U 2 ) that lies between zero and π/2. This follows from the definition of slant immersions, where Cabrerizo [7] obtained the necessary and sufficient condition that a submanifold N m is said to be a slant submanifold if and only if there exists a constant C ∈ [0, π/2] and one tensor fled T is satisfied by the following: such that C = cos 2 ϑ. Also, we have a consequence of the above formula With the help of the moving-frame method, we explore some of the interesting features of conformal geometry and slant submanifolds. The specific convection has been applied on indices range, though we exclude in a way that: The mean curvature and squared norm of the mean curvature vector H N of a Riemannian submanifold N m are defined by: h(e i , e i ) and, (2.10) Similarly, the length of the second fundamental form h is given by In addition, we denote the following: (2.12) Our main motivation comes from the following example: ) Let (R 2k+1 , ϕ, ξ , η, g) denote the Sasakian manifold with Sasakian structure where (x i 1 , y i 1 , z 1 ), i = 1 · · · k are the coordinates system. It is easy to explain that (R 2k+1 , ϕ, ξ , η, g) is an almost contact metric manifold. Now, consider the 3-dimensional submanifold in R 5 with Sasakian structure. For any ϑ ∈ [0, π 2 ] such that: ψ(u 1 , v 1 , t) = 2(u 1 cos ϑ, u 1 sin ϑ, v 1 , 0, t). (2.13) Under the above immersion N 3 is a three-dimensional minimal slant submanifold containing slant angle ϑ and scalar curvature τ = -cos 2 ϑ 3 .
Similarly, we give more examples for a nonminimal submanifold.
Example 2.2 ( [7]) For any constant λ, we define an immersion: 14) It is easy to see that the above immersion is a three-dimensional slant submanifold with slant angle ϑ = cos -1 ( |λ| √ 1+λ 2 ). Moreover, scalar curvature τ = -λ 2 3(1+λ 2 ) and mean curvature |H| = 2e -λu 1 3 √ It is clear that the dimension of N m can be decomposed as m = 2d 2 + 2d 3 + 1. Then, from (2.9), we derive that: g(ϕe 1 , e 2 ) = cos ϑ. (2.17) In similar way, we repeat that then: Taking the trace of the above equation and using (2.19), we obtain: where R is the scalar curvature of N m and S is the length of the second fundamental form h.

Conformal relations
In this section, we will look at how the conformal transformation affects the curvature and the second fundamental form. Although these relationships are well known (cf. [1]), we use the moving-frame method to provide a quick proof for the readers' convenience. Assume that M 2k+1 has a new metricg = e 2ρg , that is conformal tog, and where ρ ∈ C ∞ ( M). Then,˜ a = eρ a is the dual coframe of ( M,g), andẽ a = e ρ e a is the orthogonal frame of ( M,g). The equality's equations of ( M,g) are given in ( [1], Eqs. (20), (21), (22) (23)) by: where ρ a is the covariant derivative of ρ with respect to e a , that is, dρ = a ρ a e a .
By pulling back (2.22) to N m by x, we have: (2.24) from this, it is easy to obtain the useful relation:

Proof of main result
In this section we shall prove Theorem 1.1 announced in a previous section. First, some fundamental formulas will be presented and some useful lemmas from [20] will be recalled to our setting. For the proposes of this paper, we are going to provide an important lemma that was essentially motivated by the study in [1,20].
Based on the above arguments, we have a lemma. for > 1.
In the above Lemma 3.1 by the constructed test function, we produce an upper bound for 1, in the form of the conformal function that is comparable with Lemma 2.7 in [20].
where is the conformal map in Lemma 3.1 and for all > 1. Identified by ϒ ε is the standard metric on M 2k+1 ( ) and it is considered that * ϒ 1 = e 2ρ ϒ ε , Proof Considering a as a test function along with Lemma 3.1, we derive 1, N m a ≤ ∇ a dV , 1≤ a ≤ 2(k + 1).

Proof of Theorem 1.1
To begin with 1 < ≤ 2, then 2 ≤ 1. Taking help from Proposition 3.1 and implementing the Hölder inequality, we have: By using both conformal relations and Gauss equations, it is possible to calculate e 2ρ . Let M 2k+1 = M 2k+1 ( ), andg = e -2ρ ϒ ,g = * ϒ 1 in the above. From (2.21), the Gauss equations for the embedding x and the slant embedding = • x are, respectively: Tracing (2.23), it can be established that: which together with replacement of (3.9) and (3.10) into (3.11) gives: Dividing by m(m -1) in the above equation, it implies that e 2ρ = + 3 4 + -1 4 Taking integration along dV , it is not complicated to obtain the following The above result is comparable to (1.7) as we desired to prove. In the case where > 2, it is not possible to apply the Holder inequality directly to govern N (e 2ν ) 2 by using N (e 2ρ ). We did multiply both sides of (3.12) with the factor e ( -2)ρ and then solve by using integration on N m (cf. [11]) (3.13) Next, it follows from the assumption that m ≥ 2 -2, and we apply Young's inequality, then for each a = 1, . . . , 2k + 2. If 1 < < 2 then | a | = 0 or 1. Hence, there would be only one a for which | a | = 1 and 1, = 0, which seems to be a contradiction as the eigenvalue is nonzero. Hence, we consider = 2 and we are only restricted to the Laplacian case. Then, we are able to apply Theorem 1.5 from [15]. Let > 2 and the equality remains valid in (1.8), then it shows that (3.7) and (3.8) become the equalities that indicates 1 = · · · = 2k+2 and condition |∇ a | = 0 holds for existing a. This shows that a is a constant value and 1, is also equal to zero. This last result again represents a conflict in that 1, is a nonnull eigenvalue. This completes the proof of the theorem.