 Poisson kernel for the unit disk

For $0\le r<1$, this Poisson kernel for the unit disk has the uniformly convergent Fourier seriesThe identity follows by taking the real part of the geometric series $1+2{\sum }_{n\ge 1}(r{e}^{i\theta }{)}^n$. For integrable $2\pi$-periodic boundary data $f$, its Poisson extension iswhere $a_n,b_n$ are the usual Fourier coefficients. Each term is a harmonic function in the open disk. For continuous boundary data, the extension solves the Dirichlet problem with those boundary values.