하나 이상의 unknown function(주로 $y, y(x), y(t)$ 로 표기)의 [[미분,derivative]]s을 포함한 [[미분방정식,differential_equation]].
[[독립변수,independent_variable]]가 한 개. (두 개 이상이면 [[편미분방정식,partial_differential_equation,PDE]].) - chk

'''ODE'''가 be of '''order''' $n$ 이라는 것: unknown function $y$ 의 $n$ 번째 [[미분,derivative]] is the highest derivative of $y$ in the equation
세는 법: of first order, of second order, etc.

따라서 first order ODE의 식은
 $F(x,y,y')=0$ (implicit form)
또는
 $y'=f(x,y)$ (explicit form)

마찬가지로, General form of ''n''th order ODE:
 $F(y,y',y'',\cdots,y^{(n)},x)=0$
 다른 표현으로 $F\left(x,y,\frac{dy}{dx},\cdots,\frac{d^ny}{dx^n}\right)=0$ (implicit form)
or
 $y^{(n)}=f(y,y',y'',\cdots,y^{(n-1)},x)$ (explicit form)
  normal form (Zill)

또는, (wpen)
Implicit form:
 $F(x,y,y',\cdots,y^{(n)})=0$
Explicit form:
 $F(x,y,y',\cdots,y^{(n-1)})=y^{(n)}$

[[TableOfContents]]

= MW =
Simple theories exist for
1st-order일때 [[적분인자,integrating_factor]] https://mathworld.wolfram.com/IntegratingFactor.html
2nd-order일때 [[Sturm-Liouville_theory]] https://mathworld.wolfram.com/Sturm-LiouvilleTheory.html
복잡해지면 [[Runge-Kutta_method]] https://mathworld.wolfram.com/Runge-KuttaMethod.html
그 외에 Collocation_method https://mathworld.wolfram.com/CollocationMethod.html
그리고 Galerkin_method https://mathworld.wolfram.com/GalerkinMethod.html

= 상미분방정식의 해 =
구간 $I$ 에서 정의된 함수 $f$ 가 $n$ 번 미분가능하고, $n$ 계 상미분방정식
 $F(x,y,y',\cdots,y^{(n)})=0$
이 있고 $\forall x\in I,$
 $F(x,f(x),f'(x),\cdots,f^{(n)}(x))=0$
이 성립하면 $f$ 는 구간 $I$ 에서 위 미분방정식의 해이다.

https://planetmath.org/solutionsofordinarydifferentialequation

----
Twins:
https://mathworld.wolfram.com/OrdinaryDifferentialEquation.html (long, comprehensive)
https://everything2.com/title/Ordinary+differential+equation
https://wiki.mathnt.net/index.php?title=상미분방정식

Up: [[미분방정식,differential_equation]]
Compare: [[편미분방정식,partial_differential_equation,PDE]]