A Regularised Wallis Hierarchy

기술 요약: 정규화된 월리스 계층 구조 (A Regularised Wallis Hierarchy)

문제 정의
본 논문은 역 월리스 인자(reciprocal Wallis factor) $1 - 1/n^2$에서 유도된 무한 곱의 수렴 특성을 다룬다. 고전적인 월리스 곱과 그 상보적인 텔레스코핑 역수 형태는 일정한 지수를 가지며 수렴하지만, 역수 인자에 다항식 가중치 $n^m$ ($m = 0, 1, 2, \dots$)을 거듭제곱하면 $m \geq 1$인 경우 일반적인 수렴성이 파괴된다. 이러한 인자의 로그는 발산하는 급수 항들을 생성한다. 본 연구의 핵심 문제는 원래의 월리스 인자와의 구조적 관계를 보존하면서 이러한 발산을 제거할 수 있는 일관된 정규화 기법을 정의하여, 수렴하는 곱들의 계층 $P_m$을 생성하는 것이다.

방법론
저자는 로그 전개의 항들에 최소 차감 규칙(minimal subtraction rule)을 적용함으로써 정규화된 곱 $P_m$의 계층을 도입한다.

1. 로그 전개: $\log(1 - 1/n^2)$를 $-\sum_{j=1}^\infty \frac{1}{j n^{2j}}$로 전개한다. 여기에 가중치 $n^m$을 곱하면 $-\sum_{j=1}^\infty \frac{n^{m-2j}}{j}$가 된다.
2. 발산 식별: 항 $n^{m-2j}$는 $m - 2j \geq -1$일 때 합산 불가능(non-summable)하다. 컷오프 인덱스는 $J_m = \lfloor \frac{m+1}{2} \rfloor$로 정의된다.
3. 정규화: 전개식 내의 합산 불가능한 항들을 정확히 상쇄하기 위해 최소 지수 반대항(minimal exponential counterterm)을 도입한다. 정규화된 곱은 다음과 같이 정의된다:
   $$P_m = \prod_{n=2}^\infty \exp\left( \sum_{j=1}^{J_m} \frac{n^{m-2j}}{j} \right) \left( 1 - \frac{1}{n^2} \right)^{n^m}$$
4. 제타-테일(Zeta-Tail) 공식화: 상쇄 후, 곱의 로그는 절대 수렴하는 이중 급수로 축소되며, 이를 재배열하여 $\log P_m$을 리만 제타 함수 $\zeta(s)$의 테일(tail)들로 명시적으로 표현한다.
5. 분기 분리: 짝수($m=2a$)와 홀수($m=2a+1$) 인덱스를 분리하여 분석함으로써, 서로 다른 부류의 특수 함수들을 포함하는 구별된 폐형식(closed-form) 평가를 이끌어낸다.

주요 기여 및 결과

• 명시적 제타-테일 표현: $\log P_m$을 $\zeta(k) - 1$을 포함하는 합으로 유도하는 것이 주요 결과이다.

  • 짝수 $m=2a$의 경우: $\log P_{2a} = -\sum_{r=1}^\infty \frac{\zeta(2r)-1}{r+a}$.
  • 홀수 $m=2a+1$의 경우: $\log P_{2a+1} = -\sum_{r=1}^\infty \frac{\zeta(2r+1)-1}{r+a+1}$.

• 짝수 분기의 폐형식 평가: 짝수 분수는 기본 상수, 조화수($H_n$), 그리고 홀수 제타 값들로 평가된다. 결과는 다음과 같다:
  $$P_{2a} = \pi \exp\left[ -H_{a-1/2a} + 2a \sum_{\ell=1}^{a-1} \frac{(-1)^{\ell+1}(2a-1)!}{(2a-2\ell)!} \frac{\zeta(2\ell+1)}{(2\pi)^{2\ell}} \right]$$
  (참고: 논문은 최종 공식에서 조화수 항을 $-H_a - 1/2a$로 표기한다).

