[論文レビュー] Variational problems related to some fractional kinetic equations

Hichem Hajaiej|arXiv (Cornell University)|May 6, 2012

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

ひとこと要約

本稿は、分数ラプラシアンを含む制約付き変分問題の最小化解の存在、径対称性、および径方向減少性を確立する。非線形項の成長が臨界的でない場合（すなわち、$\ell < \frac{4s}{N}$）、最小化解は存在し、シュバルツ対称性を示す。$\ell = \frac{4s}{N}$ の場合、質量が十分に小さいときのみ最小化解が存在する。一方、成長が臨界閾値を超過する場合（$\ell > \frac{4s}{N}$）、下界は $-\infty$ に発散する。本研究は、分数非線形シュレーディンガー型問題における非線形項の許容可能な指数範囲を是正し、先行研究を精緻化する。

ABSTRACT

We establish the existence and symmetry of all minimizers of a constrained variational problem involving the fractional gradient. This problem is closely connected to some fractional kinetic equations.

研究の動機と目的

• 分数勾配を含む制約付き変分問題の最小化解の存在および対称性の性質を確立すること。
• 累乗型を超える一般非線形項を考慮することで、分数非線形シュレーディンガー方程式およびベンジャミン＝オンォ型方程式に関する先行結果を一般化すること。
• 分数ラプラシアンを含む最小化問題における非線形項の指数範囲に関する以前の主張を是正すること。
• 最小化解が存在し、下界が有限であるための非線形項 $F$ の成長率に関する鋭い条件を同定すること。

提案手法

• シュバルツ対称化および分数多項式・ツェゴ不等式を用いて、問題を非負かつ径方向に減少する関数に簡略化する。
• 分数ガリャルド・ニレングラフ不等式を用いて、$L^{\ell+2}$ノルムを分数 $H^s$ 半ノルムおよび $L^2$ ノルムで制御する。
• 分数勾配ノルムの弱下半連続性および有界領域内での強い収束を用いて、最小化列における極限への移行を実行する。
• ドミネーテッド収束定理および尾部の減衰推定を用いて、関数の無限遠における振る舞いを扱う。
• 超モジュラリティ条件 $(F_4)$ が厳密不等号を満たす場合、エネルギーは対称化によって厳密に減少することが証明される。
• スケーリング変換 $u_\lambda(x) = \lambda^{N/2}u(\lambda x)$ を用いて、$\ell > \frac{4s}{N}$ のとき $I_c = -\infty$ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非線形項 $F$ がどのような条件下で、制約付き最小化問題 $I_c = \inf \left\{ \frac{1}{2}\int |(-\Delta)^{s/2}u|^2 - \int F(|x|,u) : \int u^2 = c^2 \right\}$ に最小解をもつのか？
• RQ2 すべての最小解が径対称かつ径方向に減少する条件は何か？また、超モジュラリティ条件 $(F_4)$ はその対称性を保証するために果たす役割は何か？
• RQ3 下界 $I_c$ が有限のままであるための正確な臨界成長率 $\ell$ は何か？この値は分数階数 $s$ および空間次元 $N$ にどのように依存するか？
• RQ4 なぜ累乗非線形項における以前の主張 $\alpha < \frac{4s}{1-2s}$ は誤りであり、正しい閾値は何か？
• RQ5 非線形項の成長率が臨界値 $\ell = \frac{4s}{N}$ を超過する場合、エネルギー汎関数の振る舞いはどのように変化するのか？

主な発見

• $0 < \ell < \frac{4s}{N}$ のとき、最小化問題 $(P_c)$ は解をもち、すべての最小解は径対称かつ径方向に減少する。
• $\ell = \frac{4s}{N}$ のとき、最小解は質量 $c$ が十分に小さい場合にのみ存在し、その定量的境界は $K$, $K'$, $s$, $N$ に依存する。
• $\ell > \frac{4s}{N}$ で $\liminf_{t\to\infty} F(r,t)/t^\ell \geq A > 0$ が成り立つならば、$I_c = -\infty$ となり、最小解は存在しない。
• フランクとレンツマンの以前の主張を是正し、最小化問題が解をもつのは $\alpha < 4s$ のときであり、$s < 1/2$ のとき $\alpha < \frac{4s}{1-2s}$ ではないことが示された。これにより、既知の存在閾値が精緻化された。
• 超モジュラリティ条件 $(F_4)$ が厳密不等号を満たす場合、シュバルツ対称化によりエネルギーは厳密に減少し、すべての最小解がシュバルツ対称であることが保証される。
• 非線形項 $F$ の成長および減衰条件が満たされる下で、分数エネルギーの弱下半連続性および $H^s$ 内のコンパクトネスの議論により、最小解の存在が保証される。