Consider the disk D:={(x,y)∈R2:x2+y2<1}. Let u(x,y) be a function twice differentiable in D and continuous in D―, solving

{Δu(x,y)=0in Du(x,y)=g(x,y)on ∂D

a) Suppose now that g is any smooth function such that g(x,y)≥(3x−y). Show that u(13,0)≥1.

Let v:=3x−y and w:=u−v. Since v harmonic, w also harmonic, and we have

{Δw(x,y)=0in Dw(x,y)=g(x,y)−v(x,y)≥0on ∂D

Since g(x,y)≥3x−y.

Since w harmonic, D bounded, the maximum principle states that

maxD―w=max∂Dw≥0And therefore,w(x,y)=u(x,y)−v(x,y)≥0in D―⟺u(x,y)≥v(x,y)in D―In particularu(13,0)≥v(13,0)=3⋅13+0=1

b) Show equality ⟺g(x,y)=3x−y.

⟹: Assume that u(13,0)=1. Then w(13,0)=u(13,0)−v(13,0)=1−1=0

Since we know that w≥0 in D―, (13,0)∈D must be a minimum of w.

Since w attains its minimum inside D, by strong max. principle (since D connected), w≡0 in D.

Hence,

w(x,y)=u−v≡0⟺u(x,y)≡v(x,y)=3x−yin D―⟹u(x,y)=g(x,y)=3x−yon ∂D

⟸: Assume g(x,y)=3x−y. Then w is:

{Δw(x,y)=0in Dw(x,y)=g(x,y)−v(x,y)=0on ∂D

By maximum principle

maxD―w=minD―w=0

so

w≡0in D―

Thus u≡v, and in particular,

u(13,0)=v(13,0)=1◻