Large time decay of the Oseen flow in exterior domains subject to the Navier slip-with-friction boundary condition

技術要約：摩擦を伴うナビエ・スリップ境界条件下の外部領域におけるオーセーン流の大きな時間減衰

問題設定
本論文は、有界な障害物の補集合である3次元外部領域 $\Omega$ における、定常状態の線形化であるオーセーン流（Oseen flow）の漸近挙動を調査している。流体は粘性があり、非圧縮である。本研究は、障害物の境界 $\partial\Omega$ 上でのナビエ・スリップ・ウィズ・フリクション（摩擦を伴うナビエ・スリップ）境界条件、および空間無限遠における規定された流出速度 $u_\infty$ に従う系に焦点を当てている。

摂動速度 $u$ と圧力 $p$ に関する定常状態 $u_\infty$ 周りの支配方程式は、以下のオーセーン初期値問題として与えられる：
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{in } \Omega \times (0, \infty),$$
ここで $\eta = -u_\infty$ である。境界条件は以下の通りである：
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
ここで $\nu$ は外向き単位法線、$Du$は対称勾配、$\alpha(x) \geq 0$は摩擦係数、および添え字$\tau$ は接線成分を表す。

主な目的は以下の二点である：

1. 境界の幾何学的構造、摩擦係数 $\alpha$、および流出 $\eta$ の影響下における、複素平面上の原点付近でのスペクトル特性を分析することにより、関連するオーセーン作用素 $L$ の $L^q$ フレームワークにおけるレゾルベント集合を特徴付けること。
2. 非線形ナビエ・ストークス系の定常状態付近における大域的な適切性を証明するために不可欠な、$L^q$-$L^r$ 減衰評価をオーセーン半群 $e^{-tL}$ に対して確立すること。

手法
分析には、以下の構成によるスペクトル理論、関数解析、およびエネルギー法の組み合わせが用いられている：

1. レゾルベント分析と一意性： 本論文ではまず、特定の関数クラス内におけるレゾルベント系 $(\lambda + L)u = f$ の解の一意性を確立する。これには、方程式に解を乗じて領域全体で積分することによるエネルギー評価の導出が含まれる。ナビエ条件から生じる境界項の処理が重要なステップとなる。著者らは、変形テンソル $Du$を勾配$\nabla u$に関連付けるために、境界$\partial\Omega$ のワインガ滕写像（Weingarten map）を利用する。具体的には、以下の恒等式を用いる：
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   ここで $-\nabla N$ はワインガ滕写像であり、$\kappa(x)$ はその最小固有値（主曲率に関連）を表す。この幾何学的な項により、エネルギー恒等式の実部が非負となる条件を導き出すことができ、一意性が保証される。

2. パラメトリックス（近似解）の構成： 外部領域におけるレゾルベントを構成するために、カットオフ手順を用いる。全空間 $\mathbb{R}^3$ の解作用素（オーセーン・レゾルベント）と、同一の境界条件に従う有界な内部領域の解作用素を組み合わせる。パッチを当てた解のダイバージェンスを補正し、ソレノイダル条件を満たすために、環状領域においてボゴフスキー作用素（Bogovskii operator）が用いられる。これにより、コンパクト摂動作用素 $T_\eta(\lambda)$ を含むレゾルベントの表現が得られる。

3. 原点付近の正則性： 減衰分析の核心は、原点（ストークスの場合は原点を除く）付近、特に虚軸に沿ったレゾルベント $(\lambda + L)^{-1}$ の挙動にある。著者らは、$\alpha$ および $\partial\Omega$ の曲率に関する特定の条件下において、レゾルベントが原点の近傍で解析的であり、かつ $L^q$ ノルムにおいて特定のヘルダー連続性の評価を満たすことを証明する。

4. 局所エネルギー減衰： 虚軸に沿ったレゾルベントの正則性を用いて、局所エネルギー減衰評価を導出する。これは、ドゥンフォード積分（Dunford integral）を通じて半群を表現し、関数の周波数領域における正則性（具体的にはレゾルベントの連続性に関するモジュラス）と、逆フーリエ変換の減衰率を関連付ける補題を適用することによって達成される。

主要な貢献と結果

• レゾルベント集合の特徴付け：
  本論文は、以下の条件の下で、レゾルベント集合 $\rho(-L)$ が（原点を除いて）右半平面を含むことを確立している：
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{for all } x \in \partial\Omega.$$
  さらに、境界の曲率を含むより強い条件、すなわち
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2}$$
  （ここで $\kappa(x)$ は主曲率の最小値）が満たされる場合、レゾルベント集合は $\mathbb{C} \setminus S_\eta$ を含む。ここで $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$ である。これは、ノースリップ条件に対して既知であった先行研究の結果を、ナビエ・スリップ・ウィズ・フリクションの場合へと拡張するものである。

• $L^q$-$L^r$ 減衰評価：
  主要な結果（定理 2.2）は、オーセーン半群の減衰評価を与える。初期データ $f \in L^q_\sigma(\Omega)$ に対して、解は以下を満たす：
  $$\|\nabla^j e^{-tL}f\|_r \leq C t^{-\frac{j}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{r})} \|f\|_q$$
  これは $j=0$ の場合であり、$j=1$ の場合は $(1+t)$ を含むわずかに修正されたレートを持つ。これらの評価は、$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$ の条件下で $t \to \infty$ において成立する。

• 既知の結果の回収：
  得られた結果は、フルスリップ（$\alpha=0$）におけるストークス半群（$\eta=0$）および、ノースリップ（$\alpha \to \infty$）におけるオーセーン半群の既知の減衰評価を、特殊なケースとして回収している。

意義と主張
本論文は、既存の文献における、このような境界条件の下での非ゼロの流出（$u_\infty \neq 0$）を伴う外部問題に関する空白を埋めるものであると主張している。なぜなら、これまでの研究の多くは、そのような境界条件の下ではゼロの流出を仮定していたためである。

その意義は以下の点にある：

1. ギャップの解消： 結果は、フルスリップ（$\alpha=0$）とノースリップ（$\alpha \to \infty$）のレジームを補間し、大時間減衰評価のための統一された枠組みを提供する。
2. 幾何学的洞察： 分析は、境界の幾何学（ワインガ滕写像および主曲率を介して）が、原点付近におけるレゾルベント集合の形状を含む、オーセーン作用素のスペクトル特性を決定する役割を担っていることを強調している。
3. 非線形安定性の基礎： 確立された $L^q$-$L^r$ 減衰評価は、スリップ境界条件を持つ外部領域における非線形ナビエ・ストークス系の大域的な適切性と安定性を調査するための、必要なツールとして提示されている。

著者らは、勾配（$j=1$）の減衰レートはノースリップの下でのストークスの場合は最適であるが、定常オーセーン流の異なる空間減衰構造（ウェイク構造）のために、非ゼロの流出を伴うオーセーンの場合の最適性については主張していない。また、小さな $\alpha$ における有界領域での一様なア・プリオリ評価の欠如により、摩擦係数 $\alpha$ に対する減衰定数の依存性は依然として未解決の問題であるとしている。