Nous étudions les propriétés fonctionnelles de la transformée en rayons X et de son adjointe dans les espaces conormaux, sur les variétés riemanniennes a bord strictement convexe. Après une désingularisation préalable de la double fibration sous-jacente en une double b-fibration, nous exprimons les deux opérateurs étudiés comme des compositions d’intégration le long des fibres et de précompositions par des b-fibrations. Nous utilisons ensuite des techniques reliées aux théorèmes d’intégration le long des fibres et de précomposition de Melrose pour en déduire l’action de ces opérateurs sur des espaces de fonctions polyhomogènes conormales, décrivant notamment comment les développements ainsi que les termes principaux sont transformés. Nous expliquons dans l’appendice qu’une application naïve du théorème d’intégration le long des fibres donne une surestimation des ensembles d’indices qui ne permet pas d’obtenir la précision de certains résultats existant dans la littérature. Notre approche retrouve cette précision et la généralise, en inspectant de plus près les fonctionnelles de Mellin qui entrent en jeu, et en montrant l’annulation de certains coefficients. Nous discutons de quelques applications des résultats principaux, concernant la transformation en rayons X et ses opérateurs normaux associés.
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.
CC-BY 4.0
@article{JEP_2024__11__809_0,
author = {Rafe Mazzeo and Fran\c{c}ois Monard},
title = {Double b-fibrations and desingularization of the {X-ray} transform on manifolds with strictly convex boundary},
journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
pages = {809--847},
publisher = {\'Ecole polytechnique},
volume = {11},
year = {2024},
doi = {10.5802/jep.266},
language = {en},
url = {https://jep.centre-mersenne.org/articles/10.5802/jep.266/}
}
TY - JOUR AU - Rafe Mazzeo AU - François Monard TI - Double b-fibrations and desingularization of the X-ray transform on manifolds with strictly convex boundary JO - Journal de l’École polytechnique — Mathématiques PY - 2024 SP - 809 EP - 847 VL - 11 PB - École polytechnique UR - https://jep.centre-mersenne.org/articles/10.5802/jep.266/ DO - 10.5802/jep.266 LA - en ID - JEP_2024__11__809_0 ER -
%0 Journal Article %A Rafe Mazzeo %A François Monard %T Double b-fibrations and desingularization of the X-ray transform on manifolds with strictly convex boundary %J Journal de l’École polytechnique — Mathématiques %D 2024 %P 809-847 %V 11 %I École polytechnique %U https://jep.centre-mersenne.org/articles/10.5802/jep.266/ %R 10.5802/jep.266 %G en %F JEP_2024__11__809_0
Rafe Mazzeo; François Monard. Double b-fibrations and desingularization of the X-ray transform on manifolds with strictly convex boundary. Journal de l’École polytechnique — Mathématiques, Tome 11 (2024), pp. 809-847. doi : 10.5802/jep.266. https://jep.centre-mersenne.org/articles/10.5802/jep.266/
[1] - “Renormalizing curvature integrals on Poincaré-Einstein manifolds”, Adv. Math. 221 (2009) no. 1, p. 140-169 | DOI | Zbl
[2] - “Ricci flow and volume renormalizability”, SIGMA Symmetry Integrability Geom. Methods Appl. 15 (2019), article ID 057, 21 pages | DOI | Zbl
[3] - “Local X-ray transform on asymptotically hyperbolic manifolds via projective compactification”, New Zealand J. Math. 52 (2021 [2021–2022]), p. 733-763 | DOI | Zbl
[4] - “Conformal invariants”, in Élie Cartan et les mathématiques d’aujourd’hui (Lyon, 1984), Astérisque, Société Mathématique de France, Paris, 1985, p. 95-116 | Numdam | Zbl
[5] - “Differential forms and integral geometry”, Funkcional. Anal. i Priložen. 3 (1969) no. 2, p. 24-40 | Zbl
[6] - “Basics of the -calculus”, in Approaches to singular analysis (Berlin, 1999), Oper. Theory Adv. Appl., vol. 125, Birkhäuser, Basel, 2001, p. 30-84 | DOI | Zbl
[7] - “Some problems in integral geometry and some related problems in microlocal analysis”, Amer. J. Math. 101 (1979) no. 4, p. 915-955 | DOI | Zbl
[8] - Integral geometry and Radon transforms, Springer, New York, 2011 | DOI
[9] - “On the microlocal analysis of the geodesic X-ray transform with conjugate points”, J. Differential Geometry 108 (2018) no. 3, p. 459-494 | DOI | Zbl
[10] - The analysis of linear partial differential operators. III. Pseudo-differential operators, Classics in Mathematics, Springer, Berlin, 2007 | DOI
[11] - “New range theorems for the dual Radon transform”, Trans. Amer. Math. Soc. 353 (2001) no. 3, p. 1089-1102 | DOI | Zbl
[12] - “Orthogonal function series expansions and the null space of the Radon transform”, SIAM J. Math. Anal. 15 (1984) no. 3, p. 621-633 | DOI | Zbl
[13] - “An inverse problem for renormalized area: determining the bulk metric with minimal surfaces”, 2024 | arXiv
[14] - “Elliptic theory of differential edge operators. I”, Comm. Partial Differential Equations 16 (1991) no. 10, p. 1615-1664 | DOI | Zbl
[15] - “Elliptic theory of differential edge operators, II: Boundary value problems”, Indiana Univ. Math. J. 63 (2014) no. 6, p. 1911-1955 | DOI | Zbl
[16] - “Calculus of conormal distributions on manifolds with corners”, Internat. Math. Res. Notices (1992) no. 3, p. 51-61 | DOI | Zbl
[17] - The Atiyah-Patodi-Singer index theorem, Research Notes in Math., vol. 4, A K Peters, Ltd., Wellesley, MA, 1993 | DOI
[18] - “The -isomorphism property for a class of singularly-weighted x-ray transforms”, Inverse Problems 39 (2023) no. 2, article ID 024001, 24 pages | DOI | Zbl
[19] - “Functional relations, sharp mapping properties, and regularization of the X-ray transform on disks of constant curvature”, SIAM J. Math. Anal. 52 (2020) no. 6, p. 5675-5702 | DOI | Zbl
[20] - “Efficient nonparametric Bayesian inference for -ray transforms”, Ann. Statist. 47 (2019) no. 2, p. 1113-1147 | DOI | Zbl
[21] - “Consistent inversion of noisy non-Abelian X-ray transforms”, Comm. Pure Appl. Math. 74 (2021) no. 5, p. 1045-1099 | DOI | Zbl
[22] - “Statistical guarantees for Bayesian uncertainty quantification in nonlinear inverse problems with Gaussian process priors”, Ann. Statist. 49 (2021) no. 6, p. 3255-3298 | DOI | Zbl
[23] - “The geodesic ray transform on Riemannian surfaces with conjugate points”, Comm. Math. Phys. 337 (2015) no. 3, p. 1491-1513 | DOI | Zbl
[24] - Geometric inverse problems—with emphasis on two dimensions, Cambridge Studies in Advanced Math., vol. 204, Cambridge University Press, Cambridge, 2023 | DOI
[25] - “Two dimensional compact simple Riemannian manifolds are boundary distance rigid”, Ann. of Math. (2) 161 (2005) no. 2, p. 1093-1110 | DOI | Zbl
[26] - “Microlocal analysis of asymptotically hyperbolic spaces and high-energy resolvent estimates”, in Inverse problems and applications: inside out. II, Math. Sci. Res. Inst. Publ., vol. 60, Cambridge Univ. Press, Cambridge, 2013, p. 487-528 | Zbl
[27] - “Analytic continuation and high energy estimates for the resolvent of the Laplacian on forms on asymptotically hyperbolic spaces”, Adv. Math. 306 (2017), p. 1019-1045 | DOI | Zbl
Cité par Sources :