2025-11-10T03:08:08.537072

Global stability for compressible isentropic Navier-Stokes equations in 3D bounded domains with Navier-slip boundary conditions

Liu, Wu, Zhong
We investigate the global stability of large solutions to the compressible isentropic Navier-Stokes equations in a three-dimensional (3D) bounded domain with Navier-slip boundary conditions. It is shown that the strong solutions converge to an equilibrium state exponentially in the $L^2$-norm provided the density is essentially uniform-in-time bounded from above. Moreover, we obtain that the density converges to its equilibrium state exponentially in the $L^\infty$-norm if additionally the initial density is bounded away from zero. Furthermore, we derive that the vacuum states will not vanish for any time provided vacuum appears (even at a point) initially. This is the first result concerning the global stability for large strong solutions of compressible Navier-Stokes equations with vacuum in 3D general bounded domains.
academic

Глобальная устойчивость сжимаемых изэнтропических уравнений Навье-Стокса в трёхмерных ограниченных областях с граничными условиями скольжения Навье

Основная информация

  • ID статьи: 2504.17136
  • Название: Global stability for compressible isentropic Navier-Stokes equations in 3D bounded domains with Navier-slip boundary conditions
  • Авторы: Ян Лю¹, Го Чжун Ву², Синь Чжун³
    • ¹Колледж математики Чанчуньского педагогического университета
    • ²Колледж математики и статистики Сямэньского политехнического университета
    • ³Колледж математики и статистики Юго-западного университета
  • Классификация: math.AP (математический анализ - уравнения в частных производных)
  • Дата подачи: апрель 2025
  • Ссылка на статью: https://arxiv.org/abs/2504.17136v4

Аннотация

В данной работе исследуется глобальная устойчивость больших решений сжимаемых изэнтропических уравнений Навье-Стокса с граничными условиями скольжения Навье в трёхмерных ограниченных областях. Доказано, что при условии существенной ограниченности плотности сильные решения экспоненциально сходятся к равновесному состоянию в норме L2L^2. Кроме того, когда начальная плотность имеет положительную нижнюю границу, плотность также экспоненциально сходится к равновесию в норме LL^∞. Более того, доказано, что если в начальный момент времени существует вакуум (даже в одной точке), то вакуумное состояние не исчезает ни в какой момент времени. Это первый результат о глобальной устойчивости больших сильных решений сжимаемых уравнений Навье-Стокса с вакуумом в трёхмерных общих ограниченных областях.

Исследовательский контекст и мотивация

Важность проблемы

Сжимаемые уравнения Навье-Стокса описывают движение вязкой сжимаемой жидкости и являются фундаментальными уравнениями в механике жидкости. Исследование долгосрочного поведения и устойчивости решений имеет важное значение для понимания законов движения жидкости.

Ограничения существующих исследований

  1. Ограничения граничных условий: Предыдущие исследования в основном сосредоточены на полном пространстве R3\mathbb{R}^3 или торе T3T^3, исследования в ограниченных областях относительно редки
  2. Типы граничных условий: Большинство исследований рассматривают условия прилипания, тогда как исследования граничных условий скольжения Навье относительно недостаточны
  3. Ограничения размера решений: Многие результаты требуют малости начальных данных, анализ устойчивости больших решений недостаточен
  4. Вакуумное состояние: Случай с вакуумом усложняет математический анализ

Мотивация исследования

  1. Граничные условия скольжения Навье физически более соответствуют некоторым практическим ситуациям, таким как шероховатые границы, пористые границы и т.д.
  2. Геометрическая сложность трёхмерных ограниченных областей требует новых математических методов
  3. Анализ глобальной устойчивости больших решений имеет важное теоретическое значение

Основные вклады

  1. Первый результат: Это первый результат о глобальной устойчивости больших сильных решений сжимаемых уравнений Навье-Стокса с вакуумом в трёхмерных общих ограниченных областях
  2. Экспоненциальная сходимость: Доказана экспоненциальная сходимость решений при надлежащих условиях с явными скоростями затухания
  3. Сохранение вакуума: Доказано, что вакуумное состояние сохраняется — если вакуум появляется, он не исчезает
  4. Технические инновации: Разработаны новые технические методы для работы с граничными условиями скольжения Навье

Подробное описание методов

Постановка задачи

Рассмотрим систему сжимаемых изэнтропических уравнений Навье-Стокса в ограниченной области ΩR3\Omega \subset \mathbb{R}^3:

