Solution

ID: past-exam-of-the-approximation-theory-and-finite-element-methods-course-of-the-university-of-oxford/2008/b/6/b/solution

For smooth , Green's first identity rewrites the weak equation as
Compactly supported test functions yield . Since the test space is the full and has unrestricted boundary trace, the remaining identity gives the homogeneous Neumann condition.
For a merely weak solution on a polygon, the normal derivative is understood as its weak flux trace. Here and , so this trace is defined through Green's formula. It vanishes by the same identity. Thus the natural boundary condition is , without assuming global regularity on an arbitrary polygon.

New to topics? Read the docs here!