堅牢な非局所トレース定理と拡張定理

基本情報

• 論文ID: 2305.05735
• タイトル: Robust nonlocal trace and extension theorems
• 著者: Florian Grube, Moritz Kassmann (ビーレフェルト大学)
• 分類: math.AP (偏微分方程式の解析)
• 発表時期: 2023年5月 (v1), 2023年6月 (v2)
• 論文リンク: https://arxiv.org/abs/2305.05735

要約

本論文は、非局所Dirichlet問題およびNeumann問題（分数階p-Laplacianを含む）に適用可能なSobolev型関数空間のトレース定理と拡張定理を証明している。これらの結果は微分可能性の階数に関して堅牢であり、この意味で古典的なトレース定理および拡張定理と一致している。

研究背景と動機

核心問題

本論文は有界領域上の非線形非局所方程式を研究している。例えば： $(-\Delta)_p^s u = f \text{ in } \Omega, \quad u = g \text{ in } \mathbb{R}^d \setminus \Omega$

ここで分数階p-Laplacianは以下のように定義される： $(-\Delta)_p^s u(x) = (1-s) \text{p.v.} \int_{\mathbb{R}^d} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{d+sp}} dy$

研究の重要性

1. 非局所作用素の本質的特性：作用素の非局所性により、問題(1.1)は$\mathbb{R}^d \setminus \Omega$上で値$u(x)$を指定する必要があり、適切性を確保する
2. 既存方法の制限：従来の仮定$g \in W^{s,p}(\mathbb{R}^d)$は不自然な制限を課している。なぜなら問題(1.1)は$g$が$\mathbb{R}^d \setminus \Omega$内で持つべき正則性を必要とせず、ある種の加重可積性のみを必要とするからである
3. 連続性の欠如：既存理論は$s \to 1^-$の際に連続性を欠いており、古典的な局所理論を回復できない

既存方法の限界

• 斉次問題($g=0$)は比較的単純で、既に研究されている
• ゼロでないデータ$g$の処理は通常、全空間$\mathbb{R}^d$上で$g$が正則であると仮定する。例えば$g \in W^{s,p}(\mathbb{R}^d)$
• 妥協案として$g \in W^{s,p}(\Omega_\epsilon) \cap L^p(\mathbb{R}^d; (1+|x|)^{-d-sp}dx)$を使用しても十分に自然ではない
• $s \to 1^-$の際、古典的なトレース空間$W^{1-1/p,p}(\partial\Omega)$を回復できない

研究動機

非局所変分法に適用可能なトレース空間$T^{s,p}(\Omega^c)$を構築すること。これは以下を満たす必要がある：

1. 外部データ$g$の正則性を自然に特徴付ける
2. パラメータ$s$に関して堅牢である
3. $s \to 1^-$の際に古典的なトレース定理と拡張定理を回復する

核心的貢献

1. 新しいトレース空間の導入：関数空間$T^{s,p}(\Omega^c)$（$\Omega^c$上で定義）を測度 $\mu_s(dx) := 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$ とともに定義する。ここで$d_x := \text{dist}(x, \partial\Omega)$
2. 堅牢なトレース定理の証明（定理1.2、$p>1$）：トレース作用素 $\text{Tr}_s: V^{s,p}(\Omega|\mathbb{R}^d) \to T^{s,p}(\Omega^c)$ は連続線形であり、連続線形右逆（拡張作用素）$\text{Ext}_s: T^{s,p}(\Omega^c) \to V^{s,p}(\Omega|\mathbb{R}^d)$が存在する。連続性定数は$\Omega$、$s$の下界、および$p$の上下界のみに依存する
3. $p=1$の場合への拡張（定理1.3）：トレース作用素$\text{Tr}_s: V^{s,1}(\Omega|\mathbb{R}^d) \to L^1(\Omega^c; \mu_s)$が連続であり、連続線形右逆$\text{Ext}_s: T^{s,1}(\Omega^c) \to V^{s,1}(\Omega|\mathbb{R}^d)$が存在することを証明する
4. 極限挙動定理（定理1.4）：$s \to 1^-$の際に以下を証明する：
   • $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \to \|\gamma u\|_{L^p(\partial\Omega)}$（$u \in W^{1,p}(\mathbb{R}^d)$）
   • $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \to [\gamma u]_{W^{1-1/p,p}(\partial\Omega)}$（$u \in W^{1,p}(\mathbb{R}^d)$）
   • 古典的なトレース空間とBesov空間を回復する
5. Dirichlet問題への応用（系1.7）：新しいトレース理論と拡張理論を利用して、問題(1.1)の適切性とエネルギー評価を証明する

方法の詳細

問題設定

エネルギー空間$V^{s,p}(\Omega|\mathbb{R}^d)$から外部領域$\Omega^c$上のトレース空間への写像を研究する： $V^{s,p}(\Omega|\mathbb{R}^d) := \{u: \mathbb{R}^d \to \mathbb{R} \text{ 可測} \mid [u]_{V^{s,p}(\Omega|\mathbb{R}^d)} < \infty\}$ ここで半ノルムは以下のように定義される： $[u]_{V^{s,p}(A|B)}^p := (1-s) \iint_{A \times B} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dx dy$

トレース空間の構成

重要な創新：測度$\mu_s$の設計$\mu_s(dx) = 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$

この測度の設計は以下の特性を持つ：

1. 境界近傍の挙動：$(1-s)d_x^{-s}$項は$s \to 1^-$の際に$\mu_s$が境界$\partial\Omega$上のHausdorff測度に弱収束することを保証する
2. 無限遠での減衰：$(1+d_x)^{-d-s(p-1)}$項は無限遠での適切な減衰を保証する
3. パラメータ堅牢性：係数$(1-s)$の選択により、$s \to 1^-$の際の測度のスケーリングが自然になる

