命题1对于所有参数取值都是系统3的一个均衡点.DOCVIP

附录：命题1、2、3的证明。 命题1：对于所有参数取值，都是系统(3)的一个均衡点。 证明： 将,代入系统（3式），得到。 将,代入得。因为，，，。所以，。 由，后两项抵消，又，。 证毕。 命题2：均衡点稳定的充分条件是： 证明： 计算系统（3）在处的雅可比阵。 ， ， ，， ，， ，，。 其中为分段函数，这是因为、有绝对值号。在和两种情况下，求得雅可比阵的特征方程均为：。整理得：。很显然，特征方程的一个根为。那么只要另外两个根也小于0，系统在该点便是稳定的，这要求关于的一元二次方程有两个负根，由韦达定理，并且。将这两个条件整理得式(4)所给出的稳定的条件。 证毕。 命题3： 时，系统(3)不存在之外其他的均衡点。时，系统(3)可能存在两个对称的均衡点和，其中，，。 证明： 由可以看出，对于可能存在的均衡点()要求()。当,时，,。当,时，,。所以，对于(,)，方程的第二项为负；对于(,)，方程的第二项为正。为了系统均衡，方程的第一项必须为相反的符号。由于为非负值，第一项的符号就取决于，又由于均衡点上，该式可简化为。 考虑的情况。对于,，，方程的第一项为负，又对应(,)的方程的第二项为负，所以。相同的处理方法，。所以时，系统(3)不存在之外其他的均衡点。 图附录1 图像 考虑的情况。方程有三个解,0, （）。 因此，在和两个区间内，方程的第一项和第二项符号相反，通过恰当选择(,)可以得到，可以得到之外的均衡点和。 无论对于(,)或(,)，方程的第一项为正，所以要求，所以，。 下面证明对称性。对于均衡点，有，，。对于点，其中，，，证明其也是一个均衡点。，。所以，，。 证毕。