3
$\begingroup$

I asked this question on math stackexchange, without any reply yet.

Link:https://math.stackexchange.com/questions/1401580/under-what-hypothesis-is-the-x-ray-transform-john-transform-operator-bounded

Could you please take a look?

Let $\mathcal{L}$=space of all lines $L$. The X-ray transform is defined here: https://en.wikipedia.org/wiki/X-ray_transform $Xf:\mathcal{L}\to \mathbb{R}$ is defined by: $Xf(L)=\int_{t \in L}f(t)|dt|$.

In this definition, the X-ray transform $Xf$ of a function $f$ is defined only for compactly supported continuous functions $f$ on $\mathbb{R}^d$.

Note that $X:\mathcal{C}_c(\mathbb{R}^d)\to \mathcal{S}$, where $\mathcal{S}$ is the space of continuous scalar valued functions on the set $\mathcal{L}$ of all lines L.

My questions are: 1) Under these conditions, is the transform operator $X$ bounded?

2) If we instead assume that $f$ is a rapidly decaying function, i.e., both $f, \nabla f \to 0$ at infinity, what can we say about the boundedness of $X$?

I'd very much appreciate a detailed explanation. Thank you!

$\endgroup$
2
$\begingroup$

Continuity of $X$ depends on the norms (or other topologies) you put on your function spaces. Let me give some examples. You can find a discussion of the Radon transform and the X-ray transform in various spaces in these lecture notes.

Example 1: $X:L^1(\mathbb R^d)\to L^1(\cal L)$ is continuous since $$ \int_{L\in\cal L}\left|\int_Lf\right| \leq \int_{L\in\cal L}\int_L|f| = \int_{\mathbb R^n}|f| $$ for a suitably scaled measure on $\cal L$.

Example 2: $X:C_c(\mathbb R^d)\to C_c(\cal L)$ is continuous. Let us define the map $h:\mathbb R^d\times S^{n-1}\to\cal L$ so that $h(x,v)$ is the line going through $x$ in direction $v$. This map is continuous and $\operatorname{spt}(Xf)\subset h(\operatorname{spt}(f)\times S^{n-1})$ so $X$ indeed maps compactly supported functions to compactly supported functions. If $f\in C_c(\mathbb R^d)$ and there is a compact convex set $K$ so that $Xf(L)=0$ whenever $L\cap K=\emptyset$, then $\operatorname{spt}(f)\subset K$ — this is Helgason's support theorem. Knowing this, it should not be too hard to show continuity.

Example 3: $X:C_c^k(\mathbb R^d)\to C_c^k(\cal L)$ is continuous for any $k\in\{1,2,\dots,\infty\}$.

About decay at infinity: It seems to me that if $f\to0$ and $\nabla f\to0$ at infinity, then $Xf$ should have the same behaviour. To make this rigorous, you need to specify what you want.

To play with the derivatives, observe that you can differentiate in $\cal L$ in essentially two kinds of directions: you can shift a line with constant direction or you can rotate a line around a point on the line. In both cases the derivative of $Xf$ at $L\in\cal L$ is the integral of a derivative of $f$ along $L$ with constant or linearly growing weight. Using this you can see, for example, that if $f$ and $\nabla f$ decay exponentially, so do $Xf$ and $\nabla Xf$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.