Добавил:
kiopkiopkiop18@yandex.ru Вовсе не секретарь, но почту проверяю Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

4 курс / Лучевая диагностика / ТОМОГРАФИЧЕСКИЕ_ИЗМЕРИТЕЛЬНЫЕ_ИНФОРМАЦИОННЫЕ_СИСТЕМЫ

.pdf
Скачиваний:
0
Добавлен:
24.03.2024
Размер:
9.04 Mб
Скачать

d(ξ, x) ω = dx1 dx2...dxn .

(2.74)

Следуя Радону, интеграл функции

f (x) по

гиперплоскости

(ξ, x) = l зададим формулой

 

 

 

P(ξ,l ) =

f (x)ω ,

(2.75)

(ζ,k )=l

 

 

где ориентация гиперплоскости (ξ, x) = l

выбрана так, что эта ги-

перплоскость является границей для полупространства (ξ, x) < l . Функцию P(ξ,l ) называют преобразованием Радона функции

f (x) .

ввести линейный непрерывный функционал δ(P) , где

Если

P(x) = 0

– некоторая гладкая поверхность в пространстве Rn , ко-

торый определяется с помощью формулы

 

f (x)δ(P)dx =

f (x)ω,

 

P(x)=0

учитывая, что в нашем случае P(x) = l (ξ, x) , формулу (2.75) можно представить в следующем виде:

P(ξ,l ) = f (x)δ(l (ζ, x))dx ,

(2.76)

интеграл при этом берется по всему пространству.

Здесь возникают классические математические вопросы:

1.Определяется ли однозначно задание функции P(ξ,l ) функцией f (х) ?

2.Как по P(ξ,l ) найти f (x) ?

Для случая n = 2, 3 , когда l = (ξ, x) прямая или плоскость, зада-

ча впервые была решена Радоном [1] и в последствии обобщена Ф. Джоном [66] для случая n >1 .

Рассмотрим более подробно преобразование Радона для случая n = 2 , имеющего большое значение для компьютерной томогра-

фии. Пусть n = 2 и в пространстве R2 задана прямая L : l = (ξ, x) и

141

функция f (x) , соотнесенные в системе координат (x1, x2 ) (рис. 2.19).

x2

x2'

 

 

 

 

 

 

 

 

 

l ξ

 

x1'

 

 

 

 

 

 

 

 

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

L :← ξ1x1 2 x2 = l

x1

 

 

 

 

 

 

 

 

 

Рис. 2.19. Вычисление преобразования Радона функции

f (x) вдоль прямой L

Запишем уравнение прямой L в нормальном виде

 

 

 

ξ1

x +

ξ2

x =

l

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ

 

1

 

ξ

 

2

ξ

 

 

 

 

 

 

где ξ = ξ2

+ αξ2

, или

cos θ x

+ sin θ x = l

 

ξ

 

.

 

 

 

 

1

2

 

 

 

 

1

 

2

 

 

 

 

 

Повернем систему координат (х1, х2) на угол θ так, что в новой системе координат (x1' , x2' ) прямая L будет параллельна оси 0x2.

Тогда связь между старой и новой системами координат определяется формулами Эйлера

x1'x'2

и

x1x'2

=cosθ x1 +sin θ x2 ,

=sin θ x1 + cosθ x2

=cos θ x1' sin θ x2' ,

=sin θ x1' + cos θ x2' ,

(2.77)

(2.78)

142

а уравнение прямой L будет иметь вид

 

ξ

 

x'

= l .

 

 

 

 

 

 

1

 

Вычислим дифференциал прямой L

 

dL = d(ξ, x) = d(ξ1 x1 + ξ2 x2 l ) = d ( ξ x1' l )= ξ dx1' .

Из соотношения (2.74) получим значение дифференциальной

формы ω прямой L : dL ω = dx dx

= dx'

dx'

или

 

ξ

 

dx'

ω = dx' dx'

,

 

 

1

2

1

2

 

 

 

 

1

1

2

 

откуда ω = dξx2 .

Из (2.75) получим, с учетом выше приведенных соотношений, что преобразование Радона функции f (x) вдоль L равно

P(ξ, x) = f (x1, x2 )ω =

 

 

 

 

 

 

 

L

 

 

 

 

 

 

 

 

 

+∞

 

l

 

 

 

l

 

 

dx'

=

f

 

 

 

cos θ− x'

sin θ,

 

 

sin θ+ x'

cos θ

 

 

2

.

 

 

 

 

 

 

 

 

 

 

ξ

2

 

ξ

2

 

ξ

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если теперь считать, что прямая L задана в нормальном виде,

т.е.

 

ξ

 

=1,

ξ1 = cosθ, ξ2 = sin θ, то P(ξ,l ) будет функцией угла θ и

 

 

расстояния

l от начала координат до прямой L . В это случае ее

называют проекцией функции

f (x1, x2 ) вдоль прямой L и обозна-

чают P(θ,l ). Тогда

 

 

 

 

 

 

P(θ,l ) = +∞f (l cos θ− x2'

sin θ, l sin θ+ x2' cos θ)dx2' .

(2.79)

 

 

 

 

 

−∞

 

 

Рассмотрим элементарные свойства преобразования Радона, необходимые для дальнейших исследований.

Учитывая, что дельта-функция δ(l (ξ, x)) является однородной функцией переменных l , ξ , степени однородности -1, из формулы (2.76) непосредственно следует, что:

1) функция P(ξ,l ) является четной однородной функцией от (ξ,l ) степени однородности -1, т. е. для любого вещественного L 0

143

P(αξ,αl ) =

 

α

 

1 P(ξ,l ). Отсюда,

в частности, следует, что, поло-

 

 

жив α = l1 , получим

 

 

 

 

 

 

 

 

 

 

P(l1 ξ,1)=

 

l

 

P(ξ,l )

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

P(ξ,l ) =

 

l

 

1 P(l1ξ,l) ,

(2.80)

 

 

 

 

 

 

т. е. фактически функция P(ξ,l )

зависит от того же числа пере-

менных, что и исходная функция

f (x) ;

 

2) из свойств интеграла легко получить, что преобразование Радона линейно: если P(ξ,l ) – преобразование Радона функции

