则(551)的零解是渐近稳定的。 定理5.10对于系统(551), 如果存在函数(x)和某一非负常数,使得 dy uv+W(X dt 55.1) 且当=0时,W(X)为定正函数, 当≠0时,W(X为常正函数或恒为零 Raordinary differential equatonon 日录上页下页◎返回@结束8目录 上页 下页 返回 结束 则（5.5.1）的零解是渐近稳定的。 定理5.10 对于系统（5.5.1）， 如果存在函数 V x( ) 和某一非负常数  ，使得 (5.5.1) ( ) dV V W X dt = +  且当  = 0 时, W X( ) 为定正函数， 当   0 时， W X( ) 为常正函数或恒为零