[論文レビュー] 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

ひとこと要約

本稿は、$0 < p < 1$ におけるコプソン型不等式の鋭い定数を確立する。$\Lambda_n = \sum_{i=1}^n \lambda_i$ とおくとき、不等式 $$ \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$ に関する十分条件を導出する。ここで $L > p$ は $\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.

研究の動機と目的

• $0 < p < 1$ に対して、最良の定数をもつコプソン型不等式 $$ \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$ の条件を特定すること。ここで $\Lambda_n = \sum_{i=1}^n \lambda_i$ であり、$L > p$ は $\Lambda_n / \lambda_n$ の成長から導かれるパラメータである。
• $p > 1/3$ の場合に古典的定数 $p^p$ が最良でないという事実を踏まえ、$0 < p < 1$ におけるコプソン不等式の最良定数を同定する未解決問題を解決すること。特に $p \leq 1/3$ の既知の結果を拡張すること。
• $\Lambda_n / \lambda_n$ の成長から導かれるパラメータ $L > p$ を導入することで、$0 < p < 1$ の場合の古典的ハーディーおよびコプソン不等式の一般化を図り、導かれた定数の鋭さを確立すること。
• $\lambda_n = n^\alpha - (n-1)^\alpha$ または $\lambda_n = n^{\alpha-1}$ の場合に、定数 $\left(\frac{p}{1-p}\right)^p$ を用いた不等式が成り立つ $p \in (0,1)$ の最大範囲を明示的に同定すること。特に $\alpha > 1$ の場合を含む。
• 双対性と凸性解析に基づく新規な手法を構築し、$L$ と $p$ を含む補助関数および不等式を用いて、不等式が成り立つための $\lambda_n$ の十分条件を導出すること。

提案手法

• 著者らは、$q = p/(p-1) < 0$ を用いて双対不等式を定義し、元のコプソン型不等式を双対形に変換することで、凸性および単調性の議論がより容易になるようにする。
• $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$ に関する有理関数の凸性および凹性の推定に依拠し、重要な補助関数 $h_{L,M,p}(x)$ の導関数を、その最小値を端点で解析する凹関数 $v_{L,M,p}(x)$ で下から抑え込むことにより行われる。

実験結果

リサーチクエスチョン

• RQ1 $\lambda_n$ にどのような条件を課すと、$0 < p < 1$ に対して、最良の定数をもつコプソン不等式 $$ \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 $$ が成り立つのか。ここで $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$ を満たす場合、非負の数列 $x_n$ 全体に対して不等式 $$ \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 $$ が成り立つ。ここで $a_1(L,p)$ は $L$ と $p$ の関数として定義されたものである。
• $0 < L < 1$ の場合、$p \leq L^2/4$ かつ $a_2(L,p) \geq 0$ を満たすならば、すべての非負の $x_n$ に対して不等式が成り立つ。この範囲は、$p$ が小さい場合に $a_2(L,p) < 0$ となることから、鋭いものである。
• $\lambda_n = 1$ の場合、$L = 1$ かつ $p \leq 1/3$ の条件により、リーヴィンとシュチェキンが得た既知の最良定数 $\left(\frac{p}{1-p}\right)^p$ が回復され、この場合に最良であることが確認される。
• $\alpha > 1$ に対して $\lambda_n = n^\alpha - (n-1)^\alpha$ の場合、不等式は定数 $\left(\frac{\alpha p}{1 - \alpha p}\right)^p$ を用いて $0 < p \leq p_{1/\alpha} = \frac{1}{4\alpha}$ で成り立つ。これは既知の結果を $\alpha > 1$ にまで拡張する。
• $\alpha \geq 2$ に対して $\lambda_n = n^{\alpha-1}$ の場合、同じ定数 $\left(\frac{\alpha p}{1 - \alpha p}\right)^p$ を用いて $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$ の境界を改善する。