[공업수학] 2.2-1 상수계수를 가지는 제차 선형 상미분 방정식 (Homogeneous Linear ODEs with Constant Coeffici
공업수학(상)(Kreyszig)(Kreyszig)(10판) 『Kreyszig 공업수학, 10판』 상권. 이 책은 반세기 동안 전 세계적으로 가장 널리, 그리고 가장 많이 채택되어 사용되고 있는 Erwin Kreyszig 교수가 저술한 Advanced Engi
subprofessor.tistory.com
#공업수학
![](https://blog.kakaocdn.net/dn/bp3Z5d/btrVSuw92p5/JKOCfmQuRFQlpbmyUc4sq1/img.png)
제차 ODE가 거의 다 끝나갑니다. 이번 시간에 오일러-코시 방정식을 배우고 나면 사실상 2계 제차 ODE는 더 배울 것이 없습니다. Wronskian은 두 해가 basis인지 확인할 수 있는 Tool인 동시에 비제차 방정식의 해를 구하는 데 도움이 되는 Tool이라 2계 제차 ODE의 핵심적인 내용은 이번 포스팅이 마지막이 되겠네요
1. Euler-Cauchy Equation
다음과 같은 형태의 ODE를 오일러-코시 방정식(Euler-Cauchy Equation)이라 합니다
![](https://blog.kakaocdn.net/dn/bocRbU/btrVOygoNOR/7vQYiT1JVLIFcx9zCMhrsK/img.png)
이런 형태의 미분 방정식은 해를 다항함수라고 가정하고 접근해야 합니다. 다항함수를 미분하면 차수가 1 감소하니, 주어진 미분방정식의 모든 항의 차수가 같게 됩니다. 아래와 같이 설정해주고 진행해볼게요
![](https://blog.kakaocdn.net/dn/Ww8sO/btrVOBRH5gm/z4OqktLCb6TLPqPmgZYLf1/img.png)
y, y', y''를 오일러-코시 방정식에 대입하면
![](https://blog.kakaocdn.net/dn/bpTdBf/btrVMYz4Sq5/rxQYBK1E6jGSEWYtE2R7Ak/img.png)
![](https://blog.kakaocdn.net/dn/HdKOn/btrVKZ60ttV/18ZjQsnKYIpdVOWvegVrE0/img.png)
![](https://blog.kakaocdn.net/dn/be5Vzu/btrVNhfbsdS/Phuc92cVr54gYMesPgkZkK/img.png)
위 식을 보조방정식(auxiliary equation)이라고 부르는데, 2.2에서 나온 특성방정식(characteristic equation)과 같은 느낌입니다. 상수계수 미분방정식의 경우 자연로그를 밑으로 하는 지수함수의 지수를 결정했다면, 오일러-코시 방정식의 경우 다항함수 x^m의 차수 m을 결정합니다. 둘 다 같은 용도인데 왜 다르게 불리는지는 잘 모르겠어요. 원서에도 따로 나와있는 내용이 없습니다
<CASE I>
![](https://blog.kakaocdn.net/dn/Opk3Y/btrVRCaZ54J/Q2Qg1mexad8D3sHTXZg4y1/img.png)
<CASE II>
![](https://blog.kakaocdn.net/dn/b0PDml/btrVOwbRSD4/89aSiWf5eYa3BONF32VCL1/img.png)
두 번째 기저는 상수계수 미분방정식과 마찬가지로 Reduction of Order를 이용해서 구할 수 있습니다
![](https://blog.kakaocdn.net/dn/bchqbG/btrVP9AgTPZ/oD5Bx3NFam5Kw1uKChUgnK/img.png)
보조방정식(auxiliary equation)의 해는 중근의 경우 m=-(a-1)/2 가 나옵니다 (직접 해를 구해봅시다)
![](https://blog.kakaocdn.net/dn/LHuKk/btrVMZscJyE/jt8ZqjwHIfA73KG7O1F0pK/img.png)
<CASE III>
![](https://blog.kakaocdn.net/dn/98nOR/btrVOh0ij6f/dKVIrnqkmuw2FxVc797jg1/img.png)
기저의 형태가 특이하지요? 상수계수 미분방정식의 특성방정식이 허근일 경우 삼각함수 꼴로 유도되는 과정과 비슷합니다
![](https://blog.kakaocdn.net/dn/wzc14/btrVStkIkx0/kI0qQ1wr8duKJ1PZgY4Esk/img.png)
이 부분이 조금 난해하게 느껴질 수 있는데, 정상입니다. x=e^lnx 로 바꾸어 생각한다는 발상 자체가 익숙치 않기 때문에 처음 보시는 분들은 몇 번 반복학습을 통해 익히시길 바랍니다
2. 예제
(예제 1) 다음 미분방정식의 해를 구하여라
![](https://blog.kakaocdn.net/dn/bGFadS/btrVQPuMKmM/QZiVuaNja5eX0yuGaAKYB0/img.png)
![](https://blog.kakaocdn.net/dn/cfGoOT/btrVSucRm47/GdRTS80JOclxZJBBXMjXIk/img.png)
(예제 2) 다음 미분방정식의 해를 구하여라
![](https://blog.kakaocdn.net/dn/bmcUZZ/btrVO1Qduy1/ZV3YzctjG4Z2rpBHke0KQk/img.png)
![](https://blog.kakaocdn.net/dn/I4653/btrVSucRm4b/LzSskSk1FDyyyFUfhOzFqk/img.png)
(예제 3) 다음 미분방정식의 해를 구하여라
![](https://blog.kakaocdn.net/dn/bNvNnR/btrVPtFMdCV/JGkfdHkbaaDa0YFEt5TE9k/img.png)
![](https://blog.kakaocdn.net/dn/p4GDa/btrVI50D9Ak/MVOvvzuo3UADYvAIPMk1T1/img.png)
![](https://blog.kakaocdn.net/dn/DlfH9/btrVOBYtCSx/HUatqxj1faZn1snpTzeR0K/img.png)
(예제 4) 다음 미분방정식의 해를 구하여라
![](https://blog.kakaocdn.net/dn/dzkKkQ/btrVP9mH8EM/s108FrS7j9msxVcmPVGcA0/img.png)
![](https://blog.kakaocdn.net/dn/FBDEs/btrVK05VcbZ/AGUkj7o5ECkKL5GjPfasZk/img.png)
허수부가 삼각함수 안에 있는 lnx의 계수가 된다는 사실을 기억하시면 됩니다
'MATHEMATICS > 공업수학' 카테고리의 다른 글
[공업수학] 2.7-1 2계 비제차 미분방정식 : 미정계수법(Method of Undetermined Coefficients) (1) | 2023.01.21 |
---|---|
[공업수학] 2.6 론스키 행렬식(Wronskian) (0) | 2023.01.11 |
[공업수학] 편미분 방정식 (3) : 비제차 방정식(Time-dependent) (0) | 2023.01.07 |
[공업수학] 2.2-2 상수계수를 가지는 제차 선형 상미분 방정식 예제 (0) | 2023.01.07 |
[공업수학] 2.2-1 상수계수를 가지는 제차 선형 상미분 방정식 (Homogeneous Linear ODEs with Constant Coefficients) (0) | 2023.01.07 |