Showing 1–50 of 95 results for author: Salo, M

Increasing resolution and instability for linear inverse scattering problems

Authors: Pu-Zhao Kow, Mikko Salo, Sen Zou

Abstract: In this work we study the increasing resolution of linear inverse scattering problems at a large fixed frequency. We consider the problem of recovering the density of a Herglotz wave function, and the linearized inverse scattering problem for a potential. It is shown that the number of features that can be stably recovered (stable region) becomes larger as the frequency increases, whereas one has… ▽ More In this work we study the increasing resolution of linear inverse scattering problems at a large fixed frequency. We consider the problem of recovering the density of a Herglotz wave function, and the linearized inverse scattering problem for a potential. It is shown that the number of features that can be stably recovered (stable region) becomes larger as the frequency increases, whereas one has strong instability for the rest of the features (unstable region). To show this rigorously, we prove that the singular values of the forward operator stay roughly constant in the stable region and decay exponentially in the unstable region. The arguments are based on structural properties of the problems and they involve the Courant min-max principle for singular values, quantitative Agmon-Hörmander estimates, and a Schwartz kernel computation based on the coarea formula. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 29 pages, 3 figures

MSC Class: 35P15; 35R25; 35R30; 35J05; 35J15

Applications of the Stone-Weierstrass theorem in the Calderón problem

Authors: Tony Liimatainen, Mikko Salo

Abstract: We give examples on the use of the Stone-Weierstrass theorem in inverse problems. We show uniqueness in the linearized Calderón problem on holomorphically separable Kähler manifolds, and in the Calderón problem for nonlinear equations on conformally transversally anisotropic manifolds. We also study the holomorphic separability condition in terms of plurisubharmonic functions. The Stone-Weierstras… ▽ More We give examples on the use of the Stone-Weierstrass theorem in inverse problems. We show uniqueness in the linearized Calderón problem on holomorphically separable Kähler manifolds, and in the Calderón problem for nonlinear equations on conformally transversally anisotropic manifolds. We also study the holomorphic separability condition in terms of plurisubharmonic functions. The Stone-Weierstrass theorem allows us to generalize and simplify earlier results. It also makes it possible to circumvent the use of complex geometrical optics solutions and inversion of explicit transforms in certain cases. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 17 pages

MSC Class: 35R30; 35J25; 35J61

Inverse problems for semilinear Schrödinger equations at large frequency via polynomial resolvent estimates on manifolds

Authors: Katya Krupchyk, Shiqi Ma, Suman Kumar Sahoo, Mikko Salo, Simon St-Amant

Abstract: We study inverse boundary problems for semilinear Schrödinger equations on smooth compact Riemannian manifolds of dimensions $\ge 2$ with smooth boundary, at a large fixed frequency. We show that certain classes of cubic nonlinearities are determined uniquely from the knowledge of the nonlinear Dirichlet--to--Neumann map at a large fixed frequency on quite general Riemannian manifolds. In particul… ▽ More We study inverse boundary problems for semilinear Schrödinger equations on smooth compact Riemannian manifolds of dimensions $\ge 2$ with smooth boundary, at a large fixed frequency. We show that certain classes of cubic nonlinearities are determined uniquely from the knowledge of the nonlinear Dirichlet--to--Neumann map at a large fixed frequency on quite general Riemannian manifolds. In particular, in contrast to the previous results available, here the manifolds need not satisfy any product structure, may have trapped geodesics, and the geodesic ray transform need not be injective. Only a mild assumption about the geometry of intersecting geodesics is required. We also establish a polynomial resolvent estimate for the Laplacian on an arbitrary smooth compact Riemannian manifold without boundary, valid for most frequencies. This estimate, along with the invariant construction of Gaussian beam quasimodes with uniform bounds for underlying constants and a stationary phase lemma with explicit control over all involved constants, constitutes the key elements in proving the uniqueness results for the considered inverse problems. △ Less

Submitted 20 February, 2024; originally announced February 2024.

Inverse problems for semilinear elliptic PDE with a general nonlinearity $a(x,u)$

Authors: David Johansson, Janne Nurminen, Mikko Salo

Abstract: This article studies the inverse problem of recovering a nonlinearity in an elliptic equation $Δu + a(x,u) = 0$ from boundary measurements of solutions. Previous results based on first order linearization achieve this under a sign condition on $\partial_u a(x,u)$, and results based on higher order linearization recover the Taylor series of $a(x,u)$ with respect to $u$. We improve these results and… ▽ More This article studies the inverse problem of recovering a nonlinearity in an elliptic equation $Δu + a(x,u) = 0$ from boundary measurements of solutions. Previous results based on first order linearization achieve this under a sign condition on $\partial_u a(x,u)$, and results based on higher order linearization recover the Taylor series of $a(x,u)$ with respect to $u$. We improve these results and show that a general nonlinearity, and not just its Taylor series, is uniquely determined up to gauge near a fixed solution. Our method is based on constructing a good solution map that locally parametrizes solutions of the nonlinear equation by solutions of the linearized equation. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: 26 pages

On geometric inverse problems and microlocal analysis

Authors: Mikko Salo

