Divergence theorem application.

85 Views Asked by At

I need to prove that $$\lim_{r \to 0} \frac 1 {\operatorname{vol}(B_r(p))} \iint_{\partial B_r(p) } f \, dA = \operatorname{div}(f) $$

We have by the Divergence Theorem that $\dfrac 1 {\operatorname{vol}(B_r(p))} \iint_{\partial B_r(p)} f \, dA =\dfrac 1 {\operatorname{vol}(B_r(p)} \iiint_{B_r(p)} \nabla f \, dV $

where $\nabla f = \dfrac{\partial f}{\partial x} +\dfrac{\partial f}{\partial y} +\dfrac{\partial f}{\partial z}$.

Im not sure how to continue from here, I tried working with Spherical Coordinates but I can't compute this triple integral.

1

There are 1 best solutions below

3
On BEST ANSWER

You don't have to (compute the integral). What you need to know (or show) is that, for a (say) continuous function $h$ the identity $$ \lim_{r\rightarrow 0} \frac 1 {\operatorname{vol}(B_r(x)}\int_{B_r(x)}\, h(y) \, dy = h(x)$$ holds.

For continuous $h$ this is almost trivial, since for $\varepsilon >0$ you can finde $\delta >0$ such that $\|\bar y -y \|< \delta \Rightarrow \|h(\bar y)- h(y) \| < \varepsilon$. Now note that then for $r<\delta$

\begin{eqnarray} \left|\frac{1}{\operatorname{vol}(B_r(x))}\int_{B_r(x)}\, h(y) \, dy - h(x)\right| & =& \left|\frac{1}{\operatorname{vol}(B_r(x))}\int_{B_r(x)}\, (h(y) -h(x)) \,dy\right| \\ &\le& \frac{1}{\operatorname{vol}(B_r(x))}\int_{B_r(x)}\, |h(y) -h(x)| \,dy \\ & < & \frac{1}{\operatorname{vol}(B_r(x))}\int_{B_r(x)}\varepsilon \, dy = \varepsilon \end{eqnarray}