(五)复函数积分的定义与性质

news2024/12/24 21:44:24

本文内容主要如下:

  • 1. 复积分的概念
    • 1.1. 复积分的定义
    • 1.2. 复积分的存在性与计算
    • 1.3. 一个圆周上的重要积分公式
    • 1.4. 复积分的基本性质

1. 复积分的概念

1.1. 复积分的定义

定义
复积分的定义

如图,C为平面上一条光滑的简单曲线: z = z ( t ) = x ( t ) + i y ( t )   ( α ⩽ t ⩽ β ) z=z(t)=x(t)+iy(t)~(\alpha\leqslant t\leqslant\beta) z=z(t)=x(t)+iy(t) (αtβ)其起点为 A : a = z ( α ) A:a=z(\alpha) Aa=z(α),终点为 B : b = z ( β ) B:b=z(\beta) Bb=z(β)。复函数 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) 在 C 上有定义。现沿曲线从 A → B A\rightarrow B AB 依次取分点:
a = z 0 , z 1 , z 2 , ⋯   , z k , ⋯   , z n = b a=z_0,z_1,z_2,\cdots,z_k,\cdots,z_n=b a=z0,z1,z2,,zk,,zn=b将曲线分为若干段,从弧段 z k − 1 z k ⌢ \overset{\LARGE{\frown}}{z_{k-1}z_k} zk1zk 中任取一点 ζ k = ξ k + i η k \zeta_k=\xi_k+i\eta_k ζk=ξk+iηk,作和式:
S n = ∑ k = 1 n f ( ζ k ) ( z k − z k − 1 ) = ∑ k = 1 n f ( ζ k ) Δ z k = ∑ k = 1 n f ( ζ k ) ( Δ x k + i Δ y k ) S_n=\sum_{k=1}^nf(\zeta_k)(z_k-z_{k-1}) =\sum_{k=1}^nf(\zeta_k)\Delta z_k =\sum_{k=1}^nf(\zeta_k)(\Delta x_k+i\Delta y_k) Sn=k=1nf(ζk)(zkzk1)=k=1nf(ζk)Δzk=k=1nf(ζk)(Δxk+iΔyk) λ = max ⁡ 1 ⩽ k ⩽ n ∣ Δ z k ∣ \lambda=\max_{1\leqslant k\leqslant n}|\Delta z_k| λ=1knmax∣Δzk
λ → 0 \lambda\rightarrow 0 λ0 时, S n S_n Sn 的极限存在,且不依赖于对曲线 C 的分法和对 ζ k \zeta_k ζk 的选取方式。则称该极限值为 f ( z ) f(z) f(z) 沿曲线 C 从 A 到 B 的复积分,记作
∫ C f ( z ) d z = lim ⁡ λ → 0 S n = lim ⁡ λ → 0 ∑ k = 1 n f ( ζ k ) Δ z k \int_Cf(z)dz=\lim_{\lambda\rightarrow 0}S_n=\lim_{\lambda\rightarrow 0}\sum_{k=1}^nf(\zeta_k)\Delta z_k Cf(z)dz=λ0limSn=λ0limk=1nf(ζk)Δzk特别地,沿 C 负方向(由B至A)的积分记作:
∫ C − f ( z ) d z \int_{C^-}f(z)dz Cf(z)dz当C为光滑闭曲线时(闭曲线的正向为逆时针方向),积分记作:
∮ C f ( z ) d z \oint_{C}f(z)dz Cf(z)dz

1.2. 复积分的存在性与计算

