"디리클레 L-함수와 수학의 상수들"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
(피타고라스님이 이 페이지를 개설하였습니다.)
 
 
(사용자 2명의 중간 판 15개는 보이지 않습니다)
1번째 줄: 1번째 줄:
 +
[[디리클레 베타함수]]는 복소 이차 수체 <math>\mathbb{Q}(\sqrt{-1})</math>의 정수론을 해석적으로 이해하는데 있어 중요한 역할을 하는 함수로 다음과 같이 정의된다.
  
 +
:<math>\beta(s) =L_{-4}(s)= \sum_{n=0}^\infty \frac{(-1)^n} {(2n+1)^s} =\frac{1}{1^s} - \frac{1}{3^s} + \frac{1}{5^s} - \frac{1}{7^s} + \cdots </math>
 +
 +
 +
 +
[[리만제타함수]]와 비슷한 종류의 함수로, 수체 <math>\mathbb{Q}(\sqrt{-1})</math>에 대한  [[데데킨트 제타함수]] 의 인자로 등장하며, [[디리클레 L-함수]]의 한 예이기도 하다.
 +
 +
[[정수에서의 리만제타함수의 값]]을 구하는 문제가 수학적으로 흥미로운만큼 같은 질문을 [[디리클레 베타함수]]에 대해 할 수 있을 것이다.
 +
 +
이 문제에 대해 고민하게 되면, 여러 중요한 [[수학의 상수들(mathematical constants)]]과 만날 수 있으므로, 소개를 해볼까 한다.
 +
 +
 +
<math>s=1</math>인 경우의 값은 일반적으로 [[이차 수체에 대한 디리클레 class number 공식 |디리클레 class number 공식]] 을 사용하여 구할 수 있는데, [[그레고리-라이프니츠 급수|라이프니츠 급수]]
 +
 +
:<math>\beta(1)=1 \,-\, \frac{1}{3} \,+\, \frac{1}{5} \,-\, \frac{1}{7} \,+\, \frac{1}{9} \,-\, \cdots \;=\; \frac{\pi}{4}=0.785398163\cdots</math>
 +
 +
를 얻게 된다. [[원주율(파이,π)]] 를 만나게 된다.
 +
 +
 +
<math>s=2</math>인 경우는
 +
 +
:<math>\beta(2) = \frac{1}{1^2} - \frac{1}{3^2} + \frac{1}{5^2} - \frac{1}{7^2} + \cdots  \!=0.915965594\cdots</math>
 +
 +
를 얻게 되는데, 이를 [[카탈란 상수]] 라 부른다. 초등함수의 정적분의 값들을 표현하는데 종종 등장하는 상수이며 흥미로운 대상이다.
 +
 +
 +
<math>s=3</math>인 경우는
 +
 +
:<math>\beta(3)\;=\;\frac{\pi^3}{32}</math> 를 얻게 되는데, 일반적으로 s 가 홀수인 경우,
 +
 +
:<math>\beta(2k+1)={{{({-1})^k}{E_{2k}}{\pi^{2k+1}} \over {4^{k+1}}(2k!)}}</math> (<math>k\geq 0 </math> 인 정수) 로 주어진다. 여기서 <math>E_n</math>은  [[오일러수]].
 +
 +
 +
한편, 이 함수의  <math>s=1</math>인 경우의 도함수의 값에 대해서도 생각해볼 수 있는데,
 +
 +
:<math>\beta'(1)=\frac{\pi}{4}(\gamma+\ln  2\pi)-\frac{\pi}{2}\ln(\frac{\Gamma(1/4)}{\Gamma(3/4)})</math>
 +
 +
를 얻을 수 있으며 증명은 [[디리클레 베타함수]] 항목에 적어두었다. 여기서는  [[오일러상수, 감마]], <math>\gamma=0.577215664901532860606512090\cdots</math> 를 만나게 된다.
 +
 +
한가지 재미있는 사실은 정적분문제
 +
 +
:<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{\pi}{2}\ln \left(\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}\right)</math>
 +
 +
를 해결하기 위해서는 위의 결과를 알아야 한다는 것인데, 궁금한 사람들은 [[로그 탄젠트 적분(log tangent integral)|재미있는 정적분]]
 +
