• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      SHARP ESTIMATES FOR EIGENVALUES OF BI-DRIFTING LAPLACIAN

      2020-02-21 01:27:36LIYanliDUFeng
      數(shù)學(xué)雜志 2020年1期

      LI Yan-li, DU Feng

      (1.School of Electronic and Information Science, Jingchu University of Technology,Jingmen 448000, China)

      (2.Faculty of Mathematics and Statistics, Hubei University, Wuhan 430062, China)

      (3.School of Mathematics and Physics, Jingchu University of Technology,Jingmen 448000, China)

      Abstract: In this paper, we study the four types of eigenvalue problems for the bi-drifting Laplacian.By using the weighted Reilly formula, we get some sharp lower bounds for the first nonzero eigenvalue for these eigenvalue problems on compact smooth metric measure spaces with boundary and under some condition on the m-weighted Ricci curvature, which generalize the corresponding results for the eigenvalues of biharmonic operator.

      Keywords: eigenvalues; drifting Laplacian; smooth metric measure spaces; m-weighted Ricci curvature; Steklov problem.

      1 Introduction

      In 1977, Reilly [19]obtained a sharp lower bound for the first Dirichlet eigenvalue of the Laplacian as following.

      Reilly’s TheoremLetMbe ann(≥2)-dimensional compact Riemannian manifold with Ricci curvature bounded below by (n ?1)κ> 0 and boundary.If the mean curvature of?Mis nonnegative then the first Dirichlet eigenvalue of the Laplacian ofMsatisfies

      and equality holds if and onlyMis isometric to ann-dimensional Euclidean semi-sphere of radius

      For the Neumann boundary case, a similar result was proven by Escobar [10]and Xia[25]independently.In [13], Li-Wei generalize these results including Dirichlet boundary and Neumann boundary to the first eigenvalue of the drifting Laplacianon compact smooth metric measure spacesisn-dimensional Riemannian manifold with a metricfis a smooth real-valued function onManddνis the Riemannian volume element related to(sometimes, we also calldνthe volume density).The drifting Laplacian is also called weighted Laplacian (or Witten Lpalacian),some interesting results concerning eigenvalues of the drifting Laplacian can be found in[7–9, 11, 13, 17, 26].Compared with Ricci curvature of the Riemannnian manifods, we can define the so-called weighted Ricci curvature Ricfon smooth metric measure spaces as following

      which is also called the∞-Bakrymery Ricci tensor.The equationfor some constantκis just the gradient Ricci soliton equation, which plays an important role in the study of Ricci flow.Forκ=0,κ>0,andκ<0, the gradient Ricci solitonis called steady, shrinking, and expanding, respectively.Set

      which is calledm-weighted Ricci curvature [1]ofM(also called them-Bakrymery Ricci tensor).Whenm=n,letfbe a constant and Ricm=RicM.A smooth metric measure space is not necessarily compact when Ricf ≥λ> 0, unlike in the case of Riemannian manifolds where such a complete one is compact if its Ricci curvature is bounded from below uniformly by some positive constant [21], but a interesting fact is that when Ricm ≥(m ?1)κ> 0,a complete smooth metric measure spaceis automatically compact and the diameter ofMsatisfies diam(M)

      In [5], Chen-Cheng-Wang-Xia gave some lower bounds for the first eigenvalue of four kinds of eigenvalue problems of the biharmonic operator on compact manifolds with boundary and positive Ricci curvature.In[6],Du-Bezerra generalize these results to the bi-drifting Laplacian on compact manifolds with boundary and positivem-weighted Ricci curvature.Recently, Wang-Xia [24]gave some new sharp lower bounds for the first eigenvalues of the biharmonic operator on compact manifolds with boundary and positive Ricci curvature.Inspired by these investigations, in this paper, we first get.

      Theorem 1.1Let (M,,,e?fdν) be ann(≥2)-dimensional smooth metric measure space with boundary?Mand denote byνthe outward unit normal vector field of?M.Assume that them-weighted Ricci curvature ofMis bounded below by (m ?1)κ>0.Letλ1be the first nonzero eigenvalue with Dirichlet boundary condition of the drifting Laplacian ofMand let Γ1be the first eigenvalue of the clamped plate problem onM,

      Then we have

      with equality holds if and only ifMis isometric to ann-dimensional euclidean unit semisphere of radius ofandfis constant.

      Theorem 1.2Under the assumption of Theorem 1.2, let Λ1be the first nonzero eigenvalue of the following buckling problem

      Then we have

      with equality holds if and only ifMis isometric to ann-dimensional Euclidean unit semisphere of radius ofandfis constant.

      Remark 1.3Compared with Theorems 1.7 and 1.8 in [6], we don’t need to assume that the weighted mean curvature of?Mis bounded in Theorems 1.1 and 1.2.

      The study of Steklov eigenvalue problem was started by Steklov[20],his motivation came from physics.From then on, for the Steklov eigenvalue problem, many interesting results were obtained in [2, 3, 15, 16, 22, 23].Recently, some results for the Steklov eigenvalues of the drifting Laplacian were given in [4, 12].In this paper, we consider the following two fourth order Steklov eigenvalue problems for the drifting Laplacian

      and

      whereνdenotes the outward unit normal vector field of?M.Then, we obtain

      Theorem 1.4LetMbe ann(≥2)-dimensional compact connected smooth metric measure space with boundary?Mand non-negativem-weighted Ricci curvature.Letp1,q1be the first nonzero eigenvalue of problems (1.6) and (1.7), respectively.Then we have

      the equality holds in(1.8)if and only ifMis isometric to an Euclidean ball andfis constant.

      Theorem 1.5LetMbe ann(≥2)-dimensional compact connected smooth metric measure space with boundary?M.Assume thatm-weighted Ricci curvature is bounded below by?(m ?1)κfor some nonnegative constantκ, and the weighted mean curvature ofMis bounded belowwith a positive constantc.Letλ1be the first Dirichlet eigenvalue of the deifting Laplacian, and letp1is the first nonzero eigenvalue of the Steklov problem (1.6) , then we have

      the equality holds in (1.9) if and only ifMis isometric to an Euclidean ball of radius 1/candfis constant.

      2 Proofs of Theorem 1.1–Theorem 1.2

      In this section, we give the proofs of Theorem 1.1–Theorem 1.2 listed in Section 1.Before proving these results, we first recall some notations.LetMbe ann-dimensional compact manifold with boundary.We often writethe Riemannian metric onMas well as that induced on?M.Let?and ?fbe the connection and the drifting Laplacian onM, respectively.Letνbe the unit outward normal vector of?M.The shape operator of?Mis given byS(X) =?Xνand the second fundamental form of?Mis defined ashereX,Y ∈T?M.The eigenvalues ofSare called the principal curvatures of?Mand the mean curvatureHof?Mis given byhere trSdenotes the trace ofS.We can now state Reilly-type formula (see [17, Theorem 1]).For a smooth functiongdefined onM, the following identity holds if

      Substituting (2.2) into (2.1), and it then follows from the definition of them-Bakrymery Ricci tensor that

      Remark 2.6(i) Whenm=n, we know thatfis a constant, then ?f= ?, (2.1)becomes classic Reilly formula [19], the equality holds in (2.3) if and only if

      (ii) Whenm>n, the equality holds in (2.3) if and only ifUsing inequality (2.3), we give the proofs of Theorem 1.1–Theorem 1.2.

      Proof of Theorem 1.1Letgbe an eigenfunction of problem (1.2) corresponding to the first eigenvalue Γ1.That is

      Multiplying (2.4) bygand integrating onM, we infer from the divergence theorem that

      where(?g)is tangent to?Mand(?g)⊥is normal to?M.Then fromwe have

      and

      So, we infer from above two equalities that

      Combining (2.5) and (2.6), we have

      Takingginto (2.3), we have

      which implies

      Combining (2.7) and (2.8), we have

      For any nonzero function which vanishes on?M,it is well known from the Poincarinequality and the Schwarz inequality that

      which implies that

      The equality holds in above inequality if and only ifgis the a first Dirichlet eigenfunction of the drifting Laplacian ofM.

      Combining (2.9) and (2.10), we have

      Whenm=n, thenfis a constant and ?f= ?, from [24, Theorem 1.1], we know thatwith equality holding if and only ifMis isometric to ann-dimensional Euclidean unit semi-sphere.

      Whenm>n,we know that equality holds in(2.3),which means

      holds everywhere onM.Multiplying in above inequality withgand integrating onMwith respect togive that

      From above equality, we know thatgis a constant function onM, which is a contradiction sincegis the first eigenfunction of drifting Laplacian and cannot be a constant.Therefore,we know thatwith equality holding if and only ifMis isometric to ann-dimensional Euclidean unit semi-sphere andfis a constant.This completes the proof of Theorem 1.1.

      Proof of Theorem 1.2Letφbe an eigenfunction of problem (1.4) corresponding to the first eigenvalue Λ1.That is

      Multiplying (2.14) byφand integrating onM, we infer from the divergence theorem that

      Combining (2.15) and (2.16), we have

      Takingφinto (2.3), we have

      Combining (2.17)–(2.18), we have

      Taking above inequality into (2.19), we havethe equality holds in above inequality if and only ifφis the first Dirichlet eigenfunction of the drifting Laplacian ofM.

      Whenm=n, thenfis a constant and ?f= ?, from [24, Theorem 1.2], we know thatwith equality holding if and only ifMis isometric to ann-dimensional Euclidean unit semi-sphere.

      Whenm>n, ifwe know that equality holds in (2.3), then by similar discussion in the proof of Theorem 1.1, we know thatuis a constant function onM,which is a contradiction sinceφis the first eigenfunction of drifting Laplacian and cannot be a constant.Therefore, we haveThis completes the proof of Theorem 1.2.

      3 Proofs of Theorem 1.4–Theorem 1.5

      In this section, we give the proof of Theorem 1.4–Theorem 1.5 listed in Section 1.

      Proof of Theorem 1.4Letwbe an eigenfunction corresponding to first eigenvalueq1of problem (1.7), that is

      We know thatwis not a constant sinceOtherwise,ifη=0, we have

      which implies that

      On the other hand, since

      we can get

      Substitutingwinto (2.3) and noticingthen we have

      Combining (3.4) and (3.5), we have

      Sincep1is given by

      we have from the variational characterization that

      Combining (3.6) and (3.8), we have

      Whenm=n, thenfis constant, so ?f= ?, then by Theorem 1.3 in [24], we know that equality holds in (1.8) if and only ifMis isometric to an Euclidean ball.

      Whenm>n, if the equality holds in (1.8), the equality holds in (2.3), then ?fw=multiplying withfand integrating onMwith respect towe can get

      Proof of Theorem 1.5Let?be an eigenfunction corresponding to first eigenvaluep1of problem (1.6), that is

      Substituting?into (2.3) and noticingψ=0, Ricm(??,??)≥?(m ?1)κand (n ?1)H? ≥(m ?1)c, then we infer from thatthat

      Combining (3.10) and (3.11), we have

      Whenm=n, thenfis constant, so ?f= ?, then by Theorem 1.4 in [24], we know that equality holds in (1.8) if and only ifMis isometric to an Euclidean ball.

      Whenm>n, if the equality holds in (1.8), the equality holds in (2.3), then by the similar discussion, we know that?is constant, which is a contradiction.Thus, the equality holds in (1.8) if and only ifMis isometric to an Euclidean ball of radius 1/candfis constant.

      沂水县| 林芝县| 宁波市| 牡丹江市| 梁山县| 唐山市| 泰来县| 辽阳县| 乐平市| 洛浦县| 舞钢市| 尉氏县| 石屏县| 贵定县| 四会市| 红河县| 英吉沙县| 彭山县| 汉中市| 盐池县| 志丹县| 景东| 宁强县| 天门市| 麦盖提县| 西林县| 黎川县| 丰台区| 类乌齐县| 大宁县| 齐河县| 乌拉特前旗| 会宁县| 安溪县| 白玉县| 犍为县| 昌乐县| 罗甸县| 保德县| 西安市| 金秀|