Show that if is a harmonic function in a finite domain, and positive on the boundary, then it is positive everywhere in the domain.
Show by example that this does not need to be true for an infinite domain.
Let , , and be harmonic functions. Show that if on the boundary of a finite domain, then everywhere inside the domain.
Answer:
Use the minimum principle. The minimum of must be on the boundary. So can be negative or zero inside the region?
Take the domain, for example, to be , the boundary to be the axis, and the boundary condition on the -axis to be . Now consider the solution . Verify that it satisfies the Laplace equation, and that it is positive on the boundary. Verify that it is negative within the region.
Look at the difference . Explain that if and are harmonic functions, then so is their difference. Now apply the earlier result about harmonic functions that are posirtive on the boundary.