Source author record

Alden Waters

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AP math.SP math.OC math-ph math.MP math.DG

Catalog footprint

Research overview

14works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A relative trace formula for obstacle scattering

We consider the case of scattering of several obstacles in $\mathbb{R}^d$ for $d \geq 2$ . In this setting the absolutely continuous part of the Laplace operator $Δ$ with Dirichlet boundary conditions and the free Laplace operator $Δ_0$ are unitarily equivalent. For suitable functions that decay sufficiently fast we have that the difference $g(Δ)-g(Δ_0)$ is a trace-class operator and its trace is described by the Krein spectral shift function. In this paper we study the contribution to the trace (and hence the Krein spectral shift function) that arises from assembling several obstacles relative to a setting where the obstacles are completely separated. In the case of two obstacles we consider the Laplace operators $Δ_1$ and $Δ_2$ obtained by imposing Dirichlet boundary conditions only on one of the objects. Our main result in this case states that then $g(Δ) - g(Δ_1) - g(Δ_2) + g(Δ_0)$ is a trace class operator for a much larger class of functions (including functions of polynomial growth) and that this trace may still be computed by a modification of the Birman-Krein formula. In case $g(x)=x^\frac{1}{2}$ the relative trace has a physical meaning as the vacuum energy of the massless scalar field and is expressible as an integral involving boundary layer operators. Such integrals have been derived in the physics literature using non-rigorous path integral derivations and our formula provides both a rigorous justification as well as a generalisation.

preprint2022arXiv

Analytic properties of heat equation solutions and reachable sets

There recently has been some interest in the space of functions on an interval satisfying the heat equation for positive time in the interior of this interval. Such functions were characterised as being analytic on a square with the original interval as its diagonal. In this short note we provide a direct argument that the analogue of this result holds in any dimension. For the heat equation on a bounded Lipschitz domain $Ω\subset \mathbb{R}^d$ at positive time all solutions are analytically extendable to a geometrically determined subdomain $\mathcal{E}(Ω)$ of $\mathbb{C}^d$ containing $Ω$ . This domain is sharp in the sense that there is no larger domain for which this is true. If $Ω$ is a ball we prove an almost converse of this theorem. Any function that is analytic in an open neighborhood of $\mathcal{E}(Ω)$ is reachable in the sense that it can be obtained from a solution of the heat equation at positive time. This is based on an analysis of the convergence of heat equation solutions in the complex domain using the boundary layer potential method for the heat equation. The converse theorem is obtained using a Wick rotation into the complex domain that is justified by our results. This gives a simple explanation for the shapes appearing in the one-dimensional analysis of the problem in the literature. It also provides a new short and conceptual proof in that case.

preprint2022arXiv

Observability for Schrödinger equations with quadratic Hamiltonians

We consider time dependent harmonic oscillators and construct a parametrix to the corresponding Schrödinger equation using Gaussian wavepackets. This parametrix of Gaussian wavepackets is precise and tractable. Using this parametrix we prove $L^2$ and $L^2-L^{\infty}$ observability estimates on unbounded domains $ω$ for a restricted class of initial data. This data includes a class of compactly supported piecewise $C^1$ functions which have been extended from characteristic functions. Initial data of this form which has the bulk of its mass away from $ω^c=Ω$ , a connected bounded domain, is observable, but data centered over $Ω$ must be very nearly a single Gaussian to be observable. We also give counterexamples to established principles for the simple harmonic oscillator in the case of certain time dependent harmonic oscillators.

preprint2022arXiv

The Birman-Krein formula for differential forms and electromagnetic scattering

We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean near infinity. Allowing for compact boundaries of low regularity we prove a Birman-Krein formula on the space of co-closed differential forms. In the case of dimension three this reduces to a Birman-Krein formula in Maxwell scattering.

preprint2020arXiv

Geometric and Obstacle Scattering at Low Energy

We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean at infinity. The manifold may have several boundary components caused by obstacles at which relative boundary conditions are imposed. Scattering takes place because of the presence of these obstacles and possible non-trivial topology and geometry. Unlike in the case of functions eigenvalues generally exist at the bottom of the continuous spectrum and the corresponding eigenforms represent cohomology classes. We show that these eigenforms appear in the expansion of the resolvent, the scattering matrix, and the spectral measure in terms of the spectral parameter $λ$ near zero, and we determine the first terms in this expansion explicitly. In dimension two an additional cohomology class appears as a resonant state in the presence of an obstacle. In even dimensions the expansion is in terms of $λ$ and $\log λ$ . The theory of Hahn holomorphic functions is used to describe these expansions effectively. We also give a Birman-Krein formula in this context. The case of one forms with relative boundary conditions has direct applications in physics as it describes the scattering of electromagnetic waves.

preprint2016arXiv

A deterministic optimal design problem for the heat equation

For the heat equation on a bounded subdomain $Ω$ of $\mathbb{R}^d$ , we investigate the optimal shape and location of the observation domain in observability inequalites. A new decomposition of $L^2(\mathbb{R}^d)$ into heat packets allows us to remove the randomisation procedure and assumptions on the geometry of $Ω$ in previous works. The explicit nature of the heat packets gives new information about the observability constant in the inverse problem.

preprint2016arXiv

