Namespaces
Variants
Actions

Difference between revisions of "Logarithmic potential"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (spacing)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A potential with the logarithmic kernel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606301.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606302.png" /> is the distance between the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606303.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606304.png" /> of the Euclidean plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606305.png" />, that is, a potential of the form
+
{{TEX|done}}
 +
A potential with the logarithmic kernel $\ln 1/|x-y|$, where $|x-y|$ is the distance between the points $x$ and $y$ of the Euclidean plane $\mathbf R^2$, that is, a potential of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606306.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
\begin{equation}u(x)=\int\ln\frac1{|x-y|}\,d\mu(y),\label{1}\end{equation}
  
where, generally, speaking, the integration is carried out with respect to an arbitrary [[Borel measure|Borel measure]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606307.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606308.png" /> with compact support <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l0606309.png" />. Physically one can assume that the logarithmic potential arises from the [[Newton potential|Newton potential]] of the forces of gravitation when the distribution of the attracting masses in the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063010.png" /> of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063011.png" /> does not depend, for example, on the coordinate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063012.png" />. Of course the total mass is infinite, but if one performs a regularization of the resulting attracting force <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063013.png" />, which can be regarded as acting in the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063014.png" />, consisting in discarding the infinite term, then the potential of the finite part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063015.png" /> will invariably have the form (1) (see [[#References|[2]]]). In contrast to the Newton kernel, the logarithmic kernel has a singularity not only as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063016.png" />, but also as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063017.png" />, which causes some differences in the behaviour of the logarithmic potential as compared with the Newton potential. They occur mainly in the solution of exterior boundary value problems (see [[Exterior and interior boundary value problems|Exterior and interior boundary value problems]]). The main applications of the logarithmic potential occur in the solution of planar [[Boundary value problems in potential theory|boundary value problems in potential theory]] (see also [[Boundary value problem, elliptic equations|Boundary value problem, elliptic equations]]).
+
where, generally, speaking, the integration is carried out with respect to an arbitrary [[Borel measure|Borel measure]] $\mu$ on $\mathbf R^2$ with compact support $S=S(\mu)$. Physically one can assume that the logarithmic potential arises from the [[Newton potential|Newton potential]] of the forces of gravitation when the distribution of the attracting masses in the Euclidean space $\mathbf R^3$ of points $y=(y_1,y_2,y_3)$ does not depend, for example, on the coordinate $y_3$. Of course the total mass is infinite, but if one performs a regularization of the resulting attracting force $F$, which can be regarded as acting in the plane $(x_1,x_2,0)$, consisting in discarding the infinite term, then the potential of the finite part of $F$ will invariably have the form \eqref{1} (see [[#References|[2]]]). In contrast to the Newton kernel, the logarithmic kernel has a singularity not only as $|x-y|\to0$, but also as $|x-y|\to\infty$, which causes some differences in the behaviour of the logarithmic potential as compared with the Newton potential. They occur mainly in the solution of exterior boundary value problems (see [[Exterior and interior boundary value problems|Exterior and interior boundary value problems]]). The main applications of the logarithmic potential occur in the solution of planar [[Boundary value problems in potential theory|boundary value problems in potential theory]] (see also [[Boundary value problem, elliptic equations|Boundary value problem, elliptic equations]]).
  
The main properties of the logarithmic potential are: 1) outside the support <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063018.png" /> of the measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063019.png" /> the logarithmic potential is a regular solution of the [[Laplace equation|Laplace equation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063020.png" />, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063021.png" /> is a [[Harmonic function|harmonic function]] on the open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063022.png" />, but is not regular at infinity, however; 2) if the measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063023.png" /> is absolutely continuous, that is, the integral (1) takes the form
+
The main properties of the logarithmic potential are: 1) outside the support $S$ of the measure $\mu$ the logarithmic potential is a regular solution of the [[Laplace equation|Laplace equation]] $\Delta u=0$, that is, $u$ is a [[Harmonic function|harmonic function]] on the open set $\mathbf R^2\setminus S$, but is not regular at infinity, however; 2) if the measure $\mu$ is absolutely continuous, that is, the integral \eqref{1} takes the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063024.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
\begin{equation}u(x)=\int\limits_Df(y)\ln\frac1{|x-y|}\,d\sigma(y),\label{2}\end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063025.png" /> is a finite domain, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063026.png" /> is the area element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063027.png" /> and the density <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063028.png" /> belongs to the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063029.png" />, then the second derivatives of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063030.png" /> are continuous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063031.png" /> and satisfy the [[Poisson equation|Poisson equation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063032.png" />.
+
where $D$ is a finite domain, $d\sigma$ is the area element of $D$ and the density $f$ belongs to the class $C^1(D\cup\partial D)$, then the second derivatives of $u$ are continuous in $D$ and satisfy the [[Poisson equation|Poisson equation]] $\Delta u=-2\pi f$.
  
If the integral in (2) extends along a closed Lyapunov curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063033.png" /> (see [[Lyapunov surfaces and curves|Lyapunov surfaces and curves]]), that is,
+
If the integral in \eqref{2} extends along a closed Lyapunov curve $L$ (see [[Lyapunov surfaces and curves|Lyapunov surfaces and curves]]), that is,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063034.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
\begin{equation}u(x)=\int\limits_Lf(y)\ln\frac1{|x-y|}\,ds(y),\label{3}\end{equation}
  
one talks of the logarithmic potential of a single (or simple) layer, distributed on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063035.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063036.png" />, then the logarithmic potential of the single layer (3) is continuous everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063037.png" />. Its normal derivative has limits from the inside and the outside of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063038.png" />, respectively:
+
one talks of the logarithmic potential of a single (or simple) layer, distributed on $L$. If $f\in C^1(L)$, then the logarithmic potential of the single layer \eqref{3} is continuous everywhere in $\mathbf R^2$. Its normal derivative has limits from the inside and the outside of $L$, respectively:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063039.png" /></td> </tr></table>
+
$$\lim_{x\to y_0}\left.\frac{du}{dn_0}\right|_i=\frac{du(y_0)}{dn_0}+\pi f(y_0),$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063040.png" /></td> </tr></table>
+
$$\lim_{x\to y_0}\left.\frac{du}{dn_0}\right|_o=\frac{du(y_0)}{dn_0}-\pi f(y_0),$$
  
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063041.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>
+
\begin{equation}\frac{du(y_0)}{dn_0}=\int\limits_Lf(y)\frac{\cos(y-y_0,n_0)}{|y-y_0|}\,ds(y),\quad y_0\in L,\label{4}\end{equation}
  
is the so-called direct value of the normal derivative of the logarithmic potential of a single layer and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063042.png" /> is the angle between the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063043.png" /> and the outward normal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063044.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063045.png" /> at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063046.png" />. The integral (4) is continuous on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063047.png" />.
+
is the so-called direct value of the normal derivative of the logarithmic potential of a single layer and $(y-y_0,n_0)$ is the angle between the vector $y-y_0$ and the outward normal $n_0$ to $L$ at the point $y_0\in L$. The integral \eqref{4} is continuous on $L$.
  
 
The logarithmic potential of a double layer has the form
 
The logarithmic potential of a double layer has the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063048.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>
+
\begin{equation}v(x)=\int\limits_Lg(y)\frac{\cos(y-x,n)}{|y-x|}\,ds(y),\label{5}\end{equation}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063049.png" /> is the outward normal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063050.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063051.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063052.png" />, then the logarithmic potential of the double layer (5) is a regular harmonic function inside and outside <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063053.png" /> and has normal (non-angular) limits from the inside and the outside of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063054.png" />, respectively:
+
where $n$ is the outward normal to $L$ at $y\in L$. If $g\in C^1(L)$, then the logarithmic potential of the double layer \eqref{5} is a regular harmonic function inside and outside $L$ and has normal (non-angular) limits from the inside and the outside of $L$, respectively:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063055.png" /></td> </tr></table>
+
$$\lim_{x\to y_0}\left.v(x)\right|_i=v(y_0)+\pi f(y_0),$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063056.png" /></td> </tr></table>
+
$$\lim_{x\to y_0}\left.v(x)\right|_o=v(y_0)-\pi f(y_0),$$
  
 
where
 
where
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063057.png" /></td> </tr></table>
+
$$v(y_0)=\int\limits_Lg(y)\frac{\cos(y-y_0,n)}{|y-y_0|}\,ds(y),\quad y_0\in L,$$
  
is the direct value of the logarithmic potential of the double layer at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063058.png" />. The normal derivative of the logarithmic potential of a double layer is continuous under transition through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l060/l060630/l06063059.png" />.
+
is the direct value of the logarithmic potential of the double layer at the point $y_0\in L$. The normal derivative of the logarithmic potential of a double layer is continuous under transition through $L$.
  
The listed boundary properties of the logarithmic potential of a simple and a double layer are completely analogous to the corresponding properties of the Newton potential (see also [[Potential theory|Potential theory]]). From (5) it is obvious that the logarithmic potential of a double layer is a harmonic function that is regular at infinity.
+
The listed boundary properties of the logarithmic potential of a simple and a double layer are completely analogous to the corresponding properties of the Newton potential (see also [[Potential theory|Potential theory]]). From \eqref{5} it is obvious that the logarithmic potential of a double layer is a harmonic function that is regular at infinity.
  
 
The logarithmic potential is also directly connected with [[Boundary value problems of analytic function theory|boundary value problems of analytic function theory]], since an integral of Cauchy type can be expressed in terms of the logarithmic potential of a single and a double layer (see [[#References|[3]]]).
 
The logarithmic potential is also directly connected with [[Boundary value problems of analytic function theory|boundary value problems of analytic function theory]], since an integral of Cauchy type can be expressed in terms of the logarithmic potential of a single and a double layer (see [[#References|[3]]]).

Latest revision as of 14:24, 14 February 2020

A potential with the logarithmic kernel $\ln 1/|x-y|$, where $|x-y|$ is the distance between the points $x$ and $y$ of the Euclidean plane $\mathbf R^2$, that is, a potential of the form

\begin{equation}u(x)=\int\ln\frac1{|x-y|}\,d\mu(y),\label{1}\end{equation}

where, generally, speaking, the integration is carried out with respect to an arbitrary Borel measure $\mu$ on $\mathbf R^2$ with compact support $S=S(\mu)$. Physically one can assume that the logarithmic potential arises from the Newton potential of the forces of gravitation when the distribution of the attracting masses in the Euclidean space $\mathbf R^3$ of points $y=(y_1,y_2,y_3)$ does not depend, for example, on the coordinate $y_3$. Of course the total mass is infinite, but if one performs a regularization of the resulting attracting force $F$, which can be regarded as acting in the plane $(x_1,x_2,0)$, consisting in discarding the infinite term, then the potential of the finite part of $F$ will invariably have the form \eqref{1} (see [2]). In contrast to the Newton kernel, the logarithmic kernel has a singularity not only as $|x-y|\to0$, but also as $|x-y|\to\infty$, which causes some differences in the behaviour of the logarithmic potential as compared with the Newton potential. They occur mainly in the solution of exterior boundary value problems (see Exterior and interior boundary value problems). The main applications of the logarithmic potential occur in the solution of planar boundary value problems in potential theory (see also Boundary value problem, elliptic equations).

The main properties of the logarithmic potential are: 1) outside the support $S$ of the measure $\mu$ the logarithmic potential is a regular solution of the Laplace equation $\Delta u=0$, that is, $u$ is a harmonic function on the open set $\mathbf R^2\setminus S$, but is not regular at infinity, however; 2) if the measure $\mu$ is absolutely continuous, that is, the integral \eqref{1} takes the form

\begin{equation}u(x)=\int\limits_Df(y)\ln\frac1{|x-y|}\,d\sigma(y),\label{2}\end{equation}

where $D$ is a finite domain, $d\sigma$ is the area element of $D$ and the density $f$ belongs to the class $C^1(D\cup\partial D)$, then the second derivatives of $u$ are continuous in $D$ and satisfy the Poisson equation $\Delta u=-2\pi f$.

If the integral in \eqref{2} extends along a closed Lyapunov curve $L$ (see Lyapunov surfaces and curves), that is,

\begin{equation}u(x)=\int\limits_Lf(y)\ln\frac1{|x-y|}\,ds(y),\label{3}\end{equation}

one talks of the logarithmic potential of a single (or simple) layer, distributed on $L$. If $f\in C^1(L)$, then the logarithmic potential of the single layer \eqref{3} is continuous everywhere in $\mathbf R^2$. Its normal derivative has limits from the inside and the outside of $L$, respectively:

$$\lim_{x\to y_0}\left.\frac{du}{dn_0}\right|_i=\frac{du(y_0)}{dn_0}+\pi f(y_0),$$

$$\lim_{x\to y_0}\left.\frac{du}{dn_0}\right|_o=\frac{du(y_0)}{dn_0}-\pi f(y_0),$$

where

\begin{equation}\frac{du(y_0)}{dn_0}=\int\limits_Lf(y)\frac{\cos(y-y_0,n_0)}{|y-y_0|}\,ds(y),\quad y_0\in L,\label{4}\end{equation}

is the so-called direct value of the normal derivative of the logarithmic potential of a single layer and $(y-y_0,n_0)$ is the angle between the vector $y-y_0$ and the outward normal $n_0$ to $L$ at the point $y_0\in L$. The integral \eqref{4} is continuous on $L$.

The logarithmic potential of a double layer has the form

\begin{equation}v(x)=\int\limits_Lg(y)\frac{\cos(y-x,n)}{|y-x|}\,ds(y),\label{5}\end{equation}

where $n$ is the outward normal to $L$ at $y\in L$. If $g\in C^1(L)$, then the logarithmic potential of the double layer \eqref{5} is a regular harmonic function inside and outside $L$ and has normal (non-angular) limits from the inside and the outside of $L$, respectively:

$$\lim_{x\to y_0}\left.v(x)\right|_i=v(y_0)+\pi f(y_0),$$

$$\lim_{x\to y_0}\left.v(x)\right|_o=v(y_0)-\pi f(y_0),$$

where

$$v(y_0)=\int\limits_Lg(y)\frac{\cos(y-y_0,n)}{|y-y_0|}\,ds(y),\quad y_0\in L,$$

is the direct value of the logarithmic potential of the double layer at the point $y_0\in L$. The normal derivative of the logarithmic potential of a double layer is continuous under transition through $L$.

The listed boundary properties of the logarithmic potential of a simple and a double layer are completely analogous to the corresponding properties of the Newton potential (see also Potential theory). From \eqref{5} it is obvious that the logarithmic potential of a double layer is a harmonic function that is regular at infinity.

The logarithmic potential is also directly connected with boundary value problems of analytic function theory, since an integral of Cauchy type can be expressed in terms of the logarithmic potential of a single and a double layer (see [3]).

References

[1] S.L. Sobolev, "Partial differential equations of mathematical physics" , Pergamon (1964) (Translated from Russian)
[2] A.G. Webster, "Partial differential equations of mathematical physics" , Hafner (1955)
[3] N.I. Muskhelishvili, "Singular integral equations" , Wolters-Noordhoff (1972) (Translated from Russian)
[4] Ch.J. de la Vallée-Poussin, "Le potentiel logarithmique, balayage et répresentation conforme" , Libraire Univ. Louvain (1949)
[5] G.C. Evans, "The logarithmic potential, discontinuous Dirichlet and Neumann problems" , New York (1927)


Comments

See also Lyapunov theorem.

References

[a1] W.K. Hayman, P.B. Kennedy, "Subharmonic functions" , 1 , Acad. Press (1976)
[a2] J. Král, "Integral operators in potential theory" , Lect. notes in math. , 823 , Springer (1980)
How to Cite This Entry:
Logarithmic potential. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Logarithmic_potential&oldid=11977
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article