最美情侣中文字幕电影,在线麻豆精品传媒,在线网站高清黄,久久黄色视频

歡迎光臨散文網(wǎng) 會(huì)員登陸 & 注冊(cè)

復(fù)變函數(shù)的積分||數(shù)理方法筆記

2021-01-14 17:07 作者:湮滅的末影狐  | 我要投稿

//有了微分當(dāng)然要有積分

//開(kāi)始吧

//這只是一個(gè)非常簡(jiǎn)略的筆記,內(nèi)容并不完整,在此分享,僅供參考

2.1 定義

復(fù)變函數(shù)積分的定義與實(shí)變函數(shù)類(lèi)似,但復(fù)變量位于一個(gè)復(fù)平面上,因此積分的值可能與路徑有關(guān),本質(zhì)上是二維平面上實(shí)變函數(shù)的線(xiàn)積分。

%5Cint_l%20f(z)%7B%5Crm%20d%7Dz%3D%5Cint_l%20%5Bu(x%2Cy)%7B%5Crm%20d%7Dx-v(x%2Cy)%7B%5Crm%20d%7Dy%5D%2Bi%5Cint_l%20%5Bv(x%2Cy)%7B%5Crm%20d%7Dx%2Bu(x%2Cy)%7B%5Crm%20d%7Dy%5D

復(fù)變函數(shù)積分除了類(lèi)似實(shí)變函數(shù)的線(xiàn)性特性,還有積分不等式:

%5Cleft%7C%5Cint_%7Bl%7D%20f(z)%20%5Cmathrm%7Bd%7D%20z%5Cright%7C%20%5Cleqslant%20%5Cint_%7Bl%7D%7Cf(z)%7C%7C%5Cmathrm%7Bd%7D%20z%7C

%5Cleft%7C%5Cint_%7Bl%7D%20f(z)%20%5Cmathrm%7Bd%7D%20z%5Cright%7C%20%5Cleqslant%20ML

其中M是%7Cf(z)%7C在積分路徑上的最大值,L是積分路徑長(zhǎng)度。

2.2 柯西定理

2.2.1 對(duì)于閉單連通區(qū)域(沒(méi)有洞的閉區(qū)域)的任意分段光滑閉合曲線(xiàn),若f(z)解析,

%5Coint_l%20f(z)%7B%5Crm%20d%7Dz%3D0

簡(jiǎn)單證明:對(duì)2.1的積分展開(kāi)式的實(shí)部、虛部分別利用格林公式,

%5Coint_l%20f(z)%7B%5Crm%20d%7Dz%3D-%5Ciint_S(%5Cfrac%7B%5Cpartial%20v%7D%7B%5Cpartial%20x%7D%2B%5Cfrac%7B%5Cpartial%20u%7D%7B%5Cpartial%20y%7D)%7B%5Crm%20d%7Dx%7B%5Crm%20d%7Dy%2Bi%5Ciint_S(%5Cfrac%7B%5Cpartial%20u%7D%7B%5Cpartial%20x%7D-%5Cfrac%7B%5Cpartial%20u%7D%7B%5Cpartial%20y%7D)%7B%5Crm%20d%7Dx%7B%5Crm%20d%7Dy

S是l所包圍的區(qū)域。根據(jù)柯西-黎曼方程,兩個(gè)面積分均為0.

單連通與復(fù)連通區(qū)域

2.2.2 對(duì)于復(fù)連通區(qū)域,設(shè)有n個(gè)“洞”(即“內(nèi)邊界”)

%5Coint_%7Bl%7D%20f(z)%20%5Cmathrm%7Bd%7D%20z%2B%5Csum_%7Bk%3D1%7D%5E%7Bn%7D%20%5Coint_%7Bl_%7Bk%7D%7D%20f(z)%20%5Cmathrm%7Bd%7D%20z%3D0

規(guī)定積分正方向:沿(內(nèi)或外)邊界前進(jìn)時(shí),保持該區(qū)域在路徑左側(cè)。

由柯西定理還可以給出推論:只要積分路徑連續(xù)變化而不越過(guò)“洞”,解析函數(shù)積分只與起點(diǎn)、終點(diǎn)有關(guān)。

2.3 不定積分

