(해석학) 7-2. 미분방정식의 해의 유일성 (Uniqueness of Differential Equation)
이번 챕터에선 미분방정식의 해(Initial Value Problem의 해)가 유일하다는 것을 증명하려고 한다. (존재성은 나중에!) 아직 미분방정식에서 자세히 모르거나, 별로 관심이 없다면 패스해도 상관이 없다! 물론, 굉장히 특수한 경우만 다루려고 한다. 1. 편미분방정식 No.... -> 상미분만 다룸! 2. Explicit 꼴만... (y'=f(x,y), not f(x,y,y')=0) 그러나, 미분방정식이 굳이 선형일 필요까진 없다... -> 비선형도 가능! 물론, 대부분의 경우가 편미방이기도 하고, Implicit 꼴을 항상 Explicit 꼴로 바꿀 수는 없긴 해서, 굉장히 특수한 경우이긴 하지만, 그래도 비선형도 다룰 수 있다는게 어디인가.... 먼저, 증명하기 전에 다음 Lemma부터 확인..
더보기