41 views

Uploaded by SaidWebbe

- Optimization of Chemical Processes by Thomas F. Edgar Solution Manual 2nd Ed
- Eigenvalues and Eigenvectors
- Notes
- Linear Maps
- Past Papers Solutions Output
- Gentle Intro
- Mis notas de R.pdf
- Pca
- Miii Sample 06
- Ch3
- Linear Algebra
- problem set
- Jordan Canonical Form_ Application to Differential Equations
- Chapter 04 Eigen Values
- Exercise 1 - 3
- F.Y. Wu and Fa Wang- Dimers on the kagome lattice I: Finite lattices
- lec20
- Download File(1)
- LASlides_01
- 9231_s07_qp_1

You are on page 1of 7

Paolo Glorioso

In this note we try to answer the question: Given two commuting Hermitian operators A and B,

is each eigenbasis of A also an eigenbasis of B?

We take this occasion to review the mathematical

results needed to explore the answer to such question. Moreover, we will assume that the reader is

familiar with the concepts of vector space, vector subspace, linear combination, linear independence,

diagonalization, inner product, and basis. These concepts can be found in Sections 1.1, 1.2 and 1.4

in [1]. A less specific treatment of the following is given in Section 1.8 therein.

Consider an operator A, acting on vectors belonging to a vector space V. We will make use of the

following definitions:

i) Eigenvalue: A constant C is called an eigenvalue of A if it satisfies the following

equation:

= v,

Av (1)

for some nonvanishing vector v V.

ii) Eigenvector: A nonvanishing vector v V is an eigenvector of A if it satisfies Equation (1)

for some C. Note that v is also called eigenstate, or eigenfunction, depending on the

context.

iii) Nondegenerate eigenvalue/eigenvector: An eigenvalue of A is called nondegenerate

if Equation (1) is satisfied by only one vector v, up to an overall complex number, i.e. all

the solutions of Equation (1) are of the form v, where C. This is equivalent to say

that the eigenvalue corresponds to only one eigenstate of A. Similarly, an eigenvector is

called nondegenerate if it is the only vector, up to an overall complex number, that satisfies

Equation (1) for some . Degenerate eigenvalues/eigenvectors are those which dont satisfy

this uniqueness property. Note that some references use the expression degenerate state

with respect to Equation (1) but referring only to the energy operator, see for example [2].

= v,

Ev

iv) Eigenbasis: A set of vectors

V = {vi },

such that each vi is an eigenvector of A and V is a basis of V, is called an eigenbasis of V

with respect to A.

1

In this note we will refer to Hermitian operators, where A is Hermitian if, for any u, v V,

= (Au,

(u, Av) v),

and (u, v) is the scalar product in V. There are two reasons why we consider Hermitian operators.

First, because in Quantum Mechanics all observables are postulated to be Hermitian.1 Second,

because Hermitian operators are diagonalizable, i.e. they admit a basis in which they have a

diagonal form, which is then an eigenbasis. See Theorem 10 in Chapter 1 of [1] for this point.

Proposition 1. Let A be a Hermitian operator with only nondegenerate eigenvalues, and V = {vi }

and W = {wi } two eigenbases of A. Then V is obtained from W by permutations and multiplications

by complex numbers of the eigenvectors of W, i.e., for each vi V, there is wj W and C

such that

vi = wj .

In other words, V and W contain the same eigenstates.

i = i vi ,

Av i = i wi .

Aw (2)

X

vi = j wj , (3)

j

where j C. Then,

X X X

i = A

i vi = Av j wj = j=

j Aw j j wj .

j j j

where we used the linearity of A. Comparing the first and the last members of the above Equation

with Equation (3), we get

X X X

i j wj = j j wj = (j i ) j wj = 0,

j j j

and using the fact that the wj s are linearly independent, we obtain,

(j i ) j = 0.

This is a set of equations, labelled by j. Each of them has two solutions: either j = 0, or j = i .

Since by hypothesis, the j s are all different from each other, being nondegenerate eigenvalues,

only one of the above set of equations can satisfy j = i . Thus all j s but one are zero, and we

obtain, from Equation (3),

vi = j wj ,

1

Recall that this is implied by the requirement of having real eigenvalues.

