[论文解读] Hardy and Hardy-Sobolev inequalities on Riemannian manifolds

El Hadji Abdoulaye Thiam|arXiv (Cornell University)|Apr 4, 2015

Nonlinear Partial Differential Equations参考文献 19被引用 10

一句话总结

本文在维度 $N \geq 3$ 的紧致黎曼流形上建立了 Hardy 不等式与 Hardy-Sobolev 不等式极小化元的存在性与非存在性条件。对于纯 Hardy 情况 ($\sigma = 2$)，极小化元存在当且仅当参数 $\lambda$ 超过一个依赖于流形与基点的临界阈值 $\lambda^*$。对于 $\sigma \in (0,2)$，在标量曲率钳制条件下极小化元存在，将经典不等式推广至具有奇异权函数的曲几何时空。

ABSTRACT

Let $ (M,g) $ be a smooth compact Riemannian manifold of dimension $ N \geq 3 $. Given $p_0 \in M$, $λ\in \mathcal{R}$ and $σ\in (0,2]$, we study existence and non existence of minimizers of the following quotient: \begin{equation}\label{Paper Equation} μ_{λ,σ}=\inf_{u \in H^1(M)\setminus \lbrace0 brace} \frac{\displaystyle\int_M | abla u|^2 dv_g -λ\int_M u^2 dv_g }{\biggl(\displaystyle\int_M ρ^{-σ} |u|^{2^*(σ)} dv_g\biggl)^{2/2^*(σ)}}, \end{equation} where $ρ(.):=dist(p_0,.)$ denoted the geodesic distance from $p \in M$ to $p_0$. In particular for $σ=2$, we provide sufficient and necessary conditions of existence of minimizers in terms of $λ$. For $σ\in (0,2)$ we prove existence of minimizers under scalar curvature pinching.

研究动机与目标

• 研究在紧致黎曼流形上，涉及梯度的 $L^2$-范数、低阶 $L^2$-项与临界 Hardy-Sobolev 范数的加权商的极小化元的存在性与非存在性。
• 确定参数 $\\lambda$ 与流形几何对带奇异权 $\rho^{-\sigma}$ 的 Hardy-Sobolev 不等式最佳常数 attainable 的精确条件，其中 $\rho$ 为到固定点 $p_0$ 的测地距离。
• 通过分析曲率、$p_0$ 处奇点与谱参数 $\lambda$ 之间的相互作用，将欧氏空间中的经典结果推广至紧致黎曼流形。
• 以流形在 $p_0$ 附近局部几何为依据，对纯 Hardy 情况 ($\sigma = 2$) 的临界阈值 $\lambda^*$ 提供几何表征。
• 在标量曲率钳制条件下，证明 $\sigma \in (0,2)$ 时极小化元的存在性，将欧氏空间中的 Hardy-Sobolev 不等式推广至曲面流形。

提出的方法

• 采用变分法最小化商 $\mu_{\lambda,\sigma} = \inf_{u \in H^1(\mathcal{M}) \setminus \{0\}} \frac{\int |\nabla u|^2 - \lambda \int u^2}{\left( \int \rho^{-\sigma} |u|^{2^*(\sigma)} \right)^{2/2^*(\sigma)}}$，在紧致黎曼流形 $\mathcal{M}$ 上进行分析。
• 对于 $\sigma = 2$，通过小测地球上的局部 Hardy 不等式推导出临界阈值 $\lambda^*$ 的存在性，其中 $\mu_{0,2}(B_{g}(p_0,r)) = \left(\frac{N-2}{2}\right)^2$。
• 构造线性算子 $L_\lambda = -\Delta_g - \frac{(N-2)^2}{4}\rho^{-2} - \lambda\rho^{-2}$ 的下解与上解，以分析极小化元的存在性。
• 对于 $\sigma \in (0,2)$，在标量曲率的钳制条件下，利用比较方法与集中紧致性论证建立存在性。
• 该方法依赖于集中紧致性原理与爆破分析，以排除极小化序列的消失或二分现象。
• 证明利用 Lieb 在欧氏空间中关于 Hardy-Sobolev 不等式最优常数的已知结果，并通过单位分解与局部等距嵌入将其适配至黎曼几何设定。

实验结果

研究问题

• RQ1 在紧致黎曼流形上，对于哪些 $\lambda$ 值，下确界 $\mu_{\lambda,2}$ 能够实现极小化元？
• RQ2 当 $\sigma \in (0,2)$ 时，流形的何种几何条件可确保 Hardy-Sobolev 不等式极小化元的存在性？
• RQ3 流形的标量曲率如何影响 Hardy-Sobolev 设定中极小化元的存在性？
• RQ4 纯 Hardy 情况 ($\sigma = 2$) 的临界阈值 $\lambda^*$ 能否以 $p_0$ 附近流形的几何性质来表征？
• RQ5 测地距离 $\rho = \text{dist}(p_0, \cdot)$ 在决定极小化元行为与不等式紧致性方面起何作用？

主要发现

• 对于 $\sigma = 2$，下确界 $\mu_{\lambda,2}$ 当且仅当 $\lambda > \lambda^*(\mathcal{M}, p_0)$ 时实现，其中 $\lambda^*$ 是依赖于流形与基点的临界阈值。
• 临界阈值 $\lambda^*$ 由 $p_0$ 附近的局部几何决定，局部 Hardy 常数 $\left(\frac{N-2}{2}\right)^2$ 是其关键构建模块。
• 对于 $\sigma \in (0,2)$，若流形的标量曲率满足钳制条件，则极小化元存在，该条件确保了变分法所需的紧致性。
• 欧氏空间中 Hardy-Sobolev 不等式的最优常数 $S_{N,\sigma}$ 在紧致流形上无法直接实现，除非 $\lambda$ 足够大或满足曲率条件。
• 欧氏情形下的基态解 $\omega(x) = \left((N-\sigma)(N-2)\right)^{\frac{N-2}{2(2-\sigma)}}(1 + |x|^{2-\sigma})^{\frac{2-N}{2-\sigma}}$ 提供了在 $p_0$ 附近预期行为的模型。
• 本文确立了 $p_0$ 处的奇点可视为边界型奇点，且极小化元的存在性取决于梯度的 $L^2$-范数、$L^2$-扰动项 $\lambda \int u^2$ 与加权 $L^{2^*(\sigma)}$-范数之间的平衡。