Smooth Morse-Lyapunov functions of strong attractors for differential inclusions (Q2884600)

Consider the differential inclusion NEWLINE\[NEWLINE\dot{x} \in F(x), \tag{1}NEWLINE\]NEWLINE where \(x\in X=\mathbb R^m\), \(F(x)\) is a nonempty convex compact subset of \(X\) for every \(x\in X\), and \(F(x)\) is upper semicontinuous in \(x\). Let \(U\) be an open subset of \(X.\) A nonnegative function \(\alpha \in C(U)\) is said to be radially unbounded on \(U\), denoted by \(\alpha \in K^{\infty}(U)\), if, for any \(R>0\), there exists a compact subset \(B\subset U\) such that \(\alpha(x)>R\;\forall x\in U\setminus B\). The main result of this work is contained in the following theorem.NEWLINENEWLINETheorem. Let \(A\) be a strong attractor of (1) with basin of attraction \(\Omega=\Omega(A)\) and Morse decomposition \(M=\{M_1,\dotsc,M_l\}\) and \(D=\bigcup_{1\leq k\leq l}M_k\). Then there exists a function \(V\in C^{\infty}(\Omega)\cap K^{\infty}(\Omega)\) such that \(V\) is constant on each Morse set \(M_k\), and NEWLINE\[NEWLINE V(M_1)< V(M_2)<\dotsb< V(M_l); NEWLINE\]NEWLINE and NEWLINE\[NEWLINE \max_{v\in F(x)}\nabla V(x)\cdot v\leq -w(x)\quad \forall x\in\Omega, NEWLINE\]NEWLINE where \(w\in C(\Omega)\) is a nonnegative function satisfying \(w(x)\equiv 0\) on \(D\), and \(w(x)>0\) for \(x\in \Omega\setminus D\).