# Pontryagin space

A Hilbert space with an indefinite metric $\Pi _ \kappa$ that has a finite rank of indefiniteness $\kappa$. Basic facts concerning the geometry of these spaces were established by L.S. Pontryagin . Besides the facts common for spaces with an indefinite metric, the following properties hold.

If ${\mathcal P}$ is an arbitrary non-negative linear manifold in $\Pi _ \kappa$, then $\mathop{\rm dim} {\mathcal P} \leq \kappa$; if ${\mathcal P}$ is a positive linear manifold and $\mathop{\rm dim} {\mathcal P} = \kappa$, then its $J$- orthogonal complement $N$ is a negative linear manifold and $\Pi _ \kappa = {\mathcal P} \oplus N$. Moreover, $N$ is a complete space with respect to the norm $| x | = \sqrt {- J ( x , x ) }$. If the linear manifold $L \subset \Pi _ \kappa$ is non-degenerate, then its $J$- orthogonal complement $M$ is non-degenerate as well and $\Pi _ \kappa = M \oplus L$.

The spectrum (in particular, the discrete spectrum) of a $J$- unitary ( $J$- self-adjoint) operator is symmetric with respect to the unit circle (real line), all elementary divisors corresponding to eigen values $\lambda$, $| \lambda | > 1$, are of finite order $\rho _ \lambda$, $\rho _ \lambda \leq \kappa$, $\rho _ \lambda = - \rho _ {\lambda ^ {-} 1 }$. The sum of the dimensions of the root subspaces of a $J$- unitary ( $J$- self-adjoint) operator corresponding to eigen values $\lambda$, $| \lambda | > 1$( $\mathop{\rm lm} \lambda > 0$), does not exceed $\kappa$.

The following theorem  is fundamental in the theory of $J$- self-adjoint operators on a Pontryagin space $\Pi _ \kappa$: For each $J$- self-adjoint operator $A$( $\overline{ {D ( A) }}\; = \Pi _ \kappa$) there exists a $\kappa$- dimensional (maximal) non-negative invariant subspace ${\mathcal T}$ in which all eigen values of $A$ have non-negative imaginary parts, and a $\kappa$- dimensional non-negative invariant subspace ${\mathcal T} ^ \prime$ in which all eigen values have non-positive imaginary parts. A similar statement in which the upper (lower) half-plane is replaced by the exterior (interior) of the unit disc is also valid for $J$- unitary operators, and under certain additional conditions — even for operators on the space $\Pi _ \infty$.

If $U$ is a $J$- unitary operator, then its maximal invariant subspaces ${\mathcal T}$, ${\mathcal T} ^ \prime$ can be chosen so that the elementary divisors of the operator $U _ {\mathcal T} = U \mid _ {\mathcal T}$, $U _ { {\mathcal T} ^ \prime } = U \mid _ { {\mathcal T} ^ \prime }$ are of minimal order. In order that a polynomial $P ( \lambda )$ with no roots inside the unit disc has the property: $( P ( U) x , P ( U) x ) \leq 0$, $x \in \Pi _ \kappa$, it is necessary and sufficient that it can be divided by the minimal annihilating polynomial of the operator $U _ {\mathcal T}$. If $U$ is a cyclic operator, then its non-negative invariant subspaces of dimension $\kappa$ are uniquely determined. In this case the above-mentioned property of the polynomial $P$ with roots $\{ \lambda _ {i} \}$ outside the unit disc, $| \lambda _ {i} | > 1$, is equivalent to the divisibility of $P ( \lambda )$ by the characteristic polynomial of $U _ {\mathcal T}$.

Each completely-continuous $J$- self-adjoint operator $A$ on a Pontryagin space $\Pi _ \kappa$ such that zero belongs to its continuous spectrum does not have a residual spectrum. The root vectors of such an operator form a Riesz basis in $\Pi _ \kappa$ with respect to the (definite) norm $( | J | x , x )$.

Many facts concerning invariant subspaces and the spectrum can be generalized to a case of $J$- isometric and $J$- non-expanding operators. Thus, if $\lambda _ {1} \dots \lambda _ {n}$ is an arbitrary set of eigen values of a $J$- isometric operator, $\lambda _ {i} \overline \lambda \; _ {k} \neq 1$, $i , k = 1 \dots n$, and if $\rho _ {i}$ is the order of the elementary divisor at the point $\lambda _ {i}$, then $\sum _ {1} ^ {n} \rho _ {i} \leq \kappa$. Any $J$- non-expanding boundedly-invertible operator $T$ has a $\kappa$- dimensional invariant non-negative subspace ${\mathcal T}$ such that all eigen values of the restriction $T \mid _ {\mathcal T}$ lie in the unit disc . A similar fact holds for maximal $J$- dissipative operators. In general, a $J$- dissipative operator $A$, $D ( A) \subset D ( A ^ {*} )$, has at most $\kappa$ eigen values in the upper half-plane. $J$- isometric and $J$- symmetric (and more generally, $J$- non-expanding and $J$- dissipative) operators are related by the Cayley transformation (cf. Cayley transform), which has on $\Pi _ \kappa$ all natural properties . This fact allows one to develop the extension theory simultaneously for $J$- isometric and $J$- symmetric operators. In particular, every $J$- isometric ( $J$- symmetric) operator can be extended to a maximal one. If its deficiency indices are different, then it has no $J$- unitary ( $J$- self-adjoint) extensions. If these indices are equal and finite, then any maximal extension is $J$- unitary ( $J$- self-adjoint).

For completely-continuous operators on $\Pi _ \kappa$, a number of statements on the completeness of the system of root vectors, analogous to the corresponding facts from the theory of dissipative operators on spaces with a definite metric, is valid.

How to Cite This Entry:
Pontryagin space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pontryagin_space&oldid=48243
This article was adapted from an original article by N.K. Nikol'skiiB.S. Pavlov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article