求整函数的圆周积分:计算∫₀²πf(re^(iθ))dθ(r>0)
嘿,我来帮你理清这个问题的思路~你提到了柯西不等式,但其实我们可以从整函数的泰勒展开入手,直接计算这个积分:
首先,因为 ( f(z) ) 是整函数(整个复平面解析),它在原点处的泰勒级数在任何有限半径的圆盘内都是一致收敛的,泰勒展开式是:
[ f(z) = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} z^n ]
接下来把 ( z = re^{iθ} ) 代入这个级数,然后对 ( θ ) 从0到2π积分。由于级数一致收敛,我们可以放心地交换求和和积分的顺序:
[ \int_0^{2π} f(re^{iθ}) dθ = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} r^n \int_0^{2π} e^{inθ} dθ ]
现在看每一项的积分 ( \int_0^{2π} e^{inθ} dθ ):
- 当 ( n=0 ) 时,积分就是 ( \int_0^{2π} 1 dθ = 2π )
- 当 ( n≠0 ) 时,积分结果是 ( \left. \frac{e^{inθ}}{in} \right|_0^{2π} = \frac{e^{i2πn} - 1}{in} = 0 )(因为 ( e^{i2πn}=1 ),分子为0)
这样一来,所有 ( n≥1 ) 的项都消失了,只剩下 ( n=0 ) 的那一项:
[ \int_0^{2π} f(re^{iθ}) dθ = \frac{f(0)}{0!} \cdot r^0 \cdot 2π = 2π f(0) ]
至于你提到的柯西不等式 ( |f^{(n)}(0)| ≤ \frac{n!}{2πr^n} \int_0^{2π} |f(re^{iθ})| dθ ),它其实是用来估计导数模长的工具,和这个积分的直接计算方向不同,但从我们得到的结果也能反过来验证:当n=0时,这个不等式就变成 ( |f(0)| ≤ \frac{1}{2π} \int_0^{2π} |f(re^{iθ})| dθ ),这就是解析函数的平均值不等式,和我们的积分结果是一致的。
简单说,不管r>0取什么值,这个积分的结果都是 ( 2π f(0) )。
内容的提问来源于stack exchange,提问作者user476275

