2025-11-15T21:01:11.518299

On the convective Brinkman-Forchheimer equations

Gautam, Mohan

The convective Brinkman--Forchheimer equations or the Navier--Stokes equations with damping in bounded or periodic domains $\subset\mathbb{R}^d$, $2\leq d\leq 4$ are considered in this work. The existence and uniqueness of a global weak solution in the Leray-Hopf sense satisfying the energy equality to the system: $$\partial_t\boldsymbol{u}-Î¼Î\boldsymbol{u}+(\boldsymbol{u}\cdot\nabla)\boldsymbol{u}+Î±\boldsymbol{u}+Î²|\boldsymbol{u}|^{r-1}\boldsymbol{u}+\nabla p=\boldsymbol{f},\ \nabla\cdot\boldsymbol{u}=0,$$ (for all values of $Î²>0$ and $Î¼>0$, whenever the absorption exponent $r>3$ and $2Î²Î¼\geq 1$, for the critical case $r=3$) is proved. We exploit the monotonicity as well as the demicontinuity properties of the linear and nonlinear operators and the Minty-Browder technique in the proofs. Finally, we discuss the existence of global-in-time strong solutions to such systems in periodic domains.

academic

대류 Brinkman-Forchheimer 방정식에 관하여

기본 정보

논문 ID: 2412.20940
제목: On the convective Brinkman-Forchheimer equations
저자: Sagar Gautam, Manil T. Mohan (Indian Institute of Technology Roorkee)
분류: math.AP (수학 해석)
발표 시간: 2024년 12월 30일
논문 링크: https://arxiv.org/abs/2412.20940

초록

본 논문은 유계 또는 주기 영역 $\mathbb{R}^d$ ( $2\leq d\leq 4$ ) 상의 대류 Brinkman-Forchheimer 방정식(또는 감쇠를 포함한 Navier-Stokes 방정식)을 연구한다. 본 논문은 Leray-Hopf 의미에서 에너지 등식을 만족하는 전역 약해의 존재성과 유일성을 증명한다: $\partial_t u - \mu\Delta u + (u \cdot \nabla)u + \alpha u + \beta|u|^{r-1}u + \nabla p = f, \quad \nabla \cdot u = 0$ 흡수 지수 $r > 3$ 일 때 모든 $\beta > 0$ 과 $\mu > 0$ 에 대해 성립하며, 임계 경우 $r = 3$ 일 때는 $2\beta\mu \geq 1$ 이 필요하다. 증명에서는 선형 및 비선형 연산자의 단조성, 반연속성 및 Minty-Browder 기법을 활용한다. 마지막으로 주기 영역에서 이러한 시스템의 전역 강해 존재성을 논의한다.

연구 배경 및 동기

문제 배경

고전적 Navier-Stokes 방정식의 과제: 3차원 비압축성 Navier-Stokes 방정식의 전역 강해 존재성과 유일성은 수학에서 가장 중요한 미해결 문제 중 하나이다(Clay 밀레니엄 문제).
수정된 모델의 연구: 최근 수학자들은 고전적 3D NSE를 수정하여 전역 가해성을 연구하고 있으며, 다음을 포함한다:
- 감쇠항 $r|u|^{r-1}u$ 를 포함한 Navier-Stokes 방정식
- 길들여진 3D NSE
- 흡수항 $|u|^{r-2}u$ 를 포함한 수정 문제
Brinkman-Forchheimer 방정식의 물리적 의미: 포화 다공질 매질에서 비압축성 유체의 운동을 설명하며, 여기서:
- $\mu$ : Brinkman 계수(유효 점성)
- $\alpha$ : Darcy 계수(다공질 매질 투과성)
- $\beta$ : Forchheimer 계수(재료 공극률에 비례)

연구 동기

이론 완성: 기존 문헌에서 유계 영역의 경우 기술적 어려움이 존재하며, 특히 에너지 등식의 확립
방법 혁신: 단조성 이론과 Minty-Browder 기법을 활용한 새로운 증명 방법 제공
임계 경우 분석: 임계 지수 $r = 3$ 의 경우 및 그 조건에 대한 심층 연구

핵심 기여

전역 약해의 존재 유일성: $r > 3$ 인 경우, 임의의 $\beta > 0$ , $\mu > 0$ 에서 시스템의 전역 약해 존재 유일성 증명
임계 경우의 완전한 분석: 임계 경우 $r = 3$ 에서 조건 $2\beta\mu \geq 1$ 하에 전역 약해의 존재 유일성 확립
에너지 등식의 엄밀한 증명: 특수한 근사 기법(Stokes 연산자 고유함수 기반 근사)을 활용하여 약해가 만족하는 에너지 등식 확립
단조성 이론의 적용: 선형 및 비선형 연산자의 단조성, 반연속성을 체계적으로 확립하고 Minty-Browder 기법 적용
강해의 정칙성 결과: 주기 영역에서 강해의 존재성 및 정칙성 이론 확립

방법 상세 설명

문제 정의

다음 대류 Brinkman-Forchheimer 방정식계를 연구한다: $\begin{cases} \frac{\partial u}{\partial t} - \mu\Delta u + (u \cdot \nabla)u + \alpha u + \beta|u|^{r-1}u + \nabla p = f & \text{in } O \times (0,T) \\ \nabla \cdot u = 0 & \text{in } O \times (0,T) \\ u = 0 & \text{on } \partial O \times (0,T) \\ u(0) = u_0 & \text{in } O \end{cases}$

여기서 $O \subset \mathbb{R}^d$ ( $2 \leq d \leq 4$ )는 유계 영역 또는 주기 영역이다.

함수 공간 설정

핵심 함수 공간을 정의한다:

$V = \{u \in C_0^{\infty}(O,\mathbb{R}^d) : \nabla \cdot u = 0\}$
$H$ : $V$ 의 $L^2(O)$ 에서의 폐포
$V$ : $V$ 의 $H_0^1(O)$ 에서의 폐포
$\tilde{L}^p$ : $V$ 의 $L^p(O)$ 에서의 폐포

연산자 정의 및 성질

1. 선형 연산자

Stokes 연산자: $Au = -P\Delta u$ , 여기서 $P$ 는 Helmholtz-Hodge 직교 투영이다.

2. 쌍선형 연산자

삼선형 형식: $b(u,v,w) = \int_O (u \cdot \nabla)v \cdot w dx$ 대응 연산자: $B(u,v) = P(u \cdot \nabla)v$ , $B(u) = B(u,u)$

3. 비선형 연산자

$C(u) = P(|u|^{r-1}u)$ , $\langle C(u),u \rangle = \|u\|_{L^{r+1}}^{r+1}$ 를 만족한다.

핵심 기술 혁신

1. 단조성 분석

정리 2.5: $r > 3$ 에 대해, 연산자 $G(u) = \mu Au + B(u) + \beta C(u)$ 는 다음을 만족한다: $\langle G(u) - G(v), u - v \rangle + \varrho \|u - v\|_H^2 \geq 0$ 여기서 $\varrho = \frac{r-3}{2\mu(r-1)}\left(\frac{2}{\beta\mu(r-1)}\right)^{\frac{2}{r-3}}$