微分动力系统解的存在唯一性
在第1章中,我们将存在性和唯一性问题分开讨论,因为我们希望强调唯一性需要比存在性稍微强一些的假设。在这一节中,我们将重点放在定理的结果上,而不是假设上。我们将讨论自治和非自治系统,并假设它们是连续可微的。换句话说,如果系统的右侧是向量场
F ( t , Y ) = ( f ( t , x , y ) g ( t , x , y ) ) , F(t, Y) = \left( \begin{array}{c} f(t, x, y) \\ g(t, x, y) \end{array} \right), F(t,Y)=(f(t,x,y)g(t,x,y)),
则我们假设这六个偏导数 ∂ f ∂ t \frac{\partial f}{\partial t} ∂t∂f、 ∂ f ∂ x \frac{\partial f}{\partial x} ∂x∂f、 ∂ f ∂ y \frac{\partial f}{\partial y} ∂y∂f、 ∂ g ∂ t \frac{\partial g}{\partial t} ∂t∂g、 ∂ g ∂ x \frac{\partial g}{\partial x} ∂x∂g 和 ∂ g ∂ y \frac{\partial g}{\partial y} ∂y∂g 存在,并在 x x x- y y y 平面上的某个开子集上连续变化。在这些假设下,我们可以得到解的存在性和唯一性。
存在性和唯一性定理
设
d Y d t = F ( t , Y ) \frac{dY}{dt} = F(t, Y) dtdY=F(t,Y)
是一个微分方程系统。假设 t 0 t_0 t0 是初始时间, Y 0 Y_0 Y0 是初始值。还假设函数 F F F 是连续可微的。则存在一个 ϵ > 0 \epsilon > 0