Showing 1–49 of 49 results for author: Uhlmann, G

Reconstruction in the Calderón problem on conformally transversally anisotropic manifolds

Authors: Ali Feizmohammadi, Katya Krupchyk, Lauri Oksanen, Gunther Uhlmann

Abstract: We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of D… ▽ More We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of Dos Santos Ferreira-Kurylev-Lassas-Salo. A crucial role in our reconstruction procedure is played by a constructive determination of the boundary traces of suitable complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which enjoy uniqueness properties. This is achieved by applying the simplified version of the approach of Nachman-Street to our setting. We also identify the main space introduced by Nachman-Street with a standard Sobolev space on the boundary of the manifold. Another ingredient in the proof of our result is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet-to-Neumann map. △ Less

Submitted 7 October, 2020; v1 submitted 21 September, 2020; originally announced September 2020.

MSC Class: 35R30; 58J32

Inverse problems for nonlinear magnetic Schrödinger equations on conformally transversally anisotropic manifolds

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We study the inverse boundary problem for a nonlinear magnetic Schrödinger operator on a conformally transversally anisotropic Riemannian manifold of dimension $n\ge 3$. Under suitable assumptions on the nonlinearity, we show that the knowledge of the Dirichlet-to-Neumann map on the boundary of the manifold determines the nonlinear magnetic and electric potentials uniquely. No assumptions on the t… ▽ More We study the inverse boundary problem for a nonlinear magnetic Schrödinger operator on a conformally transversally anisotropic Riemannian manifold of dimension $n\ge 3$. Under suitable assumptions on the nonlinearity, we show that the knowledge of the Dirichlet-to-Neumann map on the boundary of the manifold determines the nonlinear magnetic and electric potentials uniquely. No assumptions on the transversal manifold are made in this result, whereas the corresponding inverse boundary problem for the linear magnetic Schrödinger operator is still open in this generality. △ Less

Submitted 24 September, 2020; v1 submitted 10 September, 2020; originally announced September 2020.

MSC Class: 35R30; 35J61

Journal ref: Analysis & PDE 16 (2023) 1825-1868

Travel time tomography in stationary spacetimes

Authors: Gunther Uhlmann, Yang Yang, Hanming Zhou

Abstract: In this paper, we consider the boundary rigidity problem on a cylindrical domain in $\mathbb R^{1+n}$, $n\geq 2$, equipped with a stationary (time-invariant) Lorentzian metric. We show that the time separation function between pairs of points on the boundary of the cylindrical domain determines the stationary spacetime, up to some time-invariant diffeomorphism, assuming that the metric satisfies s… ▽ More In this paper, we consider the boundary rigidity problem on a cylindrical domain in $\mathbb R^{1+n}$, $n\geq 2$, equipped with a stationary (time-invariant) Lorentzian metric. We show that the time separation function between pairs of points on the boundary of the cylindrical domain determines the stationary spacetime, up to some time-invariant diffeomorphism, assuming that the metric satisfies some a-priori conditions. △ Less

Submitted 1 August, 2020; originally announced August 2020.

Comments: 20 pages; Comments are welcome

Stability estimates for partial data inverse problems for Schrödinger operators in the high frequency limit

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We consider the partial data inverse boundary problem for the Schrödinger operator at a frequency $k>0$ on a bounded domain in $\mathbb{R}^n$, $n\ge 3$, with impedance boundary conditions. Assuming that the potential is known in a neighborhood of the boundary, we first show that the knowledge of the partial Robin-to-Dirichlet map at the fixed frequency $k>0$ along an arbitrarily small portion of t… ▽ More We consider the partial data inverse boundary problem for the Schrödinger operator at a frequency $k>0$ on a bounded domain in $\mathbb{R}^n$, $n\ge 3$, with impedance boundary conditions. Assuming that the potential is known in a neighborhood of the boundary, we first show that the knowledge of the partial Robin-to-Dirichlet map at the fixed frequency $k>0$ along an arbitrarily small portion of the boundary, determines the potential in a logarithmically stable way. We prove, as the principal result of this work, that the logarithmic stability can be improved to the one of Hölder type in the high frequency regime. △ Less

Submitted 21 July, 2019; v1 submitted 17 December, 2017; originally announced December 2017.

MSC Class: 35R30; 35J25; 35R25

Lens rigidity for a particle in a Yang-Mills field

Authors: Gabriel P. Paternain, Gunther Uhlmann, Hanming Zhou

