[論文レビュー] On weighted remainder form of Hardy-type inequalities

Peng Gao|ArXiv.org|Jul 30, 2009

Analytic Number Theory Research参考文献 9被引用数 5

ひとこと要約

本稿は、積分的および離散的双対性原理を用いて、$0 < p < 1$ および $p > 1$ の場合のハーディー型不等式の重み付き剰余形を確立することで、レヴィンとステチキンの不等式を一般化する。作用素ノルム解析を用いて鋭い定数を導出し、対数的および累乗重み付き平均を含むより広いパrameter範囲へ既存の結果を拡張する。

ABSTRACT

We use different approaches to study a generalization of a result of Levin and Stečkin concerning an inequality analogous to Hardy's inequality. Our results lead naturally to the study of weighted remainder form of Hardy-type inequalities.

研究の動機と目的

• 古典的ケースを超えて、レヴィンとステチキンの不等式をハーディー型不等式へ一般化すること。
• $0 < p < 1$ および $p > 1$ の場合に、鋭い定数を伴う重み付き剰余形のハーディー型不等式を確立すること。
• 重み付き平均行列および $l^p$ 作用素ノルムに関する既存の結果を統一し拡張すること。
• $1/p + 1/q = 1$ を満たす $q$-ノルム双対性を用いて、不等式の離散的および積分的形との双対性を調査すること。
• 漸近的解析およびコプソンの不等式やノップの不等式といった既知の不等式との比較を通じて、最良の定数を導出すること。

提案手法

• $1/p + 1/q = 1$ を満たす $L^p$ および $L^q$ 空間間の双対性原理を用いて、不等式を同値な双対形に変換する。
• 作用素ノルムフレームワークを用いて、重み付き平均行列の $l^p$ 有界性を分析する。
• 一般化された重み関数 $\frac{(k+1)^r - k^r}{r}$ ($r \neq 0$) を導入し、$r \to 0$ の極限として $\ln((k+1)/k)$ を定義する。
• 変数変換 $a_n \to n^{-\beta/p} a_n$ を用いて、累乗重み付き不等式を導出する。
• 列 $b_n$ の構成および指数的評価を用いて、収束性および鋭さの十分条件を導出する。
• $\lim_{n\to\infty} \Lambda_{n+1} G_{n+1}/\lambda_n = 0$ および差分商の上界を用いて、$E = e^M$ を通じて鋭い定数を確立する。

実験結果

リサーチクエスチョン

• RQ1 $0 < p < 1$ および $(2+r)p \leq 1$ を満たす $r$ の場合に、重み付き剰余形ハーディー型不等式の最良の定数は何か？
• RQ2 レヴィンとステチキンの不等式は、累乗重み付きおよび対数重み付き平均を含む形にどのように一般化できるか？
• RQ3 $p > 1$ または $p < 0$ の場合に不等式が逆転する条件は何か？ その場合の鋭い定数は何か？
• RQ4 $p$ と $q$ 間の双対性原理を用いて、鋭い定数を伴う同値な双対形の不等式を導出できるか？
• RQ5 序列 $\lambda_n = n^\alpha - (n+1)^\alpha$ または $\lambda_n = n^\alpha$ ($\alpha < -1$) に対して、結果はどのように拡張されるか？

主な発見

• $0 < p < 1$ および $(2+r)p \leq 1$ を満たす $r$ の場合、不等式 $\sum_{n=1}^\infty \left( \frac{1}{n^r} \sum_{k=n}^\infty \frac{(k+1)^r - k^r}{r} a_k \right)^p \geq \left( \frac{p}{1 - rp} \right)^p \sum_{n=1}^\infty a_n^p$ が最良の定数を伴って成立する。
• $q = p/(p-1)$ の双対形では、$\sum_{n=1}^\infty \left( \frac{(n+1)^r - n^r}{r} \sum_{k=1}^n \frac{a_k}{k^r} \right)^q \leq \left( \frac{p}{1 - rp} \right)^q \sum_{n=1}^\infty a_n^q$ が得られ、$p > 1$ かつ $1/p - 2 \leq r < 1/p$ の範囲で有効である。
• $r = 0$ の場合、$\sum_{n=1}^\infty \left( \sum_{k=n}^\infty \ln\left(\frac{k+1}{k}\right) a_k \right)^p \geq p^p \sum_{n=1}^\infty a_n^p$ が成立し、$0 < p \leq 1/2$ の場合にコプソンの不等式を含意する。
• $\lambda_n = n^\alpha - (n+1)^\alpha$ で $-1 \leq \alpha < 0$ の場合、不等式 $\sum_{n=1}^\infty \left( \prod_{k=n}^\infty a_k^{(k^\alpha - (k+1)^\alpha)/n^\alpha} \right) \leq e^{1/\alpha} \sum_{n=1}^\infty a_n$ が鋭い定数 $e^{1/\alpha}$ を伴って成立する。
• $\alpha < -1$ の場合、不等式 $\sum_{n=1}^\infty \left( \sum_{k=n}^\infty \frac{k^\alpha a_k}{\sum_{i=n}^\infty i^\alpha} \right)^p \geq \left( \frac{(1+\alpha)p}{(1+\alpha)p - 1} \right)^p \sum_{n=1}^\infty a_n^p$ が最良の定数を伴って成立し、$a_n = n^{-1/p - \epsilon}$ ($\epsilon \to 0^+$) を用いた確認により裏付けられる。