[論文レビュー] Norm of the discrete Cesàro operator minus identity

Gord Sinnamon|arXiv (Cornell University)|May 29, 2021

Holomorphic and Operator Theory参考文献 3被引用数 26

ひとこと要約

本論文は、ℓ^p における C−I の作用ノルムをすべての p∈(1,∞) に対して正確に決定する。1<p≤2 の場合は 1/(p−1)、p>2 の場合は m_p^{−1/p}（p=∞ の場合は 2）となる。連続 Hardy の場合とも整合し、m_p は関連関数の最小化を通じて導入される。

ABSTRACT

The norm of $C-I$ on $\ell^p$, where $C$ is the Cesàro operator, is shown to be $1/(p-1)$ when $1

研究の動機と目的

• Bennett の1996年の ℓ^p における C−I のノルムに関する問いと Jameson の予想を動機づけ、形式化する。
• p=4/3 および p=2 の既知の結果をすべての p>1 に拡張し、すべての p に対する厳密なノルムを提供する。
• 離散的な ℓ^p の結果を連続的な Hardy 演算子 P とその転置と関連づけ、離散と連続の設定で共通のノルムを示す。
• 転置演算子、 Hölder 不等式、および双対性を用いた統一的枠組みを構築し、鋭い上界と厳密な値を確立する。

提案手法

• 転置 Cesàro 演算子 C^T を定義し、 ∥C−I∥_ℓ^p = ∥C^T−I∥_ℓ^{p′} という双対性を用いて p>2 の範囲を研究する。
• 補助定理 Lemma 1 を通じて鍵となる不等式を証明し、密集合 𝔼 の p に対して ∥C^T−I∥_ℓ^p ≤ p−1 の上界を得て、連続性によって拡張する。
• Hölder 不等式と総和技巧を適用して、有限の上界 ∑(y_n−x_n)^p ≤ (p−1)^p ∑x_n^p（およびそれの連続類推）を導出する。
• 関数 f_p(t)=p t^{p−1}+(1−t)^p−t^p およびその区間 [0,1/2] における最小値 m_p を導入し、p>2 のとき m_p が (0,1/2) に一意に現れる t_p で達成されることを示す。
• 𝔼 に含まれる p の間での Riesz–Thorin 補間を用いて上界をすべての p>2 に拡張し、鋭さを示す実構成極値列を用いて鋭さを示し、p>2 に対して ∥C−I∥_ℓ^p = m_p^{−1/p} を得る。
• 離散の結果が連続の場合 P^T および P と並行であることを示し、類推により P−I の L^p ノルムを導出する。

実験結果

リサーチクエスチョン

• RQ1 1<p<∞ に対して ℓ^p における C−I の正確なノルムはいくらか？
• RQ2 既知の p=4/3 のケース（および関連する予想）はすべての p∈(1,∞) に拡張されるのか、またどのようにか？
• RQ3 離散的な ℓ^p の結果は連続的な Hardy 演算子ケース P−I とどのように比較され、対応づけを厳密に行えるか？
• RQ4 補助関数 m_p が p>2 の鋭いノルム決定においてどのような役割を果たすか？

主な発見

• 1<p≤2 の場合、 ∥C−I∥_ℓ^p = 1/(p−1)（同等に ∥C^T−I∥_ℓ^p = p−1）。
• p>2 の場合、 ∥C−I∥_ℓ^p = m_p^{−1/p}、ここで m_p は f_p(t)=p t^{p−1}+(1−t)^p−t^p を [0,1/2] で最小化した値。
• 特に p=∞ の場合 ∥C−I∥_ℓ^∞ = 2。
• 結果は Jameson の p=4 に対する境界を拡張し、m_p および t_p の特定の計算を通じて p=4/3 および p=3 の正確な値を回復する。
• 離散的な結果は連続の場合と対応しており、 ∥P−I∥_{L^p} は同じ表現になり、系の推論は P^T および正の円錐ケースについて並行する命題を与える。
• 証明は Hölder 不等式、鍵となる不等式（Lemma 1）、Riesz–Thorin 補間、および明示的な極値構成を組み合わせて鋭さを示す。