Commutators in second quantization

  • #1
daudaudaudau
302
0
Hi. I've been trying to calculate a couple of commutators, namely [itex][\Psi(r),H][/itex] and [itex][\Psi^{\dagger}(r),H][/itex] where H is a free particle hamiltonian in second quantization. I have attached my attempts and I would greatly appreciate if anyone could tell me if I am right or if there is a better way to do it.
 

Attachments

  • commutators.pdf
    91.2 KB · Views: 224

Answers and Replies

  • #2
A. Neumaier
Science Advisor
Insights Author
8,105
4,025
Hi. I've been trying to calculate a couple of commutators, namely [itex][\Psi(r),H][/itex] and [itex][\Psi^{\dagger}(r),H][/itex] where H is a free particle hamiltonian in second quantization. I have attached my attempts and I would greatly appreciate if anyone could tell me if I am right or if there is a better way to do it.

There are mistakes already on line 5 and on line 6.
In substituting Psi in line 5, you forgot the part of the sum involving creation operators.
The part you have given vanishes since the commutator [a_k,a_k'] is zero, at least in the usual notation.
 
  • #3
daudaudaudau
302
0
There are mistakes already on line 5 and on line 6.
In substituting Psi in line 5, you forgot the part of the sum involving creation operators.
The part you have given vanishes since the commutator [a_k,a_k'] is zero, at least in the usual notation.

It's not zero because it is a commutator of fermion operators. It would be zero if they were boson operators. For fermions it is the anti-commutator which is zero.
 
  • #4
A. Neumaier
Science Advisor
Insights Author
8,105
4,025
It's not zero because it is a commutator of fermion operators.

Nothing on your page had mentioned that. Still, things are not ok - in the equality on line 5, you forgot the creation part of Psi(r).

The best way to compute the commutators is to
(i) define a(f) := sum f(k) a_k,
(ii) compute for arbitrary functions f and g the anti-commutators
{a(f),a(g)}, {a(f),a^*(g)}, {a^*(f),a(g)}, and {a^*(f),a^*(g)},
(iii) write [A,BC]=ABC-BCA={A,B}C-B{A,C} to compute commutators of three Psi terms,
(iv) integrate over r.
 
  • #5
daudaudaudau
302
0
Nothing on your page had mentioned that. Still, things are not ok - in the equality on line 5, you forgot the creation part of Psi(r).

Do we agree that Psi(r) ([itex]\Psi(r)[/itex]) is the annihilation operator at position r? So what do you mean by the creation part of Psi(r) ? I have just written [itex]\Psi(r)=\sum_k e^{ikr}a_k[/itex]
 
  • #6
daudaudaudau
302
0
I tried doing it your way by calculating the anti-commutators, and it went a lot smoother. I still have a little problem with the second commutator though.
 

Attachments

  • commutators2.pdf
    84.1 KB · Views: 168
  • #7
A. Neumaier
Science Advisor
Insights Author
8,105
4,025
Do we agree that Psi(r) ([itex]\Psi(r)[/itex]) is the annihilation operator at position r? So what do you mean by the creation part of Psi(r) ? I have just written [itex]\Psi(r)=\sum_k e^{ikr}a_k[/itex]

Well, since it is your problem, we can agree on anything you like, but nobody can guess what you mean if you use standard notation to designate nonstandard things.
You'd define all the terms you are using in a way differently from the traditional context (where iin the absence of other informations, bosons are the default, and where space-dependent fields are decomposed into creation and annihilation operators).
So please add proper explanations to your symbols....
 
  • #8
daudaudaudau
302
0
I actually thought I was using pretty standard notation(except for the boson vs. fermion default). I'm reading books on many particle theory such as G.D. Mahan's "Many Particle Physics".

[itex]\Psi(r)[/itex] is the annihilation operator at point [itex]r[/itex] and [itex]\Psi^\dagger (r)[/itex] is the corresponding creation operator. These operators obey the anti-commutation relation [itex]\{\Psi(r),\Psi^\dagger (r')\}=\delta(r-r')[/itex], so they are fermion operators. Using these operators the free particle Hamiltonian is written [itex]H_0=\int dr\Psi^\dagger (r)\left(-\frac{1}{2m}\nabla^2 _r\right)\Psi(r)[/itex]. We have another set of fermion operators [itex]a_k[/itex] and [itex]a^\dagger _k[/itex] that annihilate/create states of momentum [itex]k[/itex]. I can then express i.e. [itex]\Psi(r)[/itex] in terms of these as [itex]\Psi(r)=\sum_k e^{ikr}a_k[/itex]. Actually I should divide by [itex]\sqrt{V}[/itex] here, where V is the volume, but I just leave that out.
 
Last edited:
  • #9
A. Neumaier
Science Advisor
Insights Author
8,105
4,025
I actually thought I was using pretty standard notation(except for the boson vs. fermion default). I'm reading books on many particle theory such as G.D. Mahan's "Many Particle Physics".

This explains things. You work in a nonrelativistic setting. Then you indeed don't have the antiparticle part.
 
  • #10
A. Neumaier
Science Advisor
Insights Author
8,105
4,025
I tried doing it your way by calculating the anti-commutators, and it went a lot smoother. I still have a little problem with the second commutator though.

In line -4 you'd put the ^2 outside the parentheses; then you get the correct result (of opposite sign).
 

Suggested for: Commutators in second quantization

  • Last Post
Replies
4
Views
363
  • Last Post
Replies
4
Views
741
Replies
5
Views
213
Replies
1
Views
815
Replies
5
Views
509
  • Last Post
Replies
4
Views
319
  • Last Post
Replies
3
Views
750
Replies
4
Views
366
Replies
2
Views
205
  • Last Post
Replies
5
Views
718
Top