티스토리 뷰
Problem 1. Prove that[각주:1]
\begin{equation*} \sum_{n=1}^{\infty} \frac{1}{n^4 \binom{2n}{n}} = \frac{17\pi^4}{3240}. \tag{1} \end{equation*}
Proof. We divide the proof into several steps.
1. Reduction to an integral representation
Let $S$ denote the summation in question. By using the Lemma 1 in Today's Calculation 29, we can represent $S$ as an integral. Then by the successive application of integration by parts, we obtain
\begin{align*} S &= 8 \int_{0}^{1} \frac{1}{x} \int_{0}^{x/2} \frac{\arcsin^{2} t}{t} \, \mathrm{d}t \mathrm{d}x = -8\int_{0}^{1} \frac{\arcsin^{2} (x/2)}{x} \log x \, \mathrm{d}x \\ &= 8 \int_{0}^{1} \frac{\arcsin (x/2)}{\sqrt{1 - (x/2)^{2}}} \log^{2} x \, \frac{\mathrm{d}x}{2}. \end{align*}
Thus with the substitution $x = 2 \sin\theta$, we have
$$ S = 8 \int_{0}^{\frac{\pi}{6}} \theta \log^{2} (2 \sin\theta) \, \mathrm{d}\theta. $$
To evaluate this integral, note that for $0 < \theta < \frac{\pi}{6}$ we have
$$ e^{i\theta} \cdot 2 \sin \theta = i \cdot (1 - e^{2i\theta}). $$
Taking logarithm (with the branch cut $(-\infty, 0]$ as usual) to both sides, it follows that
$$ i\theta + \log (2\sin\theta) = \frac{i\pi}{2} + \log(1 - e^{2i\theta}). $$
Cubing both sides and integrating on $\left( 0, \frac{\pi}{6} \right)$ and taking imaginary parts only,
\begin{equation*} S = \frac{2}{3} \left( \frac{\pi}{6} \right)^{4} + \frac{8}{3} \Im \int_{0}^{\frac{\pi}{6}} \left( \frac{i\pi}{2} + \log(1 - e^{2i\theta}) \right)^{3} \, \mathrm{d}\theta. \tag{2} \end{equation*}
2. Some complex-analysis techniques
Now we focus on the integral in the imaginary part:
\begin{equation*} I := \int_{0}^{\frac{\pi}{6}} \left( \frac{i\pi}{2} + \log(1 - e^{2i\theta}) \right)^{3} \, \mathrm{d}\theta. \tag{3} \end{equation*}
Once we evaluate the imaginary part of $I$, the identity $\text{(2)}$ immediately gives us the answer. We first make the substitution $z = 1 - e^{2i\theta}$ and $\omega = e^{-i\pi/3}$ to obtain
$$ I = \int_{0}^{\omega} \left( \frac{i\pi}{2} + \log z \right)^{3} \frac{\mathrm{d}z}{2i(z-1)}. $$
Here, the path of integration is a circular arc joining from $0$ to $\omega$ centered at $1$.
But since the integrand is analytic for $0 < \Re z < 1$, we may change the path of integration as $z = \omega t$ for $0 \leq t \leq 1$. This gives
$$ I = \frac{1}{2i} \int_{0}^{1} \left( \frac{i\pi}{6} + \log t \right)^{3} \frac{\omega \, \mathrm{d}t}{\omega t - 1}. $$
Plugging $t = e^{-x}$, $I$ reduces to
\begin{align*} I &= \frac{1}{2} \int_{0}^{\infty} \left( \frac{\pi}{6} + ix \right)^{3} \frac{\omega e^{-x}}{1 - \omega e^{-x}} \, \mathrm{d}x = \frac{1}{2} \sum_{n=1}^{\infty} \omega^{n} \int_{0}^{\infty} \left( \frac{\pi}{6} + ix \right)^{3} e^{-nx} \, \mathrm{d}x \\ &= \frac{1}{2} \sum_{n=1}^{\infty} \omega^{n} \left( -\frac{6 i}{n^4}-\frac{\pi }{n^3}+\frac{i \pi ^2}{12 n^2}+\frac{\pi ^3}{216 n} \right). \end{align*}
Taking the imaginary part,
\begin{equation*} \begin{split} \Im I &= -3 \sum_{n=1}^{\infty} \frac{\cos (n\pi/3)}{n^4} + \frac{\pi}{2} \sum_{n=1}^{\infty} \frac{\sin (n\pi/3)}{n^3} \\ & \qquad + \frac{\pi^2}{24} \sum_{n=1}^{\infty} \frac{\cos (n\pi/3)}{n^2} - \frac{\pi^3}{432} \sum_{n=1}^{\infty} \frac{\sin (n\pi/3)}{n}. \end{split} \tag{4} \end{equation*}
3. Evaluation of a series[각주:2]
Note that for $0 < \theta < \pi$, we have
$$ \sum_{n=1}^{\infty} \frac{\sin n\theta}{n} = \Im \sum_{n=1}^{\infty} \frac{e^{i\theta}}{n} = - \Im \log(1 - e^{i\theta}) = \frac{\pi-\theta}{2}. $$
Integrating both sides, we obtain
$$ \sum_{n=1}^{\infty} \frac{1-\cos n\theta}{n^{2}} = \frac{\theta (2 \pi -\theta )}{4} \quad \Longrightarrow \quad \sum_{n=1}^{\infty} \frac{\cos n\theta}{n^{2}} = \frac{\theta ^2}{4}-\frac{\pi \theta }{2}+\frac{\pi ^2}{6}.$$
Repeating this procedure, we obtain
$$ \sum_{n=1}^{\infty} \frac{\sin n\theta}{n^{3}} = \frac{\theta ^3}{12}-\frac{\pi \theta ^2}{4}+\frac{\pi ^2 \theta }{6}$$
and
$$ \sum_{n=1}^{\infty} \frac{\cos n\theta}{n^{4}} = -\frac{\theta ^4}{48}+\frac{\pi \theta ^3}{12}-\frac{\pi ^2 \theta ^2}{12}+\frac{\pi^4}{90}.$$
Plugging $\theta = \frac{\pi}{3}$, we have
\begin{align*} \sum_{n=1}^{\infty} \frac{\sin (n \pi / 3)}{n^{2}} &= \frac{\pi}{3} \\ \sum_{n=1}^{\infty} \frac{\cos (n \pi / 3)}{n^{2}} &= \frac{\pi^3}{36} \\ \sum_{n=1}^{\infty} \frac{\sin (n \pi / 3)}{n^{3}} &= \frac{5 \pi^3}{162} \\ \sum_{n=1}^{\infty} \frac{\cos (n \pi / 3)}{n^{4}} &= \frac{91 \pi ^4}{19440} \end{align*}
Plugging these to $\text{(4)}$, we have
$$ \Im I = \frac{23 \pi^4}{12960} \quad \Longrightarrow \quad S = \frac{17 \pi^4}{3240} = \frac{17}{36}\zeta(4) $$
as desired.
각주
- Integral, Proof of ... - Math StackExchange [본문으로]
- This is closely related to the Bernoulli polymomials. See here for its connection. [본문으로]
- Total
- Today
- Yesterday
- Euler integral
- 편미방
- 감마함수
- 해석학
- 계산
- Gamma Function
- 수학
- Beta function
- 노트
- binomial coefficient
- 유머
- 적분
- 제타함수
- 이항계수
- Fourier Transform
- infinite summation
- 린
- 대수기하
- 렌
- 보컬로이드
- Zeta function
- Coxeter
- 오일러 상수
- 미쿠
- Integral
- 푸리에 변환
- 루카
- 오일러 적분
- Euler constant
- 무한급수
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |