Summary
$ \newcommand{\ket}[1]{\left \lvert #1 \right \rangle} \newcommand{\bra}[1]{\left \langle #1 \right \rvert} \newcommand{\braket}[2]{\left \langle #1 | #2 \right \rangle} \newcommand{\bbraket}[3]{\left \langle #1 | #2 | #3 \right \rangle} % $How do we show, from first principles, that the drive frequency $\omega_d$ needed to excite a two-photon transition from state $\ket{i}$ to state $\ket{f}$ is $\omega_d = (\omega_f - \omega_i) / 2$?
Setup
Consider a Hamiltonian $$H(t) = H_0 + V(t)$$ where the time dependent $H_0$ is considered "unperturbed" and $V(t)$ is considered a perturbation. Let us further suppose that $$V(t) = V_0 \, v(t) \, \mathcal{O} \, $$ where $V_0$ captures the magnitude of the perturbation, $v(t)$ captures the time dependence, and $\mathcal{O}$ is a time-indepdendent operator.
It's often useful to work in the interaction picture. In that picture, the Schrodinger equation becomes $$ i \hbar \partial_t \ket{\Psi'(t)} = V'(t) \ket{\Psi'(t)}$$ where $V'(t) \equiv U^{-1}(t) V(t) U(t)$, $U(t)$ is the propagator associated with $H_0$, and primes on the states indicates that the interaction picture states are related to the Schrodinger picture ones via $\ket{n'} = U^{-1}(t)\ket{n(t)}$.
Dyson series
We can solve the Schrodinger equation formally as $$\ket{\Psi'(t)} = \ket{\Psi'(0)} -\frac{i}{\hbar}\int_0^t dt' V'(t') \ket{\Psi'(t')} \, .$$ Plugging this equation into itself gives $$ \ket{\Psi'(t)} = \ket{\Psi'(0)} -\frac{i}{\hbar} \int_0^t dt' \, V'(t') \left[ \ket{\Psi'(0)} - \frac{i}{\hbar} \int_0^{t'} dt'' \, V'(t'') \ket{\Psi'(t'')} \right] \, . $$ So far, this equation is exact. Now suppose we iterate again, but this time make an approximation by keeping only the term where $\ket{\Psi'(t'')} = \ket{\Psi'(0)}$. Let's also hit the whole thing with $\bra{f}$ to compute the transition amplitude to $\ket{f}$. The result is $$ \braket{f}{\Psi'(t)} \approx \underbrace{\langle f \ket{\Psi'(0)}}_{0^\text{th}\text{ order}} - \underbrace{ \frac{i}{\hbar} \int_0^t dt' \, \langle f | V'(t') \ket{\Psi'(0)} }_{1^\text{st} \text{ order}} - \underbrace{\frac{1}{\hbar^2} \int_0^t \int_0^{t'} dt' \, dt'' \, \langle f | V'(t') V'(t'') \ket{\Psi'(0)} }_{2^\text{nd} \text{ order}} \, . $$
Using the following facts
$V'(t) = U^{-1}(t)V(t)U(t)$
For an eigenstate $\ket{n}$ of $H_0$ we have $U(t) \ket{n} = \exp(-i \omega_n t) \ket{n}$
$\sum_n \ket{n} \bra{n} = \text{identity}$
we can reduce the second order term to \begin{align} \braket{f}{\Psi'(t)} = & - \left( \frac{V_0}{\hbar} \right)^2 \sum_n \int_0^t \int_0^{t'} dt' \, dt'' \\ & v(t') v(t'') \bbraket{f}{\mathcal{O}}{n} \bbraket{n}{\mathcal{O}}{i} \\ & \exp \left[ i \left( \omega_f t' - \omega_n t' + \omega_n t'' - \omega_i t'' \right) \right] \end{align} where we've used a shortcut notation $\ket{i} \equiv \ket{\Psi'(0)}$.
Question
I've heard that if $v(t)$ is a sinusoidal drive, e.g. $v(t) = \cos(\omega_d t)$, then the second order term we've computed has large magnitude when $\omega_d = (\omega_f - \omega_i)/2$. How can we show this?
Is there some way we can do either the sum or the integrals in some meaningful limits, e.g. when $t \rightarrow \infty$?