技能一覧 › 大学院数学 フーリエ解析

超関数と関数の畳み込み

、、 を使い、 や のような畳み込みを、具体的な関数の式や値として求められる

前提

この技能までの道筋(70 技能)
算数中学高校大学大学院

読み込み中…

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

一覧で見る(前提が先)
  1. 分数のたし算・ひき算 (算数 計算と数のきまり)
  2. 小数の四則計算 (算数 計算と数のきまり)
  3. 正負の数の加法・減法 (中学数学 数と式)
  4. 分数のかけ算・わり算 (算数 計算と数のきまり)
  5. 四則の混じった計算の順序 (算数 計算と数のきまり)
  6. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  7. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  8. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  9. 乗法公式による展開 (中学数学 数と式)
  10. 因数分解 (中学数学 数と式)
  11. 3 次式までの展開と因数分解 (数学I 数と式)
  12. 微分係数と導関数の定義 (数学II 微分法と積分法)
  13. 多項式の微分 (数学II 微分法と積分法)
  14. 多項式の不定積分 (数学II 微分法と積分法)
  15. 等間隔にならんだ数の和 (算数 計算と数のきまり)
  16. 等差・等比数列の和と Σ (数学B 数列)
  17. 数列の極限 (数学III 極限)
  18. 関数の極限 (数学III 極限)
  19. 積と商の微分 (数学III 微分法)
  20. 合成関数の微分 (数学III 微分法)
  21. 円の周の長さと面積 (算数 平面図形)
  22. おうぎ形の弧の長さと面積 (算数 平面図形)
  23. 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
  24. 三角形・四角形の面積 (算数 平面図形)
  25. 約数の見つけ方 (算数 整数の性質)
  26. 素因数分解と約数の個数 (算数 整数の性質)
  27. 平方根の意味と根号の簡単化 (中学数学 数と式)
  28. 三平方の定理 (中学数学 相似と三平方の定理)
  29. 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
  30. 弧度法と単位円による三角関数 (数学II 三角関数)
  31. の極限 (数学III 極限)
  32. 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
  33. 三角関数の導関数 (数学III 微分法)
  34. 根号の乗除と加減 (中学数学 数と式)
  35. 指数の拡張と指数関数 (数学II 指数関数と対数関数)
  36. 対数の定義と性質 (数学II 指数関数と対数関数)
  37. 自然対数の底 (数学III 極限)
  38. 指数関数・対数関数の導関数 (数学III 微分法)
  39. 基本的な関数の不定積分 (数学III 積分法)
  40. 置換積分 (数学III 積分法)
  41. 三角関数の積分 (数学III 積分法)
  42. 部分積分 (数学III 積分法)
  43. 無限等比級数と無限級数 (数学III 極限)
  44. フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
  45. 定積分の計算 (数学II 微分法と積分法)
  46. 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
  47. 広義積分 (大学数学 微分積分)
  48. 小数と分数のまじった計算 (算数 計算と数のきまり)
  49. 逆算(□ を求める) (算数 計算と数のきまり)
  50. 1 次方程式の解き方 (中学数学 方程式)
  51. 比例・反比例の式とグラフ (中学数学 関数)
  52. 関数 の式と変域 (中学数学 関数)
  53. 平方完成と 2 次関数のグラフ (数学I 2次関数)
  54. 2 次不等式 (数学I 2次関数)
  55. 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
  56. 増減表と極値 (数学II 微分法と積分法)
  57. 関数の連続性と中間値の定理 (数学III 極限)
  58. 平均値の定理 (数学III 微分法)
  59. 第 2 次導関数とグラフの凹凸 (数学III 微分法)
  60. 増減・凹凸・漸近線とグラフ (数学III 微分法)
  61. テイラー展開 (大学数学 微分積分)
  62. べき級数と収束半径 (大学数学 微分積分)
  63. 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
  64. オイラーの公式 (大学数学 微分積分)
  65. フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
  66. 重積分と累次積分 (大学数学 微分積分)
  67. 畳み込み (大学数学 フーリエ解析・ラプラス変換)
  68. ルベーグ積分の計算 (大学院数学 測度論・実解析)
  69. 超関数と超関数の意味での微分 (大学院数学 フーリエ解析)
  70. 区分的に滑らかな関数の超関数微分(ジャンプ公式) (大学院数学 フーリエ解析)

説明

超関数 となめらかな関数 の畳み込み を、 を「 を平行移動したもの」に作用させた値として定めると、、、 という計算規則が成り立ちます。この技能では、ジャンプ公式で を通常の関数と の和に書き直してからこの規則を使い、 や のような畳み込みを、積分をほとんどせずに具体的な関数として求めます。微分方程式の基本解( をみたす )を使って の解を と書く場面の基礎になる計算です。

なぜそうしてよいのか

関数どうしの畳み込みは で、これは「関数 を表す超関数を、 に作用させた値」と読めます。そこで超関数 に対しても

と定めます( は を の関数として作用させる意味)。ここでは は何回でも微分できて、 との組がこの値をもつもの(たとえば が と、有界な関数のように増え方のゆるい局所可積分関数の和で、 が のように各導関数まで速く減衰する関数)を考えます。関数 のときは上の積分に一致します。

この定義から規則はすぐ出ます。 より 、同様に 。 で、 なら なので 。さらに で微分すると の中だけが動くので 。一方 なので、これは とも等しくなります。つまり「微分は畳み込みのどちらの因子に移してもよい(1 回分だけ)」のです。 についての微分と の作用の入れかえは、 がなめらかで との組が上のように良いので正当化できます。

これと畳み込みの線形性 を合わせると、ジャンプ公式で ( は通常の関数)と書けたとき

となり、δ の部分は代入と微分だけで済みます。 の部分が打ち消し合って消えるように組み合わせてあると、積分は 1 つも要りません。

手順

  1. 畳み込む超関数 (例: 、、)を、ジャンプ公式 をくり返し使って、通常の関数と の和に書き直す

  2. 通常の関数の部分が打ち消し合うかを確かめ、残る形 を確定する

  3. δ の部分を規則で処理する: 、

  4. 通常の関数の部分 が残れば を計算する。計算しやすくなるなら で微分を 側へ移してから計算する

  5. すべてを足して、 の関数(または指定された点での値)として答える

例題

を で 、 で の関数とし、 とする。超関数の意味の導関数を使って、 を の関数として求めよ。

例題の解答

手順 1: は で から へ跳び、 での導関数は 。ジャンプ公式より 。もう一度微分すると、 の部分は 、 の部分は なので 。

手順 2: 。通常の関数の部分は打ち消し合って消える。

手順 3: とすると なので

手順 4 は不要(通常の関数の部分が残らない)。

手順 5: 答えは 。(検算: 規則 より でも同じ結果になる。)

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題