Citizendium - a community developing a quality comprehensive compendium of knowledge, online and free. Click here to join and contribute—free
CZ thanks AUGUST 2014 donors; special to Darren Duncan. SEPTEMBER 2014 donations open; need minimum total $100. Let's exceed that. Donate here. Treasurer's Financial Report -- Thanks to August content contributors. --




Green's function

From Citizendium, the Citizens' Compendium

Jump to: navigation, search
This article is developing and not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In physics and mathematics, Green's functions are auxiliary functions in the solution of linear partial differential equations. Green's function is named for the self-taught English mathematician George Green (1793 – 1841), who investigated electricity and magnetism in a thoroughly mathematical fashion. In 1828 Green published a privately printed booklet, introducing what is now called the Green function. This was ignored until William Thomson (Lord Kelvin) discovered it, recognized its great value and had it published nine years after Green's death. Bernhard Riemann gave it the name "Green function".[1]

Contents

Definition

Let Lx be a given linear differential operator in n variables x = (x1, x2, ..., xn), then the Green function of Lx is the function G(x,y) defined by


L_\mathbf{x} G(\mathbf{x},\mathbf{y}) =  \delta(\mathbf{x}- \mathbf{y}),

where δ(x-y) is the Dirac delta function. Once G(x,y) is known, any differential equation involving Lx is formally solved. Suppose we want to solve,


L_\mathbf{x} \,\phi(\mathbf{x}) = \rho(\mathbf{x})

for a known right hand side ρ(x). The formal solution is


\phi(\mathbf{x}) = \int\; G(\mathbf{x},\mathbf{y})\; \rho(\mathbf{y})\; \mathrm{d}\mathbf{y}.

The proof is by verification,


L_\mathbf{x} \,\phi(\mathbf{x}) = \int\;L_\mathbf{x} \; G(\mathbf{x},\mathbf{y})\; \rho(\mathbf{y})\; \mathrm{d}\mathbf{y} =  \int\;\delta(\mathbf{x}- \mathbf{y})\;\rho(\mathbf{y}) \mathrm{d}\mathbf{y} = \rho(\mathbf{x})

where in the last step the defining property of the Dirac delta function is used.

The integral operator that has the Green function as kernel may be seen as the inverse of a linear operator,


L_\mathbf{x}\;\phi(\mathbf{x}) = \rho(\mathbf{x}) \quad\Longrightarrow \quad \phi( \mathbf{x}) =L_\mathbf{x}^{-1}\;\rho(\mathbf{x}) =  \int  G(\mathbf{x},\mathbf{y}) \rho(\mathbf{y})\;\mathrm{d}\mathbf{y} .

It is illuminating to make the analogy with matrix equations. Let \mathbb{L} and \mathbb{G} be n×n matrices connected by


\mathbb{L}  \mathbb{G}  = \mathbb{E}\quad \Longleftrightarrow \quad  \left(\mathbb{L}  \mathbb{G}\right)_{ij} = \delta_{ij}, \quad\hbox{i.e.,}\quad \mathbb{G} = \mathbb{L}^{-1},

then the solution of a matrix-vector equation is


\mathbb{L}\boldsymbol{\phi} =  \boldsymbol{\rho}\quad \Longrightarrow \quad
 \phi_i = \sum_{j} \mathbb{G}_{ij} \rho_j.

Make the correspondence ix, jy, and compare the sum over j with the integral over y, and the correspondence is evident.

Example

We consider a case of three variables, n = 3 with x = (x, y, z).

The Green function of


\nabla^2 \equiv 
\left( \frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}+\frac{\partial^2}{\partial z^2}\right)

is


G(\mathbf{x},\mathbf{y}) = -\frac{1}{4\pi} \frac{1}{|\mathbf{x}-\mathbf{y}|}.

As an important example of this Green function we mention that the formal solution of the Poisson equation of electrostatics, reading


\nabla^2 \Phi(\mathbf{x}) = -\frac{1}{\epsilon_0} \rho(\mathbf{x}),

where ε0 is the electric constant and ρ is a charge distribution, is given by


