[论文解读] The Moser-Trudinger-Onofri inequality

Jean Dolbeault, Maria J. Esteban+1 more|Mar 20, 2014

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

一句话总结

本文对二维空间中的 Moser-Trudinger-Onofri 不等式进行了全面分析，将其确立为与高维空间中 Sobolev 不等式等价的精确函数不等式。通过质量传输、对偶性与对数 Hardy-Littlewood-Sobolev 不等式的关系，以及基于 carré du champ 方法的非线性演化，提出了新颖的证明方法，得到了一个积分余项，并通过在球面及相关空间上的刚性与熵-熵产生率论证，证明了不等式的最优性。

ABSTRACT

This paper is devoted to results on the Moser-Trudinger-Onofri inequality, or Onofri inequality for brevity. In dimension two this inequality plays a role similar to the Sobolev inequality in higher dimensions. After justifying this statement by recovering the Onofri inequality through various limiting procedures and after reviewing some known results, we state several elementary remarks. We also prove various new results. We give a proof of the inequality using mass transportation methods (in the radial case), consistently with similar results for Sobolev's inequalities. We investigate how duality can be used to improve the Onofri inequality, in connection with the logarithmic Hardy-Littlewood-Sobolev inequality. In the framework of fast diffusion equations, we establish that the inequality is an entropy--entropy production inequality, which provides an integral remainder term. Finally we give a proof of the inequality based on rigidity methods and introduce a related nonlinear flow.

研究动机与目标

• 通过多种极限过程与变换程序，将 Onofri 不等式确立为二维空间中 Sobolev 不等式的精确类比。
• 在径向情形下使用质量传输方法提供新证明，与已知的 Sobolev 不等式技术保持一致。
• 通过 Onofri 不等式与对数 Hardy-Littlewood-Sobolev 不等式的对偶性，探索其对不等式尖锐性的改进。
• 在快扩散方程的框架下，将 Onofri 不等式解释为熵-熵产生率不等式，推导出一个积分余项。
• 引入基于 carré du champ 方法的非线性演化方程，刻画极值函数，并通过收敛到平衡态证明不等式。

提出的方法

• 利用球极投影与 Emden-Fowler 变换，建立欧氏平面上、球面上与柱面上 Onofri 不等式的等价性。
• 在径向情形下应用质量传输技术推导不等式，扩展了用于 Sobolev 不等式的已知方法。
• 通过与对数 Hardy-Littlewood-Sobolev 不等式的对偶性，改进并优化 Onofri 不等式。
• 在球面上建立快扩散方程，表明 Onofri 不等式作为带有余项的熵-熵产生率不等式出现。
• 在球面上引入一个非线性演化方程：∂f/∂t = Δ(e^{-f/2}) - (1/2)|∇f|² e^{-f/2}，该方程驱动函数向平衡态演化。
• 利用 carré du champ 方法定义一个非负二次型 Rλ[f]，量化泛函 Gλ 的衰减速率，从而在不等式中得到一个积分余项。

实验结果

研究问题

• RQ1 如何在径向情形下通过质量传输推导 Moser-Trudinger-Onofri 不等式？
• RQ2 与对数 Hardy-Littlewood-Sobolev 不等式的对偶性在何种程度上改进了 Onofri 不等式？
• RQ3 Onofri 不等式能否在快扩散方程的框架下被解释为熵-熵产生率不等式？
• RQ4 由 carré du champ 方法定义的非线性流在证明不等式及刻画极值函数方面起什么作用？
• RQ5 对称化与刚性方法如何促进不等式唯一性与尖锐性的证明？

主要发现

• 在径向情形下通过质量传输证明了 Onofri 不等式，建立了与已知 Sobolev 不等式方法的直接联系。
• 与对数 Hardy-Littlewood-Sobolev 不等式的对偶性提供了一种机制，可改进 Onofri 不等式，尤其在尖锐常数的语境下。
• 该不等式被证明等价于球面上快扩散方程的熵-熵产生率不等式，且带有显式的积分余项。
• 一个由方程 ∂f/∂t = Δ(e^{-f/2}) - (1/2)|∇f|² e^{-f/2} 控制的球面上非线性流，可将初始数据驱动至平衡态，且泛函 Gλ 的衰减由非负泛函 Rλ[f] 量化。
• carré du champ 方法导出一个非负余项 Rλ[f]，通过在时间上积分 dGλ/dt = -Rλ[f]，得到不等式 Gλ[v] ≥ ∫₀^∞ Rλ[f(t)] dt。
• 对于任意 λ ∈ (0,1]，当 t → ∞ 时不等式取等号，且通过密度与下确界半连续性，该结果可推广至一般 L¹ ∩ H¹ 函数。