intex2dxВместо
![$\vec A$ $\vec A$](https://dxdy-04.korotkov.co.uk/f/f/2/4/f247728881a4a2bfc6a7980efef7882a82.png)
я буду писать
![$\mathbf u$ $\mathbf u$](https://dxdy-03.korotkov.co.uk/f/2/d/a/2da984f7137968c2347e4421782d405982.png)
, хорошо?
Есть такое векторное тождество (см., например,
Вики, статья Дивергенция, пункт Свойства):
![$\operatorname{div}(\varphi\mathbf u)= \operatorname{grad}\varphi \cdot \mathbf u+\varphi\,\operatorname {div}\mathbf u$ $\operatorname{div}(\varphi\mathbf u)= \operatorname{grad}\varphi \cdot \mathbf u+\varphi\,\operatorname {div}\mathbf u$](https://dxdy-02.korotkov.co.uk/f/d/9/d/d9db36bcfa60ccafa27aae7d2213139882.png)
Проинтегрируем его по области. Слева объёмный интеграл преобразуется по теореме Гаусса в поверхностный. Получим:
![$\oint\limits_S \varphi\underbrace{\mathbf u\cdot\mathbf n}_{=0}\,dS=\int\limits_V \operatorname{grad}\varphi \cdot \mathbf u\,dV+\int\limits_V \varphi\,\underbrace{\operatorname {div}\mathbf u}_{=0}\,dV$ $\oint\limits_S \varphi\underbrace{\mathbf u\cdot\mathbf n}_{=0}\,dS=\int\limits_V \operatorname{grad}\varphi \cdot \mathbf u\,dV+\int\limits_V \varphi\,\underbrace{\operatorname {div}\mathbf u}_{=0}\,dV$](https://dxdy-02.korotkov.co.uk/f/d/e/1/de1076f1d3774b175554a1e96ccabd6a82.png)
Отсюда
![$\int\limits_V \operatorname{grad}\varphi \cdot \mathbf u\,dV=0$ $\int\limits_V \operatorname{grad}\varphi \cdot \mathbf u\,dV=0$](https://dxdy-03.korotkov.co.uk/f/a/8/8/a88c9a6e92356d9b85ca8d4df24f5cfb82.png)
Если в качестве скалярного поля
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
брать последовательно координаты
![$x,y,z$ $x,y,z$](https://dxdy-03.korotkov.co.uk/f/2/4/4/244be3c7db382d3e1400c7c4caa1023a82.png)
, то
![$\operatorname{grad}\varphi$ $\operatorname{grad}\varphi$](https://dxdy-01.korotkov.co.uk/f/0/a/e/0ae71a469675a22a29fec514c26c9dc782.png)
будет равен соответственно базисным ортам
![$\mathbf e_x, \mathbf e_y, \mathbf e_z$ $\mathbf e_x, \mathbf e_y, \mathbf e_z$](https://dxdy-03.korotkov.co.uk/f/a/d/e/aded8eb734ebb857231a2659ec8614b982.png)
, а выражение
![$\operatorname{grad}\varphi \cdot \mathbf u$ $\operatorname{grad}\varphi \cdot \mathbf u$](https://dxdy-01.korotkov.co.uk/f/8/2/3/8233026a953092d255a919173797b90e82.png)
даст компоненты
![$u_x,u_y,u_z$ $u_x,u_y,u_z$](https://dxdy-02.korotkov.co.uk/f/5/5/9/559849bbb5c6a25ff9fc5094fe98580782.png)
. Но раз интеграл от любой компоненты поля
![$\mathbf u$ $\mathbf u$](https://dxdy-03.korotkov.co.uk/f/2/d/a/2da984f7137968c2347e4421782d405982.png)
по области нулевой, то и интеграл от самого поля
![$\mathbf u$ $\mathbf u$](https://dxdy-03.korotkov.co.uk/f/2/d/a/2da984f7137968c2347e4421782d405982.png)
тоже нулевой.
На это решение меня навела физическая аналогия. Пусть
![$\mathbf u$ $\mathbf u$](https://dxdy-03.korotkov.co.uk/f/2/d/a/2da984f7137968c2347e4421782d405982.png)
— это поле скоростей несжимаемой жидкости, которая как-то движется в пределах области, не проходя через границы (нормальная к границе компонента скорости
![$u_n=0$ $u_n=0$](https://dxdy-04.korotkov.co.uk/f/3/0/7/307fad9afeb98bc1450141d435df308082.png)
). Так как жидкость несжимаемая,
![$\operatorname{div}\mathbf u=0$ $\operatorname{div}\mathbf u=0$](https://dxdy-02.korotkov.co.uk/f/d/b/4/db44b0edeeb6f0371eabfce46fef6c1882.png)
в силу уравнения неразрывности. Постоянную плотность жидкости считаем единичной. Тогда интеграл
![$\int\limits_V \mathbf u\,dV$ $\int\limits_V \mathbf u\,dV$](https://dxdy-01.korotkov.co.uk/f/0/d/c/0dc968f32811ae87f4634e5314d067c482.png)
— это полный импульс всей жидкости в пределах области. Поле скоростей не зависит от времени, поэтому и импульс не зависит от времени. Но импульс равен массе жидкости, умноженной на скорость центра масс. А центр масс неподвижен. Значит, и импульс равен нулю.