Zero-viscosity limit of the chemotaxis-Navier-Stokes equations with the Navier-slip boundary condition

技術的概要：ナヴィエ・スリップ境界条件を伴う走性・ナヴィエ・ストークス方程式のゼロ粘性極限

問題の提示
本論文は、二次元半空間（$\mathbb{R}^2_+$）における結合された走性・ナヴィエ・ストークス系に対する粘性消失極限の厳密な数学的正当性を調査する。この系は、細菌密度（$n_\varepsilon$）、酸素濃度（$c_\varepsilon$）、および流体速度（$u_\varepsilon$）の間の相互作用をモデル化しており、粘性および化学拡散係数は小さなパラメータ $\varepsilon$ によってスケーリングされる。本研究は、流体粘性と走性拡散が同時に消失する領域に焦点を当てており、これは細菌懸濁液中の生物対流プラムやマイクロ乱流の実験的観察（例えば、Dombrowski ら [3]、Tuval ら [39]）に動機付けられている。

この極限における中心的な課題は、粘性系におけるノースリップ（またはナヴィエ・スリップ）境界条件と、非粘性極限系におけるフリースリップ境界条件との不一致に起因する境界層の形成である。純粋なナヴィエ・ストークス方程式に対する粘性消失極限は、プリンドル理論やオレイニク、サマルティノ、カフリシュ、マスモディらの研究など、広範に研究されてきたが、結合された走性・流体系は、流体力学と走性凝集との間の強い非線形結合に起因する追加的な特異性を呈する。

手法
著者は、近似解を構築し、収束率を厳密に解析するために、整合漸近展開法を採用する。核心的な手法的構成要素は以下の通りである：

1. 漸近展開: 解は、外層（非粘性）と内層（境界層）の補正に分解される。著者は境界層座標 $z = y/\varepsilon$ を導入し、変数（$n, c, u, p$）を $\varepsilon$ のべき級数として展開する。

   • 展開には、2 次までの境界層補正項（$nb,2, cb,2, ub,2$）が含まれる。
   • 重要な構造的観察として、高次境界層項（例えば $nb,j$）の方程式は、時間微分を失い、空間微分と既知の低次項のみを含む線形関係に退化することが多い。これにより、著者は循環的な依存関係なしにこれらの項を逐次的に解くことができる。

2. 関数空間: 境界層の異方性（法線方向微分が大きいこと）を扱うため、著者は異方性共ノーマルソボレフ空間（$Y^{l,m}$）を利用する。これらの空間は、接線方向（$x$）と法線方向（$y$）の微分に異なる重みを割り当て、境界で消滅する重み関数 $\psi(y)$ を利用する。この枠組みは、ナヴィエ・スリップ条件を伴うナヴィエ・ストークス方程式（マスモディとルース [26]）に用いられた技術から適応されたものであるが、ここでは革新的に走性・流体系に適用されている。

3. 誤差解析: 真の解と構築された近似解との差を誤差変数 $(n, c, u)$ として定義する。著者は誤差方程式の系を導出し、これらの変数に対するエネルギー評価を確立する。

   • 評価には、非線形項、共ノーマル微分に起因する交換子、および走性と流体方程式の間の結合の制御が含まれる。
   • 法線微分を回復するために圧力項と渦度方程式に特別な注意が払われ、境界効果を処理するために修正された渦度変数 $\tilde{\omega} = \omega - \varepsilon^2 \partial_x f e^{-y}$ が利用される。

4. 適切性: 本論文は、外層方程式（走性・オイラー系）および境界層方程式（放物型および輸送方程式の系）の局所適切性を適切なソボレフ空間において確立し、近似解が適切に定義されることを保証する。

主要な貢献と結果
主要な結果は、特定の収束率を伴う粘性消失極限の厳密な証明である。

• 主要定理（定理 2.2）: 特定の有界性を満たす滑らかな近似解の存在を仮定（命題 2.1）し、著者は十分に小さな $\varepsilon$ に対して、走性・ナヴィエ・ストークス系が一意の解を有し、それが異方性共ノーマルソボレフ空間において近似解に収束することを証明する。
• 収束率: 真の解と近似解との誤差は、$L^\infty(0, T; L^2 \cap L^\infty)$ ノルムにおいて $O(\varepsilon^{3/2})$ によって有界である。具体的には：
  $$\|(n_\varepsilon - n_a, c_\varepsilon - c_a, u_\varepsilon - u_a)\|_{L^\infty_t Y^{1,2}} + \|\nabla(n_\varepsilon - n_a)\|_{L^2_t Y^{1,2}} + \dots \leq C \varepsilon^{3/2}$$
  この率は、異なる設定に対して $O(\varepsilon^{1/2})$ を得た Hou [10] などの以前の結果よりも改善されている。
• 境界層構造: 本論文は境界層プロファイルを明示的に構築する。この系における境界層効果は、走性メカニズムのみではなく、流体力学によって誘起されることを示す。流体結合がない場合（$u=0$）、走性変数の境界層補正は恒等的に消滅する。
• 退化の処理: 境界層補正 $nb,j$を解くために用いられた手法は、重要な技術的貢献である。方程式の退化（特定の次数において時間微分が消滅すること）を利用することで、著者は高次の時間依存偏微分方程式を直接解く難しさを回避し、低次項を用いて$nb,j$ を決定することを可能にする線形関係を導出する。

意義と主張
本論文は、粘性消失極限下における走性・流体方程式のクラスに対する境界層漸近構造の最初の厳密な数学的検証を提供すると主張する。

• 数学的新規性: 純粋な流体力学からの粘性消失極限の理論を、複雑な生物・流体結合へと拡張する。この研究は、流体および走性粘性の同時消失によって生じる「極めて特異な領域」に対処する。
• 物理的関連性: この結果は、細菌懸濁液中で観察される境界層およびマイクロ乱流の形成（例えば、ペトリ皿における「白い線」現象）を理解するための数学的基盤を提供する。流体粘性が走性境界層の挙動を決定する上で決定的な役割を果たすことを確認する。
• 手法的進展: 異方性共ノーマルソボレフ空間のこの結合系への成功した適用は、非線形走性項と流体境界層との相互作用を処理するための堅牢な枠組みを示している。

著者は収束率について謙虚であり、法線微分を評価する際の固有の $\varepsilon$ スケーリングの損失および展開の 2 次補正での打ち切りにより、$O(\varepsilon^{3/2})$ の率は展開の理論的潜在能力（2 次まで続く）と比較して最適ではないと指摘している。また、初期データに関する正則性仮定の緩和は、今後の課題として残されていることを認めている。