Let S be a bounded region of R2 and ∂S be its boundary. Let u be the unique solution to Laplace's equation in S, subject to the boundary condition u=f on ∂S, where f is a specified function. Let w be any smooth function with w=f on ∂S. By writing w=u+δ, or otherwise, show that
∫S∣∇w∣2 dA⩾∫S∣∇u∣2 dA
Let S be the unit disc in R2. By considering functions of the form g(r)cosθ on both sides of (∗), where r and θ are polar coordinates, deduce that
∫01(r( drdg)2+rg2)dr⩾1
for any differentiable function g(r) satisfying g(1)=1 and for which the integral converges at r=0.
[∇f(r,θ)=(∂r∂f,r1∂θ∂f),∇2f(r,θ)=r1∂r∂(r∂r∂f)+r21∂θ2∂2f⋅]