Source author record

Jared Wunsch

Jared Wunsch appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

21works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2022arXiv

Decompositions of high-frequency Helmholtz solutions via functional calculus, and application to the finite element method

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.

preprint2022arXiv

Wavenumber-explicit convergence of the $hp$-FEM for the full-space heterogeneous Helmholtz equation with smooth coefficients

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.

preprint2020arXiv

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.

preprint2020arXiv

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

preprint2016arXiv

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

preprint2016arXiv

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

preprint2016arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

From resolvent estimates to damped waves

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

preprint2012arXiv

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

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

preprint2012arXiv

Resolvent estimates and local decay of waves on conic manifolds

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

preprint2011arXiv

Diffraction of singularities for the wave equation on manifolds with corners

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.

preprint2011arXiv

Morawetz estimates for the wave equation at low frequency

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.

preprint2011arXiv

Non-concentration of quasimodes for integrable systems

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.

preprint2011arXiv

Semiclassical second microlocal propagation of regularity and integrable systems

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.

preprint2004arXiv

Sharp Strichartz estimates on non-trapping asymptotically conic manifolds

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