-
Helmholtz quasi-resonances are unstable under most single-signed perturbations of the wave speed
Authors:
Euan A. Spence,
Jared Wunsch,
Yuzhou Zou
Abstract:
We consider Helmholtz problems with a perturbed wave speed, where the single-signed perturbation is governed by a parameter $z$. Both the wave speed and the perturbation are allowed to be discontinuous (modelling a penetrable obstacle). We show that, for any frequency, for most values of $z$, the solution operator is polynomially bounded in the frequency.
This solution-operator bound is most int…
▽ More
We consider Helmholtz problems with a perturbed wave speed, where the single-signed perturbation is governed by a parameter $z$. Both the wave speed and the perturbation are allowed to be discontinuous (modelling a penetrable obstacle). We show that, for any frequency, for most values of $z$, the solution operator is polynomially bounded in the frequency.
This solution-operator bound is most interesting for Helmholtz problems with strong trap**; recall that here there exist a sequence of real frequencies, tending to infinity, through which the solution operator grows superalgebraically, with these frequencies often called $\textit{quasi-resonances}$. The result of this paper then shows that, at every quasi-resonance, the superalgebraic growth of the solution operator does not occur for most single-signed perturbations of the wave speed, i.e., quasi-resonances are unstable under most such perturbations.
△ Less
Submitted 13 February, 2024; v1 submitted 1 February, 2024;
originally announced February 2024.
-
The Morse index theorem for mechanical systems with reflections
Authors:
Jared Wunsch,
Mengxuan Yang,
Yuzhou Zou
Abstract:
We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.
We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.
△ Less
Submitted 14 November, 2023; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Propagation for Schrödinger operators with potentials singular along a hypersurface
Authors:
Jeffrey Galkowski,
Jared Wunsch
Abstract:
In this article, we study propagation of defect measures for Schrödinger operators, $-h^2Δ_g+V$, on a Riemannian manifold $(M,g)$ of dimension $n$ with $V$ having conormal singularities along a hypersurface $Y$ in the sense that derivatives along vector fields tangent to $Y$ preserve the regularity of $V$. We show that the standard propagation theorem holds for bicharacteristics travelling transve…
▽ More
In this article, we study propagation of defect measures for Schrödinger operators, $-h^2Δ_g+V$, on a Riemannian manifold $(M,g)$ of dimension $n$ with $V$ having conormal singularities along a hypersurface $Y$ in the sense that derivatives along vector fields tangent to $Y$ preserve the regularity of $V$. We show that the standard propagation theorem holds for bicharacteristics travelling transversally to the surface $Y$ whenever the potential is absolutely continuous. Furthermore, even when bicharacteristics are tangent to $Y$ at exactly first order, as long as the potential has an absolutely continuous first derivative, standard propagation continues to hold.
△ Less
Submitted 7 February, 2024; v1 submitted 16 February, 2023;
originally announced February 2023.
-
Wave propagation on rotating cosmic string spacetimes
Authors:
Katrina Morgan,
Jared Wunsch
Abstract:
A rotating cosmic string spacetime has a singularity along a timelike curve corresponding to a one-dimensional source of angular momentum. Such spacetimes are not globally hyperbolic: they admit closed timelike curves near the string. This presents challenges to studying the existence of solutions to the wave equation via conventional energy methods. In this work, we show that semi-global forward…
▽ More
A rotating cosmic string spacetime has a singularity along a timelike curve corresponding to a one-dimensional source of angular momentum. Such spacetimes are not globally hyperbolic: they admit closed timelike curves near the string. This presents challenges to studying the existence of solutions to the wave equation via conventional energy methods. In this work, we show that semi-global forward solutions to the wave equation do nonetheless exist, but only in a microlocal sense. The main ingredient in this existence theorem is a propagation of singularities theorem that relates energy entering the string to energy leaving the string. The propagation theorem is localized in the fibers of a certain fibration of the blown-up string, but global in time, which means that energy entering the string at one time may emerge previously.
△ Less
Submitted 22 December, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
Newton polygons and resonances of multiple delta-potentials
Authors:
Kiril Datchev,
Jeremy L. Marzuola,
Jared Wunsch
Abstract:
We prove explicit asymptotics for the location of semiclassical scattering resonances in the setting of $h$-dependent delta-function potentials on $\mathbb{R}$. In the cases of two or three delta poles, we are able to show that resonances occur along specific lines of the form $\Im z \sim -γh \log(1/h).$ More generally, we use the method of Newton polygons to show that resonances near the real axi…
▽ More
We prove explicit asymptotics for the location of semiclassical scattering resonances in the setting of $h$-dependent delta-function potentials on $\mathbb{R}$. In the cases of two or three delta poles, we are able to show that resonances occur along specific lines of the form $\Im z \sim -γh \log(1/h).$ More generally, we use the method of Newton polygons to show that resonances near the real axis may only occur along a finite collection of such lines, and we bound the possible number of values of the parameter $γ.$ We present numerical evidence of the existence of more and more possible values of $γ$ for larger numbers of delta poles.
△ Less
Submitted 24 August, 2023; v1 submitted 16 August, 2022;
originally announced August 2022.
-
The $hp$-FEM applied to the Helmholtz equation with PML truncation does not suffer from the pollution effect
Authors:
Jeffrey Galkowski,
David Lafontaine,
Euan A. Spence,
Jared Wunsch
Abstract:
We consider approximation of the variable-coefficient Helmholtz equation in the exterior of a Dirichlet obstacle using perfectly-matched-layer (PML) truncation; it is well known that this approximation is exponentially accurate in the PML width and the scaling angle, and the approximation was recently proved to be exponentially accurate in the wavenumber $k$ in [Galkowski, Lafontaine, Spence, 2021…
▽ More
We consider approximation of the variable-coefficient Helmholtz equation in the exterior of a Dirichlet obstacle using perfectly-matched-layer (PML) truncation; it is well known that this approximation is exponentially accurate in the PML width and the scaling angle, and the approximation was recently proved to be exponentially accurate in the wavenumber $k$ in [Galkowski, Lafontaine, Spence, 2021].
We show that the $hp$-FEM applied to this problem does not suffer from the pollution effect, in that there exist $C_1,C_2>0$ such that if $hk/p\leq C_1$ and $p \geq C_2 \log k$ then the Galerkin solutions are quasioptimal (with constant independent of $k$), under the following two conditions (i) the solution operator of the original Helmholtz problem is polynomially bounded in $k$ (which occurs for "most" $k$ by [Lafontaine, Spence, Wunsch, 2021]), and (ii) either there is no obstacle and the coefficients are smooth or the obstacle is analytic and the coefficients are analytic in a neighbourhood of the obstacle and smooth elsewhere.
This $hp$-FEM result is obtained via a decomposition of the PML solution into "high-" and "low-frequency" components, analogous to the decomposition for the original Helmholtz solution recently proved in [Galkowski, Lafontaine, Spence, Wunsch, 2022]. The decomposition is obtained using tools from semiclassical analysis (i.e., the PDE techniques specifically designed for studying Helmholtz problems with large $k$).
△ Less
Submitted 18 January, 2024; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Wavenumber-explicit parametric holomorphy of Helmholtz solutions in the context of uncertainty quantification
Authors:
Euan A. Spence,
Jared Wunsch
Abstract:
A crucial role in the theory of uncertainty quantification (UQ) of PDEs is played by the regularity of the solution with respect to the stochastic parameters; indeed, a key property one seeks to establish is that the solution is holomorphic with respect to (the complex extensions of) the parameters. In the context of UQ for the high-frequency Helmholtz equation, a natural question is therefore: ho…
▽ More
A crucial role in the theory of uncertainty quantification (UQ) of PDEs is played by the regularity of the solution with respect to the stochastic parameters; indeed, a key property one seeks to establish is that the solution is holomorphic with respect to (the complex extensions of) the parameters. In the context of UQ for the high-frequency Helmholtz equation, a natural question is therefore: how does this parametric holomorphy depend on the wavenumber $k$?
The recent paper [Ganesh, Kuo, Sloan 2021] showed for a particular nontrap** variable-coefficient Helmholtz problem with affine dependence of the coefficients on the stochastic parameters that the solution operator can be analytically continued a distance $\sim k^{-1}$ into the complex plane.
In this paper, we generalise the result in [Ganesh, Kuo, Sloan 2021] about $k$-explicit parametric holomorphy to a much wider class of Helmholtz problems with arbitrary (holomorphic) dependence on the stochastic parameters; we show that in all cases the region of parametric holomorphy decreases with $k$, and show how the rate of decrease with $k$ is dictated by whether the unperturbed Helmholtz problem is trap** or nontrap**. We then give examples of both trap** and nontrap** problems where these bounds on the rate of decrease with $k$ of the region of parametric holomorphy are sharp, with the trap** examples coming from the recent results of [Galkowski, Marchand, Spence 2021].
An immediate implication of these results is that the $k$-dependent restrictions imposed on the randomness in the analysis of quasi-Monte Carlo (QMC) methods in [Ganesh, Kuo, Sloan 2021] arise from a genuine feature of the Helmholtz equation with $k$ large (and not, for example, a suboptimal bound).
△ Less
Submitted 20 September, 2022; v1 submitted 19 March, 2022;
originally announced March 2022.
-
Mode solutions to the wave equation on a rotating cosmic string background
Authors:
Katrina Morgan,
Jared Wunsch
Abstract:
A static rotating cosmic string metric is singular along a timelike line and fails to be globally hyperbolic; these features make it difficult to solve the wave equation by conventional energy methods. Working on a single angular mode at a time, we use microlocal methods to construct forward parametrices for wave and Klein--Gordon equations on such backgrounds.
A static rotating cosmic string metric is singular along a timelike line and fails to be globally hyperbolic; these features make it difficult to solve the wave equation by conventional energy methods. Working on a single angular mode at a time, we use microlocal methods to construct forward parametrices for wave and Klein--Gordon equations on such backgrounds.
△ Less
Submitted 26 April, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Generalized Price's law on fractional-order asymptotically flat stationary spacetimes
Authors:
Katrina Morgan,
Jared Wunsch
Abstract:
We obtain estimates on the rate of decay of a solution to the wave equation on a stationary spacetime that tends to Minkowski space at a rate $O(\lvert x \rvert^{-κ}),$ $κ\in (1,\infty) \backslash \mathbb{N}.$ Given suitably smooth and decaying initial data, we show a wave locally enjoys the decay rate $O(t^{-κ-2+ε})$.
We obtain estimates on the rate of decay of a solution to the wave equation on a stationary spacetime that tends to Minkowski space at a rate $O(\lvert x \rvert^{-κ}),$ $κ\in (1,\infty) \backslash \mathbb{N}.$ Given suitably smooth and decaying initial data, we show a wave locally enjoys the decay rate $O(t^{-κ-2+ε})$.
△ Less
Submitted 21 December, 2021; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Decompositions of high-frequency Helmholtz solutions via functional calculus, and application to the finite element method
Authors:
Jeffrey Galkowski,
David Lafontaine,
Euan A. Spence,
Jared Wunsch
Abstract:
Over the last ten years, results from [Melenk-Sauter, 2010], [Melenk-Sauter, 2011], [Esterhazy-Melenk, 2012], and [Melenk-Parsania-Sauter, 2013] decomposing high-frequency Helmholtz solutions into "low"- and "high"-frequency components have had a large impact in the numerical analysis of the Helmholtz equation. These results have been proved for the constant-coefficient Helmholtz equation in eithe…
▽ More
Over the last ten years, results from [Melenk-Sauter, 2010], [Melenk-Sauter, 2011], [Esterhazy-Melenk, 2012], and [Melenk-Parsania-Sauter, 2013] decomposing high-frequency Helmholtz solutions into "low"- and "high"-frequency components have had a large impact in the numerical analysis of the Helmholtz equation. These results have been proved for the constant-coefficient Helmholtz equation in either the exterior of a Dirichlet obstacle or an interior domain with an impedance boundary condition.
Using the Helffer-Sjöstrand functional calculus, this paper proves analogous decompositions for scattering problems fitting into the black-box scattering framework of Sjöstrand-Zworski, thus covering Helmholtz problems with variable coefficients, impenetrable obstacles, and penetrable obstacles all at once.
These results allow us to prove new frequency-explicit convergence results for (i) the $hp$-finite-element method applied to the variable coefficient Helmholtz equation in the exterior of a Dirichlet obstacle, when the obstacle and coefficients are analytic, and (ii) the $h$-finite-element method applied to the Helmholtz penetrable-obstacle transmission problem. In particular, the result in (i) shows that the $hp$-FEM applied to this problem does not suffer from the pollution effect.
△ Less
Submitted 1 August, 2022; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Diffraction for the Dirac-Coulomb propagator
Authors:
Dean Baskin,
Jared Wunsch
Abstract:
The Dirac equation in $\mathbb{R}^{1,3}$ with potential Z/r is a relativistic field equation modeling the hydrogen atom. We analyze the singularity structure of the propagator for this equation, showing that the singularities of the Schwartz kernel of the propagator are along an expanding spherical wave away from rays that miss the potential singularity at the origin, but also may include an addit…
▽ More
The Dirac equation in $\mathbb{R}^{1,3}$ with potential Z/r is a relativistic field equation modeling the hydrogen atom. We analyze the singularity structure of the propagator for this equation, showing that the singularities of the Schwartz kernel of the propagator are along an expanding spherical wave away from rays that miss the potential singularity at the origin, but also may include an additional spherical wave of diffracted singularities emanating from the origin. This diffracted wavefront is 1-0 derivatives smoother than the main singularities and is a conormal singularity.
△ Less
Submitted 1 December, 2020; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Wavenumber-explicit convergence of the $hp$-FEM for the full-space heterogeneous Helmholtz equation with smooth coefficients
Authors:
David Lafontaine,
Euan A. Spence,
Jared Wunsch
Abstract:
A convergence theory for the $hp$-FEM applied to a variety of constant-coefficient Helmholtz problems was pioneered in the papers [Melenk-Sauter, 2010], [Melenk-Sauter, 2011], [Esterhazy-Melenk, 2012], [Melenk-Parsania-Sauter, 2013]. This theory shows that, if the solution operator is bounded polynomially in the wavenumber $k$, then the Galerkin method is quasioptimal provided that…
▽ More
A convergence theory for the $hp$-FEM applied to a variety of constant-coefficient Helmholtz problems was pioneered in the papers [Melenk-Sauter, 2010], [Melenk-Sauter, 2011], [Esterhazy-Melenk, 2012], [Melenk-Parsania-Sauter, 2013]. This theory shows that, if the solution operator is bounded polynomially in the wavenumber $k$, then the Galerkin method is quasioptimal provided that $hk/p \leq C_1$ and $p\geq C_2 \log k$, where $C_1$ is sufficiently small, $C_2$ is sufficiently large, and both are independent of $k,h,$ and $p$. The significance of this result is that if $hk/p= C_1$ and $p=C_2\log k$, then quasioptimality is achieved with the total number of degrees of freedom proportional to $k^d$; i.e., the $hp$-FEM does not suffer from the pollution effect. This paper proves the analogous quasioptimality result for the heterogeneous (i.e. variable-coefficient) Helmholtz equation, posed in $\mathbb{R}^d$, $d=2,3$, with the Sommerfeld radiation condition at infinity, and $C^\infty$ coefficients. We also prove a bound on the relative error of the Galerkin solution in the particular case of the plane-wave scattering problem. These are the first ever results on the wavenumber-explicit convergence of the $hp$-FEM for the Helmholtz equation with variable coefficients.
△ Less
Submitted 5 March, 2022; v1 submitted 1 October, 2020;
originally announced October 2020.
-
Caustics of weakly Lagrangian distributions
Authors:
Sean Gomes,
Jared Wunsch
Abstract:
We study semiclassical sequences of distributions $u_h$ associated to a Lagrangian submanifold of phase space $\lag \subset T^*X$. If $u_h$ is a semiclassical Lagrangian distribution, which concentrates at a maximal rate on $\lag,$ then the asymptotics of $u_h$ are well-understood by work of Arnol'd, provided $\lag$ projects to $X$ with a stable Lagrangian singularity. We establish sup-norm estima…
▽ More
We study semiclassical sequences of distributions $u_h$ associated to a Lagrangian submanifold of phase space $\lag \subset T^*X$. If $u_h$ is a semiclassical Lagrangian distribution, which concentrates at a maximal rate on $\lag,$ then the asymptotics of $u_h$ are well-understood by work of Arnol'd, provided $\lag$ projects to $X$ with a stable Lagrangian singularity. We establish sup-norm estimates on $u_h$ under much more general hypotheses on the rate at which it is concentrating on $\lag$ (again assuming a stable projection). These estimates apply to sequences of eigenfunctions of integrable and KAM Hamiltonians.
△ Less
Submitted 19 September, 2021; v1 submitted 28 January, 2020;
originally announced January 2020.
-
A sharp relative-error bound for the Helmholtz $h$-FEM at high frequency
Authors:
David Lafontaine,
Euan A. Spence,
Jared Wunsch
Abstract:
For the $h$-finite-element method ($h$-FEM) applied to the Helmholtz equation, the question of how quickly the meshwidth $h$ must decrease with the frequency $k$ to maintain accuracy as $k$ increases has been studied since the mid 80's. Nevertheless, there still do not exist in the literature any $k$-explicit bounds on the relative error of the FEM solution (the measure of the FEM error most often…
▽ More
For the $h$-finite-element method ($h$-FEM) applied to the Helmholtz equation, the question of how quickly the meshwidth $h$ must decrease with the frequency $k$ to maintain accuracy as $k$ increases has been studied since the mid 80's. Nevertheless, there still do not exist in the literature any $k$-explicit bounds on the relative error of the FEM solution (the measure of the FEM error most often used in practical applications), apart from in one dimension. The main result of this paper is the sharp result that, for the lowest fixed-order conforming FEM (with polynomial degree, $p$, equal to one), the condition "$h^2 k^3$ sufficiently small" is sufficient for the relative error of the FEM solution in 2 or 3 dimensions to be controllably small (independent of $k$) for scattering of a plane wave by a nontrap** obstacle and/or a nontrap** inhomogeneous medium. We also prove relative-error bounds on the FEM solution for arbitrary fixed-order methods applied to scattering by a nontrap** obstacle, but these bounds are not sharp for $p\geq 2$. A key ingredient in our proofs is a result describing the oscillatory behaviour of the solution of the plane-wave scattering problem, which we prove using semiclassical defect measures.
△ Less
Submitted 4 November, 2021; v1 submitted 25 November, 2019;
originally announced November 2019.
-
For most frequencies, strong trap** has a weak effect in frequency-domain scattering
Authors:
David Lafontaine,
Euan A. Spence,
Jared Wunsch
Abstract:
It is well known that when the geometry and/or coefficients allow stable trapped rays, the outgoing solution operator of the Helmholtz equation (a.k.a. the resolvent of the Laplacian) grows exponentially through a sequence of real frequencies tending to infinity.
In this paper we show that, even in the presence of the strongest-possible trap**, if a set of frequencies of arbitrarily small meas…
▽ More
It is well known that when the geometry and/or coefficients allow stable trapped rays, the outgoing solution operator of the Helmholtz equation (a.k.a. the resolvent of the Laplacian) grows exponentially through a sequence of real frequencies tending to infinity.
In this paper we show that, even in the presence of the strongest-possible trap**, if a set of frequencies of arbitrarily small measure is excluded, the Helmholtz solution operator grows at most polynomially as the frequency tends to infinity.
One significant application of this result is in the convergence analysis of several numerical methods for solving the Helmholtz equation at high frequency that are based on a polynomial-growth assumption on the solution operator (e.g. $hp$-finite elements, $hp$-boundary elements, certain multiscale methods). The result of this paper shows that this assumption holds, even in the presence of the strongest-possible trap**, for most frequencies.
△ Less
Submitted 31 March, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
Optimal constants in nontrap** resolvent estimates and applications in numerical analysis
Authors:
Jeffrey Galkowski,
Euan A. Spence,
Jared Wunsch
Abstract:
We study the resolvent for nontrap** obstacles on manifolds with Euclidean ends. It is well known that for such manifolds, the outgoing resolvent satisfies $\|χR(k) χ\|_{L^2\to L^2}\leq C{k}^{-1}$ for ${k}>1$, but the constant $C$ has been little studied. We show that, for high frequencies, the constant is bounded above by $2/π$ times the length of the longest generalized bicharacteristic of…
▽ More
We study the resolvent for nontrap** obstacles on manifolds with Euclidean ends. It is well known that for such manifolds, the outgoing resolvent satisfies $\|χR(k) χ\|_{L^2\to L^2}\leq C{k}^{-1}$ for ${k}>1$, but the constant $C$ has been little studied. We show that, for high frequencies, the constant is bounded above by $2/π$ times the length of the longest generalized bicharacteristic of $|ξ|_g^2-1$ remaining in the support of $χ.$ We show that this estimate is optimal in the case of manifolds without boundary. We then explore the implications of this result for the numerical analysis of the Helmholtz equation.
△ Less
Submitted 28 October, 2019; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Resonance-free regions for diffractive trap** by conormal potentials
Authors:
Oran Gannot,
Jared Wunsch
Abstract:
We consider the Schrödinger operator \[ P=h^2 Δ_g + V \] on $\mathbb{R}^n$ equipped with a metric $g$ that is Euclidean outside a compact set. The real-valued potential $V$ is assumed to be compactly supported and smooth except at conormal singularities of order $-1-α$ along a compact hypersurface $Y.$ For $α>2$ (or even $α>1$ if the classical flow is unique), we show that if $E_0$ is a non-trappi…
▽ More
We consider the Schrödinger operator \[ P=h^2 Δ_g + V \] on $\mathbb{R}^n$ equipped with a metric $g$ that is Euclidean outside a compact set. The real-valued potential $V$ is assumed to be compactly supported and smooth except at conormal singularities of order $-1-α$ along a compact hypersurface $Y.$ For $α>2$ (or even $α>1$ if the classical flow is unique), we show that if $E_0$ is a non-trap** energy for the classical flow, then the operator $P$ has no resonances in a region \[
[E_0 - δ, E_0 + δ] - i[0,ν_0 h \log(1/h)].
\] The constant $ν_0$ is explicit in terms of $α$ and dynamical quantities. We also show that the size of this resonance-free region is optimal for the class of piecewise-smooth potentials on the line.
△ Less
Submitted 25 October, 2019; v1 submitted 9 September, 2018;
originally announced September 2018.
-
On non-diffractive cones
Authors:
Jeffrey Galkowski,
Jared Wunsch
Abstract:
A subject of recent interest in inverse problems is whether a corner must diffract fixed frequency waves. We generalize this question somewhat and study cones $[0,\infty)\times Y$ which do not diffract high frequency waves. We prove that if $Y$ is analytic and does not diffract waves at high frequency then every geodesic on $Y$ is closed with period $2π$. Moreover, we show that if $\dim Y=2$, then…
▽ More
A subject of recent interest in inverse problems is whether a corner must diffract fixed frequency waves. We generalize this question somewhat and study cones $[0,\infty)\times Y$ which do not diffract high frequency waves. We prove that if $Y$ is analytic and does not diffract waves at high frequency then every geodesic on $Y$ is closed with period $2π$. Moreover, we show that if $\dim Y=2$, then $Y$ is isometric to either the sphere of radius 1 or its $\mathbb{Z}^2$ quotient, $\mathbb{R}\mathbb{P}^2$.
△ Less
Submitted 7 October, 2019; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Semiclassical diffraction by conormal potential singularities
Authors:
Oran Gannot,
Jared Wunsch
Abstract:
We establish propagation of singularities for the semiclassical Schrödinger equation, where the potential is conormal to a hypersurface. We show that semiclassical wavefront set propagates along generalized broken bicharacteristics, hence reflection of singularities may occur along trajectories reaching the hypersurface transversely. The reflected wavefront set is weaker, however, by a power of…
▽ More
We establish propagation of singularities for the semiclassical Schrödinger equation, where the potential is conormal to a hypersurface. We show that semiclassical wavefront set propagates along generalized broken bicharacteristics, hence reflection of singularities may occur along trajectories reaching the hypersurface transversely. The reflected wavefront set is weaker, however, by a power of $h$ that depends on the regularity of the potential. We also show that for sufficiently regular potentials, wavefront set may not stick to the hypersurface, but rather detaches from it at points of tangency to travel along ordinary bicharacteristics.
△ Less
Submitted 7 April, 2021; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Refined Weyl law for homogeneous perturbations of the harmonic oscillator
Authors:
Moritz Doll,
Oran Gannot,
Jared Wunsch
Abstract:
Let $H$ denote the harmonic oscillator Hamiltonian on $\mathbb{R}^d,$ perturbed by an isotropic pseudodifferential operator of order $1.$ We consider the Schrödinger propagator $U(t)=e^{-itH},$ and find that while $\operatorname{singsupp} \operatorname{Tr} U(t) \subset 2 π\mathbb{Z}$ as in the unperturbed case, there exists a large class of perturbations in dimension $d \geq 2$ for which the singu…
▽ More
Let $H$ denote the harmonic oscillator Hamiltonian on $\mathbb{R}^d,$ perturbed by an isotropic pseudodifferential operator of order $1.$ We consider the Schrödinger propagator $U(t)=e^{-itH},$ and find that while $\operatorname{singsupp} \operatorname{Tr} U(t) \subset 2 π\mathbb{Z}$ as in the unperturbed case, there exists a large class of perturbations in dimension $d \geq 2$ for which the singularities of $\operatorname{Tr} U(t)$ at nonzero multiples of $2 π$ are weaker than the singularity at $t=0$. The remainder term in the Weyl law is of order $o(λ^{d-1})$, improving in these cases the $O(λ^{d-1})$ remainder previously established by Helffer--Robert.
△ Less
Submitted 18 September, 2017; v1 submitted 22 August, 2017;
originally announced August 2017.
-
On resonances generated by conic diffraction
Authors:
Luc Hillairet,
Jared Wunsch
Abstract:
We describe the resonances closest to the real axis generated by diffraction of waves among cone points on a manifold with Euclidean ends. These resonances lie asymptotically evenly spaced along a curve of the form $$\frac{\Im λ}{\log \left |\Re
λ\right |}= -ν;$$ here $ν=(n-1)/2 L_0$ where $n$ is the dimension and $L_0$ is the length of the longest geodesic connecting two cone points. Moreover t…
▽ More
We describe the resonances closest to the real axis generated by diffraction of waves among cone points on a manifold with Euclidean ends. These resonances lie asymptotically evenly spaced along a curve of the form $$\frac{\Im λ}{\log \left |\Re
λ\right |}= -ν;$$ here $ν=(n-1)/2 L_0$ where $n$ is the dimension and $L_0$ is the length of the longest geodesic connecting two cone points. Moreover there are asymptotically no resonances below this curve and above the curve $$ \frac{\Im λ}{\log \left |\Re
λ\right |}= -Λ$$ for a fixed $Λ>ν.$
△ Less
Submitted 29 June, 2020; v1 submitted 23 June, 2017;
originally announced June 2017.
-
Diffractive Propagation on Conic Manifolds
Authors:
Jared Wunsch
Abstract:
In this survey, we review some applications and extensions of the author's results with Richard Melrose on propagation of singularities for solutions to the wave equation on manifolds with conical singularities. These results mainly concern: the local decay of energy on noncompact manifolds with diffractive trapped orbits (joint work with Dean Baskin); singularities of the wave trace created by di…
▽ More
In this survey, we review some applications and extensions of the author's results with Richard Melrose on propagation of singularities for solutions to the wave equation on manifolds with conical singularities. These results mainly concern: the local decay of energy on noncompact manifolds with diffractive trapped orbits (joint work with Dean Baskin); singularities of the wave trace created by diffractive closed geodesics (joint work with G. Austin Ford); and the distribution of scattering resonances associated to such closed geodesics (joint work with Luc Hillairet).
△ Less
Submitted 2 May, 2016;
originally announced May 2016.
-
Asymptotics of scalar waves on long-range asymptotically Minkowski spaces
Authors:
Dean Baskin,
Andras Vasy,
Jared Wunsch
Abstract:
We show the existence of the full compound asymptotics of solutions to the scalar wave equation on long-range non-trap** Lorentzian manifolds modeled on the radial compactification of Minkowski space. In particular, we show that there is a joint asymptotic expansion at null and timelike infinity for forward solutions of the inhomogeneous equation. In two appendices we show how these results appl…
▽ More
We show the existence of the full compound asymptotics of solutions to the scalar wave equation on long-range non-trap** Lorentzian manifolds modeled on the radial compactification of Minkowski space. In particular, we show that there is a joint asymptotic expansion at null and timelike infinity for forward solutions of the inhomogeneous equation. In two appendices we show how these results apply to certain spacetimes whose null infinity is modeled on that of the Kerr family. In these cases the leading order logarithmic term in our asymptotic expansions at null infinity is shown to be nonzero.
△ Less
Submitted 8 January, 2018; v1 submitted 15 February, 2016;
originally announced February 2016.
-
Periodic dam** gives polynomial energy decay
Authors:
Jared Wunsch
Abstract:
Let $u$ solve the damped Klein--Gordon equation $$ \big( \partial_t^2-\sum \partial_{x_j}^2 +m \text{Id} +γ(x) \partial_t \big) u=0 $$ on $\mathbb{R}^n$ with $m>0$ and $γ\geq 0$ bounded below on a $2 π\mathbb{Z}^n$-invariant open set by a positive constant. We show that the energy of the solution $u$ decays at a polynomial rate. This is proved via a periodic observability estimate on…
▽ More
Let $u$ solve the damped Klein--Gordon equation $$ \big( \partial_t^2-\sum \partial_{x_j}^2 +m \text{Id} +γ(x) \partial_t \big) u=0 $$ on $\mathbb{R}^n$ with $m>0$ and $γ\geq 0$ bounded below on a $2 π\mathbb{Z}^n$-invariant open set by a positive constant. We show that the energy of the solution $u$ decays at a polynomial rate. This is proved via a periodic observability estimate on $\mathbb{R}^n.$
△ Less
Submitted 19 August, 2016; v1 submitted 19 November, 2015;
originally announced November 2015.
-
Sharp high-frequency estimates for the Helmholtz equation and applications to boundary integral equations
Authors:
Dean Baskin,
Euan Spence,
Jared Wunsch
Abstract:
We consider three problems for the Helmholtz equation in interior and exterior domains in R^d (d=2,3): the exterior Dirichlet-to-Neumann and Neumann-to-Dirichlet problems for outgoing solutions, and the interior impedance problem. We derive sharp estimates for solutions to these problems that, in combination, give bounds on the inverses of the combined-field boundary integral operators for exterio…
▽ More
We consider three problems for the Helmholtz equation in interior and exterior domains in R^d (d=2,3): the exterior Dirichlet-to-Neumann and Neumann-to-Dirichlet problems for outgoing solutions, and the interior impedance problem. We derive sharp estimates for solutions to these problems that, in combination, give bounds on the inverses of the combined-field boundary integral operators for exterior Helmholtz problems.
△ Less
Submitted 6 October, 2015; v1 submitted 4 April, 2015;
originally announced April 2015.
-
The diffractive wave trace on manifolds with conic singularities
Authors:
G. Austin Ford,
Jared Wunsch
Abstract:
Let $(X,g)$ be a compact manifold with conic singularities. Taking $Δ_g$ to be the Friedrichs extension of the Laplace-Beltrami operator, we examine the singularities of the trace of the half-wave group $e^{- i t \sqrt{ \smash[b]{Δ_g}}}$ arising from strictly diffractive closed geodesics. Under a generic nonconjugacy assumption, we compute the principal amplitude of these singularities in terms of…
▽ More
Let $(X,g)$ be a compact manifold with conic singularities. Taking $Δ_g$ to be the Friedrichs extension of the Laplace-Beltrami operator, we examine the singularities of the trace of the half-wave group $e^{- i t \sqrt{ \smash[b]{Δ_g}}}$ arising from strictly diffractive closed geodesics. Under a generic nonconjugacy assumption, we compute the principal amplitude of these singularities in terms of invariants associated to the geodesic and data from the cone point. This generalizes the classical theorem of Duistermaat-Guillemin on smooth manifolds and a theorem of Hillairet on flat surfaces with cone points.
△ Less
Submitted 3 May, 2016; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Asymptotics of radiation fields in asymptotically Minkowski space
Authors:
Dean Baskin,
András Vasy,
Jared Wunsch
Abstract:
We consider a non-trap** $n$-dimensional Lorentzian manifold endowed with an end structure modeled on the radial compactification of Minkowski space. We find a full asymptotic expansion for tempered forward solutions of the wave equation in all asymptotic regimes. The rates of decay seen in the asymptotic expansion are related to the resonances of a natural asymptotically hyperbolic problem on t…
▽ More
We consider a non-trap** $n$-dimensional Lorentzian manifold endowed with an end structure modeled on the radial compactification of Minkowski space. We find a full asymptotic expansion for tempered forward solutions of the wave equation in all asymptotic regimes. The rates of decay seen in the asymptotic expansion are related to the resonances of a natural asymptotically hyperbolic problem on the "northern cap" of the compactification. For small perturbations of Minkowski space that fit into our framework, we show a rate of decay that improves on the Klainerman--Sobolev estimates.
△ Less
Submitted 29 June, 2014; v1 submitted 20 December, 2012;
originally announced December 2012.
-
Strichartz estimates on exterior polygonal domains
Authors:
Dean Baskin,
Jeremy L. Marzuola,
Jared Wunsch
Abstract:
Using a new local smoothing estimate of the first and third authors, we prove local-in-time Strichartz and smoothing estimates without a loss exterior to a large class of polygonal obstacles with arbitrary boundary conditions and global-in-time Strichartz estimates without a loss exterior to a large class of polygonal obstacles with Dirichlet boundary conditions. In addition, we prove a global-in-…
▽ More
Using a new local smoothing estimate of the first and third authors, we prove local-in-time Strichartz and smoothing estimates without a loss exterior to a large class of polygonal obstacles with arbitrary boundary conditions and global-in-time Strichartz estimates without a loss exterior to a large class of polygonal obstacles with Dirichlet boundary conditions. In addition, we prove a global-in-time local smoothing estimate in exterior wedge domains with Dirichlet boundary conditions and discuss some nonlinear applications.
△ Less
Submitted 19 April, 2013; v1 submitted 6 November, 2012;
originally announced November 2012.
-
Resolvent estimates and local decay of waves on conic manifolds
Authors:
Dean Baskin,
Jared Wunsch
Abstract:
We consider manifolds with conic singularites that are isometric to $\mathbb{R}^{n}$ outside a compact set. Under natural geometric assumptions on the cone points, we prove the existence of a logarithmic resonance-free region for the cut-off resolvent. The estimate also applies to the exterior domains of non-trap** polygons via a doubling process. The proof of the resolvent estimate relies on th…
▽ More
We consider manifolds with conic singularites that are isometric to $\mathbb{R}^{n}$ outside a compact set. Under natural geometric assumptions on the cone points, we prove the existence of a logarithmic resonance-free region for the cut-off resolvent. The estimate also applies to the exterior domains of non-trap** polygons via a doubling process. The proof of the resolvent estimate relies on the propagation of singularities theorems of Melrose and the second author to establish a "very weak" Huygens' principle, which may be of independent interest. As applications of the estimate, we obtain a exponential local energy decay and a resonance wave expansion in odd dimensions, as well as a lossless local smoothing estimate for the Schr{ö}dinger equation.
△ Less
Submitted 1 October, 2012; v1 submitted 21 September, 2012;
originally announced September 2012.
-
Resolvent estimates with mild trap**
Authors:
Jared Wunsch
Abstract:
We discuss recent progress in understanding the effects of certain trap** geometries on cut-off resolvent estimates, and thus on the qualititative behavior of linear evolution equations. We focus on trap** that is unstable, so that strong resolvent estimates hold on the real axis, and large resonance-free regions can be shown to exist beyond it.
We discuss recent progress in understanding the effects of certain trap** geometries on cut-off resolvent estimates, and thus on the qualititative behavior of linear evolution equations. We focus on trap** that is unstable, so that strong resolvent estimates hold on the real axis, and large resonance-free regions can be shown to exist beyond it.
△ Less
Submitted 4 September, 2012;
originally announced September 2012.
-
From resolvent estimates to damped waves
Authors:
Hans Christianson,
Emmanuel Schenck,
András Vasy,
Jared Wunsch
Abstract:
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 dam** 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…
▽ More
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 dam** 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.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Local smoothing for the Schrödinger equation with a prescribed loss
Authors:
Hans Christianson,
Jared Wunsch
Abstract:
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 r…
▽ More
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.
△ Less
Submitted 27 January, 2012; v1 submitted 20 March, 2011;
originally announced March 2011.
-
Morawetz estimates for the wave equation at low frequency
Authors:
András Vasy,
Jared Wunsch
Abstract:
We consider Morawetz estimates for weighted energy decay of solutions to the wave equation on scattering manifolds (i.e., those with large conic ends). We show that a Morawetz estimate persists for solutions that are localized at low frequencies, independent of the geometry of the compact part of the manifold. We further prove a new type of Morawetz estimate in this context, with both hypotheses a…
▽ More
We consider Morawetz estimates for weighted energy decay of solutions to the wave equation on scattering manifolds (i.e., those with large conic ends). We show that a Morawetz estimate persists for solutions that are localized at low frequencies, independent of the geometry of the compact part of the manifold. We further prove a new type of Morawetz estimate in this context, with both hypotheses and conclusion localized inside the forward light cone. This result allows us to gain a 1/2 power of $t$ decay relative to what would be dictated by energy estimates, in a small part of spacetime.
△ Less
Submitted 10 December, 2011; v1 submitted 3 November, 2010;
originally announced November 2010.
-
Non-concentration of quasimodes for integrable systems
Authors:
Jared Wunsch
Abstract:
We consider the possible concentration in phase space of a sequence of eigenfunctions (or, more generally, a quasimode) of an operator whose principal symbol has completely integrable Hamilton flow. The semiclassical wavefront set $WF_h$ of such a sequence is invariant under the Hamilton flow. In principle this may allow concentration of $WF_h$ along positive codimension sub-tori of a Liouville to…
▽ More
We consider the possible concentration in phase space of a sequence of eigenfunctions (or, more generally, a quasimode) of an operator whose principal symbol has completely integrable Hamilton flow. The semiclassical wavefront set $WF_h$ of such a sequence is invariant under the Hamilton flow. In principle this may allow concentration of $WF_h$ along positive codimension sub-tori of a Liouville torus $\mathcal{L}$ if there exist rational relations among the frequencies of the flow on $\mathcal{L}.$ We show that, subject to non-degeneracy hypotheses, this concentration may not in fact occur. The main tools are the spreading of Lagrangian regularity on $\mathcal{L}$ previously shown by Vasy and the author, and an analysis of higher order transport equations satisfied by the principal symbol of a Lagrangian quasimode.
△ Less
Submitted 25 September, 2011; v1 submitted 25 August, 2010;
originally announced August 2010.
-
HIFI spectroscopy of low-level water transitions in M82
Authors:
A. Weiss,
M. A. Requena-Torres,
R. Guesten,
S. Garcia-Burillo,
A. I. Harris,
F. P. Israel,
T. Klein,
C. Kramer,
S. Lord,
J. Martin-Pintado,
M. Roellig,
J. Stutzki,
R. Szczerba,
P. P. van der Werf,
S. Philipp-May,
H. Yorke,
M. Akyilmaz,
C. Gal,
R. Higgins,
A. Marston,
J. Roberts,
F. Schloeder,
M. Schultz,
D. Teyssier,
N. Whyborn
, et al. (1 additional authors not shown)
Abstract:
We present observations of the rotational ortho-water ground transition, the two lowest para-water transitions, and the ground transition of ionised ortho-water in the archetypal starburst galaxy M82, performed with the HIFI instrument on the Herschel Space Observatory. These observations are the first detections of the para-H2O(111-000) (1113\,GHz) and ortho-H2O+(111-000) (1115\,GHz) lines in an…
▽ More
We present observations of the rotational ortho-water ground transition, the two lowest para-water transitions, and the ground transition of ionised ortho-water in the archetypal starburst galaxy M82, performed with the HIFI instrument on the Herschel Space Observatory. These observations are the first detections of the para-H2O(111-000) (1113\,GHz) and ortho-H2O+(111-000) (1115\,GHz) lines in an extragalactic source. All three water lines show different spectral line profiles, underlining the need for high spectral resolution in interpreting line formation processes. Using the line shape of the para-H2O(111-000) and ortho-H2O+(111-000) absorption profile in conjunction with high spatial resolution CO observations, we show that the (ionised) water absorption arises from a ~2000 pc^2 region within the HIFI beam located about ~50 pc east of the dynamical centre of the galaxy. This region does not coincide with any of the known line emission peaks that have been identified in other molecular tracers, with the exception of HCO. Our data suggest that water and ionised water within this region have high (up to 75%) area-covering factors of the underlying continuum. This indicates that water is not associated with small, dense cores within the ISM of M82 but arises from a more widespread diffuse gas component.
△ Less
Submitted 7 July, 2010;
originally announced July 2010.
-
CHESS, Chemical Herschel surveys of star forming regions:Peering into the protostellar shock L1157-B1
Authors:
B. Lefloch,
S. Cabrit,
C. Codella,
G. Melnick,
J. Cernicharo,
E. Caux,
M. Benedettini,
A. Boogert,
P. Caselli,
C. Ceccarelli,
F. Gueth,
P. Hily-Blant,
A. Lorenzani,
D. Neufeld,
B. Nisini,
S. Pacheco,
L. Pagani,
J. R. Pardo,
B. Parise,
M. Salez,
K. Schuster,
S. Viti,
A. Bacmann,
A. Baudry,
T. Bell
, et al. (52 additional authors not shown)
Abstract:
The outflow driven by the low-mass class 0 protostar L1157 is the prototype of the so-called chemically active outflows. The bright bowshock B1 in the southern outflow lobe is a privileged testbed of magneto-hydrodynamical (MHD) shock models, for which dynamical and chemical processes are strongly interdependent. We present the first results of the unbiased spectral survey of the L1157-B1 bowshock…
▽ More
The outflow driven by the low-mass class 0 protostar L1157 is the prototype of the so-called chemically active outflows. The bright bowshock B1 in the southern outflow lobe is a privileged testbed of magneto-hydrodynamical (MHD) shock models, for which dynamical and chemical processes are strongly interdependent. We present the first results of the unbiased spectral survey of the L1157-B1 bowshock, obtained in the framework of the key program "Chemical Herschel Surveys of Star Forming Regions" (CHESS). The main aim is to trace the warm and chemically enriched gas and to infer the excitation conditions in the shock region. The CO 5-4 and H2O lines have been detected at high-spectral resolution in the unbiased spectral survey of the HIFI-Band 1b spectral window (555-636 GHz), presented by Codella et al. in this volume. Complementary ground-based observations in the submm window help establish the origin of the emission detected in the main-beam of HIFI, and the physical conditions in the shock.}{Both lines exhibit broad wings, which extend to velocities much higher than reported up to now. We find that the molecular emission arises from two regions with distinct physical conditions: an extended, warm (100K), dense (3e5 cm-3) component at low-velocity, which dominates the water line flux in Band~1; a secondary component in a small region of B1 (a few arcsec) associated with high-velocity, hot (> 400 K) gas of moderate density ((1.0-3.0)e4 cm-3), which appears to dominate the flux of the water line at 179mu observed with PACS. The water abundance is enhanced by two orders of magnitude between the low- and the high-velocity component, from 8e-7 up to 8e-5. The properties of the high-velocity component agree well with the predictions of steady-state C-shock models.
△ Less
Submitted 10 June, 2010; v1 submitted 7 June, 2010;
originally announced June 2010.
-
Resolvent estimates for normally hyperbolic trapped sets
Authors:
Jared Wunsch,
Maciej Zworski
Abstract:
We give pole free strips and estimates for resolvents of semiclassical operators which, on the level of the classical flow, have normally hyperbolic smooth trapped sets of codimension two in phase space. Such trapped sets are structurally stable and our motivation comes partly from considering the wave equation for Kerr black holes and their perturbations, whose trapped sets have precisely this st…
▽ More
We give pole free strips and estimates for resolvents of semiclassical operators which, on the level of the classical flow, have normally hyperbolic smooth trapped sets of codimension two in phase space. Such trapped sets are structurally stable and our motivation comes partly from considering the wave equation for Kerr black holes and their perturbations, whose trapped sets have precisely this structure. We give applications including local smoothing effects with epsilon derivative loss for the Schrödinger propagator as well as local energy decay results for the wave equation.
△ Less
Submitted 14 April, 2014; v1 submitted 24 March, 2010;
originally announced March 2010.
-
Positive commutators at the bottom of the spectrum
Authors:
Andras Vasy,
Jared Wunsch
Abstract:
Bony and Häfner have recently obtained positive commutator estimates on the Laplacian in the low-energy limit on asymptotically Euclidean spaces; these estimates can be used to prove local energy decay estimates if the metric is non-trap**. We simplify the proof of the estimates of Bony-Häfner and generalize them to the setting of scattering manifolds (i.e. manifolds with large conic ends), by…
▽ More
Bony and Häfner have recently obtained positive commutator estimates on the Laplacian in the low-energy limit on asymptotically Euclidean spaces; these estimates can be used to prove local energy decay estimates if the metric is non-trap**. We simplify the proof of the estimates of Bony-Häfner and generalize them to the setting of scattering manifolds (i.e. manifolds with large conic ends), by applying a sharp Poincaré inequality. Our main result is the positive commutator estimate $$ χ_I(H^2Δ_g)\frac{i}{2}[H^2Δ_g,A]χ_I(H^2Δ_g) \geq Cχ_I(H^2Δ_g)^2, $$ where $H\uparrow \infty$ is a \emph{large} parameter, $I$ is a compact interval in $(0,\infty),$ and $χ_I$ its indicator function, and where $A$ is a differential operator supported outside a compact set and equal to $(1/2)(r D_r +(r D_r)^*)$ near infinity. The Laplacian can also be modified by the addition of a positive potential of sufficiently rapid decay--the same estimate then holds for the resulting Schrödinger operator.
△ Less
Submitted 9 October, 2009; v1 submitted 24 September, 2009;
originally announced September 2009.
-
Diffraction of singularities for the wave equation on manifolds with corners
Authors:
Richard Melrose,
Andras Vasy,
Jared Wunsch
Abstract:
We consider the fundamental solution to the wave equation on a manifold with corners of arbitrary codimension. If the initial pole of the solution is appropriately situated, we show that the singularities which are diffracted by the corners (i.e., loosely speaking, are not propagated along limits of transversely reflected rays) are smoother than the main singularities of the solution. More general…
▽ More
We consider the fundamental solution to the wave equation on a manifold with corners of arbitrary codimension. If the initial pole of the solution is appropriately situated, we show that the singularities which are diffracted by the corners (i.e., loosely speaking, are not propagated along limits of transversely reflected rays) are smoother than the main singularities of the solution. More generally, we show that subject to a hypothesis of nonfocusing, diffracted wavefronts of any solution to the wave equation are smoother than the incident singularities. These results extend our previous work on edge manifolds to a situation where the fibers of the boundary fibration, obtained here by blowup of the corner in question, are themselves manifolds with corners.
△ Less
Submitted 5 May, 2011; v1 submitted 18 March, 2009;
originally announced March 2009.
-
Microlocal analysis and evolution equations
Authors:
Jared Wunsch
Abstract:
Lecture notes from 2008 CMI/ETH Summer School on Evolution Equations. These notes are an informal introduction to the applications of microlocal methods in the study of linear evolution equations and spectral theory. Calculi of pseudodifferential operators and Fourier integral operators are discussed and axiomatized, but not constructed: the focus is on how to apply these tools.
Lecture notes from 2008 CMI/ETH Summer School on Evolution Equations. These notes are an informal introduction to the applications of microlocal methods in the study of linear evolution equations and spectral theory. Calculi of pseudodifferential operators and Fourier integral operators are discussed and axiomatized, but not constructed: the focus is on how to apply these tools.
△ Less
Submitted 20 July, 2023; v1 submitted 16 December, 2008;
originally announced December 2008.
-
Semiclassical second microlocal propagation of regularity and integrable systems
Authors:
Andras Vasy,
Jared Wunsch
Abstract:
We develop a second-microlocal calculus of pseudodifferential operators in the semiclassical setting. These operators test for Lagrangian regularity of semiclassical families of distributions on a manifold $X$ with respect to a Lagrangian submanifold of $T^*X.$ The construction of the calculus, closely analogous to one performed by Bony in the setting of homogeneous Lagrangians, proceeds via the c…
▽ More
We develop a second-microlocal calculus of pseudodifferential operators in the semiclassical setting. These operators test for Lagrangian regularity of semiclassical families of distributions on a manifold $X$ with respect to a Lagrangian submanifold of $T^*X.$ The construction of the calculus, closely analogous to one performed by Bony in the setting of homogeneous Lagrangians, proceeds via the consideration of a model case, that of the zero section of $T^*\mathbb{R}^n,$ and conjugation by appropriate Fourier integral operators. We prove a propagation theorem for the associated wavefront set analogous to Hörmander's theorem for operators of real principal type.
As an application, we consider the propagation of Lagrangian regularity on invariant tori for quasimodes (e.g. eigenfunctions) of an operator with completely integrable classical hamiltonian. We prove a secondary propagation result for second wavefront set which implies that even in the (extreme) case of Lagrangian tori with all frequencies rational, provided a nondegeneracy assumption holds, Lagrangian regularity either spreads to fill out a whole torus or holds nowhere locally on it.
△ Less
Submitted 25 March, 2011; v1 submitted 6 January, 2008;
originally announced January 2008.
-
Propagation of singularities for the wave equation on edge manifolds
Authors:
Richard Melrose,
András Vasy,
Jared Wunsch
Abstract:
In this paper, we investigate the geometric propagation and diffraction of singularities of solutions to the wave equation on manifolds with edge singularities.
In this paper, we investigate the geometric propagation and diffraction of singularities of solutions to the wave equation on manifolds with edge singularities.
△ Less
Submitted 7 October, 2007; v1 submitted 24 December, 2006;
originally announced December 2006.
-
The semiclassical resolvent and the propagator for nontrap** scattering metrics
Authors:
Andrew Hassell,
Jared Wunsch
Abstract:
Consider a compact manifold with boundary $M$ with a scattering metric $g$ or, equivalently, an asymptotically conic manifold $(M^\circ, g)$. (Euclidean $\mathbb{R}^n$, with a compactly supported metric perturbation, is an example of such a space.) Let $Δ$ be the positive Laplacian on $(M,g)$, and $V$ a smooth potential on $M$ which decays to second order at infinity. In this paper we construct…
▽ More
Consider a compact manifold with boundary $M$ with a scattering metric $g$ or, equivalently, an asymptotically conic manifold $(M^\circ, g)$. (Euclidean $\mathbb{R}^n$, with a compactly supported metric perturbation, is an example of such a space.) Let $Δ$ be the positive Laplacian on $(M,g)$, and $V$ a smooth potential on $M$ which decays to second order at infinity. In this paper we construct the kernel of the operator $(h^2 Δ+ V - (λ_0 \pm i0)^2)^{-1}$, at a nontrap** energy $λ_0 > 0$, uniformly for $h \in (0, h_0)$, $h_0 > 0$ small, within a class of Legendre distributions on manifolds with codimension three corners. Using this we construct the kernel of the propagator, $e^{-it(Δ/2 + V)}$, $t \in (0, t_0)$ as a quadratic Legendre distribution. We also determine the global semiclassical structure of the spectral projector, Poisson operator and scattering matrix.
△ Less
Submitted 23 June, 2006;
originally announced June 2006.
-
Spreading of Lagrangian regularity on rational invariant tori
Authors:
Jared Wunsch
Abstract:
Let $P_h$ be a self-adjoint semiclassical pseudodifferential operator on a manifold $M$ such that the bicharacteristic flow of the principal symbol on $T^*M$ is completely integrable and the subprincipal symbol of $P_h$ vanishes. Consider a semiclassical family of eigenfunctions, or, more generally, quasimodes $u_h$ of $P_h.$ We show that on a nondegenerate rational invariant torus, Lagrangian r…
▽ More
Let $P_h$ be a self-adjoint semiclassical pseudodifferential operator on a manifold $M$ such that the bicharacteristic flow of the principal symbol on $T^*M$ is completely integrable and the subprincipal symbol of $P_h$ vanishes. Consider a semiclassical family of eigenfunctions, or, more generally, quasimodes $u_h$ of $P_h.$ We show that on a nondegenerate rational invariant torus, Lagrangian regularity of $u_h$ (regularity under test operators characteristic on the torus) propagates both along bicharacteristics, and also in an additional ``diffractive'' manner. In particular, in addition to propagating along null bicharacteristics, regularity fills in the interiors of small annular tubes of bicharacteristics.
△ Less
Submitted 6 March, 2007; v1 submitted 20 June, 2006;
originally announced June 2006.
-
Spreading of quasimodes in the Bunimovich stadium
Authors:
Nicolas Burq,
Andrew Hassell,
Jared Wunsch
Abstract:
We consider Dirichlet eigenfunctions $u_λ$ of the Bunimovich stadium $S$, satisfying $(Δ- λ^2) u_λ= 0$. Write $S = R \cup W$ where $R$ is the central rectangle and $W$ denotes the ``wings,'' i.e. the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in $R$ as $λ\to \infty$. We obtain a lower bound $C λ^{-2}$ on the $L^2$…
▽ More
We consider Dirichlet eigenfunctions $u_λ$ of the Bunimovich stadium $S$, satisfying $(Δ- λ^2) u_λ= 0$. Write $S = R \cup W$ where $R$ is the central rectangle and $W$ denotes the ``wings,'' i.e. the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in $R$ as $λ\to \infty$. We obtain a lower bound $C λ^{-2}$ on the $L^2$ mass of $u_λ$ in $W$, assuming that $u_λ$ itself is $L^2$-normalized; in other words, the $L^2$ norm of $u_λ$ is controlled by $λ^2$ times the $L^2$ norm in $W$. Moreover, if $u_λ$ is a $o(λ^{-2})$ quasimode, the same result holds, while for a $o(1)$ quasimode we prove that $L^2$ norm of $u_λ$ is controlled by $λ^4$ times the $L^2$ norm in $W$. We also show that the $L^2$ norm of $u_λ$ may be controlled by the integral of $w \abs{\partial_N u}^2$ along $\partial S \cap W$, where $w$ is a smooth factor on $W$ vanishing at $R \cap W$. These results complement recent work of Burq-Zworski which shows that the $L^2$ norm of $u_λ$ is controlled by the $L^2$ norm in any pair of strips contained in $R$, but adjacent to $W$.
△ Less
Submitted 1 July, 2005;
originally announced July 2005.
-
Absence of super-exponentially decaying eigenfunctions on Riemannian manifolds with pinched negative curvature
Authors:
Andras Vasy,
Jared Wunsch
Abstract:
Let (X,g) be a metrically complete, simply connected Riemannian manifold with bounded geometry and pinched negative curvature, i.e. there are constants a>b>0 such that -a^2<K<-b^2 for all sectional curvatures K. Here bounded geometry is used in the sense that all covariant derivatives of the Riemannian curvature tensor are bounded and the injectivity radius is uniformly bounded below by a positi…
▽ More
Let (X,g) be a metrically complete, simply connected Riemannian manifold with bounded geometry and pinched negative curvature, i.e. there are constants a>b>0 such that -a^2<K<-b^2 for all sectional curvatures K. Here bounded geometry is used in the sense that all covariant derivatives of the Riemannian curvature tensor are bounded and the injectivity radius is uniformly bounded below by a positive constant. We show that there are no superexponentially decaying eigenfunctions of the Laplacian of g. We also show the analogous conclusion for other geometric operators, and prove a theorem with the assumptions and conclusions localized near infinity.
△ Less
Submitted 29 October, 2004;
originally announced November 2004.
-
Sharp Strichartz estimates on non-trap** asymptotically conic manifolds
Authors:
Andrew Hassell,
Terence Tao,
Jared Wunsch
Abstract:
We obtain the Strichartz inequalities $$ \| u \|_{L^q_t L^r_x([0,1] \times M)} \leq C \| u(0) \|_{L^2(M)}$$ for any smooth $n$-dimensional Riemannian manifold $M$ which is asymptotically conic at infinity (with either short-range or long-range metric perturbation) and non-trap**, where $u$ is a solution to the Schrödinger equation $iu_t + {1/2} Δ_M u = 0$, and $2 < q, r \leq \infty$ are admiss…
▽ More
We obtain the Strichartz inequalities $$ \| u \|_{L^q_t L^r_x([0,1] \times M)} \leq C \| u(0) \|_{L^2(M)}$$ for any smooth $n$-dimensional Riemannian manifold $M$ which is asymptotically conic at infinity (with either short-range or long-range metric perturbation) and non-trap**, where $u$ is a solution to the Schrödinger equation $iu_t + {1/2} Δ_M u = 0$, and $2 < q, r \leq \infty$ are admissible Strichartz exponents ($\frac{2}{q} + \frac{n}{r} = \frac{n}{2}$). This corresponds with the estimates available for Euclidean space (except for the endpoint $(q,r) = (2, \frac{2n}{n-2})$ when $n > 2$). These estimates imply existence theorems for semi-linear Schrödinger equations on $M$, by adapting arguments from Cazenave and Weissler \cite{cwI} and Kato \cite{kato}.
This result improves on our previous result in \cite{HTW}, which was an $L^4_{t,x}$ Strichartz estimate in three dimensions. It is closely related to the results of Staffilani-Tataru, Burq, Tataru, and Robbiano-Zuily, who consider the case of asymptotically flat manifolds.
△ Less
Submitted 20 August, 2004;
originally announced August 2004.
-
A Strichartz inequality for the Schroedinger equation on non-trap** asymptotically conic manifolds
Authors:
Andrew Hassell,
Terence Tao,
Jared Wunsch
Abstract:
We obtain an $L^4$ space-time Strichartz inequality for any smooth three-dimensional Riemannian manifold $(M,g)$ which is asymptotically conic at infinity and non-trap**, where $u$ is a solution to the Schrödinger equation $iu_t + {1/2} Δ_M u = 0$. The exponent $H^{1/4}(M)$ is sharp, by scaling considerations. In particular our result covers asymptotically flat non-trap** manifolds. Our argu…
▽ More
We obtain an $L^4$ space-time Strichartz inequality for any smooth three-dimensional Riemannian manifold $(M,g)$ which is asymptotically conic at infinity and non-trap**, where $u$ is a solution to the Schrödinger equation $iu_t + {1/2} Δ_M u = 0$. The exponent $H^{1/4}(M)$ is sharp, by scaling considerations. In particular our result covers asymptotically flat non-trap** manifolds. Our argument is based on the interaction Morawetz inequality introduced by Colliander et al., interpreted here as a positive commutator inequality for the tensor product $U(t,z',z'') := u(t,z') u(t,z'')$ of the solution with itself. We also use smoothing estimates for Schrödinger solutions including a new one proved here with weight $r^{-1}$ at infinity and with the gradient term involving only one angular derivative.
△ Less
Submitted 30 June, 2004; v1 submitted 10 December, 2003;
originally announced December 2003.
-
The radiation field is a Fourier integral operator
Authors:
Antonio Sa Barreto,
Jared Wunsch
Abstract:
We exhibit the form of the ``radiation field,'' describing the large-scale, long-time behavior of solutions to the wave equation on a manifold with no trapped rays, as a Fourier integral operator. We work in two different geometric settings: scattering manifolds (a class which includes asymptotically Euclidean spaces) and asymptotically hyperbolic manifolds.
The canonical relation of the radia…
▽ More
We exhibit the form of the ``radiation field,'' describing the large-scale, long-time behavior of solutions to the wave equation on a manifold with no trapped rays, as a Fourier integral operator. We work in two different geometric settings: scattering manifolds (a class which includes asymptotically Euclidean spaces) and asymptotically hyperbolic manifolds.
The canonical relation of the radiation field operator is a map from the cotangent bundle of the manifold to a cotangent bundle over the boundary at infinity; it is associated to a sojourn time, or Busemann function, for geodesic rays. In non-degenerate cases, the symbol of the operator can be described explicitly in terms of the geometry of long-time geodesic flow.
As a consequence of the above result, we obtain a description of the (distributional) high-frequency asymptotics of the scattering-theoretic Poisson operator, better known as the Eisenstein function in the asymptotically hyperbolic case.
△ Less
Submitted 17 October, 2003;
originally announced October 2003.
-
On the structure of the Schrödinger propagator
Authors:
Andrew Hassell,
Jared Wunsch
Abstract:
We discuss the form of the propagator $U(t)$ for the time-dependent Schrödinger equation on an asyptotically Euclidean, or, more generally, asymptotically conic, manifold with no trapped geodesics. In the asymptotically Euclidean case, if $χ\in \mathcal{C}_0^\infty$, and with $\mathcal{F}$ denoting Fourier transform, $\mathcal{F}\circ e^{-ir^2/2t} U(t) χ$ is a Fourier integral operator for…
▽ More
We discuss the form of the propagator $U(t)$ for the time-dependent Schrödinger equation on an asyptotically Euclidean, or, more generally, asymptotically conic, manifold with no trapped geodesics. In the asymptotically Euclidean case, if $χ\in \mathcal{C}_0^\infty$, and with $\mathcal{F}$ denoting Fourier transform, $\mathcal{F}\circ e^{-ir^2/2t} U(t) χ$ is a Fourier integral operator for $t\neq 0.$ The canonical relation of this operator is a ``sojourn relation'' associated to the long-time geodesic flow. This description of the propagator follows from its more precise characterization as a ``scattering fibered Legendrian,'' given by the authors in a previous paper and sketched here.
A corollary is a propagation of singularities theorem that permits a complete description of the wavefront set of a solution to the Schrödinger equation, restricted to any fixed nonzero time, in terms of the oscillatory behavior of its initial data. We discuss two examples which illustrate some extremes of this propagation behavior.
△ Less
Submitted 28 August, 2003;
originally announced August 2003.
