Analytic function, creation and annihilation operators proof

In summary, the homework statement is trying to solve for a power series that describes a one level system, but they don't seem to be able to find the right form.
  • #1

Homework Statement

Show that

f(aa)a = af(aa + 1)

Where f is any analytic function and a and a† satisfy commutation relation [a, a] = 1.

The Attempt at a Solution

I have used [a, a†] = aa†-a†a=1 to write the expression like

f(a†a)a†= a†f(aa†)

but I don't know what to do next.

I know that analytic function can be written like f(x)=Ʃ kn(x-x0)2 and that it is infinitely differentiable, but I don't see how can I sucesssfuly
apply this, or there some other trick here.
Physics news on
  • #2
So f is essentially a power series and you can then use induction for an arbitrary power of (a+ a)
  • #3
I think now I understand,
so on the left hand side for f(a†a) I will have powers of a†a
like a†a + a†aa†a ...
and on the right hand side for f(aa†) i will have powers of aa†
like aa† + aa†aa† ...

but since I have to multiply these series by a† from the opposite sides
(a†a + a†aa†a ... ) /a† = a†aa† + a†aa†aa† ...
a†\ ( aa† + aa†aa† ... ) = a†aa† + a†aa†aa† ...

they turn out to be the same, right ?
  • #4
also I have a question which builds on this one (so I will stay in this thread),
A bosonic one level system can be described by the Hamiltonian
H= εa†a,

The expectation value of n = a†a is defined as n(ε) = <n> = tr(ρa†a) where

ρ=(1/ZG)*Exp[-β(ε-μ)a†a] , tr(ρ)=1

is the grand canonical density matrix.
Use f(a†a)a† = a†f(a†a + 1) to show that the form

n(ε) = 1/(Exp[β(ε-μ)]

of the Bose-Einstein distribution directly follows from the bosonic commutation
relation for a and a†.

I don't see where to apply my result from the first part, to trace function maybe ?
But that does not have appropriate form.

Suggested for: Analytic function, creation and annihilation operators proof