17.02.2014 Views

Mathematical Methods for Physicists: A concise introduction - Site Map

Mathematical Methods for Physicists: A concise introduction - Site Map

Mathematical Methods for Physicists: A concise introduction - Site Map

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.

COMMUTING OPERATORS<br />

Multiplying both sides from the left by the bra vector h' i j we ®nd<br />

b i ˆ Xn<br />

jˆ1<br />

a j h' i<br />

X<br />

jA <br />

n<br />

' j ˆ a j A ij :<br />

~<br />

jˆ1<br />

…5:31†<br />

Referred to the basis j 1 i; j 2 i; ...; j n i the same vectors jXi and jYi are<br />

jXi ˆPn<br />

iˆ1 a i 0 j i i, and jYi ˆPn<br />

iˆ1 b i 0 j i i, and Eqs. (5.31) are replaced by<br />

bi 0 ˆ Xn<br />

aj<br />

0 X<br />

h i jA <br />

n<br />

j ˆ aj 0 Aij;<br />

0<br />

~<br />

jˆ1<br />

where Aij 0 ˆh i jA j i, which is related to A ij by the following relation:<br />

~ Aij 0 <br />

ˆ h i jA j ˆ h U'i jA U' j ˆ h 'i jU*A U ' j ˆ…U*A~ U† ij<br />

~ ~ ~<br />

or using the rule <strong>for</strong> matrix multiplication<br />

jˆ1<br />

Aij 0 <br />

ˆ h i jA j ˆ…U*A~ U† ij ˆ Xn<br />

~<br />

X n<br />

rˆ1 sˆ1<br />

U ir *A rs U sj :<br />

…5:32†<br />

From Eqs. (5.32) we can ®nd the matrix representation of an operator with<br />

respect to a new basis.<br />

If the operator A<br />

~<br />

trans<strong>for</strong>ms vector jXi into vector jYi which is vector jXi itself<br />

multiplied by a scalar : jYi ˆjXi, then Eq. (5.30) becomes an eigenvalue<br />

equation:<br />

A<br />

~<br />

j Xi ˆ j Xi:<br />

Commuting operators<br />

In general, operators do not commute. But commuting operators do exist and<br />

they are of importance in quantum mechanics. As Hermitian operators play a<br />

dominant role in quantum mechanics, and the eigenvalues and the eigenvectors of<br />

a Hermitian operator are real and <strong>for</strong>m a complete set, respectively, we shall<br />

concentrate on Hermitian operators. It is straight<strong>for</strong>ward to prove that<br />

Two commuting Hermitian operators possess a complete orthonormal<br />

set of common eigenvectors, and vice versa.<br />

If A<br />

~<br />

and A<br />

~<br />

jvi ˆjvi are two commuting Hermitian operators, and if<br />

A<br />

~<br />

jvi ˆjvi;<br />

…5:33†<br />

then we have to show that<br />

B<br />

~<br />

jvi ˆjvi:<br />

…5:34†<br />

225

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

Saved successfully!

Ooh no, something went wrong!