根據(jù)柯西定理,可知沿單通區(qū)域任意路徑,解析函數(shù)的積分只與起點(diǎn)終點(diǎn)有關(guān),故起點(diǎn)固定時(shí),

F(z)%3D%5Cint_%7Bz_%7B0%7D%7D%5E%7Bz%7D%20f(%5Czeta)%20%5Cmathrm%7Bd%7D%20%5Czeta

是一個(gè)單值函數(shù),在B上解析,并且F'(z)%3Df(z), F是f的一個(gè)原函數(shù)。類(lèi)似一元函數(shù),有

%5Cint_%7Bz_%7B1%7D%7D%5E%7Bz_2%7D%20f(%5Czeta)%20%5Cmathrm%7Bd%7D%20%5Czeta%3DF(z_2)-F(z_1)

另有一個(gè)重要結(jié)論:

%5Cfrac%7B1%7D%7B2%5Cpi%20i%7D%5Coint_l%20%5Cfrac%7B%7B%5Crm%20d%7Dz%7D%7Bz-%5Calpha%7D%3D%5Cleft%5C%7B%5Cbegin%7Barray%7D%7Bc%7D%0A0%20%2C%5C%3B(%7Bl%5Crm%20%5C%3B%20doesn't%20%5C%3B%20include%20%5C%3B%5Calpha%7D)%5C%5C%0A1%2C%5C%3B%20(%7Bl%5Crm%20%5C%3B%20%20include%20%5C%3B%5Calpha%7D)%0A%5Cend%7Barray%7D%5Cright.

%5Cfrac1%7B2%5Cpi%20i%7D%5Coint_l%20(z-%5Calpha)%5En%20%7B%5Crm%20d%7Dz%3D0%5C%3B%5C%3B(n%5Cneq%20-1)

2.4 柯西公式

設(shè)f在閉單通區(qū)域%5Cbar%20B解析,%5Calpha為區(qū)域內(nèi)任意點(diǎn),區(qū)域邊界為l柯西公式:

f(%5Calpha)%3D%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7Bf(z)%7D%7Bz-%5Calpha%7D%20%5Cmathrm%7Bd%7D%20z

簡(jiǎn)單證明:

根據(jù)2.3的結(jié)論,

f(%5Calpha)%20%3D%20%5Cfrac%7Bf(%5Calpha)%7D%7B2%20%5Cpi%20i%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7B1%7D%7Bz-%5Calpha%7D%20%5Cmathrm%7Bd%7D%20z%3D%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7Bf(%5Calpha)%7D%7Bz-%5Calpha%7D%20%5Cmathrm%7Bd%7D%20z

接下來(lái)只要證明:

%5Coint_%7Bl%7D%20%5Cfrac%7Bf(z)-f(%5Calpha)%7D%7Bz-%5Calpha%7D%20%5Cmathrm%7Bd%7D%20z%3D0

構(gòu)造復(fù)通區(qū)域:l為外邊界,內(nèi)邊界是以%5Calpha為圓心的圓C,半徑r趨于0.?

根據(jù)柯西定理和積分不等式,

%5Coint_%7Bl%7D%20%5Cfrac%7Bf(z)-f(%5Calpha)%7D%7Bz-%5Calpha%7D%20%5Cmathrm%7Bd%7D%20z%20%5Cleqslant%20%20%5Cfrac%7B%5Cmax%7Cf(z)-f(%5Calpha)%7C%7D%7Br%7D%5Ccdot%202%20%5Cpi%20r

由于f(z)連續(xù),r趨于0時(shí)%5Cmax%20%7Cf(z)-f(%5Calpha)%7C%5Crightarrow%200,證畢。

接下來(lái)是一些推論:

1. 推廣到復(fù)通區(qū)域

聯(lián)想之前證明復(fù)通區(qū)域柯西定理的思路,可知柯西公式仍成立,但需要對(duì)所有邊界(外邊界+洞)沿正方向積分:

f(z)%3D%5Csum_k%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl_k%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z%7D%20%5Cmathrm%7Bd%7D%20%5Czeta

2. 推廣到外部包含無(wú)限遠(yuǎn)的區(qū)域

設(shè)復(fù)變函數(shù)在某回路l的外部解析,若構(gòu)造復(fù)通區(qū)域如圖,


構(gòu)造的復(fù)通區(qū)域

則根據(jù)前面對(duì)復(fù)通區(qū)域的推廣,

f(z)%3D%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z%7D%20%5Cmathrm%7Bd%7D%20%5Czeta%2B%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7BC%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z%7D%20%5Cmathrm%7Bd%7D%20%5Czeta%20%5C%3B%5C%3B(*)

f(z)在無(wú)窮遠(yuǎn)連續(xù),則令C的半徑趨于無(wú)窮,

%5Cleft%7C%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7BC%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z%7D%20%5Cmathrm%7Bd%7D%20%5Czeta-f(%5Cinfty)%20%5Cright%7C%3D%5Cleft%7C%20%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7BC%7D%20%5Cfrac%7Bf(%5Czeta)-f(%5Cinfty)%20%7D%7B%5Czeta-z%7D%20%5Cmathrm%7Bd%7D%20%5Czeta%5Cright%7C%5Crightarrow%200

對(duì)任意半徑的C,(*)式均成立,所以

f(z)%3D%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z%7D%20%5Cmathrm%7B~d%7D%20%5Czeta%2Bf(%5Cinfty)

3. 推論:解析函數(shù)可以求導(dǎo)任意多次。

f(z)%3D%5Cfrac%7B1%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z%7D%20%5Cmathrm%7Bd%7D%20%5Czeta

%5CRightarrow%20f%5E%7B(n)%7D(z)%3D%5Cfrac%7Bn!%7D%7B2%20%5Cpi%20%5Cmathrm%7Bi%7D%7D%20%5Coint_%7Bl%7D%20%5Cfrac%7Bf(%5Czeta)%7D%7B(%5Czeta-z)%5E%7Bn%2B1%7D%7D%20%5Cmathrm%7Bd%7D%20%5Czeta

4. 模數(shù)原理

閉區(qū)域上解析函數(shù)f(z)的模長(zhǎng)極大值只能在區(qū)域邊界取得。教材上的證明長(zhǎng)這樣...

教材摘錄

但是下面我自己的證法,看上去好像也沒(méi)什么問(wèn)題,而且更簡(jiǎn)單?

假設(shè)%7Cf(z)%7C在非邊界的一點(diǎn)z_0取得極大,則存在該點(diǎn)的某鄰域,以這一點(diǎn)為圓心,半徑為r,在該鄰域f(z)解析,且在鄰域的邊界C上%7Cf(%5Czeta)%7C%5Cleqslant%7Cf(z_0)%7C. 根據(jù)積分不等式,

%7Cf(z_0)%7C%3D%5Cleft%7C%5Cfrac1%7B2%5Cpi%20%7B%5Crm%20i%7D%7D%5Coint_C%20%5Cfrac%7Bf(%5Czeta)%7D%7B%5Czeta-z_0%7D%7B%5Crm%20d%7D%5Czeta%5Cright%7C%5Cleqslant%20%5Cfrac1%7B2%5Cpi%7D%20%5Cfrac%7B%5Cmax%20%7Cf(%5Czeta)%7C%7Dr%20%5Ccdot%202%5Cpi%20r%20%5Cleqslant%20%7Cf(z_0)%7C

兩個(gè)不等式不能同時(shí)取等,矛盾. 所以極大值只能在邊界取得。

5. 劉維爾定理

f(z)在全平面解析且有界,%7Cf(z)%7C%5Cleqslant%20N,則f(z)必為常函數(shù)。

參考文獻(xiàn)

[1] 梁昆淼. 數(shù)學(xué)物理方法(第四版)[M]. 北京:高等教育出版社,2009.8,23~28.


復(fù)變函數(shù)的積分||數(shù)理方法筆記的評(píng)論 (共 條)

分享到微博請(qǐng)遵守國(guó)家法律
旺苍县| 黑河市| 武城县| 乌拉特后旗| 莱西市| 长汀县| 茶陵县| 色达县| 娄底市| 应城市| 五莲县| 岳西县| 图们市| 沁源县| 通渭县| 云浮市| 万载县| 西青区| 越西县| 鹰潭市| 海原县| 远安县| 永定县| 金昌市| 惠东县| 大田县| 阿图什市| 揭东县| 浦江县| 尖扎县| 汶上县| 陈巴尔虎旗| 会理县| 平武县| 阿克| 沙洋县| 弋阳县| 济宁市| 资阳市| 澎湖县| 饶河县|