Probably easy perturbation theory question (quantum)

In summary: The answer does not depend in any way in the form (W=qCz²) of the perturbation, which I found extremely dubious!
  • #1


Science Advisor
Homework Helper
Gold Member
Note that the post is long but only because I wanted to make the content cristal clear. The same post could easily have been 10 lines long.

Homework Statement

A spinless particle of charge q is in a spherically symetric potentiel V(r). The energy levels depend on l but not on m_l. The system is now perturbed by a weak electric field [itex]\vec{E}=-2Cz\hat{z}[/itex] derivable from a potential [itex]V=Cz^2[/itex]. For a subspace of a given value of l, what can we say about the first order corrections of the energy? (Use Wigner-Eckart's theorem). Is the degeneracy completely raised?

Homework Equations

Perturbation theory: Given an hamiltonian [itex]H=H_0+W[/itex] and a g-fold degenerate energy [itex]E_n^0[/itex] of H_0, the first order corrections due to the presence of W are the eigenvalues of the gxg matrix [itex]<\phi_n^i|W|\phi_n^{i'}>[/itex], the [itex]\phi_n^i[/itex]'s being the g eigenstates of eigenvalue [itex]E_n^0[/itex].

Wigner-Eckart Theorem: [itex]T_Q^{(K)}[/itex] (Q=-K,...,K) are the components of an irreducible tensorial operator of rank K if and only if the matrix elements of [itex]T_Q^{(K)}[/itex] in a standard basis of the state space {|n,J,M>} (i.e. an orthonormal set of eigenstates common to both J² and J_z) are proportional to the Clebsch-Gordan coefficients [itex]<J', K; M', Q|J,M>[/itex] via a proportionality constant independent of M. More precisely, iff


Theorem: If {|n,J,M>} is a standard basis of the state space, then the matrix element [itex]<n,J,M|T_Q^{(K)}|n',J',M'>[/itex] is zero as soon as [itex]M\neq Q+M'[/itex]

The Attempt at a Solution

Here, W=qCz² and in the formalism of the W-E thm, we shall write W as [itex]W_0^{(0)}[/itex] because it is an tensorial operator of rank 0.

Next, following the question, let us fix l to, say, l=l*. Let us fix n also to, say, n=n* in order to concentrate on the corrections to the particular energy [tex]E_{n^*l^*}[/tex]. According to perturbation theory then, we have that the first order corrections [itex]\epsilon_1^{m_{l^*}}[/itex], [tex](m_l^*=-l^*,...,l^*)[/tex] are the eigenvalues of the matrix

[tex]<n^*,l^*,m_{l^*}^{(1)}|W_0^{(0)}|n^*,l^*,m_{l^*}^{(2)}>, \ \ \ \ \ \ \ \ m_{l^*}^{(1)},m_{l^*}^{(2)}=-l^*,...,l^*[/tex]

And according to the theorem stated above, these matrix elements are all 0 unless possibly those on the diagonal, because here, Q=0, M=[itex]m_{l^*}^{(1)}[/itex], and M'=[/itex]m_{l^*}^{(2)}[/itex], so the only (possibly) non nul matrix elements are those for which [itex]m_{l^*}^{(1)}=0+m_{l^*}^{(2)}[/itex], i.e the diagonal elements. But the eigenvalues of a diagonal matrix are precisely the elements of its diagonal. So we have directly,


Or, according to W-E,


Alright, but these Clebschs do not figure in the tables because they are kind of the "trivial Clebsch" in that they arise when you want to express the states of a two-particle system one of which whose angular momentum is [itex]j_1=l^*[/itex] and other the other is [itex]j_2=0[/itex]. In this case, J can only take the value l* and if M=[itex]m_{l^*}[/itex], we get


But all the Clebsch that don't satisfy [tex]m_{l^*}=m_1+0[/tex] are null, so the whole expansion shrinks to



[tex]<l^*,0;m_{l^*},0|l^*,m_{l^*}>=1[/tex]So there we have it:


Each first order correction to the energy is equal and the degeneracy remains intact.Have I goofed somewhere? The answer does not depend in any way in the form (W=qCz²) of the perturbation, which I found extremely dubious!
Last edited:
Physics news on
  • #2
Hi quasar,

[tex] W = qCz^2 [/tex] is not a spherical tensor of rank 0! Rank 0 spherical tensors are scalars, but [tex] z^2 [/tex] is not a rotational scalar. You need to figure out what the spherical tensor components of [tex] z^2 [/tex] are before you go any further. Hint: look at spherical harmonics for a clue.

Hope this helps.
  • #3
Your post was the first time I heard "spherical tensor". I wikipediated it and got redirected to two sites that talk a bit about that...

but neither help demistifying your

You need to figure out what the spherical tensor components of [tex]z^2[/tex] are

Are you asserting that to any operator, there corresponds spherical tensors components or something?

What I got out of my lectures is that a set of three scalar operators are the components of a spherical tensor of rank 1 (or vector operator) if they satisfy a set of commutation relation with J_z similar to the ones the spherical harmonics have with J_z. (Or more generally, one can define a spherical tensor of rank K in a similar manner).

You said z² is not of rank 0. So I suppose I want to find what rank z² is and what are its spherical components. How can one do that?
Last edited:
  • #4
I may have squeezed something out of your spherical harmonics hint there.

I noticed that z=r²cos²O, and that

[tex]Y_{2,0}=\sqrt{\frac{5}{16\pi}}(3\cos^2\theta-1) \ \ \Leftrightarrow \ \ \frac{1}{3}\left(\sqrt{\frac{16\pi}{5}}Y_{2,0}+1\right)=\cos^2\theta[/tex]



And if it weren't for that aditionnal r²/3, this would have behaved under commutation with J exactly like a spherical harmonic.. :/
Last edited:
  • #5
Sorry for the confusion, "spherical tensor" is just a more technical name for what you've called a tensor operator.

You know what these things are already, I assure you. A scalar (1 component) is a tensor operator of rank 0. J^2 is the basic example of a scalar. A vector (3 components) is a tensor of rank 1. J is the basic example of a vector. But one must be careful about what one means by components. In this language vectors are not specified by their cartesian components but rather by their "spherical" components (hence the name spherical). For example, we use J+ and J- instead of Jx and Jy, while Jz is the same in both. You can think of J+ as the M = 1 component of the rank L = 1 tensor J. Similarly, J- is the M = -1 component while Jz is the M = 0 component. Notice the complete analogy with the L = 1 angular momentum states.

What are the L = 2 spherical tensors? For such a tensor M can range from -2 to 2, so we need 5 components. You can convince yourself with a little counting that such tensors correspond to the symmetric traceless part of 3x3 matrices (the trace is a scalar and the antisymmetric part is a vector, count the components).

Now hopefully you can begin to see what this has to do with z^2. This quantity (which isn't a scalar or a vector) can be thought of as the bottom right component of a matrix given by [ xx xy xz ; yx yy yz ; zx zy zz ]. The trace of this matrix is simply x^2 + y^2 + z^2 which is a rotational scalar as I claimed. Your job is to figure out how to write z^2 in terms of spherical harmonics and the radius r. As warm up you might try working out what x or y or z are in terms of spherical harmonics.
  • #6
Yes, you've got it! Remember that J doesn't do anything to r since r is a rotational scalar.
  • #7
Forgive me for being slow but why was it my job to figure out how to write z² in terms of spherical harmonics and the radius r? I wanted to prove that z² was some component of a tensorial operator. How do I know what component of a tensor of what rank z² is, knowing that

Last edited:
  • #8
It's quite alright. Since you've written z^2 ~ A Y20 + B Y00 (Y00 is just a constant), and since the spherical harmonics are eigenstates of angular momentum, the correspondence I mentioned earlier suggests that z^2 is made up of L = 2 M = 0 and L = 0 M = 0 spherical tensor pieces.
  • #9
So we can write


and then apply W-E.

Thank you so much Physics Monkey.

What is perturbation theory in quantum mechanics?

Perturbation theory is a mathematical tool used to approximate the solutions of a quantum mechanical system that cannot be solved exactly. It takes into account a small perturbation or disturbance to the system and calculates the effect on the system's energy levels and wavefunctions.

Why is perturbation theory important in quantum mechanics?

Perturbation theory is important because it allows us to make accurate predictions about the behavior of quantum systems that cannot be solved exactly. It also helps us understand the effects of small changes in a system and allows us to study more complex systems that would be difficult or impossible to solve without perturbation theory.

What are the assumptions of perturbation theory?

The main assumptions of perturbation theory are that the perturbation is small compared to the original system, and that the perturbation can be treated as a linear operator. Additionally, it assumes that the unperturbed system is known and has a complete set of eigenstates.

What are the different orders of perturbation theory?

There are different orders of perturbation theory, with each order taking into account a different level of perturbation. The first-order perturbation theory considers the first-order effects of the perturbation, the second-order perturbation theory considers the second-order effects, and so on. Higher-order perturbation theory provides more accurate results but can be more complicated to calculate.

How is perturbation theory applied in real-world scenarios?

Perturbation theory is widely used in various fields of quantum mechanics, such as atomic and molecular physics, solid-state physics, and nuclear physics. It is also used in the development of quantum computing algorithms and in other areas of theoretical physics. In practical applications, perturbation theory allows for the calculation of energies, transition probabilities, and other properties of quantum systems, providing valuable insights into their behavior.

Suggested for: Probably easy perturbation theory question (quantum)