Spectral Theory in Hilbert Space
Spectral Theory in Hilbert Space
Spectral Theory in Hilbert Space
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
96 13. FIRST ORDER SYSTEMS<br />
Clearly all these restrictions are obta<strong>in</strong>ed by restrict<strong>in</strong>g the boundary<br />
values of elements <strong>in</strong> T1 to certa<strong>in</strong> n-dimensional subspaces of C 2n ,<br />
i.e., by impos<strong>in</strong>g n l<strong>in</strong>ear, homogeneous boundary conditions on T1.<br />
We consider a few special cases. One selfadjo<strong>in</strong>t realization is obta<strong>in</strong>ed<br />
by impos<strong>in</strong>g periodic boundary conditions u(b) = u(a) or more generally<br />
u(b) = Su(a) where S is a fixed matrix satisfy<strong>in</strong>g S ∗ JS = J. As<br />
already mentioned, such a matrix S is often called symplectic, at least<br />
, so that n is even.<br />
<strong>in</strong> the case when S is real, and J = 0 I<br />
−I 0<br />
Another possibility occurs if the <strong>in</strong>vertible Hermitian matrix iJ has<br />
an equal number of positive and negative eigen-values (this obviously<br />
requires n to be even). In that case we may impose separated boundary<br />
conditions, i.e., conditions that make both u∗ (a)Ju(a) and u∗ (b)Ju(b)<br />
vanish. Boundary conditions which are not separated are called coupled.<br />
It must be emphasized that for n > 2 there are selfadjo<strong>in</strong>t realizations<br />
which are determ<strong>in</strong>ed by some conditions imposed only on the<br />
value at one of the endpo<strong>in</strong>ts, and some conditions <strong>in</strong>volv<strong>in</strong>g the values<br />
at both endpo<strong>in</strong>ts.<br />
Let us now turn to the general, not necessarily regular case. We<br />
first need to briefly discuss Hermitian forms of f<strong>in</strong>ite rank. If B is a<br />
Hermitian form on a l<strong>in</strong>ear space L we set LB = {u ∈ L | B(u, L) = 0}<br />
which is a subspace of L. The rank of B is codim LB (= dim L/LB ).<br />
In the sequel we assume that B has f<strong>in</strong>ite rank. If M is a subspace on<br />
which the form B is non-degenerate, i.e., there is no non-zero element<br />
u ∈ M such that B(u, v) = 0 for all v ∈ M, then we must have<br />
LB ∩ M = {0} so that M has to be f<strong>in</strong>itedimensional. This means, of<br />
course, that after <strong>in</strong>troduc<strong>in</strong>g a basis <strong>in</strong> M the form B is given on M<br />
by an <strong>in</strong>vertible matrix. If B is non-degenerate on M, then for every<br />
u ∈ L there is a unique element v ∈ M (the B-projection of u on M)<br />
such that B(u − v, M) = 0 (Exercise 13.5). If B is non-degenerate on<br />
M, but not on any proper superspace of M, we say that M is maximal<br />
non-degenerate for B. Of course this means exactly that LB ∩M = {0}<br />
and dim M = rank B so that L = M ˙+L B as a direct sum.<br />
We call a subspace P of L on which B is positive def<strong>in</strong>ite a maximal<br />
positive def<strong>in</strong>ite space for B if P has no proper superspaces on<br />
which B is positive def<strong>in</strong>ite. If B is positive def<strong>in</strong>ite on P, then clearly<br />
dim P ≤ rank B. It follows that forms of f<strong>in</strong>ite rank always have maximal<br />
positive def<strong>in</strong>ite spaces. Similarly for negative def<strong>in</strong>ite spaces.<br />
Proposition 13.10 (Sylvester’s law of <strong>in</strong>ertia). Suppose B is a<br />
Hermitian form of f<strong>in</strong>ite rank on a l<strong>in</strong>ear space L. Then all maximal<br />
positive def<strong>in</strong>ite subspaces for B have the same dimension. Similarly<br />
for maximal negative def<strong>in</strong>ite subspaces.<br />
Proof. Suppose P is maximal positive def<strong>in</strong>ite for B and that ˜ P<br />
is another positive def<strong>in</strong>ite space for B. Then the B-projection on P<br />
is <strong>in</strong>jective as a l<strong>in</strong>ear map BP : ˜ P → P. For if not, there exists