[论文解读] Rellich inequalities with weights

Paolo Caldiroli, Roberta Musina|arXiv (Cornell University)|Mar 31, 2011

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

一句话总结

该论文在 $\mathbb{R}^n$ ($n \geq 2$) 上的锥形及类锥形区域上，为在原点附近消失的函数（Navier情形）或具有紧支集的函数（Dirichlet情形），建立了加权 Rellich 不等式中的最优常数。论文推导出最优常数的显式公式，并证明了带有尖锐对数余项的改进型不等式，揭示了当 $-\gamma_{n,\alpha}$ 与球面上 Laplace-Beltrami 算子的特征值重合时的共振现象。

ABSTRACT

Let $Ω$ be a cone in $\mathbb{R}^{n}$ with $n\ge 2$. For every fixed $α\in\mathbb{R}$ we find the best constant in the Rellich inequality $\int_Ω|x|^α|Δu|^{2}dx\ge C\int_Ω|x|^{α-4}|u|^{2}dx$ for $u\in C^{2}_{c}(\barΩ\setminus\{0\})$. We also estimate the best constant for the same inequality on $C^{2}_{c}(Ω)$. Moreover we show improved Rellich inequalities with remainder terms involving logarithmic weights on cone-like domains.

研究动机与目标

• 确定在类锥形区域上加权 Rellich 不等式 $\int_\Omega |x|^\alpha |\Delta u|^2 \,dx \geq C \int_\Omega |x|^{\alpha-4} |u|^2 \,dx$ 的最佳常数。
• 分别分析 Navier 情形（$u \in C^2_c(\overline{\Omega} \setminus \{0\})$）与 Dirichlet 情形（$u \in C^2_c(\Omega)$），识别 Rayleigh 商的下确界。
• 推导出在有界与外部类锥形区域上带有对数权重余项的改进型 Rellich 不等式，确保常数为最优。
• 通过谱共振刻画不等式失效的条件：当 $-\gamma_{n,\alpha}$ 是 $\mathbb{S}^{n-1}$ 上 $-\Delta_\sigma$ 的特征值时，不等式不成立。
• 对所有 $\alpha \in \mathbb{R}$ 与所有维度 $n \geq 2$，完整分类不等式的有效性与最优性。

提出的方法

• 利用伸缩不变性将问题约化为齐次锥 $\Omega = \mathcal{C}_\Sigma = \{ r\sigma \mid r > 0, \sigma \in \Sigma \}$，其中 $\Sigma \subset \mathbb{S}^{n-1}$。
• 通过球谐函数将 $u$ 分解为径向与角向部分，将问题约化为关于 $r = |x|$ 的一维常微分方程。
• 通过在 $k \in \mathbb{N} \cup \{0\}$ 上取最小值，推导出 Navier 情形下的最优常数 $\mu_N(\Omega;\alpha)$：$\mu_{n,\alpha} = \min_k |\gamma_{n,\alpha} + k(n-2+k)|^2$，其中 $\gamma_{n,\alpha} = \left(\frac{n-2}{2}\right)^2 - \left(\frac{\alpha-2}{2}\right)^2$。
• 构造测试函数 $u(x) = |x|^{(4-n-\alpha)/2} v(-\log|x|) \varphi(\sigma)$，其中 $\varphi$ 是 $-\Delta_\sigma$ 的特征函数，对应特征值 $\lambda_\Sigma$，以分析余项的最优性。
• 对缩放后的测试函数应用伸缩论证（$t \to 0$ 与 $t \to \infty$），推导出余项形式 $A \int |x|^{\alpha-4} |\log|x||^{-2} |u|^2 + B \int |x|^{\alpha-4} |\log|x||^{-4} |u|^2$ 中常数 $A$ 与 $B$ 的上界。
• 通过反证法证明最优性：假设常数更大将导致在半直线 $\mathbb{R}_+$ 上已知最优不等式的矛盾。

实验结果

研究问题

• RQ1 在锥形区域 $\Omega = \mathcal{C}_\Sigma$ 上，对于 $u \in C^2_c(\overline{\Omega} \setminus \{0\})$，加权 Rellich 不等式中的最佳常数 $\mu_N(\Omega;\alpha)$ 是什么？
• RQ2 在 Dirichlet 情形下，最佳常数 $\mu_D(\Omega;\alpha)$ 与 $\mu_N(\Omega;\alpha)$ 的关系如何？其下界为何？
• RQ3 在何种条件下加权 Rellich 不等式会失效？这与 Laplace-Beltrami 算子谱的关系是什么？
• RQ4 在有界或外部类锥形区域上，带有对数余项的改进型 Rellich 不等式的最优常数是什么？
• RQ5 能否通过伸缩与变分技术严格证明对数余项的最优性？

主要发现

• 在 $\Omega = \mathcal{C}_\Sigma$ 上的 Navier 情形下，最佳常数为 $\mu_N(\mathcal{C}_\Sigma;\alpha) = \min_{k \in \mathbb{N} \cup \{0\}} |\gamma_{n,\alpha} + k(n-2+k)|^2$，其中 $\gamma_{n,\alpha} = \left(\frac{n-2}{2}\right)^2 - \left(\frac{\alpha-2}{2}\right)^2$。
• 当且仅当 $-\gamma_{n,\alpha}$ 是 $\mathbb{S}^{n-1}$ 上 $-\Delta_\sigma$ 的特征值时，不等式不成立，揭示了共振机制。
• 当 $n=2$ 时，在 $\mathbb{B}^2 \setminus \{0\}$ 或 $\mathbb{R}^2 \setminus \overline{\mathbb{B}^2}$ 上，Navier 情形下的最优常数为 $\mu_{2,\alpha} = \frac{1}{2}$，对应的尖锐余项为 $\frac{1}{2} \int |x|^{-4} |\log|x||^{-2} |u|^2$。
• 当 $n \geq 3$ 时，在 $\mathbb{B}^n \setminus \{0\}$ 或 $\mathbb{R}^n \setminus \overline{\mathbb{B}^n}$ 上，Navier 情形下的尖锐余项为 $\frac{n^2 - 4n + 8}{8} \int |x|^{-4} |\log|x||^{-2} |u|^2$。
• 在 Dirichlet 情形下，尖锐余项包含额外一项：$\frac{9}{16} \int |x|^{-4} |\log|x||^{-4} |u|^2$，该结果通过伸缩极限方法证明为最优。
• 余项中的常数 $A = \frac{\overline{\gamma}_{n,\alpha} + \lambda_\Sigma}{2}$ 与 $B = \left(\frac{3}{4}\right)^2 = \frac{9}{16}$ 为最优，通过在缩放函数上测试并取极限 $t \to 0$ 与 $t \to \infty$ 予以证明。