[論文レビュー] Alternative proof of Keith-Zhong self-improvement and connectivity

Sylvester Eriksson‐Bique|arXiv (Cornell University)|Oct 7, 2016

Geometric Analysis and Curvature Flows参考文献 8被引用数 3

ひとこと要約

本稿では、倍加距離測度空間における(1,p)-Poincaré不等式のKeith-Zhong自己改善定理について、曲線に沿ったMuckenhoupt型条件を用いたPoincaré不等式の新規特徴付けを用いて、直接的で明示的な定量的評価を伴う新規証明を提示する。証明により、自己改善がq < p − εにおいて成立することが示され、εはpに比例し、倍加定数およびPoincaré定数の累乗の逆数に反比例する。これは、改善量に関する初めての明確な推定値を提供する。

ABSTRACT

We find a new proof for the celebrated theorem of Keith and Zhong that a $(1,p)$-Poincaré inequality self-improves to a $(1,p-ε)$-Poincaré inequality. The paper consists of a novel characterization of Poincaré inequalities and then uses it to give an entirely new proof which is closely related to Muckenhoupt-weights. This new characterization, and the alternative proof, demonstrate a formal similarity between Muckenhoupt-weights and Poincaré inequalities. The proofs we give are short and somewhat more direct. With them we can give the first completely transparent bounds for the quantity of self-improvement and the constants involved. We observe that the quantity of self-improvement is, for large $p$, directly proportional to $p$, and inversely proportional to a power of the doubling constant and the constant in the Poincaré inequality. The proofs can be localized and thus we obtain more transparent proofs of the self-improvement of local Poincaré inequalities.

研究の動機と目的

• 倍加距離測度空間における(1,p)-Poincaré不等式のKeith-Zhong自己改善定理について、より明確な証明を提供すること。
• p、倍加定数D、Poincaré定数C_PIを用いて、自己改善指数εの明示的定量的境界を確立すること。
• 曲線断片と反復を用いた新規特徴付けを通じて、Muckenhoupt重みとPoincaré不等式の間の深い構造的類似性を明らかに・形式化すること。
• 局所的Poincaré不等式に証明を拡張するために、議論を局所化し、スケール依存性を追跡すること。

提案手法

• 曲線に沿った上付き勾配の積分平均の下界を用いて定義されるMuckenhoupt型条件を用いて、(1,p)-Poincaré不等式の新規特徴付けを導入すること。
• 関数の変動を制御し、上付き勾配のL^pノルムと関連付けるために、反復的曲線断片分解を用いること。
• gが適切な関数類に属するとき、x,yのすべてのペアについて(1/d(x,y))∫_γ g dsの下界の上限として、α^p(L,τ)を定義すること。
• 再帰的不等式：α^q(L,τ) ≤ C M^k τ + δ max_{i=1,…,k} M^{-i} α^q(L, M^i τ) を確立し、反復を可能にし、自己改善推定値を導出すること。
• A_p接続性条件をブリッジとして用いる：A_p接続性が(1,p)-Poincaré不等式を示し、かつA_p接続性がq < p − εにおいてA_q接続性を示すことを示すこと。
• スケールr_0に制限し、倍加およびPoincaré不等式のスケールを追跡することで証明を局所化し、有限スケールでも議論が成り立つようにすること。

実験結果

リサーチクエスチョン

• RQ1 自己改善が、明示的かつ透明な定量的境界を伴って(1,p)-Poincaré不等式に証明可能か？
• RQ2 自己改善指数εが倍加定数DおよびPoincaré定数C_PIにどのように依存するかの正確な依存関係は何か？
• RQ3 証明および定義のレベルで、Muckenhoupt重みとPoincaré不等式の間の形式的構造的類似性は存在するか？
• RQ4 自己改善結果は有限スケールに局所化可能か？その場合、必要なスケール条件は何か？

主な発見

• p > 1に対して、自己改善指数εはε ≤ p / (2^{13p+3} C_PI^p D^{3p+4})^{1/(p−1)} を満たし、p、C_PI、Dに明示的な依存関係を示す。
• 大きなpに対して、自己改善量εは漸近的にp / (2^7 C_PI)と振る舞い、pに比例しC_PIに反比例することが示される。
• 証明により、A_p接続性がすべてのq < p − ε(D,p,C_A)に対してA_q接続性を示すことが示され、εはDおよびC_Aに定量的に依存する。
• 本手法により、自己改善現象に対する完全に透明で直接的な境界が得られ、元の証明における長年の曇りを解消した。
• 局所化されたバージョンの結果は、r_0 ≤ min{r_PI/4, r_D/(20C)} を満たす場合に成り立ち、必要なスケールで倍加およびPoincaré性質が有効であることを保証する。
• Muckenhoupt重みとPoincaré不等式の間の関係は、曲線に基づく特徴付けを通じて形式化され、証明レベルで深い構造的類似性が明らかになった。