Abstract: We consider the motion of a classical colored spinless particle under the influence of an external Yang-Mills potential $A$ on a compact manifold with boundary of dimension $\geq 3$. We show that under suitable convexity assumptions, we can recover the potential $A$, up to gauge transformations, from the lens data of the system, namely, scattering data plus travel times between boundary points. We consider the motion of a classical colored spinless particle under the influence of an external Yang-Mills potential $A$ on a compact manifold with boundary of dimension $\geq 3$. We show that under suitable convexity assumptions, we can recover the potential $A$, up to gauge transformations, from the lens data of the system, namely, scattering data plus travel times between boundary points. △ Less

Submitted 20 January, 2019; v1 submitted 4 October, 2017; originally announced October 2017.

Comments: 27 pages, 1 figure; to appear in Communications in Mathematical Physics

X-ray Transform and Boundary Rigidity for Asymptotically Hyperbolic Manifolds

Authors: C. Robin Graham, Colin Guillarmou, Plamen Stefanov, Gunther Uhlmann

Abstract: We consider the boundary rigidity problem for asymptotically hyperbolic manifolds. We show injectivity of the X-ray transform in several cases and consider the non-linear inverse problem which consists of recovering a metric from boundary measurements for the geodesic flow. We consider the boundary rigidity problem for asymptotically hyperbolic manifolds. We show injectivity of the X-ray transform in several cases and consider the non-linear inverse problem which consists of recovering a metric from boundary measurements for the geodesic flow. △ Less

Submitted 15 September, 2017; originally announced September 2017.

Comments: 54 pages

MSC Class: 35R30; 37D40; 53C22

Reconstruction of Lorentzian manifolds from boundary light observation sets

Authors: Peter Hintz, Gunther Uhlmann

Abstract: On a time-oriented Lorentzian manifold $(M,g)$ with non-empty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets $S\subset M$ of sources is uniquely determined by measurements of the intersection of future light cones from points in $S$ with a fixed open subset of the boundary of $M$; here, light rays are reflected… ▽ More On a time-oriented Lorentzian manifold $(M,g)$ with non-empty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets $S\subset M$ of sources is uniquely determined by measurements of the intersection of future light cones from points in $S$ with a fixed open subset of the boundary of $M$; here, light rays are reflected at $\partial M$ according to Snell's law. Our proof is constructive, and allows for interior conjugate points as well as multiply reflected and self-intersecting light cones. △ Less

Submitted 27 May, 2020; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: 34 pages, 11 figures. v2 is the published version, with typos fixed

MSC Class: 35C50 (Primary); 35L05; 35L20; 58J47 (Secondary)

Journal ref: International Mathematics Research Notices, rnx320, 2018

Inverse problems for advection diffusion equations in admissible geometries

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We study inverse boundary problems for the advection diffusion equation on an admissible manifold, i.e. a compact Riemannian manifold with boundary of dimension $\ge 3$, which is conformally embedded in a product of the Euclidean real line and a simple manifold. We prove the unique identifiability of the advection term of class $H^1\cap L^\infty$ and of class $H^{2/3}\cap C^{0,1/3}$ from the knowl… ▽ More We study inverse boundary problems for the advection diffusion equation on an admissible manifold, i.e. a compact Riemannian manifold with boundary of dimension $\ge 3$, which is conformally embedded in a product of the Euclidean real line and a simple manifold. We prove the unique identifiability of the advection term of class $H^1\cap L^\infty$ and of class $H^{2/3}\cap C^{0,1/3}$ from the knowledge of the associated Dirichlet-to-Neumann map on the boundary of the manifold. This seems to be the first global identifiability result for possibly discontinuous advection terms. △ Less

Submitted 18 April, 2017; originally announced April 2017.

Comments: arXiv admin note: text overlap with arXiv:1702.07974

MSC Class: 35R01; 35R30; 58J32; 53C65

Inverse problems for magnetic Schrödinger operators in transversally anisotropic geometries

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We study inverse boundary problems for magnetic Schrödinger operators on a compact Riemannian manifold with boundary of dimension $\ge 3$. In the first part of the paper we are concerned with the case of admissible geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. We show that the knowledge of the Ca… ▽ More We study inverse boundary problems for magnetic Schrödinger operators on a compact Riemannian manifold with boundary of dimension $\ge 3$. In the first part of the paper we are concerned with the case of admissible geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. We show that the knowledge of the Cauchy data on the boundary of the manifold for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials, determines the magnetic field and electric potential uniquely. In the second part of the paper we address the case of more general conformally transversally anisotropic geometries, i.e. compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a compact manifold, which need not be simple. Here, under the assumption that the geodesic ray transform on the transversal manifold is injective, we prove that the knowledge of the Cauchy data on the boundary of the manifold for a magnetic Schrödinger operator with continuous potentials, determines the magnetic field uniquely. Assuming that the electric potential is known, we show that the Cauchy data determines the magnetic potential up to a gauge equivalence. △ Less

