[论文解读] On Copson's inequalities for $0< p<1$

Peng Gao, Huayu Zhao|arXiv (Cornell University)|Mar 16, 2020

Point processes and geometric inequalities参考文献 9被引用 1

一句话总结

本文通过推导序列 $\lambda_n$ 的充分条件，为 $0 < p < 1$ 的 Copson 型不等式建立了精确常数，使得不等式 $$ \sum_{n=1}^\infty \left( \frac{1}{\Lambda_n} \sum_{k=n}^\infty \lambda_k x_k \right)^p \geq \left( \frac{p}{L - p}\right)^p \sum_{n=1}^\infty x_n^p $$ 成立，其中 $\Lambda_n = \sum_{i=1}^n \lambda_i$，$L > p$ 是由 $\Lambda_n / \lambda_n$ 的增长性导出的参数。关键贡献在于提出了一个关于 $\lambda_n$ 的一般性条件，以确保得到最优常数，该结果推广了已知的 $p \leq 1/3$ 情况，并为 $\lambda_n = n^{\alpha} - (n-1)^\alpha$ 或 $\lambda_n = n^{\alpha-1}$ 的情形提供了新的显式 $p$ 范围。

ABSTRACT

Abstract Let $(\lambda_{n})_{n \geq1}$ (λn)n≥1 be a positive sequence and let $\varLambda_{n}=\sum^{n}_{i=1}\lambda_{i}$ Λn=∑i=1nλi . We study the following Copson inequality for $0< p<1$ 0p$ L>p : $$\begin{aligned} \sum^{\infty}_{n=1} \Biggl(\frac{1}{\varLambda_{n}} \sum^{\infty }_{k=n}\lambda_{k} x_{k} \Biggr)^{p} \geq \biggl( \frac{p}{L-p} \biggr)^{p} \sum^{\infty}_{n=1}x^{p}_{n}. \end{aligned}$$ ∑n=1∞(1Λn∑k=n∞λkxk)p≥(pL−p)p∑n=1∞xnp. We find conditions on $\lambda_{n}$ λn such that the above inequality is valid with the constant being the best possible.

研究动机与目标

• 确定序列 $\lambda_n$ 的条件，使得对于 $0 < p < 1$，Copson 型不等式 $$ \sum_{n=1}^\infty \left( \frac{1}{\Lambda_n} \sum_{k=n}^\infty \lambda_k x_k \right)^p \geq \left( \frac{p}{L - p}\right)^p \sum_{n=1}^\infty x_n^p $$ 在最优常数下成立，其中 $\Lambda_n = \sum_{i=1}^n \lambda_i$。
• 解决 $0 < p < 1$ 时 Copson 不等式最优常数的开放问题，特别是当经典常数 $p^p$ 对于 $p > 1/3$ 非最优时，并推广已知的 $p \leq 1/3$ 情况的结果。
• 通过引入由序列 $\Lambda_n / \lambda_n$ 导出的参数 $L > p$，将经典的 Hardy 和 Copson 不等式推广至 $0 < p < 1$ 的情形，并建立所得常数的精确性。
• 为 $\lambda_n = n^\alpha - (n-1)^\alpha$ 或 $\lambda_n = n^{\alpha-1}$ 的情形，提供 $p$ 的显式范围，使得不等式在常数 $\left(\frac{p}{1-p}\right)^p$ 下成立，尤其针对 $\alpha > 1$ 的情况。
• 提出一种基于对偶性与凸性分析的新方法，推导出确保不等式成立的 $\lambda_n$ 的充分条件，利用辅助函数及涉及 $L$ 和 $p$ 的不等式。

提出的方法

• 作者定义了一个涉及 $q = p/(p-1) < 0$ 的对偶不等式，将原始的 Copson 型不等式转化为更易通过凸性与单调性分析的对偶形式。
• 引入一个参数 $L > p$，定义为 $L = \sup_n \left( \frac{\Lambda_{n+1}}{\lambda_{n+1}} - \frac{\Lambda_n}{\lambda_n} \right)$，该参数控制 $\Lambda_n / \lambda_n$ 的增长，并用于调控常数的精确性。
• 通过分析函数 $h_{L,p}(x)$ 及其导数的符号，推导出主要结果，证明在特定 $L$ 与 $p$ 条件下有 $h_{L,p}(x) \geq 1$，从而推出不等式成立。
• 对于 $L < 1$ 的情形，引入一个涉及第二参数 $M$ 的改进条件，即 $\frac{\Lambda_{n+1}}{\lambda_{n+1}} - \frac{\Lambda_n}{\lambda_n} \leq L + M \frac{\lambda_n}{\Lambda_n}$，并据此推导出以 $L$ 和 $M$ 表示的新的 $p$ 范围。
• 定义两个辅助函数 $a_1(L,p)$ 和 $a_2(L,p)$ 以刻画不等式成立的参数空间，并通过渐近分析表明，这些函数对 $L$ 和 $p$ 施加了非平凡的限制。
• 证明依赖于关于 $x$ 的有理函数的凸性与凹性估计，以及通过一个凹函数 $v_{L,M,p}(x)$ 从下方控制关键辅助函数 $h_{L,M,p}(x)$ 的导数，并在端点处分析其最小值。

