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.

CHAPTER 12<br />

Inverse spectral theory<br />

In this chapter we cont<strong>in</strong>ue to study the simple Sturm-Liouville<br />

equation −u ′′ + qu = λu, on an <strong>in</strong>terval with at least one regular<br />

endpo<strong>in</strong>t. Our aim is to give some results on <strong>in</strong>verse spectral theory,<br />

i.e., questions related to the determ<strong>in</strong>ation of the equation, <strong>in</strong> this<br />

case the potential q from spectral data, such as eigenvalues, spectral<br />

measures or similar th<strong>in</strong>gs. Our object of study is the eigen-value<br />

problem<br />

(12.1)<br />

(12.2)<br />

− u ′′ + qu = λu on [0, b),<br />

u(0) cos α + u ′ (0) s<strong>in</strong> α = 0.<br />

Here α is an arbitrary, fixed number <strong>in</strong> [0, π), so that the boundary<br />

condition is an arbitrary separated boundary condition. We assume q ∈<br />

L1 loc [0, b), i.e., q <strong>in</strong>tegrable on any <strong>in</strong>terval [0, c] with c ∈ (0, b), so that<br />

0 is a regular endpo<strong>in</strong>t for the equation. The other endpo<strong>in</strong>t b may be<br />

<strong>in</strong>f<strong>in</strong>ite or f<strong>in</strong>ite, <strong>in</strong> the latter case s<strong>in</strong>gular or regular. If the deficiency<br />

<strong>in</strong>dices for the equation <strong>in</strong> L2 (0, b) are (1, 1) the operator correspond<strong>in</strong>g<br />

to (12.1), (12.2) is selfadjo<strong>in</strong>t; if they are (2, 2) a boundary condition<br />

at b is required to obta<strong>in</strong> a selfadjo<strong>in</strong>t operator. We assume that, if<br />

necessary, a choice of boundary condition at b is made, so that we are<br />

deal<strong>in</strong>g with a self-adjo<strong>in</strong>t operator which we will call T .<br />

If the deficiency <strong>in</strong>dices are (2, 2) we know the spectrum is discrete<br />

(Theorem 11.7), but when the deficiency <strong>in</strong>dices are (1, 1) the spectrum<br />

can be of any type. As <strong>in</strong> Chapter 11, let ϕ and θ be solutions of (12.1)<br />

satisfy<strong>in</strong>g <strong>in</strong>itial conditions<br />

<br />

ϕ(0, λ) = − s<strong>in</strong> α<br />

(12.3)<br />

ϕ ′ (0, λ) = cos α ,<br />

<br />

θ(0, λ) = cos α<br />

θ ′ (0, λ) = s<strong>in</strong> α .<br />

Then Green’s function for T is given by<br />

g(x, ·, λ) = ϕ(m<strong>in</strong>(x, y), λ)ψ(max(x, y), λ)<br />

where ψ(x, λ) = θ(x, λ) + m(λ)ϕ(x, λ) and the Titchmarsh-Weyl mfunction<br />

m(λ) is determ<strong>in</strong>ed so that ψ satisfies the boundary condition<br />

at b. In particular ψ ∈ L 2 (0, b). Let the Nevanl<strong>in</strong>na representation of<br />

m be<br />

m(λ) = A + Bλ +<br />

∞<br />

−∞<br />

1 t<br />

−<br />

t − λ t2 <br />

dρ(t),<br />

+ 1<br />

83

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

Saved successfully!

Ooh no, something went wrong!