[论文解读] All conditions for Stein-Weiss inequalities are necessary

Quốc Anh Ngô|arXiv (Cornell University)|Oct 27, 2021

Advanced Harmonic Analysis Research被引用 1

一句话总结

本文证明了在 Stein-Weiss 不等式中，针对乘积空间 $\mathbb{R}^{n-k} \times \mathbb{R}^n$ 的所有参数条件都是不等式成立所必需的。通过构造显式反例，作者证明了平衡条件、权重可积性约束（$\alpha, \beta$）、$\lambda$ 的下界，以及条件 $1/p + 1/r \geq 1$ 的必要性，从而解决了文献中长期存在的关于这些参数最优性的假设。

ABSTRACT

The famous Stein-Weiss inequality on $\mathbf R^n imes \mathbf R^n$, also known as the doubly weighted Hardy-Littlewood-Sobolev inequality, asserts that \[ \Big| \iint_{\mathbf R^n imes \mathbf R^n} \frac{f(x) g(y)}{|x|^\alpha |x-y|^\lambda |y|^\beta} dx dy \Big| \lesssim \| f \| _{L^p(\mathbf R^n)} \| g\| _{L^r(\mathbf R^n)} \] holds for any $f\in L^p(\mathbf R^n)$ and $g\in L^r(\mathbf R^n)$ under several conditions on the parameters $n$, $p$, $r$, $\alpha$, $\beta$, and $\lambda$. Extending the above inequality to either different domains rather than $\mathbf R^n imes \mathbf R^n$ or classes of more general kernels rather than the classical singular kernel $|x-y|^{-\lambda}$ has been the subject of intensive studies over the last three decades. For example, Stein-Weiss inequalities on the upper half space, on the Heisenberg group, on homogeneous Lie group are known. Served as the first step, this work belongs to a set in which the following inequality on the product $\mathbf R^{n-k} imes \mathbf R^n$ is studied \[ \Big| \iint_{\mathbf R^n imes \mathbf R^{n-k}} \frac{f(x) g(y)}{|x|^\alpha |x-y|^\lambda |y|^\beta} dx dy \Big| \lesssim \| f \| _{L^p(\mathbf R^{n-k})} \| g\| _{L^r(\mathbf R^n)}. \] Toward the validity of the above new inequality, in this work, by constructing suitable counter-examples, we establish all conditions for the parameters $n$, $p$, $r$, $\alpha$, $\beta$, and $\lambda$ necessarily for the validity of the above proposed inequality. Surprisingly, these necessary conditions applied to the case $k=1$ suggest that the existing Stein-Weiss inequalities on the upper half space are yet in the optimal range of the parameter $\lambda$. This could reflect limitations of the methods often used. Comments on the Stein-Weiss inequality on homogeneous Lie groups as well as the reverse form for Stein-Weiss inequalities are also made.

研究动机与目标

• 确定 Stein-Weiss 不等式中的所有参数条件是否必要，特别是在以往假设但未证明的情况下。
• 解决文献中关于条件 $\alpha < n(p-1)/p$、$\beta < n(r-1)/r$、$\alpha + \beta \geq 0$、$1/p + 1/r \geq 1$ 和 $0 < \lambda < n - k$ 必要性的模糊性。
• 将必要条件的分析从经典的 $\mathbb{R}^n \times \mathbb{R}^n$ 设置扩展到乘积空间 $\mathbb{R}^{n-k} \times \mathbb{R}^n$，包括上半空间情形。
• 通过严格检验每一项条件，挑战关于上半空间 Stein-Weiss 不等式参数范围最优性的假设。

提出的方法

• 构造具有对数和幂次加权衰减的精心设计的测试函数 $f$ 和 $g$，以探测积分核 $|x|^{-\alpha}|x-y|^{-\lambda}|y|^{-\beta}$ 的行为。
• 使用 dyadic 分解和环形积分，估计在满足 $|x| \sim 2^m$、$|y| \sim 2^m$ 且 $|y''| \in [1,2]$ 的区域上的双重积分，以分离出关键的参数依赖性。
• 应用对偶性将原始不等式转化为 $L^q$-范数估计，从而可使用弱型估计，并与发散积分进行比较。
• 通过三角不等式和范数比较，对 $|x-y|^{-\lambda}$、$|x|^{-\alpha}$ 和 $|y|^{-\beta}$ 进行比较估计，以推导下界。
• 证明当任意条件被违反时，积分发散，从而通过反证法证明其必要性。
• 通过将 $\mathbb{R}^{n-1}$ 识别为边界，调整平衡条件，分析上半空间情形，然后独立测试每一项参数条件。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^{n-k} \times \mathbb{R}^n$ 上，$\alpha < (n-k)(p-1)/p$、$\beta < n(r-1)/r$、$\alpha + \beta \geq 0$、$1/p + 1/r \geq 1$ 和 $0 < \lambda < n - k$ 这些条件是否对 Stein-Weiss 不等式是必要的？
• RQ2 上半空间 Stein-Weiss 不等式中的条件 $\lambda < n - 1$ 是否真正必要，还是可以放宽？
• RQ3 平衡条件 $\frac{n-k}{n} \cdot \frac{1}{p} + \frac{1}{r} + \frac{\lambda + \alpha + \beta + 1}{n} = 2$ 是否可以削弱或移除？
• RQ4 $1/p + 1/r \geq 1$ 的条件是否必要，还是在其他假设下为冗余？
• RQ5 权重 $|x|^{-\alpha}$ 和 $|y|^{-\beta}$ 是否施加了独立于经典 HLS 平衡条件的约束？

主要发现

• 在 $\mathbb{R}^{n-k} \times \mathbb{R}^n$ 上，Stein-Weiss 不等式的所有条件——包括 $\lambda < n - k$、$\alpha < (n-k)(p-1)/p$、$\beta < n(r-1)/r$、$\alpha + \beta \geq 0$ 和 $1/p + 1/r \geq 1$——都是不等式成立所必需的。
• 条件 $\lambda < n - k$ 是必要的，且无法放宽，即使它不被其他条件所蕴含。
• 平衡条件 $\frac{n-k}{n} \cdot \frac{1}{p} + \frac{1}{r} + \frac{\lambda + \alpha + \beta + 1}{n} = 2$ 是必要的，且不能由其他条件推导得出。
• 条件 $1/p + 1/r \geq 1$ 是必要的，且不能省略，即使它不被其他约束所蕴含。
• 通过一个对数反例确认了 $\alpha + \beta \geq 0$ 的必要性：当 $\alpha + \beta < 0$ 时，即使其他条件满足，积分仍会发散。
• 分析确认，上半空间 Stein-Weiss 不等式的现有参数范围是最优的，因为所有条件都是必要的，包括 $\lambda < n - 1$。