[论文解读] Hardy-Sobolev-Rellich, Hardy-Littlewood-Sobolev and Caffarelli-Kohn-Nirenberg inequalities on general Lie groups

Michael Ruzhansky, Nurgissa Yessirkegenov|arXiv (Cornell University)|Oct 20, 2018

Nonlinear Partial Differential Equations被引用 4

一句话总结

本文在一般连通李群上建立了加权 Hardy、Hardy-Sobolev、Hardy-Littlewood-Sobolev 以及 Caffarelli-Kohn-Nirenberg 不等式，涵盖单模与非单模情形。它推导出在具有极坐标分解的度量测度空间上双权 Hardy 不等式的必要与充分条件，将经典不等式推广至非单模李群，并为 Sobolev 嵌入与不确定性原理提供了统一框架及新证明。

ABSTRACT

In this paper we establish a number of geometrical inequalities such as Hardy, Sobolev, Rellich, Hardy-Littlewood-Sobolev, Caffarelli-Kohn-Nirenberg, Gagliardo-Nirenberg inequalities and their critical versions for an ample class of sub-elliptic differential operators on general connected Lie groups, which include both unimodular and non-unimodular cases in compact and noncompact settings. We also obtain the corresponding uncertainty type principles.

研究动机与目标

• 将经典的 Hardy、Hardy-Sobolev 及相关不等式推广至一般连通李群，包括非单模与紧致情形。
• 推导在具有极坐标分解的度量测度空间上双权 Hardy 不等式的必要与充分条件。
• 统一并推广李群上 Sobolev 嵌入与不确定性原理的现有结果。
• 通过新不等式为非单模李群上的 Sobolev 嵌入定理提供替代证明。

提出的方法

• 通过径向函数与类径向函数的分析，在具有极坐标分解的度量测度空间上推导双权 Hardy 不等式。
• 应用李群上带漂移的次拉普拉斯算子理论，特别是算子 $\Delta_\chi = -\sum_{j=1}^n (X_j^2 + c_j X_j)$，以定义加权 Sobolev 空间 $L^p_\alpha(\mu_\chi)$。
• 利用热核估计与涉及函数 $G_{\alpha,\chi}^c(x)$ 的积分表示，控制解的衰减与增长。
• 应用 Hölder 不等式与插值技巧，推导加权 $L^p$ 与 $L^q$ 空间之间的嵌入结果。
• 通过热核的统一有界性与特征标行为，将方法适配至紧致李群。
• 作为推导不等式的副产品，通过对偶性与范数比较，建立不确定性原理。

实验结果

研究问题

• RQ1 在具有极坐标分解的一般度量测度空间上，双权 Hardy 不等式成立的必要与充分条件是什么？
• RQ2 如何将 Hardy-Sobolev 及相关不等式推广至非单模李群？
• RQ3 模函数 $\delta$ 与特征标 $\chi$ 在定义李群上的加权 Sobolev 空间与嵌入关系中起什么作用？
• RQ4 能否通过 Hardy 型不等式的统一框架重新推导经典 Lie 群上的 Sobolev 嵌入定理？
• RQ5 从一般李群上推导出的不等式中，会涌现出哪些不确定性原理？

主要发现

• 本文在具有极坐标分解的一般度量测度空间上建立了双权 Hardy 不等式，并给出了权重存在的必要与充分条件。
• 证明了在一般连通李群上的 Hardy-Sobolev 不等式：$\left\| \frac{f}{|x|^{\beta/q}} \right\|_{L^q(\mu_{\chi^{q/p}\delta^{1-q/p}})} \lesssim \|f\|_{L^p_\alpha(\mu_\chi)}$，在条件 $1/p - 1/q \leq \alpha/d - \beta/(dq)$ 下成立。
• 当 $d/p \leq \alpha < d$ 时，Hardy-Sobolev 不等式对所有 $q \geq p$ 成立，扩展了其有效范围。
• Caffarelli-Kohn-Nirenberg 不等式作为主 Hardy-Sobolev 结果的推论被导出，且给出了显式的权重条件。
• 在相同框架下建立了 Gagliardo-Nirenberg 及临界情形的不等式。
• 通过新的 Hardy 型不等式，获得了非单模李群上 Sobolev 嵌入定理的替代证明。