"Herglotz–Zagier 함수"의 두 판 사이의 차이
Pythagoras0 (토론 | 기여) (→관련논문) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 5개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
| − | * 다음과 같이 정의된 함수 | + | * 다음과 같이 정의된 함수 <math>F:\mathbb{R}_{+}\to \mathbb{R}</math> |
| − | + | :<math> | |
\begin{align} | \begin{align} | ||
F(x)&= \sum^{\infty}_{n=1} \left\{\frac{\Gamma^{\prime}(nx)}{\Gamma (nx)} -\log (nx)\right\} \frac{1}{n}\\ | F(x)&= \sum^{\infty}_{n=1} \left\{\frac{\Gamma^{\prime}(nx)}{\Gamma (nx)} -\log (nx)\right\} \frac{1}{n}\\ | ||
| 7번째 줄: | 7번째 줄: | ||
&= \int_{0}^{\infty}\left(\frac{1}{1-e^{-t}}-\frac{1}{t}\right)\log (1-e^{-xt})\, dt | &= \int_{0}^{\infty}\left(\frac{1}{1-e^{-t}}-\frac{1}{t}\right)\log (1-e^{-xt})\, dt | ||
\end{align} | \end{align} | ||
| − | + | </math> | |
| − | 여기서 | + | 여기서 <math>\psi(x)</math>는 [[다이감마 함수(digamma function)]] |
* 실 이차수체에 대한 [[크로네커 극한 공식]]을 얻는데 활용됨 | * 실 이차수체에 대한 [[크로네커 극한 공식]]을 얻는데 활용됨 | ||
| 14번째 줄: | 14번째 줄: | ||
==점근 급수== | ==점근 급수== | ||
* [[다이감마 함수(digamma function)]]의 점근 급수로부터 다음을 얻는다 : | * [[다이감마 함수(digamma function)]]의 점근 급수로부터 다음을 얻는다 : | ||
| − | + | <math>x\to \infty</math> 일 때, | |
| − | + | :<math> | |
| − | F(x) \sim - \frac{\pi^2}{12x} - \sum_{n=1}^\infty \frac{B_{2n}\zeta | + | F(x) \sim - \frac{\pi^2}{12x} - \sum_{n=1}^\infty \frac{B_{2n}\zeta(2n+1)}{2n(x^{2n})} = - \frac{\pi^2}{12x} -\frac{B_2}{2}\frac{\zeta(3)}{x^2}-\frac{B_4}{4}\frac{\zeta(5)}{x^4}+\cdots |
| − | + | </math> | |
| − | |||
| − | |||
==성질== | ==성질== | ||
* 반전공식 | * 반전공식 | ||
| − | + | :<math> | |
| − | F(x)+F\left( \frac{1}{x} \right) = -\frac{\pi^2}{6}(x+\frac{1}{x}) | + | F(x)+F\left( \frac{1}{x} \right) = -\frac{\pi^2}{6}(x+\frac{1}{x})+\frac{1}{2}\log^2(x)+C_1 |
| − | + | </math> | |
| − | 이 때 | + | 이 때 <math>C_1=1.45738783\cdots</math>는 상수 |
| − | * | + | * 다음 함수방정식을 만족한다 (<math>x>1</math>) |
| − | + | :<math> | |
F(x)-F(x-1)+F\left(\frac{x-1}{x} \right) =-\mbox{Li}_ 2 \left( \frac{1}{x} \right)+C_2 | F(x)-F(x-1)+F\left(\frac{x-1}{x} \right) =-\mbox{Li}_ 2 \left( \frac{1}{x} \right)+C_2 | ||
| − | + | </math> | |
| − | 여기서 | + | 여기서 <math>\mbox{Li}_ 2</math>는 [[다이로그 함수(dilogarithm)]], <math>C_2=-0.91624015\cdots</math>는 상수 |
| + | ==테이블== | ||
| + | \begin{array}{c|c|c|c} | ||
| + | x & F(x) & x & F(x) \\ | ||
| + | \hline | ||
| + | 0.10 & -12.4222496 & 1.1 & -0.825938309 \\ | ||
| + | 0.20 & -5.63263743 & 1.2 & -0.751638258 \\ | ||
| + | 0.30 & -3.53874246 & 1.3 & -0.689468367 \\ | ||
| + | 0.40 & -2.54831936 & 1.4 & -0.636705058 \\ | ||
| + | 0.50 & -1.97893369 & 1.5 & -0.591378592 \\ | ||
| + | 0.60 & -1.61209447 & 1.6 & -0.552030297 \\ | ||
| + | 0.70 & -1.35729576 & 1.7 & -0.517557613 \\ | ||
| + | 0.80 & -1.17060188 & 1.8 & -0.487112113 \\ | ||
| + | 0.90 & -1.02823098 & 1.9 & -0.460030550 \\ | ||
| + | 1.0 & -0.916240150 & 2.0 & -0.435787136 \\ | ||
| + | \end{array} | ||
==사전 형태의 자료== | ==사전 형태의 자료== | ||
| 48번째 줄: | 61번째 줄: | ||
[[분류:정수론]] | [[분류:정수론]] | ||
| + | |||
| + | ==메타데이터== | ||
| + | ===위키데이터=== | ||
| + | * ID : [https://www.wikidata.org/wiki/Q73015 Q73015] | ||
| + | ===Spacy 패턴 목록=== | ||
| + | * [{'LOWER': 'gustav'}, {'LEMMA': 'Herglotz'}] | ||
2021년 2월 17일 (수) 03:25 기준 최신판
개요
- 다음과 같이 정의된 함수 \(F:\mathbb{R}_{+}\to \mathbb{R}\)
\[ \begin{align} F(x)&= \sum^{\infty}_{n=1} \left\{\frac{\Gamma^{\prime}(nx)}{\Gamma (nx)} -\log (nx)\right\} \frac{1}{n}\\ & = \sum^{\infty}_{n=1} \frac{\psi(n x) -\log (nx)}{n}\\ &= \int_{0}^{\infty}\left(\frac{1}{1-e^{-t}}-\frac{1}{t}\right)\log (1-e^{-xt})\, dt \end{align} \] 여기서 \(\psi(x)\)는 다이감마 함수(digamma function)
- 실 이차수체에 대한 크로네커 극한 공식을 얻는데 활용됨
점근 급수
- 다이감마 함수(digamma function)의 점근 급수로부터 다음을 얻는다 \[x\to \infty\] 일 때,
\[ F(x) \sim - \frac{\pi^2}{12x} - \sum_{n=1}^\infty \frac{B_{2n}\zeta(2n+1)}{2n(x^{2n})} = - \frac{\pi^2}{12x} -\frac{B_2}{2}\frac{\zeta(3)}{x^2}-\frac{B_4}{4}\frac{\zeta(5)}{x^4}+\cdots \]
성질
- 반전공식
\[ F(x)+F\left( \frac{1}{x} \right) = -\frac{\pi^2}{6}(x+\frac{1}{x})+\frac{1}{2}\log^2(x)+C_1 \] 이 때 \(C_1=1.45738783\cdots\)는 상수
- 다음 함수방정식을 만족한다 (\(x>1\))
\[ F(x)-F(x-1)+F\left(\frac{x-1}{x} \right) =-\mbox{Li}_ 2 \left( \frac{1}{x} \right)+C_2 \] 여기서 \(\mbox{Li}_ 2\)는 다이로그 함수(dilogarithm), \(C_2=-0.91624015\cdots\)는 상수
테이블
\begin{array}{c|c|c|c} x & F(x) & x & F(x) \\ \hline 0.10 & -12.4222496 & 1.1 & -0.825938309 \\ 0.20 & -5.63263743 & 1.2 & -0.751638258 \\ 0.30 & -3.53874246 & 1.3 & -0.689468367 \\ 0.40 & -2.54831936 & 1.4 & -0.636705058 \\ 0.50 & -1.97893369 & 1.5 & -0.591378592 \\ 0.60 & -1.61209447 & 1.6 & -0.552030297 \\ 0.70 & -1.35729576 & 1.7 & -0.517557613 \\ 0.80 & -1.17060188 & 1.8 & -0.487112113 \\ 0.90 & -1.02823098 & 1.9 & -0.460030550 \\ 1.0 & -0.916240150 & 2.0 & -0.435787136 \\ \end{array}
사전 형태의 자료
매스매티카 파일 및 계산리소스
관련논문
- Masri, Riad. 2004. “The Herglotz–Zagier Function, Double Zeta Functions, and Values of L-series.” Journal of Number Theory 106 (2) (June): 219–237. doi:10.1016/j.jnt.2004.01.004.
- Zagier, Don. 1975. “A Kronecker Limit Formula for Real Quadratic Fields.” Mathematische Annalen 213 (2) (June 1): 153–184. doi:10.1007/BF01343950.
메타데이터
위키데이터
- ID : Q73015
Spacy 패턴 목록
- [{'LOWER': 'gustav'}, {'LEMMA': 'Herglotz'}]