-
A note on the Fourier magnitude data and Sobolev embeddings
Authors:
Jesse Railo
Abstract:
We study Sobolev $H^s(\mathbb{R}^n)$, $s \in \mathbb{R}$, stability of the Fourier phase problem to recover $f$ from the knowledge of $|\hat{f}|$ with an additional Bessel potential $H^{t,p}(\mathbb{R}^n)$ a priori estimate when $t \in \mathbb{R}$ and $p \in [1,2]$. These estimates are related to the ones studied recently by Steinerberger in "On the stability of Fourier phase retrieval" J. Fourier…
▽ More
We study Sobolev $H^s(\mathbb{R}^n)$, $s \in \mathbb{R}$, stability of the Fourier phase problem to recover $f$ from the knowledge of $|\hat{f}|$ with an additional Bessel potential $H^{t,p}(\mathbb{R}^n)$ a priori estimate when $t \in \mathbb{R}$ and $p \in [1,2]$. These estimates are related to the ones studied recently by Steinerberger in "On the stability of Fourier phase retrieval" J. Fourier Anal. Appl., 28(2):29, 2022. While our estimates in general are different, they share some comparable special cases and the main improvement given here is that we can remove an additional imaginary term and obtain sharper constants. We also consider these estimates for the quotient distances related to the non-uniqueness of the Fourier phase problem. Our arguments closely follow the Fourier analysis proof of the Sobolev embeddings for Bessel potential spaces with minor modifications.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
Loop group factorization method for the magnetic and thermostatic nonabelian ray transforms
Authors:
Shubham R. Jathar,
Manas Kar,
Jesse Railo
Abstract:
We study the injectivity of the matrix attenuated and nonabelian ray transforms on compact surfaces with boundary for nontrap** $λ$-geodesic flows and the general linear group of invertible complex matrices. We generalize the loop group factorization argument of Paternain and Salo to reduce to the setting of the unitary group when $λ$ has the vertical Fourier degree at most $1$. This covers the…
▽ More
We study the injectivity of the matrix attenuated and nonabelian ray transforms on compact surfaces with boundary for nontrap** $λ$-geodesic flows and the general linear group of invertible complex matrices. We generalize the loop group factorization argument of Paternain and Salo to reduce to the setting of the unitary group when $λ$ has the vertical Fourier degree at most $1$. This covers the magnetic and thermostatic flows as special cases. Our article settles the general injectivity question of the nonabelian ray transform for the simple magnetic geodesic flows in combination with an earlier result by Ainsworth. We stress that the injectivity question in the unitary case for simple Gaussian thermostats remains open. Furthermore, we observe that the loop group argument does not apply when $λ$ has higher Fourier modes.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Broken ray transform for twisted geodesics on surfaces with a reflecting obstacle
Authors:
Shubham R. Jathar,
Manas Kar,
Jesse Railo
Abstract:
We prove a uniqueness result for the broken ray transform acting on the sums of functions and $1$-forms on surfaces in the presence of an external force and a reflecting obstacle. We assume that the considered twisted geodesic flows have nonpositive curvature. The broken rays are generated from the twisted geodesic flows by the law of reflection on the boundary of a suitably convex obstacle. Our w…
▽ More
We prove a uniqueness result for the broken ray transform acting on the sums of functions and $1$-forms on surfaces in the presence of an external force and a reflecting obstacle. We assume that the considered twisted geodesic flows have nonpositive curvature. The broken rays are generated from the twisted geodesic flows by the law of reflection on the boundary of a suitably convex obstacle. Our work generalizes recent results for the broken geodesic ray transform on surfaces to more general families of curves including the magnetic flows and Gaussian thermostats.
△ Less
Submitted 28 March, 2024; v1 submitted 30 June, 2023;
originally announced June 2023.
-
The Calderón problem for a nonlocal diffusion equation with time-dependent coefficients
Authors:
Yi-Hsuan Lin,
Jesse Railo,
Philipp Zimmermann
Abstract:
We investigate global uniqueness for an inverse problem for a nonlocal diffusion equation on domains that are bounded in one direction. The coefficients are assumed to be unknown and isotropic on the entire space. We first show that the partial exterior Dirichlet-to-Neumann map locally determines the diffusion coefficient in the exterior domain. In addition, we introduce a novel analysis of nonloc…
▽ More
We investigate global uniqueness for an inverse problem for a nonlocal diffusion equation on domains that are bounded in one direction. The coefficients are assumed to be unknown and isotropic on the entire space. We first show that the partial exterior Dirichlet-to-Neumann map locally determines the diffusion coefficient in the exterior domain. In addition, we introduce a novel analysis of nonlocal Neumann derivatives to prove an interior determination result. Interior and exterior determination yield the desired global uniqueness theorem for the Calderón problem of nonlocal diffusion equations with time-dependent coefficients. This work extends recent studies from nonlocal elliptic equations with global coefficients to their parabolic counterparts. The results hold for any spatial dimension $n\geq 1$.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Stability estimates for the inverse fractional conductivity problem
Authors:
Giovanni Covi,
Jesse Railo,
Teemu Tyni,
Philipp Zimmermann
Abstract:
We study the stability of an inverse problem for the fractional conductivity equation on bounded smooth domains. We obtain a logarithmic stability estimate for the inverse problem under suitable a priori bounds on the globally defined conductivities. The argument has three main ingredients: 1. the logarithmic stability of the related inverse problem for the fractional Schrödinger equation by Rülan…
▽ More
We study the stability of an inverse problem for the fractional conductivity equation on bounded smooth domains. We obtain a logarithmic stability estimate for the inverse problem under suitable a priori bounds on the globally defined conductivities. The argument has three main ingredients: 1. the logarithmic stability of the related inverse problem for the fractional Schrödinger equation by Rüland and Salo; 2. the Lipschitz stability of the exterior determination problem; 3. utilizing and identifying nonlocal analogies of Alessandrini's work on the stability of the classical Calderón problem. The main contribution of the article is the resolution of the technical difficulties related to the last mentioned step. Furthermore, we show the optimality of the logarithmic stability estimates, following the earlier works by Mandache on the instability of the inverse conductivity problem, and by Rüland and Salo on the analogous problem for the fractional Schrödinger equation.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Low regularity theory for the inverse fractional conductivity problem
Authors:
Jesse Railo,
Philipp Zimmermann
Abstract:
We characterize partial data uniqueness for the inverse fractional conductivity problem with $H^{s,n/s}$ regularity assumptions in all dimensions. This extends the earlier results for $H^{2s,\frac{n}{2s}}\cap H^s$ conductivities by Covi and the authors. We construct counterexamples to uniqueness on domains bounded in one direction whenever measurements are performed in disjoint open sets having po…
▽ More
We characterize partial data uniqueness for the inverse fractional conductivity problem with $H^{s,n/s}$ regularity assumptions in all dimensions. This extends the earlier results for $H^{2s,\frac{n}{2s}}\cap H^s$ conductivities by Covi and the authors. We construct counterexamples to uniqueness on domains bounded in one direction whenever measurements are performed in disjoint open sets having positive distance to the domain. In particular, we provide counterexamples in the special cases $s \in (n/4,1)$, $n=2,3$, missing in the literature due to the earlier regularity conditions. We also give a new proof of the uniqueness result which is not based on the Runge approximation property. Our work can be seen as a fractional counterpart of Haberman's uniqueness theorem for the classical Calderón problem with $W^{1,n}$ conductivities when $n=3,4$. One motivation of this work is Brown's conjecture that uniqueness for the classical Calderón problem holds for $W^{1,n}$ conductivities also in dimensions $n \geq 5$.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
The fractional $p\,$-biharmonic systems: optimal Poincaré constants, unique continuation and inverse problems
Authors:
Manas Kar,
Jesse Railo,
Philipp Zimmermann
Abstract:
This article investigates nonlocal, fully nonlinear generalizations of the classical biharmonic operator $(-Δ)^2$. These fractional $p$-biharmonic operators appear naturally in the variational characterization of the optimal fractional Poincaré constants in Bessel potential spaces. We study the following basic questions for anisotropic fractional $p$-biharmonic systems: existence and uniqueness of…
▽ More
This article investigates nonlocal, fully nonlinear generalizations of the classical biharmonic operator $(-Δ)^2$. These fractional $p$-biharmonic operators appear naturally in the variational characterization of the optimal fractional Poincaré constants in Bessel potential spaces. We study the following basic questions for anisotropic fractional $p$-biharmonic systems: existence and uniqueness of weak solutions to the associated interior source and exterior value problems, unique continuation properties (UCP), monotonicity relations, and inverse problems for the exterior Dirichlet-to-Neumann maps. Furthermore, we show the UCP for the fractional Laplacian in all Bessel potential spaces $H^{t,p}$ for any $t\in \mathbb{R}$, $1 \leq p < \infty$ and $s \in \mathbb{R}_+ \setminus \mathbb{N}$: If $u\in H^{t,p}(\mathbb{R}^n)$ satisfies $(-Δ)^su=u=0$ in a nonempty open set $V$, then $u\equiv 0$ in $\mathbb{R}^n$. This property of the fractional Laplacian is then used to obtain a UCP for the fractional $p$-biharmonic systems and plays a central role in the analysis of the associated inverse problems. Our proofs use variational methods and the Caffarelli-Silvestre extension.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
The global inverse fractional conductivity problem
Authors:
Giovanni Covi,
Jesse Railo,
Philipp Zimmermann
Abstract:
We prove \emph{global} uniqueness for an inverse problem for the fractional conductivity equation on domains that are bounded in one direction. The conductivities are assumed to be isotropic and nontrivial in the exterior of the domain, while the data is given in the form of partial Dirichlet-to-Neumann (DN) maps measured in nondisjoint open subsets of the exterior. This can be seen as the fractio…
▽ More
We prove \emph{global} uniqueness for an inverse problem for the fractional conductivity equation on domains that are bounded in one direction. The conductivities are assumed to be isotropic and nontrivial in the exterior of the domain, while the data is given in the form of partial Dirichlet-to-Neumann (DN) maps measured in nondisjoint open subsets of the exterior. This can be seen as the fractional counterpart of the classical inverse conductivity problem. The proof is based on a unique continuation property (UCP) for the DN maps and an exterior determination method from the partial exterior DN maps. This is analogous to the classical boundary determination method by Kohn and Vogelius. The most important technical novelty is the construction of sequences of special solutions to the fractional conductivity equation whose Dirichlet energies in the limit can be concentrated at any given point in the exterior. This is achieved independently of the UCP and despite the nonlocality of the equation. Due to the recent counterexamples by the last two authors, our results almost completely characterize uniqueness for the inverse fractional conductivity problem with partial data for isotropic global conductivities.
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data
Authors:
Jesse Railo,
Philipp Zimmermann
Abstract:
We construct counterexamples for the partial data inverse problem for the fractional conductivity equation in all dimensions on general bounded open sets. In particular, we show that for any bounded domain $Ω\subset \mathbb{R}^n$ and any disjoint open sets $W_1,W_2 \Subset \mathbb{R}^n \setminus \barΩ$ there always exist two positive, bounded, smooth, conductivities $γ_1,γ_2$, $γ_1 \neq γ_2$, with…
▽ More
We construct counterexamples for the partial data inverse problem for the fractional conductivity equation in all dimensions on general bounded open sets. In particular, we show that for any bounded domain $Ω\subset \mathbb{R}^n$ and any disjoint open sets $W_1,W_2 \Subset \mathbb{R}^n \setminus \barΩ$ there always exist two positive, bounded, smooth, conductivities $γ_1,γ_2$, $γ_1 \neq γ_2$, with equal partial exterior Dirichlet-to-Neumann maps $Λ_{γ_1}f|_{W_2} = Λ_{γ_2}f|_{W_2}$ for all $f \in C_c^\infty(W_1)$. The proof uses the characterization of equal exterior data from another work of the authors in combination with the maximum principle of fractional Laplacians. The main technical difficulty arises from the requirement that the conductivities should be strictly positive and have a special regularity property $γ_i^{1/2}-1 \in H^{2s,\frac{n}{2s}}(\mathbb{R}^n)$ for $i=1,2$. We also provide counterexamples on domains that are bounded in one direction when $n \geq 4$ or $s \in (0,n/4]$ when $n=2,3$ using a modification of the argument on bounded domains.
△ Less
Submitted 5 September, 2022; v1 submitted 4 March, 2022;
originally announced March 2022.
-
Fractional Calderón problems and Poincaré inequalities on unbounded domains
Authors:
Jesse Railo,
Philipp Zimmermann
Abstract:
We generalize many recent uniqueness results on the fractional Calderón problem to cover the cases of all domains with nonempty exterior. The highlight of our work is the characterization of uniqueness and nonuniqueness of partial data inverse problems for the fractional conductivity equation on domains that are bounded in one direction for conductivities supported in the whole Euclidean space and…
▽ More
We generalize many recent uniqueness results on the fractional Calderón problem to cover the cases of all domains with nonempty exterior. The highlight of our work is the characterization of uniqueness and nonuniqueness of partial data inverse problems for the fractional conductivity equation on domains that are bounded in one direction for conductivities supported in the whole Euclidean space and decaying to a constant background conductivity at infinity. We generalize the uniqueness proof for the fractional Calderón problem by Ghosh, Salo and Uhlmann to a general abstract setting in order to use the full strength of their argument. This allows us to observe that there are also uniqueness results for many inverse problems for higher order local perturbations of a lower order fractional Laplacian. We give concrete example models to illustrate these curious situations and prove Poincaré inequalities for the fractional Laplacians of any order on domains that are bounded in one direction. We establish Runge approximation results in these general settings, improve regularity assumptions also in the cases of bounded sets and prove general exterior determination results. Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data are constructed in another companion work.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
Geodesic tomography problems on Riemannian manifolds
Authors:
Jesse Railo
Abstract:
This PhD dissertation is concerned with integral geometric inverse problems. The geodesic ray transform is an operator that encodes the line integrals of a function along geodesics. The dissertation establishes many conditions when such information determines a function uniquely and stably. A new numerical model for computed tomography imaging is created as a part of the dissertation. The introduc…
▽ More
This PhD dissertation is concerned with integral geometric inverse problems. The geodesic ray transform is an operator that encodes the line integrals of a function along geodesics. The dissertation establishes many conditions when such information determines a function uniquely and stably. A new numerical model for computed tomography imaging is created as a part of the dissertation. The introductory part of the dissertation contains an introduction to inverse problems and mathematical models associated to computed tomography. The main focus is in definitions of integral geometry problems, survey of the related literature, and introducing the main results of the dissertation. A list of important open problems in integral geometry is given.
The four articles of the dissertation (arXiv:1705.10126, arXiv:1901.03525, arXiv:1906.05046, arXiv:1909.00495) are now published in various journals and the content of the document has not been updated since November 11, 2019. These four articles are omitted from this document which contains only the introductory part. Extended abstracts are given in the document in English and Finnish.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
On mixed and transverse ray transforms on orientable surfaces
Authors:
Joonas Ilmavirta,
Keijo Mönkkönen,
Jesse Railo
Abstract:
The geodesic ray transform, the mixed ray transform and the transverse ray transform of a tensor field on a manifold can all be seen as what we call mixing ray transforms, compositions of the geodesic ray transform and an invertible linear map on tensor fields. We show that the characterization of the kernel and the stability of a mixing ray transform can be reduced to the same properties of any o…
▽ More
The geodesic ray transform, the mixed ray transform and the transverse ray transform of a tensor field on a manifold can all be seen as what we call mixing ray transforms, compositions of the geodesic ray transform and an invertible linear map on tensor fields. We show that the characterization of the kernel and the stability of a mixing ray transform can be reduced to the same properties of any other mixing ray transform. Our approach applies to various geometries and ray transforms, including the light ray transform. In particular, we extend studies in de Hoop--Saksala--Zhai (2019) from compact simple surfaces to orientable surfaces with solenoidally injective geodesic ray transform. Our proofs are based on algebraic arguments.
△ Less
Submitted 6 December, 2022; v1 submitted 2 September, 2020;
originally announced September 2020.
-
The higher order fractional Calderón problem for linear local operators: uniqueness
Authors:
Giovanni Covi,
Keijo Mönkkönen,
Jesse Railo,
Gunther Uhlmann
Abstract:
We study an inverse problem for the fractional Schrödinger equation (FSE) with a local perturbation by a linear partial differential operator (PDO) of order smaller than the order of the fractional Laplacian. We show that one can uniquely recover the coefficients of the PDO from the Dirichlet-to-Neumann (DN) map associated to the perturbed FSE. This is proved for two classes of coefficients: coeff…
▽ More
We study an inverse problem for the fractional Schrödinger equation (FSE) with a local perturbation by a linear partial differential operator (PDO) of order smaller than the order of the fractional Laplacian. We show that one can uniquely recover the coefficients of the PDO from the Dirichlet-to-Neumann (DN) map associated to the perturbed FSE. This is proved for two classes of coefficients: coefficients which belong to certain spaces of Sobolev multipliers and coefficients which belong to fractional Sobolev spaces with bounded derivatives. Our study generalizes recent results for the zeroth and first order perturbations to higher order perturbations.
△ Less
Submitted 13 January, 2022; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Unique continuation property and Poincaré inequality for higher order fractional Laplacians with applications in inverse problems
Authors:
Giovanni Covi,
Keijo Mönkkönen,
Jesse Railo
Abstract:
We prove a unique continuation property for the fractional Laplacian $(-Δ)^s$ when $s \in (-n/2,\infty)\setminus \mathbb{Z}$. In addition, we study Poincaré-type inequalities for the operator $(-Δ)^s$ when $s\geq 0$. We apply the results to show that one can uniquely recover, up to a gauge, electric and magnetic potentials from the Dirichlet-to-Neumann map associated to the higher order fractional…
▽ More
We prove a unique continuation property for the fractional Laplacian $(-Δ)^s$ when $s \in (-n/2,\infty)\setminus \mathbb{Z}$. In addition, we study Poincaré-type inequalities for the operator $(-Δ)^s$ when $s\geq 0$. We apply the results to show that one can uniquely recover, up to a gauge, electric and magnetic potentials from the Dirichlet-to-Neumann map associated to the higher order fractional magnetic Schrödinger equation. We also study the higher order fractional Schrödinger equation with singular electric potential. In both cases, we obtain a Runge approximation property for the equation. Furthermore, we prove a uniqueness result for a partial data problem of the $d$-plane Radon transform in low regularity. Our work extends some recent results in inverse problems for more general operators.
△ Less
Submitted 10 November, 2020; v1 submitted 17 January, 2020;
originally announced January 2020.
-
Fourier analysis of periodic Radon transforms
Authors:
Jesse Railo
Abstract:
We study reconstruction of an unknown function from its $d$-plane Radon transform on the flat $n$-torus when $1 \leq d \leq n-1$. We prove new reconstruction formulas and stability results with respect to weighted Bessel potential norms. We solve the associated Tikhonov minimization problem on $H^s$ Sobolev spaces using the properties of the adjoint and normal operators. One of the inversion formu…
▽ More
We study reconstruction of an unknown function from its $d$-plane Radon transform on the flat $n$-torus when $1 \leq d \leq n-1$. We prove new reconstruction formulas and stability results with respect to weighted Bessel potential norms. We solve the associated Tikhonov minimization problem on $H^s$ Sobolev spaces using the properties of the adjoint and normal operators. One of the inversion formulas implies that a compactly supported distribution on the plane with zero average is a weighted sum of its X-ray data.
△ Less
Submitted 21 October, 2020; v1 submitted 1 September, 2019;
originally announced September 2019.
-
Torus computed tomography
Authors:
Joonas Ilmavirta,
Olli Koskela,
Jesse Railo
Abstract:
We present a new computed tomography (CT) method for inverting the Radon transform in 2D. The idea relies on the geometry of the flat torus, hence we call the new method Torus CT. We prove new inversion formulas for integrable functions, solve a minimization problem associated to Tikhonov regularization in Sobolev spaces and prove that the solution operator provides an admissible regularization st…
▽ More
We present a new computed tomography (CT) method for inverting the Radon transform in 2D. The idea relies on the geometry of the flat torus, hence we call the new method Torus CT. We prove new inversion formulas for integrable functions, solve a minimization problem associated to Tikhonov regularization in Sobolev spaces and prove that the solution operator provides an admissible regularization strategy with a quantitative stability estimate. This regularization is a simple post-processing low-pass filter for the Fourier series of a phantom. We also study the adjoint and the normal operator of the X-ray transform on the flat torus. The X-ray transform is unitary on the flat torus. We have implemented the Torus CT method using Matlab and tested it with simulated data with promising results. The inversion method is meshless in the sense that it gives out a closed form function that can be evaluated at any point of interest.
△ Less
Submitted 21 October, 2020; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Geodesic ray transform with matrix weights for piecewise constant functions
Authors:
Joonas Ilmavirta,
Jesse Railo
Abstract:
We show injectivity of the geodesic X-ray transform on piecewise constant functions when the transform is weighted by a continuous matrix weight. The manifold is assumed to be compact and nontrap** of any dimension, and in dimension three and higher we assume a foliation condition. We make no assumption regarding conjugate points or differentiability of the weight. This extends recent results fo…
▽ More
We show injectivity of the geodesic X-ray transform on piecewise constant functions when the transform is weighted by a continuous matrix weight. The manifold is assumed to be compact and nontrap** of any dimension, and in dimension three and higher we assume a foliation condition. We make no assumption regarding conjugate points or differentiability of the weight. This extends recent results for unweighted transforms.
△ Less
Submitted 16 January, 2020; v1 submitted 11 January, 2019;
originally announced January 2019.
-
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.