"블로흐-비그너 다이로그(Bloch-Wigner dilogarithm)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
2번째 줄: 2번째 줄:
  
 
* [[다이로그 함수(dilogarithm)]]
 
* [[다이로그 함수(dilogarithm)]]
−
:$$\operatorname{Li}_ 2(z) = -\int_0^z{{\ln (1-t)}\over t} dt$$
+
$$\operatorname{Li}_ 2(z) = -\int_0^z{{\ln (1-t)}\over t} dt,\quad z\in \mathbb C-[1,\infty)$$
−
이 때, $z\in \mathbb C-[1,\infty)$
 
 
* 다이로그 함수의 변종으로 블로흐-비그너 다이로그(Bloch-Wigner dilogarithm)를 <math>z\in\mathbb{C}</math>에 대하여 다음과 같이 정의함
 
* 다이로그 함수의 변종으로 블로흐-비그너 다이로그(Bloch-Wigner dilogarithm)를 <math>z\in\mathbb{C}</math>에 대하여 다음과 같이 정의함
−
:<math>D(z)=\text{Im}(\operatorname{Li}_ 2(z))+\log|z|\arg(1-z)</math> ,
+
:<math>D(z)=\text{Im}(\operatorname{Li}_ 2(z))+\log|z|\arg(1-z)</math>  
−
* 복소평면에서 정의된 실수값을 갖는 연속함수<br>
+
* 복소평면에서 정의된 실수값을 갖는 연속함수
−
* 복소평면의 0과 1을 제외한 모든 점에서 real analytic<br>
+
* 복소평면의 0과 1을 제외한 모든 점에서 real analytic
−
* 대수적 K-이론에서 수체의 K_ 3 군을 실벡터 공간으로 보내는 regulator map을 구성하는데 활용됨<br>
+
* 대수적 K-이론에서 수체의 $K_3$ 군을 실벡터 공간으로 보내는 regulator map을 구성하는데 활용됨
 
* 다이로그 함수의 허수부에 대해서는 [[로바체프스키 함수|로바체프스키와 클라우센 함수]] 항목 참조
 
* 다이로그 함수의 허수부에 대해서는 [[로바체프스키 함수|로바체프스키와 클라우센 함수]] 항목 참조
  
27번째 줄: 26번째 줄:
 
:<math>D(z)=D(1-\frac{1}{z})=D(\frac{1}{1-z})=-D(\frac{1}{z})=-D(1-z)=-D(\frac{z}{z-1})</math>
 
:<math>D(z)=D(1-\frac{1}{z})=D(\frac{1}{1-z})=-D(\frac{1}{z})=-D(1-z)=-D(\frac{z}{z-1})</math>
 
:$$D(\bar{z})=-D(z)$$
 
:$$D(\bar{z})=-D(z)$$
−
* [[다이로그 함수(dilogarithm)|Dilogarithm 함수]]가 만족시키는 공식을 깔끔하게 함:<math>\mbox{Li}_ 2(x)</math>,<math>\mbox{Li}_ 2 \left(\frac{1}{1-x}\right)</math>,  <math>\mbox{Li}_ 2 \left(1- \frac{1}{x} \right)</math>, <math>-\mbox{Li}_ 2 \left( \frac{1}{x} \right)</math>,<math>-\mbox{Li}_ 2 \left(1-x \right)</math> , <math>-\mbox{Li}_ 2 \left( \frac{x}{x-1} \right)</math><br>
+
* [[다이로그 함수(dilogarithm)]]가 만족시키는 공식을 깔끔하게 함
−
===five-term relation===
+
 
 +
===5항 관계식===
 +
* [[5항 관계식 (5-term relation)]]
 
* 가장 중요한 항등식
 
* 가장 중요한 항등식
 
:<math>D(x)+D(y)+D\left( \frac{1-x}{1-xy} \right)+D(1-xy)+D\left( \frac{1-y}{1-xy} \right)=0</math>
 
:<math>D(x)+D(y)+D\left( \frac{1-x}{1-xy} \right)+D(1-xy)+D\left( \frac{1-y}{1-xy} \right)=0</math>
−
* [[다이로그 함수(dilogarithm)|Dilogarithm 함수]]의 경우
+
* [[다이로그 함수(dilogarithm)]]의 경우
 
:<math>\mbox{Li}_ 2(x)+\mbox{Li}_ 2(y)+\mbox{Li}_ 2 \left( \frac{1-x}{1-xy} \right)+\mbox{Li}_ 2(1-xy)+\mbox{Li}_ 2 \left( \frac{1-y}{1-xy} \right)=\frac{\pi^2}{2}-\log(x)\log(1-x)-\log(y)\log(1-y)+\log (\frac{1-x}{1-xy})\log (\frac{1-y}{1-xy})</math>
 
