[论文解读] Trudinger-Moser inequality on the whole plane with the exact growth condition

Slim Ibrahim, Nader Masmoudi+1 more|arXiv (Cornell University)|Oct 8, 2011

Advanced Mathematical Physics Problems参考文献 24被引用 9

一句话总结

本文在整平面上建立了精确增长条件下的尖锐 Trudinger-Moser 不等式，为泛函的有界性与紧致性提供了必要且充分的判别准则。该研究统一并改进了以往结果，通过指数型与幂次型衰减的术语刻画了非线性项的临界增长行为，直接应用于非线性薛定谔方程与克莱因-戈登方程中基态的存在性与能量界分析。

ABSTRACT

Trudinger-Moser inequality is a substitute to the (forbidden) critical Sobolev embedding, namely the case where the scaling corresponds to $L^\infty$. It is well known that the original form of the inequality with the sharp exponent (proved by Moser) fails on the whole plane, but a few modified versions are available. We prove a precised version of the latter, giving necessary and sufficient conditions for the boundedness, as well as for the compactness, in terms of the growth and decay of the nonlinear function. It is tightly related to the ground state of the nonlinear Schrodinger equation (or the nonlinear Klein-Gordon equation), for which the range of the time phase (or the mass constant) as well as the energy is given by the best constant of the inequality.

研究动机与目标

• 解决在整平面上刻画 Trudinger-Moser 型不等式成立的精确增长条件这一开放问题。
• 统一并改进以往在未使用范数强化时临界指数 $4\tau$ 会导致结果失效或非最优的研究。
• 为涉及 $e^{4\tau|u|^2}$ 的 $H^1(\mathbb{R}^2)$ 中非线性泛函的有界性与紧致性提供必要且充分条件。
• 将不等式中的最佳常数与非线性薛定谔方程及克莱因-戈登方程中基态的存在性与能量界联系起来。
• 通过变分法与尺度变换论证，将不等式的适用范围扩展至亚临界与超临界非线性情形。

提出的方法

• 通过 $ g(u) $ 的增长估计，推导在约束 $ \|\nabla \varphi\|_{L^2}^2 \leq 2\pi K $ 下泛函 $ G(\varphi) = \int_{\mathbb{R}^2} g(\varphi(x)) \, dx $ 有界的必要与充分条件。
• 运用对称递减重排与 Moser 型论证，分析尖锐指数增长，特别是针对 $ g(u) = \frac{e^{4\pi|u|^2} - 1}{(1 + |u|)^2} $ 的情形。
• 利用 Hölder 不等式与泰勒展开控制 $ |u|^2 $ 的 $ L^p $ 范数，实现在 $ L^2 $ 与指数增长之间的插值。
• 通过 $ \varlimsup $ 条件分析 $ g(u) $ 在零点与无穷远处的行为：$ \varlimsup_{|u|\to\infty} e^{-2|u|^2/K} |u|^2 g(u) < \infty $ 与 $ \varlimsup_{u\to 0} |u|^{-2} g(u) < \infty $。
• 通过集中紧致性原理建立紧致性，将紧致性的失效与无穷远处增长条件的爆破联系起来。
• 将结果应用于非线性薛定谔方程，将最佳常数 $ C_{f,\kappa_0} $ 与存在性 $ c \leq c_* $ 的基态 $ Q_c $ 联系起来。

实验结果

研究问题

• RQ1 对于 Borel 函数 $ g: \mathbb{R} \to [0,\infty) $，其在 $ \|\nabla \varphi\|_{L^2}^2 \leq 2\pi K $ 约束下，泛函 $ G(\varphi) = \int_{\mathbb{R}^2} g(\varphi(x)) \, dx $ 有界的必要且充分条件是什么？
• RQ2 函数 $ g(u) $ 的增长行为如何影响 $ G(\varphi) $ 在 $ H^1(\mathbb{R}^2) $ 中极小化序列的紧致性？
• RQ3 能否通过在非线性项中引入幂次分母，将经典 $ \mathbb{R}^2 $ 上的 Trudinger-Moser 不等式统一并加以 sharpen？
• RQ4 Trudinger-Moser 不等式中的最佳常数与非线性薛定谔方程中基态存在性之间的确切关系为何？
• RQ5 在何种条件下，非线性薛定谔方程存在有限能量的基态，且该条件如何与 $ f(u) $ 的增长性相关？

主要发现

• 对所有满足 $ \|\nabla u\|_{L^2} \leq 1 $ 的 $ u \in H^1(\mathbb{R}^2) $，不等式 $ \int_{\mathbb{R}^2} \frac{e^{4\pi|u|^2} - 1}{(1 + |u|)^2} \, dx \leq c \|u\|_{L^2}^2 $ 成立，且若将分母中的指数 2 替换为任意 $ p < 2 $ 则不成立。
• 泛函 $ G(\varphi) $ 的有界性等价于条件 $ \varlimsup_{|u|\to\infty} e^{-2|u|^2/K} |u|^2 g(u) < \infty $ 与 $ \varlimsup_{u\to 0} |u|^{-2} g(u) < \infty $，二者均为必要且充分。
• 嵌入 $ H^1(\mathbb{R}^2) \to L^g $ 的紧致性成立当且仅当 $ \varlimsup_{|u|\to\infty} e^{-2|u|^2/K} |u|^2 g(u) = 0 $，表明其具有严格亚指数增长。
• 不等式中最佳常数 $ C_{f,\kappa_0} $ 决定了非线性薛定谔方程中基态 $ Q_c $ 存在的最大质量 $ c_* $，且 $ c_* = \infty $ 当且仅当 $ \varlimsup_{|u|\to\infty} f(u) e^{-\kappa_0 |u|^2} |u|^2 = \infty $。
• 该不等式同时蕴含了命题 1.2（当 $ \alpha < 4\pi $ 时）与命题 1.3（当 $ \|u\|_{H^1} \leq 1 $ 时），表明其为统一且更优的改进。
• 对于非线性薛定谔方程，基态的能量满足 $ \kappa_0 \|\nabla Q_c\|_{L^2}^2 \leq 4\pi $，且等号成立当且仅当 $ c = c_* $。