[論文レビュー] On Some p-Adic Series with Factorials

Бранко Драгович|ArXiv.org|Feb 18, 2004

advanced mathematical theories参考文献 9被引用数 6

ひとこと要約

本稿では、すべてのp進体 Q_p において収束を保証するとともに実数収束を維持する q-修正 p進級数枠組みを導入し、階乗係数をもつ発散級数に対する新しい「アデール的和分」法を可能にする。主な貢献は、数体に依存しない和分公式であり、∑n!P_k(n) のような級数に対して有理数和をもたらし、有理数性の明示的条件と量子場理論の摂動展開との関連を示す。

ABSTRACT

Some p-adic series with factorials are considered.

研究の動機と目的

• 理論物理学で用いられる標準的なべき級数が実数および p進体で共通の収束性を欠いているという問題に対処すること。
• すべての素数 p に対して p進収束を保証するとともに、実数収束を維持するため、有理数パラメータ q を用いた方法を開発すること。
• 階乗係数をもつ発散級数に適用可能な、数体に依存しない和分公式を確立すること。
• p進収束と発散級数の有理数和分との関係を「アデール的和分」を通じて探求すること。
• ∑n!P_k(n) のような級数が有理数和をもつための条件を調査すること、特に ∑n! が無理数であることとの関連を明らかにすること。

提案手法

• p進収束を制御するため、係数 I^{(q)}_{μn+ν} = ((μn+ν)!)^{μn+ν} / (q + ((μn+ν)!)^{μn+ν}) を導入する。
• 一般化された級数 (2.5) に、階乗項および多項式項を含む p進収束基準 |A_n x^n|_p → 0 (n→∞) を適用する。
• すべての Q_p および R で有効な一般和分公式 (3.1) を導出し、すべての p に対して有限個の除法を除き収束する場合に有理数和が得られることを保証する。
• アデールの概念を用いて、有理数点においてすべての Q_p および R で同時に収束する p進級数の列を構成する。
• 付録 A に示すように、係数に対する多項式的条件を通じて、有理数和をもつ具体的な級数の例を構成する。
• 級数 ∑n!P_k(n) にこの方法を適用し、有理数和をもたらすための P_k(n) の条件を導出し、∑n! が無理数であるという予想と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 すべての素数 p に対して p進収束を保証しつつ、階乗級数において実数収束を維持することは可能か？
• RQ2 多項式係数 P_k(n) にどのような条件を課すと、∑n!P_k(n) が p進的意味で有理数和をもつようになるか？
• RQ3 階乗係数をもつ発散実級数は、p進収束性を利用することで、どのようにして有理数和に割り当てられるか？
• RQ4 パラメータ q は、実数収束に影響を与えずに、グローバルな p進収束を保証するために果たす役割は何か？
• RQ5 アデールの概念を用いることで、有理数点における級数の実数および p進的挙動を統合的に扱うことは可能か？

主な発見

• q-修正級数 (2.5) は、すべての x ∈ Q_p およびすべての素数 p に対して p進的収束するが、有限個の除法を除きすべての p で収束が保たれる。
• 一般和分公式 (3.1) は、数体に依存しない有理数和をもたらし、発散級数の「アデール的和分」を可能にする。
• ∑n!P_k(n) に対して有理数和が得られるのは、P_k(n) が多項式 A_{k-1}(n) を用いた特定の線形条件を満たす場合に限り、その和は -A_{k-1}(0) に等しい。
• 級数 ∑n!(n^k + u_k) = v_k が唯一の整数対 (u_k, v_k) をもつのは、∑n! が無理数である場合に限る。これは、∑n! が有理数である可能性は低いことを示唆する。
• 付録 A に示される具体的な例では、∑(n+β)!P_2(n) = β!(C_2(β+1) - C_1) のような級数が有理数和をもつことが示され、本手法の非自明性が裏付けられる。
• x ∈ Q のとき、列 H^{ε,q}_{μ,ν}(x) はアデールをなす。各成分は R およびすべての Q_p で収束し、和は有理式 (5.8) で与えられる。