Searcharxiv⌕ Search

arXiv subjects

Hans Christianson

Publications and source records attributed to Hans Christianson.

At least 37 records · Page 2Linked to original sources

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

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.

math.AP↗

Imperfect geometric control and overdamping for the damped wave equation

We consider the damped wave equation on a manifold with imperfect geometric control. We show the sub-exponential energy decay estimate in \cite{Chr-NC-erratum} is optimal in the case of one hyperbolic periodic geodesic. We show if the equation is overdamped, then the energy decays exponentially. Finally we show if the equation is overdamped but geometric control fails for one hyperbolic periodic geodesic, then nevertheless the energy decays exponentially.

math.AP↗

A non-concentration estimate for partially rectangular billiards

We consider quasimodes on planar domains with a partially rectangular boundary. We prove that for any $ε_0>0$, an $Ø(λ^{-ε_0})$ quasimode must have $L^2$ mass in the "wings" bounded below by $λ^{-2-δ}$ for any $δ>0$. The proof uses the author's recent work on 0-Gevrey smooth domains to approximate quasimodes on $C^{1,1}$ domains. There is an improvement for $C^{2,α}$ domains.

math.AP↗

Quantum ergodic restriction for Cauchy data: Interior QUE and restricted QUE

We prove a quantum ergodic restriction theorem for the Cauchy data of a sequence of quantum ergodic eigenfunctions on a hypersurface $H$ of a Riemannian manifold $(M, g)$. The technique of proof is to use a Rellich type identity to relate quantum ergodicity of Cauchy data on $H$ to quantum ergodicity of eigenfunctions on the global manifold $M$. This has the interesting consequence that if the eigenfunctions are quantum unique ergodic on the global manifold $M$, then the Cauchy data is automatically quantum unique ergodic on $H$ with respect to operators whose symbols vanish to order one on the glancing set of unit tangential directions to $H$.

math.AP↗

Unique Continuation for Quasimodes on Surfaces of Revolution: Rotationally invariant Neighbourhoods

We prove a strong conditional unique continuation estimate for irreducible quasimodes in rotationally invariant neighbourhoods on compact surfaces of revolution. The estimate states that Laplace quasimodes which cannot be decomposed as a sum of other quasimodes have $L^2$ mass bounded below by $C_ελ^{-1 - ε}$ for any $ε>0$ on any open rotationally invariant neighbourhood which meets the semiclassical wavefront set of the quasimode. For an analytic manifold, we conclude the same estimate with a lower bound of $C_δλ^{-1 + δ}$ for some fixed $δ>0$.

math.AP↗

High-frequency resolvent estimates on asymptotically Euclidean warped products

We consider the resolvent on asymptotically Euclidean warped product manifolds in an appropriate 0-Gevrey class, with trapped sets consisting of only finitely many components. We prove that the high-frequency resolvent is either bounded by $C_ε|λ|^ε$ for any $ε>0$, or blows up faster than any polynomial (at least along a subsequence). A stronger result holds if the manifold is analytic. The method of proof is to exploit the warped product structure to separate variables, obtaining a one-dimensional semiclassical Schrödinger operator. We then classify the microlocal resolvent behaviour associated to every possible type of critical value of the potential, and translate this into the associated resolvent estimates. Weakly stable trapping admits highly concentrated quasimodes and fast growth of the resolvent. Conversely, using a delicate inhomogeneous blowup procedure loosely based on the classical positive commutator argument, we show that any weakly unstable trapping forces at least some spreading of quasimodes. As a first application, we conclude that either there is a resonance free region of size $| \Im λ| \leq C_ε| \Re λ|^{-1-ε}$ for any $ε>0$, or there is a sequence of resonances converging to the real axis faster than any polynomial. Again, a stronger result holds if the manifold is analytic. As a second application, we prove a spreading result for weak quasimodes in partially rectangular billiards.

math.AP↗

Sharp local smoothing for manifolds with smooth inflection transmission

We consider a family of spherically symmetric, asymptotically Euclidean manifolds with two trapped sets, one which is unstable and one which is semi-stable. The phase space structure is that of an inflection transmission set. We prove a sharp local smoothing estimate for the linear Schrödinger equation with a loss which depends on how flat the manifold is near each of the trapped sets. The result interpolates between the family of similar estimates in \cite{ChWu-lsm}. As a consequence of the techniques of proof, we also show a sharp high energy resolvent estimate with a polynomial loss depending on how flat the manifold is near each of the trapped sets.

math.AP↗

From resolvent estimates to damped waves

In this paper we show how to obtain decay estimates for the damped wave equation on a compact manifold without geometric control via knowledge of the dynamics near the un-damped set. We show that if replacing the damping term with a higher-order \emph{complex absorbing potential} gives an operator enjoying polynomial resolvent bounds on the real axis, then the "resolvent" associated to our damped problem enjoys bounds of the same order. It is known that the necessary estimates with complex absorbing potential can also be obtained via gluing from estimates for corresponding non-compact models.

