DSolve

DSolve[eqn, y, x]は，独立変数を xとして，関数 yに関する微分方程式を解く．

DSolve[, , ... , , , ... , x] は，微分方程式のリストを解く．

DSolve[eqn, y, , , ... ]は，偏微分方程式を解く．

DSolve[eqn, y[x], x]は，関数yそのものでなくy[x]としての解を返す．

例：DSolve[y'[x] == 2 a x, y[x], x] .

微分方程式は，Dtで得られる全導関数ではなく，Dで得られるy'[x]のような導関数で記述されていなければならない．

DSolveに与えられる方程式のリストは，導関数を含まない代数方程式を含んでいてもよい．

DSolveは，連続した整数で指標付けされた積分定数を生成する．オプションGeneratedParametersがそれぞれの指標に適用する関数を指定する．デフォルト設定は，GeneratedParameters->Cであり積分定数C[1]，C[2]，... を生成する．

GeneratedParameters->(Module[{C}, C]&)とすると，別のDSolveの使用も含めてこの積分定数が一意的になるようにできる．

偏微分方程式において，DSolveは任意関数 C[n][... ]を生成する．

y'[0] == bのような方程式を与えることで，境界条件を指定することができる．

DSolveによって返された解に，Integrateが明示的に計算できない積分が含まれることがある．この際，このような積分には，局所的な名前をつけられたダミー変数が使われる．

DSolveは，Solveによる陰的な解を返すことがある．

DSolveは，任意の階数の定数係数線形常微分方程式を解くことができる．また，多くの2階までの非定数係数線形常微分方程式を解くことができる．

DSolveは解が"Kamke"のような標準的な参考書に与えられているような非線形常微分方程式の大部分を取り扱う一般の手続きを持つ．

DSolveによって線形または弱非線形偏微分方程式の一般解を得ることができる．真非線形偏微分方程式は通常一般解を持たない．

DSolveは純粋な微分方程式だけでなく，微分代数方程式も解くことができる．

参照セクション：1.5.9 ， 3.5.10.

次も参照：NDSolve，Solve，RSolve．

関連パッケージ：Calculus`VariationalMethods`， Calculus`VectorAnalysis`．

バージョン2の新関数．バージョン5.0で大幅改訂

他の例