[論文レビュー] Fractional eigenvalue problems that approximate Steklov eigenvalues

Leandro M. Del Pezzo, Julio D. Rossi+1 more|arXiv (Cornell University)|Jan 20, 2016

Nonlinear Partial Differential Equations参考文献 14被引用数 3

ひとこと要約

本稿は、非局所的 p-ラプラシアンと境界重み付き項を含む分数階固有値問題を導入し、分数階パラメータ $ s \to 1^{-} $ の極限において、古典的ステクロフ固有値問題を近似することを示している。主な結果として、分数階問題の第一固有値が古典的ステクロフ固有値に収束することを確立しており、分数マクロ計算を用いた古典的境界値問題の非局所的近似を提供している。

ABSTRACT

In this paper we analyze possible extensions of the classical Steklov eigenvalue problem to the fractional setting. In particular, we find a nonlocal eigenvalue problem of fractional type that approximate, when taking a suitable limit, the classical Steklov eigenvalue problem.

研究の動機と目的

• 分数階 p-ラプラシアンに基づく非局所的固有値問題を構築し、$ s \to 1^{-} $ の極限において古典的ステクロフ固有値問題を近似すること。
• 分数階非局所作用素と古典的ステクロフ問題との間の関係を、固有値の漸近的解析を通じて確立すること。
• 分数階問題の第一固有値が分数階パラメータが1に近づくにつれて古典的ステクロフ固有値に収束することを証明すること。
• トレースとエネルギー推定を用いて、分数階固有値問題が古典的ステクロフ問題に収束することを厳密に分析すること。

提案手法

• 領域 $ \Omega $ 内で分数階 p-ラプラシアン $ (-\Delta)^s_p $ と境界重み付き項 $ \frac{\lambda}{\varepsilon} \chi_{\Omega_\varepsilon} |u|^{p-2}u $ を含む非局所的固有値問題を定式化し、領域外 $ \Omega^c $ で非局所的ノイマン型条件 $ \mathcal{N}_{s,p}u = 0 $ を満たす。
• 分数階セミノルムが $ s \to 1^{-} $ の極限で古典的ディリクレエネルギーに収束するように保証するため、正規化定数 $ \mathcal{K}_{n,p} $ を用いる。
• 部分積分と非局所的発散定理に基づく弱形式を用いて、問題の変分的構造を導出する。
• 分数階エネルギーと $ \Omega_\varepsilon $ 上の境界帯ノルムを含む正規化固有値関数 $ \lambda_{1,\varepsilon}(s,p) $ を定義し、$ \varepsilon = 1-s $ とする。
• 分数階ソボレフ空間からのコンパクトネスと収束結果を適用し、分数階セミノルムが古典的 $ W^{1,p} $-セミノルムに収束することを示す。
• トレース推定と固有関数の一様有界性を用いて、固有値関数が古典的ステクロフ固有値に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 分数階固有値問題を構築することができ、その第一固有値が $ s \to 1^{-} $ の極限で古典的ステクロフ固有値に収束するだろうか？
• RQ2 分数階 p-ラプラシアンに境界重み付き項を加えることで、$ s \to 1 $ の極限において古典的ステクロフ問題はどのように近似されるか？
• RQ3 正規化定数 $ \mathcal{K}_{n,p} $ は、分数階と古典的ソボレフノルムを結ぶ上で果たす役割は何か？
• RQ4 適切な正規化のもとで、分数階問題の固有値関数は古典的ステクロフ固有値関数に収束するだろうか？
• RQ5 固有値の収束を保証するため、分数階設定における固有関数に必要なコンパクトネスと収束性の性質は何か？

主な発見

• 分数階固有値問題の第一固有値 $ \lambda_{1,\varepsilon}(s,p) $ は、$ s \to 1^{-} $ の極限で第一ステクロフ固有値 $ \lambda_1(p) $ に収束する。ここで $ \varepsilon = 1-s $ である。
• 分数階エネルギー項 $ \mathcal{K}_{n,p}(1-s)[u]_{s,p}^p $ は、$ s \to 1^{-} $ の極限で古典的ディリクレエネルギー $ \|\nabla u\|_{L^p(\Omega)}^p $ に収束する。
• 境界項 $ \frac{1}{1-s}\|u\|_{L^p(\Omega_{1-s})}^p $ は、$ s \to 1^{-} $ の極限で $ L^p $-トレースノルム $ \|u\|_{L^p(\partial\Omega)}^p $ に収束する。
• 固有値関数の極限は $ \limsup_{s \to 1^{-}} \lambda_{1}(s,p) \leq \lambda_1(p) $ を満たし、コンパクトネスとトレース収束を用いて逆不等式も証明される。
• $ L^p(\Omega) $ および $ W^{s_0,p}(\Omega) $（$ s_0 < 1 $）における固有関数の収束により、極限の固有関数は $ W^{1,p}(\Omega) $ に属することが保証される。
• 証明は、固有関数の一様有界性に加え、分数階設定における非局所的発散定理と部分積分の応用に依拠している。