4

双曲線関数の級数についての予想【解決済】

243
2
概要

黄金数で遊んでいた(φ=eπi5+eπi5なので...)とき、双曲線関数の級数について、次の予想を見つけました。

予想

次の関数
f(x)=n=11enπx+enπx=12n=01coshnπx
について、
f(x)x14
が成り立つ。

とくに、x=4k+1(kN)のとき、ほとんど整数(almost integer)が得られることがわかります。



f(5)=1.00000075...
f(21)=4.999999999999999999999999937...
f(41)=9.99999999999949...
f(101)=24.9371...
(WolframAlphaによる値)

limn=x14のような挙動をせず、x=20付近で精度が最大になっているようですが、部分和を計算してみると少し疑わしいような気もします。部分和k=1n1ekπx+ekπxについて、WolframAlphaで計算した結果が以下の表です。

x\nn=100n=10000n→∞
x=51+7.5×1071+7.5×1071+7.5×107
x=2158.0×1065+4.7×102856.3×1026
x=41105.9×10310106.1×1013
x=10123.58992524.9371

部分和の負荷が大きいのか、それともWolframAlphaの無限和がおかしいのかは分かりませんが、xが小さい場合を除き部分和の極限と級数の挙動に差が出てしまっています。部分和だけを見ればnのときx14に収束するように見え、またxのときもx14に収束するように見えます。(WolframAlphaの級数ってどういう仕組みで軽量に計算しているんでしょうか)
一方で、xが小さい時は収束が速く、f(5)1くらいの予想なら確実に成り立ちそうです。

変形を試みる

ポリガンマ関数(ここではディガンマ関数)のq-類似であるq-ポリガンマ関数を用いると、次のように変形することができます。

f(x)=i2πx(ψeπx(0)(ix2)ψeπx(0)(ix2))12

ψq(0)(x)=log(1q)+logqn=0qn+x1qn+x
を用いる。
i2πx(ψeπx(0)(ix2)ψeπx(0)(ix2))12
=xi2π((log11eπx)+πxn=0enπxeix21enπxeix2(log11eπx)πxn=0enπxeix21enπxeix2)12
=i2(n=0(ienπx1+ienπxienπx1ienπx))12
=12n=0(enπx1+ienπx+enπx1ienπx)12
=12enπxn=021+e2nπx12
=n=0enπx1+e2nπx12
=n=01enπx+enπx12
=n=11enπx+enπx=f(x)

しかし、WolframAlphaで計算すると、この変形は正しいという一方で、微妙に値がズレていたり(正確にx+12だけ大きくなる)xが大きくなればなるほど近似精度が上がっていったり(前述のlimxf(x)=x14が成り立ってしまう)としていたので、どこかに間違いがある可能性も否めません。

f(x)\xx=5x=21x=41x=101
双曲線関数の級数1+7.5×10756.3×1026106.1×101324.9371...
q-ポリガンマ関数3.5+7.5×10715.5+4.7×103030.5+4.7×1056計算不可

うーん。

証明を試みる(解決済)

正確には双曲線正割関数sechの級数であり、例えばn倍角の性質を使おうにも、あらゆる式が分母に来てしまうのが非常に厄介です。
また、ほとんど整数といえばゲルフォント定数の近似eππ+20が有名で、式中にも出てきますが、近似精度からみて今回の予想には関わらなさそうです。
有効な方法、緒を見つけたら追記しようと思います。(2/11編集)

有り難く、御二方から証明を示していただきました。コメント欄をぜひご覧ください。ポアソン和公式を用いる方法はとてもエレガントで、オイラー・マクローリンの和公式を用いる方法はさらに剰余項まで導出することができるようです。ありがとうございました!(2/13追記)

続き

Wataruさんの記事q超幾何級数によるJacobiの二平方和定理, 四平方和定理の証明q超幾何級数によるJacobiの六平方和定理, 八平方和定理の証明から、
n=1en2πxx
という近似を思いつき(ポアソン和公式やオイラー・マクローリンの和公式を用いて同様に証明できる)、これと二平方和定理~八平方和定理を用いることで様々な近似級数を作れることに気づきました。新しく記事を書こうと思います。(2/24追記)

続きの記事です。(2/26追記)
Jacobiの平方和定理による指数関数を含む級数の近似

投稿日:31日前
更新日:9日前
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

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