[論文レビュー] Combinatorial Sums and Identities Involving Generalized Divisor Functions with Bounded Divisors

Maxie D. Schmidt|arXiv (Cornell University)|Apr 19, 2017

Advanced Mathematical Identities参考文献 6被引用数 3

ひとこと要約

本稿では、Lambert級数生成関数 Lα(q) の高階導関数を分析することにより、一般化された除数関数 σα(n) の新しい恒等式を導出する。主な貢献は、有界除数和を用いた多項式スケーリングされた σα(n) の展開であり、数論およびモジュラー形式における算術関数を研究するための新しい解析的枠組みを提供する。

ABSTRACT

The class of Lambert series generating functions (LGFs) denoted by $L_{\alpha}(q)$ formally enumerate the generalized sum-of-divisors functions, $\sigma_{\alpha}(n) = \sum_{d|n} d^{\alpha}$, for all integers $n \geq 1$ and fixed real-valued parameters $\alpha \geq 0$. We prove new formulas expanding the higher-order derivatives of these LGFs. The results we obtain are combined to express new identities expanding the generalized sum-of-divisors functions. These new identities are expanded in the form of sums of polynomially scaled multiples of a related class of divisor sums depending on $n$ and $\alpha$.

研究の動機と目的

• Lambert級数生成関数 Lα(q) の高階導関数の明示的公式を導出することにより、σα(n) を数える。
• σα(n) を多項式スケーリングされた除数和の和として表す新しい組合せ的恒等式を確立すること。
• 有界除数制約下での一般化された除数関数 σα(n) の構造を分析すること。
• 生成関数の導関数と除数和分解を用いた、σα(n) を体系的に展開するための方法を提供すること。

提案手法

• 本稿では、Lα(q) = ∑_{n≥1} σα(n) q^n として定義されるLambert級数生成関数 Lα(q) の形式的微分を用いて、高階導関数の展開を導出する。
• 導関数を α および n に依存する多項式係数を有する除数和の組み合わせとして表す変換を導入する。
• 本手法は、σα(n) のディリクレ級数構造を生成関数技術によって操作することに依存する。
• 多項式スケーリング係数は、生成関数の導関数を q = 0 の周りでテイラー展開することから導出される。
• 得られた恒等式は、微分された Lα(q) のべき級数展開における係数を一致させることで構築される。
• この枠組みは任意の実数 α ≥ 0 に一般化可能であり、算術関数への広範な適用可能性を提供する。

実験結果

リサーチクエスチョン

• RQ1 Lambert級数生成関数 Lα(q) の高階導関数を体系的に展開することで、σα(n) の新しい恒等式をどのように明らかにできるか？
• RQ2 固定された α および n に対して、σα(n) を表す多項式スケーリングされた除数和展開の構造はいかなるものか？
• RQ3 有界除数制約は、これらの一般化された除数関数恒等式の形および収束性にどのように影響するか？
• RQ4 導関数に基づくアプローチにより、基本的な除数和および多項式を用いた σα(n) の閉形式表現を得られるか？
• RQ5 パrameter α は、導出された恒等式の組合せ的構造をどのように規定するか？

主な発見

• 本稿では、Lα(q) の k 階導関数の閉形式表現を導出し、k および n における多項式係数を有する除数関数の和として表す。
• σα(n) を多項式 n および α によるスケーリング係数を有する除数和の線形結合として表す新しい恒等式が確立された。
• 導出された展開は、すべての実数 α ≥ 0 およびすべての整数 n ≥ 1 に対して有効であり、広範な適用可能性を保証する。
• 本手法は、高階導関数と低階導関数の除数関数との間の再帰的構造を明らかにした。
• 恒等式は、σα(n) が有理数多項式重みを有する有限個の重み付き除数和に分解可能であることを示している。
• この枠組みにより、Lα(q) の微分の次数を異なるものに選ぶことによって、σα(n) の恒等式を体系的に生成できる。