Searcharxiv⌕ Search

arXiv subjects

Allan Greenleaf

Publications and source records attributed to Allan Greenleaf.

At least 37 records · Page 2Linked to original sources

A multi-dimensional resolution of singularities with applications to analysis

We formulate a resolution of singularities algorithm for analyzing the zero sets of real-analytic functions in dimensions $\geq 3$. Rather than using the celebrated result of Hironaka, the algorithm is modeled on a more explicit and elementary approach used in the contemporary algebraic geometry literature. As an application, we define a new notion of the height of real-analytic functions, compute the critical integrability index and obtain the sharp growth rate of sublevel sets. This also leads to a characterization of the oscillation index of scalar oscillatory integrals with real-analytic phases in all dimensions.

math.CA↗

Schrodinger's Hat: Electromagnetic, acoustic and quantum amplifiers via transformation optics

The advent of transformation optics and metamaterials has made possible devices producing extreme effects on wave propagation. Here we give theoretical designs for devices, Schrödinger hats, acting as invisible concentrators of waves. These exist for any wave phenomenon modeled by either the Helmholtz or Schrödinger equations, e.g., polarized waves in EM, pressure waves in acoustics and matter waves in QM, and occupy one part of a parameter space continuum of wave-manipulating structures which also contains standard transformation optics based cloaks, resonant cloaks and cloaked sensors. For EM and acoustic Schrödinger hats, the resulting centralized wave is a localized excitation. In QM, the result is a new charged quasiparticle, a \emph{quasmon}, which causes conditional probabilistic illusions. We discuss possible solid state implementations.

math-ph↗

Cloaking a sensor via transformation optics

It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and careful choice of parameters leads to effective cloaks with degraded shielding. As one application, we describe how to use transformation optics to hide sensors in the cloaked region and yet enable the sensors to efficiently measure waves incident on the exterior of the cloak, an effect similar to the plasmon based approach of Alu' and Engheta.

physics.optics↗

An FIO calculus for marine seismic imaging, II: Sobolev estimates

We establish sharp $L^2$-Sobolev estimates for classes of pseudodifferential operators with singular symbols whose non-pseudodifferential (Fourier integral operator) parts exhibit two-sided fold singularities. The operators considered include both singular integral operators along curves in $R^2$ with simple inflection points and normal operators arising in linearized seismic imaging in the presence of fold caustics.

math.AP↗

Fourier integral operators with open umbrellas and seismic inversion for cusp caustics

In general the composition of Fourier integral operators (FIOs) need not be an FIO. Motivated by the problem of linearized seismic inversion in the presence of cusp caustics for the background sound speed, we consider FIOs whose canonical relations have certain two-sided cusp degeneracies, and show that the resulting compositions have wave-front relations in the union of the diagonal and an open umbrella, the simplest type of singular Lagrangian manifold.

math.AP↗

Approximate quantum and acoustic cloaking

At any energy E > 0, we construct a sequence of bounded potentials $V^E_{n}, n\in\N$, supported in an annular region $B_{out}\setminus B_{inn}$ in three-space, which act as approximate cloaks for solutions of Schrödinger's equation: For any potential $V_0\in L^\infty(B_{inn})$ such that E is not a Neumann eigenvalue of $-Δ+V_0$ in $B_{inn}$, the scattering amplitudes $a_{V_0+V_n^E}(E,θ,ω)\to 0$ as $n\to\infty$. The $V^E_{n}$ thus not only form a family of approximately transparent potentials, but also function as approximate invisibility cloaks in quantum mechanics. On the other hand, for $E$ close to interior eigenvalues, resonances develop and there exist {\it almost trapped states} concentrated in $B_{inn}$. We derive the $V_n^E$ from singular, anisotropic transformation optics-based cloaks by a de-anisotropization procedure, which we call \emph{isotropic transformation optics}. This technique uses truncation, inverse homogenization and spectral theory to produce nonsingular, isotropic approximate cloaks. As an intermediate step, we also obtain approximate cloaking for a general class of equations including the acoustic equation.

math-ph↗

Invisibility and Inverse Problems

This survey of recent developments in cloaking and transformation optics is an expanded version of the lecture by Gunther Uhlmann at the 2008 Annual Meeting of the American Mathematical Society.

math-ph↗

Comment on "Scattering Theory Derivation of a 3D Acoustic Cloaking Shell"

In a recent Letter, Cummer et al. give a description of material parameters for acoustic wave propagation giving rise to a 3D spherical cloak, and verify the cloaking phenomenon on the level of scattering coefficients. A similar configuration has been given by Chen and Chan. In this Comment, we show that these theoretical constructions follow directly from our earlier work http://arxiv.org/abs/math/0611185 on full wave analysis of cloaking for the Helmholtz equation with respect to Riemannian metrics. Furthermore, the analysis there covers the case of acoustically radiating objects being enclosed in the cloaked region.

