Следующая конструкция является формализацией в терминах тензорного анализа определения тензора напряжений, которое содержится в учебнике по МСС Седова.
1) В физическом пространстве
![$\mathbb{R}^3$ $\mathbb{R}^3$](https://dxdy-02.korotkov.co.uk/f/d/0/3/d03c1e146df015e061405cc425738d8382.png)
с декартовыми координатами и стандартной евклидовой метрикой
![$(\cdot,\cdot)$ $(\cdot,\cdot)$](https://dxdy-04.korotkov.co.uk/f/3/6/0/36096ddef248ebef08f9f4526818e4b482.png)
зададим область
![$D\subset\mathbb{R}^3$ $D\subset\mathbb{R}^3$](https://dxdy-03.korotkov.co.uk/f/e/3/c/e3c009edebdb7231fb4c3b8041a99c7682.png)
и введем в ней локальные криволинейные координаты
![$x^i$ $x^i$](https://dxdy-04.korotkov.co.uk/f/f/c/9/fc9706845a41eab1ea7ee2e63dc0551c82.png)
с базисными векторами
2) Запишем дифференциальную форму объема через "дискриминантный тензор":
![$$\omega=\sqrt g\epsilon_{ijk}dx^i\otimes dx^j\otimes dx^k=\sqrt g dx^1\wedge dx^2\wedge dx^3,\quad g=\det(g_{ij})$$ $$\omega=\sqrt g\epsilon_{ijk}dx^i\otimes dx^j\otimes dx^k=\sqrt g dx^1\wedge dx^2\wedge dx^3,\quad g=\det(g_{ij})$$](https://dxdy-03.korotkov.co.uk/f/2/d/b/2db44ece6b347f41103e9acc6df7454b82.png)
3) Будем считать, что область
![$D$ $D$](https://dxdy-04.korotkov.co.uk/f/7/8/e/78ec2b7008296ce0561cf83393cb746d82.png)
заполнена сплошной средой. Выделим в ней произвольный объем
![$W\subset D$ $W\subset D$](https://dxdy-03.korotkov.co.uk/f/2/d/5/2d537db560a31cde9cd97e36b5981b5a82.png)
.
Постулируем, что сила, действующая на поверхность
![$\partial W$ $\partial W$](https://dxdy-04.korotkov.co.uk/f/b/7/a/b7ad95711f434ce8365a60d3981b2a5182.png)
со стороны объемлющей среды, вычисляется с помощью тензора
![$p^{ij}(x),\quad x\in D$ $p^{ij}(x),\quad x\in D$](https://dxdy-02.korotkov.co.uk/f/d/9/4/d94c8ea9d0be14adc3942e587cd1368b82.png)
по формуле
![$$=\int_{\partial W}\sqrt ge_i\otimes \big(p^{i1} dx^2\wedge dx^3+p^{i2} dx^3\wedge dx^1+p^{i3} dx^1\wedge dx^2\big).$$ $$=\int_{\partial W}\sqrt ge_i\otimes \big(p^{i1} dx^2\wedge dx^3+p^{i2} dx^3\wedge dx^1+p^{i3} dx^1\wedge dx^2\big).$$](https://dxdy-04.korotkov.co.uk/f/7/5/f/75f27350b4d42d220ca428fae2adb48282.png)
При интегрировании векторнозначной дифференциальной формы подразумевается, что векторы
![$e_i(x)$ $e_i(x)$](https://dxdy-04.korotkov.co.uk/f/b/a/5/ba5a2a46e8e80ca1eb42a36d68730aee82.png)
могут быть разложены по системе декартовых координат в
![$\mathbb{R}^3$ $\mathbb{R}^3$](https://dxdy-02.korotkov.co.uk/f/d/0/3/d03c1e146df015e061405cc425738d8382.png)
и проинтегрированы покомпонентно.
4) Тензор
![$p^{ij}$ $p^{ij}$](https://dxdy-04.korotkov.co.uk/f/7/6/6/766815fa0c282fb4919763302a8ded4c82.png)
называется тензором напряжений. Форма
![$\omega$ $\omega$](https://dxdy-03.korotkov.co.uk/f/a/e/4/ae4fb5973f393577570881fc24fc205482.png)
является аксиальным тензором [Дубровин Новиков Фоменко Современная Геометрия], сила
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
является истинным вектором, поэтому
тензор напряжений является аксиальным тензором.
5) Полезно уметь выражать силу
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
через интеграл по объему
![$W$ $W$](https://dxdy-01.korotkov.co.uk/f/8/4/c/84c95f91a742c9ceb460a83f9b5090bf82.png)
.
Применяя формулу Стокса находим
![$$F=\int_W\frac{\partial}{\partial x^k}\Big(\sqrt g p^{ik}e_i\Big)dx^1\wedge dx^2\wedge dx^3=\int_W(\nabla_kp^{ik})\sqrt g e_idx^1\wedge dx^2\wedge dx^3.$$ $$F=\int_W\frac{\partial}{\partial x^k}\Big(\sqrt g p^{ik}e_i\Big)dx^1\wedge dx^2\wedge dx^3=\int_W(\nabla_kp^{ik})\sqrt g e_idx^1\wedge dx^2\wedge dx^3.$$](https://dxdy-01.korotkov.co.uk/f/8/1/c/81c44cbae13e27f218bd5a3f15fe7af682.png)
Здесь существенно используется факт существования евклидовых координат в которых
![$g_{ij}=\delta_{ij} $ $g_{ij}=\delta_{ij} $](https://dxdy-04.korotkov.co.uk/f/b/5/a/b5a7757fcda8888b28050a699b3f5a4082.png)
и формулы
![$$\frac{\partial}{\partial x^k}\sqrt g=\Gamma^n_{nk}\sqrt g,\quad \frac{\partial}{\partial x^k}e_i=\Gamma^s_{ik}e_s$$ $$\frac{\partial}{\partial x^k}\sqrt g=\Gamma^n_{nk}\sqrt g,\quad \frac{\partial}{\partial x^k}e_i=\Gamma^s_{ik}e_s$$](https://dxdy-01.korotkov.co.uk/f/0/e/b/0eb93fead96d988b5aca54e87b16839e82.png)