数理科学 II
（2009年4月〜2009年7月） Last modified: 2009/7/4

担当　平地 健吾 ([my last name]@ms.u-tokyo.ac.jp)

このページでは数理科学IIの講義メモをのせます。 教科書は稲見武夫著　常微分方程式　岩波書店 場所：761教室 時間：水曜２限　１０：４０〜１２：１０

●７月１日の講義

・行列の指数関数の計算方法
・定数係数線形方程式系の解の無限遠での挙動と固有値の関係
・非斉次方程式の解が有界になるための十分条件

・高階の定数係数常微分方程式のロンスキアン
・変数係数の常微分方程式の解法（逐次近似で解が大域的に存在することを示す）
・非斉次方程式の場合も定数変化法で解ける
・定数係数の一階線形方程式系の解は行列の指数関数を用いて表示できる

・強制振動の方程式の解の挙動（共鳴）
・高階の定数係数常微分方程式の解法（斉次方程式の基本解の求め方）

・２階の定数係数常微分方程式の解法の続き：非斉次項をもつ場合
・Wronskianの満たす微分方程式
・特別な形の非斉次項をもつ場合の解法

・線形代数を用いた２階の定数係数常微分方程式の解法（微分作用素の固有値）
・解の無限大での挙動

・一般解の包絡線は解になることの証明
・２階の定数係数常微分方程式の解法
・２階の定数係数常微分方程式の解法の続き：基本解が解空間の基底であることの証明
・複素変数の指数関数の導入

・リプシッツ条件下での大域的な解の一意性の証明
・一意性をもちいて変数分離型の常微分方程式の解法を見直す
・包絡線の方程式

・平面上では閉形式は完全であることの証明
・穴があいている領域では閉形式は完全とは限らない
・星形領域では閉形式は完全であることの略証
・積分因子の定義と計算例

・初等的解法：変数分離形と同次形
・１階線形常微分方程式の解法（定数変化法）
・完全微分方程式の導入
・関数の外微分と１形式
・１形式が完全であるための必要条件
・１形式の線積分；完全形式の閉曲線での積分は０

・逐次近似による解の構成方法と一意性の証明(続き)
・リプシッツ条件下での解の存在と一意性（連立１階方程式の場合）
・高階の常微分方程式を一階の連立方程式に変換する方法
・高階の常微分方程式の階の存在と一意性

・先週紹介した微分方程式の解法（変数分離形）
・常微分方程式の一般形
・正規形の常微分方程式の解の存在（ペロンの定理）とリプシッツ条件の下での一意性（１未知関数の１階方程式の場合）
・逐次近似による解の構成方法と一意性の証明（逐次近似の説明まで）

・自然法則の微分方程式としての表現の例（自由落下、バクテリアの増殖、Logistic方程式、空気抵抗のある落下、バネによる質点の運動）
・原点中心の円の微分方程式、半径 r の円の微分方程式