:<math>\mbox{Li}_ 2(x)+\mbox{Li}_ 2(y)+\mbox{Li}_ 2 \left( \frac{1-x}{1-xy} \right)+\mbox{Li}_ 2(1-xy)+\mbox{Li}_ 2 \left( \frac{1-y}{1-xy} \right)=\frac{\pi^2}{2}-\log(x)\log(1-x)-\log(y)\log(1-y)+\log (\frac{1-x}{1-xy})\log (\frac{1-y}{1-xy})</math>
  
37번째 줄: 38번째 줄:
 
==클라우센 함수와의 관계==
 
==클라우센 함수와의 관계==
 
* <math>z=e^{i\theta}</math> 일 때, <math>D(z)=\text{Im}(\operatorname{Li}_ 2(z))+\log|z|\arg(1-z)</math> 의 값은 [[클라우센 함수(Clausen function)]]  로 표현
 
* <math>z=e^{i\theta}</math> 일 때, <math>D(z)=\text{Im}(\operatorname{Li}_ 2(z))+\log|z|\arg(1-z)</math> 의 값은 [[클라우센 함수(Clausen function)]]  로 표현
−
:<math>\operatorname{Cl}_ 2(\theta)=-\int_0^{\theta} \ln |2\sin \frac{t}{2}| \,dt=\sum_{n=1}^{\infty}\frac{\sin (n\theta)}{n^2}</math><br>
+
:<math>\operatorname{Cl}_ 2(\theta)=-\int_0^{\theta} \ln |2\sin \frac{t}{2}| \,dt=\sum_{n=1}^{\infty}\frac{\sin (n\theta)}{n^2}</math>
  
  
  
 
==데데킨트 제타함수와의 관계==
 
==데데킨트 제타함수와의 관계==
−
* [[데데킨트 제타함수]]<math>s=2</math> 에서의 값을 표현하는데 나타남<br>
+
* [[데데킨트 제타함수]]<math>s=2</math> 에서의 값을 표현하는데 나타남
 
* [[복소이차수체의 데데킨트 제타함수]] 의 경우
 
* [[복소이차수체의 데데킨트 제타함수]] 의 경우
 
:<math>\zeta_{K}(2)=\frac{\pi^2}{6\sqrt{|d_K|}}\sum_{(a,d_k)=1} (\frac{d_K}{a})D(e^{2\pi ia/|d_k|})</math>
 
:<math>\zeta_{K}(2)=\frac{\pi^2}{6\sqrt{|d_K|}}\sum_{(a,d_k)=1} (\frac{d_K}{a})D(e^{2\pi ia/|d_k|})</math>
−
:<math>\zeta_{\mathbb{Q}\sqrt{-7}}(2)=\frac{\pi^2}{3\sqrt{7}}(D(e^{2\pi i/7})+D(e^{4\pi i/7})-D(e^{6\pi i/7}))</math><br>
+
:<math>\zeta_{\mathbb{Q}\sqrt{-7}}(2)=\frac{\pi^2}{3\sqrt{7}}(D(e^{2\pi i/7})+D(e^{4\pi i/7})-D(e^{6\pi i/7}))</math>
  
  
51번째 줄: 52번째 줄:
  
 
* [[수학사 연표]]
 
* [[수학사 연표]]
−
 
−
 
−
 
−
 
−
 
−
==메모==
 
  
 
   
 
   
65번째 줄: 60번째 줄:
  
 
==관련된 항목들==
 
==관련된 항목들==
−
* [[로바체프스키 함수|로바체프스키와 클라우센 함수]]<br>
+
* [[로바체프스키 함수|로바체프스키와 클라우센 함수]]
−
* [[L-함수의 값 구하기 입문]]<br>
+
* [[데데킨트 제타함수]]
−
* [[데데킨트 제타함수]]<br>
+
* [[L-함수의 값 구하기 입문]]
−
 
 
 
   
 
   
  
75번째 줄: 69번째 줄:
 
==매스매티카 파일 및 계산 리소스==
 
==매스매티카 파일 및 계산 리소스==
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxS0U2bjRwSGtqV2M/edit
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxS0U2bjRwSGtqV2M/edit
−
* http://www.wolframalpha.com/input/?i=
 
−
* http://functions.wolfram.com/
 
