[論文レビュー] Square functions, non-tangential limits and harmonic measure in co-dimensions larger than one

Guy David, Max Engelstein+1 more|arXiv (Cornell University)|Aug 27, 2018

Numerical methods in inverse problems参考文献 19被引用数 5

ひとこと要約

本稿は、下位次元のアーフォルズ正則集合に対して、補集合における正則化距離関数の勾配の振動を用いて、一様かつ一般の可解性を特徴づける。これは、1より大きな余次元における可解性について、リーマン変換型の特徴づけを初めて明らかにし、正則化距離関数が退化楕円型偏微分方程式を満たす特別な場合を特定した。この場合、調和測度を明示的に計算でき、Dahlbergの定理の逆が余次元が1より大きい場合、追加の仮定なしには成り立たないことを示した。

ABSTRACT

In this paper, we characterize the rectifiability (both uniform and not) of an Ahlfors regular set, E, of arbitrary co-dimension by the behavior of a regularized distance function in the complement of that set. In particular, we establish a certain version of the Riesz transform characterization of rectifiability for lower-dimensional sets. We also uncover a special situation in which the regularized distance is itself a solution to a degenerate elliptic operator in the complement of E. This allows us to precisely compute the harmonic measure of those sets associated to this degenerate operator and prove that, in a sharp contrast with the usual setting of co-dimension one, a converse to the Dahlberg's theorem (see [Da] and [DFM2]) must be false on lower dimensional boundaries without additional assumptions.

研究の動機と目的

• 余次元が1より大きい集合へのリーマン変換および調和測度による可解性特徴づけの拡張。
• Dahlbergの定理の逆—調和測度が表面測度に関して絶対連続であることと可解性の関係—が高余次元でも成り立つかどうかの調査。
• 正則化距離関数が集合の補集合において退化楕円型偏微分方程式を満たす条件の特定。
• 正則化距離関数が退化楕円型作用素の解である特別な場合に、調和測度を明示的に計算すること。
• 高余次元における一様可解集合に対しての平方関数推定の確立。

提案手法

• 幾何学的・解析的性質の分析のため、正則化距離関数 $ D_{\mu,\alpha} $ を導入する。
• 勾配 $ |\nabla D_{\mu,\alpha}| $ を用いて、振動および平方関数推定を通じて可解性を特徴づける。
• 吹き出し技法および非接線的極限を用いて、$ E $ の点付近での $ |\nabla D| $ の漸近的挙動を研究する。
• 特定の「魔法の」$ \alpha $ 値に対して $ D_{\alpha} $ が退化楕円型偏微分方程式を満たすことを特定し、グリーン関数および調和測度の明示的計算を可能にする。
• コンパクトネスの議論および接空間測度を用いて、スケーリングされた関数の極限を分析し、漸近的挙動を導出する。
• 部分積分および接平面における回転対称性を用いて、$ \nabla D $ を含む積分の極限を計算し、調和測度のラドン＝ニコディム微分が表面測度に関して明示的な式を得る。

実験結果

リサーチクエスチョン

• RQ1 リーマン変換による可解性特徴づけを、余次元が1より大きい集合へ拡張できるか。
• RQ2 Dahlbergの定理の逆—調和測度が表面測度に関して絶対連続であることと可解性の関係—が高余次元でも成り立つか。
• RQ3 正則化距離関数 $ D_{\alpha} $ が集合 $ E $ の補集合において退化楕円型偏微分方程式の解となる条件は何か。
• RQ4 正則化距離関数 $ D_{\alpha} $ が退化楕円型偏微分方程式の解である場合、調和測度と表面測度の正確な関係は何か。
• RQ5 非接線的極限 $ |\nabla D| $ は、表面測度の密度および $ E $ の幾何構造とどのように関係するか。

主な発見

• 本稿は、$ d $-アーフォルズ正則集合 $ E \subset \mathbb{R}^n $ の一様可解性について、$ E $ の補集合における $ |\nabla D_{\mu,\alpha}| $ の振動を用いた必要十分条件を確立し、1より大きな余次元におけるリーマン変換特徴づけを拡張した。
• 特定の「魔法の」$ \alpha $ 値に対して、正則化距離 $ D_{\alpha} $ は退化楕円型偏微分方程式を満たし、グリーン関数および調和測度の明示的計算が可能になった。
• この特別な場合、調和測度 $ \omega_{\sigma,\alpha} $ は表面測度 $ \sigma = \mathcal{H}^d|_E $ に比例するが、$ E $ が不規則であっても成り立つ。これは、余次元1の場合とは明確に対照的である。
• ほとんど everywhere での $ \sigma $-a.e. $ Q \in E $ における $ |\nabla D| $ の非接線的極限が $ L = c_{n,d} \Theta^d(\sigma, Q)^{-1/\alpha} $ であることが示され、$ \Theta^d(\sigma, Q) = 1 $ のときこの極限は定数である。
• ラドン＝ニコディム微分 $ \frac{d\omega}{d\sigma}(Q) $ が $ L^{-(n-d-2)} $ に比例することを示し、距離関数の勾配と調和測度の密度との間の定量的関係を確立した。
• この結果により、余次元が1より大きい場合、追加の仮定なしにはDahlbergの定理の逆が成り立たないことが示された。なぜなら、$ E $ が一様可解でなくても、調和測度が表面測度に関して絶対連続である場合があるからである。