SearcharxivSearch

arXiv subjects

Hans Christianson

Publications and source records attributed to Hans Christianson.

At least 19 recordsLinked to original sources

Non-concentration estimates for Laplace eigenfunctions on compact $C^{\infty}$ manifolds with boundary

Let $Ω$ be an $n$-dimensional compact Riemannian manifold $(n \geq 3)$ with $C^\infty$ boundary, and consider $L^2$-normalized eigenfunctions $ - Δϕ_λ = λ^2 ϕ_λ$ with Dirichlet or Neumann boundary conditions . In this note, we extend well-known interior nonconcentration bounds up to the boundary. Specifically, in Theorem \ref{thm1}, using purely stationary local methods, we prove that for such $Ω$ it follows that for {\em any} $x_0 \in \overlineΩ$ (including boundary points) and for all $μ\geq C_Ω λ^{-1}$ with sufficiently large constant $C_Ω >0,$ \begin{equation} \label{nonconbdy} \| ϕ_λ\|_{B(x_0,μ)\cap Ω}^2 = O(μ). \end{equation} In Theorem \ref{thm2} we extend a result of Sogge \cite{So} to manifolds with smooth boundary and show that \begin{equation} \label{SUPBD} \| ϕ_λ\|_{L^\infty(Ω)} \leq C λ^{\frac{n}{2}} \cdot \Big( \sup_{x \in Ω} \| ϕ_λ \|_{L^2( B(x,λ^{-1}) \cap Ω)} \Big). \end{equation} The sharp sup bounds $\| ϕ_λ \|_{L^\infty(Ω)} = O(λ^{\frac{n-1}{2}})$ for Dirichlet or Neumann eigenfunctions proved by Grieser in \cite{Gr} are then an immediate consequence of Theorems \ref{thm1} and \ref{thm2}.

math.AP

Wave Decay with Singular Damping

We consider the stabilization problem on a manifold with boundary for a wave equation with measure-valued linear damping. For a wide class of measures, containing Dirac masses on hypersurfaces as well as measures with fractal support, we establish an abstract energy decay result.

math.AP

Energy Distribution for Dirichlet Eigenfunctions on Right Triangles

In this paper, we continue the study of eigenfunctions on triangles initiated by the first author in \cite{Chr-tri} and \cite{Chr-simp}. The Neumann data of Dirichlet eigenfunctions on triangles enjoys an equidistribution law, being equidistributed on each side. The proof of this result is remarkably simple, using only the radial vector field and a Rellich type integrations by parts. The equidistribution law, including on higher dimensional simplices, agrees with what Quantum Ergodic Restriction would predict. However, distribution of the Neumann data on subsets of a side is not well understood, and elementary methods do not appear to give enough information to draw conclusions. In the present note, we first show that an "obvious" conjecture fails even for the simplest right isosceles triangle using only Fourier series. We then use a result of Marklof-Rudnick \cite{Marklof-Rudnick} in which the authors show an interior {\it spatial} equidistribution law for a density-one subsequence of eigenfunctions to give an estimate on energy distribution of eigenfunctions on the interior. Finally we present some numerical computations suggesting the behaviour of eigenfunctions on almost isosceles triangles is quite complicated.

math.AP

Quantum Flux and Quantum Ergodicity for Cross Sections

For sequences of quantum ergodic eigenfunctions, we define the quantum flux norm associated to a codimension $1$ submanifold $Σ$ of a non-degenerate energy surface. We prove restrictions of eigenfunctions to $Σ$, realized using the quantum flux norm, are quantum ergodic. We compare this result to known results from \cite{CTZ} in the case of Euclidean domains and hyperfurfaces. As a further application, we consider complexified analytic eigenfunctions and prove a second microlocal analogue of \cite{CTZ} in that context.

math.AP

Control estimates for 0th order pseudodifferential operators

We introduce the control conditions for 0th order pseudodifferential operators $\mathbf{P}$ whose real parts satisfy the Morse--Smale dynamical condition. We obtain microlocal control estimates under the control conditions. As a result, we show that there are no singular profiles in the solution to the evolution equation $(i\partial_t-\mathbf{P})u=f$ when $\mathbf{P}$ has a damping term that satisfies the control condition and $f\in C^{\infty}$. This is motivated by the study of a microlocal model for the damped internal waves.

math.AP

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

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.

math.AP

Local Smoothing for the Schrödinger Equation on a Multi-Warped Product Manifold with Inflection-Transmission Trapping

Geodesic trapping is an obstruction to dispersive estimates for solutions to the Schrödinger equation. Surprisingly little is known about solutions to the Schrödinger equation on manifolds with degenerate trapping, since the conditions for degenerate trapping are not stable under perturbations. In this paper we extend some of the results of [CM14] on inflection-transmission type trapping on warped product manifolds to the case of multi-warped products. The main result is that the trapping on one cross section does not interact with the trapping on other cross sections provided the manifold has only one infinite end and only inflection-transmission type trapping.

math.AP

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

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.

math.AP

Conformal Perturbations and Local Smoothing

