で定義された関数 についての微分方程式
の解のうち、初期条件 を満たすものを求めよ。
オイラー型(コーシー・オイラー型)方程式
()を と置き換えて定数係数の方程式に直し、一般解を求められる
前提
- 定数係数 2 階線形(斉次) (大学数学 微分方程式)
この技能までの道筋(62 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 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 階線形(斉次) (大学数学 微分方程式)
説明
( は定数、)の形の方程式を、オイラー型(コーシー・オイラー型)方程式といいます。係数が定数ではないので、そのままでは特性方程式の方法は使えません。そこで と変数を置き換えると、定数係数の 2 階線形斉次方程式に変わります。これを既に知っている方法で解き、最後に と戻せば一般解が求まります。
なぜそうしてよいのか
なので (つまり )と置けます。 とおき、 での微分を , と書きます。合成関数の微分より なので、 です。もう一度 で微分すると、積の微分と より となります。よって です。
これを方程式に代入すると 、つまり となります。 と 、 と の「次数がそろっている」ので、置き換えると がすべて消えて係数が定数になるのです。この方程式の特性方程式は 、すなわち です。( を元の方程式に代入しても となり、同じ式が出ます。)
定数係数の場合の一般解 , , などを で戻すと、( では と定める)、 なので、次のようになります。異なる実数解 なら 、重解 なら 、虚数解 ()なら ( は任意定数)。
手順
方程式を ()の形に整え、 を読み取る。 の係数が 1 でなければ全体をその係数で割る。
()と置き、, を代入して に直す。
特性方程式 を解く。
解の種類(異なる実数解・重解・虚数解)に応じて の一般解を書く。
, で に戻して一般解 を書く。初期条件があれば を決める。
例題
で微分方程式 を、条件 , のもとで解き、 を の式で求めよ。
例題の解答
手順1: すでに の形で、, である。
手順2: と置き、 とすると , より 、すなわち 。
手順3: 特性方程式 は より (異なる実数解)。
手順4: 。
手順5: より 。 なので、, 。引き算して 、よって 。したがって 。(検算: 。)
答え:
よくある誤り
特性方程式を としてしまう誤り。 なので、正しくは ()。例: なら であり、 ではない。
重解のとき としてしまう誤り。 の一般解 を戻すので、正しくは 。例: は (重解)で 。
虚数解 のとき としてしまう誤り。三角関数の中身も に戻すので、正しくは 。例: は で 。
のまま答えたり、初期条件 を と同一視したりする誤り。 なので ではたまたま一致するが、一般には であり、 に戻した式で条件を使うのが確実。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
で定義された関数 が、微分方程式
と初期条件 を満たすとする。このとき の値を求めよ。で定義された関数 が、微分方程式
と初期条件 を満たすとする。 と置き換えて方程式を解き、 を の式で表せ。
この技能を使う問題
区間 上の 級の実数値関数 で、境界条件 , を満たすものの全体を考える。この範囲で汎関数
の最小値を求めよ。を閉区間 上の実数値 級関数全体とし(端点では片側微分を考える)、
とおく。 に対して
と定め、 が停留曲線であるとは、すべての に対して が成り立つことと定める。このとき、 に属する停留曲線は ただ 1 つであり、さらに は の 上の最小値を与える唯一の関数であることを証明せよ。
ただし、変分法の基本補題( 上の連続関数 がすべての に対して を満たすならば )と、連続な係数をもつ 2 階線形同次常微分方程式 の 上の解全体が 2 次元の線形空間をなすことは用いてよい。
区間 上の 級の実数値関数 で、境界条件 , と積分制約
を満たすものの全体を とする。汎関数
の における最小値を求めよ。区間 上の 級の実数値関数 で、左端の境界条件 だけを満たすもの(右端の値 は自由)の全体を考える。この範囲で汎関数
の最小値を求めよ。区間 上の 級の実数値関数 で、両端の境界条件 を満たすものの全体を とする。汎関数 の における最小値を求めよ。
空間的に平坦で、非相対論的な一様気体だけが宇宙のエネルギー密度を担う宇宙(アインシュタイン–ド・ジッター宇宙)を考える。背景のスケール因子は 、ハッブルパラメータは である。背景の膨張に対して気体の圧力は無視できるが、ゆらぎに対しては圧力が効くものとする。
気体の温度は外部(背景放射との強い熱的結合)によって に保たれている。そのため気体は等温的にふるまい、圧力ゆらぎと密度ゆらぎは で結ばれる。ここで音速は である。
ホライズンより十分小さいスケールで、ニュートン近似の線形摂動論を用いる。共動波数 のフーリエモードの密度コントラストを とする。 を重力定数、 を背景密度として、共動ジーンズ波数 を
で定義する(この模型では は時間によらない定数になる)。のモードの成長モードは の形のべき則に従う。指数 を と を用いて表せ。
この技能の次に学べること
- 自由端と自然境界条件 (大学院数学 変分法・最適制御)
- 密度ゆらぎの線形成長と成長因子 (大学院物理 宇宙論)