The constant function satisfies Laplace's equation and the prescribed Dirichlet boundary condition. In the harmonic expansion on a disk, its only nonzero coefficient is . By the allowed uniqueness for the Dirichlet problem,
The boundary data consist of the third angular Fourier mode. Its regular radial factor in the harmonic expansion on a disk is , so
For a direct check of Laplace's equation,
Also . At the origin the apparent coordinate singularity is harmless: this is the harmonic polynomial . The allowed uniqueness for the Dirichlet problem completes the identification.
The trigonometric identity
shows that only angular Fourier modes and are required. Differentiating the harmonic expansion on a disk at multiplies the coefficient of each nonconstant Fourier mode by . Thus and , giving
Each term is a regular harmonic function, and the radial derivative is
The Neumann compatibility condition for Laplace's equation holds because
as is necessary by the divergence theorem applied to the gradient of a harmonic function.
The additive constant is undetermined. This Neumann boundary condition is unchanged by , so the paper's blanket uniqueness assertion requires a normalization in this case. The uniqueness of the Neumann problem gives uniqueness up to a constant; prescribing , or zero mean temperature, selects the displayed answer with .

Articles by others on the same topic (0)

There are currently no matching articles.