On the Fredholm Lagrangian Grassmannian, spectral flow and ODEs in Hilbert spaces (Q2232751)

The author studies homoclinic solutions of Hamiltonian systems \[ Ju'(t)+S_\lambda (t)u(t)=0, \; t\in \mathbb R, \] where \(J:E\to E\) is bounded linear with \(J^2=-\mathrm{Id}, J^T=-J\), and \(S\) is a continuous family of selfadjoint bounded operators in \(E\), \(E\) being a symplectic Hilbert space. Spectral flow formulas related to the Maslov index of the pair of unstable and stable spaces are proved, thus generalizing results obtained earlier in \(\mathbb R^{2n}\) by the author [Proc. Lond. Math. Soc. (3) 111, No. 2, 275--304 (2015; Zbl 1341.58015); and \textit{J. Pejsachowicz}, J. Fixed Point Theory Appl. 13, No. 2, 537--560 (2013; Zbl 1284.58006)]. Ideas from [\textit{K. Matsumoto} et al., Kodai Math. J. 26, No. 1, 85--94 (2003; Zbl 1049.53042); \textit{X. Hu} and \textit{A. Portaluri}, Calc. Var. Partial Differ. Equ. 56, No. 6, Paper No. 167, 24 p. (2017; Zbl 1390.53089)] are used. The index bundle of \textit{M. F. Atiyah} and \textit{I. M. Singer} [Ann. Math. (2) 93, 119--138, 139--149 (1971; Zbl 0212.28603)] and \textit{K. Jänich} [Math. Ann. 161, 129--142 (1965; Zbl 0148.12401)] for families of Fredholm operators is generalized to the case of unbounded operators with varying domains.