Ahlfors《复分析》习题4.1.3.5：证明∫_γ \overline{f(z)}f’(z)dz为纯虚数

嘿，这个问题我刚好有两种常用的复分析思路可以解决，一种是利用全微分和闭曲线积分的性质，非常简洁；另一种是拆成实部虚部结合格林公式，适合夯实基础。咱们先从第一种方法说起：

方法一：利用全微分与共轭积分技巧 #

设 ( I = \int_\gamma \overline{f(z)}f'(z)dz )，我们的目标是证明 ( \text{Re}(I) = 0 )。

首先回忆复数实部的核心公式：对任意复数 ( a )，( \text{Re}(a) = \frac{a + \overline{a}}{2} )。所以只要能证明 ( I + \overline{I} = 0 )，那它的实部自然为0。

先计算 ( I ) 的共轭：因为积分是求和的极限，共轭运算和极限可交换，所以：
[
\overline{I} = \overline{\int_\gamma \overline{f(z)}f'(z)dz} = \int_\gamma \overline{\overline{f(z)}f'(z)} \cdot \overline{dz} = \int_\gamma f(z)\overline{f'(z)}d\overline{z}
]

接下来看一个关键的实值函数：( |f(z)|^2 = f(z)\overline{f(z)} )。对它求全微分（因为 ( f(z) ) 解析，所以 ( |f(z)|^2 ) 是连续可微的实函数）：
[
d(|f(z)|^2) = d\left(f(z)\overline{f(z)}\right) = f'(z)\overline{f(z)}dz + f(z)\overline{f'(z)}d\overline{z}
]
你会发现，右边的表达式正好是 ( \overline{f(z)}f'(z)dz + f(z)\overline{f'(z)}d\overline{z} )，也就是 ( I + \overline{I} ) 的被积项。

而对于闭曲线 ( \gamma )，实值函数的全微分绕闭曲线积分的结果是0——毕竟从起点出发绕一圈回到起点，函数的增量为0：
[
\int_\gamma d(|f(z)|^2) = |f(\gamma(1))|^2 - |f(\gamma(0))|^2 = 0
]
这里 ( \gamma(t) ) 是闭曲线的参数化，满足 ( \gamma(1) = \gamma(0) )。

所以 ( I + \overline{I} = 0 )，两边除以2就得到 ( \text{Re}(I) = 0 )，这就说明 ( I ) 是纯虚数。

方法二：拆分实部虚部结合格林公式 #

如果对全微分的技巧不太熟悉，咱们可以回归实分析的基础方法，拆分 ( f(z) ) 的实部和虚部来验证：

设 ( f(z) = u(x,y) + iv(x,y) )，其中 ( u,v ) 是实值函数。因为 ( f(z) ) 解析，所以满足柯西-黎曼方程：( u_x = v_y )，( u_y = -v_x )。

先计算 ( f'(z) = u_x + iv_x = v_y - iu_y )（用柯西-黎曼方程替换），以及 ( \overline{f(z)} = u - iv )，两者相乘：
[
\overline{f(z)}f'(z) = (u - iv)(v_y - iu_y) = (uv_y - vu_y) + i(-uu_y - vv_y)
]

结合柯西-黎曼方程，我们可以把实部的被积表达式转化为全微分：利用 ( u_x = v_y ) 和 ( u_y = -v_x )，把 ( uv_y ) 替换成 ( uu_x )，( -vu_y ) 替换成 ( vv_x )，那么实部被积项变为：
[
(uu_x + vv_x)dx + (uu_y + vv_y)dy = \frac{1}{2}d(u^2 + v^2) = \frac{1}{2}d(|f(z)|^2)
]

同样，绕闭曲线 ( \gamma ) 积分这个全微分，结果还是0：
[
\text{Re}(I) = \int_\gamma \frac{1}{2}d(|f(z)|^2) = 0
]

两种方法本质是相通的，都是利用了 ( |f(z)|^2 ) 的全微分性质，第一种更偏向复分析的共轭运算技巧，第二种则是回归实分析的基础逻辑，适合巩固对柯西-黎曼方程的理解。

内容的提问来源于stack exchange，提问作者Arnab Kayal