Let S be a piecewise smooth closed surface in R3 which is the boundary of a volume V.
(a) The smooth functions ϕ and ϕ1 defined on R3 satisfy
∇2ϕ=∇2ϕ1=0
in V and ϕ(x)=ϕ1(x)=f(x) on S. By considering an integral of ∇ψ⋅∇ψ, where ψ=ϕ−ϕ1, show that ϕ1=ϕ.
(b) The smooth function u defined on R3 satisfies u(x)=f(x)+C on S, where f is the function in part (a) and C is constant. Show that
∫V∇u⋅∇udV⩾∫V∇ϕ⋅∇ϕdV
where ϕ is the function in part (a). When does equality hold?
(c) The smooth function w(x,t) satisfies
∇2w=∂t∂w
in V and ∂t∂w=0 on S for all t. Show that
dtd∫V∇w⋅∇wdV⩽0
with equality only if ∇2w=0 in V.