Wat is zelftoegevoegde operator?

Voorbeeld 15.9

Stel op $L^2(\intcc01)$ $Tf(x) = \int_0^1\min(x, y)f(y)\dd y$: een hilbert-schmidtoperator met reële symmetrische kern, dus compact en zelftoegevoegd. Het oplossen van $Tf = \lambda f$: de betrekking $\bigl(Tf\bigr)(x) = \int_0^xyf(y)\dd y + x\int_x^1f(y)\dd y$ toont dat $u = Tf$ voldoet aan $u'' = -f$ (twee keer differentiëren, geoorloofd voor continue $f$, en $Tf$ is continu voor $f \in L^2$: gedomineerde convergentie), met $u(0) = 0$ en $u'(1) = 0$. Eigenfuncties lossen dus $\lambda u'' = -u$ op met $u(0) = 0$ en $u'(1) = 0$:

en de spectraalstelling beweert — zonder enige fouriertheorie — dat deze sinussen na normering een orthonormale basis van $L^2(\intcc01)$ vormen (de kern van $T$ is $0$: $Tf = 0$ dwingt via de twee differentiaties $f = 0$ b.o. af). De weekendopgave doorloopt dezelfde ideeënkring voor de trillende snaar en haalt $\zeta(2)$ uit het spoor.