1

UNIVERSIDADE FEDERAL DE SERGIPE

E PESQUISA
PRO-REITORIA DE POS-GRADUA
cAO
DE PESQUISA
COORDENA
cAO

Programa Institucional de Bolsas de Inicia

c
ao Cientfica
(PIBIC) -UFS

Introdu
c
ao `
as Transformadas de Fourier
e Radon

Bolsista: Carlos Henrique Souza Santos

No Matrcula: 201210000226

Orientador(a): Eder
Mateus de Souza
Departamento de Matem
atica-DMAI

Relatorio Final- Perodo agosto de 2014 a julho de 2015

RESUMO

O projeto de pesquisa: Introduc

ao `
as Transformas de Fourier e Radon foi desenvolvido entre os meses de agosto de
2014 e julho de 2015, onde foi estudada a teoria da analise de Fourier na forma generalizada, motivada inicialmente
para resolver problemas nos quais os metodos elementares conhecidos ate o seculo XVIII eram insuficientes em
solucionar problemas da Mec
anica do Continuo e de outros ramos da fsica que eram envelopados de serias dificuldades matem
aticas em sua resoluc
ao. A transformada de Fourier e uma ferramenta muito importante no estudo
da transformada de Radon, embora `
a principio nao estejam diretamente relacionadas. A forma generalizada da
Transforada de Radon e definida e estudada como sendo um mapeamento dos espacos de funcoes e sua formula
inversa e representada em termos de Transformada de Fourier no seu domnio, que tambem ajuda-nos a caracterizar
o intervalo onde a Transformada se aplica.

PALAVRAS CHAVES: Transformada de Radon, Transformada de Fourier.

Introdu
c
ao

As Equac
oes Diferenciais comecaram a ser estudadas com a concepcao do Calculo Diferencial e integral no
seculo XVII, tendo em pauta a modelagem e caracterizacao de fenomenos fsicos, que devido ao uso de leis fsicas,
possibilitou-se obter Equac
oes Diferenciais Ordinarias que representasse tais fenomenos de estudo. Ao tratarem
esses problemas utilizando o C
alculo Diferencial encadeou uma enorme animacao aos fsicos e matem
aticos do
seculo XVIII em procurar modelos para imperfeicoes da epoca como por exemplo os problemas da Mec
anica do
Contnuo e de outros ramos da fsica. No entanto as equacoes resultantes, sendo equacoes diferenciais parciais,
veem envelopadas de serias dificuldades matematicas em sua resolucao.
No final do seculo XVIII muitos metodos elementares que elucidam a solucao de Equacoes Diferenciais Ordin
arias
j
a haviam sido descobertos.
Mas esses metodos eram insuficientes para solucionar algumas equacoes resultantes, equacoes essas que s
ao:
A existente no problema das vibrac
oes transversais de uma corda, a posicao u(x, y) de um ponto x da corda,
num instante t, deve satisfazer `
a equac
ao das ondas.
utt = c2 uxx

(1.1)

No problema da conduc
ao do calor de uma barra, a temperatura u(x, y) do ponto x da barra, no instante t,
deve satisfazer `
a equac
ao do calor.
ut = kuxx

(1.2)

E a do problema do equilbrio de uma membrana sob a acao de certas forcas. Obtem-se que uma certa func
ao
u(x, y) deve satisfazer `
a equac
ao de Laplace em uma regiao do plano (x, y), sendo esta equacao a descrita abaixo.
uxx + uyy = 0

(1.3)

Ao incio do seculo XIX, Joseph Fourier resolve o problema da equacao diferencial parcial que descreve a
distribuic
ao de calor em uma barra atraves de series trigonometricas. Essas series de Fourier mostraram-se muito
eficaz para resolver diversos outros tipos de equacoes parciais lineares, mas estudos rigorosos de sua convergencia
levou ao desenvolvimento das func
oes e de novas teorias de integracao. Muitas outras equacoes diferenciais parciais
foram estudadas a medida que se tornou claro o seu papel nas diversas areas da ciencias exatas. E com isso, muitas
func
oes, soluc
oes de certas equac
oes diferenciais comecaram a aparecer em diversas situacoes.
Para esses problemas, a obtenc
ao de solucoes satisfazendo, alem da equacao diferencial tambem atendesse
a certas condic
oes iniciais ou condic
oes de fronteiras e uma tarefa bastante difcil. Da que surgiu o metodo
de resoluc
ao desse tipo de problemas conhecido como o metodo de Fourier, o qual consiste em duas etapas. Na
primeira obtem-se uma famlia de soluc
oes da Equacao Diferencial Parcial que satisfazem a uma parte das condic
oes
de fronteira, utilizando-as para compor a solucao do problema como uma serie cujos termos sao produtos dessas
soluc
oes do problema como uma serie cujos termos sao produtos dessas solucoes por coeficientes adequadamente
escolhidos, e essa escolhas de coeficientes faz parte do que denominamos Analise de Fourier.
Em meados do seculo XX, alguns matematicos procuravam uma forma de como obter uma funcao f(x,y), n
ao
observ
avel diretamente, a partir de suas projecoes medidas sobre o plano, esse problema serviria posteriormente
em interesses de diversas
areas como: diagn
ostico por imagem, optica, interferometria holografica, geofsica, radioastronomia, cristalografia, microscopia, ciencia dos materiais e tambem na matematica pura.Tomando como base o
problema da reconstruc
ao de func
oes a partir das suas projecoes um matematico austraco chamado Johann Radon,
pioneiro no estudo desse caso solucionou o problema. Baseando-se num metodo que consistia em calcular a integral
de uma func
ao sobre linhas retas.
Radon demonstrou em 1917 como reconstruir uma funcao de duas variaveis a partir de suas integrais (de
linha) sobre todas as linhas retas de um plano, generalizando tambem seus resultados obtidos de forma a permitir