The purpose of this paper is to study the effect of conformal perturbations on the local smoothing effect for the Schrödinger equation on surfaces of revolution. The paper \cite{ChWu-lsm} studied the Schrödinger equation on surfaces of revolution with one trapped orbit. The dynamics near this trapping were unstable, but degenerately so. Beginning from the metric $g$ from this paper, we consider the perturbed metric $g_s = e^{sf}g$, where $f$ is a smooth, compactly supported function. If $s$ is small enough and finitely many derivatives of $f$ satisfy appropriate symbolic estimates, then we show that a local smoothing estimate still holds.

math.AP

Asymptotic Boundary Observability for the Schrödinger Equation on Simplices

We consider the Schrödinger equation $(i\partial_t+Δ)u=0$ on an $n$-dimensional simplex with Dirichlet boundary conditions. We use a commutator argument along with integration by parts to obtain an observability asymptotic for any one face of the simplex. Rather than the typical observability inequality, we are able to do better as we instead prove a large-time asymptotic.

math.AP

Asymptotic Boundary Observability For The Wave Equation On Simplices

In this paper, we consider the wave equation on an n-dimensional simplex with Dirichlet boundary conditions. Our main result is an asymptotic observability identity from any one face of the simplex. The novel aspects of the result are that it is a large-time asymptotic rather than an estimate, and it requires no dynamical assumptions on the billiard flow. The proof uses mainly integrations by parts.

math.AP

Neumann Data Mass on Perturbed Triangles

Based on a previous paper [Chr17] on Neumann data for Dirichlet eigenfunctions on triangles, we extend the study in two ways. First, we investigate the (semi-classical) Neumann data mass on perturbed triangles. Specifically, we replace one side of a triangle by adding a smooth perturbation, and assume that the disparity between the perturbation and the original side is bounded by a small value $ε$. Second, we add a small $ε$ sized potential to the (semi-classical) Laplacian and see how the results change on triangles. In both cases, we find that the $L^2$ norm of Neumann data on each side is close to the length of the side divided by the area of the triangle, and the difference is dominated by $ε$.

math.AP

Asymptotic Boundary Observability for the Wave Equation on One Side of a Planar Triangle

We consider the wave equation $(\partial_t^2-Δ)u=0$ on a planar triangular domain $Ω\subset\mathbb{R}^2$ with Dirichlet boundary conditions. We use a commutator and integration by parts argument similar to that in \cite{Chr2DTriangles} by the first author to obtain an observability asymptotic for any one side of the triangle. Our result is particular to triangular domains and does not hold for polygons in general.

math.AP

A one point non-concentration estimate for Laplace eigenfunctions on polygons

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.

math.AP

Local Smoothing Estimates near a Trapped Set with Infinitely Many Connected Components

We prove a local smoothing result for the Schrödinger equation on a class of surfaces of revolution which have infinitely many trapped geodesics. Our main result is a local smoothing estimate with loss (compared to \cite{ChMe-lsm}) depending on the accumulation rate of the critical points of the profile curve. The proof uses an h-dependent version of semiclassical propagation of singularities, and a result on gluing an h-dependent number of cutoff resolvent estimates.

math.AP

Localized energy for wave equations with degenerate trapping

Localized energy estimates have become a fundamental tool when studying wave equations in the presence of asymptotically at background geometry. Trapped rays necessitate a loss when compared to the estimate on Minkowski space. A loss of regularity is a common way to incorporate such. When trapping is sufficiently weak, a logarithmic loss of regularity suffices. Here, by studying a warped product manifold introduced by Christianson and Wunsch, we encounter the first explicit example of a situation where an estimate with an algebraic loss of regularity exists and this loss is sharp. Due to the global-in-time nature of the estimate for the wave equation, the situation is more complicated than for the Schrödinger equation. An initial estimate with sub-optimal loss is first obtained, where extra care is required due to the low frequency contributions. An improved estimate is then established using energy functionals that are inspired by WKB analysis. Finally, it is shown that the loss cannot be improved by any power by saturating the estimate with a quasimode.

math.AP

Equidistribution of Neumann data mass on simplices and a simple inverse problem

In this paper we study the behaviour of the Neumann data of Dirichlet eigenfunctions on simplices. We prove that the $L^2$ norm of the (semi-classical) Neumann data on each face is equal to $2/n$ times the $(n-1)$-dimensional volume of the face divided by the volume of the simplex. This is a generalization of \cite{Chr-tri} to higher dimensions. Again it is {\it not} an asymptotic, but an exact formula. The proof is by simple integrations by parts and linear algebra. We also consider the following inverse problem: do the {\it norms} of the Neumann data on a simplex determine a constant coefficient elliptic operator? The answer is yes in dimension 2 and no in higher dimensions.

math.AP

Equidistribution of Neumann data mass on triangles

In this paper we study the behaviour of the Neumann data of Dirichlet eigenfunctions on triangles. We prove that the $L^2$ norm of the (semi-classical) Neumann data on each side is equal to the length of the side divided by the area of the triangle. The novel feature of this result is that it is {\it not} an asymptotic, but an exact formula. The proof is by simple integrations by parts.

math.AP