−
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
−
* [http://people.math.sfu.ca/%7Ecbm/aands/toc.htm Abramowitz and Stegun Handbook of mathematical functions]
 
−
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
 
−
* [http://numbers.computation.free.fr/Constants/constants.html Numbers, constants and computation]
 
−
* [https://docs.google.com/open?id=0B8XXo8Tve1cxMWI0NzNjYWUtNmIwZi00YzhkLTkzNzQtMDMwYmVmYmIxNmIw 매스매티카 파일 목록]
 
−
 
−
 
−
 
−
 
−
 
  
−
 
  
 
   
 
   
96번째 줄: 77번째 줄:
 
* The Bloch-Wigner-Ramakrishnan polylogarithm function, Don Zagier, Math-Annalen, pages 612\[Dash]624, 1990. http://dx.doi.org/10.1007/BF01453591
 
* The Bloch-Wigner-Ramakrishnan polylogarithm function, Don Zagier, Math-Annalen, pages 612\[Dash]624, 1990. http://dx.doi.org/10.1007/BF01453591
 
* Polylogarithms, Dedekind Zeta functions, and the algebraic K-theory of fields
 
* Polylogarithms, Dedekind Zeta functions, and the algebraic K-theory of fields
−
 
−
* http://www.jstor.org/action/doBasicSearch?Query=
 
−
* http://dx.doi.org/10.1007/BF01453591
 
−
 
−
 
  
 
   
 
   
107번째 줄: 83번째 줄:
  
 
*  Spencer Bloch, [http://books.google.com/books/about/Higher_Regulators_Algebraic_K_Theory_and.html?id=D7BDMNbxM1IC Higher Regulators, Algebraic K-Theory, and Zeta Functions of Elliptic Curves]
 
*  Spencer Bloch, [http://books.google.com/books/about/Higher_Regulators_Algebraic_K_Theory_and.html?id=D7BDMNbxM1IC Higher Regulators, Algebraic K-Theory, and Zeta Functions of Elliptic Curves]
−
*  Serge Lang, Complex Analysis, Chapter XI. Section 2<br>
+
*  Serge Lang, Complex Analysis, Chapter XI. Section 2
 
[[분류:다이로그]]
 
[[분류:다이로그]]
 
[[분류:쌍곡기하학]]
 
[[분류:쌍곡기하학]]

2013년 12월 30일 (월) 00:23 판

개요

$$\operatorname{Li}_ 2(z) = -\int_0^z{{\ln (1-t)}\over t} dt,\quad z\in \mathbb C-[1,\infty)$$

  • 다이로그 함수의 변종으로 블로흐-비그너 다이로그(Bloch-Wigner dilogarithm)를 \(z\in\mathbb{C}\)에 대하여 다음과 같이 정의함

\[D(z)=\text{Im}(\operatorname{Li}_ 2(z))+\log|z|\arg(1-z)\]

  • 복소평면에서 정의된 실수값을 갖는 연속함수
  • 복소평면의 0과 1을 제외한 모든 점에서 real analytic
  • 대수적 K-이론에서 수체의 $K_3$ 군을 실벡터 공간으로 보내는 regulator map을 구성하는데 활용됨
  • 다이로그 함수의 허수부에 대해서는 로바체프스키와 클라우센 함수 항목 참조



그래프와 등고선

  • 복소평면에서 정의된 실수값을 갖는 연속함수

블로흐-비그너 다이로그(Bloch-Wigner dilogarithm)1.gif

  • 다음과 같은 등고선을 얻는다

블로흐-비그너 다이로그(Bloch-Wigner dilogarithm)2.gif


항등식

  • 여러 함수 항등식을 만족함

\[D(z)=D(1-\frac{1}{z})=D(\frac{1}{1-z})=-D(\frac{1}{z})=-D(1-z)=-D(\frac{z}{z-1})\]

$$D(\bar{z})=-D(z)$$

5항 관계식

\[D(x)+D(y)+D\left( \frac{1-x}{1-xy} \right)+D(1-xy)+D\left( \frac{1-y}{1-xy} \right)=0\]

\[\mbox{Li}_ 2(x)+\mbox{Li}_ 2(y)+\mbox{Li}_ 2 \left( \frac{1-x}{1-xy} \right)+\mbox{Li}_ 2(1-xy)+\mbox{Li}_ 2 \left( \frac{1-y}{1-xy} \right)=\frac{\pi^2}{2}-\log(x)\log(1-x)-\log(y)\log(1-y)+\log (\frac{1-x}{1-xy})\log (\frac{1-y}{1-xy})\]


클라우센 함수와의 관계

\[\operatorname{Cl}_ 2(\theta)=-\int_0^{\theta} \ln |2\sin \frac{t}{2}| \,dt=\sum_{n=1}^{\infty}\frac{\sin (n\theta)}{n^2}\]


데데킨트 제타함수와의 관계

\[\zeta_{K}(2)=\frac{\pi^2}{6\sqrt{|d_K|}}\sum_{(a,d_k)=1} (\frac{d_K}{a})D(e^{2\pi ia/|d_k|})\] \[\zeta_{\mathbb{Q}\sqrt{-7}}(2)=\frac{\pi^2}{3\sqrt{7}}(D(e^{2\pi i/7})+D(e^{4\pi i/7})-D(e^{6\pi i/7}))\]


역사




관련된 항목들



매스매티카 파일 및 계산 리소스



관련논문

  • The Bloch-Wigner-Ramakrishnan polylogarithm function, Don Zagier, Math-Annalen, pages 612\[Dash]624, 1990. http://dx.doi.org/10.1007/BF01453591
  • Polylogarithms, Dedekind Zeta functions, and the algebraic K-theory of fields


관련도서

원본 주소 "https://wiki.mathnt.net/index.php?title=블로흐-비그너_다이로그(Bloch-Wigner_dilogarithm)&oldid=28790"