[See
part 2 for some technical aspects]
Very nice
derivation of the Kramers-Kronig relations (on Wikipedia, of all places), exploiting the relation between the even and odd components of a function \(\chi (t)\) and the real and imaginary parts of its Fourier transform \(\chi (\omega) = \chi ' (\omega) + i \, \chi '' (\omega)\).
One usually invokes the analyticity of \(\chi (\omega)\) in the upper half-plane, which must first be derived from the causality: \(\chi (t) = 0\) for \(t < 0\). Complex integration along a well-chosen contour then yields the Kramers-Kronig relations in their standard form [
1]:
\begin{align}
\label{eq:KK}
\chi (\omega) &= \frac{1}{i \, \pi} \mathcal{P} \int_{-\infty}^{\infty} \text{d} \omega ' \frac{\chi (\omega ')}{\omega ' - \omega} \quad \text{or, for the components:} \nonumber \\
\chi '(\omega) &= \frac{1}{\pi} \mathcal{P} \int_{-\infty}^{\infty} \text{d} \omega ' \frac{\chi ''(\omega ')}{\omega ' - \omega} \\
\chi ''(\omega) &= -\frac{1}{\pi} \mathcal{P} \int_{-\infty}^{\infty} \text{d} \omega ' \frac{\chi '(\omega ')}{\omega ' - \omega} \nonumber
\end{align}
where \(\mathcal{P}\) denotes Cauchy's principal value.