[论文解读] Free Energies and the Reversed HLS Inequality

José A. Carrillo, Matías G. Delgadino|arXiv (Cornell University)|Mar 16, 2018

Mathematical Biology Tumor Growth参考文献 16被引用 3

一句话总结

该论文通过将变分法直接应用于具有竞争性熵项与相互作用项的自由能泛函，建立了反向 Hardy-Littlewood-Sobolev (HLS) 不等式。在聚集主导区域 $\frac{d}{d+k} < m < 1$，$k > 0$ 下，证明了自由能 ${\mathcal{F}}_{m,k}$ 的下确界有界性，并存在极小化子，且极小化子具有紧台支集、径向递减性质；当 $m > \frac{d}{d-2}$ 时，极小化子有界，否则可能发生凝聚现象。

ABSTRACT

We prove reversed Hardy-Littlewood-Sobolev inequalities by carefully studying the natural associated free energies with direct methods of calculus of variations. Tightness is obtained by a dyadic argument, which quantifies the relative strength of the entropy functional versus the interaction energy. The existence of optimizers is shown in the class of $\prob$. With respect to their regularity, we study conditions for optimizers to be bounded functions. In a related model, we show the condensation phenomena, which suggests that optimizers are not in general regular.

研究动机与目标

• 在聚集主导区域 $m>1-\frac{k}{d}$，$k>0$ 下，利用自由能极小化方法建立反向 Hardy-Littlewood-Sobolev 不等式。
• 分析自由能泛函 ${\mathcal{F}}_{m,k}$ 在 $\mathcal{P}(\mathbb{R}^d)$ 上的极小化子的存在性、紧台支集性与正则性。
• 确定极小化子有界或在原点发生凝聚的条件，尤其在高维情形下。
• 厘清自由能泛函在不同参数区域下的相图，区分有界性、极小化子正则性与凝聚现象的区域。

提出的方法

• 通过变分法的直接方法，在概率测度上最小化自由能 ${\mathcal{F}}_{m,k}[\rho] = \int \frac{\rho^m}{m-1} dx + \iint \frac{|x-y|^k}{2k} \rho(x)\rho(y) dx dy$。
• 将 $\mathbb{R}^d$ 的 dyadic 分解为环形区域，量化熵与相互作用能之间的竞争，证明在参数区域 $\frac{d}{d+k} < m < 1$，$k > 0$ 下具有下确界有界性。
• 利用对称递减重排将问题简化为径向对称测度，并通过矩估计证明极小化序列的紧性。
• 分析 Euler-Lagrange 方程条件，推导极小化子的必要条件，表明在原点附近的可积性决定了是否发生凝聚。
• 使用 dyadic 论证表明，当 $m > \frac{d}{d-2}$ 时，极小化子必为有界函数，从而在 $d \geq 3$ 维下排除了凝聚现象。
• 通过构造具有强约束势的关联模型的显式例子，说明在低 $m$ 参数区域下正则性可能失效。

实验结果

研究问题

• RQ1 在何种 $m$ 与 $k$ 条件下，自由能 ${\mathcal{F}}_{m,k}$ 在 $\mathcal{P}(\mathbb{R}^d)$ 上有下界？
• RQ2 在聚集主导区域 $\frac{d}{d+k} < m < 1$，$k > 0$ 下，${\mathcal{F}}_{m,k}$ 的极小化子是否存在？是否具有紧台支集？
• RQ3 在何种条件下，${\mathcal{F}}_{m,k}$ 的极小化子为有界函数？在何种条件下可能在原点发生凝聚？
• RQ4 熵与相互作用能标度之间的相互作用如何决定不同维度下极小化子的正则性？
• RQ5 自由能 ${\mathcal{F}}_{m,k}$ 的有界性与极小化过程蕴含哪些函数不等式（特别是反向 HLS 不等式）？

主要发现

• 在参数区域 $\frac{d}{d+k} < m < 1$，$k > 0$ 下，自由能 ${\mathcal{F}}_{m,k}$ 有下界且可达到最小值，意味着反向 HLS 不等式成立。
• 当 $m > 1$ 时，自由能具有唯一的紧台支集极小化子，且为光滑、径向递减函数。
• 当 $m > \frac{d}{d-2}$ 时，极小化子为有界函数，且在 $d \geq 3$ 维下原点处的凝聚现象被排除。
• 在 $d \geq 3$ 维下，当 $m$ 接近 $\frac{d}{d+k}$ 且 $k$ 较大时，可能产生凝聚现象，通过构造具有约束势的显式例子予以说明。
• ${\mathcal{F}}_{m,k}$ 的极小化子等价于反向 HLS 不等式的极值函数，作为特例可恢复已知结果。
• 当 $m < \frac{d}{d+k}$ 时，自由能无下界，存在 $\rho \in \mathcal{P}(\mathbb{R}^d)$ 使得 $\mathcal{F}_{m,k}[\rho] = -\infty$，该结论通过 dyadic 构造得以证明。