フーリエ解析・ラプラス変換の問題
で連続な関数 が指数位数であるとは、定数 , があって、すべての で となることをいう。このとき でラプラス変換 が定まる。また の畳み込みを で定める。次の事実は用いてよい。
- (畳み込み定理) が で連続かつ指数位数ならば、 も連続かつ指数位数であり、十分大きいすべての で
- で 、 で
- (一意性) で連続かつ指数位数の 2 つの関数のラプラス変換が、十分大きいすべての で一致すれば、2 つの関数は 上で一致する
で連続かつ指数位数の関数 が、すべての で
を満たすならば、 であることを証明せよ。
この問題で使うもの
- 畳み込み(説明と入口の問題)
- ラプラス変換と逆変換(説明と入口の問題)
この問題を解けるようになるまで(69 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 三角関数の積分
- 部分積分
- 無限等比級数と無限級数
- フーリエ級数
- 定積分の計算
- 定積分の置換・部分積分と偶関数・奇関数
- 広義積分
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 比例・反比例の式とグラフ
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 剰余の定理・因数定理と高次方程式
- 増減表と極値
- 関数の連続性と中間値の定理
- 平均値の定理
- 第 2 次導関数とグラフの凹凸
- 増減・凹凸・漸近線とグラフ
- テイラー展開
- べき級数と収束半径
- 複素数と 2 次方程式の虚数解
- オイラーの公式
- フーリエ変換
- 重積分と累次積分
- 畳み込み
- 分数関数の積分(部分分数分解)
- ラプラス変換と逆変換
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
積分の部分を畳み込みとみなし、方程式の両辺をラプラス変換して についての方程式にします。
ヒント 2
は と の畳み込み です。畳み込み定理で となります。
ヒント 3
とおくと が得られます。これを について解き、最後に一意性を使います。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
積分項を と の畳み込みとして正しく表している(2 点)
と が連続かつ指数位数であることを確認し、畳み込み定理を適用できることを述べている(2 点)
両辺のラプラス変換をとって を導き、 で に注意して を得ている(4 点)
が連続かつ指数位数でラプラス変換が一致することから、一意性で を結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
Step 1: 積分項を畳み込みとして書く. とおくと、 なので
である。よって与えられた方程式は と書ける。
Step 2: 畳み込み定理が使えること. は で連続で、 よりすべての で なので指数位数である。 も仮定より連続かつ指数位数である。したがって畳み込み定理により、 は連続かつ指数位数で、十分大きいすべての で が成り立つ。
Step 3: ラプラス変換をとる. とおく。 を十分大きくとり( で、 が定まり Step 2 の等式が成り立つ範囲)、方程式 の両辺のラプラス変換をとると、積分の線形性と から
両辺に を掛けて整理すると であり、 では なので
Step 4: 一意性による結論. は で連続で、 なので指数位数であり、 で である。Step 3 より と はどちらも連続かつ指数位数で、ラプラス変換が十分大きいすべての で一致する。したがって一意性により、 上で である。
(確認: のとき、部分積分を行うと となり、確かに が成り立つ。)