a reconstruc
ao a partir de linhas curvas, e tambem expandiu suas definicoes para dimensoes maiores, a fim de
permitir a reconstruc
ao de func
oes com n variaveis a partir de suas projecoes em todos os hiperplanos.
Assim como muitas coisas em matem
atica, ou de um modo mais geral em ciencias, sao estudas `a primeiro
momento porque s
ao no minimo interessantes, e a curto prazo pode vir a ter aplicacoes ou nao. Foi isso que
aconteceu a ilustre teoria de Radon, que permaneceu esquecida por quase 50 anos. A ideia de se conseguir metodos
n
ao invasivos que explorem as propriedades de um objeto e possivelmente descobrir quem e o objeto e algo que
pairava no ar desde os trabalhos de Hendrik Lorentz, Paul Funk e Hermann Minkowski. Engajados nestas ideias,
, Johann Radon mostrou ser possvel recuperar uma dada funcao, o objeto, a partir do conhecimento de certos
tipos de projec
ao. Nas decadas de 60 e 70, de forma independente, e sem conhecer o trabalho de Radon, Ronald
Bracewell, na
area de radio-astronomia, e Allan Cormack e Godfrey Hounsfield, na area de radiologia, obtiveram
as mesmas ideias e teoremas de reconstruc
ao de um objeto dadas as suas projecoes. Em particular nesta segunda,
estes dois pesquisadores construram o primeiro tomografo baseado em Raios-X e ganharam o Premio Nobel de
Medicina em 1979 por estes trabalhos. Desde entao, multiplicaram-se as formas de reconstrucao de imagens, com
uma utilizac
ao cada vez mais eficiente das tecnicas de areas como a Analise Harmonica e a Geometria Integral,
em particular atraves da Transformada de Radon, e com isso a realizacao de imagens medicas, como a Tomografia
Computadorizada, est
a se tornando cada vez mais rapidas e detalhada.
Como esta revis
ao bibliogr
afica e de carater matematico, aqui vamos dar enfase em procurar entender as
propriedades dessas transformadas e a relac
ao existente entre elas.
Visando o estudo de conceitos e propriedades das Transformadas de Fourier e Radon, foi desenvolvido

o projeto de pesquisa Introduc

ao `
as Transformadas de Fourier e Radon, elaborado pelo Doutor Eder
Mateus
de Souza, professor da UFS. O presente relatorio e composto por introducao, revisao da literatura, metodologia,
resultados e discuss
ao, conclus
oes e referencias bibliograficas.

Revis
ao da Literatura

Como poder
ao ser verificadas em todo o relatorio, as principais fontes utilizadas na execucao do projeto
Introduc
ao `
as Transformadas de Fourier e Radonforam no que se refere a An
alise de Fourier as obras b
asicas:O
envolvente livro An
alise de Fourier e equa
c
oes diferenciais parciais do Djairo Guedes de Figueiredo
juntamente com o livro An
alise de Fourier do Hwei P.Hsu que me deram uma nocao basica do que se trata
a Transformada de Fourier, os espacos em que ela esta bem definida e algumas propriedades basicas importantes.
Que facilitam a soluc
ao de alguns problemas e dao suporte outras `a outras Transformacoes matematicas, como e o
caso da Transformada de Radon.
Da modo semelhante nota-se que as principais fontes adotadas na realizacao do projeto no que se trata
da parte referente `
a Transformada de Radon foram: o artigo Introdu
c
ao `
a Transformada de Radon de
Ant
onio S
a Barreto com suas notas de aula de um mini-curso que foi parte do Symposium on Spectral and
Scattering Theorye o livro The Radon Transform do Sigurdur Helgason 2o edi
c
ao(1999)
A primeira parte a ser estudada foi muito importante na compreensao dos espacos onde as transformac
oes
estudadas est
ao bem definidas, e isso foi feito utilizando notacoes e terminologia no Rn . Ja o segundo tema abordado
serviu para possibilitar um primeiro contato como um assunto de grande interesse na matematica que comecou a
ser desenvolvido no seculo XX, tendo como um dos ramos de interesse o desenvolvimento de tecnicas de equac
oes
e derivadas parciais e de geometria integral. Podendo tambem despertar o interesse de muitos pesquisadores em
diversas
areas.
Finalmente, acredito que n
ao seja relevante mencionar aqui outros materiais utilizados, uma vez que estes
ser
ao apresentados no final onde e apresentada a bibliografia de todos os recursos.

Metodologia

