[论文解读] Reverse Hardy-Littlewood-Sobolev inequalities

Jean Dolbeault, Rupert L. Frank+1 more|arXiv (Cornell University)|Mar 1, 2018

Nonlinear Partial Differential Equations参考文献 49被引用 23

一句话总结

本文建立了具有正幂律核的反向 Hardy-Littlewood-Sobolev 不等式成立的必要且充分条件，证明该不等式在最优常数为正时成立，当且仅当 $ q > N/(N + \lambda) $。主要贡献在于对该范围内极小化子（最优函数）存在的特征刻画，表明在特定的维数和指数条件下，径向、非负且属于 $ L^1 \cap L^q $ 的函数可实现等式，其中松弛化极小化问题中通过 Dirac 浓度的可能性在其中起关键作用。

ABSTRACT

This paper is devoted to a new family of reverse Hardy-Littlewood-Sobolev inequalities which involve a power law kernel with positive exponent. We investigate the range of the admissible parameters and characterize the optimal functions. A striking open question is the possibility of concentration which is analyzed and related with non-linear diffusion equations involving mean field drifts.

研究动机与目标

• 建立具有正幂律核 $ |x-y|^\lambda $，$ \lambda > 0 $ 的反向 Hardy-Littlewood-Sobolev 不等式成立的必要且充分条件。
• 刻画参数 $ (N, \lambda, q) $ 的范围，使得最优常数 $ C_{N,\lambda,q} $ 为正且有限。
• 研究相关变分问题中极小化子（最优函数）的存在性，特别关注极小化过程中可能出现的浓度（Dirac 质量）现象。
• 将变分问题与具有平均场漂移的非线性扩散方程的长时间行为联系起来，尤其是通过自由能泛函和稳态解。

提出的方法

• 在总质量与 $ L^q $-范数归一化下，于 $ L^1 \cap L^q $ 约束下提出极小化问题 $ I_\lambda[\rho] = \iint \rho(x)|x-y|^\lambda \rho(y) \, dx\,dy $。
• 利用尺度变换与齐次性确定控制两个范数在不等式中平衡关系的指数 $ \alpha $。
• 应用对称化与重排技术，将问题约化为径向函数，利用核的递减重排性质。
• 分析极小化子的 Euler-Lagrange 方程，推导出涉及势能 $ W_\lambda * \rho $ 与密度 $ \rho $ 的点态条件。
• 引入允许在原点存在 Dirac 质量的松弛化极小化问题，以研究最优解的存在性，证明最优常数保持不变。
• 使用分层蛋糕表示与 Jensen 不等式，将相互作用能 $ I_\lambda[\rho] $ 估计为 $ \int |x|^\lambda \rho(x)\,dx $ 的形式，从而改进了极小化子有界时的参数范围。

实验结果

研究问题

• RQ1 对于哪些 $ q \in (0,1) $，$ \lambda > 0 $，以及 $ N \in \mathbb{N}^* $ 的取值，具有正核指数 $ |x-y|^\lambda $ 的反向 Hardy-Littlewood-Sobolev 不等式在最优常数 $ C_{N,\lambda,q} $ 为正时成立？
• RQ2 在何种条件下，$ I_\lambda[\rho] $ 的极小化问题在 $ L^1 \cap L^q $ 中存在极小化子，且该极小化子为有界、径向函数且不含 Dirac 质量？
• RQ3 极小化问题中是否可能出现浓度（即最优解中存在 Dirac 质量）？若可能，其参数条件为何？
• RQ4 极小化子的存在性如何与非线性扩散方程 $ \partial_t \rho = \Delta \rho^q + \nabla \cdot (\rho \nabla (W_\lambda * \rho)) $ 的长时间行为相关联？
• RQ5 在何种精确 $ q $ 范围内，松弛化问题（含 Dirac 质量）的极小化子不含 Dirac 质量，从而对应于经典极小化子？

主要发现

• 反向 Hardy-Littlewood-Sobolev 不等式在最优常数 $ C_{N,\lambda,q} $ 为正时成立，当且仅当 $ q > N/(N + \lambda) $，这等价于 $ \alpha < 1 $，其中 $ \alpha $ 为尺度指数。
• 当 $ N = 1, 2 $，或 $ N \geq 3 $ 且 $ q \geq \min\{1 - 2/N, 2N/(2N + \lambda)\} $ 时，极小化子存在，且为径向、非负且属于 $ L^1 \cap L^q $ 的函数。
• 在范围 $ \max\{ \bar{q}(\lambda,N), N/(N+\lambda) \} < q < \min\{1 - 2/N, 2N/(2N + \lambda)\} $ 内，松弛化问题的极小化子不含 Dirac 质量，且极小化子为有界且径向的。
• 最优常数 $ C_{N,\lambda,q} $ 在 $ L^1 \cap L^q $ 中被极小化子实现，当且仅当松弛化问题的极小化子不含 Dirac 质量，而这一条件在区域 $ q > \bar{q}(\lambda,N) $ 内得到保证，其中 $ \bar{q}(\lambda,N) $ 通过 $ A_{N,\lambda} $ 显式定义。
• 当 $ \lambda > 2 $ 且 $ N \geq 3 $ 时，边界 $ \bar{q}(\lambda,N) $ 满足 $ \bar{q}(\lambda,N) > N/(N+\lambda) $，且当 $ \lambda \to \infty $ 时 $ \bar{q}(\lambda,N) \to 1 $，表明随着 $ \lambda $ 增大，不含 Dirac 质量的区域扩大。
• 极小化子的 Euler-Lagrange 方程表明，当且仅当极小化子含有 Dirac 质量时，$ \rho^* $ 在原点无界，且在 $ x \to 0 $ 时其爆破速率满足 $ \rho^*(x) \sim |x|^{-2/(1-q)} $，条件为 $ \lambda > 2 $。