Fractals and Their Applications - Liu1986 PDF
Fractals and Their Applications - Liu1986 PDF
S. H. LIU
Solid State Division
Oak Ridge National Laboratory
Oak Ridge, Tennessee 37831
.................................................. 207
ground ................................. 208
2. Fractals in Condensed Matter Physics.. ................................ 212
11. Measurements of Fractal Dimension. ....................................... 219
3. Real-Space Measurements .................. .. 219
4. Small-Angle Light or Neutron Scattering ............................... 222
Ill. Growth of Fractal Aggregates ............................................. 227
5. Computer Simulation of Growth . ............................. 228
6. Kinetic Theory of Aggregation ........................................ 235
7. Kinetic Theory of Dendritic Growth ..... .................... 239
8. Experimental Studies. ................................................ 24 1
IV. Diffusion on Fractal Networks. .......................... ... 244
9. Anomalous Diffusion. ........... ............................ 245
10. Diffusion on the Sierpinski Gasket ..................................... 249
11. The ac Response of Rough Interfac .... 253
V. Elastic Properties of Fractal Networks ...................................... 251
12. Critical Elastic Threshold of Percolation Networks. ...................... 251
13. Spectral Dimension of Elastic Vibrations . ................ 263
V1. Magnetic Ordering on Fractal Networks .................................... 261
14. Magnetic Ordering of Ising Systems. ............. .......... 261
1. Introduction
It is often said that a review article in modern physics is out of date as soon
as it is written. In a new and fast growing field such as fractals, one runs the risk
of writing a review which is obsolete even before it is written. There are a
multitude of reasons for this phenomenon. (1) The idea of fractal touches upon
too many areas of natural science for one reviewer to be aware of all the new
developments. (2) It takes six months to a year before a new research result
appears in print, and before it does the reviewer often does not know of its
207
Copyright @ 1986 by Academic Press. Inc.
All rights of reproduction in any form reserved.
208 S. H. LIU
1 . MATHEMATICAL
BACKGROUND
A century ago pure mathematics went through a period of crisis. The issues
concern the properties of functions of real variables in general, and in
particular the question whether all continuous functions are differentiable.
Efforts by mathematicians to construct counter examples, i.e., functions that
are continuous everywhere but not differentiable anywhere, resulted in a
plethora of “monster curves.” These events hailed the birth of the field of
fractals.
An example of the monster curve is the Koch snowflake, shown in Fig. 1.
One begins with an equilateral triangle. Next, one smaller equilateral triangle
is added to the middle of each side to obtain the sixfold symmetrical star of the
second stage. In the third stage 12 still smaller triangles are erected, one on
every side of the star. The Koch curve is the boundary of the complicated
shape when the procedure is repeated indefinitely. The curve is continuous but
not differentiable because it makes an infinite number of zigzags between any
two points. The length between any two points on the curve is infinity, yet the
area bounded by the curve is finite. Other examples of monster curves are
found in Mandelbrot’s books.
’ B. B. Mandelbrot, “Fractals:Forms, Chance and Dimension.” Freeman, San Francisco, 1977.
B. B. Mandelbrot, “The Fractal Geometry of Nature.” Freeman, San Francisco, 1983.
FRACTALS A N D CONDENSED MATTER PHYSICS 209
FIG. 1. The first four steps in the construction of a Koch snowflake. The boundary of the
complicated shape, the Koch curve, has the fractal dimension of In4/ln 3 = 1.26.
and obtain
V ( l / N )= N 3 V ( l ) . (1.5)
In every case the dimension appears in the ratio of the results as the exponent
of the ratio of the length scales.
Applying the same consideration to the Koch snowflake, Hausdorff found it
necessary to add the condition that one must not count any detail smaller than
the unit of measurement. Physical scientists may understand the unit as the
limit of resolution, namely our ability to discern fine details. Suppose at the
beginning stage the Koch curve in Fig. 1 is 1 cm on a side. With a resolution of
1 cm we see the curve as a triangle with three equal sides. If the resolution is
improved to f an,we begin to see 12 segments as in the second stage. Every
time the unit of measurement is reduced by a factor of 3, the number of visible
segments increases4 times. Following the rule of the last paragraph, we equate
4 to 3d to obtain the dimension of the Koch snowflake d = In 4/ln 3 = 1.26.
Therefore, the strange properties of the snowflake come from the fact that it is
not a one-dimensional object. The word fractal was coined by Mandelbrot as a
generic name for objects such as the Koch snowflake which possess fractional
Hausdorff dimensions.
Fractals need not be monster curves. A fractal network called the Sierpinski
gasket is constructed according to the rules illustrated in Fig. 2. At every step
three equilateral triangles are stacked together to form a larger equilateral
triangle. The linear size of the object increases by a factor of 2. The reader may
imagine the sequence of steps as the results of observing the same object under
increasing magnification, by a factor of 2 at a time, so that more and more
internal structure becomes visible. One can calculate the dimension of the
object by counting the total length of bonds between vertices. For instance,
with the resolution equal to the length of each side of the outer periphery, the
total length of the bonds is 3. Improvement of the resolution twofold enables
one to discern a total bond length of 9. Therefore, the dimension of the object
is d = In 3/ln 2 = 1.58.
The Sierpinski gasket is a favorite object of study for theoretical physicists
because it is a nontrivial model for a noncrystalline solid, with an atom at
0 1 2
FIG.2. The first three steps in the construction of a Sierpinski gasket. This geometrical object
has the fractal dimension of In 3/ln 2 = 1.58.
FRACTALS AND CONDENSED MATTER PHYSICS 21 1
FIG.3. The three-dimensional extension of the Sierpinski gasket, the skewed web, is
constructed by the iterative process in this illustration. The object has the fractal dimension of
In 4/In 2 = 2.
every vertex and a bond between every pair of nearest neighbors. The
dimension of the network can also be deduced from the number of atoms in
the sequence of steps in Fig. 2. The numbers are 3, 6, 15, 42,. . . ., with the
general formula N. = (3" + 3)/2. For sufficiently large n the number of atoms
increases by a factor of 3 every time the linear size doubles. Hence, the
dimension is In3/ln2 as obtained earlier. The Hausdorff dimension is a
geometrical property of the object, and should be independent of the way it is
calculated.
The rules of constructing the Sierpinski gasket may be generalized to three
dimensions to obtain the skewed web shown in Fig. 3. Four identical
tetrahedra are joined together to form a larger tetrahedron at every step. The
dimension of this object is d = In 4/ln 2 = 2. This example illustrates that the
dimension of a fractal is not necessarily nonintegral. It is usually different from
the topological dimension of the object.
Fractals may also have dimensions less than 1. An example, called the
Cantor bar, is shown in Fig. 4. In the beginning there is a solid bar. In the next
step the middle portion of the bar is removed to obtain two shorter bars.
~~
FIG.4. The first five steps in the construction of a Cantor bar. This is an example of a fractal
object with a dimension less than one.
212 S. H. LIU
Subsequently the shorter bars are subjected to the same subdivision and the
procedure is carried ad injnitum. If at every step the shorter bar is l / a times the
length of the original bar, with a > 2, the dimension of the infinitely
fragmented object is d = In2/lna < 1. The number of subdivisions may be
generalized to N , with N < a. The dimension of this general Cantor bar is
d = InN/lna 1. -=
Fractals have the important invariance property called self-similarity under
scale transformations, or self-similarity for short. Take the Koch snowflake for
example. The last entry in Fig. 1 consists of six prickly protrusions. If a
protrusion is magnified threefold, the result is identical to a large portion of
the third entry. The same property is seen in the Sierpinski gasket and the
Cantor bar. Of course, self-similarity is the necessary and sufficient condition
that the Hausdorff dimension can be uniquely defined. In later Parts we will
show how the self-similar property can be used to advantage in discussing the
physical properties of fractal systems.
IN CONDENSED MATTER
2. FRACTALS PHYSICS
For large N the ratio is expected to approach the limit 1. The power-law
relation between the molecular radius and the molecular weight can be written
as
( r 2 ) ’ / 2 oc N”. (2.4)
It follows that
2v = lim N ( p N - 1).
N+ m
’M. E. Fisher and B. J. Hiley, J. Chem. Phys. 34, 1253 (1961), and references cited therein.
P. J. Flory, “Principlesof Polymer Chemistry,” Ch. 14. Cornell Univ. Press, Ithaca, New York,
1969.
’ M. E. Fisher and M. F. Sykes, Phys. Rev. 114,45 (1959).
214 S. H. LIU
c. Percolation Clusters
The percolation problem arises from the observation that a mixture of
metallic particles and insolating powder is nonconducting until about 30% of
the volume is metallic, and at this point a rapid rise in conductivity is obtained.
Recent interest in the process is rooted in the suggestion that percolation is
implicated in the metal-semiconductor transition seen in some disordered
solids.”
The mathematical model for percolation is also based on a lattice. A set of
bonds between nearest-neighbor sites are taken out at random, and a fluid is
prevented from flowing from one site to another if the bond between them is
missing. The percolation threshold is reached when the fluid can no longer
flow through a large grid. This model is called the bond-percolation model. In
the site-percolation model a random set of sites are taken out of the lattice
such that the fluid cannot flow through the bonds connected to a missing site.
Extensive literature exists on the percolation problem, and the reviews by
Kirkpatrick l 2 and Stauffer13 should be consulted both as comprehensi /e
summaries of the field and as exhaustive sources of references up to about
1979.
Consider the site-percolation problem. Near the percolation threshold the
occupied sites form a large connected network and some smaller isolated
clusters. The large network, called the percolation network, has been found to
be a self-similar object. There has been some controversy with regard to the
fractal dimension of this network. The source of the controversy is best
described by Sta~ffer.'~ Let us simulate the site-percolation problem on a
large number of large chessboards for a fixed occupation probability p. From
the resulting configurations we can calculate the probability ns(p)for a cluster
to have s occupied sites. The average size of the clusters can be defined as the
ratio
Near the percolation threshold the diameter of the cluster is given by the
correlation length (. Stanley defines the fractal dimension d by the relati~n'~''
(s) = p'. (2.7)
Near the threshold (s) a (p - p c ) - y and ( cc (p - pJV, where the critical
exponents are defined in Stauffer's article. This gives d' = y/v. Stauffer argues
that near the threshold the size of the large clusters is better calculated from
can calculate N ( r ) by
N(r) = P P , , (2.10)
where P, is the probability that a site belongs to the infinite cluster and D is
the dimension of the lattice. The critical behavior of P, is given by P, cc
( p - P , ) ~cc t-p/v;
therefore f ( x ) = x p l Vand
N(r) = rD-fl/V(r/t)fl/". (2.11)
The last result gives d" = D - B/v. Note that d" is the fractal dimension when
r / t << 1, i.e., the interior of the cluster, and d" = d on account of the iden-
+ +
tity y 28 = Dv. Another identity, Dv = P(v l), allows one to write d =
+
D/(1 1/6). The exponents involved in these expressions are tabulated by
Stauffer,' and one can readily calculate d and d' and compare them in Table I.
The reader will find both sets of values quoted in literature, but the set d is
favored by more authors in recent publications because it is believed to
describe better the intrinsic property of the percolation network. For instance,
the density profile of the percolation network is determined by d.I3
The backbone of the percolation network is what remains in the cluster
when all dangling chains are eliminated. Imagine that a current flows from one
end of the network to the other end, the backbone is the part of the structure
that carries the current. In Fig. 5 we show the backbone of a 2D bond-
percolation network. We expect the backbone to have a lower fractal
dimension because it is less compact. The numbers reported by Kirkpatrick
are d = 1.6 for 2D and 2.0 for 3D.l'
Of particular interest in the last few years is the critical conductivity
problem near the threshold. Consider the site-percolation model. Let p denote
the fraction of occupied sites, and pc the threshold fraction. It is found
numerically that near but above pc the conductivity of the cluster behaves like
G(P)cc ( P - PAP, (2.12)
where p 2 1.2 in 2D and 1.7 in 3D. Efforts to relate the critical conductivity to
TABLE
1. FRACTAL OF PERCOLATION
DIMENSION NETWORKS
I N D-DIMENSIONAL
SPACE
d. Random Aggregates
Examples of random aggregates are seen in fine particles, snowflakes,
dendrites, high polymers, and many living species. Beautiful pictures of these
objects are often found in science magazines as visual examples of fractal
218 S. H. LIU
e. Porous Materials
A porous material consists of solid matter with multiply connected voids
interspersed within. In constrast to aggregates, which have very open struc-
tures with fractal dimension of the order 2 or less, porous materials often
have dimensions between 2 and 3. Examples are rocks15 and coal.I6 The pore
structure determines the conductivity of the rock when the pores are filled with
water. The conductivity measurement in turn is an important tool in
prospecting for water, oil, or other mineral resources. Recent progress in the
study of porous materials is mainly in the determination of their fractal
structure and dimension.
f. Rough Surfaces
Rough surfaces are of great importance in chemical technology. Catalysis
takes place in real systems on roughened surfaces in order to increase the effec-
tive area. Surface-enhanced Raman scattering is observed on the surfaces
of noble-metal electrodes which are electrochemically roughened. Surface
roughness also affects the low-frequency impedance across an electrode-
electrolyte interface. An effective way to create a rough surface is to make a
3. REAL-SPACE
MEASUREMENTS
Real-space methods for measuring the dimension of fractal objects all make
use of the Hausdorff definition of dimension and its consequences. The classic
example is Richardson’s measurements of continental coastlines.20Totally
unaware of Hausdorff’s work, Richardson discovered that the length depends
on the scale of the measurement: the finer the scale, the longer the coastline.
When a log-log plot of the length versus the scale was made, a straight line
with a slope around -0.1 to -0.2 was obtained. Richardson did not
understand the significance of his discovery. The slope of his plot is (1 - d),
where d is the fractal dimension of the coastline. The same method was used by
Kaye to determine the dimension of the profile of fine particle^.'^ An example
of this work is shown in Fig. 6.
A variation of this method was used by Pfeiffer et nl. to determine the
dimension of rough surfaces of porous adsorbent Molecules
of different sizes are used to coat the surface of the material until a monolayer
' 5 . 2
0.005 0.01 0.02 0.05 0.1 0.2
A
FIG.6. The profile of a carbonblack (soot) particle (KayeI4).The rugged curve has the fractal
dimension of 1.18 over one decade of length scale I , which is normalized with respect to the
longest projected length of the profile.
FIG. 7. The transmisssion electron microscope image of a gold colloidal aggregate (Weitz and
Oliveria'').
. .
FIG.8. The number of gold particles N plotted versus the length scale L of the colloidal
aggregate in Fig. I. The slope of the log-log plot gives the fractal dimension d = 1.75. The unit of
L is 14.5 nm (Weitz and OIiveriaz1).
222 S. H. LIU
reported results for the fractal dimension of sandstone samples ranging from
2.5 to 2.9.
4. SMALL-ANGLE
LIGHTOR NEUTRON
SCATTERING
f ( q ) cc J V(r)eiq*'d3r
= 4nVO[sin(qa)- qacos(qa)]/q3. (4.3)
For qa << 1, we can expand the right-hand side of Eq. (4.3) to obtain
f ( 4 ) = f(O)(l - R 2 q 2 / 6 ) , (4.4)
FRACTALS AND CONDENSED MATTER PHYSICS 223
l NCl DENT
BEAM
-k
\
FIG.9. The schematic diagram of a small-angle x-ray or neutron scattering experiment.
which is the total amount of matter. The linear term in q makes no con-
tribution if the distribution has inversion symmetry or if an average over
after angular averaging. The last integral is the second moment of the
distribution. Therefore,
k
f ( 4 ) = f(O)( 1 - R 24 19 (4.9)
where R is the radius of gyration of the object. These results hold for q << 1/R
regardless of the nature of the distribution, including fractals. For q > 1/Rit is
more convenient to study the quantity
where
o(q)= If(q)12 cc
s p2(r)eiq”d3r, (4.10)
p2(r)=
s p(r’)p(r + r’)d3r’
is the density-density correlation function. The meaning of p2(r) is as follows.
(4.1 1)
24 D. W. Schaefer, J. E. Martin, P. Wiltzius, and D. S. Cannell, Phys. Reo. Lett. 52, 2371 (1984).
25 S. K. Sinha, T. Freltoft, and J. Kjems, in “Kinetics of Aggregation and Gelation”(F. Family and
D. P. Landau, eds.), p. 87. North-Holland Publ., Amsterdam, 1984.
FRACTALS AND CONDENSED MATTER PHYSICS 225
t
v)
2
W
c
I
K (l/R)
FIG.10. Combined small-angle x-ray-scattering (SAXS) and light-scattering results on a
colloidal aggregate of silica particles. The slope of the log-log plot gives the fractal dimension
d = 2.1 over most of range of momentum transfer. Surface scattering from individual particles
gives rise to the slope - 4 in the large-momentum-transfer end (Schaefer et a1.24).
The result in Eq. (4.13) applies as long as d c 3. For d = 3 the sine factor
vanishes so that there is no q 3 contribution. We have learned from the uniform
sphere example that the leading term is actually 4-4 which comes from surface
scattering. In the following we will derive the theory for surface scattering for a
solid of arbitrary shape. Consider a uniform solid of volume V enclosed by a
smooth surface of area S. It is clear that pz(0) = p z V . For finite r the value of
p2(r) is represented by the overlap in volume between the object and its
identical copy displaced by r, shown in Fig. 11. The volume of the overlap
FIG.1 1 . The calculation of the surface-scattering contribution from a solid body of arbitrary
shape.
226 S. H. LIU
region is smaller than the total volume by an amount measured by the area of
the boundary, i.e.,
p2(r) a V -
s-
Ir nldS = V - aSr, (4.14)
where n is the unit normal of the surface and a is a geometric factor of the
order 1. Furthermore r is bounded by D, where D is the caliper of the
boundary. Then Eq. (4.10)gives
o(q) a p 2 joD
( V - aSr)eiq"d3r.
The integrals can all be carried out and the result contains many oscillatory
terms except one, which comes from the term containing S. The oscillatory
terms are not observed if we study a collection of objects of various sizes. The
nonoscillatory term has the q-4 dependence
10'0 :
10s 7
t
v)
El08
b
z
0
1
2
I-
107
c
a
5:
W
L 10'
+
9
W
K
105
104
5. COMPUTER
SIMULATION
OF GROWTH
3 1 Y. Sawada, S. Ohta, M. Yamazaki, and H. Honjo, Phys. Rev. A 26, 3557 (1982); see also
Consider the site-percolation case. When the sites are being filled in at random,
some occupied sites form clusters in the sense that they are connected by
nearest-neighbor bonds. These clusters are called lattice animals, and they
have the dimension of 1.54 in 2D and 1.89 in 3D.33These numbers are arrived
at by a variety of techniques, e.g., Monte Carlo simulation, series expansion,
and the renormalization-group method.
Gould et al. shed some light on the fractal dimension of the clusters of some
growth models by the real-space renormalization-group technique.34 The
method is based on the fact that fractals are self-similar. If one assigns a
fugacity or weight K to a cluster of a certain size, and finds that a cluster b
times larger in linear size has the fugacity K’, where K‘ is related to K by a
transformation R ( K ) , then the fractal dimension of the cluster is given by
d = In &/ln b, where AK = ( a K ’ / d K )evaluated at the fixed point of iteration
K*, which is the solution of K * = R ( K * ) .The method is completely rigorous
provided that one starts with a sufficiently large cluster. However, in practice
one must start from a single lattice point and derive the transformation R by
considering a rather small cell, say b = 2 or 3. This puts a severe limitation on
the accuracy of the method. Nevertheless,the authors showed that one can use
the method to classify the various growth models into different universality
classes, and thus obtain insight into why they result in clusters with different
fractal dimensions.
The diffusion-limited aggregation (DLA) model was proposed by Witten
and Sander to simulate soot particles.35At the start a seed particle is placed at
the center of a square grid. A second particle is introduced into the grid and
allowed to random walk on the grid. If it visits a site next to the seed particle, it
is stuck to the seed to form a two-particle cluster. If, however, it touches the
boundary first, it is discarded and another particle is introduced. A third
random-walking particle may join the cluster of two by visiting any one of the
neighboring sites of the two particles. By repeating the process a large number
of times, the resulting cluster has the form shown in Fig. 13. This object has a
fractal dimension of 1.66. In 3D the diffusion-limited aggregate has the fractal
dimension of 2.5.36The open structure of the cluster comes about as a result
of screening, i.e., when a branch is formed, the next particle has a higher
probability to be caught near the tip than the side of the branch. Witten and
Sander also pointed out that the DLA model is the discrete version of the
Langer model for dendritic g r ~ w t h . ~Through
’ the concept of screening, one
can perceive a similarity between the DLA cluster and the model of Sawada
et al. for dielectric breakdown.
34 H. Gould, F. Family, and H. E. Stanley, Phys. Rev. Lett. 50,686 (1983).
35 T. A. Witten, Jr. and L. M. Sander, Phys. Rev. Lett. 47, 1400 (1981).
36 P. Meakin, Phys. Rev. A 27,604 (1983).
37 J. S. Langer and H. Muller-Krumbhaar, Acta Metall. 26,1681,1689,1697 (1978).
230 S. H. LIU
< >
b 400 LATTICE UNITS
FIG.14. Cluster-cluster aggregates as simulated a 2D square grids. The number of particles
are (a) N = 10,000;(b) 15,000; (c)20,000;and (d) 25,000. The aggregateshave d = 1.4 (Meakin3').
< >
C 400 LATTICE UNITS
< >
d 400 LATTICE UNITS
FIG. 14. (Continued).
occupy the same site simultaneously. Unlike the cluster-cluster model the
moving particles do not stick together. Upon reaching the growth site, a
particle may stick with a finite probability. The density of the particles and the
sticking probability determine the result of the growth. With high sticking
probability the growth resembles a deciduous forest in winter. Reducing the
FRACTALS AND CONDENSED MATTER PHYSICS 233
FIG. 15. Simulation of dendritic electrodeposition in the low-concentration regime with high
(top) to low (bottom)sticking probabilities(Voss4').
sticking probability enables the particles to pack at higher density so that the
branches acquire an increasing amount of foliage, as shown in Fig. 15. High
concentration and high sticking probability produces a growth that resembles
a wire mesh, as in Fig. 16. The effect of reducing the sticking probability is
quite similar.
The ballistic model of growth is similar to the DLA model except that the
particles rain down from above from random position^.^',^^ The cluster is
compact on the large length scale, but has the structure of DLA on finer scales.
It also has the general appearance of a fan. The angle at the apex of the fan is
approximately 39", and inside the structure there are streaks of unoccupied
regions parallel to the edges of the fan. In a recent paper by Ramanlal and
Sander42these features of the cluster are explained on the basis of the kinetic
theory and stability arguments.
This list of models by no means summarizes adequately the present
activities in computer simulation. The serious reader is urged to peruse the
many articles in the Proceedings of the International Conference on the
Kinetics of Aggregation and Gelation. In addition to growth morphology, the
growth kinetics has been studied by simulation. However, more insight can be
gained from the kinetic-equation approach, which is the subject of the next
two subsections.
FRACTALS AND CONDENSED MATTER PHYSICS 235
OF AGGREGATION
6. KINETICTHEORY
where the overdot denotes the time derivative. The equation has been solved
for a few simple forms of the kernel, and the solution reflects a variety of
interesting physical situations. We will presently discuss the motivations of
these simple kernels and their consequences while keeping the mathematics at
an elementary level. More details as well as important references can be found
in a review by Ziff.43
It is often easier to study the moments of the distribution defined by
The first moment M , represents the total mass of the system. The equation of
motion of M , can be found from Eq. (6.1)to be
L m
h l ( t ) = - lim 1 1icicjKij.
L+m i = l j = L
Ordinarily the mass is conserved; i.e., the limit in the above equation vanishes.
We will show later that for certain kernels the limit does not vanish, and
Eq. (6.3)indicates a loss of mass to infinity. The infinite cluster, which keeps
growing, is a large polymer network called the gel. The remaining clusters form
the sol. Thus, the nonconservation of mass is the signal for sol-gel transition.
In the absence of gel formation, the equations of motion of the higher
43 R. M. Ziff, in “Kinetics and Aggregation and Gelation” (F. Family and D. P. Landau, eds.),
p. 191. North-Holland Publ., Amsterdam, 1984.
236 S. H. LIU
moments are
whose solution is
For large t the average cluster grows linearly with time. If the cluster is a fractal
of dimension d, we deduce that its linear size r grows according to the power
law
r a t'ld. (6.11)
It will be discussed later how this law has been verified experimentally.
A second kernel which has been analyzed extensively is one which is
proportional to the sum of the sizes of the two clusters. With a proper scaling
of time we can write K , = i + j. For this problem it is much easier to solve the
equations for the moments. These are found to be
ho = -MOMl,
(6.12)
h2 = 2M1M2,
etc. For the monodispersive initial condition we have M,(O) = 1 for all n.
Under the assumption that no gel-sol transition occurs, we put M,(t) = 1 and
obtain the solutions of Eq. (6.12)
Mo(t) = e-',
(6.13)
M2(t)= e",
etc. The physics is very similar to the constant kernel case, but the linear
dependence on time is replaced by an exponential dependence. Physically this
kernel is realized approximately when the stickingcoefficientis low so that two
clusters do not stick until they have sampled a large number of possible
sticking sites. Consider the cluster in Fig. 14. When it encounters another
cluster of the same kind, the chances are high that the tip of a branch of one
will come close to a site somewhere on a branch of the other. Under low
sticking probability, the two clusters are more likely to join if there is a large
number of sites on each for the tip of the other to seek a favorable place to form
a bond. Consequently, the reaction rate is higher for larger clusters, and the
rate of cluster formation is slow at the beginning but accelerates when the
average cluster grows sufficiently large. Recent experiments have confirmed
this prediction. The concentrations c&) have also been c a l c ~ l a t e d , 4with
~*~~
the results
Ck(t) = (1 - ~ ) ( k u ) l - ' e - ~ " / k ! , (6.14)
where u = 1 - e-'. The peak of Ck(t)occurs at t = In k/2.
The third kernel is interesting because it leads to the formation of a gel. The
kernel K , is proportional to the product of i and j, and we set the
44 A. M. Golovin, Izu. Geofir. Ser. 783 (1963);Bull. Acad USSR Geophys. Ser. (5), 482 (1963).
45 W. T. Scott, J . Atoms. Sci. 25,54 (1968).
238 S. H. LIU
proportionality constant equal to one. The kernel applies under the condition
that the two clusters can form a bond between every possible pair of sites, and
this can happen only if the clusters are highly flexible, like polymer molecules.
Again, it is easier to analyze the equations of motion for the moments
(6.15)
etc. In the pre-gel stage we impose the conservation of mass and set M , = 1 for
the monodispersive initial condition. This gives
Mo(t) = 1 - t/2,
(6.16)
M J t ) = (1 - t)-',
etc. The second moment diverges at t = 1, and at this time a gel is formed. The
concentrations in the pre-gel stage can be solved by the generating-function
with the result
Ck(t) = kk-2tk-'e-k'/k!. (6.17)
Using this result we can calculate the net flux to the infinite cluster
(6.18)
7. KINETICTHEORY
OF DENDRITIC
GROWTH
A kinetic theory for the growth of dendrites has been developed over the
past four decades. The most modern version was given by Langer and Miiller-
K r ~ m b h a a r . ~In’ this review we will give a simplified but physical account of
this highly mathematical theory. The system under consideration consists of a
melt in contact with a solid. The solid is supercooled so that it attracts particles
from the melt to condense on its surface. The motion of the particles in the melt
is controlled by diffusion. The interface between the solid and the melt moves
as the solid grows in size.
It has been known for a long time that the system has a steady-state
solution,sO*slwhich describes a paraboloidal growth front moving at a
constant speed in the melt. Later Mullens and Seserkas2 and Kotler and
Tillers3 demonstrated that the steady growth front is inherently unstable such
that any small fluctuation in the accretion of particles causes the development
of higher harmonics in the growth front. The basic physics is best illustrated by
a very simple two-dimensional model of Witten and Sander.54The density of
particles in the melt is represented by a diffusion field u(r, t ) which satisfies the
diffusion equation
au
- = qv2u.
at
where q is the diffusion constant. On the boundary between the solid and the
melt the boundary condition is u = 0. In addition the growth velocity of the
interface is given by the equation
v, = q i i . vul,. (7.2)
In the two-dimensional model we consider the growth front to be a circle of
radius R. For slow diffusion Eq. (6.19) may be approximated by the Laplace
equation, whose solution with circular symmetry is
u = Alnr - AlnR, (7.3)
where the boundary condition u(R) = 0 is satisfied. Since V , = dR/dt, we find
- _-
d R - qA
(7.4)
dt R *
This equation shows that smaller disks grow more rapidly than larger ones.
Next, we consider a small distortion of the growth front as a result of some
random perturbation
r =R + 6cos(mO), (7.5)
with 6 << R. The solution of the Laplace equation containing the distortion is
u = A In r + B + C cos(mO)/rm. (74
The boundary condition u = 0 on the surface gives B = -A In R and C =
- A 6 R m - ' . The radial gradient of u on the surface is
au
-= A/r - mC cos(rnO)/rm''
ar
=A/R + (m - 1)A6cos(mO)/R2. (7.7)
Putting this into the equation of the growth velocity yields Eq. (7.4) in the
zeroth order of 6 and
d6
- = (m -
6
1)qA-
dt R
in the first order. Together with Eq. (7.4) we find that
( 8 / 6 ) / ( R / R )= m - 1. (7.9)
This says that any distortion with m > 1 grows faster than the growth circle.
Thus, the circle is inherently unstable, and undulations inevitably develop as a
result of fluctuation. In three dimensions we expand distortions in spherical
harmonics and find that any distortion with 1 > 1 grows faster than the
spherical growth front.52 Witten and Sander argue that whenever the left-
hand side of Eq. (7.9) is greater than 1, the growth morphology will be a
fractal.5 4
Langer and Muller-Krumbhaar solved the more realistic problem of
paraboloidal growth front, which moves uniformly in the direction of the
symmetry axis.37 They showed that, due to surface tension, the growth
velocity is inversed proportional to the square root of the radius of curvature
of the growth tip. Similar to the circular disk model, the growth front is
unstable and undulations tend to form due to random fluctuations in particle
flow. The result is the growth of side branches on the paraboloid. Since the
branches have sharper growth tips, they grow faster than the main front and
FRACTALS AND CONDENSED MATTER PHYSICS 24 1
8. EXPERIMENTAL
STUDIES
” D. A. Weitz and J. S. Huang, in “Kinetics of Aggregation and Gelation” (F. Family and
D. P. Landau, eds.), p. 19. North-Holland Publ., Amsterdam, 1984.
” D. A. Weitz, J. S. Huang, M. Y. Lin, and J. Sung, Phys. Rev. Lett. 53, 1657 (1984).
” D. A. Weitz, J. S . Huang, M. Y. Lin, and J. Sung, Phys. Rev. Lett. 54,1416 (1985).
” M. Faraday, Philos. Trans. R. SOC.London Ser. A 147, 145 (1857).
59 G. Mie, Ann Phys. 25,377 (1908).
6o J. Turkevitch, P. C. Stevenson, and J. Hillier, Trans. Faraday SOC.Discuss. 11,55 (1951).
J. A. Creighton, C. G. Blatchford, and M. G. Albrecht, J . Chem. SOC.Faraday Trans. I1 75,790
(1979).
242 S. H. LIU
magnitude. This makes the system ideal for the purpose of investigating the
growth kinetics.
Previous studies of the structure of the clusters have revealed their self-
similar property, with a Hausdorff dimension d = 1.75.21To study the growth
kinetics Weitz et al. used the dynamic-light-scattering technique to measure
the autocorrelation function of the scattered light.62 The principle of the
measurement is quite similar to small-angle x-ray scattering except that the
scattered photons are counted at two different times and their correlation
function is calculated. This way the time variation of the scattering cross
section is detected. There are three time scales one must consider. The longest
time scale is the growth rate of the aggregate, next is the diffusion rate of the
clusters in the liquid, and the shortest is the rotation and vibration of the
individual clusters. In the correlation measurement the time interval is
adjusted to be sensitive to the diffusion mode. During the measurement the
sizes of the clusters change by negligible amounts, and their internal motions
are averaged over. The photon autocorrelation function is proportional to the
square of the spatial Fourier transform of the two time density-density
correlation function
p2(r, t ) =
s p(r,O)p(r + r’, t)d3r’.
In case the motion is dominated by diffusion, the Fourier transform of the
(8.1)
where (9)is the average diffusion constant weighted by the scattering cross
section. The latter is a measure of the mass of the cluster. The 42 dependence
has been found to hold for a range of momentum transfer, and the slope of K,
B. J. Berne and R. Pecora, “Dynamic Light Scattering.” Wiley, New York, 1976.
FRACTALS AND CONDENSED MATTER PHYSICS 243
FIG.17. Log-log plot showing the scaling of the mean radius of gold colloidal clusters with
time. The solid line corresponds to R x (Weitz et
versus q 2 gives the average diffusion constant of the clusters.56 Since the
diffusion constant is inversely proportional to the radius of gyration R, the
analysis gives the average radius of the clusters.
The measurement is repeated over a period of time during which the clusters
are allowed to grow. The growth rate is slow enough so that the clusters are
unchanging in size during each measurement. In this manner, the time
development of R is measured and found to be well represented by the power
law R a as shown in Fig. 17.56 Recall that for the constant kernel the
kinetic theory predicts such a power law with the exponent l/d, we find that
the theoretical value for the exponent is 0.57, in agreement with the measured
value. The authors also discussed the dependence of the average cluster size on
the initial concentration. According to Eq. (6.10) the average mass grows
linearly in time, and the proportionality constant is the initial concentration.
Therefore, the radius is expected to be proportional to the concentration
raised to the power l/d. This relation is well verified.
As mentioned earlier, the aggregation rate can be controlled by the amount
of pyridine added to the solution. With a minute amount of pyridine the
growth rate is found to depend exponentially on time, R cc eC‘, as shown in
Fig. 18.” This behavior is predicted for the sum kernel in Part III,6. Thus,
the small sticking coefficient is the dominating factor in the growth process.
The clusters are more compact, with a fractal dimension around 2.05. For
intermediate amounts of pyridine, the growth starts exponentially with time
and turns over to a power law at a later time. The fractal dimension lies
between the limits 1.75 for diffusion-limited aggregates and 2.05 for reaction-
limited aggregates. The results also suggest that the silica aggregates studied
by Schaefer et a1.24 and Sinha et aL2’ are grown under reaction-limited
conditions.
244 S. H. LIU
TIME (HRS)
FIG. 18. Increase of characteristic cluster size with time for (a)reaction-rate-limited, (b) cross-
over, and (c) diffusion-limited kinetics. The insert shows the initial behavior on an expanded
scale. The rate-limited data are fit to R a e112.24
(Weitz et ~ 2 1 . ~ ' ) .
M. Matsushita, M. Sano, Y. Hayakawa, H. Honjo, and Y. Sawada, Phys. Rev. Lett. 53, 286
(1984).
FRACTALS AND CONDENSED MATTER PHYSICS 245
9. ANOMALOUS
DIFFUSION
for many decades of frequency down to the lowest frequency of the mea-
surement. There is qualitative agreement between the data and the scaling-
law predictions, but the measured exponent is quite different from the expected
value, apparently because the specimens were not accurate realization of
the model network.
There is also a theoretical problem with the scaling argument. In a diffusion
system an ac signal of higher frequency propagates over a smaller volume than
a signal of lower frequency. It is not correct to scale the conductivity, which
leaves out the volume factor. Instead, one should scale the total admittance in
the diffusion volume. In the dc limit the admittance is equal to the conductivity
248 S. H. LIU
lo7, = I I I I
x
1
A-43
0 Au Clusters
los - x
0
x
A-I3
10’ - 51
F)
8-53
.- + + + + +
+ + :
10‘ - 0
h
B-la A e
c A A A A A
v A A !
(r R
1 0 ~ ~ 0 ~ 0 0 0 0 0
8-51
10’ -
t o o 0 0 0 0 0 0 0 0 0 0 0 0
E-13
11
I 1 I I I
10’ 10’ 10‘ 10’ 1o6 10’
f(W
FIG.20. The real part of the ac impedence plotted versus frequency for a number of gold films
in the metallic and insulating side. The labels identify the individual samples (Laibowitz and
Gefen”).
+
fractons is Nf(o)a d - ’ , where df = 2d/(B 2) is called the fracton or
spectral dimension. The estimated values for df are around 1.4 for D = 2 to 5
and approaching 4 for D = Derrida et al. showed by the effective-
medium theory that the fracton concept only applies when the wavelength of
the excitation is less than the correlation length of the cluster.’l The lower-
frequency excitations are phononlike.
The concept of fractons was proposed by Alexander and Orbach concern-
ing a series of experiments by Stapleton and co-workers.l0*” In these
experiments the spin-lattice-relaxation rates were measured for many protein
molecules in the temperature range of 4-20 K. For crystalline solids of
dimension D the relaxation rate has been shown to have a power-law
temperature dependence with the exponent equal to 3 + 2D.72The dimension
of the lattice enters the result through an integration over the square of the
frequency spectrum. Stapleton et al. argued that for protein molecules, which
are closely simulated by the paths of self-avoiding random walks, the
dimension D should be replaced by the fractal dimension d. Indeed this gives
values of d in good agreement with direct measurements. Alexander and
Orbach pointed out that the spectrum of the elastic vibrations of a fractal
system should have the dimension df, which is in general less than d.64*68On
the other hand, the observed temperature exponent certainly does not agree
with the formula 3 + 2d,. To make the matter more complicated, a number of
authors have shown recently that the elastic-vibration problem does not map
onto the diffusion problem, and as a result another spectral dimension comes
into the picture. We will come back to these questions in the next section.
10. DIFFUSION
ON THE SIERPINSKI
GASKET
voltage V , at the node n and the current I between the nodes n and n + 1 are
V,+, - V , = -I,,R,
(10.1)
dV,
In- In-1= -c-.
dt
In the continuum limit these equations reduce to the diffusion equation for
both V and I with the diffusion coefficient 9 = l-’RC, 1 being the distance
between adjacent nodes. The difference equations are solved by
V , = V, exp( - an - i o t )
and similarly for I,,.The quantity a satisfies the equation
cosha = 1 - ioz/2, (10.2)
where T = RC is the time constant of the network. For oz << 1, one obtains
a = ( - i o z ) - ’ ” , The continuum limit is realized when o7 << 1 , which is the
limit of low frequency. The characteristic admittance Y(m)is the ratio between
Inand V,
Y(o) = R-’(-~ox)’’’ (10.3)
in the low-frequency limit. The same considerations apply to the diffusion
problem in an arbitrary dimensional space. On a fractal network the
equivalent network is the RC network discussed in the last section, i.e., one
with R between nearest-neighbor sites and C connecting every site to the
common ground.
The SG network is constructed by the procedure shown in Fig. 2. The unit
triangle has a resistor R on every side and a capacitor C / 2 between every
vertex and the common ground. When three of these units are linked together
to form the next stage, the inner vertices have the capacitor C but the three
outer ones have C / 2 .For a sufficientlylarge unit all except the three outermost
vertices will be connected to ground through a capacitor C .
FRACTALS AND CONDENSED MATTER PHYSICS 25 1
(10.5)
72a J. P. Clerc, A. -M. S . Tremblay, G .Albinet, and C. D. Mitescu,J . Phys. (Paris)45, L-913(1984).
73 Y.Gefen, A. Aharony, B. B. Mandelbrot, and S. Kirkpatrick, Phys. Reo. Lett. 47,1771 (1981).
252 S. H. LIU
admittance by the length and dividing the result by the cross-sectional area.
For a 2D system the two factors are both L,, so G,, a L;". The carrier density
is the number of vertices divided by the area of the nth-order equilateral
triangle, with the result N, a L i b , where b = p/v = 2 - ln3/ln2. From
these we deduce the exponent for the anomalous-diffusion coefficient 8 =
In 5/ln 2 - 2.
At low frequencies o << 1/RC, we can carry out the iteration to the first
order of o,with the result
Y';)(w)= (1/R)(3)"-'(2 - i5"-'w7). (10.8)
This allows us to relate
Yy)(o) = (;)Yy+')(op). (10.9)
For the infinite network both Y y ) and Y(;+')approach to the same limit.
Therefore, Eq. (10.9) determines the frequency exponent of the infinite
network Y ( o )a (- iw)x,where x = 1 - In 3/ln 5 = 0.32. This is in complete
agreement with the prediction of the anomalous diffusion theory x =
1 - d / ( 8 + 2). Having verified the theory, we can use it to calculate the frac-
ton dimension d , = 2 In 5/ln 3. The nature of the eigenvalue spectrum and
eigenstates of the fractons have been discussed in detail by Ramma174,75and
Tremblay and Southern.76
For the finite network the ac response has different behavior in three
frequency regions. Define 7,, = RC(5)"-' and z = RC. The conductivity is a
constant for 07, << 1, follows the power law ( - io)xfor w7, >> 1 << 07, and is
- ioC/2 for oz >> 1. The last region is irrelevant because the discrete-network
model for diffusion breaks down. The ac conductivity for the finite SG may be
compared with that of a percolation network above the threshold, because
both have a connected resistive path between the input and output terminals.
The conductivity of the infinite SG corresponds to that for a cluster below the
threshold. The frequency exponent x = 0.32 is close to the value for the 2D
percolation cluster.
The same calculation can be carried out for the generalized SG in D
dimensions. The exponent relating to L, is
a = [ln(D + 3) - ln(D + l)]/ln2. (10.10)
The cross-sectional area is L:-', and the length is L , . Thus the exponent for
the conductivity is a' = a + D - 2. The exponent b can be found to be D -
In(D + l)/ln 2. These give the exponent for the anomalous-diffusion coef-
From this result we verify the scaling relation for the diffusion time 7,, K
+
( D 3Y-l = L:+2. The exponent for the frequency dependence of the ac
conductivity can be calculated directly from the generalization of Eq. (10.9)
(10.12)
+
with the result x = 1 - ln(D + l)/ln(D 3) = 1 - d / ( 8 + 2), where d =
+
ln(D l)/ln2 is the fractal dimension of the system. This result agrees
with that of the corrected dynamical scaling theory, Eq. (9.6). In fact,
Eq. (10.12) shows that it is the admittance, rather than the conductivity, that
obeys the scaling relation. This argument was used in the last section to correct
the dynamical scaling theory for anomalous diffusion.
The SG has been used by Stephen to model the diamagnetism of percolation
clusters composed of superconducting grains.77It was predicted on this basis
that the diamagnetic susceptibility of the system does not diverge at the
percolation threshold. In a similar problem Rammal and Toulouse7' and
Alexander 7 9 have investigated the motion of tight-binding electrons on an SG
in the presence of a magnetic field. The properties of the eigenvalue spectrum
and eigenstates of the system have been discussed.
1 1. THEac RESPONSE
OF ROUGHINTERFACES
The electrical response of the interface between a metal electrode and a solid
ionic or liquid electrolyte has been studied for a long time owing to its
importance in electrochemistry. The standard theory may be summarized as
follows. Any potential difference between the electrode and the bulk of the
electrolyte is screened by a space-charge layer in the electrolyte." This layer
and the surface of the metal electrode form a parallel-plate capacitor. The ac
signal encounters an impedance which consists of the ohmic resistance in the
electrolyte and the interfacial capacitance. The resistance in the metal is
negligible in comparison. The frequency dependence of the impedance is quite
simple, that the real part is independent of the frequency while the imaginary
part is inversely proportional to the frequency.
It has been known since 1926 that real systems do not behave in this simple
manner.” One invariably finds that both the real and the imaginary parts of
the interfacial impedance follow the same power-law frequency dependence,
and their magnitudes are so related that the total impedance has the form
Z(o)a (- io)-x, (11.1)
where the exponent x lies between 0 and 1. In the language of electrochemistry
this impedance of unknown origin is called the constant-phase-angle element
or constant-phase element. Within the past decade many investigators have
demonstrated that the value of x is intimately related to the roughness of the
interface, with x approaching 1 when the surface is made increasingly
~ m o o t h . ~ ~Under
- ~ ’ microscopy even well-polished surfaces show long lines
of scratches with jagged faces. Efforts have been made to model these grooves
by transmission lines, but these models invariably predict x = 4. Lyden et al.
observed a similar effect at the interface between a polycrystalline semicon-
ductor and an aqueous electrolyte.86Cohen and Tomkiewicz have suggested
that a new percolation process is taking place in the surface layer of the
semicond~ctor.~’ Since the effect is also seen for a metal electrode, this shows
that diffusion in the electrolyte is an important contributing factor. Le
Mehaute and Crepy have suggested a connection between the phenomenon
and the fractal nature of the interface, and have argued that x = l/d, where d is
the fractal dimension of the projection of the rough interface, 1 < d < 2.88
Their reasoning is rather obscure at places, and it is difficult to assess its
validity.
A soluble model for the ac response of a rough interface has been proposed
by Liu89and refined by Kaplan and Gray.” The model is based on the Cantor
bar in Fig. 4. If the sections at the different stages of construction are linked
together as shown in Fig. 22, we obtain a fractal model for the grooves on the
electrode, or protrusions in the electrolyte. Each groove has the self-similar
structure in that it subdivides into two branches, and each branch is similar to
I. Wolfe, Phys. Rev. 27,755 (1926).
82 See the review by P. H. Bottelberghs, in “Solid Electrolytes”(P.Hagenmuller and W. Van Gool,
eds.),Ch. 10. Academic Press, New York, 1978.
83 R. de Levie, Electrochim Acta 10,113 (1965).
84 P. H. Bottelberghs and G. H. J. Broers, J . Electroanal. Chem. 67, 155 (1976).
” R. D. Armstrong and R. A. Burnham, J . Electroanal. Chem. 72,257 (1976).
J. K. Lyden, M. H. Cohen, and M. Tomkiewicz, Phys. Rev. Lett. 47,961 (1981).
’’ M. H. Cohen and M. Tomkiewicz, Phys. Rev. B 26,7097 (1982).
” A. Le Mehaute and G . Crepy, Solid State Ionics 9/10,17 (1983).
89 S. H. Liu, Phys. Rev. Lett. 55,529 (1985).
the whole groove when magnified by a factor a, a > 2. The dimension of the
Cantor bar is d = ln2/lna c 1. The projection of the interface has the
dimension d + 1 and the surface itself has the dimension d + 2.
The electric circuit analog of the interface is shown in Fig. 23. The resistance
R in the electrolyte increases by the ratio a at every stage of branching because
of the reduction in cross-sectional area. The capacitance C, which is assumed
to be the same at every stage, represents the interfacial capacitance of the two
lateral faces of the branch. The interfacial capacitance in the dip between
branches becomes decreasingly important at higher branching stages, and can
be shown to be an irrelevant parameter; i.e., it does not affect the exponent of
the frequency dependence in the low-frequency limit. The common ground is
the electrode.
The impedance of the network in Fig. 23 between the input terminal and the
ground has the form of a continued fraction:
2 1 2
Z(O) = R + - i o C1 + ---...
a R - ioC+ a 2 R - ’
(11.2)
where we have used the condensed form of writing the fraction?’ One can
show that Z ( w ) satisfies the following frequency scaling relationg0
(11.3)
(11.4)
c+
a3R *
FIG.23. The RC equivalent network for the rough interface in Fig. 22 (Liu").
This Part deals with two topics, the critical elastic threshold of percolation
networks and the spectral dimension of elastic vibrations of fractal systems.
The theory is not as well developed as the diffusion theory, and there is much
room for careful studies. The problems now under investigation touch upon
the general questions of elastic properties of disordered solids. For this reason
the field deserves attention by physicists as well as materials scientists.
It was pointed out earlier that the gel-sol transition involves the formation
of an infinite cluster, and this has been compared with the percolation problem
258 S. H. LIU
at the threshold. de Gennes argued that the elastic rigidity of the gel is
analogous to the critical electrical conductivity of the percolation network.92
The equivalence of the two problems can be established if one uses an elastic
model for which the elastic potential of a pair of points on the network is
proportional to the square of the relative displacement vector of the two
points. Denote the coordinates of the two points by Ri and Rj and their
displacements by ri and rj. Then the elastic potential is
Fj = (K/2)(ri - rj)2 , (12.1)
where K is the elastic constant. This model for the elastic potential is known as
the isotropic force model because Fj is an isotropic function of the relative
displacement vector. The model is unrealistic in one respect. Consider a rigid
rotation through a small angle 8.The relative displacement vector is given by
Ir, - rjl = IRi - Rile. One can see from Eq. (12.1) that the system has a finite
resistance against rigid rotation.
Feng and Sen showed that the familiar mass and spring model is free from
this and the appropriate elastic potential is
yj = (K/2)[(ri - rj) .(Ri - Rj)I2. (12.2)
This model has been called the central-force model. One can easily see that in
this model elastic interactions can not propagate around a right-angle bend,
and consequently a percolation network on a square lattice is unstable against
shear. To circumvent this problem the authors studied two lattices that are
stabilized by central forces alone, the 2D triangular lattice and the 3D faced-
centered-cubic(fcc) lattice. They studied numerically the bulk modulus K, and
the shear modulus p, as functions of the concentration of bonds, and found
that both moduli exhibit the power-law singularity at the threshold
K.3 Pe (P- P C Y , (12.3)
where the threshold pc = 0.35 and t = 1.2 for the 2D lattice with isotropic
elastic forces and pc = 0.58 and t = 2.4 for the same lattice with central forces.
The elastic threshold is much higher for the central-force model, which reflects
the fact that the system is less rigid. The larger critical exponent means that the
elastic modulus increasesmore slowly, again indicating a softer lattice. Similar
results were obtained for the 3D lattice. The authors conclude that the two
kinds of forces belong to two distinct universality classes. In other words, the
elastic problem is not equivalent to the diffusion problem.
Bergman and Kantor reached similar conclusions by studying an elastic
Sierpinski gasket, for which every link is a simple spring (see Fig. 24a).94The
L.4 -
$\
A
Y',
FIG.24. (a) Sierpinski gasket with L = 4 unit cells to a side. Each side is a simple spring with
spring constant K. (b) and (c) Three possible deformationsof the L = 1 and 2 gaskets.Note that to
the lowest order of deformation only the external bonds change their lengths (Bergman and
Kantor94).
260 S. H. LIU
If we hold the first link rigid and apply a shear force F' at X I in the y direction,
one can find by elementary means that the distortion of the lth node is
y, = (F'/K')(13- 1)/6(N - 1). The distortion at the loaded end is y N =
(F'/K')N(N + 1)/6, and the effective spring constant is 6K'/N2 for large N.
When a force F is applied to the end of the chain, the relative changes in the
lengths and orientations of the bonds can be found by minimizing W = V -
-
F (RL - RN), where the quantity in the parentheses is the displacement of
the end of the chain. The component of this displacement in the direction of
the force is given by
-
6bi = F bi/Ka,
where Ri denotes the original position of the endpoint of the vector bi. The
minimized elastic energy is given by
W = F2NR:J2K’a2 + F 2 L l/2Ka,
l (12.11)
where R: is the squared radius of gyration of the projection of the sites Ri on
the direction of F x 5
(1 2.12)
and
(12.13)
For very long chains the second term in Eq. (12.11) is very small compared
with the first one. Thus, the rigidity of the twisted chain is dominated by angle-
bending elastic forces. The percolation network consists of multiply connected
blobs linked together by singly connected chains. The chains are the weakest
262 S. H. LIU
links in the cluster, and their stability determines the elastic threshold. Since
the angle-bendingforces give elastic rigidity to the chains, the elastic threshold
must be identical to the conductivity threshold.
Keeping only the bond-bending part of the elastic energy, we find that the
effective elastic constant, which relates the elastic energy to the displacement
of the end of the chain, is given by
k, = K ' a 2 / N R : . (12.14)
Coniglio showed that the number of bonds N in the singly connected part of
the percolation backbone diverges near the threshold as (p - pC)-' = 51/v.96
The radius of gyration behaves like the correlation length 5. Therefore, the
bulk elastic constant is given by
K , a 52-Dk, oc (-(D+l/V). (12.15)
From this one finds t = Dv + 1. Putting in the known values of v, one obtains
t = 3.6 in 2D and 3.55 in 3D. For D 2 6 the network consists mainly of singly
4,
connected chains. For this case v = N cc t 2 ,and R : a t2,and these give
t = 4. The conductivity exponent is p = 3.
Feng et al. verified some of these theoretical results by computer simula-
~ ' numerical estimate for a 2D network is t = 3.3 f 0.5 for a range of
t i ~ n . The
ratios of K ' / K . When the ratio is large they observed a cross-over to a lower
value t v for smaller systems. This result was predicted by Bergman and
N
Since realistic elastic forces give different values of the critical exponent
from the isotropic forces, the spectral dimension of the elastic vibrations of a
fractal network should also be different from the fracton dimension derived in
the last Part. In this Part we will use the term fracton dimension for isotropic
force systems, such as RL networks, and the term spectral dimension for elastic
systems.
We illustrate the problem by solving the normal modes of the linear chain
with bond-stretching and bond-bending forces. A mass M is attached at every
node. The longitudinal vibrations have the dispersion relation w =
(K/M)l/Zak, in the region of small wave vector k. The density of states is a
constant and the spectral dimension is 1. The equation of motion of the
transverse modes is
(13.1)
The dispersion relation is found to be w = (K‘/M)’12(ak)’. The spectral
dimension of these modes is i, and the density of states has a singularity
(o)-”~ at low frequencies. One can go one step further and solve the
vibrational problem of a zigzag chain with right-angle bends. The longitudinal
and transverse distortions are coupled, but there remain two branches of
normal modes with linear and quadratic dispersion relations, respectively.
Liu studied the spectral dimension of a Sierpinski gasket.”’ This system is
ideal for studying the compressional waves because it is stabilized by spring
forces alone. The basic building block of the system is an equilateral triangle
with masses M/2 at every vertex and a spring with spring constant K on every
side. When three such units are joined together to form the next stage, the
interior vertices will acquire the mass M. For a large system all vertices will
loo S. H. Liu, Phys. Rev. B 30,4045 (1984); in “Kinetics of Aggregation and Gelation” (F. Family
and D. P. Landau, eds.), p. 169. North-Holland Publ., Amsterdam, 1984.
264 S. H. LIU
have the same mass except the three outermost vertices, and the mass defects
there have little effect on the spectrum.
The elastic response of the basic unit is defined by a set of linear equations
relating the external forces fi exerted on the vertices and the displacements ri of
the vertices, i = 1-3. For a 2D system we arrange fi and ri as six-component
column vectors, then the matrix relating them is the 6 x 6 dynamical matrix
D'''(o), where
D'"(o) = r? - ( M u 2 / 2 ) T , (13.2)
and r? is the elastic matrix and Fthe unit matrix. Choosing the coordinates of
the vertices as (0.3). ( - 4.0). and (4.0). one finds
- -
1
f 0 -a -$I4 _- : $14
0 ? -$I4 -3 $14 -53
In the build-up process three units are linked together. The dynamical matrix
of the larger unit is found by the same decimation process for the diffusion
problem except that we must cancel vector forces and equate vector
displacements at the decimated vertices. In the end the forces at the three new
vertices are linked to the displacements of the vertices by a new dynamical
matrix D ( ' ) ( o ) which
, is related to the old dynamical matrix D ' O ) ( o )by a matrix
equation. The mathematics is straightforward but tedious; so we will only
discuss the results here. For frequencies very low compared with the char-
acteristic frequency of the basic unit, i.e., ( K / M ) " 2 , the new dynamical matrix
has approximately the same form as in Eq. (12.16) but the elastic matrix k? and
the mass M are renormalized. The renormalization of k is very simple in that
every element is reduced by a factor of 2. The physical reason for this scaling
relation has been discussed by Bergman and K a n t ~ rThe . ~ mass
~ scaling is not
simple at first. But if we iterate on the relation between D'O) and D"),we can
calculate the approximate dynamical matrices for larger units in the low-
frequency limit. It is found that after the first two or three stages the effective
mass scales up by a factor of 3 at every iteration. This shows that the low-
frequency excitations are collective vibrations involving all atoms in the
system. The frequency spectrum scales according to ( K / M ) ' / ' , so that at every
stage the frequency of a normal mode scales down by the factor 6lI2.
The scaling factor for the density of states is derived from a consideration of
the number of modes in a frequency interval do.At each step all modes in do
FRACTALS AND CONDENSED MATTER PHYSICS 265
are compressed into an interval dw', where w' = w/& O n the other hand, the
number of atoms goes up threefold. Thus the conservation of the number of
modes gives
3Nn+,(w')do' = Nn(w)dw. (13.4)
where N,,(o) is the density of states per atom in the nth stage of construction. In
the limit of large n the spectral density should be independent of n. As a result,
Eq. ( 1 3.4) gives N ( w ) a ode-where d , = 2 In 3/ln 6, which is smaller than the
fracton dimension d , = 2 In 3/ln 5. Consequently, the density of low-frequency
modes is higher in the real elastic system, and this is consistent with the finding
that the elastic network is softer than what the isotropic force model predicts.
The same consideration can be applied to Sierpinski gaskets in D-dimensional
space. The elastic constant scales with the length of an edge as K a L-', the
mass scales as M a Ld, where d is the fractal dimension d = ln(D + l)/ln2.
The frequency of a normal mode scales like o a L-(d+l)/z,and finally d , =
2d/(d 1).+
An analogous discussion for the tortional modes has been done by Webman
and Grest'"" and applied to the percolation network. The elastic modulus of
the predominantly bending mode is related to the correlation length by
K a ( - ( f / v - D + Z ) , while the mass M a Yd. Thus, the frequency of a normal
mode behaves like <-A, where A = ( t / v - D + d + 2)/2. We define CT = t / v -
D + d = ( t - P ) / v . This allows us to write, in close analogy with the diffusion
problem, that
d , = 2d/(a + 2). (13.5)
Using the estimated values of the exponents, Webman and Grest estimated
that d , = 0.8 and 0.9, for percolation networks in 2D and 3D, respectively. The
spectral density of these modes is singular at low frequencies. At higher
frequencies the modes are predominantly compressional. A large volume of a
percolation cluster behaves like a simple spring such that K cc t-'. Following
this scaling relation, we find
d, = 2d/(d + 1). (13.6)
For D 2 6 the compressional spectral dimension of the percolation network
attains the limit 4, which agrees with the speculation of Alexander and
Orba~h.~~
As pointed out in the last Part, the problem of spectral dimension was
stimulated by the spin-lattice-relaxation measurements of Stapleton et al. on
protein molecules.'0*' l To explain the temperature dependence of the
relaxation rate, the authors proposed that the spectral dimension of a fractal
looa I. Webman and G . S. Grest, Phys. Rev. B 31, 1689 (1985).
266 S. H. LIU
J. S. Helman, A. Coniglio, and C. Tsallis, Phys. Rev. Lett. 53, 1195 (1984).
H. J. Stapleton, Phys. Rev. Lett. 54, 1734 (1985).
S. H. Liu, Phys. Rev. B 32,6094 (1985).
l o 3 H. He and M. F. Thorpe, Phys. Rev. Lett. 54,2107 (1985).
FRACTALS AND CONDENSED MATTER PHYSICS 267
There are many motivations to study the magnetic ordering of spin systems
on fractal networks. From the practical point of view this is one way to
approach a theory of dilute magnetic systems, i.e., a lattice in which only a
fraction of sites are occupied by magnetic atoms. A more esoteric motivation
was to implement the nonintegral dimension that enters the modern theory of
phase transition.”* At the present time neither program has been carried to
fruition, but the accumulation of theoretical insights may form an important
cornerstone of the theory of random magnetic systems.
14. MAGNETIC
ORDERING OF ISING SYSTEMS
The system has four configurations, namely (TT), (TJ), (It),and (11).The first
and last configurations have the two spins in parallel, and their probability
weight is Pl = exp K, where K = J/kT. The two middle configurations have
antiparallel spins, and they have the probability weight P2 = exp( - K). The
partition function of the system is
Z = 2(P1 + Pz) = 4cosh K, (14.2)
k T ln(N - l), and it follows that the disordered state is favored as long as T >
J / k ln(N - 1). For an infinite chain the ordering temperature approaches zero.
Gefen et al. have analyzed a few Ising problems based on the Koch curve
with and without branchings.lo6 The simplest case is the Ising problem with
nearest-neighbor interactions along the Koch curve. The thermodynamics of
the system is identical to the 1D case except that the correlation length is
defined as the straight-line distance between the two end spins, rather than the
length of the zigzag path along the curve. The critical temperature remains
zero, and the critical exponent v is now In 3/ln 4 = l/d. Similar qualitative
results are obtained for branching models, and recently Aharony et al. dis-
cussed the magnetic correlation on the percolation cluster based on these
results."
The Ising problem on the Sierpinski gasket is more intere~ting.'~' The basic
building block of the system is an equilateral triangle with one Ising spin at
every corner. There is ferromagnetic interaction between every pair of spins;
so the Hamiltonian of the system is
H = -J(cT~o, + +
0 2 ~ 3 0301). (14.8)
There are eight spin configurations, two of which have all spins in the up or
down state and the remaining six have one spin in the opposite direction
from the other two. The probability weights of the first two configurations are
Pl = exp(3K), while the rest have P2 = exp( - K).The partition function is
Z = 2P1 + 6P2, (14.9)
and the two-spin correlation function for any pair is
u = (01a2) = 2(P1 - P2)/Z
'I1 A. Aharony, Y. Gefen, and Y. Kantor, Proc. N A T O Ado. Study Inst. Scaling Phenomena
Disordered Syst., 1985.
270 S. H. LIU
1.5 I I I I
1.o
0.5
0
0 1 2 3
T/ J
FIG.25. The magnetizationcurves of an king model on the Sierpinski gasket. The number by
each curve indicates the order of the gasket. The inset illustrates the small tail at the lower end
(Liu"*).
problems are too sophisticated for the scope of this review. Equally intriguing
is the finding by McKay and Berker that the renormalization-group
trajectories for the hierarchical Ising lattice shows chaotic behavior, and the
'
authors suggested this as a model for spin-glasses.' '7 9 1 A more conventional
approach to the spin-glass problem was taken by Banavar and Cieplak, who
assumed a variety of random interactions between Ising spins on a Sierpinski
gasket.' l 9 As pointed out earlier, even without random interactions the Ising
system on SG exhibits an abrupt magnetic transition and a broad specific-heat
peak, and these properties are shared by spin-glass systems. More work is
needed before a definitive conclusion can be reached on whether this line of
inquiry will lead to a viable model for dilute magnetic alloys.
Infinitely ramified fractal spin systems have been investigated by Gefen et al.
on the basis of a lattice called the Sierpinski carpet.'" In the beginning stage
the lattice is a square. It is subdivided into b2 squares of which 1' are cut out.
The procedure is repeated to the smaller squares until the subdivisions reach
microscopic dimensions. The fractal dimension of such an object is d =
ln(b2 - lZ)/lnb, which is between 1 and 2. The number of bonds that must be
cut to isolate a part of the object increases with the size of the carpet without
bound. As a result the spin systems are expected to order with T, # 0, even
though the fractal dimension of the system is smaller than the lower critical
dimension for the translationally invariant Ising system. The authors have
shown that the critical property of the spin system depends on two more
geometrical properties, the connectivity and the lacunarity. A part of the
carpet can be isolated by making a cut across the carpet. The cut may
encounter some holes, and as a result it has the general appearance of a Cantor
bar. The smallest fractal dimension of such a cut is defined as the connectivity.
In the construction procedure the squares that are cut out may be distributed
in different ways, for instance, connected or separated. This results in holes
which are either large but few or small but numerous. The quantity lacunarity
is defined to describe this distribution of holes, and it measures the failure of
the system to have translational invariance. An approximate renormalization-
group scheme has been constructed and used to find the dependence of the
critical temperature on these geometrical factors. In another publication
Gefen et al. demonstrated that a hypothetical (D= 1 + +dimensional Ising
model may be implemented on Sierpinski carpets of low l a c ~ n a r i t y . To '~~
what extent this program can be carried to higher dimensions is an open
question.
So far all the published works on magnetic problems are concerned with
thermodynamical properties. The dynamical response of magnetic moments
on fractal lattices should be of great interest in view of the fact that neutron
scattering and spin-relaxation data are available for random magnetic
systems, and these data are in general poorly understood. At the present level
of research activity, one can expect that these challenges will soon be met.
ACKNOWLEDGMENTS
The author wishes to thank Professor H. Ehrenreich for his encouragement and support during
the course of writing this review. He is indebted to participants of his short course at the Oak
Ridge National Laboratory for their stimulating questions and for bringing to his attention
numerous publications in this area. Informative discussions with R. Orbach, B. B. Mandelbrot,
Y. Gefen, S. Alexander, L. Sander, I. Webman, D. Weitz, J. S. Huang, S. K. Sinha, J. B. Bates,
S. Spooner, J. S. Lin, M. Rasolt, T. Kaplan, J. C. Wang, and K. R. Subbaswamy are gratefully
acknowledged. Work sponsored by the Division of Materials Sciences, U. S. Department of
Energy under contract DE-AC05-840R21400 with Martin Marietta Energy Systems, Inc.