다이로그 함수(dilogarithm)

수학노트
http://bomber0.myid.net/ (토론)님의 2009년 9월 26일 (토) 10:38 판
둘러보기로 가기 검색하러 가기
간단한 소개
  • dilogarithm 함수는 복소수 \(|z|<1\)에 대하여 다음과 같이 정의됨
    \(\operatorname{Li}_2(z) = -\int_0^z{{\ln (1-t)}\over t} dt = \sum_{n=1}^\infty {z^n \over n^2}\)
     

 

여러가지 항등식

오일러의 반사공식

\(\mbox{Li}_2 \left(x \right)+\mbox{Li}_2 \left(1-x \right)= \frac{\pi^2}{6}-\ln(x)\ln(1-x)\)

 

반전공식

\(\mbox{Li}_2(x)+\mbox{Li}_2 \left( \frac{1}{x} \right) = -\frac{\pi^2}{6}-\frac{1}{2}\log^2(-x)\)

 

란덴의 항등식

\(\mbox{Li}_2(x)+\mbox{Li}_2 \left( \frac{-x}{1-x} \right)=-\frac{1}{2}\log^2(1-x), x<1\)

 

제곱공식

\(\mbox{Li}_2(x^2)=2(\mbox{Li}_2(x)+\mbox{Li}_2(-x))\)

 

Special values

다음 값들은 알려져 있음.

\(\mbox{Li}_{2}(0)=0\)

\(\mbox{Li}_{2}(1)=\frac{\pi^2}{6}\)

\(\mbox{Li}_{2}(-1)=-\frac{\pi^2}{12}\)

\(\mbox{Li}_{2}(\frac{1}{2})=\frac{\pi^2}{12}-\frac{1}{2}\log^2(2)\)

\(\mbox{Li}_{2}(\frac{3-\sqrt{5}}{2})=\frac{\pi^2}{15}-\log^2(\frac{1+\sqrt{5}}{2})\)

\(\mbox{Li}_{2}(\frac{-1+\sqrt{5}}{2})=\frac{\pi^2}{10}-\log^2(\frac{1+\sqrt{5}}{2})\)

\(\mbox{Li}_{2}(\frac{1-\sqrt{5}}{2})=-\frac{\pi^2}{15}+\frac{1}{2}\log^2(\frac{1+\sqrt{5}}{2})\)

\(\mbox{Li}_{2}(\frac{-1-\sqrt{5}}{2})=-\frac{\pi^2}{10}+\frac{1}{2}\log^2(\frac{1+\sqrt{5}}{2})\)

 

 

special value의 계산
  • \(\mbox{Li}_{2}(-1)\) 의 계산

반전공식에 \(x=-1\) 을 대입하여 얻을 수 있다.

 

  • \(\mbox{Li}_{2}(\frac{1}{2})\) 의 계산

오일러의 반사공식에서 \(x=\frac{1}{2}\) 를 대입하여 얻을 수 있다.

 

  • \(\mbox{Li}_{2}(\frac{3-\sqrt{5}}{2})\) 과 \(\mbox{Li}_{2}(\frac{-1+\sqrt{5}}{2})\) 의 계산

오일러의 반사공식에 \(x=\frac{3-\sqrt{5}}{2}\)을 대입하면 다음을 얻는다.

\(\mbox{Li}_{2}(\frac{3-\sqrt{5}}{2})+\mbox{Li}_{2}(\frac{-1+\sqrt{5}}{2}) =\frac{\pi^2}{6}-\log(\frac{-1+\sqrt{5}}{2})\log(\frac{3-\sqrt{5}}{2})\)

란덴의 항등식과 제곱공식을 활용하면 다음과 같은 항등식을 얻을 수 있다.

\(\mbox{Li}_2 (\frac{-x}{1-x})+\frac{1}{2}\mbox{Li}_2(x^2)-\mbox{Li}_2(-x) =-\frac{1}{2}(\log(1-x))^2\)

여기에 \(x=\frac{1-\sqrt{5}}{2}\)을 대입하면 다음을 얻는다.

\(\frac{3}{2}\mbox{Li}_{2}(\frac{3-\sqrt{5}}{2})-\mbox{Li}_{2}(\frac{-1+\sqrt{5}}{2}) =-\log^2(\frac{1+\sqrt{5}}{2})\)

 

이제 위에서 얻어진 두 식을 통해 원하는 값을 계산할 수 있다. 

 

 

  • \(\mbox{Li}_{2}(\frac{1-\sqrt{5}}{2})\) 의 계산

제곱공식\(\mbox{Li}_2(x^2)=2(\mbox{Li}_2(x)+\mbox{Li}_2(-x))\) 에 \(x=\frac{1-\sqrt{5}}{2}\) 를 대입하면, 

\(\mbox{Li}_{2}(\frac{3-\sqrt{5}}{2}) =2(\mbox{Li}_{2}(\frac{1-\sqrt{5}}{2})+\mbox{Li}_{2}(\frac{-1+\sqrt{5}}{2}))\) 를 얻는다.

 

 

  • \(\mbox{Li}_{2}(\frac{-1-\sqrt{5}}{2})\) 의 계산

반전공식에 \(x=\frac{-1-\sqrt{5}}{2}\)를 대입하면, \(\mbox{Li}_{2}(\frac{1-\sqrt{5}}{2})+\mbox{Li}_{2}(\frac{-1-\sqrt{5}}{2}) =\frac{\pi^2}{6}-\frac{1}{2}\log^2(\frac{1+\sqrt{5}}{2})\) 를 얻는다.

 

 

재미있는 사실
  • Don Zagier

The dilogarithm is the only mathematical function with a sense of humor.


관련된 다른 주제들

 

수학용어번역

 

사전 형태의 자료

 

 

관련도서 및 추천도서

 

블로그


원본 주소 "https://wiki.mathnt.net/index.php?title=다이로그_함수(dilogarithm)&oldid=6084"