拉盖尔多项式
where formula_2 are Laguerre polynomials. They satisfy the orthogonality relation