Almost periodic solutions of forced vectorial Liénard equations (Q1763207)

For the system \[ u''(t)+ {d\over dt} (\nabla F(u(t)))+ Cu(t)= f(t),\quad t\in\mathbb{R},\tag{\(*\)} \] with \(f:\mathbb{R}\to \mathbb{R}^n\) almost-periodic (ap) it is shown: 1. If \((*)\) has a solution bounded on \([0,\infty)\), then it has an ap solution \(u_*\) with \(\text{mod}(u_*)\subset\text{mod}(f)\). 2. A solution bounded on \(\mathbb{R}\) is ap. 3. The set of ap solutions is in a certain sense ``convex''. 4. A solution bounded on \([0,\infty)\) is asymptotic ap. Assumptions about \((*)\): \(C:\mathbb{R}^n\to \mathbb{R}^n\) linear, nonsingular, symmetric (only), \(F\) convex on \(\mathbb{R}^n\). If additionally \((\nabla F(x)-\nabla F(y),x-y)\geq c\| x-y\|^2\) with \(F\) Lipschitzian, then 5. If \(f\) is only bounded on \(\mathbb{R}\), there exists a unique bounded solution of \((*)\).