常微分方程式

定義(常微分方程式) f(x0,x1,・・・,xn,t)を n+2 個の変数 (x0,・・・,xn,t) をもち,Rに値をもつ連続関数であるとする.このとき未知関数xとその微分 x',x'',・・・,x(n) を含む方程式
f(x,x',x'',・・・,x(n))=0
常微分方程式(ordinary differential equation)という.また,各tにおいて f(t,x(t),x'(t),・・・,x(n)(t))=0 を満たすCn級の関数 x(t) をこの微分方程式の(solution)という.