[论文解读] Multi-bumps analysis for trudinger-moser nonlinearities i -quantification and location of concentration points

Olivier Druet, Pierre-Damien Thizy|arXiv (Cornell University)|Oct 24, 2017

Nonlinear Partial Differential Equations参考文献 25被引用 4

一句话总结

本文对二维临界 Trudinger-Moser 型椭圆PDE解的爆破行为提供了全面分析，量化了集中点并表明多个泡状结构（爆破点）受到强相互作用的严格约束。该研究解决了关于能量量化和集中点位置的长期悬而未决问题，证明总能量以 $4\pi$ 为单位进行量化，且泡状结构的位置受区域几何和格林函数结构的限制。

ABSTRACT

In this paper, we investigate carefully the blow-up behaviour of sequences of solutions of some elliptic PDE in dimension two containing a nonlinearity with Trudinger-Moser growth. A quantification result had been obtained by the first author in [15] but many questions were left open. Similar questions were also explicitly asked in subsequent papers, see Del Pino-Musso-Ruf [12], Malchiodi-Martinazzi [30] or Martinazzi [34]. We answer all of them, proving in particular that blow up phenomenon is very restrictive because of the strong interaction between bubbles in this equation. This work will have a sequel, giving existence results of critical points of the associated functional at all energy levels via degree theory arguments, in the spirit of what had been done for the Liouville equation in the beautiful work of Chen-Lin [8].

研究动机与目标

• 解决二维临界 Trudinger-Moser 非线性项爆破序列中集中点位置与量化的长期开放问题。
• 分析有界区域 $\Omega \subset \mathbb{R}^2$ 中方程 $-\Delta u = \lambda f e^{u^2}$ 解中多个泡状结构（集中点）之间的强相互作用。
• 在 $H^1_0$-半范数趋近临界能量水平时，特别是接近 $4\pi$ 及以上时，对解的爆破行为进行完整表征。
• 通过识别泡状结构位置和能量水平的精确几何与解析约束，扩展 Druet [15] 的量化结果。
• 为后续工作奠定基础，利用示性理论证明所有能量水平下临界点的存在性，推广 Chen-Lin 对 Liouville 方程的结果。

提出的方法

• 基于带狄利克雷边界条件的格林函数 $\mathcal{G}(x,y)$ 的精细爆破分析，将其分解为奇异部分 $\frac{1}{2\pi}\ln\frac{1}{|x-y|}$ 和调和校正部分 $\tilde{\mathcal{H}}_\varepsilon$。
• 通过正则化格林函数 $\mathcal{G}(x,y_\varepsilon) = \frac{1}{2\pi}\ln\frac{|x-\tilde{y}_\varepsilon|}{|x-y_\varepsilon|} + \tilde{\mathcal{H}}_\varepsilon(x)$ 应用平面移动法与反射技术，其中 $\tilde{y}_\varepsilon$ 是 $y_\varepsilon$ 关于 $\partial\Omega$ 的反射点。
• 对格林函数及其梯度施加精确估计，包括 $|\mathcal{G}(x,y) - \frac{1}{2\pi}\ln\frac{1}{|x-y|}| \leq C_K$ 和 $|\nabla_x \mathcal{G}(x,y)| \leq C_K |x-y|^{-1}$，在 $\Omega$ 的紧子集上一致成立。
• 根据 $x_\varepsilon$ 与 $y_\varepsilon$ 之间的相对距离及距离 $d_\varepsilon = d(y_\varepsilon, \partial\Omega)$，推导 $\mathcal{G}(x_\varepsilon, y_\varepsilon)$ 和 $\nabla_x \mathcal{G}(x_\varepsilon, y_\varepsilon)$ 的渐近展开式。
• 利用调和校正 $\tilde{\mathcal{H}}_\varepsilon$ 控制边界效应，证明在 $\partial\Omega$ 上有 $|\tilde{\mathcal{H}}_\varepsilon(x)| \leq C_\Omega d_\varepsilon$ 且 $|\nabla^T \tilde{\mathcal{H}}_\varepsilon(x)| \leq C_\Omega$。
• 将这些估计与能量量化技术结合，证明总能量以 $4\pi$ 为单位量化，且泡状结构的位置受区域几何与格林函数结构的约束。

实验结果

研究问题

• RQ1 在二维 Trudinger-Moser 方程的解爆破序列中，能量水平的精确量化是什么？
• RQ2 集中点（泡状结构）在区域中的确切位置在哪里？它们如何受 $\Omega$ 的几何结构约束？
• RQ3 多个泡状结构之间的强相互作用如何影响爆破解可能的构型？
• RQ4 Druet [15] 及其他研究者遗留的关于集中点位置与数量的开放问题是否能被完全解决？
• RQ5 反射格林函数与调和校正项在控制边界附近爆破行为中起到什么作用？

主要发现

• 任何解序列的总能量均以 $4\pi$ 为单位进行量化，满足 $\|\nabla u_\varepsilon\|_{L^2}^2 = \|\nabla u_0\|_{L^2}^2 + 4\pi \tilde{N} + o(1)$，其中 $\tilde{N} \in \mathbb{N}$，从而解决了 Druet [15] 提出的关键开放问题。
• 集中点（泡状结构）被限制在格林函数 $\mathcal{G}(x,y)$ 显示强奇异性的位置，其位置受区域边界与反射原理的约束。
• 由于泡状结构之间存在强相互作用，爆破行为极为非平凡，严重限制了可能的构型，防止任意聚集。
• 当 $d_\varepsilon = d(y_\varepsilon, \partial\Omega) \to 0$ 时，格林函数满足 $\mathcal{G}(x_\varepsilon, y_\varepsilon) = \frac{1}{2\pi}\ln\frac{2d_\varepsilon}{|x_\varepsilon - y_\varepsilon|} + O\left(\frac{|x_\varepsilon - y_\varepsilon|}{d_\varepsilon}\right) + O(d_\varepsilon)$，若 $|x_\varepsilon - y_\varepsilon| = o(d_\varepsilon)$，表明在边界附近出现对数发散。
• 在相同条件下，格林函数的梯度满足 $|\nabla_x \mathcal{G}(x_\varepsilon, y_\varepsilon)| = \frac{1}{2\pi |x_\varepsilon - y_\varepsilon|} + O\left(\frac{1}{d_\varepsilon}\right)$，表明在边界附近具有强烈的方向依赖性。
• 调和校正 $\tilde{\mathcal{H}}_\varepsilon$ 在 $\Omega$ 中一致有界于 $C_\Omega d_\varepsilon$，其切向导数也一致有界，从而控制边界效应并实现精确的渐近分析。