Showing 1–23 of 23 results for author: Toth, J A

Small-scale mass estimates for Neumann eigenfunctions: piecewise smooth planar domains

Authors: Hans Christianson, John A. Toth

Abstract: Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary… ▽ More Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary vector field argument combined with a small scale induction argument. △ Less

Submitted 19 September, 2023; originally announced September 2023.

Comments: This is an expanded version of the first half of the preprint arXiv:2012.15237 [math.AP] by the same authors

MSC Class: 35B40; 35B30; 35P99; 35G15

Lower bounds for eigenfunction restrictions in lacunary regions

Authors: Yaiza Canzani, John A. Toth

Abstract: Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface… ▽ More Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface $H \subset (M\setminus \text{supp} (π_* μ))$ sufficiently close to $ \text{supp}(π_* μ),$ and for all $δ>0,$ $$ \int_{H} |u_h|^2 dσ\geq C_δ\, e^{- [\, d(H, \text{supp}(π_* μ)) + \,δ] /h} $$ as $h \to 0^+$. We also show that the result holds for eigenfunctions of Schrödinger operators and give applications to eigenfunctions on warped products and joint eigenfunctions of quantum completely integrable (QCI) systems. △ Less

Submitted 12 July, 2022; originally announced July 2022.

Lower bounds for Steklov eigenfunctions

Authors: Jeffrey Galkowski, John A. Toth

Abstract: Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author'… ▽ More Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author's previous work. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 16 pages, 2 figures

Non-concentration and restriction bounds for Neumann eigenfunctions of piecewise $C^{\infty}$ bounded planar domains

Authors: Hans Christianson, John A. Toth

Abstract: Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (incl… ▽ More Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary corner points) and any $δ\in [0,1),$ $$ \| φ_h \|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for $L^2$ restrictions of boundary eigenfunctions that are valid up to boundary corners. In particular, in Theorem \ref{dirichlet} we prove that for any {\em flat} boundary edge $Γ$ (possibly including corner points), the boundary restrictions $u_h:= φ_h |_{\partial Ω}$ satisfy the bounds $$ \|u_λ \|_{L^2(Γ)} = O_ε(λ^{1/4 + ε}),$$ for any $ε>0.$ The exponent $1/4$ is sharp and the result improves on the $O(λ^{1/3})$ universal $L^2$-restriction bound for Neumann eigenfunctions due to Tataru \cite{Ta}. The $O(λ^{1/4})$ -bound is also an extension to the boundary (including corner points) of well-known interior $L^2$ restriction bounds of Burq-Gerard-Tzvetkov \cite{BGT} along totally-geodesic hypersurfaces. △ Less

Submitted 30 December, 2020; originally announced December 2020.

Comments: 64 pages

MSC Class: 35P20; 35G15

Pointwise bounds for joint eigenfunctions of quantum completely integrable systems

Authors: Jeffrey Galkowski, John A. Toth

Abstract: Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with… ▽ More Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with $P_1u_h=E_1u_h+o(1)$. We first give polynomial improvements over the standard Hörmander bounds for typical points in $M$. In two and three dimensions, these estimates agree with the Hardy exponent $h^{-\frac{1-n}{4}}$ and in higher dimensions we obtain a gain of $h^{\frac{1}{2}}$ over the Hörmander bound. In our second main result, under a real-analyticity assumption on the QCI system, we give exponential decay estimates for joint eigenfunctions at points outside the projection of invariant Lagrangian tori; that is at points $x\in M$ in the "microlocally forbidden" region $p_1^{-1}(E_1)\cap \dots \cap p_n^{-1}(E_n)\cap T^*_xM=\emptyset.$ These bounds are sharp locally near the projection of the invariant tori. △ Less

Submitted 9 October, 2018; originally announced October 2018.

Comments: 30 pages, 1 figure

Reverse Agmon estimates and nodal intersection bounds in forbidden regions

Authors: John A. Toth, Xianchao Wu

