1. 선형성이란?
- 종속변수끼리는 서로 곱해져있지 않다.
- 종속변수가 Complex Function 안에 들어가있지 않다.
참고! Complex Function이란, 다항식을 제외한 지수, 로그, 삼각함수 등의 함수등을 말합니다.
참고! 독립변수는 흔히, y=f(x) 에서, x 라고 생각하시고, 종속변수는 y 라고 생각하시면 됩니다. 독립변수의 값의 변화에 따라 종속변수가 변하기 때문에 이름이 독립, 종속 변수 입니다.
2. 제차 (homogeneous) 란?
미분방정식에서 종속변수, 즉, y가 곱해져 있지 않은 항이 존재하면 제차(homogeneous)라고 합니다.
y′+p(x)y=0 같은 경우가 제차(homogeneous)이구요,
y′+p(x)y=r(x) 같은 경우가 비제차(nonhomogeneous)입니다.
1계 제차 선형상미분방정식은 변수분리를 통해 해를 구할 수 있습니다.
y′+p(x)y=0
dydx+p(x)y=0
dyy=−p(x)dx
ln|y|=−∫p(x)dx+c∗
∴y(x)=ce∫p(x)dx
참고! c=ec∗ 입니다.
만약 여기서 c=0을 선택하여 y=0 이란 해를 구한다면, 이는 모든 x에 대해서 성립하므로 이를 자명한 해(trivial solution)이라고 합니다.
1계 비제차 선형상미분방정식은 적분인자를 통해 구할 수 있습니다.
y′+p(x)y=r(x)
적분인자를 F(x)이라고 하겠습니다. 이를 양변에 곱하면,
F(x)y′+p(x)F(x)y=r(x)F(x) 입니다.
여기서, 잠시 곱의 미분 공식 (Fy)′=F′y+Fy′ 를 살펴보면, 위 식의 좌변인 F(x)y′s+pF(x)y 와 형태가 닮아있습니다.
따라서, (F(x)y)′=F′(x)y+F(x)y′=F(x)y′+p(x)F(x)y 라 가정하면,
F′(x)y+F(x)y′=F(x)y′+p(x)F(x)y,F′(x)=F(x)p(x) 를 구할 수 있고, 이를 본래 식에 넣어보면,
F′(x)y′(x)p(x)+F′(x)y(x)=r(x)p(x)F′(x),y′+p(x)y=r(x) 으로 원래 식과 같습니다.
따라서 가정이 옳았다는 것을 알 수 있습니다.
그렇다면, 이제 (Fy)′=F(x)y′+p(x)F(x)y=r(x)F(x),(F(x)y)′=q(x)F(x) 라 할 수 있고,
d(F(x)ydx=r(x)F(x)
∫d(F(x)y)=∫r(x)F(x)dx
F(x)y=∫r(x)F(x)dx+c
∴y=F−1(x)(∫r(x)F(x)dx+c)
이제 F(x)가 뭔지 구해봐야겠죠?
위의 과정 중 F′(x)=F(x)p(x) 를 통해 F를 구해보면,
dudx=F(x)p(x)
1F(x)dF(x)=p(x)dx
∫1F(x)dF(x)=∫p(x)dx
ln|F(x)|=∫p(x)dx
마찬가지로, 적분인자의 적분에서는 적분상수를 생략합니다.
∴F(x)=e∫p(x)dx
- 많이 부족한 대학생입니다. 글에 오류나 문제가 있다면 언제나 지적 부탁드립니다!
- 질문 또한 언제나 환영입니다!
- 항상 글의 난이도는 완전 처음 보시는 분들에게 도움이 되었으면 하는 바람에 최대한 쉽게 작성하고자 합니다. 따라서 약간 기술적으로 접근하는 부분이 있을 수 있습니다.
부족한 글 읽어주셔서 감사합니다!
'공업수학' 카테고리의 다른 글
[제 1장] 1.5-2 선형상미분방정식. Bernoulli 방정식. 개체군 역학 (0) | 2020.12.26 |
---|---|
[제 1장] 1.4-2 완전상미분방정식. 적분인자 (0) | 2020.12.25 |
[제 1장] 1.4-1 완전상미분방정식. 적분인자 (0) | 2020.12.25 |
[제 1장] 1.3 분리가능 상미분방정식. 모델링 (0) | 2020.12.25 |
[제 1장] 1.1 기본개념. 모델링 (0) | 2020.12.24 |