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.

10. BOUNDARY CONDITIONS 63<br />

the limit be<strong>in</strong>g taken over compact sub<strong>in</strong>tervals K of I. We must<br />

restrict T1 so that this vanishes. In some sense this means that the<br />

restriction of T1 to a selfadjo<strong>in</strong>t operator T is obta<strong>in</strong>ed by boundary<br />

conditions s<strong>in</strong>ce the limit clearly only depends on the values of u1 and<br />

u2 <strong>in</strong> arbitrarily small neighborhoods of the endpo<strong>in</strong>ts of I. This is of<br />

course the motivation for the terms boundary operator and boundary<br />

form.<br />

The simplest case is when an endpo<strong>in</strong>t is an element of I. This<br />

means that the endpo<strong>in</strong>t is a f<strong>in</strong>ite number, and that q is <strong>in</strong>tegrable<br />

near the endpo<strong>in</strong>t. Such an endpo<strong>in</strong>t is called regular; otherwise the<br />

endpo<strong>in</strong>t is s<strong>in</strong>gular. If both endpo<strong>in</strong>ts are regular, we say that we are<br />

deal<strong>in</strong>g with a regular problem. We have a s<strong>in</strong>gular problem if at least<br />

one of the endpo<strong>in</strong>ts is <strong>in</strong>f<strong>in</strong>ite, or if q /∈ L 1 (I).<br />

Consider now a regular problem. It is clear that the deficiency <strong>in</strong>dices<br />

are both 2 <strong>in</strong> the regular case, s<strong>in</strong>ce all solutions of −u ′′ +qu = iu<br />

are cont<strong>in</strong>uous on the compact <strong>in</strong>terval I and thus <strong>in</strong> L 2 (I). We<br />

shall <strong>in</strong>vestigate which boundary conditions yield selfadjo<strong>in</strong>t restrictions<br />

of T1. The boundary form depends only on the boundary values<br />

(u(a), u ′ (a), u(b), u ′ (b)), and the possible boundary values constitute a<br />

l<strong>in</strong>ear subspace of C 4 . On the other hand, the boundary form is positive<br />

def<strong>in</strong>ite on Di and negative def<strong>in</strong>ite on D−i, both of which are<br />

2-dimensional spaces. The boundary values for the deficiency spaces<br />

therefore span two two-dimensional spaces which do not overlap. It follows<br />

that as u ranges through D1 the boundary values range through<br />

all of C 4 .<br />

The boundary conditions need to restrict the 4-dimensional space<br />

Di⊕D−i to the 2-dimensional space D of Theorem 9.2, so two <strong>in</strong>dependent<br />

l<strong>in</strong>ear conditions are needed. This means that there are 2 × 2 ma-<br />

trices A and B such that the boundary conditions are given by AU(a)+<br />

u<br />

BU(b) = 0, where U =<br />

−u ′<br />

<br />

. L<strong>in</strong>ear <strong>in</strong>dependence of the conditions<br />

means that the 2 × 4 matrix (A, B) must have l<strong>in</strong>early <strong>in</strong>dependent<br />

rows. Consider first the case when A is <strong>in</strong>vertible. Then the condition<br />

is of the form U(a) = SU(b), where S = −A−1 0 1<br />

B. If J = ( −1 0 ) the<br />

boundary form is −i{(U2(a)) ∗JU1(a) − (U2(b)) ∗JU1(b)}, so symmetry<br />

requires this to vanish. Insert<strong>in</strong>g U(a) = SU(b) the condition becomes<br />

(U2(b)) ∗ (S∗JS − J)U1(b) = 0 where U1(b) and U2(b) are arbitrary 2 × 1<br />

matrices. Thus it follows that the condition U(a) = SU(b) gives a<br />

selfadjo<strong>in</strong>t restriction of T1 precisely if S satisfies S∗JS = J. Such a<br />

matrix S is called symplectic.<br />

Important special cases are when S is plus or m<strong>in</strong>us the unit matrix.<br />

These cases are called periodic and antiperiodic boundary conditions<br />

respectively. Another valid choice is S = J. S<strong>in</strong>ce det J = 1 = 0 it<br />

is clear that any symplectic matrix S satisfies | det S| = 1 (see also<br />

Exercise 10.1). In particular, it is <strong>in</strong>vertible. It is clear that the <strong>in</strong>verse

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

Saved successfully!

Ooh no, something went wrong!