Gelfand-type problem for turbulent jets: sharp $L^\infty$ bound on extremal solutions

技術要約：乱流ジェットにおけるゲランド型問題の極限解に関する鋭い $L^\infty$ 評価

問題設定
本論文は、[GHH] において導出された、反応性乱流ジェットにおける熱爆発をモデル化する境界値問題を調査している。問題は単位円板 $B \subset \mathbb{R}^2$ 上で定式化されており、ゲランド型問題のクラスに属する。支配方程式は以下の通りである：
$$\begin{cases} -\Delta u - \alpha r \phi(r) \frac{\partial u}{\partial r} = \lambda \psi(r) f(u) & \text{in } B, \\ u > 0 & \text{in } B, \\ u = 0 & \text{on } \partial B, \end{cases}$$
ここで、$u$ は正規化された温度、$\lambda$ はフランクト・カメニツキー・パラメータ、$\alpha$ は噴射速度を表す。関数 $\phi$ および $\psi$ は、流速および反応成分のプロファイルを記述し、$f$ は正、単調増加、かつ凸な反応速度であり、可積分条件 $\int_0^\infty ds/f(s) < \infty$ を満たす。

先行研究 [GMN] は、臨界パラメータ $\lambda^*(\alpha)$ と極限解 $u^*_\alpha$（$\lambda \nearrow \lambda^*$ のときの極小解の極限）の存在を確立した。一方、[GMN] は $\alpha \to \infty$ のとき $u^*_\alpha(0) \to \infty$ であることを示したものの、$f$ に関する追加の仮定の下でのみ $u^*_\alpha(0)$ の上界を確立することができた。本論文の主要な目的は、非線形項 $f$ に対する追加の条件を課すことなく、強流限 ($\alpha \to \infty$) における $u^*_\alpha(0)$ の一致する上界および下界を導出することで、この空白を埋めることにある。

手法
著者らは、極限解の径方向対称性を利用して、偏微分方程式を常微分方程式へと還元している。重み関数 $\mu(r) = \exp(\alpha \int_0^r s\phi(s)ds)$ を導入し、変数変換 $z = \alpha r^2$ を行うことで、問題をスケーリングされた解 $\bar{u}(z)$ に関する積分方程式へと変換している：
$$\bar{u}'(z) = -\frac{1}{z\bar{\mu}(z)} \int_0^z \bar{\mu}(s)\bar{\psi}(s)F(\bar{u}(s))ds,$$
ここで $F = \frac{\lambda^*}{4\alpha}f$ である。

解析の核心は、極限解が満たす半安定性条件に基づいている。スケーリングされた座標系において、この条件は以下の形式の重み付きポアンカレ型不等式として表される：
$$\int_0^\alpha z (\bar{\eta}')^2 \bar{\mu} dz \geq \int_0^\alpha \bar{\eta}^2 \bar{\psi} \bar{\mu} F'(\bar{u}) dz,$$
ただし、すべての $\eta \in H^1_0(B)$ に対して成立する。

証明戦略は、以下の2つの構成要素からなる：

1. 上界 (定理 1.1): 著者らは、半安定性不等式を利用するために、特定のテスト関数 $\bar{\eta}_z$（区分的に定数または対数関数）を構築している。これにより、反応項の微分の積分 $\int F'(\bar{u})$ を対数項によって抑えることが可能となる。ODE の積分形式と $f$ の凸性を組み合わせることで、$f'(u(0))$ と $\log \alpha$ を結びつける不等式を導出している。
2. 下界 (定理 1.2): 著者らは背理法を用いている。下界が成立しないと仮定すると、摂動 $v > 0$ が存在し、$\bar{u} + v$ が方程式の解であり続けることを意味する。線形作用素を分析し、$\mu$ と $\psi$ の性質から導かれたカーネル推定（補題 4.2）を利用することで、十分に大きな $\alpha$ に対して、そのような正の摂動は $\lambda^*$ の極限性を損なうことなく存在し得ないことを示す。具体的には、もしこの評価が偽であれば、パラメータ $\lambda > \lambda^*$ に対応する解を構成できてしまい、これは臨界パラメータの定義に矛盾することを示す。

主要な貢献と結果
本論文は、$\alpha \to \infty$ における原点での極限解 $u^*_\alpha(0)$ に関する以下の鋭い漸近評価を確立している：

• 定理 1.1 (上界): 定数 $\alpha_0, c, C > 0$ が存在し、すべての $\alpha \geq \alpha_0$ に対して、
  $$u^*_\alpha(0) \leq c A,$$
  ここで $A$ は $f'(A) = C \log \alpha$ を満たす一意な解である。

• 定理 1.2 (下界): 定数 $\tilde{\alpha}_0, \tilde{c}, \tilde{C} > 0$ が存在し、すべての $\alpha \geq \tilde{\alpha}_0$ に対して、
  $$u^*_\alpha(0) \geq \tilde{c} \tilde{A},$$
  ここで $\tilde{A}$ は $f'(\tilde{A}) = \tilde{C} \log \alpha$ を満たす一意な解である。

これらの結果は、極限解のピーク温度の成長が、流速の対数スケールにおける反応率の微分の逆数によって支配されていることを裏付けている。

意義
本論文は、[GMN] によって残された、乱流ジェットモデルにおける極限解の $L^\infty$ 挙動に関する未解決の問いを解決したと主張している。主要な意義は、上界を得るために以前必要であった「非線形反応率に関する追加の仮定」を排除した点にある。標準的な可積分条件を満たす一般的な凸反応率のクラスに対して、一致する上界と下界が成立することを証明することで、著者らは強流限における極限解のブローアップ挙動の完全な特性付けを提供している。この結果は、ゲランドの枠組みにおける反応性乱流ジェットの熱爆発限界に関する理論的理解を強固にするものである。