蔡潔潔，吳波

（南京財(cái)經(jīng)大學(xué)應(yīng)用數(shù)學(xué)學(xué)院，江蘇南京210023）

0 引言

自1828年，英國人GREEN引入了一個(gè)以其姓命名的重要函數(shù)后，格林函數(shù)在數(shù)學(xué)物理方法中一直扮演著十分重要的角色。

格林函數(shù)在數(shù)學(xué)物理領(lǐng)域是一個(gè)十分重要的概念，經(jīng)常出現(xiàn)在常微分方程、橢圓型和拋物型偏微分方程的邊值問題中。利用格林函數(shù)可以將微分方程的邊值問題轉(zhuǎn)化為積分方程。求解Laplace方程、Helmholtz方程等，關(guān)鍵在于確定相應(yīng)的格林函數(shù)，而確定格林函數(shù)的難度取決于邊界形狀。

ROBERT[1]和JUN[2-3]研究了[0,1]區(qū)間上的Dirichlet邊值問題，試圖求出該邊值問題的解，利用文獻(xiàn)[4]中Sierpinski墊片上微分方程的輔助計(jì)算給出了格林函數(shù)的表達(dá)式。ROBERT[1]首先通過“帳篷函數(shù)”，將[0,1]區(qū)間上的格林函數(shù)推廣到Sierpinski墊片，并且得到了Sierpinski墊片上格林函數(shù)的表達(dá)式。

本文的研究主要基于文獻(xiàn)[5]，一開始通過不同的位置，對(duì)Sierpinski墊片進(jìn)行水平切割，得到不同Sierpinski墊片的上半定義域；在討論過程中給出了Sierpinski墊片特定定義域上Dirichlet邊值問題的解的延拓算法和具體表達(dá)式；同時(shí)也刻畫了在Sierpinski墊片特定定義域上的所有調(diào)和函數(shù)的特點(diǎn)。緊接著，JOHN等[6]和GUO等[7]將其推廣到一般的情形。ROBERT[8]也討論了Holder-Zygmund、Besovan和Sobolev 3種不同分形類型的函數(shù)空間，為解決不同的自相似圖形上的Dirichlet邊值問題提供了新的思路。JUN[9-10]探討了在p.c.f自相似集上的調(diào)和函數(shù)的相關(guān)計(jì)算。本文所涉及的調(diào)和函數(shù)的一些性質(zhì)可參見文獻(xiàn)[9-10]。

LI等[11]沿著SG的底邊中心點(diǎn)進(jìn)行垂直切割，得到新的自相似圖形；在此基礎(chǔ)上研究了SG上的左半部定義域的一些性質(zhì)，以及在該定義域上的Dirichlet問題；嘗試求解Dirichlet問題的解的具體表達(dá)式，并探討在該定義域上的正則導(dǎo)數(shù)與能的估計(jì)范圍。

受QIU等[12-15]的啟發(fā)，筆者試圖對(duì)SG3進(jìn)行適當(dāng)?shù)那懈?，研究SG3上的某一部分的定義域,探討在該定義域上是否有類似于Sierpinski墊片上的性質(zhì)和定理。

1 預(yù)備知識(shí)

定義1[14]設(shè)m∈N具迭代水平，對(duì)于

其中，

定義2[1]記x～my當(dāng)且僅當(dāng)x≠y并且x,y∈Vm同屬于一個(gè)胞腔。

定義3[1]設(shè)m∈N,則SGl的第m次迭代Γm上離散的電阻形式可由下式給出:

εm(u,v)=r-m(u(x)-u(y))(v(x)-v(y)),

其中，u,v是定義在Vm上的函數(shù)

圖1給出了SG3上的前2次迭代Γ1，Γm。

圖1 SG3上的Γ1，Γ2Fig.1 Γ1，Γ2ofSG3

定義4[10]定義為函數(shù)u的能，并且u屬于dom ε當(dāng)且僅當(dāng)ε(u)＜∞。

定義5[10]定義SGl上的電阻形式為

其中u,v∈ dom ε。

定義6[1]函數(shù)u在邊界點(diǎn)qi∈V0的正則導(dǎo)數(shù)可通過下式定義:

類似地，也可得到其他點(diǎn)的正則導(dǎo)數(shù)的表達(dá)式。

定理1[10]調(diào)和函數(shù)h滿足平均值性質(zhì)，也就是說，對(duì)于每一個(gè)迭代水平m≥1，有

定理2[1]（高斯-格林公式）假設(shè)u∈dom Δμ，則對(duì)所有的qi∈V0，有正則導(dǎo)數(shù)?nu(qi)存在，并且

命題1[10]考慮SGl的左半定義域上Ω的Dirichlet問題

則方程（1）有唯一解。

注 證明過程需用到文獻(xiàn)[15]中的引理8.2。

在等邊三角形底邊的中點(diǎn)處，沿垂直底邊進(jìn)行切割，得到的是SG3的左半部分。第1次迭代后，會(huì)產(chǎn)生2個(gè)相同的三角形，分別為F1SG3和F5SG3，以及2個(gè)半直角三角形F0和F3。在第2次迭代中，將2個(gè)大的三角形固定不動(dòng)，依據(jù)SG3原有的迭代規(guī)則對(duì)2個(gè)直角三角形進(jìn)行2次迭代，依次進(jìn)行，得到新的圖形，如圖2所示。所得到的圖形具有自相似結(jié)構(gòu)。現(xiàn)在來研究此圖形的性質(zhì)。

定義7[10]SG3上的左半定義域Ω可由水平集上的斜對(duì)稱調(diào)和函數(shù)ha來定義，其中ha在V0上的函數(shù)值記為，因此

圖2 定義域ΩFig.2 Domain ofΩ

其邊界為

為研究Dirichlet問題解的格林函數(shù)，需要對(duì)圖形中某些點(diǎn)進(jìn)行標(biāo)記，見圖3。用x?,y?和z?分別表示V1∩的頂點(diǎn)，其中，

同樣，記

圖3 定義域Ω的標(biāo)記Fig.3 The mark of Ω

2 主要結(jié)果

在Ω上，希望得到類似于SG上的格林公式，即形如

下面分2步進(jìn)行求解:

第1步當(dāng)m=0時(shí),在V1∩中有4個(gè)點(diǎn)x?,y?,z?和p?，記

同時(shí)，希望得到

并且，若當(dāng)z≠z′時(shí)，

其中a和b是唯一確定的常數(shù)。這樣，就可以得到所希望的格林函數(shù):

其中，

為計(jì)算簡(jiǎn)便，可采用弱化公式:

其中，v∈ dom0ε。由此，可計(jì)算

得到

兩邊同乘以f(y)，得到

因此

當(dāng)M→∞時(shí)，

并且是一致收斂的。

由于-Δμu=f，得到

第2步求格林函數(shù)中各個(gè)參數(shù)的表達(dá)式。

當(dāng)M=0時(shí),

而

則含v(y?)的項(xiàng)為

希望得到v(y?)乘以的形式，只需解線性方程組

解得

當(dāng)M=1時(shí)，G1的中包含了v(x?)中的系數(shù)

即

而G1的中含有v(x?)中的系數(shù)

化簡(jiǎn)得到

兩式相加，得到

依此類推，就可以得到在此定義域上的格林函數(shù)。由此，得到

定理3在SG3的左半定義域Ω中，考慮Dirichlet問題

對(duì)?Ω上的任一連續(xù)函數(shù)，在dom Δμ中都有唯一解，且