上の関数 を
で定め、 を 上の超関数とみなす。超関数の意味での導関数を用いると、実数 によって
と表される。ここで は原点におけるディラックのデルタ()であり、 はその超関数の意味での導関数である。組 をこの順に求めよ。
区分的に滑らかな関数の超関数微分(ジャンプ公式)
点 で跳びのある関数について、 をくり返し使い、 や を、通常の関数と の和で表せる
前提
- 超関数と超関数の意味での微分 (大学院数学 フーリエ解析)
この技能までの道筋(46 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- ルベーグ積分の計算 (大学院数学 測度論・実解析)
- 超関数と超関数の意味での微分 (大学院数学 フーリエ解析)
説明
区間ごとには滑らかだが、ある点で値や傾きが跳ぶ関数を超関数として微分するとき、毎回 から部分積分をやり直さなくても、「普通の導関数 跳びの大きさ 」というジャンプ公式で一気に書けるようになります。これをくり返し使うと、2 階・3 階の導関数や、 のような微分作用素を施した結果を、通常の関数と の和として表せます。常微分方程式の基本解(右辺が になる解)の確認や、偏微分方程式で境界や界面に現れる特異性の計算に使います。
なぜそうしてよいのか
記号を定めます。 が点 以外で 級で、片側極限 と がすべて有限に存在するとき(「区分的に滑らか」)、 での普通の導関数を と書きます(点 での値は決めなくてよい。1 点はルベーグ積分に影響しないので、 は局所可積分関数として超関数を定めます)。 は で定まる超関数で、 です。
超関数微分の定義で積分を点 で分け、それぞれ部分積分します。試験関数 は遠くで なので無限遠の境界項は消え、
となります。つまり です。 が で連続なら の項は出ず、超関数微分は普通の導関数と一致します。跳びのある点が複数あれば、それぞれの点の の項を足します。
2 階導関数を求めるには、この式をもう一度微分します。 も区分的に滑らかならジャンプ公式が使えて 、また定数倍の の微分は です()。よって
となり、「値の跳び」は の係数に、「傾きの跳び」は の係数に現れます。
手順
跳びのある点 を見つけ、各区間での式を書いて、普通の導関数 を区間ごとに計算する
片側極限 、 を計算し、跳び 、 を求める(右から左を引く)
ジャンプ公式を書く:
2 階はもう一度微分する: ( の項も微分して になることを忘れない)
微分作用素を施すときは各階の結果を係数をつけて足し、通常の関数の部分と の部分に分けて整理する
例題
をヘヴィサイド関数( で 、 で )とし、 とする。 上の超関数として ( は定数)が成り立つ。組 を求めよ。
例題の解答
手順 1: 跳びのある点は 。 では なので導関数もすべて 。 では で、
、。
このとき で で、 でも なので、通常の関数の部分は になる。
手順 2: 、。
手順 3: 。
手順 4: 。
手順 5: 足し合わせると
よって 、。
答え:
よくある誤り
2 階導関数を求めるとき、1 階で出た の項を微分し忘れ、 としてしまう誤り。 も微分されて になるので、正しくは (例題では )
跳びを左から右を引いて としてしまう誤り。部分積分の境界項から出る係数は、正しくは (例: で、 ではない)
値の跳びと傾きの跳びを取り違え、 の係数に 、 の係数に を入れてしまう誤り。例題で とするのは誤りで、正しくは の係数が傾きの跳び 、 の係数が値の跳び
1 階の導関数 の の項を、作用素の中の に入れるときに落とす( とする)誤り。正しくは で、例題ではここから が加わって の係数が になる
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
上の関数 を で定め、 を 上の超関数とみなす。 を の超関数の意味での 階導関数とし、 とおく。 はコンパクトな台をもつ超関数であるから、畳み込み が定義される。 を の式で求めよ。
上の関数 を
で定め、その畳み込みを
とする。 を 上の緩増加超関数とみなし、超関数の意味での微分を用いて
とおく。急減少関数 に対して の値を求めよ。ただし超関数 の微分は で定め、局所可積分関数 と同一視される超関数は で作用するものとする。実数直線 上の関数 を
で定め、 を 上の超関数とみなす。超関数の意味での微分を用いて とおき、 とする。畳み込み は 上の 級関数である。その における値 を求めよ。上の関数 を , で定め、その畳み込み
を考える。 を 上の超関数とみなし、超関数の意味での微分を用いて、実数 に対する を の式で表せ。区間 の指示関数を とし、 上の関数 を 重の畳み込み
で定める。 を 上の超関数とみなし、その超関数の意味での 階導関数を とする。 はコンパクトな台をもつので、任意の 級関数 に対して が定まる。 のとき、 の値を求めよ。上の関数 を
で定める。 を 上の超関数とみなし、その超関数の意味での 階導関数を とする。 と の畳み込み は 上の連続関数として表される。 における を の式で求めよ。
この技能の次に学べること
- 超関数と関数の畳み込み (大学院数学 フーリエ解析)