[논문 리뷰] The evaluation of Tornheim double sums. Part2

Olivier Espinosa, Victor H. Moll|ArXiv.org|2008. 11. 04.

Advanced Mathematical Identities참고 문헌 27인용 수 11

한 줄 요약

이 논문은 짝수 무게 $N = m + n$를 가진 Tornheim 이重합수 $T(m,0,n)$에 대한 명시적 해석 공식을 제공하며, 이는 유리수 계수의 리만 제타 함수 값, 홀수 $j$에 대한 곱 $ olimits \zeta(j)\zeta(N-j)$, 그리고 로그-감마 함수, 베르누이 다항식, 클로즈텐 함수를 포함하는 새로운 가족의 적분들로 표현된다. 주요 기여는 모든 짝수 무게 Tornheim 합을 최소 기저로 구성된 적분 $Y_{2r,N-2r}^*$로 체계적으로 감소시키는 것으로, 높은 정밀도의 수치적 평가를 가능하게 한다.

ABSTRACT

We provide an explicit formula for the Tornheim double series T(a,0,c) in terms of an integral involving the Hurwitz zeta function. For integer values of the parameters, a=m, c=n, we show that in the most interesting case of even weight N:=m+n the Tornheim sum T(m,0,n) can be expressed in terms of zeta values and the family of integrals % \int_0^1 loggamma(q) B_{k}(q) Cl_{j+1} (2 πq) dq, % with k+j = N, where B_{k}(q) is a Bernoulli polynomial and \Cl_{j+1}(x) is a Clausen function.

연구 동기 및 목표

• 실수 매개변수 $a>2$, $c>2$를 가진 Tornheim 이중합수 $T(a,0,c)$에 대한 명시적 해석 표현을 히우르츠 제타 함수를 포함하는 적분을 이용해 유도한다.
• 특히 짝수 무게 케이스 $N = m + n$에 대해, 정수 매개변수 $m,n \geq 2$에 대한 결과를 극한 절차를 통해 확장한다.
• 주어진 짝수 무게 $N$에 대해 모든 Tornheim 합을 제타 함수 값과 최소 기저 적분 $Y_{2r,N-2r}^*$로 구성된 유리수 계수의 선형 조합으로 표현함으로써 계산 복잡도를 감소시킨다.
• 기존 방법이 실패한 $N \geq 8$인 경우를 해결하기 위해, $T(m,0,n)$를 알려진 제타 함수 값과 새로운 적분들로 체계적으로 평가하는 방법을 제공한다.

제안 방법

• 실수 $a,c \notin \mathbb{N}$ 이며 $a>2$, $c>2$인 조건에서, 히우르츠 제타 함수를 이용한 $T(a,0,c)$에 대한 적분 표현을 유도한다.
• 정수 $m,n \geq 2$에 대한 $T(m,0,n)$ 표현을 얻기 위해 극한 절차를 적용하며, 특히 짝수 무게 케이스 $N = m + n$에 초점을 맞춘다.
• 핵심 구성 요소로 작용하는 적분 가족인 $X_{k,l} = (-1)^{\lfloor l/2 \rfloor} \frac{l!}{(2\pi)^l} \int_0^1 \log\Gamma(q) B_k(q) \operatorname{Cl}_{l+1}(2\pi q) \, dq$를 도입한다.
• 제타 함수 값과 $\log 2\pi$를 포함하는 로그 항과 결합한 $X_{k,l}$의 변형된 형태인 $Y_{m,n}^*$를 정의함으로써, 짝수 무게 Tornheim 합의 기저를 형성한다.
• Tornheim 합 간의 관계를 유도하기 위해 $T(m,n,0) = \zeta(m)\zeta(n)$의 항등식을 사용하며, 이를 통해 합을 기저 집합으로 감소시킨다.
• 모든 짝수 무게 Tornheim 합이 $\zeta(N)$, 홀수 $j$에 대한 $\zeta(j)\zeta(N-j)$, 그리고 $Y_{2r,N-2r}^*$ 적분들의 유리수 계수 선형 조합으로 표현될 수 있음을 입증하며, 기저 요소의 수는 $\lfloor (N-2)/6 \rfloor$ 이하로 제한된다.

실험 결과

연구 질문

• RQ1 짝수 무게 $N = m + n$인 Tornheim 합수 $T(m,0,n)$에 대해 특수 적분과 제타 함수를 이용해 닫힌 표현식을 유도할 수 있는가?
• RQ2 특히 $N \geq 8$일 때 이전 방법이 실패하는 상황에서, Tornheim 합수 $T(m,0,n)$를 체계적으로 최소 기저 적분으로 감소시킬 수 있는가?
• RQ3 적분 $X_{k,l}$와 그 변형된 형태인 $Y_{m,n}^*$는 $T(m,0,n)$를 표현하는 데 어떤 역할을 하는가? 그리고 이들은 알려진 제타 함수와 어떻게 관련되어 있는가?
• RQ4 짝수 $N$에 대해 제타 함수 값과 유한한 기저 적분 집합을 이용해 Tornheim 합수 공간 $\mathcal{Z}_N^0$의 구조를 완전히 특성화할 수 있는가?
• RQ5 주어진 짝수 무게 $N$에 대해 모든 $T(m,0,n)$을 생성하는 데 필요한 독립적 적분의 최소 수는 얼마이며, 이 수는 $N$에 따라 어떻게 변화하는가?

주요 결과

• 짝수 무게 $N$에 대해, 모든 Tornheim 합수 $T(m,0,n)$는 $\zeta(N)$, 범위 $3 \leq j \leq 2\lfloor (N-1)/4 \rfloor + 1$ 내의 홀수 $j$에 대한 곱 $\zeta(j)\zeta(N-j)$, 그리고 $1 \leq r \leq \lfloor (N-2)/6 \rfloor$인 $Y_{2r,N-2r}^*$ 적분들의 유리수 계수 선형 조합으로 표현될 수 있다.
• 무게 $N=10$에 대해 $T(10,0,2)$는 $-Y_{2,10}^* - 10\zeta(5)\zeta(7) - 10\zeta(3)\zeta(9) + \frac{792}{691}\zeta(12)$로 평가되며, 약 30자리 정밀도의 수치 값은 약 0.645324784017496594071783081476이다.
• 무게 $N=14$에 대해, 생성 집합 $G_{14}^* = \{\zeta(14), \zeta^2(7), \zeta(5)\zeta(9), \zeta(3)\zeta(11), Y_{2,12}^*, Y_{4,10}^*\}$이 모든 이중합수 $T(m,0,n)$를 표현하는 데 충분하다.
• $Y_{2r,N-2r}^*$ 적분은 $Y_{2r,N-2r}^* = Y_{2r,N-2r} + (2r-1)\binom{N-2}{2r-1} \zeta(N-1)\log 2\pi$로 정의되며, 여기서 $Y_{2r,N-2r}$는 베르누이 다항식과 클로즈텐 함수를 포함하는 $X_{k,l}$ 적분을 포함한다.
• 짝수 무게 $N$에 대해 독립적 기저 요소의 수는 최대 $\lfloor (N-2)/6 \rfloor$이며, 이 한계는 $N=14$에서 달성되며, 이 경우 두 개의 비제타 기저 적분이 필요하다.
• 이 방법은 기저 적분 $Y_{2r,N-2r}^*$를 사전에 계산함으로써 Tornheim 합수의 고정밀도 수치 계산을 가능하게 하며, 각 무게에 대해 평가할 특수 적분의 수를 극도로 줄인다.