HOME

TheInfoList



OR:

In mathematics, the Newtonian potential or Newton potential is an
operator Operator may refer to: Mathematics * A symbol indicating a mathematical operation * Logical operator or logical connective in mathematical logic * Operator (mathematics), mapping that acts on elements of a space to produce elements of another ...
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 ...
, 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, 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 = \na ...
. 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 g ...
, 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, ...
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 electr ...
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. The Newtonian potential of a compactly supported
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 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 t ...
\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 mod ...
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 Chris ...
. 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 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 B ...
. 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 must ...
on R''d''. If ''f'' is a compactly supported continuous function (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 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 = \na ...
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 am ...
in the context of the electrostatic potential 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 a ...
, then at a point ''y'' of ''S'', the normal derivative 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 for the Laplace equation.


See also

* Double layer potential *
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 *
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 sy ...


References

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