20.08.2013 Views

Operators on Hilbert Spaces - user web page - AIMS

Operators on Hilbert Spaces - user web page - AIMS

Operators on Hilbert Spaces - user web page - AIMS

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Secti<strong>on</strong> 3.4. <strong>Hilbert</strong>-adjoint and self-adjoint operators Page 19<br />

Example 3.4.6 A linear map <strong>on</strong> R n with matrix A is a self-adjoint if and <strong>on</strong>ly if A is symmetric<br />

(A = A T ). A linear map <strong>on</strong> C n with matrix A is self-adjoint if and <strong>on</strong>ly if A is Hermitian<br />

(A = A ∗ ).<br />

Remark 3.4.7 Self-adjoint operators <strong>on</strong> <strong>Hilbert</strong> spaces are used in quantum mechanics to represent<br />

physical observables such as positi<strong>on</strong>, momentum, angular momentum and spin. An<br />

important example is the Hamilt<strong>on</strong>ian operator given by<br />

Hψ = − 2<br />

2m ∇2 ψ + V ψ.<br />

Definiti<strong>on</strong> 3.4.8 ([Kre78], 3·10-1 (Unitary operator)) A bounded linear operator T : H → H<br />

<strong>on</strong> a <strong>Hilbert</strong> space H is said to be unitary if T is bijective and<br />

Hence<br />

TT ∗ = T ∗ T. (3.32)<br />

T ∗ = T −1 . (3.33)<br />

Definiti<strong>on</strong> 3.4.9 ([Kre78], 3·10-1 (Normal operators)) A bounded linear operator T : H → H<br />

<strong>on</strong> a <strong>Hilbert</strong> space H is said to be normal if<br />

TT ∗ = T ∗ T. (3.34)<br />

Remark 3.4.10 If T is self-adjoint or unitary, then T is normal, but the c<strong>on</strong>verse is not generally<br />

true. For example if I : H → H is the identity operator, then T = 2iI is normal since T ∗ = −2iI,<br />

so that TT ∗ = T ∗ T = 4I but T ∗ = T and T ∗ = T −1 = − 1<br />

2 iI.<br />

Theorem 3.4.11 ([Kre78], 3·10-3 Theorem (Self-Adjointness)) Let T : H → H be a bounded<br />

linear operator <strong>on</strong> a <strong>Hilbert</strong> space H. Then<br />

1. If T is self-adjoint, then 〈Tx, x〉 ∈ R for all x ∈ H.<br />

2. If H is complex and 〈Tx, x〉 ∈ R for all x ∈ H, then the operator T is self-adjoint.<br />

Proof.<br />

1. If T is self-adjoint, then for all x,<br />

〈Tx, x〉 = 〈x, Tx〉. (3.35)<br />

By definiti<strong>on</strong>, 〈Tx, y〉 = 〈x, T ∗ y〉 and since T is self-adjoint, we have<br />

Combining equati<strong>on</strong>s (3.35) and (3.36) gives<br />

〈Tx, x〉 = 〈x, Tx〉. (3.36)<br />

〈Tx, x〉 = 〈Tx, x〉.<br />

Hence 〈Tx, x〉 is equal to its complex c<strong>on</strong>jugate which implies that it is real.

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

Saved successfully!

Ooh no, something went wrong!