[논문 리뷰] A note on p-adic q-Euler measure

Hacer Özden, Yılmaz Şimşek외 2명|ArXiv.org|2007. 02. 28.

Advanced Mathematical Identities참고 문헌 5인용 수 38

한 줄 요약

이 논문은 수정된 q-Euler 수와 다항식을 사용하여 ℤₚ 위에 p-진 q-Euler 측도 μₖ*를 구성하고, 윌트 유형의 공식을 통해 p-진 q-적분과 일반화된 q-Euler 수 사이의 연결을 수립한다. 주요 기여는 측도 μₖ*가 ∫ q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*를 만족함을 증명한 것으로, 이는 ℚₚ(χ)에서의 캐릭터리스틱 필드에 대한 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-Euler 수와 다항식을 사용하여 ℤₚ 위에 p-진 q-Euler 측도 μₖ*를 정의하고 구성하는 것.
• 측도 이론적 프레임워크를 통해 p-진 q-적분과 일반화된 q-Euler 수 사이의 연결을 수립하는 것.
• 순환체 ℚₚ(χ)에서 일반화된 q-Euler 수에 대한 q-유사 윌트 공식을 유도하는 것.
• p-진 q-적분과 ℤₚ 위의 극한 과정을 이용하여 이전의 q-Euler 수와 다항식 결과를 일반화하는 것.
• p-진 q-적분 이론을 Dirichlet 캐릭터와 고차수 q-Euler 구조를 포함하도록 확장하는 것.

제안 방법

• 측도 μₖ*를 정의하는 데 기초로 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-적분을 연결하는 항등식 ∫_{ℤₚ} q⁻ˣ[x]_qᵏ dμ₋ₚ(x) = dμₖ*(x)를 수립한다.
• 극한 ∫_{X*} (-1)^x χ(x) ⟨x⟩_q^n dμ₋ₚ(x) = ℰ_{n,χ,q} - [2]_q/[2]_{q^p} χ(p)[p]_q^n ℰ_{n,χ,q^p}을 통해 q-유사 윌트 공식을 유도한다.
• 최종 공식에서 Teichmüller 캐릭터 w(x)와 q-수 [x]_q를 사용하여 ⟨x⟩_q = [x]_q / w(x)로 정의한다.

실험 결과

연구 질문

• RQ1 수정된 q-Euler 수와 p-진 q-적분을 사용하여 ℤₚ 위에 p-진 q-Euler 측도 μₖ*를 어떻게 구성할 수 있는가?
• RQ2 q⁻ˣ[x]_qᵏ의 p-진 q-적분과 측도 μₖ* 사이의 관계는 무엇인가?
• RQ3 순환체 ℚₚ(χ)에서 일반화된 q-Euler 수 ℰ_{n,χ,q}에 대한 q-유사 윌트 공식을 유도할 수 있는가?
• RQ4 집합 a + dp^Nℤₚ에 대해 N → ∞일 때 측도 μₖ*는 어떻게 행동하는가?
• RQ5 p-진 적분과 캐릭터 합을 통해 ℰ_{n,χ,q}와 ℰ_{n,χ,q^p} 사이의 함수적 관계는 무엇인가?

주요 결과

• p-진 q-Euler 측도 μₖ*는 μₖ*(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-유사 윌트 공식이 도출된다: ℰ_{n,χ,q} = ∫_{X*} (-1)^x χ(x) ⟨x⟩_q^n dμ₋ₚ(x) + [2]_q/[2]_{q^p} χ(p)[p]_q^n ℰ_{n,χ,q^p}.
• 일반화된 q-Euler 수 ℰ_{n,χ,q}는 ℰ_{n,χ,q} = lim_{ρ→∞} [2]_q / 2 ∑_{1≤x≤dp^ρ}^* (-1)^x χ(x)[x]_q^n로 극한으로 표현된다.
• 측도 μₖ*는 q⁻ˣ[x]_qᵏ의 p-진 q-적분을 측도 이론적으로 해석하며, 고전적 오일러 수 이론을 q-유사 설정으로 확장한다.