晉守博

(宿州學院數(shù)學與統(tǒng)計學院，安徽宿州234000)

0 引 言

復(fù)變函數(shù)起源于19世紀，起初它研究的中心對象是解析函數(shù)，解析函數(shù)理論在解決平面無源無旋場的問題時能夠顯示巨大的威力，但對有源場或有旋場卻無能為力，到了20世紀30年代，相繼出現(xiàn)了準解析函數(shù)和廣義解析函數(shù)，盡管理論上得到了很多結(jié)果，但通常十分繁瑣，并且至今在力學、物理學上找不到明顯的背景，到了1988年王見定在文獻［1］首次提出了共軛解析函數(shù)的概念，這是一種與解析函數(shù)對稱的復(fù)變函數(shù)，他可以描述無源場或無旋場，共軛解析函數(shù)的提出使復(fù)變函數(shù)達到了對稱完美，共軛解析函數(shù)可以用來解決解析函數(shù)所能解決的所有問題，并且比解析函數(shù)更加直觀方便.文獻［2］討論了這種函數(shù)在力學上的初步應(yīng)用，介紹了共軛解析函數(shù)的物理背景.然而，上述關(guān)于共軛解析函數(shù)的討論都局限在復(fù)變函數(shù)的范圍內(nèi)，而關(guān)于矢量值函數(shù)的討論也僅僅局限于矢量值解析函數(shù)的討論，很少有涉及矢量值共軛解析函數(shù)的內(nèi)容.

本文將給出一種從復(fù)平面到Banach空間的矢量值共軛解析函數(shù)，分析矢量值函數(shù)共軛解析的充要條件，對于復(fù)變函數(shù)共軛解析的充要條件文獻［3］和［4］分別從指數(shù)形式和復(fù)形式兩個不同方面進行了詳細的討論，關(guān)于復(fù)值共軛解析函數(shù)的進一步討論可以參考文獻［1］.

王見定在文獻［1］中給出了如下共軛導(dǎo)數(shù)與共軛積分的概念.

定義1 設(shè)復(fù)變函數(shù)w=f(z)在區(qū)域D內(nèi)有定義，給自變量z=x+iy∈D以增量△z=△x+△yi使(z+△z)∈D并計算由自變量所引起的復(fù)變函數(shù)w=f(z)的增量:

這時稱復(fù)變函數(shù)f(z)在點z共軛可導(dǎo)或共軛可微.

若復(fù)變函數(shù)w=f(z)在區(qū)域D內(nèi)處處共軛可導(dǎo)，則稱f(z)為區(qū)域D內(nèi)的共軛解析函數(shù)，或稱f(z)在區(qū)域D內(nèi)共軛解析.

根據(jù)以上復(fù)變函數(shù)共軛解析的定義以及矢量值函數(shù)解析［5］的概念，我們引入如下矢量值函數(shù)共軛解析與共軛積分的定義.

定義2 從復(fù)平面的開子集U到Banach空間X中的矢量值函數(shù)x(z)稱為弱共軛解析的，是指對任意的f∈X*，f(x(z))是U中的復(fù)值共軛解析函數(shù);x(z)稱為強解析的，是指對任意的z∈U，x(z)在z處強可導(dǎo)，即存在x'(z)∈X，使得

1 主要結(jié)論與證明

為了討論矢量值共軛解析函數(shù)的充要條件，首先給出下面兩個引理.

引理1 “弱共軛解析”等價于“強共軛解析”.

證明 必要性是顯然的，強共軛解析可以推出弱共軛解析.

對于充分性的證明，可以設(shè)x(z)在U中弱共軛解析，對任意固定的z∈U、z+△z∈U，取U中的周線(即逐段光滑的簡單閉曲線)Γ包圍z，z+△z，于是由共軛解析函數(shù)的柯西積分公式，對任意的f∈X*，有

因此對每個f∈X*，有f(x(w))是Γ上的有界函數(shù)，以及一致有界定理

所以

其中l(wèi)表示曲線Γ的長度，當△z→0時，上式右邊趨于0，且對‖f‖≤1是一致的，從而x(z)在z處強共軛可導(dǎo).

根據(jù)引理1，下面我們可以不加區(qū)別地直接說共軛解析.

引理2 設(shè)x(z)是從復(fù)平面的開子集U到Banach空間X的共軛解析函數(shù)，z∈U，Γ是U中包圍z的周線，則對任意的正整數(shù)n，x(z)在z處是n次強共軛可導(dǎo)的，且