定理:若函数 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) 在光滑曲线 C 上连续,则复积分 ∫ C f ( z ) d z \int_Cf(z)dz Cf(z)dz 存在,且复积分可通过计算两个二元实变函数的第二型曲线积分来得到:
∫ C f ( z ) d z = ( ∫ C u d x − v d y ) + i ( ∫ C u d y + v d x ) ( 1 ) \int_Cf(z)dz=\left(\int_Cudx-vdy\right)+i\left(\int_Cudy+vdx\right) \qquad(1) Cf(z)dz=(Cudxvdy)+i(Cudy+vdx)(1)
证明 S n = ∑ k = 1 n f ( ζ k ) Δ z k = ∑ k = 1 n [ u ( ξ k , η k ) + i v ( ξ k , η k ) ] ( Δ x k + i Δ y k ) = ∑ k = 1 n ( u k Δ x k − v k Δ y k ) + i ∑ k = 1 n ( u k Δ y k − v k Δ x k ) = S n R + i S n I \begin{aligned} S_n&=\sum_{k=1}^nf(\zeta_k)\Delta z_k =\sum_{k=1}^n\left[u(\xi_k,\eta_k)+iv(\xi_k,\eta_k)\right](\Delta x_k+i\Delta y_k)\\\\ &=\sum_{k=1}^n\left(u_k\Delta x_k-v_k\Delta y_k\right)+i\sum_{k=1}^n\left(u_k\Delta y_k-v_k\Delta x_k\right)\\\\ &=S_n^R+iS_n^I \end{aligned} Sn=k=1nf(ζk)Δzk=k=1n[u(ξk,ηk)+iv(ξk,ηk)](Δxk+iΔyk)=k=1n(ukΔxkvkΔyk)+ik=1n(ukΔykvkΔxk)=SnR+iSnI由于复变函数沿曲线 C 连续,故 u , v u,v u,v 沿曲线 C 连续,那么和式 S n R ,   S n I S_n^R,~S_n^I SnR, SnI 的极限存在,且极限为相应的第二型曲线积分。故复积分也存在,并且满足定理中的计算公式。

Remark

1)为方便记忆将复积分化作曲线积分的公式 (1) ,形式上可看作:
∫ C f ( z ) d z = ∫ C ( u + i v ) ( d x + i d y ) = ( ∫ C u d x − v d y ) + i ( ∫ C u d y + v d x ) \int_Cf(z)dz=\int_C(u+iv)(dx+idy)=\left(\int_Cudx-vdy\right)+i\left(\int_Cudy+vdx\right) Cf(z)dz=C(u+iv)(dx+idy)=(Cudxvdy)+i(Cudy+vdx)

