実数全体で定義された関数 が、微分方程式
と初期条件 , を満たすとする。 を求めよ。
定数係数 2 階線形(非斉次)
未定係数法・定数変化法で特殊解を求め、斉次の一般解と合わせて非斉次の方程式を解ける
前提
- 定数係数 2 階線形(斉次) (大学数学 微分方程式)
- 1 階線形微分方程式 (大学数学 微分方程式)
この技能までの道筋(64 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 分数関数の積分(部分分数分解) (数学III 積分法)
- 変数分離形 (大学数学 微分方程式)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 増減表と極値 (数学II 微分法と積分法)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- 無限等比級数と無限級数 (数学III 極限)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- 三角関数の合成 (数学II 三角関数)
- 定数係数 2 階線形(斉次) (大学数学 微分方程式)
- 部分積分 (数学III 積分法)
- 1 階線形微分方程式 (大学数学 微分方程式)
説明
右辺に の関数 がある方程式 ( は定数)を解けるようになります。方針は「解を 1 つだけ見つけ(特殊解)、それに斉次方程式 の一般解を足す」ことです。特殊解は、 が多項式・指数関数・三角関数のときは未定係数法で、それ以外のときは定数変化法で求めます。ばねや電気回路に外から力や電圧を加える問題で、この形の方程式が出てきます。
なぜそうしてよいのか
左辺を と書きます。微分は和と定数倍を保つので、、 が成り立ちます。そこで を を満たす解の 1 つとし、 を任意の解とすると、 です。つまり は斉次方程式の解なので、( は斉次の一般解 )と書けます。逆に、この形の関数はすべて解です。したがって、特殊解が 1 つ見つかれば一般解がすべて得られます。
【未定係数法】 は関数の「型」を保ちます。たとえば なので、 なら と置けば、 を決めるだけで済みます。同じように、多項式を に入れると多項式になり、 と の組み合わせを入れると同じ組み合わせになります。ただし、 が特性方程式 の解のときは となってしまい、 が決まりません。このときは を掛けた を試します( が重解なら )。
【定数変化法】斉次の解 の定数を関数に変えて、 と置きます。 となるので、条件 を課します。すると となり、方程式に代入すると から が残ります。この連立方程式を解くと、()として 、 が得られます。あとはこれを積分します。
手順
斉次方程式 の一般解 を、特性方程式 から求める。
の型に合わせて特殊解の形を決める。 次多項式なら 次の一般の多項式、 なら 、 や なら と置く。ただし (多項式なら 、三角関数なら )が特性方程式の 重解のときは、置いた形に を掛ける。
置いた を方程式に代入し、両辺の係数を比べて未定の定数 を決める。
が上の型でないとき(例: )は定数変化法を使う。 として 、 を求め、 とする。
一般解を とする。初期条件があれば、足し合わせた後の に代入して を決める。
例題
微分方程式 の解のうち、、 を満たすもの を求めよ。
例題の解答
【手順1】特性方程式は で、解は です。よって です。
【手順2】右辺は で、 は特性方程式の解ではありません。そこで と置きます。
【手順3】、 を代入すると、 となるので、 です。よって です。
【手順5】一般解は です。 です。また より、 です。2 式の差をとると なので 、 です。
したがって です( とも書けます)。
検算: と の項は左辺に入れると になり、 の項は を与えます。初期条件も満たしています。
答え:
よくある誤り
初期条件を だけに代入して を決めてしまう誤り。上の例でいえば、、 として とするのは間違いです。正しくは、 を作ってから初期条件を代入します。
右辺の指数が特性方程式の解なのに、そのまま と置いてしまう誤り。 で とすると となり、 が決まりません。正しくは と置きます。代入すると より で、 となります。
右辺が だけだからといって と置いてしまう誤り。 の項があると が現れ、係数比較が成り立ちません。正しくは と置きます(例: では 、)。
のとき、右辺の多項式と同じ次数で置いてしまう誤り。 で とすると左辺は定数 になり、 と一致しません。 が特性方程式の解なので、正しくは と置きます。代入すると より 、 です。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
実数全体で定義された関数 が、微分方程式
と初期条件 , を満たすとする。 の値を求めよ。ただし、 は自然対数とする。実数全体で定義された関数 が、微分方程式 と初期条件 , を満たすとする。 を求めよ。
この技能を使う問題
実数全体で定義された 2 回微分可能な関数 が、微分方程式
と条件 を満たし、さらに区間 で有界であるとする。このとき、広義積分
の値を求めよ。で定義された関数 が、微分方程式
と初期条件 , を満たすとする。 を求めよ。実数全体で定義された関数 が、微分方程式 と初期条件 , を満たすとする。 を求めよ。
実数全体で定義された関数 が、微分方程式 と初期条件 , を満たすとする。 の値を求めよ。
で 2 回微分可能な関数 が、微分方程式
と初期条件 を満たし、さらに で有界であるとする。このとき、 における の最小値を求めよ。実数 の関数 が、連立微分方程式
と初期条件 をみたすとする。 を求めよ。実数 の関数 , が、連立微分方程式 と初期条件 , を満たすとする。 を求めよ。
区間 で 2 回微分可能な関数 が、微分方程式 と境界条件 , を満たすとする。 を求めよ。
の範囲で 1 次元の運動をする質量 の質点のハミルトニアンが、正準座標 と共役な正準運動量 を用いて
で与えられる。ここで , , は正の定数である。ポアソン括弧を と定義する。時刻 に , であった。, とおき、, , のあいだのポアソン括弧を用いて の満たす微分方程式を導くことにより、時刻 における の値を、, , , を用いて表せ。
この技能の次に学べること
- 境界値問題のグリーン関数 (大学数学 微分方程式)
- ラプラス変換による微分方程式の解法 (大学数学 フーリエ解析・ラプラス変換)
- 非斉次の連立線形微分方程式 (大学数学 微分方程式)
- オイラー・ラグランジュ方程式 (大学院数学 変分法・最適制御)
- 強制振動の定常解 (大学物理 振動・波動)
- ポアソン括弧の代数と保存量の生成 (大学物理 解析力学)
- 光の測地線と光の曲がり (大学院物理 一般相対論)