Submitted 25 February, 2017; originally announced February 2017.

MSC Class: 35R01; 35R30; 58J32; 53C65

On an inverse boundary problem arising in brain imaging

Authors: Youjun Deng, Hongyu Liu, Gunther Uhlmann

Abstract: We consider the inverse problem of recovering both an unknown electric current and the surrounding electromagnetic parameters of a medium from boundary measurements. This inverse problem arises in brain imaging. We show that under generic conditions one can recover both the source and the electromagnetic parameters if these are piecewise constant and the current source is invariant in a fixed dire… ▽ More We consider the inverse problem of recovering both an unknown electric current and the surrounding electromagnetic parameters of a medium from boundary measurements. This inverse problem arises in brain imaging. We show that under generic conditions one can recover both the source and the electromagnetic parameters if these are piecewise constant and the current source is invariant in a fixed direction or a harmonic function. △ Less

Submitted 24 October, 2017; v1 submitted 1 February, 2017; originally announced February 2017.

Comments: 26 pages, comments are welcome

MSC Class: 35Q60; 31B10; 35R30; 78A40

The geodesic X-ray transform with matrix weights

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann, Hanming Zhou

Abstract: Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-forms. We also show that the connection and the Higgs field are uniquely determined… ▽ More Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-forms. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo gauge transformations. The proofs involve a reduction to a local result showing that the geodesic X-ray transform with a matrix weight can be inverted locally near a point of strict convexity at the boundary, and a detailed analysis of layer stripping arguments based on strictly convex exhaustion functions. As a somewhat striking corollary, we show that these integral geometry problems can be solved on strictly convex manifolds of dimension $\geq 3$ having non-negative sectional curvature (similar results were known earlier in negative sectional curvature). We also apply our methods to solve some inverse problems in quantum state tomography and polarization tomography. △ Less

Submitted 2 June, 2018; v1 submitted 25 May, 2016; originally announced May 2016.

Comments: 38 pages, to appear in American Journal of Mathematics

Full and Partial Cloaking in Electromagnetic Scattering

Authors: Youjun Deng, Hongyu Liu, Gunther Uhlmann

Abstract: In this paper, we consider two regularized transformation-optics cloaking schemes for electromagnetic (EM) waves. Both schemes are based on the blowup construction with the generating sets being, respectively, a generic curve and a planar subset. We derive sharp asymptotic estimates in assessing the cloaking performances of the two constructions in terms of the regularization parameters and the ge… ▽ More In this paper, we consider two regularized transformation-optics cloaking schemes for electromagnetic (EM) waves. Both schemes are based on the blowup construction with the generating sets being, respectively, a generic curve and a planar subset. We derive sharp asymptotic estimates in assessing the cloaking performances of the two constructions in terms of the regularization parameters and the geometries of the cloaking devices. The first construction yields an approximate full-cloak, whereas the second construction yields an approximate partial-cloak. Moreover, by incorporating properly chosen conducting layers, both cloaking constructions are capable of nearly cloaking arbitrary EM contents. This work complements the existing results in [5--7] on approximate EM cloaks with the generating set being a singular point, and it also extends [9,25] on regularized full and partial cloaks for acoustic waves governed by the Helmholtz system to the more challenging EM case governed by the full Maxwell system. △ Less

Submitted 3 September, 2015; originally announced September 2015.

Comments: 34 pages, 2 figures

The Calderón problem with partial data for conductivities with $3/2$ derivatives

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We extend a global uniqueness result for the Calderón problem with partial data, due to Kenig-Sjöstrand-Uhlmann, to the case of less regular conductivities. Specifically, we show that in dimensions $n\ge 3$, the knowledge of the Diricihlet-to-Neumann map, measured on possibly very small subsets of the boundary, determines uniquely a conductivity having essentially $3/2$ derivatives in an $L^2$ sen… ▽ More We extend a global uniqueness result for the Calderón problem with partial data, due to Kenig-Sjöstrand-Uhlmann, to the case of less regular conductivities. Specifically, we show that in dimensions $n\ge 3$, the knowledge of the Diricihlet-to-Neumann map, measured on possibly very small subsets of the boundary, determines uniquely a conductivity having essentially $3/2$ derivatives in an $L^2$ sense. △ Less

Submitted 4 September, 2015; v1 submitted 28 August, 2015; originally announced August 2015.

MSC Class: 35R30; 35J25

On the inverse problem of finding cosmic strings and other topological defects

Authors: Matti Lassas, Lauri Oksanen, Plamen Stefanov, Gunther Uhlmann

