2

いじってたら出てきた式

250
2
$$$$

注意

この記事には多少、いや大いに厳密さを欠いている部分があります(収束性?ナニソレ)。あと、どうやらその系統の括りがあるらしいです。

出てきた式

$$ \sum_{i=-∞}^{∞}(-1)^i q^{i^2}=\prod_{i=1}^{∞}\frac{1+q^i}{1+q^i} $$
左辺を見て気づく人もいると思いますが、この式はヤコビの3重積に由来するものです。ヤコビの三重積というのは
$$ \sum_{i=-∞}^{∞}z^i q^{i^2}=\prod_{i=1}^{∞}(1-q^{2i})(1+q^{2i-1}z)(1+q^{2i-1}z^{-1}) $$
という式です。ヤコビの三重積の説明については便利さんがしていたのでそちらを見てください。
便利さんの「ヤコビの三重積」
これによって
$$ \sum_{i=-∞}^{∞}(-1)^i q^{i^2}=\prod_{i=1}^{∞}(1-q^{2i})(1-q^{2i-1})(1-q^{2i-1}) $$
と別の表示をすることができます。正直ここまで来ればあとはフイッとできてしまいます。

とどめ

$$ \prod_{i=1}^{∞}(1-q^{2i})(1-q^{2i-1}) $$
の部分はiが正整数で動く時、2i、2i-1は正整数全てを動くので
$$ \prod_{i=1}^{∞}(1-q^{i}) $$
ともかくことができます。
ここでちょっと重要な変形を示しておきます。

ちょっと重要な奴

$$ \frac{1}{1-z}=\prod_{i=0}^{∞}(1+z^{2^i}) $$

この等式は ここ に書いてありました。もちろんこの等式は収束などに条件があるのですが、それはここでは置いておきます。
これを使うと、余った
$$ \prod_{i=1}^{∞}(1-q^{2i-1}) $$
の部分は
$$ \prod_{i=1}^{∞}(\frac{1}{1-q^{2i-1}})^{-1} $$とかけるので、
$$ (\prod_{i=1}^{∞}\prod_{j=0}^{∞}(1+q^{2^j(2i-1)}))^{-1} $$
と書けます。ここでiが正整数、jが非負整数を動くと、$$2^j(2i-1)$$は全ての正整数を動きます。つまり
$$ \prod_{i=1}^{∞}(1-q^{2i-1})=\prod_{i=1}^{∞}(\frac{1}{1-q^{2i-1}})^{-1}=(\prod_{i=1}^{∞}\prod_{j=0}^{∞}(1+q^{2^j(2i-1)}))^{-1}=\prod_{i=1}^{∞}\frac{1}{1+q^i} $$となります。
よって、さっきの式と合わせることで、
$$ \sum_{i=-∞}^{∞}(-1)^i q^{i^2}=\prod_{i=1}^{∞}\frac{1+q^i}{1+q^i} $$ が導けます。

ごあいさつ

これが初投稿になります。mathlogさんには一度でいいから何か投稿したいとずっと思っていました。間違いがあったら教えてほしいです。

投稿日:2023103
更新日:20231119

この記事を高評価した人

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

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

バッジはありません。

投稿者

数学が人並みに好きです。人並みです。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中