Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Newtonian potential

From Wikipedia, the free encyclopedia
(Redirected fromSimple layer potential)
Green's function for Laplacian

Inmathematics, theNewtonian potential, orNewton potential, is anoperator invector calculus that acts as the inverse to the negativeLaplacian on functions that are smooth and decay rapidly enough at infinity. As such, it is a fundamental object of study inpotential theory. In its general nature, it is asingular integral operator, defined byconvolution with a function having amathematical singularity at the origin, the Newtonian kernelΓ{\displaystyle \Gamma } which is thefundamental solution of theLaplace equation. It is named forIsaac Newton, who first discovered it and proved that it was aharmonic function in thespecial case of three variables, where it served as the fundamentalgravitational potential inNewton's law of universal gravitation. In modern potential theory, the Newtonian potential is instead thought of as anelectrostatic potential.

The Newtonian potential of acompactly supportedintegrable functionf{\displaystyle f} is defined as theconvolution

u(x)=Γf(x)=RdΓ(xy)f(y)dy{\displaystyle u(x)=\Gamma *f(x)=\int _{\mathbb {R} ^{d}}\Gamma (x-y)f(y)\,dy}

where the Newtonian kernelΓ{\displaystyle \Gamma } in dimensiond{\displaystyle d} is defined by

Γ(x)={12πlog|x|,d=2,1d(2d)ωd|x|2d,d2.{\displaystyle \Gamma (x)={\begin{cases}{\frac {1}{2\pi }}\log {|x|},&d=2,\\{\frac {1}{d(2-d)\omega _{d}}}|x|^{2-d},&d\neq 2.\end{cases}}}

Hereωd{\displaystyle \omega _{d}} is the volume of the unitd-ball (sometimes sign conventions may vary; compare (Evans 1998) and (Gilbarg & Trudinger 1983)). For example, ford=3{\displaystyle d=3} we haveΓ(x)=1/(4π|x|){\displaystyle \Gamma (x)=-1/(4\pi |x|)}.

The Newtonian potentialw{\displaystyle w} off{\displaystyle f} is a solution of thePoisson equation

Δw=f,{\displaystyle \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. Thenw{\displaystyle w} will be a classical solution, that is twice differentiable, iff{\displaystyle f} is bounded and locallyHölder continuous as shown byOtto Hölder. It was an open question whether continuity alone is also sufficient. This was shown to be wrong byHenrik Petrini who gave an example of a continuousf{\displaystyle f} for whichw{\displaystyle w} is not twice differentiable.The solution is not unique, since addition of any harmonic function tow{\displaystyle w} will not affect the equation. This fact can be used to prove existence and uniqueness of solutions to theDirichlet problem for the Poisson equation in suitably regular domains, and for suitably well-behaved functionsf{\displaystyle 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)=RdΓ(xy)dμ(y){\displaystyle \Gamma *\mu (x)=\int _{\mathbb {R} ^{d}}\Gamma (x-y)\,d\mu (y)}

whenμ{\displaystyle \mu } is a compactly supportedRadon measure. It satisfies the Poisson equation

Δw=μ{\displaystyle \Delta w=\mu }

in the sense ofdistributions. Moreover, when the measure ispositive, the Newtonian potential issubharmonic onRd{\displaystyle \mathbb {R} ^{d}}.

Iff{\displaystyle f} is a compactly supportedcontinuous function (or, more generally, a finite measure) that isrotationally invariant, then the convolution off{\displaystyle f} withΓ{\displaystyle \Gamma } satisfies forx{\displaystyle x} outside the support off{\displaystyle f}

fΓ(x)=λΓ(x),λ=Rdf(y)dy.{\displaystyle f*\Gamma (x)=\lambda \Gamma (x),\quad \lambda =\int _{\mathbb {R} ^{d}}f(y)\,dy.}

In dimensiond=3{\displaystyle 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μ{\displaystyle \mu } is associated to a mass distribution on a sufficiently smooth hypersurfaceS{\displaystyle S} (aLyapunov surface ofHölder classC1,α{\displaystyle C^{1,\alpha }}) that dividesRd{\displaystyle \mathbb {R} ^{d}} into two regionsD+{\displaystyle D_{+}} andD{\displaystyle D_{-}}, then the Newtonian potential ofμ{\displaystyle \mu } is referred to as asimple layer potential. Simple layer potentials are continuous and solve theLaplace equation except onS{\displaystyle S}. They appear naturally in the study ofelectrostatics in the context of theelectrostatic potential associated to a charge distribution on a closed surface. Ifdμ=fdH{\displaystyle \mathrm {d} \mu =f\mathrm {d} H} is the product of a continuous function onS{\displaystyle S} with the(d1){\displaystyle (d-1)}-dimensionalHausdorff measure, then at a pointy{\displaystyle y} ofS{\displaystyle S}, thenormal derivative undergoes a jump discontinuityf(y){\displaystyle f(y)} when crossing the layer. Furthermore, the normal derivative ofw{\displaystyle w} is a well-defined continuous function onS{\displaystyle S}. This makes simple layers particularly suited to the study of theNeumann problem for the Laplace equation.

See also

[edit]

References

[edit]
Publications
Other writings
Contributions
Newtonianism
Personal life
Relations
Depictions
Namesake
Categories
Retrieved from "https://en.wikipedia.org/w/index.php?title=Newtonian_potential&oldid=1319717616"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp