Asymptotic behavior of approximate solutions to evolution equations in Banach spaces (Q732874)

The authors consider a convex and continuous mapping \(f:X\to \mathbb{R}\) from a Banach space \(X\|\;\|\) into \(\mathbb{R}\) subject to the conditions in \(\lim_{\|x\|\to\infty}f(x)=\infty\), (2) there is \(\overline x\in X\) with \(f(\overline x)\leq f(x)\) for all \(x\in X\), (3) for \(x_n\in X\), \(n\geq 1\) such that \(\lim_n f(x_n)=f(\overline x)\) one has \(\lim_n\|x_n-\overline x\|=0\). The derivative \(f^0(x,u)\) is defined via \[ f^0(x,u)=\lim_{t\to 0^+} t^{-1}(f(x+tu)-f(x)) \] for \(x,u\in X\). Next one introduces the set \({\mathcal A}_\ell\) of mappings \(V:X\to X\) whose restriction to any bounded set \({\mathcal U}\subset X\) is Lipschitz and which satisfy \(f^0(x,Vx)\leq 0\) for all \(x\in X\). One then introduces a weak and a strong topology resp. on \({\mathcal A}_\ell\), defined in terms of Lipschitz continuity, which turn \({\mathcal A}_\ell\) into a topological space. In order to state their main result the authors recall some results from the literature and introduce two further sets, i.e., \({\mathcal F}_*\) and \(\mathcal A\). \({\mathcal F}_*\) is the set of all \(V\in{\mathcal A}_\ell\) which satisfy: (P) given \(\varepsilon,n>0\) there is \(T>0\) as follows: if \(y\in C^1([0,\infty),X)\) satisfies \(|f(y(0))|\leq n\) and \(y'(t)=Vy(t)\), \(t\geq 0\), then \(\|y(t)-\overline x\|\leq \varepsilon\) for \(t\in [0,T]\). It follows that \({\mathcal F}_*\) contains a subset which is a countable intersection of weakly open sets which are everywhere dense in the strong sense as subsets of \({\mathcal A}_\ell\). The main result (Theorem 1.4) now states: for \(V\in{\mathcal F}_*\) and \(\varepsilon,n>0\) there are \(\delta,\tau>0\) such that for \(T\geq \tau\) and \(x\in W^{1,1}(0,T;X)\) satisfying \[ \|f(x(0))|\leq n\text{ and }\|x'(t)-Vx(t)\|\leq\delta\text{ for ae. }t\in[0,T], \] the inequality \(\|x(t)-\overline x\|\leq\varepsilon\text{ for }t\in[\tau,T].\) The remaining part of the paper is devoted to the proof of this result. The proof is based on auxiliary results of independent interest.