首页 >
柯西定理
✍ dations ◷ 2025-06-07 18:21:16 #柯西定理
柯西积分定理(或称柯西-古萨定理),是一个关于复平面上全纯函数的路径积分的重要定理。柯西积分定理说明,如果从一点到另一点有两个不同的路径,而函数在两个路径之间处处是全纯的,则函数的两个路径积分是相等的。另一个等价的说法是,单连通闭合区域上的全纯函数沿着任何可求长闭合曲线的积分是0.设
Ω
{displaystyle Omega }
是复平面
C
{displaystyle mathbb {C} }
的一个单连通的开子集。
f
:
Ω
→
C
{displaystyle f;:;Omega ;rightarrow ;mathbb {C} }
是一个
Ω
{displaystyle Omega }
上的全纯函数。设
γ
{displaystyle gamma }
是
Ω
{displaystyle Omega }
内的一个分段可求长的简单闭曲线(即连续而不自交并且能定义长度的闭合曲线),那么:Ω
{displaystyle Omega }
是单连通表示
Ω
{displaystyle Omega }
中没有“洞”,例如任何一个开圆盘
D
=
{
z
:
|
z
−
z
0
|
<
r
}
{displaystyle D={z:|z-z_{0}|<r}}
都符合条件,这个条件是很重要的,考虑中央有“洞”的圆盘:
D
h
=
{
z
:
0
<
|
z
−
z
0
|
<
2
}
{displaystyle D_{h}={z:0<|z-z_{0}|<2}}
,在其中取逆时针方向的单位圆路径:考虑函数
f
:
z
↦
1
/
z
{displaystyle f;:;z;mapsto ;1/z}
,它在
D
h
{displaystyle D_{h}}
中是全纯函数,但它的路径积分:不等于零。这是因为函数
f
{displaystyle f}
在“洞”中有奇点。如果考虑整个圆盘
D
s
=
{
z
:
|
z
−
z
0
|
<
2
}
{displaystyle D_{s}={z:|z-z_{0}|<2}}
,就会发现
f
{displaystyle f}
在圆盘中央的点上没有定义,不是全纯函数。:419柯西积分定理有若干个等价的叙述。例如:
设
Ω
{displaystyle Omega }
是复平面
C
{displaystyle mathbb {C} }
的一个开子集。
f
:
Ω
→
C
{displaystyle f;:;Omega ;rightarrow ;mathbb {C} }
是一个定义在
Ω
{displaystyle Omega }
上的函数。设
γ
1
:
[
0
,
1
]
→
Ω
{displaystyle gamma _{1};:;;rightarrow Omega }
与
γ
2
:
[
0
,
1
]
→
Ω
{displaystyle gamma _{2};:;;rightarrow Omega }
是
Ω
{displaystyle Omega }
内的两条可求长的简单曲线,它们的起点和终点都重合:并且函数
f
{displaystyle f}
在
γ
1
{displaystyle gamma _{1}}
与
γ
2
{displaystyle gamma _{2}}
围成的闭合区域
D
{displaystyle D}
内是全纯函数,那么函数
f
{displaystyle f}
沿这两条曲线的路径积分相同:除了对分段可求长的简单闭合曲线成立以外,柯西积分定理对于某些更复杂的曲线也适用。设
Ω
{displaystyle Omega }
是复平面
C
{displaystyle mathbb {C} }
的一个开子集。
f
:
Ω
→
C
{displaystyle f;:;Omega ;rightarrow ;mathbb {C} }
是定义在
Ω
{displaystyle Omega }
上的全纯函数。无论
Ω
{displaystyle Omega }
内的曲线
γ
{displaystyle gamma }
是自交还是卷绕数多于1(围着某一点转了不止一圈),只要
γ
{displaystyle gamma }
能够通过连续形变收缩为
Ω
{displaystyle Omega }
内的一点,就有:以下的证明对函数有较为严格的要求,但对物理学中的应用来说已经足够。设
Ω
{displaystyle Omega }
是复平面
C
{displaystyle mathbb {C} }
的一个开子集。
f
:
Ω
→
C
{displaystyle f;:;Omega ;rightarrow ;mathbb {C} }
是定义在
Ω
{displaystyle Omega }
上的全纯函数,
γ
{displaystyle gamma }
是
Ω
{displaystyle Omega }
内的可求长的简单闭合曲线。假设
f
{displaystyle f}
的一阶偏导数也在
Ω
{displaystyle Omega }
上连续,那么可以根据格林定理作出证明。具体如下:为了便于表达,将函数
f
{displaystyle f}
写为实部函数和虚部函数:
f
(
z
)
=
f
(
x
+
y
i
)
=
u
(
x
+
y
i
)
+
i
v
(
x
+
y
i
)
.
{displaystyle f(z)=f(x+yi)=u(x+yi)+i,v(x+yi).}
由于
d
z
=
d
x
+
i
d
y
{displaystyle displaystyle dz=dx+i,dy}
,积分依据格林定理,右端的两个环路积分都可以变形为
γ
{displaystyle gamma }
围成的区域
D
γ
{displaystyle D_{gamma }}
上的面积分。另一方面,由于
f
{displaystyle f}
是全纯函数,所以它的实部函数和虚部函数满足柯西-黎曼方程:所以以上的两个积分中的被积函数都是0,因而积分也是0:该定理的一个直接推论,是在单连通域内全纯函数的路径积分可以用类似于微积分基本定理的方法来计算:设
Ω
{displaystyle Omega }
是复平面
C
{displaystyle mathbb {C} }
的一个开子集。
f
:
Ω
→
C
{displaystyle f;:;Omega ;rightarrow ;mathbb {C} }
是一个
Ω
{displaystyle Omega }
上的全纯函数。函数
f
{displaystyle f}
在
Ω
{displaystyle Omega }
内的路径积分,只与积分的起点和终点有关,与中间经历的路径无关。假设,起点为.mw-parser-output .serif{font-family:Times,serif}a,则可以定义一个函数
F
:
Ω
→
C
{displaystyle F;:;Omega ;rightarrow ;mathbb {C} }其中的
γ
a
b
{displaystyle gamma _{a}^{b}}
可以是任何以a为起点,b为终点的分段可求长简单曲线。函数
F
{displaystyle F}
被称为
f
{displaystyle f}
的(复)原函数或反导数函数。:422柯西积分定理与柯西积分公式是等价的。从柯西积分定理可以推导出柯西积分公式和留数定理。
相关
- α-变形菌纲α-变形菌(Alphaproteobacteria)是变形菌门(Proteobacteria)下的一个纲。此纲的成员变异性极大,且共通点极少,但他们确实系出同源。α-变形菌大多都是革兰氏阴性菌,而有些包内寄生
- Cs蒸气压第一:375.7 kJ·mol−1 第二:2234.3 kJ·mol−1 第三:3400 kJ·mol主条目:铯的同位素铯(Cesium,旧译作鏭)是一种化学元素,化学符号为Cs,原子序为55。铯属于碱金属,带银金色
- 兔唇唇裂与颚裂(英语:Cleft lip and cleft palate),常被合称为唇颚裂,是一系列包含唇裂(CL)、颚裂(CP)、或二者皆有的疾病(CLP)。唇颚裂常包含上颚裂到鼻腔,甚至裂到耳朵都有可能;裂口可能发
- 诺龙19-去甲睾酮(英语:19-nortestosterone)也被称为诺龙(Nandrolone)是一种雄激素和同化类固醇(AAS)。其酯类衍生物(如其苯丙酸酯、癸酸酯等)常作为贫血、恶病体质、骨质疏松症、乳癌的治
- 里歇夏尔·罗贝尔·里歇(法语:Charles Robert Richet,1850年8月25日-1935年12月4日),法国生理学家,是许多研究的早期建立者,例如神经化学、消化作用、恒温动物的体温调控,以及呼吸作用。
- 开元盛世开元之治,亦称为开元盛世和开天盛世,是唐朝在唐玄宗统治时期所出现的盛世。唐玄宗治国头三十年,以开元作为年号,那时玄宗励精图治,并且任用贤能,发展经济,提倡文教,使得天下大治,所以
- DNA聚合酶ⅠDNA聚合酶I(DNA polymerase I;Pol I)是最早发现的一种DNA聚合酶(也是最早发现的聚合酶),于1956年由阿瑟·科恩伯格(Arthur Kornberg)从大肠杆菌中分离出,被 Kornberg 发现具有在体外
- 新奥尔良新奥尔良(英语:New Orleans,/nuː ˈɔːrlɪnz/,/nuː ˈɔːrliənz/,/nuː ɔːrˈliːnz/或/ˈnɔːrlənz/),旧译纽柯连,是位于美国路易斯安那州南部的港口城市,同时也是该州最
- 曲线曲线的普通定义就是在几何空间中的“弯曲了的线”。而直线是一种特殊的曲线,只不过它的曲率为零。在《解析几何》中,曲线用一组连续函数的方程组来表示。曲线和直线都是指欧几
- 巴特巴特(Bat)是埃及神话中的母牛女神,其典型形象为拥有牛角和牛耳的女性面孔。巴特崇拜的起源可能能追溯到旧石器时代晚期埃及地区的牧牛传统。在古埃及文化中,巴特崇拜与宗教仪式