上の関数 を
で定め、その畳み込みを
とする。 は 上で何回でも微分可能である。 の値を求めよ。
超関数と関数の畳み込み
、、 を使い、 や のような畳み込みを、具体的な関数の式や値として求められる
前提
- 畳み込み (大学数学 フーリエ解析・ラプラス変換)
- 区分的に滑らかな関数の超関数微分(ジャンプ公式) (大学院数学 フーリエ解析)
この技能までの道筋(70 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 三角関数の積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 無限等比級数と無限級数 (数学III 極限)
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
- 重積分と累次積分 (大学数学 微分積分)
- 畳み込み (大学数学 フーリエ解析・ラプラス変換)
- ルベーグ積分の計算 (大学院数学 測度論・実解析)
- 超関数と超関数の意味での微分 (大学院数学 フーリエ解析)
- 区分的に滑らかな関数の超関数微分(ジャンプ公式) (大学院数学 フーリエ解析)
説明
超関数 となめらかな関数 の畳み込み を、 を「 を平行移動したもの」に作用させた値として定めると、、、 という計算規則が成り立ちます。この技能では、ジャンプ公式で を通常の関数と の和に書き直してからこの規則を使い、 や のような畳み込みを、積分をほとんどせずに具体的な関数として求めます。微分方程式の基本解( をみたす )を使って の解を と書く場面の基礎になる計算です。
なぜそうしてよいのか
関数どうしの畳み込みは で、これは「関数 を表す超関数を、 に作用させた値」と読めます。そこで超関数 に対しても
と定めます( は を の関数として作用させる意味)。ここでは は何回でも微分できて、 との組がこの値をもつもの(たとえば が と、有界な関数のように増え方のゆるい局所可積分関数の和で、 が のように各導関数まで速く減衰する関数)を考えます。関数 のときは上の積分に一致します。
この定義から規則はすぐ出ます。 より 、同様に 。 で、 なら なので 。さらに で微分すると の中だけが動くので 。一方 なので、これは とも等しくなります。つまり「微分は畳み込みのどちらの因子に移してもよい(1 回分だけ)」のです。 についての微分と の作用の入れかえは、 がなめらかで との組が上のように良いので正当化できます。
これと畳み込みの線形性 を合わせると、ジャンプ公式で ( は通常の関数)と書けたとき
となり、δ の部分は代入と微分だけで済みます。 の部分が打ち消し合って消えるように組み合わせてあると、積分は 1 つも要りません。
手順
畳み込む超関数 (例: 、、)を、ジャンプ公式 をくり返し使って、通常の関数と の和に書き直す
通常の関数の部分が打ち消し合うかを確かめ、残る形 を確定する
δ の部分を規則で処理する: 、
通常の関数の部分 が残れば を計算する。計算しやすくなるなら で微分を 側へ移してから計算する
すべてを足して、 の関数(または指定された点での値)として答える
例題
を で 、 で の関数とし、 とする。超関数の意味の導関数を使って、 を の関数として求めよ。
例題の解答
手順 1: は で から へ跳び、 での導関数は 。ジャンプ公式より 。もう一度微分すると、 の部分は 、 の部分は なので 。
手順 2: 。通常の関数の部分は打ち消し合って消える。
手順 3: とすると なので
手順 4 は不要(通常の関数の部分が残らない)。
手順 5: 答えは 。(検算: 規則 より でも同じ結果になる。)
答え:
よくある誤り
の符号に引きずられて としてしまう誤り。 を で微分すると になるので符号が打ち消し合い、正しくは (例: )
微分を両方の因子に付けて としてしまう誤り。微分 1 回はどちらか一方にだけ移る。正しくは (例: であって ではない)
の導関数を各点の導関数 だけとし、跳びの を落としてしまう誤り。そうすると となり畳み込みも になってしまう。正しくは 、 で、
平行移動の向きを逆にして としてしまう誤り。定義 に を代入して、正しくは 、
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
上の関数 を で定め、 を 上の超関数とみなす。 を の超関数の意味での 階導関数とし、 とおく。 はコンパクトな台をもつ超関数であるから、畳み込み が定義される。 を の式で求めよ。
上の関数 を
で定め、その畳み込みを
とする。 を 上の緩増加超関数とみなし、超関数の意味での微分を用いて
とおく。急減少関数 に対して の値を求めよ。ただし超関数 の微分は で定め、局所可積分関数 と同一視される超関数は で作用するものとする。実数直線 上の関数 を
で定め、 を 上の超関数とみなす。超関数の意味での微分を用いて とおき、 とする。畳み込み は 上の 級関数である。その における値 を求めよ。上の関数 を , で定め、その畳み込み
を考える。 を 上の超関数とみなし、超関数の意味での微分を用いて、実数 に対する を の式で表せ。区間 の指示関数を とし、 上の関数 を 重の畳み込み
で定める。 を 上の超関数とみなし、その超関数の意味での 階導関数を とする。 はコンパクトな台をもつので、任意の 級関数 に対して が定まる。 のとき、 の値を求めよ。上の関数 を
で定める。 を 上の超関数とみなし、その超関数の意味での 階導関数を とする。 と の畳み込み は 上の連続関数として表される。 における を の式で求めよ。