跳轉到內容

微積分/複分析

來自Wikibooks,開放世界中的開放書籍

複分析是研究復變數函式的學科。複分析是某些領域(例如電力工程等)中廣泛使用且強大的工具。

在我們開始之前,您可能需要回顧一下 複數

複數

複函式

[編輯 | 編輯原始碼]

復變數函式是能夠取複數值(以及嚴格實數值)的函式。例如,假設 f(z) = z2。該函式在複數 z 與其平方 z2 之間建立了對應關係,就像實變數函式一樣,但使用複數。請注意,對於 f(z) = z2,如果 z 是嚴格實數,則 f(z) 將是嚴格實數。

通常我們可以將函式 f(z) 寫成 f(z) = f(x+iy) = a(x,y) + ib(x,y) 的形式,其中 a 和 b 是實值函式。

極限與連續性

[編輯 | 編輯原始碼]

與實值函式一樣,我們也對復值函式有了極限和連續性的概念 - 我們通常的δ-ε 極限定義

當且僅當對於每個 ,存在一個 ,使得 對所有 成立,使得 .

請注意,ε 和 δ 是實數。這在使用不等式的過程中是隱含的:只有實數是“大於零”的。

這個極限定義和實值函式的定義之間的區別之一是絕對值的含義。這裡我們指的是複數絕對值而不是實數絕對值。另一個區別在於z 接近w 的方式。對於實值函式,我們只關心z 從左側或右側接近w。在複數環境中,z 可以從二維複平面中的任何方向接近w:沿著穿過w 的任何直線,沿著以w 為中心的螺旋線等。

例如,設 。假設我們要證明 。我們可以將z 寫成 ,其中我們認為γ 是一個小的複數。然後請注意 。然後,在我們的定義中,L 為 -1,w 為 i,我們有

根據三角不等式,最後一個表示式小於

為了使這個表示式小於 ε,我們可以要求

因此,對於任何 ,如果 ,並且 ,那麼 。因此,當 z 趨近於 i 時, 的極限為 -1。


微分和全純函式

[edit | edit source]

由於我們定義了極限,我們可以像平常一樣定義複函式的 導數

只要這個極限與 Δz 趨近於零的方式無關(因為我們現在在複平面上工作,我們有更大的自由度!)。

如果對於某個值 z 或某些值的集合(一個 區域)存在這樣一個極限,我們稱該函式在該點或區域 全純。連續性和單值性是解析的必要條件;然而,連續性和單值性不足以保證解析性。

許多復值的初等函式具有與實函式相同的導數:例如 D z2 = 2z

習題

[edit | edit source]

根據以上內容,回答以下問題。

  1. 從極限定義中求出 z3 的導數。
  2. ez 寫成 a(x, y)+b(x, y)i 的形式

答案

[edit | edit source]

1.

2.

柯西-黎曼方程

[編輯 | 編輯原始碼]

我們可能想知道哪些複函式實際上是可微的。看起來全純函式的判據比實函式的可微性判據要嚴格得多,事實也確實如此。假設我們有一個複函式

,

其中 uv 是實函式。此外,假設 uv 在實數意義上是可微函式。那麼我們可以讓 在可微性定義中,透過僅改變 x 或僅改變 y 來逼近 0。因此,只有當 f 滿足以下條件時,它才能在複數意義上可微

事實上,如果 uv 在實數意義上是可微的,並且滿足這兩個方程,那麼 f 就是全純的。這兩個方程被稱為柯西-黎曼方程。

在單變數微積分中,積分通常是在兩個實數之間計算的

在實數軸上,從 只有一個路徑。然而,在複平面中,在兩點 之間有無數條不同的路徑。因此,復積分總是沿著路徑進行,而不是在兩點之間進行。

是複平面中由 引數化的路徑,設 是一個復值函式,則輪廓積分的定義類似於多元微積分中的線積分

,設 是從 01+i 的一條直線,這條曲線可以用 引數化,其中 在 0 到 1 之間變化。現在我們可以計算

注意我們也有

這表明,復反導數可用於簡化積分的計算,就像實反導數用於計算實積分一樣。

柯西定理

[edit | edit source]

柯西定理指出,如果函式 在開集 的閉包上是全純的,而 中的一條簡單閉曲線,那麼

這可以從格林定理的角度理解,雖然這並不能輕易地得到證明,因為格林定理只在假設 f 有連續的一階偏導數的情況下適用...

輪廓積分

[edit | edit source]
進行積分的輪廓

柯西定理可以用來計算許多瑕積分(瑕積分是指積分割槽間中包含無窮大)。例如,考慮

因為

我們考慮

現在我們對上圖所示的凹半圓形輪廓進行積分。我們對輪廓的每個部分進行如下引數化

,
,
,
,

根據柯西定理,整個輪廓的積分值為零。所以,

現在我們分別處理這些積分。

回憶複數正弦的定義,

現在我們評估另外兩個積分

時,被積函式趨近於 1,所以

第四個積分等於零,但這個有點難證明。它的形式與第三段類似

這個被積函式更難,因為它不一定在任何地方都趨近於零。這個困難可以透過將積分分開來克服,但這裡我們簡單地假設它為零。

結合所有內容,我們現在有

因此,

柯西積分公式

[編輯 | 編輯原始碼]

柯西積分公式描述了全純函式在一個集合上的行為,該行為基於其在該集合邊界上的行為。 如果 是一個具有分段光滑邊界的開集,並且 中是全純的,那麼

這是一個非凡的事實,在多元微積分中沒有對應的結論。 它表明,如果我們知道全純函式沿著閉曲線的取值,那麼我們也知道它在曲線內部的任何地方的取值。

因為 是一個開集,因此對於所有 都有 。 因此,柯西積分公式中的被積函式關於 z 是無限可微的,透過反覆對等式兩邊求導,我們得到

這個結果表明,全純性比可微性是一個更強的要求。 在複平面上,如果一個函式在一個開集中只有一個導數,那麼它在這個開集中有無窮多個導數。

柯西定理的推論

[edit | edit source]

柯西定理和積分公式有一些強大的推論

  • 冪級數的收斂性 如果一個函式在一個圓盤中是全純的,那麼它的泰勒級數在這個圓盤中收斂。
  • 劉維爾定理 如果一個函式在整個 中有界且全純,那麼它等於一個常數。
  • 代數基本定理 任何具有復係數的次數大於零的多項式都有一個復根。 這是劉維爾定理的一個簡單推論。
  • 函式的相等性 如果兩個函式 在一個連通的開集 上是全純的,並且在該集合中的任何圓盤上 ,那麼對於所有 都有
華夏公益教科書