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.