Some comments on stability of infinite-dimensional systems (Q1578488)

It is considered the differential equation \[ \dot{x}= f(x), \tag{1} \] where \(f:H\to H\) is a continuous mapping, \(H\) is a real separable Hilbert space with the scalar product \((\cdot,\cdot)\). The continuously Frechet-differentiable functional \(V(x)\) defined on \(H\) is called \(H\)-regular if its gradient \(\nabla V: H\to H\) is locally Lipschitzian and has the property: if the sequence \(x_{n}\in\) H converges weakly to the point \(x_{0}\) and \[ \limsup_{n\to\infty}(\nabla V(x_n),x_{n}-x_{0})\leq 0, \] then \(\lim_{n\to\infty}\|x_n-x_0\|=0.\) The authors prove the theorem: Assume that \(x=0\) is a strict local minimum point of the \(H\)-regular functional \(V(x)\) \((\|x\|\leq r)\) and \((\nabla V(x),f(x))\leq 0\) \((x\in B(r))\). Then the zero equilibrium to equation (1) is Lyapunov stable. Furthermore a theorem of asymptotical stability is considered.