Harmonic replacement
= 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$.