Showing 1–50 of 183 results for author: Uhlmann, G

Partial data inverse problems for reaction-diffusion and heat equations

Authors: Ali Feizmohammadi, Yavar Kian, Gunther Uhlmann

Abstract: We study partial data inverse problems for linear and nonlinear parabolic equations with unknown time-dependent coefficients. In particular, we prove uniqueness results for partial data inverse problems for semilinear reaction-diffusion equations where Dirichlet boundary data and Neumann measurements of solutions are restricted to any open subset of the boundary. We also prove injectivity of the F… ▽ More We study partial data inverse problems for linear and nonlinear parabolic equations with unknown time-dependent coefficients. In particular, we prove uniqueness results for partial data inverse problems for semilinear reaction-diffusion equations where Dirichlet boundary data and Neumann measurements of solutions are restricted to any open subset of the boundary. We also prove injectivity of the Fréchet derivative of the partial Dirichlet-to-Neumann map associated to heat equations. Our proof consists of two crucial ingredients; (i) we introduce an asymptotic family of spherical quasimodes that approximately solve heat equations modulo an exponentially decaying remainder term and (ii) the asymptotic study of a weighted Laplace transform of the unknown coefficient along a straight line segment in the domain where the weight may be viewed as a semiclassical symbol that itself depends on the complex-valued frequency. The latter analysis will rely on Phragmén-Lindelöf principle and Grönwall inequality. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: 39 pages. Comments are welcome!

Invertibility of local geodesic transverse and mixed ray transforms II: higher order tensors

Authors: Gunther Uhlmann, Jian Zhai

Abstract: Consider a compact Riemannian manifold in dimension $n$ with strictly convex boundary. We show the local invertibility near a boundary point of the transverse ray transform of $2$ tensors for $n\geq 3$ and the mixed ray transform of $2+2$ tensors for $n=3$. When the manifold admits a strictly convex function, this local invertibility result leads to global invertibility. Consider a compact Riemannian manifold in dimension $n$ with strictly convex boundary. We show the local invertibility near a boundary point of the transverse ray transform of $2$ tensors for $n\geq 3$ and the mixed ray transform of $2+2$ tensors for $n=3$. When the manifold admits a strictly convex function, this local invertibility result leads to global invertibility. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Invertibility of local geodesic transverse and mixed ray transforms I: basic cases

Authors: Gunther Uhlmann, Jian Zhai

Abstract: Consider a compact Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We show that the transverse ray transform of $1$ tensors and the mixed ray transform of $1+1$ tensors are invertible, up to natural obstructions, near a boundary point. When the manifold admits a strictly convex function, this local invertibility result leads to a global result by a layer strip** argumen… ▽ More Consider a compact Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We show that the transverse ray transform of $1$ tensors and the mixed ray transform of $1+1$ tensors are invertible, up to natural obstructions, near a boundary point. When the manifold admits a strictly convex function, this local invertibility result leads to a global result by a layer strip** argument. △ Less

Submitted 17 January, 2024; originally announced January 2024.

MSC Class: 53C22; 53C65

Inverse Problems For Third-Order Nonlinear Perturbations Of Biharmonic Operators

Authors: Sombuddha Bhattacharyya, Katya Krupchyk, Suman Kumar Sahoo, Gunther Uhlmann

Abstract: We study inverse boundary problems for third-order nonlinear tensorial perturbations of biharmonic operators on a bounded domain in $\mathbb{R}^n$, where $n\geq 3$. By imposing appropriate assumptions on the nonlinearity, we demonstrate that the Dirichlet-to-Neumann map, known on the boundary of the domain, uniquely determines the genuinely nonlinear tensorial third-order perturbations of the biha… ▽ More We study inverse boundary problems for third-order nonlinear tensorial perturbations of biharmonic operators on a bounded domain in $\mathbb{R}^n$, where $n\geq 3$. By imposing appropriate assumptions on the nonlinearity, we demonstrate that the Dirichlet-to-Neumann map, known on the boundary of the domain, uniquely determines the genuinely nonlinear tensorial third-order perturbations of the biharmonic operator. The proof relies on the inversion of certain generalized momentum ray transforms on symmetric tensor fields. Notably, the corresponding inverse boundary problem for linear tensorial third-order perturbations of the biharmonic operator remains an open question. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Determination of the density in a nonlinear elastic wave equation

Authors: Gunther Uhlmann, Jian Zhai

Abstract: This is a continuation of our study [Uhlmann-Zhai, JMPA, 2021] on an inverse boundary value problem for a nonlinear elastic wave equation. We prove that all the linear and nonlinear coefficients can be recovered from the displacement-to-traction map, including the density, under some natural geometric conditions on the wavespeeds. This is a continuation of our study [Uhlmann-Zhai, JMPA, 2021] on an inverse boundary value problem for a nonlinear elastic wave equation. We prove that all the linear and nonlinear coefficients can be recovered from the displacement-to-traction map, including the density, under some natural geometric conditions on the wavespeeds. △ Less

Submitted 24 January, 2024; v1 submitted 23 August, 2023; originally announced August 2023.

The Calderón problem for nonlocal parabolic operators: A new reduction from the nonlocal to the local

Authors: Ching-Lung Lin, Yi-Hsuan Lin, Gunther Uhlmann

Abstract: In this article, we investigate the Calderón problem for nonlocal parabolic equations, where we are interested to recover the leading coefficient of nonlocal parabolic operators. The main contribution is that we can relate both (anisotropic) variable coefficients local and nonlocal Calderón problem for parabolic equations. More concretely, we show that the (partial) Dirichlet-to-Neumann map for th… ▽ More In this article, we investigate the Calderón problem for nonlocal parabolic equations, where we are interested to recover the leading coefficient of nonlocal parabolic operators. The main contribution is that we can relate both (anisotropic) variable coefficients local and nonlocal Calderón problem for parabolic equations. More concretely, we show that the (partial) Dirichlet-to-Neumann map for the nonlocal parabolic equation determines the (full) Dirichlet-to-Neumann map for the local parabolic equation. This article extends our earlier results [LLU22] by using completely different methods. Moreover, the results hold for any spatial dimension $n\geq 2$. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 46 pages. All comments are welcome

