Forced self-similar solutions to the stationary Navier--Stokes equations in a half-space

技術要約：半空間における定常ナビエ・ストークス方程式の強制自己相似解

問題設定
本論文は、滑りなし境界条件（no-slip boundary condition）を伴う、3次元上半空間 $\mathbb{R}^3_+ = \{x \in \mathbb{R}^3 : x_3 > 0\}$ における軸対称かつ自己相似的な定常非圧縮ナビエ・ストークス方程式の存在と一意性について調査している。この系は、次数 $-3$の斉次である軸対称な外力$F$によって駆動される。速度場$u$、圧力$p$、および外力$F$ は、以下のスケーリング不変性を満たす：
$$u(\lambda x) = \lambda^{-1}u(x), \quad p(\lambda x) = \lambda^{-2}p(x), \quad F(\lambda x) = \lambda^{-3}F(x).$$
本研究は、与えられた外力に対してこのような解が存在するかどうかを判断することに焦点を当て、特に外力の大きさおよび「スワール（旋回成分）」（方位角方向の速度成分）の存在への依存性を分析する。

手法
著者らは、自己相似および軸対称な構造を利用することで、偏微分方程式を常微分方程式（ODE）へと簡約化する手法を用いている。

1. 座標変換: 速度は、球座標 $(\rho, \theta, \phi)$ を用いて $u = \rho^{-1}(f(\phi)e_\rho + g(\phi)e_\phi + h(\phi)e_\theta)$ と表される。発散ゼロの条件により、径方向成分 $f$ は子午面成分 $g$ を用いて表現できる。
2. スワールなしの簡約: スワールがない場合（$h \equiv 0$）、系は積分され、変数変換 $t = \cos \phi$ および $L(t) = g(\phi)\sin \phi$ を通じて、2階のスカラー方程式へと変換される。これはさらに、リッカチ型初期値問題へと正規化される：
   $$M'(t) + \frac{1}{2}M(t)^2 = \lambda N(t), \quad M(0) = 0,$$
   ここで、$N(t)$ は外力によって決定される汎関数であり、$\lambda$ は外力の大きさを表すスケーリングパラメータである。
3. スワールがある場合: スワールが存在する場合（$Z \neq 0$）、方位角方向の方程式は $h$ を $g$ と外力を用いて解くことで処理される。これにより、子午面プロファイル $g$ からリッカチ型のソース項への非線形写像が定義される。著者らは、有界な角度プロファイルの空間上で縮小写像原理を用いることで、小さな外力に対する存在性を確立している。
4. 円錐への拡張: 解析は、境界条件と積分範囲を調整し、開角 $\phi_0$ への依存性を追跡することで、固体の円錐 $K_{\phi_0}$ へと一般化される。

主要な貢献および結果

• 接線方向の回転（Tangential Curl）が小さい場合の存在性（定理 1.1）:
  外力の接線成分 $(\text{curl } F)_{\text{tan}}$ が単位球面上の $C^0$ ノルムにおいて十分に小さい場合、一意な小さな軸対称自己相似解が存在することを著者らは証明している。

  • 重要な区別: 小ささの条件は、接線方向の回転にのみ適用される。外力の完全な回転（curl）は、任意に大きくてもよい。本論文では、あるパラメータがゼロに近づくにつれて接線方向の回転は消失するものの、半径方向の回転が発散する場合であっても、依然として一意な解が存在するという例が示されている。
  • スワールなしの一意性: 外力がスワールフリー（スワールなし）である場合、任意の軸対称自己しま向解は必然的にスワールフリーであり、かつ一意である。

• スワールフリーの外力に対する大域的存在区間（定理 1.2）:
  固定されたスワールフリーの外力 $F$ に対して、著者らはスケーリングパラメータ $\lambda$ を導入し、外力 $\lambda F$ を持つ系を分析している。彼らは、解がまさにゼロを含む開区間 $(\underline{\lambda}, \overline{\lambda})$ 内の $\lambda$ に対して存在することを証明している。

  • 終点 $\underline{\lambda}$ および $\overline{\lambda}$ の有限性は、外力の成分による明示的な判別式 $N(\phi)$ の符号によって決定される。
  • $N(\phi)$ が符号を変えない場合、一方の終点は有限（解が対称軸で爆発することに対応）であり、もう一方は無限大となる。$N(\phi)$ が符号を変える場合、両方の終点は有限である。$N \equiv 0$ の場合、区間は $(-\infty, +\infty)$ となり、これは自明な解に対応する。

• 固体の円錐への拡張（定理 5.1 および 5.2）:
  結果は、開角 $\phi_0$ を持つ固体の円錐へと拡張される。

  • 接線方向の回転の小ささに関する存在閾値 $\varepsilon(\phi_0)$ は、$\phi_0$ に依存する。
  • 円錐が狭くなるにつれ（$\phi_0 \to 0$）、許容される外力の大きさは大幅に増加する（閾値 $\varepsilon(\phi_0)$ は、スワールフリーの場合は概ね $\phi_0^{-5}$、スワールありの場合は $\phi_0^{-1}$ のスケールで変化する）。これは、より狭い幾何学的形状においては、より大きな外力を維持しながら一意な自己相似解を保持できることを意味している。

• 爆発（Blow-up）の特性付け:
  本論文は、存在区間の境界における解の爆発を特性付けている。有限の終点は、解がちょうど北極（$\phi = 0$）で爆発すること、すなわち、解が対称軸まで連続的に延長できないことを意味する。

意義
本論文は、境界を持つ領域における定常ナビエ・ストークス方程式の理論における根本的な空白を埋めるものである。全空間における斉次解（ランダウ解）はよく理解されているが、境界（この場合は上半空間）の存在は、非ポテンシャルな外力によって維持されない限り、通常、軸対称解を消失させる。
本研究は以下のことを確立している：

1. 特定の斉次外力によって駆動される場合、接線方向の回転が小さい限り、上半空間において自己相似解が存在する。
2. 存在条件は全空間の場合とは異なり、上半空間においては外力に対する大域的な適合条件は要求されない。
3. 外力の大きさと解の存在性の関係は、リッカチ簡約から導出された判別式を通じて正確に定量化されており、スワールフリーの外力に対する存在区間の完全な分類を提供している。
4. ドメインの幾何学的形状（具体的には円錐の開角）は、外力の小ささに関する制約を緩和する上で決定的な役割を果たしており、狭い形状においてより大きな外力を許容する。

著者らは、これらの結果が、特異点の近傍や遠方における流体の挙動およびレギュラリティ理論に対する重要な洞察を提供するものであり、ランダウ型の解に関する古典的な理解を、強制された有界ドメインへと拡張するものであると位置づけている。