1: \begin{definition}[Krein indices and Krein signature]
2: Let $\LL$ be a selfadjoint polynomial operator pencil of degree $p$ with invertible leading coefficient $L_p$ acting in
3: a Hilbert space $X$, and let $\la_0$ be an isolated real characteristic value of $\LL$. Given a
4: root space $\mathcal{U}\subset X$ spanned by the vectors of a chain $\{u^{[0]},\dots,u^{[m-1]}\}$ from a canonical set
5: for $\la_0$, let $\mathbf{u}^{[j]}\in X^p$, $j=0,\dots,m-1$, denote the columns of the matrix $V$ defined
6: in the statement of Theorem~\ref{propGLR}, and let $W$ be the $m\times m$ Gram matrix
7: with elements $W_{jk}:=\langle \mathbf{u}^{[j]},\mathbf{u}^{[k]}\rangle$, in terms of the indefinite Hermitian quadratic form
8: $\langle\cdot,\cdot\rangle$ given by \eqref{eq:indefinite-form}. The number of positive (negative) eigenvalues of the
9: Hermitian matrix $W$ is called the positive (negative) Krein index of the root space%
10: %%%
11: \footnote{The Krein indices $\kappa^\pm(\mathcal{U},\la_0)$ are in fact well-defined
12: although the construction appears to depend on the specific choice of vectors making up the chain
13: that spans the space $\mathcal{U}$.}
14: %%%%
15: $\mathcal{U}$ at $\la_0$
16: and is denoted $\kappa^+(\mathcal{U},\la_0)$ ($\kappa^-(\mathcal{U},\la_0)$).
17: The sums of $\kappa^\pm(\mathcal{U},\la_0)$ over all root spaces $\mathcal{U}$
18: of $\la_0$ are called the positive and negative Krein indices of $\la_0$ and are denoted $\kappa^\pm(\la_0)$. Finally,
19: $\kappa(\mathcal{U},\la_0):=\kappa^+(\mathcal{U},\la_0)-\kappa^-(\mathcal{U},\la_0)$ is called
20: the Krein signature of the root space $\mathcal{U}$ for $\la_0$, and $\kappa(\la_0):=\kappa^+(\la_0)-\kappa^-(\la_0)$
21: is called the Krein signature of $\la_0$.
22: \label{Kreindef}
23: \end{definition}
24: