The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

技術要約：小さなカルション係数を持つ放物型作用素の $L^p$ ノイマン問題

問題設定
本論文は、有界または非有界なリプシッツ領域 $\mathcal{O} \subset \mathbb{R}^n$ における放物柱 $\Omega = \mathcal{O} \times \mathbb{R}$ 上の、以下の形式の放物型偏微分方程式（PDE）のノイマン境界値問題の可解性に取り組むものである：
$$-\partial_t u + \text{div}(A\nabla u) = 0$$
係数行列 $A(X, t)$ は、非対称かつ時変であり、有界な可測係数を持つ一様楕円型であると仮定される。

中心となる課題は、すべての $1 < p < \infty$ に対してノイマン問題（$(N)_p^L$ と表記）の $L^p$ 可解性を確立することである。具体的には、ノイマン・データ $g \in L^p(\partial\Omega)$ が与えられたとき、勾配の非接線型極大関数 $\tilde{N}(\nabla u)$ が以下の評価を満たすような解 $u$ の存在を証明することを目的とする：
$$\|\tilde{N}(\nabla u)\|_{L^p(\partial\Omega)} \leq C \|g\|_{L^p(\partial\Omega)}.$$
係数は「小さなカルション条件」を満たすものと仮定される。この条件は、以下の密度によって定義されるカルション測度 $\mu$ を通じて、係数の正則性を定量化する：
$$d\mu = \sup_{B_{\delta/2}(X,t)} \left( \delta(Y,s)|\nabla A|^2 + \delta(Y,s)^3|\partial_t A|^2 \right) dX dt,$$
ここで $\delta(X,t)$ は境界までの放物距離である。主結果は、カルションノルム $\|\mu\|_C$ および領域のリプシッツ定数が十分に小さいという仮定の下で成立する。

手法
著者らは、時間依存性と作用素の非対称性を処理するための特定の修正を導入しつつ、放物型の設定にテクニックを適応させた多段階戦略を採用している。

1. 滑らかな係数への還元：
   証明は、粗い係数 $A$ を、より強い正則条件（具体的には、境界までの距離のべき乗で重み付けされた微分の評価）を満たす滑らかな行列 $B$ で近似することから始まる。これにより、摂動引数（定理 3.1）を通じて誤差を制御しながら、標準的なPDE推定量を適用することが可能となる。

2. ア・プリオリ評価とブートストラップ：
   滑らかなデータおよび係数に対して、非接線型極大関数 $\|\tilde{N}(\nabla u)\|_{L^p}$ のア・プリオリな有限性を確立することに、作業の大部分が割かれている。これは放物型の設定においては非自明であり、以下の「ブートストラップ」議論を必要とする：

   • ステップ 1: 接線方向の微分 $\nabla_T u$ および共法線微分 $H = \sum a_{nj}\partial_j u$ の初期正則性を、エネルギー法およびカッチオリー型の不等式を用いて確立する。
   • ステップ 2: $\nabla_T u$ および $H$ が満たす非斉次PDEを利用する。決定的なことに、$H$ は第 4.2 節で導出される特定のPDEを満たし、これにより関係式 $\partial_n u = a_{nn}^{-1}(H - \sum_{j<n} a_{nj}\partial_j u)$ を通じて法線微分 $\partial_n u$ を制御できる。
   • ステップ 3: モーザーの反復議論を適用して、$\nabla u$ の正則性を有界集合上での $L^2$ から $L^\infty$ へと改善し、非有界な場合には熱核の減衰評価を用いる。

3. 平方関数と極大関数の評価：
   証明の核心は、非接線型極大関数と平方関数の間の相互有界性を確立することにある。

   • $N < S_p$ 評価： 著者らは、勾配の非接線型極大関数が $p$ 適応型平方関数 $S_p$ によって抑えられることを証明する。これは、「グッド-$\lambda$」不等式の手法を用い、停止時刻議論と修正された非接線型錐（cone）構成（第 5 節）を用いて達成される。
   • $S_p$ の制御： 接線方向の勾配および共法線微分 $H$ の両方に対する $p$ 適応型平方関数は、境界データによって制御される。これには、複雑な部分積分と、$H$ および $\nabla_T u$ が満たすPDEを用いた微分の転送が含まれ、カルションノルムの小ささを利用して微分を係数へと移すプロセスを伴う。

4. 局所化：
   有界リプシッツ柱の場合、局所化テクニックと境界データのサポートから離れた場所での解の指数関数的減衰を用いることで、非有界領域（上半空間）の結果から可解性を導き出す。

主要な貢献と結果

• 主定理 (定理 1.6): 本論文は、カルションノルムおよび領域のリプシッツ定数が十分に小さい場合、任意の $1 < p < \infty$ に対して、リプシッツ柱上の $L^p$ ノイマン問題が可解であることを証明している。解は鋭い評価 $\|\tilde{N}(\nabla u)\|_{L^p} \leq C \|g\|_{L^p}$ を満たす。
• 楕円型結果の放物型類似： 本研究は、小さなカルションノルムの領域において [19] で確立された楕円型の結果の放物型版を完成させるものである。これにより、時変の放物型行列に関する最新の状態を、楕円型の場合と完全に一致させた。
• 時変係数の取り扱い： 横方向の空間変数からの独立性や時間独立性を要求していた従来の先行研究とは異なり、本論文は完全に時変で非対称な行列を扱う。
• $p$ 適応型平方関数： 著者らは、$p$ 適応型平方関数のテクニック（元は [17] によるもの）を放物型ノイマン問題へと成功的に適応させ、Regularity問題における半時間微分の非局所的な性質に関連する困難を克服した。
• 半時間微分の制御における二分法： 付録 A において、著者らは $D_t^{1/2}u$ の制御に関する新しい知見を提示している。彼らは、そのような制御は非有界領域（具体的には $p \leq 2$ の場合）では可能であるが、有界領域では不可能であることを示している。これは Regularity 問題とは対照的であり、有界および非有界の放物型領域におけるノイマン・データの振る舞いの根本的な違いを浮き彫りにしている。

意義と範囲
本論文は、小さなカルションノルムの領域における粗い係数を持つ放物型ノイマン問題の可解性に関する、長年の未解決問題を解決するものである。これは、著者らによる放物型 Regularity 問題 [14] および Dirichlet 問題 [9, 11, 18] に関する先行研究を補完するものである。

著者らは、「大きなカルションノルム」の領域は、次元 $n > 2$ においては楕円型の場合であっても（最近 2D では解決されたが）依然として未解決の問題であることを明記している。現在の研究は、誤差項を吸収するためにカルション定数の小ささに依存しており、厳密に小さなノルムの領域に限定されている。その手法は、共法線微分が満たす特定のPDEの構造と、接線方向の微分と法線方向の微分の間の注意深い相互作用に強く依存しており、これは楕円型と比較した際の放物型特有の特徴である。