[논문 리뷰] Inverse Mellin Transform of Holonomic Sequences

Jakob Ablinger|arXiv (Cornell University)|2016. 06. 09.

Mathematics and Applications참고 문헌 11인용 수 8

한 줄 요약

이 논문은 힐로노믹 함수와 재귀 해결 기반의 기호 계산 프레임워크를 이용해 힐로노믹 수열의 역 멀린 변환을 계산하는 방법을 제시한다. 멀린 변환의 쌍대성과 HarmonicSums 패키지에서의 구현을 통해, 힐로노믹 재귀로 정의된 수열에 대해 역 멀린 변환을 닫힌 형태로 평가할 수 있으며, 결과는 중첩 합과 특수 함수의 선형 조합으로 표현된다.

ABSTRACT

We describe a method to compute the inverse Mellin transform of holonomic sequences, that is based on a method to compute the Mellin transform of holonomic functions. Both methods are implemented in the computer algebra package HarmonicSums.

연구 동기 및 목표

• 힐로노믹 수열의 역 멀린 변환을 계산하는 알고리즘적 방법을 개발하기 위해.
• 기존의 힐로노믹 함수의 멀린 변환 기법을 그 역 문제로 확장하기 위해.
• 실제 기호 계산을 위해 HarmonicSums 컴퓨터 대수 시스템에 이 방법을 구현하기 위해.
• 역 멀린 변환을 불확정 중첩 합과 특수 함수(예: 다중로그함수 및 로그함수)의 선형 조합으로 표현하기 위해.
• 간단한 지수적 스케일링을 초월하여 다수의 기저 함수를 포함하는 일반적인 형태의 역 멀린 변환을 처리하기 위해.

제안 방법

• 생성함수를 통한 힐로노믹 함수와 힐로노믹 수열 간의 쌍대성 이용.
• 미분방정식 조작과 단항식 도함수의 멀린 변환을 활용해 주어진 힐로노믹 함수의 멀린 변환에 대한 힐로노믹 재귀 유도.
• Sigma 패키지를 사용해 중첩 합과 곱의 형태로 다'알레르망 솔루션을 구해 재귀를 해소.
• 역 변환의 경우, 수열을 $ c^n \cdot \mathbf{M}[f(x)](n) $ 형태의 구성요소로 분해하고 각 구성요소를 개별적으로 역변환.
• 수열이 $ \sum_i c_i^n \cdot \mathbf{M}[f_i(x)](n) + d $ 형태로 일치하도록 기본이 되는 힐로노믹 함수 $ f_i(x) $와 상수 $ c_i $를 체계적으로 식별.
• 후보 함수에 대한 선형 미분방정식을 풀고 기호 평가 및 재귀 비교를 통해 멀린 변환 일치 여부를 검증하는 접근 방식.

실험 결과

연구 질문

• RQ1 기호 방법을 이용해 힐로노믹 수열의 역 멀린 변환을 알고리즘적으로 계산할 수 있는가?
• RQ2 힐로노믹 함수의 멀린 변환이 어떻게 역으로 수행되어 원래 함수를 닫힌 형태로 복원할 수 있는가?
• RQ3 수열이 힐로노믹일 경우, 그 멀린 변환으로부터 복원할 수 있는 함수의 범주는 무엇인가?
• RQ4 역 변환은 간단한 힐로노믹 함수의 멀린 변환과 지수적 계수를 곱한 것들의 선형 조합으로 표현될 수 있는가?
• RQ5 중첩 합과 특수 함수는 힐로노믹 수열의 역 멀린 변환 표현에서 어떤 역할을 하는가?

주요 결과

• 힐로노믹 수열의 역 멀린 변환은 각각 지수적 계수 $ c_i^n $로 스케일링된 힐로노믹 함수의 멀린 변환의 선형 조합으로 계산될 수 있다.
• 메소드는 $ f_n = \sum_{i=1}^n \frac{(-1)^i}{i} \sum_{j=1}^i \frac{1}{2^j j} $의 역 멀린 변환을 성공적으로 계산하였으며, $ \mathbf{M}\left[\frac{\log(2-x)}{2+x}\right](n) $, $ \mathbf{M}\left[\frac{1}{1+x}\right](n) $, 그리고 $ \operatorname{Li}_2(1/4) $, $ \pi^2 $, $ \log^2(2) $를 포함한 상수항의 조합으로 표현하였다.
• $ \sum_{i=1}^n \frac{1}{(-2)^i i} $의 역 변환은 $ \mathbf{M}\left[\frac{1}{2+x}\right](n) $에 해당함을 보여주며, 이는 이론이 로그 성분을 가진 유리함수를 정확히 복원할 수 있음을 확인한다.
• $ \sum_{i=1}^n \frac{(-1)^i}{i} $의 역 변환은 $ \mathbf{M}\left[\frac{1}{1+x}\right](n) $로 구해졌으며, $ \log(2) $를 포함한 수정 항이 존재함을 보여주며, 교차하는 조화수열을 정밀하게 처리할 수 있음을 입증한다.
• 이 메소드는 $ f_n $의 역 멀린 변환으로서 $ \frac{-1}{(-2)^n} \mathbf{M}\left[\frac{\log(2-x)}{2+x}\right](n) + (-1)^n \log(2) \cdot \mathbf{M}\left[\frac{1}{1+x}\right](n) + \text{constant} $를 정확히 식별하였으며, 상수항은 명시적으로 평가되었다.
• 이 접근법은 HarmonicSums 패키지에 완전히 구현되어 있으며, 수학물리학 및 수론에서 발생하는 복잡한 수열에 대한 역 멀린 변환의 자동 계산을 가능하게 한다.