4
$\begingroup$

Consider the vector field $$\vec{\mathrm{F}} = \frac{\hat{\mathrm{r}}}{r^{2}},$$ then the divergence of this field is: $$\vec{\nabla}\cdot\left(\frac{\hat{\mathrm{r}}}{r^{2}}\right) = 4\pi\delta^{3}(\mathrm{\vec{r}})$$

What is the proof of this relation?

$\endgroup$
  • 1
    $\begingroup$ use the fact that $\text{div } F= \frac 1V \int F.n \, dS$ $\endgroup$ – abel Jun 22 '15 at 23:45
  • $\begingroup$ @MohammedSalamaIbrah I provided a more rigorous version of the "proof" - one based on a common method used in the theory of distributions (Generalized Functions). Please let me know how I can improve the answer. I really just want to give you the best answer I can. $\endgroup$ – Mark Viola Jun 23 '15 at 4:00
3
$\begingroup$

What does "$4\pi\delta^3(r)$" mean? It means if you integrate any compactly supported test function $f$ against it, the result will be $4\pi f(0)$.

So what you really want to show is that for any compactly supported test function $f$, you have $$ \int \bigg(\nabla\cdot \frac{\hat{r}}{r^2}\bigg)f(r)\ dr = 4\pi f(0). $$

Integrate by parts and take a limit around the singularity at $0$ to get the answer.

$\endgroup$
5
$\begingroup$

A common way to show that $\nabla \cdot \left(\frac{\hat r}{r^2}\right)=4\pi \delta (\vec r)$ is to regularize the function $\left(\frac{\hat r}{r^2}\right)$ in terms of a parameter, say $a$. To that end, let $\vec \psi$ be the regularized function given by

$$\vec \psi(\vec r;a)=\frac{\vec r}{(r^2+a^2)^{3/2}} \tag 1$$

Taking the divergence of $(1)$ reveals that

$$\nabla \cdot \vec \psi(\vec r; a)=\frac{3a^2}{(r^2+a^2)^{5/2}}$$

Now, for any sufficiently smooth test function $\phi$, we have that

$$\begin{align} \lim_{a \to 0}\int_V \nabla \cdot \vec \psi(\vec r; a)\phi(\vec r)dV&=\lim_{a \to 0}\int_V \frac{3a^2}{(r^2+a^2)^{5/2}}\phi(\vec r)dV\\\\ &=0 \end{align}$$

if $V$ does not include the origin.

Now, suppose that $V$ does include the origin. Then, we have

$$\begin{align} \lim_{a \to 0}\int_V \nabla \cdot \vec \psi(\vec r; a)\phi(\vec r)dV&=\lim_{a\to 0}\int_{V-V_{\delta}} \frac{3a^2}{(r^2+a^2)^{5/2}}\phi(\vec r)dV+\lim_{a\to 0}\int_{V_{\delta}} \frac{3a^2}{(r^2+a^2)^{5/2}}\phi(\vec r)dV\\\\ &=\lim_{a\to 0}\int_{V_{\delta}} \frac{3a^2}{(r^2+a^2)^{5/2}}\phi(\vec r)dV \end{align}$$

where $V_{\delta}$ is a spherical region centered at $\vec r=0$ with radius $\delta$. For any $\epsilon>0$, take $\delta>0$ such that $|\phi(\vec r)-\phi(0)|\le \epsilon/(4\pi)$ whenever $0<|\vec r|< \delta$. Then, we have

$$\begin{align} \lim_{a \to 0}\left|\int_V \nabla \cdot \vec \psi(\vec r; a)(\phi(\vec r)-\phi(0))\,dV\right|&\le \lim_{a\to 0} \int_{V_{\delta}} \left|\phi(\vec r)-\phi(0)\right|\frac{3a^2}{(r^2+a^2)^{5/2}}dV\\\\ &\le \left(\frac{\epsilon}{4\pi}\,4\pi\right)\,\lim_{a \to 0}\int_{0}^{\infty}\frac{3a^2}{(r^2+a^2)^{5/2}}r^2\,dr\\\\ &\le \epsilon \end{align}$$

Thus, we have for any test function $\phi$,

$$\begin{align} \lim_{a \to 0}\int_V \nabla \cdot \vec \psi(\vec r; a)\phi(\vec r)\,dV&=4\pi \phi(0) \end{align}$$

and it is in this sense that

$$\bbox[5px,border:2px solid #C0A000]{\lim_{a\to 0} \nabla \cdot \vec \psi(\vec r;a)=4\pi \delta(\vec r)}$$

$\endgroup$
2
$\begingroup$

Can't really give "the" proof if I don't know what you're allowed to assume.

But, to suit my personal taste I would start with the well known identity $ \int d^3x \mathbf{\nabla\cdot F} = \oint d^2x \mathbf{\hat{n}}\cdot\mathbf{F}$ Insert $\mathbf{F}=\mathbf{\hat{r}}/r^2$ and take it from there.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.