The iteration formulae of the Maslov-type index theory in weak symplectic Hilbert space (Q1696634): Difference between revisions

The main result of the paper is Theorem 2.2 involving a splitting formula for a Maslov-type index. Also, the paper deals with short proofs of various properties of symplectic groups \(\operatorname{Sp}(H)\) when \(H\) are strong symplectic Hilbert spaces (Proposition 3.1), and presents a novel approach to the iteration formula for the power of a symplectic path, Theorem 4.1 (using Theorem 2.2) which has some advantages: It is used to derive an iteration formula for periodic Hermitian systems in the case where \(H\) is of finite dimension (Corollary 4.1) and iteration formulas for the brake symmetry (Theorem 4.2, Corollary 4.2, Theorem 4.3 and Corollary 4.3). The authors establish an original, direct and condensed proof of Theorem 2.2 using a splitting formula of the nullity. More explicitly, the proof uses a technical lemma (Lemma 2.2 which states that the product of two positive paths in \(\operatorname{Sp}(H)\) is also positive), the additive property of the Maslov triple index under direct sum and Theorem 2.1 involving an invariance property of the Maslov index under the conditions (2.14)--(2.17). I believe that the main result can be related to the works of \textit{J. E. Avron} et al. [J. Funct. Anal. 120, No. 1, 220--237 (1994; Zbl 0822.47033)] and \textit{C. Wahl} [J. Ramanujan Math. Soc. 22, No. 2, 135--187 (2007; Zbl 1136.58014)]. In particular, elements of \(\operatorname{Sp}(H)\) for certain \(L^2\)-Hilbert \(C^*\)-modules are given by the symbols of Toeplitz operators and a splitting formula for the index of Toeplitz operators was involved through a splitting formula of the symbols. Concerning Theorem 4.1, it is a consequence of Theorem 2.2 and the transgression formula for the Maslov index (4.3),(4.4) (Lemma 4.2).