06.04.2013 Views

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

62 10. BOUNDARY CONDITIONS<br />

locally absolutely cont<strong>in</strong>uous derivative and satisfies −u ′′ + qu = f.<br />

Conversely, if u, f ∈ L 2 (I) and this equation is satisfied, then u ∈<br />

D(T ∗ c ) and T ∗ c u = f.<br />

Proof. Let u1 be a solution of −u ′′<br />

1 + qu1 = f. Assume u0 is <strong>in</strong><br />

the doma<strong>in</strong> of Tc and put f0 = Tcu0. Integrat<strong>in</strong>g by parts twice we get<br />

<br />

<br />

<br />

(10.5)<br />

I<br />

u0f =<br />

I<br />

u0(−u ′′<br />

1 + qu1) =<br />

I<br />

(−u ′′<br />

0 + qu0)u1 =<br />

I<br />

f0u1.<br />

So, if f is orthogonal to the doma<strong>in</strong> of Tc, then u1 is orthogonal to all<br />

compactly supported elements f0 ∈ L2 (I) for which there is a solution<br />

u0 of −u ′′<br />

0 + qu0 = f0 with compact support. By Corollary 10.5 it<br />

follows that u1 solves −v ′′ + qv = 0 so that f = 0. Thus Tc is densely<br />

def<strong>in</strong>ed.<br />

The calculation (10.5) also proves the converse part of the lemma.<br />

Furthermore, if u is <strong>in</strong> the doma<strong>in</strong> of T ∗ c with T ∗ c u = f we obta<strong>in</strong><br />

0 = 〈u0, f〉 − 〈f0, u〉 = 〈f0, u1 − u〉. Just as before it follows that u1 − u<br />

solves the equation −v ′′ + qv = 0. It follows that u solves the equation<br />

−u ′′ + qu = f so that Tc ⊂ T ∗ c . The proof is complete. <br />

Be<strong>in</strong>g symmetric and densely def<strong>in</strong>ed Tc is closeable, and we def<strong>in</strong>e<br />

the m<strong>in</strong>imal operator T0 as the closure of Tc and denote the doma<strong>in</strong><br />

of T0 (the m<strong>in</strong>imal doma<strong>in</strong>) by D0. Similarly, the maximal operator<br />

T1 is T1 := T ∗ c with doma<strong>in</strong> D1 ⊃ D0. Thus the maximal doma<strong>in</strong> D1<br />

consists of all differentiable functions u ∈ L 2 (I) such that u ′ is locally<br />

absolutely cont<strong>in</strong>uous function for which T1u = −u ′′ + qu ∈ L 2 (I).<br />

We can now apply the theory of Chapter 9. The deficiency <strong>in</strong>dices<br />

of T0 are accord<strong>in</strong>gly the number of solutions of −u ′′ + qu = iu and<br />

−u ′′ + qu = −iu respectively which are l<strong>in</strong>early <strong>in</strong>dependent and <strong>in</strong><br />

L 2 (I). S<strong>in</strong>ce there are only 2 l<strong>in</strong>early <strong>in</strong>dependent solutions for each of<br />

these equations the deficiency <strong>in</strong>dices can be no larger than 2. For the<br />

equation (10.3) the deficiency <strong>in</strong>dices are always equal, s<strong>in</strong>ce if u solves<br />

−u ′′ + qu = λu, then u solves the equation with λ replaced by λ, and<br />

l<strong>in</strong>ear <strong>in</strong>dependence is preserved when conjugat<strong>in</strong>g functions. Thus, for<br />

our equation there are only three possibilities: The deficiency <strong>in</strong>dices<br />

may both be 2, both may be 1, or both may be 0. We shall see later<br />

that all three cases can occur, depend<strong>in</strong>g on the choice of q and I.<br />

We will now take a closer look at how selfadjo<strong>in</strong>t realizations are<br />

determ<strong>in</strong>ed as restrictions of the maximal operator. Suppose u1 and<br />

u2 ∈ D1. Then the boundary form (cf. Chapter 9) is<br />

<br />

(10.6) 〈(u1, T1u1), U(u2, T1u2)〉 = i (u1T1u2 − T1u1u2)<br />

<br />

= i<br />

I<br />

(−u1u ′′<br />

2 + u ′′<br />

<br />

1u2) = −i<br />

I<br />

I<br />

[u1, u2] ′ <br />

<br />

= −i lim [u1, u2] ,<br />

K→I<br />

K

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

Saved successfully!

Ooh no, something went wrong!