The sharp upper bounds for the first positive eigenvalue of the Kohn-Laplacian on compact strictly pseudoconvex hypersurfaces. (English) Zbl 1396.32017

Li, Song-Ying; Lin, Guijuan; Duong Ngoc Son

Math. Z. 288, No. 3-4, 949-963 (2018).

Let \(\rho\) be a smooth strictly plurisubharmonic function on \(\mathbb C^{n+1}\) and \(\nu\) a regular value of \(\rho\) such that \(M:=\rho^{-1} (\nu )\) is compact. \(\rho\) induces a pseudohermitian structure \(\theta = (i/2)(\overline \partial \rho - \partial \rho)\), which gives rise to a volume form \(dv:= \theta \wedge (d\theta )^n\) on \(M\). Furthermore, \(\rho\) induces a Kähler metric \(\rho_{j \overline k}dz^j\, d\overline z^k\) in a neighborhood \(U\) of \(M\). Let \((\rho^{j \overline k})^t\) be the inverse of \(\rho_{j \overline k}\). For a smooth function \(u\) on \(U\) the length of \(\partial u\) in the Kähler metric is given by \(|\partial u|^2_\rho = \rho^{j \overline k} u_j \overline u_{\overline k}\). The authors use an expression of the Kohn-Laplacian \(\square_b = \overline \partial_b^* \, \overline \partial_b\) acting on functions in terms of \(\rho\) in order to estimate the first positive eigenvalue \(\lambda_1\) of \(\square_b\) on \(M\). They suppose that there exists \(j\) such that \(\rho_{j \overline k \ell}=0\) for all \(k\) and \(\ell\) and show that
\[ \lambda_1 \leq \frac{n}{v(M)} \int_M |\partial \rho |^{-2}_\rho \, \theta \wedge (d\theta)^n, \] where \(v(M)= \int_M \theta \wedge (d\theta)^n\) denotes the volume of \(M\). They also prove that equality in the estimate of \(\lambda_1\) occurs only if \(|\partial \rho |^{2}_\rho \) is constant on \(M\), which implies that \(M\) must be a sphere. In addition, they show that on real ellipsoids, the upper bound for \(\lambda_1\) can be computed explicitly.

Reviewer: Fritz Haslinger (Wien)

MSC:

32V20	Analysis on CR manifolds
32W10	\(\overline\partial_b\) and \(\overline\partial_b\)-Neumann operators

Keywords:

Kohn-Laplacian; estimate for the first positive eigenvlaue

References:

[1]	Aribi, A; Dragomir, S; Soufi, A, A lower bound on the spectrum of the Sublaplacian, J. Geometr. Anal., 25, 1492-1519, (2015) · Zbl 1322.53076
[2]	Barletta, E; Dragomir, S, On the spectrum of a strictly pseudoconvex CR manifold, Abh. Math. Semin. Univ. Hamburg, 67, 33, (1997) · Zbl 0897.32010
[3]	Beals, R., Greiner, P.: Calculus on Heisenberg Manifolds, vol. 119. Princeton University Press, New Jersey (1988) · Zbl 0654.58033
[4]	Boutet de Monvel, L.: Intégration des équations de Cauchy-Riemann induites formelles, Séminaire Goulaoic-Lions-Schwartz, Expose IX (1974-1975) · Zbl 1228.32035
[5]	Burns, D.: Global behavior of some tangential Cauchy-Riemann equations. Partial Differential Equations and Geometry (Proc. Conf., Park City, Utah), Marcel Dekker, New York (1979) · Zbl 0405.32006
[6]	Burns, D; Epstein, C, Embeddability for three-dimensional CR manifolds, J. Am. Math. Soc., 4, 809-840, (1990) · Zbl 0736.32017
[7]	Chanillo, S; Chiu, H-L; Yang, P, Embeddability for 3-dimensional Cauchy-Riemann manifolds and CR Yamabe invariants, Duke Math. J., 161, 2909-2921, (2012) · Zbl 1271.32040
[8]	Chang, S.-C., Wu, C.-T.: On the CR Obata Theorem for Kohn Laplacian in a Closed Pseudohermitian Hypersurface in \(\mathbb{C}^{n+1}\). Preprint (2012) · Zbl 1041.32024
[9]	Chang, S-C; Chiu, H-L, On the CR analogue of obata’s theorem in a Pseudohermitian 3-manifold, Math. Ann., 345, 33-51, (2009) · Zbl 1182.32012
[10]	Chiu, H-L, The sharp lower bound for the first positive eigenvalue of the sub-Laplacian on a Pseudohermitian 3-manifold, Ann. Glob. Anal. Geom., 30, 81-96, (2006) · Zbl 1098.32017
[11]	Geller, D, The Laplacian and the Kohn Laplacian for the sphere, J. Differ. Geom., 15, 417-435, (1980) · Zbl 0507.58049
[12]	Greenleaf, A, The first eigenvalue of a sub-Laplacian on a Pseudohermitian manifold, Commun. Partial Differ. Equ., 10, 191-217, (1985) · Zbl 0563.58034
[13]	Hua, L.K.: Harmonic Analysis of Functions of Several Complex Variables in the classical Domains. Transations of Mathematical Monographs, vol. 6. AMS, Providence (1963)
[14]	Kohn, J.J.: Boundaries of complex manifolds. In: Proceedings of Conference on Complex Manifolds (Minneapolis). Springer, New York, vol. 81-94, 1965 (1964) · Zbl 1319.53032
[15]	Ivanov, S; Vassilev, D, An obata type result for the first eigenvalue of the sub-Laplacian on a CR manifold with a divergence-free torsion, J. Geom., 103, 475-504, (2012) · Zbl 1266.32043
[16]	Lee, JM, The Fefferman metric and Pseudohermitian invariants, Trans. Am. Math. Soc., 296, 411-429, (1986) · Zbl 0595.32026
[17]	Li, S-Y; Luk, H-S, The sharp lower bound for the first positive eigenvalues of sub-Laplacian on the pseudo-Hermitian manifold, Proc. AMS, 132, 789-798, (2004) · Zbl 1041.32024
[18]	Li, SY; Luk, HS, An explicit formula for the Webster pseudo-Ricci curvature on real hypersurfaces and its application for characterizing balls in \(C^n\), Commun Anal Geom, 14, 673-701, (2006) · Zbl 1113.32008
[19]	Li, S-Y; Son, DN; Wang, X-D, A new characterization of the CR sphere and the sharp eigenvalue estimate for the Kohn Laplacian, Adv. Math., 281, 1285-1305, (2015) · Zbl 1319.53032
[20]	Li, S-Y; Wang, X, An obata-type theorem in CR geometry, J. Differ. Geom., 95, 483-502, (2013) · Zbl 1277.32038
[21]	Li, S-Y; Tran, M-A, On the CR-obata theorem and some extremal problems associated to pseudoscalar curvature on the real ellipsoids in \({\mathbb{C}}^{n+1}\), Trans. Am. Math. Soc., 363, 4027-4042, (2011) · Zbl 1228.32035
[22]	Serrin, J, A symmetry problem in potential theory, Arch. Rational Mech. Anal., 43, 304-318, (1971) · Zbl 0222.31007
[23]	Webster, SM, Pseudo-Hermitian structures on a real hypersurface, J. Differ. Geom., 13, 25-41, (1978) · Zbl 0379.53016