physics.optics↗

Effectiveness and improvement of cylindrical cloaking with the SHS lining

We analyze, both analytically and numerically, the effectiveness of cloaking an infinite cylinder from observations by electromagnetic waves in three dimensions. We show that, as truncated approximations of the ideal permittivity and permeability tensors tend towards the singular ideal cloaking fields, so that the anisotropy ratio tends to infinity, the $D$ and $B$ fields blow up near the cloaking surface. We also consider cloaking with and without the SHS (soft-and-hard surface) lining. We demonstrate numerically that cloaking is significantly improved by the SHS lining, with both the far field of the scattered wave significantly reduced and the blow up of $D$ and $B$ prevented.

physics.optics↗

Electromagnetic wormholes via handlebody constructions

Cloaking devices are prescriptions of electrostatic, optical or electromagnetic parameter fields (conductivity $σ(x)$, index of refraction $n(x)$, or electric permittivity $ε(x)$ and magnetic permeability $μ(x)$) which are piecewise smooth on $\mathbb R^3$ and singular on a hypersurface $Σ$, and such that objects in the region enclosed by $Σ$ are not detectable to external observation by waves. Here, we give related constructions of invisible tunnels, which allow electromagnetic waves to pass between possibly distant points, but with only the ends of the tunnels visible to electromagnetic imaging. Effectively, these change the topology of space with respect to solutions of Maxwell's equations, corresponding to attaching a handlebody to $\mathbb R^3$. The resulting devices thus function as electromagnetic wormholes.

math.AP↗

Electromagnetic wormholes and virtual magnetic monopoles

We describe new configurations of electromagnetic (EM) material parameters, the electric permittivity $ε$ and magnetic permeability $μ$, that allow one to construct from metamaterials objects that function as invisible tunnels. These allow EM wave propagation between two points, but the tunnels and the regions they enclose are not detectable to EM observations. Such devices function as wormholes with respect to Maxwell's equations and effectively change the topology of space vis-a-vis EM wave propagation. We suggest several applications, including devices behaving as virtual magnetic monopoles.

math-ph↗

Full-wave invisibility of active devices at all frequencies

There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at zero frequency [GLU2,GLU3], but recent numerical [CPSSP] and experimental [SMJCPSS] work has provided evidence for invisibility at frequency $k\ne 0$. We give two basic constructions for cloaking a region $D$ contained in a domain $Ω$ from measurements of Cauchy data of waves at $\p Ω$; we pay particular attention to cloaking not just a passive object, but an active device within $D$, interpreted as a collection of sources and sinks or an internal current.

math.AP↗

An FIO calculus for marine seismic imaging: folds and cross caps

We consider a linearized inverse problem, arising in offshore seismic exploration, for an isotropic wave equation with sound speed assumed to be a small, singular perturbation of a smooth background. Under an assumption of at most fold caustics for the background, we identify the geometry of the canonical relation underlying the linearization, F, which is a Fourier integral operator, and establish a composition calculus sufficient to describe the normal operator F^*F. The resulting artifacts are 1/2 derivative smoother than in the case of a single-source seismic experiment.

math.AP↗

Oscillatory integral operators with homogeneous polynomial phases in several variables

We obtain $L^2$ decay estimates in $λ$ for oscillatory integral operators whose phase functions are homogeneous polynomials of degree m and satisfy various genericity assumptions. The decay rates obtained are optimal in the case of (2+2)--dimensions for any m while, in higher dimensions, the result is sharp for m sufficiently large. The proof for large $m$ follows from essentially algebraic considerations. For cubics in (2+2)--dimensions, the proof involves decomposing the operator near the conic zero variety of the determinant of the Hessian of the phase function, using an elaboration of the general approach of Phong and Stein [1994].

math.CA↗

$L^p - L^{p'}$ estimates for overdetermined Radon transforms

We prove several variations on the results of Ricci and Travaglini concerning bounds for convolution with all rotations of a measure supported by a fixed convex curve in the plane. Estimates are obtained for averages over higher-dimensional convex hypersurfaces, smooth k-dimensional surfaces and non-translation invariant families of surfaces.

math.CA↗

On nonuniqueness for Calderon's inverse problem

We construct anisotropic conductivities with the same Dirichlet-to-Neumann map as a homogeneous isotropic conductivity. These conductivities are singular close to a surface inside the body.

math.AP↗

The Calderon problem for conormal potentials, I: Global uniqueness and reconstruction

In dimensions greater than or equal to three, we establish global uniqueness and obtain reconstruction in the Calderon problem for the Schrodinger equation with certain singular potentials. The potentials considered are conormal of order less than 1-k with respect to submanifolds (of arbitrary codimension k). This gives positive results for (conormal) conductivities which are Holder of any order > 1. A related problem for highly singular potentials is shown to exhibit nonuniqueness.

math.AP↗