2

for one value of j. This tells us that each vector of V is also contained in W, up to an overall

complex number, which in the above Equation is given by j . Of course, we can also revert the

whole reasoning and show that each vector of W is contained in V. Therefore we can say that the

two eigenbases are the same, up to permutations and multiplications by complex numbers of their

vectors, and we are done.

Proposition 2. Suppose that A and B

are Hermitian operators with vanishing commutator, i.e.

B]

[A, = 0.

Then A and B

share a common eigenbasis.

Proof. Consider an eigenbasis of A,

any vi ,

i = BAv

ABv i = i Bv

i, (4)

i 6= 0, Bv

i.e., if Bv i is an eigenvector of A associated to the same eigenvalue as vi , i . We have two

cases to consider:

i can differ from vi only by a constant factor, or

i nondegenerate: Bv

i = i vi ,

Bv

with eigenvalue i .

and thus vi is also an eigenvector of B,

i degenerate: in this case there are more vectors associated to i , which we denote by

j is still an eigenvector of A,

wj , j = 1, . . . , N , where N is the degeneracy of i . Since Bw

we can write it as a linear combination of the wj s. For this reason, the operator B can be

seen as acting internally in the subspace spanned by the wj s. Since B is Hermitian, it is

Hermitian in particular in this subspace. Indeed, for any u1 , u2 belonging to such subspace,

2 ) = (Bu

(u1 , Bu 1 , u2 ),

Now, since B is Hermitian in this subspace we can diagonalize it, or in other words we can

choose a basis of eigenvectors of B which span this subspace, and we call them w0 . These w0

j j

and thus the Proposition is proved.

are still eigenvectors of A,

To understand better the last proof, we can view as an infinite matrix, in the sense explained

B

by the following picture:

1) 2)

(v1 , Bv (v1 , Bv

B = (v2 , Bv

1) (v2 , Bv 2 ) ,

.. .. ..

. . .

3

where the vi s belong to the basis with respect to which B is represented. If we view B

in the

eigenbasis V introduced at the beginning of the proof, we have

B1

B2

=

B , (5)

B3

..

.

on the subspaces similar to

where each block Bi is a submatrix representing the internal action of B

and if i is nondegenerate

the one spanned by the wj s. Each block refers to an eigenvalue i of A,

the block will be just a 1 1 matrix. If i is degenerate with degeneracy N then the block will be

N N . What we did in the degenerate case of the proof was just to show that the corresponding

block Bi is a Hermitian matrix, and thus diagonalizable.

Finally, note that if we know that A and B share a common eigenbasis, then their commutator is

zero. Indeed, sharing a common eigenbasis means that in such basis they are both represented as

diagonal operators, and thus they commute. This consideration allows us to state a more powerful

statement than the above Preposition:

Proposition 3. Let A and B be two Hermitian operators. Then the following two statements are

equivalent:

i) A and B

possess a common eigenbasis.

ii) A and B

commute.

Aimed of the mathematical results we have found, we shall now answer the following question:

is each eigenbasis of A also an

eigenbasis of B?

The short answer is: it depends. Consider the case where both A and B have only nondegenerate

eigenvalues. Then, by virtue of Proposition 1 and 2, each eigenbasis of A is also an eigenbasis of

Indeed, by Proposition 2 we can consider a common eigenbasis of A and B,

B. which we denote

by V . By Proposition 1 we know that we would exhaust all the eigenbases of A by permuting and

multiplying by complex numbers the vectors of V, and the same for the eigenbases of B. Thus, in

this case, the answer to the above question is YES. In all the other cases, the answer is NO.

Consider e.g. the case where A has some degenerate eigenvalues. Then, in some eigenbasis of A,

B would look like in Equation (5), which is not in diagonal form if some of the blocks Bi are

nondiagonal. For a neat example, we can consider the following matrices:

1 3

A = 2 , B= 1 2i ,

2 2i 1

note that [A, B] = 0, essentially because the 2 2 lower diagonal block of A is a scalar matrix,2 and

thus it must commute with the corresponding lower diagonal block of B. Moreover, B is Hermitian,

2

A scalar matrix is a matrix proportional to the identity.

4

