[논문 리뷰] A Note on p-Adic Invariant Integral in the Rings of p-Adic Integers

Taekyun Kim|ArXiv.org|2006. 06. 05.

Advanced Mathematical Identities참고 문헌 2인용 수 22

한 줄 요약

이 논문은 q가 -1으로 수렴할 때 p진 q적분의 극한을 조사하여 ℤₚ 위에 새로운 p진 불변 적분 I₋₁(f)를 정의한다. I₋₁(f)에 대한 적분 방정식을 유도하고, 윌트 유형의 공식을 수립하며, 이 적분을 통해 일반화된 오일러 수와 다항식을 정의함으로써, p진 해석학과 q미적분학을 활용한 오일러 유형 특수 수의 성질을 연구하기 위한 p진 프레임워크를 제공한다.

ABSTRACT

In [2], I constructed the p-adic q-integral on Zp. In this paper, we consider the properties of the p-adic invariant p-adic q-integral in the ring of p-adic integers at q=-1. Finally we give the some applications of p-adic q-integration at q=-1. These properties are useful and worthwhile to study Euler numbers and polynomials.

연구 동기 및 목표

• q→-1로의 p진 q적분의 극한을 연구하여 새로운 p진 불변 적분 I₋₁(f)를 도출하는 것.
• ℤₚ 위에서 균일 미분 가능 함수에 대해 I₋₁(f)가 만족하는 적분 방정식을 도출하는 것.
• I₋₁(f) 적분을 활용해 일반화된 오일러 수와 다항식에 대한 윌트 유형 공식을 수립하는 것.
• I₋₁(f) 프레임워크를 통해 고전적 오일러 수와 다항식을 새로운 p진 유사체로 확장하는 것.

제안 방법

• ℤₚ 위에서 q-대체 리만 합의 극한으로 p진 q적분 I_q(f)를 정의한다.
• q→-1로의 극한을 취하여 페르미온 p진 적분 I₋₁(f) = lim_{q→-1} I_q(f)를 정의한다.
• f₁(x) = f(x+1)일 때 성립하는 함수방정식 I₋₁(f₁) + I₋₁(f) = 2f(0)을 활용해 재귀적 적분 항등식을 유도한다.
• I₋₁(f)를 λ^x e^{xt}를 포함하는 생성함수에 적용하여 일반화된 오일러 수 E_n(λ)과 다항식 E_n(λ:x)를 정의한다.
• 다변수 p진 적분을 활용해 (2/(λe^t + 1))^r e^{xt}를 통해 순서 r의 고차 다항식 오일러 다항식을 정의한다.
• I₋₁(f)를 디리클레 특성 χ에 적용하여 ∫_X x^n χ(x) dμ₋₁(x) = E_{n,χ}를 통해 일반화된 오일러 수 E_{n,χ}를 유도한다.

실험 결과

연구 질문

• RQ1 p진 q적분에서 q→-1로의 극한으로서 p진 불변 적분 I₋₁(f)가 만족하는 적분 방정식은 무엇인가?
• RQ2 I₋₁(f) 적분을 어떻게 활용하여 일반화된 오일러 수와 다항식을 정의할 수 있는가?
• RQ3 I₋₁(f) 적분과 고전적 오일러 수 및 다항식 사이의 관계는 무엇인가?
• RQ4 다변수 p진 적분은 I₋₁(f) 프레임워크를 어떻게 고차 오일러 다항식으로 확장하는가?
• RQ5 I₋₁(f) 적분을 통해 디리클레 특성에 부착된 일반화된 오일러 수에 대한 윌트 유형 공식을 도출할 수 있는가?

주요 결과

• I₋₁(f)는 lim_{q→-1} I_q(f) = ∑_{x=0}^{p^N-1} (-1)^x f(x)로 정의되며, N→∞의 극한에서 성립한다.
• f₁(x) = f(x+1)일 때 기본 항등식 I₋₁(f₁) + I₋₁(f) = 2f(0)이 성립하여 적분에 대한 핵심 재귀관계를 확립한다.
• 윌트의 공식 ∫_{ℤₚ} λ^x x^n dμ₋₁(x) = E_n(λ)이 성립하며, 생성함수 2/(λe^t + 1)을 통해 일반화된 오일러 수 E_n(λ)이 정의된다.
• 일반화된 오일러 다항식 E_n(λ:x)는 ∫_{ℤₚ} λ^y (x+y)^n dμ₋₁(y) = E_n(λ:x)로 정의되며, 명시적 이항 전개 E_n(λ:x) = ∑_{k=0}^n C(n,k) E_k(λ) x^{n-k}를 가진다.
• 홀수 f에 대해 항등식 E_n(λ:x) = f^{−1} ∑_{a=0}^{f−1} (−1)^a λ^a E_n(λ^f; (x+a)/f)는 다항식에 대한 함수방정식을 제공한다.
• 홀수 판정자 f를 가진 디리클레 특성 χ에 부착된 일반화된 오일러 수는 ∫_X x^n χ(x) dμ₋₁(x) = E_{n,χ}로 주어지며, E_{n,χ}에 대한 윌트 유형 공식을 수립한다.