鮑祥平
【摘要】隨著現(xiàn)代科學(xué)技術(shù)的日新月異,往往有些東西需要我們反復(fù)的探討研究重新去發(fā)現(xiàn)他的價(jià)值及正確性。如多維復(fù)數(shù)是否存在,復(fù)數(shù)的運(yùn)算法則怎么來(lái)的,復(fù)變函數(shù)導(dǎo)數(shù)的幾何意義是什么,又如復(fù)數(shù)指數(shù)函數(shù)是怎么回事,特別是其定義很抽象很難懂,所以有必要給出一個(gè)形象直觀的描述。
【關(guān)鍵詞】復(fù)數(shù)的四則運(yùn)算 連續(xù),光滑,可導(dǎo),可微 導(dǎo)數(shù)的幾何意義 復(fù)數(shù)的復(fù)數(shù)指數(shù)函數(shù) 復(fù)數(shù)E 多維復(fù)數(shù)
㈠預(yù)備知識(shí):
(N維)復(fù)數(shù)包含兩部分:一個(gè)是模,另一個(gè)是復(fù)角信息;復(fù)數(shù)包含兩個(gè)層面:一個(gè)是”數(shù)值”層面,一個(gè)是數(shù)字層面。我們把只關(guān)系到”數(shù)值”層面的表達(dá)式a+bi稱(chēng)為向量表達(dá)式;而數(shù)字層面關(guān)系到模及所有復(fù)角,其表達(dá)式為指數(shù)表達(dá)式或三角表達(dá)式ea+bi,a(cosα+isinα)。Z=x(cosα+isinβ).復(fù)數(shù)的四則運(yùn)算與向量法則有關(guān),與i無(wú)關(guān),但i在一般情況下可做替代運(yùn)算。復(fù)數(shù)的加法一般用向量法則進(jìn)行,但有時(shí)為了需要我們必須分析它的復(fù)角在加法中的變化。下面給出一種帶復(fù)角的復(fù)數(shù)加法運(yùn)算:ex[cos(α+2kπ+2nπ)+isin(α+2kπ+2nπ)]+ey[cos(β+2nπ)+isin(β+2nπ)]=ex+i2nπ[cos(α+2kπ)+isin(α+2kπ)]+ey+i2nπ[cos(β)+isin(β)]=ez[cos(γ+2kπ+2nπ)+isin(γ+2kπ+2nπ)],x,y,z為實(shí)數(shù)。加數(shù)無(wú)論復(fù)角有多大,真正起作用的是”運(yùn)算主值”面的角(0--2π),與加數(shù)所含有的周期數(shù)無(wú)關(guān);得數(shù)與被加數(shù)含有的周期數(shù)一致,再加上主值里面的角度因加數(shù)而產(chǎn)生的變化。被加數(shù)稱(chēng)為原始量,加數(shù)被稱(chēng)為影響因子,得數(shù)稱(chēng)為相對(duì)于原始量的改變量,加法運(yùn)算時(shí)原始量逆向旋轉(zhuǎn),角度增大,減法順時(shí)針旋轉(zhuǎn),角度減小。函數(shù)也分為數(shù)值式和數(shù)字式,數(shù)值式只考慮復(fù)角0到2π,至于數(shù)字式這里不做介紹。之所以做這樣的規(guī)定是為復(fù)數(shù)的乘法定律做鋪墊,為復(fù)變函數(shù)的研究,比如復(fù)數(shù)的復(fù)數(shù)指數(shù)形式的研究提供據(jù)依據(jù)。
乘法定律:我們把這樣一類(lèi)求復(fù)數(shù)的倍數(shù)或者求等分或者求旋轉(zhuǎn)一個(gè)角度的復(fù)數(shù)加減法的組合形式的特殊運(yùn)算叫復(fù)數(shù)的乘法或者除法;見(jiàn)《論三維復(fù)數(shù)的存在性》。
㈡ 復(fù)變函數(shù)光滑可導(dǎo)的定義
如果一元函數(shù)在其定義域里每點(diǎn)導(dǎo)數(shù)連續(xù)我們稱(chēng)其連續(xù)光滑。如果f(x,y)在定義域里兩個(gè)偏導(dǎo)數(shù)(或者方向?qū)?shù))存在且連續(xù)我們稱(chēng)f(x,y)是連續(xù)光滑的。(有導(dǎo)數(shù)不存在點(diǎn)時(shí),函數(shù)也有可能是連續(xù)光滑的)
復(fù)變函數(shù)光滑可導(dǎo)的定義:復(fù)變函數(shù)f(z)=u+vi自變量以任意方向(光滑路徑)趨近定義域里的某一點(diǎn)時(shí),那么復(fù)變函數(shù)FZ趨向相應(yīng)點(diǎn)的充分小的鄰域里的路徑也是光滑的,都近似直線或是直線,則稱(chēng)其在該點(diǎn)是光滑的,如果復(fù)變函數(shù)在該點(diǎn)偏導(dǎo)數(shù)dx(u),dy(v),dx(v),dy(u)存在且dx(u)=dy(v),dx(v)=-dy(u)稱(chēng)復(fù)變函數(shù)在該點(diǎn)光滑可導(dǎo),如果在復(fù)變函數(shù)有定義的區(qū)域里每一點(diǎn)都是光滑的,且偏導(dǎo)數(shù)dx(u),dy(v),dx(v),dy(u)存在且dx(u)=dy(v),dx(v)=-dy(u)則稱(chēng)復(fù)變函在該定義域數(shù)光滑可導(dǎo)。
㈢復(fù)變函數(shù)導(dǎo)數(shù)的幾何意義
下圖只畫(huà)了一個(gè)曲面的其中一條空間曲線,方向?qū)?shù)等于dz/(dx?+dy?)?。隨著ae與X軸的夾角的變化,其方向?qū)?shù)也在不斷變化。方向?qū)?shù)和偏導(dǎo)數(shù)的關(guān)系:dz/(dx?+dy?)?=[dx(z)+dy(z)]/(△x?+△y?)?=[dx(z)+dy(z)]/(△x?+[f′(x)△x]?)?=△x[fx(z)+fy(z)f′(x)]÷|△x|[1+|f′(x)|]?。
三維圖形切線方向?qū)?shù)如下圖:
u,v的方向?qū)?shù)存在且連續(xù)dx(u)=dy(v),dx(v)=-dy(u)那么f′(z)的復(fù)角為定值。f(z)可導(dǎo)導(dǎo)數(shù)復(fù)角必為定值。
虛擬定義:我們建立如下坐標(biāo)系:把Z的復(fù)平面當(dāng)做X軸,F(xiàn)(z)所處的復(fù)平面當(dāng)做Y軸建立坐標(biāo)系,稱(chēng)復(fù)數(shù)四維空間虛擬簡(jiǎn)化坐標(biāo)系。復(fù)變函數(shù)F(z)的導(dǎo)數(shù)Fˊ(z)表示在四維空間里復(fù)變函數(shù)的圖形上的“切線的斜率”。我們把形如F(z)=z1×z稱(chēng)為線性復(fù)函數(shù)。必須用復(fù)數(shù)的眼光來(lái)看待復(fù)變函數(shù)隨復(fù)數(shù)自變量的變化規(guī)律,沒(méi)有真實(shí)的四維圖形,我們看四維空間的圖形,其實(shí)是看的那種規(guī)律。
復(fù)變函數(shù)導(dǎo)數(shù)分析:選定一點(diǎn)z0,當(dāng)z趨近z0時(shí)F(z)趨近F(z0),z充分趨近z0時(shí),z,F(xiàn)(z)以輻射的(近似)直線分別光滑趨近z0,F(xiàn)(z0),如(圖一)。這時(shí)|Fˊ(z)|等于F(z)在F(z0)點(diǎn)的改變量的模|F(z)-F(z0)|相對(duì)于Z在Z0點(diǎn)的改變量的模|z-z0|的比值,或模變化率。它相當(dāng)于Z在z0點(diǎn)以α+δ=β的α角度變化時(shí)F(z)的模的變化量[|F(z)|-|F(z0)|]相對(duì)于Z的改變量的模|z-z0|的比值。|Fˊ(z)|cosδ等于當(dāng)Z在z0點(diǎn)以角度α=β變化時(shí)F(z)的模的變化量[|F(z)|-|F(z0)|]相對(duì)于Z的改變量的模|z-z0|的比值,或軸向變化率。|Fˊ(z)|sinδi等于當(dāng)z在z0點(diǎn)以角度α=β變化時(shí)F(z)在F(z0)點(diǎn)繞(0,0)點(diǎn)做旋轉(zhuǎn)的圓周速度。F'(z)復(fù)角δ表示dF(z)在F(z0)點(diǎn)的變化方向與Z在Z0點(diǎn)的變化方向的角度之差。他隨著z以角度α趨近z0時(shí)的呈現(xiàn)“保角性”,(令α=x+2kπ)argF'(z)+α叫做z以角度α趨近z0時(shí)dF(z)在F(z0)的變化方位角,如果F(z)在z0的函數(shù)值F(z0)的復(fù)角為β,(β=xˊ+2kπ)那么argF'(z)+α-β為dF(z)在F(z0)點(diǎn)的變化方位角與F(z0)點(diǎn)的復(fù)角之差,稱(chēng) dF(z)相對(duì)于F(z0)的相對(duì)變化角。γ為z0復(fù)角,γ在范圍[2Nπ,2(N+1)π]里變化,β在另一個(gè)范圍[2Kπ,2(K+1)π]里變化)。
下面提供一個(gè)從自變量復(fù)平面上其中一條路徑分析復(fù)變函數(shù)圖
㈣復(fù)數(shù)的復(fù)數(shù)指數(shù)函數(shù)
由于復(fù)數(shù)的復(fù)數(shù)指數(shù)函數(shù)本身沒(méi)有實(shí)際意義,針對(duì)這個(gè)問(wèn)題我們可以建立復(fù)數(shù)的復(fù)數(shù)指數(shù)函數(shù)與復(fù)數(shù)的一種對(duì)應(yīng),以滿足復(fù)數(shù)運(yùn)算的需要,賦予它一種抽象的意義,從而闡明它存在的價(jià)值。
定義:如果z0z有意義,那么其取值在復(fù)數(shù)域里,我們把f(z)=z0z=e(x+yi)(a+bi)稱(chēng)為復(fù)數(shù)的復(fù)數(shù)指數(shù)函數(shù)一般表達(dá)式,并且和復(fù)數(shù)有著唯一的一一對(duì)應(yīng)關(guān)系,求導(dǎo)法則和實(shí)數(shù)域里一樣。
下面來(lái)說(shuō)明這種對(duì)應(yīng)的存在性和唯一性,以及求導(dǎo)性質(zhì)。
存在性:首先從特殊形式分析,我們先假定F(z)=ez=ex+yi,令F(z)=ez=ex+yi有意義,那么其值必定在復(fù)數(shù)域里,假設(shè)ez=Z1=a1+b1i,存在F(z)=ez=ex+yi滿足指數(shù)函數(shù)的運(yùn)算性質(zhì),F(xiàn)(Z1)F(Z2)=F(Z1+Z2)=ez1+z2=ez1ez2,那么ex+yi可以唯一展開(kāi)成exeyi這種形式的兩部分之積(一部分只含有x的項(xiàng),另一部分只含有yi的項(xiàng)),那么就應(yīng)該有Z1=f(x)f(yi)=ex+yi=exeyi我們知道復(fù)數(shù)Z1=a1+b1i可以變形為ex1(cosy1+isiny1)且ex1=(a1?+b1?)?,cosy1=a1/(a1?+b1?)?,siny1=b1/(a1?+b1?)?。那么x1與y1是不是我們所求的ex+yi中的x與y呢?下面令F(z)=ex(cosy+isiny),F(xiàn)(z)=ez=ex+yi我們只需證明它們有連續(xù)的N階導(dǎo)數(shù)且相等,那么它們的泰勒級(jí)數(shù)展開(kāi)式相同了,故而一定是同一函數(shù),因此x1與y1是我們所求的ex+yi中的x與y。dx[ex(cosy+isiny)]/dx=ex(cosy+isiny),dyi[ex(cosy+isiny)]/dyi=ex(cosy/dyi+isiny/dyi)=ex(cosy+isiny),另外dxex+yi=eyiex=ex+yi=ex(cosy+isiny),dyiex+yi=exdyieyi=exeyi(e△yi-1)/△yi由假設(shè)F(z)=ez=ex+yi=ex(cosy+isiny)所以(e△yi-1)/△yi=[(cos△y+isin△y)-1]/△yi=1(分子分母同趨于零,所以上下同時(shí)求導(dǎo)得1,或者利用等價(jià)無(wú)窮小也得一)所以exeyi(e△yi-1)/△yi=ex+yi[(cos△y+isin△y)-1]/△yi=ex+yi=ex(cosy+isiny)。(注意:以前ex+yi與ex(cosy+isiny)的關(guān)系是通過(guò)ex+yi對(duì)y求導(dǎo)然后分析其泰勒級(jí)數(shù)展開(kāi)式得來(lái)的,實(shí)際上F(z)=ez=ex+yi對(duì)y求導(dǎo)沒(méi)關(guān)系,yi是一個(gè)整體,在求導(dǎo)過(guò)程中一般沒(méi)必要單獨(dú)只對(duì)y求導(dǎo))。用同樣的方法可以證明 d(x+yi)[ex(cosy+isiny)]/d(x+yi)=ex(cosy+isiny)=ex+yi=dx+yiex+iy/d(x+yi)。
d(x+yi)ex+yi=ex+yi﹙e△(x+yi)-1)/△x+yi=ex+yi﹙e△xe△yi-1)/△(x+yi)=ex+yi(e△xcos△y+e△xisin△y-1)/△(x+yi)=ex+yi△(x+yi)/△(x+yi)=ex+yi
dx+yi[ex(cosy+isiny)]/dx+yi=﹛ex+△x[cos(y+△y)+isin(y+△y]-ex(cosy+isiny)﹜/△(x+yi)=ex+yi(e△xcos△y+e△xisin△y-1)/△(x+yi)=ex+yi=ex(cosy+isiny)(e△x∝1+△x,cos△y∝1-?△y?,sin△y∝△y)因此ex+yi與ex(cosy+isiny)N階連續(xù)偏導(dǎo)數(shù)存在且分別相等,那么它們的泰勒級(jí)數(shù)展開(kāi)式相同了,因此是同一函數(shù)。證明了它們是同一函數(shù)之后還需分析其四則運(yùn)算的一致性,因?yàn)樗鼈兺瑫r(shí)也代表一個(gè)具體的數(shù),但這點(diǎn)很直觀,容易證明,(證明略)存在性得證。
至于Z1=a1+b1i=ex1(cosy1+isiny1)其它形式的變形,要么就是ex1(cosy1+isiny1)的等價(jià)變換最終化簡(jiǎn)還是ex1(cosy1+isiny1)這種形式;要么就是其它類(lèi)型的函數(shù),那么與ex1(cosy1+isiny1)是不同函數(shù),則與F(z)=ez=ex+yi也是不同的函數(shù),所以對(duì)應(yīng)無(wú)法建立。唯一性得證。
通過(guò)前面預(yù)備知識(shí)復(fù)數(shù)有兩個(gè)層面,當(dāng)用數(shù)字層面運(yùn)用到復(fù)數(shù)的指數(shù)形式或?qū)?shù)形式時(shí),就不會(huì)有多值的問(wèn)題,分析問(wèn)題會(huì)相對(duì)簡(jiǎn)潔。
對(duì)于一般形式z1x+yi由于可能不可導(dǎo)(除F(z)=ez=ex+yi外)所以按同樣的方法做對(duì)應(yīng)不成立,所以唯一可以把z1x+yi變形為e(x+yi)(a+bi)的形式去求出對(duì)應(yīng)關(guān)系。所以這種對(duì)應(yīng)關(guān)系是唯一的一一對(duì)應(yīng)關(guān)系。
復(fù)變函數(shù)F(z)=ez=ex+yi=ex(cosy+isiny)他們之間相互關(guān)系可以用實(shí)變函數(shù)F(y)=x×x=x?加以比較。ez=ex+yi描述ex(cosy+isiny)是怎么得來(lái)的;x×x描述x?怎么得來(lái)的。
F(z)=ez=ex+yi=ex(cosy+isiny)
F(y)=x×x = x?
復(fù)數(shù)領(lǐng)域的E=(1+△x+△iy)1/△x+△iy=[e(△x+△iy)]1/△x+△iy(1+△x+△iy與e(△x+△iy)是等價(jià)無(wú)窮?。?/p>
對(duì)[e(△x+△iy)]1/△x+△iy取對(duì)數(shù)
ln[e(△x+△iy)]1/△x+△iy
=1/(△x+△iy)ln[e(△x+△iy)]
=(△x+△iy)/(△x+△iy)=1
則(1+△x+△iy)1/△x+△iy
=[e(△x+△iy)]1/△x+△iy=e
1+△x+△iy與e(△x+△iy)是等價(jià)無(wú)窮小,由泰勒級(jí)數(shù)可以推導(dǎo)出。
e(x+iy)=f(0)/0!+[f′(0)/1!](x+yi)+[f′′(0)/2!](x+yi)2+…+[fn(0)/n!](x+yi)n+Rn(x+yi)
當(dāng)x,y同時(shí)趨近0時(shí)
e(△x+i△y)=f(0)+(△x+△iy)+1/2(△x+△iy)2+…[fn(0)/n!](△x+△yi)n+Rn(△x+△yi)≈f(0)+(△x+△iy)=1+(△x+△iy) ㈤有關(guān)三維復(fù)數(shù)及多維復(fù)數(shù)
對(duì)于三維復(fù)數(shù)見(jiàn)有關(guān)《論三維復(fù)數(shù)的存在性》下面給出四維復(fù)數(shù)的表達(dá)式,N維的依此類(lèi)推:z4=(a?+b?+c?+d?)?cosα+(a?+b?+c?+d?)?sinα(icosβ+jsinβcosγ+lsinβsinγ)