Abstract: We consider how microlocal methods developed for tomographic problems can be used to detect singularities of the Lorentzian metric of the Universe using measurements of the Cosmic Microwave Background radiation. The physical model we study is mathematically rigorous but highly idealized. We consider how microlocal methods developed for tomographic problems can be used to detect singularities of the Lorentzian metric of the Universe using measurements of the Cosmic Microwave Background radiation. The physical model we study is mathematically rigorous but highly idealized. △ Less

Submitted 12 May, 2015; originally announced May 2015.

MSC Class: 35R30

On regularized full- and partial-cloaks in acoustic scattering

Authors: Youjun Deng, Hongyu Liu, Gunther Uhlmann

Abstract: The aim of this work is to derive sharp quantitative estimates of the qualitative convergence results developed in [28] for regularized full- and partial-cloaks via the transformation-optics approach. Let $Γ_0$ be a compact set in $\mathbb{R}^3$ and $Γ_δ$ be a $δ$-neighborhood of $Γ_0$ for $δ\in\mathbb{R}_+$. $Γ_δ$ represents the virtual domain used for the blow-up construction. By incorporating s… ▽ More The aim of this work is to derive sharp quantitative estimates of the qualitative convergence results developed in [28] for regularized full- and partial-cloaks via the transformation-optics approach. Let $Γ_0$ be a compact set in $\mathbb{R}^3$ and $Γ_δ$ be a $δ$-neighborhood of $Γ_0$ for $δ\in\mathbb{R}_+$. $Γ_δ$ represents the virtual domain used for the blow-up construction. By incorporating suitably designed lossy layers, it is shown that if the generating set $Γ_0$ is a generic curve, then one would have an approximate full-cloak within $δ^2$ to the perfect full-cloak; whereas if $Γ_0$ is the closure of an open subset on a flat surface, then one would have an approximate partial-cloak within $δ$ to its perfect counterpart. The estimates derived are independent of the contents being cloaked; that is, the cloaking devices are capable of nearly cloaking an arbitrary content. Furthermore, as a significant byproduct, our argument allows the relaxation of the convexity requirement on $Γ_0$ in [28], which is critical for the Mosco convergence argument therein. △ Less

Submitted 19 August, 2015; v1 submitted 4 February, 2015; originally announced February 2015.

Determining both sound speed and internal source in thermo- and photo-acoustic tomography

Authors: Hongyu Liu, Gunther Uhlmann

Abstract: This paper concerns thermoacoustic tomography and photoacoustic tomography, two couple-physics imaging modalities that attempt to combine the high resolution of ultrasound and the high contrast capabilities of electromagnetic waves. We give sufficient conditions to recover both the sound speed of the medium being probed and the source. This paper concerns thermoacoustic tomography and photoacoustic tomography, two couple-physics imaging modalities that attempt to combine the high resolution of ultrasound and the high contrast capabilities of electromagnetic waves. We give sufficient conditions to recover both the sound speed of the medium being probed and the source. △ Less

Submitted 4 February, 2015; originally announced February 2015.

Regularized Transformation-Optics Cloaking in Acoustic and Electromagnetic Scattering

Authors: Hongyu Liu, Gunther Uhlmann

Abstract: We consider transformation-optics based cloaking in acoustic and electromagnetic scattering. The blueprints for an ideal cloak use singular acoustic and electromagnetic materials, posing server difficulties to both theoretical analysis and practical fabrication. In order to avoid the singular structures, various regularized approximate cloaking schemes have been developed. We survey these developm… ▽ More We consider transformation-optics based cloaking in acoustic and electromagnetic scattering. The blueprints for an ideal cloak use singular acoustic and electromagnetic materials, posing server difficulties to both theoretical analysis and practical fabrication. In order to avoid the singular structures, various regularized approximate cloaking schemes have been developed. We survey these developments in this paper. We also propose some challenging issues for further investigation. △ Less

Submitted 2 September, 2014; originally announced September 2014.

Comments: To appear in a book edited by Societe Mathematique de France, consisting of the lecture notes of the conference Inverse Problems and Imaging in Feb 2013

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.

Comments: The earlier version, v1, of the preprint had a different title - "Inverse problems in spacetime II: Reconstruction of a Lorentzian manifold from light observation sets" and it concerned only passive observations. In the new versions v2-v4 we have combined the passive observation results with inverse problems with active measurements

MSC Class: 53C50; 35J25; 83C05

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.

Comments: arXiv admin note: text overlap with arXiv:1305.1739

MSC Class: 83C05; 35J25; 53C50

