Transformada de Radn.

Pgina 1

TRANSFORMADA DE RADON ( RT )
La transformada de Radon implica la evaluacin de integrales de una imagen extendidas a lo largo de rectas. La Fig. ( 3.15 ) presenta la situacin grficamente. La imagen f (x ,y) es tratada como una superficie, y se evala directamente el rea que queda por debajo de esa superficie y por encima de la lnea L.

Figura 3.15: Evaluacin de la RT en dos dimensiones.

Dada una imagen f (x ,y) , su RT, R(p,2) , surge de la integracin de f a lo largo de la lnea L dada por x cos 2 + y sen 2=p . El ngulo 2 es el formado por el eje de abscisas y la perpendicular desde el origen hasta la lnea L ( 0#2#2B ) , y p$ 0 es la longitud de esa perpendicular. En forma paramtrica, L viene dada por :

Los valores de x e y son stos:

La RT viene dada por la siguiente expresin:

Adems,

La RT es lineal. Si Rf denota la RT de la imagen f , entonces Rf+g=Rf +Rg.

Transformada de Radn. Pgina 2

Si la imagen f (x ,y) viene dada en forma polar como g(r,2), entonces:

La Fig. ( 3.16 ) muestra la representacin de una recta:

Figura 3.16: Representacin de una recta. La recta L queda definida por su distancia al origen ( p ) y por el ngulo que forma la perpendicular a L trazada con el eje x ( 2 ) .

He aqu algunos ejemplos que ilustran las anteriores definiciones: Ejemplo 3.10: Clculo de la RT de una funcin Sea . Su forma . Ejemplo 3.11: Clculo de la RT de un disco de radio 1 Sea f (x ,y)=ID (x ,y) , siendo D el disco de radio unidad centrado en el origen. En forma polar: polar es . Su RT es:

Transformada de Radn. Pgina 3

Puesto que en D la funcin es constante, la integral a lo largo de cualquier lnea es simplemente la longitud de la interseccin de la lnea con la regin de soporte D . As, R(p,2)=0 para p$1 . Los otros valores pueden obtenerse con la ayuda de la siguiente figura:

Figura 3.17: Evaluacin de la RT para una imagen con regin de soporte circular.

De esta figura se desprende que R(p,2)=2(1- p2) 1/2 para 0#p#1 ( 0 para el resto de valores ). Ejemplo 3.12: Clculo de otra RT Sea .

La forma polar de esta imagen es

Dado que la imagen vale cero fuera del disco unidad, R(p,2)=0 para p$1. En el resto de los casos, la imagen es radial, as que la integral a lo largo de L ser independiente del ngulo 2. Por ello, integramos a lo largo de la lnea horizontal 2=B/2. Usando la definicin original de la RT ( la no polar ), obtenemos para p#1 y para cualquier ngulo 2 : . Haciendo la sustitucin z=(1- p2)1/2 Au , tenemos:

Transformada de Radn. Pgina 4

Con la sustitucin u=2t -1 en la ltima integral, sta se convierte en:

Es decir, para 0#p#1 y para cualquier valor de 2,

Ejemplo 3.13: Clculo de la RT de un cuadrado de lado 1 Sea f (x ,y)=IQ (x ,y) , siendo Q el cuadrado unidad [0,1]x[0,1] (primer cuadrante). Como f (x ,y)=1 en el dominio de f , R(p,2) es la longitud de la interseccin de la recta L determinada por p y 2 con Q.

Hay que tener en cuenta que una recta puede intersectar con 2 de los 4 lados de Q de 6 maneras. stas estn reflejadas a continuacin:

Figura 3.18: Las seis posibles formas en que una recta puede cortar a dos lados de un cuadrado.

Para evaluar R(p,2), es conveniente proceder en 8 pasos, cada uno de ellos en una regin de 2 ( cada 45 ):

Paso 1 ( 0<2#B/4 )

Transformada de Radn. Pgina 5

Consideremos una lnea del tipo L6. Calculemos su longitud dentro de Q:

Figura 3.19: Evaluacin de la RT sobre L6 .

Calculemos ahora la longitud de la lnea L3 :

Figura 3.20: Evaluacin de la RT sobre L3 .

Consideremos ahora la lnea L4 :

Transformada de Radn. Pgina 6

Figura 3.21: Evaluacin de la RT sobre L4 .

As,

. ; la lnea L3 , para cos

La lnea L6 se mantiene para 0#p#sen 2 2#p#sen 2+cos 2 , y R(p,2)=0 para p> sen 2+cos 2 . Paso 2 ( B/4#2<B/2 )

Las posibilidades, en este caso, son las siguientes: Lneas L4, L1 y L6 . Por ejemplo, para L4 , se tiene que:

Se reserva para el lector interesado el clculo de las transformadas para los casos de las lneas L1 y L6 . A continuacin se dan estos resultados para que el lector pueda comprobarlo: Para L1 : Para L6 : Por ltimo, si p$sen 2+cos 2 , R(p,2)=0 . Pasos del 3 al 8 A continuacin, se ofrecen en forma de tabla las lneas sobre las cuales debe evaluarse la RT en cada

Transformada de Radn. Pgina 7

uno de los pasos restantes:

Pasos restantes ( Rangos ) Evaluacin de la RT sobre las lneas ......

N 3 N 4 N 5 N 6 N 7 N 8

( B/2#2<3B/4 ) ( 3B/4#2<B ) ( B#2<5B/4 ) ( 5B/4#2<3B/2 ) ( 3B/2#2<7B/4 ) ( 7B/4#2<2B )

L5, L1 L5 L2 L2, L3

Por tanto, con este ejemplo hemos visto que son necesarios 8 pasos para evaluar la RT para una imagen con regin de soporte cuadrada.

CREACIN DE IMGENES A PARTIR DE MEDIANTE LA TRANSFORMADA DE FOURIER

PROYECCIONES

El propsito de este apartado es demostrar cmo puede explotarse la transformada de Fourier en la inversin de la RT. La metodologa se basa en la siguiente relacin: 1 [RT(A)]=2 (A) , donde: * 1 es la transformada de Fourier unidimensional. * 2 es la transformada de Fourier bidimensional. Esta relacin se demostrar a lo largo de este apartado. Para ello se usar la transformada inversa de Radon, RT -1 , y como consecuencia de esto, la metodologa se mantiene siempre que, al menos, f est en S(R2) (1) . Denotemos con f a la imagen y con g(r,N) a la imagen en forma polar. La forma polar de la transformada de Fourier bidimensional de f viene dada por:

Transformada de Radn. Pgina 8

Por otro lado, la RT de g(r,N) es:

Tomando la transformada de Fourier de R(p,2) con respecto a p , se tiene:

(1) Una funcin f (x ) est en S(Rn) si y slo si para cualquier k entero no negativo y cualquier combinacin lineal de derivadas parciales de f (x ) , es decir, Pf (x ) , ,

siendo 2x 2 la norma eucldea de x 0Rn .Por ejemplo, las funciones de C4 ( funciones infinitamente derivables ) con soporte compacto, Cc4 , estn en S(Rn) Acudiendo a las coordenadas polares [ r=(p2+z2)1/2 ; N=2+arc tg (z/p) ] , resolviendo el valor de p y empleando el jacobiano de la transformacin, se llega precisamente al valor de G(h,2) . Es decir, se ha demostrado que:

1 [RT (g) ]=2 [g]

Por ltimo, tomando la transformada inversa de Fourier bidimensional, obtenemos el mtodo prctico deseado para la inversin de la RT: RT -1=2 -1 1 En la siguiente figura se ilustra esta relacin.

Transformada de Radn. Pgina 9

Figura 3.22: Relacin entre las transformadas de Radon y de Fourier.

Ejemplo 3.14: Aplicacin de la demostracin anterior ( 2 [g] = 1 [R] ). Sea Y su RT es sta: . Su forma polar es: .

Ntese que f 0 S(R2) . La transformada de Fourier bidimensional de la imagen original suele calcularse usando las coordenadas cartesianas, dado que x e y son separables en la imagen original. Obtenemos lo siguiente:

Operando......

Transformada de Radn. Pgina 10

Llamando (T,2)=G(T,2) .

y expresando F(u,v ) en coordenadas polares, obtenemos que [1 (R)]

MTODO CONVOLUCIONAL DE CREACIN DE IMGENES A PARTIR DE PROYECCIONES

Los mtodos de Fourier son importantes por proporcionar un mtodo alternativo de inversin de la RT. Estos mtodos, adems, permiten comprender el mtodo convolucional de inversin. Empleando la metodologa R2, es necesario realizar una diferenciacin seguida de una transformacin de Hilbert. Sin embargo, en la prctica, se conoce una funcin R(p,2) y es necesario encontrar una imagen f (x ,y) tal que RT [f ]=R. De ah que sea esta funcin R la que debe ser derivada. Pero la diferenciacin es un proceso no recomendado debido a su sensibilidad al ruido y a otras perturbaciones. El mtodo convolucional evita esta diferenciacin y la transformacin de Hilbert . Veamos el proceso: Sea R(p,2) la funcin de proyeccin. Entonces, con los dos primeros pasos de la metodologa R2 ( diferenciacin y transformacin de Hilbert ) se llega a la siguiente expresin ( Ver definicin de transformada de Hilbert en apartado 3.7 ):

Sea F(u,2) la transformada de Fourier de R(t ,2) con respecto a la primera variable. Entonces, . La transformada de Fourier de g(x ,2) es G(u,2)=u F(u,2)

(-1) sgn(u) . Reescribimos esta ltima expresin como sigue: G(u,2)=F(u,2) (-1) u sgn(u) . De esta forma, se puede deducir que la expresin de g es una convolucin de f con la transformada inversa de Fourier de (-1) u sgn(u). Es decir, g(x ,2) = R(x ,2)A -1 [(-1) u sgn(u)] , siendo

Transformada de Radn. Pgina 11

Sin embargo, existe un problema con esto, ya que la transformada de Fourier de

no

existe en sentido estricto. Es ms, muchas de las manipulaciones precedentes han sido llevadas a cabo sin una justificacin apropiada. No obstante, bajo ciertas condiciones de R, una leve modificacin del mtodo har que esta aproximacin sea rigurosa. Supongamos entonces, que R(t ,2) est limitada en banda en la variable t ; es decir, su transformada de Fourier est acotada. Entonces, F(u,2) vale 0 para *u*>a. En este caso, G(u,2) vale tambin 0 para *u*>a. Consideremos la funcin Q(u):

As, G(u,2)=F(u,2)AQ(u), que es exactamente como la expresin G(u,2) anterior. Sin embargo, R(A,2) viene dada por -1 [F(u,2)]. Esta inversin de Fourier proporciona la siguiente g(t ,2)=R(t ,2)*q(t ) , donde expresin:

Resumiendo, cuando las proyecciones est limitadas en banda, los dos primeros pasos de la metodologa de inversin ya citada pueden sustituirse por una convolucin en la que intervienen la proyeccin R(t ,2) y la anterior funcin q(t ).

Por ltimo, veamos la RT de una imagen:

Transformada de Radn. Pgina 12

Figura 3.23: A la izquierda, imagen original; a la derecha, su RT.

SNTESIS
* La RT implica evaluar integrales de una imagen extendidas a lo largo de rectas. * La RT es lineal. * La RT , con la ayuda de la transformada de Fourier, permite crear imgenes a partir de proyecciones ( 1 [RT (A )] = 2 [A ] )