[논문 리뷰] A note on the generalized q-Euler numbers(2)

Kyoung-Ho Park, Young‐Hee Kim외 1명|ArXiv.org|2009. 10. 14.

Advanced Mathematical Identities참고 문헌 16인용 수 8

한 줄 요약

이 논문은 생성함수를 통해 이전의 q-Euler 수 이론을 확장하여 Dirichlet 문자 χ에 부착된 일반화된 q-Euler 수와 다항식을 도입한다. 주요 합동관계식을 유도하여 [2]_q와 범위에 대한 가중합의 곱이 dp^N 모듈로 2E_{n,χ,q}와 합동임을 보이며, 이러한 특수 수에 대한 p진 합동성 성질을 확립한다.

ABSTRACT

In this paper we study the genralized q-Euler numbers and polynomials. From our results, we derive some interesting congruences related tothe generalized q-Euler numbers.

연구 동기 및 목표

• Dirichlet 문자 χ를 통합함으로써 q-Euler 수와 다항식 이론을 확장하기 위해.
• 생성함수를 통해 일반화된 q-Euler 수 E_{n,χ,q}와 다항식 E_{n,χ,q}(x)를 정의하기 위해.
• 이러한 일반화된 수에 대한 p진 합동관계식, 특히 dp^N 모듈로에서의 성질을 확립하기 위해.
• q→1로의 극한을 통해 일반화된 q-Euler 수가 Frobenius-Euler 다항식과 일반적인 Euler 수에 어떻게 연결되는지 밝혀내기 위해.

제안 방법

• 생성함수 F_{q,χ}(t) = [2]_q * Σ_{k=0}^∞ χ(k)(-q)^k e^{kt} 를 정의하여 E_{n,χ,q}를 생성하기 위해.
• E_{n,χ,q}(x)를 공식 d^n Σ_{a=0}^{d-1} (-q)^a χ(a) E_{n,q^d}((a+x)/d) 를 사용하여 표현하기 위해.
• F_{q,χ}(d,t)와 F_{q,χ}(t) 사이의 함수방정식을 유도하여 재귀 유사 항등식을 도출하기 위해.
• 항등식 q^d F_{q,χ}(d,t) + F_{q,χ}(t) = [2]_q Σ_{k=0}^{d-1} χ(k)(-q)^k e^{kt} 를 사용하여 주요 합동관계식을 도출하기 위해.
• 합동관계식 q^{dp^N} ≡ 1 (mod dp^N) 를 적용하여 합을 단순화하고 최종 합동관계식을 확립하기 위해.
• p진 L-함수와의 관계를 통해 L_{E,q}(-k,χ|x) = E_{k,χ,q}(x) 를 이용하여 일반화된 수와 p진 L-함수를 연결하기 위해.

실험 결과

연구 질문

• RQ1 생성함수를 통해 q-Euler 수는 어떻게 Dirichlet 문자 χ를 포함하여 일반화될 수 있는가?
• RQ2 일반화된 q-Euler 수 E_{n,χ,q}와 Frobenius-Euler 다항식 사이의 관계는 무엇인가?
• RQ3 일반화된 q-Euler 수는 dp^N 모듈로에서 어떤 p진 합동성 성질을 만족하는가?
• RQ4 일반화된 q-Euler 수는 q→1로 갈 때 어떻게 행동하며, 고전적인 χ에 부착된 Euler 수와는 어떻게 관련되는가?
• RQ5 q-Euler 다항식 E_{n,q^d}(·) 에 대한 E_{n,χ,q}(x) 에 대한 닫힌 표현식을 유도할 수 있는가?

주요 결과

• 일반화된 q-Euler 수 E_{n,χ,q} 는 공식 E_{n,χ,q} = d^n Σ_{a=0}^{d-1} (-q)^a χ(a) E_{n,q^d}((a)/d) 로 주어진다.
• 일반화된 q-Euler 다항식은 E_{n,χ,q}(x) = d^n Σ_{a=0}^{d-1} (-q)^a χ(a) E_{n,q^d}((a+x)/d) 를 만족한다.
• 홀수 d와 |q|<1 인 경우, 항등식 q^d E_{n,χ,q}(d) + E_{n,χ,q} = [2]_q Σ_{k=0}^{d-1} χ(k)(-q)^k k^n 이 성립한다.
• 홀수 p와 N∈ℕ 인 경우, (q-1, dp)=1 이면 합 [2]_q Σ_{a=0}^{dp^N -1} χ(a)(-q)^a a^n ≡ 2E_{n,χ,q} (mod dp^N) 이 성립한다.
• p진 L-함수 L_{E,q}(s,χ|x) 는 음의 정수에서 일반화된 q-Euler 다항식을 보간하며, L_{E,q}(-k,χ|x) = E_{k,χ,q}(x) 이다.
• q→1로 갈 때, 일반화된 q-Euler 수는 χ에 부착된 고전적 Euler 수로 수렴한다: lim_{q→1} E_{n,χ,q} = E_{n,χ}.