I suppose $f$This is a real functioncorrect (otherwise thisif $f$ is wrongreal, of course). For real functions we actually have equality inUse the UNIT disc. Indeed, by Green'sGreen formula, to transform the LHS: $$\int_\Omega|\nabla u|^2dxdy=\int_0^{2\pi}uu_rd\theta.$$$$\int_\Omega|\nabla u|^2dxdy=R\int_0^{2\pi}uu_rd\theta,$$ Expandwhere $f$ into Fourier series, then $$u(r,\theta)=\sum_{-\infty}^\infty r^{|n|}c_ne^{in\theta}.$$ Now using$R$ is the orthogonalityradius of the exponentialsdisc. Now expand $$u(r,\theta)=\sum_{-\infty}^\infty r^{|n|}c_ne^{in\theta},$$ where $c_n=\overline{c_{-n}}$, and the fact thatbecause $f$ is real, so $c_n=\overline{c_{-n}}$, we. Now compute, using orthogonality: $$\int_0^{2\pi} u_\theta^2d\theta=2\pi\sum_{-\infty}^\infty n^2|c_n|^2,$$$$R\int_0^{2\pi}uu_rd\theta=2\pi\sum_{-\infty}^\infty|n|R^{2n}|c_n|^2,$$ and $$\int_0^{2\pi} uu_rd\theta=2\pi\sum_{-\infty}^\infty n^2|c_n|^2.$$$$\int_0^{2\pi}u_\theta^2d\theta=2\pi\sum_{-\infty}^\infty n^2R^{2n}|c_n|^2.$$ So the things are equalWe conclude that LHS$\leq$RHS, with equality only if $c_n=0$ for $|n|\geq 2$.