A Reduction of the Fractional Calderón Problem to the Local Calderón Problem by Means of the Caffarelli-Silvestre Extension

Authors: Giovanni Covi, Tuhin Ghosh, Angkana Rüland, Gunther Uhlmann

Abstract: We relate the (anisotropic) variable coefficient local and nonlocal Calderón problems by means of the Caffarelli-Silvestre extension. In particular, we prove that (partial) Dirichlet-to-Neumann data for the fractional Calderón problem in three and higher dimensions determine the (full) Dirichlet-to-Neumann data for the local Calderón problem. As a consequence, any (variable coefficient) uniqueness… ▽ More We relate the (anisotropic) variable coefficient local and nonlocal Calderón problems by means of the Caffarelli-Silvestre extension. In particular, we prove that (partial) Dirichlet-to-Neumann data for the fractional Calderón problem in three and higher dimensions determine the (full) Dirichlet-to-Neumann data for the local Calderón problem. As a consequence, any (variable coefficient) uniqueness result for the local problem also implies a uniqueness result for the nonlocal problem. Moreover, our approach is constructive and associated Tikhonov regularization schemes can be used to recover the data. Finally, we highlight obstructions for reversing this procedure, which essentially consist of two one-dimensional averaging processes. △ Less

Submitted 20 June, 2023; v1 submitted 7 May, 2023; originally announced May 2023.

Comments: 34 pages, comments welcome, corrected some typos

Reconstruction of a Lorentzian manifold from its Dirichlet-to-Neumann map

Authors: Alberto Enciso, Michał Wrochna, Gunther Uhlmann

Abstract: We prove that the Dirichlet-to-Neumann map of the linear wave equation determines the topological, differentiable and conformal structure of the underlying Lorentzian manifold, under mild technical assumptions. With more stringent geometric assumptions, the full Lorentzian structure of the manifold can be recovered as well. The key idea of the proof is to show that the singular support of the Schw… ▽ More We prove that the Dirichlet-to-Neumann map of the linear wave equation determines the topological, differentiable and conformal structure of the underlying Lorentzian manifold, under mild technical assumptions. With more stringent geometric assumptions, the full Lorentzian structure of the manifold can be recovered as well. The key idea of the proof is to show that the singular support of the Schwartz kernel of the Dirichlet-to-Neumann map of a manifold completely determines the so-called boundary light observation set of the manifold together with its natural causal structure. △ Less

Submitted 27 October, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: There is an error in the proof

Determination of the sound speed and an initial source in photoacoustic tomography

Authors: Yavar Kian, Gunther Uhlmann

Abstract: In thermoacoustic and photoacoustic tomography an electromagnetic wave is sent through a medium, heating it and therefore generating an elastic expansion that in turns generates an acoustic wave that is measured outside the medium. The general problem is to recover both the inhomogeneous sound speed and the initial pressure from the boundary measurements of the solution of the acoustic wave equati… ▽ More In thermoacoustic and photoacoustic tomography an electromagnetic wave is sent through a medium, heating it and therefore generating an elastic expansion that in turns generates an acoustic wave that is measured outside the medium. The general problem is to recover both the inhomogeneous sound speed and the initial pressure from the boundary measurements of the solution of the acoustic wave equation with a single measurement of the pressure. We show that one can recover both the sound speed and the initial pressure assuming a monocitiy condition on the sound speed that includes the physically interesting case of piecewise constant sound speeds. We also establish a link between this problem and the corresponding transmission eigenvalue problem. △ Less

Submitted 7 February, 2023; originally announced February 2023.

MSC Class: 35R30; 35L05

The Calderón problem for nonlocal parabolic operators

Authors: Ching-Lung Lin, Yi-Hsuan Lin, Gunther Uhlmann

Abstract: We investigate inverse problems in the determination of leading coefficients for nonlocal parabolic operators, by knowing the corresponding Cauchy data in the exterior space-time domain. The key contribution is that we reduce nonlocal parabolic inverse problems to the corresponding local inverse problems with the lateral boundary Cauchy data. In addition, we derive a new equation and offer a novel… ▽ More We investigate inverse problems in the determination of leading coefficients for nonlocal parabolic operators, by knowing the corresponding Cauchy data in the exterior space-time domain. The key contribution is that we reduce nonlocal parabolic inverse problems to the corresponding local inverse problems with the lateral boundary Cauchy data. In addition, we derive a new equation and offer a novel proof of the unique continuation property for this new equation. We also build both uniqueness and non-uniqueness results for both nonlocal isotropic and anisotropic parabolic Calderón problems, respectively. △ Less

Submitted 11 March, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: 34 pages. All comments are welcome. Several typos are corrected

Recovery of coefficients in semilinear transport equations

Authors: Ru-Yu Lai, Gunther Uhlmann, Hanming Zhou

Abstract: We consider the inverse problem for time-dependent semilinear transport equations. We show that time-independent coefficients of both the linear (absorption or scattering coefficients) and nonlinear terms can be uniquely determined, in a stable way, from the boundary measurements by applying a linearization scheme and Carleman estimates for the linear transport equations. We establish results in b… ▽ More We consider the inverse problem for time-dependent semilinear transport equations. We show that time-independent coefficients of both the linear (absorption or scattering coefficients) and nonlinear terms can be uniquely determined, in a stable way, from the boundary measurements by applying a linearization scheme and Carleman estimates for the linear transport equations. We establish results in both Euclidean and general geometry settings. △ Less

Submitted 9 May, 2024; v1 submitted 20 July, 2022; originally announced July 2022.

Comments: 33 pages, to appear in Arch. Ration. Mech. Anal

The Calderón problem for the fractional Dirac operator

