De c

omo la matem
atica comenz
o a mirar dentro del cuerpo humano

De como la matematica comenzo a mirar dentro

del cuerpo humano

Guido R. Baez

UNCPBA

14-07-16
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Motivacion
La Tomografa Computada es una modalidad del diagnostico por
imagenes que permite explorar el interior del cuerpo mediante la
emision de rayos X desde una fuente, atraviesa el cuerpo que se
desea observar, y finalmente se obtiene una medida (proyeccion)
sobre un detector.

Figura: Tom
ografo comercial
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Motivacion
Consideraciones

1 El objeto radiado absorbe y dispersa parte de los rayos X.

2 Cada material lo hace de manera distinta
3 Estan caracterizados por el llamado coeficiente de atenuacion

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Motivacion
Supuestos

Y asumiendo que:
1 Los rayos viajan en lnea recta
2 Al interactuar con la materia, los rayos X se aten
uan, es decir,
su intensidad decrece, excepto cuando interact uan con el aire.
3 Cada material esta caracterizado por su coeficiente
4 La intensidad I de cada haz de rayos decrece mediante la
siguiente ley:
dI
ds

I
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Motivacion

Si px, y q  f px, y q, entonces

dI
ds

f px, y qI
Si l es la trayectoria del haz, entonces
I
dI

f px, y qds
1

I0 I l

Finalmente 

log
I 0
I1
 f px, y qds
l
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Motivacion
Conociendo las proyecciones, es posible conocer que funcion ()
las produjo? De ser posible, podramos ver que hay en el interior
del cuerpo.

Figura: Esquema de tomografa

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Para las aplicaciones

Dados t P R, g : R2 R funci on integrable, y

