On the non-stationary Navier-Stokes flows and reiterated homogenization

기술적 요약: 비정상 나비에-스토크스 유형 유동과 반복적 동질화에 관하여

문제 제기
본 논문은 고정된 유계 영역 $\Omega \subset \mathbb{R}^N$ (구체적으로 $N=2$) 에서 시간 구간 $]0, T[$에 걸쳐 정의된 비정상 (시간 의존적) 나비에 - 스토크스 유형 방정식의 결정론적 반복적 동질화를 조사한다. 지배 방정식은 주기적으로 급격하게 변하는 점성 계수를 갖는 유체 흐름을 기술한다. 이러한 계수의 특정 스케일링은 두 가지 구별되는 미시적 스케일 $\varepsilon$과 $\varepsilon^2$을 포함하며, 이는 다음과 같은 정의를 이끈다:
$$a^\varepsilon_{ij}(x) = a_{ij}\left(\frac{x}{\varepsilon}, \frac{x}{\varepsilon^2}\right)$$
여기서 $a_{ij}$는 두 주기성 셀 $Y \times Z$의 곱 위에 정의된 연속, 유계, 대칭, 그리고 균일 타원 함수들이다. 본 연구는 속도 $u^\varepsilon$과 압력 $p^\varepsilon$에 대한 코시 - 디리클레 경계값 문제에 초점을 맞추며, 이는 다음 방정식으로 특징지어진다:
$$\frac{\partial u^\varepsilon}{\partial t} + P^\varepsilon u^\varepsilon + \sum_{j=1}^N u^\varepsilon_j \frac{\partial u^\varepsilon}{\partial x_j} + \nabla p^\varepsilon = f, \quad \text{div } u^\varepsilon = 0$$
여기서 초기 조건과 경계 조건은 모두 0 이다. 주요 목적은 매개변수 $\varepsilon \to 0$일 때 해 $(u^\varepsilon, p^\varepsilon)$의 거시적 행동을 결정하는 것이다.

방법론
분석은 여러 진동 스케일을 처리하도록 설계된 표준 2-스케일 수렴 기법의 확장인 반복적 2-스케일 수렴 방법에 의존한다. 방법론은 다음 단계들을 통해 진행된다:

1. 함수적 틀: 문제는 적절한 소볼레프 공간, 구체적으로 $C(0, T; H)$에 연속적으로, $L^2(0, T; H)$에 콤팩트하게 매립되는 $W(0, T)$에서 공식화된다. 비압축성 제약을 처리하기 위해 발산이 0 인 벡터장 공간 $V$와 그 쌍대 공간이 활용된다.
2. 사전 추정: 연산자 $P^\varepsilon$과 관련된 쌍선형 형식의 강제성과 대류항을 나타내는 삼선형 형식의 성질을 이용하여, 저자들은 $W(0, T)$에서의 해의 열 $(u^\varepsilon)$과 $L^2(0, T; L^2(\Omega))$에서의 $(p^\varepsilon)$에 대한 균일한 상계를 확립한다.
3. 콤팩트성과 수렴: 반복적 2-스케일 수렴의 콤팩트성 결과 (정리 1 및 2) 를 활용하여, 저자들은 극한 삼중항 $(u_0, u_1, u_2)$로 수렴하는 부분열을 추출한다. 여기서 $u_0$는 거시적 극한을 나타내고, $u_1$과 $u_2$는 각각 스케일 $y = x/\varepsilon$과 $z = x/\varepsilon^2$에 연관된 1 차 및 2 차 미시적 보정항을 나타낸다.
4. 동질화 모델 유도: 특정 진동 시험 함수로 변분 형식을 테스트하고 극한을 취함으로써, 저자들은 결합된 방정식 체계를 유도한다. 이는 주기성 셀 $Y$와 $Z$에서 국소 셀 문제를 풀어 보정 함수 $\chi_{ik}$와 $\eta_{ik}$를 정의하는 것을 포함한다.
5. 보정항 분석: 영역과 데이터에 대한 추가적인 정칙성 가정 하에, 논문은 보정 결과를 유도하여 원래 해의 기울기가 거시적 해의 기울기와 스케일링된 미시적 보정항의 기울기들의 합으로 근사될 수 있음을 증명한다.

주요 기여 및 결과

• 거시적 동질화 모델: 논문은 나비에 - 스토크스 유형의 유일한 거시적 극한 문제 (정리 5) 를 유도한다. 거시적 속도 $u_0$와 압력 $p_0$에 대한 극한 방정식은 다음과 같다:
  $$\frac{\partial u_0}{\partial t} + Q u_0 + \sum_{j=1}^N u^0_j \frac{\partial u_0}{\partial x_j} + \nabla p_0 = f$$
  여기서 $Q$는 상수 계수 $q_{ijkh}$를 갖는 동질화된 미분 연산자이다. 이러한 계수들은 원래 계수 $a_{ij}$와 $Y$ 및 $Z$에서의 셀 문제 해들을 포함하는 적분을 통해 명시적으로 정의된다.
• 유일성: 논문은 유도된 동질화 문제의 해의 유일성을 확립하여 (명제 8), 거시적 모델의 잘-정의됨 (well-posedness) 을 보장한다.
• 수렴 정리: $u^\varepsilon$이 $W(0, T)$에서 $u_0$로 약수렴하며, 기울기들이 2-스케일 의미에서 반복적으로 거시적 및 미시적 기울기의 합으로 수렴함이 증명된다 (정리 4).
• 보정항 결과: 기울기에 대한 강한 수렴 결과가 확립된다 (정리 6). 구체적으로, 적절한 정칙성 가정 하에 실제 기울기 $\nabla u^\varepsilon$과 근사치 $\nabla u_0 + \varepsilon \nabla_y u_1 + \varepsilon^2 \nabla_z u_2$ 사이의 오차는 $\varepsilon \to 0$일 때 $L^2$ 노름에서 사라진다.

의의 및 범위
저자는 이 작업을 복잡한 다중 스케일 점성 구조를 갖는 나비에 - 스토크스 유형 유동의 수학적 분석에 대한 기여로 위치시킨다. 논문은 결정론적 설정에서 특정 스케일링 $a_{ij}(x/\varepsilon, x/\varepsilon^2)$을 갖는 비정상 (비정상) 비선형 유체 유동의 반복적 동질화를 다루는 첫 번째 연구라고 주장한다.

본 연구는 공간적으로 변하는 점성을 갖는 다상 유동을 모델링할 필요성에 의해 동기가 부여되었다. 저자는 접근법이 점성의 더 일반적인 (비주기적) 행동에 맞게 조정될 수 있음을 언급하지만, 현재 작업은 엄격하게 주기적 설정으로 제한된다.

논문은 시간 의존 계수에 관하여 겸손한 범위를 유지한다. 저자는 점성 계수 $a_{ij}$가 시간 변수가 아닌 공간 변수에만 의존한다고 가정한다고 명시적으로 진술한다. 결론부는 이러한 결과를 시간 의존 점성으로 확장하는 것이 문헌에서 그러한 경우에 대한 확립된 유일성과 추정치의 부재로 인해 어려운 작업임을 인정하며, 현재 동질화 과정은 만약 이러한 추정치와 유일성 결과가 확립될 수 있다면 유효하게 유지된다고 지적한다.

이 작업은 저자의 정상 상태 유동 및 단일 스케일 동질화에 대한 이전 연구들과 다른 연구자들이 개발한 기초적인 반복적 2-스케일 수렴 이론 (참조 [5], [6], [8]) 에 기반을 둔다. 이러한 결과는 복잡하고 급격하게 진동하는 유체 역학을 더 단순하고 효과적인 거시적 모델로 근사하기 위한 엄밀한 수학적 기초를 제공한다.