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

区分的に滑らかな関数の超関数微分(ジャンプ公式)

点 で跳びのある関数について、 をくり返し使い、 や を、通常の関数と の和で表せる

前提

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

読み込み中…

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

一覧で見る(前提が先)
  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. 定積分の計算 (数学II 微分法と積分法)
  43. 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
  44. 広義積分 (大学数学 微分積分)
  45. ルベーグ積分の計算 (大学院数学 測度論・実解析)
  46. 超関数と超関数の意味での微分 (大学院数学 フーリエ解析)

説明

区間ごとには滑らかだが、ある点で値や傾きが跳ぶ関数を超関数として微分するとき、毎回 から部分積分をやり直さなくても、「普通の導関数 跳びの大きさ 」というジャンプ公式で一気に書けるようになります。これをくり返し使うと、2 階・3 階の導関数や、 のような微分作用素を施した結果を、通常の関数と の和として表せます。常微分方程式の基本解(右辺が になる解)の確認や、偏微分方程式で境界や界面に現れる特異性の計算に使います。

なぜそうしてよいのか

記号を定めます。 が点 以外で 級で、片側極限 と がすべて有限に存在するとき(「区分的に滑らか」)、 での普通の導関数を と書きます(点 での値は決めなくてよい。1 点はルベーグ積分に影響しないので、 は局所可積分関数として超関数を定めます)。 は で定まる超関数で、 です。

超関数微分の定義で積分を点 で分け、それぞれ部分積分します。試験関数 は遠くで なので無限遠の境界項は消え、


となります。つまり です。 が で連続なら の項は出ず、超関数微分は普通の導関数と一致します。跳びのある点が複数あれば、それぞれの点の の項を足します。

2 階導関数を求めるには、この式をもう一度微分します。 も区分的に滑らかならジャンプ公式が使えて 、また定数倍の の微分は です()。よって

となり、「値の跳び」は の係数に、「傾きの跳び」は の係数に現れます。

手順

  1. 跳びのある点 を見つけ、各区間での式を書いて、普通の導関数 を区間ごとに計算する

  2. 片側極限 、 を計算し、跳び 、 を求める(右から左を引く)

  3. ジャンプ公式を書く:

  4. 2 階はもう一度微分する: ( の項も微分して になることを忘れない)

  5. 微分作用素を施すときは各階の結果を係数をつけて足し、通常の関数の部分と の部分に分けて整理する

例題

をヘヴィサイド関数( で 、 で )とし、 とする。 上の超関数として ( は定数)が成り立つ。組 を求めよ。

例題の解答

手順 1: 跳びのある点は 。 では なので導関数もすべて 。 では で、
、。
このとき で で、 でも なので、通常の関数の部分は になる。

手順 2: 、。

手順 3: 。

手順 4: 。

手順 5: 足し合わせると

よって 、。

答え:

よくある誤り

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

入口の問題

この技能を使う問題

この技能の次に学べること