Expand the constant right-edge value in a Fourier sine series. Its coefficients are
The superposition principle combines the normalized modes, giving
This is a harmonic function in a rectangle with one constant boundary value, with the coordinate roles interchanged. The series and its derivatives converge uniformly on compact subsets of , so it satisfies Laplace's equation there. It vanishes on the other three edges and approaches one at every interior point of the right edge. At the two right corners the one-sided prescribed values disagree; no continuous extension can satisfy both. The stated open-edge condition avoids that incompatibility, and isolated corner assignments do not change the bounded interior Dirichlet problem.
The zero values at select , and the zero value at selects . Expanding the constant upper-edge value as a Fourier sine series gives coefficients . The resulting harmonic function in a rectangle with one constant boundary value is
Each term satisfies Laplace's equation and the three zero boundary values. At , the series equals for . On compact subsets of the interior it and its derivatives converge exponentially, which justifies the termwise equation.
For , the top-corner boundary prescriptions conflict: a corner cannot be both zero on a vertical edge and on the upper edge. The bounded interior solution has the specified limits along the open sides; it has no single continuous extension at those two corners. Values assigned only at the isolated corners do not change the interior solution.
Figure 1.
Harmonic extension from one heated edge of a square
. Original normalized solution , with the upper open edge fixed at one and the other three open edges at zero. The top corner circles mark incompatible side limits, not prescribed continuous corner temperatures. Details.