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.
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