Normalize the real eigenfunctions using . For outside the spectrum, applying the operator to the displayed Green function expansion gives by weighted completeness. This is the kernel with respect to ordinary source integration ; using the weighted measure would change its normalization.
For on with zero endpoints, the zero-parameter Green function is . Its eigenfunctions are with eigenvalues . At , the kernel is and its expansion contains precisely the odd reciprocal squares, giving the displayed identity.

Articles by others on the same topic (0)

There are currently no matching articles.