Mostrar código-fonte de Operador Integral de Fourier

Na [[análise matemática]], os '''operadores integrais de Fourier''' tornaram-se uma ferramenta importante na teoria das [[Equação diferencial parcial|equações diferenciais parciais]] . A classe dos operadores integrais de Fourier contém operadores [[Operador diferencial|diferenciais]], como também operadores integrais como classes especiais.

Um operador integral de Fourier <math>T</math> É dado por:

: <math>(Tf)(x)=\int_{\mathbb{R}^n} e^{2\pi i \Phi(x,\xi)}a(x,\xi)\hat{f}(\xi) \, d\xi </math>

Onde <math>\hat f</math> denota a transformada de Fourier de <math>f</math>, <math>a(x,\xi)</math> é um símbolo padrão que é compactamente suportado em <math>x</math>, e <math>\Phi</math> é real valorizado e homogêneo de grau <math>1</math> no <math>\xi</math> . Também é necessário exigir que <math>\det \left(\frac{\partial^2 \Phi}{\partial x_i \, \partial \xi_j}\right)\neq 0</math> com o apoio de ''a.'' Nessas condições, se ''a'' é de ordem zero, é possível mostrar que <math>T</math> define um operador limitado de <math>L^{2}</math> para <math>L^{2}</math> .<ref>{{Citation|last=Hörmander|first1=Lars|author-link=Lars Hörmander|date=1970|title=Fourier integral operators. I|journal=Acta Mathematica|publisher=Springer Netherlands|doi=10.1007/BF02392052|volume=127|pages=79–183}}</ref>

== Exemplos ==
Uma motivação para o estudo de operadores integrais de Fourier é o operador de solução para o problema de valor inicial para o operador de onda. Na verdade, considere o seguinte problema:

: <math> \frac{1}{c^2}\frac{\partial^2 u}{\partial t^2}(t,x) = \Delta u(t,x) \quad \mathrm{for} \quad (t,x) \in \mathbb{R}^+ \times \mathbb{R}^n,</math>

e

: <math> u(0,x) = 0, \quad \frac{\partial u}{\partial t}(0,x) = f(x), \quad \mathrm{for} \quad f \in \mathcal{S}'(\mathbb{R}^n).</math>

A solução desse problema é dada por

<math> u(t,x) = \frac{1}{(2 \pi)^n} \int \frac{e^{i (\langle x,\xi \rangle + c t | \xi |)}}{2 i |\xi |} \hat f (\xi) \, d \xi - \frac{1}{(2 \pi)^n} \int \frac{e^{i (\langle x,\xi \rangle - c t | \xi |)}}{2 i |\xi |} \hat f (\xi) \, d \xi .</math>

Elas precisam ser interpretadas como integrais oscilatórias, uma vez que, em geral, não convergem. Isso formalmente se parece com a soma de dois operadores integrais de Fourier, no entanto, os coeficientes em cada uma das integrais não são suaves na origem e, portanto, não são símbolos padrão. Se cortarmos essa singularidade com uma função de corte, então os operadores assim obtidos ainda fornecem soluções para as funções suaves do módulo do problema do valor inicial. Assim, se estamos interessados apenas na propagação de singularidades dos dados iniciais, basta considerar tais operadores. Na verdade, se permitirmos que a [[velocidade do som]] c na equação de onda varie com a posição, ainda podemos encontrar um operador integral de Fourier que fornece funções suaves de módulo de solução, e os operadores integrais de Fourier fornecem uma ferramenta útil para estudar a propagação de singularidades de soluções para equações de onda de velocidade variável e, mais geralmente, para outras equações hiperbólicas.

== Ver também ==
* [[Transformada de Fourier]]
* [[Operador pseudodiferencial]]

{{Referências}}

* [[Elias Stein]], ''Análise Harmônica: Métodos de Variáveis Reais, Ortogonalidade e Integrais Oscilatórios'' . [[Princeton University Press]], 1993.{{ISBN|0-691-03216-5}}[[ISBN (identifier)|ISBN]]&nbsp;[[Special:BookSources/0-691-03216-5|0-691-03216-5]]
* F. Treves, Introdução aos Operadores Pseudo Diferenciais e Integrais de Fourier, (University Series in Mathematics), Plenum Publ. Co. 1981.{{ISBN|0-306-40404-4}}[[ISBN (identifier)|ISBN]]&nbsp;[[Special:BookSources/0-306-40404-4|0-306-40404-4]]
* [[Hans Duistermaat|JJ Duistermaat]], Fourier Integral Operators, (Progress in Mathematics), Birkhäuser 1995.{{ISBN|0-8176-3821-0}}[[ISBN (identifier)|ISBN]]&nbsp;[[Special:BookSources/0-8176-3821-0|0-8176-3821-0]]

== Ligações externas ==

* {{SpringerEOM|title=Fourier integral operator|id=p/f041060}}

[[Categoria:Análise harmônica]]
[[Categoria:Análise de Fourier]]
[[Categoria:Equações de derivadas parciais]]