logo

カールの発散は常にゼロである 📂数理物理学

カールの発散は常にゼロである

ベクター関数A\mathbf{A}カールダイバージェンスは、常に00である。

(×A)=0 \nabla \cdot (\nabla \times \mathbf{A}) = 0

証明

A\mathbf{A}のカールは以下の通りである。

×A=x^y^z^xyzAxAyAz=x^(AzyAyz)+y^(AxzAzx)+z^(AyxAxy) \begin{align*} \nabla \times \mathbf{A} &= \begin{vmatrix} \hat{\mathbf{x}} & \hat{\mathbf{y}} & \hat{\mathbf{z}} \\ \displaystyle \frac{\partial}{\partial x} & \displaystyle \frac{\partial}{\partial y} & \displaystyle \frac{\partial}{\partial z} \\ A_{x} & A_{y} & A_{z} \end{vmatrix} \\ &= \hat{\mathbf{x}} \left( \frac{\partial A_{z}}{\partial y} - \frac{\partial A_{y}}{\partial z} \right) + \hat{\mathbf{y}} \left( \frac{\partial A_{x}}{\partial z} - \frac{ \partial A_{z}}{\partial x} \right) + \hat{\mathbf{z}} \left( \frac{\partial A_{y}}{\partial x}-\frac{\partial A_{x}}{\partial y} \right) \end{align*}

あるベクター関数F\mathbf{F}のダイバージェンスは以下の通りである。

F=Fxx+Fyy+Fzz \nabla \cdot \mathbf{F} = \dfrac{\partial F_{x}}{\partial x} + \dfrac{\partial F_{y}}{\partial y} + \dfrac{\partial F_{z}}{\partial z}

従って、以下の結果を得る。

(×A)=x(AzyAyz)+y(AxzAzx)+z(AyxAxy)=(2Azxy2Ayxz)+(2Axyz2Azyx)+(2Ayzx2Axzy)=0 \begin{align*} \nabla \cdot (\nabla \times \mathbf{A}) &= \frac{\partial}{\partial x} \left( \frac{\partial A_{z}}{\partial y} - \frac{\partial A_{y}}{\partial z} \right) + \frac{\partial}{\partial y} \left( \frac{\partial A_{x}}{\partial z} - \frac{ \partial A_{z}}{\partial x} \right) + \frac{\partial}{\partial z} \left( \frac{\partial A_{y}}{\partial x}-\frac{\partial A_{x}}{\partial y} \right) \\ &= \left( {\color{blue}\frac{\partial^2 A_{z}}{\partial x \partial y}} {\color{green}- \frac{\partial ^2 A_{y}}{\partial x \partial z} } \right) + \left( {\color{red}\frac{\partial^2 A_{x}}{\partial y \partial z}} {\color{blue}- \frac{ \partial^2 A_{z}}{\partial y \partial x} }\right) + \left( {\color{green}\frac{\partial^2 A_{y}}{\partial z \partial x} } {\color{red}-\frac{\partial^2 A_{x}}{\partial z \partial y}} \right) \\ &= 0 \end{align*}