THE strongXstrong-RAY TRANSFORM FOR A GENERIC FAMILY OF CURVES AND WEIGHTS.pdfVIP

THE X-RAY TRANSFORM FOR A GENERIC FAMILY OF CURVES AND WEIGHTS BELA FRIGYIK, PLAMEN STEFANOV, AND GUNTHER UHLMANN ABSTRACT. We study the weighted integral transform on a compact manifold with boundary over a smooth family of curves . We prove generic injectivity and a stability estimate under the condition that the conormal bundle of covers T M . 1. INTRODUCTION Let M be a compact manifold with boundary. Let be an open family of smooth (oriented) curves on M , with a fixed parametrization on each one of them, with endpoints on @M , such that for each .x ;/ 2 TM n0, there is at most one curve x ; 2 through x in the direction of , and the dependence on .x ;/is smooth, see next section. Define the weighted ray transform (1) I Z . / ;wf./ D w .t/;.P t/ f..t//dt ; 2 ; where w.x ;/ 6D 0 is a smooth non-vanishing complex valued function on TM n 0. We study the prob- lem of the injectivity of I;w on functions on M . We impose no-conjugacy conditions on that would guarantee that I;w recovers singularities. Under that condition, we prove that I;w is injective for generic , w, including analytic ones, and that there is a stability estimate. This is a generalization of the X-ray transform arising in Computed Tomography which consists in integrating functions over lines provided with the standard Lebesgue measure. In [Mu1], Mukhometov showed that in a compact domain ˝ in R2, I;1 (with w D 1) is injective for any set , provided that the curves have unit speed, and ˝ is simple w.r.t. those curves. The latter means N that for any two points x , y in ˝, there is unique curve in connecting them