フーリエ積分作用素のソースを表示

[[数学]]の[[解析学]]の分野における'''フーリエ積分作用素'''（フーリエせきぶんさようそ、{{Lang-en-short|Fourier integral operator}}）は、[[偏微分方程式]]の理論において用いられるある重要な作用素である。フーリエ積分作用素の類には、[[微分作用素]]や古典的な[[積分作用素]]が、特別な場合として含まれる。

フーリエ積分作用素 ''T'' は次のように与えられる：

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

ここで <math>\hat f</math> は ''f'' のフーリエ変換を表し、''a''(''x'',''ξ'') は ''x'' についてコンパクトな台を持つ[[微分作用素の表象|表象]]であり、Φ は ξ について次数 1 の実数値同次函数である。また、''a'' の台の上では <math>\textstyle \det(\frac{\partial^2 \Phi}{\partial x_i\partial \xi_j})\neq 0</math> が成立することも、仮定する必要がある。これらの設定の下で、''a'' の次数がゼロであるなら、''T'' は ''L''<sup>2</sup> から ''L''<sup>2</sup> への有界作用素であることが示される<ref>{{citation |last  = Hörmander |first=Lars |authorlink= ラース・ヘルマンダー |date=1970|title=Fourier integral operators. I |journal=Acta Mathematica |publisher=Springer Netherlands |doi=10.1007/BF02392052 |url=http://www.springerlink.com/content/t202410l4v37r13m/fulltext.pdf |volume  = 127 |pages  = 79}}</ref>。

== 例 ==
フーリエ積分作用素を研究する動機の一つとして、波動作用素についての初期値問題に対する解作用素が挙げられる。実際、次のような問題を考える：

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

および

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

この問題の解は、次のように与えられる：

: <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>

上式右辺の積分は、一般的に収束するとは限らないので、振動積分として解釈される必要がある。またこの右辺は、形式的には二つのフーリエ積分作用素の和のように見えるが、各積分の係数は原点において滑らかではなく、したがって標準的な記号ではない。カットオフ函数を用いてこの特異性を除去するなら、その結果として得られる作用素は、初期値問題に対して、滑らかな函数を法とする解を提供する。したがって、初期値の特異性の伝播にのみ興味がある場合は、そのような作用素を考えれば十分である。実際、波動方程式において、音速 c が位置によって変動する場合でも、滑らかな函数を法とする解を提供するフーリエ積分作用素を見つけることは出来る。したがって、速度の変化する波動方程式の解の特異性の伝播を研究する際、およびより一般的な別の双曲型方程式を研究する際に、フーリエ積分作用素は有用な道具となる。

== 関連項目 ==
* [[超局所解析]]
* [[フーリエ変換]]
* [[擬微分作用素]]
* [[振動積分作用素]]

== 参考文献 ==
{{Reflist}}
* Elias Stein, ''Harmonic Analysis: Real-variable Methods, Orthogonality and Oscillatory Integrals''. Princeton University Press, 1993. ISBN 0-691-03216-5
* F. Treves, Introduction to Pseudo Differential and Fourier Integral Operators, (University Series in Mathematics), Plenum Publ. Co. 1981. ISBN 0-306-40404-4
* [[:en:Hans Duistermaat|J.J. Duistermaat]], Fourier Integral Operators, (Progress in Mathematics), Birkhäuser 1995. ISBN 0-8176-3821-0

{{DEFAULTSORT:ふうりえせきふんさようそ}}
[[Category:微分方程式]]
[[Category:超局所解析]]
[[Category:フーリエ解析]]
[[Category:調和解析]]
[[Category:ジョゼフ・フーリエ]]
[[Category:数学に関する記事]]