If a harmonic function on one side of a straight boundary has zero normal derivative there, even reflection extends it harmonically across the boundary. Locally take the boundary to be and assume and its first derivatives extend continuously to its open segment. Define . The zero value of makes the first derivatives match across the join. Applying Green's first identity on the two sides against a smooth compactly supported test function leaves no interface term, so the reflected function is weakly harmonic and hence harmonic by Weyl lemma.
Reflecting across both edges of a right-angle corner gives a harmonic function on a punctured neighbourhood when both normal derivatives vanish. If the original function is bounded at the corner, the removable singularity for a bounded harmonic function makes the extension harmonic there too. Thus a maximum on such an edge or corner can be tested using the interior strong maximum principle for harmonic functions.
Articles by others on the same topic
There are currently no matching articles.