郭東亮,李聰端,秦家銀

(1.中山大學(xué)電子與通信工程學(xué)院,廣東 深圳 518107;2.中山大學(xué)電子與信息工程學(xué)院,廣東 廣州 510006)

1 引言

在分形幾何研究中,分形的Hausdorff維數(shù)與Hausdorff測(cè)度的確定很重要,但又是一個(gè)難題,二者中Hausdorff測(cè)度的計(jì)算更加困難[1-5].計(jì)算一般集合的Hausdorff測(cè)度難度很大,不存在普遍適用的方法.滿足開集條件的自相似分形集由于具有嚴(yán)格的自相似性,在計(jì)算Hausdorff測(cè)度方面的研究成果最多.Cantor集,Koch曲線和Sierpinski墊片是3個(gè)經(jīng)典的自相似集,目前三分Cantor集的Hausdorff維數(shù)與Hausdorff測(cè)度已經(jīng)得到完全解決[1],但對(duì)于Koch曲線和Sierpinski墊片,人們只求出其Hausdorff維數(shù),Hausdorff測(cè)度則難以給出準(zhǔn)確值,只能估計(jì)其上下界[2-4].

文獻(xiàn)[2-3,6-8]均研究了Koch曲線的Hausdorff測(cè)度并對(duì)其上界進(jìn)行了估計(jì),文獻(xiàn)[9]利用數(shù)值計(jì)算方法研究了Koch曲線的Hausdorff測(cè)度的上界估計(jì)值.在已公開發(fā)表的文獻(xiàn)中,Koch曲線的Hausdorff測(cè)度的最好上界是Hs(K)≤0.587697.

本文在已有研究成果基礎(chǔ)上,通過在Koch曲線上構(gòu)造分形級(jí)更高的新覆蓋并利用相關(guān)定理,得出Koch曲線Hausdorff測(cè)度的更好上界估計(jì)Hs(K)≤0.58764947,并通過進(jìn)一步的分析,給出了Koch曲線的Hausdorff測(cè)度的精確上界在0.58764946至0.58764947之間.

2 Koch曲線及其Hausdorff測(cè)度

下面是關(guān)于Koch曲線K的一些相關(guān)定義和結(jié)果[1-2].

(2)設(shè)n≥1,Kn中夾角為60?的相鄰兩邊構(gòu)成一個(gè)正三角形,稱作Kn的基本三角形,并記作?n;

(3)K 是路徑連通的,設(shè)點(diǎn)A,A′∈K,記AA′為K 上的從點(diǎn)A到點(diǎn)A′的連通弧;

Hausdorff測(cè)度記為Hs(·),本文中使用如下引理:

引理 2.1[1]由Hausdorff測(cè)度的齊次性知

3 已有結(jié)果分析

將圖1的FB段圖形放大,得到圖2,在屬于K4的邊FB上生成屬于K5的正三角形?GHI,再在屬于K5的邊GB上生成屬于K6的正三角形?JLM,文獻(xiàn)[6]和文獻(xiàn) [7]分別將九邊形 JMDEOE′D′M′J′作為新覆蓋（M′,J′分別為 M,J關(guān)于直線OO′的對(duì)稱點(diǎn)),基于K6上的連通弧MM′,推導(dǎo)出了K 的Hausdorff測(cè)度的更好上界估計(jì)值Hs(K)≤0.587847293.

圖1 Koch曲線局部示意圖(迭代至K4)

圖2 圖1的FB段圖形(迭代至K6)

繼續(xù)放大圖 2中 LMJB段圖形,得到圖 3,其中正三角形 ?NPQ屬于 K7,文獻(xiàn) [8]基于 K7構(gòu)造七邊形新覆蓋而將 K的 Hausdorff測(cè)度上界進(jìn)一步減小至Hs(K)≤0.587697,這是已公開發(fā)表的文獻(xiàn)中Koch曲線的Hausdorff測(cè)度的最好上界.

圖3 圖2的LMJB段圖形(迭代至K8)

表1 比值μ與分形級(jí)數(shù)n

由表 1可知,μ隨著 n的增加而降低并趨于收斂.本文基于這一規(guī)律分別在K10,K12,K14這些更高的分形級(jí)上構(gòu)造新覆蓋，進(jìn)一步改進(jìn)Koch曲線的Hausdorff測(cè)度上界.

4 主要結(jié)果及證明

將Koch曲線K迭代至K10,可得到定理4.1.

