Source author record

Mikko Salo

Mikko Salo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

41works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

41 published item(s)

preprint2022arXiv

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

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.

preprint2022arXiv

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

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.

preprint2022arXiv

The non-Abelian X-ray transform on surfaces

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.

preprint2020arXiv

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

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.

preprint2020arXiv

Inverse problems for real principal type operators

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.

preprint2020arXiv

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

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.

preprint2020arXiv

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

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.

preprint2019arXiv

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.

preprint2019arXiv

The fractional Calderón problem: low regularity and stability

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.

preprint2017arXiv

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.

preprint2016arXiv

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

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2015arXiv

Broken ray transform on a Riemann surface with a convex obstacle

We consider the broken ray transform on Riemann surfaces in the presence of an obstacle, following earlier work of Mukhometov. If the surface has nonpositive curvature and the obstacle is strictly convex, we show that a function is determined by its integrals over broken geodesic rays that reflect on the boundary of the obstacle. Our proof is based on a Pestov identity with boundary terms, and it involves Jacobi fields on broken rays. We also discuss applications of the broken ray transform.

preprint2015arXiv

Enclosure method for the p-Laplace equation

We study the enclosure method for the p-Calderón problem, which is a nonlinear generalization of the inverse conductivity problem due to Calderón that involves the p-Laplace equation. The method allows one to reconstruct the convex hull of an inclusion in the nonlinear model by using exponentially growing solutions introduced by Wolff. We justify this method for the penetrable obstacle case, where the inclusion is modelled as a jump in the conductivity. The result is based on a monotonicity inequality and the properties of the Wolff solutions.

preprint2015arXiv

Invariant distributions, Beurling transforms and tensor tomography in higher dimensions

In the recent articles \cite{PSU1,PSU3}, a number of tensor tomography results were proved on two-dimensional manifolds. The purpose of this paper is to extend some of these methods to manifolds of any dimension. A central concept is the surjectivity of the adjoint of the geodesic ray transform, or equivalently the existence of certain distributions that are invariant under geodesic flow. We prove that on any Anosov manifold, one can find invariant distributions with controlled first Fourier coefficients. The proof is based on subelliptic type estimates and a Pestov identity. We present an alternative construction valid on manifolds with nonpositive curvature, based on the fact that a natural Beurling transform on such manifolds turns out to be essentially a contraction. Finally, we obtain uniqueness results in tensor tomography both on simple and Anosov manifolds that improve earlier results by assuming a condition on the terminator value for a modified Jacobi equation.

preprint2015arXiv

p-harmonic coordinates for Hölder metrics and applications

We show that on any Riemannian manifold with Hölder continuous metric tensor, there exists a $p$-harmonic coordinate system near any point. When $p = n$ this leads to a useful gauge condition for regularity results in conformal geometry. As applications, we show that any conformal mapping between manifolds having $C^α$ metric tensors is $C^{1+α}$ regular, and that a manifold with $W^{1,n} \cap C^α$ metric tensor and with vanishing Weyl tensor is locally conformally flat if $n \geq 4$. The results extend the works [LS14, LS15] from the case of $C^{1+α}$ metrics to the Hölder continuous case. In an appendix, we also develop some regularity results for overdetermined elliptic systems in divergence form.

preprint2015arXiv

Partial Data Inverse Problems for Maxwell Equations via Carleman Estimates

In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main contribution is to show that the Carleman estimate approach to scalar partial data inverse problems introduced in those works can be carried over to the Maxwell system.

preprint2015arXiv

Shape identification in inverse medium scattering problems with a single far-field pattern

Consider time-harmonic acoustic scattering from a bounded penetrable obstacle $D\subset \mathbb R^N$ embedded in a homogeneous background medium. The index of refraction characterizing the material inside $D$ is supposed to be Hölder continuous near the corners. If $D\subset \mathbb R^2$ is a convex polygon, we prove that its shape and location can be uniquely determined by the far-field pattern incited by a single incident wave at a fixed frequency. In dimensions $N \geq 3$, the uniqueness applies to penetrable scatterers of rectangular type with additional assumptions on the smoothness of the contrast. Our arguments are motivated by recent studies on the absence of non-scattering wavenumbers in domains with corners. As a byproduct, we show that the smoothness conditions in previous corner scattering results are only required near the corners.

preprint2015arXiv

The X-ray transform for connections in negative curvature