Authors: Hadrian Quan, Gunther Uhlmann

Abstract: We show that knowledge of the source-to-solution map for the fractional Dirac operator acting over sections of a Hermitian vector bundle over a smooth closed connencted Riemannian manifold of dimension $m\geq 2$ determines uniquely the smooth structure, Riemannian metric, Hermitian bundle and connection, and its Clifford modulo up to a isometry. We also mention several potential applications in ph… ▽ More We show that knowledge of the source-to-solution map for the fractional Dirac operator acting over sections of a Hermitian vector bundle over a smooth closed connencted Riemannian manifold of dimension $m\geq 2$ determines uniquely the smooth structure, Riemannian metric, Hermitian bundle and connection, and its Clifford modulo up to a isometry. We also mention several potential applications in physics and other fields. △ Less

Submitted 2 April, 2022; originally announced April 2022.

MSC Class: 35S05 (Primary); 58J35; 58J53 (Secondary)

Recovery of black hole mass from a single quasinormal mode

Authors: Gunther Uhlmann, Yiran Wang

Abstract: We study the determination of the mass of a de Sitter-Schwarzschild black hole from one quasinormal mode. We prove a local uniqueness result with a Hölder type stability estimate. We study the determination of the mass of a de Sitter-Schwarzschild black hole from one quasinormal mode. We prove a local uniqueness result with a Hölder type stability estimate. △ Less

Submitted 25 March, 2022; originally announced March 2022.

Recovery of piecewise smooth density and Lamé parameters from high-frequency exterior Cauchy data

Authors: Sombuddha Bhattacharyya, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: We consider an isotropic elastic medium occupying a bounded domain D whose density and Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside the domain D and only for initial data supported outside D, and we study the recovery of the density and Lamé parameters. For known density,… ▽ More We consider an isotropic elastic medium occupying a bounded domain D whose density and Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside the domain D and only for initial data supported outside D, and we study the recovery of the density and Lamé parameters. For known density, results have recently been obtained using the scattering control method to recover wave speeds. Here, we extend this result to include the recovery of the density in addition to the Lamé parameters under certain geometric conditions using techniques from microlocal analysis and a connection to local tensor tomography. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 25 pages

MSC Class: 35S30; 35L51

An inverse boundary value problem arising in nonlinear acoustics

Authors: Gunther Uhlmann, Yang Zhang

Abstract: We consider an inverse problem arising in nonlinear ultrasound imaging. The propagation of ultrasound waves is modeled by a quasilinear wave equation. We make measurements at the boundary of the medium encoded in the Dirichlet-to-Neumann map, and we show that these measurements determine the nonlinearity. We consider an inverse problem arising in nonlinear ultrasound imaging. The propagation of ultrasound waves is modeled by a quasilinear wave equation. We make measurements at the boundary of the medium encoded in the Dirichlet-to-Neumann map, and we show that these measurements determine the nonlinearity. △ Less

Submitted 6 March, 2022; originally announced March 2022.

Comments: 36 pages. arXiv admin note: substantial text overlap with arXiv:2104.08386

Recovery of wave speeds and density of mass across a heterogeneous smooth interface from acoustic and elastic wave reflection operators

Authors: Sombuddha Bhattacharyya, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: We revisit the problem of recovering wave speeds and density across a curved interface from reflected wave amplitudes. Such amplitudes have been exploited for decades in (exploration) seismology in this context. However, the analysis in seismology has been based on linearization and mostly flat interfaces. Here, we present a nonlinear analysis allowing curved interfaces, establish uniqueness and p… ▽ More We revisit the problem of recovering wave speeds and density across a curved interface from reflected wave amplitudes. Such amplitudes have been exploited for decades in (exploration) seismology in this context. However, the analysis in seismology has been based on linearization and mostly flat interfaces. Here, we present a nonlinear analysis allowing curved interfaces, establish uniqueness and provide a reconstruction, while making the notion of amplitude precise through a procedure rooted in microlocal analysis. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: submitted for journal publication 10/21/2021; 42 pages

Single pixel X-ray transform and related inverse problems

Authors: Ru-Yu Lai, Gunther Uhlmann, Jian Zhai, Hanming Zhou

Abstract: In this paper, we analyze the nonlinear single pixel X-ray transform $K$ and study the reconstruction of $f$ from the measurement $Kf$. Different from the well-known X-ray transform, the transform $K$ is a nonlinear operator and uses a single detector that integrates all rays in the space. We derive stability estimates and an inversion formula of $K$. We also consider the case where we integrate a… ▽ More In this paper, we analyze the nonlinear single pixel X-ray transform $K$ and study the reconstruction of $f$ from the measurement $Kf$. Different from the well-known X-ray transform, the transform $K$ is a nonlinear operator and uses a single detector that integrates all rays in the space. We derive stability estimates and an inversion formula of $K$. We also consider the case where we integrate along geodesics of a Riemannian metric. Moreover, we conduct several numerical experiments to corroborate the theoretical results. △ Less

Submitted 27 December, 2021; originally announced December 2021.

MSC Class: 35R30

Breaking the conformal freedom of spacetime with supernova neutrino imaging

Authors: Joonas Ilmavirta, Gunther Uhlmann

Abstract: It is known that a geometric measurement of the light cones of supernovae determines the conformal class of the visible part of the spacetime. The conformal factor is physically meaningful but cannot be determined geometrically by anything with zero mass, such as the photon. We show that measuring the neutrino cones in addition to light cones completely removes this gauge freedom. We describe the… ▽ More It is known that a geometric measurement of the light cones of supernovae determines the conformal class of the visible part of the spacetime. The conformal factor is physically meaningful but cannot be determined geometrically by anything with zero mass, such as the photon. We show that measuring the neutrino cones in addition to light cones completely removes this gauge freedom. We describe the physical model in great detail, including why ultrarelativistic neutrinos are the only option. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 12 pages, 3 figures

