リーマン・ルベーグの補題

数学において，リーマン・ルベーグの補題（）は、調和解析とにおいて重要な定理である．ベルンハルト・リーマンとアンリ・ルベーグにちなんで名づけられた。

補題は  関数のフーリエ変換あるいはラプラス変換が無限遠において消えることを述べている．

 主張 
 が  上 可積分，つまり  のルベーグ積分が有限のとき， のフーリエ変換は次を満たす：

他のバージョン
リーマン・ルベーグの補題は他のいろいろな状況において成り立つ．

  が  可積分で  に台を持つとき，リーマン・ルベーグの補題は  のラプラス変換に対しても成り立つ．つまり，半平面  内で  としたとき

となる．

 フーリエ級数に対するものもある： が区間上の可積分関数ならば， のフーリエ係数は  のとき  に近づく：

これは  を区間の外では 0 として拡張し，実数直線全体でのバージョンを適用することで分かる．

 抽象的な測度空間に対しても指数関数を抽象的な関数に変えたものが成り立つ．しかし証明は複雑ではない．記事末尾に挙げた文献を参照．

応用
リーマン・ルベーグの補題は積分の漸近近似の有効性を証明するのに使うことができる．やなどの厳密な取り扱いは，リーマン・ルベーグの補題に基づいている．

証明

1次元の場合に示す．高次元の場合の証明も同様である．まず  がコンパクト台を持つ滑らかな関数であるとする．すると部分積分により

 が任意の可積分関数のときは，コンパクト台を持つ滑らかな関数  によって  ノルムで近似できる． となるように  をとる．すると

となり，これは任意の  に対して成り立つから，定理が従う．

参考文献


  Researchgate|https://www.researchgate.net/publication/301201556_Abstract_Generalized_Riemann-Lebesgue_Lemma

Category:漸近解析
Category:調和解析
Category:補題
Category:解析学の定理
Category:調和解析の定理
るへえくのほたい
Category:アンリ・ルベーグ
Category:数学に関する記事
Category:数学のエポニム