Newtonian potential: Difference between revisions

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
imported>EBW07
Grammar
 
No edit summary
 
Line 3: Line 3:


The Newtonian potential of a [[compact support|compactly supported]] [[integrable function]] <math>f</math> is defined as the [[convolution]]
The Newtonian potential of a [[compact support|compactly supported]] [[integrable function]] <math>f</math> is defined as the [[convolution]]
<math display="block">u(x) = \Gamma * f(x) = \int_{\mathbb{R}^d} \Gamma(x-y)f(y)\,dy</math>
<math display="block">u(x) = \Gamma * f(x) = \int_{\mathbb{R}^d} \Gamma(x-y)f(y)\,dy</math>
where the Newtonian kernel <math>\Gamma</math> in dimension <math>d</math> is defined by
where the Newtonian kernel <math>\Gamma</math> in dimension <math>d</math> is defined by
<math display="block">\Gamma(x) = \begin{cases}  
<math display="block">\Gamma(x) = \begin{cases}  
\frac{1}{2\pi} \log{ | x | }, &  d=2, \\
\frac{1}{2\pi} \log{ | x | }, &  d=2, \\
Line 10: Line 13:
\end{cases} </math>
\end{cases} </math>


Here ''ω''<sub>''d''</sub> is the volume of the unit [[N sphere|''d''-ball]] (sometimes sign conventions may vary; compare {{harv|Evans|1998}} and {{harv|Gilbarg|Trudinger|1983}}). For example, for <math>d = 3</math> we have <math>\Gamma(x) = -1/(4\pi |x|). </math>
Here <math>\omega_d</math> is the volume of the unit [[N sphere|''d''-ball]] (sometimes sign conventions may vary; compare {{harv|Evans|1998}} and {{harv|Gilbarg|Trudinger|1983}}). For example, for <math>d = 3</math> we have <math>\Gamma(x) = -1/(4\pi |x|) </math>.
 
The Newtonian potential <math>w</math> of <math>f</math> is a solution of the [[Poisson equation]]


The Newtonian potential ''w'' of ''f'' is a solution of the [[Poisson equation]]
<math display="block">\Delta w = f, </math>
<math display="block">\Delta w = f, </math>
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]] as shown by [[Otto Hölder]]. 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.
which is to say that the operation of taking the Newtonian potential of a function is a partial inverse to the Laplace operator. Then <math>w</math> will be a classical solution, that is twice differentiable, if <math>f</math> is bounded and locally [[Hölder continuous]] as shown by [[Otto Hölder]]. 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 <math>f</math> for which <math>w</math> is not twice differentiable.
The solution is not unique, since addition of any harmonic function to <math>w</math> 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 <math>f</math>: 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
The Newtonian potential is defined more broadly as the convolution
<math display="block">\Gamma*\mu(x) = \int_{\mathbb{R}^d}\Gamma(x-y) \, d\mu(y)</math>
<math display="block">\Gamma*\mu(x) = \int_{\mathbb{R}^d}\Gamma(x-y) \, d\mu(y)</math>
when ''μ'' is a compactly supported [[Radon measure]]. It satisfies the Poisson equation
 
when <math>\mu</math> is a compactly supported [[Radon measure]]. It satisfies the Poisson equation
 
<math display="block">\Delta w = \mu </math>
<math display="block">\Delta w = \mu </math>
in the sense of [[distribution (mathematics)|distributions]]. Moreover, when the measure is [[positive measure|positive]], the Newtonian potential is [[subharmonic function|subharmonic]] on '''R'''<sup>''d''</sup>.


If ''f'' is a compactly supported [[continuous function]] (or, more generally, a finite measure) that is [[rotation|rotationally invariant]], then the convolution of ''f'' with {{math|Γ}} satisfies for ''x'' outside the support of ''f''
in the sense of [[distribution (mathematics)|distributions]]. Moreover, when the measure is [[positive measure|positive]], the Newtonian potential is [[subharmonic function|subharmonic]] on <math>\mathbb{R}^d</math>.
 
