т.е. сначала зафиксируем некоторую гиперплоскость (ξ, x) = l и
проведем внутреннее интегрирование по этой гиперплоскости, а затем проинтегрируем полученное выражение по множеству гиперплоскостей, параллельных данной, т.е. проинтегрируем по l при фиксированном ξ.
Так как |
∫ |
|
|
f (x)ω = P(ξ,l ) , |
то преобразование Фурье пред- |
||||
|
(ξ,x) =l |
|
|
|
|||||
ставляет преобразованиеРадонафункции f (x) |
следующимобразом: |
||||||||
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
F (ξ) = ∫ P(ξ,l )eildl . |
(2.89) |
||
|
|
|
|
|
|
|
−∞ |
|
ξ = αξ1 , l = αl1 , где |
В последнем интеграле сделаем замену |
|||||||||
α ≠ 0 , α R . |
|
|
|
|
|
|
|
|
|
Учитывая, что функция P(ξ,l ) |
является однородной степени –1, |
||||||||
т. е. P(αξ ,αl ) |
= |
|
α |
|
−1 P(ξ ,l ) , dl = αdl , получим |
||||
|
|
||||||||
1 |
1 |
|
|
|
|
1 |
1 |
1 |
|
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
F (αξ) = ∫ P(ξ,l )eil αdl . |
(2.90) |
||
−∞
Таким образом, преобразование Фурье в n-мерном пространстве сводится к преобразованию Радона в (n −1) -мерном пространстве
и последующему одномерному преобразованию Фурье.
Применяя к (2.90) обратное одномерное преобразование Фурье, получим выражение преобразование Радона функции f (x) через ее преобразование Фурье
|
1 |
+∞ |
|
|
P(ξ,l ) = |
∫ F (α,ξ)e−il α dα . |
(2.91) |
||
2π |
||||
|
−∞ |
|
||
|
|
|
Итак, преобразования Фурье и Радона функции f (x) в n-
мерном пространстве получаются друг из друга с помощью одномерного преобразования Фурье.
Важное значение для компьютерной томографии имеет представление функции через ее преобразование Радона. Обычно функ-
146
цией f (x) в КТ является μ(x, y) , а P(ξ,l ) являются проекции
P(θ,l ).
Представление функции через ее преобразование Радона называется формулами обращения. Рассмотрим эти формулы обращения.
Формулы обращения [11] для пространства Rn четной и нечетной размерности имеют вид, а именно:
для n = 2k :
|
(−1) |
n |
(n −1)! |
|
+∞ |
|
|
|
|
2 |
−n |
||||||
f (x) = |
(2π) |
n |
∫ |
∫ P(ξ,l ) (l −(ξ, x)) |
|
dl) ω(ξ) , (2.92) |
||
|
|
Г |
−∞ |
|
|
|||
причем интеграл по l следует понимать в смысле регуляризованного значения, т. е.
+∞ |
−n |
|
∞ |
−n |
|
|
|
|
|
|
|
|
|
|
|
|
l |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
∫ l |
|
ψ(l )dl = ∫l |
|
|
ψ(l ) + ψ(−l) − 2 ψ(0) + |
|
|
|
|
ψ''(0) +... |
|
|||||||||||
|
|
|
2! |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
−∞ |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
l |
n−2 |
|
|
|
n−2 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
ψ( |
) (0) |
|
|
|
|
|
|
|
|||||
|
|
|
... + |
|
|
|
|
|
|
|
dl; |
|
|
|
|
|
|
|||||
|
|
|
(n − 2)! |
|
|
|
|
|
|
|
(2.93) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
для n = 2k +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
(−1) |
n−1 |
∫ |
∂n−1P(ξ,(ξ, x)) |
|
|
|||||||||||
|
|
|
f (x) = |
|
2 |
|
|
|
ω(ξ) , |
(2.94) |
||||||||||||
|
|
|
|
2(2π)n−1 |
|
∂ln−1 |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Г |
|
|
|
|
|
|
|
|
|
где Г – произвольная замкнутая поверхность, |
которая охватывает |
|||||||||||||||||||||
точку ξ = 0, ω(ξ) |
– дифференциальная форма этой поверхности, т.е. |
|||||||||||||||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ω(ξ) = ∑(−1)i−1 ξi dξ1...dξi−1di+1...dξn . |
(2.95) |
|||||||||||||||||||
i =1
Для простоты изложения приведем краткие доказательства этих формул для случая n = 2 .
147
Пусть прямая L : (ξ, x) = l задана в нормальном виде, т. е. ξ =1, тогда согласно (2.79), интеграл функции f (x) вдоль прямой L равен
+∞ |
|
P(θ,l ) = ∫ f (l cos θ− S sin θ, l sin θ+ S cosθ), |
(2.95а) |
−∞
где S – ось ординат после поворота на угол θ.
Следуя Радону [1], построим среднее значение всех проекций вдоль прямых, которые расположены на расстоянии i от точки, подлежащей восстановлению, т. е. являющихся касательными к окружности радиуса i с центром в восстанавливаемой точке x
(рис. 2.20)
|
|
|
1 |
2π |
|
|
|
|
(x,i) = |
∫ P(θ,l −i)dθ. |
(2.96) |
||
P |
||||||
|
2π |
|||||
0 |
|
|||||
x2
К : x −η = i
l
i 
θ
(ξ, x)= l −i
(ξ, x)= l
x1
Рис. 2.20. Восстановление функции f (x) с помощью преобразования Радона
Тем самым полученная функция P (x,i) зависит только от расстояния i от исследуемой точки x , т. е. P (x,i) задана на произвольномлуче, выходящем из точки x . Учитывая (2.79), получим, что
148
2π+∞
P (x,i) = 1 ∫ ∫ f (η)dθdS , 2π 0 −∞
где η – точка принадлежащая касательной к кругу К : x −η = i . Таким образом, получаем интегральное уравнение первого рода
относительно функции f (x) . Решением этого интегрального уравнения, как показано в [1], является функция
|
1 |
∞ |
|
|
|
|
|
|
|
|
|
|
|||
f (x) = − |
∫ |
dP (x,i) |
, |
(2.97) |
|||
π |
|
||||||
|
0 |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
где интеграл понимается в смысле Стилтьеса или
|
|
|
|
|
|
|
∞ |
|
|
|
di . |
|
f (x) = |
1 |
|
P (x,i) |
P (x,i) |
||||||||
lim |
− ∫ |
|||||||||||
|
|
2 |
||||||||||
|
π ε→0 |
|
|
ε |
ε |
|
|
i |
|
|||
|
|
|
|
|
|
|
|
|
||||
Из формулы (2.97) видно, что операция восстановления функции f (x) эквивалентна последовательному выполнению следую-
щих операций: усреднению проекций по формуле (2.96), дифференцированию среднего значения и последующей свертке с функцией 1
i .
Формулу (2.97) можно так же переписать в следующем виде
f (x) = − |
1 |
∞ |
1 |
|
∂P(x,i) |
|
|
|
|
|
|
|
1 |
|
|
∞ |
1 |
2π ∂P(θ,l −i) |
|
||||||||||||
|
∫ |
|
|
|
|
|
|
|
|
|
di = − |
|
|
|
|
∫ |
|
|
|
∫ |
|
|
|
dθ di = |
|||||||
π |
|
i |
|
∂i |
|
|
|
2π |
2 |
|
i |
|
|
∂i |
|||||||||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
0 |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
|
|
∞ 2π |
1 |
|
|
∂ P(θ,l −i) |
|
|
||||||||||||||
|
|
|
|
|
|
= − |
|
|
|
∫ ∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dθ di . |
|
||
|
|
|
|
|
|
2π |
2 |
|
i |
|
|
|
|
|
|
∂i |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
0 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
После замены переменной l1 = l −i |
|
получим |
|
||||||||||||||||||||||||||||
|
f (x) = − |
1 |
|
|
∞2π |
|
|
|
1 |
|
|
|
∂P(θ,l |
) |
|
|
|||||||||||||||
|
|
|
|
∫ ∫ |
|
|
|
|
|
|
|
|
1 |
|
dθ dl1 . |
|
|||||||||||||||
|
2π |
2 |
|
|
l |
−l |
|
|
|
|
∂l |
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
0 0 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
||||
Учитывая, что P(θ,l ) = P(θ+ π, −l ) , получим
149
|
f (x) = |
1 |
|
|
|
|
+∞ 2π |
1 |
|
|
|
∂P(θ,l ) |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
∫ |
|
∫ |
|
|
|
|
|
1 |
|
dθdl1 . |
|
|
(2.98) |
||||||||||||||
|
4π |
2 |
|
|
l −l |
|
|
∂l |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
−∞ 0 |
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Заметим, что если точка |
|
x = (x1, x2 ) имеет полярные координа- |
||||||||||||||||||||||||||||||||
ты (r,ϕ) , то l = r cos(θ −ϕ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
В формуле (2.98) рассмотрим внутренний интеграл |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
+∞ |
1 |
|
|
|
|
|
∂P(θ,l |
|
)dl |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
J = − ∫ |
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
= −(J1 |
+ J2 ) , |
|
|
|
|
|||||||||||||||
|
l −l |
|
|
|
|
|
∂l |
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
−∞ |
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
∞ |
|
1 |
|
|
∂P(θ,l |
) |
|
|
|
|
|
|
|
|
l1−ε |
1 |
|
|
∂P(θ,l |
) |
|
|||||||||||||
где J1 = ε→∞lim ∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
dl1 , |
|
J2 |
|
= ε→∞lim |
|
|
|
|
|
1 |
|
dl1. |
|||||||||||
|
l −l |
|
|
∂l |
|
|
|
|
|
|
l |
−l |
|
|
∂l |
|
||||||||||||||||||
l1+ε |
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
1 |
|
|
1 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P(θ,l1 ) = 0 , |
||||||||
После интегрирования по частям, |
|
учтем, |
что |
lim |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
l1 |
→∞ |
|
|
|
||
получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J = − lim |
− |
1 |
(P(θ,l |
+ ε) + P( |
θ,l |
|
−ε)) + |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
ε |
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|||
|
|
ε→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
l1−ε P(θ,l |
|
) |
|
|
|
∞ |
|
P(θ,l |
) |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
+ ∫ |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
∫ |
1 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
dl1 |
+ |
|
|
dl1 . |
|
|
|
|
|
|
|||||||||||||||||||||
|
|
(l −l1 )2 |
|
(l −l1 )2 |
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
l |
|
+ε |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как функция f (x) удовлетворяет условиям, которые мы за-
давали в самом начале, то для функции P(θ, x) |
можно записать ее |
|||||||||||||||||
разложение в ряд Тейлора в окрестности точки l1 |
|
|
||||||||||||||||
|
P(θ, |
l |
+ ε) = P(θ, |
l |
) + |
|
P(θ, l1 ) |
|
ε + |
|
P(θ, l1 ) |
|
ε2 +..., |
|||||
|
|
|
|
|
||||||||||||||
|
|
1 |
|
1 |
|
1! |
|
2! |
|
|
|
|
|
|||||
|
P(θ, |
l |
−ε) = P(θ, |
l |
) − |
P(θ, l1 ) |
|
ε + |
P(θ, l1 ) |
ε2 +..., |
||||||||
|
|
|
|
|||||||||||||||
|
|
1 |
|
1 |
|
1! |
|
2! |
|
|
|
|
|
|||||
откуда следует |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
P(θ, l + ε) + P(θ, l − ε) |
|
|
|
2P(θ, l ) + P(θ, l |
)ε2 |
||||||||||||
lim = |
1 |
|
1 |
|
|
= lim |
|
1 |
1 |
|
+... = |
|||||||
|
|
ε |
|
|
|
|
|
|
|
ε |
|
|||||||
|
|
|
|
|
|
|
ε→∞ |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
150 |
|
|
|
|
|
|
|
|
|
|
||