■13550 / inTopicNo.1) |
困ってます
|
□投稿者/ オー 一般人(1回)-(2006/06/17(Sat) 18:21:13)
| fはE上で連続、Eは(t、u)の空間R^n+1の開集合0.u(t)はt0≦t<a
でdu/dt=f(u、t)の解とする。a<+∞とし、次のことを仮定する
1 数列{tk}が存在して、t0≦tkはaに収束し、lim[k→∞]u(tk)=u0
が存在する
2 fはEと(a、u0)の近傍の共通部分で有界である
そのとき
lim[t→a]u(t)=u0
が成立する。更にもし、f(a、u0)についてf(t、u)が(a、u0)でも連続
であるように定義されていれば、u(t)は[t0,a]で連続的微分可能で、[t0,u0]
でdu/dt=f(t、u)の解となる
|
|