Fractional anisotropic Calderón problem on closed Riemannian manifolds

Authors: Ali Feizmohammadi, Tuhin Ghosh, Katya Krupchyk, Gunther Uhlmann

Abstract: In this paper we solve the fractional anisotropic Calderón problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian, given on an arbitrary small open nonempty a priori known subset of a smooth closed connected Riemannian manifold, determines the Riemannian manifold up to an isomet… ▽ More In this paper we solve the fractional anisotropic Calderón problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian, given on an arbitrary small open nonempty a priori known subset of a smooth closed connected Riemannian manifold, determines the Riemannian manifold up to an isometry. This can be viewed as a nonlocal analog of the anisotropic Calderón problem in the setting of closed Riemannian manifolds, which is wide open in dimensions three and higher. △ Less

Submitted 6 December, 2021; originally announced December 2021.

MSC Class: 35S05; 58J35; 58J40

An inverse problem for a quasilinear convection--diffusion equation

Authors: Ali Feizmohammadi, Yavar Kian, Gunther Uhlmann

Abstract: We study the inverse problem of recovering a semilinear diffusion term $a(t,λ)$ as well as a quasilinear convection term $\mathcal B(t,x,λ,ξ)$ in a nonlinear parabolic equation $$\partial_tu-\textrm{div}(a(t,u) \nabla u)+\mathcal B(t,x,u,\nabla u)\cdot\nabla u=0, \quad \mbox{in}\ (0,T)\timesΩ,$$ given the knowledge of the flux of the moving quantity associated with different sources applied at the… ▽ More We study the inverse problem of recovering a semilinear diffusion term $a(t,λ)$ as well as a quasilinear convection term $\mathcal B(t,x,λ,ξ)$ in a nonlinear parabolic equation $$\partial_tu-\textrm{div}(a(t,u) \nabla u)+\mathcal B(t,x,u,\nabla u)\cdot\nabla u=0, \quad \mbox{in}\ (0,T)\timesΩ,$$ given the knowledge of the flux of the moving quantity associated with different sources applied at the boundary of the domain. This inverse problem that is modeled by the solution dependent parameters $a$ and $\mathcal B$ has many physical applications related to various classes of cooperative interactions or complex mixing in diffusion processes. Our main result states that, under suitable assumptions, it is possible to fully recover the nonlinear diffusion term $a$ as well as the nonlinear convection term $\mathcal B$. The recovery of the diffusion term is based on the idea of solutions to the linearized equation with singularities near the boundary $\partial Ω$. Our proof of the recovery of the convection term is based on the idea of higher order linearization to reduce the inverse problem to a density property for certain anisotropic products of solutions to the linearized equation. We show this density property by constructing sufficiently smooth geometric optic solutions concentrating on rays in $Ω$. △ Less

Submitted 14 November, 2021; originally announced November 2021.

MSC Class: 35R30; 35K59; 35K61; 80A23; 60J60

A remark on inverse problems for nonlinear magnetic Schrödinger equations on complex manifolds

Authors: Katya Krupchyk, Gunther Uhlmann, Lili Yan

Abstract: We show that the knowledge of the Dirichlet--to--Neumann map for a nonlinear magnetic Schrödinger operator on the boundary of a compact complex manifold, equipped with a Kähler metric and admitting sufficiently many global holomorphic functions, determines the nonlinear magnetic and electric potentials uniquely. We show that the knowledge of the Dirichlet--to--Neumann map for a nonlinear magnetic Schrödinger operator on the boundary of a compact complex manifold, equipped with a Kähler metric and admitting sufficiently many global holomorphic functions, determines the nonlinear magnetic and electric potentials uniquely. △ Less

Submitted 26 October, 2021; originally announced October 2021.

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

The Calderón problem for nonlocal operators

Authors: Tuhin Ghosh, Gunther Uhlmann

Abstract: We study the inverse problem of determining the coefficients of the fractional power of a general second order elliptic operator given in the exterior of an open subset of the Euclidean space. We show the problem can be reduced into determining the coefficients from the boundary Cauchy data of the elliptic operator on the open set, the Calderón problem. As a corollary we establish several new resu… ▽ More We study the inverse problem of determining the coefficients of the fractional power of a general second order elliptic operator given in the exterior of an open subset of the Euclidean space. We show the problem can be reduced into determining the coefficients from the boundary Cauchy data of the elliptic operator on the open set, the Calderón problem. As a corollary we establish several new results for nonlocal inverse problems by using the corresponding results for the local inverse problems. In particular the isotropic nonlocal Calderón problem can be resolved completely, assuming some regularity assumptions on the coefficients, and the anisotropic Calderón problem modulo an isometry which is the identity at the boundary for real-analytic anisotropic conductivities in dimension greater than two and bounded and measurable anisotropic conductivities in two dimensions. △ Less

Submitted 18 October, 2021; originally announced October 2021.

An inverse problem for the porous medium equation with partial data and a possibly singular absorption term

Authors: Cătălin I. Cârstea, Tuhin Ghosh, Gunther Uhlmann

Abstract: In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term $ε\partial_t u-\nabla\cdot(γ\nabla u^m)+λu^q=0$, with $m>1$, $m^{-1}<q<\sqrt{m}$, with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas… ▽ More In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term $ε\partial_t u-\nabla\cdot(γ\nabla u^m)+λu^q=0$, with $m>1$, $m^{-1}<q<\sqrt{m}$, with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas flow (through a porous medium), plasma physics, and population dynamics. In the case when $γ=1$ a priori, we prove unique identifiability with data supported in an arbitrarily small part of the boundary. Even for the global problem we improve on previous work by obtaining uniqueness with a finite (rather than infinite) time of observation and also by introducing the additional absorption term $λu^q$. △ Less

Submitted 14 December, 2021; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: this version adds a partial data result to the original posting

Nonlinear ultrasound imaging modeled by a Westervelt equation

Authors: Sebastian Acosta, Gunther Uhlmann, Jian Zhai

