📂トモグラフィ

ラドン変換の性質

性質¹

ラドン変換 $\mathcal{R} : L^{2}(\mathbb{R}^{n}) \to L^{2}(\Lambda)$は次の性質を持っている。

線形性

$\alpha, \beta \in \mathbb{R}$、$f, g \in L^{2}(\mathbb{R}^{2})$に対して、次が成り立つ。

$$\mathcal{R} \left( \alpha f + \beta g \right) = \alpha \mathcal{R}f + \beta \mathcal{R}g$$

平行移動不変性^{shift invariance}

$\mathbf{a} \in \mathbb{R}^{n}$に対して、$T_{\mathbf{a}}$を平行移動とする。

$$T_{\mathbf{a}}f(\mathbf{x}) := f(\mathbf{x}-\mathbf{a}) \text{ for } f\in L^{2}(\mathbb{R}^{n})\quad \text{and} \quad T_{t}g(s,\boldsymbol{\theta}) := g(s-t, \boldsymbol{\theta}) \text{ for } g \in L^{2}(\Lambda)$$

すると、次が成り立つ。

$$\mathcal{R}T_{\mathbf{a}}f (s, \boldsymbol{\theta}) = T_{\mathbf{a} \cdot \boldsymbol{\theta}}\mathcal{R}f(s,\boldsymbol{\theta})$$

回転不変性^{rotation invariance}

$A$を$n$次元回転変換とする。

$$Af(\mathbf{x}) := f(A \mathbf{x}) \text{ for } f\in L^{2}(\mathbb{R}^{n})\quad \text{and} \quad Ag(s,\boldsymbol{\theta}) := g(s,A \boldsymbol{\theta}) \text{ for } g \in L^{2}(\Lambda)$$

すると、次が成り立つ。

$$RAf = ARf$$

拡大不変性^{dilation invariance}

$r>0$に対して、$D_{r}$をダイレーションとする。

$$D_{r}f(\mathbf{x}) := f(r \mathbf{x}) \text{ for } f\in L^{2}(\mathbb{R}^{n}) \quad \text{and} \quad D_{r}g(s,\boldsymbol{\theta}) := g(rs, \boldsymbol{\theta}) \text{ for } g \in L^{2}(\Lambda)$$

すると、次が成り立つ。

$$RD_{r}f = \dfrac{1}D_{r}Rf$$

証明

平行移動不変性

$$\begin{align*} \mathcal{R} T_{\mathbf{a}} f(s, \boldsymbol{\theta}) =&\ \int\limits_{\mathbf{x} \cdot \boldsymbol{\theta} = s} T_{\mathbf{a}}f(\mathbf{x}) d\mathbf{x} \\ =&\ \int\limits_{\mathbf{x} \cdot \boldsymbol{\theta} = s} f(\mathbf{x} - \mathbf{a}) d\mathbf{x} \\ =&\ \int\limits_{\mathbf{y} \cdot \boldsymbol{\theta} = s + \mathbf{a} \cdot \boldsymbol{\theta}} f(\mathbf{y}) d\mathbf{y} \\ =&\ \mathcal{R}f(s + \mathbf{a} \cdot \boldsymbol{\theta}, \boldsymbol{\theta}) \\ =&\ T_{\mathbf{a}\cdot \boldsymbol{\theta}}\mathcal{R}f(s , \boldsymbol{\theta}) \end{align*}$$

■

回転不変性

$$\begin{align*} \mathcal{R} A f(s, \boldsymbol{\theta}) =&\ \int\limits_{\mathbf{x} \cdot \boldsymbol{\theta} = s} Af(\mathbf{x}) d\mathbf{x} \\ =&\ \int\limits_{\mathbf{x} \cdot \boldsymbol{\theta} = s} f(A\mathbf{x}) d\mathbf{x} \\ =&\ \int\limits_{A^{-1}\mathbf{y} \cdot \boldsymbol{\theta} = s} f(\mathbf{y}) d\mathbf{y} \\ =&\ \int\limits_{\mathbf{y} \cdot A\boldsymbol{\theta} = s} f(\mathbf{y}) d\mathbf{y} \\ =&\ \mathcal{R} f(s, A\boldsymbol{\theta}) \\ =&\ A\mathcal{R} f(s, \boldsymbol{\theta}) \end{align*}$$

■

拡大不変性

$$\begin{align*} \mathcal{R} D_{r} f(s, \boldsymbol{\theta}) =&\ \int\limits_{\mathbf{x} \cdot \boldsymbol{\theta} = s} D_{r}f(\mathbf{x}) d\mathbf{x} \\ =&\ \int\limits_{\mathbf{x} \cdot \boldsymbol{\theta} = s} f(r\mathbf{x}) d\mathbf{x} \\ =&\ \int\limits_{\frac{1}{r}\mathbf{y} \cdot \boldsymbol{\theta} = s} f(\mathbf{y}) \dfrac{1}{r}d\mathbf{y} \\ =&\ \dfrac{1}{r} \int\limits_{\mathbf{y} \cdot \boldsymbol{\theta} = rs} f(\mathbf{y}) d\mathbf{y} \\ =&\ \dfrac{1}{r} \mathcal{R} f(rs, \boldsymbol{\theta}) \\ =&\ \dfrac{1}{r} D_{r} \mathcal{R} f(s, \boldsymbol{\theta}) \\ \end{align*}$$

■