Inmathematics, theNewtonian potential, orNewton potential, is anoperator invector calculus that acts as the inverse to the negativeLaplacian on functions that are smooth and decay rapidly enough at infinity. As such, it is a fundamental object of study inpotential theory. In its general nature, it is asingular integral operator, defined byconvolution with a function having amathematical singularity at the origin, the Newtonian kernel which is thefundamental solution of theLaplace equation. It is named forIsaac Newton, who first discovered it and proved that it was aharmonic function in thespecial case of three variables, where it served as the fundamentalgravitational potential inNewton's law of universal gravitation. In modern potential theory, the Newtonian potential is instead thought of as anelectrostatic potential.
The Newtonian potential of acompactly supportedintegrable function is defined as theconvolution
where the Newtonian kernel in dimension is defined by
Here is the volume of the unitd-ball (sometimes sign conventions may vary; compare (Evans 1998) and (Gilbarg & Trudinger 1983)). For example, for we have.
The Newtonian potential of is a solution of thePoisson equation
which is to say that the operation of taking the Newtonian potential of a function is a partial inverse to the Laplace operator. Then will be a classical solution, that is twice differentiable, if is bounded and locallyHölder continuous as shown byOtto Hölder. It was an open question whether continuity alone is also sufficient. This was shown to be wrong byHenrik Petrini who gave an example of a continuous for which is not twice differentiable.The solution is not unique, since addition of any harmonic function to will not affect the equation. This fact can be used to prove existence and uniqueness of solutions to theDirichlet problem for the Poisson equation in suitably regular domains, and for suitably well-behaved functions: one first applies a Newtonian potential to obtain a solution, and then adjusts by adding a harmonic function to get the correct boundary data.
The Newtonian potential is defined more broadly as the convolution
when is a compactly supportedRadon measure. It satisfies the Poisson equation
in the sense ofdistributions. Moreover, when the measure ispositive, the Newtonian potential issubharmonic on.
If is a compactly supportedcontinuous function (or, more generally, a finite measure) that isrotationally invariant, then the convolution of with satisfies for outside the support of
In dimension, this reduces to Newton's theorem that the potential energy of a small mass outside a much larger spherically symmetric mass distribution is the same as if all of the mass of the larger object were concentrated at its center.
When the measure is associated to a mass distribution on a sufficiently smooth hypersurface (aLyapunov surface ofHölder class) that divides into two regions and, then the Newtonian potential of is referred to as asimple layer potential. Simple layer potentials are continuous and solve theLaplace equation except on. They appear naturally in the study ofelectrostatics in the context of theelectrostatic potential associated to a charge distribution on a closed surface. If is the product of a continuous function on with the-dimensionalHausdorff measure, then at a point of, thenormal derivative undergoes a jump discontinuity when crossing the layer. Furthermore, the normal derivative of is a well-defined continuous function on. This makes simple layers particularly suited to the study of theNeumann problem for the Laplace equation.