Regularity theory for fully nonlinear oblique transmission problems

技術要約：完全非線形斜方向伝達問題における正則性理論

問題設定
本論文は、完全非線形斜方向伝達問題に対する正則性理論を展開する。これらの問題は、構成空間が界面によって分離された複数の相（例：複合材料）からなる物理的または経済的なシステムをモデル化している。結合条件が法線微分のみに依存する古典的な伝達問題とは異なり、本研究では、界面の両側からの解の全勾配に依存するクラスの伝達条件を扱う。

検討される具体的な問題は、$\mathbb{R}^n$ 内の領域 $B_R$ が、上半分および下半分の半球（$B_R^+$ および $B_R^-$）に平坦な界面 $T_R$ によって分割されているものである。解 $u$ は、バルク相内において完全非線形二階微分方程式 $F^\pm(D^2u, x) = f^\pm(x)$ を満たし、界面上で完全非線形伝達条件 $G(\nabla u^+, \theta \nabla u^-, x) = g(x)$ を満たす。ここで、$0 \le \theta \le 1$ は補間パラメータである。作用素 $F^\pm$ および $G$ は一様楕円型であると仮定されている。

手法
著者らは、彼らの先行研究 [7] で確立された基礎的な枠組みを拡張し、粘性解（viscosity solutions）の枠組みを用いている。その手法は、変数係数方程式を定数係数問題で近似することによって、変数係数方程式の正則性の結果を構築する摂動的アプローチに基づいている。

主要な技術的ツールは以下の通りである：

1. 区分的二次バリア（Piecewise Quadratic Barriers）： ハルナック不等式および境界推定を確立するために、著者らは特定の区分的二次バリアを構成する。非斜方向の設定では単純な径方向関数で十分であるが、斜方向の伝達条件においては、接線方向の寄与と両側からの法線成分の相対的な大きさを考慮したバリアが必要となる。
2. ハルナック不等式とヘルダー評価： 普遍的な解クラスにおける新しいハルナック不等式が証明されており、これにより変数係数問題の粘性解に対する $C^\alpha$ 推定が導かれる。
3. 摂動理論： 正則性の証明の核心は、変数係数問題の解を定数係数の同次問題の解と比較することにある。これには「コンパクト性・矛盾（compactness-contradiction）」による議論が必要である。
4. 粘性-$\star$ 解（Viscosity-$\star$ Solutions）： 変数係数の場合、著者らはより強い概念である粘性-$\star$ 解を導入する。これは、ヘッセ行列が界面で爆発する可能性のあるテスト関数を許容するものである。これは、摂動の議論で使用されるバリアが、界面まで明示的に $C^{1,1}$ であることが分かっていないために必要である。
5. 反復近似： $C^{1,\alpha}$ 正則性の証明には、解を区分的線形多項式の列で近似する反復スキーム（Caffarelli の研究に着想を得たもの）を用いて、誤差が特定の速度で減少することを示すプロセスが含まれる。

主要な貢献と結果
本論文は、平坦な界面における粘性解の最適な正則性を確立し、解が界面に至るまで区分的に $C^{1,\alpha}$ であることを証明している。主な結果は以下の通りである：

• $C^\alpha$ 推定 (Theorem 1.1): 変数係数問題において、粘性解は領域全体で $角 C^\alpha$ であることが示される。この推定は普遍的な定数に依存し、補間パラメータ $\theta$ には依存しない。この結果は、新しいハルナック不等式から導かれる。
• 定数係数における区分的 $C^{1,\alpha}$ 正則性 (Theorem 1.3): 定数係数の同次問題に対して、解は界面に至るまで各相において $C^{1,\alpha}$ であることが証明される。証明では、水平方向の平行移動に対する問題の不変性を利用して、接線方向の差分商がヘルダー評価を満たすことを示す。著者らは、この正則性が最適であることを指摘している。すなわち、完全非線形方程式における既知の反例により、解は一般に $C^{1,1}$ にはならず、勾配は界面を横切って不連続になる可能性がある。
• 変数係数における区分的 $C^{1,\alpha}$ 正則性 (Theorem 1.5): ヘルダー連続な係数を持つ変数係数問題に対して、著者らは粘性-$\star$ 解の区分的 $C^{1,\alpha}$ 正則性を証明する。この結果は、定数係数問題への摂動と、セクション5で確立された境界推定に基づいている。

意義と範囲
著者らは、本研究を既存の正則性理論の重要な拡張として位置づけている。変分形式（発散形式）の伝達問題や、法線微分条件を持つ非変分問題（例：De Silva-Ferrari-Salsa [5, 6] および Soria Carro-Stinga [16]）に関する古典的な正則性理論が存在する一方で、本論文は、結合が全勾配を伴う、より複雑な「斜方向（oblique）」の枠組みを扱っている。

著者らは、斜方向の設定が、特にハルナック不等式のためのバリアの構成において、単純な径方向関数に還元できないという独自の定性的課題を提示していることを強調している。彼らは、自らの結果が、これまでのほぼすべての正則性結果をこの斜方向の枠組みへと拡張する最初のものであると明言している。

本論文は、今後の課題に関して控えめな範囲を設定している。摂動の議論で使用されるバリアが満たす伝達問題は凸（convex）であり、もしそのような凸の問題の解が区分的 $C^{1,1}$ 正則性を持つことが示せれば、主定理は通常の粘性解へと拡張できる可能性がある。しかし、著者らはこの改善された正則性を未解決の問題として特定しており、それを解決したとは主張していない。さらに、曲面界面の取り扱いについては、現在の解析が低次の項を導入する平坦化の手続きに依存しているため、今後の研究のために取っておくとしている。

要約すると、本論文は、平坦な界面における完全非線形斜方向伝達問題に対する包括的な正則性理論を提供し、バリア法、ハルナック不等式、および摂動論を組み合わせることで、最適な区分的 $C^{1,\alpha}$ 正則性を確立し、同時に斜方向の伝達条件によって課される制限を慎重に記述している。