Let $e(x,y,ł)$ be the spectral function and $χ_ł$ the unit band spectral projection operator, with respect to the Laplace-Beltrami operator $\D_M$ on a closed Riemannian manifold $M$. We firstly review the one-term asymptotic formula of $e(x,x,ł)$ as $ł\to\infty$ by H{\" o}rmander (1968) and the one of $\p^\al_x\p^\bt_y e(x,y,ł)|_{x=y}$ as $ł\to\infty$ in a geodesic normal coordinate chart by the author (2004) and the sharp asymptotic estimates from above of the mapping norm $\|χ_ł\|_{L_2\to L_p}$ ($2\leq p\leq\infty$) by Sogge (1988 $&$ 1989) and of the mapping norm $\|χ_ł\|_{L_2\to {\rm Sobolev} L_p}$ by the author (2004). In the paper we show the one term asymptotic formula for $e(x,y,ł)$ as $ł\to\infty$, provided that the Riemannian distance between $x$ and $y$ is ${\rm O}(1/ł)$. As a consequence, we obtain the sharp estimate of the mapping norm $\|χ_ł\|_{L_2\to C^\d}$ ($0<\d<1$), where $C^\d(M)$ is the space of H{\" o}lder continuous functions with exponent $\d$ on $M$. Moreover, we show a geometric property of the eigenfunction $e_ł$: $\D_M e_ł+ł^2 e_ł=0$, which says that $1/ł$ is comparable to the distance between the nodal set of $e_ł$ (where $e_ł$ vanishes) and the concentrating set of $e_ł$ (where $e_ł$ attains its maximum or minimum) as $ł\to\infty$.
We give estimates for the $L^p$ norm ($2\leq p \leq +\infty$) of the restriction to a curve of the eigenfunctions of the Laplace Beltrami operator on a Riemannian surface. If the curve is a geodesic, we show that on the sphere these estimates are sharp. If the curve has non vanishing geodesic curvature, we can improve our results. We also show how our approach apply to higher dimensional manifolds.
We show that eigenvalues and eigenfunctions of the Laplace-Beltrami operator on a Riemannian manifold are approximated by eigenvalues and eigenvectors of a (suitably weighted) graph Laplace operator of a proximity graph on an epsilon-net.
We estimate the volume of superlevel sets of Laplace-Beltrami eigenfunctions on a compact Riemannian manifold. The proof uses the Green's function representation and the Bathtub principle. As an application, we obtain upper bounds on the distribution of the extrema of a Laplace-Beltrami eigenfunction over its nodal domains. Such bounds have been previously proved by L. Polterovich and M. Sodin in the case of compact surfaces. Our techniques allow to generalize these results to arbitrary dimensions. We also discuss a different approach to the problem based on reverse Hölder inequalities due to …
Under suitable conditions on the asymptotic decay of the metric, we compute the essential spectrum of the Laplace-Beltrami operator acting on $p$-forms on asymptotically hyperbolic manifolds.
Eigenfunctions of the Laplace-Beltrami operator on a hyperboloid are studied in the spirit of the treatment of the spherical harmonics by Stein and Weiss. As a special case, a simple self-contained proof of Laplace's integral for a Legendre function is obtained.
We explicitely compute the absolutely continuous spectrum of the Laplace-Beltrami operator for $p$-forms for the class of warped product metrics $dσ^2= y^{2a}dy^2 + y^{2b}dθ_{\Sphere^{N-1}}^2$, where $y$ is a boundary defining function on the unit ball B(0,1) in $\Real^N$.
The paper is devoted to investigation of the spectrum of a perturbed Laplace-Beltrami operator on manifolds with closed geodesics of the same length and where metric is a perturbation of the metric of the unit sphere. As the result, we give the regularized trace formula for the eigenvalues ??of this operator when the metric of manifold is presented in abstract form.
We obtain an asymptotic formula for the eigenvalue distribution function of the Laplace-Beltrami operator on the two-dimensional torus in the adiabatic limit given by a Kronecker foliation. Related problems in number theory are discussed.
The known upper bounds for the multiplicities of the Laplace-Beltrami operator eigenvalues on the real projective plane are improved for the eigenvalues with even indexes. Upper bounds for Dirichlet, Neumann and Steklov eigenvalues on the real projective plane with holes are also provided.
Applying a theorem due to Belopol'ski and Birman, we show that the Laplace-Beltrami operator on 1-forms on ${\bf R}^n$ endowed with an asymptotically Euclidean metric has absolutely continuous spectrum equal to $[0, +\infty)$.
We explicitely compute the essential spectrum of the Laplace-Beltrami operator for $p$-forms for the class of warped product metrics $dσ^2= y^{2a}dy^2 + y^{2b}dθ_{\partial M}^2$, where $y$ is a boundary defining function on a compact manifold with boundary $M$.
The purpose of this note is to extend to any space dimension the bilinear estimate for eigenfunctions of the Laplace operator on a compact manifold (without boundary) obtained in a previous work in dimension 2. We also give some related trilinear estimates.
We study the spectrum of the Laplace-Beltrami operator on ellipsoids. For ellipsoids that are close to the sphere, we use analytic perturbation theory to estimate the eigenvalues up to two orders. We show that for biaxial ellipsoids sufficiently close to the sphere, the first $N$ eigenvalues have multiplicity at most two, and characterize those that are simple. For the triaxial ellipsoids sufficiently close to the sphere that are not biaxial, we show that at least the first sixteen eigenvalues are all simple. We also give the results of various numerical experiments, including comparisons to o…
We give a formula that represents magnetic Berezin transforms associated with generalized Bergman spaces as functions of the Laplace-Beltrami operator on the Bergman ball. In particular, we recover the result obtained by J. Peeter [J. Oper. Theory, 24, 1990].
In this paper we consider eigenfunctions of the Laplacian on a planar domain with polygonal boundary with Dirichlet, Neumann, or mixed boundary conditions. The main result is a quantitative estimate on the $L^2$ mass of eigenfunctions near a point in terms of the distance to the nearest non-adjacent boundary face. In particular, eigenfunctions cannot concentrate completely at any one single point. The technique of proof is to use the commutator ideas from the recent work of the author \cite{Chr-tri,Chr-simp} on triangles and simplices.
We obtain restrictions on the persistence barcodes of Laplace-Beltrami eigenfunctions and their linear combinations on compact surfaces with Riemannian metrics. Some applications to uniform approximation by linear combinations of Laplace eigenfunctions are also discussed.
Consider an $L^2$-normalized Laplace-Beltrami eigenfunction $e_λ$ on a compact, boundary-less Riemannian manifold with $Δe_λ= -λ^2 e_λ$. We study eigenfunction triple products \[ \langle e_λe_μ, e_ν\rangle = \int e_λe_μ\overline{e_ν} \, dV. \] We show the overall $\ell^2$-concentration of these triple products is determined by the measure of some set of configurations of triangles with side lengths equal to the frequencies $λ,μ,$ and $ν$. A rapidly vanishing proportion of this mass lies in the `classically forbidden' regime where $λ, μ,$ and $ν$ fail to satisfy the triangle inequality. As a co…
We construct in this article a class of closed semi-bounded quadratic forms on the space of square integrable functions over a smooth Riemannian manifold with smooth boundary. Each of these quadratic forms specifies a semi-bounded self-adjoint extension of the Laplace-Beltrami operator. These quadratic forms are based on the Lagrange boundary form on the manifold and a family of domains parametrized by a suitable class of unitary operators on the boundary that will be called admissible. The corresponding quadratic forms are semi-bounded below and closable. Finally, the representing operators c…
We construct a Riemannian metric on the $ 2 $-dimensional torus, such that for infinitely many eigenvalues of the Laplace-Beltrami operator, a corresponding eigenfunction has infinitely many isolated critical points. A minor modification of our construction implies that each of these eigenfunctions has a level set with infinitely many connected components (i.e., a linear combination of two eigenfunctions may have infinitely many nodal domains).
We prove a result, announced by F. Nazarov, L. Polterovich and M. Sodin that exhibits a relation between the average local growth of a Laplace eigenfunction on a closed surface and the global size of its nodal set. More precisely, we provide a lower and an upper bound to the Hausdorff measure of the nodal set in terms of the expected value of the growth exponent of an eigenfunction on disks of wavelength like radius. Combined with Yau's conjecture, the result implies that the average local growth of an eigenfunction on such disks is bounded by constants in the semi-classical limit. We also obt…
The Laplace-Beltrami operator of a smooth Riemannian manifold is determined by the Riemannian metric. Conversely, the heat kernel constructed from its eigenvalues and eigenfunctions determines the Riemannian metric. This work proves the analogy on Euclidean polyhedral surfaces (triangle meshes), that the discrete Laplace-Beltrami operator and the discrete Riemannian metric (unique up to a scaling) are mutually determined by each other. Given an Euclidean polyhedral surface, its Riemannian metric is represented as edge lengths, satisfying triangle inequalities on all faces. The Laplace-Beltrami…
The Baran metric $δ_E$ is a Finsler metric on the interior of $E\subset \R^n$ arising from Pluripotential Theory. We consider the few instances, namely $E$ being the ball, the simplex, or the sphere, where $δ_E$ is known to be Riemaniann and we prove that the eigenfunctions of the associated Laplace Beltrami operator (with no boundary conditions) are the orthogonal polynomials with respect to the pluripotential equilibrium measure $μ_E$ of $E.$ We conjecture that this may hold in a wider generality. The considered differential operators have been already introduced in the framework of orthogon…
The Dirichlet eigenvalues of the Laplace-Beltrami operator are larger on an annulus than on any other surface of revolution in $\mathbb{R}^3$ with the same boundary. This is established by defining a sequence of shrinking cylinders about the axis of symmetry and proving that flattening a surface outside of each cylinder successively increases the eigenvalues. A similar argument shows that the Dirichlet eigenvalues of the Laplace-Beltrami operator are larger on a half-helicoid than on any other screw surface in $\mathbb{R}^2 \times \mathbb{S}^1$ with the same boundary.
Let $(M,g)$ be a connected, closed, orientable Riemannian surface and denote by $λ_k(M,g)$ the $k$-th eigenvalue of the Laplace-Beltrami operator on $(M,g)$. In this paper, we consider the mapping $(M, g)\mapsto λ_k(M,g)$. We propose a computational method for finding the conformal spectrum $Λ^c_k(M,[g_0])$, which is defined by the eigenvalue optimization problem of maximizing $λ_k(M,g)$ for $k$ fixed as $g$ varies within a conformal class $[g_0]$ of fixed volume $textrm{vol}(M,g) = 1$. We also propose a computational method for the problem where $M$ is additionally allowed to vary over surfac…
It is known (E.L. Green (1997), O. Post (2003)) that for an arbitrary $m\in\mathbb{N}$ one can construct a periodic non-compact Riemannian manifold $M$ with at least $m$ gaps in the spectrum of the corresponding Laplace-Beltrami operator $-Δ_M$. In this work we want not only to produce a new type of periodic manifolds with spectral gaps but also to control the edges of these gaps. The main result of the paper is as follows: for arbitrary pairwise disjoint intervals $(\a_j,\b_j)\subset[0,\infty)$, $j=1,...,m$ ($m\in\mathbb{N}$), for an arbitrarily small $δ>0$ and for an arbitrarily large $L>0$ …
Let $Ω$ be a bounded domain in $\mathbb{R}^n$ with $C^{1}$ boundary and let $u_λ$ be a Dirichlet Laplace eigenfunction in $Ω$ with eigenvalue $λ$. We show that the $(n-1)$-dimensional Hausdorff measure of the zero set of $u_λ$ does not exceed $C(Ω)\sqrtλ$. This result is new even for the case of domains with $C^\infty$-smooth boundary.
We study the stability properties of nodal sets of Laplace eigenfunctions on compact manifolds under specific small perturbations. We prove that nodal sets are fairly stable if said perturbations are relatively small, more formally, supported at a sub-wavelength scale. We do not need any assumption on the topology of the nodal sets. As an indirect application, we are able to show that a certain "Payne property" concerning the second nodal line remains stable under controlled perturbations of the domain.
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vector fields that can become collinear. Generically, the singular set is an embedded one dimensional manifold and there are three type of points: Riemannian points where the two vector fields are linearly independent, Grushin points where the two vector fields are collinear but their Lie bracket is not and tangency points where the two vector fields and their Lie bracket are collinear and the missing direction is obtain…
We give a description of the growth rates of $L^2$-normalized Laplace eigenfunctions on the unit disk with Dirichlet and Neumann boundary conditions. In particular, we show that the growth rates of both Dirichlet and Neumann eigenfunctions are bounded away from zero. Our approach starts with P. Sarnak growth exponents and uses several key asymptotic formulas for Bessel functions or their zeros.
In this paper, we introduce a new notion of convergence for the Laplace eigenfunctions in the semiclassical limit, the local weak convergence. This allows us to give a rigorous statement of Berry's random wave conjecture. Using recent results of Bourgain, Buckley and Wigman, we will prove that some deterministic families of eigenfunctions on $\mathbb{T}^2$ satisfy the conclusions of the random wave conjecture. We also show that on an arbitrary domain, a sequence of Laplace eigenfunctions always admits local weak limits. We explain why these local weak limits can be a powerful tool to study the…
We investigate several aspects of the nodal geometry and topology of Laplace eigenfunctions, with particular emphasis on the low frequency regime. This includes investigations in and around the Payne property, opening angle estimates of nodal domains, saturation of (fundamental) spectral gaps etc., and behaviour of all of the above under small scale perturbations. We aim to highlight interesting aspects of spectral theory and nodal phenomena tied to ground state/low energy eigenfunctions, as opposed to asymptotic results.
We prove that, given any knot $γ$ in a compact 3-manifold M, there exists a Riemannian metric on M such that there is a complex-valued eigenfunction u of the Laplacian, corresponding to the first nontrivial eigenvalue, whose nodal set $u^{-1}(0)$ has a connected component given by $γ$. Higher dimensional analogs of this result will also be considered.
This is a review of old and new results and methods related to the Yau conjecture on the zero set of Laplace eigenfunctions. The review accompanies two lectures given at the conference CDM 2018. We discuss the works of Donnelly and Fefferman including their solution of the conjecture in the case of real-analytic Riemannian manifolds. The review exposes the new results for Yau's conjecture in the smooth setting. We try to avoid technical details and emphasize the main ideas of the proof of Nadirashvili's conjecture. We also discuss two-dimensional methods to study zero sets.
Let $Δ_M$ be the Laplace operator on a compact $n$-dimensional Riemannian manifold without boundary. We study the zero sets of its eigenfunctions $u:Δu + λu =0$. In dimension $n=2$ we refine the Donnelly-Fefferman estimate by showing that $H^1(\{u=0 \})\le Cλ^{3/4-β}$, $β\in (0,1/4)$. The proof employs the Donnelli-Fefferman estimate and a combinatorial argument, which also gives a lower (non-sharp) bound in dimension $n=3$: $H^2(\{u=0\})\ge cλ^α$, $α\in (0,1/2)$. The positive constants $c,C$ depend on the manifold, $α$ and $β$ are universal.
Let X be a manifold equipped with a complete Riemannian metric of constant negative curvature and finite volume. We demonstrate the finiteness of the collection of totally geodesic immersed hypersurfaces in X that lie in the zero-level set of some Laplace eigenfunction. For surfaces, we show that the number can be bounded just in terms of the area of the surface. We also provide constructions of geodesics in hyperbolic surfaces that lie in a nodal set but that do not lie in the fixed point set of a reflection symmetry.
We prove pointwise bounds for $L^2$ eigenfunctions of the Laplace-Beltrami operator on locally symmetric spaces with $\mathbb{Q}$-rank one if the corresponding eigenvalues lie below the continuous part of the $L^2$ spectrum. Furthermore, we use these bounds in order to obtain some results concerning the $L^p$ spectrum.
Let $M$ be a compact, connected Riemannian manifold whose Riemannian volume measure is denoted by $σ$. Let $f: M \rightarrow \mathbb{R}$ be a non-constant eigenfunction of the Laplacian. The random wave conjecture suggests that in certain situations, the value distribution of $f$ under $σ$ is approximately Gaussian. Write $μ$ for the measure whose density with respect to $σ$ is $|\nabla f|^2$. We observe that the value distribution of $f$ under $μ$ admits a unimodal density attaining its maximum at the origin. Thus, in a sense, the zero set of an eigenfunction is the largest of all level sets.…
The purpose of this paper is to study the property of the resolvent of the Laplace-Beltrami operator on a noncompact complete Riemannian manifold with various ends each of which has a different limit of the growth rate of the Riemannian measure at infinity, in particular, focusing on the limiting absorption principle. As a result, we will obtain the absolute continuity of the Laplace-Beltrami operator.
We relate high-energy limits of Laplace-type and Dirac-type operators to frame flows on the corresponding manifolds, and show that the ergodicity of frame flows implies quantum ergodicity in an appropriate sense for those operators. Observables for the corresponding quantum systems are matrix-valued pseudodifferential operators and therefore the system remains non-commutative in the high-energy limit. We discuss to what extent the space of stationary high-energy states behaves classically.
