Matlab计算复变函数f(z)=Re(z^2)/|z|^2在z→0处的极限结果偏差

偏差产生的核心原因 #

Matlab的符号极限求解器对单复变量的趋近路径校验存在固有局限，它在处理声明为complex类型的自变量时，并未遵循复变函数极限任意趋近路径下取值一致的严格判定规则，而是默认将自变量的趋近过程简化为沿实轴方向的一维趋近求解。
对应计算场景下的Matlab代码为：

syms z complex
f = real(z^2)/abs(z)^2
limit(f,z,0)

求解器实际默认取z沿实轴趋近0的场景：此时z为纯实数，z²的实部等于z²本身，和|z|²完全相等，因此计算出的极限结果自然为1，和实际沿其他路径趋近的取值没有做交叉校验。

理论层面的结论校验 #

按照复变函数极限的严格定义，这个函数在z→0时不存在极限：

取不同趋近路径验证：

• 沿实轴趋近（z=x，x→0）：代入计算得f = x²/x² = 1
• 沿虚轴趋近（z=iy，y→0）：z² = -y²，实部为-y²，代入得f = -y²/y² = -1
  两条路径下的极限取值不相等，因此z趋近于0时函数整体不存在极限。

实操层面的注意事项 #

• 直接对纯复数声明变量调用limit得到的结果，未覆盖复平面的全路径趋近场景，不能直接等价为严格定义下的复变函数极限。
• 如需用Matlab符号计算求解复平面内的极限，需要先将复变量拆解为独立的实部、虚部实符号，再验证所有可能趋近路径下的函数收敛性，才能匹配严格的数学定义要求。

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