f (x) и f (x) = a1 f1 (x) + +a2 f2 (x) ,

то

P(ξ,l) = a1 P1 (ξ,l ) + a2 P2 (ξ,l ) .

(2.81)

Далее перечислим без доказательства наиболее важные свойства преобразования Радона. Подробно эти свойства рассматриваются в работе [67];

3)пусть A – невыраженное линейное преобразование пере-

 

 

 

 

 

n

A = (aij ), оп-

менных x1,..., xn : Ax

= ( y1,..., yn ) , где yi = dij x j ,

 

 

 

 

 

j=1

 

ределитель матрицы

A det ( A) 0 . Тогда преобразование Радона

функции fA (x) = f (A1 x) есть

 

где (ξ, Ax ) = ( A'ξ, x) ;

PA (ξ,l ) =

 

det A

 

P( A'ξ,l) ,

(2.82)

 

 

A' — транспонированная матрица;

4) пусть fa (x) = f (x + a) = f (x1 + a1,..., xn + an ) , тогда преоб-

разование Радона этой функции есть

 

Pa (ξ,l ) = P(ξ,l + (ξ, a)) ;

(2.83)

144

 

n

f (x)

 

 

5) пусть F (x) = ai

 

 

, где a1,...,an

– произвольные

(x

)

i=1

i

 

 

 

вещественные числа, тогда преобразование Радона для этой функции есть

 

 

 

 

 

 

 

n

P(ξ,l )

 

 

 

 

 

 

 

PF (ξ,l ) = ai ξi

;

(2.84)

 

 

 

 

 

 

l

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

P1 (ξ,l )

 

6)

преобразование

Родона

 

функции

 

 

n

x

 

f (x) , связано с преобразованием Радона P(ξ,l )

f (x) =

a

 

 

i

i

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

функции

f (x)

следующим образом:

 

 

 

 

 

 

 

 

 

 

 

P1 (ξ,l )

n

 

(ξ,l )

 

 

 

 

 

 

 

 

 

= −ai

 

;

(2.85)

 

 

 

 

 

 

l

∂ξi

 

 

 

 

 

 

i=1

 

 

 

7)

преобразование Радона свертки

 

f (x) = f1 ( y) f2 (x y) dy

функций

f1 (x) и

f2 (x) есть

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

 

 

 

 

 

 

P(ξ,l ) = P1 (ξ,t) P2 (ξ,l t )dt ,

(2.86)

−∞

где Pi (ξ,l ) — преобразование Радона функции fi (x) (i =1,2). Определим связь преобразования Радона с преобразованием

Фурье. Пусть в пространстве Rn задана абсолютно дифференциируемая функция f (x) , т. е. f (x) dx сходится всюду. Тогда мож-

но определить ее преобразование Фурье

 

F (ξ) = f (x)еθi(ξ,x)dx ,

(2.87)

где интегрирование идет по всему пространству. Этот интеграл обычным образом можно свести к повторному интегралу

+∞

 

+∞

 

F (ξ) = dl

f (x)eil ω = eil dl

f (x)ω, (2.88)

−∞

(ξ,x) =l

−∞

(ξ,x) =l

 

 

145

 

т.е. сначала зафиксируем некоторую гиперплоскость (ξ, 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 (α,ξ)eil α 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

n2

 

 

 

n2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ψ(

) (0)

 

 

 

 

 

 

 

 

 

 

... +

 

 

 

 

 

 

 

dl;

 

 

 

 

 

 

 

 

 

(n 2)!

 

 

 

 

 

 

 

(2.93)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для n = 2k +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

n1

n1P(ξ,(ξ, x))

 

 

 

 

 

f (x) =

 

2

 

 

 

ω(ξ) ,

(2.94)

 

 

 

 

2(2π)n1

 

ln1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г

 

 

 

 

 

 

 

 

 

где Г – произвольная замкнутая поверхность,

которая охватывает

точку ξ = 0, ω(ξ)

– дифференциальная форма этой поверхности, т.е.

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ω(ξ) = (1)i1 ξi dξ1...dξi1di+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), дифференцированию среднего значения и последующей свертке с функцией 1i .

Формулу (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