mula_16上的紧自伴算子。利用紧自伴算子的谱定理，可知：其中formula_37为算子formula_34本征值为formula_39的有限维本征子空间，formula_40是formula_34的核。因此，formula_42可以写成一列绝对一致收敛的函数项级数和：故而存在formula_44，使得formula_45，formula_46。另一方面：因此：设formula_49是formula_1的左正则表示，不难证明算子formula_51与formula_34对易，因此本征子