-
Simultaneous Identification of Coefficients and Source in a Subdiffusion Equation from One Passive Measurement
Authors:
Maolin Deng,
Ali Feizmohammadi,
Bangti Jin,
Yavar Kian
Abstract:
This article is devoted to the detection of parameters in anomalous diffusion from a single passive measurement. More precisely, we consider the simultaneous identification of coefficients as well as a time-dependent source term appearing in a time-fractional diffusion equation from a single boundary or internal passive measurement. We obtain several uniqueness results in dimension one as well as…
▽ More
This article is devoted to the detection of parameters in anomalous diffusion from a single passive measurement. More precisely, we consider the simultaneous identification of coefficients as well as a time-dependent source term appearing in a time-fractional diffusion equation from a single boundary or internal passive measurement. We obtain several uniqueness results in dimension one as well as a multidimensional extension under some symmetry assumptions. Our analysis relies on spectral representation of solutions, complex and harmonic analysis combined with some known inverse spectral results for Sturm-Liouville operators. The theoretical results are complemented by a corresponding reconstruction algorithm and numerical simulations.
△ Less
Submitted 21 June, 2025;
originally announced June 2025.
-
Fractional anisotropic Calderón problem with external data
Authors:
Ali Feizmohammadi,
Tuhin Ghosh,
Katya Krupchyk,
Angkana Rüland,
Johannes Sjöstrand,
Gunther Uhlmann
Abstract:
In this paper, we solve the fractional anisotropic Calderón problem with external data in the Euclidean space, in dimensions two and higher, for smooth Riemannian metrics that agree with the Euclidean metric outside a compact set. Specifically, we prove that the knowledge of the partial exterior Dirichlet--to--Neumann map for the fractional Laplace-Beltrami operator, given on arbitrary open nonemp…
▽ More
In this paper, we solve the fractional anisotropic Calderón problem with external data in the Euclidean space, in dimensions two and higher, for smooth Riemannian metrics that agree with the Euclidean metric outside a compact set. Specifically, we prove that the knowledge of the partial exterior Dirichlet--to--Neumann map for the fractional Laplace-Beltrami operator, given on arbitrary open nonempty sets in the exterior of the domain in the Euclidean space, determines the Riemannian metric up to diffeomorphism, fixing the exterior. We provide two proofs of this result: one relies on the heat semigroup representation of the fractional Laplacian and a pseudodifferential approach, while the other is based on a variable-coefficient elliptic extension interpretation of the fractional Laplacian.
△ Less
Submitted 2 February, 2025;
originally announced February 2025.
-
Reconstruction of 1-D evolution equations and their initial data from one passive measurement
Authors:
Ali Feizmohammadi
Abstract:
We study formally determined inverse problems with passive measurements for one dimensional evolution equations where the goal is to simultaneously determine both the initial data as well as the variable coefficients in such an equation from the measurement of its solution at a fixed spatial point for a certain amount of time. This can be considered as a one-dimensional model of widely open invers…
▽ More
We study formally determined inverse problems with passive measurements for one dimensional evolution equations where the goal is to simultaneously determine both the initial data as well as the variable coefficients in such an equation from the measurement of its solution at a fixed spatial point for a certain amount of time. This can be considered as a one-dimensional model of widely open inverse problems in photo-acoustic and thermo-acoustic tomography. We provide global uniqueness results for wave and heat equations stated on bounded or unbounded spatial intervals. Contrary to all previous related results on the subject, we do not impose any genericity assumptions on the coefficients or initial data. Our proofs are based on creating suitable links to the well understood spectral theory for 1D Schrödinger operators. In particular, in the more challenging case of a bounded spatial domain, our proof for the inverse problem partly relies on the following two key ingredients, namely (i) Paley-Wiener type theorems due to Kahane \cite{Kahane1957SurLF} and Remling \cite{Remling2002SchrdingerOA} that together provide a quantifiable link between support of a compactly supported function and the upper density of its vanishing Schrödinger spectral modes and (ii) a result of Gesztesy and Simon \cite{Gesztesy1999InverseSA} on partial data inverse spectral problems for reconstructing an unknown potential in a 1D Schrödinger operator from the knowledge of only a fraction of its spectrum.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
Entanglement principle for the fractional Laplacian with applications to inverse problems
Authors:
Ali Feizmohammadi,
Yi-Hsuan Lin
Abstract:
We prove an entanglement principle for fractional Laplace operators on $\mathbb R^n$ for $n\geq 2$ as follows; if different fractional powers of the Laplace operator acting on several distinct functions on $\mathbb R^n$, which vanish on some nonempty open set $O$, are known to be linearly dependent on $O$, then all the functions must be globally zero. This remarkable principle was recently discove…
▽ More
We prove an entanglement principle for fractional Laplace operators on $\mathbb R^n$ for $n\geq 2$ as follows; if different fractional powers of the Laplace operator acting on several distinct functions on $\mathbb R^n$, which vanish on some nonempty open set $O$, are known to be linearly dependent on $O$, then all the functions must be globally zero. This remarkable principle was recently discovered to be true for smooth functions on compact Riemannian manifolds without boundary \cite{FKU24}. Our main result extends the principle to the noncompact Euclidean space stated for tempered distributions under suitable decay conditions at infinity. We also present applications of this principle to solve new inverse problems for recovering anisotropic principal terms as well as zeroth order coefficients in fractional polyharmonic equations. Our proof of the entanglement principle uses the heat semigroup formulation of fractional Laplacian to establish connections between the principle and the study of several topics including interpolation properties for holomorphic functions under certain growth conditions at infinity, meromorphic extensions of holomorphic functions from a subdomain, as well as support theorems for spherical mean transforms on $\mathbb R^n$ that are defined as averages of functions over spheres.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
Calderón problem for fractional Schrödinger operators on closed Riemannian manifolds
Authors:
Ali Feizmohammadi,
Katya Krupchyk,
Gunther Uhlmann
Abstract:
We study an analog of the anisotropic Calderón problem for fractional Schrödinger operators $(-Δ_g)^α+ V$ with $α\in (0,1)$ on closed Riemannian manifolds of dimensions two and higher. We prove that the knowledge of a Cauchy data set of solutions of the fractional Schrödinger equation, given on an open nonempty a priori known subset of the manifold determines both the Riemannian manifold up to an…
▽ More
We study an analog of the anisotropic Calderón problem for fractional Schrödinger operators $(-Δ_g)^α+ V$ with $α\in (0,1)$ on closed Riemannian manifolds of dimensions two and higher. We prove that the knowledge of a Cauchy data set of solutions of the fractional Schrödinger equation, given on an open nonempty a priori known subset of the manifold determines both the Riemannian manifold up to an isometry and the potential up to the corresponding gauge transformation, under certain geometric assumptions on the manifold as well as the observation set. Our method of proof is based on: (i) studying a new variant of the Gel'fand inverse spectral problem without the normalization assumption on the energy of eigenfunctions, and (ii) the discovery of an entanglement principle for nonlocal equations involving two or more compactly supported functions. Our solution to (i) makes connections to antipodal sets as well as local control for eigenfunctions and quantum chaos, while (ii) requires sharp interpolation results for holomorphic functions. We believe that both of these results can find applications in other areas of inverse problems.
△ Less
Submitted 23 July, 2024;
originally announced July 2024.
-
Partial data inverse problems for reaction-diffusion and heat equations
Authors:
Ali Feizmohammadi,
Yavar Kian,
Gunther Uhlmann
Abstract:
We study partial data inverse problems for linear and nonlinear parabolic equations with unknown time-dependent coefficients. In particular, we prove uniqueness results for partial data inverse problems for semilinear reaction-diffusion equations where Dirichlet boundary data and Neumann measurements of solutions are restricted to any open subset of the boundary. We also prove injectivity of the F…
▽ More
We study partial data inverse problems for linear and nonlinear parabolic equations with unknown time-dependent coefficients. In particular, we prove uniqueness results for partial data inverse problems for semilinear reaction-diffusion equations where Dirichlet boundary data and Neumann measurements of solutions are restricted to any open subset of the boundary. We also prove injectivity of the Fréchet derivative of the partial Dirichlet-to-Neumann map associated to heat equations. Our proof consists of two crucial ingredients; (i) we introduce an asymptotic family of spherical quasimodes that approximately solve heat equations modulo an exponentially decaying remainder term and (ii) the asymptotic study of a weighted Laplace transform of the unknown coefficient along a straight line segment in the domain where the weight may be viewed as a semiclassical symbol that itself depends on the complex-valued frequency. The latter analysis will rely on Phragmén-Lindelöf principle and Grönwall inequality.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Two uniqueness results in the inverse boundary value problem for the weighted p-Laplace equation
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi
Abstract:
In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniqueness result in dimension 3 and higher, for real analytic weights that are subject to a smallness condition on one of their directional derivatives. Both results are obtained by linearizing the equation at a solution wi…
▽ More
In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniqueness result in dimension 3 and higher, for real analytic weights that are subject to a smallness condition on one of their directional derivatives. Both results are obtained by linearizing the equation at a solution without critical points. This unknown solution is then recovered, together with the unknown weight.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Rigidity of inverse problems for nonlinear elliptic equations on manifolds
Authors:
Ali Feizmohammadi,
Yavar Kian,
Lauri Oksanen
Abstract:
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative answer to this problem. Owing to this obstruction, we consider a new formulation of our inverse problem in terms of a rigidity problem. Precisely, we consider case…
▽ More
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative answer to this problem. Owing to this obstruction, we consider a new formulation of our inverse problem in terms of a rigidity problem. Precisely, we consider cases where the Dirichlet-to-Neumann map of a semilinear equation coincides with the one of a linear equation and ask whether this implies that the equation must indeed be linear. We give a positive answer to this rigidity problem under some assumptions imposed to the Riemannian manifold and to the semilinear term under consideration.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
Remarks on the anisotropic Calderón problem
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We show uniqueness results for the anisotropic Calderón problem stated on transversally anisotropic manifolds. Moreover, we give a convexity result for the range of Dirichlet-to-Neumann maps on general Riemannian manifolds near the zero potential. Finally, we present results for Calderón type inverse problems associated to semilinear elliptic equations on general Riemannian manifolds.
We show uniqueness results for the anisotropic Calderón problem stated on transversally anisotropic manifolds. Moreover, we give a convexity result for the range of Dirichlet-to-Neumann maps on general Riemannian manifolds near the zero potential. Finally, we present results for Calderón type inverse problems associated to semilinear elliptic equations on general Riemannian manifolds.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
An inverse boundary value problem for isotropic nonautonomous heat flows
Authors:
Ali Feizmohammadi
Abstract:
We study an inverse boundary value problem on the determination of principal order coefficients in isotropic nonautonomous heat flows stated as follows; given a medium, and in the absence of heat sources and sinks, can the time-dependent thermal conductivity and volumetric heat capacity of the medium be uniquely determined from the Cauchy data of temperature and heat flux measurements on its bound…
▽ More
We study an inverse boundary value problem on the determination of principal order coefficients in isotropic nonautonomous heat flows stated as follows; given a medium, and in the absence of heat sources and sinks, can the time-dependent thermal conductivity and volumetric heat capacity of the medium be uniquely determined from the Cauchy data of temperature and heat flux measurements on its boundary? We prove uniqueness in all dimensions under an assumption on the thermal diffusivity of the medium, which is defined as the ratio of the thermal conductivity and volumetric heat capacity. As a corollary of our result for isotropic media, we also obtain a uniqueness result, up to a natural gauge, in two-dimensional anisotropic media. Our assumption on the thermal diffusivity is related to construction of certain families of exponential solutions to the heat equation.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
An inverse problem for a semilinear elliptic equation on conformally transversally anisotropic manifolds
Authors:
Ali Feizmohammadi,
Tony Liimatainen,
Yi-Hsuan Lin
Abstract:
Given a conformally transversally anisotropic manifold $(M,g)$, we consider the semilinear elliptic equation
$$(-Δ_{g}+V)u+qu^2=0\quad \text{on $M$}.$$ We show that an a priori unknown smooth function $q$ can be uniquely determined from the knowledge of the Dirichlet-to-Neumann map associated to the semilinear elliptic equation. This extends the previously known results of the works [FO20, LLLS2…
▽ More
Given a conformally transversally anisotropic manifold $(M,g)$, we consider the semilinear elliptic equation
$$(-Δ_{g}+V)u+qu^2=0\quad \text{on $M$}.$$ We show that an a priori unknown smooth function $q$ can be uniquely determined from the knowledge of the Dirichlet-to-Neumann map associated to the semilinear elliptic equation. This extends the previously known results of the works [FO20, LLLS21a]. Our proof is based on analyzing higher order linearizations of the semilinear equation with non-vanishing boundary traces and also the study of interactions of two or more products of the so-called Gaussian quasimode solutions to the linearized equation.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Fractional anisotropic Calderón problem on closed Riemannian manifolds
Authors:
Ali Feizmohammadi,
Tuhin Ghosh,
Katya Krupchyk,
Gunther Uhlmann
Abstract:
In this paper we solve the fractional anisotropic Calderón problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian, given on an arbitrary small open nonempty a priori known subset of a smooth closed connected Riemannian manifold, determines the Riemannian manifold up to an isomet…
▽ More
In this paper we solve the fractional anisotropic Calderón problem on closed Riemannian manifolds of dimensions two and higher. Specifically, we prove that the knowledge of the local source-to-solution map for the fractional Laplacian, given on an arbitrary small open nonempty a priori known subset of a smooth closed connected Riemannian manifold, determines the Riemannian manifold up to an isometry. This can be viewed as a nonlocal analog of the anisotropic Calderón problem in the setting of closed Riemannian manifolds, which is wide open in dimensions three and higher.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Lorentzian Calderón problem near the Minkowski geometry
Authors:
Spyros Alexakis,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We study a Lorentzian version of the well-known Calderón problem that is concerned with determination of lower order coefficients in a wave equation on a smooth Lorentzian manifold, given the associated Dirichlet-to-Neumann map. In the earlier work of the authors it was shown that zeroth order coefficients can be uniquely determined under a two-sided spacetime curvature bound and the additional as…
▽ More
We study a Lorentzian version of the well-known Calderón problem that is concerned with determination of lower order coefficients in a wave equation on a smooth Lorentzian manifold, given the associated Dirichlet-to-Neumann map. In the earlier work of the authors it was shown that zeroth order coefficients can be uniquely determined under a two-sided spacetime curvature bound and the additional assumption that there are no conjugate points along null or spacelike geodesics. In this paper we show that uniqueness for the zeroth order coefficient holds for manifolds satisfying a weaker curvature bound as well as spacetime perturbations of such manifolds. This relies on a new optimal unique continuation principle for the wave equation in the exterior regions of double null cones. In particular, we solve the Lorentzian Calderón problem near the Minkowski geometry.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
An inverse problem for a quasilinear convection--diffusion equation
Authors:
Ali Feizmohammadi,
Yavar Kian,
Gunther Uhlmann
Abstract:
We study the inverse problem of recovering a semilinear diffusion term $a(t,λ)$ as well as a quasilinear convection term $\mathcal B(t,x,λ,ξ)$ in a nonlinear parabolic equation $$\partial_tu-\textrm{div}(a(t,u) \nabla u)+\mathcal B(t,x,u,\nabla u)\cdot\nabla u=0, \quad \mbox{in}\ (0,T)\timesΩ,$$ given the knowledge of the flux of the moving quantity associated with different sources applied at the…
▽ More
We study the inverse problem of recovering a semilinear diffusion term $a(t,λ)$ as well as a quasilinear convection term $\mathcal B(t,x,λ,ξ)$ in a nonlinear parabolic equation $$\partial_tu-\textrm{div}(a(t,u) \nabla u)+\mathcal B(t,x,u,\nabla u)\cdot\nabla u=0, \quad \mbox{in}\ (0,T)\timesΩ,$$ given the knowledge of the flux of the moving quantity associated with different sources applied at the boundary of the domain. This inverse problem that is modeled by the solution dependent parameters $a$ and $\mathcal B$ has many physical applications related to various classes of cooperative interactions or complex mixing in diffusion processes. Our main result states that, under suitable assumptions, it is possible to fully recover the nonlinear diffusion term $a$ as well as the nonlinear convection term $\mathcal B$. The recovery of the diffusion term is based on the idea of solutions to the linearized equation with singularities near the boundary $\partial Ω$. Our proof of the recovery of the convection term is based on the idea of higher order linearization to reduce the inverse problem to a density property for certain anisotropic products of solutions to the linearized equation. We show this density property by constructing sufficiently smooth geometric optic solutions concentrating on rays in $Ω$.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
Fractional Calderón problem on a closed Riemannian manifold
Authors:
Ali Feizmohammadi
Abstract:
Given a fixed $α\in (0,1)$, we study the inverse problem of recovering the isometry class of a smooth closed and connected Riemannian manifold $(M,g)$, given the knowledge of a source-to-solution map for the fractional Laplace equation $(-Δ_g)^αu=f$ on the manifold subject to an arbitrarily small observation region $\mathcal O$ where sources can be placed and solutions can be measured. This can be…
▽ More
Given a fixed $α\in (0,1)$, we study the inverse problem of recovering the isometry class of a smooth closed and connected Riemannian manifold $(M,g)$, given the knowledge of a source-to-solution map for the fractional Laplace equation $(-Δ_g)^αu=f$ on the manifold subject to an arbitrarily small observation region $\mathcal O$ where sources can be placed and solutions can be measured. This can be viewed as a non-local analogue of the well known anisotropic Calderón problem that is concerned with the limiting case $α=1$. While the latter problem is widely open in dimensions three and higher, we solve the non-local problem in broad geometric generality, assuming only a local property on the a priori known observation region $\mathcal O$ while making no geometric assumptions on the inaccessible region of the manifold, namely $M\setminus \mathcal O$. Our proof is based on discovering a hidden connection to a variant of Carlson's theorem in complex analysis that allows us to reduce the non-local inverse problem to the Gel'fand inverse spectral problem.
△ Less
Submitted 21 October, 2021; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Spacetime finite element methods for control problems subject to the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Arnaud Munch,
Lauri Oksanen
Abstract:
We consider the null controllability problem for the wave equation, and analyse a stabilized finite element method formulated on a global, unstructured spacetime mesh. We prove error estimates for the approximate control given by the computational method. The proofs are based on the regularity properties of the control given by the Hilbert Uniqueness Method, together with the stability properties…
▽ More
We consider the null controllability problem for the wave equation, and analyse a stabilized finite element method formulated on a global, unstructured spacetime mesh. We prove error estimates for the approximate control given by the computational method. The proofs are based on the regularity properties of the control given by the Hilbert Uniqueness Method, together with the stability properties of the numerical scheme. Numerical experiments illustrate the results.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
The Calderón inverse problem for isotropic quasilinear conductivities
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi,
Yavar Kian,
Katya Krupchyk,
Gunther Uhlmann
Abstract:
We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to…
▽ More
We prove a global uniqueness result for the Calderón inverse problem for a general quasilinear isotropic conductivity equation on a bounded open set with smooth boundary in dimension $n\ge 3$. Performing higher order linearizations of the nonlinear Dirichlet--to--Neumann map, we reduce the problem of the recovery of the differentials of the quasilinear conductivity, which are symmetric tensors, to a completeness property for certain anisotropic products of solutions to the linearized equation. The completeness property is established using complex geometric optics solutions to the linearized conductivity equation, whose amplitudes concentrate near suitable two dimensional planes.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
A density property for tensor products of gradients of harmonic functions and applications
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi
Abstract:
We show that tensor products of $k$ gradients of harmonic functions, with $k$ at least three, are dense in $C(\overlineΩ)$, for any bounded domain $Ω$ in dimension 3 or higher. The bulk of the argument consists in showing that any smooth compactly supported $k$-tensor that is $L^2$-orthogonal to all such products must be zero. This is done by using a Gaussian quasi-mode based construction of harmo…
▽ More
We show that tensor products of $k$ gradients of harmonic functions, with $k$ at least three, are dense in $C(\overlineΩ)$, for any bounded domain $Ω$ in dimension 3 or higher. The bulk of the argument consists in showing that any smooth compactly supported $k$-tensor that is $L^2$-orthogonal to all such products must be zero. This is done by using a Gaussian quasi-mode based construction of harmonic functions in the orthogonality relation. We then demonstrate the usefulness of this result by using it to prove uniqueness in the inverse boundary value problem for a coupled quasilinear elliptic system. The paper ends with a discussion of the corresponding property for products of two gradients of harmonic functions, and the connection of this property with the linearized anisotropic Calderón problem.
△ Less
Submitted 7 November, 2020; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Reconstruction in the Calderón problem on conformally transversally anisotropic manifolds
Authors:
Ali Feizmohammadi,
Katya Krupchyk,
Lauri Oksanen,
Gunther Uhlmann
Abstract:
We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of D…
▽ More
We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of Dos Santos Ferreira-Kurylev-Lassas-Salo. A crucial role in our reconstruction procedure is played by a constructive determination of the boundary traces of suitable complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which enjoy uniqueness properties. This is achieved by applying the simplified version of the approach of Nachman-Street to our setting. We also identify the main space introduced by Nachman-Street with a standard Sobolev space on the boundary of the manifold. Another ingredient in the proof of our result is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet-to-Neumann map.
△ Less
Submitted 7 October, 2020; v1 submitted 21 September, 2020;
originally announced September 2020.
-
Lorentzian Calderón problem under curvature bounds
Authors:
Spyros Alexakis,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We introduce a method of solving inverse boundary value problems for wave equations on Lorentzian manifolds, and show that zeroth order coefficients can be recovered under certain curvature bounds. The set of Lorentzian metrics satisfying the curvature bounds has a non-empty interior in the sense of arbitrary, smooth perturbations of the metric, whereas all previous results on this problem impose…
▽ More
We introduce a method of solving inverse boundary value problems for wave equations on Lorentzian manifolds, and show that zeroth order coefficients can be recovered under certain curvature bounds. The set of Lorentzian metrics satisfying the curvature bounds has a non-empty interior in the sense of arbitrary, smooth perturbations of the metric, whereas all previous results on this problem impose conditions on the metric that force it to be real analytic with respect to a suitably defined time variable. The analogous problem on Riemannian manifolds is called the Calderón problem, and in this case the known results require the metric to be independent of one of the variables. Our approach is based on a new unique continuation result in the exterior of the double null cone emanating from a point. The approach shares features with the classical Boundary Control method, and can be viewed as a generalization of this method to cases where no real analyticity is assumed.
△ Less
Submitted 2 October, 2020; v1 submitted 17 August, 2020;
originally announced August 2020.
-
An inverse boundary value problem for certain anisotropic quasilinear elliptic equations
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi
Abstract:
In this paper we prove uniqueness in the inverse boundary value problem for quasilinear elliptic equations whose linear part is the Laplacian and nonlinear part is the divergence of a function analytic in the gradient of the solution. The main novelty in terms of the result is that the coefficients of the nonlinearity are allowed to be "anisotropic". As in previous works, the proof reduces to an i…
▽ More
In this paper we prove uniqueness in the inverse boundary value problem for quasilinear elliptic equations whose linear part is the Laplacian and nonlinear part is the divergence of a function analytic in the gradient of the solution. The main novelty in terms of the result is that the coefficients of the nonlinearity are allowed to be "anisotropic". As in previous works, the proof reduces to an integral identity involving the tensor product of the gradients of 3 or more harmonic functions. Employing a construction method using Gaussian quasi-modes, we obtain a convenient family of harmonic functions to plug into the integral identity and establish our result.
△ Less
Submitted 22 August, 2020; v1 submitted 11 August, 2020;
originally announced August 2020.
-
Inverse problems for non-linear hyperbolic equations with disjoint sources and receivers
Authors:
Ali Feizmohammadi,
Matti Lassas,
Lauri Oksanen
Abstract:
The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $Ω_{\textrm{in}}$, where the sources are supporte…
▽ More
The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $Ω_{\textrm{in}}$, where the sources are supported, and the set $Ω_{\textrm{out}}$, where the observations are made, are separated. As model problems we study both a quasi-linear and also a semi-linear wave equation and show in each case that it is possible to uniquely recover the background metric up to the natural obstructions for uniqueness that is governed by finite speed of propagation for the wave equation and a gauge corresponding to change of coordinates. The proof consists of two independent components. In the first half we study multiple-fold linearization of the non-linear wave equation near real parts of Gaussian beams that results in a three-wave interaction. We show that the three-wave interaction can produce a three-to-one scattering data. In the second half of the paper, we study an abstract formulation of the three-to-one scattering relation showing that it recovers the topological, differential and conformal structures of the manifold in a causal diamond set that is the intersection of the future of the point $p_{in}\in Ω_{\textrm{in}}$ and the past of the point $p_{out}\in Ω_{\textrm{out}}$. The results do not require any assumptions on the conjugate or cut points.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Global recovery of a time-dependent coefficient for the wave equation from a single measurement
Authors:
Ali Feizmohammadi,
Yavar Kian
Abstract:
We consider the formally determined inverse problem of recovering an unknown time-dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the s…
▽ More
We consider the formally determined inverse problem of recovering an unknown time-dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the spacetime domain and subsequently measuring the solution in a small neighborhood outside of the spacetime domain. The approach is based on considering a dense collection of light rays and constructing a source function that combines a countable collection of sources that each generates a wave packet near a light ray in the collection. We show that measuring the solution corresponding to that single source simultaneously determines the light ray transform along all the light rays in the collection. The result then follows from injectivity of the light ray transform. Our proof also provides a reconstruction algorithm.
△ Less
Submitted 27 March, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Space time stabilized finite element methods for a unique continuation problem subject to the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Arnaud Munch,
Lauri Oksanen
Abstract:
We consider a stabilized finite element method based on a spacetime formulation, where the equations are solved on a global (unstructured) spacetime mesh. A unique continuation problem for the wave equation is considered, where data is known in an interior subset of spacetime. For this problem, we consider a primal-dual discrete formulation of the continuum problem with the addition of stabilizati…
▽ More
We consider a stabilized finite element method based on a spacetime formulation, where the equations are solved on a global (unstructured) spacetime mesh. A unique continuation problem for the wave equation is considered, where data is known in an interior subset of spacetime. For this problem, we consider a primal-dual discrete formulation of the continuum problem with the addition of stabilization terms that are designed with the goal of minimizing the numerical errors. We prove error estimates using the stability properties of the numerical scheme and a continuum observability estimate, based on the sharp geometric control condition by Bardos, Lebeau and Rauch. The order of convergence for our numerical scheme is optimal with respect to stability properties of the continuum problem and the interpolation errors of approximating with polynomial spaces. Numerical examples are provided that illustrate the methodology.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
The Light Ray transform in Stationary and Static Lorentzian geometries
Authors:
Ali Feizmohammadi,
Joonas Ilmavirta,
Lauri Oksanen
Abstract:
Given a Lorentzian manifold, the light ray transform of a function is its integrals along null geodesics. This paper is concerned with the injectivity of the light ray transform on functions and tensors, up to the natural gauge for the problem. First, we study the injectivity of the light ray transform of a scalar function on a globally hyperbolic stationary Lorentzian manifold and prove injectivi…
▽ More
Given a Lorentzian manifold, the light ray transform of a function is its integrals along null geodesics. This paper is concerned with the injectivity of the light ray transform on functions and tensors, up to the natural gauge for the problem. First, we study the injectivity of the light ray transform of a scalar function on a globally hyperbolic stationary Lorentzian manifold and prove injectivity holds if either a convex foliation condition is satisfied on a Cauchy surface on the manifold or the manifold is real analytic and null geodesics do not have cut points. Next, we consider the light ray transform on tensor fields of arbitrary rank in the more restrictive class of static Lorentzian manifolds and show that if the geodesic ray transform on tensors defined on the spatial part of the manifold is injective up to the natural gauge, then the light ray transform on tensors is also injective up to its natural gauge. Finally, we provide applications of our results to some inverse problems about recovery of coefficients for hyperbolic partial differential equations from boundary data.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
An inverse problem for a semi-linear elliptic equation in Riemannian geometries
Authors:
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We study the inverse problem of unique recovery of a complex-valued scalar function $V:\mathcal M \times \mathbb C\to \mathbb C$, defined over a smooth compact Riemannian manifold $(\mathcal M,g)$ with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi-linear equation $-Δ_{g}u+V(x,u)=0$. We show that under some geometrical assumptions uniqueness can be…
▽ More
We study the inverse problem of unique recovery of a complex-valued scalar function $V:\mathcal M \times \mathbb C\to \mathbb C$, defined over a smooth compact Riemannian manifold $(\mathcal M,g)$ with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi-linear equation $-Δ_{g}u+V(x,u)=0$. We show that under some geometrical assumptions uniqueness can be proved for a large class of non-linearities. The proof is constructive and is based on a multiple-fold linearization of the semi-linear equation near complex geometric optic solutions for the linearized operator and the resulting non-linear interactions. These non-linear interactions result in the study of a weighted transform along geodesics, that we call the Jacobi weighted ray transform.
△ Less
Submitted 21 February, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Recovery of zeroth order coefficients in non-linear wave equations
Authors:
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
This paper is concerned with the resolution of an inverse problem related to the recovery of a scalar (potential) function $V$ from the source to solution map, of the semi-linear equation $(\Box_{g}+V)u+u^3=0$ on a globally hyperbolic Lorentzian manifold $(M,g)$. We first study the simpler model problem where the geometry is the Minkowski space and prove the uniqueness of $V$ through the use of ge…
▽ More
This paper is concerned with the resolution of an inverse problem related to the recovery of a scalar (potential) function $V$ from the source to solution map, of the semi-linear equation $(\Box_{g}+V)u+u^3=0$ on a globally hyperbolic Lorentzian manifold $(M,g)$. We first study the simpler model problem where the geometry is the Minkowski space and prove the uniqueness of $V$ through the use of geometric optics and a three-fold wave interaction arising from the cubic non-linearity. Subsequently, the result is generalized to globally hyperbolic Lorentzian manifolds by using Gaussian beams.
△ Less
Submitted 5 April, 2019; v1 submitted 29 March, 2019;
originally announced March 2019.
-
Recovery of non-smooth coefficients appearing in anisotropic wave equations
Authors:
Ali Feizmohammadi,
Yavar Kian
Abstract:
We study the problem of unique recovery of a non-smooth one-form $\mathcal A$ and a scalar function $q$ from the Dirichlet to Neumann map, $Λ_{\mathcal A,q}$, of a hyperbolic equation on a Riemannian manifold $(M,g)$. We prove uniqueness of the one-form $\mathcal A$ up to the natural gauge, under weak regularity conditions on $\mathcal A,q$ and under the assumption that $(M,g)$ is simple. Under an…
▽ More
We study the problem of unique recovery of a non-smooth one-form $\mathcal A$ and a scalar function $q$ from the Dirichlet to Neumann map, $Λ_{\mathcal A,q}$, of a hyperbolic equation on a Riemannian manifold $(M,g)$. We prove uniqueness of the one-form $\mathcal A$ up to the natural gauge, under weak regularity conditions on $\mathcal A,q$ and under the assumption that $(M,g)$ is simple. Under an additional regularity assumption, we also derive uniqueness of the scalar function $q$. The proof is based on the geometric optic construction and inversion of the light ray transform extended as a Fourier Integral Operator to non-smooth parameters and functions.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
A fully discrete numerical control method for the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We present a fully discrete finite element method for the interior null controllability problem subject to the wave equation. For the numerical scheme, piece-wise affine continuous elements in space and finite differences in time are considered. We show that if the sharp geometric control condition holds, our numerical scheme yields the optimal rate of convergence with respect to the space-time me…
▽ More
We present a fully discrete finite element method for the interior null controllability problem subject to the wave equation. For the numerical scheme, piece-wise affine continuous elements in space and finite differences in time are considered. We show that if the sharp geometric control condition holds, our numerical scheme yields the optimal rate of convergence with respect to the space-time mesh parameter $h$. The approach is based on the design of stabilization terms for the discrete scheme with the goal of minimizing the computational error.
△ Less
Submitted 26 February, 2020; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Recovery of time dependent coefficients from boundary data for hyperbolic equations
Authors:
Ali Feizmohammadi,
Joonas Ilmavirta,
Yavar Kian,
Lauri Oksanen
Abstract:
We study uniqueness of the recovery of a time-dependent magnetic vector-valued potential and an electric scalar-valued potential on a Riemannian manifold from the knowledge of the Dirichlet to Neumann map of a hyperbolic equation. The Cauchy data is observed on time-like parts of the space-time boundary and uniqueness is proved up to the natural gauge for the problem. The proof is based on Gaussia…
▽ More
We study uniqueness of the recovery of a time-dependent magnetic vector-valued potential and an electric scalar-valued potential on a Riemannian manifold from the knowledge of the Dirichlet to Neumann map of a hyperbolic equation. The Cauchy data is observed on time-like parts of the space-time boundary and uniqueness is proved up to the natural gauge for the problem. The proof is based on Gaussian beams and inversion of the light ray transform on Lorentzian manifolds under the assumptions that the Lorentzian manifold is a product of a Riemannian manifold with a time interval and that the geodesic ray transform is invertible on the Riemannian manifold.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
A finite element data assimilation method for the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We design a primal-dual stabilized finite element method for the numerical approximation of a data assimilation problem subject to the acoustic wave equation. For the forward problem, piecewise affine, continuous, finite element functions are used for the approximation in space and backward differentiation is used in time. Stabilizing terms are added on the discrete level. The design of these term…
▽ More
We design a primal-dual stabilized finite element method for the numerical approximation of a data assimilation problem subject to the acoustic wave equation. For the forward problem, piecewise affine, continuous, finite element functions are used for the approximation in space and backward differentiation is used in time. Stabilizing terms are added on the discrete level. The design of these terms is driven by numerical stability and the stability of the continuous problem, with the objective of minimizing the computational error. Error estimates are then derived that are optimal with respect to the approximation properties of the numerical scheme and the stability properties of the continuous problem. The effects of discretizing the (smooth) domain boundary and other perturbations in data are included in the analysis.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Uniqueness of a Potential from Local Boundary Measurements
Authors:
Ali Feizmohammadi
Abstract:
Let $(Ω^3,g)$ be a compact smooth Riemannian manifold with smooth boundary and suppose that $U$ is an open set in $Ω$ such that $g|_U$ is the Euclidean metric. Let $Γ= \overline{U} \cap \partial Ω$ be non-empty, connected, strictly convex and that $U$ is the convex hull of $Γ$. We will study the uniqueness of an unknown potential for the Schrödinger operator $ -\triangle_g + q $ from the associate…
▽ More
Let $(Ω^3,g)$ be a compact smooth Riemannian manifold with smooth boundary and suppose that $U$ is an open set in $Ω$ such that $g|_U$ is the Euclidean metric. Let $Γ= \overline{U} \cap \partial Ω$ be non-empty, connected, strictly convex and that $U$ is the convex hull of $Γ$. We will study the uniqueness of an unknown potential for the Schrödinger operator $ -\triangle_g + q $ from the associated local Dirichlet to Neumann map, $C_q^{Γ,Γ}$. Indeed, we will prove that if the potential $q$ is a priori explicitly known in $U^c$, then one can uniquely reconstruct $q$ from the knowledge of $C^{Γ,Γ}_q$.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
Uniqueness of a Potential from Boundary Data in Locally Conformally Transversally Anisotropic Geometries
Authors:
Ali Feizmohammadi
Abstract:
Let $(Ω^3,g)$ be a compact smooth Riemannian manifold with smooth boundary and suppose that $U$ is a an open set in $Ω$ such that $g|_U$ is the Euclidean metric. Let $Γ= \overline{U} \cap \partial Ω$ be connected and suppose that $U$ is the convex hull of $Γ$. We will study the uniqueness of an unknown potential for the Schrödinger operator $ -\triangle_g + q $ from the associated Dirichlet to Neu…
▽ More
Let $(Ω^3,g)$ be a compact smooth Riemannian manifold with smooth boundary and suppose that $U$ is a an open set in $Ω$ such that $g|_U$ is the Euclidean metric. Let $Γ= \overline{U} \cap \partial Ω$ be connected and suppose that $U$ is the convex hull of $Γ$. We will study the uniqueness of an unknown potential for the Schrödinger operator $ -\triangle_g + q $ from the associated Dirichlet to Neumann map, $Λ_q$. We will prove that if the potential $q$ is a priori explicitly known in $U^c$, then one can uniquely reconstruct $q$ over the convex hull of $Γ$ from $Λ_q$. We will also outline a reconstruction algorithm. More generally we will discuss the cases where $Γ$ is not connected or $g|_{U}$ is conformally transversally anisotropic and derive the analogous result.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.
