[論文レビュー] Unique continuation at the boundary for harmonic functions in $C^1$ domains and Lipschitz domains with small constant

Xavier Tolsa|arXiv (Cornell University)|Apr 22, 2020

Advanced Mathematical Modeling in Engineering参考文献 17被引用数 4

ひとこと要約

本稿は、小さな定数をもつ $C^1$ 域およびリプシッツ域における調和関数の境界における一意的拡張性を確立する。もし調和関数が相対的開な境界部分集合で消え、かつその境界の正の測度部分集合で法線微分が消えるならば、関数は恒等的にゼロである。証明はアルムグレンの周波数関数、ログニョフとマリニコヴァの組合せ的技法、および $L^2$ 平均の境界付近での増大を制御する確率的議論に依拠する。

ABSTRACT

Let $Ω\subset\mathbb R^n$ be a $C^1$ domain, or more generally, a Lipschitz domain with small local Lipschitz constant. In this paper it is shown that if $u$ is a function harmonic in $Ω$ and continuous in $\overline Ω$ which vanishes in a relatively open subset $Σ\subset\partialΩ$ and moreover the normal derivative $\partial_νu$ vanishes in a subset of $Σ$ with positive surface measure, then $u$ is identically $0$.

研究の動機と目的

• リプシッツ域において小さな定数をもつ調和関数の境界における一意的拡張性に関する長年の予想を解決すること。
• $C^{1,1}$、凸、ディニ域における既知の結果を、より広いクラスの小さなリプシッツ定数をもつ域へと拡張すること。
• 関数およびその法線微分が正の測度の境界集合で消えるならば、調和関数が自明であることを確立すること。
• 周波数関数の分析と組合せ的技法に基づく新しいアプローチを開発し、周波数関数の一様有界性の必要性を回避すること。

提案手法

• 調和関数の境界付近における $L^2$ 平均の増大を分析するために、アルムグレンの周波数関数を用いる。
• ノード集合に関するログニョフとマリニコヴァの研究にインspiredされた重要な技術的補題を適用し、周波数関数が大きい集合を制御する。
• 濃度の比の下限極限が境界上でほとんど everywhere で有限であることを示すために確率的議論を用いる。
• 三球不等式および周波数関数の対数の凸性を用いて増大推定を得る。
• シュワルツの不等式および $|v|$ の上位調和性を用いて、$L^1$ 平均を $L^2$ 平均で上から抑える。
• 三球不等式およびスケーリングを用いて、小さなパラメータ $\varepsilon$ に関する減衰推定を導出し、平均比の所望の減衰を導く。

実験結果

リサーチクエスチョン

• RQ1 調和関数およびその法線微分が境界の正の測度部分集合で同時に消える条件は何か？ そのとき関数は恒等的にゼロであると結論づけられるか？
• RQ2 周波数関数が一様有界でない場合でも、小さな局所的リプシッツ定数をもつリプシッツ域において、境界における一意的拡張性が確立可能か？
• RQ3 ドゥニや凸性の仮定をせず、僅かなリプシッツ定数のみを仮定することで、予想を証明可能か？
• RQ4 ノード集合論からの組合せ的技法を境界における一意的拡張問題にどのように適応できるか？

主な発見

• 定理 1.1 で述べられるように、局所的リプシッツ定数が十分に小さいリプシッツ域では、境界における一意的拡張性の予想が成立する。
• 従来のディニ域や凸域におけるアプローチとは異なり、周波数関数が一様有界である必要がない。
• 確率的議論により、$\liminf_{r\to 0}\frac{\int_{\partial B(x,12r)}u^{2}\,d\sigma}{\int_{\partial B(x,r)}u^{2}\,d\sigma}<\infty$ が $\Sigma$ のほとんど everywhere で成り立つことが示され、これは $\partial_\nu u$ が正の測度集合で消えないことを意味する。
• この結果により、$C^1$ 域についても予想が成り立つことが示され、それらは小さなリプシッツ定数のグラフで局所的に近似可能であるためである。
• ラプラシアンを定数係数でない偏微分方程式に変換する変数変換技術を避ける一方で、周波数関数と幾何的推定に依拠する。
• 鍵となる補題は、ログニョフとマリニコヴァの組合せ的技法を用いて、周波数関数が大きい集合を制御し、一様有界性がなくても境界付近での増大を制御可能であることを可能にする。