0fc6a982cc5f473a.tex
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: