5
現代数学解説
文献あり

Jacobiの平方和定理による指数関数を含む級数の近似

174
1
概要

先日の記事双曲線関数の級数についての予想【解決済】では、
f(x)=n=11enπx+enπx
という関数について、
f(x)x14
という近似が成り立つことを予想し、御二方のコメントにより、これは
f(x)x14+xeπx
と近似できることから証明できるということがわかりました。

さらに、 Wataruさんの記事q超幾何級数によるJacobiの二平方和定理, 四平方和定理の証明q超幾何級数によるJacobiの六平方和定理, 八平方和定理の証明を拝見し、
n=1en2πxx
という近似を思いつき、これと二平方和定理~八平方和定理を用いることで様々な級数の近似を作れることに気づきました。今回は、これについての記事です。

指数関数を含む級数の近似
補題

n=1en2πxx

証明は、前回の記事で御二方が用いられていた「ポアソン和公式」や「オイラー・マクローリンの和公式」を用いてほとんど同様に行えます。今回は、初学者の私でも扱いやすいポアソン和公式を用いた方法(ガウス積分を使うと楽に導出できる)を用いて証明しようと思います。

g(x)のフーリエ変換をg^(y)とすると、ポアソン和公式
n=g(n)=n=g^(n)
が成り立つ。
f(k)=n=1en2πk=n=g(n)
とすると、ガウス積分と置換積分を用いて、
g^(y)=e2πixyx2πkdx=eπk(x2+2kiyx)dx=eπk(x+kiy)2kπy2dx
=ekπy2eπkt2dt=kekπy2
より、
n=g(n)=n=g^(n)
f(x)=n=xexπn2=xf(1x)
ここで、
xf(1x)=x+2n=11en2πxx
より、f(x)xが成り立つ。

次に、Jacobiの二平方和定理~八平方和定理は以下の等式です。証明はq-超幾何級数の種々の和公式からできるそうですが、初学者には特に後半が難解だったので、詳しくは前述したWataruさんの記事を御覧ください。

Jacobiの二平方和定理

(n=qn2)2=1+4n=1qn1+q2n
Jacobiの四平方和定理

(n=qn2)4=1+8n=1nqn1+(q)n
Jacobiの六平方和定理

(n=qn2)6=1+16n=1n2qn1+q2n4n=0(1)n(1+2n)2q1+2n1q1+2n
Jacobiの八平方和定理

(n=qn2)8=1+16n=1n3qn1(q)n

ここで、q=eπxと置くことで、前回の近似を含め、様々な指数関数の級数の近似を得ることができます。

左辺について、m=1,2,3,4とすると、補題より、
(n=qn2)2m=(n=1en2πx)2m(x)2m=xm
となり、以下の近似が得られます。

Jacobiの平方和定理から導かれる級数の近似

f1(x)=n=11enπx+enπxx14
f2(x)=n=1nenπx+(1)nx218
f4(x)=n=1n3enπx(1)nx4116


f2(3)=1.000726472...1
f2(9)=10.0000000000426...10
f4(3)=5.00654035...5
予想

得られた式をヒントに、様々な級数を計算してみたところ、以下のような近似式の予想を見つけました。(なお無秩序に計算したので規則性が蔑ろにされている可能性が否めません。)

予想

n=1nenπx+(1)nx218()
n=1n3enπx(1)nx4116()
n=1n5enπx+(1)nx618=3x6124
n=1n7enπx(1)n17x8132
n=1n9enπx+(1)n21x1018=105x10140

n=11enπx+enπxx14()
n=1n2enπx+enπxx316
n=1n4enπx+enπx5x516=20x564
n=1n6enπx+enπx61x7256
n=1n8enπx+enπx1385x91024

n=1n3enπxenπxx416
n=1n5enπxenπxx68=3x624
n=1n7enπxenπx17x832
n=1n9enπxenπx21x108=105x1040

これを見る限りでは、
n=1n2m1enπx+(1)n+m1amx2m14×2m(mN,am)
n=1n2m1enπxenπx=12n=1n2m1sinh(nπx)amx2m4×2m(mN,m1,am)
n=1n2menπx+enπx=12n=1n2mcosh(nπx)bmx2m+142m(mN,m1,bm)
のように、分母には規則性が見られるような気もしますが、分子に出てくる数am,bmはOEISに打ち込んでもそれっぽい数列は見つからず、よくわかりません。また、上二つはxの係数が一致していますが、下の級数と係数が一致する級数は今のところ見つけられていません。sinhcoshのテイラー展開の指数と対応(右辺では逆に対応)しているのは綺麗ですね。

一方で二平方和定理~八平方和定理から導出できる方は、
n=1nmg(n)xm+114(m+1)(m=1,2,4,g(n)enπx)
のような規則性が見られ、分子に余計な数字がつかない分すっきりしています。

後書き

まだよくわかっていないことだらけですが、他の形の級数の計算や、二平方和定理~八平方和定理との関連を含め、もうしばらく遊んでみたいと思います。
グラフは係数がよくわかっていないので平方和定理から導出できるものしか用意しませんでしたが、値(特にほとんど整数)だけ見てみたいという方はDesmosを用意しましたので御覧ください。axに対応しているので、amを適当にいじるとキリのいい数字(ほとんど整数)が出てきます。
Desmos(値の計算)
Desmos(グラフ)

参考文献

投稿日:17日前
更新日:17日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

suda
suda
20
791
・アイコンは推し・初学者・受験数学の知識の欠如・数学に関するWikipediaの記事を執筆※精神状態により記事の更新が滞る場合があるのでご了承ください...

コメント

他の人のコメント

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