No label defined (Q3973060)

[For the entire collection see Zbl 0722.00036.] The author suggested the method of finding the homoclinic solutions (i.e. \(x(t)\to 0\), \(\dot x(t)\to 0\) as \(t\to \pm\infty\)) of equation: \[ \dot x=IAx+IR'(x)\tag{1} \] where \(x\in \mathbb{R}^{2n}\), \(I=\left({0\atop - I}{I\atop 0}\right)\), under the assumption that 1) \(A=A^*\) and \(IA\) is hyperbolic (no eigenvalue on the unit circle), 2) \(R\) is strictly convex, 3) \(R\) is superquadratic, that is, for some \(\alpha>0\) and for suitable constants \(K>k>0\): \[ R(x)\leq {1\over \alpha}(R'(x),x) \] \[ k| x| ^ \alpha\leq R(x)\leq K| x|\alpha. \] Because \(IA\) is hyperbolic the equation \(I\dot x+Ax=u\) has a unique solution \(x\) such that \(x(t)\to 0\) when \(t\to \pm\infty\) for any \(u\in L^ \beta\) (\(\beta={\alpha\over \alpha-1}\), \(1<\beta<2)\). It is shown, that if \(u\) is a critical point of functional \(\Psi\) (i.e. \(\Psi'(u)=0\)), where \(\Psi(u)=\int_{-\infty}^{+\infty} dt[(Lu,u)+R^*(u)]\), then \(x=Lu\) is a homoclinic solution of (1). Here \(L\) is a continuous linear map given by \(x=Lu\), \(R^*(y)=\max\{xy- R(x)\mid x\in \mathbb{R}^{2n}\}\).