Глубокоуважаемые Участники обсуждения!
shwedka писал(а):
Цитата:
Итак, будем полагать, что векторное поле представлено непрерывной и требуемое количество раз дифференцируемой вектор-функцией трех пространственных переменных в декартовой системе координат

. В таком случае существует функция тех же переменных

, через которую могут быть выражены все компоненты в виде

.
Доказательство не обсуждается, поскольку утверждение ОШИБОЧНО . Если бы компоненты векторного поля выражались через одну и ту же функцию

, то их градиенты были бы параллельны градиенту

, что непосредственно следует из формулы дифференцирования сложной функции, т.е. параллельны между собой. Поэтому для произвольного, даже гладкого, векторного поля
без параллельности градиентов компонент, такое представление НЕВОЗМОЖНО . Ищите сами ошибку в доказательстве или меняйте формулировку.
Непосредственно из формулы дифференцирования сложной функции следует лишь параллельность векторов
![\[\frac{{\partial \dot \vec u}}{{\partial x}},\frac{{\partial \dot \vec u}}{{\partial y}},\frac{{\partial \dot \vec u}}{{\partial z}}
\] \[\frac{{\partial \dot \vec u}}{{\partial x}},\frac{{\partial \dot \vec u}}{{\partial y}},\frac{{\partial \dot \vec u}}{{\partial z}}
\]](https://dxdy-01.korotkov.co.uk/f/c/b/e/cbe16a9c6b1da9ac4085a44aa845e34282.png)
частных производных вектор-функции, что и так само собой разумеется
![\[
\frac{{\partial \dot \vec u}}
{{\partial x_i }} = \frac{{\partial \dot \vec u}}
{{\partial \varsigma }}\frac{{\partial \varsigma }}
{{\partial x_i }},(x_i = x,y,z)
\] \[
\frac{{\partial \dot \vec u}}
{{\partial x_i }} = \frac{{\partial \dot \vec u}}
{{\partial \varsigma }}\frac{{\partial \varsigma }}
{{\partial x_i }},(x_i = x,y,z)
\]](https://dxdy-03.korotkov.co.uk/f/e/d/d/edd94c8b11d76cd3d48c630f0aab408782.png)
(1)
Заметить же возможность записи векторного уравнения
![\[
{\mathop{\rm grad}\nolimits} \dot u_i = \frac{{\partial \dot u_i }}{{\partial \varsigma }}{\mathop{\rm grad}\nolimits} \varsigma
\] \[
{\mathop{\rm grad}\nolimits} \dot u_i = \frac{{\partial \dot u_i }}{{\partial \varsigma }}{\mathop{\rm grad}\nolimits} \varsigma
\]](https://dxdy-04.korotkov.co.uk/f/f/6/5/f65ea551c248b73505cb404efdd723dd82.png)
, подтверждающей коллинеарность векторов
![\[
{\mathop{\rm grad}\nolimits} \dot u_i
\] \[
{\mathop{\rm grad}\nolimits} \dot u_i
\]](https://dxdy-02.korotkov.co.uk/f/d/9/e/d9e847ea6a8d1701f216544b1384e60682.png)
и
![\[
{\mathop{\rm grad}\nolimits} \varsigma
\] \[
{\mathop{\rm grad}\nolimits} \varsigma
\]](https://dxdy-02.korotkov.co.uk/f/1/1/1/111a0d1fadfcb4de125f7d2bbac619ad82.png)
, легко только после анализа развернутого по компонентам представления уравнений (1) и последующего их группирования. Если Вы это заметили, выполняя преобразования в уме, то я снимаю шляпу! Однако вывод об ошибочности моего доказательства, который Вы сделали, мне кажется, требует пересмотра. Ведь посудите сами. Формула (1) справедлива, если компоненты вектор-функции могут быть представлены в виде

. Значит, Вы сами это утверждаете, только в этом случае возможно соотношение
![\[
{\mathop{\rm grad}\nolimits} \dot u_i = \frac{{\partial \dot u_i }}{{\partial \varsigma }}{\mathop{\rm grad}\nolimits} \varsigma
\] \[
{\mathop{\rm grad}\nolimits} \dot u_i = \frac{{\partial \dot u_i }}{{\partial \varsigma }}{\mathop{\rm grad}\nolimits} \varsigma
\]](https://dxdy-04.korotkov.co.uk/f/f/6/5/f65ea551c248b73505cb404efdd723dd82.png)
, вытекающее из этой формулы. В таком случае,
если указанного соотношения нет, то и компоненты вектор-функции, действительно, не могут быть представлены в виде 
. Так вот теперь давайте и посмотрим доказательство того, что выбранную вектор-функцию возможно представить таким образом.
И если это доказательство справедливо, то и упомянутое соотношение между градиентами обязательно для выбранной вектор-функции .
Алексей К. писал(а):
Вам эти точечки над

действительно необходимы?
Вы вводите новое утверждение, новые символы, и зачем-то СРАЗУ усложняете обозначения…ничем не обоснованные точечки режут глазки.
Если это упомянутый
Вами непрофессионализм --- то, наверное, надо исправить.
Если это специально, то надо там же пояснить. Так мне кажется.
Во- первых, именно такие обозначения были приняты мною при подготовке учебного пособия
http://a-kozachok1.narod.ru/paradox.rus.pdf . И поскольку материалы обсуждаемой темы войдут в расширенное издание этого пособия (3-я часть), то менять символику обременительно. Во-вторых, такие обозначения мною сознательно позаимствованы, поскольку они позволяют обучаемым быстрее усвоить, что компоненты скорости
![\[
\dot u_i
\] \[
\dot u_i
\]](https://dxdy-02.korotkov.co.uk/f/d/e/9/de95945846fb076b9a6812c4de42626882.png)
- это первые производные по времени именно от компонент перемещения
![\[
u_i
\] \[
u_i
\]](https://dxdy-03.korotkov.co.uk/f/2/7/c/27cf5e200a60afd52b840c0a1ee0692582.png)
,
а компоненты ускорения- вторые
![\[
\ddot u_i
\] \[
\ddot u_i
\]](https://dxdy-01.korotkov.co.uk/f/c/1/2/c12fb5c82d3eaba9a0ccb65552e78d3982.png)
. К тому же компоненты перемещения в классической теории как правило обозначаются
![\[
u_i
\] \[
u_i
\]](https://dxdy-03.korotkov.co.uk/f/2/7/c/27cf5e200a60afd52b840c0a1ee0692582.png)
.
Вашу подсказку пока не освоил. Но мне кажется что-то следует делать либо в настройках транслятора MathType либо на сервере форума, а каждый раз изменять вручную- вряд ли.
С уважением, Александр Козачок