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

技術サマリー：非定常ナビエ・ストークス型流れと繰返し均質化について

問題設定
本論文は、固定された有界領域 $\Omega \subset \mathbb{R}^N$（具体的には $N=2$）上で定義された非定常（時間依存型）ナビエ・ストークス型方程式の、時間区間 $]0, T[$ における決定論的な繰返し均質化を調査する。支配方程式は、周期的に急速に変動する粘性係数を持つ流体流れを記述する。これらの係数の特定のスケーリングは、2 つの異なる微視的スケール $\varepsilon$ と $\varepsilon^2$ を含み、以下の定義に至る：
$$a^\varepsilon_{ij}(x) = a_{ij}\left(\frac{x}{\varepsilon}, \frac{x}{\varepsilon^2}\right)$$
ここで、$a_{ij}$ は 2 つの周期性セル $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$$
初期条件および境界条件はゼロとする。主な目的は、パラメータ $\varepsilon \to 0$ における解 $(u^\varepsilon, p^\varepsilon)$ の巨視的挙動を決定することである。

手法
解析は、複数の振動スケールを扱うように設計された標準的な 2 スケール収束法の拡張である繰返し 2 スケール収束法に依存する。手法は以下の手順で進行する：

1. 関数空間の枠組み: 問題は適切なソボレフ空間、具体的には $W(0, T)$ で定式化され、これは $C(0, T; H)$ に連続的に埋め込まれ、$L^2(0, T; H)$ にコンパクトに埋め込まれる。発散フリーのベクトル場である空間 $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）、巨視的モデルの適切性を保証する。
• 収束定理: $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}$ は時間ではなく空間変数のみに依存すると仮定しているとしている。結論において、これらの結果を時間依存粘性に拡張することは、文献においてそのような場合に対する確立された一意性と評価の欠如により困難な課題であると認められており、現在の均質化プロセスは、それらの評価と一意性の結果が確立されることを前提として有効であるとされている。

この研究は、著者の定常流れおよび単一スケール均質化に関する先行研究、ならびに他の研究者（[5], [6], [8] と引用）によって開発された基礎的な繰返し 2 スケール収束理論に基づいている。これらの結果は、複雑で急速に振動する流体力学を、より単純で実効的な巨視的モデルで近似するための厳密な数学的基盤を提供する。