We consider integral geometry inverse problems for unitary connections and skew-Hermitian Higgs fields on manifolds with negative sectional curvature. The results apply to manifolds in any dimension, with or without boundary, and also in the presence of trapped geodesics. In the boundary case, we show injectivity of the attenuated ray transform on tensor fields with values in a Hermitian bundle (i.e. vector valued case). We also show that a connection and Higgs field on a Hermitian bundle are determined up to gauge by the knowledge of the parallel transport between boundary points along all possible geodesics. The main tools are an energy identity, the Pestov identity with a unitary connection, which is presented in a general form, and a precise analysis of the singularities of solutions of transport equations when there are trapped geodesics. In the case of closed manifolds, we obtain similar results modulo the obstruction given by twisted conformal Killing tensors, and we also study this obstruction.

preprint2014arXiv

Spectral rigidity and invariant distributions on Anosov surfaces

This article considers inverse problems on closed Riemannian surfaces whose geodesic flow is Anosov. We prove spectral rigidity for any Anosov surface and injectivity of the geodesic ray transform on solenoidal 2-tensors. We also establish surjectivity results for the adjoint of the geodesic ray transform on solenoidal tensors. The surjectivity results are of independent interest and imply the existence of many geometric invariant distributions on the unit sphere bundle. In particular, we show that on any Anosov surface $(M,g)$, given a smooth function $f$ on $M$ there is a distribution in the Sobolev space $H^{-1}(SM)$ that is invariant under the geodesic flow and whose projection to $M$ is the given function $f$.

preprint2014arXiv

The Calderon problem in transversally anisotropic geometries

We consider the anisotropic Calderon problem of recovering a conductivity matrix or a Riemannian metric from electrical boundary measurements in three and higher dimensions. In the earlier work \cite{DKSaU}, it was shown that a metric in a fixed conformal class is uniquely determined by boundary measurements under two conditions: (1) the metric is conformally transversally anisotropic (CTA), and (2) the transversal manifold is simple. In this paper we will consider geometries satisfying (1) but not (2). The first main result states that the boundary measurements uniquely determine a mixed Fourier transform / attenuated geodesic ray transform (or integral against a more general semiclassical limit measure) of an unknown coefficient. In particular, one obtains uniqueness results whenever the geodesic ray transform on the transversal manifold is injective. The second result shows that the boundary measurements in an infinite cylinder uniquely determine the transversal metric. The first result is proved by using complex geometrical optics solutions involving Gaussian beam quasimodes, and the second result follows from a connection between the Calderon problem and Gel'fand's inverse problem for the wave equation and the boundary control method.

preprint2013arXiv

Inverse problems and invisibility cloaking for FEM models and resistor networks

In this paper we consider inverse problems for resistor networks and for models obtained via the Finite Element Method (FEM) for the conductivity equation. These correspond to discrete versions of the inverse conductivity problem of Calderón. We characterize FEM models corresponding to a given triangulation of the domain that are equivalent to certain resistor networks, and apply the results to study nonuniqueness of the discrete inverse problem. It turns out that the degree of nonuniqueness for the discrete problem is larger than the one for the partial differential equation. We also study invisibility cloaking for FEM models, and show how an arbitrary body can be surrounded with a layer so that the cloaked body has the same boundary measurements as a given background medium.

preprint2013arXiv

Local gauge conditions for ellipticity in conformal geometry

In this article we introduce local gauge conditions under which many curvature tensors appearing in conformal geometry, such as the Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors, become elliptic operators. The gauge conditions amount to fixing an $n$-harmonic coordinate system and normalizing the determinant of the metric. We also give corresponding elliptic regularity results and characterizations of local conformal flatness in low regularity settings.

preprint2012arXiv

The attenuated ray transform for connections and Higgs fields

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

preprint2012arXiv

The Calderon problem with partial data on manifolds and applications

We consider Calderon's inverse problem with partial data in dimensions $n \geq 3$. If the inaccessible part of the boundary satisfies a (conformal) flatness condition in one direction, we show that this problem reduces to the invertibility of a broken geodesic ray transform. In Euclidean space, sets satisfying the flatness condition include parts of cylindrical sets, conical sets, and surfaces of revolution. We prove local uniqueness in the Calderon problem with partial data in admissible geometries, and global uniqueness under an additional concavity assumption. This work unifies two earlier approaches to this problem (\cite{KSU} and \cite{I}) and extends both. The proofs are based on improved Carleman estimates with boundary terms, complex geometrical optics solutions involving reflected Gaussian beam quasimodes, and invertibility of (broken) geodesic ray transforms. This last topic raises questions of independent interest in integral geometry.

