初心者向け微分方程式と境界値問題

概要: このレッスンでは、落下物体や人口動態といった物理現象を微分方程式に翻訳する「数学的モデリング」のプロセスを紹介する。学生は、「方向場」を用いてこれらのモデルの定性的分析を行う強力なツールを学ぶ。

学習成果:

• 物理法則に基づいて微分方程式を定式化し、特に大気中を落下する物体に対するニュートンの第二法則を適用する。
• 一階微分方程式の解の挙動を視覚化するために方向場を構成し、解釈する。
• 安定解（平衡解）と終端速度を特定・分析し、システムの定性的な挙動を決定する。

概要: このレッスンでは、一階微分方程式の基本理論、解法技術、および実践的応用について扱う。積分因子や変数分離といった解析的手法に加え、オイラー法による数値近似も学ぶ。

学習成果:

• 微分方程式の次数を分類し、線形性と非線形性を判断する。
• 積分因子、変数分離、完全微分方程式およびベルヌーイ方程式の解法を用いて一階方程式を解く。
• 一階常微分方程式を用いて混合問題、放射性炭素年代測定、冷却則などの物理現象をモデル化する。

概要: このレッスンでは、定数係数を持つ二階線形微分方程式の理論と応用を扱い、斉次型と非斉次型の両方を考察する。異なる根の種類（実根、重根、複素根）に対応する解法を探索し、機械的・電気的システムへの応用を行う。

学習成果:

• 定数係数の一階線形斉次方程式を解き、ワロンスキー行列式を使って基本解集合の正当性を検証する。
• 非斉次方程式の特解を求めるために未定係数法とパラメータ変化法を適用する。
• 振動や回路といった物理系をモデル化・解析し、共鳴、拍動、過渡状態・定常状態の挙動などを識別する。

概要: このレッスンでは、二階から n 階までの線形微分方程式の理論を拡張する。存在・一意性の基本定理を確立し、定数係数または変数係数を持つ高階方程式の解法の体系的アプローチを提供する。

学習成果:

• n 階線形初期値問題の解の存在領域と一意性領域を決定する。
• ワロンスキー行列式を用いて関数の線形独立性を検証し、基本解集合を見つける。
• 特性多項式の実根、重根、複素根を特定することにより、定数係数の斉次方程式の一般解を構築する。

概要: このレッスンでは、初等関数では表現できない二階線形微分方程式に対して、べき級数を用いた解法を扱う。点の種類を区別し、フロベニウス法を活用する。

学習成果:

• 点の分類：微分方程式の普通点、正則特異点、不規則特異点を区別する。
• 級数解の導出：べき級数展開とフロベニウス法を用いて一般解を求め、収束半径を決定する。
• 特殊関数の分析：アイリ、エルミート、ルジャンドル、ベッセルといった古典的微分方程式を定義・解き、その多項式解や超越解を認識する。

概要: このレッスンでは、線形微分方程式に初期条件を付与した場合、ラプラス変換が代数方程式に変換する強力な積分変換としての役割を扱う。区分連続関数やインパルス入力といった複雑な駆動関数にも対応する。

学習成果:

• ラプラス変換の定義を行い、区分連続性と指数的有界性に基づいてその存在を確認する。
• 二階線形初期値問題（IVP）を s-領域に変換し、逆変換を適用することで解く。
• ヘヴィサイド（単位ステップ）関数と平行移動定理を用いて、不連続駆動関数を表現・変換する。

概要: このレッスンでは、一階線形微分方程式系の理論と応用を扱う。固有値や行列指数など線形代数のツールを用いて、複雑なシステムの状況に対応する。

学習成果:

• 任意の n 階線形微分方程式を n 個の一階方程式からなる系に変換する。
• 固有値と固有ベクトルを用いて定数係数の斉次線形系を解く。重複固有値の場合も含む。
• 基本行列を構成し、行列指数 \exp(\mathbf{A}t) と対角化を用いて系を解く。

概要: このレッスンでは、常微分方程式を解くための基本的な数値技法（一歩法から多歩予測補正法まで）を扱う。近似精度と数値安定性のバランスを重視する。

学習成果:

• オイラー法（明示）と後退オイラー法（陰的）を実装し、比較する。
• 局所切り捨て誤差、グローバル切り捨て誤差、丸め誤差の定量的評価と区別を行う。
• アダムス・バシフォース／モールトン法などの多歩法および予測補正ループを用いて、精度の向上を図る。

概要: このレッスンでは、位相平面技術を用いた非線形同次系の定性的解析を扱う。線形系の分類から始まり、ローレンツ系における極限輪やカオスといった複雑な挙動まで探求する。

学習成果:

• 固有値と位相図に基づいて線形・非線形系の臨界点を分類する。
• ヤコビ行列を用いて非線形同次系を線形化し、局所安定性を判定する。
• リャプノフの第二法則とポアンカレ＝ベンディクソン定理を用いて、安定性の証明や周期解の存在を示す。

概要: このレッスンでは、熱伝導、波動伝播、定常温度分布を記述する線形偏微分方程式の解法技術を紹介する。フーリエ級数と変数分離法を用いて偏微分方程式を常微分方程式に変換する。

学習成果:

• 二点境界値問題を解き、一意解、無限解、解なしとなる条件を特定する。
• オイラー＝フーリエ公式を用いて周期関数をフーリエ級数に展開し、偶関数・奇関数の性質を識別する。
• 変数分離法を用いて熱方程式、波動方程式、ラプラス方程式を解く。

概要: このレッスンでは、ストゥルム＝リウビル（S-L）問題の理論的枠組みを扱う。自己随伴演算子の性質、固有関数の直交性、および非斉次問題へのグリーン関数の応用を学ぶ。

学習成果:

• 正則および特異なストゥルム＝リウビル境界値問題を定義し、識別する。
• ラグランジュの恒等式を用いて演算子の自己随伴性と固有関数の直交性を証明する。
• 固有関数展開とグリーン関数を用いて非斉次境界値問題を解く。