Уравнение неразрывности характеризует скалярную величину
(массу). Объем можно представить как
. Тогда, если
– плотность, то
. Масса жидкости
может изменяться за время
только за счет изменения ее плотности. Изменение количества
жидкости равно
. Это означает, что в элемент объема втекает больше жидкости,
чем вытекает, но это изменение должно равняться избытку втекающей жидкости над
вытекающей, т.е. величине
![]()
В результате получим уравнение:
, или в кратком виде:
Если
, значит
.
Мы получили полную систему уравнений Навье-Стокса:

Для идеальной несжимаемой жидкости получаем:
, где
– некоторая сила,
– функция от
переменных
. Пусть в формуле (первой формуле системы
Навье-Стокса)
– внешние силы. Тогда
частный случай этой формулы может выглядеть так:

Для второй формулы системы Навье-Стокса:
![]()
![]()
Проинтегрировав (первую формулу системы Навье-Стокса) получим Лапласиан.

– уравнение Эйлера
, где диффузионная
составляющая отсутствует, присутствует конвекция.
Через
обозначим часть
границы цилиндра, состоящего из нижнего основания и боковой поверхности.
– конечная область в
3-х мерном пространстве.
Рассмотрим задачу:
![]()
Пусть процесс, описываемый этим уравнением, удовлетворяет
начальному условию
.
![]()
.
– четырехмерный
цилиндр, ограниченный снизу и сверху плоскостями
,
– часть цилиндра
,
– диаметр области ![]()
Пусть функция
, удовлетворяющая однородному параболическому уравнению
внутри цилиндра
и непрерывная вплоть до
его границы принимает наибольшее (наименьшее) значение либо при
, либо на боковой
поверхности цилиндра
при ![]()
Доказательство от противного (теоремы о
максимуме):
Пусть
наибольшее значение
в цилиндре
.
– наибольшее значение на границе
. Допустим, что существует такая функция
, для которой
, тогда пусть эта
функция принимает значение
в некоторой точке
.
Введем функцию ![]()
На боковой поверхности цилиндра и на его нижнем основании
функция ![]()
В точке
. Функция
также как и функция
не принимает
наибольшее значение ни на боковой поверхности, ни на нижнем основании. В силу непрерывности
, она принимает наибольшее значение в некоторой точке
, поэтому в этой
точке вторые производные
будут не положительны
и
, причем
.
В точке
должно выполняться
.
Из
следует, что
(так как добавка от
не зависит).
.
(с учетом того, что из себя представляет
и так как
) получаем
![]()
Получили противоречие условию
. Теорема доказана.
Теорема свидетельствует о том, что:
1)
Решение первой краевой задачи – единственное в
цилиндре
.
2)
Решение первой краевой задачи параболического типа
непрерывно от начальных и краевых условий