Let $C$ be a configuration of $n$ ovals in $\mathbb{S}^2$. We show that there is a Riemannian metric $g$ over $\mathbb{S}^2$ with a Laplacian eigenfunction whose zero set is $C$, and the corresponding eigenvalue is the $k$-th eigenvalue for $n\leq k \leq α_1 n$. We also have that $λ\operatorname{Vol}_g\left(\mathbb{S}^2\right) = Θ(n)$.
Additionally, assuming $C$ can be drawn as a topological minor of the $m\times m$ grid graph, we show that there is an infinitesimal perturbation of the round metric on $\mathbb{S}^2$ and a corresponding Laplacian eigenfunction $f$ with eigenvalue $Θ(m^2)$ such that the zero set of $f$ is equivalent to $C$.
We consider the problem of prescribing the nodal set of the first nontrivial eigenfunction of the Laplacian in a conformal class. Our main result is that, given a separating closed hypersurface $Σ$ in a compact Riemannian manifold $(M,g_0)$ of dimension $d \geq 3$, there is a metric $g$ on $M$ conformally equivalent to $g_0$ and with the same volume such that the nodal set of its first nontrivial eigenfunction is a $C^0$-small deformation of $Σ$ (i.e., $Φ(Σ)$ with $Φ: M \to M$ a diffeomorphism arbitrarily close to the identity in the $C^0$ norm).
In this paper, we derive the sharp lower and upper bounds of nodal lengths of Laplacian eigenfunctions in the disc. Furthermore, we observe a geometric property of the eigenfunctions whose nodal curves maximize the nodal length.
In this short note we show that the lower bounds of Mangoubi on the inner radius of nodal domains can be improved for quantum ergodic sequences of eigenfunctions, according to a certain power of the radius of shrinking balls on which the eigenfunctions equidistribute. We prove such improvements using a quick application of our recent results (arXiv:1606.02057), which give modified growth estimates for eigenfunctions that equidistribute on small balls. Since by the results of Han and Hezari-Rivière small scale QE holds for negatively curved manifolds on logarithmically shrinking balls, we get l…
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 show that, in round spheres of dimension $n\geq3$, for any given collection of codimension 2 smooth submanifolds $\mathfrak{S}:=\{Σ_1,...,Σ_N\}$ of arbitrarily complicated topology ($N$ being the complex dimension of the spinor bundle), there is always an eigenfunction $ψ=(ψ_1,...,ψ_N)$ of the Dirac operator such that each submanifold $Σ_a$, modulo ambient diffeomorphism, is a structurally stable nodal set of the spinor component $ψ_a$. The result holds for any choice of trivialization of the spinor bundle. The emergence of these structures takes place at small scales and sufficiently high …
We investigate the geometric properties of Steklov eigenfunctions in smooth manifolds. We derive the refined doubling estimates and Bernstein's inequalities. For the real analytic manifolds, we are able to obtain the sharp upper bound for the measure of interior nodal sets.
The nodal set of the Laplacian eigenfunction has co-dimension one and has finite hypersurface measure on a compact Riemannian manifold. In this paper, we investigate the distribution of the nodal sets of eigenfunctions, when the metric on the manifold is analytic. We prove that if the eigenfunctions are equidistributed at a small scale, then the weak limits of the hypersurface volume form of their nodal sets are comparable to the volume form on the manifold. In particular, on the negatively curved manifolds with analytic metric and on the tori, we show that in any eigenbasis, there is a full d…
In this note, we discuss a question posed by T. Hoffmann-Ostenhof concerning the parity of the number of nodal domains for a non-constant eigenfunction of the Laplacian on flat tori. We present two results. We first show that on the torus $(\mathbb{R}/2π\mathbb{Z})^{2}$, a non-constant eigenfunction has an even number of nodal domains. We then consider the torus $(\mathbb{R}/2π\mathbb{Z})\times(\mathbb{R}/2ρπ\mathbb{Z})\,$, with $ρ=\frac{1}{\sqrt{3}}\,$, and construct on it an eigenfunction with three nodal domains.
We investigate the interior nodal sets $\mathcal{N}_λ$ of Steklov eigenfunctions on connected and compact surfaces with boundary. The optimal vanishing order of Steklov eigenfunctions is shown be $Cλ$. The singular sets $\mathcal{S}_λ$ are finite points on the nodal sets. We are able to prove that the Hausdorff measure $H^0(\mathcal{S}_λ)\leq Cλ^2$. Furthermore, we obtain an upper bound for the measure of interior nodal sets $H^1(\mathcal{N}_λ)\leq Cλ^{\frac{3}{2}}$. Here those positive constants $C$ depend only on the surfaces.
This article concerns the number of nodal domains of eigenfunctions of the Laplacian on special Riemannian $3$-manifolds, namely nontrivial principal $S^1$ bundles $P \to X$ over Riemann surfaces equipped with certain $S^1$ invariant metrics, the Kaluza-Klein metrics. We prove for generic Kaluza-Klein metrics that any Laplacian eigenfunction has exactly two nodal domains unless it is invariant under the $S^1$ action. We also construct an explicit orthonormal eigenbasis on the flat $3$-torus $\mathbb{T}^3$ for which every non-constant eigenfunction belonging to the basis has two nodal domains.
We prove sharp upper and lower bounds for the nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces with boundary. The argument involves frequency function methods for harmonic functions in the interior of the surface as well as the construction of exponentially accurate approximations for the Steklov eigenfunctions near the boundary.
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.
Let $Σ$ be an oriented compact hypersurface in the round sphere $\mathbb{S}^n$ or in the flat torus $\mathbb{T}^n$, $n\geq 3$. In the case of the torus, $Σ$ is further assumed to be contained in a contractible subset of $\mathbb{T}^n$. We show that for any sufficiently large enough odd integer $N$ there exists an eigenfunctions $ψ$ of the Laplacian on $\mathbb{S}^n$ or $\mathbb{T}^n$ satisfying $Δψ=-λψ$ (with $λ=N(N+n-1)$ or $N^2$ on $\mathbb{S}^n$ or $\mathbb{T}^n$, respectively), and with a connected component of the nodal set of $ψ$ given by~$Σ$, up to an ambient diffeomorphism.
We study the nodal set of Laplace eigenfunctions on the flat $2d$ torus $\mathbb{T}^2$. We prove an asymptotic law for the nodal length of such eigenfunctions, under some growth assumptions on their Fourier coefficients. Moreover, we show that their nodal set is asymptotically equidistributed on $\mathbb{T}^2$. The proofs are based on Bourgain's de-randomisation technique and the main new ingredient, which might be of independent interest, is the integrability of arbitrarily large powers of the doubling index of Laplace eigenfunctions on $\mathbb{T}^2$, based on the work of Nazarov \cite{N93,N…
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…
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.
We study the nodal curves of low energy Dirichlet eigenfunctions in generalized curvilinear quadrilaterals. The techniques can be seen as a generalization of the tools developed by Grieser-Jerison in a series of works on convex planar domains and rectangles with one curved edge and a large aspect ratio. Here, we study the structure of the nodal curve in greater detail, in that we find precise bounds on its curvature, with uniform estimates up to the two points where it meets the domain at right angles, and show that many of our results hold for relatively small aspect ratios of the side length…
We prove Polterovich's conjecture concerning the growth of the number of nodal domains for eigenfunctions on a unit square domain, under the assumption that the eigenfunctions do not have any singular points.
In a recent paper, we exhibit a link between the average local growth of Laplace eigenfunctions on surfaces and the size of their nodal set. In that paper, the average local growth is computed using the uniform - or $L^\infty$ - growth exponents on disks of wavelength radius. The purpose of this note is to prove similar results for a broader class of $L^q$ growth exponents with $q \in (1, \infty)$. More precisely, we show that the size of the nodal set is bounded above and below by the product of the average local $L^q$ growth with the frequency. We briefly discuss the relation between this ne…
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 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.
This note concerns the nodal sets of eigenfunctions of semiclassical Schrödinger operators acting on compact, smooth, Riemannian manifolds, with no boundary. We prove that if H is a separating hypersurface that lies inside the classically forbidden region, then H cannot persist as a component of the zero set of infinitely many eigenfunctions. In addition, on real analytic surfaces, we obtain sharp upper bounds for the number of intersections of the zero sets of the Schrödinger eigenfunctions with a fixed curve that lies inside the classically forbidden region.
It is an open problem in general to prove that there exists a sequence of $Δ_g$-eigenfunctions $ϕ_{j_k}$ on a Riemannian manifold $(M, g)$ for which the number $N(ϕ_{j_k}) $ of nodal domains tends to infinity with the eigenvalue. Our main result is that $N(ϕ_{j_k}) \to \infty$ along a subsequence of eigenvalues of density $1$ if the $(M, g)$ is a non-positively curved surface with concave boundary, i.e. a generalized Sinai or Lorentz billiard. Unlike the recent closely related work of Ghosh-Reznikov-Sarnak and of the authors on the nodal domain counting problem, the surfaces need not have any …
Let $\mathbb{M}$ be a compact $C^\infty$-smooth Riemannian manifold of dimension $n$, $n\geq 3$, and let $φ_λ: Δ_M φ_λ+ λφ_λ= 0$ denote the Laplace eigenfunction on $\mathbb{M}$ corresponding to the eigenvalue $λ$. We show that $$H^{n-1}(\{ φ_λ=0\}) \leq C λ^α,$$ where $α>1/2$ is a constant, which depends on $n$ only, and $C>0$ depends on $\mathbb{M}$ . This result is a consequence of our study of zero sets of harmonic functions on $C^\infty$-smooth Riemannian manifolds. We develop a technique of propagation of smallness for solutions of elliptic PDE that allows us to obtain local bounds from …
We prove that the Hecke--Maass eigenforms for a compact arithmetic triangle group have a growing number of nodal domains as the eigenvalue tends to $+\infty$. More generally the same is proved for eigenfunctions on negatively curved surfaces that are even or odd with respect to a geodesic symmetry and for which Quantum Unique Ergodicity holds.
Generalizing Courant's nodal domain theorem, the "Extended Courant property" is the statement that a linear combination of the first $n$ eigenfunctions has at most $n$ nodal domains. In a previous paper (Documenta Mathematica, 2018, Vol. 23, pp. 1561--1585), we gave simple counterexamples to this property, including convex domains. In the present paper, using some input from numerical computations, we pursue the investigation of the Extended Courant property with two new examples, the equilateral rhombus and the regular hexagon.
In this paper, we show that equality in Courant's nodal domain theorem can only be reached for a finite number of eigenvalues of the Neumann Laplacian, in the case of an open, bounded and connected set in R n with a C 1,1 boundary. This result is analogous to Pleijel's nodal domain theorem for the Dirichlet Laplacian (1956). It confirms, in all dimensions, a conjecture formulated by Pleijel, which had already been solved by I. Polterovich for a two-dimensional domain with a piecewise-analytic boundary (2009). We also show that the argument and the result extend to a class of Robin boundary con…
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.
In this note, we make an observation that Laplacian eigenfunctions fail equidistribution at the Planck scale. Furthermore, equidistribution at the same scale also fails around the points where the eigenfunctions have large values.
We study the number of nodal domains in balls shrinking slightly above the Planck scale for "generic" toral eigenfunctions. We prove that, up to the natural scaling, the nodal domains count obeys the same asymptotic law as the global number of nodal domains. The proof, on one hand, uses new arithmetic information to refine Bourgain's de-randomisation technique at Planck scale. And on the other hand, it requires a Planck scale version of Yau's conjecture which we believe to be of independent interest.
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 …
Recent work of the authors and their collaborators has uncovered fundamental connections between the Dirichlet-to-Neumann map, the spectral flow of a certain family of self-adjoint operators, and the nodal deficiency of a Laplacian eigenfunction (or an analogous deficiency associated to a non-bipartite equipartition). Using a refined construction of the Dirichlet-to-Neumann map, we strengthen all of these results, in particular getting improved bounds on the nodal deficiency of degenerate eigenfunctions. Our framework is very general, allowing for non-bipartite partitions, non-simple eigenvalu…
Let $u$ be a harmonic function in the unit ball $B(0,1) \subset \mathbb{R}^n$, $n \geq 3$, such that $u(0)=0$. Nadirashvili conjectured that there exists a positive constant $c$, depending on the dimension $n$ only, such that $H^{n-1}(\{u=0 \}\cap B) \geq c$. We prove Nadirashvili's conjecture as well as its counterpart on $C^\infty$-smooth Riemannian manifolds. The latter yields the lower bound in Yau's conjecture. Namely, we show that for any compact $C^\infty$-smooth Riemannian manifold $M$ (without boundary) of dimension $n$ there exists $c>0$ such that for any Laplace eigenfunction $φ_λ$ …
According to Courant's theorem, an eigenfunction as\-sociated with the $n$-th eigenvalue $λ\_n$ has at most $n$ nodal domains. A footnote in the book of Courant and Hilbert, states that the same assertion is true for any linear combination of eigenfunctions associated with eigenvalues less than or equal to $λ\_n$. We call this assertion the \emph{Extended Courant Property}.\smallskipIn this paper, we propose simple and explicit examples for which the extended Courant property is false: convex domains in $\R^n$ (hypercube and equilateral triangle), domains with cracks in $\mathbb{R}^2$, on the …
We study oscillations in the eigenfunctions for a fractional Schrödinger operator on the real line. An argument in the spirit of Courant's nodal domain theorem applies to an associated local problem in the upper half plane and provides a bound on the number of nodal domains for the extensions of the eigenfunctions. Using the combinatorial properties of noncrossing partitions, we turn the nodal domain bound into an estimate for the number of sign changes in the eigenfunctions. We discuss applications in the periodic setting and the Steklov problem on planar domains.
We prove sharp $L^p$ estimates for the Steklov eigenfunctions on compact manifolds with boundary in terms of their $L^2$ norms on the boundary. We prove it by establishing $L^p$ bounds for the harmonic extension operators as well as the spectral projection operators on the boundary. Moreover, we derive lower bounds on the size of nodal sets for a variation of the Steklov spectral problem. We consider a generalized version of the Steklov problem by adding a non-smooth potential on the boundary but some of our results are new even without potential.
We discuss the asymptotic lower bound on the inner radius of nodal domains that arise from Laplacian eigenfunctions $ ϕ_λ$ on a closed Riemannian manifold $ (M,g) $. First, in the real-analytic case we present an improvement of the currently best known bounds, due to Mangoubi (\cite{Man1}). Furthermore, using recent results of Hezari (\cite{Hezari}, \cite{Hezari2}) we obtain $ \log $-type improvements in the case of negative curvature and improved bounds for $ (M,g) $ possessing an ergodic geodesic flow. Second, we discuss the relation between the distribution of the $ L^2 $ norm of an eigenfu…
In this paper, we present some novel and intriguing findings on the geometric structures of Laplacian eigenfunctions and their deep relationship to the quantitative behaviours of the eigenfunctions in two dimensions. We introduce a new notion of generalized singular lines of the Laplacian eigenfunctions, and carefully study these singular lines and the nodal lines. The studies reveal that the intersecting angle between two of those lines is closely related to the vanishing order of the eigenfunction at the intersecting point. We establish an accurate and comprehensive quantitative characterisa…
The goal of this article is to draw new applications of small scale quantum ergodicity in nodal sets of eigenfunctions. We show that if quantum ergodicity holds on balls of shrinking radius $r(λ) \to 0$, then one can achieve improvements on the recent upper bounds of Logunov and Logunov-Malinnikova on the size of nodal sets, according to a certain power of $r(λ)$. We also show that the order of vanishing results of Donnelly-Fefferman and Dong can be improved. Since by the results of Han and Hezari-Rivière small scale QE holds on negatively curved manifolds at logarithmically shrinking rates, w…
Let $(M,g)$ be a compact, Riemannian manifold and $V \in C^{\infty}(M; \mathbb{R})$. Given a regular energy level $E > \min V$, we consider $L^2$-normalized eigenfunctions, $u_h,$ of the Schrodinger operator $P(h) = - h^2 Δ_g + V - E(h)$ with $P(h) u_h = 0$ and $E(h) = E + o(1)$ as $h \to 0^+.$ The well-known Agmon-Lithner estimates \cite{Hel} are exponential decay estimates (ie. upper bounds) for eigenfunctions in the forbidden region $\{ V>E \}.$ The decay rate is given in terms of the Agmon distance function $d_E$ associated with the degenerate Agmon metric $(V-E)_+ \, g$ with support in th…
