ordinary differential equation, ODE
독립변수,independent_variable가 한 개인 미분방정식.
(비교: 독립변수가 두 개 이상인 미분방정식은 편미분방정식,partial_differential_equation,PDE.)
(비교: 독립변수가 두 개 이상인 미분방정식은 편미분방정식,partial_differential_equation,PDE.)
특히 단일 변수에 관하여 하나 또는 그 이상의 종속변수,dependent_variable의 통상도함수(편도함수가 아닌 도함수)만을 포함하는 방정식.
ODE의 order
ODE가 be of order 이라는 것: unknown function 의 번째 미분,derivative is the highest derivative of in the equation
세는 법: of first order, of second order, etc.
ODE가 be of order 이라는 것: unknown function 의 번째 미분,derivative is the highest derivative of in the equation
세는 법: of first order, of second order, etc.
따라서 first order ODE의 식은
다른 표현으로 (implicit form)
or
Implicit form:
Explicit form:
(implicit form)
또는 (explicit form)
마찬가지로, General form of nth order ODE:다른 표현으로 (implicit form)
(explicit form)
또는, (wpen)normal form (Zill)
Implicit form:
1. 분류, sub? ¶
1계 선형 상미분방정식 1st order linear ODE
여기서 이면 동차(homogeneous).
2계 선형 상미분방정식 2nd order linear ODE
선형 vs 비선형
* 선형 상미분방정식
* 비선형 상미분방정식
* 비선형 상미분방정식
"상미분 방정식이 선형인 경우는 해석적인 방법으로 풀 수 있는 반면,
비선형인 경우에는 일반적인 해를 구하는 것이 힘들거나 불가능하다. 이러한 경우 근사적인 해를 구하는 접근법..." (wk)
비선형인 경우에는 일반적인 해를 구하는 것이 힘들거나 불가능하다. 이러한 경우 근사적인 해를 구하는 접근법..." (wk)
(선형성,linearity 유무에 따른 dichotomy? 이 둘을 벗어나는 경우는 없는? chk)
제차 vs 비제차 / 동차 vs 비동차 / ...
homogeneous(adj.)인지 아닌지 즉 homogeneity=homogeneousness(homogeneity homogeneousness)(n.) 성질 만족 여부에 따른 ODE의 dicnotomy? 이것도 이 둘을 벗어나는 경우가 절대 없는? chk
(이건 어떤 꼴로 정리했을 때 우변이 0인지 아닌지 여부로 판단하는거라 dichotomy dichotomy dichotomy맞을것같긴 한데.)
(이건 어떤 꼴로 정리했을 때 우변이 0인지 아닌지 여부로 판단하는거라 dichotomy dichotomy dichotomy맞을것같긴 한데.)
"homogeneous ODE nonhomogeneous ODE"
homogeneous ODE nonhomogeneous ODE
homogeneous ODE nonhomogeneous ODE
homogeneous ODE nonhomogeneous ODE
homogeneous ODE nonhomogeneous ODE
homogeneous ODE nonhomogeneous ODE
homogeneous ODE nonhomogeneous ODE
...
2. 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
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
3. 상미분방정식의 해 ¶
구간 에서 정의된 함수 가 번 미분가능하고, 계 상미분방정식
이 있고
이 성립하면 는 구간 에서 위 미분방정식의 해이다.
A solution of a given ODE is a relation between 독립변수,independent_variable and 종속변수,dependent_variable which satisfies the given ODE. (최정환)
4. tmp bmks en ¶
Twins:
https://mathworld.wolfram.com/OrdinaryDifferentialEquation.html (long, comprehensive)
https://everything2.com/title/Ordinary differential equation
https://wiki.mathnt.net/index.php?title=상미분방정식
수학백과: 상미분방정식 (easy, Zill내용)
https://mathworld.wolfram.com/OrdinaryDifferentialEquation.html (long, comprehensive)
https://everything2.com/title/Ordinary differential equation
https://wiki.mathnt.net/index.php?title=상미분방정식
수학백과: 상미분방정식 (easy, Zill내용)
----
- [1] order를 계가 아닌 차로 번역하기도 한다. https://youtu.be/1_TexM0CiyM?t=117
- [2] https://youtu.be/1_TexM0CiyM