preprint2011arXiv

An inverse problem for the p-Laplacian: boundary determination

We study an inverse problem for nonlinear elliptic equations modelled after the p-Laplacian. It is proved that the boundary values of a conductivity coefficient are uniquely determined from boundary measurements given by a nonlinear Dirichlet-to-Neumann map. The result is constructive and local, and gives a method for determining the coefficient at a boundary point from measurements in a small neighborhood. The proofs work with the nonlinear equation directly instead of being based on linearization. In the complex valued case we employ complex geometrical optics type solutions based on p-harmonic exponentials, while for the real case we use p-harmonic functions first introduced by Wolff.

preprint2011arXiv

Determining an unbounded potential from Cauchy data in admissible geometries

In a previous article of Dos Santos Ferreira, Kenig, Salo and Uhlmann, anisotropic inverse problems were considered in certain admissible geometries, that is, on compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. In particular, it was proved that a bounded smooth potential in a Schrödinger equation was uniquely determined by the Dirichlet-to-Neumann map in dimensions n \geq 3. In this article we extend this result to the case of unbounded potentials, namely those in Ln/2. In the process, we derive Lp Carleman estimates with limiting Carleman weights similar to the Euclidean estimates of Jerison-Kenig and Kenig-Ruiz-Sogge.

preprint2011arXiv

On $L^p$ resolvent estimates for Laplace-Beltrami operators on compact manifolds

In this article we prove $L^p$ estimates for resolvents of Laplace-Beltrami operators on compact Riemannian manifolds, generalizing results of Kenig, Ruiz and Sogge in the Euclidean case and Shen for the torus. We follow Sogge and construct Hadamard's parametrix, then use classical boundedness results on integral operators with oscillatory kernels related to the Carleson and Sjölin condition. Our initial motivation was to obtain $L^p$ Carleman estimates with limiting Carleman weights generalizing those of Jerison and Kenig; we illustrate the pertinence of $L^p$ resolvent estimates by showing the relation with Carleman estimates. Such estimates are useful in the construction of complex geometrical optics solutions to the Schrödinger equation with unbounded potentials, an essential device for solving anisotropic inverse problems.

preprint2010arXiv

Inverse scattering at fixed energy on surfaces with Euclidean ends

On a fixed Riemann surface $(M_0,g_0)$ with $N$ Euclidean ends and genus $g$, we show that, under a topological condition, the scattering matrix $S_V(\la)$ at frequency $\la > 0$ for the operator $Δ+V$ determines the potential $V$ if $V\in C^{1,α}(M_0)\cap e^{-γd(\cdot,z_0)^j}L^\infty(M_0)$ for all $γ>0$ and for some $j\in\{1,2\}$, where $d(z,z_0)$ denotes the distance from $z$ to a fixed point $z_0\in M_0$. The topological condition is given by $N\geq\max(2g+1,2)$ for $j=1$ and by $N\geq g+1$ if $j=2$. In $\rr^2$ this implies that the operator $S_V(\la)$ determines any $C^{1,α}$ potential $V$ such that $V(z)=O(e^{-γ|z|^2})$ for all $γ>0$.

preprint2010arXiv

Nowhere conformally homogeneous manifolds and limiting Carleman weights

In this note we prove that a generic Riemannian manifold of dimension $\geq 3$ does not admit any nontrivial local conformal diffeomorphisms. This is a conformal analog of a result of Sunada concerning local isometries, and makes precise the principle that generic manifolds in high dimensions do not have conformal symmetries. Consequently, generic manifolds of dimension $\geq 3$ do not admit nontrivial conformal Killing vector fields near any point. As an application to the inverse problem of Calderón on manifolds, this implies that generic manifolds of dimension $\geq 3$ do not admit limiting Carleman weights near any point.

preprint2010arXiv

Reconstructions from boundary measurements on admissible manifolds

We prove that a potential $q$ can be reconstructed from the Dirichlet-to-Neumann map for the Schrodinger operator $-Δ_g + q$ in a fixed admissible 3-dimensional Riemannian manifold $(M,g)$. We also show that an admissible metric $g$ in a fixed conformal class can be constructed from the Dirichlet-to-Neumann map for $Δ_g$. This is a constructive version of earlier uniqueness results by Dos Santos Ferreira et al. on admissible manifolds, and extends the reconstruction procedure of Nachman in Euclidean space. The main points are the derivation of a boundary integral equation characterizing the boundary values of complex geometrical optics solutions, and the development of associated layer potentials adapted to a cylindrical geometry.