Loading [MathJax]/jax/output/SVG/jax.js
Research article

The eigenvalues of β-Laplacian of slant submanifolds in complex space forms

  • Received: 23 August 2023 Revised: 17 December 2023 Accepted: 22 December 2023 Published: 08 January 2024
  • MSC : 35P15, 53C42, 58C40

  • In this paper, we provided various estimates of the first nonzero eigenvalue of the β-Laplacian operator on closed orientated p-dimensional slant submanifolds of a 2m-dimensional complex space form ˜V2m(4ϵ) with constant holomorphic sectional curvature 4ϵ. As applications of our results, we generalized the Reilly-inequality for the Laplacian to the β-Laplacian on slant submanifolds of a complex Euclidean space and a complex projective space.

    Citation: Lamia Saeed Alqahtani, Akram Ali. The eigenvalues of β-Laplacian of slant submanifolds in complex space forms[J]. AIMS Mathematics, 2024, 9(2): 3426-3439. doi: 10.3934/math.2024168

    Related Papers:

    [1] Meraj Ali Khan, Ali H. Alkhaldi, Mohd. Aquib . Estimation of eigenvalues for the $ \alpha $-Laplace operator on pseudo-slant submanifolds of generalized Sasakian space forms. AIMS Mathematics, 2022, 7(9): 16054-16066. doi: 10.3934/math.2022879
    [2] Ali H. Alkhaldi, Akram Ali, Jae Won Lee . The Lawson-Simons' theorem on warped product submanifolds with geometric information. AIMS Mathematics, 2021, 6(6): 5886-5895. doi: 10.3934/math.2021348
    [3] Amira A. Ishan, Meraj Ali Khan . Chen-Ricci inequality for biwarped product submanifolds in complex space forms. AIMS Mathematics, 2021, 6(5): 5256-5274. doi: 10.3934/math.2021311
    [4] Tanumoy Pal, Ibrahim Al-Dayel, Meraj Ali Khan, Biswabismita Bag, Shyamal Kumar Hui, Foued Aloui . Generalized warped product submanifolds of Lorentzian concircular structure manifolds. AIMS Mathematics, 2024, 9(7): 17997-18012. doi: 10.3934/math.2024877
    [5] Noura Alhouiti . Theorems of existence and uniqueness for pointwise-slant immersions in Kenmotsu space forms. AIMS Mathematics, 2024, 9(7): 17489-17503. doi: 10.3934/math.2024850
    [6] Rifaqat Ali, Nadia Alluhaibi, Khaled Mohamed Khedher, Fatemah Mofarreh, Wan Ainun Mior Othman . Role of shape operator in warped product submanifolds of nearly cosymplectic manifolds. AIMS Mathematics, 2020, 5(6): 6313-6324. doi: 10.3934/math.2020406
    [7] Fatimah Alghamdi, Fatemah Mofarreh, Akram Ali, Mohamed Lemine Bouleryah . Some rigidity theorems for totally real submanifolds in complex space forms. AIMS Mathematics, 2025, 10(4): 8191-8202. doi: 10.3934/math.2025376
    [8] Junchi Ma, Lin Chen, Xinbo Cheng . Virtual element method for the Laplacian eigenvalue problem with Neumann boundary conditions. AIMS Mathematics, 2025, 10(4): 8203-8219. doi: 10.3934/math.2025377
    [9] Ali H. Alkhaldi, Meraj Ali Khan, Shyamal Kumar Hui, Pradip Mandal . Ricci curvature of semi-slant warped product submanifolds in generalized complex space forms. AIMS Mathematics, 2022, 7(4): 7069-7092. doi: 10.3934/math.2022394
    [10] Muqeem Ahmad, Mobin Ahmad, Fatemah Mofarreh . Bi-slant lightlike submanifolds of golden semi-Riemannian manifolds. AIMS Mathematics, 2023, 8(8): 19526-19545. doi: 10.3934/math.2023996
  • In this paper, we provided various estimates of the first nonzero eigenvalue of the β-Laplacian operator on closed orientated p-dimensional slant submanifolds of a 2m-dimensional complex space form ˜V2m(4ϵ) with constant holomorphic sectional curvature 4ϵ. As applications of our results, we generalized the Reilly-inequality for the Laplacian to the β-Laplacian on slant submanifolds of a complex Euclidean space and a complex projective space.



    A crucial part of Riemannian geometry is determining the bound of the eigenvalue of the Laplacian on a particular manifold. The study of eigenvalues, that show up as solutions to the Dirichlet or Neumann boundary value problems for curvature functions, is a key goal of this purpose. Due to the diversity of boundary conditions on a manifold, and from the perspective of the Dirichlet boundary condition, one can consider determining the upper bound of the eigenvalue as a method of locating the proper bound of the Laplacian on the particular manifold. Finding the eigenvalues of the β-Laplace and Laplace operators has attracted more attention in recent years. Now, if the first eigenvalue of the Dirichlet boundary condition is denoted by υ1(Σ)>0 on a complete noncompact Riemannian manifold Vp with the compact domain Σ in Vp, then we have

    Δσ+υσ=0onΣandσ=0onΣ, (1.1)

    where Δ is the Laplacian on Vp and σ is a nonzero function defined on Vp, then, υ1(Vp) expressed as infΣυ1(Σ). The Dirichlet eigenvalues are the eigenvalues of the Laplace operator on a domain with Dirichlet boundary conditions. They have many important consequences in various areas of mathematics, including differential geometry, number theory, and mathematical physics. The Dirichlet eigenvalues determine the geometry of a domain. For example, the first Dirichlet eigenvalue of a domain is related to the diameter of the domain. The higher eigenvalues are related to the curvature of the domain and the way it is embedded in Euclidean space. In this sequel, the Dirichlet eigenvalues appear in the solution of the heat equation on a domain. The eigenvalues and the corresponding eigenfunctions determine the solution's decay rate. Also, the Dirichlet eigenvalues are an important tool in spectral theory, which deals with studying the spectrum of operators. The spectrum of the Laplace operator with Dirichlet boundary conditions contains the Dirichlet eigenvalues, and the behavior of the eigenvalues can reveal information about the underlying geometry of the domain. Therefore, it has been studied on a large scale[1,2,3].

    The Reilly formula only applies to the manifold's inherent geometry and most definitely to the particular PDE being examined in the next equation. One can easily comprehend this by the following example: Let (Vp,g) be a compact p-dimensional Riemannian manifold and υ10 is the first eigenvalue of the Neumann boundary condition on Vp, and we have

    Δσ+υ1σ=0onVpandσN=0onVp, (1.2)

    where N is the outward normal on Vp. The Neumann eigenvalue problem is a classical mathematical physics problem with a wide range of applications in various fields, including acoustics, electromagnetics, quantum mechanics and fluid dynamics. Also, the Neumann eigenvalues of the Laplacian operator correspond to the energy levels of a quantum mechanical system. This is used, for example, in the study of the Schrödinger equation and the calculation of the electronic structure of molecules. Furthermore, the Neumann eigenvalues of the Laplacian operator correspond to the frequencies of small oscillations of a fluid in a closed container. This is used in the study of fluid dynamics, where the resonant frequencies determine the stability of the fluid flow.

    In [4], a result of Reilly proved the following famous upper bound inequality of the Laplacian associated with the first nonzero eigenvalue υ1:

    υ1pVol(Vp)Vp|H|2dV, (1.3)

    for a Riemannian submanifold Vp isometrically embedded in the Euclidean space R2m included the mean curvature H with dimension denoted by p of Vp. In this case, the submanifold Vp is connected, closed, and oriented and the boundary satisfies Vp=0.

    The inequality (1.3) leads to the great inspiration for several authors in this field, as they have created such problems for various ambient settings. For example, on Minkowski spaces [3], on closed Riemannian manifolds [5] of the β-Laplacian under integral curvature conditions and on the hyperbolic spaces [6] with some integral conditions imposed on the mean curvature. Also, it was studied on product manifolds [7] of the Hodge Laplacian, on projective spaces [8] for the β-Laplacian that generalized (1.3), on Kaehler manifolds in [9] and for the Wentzel-Laplace operator in Euclidean space [10]. Motivated by literature, the upper bound of the first eigenvalue υ1>0 of the Laplacian is established in [4,11] for connected space form Vp(ϵ) with constant curvature ϵ and is given as follows:

    υ1pVol(V)Vp(|H|2+ϵ)dV, (1.4)

    where Vp is a closed orientable submanifold of dimension p in Vp(ϵ). It is easy to study that the inequality (1.4) generalized for the Euclidean space R2m with ϵ=0, the unit sphere S2m(1) with ϵ=1, and the hyperbolic space H2m(1) ϵ=1, respectively. The equality case holds in (1.4) if, and only if, Vp is minimal in a geodesic sphere of radius rϵ of ˜Vm(ϵ) with r0=(p/υΔ1)1/2,r1=arcsinr0, and r1=arcsinhr0. Next, inequality (1.4) was extended for the β-Laplacian in [12,13] as given the results in [4] that assumed expanded applications. Similar results can be found in [1,2,3,14,15,16,17,18,19,20,21,22] through the work of [4]. Now, we are defining the β-Laplacian operator for β>1 which satisfies the following differential equation:

    Δβσ=div(|σ|β2σ). (1.5)

    If we substitute β=2 in (1.5), then it becomes the usual Laplacian. Similarly, the eigenvalue Λ of Δβ is as follows:

    Δβσ=υ|σ|β2σ, (1.6)

    for the Dirichlet boundary condition (1.1) (or Neumann boundary condition (1.2)).

    The first nonzero eigenvalue υ1,β of Δβ on a Riemannian manifold Vp with no boundary demonstrates the variational characteristic of the Rayleigh type [23]:

    υ1,β=inf{V|σ|βVσβ|σW1,β(Vp) {0},V|σ|β2σ=0}. (1.7)

    The elliptical β-Laplacian is a nonlinear generalization of the standard Laplace operator that arises in various areas of mathematics and physics. It is a partial differential operator that appears in the study of nonlinear elliptic equations. It is used to model various physical phenomena, such as the behavior of fluids, electromagnetism, and elasticity. Moreover, the standard Laplace operator is linear, and the elliptical β-Laplace operator is nonlinear. It exhibits a wide range of interesting and complex behavior. It is given the name β-Laplacian operator because it involves the βth power of the gradient of a function. Therefore, the study of the elliptical β-Laplacian operator is an active area of research in both pure and applied mathematics. It has important applications in fields such as engineering, physics, and biology. Hence, influenced by the studies in [10,12,13], we provide a sharp estimate to the first nonzero eigenvalue of the β-Laplacian on a slant submanifold Vp of a complex space form ˜V2m(4ϵ). Now, we announce our first result:

    Theorem 1.1. Let Vp be a (p2)-dimensional closed orientated slant submanifold of an m-dimensional complex space form ˜V2m(4ϵ). The first nonzero eigenvalue υ1,β of the β-Laplacian satisfies

    υ1,β(2m+1)(1β2)pβ2(Vol(V))β/2{V(ϵ+3ϵcos2θ(p1)+|H|2)dV}β/2,for1<β2, (1.8)
    andυ1,β(2m+1)(β21)pβ2Vol(V)V(ϵ+3ϵcos2θ(p1)+|H|2)β/2dV,for2<βp2+1, (1.9)

    where H is the mean curvature vector of Vp in V2m(4ϵ) and Vol(V) is the volume of Vp. Moreover, the equality holds if, and only if, β=2 and Vp is minimally immersed in a geodesic sphere of radius rϵ of ˜V2m(4ϵ), with r0=(p/υΔ1)1/2,r1=arcsinr0, and r1=arcsinhr0.

    An immediate application of Theorem 1.1 for ϵ=0 is the complex Euclidean space; that is, for the scalar flat case, then:

    Corollary 1.1. Let Vp be a (p2)-dimensional closed orientated slant submanifold of an m-dimensional complex Euclidean space R2m, then the first nonzero eigenvalue υ1,β of the β-Laplacian satisfies

    υ1,β(2m+1)(1β2)pβ2(Vol(V))β/2(V|H|2dV)β2for1<β2, (1.10)
    andυ1,β(2m+1)(β21)pβ2Vol(V)V|H|βdVfor2<βp2+1. (1.11)

    Remark 1.1. Inequalities (1.10) and (1.11) characterized by β=2 generalize the Reilly-type inequality (1.3). In other words, the estimates of Reilly-type for the first eigenvalue of the Laplacian in [4] are defined to be cases of the results in Theorem 1.1 for ϵ=0 and β=2.

    The next result we will state as a particular version of Theorem 1.1. The following result is obtained precisely by substituting ϵ=1 in (1.8) and (1.9).

    Corollary 1.2. Let Vp be a (p2)-dimensional closed orientated slant submanifold in an m-dimensional complex projective space CP2m(4), then, the first nonzero eigenvalue υ1,β of the β-Laplacian satisfies

    υ1,β(2m+1)(1β2)pβ2(Vol(V))β/2(V(1+3cos2θ(p1)+|H|2)dV)β2,for1<β2, (1.12)
    andυ1,β(2m+1)(β21)pβ2Vol(V)V(1+3cos2θ(p1)+|H|2)β2dV,for2<βp2+1. (1.13)

    This paper is organized as follows. In Section 2, we recall the structure equations of a slant submanifold Vp in V2m(4ϵ). Also, we show the consequences of change on some geometric quantities due to changing the metric on V2m(4ϵ) under the conformal transformation. In Section 3, we prove Theorem 1.1. Furthermore, as the method in [8] does not work for ϵ=1, we find suitable test functions to estimate the upper bound of υ1,β by conformal transformation to a unit sphere.

    Let ˜V2m(4ϵ) be a complex space form of constant holomorphic sectional curvature 4ϵ endowed bt the Kaehler manifold, then, the curvature tensor ˜R of ˜V2m(4ϵ) can be expressed as

    ˜R(U1,U2,U3,U4)=ϵ{g(U1,U3)g(U2,U4)g(U2,U3)g(U1,U4)+g(U1,JU3)g(JU2,U4)g(U2,JU3)g(JU1,U4)+2g(U1,JU2)g(JU3,U4)}, (2.1)

    for any U1,U2,U3,U4Γ(T˜V2m). A p-dimensional Riemannian submanifold Vp of ˜V2m(4ϵ) is called totally real if the standard complex structure J of ˜V2m(4ϵ) maps any tangent space of Vp into the corresponding normal space [24].

    Definition 2.1. Let Vp be a Riemannian submanifold of a K¨ahler manifold ˜V2m, then Vp is a real submanifold if J(TV)TV and Vp is a complex submanifold if J(TV)TV.

    Slant submanifolds are a class of submanifolds in Riemannian geometry that satisfy a certain condition related to the angle between their tangent spaces and a fixed complex structure. A slant submanifold Vp of a complex space form ˜V2m is a submanifold Vp of ˜V2m, such that the angle between the tangent space TVp and the complex structure J of Vp satisfies the equation cos2θ+sin2θ=κ, where κ is a constant between zero and one. Here, θ is the angle between the tangent space TVp and the complex structure J. There are several ways to classify slant submanifolds according to their geometry. One common classification is based on the shape of the mean curvature vector. In particular, slant submanifolds can be classified as follows. The classification of slant submanifolds is an active area of research in differential geometry, with many open questions and directions for further study. Let UΓ(TV), and we have

    JU=PU+FU, (2.2)

    where PU and FU are tangential and normal components of JU. It is known that Vp is a slant submanifold of ˜V if, and only if,

    P2=κI (2.3)

    for some λ[1,0] (see [25]), where I denotes the identity transformation of TV. Moreover, if Vp is a slant submanifold and θ is the slant angle of Vp, then κ=cos2θ. Thus, we obtain the following characterization theorem.

    Lemma 2.1. Let Vp be a slant submanifold of a Kaehler manifold ˜V2m,

    g(PU1,PU2)=cos2θg(U1,U2), (2.4)
    g(FU1,FU2)=sin2θg(U1,U2), (2.5)

    for U1,U2Γ(Dθ).

    Using the moving frame method, we recall some well-known facts about submanifold geometry and conformal geometry. On indices other than special declarations, we use convection as follows:

    1i,j,k,p,p+1α,q,γ,2m,1a,b,c,2m.

    Following the same method as appeared in [26], by submitting U1=U3=vi and U2=U4=vj in (2.1), and taking the trace of Riemannian metric with vi, we have

    ˜R(vi,vj,vi,vj)=ϵ{g(vi,vi)g(vj,vj)g(vi,vj)g(vi,vj)+g(vi,Jvj)g(Jvj,vi)g(vi,Jvi)g(vj,Jvj)+2g2(Jvj,vi)}. (2.6)

    Taking the summation in (2.6) over the basis vector fields of TVp such that 1ijp, one shows that

    2˜τ(TVp)=ϵ{p(p1)+31ijpg2(Jvi,vj)}. (2.7)

    Thus, it is easily seen that for a slant submanifold Vp

    pi,j=1g2(Pvi,vj)=pcos2θ. (2.8)

    From (2.7) and (2.8), it follows that

    2˜τ(TVp)=ϵ{p(p1)+3pcos2θ}. (2.9)

    Take a trace of the above equation. Implementing Eqs (2.2) to (2.5) and by the Gauss equation for a slant submanifold in a complex space form ˜V2m(4ϵ) that is defined in detail [26], we get

    R=ϵ{p(p1)+3pcos2θ}+p2|H|2S, (2.10)

    where R is the scalar curvature of Vp, S=α,i,j(σαij)2 is the squared norm of the second fundamental form, and H=αHαvα=1pα(iσαii)vα is the mean curvature vector of Vp.

    Although these relations are well-known (cf.[26,27,28]), we will use directly all related equations from [26] for the curvature and the second fundamental form change under conformal transformations. We have

    e2λ˜Rijkl=Rijkl(λikδjl+λjlδikλilδjkλjkδil)+(λiλkδjl+λjλlδikλjλkδilλiλlδjk)|α|2(δikδjlδilδjk), (2.11)

    where λα is the covariant derivative of λ with respect to vα and |α|2 stands for the norm of Levi-Civita with respect to indices α. By pulling back to Vp by x, we have

    ˜σαij=eλ(σαijλαδjl),and˜Hα=eα(˜Hαλα). (2.12)

    From this, it is easy to obtain the useful relation

    e2λ(˜Sp|˜H|2)=Sp|H|2. (2.13)

    Here, we demonstrate the proof of Theorem 1.1, which is stated in part one of this paper. We begin by outlining some fundamental formulas, and we offer a key lemma that is relevant to the study and is motivated by [1,12,13,26].

    Lemma 3.1. Let x:Vp˜V2m(4ϵ) be the immersion from a p-dimensional closed-oriented slant submanifold to a complex space form ˜V2m(4ϵ), then, for β>1, there exists a regular conformal map Γ:˜V2m(4ϵ)CP2m(4) such that the immersion φ=Γx=(φ1,φ2m+1) satisfies

    Vp|φa|β2φadVM=0,a=1,2m+1, (3.1)

    where the manifold CP2m(4) carries a natural metric by the Hopf fibration π:S(2m1)R(2m1)+1CP2m(4).

    Proof. The main idea of Lemma 3.1 originates from β=2 in (cf. [12,13,26,29,30]). The detailed proof from above is given in [13].

    The test function in Lemma 3.1[1] provides an upper bound on υ1,β based on the conformal function.

    Lemma 3.2. Let Vp be a (p2)-dimensional closed orientated slant submanifold of a Vp-dimensional complex space form ˜V2m(4ϵ). Let Υε denote he standard metric on ˜V2m(4ϵ) and ΓΥ1=e2λΥε, where Γ is the conformal map in Lemma 3.1. We have for all β>1,

    υ1,βVol(Vp)(2m+1)|1β2|pβ2V(e2λ)β2dV. (3.2)

    Proof. With Lemma 3.1 in mind and φa as the test function, then

    υ1,βVp|φa|β|φa|βdV,1a2m+1. (3.3)

    Note that 2m+1a=1|φa|2=1, then |φa|1. Thus, we arrive at

    2m+1a=1|φa|2=pi=1|viφ|2=pe2λ. (3.4)

    Considering 1<β2, then we derive

    |φa|2|φa|β. (3.5)

    Using (3.3)–(3.5) and the Hölder inequality, we find

    υ1,βVol(M)=υ1,β2m+1a=1V|φa|2dVυ1,β2m+1a=1V|φa|βdVυ1,βV2m+1a=1|φa|βdV(2m+1)1β/2V(pa=1|φa|2)β2dV=(2m+1)1β2V(pe2λ)β2dV.

    It implies that (3.2) must be true. However, if we choose β2, it implies that the Holder equality can be proved.

    1=2m+1a=1|φa|2(2m+1)12β(2m+1a=1|φa|β)2β, (3.6)

    from which we obtain

    υ1,βVol(Vp)(2m+1)β21(2m+1a=1υ1,βVp|φa|βdV). (3.7)

    Also, by Minkowski's inequality, we have

    2m+1a=1|φa|β(2m+1a=1|φa|2)β2=(pe2λ)β2. (3.8)

    Hence (3.2) follows from (3.3), (3.7) and (3.8). This completes the proof of the lemma.

    Now, we can demonstrate the proof of Theorem 1.1.

    We begin with the case 1<β2. By using Lemma 3 and the Hölder inequality, we have

    υ1,βVol(Vp)(2m+1)1β2pβ2V(e2λ)β2dV(2m+1)1β2|pβ2(Vol(V))1β2(Ve2λdV)β2.

    Note that we can compute e2λ using the conformal relations and the Gauss equation as follows:

    We assume that ˜V2m=˜V2m(4ε),˜g=Υϵ,˜ˉg=ΓΥ1 in previous. From (2.10), the Gauss equations for the immersion x and the slant immersion φ=Γx, respectively, are:

    R=ϵ{p(p1)+3pcos2θ}+p(p1)|H|2+(p|H|2S), (3.9)
    ˜R={p(p1)+3pcos2θ}+p(p1)|˜H|2+(p|˜H|2˜S). (3.10)

    Tracing (2.11), it can be found that

    e2λ˜R=R(p2)(p1)|λ|22(p1)Δλ, (3.11)

    which substituted jointly with (3.9) and (3.10) into (3.11) gives

    e2λ{p(p1)+3pcos2θ+p(p1)|˜H|2+(p|˜H|2˜S)}=ϵ{p(p1)+3pcos2θ}+p(p1)|H|2+(p|H|2S)(p2)(p1)|λ|22(p1)Δλ.

    From this, it follows that

    p(p1){(e2λϵ{1+3cos2θp1})+(e2λ|˜H|2|H|2)}=p(|H|2e2λ|˜H|2)+e2λ˜SS(p2)(p1)|λ|22(p1)Δλ. (3.12)

    Now, from (2.12) and (2.13), we derive

    p(p1)(e2λϵ{1+3cos2θp1})+p(p1)α(Hαλα)2p(p1)|H|2=(p2)(p1)|λ|22(p1)Δλ.

    Multiplying with 1p(p1) in the proceeding equation, we imply that

    e2λ=(ϵ{1+3cos2θp1}+|H|2)2Δλϵ{1+3cos2θp1}p2p|Δλ|2|(¯λ)H|2. (3.13)

    By integration, it is not difficult to check that

    υ1,βVol(Vp)(2m+1)1β2|pβ2(Vol(Vp))1β2(Ve2λdV)β2(2m+1)1β2|pβ2(Vol(V))β21{V(ϵ{1+3cos2θp1}+|H|2)dV}β2.

    This is equivalent to (1.8), as we wanted to prove.

    For the cas β>2, we cannot use V(e2λ) to govern V(e2λ)β2 by applying the Hölder inequality directly. Instead by multiplying e(β2)λ on both sides of (3.13), and then integrating on Vp (cf. [31]), we obtain

    VeβλdVV(ϵ{1+3cos2θp1}+|H|2)e(β2)λdVV(p22β+4p)e(β2)|Δλ|2dVV(ϵ{1+3cos2θp1}+|H|2)e(β2)λdV. (3.14)

    Next, following from the assumption that β2β2, we apply Young's inequality, then

    V(ϵ{1+3cos2θp1}+|H|2)e(β2)λdV2βV(|ϵ{1+3cos2θp1}+|H|2|)β2dV+(β2)βVeβλdV. (3.15)

    From this, we deduce that

    VeβλdVV(|ϵ{1+3cos2θp1}+|H|2|)β2dV, (3.16)

    and from (3.14) and (3.15) and by using (3.16) in (3.2), we obtain (1.9).

    Now, suppose the equality holds in (1.8), then by considering the cases in (3.3) and (3.5), we get

    |φa|2=|φa|β,Δβφa=υ1,β|φa|β2φa,

    for each a=1,,2m+1. If 1<β<2, then |φa|=0 or 1. However, 2m+1a=1|φa|2=1, so there is exactly one a such that |φa|=1, then υ1,β=0, which is a contradiction. Hence, β=2, and it reduces to the Laplacian case, then, we are in a position to use the theorem in [4,8].

    Suppose that the equality holds in (1.9) and β>2, then (3.7) and (3.8) must become equalities, which means that

    |φ1|β==|φ2m+1|β,

    and so, there exists some a such that |φa|=0. This means that φa is constant and υ1,β=0, which leads to a contradiction that υ1,β is a nonzero eigenvalue. As a result, the theorem has been proved.

    The Reilly inequality (1.3) is generalized now to all β-Laplacian expressions.

    Remark 3.1. In the case of β=2, the corollary is recovered.

    Corollary 3.1. Let Vp be a (p2)-dimensional closed orientated slant submanifold of an m-dimensional complex space form ˜V2m(4ϵ), then, the first nonzero eigenvalue υΔ1 of the Laplacian satisfies

    υΔ1pVol(V)V(ϵ+3ϵcos2θ(p1)+|H|2)dV. (3.17)

    Moreover, the equality holds in (3.17) if, and only if, Vp is minimally immersed in a geodesic sphere of radius rϵ of ˜V2m(4ϵ) with r0=(p/υΔ1)1/2,r1=arcsinr0 and r1=arcsinhr0.

    Remark 3.2. By assuming that 1<β2, we have β2(β1)1, then, the by Hölder inequality, we have

    V(ϵ+3ϵcos2θ(p1)+|H|2)dV(Vol(V))12(β1)β(M(ϵ+3ϵcos2θ(p1)+|H|2)β2(β1)dV)2(β1)β. (3.18)

    The upper bound in (1.8) is better than the upper bound given in Theorem 1.5 in [8] for ϵ=1.

    Inspired by Remark 3.2, we provide the following result.

    Corollary 3.2. Let Vp be a (p2)-dimensional closed orientated slant submanifold of an m-dimensional complex space form ˜V2m(4ϵ). The first nonzero eigenvalue υ1,β of the β-Laplacian satisfies

    υ1,β(2m+1)(1β2)pβ2(Vol(V))(β1)(V(ϵ{1+3cos2θβ1}+|H|2)β2(β1)dV)(β1) (3.19)

    for 1<β2.

    Proof. From (1.8) and (3.18), we get the required result.

    The eigenvalues of elliptic Laplace operators, also known as the Laplace-Beltrami operator, have many applications in mathematics and physics. Provided are a few examples in the main three areas. Geometrically, the eigenvalues of the Laplace-Beltrami operator on a Riemannian manifold are closely related to the geometry of the manifold. In particular, the first eigenvalue is related to the size and curvature of the manifold. In the spectral theory, the eigenvalues of the Laplace-Beltrami operator can be used to study the spectrum of other differential operators on the same manifold. For example, the eigenvalues of the Laplace-Beltrami operator on a surface can be used to study the spectrum of the Dirac operator on the same surface. Lastly, in physics, the Laplace-Beltrami operator appears in many physical problems, such as the study of heat flow, electrostatics, and quantum mechanics. In particular, the eigenvalues of the Laplace-Beltrami operator on a bounded domain are important in the study of the eigenfunctions of the Schrödinger equation [23,32]. The Dirichlet eigenvalues have connections to the distribution of prime numbers. The Riemann hypothesis, one of the most famous unsolved problems in mathematics, is closely related to the eigenvalues of a certain operator, called the Riemann zeta function operator, which is related to the Dirichlet eigenvalues. It also can be used to solve inverse problems, such as determining the shape of a domain from its Dirichlet-to-Neumann map. This has applications, for example, in medical imaging, where the shape of an organ can be determined from measurements of the electromagnetic fields it produces. Next, the Neumann eigenvalues encode important geometric and analytic information about the underlying manifold and domain. For example, they are related to the isoperimetric inequality, the spectrum of the Laplace-Beltrami operator on the entire manifold, and the asymptotic behavior of heat kernels. It is a well-studied topic in spectral geometry, and there are many results concerning the existence, uniqueness, and asymptotic behavior of Neumann eigenfunctions and eigenvalues. In particular, the Courant-Friedrichs-Lewy (CFL) inequality implies that the Neumann eigenvalues grow at least linearly concerning the index, and Weyl's law gives an asymptotic estimate for the counting function of the Neumann eigenvalue. Overall, the Dirichlet, Neumann, and Laplace-Beltrami operator eigenvalue problems have many important applications in mathematical physics and provide a powerful tool for understanding the behavior of physical systems [33,34,35,36].

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    The authors would like to express their gratitude to the Deanship of Scientific Research at King Khalid University, Saudi Arabia for funding research groups under the research grant R. G. P. 1/90/44.

    The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.



    [1] A. M. Matei, Conformal bounds for the first eigenvalue of the p-Laplacian, Nonlinear Anal., 80 (2013), 88–95. https://doi.org/10.1016/j.na.2012.11.026 doi: 10.1016/j.na.2012.11.026
    [2] A. Naber, D. Valtorta, Sharp estimates on the first eigenvalue of the p-Laplacian with negative Ricci lower bound, Math. Z., 277 (2014), 867–891. https://doi.org/10.1007/s00209-014-1282-x doi: 10.1007/s00209-014-1282-x
    [3] F. Q. Zeng, Q. He, Reilly-type inequalities for the first eigenvalue of p-Laplcian of submanifolds in Minkowski spaces, Mediterr. J. Math., 14 (2017), 1–9. https://doi.org/10.1007/s00009-017-1005-8 doi: 10.1007/s00009-017-1005-8
    [4] R. C. Reilly, On the first eigenvalue of the Laplacian for compact submanifolds of Euclidean space, Comment. Math. Helv., 52 (1977), 525–533. https://doi.org/10.1007/BF02567385 doi: 10.1007/BF02567385
    [5] S. Seto, G. F. Wei, First eigenvalue of the p-Laplacian under integral curvature condition, Nonlinear Anal., 163 (2017), 60–70. https://doi.org/10.1016/j.na.2017.07.007 doi: 10.1016/j.na.2017.07.007
    [6] H. Z. Lin, Eigenvalue estimate and gap theorems for submanifolds in the hyperbolic space, Nonlinear Anal., 148 (2017), 126–137. https://doi.org/10.1016/j.na.2016.09.015 doi: 10.1016/j.na.2016.09.015
    [7] C. W. Xiong, Eigenvalue estimates of Reilly type in product manifolds and eigenvalue comparison of strip domains, Differ. Geom. Appl., 60 (2018), 104–115. https://doi.org/10.1016/j.difgeo.2018.06.003 doi: 10.1016/j.difgeo.2018.06.003
    [8] F. Du, J. Mao, Reilly-type inequalities for p-Laplacian compact Riemannian manifolds, Front. Math. China, 10 (2015), 583–594. https://doi.org/10.1007/s11464-015-0422-x doi: 10.1007/s11464-015-0422-x
    [9] C. Blacker, S. Seto, First eigenvalue of the p-Laplacian on Kaehler manifolds, Proc. Amer. Math. Soc., 147 (2019), 2197–2206.
    [10] F. Du, Q. L. Wang, C. Y. Xia, Estimates for the eigenvalues of the Wentzell-Laplace operator, J. Geom. Phys., 129 (2018), 25–33. https://doi.org/10.1016/j.geomphys.2018.02.020 doi: 10.1016/j.geomphys.2018.02.020
    [11] A. El Soufi, S. Ilias, Une inégalité du type 'Reilly' pour les sous-variétés de l'espace hyperbolique, Comment. Math. Helv., 67 (1992), 167–181.
    [12] H. Chen, X. F. Wang, Sharp Reilly-type inequalities for a class of elliptic operators on submanifolds, Differ. Geom. Appl., 63 (2019), 1–29. https://doi.org/10.1016/j.difgeo.2018.12.008 doi: 10.1016/j.difgeo.2018.12.008
    [13] H. Chen, G. F. Wei, Reilly-type inequalities for p-Laplacian on submanifolds in space forms, Nonlinear Anal., 184 (2019), 210–217. https://doi.org/10.1016/j.na.2019.02.009 doi: 10.1016/j.na.2019.02.009
    [14] F. Cavalletti, A. Mondino, Sharp geometry and functional inequalities in metric measure spaces with lower Ricci curvature bounds, Geom. Topol., 21 (2017), 603–645. https://doi.org/10.2140/gt.2017.21.603 doi: 10.2140/gt.2017.21.603
    [15] S. Y. Cheng, Eigenvalue comparison theorems and its geometric applications, Math. Z., 143 (1975), 289–297. https://doi.org/10.1007/BF01214381 doi: 10.1007/BF01214381
    [16] Y. J. He, Reilly type inequality for the first eigenvalue of the Lr;F operator, Differ. Geom. Appl., 31 (2013), 321–330. https://doi.org/10.1016/j.difgeo.2013.03.003 doi: 10.1016/j.difgeo.2013.03.003
    [17] A. Ali, A. H. Alkhaldi, P. Laurian-Ioan, R. Ali, Eigenvalue inequalities for the p-Laplacian operator on C-totally real submanifolds in Sasakian space forms, Appl. Anal., 101 (2022), 702–713. https://doi.org/10.1080/00036811.2020.1758307 doi: 10.1080/00036811.2020.1758307
    [18] A. H. Alkhaldi, M. A. Khan, M. Aquib, L. S. Alqahtani, Estimation of eigenvalues for the ψ-Laplace operator on Bi-slant submanifolds of Sasakian space forms, Front. Phys., 10 (2022), 252. https://doi.org/10.3389/fphy.2022.870119 doi: 10.3389/fphy.2022.870119
    [19] M. A. Khan, A. H. Alkhaldi, M. Aquib, Estimation of eigenvalues for the α-Laplace operator on pseudo-slant submanifolds of generalized Sasakian space forms, AIMS Math., 7 (2022), 16054–16066. https://doi.org/10.3934/math.2022879 doi: 10.3934/math.2022879
    [20] Y. L. Li, A. Ali, F. Mofarreh, A. Abolarinwa, R. Ali, Some eigenvalues estimate for the ϕ-Laplace operator on slant submanifolds of Sasakian space forms. J. Funct. Spaces, 2021 (2021), 1–10. https://doi.org/10.1155/2021/6195939 doi: 10.1155/2021/6195939
    [21] Y. L. Li, F. Mofarreh, R. P. Agrawal, A. Ali, Reilly-type inequality for the Φ-Laplace operator on semislant submanifolds of Sasakian space forms. J. Inequal. Appl., 2022 (2022), 1–17. https://doi.org/10.1186/s13660-022-02838-5 doi: 10.1186/s13660-022-02838-5
    [22] Y. L. Li, A. Ali, F. Mofarreh, A. Abolarinwa, N. Alshehri, A. Ali, Bounds for eigenvalues of q-Laplacian on contact submanifolds of Sasakian space forms, Mathematics, 11 (2023), 1–14. https://doi.org/10.3390/math11234717 doi: 10.3390/math11234717
    [23] L. Véron, Some existence and uniqueness results for solution of some quasilinear elliptic equations on compact Riemannian manifolds, In: Colloquia Mathematica Societatis János Bolyai, 62 (1991), 317–352.
    [24] B. Y. Chen, K. Ogiue, On totally real submanifolds, Trans. Amer. Math. Soc., 193 (1974), 257–266.
    [25] B. Y. Chen, Geometry of slant submanifolds, Leuven: Katholieke Universiteit Leuven, 1990.
    [26] A. Ali, J. W. Lee, A. H. Alkhaldi, The first eigenvalue for the p-Laplacian on Lagrangian submanifolds in complex space forms, Int. J. Math., 33 (2022), 2250016. https://doi.org/10.1142/S0129167X22500161 doi: 10.1142/S0129167X22500161
    [27] B. Y. Chen, Geometry of submanifolds (pure and applied mathematics, 22), New York: M. Dekker, 1973.
    [28] B. Y. Chen, Some conformal invariants of submanifolds and their applications, Boll. Un. Mat. Ital., 10 (1974), 380–385.
    [29] P. Li, S. T. Yau, A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces, Invent. Math., 69 (1982), 269–291. https://doi.org/10.1007/BF01399507 doi: 10.1007/BF01399507
    [30] A. El Soufi, S. Ilias, Second eigenvalue of Schrödinger operators and mean curvature, Commun. Math. Phys., 208 (2000), 761–770. https://doi.org/10.1007/s002200050009 doi: 10.1007/s002200050009
    [31] D. Chen, H. Z. Li, Second eigenvalue of Paneitz operators and mean curvature, Commun. Math. Phys., 305 (2011), 555–562. https://doi.org/10.1007/s00220-011-1281-2 doi: 10.1007/s00220-011-1281-2
    [32] C. D. Sogge, Hangzhou lectures on eigenfunctions of the Laplacian, Princeton University Press, 2014.
    [33] B. Helffer, F. Nier, Hypoelliptic estimates and spectral theory for Fokker-Planck operators and Witten Laplacians, Berlin, Heidelberg: Springer, 2005. https://doi.org/10.1007/b104762
    [34] P. Lindqvist, A nonlinear eigenvalue problem, In: Topics in mathematical analysis, World Scientific, 2008,175–203. https://doi.org/10.1142/9789812811066_0005
    [35] R. Steven, The Laplacian on a Riemannian manifold, Cambridge: Cambridge University Press, 1997. https://doi.org/10.1017/CBO9780511623783
    [36] D. Valtorta, Sharp estimates on the first eigenvalue of the p-Laplacian, Nonlinear Anal., 75 (2012), 4974–4994. https://doi.org/10.1016/j.na.2012.04.012 doi: 10.1016/j.na.2012.04.012
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1200) PDF downloads(60) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog