[论文解读] Extremal functions for Trudinger-Moser inequalities of Adimurthi-Druet type in dimension two

Yunyan Yang|arXiv (Cornell University)|Jan 1, 2015

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

一句话总结

该论文在二维欧氏空间 ℝ² 上的有界区域以及紧致黎曼流形上，确立了 Adimurthi-Druet 型 Trudinger-Moser 不等式极值函数的存在性。通过结合 Carleson-Chang 的集中紧致性框架与爆破分析，作者证明了在欧氏情形下对所有 α < λ₁(Ω) 以及在曲面上对所有 α < λ₁(Σ)，这些不等式中的上确界均可达到，从而解决了该尖锐指数 Trudinger-Moser 框架下长期存在的极值函数存在性问题。

ABSTRACT

Combining Carleson-Chang's result with blow-up analysis, we prove existence of extremal functions for certain Trudinger-Moser inequalities in dimension two. This kind of inequality was originally proposed by Adimurthi and O. Druet, extended by the author to high dimensional case and Riemannian surface case, generalized by C. Tintarev to wider cases including singular form and by M. de Souza and J. M. do Ó to the whole Euclidean space R^2. In addition to the Euclidean case, we also consider the Riemannian surface case. The results in the current paper complement that of L. Carleson and A. Chang, M. Struwe, M. Flucher, K. Lin, and Adimurthi-Druet, our previous ones, and part of C. Tintarev.

研究动机与目标

• 在二维欧氏空间 ℝ² 中，确立 Adimurthi-Druet 型 Trudinger-Moser 不等式极值函数的存在性。
• 将该存在性结果推广至无边界的紧致黎曼流形，证明在相同尖锐条件 α < λ₁(Σ) 下，上确界可被达到。
• 解决关于尖锐 Trudinger-Moser 不等式中上确界是否可被达到的开放问题，特别是在非线性项依赖于函数 L² 范数的临界情形下。
• 统一并推广低维空间中关于 Trudinger-Moser 不等式极值函数的先前结果，包括 Carleson-Chang、Adimurthi-Druet 与 de Souza-do Ó 的工作。
• 通过爆破分析与变分方法提供严格的极值函数存在性证明，补充了此前在极限情形下的不可达性结果。

提出的方法

• 结合 Carleson-Chang 的集中紧致性方法与爆破分析，研究极值序列的行为。
• 在前 ℓ 个特征函数的正交补空间 Eₗ⊥ 中构造测试函数序列 φₙ*，以避免在原点处质量损失。
• 利用格林函数 G 和对数尺度 R = –log ε 来建模爆破点附近的爆破形态。
• 应用椭圆估计与 L² 范数控制，证明归一化序列 φₙ* 沿子列在 W¹,²(Σ) 中强收敛。
• 利用恒等式 ∫Σ e^{4π(φₙ* – φ̄ₙ*)²} dv_g ≥ Vol_g(Σ) + πe^{1+4πAₚ} + 4π‖G‖₂²/c² + o(1/c²) 推导矛盾，若上确界未被达到。
• 对测试函数进行归一化，使其满足约束条件 ‖φₙ*‖₁,α = 1 且 ∫Σ φₙ* dv_g = 0，确保其属于允许函数类。

实验结果

研究问题

• RQ1 在 ℝ² 上的 Adimurthi-Druet 型 Trudinger-Moser 不等式中，当 α < λ₁(ℝ²) 时，其上确界是否对所有 α 保持有限且可被达到？
• RQ2 在紧致黎曼流形 Σ 上，当 α < λ₁(Σ) 时，是否可构造出尖锐 Trudinger-Moser 不等式的极值函数？
• RQ3 当函数的 L² 范数影响指数非线性项的指数时，极值序列会发生什么变化？
• RQ4 极值序列的爆破行为是否受到足够控制，使得可通过归一化与正交投影提取出极值函数？
• RQ5 能否通过构造的测试序列 φₙ* 的矛盾论证，证明浓度参数 cₙ 有界，从而获得紧致性？

主要发现

• 在 ℝ² 上的 Adimurthi-Druet 型 Trudinger-Moser 不等式中，对所有 α < λ₁(ℝ²)，上确界均可达到，将先前结果推广至所有允许的 α 范围。
• 在无边界的紧致黎曼流形 Σ 上，不等式 ∫Σ e^{4πu²(1+α‖u‖₂²)} dv_g 的上确界对所有 α < λ₁(Σ) 均可达到，证实了极值函数的存在性。
• 通过反证法获得极值函数：假设上确界未被达到，则可构造出满足 ∫Σ e^{4π(φₙ*)²} dv_g > Vol_g(Σ) + πe^{1+4πAₚ} 的测试序列 φₙ*，与已知上界矛盾。
• 爆破序列 φₙ 通过格林函数 G 和对数尺度 R = –log ε 构造，其中 c² = O(–log ε)，确保指数项具有正确的增长速率。
• 归一化序列 φₙ* = φ̃ₙ / ‖φ̃ₙ‖₁,α 满足约束条件 ‖φₙ*‖₁,α = 1 且 ∫Σ φₙ* dv_g = 0，并属于 Eₗ⊥，确保其在 Sobolev 空间中收敛。
• 关键不等式 ∫Σ e^{4π(φₙ* – φ̄ₙ*)²} dv_g ≥ Vol_g(Σ) + πe^{1+4πAₚ} + 4π‖G‖₂²/c² + o(1/c²) 被用于推导矛盾：若 cₙ 无界，则导致矛盾，从而证明紧致性与极值函数的存在性。