全纯函数的模与辐角是否为调和函数？

嘿，这个问题问到点子上了——既然全纯函数的实部和虚部都是调和函数，那自然会好奇它的模和辐角能不能“继承”这个性质。咱们分开拆解来说：

一、全纯函数的模：几乎都不是调和函数 #

先拿最基础的全纯函数举例子：f(z) = z，它的模是|z| = √(x²+y²)。咱们来算它的拉普拉斯算子：
Δ|z| = ∂²|z|/∂x² + ∂²|z|/∂y²
计算后会得到1/√(x²+y²)，只要z≠0，这个值就不等于0，完全不符合调和函数“拉普拉斯算子为0”的核心定义。

那有没有例外？只有当全纯函数是常数函数的时候，它的模是固定值，拉普拉斯算子自然为0，这时候才是调和函数。其他非平凡的全纯函数，模都不是调和函数。

二、全纯函数的辐角：在特定条件下是调和函数 #

辐角的情况要复杂一些，得分场景讨论：

• 当全纯函数f(z)在某个区域内没有零点，且区域是单连通域时：我们可以定义f(z)的单值辐角分支arg(f(z))。这时候，考虑全纯函数lnf(z) = ln|f(z)| + iarg(f(z))（因为f(z)≠0，单连通域内可以取对数的单值分支），它的虚部就是arg(f(z))。而全纯函数的虚部必然是调和函数，所以这时候辐角是调和的。
• 当f(z)有零点，或者区域是多连通域时：辐角会变成多值函数，甚至在零点处没有定义，在某些割线处不连续，这时候它无法作为一个单值的调和函数存在。比如f(z)=z，它的辐角arg(z)在原点无定义，在负实轴上不连续，只有在去掉原点和负实轴的平面上，它才是单值调和函数。
• 如果f(z)是常数全纯函数：辐角也是固定值，显然满足调和函数的条件。

总结 #

• 全纯函数的模：仅当函数为常数时是调和函数，否则不是；
• 全纯函数的辐角：在f(z)≠0的单连通区域内，取单值分支时是调和函数，其他情况不满足。

内容的提问来源于stack exchange，提问作者Mark Lee