实验结果

研究问题

• RQ1 序列 $\lambda_n$ 需满足何种条件，才能使 Copson 不等式 $$ \sum_{n=1}^\infty \left( \frac{1}{\Lambda_n} \sum_{k=n}^\infty \lambda_k x_k \right)^p \geq \left( \frac{p}{L - p}\right)^p \sum_{n=1}^\infty x_n^p $$ 在 $0 < p < 1$ 下以最优常数成立，其中 $L > p$ 是由 $\lambda_n$ 导出的参数？
• RQ2 当 $\lambda_n = n^\alpha - (n-1)^\alpha$ 或 $\lambda_n = n^{\alpha-1}$ 时，不等式在常数 $\left(\frac{p}{1-p}\right)^p$ 下成立的最大 $p \in (0,1)$ 范围是什么？
• RQ3 当 $\lambda_n = 1$ 时，是否可以在 $p > 1/3$ 时实现最优常数 $\left(\frac{p}{1-p}\right)^p$？若可以，对序列 $\lambda_n$ 需满足何种条件？
• RQ4 参数 $L = \sup_n \left( \frac{\Lambda_{n+1}}{\lambda_{n+1}} - \frac{\Lambda_n}{\lambda_n} \right)$ 如何控制 $0 < p < 1$ 时不等式中常数的精确性？
• RQ5 是否可通过引入第二参数 $M$ 的改进条件，提升 $L < 1$ 时不等式成立的 $p$ 范围？

主要发现

• 若 $L = \sup_n \left( \frac{\Lambda_{n+1}}{\lambda_{n+1}} - \frac{\Lambda_n}{\lambda_n} \right) > p$，$L \geq 1$，$0 < p \leq 1/3$，且 $a_1(L,p) \geq 0$（其中 $a_1(L,p)$ 是 $L$ 与 $p$ 的函数），则不等式 $$ \sum_{n=1}^\infty \left( \frac{1}{\Lambda_n} \sum_{k=n}^\infty \lambda_k x_k \right)^p \geq \left( \frac{p}{L - p}\right)^p \sum_{n=1}^\infty x_n^p $$ 对所有非负序列 $x_n$ 成立。
• 当 $0 < L < 1$ 时，若 $p \leq L^2/4$ 且 $a_2(L,p) \geq 0$（其中 $a_2(L,p)$ 是 $L$ 与 $p$ 的第二个辅助函数），则不等式对所有非负 $x_n$ 成立，且该范围在如下意义下是精确的：当 $p$ 较小时有 $a_2(L,p) < 0$。
• 当 $\lambda_n = 1$ 时，条件 $L = 1$ 且 $p \leq 1/3$ 恢复了 Levin 与 Stečkin 的已知最优常数 $\left(\frac{p}{1-p}\right)^p$，确认该结果在此情况下为最优。
• 当 $\lambda_n = n^\alpha - (n-1)^\alpha$ 且 $\alpha > 1$ 时，不等式在常数 $\left(\frac{\alpha p}{1 - \alpha p}\right)^p$ 下对 $0 < p \leq p_{1/\alpha} = \frac{1}{4\alpha}$ 成立，将已知结果推广至 $\alpha > 1$ 的情形。
• 当 $\lambda_n = n^{\alpha-1}$ 且 $\alpha \geq 2$ 时，不等式在相同常数下对 $0 < p \leq p_{1/\alpha} = \frac{1}{4\alpha}$ 成立，且在所推导条件下该常数为最优。
• 引入第二参数 $M$ 的改进条件可扩大 $0 < L < 1$ 时 $p$ 的范围，使得不等式对 $p \leq \min\left\{ \frac{L(2L - 1)}{4(2L + M)}, \frac{L(1 - L - 2M)}{2(1 - L - M)} \right\}$ 成立，优于原有的 $p \leq L^2/4$ 边界。