ウォームアップ
アイゼンシュタイン級数にはz->z+1やz->-1/zなどの変数変換をしてもあまり変化しません。(これらの変換である種の対称性があります)。
アイゼンシュタイン級数の定義は以下の通りでした。ただし
(%i1) lsum(1/(m*z+n)^k, mn,Z^2);
zをz+1に置き換えるどうなるでしょうか。
(%i2) %,z:z+1,expand;
定義式(%o1)と比較するとm->m, n->n+mとなっています。この式でもm, n+mは(0,0)を除く全ての整数を走ります。つまり元の式と値は同じです。
次にz->-1/zとするとどうなるでしょうか。
(%i3) lsum(1/(m*z+n)^k, mn,Z^2);
(%i4) %,z:-1/z;
ちょっと見やすくするために整理関数radcan()を使います。
(%i5) radcan(%);
m->n, n->-mとなっています。この式でもn,-mは(0,0)を除く全ての整数の組を走ります。つまり元の式の値の