w  pcos pq, sinpqq, P r0, 2 q, la lnea definida por t, y la
proyeccion de g dados t, como
(
 px, y q P R2 : x cospq
lt, y sinpq  t

R tg u pt, q  gds
lt,
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Para las aplicaciones

Ejemplos para t  4,  3

f(x)=exp(x,y,(x 2 +y 2 ))

-7
10
1.2

0.8

z
0.6

0.4

0.2

0
15
10 10
5 5
0
y 0
-5
-5 -10 x

Figura: Ejemplo de recta lt,

Figura: Curva sobre la recta lt,
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Para el caso general

Sin embargo, haremos las demostraciones para el caso general,

salvo que explicitemos lo contrario, en cuyo caso la notacion que
utilizaremos es:

Sn
1  tx P Rn : ||x ||  1u

De manera que, dados t P R y w P Sn
1, definimos el hiperplano

Ht,w  tx P Rn : x.w  t u
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Para el caso general

La proyeccion de una funcion f : Rn R sobre la linea Ht,w

resulta
R tf u pt, w q  fd
Ht,w

Y, si tenemos un conjunto de vectores v1 , v2 , . . . , vn
1 de manera

que w , v1 , v2 , . . . , vn
1 sea una base ortonormal, se puede mostrar
que:
(
Ht,w  x P Rn : x  tw s1 v 1  sn
1 vn
1 , s1 , s2 , . . . , sn
1 P R2
con la propiedad
Ht,w  H
t,
w
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Para el caso general

Y si la funcion f es integrable sobre la lnea Ht,w se tiene que:

fd  f ptw s1 v 1  sn
1 vn
1 qds1 ds2 . . . dsn
1
Ht,w R n
1
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Ejemplo

Para ver como se interpreta este resultado en el caso bidimensional.

Si w  pcospq, sinpqq, P r0, 2 q buscamos un vector linealmente
independiente, por ejemplo v1  p
sinpq, cospqq y t es la
distancia de la recta lt,  Ht,w al origen.

Figura: Ejemplo de recta Ht,w

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Ejemplo

Entonces la proyeccion es
8
fds  f ptw sv1 qds
lt,

8
8
 f pt cospq
s sinpq, t sinpq s cospqqds

8
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Multi-ndice

Sea x P Rn . Un multi-ndice  p1 , . . . , n q es una n-upla de

n
umeros enteros no negativos. Donde usaremos la siguiente
notacion:

x  x1 x2 1 2
. . . xnn
n
||  j

j 1
| |
D  Bx BxB . . . Bx
1 2 n
1 2 n
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Multi-ndice. Ejemplo

Consideremos los multi-ndices 1  p1, 2, 1q y 2  p2, 1, 0q

x p1,2,1q x11x22x31 x p2,2,0q

 x12x22x30  x12x22
n n
|1|  j  4 |2|  j  4

j 1 
j 1

 Bx 1BBx 2Bx 1  BxB2Bx 2

4 4
D 1 D 2
1 2 3 1 2
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Espacios de Schwartz

Si y son multi-ndices y f P C 8 pRn q definimos la semi-norma

||f ||, como
||f ||,  sup |x D f px q|
P
x Rn

Se define, entonces, el espacio de Schwartz SpRn q como:

SpRn q  tf P C 8pRn q : ||f ||, 8, u

para todos , multi-ndices. Este espacio esta caracterizado por
tener funciones tales que ellas y sus derivadas son de decrecimiento
rapido.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Notacion
Espacios de Schwartz. - Ejemplo

Si consideramos la familia de funciones

n  x n expp
x {2q
Para n  0 tenemos la funci
on gaussiana. Se puede mostrar,
haciendo algunas cuentas, que n P SpRn q
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Estructura de la resolucion del problema de la Tomografa

El problema de Tomografa se puede dividir en tres subproblemas:

1 Dado R tg u pt, q, @t P R y P r0, 2 q. Es posible recuperar f
de manera unica, y dar una expresi on en terminos de las
proyecciones.
2 Estudiar la recuperaci
on de f conociendo las proyecciones
para todo t, real, pero para una finita cantidad de angulos
3 Determinar condiciones para decidir si una coleccion de
proyecciones tP0 pt q, P1 pt q, . . . , Pn
1 pt qu proviene de alguna
funcion.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon

Definicion
Si t P Rn , w P Sn
1 y f P SpRn q definimos la transformada de
Radon (TF) de f por:

R tf u pt, w q  fd
Ht,w
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Buena definici
on

Como f P SpRn q, para todos s1, s2, . . . , sn P R

(
sup p1 s12    sn2
1qn |f ptw s1v1    sn
1 vn
1 q| C
s1 ,s2 ,...,sn
1
(1)
con C 8. Por lo tanto:
|f ptw s1 v 1  sn
1 vn
1 q|
p1 s12
C
 sn2
1 qn
(2)

luego, f es integrable.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Ejemplo

Sean t P R, w P Sn
1. La funcion que proyectaremos es

f px q  expp
||x ||2 q

Si w , v1 , v2 , . . . , vn
1 forman una base ortonormal de Rn , entonces

R tf u pt, w q  expp
t 2 s12  sn2
1 qds1 ds2 . . . dsn
1
Rn
1

n
1
 expp
t 2
q expp
s qds
2
Rn
1


 expp
t 2 q
n 1
2
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Ejemplo

Proyeccines para w=3/2 Proyecciones para w=

1

0.8

-10 0.6

R f (t)
-5
0.4
0
0 0.2
0.2
0.4 5 t
0.6
0.8 0
1 10 -10 -8 -6 -4 -2 0 2 4 6 8 10
t
R3/2 f (t)

Proyeccines para w=0 f(x)

1
f(x)=||x2 ||
-10
0.5

0
-5
10
0
t

0
5 x1
-5

10 -10
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
10 8 6 4 2 0 -2 -4 -6 -8 -10
R0 f (t)

x2

Figura: Transformada de Rad on f px q  ||x ||2 para los

on de la funci
angulos w  0, 2 , 2
3
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Propiedades

1 (Linealidad) Si f , gP SpRn q y c P R
R tcf g u  cR tf u R tg u

2 (Simetra) Para todo t P R y w P Sn
1

R tf u pt, w q  R tf u p
t,
w q
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Propiedades

Fijando w P Sn
1 , podemos definir el operador

Rw : SpRn q SpRn q como

Rw tf u pt q  R tf u pt, w q

Rw tf u pt q es la proyecci
on de f en la direcci
on w
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Propiedades

Teorema
Si f P SpRn q, Rw tf u P SpRn q
Proof.
Dado que f P SpRn q, para todo k y m enteros no negativos y para
todo t P R es cierto que:
!
sup p1 |t |k qp1 s12  s n
1 q
t,s1 ,...,sn
1 PRn
m
*
| dtd m f ptw  sn
1 vn
1 q| C 8
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Propiedades

Proof (Cont).
Entonces:
dm
dm
|t k R w tf u|  |t k f ptw  sn
1 vn
1 qds1 . . . dsn
1 |
dt m dt m
Rn
k
C |t|
p1 s12
1
 sn2
1 q
ds1 . . . dsn
1
1 |t|k Rn
CM
8
Tomando el supremo sobre k y m, se tiene el resultado.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Fourier

Sea f P SpRn q definimos la Transformada de Fourier (TF) de f

como:
f p q 
p2qn{2 Rn f px q expp
ix qdx
1

y la transformada inversa

fpx q  f p q exppix qd
1
p2qn{2 Rn

En SpRn q la TF es una aplicaci

on biyectiva.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Fourier
Su relaci
on con la Transformada de Rad
on

Teorema (central de los cortes)

Si r P R, w P Sn
1 y f P SpRn q entonces
R{
w tf upr q  p2 q f prw q

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Fourier
Su relaci
on con la Transformada de Rad
on

Proof.
Usando los resultados anteriores sabemos que Rw tf u P SpRn q para
todo w P Sn
1 de manera que podemos aplicar la TF, es decir:
8
R{
w tf upr q  ?1 Rw tf u pt, w q expp
irt qdt
2
8  
8


n 1
 ?1
f tw sj v j expp
irt qds1 . . . dsn
1
2
8 Rn
1 
j 1

 ?1 f px q expp
i prx q  w qdx

2 Rn
 p2q
fprw q
n 1
2
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Fourier
Su relaci
on con la Transformada de Rad
on

Corolario
Si f P SpRn q y se verifica que R{
w tf upr q  0 para todo
r P R, w P Sn
1 , entonces f  0

Proof.
Se deduce del resultado anterior y la biyectividad de la TF.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
F
ormula de inversi
on

Teorema (Formula de inversi

on de Rad
on)
Si f P SpRn q, entonces f tiene una representaci
on integral de la
forma:
8
f px q  R{
w tf upr q exppirx  w q|r |
n
1
1
drdw
2p2 qn
2 Sn
1
8
1
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
F
ormula de inversi
on de Rad
on

Proof.
Usando la formula de la antitransformada de Fourier

f px q  fp q exppix  qd
1
p2q n
2 Rn

Mediante el cambio de variables  rw en coordenadas esfericas

(  pr cospq, r sinpqq en R2 , por ejemplo). Entonces
8
f px q  fprw q exppirxw qr n
1 drdw
1 1
p2q n
2 2 Sn
1

0
8
 R{
w tf upr q exppirxw qr
n
1
1 1
p2q p2q

drdw
Sn
1
n n 1
2 2 0
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
F
ormula de inversi
on

Proof (Cont).

8
 R{
w tf upr q exppirx  w q|r |
n
1
1
drdw
2p2 q
2

8
1
n Sn 1

Lo que nos sugiere el siguiente algoritmo

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Algoritmo

1 Para cada w P Sn
1, calcular la TF de las proyecciones Rw tf u

2 Calcular la integral radial de la expresi
on
8
pR q tf u pt, w q  R{
w tf upr q exppirt q|r |
n
1
1
dr
2
8
3 Finalmente, se recupera f mediante la expresion

f px q  pR qf px  w , w qdw
1
p2qn
1{2 Sn
1
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Si n es impar, podemos simplificar el resultado mediante el

siguiente:
Teorema
Si n  2k P N y f P SpRn q entonces
1, k

p
1 qk

f px q 
2p2 q2k S

pRw tf uqp2k qpx  w qdw
n 1

donde .p2k q representa la derivada 2k
esima.

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Proof.
Usando la propiedades de la derivada de la TF
 {

r 2k R{
w tf upr q  p
1qk dtd 2k Rw tf u pr q
2k

on y, definiendo, A 
la formula de inversion de Rad 1
p q2k
2 2
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Proof (Cont).

8
f px q  ?A r 2k R{
w tf u exppirx  w qdrdw
2
8

Sn 1
8  {

 A ? 1
p
1q dt 2k Rw tf u exppirx  w qdrdw
k
d 2k
Sn
1 2
8

 Ap
1qk pRw tf uqp2k qpx  w qdw


S
n 1

p
1q
 2p2q2k
k
pRw tf uqp2k qpx  w qdw


Sn 1
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Transformada de Radon
Ejemplo

Dados t P R y w P S2, consideremos la funcion proyeccion

R tf u pt, w q  expp
t 2 q
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Calculamos la derivada segunda (usando el hecho que la dimension

del espacio es impar)

d2
dt 2
 p4t 2
2q expp
t 2q
Y, usando el resultado recien obtenido

f px q 
81 p4px  w q2
2q expp
x  w q2dw
2
S2


81 p4px  w q2
2q expp
x  w q2 sinpqdd

0 0

Donde w  pcospq sinpq, sinpq sinpq, cospqq

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Haciendo las cuentas, se tiene

2
f px q 
81 p4||x ||2 cos2pq
2qe p||x || cos pqq sinpqdd
2 2

0 ||x ||0
 2||1x || p4u2
2qe
u du2

0
 e
||x || 2

Mediante el cambio de variable u  ||x ||cos pq

De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

1 Hemos dado condiciones para recuperar una funcion a partir

de sus proyecciones, tal como se hace en tomografa
computada.
2 En la practica se utilizan implementaciones que discretizan las
expresiones obtenidas.
3 No se tienen infinitas proyecciones, sino que se toma una
cantidad finita.
De c
omo la matem
atica comenz
o a mirar dentro del cuerpo humano

Muchas gracias.