References
- Ref: https://ocw.mit.edu/courses/8-06-quantum-physics-iii-spring-2018/89ef6d5958ee59bae9a91345c3d8c8e4_MIT8_06S18ch4.pdf
- Ref: https://www.tcm.phy.cam.ac.uk/~bds10/aqp/handout_dep.pdf
We are considering a Hamiltonian split as:
H(t)=H0+λV(t)
where $H_0$ is the unperturbed time-independent Hamiltonian (which we know how to solve), and $\lambda V(t)$ is the time-dependent perturbation where $\lambda$ is a parameter that controls how small the perturbation is.
The full Schrödinger equation can be written as:
iℏ∂t∂∣ψ(t)⟩=H(t)∣ψ(t)⟩=[H0+λV(t)]∣ψ(t)⟩(1)
The eigenstates $\ket{n}$ and eigenvalues $E_n$ of the stationary $H_0$ satisfy
H0∣n⟩=En∣n⟩
Without perturbation, the stationary time-evolution of eigenstate $\ket{n}$ is
∣n(t)⟩=e−iEnt/ℏ∣n⟩
We expand the full solution $\ket{\psi(t)}$ in terms of the unperturbed eigenstates $\ket{m(t)}$:
∣ψ(t)⟩=m∑cm(t)e−iEmt/ℏ∣m⟩(2)
assuming the perturbation $\lambda V(t)$ is small, the expansion coefficients $c_m(t)$ should vary very slow.
Now plug Eq. 2 into Eq. 1, we get
iℏ∂t∂∣ψ(t)⟩iℏ∂t∂m∑cm(t)e−iEmt/ℏ∣m⟩iℏm∑(c˙m(t)e−iEmt/ℏ∣m⟩−iEm/ℏcm(t)e−iEmt/ℏ∣m⟩)iℏm∑c˙m(t)e−iEmt/ℏ∣m⟩+m∑Emcm(t)e−iEmt/ℏ∣m⟩iℏm∑c˙m(t)e−iEmt/ℏ∣m⟩=[H0+λV(t)]∣ψ(t)⟩=[H0+λV(t)]m∑cm(t)e−iEmt/ℏ∣m⟩=[H0+λV(t)]m∑cm(t)e−iEmt/ℏ∣m⟩=[H0+λV(t)]m∑cm(t)e−iEmt/ℏ∣m⟩=λV(t)m∑cm(t)e−iEmt/ℏ∣m⟩
left multiply by $\bra{n}$ and use the orthonormal condition of the stationary eigenstates $\braket{n|m}=\delta_{mn}$
iℏc˙n(t)e−iEnt/ℏc˙n(t)=m∑cm(t)e−iEmt/ℏ⟨n∣λV(t)∣m⟩=iℏ1m∑cm(t)e−i(Em−En)t/ℏ⟨n∣λV(t)∣m⟩
and we can rewrite it to
c˙n(t)=iℏ1m∑cm(t)eiωnmtλVnm(t)(3)
where $\omega_{nm}=\frac{E_n-E_m}{\hbar}$ and $V_{nm}(t)=\braket{n|V(t)|m}$.
We can expand the time-dependent coefficients $c_m(t)$ in powers of the parameter $\lambda$
cm(t)=cm(0)(t)+λcm(1)(t)+λ2cm(2)(t)+⋯(4)
Assuming we are starting from time $t_0$ and systems is prepared to be in state $i$, the zeroth order expansion should be stationary coefficients at $t_0$ (as $\lambda=0$, we turn off the interaction and system becomes time independent)
cm(t0)=cm(0)(t)=δmi
which means the zeroth coefficients are constants and $\dot{c}_m^{(0)}(t) = 0$, combining with Eq. 4, the expansion of Eq.3 can be written as
c˙n(t)(0)+λc˙n(t)(1)+λ2c˙n(t)(2)+⋯=iℏ1m∑λcm(0)(t)eiωnmtVnm(t)+iℏ1m∑λ2cm(1)(t)eiωnmtVnm(t)⋯
To first order of $\lambda$, we have
c˙n(t)(1)=iℏ1m∑cm(0)(t)eiωnmtVnm(t)=iℏ1m∑δmieiωnmtVnm(t)=iℏ1eiωnitVni(t)(6)
Using fundamental theorem of calculus
cn(t)(1)−cn(t0)(1)=∫t0tδt′c˙(t′)(1)
since the system is initialized at $c_m(t_0) =\delta_{mi}$, we have ${c}_n(t_0)^{(1)}=0$, hence
cn(t)(1)=iℏ1∫t0tδt′eiωnit′Vni(t′)(7)
Combining with the zeroth order $c_n(t)^{(0)}=\delta_{ni}$ , we see that to first order, $c_n(t) = c_n(t)^{(1)}+\delta_{ni}$.
This is the amplitude of possibility (to the first order) of system (initialized to be in state $\ket{i}$) end up in state $\ket{n}$ ($n\neq i$) after time $t$, in other words, the first-order transition amplitude for going from state $\ket{i}$ to $\ket{n}$ ($n\neq i$) is
ai→n(t)=cn(t)=iℏ1∫t0tδt′eiωnit′Vni(t′)(5)
and the corresponding transition probability is
Pi→n(t)=∣ai→n(t)∣2