Lecture on Fractals: Multifractal
03 / 05
マルチフラクタル
Rnの有界な領域上で定義された測度
μ(x)>0 (x∈X⊂Rn)
を考えよう.
ただし,μ(X)=1とする.
このとき,μのサポートXそれ自体がフラクタル集合であっても構わない.
Xを覆うサイズδのボックスの集合{Bi}上の測度を
μ(Bi)と表記し,全てのボックスに渡る以下の総和を定義する.
\[Z_\delta(q)=\sum_i\mu(B_i)^q\]
(3-1)
μ(Bi)を状態Biの占有確率と解釈し,ハミルトニアン
をーlog Biに,逆温度をqとみなすと,これは統計力学で言
うところの分配関数に相当する.
このZδ(q)によって,分布のq次モーメントに関係したフラクタル
次元
\[D(q)=-\frac{1}{1-q}\lim_{\delta\to0}\frac{\log Z_\delta(q)}{\log\delta}\]
(3-2)
が定義ができる.D(q)はボックス次元(フラクタル次元)を
一般化した次元であって,一般化次元(generalized dimension)と呼ばれている.
事実,Zδ(0)が集合Xを覆うために必要な箱の数に他ならないことに
注意すると,
limδ→0 - logZδ(0)/logδ,
すなわちD(0)はμのサポートのボックス次元を与える.
また,D(1)は,q→1の極限を取ることによって
\[D(1)=\lim_{q\to1}D(q)=\lim_{\delta\to0}\frac{\sum_i\mu(B_i)\log\mu(B_i)}{\log\delta}\]
(3-3)
と書け,確率分布の平均情報量のスケーリングに関係した次元であることから,
特に情報量次元(information dimension)と呼ばれている.
自己相似図形ではD(q)がqに依らず一定となるが,
μがさらに複雑な構造を持つ場合にはD(q)がqに依存する.
このようなμはマルチフラクタル(multi-fractal)と呼ばれ,
D(q)はqの単調減少関数となる.
マルチフラクタルな集合は,以下で述べるように,異なるフラクタル次元が
分布しているような集合とみなすことができる.
まず,測度の局所的な特異性を表わす指標として
0<α<∞であるような指数αを導入する.
ここで,ボックスのサイズδ=|Bi|について局所的なスケーリング
\[\mu(B_i)\sim\delta^\alpha\]
(3-4)
が成立し,指数αを持つようなボックスの数もまた
δに対して
Nδ(α)〜δ-f(α)
でスケールするものと仮定する.
すなわち,αで特徴付けられるようなXの部分集合のフラクタル次元が
f(α)である.
このとき分配関数Zδ(q),積分変数を変換して
\[Z_\delta(q)=\int_0^\infty\delta^{q\alpha}N_\delta(\alpha)\,d\alpha=\int_0^\infty\delta^{q\alpha-f(\alpha)}\,d\alpha\]
(3-5)
と書ける.
δ→0では,この積分の値は指数部分が最大となるようなα
での寄与が支配的になると考えられるため,
\[\tau(q)=\sup_{0\leq\alpha<\infty}\{f(\alpha)-q\alpha\}\]
(3-6)
でτ(q)を定義すると,
\[Z_\delta(q)\simeq\delta^{-\tau(q)}\]
(3-7)
これを一般化次元の定義式(\ref{eq:generalized-dimension})と見比べることによって
\[\tau(q)=(1-q)D(q)\]
(3-8)
が導かれる.
ここで,f,αの微分可能性と,f(α)が
αの凸関数であることを仮定する.
f(α)ーqαが極大となる条件から
\[\frac{d}{d\alpha}(f(\alpha)-q\alpha)=0\]
(3-9)
これより
\[q=\frac{df(\alpha)}{d\alpha}\]
(3-10)
が言える.すなわち,f(α)の勾配はモーメントqを与える.
また,τ(q)=f(α(q))ーqα(q)をqで微分して
\[\frac{d\tau}{dq}=\frac{df}{d\alpha}\frac{d\alpha}{dq}-\alpha-q\frac{d\alpha}{dq}\]
これに(3-10)式を代入すると
\[\frac{d\tau(q)}{dq}=-\alpha(q)\]
(3-11)
が得られる.
これらの一連の変換は分配関数Z(q)から,ヘルムホルツの自由エネルギー
τ(q)を求め,ルジャンドル変換によって内部エネルギーαと
エントロピーfに変数変換する統計力学の手続きそのものである.
一般に分布(測度)の局所的なスケーリング関係(3-4)
から出発してf(α)を求めるのは困難であるので,
τ(q)を経て上記の手順によってf(α(q))を求めることが多い.
fのα依存性はfーαスペクトルと呼ばれており,カオス
アトラクタの構造のような複雑な確率分布を特徴付ける際に使われる.
fーαスペクトルの一般的特徴を以下にまとめる(図を参照).
- q=0で最大値を取るような上に凸の曲線であって,D(0) = f(α(0)).
- q=1で直線f(α) = αに接し,D(1) = f(α(1)) = α(1).
- limq→ー∞ D(q)はαの上限を,
limq→∞ D(q)はαの下限をそれぞれ与える.
目次に戻る
© Yoshinori Hayakawa (1998)