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 , soFor 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 identityshows 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 , givingEach term is a regular harmonic function, and the radial derivative isThe Neumann compatibility condition for Laplace's equation holds becauseas 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
There are currently no matching articles.