微分方程式

デジタル大辞泉

びぶん‐ほうていしき〔‐ハウテイシキ〕【微分方程式】

読み方：びぶんほうていしき

変数とその関数との関係を導関数を含む形で表した方程式。独立変数が一つの常微分方程式、二つ以上の偏微分方程式がある。

ウィキペディア

微分方程式

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/12/26 18:59 UTC 版)

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

解析学において、微分方程式（びぶんほうていしき、（英: differential equation）とは、未知関数とその導関数の関係式として書かれている関数方程式である^[1]。

数学の応用分野においてしばしば、異なる2つの変数の関係を調べることが行われる。2変数を対応付ける関数があらわになっていなくても、その導関数（の満たすべき方程式）を適当な仮定の下で定めることができ、そこから目的とする関数を探し出すことができる。

物理法則を記述する基礎方程式は、多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。

方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等は元々、微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である^[1]。

微分方程式は大きく線型微分方程式と非線型微分方程式に分類される。線形微分方程式の例として、例えばシュレーディンガー方程式が挙げられる。シュレーディンガー方程式は、量子系の状態の時間発展を記述する方法の一つとして広く用いられている。非線型微分方程式の例として、例えばナビエ–ストークス方程式（NS方程式）が挙げられる。NS方程式は流体の運動を記述する基本方程式であり、物理学の応用としても重要な方程式である。しかし、NS方程式の解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。

→その他、有名な微分方程式についてはCategory:微分方程式を参照

概要

微分方程式
ナビエ–ストークス方程式。障害物の周囲の気流のシミュレーションに用いられる。
範囲 自然科学 工学 天文学 物理学 化学 生物学 地質学 応用数学 連続体力学 カオス理論 力学系 社会科学 経済学 個体群動態論
分類
タイプ 常 偏 微分代数（英語版） 積分微分 分数階 線型 非線形 変数のタイプにより 独立変数と従属変数（英語版） 自律微分方程式 複素 Coupled / Decoupled 完全（英語版） 斉次（英語版） / 非斉次（英語版） 特徴 階数（英語版） 作用素 記法
過程との関係 差分 (離散類似) 確率 確率偏（英語版） 遅延（英語版）
解
一般的な話題 ピカール＝リンデレーフの定理 コーシー＝コワレフスカヤの定理 ペアノの存在定理 ロンスキアン Phase portrait（英語版） 相空間 リャプノフ / 漸近安定性 / 指数安定性（英語版） 収束率（英語版） 級数（英語版） / 積分解 数値積分 ディラックのデルタ関数
解法（英語版） Inspection 特性曲線法 広田の方法 常微分方程式の数値解法 オイラー ルンゲ・クッタ 線型多段法 狙い撃ち法 偏微分方程式の数値解法 有限差分 (クランク・ニコルソン（英語版）) 有限要素 有限体積 ガレルキン（英語版） 可積分アルゴリズム 精度保証付き数値計算 計算機援用証明 積分因子 積分変換 摂動論 変数分離 未定係数
人物 (海外) アイザック・ニュートン レオンハルト・オイラー エミール・ピカール ユゼフ・マリア・ハーネー＝ウロンスキー エルンスト・リンデレフ（英語版） ルドルフ・リプシッツ オーギュスタン＝ルイ・コーシー ジョン・クランク（英語版） フィリス・ニコルソン（英語版） カール・ルンゲ マルティン・クッタ ソフィア・コワレフスカヤ ポール・パンルヴェ イズライル・ゲルファント ウラジーミル・アーノルド ヴォルフガンク・ウォルター テレンス・タオ ピーター・オルバー
日本人 福原満洲雄 溝畑茂 加藤敏夫 藤田宏 増田久弥 木村俊房 広田良吾 佐藤幹夫 神保道夫
表 話 編 歴

微分方程式は方程式に含まれる導関数の階数^{[注釈 1]}によって分類され、最も高い階数が n 次である場合、その微分方程式を n 階微分方程式^{[注釈 2]}と呼ぶ^[1]。

いずれの場合も未知関数は一つとは限らず、また、連立する複数の微分方程式を同時に満たす関数を解とするような連立方程式の形を取る場合もある^[1]。これは連立 n 階微分方程式などと呼ばれる。

常微分方程式と偏微分方程式

→詳細は「常微分方程式」および「偏微分方程式」を参照

一変数関数の導関数の関係式で書かれる常微分方程式と多変数関数の偏導関数を含む関係式で書かれる偏微分方程式に分かれる^[1]。

常微分方程式とは例えば、

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\!f(x)-f(x)=0}$

ポータル 数学