arXiv subjects

Mikko Salo

Publications and source records attributed to Mikko Salo.

At least 73 records · Page 4Linked to original sources

arXiv2019

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

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.

math.AP↗

arXiv2018

Limiting Carleman weights and conformally transversally anisotropic manifolds

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.

math.AP↗

arXiv2018

The Poisson embedding approach to the Calderón problem

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.

math.AP↗

arXiv2018

The geodesic X-ray transform with matrix weights

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

math.DG↗

arXiv2018

The linearized Calderón problem on complex manifolds

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.

math.AP↗

arXiv2018

The fractional Calderón problem

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.

math.AP↗

arXiv2017

The linearized Calderon problem in transversally anisotropic geometries

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.

math.AP↗

arXiv2017

Exponential instability in the fractional Calderón problem

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.

math.AP↗

arXiv2017

Quantitative Approximation Properties for the Fractional Heat Equation

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.

math.AP↗

arXiv2017

Quantitative Runge Approximation and Inverse Problems

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.

math.AP↗

arXiv2017

The Calderón problem for the fractional Schrödinger equation

We show global uniqueness in an inverse problem for the fractional Schrödinger equation: an unknown potential in a bounded domain is uniquely determined by exterior measurements of solutions. We also show global uniqueness in the partial data problem where the measurements are taken in arbitrary open, possibly disjoint, subsets of the exterior. The results apply in any dimension $\geq 2$ and are based on a strong approximation property of the fractional equation that extends earlier work. This special feature of the nonlocal equation renders the analysis of related inverse problems radically different from the traditional Calderón problem.

math.AP↗

arXiv2017

Monotonicity and enclosure methods for the p-Laplace equation

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.

math.AP↗

arXiv2017

Geodesic X-ray tomography for piecewise constant functions on nontrapping manifolds

We show that on a two-dimensional compact nontrapping 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.

math.DG↗

arXiv2017

The Calderón problem and normal forms

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).

math.AP↗

arXiv2016

The Calderón problem for the conformal Laplacian

We consider a conformally invariant version of the Calderón problem, where the objective is to determine the conformal class of a Riemannian manifold with boundary from the Dirichlet-to-Neumann map for the conformal Laplacian. The main result states that a locally conformally real-analytic manifold in dimensions $\geq 3$ can be determined in this way, giving a positive answer to an earlier conjecture by Lassas and Uhlmann (2001). The proof proceeds as in the standard Calderón problem on a real-analytic Riemannian manifold, but new features appear due to the conformal structure. In particular, we introduce a new coordinate system that replaces harmonic coordinates when determining the conformal class in a neighborhood of the boundary.

math.AP↗

arXiv2016

$n$-harmonic coordinates and the regularity of conformal mappings

This article studies the smoothness of conformal mappings between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal mapping or $1$-quasiregular mapping between two manifolds with $C^r$ metric tensors ($r > 1$) is a $C^{r+1}$ conformal (local) diffeomorphism. This result was proved in [12, 27, 33], but we give a new proof of this fact. The proof is based on $n$-harmonic coordinates, a generalization of the standard harmonic coordinates that is particularly suited to studying conformal mappings. We establish the existence of a $p$-harmonic coordinate system for $1 < p < \infty$ on any Riemannian manifold.

math.DG↗

arXiv2016

Partial data inverse problems for the Hodge Laplacian

We prove uniqueness results for a Calderon type inverse problem for the Hodge Laplacian acting on graded forms on certain manifolds in three dimensions. In particular, we show that partial measurements of the relative-to-absolute or absolute-to-relative boundary value maps uniquely determine a zeroth order potential. The method is based on Carleman estimates for the Hodge Laplacian with relative or absolute boundary conditions, and on the construction of complex geometric optics solutions which reduce the Calderon type problem to a tensor tomography problem for 2-tensors. The arguments in this paper allow to establish partial data results for elliptic systems that generalize the scalar results due to Kenig-Sjostrand-Uhlmann.

math.AP↗

arXiv2016

Inverse problems for $p$-Laplace type equations under monotonicity assumptions

We consider inverse problems for $p$-Laplace type equations under monotonicity assumptions. In two dimensions, we show that any two conductivities satisfying $σ_1 \geq σ_2$ and having the same nonlinear Dirichlet-to-Neumann map must be identical. The proof is based on a monotonicity inequality and the unique continuation principle for $p$-Laplace type equations. In higher dimensions, where unique continuation is not known, we obtain a similar result for conductivities close to constant.

math.AP↗