[論文レビュー] A note on the uniformity of the constant in the Poincaré inequality

David Ruiz|arXiv (Cornell University)|Aug 29, 2012

Nonlinear Partial Differential Equations参考文献 5被引用数 8

ひとこと要約

本稿は、R^N 内の一様に滑らかで一様に連結かつ一様に有界な領域のクラスにわたる一様な Poincaré 不等式定数を確立する。一様内部錐条件と部分集合の下位集合における一様連結性条件を活用することで、著者らは Poincaré 定数が次元、一様有界性の上限 R、錐のパラメータ、および一様連結性の閾値 δ0 のみに依存することを証明した。この結果は形状最適化や局所モーザー＝トゥリジアン不等式への応用を可能にする。

ABSTRACT

The classical Poincaré inequality establishes that for any bounded regular domain $Ω\subset \R^N$ there exists a constant $C=C(Ω)>0$ such that $$ \int_Ω |u|^2\, dx \leq C \int_Ω | abla u|^2\, dx \ \ \forall u \in H^1(Ω),\ \int_Ω u(x) \, dx=0.$$ In this note we show that $C$ can be taken independently of $Ω$ when $Ω$ is in a certain class of domains. Our result generalizes previous results in this direction.

研究の動機と目的

• Poincaré 不等式における Poincaré 定数が領域 Ω に依存しない条件を同定すること。
• 一様にリプシッツでない領域へと先行研究の均一 Poincaré 定数の結果を一般化すること。
• 非リプシッツ領域（くちばしや細い接続部を有するものも含む）を含むより広いクラスの領域に対して、一様 Poincaré 不等式を確立すること。
• コンパacts による背理法を避け、ホモトピー同値と一般化勾配を用いた直接的証明を提供すること。
• コンパクト集合の r-近傍における一様推定を用いて、将来的な局所モーザー＝トゥリジアン不等式の局所版の構築を支援すること。

提案手法

• 三つの一様条件を導入する：(h1) 半径 R の球内での一様有界性、(h2) 固定された錐 C に対する一様内部錐条件、(h3) 小さい δ < δ0 における Ω^{δ} の一様連結性。
• 距離関数 ̲(x) = d(x, ∂Ω) を定義し、Ω に属するか否かに応じて ℝ^N 上に ̲(x) = ±d(x, ∂Ω) として拡張する。
• Clarke の一般化勾配およびリプシッツ写像に対する擬勾配フロー理論を用いて、̲ の臨界点を解析する。
• 一様錐条件および領域の幾何学的性質に依拠し、δ が十分に小さいとき ̲ は Ω \ Ω^{δ} に臨界点を持たないことを証明する。
• 擬勾配フローを用いた変形再びによって、δ < δ0 のとき Ω と Ω^{δ} の間にホモトピー同値を確立する。
• ホモトピー同値性と境界の ε-近傍における一様測度制御から、一様 Poincaré 不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 一様 C^1 やリプシッツよりも弱い正則性仮定のもとで、Poincaré 定数を領域 Ω に依存しない形にできるか？
• RQ2 どのような幾何学的および位相的条件が、領域族全体にわたる Poincaré 定数の一様有界性を保証するか？
• RQ3 背理法およびコンパクト性に依存せず、一様 Poincaré 不等式の直接的証明が可能か？
• RQ4 一様 Poincaré 定数をコンパクト集合 K ⊂ B(0,R) の r-近傍 K_r にまで拡張可能か？これにより局所解析が可能になるか？
• RQ5 Ω^{δ} の一様連結性が、一様推定を破壊する可能性のある細い首の部分（narrow bottlenecks）の形成をどのように防ぐか？

主な発見

• ∫_Ω |u|^p dx ≤ C ∫_Ω |∇u|^p dx において、u ∈ W^{1,p}(Ω) かつ ∫_Ω u dx = 0 を満たすとき、Poincaré 定数 C は (h1)–(h3) を満たすすべての領域に対して一様に有界であり、C は p, R, δ0, および錐 C のみに依存する。
• 一様連結性条件 (h3) は必要不可欠である：例 2.6 は、任意に細い接続部が存在する場合、Poincaré 定数が発散する可能性があることを示している。
• Poincaré 不等式の証明は、リプシッツ距離関数上の擬勾配フローを用いたことで、Ω と Ω^{δ} の間のホモトピー同値を確立し、位相的安定性を保証する。
• 背理法やコンパクト性に依存せず、Clarke の一般化勾配理論を用いて直接的に変形再びを構成することで、証明を実現している。
• 結果は任意のコンパクト集合 K ⊂ B(0,R) の r-近傍 K_r にまで拡張可能であり、K に依存しない一様 Poincaré 定数が得られる。
• 本フレームワークは、内部のくちばしや除去された線分を有する非リプシッツ領域をカバーしており、従来の一様リプシッツ仮定では除外されていた領域を含む。