Inverse boundary problems for polyharmonic operators with unbounded potentials

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the Dirichlet-to-Neumann map on the boundary of a bounded open set in $R^n$ for the perturbed polyharmonic operator $(-Δ)^m +q$ with $q\in L^{n/2m}$, $n>2m$, determines the potential $q$ in the set uniquely. In the course of the proof, we construct a special Green function for the polyharmonic operator and establish its mapping properties in suitable weighted $L^2$ an… ▽ More We show that the knowledge of the Dirichlet-to-Neumann map on the boundary of a bounded open set in $R^n$ for the perturbed polyharmonic operator $(-Δ)^m +q$ with $q\in L^{n/2m}$, $n>2m$, determines the potential $q$ in the set uniquely. In the course of the proof, we construct a special Green function for the polyharmonic operator and establish its mapping properties in suitable weighted $L^2$ and $L^p$ spaces. The $L^p$ estimates for the special Green function are derived from $L^p$ Carleman estimates with linear weights for the polyharmonic operator. △ Less

Submitted 1 August, 2015; v1 submitted 17 August, 2013; originally announced August 2013.

MSC Class: 35R30; 35J40; 31B30

Inverse Boundary Value Problem by Partial data for the Neumann-to-Dirichlet-map in two dimensions

Authors: O. Imanuvilov, G. Uhlmann, M. Yamamoto

Abstract: For the two dimensional Schrödinger equation in a bounded domain, we prove uniqueness of determination of potentials in $W^1_p(Ω),\,\, p>2$ in the case where we apply all possible Neumann data supported on an arbitrarily non-empty open set $\widetildeΓ$ of the boundary and observe the corresponding Dirichlet data on $\widetildeΓ$. An immediate consequence is that one can uniquely determine a condu… ▽ More For the two dimensional Schrödinger equation in a bounded domain, we prove uniqueness of determination of potentials in $W^1_p(Ω),\,\, p>2$ in the case where we apply all possible Neumann data supported on an arbitrarily non-empty open set $\widetildeΓ$ of the boundary and observe the corresponding Dirichlet data on $\widetildeΓ$. An immediate consequence is that one can uniquely determine a conductivity in $W^3_p(Ω)$ with $p>2$ by measuring the voltage on an open subset of the boundary corresponding to current supported in the same set. △ Less

Submitted 3 October, 2012; originally announced October 2012.

Comments: 13 pages

MSC Class: 35R30

Uniqueness in an inverse boundary problem for a magnetic Schrödinger operator with a bounded magnetic potential

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the set of the Cauchy data on the boundary of a bounded open set in $\R^n$, $n\ge 3$, for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. We show that the knowledge of the set of the Cauchy data on the boundary of a bounded open set in $\R^n$, $n\ge 3$, for the magnetic Schrödinger operator with $L^\infty$ magnetic and electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. △ Less

Submitted 9 July, 2012; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: This version contains a slight generalization of the main result of the previous version, with a complete proof. It supersedes the preprint https://arxiv.boxedpaper.com/abs/1205.1151

MSC Class: 35J10; 35R30; 35J25

On reconstruction of Lamé coefficients from partial Cauchy data in three dimensions

Authors: Oleg Imanuvilov, Gunther Uhlmann, Masashiro Yamamoto

Abstract: For the isotropic Lamé system, we prove in dimensions three or larger that both Lamé coefficients are uniquely recovered from partial Cauchy data on an arbitrary open subset of the boundary provided that the coefficient $μ$ is a priori close to a constant. For the isotropic Lamé system, we prove in dimensions three or larger that both Lamé coefficients are uniquely recovered from partial Cauchy data on an arbitrary open subset of the boundary provided that the coefficient $μ$ is a priori close to a constant. △ Less

Submitted 20 May, 2012; originally announced May 2012.

Comments: 5 pages

Determining a magnetic Schrödinger operator with a continuous magnetic potential from boundary measurements

Authors: Katsiaryna Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the set of the Cauchy data on the boundary of a $C^1$ bounded open set in $\R^n$, $n\ge 3$, for the Schrödinger operator with continuous magnetic and bounded electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. We show that the knowledge of the set of the Cauchy data on the boundary of a $C^1$ bounded open set in $\R^n$, $n\ge 3$, for the Schrödinger operator with continuous magnetic and bounded electric potentials determines the magnetic field and electric potential inside the set uniquely. The proof is based on a Carleman estimate for the magnetic Schrödinger operator with a gain of two derivatives. △ Less

Submitted 5 May, 2012; originally announced May 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1206.4727, which supercedes this

MSC Class: 35J10; 35R30; 35J25

