[論文レビュー] Multi-bump solutions of $-\Delta u=K(x)u^{\frac{n+2}{n-2}}$ on lattices in $R^n$

Yanyan Li, Juncheng Wei+1 more|arXiv (Cornell University)|May 21, 2013

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

ひとこと要約

本稿は、$n \geq 5$ において、$\mathbb{R}^n$ 上の臨界指数方程式 $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ に対して、原点に臨界点をもち、特定の同次構造を持つ周期的関数 $K(x)$ を持つ場合に、多ぶくろ正則解の存在を確立する。非線形リャプノフ＝シュレーディンガー還元を用い、新規の重み付きノルムを導入することで、$\mathbb{R}^k \subset \mathbb{R}^n$ 内の任意の有限または無限の $k$ 次元格子上にぶくろを持つ解を構成し、次元制限 $k < \frac{n-2}{2}$ が最適であることを証明する。

ABSTRACT

We consider critical exponent semi-linear elliptic equation with coefficient K(x) periodic in its first k variables, with 2k smaller than n-2. Under some natural conditions on K near a critical point, we prove the existence of multi-bump solutions where the centers of bumps can be placed in some lattices in Rk, including infinite lattices. We also show that for 2k greater than or equal to n-2, no such solutions exist.

研究の動機と目的

• 本稿の目的は、周期的 $K(x)$ を持つ $\mathbb{R}^n$ 上の臨界半線形楕円型方程式 $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ に対して、多ぶくろ正則解を構成することである。
• 研究は、ぶくろが下位次元部分空間 $\mathbb{R}^k \subset \mathbb{R}^n$ 内の格子上に配置された場合のこのような解の存在を扱う。
• 目的には、次元制限 $k < \frac{n-2}{2}$ が最適である、すなわち $k \geq \frac{n-2}{2}$ のときにはこのような解が存在しないことを証明することも含まれる。
• 研究は、ぶくろの中心が格子上（無限格子を含む）に位置する解に焦点を当て、すべての推定値が格子サイズ $m$ に依存しないことを重視する。

提案手法

• 著者たちは、近似解を真の $C^2$ 解に結合するため、非線形リャプノフ＝シュレーディンガー還元技術を用いる。
• 近似解 $W_m(x)$ を、格子点 $X_i \in X_{l,m}$ の周辺に中心を持つスケーリングされたポホジャエフ型バブル解 $\sigma_{P^i, \Lambda_i}$ の和として構成する。
• ぶくろ間の減衰と相互作用を制御するために、格子とパラメータ $\tau$ に依存する関数 $\gamma(y)$ を含む新しい重み付きノルム $\|\cdot\|_*$ を導入する。
• この方法は、重み付きバナッハ空間における射影問題を解くことに依存し、陰関数定理を用いて近似解に近い真の解を求める。
• バブルの幅と $K_\lambda(x) = K(x/\lambda)$ の周期性を制御するため、スケーリング $\lambda = l^{\frac{n-2}{\beta - n + 2}}$ を用いる。
• 著者たちは、$K(x)$ が臨界点の近傍で $K(x) = 1 + \sum a_i |x_i|^\beta + R(x)$ と表され、$\beta \in (n-2, n)$ を満たすと仮定することで、非線形性を制御し、還元が有効であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{R}^n$ 上の $-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ に対して、$\mathbb{R}^k \subset \mathbb{R}^n$ 内の $k$ 次元格子上にぶくろを持つ多ぶくろ解が存在するか？
• RQ2 $K(x)$ が最初の $k$ 変数で周期的であり、原点に臨界点をもち、同次構造 $\beta \in (n-2, n)$ を持つ場合に、このような多ぶくろ解が存在する最大次元 $k$ は何か？
• RQ3 格子サイズ $m$ に依存しない推定値を用いて、このような解を構成できるか（無限格子 $m = \infty$ を含む）？
• RQ4 条件 $k < \frac{n-2}{2}$ が最適であるか、すなわち $k \geq \frac{n-2}{2}$ のときにはこのような解が存在しないか？
• RQ5 格子が無限大または非常に大きい場合、無限大に離れたぶくろ間の相互作用をリャプノフ＝シュレーディンガー還元でどのように制御できるか？

主な発見

• $n \geq 5$、$1 \leq k < \frac{n-2}{2}$、任意の $m \geq 1$（$m = \infty$ を含む）に対して、$-\Delta u = K(x)u^{\frac{n+2}{n-2}}$ の $C^2$ 正則解 $u$ が存在し、$k$ 次元格子 $X_{l,m}$ の近傍にぶくろが中心を持つ。
• ある $\tau_0(n,k) \in (k, \frac{n-2}{2}]$ に対して、$\|S_\lambda u - W_m\|_* \leq C \lambda^{\tau - \frac{n-2}{2}}$ を満たす。ここで $\Lambda_i$ は 0 や無限大から一様に離れている。
• ぶくろの中心 $P^i$ は $l \to \infty$ のとき、$m$ に一様に依存せず $\max_i |P^i - X_i| \to 0$ に収束するため、ぶくろが格子点の近傍に局在化することが保証される。
• 次元制限 $k < \frac{n-2}{2}$ は最適である：$k \geq \frac{n-2}{2}$ のときには、このような多ぶくろ解は存在しない（定理3で示される）。
• 主な革新点は、関数 $\gamma(y)$ を含む新しい重み付きノルム $\|\cdot\|_*$ の使用であり、これにより $m$ に依存しない一様推定値が得られ、無限格子上での解の構成が可能になる。
• この方法は、新しいノルムにより、ぶくろ間の相互作用を制御でき、無限個のぶくろがある場合でも、射影問題における減衰と一様有界性を保証することで、有効に機能する。