Fully nonlinear oblique transmission problems: Well-posedness

技術要約：完全非線形斜め伝達問題：ウェル・ポーズドネス（適切設定）

問題設定
本論文は、完全非線形方程式を含む楕円型伝達問題のウェル・ポーズドネス（存在と一意性）を扱う。領域 $\Omega \subset \mathbb{R}^n$ は、二つの相 $\Omega^+$ と $\Omega^-$ に分割されており、それらは平坦な界面 $\Gamma$（主要な結果においては $T_1 = B_1 \cap \{x_n = 0\}$）によって隔てられている。問題は、以下の条件を満たす連続関数 $u$ を求めるものである：

1. バルク方程式： $\Omega^\pm$ 内における二階完全非線形方程式 $F^\pm(D^2 u, x) = f^\pm(x)$。
2. 伝達条件： 界面 $\Gamma$ 上において、両側からの勾配を結合する非線形一次条件 $G(\nabla u^+, \theta \nabla u^-, x) = g(x)$。
3. 連続性： $\Gamma$ 上で $u^+ = u^-$。
4. 境界条件： $\partial \Omega$ 上で $ディリクレ$ データ $u = \phi$。

本研究の際立った特徴は、伝達作用素 $G$ が、界面の両側からの解の法線方向および接線方向の両方の微分に対して非線形に依存することである。これは、伝達条件が線形であるか、あるいは接線方向の微分に依存しない従来のモデルを一般化するものである。パラメータ $0 \le \theta \le 1$ は補間を可能にし、一方の側の条件が消失する退化的なケースも含む。

手法
著者らは、平坦な界面を持つ定数係数作用素に対するウェル・ポーズドネスを確立するために、**粘性解（viscosity solutions）**の理論を用いている。その手法は、斜め伝達の設定に適応させた以下の三つの核心的な柱に基づいている：

1. 粘性解の枠組みと極値作用素：
   著者らは、許容されるテスト関数（区分的に $C^{1,1}$）を用いて粘性劣解および超解を定義する。非線形性を扱うために、彼らは極値伝達作用素（$T^+$ および $T^-$）を導入する。これらは、一様楕円型作用素および斜め伝達条件のクラスのエンベロープとして機能する。これらの作用素は、勾配の結合挙動を制御するプッチ（Pucci）極値作用素を伝達設定へと一般化したものである。

2. アレクサンドロフ・バクエルマン・プンチ（ABP）最大原理：
   斜め伝達問題に対する定量的なABP推定が導出されている。片側から解に接する古典的な線形多項式を用いる従来の証明とは異なり、この証明では、両側で大きさが同程度になるように係数が選ばれた区分的線形多項式を利用している。議論は、解の負の部分の凸包を構成し、界面の幾何学的構造を考慮しながら勾配像を分析することを含む。この推定により、ソース項の $L^n$ ノルムおよび伝達データの $L^\infty$ ノルムに関して、解の振動を制御することが可能となる。

3. 比較原理：
   半連続関数に対する比較原理を確立する。証明は、非斜め問題（De Silva-Ferrari-Salsa および Soria Carro-Stinga による）で使用された戦略を適応させたものであるが、精緻な正則化手順を導入している。具体的には、接線方向における上畳み込み（sup-convolutions）と、法線方向における境界データのさらなる正則化を用いる。これにより、界面付近での解の区分的な $C^{1,\alpha}$ 置換を構成することが可能となり、伝達条件を厳密に扱うための古典的な境界正則性の結果（Ma-Wang）を適用できるようになる。

4. ペロンの方法による存在性：
   ペロンの方法を用いて、粘性解の存在を証明する。解は、すべての粘性劣解の上限として構成される。境界条件が達成されることを保証するために、著者らは**バリア（障壁関数）**を構築する：

   • 界面から離れた境界上の点については、斜め微分問題の既存のバリアを修正する。
   • 境界が界面と交わる点においては、幾何学的な特異性を扱うために極座標を用いた、Lieberman の研究に着想を得た区分的に滑らかなバリアを構築する。

主な貢献と結果

• 主要定理（定理 1.1）： 本論文は、平坦な界面と一般的な非線形斜め伝達条件を持つ、定数係数の一様楕円型伝達問題に対する連続な粘性解の存在と一意性を証明している。
• 伝達条件の一般化： 界面の両側からの法線および接線方向の両方の微分に真に依存する、斜めな伝達条件を扱った最初の研究である。先行研究は、接線方向の微分に依存しない線形な条件に限定されていた。
• 一様推定： 得られた結果および推定は、補間パラメータ $\theta \in [0, 1]$ に対して独立しており、純粋な斜め微分問題（$\theta=0$）から対称的な伝達問題（$\theta=1$）までの全範囲をカバーしている。
• 技術的革新：
  • 区分的線形バリアを用いた、斜め伝達のための新しいABP推定の開発。
  • 半連続設定における境界データの達成に関する技術的問題を解決する、洗練された比較原理の証明。
  • 界面が領域の境界と交わる「コーナー」点のための特定のバリアの構築。

意義と範囲
本論文は、伝達問題の非変分理論における「長年の空白」を埋めるものであると主張している。このような問題に対する変分的（発散形式）理論は古典的であるが、満足のいく非変分的（非発散形式）なアプローチは欠けていた。

著者らは、現在の研究の限界と範囲を明示している：

• 平坦な界面： 主要な結果は平坦な界面に限定されている。曲面界面については今後の課題とされている。
• 定数係数： 存在と一意性の結果は、定数係数の作用素に対して確立されている。正則化の手順が直ちに可変係数の設定には拡張できないため、可変係数作用属に対する比較原理は現在欠落している。
• 正則性： 正則性の問題（特に区分的な $C^{1,\alpha}$ 正則性）は、付随する論文 [7] に委ねられている。ただし、現在の結果は、この摂動理論におけるバリアを構築するために極めて重要であると述べられている。

本研究は、複数のレジーム（反射、伝達、または界面に沿った滑走を伴う拡散など）を横断する確率過程、確率制御、および微分ゲームにおける応用によって動機付けられており、そこではこのような斜め伝達条件が自然にハミルトン・ヤコビ・ベルマン方程式やイサークス方程式として現れる。