2)我们还可将复积分化作普通的定积分(复积分的变量代换公式)
∫ C f ( z ) d z = ( ∫ C u d x − v d y ) + i ( ∫ C u d y + v d x ) = ∫ α β [ u x ′ ( t ) − v y ′ ( t ) ] d t + i ∫ α β [ u y ′ ( t ) + v x ′ ( t ) ] d t = ∫ α β ( u + i v ) ( x ′ + i y ′ ) d t = ∫ α β f ( z ( t ) ) z ′ ( t ) d t = ∫ α β R e [ f ( z ) z ′ ( t ) ] d t + i ∫ α β I m [ f ( z ) z ′ ( t ) ] d t ( 2 ) \begin{aligned} \int_Cf(z)dz&=\left(\int_Cudx-vdy\right)+i\left(\int_Cudy+vdx\right) \\\\ &=\int_\alpha^\beta\left[ux'(t)-vy'(t)\right]dt+i\int_\alpha^\beta\left[uy'(t)+vx'(t)\right]dt \\\\ &=\int_\alpha^\beta(u+iv)(x'+iy')dt\\\\ &=\int_\alpha^\beta f(z(t))z'(t)dt\\\\ &=\int_\alpha^\beta Re[f(z)z'(t)]dt+i\int_\alpha^\beta Im[f(z)z'(t)]dt \qquad\qquad\qquad\qquad(2) \end{aligned} Cf(z)dz=(Cudxvdy)+i(Cudy+vdx)=αβ[ux(t)vy(t)]dt+iαβ[uy(t)+vx(t)]dt=αβ(u+iv)(x+iy)dt=αβf(z(t))z(t)dt=αβRe[f(z)z(t)]dt+iαβIm[f(z)z(t)]dt(2)

1.3. 一个圆周上的重要积分公式

设光滑曲线 C 为以 z 0 z_0 z0 为中心, r r r 为半径的圆周,且 n ∈ Z n\in \mathbb Z nZ,则有:
∮ c d z ( z − z 0 ) n = { 2 π i ( n = 1 ) 0 ( n ≠ 1 ) \oint_c\dfrac{dz}{(z-z_0)^n}=\begin{cases}2\pi i&(n=1)\\\\0&(n\ne1)\end{cases} c(zz0)ndz= 2πi0(n=1)(n=1)

证明:曲线C的参数方程为:
z ( t ) = z 0 + r e i θ = [ R e ( z 0 ) + r c o s θ ] + i [ I m ( z 0 ) + r s i n θ ] , θ ∈ ( − π , π ] z(t)=z_0+re^{i\theta}=[Re(z_0)+rcos\theta]+i[Im(z_0)+rsin\theta],\qquad\theta\in(-\pi,\pi] z(t)=z0+reiθ=[Re(z0)+rcosθ]+i[Im(z0)+rsinθ],θ(π,π]
z ′ ( t ) = − r s i n θ + i r c o s θ = i r ( c o s θ + i s i n θ ) = i r e i θ z'(t)=-rsin\theta+ircos\theta=ir(cos\theta+isin\theta)=ire^{i\theta} z(t)=rsinθ+ircosθ=ir(cosθ+isinθ)=ireiθ
∮ c d z ( z − z 0 ) n = ∫ − π π i r e i θ r n e i n θ d θ = i r n − 1 ∫ − π π e − i ( n − 1 ) θ d θ = i r n − 1 ∫ − π π c o s [ ( n − 1 ) θ ] d θ + 1 r n − 1 ∫ − π π s i n [ ( n − 1 ) θ ] d θ = { 2 π i ( n = 1 ) 0 ( n ≠ 1 ) \begin{aligned} \oint_c\dfrac{dz}{(z-z_0)^n}&=\int_{-\pi}^\pi\dfrac{ire^{i\theta}}{r^ne^{in\theta}}d\theta\\\\ &=\dfrac{i}{r^{n-1}}\int_{-\pi}^\pi e^{-i(n-1)\theta}d\theta\\\\ &=\dfrac{i}{r^{n-1}}\int_{-\pi}^\pi cos[(n-1)\theta ]d\theta+\dfrac{1}{r^{n-1}}\int_{-\pi}^\pi sin[(n-1)\theta ]d\theta\\\\ &=\begin{cases} 2\pi i&(n=1)\\\\ 0&(n\ne1) \end{cases} \end{aligned} c(zz0)ndz=ππrneinθireiθdθ=rn1iππei(n1)θdθ=rn1iππcos[(n1)θ]dθ+rn11ππsin[(n1)θ]dθ= 2πi0(n=1)(n=1)(证毕.)

1.4. 复积分的基本性质

f ( z ) ,   g ( z ) f(z),~g(z) f(z), g(z) 沿光滑曲线 C 连续(确保相应复积分存在),则根据复积分的定义不难得到:

1) ∫ c k f ( z ) d z = k ∫ c f ( z ) d z , ( k ∈ C ) \int_ckf(z)dz=k\int_cf(z)dz,\quad (k\in\mathbb C) ckf(z)dz=kcf(z)dz,(kC) 2) ∫ c [ f ( z ) ± g ( z ) ] d z = ∫ c f ( z ) d z ± ∫ c g ( z ) d z \int_c[f(z)\pm g(z)]dz=\int_cf(z)dz\pm\int_cg(z)dz c[f(z)±g(z)]dz=cf(z)dz±cg(z)dz3) ∫ c f ( z ) d z = ∫ c 1 f ( z ) d z + ∫ c 2 f ( z ) d z , ( C = C 1 ∪ C 2 ) \int_cf(z)dz=\int_{c_1}f(z)dz+\int_{c_2}f(z)dz,\quad(C=C_1\cup C_2) cf(z)dz=c1f(z)dz+c2f(z)dz,(C=C1C2)4) ∫ c f ( z ) d z = − ∫ c − f ( z ) d z \int_cf(z)dz=-\int_{c^-}f(z)dz cf(z)dz=cf(z)dz此外,关于复函数的积分也有类似的不等式

5) ∣ ∫ c f ( z ) d z ∣ ⩽ ∫ c ∣ f ( z ) ∣ d s = ∫ c ∣ f ( z ) ∣ ∣ d z ∣ \left|\int_cf(z)dz\right|\leqslant\int_c|f(z)|ds=\int_c|f(z)||dz| cf(z)dz cf(z)ds=cf(z)∣∣dz其中,不等式右端是实连续函数 ∣ f ( z ) ∣ |f(z)| f(z) 沿曲线 C 的第一型曲线积分。

证明:由于复数的模满足三角不等式,故
∣ ∑ k = 1 n f ( ζ k ) Δ z k ∣ ⩽ ∑ k = 1 n ∣ f ( ζ k ) ∣ ∣ Δ z k ∣ ⩽ ∑ k = 1 n ∣ f ( ζ k ) ∣ Δ s k \left|\sum_{k=1}^nf(\zeta_k)\Delta z_k\right| \leqslant \sum_{k=1}^n|f(\zeta_k)||\Delta z_k| \leqslant \sum_{k=1}^n|f(\zeta_k)|\Delta s_k k=1nf(ζk)Δzk k=1nf(ζk)∣∣Δzkk=1nf(ζk)∣Δsk
其中, Δ s k \Delta s_k Δsk 为微弧段 z k − 1 z k ⌢ \overset{\LARGE{\frown}}{z_{k-1}z_{k}} zk1zk 的弧长,故满足
∣ Δ z k ∣ = ( Δ x k ) 2 + ( Δ y k ) 2 ⩽ Δ s k |\Delta z_k|=\sqrt{(\Delta x_k)^2+(\Delta y_k)^2}\leqslant\Delta s_k ∣Δzk=(Δxk)2+(Δyk)2 Δsk对不等式两侧取极限,即可得不等号成立,又 ∣ d z ∣ = ( d x ) 2 + ( d y ) 2 = d s |dz|=\sqrt{(dx)^2+(dy)^2}=ds dz=(dx)2+(dy)2 =ds故等号也可得证。(证毕)