Ser
a apresentado nesta sec
ao os conte
udos que foram estudados no decorrer da pesquisa, citando aproximadamente
a ordem do que foi pesquisado e o que estudado no decorrer de cada mes, bem como a fontes utilizada. Tambem
ser
a comento sobre as dificuldades encontradas o durante o desenvolvimento desse projeto de pesquisa.
O nosso trabalho teve incio no mes de agosto de 2014, com o estudo intensivo de alguns conceitos b
asicos da
An
alise de Fourier, objetivando se aprofundar `a temas relacionados e dependentes da forte ferramenta matem
atica,
pretendendo aplic
a-los de forma coerente com o que viria a ser estudado em outro momento.
Inicialmente baseado no livroAn
alise de Fourier do Hwei P. Hsu , foram estudados brevemente conceitos
triviais como periodicidade de func
oes, representacoes de funcoes por series trigonometricas assim como a determinac
ao dos coeficientes que a comp
oe, tambem foi dado atencao ao estudo da convergencia estabelecidos pelas
Condi
c
oes de Dirichlet, logo ap
os isso foi iniciado o estudo da Integral de Fourier ou Transformada de Fourier
como preferir, juntamente com sua operac
ao inversa. Mas toda esse apanhado de informacoes obtido resultou apenas em manipulac
oes matem
aticas sob a reta real (R), ou seja suas operacoes eram do tipo f : R R, a partir da
buscou-se conjuntos de func
oes mais gerais que fossem munidos de propriedades e condicoes mais elegantes. Em
um outro momento da pesquisa foi indicado uma nova referencia que foi o livroAn
alise de Fourier e equa
c
oes
diferenciais parciais do Djairo Guedes de Figueredo.
A partir dessa nova referencia pude explorar novas classes de funcoes que possuem condicoes adicionais mais
delicadas, munidas de definic
oes mais adequadas e bem mais difceis de se trabalhar do que o espaco ja estudado
que possua as func
oes f : R R. Essas novas classes serao definidas no pressuposto teorico em companhia de
algumas proposic
oes e teoremas, que servir
ao de suporte para o outro tema estudado, que e a Transformada de
Radon, cuja sua inversa e calculada com a utilizacao da Transformada de Fourier nos espacos mais bem definidos
sugeridos na segunda referencia que o professor indicou.
Os conte
udos acima foram discutidos em reunioes, geralmente semanais e as d
uvidas foram sanadas durante
esses encontros. A maioria das d
uvidas eram recorrentes da generalizacao apresentada nos livros e artigos adotados,
devido `
a linguagem carregadas de termos matematicos ate etao desconhecido por mim e tambem dos artifcios
matem
aticos nas demonstrac
oes dos teoremas.

Fundamenta
c
ao Te
orica e Resultados

4.1
4.1.1

Analise de Fourier
Serie de Fourier

A serie de Fourier, nomeada em homenagem ao fsico-matematico frances Jean Baptiste Fourier (1768-1830), e
uma forma de representac
ao de uma func
ao periodica f (t) como uma soma de funcoes trigonometricas elementares
(Senos e Cossenos).
Defini
c
ao 4.1. Uma func
ao f : R R e peri
odica de perodo T se f (t + T ) = f (t) para todo t
Tal func
ao e representada de acordo com a equacao abaixo:
f (t) =
Onde, wo =

X
1
a0 +
an cos(nwo t) + bn sen(nwo t)
2
n=1

(4.4)

2
T

Defini
c
ao 4.2. Uma sequencia de func
oes (fn (t)) com n indo de 1 ate definida em um conjunto D e dita
convergir uniformemente se existe uma func
ao f : D R tal que para todo  > o, existe um N tal que: |fn (t)
f (t)| < , t D e n N

Proposi
c
ao 4.1. Suponhamos que as func
oes un sejam continuas e que a serie
P
Ent
ao a soma da serie u(t) = n=1 un (t) e tambem e uma func
ao contnua.

n=1

un (t) convirja uniformemente.

Proposi
c
ao 4.2. Suponhamos que as func
oes un sejam integr
aveis em um intervalo I e que a serie
R P
P R
convirja uniformemente. Ent
ao I n=1 un (t)dt = n=1 I un (t)dt

n=1

un (t)

Proposi
c
ao 4.3. Suponhamos que as func
oes un (t) definidas em um intervalo I sejam continuamente deriv
aveis
P
e que a serie n=1 un (t) das derivadas convirja uniformemente. Suponhamos ainda que, para um dado t0 I, a
P
P
P d
d
serie n=1 un (t0 ) convirja. Ent
ao dt
n=1 un (t) =
n=1 dt un (t)
Para descobrir os coeficientes da Serie de Fourier, e garantido que a serie convirja uniformemente e observando
como consequencia da Proposic
ao (4.1) e e garantido tambem que funcao f pode ser integrada ou derivada devido
as proposic
oes (4.2) e (4.3) respectivamente, portanto os coeficientes que compoes a serie apos alguns artifcios
matem
aticos s
ao representados logo abaixo.
a0 =
1
T

1
bn =
T

an =

4.1.2

1
T

f (t)dt

(4.5)

f (t)cos(nw0 t)dt, n > 0

(4.6)

f (t)sen(nw0 t)dt, n > 1

(4.7)

T
T

Transformada de Fourier

