単元一覧 › 大学院数学 フーリエ解析

フーリエ解析の問題

難易度 3大学院入試の専門科目の標準レベル証明問題大学院数学 フーリエ解析

とおき、 に対して畳み込み

を考える。 を試験関数の空間とし、局所可積分関数 は超関数 と同一視する。超関数 の微分は で定める(したがって )。

このとき、 はほとんどすべての で絶対収束する積分として定まって となり、さらに超関数の意味で

が成り立つことを証明せよ。ルベーグ積分の基本定理(フビニ・トネリの定理など)は用いてよい。

この問題で使うもの

この問題を解けるようになるまで(46 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 分数のたし算・ひき算
  2. 小数の四則計算
  3. 正負の数の加法・減法
  4. 分数のかけ算・わり算
  5. 四則の混じった計算の順序
  6. 正負の数の乗除・累乗と四則混合
  7. 分配法則を使った計算のくふう
  8. 文字式の計算(同類項・分配法則)
  9. 乗法公式による展開
  10. 因数分解
  11. 3 次式までの展開と因数分解
  12. 微分係数と導関数の定義
  13. 多項式の微分
  14. 多項式の不定積分
  15. 等間隔にならんだ数の和
  16. 等差・等比数列の和と Σ
  17. 数列の極限
  18. 関数の極限
  19. 積と商の微分
  20. 合成関数の微分
  21. 円の周の長さと面積
  22. おうぎ形の弧の長さと面積
  23. 弧の長さからおうぎ形の中心角と面積を求める
  24. 三角形・四角形の面積
  25. 約数の見つけ方
  26. 素因数分解と約数の個数
  27. 平方根の意味と根号の簡単化
  28. 三平方の定理
  29. 特別な直角三角形の辺の比
  30. 弧度法と単位円による三角関数
  31. の極限
  32. 加法定理と 2 倍角・半角・積和の公式
  33. 三角関数の導関数
  34. 根号の乗除と加減
  35. 指数の拡張と指数関数
  36. 対数の定義と性質
  37. 自然対数の底
  38. 指数関数・対数関数の導関数
  39. 基本的な関数の不定積分
  40. 置換積分
  41. 部分積分
  42. 定積分の計算
  43. 定積分の置換・部分積分と偶関数・奇関数
  44. 広義積分
  45. ルベーグ積分の計算
  46. 超関数と超関数の意味での微分

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

まずトネリの定理で が に属することを確かめ、次に試験関数 に対して を計算する。畳み込みの積分と の積分の順序を入れ替えるのが方針である。

ヒント 2

鍵になるのは、各 について が成り立つこと( の言い換え)である。

ヒント 3

この積分を と に分け、それぞれ部分積分を 2 回行う。 の部分は を掛けた積分が になる。 の部分も同じように計算してみよ。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • トネリの定理と から がほとんど至るところ絶対収束で定まり となることを示している(2 点)

  • 超関数の微分の定義を使って と書き直している(1 点)

  • 二重積分の絶対可積分性( と など)を確かめたうえでフビニの定理により積分順序を交換している(2 点)

  • を、 と に分けた部分積分(境界項 , を正しく扱う)で示している(4 点)

  • 以上から任意の試験関数で を得て結論を述べている(1 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

ステップ 1: が定まり であること。 関数 は 上の非負可測関数である。トネリの定理より

内側の積分は と置換して なので、全体は である。再びトネリの定理(積分順序の交換)から、ほとんどすべての で となり、そのような で は絶対収束する積分として定まる。さらに

だから であり、特に は局所可積分で超関数とみなせる。

ステップ 2(補題): 任意の と に対して

の台はある有界区間に含まれるので、以下の部分積分で無限遠での境界項はすべて になる。積分を と に分ける。

(a) の部分: で、。部分積分を 2 回行うと


よって 。

(b) の部分: で、。同様に部分積分を 2 回行うと


よって 。

(a), (b) を足して を掛けると となり、 が示された(1 点 は測度 なので積分に影響しない)。

ステップ 3: 超関数の等式。 を任意にとり、 とおく。 なので は有界かつ可積分である。超関数の微分の定義より

ここで より

なので、フビニの定理により積分の順序を交換できる。 を使うと

は任意だったので、 において である。

以上より、 はほとんど至るところで定まる の関数であり、超関数の意味で が成り立つ。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題