"후르비츠 제타함수(Hurwitz zeta function)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 39개는 보이지 않습니다)
1번째 줄: 1번째 줄:
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">간단한 소개</h5>
+
==개요==
 +
* 후르비츠 제타함수를 다음과 같이 정의
 +
:<math>\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}</math>
 +
* <math>a=1</math> 인 경우, [[리만제타함수]]가 됨
 +
* <math>a=q/p</math> 인 경우,
 +
:<math>\zeta(s,q/p) = \sum_{n=0}^\infty \frac{1}{(n+q/p)^{s}}= \sum_{n=0}^\infty  \frac{p^s}{(pn+q)^s}</math>
  
<math>\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}</math>
+
  
 
+
==덧셈공식==
 +
* 다음이 성립한다
 +
:<math>k^s\,\zeta(s,kz)= \sum_{n=0}^{k-1}\zeta\left(s,z+\frac{n}{k}\right)</math>
  
 
+
  
<math>\frac{\partial }{\partial s}\zeta(s,a)|_{s=0} =\log \frac{\Gamma(a)}{\sqrt{2\pi}}</math>
+
==디리클레 L-함수와의 관계==
 +
* <math>\chi</math>가 주기가 <math>p</math>인 [[디리클레 지표]]라고 하면, [[디리클레 L-함수]]를 다음과 같이 쓸 수 있다
 +
:<math>L(s,\chi)= \sum_{n\geq 1}\frac{\chi(n)}{n^s}=\frac {1}{p^s} \sum_{q=1}^p \chi(q)\; \zeta \left(s,\frac{q}{p}\right)</math>
 +
* 가령 <math>\chi</math>가 <math>\chi(3)=-1</math>인 주기가 4인 디리클레 캐릭터라고 하면
 +
:<math>L(s,\chi) =4^{-s}\{\zeta(s,1/4)-\zeta(s,3/4)\}</math>
 +
  
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">증명</h5>
+
==에르미트의 적분표현 ==
 +
* <math>\operatorname{Re} a > 0 </math> 일 때,
 +
:<math>\zeta(s,a)=\frac{1}{2a^s}+\frac{a^{1-s}}{s-1}+2\int_0^{\infty}\frac{\sin[s\tan^{-1}(t/a)]}{(a^2+t^2)^{s/2}}\frac{dt}{e^{2\pi t} -1}</math>
  
<math>\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}</math>
+
  
<math>\zeta(s,a+1) =\zeta(s,a)-\frac{1}{a^s}</math>
+
==감마함수와의 관계==
  
<math>\zeta'(s,a+1) =\zeta'(s,a)+a^{-s}\log a</math>
+
;정리 (Lerch)
 +
다음이 성립한다
 +
:<math>\frac{\partial }{\partial s}\zeta(s,a)|_{s=0} =\log \frac{\Gamma(a)}{\sqrt{2\pi}}\label{her}</math>
  
<math>\zeta'(0,a+1) =\zeta'(0,a)+}\log a</math>
 
  
<math>G(a)=e^{\zeta'(0,a)}</math>라고 두면, <math>G(a+1)=aG(a)</math>.
+
;증명
 +
위에 있는 에르미트의 적분표현 \ref{her}과 [[감마함수]]의 Binet's second expression 을 이용■
  
<math>a>0</math> 일때, 로그 볼록성을 가진다.
 
  
또한 <math>G(a)</math>는 <math>a>0</math>에서 해석함수이다. 
 
  
감마함수의 성질로부터 <math>G(a)=G(1)\Gamma(a)</math>
 
  
<math>G(1)=\zeta'(0)</math> 이므로, <math>\zeta'(0)=-\log{\sqrt{2\pi}}</math> 로부터 ([[모든 자연수의 곱과 리만제타함수]] 참조)
+
==베르누이 다항식과의 관계==
 +
* 정수 <math>n\geq 0</math>에 대하여 <math>\zeta(-n,x)=-{B_{n+1}(x) \over n+1}</math>
 +
* 특히, <math>n=0</math>이면 <math>\zeta(0,x)= \frac{1}{2} -x</math>
 +
* [[베르누이 다항식]]
 +
  
<math>\zeta'(s,a) =\log \frac{\Gamma(a)}{\sqrt{2\pi}}</math> 임이 증명된다.
+
==메모==
  
 
+
  
 
+
<math>\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}</math>
  
 
+
<math>\zeta(s,a+1) =\zeta(s,a)-\frac{1}{a^s}</math>
  
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">메모</h5>
+
<math>\zeta'(s,a+1) =\zeta'(s,a)+a^{-s}\log a</math>
  
