Commutation relation of the creation/annihilation operators in a field

guillefix
Messages
77
Reaction score
0
Hello, I'm having trouble calculating this commutator, at the moment I've got:

\left[a_{p},a_{q}^{\dagger}\right]=\left[\frac{i}{\sqrt{2\omega_{p}}}\Pi(p)+\sqrt{\frac{w_p}{2}}\Phi(p),\frac{-i}{\sqrt{2\omega_{p}}}\Pi(p)+\sqrt{\frac{w_p}{2}}\Phi(p)\right]=i\left[\Pi(p),\Phi(q)\right]=i\int d^{3}x d^{3}ye^{-i(\vec{p}\bullet\vec{x}+\vec{q}\bullet\vec{y})}\left[\Pi(x),\Phi(y)\right]=\int d^{3}x d^{3}ye^{-i(\vec{p}\bullet\vec{x}+\vec{q}\bullet\vec{y})}\delta^{3}(x-y)=\int d^{3}x e^{-i(\vec{p}+\vec{q})\bullet\vec{x}}=(2\pi)^{3}\delta^{3}(p+q)

But I should get (2\pi)^{3}\delta^{3}(p-q) instead. Where have I made the mistake?
 
Last edited:
Physics news on Phys.org
I'm a little puzzled by your expressions for a and a† in the second part of your equation. Where did you get those from? Typically, you define the creation and annihilation operators a and a† implicitly sort of like "fourier components" of Φ(x), and inverting the definitions to get an explicit expression for them is not nearly as pretty.

I'm not even entirely sure exactly the problem you're doing: the 1D scalar field/Klein Gordon field? If I'm assuming correctly, then the computation you are trying to do is actually usually a bit more messy because you don't have such nice expressions for a and a†.

Ryder does a good job of showing that calculation and the necessary techniques. I actually have never seen a better derivation than in Ryder (and I have seen many nice looking but actually incorrect derivations by my classmates). Attached is the excerpt from Ryder's "Quantum Field Theory" 2nd ed. where he does it right [the equations he mentions that aren't in that image, 4.9 and 4.10 are just the commutators of ∏ and Φ and their definition].

Anyway it's totally possible that you're doing it some other way that I don't know about. I don't often see ∏(p) and Φ(p)--that's an unusual aspect of what you have written.
 

Attachments

  • ryder.png
    ryder.png
    19.8 KB · Views: 1,684
Last edited:
Sorry, yeah it's the Klein-Gordon field (in 3+1 dimensions).

The expressions I got from the quantum harmonic oscillator, and the fact that the KG field can be considered as one of these per momentum. I haven't verified it in any literature actually, but it made sense, and gave me the right Hamiltonian.
 
That's a nice idea, but it doesn't work that easily, because the KG equation is of 2nd order in time. You have to analyze the situation from the very beginning using the Hamiltonian. Let's take the neutral KG field. Then you have the Lagrangian
\mathscr{L}=\frac{1}{2} (\partial_{\mu} \phi) (\partial^{\mu} \phi)-\frac{m^2}{2} \phi^2.
The canonical field momentum is
\frac{\partial \mathscr{L}}{\partial \dot{\phi}}=\dot{\phi}.
The field equation is the Klein Gordon equation, and you have
(\Box+m^2) \phi=0,
implying that the normal modes are plane waves
u_{\vec{p}}(x)=\left . \frac{1}{(2 \pi)^{3/2} \sqrt{2 E(\vec{p})}} \exp(-\mathrm{i} p_{\mu} x^{\mu}) \right|_{p^0=E(\vec{p})}
with the on-shell energy
E(\vec{p})=+\sqrt{m^2+\vec{p}^2}.
The expansion in annihilation and creation operators wrt. to energy-momentum eigenmodes thus reads
\phi(x)=\int_{\mathbb{R}^3} \mathrm{d}^3 \vec{p} [a(\vec{p}) u_{\vec{p}}(x) + a^{\dagger}(\vec{p}) u_{\vec{p}}^*(x)].
The inverse of this Fourier-like decomposition reads
a(\vec{p})=\mathrm{i} \int_{\mathrm{R}^3} \mathrm{d}^3 \vec{x} [u_{\vec{p}}(x) \overleftrightarrow{\partial}_t \phi(x)],
where for any two functions one defines
A(x) \overleftrightarrow{\partial}_t B(x)=A(x) \dot{B}(x)-\dot{A}(x) B(x).
Now you use the equal-time-commutation relations
[\phi(t,\vec{x}),\phi(t,\vec{y})]=[\dot{\phi}(t,\vec{x}),\dot{\phi}(t,\vec{y})]=0, \quad [\phi(t,\vec{x}),\dot{\phi}(t,\vec{y})]=\mathrm{i} \delta^{(3)}(\vec{x}-\vec{y})
to arrive at the commutation relations for a(\vec{p}) and a^{\dagger}(\vec{p}), i.e.,
[a(\vec{p}),a(\vec{k})]=0, \quad [a(\vec{p}),a(\vec{k})]=\delta^{(3)}(\vec{p}-\vec{k}).
The calculation is a bit lengthy, but I'm sure, you'll manage it :-).
 
  • Like
Likes The Tortoise-Man
Lengthy is a good word to describe this calculation. It's not very hard if you have Ryder or vanhees' tips [which are almost identical], but as I recall it's about two pages to fill in all the steps [mostly since the equations get very long].
 
Last edited:
Thank you for the help, and yeah it was quite lengthy/mistake-prone. I think I found my fundamental mistake. It was in not changing the sign of the i inside the exponential of the Fourier transform of Pi and Phi for the a_dagger. Incidentally, following your definition, I actually arrive to the same expressions I got in my first post, where \Pi(\textbf{p})=\int d^{3}x e^{-i(\textbf{p}\cdot \textbf{x})} \Pi(\textbf{x})
But, as I said my missing minus sign is in the fact that for the a_dagger, \Pi^{\dagger}(\textbf{p})=\int d^{3}x e^{i(\textbf{p}\cdot\textbf{x})} \Pi(\textbf{x}), which when integrated from -inf to inf, gives the same result, but when in an expression like this, doesn't! Also, you were using \mu indices, which I think means that you are in the Heisenberg picture, while I am in the Schrödinger pitcture, but, of course, it doesn't change the result)
 
Last edited:
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
Is it possible, and fruitful, to use certain conceptual and technical tools from effective field theory (coarse-graining/integrating-out, power-counting, matching, RG) to think about the relationship between the fundamental (quantum) and the emergent (classical), both to account for the quasi-autonomy of the classical level and to quantify residual quantum corrections? By “emergent,” I mean the following: after integrating out fast/irrelevant quantum degrees of freedom (high-energy modes...

Similar threads

Back
Top