Here is the harmonic replacement of in , so . Subtract the weak equations and test with :
Because , . The Sobolev inequality and the Holder inequality give
After division and squaring,