Como explicado anteriormente a Serie de Fourier pode representar funcoes periodicas atraves de um somat
orio
infinito de senos e cossenos. Existe uma ferramenta matematica conhecida como Transformada de Fourier que
possibilita seu estudo em relac
ao a contribuicao de cada uma das funcoes base, senos e cossenos. Em outras
palavras a transformada de Fourier e uma operacao matematica que permite alterar o domnio da func
ao `
a ser
estudada para do domnio da frequencia.
Defini
c
ao 4.3. Dada uma func
ao f : R R a Transformada de Fourier e definida pela express
ao:
Z
1
F[f ]() = F () =
eit f (t)dt
2

(4.8)

A express
ao (4.8) envolve uma integral impr
opria, que deve ser entendida no seguinte sentido:
Z

eit f (t)dt =

eit f (t)dt

lim

M,N

(4.9)

onde M eN tendem independentemente para o infinito. E essa tendencia de forma independente do M eN acontece
para evitarmos situac
oes indesej
aveis como est
a abaixo:
Z

tdt = lim

tdt = 0

(4.10)

Ou seja, queremos explicitar que neste caso a integral impr

opria n
ao existe. Dai surge o seguinte questionamento:
Que tipo de func
oes f , devemos considerar para que as integrais no segundo membro da equac
ao (4.9) exista?
A
Princpio ser
a exibido a classe de func
oes em que a func
ao (4.8) est
a bem definida e que contem a maior parte das
func
oes aplic
aveis. A conclus
ao que tiramos do significado da boa definic
ao de (4.8) e que para cada , a integral
converge para um n
umero, e assim, temos uma func
ao F definida em R. Dizemos que F est
a nessa classe se obedece
aos seguintes criterios.

7
i - f e seccionalmente contnua em cada intervalo [M, N ], sendo que isto implica que a func
ao eit f (t) e
limitada e integr
avel em cada intervalo [M, N ].
R
ii - |f (t)|dt < , est
a condic
ao implica que o limite em (4.9) exista, bastando observar que, dado > 0,
existe K > 0, tal que
Z
|f (t)|dt < ,

(4.11)

|t|>K

e que,
 Z
Z




it
|f (t)dt|
e
f (t)dt

 |x|>K

|x|>K

(4.12)

Defini
c
ao 4.4. O conjunto de func
oes f : R R tais que as integrais impr
oprias de f e |f | existem e chamado
1
de espaco L (R)
O (Teorema 4.4) nos diz de forma breve que para que cada funcao no espaco seja um funcao L1 (R) e necess
ario
que f e |f | sejam integr
aveis em cada intervalo [M, N ] e que os limites abaixo existam.
Z N
Z N
lim
f (t)dt e lim
|f (t)|dt
(4.13)
M,N

M,N

Portanto se f for seccionalmente contnua em cada intervalo [M, N ] e se o segundo limite de (4.13) existir,
a func
ao ser
a L1 (R).
apropriado trabalhar com o espaco L1 (R), pois a Transformada de Fourier nele resulta em algo com
Obs: E
melhores propriedades.
Func
oes tomando o espaco complexo s
ao inevitaveis, a propria F () e assim. Portanto e comum trabalhar
com func
oes f : R C. Se f for ua tal func
ao ela podera ser escrita na forma f (t) = u(t) + iv(t) , onde u e v ser
ao
sua parte real e imagin
aria respectivamente. Entao baseado na funcao reescrita da forma acima a funcao f : R
C e dita uma func
ao L1 (R) se suas partes real e imaginaria e |f | que sao funcoes de R R, forem L1 (R) no sentido
definido acima.
A partir dessa ideia citada anteriormente obtemos uma nova definicao de Transformada de Fourier.
Defini
c
ao 4.5. Se f : R C for uma func
ao L1 (R), sua Transformada de Fourier F : R C ser
a definida pela
express
ao abaixo:
1
F () =
2

eit f (t)dt

(4.14)

Defini
c
ao 4.6. Seja : E [, ] uma func
ao simples:
(t) =

n
X

ak XEk (t)

(4.15)

k=1

Diz-se que (t) e Integr

avel `
a Lebesgue em E se:
n
X

|ak |(Ek ) <

(4.16)

k=1

ficando bem convencionado que, +.0 = .0 = 0. + = 0. = 0, ent

ao denotamos a integral de Lebesgue
na equac
ao abaixo:
Z
n
X
(t)d =
ak (Ek )
(4.17)
E

k=1

Defini
c
ao 4.7. Uma func
ao f continua num espaco qualquer e dita ter um suporte compacto, se existir um intervalo
fechado K, tal que f (t) = 0, para todo t fora de K.

Obs*: Se existir a possibilidade de usar a Integral de Lebesgue a definicao em (4.14) pode ser Tratada por
toda func
ao L1 (isto e, func
oes Integr
aveis a Lebesgue), com as integrais entendida no sentido a Lebesgue.
Obs**:Usando a integral de Lebesgue podemos trabalhar com L1 em vez de L1 , onde L1 e o espaco de func
oes
integr
aveis `
a Lebesgue em R, tendo a vantagem de que L1 L1 , onde L1 e um espaco vetorial normado de norma
k.k1 e nessa norma, ele e completo e rico em propriedades.
Sabendo-se que dada uma func
ao f em L1 , nao segue que F[f ] esteja em L1 , incorre-se que essa teoria e um
tanto assimetrica, dai se faz a necessidade de utilizar um conjunto onde as funcoes escolhidas sejam mais adequadas,
e cheio de propriedades. Um bom espaco seria o C0 das funcoes infinitamente diferenciaveis de suporte compacto.
No entanto esse espaco tema desvantagem de que a transformada de Fourier de uma funcao f C0 , n
ao
1
tem em geral suporte compacto. Em virtude disso somos levados `a um outro subconjunto de L , o espaco L das
func
oes de decrescimento r
apido, que e um pouco maior do que C0 e torna a teoria da transformada de Fourier
mais elegante e mais simetrica.
Obs***: O espaco L e comumente conhecido como Espaco de Schwartz.
4.1.3

Transformada de Fourier em L

Defini
c
ao 4.8. Uma func
ao f : R C e de decrescimento r
apido se ela for infinitamente diferenci
avel e se
lim tm Dn f (t) = 0

|t|

(4.18)

