5
$\begingroup$

It is claimed in many papers that the two-time Green's function in time periodic Hamiltonian case is periodic in the average time, i.e.

\begin{equation} G(t+T,t'+T)=G(t,t') \end{equation}

when $H(t+T)=H(t)$. I wonder if there is any rigorous proof of this property starting from the definition of Green's function?

$\endgroup$
0
$\begingroup$

I am going to assume the reader is familiar with the (contour-ordered) definition of the Green's function:

$$\begin{align} iG(t_1,t_2) &\equiv \langle T_c \psi_H(x_1,t_1) \psi^\dagger_H(x_2,t_2) \rangle \\ &\equiv \mathop{Tr}\left[\rho(H) T_c \psi_H(x_1,t_1) \psi^\dagger_H(x_2,t_2) \right] / \mathop{Tr}\left[\rho(H) \right] \end{align} $$

where $\psi_H$ is the annihilation operator in the Heisenberg picture, whose evolution is dictated by the time evolution operator $U$, starting from some time $t_0$, where the Heisenberg and Schrodinger pictures coincide.

$$ \psi_H(x,t) = U^\dagger(t,t_0) \psi(x) U(t,t_0) $$

Now here's the proof:

$$\begin{align} \frac{d}{dt}U_{H}\left(t,t_{0}\right)&=-iH\left(t\right)U_{H}\left(t,t_{0}\right)\\ S\left(t\right)&\equiv U_{H}\left(t+T,t_{0}\right)U_{H}^{\dagger}\left(T,t_{0}\right)\quad\text{define helper quantity}\\ \frac{d}{dt}S\left(t\right)&=\frac{d}{dt}U_{H}\left(t+T,t_{0}\right)U_{H}^{\dagger}\left(T,t_{0}\right)\\&=-iH\left(t+T\right)U_{H}\left(t+T,t_{0}\right)U_{H}^{\dagger}\left(T,t_{0}\right)\\&=-iH\left(t\right)S\left(t\right)\quad\text{using periodicity of }H\\ \Rightarrow S\left(t\right)&=U_{H}\left(t,t_{0}\right)U_{H}^{\dagger}\left(0,t_{0}\right)\quad\text{because }S\left(0\right)=1\\\Rightarrow U_{H}\left(t+T,t_{0}\right)&=U_{H}\left(t,t_{0}\right)U_{H}^{\dagger}\left(0,t_{0}\right)U_{H}\left(T,t_{0}\right)\\&=U_{H}\left(t,t_{0}\right)X\\\text{where }X&\equiv U_{H}^{\dagger}\left(0,t_{0}\right)U_{H}\left(T,t_{0}\right)\\ \text{now } \psi_{H}\left(x,t+T\right)&=U_{H}^{\dagger}\left(t+T,t_{0}\right)\psi\left(x,t_{0}\right)U_{H}\left(t+T,t_{0}\right)\\ &=X^{\dagger}U_{H}^{\dagger}\left(t,t_{0}\right)\psi\left(x,t_{0}\right)U_{H}\left(t,t_{0}\right)X\\ &=X^{\dagger}\psi_{H}\left(x,t\right)X\\ iG\left(t_{1}+T,t_{2}+T\right)&=\left\langle T_{c}\psi_{H}\left(x_{1},t_{1}+T\right)\psi_{H}^{\dagger}\left(x_{2},t_{2}+T\right)\right\rangle \\&=\left\langle T_{c}X^{\dagger}\psi_{H}\left(x_{1},t_{1}\right)XX^{\dagger}\psi_{H}^{\dagger}\left(x_{2},t_{2}\right)X\right\rangle \\&=\left\langle T_{c}X^{\dagger}\psi_{H}\left(x_{1},t_{1}\right)\psi_{H}^{\dagger}\left(x_{2},t_{2}\right)X\right\rangle \\&=\left\langle T_{c}\psi_{H}\left(x_{1},t_{1}\right)\psi_{H}^{\dagger}\left(x_{2},t_{2}\right)XX^{\dagger}\right\rangle \quad\text{using cyclic property of trace}\\&=\left\langle T_{c}\psi_{H}\left(x_{1},t_{1}\right)\psi_{H}^{\dagger}\left(x_{2},t_{2}\right)\right\rangle \\&=iG\left(t_{1},t_{2}\right) \end{align} $$

q.e.d.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.