Odd reciprocal-square sum from a Dirichlet Green function
ID: odd-reciprocal-square-sum-from-a-dirichlet-green-function
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.
New to topics? Read the docs here!