divとrotを素朴に定義する
$ \mathrm{div}A=\frac{\partial A_x}{\partial x}+\frac{\partial A_y}{\partial y}+\frac{\partial A_z}{\partial z}
$ x 方向の流れ$ A_x が、ある小さな箱型の部分を通り抜ける
https://gyazo.com/da3f46b8879b1cf97dc726a8d5e7d485
通り抜けたあとで流量に変化がある
箱の中に流量を変化させる作用がある
$ \frac{A_x(x_0+\Delta_x)-A_x(x_0)}{\Delta_x}
箱を無限小にする
$ \lim_{\Delta_x\to 0}\frac{A_x(x_0+\Delta_x)-A_x(x_0)}{\Delta_x}=\frac{\partial A_x}{\partial x}
他の方向も考えれば$ \mathrm{div}A=\frac{\partial A_x}{\partial x}+\frac{\partial A_y}{\partial y}+\frac{\partial A_z}{\partial z} が得られる
$ (\mathrm{rot}A)_z=\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y}
ベクトル場を水流と考えたとき、その流れの中にある微小な水車の回転速度を考える
$ z 軸を中心軸にもつ水車を$ xy 平面におく
どんな場合なら回ってくれるか?
https://gyazo.com/863210730f6b026cc581b49631874ff4
これで左回りに回ってくれる
左回りを正とする
https://gyazo.com/a96eb2702352732b278c0bac9c771ea9
これでも回ってくれる
流速に差があればよい
回転速度は流速の差に比例する
$ y 方向の流れを考える
$ A_y : 流速を表す関数、$ \Delta : 水車の直径とすると:
回転速度: $ \frac{A_y(x+\Delta)-A_y(x)}{\Delta}
水車の直径を無限小にする:
$ \lim_{\Delta\to 0}\frac{A_y(x+\Delta)-A_y(x)}{\Delta}=\frac{\partial A_y}{\partial x}
$ x 方向の流れを考える
$ \frac{A_x(y+\Delta)-A_x(y)}{\Delta} では右回りになる
$ -\frac{\partial A_x}{\partial y} とすれば左回りになってくれる
これらを合わせると$ (\mathrm{rot}A)_z=\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y} を得る