WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Spectral theory

Revision #305 → #1578 · back to history

addedRegular and singular operators499d38810ace
addedResolvent set0f2b955bcb13
addedSpectrum of an operator622e37e65218
addedResolvent04606c7e3728
addedEigenvalues belong to the spectrum445f13a7b687
addedSpectrum of self-adjoint operators8eee33fe1c8c
addedOperator as a dyadic product48c9f22f8cf7
addedEigenvalues and eigenfunctions of L4e0e3676f89f
addedResolution of the identityfba508b23a5c
addedGeneralized Fourier expansion4101b8db5a0c
addedDyad expansion of Lb586f604c9ea
addedResolvent poles at eigenvalues9fac8f265efa
addedGreen's function for L0a29614688a1
addedSolution of operator equation via Green's function65e528743d81
addedMaximizer of Rayleigh quotient is largest eigenvector890dde40248d