A new proof of Donoghue's interpolation theorem (Q1769309)

Summary: We give a new proof and new interpretation of Donoghue's interpolation theorem; for an intermediate Hilbert space \({\mathcal H}_*\) to be exact interpolation with respect to a regular Hilbert couple \(\overline{\mathcal H}\), it is necessary and sufficient that the norm in \({\mathcal H}_*\) be representable in the form \[ \|f\|_*=\left(\int_{[0,\infty]}(1+t^{-1})K_2(t,f;\overline{\mathcal H}^2d \rho(t)\right)^{1/2} \] with some positive Radon measure \(\rho\) on the compactified half-line \([0,\infty]\). This result was re-proved in [\textit{Y. Amcur}, Ark. Mat. 41, 203--231 (2003; Zbl 1064.46065)] in the finite-dimensional case. The purpose of this note is to extend the proof given in [loc. cit.] to cover the infinite-dimensional case. Moreover, the presentation of the aforementioned proof was slightly flawed, because we forgot to include a reference to `Donoghue's lemma' which is implicitly used in the proof. Hence we take this opportunity to correct that flaw.