math.AP↗

Nonlinear bound states on weakly homogeneous spaces

We prove the existence of ground state solutions for a class of nonlinear elliptic equations, arising in the production of standing wave solutions to an associated family of nonlinear Schrödinger equations. We examine two constrained minimization problems, which give rise to such solutions. One yields what we call $F_λ$-minimizers, the other energy minimizers. We produce such ground state solutions on a class of Riemannian manifolds called weakly homogeneous spaces, and establish smoothness, positivity, and decay properties. We also identify classes of Riemannian manifolds with no such minimizers, and classes for which essential uniqueness of positive solutions to the associated elliptic PDE fails.

math.AP↗

Local smoothing for the Schrödinger equation with a prescribed loss

We consider a family of surfaces of revolution, each with a single periodic geodesic which is degenerately unstable. We prove a local smoothing estimate for solutions to the linear Schrödinger equation with a loss that depends on the degeneracy, and we construct explicit examples to show our estimate is saturated on a weak semiclassical time scale. As a byproduct of our proof, we obtain a cutoff resolvent estimate with a sharp polynomial loss.

math.AP↗

Near Sharp Strichartz estimates with loss in the presence of degenerate hyperbolic trapping

We consider an $n$-dimensional spherically symmetric, asymptotically Euclidean manifold with two ends and a codimension 1 trapped set which is degenerately hyperbolic. By separating variables and constructing a semiclassical parametrix for a time scale polynomially beyond Ehrenfest time, we show that solutions to the linear Schrödiner equation with initial conditions localized on a spherical harmonic satisfy Strichartz estimates with a loss depending only on the dimension $n$ and independent of the degeneracy. The Strichartz estimates are sharp up to an arbitrary $β>0$ loss. This is in contrast to \cite{ChWu-lsm}, where it is shown that solutions satisfy a sharp local smoothing estimate with loss depending only on the degeneracy of the trapped set, independent of the dimension.

math.AP↗

Nonlinear quasimodes near elliptic periodic geodesics

We consider the nonlinear Schrödinger equation on a compact manifold near an elliptic periodic geodesic. Using a geometric optics construction, we construct quasimodes to a nonlinear stationary problem which are highly localized near the periodic geodesic. We show the nonlinear Schrödinger evolution of such a quasimode remains localized near the geodesic, at least for short times.

math.AP↗

Random walk on surfaces with hyperbolic cusps

We consider the operator associated to a random walk on finite volume surfaces with hyperbolic cusps. We study the spectral gap (upper and lower bound) associated to this operator and deduce some rate of convergence of the iterated kernel towards its stationary distribution.

math.SP↗

Strichartz estimates for the water-wave problem with surface tension

Strichartz-type estimates for one-dimensional surface water-waves under surface tension are studied, based on the formulation of the problem as a nonlinear dispersive equation. We establish a family of dispersion estimates on time scales depending on the size of the frequencies. We infer that a solution $u$ of the dispersive equation we introduce satisfies local-in-time Strichartz estimates with loss in derivative: \[ \| u \|_{L^p([0,T]) W^{s-1/p,q}(\mathbb{R})} \leq C, \qquad \frac{2}{p} + \frac{1}{q} = {1/2}, \] where $C$ depends on $T$ and on the norms of the initial data in $H^s \times H^{s-3/2}$. The proof uses the frequency analysis and semiclassical Strichartz estimates for the linealized water-wave operator.

math.AP↗

Quantum Monodromy and Non-concentration near a Closed Semi-Hyperbolic Orbit

For a large class of semiclassical operators $P(h)-z$ which includes Schrödinger operators on manifolds with boundary, we construct the Quantum Monodromy operator $M(z)$ associated to a periodic orbit $γ$ of the classical flow. Using estimates relating $M(z)$ and $P(h)-z$, we prove semiclassical estimates for small complex perturbations of $P(h) -z$ in the case $γ$ is semi-hyperbolic. As our main application, we give logarithmic lower bounds on the mass of eigenfunctions away from semi-hyperbolic orbits of the associated classical flow. As a second application of the Monodromy Operator construction, we prove if $γ$ is an elliptic orbit, then $P(h)$ admits quasimodes which are well-localized near $γ$.

math.AP↗

Isomorphisms between Algebras of Semiclassical Pseudodifferential Operators

Following the work of Duistermaat-Singer \cite{DS} on isomorphisms of algebras of global pseudodifferential operators, we classify isomorphisms of algebras of microlocally defined semiclassical pseudodifferential operators. Specifically, we show that any such isomorphism is given by conjugation by $A = BF$, where $B$ is a microlocally elliptic semiclassical pseudodifferential operator, and $F$ is a microlocal $h$-FIO associated to the graph of a local symplectic transformation.

math.AP↗