[论文解读] On compactness in the Trudinger-Moser inequality

Adimurthi, Kyril Tintarev|arXiv (Cornell University)|Oct 17, 2011

Nonlinear Partial Differential Equations参考文献 14被引用 5

一句话总结

本文证明了在 ℝ² 中有界区域上的 Trudinger-Moser 泛函在恰好序列渐近表现为集中型 Moser 函数的平移时，其弱连续性失效——具体而言，即形如 $ u_k = g_{s_k}[(2\pi)^{-1/2} \min\{1, \log(1/|x|)\}] $ 的序列，其中 $ s_k \to 0 $，至多相差平移和在 Sobolev 范数下趋于零的余项。该结果通过一种专为二维情形设计的新颖的谱分解方法得出，该方法以缩放算子下的径向集中谱型精确刻画了弱连续性的缺陷。

ABSTRACT

The paper studies continutity of Moser nonlinearity in two dimensions with respect to weak convergence. Unlike the critical nonlinearity in the Sobolev inequality, which lacks weak continuity at any point, Moser functional fails to be weakly continuous only in an exceptional case of a concentrating sequence of functions from the Moser family (up to translations and the remainder vanishing in Sobolev norm). The argument is based on a structural description of the defect of weak converegence, analogous to the profile decomposition established by Solimini for Sobolev inequalities, but involving gauge operators specific for the two-dimensional case.

研究动机与目标

• 刻画临界二维 Trudinger-Moser 不等式中 Moser 泛函弱连续性失效的精确序列集合。
• 将非线性泛函弱连续性的理解从高维 Sobolev 嵌入推广至二维的端点情形。
• 在 $ H_0^1(\Omega) $ 中为 Trudinger-Moser 泛函建立一种谱分解，其形式类似于 Solimini 的方法，但专为二维情形进行适配。
• 证明非弱连续序列必须渐近等价于在平移和趋于零的余项意义下集中于一点的 Moser 函数。

提出的方法

• 作者采用受 Solimini 启发的谱分解技术，但针对二维情形进行了特定调整，引入了一族特定的缩放算子 $ g_s $，其定义为 $ g_s w(r) = s^{-1/2} w(r^s) $。
• 该分解通过分析满足 $ u_k \rightharpoonup u $ 且 $ \liminf J(u_k) > J(u) $ 的序列 $ u_k \in \mathcal{B} = \{ u \in H_0^1(\Omega) : \|\nabla u\|_2 \leq 1 \} $ 来分离集中谱型。
• 关键步骤在于证明此类序列必须满足 $ u_k = g_{s_k}[(2\pi)^{-1/2} \min\{1, \log(1/|x|)\}] + o(1) $，在 $ H_0^1 $ 范数下，至多相差平移，且 $ s_k \to 0 $。
• 证明依赖于径向估计 $ \sup_r |u(r)| \log(1/r)^{-1/2} \leq \pi^{-1/2} \|\nabla u\|_2 $，该估计控制了点态增长，并将径向行为与集中性联系起来。
• 分析利用了在 $ N=2 $ 情形下，非径向集中序列除非在 $ g_s $-缩放下渐近变为径向，否则无法保持 $ \exp L^2 $-范数的性质。
• 对泛函 $ J(u) = \int_\Omega (e^{4\pi u^2} - 1) \, dx $ 的分析通过与 Moser 函数 $ m_t(r) = (2\pi)^{-1/2} \min\{1, \log(1/r)\} $ 比较实现，其缩放版本 $ g_s m_t $ 生成了临界集中谱型。

实验结果

研究问题

• RQ1 在 $ H_0^1(\Omega) $ 中，哪些序列使得 Trudinger-Moser 泛函失去弱连续性？
• RQ2 是否能以集中谱型精确描述二维 Trudinger-Moser 不等式中弱连续性缺陷？
• RQ3 为何非径向序列在 $ \exp L^2 $ 中不发生集中，除非它们在 $ g_s $-缩放下渐近变为径向？
• RQ4 二维情形下 Moser 泛函的谱分解与高维情形有何不同？
• RQ5 集中行为在多大程度上可由单参数族缩放算子 $ g_s $ 捕获？

主要发现

• Moser 泛函 $ J(u) = \int_\Omega (e^{4\pi u^2} - 1) \, dx $ 仅在至多相差平移和 $ H_0^1 $-范数趋于零的余项时，形式为 $ u_k = g_{s_k}[(2\pi)^{-1/2} \min\{1, \log(1/|x|)\}] $ 且 $ s_k \to 0 $ 的序列上于 $ \mathcal{B} $ 失去弱连续性。
• 此类序列渐近为径向且在某点集中，其集中谱型为经典 Moser 函数的缩放版本。
• 弱连续性失效完全由该类序列刻画：其他任何序列均不会表现出相同的 $ \exp L^2 $-范数缺陷。
• 证明中使用的谱分解专为二维情形设计，采用缩放算子 $ g_s $，其保持 $ H_0^1 $-范数并使 Moser 函数映射至其他 Moser 函数。
• 径向估计 $ \sup_r |u(r)| \log(1/r)^{-1/2} \leq \pi^{-1/2} \|\nabla u\|_2 $ 在控制点态增长并建立径向性与集中性之间的联系中起着关键作用。
• 与高维情形不同，在 $ N=2 $ 中，仅当序列在 $ g_s $-缩放下渐近等价于 Moser 函数时，才会导致弱连续性失效。