Old and new identities for Bernoulli polynomials via Fourier series (Q715098): Difference between revisions

Summary: The Bernoulli polynomials \(B_k\) restricted to \([0, 1)\) and extended by periodicity have \(n\)th sine and cosine Fourier coefficients of the form \(C_k/n^k\). In general, the Fourier coefficients of any polynomial restricted to \([0, 1)\) are linear combinations of terms of the form \(1/n^k\). If we can make this linear combination explicit for a specific family of polynomials, then by uniqueness of Fourier series, we get a relation between the given family and the Bernoulli polynomials. Using this idea, we give new and simpler proofs of some known identities involving Bernoulli, Euler, and Legendre polynomials. The method can also be applied to certain families of Gegenbauer polynomials. As a result, we obtain new identities for Bernoulli polynomials and Bernoulli numbers.