skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: The tensorial X-ray transform on asymptotically conic spaces
In this paper we show the invertibility of the geodesic X-ray transform on one forms and 2-tensors on asymptotically conic manifolds, up to the natural obstruction, allowing existence of certain kinds of conjugate points. We use the 1-cusp pseudodifferential operator algebra and its semiclassical foliation version introduced and used by Vasy and Zachos, who showed the same type invertibility on functions. The complication of the invertibility of the tensorial X-ray transform, compared with X-ray transform on functions, is caused by the natural kernel of the transform consisting of ‘potential tensors’. We overcome this by arranging a modified solenoidal gauge condition, under which we have the invertibility of the X-ray transform.  more » « less
Award ID(s):
1953987 2247004
PAR ID:
10538331
Author(s) / Creator(s):
;
Publisher / Repository:
American Institute of Mathematical Sciences
Date Published:
Journal Name:
Inverse Problems and Imaging
Volume:
18
Issue:
4
ISSN:
1930-8337
Page Range / eLocation ID:
908 to 942
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We study the mapping properties of the X-ray transform and its adjoint on spaces of conormal functions on Riemannian manifolds with strictly convex boundary. After desingularizing the double fibration, and expressing the X-ray transform and its adjoint using b-fibrations operations, we employ tools related to Melrose’s pushforward theorem to describe the mapping properties of these operators on various classes of polyhomogeneous functions, with special focus to computing how leading order coefficients are transformed. The appendix explains that a naive use of the pushforward theorem leads to a suboptimal result with non-sharp index sets. Our improved results are obtained by closely inspecting Mellin functions which arise in the process, showing that certain coefficients vanish. This recovers some sharp results known by other methods. A number of consequences for the mapping properties of the X-ray transform and its normal operator(s) follow. 
    more » « less
  2. Consider a Riemannian manifold in dimension n ≥ 3 with strictly convex boundary. We prove the local invertibility, up to potential fields, of the geodesic ray transform on tensor fields of rank four near a boundary point. This problem is closely related with elastic qP-wave tomography. Under the condition that the manifold can be foliated with a continuous family of strictly convex hypersurfaces, the local invertibility implies a global result. One can straightforwardly adapt the proof to show similar results for tensor fields of arbitrary rank. 
    more » « less
  3. We characterize the kernel of the mixed ray transform on simple 2-dimensional Riemannian manifolds, that is, on simple surfaces for tensors of any order. 
    more » « less
  4. Abstract We study a one-parameter family of self-adjoint normal operators for the x-ray transform on the closed Euclidean disk D , obtained by considering specific singularly weighted L 2 topologies. We first recover the well-known singular value decompositions in terms of orthogonal disk (or generalized Zernike) polynomials, then prove that each such realization is an isomorphism of C ∞ ( D ) . As corollaries: we give some range characterizations; we show how such choices of normal operators can be expressed as functions of two distinguished differential operators. We also show that the isomorphism property also holds on a class of constant-curvature, circularly symmetric simple surfaces. These results allow to design functional contexts where normal operators built out of the x-ray transform are provably invertible, in Fréchet and Hilbert spaces encoding specific boundary behavior. 
    more » « less
  5. We initiate the study of X-ray tomography on sub-Riemannian manifolds, for which the Heisenberg group exhibits the simplest nontrivial example. With the language of the group Fourier transform, we prove an operator-valued incarnation of the Fourier Slice Theorem, and apply this new tool to show that a sufficiently regular function on the Heisenberg group is determined by its line integrals over sub-Riemannian geodesics. We also consider the family of taming metrics $$g_\epsilon$$ approximating the sub-Riemannian metric, and show that the associated X-ray transform is injective for all $$\epsilon > 0$$. This result gives a concrete example of an injective X-ray transform in a geometry with an abundance of conjugate points. 
    more » « less