Teorema da projeção de fatia
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Junho de 2023) |
Em matemática, o teorema da projeção de fatia, teorema da fatia de Fourier ou ainda teorema da fatia central em duas dimensões estabelece que os resultados dos seguintes dois cálculos são iguais:
- Tomando-se uma função bidimensional f(x,y), circularmente simétrica, projetada sobre uma linha (monodimensional), e realizando uma transformada de Fourier desta projeção.
- Tomando-se a mesma função, mas realizando uma transformada de Fourier bidimensional primeiro, e então fatiando-a através de sua origem, a qual é paralela à linha de projeção.
Em termos de operador, se
- F1 e F2 são operadores da transformada de Fourier mono- e bidimensionais mencionados acima,
- P1 é o operador de projeção (o qual projeta uma função 2-D em uma linha 1-D) e
- S1 é o operador "fatiador" (o qual extrai uma fatia 1-D de uma função 2-D), então:
Como f(x,y) é circularmente simétrica, pode-se também escrever f(r), onde r é o raio vetor de um ponto qualquer (x,y).
Esta ideia pode ser estendida para dimensões mais altas.
O ciclo de transformadas Abel-Fourier-Hankel
[editar | editar código-fonte]Demonstra-se que a transformada de Abel A(u), a transformada de Fourier (unidimensional) F(u) e a transformada de Hankel de ordem 0 K0(u) possuem a seguinte propriedade:
onde f(r) é uma função bidimensional circularmente simétrica. Em notação de operadores, K F A = I, onde I é o operador identidade. Essas expressões são equivalentes ao teorema de projeção de fatia em duas dimensões.
Para funções que não apresentam simetria circular, vale a relação mais genérica F2-1 F1 R = I, onde F2-1 é a transformada inversa bidimensional de Fourier e R é a transformada de Radon (bidimensional). Se escrevermos essa expressão como F1 R = F2 e compararmos com F1 P1 = S1 F2, concluímos que o operador R equivale a uma combinação de P1 e S1; ele projeta uma fatia de uma função bidimensional sobre uma linha reta.
A extensão do teorema para uma dimensão n pode ser escrita, a partir desses resultados, como F1 Rn = Fn.
Referências
- Bracewell, R.N. (1990). «Numerical Transforms». Science. 248 (4956): 697–704. PMID 17812072. doi:10.1126/science.248.4956.697
- Bracewell, R.N. (1956). Aust. J. Phys. 9. 198 páginas
- Gaskill, Jack D. (1978). Linear Systems, Fourier Transforms, and Optics. [S.l.]: John Wiley & Sons, New York. ISBN 0-471-29288-5
- Ng, R. (2005). «Fourier Slice Photography». ACM TOG
- Bracewell, R. N. (2000). The Fourier Transform and Its Applications. [S.l.]: McGraw-Hill, New York. ISBN 978-0-1381-4757-0