Beltrami-Michellの適合条件式が文献によって違う
まとめ
(P)
✅$ \bm\nabla^2\bm\sigma+\frac1{1+\nu}\bm\nabla\bm\nabla{\rm tr}\bm\sigma=-\frac{\nu}{1-\nu}(\bm\nabla\cdot\bm K)\bm I-2{\cal\pmb S}:\bm\nabla\bm K
❌$ \bm\nabla^2\bm\sigma+\frac1{1+\nu}\bm\nabla\bm\nabla{\rm tr}\bm\sigma=-\frac{1+\nu}{1-\nu}\bm\nabla\bm K^\top-\bm\nabla\bm K
(P)と(Q)が一致しない
自分で展開を追うしか無いか
式(2.41):$ \bm\varepsilon=\frac{1+\nu}{E}\bm\sigma-\frac\nu E({\rm tr}\bm\sigma)\bm I
式(2.39):$ {\rm tr}\bm\varepsilon=\frac{1-2\nu}E{\rm tr}\bm\sigma
式(1.82):$ \bm\nabla^2\bm\varepsilon+\bm\nabla\bm\nabla{\rm tr}\bm\varepsilon=\bm\nabla\bm\nabla\cdot\bm\varepsilon+(\bm\nabla\bm\nabla\cdot\bm\varepsilon)^\top
式(1.82)に式(2.41)と式(2.39)を代入する
$ \frac{1+\nu}{E}\bm\nabla^2\bm\sigma-\frac\nu E\bm\nabla^2({\rm tr}\bm\sigma)\bm I+\frac{1-2\nu}E\bm\nabla\bm\nabla{\rm tr}\bm\sigma=2{\cal\pmb S}:\left(\frac{1+\nu}{E}\bm\nabla\bm\nabla\cdot\bm\sigma-\frac\nu E\bm\nabla\bm\nabla{\rm tr}\bm\sigma\right)
$ =2{\cal\pmb S}:\frac{1+\nu}{E}\bm\nabla\bm\nabla\cdot\bm\sigma-\frac{2\nu} E\bm\nabla\bm\nabla{\rm tr}\bm\sigma
$ \iff (1+\nu)\bm\nabla^2\bm\sigma-\nu\bm\nabla^2({\rm tr}\bm\sigma)\bm I+\bm\nabla\bm\nabla{\rm tr}\bm\sigma=2{\cal\pmb S}:(1+\nu)\bm\nabla\bm\nabla\cdot\bm\sigmaー(A)
$ \bm\nabla^2\bm u+\frac1{1-2\nu}\bm\nabla\bm\nabla\cdot\bm u+\frac{2}{E}(1+\nu)\bm K=\bm0
$ \implies\bm\nabla^2(\bm\nabla\cdot\bm u)+\frac1{1-2\nu}\bm\nabla^2(\bm\nabla\cdot\bm u)+\frac{2}{E}(1+\nu)\bm\nabla\cdot\bm K=0
$ \iff \frac{2(1-\nu)}{1-2\nu}\bm\nabla^2(\bm\nabla\cdot\bm u)+\frac2E(1+\nu)\bm\nabla\cdot\bm K=0
$ \iff \frac{1-\nu}{1-2\nu}\bm\nabla^2(\bm\nabla\cdot\bm u)+\frac{1+\nu}E\bm\nabla\cdot\bm K=0
$ \iff \frac{1-\nu}{1-2\nu}\bm\nabla^2{\rm tr}\bm\varepsilon+\frac{1+\nu}E\bm\nabla\cdot\bm K=0
$ \because{\rm tr}\bm\varepsilon={\rm tr}\bm\nabla\bm u=\bm\nabla\cdot\bm u
$ \iff \frac{1-\nu}{1-2\nu}\frac{1-2\nu}E\bm\nabla^2{\rm tr}\bm\sigma+\frac{1+\nu}E\bm\nabla\cdot\bm K=0
$ \because式(2.39)
$ \iff (1-\nu)\bm\nabla^2{\rm tr}\bm\sigma+(1+\nu)\bm\nabla\cdot\bm K=0ー(B)
式(A)に式(B),式(C)を代入する
$ (1+\nu)\bm\nabla^2\bm\sigma+\nu\frac{1+\nu}{1-\nu}(\bm\nabla\cdot\bm K)\bm I+\bm\nabla\bm\nabla{\rm tr}\bm\sigma=-2{\cal\pmb S}:(1+\nu)\bm\nabla\bm K
$ \iff\bm\nabla^2\bm\sigma+\frac{\nu}{1-\nu}(\bm\nabla\cdot\bm K)\bm I+\frac1{1+\nu}\bm\nabla\bm\nabla{\rm tr}\bm\sigma=-2{\cal\pmb S}:\bm\nabla\bm K
$ (\bm\nabla\cdot\bm K)\bm I\neq\bm\nabla\bm K
原書の記号を使うと、$ \delta_{ik}\frac{\partial X_i}{\partial x_i}=\frac{\partial X_i}{\partial x_k}としていたのが誤り
正しくは$ \delta_{ik}\frac{\partial X_j}{\partial x_j}である
$ \underline{\iff\bm\nabla^2\bm\sigma+\frac1{1+\nu}\bm\nabla\bm\nabla{\rm tr}\bm\sigma=-\frac{\nu}{1-\nu}(\bm\nabla\cdot\bm K)\bm I-2{\cal\pmb S}:\bm\nabla\bm K\quad}_\blacksquare