Abstract: 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… ▽ More 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 the forbidden region. The point of this note is to prove a partial converse to the Agmon estimates (ie. exponential {\em lower} bounds for the eigenfunctions) in terms of Agmon distance in the forbidden region under a control assumption on eigenfunction mass in the allowable region $\{ V< E \}$ arbitrarily close to the caustic $ \{ V = E \}.$ We then give some applications to hypersurface restriction bounds for eigenfunctions in the forbidden region along with corresponding nodal intersection estimates. △ Less

Submitted 28 October, 2019; v1 submitted 17 April, 2018; originally announced April 2018.

Nodal intersections and Geometric Control

Authors: John A. Toth, Steve Zelditch

Abstract: This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $λ^2$ to the curve are bounded below by $e^{- C λ}$. In this article, the result is generalized to all real analytic Riemannian manifolds… ▽ More This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $λ^2$ to the curve are bounded below by $e^{- C λ}$. In this article, the result is generalized to all real analytic Riemannian manifolds $(M, g)$ of any dimension $m$ without boundary. Moreover, a similar lower bound is given for the Hausdorff $m-2$ measure of the intersection of the nodal set with a good real analytic hypersurface. Most of the article is devoted to giving a dynamical or geometric control condition for `goodness' of a hypersurface. The conditions are that the hypersurface $H$ be asymmetric with respect to geodesics and that the flowout of the unit vectors with footpoint on $H$ have full measure in $S^*M. $ This gives a partial answer to a question of Bourgain-Rudnick of characterizing hypersurfaces $H$ on which a sequence of eigenfunctions vanishes. We show that under our conditions, a positive density sequence cannot vanish on $H$ or even have smaller $L^2$ norms than $e^{- C λ}$ △ Less

Submitted 18 August, 2017; originally announced August 2017.

Journal ref: Jour. Diff. Geom. 117 (2021), 345-393

Averages of eigenfunctions over hypersurfaces

Authors: Yaiza Canzani, Jeffrey Galkowski, John A. Toth

Abstract: Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ φ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as… ▽ More Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ φ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as $h \to 0^+$. △ Less

Submitted 22 January, 2018; v1 submitted 26 May, 2017; originally announced May 2017.

Comments: 18 pages, 1 figure

Eigenfunction scarring and improvements in $L^{\infty}$ bounds

Authors: Jeffrey Galkowski, John A. Toth

Abstract: We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompa… ▽ More We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompatible with maximal eigenfunction growth. △ Less

Submitted 22 January, 2018; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: 10 pages

Journal ref: Analysis & PDE 11 (2018) 801-812

Pointwise Bounds for Steklov Eigenfunctions

Authors: Jeffrey Galkowski, John A. Toth

Abstract: Let $(Ω,g)$ be a compact, real-analytic Riemannian manifold with real-analytic boundary $\partial Ω.$ The harmonic extensions of the boundary Dirchlet-to-Neumann eigenfunctions are called Steklov eigenfunctions. We show that the Steklov eigenfuntions decay exponentially into the interior in terms of the Dirichlet-to-Neumann eigenvalues and give a sharp rate of decay to first order at the boundary.… ▽ More Let $(Ω,g)$ be a compact, real-analytic Riemannian manifold with real-analytic boundary $\partial Ω.$ The harmonic extensions of the boundary Dirchlet-to-Neumann eigenfunctions are called Steklov eigenfunctions. We show that the Steklov eigenfuntions decay exponentially into the interior in terms of the Dirichlet-to-Neumann eigenvalues and give a sharp rate of decay to first order at the boundary. The proof uses the Poisson representation for the Steklov eigenfunctions combined with sharp $h$-microlocal concentration estimates for the boundary Dirichlet-to-Neumann eigenfunctions near the cosphere bundle $S^*\partial Ω.$ These estimates follow from sharp estimates on the concentration of the FBI transforms of solutions to analytic pseudodifferential equations $Pu=0$ near the characteristic set $\{σ(P)=0\}$. △ Less

Submitted 22 January, 2018; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: 1 figure, 42 pages

Nodal length of Steklov eigenfunctions on real-analytic Riemannian surfaces

Authors: Iosif Polterovich, David A. Sher, John A. Toth

Abstract: 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 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. △ Less

Submitted 8 February, 2017; v1 submitted 24 June, 2015; originally announced June 2015.

Comments: 29 pages, 1 figure. Version 3: some minor changes, final pre-publication version

MSC Class: 35P20; 58J50

Smooth billiards with a large Weyl remainder

Authors: Suresh Eswarathasan, Iosif Polterovich, John A. Toth

Abstract: The celebrated Hardy-Landau lower bound for the error term in the Gauss's circle problem can be viewed as an estimate from below for the remainder in Weyl's law on a square, with either Dirichlet or Neumann boundary conditions. We prove an analogous estimate for smooth star-shaped planar domains admitting an appropriate one-parameter family of periodic billiard trajectories. Examples include ellip… ▽ More The celebrated Hardy-Landau lower bound for the error term in the Gauss's circle problem can be viewed as an estimate from below for the remainder in Weyl's law on a square, with either Dirichlet or Neumann boundary conditions. We prove an analogous estimate for smooth star-shaped planar domains admitting an appropriate one-parameter family of periodic billiard trajectories. Examples include ellipses and smooth domains of constant width. Our results confirm a prediction of P. Sarnak who proved a similar statement for surfaces without boundary. We also obtain lower bounds on the error term in higher dimensions. In this case, the main contribution to the Weyl remainder typically comes from the "big" singularity at zero of the wave trace. However, for certain domains, such as the Euclidean ball, the dimension of the family of periodic trajectories is large enough to dominate the contribution of the singularity at zero. △ Less

Submitted 6 July, 2014; v1 submitted 23 April, 2013; originally announced April 2013.

Comments: Major revision

Exterior mass estimates and $L^2$ restriction bounds for Neumann data along hypersurfaces

Authors: Hans Christianson, Andrew Hassell, John A. Toth

Abstract: We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $φ_h$, $(h^2 Δ- 1)φ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound… ▽ More We study the problem of estimating the $L^2$ norm of Laplace eigenfunctions on a compact Riemannian manifold $M$ when restricted to a hypersurface $H$. We prove mass estimates for the restrictions of eigenfunctions $φ_h$, $(h^2 Δ- 1)φ_h = 0$, to $H$ in the region exterior to the coball bundle of $H$, on $h^δ$-scales ($0\leq δ< 2/3$). We use this estimate to obtain an $O(1)$ $L^2$-restriction bound for the Neumann data along $H.$ The estimate also applies to eigenfunctions of semiclassical Schrödinger operators. △ Less

Submitted 8 November, 2013; v1 submitted 18 March, 2013; originally announced March 2013.

Comments: 22 pages. Second version has (sharp) improved restriction estimate following contributions from A. Hassell (added as an author). Version 3 fixes some mistakes and typos, and adds a more general result on semiclassical Schrodinger operator eigenfunctions

MSC Class: 35P20

Intersection bounds for nodal sets of planar Neumann eigenfunctions with interior analytic curves

Authors: Layan El-Hajj, John A. Toth

Abstract: Let $ Ω\subset R^2$ be a bounded piecewise smooth domain and $φ_λ$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $λ^2$ and nodal set ${ N}_{φ_λ} = {x \in Ω; φ_λ(x) = 0}.$ Let $H \subset Ω$ be an interior $C^ω$ curve. Consider the intersection number $$ n(λ,H):= \# (H \cap N_{φ_λ} ).$$ We first prove that for general piecewise-analytic domains, and under an appropriate "goodness" condit… ▽ More Let $ Ω\subset R^2$ be a bounded piecewise smooth domain and $φ_λ$ be a Neumann (or Dirichlet) eigenfunction with eigenvalue $λ^2$ and nodal set ${ N}_{φ_λ} = {x \in Ω; φ_λ(x) = 0}.$ Let $H \subset Ω$ be an interior $C^ω$ curve. Consider the intersection number $$ n(λ,H):= \# (H \cap N_{φ_λ} ).$$ We first prove that for general piecewise-analytic domains, and under an appropriate "goodness" condition on $H$, $$ n(λ,H) = {\mathcal O}_H(λ) (*)$$ as $λ\rightarrow \infty.$ We then prove that the bound in $(*)$ is satisfied in the case of quantum ergodic (QE) sequences of interior eigenfunctions, provided $Ω$ is convex and $H$ has strictly positive geodesic curvature. △ Less

Submitted 1 July, 2014; v1 submitted 14 November, 2012; originally announced November 2012.

Comments: 40 pages, 1 figure

Averaged Pointwise Bounds for Deformations of Schrodinger Eigenfunctions

Authors: Suresh Eswarathasan, John A. Toth

Abstract: Let (M,g) be a n-dimensional compact Riemannian manifold. We consider the magnetic deformations of semiclassical Schrodinger operators on M for a family of magnetic potentials that depends smoothly on $k$ parameters $u$, for $k \geq n$, and satisfies a generic admissibility condition. Define the deformed Schrodinger eigenfunctions to be the $u$-parametrized semiclassical family of functions on M t… ▽ More Let (M,g) be a n-dimensional compact Riemannian manifold. We consider the magnetic deformations of semiclassical Schrodinger operators on M for a family of magnetic potentials that depends smoothly on $k$ parameters $u$, for $k \geq n$, and satisfies a generic admissibility condition. Define the deformed Schrodinger eigenfunctions to be the $u$-parametrized semiclassical family of functions on M that is equal to the unitary magnetic Schrodinger propagator applied to the Schrodinger eigenfunctions. The main result of this article states that the $L^2$ norms in $u$ of the deformed Schrodinger eigenfunctions are bounded above and below by constants, uniformly on $M$ and in $\hbar$. In particular, the result shows that this non-random perturbation "kills" the blow-up of eigenfunctions. We give, as applications, an eigenfunction restriction bound and a quantum ergodicity result. △ Less

Submitted 29 July, 2012; v1 submitted 28 December, 2011; originally announced December 2011.

Comments: To appear in Annales Henri Poincaré. 23 pages. Background information on semiclassical wavefronts and eigenfunction concentration has been added. Some notational changes made as well. Further changes made were suggested by the referee

MSC Class: 35

Quantum ergodic restriction theorems, II: manifolds without boundary

Authors: J. A. Toth, S. Zelditch

Abstract: We prove that if $(M, g)$ is a compact Riemannian manifold with ergodic geodesic flow, and if $H \subset M$ is a smooth hypersurface satisfying a generic asymmetry condition with respect to the geodesic flow, then restrictions $φ_j |_H$ of an orthonormal basis $\{φ_j\}$ of $Δ$-eigenfunctions of $(M, g)$ to $H$ are quantum ergodic on $H$. The condition on $H$ is satisfied by geodesic circles, close… ▽ More We prove that if $(M, g)$ is a compact Riemannian manifold with ergodic geodesic flow, and if $H \subset M$ is a smooth hypersurface satisfying a generic asymmetry condition with respect to the geodesic flow, then restrictions $φ_j |_H$ of an orthonormal basis $\{φ_j\}$ of $Δ$-eigenfunctions of $(M, g)$ to $H$ are quantum ergodic on $H$. The condition on $H$ is satisfied by geodesic circles, closed horocycles and generic closed geodesics on a hyperbolic surface. △ Less

Submitted 30 April, 2012; v1 submitted 23 April, 2011; originally announced April 2011.

Comments: 53 pages. Second in a series. The paper is self-contained; the methods and results are independent of the first article (arXiv:1005.1636), which dealt with Euclidean domains with ergodic billiards. Some clarifications and an appendix added extending the result to the semi-classical case

Journal ref: GAFA 23 (2013), Page 715-775

About the blowup of quasimodes on Riemannian manifolds

Authors: Christopher D. Sogge, John A. Toth, Steve Zelditch

Abstract: On any compact Riemannian manifold $(M, g)$ of dimension $n$, the $L^2$-normalized eigenfunctions ${φ_λ}$ satisfy $||φ_λ||_{\infty} \leq C λ^{\frac{n-1}{2}}$ where $-Δφ_λ = λ^2 φ_λ.$ The bound is sharp in the class of all $(M, g)$ since it is obtained by zonal spherical harmonics on the standard $n$-sphere $S^n$. But of course, it is not sharp for many Riemannian manifolds, e.g. flat tori… ▽ More On any compact Riemannian manifold $(M, g)$ of dimension $n$, the $L^2$-normalized eigenfunctions ${φ_λ}$ satisfy $||φ_λ||_{\infty} \leq C λ^{\frac{n-1}{2}}$ where $-Δφ_λ = λ^2 φ_λ.$ The bound is sharp in the class of all $(M, g)$ since it is obtained by zonal spherical harmonics on the standard $n$-sphere $S^n$. But of course, it is not sharp for many Riemannian manifolds, e.g. flat tori $\R^n/Γ$. We say that $S^n$, but not $\R^n/Γ$, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the $(M, g)$ with maximal eigenfunction growth. In an earlier work, two of us showed that such an $(M, g)$ must have a point $x$ where the set ${\mathcal L}_x$ of geodesic loops at $x$ has positive measure in $S^*_x M$. We strengthen this result here by showing that such a manifold must have a point where the set ${\mathcal R}_x$ of recurrent directions for the geodesic flow through x satisfies $|{\mathcal R}_x|>0$. We also show that if there are no such points, $L^2$-normalized quasimodes have sup-norms that are $o(λ^{n-1)/2})$, and, in the other extreme, we show that if there is a point blow-down $x$ at which the first return map for the flow is the identity, then there is a sequence of quasi-modes with $L^\infty$-norms that are $Ω(λ^{(n-1)/2})$. △ Less

Submitted 5 August, 2009; originally announced August 2009.

Comments: 20 pages

MSC Class: 58J50; 35P20

Journal ref: J. Geometric Analysis, 21 (2011), 150-173

Counting open nodal lines of random waves on planar domains

Authors: John A. Toth, Igor Wigman

Abstract: We compute the asymptotic expectation of the number of {\em open} nodal lines for random waves on smooth planar domains. We find that for both the long energy window $[0,λ]$ and the short one $[λ,λ+1]$ the expected number of open nodal lines is proportional to $λ$, asymptotically as $λ\to\infty$. Our results are consistent with the predictions in the physics literature made by Blum, Gnutzmann an… ▽ More We compute the asymptotic expectation of the number of {\em open} nodal lines for random waves on smooth planar domains. We find that for both the long energy window $[0,λ]$ and the short one $[λ,λ+1]$ the expected number of open nodal lines is proportional to $λ$, asymptotically as $λ\to\infty$. Our results are consistent with the predictions in the physics literature made by Blum, Gnutzmann and Smilansky \cite{BGS}. △ Less

Submitted 17 March, 2009; v1 submitted 7 October, 2008; originally announced October 2008.

Comments: 1) We simplified the proof of the converse direction in Lemma 2.1. 2) We moved the proof of Prop. 3.2 (and Lemma 3.1) to the appendix and just stated the main results in section 3.2. We also added two references [BSZ1],[BSZ2] to papers by Bleher, Shiffman and Zeldtich in section 3.2. 3) Added references to papers about nodal volume and Yau's conjecture

MSC Class: 35B05; 35Q99; 60G15

L^{2}-restriction bounds for eigenfunctions along curves in the quantum completely integrable case

Authors: John A. Toth

Abstract: We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $ \int_γ |φ_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $γ$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are alway… ▽ More We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $ \int_γ |φ_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $γ$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are always attained for certain exceptional subsequences of eigenfunctions. △ Less

Submitted 18 March, 2008; v1 submitted 6 March, 2008; originally announced March 2008.

Comments: Correct some typos and added some more detail in section 2

Counting Nodal Lines Which Touch the Boundary of an Analytic Domain

Authors: John A. Toth, Steve Zelditch

Abstract: We consider the zeros on the boundary $\partial Ω$ of a Neumann eigenfunction $φ_λ$ of a real analytic plane domain $Ω$. We prove that the number of its boundary zeros is $O (λ)$ where $-Δφ_λ = λ^2 φ_λ$. We also prove that the number of boundary critical points of either a Neumann or Dirichlet eigenfunction is $O(λ)$. It follows that the number of nodal lines of $φ_λ$ (components of the nodal se… ▽ More We consider the zeros on the boundary $\partial Ω$ of a Neumann eigenfunction $φ_λ$ of a real analytic plane domain $Ω$. We prove that the number of its boundary zeros is $O (λ)$ where $-Δφ_λ = λ^2 φ_λ$. We also prove that the number of boundary critical points of either a Neumann or Dirichlet eigenfunction is $O(λ)$. It follows that the number of nodal lines of $φ_λ$ (components of the nodal set) which touch the boundary is of order $λ$. This upper bound is of the same order of magnitude as the length of the total nodal line, but is the square root of the Courant bound on the number of nodal components in the interior. More generally, the results are proved for piecewise analytic domains. △ Less

Submitted 5 November, 2007; v1 submitted 29 September, 2007; originally announced October 2007.

Comments: Added a connection to the Pompeiu problem

MSC Class: 34L20

Journal ref: J. Diff. Geom. 81 (2009), 649-686

A lower bound for the remainder in Weyl's law on negatively curved surfaces

Authors: Dmitry Jakobson, Iosif Polterovich, John A. Toth

Abstract: We obtain an estimate from below for the remainder in Weyl's law on negatively curved surfaces. In the constant curvature case, such a bound was proved independently by Hejhal and Randol in 1976 using the Selberg zeta function techniques. Our approach works in arbitrary negative curvature, and is based on wave trace asymptotics for long times, equidistribution of closed geodesics and small-scale… ▽ More We obtain an estimate from below for the remainder in Weyl's law on negatively curved surfaces. In the constant curvature case, such a bound was proved independently by Hejhal and Randol in 1976 using the Selberg zeta function techniques. Our approach works in arbitrary negative curvature, and is based on wave trace asymptotics for long times, equidistribution of closed geodesics and small-scale microlocalization. △ Less

Submitted 9 November, 2007; v1 submitted 9 December, 2006; originally announced December 2006.

Comments: 27 pages; section 3 significantly revised. To appear in IMRN

MSC Class: 58J50

L^p norms of eigenfunctions in the completely integrable case

Authors: John A. Toth, Steve Zelditch

Abstract: The eigenfunctions e^{i λx} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions must blow up at a rate \gg λ^{p-2/4p - ε} for every ε>0 as λ\to \infty. The eigenfunctions e^{i λx} of the Laplacian on a flat torus have uniformly bounded L^p norms. In this article, we prove that for every other quantum integrable Laplacian, the L^p norms of the joint eigenfunctions must blow up at a rate \gg λ^{p-2/4p - ε} for every ε>0 as λ\to \infty. △ Less

Submitted 6 August, 2002; originally announced August 2002.

Comments: 19 pages

MSC Class: 58F07; 58G25

Journal ref: Ann. Henri Poincare 4 (2003), 343-368

Norms of Modes and Quasi-modes revisited

Authors: John A. Toth, Steve Zelditch

Abstract: This is a partly expository, partly new paper on sup norm estimates of eigenfunctions. The focus is on the quantum completely integrable case. We give a new proof of the main result of our paper ``Riemannian manifolds with uniformly bounded eigenfunctions' (Duke Math J. 111 (2002), 97-132), based on the analysis of quasi-modes and Birkhoff normal forms. We also discuss related issues of resonant… ▽ More This is a partly expository, partly new paper on sup norm estimates of eigenfunctions. The focus is on the quantum completely integrable case. We give a new proof of the main result of our paper ``Riemannian manifolds with uniformly bounded eigenfunctions' (Duke Math J. 111 (2002), 97-132), based on the analysis of quasi-modes and Birkhoff normal forms. We also discuss related issues of resonant normal forms and tunnelling between tori. △ Less

Submitted 8 February, 2002; originally announced February 2002.

Comments: A conference talk at the June 2001 Mt. Holyoke conference in harmonic analysis

MSC Class: 58J50