[論文レビュー] The best constant in a fractional Hardy inequality

Krzysztof Bogdan, Bartłomiej Dyda|ArXiv.org|Jul 11, 2008

Nonlinear Partial Differential Equations参考文献 33被引用数 4

ひとこと要約

本稿は、censored stable process と Dirichlet 形式を用いて、半空間における分数階ハーディー不等式の最適定数を確立する。超調和関数 $ w(x) = x_d^{(\alpha-1)/2} $ を通じて得られる最良定数 $ \kappa_{d,\alpha} $ が鋭く、改善不能であることを証明し、ガンマ関数とベータ関数を用いた明示的公式を提示する。これは非局所解析分野における未解決問題を解決する。

ABSTRACT

We prove an optimal Hardy inequality for the fractional Laplacian on the half-space.

研究の動機と目的

• 半空間 $ D = \{x_d > 0\} $ における分数階ハーディー不等式の最良定数を特定すること。
• 分数階ラプラシアンと境界への距離を含む不等式における定数 $ \kappa_{d,\alpha} $ の鋭さを確立すること。
• Dirichlet 形式と超調和関数を介して、censored $ \alpha $-stable process という確率過程と不等式を結びつけること。
• 特に $ \alpha \neq 1 $ の場合にあたって、粗い定数を伴うハーディー型不等式に関する先行研究を一般化・精緻化すること。
• 不等式の右辺における最適重み $ x_d^{-\alpha} $ の完全な特徴付けを提供すること。

提案手法

• Fitzsimmons が提唱した、超調和関数とハーディー型不等式を Dirichlet 形式を通じて結びつける一般枠組みの利用。
• 半空間上での censored $ \alpha $-stable process の適用。その Dirichlet 形式は、核 $ |x-y|^{-d-\alpha} $ を持つ二重積分として明示的に与えられる。
• 特定の超調和関数 $ w(x) = x_d^{(\alpha-1)/2} $ の構成。その対数微分が最適重み $ \nu = -\mathcal{L}w/w = \kappa_{d,\alpha} x_d^{-\alpha} $ を与える。
• 拡大する中空領域および等高線集合に台を持つテスト関数の列を用いた鋭さの証明。同次性と対称性を活用した $ L^2 $-型推定の注意深い処理。
• censored process の生成作用素としての regional fractional Laplacian $ \Delta^{\alpha/2}_D $ の使用。死滅する stable process との比較により、最終的な不等式を導出する。
• ベータ関数とガンマ関数を用いた定数 $ \kappa_{d,\alpha} $ の明示的計算。$ B\left(\frac{1+\alpha}{2}, \frac{2-\alpha}{2}\right) $ と正規化定数を含む。

実験結果

リサーチクエスチョン

• RQ1 $ 0 < \alpha < 2 $ の場合に、半空間における分数階ハーディー不等式の最良定数 $ \kappa_{d,\alpha} $ は何か？
• RQ2 $ \kappa_{d,\alpha} $ は $ C_c(D) $ のすべての $ u $ に対して改善可能か、それとも鋭いか？
• RQ3 超調和関数 $ w(x) = x_d^{(\alpha-1)/2} $ の選択が、不等式における最適重み $ x_d^{-\alpha} $ をどのように導くのか？
• RQ4 censored stable process と鋭い分数階ハーディー不等式との関係は何か？
• RQ5 $ \alpha = 1 $ のとき $ \kappa_{d,\alpha} = 0 $ となる理由は何か？また、$ \alpha \neq 1 $ とはどのように異なるか？

主な発見

• 半空間における分数階ハーディー不等式の最良定数は、明示的公式 $ \kappa_{d,\alpha} = \frac{\pi^{\frac{d-1}{2}}\Gamma(\frac{1+\alpha}{2})}{\Gamma(\frac{\alpha+d}{2})} \cdot \frac{B\left(\frac{1+\alpha}{2}, \frac{2-\alpha}{2}\right) - 2^\alpha}{\alpha 2^\alpha} $ で与えられる。
• すべての $ u \in C_c(D) $ に対して不等式 $ \frac{1}{2}\iint_D \frac{(u(x)-u(y))^2}{|x-y|^{d+\alpha}} \, dx\,dy \geq \kappa_{d,\alpha} \int_D u^2(x) x_d^{-\alpha} \, dx $ が成り立ち、$ \kappa_{d,\alpha} $ をより大きな定数に置き換えると成立しなくなる。
• $ \alpha = 1 $ のとき $ \kappa_{d,\alpha} = 0 $ であるが、$ \alpha \neq 1 $ のときは $ \kappa_{d,\alpha} > 0 $ であり、$ \alpha = 1 $ で挙動に顕著な変化が生じることを示唆する。
• 定数 $ \kappa_{d,\alpha} $ は、censored $ \alpha $-stable process に対して超調和である関数 $ w(x) = x_d^{(\alpha-1)/2} $ の比 $ -\mathcal{L}w/w $ から得られる。
• 不等式は、censored stable process の Dirichlet 形式における鋭い定数 $ \frac{\Gamma^2(\frac{1+\alpha}{2})}{\pi} $ を示しており、これは最適である。
• 証明は、中空領域および等高線集合に台を持つテスト関数の列に依拠しており、$ n^{2(d-1)} $ の割合で増加する一様な $ L^2 $-型バインドが得られ、定数の鋭さが証明される。