Вывод уравнений Навье -Стокса , а также их применение и формулировка для различных семейств жидкостей , является важным упражнением в гидродинамике с приложениями в машиностроении , физике , химии , теплопередаче и электротехнике . Доказательство, объясняющее свойства и границы уравнений, такие как существование и гладкость Навье-Стокса , является одной из важных нерешенных проблем в математике . [1]
Уравнения Навье–Стокса основаны на предположении, что жидкость в интересующем масштабе является континуумом – непрерывной субстанцией, а не дискретными частицами. Другое необходимое предположение заключается в том, что все интересующие поля , включая давление , скорость потока , плотность и температуру, по крайней мере слабо дифференцируемы .
Уравнения выводятся из основных принципов непрерывности массы , сохранения импульса и сохранения энергии . Иногда необходимо рассмотреть конечный произвольный объем, называемый контрольным объемом , к которому могут быть применены эти принципы. Этот конечный объем обозначается Ω , а его ограничивающая поверхность ∂Ω . Контрольный объем может оставаться неподвижным в пространстве или может двигаться вместе с жидкостью.
Изменения свойств движущейся жидкости можно измерить двумя способами. Можно измерить заданное свойство, либо выполняя измерение в фиксированной точке пространства, когда частицы жидкости проходят мимо, либо следуя за пакетом жидкости вдоль его линии тока . Производная поля относительно фиксированного положения в пространстве называется производной Эйлера , тогда как производная, следующая за движущимся пакетом, называется адвективной или материальной (или Лагранжевой [2] ) производной.
Материальная производная определяется как нелинейный оператор :
где u — скорость потока. Первый член в правой части уравнения — это обычная производная Эйлера (производная в фиксированной системе отсчета, представляющая изменения в точке по времени), тогда как второй член представляет изменения величины по положению (см. адвекция ). Эта «специальная» производная на самом деле является обычной производной функции многих переменных по пути, следующему за движением жидкости; ее можно вывести с помощью применения цепного правила , в котором все независимые переменные проверяются на изменение по пути (то есть полной производной ).
Например, измерение изменений скорости ветра в атмосфере можно получить с помощью анемометра на метеостанции или путем наблюдения за движением метеозонда. В первом случае анемометр измеряет скорость всех движущихся частиц, проходящих через фиксированную точку в пространстве, тогда как во втором случае прибор измеряет изменения скорости по мере своего движения вместе с потоком.
Уравнение Навье–Стокса — это специальное уравнение непрерывности . Уравнение непрерывности может быть выведено из принципов сохранения :
Уравнение непрерывности (или закон сохранения ) — это интегральное соотношение, утверждающее, что скорость изменения некоторого интегрированного свойства φ, определенного по контрольному объему Ω, должна быть равна скорости, с которой оно теряется или приобретается через границы Γ объема, плюс скорость, с которой оно создается или потребляется источниками и стоками внутри объема. Это выражается следующим интегральным уравнением непрерывности:
где u — скорость потока жидкости, n — единичный нормальный вектор, направленный наружу, а s представляет собой источники и стоки в потоке, при этом стоки считаются положительными.
Теорему о расходимости можно применить к поверхностному интегралу , превратив его в объемный интеграл :
Применяем теорему Рейнольдса о переносе к интегралу слева, а затем объединяем все интегралы:
Интеграл должен быть равен нулю для любого контрольного объема; это может быть верно только в том случае, если сама подынтегральная функция равна нулю, так что:
Из этого ценного соотношения (очень общее уравнение непрерывности ) можно кратко записать три важных понятия: сохранение массы, сохранение импульса и сохранение энергии. Справедливость сохраняется, если φ является вектором, в этом случае вектор-векторное произведение во втором члене будет диадой .
Массу также можно рассматривать. Когда интенсивное свойство φ рассматривается как масса, путем подстановки в общее уравнение непрерывности и принятия s = 0 (нет источников или стоков массы):
где ρ — плотность массы (масса на единицу объема), а u — скорость потока. Это уравнение называется уравнением неразрывности массы или просто уравнением неразрывности. Это уравнение обычно сопровождает уравнение Навье–Стокса.
В случае несжимаемой жидкости , Дρ/Дт = 0 (плотность по пути элемента жидкости постоянна) и уравнение сводится к:
что фактически является утверждением о сохранении объема.
Общее уравнение импульса получается, когда соотношение сохранения применяется к импульсу. Когда интенсивное свойство φ рассматривается как поток массы (также плотность импульса ), то есть произведение плотности массы и скорости потока ρ u , путем подстановки в общее уравнение непрерывности:
где u ⊗ u — диада , частный случай тензорного произведения , результатом которого является тензор второго ранга; дивергенция тензора второго ранга снова является вектором (тензором первого ранга). [3]
Используя формулу для расхождения диады,
тогда мы имеем
Обратите внимание, что градиент вектора является частным случаем ковариантной производной , операция приводит к тензорам второго ранга; [3] за исключением декартовых координат, важно понимать, что это не просто поэлементный градиент. Перестановка:
Самое левое выражение, заключенное в скобки, по непрерывности масс (показано ранее) равно нулю. Заметим, что то, что остается в левой части уравнения, является материальной производной скорости потока:
Похоже, это просто выражение второго закона Ньютона ( F = m a ) в терминах объемных сил вместо точечных сил. Каждый член в любом случае уравнений Навье–Стокса является объемной силой. Более короткий, хотя и менее строгий способ получить этот результат — применить цепное правило к ускорению:
где u = ( u , v , w ) . Причина, по которой это «менее строго», заключается в том, что мы не показали, что выбор
верно; однако это имеет смысл, поскольку при таком выборе пути производная «следует» за жидкой «частицей», и для того, чтобы второй закон Ньютона работал, силы должны суммироваться вслед за частицей. По этой причине конвективная производная также известна как производная частицы.
Общая плотность источника импульса s, рассмотренная ранее, сначала становится конкретной, разбивая ее на два новых термина: один для описания внутренних напряжений, а другой для внешних сил, таких как гравитация. Рассматривая силы, действующие на небольшой куб в жидкости, можно показать, что
где σ — тензор напряжений Коши , а f учитывает присутствующие объемные силы. Это уравнение называется уравнением импульса Коши и описывает нерелятивистское сохранение импульса любого континуума, сохраняющего массу. σ — симметричный тензор второго ранга, заданный его ковариантными компонентами. В ортогональных координатах в трех измерениях он представлен как матрица 3 × 3 :
где σ — нормальные напряжения , а τ — касательные напряжения . Эта матрица делится на два члена:
где I — единичная матрица 3 × 3 , а τ — девиаторный тензор напряжений . Обратите внимание, что механическое давление p равно отрицательному значению среднего нормального напряжения: [4]
Мотивация для этого заключается в том, что давление обычно является интересующей переменной, а также это упрощает применение к конкретным семействам жидкостей в дальнейшем, поскольку самый правый тензор τ в уравнении выше должен быть равен нулю для жидкости в состоянии покоя. Обратите внимание, что τ не оставляет следов . Уравнение Коши теперь можно записать в другой, более явной форме:
Это уравнение все еще неполное. Для завершения необходимо сделать гипотезы о формах τ и p , то есть необходим конститутивный закон для тензора напряжений, который может быть получен для определенных семейств жидкостей, и о давлении. Некоторые из этих гипотез приводят к уравнениям Эйлера (гидродинамика) , другие — к уравнениям Навье–Стокса. Кроме того, если поток предполагается сжимаемым, потребуется уравнение состояния, которое, вероятно, также потребует формулировки сохранения энергии.
Общая форма уравнений движения не "готова к использованию", тензор напряжений пока неизвестен, поэтому требуется больше информации; эта информация обычно представляет собой некоторые знания о вязком поведении жидкости. Для различных типов течения жидкости это приводит к определенным формам уравнений Навье–Стокса.
Формулировка для ньютоновских жидкостей вытекает из наблюдения, сделанного Ньютоном , что для большинства жидкостей
Чтобы применить это к уравнениям Навье–Стокса, Стокс сделал три предположения:
В приведенном выше списке излагается классический аргумент [5] о том, что тензор скорости деформации сдвига ((симметричная) сдвиговая часть градиента скорости) является чистым тензором сдвига и не включает в себя какую-либо часть притока/оттока (любую часть сжатия/расширения). Это означает, что его след равен нулю, и это достигается путем вычитания ∇ ⋅ u симметричным образом из диагональных элементов тензора. Компрессионный вклад в вязкое напряжение добавляется как отдельный диагональный тензор.
Применение этих предположений приведет к:
или в тензорной форме
То есть, девиаторика тензора скорости деформации отождествляется с девиаторикой тензора напряжений с точностью до множителя μ . [6]
δ ij — символ Кронекера . μ и λ — константы пропорциональности, связанные с предположением, что напряжение зависит от деформации линейно; μ называется первым коэффициентом вязкости или сдвиговой вязкостью (обычно его просто называют «вязкостью»), а λ — вторым коэффициентом вязкости или объемной вязкостью (и он связан с объемной вязкостью ). Значение λ , которое создает вязкий эффект, связанный с изменением объема, очень трудно определить, даже его знак неизвестен с абсолютной уверенностью. Даже в сжимаемых потоках член, включающий λ , часто пренебрежимо мал; однако иногда он может быть важен даже в почти несжимаемых потоках и является предметом споров. При принятии ненулевым, наиболее распространенным приближением является λ ≈ − 2/3 μ . [7]
Простая подстановка τ ij в уравнение сохранения импульса даст уравнения Навье–Стокса , описывающие сжимаемую ньютоновскую жидкость:
Сила тела была разложена на плотность и внешнее ускорение, то есть f = ρ g . Соответствующее уравнение непрерывности массы имеет вид:
В дополнение к этому уравнению необходимо уравнение состояния и уравнение сохранения энергии. Уравнение состояния, которое следует использовать, зависит от контекста (часто это закон идеального газа ), сохранение энергии будет выглядеть так:
Здесь h — удельная энтальпия , T — температура , а Φ — функция, представляющая рассеяние энергии из-за вязкостных эффектов:
При наличии хорошего уравнения состояния и хороших функций зависимости параметров (таких как вязкость) от переменных эта система уравнений, по-видимому, правильно моделирует динамику всех известных газов и большинства жидкостей.
Для особого (но очень распространенного) случая несжимаемого потока уравнения импульса значительно упрощаются. Используя следующие предположения:
Это дает несжимаемые уравнения Навье-Стокса , описывающие несжимаемую ньютоновскую жидкость:
тогда, например, рассматривая вязкие члены уравнения импульса x , мы имеем:
Аналогично для направлений импульса y и z имеем μ ∇ 2 v и μ ∇ 2 w .
Приведенное выше решение является ключом к выводу уравнений Навье–Стокса из уравнения движения в динамике жидкости, когда плотность и вязкость постоянны.
Неньютоновская жидкость — это жидкость , свойства потока которой каким-либо образом отличаются от свойств потока ньютоновских жидкостей . Чаще всего вязкость неньютоновских жидкостей является функцией скорости сдвига или истории скорости сдвига. Однако существуют некоторые неньютоновские жидкости с вязкостью, независимой от сдвига, которые, тем не менее, демонстрируют нормальную разницу напряжений или другое неньютоновское поведение. Многие солевые растворы и расплавленные полимеры являются неньютоновскими жидкостями, как и многие распространенные вещества, такие как кетчуп , заварной крем , зубная паста , крахмальные суспензии, краска , кровь и шампунь . В ньютоновской жидкости связь между напряжением сдвига и скоростью сдвига является линейной, проходящей через начало координат, причем константа пропорциональности является коэффициентом вязкости. В неньютоновской жидкости связь между напряжением сдвига и скоростью сдвига иная и может даже зависеть от времени. Изучение неньютоновских жидкостей обычно называется реологией . Ниже приведено несколько примеров.
В жидкостях Бингама ситуация несколько иная:
Это жидкости, способные выдерживать некоторое напряжение, прежде чем они начнут течь. Некоторые распространенные примеры — зубная паста и глина .
Жидкость степенного закона — это идеализированная жидкость , для которой касательное напряжение τ определяется выражением
Эта форма полезна для аппроксимации всех видов общих жидкостей, включая разжижающие сдвиг жидкости (например, латексная краска) и загустевающие сдвиг жидкости (например, смесь кукурузного крахмала с водой).
При анализе потока часто желательно сократить количество уравнений и/или количество переменных. Уравнение Навье–Стокса для несжимаемой жидкости с непрерывностью масс (четыре уравнения с четырьмя неизвестными) можно свести к одному уравнению с одной зависимой переменной в 2D или одному векторному уравнению в 3D. Это возможно благодаря двум тождествам векторного исчисления :
для любого дифференцируемого скаляра φ и вектора A . Первое тождество подразумевает, что любой член в уравнении Навье–Стокса, который может быть представлен как градиент скаляра, исчезнет, когда будет взят ротор уравнения. Обычно давление p и внешнее ускорение g будут устранены, что приведет к (это справедливо как в 2D, так и в 3D):
где предполагается, что все силы тела можно описать как градиенты (например, это верно для гравитации), а плотность была разделена таким образом, что вязкость становится кинематической вязкостью .
Второе тождество векторного исчисления выше утверждает, что дивергенция ротора векторного поля равна нулю. Поскольку уравнение непрерывности (несжимаемой) массы определяет дивергенцию скорости потока, равную нулю, мы можем заменить скорость потока ротором некоторого вектора ψ, так что непрерывность массы всегда будет удовлетворена:
Итак, пока скорость потока представлена через u = ∇ × ψ , непрерывность массы безусловно удовлетворяется. С этой новой зависимой векторной переменной уравнение Навье–Стокса (с ротором, взятым как выше) становится одним векторным уравнением четвертого порядка, больше не содержащим неизвестную переменную давления и больше не зависящим от отдельного уравнения непрерывности массы:
Помимо содержания производных четвертого порядка, это уравнение довольно сложное и, таким образом, встречается нечасто. Обратите внимание, что если перекрестное дифференцирование опущено, результатом будет векторное уравнение третьего порядка, содержащее неизвестное векторное поле (градиент давления), которое может быть определено из тех же граничных условий, которые можно было бы применить к уравнению четвертого порядка выше.
Истинная полезность этой формулировки видна, когда поток двумерен по своей природе, а уравнение записано в общей ортогональной системе координат , другими словами, в системе, где базисные векторы ортогональны. Обратите внимание, что это никоим образом не ограничивает применение декартовыми координатами , на самом деле большинство общих систем координат являются ортогональными, включая такие знакомые, как цилиндрические , и такие неясные, как тороидальные .
Скорость трехмерного потока выражается как (обратите внимание, что в обсуждении до сих пор не использовались координаты):
где e i — базисные векторы, не обязательно постоянные и не обязательно нормированные, а u i — компоненты скорости потока; пусть также координаты пространства будут ( x 1 , x 2 , x 3 ) .
Теперь предположим, что поток двумерный. Это не означает, что поток находится в плоскости, а означает, что компонент скорости потока в одном направлении равен нулю, а остальные компоненты не зависят от того же направления. В этом случае (примем компонент 3 равным нулю):
Векторная функция ψ по-прежнему определяется через:
но это должно упроститься в некотором роде также, поскольку поток предполагается двумерным. Если предполагаются ортогональные координаты, то ротор принимает довольно простую форму, и уравнение выше, расширенное, становится:
Рассмотрение этого уравнения показывает, что мы можем положить ψ 1 = ψ 2 = 0 и сохранить равенство без потери общности, так что:
значение здесь в том, что остается только один компонент ψ , так что 2D-поток становится проблемой только с одной зависимой переменной. Перекрестно дифференцированное уравнение Навье–Стокса становится двумя уравнениями 0 = 0 и одним значимым уравнением.
Оставшийся компонент ψ 3 = ψ называется функцией потока . Уравнение для ψ можно упростить, поскольку множество величин теперь будет равно нулю, например:
если масштабные коэффициенты h 1 и h 2 также независимы от x 3 . Также из определения векторного лапласиана
Манипулируя перекрестно-дифференцированным уравнением Навье-Стокса с использованием двух приведенных выше уравнений и различных тождеств [8], в конечном итоге получим одномерное скалярное уравнение для функции потока:
где ∇ 4 — бигармонический оператор . Это очень полезно, поскольку это единое замкнутое скалярное уравнение, которое описывает как сохранение импульса, так и массы в 2D. Единственные другие уравнения, которые требуются этому частному дифференциальному уравнению, — это начальные и граничные условия.
Предположения для уравнения функции потока следующие:
Функция потока имеет некоторые полезные свойства:
Вывод уравнения Навье–Стокса включает рассмотрение сил, действующих на элементы жидкости, так что величина, называемая тензором напряжений, естественным образом появляется в уравнении импульса Коши . Поскольку берется дивергенция этого тензора, принято записывать уравнение полностью упрощенным, так что первоначальный вид тензора напряжений теряется.
Однако тензор напряжений все еще имеет некоторые важные применения, особенно при формулировании граничных условий на границах раздела жидкостей . Вспоминая, что σ = − p I + τ , для ньютоновской жидкости тензор напряжений равен:
Если предположить, что жидкость несжимаема, тензор существенно упрощается. Например, в трехмерных декартовых координатах:
e — тензор скорости деформации , по определению: