In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the Newtonian potential or Newton potential is an
operator in
vector calculus
Vector calculus, or vector analysis, is concerned with differentiation and integration of vector fields, primarily in 3-dimensional Euclidean space \mathbb^3. The term "vector calculus" is sometimes used as a synonym for the broader subject ...
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 the ...
, 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 two fundamental forces of nature known at the time, namely gravi ...
. In its general nature, it is a
singular integral operator In mathematics, singular integrals are central to harmonic analysis and are intimately connected with the study of partial differential equations. Broadly speaking a singular integral is an integral operator
: T(f)(x) = \int K(x,y)f(y) \, dy,
who ...
, defined by
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions ( and ) that produces a third function (f*g) that expresses how the shape of one is ...
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 exam ...
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 ad ...
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. This is often written as
\nabla^2\! f = 0 or \Delta f = 0,
where \Delta = \nab ...
. It is named for
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
, 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: U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that is,
: \f ...
in the
special case of three variables, where it served as the fundamental
gravitational potential
In classical mechanics, the gravitational potential at a location is equal to the work (energy transferred) per unit mass that would be needed to move an object to that location from a fixed reference location. It is analogous to the electric po ...
in
Newton's law of universal gravitation
Newton's law of universal gravitation is usually stated as that every particle attracts every other particle in the universe with a force that is proportional to the product of their masses and inversely proportional to the square of the distanc ...
. In modern potential theory, the Newtonian potential is instead thought of as an
electrostatic potential
Electrostatics is a branch of physics that studies electric charges at rest (static electricity).
Since classical times, it has been known that some materials, such as amber, attract lightweight particles after rubbing. The Greek word for amber ...
.
The Newtonian potential of a
compactly supported
In mathematics, the support of a real-valued function f is the subset of the function domain containing the elements which are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smalles ...
integrable function
In mathematics, an integral assigns numbers to functions in a way that describes displacement, area, volume, and other concepts that arise by combining infinitesimal data. The process of finding integrals is called integration. Along with ...
''f'' is defined as the
convolution
In mathematics (in particular, functional analysis), convolution is a operation (mathematics), mathematical operation on two function (mathematics), functions ( and ) that produces a third function (f*g) that expresses how the shape of one is ...
where the Newtonian kernel Γ in dimension ''d'' 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 t ...
which is to say that the operation of taking the Newtonian potential of a function is a partial inverse to the Laplace operator. ''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
* Hölder mean
* Jordan–Hölder theorem In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a modul ...
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
Henrik Petrini (15 April 1863 – 6 October 1957) was a Swedish mathematician. His mathematical contributions are mainly connected with the theory of partial differential equations, in particular potential theory.
He was born in Falun and rece ...
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 is the problem of finding 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 probl ...
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 ''X'' that is finite on all compact sets, outer regular on all Borel se ...
. It satisfies the Poisson equation
in the sense of
distributions. Moreover, when the measure is
positive
Positive is a property of positivity and may refer to:
Mathematics and science
* Positive formula, a logical formula not containing negation
* Positive number, a number that is greater than 0
* Plus sign, the sign "+" used to indicate a posit ...
, 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 must ...
on R
''d''.
If ''f'' is a compactly supported
continuous function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
(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 romanized as Ljapunov, Liapunov or Ljapunow. Notable people with the surname include:
* Alexey Lyapunov (1911–1973), Russian mathematician
* Ale ...
of
Hölder class Hölder:
* ''Hölder, Hoelder'' as surname
* Hölder condition
* Hölder's inequality
* Hölder mean
In mathematics, generalized means (or power mean or Hölder mean from Otto Hölder) are a family of functions for aggregating sets of numbers ...
''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. This is often written as
\nabla^2\! f = 0 or \Delta f = 0,
where \Delta = \nab ...
except on ''S''. They appear naturally in the study of
electrostatics
Electrostatics is a branch of physics that studies electric charges at rest (static electricity).
Since classical times, it has been known that some materials, such as amber, attract lightweight particles after rubbing. The Greek word for amber ...
in the context of the
electrostatic potential
Electrostatics is a branch of physics that studies electric charges at rest (static electricity).
Since classical times, it has been known that some materials, such as amber, attract lightweight particles after rubbing. The Greek word for amber ...
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 ass ...
, then at a point ''y'' of ''S'', the
normal derivative
In mathematics, the directional derivative of a multivariable differentiable (scalar) function along a given vector v at a given point x intuitively represents the instantaneous rate of change of the function, moving through x with a velocity s ...
undergoes a jump discontinuity ''f''(''y'') when crossing the layer. Furthermore, the normal derivative is of ''w'' 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. ...
*
Green's function
In mathematics, a Green's 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 \operatorname is the linear differential ...
*
Riesz potential In mathematics, the Riesz potential is a potential named after its discoverer, the Hungarian mathematician Marcel Riesz. In a sense, the Riesz potential defines an inverse for a power of the Laplace operator on Euclidean space. They generalize to ...
*
Green's function for the three-variable Laplace equation
In physics, the Green's function (or fundamental solution) for Laplace's equation 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 arises in system ...
References
* .
* .
*
*
*
{{Isaac Newton
Harmonic functions
Isaac Newton
Partial differential equations
Potential theory
Singular integrals