L'estremo inferiore di un certo funzionale. (Q2591608)

Bestimmung der unteren Grenze des Funktionals \[ I[\varphi]= \int\limits_A\left|\int\limits_B K(x,y)\varphi(y)\,dy-f(x)\right|^2\,dx \] für alle in \(B\) quadratisch integrierbaren Funktionen \(\varphi(y)\). Sei formal \[ K(x,y) \sim \sum_{k=1}^\infty \frac{u_k(x)\bar v_k(y)}{\lambda_k}, \] ferner bedeute \[ a_k = \int\limits_A f(x)\bar u_k(x)\,dx, \quad F(x) \sim f(x) -\sum_{k=1}^\infty a_ku_k(x); \] dann ist die fragliche untere Grenze gleich \[ \int\limits_A|F(x)|^2\,dx \] und \[ \varphi_n(y) = \sum_{k=1}^na_k\lambda_kv_k(y) \] ist eine Minimalfolge.