para todos m e n inteiros 0, sendo que o conjunto dessas func

oes e caracterizado por L. De uma forma objetiva
satisfazer a equac
ao (4.18) significa dizer que f e suas derivadas v
ao mais r
apido para 0, quando |t| , do que
as potencias xm v
ao pro infinito.
Uma condic
ao equivalente a da equac
ao (4.18) e dizer que dados m, n 0 inteiros, existe uma constante
M (m, n) dependente de m, n tal que
|tm Dn f (t)| M (m, n)

(4.19)

para todo t. Essa condic

ao em (4.19) nos leva a seguinte forma correspondente: dados polin
omios P (T ) e Q(T )
existe uma constante M (P, Q) dependentes desses polin
omios, tal que
|Q(t)P (D)f (t)| M (P, Q)

(4.20)

Proposi
c
ao 4.4. Se f : R C estiver em L, ent
ao Dn f e tm f , para quaisquer n, m 0 inteiros est
ao tambem
m n
em L. Consequentemente t D f est
a em L. E, alem disso, Q(t)P (D)f (t) est
a tambem em L, para quaisquer
polin
omios P (T ) e Q(T ).
Proposi
c
ao 4.5. Toda func
ao de decrescimento r
apido f : R C e uma func
ao L1 .
ao L1 , para todos m, n 0
Proposi
c
ao 4.6. Se f : R C for uma funca
o de L, ent
ao xm Dn f (t) e uma func
inteiros.
Proposi
c
ao 4.7. (Linearidade de F) Se f e g forem funco
es de L, ent
ao F[ f + g] = F[f ] +F[g]
Proposi
c
ao 4.8. Se f : R C for uma func
ao de L, ent
ao F[f ] ser
a infinitamente diferenci
avel e
Dn F[f ] = F[(it)n f (t)]

(4.21)

Mais geralmente, se P (T ) for um polin

omio, ent
ao
P (D )F[f ] = F[P (it)f (t)]

(4.22)

Proposi
c
ao 4.9. Se f : R C for uma func
ao de L, ent
ao
F[Dn f ] = (i)n F[f ],

(4.23)

para todo inteiro n 1. Mais geralmente, se P (T ) e um polin

omio ent
ao
F[P (D)f ] = P (i)F[f ]

(4.24)

Proposi
c
ao 4.10. Se f : R C for uma func
ao de L, ent
ao a transformada de Fourier F : R C ser
a tambem
uma func
ao de L.
De forma resumida as proposic
oes acima mostram que F e um operador linear de L em L.
Teorema 4.1. (A f
ormula inversa da transformada de Fourier) Seja f : R C uma func
ao de L, e seja F () sua
transformada de Fourier, ent
ao,
Z
1
f (x) =
eit F ()d
(4.25)
2
Obs***: A express
ao (4.25) nos motiva a definir um operador F de L em L por:
Z
12
F[g](s) = (2)
eits g(t)dt

(4.26)

claro que esse

tendo em vista que este operador possui propriedades semelhantes `
a Transformada de Fourier. E
caminho de volta `
a func
ao original, antes de passar pelo operador transformada de Fourier s
o e possvel gracas a
sua injetividade e sobrejetividade,que torna a transformac
ao invertvel.
Teorema 4.2. F : L L e um operado linear, injetivo(i.e., F[f ] = 0 implica que f = 0), sobrejetivo(i.e.,
F[L] = L) e F 1 = F
Obs4 : Neste relat
orio foram adotadas notacoes diferentes em algumas definicoes que se referem das convenc
oes
usuais da Transformada de Fourier adotadas na linguagem universal da literatura matematica.
Ao lidarmos com Transformada de Fourier temos a possibilidade de trabalharmos com espacos mais amplos,
um exemplo disso e o tradicional Rn ou seus subconjuntos, como e o caso do conjunto C0 (Rn ) que nada mais e do
que o conjunto de func
oes infinitamente diferenciaveis em Rn que possui suporte compacto. E sua transformada de
Fourier e definida pela seguinte integral:
Z
b
Ff () = f () =
eiht,i f (t)dt, t C0 (Rn )
(4.27)
Rn

onde ht, i = t1 1 + t2 2 + ... + tn n e o produto interno canonico no espaco euclideano. Um outro resultado
importante dessa operac
ao no espaco C0 (Rn ) e que a transformada e uma aplicacao inversvel, e sa inversa e dada
por:
Z
1
eiht,i fb()d
(4.28)
f (t) =
n
(2) Rn
Foi visto que, a Transformada de Fourier e um operador linear contnuo e bastante flexvel, podendo ser aplicado
em v
arios espacos (R, C, L1 , L), satisfazendo todas propriedades citadas.

4.2

A Teoria da Transformada de Radon

O matem
atico Austraco Johann Radon em meados de 1917 escreveu um artigo sobre a determinacao de func
oes
e de suas integrais ao longo de certas variedades, baseado nessa linha de raciocnio ele demonstrou inicialmente que
e possvel reconstruir uma func
ao de duas variaveis a partir de suas integrais de linha (o caso bidimensional) sobre
as linhas retas de um plano e ap
os isso determinou a reconstrucao de funcoes de tres variaveis f (x, y, z) a partir de

10

