更新楼上,改了一个图片还有一点内容
我记得我大一的时候都默认zeta函数是实值函数....... 因为虽然当时显然知道复数,但是除了同济下册的Euler公式以外其他一般都不考虑复数的,之前考虑到为什么如果s是复数,Re s
=1仍然是一个pole?或者只有当Re s>1才收敛 这是因为
n^s = exp(s ln n)
=exp((x+iy ) lnn)
= exp (xlnn) exp (iy lnn) (*)
注意到
|exp (iy lnn)|=1
这是因为Euler公式以及三角函数公式,这显然非常平凡,所以对(*)取模即可得到结果. 口
回忆之前有这样一个题
全纯函数f在C上满足实部有界,证明f是常数.
Proof.不妨Re f=v Im f=u
exp f(z)=exp(v+ui) (v,u \in R)
=exp(v)exp(ui)
=exp(v) (cosu+isinu)
取模,因为实部有界, 可以直接立即推出
|exp(v)|<∞,自然|exp f(z)|<∞,所以|f(z)|有界,由刘维尔定理,推出是一个常函数.关于刘维尔定理,利用Cauchy不等式,
f’=0
上面的成立因为
f’≦M/R.
取极限即可. 口
事实上上面的证明不必要这样详细.