Is a curved flight path in SAR better than a straight one?

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: In the plane, we study the transform $R_γf$ of integrating a unknown function $f$ over circles centered at a given curve $γ$. This is a simplified model of SAR, when the radar is not directed but has other applications, like thermoacoustic tomography, for example. We study the problem of recovering the wave front set $\WF(f)$. If the visible singularities of $f$ hit $γ$ once, we show that the "art… ▽ More In the plane, we study the transform $R_γf$ of integrating a unknown function $f$ over circles centered at a given curve $γ$. This is a simplified model of SAR, when the radar is not directed but has other applications, like thermoacoustic tomography, for example. We study the problem of recovering the wave front set $\WF(f)$. If the visible singularities of $f$ hit $γ$ once, we show that the "artifacts" cannot be resolved. If $γ$ is a closed curve, we show that this is still true. On the other hand, if $f$ is known a priori to have singularities in a compact set, then we show that one can recover $\WF(f)$, and moreover, this can be done in a simple explicit way, using backpropagation for the wave equation. △ Less

Submitted 4 May, 2012; originally announced May 2012.

MSC Class: 35R30; 53C65

The attenuated ray transform for connections and Higgs fields

Authors: Gabriel P. Paternain, Mikko Salo, Gunther Uhlmann

Abstract: We show that for a simple surface with boundary the attenuated ray transform in the presence of a unitary connection and a skew-Hermitian Higgs field is injective modulo the natural obstruction for functions and vector fields. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo a gauge transformation. The proofs involve a Pestov type energ… ▽ More We show that for a simple surface with boundary the attenuated ray transform in the presence of a unitary connection and a skew-Hermitian Higgs field is injective modulo the natural obstruction for functions and vector fields. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo a gauge transformation. The proofs involve a Pestov type energy identity for connections together with holomorphic gauge transformations which arrange the curvature of the connection to have definite sign. △ Less

Submitted 13 March, 2012; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: 27 pages, to appear in Geom. Funct. Anal

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.

Comments: 36 pages, 3 figures

Journal ref: Proc. Nat. Acad. Sci., 109 (2012), 10169-10174

Inverse problems with partial data for a magnetic Schrödinger operator in an infinite slab and on a bounded domain

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: In this paper we study inverse boundary value problems with partial data for the magnetic Schrödinger operator. In the case of an infinite slab in $R^n$, $n\ge 3$, we establish that the magnetic field and the electric potential can be determined uniquely, when the Dirichlet and Neumann data are given either on the different boundary hyperplanes of the slab or on the same hyperplane. This is a gene… ▽ More In this paper we study inverse boundary value problems with partial data for the magnetic Schrödinger operator. In the case of an infinite slab in $R^n$, $n\ge 3$, we establish that the magnetic field and the electric potential can be determined uniquely, when the Dirichlet and Neumann data are given either on the different boundary hyperplanes of the slab or on the same hyperplane. This is a generalization of the results of [41], obtained for the Schrödinger operator without magnetic potentials. In the case of a bounded domain in $R^n$, $n\ge 3$, extending the results of [2], we show the unique determination of the magnetic field and electric potential from the Dirichlet and Neumann data, given on two arbitrary open subsets of the boundary, provided that the magnetic and electric potentials are known in a neighborhood of the boundary. Generalizing the results of [31], we also obtain uniqueness results for the magnetic Schrödinger operator, when the Dirichlet and Neumann data are known on the same part of the boundary, assuming that the inaccessible part of the boundary is a part of a hyperplane. △ Less

Submitted 5 April, 2011; originally announced April 2011.

MSC Class: 35R30; 35J10; 35P25

Determining a first order perturbation of the biharmonic operator by partial boundary measurements

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: We consider an operator $Δ^2 + A(x)\cdot D+q(x)$ with the Navier boundary conditions on a bounded domain in $R^n$, $n\ge 3$. We show that a first order perturbation $A(x)\cdot D+q$ can be determined uniquely by measuring the Dirichlet--to--Neumann map on possibly very small subsets of the boundary of the domain. Notice that the corresponding result does not hold in general for a first order pertur… ▽ More We consider an operator $Δ^2 + A(x)\cdot D+q(x)$ with the Navier boundary conditions on a bounded domain in $R^n$, $n\ge 3$. We show that a first order perturbation $A(x)\cdot D+q$ can be determined uniquely by measuring the Dirichlet--to--Neumann map on possibly very small subsets of the boundary of the domain. Notice that the corresponding result does not hold in general for a first order perturbation of the Laplacian. △ Less

Submitted 1 March, 2011; originally announced March 2011.

MSC Class: 35R30; 31B20; 31B30; 35J40

Inverse boundary value problems for the perturbed polyharmonic operator

Authors: Katsiaryna Krupchyk, Matti Lassas, Gunther Uhlmann

Abstract: We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-Δ)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$. We show that a first order perturbation $A(x)\cdot D+q(x)$ of the polyharmonic operator $(-Δ)^m$, $m\ge 2$, can be determined uniquely from the set of the Cauchy data for the perturbed polyharmonic operator on a bounded domain in $R^n$, $n\ge 3$. Notice that the corresponding result does not hold in general when $m=1$. △ Less

