In this paper, we evaluate the following families of definite integrals in closed form and we show that they are expressible only in terms of the dilogarithm function and the inverse tangent integral, and elementary functions. \begin{equation*} \int_{0}^{1}\frac{\log\big(x^m+1\big)}{x+1}\thinspace{\rm d}x \quad \mbox{and}\quad \int_{0}^{1}\frac{\log\big(x^m+1\big)}{x^2+1}\thinspace{\rm d}x, \end{equation*} where $m$ is a positive odd integer. When $m$ is a positive even integer, these integrals have been evaluated previously by Sofo and Batır, and the case where $m$ is an odd integer has been left as open problems. The integrals of the first kind arise in Zagier's work on the Kronecker limit formula. In addition, we demonstrate that a functional equation satisfied by the Herglotz-Zagier-Novikov function is a very specific case of of a more general formula, and give numerous illustrative examples.
논문 ID : 2510.00870제목 : On three classes of logarithmic integrals저자 : Necdet Batır, Nandan Sai Dasireddy분류 : math.NT (정수론)발표 시간 : 2025년 10월 16일 (arXiv v2)논문 링크 : https://arxiv.org/abs/2510.00870v2 본 논문은 다음의 정적분 족을 폐형식으로 계산하고, 이들이 쌍대로그함수, 역정접 적분 및 초등함수로만 표현 가능함을 증명합니다:
∫ 0 1 log ( x m + 1 ) x + 1 d x 및 ∫ 0 1 log ( x m + 1 ) x 2 + 1 d x \int_{0}^{1}\frac{\log\big(x^m+1\big)}{x+1}\,dx \quad \text{및}\quad \int_{0}^{1}\frac{\log\big(x^m+1\big)}{x^2+1}\,dx ∫ 0 1 x + 1 l o g ( x m + 1 ) d x 및 ∫ 0 1 x 2 + 1 l o g ( x m + 1 ) d x m m m m m m
핵심 문제 : 로그함수를 포함하는 정적분의 계산, 특히 지수 m m m 중요성 :이들 적분은 Kronecker 극한 공식에서 Zagier의 연구와 직접적으로 관련 Herglotz-Zagier-Novikov 함수 이론과 밀접한 관련 정수론의 L L L 기존 방법의 한계 :Sofo와 Batır는 m m m m m m 연구 동기 : 이론 체계를 완성하고, 홀수 지수 경우에 대한 폐형식 해를 제공하며, 특수함수와의 연결고리를 확립합니다.미해결 문제 해결 : m m m 새로운 이론적 연결 확립 : Herglotz-Zagier-Novikov 함수의 함수 방정식이 더 일반적인 결과의 특수한 경우임을 증명통일된 프레임워크 제공 : 이러한 클래스의 적분을 다루기 위한 체계적 방법 확립, 쌍대로그함수 Li 2 \text{Li}_2 Li 2 Ti 2 \text{Ti}_2 Ti 2 구체적 공식 제시 : 작은 홀수 값 m = 3 , 5 m=3,5 m = 3 , 5 함수 방정식 일반화 : Herglotz-Zagier-Novikov 함수의 일반화된 형식 및 그 성질 제시다음 두 클래스의 정적분에 대한 폐형식 표현 계산:
J ( m ) = ∫ 0 1 log ( x m + 1 ) x + 1 d x J(m) = \int_0^1 \frac{\log(x^m+1)}{x+1}dx J ( m ) = ∫ 0 1 x + 1 l o g ( x m + 1 ) d x m m m ∫ 0 1 log ( x m + 1 ) x 2 + 1 d x \int_0^1 \frac{\log(x^m+1)}{x^2+1}dx ∫ 0 1 x 2 + 1 l o g ( x m + 1 ) d x m m m 저자들은 세 가지 핵심 보조정리를 확립합니다:
보조정리 1.1 : 홀수 m ≥ 3 m \geq 3 m ≥ 3 log [ ( 1 − u 1 + u ) m + 1 ] = m + 1 2 log 2 − m log ( 1 + u ) + ∑ k = 0 ( m − 3 ) / 2 log ( 1 + ϕ k ) + ∑ k = 0 ( m − 3 ) / 2 log [ u 2 + 1 − ϕ k 1 + ϕ k ] \log\left[\left(\frac{1-u}{1+u}\right)^m + 1\right] = \frac{m+1}{2}\log 2 - m\log(1+u) + \sum_{k=0}^{(m-3)/2}\log(1+\phi_k) + \sum_{k=0}^{(m-3)/2}\log\left[u^2 + \frac{1-\phi_k}{1+\phi_k}\right] log [ ( 1 + u 1 − u ) m + 1 ] = 2 m + 1 log 2 − m log ( 1 + u ) + ∑ k = 0 ( m − 3 ) /2 log ( 1 + ϕ k ) + ∑ k = 0 ( m − 3 ) /2 log [ u 2 + 1 + ϕ k 1 − ϕ k ] ϕ k = cos ( ( 2 k + 1 ) π m ) \phi_k = \cos\left(\frac{(2k+1)\pi}{m}\right) ϕ k = cos ( m ( 2 k + 1 ) π )
보조정리 1.2 : 음이 아닌 실수 q q q ∫ 0 1 log ( u 2 + q ) 1 + u d u = log 2 log ( 1 + q ) − arctan 2 ( 1 q ) + 1 2 Li 2 ( 1 q + 1 ) \int_0^1 \frac{\log(u^2+q)}{1+u}du = \log 2 \log(1+q) - \arctan^2\left(\frac{1}{\sqrt{q}}\right) + \frac{1}{2}\text{Li}_2\left(\frac{1}{q+1}\right) ∫ 0 1 1 + u l o g ( u 2 + q ) d u = log 2 log ( 1 + q ) − arctan 2 ( q 1 ) + 2 1 Li 2 ( q + 1 1 )
보조정리 1.3 : 양의 실수 q q q ∫ 0 1 log ( x 2 + q ) 1 + x 2 d x = π 2 log ( 1 + q ) + Ti 2 ( q − 1 q + 1 ) − G \int_0^1 \frac{\log(x^2+q)}{1+x^2}dx = \frac{\pi}{2}\log(1+\sqrt{q}) + \text{Ti}_2\left(\frac{\sqrt{q}-1}{\sqrt{q}+1}\right) - G ∫ 0 1 1 + x 2 l o g ( x 2 + q ) d x = 2 π log ( 1 + q ) + Ti 2 ( q + 1 q − 1 ) − G
핵심 변수 치환 x = 1 − u 1 + u x = \frac{1-u}{1+u} x = 1 + u 1 − u
z m + 1 z^m + 1 z m + 1 z m + 1 = ( z + 1 ) ∏ k = 0 ( m − 3 ) / 2 [ z 2 − 2 z ϕ k + 1 ] z^m + 1 = (z+1)\prod_{k=0}^{(m-3)/2}[z^2 - 2z\phi_k + 1] z m + 1 = ( z + 1 ) ∏ k = 0 ( m − 3 ) /2 [ z 2 − 2 z ϕ k + 1 ]
체계적 처리 : 복잡한 로그 적분을 계산 가능한 기본 적분의 조합으로 분해특수함수 연결 : 쌍대로그함수 Li 2 \text{Li}_2 Li 2 Ti 2 \text{Ti}_2 Ti 2 함수 방정식 일반화 : Herglotz-Zagier-Novikov 함수보다 더 일반적인 함수 방정식 프레임워크 제시양의 홀수 m m m J ( m ) = m 2 log 2 2 − ( m 2 − 1 ) π 2 24 m + 1 2 ∑ k = 0 ( m − 3 ) / 2 Li 2 ( cos 2 ( ( 2 k + 1 ) π 2 m ) ) J(m) = \frac{m}{2}\log^2 2 - \frac{(m^2-1)\pi^2}{24m} + \frac{1}{2}\sum_{k=0}^{(m-3)/2}\text{Li}_2\left(\cos^2\left(\frac{(2k+1)\pi}{2m}\right)\right) J ( m ) = 2 m log 2 2 − 24 m ( m 2 − 1 ) π 2 + 2 1 ∑ k = 0 ( m − 3 ) /2 Li 2 ( cos 2 ( 2 m ( 2 k + 1 ) π ) )
양의 홀수 m m m ∫ 0 1 log ( x m + 1 ) x 2 + 1 d x = m π 8 log 2 − ( m − 1 ) G 2 + π 4 ∑ k = 0 ( m − 3 ) / 2 log ( 1 + sin ( 2 k + 1 ) π m ) + ∑ k = 0 ( m − 3 ) / 2 Ti 2 ( 1 ϕ k ( 1 − ϕ k 2 − 1 ) ) \int_0^1 \frac{\log(x^m+1)}{x^2+1}dx = \frac{m\pi}{8}\log 2 - \frac{(m-1)G}{2} + \frac{\pi}{4}\sum_{k=0}^{(m-3)/2}\log\left(1+\sin\frac{(2k+1)\pi}{m}\right) + \sum_{k=0}^{(m-3)/2}\text{Ti}_2\left(\frac{1}{\phi_k}\left(\sqrt{1-\phi_k^2}-1\right)\right) ∫ 0 1 x 2 + 1 l o g ( x m + 1 ) d x = 8 mπ log 2 − 2 ( m − 1 ) G + 4 π ∑ k = 0 ( m − 3 ) /2 log ( 1 + sin m ( 2 k + 1 ) π ) + ∑ k = 0 ( m − 3 ) /2 Ti 2 ( ϕ k 1 ( 1 − ϕ k 2 − 1 ) )
∫ 0 1 log ( x 3 + 1 ) x + 1 d x = 1 2 Li 2 ( 3 4 ) + 3 2 log 2 2 − π 2 9 \int_0^1 \frac{\log(x^3+1)}{x+1}dx = \frac{1}{2}\text{Li}_2\left(\frac{3}{4}\right) + \frac{3}{2}\log^2 2 - \frac{\pi^2}{9} ∫ 0 1 x + 1 l o g ( x 3 + 1 ) d x = 2 1 Li 2 ( 4 3 ) + 2 3 log 2 2 − 9 π 2
∫ 0 1 log ( x 3 + 1 ) x 2 + 1 d x = − π 8 log 2 − G + π 2 log ( 1 + 3 ) − Ti 2 ( 2 − 3 ) \int_0^1 \frac{\log(x^3+1)}{x^2+1}dx = -\frac{\pi}{8}\log 2 - G + \frac{\pi}{2}\log(1+\sqrt{3}) - \text{Ti}_2(2-\sqrt{3}) ∫ 0 1 x 2 + 1 l o g ( x 3 + 1 ) d x = − 8 π log 2 − G + 2 π log ( 1 + 3 ) − Ti 2 ( 2 − 3 )
적절한 함수 ϕ \phi ϕ F ( x ; α , β ) + F ( 1 / x ; β , α ) = ϕ ( α ) ϕ ( β ) − ϕ 2 ( 0 ) F(x;\alpha,\beta) + F(1/x;\beta,\alpha) = \phi(\alpha)\phi(\beta) - \phi^2(0) F ( x ; α , β ) + F ( 1/ x ; β , α ) = ϕ ( α ) ϕ ( β ) − ϕ 2 ( 0 )
쌍대로그함수 : Li 2 ( z ) = ∑ k = 1 ∞ z k k 2 \text{Li}_2(z) = \sum_{k=1}^{\infty} \frac{z^k}{k^2} Li 2 ( z ) = ∑ k = 1 ∞ k 2 z k 역정접 적분 : Ti 2 ( x ) = ∫ 0 x arctan u u d u \text{Ti}_2(x) = \int_0^x \frac{\arctan u}{u}du Ti 2 ( x ) = ∫ 0 x u a r c t a n u d u Catalan 상수 : G = ∑ k = 0 ∞ ( − 1 ) k ( 2 k + 1 ) 2 G = \sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)^2} G = ∑ k = 0 ∞ ( 2 k + 1 ) 2 ( − 1 ) k 복소수 단위근의 성질 활용 부분분수 분해 적분 변환 및 부분적분 특수함수의 함수 방정식 본 논문은 다음의 중요한 연구를 기반으로 합니다:
Zagier 의 Kronecker 극한 공식 연구Sofo와 Batır 의 짝수 경우 처리Choie와 Kumar 의 Herglotz-Zagier-Novikov 함수 연구Radchenko와 Zagier 의 산술적 성질 연구홀수 지수 경우에서 두 클래스의 로그 적분 계산 문제를 완전히 해결 특수함수 이론과의 깊은 연결고리 확립 체계적인 계산 프레임워크 및 구체적 폐형식 표현 제공 완전성 : 기존의 짝수 경우 결과와 함께 완전한 이론 체계 형성깊이 : 로그 적분과 정수론의 중요 함수 간의 내재적 연결 규명일반화 가능성 : 함수 방정식의 일반화는 추가 연구를 위한 프레임워크 제공정수론에서 L L L 모듈러 형식 이론에서의 응용 특수함수 항등식의 발견 미해결 문제의 완전한 해결 : 오래 미해결이던 홀수 경우를 체계적으로 해결방법론의 혁신성 : 복소해석, 특수함수 및 적분 변환을 교묘하게 결합결과의 깊이 : 중요한 정수론 함수와의 연결 확립계산의 명확성 : 검증 가능한 구체적 공식 제공보조정리 체계의 확립은 깊은 수학적 통찰력을 반영 변수 치환의 선택이 정확함 특수함수와의 연결이 자연스럽고 깊음 방법론이 주로 홀수 경우에 적용되며, 짝수 경우와의 통일성은 추가 탐구 필요 일부 중간 결과의 증명은 알려진 특수함수 항등식에 의존 더 일반적인 형태로의 확장은 추가 연구 필요 이론적 기여 : 로그 적분 이론에 중요한 보완 제공방법론적 가치 : 사용된 기법이 유사한 문제에 적용 가능응용 잠재력 : 정수론 및 특수함수 연구에서 광범위한 응용 전망논문은 고전적인 Gradshteyn-Ryzhik 적분표에서 최신의 Herglotz-Zagier-Novikov 함수 연구에 이르기까지 15편의 중요 문헌을 인용하며, 해당 분야의 완전한 발전 맥락을 반영합니다.
본 논문은 정수론과 특수함수 이론의 교차 영역에서의 중요한 연구로, 정교한 기법을 통해 오래 미해결이던 문제를 해결하고 관련 이론의 발전에 실질적인 기여를 합니다.
