-
Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are:
1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $μ$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of…
▽ More
We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are:
1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $μ$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed.
2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $μ$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $μ$ and return back to $μ$.
△ Less
Submitted 20 September, 2017; v1 submitted 14 May, 2014;
originally announced May 2014.
-
Linearization stability results and active measurements for the Einstein-scalar field equations
Authors:
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,φ)+F^1$, and $\square_gφ^\ell-m^2φ^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $φ=(φ^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields…
▽ More
We study the Einstein equations coupled with the scalar field equations, $\hbox{Ein}(g)=T$, $T=T(g,φ)+F^1$, and $\square_gφ^\ell-m^2φ^\ell= F^2$, where the sources $F=(F^1, F^2)$ correspond to perturbations of the physical fields which we control. Here $φ=(φ^\ell)_{\ell=1}^L$ and $(M,g)$ is a 4-dimensional globally hyperbolic Lorentzian manifold. The sources $F$ need to be such that the fields $(g,φ,F)$ satisfy the conservation law $\hbox{div}_g(T)=0$. If $(g_ε,φ_ε)$ solves the above equations, $\dot g=\partial_εg_ε|_{ε=0}$, $\dotφ=φ_ε|_{ε=0}$, and $f=(f^1,f^2)= \partial_εF_ε|_{ε=0}$ solve the linearized Einstein equations and the linearized conservation law $$ \frac 12 \hat g^{pk}\hat \nabla_p f^1_{kj}+ \sum_{\ell=1}^L f^2_\ell \, \partial_j\hatφ_\ell=0, $$ where $\hat g= g_ε|_{ε=0}$ and $\hat φ= φ_ε|_{ε=0}$. Then $(\hat g,\hat φ)$ and $f$ have the linearization stability property. Here ask the converse: If $\dot g$, $\dot φ$, and $f$ solve the linearized Einstein equations and the linearized conservation law, are there $F_ε=(F^1_ε,F^2_ε)$ and $(g_ε,φ_ε)$ depending on $ε\in [0,ε_0)$, $ε_0>0$, such that $(g_ε,φ_ε)$ solves the Einstein-scalar field equations and the conservation law. When $\hat g$ and $\hat φ$ vary enough and $L\geq 5$, we prove a microlocal version of this: When $Y\subset M$ is a 2-surface and $(y,η)\in N^*Y$, there is $f$ that is a conormal distibutions wrt. the surface $Y$ with a given principal symbol at $(y,η)$ such that $(\hat g,\hat φ)$ and $f$ have the linearization stability property.
△ Less
Submitted 14 May, 2014;
originally announced May 2014.
-
Schrodinger's Hat: Electromagnetic, acoustic and quantum amplifiers via transformation optics
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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 wav…
▽ More
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.
△ Less
Submitted 23 July, 2011;
originally announced July 2011.
-
Cloaking a sensor via transformation optics
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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 car…
▽ More
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.
△ Less
Submitted 14 November, 2010; v1 submitted 9 December, 2009;
originally announced December 2009.
-
Approximate quantum and acoustic cloaking
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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$…
▽ More
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.
△ Less
Submitted 9 December, 2008;
originally announced December 2008.
-
Invisibility and Inverse Problems
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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.
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.
△ Less
Submitted 1 October, 2008;
originally announced October 2008.
-
Approximate quantum cloaking and almost trapped states
Authors:
A. Greenleaf,
Y. Kurylev,
M. Lassas,
G. Uhlmann
Abstract:
We describe families of potentials which act as approximate cloaks for matter waves, i.e., for solutions of the time-independent Schrödinger equation at energy $E$, with applications to the design of ion traps. These are derived from perfect cloaks for the conductivity and Helmholtz equations, by a procedure we refer to as isotropic transformation optics. If $W$ is a potential which is surrounde…
▽ More
We describe families of potentials which act as approximate cloaks for matter waves, i.e., for solutions of the time-independent Schrödinger equation at energy $E$, with applications to the design of ion traps. These are derived from perfect cloaks for the conductivity and Helmholtz equations, by a procedure we refer to as isotropic transformation optics. If $W$ is a potential which is surrounded by a sequence $\{V_n^E\}_{n=1}^\infty$ of approximate cloaks, then for generic $E$, asymptotically in $n$ (i) $W$ is both undetectable and unaltered by matter waves originating externally to the cloak; and (ii) the combined potential $W+V_n^E$ does not perturb waves outside the cloak. On the other hand, for $E$ near a discrete set of energies, cloaking {\it per se} fails and the approximate cloaks support wave functions concentrated, or {\it almost trapped}, inside the cloaked region and negligible outside. Applications include ion traps, almost invisible to matter waves or customizable to support almost trapped states of arbitrary multiplicity. Possible uses include simulation of abstract quantum systems, magnetically tunable quantum beam switches, and illusions of singular magnetic fields.
△ Less
Submitted 19 August, 2008; v1 submitted 2 June, 2008;
originally announced June 2008.
-
Isotropic transformation optics: approximate acoustic and quantum cloaking
Authors:
A. Greenleaf,
Y. Kurylev,
M. Lassas,
G. Uhlmann
Abstract:
Transformation optics constructions have allowed the design of electromagnetic, acoustic and quantum parameters that steer waves around a region without penetrating it, so that the region is hidden from external observations. The material parameters are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge.
We address this…
▽ More
Transformation optics constructions have allowed the design of electromagnetic, acoustic and quantum parameters that steer waves around a region without penetrating it, so that the region is hidden from external observations. The material parameters are anisotropic, and singular at the interface between the cloaked and uncloaked regions, making physical realization a challenge.
We address this problem by showing how to construct {\sl isotropic and nonsingular} parameters that give {\sl approximate} cloaking to any desired degree of accuracy for electrostatic, acoustic and quantum waves. The techniques used here may be applicable to a wider range of transformation optics designs.
For the Helmholtz equation, cloaking is possible outside a discrete set of frequencies or energies, namely the Neumann eigenvalues of the cloaked region. For the frequencies or energies corresponding to the Neumann eigenvalues of the cloaked region, the ideal cloak supports trapped states; near these energies, an approximate cloak supports {\sl almost trapped states}. This is in fact a useful feature, and we conclude by giving several quantum mechanical applications.
△ Less
Submitted 1 August, 2008; v1 submitted 31 May, 2008;
originally announced June 2008.
-
Effectiveness and improvement of cylindrical cloaking with the SHS lining
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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 cloaki…
▽ More
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.
△ Less
Submitted 9 July, 2007;
originally announced July 2007.
-
Electromagnetic wormholes via handlebody constructions
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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.…
▽ More
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.
△ Less
Submitted 6 April, 2007;
originally announced April 2007.
-
Electromagnetic wormholes and virtual magnetic monopoles
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 March, 2007;
originally announced March 2007.
-
Full-wave invisibility of active devices at all frequencies
Authors:
Allan Greenleaf,
Yaroslav Kurylev,
Matti Lassas,
Gunther Uhlmann
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 March, 2007; v1 submitted 7 November, 2006;
originally announced November 2006.
-
Dynamic inverse problem in a weakly laterally inhomogeneous medium
Authors:
A. S. Blagovestchenskii,
Y. Kurylev,
V. Zalipaev
Abstract:
An inverse problem of wave propagation into a weakly laterally inhomogeneous medium occupying a half-space is considered in the acoustic approximation. The half-space consists of an upper layer and a semi-infinite bottom separated with an interface. An assumption of a weak lateral inhomogeneity means that the velocity of wave propagation and the shape of the interface depend weakly on the horizo…
▽ More
An inverse problem of wave propagation into a weakly laterally inhomogeneous medium occupying a half-space is considered in the acoustic approximation. The half-space consists of an upper layer and a semi-infinite bottom separated with an interface. An assumption of a weak lateral inhomogeneity means that the velocity of wave propagation and the shape of the interface depend weakly on the horizontal coordinates, $x=(x_1,x_2)$, in comparison with the strong dependence on the vertical coordinate, $z$, giving rise to a small parameter $\e <<1$. Expanding the velocity in power series with respect to $\e$, we obtain a recurrent system of 1D inverse problems. We provide algorithms to solve these problems for the zero and first-order approximations. In the zero-order approximation, the corresponding 1D inverse problem is reduced to a system of non-linear Volterra-type integral equations. In the first-order approximation, the corresponding 1D inverse problem is reduced to a system of coupled linear Volterra integral equations. These equations are used for the numerical reconstruction of the velocity in both layers and the interface up to $O(\e^2)$.
△ Less
Submitted 18 June, 2005;
originally announced June 2005.
-
Multidimensional Borg-Levinson Theorem
Authors:
Yaroslav Kurylev,
Matti Lassas,
Ricardo Weder
Abstract:
We consider the inverse problem of the reconstruction of a Schrödinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $Γ$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $Γ$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as…
▽ More
We consider the inverse problem of the reconstruction of a Schrödinger operator on a unknown Riemannian manifold or a domain of Euclidean space. The data used is a part of the boundary $Γ$ and the eigenvalues corresponding to a set of impedances in the Robin boundary condition which vary on $Γ$. The proof is based on the analysis of the behaviour of the eigenfunctions on the boundary as well as in perturbation theory of eigenvalues. This reduces the problem to an inverse boundary spectral problem solved by the boundary control method.
△ Less
Submitted 28 June, 2004;
originally announced June 2004.