[http://www.jstor.org/stable/2323562 Integrals, an Introduction to Analytic Number Theory] ,(Ilan Vardi, The American Mathematical Monthly, Vol. 95, No. 4 (Apr., 1988), pp. 308-315) 를 참고하면 되겠다.
 +
 +
 +
 +
정리를 하면, 디리클레 베타함수의 정수에서의 값을 구하는 과정에서 다음과 같은 상수들을 만났다.
 +
 +
[[원주율(파이,π)]]
 +
 +
[[카탈란 상수]]
 +
 +
[[오일러상수, 감마]]
 +
 +
[[분류:에세이]]
 +
[[분류:상수]]

2020년 11월 16일 (월) 03:59 기준 최신판

디리클레 베타함수는 복소 이차 수체 \(\mathbb{Q}(\sqrt{-1})\)의 정수론을 해석적으로 이해하는데 있어 중요한 역할을 하는 함수로 다음과 같이 정의된다.

\[\beta(s) =L_{-4}(s)= \sum_{n=0}^\infty \frac{(-1)^n} {(2n+1)^s} =\frac{1}{1^s} - \frac{1}{3^s} + \frac{1}{5^s} - \frac{1}{7^s} + \cdots \]


리만제타함수와 비슷한 종류의 함수로, 수체 \(\mathbb{Q}(\sqrt{-1})\)에 대한 데데킨트 제타함수 의 인자로 등장하며, 디리클레 L-함수의 한 예이기도 하다.

정수에서의 리만제타함수의 값을 구하는 문제가 수학적으로 흥미로운만큼 같은 질문을 디리클레 베타함수에 대해 할 수 있을 것이다.

이 문제에 대해 고민하게 되면, 여러 중요한 수학의 상수들(mathematical constants)과 만날 수 있으므로, 소개를 해볼까 한다.


\(s=1\)인 경우의 값은 일반적으로 디리클레 class number 공식 을 사용하여 구할 수 있는데, 라이프니츠 급수

\[\beta(1)=1 \,-\, \frac{1}{3} \,+\, \frac{1}{5} \,-\, \frac{1}{7} \,+\, \frac{1}{9} \,-\, \cdots \;=\; \frac{\pi}{4}=0.785398163\cdots\]

를 얻게 된다. 원주율(파이,π) 를 만나게 된다.


\(s=2\)인 경우는

\[\beta(2) = \frac{1}{1^2} - \frac{1}{3^2} + \frac{1}{5^2} - \frac{1}{7^2} + \cdots \!=0.915965594\cdots\]

를 얻게 되는데, 이를 카탈란 상수 라 부른다. 초등함수의 정적분의 값들을 표현하는데 종종 등장하는 상수이며 흥미로운 대상이다.


\(s=3\)인 경우는

\[\beta(3)\;=\;\frac{\pi^3}{32}\] 를 얻게 되는데, 일반적으로 s 가 홀수인 경우,

\[\beta(2k+1)={{{({-1})^k}{E_{2k}}{\pi^{2k+1}} \over {4^{k+1}}(2k!)}}\] (\(k\geq 0 \) 인 정수) 로 주어진다. 여기서 \(E_n\)은 오일러수.


한편, 이 함수의 \(s=1\)인 경우의 도함수의 값에 대해서도 생각해볼 수 있는데,

\[\beta'(1)=\frac{\pi}{4}(\gamma+\ln 2\pi)-\frac{\pi}{2}\ln(\frac{\Gamma(1/4)}{\Gamma(3/4)})\]

를 얻을 수 있으며 증명은 디리클레 베타함수 항목에 적어두었다. 여기서는 오일러상수, 감마, \(\gamma=0.577215664901532860606512090\cdots\) 를 만나게 된다.

한가지 재미있는 사실은 정적분문제

\[\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=\frac{\pi}{2}\ln \left(\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}\right)\]

를 해결하기 위해서는 위의 결과를 알아야 한다는 것인데, 궁금한 사람들은 재미있는 정적분 Integrals, an Introduction to Analytic Number Theory ,(Ilan Vardi, The American Mathematical Monthly, Vol. 95, No. 4 (Apr., 1988), pp. 308-315) 를 참고하면 되겠다.


정리를 하면, 디리클레 베타함수의 정수에서의 값을 구하는 과정에서 다음과 같은 상수들을 만났다.

원주율(파이,π)

카탈란 상수

오일러상수, 감마