[論文レビュー] A note on p-adic q-Euler measure

Hacer Özden, Yılmaz Şimşek+2 more|ArXiv.org|Feb 28, 2007

Advanced Mathematical Identities参考文献 5被引用数 38

ひとこと要約

本稿では、修正された q-オイラー数および多項式を用いて ℤₚ 上に p-進 q-オイラー測度 μₖ* を構築し、Witt 型の公式を通じて p-進 q-積分と一般化された q-オイラー数の間の関係を確立する。主な貢献は、∫ q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ* を満たす μₖ* が満たすことを証明することであり、これにより cyclotomic field ℚₚ(χ) における Witt の公式の q-アナロジーが得られる。

ABSTRACT

In this paper we will investigate properties of modified q-Euler numbers and polynomials. The main purpose of this paper is to construct p-adic q-Euler measures.

研究の動機と目的

• 修正された q-オイラー数および多項式を用いて ℤₚ 上に p-進 q-オイラー測度 μₖ* を定義・構築すること。
• 測度論的枠組みを通じて p-進 q-積分と一般化された q-オイラー数の間の関係を確立すること。
• cyclotomic field ℚₚ(χ) における一般化された q-オイラー数のための Witt の公式の q-アナロジーを導出すること。
• ℤₚ 上での p-進 q-積分と極限操作を用いて、q-オイラー数および多項式に関する先行結果を一般化すること。
• p-進 q-積分の理論を、Dirichlet 指標および高次の q-オイラー構造を含むように拡張すること。

提案手法

• 測度 μₖ* の定義の基礎として、p-進 q-積分 I₋ₚ(f) = ∫_{ℤₚ} f(x) dμ₋ₚ(x) を用いる。
• k ≥ 1 に対して、μₖ*(a + dp^Nℤₚ) = (-1)^a [dp^N]_q^k [2]_q / [2]_{q^{dp^N}} ⋅ ℰ_{k,q^{dp^N}}(a/dp^N) を定義する。
• N → ∞ の極限を適用することで、lim_{N→∞} μₖ*(a + dp^Nℤₚ) = [2]_q / 2 ⋅ (-1)^a [a]_q^k が成り立つことを示す。
• ∫_{ℤₚ} q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*(x) という恒等式を確立し、測度と q-積分の関係を結ぶ。
• 極限 ∫_{X*} (-1)^x χ(x) ⟨x⟩_q^n dμ₋ₚ(x) = ℰ_{n,χ,q} - [2]_q/[2]_{q^p} χ(p)[p]_q^n ℰ_{n,χ,q^p} を用いて、Witt の公式の q-アナロジーを導出する。
• Teichmüller 字符 w(x) と q-数 [x]_q を用いて、最終的な公式で ⟨x⟩_q = [x]_q / w(x) を定義する。

実験結果

リサーチクエスチョン

• RQ1 修正された q-オイラー数および p-進 q-積分を用いて、どのように ℤₚ 上に p-進 q-オイラー測度 μₖ* を構築できるか？
• RQ2 q⁻ˣ[x]_qᵏ の p-進 q-積分と測度 μₖ* の間にはどのような関係があるか？
• RQ3 cyclotomic field ℚₚ(χ) における一般化された q-オイラー数 ℰ_{n,χ,q} に対して、Witt の公式の q-アナロジーを導出できるか？
• RQ4 集合 a + dp^Nℤₚ に対して、N → ∞ の極限における測度 μₖ* の振る舞いはいかなるものか？
• RQ5 p-進積分および字符和を用いて、ℰ_{n,χ,q} と ℰ_{n,χ,q^p} の間の関数的関係は何か？

主な発見

• p-進 q-オイラー測度 μₖ* は μₖ*(a + dp^Nℤₚ) = (-1)^a [dp^N]_q^k [2]_q / [2]_{q^{dp^N}} ⋅ ℰ_{k,q^{dp^N}}(a/dp^N) により定義される。
• 測度の極限は lim_{N→∞} μₖ*(a + dp^Nℤₚ) = [2]_q / 2 ⋅ (-1)^a [a]_q^k を満たす。
• 主な恒等式は ∫_{ℤₚ} q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*(x) であり、測度と q-積分の関係を結ぶ。
• q-アナロジーの Witt 公式が導出された：ℰ_{n,χ,q} = ∫_{X*} (-1)^x χ(x) ⟨x⟩_q^n dμ₋ₚ(x) + [2]_q/[2]_{q^p} χ(p)[p]_q^n ℰ_{n,χ,q^p}。
• 一般化された q-オイラー数 ℰ_{n,χ,q} は極限として表される：ℰ_{n,χ,q} = lim_{ρ→∞} [2]_q / 2 ∑_{1≤x≤dp^ρ}^* (-1)^x χ(x)[x]_q^n。
• 測度 μₖ* は、q⁻ˣ[x]_qᵏ の p-進 q-積分を測度論的解釈可能とするものであり、古典的オイラー数論を q-アナロジーの設定へと拡張する。