5.3.1 数学理論

• 局所解の存在を保証するには $f$ の連続性を仮定するだけで十分。
• 一意性は $f$ の連続性だけでは不十分。
  
  
• $f$ が次に示す``変数 $x$ に関する局所 Lipschitz 条件'' を満 たせば一意性が成り立つ。 $\forall (t,x)\in\Omega$, $\exists V: (t,x)$ の近傍, $\exists L_V>0$ s.t.
  
  $$\Vert f(t,x_1)-f(t,x_2)\Vert\le L_V\Vert x_1-x_2\Vert \quad \mbox{($(t,x_1)$, $(t,x_2)\in V$)}.$$
  
  
  $f$ がこの条件を満たすための分かりやすい十分条件として、$f$ が $C^1$-級であることがあげられる。すなわち
  
  $$f\in C^1(\Omega)\Then f: \hbox{局所 Lipschitz}.$$
  
  

• 大域的な存在について。 $(t,x(t))\to\partial\Omega$ または $\Vert x(t)\Vert\to\infty$ となるまで左右に 延長できる(延長不能解の存在定理)。

  このうち $(t,x(t))$ が $f$ の定義域 $\Omega$ の境界に近付くという条 件は分かりやすいが、 $\Vert x(t)\Vert\to\infty$ の方は見慣れない人もいるかも知 れない。