Abstract
We prove solenoidal injectivity for the geodesic X-ray transform of tensor fields on simple Riemannian manifolds with \(C^{1,1}\) metrics and non-positive sectional curvature. The proof of the result rests on Pestov energy estimates for a transport equation on the non-smooth unit sphere bundle of the manifold. Our low regularity setting requires keeping track of regularity and making use of many functions on the sphere bundle having more vertical than horizontal regularity. Some of the methods, such as boundary determination up to gauge and regularity estimates for the integral function, have to be changed substantially from the smooth proof. The natural differential operators such as covariant derivatives are not smooth.
Similar content being viewed by others
1 Introduction
What are the minimal smoothness assumptions on a Riemannian metric under which the geodesic X-ray transform of tensor fields on the Riemannian manifold is solenoidally injective? Solenoidal injectivity on smooth simple manifolds with negative curvature was proved in [44]. Since [44], many solenoidal injectivity results have been shown under different variations of the geometric setup. Solenoidal injectivity is known for all real analytic simple Riemannian metrics [51] and for all smooth simple Riemannian metrics with certain bounds on their terminator values [43]. The study of the X-ray transform on manifolds with Riemannian metrics of low regularity was started recently [18], where the authors prove that the X-ray transform of scalar functions is injective on all simple manifolds with \(C^{1,1}\) Riemannian metrics. We extend this result and prove that the X-ray transform of tensor fields of any order is solenoidally injective for all simple \(C^{1,1}\) Riemannian metrics with almost everywhere non-positive sectional curvature.
X-ray tomography problems of 2-tensor fields naturally arise as linearized problems of travel time tomography or boundary rigidity [49]. The travel time problem arises in applications, such as seismological imaging, where one asks whether the sound speed in a medium can uniquely be determined from the knowledge of the arrival times of waves on the boundary. Because of the geophysical nature of such problems, it is relevant to ask how well the studied model corresponds to the real world. From this point of view, the smoothness assumption of the model manifold is merely a mathematical convenience, which is why we have set out to relax such assumptions.
Our main objective is to optimize the regularity assumptions imposed on the Riemannian metric g of the manifold. We focus on global and uniform non-smoothness (as opposed to, say, interfaces with jump discontinuities), and as in [18] the natural optimality to aim at remains \(C^{1,1}\). If g is only assumed to be in the Hölder space \(C^{1,\alpha }\) for \(\alpha < 1\), the geodesic equation fails to have unique solutions [15, 47] and the X-ray transform itself becomes ill defined. In this sense,our result is optimal on the Hölder scale, as we provide a solenoidal injectivity result (theorem 1) for the class of simple \(C^{1,1}\) Riemannian metrics with almost everywhere non-positive sectional curvature.
The non-positivity assumption on the curvature is likely unnecessary — milder assumptions on top of simplicity could suffice. Even in the smooth case relaxing the curvature assumption causes technical difficulties and solenoidal injectivity for all simple Riemannian metrics is not understood. Since our setting is complicated enough as it is, we decided not to include manifolds with possible positive curvature.
A popular method for proving injectivity results relies on interplay between the X-ray transform and a transport equation. In the smooth case, the transport equation is studied using the so-called Pestov identity and energy estimates derived from it (see e.g. [16, 36, 42] and references therein).
We employ a similar approach in our non-smooth setting. Our proof is structurally the same as those in smooth geometry, so the main content of this article is to ensure that everything is well defined and behaved in our non-smooth setting: the unit sphere bundle and operators on it, commutator formulas, function spaces, Santaló’s formula, and others.
1.1 Main Results
We record as our main result the following kernel description for the geodesic X-ray transform of tensor fields. In the literature of the geodesic X-ray transform, similar results are often called solenoidal injectivity results. Throughout the article, M will be a compact and connected smooth manifold with a smooth boundary \(\partial M \). The dimension of M will always be \(n \ge 2\). The manifold M comes equipped with a \(C^{1,1}\) regular Riemannian metric g. That is, the metric g is continuously differentiable and the derivative is Lipschitz.
We define what it means for (M, g) to be simple in Sect. 2.1. Simple \(C^{1,1}\) manifolds have global coordinates by definition, but for smooth simple manifolds, this is a consequence of the definitions. When \(g \in C^\infty \),the definition of \(C^{1,1}\) simplicity is equivalent to the classical definition [18, Theorem 2] and thus assuming existence of global coordinates is not superfluous. We say that g has almost everywhere non-positive sectional curvature if for almost all \(x \in M\) we have \(\left\langle R(w,v)v,w\right\rangle _{g(x)} \le 0\) where \(v,w \in T_xM\) are orthogonal. The curvature tensor R is well defined by the familiar formula almost everywhere in M. The X-ray transform of tensor fields is defined in section 2.1.4.
Theorem 1
Let (M, g) be a simple \(C^{1,1}\) manifold (see Sect. 2.1) with almost everywhere non-positive sectional curvature. Let \(m \ge 1\) be an integer.
-
(1)
If \(p \in C^{1,1}(M)\) is a symmetric \((m-1)\)-tensor field vanishing on \(\partial M\), then the X-ray transform \(I(\sigma \nabla p)\) of its symmetrized covariant derivative vanishes.
-
(2)
If the X-ray transform If of a symmetric m-tensor field \(f \in C^{1,1}(M)\) vanishes, there is a symmetric \((m-1)\)-tensor field \(p \in {{\,\textrm{Lip}\,}}(M)\) vanishing on \(\partial M\) so that \(f = \sigma \nabla p\) almost everywhere on M.
1.2 Regularity Discussion
Claims 1 and 2 in theorem 1 are not symmetric. The difference is in the regularity of the potential p and we believe this is only a consequence of our proof techniques.
There are two notions of smoothness of any given order of a tensor field: regularity with respect to the smooth structure and existence of high-order covariant derivatives. The covariant concept of smoothness is more natural on a Riemannian manifold. For a typical tensor field f that is \(C^\infty \) smooth in the sense of the smooth structure, the covariant derivative \(\nabla f\) is typically only Lipschitz when \(g\in C^{1,1}\). The metric tensor g and its tensor powers are examples of non-vanishing and non-smooth (in the sense of the smooth structure) tensor fields for which covariant derivatives of all orders are well defined. Thus neither of the two notions of smoothness implies the other in general. The two notions of \(C^{1,1}\) and less regular Hölder spaces of tensor fields agree, but they disagree for higher regularity. Therefore there are, for example, two different spaces \(C^{2,1}\) and we do not use such confusing spaces at all.
We focus on optimizing the regularity of the Riemannian metric g, but we did not pursue optimizing regularity of the tensor fields f or p, the boundary \(\partial M\) or the integral function \(u^f\) of f (see equation (3)).
It is important for our key regularity result (lemma 3 below) that the boundary values of the tensor field are determined by the data to the extent allowed by gauge freedom. A boundary determination result for 2-tensor fields in the smooth case, where g is \(C^\infty \), can be found in [51, Lemma 4.1]. Their result is based on clever analysis of equation \(2f_{ij} = p_{i;j} + p_{j;i}\) in boundary normal coordinates. Although the argument in [51] works nicely in the smooth case, it does not give the desired result if g is only \(C^{1,1}\) and f is \(C^{1,1}\). The immediate conclusion of their argument in the non-smooth case would be that p has derivatives in some directions and is Lipschitz continuous, whereas in lemma 2,we find a p in the class \(C^{1,1}\). The other difficulty in adapting similar arguments to the non-smooth case is the regularity of boundary normal coordinates.
To avoid these issues,we prove a boundary determination result (lemma 2) by a more explicit approach. Our construction gives a potential \(p \in C^{1,1}(M)\) satisfying \(\sigma \nabla p|_{\partial M} = f|_{\partial M}\) when \(f \in C^{1,1}(M)\). The cost of our method compared to the method of [51] is losing control of the 1-jets in any neighbourhood of the boundary, but leading order boundary determination suffices for our needs.
We lose a derivative in the regularity of p twice in our argument:
-
(1)
We lose a derivative of p in the boundary determination result. Even if the tensor field \(f \in C^{l,1}(M)\) and the Riemannian metric \(g \in C^{k,1}(M)\) are assumed to have any (finite) amounts of derivatives, we only get \(p \in C^{\min (k,l),1}(M)\). Particularly, p is only \(C^{1,1}\), when g and f are \(C^{1,1}\). To our knowledge, our boundary determination result is optimal in the literature for differentiability of the potential p with properties \(\sigma \nabla p = f\) and \(p = 0\) on the boundary.
One might expect \(f|_{\partial M} = \sigma \nabla p|_{\partial M}\), where \(f \in C^{1,1}(M)\) and \(p \in C^{2,1}(M)\). The space \(C^{2,1}(M)\) is problematic as described above. In order to improve the regularity of p, one needs to make sense of higher regularity and prove a suitable ellipticity result, but we will not explore this avenue.
-
(2)
Secondly, we lose a derivative of p in the transition of regularity from the spherical harmonic components of f to the spherical harmonic components of the integral function \(u {:=}u^f\) of f (see Sect. 2.1). Consider the smooth case, where \(g \in C^\infty \), and let \(f = f_m + f_{m-2} + f_{m-4} + \cdots \) and \(u = u_{m-1} + u_{m-3} + u_{m-5} + \cdots \) be the spherical harmonic decompositions of f and u. The geodesic vector field X on the unit sphere bundle of M splits into the two operators \(X_+\) and \(X_-\) in each spherical harmonic degree (see Sect. 2.1). Projecting the transport equation \(Xu = -f\) into each spherical harmonic degree gives \(X_+u_{m-1} = -f_m\) and \(X_+u_{k-1} = -f_k - X_-u_{k+1}\) for \(k \le m-2\) with \(k \equiv m \pmod 2\). The operator \(X_+\) is known to be an elliptic pseudodifferential operator of order one (see,e.g. [43]) and thus by elliptic regularity, we see that each \(u_k\) has one more derivative than the corresponding component \(f_{k+1}\). This argument shows that u has one more derivative than f, proving that p is \(C^{1,1}\) when f is Lipschitz. However, when \(g \in C^{1,1}(M)\),the phase space SM is not equipped with a smooth structure and the meaning of ellipticity and its implications,such as existence of a parametrix, become less clear. The exact formulation and application of ellipticity in the present low regularity setting would be a considerable task and would still not give fully matching regularities in the two parts of theorem 1. Therefore,we take a simpler route and do not pursue a fully symmetric version of our main theorem.
1.3 Related Results
The study of the X-ray transform via the transport equation and Pestov identity approach begun with the work of Mukhometov [30, 31, 33], where injectivity results for the transform of scalar functions were proved. Since Mukhometov’s seminal articles, the Pestov identity method has been applied to the case of 1-forms in [2] and to higher-order tensors in [40, 43]. Besides manifolds with boundaries, Pestov identities are useful in the study of integral data of functions and tensor fields over closed curves on closed Anosov manifolds [7, 8, 41, 43, 48]. The method is even applicable in non-compact geometries. For results on Cartan–Hadamard manifolds, see [26, 27]. There are plenty of other geometrical variations of the problem, which have been studied employing a Pestov identity. These include reflecting obstacles inside the manifold [20, 21], attenuations and Higgs fields [13, 39, 46], manifolds with magnetic flows [1, 10, 22, 23, 28], and non-Abelian variations [12, 29, 35, 37]. The Pestov identity approach has been studied in more general geometries than Riemannian. For results in Finsler geometry, see [3, 19] and for pseudo-Riemannian geometry, [17].
Only few injectivity results exist outside smooth geometry, whether Riemannian or not. Injectivity of the scalar X-ray transform is known spherically symmetric \(C^{1,1}\) regular manifolds satisfying the Herglotz condition, when the conformal factor of the metric is \(C^{1,1}\) [11]. The scalar (and 1-form) X-ray transform is (solenoidally) injective on simple \(C^{1,1}\) manifolds [18]. The proof of injectivity in [18] is based on a Pestov identity.
The boundary rigidity problem is a geometrization of the travel time tomography problem and its linearization is the X-ray tomography problem of 2-tensor fields. For results in boundary rigidity, see [4,5,6, 14, 24, 32, 34, 45, 50, 52]. For a comprehensive survey on results in travel time tomography and tensor tomography, see [16, 49].
2 Proof of the Main Theorem
2.1 Basic Definitions and Notation
In this subsection,we present enough terminology and notation to state and prove our main theorem. The preliminaries of the non-smooth setting are complemented in Sect. 3.
Throughout the article, M will be a compact and connected smooth manifold with a smooth boundary \(\partial M \). The manifold M is equipped with a \(C^{1,1}\) regular Riemannian metric g.
2.1.1 Bundles
The tangent bundle TM of M has a subbundle SM called the unit sphere bundle, which consists of the unit vectors in TM. As the level set \(F^{-1}(1)\) of the \(C^{1,1}\) map \(F :TM \rightarrow \mathbb {R}\) defined by \(F(x,v) = g_x(v,v)\), the unit sphere bundle is a \(C^{1,1}\) submanifoldFootnote 1 of TM. The boundary
of SM is divided into inwards and outwards pointing parts \(\partial _{\textrm{in}}(SM)\) and \(\partial _{\textrm{out}}(SM)\) with respect to the inner product \(\left\langle \cdot ,\cdot \right\rangle _{g}\) and a unit normal vector field \(\nu \) to the boundary \(\partial M\). The subset of \(\partial (SM)\) consisting of the vectors v such that \(\left\langle v,\nu \right\rangle _g = 0\) is denoted by \(\partial _0(SM)\) and it is disjoint from \(\partial _{\textrm{in}}(SM)\) and \(\partial _{\textrm{out}}(SM)\).
Let \(\pi :SM \rightarrow M\) be the standard projection and let \(\pi ^*(TM)\) be the pullback of TM over SM. We denote by N the subbundle of \(\pi ^*(TM)\) with the fibre \(N_{(x,v)}\) being the g-orthogonal complement of v in \(T_xM\).
2.1.2 Horizontal–Vertical Decomposition
The tangent bundle T(SM) of SM has an orthogonal splitting \(T(SM) = \mathbb {R}X \oplus \mathcal {H}\oplus \mathcal {V}\) with respect to the so-called Sasaki metric, where \(\mathcal {H}\) and \(\mathcal {V}\) are the horizontal and vertical subbundles,respectively, and X is the geodesic vector field on SM. We denote \(\mathbb {R}X \oplus \mathcal {H}\) by \(\overline{\mathcal {H}}\) and call it the total horizontal subbundle. Elements of \(\mathcal {H}\) and \(\mathcal {V}\) are, respectively, referred to as horizontal and vertical derivatives or vectors on SM. The summands \(\mathcal {H}\) and \(\mathcal {V}\) are each naturally identified with a copy of the bundle N. The horizontal–vertical geometry is essentially the same as the smooth one (see [38]) and works fine when \(g \in C^{1,1}\).
2.1.3 Geodesic Flow
Since the Christoffel symbols of a \(C^{1,1}\) metric are Lipschitz, there is a unique unit speed geodesic \(\gamma _z\) corresponding to a given initial condition \(z \in SM\) by standard ODE theory. We define the geodesic flow on the unit sphere bundle to be the collection of (partially defined) maps \(\phi _t :SM \rightarrow SM\), \(\phi _t(z) = (\gamma _z(t),\dot{\gamma }_z(t))\), where t goes through all real numbers so that the right-hand side is defined. The infinitesimal generator X of the flow is called the geodesic vector field on SM. For any \(z \in SM\), the geodesic \(\gamma _z\) is defined on a maximal interval of existence \([-\tau _-(z),\tau _+(z)]\), where \(\tau _-(z)\) and \(\tau _+(z)\) are positive. We call \(\tau (z) {:=}\tau _+(z)\) the travel time function on SM. The geodesic vector field X acts naturally on functions by differentiation and on sections W of the bundle N, it acts by
where \(D_t\) is the covariant derivative along the curve \(t \mapsto \phi _t(z)\). The result XW of the action (2) is again a section of N.
2.1.4 The X-Ray Transform
Any symmetric m-tensor field f on M can be considered as a function on the unit sphere bundle. Given \((x,v) \in SM\),we let \(f(x,v) {:=}f_x(v,\dots ,v)\). In lemma 7 and proposition 11 and their proofs, we denote the induced maps by \(\lambda _xf :S_xM \rightarrow \mathbb {R}\) and \(\lambda f :SM \rightarrow \mathbb {R}\) with \(\lambda f(x,v) = \lambda _x f(v)\). Otherwise, we freely identify f with \(\lambda f\) since there is no danger of confusion.
The integral function \(u^f :SM \rightarrow \mathbb {R}\) of a continuous symmetric m-tensor field f is defined by
for all \((x,v) \in SM\). The X-ray transform of f is the restriction of the integral function to the inward pointing part of the boundary \(\partial (SM)\), so we may declare \(If {:=}u^f|_{\partial _{\textrm{in}}(SM)}\).
2.1.5 Differentiability
We exclude the rank of the tensor field from our notations for function spaces. For tensor fields,the derivatives are covariant. We use the subscript 0 to indicate zero boundary values. Thus, for example, \(f\in C_0^{1,\alpha }(M)\) for a tensor field f means that \(f|_{\partial M}=0\) and \(\nabla f\) is \(\alpha \)-Hölder. We use two kinds of functions on the sphere bundle SM, scalars (e.g. \(C^1(SM)\)) and sections of the bundle N (e.g. \(C^1(N)\)) defined in subsection 2.1.1.
We define \(C^{k,\alpha }_{\texttt{h}}C^{l,\beta }_{\texttt{v}}(SM)\) as the subset of C(SM) consisting of functions with k many \(\alpha \)-Hölder horizontal derivatives and l many \(\beta \)-Hölder vertical derivatives as well as any combination of k horizontal and l vertical derivatives, which are assumed to be \(\omega \)-Hölder for \(\omega {:=}\min (\alpha ,\beta )\). We let
According to the splitting \(T(SM) = \mathbb {R}X \oplus \mathcal {H}\oplus \mathcal {V}\), the gradient of a \(C^1\) function u on SM can be written as
This gives rise to two new differential operators; the vertical gradient \(\overset{\texttt{h}}{\nabla }\) and the horizontal gradient \(\overset{\texttt{v}}{\nabla }\). Both \(\overset{\texttt{h}}{\nabla }u\) and \(\overset{\texttt{v}}{\nabla }u\) are naturally identified with sections of the bundle N. The horizontal and vertical divergences are the \(L^2\) adjoints of the corresponding gradients. The \(L^2\) adjoint of X is \(-X\). The vertical Laplacian on the sphere bundle is \(\overset{\texttt{v}}{\Delta } {:=}-\overset{\texttt{v}}{{\text {div}}}\overset{\texttt{v}}{\nabla }\); see [43, Appendix A] for details on the differential operators.
2.1.6 Curvature
By Rademacher’s theorem, a Lipschitz continuous scalar function on a Euclidean domain is differentiable almost everywhere and the derivative is in \(L^\infty \). Using local coordinates and studying the individual components show that the Riemann curvature tensor \(R_{ijkl}(x)\) corresponding to a Riemannian metric \(g\in C^{1,1}\) has all components well defined for almost all \(x\in M\). Thus we may interpret the curvature tensor R as an \(L^\infty \) tensor field. The curvature tensor \(R :L^\infty (N) \rightarrow L^\infty (N)\) acts on sections of the bundle N by \(R(x,v)W(x,v) {:=}R(W(x,v),v)v\) producing again \(L^\infty \) sections of the bundle N.
We say that the sectional curvature of the manifold M is almost everywhere non-positive, if for almost all \(x \in M\),it holds that \(\left\langle R(w,v)v,w\right\rangle _{g(x)} \le 0\) for all linearly independent \(v,w \in T_xM\).
2.1.7 Sobolev Spaces
There are natural \(L^2\) spaces for functions on the sphere bundle as well as for sections of the bundle N, which we will denote by \(L^2(SM)\) and \(L^2(N)\). We define the Sobolev spaces \(H^1(SM)\) and \(H^1(N,X)\),respectively, defined as completions of \(C^{1}(SM)\) and \(C^{1}(N)\) with respect to the norms
We denote zero boundary values by a subindex 0. For example, \(H_0^1(SM)\) is the subspace of \(H^1(SM)\) with zero boundary values.
2.1.8 Spherical Harmonics
Given \(x \in M\), the unit sphere \(S_xM\) has the Laplace–Beltrami operator \(\overset{\texttt{v}}{\Delta }_x {:=}-g^{ij}(x)\partial _{v^i}\partial _{v^j}\). Letting \(x \in M\) vary we get a second-order operator \(\overset{\texttt{v}}{\Delta } = -\overset{\texttt{v}}{{\text {div}}}\overset{\texttt{v}}{\nabla }\) on the unit sphere bundle called the vertical Laplacian, where \(-\overset{\texttt{v}}{{\text {div}}}\) is the formal \(L^2\)-adjoint of \(\overset{\texttt{v}}{\nabla }\).
Let \(S^{n-1} \subseteq \mathbb {R}^n\) be the Euclidean unit sphere. It is well known that any function \(f \in L^2(S^{n-1})\) can be decomposed as an \(L^2\)-convergent series \(f = \sum _{k=0}^\infty f_k\), where \(f_k\) are eigenfunctions of the spherical Laplacian on \(S^{n-1}\) corresponding to the eigenvalues \(k(k+n-2)\). Similarly, any function \(u \in L^2(SM)\) can be decomposed as an \(L^2(SM)\)-convergent series \(u = \sum _{k=0}^\infty u_k\), where \(\overset{\texttt{v}}{\Delta }u_k = k(k+n-2)u_k\) for all \(k \in \mathbb {N}\). We call \(u_k\) the kth spherical harmonic component of u. For \(k \in \{0,1\}\), \(k,l \in \mathbb {N}\) and \(\alpha ,\beta \in [0,1]\) we let
and
Furthermore, we denote
For all \(m \in \mathbb {N}\),there are operators \(X_\pm :\Omega ^{1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(m) \rightarrow \Omega ^{0}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(m \pm 1)\) with the convention that \(\Omega ^{0}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(-1) = 0\) so that \(X = X_+ + X_-\). These mapping properties and validity of this decomposition in low regularity are addressed in proposition 12.
2.1.9 Simple \(C^{1,1}\) Manifolds
The global index form Q of the manifold (M, g) (not of a single geodesic) is the quadratic form defined for \(W \in H^1_0(N,X)\) by
It was proved in [18, Lemma 11] that there are no conjugate points on a Riemannian manifold (M, g), \(g \in C^\infty \), if the global index form Q of (M, g) is positive definite.
We conclude this subsection by recalling a definition of a simple manifold in the case \(g \in C^{1,1}\). Our definition is equivalent to the definition of traditional simple manifold when \(g \in C^\infty \) [18]. Let \(M \subseteq \mathbb {R}^n\) be the closed Euclidean unit ball and let g be a \(C^{1,1}\) regular Riemannian metric on M. We say that (M, g) is a simple \(C^{1,1}\) Riemannian manifold if the following hold:
-
A1:
There is \(\varepsilon > 0\) so that \(Q(W) \ge \varepsilon \left\Vert W\right\Vert ^2_{L^2(N)}\) for all \(W \in H_0^1(N,X)\).
-
A2:
Any two points of M can be joined by a unique geodesic in the interior of M, whose length depends continuously on its end points.
-
A3:
The squared travel time function \(\tau ^2\) (see 2.1.3) is Lipschitz on SM.
2.2 Proof of the Theorem
In this subsection, we prove our main result, theorem 1. We state the lemmas required for the proof of 1, and the proofs of the lemmas are postponed to sections 4, 5, and 6 .
Lemma 2
(Boundary determination) Let (M, g) be a simple \(C^{1,1}\) manifold. If \(f \in C^{1,1}(M)\) is a symmetric m-tensor field with \(If = 0\), then there is a symmetric \((m-1)\)-tensor field \(p \in C^{1,1}(M)\) so that \(f|_{\partial M} = \sigma \nabla p|_{\partial M}\) and \(p|_{\partial M} = 0\).
Lemma 3
(Regularity of spherical harmonic components) Let (M, g) be a simple \(C^{1,1}\) manifold. Let \(f \in {{\,\textrm{Lip}\,}}_0(M)\) be a symmetric m-tensor field on M with \(If=0\) and let \(u {:=}u^f\) be the integral function of f defined by (3). If the spherical harmonic decomposition of u is \(u = \sum _{k=0}^\infty u_k\), then \(u_k \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) and \(u_k|_{\partial (SM)} = 0\) for all \(k \in \mathbb {N}\).
Lemma 4
Let (M, g) be a simple \(C^{1,1}\) manifold. Let \(f \in {{\,\textrm{Lip}\,}}_0(M)\) be a symmetric m-tensor field on M with \(If=0\) and let \(u {:=}u^f\) be the integral function of f defined by (3). Then \(X_+u\in L^2(SM)\).
Lemma 4 follows immediately from lemmas 3 and 17 .
Recall that n is the dimension of M. For natural numbers k and l,we define the two constants
Lemma 5
Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. Let \(f \in {{\,\textrm{Lip}\,}}_0(M)\) be a symmetric m-tensor field with \(If=0\) and denote by \(u {:=}u^f\) the integral function of f defined by (3). If the spherical harmonic decomposition of u is \(u = \sum _{k = 0}^\infty u_k\), then for all \(k \ge m\) and \(l \in \mathbb {N}\),we have
Lemma 6
(Injectivity of \(X_+\)) Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. Suppose that \(u \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) and \(u|_{\partial (SM)} = 0\). Then \(X_+u = 0\) implies that \(u = 0\).
Lemma 7
Let (M, g) be a simple \(C^{1,1}\) manifold. Let \(f \in {{\,\textrm{Lip}\,}}(M)\) be a symmetric m-tensor field. Suppose that p is a symmetric \((m-1)\)-tensor field and \(u = -\lambda p\) is a Lipschitz function in SM so that \(Xu = -\lambda f\) everywhere in SM. Then \(\sigma \nabla p = f\) almost everywhere in M.
Proof of theorem 1
Item 1: Suppose that \(p \in C^{1,1}(M)\) is a symmetric \((m-1)\)-tensor field vanishing on \(\partial (M)\). Then using the fundamental theorem of calculus along each geodesic gives \(If = I(\sigma \nabla p) = 0\) (see [36, Lemma 6.4.2]), which proves item 1.
Item 2: Suppose that the X-ray transform of a symmetric m-tensor field \(f \in C^{1,1}(M)\) vanishes. We will prove that there is a symmetric \((m-1)\)-tensor field p vanishing on \(\partial M\) so that \(f = \sigma \nabla p\).
By boundary determination in lemma 2, there is a symmetric \((m-1)\)-tensor field \(p_0 \in C^{1,1}(M)\) so that \(p_0|_{\partial M} = 0\) and \(f|_{\partial M} = \sigma \nabla p_0|_{\partial M}\). Let \({\hat{f}} {:=}f - \sigma \nabla p_0\). Then \({\hat{f}} \in {{\,\textrm{Lip}\,}}_0(M)\) is a symmetric m-tensor field on M and \(I{\hat{f}} = If = 0\).
Let \(u = \sum _{k=0}^\infty u_k\) be the spherical harmonic decomposition of \(u{:=}u^{{\hat{f}}}\). Then \(u_k \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) by lemma 3. First, we prove that \(u_k = 0\) for all k for which \(k \equiv m \pmod 2\).
Since for all \((x,v) \in SM\) it holds that \({\hat{f}}(x,-v) = (-1)^m{\hat{f}}(x,v)\), we have
Therefore,
This shows that \(u(x,-v) = (-1)^{m+1}u(x,v)\) for all \((x,v) \in SM\) and thus \(u_k = 0\) whenever \(k \equiv m \pmod 2\). Next, we will show that \(u_k = 0\) for all \(k \ge m\).
Let \(m_0 \ge m\) and suppose that \(A_1 {:=}\left\Vert X_+u_{m_0}\right\Vert ^2_{L^2(SM)} > 0\). For all \(l \in \mathbb {N}\), lemma 5 yields the estimate
By an elementary estimate (see [20, Lemma 13]), there is a constant \(A_2 > 0\) only depending on \(m_0\) and n so that
Thus the estimate (15) gives
On the other hand, \(X_+u \in L^2(SM)\) by lemma 4. Hence orthogonality implies that
This contradiction proves that \(\left\Vert X_+u_k\right\Vert ^2_{L^2(SM)} = 0\) for all \(k \ge m\). Since additionally \(u_k|_{\partial (SM)} = 0\) for \(k \ge m\), lemma 6 says \(u_k = 0\) for all \(k \ge m\).
We have shown \(u_k = 0\) for \(k \ge m\) and \(u_k = 0\) for \(k \equiv m \pmod 2\). Thus \(-u \in {{\,\textrm{Lip}\,}}_0(SM)\) is identified with a symmetric \((m-1)\)-tensor field \(p_1 \in {{\,\textrm{Lip}\,}}_0(M)\). As u solves the transport equation \(Xu = -{\hat{f}}\) everywhere on SM we have \(\sigma \nabla p_1 = {\hat{f}}\) almost everywhere on M by lemma 7. Thus we conclude that \(f = \sigma \nabla p\) almost everywhere in M, where \(p {:=}p_0 + p_1 \in {{\,\textrm{Lip}\,}}(M)\) is a symmetric \((m-1)\)-tensor field with \(p|_{\partial M} = 0\). \(\square \)
3 Preliminaries
In this article, we consider compact and connected smooth manifolds with smooth boundaries. We assume that such a manifold M comes equipped with a symmetric and positive definite 2-tensor field g so that its component functions \(g_{jk}\) are \(C^{1,1}\)-functions on M. In this case, we refer to g as a \(C^{1,1}\) Riemannian metric and to (M, g) as a (non-smooth) Riemannian manifold.
3.1 Spaces of Tensor Fields
Since g is a \(C^{1,1}\) Riemannian metric, componentwise differentiability and existence of covariant derivatives are not the same. Even if the components of a tensor field f in any local coordinates are \(C^k\) functions for \(k \ge 2\) (which is possible since M is assumed to have a smooth structure), the covariant derivative \(\nabla f\) falls into \({{\,\textrm{Lip}\,}}(M)\). Since most of our considerations are related to the metric structure and componentwise differentiability is not compatible with the covariant derivative, the correct definition of a \(C^{1,1}\) tensor field is by covariant differentiability. However, with covariant differentiability, we are restricted to \(C^{1,1}(M)\) and higher regularity does not exist on the Hölder scale.
The space \(L^2(M)\) of \(L^2\)-tensor fields of order m on M is defined to be the completion of the space of continuous m-tensor fields with respect to the norm induced by the inner product
Here \(\textrm{d}V_g\) is the Riemannian volume form of M. The space \(H^1(M)\) of \(H^1\)-tensor fields of order m on M is defined to be the closure of the space of continuously differentiable m-tensor fields with respect to the norm
Let \(p \in [1,\infty )\). The spaces \(L^p(M)\) and \(W^{1,p}(M)\) of \(L^p\)- and \(W^{1,p}\)-tensor fields of order m are defined analogously to the spaces \(L^2(M)\) and \(H^1(M)\).
We could give definitions of the spaces \(H^2(M)\) and \(W^{2,p}(M)\) for tensor fields of any order similar to the definitions of spaces \(H^1(M)\) and \(W^{1,p}(M)\). Again, since g is only a \(C^{1,1}\) regular Riemannian metric, there are no spaces \(H^3(M)\) and \(W^{3,p}(M)\) compatible with the geometry. A compatible space should be defined using covariant derivatives in the norms, which would force the spaces \(W^{k,p}(M)\) trivial, when \(k \ge 3\).
If \(f \in C^1(M)\) is a symmetric m-tensor field on M, its symmetrized covariant derivative is \(\sigma \nabla f\). The symmetrization \(\sigma \) is defined for all m-tensor fields h on M by
where the summation is over all permutations \(\pi \) of \(\{1,\dots ,m\}\). Note that since \(\left\Vert \sigma \nabla f\right\Vert _{L^2} \le \left\Vert \nabla f\right\Vert _{L^2}\), the symmetrized covariant derivative is bounded between Sobolev spaces.
The trace of a symmetric m-tensor field f on M is denoted by \({{\,\textrm{tr}\,}}_g(f)\). In local coordinates, \({{\,\textrm{tr}\,}}_g(f)_{i_1\cdots i_{m-2}}= g^{jk}f_{jki_1\cdots i_{m-2}}\). A symmetric m-tensor field is called trace-free, if its trace is zero.
3.2 Vertical and Horizontal Differentiability
Let M be a compact smooth manifold with a smooth boundary and let g be a \(C^{1,1}\) Riemannian metric on M. Let \(k \in \mathbb {N}\) and \(\alpha \in [0,1]\) be so that \(k + \alpha \le 2\). For \(l \in \mathbb {N}\) and \(\beta \in [0,1]\), the set \(C^{k,\alpha }_{\texttt{h}}C^{l,\beta }_{\texttt{v}}(SM)\) consists of all functions \(u \in C(SM)\) with
for any k vector fields \(H_1,\dots ,H_k \in \overline{\mathcal {H}}\) and any l vector fields \(V_1,\dots ,V_l \in \mathcal {V}\). Additionally, we require that for any \(k+l\) vector fields \(Z_1,\dots ,Z_{k+l} \in T(SM)\) out of which exactly k are in \(\overline{\mathcal {H}}\) and exactly l are in \(\mathcal {V}\),we have
We let
Remark 8
In the definition of \(C^{k,\alpha }_{\texttt{h}}C^{l,\beta }_{\texttt{v}}(SM)\),the vertical differentiability indices l and \(\beta \) can surpass the smoothness of charts of SM. It is not necessary for SM to have \(C^\infty \) smooth charts, since vertical vector fields operate on a fixed fibre and for a fixed point x in M, the scaling \(s(x,v) = (x,v\left| v\right| ^{-1}_g)\) is smooth on \(T_xM {\setminus } 0\). The slit tangent space \(T_xM\setminus 0\) has a smooth structure even if M does not.
Remark 9
Any commutator \([H,V] = HV - VH\), where \(H \in \overline{\mathcal {H}}\) and \(V \in \mathcal {V}\), can be defined classically on the space \(C^{1}_{\texttt{h}}C^{1}_{\texttt{v}}(SM)\), since for any \(u \in C^{1}_{\texttt{h}}C^{1}_{\texttt{v}}(SM)\), the derivatives HVu and VHu are in C(SM).
The set \(C^{k,\alpha }_{\texttt{h}}C^{l,\beta }_{\texttt{v}}(N)\) consists of all continuous sections W of the bundle N with \(W^j\) in \(C^{k,\alpha }_{\texttt{h}}C^{l,\beta }_{\texttt{v}}(SM)\) when \(W = W^j\partial _{x^j}\). A section W of the bundle N is continuous, if it is continuous as a map \(SM \rightarrow TM\).
As one might expect, vertical operators preserve horizontal differentiability and horizontal operators preserve vertical differentiability. That is
3.3 Sobolev Spaces of Different Vertical and Horizontal Indices
Standard Sobolev spaces on SM are defined in Sect. 2.1.7. Here, we define Sobolev spaces for scalar functions on SM of different vertical and horizontal indices. If \(k,l \in \{0,1\}\) and u is a scalar function in \(C^{k}_{\texttt{h}}C^{l}_{\texttt{v}}(SM)\), we define the \(H^{k}_{\texttt{h}}H^{l}_{\texttt{v}}(SM)\)-norm of u to be
The Sobolev space \(H^{k}_{\texttt{h}}H^{l}_{\texttt{v}}(SM)\) for \(k,l \in \{0,1\}\) is defined to be the completion of \(C^{k}_{\texttt{h}}C^{l}_{\texttt{v}}(SM)\) with respect to the norm \(\left\Vert \cdot \right\Vert _{H^{k}_{\texttt{h}}H^{l}_{\texttt{v}}(SM)}\).
Similarly, we define spaces \(H^{0}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\) and \(H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\) to be the completions of \(C^{0}_{\texttt{h}}C^{2}_{\texttt{v}}(SM)\) and of \(C^{1}_{\texttt{h}}C^{2}_{\texttt{v}}(SM)\) with respect to the norms
Note that the norm on \(H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\) does not cover all possible combinations of a horizontal derivative and two vertical derivatives (e.g. \(\overset{\texttt{v}}{{\text {div}}}X\overset{\texttt{v}}{\nabla }\)). This is intentional, since the missing combinations will not be needed.
Proposition 10
Let M be a compact smooth manifold with a smooth boundary and let g be a \(C^{1,1}\) Riemannian metric on M. The following commutator formulas hold on \(H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\):
The following commutator formula holds on \(H^{1}_{\texttt{h}}H^{1}_{\texttt{v}}(N)\):
Proof
Formulas (35), (36) and (37) on \(C^{1}_{\texttt{h}}C^{2}_{\texttt{v}}(SM)\) and (38) on \(C^{1}_{\texttt{h}}C^{1}_{\texttt{v}}(N)\) can be proved by a computation similar to [43, Appendix], since the computations use one horizontal derivative and two vertical for (35), (36) and (37) and one horizontal and one vertical derivative for (38). The same formulas hold on \(H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\) and \(H^{1}_{\texttt{h}}H^{1}_{\texttt{v}}(N)\) by approximation. \(\square \)
3.4 Vertical Fourier Analysis
In this subsection, we recall the identification of trace-free symmetric tensor fields and spherical harmonics (the vertical Fourier modes). We state and prove proposition 11 in order to emphasize what changes in these well known results when applied to a case of non-smooth Riemannian metrics. More details in the case of \(C^\infty \)-smooth Riemannian metrics can be found for example in [36] and [9].
Proposition 11
Let M be a compact smooth manifold with a smooth boundary and let g be a \(C^{1,1}\) Riemannian metric on M. Let \(k \in \{0,1\}\) and \(\alpha \in [0,1]\). The map \(\lambda :f \mapsto \lambda f\) is defines a linear isomorphism from the space of symmetric trace-free m-tensor fields in \(C^{k,\alpha }(M)\) to the space \(\Omega ^{k,\alpha }_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(m)\). There is a constant \(C_{m,n} > 0\) so that for all symmetric trace-free m-tensor fields \(f \in C^0(M)\), we have
Furthermore, there are positive constants \(c,C > 0\) so that for any two m-tensor fields f and h in \(C^0(M)\), we have
Proof
As in the smooth case [9, Lemma 2.5.],the map \(\lambda _x\) isomorphically maps trace-free m-tensors to spherical harmonics \(S_xM\) of degree m. Since the dependence on x is of the form \(\lambda f(x,v) = f_{j_1\dots j_m}(x)v^{j_1}\cdots v^{j_m}\), the map \(\lambda \) maps on trace-free m-tensor fields in \(C^{k,\alpha }(M)\) into \(\Omega ^{k,\alpha }_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(m)\).
For any symmetric and trace-free m-tensor fields \(f,h\in C^0(M)\), a fibrewise calculation [9, Lemma 2.4.] shows that for all \(x \in M\),we have
for some \(C_{m,n} > 0\). Since the computation is fibrewise, it remains valid when \(g \in C^{1,1}\). Integrating equation (41) over M gives
which proves (39). Furthermore, the last claim (40) follows from (41), since any symmetric m-tensor field can be decomposed into a sum of symmetric trace-free tensor fields of orders less than or equal to m [36]. \(\square \)
3.5 Decomposition of the Geodesic Vector Field
In this subsection,we recall the fact that the geodesic vector field maps from spherical harmonic degree m to spherical harmonic degrees \(m-1\) and \(m+1\). This mapping property induces a decomposition of X into operators \(X_+\) and \(X_-\). See [36, Section 6.6.] for details of the decomposition when \(g \in C^\infty \). We record in proposition 12 what changes in the decomposition, when the Riemannian metric g is only \(C^{1,1}\)-smooth.
Proposition 12
Let M be a compact smooth manifold with a smooth boundary and let g be a \(C^{1,1}\) Riemannian metric on M. The geodesic vector field maps
Therefore X decomposes into operators \(X_+\) and \(X_-\) in each spherical harmonic degree so that
Proof
Let \(u \in \Omega ^{1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(m)\) and pick a point \(x \in M\). Then \(Xu(x,v) = v^j\delta _ju(x,v)\) for all \(v \in S_xM\), where \(v^j\) is a spherical harmonic of degree 1 on \(S_xM\) and \(\delta _ju(x,\cdot )\) is a spherical harmonic of degree m on \(S_xM\). Since any product of spherical harmonics of degrees 1 and m is a sum of spherical harmonics of degrees \(m-1\) and \(m+1\) we see that
Here the spherical harmonic components of Xu have one horizontal derivative less than u since \(X \in \overline{\mathcal {H}}\). \(\square \)
Remark 13
Since X maps continuously with respect to the \(H^1\)- and \(L^2\)-norms the mapping properties from proposition 12 carry over to the Sobolev space. In other words
As stated above, proposition 12 gives degreewise defined operators \(X_-\) and \(X_+\) acting on \(\Lambda ^{1}_{\texttt{h}}\Lambda ^{2}_{\texttt{v}}(SM)\). If \(u \in H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\) and \(u = \sum _{k=0}^\infty u_k\) is the spherical harmonic decomposition of u, we define
We prove in lemma 17 that the series in (47) converges (absolutely) in \(L^2(SM)\).
The following lemma 14 is a low regularity version of [43, Lemma 3.3.], the only difference being the regularity of u.
Lemma 14
Let M be a compact smooth manifold with a smooth boundary and let g be a \(C^{1,1}\) Riemannian metric on M. If \(u \in \Lambda ^{1}_{\texttt{h}}\Lambda ^{2}_{\texttt{v}}(m)\) then
Proof
By density, it is enough to prove the claimed formulas for \(u \in \Omega ^{1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(m)\). By eigenvalue property of u and by the mapping property of \(X_+\), we have
Similarly, by the eigenvalue property of \(X_+u\), we have
Subtracting (50) from (51) shows that
The identity (49) can be proved similarly. \(\square \)
4 Boundary Determination and Regularity Lemmas
This section is devoted to the study of the integral function \(u^f\) of a tensor field f with vanishing X-ray transform. We prove a vital boundary determination result (lemma 2) that allows us to prove that \(u^f\) is a Lipschitz function on SM in subsection 4.2. In subsection 4.3, we exploit the particular form of the identification of trace-free tensor fields and spherical harmonics to prove our main regularity lemma 3.
4.1 Boundary Determination
The boundary determination lemma 2 is proved in two parts. In lemma 15,we give an explicit local construction. In more detail, we prove that if If vanishes for some tensor field f, then in local coordinates near any boundary point, we construct a tensor field p so that the symmetrized covariant derivative of p equals f when restricted to the boundary. We prove that lemma 2 follows from the local construction by a partition of unity argument.
Lemma 15
Let (M, g) be a simple \(C^{1,1}\) manifold and suppose that \(f \in C^{1,1}(M)\) is a symmetric m-tensor field on M so that in \(If = 0\). For each \(x \in \partial M\), there is a neighbourhood \(W \subseteq M\) of x and a symmetric \((m-1)\)-tensor field \(p \in C^{1,1}(W)\) so that \(p|_{W \cap \partial M} = 0\) and \(\sigma \nabla p|_{W \cap \partial M} = f|_{W \cap \partial M}\).
Proof
Let \(x_0 \in \partial M\) be a boundary point. Choose a neighbourhood \(W \subseteq M\) of \(x_0\), where we have \(C^\infty \) coordinates \(\phi :W \rightarrow \mathbb {R}^n\) so that
The smooth coordinate function \(\phi \) exists, since M is a smooth manifold with a smooth boundary. Denote \({\hat{x}} {:=}(x^1,\dots ,x^{n-1})\) so that \(x = ({\hat{x}},x^n)\).
In these coordinates,the required tensor field p can be defined in the following way. Given \(l \in \{0,\dots ,m-1\}\) and \(j_1,\dots ,j_l \in \{1,\dots ,n-1\}\),we let the component of p corresponding to the indices \(j_1\cdots j_ln \cdots n\) be
Here the index n appears \(m-1-l\) times in \(p_{j_1\cdots j_ln \cdots n}\) and \(m-l\) times in \(f_{j_1\cdots j_ln \cdots n}\). We can insist that p is symmetric by requiring
where \(\pi \) is any permutation of \(\{1,\dots ,m-1\}\) so that \(j_{\pi (1)} \le \dots \le j_{\pi (m-1)}\). This causes no contradictions, since f is symmetric. Clearly, it holds that \(p|_{x^n = 0} = 0\) and \(p \in C^{1,1}(M)\) since \(f \in C^{1,1}(M)\).
It remains to show that \(\sigma \nabla p|_{x^n = 0} = f|_{x^n = 0}\), which follows from two claims:
-
(1)
We prove \(f_{j_1\cdots j_m}({\hat{x}},0) = 0\) in the coordinates in W when \(j_1,\dots ,j_m \in \{1,\dots ,n-1\}\).
-
(2)
We verify that \((\sigma \nabla p)_{j_1\dots j_m}|_{x^n = 0} = f_{j_1\dots j_m}|_{x^n = 0}\) in the coordinates in W.
Both claims are proved in appendix A. The idea is that item 1 follows from the fact \(If = 0\), and item 2 can then be verified by a straightforward computation in the coordinates in W. \(\square \)
Proof of lemma 2
Let \(f \in C^{1,1}(M)\) be a symmetric m-tensor field with \(If = 0\). We construct a symmetric \((m-1)\)-tensor field \(p \in C^{1,1}(M)\) so that \(p|_{\partial M} = 0\) and \(\sigma \nabla p|_{\partial M} = f|_{\partial M}\).
For each \(x \in \partial M\) pick a neighbourhood \(W_x \subseteq M\) of x and a symmetric \((m-1)\)-tensor field \(p_x \in C^{1,1}(W_x)\). Such neighbourhoods \(W_x\) and tensor fields \(p_x\) exist by lemma 15. Since \(\partial M\) is compact, there is a finite subcover \(\{W_{x_i}\}_{i=1}^k\) of the open cover \(\{W_x\}_{x \in \partial M}\) of \(\partial M\). Denote \(W_i {:=}W_{x_i}\) and \(p_i {:=}p_{x_i}\). We add \(W_0 {:=}M {\setminus } \partial M\) to get a finite open cover of M. Choose a partition of unity \(\{\psi _i\}_{i=1}^n \cup \{\psi _0\}\) subordinate to \(\{W_i\}_{i=1}^n \cup \{W_0\}\). We let the tensor field \(p_0\) corresponding to \(W_0\) to be identically zero. The products \(\psi _ip_i\) are \(C^{1,1}\) tensor fields in neighbourhoods \(W_i\) and we can extend them by zero outside \(W_i\) to get \(C^{1,1}\) tensor fields on M since each \(W_i {\setminus } {{\,\textrm{supp}\,}}\psi _i\) is open. We define an \((m-1)\)-tensor field p by
Since \(\psi _ip_i\) are zero outside \({{\,\textrm{supp}\,}}\psi _i\) and \(p_i|_{\partial M \cap {{\,\textrm{supp}\,}}\psi _i} = 0\) by construction, we see that \(p|_{\partial M} = 0\). The final step is to check that \(\sigma \nabla p = f\) on the boundary \(\partial M\). By the product rule,we have \(\nabla (\psi _ip_i) = \nabla \psi _i \otimes p_i + \psi _i(\nabla p_i)\) for all i. Since symmetrization commutes with multiplication by a scalar function and \(\psi _i\) is a scalar, we have
Since symmetrization and tensor product commute with pointwise evaluations,we have \(\sigma ((\nabla \psi _i) \otimes p_i)|_{\partial M} = 0\). Since \(\psi _i = 0\) in \(M {\setminus } {{\,\textrm{supp}\,}}\psi _i\) we have \(\sigma \nabla \psi _i = 0\) in the same open set \(M {\setminus } {{\,\textrm{supp}\,}}\psi _i\). Together with \(p_i = 0\) on \(\partial M \cap {{\,\textrm{supp}\,}}\psi _i \subseteq \partial M \cap W_i\), vanishing of the covariant derivative \(\sigma \nabla \psi _i\) in \(M \setminus {{\,\textrm{supp}\,}}\psi _i\) implies
Thus p has the desired properties. \(\square \)
4.2 Regularity of the Integral Function
Let (M, g) be a simple \(C^{1,1}\) manifold and let \(f\in C^{1,1}(M)\) be a symmetric m-tensor field with \(If = 0\). Since the main objective is to prove that there is a symmetric \((m-1)\)-tensor field p on M so that \(\sigma \nabla p = f\) and by lemma 2, we can find a tensor field \(p \in C^{1,1}(M)\) with this property on the boundary \(\partial M\), we can move to studying tensor fields \(f \in {{\,\textrm{Lip}\,}}_0(M)\) vanishing on the boundary. The following lemma is a special case of [18, Lemma 21]. We record it for the convenience of the reader.
Lemma 16
Let (M, g) be a simple \(C^{1,1}\) manifold. Let \(f \in {{\,\textrm{Lip}\,}}_0(M)\) be a symmetric m-tensor field on M and let \(u {:=}u^f\) be the integral function of f defined by (3). Then \(u \in {{\,\textrm{Lip}\,}}(SM)\).
Proof
Since f is in \({{\,\textrm{Lip}\,}}_0(M)\) the corresponding function on the sphere bundle is in \({{\,\textrm{Lip}\,}}_0(SM)\). It was shown in [18, Lemma 21] that the integral function of a function in \({{\,\textrm{Lip}\,}}_0(SM)\) is again a Lipschitz function on SM. \(\square \)
Next we prove lemma 7 which states that if a Lipschitz function u on SM arising from of tensor field \(-p\) satisfies the transport equation \(Xu = -f\), then \(\sigma \nabla p = f\) holds pointwise almost everywhere.
Proof of lemma 7
Let \(f \in {{\,\textrm{Lip}\,}}(M)\) is a symmetric m-tensor field. Suppose that \(p \in {{\,\textrm{Lip}\,}}(M)\) is a symmetric m-tensor field so that the Lipschitz function \(u {:=}-\lambda p\) solves the transport equation \(Xu = -f\) everywhere in SM. We prove that \(\sigma \nabla p = f\) almost everywhere on SM by proving that
for all symmetric m-tensor fields \(\eta \in C^1_0(M)\). Since by proposition 11, there are positive constants \(c,C >0\) so that
for all symmetric m-tensor fields \(h_1,h_2 \in {{\,\textrm{Lip}\,}}(M)\) it is enough to prove that
Consider a maximal geodesic \(\gamma \) of M so that \(\gamma (0) = x \in \partial M\) and \(\dot{\gamma }(0) = v \in \partial _{\textrm{in}}(SM)\). We denote \(z {:=}(x,v)\) and write \(\eta {:=}\lambda \eta \) and \(f {:=}\lambda f\). Furthermore, we denote \(\theta (t) {:=}\phi _t(z)\) and \(\eta (t) {:=}\eta (\theta (t))\). Then we have
Since \(\gamma \) is a geodesic, it satisfies \(\nabla _{\dot{\gamma }}\dot{\gamma }= 0\). Therefore,the Leibniz rule implies
By assumption \( u(\theta (t)) = -p_{\gamma (t)}(\dot{\gamma }(t),\dots ,\dot{\gamma }(t)) \) for all \(t \in [0,\tau (z)]\) and thus
where the last equality holds since \(Xu = -f\) and X is the infinitesimal generator of the geodesic flow \(\phi _t\). Together, equations (62), (63) and (64) show that
We integrate (65) over \(\partial _{\textrm{in}}(SM)\) and use Santaló’s formula (lemma 24) to see that
Equation (61) follows immediately from (66), which finishes the proof. \(\square \)
4.3 Regularity of the Spherical Harmonic Components
In this subsection,we use the special form of spherical harmonics and the identification of trace-free tensor fields and spherical harmonics to prove lemma 3. Also, we prove that the degreewise definition of operators \(X_\pm \) acting on functions on SM is reasonable by proving that series in (47) converge absolutely in \(L^2(SM)\).
Proof of lemma 3
Let \(f \in {{\,\textrm{Lip}\,}}_0(M)\) be a symmetric m-tensor field with vanishing X-ray transform and let \(u {:=}u^f\) be the integral function of f defined by (3). The integral function u is in \({{\,\textrm{Lip}\,}}(SM)\) by lemma 16. We prove that the spherical harmonic components \(u_k\) of u are in \(\Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) and that \(u_k|_{\partial (SM)} = 0\).
For a fixed \(x \in M\),the fibre \(S_xM\) is isometric to the Euclidean unit sphere \(S^{n-1} \subseteq \mathbb {R}^n\) via the map
where \(g(x)^{1/2}\) is the unique square root of a positive definite matrix g(x). Since u is in \({{\,\textrm{Lip}\,}}(SM)\), its restriction \(u_x {:=}u(x,\,\cdot \,)\) to \(S_xM\) is in \({{\,\textrm{Lip}\,}}(S_xM)\). Thus the functions \({\tilde{u}}_x\) on \(S^{n-1}\) corresponding to \(u_x\) via \(s_x\) has a decomposition
where \(\phi _k\) is the eigenfunction of the Laplacian on \(S^{n-1}\) corresponding to the eigenvalue \(k(k+n-2)\). Tracing back through \(s_x\),we find a \(L^2(S_xM)\) convergent decomposition
where \(\psi _k(v) = \phi _k(s^{-1}_x(v))\). On the level of the bundle SM, we denote \(\psi _k(x,v) {:=} \phi _k(s^{-1}_x(v))\), and thus get the formula \(u_k = \left( u,\psi _k\right) _{L^2(S_xM)}\psi _k\). Here \(\psi _k\) is in \(C^{1,1}(SM)\), since \(\phi _k\) is in \(C^\infty (S^{n-1})\) and the map \((x,v) \mapsto s_x(v)\) is in \(C^{1,1}(SM)\). This proves that \(u_k \in {{\,\textrm{Lip}\,}}(SM)\). We note that by lemma 11 for all k,there is a symmetric and trace-free k-tensor field \(h_k \in {{\,\textrm{Lip}\,}}(M)\) so that \(u_k(x,v) = (h_k)_{j_1\cdots j_k}(x)v^{j_1}\cdots v^{j_k}\). This proves that \(u_k \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) for all k, since \(u_k\) is polynomial in v.
Finally, we prove that \(u_k|_{\partial (SM)} = 0\). Since the X-ray transform of f is zero, the restriction of u on the boundary \(\partial (SM)\) is zero. Thus for any \(x \in \partial M\) we have
Therefore, since \(u_k(x,\cdot ) \in C^\infty (S_xM)\), we have \(u_k(x,\cdot ) = 0\) pointwise on \(S_xM\) for all k, which implies that \(u_k|_{\partial (SM)} = 0\) for all k. \(\square \)
Lemma 17
Let (M, g) be a simple \(C^{1,1}\) manifold. Given \(u \in H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\), if \(u = \sum _{k=0}^\infty u_k\) is the spherical harmonic decomposition of u, then the series \(\sum _{k=0}^\infty X_\pm u_k\) converge absolutely in \(L^2(SM)\). Here we use the convention that \(X_-u_0 = 0\).
Proof
We prove convergence of both of series \(\sum _{k=0}^\infty X_\pm u_k\) at once by proving that
The proof of (71) is identical to the proofs of [43, Lemma 4.4] and [26, Lemma 5.1], where the authors proved that
The major difference to the results in [43] and [26] is that we work in non-smooth geometry instead of a smooth geometry, so the tools in the proof have changed. For completeness, we repeat the arguments in appendix B to document the fact that all steps go through in lower regularity with suitably chosen function spaces. \(\square \)
Remark 18
For \(u \in H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\),we defined \(X_\pm u\) to be the series \(\sum _{k=0}^\infty X_\pm u_k\), when \(u = \sum _{k=0}^\infty u_k\) is the spherical harmonic decomposition of u. By lemma 17 both \(X_+u\) and \(X_-u\) are well- defined functions in \(L^2(SM)\) and by orthogonality
5 Energy Estimates and a Santaló Formula
In this section, we show that the \(L^2\)-estimate in lemma 5 follows from the Pestov identity, and we establish the Santaló’s formula in low regularity in lemma 24.
5.1 Pestov Energy Identity
Let (M, g) be a simple \(C^{1,1}\) manifold. Recall that the global index form Q of (M, g) is defined by
for \(W \in H^1_0(N,X)\).
Lemma 19
(Pestov identity) Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. If \(u \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) and \(u|_{\partial (SM)} = 0\), then
Proof
Since \(u \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\), we have \(u \in {{\,\textrm{Lip}\,}}_0(SM)\), \(\overset{\texttt{v}}{\nabla }Xu \in L^2(N)\) and \(X\overset{\texttt{v}}{\nabla }u \in L^2(N)\). It was proved in [18, Lemma 9] that the Pestov identity (75) holds for this class of functions on simple \(C^{1,1}\) manifolds. \(\square \)
When \(g \in C^\infty \), the estimate in Lemma 20 was derived in [20, Section 6]. We present a proof compatible with low regularity employing the Pestov identity in Lemma 19.
Lemma 20
Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. If \(u \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) and \(u|_{\partial (SM)} = 0\), then
Proof
Since the sectional curvature of (M, g) is almost everywhere non-positive, \(Q(W) \ge \left\Vert XW\right\Vert ^2\) for all \(W \in H^1_0(N,X)\) and we have
by the Pestov identity (lemma 19). On the other hand, using commutator formulas from proposition 10,we see that
Combining estimate (77) and equation (78) and applying the commutator formula (37),we get
as claimed. \(\square \)
Lemma 21
Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. Suppose that \(f \in {{\,\textrm{Lip}\,}}_0(M)\) is a symmetric m-tensor field on M with vanishing X-ray transform If. Let \(u {:=}u^f\) be the integral function of f defined by (3). If \(k \ge m\) or \(k \equiv m \pmod 2\), we have
Proof
Since \(f \in {{\,\textrm{Lip}\,}}_0(M)\) and the X-ray transform of f vanishes, we have \(u \in {{\,\textrm{Lip}\,}}_0(SM)\) by lemma 16. By the fundamental theorem of calculus u solves \(Xu = -f\). Projecting this transport equation onto spherical harmonic degree \(k+1\) gives
If \(k \ge m\) or \(k \equiv m \pmod 2\), then \(f_{k+1} = 0\) and the claim (80) follows by taking \(L^2\)-norms. \(\square \)
Recall that the constants C(n, k) and B(n, l, k) in lemma 5 are
Lemma 22
Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. Suppose that \(f \in {{\,\textrm{Lip}\,}}_0(M)\) is a symmetric m-tensor field with \(If = 0\). Let \(u {:=}u^f\) be integral function of f defined by (3). If \(2k+n-3>0\), we have
where \(u_k\) are the spherical harmonic components of u.
Proof
Let \(2k+n-3>0\). Since \(u_k \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) by lemma 3, we can use lemma 20, which together with commutator formulas in 14 gives
Dividing by \(2k+n-3>0\) proves the claimed estimate (83). \(\square \)
Proof of lemma 5
Let \(f \in {{\,\textrm{Lip}\,}}_0(M)\) be a symmetric m-tensor field so that \(If = 0\) and denote by \(u {:=}u^f\) its integral function defined by (3). Let \(k \ge m\). By lemma 3,we have \(u \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) and thus lemmas 21 and 22,we get
Iterating lemmas 21 and 22 a total of \(l \in \mathbb {N}\) times yields
as claimed. \(\square \)
5.2 Santaló’s Formula
The proof of Santaló’s formula on a smooth simple manifolds (M, g) is based on the so-called Liouville’s theorem and can be found e.g. in [36]. We give a similar proof of the formula on a simple \(C^{1,1}\) manifold based on the following formulation of Liouville’s theorem.
Lemma 23
Let (M, g) be a simple \(C^{1,1}\) manifold. Denote by \(L_X\) the Lie derivative into the direction of the geodesic vector field X on SM. Then for any \(u \in {{\,\textrm{Lip}\,}}(SM)\) it holds that
The proof of lemma 23 is based on smooth approximation of the Riemannian metric g and can be found in Appendix C.
If \(\nu \) is the inner unit normal vector field to \(\partial M\), let \(\mu (x,v) {:=}\left\langle \nu (x),v\right\rangle _{g(x)}\) for all \((x,v) \in SM\). If \(\omega \) is a differential k-form on SM, then denote by \(i_X\omega \) the contraction of \(\omega \) with the geodesic vector field X. That is, for any vector fields \(Y_1,\dots ,Y_{k-1}\) on SM, we define \(i_X\omega \) by letting \(i_X\omega (Y_1,\dots ,Y_{k-1}) = \omega (X,Y_1,\dots ,Y_{k-1})\).
Lemma 24
(Santaló’s formula) Let (M, g) be a simple \(C^{1,1}\) manifold. For any function \(f \in {{\,\textrm{Lip}\,}}_0(SM)\) the integral of f over SM with respect to \(\textrm{d}\Sigma _g\) can be written as
Here \(j :\partial (SM) \rightarrow SM\) is the inclusion map and \(j^*g\) is the Riemannian metric of \(\partial M\) induced by the inclusion j.
Proof
Let \(f \in {{\,\textrm{Lip}\,}}_0(SM)\) and consider its integral function \(u {:=}u^f\). The integral function satisfies \(Xu = -f\) and \(u \in {{\,\textrm{Lip}\,}}(SM)\) by lemma 16. By Cartan’s formula, we have
where d is the exterior derivative. Since \(u\,\textrm{d}\Sigma \) is a volume form, the first term on the right in (89) vanishes. By Stoke’s theorem
As in the smooth case ([36, Proposition 3.6.6.]), we compute that
Finally, since \(j^*u\) is merely a restriction to the boundary, we invoke the definition of u and lemma 23 to see that
Since \(\tau (z) = 0\) for \(z \notin \partial _{\textrm{in}}(SM)\), the claim (88) follows at once from (92). \(\square \)
6 Friedrich’s Inequalities
In this section, we prove that \(L^2\)-norms of scalar functions on SM and sections of the bundle N are bounded above by constant multiples of \(L^2\)-norms of their derivatives along the geodesic flow. We call these estimates Friedrich’s inequalities on SM. We apply the inequalities to prove lemma 6.
Lemma 25
Let (M, g) be a simple \(C^{1,1}\) manifold with almost everywhere non-positive sectional curvature. Let d be the diameter of M. Then
for any \(u \in H^1_0(SM)\) and \(W \in H^1_0(N,X)\).
Proof
First, we prove the inequality for functions. By density it is enough to consider the case \(u \in C^1_0(SM)\). By Santaló’s formula (lemma 24), we can write
where \(j :\partial (SM) \rightarrow SM\) is the inclusion. Let us denote \(u_z(t) {:=}u(\phi _t(z))\). Then \(u_z \in H^1_0([0,\tau (z)])\) and we have
By the usual Friedrich’s inequality of \(H^1_0([0,\tau (z)])\), we see that
Combining equation (95) with inequality (96), we get
which is the claimed inequality for functions.
Next, we prove the inequality for sections of the bundle N. Let \(W \in H^1_0(N,X)\). In this case, Santaló’s formulas (lemma 24) gives
We let \(W_z(t) {:=}W(\phi _t(z))\). Then \(W_z(t)\) is a \(H^1_0\) vector field along \(\gamma _z\) and it holds that \(XW(\phi _t(z)) = D_tW_z(t)\). Choose a parallel frame \((E_1,\dots ,E_n)\) along \(\gamma _z\). Then we have \(D_tW_z = \dot{W}^i_zE_i\), when \(W_z = W^i_zE_i\). Since \(W_z\) is a \(H^1_0\) vector field along \(\gamma _z\) we have \(W^i_z \in H^1_0([0,\tau (z)])\) for all i. Thus we read from equation (96) that
From equations (98) and (99) we see that
which is the second claimed inequality. \(\square \)
Proof of lemma 6
Let \(u \in \Omega ^{0,1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) be so that \(u|_{\partial (SM)} = 0\) and \(X_+u = 0\). By lemma 14,we have
The last inner product in (101) is non-positive by lemma 20. Thus \(X_-u = 0\) almost everywhere on SM. Let d be the diameter of M. Lemma 25 then provides
Thus \(u = 0\) almost everywhere on SM, but since u is continuous, we have shown that \(u = 0\) everywhere on SM. \(\square \)
Even though we do not need the result, we next show for completeness that there are no conjugate points in the sense of the global index form Q when the sectional curvature is non-positive.
Proposition 26
Let M be the closed Euclidean unit ball in \(\mathbb {R}^n\). Suppose that M comes equipped with a \(C^{1,1}\) Riemannian metric g so that the sectional curvature of (M, g) is almost everywhere non-positive. Then there is \(\varepsilon > 0\) so that \(Q(W) \ge \varepsilon \left\Vert W\right\Vert ^2_{L^2(N)}\) for all \(W \in H^1_0(N,X)\).
Proof
Since the sectional curvature is almost everywhere non-positive,
for all \(W \in H^1_0(N,X)\), since W(x, v) and v are always orthogonal. Thus \(Q(W) \ge \left\Vert XW\right\Vert ^2_{L^2(N)}\) for all \(W \in H^1_0(N,X)\). Then it follows from lemma 25 that for all \(W \in H^1_0(N,X)\),we have
We take \(\varepsilon = 1/d^2\) which finishes the proof. \(\square \)
Notes
It is easily verified by inspecting the vertical component that the differential \(\textrm{d}F\) is non-zero when \(F=1\). The smooth regular level set theorem [25] can easily be adapted to our case.
References
Ainsworth, G.: The attenuated magnetic ray transform on surfaces. Inverse Probl. Imaging 7(1), 27–46 (2013)
Anikonov, Y.E., Romanov, V.G.: On uniqueness of determination of a form of first degree by its integrals along geodesics. J. Inverse Ill-Posed Probl. 5(6), 487–490 (1997)
Assylbekov, Y.M., Dairbekov, N.S.: The X-ray transform on a general family of curves on Finsler surfaces. J. Geom. Anal. 28(2), 1428–1455 (2018)
Burago, D., Ivanov, S.: Boundary rigidity and filling volume minimality of metrics close to a flat one. Ann. Math. 2(171), 1183–1211 (2010)
Croke, C.B.: Rigidity for surfaces of nonpositive curvature. Comment. Math. Helv. 65(1), 150–169 (1990)
Croke, C.B.: Rigidity and the distance between boundary points. J. Differential Geom. 33(2), 445–464 (1991)
Croke, C.B., Sharafutdinov, V.A.: Spectral rigidity of a compact negatively curved manifold. Topology 37(6), 1265–1273 (1998)
Dairbekov, N.S., Sharafutdinov, V.A.: Some problems of integral geometry on Anosov manifolds. Ergodic Theory Dynam. Syst. 23(1), 59–74 (2003)
Dairbekov, N.S., Sharafutdinov, V.A.: Conformal Killing symmetric tensor fields on Riemannian manifolds. Mat. Tr. 13(1), 85–145 (2010)
Dairbekov, N.S., Paternain, G.P., Stefanov, P., Uhlmann, G.: The boundary rigidity problem in the presence of a magnetic field. Adv. Math. 216(2), 535–609 (2007)
de Hoop, M.V., Ilmavirta, J.: Abel transforms with low regularity with applications to x-ray tomography on spherically symmetric manifolds. Inverse Problems 33(12), 124003,36 (2017)
Finch, D., Uhlmann, G.: The x-ray transform for a non-abelian connection in two dimensions. Inverse Problems 17(4), 695 (2001)
Guillarmou, C., Paternain, G.P., Salo, M., Uhlmann, G.: The X-ray transform for connections in negative curvature. Comm. Math. Phys. 343(1), 83–127 (2016)
Guillarmou, C., Mazzucchelli, M., Tzou, L.: Boundary and lens rigidity for non-convex manifolds. Amer. J. Math. 143(2), 533–575 (2021)
Hartman, P.: On the local uniqueness of geodesics. Amer. J. Math. 72, 723–730 (1950)
Ilmavirta, J., Monard, F.: Integral geometry on manifolds with boundary and applications. In The Radon transform—the first 100 years and beyond, volume 22 of Radon Ser. Comput. Appl. Math., pages 43–113. Walter de Gruyter, Berlin, [2019] (2019)
Ilmavirta, J.: X-ray transforms in pseudo-Riemannian geometry. J. Geom. Anal. 28(1), 606–626 (2018)
Ilmavirta, J., Kykkänen, A.: Pestov identities and X-ray tomography on manifolds of low regularity. Inverse Probl. Imaging 17(6), 1301–1328 (2023)
Ilmavirta, J., Mönkkönen, K.: The geodesic ray transform on spherically symmetric reversible Finsler manifolds. J. Geom. Anal. 33(4), 27 (2023)
Ilmavirta, J., Paternain, G.P.: Broken ray tensor tomography with one reflecting obstacle. Comm. Anal. Geom. 30(6), 1269–1300 (2022)
Ilmavirta, J., Salo, M.: Broken ray transform on a Riemann surface with a convex obstacle. Comm. Anal. Geom. 24(2), 379–408 (2016)
Jollivet, A.: On inverse scattering in electromagnetic field in classical relativistic mechanics at high energies. Asymptot. Anal. 55(1–2), 103–123 (2007)
Jollivet, A.: On inverse problems in electromagnetic field in classical mechanics at fixed energy. J. Geom. Anal. 17(2), 275–319 (2007)
Lassas, M., Sharafutdinov, V., Uhlmann, G.: Semiglobal boundary rigidity for Riemannian metrics. Math. Ann. 325(4), 767–793 (2003)
Lee, J.M.: Introduction to smooth manifolds, volume 218 of Graduate Texts in Mathematics, 2nd edn. Springer, New York (2013)
Lehtonen, J., Railo, J., Salo, M.: Tensor tomography on Cartan-Hadamard manifolds. Inverse Problems 34(4), 044004, 27 (2018)
Lehtonen, J.: The geodesic ray transform on two-dimensional Cartan-Hadamard manifolds (2016). arXiv:1612.04800 [math.DG]
Merry, W., Paternain, G.: Lecture notes: Inverse problems in geometry and dynamics. https://www.dpmms.cam.ac.uk/~gpp24/ipgd(3).pdf (2011)
Monard, F., Nickl, R., Paternain, G.P.: Consistent inversion of noisy non-Abelian X-ray transforms. Comm. Pure Appl. Math. 74(5), 1045–1099 (2021)
Muhometov, R.G.: The reconstruction problem of a two-dimensional Riemannian metric, and integral geometry. Dokl. Akad. Nauk SSSR 232(1), 32–35 (1977)
Muhometov, R.G.: On a problem of reconstructing Riemannian metrics. Sibirsk. Mat. Zh. 22(3), 119–135 (1981)
Muhometov, R.G., Romanov, V.G.: On the problem of finding an isotropic Riemannian metric in an \(n\)-dimensional space. Dokl. Akad. Nauk SSSR 243(1), 41–44 (1978)
Mukhometov, R.G.: Inverse kinematic problem of seismic on the plane. Mathematical Problems of Geophysics, Akad. Nauk. SSSR, Sibirsk. Otdel., Vychisl. Tsentr, Novosibirsk 6, 243–252 (1975)
Mukhometov, R.G.: The reconstruction problem of a two-dimensional Riemannian metric, and integral geometry (Russian). Dokl. Akad. Nauk SSSR 232(1), 32–35 (1977)
Novikov, R.G.: Non-Abelian Radon transform and its applications. In The Radon transform—the first 100 years and beyond, volume 22 of Radon Ser. Comput. Appl. Math., pages 115–127. Walter de Gruyter, Berlin [2019] (2019)
Paternain, G.P., Salo, M., Uhlmann, G.: Geometric inverse problems—with emphasis on two dimensions, volume 204 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge. With a foreword by András Vasy (2023)
Paternain, G.P., Salo, M.: The non-Abelian X-ray transform on surfaces, to appear in J. Differ. Geom (2022)
Paternain, G.P.: Geodesic flows. Progress in Mathematics, vol. 180. Birkhäuser Boston Inc, Boston, MA (1999)
Paternain, G.P., Salo, M., Uhlmann, G.: The attenuated ray transform for connections and Higgs fields. Geom. Funct. Anal. 22(5), 1460–1489 (2012)
Paternain, G.P., Salo, M., Uhlmann, G.: Tensor tomography on surfaces. Invent. Math. 193(1), 229–247 (2013)
Paternain, G.P., Salo, M., Uhlmann, G.: Spectral rigidity and invariant distributions on Anosov surfaces. J. Differential Geom. 98(1), 147–181 (2014)
Paternain, G.P., Salo, M., Uhlmann, G.: Tensor tomography: progress and challenges. Chinese Ann. Math. Ser. B 35(3), 399–428 (2014)
Paternain, G.P., Salo, M., Uhlmann, G.: Invariant distributions, Beurling transforms and tensor tomography in higher dimensions. Math. Ann. 363(1–2), 305–362 (2015)
Pestov, L.N., Sharafutdinov, V.A.: Integral geometry of tensor fields on a manifold of negative curvature. Sibirsk. Mat. Zh., 29(3):114–130 (1988)
Pestov, L., Uhlmann, G.: Two dimensional compact simple Riemannian manifolds are boundary distance rigid. Ann. Math. (2) 161(2), 1093–1110 (2005)
Salo, M., Uhlmann, G.: The attenuated ray transform on simple surfaces. J. Differential Geom. 88(1), 161–187 (2011)
Sämann, C., Steinbauer, R.: On geodesics in low regularity. J. Phys. Conf. Ser. 968(012010), 14 (2018)
Sharafutdinov, V., Uhlmann, G.: On deformation boundary rigidity and spectral rigidity of Riemannian surfaces with no focal points. J. Differential Geom. 56(1), 93–110 (2000)
Stefanov, P., Uhlmann, G., Vasy, A., Zhou, H.: Travel time tomography. Acta Math. Sin. (Engl. Ser.), 35(6), 1085–1114 (2019)
Stefanov, P., Uhlmann, G.: Rigidity for metrics with the same lengths of geodesics. Math. Res. Lett. 5(1–2), 83–96 (1998)
Stefanov, P., Uhlmann, G.: Boundary rigidity and stability for generic simple metrics. J. Amer. Math. Soc. 18(4), 975–1003 (2005)
Uhlmann, G.: Inverse problems: seeing the unseen. Bull. Math. Sci. 4(2), 209–279 (2014)
Acknowledgements
Both authors we supported by the Academy of Finland (JI by grant 351665, AK by grant 351656). AK was supported by the Finnish Academy of Science and Letters. This work was supported by the Research Council of Finland (Flagship of Advanced Mathematics for Sensing Imaging and Modelling grant 359208 and Centre of Excellence of Inverse Modelling and Imaging 353092). We thank the anonymous referees for many valuable comments and suggestions.
Funding
Open Access funding provided by University of Jyväskylä (JYU).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Completion of the Proof of Boundary Determination
We complete the details in the proof of lemma 15 by proving items 1 and 2. Recall that we work in local coordinates \(\phi :W \rightarrow \mathbb {R}^n\) so that
We denote \({\hat{x}} = (x^1,\dots ,x^{n-1})\). The local tensor field p is defined in these coordinates by
where n appears \(m-1-l\) times in \(p_{j_1\cdots j_ln \cdots n}\) and \(m-l\) times in \(f_{j_1\cdots j_ln \cdots n}\).
First we prove item 1. We begin by proving that \(f_x(v,\dots ,v) = 0\) for all \(v \in S_x(W \cap \partial M)\) and \(x \in W \cap \partial M\). Given \(v \in S_x(W \cap \partial M)\),we choose a sequence \((v_k)\) of vectors \(v_k \in S_x(W \cap \partial M)\) so that \(\tau (x,v_k)>0\), and \(\tau (x,v_k) \rightarrow 0\) and \(v_k \rightarrow v\) when \(k \rightarrow \infty \). Such a sequence of vectors exists by \(C^{1,1}\) simplicity as proved in [18, Lemma 23]. Since the lengths of the geodesics corresponding to \((x,v_k)\) become arbitrarily short and \(If = 0\), we find that
We have shown that \(f_x(v,\dots ,v) = 0\) for all \(v \in S_x(W \cap \partial M)\). Next, we prove that \(f_{j_1 \cdots j_m}({\hat{x}},0) = 0\) in \(W \cap \partial M\) for all \(j_1,\dots ,j_m \in \{1,\dots ,n-1\}\).
Let \(\iota :\partial M \rightarrow M\) be the inclusion map. The pullback \(\iota ^*f\) is an m-tensor field on \(\partial M\). Since \(f_x(v,\dots ,v) = 0\) for all \(v \in S_x(W \cap \partial M)\) we have \((\iota ^*f)_x(v,\dots ,v) = 0\) for all \(v \in S_x(W \cap \partial M)\). Then a fibrewise computation [9, Lemma 2.4] shows that
for all \(x \in W \cap \partial M\). We have shown that \(\iota ^*f|_{W \cap \partial M} = 0\) which written in the coordinates in W gives \(f_{j_1\cdots j_m}({\hat{x}},0) = 0\) for all \(j_1,\dots ,j_m \in \{1,\dots ,n-1\}\). We have proved item 1.
We proceed to proving item 2. Let \(l \in \{0,\dots ,m-1\}\) and \(j_1,\dots ,j_l \in \{1,\dots ,n-1\}\). To compute the restriction to boundary of the component functions of \(\sigma \nabla p\), we first compute \(\nabla _np_{j_1\cdots j_ln \cdots n}({\hat{x}},0)\) and \(\nabla _{j_s}p_{j_1\cdots \widehat{j_s}\cdots j_ln \cdots n}({\hat{x}},0)\). We have
Thus by the construction of p,we find that
On the boundary \(\{x^n = 0\}\), equation (110) reduces to
As in equation (109), we have
By the construction of p, equation (112) gives
Therefore, on the boundary \(\{x^n = 0\}\),we get
Now we are ready to compute \((\sigma \nabla p)_{j_1\dots j_ln \cdots n}\), when \(l \in \{0,\dots ,m-1\}\). Denote \(j_{l+1} = \dots = j_m = n\). There are \((m-l)(m-1)!\) permutations \(\pi \) of \(\{1,\dots ,m\}\) so that \(j_{\pi (1)} = n\), when no restrictions are set on the remaining indices \(j_{\pi (2)},\dots ,j_{\pi (m)}\). Thus using symmetry of p we find that
Evaluating (115) on the boundary \(\{x^n = 0\}\) and substituting (111) and (114) results in
The last step is to prove that
when \(j_1,\dots ,j_m \in \{1,\dots ,n-1\}\). By the definition of the symmetrized covariant derivative,
where the summation is over all permutations \(\pi \) of \(\{1,\dots ,m\}\). Since \(j_{\pi (k)} < n\) for all \(k \in \{1,\dots ,m\}\), we can compute as in (113) to see that
for all permutations \(\pi \) of \(\{1,\dots ,m\}\). Thus
We have finally used item 1 of the proof, where we proved that \(f_{j_1 \cdots j_m}({\hat{x}},0) = 0\) for all \(j_1,\dots ,j_m \in \{1,\dots ,n-1\}\). This concludes the proof item 2 and thus the proof of lemma 15 is completed.
A Regularity Computation
The following calculation completes the proof of lemma 3. It is based on the proofs of [43, Lemma 4.4] and [26, Lemma 5.1].
Let \(u \in H^{1}_{\texttt{h}}H^{2}_{\texttt{v}}(SM)\) and let \(w_k \in \Omega ^{1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\) be so that \(w_k|_{\partial (SM)} = 0\). Then \(\overset{\texttt{h}}{\nabla }u \in H^{1}_{\texttt{h}}H^{1}_{\texttt{v}}(SM)\) and thus
Using proposition 10,the right side can rewritten as
If \(u_k \in \Lambda ^{1}_{\texttt{h}}\Lambda ^{2}_{\texttt{v}}(k)\) are the spherical harmonic components of u, then by orthogonality and lemma 14 we have
Together, equations (121), (122) and (123) show that
Then we let \(w \in C^{1}_{\texttt{h}}C^{2}_{\texttt{v}}(SM)\) so that \(w|_{\partial (SM)} = 0\). If we decompose w into spherical harmonics \(w_k\), then \(w_k \in \Omega ^{1}_{\texttt{h}}\Omega ^{\infty }_{\texttt{v}}(k)\). We sum equation (124) over \(k \in \mathbb {N}\) and use \(k(k+n-2)w_k = \overset{\texttt{v}}{\Delta } w_k\) to get
Thus there is \(W(u) \in H^{0}_{\texttt{h}}H^{1}_{\texttt{v}}(N)\) so that \(\overset{\texttt{v}}{{\text {div}}}(W(u)) = 0\) and
It follows from the eigenvalue property that
Thus equation (126) yields
Again, by orthogonality, we have
We add equations (128) and (129) to get
This is estimate (71).
Proof of Liouville’s Theorem
This appendix is devoted to the proof of lemma 23. We let M be a compact smooth manifold with a smooth boundary. Suppose that we are given two \(C^{1,1}\) Riemannian metrics g and h on M. Let the corresponding unit sphere bundles be \(S_gM\) and \(S_hM\). There is a natural radial \(C^{1,1}\)-diffeomorphism \((x,v) \mapsto (x,v\left| v\right| ^{-1}_h)\) from \(S_gM\) to \(S_hM\), the inverse map from \(S_hM\) to \(S_gM\) being \((x,w) \mapsto (x,w\left| w\right| ^{-1}_g)\).
In the proof of lemma 23, we use three types of Riemannian metrics on M. We will have a \(C^{1,1}\) Riemannian metric g and two types of smooth Riemannian metrics h and . We denote the corresponding radial diffeomorphisms by
In the proof of lemma 23, we will use the convention that the unit sphere bundle related is denoted , the operators and differential forms related to are decorated with \(\alpha \) on top or as a subscript, the sphere bundle, operators and differential forms related to h are decorated with subscripts h and the bundles and the operators related to the metric g are written without decorations.
Proof of lemma 23
The proof is based on smooth approximations of the Riemannian metric g. Let h be a smooth fixed reference Riemannian metric on M. Let be a sequence of smooth Riemannian metrics on M so that
Existence of such sequence was proved in [18, Lemma 18]. Let \(u \in {{\,\textrm{Lip}\,}}(SM)\) and denote and \({\tilde{u}} {:=}s^*u\). We note that . We will prove that
Establishing equation (133) proves the claim, since by Liouville’s theorem [36, Lemma 3.6.4.], we have
for all \(\alpha \in \mathbb {N}\) and thus the limit integral in equation (133) is zero.
Recall that . Thus by basic properties of pullback,it is enough prove that
The manifold M is the Euclidean unit ball in \(\mathbb {R}^n\) and we let \((x^1,\dots ,x^n)\) be usual Cartesian coordinates on M. We consider coordinates \((x^1,\dots ,x^n,w^1,\dots ,w^n)\) on \(S_hM\) and corresponding coordinates
so that . We associate to (x, w) the coordinate vector fields \(\partial _{x^1},\dots ,\partial _{x^n},\partial _{w^1},\dots ,\partial _{w^n}\) and similarly to we associate and to (x, v) we associate . We let
be the dual basis one-forms characterized by
Next, we will write the integrals in equation (135) in coordinates on \(S_hM\) and we will argue that equation (135) follows from (132). We will derive a local coordinate formula for \(L_X(\textrm{d}\Sigma )\). A similar formula for can be derived analogously. Then we will compute how the coordinate presentations transform under the pullbacks \(s^*\) and .
We denote by \(\left| g\right| \) the determinant of g. Since \(\textrm{d}\Sigma \) is a volume form (differential form of the highest order), Cartan’s formula implies that
Since
and
we see that
where \(\widehat{\textrm{d}x^i}\) and \(\widehat{\textrm{d}v^i}\) indicate that one-forms \(\textrm{d}x^i\) and \(\textrm{d}v^i\) are omitted from the wedge product. From (141),it follows that
Similarly, we see that
Next, we pullback formulas (142) and (143) onto \(S_hM\). We can compute
If we write
then
Thus
Similarly, we get
Since s and act identically on the base point x, we have
Using the fact that a wedge product vanishes whenever repetition appears,we get
By a similar computation
To complete formulas for the pullback of (142) and (143) we use the facts that \(s^*= s^{-1}_*\) and to compute
as well as
Thus we get
and
The formulas we get for the pullbacks of \(L_X(\textrm{d}\Sigma )\) along s and of along are
and
From formulas (158) and (159) we see that can conclude the equation (135) if the following holds:
in \(L^1(S_hM)\), where S and \(S'\) are any subsets of \(\{1,\dots ,n\}\). We chose the approximating sequence so that
From (163),we see that
in \(L^\infty (S_hM)\). Thus we can take products and we conclude that (160), (161) and (162) hold, which finishes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ilmavirta, J., Kykkänen, A. Tensor Tomography on Negatively Curved Manifolds of Low Regularity. J Geom Anal 34, 147 (2024). https://doi.org/10.1007/s12220-024-01588-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01588-8