formula_10はformula_9のi-番目の固有値を与え、パラメータaはすべての正の実数を渡る。