On Apostol-Type Mersenne-Bernoulli and Mersenne-Euler Polynomials

기술 요약: 아포스톨 유형의 메르센-베르누이 및 메르센-오일러 다항식

문제 제기 및 배경
특수 다항식, 특히 고전적인 베르누이 및 오일러 다항식은 수론, 조합론, 수학적 물리학의 기초가 된다. 파라미터 $\lambda$를 포함하는 아포스톨-베르누이 및 아포스톨-오일러 다항식과 같은 상당한 일반화가 존재하며, 피보나치(F-calculus, 황금 미적분) 및 파도반(Padovan) 수열을 기반으로 한 수열 기반 미적분학이 개발되어 왔으나, 메르센 수($M_n = 2^n - 1$)에 기반한 프레임워크로 확장할 필요성이 제기되어 왔다. 메르센 수는 완전수에 관한 연구와 거대 소수의 연구에서 역사적으로 중요한 의미를 지닌다. 본 논문은 메르센 수에 기반한 미적분학(M-calculus)을 도입하고, 이를 활용하여 새로운 부류의 특수 다항식인 차수 $\alpha$를 갖는 아포스톨 유형의 메르센-베르누이 및 메르센-오일러 다항식을 정의함으로써 기존 문헌의 공백을 메운다.

연구 방법론
저자들은 고전적 미적분과 유사하지만 메르센 수와 본질적으로 연결된 "M-calculis"라고 명명된 수학적 프레임워크를 구축한다. 연구 방법론은 세 단계로 진행된다:

1. 기초 정의: 본 논문은 M-calculus의 기본 연산자를 확립한다:

   • M-계승(M-factorial, $M_n!$): $M_n! = M_n M_{n-1}!$로 재귀적으로 정의된다.
   • M-이항 계수(M-binomial coefficients): M-계승을 사용하여 정의되며, 고전적인 이항 계수와 구별되는 특정 대칭성 및 재귀 관계를 만족한다.
   • M-지수 함수($e_M^{xt}$): M-계승을 이용한 멱급수를 통해 정의된다. 결정적으로, 이 함수는 고전적인 의미에서 곱셈적이지 않으며, 대신 $e_M^{xt} e_M^{yt} = e_M^{(x+_M y)t}$를 만족한다 (여기서 $+_M$은 M-이항 덧셈을 나타낸다).
   • M-도함수($D_x$): $D_x(f(x)) = \frac{f(2x) - f(x)}{x}$로 정의된다. 이 연산자는 단항식에 대해 $D_x(x^n) = M_n x^{n-1}$로 작용한다.
   • M-적분: M-도함수의 역함수로 정의되며, M-도함수의 곱 법칙으로부터 유도된 특정 적분 규칙을 가진다.

2. 다항식의 정의: M-calculus의 생성 함수를 사용하여, 저자들은 생성 함수를 통해 차수 $\alpha$를 갖는 아포스톨-메르센-베르누이 다항식 $B_n^{(\alpha)}(x; \lambda)$와 아포스톨-메르센-오일러 다항식 $E_n^{(\alpha)}(x; \lambda)$를 다음과 같이 정의한다:
   $$\left( \frac{t}{\lambda e_M^t - 1} \right)^\alpha e_M^{xt} = \sum_{n=0}^\infty B_n^{(\alpha)}(x; \lambda) \frac{t^n}{M_n!}$$
   $$\left( \frac{2}{\lambda e_M^t + 1} \right)^\alpha e_M^{xt} = \sum_{n=0}^\infty E_n^{(\alpha)}(x; \lambda) \frac{t^n}{M_n!}$$

3. 성질의 유도: 저자들은 생성 함수를 조작하고, M-도함수를 적용하며, M-이항 정리를 활용하여 성질들을 체계적으로 유도한다.

주요 기여 및 결과
본 논문은 새롭게 정의된 다항식들에 대한 포괄적인 항등식과 정리들을 확립한다:

• 명시적 표현: 이 다항식들은 $n$차 단항식(monic)임을 보이며, 대응하는 아포스톨-메르센 수와 $x$의 거듭제곱이 M-이항 계수에 의해 가중치를 갖는 합으로 표현될 수 있다.
• 덧셈 정리: 일반화된 덧셈 공식이 두 다항식 유형 모두에 대해 유도되며, 이는 $P_n(x +_M y)$를 낮은 차수의 다항식들과 $y$의 거듭제곱의 곱의 합으로 연결한다.
• 차분 방정식: 다항식의 차수 $\alpha$와 $\alpha - 1$을 연결하는 재귀 관계를 확립한다. 구체적으로, $+_M 1$에 의한 이동을 포함하는 차분 방정식(예: $\lambda B_n^{(\alpha)}(x +_M 1; \lambda) - B_n^{(\alpha)}(x; \lambda)$)이 유도된다.
• 혼합 덧셈 공식: 아포스톨-메르센-베르누이 다항식과 아포스톨-메르센-오일러 다항식을 연결하는 정리가 제시되며, 한 유형을 다른 유형으로 표현하는 혼합 덧셈 공식을 제공한다.
• 도함수 및 적분 성질:
  • M-도함수는 차수 감소 연산자(lowering operator)로 작용한다: $D_x(B_n^{(\alpha)}(x; \lambda)) = M_n B_{n-1}^{(\alpha)}(x; \lambda)$.
  • 구간 $[0, 1]$에서의 이 다항식들에 대한 가중 M-적분의 폐쇄형 표현식이 유도된다 ($I_{m,n}^{(\alpha)}$ 및 $J_{m,n}^{(\alpha)}$로 표기). 이 결과들은 메르센 수와 기저가 되는 아포스톨-메르센 수들의 합을 포함한다.
• 합성 항등식(Convolution Identities): 아포스톨-메르센 수($x=0$인 경우)에 대한 특정 합성 항등식을 유도하여, 곱의 합을 선형 결합으로 연결한다.

의의 및 주장
본 논문은 새로운 M-calculus 프레임워크를 통해 아포스톨 유형의 다항식을 메르센 수의 산술적 성질과 통합함으로써 특수 다항식 이론을 확장한다고 주장한다. 그 의의는 다음과 같다:

1. 일반화: 피보나치 및 파도반 수열에 관한 이전 연구들과 유사하게, 메르센 수열에 기반한 아포스톨 유형 다항식의 통일된 일반화를 제공한다.
2. 구조적 완결성: 본 논문은 이 새로운 다항식들이 도함수, 적분, 덧셈, 재귀를 포함한 명시적 공식을 갖춘 풍부한 대수적 구조를 지니고 있음을 입증한다.
3. 향후 방향: 저자들은 확립된 프레임워크가 다른 재귀 수열(예: 펠, 야코브스탈, 또는 페린 수)에도 적용될 수 있음을 완곡히 시사하며, 향후 연구에서 이 다항식들의 영점(zeros)과 그래픽적 표현을 계산적으로 조사하고, M-아날로그 제타 함수와의 연결성을 탐구할 수 있을 것으로 보고 있다.

본 연구는 실험적 응용을 제안하기보다는 특수 함수 및 수론의 이론적 지평에 기여하는 것을 목적으로 한다.