トレース空間$T^{s,p}(\Omega^c)$の定義（式1.6）： $T^{s,p}(\Omega^c) := \{g: \Omega^c \to \mathbb{R} \text{ 可測} \mid \|g\|_{T^{s,p}(\Omega^c)} < \infty\}$ ノルムは以下のように定義される： $\|g\|_{T^{s,p}(\Omega^c)}^p := \|g\|_{L^p(\Omega^c;\mu_s)}^p + [g]_{T^{s,p}(\Omega^c)}^p$

半ノルムは（$p>1$に対して）以下のように定義される： $[f,g]_{T^{s,p}(\Omega^c)}^p := \iint_{\Omega^c \times \Omega^c} \frac{|f(x)-f(y)|^{p-2}(f(x)-f(y))(g(x)-g(y))}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \mu_s(dx)\mu_s(dy)$

重要な設計思想：

• 分母の$(|x-y|+d_x+d_y) \wedge 1$項は境界近傍で$(|x-y|) \wedge 1$となり、古典的なSlobodeckij半ノルム構造を回復する
• 測度$\mu_s$の重みは空間次元の変化（$d$次元から$(d-1)$次元境界）を補償する

トレース定理の証明戦略

第3節：トレース埋め込みの証明

証明は2つの命題に分かれる：

1. 命題3.9：$L^p$部分の埋め込み $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$
2. 命題3.10：半ノルム部分の埋め込み $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$

重要な技術ツール：

(a) 近似トレース不等式（定理3.5）： $u \in W^{s,p}(\Omega)$に対して以下を証明する $\int_{\Omega} |u(x)|^p \tau_s(dx) + \int_{\Omega} \int_{\Omega} \frac{|u(x)-u(y)|^p}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \tau_s(dy)\tau_s(dx) \leq C \|u\|_{W^{s,p}(\Omega)}^p$

ここで$\tau_s(dx) = (1-s)d_x^{-s}1_{\Omega}(x)dx$

証明方法：

• Bessel位置空間の補間理論を利用する
• $\alpha_0 := s(1+p)/(2p)$、$\alpha_1 := 1 + s/(2p)$を定義する
• $H^{\alpha_i,p}(\mathbb{R}^d)$（$i=0,1$）への連続性を証明する（補題3.4）
• 実補間$[H^{\alpha_0,p}, H^{\alpha_1,p}]_\theta^p = W^{s,p}(\mathbb{R}^d)$を通じて結果を得る

(b) Hardy型不等式（定理3.6、$p=1$の場合）： $(1-s) \int_{\Omega} \frac{|u(x)|}{d_x^s} dx \leq C\left(\|u\|_{L^1(\Omega)} + s(1-s) \int_{\Omega \times \Omega} \frac{|u(x)-u(y)|}{|x-y|^{d+s}} d(x,y)\right)$

証明戦略：

• 境界の局所Lipschitz性を利用する
• 半空間上の最適Hardy不等式を適用する（定理B.1）
• 単位分割を通じてグローバルな場合を処理する

(c) 距離関数の技術補題：

• 補題3.7：$d_x^{-s}$を$\Omega$上の積分に変換する
• 補題3.8：一様内錐条件を利用して下界推定を確立する

命題3.9の証明思路（$L^p$部分）：

1. $\Omega^c = \Omega_1^{\text{ext}} \cup \Omega^{\text{ext}}_1$に分解する
2. $\Omega_1^{\text{ext}}$上：補題3.8と定理3.5/3.6を利用する
3. $\Omega^{\text{ext}}_1$上：直接推定を利用し、距離関数の下界を活用する

命題3.10の証明思路（半ノルム部分、$p>1$）：

1. 積分領域を分解する：$\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$、$\Omega^c \times \Omega^\rho_{\text{ext}}$、$\Omega^\rho_{\text{ext}} \times \Omega^c$
2. 遠場部分（$\Omega^\rho_{\text{ext}}$）：命題3.9と距離下界を利用する
3. 近場部分（$\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$）：
   • 補題3.8を2回利用し、中間積分変数$z,w \in \Omega$を導入する
   • 定理3.5を適用して$\Omega \times \Omega$上の積分を推定する
   • 重要：核関数$a(z,w)$の精密推定（式3.19）

拡張定理の証明戦略

第4節：拡張作用素の構成

核心思想：Whitney分解に基づく加重平均拡張

(a) Whitney分解：

• $\Omega$をdyadic Whitney分解$\mathcal{W}(\Omega)$に分割する
• 各cube $Q$は以下を満たす：$\text{diam}(Q) \leq d(Q,\partial\Omega) \leq 4\text{diam}(Q)$
• $\mathcal{W}_{\leq\kappa}(\Omega)$を辺長$\leq 2^\kappa$のcubesとして定義する。ここで$\kappa := \lfloor\log_2(\rho/\sqrt{d})\rfloor$、$\rho := \text{inr}(\Omega)/2 \wedge 1/2$

(b) 単位分割： 光滑単位分割$\{\phi_Q\}_{Q \in \mathcal{W}(\Omega)}$を構成し、$\sum_Q \phi_Q = 1_\Omega$を満たす

(c) 測度$\tilde{\mu}_s$： 簡略測度（無限遠減衰なし）を定義する： $\tilde{\mu}_s(dz) = 1_{\Omega^c}(z)\frac{1-s}{d_z^s} dz$ および正規化定数： $a_{Q,s} := \left(\tilde{\mu}_s(B_{6l_Q}(q_Q))\right)^{-1}$

補題4.1は以下を証明する：$C^{-1}l_Q^{s-d} \leq a_{Q,s} \leq C l_Q^{s-d}$

(d) 拡張作用素の定義（式4.11）：