Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-5/3/a/ii/solution

Subtract the two weak solution identities and test with their difference . Then
A Sobolev function with zero weak gradient is constant on each connected component. One justification is to mollify locally: each mollification has zero gradient and is constant on its ball, and overlaps identify the constants; taking limits gives the original assertion. Since is connected, is one constant on .
Conversely, adding a constant changes neither the weak derivative nor the weak identity. The solution is unique up to an additive constant.

New to topics? Read the docs here!