Answer on Question #39182 – Math – Other
1. Show that
( v ⃗ ∇ ⃗ ) v ⃗ = 1 2 ∇ ⃗ v 2 − v ⃗ × [ ∇ ⃗ × v ⃗ ] (\vec{v} \vec{\nabla}) \vec{v} = \frac{1}{2} \vec{\nabla} v^2 - \vec{v} \times [\vec{\nabla} \times \vec{v}] ( v ∇ ) v = 2 1 ∇ v 2 − v × [ ∇ × v ]
Proof.
Let simplify the expressions in Cartesian coordinates.
If v ⃗ = v 1 i ⃗ + v 2 j ⃗ + v 3 k ⃗ \vec{v} = v_1 \vec{i} + v_2 \vec{j} + v_3 \vec{k} v = v 1 i + v 2 j + v 3 k , than X X X -component of the left-side of the equation:
( v 1 ∂ ∂ x + v 2 ∂ ∂ y + v 3 ∂ ∂ z ) v 1 = v 1 ∂ v 1 ∂ x + v 2 ∂ v 1 ∂ y + v 3 ∂ v 1 ∂ z . \left(v_1 \frac{\partial}{\partial x} + v_2 \frac{\partial}{\partial y} + v_3 \frac{\partial}{\partial z}\right) v_1 = v_1 \frac{\partial v_1}{\partial x} + v_2 \frac{\partial v_1}{\partial y} + v_3 \frac{\partial v_1}{\partial z}. ( v 1 ∂ x ∂ + v 2 ∂ y ∂ + v 3 ∂ z ∂ ) v 1 = v 1 ∂ x ∂ v 1 + v 2 ∂ y ∂ v 1 + v 3 ∂ z ∂ v 1 .
The vector product:
[ ∇ ⃗ × v ⃗ ] = ∣ i ⃗ j ⃗ k ⃗ ∂ ∂ x ∂ ∂ y ∂ ∂ z v 1 v 2 v 3 ∣ = i ⃗ ( ∂ v 3 ∂ y − ∂ v 2 ∂ z ) − j ⃗ ( ∂ v 3 ∂ x − ∂ v 1 ∂ z ) + k ⃗ ( ∂ v 2 ∂ x − ∂ v 1 ∂ y ) . [\vec{\nabla} \times \vec{v}] = \begin{vmatrix} \vec{i} & \vec{j} & \vec{k} \\ \frac{\partial}{\partial x} & \frac{\partial}{\partial y} & \frac{\partial}{\partial z} \\ v_1 & v_2 & v_3 \end{vmatrix} = \vec{i} \left(\frac{\partial v_3}{\partial y} - \frac{\partial v_2}{\partial z}\right) - \vec{j} \left(\frac{\partial v_3}{\partial x} - \frac{\partial v_1}{\partial z}\right) + \vec{k} \left(\frac{\partial v_2}{\partial x} - \frac{\partial v_1}{\partial y}\right). [ ∇ × v ] = ∣ ∣ i ∂ x ∂ v 1 j ∂ y ∂ v 2 k ∂ z ∂ v 3 ∣ ∣ = i ( ∂ y ∂ v 3 − ∂ z ∂ v 2 ) − j ( ∂ x ∂ v 3 − ∂ z ∂ v 1 ) + k ( ∂ x ∂ v 2 − ∂ y ∂ v 1 ) . X X X -component of the right-side of the equation:
1 2 ∂ ∂ x ( v 1 2 + v 2 2 + v 3 2 ) − [ v 2 ⋅ ( ∂ v 2 ∂ x − ∂ v 1 ∂ y ) + v 3 ⋅ ( ∂ v 3 ∂ x − ∂ v 1 ∂ z ) ] = = v 1 ∂ v 1 ∂ x + v 2 ∂ v 2 ∂ x + v 3 ∂ v 3 ∂ x − v 2 ∂ v 2 ∂ x + v 2 ∂ v 1 ∂ y − v 3 ∂ v 3 ∂ x + v 3 ∂ v 1 ∂ z = v 1 ∂ v 1 ∂ x + v 2 ∂ v 1 ∂ y + v 3 ∂ v 1 ∂ z . \begin{aligned}
& \frac{1}{2} \frac{\partial}{\partial x} \left(v_1^2 + v_2^2 + v_3^2\right) - \left[ v_2 \cdot \left(\frac{\partial v_2}{\partial x} - \frac{\partial v_1}{\partial y}\right) + v_3 \cdot \left(\frac{\partial v_3}{\partial x} - \frac{\partial v_1}{\partial z}\right) \right] = \\
& = v_1 \frac{\partial v_1}{\partial x} + v_2 \frac{\partial v_2}{\partial x} + v_3 \frac{\partial v_3}{\partial x} - v_2 \frac{\partial v_2}{\partial x} + v_2 \frac{\partial v_1}{\partial y} - v_3 \frac{\partial v_3}{\partial x} + v_3 \frac{\partial v_1}{\partial z} = v_1 \frac{\partial v_1}{\partial x} + v_2 \frac{\partial v_1}{\partial y} + v_3 \frac{\partial v_1}{\partial z}.
\end{aligned} 2 1 ∂ x ∂ ( v 1 2 + v 2 2 + v 3 2 ) − [ v 2 ⋅ ( ∂ x ∂ v 2 − ∂ y ∂ v 1 ) + v 3 ⋅ ( ∂ x ∂ v 3 − ∂ z ∂ v 1 ) ] = = v 1 ∂ x ∂ v 1 + v 2 ∂ x ∂ v 2 + v 3 ∂ x ∂ v 3 − v 2 ∂ x ∂ v 2 + v 2 ∂ y ∂ v 1 − v 3 ∂ x ∂ v 3 + v 3 ∂ z ∂ v 1 = v 1 ∂ x ∂ v 1 + v 2 ∂ y ∂ v 1 + v 3 ∂ z ∂ v 1 .
The X X X - and Y Y Y -components can be checked in the same way.
Answer: The statement is correct.
Comments