推论:(积分估值定理) 若在 C 上有 ∣ f ( z ) ∣ ⩽ M |f(z)|\leqslant M f(z)M,而 C 的长度为 L L L,那么有:
∣ ∫ c f ( z ) d z ∣ ⩽ ∫ c ∣ f ( z ) ∣ d s ⩽ ∫ c M d s = M ∫ c d s = M L \left|\int_cf(z)dz\right|\leqslant\int_c|f(z)|ds\leqslant\int_cMds=M\int_cds=ML cf(z)dz cf(z)dscMds=Mcds=ML

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/715601.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

GAD7980/CL1680/AD7980详解与开发说明

目录 1 概述2 GAD7980简介3 用法时序4 参数计算与参数解释4.1 采样率4.2 转换时间4.3 采集时间5 采样数值折算6 设计注意事项7 代码demo 1 概述 本文用于讲述GAD7980的功能与用法,以及其中一些参数的计算方法,用法时序,输出数值等等&#xf…

chatglm+langchain

目录 chatglmlangchain 1.1. 主要功能: 1.2. Langchain中提供的模块 1.3. Langchain应用场景 2.1. chatglm应用: 1.1. 基于单一文档问答的实现原理 chatglmlangchain GitHub - imClumsyPanda/langchain-ChatGLM: langchain-ChatGLM, local knowledge bas…

基于Java+SpringBoot+Mybaties-plus+Vue+ElementUI 在线考试管理系统的设计与实现

一.项目介绍 学生在线考试系统分为三类角色 超管、老师、学生 超级管理员:维护考试管理、提供管理、成绩查询、学生管理以及教师管理 老师:维护考试管理、提供管理、成绩查询以及学生管理 学生:我的试卷…

Linux入门介绍-CentOS和VMware虚拟机下载安装

Linux 学自尚硅谷武晟然老师,结合老师课堂内容和自己笔记所写博文。 文章目录 Linux入门篇Linux概述Linux vs WindowsLinux安装CentOS的版本选择和下载VMware下载VMware安装创建虚拟机安装CentOS 入门篇 Linux概述 Linux是一个操作系统,一切皆文件&…

SpringMVC 程序开发:为什么要学SpringMVC?如何学SpringMVC?

文章目录 🎇前言1.MVC1.1 MVC 的定义1.2 MVC 与 Spring MVC的关系 2.为嘛要学Spring MVC?3.如何学习 Spring MVC?3.1 Spring MVC 创建和连接3.1.1 RequestMapping 注解介绍3.1.2 使用RequestMapping的参数修改请求方法3.1.3 GetMapping 和 Po…

C中的open函数,write函数,read函数

1.创建新文件并保存数据。 #include <stdio.h> #include <stdlib.h> #include <fcntl.h> #include <unistd.h> void error_handling(char * message);int main(void) {int fd;char buf[]"Lets go!\n";fdopen("data.txt",O_CREAT…

Java实现邮箱验证码

目录&#xff1a; 前言 一、POM依赖 二、获取验证码 三、配置文件 四、业务代码 1.service接口 2.service实现类 3.相关工具类Util 4.查询Redis数据库 5.接收邮件 前言 邮箱验证码是一个常见的功能&#xff0c;常用于邮箱绑定、修改密码等操作上&#xff0c;本篇博客只要…

vue-i18n 实现国际化,支持切换不同语言

需求&#xff1a;后台管理系统&#xff0c;可以实现语言切换 实现过程&#xff1a;用的i18n来实现的语言切换&#xff0c;网上能看到好多模板&#xff0c;根据自己的需求&#xff0c;修改一下即可使用&#xff0c;大概都是差不多的&#xff0c;因为涉及到后端&#xff0c;所以…

如何在 javascript 中交换数组元素

