= Orthogonal polynomial projection kernel
{title2=$K_m(x,y)=\sqrt{w(x)w(y)}\sum_{j=0}^{m-1}p_j(x)p_j(y)/h_j$}
For real <monic orthogonal polynomials> $p_j$ with squared weighted norms $h_j$ under a positive weight $w$, the <functions> $p_j\sqrt{w/h_j}$ form an <orthonormal set> for the unweighted reference measure. Their <finite-rank projection kernel> turns the squared <weighted Vandermonde determinant> into a kernel <determinant>. Normalization on the full labelled configuration space is $1/m!$.
Back to article page
