[論文レビュー] Greedy Sums and Dirichlet Series

E. V. Shchepin|arXiv (Cornell University)|Oct 24, 2011

Mathematics and Applications被引用数 5

ひとこと要約

本稿は、任意の数値配列に対して、減少するε-部分和を用いた収束性によって定義されるグリーディ和の概念を導入する。直接積のグリーディ和が、個々のグリーディ和の積に等しくなることを示し、一般化されたディリクレ級数およびハーディーとリエスの理論を用いて、ディリクレ級数の乗法定理を応用することでこれを証明する。

ABSTRACT

We prove that the greedy sum of a direct product of two numeric arrays of complex numbers is equal to the product of the greedy sums of the factors provided that all the mentioned sums exist.

研究の動機と目的

• 任意の集合にインデックスが付与された数値配列に対して、絶対収束でない系列に対しても適用可能な、新たな和の方法—グリーディ和—を定義すること。
• 二つの配列の直接積のグリーディ和が、個々のグリーディ和の積に等しくなる条件を確立すること。
• グリーディ和を一般化されたディリクレ級数と関連付け、ハーディーとリエスの既存の理論を活用して主結果を証明すること。
• 絶対収束でない級数へと古典的和の結果を一般化するため、大きさの閾値に基づく新しい収束基準を導入すること。

提案手法

• 各ε > 0に対して、|a_i| ≥ ε を満たすすべての要素の和としてε-部分和を定義し、これは各εに対して有限である。
• ε → 0 の極限としてのε-部分和の極限としてグリーディ和を定義し、任意の正の閾値を超える項が有限個である場合にのみ収束を保証する。
• 配列と一般化されたディリクレ級数を結びつけるために、グリーディゼータ関数 A(z) = ∑ a_i |a_i|^z を導入する。
• 配列のディリクレ級数表現が z で収束することは、そのグリーディ和の存在と同値であることを確立する。
• 二つのディリクレ級数の形式的積を、項ごとに指数を足し合わせ、係数を畳み込みによって結合する新しい級数として定義する。
• ハーディーとリエスの書籍における定理55を適用し、形式的積の収束が、元の級数の和の積を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 二つの配列の直接積のグリーディ和が、個々のグリーディ和の積に等しくなる条件は何か？
• RQ2 条件収束級数において、グリーディ和は標準的和とどのように異なるか？
• RQ3 一般化されたディリクレ級数の理論を用いて、グリーディ和の乗法的性質を証明できるか？
• RQ4 ディリクレ級数の収束と、配列のグリーディ和の存在との関係は何か？

主な発見

• 配列のグリーディ和が存在するのは、そのディリクレ級数が z = 0 で収束する場合に限り、直接的な同値関係が成立する。
• 二つの配列の直接積のグリーディゼータ関数は、個々のグリーディゼータ関数の積に等しい。
• 主結果（定理1）が成立する：配列およびその直接積がグリーディ和可能であれば、積のグリーディ和は個々のグリーディ和の積に等しい。
• 証明は、ハーディーとリエスの書籍における定理55を、λ_k = -ln|a_k| および μ_k = -ln|b_k| の特定のケースに適用することで行われる。
• 配列のディリクレ級数は、そのグリーディゼータ関数と等価であり、既存の収束定理の適用が可能になる。
• 二つの配列のディリクレ級数の形式的積は、それらの直接積配列のディリクレ級数に正確に対応する。