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.

Articles by others on the same topic (0)

There are currently no matching articles.