文章目录 在 JavaScript 中使用临时变量交换数组元素使用 ES6 析构函数赋值在 JavaScript 中交换数组元素使用按位异或和数组迭代在 JavaScript 中交换数组元素 交换两个元素的传统方法是使用临时变量。 在 JavaScript 中&#xff0c;我们可以轻松地将数组对象重新分配给默认设…

实验一(7 3)

实验分析&#xff1a; 1.使用合理IP地址规划网络&#xff0c;各自创建环回接口&#xff0c;R1-R2-R3-R4-R5 RIP 100运行版本2&#xff0c;R6-R7 RIP 200 运行版本1 方法&#xff1a;要使得两个不同rip版本互通&#xff0c;需要在r4连通r6&#xff08;或r6连通r4&#xff09;的…

android 如何分析应用的内存(十)——malloc统计和libmemunreachable

android 如何分析应用的内存&#xff08;十&#xff09; 接下来介绍native heap内存的第四个板块————malloc统计和libmemunreachable malloc统计 malloc统计是标准c库提供的接口。他有两个调用接口如下&#xff1a; #include <malloc.h>struct mallinfo mallinfo…

敏捷开发Scrum

目录 1 Scrum概览1.2 理论基础1.2.1 透明性&#xff08;Transparency&#xff09;1.2.2 检验&#xff08;Inspection&#xff09;1.2.3 适应&#xff08;Adaptation&#xff09; 2 三个角色2.1 产品负责人&#xff08;Product Owner&#xff09;2.1.1 职责2.1.2 人选 2.2 流程管…

JDK多版本管理工具jenv

JENV mac jdk版本管理工具 Mac 安装jenv可以使用brew brew install jenv配置jenv zsh配置方式&#xff1a; echo export PATH"$HOME/.jenv/bin:$PATH" >> ~/.zshrc echo eval "$(jenv init -)" >> ~/.zshrcbash配置方式&#xff1a; ech…

海上明月共潮生【InsCode Stable Diffusion 美图活动一期】

一、 Stable Diffusion 模型在线使用地址&#xff1a; https://inscode.csdn.net/inscode/Stable-Diffusion 购买 右下角点击 Stable Diffusion WebUI 进入工作界面 二、模型相关版本和参数配置&#xff1a; 模型&#xff1a;chilloutmix_NiPrunerdFp32Fix.safetensors…

解决Python的SyntaxError: Non-UTF-8 code starting with ‘\xbb‘问题

文章目录 一、报错二、分析三、解决3.1 方法一3.2 方法二3.3 方法三 一、报错 在程序中&#xff0c;line 8为含有中文的注释&#xff0c;编译后出现了SyntaxError: Non-UTF-8 code starting with \xbb的报错&#xff0c;具体如下图。 二、分析 这个错误是由于Python解释器无…

教你如何快速批量添加滚动文字水印

在视频中添加滚动的文字水印可以增加视频的专业感和吸引力&#xff0c;但手动给大量视频添加滚动文字水印是一项费时费力的任务。下面是一个快速批量给大量视频添加滚动文字水印的方法&#xff0c;有需要的小伙伴们可以进来学习一下&#xff01; 今天分享的方法会使用到一个剪辑…

IDEA 中 gradle面板显示重复工程

使用 IDEA 构建多模块工程时&#xff0c;每新建一个模块&#xff0c;gradle 构建后&#xff0c;面板上就会出现一个重复的根工程&#xff0c;如下图红框部分&#xff0c;怎么处理下

ASIC数字设计:前端设计、验证、后端实现

前端设计 数字系统设计中有三个重要的设计级别概念&#xff1a;行为级&#xff08;Behavior Level&#xff09;、寄存器传输级&#xff08;Register Transfer Level&#xff09;和门级&#xff08;Gate level&#xff09;。其中&#xff0c; 行为级通过行为级算法描述数字系统&…

zabbix 报警测试报错

一、报错描述 在测试报警媒介时&#xff0c;报错如下: main.py脚本是在windows上的pycharm上编写的&#xff0c;在windows上运行没有问题&#xff0c;放在linux服务器上使用python3 main.py 运行也没有问题&#xff0c;但是使用./main.py执行就报错 [rootp0-tkhijbs-broadco-…

十、Docker虚悬镜像

学习参考&#xff1a;尚硅谷Docker实战教程、Docker官网、其他优秀博客(参考过的在文章最后列出) 目录 前言一、介绍二、如何产生的&#xff1f;三、尝试弄一个三、查看、删除虚悬镜像3.1 查看虚悬镜像3.2 删除虚悬镜像 总结 前言 什么是虚悬镜像&#xff1f; 一、介绍 虚悬…