In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Newtonian potential, or Newton potential, is an
operator in
vector calculus
Vector calculus or vector analysis is a branch of mathematics concerned with the differentiation and integration of vector fields, primarily in three-dimensional Euclidean space, \mathbb^3. The term ''vector calculus'' is sometimes used as a ...
that acts as the inverse to the negative
Laplacian
In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is th ...
on functions that are smooth and decay rapidly enough at infinity. As such, it is a fundamental object of study in
potential theory
In mathematics and mathematical physics, potential theory is the study of harmonic functions.
The term "potential theory" was coined in 19th-century physics when it was realized that the two fundamental forces of nature known at the time, namely g ...
. In its general nature, it is a
singular integral operator, defined by
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
with a function having a
mathematical singularity
In mathematics, a singularity is a point at which a given mathematical object is not defined, or a point where the mathematical object ceases to be well-behaved in some particular way, such as by lacking differentiability or analyticity.
For exa ...
at the origin, the Newtonian kernel
which is the
fundamental solution
In mathematics, a fundamental solution for a linear partial differential operator is a formulation in the language of distribution theory of the older idea of a Green's function (although unlike Green's functions, fundamental solutions do not ...
of the
Laplace equation
In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties in 1786. This is often written as
\nabla^2\! f = 0 or \Delta f = 0,
where \Delt ...
. It is named for
Isaac Newton
Sir Isaac Newton () was an English polymath active as a mathematician, physicist, astronomer, alchemist, theologian, and author. Newton was a key figure in the Scientific Revolution and the Age of Enlightenment, Enlightenment that followed ...
, who first discovered it and proved that it was a
harmonic function
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that i ...
in the
special case of three variables, where it served as the fundamental
gravitational potential
In classical mechanics, the gravitational potential is a scalar potential associating with each point in space the work (energy transferred) per unit mass that would be needed to move an object to that point from a fixed reference point in the ...
in
Newton's law of universal gravitation
Newton's law of universal gravitation describes gravity as a force by stating that every particle attracts every other particle in the universe with a force that is Proportionality (mathematics)#Direct proportionality, proportional to the product ...
. In modern potential theory, the Newtonian potential is instead thought of as an
electrostatic potential
Electric potential (also called the ''electric field potential'', potential drop, the electrostatic potential) is defined as electric potential energy per unit of electric charge. More precisely, electric potential is the amount of work needed ...
.
The Newtonian potential of a
compactly supported
In mathematics, the support of a real-valued function f is the subset of the function domain of elements that are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set ...
integrable function
In mathematics, an integral is the continuous analog of a sum, which is used to calculate areas, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental operations of calculus,Inte ...
is defined as the
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions f and g that produces a third function f*g, as the integral of the product of the two ...
where the Newtonian kernel
in dimension
is defined by
Here ''ω''
''d'' is the volume of the unit
''d''-ball (sometimes sign conventions may vary; compare and ). For example, for
we have
The Newtonian potential ''w'' of ''f'' is a solution of the
Poisson equation
Poisson's equation is an elliptic partial differential equation of broad utility in theoretical physics. For example, the solution to Poisson's equation is the potential field caused by a given electric charge or mass density distribution; with th ...
which is to say that the operation of taking the Newtonian potential of a function is a partial inverse to the Laplace operator. Then ''w'' will be a classical solution, that is twice differentiable, if ''f'' is bounded and locally
Hölder continuous Hölder:
* ''Hölder, Hoelder'' as surname
* Hölder condition
* Hölder's inequality
In mathematical analysis, Hölder's inequality, named after Otto Hölder, is a fundamental inequality (mathematics), inequality between Lebesgue integration, in ...
as shown by
Otto Hölder
Ludwig Otto Hölder (December 22, 1859 – August 29, 1937) was a German mathematician born in Stuttgart.
Early life and education
Hölder was the youngest of three sons of professor Otto Hölder (1811–1890), and a grandson of professor Christ ...
. It was an open question whether continuity alone is also sufficient. This was shown to be wrong by
Henrik Petrini who gave an example of a continuous ''f'' for which ''w'' is not twice differentiable.
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
In mathematics, a Dirichlet problem asks for a function which solves a specified partial differential equation (PDE) in the interior of a given region that takes prescribed values on the boundary of the region.
The Dirichlet problem can be solved ...
for the Poisson equation in suitably regular domains, and for suitably well-behaved functions ''f'': 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 supported
Radon measure
In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the -algebra of Borel sets of a Hausdorff topological space that is finite on all compact sets, outer regular on all Borel sets, and ...
. It satisfies the Poisson equation
in the sense of
distributions. Moreover, when the measure is
positive, the Newtonian potential is
subharmonic
In music, the undertone series or subharmonic series is a sequence of notes that results from inverting the intervals of the overtone series. While overtones naturally occur with the physical production of music on instruments, undertones mus ...
on R
''d''.
If ''f'' is a compactly supported
continuous function
In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More preci ...
(or, more generally, a finite measure) that is
rotationally invariant, then the convolution of ''f'' with satisfies for ''x'' outside the support of ''f''
In dimension ''d'' = 3, 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 ''S'' (a
Lyapunov surface Lyapunov (, in old-Russian often written Лепунов) is a Russian surname that is sometimes also Romanization of Russian, romanized as Ljapunov, Liapunov or Ljapunow. Notable people with the surname include:
* Alexey Lyapunov (1911–1973), Rus ...
of
Hölder class ''C''
1,α) that divides R
''d'' into two regions ''D''
+ and ''D''
−, then the Newtonian potential of ''μ'' is referred to as a simple layer potential. Simple layer potentials are continuous and solve the
Laplace equation
In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties in 1786. This is often written as
\nabla^2\! f = 0 or \Delta f = 0,
where \Delt ...
except on ''S''. They appear naturally in the study of
electrostatics
Electrostatics is a branch of physics that studies slow-moving or stationary electric charges.
Since classical antiquity, classical times, it has been known that some materials, such as amber, attract lightweight particles after triboelectric e ...
in the context of the
electrostatic potential
Electric potential (also called the ''electric field potential'', potential drop, the electrostatic potential) is defined as electric potential energy per unit of electric charge. More precisely, electric potential is the amount of work needed ...
associated to a charge distribution on a closed surface. If is the product of a continuous function on ''S'' with the (''d'' − 1)-dimensional
Hausdorff measure
In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assi ...
, then at a point ''y'' of ''S'', the
normal derivative
In multivariable calculus, the directional derivative measures the rate at which a function changes in a particular direction at a given point.
The directional derivative of a multivariable differentiable (scalar) function along a given vector ...
undergoes a jump discontinuity ''f''(''y'') when crossing the layer. Furthermore, the normal derivative of ''w'' is a well-defined continuous function on ''S''. This makes simple layers particularly suited to the study of the
Neumann problem
In mathematics, the Neumann (or second-type) boundary condition is a type of boundary condition, named after Carl Neumann.
When imposed on an ordinary or a partial differential equation, the condition specifies the values of the derivative appli ...
for the Laplace equation.
See also
*
Double layer potential In potential theory, an area of mathematics, a double layer potential is a solution of Laplace's equation corresponding to the electrostatic or magnetic potential associated to a dipole distribution on a closed surface ''S'' in three-dimensions. T ...
*
Green's function
In mathematics, a Green's function (or Green function) is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions.
This means that if L is a linear dif ...
*
Riesz potential
*
Green's function for the three-variable Laplace equation
In physics, the Green's function (or fundamental solution) for the Laplacian (or Laplace operator) in three variables is used to describe the response of a particular type of physical system to a point source. In particular, this Green's function ...
References
* .
* .
*
*
*
{{Isaac Newton
Harmonic functions
Isaac Newton
Partial differential equations
Potential theory
Singular integrals