[論文レビュー] Polylogarithms, hyperfunctions and generalized Lipschitz summation formulae

Stefano Marmi, Piergiulio Tempesta|ArXiv.org|Dec 6, 2007

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

ひとこと要約

本稿は、ベルヌーイ型アペル多項式のフーリエ展開から導かれる新しい多対数的有理関数を用いて、古典的なリプシッツ和公式を負のべきに一般化する。デルタ有理関数を導入し、1次元超関数を構成することで、多対数関数、超関数、アペル多項式構造を結びつける一般化されたリプシッツ公式を確立する。また、ラザールドの形式的群法則および普遍ベルヌーイ合同式とも関連している。

ABSTRACT

A generalization of the classical Lipschitz summation formula is proposed. It involves new polylogarithmic rational functions constructed via the Fourier expansion of certain sequences of Bernoulli--type polynomials. Related families of one--dimensional hyperfunctions are also constructed.

研究の動機と目的

• 新しいクラスの多対数的関数を用いて、古典的なリプシッツ和公式を負の整数べきに一般化すること。
• 周期的ベルヌーイ型アペル多項式から1次元超関数を構成すること。
• 2変数多対数級数とデルタ有理関数を含む一般化されたリプシッツ和公式を確立すること。
• 得られた多対数的構造と形式的群理論、特にラザールドの普遍形式的群法則との関連を示すこと。
• 構築されたアペル多項式列が普遍クラウゼン＝フォン・シュタウトおよびクンマー合同式を満たすことを示すこと。

提案手法

• 有理係数と正則関数を含む母関数を用いて、ベルヌーイ型アペル多項式の列を定義する。
• 上半平面および下半平面における正則関数の対を、整関数をモジュロとして用いて、層コhomologyにおけるコhomology類の代表者として周期的超関数を構成する。
• 標準的な多対数関数をリーマン球面上のメロモルフィック2変数ディリクレ級数に拡張する「デルタ有理関数」を導入する。
• これらのアペル列に関連するデルタ関数の周期的原始関数のフーリエ展開を用いて、一般化されたリプシッツ和公式を導出する。
• 形式的群法則の指数関数および対数関数級数を用いて、アペル構造とラザールドの普遍形式的群との対応関係を確立する。
• ラザールド環の係数環における普遍ベルヌーイ数の母関数を用いて、ラザールド環の係数環内での普遍合同式を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてベルヌーイ型多項式を用いて、古典的なリプシッツ和公式を負のべきに一般化できるか？
• RQ2 デルタ有理関数は、標準的多対数関数をリーマン球面上のメロモルフィック関数に拡張するために果たす役割は何か？
• RQ3 構築された超関数は、層理論による超関数のコホモロジー的定義とどのように関係しているか？
• RQ4 アペル多項式列はどのようにして形式的群法則を生じさせ、これはラザールドの普遍形式的群とどのように関連しているか？
• RQ5 一般化されたベルヌーイ数はどのような普遍合同式を満たし、クラウゼン＝フォン・シュタウトおよびクンマーの古典的結果をどのように拡張するか？

主な発見

• ベルヌーイ型多項式 $P_n(x)$ に対する一般化されたリプシッツ和公式は、$|q|<1$ のとき上半平面で、$(-1)^{n-1}\triangle_{-n}(q^{-1})$ で $|q|>1$ のとき下半平面で定義される超関数的方程式で与えられる。
• デルタ有理関数 $\triangle_n(q)$ はリーマン球面上でメロモルフィックであり、標準的多対数関数を算術的・解析的構造を持つ2変数ディリクレ級数に拡張する。
• アペル多項式列 $\big\bracevert P_n(x)\big\bracevert$ および $\big\bracevert Q_n(x)\big\bracevert$ は、係数環 $\bbZ[c_1,c_2,\\dots]$ 内で普遍クラウゼン＝フォン・シュタウトおよびクンマー合同式を満たす。
• 構築された級数に関連する形式的群法則は、ラザールドの普遍形式的群と同型であり、その指数関数および対数関数級数はアペル多項式の母関数から導出される。
• 一般化されたベルヌーイ数 $\big\bracevert \tilde{B}_n \big\bracevert$ は、次の普遍フォン・シュタウト合同式を満たす：$\tilde{B}_n \equiv -\sum_{p-1\mid n} \frac{c_{p-1}^{n/(p-1)}}{p} \mod \bbZ[c_1,c_2,\dots]$（$n$ が偶数のとき）、奇数 $n>1$ に対しても同様の式が成り立つ。
• 普遍クンマー合同式が成り立つ：$\frac{\tilde{B}_{n+p-1}}{n+p-1} \equiv \frac{\tilde{B}_n}{n} c_{p-1} \mod p\bbZ_p[c_1,c_2,\dots]$（条件 $n \not\equiv 0,1 \pmod{p-1}$ の下で）。