Submitted 27 February, 2011; originally announced February 2011.

MSC Class: 35R30; 31B20; 31B30; 35J40

Thermoacoustic tomography arising in brain imaging

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has a jump across a smooth surface. This models the change of the sound speed in the skull when trying to image the human brain. We derive an explicit inversion formula in the form of a convergent Neumann series under the assumptions that all singularities from the support of the source reach the bo… ▽ More We study the mathematical model of thermoacoustic and photoacoustic tomography when the sound speed has a jump across a smooth surface. This models the change of the sound speed in the skull when trying to image the human brain. We derive an explicit inversion formula in the form of a convergent Neumann series under the assumptions that all singularities from the support of the source reach the boundary. △ Less

Submitted 9 September, 2010; originally announced September 2010.

MSC Class: 35R30; 74J25; 35L05; 65M32

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.

Comments: Title changed, figure added, and revised. To appear, PRE

Journal ref: Phys. Rev. E, 83 (2011), 016603

Inverse scattering for the magnetic Schroedinger operator

Authors: Lassi Päivärinta, Mikko Salo, Gunther Uhlmann

Abstract: We show that fixed energy scattering measurements for the magnetic Schroedinger operator uniquely determine the magnetic field and electric potential in dimensions $n \geq 3$. The magnetic potential, its first derivatives, and the electric potential are assumed to be exponentially decaying. This improves an earlier result of Eskin and Ralston which considered potentials with many derivatives. Th… ▽ More We show that fixed energy scattering measurements for the magnetic Schroedinger operator uniquely determine the magnetic field and electric potential in dimensions $n \geq 3$. The magnetic potential, its first derivatives, and the electric potential are assumed to be exponentially decaying. This improves an earlier result of Eskin and Ralston which considered potentials with many derivatives. The proof is close to arguments in inverse boundary problems, and is based on constructing complex geometrical optics solutions to the Schroedinger equation via a pseudodifferential conjugation argument. △ Less

Submitted 27 August, 2009; originally announced August 2009.

Comments: 23 pages

Inverse problems for the anisotropic Maxwell equations

Authors: Carlos E. Kenig, Mikko Salo, Gunther Uhlmann

Abstract: We prove that the electromagnetic material parameters are uniquely determined by boundary measurements for the time-harmonic Maxwell equations in certain anisotropic settings. We give a uniqueness result in the inverse problem for Maxwell equations on an admissible Riemannian manifold, and a uniqueness result for Maxwell equations in Euclidean space with admissible matrix coefficients. The proof… ▽ More We prove that the electromagnetic material parameters are uniquely determined by boundary measurements for the time-harmonic Maxwell equations in certain anisotropic settings. We give a uniqueness result in the inverse problem for Maxwell equations on an admissible Riemannian manifold, and a uniqueness result for Maxwell equations in Euclidean space with admissible matrix coefficients. The proofs are based on a new Fourier analytic construction of complex geometrical optics solutions on admissible manifolds, and involve a proper notion of uniqueness for such solutions. △ Less

Submitted 20 May, 2009; originally announced May 2009.

Comments: 39 pages

Journal ref: Duke Math. J. 157, no. 2 (2011), 369-419

Thermoacoustic tomography with variable sound speed

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We study the mathematical model of thermoacoustic tomography in media with a variable speed for a fixed time interval, greater than the diameter of the domain. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. We give necessary and sufficient conditions for uniqueness and stability when the measurements are taken on a part of the… ▽ More We study the mathematical model of thermoacoustic tomography in media with a variable speed for a fixed time interval, greater than the diameter of the domain. In case of measurements on the whole boundary, we give an explicit solution in terms of a Neumann series expansion. We give necessary and sufficient conditions for uniqueness and stability when the measurements are taken on a part of the boundary. △ Less

Submitted 30 May, 2009; v1 submitted 11 February, 2009; originally announced February 2009.

MSC Class: 35R30; 74J25; 35L05; 65M32

Journal ref: Inverse Prob. 25(2009), 075011

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.

Comments: 2 color figures

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.

Comments: 68 pages, 12 figures. To appear in the Bulletin of the AMS

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.

Comments: Revised, with new figures. Single column format

