# Newtonian potential

### Newtonian potential

In mathematics, the Newtonian potential or Newton potential is an operator in vector calculus that acts as the inverse to the negative Laplacian, on functions that are smooth and decay rapidly enough at infinity. As such, it is a fundamental object of study in potential theory. In its general nature, it is a singular integral operator, defined by convolution with a function having a mathematical singularity at the origin, the Newtonian kernel Γ which is the fundamental solution of the Laplace equation. It is named for Isaac Newton, who first discovered it and proved that it was a harmonic function in the special case of three variables, where it served as the fundamental gravitational potential in Newton's law of universal gravitation. In modern potential theory, the Newtonian potential is instead thought of as an electrostatic potential.

The Newtonian potential of a compactly supported integrable function ƒ is defined as the convolution

u(x) = \Gamma * f(x) = \int_{\mathbb{R}^d} \Gamma(x-y)f(y)\,dy

where the Newtonian kernel Γ in dimension d is defined by

\Gamma(x) = \begin{cases} \frac{1}{2\pi} \log{ | x | } & d=2 \\ \frac{1}{d(2-d)\omega_d} | x | ^{2-d} & d \neq 2. \end{cases}

Here ωd is the volume of the unit d-ball, and sometimes sign conventions may vary; compare (Evans 1998) and (Gilbarg & Trudinger 1983).

The Newtonian potential w of ƒ is a solution of the Poisson equation

\Delta w = f, \,

which is to say that the operation of taking the Newtonian potential of a function is a partial inverse to the Laplace operator. The solution is not unique, since addition of any harmonic function to w will not affect the equation. This fact can be used to prove existence and uniqueness of solutions to the Dirichlet 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

\Gamma*\mu(x) = \int_{\mathbb{R}^d}\Gamma(x-y) \, d\mu(y)

when μ is a compactly supported Radon measure. It satisfies the Poisson equation

\Delta w = \mu \,

in the sense of distributions. Moreover, when the measure is positive, the Newtonian potential is subharmonic on Rd.

If ƒ is a compactly supported continuous function (or, more generally, a finite measure) that is rotationally invariant, then the convolution of ƒ with Γ satisfies for x outside the support of ƒ