[論文レビュー] Boundary estimates for positive solutions to second order elliptic equations

M. V. Safonov|ArXiv.org|Oct 2, 2008

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 21

ひとこと要約

本稿は、測度的係数を備えた2階楕円型方程式の正の解について、境界推定（特にホフプ＝オレニクの境界点補題および境界リプシッツ推定）を保証する、領域境界に関する鋭い幾何的条件を確立する。主な結果は、比 $ u(x)/|x - x_0| $ が境界付近で有界のままであるためには、外部球条件が必要かつ十分であるということである。これは調和関数および粗い係数を持つ作用素に対しても成り立つ。

ABSTRACT

Consider positive solutions to second order elliptic equations with measurable coefficients in a bounded domain, which vanish on a portion of the boundary. We give simple necessary and sufficient geometric conditions on the domain, which guarantee the Hopf-Oleinik type estimates and the boundary Lipschitz estimates for solutions. These conditions are sharp even for harmonic functions.

研究の動機と目的

• 測度的係数を備えた2階楕円型方程式の正の解について、ホフプ＝オレニク型推定が成り立つために必要な領域境界の幾何的条件を同定すること。
• 係数が測度的であっても、領域の幾分か不規則な幾何的構造を有する場合でも、境界の一部で解が消える場合の境界リプシッツ推定を確立すること。
• 比 $ u(x)/|x - x_0| $ の有界性に関して、外部球条件が鋭いことを証明し、古典的結果を測度的係数の状況に拡張すること。
• 最小限の正則性仮定のもとで、比較原理とバリア関数を用いた統一的な枠組みを提供すること。

提案手法

• 部分領域におけるサブスローションとスーパーローションの比較原理（定理1.3）を用い、解が構築されたバリア関数を支配することを保証する。
• 作用素 $ L $ に対して $ Lv \geq 0 $ を満たす形のバリア関数 $ v(x) = |x - y_0|^{-\nu} $ の構築。これは次元 $ n $、強度定数 $ \nu $、および低次の係数に依存する適切な指数 $ \lambda $ の条件下で成り立つ。
• 境界のグラフ $ \psi(|x'|) $ の切り詰めを用いて不規則な領域を平坦境界を持つ領域に近似し、dyadicアニュラスにおける局所推定の適用を可能にする。
• dyadic領域 $ D_k $ におけるハルナックの不等式と反復推定を用い、解の境界付近での成長を制御し、$ w(x)/|x| $ の一様有界性を導出する。
• 境界の平坦性を逐次近似で制御する関数 $ \theta_k = h_k / r_k $ を用い、積 $ \prod (1 + N\theta_{k-1}) $ の収束を保証する。
• 全域問題を、グラフ $ x_n = -\psi(|x'|) $ で定義される局所モデル領域 $ Q^* $ に還元し、反復的バリア構成と比較原理により推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 測度的係数を備えた2階楕円型方程式の正の解について、ホフプ＝オレニクの境界点補題が成り立つために、領域境界に必要な幾何的条件は何か？
• RQ2 領域が $ C^1 $ の正則性を持たない場合でも、$ u = 0 $ となる境界点 $ x_0 $ の近傍で、比 $ u(x)/|x - x_0| $ が有界であるための条件は何か？
• RQ3 調和関数に対する古典的境界推定を、$ C^1 $ もしくはホルダー滑らかさを要しない係数を持つ方程式へ拡張できるか？
• RQ4 比 $ u(x)/|x - x_0| $ の有界性に関して、外部球条件は鋭いか？また、作用素の係数が粗い場合でも必要性は保たれるか？
• RQ5 境界が滑らかでない領域において、係数の正則性に依存せず、領域の幾何と作用素の楕円的性質のみを用いて、効果的なバリアをどのように構成できるか？

主な発見

• 正の解 $ u $ が $ Lu \geq 0 $ を満たし、$ x_0 $ の近傍で $ u = 0 $ であるとき、比 $ u(x)/|x - x_0| $ が $ x_0 $ の近傍で有界であるためには、$ x_0 $ における外部球条件が必要かつ十分である。
• ホフプ＝オレニクの補題が成り立つのは、領域が $ x_0 $ で内部球条件を満たすときであり、測度的係数を持つ作用素に対しても同様である。
• 関数 $ \psi $ が $ I(\psi) < \infty $ を満たす限り、グラフ $ x_n = -\psi(|x'|) $ で定義されるモデル領域 $ Q^* $ において、比 $ u(x)/|x| $ は有界である。この $ I(\psi) $ は境界の平坦性を制御する。
• 証明は、平坦境界を持つ近似領域 $ Q_k^* $ の列を構築し、ハルナックの不等式と比較原理を用いた反復推定により行われる。
• 有界性の定数 $ \sup u(x)/|x| < \infty $ は、$ n $、$ \nu $、および $ \psi $ の連続モジュラスにのみ依存し、係数の滑らかさには依存しない。
• 結果は鋭い：外部球条件を満たさない領域では、調和関数に対しても比 $ u(x)/|x - x_0| $ が無限大に発散する例が存在する。