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 13<br />

First order systems<br />

We shall here study the spectral theory of general first order system<br />

(13.1) Ju ′ + Qu = W v<br />

where J is a constant n × n matrix which is <strong>in</strong>vertible and skew-<br />

Hermitian (i.e., J ∗ = −J) and the coefficients Q and W are n × n<br />

matrix-valued functions which are locally <strong>in</strong>tegrable on I. In addition<br />

Q is assumed Hermitian and W positive semi-def<strong>in</strong>ite. As we shall see,<br />

these properties ensure the proper symmetry of the differential expression.<br />

The functions u and v are n×1 matrix-valued on I. In the special<br />

case when n is even and J = <br />

0 I<br />

−I 0 , I be<strong>in</strong>g the unit matrix of order<br />

n/2, systems of the form (13.1) are usually called Hamiltonian systems.<br />

The follow<strong>in</strong>g existence and uniqueness theorem is fundamental<br />

Theorem 13.1. Suppose A is an n×n matrix-valued function with<br />

locally <strong>in</strong>tegrable entries <strong>in</strong> an <strong>in</strong>terval I, and that B is an n×1 matrixvalued<br />

function, also locally <strong>in</strong>tegrable <strong>in</strong> I. Assume further that c ∈ I<br />

and C is an n × 1 matrix. Then the <strong>in</strong>itial value problem<br />

<br />

u ′ + Au = B <strong>in</strong> I,<br />

u(c) = C,<br />

has a unique n × 1 matrix-valued solution u with locally absolutely cont<strong>in</strong>uous<br />

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

The theorem has the follow<strong>in</strong>g immediate consequence.<br />

Corollary 13.2. The set of solutions to u ′ + Au = 0 <strong>in</strong> I is an<br />

n-dimensional l<strong>in</strong>ear space.<br />

Proofs for Theorem 13.1 and Corollary 13.2 are given <strong>in</strong> Appendix<br />

C. We will apply them for A = J −1 (Q − λW ), where λ ∈ C, and<br />

B = J −1W v.<br />

We shall study (13.1) <strong>in</strong> the <strong>Hilbert</strong> space L 2 W<br />

of equivalence classes<br />

of n × 1 matrix-valued Lebesgue measurable functions u for which<br />

u∗ W u is <strong>in</strong>tegrable over I. In this space the scalar product is 〈u, u〉 =<br />

I v∗W u. Two functions u and ũ are considered equivalent if the <strong>in</strong>tegral<br />

<br />

I (u − ũ)∗W (u − ũ) = 0. Note that this means that they can be<br />

very different po<strong>in</strong>twise. For example, <strong>in</strong> the case of the system equivalent<br />

to (10.1) the second component of an element of L2 W is completely<br />

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

91

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

Saved successfully!

Ooh no, something went wrong!