鲁棒性根据李亚普诺夫函数推导

真心求教

V的一阶导=-k1^3 z1^2+k1^2 z1 z2-k2s1 z2^2+z2 z3-k3s1 z3^2
    k1^3       1/2  k1^2     0
1/2 k1^2        -k2s1       1/2
       0               1/2         -k3s1
为什么根据第一个李亚普诺夫函数式子推导的满足小于零的正定矩阵是这个矩阵，其中主对角线都大于零。这样的矩阵不是不满足正定的定义吗?

真心求教

写错了，这个矩阵中的主对角线上的k值都是大于零的，各位大佬求教啊