复值全纯函数积分疑问：由∫_X z²g(z)dx=0能否推得∫_X g(z)dx=0？

首先明确结论：答案是否定的，存在满足条件的全纯函数 ( g )，使得 ( \int_{X} g(z) \mathrm{d}x \neq 0 )，同时满足 ( f(z)=z^2g(z) ) 全纯且 ( \int_{X} f(z) \mathrm{d}x=0 )。

构造反例 #

我们具体构造如下：

• 选择区域 ( X )：取复平面上的开矩形区域 ( X = { z = x+iy \mid 0 < x < 1, -1 < y < 1 } )（x范围0到1，y范围-1到1）。
• 定义全纯函数 ( g(z) )：令 ( g(z) = i )（常数函数，显然在整个复平面全纯，自然在 ( X ) 上全纯）。
• 对应 ( f(z) )：由 ( f(z)=z^2g(z) )，得 ( f(z) = i z^2 )，这是多项式函数，在 ( X ) 上显然全纯。

验证积分条件 #

• 计算 ( \int_{X} f(z) \mathrm{d}x )：
  将 ( z = x+iy ) 代入 ( f(z) ) 展开：
  [
  f(z) = i(x+iy)^2 = i(x^2 - y^2 + 2ixy) = i(x^2 - y^2) - 2xy
  ]
  对 ( x ) 从0到1积分，再对 ( y ) 从-1到1积分：
  [
  \int_{X} f(z) \mathrm{d}x = \int_{-1}^{1} \left( \int_{0}^{1} \left[ i(x^2 - y^2) - 2xy \right] \mathrm{d}x \right) \mathrm{d}y
  ]
  拆分计算两部分：

  • 第一部分：( \int_{-1}^{1} i\left( \frac{1}{3} - y^2 \right) \mathrm{d}y = i \left[ \frac{y}{3} - \frac{y^3}{3} \right]_{-1}^{1} = i(0 - 0) = 0 )
  • 第二部分：( \int_{-1}^{1} (-y) \mathrm{d}y = -\left[ \frac{y^2}{2} \right]{-1}^{1} = 0 )
    因此 ( \int{X} f(z) \mathrm{d}x = 0 + 0 = 0 )，满足题设要求。

• 计算 ( \int_{X} g(z) \mathrm{d}x )：
  ( g(z)=i ) 是常数，直接积分得：
  [
  \int_{X} g(z) \mathrm{d}x = \int_{-1}^{1} \int_{0}^{1} i \mathrm{d}x \mathrm{d}y = i \times 1 \times 2 = 2i \neq 0
  ]

结论 #

这个例子完全符合题目的所有前提条件，但 ( \int_{X} g(z) \mathrm{d}x \neq 0 )，说明原命题不成立。

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