and then diagonalizable. Note that A and B are represented in terms of an eigenbasis of A, and

that 2 is a degenerate eigenvalue of A. We denote this eigenbasis by V = {e1 , e2 , e3 }, where

1 0 0

e1 = 0 , e2 = 1 , e3 = 0 .

0 0 1

Following the proof of Proposition 2, we only need to find two linear combinations of e2 , e3 such

that the lower block of B assumes a diagonal form. Working out the standard diagonalization

procedure, we find the common eigenbasis W = {e1 , v2 , v3 }, where

1 1

v2 = (e2 + ie3 ), v3 = (e2 ie3 ),

2 2

and the above matrices assume the following form:

1 3

A = 2 , B = 1 .

2 3

For a more physical example, consider the hydrogen atom. The energy eigenstates are commonly

labelled by

|n, `, mi, (6)

2 , and m is the label associated to L

where n is the energy level, ` is the label associated to L z

through

L z = ~m.

L

In this basis, E, 2 and L

z are all diagonal. Using the fact that the states (6) are degenerate, we

want to construct a new basis where L z is nondiagonal. One example is

s

1 X

V = {|n, `, si}, where |n, `, si = |n, `, mi,

` + s + 1 m=`

and L

and where s = `, . . . , `. Clearly, V is a complete set of eigenstates of E 2 , but they are not

z , indeed

eigenstates of L

s s

z |n, `, si = 1 X

1 X

m|n, `, mi,

L Lz |n, `, mi = ~

` + s + 1 m=` ` + s + 1 m=`

which clearly doesnt correspond to Equation (1). Another simple construction we can make with

the hydrogen atom is the following. Consider, instead of (6), the basis given by the eigenvectors of

L

E, 2 , and L

x , instead of L

z , and denote it by

x |n, `, mx i = ~mx |n, `, mx i.

L

5

However, L z will not be diagonal in this basis, indeed suppose that, for all mx , there exist mx

such that

L z |n, `, mx i = mx |n, `, mx i.

y |n, `, mx i = [L

iL z, L

x ]|n, `, mx i = [~m, mx ]|n, `, mx i = 0,

which we know to be false. Therefore W is not an eigenbasis for L z , but it keeps being an eigenbasis

2

for E and L . In the basis given by the states (6), the operator L z assumes the following matrix

form for the first 4 eigenstates:

0

1

0

Lz = ~

,

1

..

.

0

0 1 0

~ 1 0 1

Lz = .

2

0 1 0

..

.

References

[2] D.J. Griffiths, Introduction to Quantum Mechanics (Pearson Prentice Hall, 2005).

6

MIT OpenCourseWare

http://ocw.mit.edu

Spring

For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

- Optimization of Chemical Processes by Thomas F. Edgar Solution Manual 2nd EdUploaded byAakash R Rajwani
- Eigenvalues and EigenvectorsUploaded byanon_351812634
- NotesUploaded byAkindolu Dada
- Linear MapsUploaded byTom Davis
- Past Papers Solutions OutputUploaded byCharlie Biopunk Ales
- Gentle IntroUploaded bySuresh Venkatasubramanian
- Mis notas de R.pdfUploaded byMaicel Monzon
- PcaUploaded byRahul Bagga
- Miii Sample 06Uploaded byxyza304gmailcom
- Ch3Uploaded bySteven Robert Tseng
- Linear AlgebraUploaded bysruthy
- problem setUploaded byAnonymous aQqan3bxA2
- Jordan Canonical Form_ Application to Differential EquationsUploaded byhungkg
- Chapter 04 Eigen ValuesUploaded bySaurabhGupta
- Exercise 1 - 3Uploaded byShazryn
- F.Y. Wu and Fa Wang- Dimers on the kagome lattice I: Finite latticesUploaded byBanshees_Glee
- lec20Uploaded byAshish Gupta
- Download File(1)Uploaded bySATSANGBOOK
- LASlides_01Uploaded bymitsuosakamoto
- 9231_s07_qp_1Uploaded bySwarnapali Liyanage
- De RealEigenvaluesUploaded bySangramjit Sarkar
- manpreetUploaded byNavdeep Singh Butter
- AbstractUploaded bySatyajeet Chauhan
- Or DenUploaded byHenk Hollmann
- Solutions 1Uploaded byMartín Figueroa
- 04282107Uploaded byRurizwan Syahru
- Bertilsson Et Al 2011 Multidimensional Consideration of Anthropometric DiversityUploaded byMohamed Mansour
- Data Structures 1Uploaded byJaya Panthi
- 6 Model Question Paper_assignment 2002 Lab (1)Uploaded bykushal
- end_sem_newUploaded byPurwajTiwari

- Strogatz - Nonlinear Dynamics and ChaosUploaded byChrisZemog
- rtx110600804p.pdfUploaded bySaidWebbe
- Lecture 02Uploaded bySaidWebbe
- Milnor J. Topology From the Differentiable Viewpoint (Princeton, 1965)Uploaded bydeadchildsta
- MIT8_04S13_Lec03Uploaded byYul Lope
- MIT8_04S13_Lec07Uploaded byYul Lope
- lec1Uploaded bysadiksnm
- 1º Encontro - Graf- Cc4 - Apostila Leitura e Interpretao de Projetos ArquitetnicosUploaded bySaidWebbe
- lec1.pdfUploaded byDeepak sharma
- AMP Chapter 06 ScannedUploaded byazhang_ao
- Polarizers vs Hyper Intelligent MonkeysUploaded bySaidWebbe
- Electron Diffraction With CrystalsUploaded bySaidWebbe
- MIT8_04S13_ps1Uploaded byYul Lope
- Optional Problems on the Harmonic Oscillator.pdfUploaded bySaidWebbe
- On Common Eigenbases of Commuting OperatorsUploaded bySaidWebbe
- Optional Problems on the Harmonic OscillatorUploaded bySaidWebbe
- Lecture 2 Lesson 1 Book 2Uploaded bySaidWebbe
- Nz Bim Handbook Appendix Ei Project Bim Brief ExampleUploaded bySaidWebbe
- NZS3604 2011 First Ten PagesUploaded bySaidWebbe

- GeometryUploaded byKent Kevin Nacor Nieves
- tpa 1 - bryan stoneUploaded byapi-349172138
- Mat Dipsy LlUploaded bybharathgk
- Full Order Observer Design Using SimulinkUploaded bykerem_tugcan
- Notes on Partial Differential EquationsUploaded byJamie
- 401-slrUploaded byPoonam Naidu
- TaylorUploaded byTen Mukhi
- g7m1l10- equations of graphs of proportional relationships involving fractionsUploaded byapi-276774049
- 37 4 Hyprgmytrc DistUploaded bytarek moahmoud khalifa
- dvd3_03Uploaded byAi Ve Xu Viet
- Third Periodic Test in Math 6 2017-2018Uploaded byMaryHazelClaveBeniga
- CMES_L01_L02_ModelCheking_a.pdfUploaded byAndreea Vescan
- ch2-folland.pdfUploaded byerlandfilho
- Circle and Radius of Curvature.pdfUploaded byJubril Akinwande
- math whiz unit 4 mcUploaded byapi-302577842
- psocUploaded byVijay Raghavan
- Craig Kaplan - Computer Generated Islamic Star PatternsUploaded byNasia Aisan
- [4] - A_control_engineers_guide to SMCUploaded byMartin Trujillo
- Binomial TheoremUploaded byAjinkya Patil
- 5_3_Parallel Intersecting or Skew LinesUploaded bySudibyo Gunawan
- Plus Two Maths Notes Introduction Remesh HssliveUploaded byMuhammad Saleem
- Teoremas Calculo VectorialUploaded byErick Reza
- 141_1_MidtermUploaded bySanjay Rai
- Epistemic DemocracyUploaded byJoel Cruz
- SUGGESTIVE CURRICULUM OF B.ED. FOR C.C.S. UNIVERSITYUploaded byabhishek.mishraji
- MomentsUploaded byJohn Kristoffer Gimpes
- Medieval Arithmetic GeometryUploaded byDaniel G.G.
- Chapter 4 - 5 ChecklistUploaded byAlp Eren AKYUZ
- Addition of Vectors LabUploaded byctremblaylcsd150
- Matdip301 Advanced Mathematics-iUploaded byHari Prasad