\Phi(\mathbf{x}) = \frac{1}{4\pi \epsilon_0} \iiint\; \frac{\rho(\mathbf{y})}{|\mathbf{x}-\mathbf{y}|}
\;\mathrm{d}\mathbf{y}.

Indeed,


\nabla^2 \Phi(\mathbf{x}) = \frac{1}{4\pi \epsilon_0} \iiint\; \rho(\mathbf{y}) \nabla^2\frac{1}{|\mathbf{x}-\mathbf{y}|} \;\mathrm{d}\mathbf{y} = -\frac{4\pi}{4\pi\epsilon_0} 
\iiint\; \rho(\mathbf{y}) \delta(\mathbf{x}-\mathbf{y}) \;\mathrm{d}\mathbf{y} = -\frac{\rho(\mathbf{x})}{\epsilon_0}.

The integral form of the electrostatic field may be seen as a consequence of Coulomb's law. The field at the point x due to the charge dQ = ρ(y)dy is equal to


d\Phi(\mathbf{x}) = \frac{dQ}{4\pi\epsilon_0 |\mathbf{x}-\mathbf{y}|}.

The field is additive in the charges, so integration gives the total field at x.

CC Image
Integration regions: yellow domain is Uε, large sphere is VR, small sphere is Vε

Proof of Green function of ∇2

Without loss of generality we take x as the origin (0, 0, 0) and replace y by r = (x, y, z) in the above formulation. The length of r is indicated by r.

The proof uses Green's theorem:


\iiint\limits_{V_a} \Big( \phi \nabla^2\frac{1}{r} - \frac{1}{r} \nabla^2\phi\Big)\, d V =
\iint\limits_{S_a} \big(\phi \boldsymbol{\nabla}\frac{1}{r}\big) \cdot d\mathbf{S} - \iint\limits_{S_a} \big(\frac{1}{r} \boldsymbol{\nabla}\phi\big)  \cdot d\mathbf{S},

where Va is a sphere with radius a and Sa is the surface of this sphere. The smooth test function φ and its gradient vanish for large r,


 \phi(x,y,z) =0, \quad \boldsymbol{\nabla}\phi(x,y,z) = \mathbf{0}\quad  \hbox{for}\quad r \ge R \quad\hbox{with}\quad r \equiv \sqrt{x^2+y^2+z^2}.

Further we notice that


\nabla^2 \frac{1}{r} = 0\quad \hbox{for}\quad r \in U_\epsilon,

because r ≠ 0 in that region (see the figure, where the region is indicated in yellow). This result is most easily proved if we recall that in spherical polar coordinates


\nabla^2\frac{1}{r} = \frac{1}{r} \frac{\partial^2 r}{\partial r^2} \frac{1}{r} = \frac{1}{r} \frac{\partial^2 }{\partial r^2} 1 = 0.


First apply Green's theorem to the large sphere of radius R


\iiint\limits_{V_R}  \phi \nabla^2\frac{1}{r}\, d V = \iiint\limits_{V_R}  \frac{1}{r} \nabla^2\phi\, d V  +
\iint\limits_{S_R} \big(\phi \boldsymbol{\nabla}\frac{1}{r}\big) \cdot d\mathbf{S} - \iint\limits_{S_R} \big(\frac{1}{r} \boldsymbol{\nabla}\phi\big)  \cdot d\mathbf{S} =
\iiint\limits_{V_R}  \frac{1}{r} \nabla^2\phi\, d V

because by assumption φ and its gradient vanish on SR.

We consider the integral on the right hand side and we will show that


\iiint\limits_{V_R}  \frac{1}{r} \nabla^2\phi\, d V = -4\pi \phi(\mathbf{0}),

from which the result to be proved follows directly. The main trick is to write


\iiint\limits_{V_R}  \frac{1}{r} \nabla^2\phi\, d V =  \lim_{\epsilon \rightarrow 0} \iiint\limits_{U_\epsilon}  \frac{1}{r} \nabla^2\phi\, d V

and to consider first the integral over Uε (the yellow domain in the figure) for non-zero, but small, ε. After the integral has been evaluated, the limit for zero ε is taken.

Since Uε has two surfaces, Green's theorem cannot be applied directly, and therefore we write (see the figure),


