Newtonian potential
   HOME

TheInfoList



OR:

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 subjec ...
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 gra ...
. 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, wh ...
, defined by
convolution In mathematics (in particular, functional analysis), convolution is a mathematical operation on two functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution'' ...
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 ex ...
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 a ...
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 = \n ...
. It is named for
Isaac Newton Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, Theology, theologian, and author (described in his time as a "natural philosophy, natural philosopher"), widely ...
, 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 ...
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 distan ...
. 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 a ...
. 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 d ...
''f'' is defined as the
convolution In mathematics (in particular, functional analysis), convolution is a mathematical operation on two functions ( and ) that produces a third function (f*g) that expresses how the shape of one is modified by the other. The term ''convolution'' ...
u(x) = \Gamma * f(x) = \int_ \Gamma(x-y)f(y)\,dy where the Newtonian kernel Γ in dimension ''d'' is defined by \Gamma(x) = \begin \frac \log & d=2 \\ \frac , x , ^ & d \neq 2. \end Here ''ω''''d'' is the volume of the unit ''d''-ball (sometimes sign conventions may vary; compare and ). For example, for d = 3 we have \Gamma(x) = -1/(4\pi , x, ). 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 ...
\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. ''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 modu ...
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 Chri ...
. 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 prob ...
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 \Gamma*\mu(x) = \int_\Gamma(x-y) \, d\mu(y) 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 ...
. It satisfies the Poisson equation \Delta w = \mu 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 posi ...
, 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 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 val ...
(or, more generally, a finite measure) that is rotationally invariant, then the convolution of ''f'' with satisfies for ''x'' outside the support of ''f'' f*\Gamma(x) =\lambda \Gamma(x),\quad \lambda=\int_ f(y)\,dy. 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 * Alek ...
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. This is often written as \nabla^2\! f = 0 or \Delta f = 0, where \Delta = \n ...
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 a ...
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 a ...
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 ...
, 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 ...
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 differenti ...
*
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 sys ...


References

* . * . * * * {{Isaac Newton Harmonic functions Isaac Newton Partial differential equations Potential theory Singular integrals