Покажем, что интеграл (108) равен абсолютной норме оператора (93). Предварительно докажем лемму.
Лемма. Если есть замкнутая ортонормированная система на промежутке то есть замкнутая ортонормированная в квадрате система.
По условию
Функции принадлежат, очевидно, и, в силу теоремы Фубини,
откуда следует ортонормированность . Для доказательства замкнутости этой системы достаточно показать, что если ортогональна ко всем то она эквивалентна нулю в . Итак, пусть
т. е.
и, в силу замкнутости системы от переходя к сопряженным величинам, получим
и, в силу тех же соображений, можем утверждать, что почти везде в и лемма доказана. Пусть коэффициент Фурье ядра принадлежащего в силу (108):
Определим квадрат абсолютной нормы оператора соответствующего этому ядру ,
но последняя сумма, в силу уравнения замкнутости, и равна интегралу (108). Если выполнено условие (108) и А — самосопряженный оператор, то
где — собственные значения.
Все сказанное в [135] и [136] сохраняется в случае бесконечного промежутка и для многомерного оператора
где точки -мерного пространства и - некоторая область .