arXiv subjects

Jared Wunsch

Publications and source records attributed to Jared Wunsch.

At least 37 records · Page 2Linked to original sources

arXiv2021

A sharp relative-error bound for the Helmholtz $h$-FEM at high frequency

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 nontrapping obstacle and/or a nontrapping inhomogeneous medium. We also prove relative-error bounds on the FEM solution for arbitrary fixed-order methods applied to scattering by a nontrapping 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.

math.NA↗

arXiv2021

Caustics of weakly Lagrangian distributions

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.

math.AP↗

arXiv2021

Semiclassical diffraction by conormal potential singularities

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.

math.AP↗

arXiv2020

Diffraction for the Dirac-Coulomb propagator

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.

math.AP↗

arXiv2020

On resonances generated by conic diffraction

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 $Λ>ν.$

math.AP↗

arXiv2020

For most frequencies, strong trapping has a weak effect in frequency-domain scattering

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 trapping, 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 trapping, for most frequencies.

math.AP↗

arXiv2019

Optimal constants in nontrapping resolvent estimates and applications in numerical analysis

We study the resolvent for nontrapping 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.

math.AP↗

arXiv2019

Resonance-free regions for diffractive trapping by conormal potentials

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-trapping 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.

math.AP↗

arXiv2019

On non-diffractive cones

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$.

math.AP↗

arXiv2018

Asymptotics of scalar waves on long-range asymptotically Minkowski spaces

We show the existence of the full compound asymptotics of solutions to the scalar wave equation on long-range non-trapping 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.

math.AP↗

arXiv2017

Refined Weyl law for homogeneous perturbations of the harmonic oscillator

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.

math.AP↗

arXiv2016

Periodic damping gives polynomial energy decay

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.$

math.AP↗

arXiv2016

The diffractive wave trace on manifolds with conic singularities

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.

math.AP↗

arXiv2016

Diffractive Propagation on Conic Manifolds

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).

math.AP↗

arXiv2015

Sharp high-frequency estimates for the Helmholtz equation and applications to boundary integral equations

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.

math.AP↗

arXiv2014

Asymptotics of radiation fields in asymptotically Minkowski space

We consider a non-trapping $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.

math.AP↗

arXiv2014

Resolvent estimates for normally hyperbolic trapped sets

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.

math.AP↗

arXiv2013

Strichartz estimates on exterior polygonal domains

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.

math.AP↗