定理 4.1 Koch曲線表示為K,則K的Hausdorff測(cè)度的上界

證明 在圖 3中,正三角形?RST屬于K8,繼續(xù)放大邊WNS段的圖形,得到圖 4,其中正三角形?XY Z屬于K10,將15邊形BJNXZDEOE′D′Z′X′N′J′B′作為新覆蓋 (N′,X′,Z′分別為 N,X,Z關(guān)于直線 OO′的對(duì)稱點(diǎn)),記為U,并考慮K上的連通弧ZZ′,易見 K∩U=ZZ′.

圖4 圖3的WNS段圖形(迭代至K10)

計(jì)算新覆蓋U的直徑如下:

由圖4可以算得

因此,新覆蓋U的直徑是|DE′|.

此為迭代至K10時(shí),Koch曲線的Hausdorff測(cè)度的上界估計(jì)值,該上界已經(jīng)好于目前已公開發(fā)表的最好上界.

放大圖4中的Y Z段,進(jìn)一步將Koch曲線K迭代至K12,可得到定理4.2.

定理 4.2 Koch曲線表示為K,則K的Hausdorff測(cè)度的上界

圖5 圖4中Y Z段局部圖形(迭代至K12)

計(jì)算新覆蓋U的直徑如下:

直線段Y3E′在水平方向的投影長(zhǎng)度為

直線段Y3E′在垂直方向的投影長(zhǎng)度為

所以,直線段Y3E′的長(zhǎng)度為

因此,新覆蓋U的直徑仍是|DE′|.

由引理2.2,得

此為迭代至K12時(shí),Koch曲線的Hausdorff測(cè)度的上界估計(jì)值,該上界好于目前已公開發(fā)表的最好上界.

放大圖5中的Y2Y3段,進(jìn)一步將Koch曲線K 迭代至K14,可得到定理4.3.

定理 4.3 Koch曲線表示為K,則K的Hausdorff測(cè)度的上界

圖6 圖5中Y2Y3段局部圖形(迭代至K14)

計(jì)算新覆蓋U的直徑如下:

所以,直線段Y23E′的長(zhǎng)度為

因此,新覆蓋U的直徑仍是|DE′|.

K14∩U共有屬于K14的邊數(shù)為

由引理2.1,得

由引理2.2,得

此為迭代至K14時(shí),Koch曲線的Hausdorff測(cè)度的上界估計(jì)值,該上界好于目前已公開發(fā)表的最好上界.

5 經(jīng)無窮次迭代的上界范圍

設(shè)經(jīng)過無窮次迭代(n→∞),Koch曲線的Hausdorff測(cè)度的上界Hs(K)趨于數(shù)值 [Hs(K)]?,由圖6知,當(dāng)?shù)?K14時(shí),若 K 的新覆蓋 U 的直徑是 |DE′|,則在新覆蓋U與K的交集包含最多K14的邊的意義下最優(yōu)交點(diǎn)是Y23,繼續(xù)迭代至超過K14時(shí),若K 的新覆蓋U的直徑仍是|DE′|,易知新覆蓋與K 的交點(diǎn)應(yīng)位于線段Y22Y23上.因此,[Hs(K)]?的取值范圍是

因此,得定理5.1.

定理 5.1 Koch曲線表示為K,則K的Hausdorff測(cè)度上界的取值范圍是

6 結(jié)論

本文通過在 Koch曲線的 K10,K12,K14三個(gè)更高的分形級(jí)上構(gòu)造更加精細(xì)的新覆蓋,利用相關(guān)定理計(jì)算出了 Koch曲線的 Hausdorff測(cè)度的新的上界估計(jì)值 Hs(K)≤0.58764947,這是關(guān)于 Koch曲線的 Hausdorff測(cè)度的迄今所知的最好上界.表 2是文獻(xiàn)中已經(jīng)發(fā)表的和本文新給出的 Koch曲線K的 Hausdorff測(cè)度的上界估計(jì)值,對(duì)應(yīng)的估計(jì)值改進(jìn)量和絕對(duì)誤差限 (K4,K6,K7是文獻(xiàn)中已發(fā)表的,K10,K12,K14是本文給出的).

表2 Koch曲線K的Hausdorff測(cè)度的上界估計(jì)

此外,本文給出 Koch曲線的 Hausdorff測(cè)度的上界精確值介于0.58764946和0.58764947之間,由絕對(duì)誤差限的相關(guān)理論可知:本文給出的上界估計(jì)的絕對(duì)誤差限為ε≤0.5×10?8.