integrais de linhas sobre planos. Tambem generalizou seus resultados de forma a permitir a reconstrucao a partir
de linhas curvas expandindo as definic
oes para dimensoes superiores, com objetivo de permitir a reconstruc
ao de
uma func
ao de n vari
aveis a partir de todos hiperplanos pertinentes.
Em virtude desse estudo interessante de Johann Radon definiu-se o que hoje conhecemos por Transformada
de Radon que e um exemplo interessante de um problema matematico que foi considerado e resolvido muito antes
de sua aplicabilidade ter sido reconhecida. Na verdade, este problema, bem como a sua versao tridimensional,
foi resolvido por J. Radon em 1917 e, posteriormente, redescoberto em varias configuracoes, tais como a teoria
da probabilidade (recuperac
ao de uma distribuicao de probabilidades a partir de suas distribuicoes marginais),
astronomia (determinac
ao da distribuic
ao de velocidades de estrelas a partir das distribuicoes de velocidades radiais
em v
arias direc
oes), construc
oes de imagens medicas, cristalografia, microscopia eletronica, geofsica, optica e ciencia
dos materiais. Nestas aplicac
oes o objetivo central e a obtencao de determinadas informacoes sobre a estrutura
interna de um objeto pela passagem de alguma sonda (como raios - x) atraves do mesmo ou usando informac
oes
do pr
oprio objeto quando ele e auto-emissor, tais como um orgao do corpo que contem um isotopo radioativo, ou
talvez o interior da terra, quando movimentos podem ocorrer.
Claro que, muito trabalho foi necess
ario para se adaptar a formula de inversao de Radon `as informac
oes
incompletas disponveis na pr
atica.
4.2.1

Tomografia e a Transformada Raio X

Segundo o que vimos no t

opico acima foi observado que existe uma extensa gama de aplicacoes da transformada
definida por Radon, sendo a tomografia uma das mais consideraveis e de maior sucesso na medicina moderna, h
a
v
arios tipos de tomografia, e pelo menos uma delas, a tomografia classica e baseada na transformada de Radon.
A aplicac
ao nesta
area e estabelecida a partir dos princpios basicos que definem a transformacao, ou seja, e
fundamentado simplesmente pelo problema da reconstrucao de uma funcao f a partir do conhecimento de suas
integrais de linha sobre retas. E como perceberemos, essas integrais definem a Transformada Raio X de f .

Figura 1: Raios-x incidente e emergente.

A ideia b
asica parte do principio de que, sendo Rn um objeto do espaco Rn ; n = 2, 3, que sao os casos
mais comuns na pratica. Seja uma reta no Rn e suponha um raio-x que e direcionado `a ao longo da reta , de
acordo com a figura 1, tenhamos variaveis I0 e I que identificam a intensidade dos raios-x antes e depois de sair
de de respectivamente. Quando um raio-x.
No momento em que o raio-x percorre uma distancia x ao longo de ele sofre uma perca de intensidade
I, e essa atenuac
ao pode ser calculada atraves da seguinte formula:

11

I
= f (x)x
I
onde o f (x) e chamado de coeficiente de absorcao.
Portanto
dI
= f (x)dx
I
Integrando essa equaca
o ao longo da reta temos
  Z
I0
log
= f (x)dx
I

(4.29)

(4.30)

(4.31)

onde essa a equac

ao (4.31) mede a variac
ao da intensidade de raio-X durante o processo e e denominada projec
ao
integral. Na pratica essas projec
oes definidas na equacao (4.31) podem ser medidas somente sobre uma quantidade
finita de retas com caractersticas semelhantes a da reta .
Uma aplicac
ao imediata desta ideia e a seguinte. O medico deseja saber informacoes sobre os diferentes tecidos
de determinada parte do corpo humano a partir de medidas feitas com raios-X. Por exemplo, a presenca de uma
anomalia num tecido gera uma diferenca no seu coeficiente de absorcao e, se determinando o coeficiente de absorc
ao
, determina-se a presenca de algo estranho no tecido. No entanto essas medidas nao transmitem diretamente o valor
do coeficiente de absorc
ao, apenas sua integral ao longo da reta percorrida pelo raio-x, tal como a figura 2.

Figura 2: Espera-se detectar anomalias nos tecidos atraves de medidas de raios-X.

Portanto esse problema de medicina e traduzido exatamente no problema de Radon que pode ser descrito
por: reconstruir um objeto, dadas suas projecoes integrais. Tais projecoes sao descritas por um feixe de raio-X
que penetra um objeto a ser examinado, como na equacao (4.31). Dependendo do caminho particular que o feixe
percorre, este e atenuado quando passa atraves do objeto; a absorcao local do raio-X e medida por um detector
(esta e a projecao). E claro que, o resultado de medicao em uma u
nica direcao nao e suficiente para determinar a

12

distribuic
ao de distintas estruturas do objeto irradiado pelo raio-X. Assim, para determinar a estrutura do objeto,
e necess
ario que o objeto seja irradiado por todas as direcoes. Se as diferencas entre absorcao ou atenuac
ao dos
raio-X s
ao plotadas sobre todos os
angulos de rotacao, um arranjamento das atenuacoes ou projecoes sao obtidas.
Atraves dessas medidas que relacionam a incidencia e emergencia dos raios de varias secoes transversais em diferentes
angulos da regi

