解析開拓

解析延拓,是數學上將解析函式從較小定義域拓展到更大定義域的方法。實質是定義域擴大的過程。透過此方法,一些原先發散級數在新的定義域可具有迥異而有限的值。其中最知名的例子為Γ函式黎曼ζ函式

基本介紹

  • 中文名:解析開拓 
  • 外文名:Analytic continuation 
  • 實質:定義域擴大的過程
  • 關係:ƒ1和ƒ2
  • 學科:數理科學
  • 定義:解析函式的定義域擴大的過程
簡介,定義,解析介紹,施瓦茲對稱原理,冪級數展開式原理,基本原理,

簡介

解析開拓是解析函式的定義域擴大的過程
解析開拓通常有兩種方法,一種是利用冪級數進行解析開拓,這是外爾斯特拉斯的貢獻。他研究了解析函式用冪級數表示的問題。如果已知一個冪級數,它在某個有限區域內表示一個複函數,外爾斯特拉斯推導出在其他區域中定義同一函式的另一些冪級數,這些冪級數都是已知複函數的解析開拓。
在解析開拓的過程中,有時定義域逐次開拓後已不是平面域,而是覆蓋在平面上的多葉域,函式則成為多值函式。為此,外爾斯特拉斯引入完全解析函式與黎曼曲面的概念。他還給出第一個冪級數的例子,其收斂圓是它的自然邊界。這個冪級數所表示的函式是不能解析開拓的。
另一種解析開拓的方法是利用施瓦茲對稱原理,這是由德國數學家施瓦茲建立的把解析函式定義域作對稱擴大的解析開拓法。

定義

自然對數虛部之解析延拓
f為一解析函式,定義於複平面C中之一開子集U,而VC中一更大且包含U之開子集。F為定義於V之解析函式,並使
F稱為f解析延拓。換過來說,將F函式限制在U則得到原先的f函式。
解析延拓具有唯一性:
V為兩解析函式F1F2連通定義域,並使V包含U;若在U中所有的z使得
則在V中所有點
此乃因
亦為一解析函式,其值於f的開放連通定義域U上為0,必導致整個定義域上的值皆為0。此為全純函式之惟一性定理的直接結果。

解析介紹

施瓦茲對稱原理

施瓦茲對稱原理是把解析函式定義域作對稱擴大的解析開拓法,其基本原理是:設ƒ的定義域G在上半平面內,且以實軸上線段у為部分邊界,ƒ在
上有定義且連續,在G內解析,在γ上ƒ取值平面上實軸的值。G關於實軸的對稱域
定義為,則ƒ可解析開拓為域
的解析函式g,當時,
,當
時,。如果把原理中的上半平面改為圓實軸上的γ改為圓周上的弧,
改為G關於圓周對稱的域,利用線性分式變換,可以證這一原理仍成立。
此外,ƒ在γ上可以改為取值平面上某圓周上的值。更一般的情況,如果ƒ的定義域G的邊界有一段解析弧γ,ƒ在
上連續,在G內解析,在γ上ƒ取值在值平面的圓弧或解析弧上,則可證明,ƒ可越過γ進行解析開拓。使開拓後的域包含γ 在內部。對稱開拓法一般套用於多邊形域,模函式的構造就是典型的例子。

冪級數展開式原理

完全解析函式是外爾斯特拉斯引入的解析函式的概念,它是冪級數定義的解析函數元素經所有可能的解析開拓而成的整體。
函式元素是指具有非零半徑的收斂圓的冪級數,α稱為元素的中心。
是收斂圓內的解析函式。用有序對
表示這樣的元素。函式
稱為 的直接開拓,如果b在
的收斂圓內,在b的鄰域內。在平面上給定一弧у(t),,у的起點
,終點
。元素
稱為
沿弧у的解析開拓,如果對每一個t,0≤t≤1,存在惟一的函式元素
,使得對每個固定的t0,0≤t0≤1,
當t充分接近t0時,pt總是的直接開拓,另外p0=p,p1=q。函式元素沿弧的解析開拓總是惟一的。
給定一個函式元素,沿所有可能的平面上弧的解析開拓得到的函式元素的全體,用F表示之,稱之為完全解析函式。F是一個函式元素集,它是一個解析函式,它局部地等於其中每一個函式元素,它是一個多值函式。F的定義域一般已不是平面域。這個定義域局部地看是其中函式元素的收斂圓,它是這些收斂圓按對應元素的解析開拓連線而成的,覆蓋在平面上的多葉域。
按現代黎曼曲面定義,選取收斂圓作為局部參數鄰域,z作為局部參數,F的定義域是一個黎曼曲面,F是其上的單值解析函式。通常研究多值解析函式時,要分出它的單值分支。對此要用到所謂單值性定理,其具體的形式是:如果一個函式元素在一個單連通域內,沿所有的弧可以解析開拓,則開拓後得到一個惟一的單值解析函式,它在這單連通域內每點上的值等於函式元素的值。對於F來說,套用單值性定理,找出適當的單連通域,便分出F對應於其上的單值分支。完全解析函式最簡單的例子是,它的定義域是覆蓋在除去0點的平面上的兩葉域。
按單值性定理,在割去正實軸的平面上,它有兩個單值分支,它的定義域即黎曼曲面是由這兩葉割裂平面按兩個單值分支的解析開拓連線得到。這裡的定義域不包含0點與∞點, 因此還要引入解析構形的概念。首先要擴充函式元素的概念。考慮形如的級數,式中λ是正整數,μ是整數。這級數在一個λ葉圓上收斂,它是一個解析函式
當λ=1時它就是前面的函式元素,稱為正則函式元素,其中μλα稱為分支點,它的階為λ-1。對於擴充後的函式元素,同樣可以定義直接開拓,及沿平面弧的解析開拓。極元素及代數函式的直接開拓是正則元素。對於擴大的函式元素類,給定一個函式元素,沿平面上所有弧的解析開拓得到函式元素的全體,記之為R,稱為解析構形。R是一個解析函式,它的值局部地由函式元素的值確定。
它的定義域是正則元素的收斂圓及代數函式的λ葉圓經解析開拓連線而成,它是一個黎曼曲面,在這裡對於代數函式元素,取對應的λ葉圓作為局部參數鄰域,z=α+tλ作為參數映射,t作為局部參數。R是這黎曼曲面上的單值解析函式。從這一過程中可知,一個完全解析函式附加上所有極元素和代數函式元素後就成為解析構形。上面提到的,加上0 點及∞點的對應代數函式元素就是一個解析構形的最簡單例子,這時它的黎曼曲面成為閉曲面。解析構形的概念大大拓廣了解析函式的概念,例如,它使我們能夠定義代數函式及代數體函式。它使得一切解析函式都存在反函式,這些函式都是解析構形。

基本原理

通常有兩種解析開拓的方法,一是利用施瓦茲對稱原理,一是利用冪級數展開式。對於一個解析函式來說,它的定義域可能完全不能開拓,這時稱定義域具有自然邊界,有例子說明這點。
另一情況是,定義域逐次開拓後已不是平面域,而是覆蓋在平面上的多葉域,函式本身是多值函式。據此,外爾斯特拉斯用冪級數解析開拓,引入完全解析函式黎曼曲面的概念。

相關詞條

熱門詞條

聯絡我們