하이퍼디레: 수학적 하이퍼지오메트리 함수의 차분 감소를 위한 Mathematica 패키지

논문은 현대 이론 물리학, 특히 다중 루프 Feynman 적분에서 자주 등장하는 Horn‑type 하이퍼지오메트리 함수들의 파라미터 변환 문제를 해결하기 위해 개발된 Mathematica 기반 패키지 HYPERDIRE를 상세히 소개한다. HYPERDIRE는 두 개의 주요 모듈로 구성된다. 첫 번째 모듈 pfq는 일반화된 하이퍼지오메트리 함수 pFq, 특히 p+1 F_p 에 대한 차분 감소를 담당하고, 두 번째 모듈 AppellF1F4는 두 변수 함수인 Appell F₁, F₂, F₃, F₄에 대한 동일한 작업을 수행한다. 핵심 이론적 배경은 Horn‑type 다중 급수의 계수 비율이 두 다항식의 비로 표현될 수 있다는 점이다. 이를 이용해 함수 H(γ;σ;x) 에 대해 상·하 파라미터를 하나씩 증가·감소시키는 선형 차분 연산자 U⁺, U⁻, L⁺, L⁻를 정의한다(식 2, 3). 이러한 연산자를 연속 적용하면 파라미터를 임의의 정수만큼 이동시킬 수 있으며, 이를 ‘차분 감소’라 부른다. 차분 감소는 결국 파라미터가 정수 차이인 함수들을 기본 함수 집합으로 환원하는 과정이다. p+1 F_p 에 대해서는 θ = z d/dz 연산자를 도입해 차분 방정식 z∏(θ+a_i) − θ∏(θ+b_j−1)=0을 얻는다(식 9). 이 방정식으로부터 상·하 파라미터에 대한 step‑up/step‑down 연산자를 명시적으로 유도한다(식 10–14). 특히 B⁻_{a_i}와 H⁺_{b_i} 연산자는 다항식 c_i, d_i와 다항식 P(p) 를 포함해 복잡한 형태를 가지지만, HYPERDIRE는 이를 자동으로 전개해 사용자가 직접 계산할 필요를 없앤다. 파라미터가 1인 경우 B⁻_{1}는 항등적으로 1을 반환함을 이용해 추가적인 항등식(식 21)을 도출한다. Appell 함수군에 대해서는 두 변수 (z₁,z₂) 에 대한 2차 선형 PDE 시스템을 구성한다(식 22, 23). P₀, R₀ 등 계수를 표 1에 정리하고, 완전 적분 가능 조건 1−P₀R₀=0 을 만족하면 시스템을 Pfaff 형태의 4차 연립 방정식(식 30)으로 변환한다. 이때 기본 함수와 그 1차·2차 미분만으로 모든 해를 표현할 수 있다. 특히 F₁ 함수에 대해 구체적인 차분 연산자 관계식(식 38–42)을 제시하고, 파라미터 시프트에 따른 결과를 다항식 S와 R_k 의 선형 결합 형태(식 19)로 정리한다. 알고리즘의 복잡도는 파라미터 시프트의 절대값 합 r 에 비례하는 θ 연산자의 차수에 의해 제한된다. 최종 결과는 다항식 S(a_i,b_j,z)와 R_k(a_i,b_j,z) 의 선형 결합으로 표현되며, 이는 ε‑전개와 같은 고차원 계산에서도 파라미터 의존성을 명확히 분리한다. 패키지 구현 측면에서 HYPERDIRE는 GNU GPL 라이선스로 배포되며, Mathematica 6 이상에서 동작한다. 사용자는 함수명, 현재 파라미터, 목표 파라미터 시프트를 입력하면 자동으로 차분 연산자를 생성하고, 결과를 표준 Mathematica 표현식으로 반환한다. 또한, 새로운 Horn‑type 함수에 대해 동일한 구조의 모듈을 추가할 수 있도록 설계돼 확장성이 뛰어나다. 논문은 HYPERDIRE가 기존에 수동으로 수행되던 파라미터 변환 작업을 자동화함으로써, 복잡한 다중 시리즈와 PDE를 다루는 이론 물리학·수학 연구자들에게 실용적인 도구를 제공한다는 점을 강조한다. 특히 Feynman 적분의 자동화, ε‑전개, 그리고 다양한 특수 함수의 정규화 문제 등에 바로 적용 가능함을 시연한다.