ao e possvel encontrar uma aproximacao apropriada para a distribuicao de densidade f (x). Desta
forma fica evidente que o problema pode ser resumido em determinar o coeficiente de absorcao f (x) a partir de sua
integral de linha em (4.31) ao longo de um conjunto de retas j , e esta afirmacao remete-se exatamente a ilustre
pergunta feita por Radon em 1917.
Nesse caso quando a transformada em que a integral de f e tomada ao longo de retas que, chama-se
Transformada Raio-X. Assim como veremos na secao seguinte para encontrar a transformada de f e necess
ario
encontrar uma parametrizac
ao para as retas do Rn , e isso fara-se-a por meio de um vetor S n1 , onde S n1 e
uma a esfera unit
aria em Rn , com dimens
ao n 1 e um n
umero real s. Supondo uma reta L, para caracteriz
a-la, e
necess
ario um vetor S n1 , o vetor diretor, e um ponto adequado para que a parametrizacao seja bem definida.
Dessa maneira tomemos um ponto z = L , em que e o hiperplano perpendicular a passando pela origem
como na figura 3.

Figura 3: Parametrizacao da reta L.

Dada uma func
ao f S(Rn ), existe uma aplicacao,
Z
X f (w, z) =

f (y)dly

L(w,z)

Essa e a chamada Transformada Raio-X de f ao longo da reta L(w, z)

(4.32)

13

4.2.2

Transformada de Radon em Rn

Dados um vetor unit

ario na esfera de raio 1 em Rn , que sera denotada por S n1
S n1 = [t Rn : |t| = 1]
e um n
umero real S, definiremos um hiperplano a uma distancia |s| da origem e perpendicular ao vetor .
Defini
c
ao 4.9. Dados t Rn e S n1 , tem-se o hiperplano H(w, s) como sendo conjunto abaixo.
H(w, s) = [t Rn : ht, wi = s]

(4.33)

a figura 4 contem uma ilustrac

ao do caso bidimensional.

Figura 4: L(w, s) = [z = (x, y) : hz, wi = s] s R, S1

Se escolhermos vetores v1 , v2 , ..., vn1 tais que , v1 , v2 , ..., vn1 sejam uma base ortonormal de Rn , entao H(w, s)
pode ser escrito na forma
[x Rn : x = s + s1 v1 + s2 v2 + ... + sn1 vn1 ,

s1 , s2 , ..., sn1 R]

Portanto de f e integr
avel sobre H(w, s), entao
R
H(w,s)

f d =

R
Rn

f (s + s1 v1 + s2 v2 + ... + sn1 vn1 )ds1 ds2 ...dsn1

importante notar que H(w, s) = H(w, s) para todo t R e S n1 .

Obs: E
Defini
c
ao 4.10. O espaco de Schwartz S(Rn ) e definido como um conjunto de func
oes f C (Rn ), ou seja
conjunto de func
oes infinitamente diferenci
aveis em Rn que satisfazem
|x|k |Dxm11 Dxm22 ...Dxmnn f (x)| < Ck,m1 ,m2 ,...,mn ,
onde |x| = (x1 2 + x2 2 + ... + xn 2 )

x Rn ,

k, m1 , m2 , ..., mn N,

(4.34)

1
2

De uma forma mais geral, similar ao conceito pretendido na equacao (4.32) da secao anterior, onde foi definida
a aplicac
ao da Transformada Raio-X, podemos definir uma nova aplicacao dispondo de um formado mais geral,
que pode ser entendido em espaco mais gerais como o Rn .

14
Defini
c
ao 4.11. Se x R, S n1 e f S(Rn ), definimos a Transformada de Radon de f como
Z
Rf (w, s) =

f dS

(4.35)

H(w,s)

Note que Rf (w, s) = Rf (w, s), em virtude de que H(w, s) = H(w, s). Seguidamente observa-se que
dado um k N
Z

sk Rf (w, s)ds =

Z Z

hx, i f (x)dSds

(4.36)

R H(w,s)

R
k

Quando calculamos hx, i , obtemos um polinomio homogeneo de grau k em , com coeficientes que tambem
s
ao polin
omios homogeneos de grau k na vari
avel x. Ja o resultado da integral (4.36) e um polinomio de grau k em
. Como isso obtemos que: F (w, s) est
a na imagem de R se satisfizer:
F (w, s) = F (w, s)

(4.37)

e
Z

sk F (w, s)ds = Pk ()

(4.38)

onde Pk () e um polin
omio homogeneo de grau k em .
Lema 4.1. Seja f S(Rn ). Ent
ao a transformada de Fourier de Rf (w, s) com relac
ao a f satisfaz
Z
d(w, ) =
Rf

Rf (w, s)eis ds = fb().

(4.39)

Demonstra
c
ao: Seja k N. Pela desigualdade de Cauchy-Schwart: |s|k = |h, si|k |x|k . Assim,
|s|k |Rf (w, s)|

R
L(w,s)

|h, si|k |f (x)|dS

R
L(w,s)

|x|k |f (x)|dS <

com isso a integral (4.39) converge. Pelo Teorema de Fubini temos:


R
R is R
is
Rf
(w,
s)e
ds
=
e
f
(x)dS
ds
R
R
L(w,s)

R R
= R L(w,s) eih,xi f (x)dS ds
R
= N eih,xi f (x)dx = fb().
R

ao Rf (w, s) = 0 se e somente se f (w, s) = 0.

Lema 4.2. Seja f S(Rn ). Ent

Demonstra
c
ao: Como a Transformada de Fourier e um isomorfismo, temos que f (w, s) = 0 se e s
o se
d(w, s) = 0. Por (4.39) se e s
Rf
o se fb() = 0. Novamente pelo isomorfismo da Transformada de Fourier, se
e s
o se f = 0.

15

Proposi
c
ao 4.11. Seja
P : Sn1 (0, ) Rn
(w, s)
 sw = x
