Theorem. (해의 존재성) \[ y'(t) = f(t,y(t)), \quad y(0) = y_0\]만약 \(f, \frac {\partial f}{\partial y }\)가 연속이면 미분방정식 \(y' = f(t,y) \)는 어떤 적당한 영역에서 유일한 해를 가진다. 여기서 해가 유일하다는 것은 linearly dependent한 해는 모두 하나로 보았을 때가 아니라 진짜 함수의 유일성을 뜻해요. 계수까지 다 결정된다는 것입니다. 존재정리는 위와 같고, 풀 때는 양변을 적분하면 다음과 같이 나타낼 수 있습니다.\[ y(t) - y_0 = \int _0 ^t f(s,y(s)) \,d s \]이런 미분방정식을 풀 때 Picard's method라고, 함수를 수열 \(\{y_n \}\)으로 고려합니다...
Mean Value Theorem극한을 직접 계산하지 않고도 구간 안에 어떤 미분값이 존재함을 알려주는 멋진 정리이다. f가 [a,b]에서 연속이고 (a,b)에서 미분 가능할 때\[ \exists c \in (a,b) \quad \mathrm{such \ that} \quad f'(c) = \frac {f(a)-f(b)}{a-b} \] 이 정리에서 f(a)=f(b)일 때가 롤의 정리이고, 반대로 롤의 정리에서 이 정리가 쉽게 유도된다.\[ g(x) = f(x) - \frac {f(b)-f(a)}{b-a} (x-a)\]를 생각해보면 g(a)=g(b), g는 [a,b]에서 연속, (a,b)에서 미분 가능하므로 롤의 정리를 적용하여\[ \exists c \in (a,b) \quad \mathrm{such \ ..
first derivative testf는 c 근처에서 연속이고 미분 가능할 때 그런 구간 (a,b)를 잡아서 \( f'(c)=0, \; f'(x)>0 \; if \; a0 이면 f는 c에서 극솟값을 가진다.f'(c)=0, f''(c)0, x>c일 때 f'(x)0\)이므로 \(f'(c)>f'(x)\)이다.\(\forall x \in (c,b)\)에 대해 f'은 [c,x]에서 연속이고 (c,x)에서 미분 가능하므로 평균값 정리에 의해 \(f''(d_2) = \frac {f'(c)- f'(x)} {c-x} \)인 \(d_2\)가 (c,x) 안에 존재한다. \(f''(d_2)>0\)이므로 \(f'(c)