Abstract
We study light ray transform of symmetric 2-tensor fields defined on a bounded time-space domain in \({\mathbb {R}}^{1+n}\) for \(n\ge 3\). We prove a uniqueness result for such light ray transforms. More precisely, we characterize the kernel of the light ray transform vanishing near a fixed direction at each point in the time-space domain.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Statement of the Main Results
Let \(S^{2}{\mathbb {R}}^{1+n}\) be the complex vector space of symmetric tensor fields of rank 2 in \({\mathbb {R}}^{1+n}\). Let \(\Omega \) be a bounded domain in \({\mathbb {R}}^{1+n}\) with \(C^{\infty }\) boundary and \(C^{\infty }({\overline{\Omega }}; S^{2} {\mathbb {R}}^{1+n})\) be the space of \(S^{2}{\mathbb {R}}^{1+n}\)-valued \(C^{\infty }\) smooth symmetric 2-tensor fields on \({\overline{\Omega }}\). We represent points in \(\Omega \) by (t, x). Any \(F\in C^{\infty }({\overline{\Omega }}; S^{2} {\mathbb {R}}^{1+n})\) will be denoted by
Note that we have used the 0-index to denote the time component of a symmetric 2-tensor field. Also note that a function \(f\in C^{\infty }({\overline{\Omega }})\) if it has a smooth extension to a slightly larger open set containing \({\overline{\Omega }}\).
The light ray transform of \(F\in C^{\infty }({\overline{\Omega }}; S^{2}{\mathbb {R}}^{1+n})\) is defined as follows. Consider a point \((t,x)\in {\overline{\Omega }}\) and fix a direction \(\theta \in {\mathbb {S}}^{n-1}\). The light ray transform L of F is the usual ray transform of F through the point (t, x) in the direction \(\widetilde{\theta }=(1,\theta )\). That is,
We have assumed the Einstein summation convention and from now on, with repeating indices, this will be assumed, with the index varying from 0 to n. We also note that extending F to be 0 outside \(\Omega \), the definition of the light ray transform L can be extended to points \((t,x)\in {\mathbb {R}}^{1+n}\) and any \(\tilde{\theta }\) as defined above. This will be assumed without comment from now on.
In this work, we address the question of characterizing the tensor fields \(F\in C^{\infty }({\overline{\Omega }}; S^{2}{\mathbb {R}}^{1+n})\) such that \(LF(t,x,\tilde{\theta })=0\) for all \((t,x)\in {\mathbb {R}}^{1+n}\) and all \(\tilde{\theta }=(1,\theta )\) with \(\theta \in {\mathbb {S}}^{n-1}\) near some fixed \(\theta _{0}\in {\mathbb {S}}^{n-1}\).
Light ray transforms in Euclidean and manifold settings have been studied in several recent works; see [5, 9,10,11, 19, 22]. Most of these works analyze light ray transform from the view point of microlocal analysis. Light ray transforms arise in the study of inverse problems for hyperbolic PDEs with time-dependent coefficients as well; see references [1,2,3,4, 6,7,8, 12,13,14, 17, 18, 20].
To the best of the authors’ knowledge, an exact description of the kernel of the light ray transform on symmetric 2-tensor fields has not been precisely studied, and this is the main goal of the paper. In this work, we use Fourier transform techniques to prove the uniqueness result in the Minkowski setting. We should mention that the recent paper [5] also deals with uniqueness result for light ray transforms on symmetric tensor fields and a uniqueness result similar to ours is proven in the more general setting of Lorentzian manifolds. Our work was done independently, and the techniques employed here are different from theirs. Specifically, their uniqueness result for the light ray transform on certain Lorentzian manifolds relies on the uniqueness result for the corresponding geodesic ray transform on the base space; see [5, Theorem 2]. However, we work directly with the light ray transform, albeit in the Minkowski setting. Another distinction from the work of [5] is that our uniqueness result only assumes knowledge of the light ray transform in the neighborhood of a fixed direction. In other words, ours is a partial data result. The uniqueness result of [5], requires knowledge of the full light ray transform, even in the setting of Minkowski space.
We now state the main results. Results as well as in proofs below we use the following notation. By \(\delta \), we mean the Euclidean divergence and \(\text{ trace }\) will refer to the Euclidean trace.
In other words, for a symmetric 2-tensor field \(F=(F_{ij})_{0\le i,j\le n}\):
In the last equality in (1.2), we emphasize that the Einstein summation convention is assumed with the index varying between 0 and n and the \(\frac{\partial }{\partial t}\) derivative is abbreviated as \(\partial _{0}\) and the space derivatives \(\frac{\partial }{\partial x_{i}}\) are denoted by \(\partial _{i}\) for \(1\le i\le n\).
Theorem 1.1
Let \(F\in C^{\infty }({\overline{\Omega }}; S^2 {\mathbb {R}}^{1+n})\) be such that \(\delta F=0\) and \(\mathrm {trace}(F)=0\). If for a fixed \(\theta _{0}\in {\mathbb {S}}^{n-1}\),
then \(F=0\).
Theorem 1.2
Let \(F\in C^{\infty }({\overline{\Omega }}; S^2 {\mathbb {R}}^{1+n})\). Then there exists an \(\widetilde{F}\in C^{\infty }({\overline{\Omega }}; S^2 {\mathbb {R}}^{1+n})\) satisfying \(\delta (\widetilde{F})=\text{ trace }(\widetilde{F})=0\), a function \(\lambda \in C^{\infty }({\overline{\Omega }})\), and a vector field v with components in \(C^{\infty }({\overline{\Omega }})\) satisfying \(v|_{\partial \Omega }=0\) such that F can be decomposed as
Here g is the Minkowski metric with \((-1,1,1,\cdots ,1)\) along the diagonal and \(\mathrm {d}\) is the symmetrized derivative defined by
See also Sharafutdinov [16], where a decomposition result similar in spirit to the one above is shown in a Riemannian setting.
Combining the above two results, we get the following desired characterization.
Theorem 1.3
Let \(F\in C^{\infty }({\overline{\Omega }}; S^2 {\mathbb {R}}^{1+n})\). If for a fixed \(\theta _{0}\in {\mathbb {S}}^{n-1}\),
then \(F=\lambda g + \mathrm {d}v\), where \(\lambda \in C^{\infty }({\overline{\Omega }})\), g is the Minkowski metric and v is a vector field with components in \(C^{\infty }({\overline{\Omega }})\) with \(v|_{\partial \Omega }=0\).
See [9, Lemma 9.1] as well, where a version of Theorem 1.3 is proven in the Euclidean setting in space dimensions \(n=3\).
2 Proofs
We prove two lemmas that would immediately give the proof of Theorem 1.1. As mentioned already, we will extend F as 0 outside \({\overline{\Omega }}\).
Lemma 2.1
Under the assumptions of Theorem 1.1, we have the following equality:
where \(\theta \in {\mathbb {S}}^{n-1}\) and \(\perp \) is with respect to the Euclidean metric.
Proof
This is the Fourier slice theorem for the light ray transform. This result is standard; see [19].
We consider the Fourier transform of \(F_{ij}\):
Using the decomposition, \({\mathbb {R}}^{1+n}={\mathbb {R}}(1,\theta )\oplus \ell \) with \(\ell \in (1,\theta )^{\perp }\) combined with Fubini’s theorem, we get
If \(\zeta \in (1,\theta )^{\perp }\), then
Using the fact that
we get
\(\square \)
In the following lemma, without loss of generality, we fix \(\theta _{0}=(1,0\cdots ,0)\in {\mathbb {S}}^{n-1}\).
Lemma 2.2
Let \(F\in C^{\infty }({\overline{\Omega }}; S^2 {\mathbb {R}}^{1+n})\) be such that \(\delta F=0\) and \(\mathrm {trace}(F)=0\). Suppose also that \({\tilde{\theta }}^{i}{\tilde{\theta }}^{j}\widehat{F}_{ij}(\zeta )=0\) for \(\zeta \in (1,\theta )^{\perp }\) and \(\theta \text { near } \theta _{0}\). Then
in a small conical neighborhood of the space-like vector \(\zeta _{0}=(0,0,1,0,\cdots ,0)\in {\mathbb {R}}^{1+n}\).
Proof
In order to make the presentation clear, we first give the proof in \({\mathbb {R}}^{1+3}\) and then generalize it to \({\mathbb {R}}^{1+n}\) when \(n\ge 4\).
First let us show that \(\widehat{F}_{ij}(\zeta _0)=0\) for all \(0\le i,j\le 3\). We fix \( \theta _{0}=(1,0,0)\). Note that \((1,\theta _{0})\cdot \zeta _{0}=0\). Consider
If a is near 0, then \(\theta _{0}(a)\) is near \(\theta _{0}\). Also note that \((1,\theta _{0}(a))\cdot \zeta _{0}=0\). Substituting \(\zeta _{0}=(0,0,1,0)\) and \(\theta _{0}(a)\) as above into (2.3), we get,
\(\square \)
Let us differentiate this equation with respect to a four times. We get,
Letting \(a\rightarrow 0\) in (2.5), (2.6), (2.7), (2.8) and (2.9), we have the following 5 equations:
Since \(\delta (F)=\text{ trace }(F)=0\), we have
From (2.11) and (2.13), we get that \(\widehat{F}_{03}(\zeta _{0})=\widehat{F}_{13}(\zeta _0)=0\). Subtracting (2.12) from (2.14), we get that \(\widehat{F}_{11}(\zeta _0)=\widehat{F}_{33}(\zeta _0)\). Therefore (2.12) gives that \(\widehat{F}_{01}(\zeta _0)=0\). Substituting \(\widehat{F}_{11}(\zeta _0)=\widehat{F}_{33}(\zeta _0)\) into (2.16), and using the fact that \(\widehat{F}_{22}(\zeta _0)=0\) from (2.15), we get that \(\widehat{F}_{00}(\zeta _0)+2\widehat{F}_{11}(\zeta _0)=0\). Combining this with (2.10), we get that \(\widehat{F}_{00}(\zeta _0)=\widehat{F}_{11}(\zeta _0)=0\). Combining all these, we have now shown that \(\widehat{F}_{ij}(\zeta _0)=0\) for all \(0\le i,j\le 3\).
Next our goal is to show that if \(\zeta \) is any non-zero space-like vector in a small enough conical neighborhood (in the Euclidean sense) of \(\zeta _{0}\), then \(\widehat{F}_{ij}(\zeta )=0\), for \(0\le i,j\le 3\) as well. We recall that a non-zero vector \(\zeta =(\zeta ^{0},\zeta ^1,\zeta ^2,\zeta ^3)\) is space-like if \(|\zeta ^{0}|<\Vert (\zeta ^1,\zeta ^2,\zeta ^3)\Vert \), where the norm \(\Vert \cdot \Vert \) refers to the Euclidean norm.
We start with a unit vector \((\zeta ^1,\zeta ^2,\zeta ^3)\) in \({\mathbb {R}}^3\), and we choose \(\zeta ^0=-\sin \varphi \). Then \((-\sin \varphi ,\zeta ^1,\zeta ^2,\zeta ^3)\) is a space-like vector for \(-\pi /2<\varphi <\pi /2\).
Let us recall that in showing \(\widehat{F}_{ij}(\zeta _{0})=0\), we considered a perturbation \(\theta _{0}(a)\) (see (2.4)) of the vector \( \theta _{0}=(1,0,0)\). Note that we required that \( \theta _{0}(a)\) was close enough to \(\theta _{0}\) and \((1, \theta _{0}(a))\cdot \zeta _{0}=0\). The following calculations are motivated by having these same requirements for the vector \(\zeta =(-\sin \varphi ,\zeta ^1,\zeta ^2,\zeta ^3)\).
Since we are interested in a non-zero space-like vector in a small enough conical neighborhood of \(\zeta _{0}\), let us choose
Then clearly \(\zeta \) is close to (0, 1, 0) whenever \(\alpha \) and \(\beta \) are close enough to 0, and choosing \(\varphi \) close to 0, we get that the space-like vector \(\zeta =(-\sin \varphi ,\zeta ^1,\zeta ^2,\zeta ^3)\) is close enough to (0, 0, 1, 0).
Next choose \(\theta _{0}(\varphi )= (\cos \varphi , \sin \varphi ,0)\) for \(\varphi \) close to 0 and the perturbation of \(\theta _{0}(\varphi )\) for a close to 0 by
Our goal is next to modify \(\theta _{0}(\varphi ,a)\) to \({\Theta }_{0}(\varphi ,a)\) such that \((1, {\Theta }_{0}(\varphi ,a))\cdot \zeta =0\). To this end, let us consider the orthogonal matrix A:
Define \({\Theta }_{0}\), \({\Theta }_{0}(\varphi )\) and \( {\Theta }_{0}(a,\varphi )\) by
and
We first note that if \(a, \varphi , \alpha \) and \(\beta \) are close enough to 0, then \( {\Theta }_{0}(\varphi ,a)\) is close enough to \( \theta _{0}\). As before, defining \(\widetilde{\Theta }(\varphi ,a)=(1,{\Theta }(\varphi ,a))\), we have \(LF(t,x, \widetilde{\Theta }_{0}(\varphi ,a))\) is 0.
Next we show that for all \(\varphi ,a,\alpha \) and \(\beta \) close enough to \(0, (1, {\Theta }_{0}(\varphi ,a))\cdot \zeta =0\). To see this, consider
The matrix A is such that \(A\left( \zeta ^1,\zeta ^2,\zeta ^3\right) =(0,1,0)\).
Since \(\theta _{0}(\varphi ,a)=( \cos a \cos \varphi ,\sin \varphi ,\sin a \cos \varphi )\), we now get that \((1, {\Theta }_{0}(\varphi ,a))\cdot \zeta =0\). Using this choice of \({\Theta }_{0}(\varphi ,a)\) in (2.3), we get
As before, we consider (2.17) and differentiate it 4 times and let \(a\rightarrow 0\). These would give 5 equations. Also since F is divergence free and trace free, we have the following 5 equations:
Together, these would give 10 equations and determinant of the matrix formed by the coefficients is continuous as a function of \(\alpha ,\beta \) and \(\varphi \). We show that this determinant is non-zero, which would give that \(\widehat{F}_{ij}(\zeta )=0\) for \(0\le i,j\le 3\). In order to show that the determinant is non-vanishing, it is enough to observe that as \(\alpha ,\beta ,\varphi \rightarrow 0\) in these 10 equations, we would get the same set of equations as in (2.10)–(2.16). However, we have already shown that \(\widehat{F}_{ij}(\zeta _{0})=0\) for \(0\le i,j\le 3\), using these equations. By continuity of the determinant, we have that the matrix of coefficients formed by the 10 equations mentioned above has non-zero determinant when \(\alpha ,\beta ,\varphi \) close to 0. Hence we have \(\widehat{F}_{ij}(\zeta )=0\) for \(0\le i,j\le 3\), where \(\zeta =(-\sin \varphi , \sin \alpha \cos \beta , \cos \alpha , \sin \alpha \sin \beta )\), with \(\alpha ,\beta \) and \(\varphi \) are near 0. Repeating the same argument as above, we can show that \(\widehat{F}_{ij}(\lambda \zeta )=0\) for \(0\le i,j\le 3\), where \(\zeta \) is as above and \(\lambda >0\). This concludes the Lemma 2.2 for the case of \(n=3\).
Now we consider the general case \(n\ge 4\).
As before, first let us show that \(\widehat{F}_{ij}(\zeta _0)=0\) for all \(0\le i,j\le n\), where recall that \(\zeta _{0}=(0,0,1,0,\cdots ,0)\). We fix \( \theta _{0}=(1,0,0,\cdots ,0)\in {\mathbb {S}}^{n-1}\). Note that \((1,\theta _{0})\cdot \zeta _{0}=0\). Consider
where \(e_{j}\in {\mathbb {R}}^{n}\) be vector in \({\mathbb {R}}^{n}\) whose \(j^{\mathrm{th}}\) entry is 1 and other entries are zero. If a is near 0, then \(\theta _{0}(a)\) is near \(\theta _{0}\). Also note that \((1,\theta _{k}(a))\cdot \zeta _{0}=0\) and \(\left( 1,\theta _{kl}(a)\right) \cdot \zeta _{0}=0\). Now substituting this choice of \(\zeta _{0}\), \(\theta _{k}(a)\) and \(\theta _{kl}(a)\) into (2.3), we get,
Differentiating (2.21) 4 times and letting \(a\rightarrow 0\), we arrive at the following equations:
Similarly, we differentiate (2.22) with respect to a 4 times and let \(a\rightarrow 0\). We get,
Letting \(a\rightarrow 0\) in (2.28)–(2.31), we have,
Now we consider (2.23)–(2.26) and (2.32)–(2.35) combined with the following two equations:
since \(\delta (F)=\text{ trace }(F)=0\).
We now show that these equations imply that \(\widehat{F}_{ij}(\zeta _0)=0\) for all \(0\le i,j\le n\).
Adding (2.35) and (2.33), we get,
Subtracting (2.34) from (2.32), we get,
Adding (2.25) and (2.27), we get,
Now combined with the previous equation, we have from (2.23) that
From (2.24) and (2.26), we have that
Now we already know from (2.36) that \(\widehat{F}_{22}(\zeta _0)=0\). Using (2.40) and (2.41) in (2.37), we get that
This then implies that
Now from (2.38), this then implies that
Now combined with (2.36), we now have that
Next our goal is to show that if \(\zeta \) is any non-zero space-like vector in a small enough conical neighborhood (in the Euclidean sense) of \(\zeta _{0}\), then \(\widehat{F}_{ij}(\zeta )=0\), for \(0\le i,j\le n\) as well. We recall that a non-zero vector \(\zeta =(\zeta ^{0},\zeta ^1,\zeta ^2,\cdots ,\zeta ^n)\) is space-like if \(|\zeta ^{0}|<\Vert (\zeta ^1,\zeta ^2,\cdots , \zeta ^n)\Vert \), where the norm \(\Vert \cdot \Vert \) refers to the Euclidean norm.
We start with a unit vector in \({\mathbb {R}}^n\), \(\zeta ':=(\zeta ^1,\zeta ^2,\cdots ,\zeta ^n)\), and let us choose \(\zeta ^0=-\sin \varphi \). Then \((-\sin \varphi ,\zeta ^1,\zeta ^2,\cdots ,\zeta ^n)\) is a space-like vector if \(-\pi /2<\varphi <\pi /2\).
Let us recall that in showing \(\widehat{F}_{ij}(\zeta _{0})=0\), we considered a perturbation \(\theta _{0}(a)\) (see (2.19)) of the vector \(\theta _{0}=(1,0,\cdots ,0)\). Note that we required that \(\theta _{0}(a)\) was close enough to \(\theta _{0}\) and \((1, \theta _{0}(a))\cdot \zeta _{0}=0\). As in the proof for the case \(n=3\), the calculations below are motivated by these requirements for the vector \(\zeta =(-\sin \varphi ,\zeta ^1,\zeta ^2,\cdots ,\zeta ^n)\).
Since we are interested in a non-zero space-like vector in a small enough conical neighborhood of \(\zeta _{0}\), let us choose \(\zeta '\) as
Then clearly \(\zeta '\) is close to \((0,1,0,\cdots ,0)\in {\mathbb {R}}^{n}\) whenever \(\varphi _{i}\) for \(1\le i\le n-1\) are close enough to 0, and choosing \(\varphi \) close to 0, we get that the space-like vector \(\zeta =(-\sin \varphi ,\zeta ^1,\zeta ^2,\cdots ,\zeta ^n)\) is close enough to \(\zeta _{0}=(0,0,1,0,\cdots ,0)\in {\mathbb {R}}^{1+n}\).
Next choose \(\theta _{0}(\varphi ):= \cos \varphi e_{1}+\sin \varphi e_{2}\) close to \(\theta _{0}\) when \(\varphi \) is close to 0 and the perturbation of \(\theta _{0}(\varphi )\) for a close to 0 by
Let us consider the orthogonal matrix A such that \(A\zeta '=e_{2}\). Let us denote the entries of this matrix by \(A=(a_{ij})\). Define \({\Theta }_{0}(\varphi )\) and \({\Theta }_{k}(a,\varphi )\) and \({\Theta }_{kl}(\varphi ,a)\) by
and
where \(3\le k<l\le n\). We first note that if \(a, \varphi ,\) and \(\varphi _{i}\) for \(1\le i\le n-1\), are close enough to 0, then \({\Theta }_{k}(\varphi ,a)\) and \({\Theta }_{kl}(\varphi ,a)\) are close enough to \(\theta _{0}\). Denoting \(\widetilde{\Theta }_{k}(\varphi ,a)=(1,\Theta _{k}(\varphi ,a)\) and \(\widetilde{\Theta }_{k,l}(\varphi ,a)=(1,\Theta _{k,l}(\varphi ,a)\), we have that \(LF(t,x, \widetilde{\Theta }_{k}(\varphi ,a))=0\) for \(k\ge 3\) and \(LF(t,x, \widetilde{\Theta }_{kl}(\varphi ,a))=0\) for \(3\le k<l\le n\).
Next we show that for all \(\varphi ,a\) and \(\varphi _{i}\) for \(1\le i\le n-1\) close enough to \(0, (1, \widetilde{\Theta }_{k}(\varphi ,a))\cdot \zeta =0\) and \(\left( 1,\widetilde{\Theta }_{kl}(\varphi ,a)\right) \cdot \zeta =0\).
To see this, consider
Note that the matrix A is chosen such that \(A\left( \zeta '\right) =(0,1,0,\cdots ,0)\). Since \(\theta _{k}(\varphi ,a)=\cos a \cos \varphi e_{1}+\sin \varphi e_{2}+\sin a \cos \varphi e_{k}\), \(k\ge 3\), we now get that \((1,{\Theta }_{k}(\varphi ,a))\cdot \zeta =0\). Similarly we can check that \(\left( 1,\Theta _{kl}(\varphi ,a)\right) \cdot \zeta =0\).
Using this choice of \(\widetilde{\Theta }_{k}(\varphi ,a)\) in (2.3), we have
Next using the choice \(\widetilde{\Theta }_{kl}(\varphi ,a)\) in (2.3), we get
We differentiate each of Equations (2.47) and (2.48), 4 times and let \(a\rightarrow 0\). Arguing similarly to the case of \(n=3\), we will arrive at the fact that \(\widehat{F}_{ij}(\zeta )=0\), and also \(\widehat{F}_{ij}(\lambda \zeta )=0\) for \(\lambda >0\). \(\square \)
Proof of Theorem 1.1
By Lemma 2.2, we have an open cone of space-like vectors \(\zeta \) along which the Fourier transform \(\widehat{F}_{ij}(\zeta )=0\). Since \(F_{ij}\) for \(1\le i,j\le n\) are extended by zero outside \(\Omega \), therefore using Paley–Wiener theorem, we have that \(F_{ij}\equiv 0\) for all \(0\le i,j\le n\). \(\square \)
Next we prove the decomposition result stated in Theorem 1.2.
Proof of Theorem 1.2
Assume the decomposition is true. Taking trace on both sides in (1.4), we get,
Now by assumption, \(\text{ trace }(\widetilde{F})=0\) and \(\text{ trace }(\lambda g) = (n-1)\lambda \) . Also \(\text{ trace }(\mathrm {d}v)= \delta v\). Therefore
Let us take divergence on both sides of (1.4). Using the fact that \(\widetilde{F}\) is divergence free
Writing the above equation in expanded form, we have
Now using the expression for \(\lambda \) from (2.49) in (2.50), we get
Thus the equation for v is
This set of equations can be written as
We first note that for \(n=3\), the above system of equations becomes
Equation (2.53) is a decoupled system of equations for v with zero Dirichlet boundary data and hence it is uniquely solvable. Then we use (2.49) to solve for \(\lambda \). This completes the proof of Theorem 1.2 for \(n=3\).
Now in what follows, we assume that \(n\ge 4\).
For simplicity, we denote \(\alpha =1+\frac{2}{n-1}\), \(\beta = 1-\frac{2}{n-1}\) and \(A({t},x;{\nabla })\) the following operator (here and below \(\nabla =(\partial _t,\partial _{x_{1}},\cdots ,\partial _{x_{n}}\))):
Then we have (2.52) with the homogeneous boundary condition can be written as
where \(v({t}, x)=\left( v_{0}({t},x),v_{1}({t},x),\cdots ,v_{n}({t},x)\right) ^{T}\) and \(u({t},x)=\left( u_{0}({t},x),u_{1}({t},x),\cdots ,u_{n}({t},x)\right) ^{T}\) are two column vectors. Our goal is to show that the boundary value problem (2.55) is uniquely solvable. To this end, we show (see [15, 21]) that \(A({t},x;{\nabla })\) is strongly elliptic with zero kernel and zero co-kernel.
We first prove strong ellipticity. The symbol \(A({t,x};\xi )\) of operator \(A({t}, x;{\nabla })\) is (up to a sign) given by
where \(\xi =(\xi _0,\xi _1,\cdots ,\xi _n)\). To prove strong ellipticity for \(A({t},x;{\nabla })\) it is enough to show that
is positive definite. Now
Let \(\eta \in {\mathbb {R}}^{1+n}{\setminus }{\{0\}}\). Then \(\eta ^{T}P({t}, x;\xi )\eta \) is given by
Now using the value of \(\alpha \) and \(\beta \), we have
Let us write the vectors \(\xi \) and \(\eta \) as \(\xi =(\xi _{0},\xi ')\) and \(\eta =(\eta _{0},\eta ')\). Now, for simplicity, we define \(A=\frac{\xi _{0}\eta _{0}}{|\xi ||\eta |}\) and \(B=\frac{\xi '\cdot \eta '}{|\xi ||\eta |}\), then clearly \(|A|\le 1\), \(|B|\le 1\) and \(|A+B|\le 1\). Using these in the above equation, we have
This proves that \(P({t}, x,\xi )\) is positive definite and hence \(A({t}, x;{\nabla })\) is strongly elliptic for \(n\ge 4\).
Next we show that (2.55) with \(u=0\) on the right hand side has only the zero solution. Multiplying the first equation in (2.52) by \(v_{0}\) and second equation in (2.52) by \(v_{j}\) and integrating over \(\Omega \), we get the following set of equations
and for \(1\le j\le n\)
Adding the set of equations in (2.57) and (2.58), we get
For simplicity, let us denote \(a=\partial _{0}v_{0}\), \(b=\sum _{j=1}^{n}\partial _{j}v_{j}\) and \(c= \sum _{j=0}^{n}|\nabla v_{j}|^{2}-|\partial _{0}v_{0}|^{2}\). Using these in (2.59), we have
Rewriting this, we get,
Now let us view the integrand in the above equation as a quadratic equation in a and its discriminant D(t, x) is given by
Now
Also
Thus we have that \(nc\ge b^{2}\) and using this we get
However if \(D({t},x)<0\), we have the integrand in (2.59) is strictly positive which is not possible since the integral in (2.59) is zero. Hence we have \(b=0\) and using this in (2.59), we have \(\sum _{j=0}^{n}|\nabla v_{j}|^{2}=0\) in \(\Omega \). This implies \(v_{j}({t},x)=c_{j}\) for \(0\le j\le n\) where \(c_{j}\) is some constant. Now using the boundary condition we have that \(v_{j}({t},x)=0\) in \(\Omega \). Hence Ker\(\left( A({t},x;{\nabla })\right) ={\{0\}}\).
Finally, we show that the co-kernel of \(A({t},x;{\nabla })\) is 0 as well. We proceed as follows. Let \(w\in \left( \text{ Image }(A({t},x;{\nabla }))\right) ^{\perp }\). That is, consider w such that
This, in particular, gives
where
By integration by parts in (2.60), combined with (2.54) and the fact that \(v|_{\partial \Omega }=0\), we have
where \(B({t},x,\partial _{\nu })\) is the boundary operator we arrive at after integration by parts. The first term on the right hand side of (2.63) is 0 by (2.61). Next we show that \(w=0\) on \(\partial \Omega \). Let u be an arbitrary vector field on \(\partial \Omega \) with \(C^{\infty }(\partial \Omega )\) coefficients. We show that there exists a vector field v in \(\Omega \) with \(C^{\infty }\) coefficients such that
The boundary operator B has a smooth extension to a small enough neighbourhood of the boundary. With this extension, we can consider (2.64) as an initial value problem for a system of first order ODEs with smooth coefficients, the solution of which exists in a small enough neighborhood of the boundary. This solution can now be extended smoothly to all of \(\Omega \) which we denote by v. Using this in (2.63), we get that \(w|_{\partial \Omega }=0\). Thus, finally to show that the co-kernel of \(A({t},x;\partial )\) is 0, we have to show that the following BVP
has only the zero solution where \(A^{*}({t},x;\partial )\) is the adjoint for operator \(A({t},x;\partial )\). Using the expression for \(A^{*}({t},x;\partial )\) from (2.62) in (2.65), we have the following set of equations for \(w_{j}\) for \(0\le j\le n\) with zero Dirichlet boundary condition.
Now multiplying the first equation in (2.66) by \(w_{0}\) and second equation by \(w_{j}\) and integrating over \(\Omega \), we have
Adding the above set of equations and substituting the expressions for \(\alpha \) and \(\beta \), we get
This equation is exactly the same as that of (2.59). Hence repeating the same arguments as before, we conclude that \(w({t},x)=0\). Thus we have co-kernel\((A)=\{0\}\) for \(n\ge 4\). This completes the proof of the decomposition theorem for \(n\ge 4\). \(\square \)
Proof of Theorem 1.3
Now combining the results of Theorems 1.1 and 1.2, we conclude Theorem 1.3. For, given \(F\in C^{\infty }({\overline{\Omega }},S^{2}{\mathbb {R}}^{1+n})\), by Theorem 1.3, we can decompose \(F=\widetilde{F}+\lambda g+ \mathrm {d}v\), with \(\widetilde{F}, \lambda , v\in C^{\infty }({\overline{\Omega }})\) satisfying \(\delta (\widetilde{F})=\text{ trace }(\widetilde{F})=0\) and \(v|_{\partial \Omega }=0\), and g is the Minkowski metric. It is straightforward to see that \(\lambda g\) and \(\mathrm {d}v\) above are in the kernel of the light ray transform; see [9] as well. The fact that \(\mathrm {d}v\) with \(v|_{\partial \Omega }=0\) lies in the kernel of the light ray transform follows by fundamental theorem of calculus and \(\lambda g\) lies in the kernel because g has signature \((-1,1,\cdots ,1)\), and light ray transform integrates F along lines in the direction \(\widetilde{\theta }=(1,\theta )\) with \(|\theta |=1\). Therefore, we conclude that \(LF(t,x,\widetilde{\theta })=L\widetilde{F}(t,x,\widetilde{\theta })=0.\) Finally, to conclude, we apply Theorem 1.1 for \(\widetilde{F}\), after extending \(\widetilde{F}=0\) outside \({\overline{\Omega }}\). \(\square \)
References
Ben Aïcha, I.: Stability estimate for hyperbolic inverse problem with time dependent coefficient. Inverse Probl. 31, 125010 (2015)
Eskin, G.: Inverse hyperbolic problems with time-dependent coefficients. Comm. Partial Differ. Equ. 32(10–12), 1737–1758 (2007)
Feizmohammadi, A., Kian, Y.: Recovery of non-smooth coefficients appearing in anisotropic wave equations. arXiv:1903.08118 (2019)
Feizmohammadi, A., Ilmavirta, J., Kian, Y., Oksanen, L.: Recovery of time-dependent coefficients from boundary data for hyperbolic equations. arXiv:1901.04211 (2019)
Feizmohammadi, A., Ilmavirta, J., Oksanen, L.: The light ray transform in stationary and static Lorentzian geometries. arXiv:1911.04834 (2019)
Kian, Y.: Recovery of time-dependent damping coefficients and potentials appearing in wave equations from partial data. SIAM J. Math. Anal. 48(6), 4021–4046 (2016)
Kian, Y.: Unique determination of a time-dependent potential for wave equations from partial data. Ann. Inst. H. Poincaré Anal. Non Linéaire 34(4), 973–990 (2017)
Krishnan, V.P., Vashisth, M.: An inverse problem for the relativistic Schrödinger equation with partial boundary data. Appl. Anal. https://doi.org/10.1080/00036811.2018.1549321 (2019)
Lassas, M., Oksanen, L., Stefanov, P.D., Uhlmann, G.: On the inverse problem of finding cosmic strings and other topological defects. Commun. Math. Phys. 357(2), 569–595 (2018)
Lassas, M., Oksanen, L., Stefanov, P., Uhlmann, G.: The light ray transform on Lorentzian manifolds. arXiv:1907.02210 (2019)
RabieniaHaratbar, S.: Support theorem for the light-ray transform of vector fields on Minkowski spaces. Inverse Probl. Imaging 12(2), 293–314 (2018)
Ramm, A.G., Rakesh.: Property \(C\) and an inverse problem for a hyperbolic equation. J. Math. Anal. Appl. 156(1), 209–219 (1991)
Ramm, A.G., Sjöstrand, J.: An inverse problem of the wave equation. Math. Z. 206(1), 119–130 (1991)
Salazar, R.: Determination of time-dependent coefficients for a hyperbolic inverse problem. Inverse Probl. 29(9):095015, 17, (2013)
Sharafutdinov, V.A.: Integral Geometry of Tensor Fields. Inverse and Ill-Posed Problems Series. VSP, Utrecht (1994)
Sharafutdinov, V.A.: Variations of Dirichlet-to-Neumann map and deformation boundary rigidity of simple 2-manifolds. J. Geom. Anal. 17, 147–187 (2007)
Stefanov, P.D.: Inverse scattering problem for the wave equation with time-dependent potential. C. R. Acad. Bulg. Sci. 40(11), 29–30 (1987)
Stefanov, P.D.: Inverse scattering problem for the wave equation with time-dependent potential. J. Math. Anal. Appl. 140(2), 351–362 (1989)
Stefanov, P.D.: Support theorems for the light ray transform on analytic Lorentzian manifolds. Proc. Am. Math. Soc. 145(3), 1259–1274 (2017)
Stefanov, P.D., Yang, Y.: The inverse problem for the Dirichlet-to-Neumann map on Lorentzian manifolds. Anal. PDE 11(6), 1381–1414 (2018)
Taylor, M.E.: Partial Differential Equations I. Basic Theory. Applied Mathematical Sciences, vol. 115, 2nd edn. Springer, New York (2011)
Wang, Y.: Parametrices for the light ray transform on Minkowski spacetime. Inverse Probl. Imaging 12(1), 229–237 (2018)
Acknowledgements
Krishnan is supported in part by US NSF Grant DMS 1616564 and India SERB Matrics Grant MTR/2017/000837. The work of Vashisth is supported by NSAF Grant U1930402. The authors thank Plamen Stefanov for his comments and encouragement, and Vladimir Sharafutdinov for his interest in the problem. Finally, we thank the anonymous referees for the very useful comments that helped us immensely in improving the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Eric Todd Quinto.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Krishnan, V.P., Senapati, S. & Vashisth, M. A Uniqueness Result for Light Ray Transform on Symmetric 2-Tensor Fields. J Fourier Anal Appl 26, 40 (2020). https://doi.org/10.1007/s00041-020-09749-3
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00041-020-09749-3