Recovery of the sound speed for the Acoustic wave equation from phaseless measurements

We recover the higher order terms for the acoustic wave equation from measurements of the modulus of the solution. The recovery of these coefficients is reduced to a question of stability for inverting a Hamiltonian flow transform, not the geodesic X-ray transform encountered in other inverse boundary problems like the determination of conformal factors. We obtain new stability results for the Hamiltonian flow transform, which allow to recover the higher order terms.

preprint2015arXiv

Lower resolvent bounds and Lyapunov exponents

We prove a new polynomial lower bound on the scattering resolvent. For that, we construct a quasimode localized on a trajectory $γ$ which is trapped in the past, but not in the future. The power in the bound is expressed in terms of the maximal Lyapunov exponent on $γ$ , and gives the minimal number of derivatives lost in exponential decay of solutions to the wave equation.

preprint2015arXiv

Stability Analysis in Magnetic Resonance Elastography II

We consider the inverse problem of finding unknown elastic parameters from internal measurements of displacement fields for tissues. In the sequel to Ammari, Waters, Zhang (2015), we use pseudodifferential methods for the problem of recovering the shear modulus for Stokes systems from internal data. We prove stability estimates in $d=2,3$ with reduced regularity on the estimates and show that the presence of a finite dimensional kernel can be removed. This implies the convergence of the Landweber numerical iteration scheme. We also show that these hypotheses are natural for experimental use in constructing shear modulus distributions.

preprint2015arXiv

Stability for Time Dependent X-ray Transforms and Applications

We prove a logarithmic stability estimate for the time dependent X-ray transform on $\mathbb{R}_t^+\times\mathbb{R}^n$ . To do so, we extend a known result by Begmatov for the stability of the time dependent X-ray transform in $\mathbb{R}^+_t\times\mathbb{R}^2$ . We give some examples of stability and injectivity results in relationship to the Dirichlet-to-Neumann problem. In particular, under the Geometric Control Condtion, we derive inverse logarithmic stability estimates for time dependent conformal factors.

preprint2014arXiv

Spectral Rigidity for Periodic Schrödinger Operators in Dimension 2

We consider two dimensional real-valued analytic potentials for the Schrödinger equation which are periodic over a lattice $L$ . Under certain assumptions on the form of the potential and the lattice $L$ , we can show there is a large class of analytic potentials which are Floquet rigid and dense in the set of $C^\infty(R^2/L)$ potentials. The result extends the work of Eskin et. al, in "On isospectral periodic potentials in $R^n$ , II."

preprint2014arXiv

Stability Analysis for Magnetic Resonance Elastography

We consider the inverse problem of finding unknown elastic parameters from internal measurements of displacement fields for tissues. The measurements are made on the entirety of a smooth domain. Since tissues can be modeled as quasi-incompressible fluids, we examine the Stokes system and consider only the recovery of shear modulus distributions. Our main result is to establish Lipschitz stable estimates on the shear modulus distributions from internal measurements of displacement fields. These estimates imply convergence of a numerical scheme known as the Landweber iteration scheme for reconstructing the shear modulus distributions.

preprint2014arXiv

Stable determination of X-ray transforms of time dependent potentials from the dynamical Dirichlet-to-Neumann map

We consider compact smooth Riemmanian manifolds with boundary of dimension greater than or equal to two. For the initial-boundary value problem for the wave equation with a lower order term $q(t,x)$ , we can recover the X-ray transform of time dependent potentials $q(t,x)$ from the dynamical Dirichlet-to-Neumann map in a stable way. We derive Hölder stability estimates for the X-ray transform of $q(t,x)$ which do not require measurements on the entirety of the boundary. The essential technique involved is the Gaussian beam Ansatz, and the proofs are done with the minimal assumptions on the geometry for the Ansatz to be well-defined.

preprint2010arXiv

A Parametrix Construction for the Wave Equation with Low Regularity Coefficients Using a Frame of Gaussians

We construct a frame of complex Gaussians for the space of $L^2(\mathbb{R}^n)$ functions. When propagated along bicharacteristics for the wave equation, the frame can be used to build a parametrix with suitable error terms. When the coefficients of the wave equation have more regularity, propagated frame functions become Gaussian beams.

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.

Alden Waters

Research overview

Is this your work?

14 publications

A relative trace formula for obstacle scattering

Analytic properties of heat equation solutions and reachable sets

Observability for Schrödinger equations with quadratic Hamiltonians

The Birman-Krein formula for differential forms and electromagnetic scattering

Geometric and Obstacle Scattering at Low Energy

A deterministic optimal design problem for the heat equation

Recovery of the sound speed for the Acoustic wave equation from phaseless measurements

Lower resolvent bounds and Lyapunov exponents

Stability Analysis in Magnetic Resonance Elastography II

Stability for Time Dependent X-ray Transforms and Applications

Spectral Rigidity for Periodic Schrödinger Operators in Dimension 2

Stability Analysis for Magnetic Resonance Elastography

Stable determination of X-ray transforms of time dependent potentials from the dynamical Dirichlet-to-Neumann map

A Parametrix Construction for the Wave Equation with Low Regularity Coefficients Using a Frame of Gaussians

See the researcher in context

Building this map preview