Skip to main content
2 of 6
added 127 characters in body
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

Your last inequality implies that $v(x,y):=u(x,y)-u(x,-y)\geq 0,\; y>0$, and similarly $v(x,y)\leq 0,\; y<0$. Since $v$ is harmonic, this easily implies that $v(x,y)=cy$ for some real constant $c$. Now $w(x,y):=u(x,y)-cy/2$ will satisfy $w(x,y)=w(x,-y)$ which happens for a harmonic function if and only $w(x,0)=0$. This implies $u(x,0)=0$ and we obtain a characterization: these are exactly those entire functions which are real on the real line. (And your original inequality is in fact always equality).

Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429