数学解析において、振動積分は分布の一種である。振動積分は、一見すると発散積分を用いているように見える多くの議論を厳密に証明する。多くの微分方程式の近似解演算子を振動積分で表現することが可能である。
意味
振動積分
正式には次のように書かれる

どこ
そして
は、で定義された関数です。
以下の特性を持つ:
- 機能
は実数値で、次数1の正同次関数 であり、から無限に微分可能である。
また、我々は以下のことを想定する。
サポートに関する批判的な点はありません
.そのような関数は、
は通常、位相関数と呼ばれます。文脈によっては、より一般的な関数が考慮され、それでも位相関数と呼ばれることがあります。 - 機能
シンボルクラスの1つに属する
一部の人にとって
直感的に言えば、これらの記号クラスは次数が正の同次関数という概念を一般化したものである。
位相関数と同様に
場合によっては関数
より一般的な、あるいは単に異なるクラスに分類される。
いつ
形式積分を定義する
すべての
、定義についてこれ以上議論する必要はありません
しかし、
振動積分は依然として分布として定義される
積分が収束しない場合でも、分布は
は、以下の事実を用いて定義される。
指数関数的に減衰する関数で近似できる
これを実現する一つの方法は、

ここで極限は緩増加超関数の意味で取られる。部分積分を用いると、この極限が適切に定義され、微分作用素が存在することを示すことができる。
結果として得られる分布
いかなる行動においても
シュワルツ空間では、

この積分が絶対収束する場所。演算子
は一意に定義されるものではなく、位相関数のみに依存するように選択することができる。
注文
シンボルの
、 そして
実際、任意の整数が与えられた場合
演算子を見つけることが可能です
したがって、上記の被積分関数は以下によって制限される。
のために
十分に大きい。これがシンボルクラスの定義の主な目的である。
例
多くのよく知られた分布は、振動積分として表すことができる。
フーリエ逆変換定理は、デルタ関数が、
に等しい

上記の振動積分を定義する最初の方法とガウス関数のフーリエ変換を適用すると、デルタ関数を近似するよく知られた関数列が得られます。

オペレーター
この場合は、例えば次のように与えられる。

どこ
は、
変数、そして
より大きい整数
実際、これによって
我々は持っています

そしてこの積分は絶対収束する。
任意の微分演算子のシュワルツ核は振動積分として記述できる。実際、

どこ
すると、
は

ラグランジュ分布との関係
任意のラグランジュ分布は、局所的に振動積分によって表現できる(Hörmander (1983)を参照)。逆に、任意の振動積分はラグランジュ分布である。これにより、振動積分として表現できる分布の種類が正確に記述される。
参考文献
- Hörmander、Lars (1983)、The Analysis of Linear Partial Differential Operators IV、Springer-Verlag、ISBN 0-387-13829-3
- Hörmander , Lars (1971), "フーリエ積分作用素 I", Acta Math. , 127 : 79–183 , doi : 10.1007/bf02392052