[論文レビュー] Existence of minimizers of functionals involving the fractional gradient in the abscence of compactness, symmetry and monotonicity

Hichem Hajaiej|arXiv (Cornell University)|Jul 2, 2011

Nonlinear Partial Differential Equations被引用数 5

ひとこと要約

本稿は、コンpact性、対称性、単調性のいずれの仮定も必要としない状況において、$ H^s(\mathbf{R}^N) $ 内の分数階勾配を含む制約付き変分問題に対して最小化子の存在を確立する。精密な濃縮・コンパクトネス枠組みを導入し、非線形性 $ F $ の漸近的挙動を分析することで、$ F $ 及びその微分の一般化された成長・減衰条件のもとで最小化子が存在することを証明する。これは非局所PDEや分数階シュレーディンガー方程式分野における先行研究を拡張する。

ABSTRACT

We establish general assumptions under which a constrained vari- ational problem involving the fractional gradient and a local nonlin- earity admits minimizers.

研究の動機と目的

• 標準的なコンパクト性、対称性、単調性の仮定が成立しない場合に、$ H^s(\mathbf{R}^N) $ 内の分数階勾配 $ \nabla_s u $ を含む制約付き変分問題に対する最小化子の存在を確立すること。
• 非局所PDEにおける最小化技法の適用範囲を、対称性や単調性を欠く一般の非線形性 $ F(x,t) $ にまで拡張すること。
• 最小化列におけるコンパクト性の欠如を解消するために、厳密な下界性と周期的極限汎関数 $ J^\flat $ との漸近的比較により、散逸と二分が排除されることを証明すること。
• 多様な物理的・生物学的モデルにおける非線形分数階シュレーディンガー方程式の定常波解の存在を一般化した枠組みを提供すること。

提案手法

• 最小化列 $ (u_n) $ を $ H^s(\mathbf{R}^N) $ で分析するための濃縮・コンパクトネス原理の変種を用いる。散逸、二分、コンパクトネスの三つの状況を区別する。
• 極限条件 (F3) を課し、$ F(x,t) - F^\flat(x,t) = o(|t|^{\beta+2}) $ が $ |x|\to\mathbf{R}^N $ のとき、$ t $ に関して一様に成り立つようにする。ここで $ F^\flat $ は周期的関数である。
• 二分が排除されるように、厳密な下界性 $ I_c < I^\flat_c $ および $ I_c < I^\flat_{c-a} + I_a $（$ a \neq 0 $）を確立する。
• 無限遠における $ F $ の $ F^\flat $ への一様収束を用いて、極限で $ J(u_n) \to J^\flat(u_n) $ が成り立つことを示し、$ J(u_n) \to J(u) $ となる部分列が存在することを証明する。
• 最小化汎関数 $ I_c $ および $ I^\flat_c $ の連続性を用いて、非コンパクト性の仮定から矛盾を導出し、最小化列がコンパクトでなければならないことを示す。
• $ (u_n) $ が $ H^s $ 内で有界で、弱収束 $ u $ に至ることを仮定し、$ |u_n - u|_{L^2} \to 0 $ を示す。これにより $ u \neq 0 $ かつ $ u \neq 0 $ が $ S_c $ 内で成り立つ。

実験結果

リサーチクエスチョン

• RQ1 コンパクト性、対称性、単調性が欠如する状況において、$ H^s(\mathbf{R}^N) $ 内の汎関数 $ J(u) = \frac{1}{2} \norm{\nabla_s u}^2 - \norm{F(x,u)} $ に対して、非線形性 $ F(x,t) $ が満たすべき一般条件は何か？
• RQ2 非線形性 $ F $ が対称性や単調性を欠く場合に、濃縮・コンパクトネス法を分数階勾配関数に適応可能か？
• RQ3 漸近的周期性および $ F^\flat(x,t) $ との比較は、最小化子の存在にどのように寄与するか？
• RQ4 厳密な下界性 $ I_c < I^\flat_c $ および $ I_c < I^\flat_{c-a} + I_a $ が最小化列における二分を防ぐ仕組みは何か？
• RQ5 非線形性 $ F $ が凸的でも同次的でもないが、成長・減衰条件を満たす場合、最小化子の存在を保証できるか？

主な発見

• 仮定 (F0)–(F6) の下で、制約付き最小化問題 $ I_c = \text{inf}\big\brace J(u) : u \neq 0, \norm{u}_{L^2} = c \big\brace $ は $ H^s(\mathbf{R}^N) $ 内に最小化子 $ u_c \neq 0 $ を持つ。
• 最小化汎関数 $ I_c $ は、周期的極限汎関数 $ J^\flat(u) = \frac{1}{2} \norm{\nabla_s u}^2 - \norm{F^\flat(x,u)} $ の対応する最小化汎関数 $ I^\flat_c $ よりも厳密に小さい、すなわち $ I_c < I^\flat_c $ が成り立つ。これは二分の排除を意味する。
• 最小化列 $ (u_n) $ に対して、$ |x|\to\mathbf{R}^N $ のとき $ F(x,t) - F^\flat(x,t) = o(|t|^{\beta+2}) $ の一様収束により、$ J(u_n) \to J(u) $ となる部分列が存在する。
• 最小化列 $ (u_n) $ は、適切な平行移動と部分列抽出により、$ L^2 $ 内で相対的にコンパクトである。これは、平行移動後に $ \text{supp}(u_n) $ が固定された球内に有界であることに起因する。
• 非線形性 $ F $ が対称性や単調性を欠く場合でも、$ F^\flat $ が (F4)–(F5) を満たし、$ F \not\equiv F^\flat $ であれば、$ S_c $ 内に最小化子 $ u_c \neq 0 $ が保証される。
• $ a \neq 0 $ のとき $ I_c \not\equiv I^\flat_{c-a} + I_a $ が成り立つことと、$ J(u_n) \to J(u) $ を組み合わせることで、散逸と二分が不可能であることが示され、結果としてコンパクトネスが必然となる。