\iiint\limits_{U_\epsilon}  = \iiint\limits_{V_R} - \iiint\limits_{V_\epsilon}

and apply Green's theorem to the two terms. Recalling that we saw already the first term, we get


\begin{align}
\iiint\limits_{U_\epsilon}  \frac{1}{r} \nabla^2\phi\, d V &=
\left[ \iiint\limits_{V_R}  \phi \nabla^2\frac{1}{r}\, d V - \iiint\limits_{V_\epsilon}  \phi \nabla^2\frac{1}{r}\, d V \right] 
+\iint\limits_{S_\epsilon} \big(\phi \boldsymbol{\nabla}\frac{1}{r}\big) \cdot d\mathbf{S} - \iint\limits_{S_\epsilon} \big(\frac{1}{r} \boldsymbol{\nabla}\phi\big)  \cdot d\mathbf{S}\\
&= \left[\iiint\limits_{U_\epsilon}  \phi \nabla^2\frac{1}{r}\, d V \right]   +\iint\limits_{S_\epsilon} \big(\phi \boldsymbol{\nabla}\frac{1}{r}\big) \cdot d\mathbf{S} - \iint\limits_{S_\epsilon} \big(\frac{1}{r} \boldsymbol{\nabla}\phi\big)  \cdot d\mathbf{S}\\
\end{align}

The integral between square brackets is zero because ∇2(1/r) is zero on Uε. The last integral can be shown to vanish for small ε. Because φ and its gradient are smooth and finite, and r is constant (equal to ε) on the surface, we may write for small ε


\iint\limits_{S_\epsilon} \big(\frac{1}{r}  \boldsymbol{\nabla}\phi\big)  \cdot   d\mathbf{S}
\approx \frac{\langle\mathbf{n}\cdot \boldsymbol{\nabla}\phi(\epsilon)\rangle}{\epsilon}  \iint\limits_{S_\epsilon}dS = 4\pi \epsilon \langle\mathbf{n}\cdot \boldsymbol{\nabla}\phi(\epsilon)\rangle \rightarrow 0,

where we assumed that


\boldsymbol{\nabla}\phi(\mathbf{r})\cdot d\mathbf{S} = \boldsymbol{\nabla}\phi(\mathbf{r})\cdot\mathbf{n}\;dS \approx \langle \boldsymbol{\nabla}\phi(\epsilon)\cdot\mathbf{n}\rangle \;dS

and that the value of the gradient averaged over the surface may be taken out of the integral. The remaining surface integral is equal to 4πε2.

In order to evaluate the final integral we use


\boldsymbol{\nabla} \frac{1}{r} = - \frac{\mathbf{r}}{r^3} \equiv -\frac{\mathbf{e}_r}{r^2} \qquad
\hbox{and}\qquad d\mathbf{S} = \mathbf{e}_r \;r^2\sin\theta\,d\phi d\theta

so that


\iint\limits_{S_\epsilon} \big(\phi \boldsymbol{\nabla}\frac{1}{r}\big) \cdot d\mathbf{S}
=
-\iint\limits_{S_\epsilon} \phi(\mathbf{r})  \sin\theta\,d\phi d\theta = -\phi(\epsilon) \; 4\pi.

Here we assumed that the test function φ(r) is constant over the surface (isotropic) for small ε. The limit ε → 0 gives the desired result.

Summarizing,


\iiint\limits_{V_R}  \phi \nabla^2\frac{1}{r}\, d V =
\iiint\limits_{V_R}  \frac{1}{r} \nabla^2\phi\, d V = 
-4\pi \phi(\mathbf{0}) =
-4\pi \iiint\limits_{V_R} \delta(\mathbf{r}) \phi(\mathbf{r}) \, d V,

and


\nabla^2\frac{1}{r} = - 4\pi \delta(\mathbf{r})

References

  1. M. Kline, Mathematical Thought from Ancient to Modern Times, Oxford University Press, New York (1972) p. 683
  • P. Roman, Advanced Quantum Theory, Addison-Wesley, Reading, Mass. (1965) Appendix 4.
  • I. M. Gel'fand and G. E. Shilov, Generalized Functions, Vol. 1, Academic Press, New York (1964)
Views
Personal tools