Согласно правилам взятия полной производной сложной функции по параметру t имеем:
Нажмите для просмотра прикрепленного файла
Для выяснения вида (векторное или скалярное) имеющихся произведений П рассмотрим полную производную по времени от векторных полей по определению классической теории поля, согласно теореме единственности векторного анализа - теореме Гельмгольца.
Цитата
Теорема Гельмгольца
Всякое однозначное и непрерывное векторное поле F, обращающееся в нуль в бесконечности, может быть представлено, и притом единственным образом, в виде суммы градиента некоторой скалярной функции φ и и ротора некоторой векторной функции А, дивергенция которой равна нулю.
F = gradφ + rotA, divA ≡ 0.
Функция φ называется скалярным потенциалом поля F, а функция А - векторным потенциалом этого поля.
В силу аддитивности операции "производная" рассмотрим случай чисто градиентного поля.Всякое однозначное и непрерывное векторное поле F, обращающееся в нуль в бесконечности, может быть представлено, и притом единственным образом, в виде суммы градиента некоторой скалярной функции φ и и ротора некоторой векторной функции А, дивергенция которой равна нулю.
F = gradφ + rotA, divA ≡ 0.
Функция φ называется скалярным потенциалом поля F, а функция А - векторным потенциалом этого поля.
Т.е. F = gradφ.
Тогда Нажмите для просмотра прикрепленного файла.
Но т.к. векторное произведение векторного оператора набла на градиент φ есть ротор градиента, что тождественно равно нулю, то не тождественно нулевое решение будет только от скалярного произведения векторного оператора набла на градиент φ.
Как следствие определилось и второе произведение, как скаляр на вектор.
Окончательно получаем:
Нажмите для просмотра прикрепленного файла.
Продолжение следует.