Abstract: This work gives an expository account of certain applications of microlocal analysis in three geometric inverse problems. We will discuss the geodesic X-ray transform inverse problem, the Gelfand problem for the wave equation on a Riemannian manifold, and the Calderón problem for the Laplace equation on a Riemannian manifold. This work gives an expository account of certain applications of microlocal analysis in three geometric inverse problems. We will discuss the geodesic X-ray transform inverse problem, the Gelfand problem for the wave equation on a Riemannian manifold, and the Calderón problem for the Laplace equation on a Riemannian manifold. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 60 pages. This material is based on lecture notes for two online minicourses, one organized at DTU, Copenhagen, in January 2021 and another at CRM, Montreal, in August 2021. This work follows earlier lecture notes (arXiv:1908.03041, published in https://doi.org/10.3390/math8071184) and extends the results from Euclidean to Riemannian background geometry. arXiv admin note: text overlap with arXiv:1908.03041

On scattering behavior of corner domains with anisotropic inhomogeneities

Authors: Pu-Zhao Kow, Mikko Salo, Henrik Shahgholian

Abstract: This paper investigates the possible scattering and non-scattering behavior of an anisotropic and inhomogeneous Lipschitz medium at a fixed wave number and with a single incident field. We connect the anisotropic non-scattering problem to a Bernoulli type free boundary problem. By invoking methods from the theory of free boundaries, we show that an anisotropic medium with Lipschitz but not… ▽ More This paper investigates the possible scattering and non-scattering behavior of an anisotropic and inhomogeneous Lipschitz medium at a fixed wave number and with a single incident field. We connect the anisotropic non-scattering problem to a Bernoulli type free boundary problem. By invoking methods from the theory of free boundaries, we show that an anisotropic medium with Lipschitz but not $C^{1,α}$ boundary scatters every incident wave that satisfies a non-degeneracy condition. △ Less

Submitted 21 February, 2024; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: 20 pages

MSC Class: 35J15; 35P25; 35R35

A general support theorem for analytic double fibration transforms

Authors: Marco Mazzucchelli, Mikko Salo, Leo Tzou

Abstract: We develop a systematic approach for resolving the analytic wave front set for a class of integral geometry transforms appearing in various tomography problems. Combined with microlocal analytic continuation, this leads to uniqueness and support theorems for analytic integral transforms which are in the microlocal double fibration framework introduced by Guillemin. For the case of ray transforms… ▽ More We develop a systematic approach for resolving the analytic wave front set for a class of integral geometry transforms appearing in various tomography problems. Combined with microlocal analytic continuation, this leads to uniqueness and support theorems for analytic integral transforms which are in the microlocal double fibration framework introduced by Guillemin. For the case of ray transforms, we show that the double fibration setup has a concrete interpretation in terms of curve families obtained by projecting integral curves of a fixed vector field on some fiber bundle down to the base. This setup includes geodesic X-ray type transforms, null bicharacteristic ray transforms and transforms related to real principal type systems. We also study transforms integrating over submanifolds of any codimension, and give geometric characterizations for the Bolker condition required for recovering singularities. Our approach is based on a general result related to recovering the analytic wave front set of a function from its transform given by a suitable analytic elliptic Fourier integral operator. This approach extends and unifies a number of previous works. We use wave packet transforms to extrapolate the geometric features of wave front set propagation for such operators when their canonical relation satisfies the Bolker condition. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 46 pages

MSC Class: 53C65; 44A12; 35S30; 58J40; 35R30; 45Q05

A minimization problem with free boundary and its application to inverse scattering problems

Authors: Pu-Zhao Kow, Mikko Salo, Henrik Shahgholian

Abstract: We study a minimization problem with free boundary, resulting in hybrid quadrature domains for the Helmholtz equation, as well as some application to inverse scattering problem. We study a minimization problem with free boundary, resulting in hybrid quadrature domains for the Helmholtz equation, as well as some application to inverse scattering problem. △ Less

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

Comments: 50 pages

MSC Class: 35J05; 35J15; 35J20; 35R30; 35R35

On positivity sets for Helmholtz solutions

Authors: Pu-Zhao Kow, Mikko Salo, Henrik Shahgholian

Abstract: We address the question of finding global solutions of the Helmholtz equation that are positive in a given set. This question arises in inverse scattering for penetrable obstacles. In particular, we show that there are solutions that are positive on the boundary of a bounded Lipschitz domain. We address the question of finding global solutions of the Helmholtz equation that are positive in a given set. This question arises in inverse scattering for penetrable obstacles. In particular, we show that there are solutions that are positive on the boundary of a bounded Lipschitz domain. △ Less

Submitted 22 March, 2023; v1 submitted 12 January, 2023; originally announced January 2023.

Comments: 10 pages

MSC Class: 35J05; 35J15; 35J20; 35R30; 35R35

Uniqueness in an inverse problem of fractional elasticity

Authors: Giovanni Covi, Maarten de Hoop, Mikko Salo

Abstract: We study an inverse problem for fractional elasticity. In analogy to the classical problem of linear elasticity, we consider the unique recovery of the Lamé parameters associated to a linear, isotropic fractional elasticity operator from fractional Dirichlet-to-Neumann data. In our analysis we make use of a fractional matrix Schrödinger equation via a generalization of the so-called Liouville redu… ▽ More We study an inverse problem for fractional elasticity. In analogy to the classical problem of linear elasticity, we consider the unique recovery of the Lamé parameters associated to a linear, isotropic fractional elasticity operator from fractional Dirichlet-to-Neumann data. In our analysis we make use of a fractional matrix Schrödinger equation via a generalization of the so-called Liouville reduction, a technique classically used in the study of the scalar conductivity equation. We conclude that unique recovery is possible if the Lamé parameters agree and are constant in the exterior, and their Poisson ratios agree everywhere. Our study is motivated by the significant recent activity in the field of nonlocal elasticity. △ Less

Submitted 30 September, 2022; originally announced September 2022.

Comments: 31 pages, 1 figure

MSC Class: 35R30; 35R11; 74B99

The linearized Calderón problem for polyharmonic operators

Authors: Suman Kumar Sahoo, Mikko Salo

Abstract: In this article we consider a linearized Calderón problem for polyharmonic operators of order $2m\ (m\ge 2)$ in the spirit of Calderón's original work [Cal80]. We give a uniqueness result for determining coefficients of order $\leq 2m-1$ up to gauge, based on inverting momentum ray transforms. In this article we consider a linearized Calderón problem for polyharmonic operators of order $2m\ (m\ge 2)$ in the spirit of Calderón's original work [Cal80]. We give a uniqueness result for determining coefficients of order $\leq 2m-1$ up to gauge, based on inverting momentum ray transforms. △ Less

Submitted 12 July, 2022; originally announced July 2022.

MSC Class: 35R30; 31B20

Jacobian of solutions to the conductivity equation in limited view

Authors: Mikko Salo, Hjørdis Schlüter

Abstract: The aim of hybrid inverse problems such as Acousto-Electric Tomography or Current Density Imaging is the reconstruction of the electrical conductivity in a domain that can only be accessed from its exterior. In the inversion procedure, the solutions to the conductivity equation play a central role. In particular, it is important that the Jacobian of the solutions is non-vanishing. In the present p… ▽ More The aim of hybrid inverse problems such as Acousto-Electric Tomography or Current Density Imaging is the reconstruction of the electrical conductivity in a domain that can only be accessed from its exterior. In the inversion procedure, the solutions to the conductivity equation play a central role. In particular, it is important that the Jacobian of the solutions is non-vanishing. In the present paper we address a two-dimensional limited view setting, where only a part of the boundary of the domain can be controlled by a non-zero Dirichlet condition, while on the remaining boundary there is a zero Dirichlet condition. For this setting, we propose sufficient conditions on the boundary functions so that the Jacobian of the corresponding solutions is non-vanishing. In that regard we allow for discontinuous boundary functions, which requires the use of solutions in weighted Sobolev spaces. We implement the procedure of reconstructing a conductivity from power density data numerically and investigate how this limited view setting affects the Jacobian and the quality of the reconstructions. △ Less

Submitted 11 October, 2023; v1 submitted 8 July, 2022; originally announced July 2022.

The anisotropic Calderón problem at large fixed frequency on manifolds with invertible ray transform

Authors: Shiqi Ma, Suman Kumar Sahoo, Mikko Salo

Abstract: We consider the inverse problem of recovering a potential from the Dirichlet to Neumann map at a large fixed frequency on certain Riemannian manifolds. We extend the earlier result of [G. Uhlmann and Y. Wang, arXiv:2104.03477] to the case of simple manifolds, and more generally to manifolds where the geodesic ray transform is stably invertible. The argument involves an invariantly formulated const… ▽ More We consider the inverse problem of recovering a potential from the Dirichlet to Neumann map at a large fixed frequency on certain Riemannian manifolds. We extend the earlier result of [G. Uhlmann and Y. Wang, arXiv:2104.03477] to the case of simple manifolds, and more generally to manifolds where the geodesic ray transform is stably invertible. The argument involves an invariantly formulated construction of Gaussian beam quasimodes with uniform bounds for the underlying constants. △ Less

Submitted 30 August, 2023; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: 28 pages

Quadrature domains for the Helmholtz equation with applications to non-scattering phenomena

Authors: Pu-Zhao Kow, Simon Larson, Mikko Salo, Henrik Shahgholian

Abstract: In this paper, we introduce quadrature domains for the Helmholtz equation. We show existence results for such domains and implement the so-called partial balayage procedure. We also give an application to inverse scattering problems, and show that there are non-scattering domains for the Helmholtz equation at any positive frequency that have inward cusps. In this paper, we introduce quadrature domains for the Helmholtz equation. We show existence results for such domains and implement the so-called partial balayage procedure. We also give an application to inverse scattering problems, and show that there are non-scattering domains for the Helmholtz equation at any positive frequency that have inward cusps. △ Less

Submitted 20 November, 2022; v1 submitted 29 April, 2022; originally announced April 2022.

Comments: 45 pages, 6 figures

MSC Class: 35J05; 35J15; 35J20; 35R30; 35R35

Inverse problems for semilinear elliptic PDE with measurements at a single point

Authors: Mikko Salo, Leo Tzou

Abstract: We consider the inverse problem of determining a potential in a semilinear elliptic equation from the knowledge of the Dirichlet-to-Neumann map. For bounded Euclidean domains we prove that the potential is uniquely determined by the Dirichlet-to-Neumann map measured at a single boundary point, or integrated against a fixed measure. This result is valid even when the Dirichlet data is only given on… ▽ More We consider the inverse problem of determining a potential in a semilinear elliptic equation from the knowledge of the Dirichlet-to-Neumann map. For bounded Euclidean domains we prove that the potential is uniquely determined by the Dirichlet-to-Neumann map measured at a single boundary point, or integrated against a fixed measure. This result is valid even when the Dirichlet data is only given on a small subset of the boundary. We also give related uniqueness results on Riemannian manifolds. △ Less

Submitted 21 February, 2022; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: 14 pages, added the reference [CGU21] in v2

Inverse problems for non-linear Schrödinger equations with time-dependent coefficients

Authors: Matti Lassas, Lauri Oksanen, Suman Kumar Sahoo, Mikko Salo, Alexander Tetlow

Abstract: The paper studies the inverse problem of reconstructuring the coefficient $β(t,x)$ of the non-linear term and the potential $V(t,x)$ of a non-linear Schrödinger equation in time-domain, $( i \frac{\partial}{\partial t} + Δ+ V) u + βu^2 = f$ in $(0,T)\times M$, where $M\subset \mathbb{R}^n$ is a convex and compact set with smooth boundary. We consider measurements in a neighborhood $Ω\subset M$ tha… ▽ More The paper studies the inverse problem of reconstructuring the coefficient $β(t,x)$ of the non-linear term and the potential $V(t,x)$ of a non-linear Schrödinger equation in time-domain, $( i \frac{\partial}{\partial t} + Δ+ V) u + βu^2 = f$ in $(0,T)\times M$, where $M\subset \mathbb{R}^n$ is a convex and compact set with smooth boundary. We consider measurements in a neighborhood $Ω\subset M$ that is a neighborhood of the boundary of $M$ and the source-to-solution map $L_{β,V}$ that maps a source $f$ supported in $Ω\times [0,T]$ to the restriction of the solution $u$ in $Ω\times [0,T]$. We show that the map $L_{β,V}$ uniquely determines the time-dependent potential and the coefficient of the non-linearity, for a second-order non-linear Schrödinger equation and for the Gross-Pitaevskii equation, with a cubic non-linear term $β|u|^2u$, that is encountered in quantum physics. △ Less

Submitted 3 November, 2023; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: 25 pages

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

Increasing stability in the linearized inverse Schrödinger potential problem with power type nonlinearities

Authors: Shuai Lu, Mikko Salo, Boxi Xu

Abstract: We consider increasing stability in the inverse Schrödinger potential problem with power type nonlinearities at a large wavenumber. Two linearization approaches, with respect to small boundary data and small potential function, are proposed and their performance on the inverse Schrödinger potential problem is investigated. It can be observed that higher order linearization for small boundary data… ▽ More We consider increasing stability in the inverse Schrödinger potential problem with power type nonlinearities at a large wavenumber. Two linearization approaches, with respect to small boundary data and small potential function, are proposed and their performance on the inverse Schrödinger potential problem is investigated. It can be observed that higher order linearization for small boundary data can provide an increasing stability for an arbitrary power type nonlinearity term if the wavenumber is chosen large. Meanwhile, linearization with respect to the potential function leads to increasing stability for a quadratic nonlinearity term, which highlights the advantage of nonlinearity in solving the inverse Schrödinger potential problem. Noticing that both linearization approaches can be numerically approximated, we provide several reconstruction algorithms for the quadratic and general power type nonlinearity terms, where one of these algorithms is designed based on boundary measurements of multiple wavenumbers. Several numerical examples shed light on the efficiency of our proposed algorithms. △ Less

Submitted 17 March, 2022; v1 submitted 26 November, 2021; originally announced November 2021.

Comments: 29 pages, 7 figures

Journal ref: Inverse Problems 38 (2022) 065009 (25pp)

Fixed angle inverse scattering for sound speeds close to constant

Authors: Shiqi Ma, Leyter Potenciano-Machado, Mikko Salo

Abstract: We study the fixed angle inverse scattering problem of determining a sound speed from scattering measurements corresponding to a single incident wave. The main result shows that a sound speed close to constant can be stably determined by just one measurement. Our method is based on studying the linearized problem, which turns out to be related to the acoustic problem in photoacoustic imaging. We a… ▽ More We study the fixed angle inverse scattering problem of determining a sound speed from scattering measurements corresponding to a single incident wave. The main result shows that a sound speed close to constant can be stably determined by just one measurement. Our method is based on studying the linearized problem, which turns out to be related to the acoustic problem in photoacoustic imaging. We adapt the modified time-reversal method from [P. Stefanov and G. Uhlmann, Thermoacoustic tomography with variable sound speed, Inverse Problems 25 (2009), 075011] to solve the linearized problem in a stable way, and we use this to give a local uniqueness result for the nonlinear inverse problem. △ Less

Submitted 24 April, 2023; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: 33 pages

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

Free boundary methods and non-scattering phenomena

Authors: Mikko Salo, Henrik Shahgholian

Abstract: We study a question arising in inverse scattering theory: given a penetrable obstacle, does there exist an incident wave that does not scatter? We show that every penetrable obstacle with real-analytic boundary admits such an incident wave. At zero frequency, we use quadrature domains to show that there are also obstacles with inward cusps having this property. In the converse direction, under a n… ▽ More We study a question arising in inverse scattering theory: given a penetrable obstacle, does there exist an incident wave that does not scatter? We show that every penetrable obstacle with real-analytic boundary admits such an incident wave. At zero frequency, we use quadrature domains to show that there are also obstacles with inward cusps having this property. In the converse direction, under a nonvanishing condition for the incident wave, we show that there is a dichotomy for boundary points of any penetrable obstacle having this property: either the boundary is regular, or the complement of the obstacle has to be very thin near the point. These facts are proved by invoking results from the theory of free boundary problems. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: 18 pages

Inverse problems for elliptic equations with fractional power type nonlinearities

Authors: Tony Liimatainen, Yi-Hsuan Lin, Mikko Salo, Teemu Tyni

Abstract: We study inverse problems for semilinear elliptic equations with fractional power type nonlinearities. Our arguments are based on the higher order linearization method, which helps us to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. By using a fractional order adaptation of this method, we show that the results… ▽ More We study inverse problems for semilinear elliptic equations with fractional power type nonlinearities. Our arguments are based on the higher order linearization method, which helps us to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. By using a fractional order adaptation of this method, we show that the results of [LLLS20a, LLLS20b] remain valid for general power type nonlinearities. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 24 pages

MSC Class: 35R30; 35J25; 35J61

On instability mechanisms for inverse problems

Authors: Herbert Koch, Angkana Rüland, Mikko Salo

Abstract: In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we… ▽ More In this article we present three robust instability mechanisms for linear and nonlinear inverse problems. All of these are based on strong compression properties (in the sense of singular value or entropy number bounds) which we deduce through either strong global smoothing, only weak global smoothing or microlocal smoothing for the corresponding forward operators, respectively. As applications we for instance present new instability arguments for unique continuation, for the backward heat equation and for linear and nonlinear Calderón type problems in general geometries, possibly in the presence of rough coefficients. Our instability mechanisms could also be of interest in the context of control theory, providing estimates on the cost of (approximate) controllability in rather general settings. △ Less

Submitted 2 December, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 93 pages, 1 figure, comments welcome, corrected some typos

Journal ref: Ars Inveniendi Analytica (2021), Paper No. 7, 93 pp

The fixed angle scattering problem with a first order perturbation

Authors: Cristóbal J. Meroño, Leyter Potenciano-Machado, Mikko Salo

Abstract: We study the inverse scattering problem of determining a magnetic field and electric potential from scattering measurements corresponding to finitely many plane waves. The main result shows that the coefficients are uniquely determined by $2n$ measurements up to a natural gauge. We also show that one can recover the full first order term for a related equation having no gauge invariance, and that… ▽ More We study the inverse scattering problem of determining a magnetic field and electric potential from scattering measurements corresponding to finitely many plane waves. The main result shows that the coefficients are uniquely determined by $2n$ measurements up to a natural gauge. We also show that one can recover the full first order term for a related equation having no gauge invariance, and that it is possible to reduce the number of measurements if the coefficients have certain symmetries. This work extends the fixed angle scattering results of Rakesh and M. Salo to Hamiltonians with first order perturbations, and it is based on wave equation methods and Carleman estimates. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: 38 pages, 1 figure

Linearized Calderón problem and exponentially accurate quasimodes for analytic manifolds

Authors: Katya Krupchyk, Tony Liimatainen, Mikko Salo

Abstract: In this article we study the linearized anisotropic Calderón problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry o… ▽ More In this article we study the linearized anisotropic Calderón problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry of pairs of intersecting geodesics. In this case, we solve the linearized anisotropic Calderón problem. The geometric condition does not involve the injectivity of the geodesic X-ray transform. Crucial ingredients in the proof of our result are the construction of Gaussian beam quasimodes on the transversal manifold, with exponentially small errors, as well as the FBI transform characterization of the analytic wave front set. △ Less

Submitted 11 September, 2020; originally announced September 2020.

MSC Class: 35R30; 35J25; 35A18; 35A20

Fixed angle inverse scattering in the presence of a Riemannian metric

Authors: Shiqi Ma, Mikko Salo

Abstract: We consider a fixed angle inverse scattering problem in the presence of a known Riemannian metric. First, assuming a no caustics condition, we study the direct problem by utilizing the progressing wave expansion. Under a symmetry assumption on the metric, we obtain uniqueness and stability results in the inverse scattering problem for a potential with data generated by two incident waves from oppo… ▽ More We consider a fixed angle inverse scattering problem in the presence of a known Riemannian metric. First, assuming a no caustics condition, we study the direct problem by utilizing the progressing wave expansion. Under a symmetry assumption on the metric, we obtain uniqueness and stability results in the inverse scattering problem for a potential with data generated by two incident waves from opposite directions. Further, similar results are given using one measurement provided the potential also satisfies a symmetry assumption. This work extends the results of [23,24] from the Euclidean case to certain Riemannian metrics. △ Less

Submitted 28 April, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 27 pages

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

The non-Abelian X-ray transform on surfaces

Authors: Gabriel P. Paternain, Mikko Salo

Abstract: This paper settles the question of injectivity of the non-Abelian X-ray transform on simple surfaces for the general linear group of invertible complex matrices. The main idea is to use a factorization theorem for Loop Groups to reduce to the setting of the unitary group, where energy methods and scalar holomorphic integrating factors can be used. We also show that our main theorem extends to cove… ▽ More This paper settles the question of injectivity of the non-Abelian X-ray transform on simple surfaces for the general linear group of invertible complex matrices. The main idea is to use a factorization theorem for Loop Groups to reduce to the setting of the unitary group, where energy methods and scalar holomorphic integrating factors can be used. We also show that our main theorem extends to cover the case of an arbitrary Lie group. △ Less

Submitted 26 January, 2022; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 16 pages, this version to appear in JDG

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

A sharp stability estimate for tensor tomography in non-positive curvature

Authors: Gabriel P. Paternain, Mikko Salo

Abstract: We consider the geodesic X-ray transform acting on solenoidal tensor fields on a compact simply connected manifold with strictly convex boundary and non-positive curvature. We establish a stability estimate of the form $L^2\mapsto H^{1/2}_{T}$, where the $H^{1/2}_{T}$-space is defined using the natural parametrization of geodesics as initial boundary points and incoming directions (fan-beam geomet… ▽ More We consider the geodesic X-ray transform acting on solenoidal tensor fields on a compact simply connected manifold with strictly convex boundary and non-positive curvature. We establish a stability estimate of the form $L^2\mapsto H^{1/2}_{T}$, where the $H^{1/2}_{T}$-space is defined using the natural parametrization of geodesics as initial boundary points and incoming directions (fan-beam geometry); only tangential derivatives at the boundary are used. The proof is based on the Pestov identity with boundary term localized in frequency. △ Less

Submitted 17 September, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: Revised version to appear in Mathematische Zeitschrift, 24p. The appendix of version 1 has been removed and incorporated in shorter form into the main text. The appendix still can be found in v1 and could be useful for other purposes

Applications of microlocal analysis to inverse problems

Authors: Mikko Salo

Abstract: These are lecture notes for a minicourse on applications of microlocal analysis in inverse problems, given in Helsinki and Shanghai in June 2019. These are lecture notes for a minicourse on applications of microlocal analysis in inverse problems, given in Helsinki and Shanghai in June 2019. △ Less

Submitted 8 August, 2019; originally announced August 2019.

Comments: 31 pages

Fixed angle inverse scattering for almost symmetric or controlled perturbations

Authors: Rakesh, Mikko Salo

Abstract: We consider the fixed angle inverse scattering problem and show that a compactly supported potential is uniquely determined by its scattering amplitude for two opposite fixed angles. We also show that almost symmetric or horizontally controlled potentials are uniquely determined by their fixed angle scattering data. This is done by establishing an equivalence between the frequency domain and the t… ▽ More We consider the fixed angle inverse scattering problem and show that a compactly supported potential is uniquely determined by its scattering amplitude for two opposite fixed angles. We also show that almost symmetric or horizontally controlled potentials are uniquely determined by their fixed angle scattering data. This is done by establishing an equivalence between the frequency domain and the time domain formulations of the problem, and by solving the time domain problem by extending the methods of [RS19] which adapts the ideas introduced in [BK81] and [IY01] on the use of Carleman estimates for inverse problems. △ Less

Submitted 10 May, 2019; originally announced May 2019.

Comments: 30 pages

Partial data inverse problems and simultaneous recovery of boundary and coefficients for semilinear elliptic equations

Authors: Matti Lassas, Tony Liimatainen, Yi-Hsuan Lin, Mikko Salo

Abstract: We study various partial data inverse boundary value problems for the semilinear elliptic equation $Δu+ a(x,u)=0$ in a domain in $\mathbb R^n$ by using the higher order linearization technique introduced in [LLS 19, FO19]. We show that the Dirichlet-to-Neumann map of the above equation determines the Taylor series of $a(x,z)$ at $z=0$ under general assumptions on $a(x,z)$. The determination of the… ▽ More We study various partial data inverse boundary value problems for the semilinear elliptic equation $Δu+ a(x,u)=0$ in a domain in $\mathbb R^n$ by using the higher order linearization technique introduced in [LLS 19, FO19]. We show that the Dirichlet-to-Neumann map of the above equation determines the Taylor series of $a(x,z)$ at $z=0$ under general assumptions on $a(x,z)$. The determination of the Taylor series can be done in parallel with the detection of an unknown cavity inside the domain or an unknown part of the boundary of the domain. The method relies on the solution of the linearized partial data Calderón problem [FKSU09], and implies the solution of partial data problems for certain semilinear equations $Δu+ a(x,u) = 0$ also proved in [KU19]. The results that we prove are in contrast to the analogous inverse problems for the linear Schrödinger equation. There recovering an unknown cavity (or part of the boundary) and the potential simultaneously are long-standing open problems, and the solution to the Calderón problem with partial data is known only in special cases when $n \geq 3$. △ Less

Submitted 7 May, 2019; originally announced May 2019.

Comments: 21 pages

Resolvent estimates for the magnetic Schrödinger operator in dimension $n \geq 2$

Authors: Cristóbal J. Meroño, Leyter Potenciano-Machado, Mikko Salo

Abstract: It is well known that the resolvent of the free Schrödinger operator on weighted $L^2$ spaces has norm decaying like $λ^{-\frac{1}{2}}$ at energy $λ$. There are several works proving analogous high-frequency estimates for magnetic Schrödinger operators, with large long or short range potentials, in dimensions $n \geq 3$. We prove that the same estimates remain valid in all dimensions $n \geq 2$. It is well known that the resolvent of the free Schrödinger operator on weighted $L^2$ spaces has norm decaying like $λ^{-\frac{1}{2}}$ at energy $λ$. There are several works proving analogous high-frequency estimates for magnetic Schrödinger operators, with large long or short range potentials, in dimensions $n \geq 3$. We prove that the same estimates remain valid in all dimensions $n \geq 2$. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: 21 pages

Journal ref: Revista Matemática Complutense, 33 (2020), no. 2, 619-641

Inverse problems for elliptic equations with power type nonlinearities

Authors: Matti Lassas, Tony Liimatainen, Yi-Hsuan Lin, Mikko Salo

Abstract: We introduce a method for solving Calderón type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. Assuming the knowledge of a nonlinear Dirichlet-to-Neumann map, we deter… ▽ More We introduce a method for solving Calderón type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain nonlinear equations in cases where the solution for a corresponding linear equation is not known. Assuming the knowledge of a nonlinear Dirichlet-to-Neumann map, we determine both a potential and a conformal manifold simultaneously in dimension $2$, and a potential on transversally anisotropic manifolds in dimensions $n \geq 3$. In the Euclidean case, we show that one can solve the Calderón problem for certain semilinear equations in a surprisingly simple way without using complex geometrical optics solutions. △ Less

Submitted 29 March, 2019; originally announced March 2019.

Comments: 25 pages

Dimension bounds in monotonicity methods for the Helmholtz equation

Authors: Bastian Harrach, Valter Pohjola, Mikko Salo

Abstract: The article [HPS] established a monotonicity inequality for the Helmholtz equation and presented applications to shape detection and local uniqueness in inverse boundary problems. The monotonicity inequality states that if two scattering coefficients satisfy $q_1 \leq q_2$, then the corresponding Neumann-to-Dirichlet operators satisfy $Λ(q_1) \leq Λ(q_2)$ up to a finite dimensional subspace. Here… ▽ More The article [HPS] established a monotonicity inequality for the Helmholtz equation and presented applications to shape detection and local uniqueness in inverse boundary problems. The monotonicity inequality states that if two scattering coefficients satisfy $q_1 \leq q_2$, then the corresponding Neumann-to-Dirichlet operators satisfy $Λ(q_1) \leq Λ(q_2)$ up to a finite dimensional subspace. Here we improve the bounds for the dimension of this space. In particular, if $q_1$ and $q_2$ have the same number of positive Neumann eigenvalues, then the finite dimensional space is trivial. △ Less

Submitted 1 August, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

MSC Class: 35R30

Journal ref: SIAM J. Math. Anal. 51 (4), 2995-3019, 2019

The fixed angle scattering problem and wave equation inverse problems with two measurements

Authors: Rakesh, Mikko Salo

Abstract: We consider two formally determined inverse problems for the wave equation in more than one space dimension. Motivated by the fixed angle inverse scattering problem, we show that a compactly supported potential is uniquely determined by the far field pattern generated by plane waves coming from exactly two opposite directions. This implies that a reflection symmetric potential is uniquely determin… ▽ More We consider two formally determined inverse problems for the wave equation in more than one space dimension. Motivated by the fixed angle inverse scattering problem, we show that a compactly supported potential is uniquely determined by the far field pattern generated by plane waves coming from exactly two opposite directions. This implies that a reflection symmetric potential is uniquely determined by its fixed angle scattering data. We also prove a Lipschitz stability estimate for an associated problem. Motivated by the point source inverse problem in geophysics, we show that a compactly supported potential is uniquely determined from boundary measurements of the waves generated by exactly two sources - a point source and an incoming spherical wave. These results are proved by using Carleman estimates and adapting the ideas introduced by Bukhgeim and Klibanov on the use of Carleman estimates for inverse problems. △ Less

Submitted 18 March, 2019; v1 submitted 16 January, 2019; originally announced January 2019.

Comments: Corrected minor errors and shortened proofs of some of the propositions

MSC Class: 35R30

Limiting Carleman weights and conformally transversally anisotropic manifolds

Authors: Pablo Angulo-Ardoy, Daniel Faraco, Luis Guijarro, Mikko Salo

Abstract: We analyze the structure of the set of limiting Carleman weights in all conformally flat manifolds, 3-manifolds, and 4-manifolds. In particular we give a new proof of the classification of Euclidean limiting Carleman weights, and show that there are only three basic such weights up to the action of the conformal group. In dimension three we show that if the manifold is not conformally flat, there… ▽ More We analyze the structure of the set of limiting Carleman weights in all conformally flat manifolds, 3-manifolds, and 4-manifolds. In particular we give a new proof of the classification of Euclidean limiting Carleman weights, and show that there are only three basic such weights up to the action of the conformal group. In dimension three we show that if the manifold is not conformally flat, there could be one or two limiting Carleman weights. We also characterize the metrics that have more than one limiting Carleman weight. In dimension four we obtain a complete spectrum of examples according to the structure of the Weyl tensor. In particular, we construct unimodular Lie groups whose Weyl or Cotton-York tensors have the symmetries of conformally transversally anisotropic manifolds, but which do not admit limiting Carleman weights. △ Less

Submitted 6 November, 2018; originally announced November 2018.

MSC Class: 35R30; 53A30

The Poisson embedding approach to the Calderón problem

Authors: Matti Lassas, Tony Liimatainen, Mikko Salo

Abstract: We introduce a new approach to the anisotropic Calderón problem, based on a map called Poisson embedding that identifies the points of a Riemannian manifold with distributions on its boundary. We give a new uniqueness result for a large class of Calderón type inverse problems for quasilinear equations in the real analytic case. The approach also leads to a new proof of the result by Lassas and Uhl… ▽ More We introduce a new approach to the anisotropic Calderón problem, based on a map called Poisson embedding that identifies the points of a Riemannian manifold with distributions on its boundary. We give a new uniqueness result for a large class of Calderón type inverse problems for quasilinear equations in the real analytic case. The approach also leads to a new proof of the result by Lassas and Uhlmann (2001) solving the Calderón problem on real analytic Riemannian manifolds. The proof uses the Poisson embedding to determine the harmonic functions in the manifold up to a harmonic morphism. The method also involves various Runge approximation results for linear elliptic equations. △ Less

Submitted 13 June, 2018; originally announced June 2018.

Comments: 48 pages

MSC Class: 35R30 (Primary) 35J25; 53C21(Secondary)

Journal ref: Math. Ann. (2019)

Carleman estimates for geodesic X-ray transforms

Authors: Gabriel P. Paternain, Mikko Salo

Abstract: In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carleman estimate with logarithmic weights (resp. linear weights) on the frequency side… ▽ More In this article we introduce an approach for studying the geodesic X-ray transform and related geometric inverse problems by using Carleman estimates. The main result states that on compact negatively curved manifolds (resp. nonpositively curved simple or Anosov manifolds), the geodesic vector field satisfies a Carleman estimate with logarithmic weights (resp. linear weights) on the frequency side. As a particular consequence, on negatively curved simple manifolds the geodesic X-ray transform with attenuation given by a general connection and Higgs field is invertible modulo natural obstructions. The proof is based on showing that the Pestov energy identity for the geodesic vector field completely localizes in frequency. Our approach works in all dimensions $\geq 2$, on negatively curved manifolds with or without boundary, and for tensor fields of any order. △ Less

Submitted 25 November, 2021; v1 submitted 6 May, 2018; originally announced May 2018.

Comments: 39 pages, this revised version to appear in Ann. Sci. École Norm. Sup. The original version contains some additional material that was removed in the revision

The linearized Calderón problem on complex manifolds

Authors: Colin Guillarmou, Mikko Salo, Leo Tzou

Abstract: In this note we show that on any compact subdomain of a Kähler manifold that admits sufficiently many global holomorphic functions, the products of harmonic functions form a complete set. This gives a positive answer to the linearized anisotropic Calderón problem on a class of complex manifolds that includes compact subdomains of Stein manifolds and sufficiently small subdomains of Kähler manifold… ▽ More In this note we show that on any compact subdomain of a Kähler manifold that admits sufficiently many global holomorphic functions, the products of harmonic functions form a complete set. This gives a positive answer to the linearized anisotropic Calderón problem on a class of complex manifolds that includes compact subdomains of Stein manifolds and sufficiently small subdomains of Kähler manifolds. Some of these manifolds do not admit limiting Carleman weights, and thus cannot by treated by standard methods for the Calderón problem in higher dimensions. The argument is based on constructing Morse holomorphic functions with approximately prescribed critical points. This extends results of Guillarmou and Tzou (Duke Math. J. 2011) from the case of Riemann surfaces to higher dimensional complex manifolds. △ Less

Submitted 2 May, 2018; originally announced May 2018.

Comments: 15 pages

Uniqueness and reconstruction for the fractional Calderón problem with a single measurement

Authors: Tuhin Ghosh, Angkana Rüland, Mikko Salo, Gunther Uhlmann

Abstract: We show global uniqueness in the fractional Calderón problem with a single measurement and with data on arbitrary, possibly disjoint subsets of the exterior. The previous work \cite{GhoshSaloUhlmann} considered the case of infinitely many measurements. The method is again based on the strong uniqueness properties for the fractional equation, this time combined with a unique continuation principle… ▽ More We show global uniqueness in the fractional Calderón problem with a single measurement and with data on arbitrary, possibly disjoint subsets of the exterior. The previous work \cite{GhoshSaloUhlmann} considered the case of infinitely many measurements. The method is again based on the strong uniqueness properties for the fractional equation, this time combined with a unique continuation principle from sets of measure zero. We also give a constructive procedure for determining an unknown potential from a single exterior measurement, based on constructive versions of the unique continuation result that involve different regularization schemes. △ Less

Submitted 11 February, 2020; v1 submitted 13 January, 2018; originally announced January 2018.

Comments: 32 pages, is a slightly updated version, Accepted Manuscript for Journal of Functional Analysis, volume and pages to be assigned by Elsevier, DOI:10.1016/j.jfa.2020.108505. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0

The linearized Calderon problem in transversally anisotropic geometries

Authors: David Dos Santos Ferreira, Yaroslav Kurylev, Matti Lassas, Tony Liimatainen, Mikko Salo

Abstract: In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of tra… ▽ More In this article we study the linearized anisotropic Calderon problem. In a compact manifold with boundary, this problem amounts to showing that products of harmonic functions form a complete set. Assuming that the manifold is transversally anisotropic, we show that the boundary measurements determine an FBI type transform at certain points in the transversal manifold. This leads to recovery of transversal singularities in the linearized problem. The method requires a geometric condition on the transversal manifold related to pairs of intersecting geodesics, but it does not involve the geodesic X-ray transform which has limited earlier results on this problem. △ Less

Submitted 13 December, 2017; originally announced December 2017.

Comments: 27 pages

MSC Class: 35R30; 35J25

Journal ref: International Mathematics Research Notices (2018)

The fractional Calderón problem

Authors: Mikko Salo

Abstract: We review recent progress in the fractional Calderón problem, where one tries to determine an unknown coefficient in a fractional Schrödinger equation from exterior measurements of solutions. This equation enjoys remarkable uniqueness and approximation properties, which turn out to yield strong results in related inverse problems. We review recent progress in the fractional Calderón problem, where one tries to determine an unknown coefficient in a fractional Schrödinger equation from exterior measurements of solutions. This equation enjoys remarkable uniqueness and approximation properties, which turn out to yield strong results in related inverse problems. △ Less

Submitted 15 February, 2018; v1 submitted 16 November, 2017; originally announced November 2017.

Comments: 9 pages, 1 figure, to appear in the proceedings of Journées EDP (Roscoff, June 2017)

Exponential instability in the fractional Calderón problem

Authors: Angkana Rüland, Mikko Salo

Abstract: In this note we prove the exponential instability of the fractional Calderón problem and thus prove the optimality of the logarithmic stability estimate from \cite{RS17}. In order to infer this result, we follow the strategy introduced by Mandache in \cite{M01} for the standard Calderón problem. Here we exploit a close relation between the fractional Calderón problem and the classical Poisson oper… ▽ More In this note we prove the exponential instability of the fractional Calderón problem and thus prove the optimality of the logarithmic stability estimate from \cite{RS17}. In order to infer this result, we follow the strategy introduced by Mandache in \cite{M01} for the standard Calderón problem. Here we exploit a close relation between the fractional Calderón problem and the classical Poisson operator. Moreover, using the construction of a suitable orthonormal basis, we also prove (almost) optimality of the Runge approximation result for the fractional Laplacian, which was derived in \cite{RS17}. Finally, in one dimension, we show a close relation between the fractional Calderón problem and the truncated Hilbert transform. △ Less

Submitted 13 November, 2017; originally announced November 2017.

Comments: 17 pages

Monotonicity and local uniqueness for the Helmholtz equation

Authors: Bastian Harrach, Valter Pohjola, Mikko Salo

Abstract: This work extends monotonicity-based methods in inverse problems to the case of the Helmholtz (or stationary Schrödinger) equation $(Δ+ k^2 q) u = 0$ in a bounded domain for fixed non-resonance frequency $k>0$ and real-valued scattering coefficient function $q$. We show a monotonicity relation between the scattering coefficient $q$ and the local Neumann-Dirichlet operator that holds up to finitely… ▽ More This work extends monotonicity-based methods in inverse problems to the case of the Helmholtz (or stationary Schrödinger) equation $(Δ+ k^2 q) u = 0$ in a bounded domain for fixed non-resonance frequency $k>0$ and real-valued scattering coefficient function $q$. We show a monotonicity relation between the scattering coefficient $q$ and the local Neumann-Dirichlet operator that holds up to finitely many eigenvalues. Combining this with the method of localized potentials, or Runge approximation, adapted to the case where finitely many constraints are present, we derive a constructive monotonicity-based characterization of scatterers from partial boundary data. We also obtain the local uniqueness result that two coefficient functions $q_1$ and $q_2$ can be distinguished by partial boundary data if there is a neighborhood of the boundary where $q_1\geq q_2$ and $q_1\not\equiv q_2$. △ Less

Submitted 31 July, 2019; v1 submitted 25 September, 2017; originally announced September 2017.

MSC Class: 35R30; 35J05

Journal ref: Analysis & PDE 12 (2019) 1495-1525

Quantitative Runge Approximation and Inverse Problems

Authors: Angkana Rüland, Mikko Salo

Abstract: In this short note we provide a quantitative version of the classical Runge approximation property for second order elliptic operators. This relies on quantitative unique continuation results and duality arguments. We show that these estimates are essentially optimal. As a model application we provide a new proof of the result from \cite{F07}, \cite{AK12} on stability for the Calderón problem with… ▽ More In this short note we provide a quantitative version of the classical Runge approximation property for second order elliptic operators. This relies on quantitative unique continuation results and duality arguments. We show that these estimates are essentially optimal. As a model application we provide a new proof of the result from \cite{F07}, \cite{AK12} on stability for the Calderón problem with local data. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: 12 pages

Quantitative Approximation Properties for the Fractional Heat Equation

Authors: Angkana Rüland, Mikko Salo

Abstract: In this note we analyse \emph{quantitative} approximation properties of a certain class of \emph{nonlocal} equations: Viewing the fractional heat equation as a model problem, which involves both \emph{local} and \emph{nonlocal} pseudodifferential operators, we study quantitative approximation properties of solutions to it. First, relying on Runge type arguments, we give an alternative proof of cer… ▽ More In this note we analyse \emph{quantitative} approximation properties of a certain class of \emph{nonlocal} equations: Viewing the fractional heat equation as a model problem, which involves both \emph{local} and \emph{nonlocal} pseudodifferential operators, we study quantitative approximation properties of solutions to it. First, relying on Runge type arguments, we give an alternative proof of certain \emph{qualitative} approximation results from \cite{DSV16}. Using propagation of smallness arguments, we then provide bounds on the \emph{cost} of approximate controllability and thus quantify the approximation properties of solutions to the fractional heat equation. Finally, we discuss generalizations of these results to a larger class of operators involving both local and nonlocal contributions. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: 24 pages, 1 figure

The fractional Calderón problem: low regularity and stability

Authors: Angkana Rüland, Mikko Salo

Abstract: The Calderón problem for the fractional Schrödinger equation was introduced in the work \cite{GSU}, which gave a global uniqueness result also in the partial data case. This article improves this result in two ways. First, we prove a quantitative uniqueness result showing that this inverse problem enjoys logarithmic stability under suitable a priori bounds. Second, we show that the results are val… ▽ More The Calderón problem for the fractional Schrödinger equation was introduced in the work \cite{GSU}, which gave a global uniqueness result also in the partial data case. This article improves this result in two ways. First, we prove a quantitative uniqueness result showing that this inverse problem enjoys logarithmic stability under suitable a priori bounds. Second, we show that the results are valid for potentials in scale-invariant $L^p$ or negative order Sobolev spaces. A key point is a quantitative approximation property for solutions of fractional equations, obtained by combining a careful propagation of smallness analysis for the Caffarelli-Silvestre extension and a duality argument. △ Less

Submitted 12 May, 2019; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: 64 pages, 1 figure, revised version including referee's comments

Journal ref: Nonlinear Analysis, volume 193, pages to be assigned by Elsevier, DOI:10.1016/j.na.2019.05.010. This manuscript version is made available under the CC-BY-NC-ND 4.0 license

Tensor tomography on Cartan-Hadamard manifolds

Authors: Jere Lehtonen, Jesse Railo, Mikko Salo

Abstract: We study the geodesic X-ray transform on Cartan-Hadamard manifolds, and prove solenoidal injectivity of this transform acting on functions and tensor fields of any order. The functions are assumed to be exponentially decaying if the sectional curvature is bounded, and polynomially decaying if the sectional curvature decays at infinity. This work extends the results of Lehtonen (2016) to dimensions… ▽ More We study the geodesic X-ray transform on Cartan-Hadamard manifolds, and prove solenoidal injectivity of this transform acting on functions and tensor fields of any order. The functions are assumed to be exponentially decaying if the sectional curvature is bounded, and polynomially decaying if the sectional curvature decays at infinity. This work extends the results of Lehtonen (2016) to dimensions $n \geq 3$ and to the case of tensor fields of any order. △ Less

Submitted 5 September, 2019; v1 submitted 29 May, 2017; originally announced May 2017.

Comments: 23 pages; accepted manuscript; new section 1.1 and references, theorems 1.1 and 1.2 now more precise

MSC Class: 44A12; 53C21; 53C22; 45Q05

Journal ref: Inverse Problems 34 (2018), special issue: 100 years of the Radon transform, no. 4, 044004

Monotonicity and enclosure methods for the p-Laplace equation

Authors: Tommi Brander, Bastian von Harrach, Manas Kar, Mikko Salo

Abstract: We show that the convex hull of a monotone perturbation of a homogeneous background conductivity in the $p$-conductivity equation is determined by knowledge of the nonlinear Dirichlet-Neumann operator. We give two independent proofs, one of which is based on the monotonicity method and the other on the enclosure method. Our results are constructive and require no jump or smoothness properties on t… ▽ More We show that the convex hull of a monotone perturbation of a homogeneous background conductivity in the $p$-conductivity equation is determined by knowledge of the nonlinear Dirichlet-Neumann operator. We give two independent proofs, one of which is based on the monotonicity method and the other on the enclosure method. Our results are constructive and require no jump or smoothness properties on the conductivity perturbation or its support. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 18 pages

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

Journal ref: SIAM journal on applied mathematics 78(2):742-758 (2018)

Geodesic X-ray tomography for piecewise constant functions on nontrap** manifolds

Authors: Joonas Ilmavirta, Jere Lehtonen, Mikko Salo

Abstract: We show that on a two-dimensional compact nontrap** manifold with strictly convex boundary, a piecewise constant function is determined by its integrals over geodesics. In higher dimensions, we obtain a similar result if the manifold satisfies a foliation condition. These theorems are based on iterating a local uniqueness result. Our proofs are elementary. We show that on a two-dimensional compact nontrap** manifold with strictly convex boundary, a piecewise constant function is determined by its integrals over geodesics. In higher dimensions, we obtain a similar result if the manifold satisfies a foliation condition. These theorems are based on iterating a local uniqueness result. Our proofs are elementary. △ Less

Submitted 24 February, 2017; originally announced February 2017.

Comments: 16 pages

The Calderón problem and normal forms

Authors: Mikko Salo

Abstract: We outline an approach to the inverse problem of Calderón that highlights the role of microlocal normal forms and propagation of singularities and extends a number of earlier results also in the anisotropic case. The main result states that from the boundary measurements it is possible to recover integrals of the unknown coefficient over certain two-dimensional manifolds called good bicharacterist… ▽ More We outline an approach to the inverse problem of Calderón that highlights the role of microlocal normal forms and propagation of singularities and extends a number of earlier results also in the anisotropic case. The main result states that from the boundary measurements it is possible to recover integrals of the unknown coefficient over certain two-dimensional manifolds called good bicharacteristic leaves. This reduces the Calderón problem into solving a linear integral geometry problem (inversion of a bicharacteristic leaf transform). △ Less

Submitted 7 February, 2017; originally announced February 2017.

Comments: 16 pages