[論文レビュー] An inequality à la Szegő-Weinberger for the $p-$Laplacian on convex sets

Lorenzo Brasco, Carlo Nitsch+1 more|arXiv (Cornell University)|Jul 28, 2014

Advanced Mathematical Modeling in Engineering参考文献 14被引用数 5

ひとこと要約

本稿では、直径を用いて、凸集合における $p$-ラプラシアンの最初の非自明なノイマン固有値の鋭い上界を確立し、集合が線分に退化する極限においてその上界に近づくことを証明している。主な結果は、$p \in (1,\infty)$ の非線形 $p$-ラプラシアン設定において、古典的なツェゴ-ヴァインバーガー不等式を一般化したものであり、任意の $N$ 次元球 $B$ に対して $\mu_p(\Omega) < \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{\mathrm{diam}(\Omega)}\right)^p$ が成り立ち、有界な凸集合では等号が決して成立しないことを示している。

ABSTRACT

In this paper we prove a sharp inequality of Szegő-Weinberger type for the first nontrivial eigenvalue of the $p-$Laplacian with Neumann boundary conditions. This applies to convex sets with given diameter. Some variants, extensions and limit cases are investigated as well.

研究の動機と目的

• 凸集合における $p$-ラプラシアンの最初の非自明なノイマン固有値 $\mu_p(\Omega)$ の鋭い上界を、直径を用いて確立すること。
• $p=2$ の場合に成立する古典的なツェゴ-ヴァインバーガー不等式が、$p \neq 2$ の凸領域においても拡張可能かどうかを検討すること。
• 形状最適化問題 $\sup\{\mu_p(\Omega) : \Omega \subset \mathbb{R}^N \text{ 凸}, \mathrm{diam}(\Omega) \geq 1\}$ を分析し、その上界を特定すること。
• 上界がいかなる有界凸集合に対しても達成されないが、線分に退化する凸集合の列に沿って極限的に達成されることを証明すること。
• $p=2$ の場合の不等式を一般化し、$\mu_p(\Omega)$ を球の $p$-ラプラシアン固有値と関連付けるスケーリング不変不等式を導出すること。

提案手法

• 著者たちは、[6] の技術にインspiredされた、凸集合の幾何構造と $p$-ラプラシアン構造に合わせて巧みに構築されたテスト関数を用いている。
• 彼らは、凸集合の断面積をモデル化する重み関数 $g(s)$ を持つ線分上での固有値問題の1次元還元を分析している。
• 証明は、$\mu_p(\Omega)$ の変分的特徴づけと、$p \geq 2$ の場合にはラグランジュ乗数法を用いるが、$1 < p < 2$ の場合には [11] の近似と正則性の議論を用いて処理している。
• 任意の最小化子が原点以外では必ずゼロとなることを示すために、背理法が用いられている。これにより、対称性と他点での正則性が証明される。
• 著者たちは、等直径不等式を活用して、体積に関する二次的な上界を導出し、$\mu_p(\Omega)$ を $\lambda_p(B)$ と $|\Omega|$ に関連づけている。
• 上界 $\mu^*$ が有限であり、かつ達成されないことを示しており、線分に退化する凸集合の列 $\Omega_n$ に沿って $\mu_p(\Omega_n) \to \mu^*$ となることを確立している。

実験結果

リサーチクエスチョン

• RQ1 $p=2$ の場合に成立するラプラシアンの最初の非自明なノイマン固有値に関するツェゴ-ヴァインバーガー不等式を、$p \neq 2$ の $p$-ラプラシアンに拡張できるか。
• RQ2 凸集合における $\mu_p(\Omega)$ に対して、直径を用いた鋭い上界が存在するか。
• RQ3 形状最適化問題 $\sup\{\mu_p(\Omega) : \Omega \text{ 凸}, \mathrm{diam}(\Omega) \geq 1\}$ に最大値が存在するか。
• RQ4 凸集合が線分に退化する際の $\mu_p(\Omega)$ の漸近的挙動はいかなるものか。
• RQ5 直径に関する上界を用いて、等直径不等式を介して $\mu_p(\Omega)$ の体積に基づく上界を導出できるか。

主な発見

• 直径が 1 以上の凸集合における $\mu_p(\Omega)$ の上界は有限であり、$\mu^* = \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{1}\right)^p$ で与えられる。ここで $B$ は $N$ 次元球である。
• すべての有界凸集合 $\Omega$ に対して不等式 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{\mathrm{diam}(\Omega)}\right)^p$ が成り立つ。
• 上界 $\mu^*$ はいかなる有界凸集合に対しても達成されないが、線分に退化する凸集合の列に沿って極限的に達成される。
• 任意の凸集合 $\Omega$ に対して、$\mu_p(\Omega) < \lambda_p(B) \left(\frac{|B|}{|\Omega|}\right)^{p/N}$ が成り立つ。これは直径に関する上界と等直径不等式を組み合わせることで導出される。
• 最初の非自明なノイマン固有値 $\mu_p(\Omega)$ は、同じ直径を持つ球の対応するディリクレ固有値 $\lambda_p(B)$ よりも厳密に小さい。
• 1次元固有値問題の最小化子は原点でのみゼロとなる。これは、厳密な不等式と対称性の性質を証明するために不可欠である。