\rho_t + \text{div}(\rho u) = 0 \\ (\rho u)_t + \text{div}(\rho u \otimes u) + \nabla P = \mu \Delta u + (\mu + \lambda)\nabla \text{div} u \end{cases}$$ где $P = \rho^\gamma$ ($\gamma > 1$), с граничными условиями скольжения Навье: $$u \cdot n = 0, \quad \text{curl} u \times n = 0 \quad \text{на} \quad \partial\Omega$$ ### Определение сильного решения Для $T > 0$ и некоторого $q \in (3,6]$ пара $(\rho,u)$ называется сильным решением, если: - $0 \leq \rho \in C([0,T]; W^{1,q})$, $\rho_t \in C([0,T]; L^q)$ - $u \in C([0,T]; H^2) \cap L^2(0,T; W^{2,q})$ - $\sqrt{\rho}u_t \in L^∞(0,T; L^2)$, $u_t \in L^2(0,T; H^1)$ ### Основные технические методы #### 1. Неравенство энергии-диссипации Конструируется функционал Ляпунова: $$M_1(t) = D_1 \int \left(\frac{1}{2}\rho|u|^2 + G(\rho)\right)dx - \int \rho u \cdot B[\rho - \bar{\rho}_0]dx$$ где $G(\rho)$ — относительная энтропия, $B$ — оператор Богоровского. #### 2. Анализ эффективного вязкого потока Определяется эффективный вязкий поток: $$F = (2\mu + \lambda)\text{div} u - (P - \bar{P})$$ Используется его эллиптическое уравнение: $$\begin{cases} \Delta F = \text{div}(\rho \dot{u}) & \text{в} \quad \Omega \\ \frac{\partial F}{\partial n} = \rho \dot{u} \cdot n & \text{на} \quad \partial\Omega \end{cases}$$ #### 3. Оценки завихренности Для завихренности $\omega = \nabla \times u$ используются граничное условие $(\omega \times n)|_{\partial\Omega} = 0$ и теория div-curl систем: $$\|\nabla u\|_{L^q} \leq C(\|\text{div} u\|_{L^q} + \|\omega\|_{L^q})$$ ### Технические инновации 1. **Обработка граничных интегралов**: Через тождество $u \cdot \nabla u \cdot n = -u \cdot \nabla n \cdot u$ обрабатываются нелинейные члены на границе 2. **Трёхслойная энергетическая оценка**: Применяется трёхуровневая стратегия энергетических оценок: - Первый уровень: экспоненциальное затухание $\|(\rho - \bar{\rho}_0, \sqrt{\rho}u)\|_{L^2}$ - Второй уровень: экспоненциальное затухание $\|\nabla u\|_{L^2}$ - Третий уровень: экспоненциальное затухание $\|\sqrt{\rho}\dot{u}\|_{L^2}$ 3. **Метод траекторий частиц**: Используется метод характеристик для анализа нижней границы плотности ## Основные результаты ### Теорема 1.1 (Глобальная устойчивость) Предположим, что начальные данные удовлетворяют $K = \|\rho_0 - \bar{\rho}_0\|_{L^2} + \|\sqrt{\rho_0}u_0\|_{L^2} + \|\nabla u_0\|_{H^1} < \infty$, и существует глобальное сильное решение, удовлетворяющее $\sup_{t \geq 0}\|\rho(\cdot,t)\|_{L^∞} \leq \hat{\rho}$. Тогда существуют положительные константы $C_1, \eta_1$ такие, что: $$\|(\rho - \bar{\rho}_0, \sqrt{\rho}u, \nabla u, \sqrt{\rho}\dot{u})(\cdot,t)\|_{L^2} \leq C_1 e^{-\eta_1 t}$$ Если дополнительно $\inf_{x \in \Omega}\rho_0(x) \geq \rho_* > 0$, то существуют положительные константы $C_2, \eta_2$ такие, что: $$\|\rho - \bar{\rho}_0\|_{L^∞} \leq C_2 e^{-\eta_2 t}$$ ### Теорема 1.2 (Сохранение вакуума) При условиях теоремы 1.1, если $\inf_{x \in \Omega}\rho_0(x) = 0$, то для всех $t \geq 0$ имеет место: $$\inf_{x \in \Omega}\rho(x,t) = 0$$ ## Схема доказательства ### Первый этап: Базовые энергетические оценки Через метод множителей и оператор Богоровского устанавливается неравенство энергии-диссипации: $$\frac{d}{dt}M_1(t) + \frac{M_1(t)}{D_1} + \frac{\|\text{div} u\|_{L^2}^2 + \|\text{curl} u\|_{L^2}^2}{D_1} \leq 0$$ ### Второй этап: Оценки градиентов Используя уравнение импульса и свойства эффективного вязкого потока, получаем: $$\frac{d}{dt}\Psi(t) + \frac{1}{2}\|\sqrt{\rho}\dot{u}\|_{L^2}^2 \leq C(\|\nabla u\|_{L^2}^2 + \|\nabla u\|_{L^2}^6 + \|\rho - \bar{\rho}_0\|_{L^2}^2)$$ ### Третий этап: Высокопорядковые оценки Через улучшенные энергетические оценки контролируется временное затухание $\|\sqrt{\rho}\dot{u}\|_{L^2}$. ### Четвёртый этап: Оценки в $L^∞$ Используя метод характеристик и оценки нижней границы плотности, доказывается экспоненциальное затухание в норме $L^∞$. ## Технические трудности и инновации ### Основные технические трудности 1. **Обработка граничных членов**: Граничные условия скольжения Навье приводят к ненулевой скорости на границе, требуя специальной обработки граничных интегралов 2. **Нелинейные оценки**: Обработка граничных нелинейных членов типа $\int_{\partial\Omega} F_t(u \cdot \nabla n \cdot u)dS$ 3. **Вакуумные области**: Возможность нулевой плотности усложняет анализ ### Технические инновации 1. **Применение тождеств**: Искусное использование тождеств, вытекающих из $(u \cdot n)|_{\partial\Omega} = 0$ 2. **Многоуровневый метод Ляпунова**: Конструирование многоуровневых энергетических функционалов для пошагового анализа 3. **Анализ траекторий частиц**: Комбинирование лагранжева подхода с анализом эволюции плотности ## Связанные работы ### Историческое развитие 1. **Matsumura-Nishida (1980-е годы)**: Классические результаты для малых возмущений 2. **Lions (1998)**: Существование слабых решений при больших начальных данных 3. **Huang-Li-Xin (2012)**: Существование больших решений для задачи Коши 4. **He-Huang-Wang (2019)**: Устойчивость больших решений в полном пространстве 5. **Cai-Li (2023)**: Существование решений с малой энергией в ограниченных областях ### Вклад данной работы По сравнению с существующими работами, данная статья впервые устанавливает теорию глобальной устойчивости больших решений для сжимаемых уравнений Навье-Стокса в трёхмерных ограниченных областях с граничными условиями скольжения Навье. ## Заключение и обсуждение ### Основные выводы 1. Доказана экспоненциальная устойчивость больших сильных решений сжимаемых уравнений Навье-Стокса с граничными условиями скольжения Навье в трёхмерных ограниченных областях 2. Установлены скорости затухания плотности в нормах $L^2$ и $L^∞$ 3. Раскрыт механизм сохранения вакуумного состояния ### Теоретическое значение 1. **Математическая теория**: Обогащение теории устойчивости уравнений сжимаемой жидкости 2. **Методология**: Разработка новых технических методов для работы со скользящими граничными условиями 3. **Геометрические эффекты**: Выявление влияния геометрии ограниченной области на поведение решений ### Ограничения 1. **Предположение об ограниченности плотности**: Требуется предположение об ограниченности плотности, что может быть трудно проверить на практике 2. **Предположение о сильном решении**: Результаты основаны на существовании сильного решения, что само по себе является сложной проблемой 3. **Специальные граничные условия**: Рассматриваются только специфические формы граничных условий скольжения Навье ### Направления будущих исследований 1. **Ослабление предположений**: Исследование способов ослабления технических предположений, таких как ограниченность плотности 2. **Общие границы**: Рассмотрение более общих граничных условий скольжения 3. **Численная верификация**: Разработка соответствующих численных методов для проверки теоретических результатов ## Глубокая оценка ### Преимущества 1. **Высокая оригинальность**: Впервые решена проблема глобальной устойчивости в данной постановке 2. **Техническая глубина**: Разработаны новые технические методы для работы с граничными условиями 3. **Полнота результатов**: Не только доказана сходимость, но и даны явные скорости затухания 4. **Физическое значение**: Результат о сохранении вакуума имеет важное физическое значение ### Техническая оценка 1. **Методологические инновации**: Конструирование функционала Ляпунова и техники обработки граничных членов обладают инновационностью 2. **Тонкие оценки**: Трёхуровневая стратегия энергетических оценок разумно спроектирована 3. **Строгое обоснование**: Математические доказательства логически ясны, технические детали обработаны надлежащим образом ### Недостатки 1. **Сильные предположения**: Предположение об ограниченности плотности является физически ограничивающим 2. **Ограниченная область применения**: Результаты ограничены специфическими граничными условиями и типами областей 3. **Отсутствие численной верификации**: Отсутствуют численные эксперименты, подтверждающие теоретические результаты ### Оценка влияния 1. **Теоретический вклад**: Важный вклад в теорию устойчивости сжимаемых жидкостей 2. **Ценность методов**: Разработанные технические методы могут быть применены к связанным задачам 3. **Основа для дальнейших исследований**: Результаты создают теоретическую базу для дальнейших исследований ### Области применения 1. **Теоретические исследования**: Теория уравнений в частных производных и математическая теория механики жидкости 2. **Численный анализ**: Теоретическое обоснование долгосрочного поведения численных методов 3. **Инженерные приложения**: Теоретическое руководство для задач механики жидкости с граничными условиями скольжения ## Библиография Статья цитирует 44 связанные работы, охватывающие основные этапы развития теории сжимаемых уравнений Навье-Стокса, от классических работ Matsumura-Nishida до недавних исследований. Обзор литературы является достаточно полным. --- **Общая оценка**: Это высококачественная теоретическая математическая работа, достигшая важного прогресса в теории устойчивости уравнений сжимаемой жидкости. Хотя технические предположения достаточно сильны, решаемая проблема имеет важное теоретическое значение, а разработанные методы обладают инновационностью и потенциалом для обобщения.