关于证明f(z)=|z|非解析函数的技术问询及概念困惑

没问题，我先帮你把解析函数的核心概念掰明白，再一步步证明f(z)=|z|不是解析函数～

先把两个容易混淆的核心概念区分开：

• 复可导：复变函数f(z)在某点z₀可导，是指极限lim(Δz→0) [f(z₀+Δz)-f(z₀)]/Δz存在（注意：这里Δz是从复平面的任意方向趋近于0，不像实变函数只有左右两个方向）。
• 解析（全纯）函数：如果f(z)在点z₀的某个邻域内的每一点都复可导，那我们说f(z)在z₀处解析。如果在整个复平面上都解析，就是整函数。

简单说：解析是「局部处处可导」，比单点可导的要求严格得多。

判断复可导最常用的工具是柯西-黎曼（C-R）方程：
把f(z)拆成实部和虚部：f(z)=u(x,y)+iv(x,y)（其中z=x+iy，u、v都是二元实函数），那么f(z)在点(x,y)处复可导的必要条件是：

1. ∂u/∂x = ∂v/∂y
2. ∂u/∂y = -∂v/∂x
   如果u和v的偏导数还连续，那这两个条件也是充分条件。

我们先把f(z)=|z|拆成实部和虚部：
因为|z|=√(x²+y²)，所以：

• 实部u(x,y)=√(x²+y²)
• 虚部v(x,y)=0（整个函数是实函数，虚部恒为0）

步骤1：计算偏导数（非原点区域） #

先看除原点(0,0)外的所有点：

• ∂u/∂x = x/√(x²+y²)
• ∂u/∂y = y/√(x²+y²)
• ∂v/∂x = 0，∂v/∂y = 0（因为v恒为0）

步骤2：代入柯西-黎曼方程验证 #

把偏导数代入C-R方程：

1. 第一个方程要求∂u/∂x = ∂v/∂y → x/√(x²+y²)=0，只有x=0时成立
2. 第二个方程要求∂u/∂y = -∂v/∂x → y/√(x²+y²)=0，只有y=0时成立

也就是说，只有在原点(0,0)处，两个C-R方程才同时满足。但解析函数要求的是某个邻域内所有点都可导，原点的任何一个小邻域里，都存在无数个非原点的点（比如(1,0)、(0,1)）不满足C-R方程，这些点都不可导，所以f(z)=|z|在原点处也不解析。

步骤3：补充验证原点处的可导性 #

用导数定义直接计算原点处的导数：
lim(Δz→0) [f(0+Δz)-f(0)]/Δz = lim(Δz→0) |Δz|/Δz

• 当Δz沿实轴正方向趋近时，Δz=Δx>0，极限是lim(Δx→0+) Δx/Δx=1
• 当Δz沿实轴负方向趋近时，Δz=Δx<0，极限是lim(Δx→0-) (-Δx)/Δx=-1

两个方向的极限不相等，说明原点处的导数也不存在。

综上，f(z)=|z|在复平面上的任何点都不解析，自然不是解析函数。

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