フルヴィッツのゼータ関数の収束を証明できたと思うのでメモ。 が、のとき絶対収束することを示す。 まず、複素数z,wに対して、はで定義される。これは (log|z|は実数値をとる)のarg(z)のとり方に依存するので、多価関数である。以下、とする。 w=a+bi (a,b…