<math>\frac{d^2}{da^2}\log G(a)=\sum_{n=1}^{\infty}\frac{1}{(n+a)^2}> 0</math> ?
+
<math>\zeta'(0,a+1) =\zeta'(0,a)+\log a</math>
  
 
+
<math>G(a)=e^{\zeta'(0,a)}</math>라고 두면, <math>G(a+1)=aG(a)</math>.
  
 
+
<math>a>0</math> 일때,  <math>G(a)</math>는 로그 볼록성을 가진다.
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">재미있는 사실</h5>
+
또한 <math>G(a)</math>는 <math>a>0</math>에서 해석함수이다.
  
 
+
감마함수의 성질로부터 <math>G(a)=G(1)\Gamma(a)</math>
  
 
+
<math>G(1)=\zeta'(0)</math> 이므로, <math>\zeta'(0)=-\log{\sqrt{2\pi}}</math> 로부터 ([[모든 자연수의 곱과 리만제타함수]] 참조)
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">역사</h5>
+
<math>\frac{\partial }{\partial s}\zeta(s,a)|_{s=0} =\log \frac{\Gamma(a)}{\sqrt{2\pi}}</math> 임이 증명된다.
  
* [[수학사연표 (역사)|수학사연표]]
+
  
 
+
==역사==
  
 
+
* [[수학사 연표]]
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련된 다른 주제들</h5>
+
  
* [[로그 탄젠트 적분(log tangent integral)|적분쇼]]<br>
+
  
<br>
+
==관련된 항목들==
 +
* [[디리클레 L-함수의 미분]]
 +
* [[로그 탄젠트 적분(log tangent integral)]]
 +
* [[감마함수]]
 +
* [[등차수열의 소수분포에 관한 디리클레 정리]]
 +
* [[파이가 아니라 2파이다?]]
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">수학용어번역</h5>
+
  
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
+
==수학용어번역==
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
+
* {{forvo|url=Hurwitz}}
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid={D6048897-56F9-43D7-8BB6-50B362D1243A}&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
  
 
+
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">참고할만한 자료</h5>
+
==사전 형태의 자료==
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
 
* http://en.wikipedia.org/wiki/Hurwitz_zeta_function
 
* http://en.wikipedia.org/wiki/Hurwitz_zeta_function
* http://www.wolframalpha.com/input/?i=<br>
 
  
 
+
 +
 
 +
==리뷰, 에세이, 강의노트==
 +
* Oswald, Nicola M. R., and Jörn Steuding. ‘Aspects of Zeta-Function Theory in the Mathematical Works of Adolf Hurwitz’. arXiv:1506.00856 [math], 2 June 2015. http://arxiv.org/abs/1506.00856.
  
 
 
  
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">관련논문</h5>
 
  
 +
==관련논문==
 +
* Dowker, J. S. “Computation of the Derivative of the Hurwitz Zeta-Function and the Higher Kinkelin Constants.” arXiv:1506.01819 [hep-Th], June 5, 2015. http://arxiv.org/abs/1506.01819.
 +
* Szabłowski, Paweł J. “A Few Remarks on Values of Hurwitz Zeta Function at Natural and Rational Arguments.” arXiv:1405.6270 [math], May 24, 2014. http://arxiv.org/abs/1405.6270.
 +
* Chatterjee, Tapas, and Sanoli Gun. “On the Zeros of Generalized Hurwitz Zeta Functions.” arXiv:1407.8319 [math], July 31, 2014. http://arxiv.org/abs/1407.8319.
 
* [http://www.springerlink.com/content/wql8d40h20jljxp2/ On Some Integrals Involving the Hurwitz Zeta Function: Part 1]
 
* [http://www.springerlink.com/content/wql8d40h20jljxp2/ On Some Integrals Involving the Hurwitz Zeta Function: Part 1]
* [http://www.springerlink.com/content/t285842772wv0767/ On Some Integrals Involving the Hurwitz Zeta Function: Part 2]<br>
+
** Olivier Espinosa  and Victor H. Moll
** Olivier Espinosa  and Victor H. Moll
+
* [http://www.springerlink.com/content/t285842772wv0767/ On Some Integrals Involving the Hurwitz Zeta Function: Part 2]
 +
** Olivier Espinosa  and Victor H. Moll
 
* [http://doi.acm.org/10.1145/258726.258736 A class of logarithmic integrals]
 
* [http://doi.acm.org/10.1145/258726.258736 A class of logarithmic integrals]
* [http://projecteuclid.org/euclid.rmjm/1250131668 On the Hurwitz zeta-function]<br>
+
** Victor Adamchik, 1997
** Bruce C. Berndt, Source: Rocky Mountain J. Math. Volume 2, Number 1 (1972), 151-158.<br>
+
* [http://www.jstor.org/stable/2322640 The Gamma Function and the Hurwitz Zeta-Function]
 
+
** Bruce C. BerndtThe American Mathematical Monthly, Vol. 92, No. 2 (Feb., 1985), pp. 126-130
 
+
* [http://projecteuclid.org/euclid.rmjm/1250131668 On the Hurwitz zeta-function]
 
+
**  Bruce C. Berndt, Source: Rocky Mountain J. Math. Volume 2, Number 1 (1972), 151-158.
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련도서 및 추천도서</h5>
 
 
 
* 도서내검색<br>
 
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 
도서검색<br>
 
** http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
 
** http://book.daum.net/search/mainSearch.do?query=
 
 
 
 
 
 
 
 
 
 
 
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">관련기사</h5>
 
 
 
*  네이버 뉴스 검색 (키워드 수정)<br>
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
 
 
 
 
 
 
 
 
  
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">블로그</h5>
+
[[분류:정수론]]
  
* 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
+
==메타데이터==
* [http://navercast.naver.com/science/list 네이버 오늘의과학]
+
===위키데이터===
 +
* ID :  [https://www.wikidata.org/wiki/Q1638777 Q1638777]
 +
===Spacy 패턴 목록===
 +
* [{'LOWER': 'hurwitz'}, {'LOWER': 'zeta'}, {'LEMMA': 'function'}]

2021년 2월 17일 (수) 03:31 기준 최신판

개요

  • 후르비츠 제타함수를 다음과 같이 정의

\[\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}\]

\[\zeta(s,q/p) = \sum_{n=0}^\infty \frac{1}{(n+q/p)^{s}}= \sum_{n=0}^\infty \frac{p^s}{(pn+q)^s}\]


덧셈공식

  • 다음이 성립한다

\[k^s\,\zeta(s,kz)= \sum_{n=0}^{k-1}\zeta\left(s,z+\frac{n}{k}\right)\]


디리클레 L-함수와의 관계

\[L(s,\chi)= \sum_{n\geq 1}\frac{\chi(n)}{n^s}=\frac {1}{p^s} \sum_{q=1}^p \chi(q)\; \zeta \left(s,\frac{q}{p}\right)\]

  • 가령 \(\chi\)가 \(\chi(3)=-1\)인 주기가 4인 디리클레 캐릭터라고 하면

\[L(s,\chi) =4^{-s}\{\zeta(s,1/4)-\zeta(s,3/4)\}\]


에르미트의 적분표현

  • \(\operatorname{Re} a > 0 \) 일 때,

\[\zeta(s,a)=\frac{1}{2a^s}+\frac{a^{1-s}}{s-1}+2\int_0^{\infty}\frac{\sin[s\tan^{-1}(t/a)]}{(a^2+t^2)^{s/2}}\frac{dt}{e^{2\pi t} -1}\]


감마함수와의 관계

정리 (Lerch)

다음이 성립한다 \[\frac{\partial }{\partial s}\zeta(s,a)|_{s=0} =\log \frac{\Gamma(a)}{\sqrt{2\pi}}\label{her}\]


증명

위에 있는 에르미트의 적분표현 \ref{her}과 감마함수의 Binet's second expression 을 이용■



베르누이 다항식과의 관계

  • 정수 \(n\geq 0\)에 대하여 \(\zeta(-n,x)=-{B_{n+1}(x) \over n+1}\)
  • 특히, \(n=0\)이면 \(\zeta(0,x)= \frac{1}{2} -x\)
  • 베르누이 다항식


메모

\(\zeta(s,a) = \sum_{n=0}^\infty \frac{1}{(n+a)^{s}}\)

\(\zeta(s,a+1) =\zeta(s,a)-\frac{1}{a^s}\)

\(\zeta'(s,a+1) =\zeta'(s,a)+a^{-s}\log a\)

\(\zeta'(0,a+1) =\zeta'(0,a)+\log a\)

\(G(a)=e^{\zeta'(0,a)}\)라고 두면, \(G(a+1)=aG(a)\).

\(a>0\) 일때, \(G(a)\)는 로그 볼록성을 가진다.

또한 \(G(a)\)는 \(a>0\)에서 해석함수이다.

감마함수의 성질로부터 \(G(a)=G(1)\Gamma(a)\)

\(G(1)=\zeta'(0)\) 이므로, \(\zeta'(0)=-\log{\sqrt{2\pi}}\) 로부터 (모든 자연수의 곱과 리만제타함수 참조)

\(\frac{\partial }{\partial s}\zeta(s,a)|_{s=0} =\log \frac{\Gamma(a)}{\sqrt{2\pi}}\) 임이 증명된다.


역사



관련된 항목들


수학용어번역


사전 형태의 자료


리뷰, 에세이, 강의노트

  • Oswald, Nicola M. R., and Jörn Steuding. ‘Aspects of Zeta-Function Theory in the Mathematical Works of Adolf Hurwitz’. arXiv:1506.00856 [math], 2 June 2015. http://arxiv.org/abs/1506.00856.


관련논문

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'hurwitz'}, {'LOWER': 'zeta'}, {'LEMMA': 'function'}]