On the traces of harmonic functions $H^{1/2}$ and $H^{3/2}$ in Lipschitz domains

技術要約：リプシッツ領域における調和関数の $H^{1/2}$ および $H^{3/2}$ のトレースについて

問題提起
本論文は、有界リプシッツ領域における調和関数の特定のノルム等価評価の妥当性、特に境界 $\Gamma$ 上のトレースの $L^2$ ノルムと、領域内部における勾配およびヘッセ行列に関する重み付きソボレフノルムとの関係に関して扱っている。具体的には、著者らは、固定された点 $x_0 \in \Omega$ に対して $u=0$ となる調和関数 $u$ に対し、以下の不等式を提案した Dahlberg [7] らの研究を調査している：
$$C^{-1}\|u\|_{L^2(\Gamma)} \leq \left( \int_\Omega \varrho |\nabla u|^2 \right)^{1/2} \leq C\|u\|_{L^2(\Gamma)}$$
ここで $\varrho$ は境界までの距離である。中心となる問いは、領域 $\Omega$ が単にリプシッツである場合、特に非凸な角（多角形/多面体領域）が存在する場合において、これらの評価が $H^{1/2}(\Omega)$（および拡張して $H^{3/2}(\Omega)$）内の調和関数に対して一般に成立するのか、あるいは成立しないのかという点である。

手法
著者らは、部分空間の補間理論、非滑らかな領域におけるラプラス方程式の正則性理論、および明示的な反例の構成を組み合わせて用いている。

1. 多角形/多面体領域における正則性解析： Grisvard の研究および補間理論（特に Ivanov-Kalton および Asekritova-Cobos-Kruglyak の定理）を利用して、著者らは分数ソボレフ空間 $H^s(\Omega)$ ($0 \leq s \leq 2$) における非同次ディリクレ問題 $-\Delta u = f$ （ただし $u=0$ on $\Gamma$）の解の存在を分析している。彼らはこれらの空間におけるラプラス作用素の核（kernel）を特徴付け、非凸多角形において核 $N_{-s}(\Omega)$ が非自明となり、ラプラス作用素の同型性を左右することを示している。
2. 反例の構成： トレース不等式の妥当性を検証するため、著者らは Nečas によって提供された明示的な関数に基づき、特定のリプシッツ領域 $\Omega_\varepsilon$ と調和関数の族を構成している。この関数は、$\varepsilon \to 0$ となるにつれて境界上の接微分が非有界となる一方で、$\Omega_\varepsilon$ 内で有界な重み付きヘッセ行列ノルムを持つように設計されている。
3. 関数空間の特定： 標準的な埋め込みの失敗を認識し、著者らは新しい関数空間 $E(\nabla; \Omega) = \{v \in H^{1/2}(\Omega); \nabla v \in [H^{1/2}(\Omega)]'\}$ を定義している。彼らはこの空間におけるトレース作用素 $\gamma_0$ の性質を調査している。
4. 正則性の仮定： 論文では、標準的な正則性結果が成立する $C^{1,1}$ 級の領域と、リプシッツ級の領域を対比させることで、トレース評価が有効となる正確な条件を明確にしている。

主要な貢献および結果

• 一般的なトレース不等式の反駁： 本論文は、Dahlberg らによって引用された不等式 (1.1) および (1.2) が、一般的なリプシッツ領域においては現在の形式では成立しないことを示している。具体的には、非凸多角形領域において、$H^{3/2}(\Omega)$（および $H^{1/2}(\Omega)$）に属する調和関数が存在し、それらは有界な重み付き内部ノルムを持つものの、境界上のトレース（$H^1(\Gamma)$ または $L^2(\Gamma)$）は非有界となる。これは、任意の $H^{1/2}(\Omega)$ 内の調和関数が、一般的なリプシッツ設定において自動的に $L^2(\Gamma)$ トレースを持つという主張を無効にするものである。
• ディリクレ問題の最適正則性： 著者らは、多角形および多面体領域における分数ソボレフ空間でのディリクレ問題の可解性を完全に特徴付けている。彼らは、最大の内部角 $\omega_\star$ に関連する臨界指数（具体的には $1 - \pi/\omega_\star$）を特定し、ソース項 $f$ に対する適合条件が満たされない限り、解の正則性が期待される $H^{3/2}$ または $H^2$ レベルを下回ることを示している。
• 空間 $E(\nabla; \Omega)$ の導入： 論文は、$s=1/2$ の極限ケースにおけるトレース理論のための正しい関数的枠組みとして $E(\nabla; \Omega)$ を特定している。
  • トレース作用素 $\gamma_0: E(\nabla; \Omega) \to L^2(\Gamma)$ はウェルディファインド（well-defined）であり、連続である。
  • この作用素の核は、正確に $H^{1/2}_{00}(\Omega)$ である。
  • これは $H^{1/2}_{00}(\Omega)$ の新しい特徴付けを提供し、$L^2$ トレースの存在を保証するための $H^{1/2}(\Omega)$ に代わる選択肢を提供する。
• $C^{1,1}$ 領域における妥当性： 著者らは、領域 $\Omega$ が $C^{1,1}$ 級であれば、元の不等式は成立することを証明している。この正則な設定において、トレース作用素は $H^{1/2}(\Omega)$ 内の調和関数の空間と $L^2(\Gamma)$ との間、および $H^{3/2}(\Omega)$ と $H^1(\Gamma)$（法線微分のケース）との間で同型写像となる。

意義
本論文は、非滑らかな領域における調和関数のトレースに関する理解における決定的なギャップを明らかにしている。リプシッツ領域における重み付き勾配ノルムが、調和関数の $L^2$ 境界トレースを保証するのに十分であるという仮定を修正している。再入角（re-entrant corners）が存在する場合にこれらの評価が成立しないことを確立することで、本研究は、極限ケースにおいて標準的なソボレフ空間 $H^{1/2}(\Omega)$ ではなく、特定の空間 $E(\nabla; \Omega)$ に依存する、より微細な正則性理論へのアプローチを必要とすることを浮き彫りにしている。これらの結果は、多角形領域における分数空間でのディレクレ問題の可解性に関する理解を洗練させ、正則性が領域の幾何学的な特異性に依存することを強調している。