4

一つの式を3通りに変形する

83
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{Z}[0]{\mathbb{Z}} $$
$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}$

を別の形で表すことについて考えてみます。(これは有限の値になります。)

展開する

まず、この積を展開することを考えると、$x^{2nm}$次の項の係数は互いに異なる$\cfrac{1}{k^{2n}}$$m$個とってきたときの積の総和となるので、$\zeta([2n]^m)$となることがわかる。よって、
$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}=\sum_{k=0}^\infty \zeta([2n]^k)x^{2kn}$がわかる。

 

$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}=\sum_{k=0}^\infty \zeta([2n]^k)x^{2kn}$

sinの積で表す

とりぼなっちさんの こちらの記事 を参考にさせていただくと、
$\displaystyle \prod_{k=1}^\infty 1-\frac{x^{2n}}{k^{2n}}=\prod_{k=1}^{n} \frac{\sin(e^{\pi i k/n}\pi x)}{e^{\pi i k/n}\pi x}$
そして、$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}=\prod_{k=1}^\infty \left(1-\frac{x^{4n}}{k^{4n}}\right)÷\left(1-\frac{x^{2n}}{k^{2n}}\right)$
と表せるのでこの式を使うことができる。
$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}$
$\displaystyle =\prod_{k=1}^\infty \left(1-\frac{x^{4n}}{k^{4n}}\right)÷\left(1-\frac{x^{2n}}{k^{2n}}\right)$
$\displaystyle =\prod_{k=1}^{2n} \frac{\sin(e^{\pi i k/2n}\pi x)}{e^{\pi i k/2n}\pi x}÷\prod_{k=1}^{n} \frac{\sin(e^{\pi i k/n}\pi x)}{e^{\pi i k/n}\pi x}$
$\displaystyle =\prod_{k=1}^{n} \frac{\sin(e^{\pi i (2k-1)/2n}\pi x)}{e^{\pi i (2k-1)/2n}\pi x}$
$\displaystyle =\frac{1}{e^{\pi i n/2}\pi^n x^n}\prod_{k=1}^{n} \sin(e^{\pi i (2k-1)/2n}\pi x)$
$\displaystyle =\frac{1}{i^n\pi^n x^n}\prod_{k=1}^{n} \sin(e^{\pi i (2k-1)/2n}\pi x)$

 

$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}=\frac{1}{i^n\pi^n x^n}\prod_{k=1}^{n} \sin(e^{\pi i (2k-1)/2n}\pi x)$

対数を取る

$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}$
$\displaystyle =\exp\left(\ln\left(\prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}\right)\right)$
$\displaystyle =\exp\left(\sum_{k=1}^\infty \ln\left(1+\frac{x^{2n}}{k^{2n}}\right)\right)$
$\ln(1+x)$$\displaystyle \sum_{k=1}^\infty \frac{(-1)^{k+1}x^k}{k}$と表すことができるので(マクローリン展開より)
$\displaystyle =\exp\left(\sum_{k=1}^\infty \sum_{s=1}^\infty \frac{(-1)^{s+1}\left(\frac{x^{2n}}{k^{2n}}\right)^s}{s}\right)$
$\displaystyle =\exp\left(\sum_{k=1}^\infty \sum_{s=1}^\infty \frac{(-1)^{s+1}}{k^{2sn}s}x^{2sn}\right)$
$\displaystyle =\exp\left(\sum_{s=1}^\infty \sum_{k=1}^\infty \frac{(-1)^{s+1}}{k^{2sn}s}x^{2sn}\right)$
$\displaystyle =\exp\left(\sum_{s=1}^\infty \frac{(-1)^{s+1}}{s} \sum_{k=1}^\infty \frac{1}{k^{2sn}}x^{2sn}\right)$
$\displaystyle =\exp\left(\sum_{s=1}^\infty \frac{(-1)^{s+1}\zeta(2sn)}{s}x^{2sn}\right)$

ここで、$\log(1+x)$のマクローリン展開を使いましたが、これは$|x|<1$の時しか収束しません。

 

$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}=\exp\left(\sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2kn)}{k}x^{2kn}\right)$

式を見比べて

$\displaystyle \frac{1}{i^n\pi^n x^n}\prod_{k=1}^{n} \sin(e^{\pi i (2k-1)/2n}\pi x)=\exp\left(\sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2kn)}{k}x^{2kn}\right)$
両辺対数を取ると、
$\displaystyle -n\ln(i\pi x)+\sum_{k=1}^{n} \ln(\sin(e^{\pi i (2k-1)/2n}\pi x))=\sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2kn)}{k}x^{2kn}$
$\displaystyle \sin(x)=\frac{i}{2}(e^{-ix}-e^{ix})$を使う。
$e^{\pi i (2k-1)/2n}\pi x$$\alpha_k$と置くと、

$\displaystyle -n\ln(2\pi x)+\sum_{k=1}^{n} \ln(e^{-i\alpha_k}-e^{i\alpha_k})=\sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2kn)}{k}x^{2kn}$
となる。

得られた式

$\displaystyle \prod_{k=1}^\infty 1+\frac{x^{2n}}{k^{2n}}\\ \displaystyle =\sum_{k=0}^\infty \zeta([2n]^k)x^{2kn}\\ \displaystyle =\frac{1}{i^n\pi^n x^n}\prod_{k=1}^{n} \sin(e^{\pi i (2k-1)/2n}\pi x)\\ \displaystyle =\exp\left(\sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2kn)}{k}x^{2kn}\right) $

 

$\displaystyle \sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2kn)}{k}x^{2kn}=\sum_{k=1}^{n} \ln\left(\frac{e^{-i\alpha_k}-e^{i\alpha_k}}{2\pi x}\right)$
ただし、$e^{\pi i (2k-1)/2n}\pi x$$\alpha_k$とおいた

$n=1$とすると

$\displaystyle \sum_{k=1}^\infty \frac{(-1)^{k+1}\zeta(2k)}{k}x^{2k} =\ln\left(\frac{e^{\pi x}-e^{-\pi x}}{2\pi x}\right) $

最後に

今回は広く浅く、という感じになってしまいましたが、$4$つの全く違いそうな式が同じ、というのは面白いですね!
 最後の$n=1$とした式はきれいですね!(普通に計算しても簡単に求められますが、、、)
 最後まで読んでいただきありがとうございます!

投稿日:20201110
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

kozy
kozy
131
6555
級数をいじったりしてます

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 展開する
  2. sinの積で表す
  3. 対数を取る
  4. 式を見比べて
  5. 得られた式
  6. 最後に