[論文レビュー] On fractional Poincaré inequalities

Ritva Hurri-Syrjänen, Antti V. Vähäkangas|arXiv (Cornell University)|Nov 15, 2011

Advanced Harmonic Analysis Research参考文献 5被引用数 12

ひとこと要約

本稿では、R^n 内の有界なジョン領域および s-ジョン領域に対して、鋭い分数階 Poincaré 不等式を確立し、最適な幾何的・次元的条件下で (1,p)-Poincaré 不等式が成り立つことを証明する。領域のミンコフスキー次元が臨界閾値を超えると、このような不等式が成り立たないことを示し、dyadic Whitney 分解と振動推定を用いた明示的反例により鋭さを示している。

ABSTRACT

We show that fractional (p,p)-Poincaré inequalities and even fractional Sobolev-Poincaré inequalities hold for bounded John domains, and especially for bounded Lipschitz domains. We also prove sharp fractional (1,p)-Poincaré inequalities for s-John domains.

研究の動機と目的

• 有界なジョン領域が分数階 (p,p)-Poincaré 不等式を満たすための十分な幾何的条件を特定すること。
• s>1 である s-ジョン領域に対して、鋭い分数階 (1,p)-Poincaré 不等式を証明すること。
• 境界のミンコフスキー次元に関して、分数階 (q,p)-Poincaré 不等式の失敗の鋭い閾値を特定すること。
• dyadic Whitney 分解を用いた明示的反例を構築し、不等式の鋭さを示すこと。

提案手法

• 著者たちは、領域 G を dyadic ワイエルシュトラス立方体に分解することで、関数の局所的および大域的挙動を分析する。
• 固定された立方体 Q0 から他のすべてのワイエルシュトラス立方体へ至るチェーン分解を定義し、連結性および境界からの距離を制御する。
• Hölder の不等式および Minkowski の不等式を用いて、部分立方体における振動を推定するが、分数階の指数 δ を適切にスケーリングする。
• 重要な技法として、特定のワイエルシュトラス立方体の特性関数を用いて、平均がゼロである関数列 vm を構成し、Poincaré 不等式のテストに用いる。
• 境界の Minkowski 次元を用いて、不等式の失敗の鋭い閾値を特徴付ける。
• 特定のスケールで立方体の数が指数関数的に増加するように選択することで、反例を構築し、s-ジョン領域の幾何的性質を活用して Poincaré 確率の発散を示す。

実験結果

リサーチクエスチョン

• RQ1 R^n 内の有界領域 G に対して、1≤q≤p<∞ である分数階 (q,p)-Poincaré 不等式が成り立つための幾何的条件は何か？
• RQ2 境界のミンコフスキー次元に関して、分数階 (1,p)-Poincaré 不等式の失敗の鋭い閾値は何か？
• RQ3 指定された境界次元を持つ s-ジョン領域において、(1,p)-Poincaré 不等式の鋭さを明示的反例によって示すことができるか？
• RQ4 s-ジョン領域におけるパrameter s が、p>1 の場合の分数階 Poincaré 不等式の有効性に与える影響は何か？
• RQ5 分数階の指数 δ と不等式の失敗の次元閾値との関係は何か？

主な発見

• 分数階 (p,p)-Poincaré 不等式は、リプシッツ領域や一様領域も含むすべての有界ジョン領域で成り立つ。
• 境界のミンコフスキー次元 λ に関して最適な条件下で、s>1 である s-ジョン領域に対して鋭い分数階 (1,p)-Poincaré 不等式が確立された。
• s < (n+1−λ)/(1−δ) かつ p ≤ (s(n−1)−λ+1)/(n−s(1−δ)−λ+1) のとき、不等式は成り立たないことが示され、指数範囲の鋭さが裏付けられた。
• 特定のスケールで指数関数的に増加する数の dyadic ワイエルシュトラス立方体を用いた明示的反例が構築され、m→∞ のとき Poincaré 確率が発散することを示した。
• 境界 ∂G_s の Minkowski 次元 λ は dim_M(∂G_s)=λ を満たし、この値が (1,p)-Poincaré 不等式の失敗の鋭い閾値を決定する。
• q<p のとき A_m / B_m → ∞ となるため、G_s においては提示された条件下で (q,p)-Poincaré 不等式は成り立たないことが証明された。