Abstract: We consider the ultrasound imaging problem governed by a nonlinear wave equation of Westervelt type with variable wave speed. We show that the coefficient of nonlinearity can be recovered uniquely from knowledge of the Dirichlet-to-Neumann map. Our proof is based on a second order linearization and the use of Gaussian beam solutions to reduce the problem to the inversion of a weighted geodesic ray… ▽ More We consider the ultrasound imaging problem governed by a nonlinear wave equation of Westervelt type with variable wave speed. We show that the coefficient of nonlinearity can be recovered uniquely from knowledge of the Dirichlet-to-Neumann map. Our proof is based on a second order linearization and the use of Gaussian beam solutions to reduce the problem to the inversion of a weighted geodesic ray transform. We propose an inversion algorithm and report the results of a numerical implementation to solve the nonlinear ultrasound imaging problem in a transmission setting in the frequency domain. △ Less

Submitted 2 February, 2022; v1 submitted 12 May, 2021; originally announced May 2021.

Inverse Boundary Value Problems for Wave Equations with Quadratic Nonlinearities

Authors: Gunther Uhlmann, Yang Zhang

Abstract: We study inverse problems for the nonlinear wave equation $\square_g u + w(x,u, \nabla_g u) = 0$ in a Lorentzian manifold $(M,g)$ with boundary, where $\nabla_g u$ denotes the gradient and $w(x,u, ξ)$ is smooth and quadratic in $ξ$. Under appropriate assumptions, we show that the conformal class of the Lorentzian metric $g$ can be recovered up to diffeomorphisms, from the knowledge of the Neumann-… ▽ More We study inverse problems for the nonlinear wave equation $\square_g u + w(x,u, \nabla_g u) = 0$ in a Lorentzian manifold $(M,g)$ with boundary, where $\nabla_g u$ denotes the gradient and $w(x,u, ξ)$ is smooth and quadratic in $ξ$. Under appropriate assumptions, we show that the conformal class of the Lorentzian metric $g$ can be recovered up to diffeomorphisms, from the knowledge of the Neumann-to-Dirichlet map. With some additional conditions, we can recover the metric itself up to diffeomorphisms. Moreover, we can recover the second and third quadratic forms in the Taylor expansion of $w(x,u, ξ)$ with respect to $u$ up to null forms. △ Less

Submitted 31 October, 2021; v1 submitted 16 April, 2021; originally announced April 2021.

Comments: 43 pages

The anisotropic Calderón problem for high fixed frequency

Authors: Gunther Uhlmann, Yiran Wang

Abstract: We consider Schrödinger operators at a fixed high frequency on simply connected compact Riemannian manifolds with non-positive sectional curvatures and smooth strictly convex boundaries. We prove that the Dirichlet-to-Neumann map uniquely determines the potential. We consider Schrödinger operators at a fixed high frequency on simply connected compact Riemannian manifolds with non-positive sectional curvatures and smooth strictly convex boundaries. We prove that the Dirichlet-to-Neumann map uniquely determines the potential. △ Less

Submitted 7 April, 2021; originally announced April 2021.

The Dirichlet-to-Neumann map for a semilinear wave equation on Lorentzian manifolds

Authors: Peter Hintz, Gunther Uhlmann, Jian Zhai

Abstract: We consider the semilinear wave equation $\Box_g u+a u^4=0$, $a\neq 0$, on a Lorentzian manifold $(M,g)$ with timelike boundary. We show that from the knowledge of the Dirichlet-to-Neumann map one can recover the metric $g$ and the coefficient $a$ up to natural obstructions. Our proof rests on the analysis of the interaction of distorted plane waves together with a scattering control argument, as… ▽ More We consider the semilinear wave equation $\Box_g u+a u^4=0$, $a\neq 0$, on a Lorentzian manifold $(M,g)$ with timelike boundary. We show that from the knowledge of the Dirichlet-to-Neumann map one can recover the metric $g$ and the coefficient $a$ up to natural obstructions. Our proof rests on the analysis of the interaction of distorted plane waves together with a scattering control argument, as well as Gaussian beam solutions. △ Less

Submitted 14 March, 2021; originally announced March 2021.

The Calderón inverse problem for isotropic quasilinear conductivities

Authors: Cătălin I. Cârstea, Ali Feizmohammadi, Yavar Kian, Katya Krupchyk, Gunther Uhlmann

Abstract: We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to… ▽ More We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Optimality of increasing stability for an inverse boundary value problem

Authors: Pu-Zhao Kow, Gunther Uhlmann, Jenn-Nan Wang

Abstract: In this work we study the optimality of increasing stability of the inverse boundary value problem (IBVP) for Schrödinger equation. The rigorous justification of increasing stability for the IBVP for Schrödinger equation were established by Isakov \cite{Isa11} and by Isakov, Nagayasu, Uhlmann, Wang of the paper \cite{INUW14}. In \cite{Isa11}, \cite{INUW14}, the authors showed that the stability of… ▽ More In this work we study the optimality of increasing stability of the inverse boundary value problem (IBVP) for Schrödinger equation. The rigorous justification of increasing stability for the IBVP for Schrödinger equation were established by Isakov \cite{Isa11} and by Isakov, Nagayasu, Uhlmann, Wang of the paper \cite{INUW14}. In \cite{Isa11}, \cite{INUW14}, the authors showed that the stability of this IBVP increases as the frequency increases in the sense that the stability estimate changes from a logarithmic type to a Hölder type. In this work, we prove that the instability changes from an exponential type to a Hölder type when the frequency increases. This result verifies that results in \cite{Isa11}, \cite{INUW14} are optimal. △ Less

Submitted 15 July, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

MSC Class: 35J15; 35R25; 35R30

Recovery of nonlinear terms for reaction diffusion equations from boundary measurements

Authors: Yavar Kian, Gunther Uhlmann

