0
$\begingroup$

I need help proving the following vector calculus identity:

$ \oint_{\partial V} (\mathbf{\hat{n}} \times \mathbf{A}) \; \mathrm{d}S = \int_V (\nabla \times \mathbf{A}) \; \mathrm{d}V $

the identity is also found on this link, under "Surface–volume integrals".

Thank you very much

  • 0
    It looks like a corollary to the Divergence Theorem, like applying it to the cross product of a vector field and a nonconstant vector. Do you know that theorem?2012-07-08

3 Answers 3

2

Since $\mathbf{\hat{n}}$ and $\mathbf{dS}$ are parallel, $\mathbf{dS} \times \mathbf{\hat{n}} = 0$, so \begin{align*} \mathbf{\hat{n}} \times (\mathbf{A} \times \mathbf{dS}) & = - \mathbf{A} \times (\mathbf{dS} \times \mathbf{\hat{n}}) - \mathbf{dS} \times (\mathbf{\hat{n}} \times \mathbf{A}) \\ & = - \mathbf{dS} \times (\mathbf{\hat{n}} \times \mathbf{A}) \\ & = (\mathbf{\hat{n}} \times \mathbf{A}) \times \mathbf{dS} \end{align*} by the the Jacobi Identity and divergence theorem. $\mathbf{A} ~dS = (\mathbf{\hat{n}} \times \mathbf{A}) \times \mathbf{dS} + \mathbf{\hat{n}} \cdot \mathbf{A} ~\mathbf{dS}.$ Then use the corollaries to show that $\iint_{\partial V} \mathbf{A} ~dS = \iiint_V \left(\nabla(\mathbf{\hat{n}} \cdot \mathbf{A})- \nabla \times (\mathbf{\hat{n}} \times \mathbf{A})\right) ~dV.$

  • 0
    ecb is not saying $\text{d}S$ is a vector. However, $\mathbf{\text{d}S} = \mathbf{\widehat{n}}\,\text{d}S$ is a vector.2012-11-15
1

This alternate version of Divergence theorem can be proved using Gauss-Green formula: $ \int_{\Omega} \partial_{x_i} u\, dx = \int_{\partial \Omega} u n_i dS \,, $ where $\boldsymbol{n} = (n_1,\ldots,n_k)$ is the unit outward normal vector to a smooth domain $\Omega\subset \mathbb{R}^k$.

Then let's consider this special case in $\mathbb{R}^3$. Let $\mathbf{A} = (A_1,A_2,A_3)$. The first component of $\nabla\times\mathbf{A}$ is $\partial_{x_2} A_3 - \partial_{x_3} A_2$, then: $ \int_{V} (\partial_{x_2} A_3 - \partial_{x_3} A_2)dV = \int_{\partial V} (n_2 A_3 - n_3 A_2)dS, $ in which the right hand side is exactly the first component for $\mathbf{n}\times \mathbf{A}$. The second and the third components are proved in the same way.

-1

here this guy explains it nicely http://www.youtube.com/watch?v=1qLb0B40YnA