06.04.2013 Views

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!