Abstract: We consider the inverse problem of determining a general semilinear term appearing in nonlinear parabolic equations. For this purpose, we derive a new criterion that allows to prove global recovery of some general class of semilinear terms from lateral boundary measurements of solutions of the equation with initial condition fixed at zero. More precisely, we prove, for what seems to be the first t… ▽ More We consider the inverse problem of determining a general semilinear term appearing in nonlinear parabolic equations. For this purpose, we derive a new criterion that allows to prove global recovery of some general class of semilinear terms from lateral boundary measurements of solutions of the equation with initial condition fixed at zero. More precisely, we prove, for what seems to be the first time, the unique and stable recovery of general semilinear terms depending on time and space variables independently of the solution of the nonlinear equation from the knowledge of the parabolic Dirichlet-to-Neumann map associated with the solution of the equation with initial condition fixed at zero. Our approach is based on the second linearization of the inverse problem under consideration. △ Less

Submitted 11 November, 2020; originally announced November 2020.

MSC Class: 35R30; 35J25; 35J61; 35K20; 35K58

Partial data inverse problems for quasilinear conductivity equations

Authors: Yavar Kian, Katya Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the Dirichlet-to-Neumann maps given on an arbitrary open non-empty portion of the boundary of a smooth domain in $\mathbb{R}^n$, $n\ge 2$, for classes of semilinear and quasilinear conductivity equations, determines the nonlinear conductivities uniquely. The main ingredient in the proof is a certain $L^1$-density result involving sums of products of gradients of harmo… ▽ More We show that the knowledge of the Dirichlet-to-Neumann maps given on an arbitrary open non-empty portion of the boundary of a smooth domain in $\mathbb{R}^n$, $n\ge 2$, for classes of semilinear and quasilinear conductivity equations, determines the nonlinear conductivities uniquely. The main ingredient in the proof is a certain $L^1$-density result involving sums of products of gradients of harmonic functions which vanish on a closed proper subset of the boundary. △ Less

Submitted 2 November, 2020; v1 submitted 21 October, 2020; originally announced October 2020.

MSC Class: 35R30; 35J61

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

The higher order fractional Calderón problem for linear local operators: uniqueness

Authors: Giovanni Covi, Keijo Mönkkönen, Jesse Railo, Gunther Uhlmann

Abstract: We study an inverse problem for the fractional Schrödinger equation (FSE) with a local perturbation by a linear partial differential operator (PDO) of order smaller than the order of the fractional Laplacian. We show that one can uniquely recover the coefficients of the PDO from the Dirichlet-to-Neumann (DN) map associated to the perturbed FSE. This is proved for two classes of coefficients: coeff… ▽ More We study an inverse problem for the fractional Schrödinger equation (FSE) with a local perturbation by a linear partial differential operator (PDO) of order smaller than the order of the fractional Laplacian. We show that one can uniquely recover the coefficients of the PDO from the Dirichlet-to-Neumann (DN) map associated to the perturbed FSE. This is proved for two classes of coefficients: coefficients which belong to certain spaces of Sobolev multipliers and coefficients which belong to fractional Sobolev spaces with bounded derivatives. Our study generalizes recent results for the zeroth and first order perturbations to higher order perturbations. △ Less

Submitted 13 January, 2022; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 21 pages

MSC Class: 35R30 35R11

Journal ref: Advances in Mathematics 399 (2022), 108246

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

An inverse boundary value problem for a semilinear wave equation on Lorentzian manifolds

Authors: Peter Hintz, Gunther Uhlmann, Jian Zhai

Abstract: We consider an inverse boundary value problem for a semilinear wave equation on a time-dependent Lorentzian manifold with time-like boundary. The time-dependent coefficients of the nonlinear terms can be recovered in the interior from the knowledge of the Neumann-to-Dirichlet map. Either distorted plane waves or Gaussian beams can be used to derive uniqueness. We consider an inverse boundary value problem for a semilinear wave equation on a time-dependent Lorentzian manifold with time-like boundary. The time-dependent coefficients of the nonlinear terms can be recovered in the interior from the knowledge of the Neumann-to-Dirichlet map. Either distorted plane waves or Gaussian beams can be used to derive uniqueness. △ Less

Submitted 26 January, 2021; v1 submitted 20 May, 2020; originally announced May 2020.

Reconstruction of the collision kernel in the nonlinear Boltzmann equation

Authors: Ru-Yu Lai, Gunther Uhlmann, Yang Yang

Abstract: We consider an inverse problem for the Boltzmann equation with nonlinear collision operator in dimensions $n\geq 2$. We show that the kinetic collision kernel can be uniquely determined from the incoming-to-outgoing map**s on the boundary of the domain provided that the kernel satisfies a monotonicity condition. Furthermore, a reconstruction formula is also derived. The key methodology is based… ▽ More We consider an inverse problem for the Boltzmann equation with nonlinear collision operator in dimensions $n\geq 2$. We show that the kinetic collision kernel can be uniquely determined from the incoming-to-outgoing map**s on the boundary of the domain provided that the kernel satisfies a monotonicity condition. Furthermore, a reconstruction formula is also derived. The key methodology is based on the higher-order linearization scheme to reduce a nonlinear equation into simpler linear equations by introducing multiple small parameters into the original equation. △ Less

Submitted 20 March, 2020; originally announced March 2020.

Comments: 19 pages

Inverse Scattering for Critical Semilinear Wave Equations

Authors: Antônio Sá Barreto, Gunther Uhlmann, Yiran Wang

Abstract: We show that the scattering operator for defocusing energy critical semilinear wave equations \square u+f(u)=0, with f C-infinity and f ~ u^5, in three space dimensions, determines f. We show that the scattering operator for defocusing energy critical semilinear wave equations \square u+f(u)=0, with f C-infinity and f ~ u^5, in three space dimensions, determines f. △ Less

Submitted 8 March, 2020; originally announced March 2020.

Journal ref: Pure Appl. Analysis 4 (2022) 191-223

Inverse problems for real principal type operators