If <math>f</math> is a compactly supported [[continuous function]] (or, more generally, a finite measure) that is [[rotation|rotationally invariant]], then the convolution of <math>f</math> with <math>\Gamma</math> satisfies for <math>x</math> outside the support of <math>f</math>
 
<math display="block">f*\Gamma(x) =\lambda \Gamma(x),\quad \lambda=\int_{\mathbb{R}^d} f(y)\,dy.</math>
<math display="block">f*\Gamma(x) =\lambda \Gamma(x),\quad \lambda=\int_{\mathbb{R}^d} f(y)\,dy.</math>


In dimension ''d''&nbsp;=&nbsp;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.
In dimension <math>d=3</math>, 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 space|Hölder class]] ''C''<sup>1,α</sup>) that divides '''R'''<sup>''d''</sup> into two regions ''D''<sub>+</sub> and ''D''<sub>&minus;</sub>, then the Newtonian potential of ''μ'' is referred to as a '''simple layer potential'''.  Simple layer potentials are continuous and solve the [[Laplace equation]] except on ''S''.  They appear naturally in the study of [[electrostatics]] in the context of the [[electrostatic potential]] associated to a charge distribution on a closed surface. If {{math|1=d''μ'' = ''f'' d''H''}} is the product of a continuous function on ''S'' with the (''d''&nbsp;−&nbsp;1)-dimensional [[Hausdorff measure]], then at a point ''y'' of ''S'', the [[normal derivative]] 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]] for the Laplace equation.
When the measure <math>\mu</math> is associated to a mass distribution on a sufficiently smooth hypersurface <math>S</math> (a [[Lyapunov surface]] of [[Hölder space|Hölder class]] <math>C^{1,\alpha}</math>) that divides <math>\mathbb{R}^d</math> into two regions <math>D_+</math> and <math>D_-</math>, then the Newtonian potential of <math>\mu</math> is referred to as a '''simple layer potential'''.  Simple layer potentials are continuous and solve the [[Laplace equation]] except on <math>S</math>.  They appear naturally in the study of [[electrostatics]] in the context of the [[electrostatic potential]] associated to a charge distribution on a closed surface. If <math>\mathrm{d}\mu=f\mathrm{d}H</math> is the product of a continuous function on <math>S</math> with the <math>(d-1)</math>-dimensional [[Hausdorff measure]], then at a point <math>y</math> of <math>S</math>, the [[normal derivative]] undergoes a jump discontinuity <math>f(y)</math> when crossing the layer. Furthermore, the normal derivative of <math>w</math> is a well-defined continuous function on <math>S</math>.  This makes simple layers particularly suited to the study of the [[Neumann problem]] for the Laplace equation.


==See also==
==See also==

Latest revision as of 12:47, 31 October 2025

Template:Short description 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 f is defined as the convolution

u(x)=Γ*f(x)=dΓ(xy)f(y)dy

where the Newtonian kernel Γ in dimension d is defined by

Γ(x)={12πlog|x|,d=2,1d(2d)ωd|x|2d,d2.

Here ωd is the volume of the unit d-ball (sometimes sign conventions may vary; compare Script error: No such module "Footnotes". and Script error: No such module "Footnotes".). For example, for d=3 we have Γ(x)=1/(4π|x|).

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

Δ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. Then w will be a classical solution, that is twice differentiable, if f is bounded and locally Hölder continuous as shown by Otto Hölder. 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

Γ*μ(x)=dΓ(xy)dμ(y)

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

Δw=μ

in the sense of distributions. Moreover, when the measure is positive, the Newtonian potential is subharmonic on 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*Γ(x)=λΓ(x),λ=df(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 C1,α) that divides 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 except on S. They appear naturally in the study of electrostatics in the context of the electrostatic potential associated to a charge distribution on a closed surface. If dμ=fdH is the product of a continuous function on S with the (d1)-dimensional Hausdorff measure, then at a point y of S, the normal derivative 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 for the Laplace equation.

See also

References

Template:Isaac Newton