-
Recovery of a time-dependent potential in hyperbolic equations on conformally transversally anisotropic manifolds
Authors:
Boya Liu,
Teemu Saksala,
Lili Yan
Abstract:
We study an inverse problem of determining a time-dependent potential appearing in the wave equation in conformally transversally anisotropic manifolds of dimension three or higher. These are compact Riemannian manifolds with boundary that are conformally embedded in a product of the real line and a transversal manifold. Under the assumption of the attenuated geodesic ray transform being injective…
▽ More
We study an inverse problem of determining a time-dependent potential appearing in the wave equation in conformally transversally anisotropic manifolds of dimension three or higher. These are compact Riemannian manifolds with boundary that are conformally embedded in a product of the real line and a transversal manifold. Under the assumption of the attenuated geodesic ray transform being injective on the transversal manifold, we prove the unique determination of time-dependent potentials from the knowledge of a certain partial Cauchy data set.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Partial data inverse problem for hyperbolic equation with time-dependent dam** coefficient and potential
Authors:
Boya Liu,
Teemu Saksala,
Lili Yan
Abstract:
We study an inverse problem of determining a time-dependent dam** coefficient and potential appearing in the wave equation in a compact Riemannian manifold of dimension three or higher. More specifically, we are concerned with the case of conformally transversally anisotropic manifolds, or in other words, compact Riemannian manifolds with boundary conformally embedded in a product of the Euclide…
▽ More
We study an inverse problem of determining a time-dependent dam** coefficient and potential appearing in the wave equation in a compact Riemannian manifold of dimension three or higher. More specifically, we are concerned with the case of conformally transversally anisotropic manifolds, or in other words, compact Riemannian manifolds with boundary conformally embedded in a product of the Euclidean line and a transversal manifold. With an additional assumption of the attenuated geodesic ray transform being injective on the transversal manifold, we prove that the knowledge of a certain partial Cauchy data set determines time-dependent dam** coefficient and potential uniquely.
△ Less
Submitted 28 February, 2024; v1 submitted 17 June, 2023;
originally announced June 2023.
-
Three travel time inverse problems on simple Riemannian manifolds
Authors:
Joonas Ilmavirta,
Boya Liu,
Teemu Saksala
Abstract:
We provide new proofs based on the Myers-Steenrod theorem to confirm that travel time data, travel time difference data and the broken scattering relations determine a simple Riemannian metric on a disc up to the natural gauge of a boundary fixing diffeomorphism. Our method of the proof leads to a Lipschitz-type stability estimate for the first two data sets in the class of simple metrics.
We provide new proofs based on the Myers-Steenrod theorem to confirm that travel time data, travel time difference data and the broken scattering relations determine a simple Riemannian metric on a disc up to the natural gauge of a boundary fixing diffeomorphism. Our method of the proof leads to a Lipschitz-type stability estimate for the first two data sets in the class of simple metrics.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
Uniqueness of the partial travel time representation of a compact Riemannian manifold with strictly convex boundary
Authors:
Ella Pavlechko,
Teemu Saksala
Abstract:
In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. This geometric inverse problem has many connections to seismology, in par…
▽ More
In this paper a compact Riemannian manifold with strictly convex boundary is reconstructed from its partial travel time data. This data assumes that an open measurement region on the boundary is given, and that for every point in the manifold, the respective distance function to the points on the measurement region is known. This geometric inverse problem has many connections to seismology, in particular to micro seismicity. The reconstruction is based on embedding the manifold in a function space. This requires the differentiation of the distance functions. Therefore this paper also studies some global regularity properties of the distance function on a compact Riemannian manifold with strictly convex boundary.
△ Less
Submitted 18 April, 2022; v1 submitted 5 January, 2022;
originally announced January 2022.
-
Stable reconstruction of simple Riemannian manifolds from unknown interior sources
Authors:
Maarten V. de Hoop,
Joonas Ilmavirta,
Matti Lassas,
Teemu Saksala
Abstract:
Consider the geometric inverse problem: There is a set of delta-sources in spacetime that emit waves travelling at unit speed. If we know all the arrival times at the boundary cylinder of the spacetime, can we reconstruct the space, a Riemannian manifold with boundary? With a finite set of sources we can only hope to get an approximate reconstruction, and we indeed provide a discrete metric approx…
▽ More
Consider the geometric inverse problem: There is a set of delta-sources in spacetime that emit waves travelling at unit speed. If we know all the arrival times at the boundary cylinder of the spacetime, can we reconstruct the space, a Riemannian manifold with boundary? With a finite set of sources we can only hope to get an approximate reconstruction, and we indeed provide a discrete metric approximation to the manifold with explicit data-driven error bounds when the manifold is simple. This is the geometrization of a seismological inverse problem where we measure the arrival times on the surface of waves from an unknown number of unknown interior microseismic events at unknown times. The closeness of two metric spaces with a marked boundary is measured by a labeled Gromov--Hausdorff distance. If measurements are done for infinite time and spatially dense sources, our construction produces the true Riemannian manifold and the finite-time approximations converge to it in the metric sense.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
A foliated and reversible Finsler manifold is determined by its broken scattering relation
Authors:
Maarten V. de Hoop,
Joonas Ilmavirta,
Matti Lassas,
Teemu Saksala
Abstract:
The broken scattering relation consists of the total lengths of broken geodesics that start from the boundary, change direction once inside the manifold, and propagate to the boundary. We show that if two reversible Finsler manifolds satisfying a convex foliation condition have the same broken scattering relation, then they are isometric. This implies that some anisotropic material parameters of t…
▽ More
The broken scattering relation consists of the total lengths of broken geodesics that start from the boundary, change direction once inside the manifold, and propagate to the boundary. We show that if two reversible Finsler manifolds satisfying a convex foliation condition have the same broken scattering relation, then they are isometric. This implies that some anisotropic material parameters of the Earth can be in principle reconstructed from single scattering measurements at the surface.
△ Less
Submitted 21 May, 2021; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Generic uniqueness and stability for the mixed ray transform
Authors:
Maarten V. de Hoop,
Teemu Saksala,
Gunther Uhlmann,
Jian Zhai
Abstract:
We consider the mixed ray transform of tensor fields on a three-dimensional compact simple Riemannian manifold with boundary. We prove the injectivity of the transform, up to natural obstructions, and establish stability estimates for the normal operator on generic three dimensional simple manifold in the case of 1+1 and 2+2 tensors fields.
We show how the anisotropic perturbations of averaged i…
▽ More
We consider the mixed ray transform of tensor fields on a three-dimensional compact simple Riemannian manifold with boundary. We prove the injectivity of the transform, up to natural obstructions, and establish stability estimates for the normal operator on generic three dimensional simple manifold in the case of 1+1 and 2+2 tensors fields.
We show how the anisotropic perturbations of averaged isotopic travel-times of qS-polarized elastic waves provide partial information about the mixed ray transform of 2+2 tensors fields. If in addition we include the measurement of the shear wave amplitude, the complete mixed ray transform can be recovered. We also show how one can obtain the mixed ray transform from an anisotropic perturbation of the Dirichlet-to-Neumann map of an isotropic elastic wave equation on a smooth and bounded domain in three dimensional Euclidean space.
△ Less
Submitted 18 August, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Determination of a compact Finsler manifold from its boundary distance map and an inverse problem in elasticity
Authors:
Maarten V. De Hoop,
Joonas Ilmavirta,
Matti Lassas,
Teemu Saksala
Abstract:
We prove that the boundary distance map of a smooth compact Finsler manifold with smooth boundary determines its topological and differentiable structures. We construct the optimal fiberwise open subset of its tangent bundle and show that the boundary distance map determines the Finsler function in this set but not in its exterior. If the Finsler function is fiberwise real analytic, it is determin…
▽ More
We prove that the boundary distance map of a smooth compact Finsler manifold with smooth boundary determines its topological and differentiable structures. We construct the optimal fiberwise open subset of its tangent bundle and show that the boundary distance map determines the Finsler function in this set but not in its exterior. If the Finsler function is fiberwise real analytic, it is determined uniquely. We also discuss the smoothness of the distance function between interior and boundary points.
We recall how the fastest $qP$-polarized waves in anisotropic elastic medium are a given as solutions of the second order hyperbolic pseudodifferential equation $(\frac{\p^2}{\p t^2}-λ^1(x,D))u(t,x)=h(t,x)$ on $\R^{1+3}$, where $\sqrt{λ^1}$ is the Legendre transform of a fiberwise real analytic Finsler function $F$ on $\R^3$. If $M \subset \R^3$ is a $F$-convex smooth bounded domain we say that a travel time of $u$ to $z \in \p M$ is the first time $t>0$ when the wavefront set of $u$ arrives in $(t,z)$. The aforementioned geometric result can then be utilized to determine the isometry class of $(\overline M,F)$ if we have measured a large amount of travel times of $qP$-polarized waves, issued from a dense set of unknown interior point sources on $M$.
△ Less
Submitted 13 August, 2021; v1 submitted 12 January, 2019;
originally announced January 2019.
-
Mixed ray transform on simple 2-dimensional Riemannian manifolds
Authors:
Maarten V. de Hoop,
Teemu Saksala,
Jian Zhai
Abstract:
We characterize the kernel of the mixed ray transform on simple $2$-dimensional Riemannian manifolds, that is, on simple surfaces for tensors of any order.
We characterize the kernel of the mixed ray transform on simple $2$-dimensional Riemannian manifolds, that is, on simple surfaces for tensors of any order.
△ Less
Submitted 5 August, 2018;
originally announced August 2018.
-
Inverse problem of Travel time difference functions on compact Riemannian manifold with boundary
Authors:
Maarten V. de Hoop,
Teemu Saksala
Abstract:
We show that the travel time difference functions, measured on the boundary, determine a compact Riemannian manifold with smooth boundary up to Riemannian isometry, if boundary satisfies a certain visibility condition. This corresponds with the inverse microseismicity problem. The novelty of our paper is a new type of a proof and a weaker assumption for the boundary than it has been presented in t…
▽ More
We show that the travel time difference functions, measured on the boundary, determine a compact Riemannian manifold with smooth boundary up to Riemannian isometry, if boundary satisfies a certain visibility condition. This corresponds with the inverse microseismicity problem. The novelty of our paper is a new type of a proof and a weaker assumption for the boundary than it has been presented in the literature before. We also construct an explicit smooth atlas from the travel time difference functions.
△ Less
Submitted 6 July, 2018;
originally announced July 2018.
-
Reconstruction of a compact Riemannian manifold from the scattering data of internal sources
Authors:
Matti Lassas,
Teemu Saksala,
Hanming Zhou
Abstract:
Given a smooth non-trap** compact manifold with strictly con- vex boundary, we consider an inverse problem of reconstructing the manifold from the scattering data initiated from internal sources. This data consist of the exit directions of geodesics that are emaneted from interior points of the manifold. We show that under certain generic assumption of the metric, one can reconstruct an isometri…
▽ More
Given a smooth non-trap** compact manifold with strictly con- vex boundary, we consider an inverse problem of reconstructing the manifold from the scattering data initiated from internal sources. This data consist of the exit directions of geodesics that are emaneted from interior points of the manifold. We show that under certain generic assumption of the metric, one can reconstruct an isometric copy of the manifold from such scattering data measured on the boundary.
△ Less
Submitted 19 March, 2018; v1 submitted 24 August, 2017;
originally announced August 2017.
-
Correlation based passive imaging with a white noise source
Authors:
Tapio Helin,
Matti Lassas,
Lauri Oksanen,
Teemu Saksala
Abstract:
Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white nois…
▽ More
Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white noise statistics on ${\mathbb R}^{1+n}$, $n \ge 3$, $χ$ is a smooth function vanishing for negative times and outside a compact set in space, and $Δ_g$ is the Laplace-Beltrami operator associated to a smooth non-trap** Riemannian metric tensor $g$ on ${\mathbb R}^n$. The metric tensor $g$ models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set $\mathcal X \subset {\mathbb R}^n$, $$ C_T(t_1, x_1, t_2, x_2) = \frac 1 T \int_0^T u(t_1+s,x_1) u(t_2+s,x_2) ds, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, $$ for $T>0$. Supposing that $χ$ is non-zero on $\mathcal X$ and constant in time after $t > 1$, we show that in the limit $T \to \infty$, the data $C_T$ becomes statistically stable, that is, independent of the realization of $W$. Our main result is that, with probability one, this limit determines the Riemannian manifold $({\mathbb R}^n,g)$ up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales.
△ Less
Submitted 4 November, 2016; v1 submitted 26 September, 2016;
originally announced September 2016.
-
Determination of a Riemannian manifold from the distance difference functions
Authors:
Matti Lassas,
Teemu Saksala
Abstract:
Let $(N,g)$ be a Riemannian manifold with the distance function $d(x,y)$ and an open subset $M\subset N$. For $x\in M$ we denote by $D_x$ the distance difference function $D_x:F\times F\to \mathbb R$, given by $D_x(z_1,z_2)=d(x,z_1)-d(x,z_2)$, $z_1,z_2\in F=N\setminus M$. We consider the inverse problem of determining the topological and the differentiable structure of the manifold $M$ and the met…
▽ More
Let $(N,g)$ be a Riemannian manifold with the distance function $d(x,y)$ and an open subset $M\subset N$. For $x\in M$ we denote by $D_x$ the distance difference function $D_x:F\times F\to \mathbb R$, given by $D_x(z_1,z_2)=d(x,z_1)-d(x,z_2)$, $z_1,z_2\in F=N\setminus M$. We consider the inverse problem of determining the topological and the differentiable structure of the manifold $M$ and the metric $g|_M$ on it when we are given the distance difference data, that is, the set $F$, the metric $g|_F$, and the collection $\mathcal D(M)=\{D_x;\ x\in M\}$. Moreover, we consider the embedded image $\mathcal D(M)$ of the manifold $M$, in the vector space $C(F\times F)$, as a representation of manifold $M$. The inverse problem of determining $(M,g)$ from $\mathcal D(M)$ arises e.g. in the study of the wave equation on $\mathbb R\times N$ when we observe in $F$ the waves produced by spontaneous point sources at unknown points $(t,x)\in \mathbb R\times M$. Then $D_x(z_1,z_2)$ is the difference of the times when one observes at points $z_1$ and $z_2$ the wave produced by a point source at $x$ that goes off at an unknown time. The problem has applications in hybrid inverse problems and in geophysical imaging.
△ Less
Submitted 24 August, 2017; v1 submitted 21 October, 2015;
originally announced October 2015.