證明 對任意的f∈X*，f(x'(z))=f'(x(z))是U中的共軛解析函數(shù)，因此x'(z)是U中的弱共軛解析函數(shù)，從而由引理1知，x'(z)在U上是強共軛解析的，依此類推，x(n)(z)也是U中的強共軛解析函數(shù)，此外，對任意的f∈X*，有

現(xiàn)在通過上面兩個引理來討論矢量值函數(shù)共軛解析的充要條件.

定理1 矢量值函數(shù)x(z)在區(qū)域G上共軛解析的充要條件為

(1)x(z)在區(qū)域G上連續(xù).

證明(必要性)設(shè)矢量值函數(shù)x(z)在區(qū)域G上共軛解析，顯然有x(z)在區(qū)域G上連續(xù).

另外由函數(shù)x(z)的連續(xù)性可知，x(z)在周線Γ上一致連續(xù)，又因為周線是可求長的，所以矢量值函數(shù)的共軛積分存在，且對任意的f∈X*，有

(充分性)對任意的f∈X*，由x(z)的連續(xù)性可知，f(x(z))在區(qū)域G上也連續(xù)，并且由已知條件(2)可得

由復(fù)值函數(shù)共軛解析的充要條件［1］可知，f(x(z))在區(qū)域G上共軛解析.再利用引理1可得，矢量值函數(shù)x(z)在區(qū)域G上共軛解析.

定理2 如果x(z)是取值于Banach空間X上而在{z;|z－z0|＜r}中共軛解析，則有共軛冪級數(shù)展開式

且級數(shù)依范數(shù)是絕對收斂的，同時在{z;|z－z0|＜r}內(nèi)依范數(shù)內(nèi)閉一致收斂.

反之，如果x(z)在{z;|z－z0|＜r}上可以表示成依范數(shù)絕對收斂的級數(shù)

則x(z)在{z;|z－z0|＜r}上是共軛解析的，且

證明 設(shè)0 ＜ ρ＜ ρ1＜ r，K=sup{‖x(z)‖;|z－z0|= ρ1}.依引理2

由此可見，級數(shù)

在圓{z;|z－z0|≤ρ}中依范數(shù)絕對一致收斂.

對任意的f∈X*，由復(fù)值函數(shù)的共軛冪級數(shù)展式可得

從而

反之，對任意的f∈X*，有

所以f(x(z))在圓|z－z0|＜r內(nèi)共軛解析，且

從而x(z)在{z;|z－z0|＜r}上是共軛解析的，且

推論1 矢量值函數(shù)x(z)在區(qū)域G內(nèi)共軛解析的充要條件為x(z)在區(qū)域G內(nèi)任何一點z0的鄰域內(nèi)可展成的冪級數(shù).

證明 由定理2容易得到上面結(jié)論.

關(guān)于解析函數(shù)和共軛解析函數(shù)的應(yīng)用，目前結(jié)論比較少，文獻［6］討論了一類算子值解析函數(shù)族的極值點，展示了矢量值解析函數(shù)的一些應(yīng)用.我們將引用文獻［2］的例子，簡單地介紹一下在特殊情況下矢量值共軛解析函數(shù)的應(yīng)用，當Banach空間X為全體復(fù)數(shù)時，在這種情況下，矢量值共軛解析函數(shù)有比較明確的物理意義，下面來看一個穩(wěn)定平面流動的例子.

例1 我們用共軛解析函數(shù)描述以等速c從平面的左方向右方的流動，顯示，此流動的流線cy=c1和等勢線cx=c2，我們可以用共軛解析函數(shù)f(z)=cx－icy來表示此流動，并稱它為此流動的復(fù)形.它的共軛導(dǎo)數(shù)為:f'(z)=c剛好是流動的速度.

在靜電場中，我們可以用共軛解析函數(shù)w=f(z)來作為它的復(fù)形，且它的共軛導(dǎo)數(shù)f'(z)=E正好是該電場的場強.

我們再來看一下共軛解析函數(shù)在平面電場中的應(yīng)用.

例2 研究在點z=0處垂直于z平面的一條無限長均勻電荷線，單位長度所帶電荷量為m所激發(fā)的靜電場.

顯然，這是一個調(diào)和平面場，只需研究z平面上場的特點即可.我們引進共軛解析函數(shù)，由題意可知，Argz=常數(shù)，所以所求電場的電力線ln|z|=常數(shù)，從而所求電場的等位線|z|=常數(shù).此時，w(z)的共軛導(dǎo)數(shù)正好是該電場的場強.

［1］王見定.半解析函數(shù)與共軛解析函數(shù)［M］.北京:北京工業(yè)大學出版社，1988.35－84.

［2］王見定.半解析函數(shù)與共軛解析函數(shù)及其在力學上的應(yīng)用［J］.力學進展，1997，27(2):257－263.

［3］仝澤柱，婁正凱.復(fù)變函數(shù)共軛解析的充要條件［J］.徐州工程學院學報，2006(3):97－106.

［4］王海英.復(fù)變函數(shù)共軛可微的又一充要條件［J］.吉林師范大學學報(自然科學版)，2008(2):82－83.

［5］彭志剛.一類算子值解析函數(shù)族的極值點［J］.數(shù)學物理學報，2008，28A(5):945－957.