二重ゼータ値,二重ゼータスター値を以下で定義します。
正整数kと2以上の整数lに対してζ(k,l):=∑0<n<m1nkmlζ⋆(k,l):=∑0<n≤m1nkml
このとき重み付き和公式と呼ばれる以下の等式の級数証明を思い付いたので、書きます。(恐らくは有名な証明でしょう)
∑l=1k−12lζ(k−l,l+1)=k+22ζ(k+1)
以下の二重ゼータ値の和公式(証明)は認めるものとします。
∑l=1k−1ζ(k−l,l+1)=ζ(k+1)
では証明です。以下の等式変形を考えます。2∑0<n<m1n−x(1m−x−1m−2x)=2∑0<n,m1n−x(1n+m−x−1n+m−2x)=∑0<n,m(1n−x+1m−x)(1n+m−x−1n+m−2x)=∑0<n<m−x(n−x)(m−x)(n+m−x)=∑0<n,m(1n−1n−x)(1m−x−1n+m−x)=∑0<m≤n(1n−1n−x)1m−x最後の変形は、mについて望遠鏡和を使っています。さて、ここまで変形できたらあとはxの冪級数の係数を比較するだけです!最左辺は2∑0<n<m1n−x(1m−x−1m−2x)=2∑0<k,l∑0<n<mxk−1nk(1−2l−1)xl−1ml=2∑0<k,lxk+l−1(1−2l)ζ(k,l+1)=2∑1<kxk−1∑l=1k−1(1−2l)ζ(k−l,l+1)=∑1<k(2ζ(k+1)−2∑l=1k−12lζ(k−l,l+1))xk−1最右辺は∑0<m≤n1m−x(1n−1n−x)=∑0<k,l∑0<m≤nxk−1mk−xlnl+1=−∑0<k,lxk+l−1ζ(k,l+1)=−∑1<kxk−1∑l=1k−1ζ⋆(k−l,l+1)=−∑1<kxk−1∑l=1k−1(ζ(k+1)+ζ(k−l,l+1))=−∑1<kkζ(k+1)xk−1ですから、xk−1の係数を比較して−kζ(k+1)=2ζ(k+1)−2∑l=1k−12lζ(k−l,l+1)∑l=1k−12lζ(k−l,l+1)=k+22ζ(k+1)
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。