Посмотрел определение Стилтьеса но не понял как его применять для дискретного спектра. ewert, можете расшифровать?
Могу. Любой самосопряжённый оператор представляется в виде интеграла Стилтьеса по своей спектральной мере:
. Формально тут интеграл -- по всей оси, но фактически -- только по спектру оператора, т.е. по множеству тех точек, в которых функция
(это -- операторнозначная функция числового аргумента, значениями которой являются спектральные проекторы) действительно изменяется. И если, например, спектр оператора чисто дискретен, то этот интеграл фактически превращается в ряд (или в конечную сумму):
, где
-- это ортопроекторы на соотв. собственные подпространства. Если же спектр чисто непрерывен, то это действительно интеграл. Ну и возможны (причём реально возможны) комбинированные варианты.
Спасибо, ewert, очень интересно.