Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 1
Pattern Formation in Rayleigh-Bénard Convection
Lecture 1
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 2
Pattern formation is a common feature of diverse systems driven far from equilibrium.
Rayleigh-Bénard convection has served as a useful canonical example of pattern formation.
In this lecture I plan to give a basic introduction to pattern
formation by addressing the question: “What happens to a
macroscopic system as we drive it further away from
equilibrium?”
Back Forward
Today’s concepts:
• patterns
• equilibrium v. nonequilibrium
• linear instability
• nonlinear saturation
• stability balloons
• pattern competition
Stationary Ideal Patterns
Stripes Hexagons Squares
cf. Bajaj et al. Ahlers website Ahlers website
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 5
Transients and disordered patterns
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 6
Onset of chaos in small systems
R = 2804 R = 6949
Back Forward
Spatiotemporal chaos
Spiral Defect Chaos Domain Chaos
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 8
Equilibrium, Nonequlibrium, and Far From Equilibrium
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 9
Closed (Equilibrium) Open (Far from Equilibrium)
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 10
Closed (Equilibrium) Open (Far from Equilibrium)
Back Forward
Open systems characterized by:
• Energy input, interconversion, and output
• Transport of matter and energy
Pattern formation is a common feature of systems far from equilibrium.
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 12
Equilibrium
• macroscopically uniform
• no fluxes of matter or energy
• dissipative processes return weakly perturbed system towards steady state (Onsager theory)
– Thermal conductivity → Uniform temperature – Viscosity → zero velocity
– Diffusion → uniform species concentration Typically get exponential decay to equilibrium
u( x , t) = X
n
u
ne
iqn·xe
−κqn2tFar from Equilibrium
• Exponential growth of disturbances
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 13
Equilibrium Perturbations
decay Perturbations
grow
R
R
cD ri ving
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 14
Equilibrium Perturbations
decay Perturbations
grow
R
R
cD ri ving
Back Forward
Pattern formation occurs when the
growing perturbation about the spatially uniform state has spatial structure (a mode with nonzero wave vector).
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 16
d
L A
B
x
y
z
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 17
Dynamical Equations
I shall confine my discussion to systems far from equilibrium that are macroscopic and continuous
These are defined by dynamical equations that
• Reflect the laws of thermodynamics and the return to (local) equilibrium
• Are the familiar phenomenological equations
Leads us to the study of nonlinear, determinisitic, PDEs
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 18
Equations for Convection (Boussinesq)
σ − 1 (∂ t + v · ∇) v = −∇ p + RT z ˆ + ∇ 2 v (∂ t + v · ∇) T = ∇ 2 T
∇ · v = 0 Boundary conditions
v = 0 at z = 0 , 1
T =
1 at z = 0
0 at z = 1
Conducting solution: v = 0, T = 1 − z
Back Forward
A first approach to patterns: linear stability analysis
1. Find equations of motion of the physical variables u (x, y, z, t) 2. Find the uniform base solution u
b(z) independent of x, y, t 3. Focus on deviation from u
bu ( x , t) = u
b(z) + δ u ( x , t)
4. Linearize equations about u
b, i.e. substitute into equations of part (1) and keep all terms with just one power of δ u. This will give an equation of the form
∂
tδ u = ˆ L δ u
where L may involve u ˆ
band include spatial derivatives acting on δ u 5. Since L is independent of ˆ x, y, t we can find solutions
δ u
q( x
⊥, z, t) = u
q(z) e
iq·x⊥e
σqtBenasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 20
δ u
q( x
⊥, z, t) = u
q(z) e
iq·x⊥e
σqtRe σ
qgives exponential growth or decay
Im σ
q= −ω
qgives oscillations, waves e
i(q·x⊥−ωqt)Im σ
q= 0 H⇒ Stationary instability
Im σ
q6= 0 H⇒ Oscillatory instability
For this lecture I will look at the case of stationary instability
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 21
x
u
Exponential growth: exp[σ q t]
λ=2π/q
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 22
Rayleigh’s Calculation
T +∆T T
δT
q(x, z) =
q
2+ π
22cos (πz) cos (qx), δw
q(x, z) = q
2cos (πz) cos (qx),
δu
q(x, z) = −iπq sin (πz) sin (qx).
Back Forward
1 2 3 4 5
q
σq5
-5
-10 0
R = 1 . 5 Rc
R = 0 . 5 Rc R = Rc
(σ
−1σ
q+ π
2+ q
2)(σ
q+ π
2+ q
2) − Rq
2/(π
2+ q
2) = 0
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 24
Re σ
qq
R < R
cR = R
cR > R
cq c
For R near R
cand q near q
cRe σ
q= τ
0−1[ ε − ξ
02(q − q
c)
2] with ε = R − R
cR
cBack Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 25
Re σ
qq
R < R
cR = R
cR > R
cq c
For R near R
cand q near q
cRe σ
q= τ
0−1[ ε − ξ
02(q − q
c)
2] with ε = R − R
cR
cBenasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 26
q
cq R
Rc
Re σ
q> 0
Re σ
q< 0
Setting Re σ
q= 0 defines the neutral stability curve R = R
c(q) R
c(q) = (q
2+ π
2)
3q
2⇒ R
c= 27 π
44 , q
c= π
√ 2
Back Forward
Linear stability theory is often a useful first step in understanding pattern formation:
• Often is quite easy to do either analytically or numerically
• Displays the important physical processes
• Gives the length scale of the pattern formation 1 /q
cBut:
• Leaves us with unphysical exponentially growing solutions
• Not all pattern formation phenomena can be connected back to the linear onset
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 28
Nonlinearity
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 29
q R
Re σ
q> 0
Re σ
q< 0
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 30
q
cq R
R
cRe σ
q> 0
Re σ
q< 0
Back Forward
q
cq R
R
cRe σ
q> 0
Re σ
q< 0 R
c(q) or
q
N(R)
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 32
q
cq R
R
cband of growing solutions
Re σ
q> 0
Re σ
q< 0
q
N-q
N+R
c(q) or
q
N(R)
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 33
q
cq R
q = n 2 π/l
R
cR δ u
Forward Bifurcation
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 34
q
cq R
q = n 2 π/l
R
cR δ u
Backward Bifurcation
Back Forward
q
cq R
nonlinear states
R
cBenasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 36
q
cq R
R
cPatterns exist.
Are they stable?
No patterns
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 37
q
cq R
R
cE E E=Eckhaus
stable
unstable unstable
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 38
q
cq R
R
cZZ Z=ZigZag
stable
unstable
Back Forward
q
cq R
R
cZZ E
E
stable
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 40
q
cq R
R
cE O
E=Eckhaus Z=ZigZag
SV=Skew Varicose O=Oscillatory SV
ZZ E
stable
b a n d
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 41
q
cq R
R
cE O
E=Eckhaus Z=ZigZag
SV=Skew Varicose O=Oscillatory SV
E ZZ
stable b a n d
q
S+q
S-q
N+q
N-Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 42
q R
R
cE ZZ E
stable
band
Back Forward
Summary so far
• Uniform state unstable to growth of perturbation with wave vector q for R > R
c( q )
• Neutral stability curve q
N±(R) defined by R
c( q
N±) = R
• Saturated, nonlinear states exist for q
N−(R) < q < q
N+(R)
• Nonlinear states are stable in a restricted band of wave vectors q
S−(R) < q < q
S+(R) (the stability balloon)
• Near onset the instabilities take on a universal form (Eckhaus and ZigZag)
q
E+− q
c= q
c− q
E−= 1
√ 3 (q
N+− q
c) ∝ ε
1/2q
Z− q
c= 0 × ε
1/2+ ?? × ε
• Away from onset the specifics of the system will be important
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 44
Role of Symmetry
Full rotational symmetry in plane
q q
R
x
q
yNo patterns Patterns
N
(a) (b)
q
q
c cBack Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 45
At the linear level any superposition of modes with | q | ' q
cgives a (time dependent) solution
Nonlinearity will:
• Saturate growth
• Lead to mode competition How to proceed?
• There is in general no way to list all possible solutions of a nonlinear PDE
• Use symmetry to suggest possible structures
• Test stability
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 46
q
xq
y0 10 20 30 40 50
0 10 20 30 40 50
Back Forward
q
xq
y0 10 20 30 40 50
0 10 20 30 40 50
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 48
q
xq
y0 10 20 30 40 50
0 10 20 30 40 50
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 49
q
xq
y0 10 20 30 40 50
0 10 20 30 40 50
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 50
q
xq
y0 10 20 30 40 50 60
0 10 20 30 40 50 60
Back Forward
q
xq
y0 10 20 30 40 50
0 10 20 30 40 50
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 52
It should be noted that many of the same questions come up in equilibrium physics in discussing crystal structure. Similarities:
1. Propose structure, and test for stability 2. Similar structures
3. Group theory is a useful tool
Differences in nonequilibrium systems:
1. No free energy to compare states, and choose between multistable states
2. Transitions often continuous (second order) or weakly first order, so that analysis in terms of wave vectors at q
cmakes sense
3. Often interested in two dimensional structures
Back Forward Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 53
Anisotropy direction (only x → − x symmetry)
q
xq
yq
xq
y(a) (b)
θ
Benasque PHYSBIO 2003: Pattern Formation in Rayleigh-Bénard Convection - Lecture 1 54