Journal ref: Physical Review Letters 101, no. 22, 220404 (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.

Comments: 43 pages, 7 figures; revised per referees' comments; new references and figures

Journal ref: New Jour. Phys. 10 (2008) 115024

An inverse source problem in optical molecular imaging

Authors: Plamen Stefanov, Gunther Uhlmann

Abstract: We study the direct and an inverse source problem for the radiative transfer equation arising in optical molecular imaging. We show that for generic absorption and scattering coefficients, the direct problem is well-posed and the inverse one is uniquely solvable, with a stability estimate. We study the direct and an inverse source problem for the radiative transfer equation arising in optical molecular imaging. We show that for generic absorption and scattering coefficients, the direct problem is well-posed and the inverse one is uniquely solvable, with a stability estimate. △ Less

Submitted 27 March, 2008; originally announced March 2008.

MSC Class: 35R30

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.

Comments: 22 pages, 2 color figures

Journal ref: Optics Express, Vol. 15, Issue 20 (2007), 12717-12734

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.

Comments: 25 pages, 6 figures (some color)

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.

Comments: 4 pages, 3 figures

MSC Class: PACS 41.20.Jb; 42.79.Ry

Journal ref: Phys.Rev.Lett.99:183901,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.

Comments: Final revision; to appear in Commun. in Math. Physics

MSC Class: 78A40; 35P25

Journal ref: Comm. in Math. Phys. 275, no.3 (2007), 749-789.

Inverse problems in N-body scattering

Authors: Gunther Uhlmann, Andras Vasy

Abstract: We survey finite energy inverse results in N-body scattering, and we also sketch the proof of the extension of our recent two-cluster to two-cluster three-body result to the many-body case: this requires only minor modifications. We also indicate how to extend a free-to-free inverse result in three-body scattering to the many-body case. We survey finite energy inverse results in N-body scattering, and we also sketch the proof of the extension of our recent two-cluster to two-cluster three-body result to the many-body case: this requires only minor modifications. We also indicate how to extend a free-to-free inverse result in three-body scattering to the many-body case. △ Less

Submitted 25 February, 2003; originally announced February 2003.

Comments: 19 pages, 1 figure

MSC Class: 81U40 (Primary) 35P25; 81U10 (Secondary)

Propagation of Polarization in Elastodynamics with Residual Stress and Travel Times

Authors: Sonke Hansen, Gunther Uhlmann

Abstract: We show that knowing the Dirichlet-to-Neumann map (DN) associated to the equations of elastodynamics with residual stress we can determine the lens relations of presssure and shear waves. We derive several consequences of this for the inverse problem of determining the residual stress and the Lamé parameters from the DN map. We show that knowing the Dirichlet-to-Neumann map (DN) associated to the equations of elastodynamics with residual stress we can determine the lens relations of presssure and shear waves. We derive several consequences of this for the inverse problem of determining the residual stress and the Lamé parameters from the DN map. △ Less

Submitted 17 January, 2002; originally announced January 2002.

Report number: MSRI 2001-050

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

Authors: Allan Greenleaf, Matti Lassas, Gunther Uhlmann

Abstract: 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… ▽ More 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. △ Less

Submitted 4 October, 2002; v1 submitted 12 December, 2001; originally announced December 2001.

Comments: Final revision with corrections; 23 pages; to appear in Comm. Pure Appl. Math

MSC Class: 35R30 (Primary); 35R05 (Secondary)

Low energy inverse problems in three-body scattering

Authors: Gunther Uhlmann, Andras Vasy

Abstract: We consider low energy inverse problems in three-body scattering and show that if all unknown interactions are small in an appropriate sense then the 2-cluster to 2-cluster S-matrices given at low energies determine the Fourier transform of the effective interaction in a ball. We consider low energy inverse problems in three-body scattering and show that if all unknown interactions are small in an appropriate sense then the 2-cluster to 2-cluster S-matrices given at low energies determine the Fourier transform of the effective interaction in a ball. △ Less

Submitted 17 October, 2001; originally announced October 2001.

Comments: 19 pages, no figures

MSC Class: 81U40 (Primary) 35P25; 81U10 (Secondary)

Local uniqueness for the Dirichlet-to-Neumann map via the two-plane transform

Authors: Allan Greenleaf, Gunther Uhlmann

Abstract: We consider the Dirichlet-to-Neumann map associated to the Schrödinger equation with a potential in a bounded Lipschitz domain in three or more dimensions. We show that the integral of the potential over a two-plane is determined by the Cauchy data of certain exponentially growing solutions on any neighborhood of the intersection of the two-plane with the boundary. We consider the Dirichlet-to-Neumann map associated to the Schrödinger equation with a potential in a bounded Lipschitz domain in three or more dimensions. We show that the integral of the potential over a two-plane is determined by the Cauchy data of certain exponentially growing solutions on any neighborhood of the intersection of the two-plane with the boundary. △ Less

Submitted 9 November, 2000; v1 submitted 18 January, 2000; originally announced January 2000.

Comments: Final revision, to appear in the Duke Mathmematical Journal

MSC Class: 35R30; 44A12