ent
ao,
i) P e um isomorfismo e P 1 (x) = (x/||x||, ||x||) e a inversa de de P.
ii) Se f C (Rn ) ent
ao f oP C ((Sn1 ) [0, ))
iii) Seja F (Sn1 R) ent
ao F oP 1 = F (x/||x||, ||x||) C (R {0}).
iv) Seja F (Sn1 R) ent
ao f = F oP 1 C (Rn ). Ainda:
k
F (w, s)|s=0
sk

= Pk ()

e um polin
omio de grau k, para todo k N.
 l m

 1

mn
Defina o conjunto (Sn1 R) := {F C (Sn1 R) : |s|k  s
F
(w,
s)
...
 C(k, l, m1 , ..., mn )}.
m
m
l 1 1
1 n
Teorema 4.3. A Transformada de Radon e uma aplicac
ao bijetora.
n
n1
R : S(R )M := S (S
R) : F satisfaz (4.37) e (4.38).
Demonstra
c
ao: A injetividade e evidente no Lema 4.2 devido ao isomorfismo. Seja F (w, s) M. Como
R k
k
k F (w, 0) = ik F
b(, 0)
s F (w, s)ds = sd
R
sk
e por hip
otese, um polin
omio homogeneo de grau k. Fazendo = , de acordo com a proposi
c
ao 4.11, temos,

n
n
b
f () = F (/||||, ||||) C (R ). Como F M, obtemos que f S(R ). De acordo com a equac
ao (4.39)
deduzimos que F = RF 1 f .
Como vimos anteriormente a Transformada de Radon e uma aplicacao bijetiva, portanto sabemos que
R : S(Rn )M tem inversa. O que nos intui a calcular uma funcao inversa R1 , que sao diferentes para os
casos n par ou impar. Como j
a sabemos inverter a Transformada de Fourier e temos a formula que relaciona as
Transformadas Fourier e Radon, vamos utiliz
a-las para calcular os dois casos possveis para o valor de n.
Teorema 4.4. Seja n > 1 mpar. Ent
ao
1n

f (x) = 2n (i)

Z
S n1

n1
Rf (, hx, i)dS
sn1

(4.40)

No caso de n ser par, e necess

ario introduzir a Transformada de Hilbert.
Defini
c
ao 4.12. (Transformada de Hilbert) Seja f S(Rn ). Ent
ao
Hf (s) = F 1 (i.sign()fb())

(4.41)

Teorema 4.5. Seja n > 1 par. Ent

ao
n

f (x) = 2

1n

(i)

(
S n1

4.2.3

n1
HRf ) (, hx, i) dS
sn1

Propriedades importantes da Transformada de Radon

Propriedade 1: A Transformada de Radon e linear, isto e, se f, g S(Rn ) e c R, entao

R(cf ) = cR(f )

R(f + g) = R(f ) + R(g)

Propriedade 2: A Transformada de Radon e uma funcao par, entao

Rf (w, s) = Rf (w, s)

(4.42)

16

Conclus
ao

O desenvolvimento deste projeto de pesquisa estimulou o meu esprito de investigacao ajudando a aprimorar
minhas noc
oes matem
aticas e a utilizac
ao das mesmas, o que me possibilitou a atuar de forma mais independente
na construc
ao do pr
oprio conhecimento, especialmente os associados `a ferramentas matematicas vistas no decorrer
do mesmo. Ferramentas estas que s
ao bastante uteis, e possuem uma extensa gama de aplicacoes nas mais diversas
areas, das ciencias exatas, medicina, astronomia, etc.

Neste trabalho, foram definidos as Transforadas de Fourier e de Radon, buscando analisar, suas propriedades
mais importantes em diversos espacos e a relacao entre essas duas aplicacoes atraves de alguns teoremas e proposic
oes. Foi mencionado tambem uma de suas maiores aplicacoes que e a tomografia, obedece fortemente a teoria
exposta por Radon. Alem disso, e pretendido que esses resultados obtidos e reproduzidos nesse relatorio, possam
colaborar e ate mesmo sensibilizar outros alunos que entrem em contato com o tema disposto.

Refer
encias Bibliogr
aficas

Refer
encias
[1] HSU, Hwei P., An
alise de Fourier, Colec
ao Tecnica;
[2] LORENZO, Imelda Trejo. Aspectos Matem
aticos de la Tomografa Computadorizada. Tesis que para obtener el
ttulo de Licenciado en Matem
aticas Aplicadas, abril de 2008;
[3] BARRETO, Ant
onio S
a. Introduc
ao a Transformadas de Radon Notas de aula do mini-curso que foi parte do
Symposium on Spectral and Scattering Theory.,11 `a 22 de agosto de 2003;
[4] FIGUEREDO, Djario G. de . An
alise de Fourier e equac
oes diferenciais parciais. Projeto Euclides, editora
IMPA;
[5] CARDOSO, Davy Christian Souza. O problema de Cauchy para o sistema de Gross-Pitaevskii . Dissertac
ao
para obtenc
ao do titulo de Mestre. p
ag 15 `a 31.
[6] HOUNIE, Jorge. G., Teoria elementar das Distribuic
oes. Capitulo 5( pag 73 `a 92 ) editora IMPA.
[7] HELGASON, Sigurdur. Radon Transform. Birkhauser 1980, 2o edicao(1999)
[8] CEZARO, Adriano de.Problemas Inversos: Uma introduc
ao.
[9] TOFT, P.The Radon Transform. Ph.D. Thesis, University of Denmark, 1996.