[논문 리뷰] Log-Sine Evaluations of Mahler Measures, II

David Borwein, Jonathan M. Borwein외 2명|arXiv (Cornell University)|2011. 03. 15.

Advanced Mathematical Identities참고 문헌 17인용 수 5

한 줄 요약

이 논문은 로그사인 적분과 다중 다이로그함수를 사용하여 다중 마勒 측도의 평가를 확장하며, $\mu_n(1+x+y)$에 대해 $n=4$까지의 닫힌 형태 표현을 제공한다. 고차 마勒 측도를 특수 다이로그함수 및 로그사인 적분의 특수값으로 줄이는 체계적인 방법을 제시하며, 보이드의 1998년 추측 두 가지를 증명하고, $\pi/3$ 및 $2\pi/3$에서 초함수적 함수와 일반화된 클라우젠 함수를 포함하는 새로운 마勒 측도를 유도한다. 이 접근법은 초함수 전개, 삼각함수 적분 표현식, 그리고 조합적 감소를 통한 조화 다이로그함수를 활용한다.

ABSTRACT

We continue the analysis of higher and multiple Mahler measures using log-sine integrals as started in "Log-sine evaluations of Mahler measures" and "Special values of generalized log-sine integrals" by two of the authors. This motivates a detailed study of various multiple polylogarithms and worked examples are given. Our techniques enable the reduction of several multiple Mahler measures, and supply an easy proof of two conjectures by Boyd.

연구 동기 및 목표

• 이전 연구 [7, 8]를 바탕으로 로그사인 적분을 활용하여 고차 및 다중 마勒 측도의 평가를 확장한다.
• 다중 마勒 측도를 다중 다이로그함수, 일반화된 클라우젠 및 글라이셔 함수, 로그사인 적분의 특수값으로 체계적으로 줄이는 방법을 제공한다.
• 특정 라우렌트 다항식의 마勒 측도에 관한 보이드의 1998년 추측을 직접적으로 증명한다.
• $\pi/3$ 및 $2\pi/3$에서 초함수적 함수와 일반화된 로그사인 적분을 포함하는 새로운 마勒 측도 표현을 유도한다.

제안 방법

• $\mu_n(1+x+y)$의 이중 적분 표현을 단위 토러스 위의 삼각함수 적분으로 표현하여 해석적 조작을 가능하게 한다.
• 초함수의 $\varepsilon$-전개를 적용하여 $\mu_n(1+x+y)$의 초함수 형태를 전개하고, 다중 역이항 합을 도출한다.
• 이중 적분 표현의 내부 적분을 조합 기법을 사용해 줄이며, 무게 $k$의 다중 조화 다이로그함수로 표현한다.
• 특히 $\operatorname{Ls}_n(2\pi/3)$ 및 $\operatorname{Cl}_k(\pi/3)$에 중점을 두어 $\pi/3$, $\pi/2$, $2\pi/3$, $\pi$에서의 로그사인 적분의 기존 평가를 활용한다.
• 마勒 측도와 랜덤 워크의 관계를 활용하여 $\mu_n(1+x+y)$의 구조를 동기화하며, 격자 경로 적분과 연결한다.
• 일반화된 젠센의 공식과 다이로그함수의 해석적 계속을 적용하여 특이점을 다루고 로그적 적분을 평가한다.

실험 결과

연구 질문

• RQ1 로그사인 적분과 다이로그함수를 사용하여 $n=1,2,3,4$에 대해 다중 마勒 측도 $\mu_n(1+x+y)$를 닫힌 형태로 표현할 수 있는가?
• RQ2 초함수 전개와 적분 축소를 통해 $\mu_3(1+x+y)$ 및 $\mu_4(1+x+y)$의 추측 평가를 엄밀하게 도출할 수 있는가?
• RQ3 로그사인 적분 기법을 사용하여 특정 라우렌트 다항식의 마勒 측도에 관한 보이드의 1998년 두 개의 추측을 증명할 수 있는가?
• RQ4 이중 적분 표현의 내부 적분의 구조는 어떻게 되며, 이를 다중 조화 다이로그함수로 줄일 수 있는가?
• RQ5 특히 $\theta = \pi/3$에서 일반화된 로그사인 적분 프레임워크로부터 새로운 마勒 측도를 도출할 수 있는가?

주요 결과

• 논문은 로그사인 적분 프레임워크를 사용하여 보이드의 추측을 증명한다: $\mu(1+x+y+1/x+1/y) = 15\sum_{n=1}^\infty a_n/n^2$이며, $a_n$은 모듈러 형식에서 유도된다.
• 새로운 마勒 측도가 도출된다: $\mu_{-1} = \mu((x+1)^2(y^2+y+1) - 2xy)$, 이는 초함수적 함수와 베타 함수의 조합으로 표현된다.
• $\mu_1(1+x+y) = \frac{3}{2\pi}\operatorname{Ls}_2(2\pi/3)$, $\mu_2(1+x+y) = \frac{3}{\pi}\operatorname{Ls}_3(2\pi/3) + \frac{\pi^2}{4}$, 그리고 $\mu_3(1+x+y)$는 $\operatorname{Ls}_4(2\pi/3)$, $\operatorname{Cl}_4(\pi/3)$, $\operatorname{Cl}_2(\pi/3)$, $\zeta(3)$로 표현된다.
• $\mu_4(1+x+y)$는 $\operatorname{Ls}_5(2\pi/3)$, $\operatorname{Ls}_5(\pi/3)$, $\operatorname{Gl}_{4,1}(2\pi/3)$, $\operatorname{Gl}_{2,1}(2\pi/3)$, $\operatorname{Cl}_2(\pi/3)^2$, $\pi^5$의 조합으로 표현되며, 추측된 형태를 확인한다.
• 이중 적분 적분법과 유한 차분을 사용하여 $n=2$에서 $8$까지의 $\mu_n(1+x+y)$를 250자리 정밀도로 수치적으로 검증하여 분석 결과를 확인한다.
• $\mu_3(1+x+y)$의 평가는 추측으로서 $\frac{6}{\pi}\operatorname{Ls}_4(2\pi/3) - \frac{9}{\pi}\operatorname{Cl}_4(\pi/3) - \frac{\pi}{4}\operatorname{Cl}_2(\pi/3) - \frac{13}{2}\zeta(3)$로 표현되며, 수치적 근거가 제시된다.