Boundary regularity for parabolic systems with nonstandard $(p,q)$-growth conditions in smooth convex domains

技術要約：「滑らかな凸領域における非標準的な $(p, q)$-成長条件を持つ放物型系の境界正則性」

問題設定
本稿は、以下の形式の非線形放物型系の局所弱解の境界正則性を調査するものである：
$$\partial_t u_i - \text{div}(a(|Du|)Du_i) = f_i, \quad i = 1, \dots, N,$$
ここで、時空シリンダー $\Omega_T = \Omega \times (0, T)$ が定義されている。領域 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) は、有界な凸 $C^2$ 集合である。係数 $a: \mathbb{R}_{>0} \to \mathbb{R}_{>0}$ は Uhlenbeck 型であり、非標準的な $(p, q)$-成長条件 $2 \le p \le q < p + \frac{4}{n+2}$ を満たす。不純項 $f$ は、ある $\sigma > 0$ に対して $L^{n+2+\sigma}(\Omega_T, \mathbb{R}^N)$ に属する。

主な目的は、弱解 $u$ に対する局所的な $L^\infty$-勾配推定（リプシッツ正則性）を確立することであり、これは非標準的な成長の文脈において、これまでの内部結果を境界へと拡張するものである。

手法
証明戦略は、非標準的な成長の設定において、楕円型および標準的な放物型正則性の手法を適応させた3段階のアプローチに従う：

1. 滑らかな解に対する先験的評価：
   著者らはまず、滑らかな係数とデータを持つ滑らかな古典解 ($u \in C^3$) に対する定量的 $L^\infty$-勾配推定を導出する。これには以下が含まれる：

   • 微分幾何学的恒等式（Grisgard）を利用して好ましくない境界項を排除することにより、$\Omega$ の凸性と斉次ディリクレ境界条件を用いて、二階微分を含む Caccioppoli 型の不等式を確立すること。
   • 逆ヘルダー型の不等式を導出すること。このステップは、特定のパラメータ関係 $q < p + \frac{4}{n+2}$ に依存しており、これは放物型設定におけるソボレフ埋め込み（積分可能性を $p$ から $p + \frac{4}{n}$ へ改善すること）が、推定値を閉じるために十分であることを保証している。
   • $L^\infty$ 境界を得るための Moser 反復法を実行すること。重要な構成要素は、推定値が同次にならない原因となる、$(p, q)$-成長系に固有の「スケーリング欠損（scaling deficit）」を扱うことである。

2. 近似手順：
   主結果は非滑らかなデータおよび係数を持つ弱解に適用されるため、近似スキームを構築する：

   • 係数 $a$ とデータ $f$ を滑らかに近似するために、それらを軟化（mollification）して滑らかな近似 $a_\varepsilon$ および $f_\varepsilon$ を得る。
   • 係数に非退化な $q$-Laplacian 的な項を加え、$b_\varepsilon$ を定義することで、一意で正則な（$C^3$）弱解 $u_\varepsilon$ の存在を保証する標準的な $q$-成長条件を確保する。
   • 近似解 $u_\varepsilon$ と元の弱解 $u$ の間の比較推定を証明し、勾配の強収束 $Du_\varepsilon \to Du$ in $L^p$ を示す。

3. 極限への移行：
   滑らかな近似に対して導出された定量的な $L^\infty$-勾配推定を $u_\varepsilon$ に適用する。$\varepsilon \to 0$ となる極限操作を行い、$L^\infty$-ノルムの下半連続性とデータの収束を利用することで、推定値を元の弱解 $u$ へと転移させる。

主要な貢献と結果
主要な結果は 定理 1.3 であり、側方境界上で消滅する任意の局所弱解 $u$ に対して、勾配 $Du$が境界の近傍で本質的に有界であることを確立している。具体的には、境界点$x_0 \in \partial \Omega$を中心とする放物型シリンダー$Q_\rho(z_0)$ に対して：
$$Du \in L^\infty(\Omega_T \cap Q_\rho(z_0), \mathbb{R}^{Nn}).$$
本稿は、以下の精密な定量的推定（式 1.6）を提供する：
$$\sup_{\Omega_T \cap Q_\rho(z_0)} |Du| \le C \left( \left( 1 + \|f\|_{L^{n+2+\sigma}}^{(n+2)(n+2+\sigma)/\sigma} \rho^{n+2} \right) \fint_{\Omega_T \cap Q_{2\rho}(z_0)} (1 + |Du|^p) \, dxdt \right)^{\frac{2p}{4+(p-q)(n+2)}}.$$

この結果の主要な技術的特徴は以下の通りである：

• パラメータ範囲： 結果は $2 \le p \le q < p + \frac{4}{n+2}$ の範囲で成立する。この範囲は、非標準的な $(p, q)$-成長に関する最近の内部結果と一致しているが、境界設定へと適応されている。
• スケーリング欠損： 指数 $\frac{2p}{4+(p-q)(n+2)}$ は、非標準的な成長を持つ放物型系に特徴的なスケーリング欠損を表している。本稿では、この指数が $q$ が上界 $p + \frac{4}{n+2}$ に近づくにつれて爆発することを指摘しており、条件の鋭さ（sharpness）を強調している。
• 領域の正則性： 証明には $\Omega$ が $C^2$ 領域であることが要求される。この正則性は、Caccioppoli 推定において境界積分を扱うために使用される微分幾何学的恒等式の適用に不可欠である。
• データの正則性： 不純項 $f$ は $L^{n+2+\sigma}$ に属すると仮定されており、これは $f$ の弱微分を必要とせずに推定を導出するのに十分である。

意義と主張
本稿は、非標準的な $(p, q)$-成長を持つ放物型系の既存の内部正則性の結果（[6, 42] を引用）に対する境界側の対応物として自らの研究を位置づけ、標準的な $p$-成長を持つ放物型系の境界正則性の理論（[5] を引用）を非標準的なケースへと拡張するものである。

著者らは、この研究が、楕円型の設定よりも結果が著しく少ない分野である、非標準的な成長を持つ放物型系のグローバルな（境界までの）正則性に関する文献の空白を埋めるものであると主張している。提供された推定値は、楕円型の $(p, q)$-設定 [7] および放物型の $(p, p)$-ケース [5] における従来の境界結果と一致している。本稿は、退化ケース（$\mu=0$）や一般的な非 Uhlenbeck 構造の問題を解決するとは主張しておらず、後者は通常、部分的な正則性しか許容しないことに注意を払っている。焦点は、指定された構造的および幾何学的仮定の下での局所的なリプシッツ境界を確立することに厳密に置かれている。