 Harmonic replacement

The harmonic replacement of $u$ in a domain $D$ is the harmonic function $w$ having the same boundary trace as $u$. Thus $u-w\in H_0^1(D)$, and subtracting the weak equations permits local energy estimates for the error $u-w$.