• 홀수 분기의 폐형식 평가: 홀수 분수는 유한한 로그 감마 모멘트로 귀결된다. 이 평가는 오일러-마스케로니 상수 $\gamma$, 로그, 홀수 제타 값, 그리고 양의 짝수에서의 제타 함수 도함수 $\zeta'(2k)$를 포함한다. 결과는 모멘트 $M_k = \int_0^1 x^k [\psi(1+x) + \gamma] dx$를 통해 표현된다.

• 쌍곡선 동반 함수 및 이인자 확장: 방법론은 쌍곡선 동반 인자 $(1 + 1/n^2)$를 포함하도록 확장된다. 두 매개변수 가족 $P_m(A, B)$가 정의되며, 여기서 $P_m = P_m(1, 0)$이고 순수 쌍곡선 케이스는 $P_m(0, 1)$이다. 일반적인 경우의 로그는 $A$와 $B$에 대해 선형임을 보인다: $\log P_m(A, B) = A \log P_m + B \log P_m^+$.

• 쿠로카와(Kurokawa)의 다중 사인 함수와의 연결: 본 논문은 정규화된 월리스 곱과 쿠로카와의 다중 사인 함수 $S_r(z)$ 사이의 직접적인 연결 고리를 확립한다.

  • 짝수 분기($m=2a$)는 홀수 다중 사인 함수 $S_{2a+1}(z)$의 $z=1$에서의 미분으로부터 유도된다. 즉, $P_{2a}$는 $S'_{2a+1}(1)$과 관련이 있다.
  • 홀수 분기($m=2a+1$)는 일방향 정준 인자(one-sided canonical factors) $\Phi_m(x)\Phi_m(-x)$의 곱으로부터 발생하는 짝수 다중 사인 케이스의 대칭적 동반자로 식별된다.

구체적 예시
논문은 계층의 처음 몇 멤버에 대한 명시적 평가를 제공한다:

• $P_0 = 1/2$ (고전적인 텔레스코핑 곱).
• $P_1 = e^\gamma / 2$.
• $P_2 = \pi / e^{3/2}$ (트리플 사인 함수를 통해 이전에 Allouche가 확인한 결과를 회복함).
• $P_3$와 $P_4$는 $\gamma, \zeta(3), \zeta'(2)$를 사용하여 주어진다.

의의 및 주장
본 논문은 고립되어 있던 월리스 유형의 곱 항등식들을 하나의 통합된 인덱스 가족 안에 배치한다고 주장한다. 동일한 월씨 인자에 대해 모든 $m$에 대하여 고정된 최소 차감 규칙을 적용함으로써, 저자는 로그가 명시적인 제타-테일인 "정규화된 월리스 계층"을 구축한다.
그 의의는 다음과 같다:

1. 통합: (삼중 사인 함수를 통한 $m=2$ 케이스와 같은) 이전에 흩어져 있던 결과들을 단일 프레임워크로 연결한다.
2. 구조적 통찰: 계층의 짝수 및 홀수 분기가 쿠로카와의 홀수 및 짝수 다중 사인 함수와 자연스럽게 대응함을 밝힌다.
3. 명시적 공식: 이 곱들이 표준 수학 상수 및 제타 함수의 특수 값들을 포함하는 폐형식 표현을 제공함으로써, 정규화된 무한 곱의 알려진 영역을 확장한다.

저자는 이 정식화가 (Cai, Hu, Kim 또는 Farrell 등에 의한) 다른 일반화들과는 구별된다고 언급하는데, 이는 특정 역 월리스 인자에 대해 엄격하게 최소 차감 규칙을 준수함으로써 명시적인 제타-테일 로그를 가진 계층을 산출하기 때문이다. 본 논문은 새로운 응용이나 실험적 방향을 제안하기보다는, 이러한 곱 항등식들의 해석적 유도와 분류에 집중한다.