[論文レビュー] The Riesz Capacity in Metric Spaces

Juho Nuutinen, Pilar Silvestre|arXiv (Cornell University)|Jan 23, 2015

Advanced Harmonic Analysis Research参考文献 21被引用数 3

ひとこと要約

本稿は、双曲測度を備えた距離空間におけるリース容量の理論を確立し、古典的ユークリッド容量論を一般化する距離的リースポテンシャルおよび容量を定義する。単調性、可算劣加性、ファトウの補題に類似した下付き連続性といった重要な性質を証明し、アーフォルス正則性の仮定なしに、修正されたハウスドルフコンテンツを用いた鋭い上界および下界を示す。

ABSTRACT

We study a capacity theory based on a definition of a Riesz potential in metric spaces with a doubling measure. In this general setting, we study the basic properties of the Riesz capacity, including monotonicity, countable subadditivity and several convergence results. We define a modified version of the Hausdorff measure and provide lower bound and upper bound estimates for the capacity in terms of the modified Hausdorff content.

研究の動機と目的

• 一般の距離測度空間に双曲測度を備えた状況において、距離的リースポテンシャルに基づく容量論を構築すること。
• リース容量の基本的性質（単調性、可算劣加性、ファトウ型下付き連続性）を確立すること。
• 修正されたハウスドルフコンテンツを定義し、このコンテンツを用いてリース容量の上界および下界を導出すること。
• リース容量がチョケット容量であることを示し、特定の条件下で正のハウスドルフコンテンツと同等であることを証明すること。
• アーフォルス正則性を要件としない一般の距離測度空間へ、ユークリッド空間における古典的リース容量論を拡張すること。

提案手法

• 距離空間 $X$ 上の測度 $\mu$ に対して、$\gamma \in (0,1)$ を用いて、$I_\gamma f(x) = \int_X \frac{f(y)}{\mu(B(x,d(x,y)))^{1-\gamma}} \, d\mu(y)$ と定義する。これは核関数に球の測度のみを用いる。
• 測度 $\mu$ の双曲性を用いて、球の測度の成長見積もりを導出し、$r \leq R$ のとき $\mu(B(y,r))/\mu(B(x,R)) \geq C(r/R)^Q$ が成り立つことを示す。
• リース容量の上界および下界を推定するために、修正されたハウスドルフコンテンツ $\widetilde{\mathcal{H}}_{\infty}^{\gamma,p}$ を導入する。
• ホルダーの不等式および球のダイアディック分解を用いて、試験関数の $L^p$ ノルムと容量見積もりを関連付ける。
• $5r$-被覆定理を用いて、集合 $E$ を被覆する互いに交わらない球を選択し、双曲性を用いて測度を比較する。
• 条件 $\tilde{\gamma}\tilde{p} < \gamma p < 1$ の下で、正の容量と正の修正ハウスドルフコンテンツが同等であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的リース容量論は、双曲測度を備えた一般の距離測度空間へどのように拡張可能か？
• RQ2 距離的リース容量の基本的性質（単調性、劣加性、下付き連続性）は何か？
• RQ3 アーフォルス正則性を仮定しない状況で、修正されたハウスドルフコンテンツを用いてリース容量の上界および下界を定められるか？
• RQ4 正のリース容量が正の修正ハウスドルフコンテンツを意味する条件は何か。逆に、正の修正ハウスドルフコンテンツが正のリース容量を意味する条件は何か？
• RQ5 コンパクト集合および開集合による近似において、容量はどのように振る舞い、チョケット容量であるか？

主な発見

• リース容量 $\mathcal{C}_{\gamma,p}$ はチョケット容量である。これは、内部からコンパクト集合による近似と外部から開集合による近似が可能であることを意味する。
• リース容量はファトウ型下付き連続性を満たす。これは、集合の単調減少列 $\{E_n\}$ に対して $\liminf_{n\to\infty} \mathcal{C}_{\gamma,p}(E_n) \geq \mathcal{C}_{\gamma,p}(E)$ が成り立つことを示す。
• 任意のボレル集合 $E$ に対して、条件 $\gamma p < 1$ の下で $\mathcal{C}_{\gamma,p}(E) > 0$ ならば $\widetilde{\mathcal{H}}^{\gamma,p}(E) > 0$ が成り立つ。
• 空間が連結で、$\tilde{\gamma}\tilde{p} < \gamma p < 1$ を満たすとき、$\widetilde{\mathcal{H}}^{\tilde{\gamma},\tilde{p}}(E) > 0$ ならば $\mathcal{C}_{\gamma,p}(E) > 0$ が成り立つ。
• 任意の非負関数 $f$ に対して $f \geq \chi_E$ かつ $\|f\|_{L^p}^p < \epsilon$ を満たすとき、$\mathcal{C}_{\gamma,p}(E)$ は $\|f\|_{L^p}^p$ の定数倍で上から抑えられ、$\epsilon \to 0$ の極限で $\mathcal{C}_{\gamma,p}(E) = 0$ となる。
• 修正されたハウスドルフコンテンツ $\widetilde{\mathcal{H}}_{\infty}^{\gamma,p}$ は、定数が双曲性および次元パラメータにのみ依存する上界および下界を提供する。