선형미방linear_DE

선형미방linear_DE (rev. 1.4)

ODE(상미분방정식,ordinary_differential_equation,ODE)의 경우
$\displaystyle a_0(x)y+a_1(x)y'+a_2(x)y''+\cdots+a_n(x)y^{(n)}+b(x)=0$
여기서
$\displaystyle a_0(x),\cdots,a_n(x)\textrm{ and }b(x):$ 미분가능한 함수 (선형함수가 아니어도 무방)

선형미분연산자linear_differential_operator

univariate 경우에는 다음 꼴.
$\displaystyle L=a_0(x)+a_1(x)\frac{d}{dx}+\cdots+a_n(x)\frac{d^n}{dx^n}$
여기서
$\displaystyle a_0(x),\cdots,a_n(x)$ : 미분가능한 함수. $\displaystyle (a_n(x)\ne0)$
$\displaystyle n$ (0, 1, 2...) : order of the operator. '연산자의 계수'라고 번역하려고 보니 계수가 coefficient라는 뜻도 있어서 영문으로 냅둠.
저런 연산자 $\displaystyle L$ 이 있다면, 방정식
$\displaystyle a_0(x)y+a_1(x)y'+a_2(x)y''+\cdots+a_n(x)y^{(n)}=b(x)$
는 다음과 같이 쓸 수 있다.
$\displaystyle Ly=b(x)$
$\displaystyle Ly(x)=b(x)$
$\displaystyle Ly=b$
이렇게 변수는 생략하기도 한다.