Em matemática, a transformada de Radon em duas dimensões, nomeada em homenagem ao matemático austríacoJohann Radon, é a transformada integral consistindo da integral de uma função sobre linhas retas. A transformada foi introduzida por Johann Radon em 1917,[1] que também forneceu uma fórmula para a transformada inversa. Radon posteriormente incluiu fórmulas para a transformada em três dimensões, na qual a integral é tomada sobre planos. Ela foi posteriormente generalizada para espaços Euclidianos de dimensões mais altas, e mais amplamente no contexto da geometria integral. O análogo complexo da transformada de Radon é conhecido como a transformada de Penrose.
O tema do trabalho original de Radon era o que se conhece por problema da reconstrução a partir das projeções, isto é, como obter uma função f(x,y), não observável diretamente, a partir de suas projeções φx(y) medidas sobre o plano. Esse problema reveste-se de interesse em áreas tão diversas quanto diagnóstico por imagem, óptica, interferometriaholográfica, geofísica, radioastronomia, cristalografia, microscopia, ciência dos materiais e também na matemática pura. De forma geral, a transformada de Radon é útil sempre que se deseja obter informação sobre a estrutura interna de um objeto através de uma sondagem do seu contorno. Entende-se que o advento da tomografia computadorizada na década de 1970 foi um fato extremamente relevante para o aumento do interesse da comunidade técnica nessa transformada.[2] O problema da reconstrução a partir das projeções é resolvido pela transformada de Radon inversa.[3][4]
Define-se também a transformada generalizada de Radon atribuindo-se um peso diferente para cada projeção.[5]
História
Radon demonstrou em 1917 como reconstruir uma função de duas variáveis a partir de suas integrais (de linha) sobre todas as linhas retas de um plano. Também generalizou seus resultados de forma a permitir a reconstrução a partir de linhas curvas, bem como expandiu as definições para dimensões superiores, com o objetivo de permitir a reconstrução de uma função de n variáveis a partir de suas projeções em todos os hiperplanos pertinentes.
Apesar de a transformada encontrar algumas aplicações na solução de algumas equações diferenciais parciais hiperbólicas, ela ficou praticamente esquecida até 1963, quando o físico Allan Cormack reconheceu que ela constituía a resposta matemática para o problema prático de obter mapas dos coeficientes de absorção de radiação para as diferentes seções do corpo humano. O engenheiro biomédico Godfrey Hounsfield, a par desses resultados, construiu uma nova e revolucionária máquina de raios X. Cormack e Hounsfield passaram a trabalhar juntos para aperfeiçoar as técnicas e finalmente desenvolveram a técnica de tomografia axial computadorizada, que lhes valeu o Prêmio Nobel de Fisiologia e Medicina de 1979.[6]
Definição
Condições de existência
Um conjunto de condições suficiente para a existência da transformada de Radon é que a função f a ser transformada
seja infinitamente diferenciável e possua suportecompacto em
seja infinitamente diferenciável e decresça de forma rápida em
Essas condições, no entanto, não são estritamente necessárias. Sob certas condições, é possível relaxá-las. No entanto, a maioria das funções encontrada nas aplicações práticas atende às condições acima.[7]
Domínios
O espaço Euclidiano n-dimensional, com n > 1, que é o domínio da função f que se deseja estudar, é chamado espaço de características (ing. feature space). f descreve a distribuição espacial de uma dada grandeza física, e será em geral função das coordenadas; a convenção adotada aqui é nomear essas coordenadas como x1, x2 ... xn, para maior generalidade. Em notação matricial, escreve-se simplesmente x.
A transformação de Radon mapeia a função f(x) em uma outra, que denotaremos por φ(), cujo domínio é chamado de espaço de Radon (ing. Radon space). Matematicamente, podemos escrever
onde p são as coordenadas p1, p2 ... pn desse espaço. Em geral, o espaço de características será descrito em coordenadas cartesianas e o de Radon, em coordenadas esféricas (no caso especial de duas dimensões, coordenadas polares).
Como a transformada de Radon está intimamente ligada à transformada de Fourier, é muito comum referenciar-se o domínio da frequência ou espaço de Fourier (ing. Fourier space), isto é, o domínio da função Fn(ω), que é a transformada de Fourier n-dimensional de f(x). Matematicamente, escreve-se
A transformada de Radon bidimensional pode ser descrita por meio de diversas fórmulas. Uma delas é por meio de uma integral de linha:
onde r é o raio vetor do ponto definido pelas coordenadas x, no espaço de características, e L é a linha definida pelas coordenadas polares (ρ,θ) no espaço de Radon. Usando a convenção exposta mais acima, podemos escrever p = {ρ,θ} quando n = 2.
Outra fórmula equivalente utiliza uma reta ξ, que passa pelo ponto x e pelo ponto p:
onde uθ é um vetor unitário na direção do ponto p, vθ é um vetor unitário na direção da reta ξ (portanto, perpendicular a uθ), e t é a distância do ponto x ao ponto p (na figura ao lado, a reta ξ é a reta AA', o ângulo θ é chamado de α, o vetor uθ, de e o raio vetor r é chamado de s; as coordenadas x são chamadas, como é usual, de x e y).[7]
onde as coordenadas x = {x1,x2} são frequentemente chamadas de x e y. A função impulso unitário é usada em (2c) para transformar a integral de linha sobre o raio vetor r numa integral dupla no plano.[7][4]
Ainda outra formulação, baseada na reta ξ, como a expressão (2b) é
que se verifica facilmente ser equivalente a (2c).[7]
Uma formulação alternativa e muito útil de (2c) é a seguinte:
que permite o cálculo sobre os eixos coordenados separadamente.[5]
Interpretação geométrica
A interpretação geométrica da transformada de Radon bidimensional leva à consideração do espaço de Radon como a superfície de um semicilindro de comprimento infinito e raio unitário. O parâmetro ρ é então a posição longitudinal de um ponto, contada a partir da origem convencionada, e variando no intervalo [∞,∞]; o parâmetro θ mede a posição angular do ponto a partir de uma origem convencionada, e varia no intervalo [0,π]. O fato de este intervalo ser [0,π] e não [0,2π] deve-se ao fato de δ(x), usada em (2c) e (2d), ser uma função par.[7]
Interpretação física
A transformada de Radon pode ser considerada como o resultado de uma varredura que um dispositivo ("scanner"), cujo campo de medição tem a forma de uma faixa estreita (ou fatia), executa sobre a superfície de um objeto. A reta ξ, mencionada em relação às expressões (2b) e (2d), é o lugar geométrico de ρ constante; para cada valor do ângulo θ haverá uma reta correspondente ξθ. Essa reta representa a faixa lida pelo dispositivo. A operação de varredura corresponde ao deslizamento lateral dessa faixa, que fornece a medição contínua da propriedade física dada pela função f(x) no intervalo -∞ < ρ < ∞. O resultado é uma função contínua de ρ, que constitui um perfil de f(x) para um dado θ. A combinação de todos os perfis φ(ρ), correspondentes aos valores de θ no intervalo [0,π], fornece toda a informação possível sobre a distribuição da propriedade física. Essa combinação é a transformada de Radon φ(ρ,θ).
Por exemplo, suponhamos que esse dispositivo seja um aparelho de raios X: o feixe, ao atravessar o objeto radiografado, sofrerá uma atenuação proporcional à massa encontrada no percurso; um sensor medirá a intensidade dos raios que atingem o lado oposto e, portanto, fornecerá informações a respeito da densidade do objeto naquela direção específica. A φ(ρ,θ,ψ) é o conjunto de medições em todas as direções possíveis. A função f(x,y,z) representará então a densidade em todos os pontos do corpo, e pode ser obtida de φ(ρ,θ,ψ) por meio da transformada inversa de Radon.[9][4]
Uma plotagem da função φ(ρ,θ) é chamada um sinograma.[5]
Transformada tridimensional
A equação (2d) permite a generalização para n = 3 dimensões. Podemos escrever
onde o produto escalar r · uθ, em 3 dimensões, define um plano, e não uma linha.[9] Uma outra forma útil indica explicitamente os ângulos θ1 (ângulo polar) e θ2 (ângulo azimutal):
Nos itens seguintes, foram adotadas as seguintes convenções:
a, b e c são constantes reais
f(x) e g(x) são funções para as quais a transformada de Radon existe
φ(p)/φ(ρ,θ)/φ(ρ,ς) é a transformada de Radon de f(x)
γ(p)/γ(ρ,θ)/γ(ρ,ς) é a transformada de Radon de g(x)
As transformadas foram expressas de formas diferentes, conforme a conveniência, mas as propriedades não dependem da forma em que a transformada é escrita.
Teorema da fatia central
A transformada de Radon está notavelmente associada à transformada de Fourier, de forma tal que
Essa expressão é chamada de teorema da fatia central e vale para qualquer número n de dimensões.[nota 2] Ela advém do fato de que a transformada de Fourier em uma dimensão de uma projeção de f(x) segundo um dado ângulo é simplesmente uma fatia da transformada de Fourier em n dimensões, se o ângulo for mantido fixo.[9]
As operações combinadas de escalamento e rotação dos eixos, em n dimensões, podem ser expressas de forma matricial. O resultado é a substituição do vetor original x por um vetor y = A·x. A transformada de Radon é dada por
onde A é uma matriz de dimensão n x n e ς é o vetor {ς1, ς2, ... ςn}. No caso especial em que A é uma matriz ortogonal, A será sua própria inversa e também sua transposta, além de unitária e (3g) se simplifica para
Outro caso especial é aquele em que A e um múltiplo da matriz identidade1. Nesse caso, (3g) se torna
A transformada inversa bidimensional também pode ser expressa através da transformada de Hilbert de γ(ρ,θ), considerando-se que a variável θ é uma constante na integral entre colchetes e substituindo a variável v = x1cos(θ) + x2sin(θ)
Após obter-se Γ(v) por (4c), substitui-se v = x1cos(θ) + x2sin(θ) de forma a obter-se Γ(θ), com x1 e x2 constantes, e integra-se (4b).[3]
Transformada tridimensional
Uma expressão possível para a transformada inversa tridimensional é
onde a integral dupla em (4d) deve ser avaliada sobre a curva Ω, que é a esfera de raio unitário. Em (4e), a derivada parcial, após obtida, deve ter o parâmetro ρ substituído, de forma a obter-se uma função apenas de θ1 e θ2.
Em aplicações práticas, é impossível obter perfis para todos os valores de θ, ou seja, variando θ de forma contínua como se faz com ρ. Em tomografia computadorizada, um número finito perfis contínuos φ(ρ) são obtidos para vários ângulos θ, normalmente espaçados do mesmo valor Δθ. No entanto, na maioria dos casos, perfis para ângulos intermediários podem ser obtidos por interpolação. A exemplo de todas as situações práticas, aqui é necessário usar métodos numéricos e a versão discreta das transformadas, em lugar das versões contínuas.
A distribuição bidimensional obtida, φ(ρ,θ), poderia ser usada para obter-se a função desejada f(x,y) através da transformada discreta inversa de Fourier bidimensional, de acordo com o teorema da fatia central. Entretanto isso exigiria primeiro mapear do plano polar (espaço de Radon) para o plano cartesiano (espaço de Fourier), transformando φ(ρ,θ) em F(u,v), uma operação bastante onerosa devido às interpolações necessárias para obter-se uma densidade uniforme dos pontos a ser trabalhados. Em lugar disso, pode-se aplicar uma técnica conhecida como retroprojeção (ing. backprojection) modificada:
calcula-se a convolução de cada perfil φ(ρ) com uma função normalizadora G(ρ), obtendo um perfil modificado ψ(ρ) para cada valor de θ
acumulam-se os valores dos diversos B(ρ) sobre o plano (x,y), a partir dos respectivos valores de ρ e θ
O objetivo do primeiro passo é "normalizar" a distribuição dos valores medidos, cuja densidade é inversamente proporcional ao raio ρ. O segundo passo produz uma distribuição uniforme de cada perfil modificado numa direção perpendicular ao respectivo ângulo θ. Com isso se obtém uma distribuição uniforme de pontos no plano sem a necessidade de interpolações.
A função normalizadora é
onde ωM é uma frequência espacial superior a todas as frequências (u,v) presentes no sinal tratado e sinc(x) é a função seno cardinal. G(ρ) é a transformada de Fourier de uma função g(ω)
Devido à simetria circular da função f(x,y), a transformada é função apenas de ρ, não de θ.[13]
Cálculo pelo teorema da fatia central
Vamos calcular a transformada de Radon de uma função gaussiana bidimensional, dada por , desta vez a partir do teorema da fatia central, equação (3a). Em primeiro lugar, calcula-se a transformada de Fourier bidimensional de f:
Mudando para coordenadas polares
onde J0 é a função de Bessel de primeira espécie de ordem 0. Aplica-se em seguida a transformada inversa de Fourier (unidimensional) para obter-se a transformada de Radon
Como mencionado acima, a maior dificuldade encontrada nas aplicações práticas é que a inversão não pode ser executada analiticamente, a partir das equações (4a) a (4f), como exemplificado no item anterior, porque o número de perfis disponível, obtido a partir de dispositivos físicos reais, é sempre finito, além de apresentarem outros problemas[nota 6] que dependem de cada caso específico. Esse problema é comum a outras transformadas integrais, mas a transformada de Radon ainda sofre de duas dificuldades particulares:
o teorema da indeterminação estabelece que a transformada inversa de Radon é única no sentido de ser inequivocamente determinada por um número infinito de projeções φ(ρ), mas não por qualquer número finito de projeções; no entanto, sabe-se que é sempre possível obter uma reconstrução boa o suficiente a partir de um número adequado, isto é, suficientemente grande, de perfis.
sabe-se que pequenas variações em φ(ρ,θ) produzem grandes variações na inversa f(x); esse problema é conhecido como o problema da estabilidade da reconstrução.
Uma inversão baseada no teorema da fatia central (3a) também seria complexa e computacionalmente dispendiosa. Por isso, os métodos de inversão práticos, também chamados de métodos de reconstrução, revestem-se de grande importância. A exposição que segue limita-se ao caso bidimensional.[15][5]
Retroprojeção
A mais importante técnica de reconstrução é conhecida como retroprojeção. Ela se baseia na transformação
que mapeia a função γ do espaço de Radon para o espaço de características.[15][5]
Geometricamente, a operação de retroprojeção é a média das contribuições de γ ao longo de todas as retas que passam pelo ponto (x,y). Matematicamente, o operador é o adjunto do operador , ou seja
onde a função g||(ρ) é a função normalizadora. A expressão (4j) fornece um método alternativo para inversão, bastante simples e computacionalmente eficiente, contanto que uma função g|| possa ser encontrada. O problema é que a função |ω| não é quadrado integrável em L1, e sua transformada inversa de Fourier, apesar de existir, não é bem comportada; em aplicações práticas, deve-se utilizar um filtro com a resposta em frequência aproximada.[5][15]
Método do filtro das retroprojeções
Aplicando a transformada de Fourier a (5m), teremos, devido ao teorema da convolução (bidimensional)
Aplicando a transformada inversa de Fourier à equação acima, teremos, novamente devido ao teorema da convolução
onde a função g||(ρ,θ) é outra função normalizadora, aqui em L2. Neste outro método alternativo, novamente um filtro com uma resposta em frequência aproximada deve ser empregado.[5]
Expansão em séries
A função φ(ρ,θ), por ser expressa em coordenadas polares, é necessariamente uma função periódica, com período 2π. Assim, pode ser representada em série de Fourier, como qualquer função periódica. Se escolhermos a forma de representação genérica dada por
os coeficientes ak serão função do parâmetro ρ, por isso escreveremos ak(ρ). Os valores são, de acordo com a definição,
Demonstra-se que a expressão acima pode ser escrita em termos dos coeficientes bk da série de Fourier da função original, expressa em coordenadas polares, f(r,α):
onde o operador denota a transformada de Tchebychev. Os coeficientes bk são função do raio vetor r. A partir de (2k), obtém-se uma expressão para a série de Fourier de f(r,α):
Os resultados podem ser expandidos para maiores dimensões. O espaço de Radon pode ser também submetido a uma transformação conforme de forma a ser mapeado no círculo de raio unitário. Dessa forma, em lugar da série de Fourier pode ser usada qualquer base ortonormal para a representação por séries. As expressões assim obtidas podem ser usadas para inversão. Em casos específicos, com uma escolha adequada da base, esse método pode ser bem sucedido, se obtiver-se estabilidade numérica no cálculo dos coeficientes.[16]
Casos especiais
Simetria circular
No caso bidimensional, se a função f(x,y) possui simetria circular, podemos escrever f(x,y) = f(r). A transformada de Radon será uma função apenas de ρ, e podemos fazer θ = 0. Assim, ς1 = 1 e ς2 = 0, e a equação (2c) se simplifica para
que é a definição da transformada de Abel.[nota 1][17]
Simetria esférica
No caso tridimensional, se a função f(x,y,z) possui simetria esférica, podemos escrever f(x,y,z) = f(r). A transformada de Radon será uma função apenas de ρ, e podemos fazer θ = ψ = 0. Assim, ς1 = ς2 = 0 e ς3 = 1, e a equação (2e) se simplifica para
Neste caso, a função f(u), ou seja, f(r), pode ser obtida facilmente diferenciando-se a equação (6b), em vez de aplicar-se a transformada inversa
A transformada de Radon conserva a energia da função original, uma propriedade conhecida como Teorema de Parseval, relação de Parseval ou ainda Teorema de Plancherel. Entretanto, a expressão desse teorema, no caso da transformada de Radon, é um pouco mais complexa do que no caso de outras transformadas integrais. Em forma de operadores:
↑ abNa verdade, uma das definições daquela transformada. Ver o verbete Transformada de Abel.
↑Em duas dimensões, esse teorema recebe o nome de teorema da projeção de fatia.
↑Entre a função original e a transformada, naturalmente.
↑Em coordenadas cartesianas, porque após a integração obtém-se uma função g(x) .
↑A convolução com G(ρ) corresponde à multiplicação por g(ω), de acordo com o teorema da convolução. A função g(ω), por sua vez, é uma aproximação fisicamente realizável para a função . A justificativa matemática do método é apresentada mais à frente.
↑Por exemplo, ruído, interferências, limitações de banda de passagem, limitações de precisão, limitações de resolução e não-linearidades.
«MathWorld» (em inglês). Derivação de algumas transformadas de Radon
Referências
↑Radon, Johann (1917). Über die Bestimmung von Funktionen durch ihre Integralwerte längs gewisser Mannigfaltigkeiten. Berichte über die Verhandlungen der Sächsische Akademie der Wissenschaften (Reports on the proceedings of the Saxony Academy of Science). [S.l.: s.n.] pp. 262–277; Translation: Radon, J.; Parks, P.C. (translator) (1986). On the determination of functions from their integral values along certain manifolds. IEEE Transactions on Medical Imaging. 5. [S.l.: s.n.] pp. 170–176. PMID18244009. doi:10.1109/TMI.1986.4307775
↑ abS. Deans - Radon and Abel Transformsin A. Poularikas (org) - The Transforms and Applications Handbook, 2nd. edition, Boca Raton: CRC, 2000, Cap. 8, pp. 739 a 740
↑ abcdefghiE. Miqueles - A Transformada Generalizada Atenuada de Radon: Inversão Analítica, Aproximações, Métodos Iterativos e Aplicações em Tomografia por Fluorescência, Fapesp, Campinas, 2010, Cap. 2, pp. 9 a 17
↑L. Debnath, D. Bhatta - Integral Transforms and Their Applications, 2nd. Edition, 2007, Boca Raton, Chapman & Hall/CRC, ISBN 978-1-58488-575-7, Cap. 18, pp. 539 a 540
↑ abcdefS. Deans - op. cit., cap. 8, pp. 742 a 746
↑ abcdefghiS. Deans - op. cit., cap. 8, pp. 749 a 754