2

正規化によって得られた発散級数の関係式

213
0

目次

・準備
・はじめに
・内容
・おまけ
・最後に

はじめに

どうも、色数です。
今回は最近僕がEurekaした多重ゼータ関数の正規化によって得られる交代多重ゼータスター関数との関係式を紹介します。
関係式と言ってもweightは保たれていないのであまり面白くはないのかもしれません。

また今回の議論ではいくつかかなり怪しい操作をいくつか挟んでいるので(後ほどわかるが得られた結果は正しい)どうにか正当化できた方がいたら僕にこっそり教えてください。

準備

発散する準備をしてください。

ここではAbel正規化により得られた値sにはs(A)と書く。
同様にDirichlet正規化により得られた値zにはz(D)と書く。

内容

Dirichlet正規化

n=1n2=0(D)

n=1n2=lims0(n=1n2ns)=ζ(2)=0

イータ関数の特殊値

n=1(1)n1n=14(A)

n=1(1)n1n=limx1(n=0(1)n(n+1)xn)=limx1(1(1+x)2)=14

僕が最初に思いついた方法は次のようなものです。
やり方はエレファントですが途中の積分表示は関係式を示すのに使えます。

01x1+(xt)dtを考える
01x1+(xt)dt=n=0(1)nxn+1n+1
d2dx2n=0(1)nxn+1n+1=n=0n(1)nxn
d2dx201x1+(xt)dt=012t(1+xt)3dt
x=1とすればn=1n(1)n+1=14を得る

以上を用いて今回得たのは下のような関係式です。

6ζ(1,1)=ζ(1,1)+2ζ(1,0)

関係式の証明

ζ(1)2を考える
調和積とDirichlet正規化より
ζ(1)2=(n=1(1)nn)2=n=1n2+20<n1<n2(1)n1+n2n1n2=ζ(2)+2ζ(1,1)=2ζ(1,1)
012t(1+t)3dt=η(1)だった
シャッフル積より
(012t(1+t)3dt)2=80<t1<t2<1t1t2(1+t1)3(1+t2)3dt1dt2=16n=0(1)n(n+1)(n+2)(n+3)=13n=1(1)nn(n+1)(n+2)=13n=1(1)n(k=1nk)(n+2)=130<n1n2(1)n2n1n2230<n1n2(1)n2n1=13ζ(1,1)23ζ(1,0)
よって、示せた

実際にこの関係式が成り立っていることがAbel正規化により確認できます。(wolfより)

また本筋とは少しずれますが次のような面白い定理が示されているようです。

松本の問題

多重ゼータ関数の関係式は正の整数点においてのみ成り立つ

おまけ

発散級数を用いることで級数の関係式を示すことができたりも示せます。
ここでは最近僕が見つけたものを紹介します。

1(m+1)2=n=11nn!m!(n+m+1)!

これはコネクターの特殊な場合となっていますね。

(01dt1t)(01(1t)mdt)=1m+1n=11n(1)=01(1t2)mdt20t2dt11t1+01dt21t20t2(1t2)mdt2=n=11nn!m!(n+m+1)!+1m+1n=11n1(m+1)2(2)
(1)=(2)より得る

ちなみにこれらの発想自体はζ(3)=ζ(1,2)の別証明から得ました。

最後に

この結果、結構面白くないですか?
計算してみると類似の関係式がその他のゼータにおいても成り立っているようです。
予想なのですが任意の交代多重ゼータ関数は交代多重ゼータスター関数の線形結合で表せるんじゃないかと思っています。…多分
やっぱり正規化した世界は面白いですね。

投稿日:2024521
更新日:2024521
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

色数
色数
188
43148

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 目次
  2. はじめに
  3. 準備
  4. 内容
  5. おまけ
  6. 最後に