微分方程式：解き、接続し、モデルを検算する
ソルバーの式だけでは解答になりません。区間、初期条件、接続規則を記し、切替以外で方程式を検算し、前提変更後に何が残るか説明します。
学習順路・例題の編集責任：University Reading List編集プロジェクト。 編集と選定の方法 · 出典確認日:
対象と編集責任
学部の常微分方程式入門と、その後の理論への橋渡しです。Leblは2026年の版6・6.11、Boyceらは2021年第12版の選択ルーズリーフ、Teschlは2012年AMS版と別に識別する著者公認予備版です。例は創作した無次元の紙上モデルで、実機や治療の手順、実測パラメータやソフト精度の保証ではありません。
出発点を選ぶ
無料の最初の順路が必要
Leblの一階部分から始め、系で必要な線形代数を付録で補います。解答を見る前に問題を試します。
講義指定の標準的な概説を使う
Boyceらの指定版を使い、方法、定性的問題、応用を結びます。紙の形式と別途必要な課程アクセスを確認します。
存在と力学を理解したい
入門計算と証明の準備をしてからTeschlへ進みます。無料予備版のページが刊行本と同一とは限りません。
三冊を比較する
Notes on Diffy Qs: Differential Equations for Engineers（微分方程式ノート：工学者のための微分方程式）
Jiří Lebl · 版: 6 · 2026
無料の解法の主軸
- 選ぶ場面
- 基礎微積分を知り、解説と演習から系へ進みたい。
- 別の教材が適する場面
- 別の指定書と同じ問番号が必要、または高度な力学系証明が主目的。
- 読む範囲
- 6.11の1.1–1.4節で一階基礎、1.6で自律系、1.7でEuler、後に3章で系。
- 限界と注意点
- 現行ファイルは2026年5月。解答は一部の問題に限られ、更新日と版番号は区別します。
選ぶ前に試す
最初の区間で積分因子からy=2−e^(−2t)を導き、ソルバーなしで検算します。
確認すること: y(0)=1とy′+2y=4の両方が必要です。積分定数が違えば指定初期値問題の解ではありません。
Elementary Differential Equations and Boundary Value Problems（初等微分方程式と境界値問題）
William E. Boyce; Richard C. DiPrima; Douglas B. Meade · 版: 12 · 2021
指定された広い応用科目
- 選ぶ場面
- 第12版を使う講義、または解法・応用を広く参照したい。
- 別の教材が適する場面
- 完全無料の本や一階だけの短い順路が必要。
- 読む範囲
- 2.1・2.4節で一階線形と線形・非線形の違い、2.7でEuler、2.8で存在・一意性。
- 限界と注意点
- ISBN9781119777694は2021年ルーズリーフ。電子版や利用権付き組合せは別商品で、紙の購入だけで課程アクセスは確定しません。
選ぶ前に試す
区分入力を描き、計算前に状態の連続性と切替時の左右の傾きを予測します。
確認すること: 有限な入力の段差は導関数を変え、状態を自動的には跳躍させません。切替での解の意味を示します。
Ordinary Differential Equations and Dynamical Systems
Gerald Teschl · 2012
無料の古典理論への橋
- 選ぶ場面
- 証明を追い、存在、一意性、依存、力学を理解したい。
- 別の教材が適する場面
- 基本積分がまだ難しい、または手順一覧だけが目的。
- 読む範囲
- 1–2章で一階の定性と初期値理論、行列準備後に3章の線形系。
- 限界と注意点
- 著者PDFはAMS許可の予備版で、変更や再掲載に制約があります。無料閲覧は編集した複製の配布許可ではありません。
選ぶ前に試す
各区間で初期値定理の仮定を何から確認するか、切替でなぜ接続が必要か説明します。
確認すること: 開区間内の係数・入力の正則性を確認します。連続入力を仮定する定理を不連続点全体へ説明なく適用しません。
準備を確認する
何の微積分が必要か
指数関数の微分、積分因子、関数と導関数の区別です。系には行列、理論には証明の準備も必要です。
初期条件もモデルの一部か
そうです。解族だけでは軌道は決まりません。条件の時刻と事象前後の連続性を示します。
方向場で何が分かるか
傾きと振舞いの可視化に役立ちますが、図だけで一意性や長時間挙動、誤差限界は証明できません。
成果物を作る六つの段階
準備できた成果物: 0 / 6
自己記録用のチェックであり、評価ではありません。チェック情報は当サイトに送信されません。
-
解く前にモデルを書く
読む範囲: Lebl1.1–1.4またはBoyce2.1。
作るもの: 式、初期値、無次元領域、二つの入力区間を記します。
確認すること: 切替後まで4を使う単一式は別の問題です。
-
解いて代入する
読む範囲: 同じ線形方程式部分。
作るもの: 任意定数を含めて第一枝を導き、定数を固定して残差を計算します。
確認すること: y′+2y−4=0と初期値を確認し、一時点の一致だけで済ませません。
-
切替で接続する
読む範囲: 一階モデルと題設。
作るもの: 1の左極限を求め、連続条件から第二枝を解きます。
確認すること: t−1を明示し、左右の導関数と共通の状態値を区別します。
-
定性を確認する
読む範囲: Lebl1.6またはTeschl1.3–1.5。
作るもの: 単調性と区間ごとの平衡を描きます。
確認すること: 切替前は2へ上昇、後は正の状態から0へ減衰。平衡も区間で変わります。
-
数値結果の条件を記す
読む範囲: Lebl1.7、Boyce2.7、理論の続きはTeschl2.7。
作るもの: 1をまたぐ刻みが誤った入力を使う可能性と、既知事象で格子を分割する仕様を書きます。
確認すること: これは再現仕様であって誤差証明ではありません。刻み幅と切替処理を報告します。
-
接続規則を変える
読む範囲: 元の導出と追加問題の更新条件。
作るもの: リセット版を解き、不連続が追加仮定である理由を説明します。
確認すること: 跳躍条件を旧入力から推測せず明記し、左右値と各開区間の式を確認します。
解答付きの例題
独自例題：入力の段差が傾きを変える
無次元t≥0でy′+2y=f(t)、y(0)=1。入力は0≤t<1で4、t≥1で0とし、yは1で連続とします。区間解、y(1)、左右の傾きと極限を求めます。
前提
値と状態は創作した厳密数値です。解は連続で区分的に微分可能、ODEは二つの開区間で要求します。不連続点では積分・区分解の意味を使い、そこに古典的導関数があるとは主張しません。状態更新はありません。
- 最初の区間は積分因子でy=2+Ce^(−2t)。初期値からC=−1、従ってy=2−e^(−2t)、連続性からy(1)=2−e⁻²です。
- t>1は同次式。接続してy=(2−e⁻²)e^(−2(t−1))、長時間では0へ向かいます。
- 左の傾き2e⁻²、右は−4+2e⁻²。差−4は入力低下に一致し、状態が連続でも導関数は不連続です。
解答と解釈
1より前は2−e^(−2t)、後は(2−e⁻²)e^(−2(t−1))、共通値2−e⁻²。先に上昇し後に減衰します。全体で連続微分可能とすると題設と違います。
結果を検証する
各枝を対応する式へ代入します。1の周囲の縮小区間で有界入力の積分はゼロへ向かい、状態跳躍がないことと整合します。一点のfの値は積分解を変えません。
前提を変えて考える
連続性を仮定せず、状態更新を追加する
二つの区間式と初期値を保ち、連続性をy(1+)=y(1−)+3という明示的事象規則に置き換えます。事象後の解を求め比較します。更新は入力段差から導いたものではありません。
- 第一枝は同じなのでy(1−)=2−e⁻²。新規則でy(1+)=5−e⁻²です。
- t>1は同じ同次式よりy=(5−e⁻²)e^(−2(t−1))。元との差は3e^(−2(t−1))。
- 両方の長時間極限は0ですが過渡値は違います。新軌道は旧有界入力式の連続積分解ではなく、更新をモデルに残す必要があります。
解答と解釈
係数が2−e⁻²から5−e⁻²へ変わります。極限が同じでも軌道は同じにならず、事象規則を削除できません。
結果を検証する
跳躍が3、事象後の残差がゼロか確認します。3を0にすれば元に戻ります。入力だけ変更し更新を実装しない数値法は別の問題を解きます。
よくある誤り
区間を消さない
対応する式を各領域に適用し、状態を接続します。
連続と微分可能を分ける
状態が連続でも左右微分は異なり得ます。有限入力の段差は状態の跳躍条件ではありません。
滑らかな図を検算としない
残差、初期・接続条件、数値設定を示します。図は事象を隠すことがあります。
次に進む前に
- 両枝を導き初期・接続条件を検算する。
- 切替点とその外で要求する式の意味を説明する。
- 同じ長期極限と同じ過渡解を区別する。
出典と版の確認
出典確認日:
- Lebl: official version, prerequisites and contents
著者の初回科目、現行6.11、該当一階節と限定的な解答範囲を確認しました。
- Wiley: twelfth-edition loose-leaf identity and contents
出版社の直接データで2021年第12版ルーズリーフISBNと目次、別売アクセスを確認しました。
- Teschl: author-authorized preliminary text and contents
許可された予備版PDFが理論の章順と閲覧・改変再掲載の違いを示します。
提案する学習活動であり、公式の課題や全巻通読の主張ではありません。