[论文解读] Sharp Hardy-Leray and Rellich-Leray inequalities for curl-free vector fields

Naoki Hamamoto, Futoshi Takahashi|Osaka City University (Osaka City University)|Aug 29, 2018

Advanced Harmonic Analysis Research参考文献 5被引用 4

一句话总结

该论文在 $N$ 维空间中为旋度为零的向量场建立了精确的 Hardy-Leray 和 Rellich-Leray 不等式，无需对称性假设即可推导出最优常数。通过利用势函数表示 ${\bm{u}} = \nabla\phi$，将问题简化为对 $\nabla\phi$ 和 $D^2\phi$ 的加权 $L^2$ 范数估计，从而得到依赖于维度 $N$ 和权重参数 $\gamma$ 的显式、精确常数。其主要贡献在于对旋度为零场的 Hardy-Leray 不等式最优常数进行了完整表征，将 Costin-Maz’ya 的结果推广至高维及非轴对称情形。

ABSTRACT

In this paper, we prove Hardy-Leray and Rellich-Leray inequalities for curl-free vector fields with sharp constants. This complements the former work by Costin-Maz'ya \cite{Costin-Mazya} on the sharp Hardy-Leray inequality for axisymmetric divergence-free vector fields.

研究动机与目标

• 将 Costin-Maz’ya 对轴对称、散度为零向量场的精确 Hardy-Leray 不等式推广至无对称性约束的高维一般旋度为零向量场。
• 在 $\rN$ 中推导出旋度为零向量场的加权 Hardy-Leray 不等式的最优常数，其中权重为 $|\bm{x}|^{2\gamma}$，$N \geq 2$。
• 建立涉及拉普拉斯算子 $\Delta\bm{u}$ 的精确 Rellich-Leray 型不等式，为旋度为零向量场提供高阶函数不等式。
• 通过在球面上和径向变量上的变分分析与谱方法，表征两个不等式中的最优常数。
• 统一并推广已有结果，表明在 $N=2$ 时旋度为零场的最优常数与 Costin-Maz’ya 的结果一致，并将其扩展至 $N \geq 3$。

提出的方法

• 将旋度为零的向量场表示为光滑函数的梯度：$\bm{u} = \nabla\phi$，从而将向量不等式简化为涉及 $\nabla\phi$ 和 $D^2\phi$ 的标量不等式。
• 应用球谐函数分解与径向傅里叶分析，将问题约化为在 $\mathbb{R}$ 上的一维谱问题，其参数为球面上拉普拉斯算子的特征值 $\mathbb{S}^{N-1}$。
• 使用分离变量法，并将加权 $L^2$-范数转化为 $\mathbb{R} \times \mathbb{S}^{N-1}$ 上的积分，从而得到角向部分傅里叶变换的二次型之比。
• 将最优常数 $H_{N,\gamma}$ 定义为包含算子 $P_1(\lambda, \alpha)$ 和 $Q_2(\lambda, \alpha)$ 的 Rayleigh 商的下确界，其中 $\lambda$ 为径向频率，$\alpha = \alpha_{\nu_0}$ 为参数。
• 通过构造一列测试函数 $\bm{u}_n$，使得 Rayleigh 商收敛至所提出的常数 $H_{N,\gamma}$，从而证明其最优性。
• 利用谱分析与渐近估计，验证下确界在极限情况下被达到，特别是在 $\varepsilon = 0$，$\alpha = 0$ 时，极限给出 $4(N-2)^2$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^N$，$N \geq 2$ 中，旋度为零向量场在权重 $|\bm{x}|^{2\gamma}$ 下的加权 Hardy-Leray 不等式的最优常数是多少？
• RQ2 与一般情形相比，旋度为零向量场的 Hardy-Leray 不等式最优常数如何变化？
• RQ3 能否对旋度为零场的 Rellich-Leray 不等式进行加强？涉及 $\Delta\bm{u}$ 的最优常数是什么？
• RQ4 若向量场缺乏对称性（如轴对称性），是否会影响 Hardy-Leray 不等式的最优性？
• RQ5 在旋度为零情形下，最优常数如何依赖于维度 $N$ 和权重参数 $\gamma$？

主要发现

• 旋度为零向量场在 Hardy-Leray 不等式中的最优常数 $H_{N,\gamma}$ 由分段表达式给出：当 $\left|\gamma + \frac{N}{2}\right| \leq \sqrt{N+1}$ 时，$H_{N,\gamma} = \left(\gamma + \frac{N}{2} - 1\right)^2 \frac{3(N-1) + \left(\gamma + \frac{N}{2} - 2\right)^2}{N - 1 + \left(\gamma + \frac{N}{2} - 2\right)^2}$；否则 $H_{N,\gamma} = \left(\gamma + \frac{N}{2} - 1\right)^2 + N - 1$。
• 对于所有 $N \geq 2$，$\gamma \neq 1 - N/2$，常数 $H_{N,\gamma}$ 严格大于经典 Hardy-Leray 常数 $\left(\gamma + \frac{N}{2} - 1\right)^2$，表明旋度为零约束带来了改进。
• 当 $N=2$ 时，最优常数 $H_{2,\gamma}$ 与 Costin-Maz’ya 对于散度为零场的结果一致，证实了其一致性并将其推广至高维。
• 建立了旋度为零场的 Rellich-Leray 不等式，其最优常数为 $R_{N,\gamma} = \left(\gamma + \frac{N}{2} - 1\right)^2 + N - 1$，适用于 $\gamma > 1 - N/2$，并通过一列收敛至下确界的测试函数证明了最优性。
• 最优常数 $H_{N,\gamma}$ 永远不会被取到，且对于所有非零旋度为零向量场 $\bm{u} \in C_c^\infty(\mathbb{R}^N)^N$，不等式严格成立。
• 分析确认，在极限情形 $\varepsilon = 0$，$\alpha = 0$ 时，基于 $\Delta\bm{u}$ 的 Rellich 不等式的最优常数为 $4(N-2)^2$，与从二次型导出的谱下界一致。