UA MATH524 复变函数6 Green定理与Green公式
Green定理
假设复变函数 f f f的定义域为 Ω \Omega Ω,定义域的边界为 Γ \Gamma Γ,其中 Γ \Gamma Γ可以写成不相交的封闭曲线的并集(如上图a), Γ = ⨆ j = 1 n γ j \Gamma=\bigsqcup_{j=1}^n \gamma_j Γ=⨆j=1nγj,且 Γ \Gamma Γ的方向为正(如果沿着 Γ \Gamma Γ的定向走的时候,定义域永远在我们的左手边(如上图b),就称 Γ \Gamma Γ的方向为正),则
∫ Γ f ( z ) d z = i ∬ Ω ( ∂ f ∂ x + i ∂ f ∂ y ) d x d y \int_{\Gamma} f(z)dz =i \iint_{\Omega} \left( \frac{\partial f}{\partial x}+i \frac{\partial f}{\partial y} \right)dxdy ∫Γf(z)dz=i∬Ω(∂x∂f+i∂y∂f)dxdy
这个公式可以理解为复变函数版本的Green公式,它也确实可以由实变函数积分的Green公式推导出来。
证明
假设 f ( z ) = u ( x , y ) + i v ( x , y ) f(z)=u(x,y)+iv(x,y) f(z)=u(x,y)+iv(x,y), z = x + i y z=x+iy z=x+iy,则
∫ Γ f ( z ) d z = ∫ Γ ( u d x − v d y ) + i ∫ Γ ( u d y + v d x ) \begin{aligned} \int_{\Gamma} f(z)dz = \int_{\Gamma } (udx - v dy) + i \int_{\Gamma} (udy+vdx)\end{aligned} ∫Γf(z)dz=∫Γ(udx−vdy)+i∫Γ(udy+vdx)
根据实变函数积分的Green公式,
∫ Γ ( u d x − v d y ) = − ∬ Ω ( ∂ v ∂ x + ∂ u ∂ y ) d x d y ∫ Γ ( u d y + v d x ) = ∬ Ω ( ∂ u ∂ x + ∂ v ∂ y ) d x d y \int_{\Gamma } (udx - v dy) =-\iint_{\Omega} \left( \frac{\partial v}{\partial x} + \frac{\partial u}{\partial y} \right) dxdy \\ \int_{\Gamma} (udy+vdx) = \iint_{\Omega}\left( \frac{\partial u}{\partial x} + \frac{\partial v}{\partial y} \right) dxdy ∫Γ(udx−vdy)=−∬Ω(∂x∂v+∂y∂u)dxdy∫Γ(udy+vdx)=∬Ω(∂x∂u+∂y∂v)dxdy
所以
∫ Γ f ( z ) d z = − ∬ Ω ( ∂ v ∂ x + ∂ u ∂ y ) d x d y + i ∬ Ω ( ∂ u ∂ x − ∂ v ∂ y ) d x d y \int_{\Gamma} f(z)dz = -\iint_{\Omega} \left( \frac{\partial v}{\partial x} + \frac{\partial u}{\partial y} \right) dxdy +i\iint_{\Omega}\left( \frac{\partial u}{\partial x} - \frac{\partial v}{\partial y} \right) dxdy ∫Γf(z)dz=−∬Ω(∂x∂v+∂y