熊 波,鄧 薇,孫 麗
(中南財(cái)經(jīng)政法大學(xué)信息學(xué)院,湖北 武漢 430074)
R上自相似集的自相似測度的局部維數(shù)探討
熊 波,鄧 薇,孫 麗
(中南財(cái)經(jīng)政法大學(xué)信息學(xué)院,湖北 武漢 430074)
研究了R上滿足開集條件的一族壓縮映射所生成的自相似集,討論了其上給定的自相似測度μ的局部維數(shù),在R中解決了Cawley和Mouldin問題。證明了在R中若{Ti(x)}ni=1滿足開集條件,?x∈G∩K, Cawley和Mouldin猜想成立,并且舉出反例子驗(yàn)證當(dāng)存在x∈G/K時(shí),Cawley和Mouldin猜想不成立。
自相似集;自相似測度;局部維數(shù);開集;壓縮映射; Cawley和Mouldin猜想
σ*i=(σ(1),…,σ(k),i)
若σ∈Ω,記σ|k=(σ(1),…,σ(k)),稱為σ對k的限制。
對σ∈S*,稱C(σ) 為由σ確定的Ω中的柱集:
C(σ)={τ∈Ω;τ|k=σ,|σ|=k}
J(σ|k)=Tσ(1)…Tσ(k)(J)
局部維數(shù)是分形幾何理論中的一個(gè)重要的研究課題, Cawley和Mouldin在文獻(xiàn)[6]中已證明。
命題1若K為Moran集,g(σ)=x,則:
證明?x∈G,以下分2種情形證明。
(Ⅰ)若x為某2個(gè)基本區(qū)間的交點(diǎn),則有σ≠τ使得g(σ)=g(τ)=x。在這里,為了便于說明,定義序關(guān)系:若?k,使σ(i)=τ(i),1≤i≤k,且σ(k+1)lt;τ(k+1),則稱στ。不妨令στ,記:
B+(x,ε)=B(x,ε)∩[x,+∞)B-(x,ε)=B(x,ε)∩(-∞,x]
令:
則有:
(1)
同理:
(2)
(3)
由式(1)和(3)得:
(Ⅱ)若x不是任何2個(gè)基本區(qū)間的交點(diǎn),但x為某區(qū)間的端點(diǎn),則存在唯一的σ∈Ω,使x=g(σ)。存在k0,使x為J(σ|k0)的端點(diǎn)。不妨設(shè)x為J(σ|k0)的右端點(diǎn)(左端點(diǎn)情況可作類似討論)。則對?τ,στ,J(σ|k0)∩J(τ|k0)=?,記:
記:
則有:
與(Ⅰ)類似地可以證明:
證明設(shè):
d=min{d(u,v),μ∈j(i),v∈J(j),i≠j,J(i)∩J(j)=?}
D=max{d(T1(0),0),d(Tn(1),1)}gt;0
暫時(shí)固定εgt;d,t=minti,令:
hε(x)=max{k:B(x,ε)∩K?J(σ|k)}
則B(x,ε)∩K至少與J(σ|hε(x))的下一級2個(gè)基本區(qū)間相交,且:
μ(B(x,ε))≤μ(J(σ|hε(x)))
(4)
1)若B(x,ε)∩K包含J(σ|hε(x))下一級基本區(qū)間,則:
logε-logt≥log|J(σ|hε(x))|
(5)
根據(jù)式(4)和式(5)有:
2)若B(x,ε)∩K與J(σ|hε(x))的2個(gè)下一級基本區(qū)間相交,不妨令為J(σ|hε(x)+1)和J(τ|hε(x)+1),其中:
σ(i)=τ(i) 1≤i≤hε(x)σ(hε(x)+1)lt;τ(hε(x)+1)
如果J(σ|hε(x)+1)∩J(τ|hε(x)+1)=Φ,則?y∈J(τ|hε(x)+1)∩B(x,ε)∩K,使得:
ε/2gt;d(x,y)≥t|J(σ|hε(x))|D
logε-log2dgt;logJ(σ|hε(x))
(6)
根據(jù)式(4)和式(6)可以類似地證明:
如果J(σ|hε(x)+1)∩J(τ|hε(x)+1)≠Φ,考慮J(σ|hε(x)+1)與J(τ|hε(x)+1)的下一級基本區(qū)間。
(a)若B(x,ε)∩K包含hε(x)+2級基本區(qū)間,則:
logε-2logt≥logJ(σ|hε(x))
(7)
根據(jù)式(4)和式(7),可以得出結(jié)論。
(b)若B(x,ε)∩K不包含任一hε(x)+2級基本區(qū)間,則B(x,ε)必J((σ|hε(x)+1)*n)和J((τ|hε(x)+1)*1)相交,而這2個(gè)基本區(qū)間的間隔至少為t|J(σ|hε(x))|D,則?y∈J((τ|hε(x)+1)*1)∩B(x,ε)∩K,使得:
ε/2gt;d(x,y)gt;t|J(σ|hε(x))|D
logε-log2tDgt;log|J(σ|hε(x))|
(8)
根據(jù)式(4)和式(8)可以類似地證明:
下面舉出例子說明存在x∈K/G,使:
不成立。
令:
σ=10…010…010…010…,所以x∈KG。
g(σi)=g(τi)=yi
在本例中取后一種記法yi=g(τi)。于是J(σ|ki+1-1)∩J(τi|ki+1-1)≠?,令εi=|J(σ|ki+1-2)|,有:
B(x,εi)?J(τi|ki+1-1)μ(B(x,ε))≥μ(J(τi|ki+1-1))
而:
故有:
從而結(jié)論不成立。
[1]Falconer K.Fractal Geometry-Mathematical Foundations and Applications[M].New York,John Wiley and Sons,1990.
[2]Moran P A R.Additive Functions of Intervals and Hausdorff Measure[J].Proc Camb Phil Soc,1946,(42):15~23.
[3]Hutchinson J E.Fractals and Self-similarity[J].Indiana University Mathematics,1981,(30):714~747.
[4]肯尼思法爾科內(nèi)著.分形幾何中的技巧[M].曾文曲,王向陽,陸夷 譯.沈陽:東北大學(xué)出版社,1996.
[5]Falconer K J.Wavelet Transforms and Order-two Densities of Fractals[J].J Statistical Physics,1992,67:781~793.
[6]Robert Cawley and R.Daniel Mouldin,Multifractal Decomposition of Moran Fractals[J].Advances in Mathematics,1992,92:196~236.
[7]陳二才,熊金成.關(guān)于自相似集的點(diǎn)態(tài)維數(shù)[J].科學(xué)通報(bào),1998,43(20):2162~2166.
[編輯] 洪云飛
O174.1
A
1673-1409(2010)01-N017-04