[论文解读] 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 $ 时，对于具有临界点在原点且具有特定齐次结构的周期函数 $ K(x) $，临界指数方程 $ -\Delta u = K(x)u^{\frac{n+2}{n-2}} $ 在 $ \mathbb{R}^n $ 上存在多峰正解。通过使用一种新型加权范数的非线性吕昂普夫-施密特约化方法，作者在 $ \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.

研究动机与目标

• 本文旨在构造临界半线性椭圆方程 $ -\Delta u = K(x)u^{\frac{n+2}{n-2}} $ 在 $ \mathbb{R}^n $ 上的多峰正解，其中 $ K(x) $ 是周期函数。
• 本研究关注当峰的中心位于低维子空间 $ \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} $ 附近中心的缩放 Pohozaev 型泡解 $ \sigma_{P^i, \Lambda_i} $ 的和。
• 引入了一种新的加权范数 $ \|\cdot\|_* $，其中包含依赖于格点和参数 $ \tau $ 的函数 $ \gamma(y) $，以控制峰之间的衰减与相互作用。
• 该方法依赖于在加权巴拿赫空间中求解投影问题，并利用隐函数定理找到与近似解接近的真实解。
• 通过使用缩放 $ \lambda = l^{\frac{n-2}{\beta - n + 2}} $ 调整泡解的宽度，并控制 $ K_\lambda(x) = K(x/\lambda) $ 的周期性，实现对相互作用的控制。
• 证明利用了 $ K(x) $ 在临界点附近的结构，假设 $ K(x) = 1 + \sum a_i |x_i|^\beta + R(x) $，其中 $ \beta \in (n-2, n) $，以控制非线性项并确保约化过程的有效性。

实验结果

研究问题

• RQ1 当峰位于 $ \mathbb{R}^k \subset \mathbb{R}^n $ 中的 $ k $-维格点上时，方程 $ -\Delta u = K(x)u^{\frac{n+2}{n-2}} $ 是否存在多峰解？
• 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 $），存在一个 $ C^2 $ 正解 $ u $ 满足 $ -\Delta u = K(x)u^{\frac{n+2}{n-2}} $，其峰中心位于 $ k $-维格点 $ X_{l,m} $ 附近。
• 解满足 $ \|S_\lambda u - W_m\|_* \leq C \lambda^{\tau - \frac{n-2}{2}} $，其中 $ \tau_0(n,k) \in (k, \frac{n-2}{2}] $，且 $ \Lambda_i $ 一致远离零与无穷大。
• 峰的中心 $ P^i $ 满足 $ \max_i |P^i - X_i| \to 0 $ 当 $ l \to \infty $ 时，且对所有 $ m $ 一致成立，确保峰在格点附近局部化。
• 维度限制 $ k < \frac{n-2}{2} $ 是最优的：当 $ k \geq \frac{n-2}{2} $ 时不存在此类多峰解，如定理 3 所示。
• 关键创新在于使用了新型加权范数 $ \|\cdot\|_* $ 及函数 $ \gamma(y) $，该范数可实现与 $ m $ 无关的统一估计，从而实现无限格点上解的构造。
• 该方法通过新范数成功控制了峰之间的相互作用，即使在峰的数量为无穷时，也通过确保投影问题中衰减与一致有界性来实现。