Let $u:\mathbb{C}\to \mathbb{R}$ be harmonic on the entire plane. Is there a nice classification, maybe a nice basis, for the set of such functions that satisfy $u\equiv 0$ on $\mathbb{R}$?
Examples:
- $u(x,y)=0$
- $u(x,y)=y$
- $u(x,y)=\mathrm{Im}( (x+iy)^2)=2xy$
Say $v$ is a harmonic conjugate of $u$. Then $f=iu-v$ is an entire function, so $f(z)=\sum a_n z^n$. Now saying $u=0$ on $\Bbb R$ says that $f$ is real-valued on $\Bbb R$, which is easily seen to imply that $a_n$ is real. So: