Pestov identities and X-ray tomography on manifolds of low regularity (bibtex)

by Joonas Ilmavirta and Antti Kykkänen

Abstract:

We prove that the geodesic X-ray transform is injective on scalar functions and (solenoidally) on one-forms on simple Riemannian manifolds

(M, g)

with

g \in C^{1, 1}

. In addition to a proof, we produce a redefinition of simplicity that is compatible with rough geometry. This

C^{1, 1}

-regularity is optimal on the Hölder scale. The bulk of the article is devoted to setting up a calculus of differential and curvature operators on the unit sphere bundle atop this non-smooth structure.

View PDF

Reference:

Pestov identities and X-ray tomography on manifolds of low regularity (Joonas Ilmavirta and Antti Kykkänen), Inverse Problems and Imaging, volume 17, pp. 1301–1328, 2023. [show abstract] [hide abstract] We prove that the geodesic X-ray transform is injective on scalar functions and (solenoidally) on one-forms on simple Riemannian manifolds

(M, g)

with

g \in C^{1, 1}

. In addition to a proof, we produce a redefinition of simplicity that is compatible with rough geometry. This

C^{1, 1}

Bibtex Entry:

@article{rough-pestov,
	author = {Joonas Ilmavirta and Antti Kykk\"anen},
	title = {{Pestov identities and X-ray tomography on manifolds of low regularity}},
	month = dec,
	year = 2023,
	journal = {Inverse Problems and Imaging},
	volume = 17,
	isue = 6,
	pages = {1301--1328},
	abstract = {We prove that the geodesic X-ray transform is injective on scalar functions and (solenoidally) on one-forms on simple Riemannian manifolds $(M,g)$ with $g \in C^{1,1}$. In addition to a proof, we produce a redefinition of simplicity that is compatible with rough geometry. This $C^{1,1}$-regularity is optimal on the H\"older scale. The bulk of the article is devoted to setting up a calculus of differential and curvature operators on the unit sphere bundle atop this non-smooth structure.},
	url={http://users.jyu.fi/~jojapeil/pub/rough-pestov.pdf},
        arxiv = {2112.05523},
        doi = {10.3934/ipi.2023017}
}