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