무한 포흐함마 합의 새로운 정체와 증명

초록

본 논문은 무한 중첩 포흐함마 기호 합을 생성함수와 호로닉성(holonomic) 이론을 이용해 근원값, 로그, 원주율, 제타값 등으로 변환하는 알고리즘을 제시하고, 이를 컴퓨터 대수 시스템 HarmonicSums에 구현한다.

상세 분석

논문은 먼저 (x)n 형태의 포흐함마 기호가 포함된 무한 급수를 생성함수의 특수화로 보는 관점을 제시한다. 이때 생성함수는 호로닉 함수이며, 호로닉 함수와 호로닉 수열 사이의 일대일 대응을 이용해 급수의 계수를 재귀식으로 도출한다. 저자는 이러한 재귀식을 차례로 미분방정식으로 변환하고, 초기값을 계산한 뒤 d’Alembertian 혹은 Liouvillian 형태의 해를 구한다. 구해진 해는 초과지수함수(hyper‑exponential) 알파벳 위의 중첩 적분으로 표현되며, 이는 곧 사이클로토믹 조화다항식(Φ_a)으로 정의된 f{b}^{a}(x) 를 이용한 사이클로토믹 다중로그(H) 로 변환된다. 변환 과정에서 f_{b}^{a}(x) 를 적절히 치환해 루트값 적분을 제거하고, 최종적으로 H(·)(1) 형태의 상수값으로 정리한다. 논문은 이 절차를 세 단계(생성함수 적분표현, 사이클로토믹 다중로그 변환, 상수 관계 정리)로 체계화하고, 각 단계에 필요한 알고리즘을 HarmonicSums 패키지에 구현한다. 특히, 호로닉 폐쇄성(덧셈·곱·정적분)과 차분·미분 연산자를 자동으로 처리하는 기능을 강조한다. 예제로 제시된 ∑_{n≥1}(-1/2)^n S_1(n)/(n+3)^2 (n-1)! 은 재귀식 → 미분방정식 → d’Alembertian 해 → H‑함수 → ζ(3), π^2, log^2(2) 등으로 최종 변환되는 과정을 상세히 보여준다. 또한, 다중조화합, Catalan 상수, 다항 리터럴 Li_k(1/2) 등 다양한 상수와의 관계식도 자동으로 도출한다. 논문은 기존에 수동으로 증명되던 복잡한 항등식들을 전산적으로 재현·확장할 수 있음을 입증한다.