Authors: Lauri Oksanen, Mikko Salo, Plamen Stefanov, Gunther Uhlmann

Abstract: We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for deter… ▽ More We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems. △ Less

Submitted 21 February, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: 64 pages

On an inverse boundary value problem for a nonlinear elastic wave equation

Authors: Gunther Uhlmann, Jian Zhai

Abstract: We consider an inverse boundary value problem for a nonlinear elastic wave equation which was studied in [de Hoop, Uhlmann, Wang. Math. Ann. (2019) doi:10.1007/s00208-018-01796-y]. We show that all the parameters appearing in the equation can be uniquely determined from boundary measurements under certain geometric assumptions. The proof is based on second order linearization and Gaussian beams. We consider an inverse boundary value problem for a nonlinear elastic wave equation which was studied in [de Hoop, Uhlmann, Wang. Math. Ann. (2019) doi:10.1007/s00208-018-01796-y]. We show that all the parameters appearing in the equation can be uniquely determined from boundary measurements under certain geometric assumptions. The proof is based on second order linearization and Gaussian beams. △ Less

Submitted 14 January, 2021; v1 submitted 25 December, 2019; originally announced December 2019.

Generic uniqueness and stability for the mixed ray transform

Authors: Maarten V. de Hoop, Teemu Saksala, Gunther Uhlmann, Jian Zhai

Abstract: We consider the mixed ray transform of tensor fields on a three-dimensional compact simple Riemannian manifold with boundary. We prove the injectivity of the transform, up to natural obstructions, and establish stability estimates for the normal operator on generic three dimensional simple manifold in the case of 1+1 and 2+2 tensors fields. We show how the anisotropic perturbations of averaged i… ▽ More We consider the mixed ray transform of tensor fields on a three-dimensional compact simple Riemannian manifold with boundary. We prove the injectivity of the transform, up to natural obstructions, and establish stability estimates for the normal operator on generic three dimensional simple manifold in the case of 1+1 and 2+2 tensors fields. We show how the anisotropic perturbations of averaged isotopic travel-times of qS-polarized elastic waves provide partial information about the mixed ray transform of 2+2 tensors fields. If in addition we include the measurement of the shear wave amplitude, the complete mixed ray transform can be recovered. We also show how one can obtain the mixed ray transform from an anisotropic perturbation of the Dirichlet-to-Neumann map of an isotropic elastic wave equation on a smooth and bounded domain in three dimensional Euclidean space. △ Less

Submitted 18 August, 2020; v1 submitted 24 September, 2019; originally announced September 2019.

MSC Class: 53C22 53C65

Partial data inverse problems for semilinear elliptic equations with gradient nonlinearities

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We show that the linear span of the set of scalar products of gradients of harmonic functions on a bounded smooth domain $Ω\subset \mathbb{R}^n$ which vanish on a closed proper subset of the boundary is dense in $L^1(Ω)$. We apply this density result to solve some partial data inverse boundary problems for a class of semilinear elliptic PDE with quadratic gradient terms. We show that the linear span of the set of scalar products of gradients of harmonic functions on a bounded smooth domain $Ω\subset \mathbb{R}^n$ which vanish on a closed proper subset of the boundary is dense in $L^1(Ω)$. We apply this density result to solve some partial data inverse boundary problems for a class of semilinear elliptic PDE with quadratic gradient terms. △ Less

Submitted 17 September, 2019; originally announced September 2019.

MSC Class: 35R30; 35J61

The Light Ray transform on Lorentzian manifolds

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

Abstract: We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection. We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection. △ Less

Submitted 4 July, 2019; originally announced July 2019.

MSC Class: 53C65; 35R30; 35A27

A remark on partial data inverse problems for semilinear elliptic equations

Authors: Katya Krupchyk, Gunther Uhlmann

Abstract: We show that the knowledge of the Dirichlet-to-Neumann map on an arbitrary open portion of the boundary of a domain in $\mathbb{R}^n$, $n\ge 2$, for a class of semilinear elliptic equations, determines the nonlinearity uniquely. We show that the knowledge of the Dirichlet-to-Neumann map on an arbitrary open portion of the boundary of a domain in $\mathbb{R}^n$, $n\ge 2$, for a class of semilinear elliptic equations, determines the nonlinearity uniquely. △ Less

Submitted 4 May, 2019; originally announced May 2019.

MSC Class: 35R30; 35J61

The transmission problem in linear isotropic elasticity

Authors: Plamen Stefanov, Gunther Uhlmann, Andras Vasy

Abstract: We study the isotropic elastic wave equation in a bounded domain with boundary with coefficients having jumps at a nested set of interfaces satisfying the natural transmission conditions there. We analyze in detail the microlocal behavior of such solution like reflection, transmission and mode conversion of S and P waves, evanescent modes, Rayleigh and Stoneley waves. In particular, we recover Kno… ▽ More We study the isotropic elastic wave equation in a bounded domain with boundary with coefficients having jumps at a nested set of interfaces satisfying the natural transmission conditions there. We analyze in detail the microlocal behavior of such solution like reflection, transmission and mode conversion of S and P waves, evanescent modes, Rayleigh and Stoneley waves. In particular, we recover Knott's equations in this setting. We show that knowledge of the Dirichlet-to-Neumann map determines uniquely the speed of the P and the S waves if there is a strictly convex foliation with respect to them, under an additional condition of lack of full internal reflection of some of the waves. △ Less

Submitted 21 March, 2020; v1 submitted 8 April, 2019; originally announced April 2019.

MSC Class: 35R30; 35A27

Journal ref: Pure Appl. Analysis 3 (2021) 109-161

Recovery of discontinuous Lamé parameters from local dynamic boundary data

Authors: Peter Caday, Maarten V. de Hoop, Vitaly Katsnelson, Gunther Uhlmann

