A Commutator of annihilation operator

[Robert_G]

Hi, everybody:

I encountered a problem when I am reading a book.
It's about the atom-photon interaction.
Let the Hamiltonian for the free photons be
H_0=\hbar \omega(a^{\dagger}a+\frac{1}{2}).
so the commutator of the annihilation operator and the Hamiltonian is
[a,H_0]=\hbar\omega a
and I have no problem with that.

In the book I am reading is a commutation as
[a,H_{I}]=\frac{\partial}{\partial a^{\dagger}}H_I
This is the thing I do not understand.
H_{I} is the Hamiltonian that describing the interaction between the atom and the photon,
and it is a little tedious to type it here. However, If I change H_I into H_0 in the second commutator, it is correct.

My question is, what's the condition for the second commutator stands?
Is it correct for all the Hamiltonian, or just the special one such as H_I?
If it is just for some special Hamiltonian, What is the key properties of such Hamiltonian to satisfy that commutator?

Thanks
Robert

 

[strangerep]

[a,H_{I}]=\frac{\partial}{\partial a^{\dagger}}H_I
This is the thing I do not understand.

My question is, what's the condition for the second commutator stands?
Is it correct for all the Hamiltonian, or just the special one such as H_I?
If it is just for some special Hamiltonian, What is the key properties of such Hamiltonian to satisfy that commutator?

Let $f(z)$ be any complex-analytic function of $z$. Then it can be proven that $$[a , f(a^\dagger) ] ~=~ \frac{\partial f(a^\dagger)}{\partial a^\dagger} ~.$$(Actually, there might also be some factors of $i \hbar$ depending on your convention for the commutation relations.)

It's fairly easy to prove this by induction if $f$ is a polynomial. For more general analytic functions, one must work a bit harder.

This can be extended to functions like $f(a, a^\dagger)$ provided you're careful with the operator ordering.