[论文解读] A Hardy-Moser-Trudinger inequality

Guofang Wang, Dong Ye|arXiv (Cornell University)|Dec 27, 2010

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

一句话总结

本文通过结合经典的莫泽-特鲁迪纳和哈代不等式，在 ℝ² 中的单位圆盘上建立了精确的哈代-莫泽-特鲁迪纳不等式，证明了指数积分的上确界是有限的，并在加权希尔伯特空间中实现。关键结果是存在一个有限的精确常数 $ C_0 $，使得对所有 $ u \in \mathcal{H} $，有 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 $，其中 $ H(u) $ 是包含哈代势能的能泛函。

ABSTRACT

In this paper we obtain an inequality on the unit disc $B$ in the plane, which improves the classical Moser-Trudinger inequality and the classical Hardy inequality at the same time. Namely, there exists a constant $C_0>0$ such that \[ \int_B e^{\frac {4πu^2}{H(u)}} dx \le C_0 < \infty, \quad \forall\; u\in C^\infty_0(B),\] where $$H(u) := \int_B | u|^2 dx - \int_B \frac {u^2}{(1-|x|^2)^2} dx.$$ This inequality is a two dimensional analog of the Hardy-Sobolev-Maz'ya inequality in higher dimensions, which was recently intensively studied. We also prove that the supremum is achieved in a suitable function space, which is an analog of the celebrated result of Carleson-Chang for the Moser-Trudinger inequality.

研究动机与目标

• 通过引入组合函数框架，在二维中统一经典的莫泽-特鲁迪纳和哈代不等式。
• 在所有 $ u \in \mathcal{H} $ 上建立如下形式的精确不等式：$ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 < \infty $，其中 $ \mathcal{H} $ 是 $ C_0^\infty(B) $ 在范数 $ \|u\| = \sqrt{H(u)} $ 下的完备化空间。
• 证明该不等式中的最佳常数在 $ \mathcal{H} $ 中由某个极大化函数实现，将卡列松-张的结果推广至哈代修正设置。
• 推测该不等式可推广至 $ \mathbb{R}^2 $ 中更一般的区域 $ \Omega $，其中哈代型势能基于到边界距离构造。

提出的方法

• 定义泛函 $ H(u) = \int_B |\nabla u|^2 dx - \int_B \frac{u^2}{(1-|x|^2)^2} dx $，其非负，并在 $ \mathcal{H} $ 上定义希尔伯特空间范数。
• 利用爆破分析和在原点附近集中测试函数的方法，证明对所有 $ u \in \mathcal{H} $，有不等式 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 < \infty $。
• 构造一族满足 $ H(f_\varepsilon) = 1 $ 的测试函数 $ f_\varepsilon $，利用格林函数和截断函数实现集中效应的局域化。
• 通过对对数项和格林函数项的渐近展开，从下方估计 $ e^{4\pi f_\varepsilon^2} $ 的 $ L^1 $-范数。
• 利用 $ \varepsilon \to 0 $ 时 $ \beta_\varepsilon $ 和 $ \gamma_\varepsilon $ 的渐近行为，证明积分严格大于 $ \pi + \pi e^{4\pi C_G + 1} $，从而证明上确界严格大于经典情形。
• 应用变分方法和紧致性论证，证明上确界在 $ \mathcal{H} $ 中实现，且极大化函数不在 $ H_0^1(B) $ 中。

实验结果

研究问题

• RQ1 在二维中，能否通过引入哈代势能来改进经典的莫泽-特鲁迪纳不等式？
• RQ2 改进后不等式中的最佳常数是否有限且可在适当函数空间中实现？
• RQ3 指数泛函的极大化函数是否属于 $ H_0^1(B) $，还是严格属于更大的空间 $ \mathcal{H} $？
• RQ4 该不等式能否推广至 $ \mathbb{R}^2 $ 中具有基于到边界距离的哈代势能的有界凸区域？
• RQ5 在爆破序列下，能泛函 $ H(u) $ 的渐近行为如何，其对指数积分有何影响？

主要发现

• 对所有 $ u \in \mathcal{H} $，不等式 $ \int_B e^{\frac{4\pi u^2}{H(u)}} dx \leq C_0 < \infty $ 成立，其中 $ C_0 > 0 $ 为有限的精确常数。
• 在 $ \mathcal{H} $ 中单位球上 $ \int_B e^{4\pi u^2} dx $ 的上确界由某个满足 $ \|u_0\| = 1 $ 的函数 $ u_0 \in \mathcal{H} $ 实现，将卡列松-张结果推广至哈代修正设置。
• 极大化函数 $ u_0 $ 不属于 $ H_0^1(B) $，表明空间 $ \mathcal{H} $ 严格大于 $ H_0^1(B) $，且该不等式严格更强。
• 证明表明，对小的 $ \varepsilon $，积分 $ \int_B e^{4\pi f_\varepsilon^2} dx $ 超过 $ \pi + \pi e^{4\pi C_G + 1} $，从而证明了常数的精确性。
• 渐近分析确认 $ \beta_\varepsilon = O(|\ln \varepsilon|^{1/2}) $，且当 $ \varepsilon \to 0 $ 时 $ \gamma_\varepsilon \to 1 $，这对指数积分的下界估计至关重要。
• 该结果是高维中哈代-索博列夫-马祖亚不等式的二维类比，其最佳常数 $ 4\pi $ 与经典莫泽-特鲁迪纳不等式相同。