Higher integrability for parabolic double phase equations with an improved gap bound

技術要約：改良されたギャップ条件を伴う放物型ダブルフェーズ方程式における高次可積分性

問題設定
本論文は、放物型ダブルフェーズ方程式：
$$\partial_t u - \text{div}\left(|Du|^{p-2}Du + a(z)|Du|^{q-2}Du\right) = 0$$
における、ヘルダー連続な弱解の勾配の局所的な高次可積分性を調査している。ここで、空間・時間領域は $\Omega_T = \Omega \times (0, T]$ である。変調係数 $a(z)$ は、$a=0$ のときの $p$ 成長と $(p,q)$ 成長の間の遷移を制御する非負の関数である。

対処すべき中心的な課題は、指数の差 $q-p$ と係数 $a$ の正則性の間の関係である。楕円型の設定において、解の正則性は、ギャップがラブレントヴィエフ現象に関連する条件を満たすかどうかに決定的に依存することが知られている。著者らは、係数 $a$ に関する仮定を緩和し、改良されたギャップ条件の下で、放物型の場合における同様の高次可積分性の結果を確立することを目指している。

手法
著者らは、非標準的な成長条件を伴う放物型設定に適応させた、固有の幾何学（intrinsic geometry）と逆ヘルダー不等式に基づく枠組みを用いている。主な手法的構成要素は以下の通りである：

1. 緩和された係数クラス ($Z_\kappa$): $a \in C^{\alpha, \alpha/2}$ と仮定する代わりに、著者らは $Z_\kappa(\Omega_T)$ クラスの関数を扱う。関数 $a$ がこのクラスに属するとは、以下の片側点値境界を満たすことを意味する：
   $$a(z_1) \le c_a \left( a(z_2) + d_p(z_1, z_2)^\kappa \right)$$
   ここで $d_p$ は放物型距離である。このクラスは、$a$ が消失したり、$\kappa$ によって決定される速度で増大したりする場合（例えば非ヘルダー連続な関数 $|x|^\kappa$ など）を許容する。

2. 傾斜したステクローフ平均 (Slanted Steklov Average): $a$ の時間方向のヘルダー連続性を要求せずに（$Z_\kappa$ において $\kappa > 1$ の場合は保証されない）、時間方向の正則性を扱うために、著者らは「傾斜したステクローフ平均」と呼ばれる新しい平滑化技術を導入している。これは次のように定義される：
   $$[u]_h^R(z) = \frac{1}{h} \int_t^{t+h} u(x + (s-t)\zeta, s) \, ds$$
   この手法を、$a$ に対する緩やかな（ほぼ単調増加的な）条件（前方または後方への時間方向の条件）と組み合わせることで、この設定における標準的なリプシッツ・截断法から生じる循環的な依存関係を回避しつつ、エネルギー評価やカッチオリーリの不等式を導出することが可能となる。

3. 固有の幾何学と停止時間: 証明には、固有のシリンダー（$p$ 相のための $Q_{\rho, \lambda}$ および $(p,q)$ 相のための $G_{\rho, \lambda}$）が用いられ、スケーリング・パラメータ $\lambda$ は解の勾配によって決定される。被積分関数 $H(z, |Du|) = |Du|^p + a(z)|Du|^q$ のレベル集合に基づいて、これらのシリンダーの適切な半径を選択するために、停止時間議論が用いられる。

4. 逆ヘルダー不等式: 証明の核となるのは、$p$ 相（$a$ が小さい場合）と $(p,q)$ 相（$a$ が顕著な場合）の両方に対する逆ヘルダー不等式を確立することである。これらの不等式は、固有のスケーリングに適応した放物型ソボレフ・ポアンカレ不等式およびガリオルディ・ニレンバーグの評価に基づいている。

主要な貢献と結果

• 改良されたギャップ条件: 主な結果（定理 1.3）は、以下のギャップ条件の下での勾配の高次可積分性を確立している：
  $$2 \le p \le q \le p + \frac{q\kappa}{q - 2\gamma}$$
  ここで $\gamma \in [0, 1)$ は解 $u$ の空間におけるヘルダー指数であり、時間においては $\gamma/q$ である。

  • 著者らは、この条件が純粋に放物型であることを指摘している。これは最適な楕円型ギャップ境界 ($q-p \le \kappa/(1-\gamma)$) とは異なり、$p \ge 2$ のときには許容されるギャップがより小さくなるという点で、より厳格である。
  • この境界は解の時間方向の正則性を反映している。もし時間方向の正則性が $\gamma/q$ から $\gamma/2$ に改善されれば、楕円型のギャップ条件が回収されるであろうと著者らは述べている。

• $Z_\kappa$ 係数への拡張: 本論文は、$Z_\kappa$ クラス（以前は楕円型ダブルフェーズ問題で使用されていた）を放物型コンテキストに適用した最初の例である。これにより、片側境界と緩やかな単調条件を満たす限り、時間方向にヘルダー連続である必要はない係数を扱うことが可能になる。

• 新しい平滑化技術: 傾斜したステクローフ平均の導入は、$\kappa > 1$ の設定において標準的な時空平滑化の限界を克服し、エネルギー評価を導出するための有効な手段となることを示している。

• 主定理: 局所的に $\gamma$-ヘルダー連続（空間）および $\gamma/q$-ヘルダー連続（時間）である弱解 $u$ に対して、ある $\epsilon_0 > 0$ が存在し、任意の $\epsilon \in (0, \epsilon_0)$ について以下が成立する：
  $$\fint_{Q_r(z_0)} H(z, |Du|)^{1+\epsilon} \, dz \le c \left( \frac{2 + \|a\|_\infty}{r^{q-2\gamma}} \right)^{1 + \frac{\epsilon q}{2}}$$
  これは、ダブルフェーズ汎関数に関連するオルリッチ・ソボレフ空間における勾配の局所的な高次可積分性を裏付けるものである。

意義と主張
本論文は、以下の点において非一様楕円型放物問題の正則性理論を進展させると主張している：

1. 正則性の仮定の緩和: 係数 $a$ に対する標準的な $C^{\alpha, \alpha/2}$ 仮定を超え、より広範な $Z_\kappa$ クラスへと移行することで、変化する楕円性を備えた材料をより良くモデル化している。
2. ギャップ条件の精緻化: $p$ と $q$ の間の許容されるギャップを、解の時間ヘルダー正則性と明示的に結びつける、放物型特有のギャップ境界を提供している。
3. 手法的な革新: 係数の正則性が標準的な手法には不十分な設定において、傾斜したステクローフ平均がエネルギー評価を導出するための有効な代替手段であることを実証している。

著者らは、自身のアプローチが系（systems）および特異な領域（$p < 2$）にも拡張可能であると明言しているが、現在の研究は、系および特異なケースにおけるヘルダー正則性が文献においてまだ完全に確立されていないため、スカラーの同次方程式に限定している。また、導出されたギャップ境界は必ずしもシャープではない可能性があり、その現象は完全に放物型設定における時間方向の正則性によって支配されているとも述べている。