Prove $\operatorname{ div} (\phi A) = (\operatorname{ grad} \phi) \cdot A + \phi \operatorname{ div} A$

2.8k Views Asked by At

Prove $$\operatorname{ div} (\phi A) = (\operatorname{grad} \phi) \cdot A + \phi \operatorname{ div} A$$ where $A$ is differentiable vector function and $\phi $ is differentiable scalar function.

Now i write $A =(A_1. A_2. A_3)$ and so i write as $ div (\phi A) = (f_x,f_y,f_z) \cdot (\phi A_1,\phi A_3,\phi A_3)$ which equals to $f_x(\phi A_1) + f_y(\phi A_2) + f_z(\phi A_3) $. how do i proceed?

thanks

2

There are 2 best solutions below

0
On BEST ANSWER

Note that, by the product rule, for $i=1,2,3$, $$\frac{\partial (\phi A_i)}{\partial x_i}=\frac{\partial \phi}{\partial x_i} A_i+\phi \frac{\partial A_i}{\partial x_i}.$$ Then after summing over $i$ we get $$\text{div}(\phi \mathbf{A})=\sum_{i=1}^3\frac{\partial (\phi A_i)}{\partial x_i}=\sum_{i=1}^3\frac{\partial \phi}{\partial x_i}\cdot A_i+\phi\cdot\sum_{i=1}^3\frac{\partial A_i}{\partial x_i}=\text{grad}(\phi )\cdot \mathbf{A} +\phi\,\text{div}( \mathbf{A})$$ and we are done.

0
On

We have $$\frac{\partial(\phi A_i)}{\partial x_j}= \frac{\partial\phi}{\partial x_j}A_i+ \phi\frac{\partial A_i}{\partial x_j}$$

so $$\nabla(\phi A) = \phi(\nabla A) + A \otimes (\nabla\phi)$$ where $[\vec{a}\otimes \vec{b}]_{ij} = a_ib_j$.

Therefore

$$\operatorname{div}(\phi A) = \operatorname{Tr} \nabla(\phi A) = \phi(\operatorname{Tr} (\nabla A)) + \operatorname{Tr}(A \otimes (\nabla\phi)) = \phi \operatorname{div} A + \langle \nabla \phi,A\rangle$$