Abstract: Consider an isotropic elastic medium $Ω\subset \mathbb{R}^3$ whose Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside $Ω$ and only for initial data supported outside $Ω$. Using the recently introduced scattering control series in the acoustic case, we prove that piecewise smooth… ▽ More Consider an isotropic elastic medium $Ω\subset \mathbb{R}^3$ whose Lamé parameters are piecewise smooth. In the elastic wave initial value inverse problem, we are given the solution operator for the elastic wave equation, but only outside $Ω$ and only for initial data supported outside $Ω$. Using the recently introduced scattering control series in the acoustic case, we prove that piecewise smooth Lamé parameters are uniquely determined by this map under certain geometric conditions. We also show the extent that multiple scattering in the interior may be suppressed and eliminated with access to only this partial solution map, which is akin to the dynamic Dirichlet-to-Neumann map. △ Less

Submitted 13 March, 2019; originally announced March 2019.

Comments: 34 pages, 3 figures

Recovery of material parameters in transversely isotropic media

Authors: Maarten V. de Hoop, Gunther Uhlmann, Andras Vasy

Abstract: In this paper we show that in anisotropic elasticity, in the particular case of transversely isotropic media, under appropriate convexity conditions, knowledge of the qSH wave travel times determines the tilt of the axis of isotropy as well as some of the elastic material parameters, and the knowledge of qP and qSV travel times conditionally determines a subset of the remaining parameters, in the… ▽ More In this paper we show that in anisotropic elasticity, in the particular case of transversely isotropic media, under appropriate convexity conditions, knowledge of the qSH wave travel times determines the tilt of the axis of isotropy as well as some of the elastic material parameters, and the knowledge of qP and qSV travel times conditionally determines a subset of the remaining parameters, in the sense if some of the remaining parameters are known, the rest are determined, or if the remaining parameters satisfy a suitable relation, they are all determined, under certain non-degeneracy conditions. Furthermore, we give a precise description of the additional issues, which are a subject of ongoing work, that need to be resolved for a full treatment. △ Less

Submitted 14 April, 2019; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: 22 pages; minor changes: some signs in Lemma 3.2 fixed

MSC Class: 35R30 (primary); 53C65; 35A17; 35S05; 53B40

Convolutional neural networks in phase space and inverse problems

Authors: Gunther Uhlmann, Yiran Wang

Abstract: We study inverse problems consisting on determining medium properties using the responses to probing waves from the machine learning point of view. Based on the understanding of propagation of waves and their nonlinear interactions, we construct a deep convolutional neural network in which the parameters are used to classify and reconstruct the coefficients of nonlinear wave equations that model t… ▽ More We study inverse problems consisting on determining medium properties using the responses to probing waves from the machine learning point of view. Based on the understanding of propagation of waves and their nonlinear interactions, we construct a deep convolutional neural network in which the parameters are used to classify and reconstruct the coefficients of nonlinear wave equations that model the medium properties. Furthermore, for given approximation accuracy, we obtain the depth and number of units of the network and their quantitative dependence on the complexity of the medium. △ Less

Submitted 9 November, 2018; originally announced November 2018.

Inverting the local geodesic ray transform of higher rank tensors

Authors: Maarten V. de Hoop, Gunther Uhlmann, Jian Zhai

Abstract: Consider a Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We prove the local invertibility, up to potential fields, of the geodesic ray transform on tensor fields of rank four near a boundary point. This problem is closely related with elastic \textit{qP}-wave tomography. Under the condition that the manifold can be foliated with a continuous family of strictly convex hy… ▽ More Consider a Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We prove the local invertibility, up to potential fields, of the geodesic ray transform on tensor fields of rank four near a boundary point. This problem is closely related with elastic \textit{qP}-wave tomography. Under the condition that the manifold can be foliated with a continuous family of strictly convex hypersurfaces, the local invertibility implies a global result. One can straightforwardedly adapt the proof to show similar results for tensor fields of arbitrary rank. △ Less

Submitted 8 November, 2018; v1 submitted 25 October, 2018; originally announced October 2018.

Inverse Problem for Fractional-Laplacian with Lower Order Non-local Perturbations

Authors: Sombuddha Bhattacharyya, Tuhin Ghosh, Gunther Uhlmann

Abstract: In this article, we study a model problem featuring a Lévy process in a domain with semi-transparent boundary by considering the following perturbed fractional Laplacian operator \[\mathscr{L}_{b,q} := (-Δ)^t + (-Δ)_Ω^{s/2} \ b (-Δ)_Ω^{s/2} + q, \quad 0<s<t<1\] on a bounded Lipschitz domain $Ω\subset \mathbb{R}^n$. While the non-locality of the fraction Laplacian $(-Δ)^t$ depends on entire… ▽ More In this article, we study a model problem featuring a Lévy process in a domain with semi-transparent boundary by considering the following perturbed fractional Laplacian operator \[\mathscr{L}_{b,q} := (-Δ)^t + (-Δ)_Ω^{s/2} \ b (-Δ)_Ω^{s/2} + q, \quad 0<s<t<1\] on a bounded Lipschitz domain $Ω\subset \mathbb{R}^n$. While the non-locality of the fraction Laplacian $(-Δ)^t$ depends on entire $\mathbb{R}^n$, in its non-local perturbation the non-locality depends on the domain $Ω$ through the regional fractional Laplacian term $(-Δ)^{s/2}_Ω$ and $b$ exhibits the semi-transparency of the process. We analyze the well-posedness of the model and certain qualitative property like unique continuation property, Runge approximation scheme considering its regional non-local perturbation. Then we move into studying the inverse problem and find that by knowing the corresponding Dirichlet to Neumann map (D-N map) of $\mathscr{L}_{b,c}$ on the exterior domain $\mathbb{R}^n \setminus Ω$, it is possible to determine the lower order perturbations `$b$',`$q$' in $Ω$. We also discuss the recovery of `$b$', `$q$' from a single measurement and its limitations. △ Less

Submitted 11 November, 2020; v1 submitted 8 October, 2018; originally announced October 2018.