求证圆环域D:1<|z|<2内无满足F’(z)=1/z的解析函数及证明疑问

首先直接回答你的两个问题：

• 必须先假设F存在：这是反证法的核心逻辑——如果要证明某个对象不存在，最常用的方法就是先假设它存在，再推导出自相矛盾的结论，从而推翻初始假设。
• 不需要专门证明非负实数z时F(z)=log z +c：虽然沿着D内的实轴（比如(1,2)区间）积分( \frac{1}{z} )确实能得到( \log z +c )的形式，但这不是证明的必要步骤，核心矛盾来自环路积分的结果冲突。

接下来是完整的证明过程：

假设在圆环域 ( D: 1 < |z| < 2 ) 内存在解析函数 ( F(z) )，使得对所有 ( z \in D ) 都有 ( F'(z) = \frac{1}{z} )。

取D内的一条闭曲线 ( C: |z| = 1.5 )（显然这条曲线完全落在D内部，因为( 1<1.5<2 )）。根据解析函数原函数的性质：如果函数 ( f(z) ) 在区域内有原函数 ( F(z) )，那么 ( f(z) ) 沿该区域内任意闭曲线的积分等于0——因为积分结果等于 ( F(z) ) 绕闭曲线一周后的增量，而解析函数是单值的，绕闭曲线回到起点时函数值不变，所以增量为0。

但另一方面，我们计算 ( \frac{1}{z} ) 沿C的积分：
[
\oint_C \frac{1}{z} dz = 2\pi i
]
这是复变函数中基础的环路积分结果（可通过参数化 ( z = 1.5e^{i\theta} )，( \theta ) 从0到2π代入积分计算得出）。

此时矛盾出现：根据原函数的性质，这个积分应该等于0，但实际计算结果是 ( 2\pi i \neq 0 )。这说明我们最开始“存在这样的解析函数F(z)”的假设是错误的。

总结一下：圆环域D是多连通域，而 ( \frac{1}{z} ) 在D内的环路积分不为0，这意味着它在D内不存在单值的解析原函数——只有在单连通域内，满足环路积分为0的函数才存在原函数。

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