(미분방정식) 부록 1. Wronskian (Advanced)
이번에는 Wronskian에 대해서 조금 더 자세히 알아보자.1. 선형결합과 Wronskian여기서 우리가 알아볼 것은 2차 ODE의 해에서 나오는 2개의 함수 y_1, y_2가 서로 linearly independent하다는 것이다.먼저, 미분가능한 함수 f,g가 있다고 하자. 그러면 다음이 성립한다. 1. f,g가 linearly Dependent이면, 모든 t에 대해서 W(f,g)(t)=0 이다.2. 어떤 t에서 W(f,g)(t) ~=0 이면, f,g는 linearly independent이다. (증명)더보기1번을 증명하면 2번도 바로 증명되므로, 1번만 증명해보자.사실, 이건 선형대수학 내용만 알면 바로 증명되는 내용이다. Q.E.D위의 2번 내용을 다시 ODE와 엮어보자. 6-2, 6-3 에서 ..
더보기