
Основы наноелектроники / Основы наноэлектроники / ИДЗ / Книги и монографии / Наноматериалы, методы, идеи. Сборник научных статей, 2007, c.206
.pdf
|
|
|
|
|
|
|
2 |
j |
|
|
|
|
|
|
|
|
|
3 |
j |
|
|
1 |
|
|
E |
|
|
|
T |
||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|||||||||||
E |
y |
E |
,T 3 |
|
|
|
E |
,T |
E |
x |
|
|
|
|
|
E |
,T |
|
|
|
x |
E |
xC |
||||||||
|
|
2 |
|
|
|
|
3 |
||||||||||||||||||||||||
|
|
x |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
Ex |
|
|
|
|
|
|
|
|
Ex |
|
|
|
|
|
|
|
|
|
||||||||
(38) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ex ExC |
T |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
so Ey |
~ |
Ex2 ExC2 |
T |
at |
|
Ex |
|
|
ExC (T) |
near the bifurcation point |
|||||||||||||||||||||
|
|
|
(see figure 4).
The spontaneous transverse field influences naturally the currentvoltage characteristic
jx = jx(Ex, T), which does not depend on the direction of the spontaneous field Ey. For the case of the existense of second order NPT's the function jx is presented in figure 5.
Figure 5. The cur rent-volt age characteristic at T = fix (normalized). The curves correspond to the following values of the temperature: 1) T = 0.05; 2) T = 0.5. The solid lines 1-la and l-2a correspond to stable
131

states of Ey, the dotted parts lb and 2b to unstable ones. The lines 1-lb and l-2b describe function Jx(E x ,O, T]. which in 2SL units for E and T
coinsides with 1SL current density (10). The maxima of curves correspond to critical value of applied field Ex = Exc(T).
4. Conclusion
In present paper, an exact distribution function has been found of the carriers in the lowest parabolic miniband of a 1SL. The novel formula for the current density in 1SL contains temperature dependence, which leads to the current maximum shift to the low field side with encreasing temperature, that agrees with available experimental data.
The considered SL model includes NPT's studied earlier. Besides, a novel type NPT has been found, in which the sample temperature plays role of a control parameter. It follows from the temperature dependence of ExC(T), that a novel type NPT2 is possible in the model considered. Indeed, in the field interval E1 < |EX| < E2 the transition "Curie temperature" Tc{Ex) exists and near the transition point the nontrivial transverse field ЕУ(Т) 0 appears, which behaves
asEy ~ T Tc Ex . The estimates of the effects predicted are
reduced, in general, to estimate of electric utuu required. At d = 10"7 cm,
= 10-12 s we have 10-2 eV and units for E and T are 2 • 103 and 100 К respectively. At Ex 600V/cm, the value Tc 70 К is obtained.
References
[1]Asche M, Kostial H and Sarbey О G 1980 J.Phys. C: Solid State Phys. 13 L645
[2]Shmelev G M and Epshtein E M 1992 Fiz. Tverd. Tela 34 2565 (Engl. Transl. 1992 Sov. Phys.
Solid State 34 1375)
|3] Shmelev G M , Epshtein E M, Chaikovskii I A and Matveev A S 2003 Izv. AN, ser. fiz. 67 lilO (in Russian)
[4]Matveev A S 2004 Izv. VGPU (Estestv. г fiz.-mat. nauki) No. 4 18 (in Russian)
[5]Shmelev G M , Epshtein E M and Gorshenina T A 2005 condmat/0503092 6] Romanov Yu A 2003 Phys. Solid State 45 559
132
[7]Khadzhi P I 1971 Probability Function (RIO AN MSSR, Kishinev) (in Russian).
[8]Grahn H T , von Klitzing K, Ploog К and Dohler G H 1991 Phys. Rev. B, 43 12004
[9]Bonch-Bruevich V L, Zvyagin I P and Mironov A G 1975 Domain Electrical Instabilities in Semiconductors (New-York: Consultants Bureau)
[10]Shmelev G M and Maglevanny 11 1998 J. Phys.: Condens. Matter 10 6995
[11]Gilmore R 1981 Catastrophe Theory for Scientists and
Engineers (A Wiley-Interscience Publication John Wiley & Sons, New York, Chichester, Brisbane, Toronto)
133

Stability of Turing Patterns in a Reaction-Diffusion System with Boundary Control
Eugene V. Kagan
E. V. Kagan is with the Department of Industrial Engineering, Tel-Aviv University, Ramat-Aviv, Tel-Aviv 69978, Israel (e-mail: kaganevg@post.tau.ac.il ).
Abstract—We consider a two-component reaction-diffusion system. If the equilibrium state of this system is unstable, then there exist dissipative structures – Turing patterns – determined by the parameters of the system.
The paper considers stability of Turing patterns in the reactiondiffusion system with boundary control. The study is based on the Liapunov vector functions, and applies the Sirazetdinov method of stability in measure.
The study is stimulated by the example of reaction-diffusion system, which describes behavior of a two-layer semiconductor structure.
Index Terms—Reaction-diffusion system, Turing patterns, boundary control, stability in measure.
INTRODUCTION
A WIDE class of non-linear physical and chemical systems demonstrates a spatial formation of regular wave structures in initially homogeneous media. An accepted description of such phenomenon is provided by a non-linear parabolic system [12]
u D u f (u,b) ,
t
where |
|
u (u1,u2 |
un ) is interpreted |
as |
a vector |
of |
concentrations, |
||||||
D |
|
|
|
ij |
|
|
|
n n - as |
a diffusion matrix, |
and |
b stands |
for |
the bifurcation |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
parameter. Such system is called Turing system. It is assumed that the
system is defined |
on the certain |
domain of Rn 0, , and that |
the |
initial and boundary conditions are determined, as well. |
|
||
If f is nonlinear |
function of u, |
then there exists a value b0 of |
the |
parameter b such that if b b0 then the homogeneous state of the system is unstable, and the system behaves as follows [7]:
|
if b b0 then the short external influence on the system |
|
gives a rise to the static and pulse auto-waves; |
134
if b b0 then the auto-waves and the wave structures appear
without external influence.
In the paper, we consider a two-component (n 2 ) Turing system. Such systems are called reaction-diffusion systems. For reactiondiffusion system, u1 is interpreted as a concentration of activator and u2 - as a concentration of inhibitor.
In 1988, Balkarey, et al. [2] considered a semiconductor realization of the reaction-diffusion system and the possibilities of its application for the data storage. Balkarey, et al. showed that if ij 0 , i, j 1, 2 , then
in the semiconductor structure appear dissipative structures depending on the parameter b. In [4], [5], [6] this system with the boundary control and the methods of its realization were considered.
In 2003, Ishikawa, et al. [3] addressed a reaction-diffusion system, which is controlled by the bifurcation parameter b b1 ,b2 , where b1 and b2 are determined by mutually independent Wiener processes, and showed that the stable dissipative structures in the system are still existing.
The study of the reaction-diffusion system with stochastic boundary conditions is conducted in 1994 by Sowers [11] who considered the system with the white noise on the boundaries (in the Neumann form). The similar study of the system with the boundary conditions in the Dirichlet form was treated in 2002 by Alòs and Bonaccorsi [1].
In the paper, we consider reaction-diffusion system, which describes the two-layer semiconductor behavior with the boundary control. The goal of the paper, in opposite, to the previous works, is to study stability of dissipative structures on the characteristic of the control processes.
Considered problem and methods
The considered reaction-diffusion system is presented in the following form:
u1 |
1 u1 f1 u1, u2 , |
u2 |
2 u2 |
f2 u1 ,u2 (1) |
|
t |
t |
||||
|
|
|
where u1 and u2 are interpreted as non-equilibrium concentrations of activator and inhibitor, correspondently. Thus, the initial conditions for the system (1) are:
u1 x, y,0 0 , u2 x, y, 0 0 . |
(2) |
We suppose that boundary conditions are given as follows:
135

u1 0, y, t x1 t , |
u1 1, y, t x1 t , |
u2 0, y,t x2 t , |
u2 1, y,t x2 t , |
|
u1 x, 0, t y1 t , |
u1 x,1, t y1 t , |
|
(3) |
||
|
u2 x, 0, t y2 t , u2 x,1, t y2 t , |
|
|
|||
|
0 x 1, |
|
0 y 1. |
|
|
|
The auto-waves in the system (1) exist if fi |
ui |
0 , and dissipative |
||||
structures appear if 1 |
2 |
[12]. We suppose that these requirements |
||||
hold true. |
|
|
|
|
|
|
In the paper, we consider two problems: |
|
x1, x2 , y1, y2 |
||||
Given |
the processes |
x1, x2, y1, y2 |
and |
|||
find such |
functions |
f1 |
and f2 that there |
exist stable auto-wave |
||
solutions of the system. |
|
|
|
|
|
|
Given functions |
|
|
|
|
|
|
|
f1 u1 , u2 v1 1 u1u2 u10u20 , |
|
(4) |
|||
|
f2 u1 , u2 v2 2 u1u2 u10u20 , |
|
||||
|
|
|
which correspond to the quadric recombination of the electrons and holes with stationary concentrations u10 and u20 , find parameters of the
processes and such that the solutions of the system are stable autowaves.
For stability analysis of the system (1), we apply the generalization of the Liapunov methods, suggested by Sirazetdinov [10], and called stability in measure.
The idea of the method is following. Let u :D T R2 , D R2 , T 0, , be a process. We suppose that the domain D is bounded, and the values on its bounds are determined by boundary conditions (3). To study stability of the process u 0 relatively to permanent disturbances, e.g., processes and , consider real measures 0 0 u ,t and
u ,t ,t , which are defined on the set of processes u, and a real
measure |
d d t , t |
of disturbance. Suppose that |
for these |
||
measures |
hold true that |
0 u 0, |
0 0 0, |
u, t 0, |
0,t 0 , |
d 0, 0 0 , and for each process u the measure is continuous on t.
The process |
u 0 is called stable in |
measures , 0 and |
d [10], if |
for every 0 |
there exist such 0 0 |
and d 0 that: |
|
136

- for every solution of the system such that 0 0 for t t0 0 , and
-for every disturbance such that d d ,
holds true that for t t0 |
0 . |
We consider the process u u1, u2 0, 0 as an initial equilibrium state and require that it is unstable in measures for the boundaries (3). Then we consider the dissipative structures for the system, and consider their stability in measures.
Approximate solution of the system
Suppose that the solution of the system (1) is given by the following formal series:
|
f2 zn x, y,t , |
|
|
us us,n f1 , |
s 1, 2 , |
(5) |
n 0
such that the initial and the boundary conditions hold true. For certain approximate methods for solving system (1) in the form (5) see, e.g. [8].
Let us consider solution (5) of the system (1) with the functions f1 and f2 as given by (4). Let
zn exp i nt j n x k n y ,
where i2 |
j2 k2 1, ij |
k ji , jk |
i kj and ki |
j ik . Since |
||
Re i nt |
j n x k n y 0, |
for complex |
conjugate |
z |
n of |
zn we have |
|
z |
n zn1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Substituting series (5) into the system (1) with the functions |
f1 and |
||||||||||||||||
|
f2 given by (4), for each n we obtain: |
|
|
|
|
|
|
|
|
|
|
||||||||
|
us,n |
s us,n s n2 |
n2 us,n vs zn1 i nus,n |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
||||||||||||
|
|
t |
|
|
|
|
us,n |
|
|
us,n |
|
|
|
|
|
(6) |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
u0u0 z 1 2 j 2 |
2k |
2 |
|
|
U |
|
, |
|
||||||
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
s |
1 2 |
n |
n |
x |
n |
y |
|
s |
|
n |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where s 1, 2 , |
and |
Un |
u1,nu2,n p |
is |
determined by |
formal |
|||||||||||||
|
|
|
|
|
|
|
|
p |
|
|
|
|
|
|
|
|
|
|
multiplication of the series (5) [13]. For each s 1, 2 , this equation is equivalent to the system of one equation for Re zn , and the equations for all possible rearrangements of i, j and k.
Suppose that space and time derivations of us,n are equal to zero. This
137

supposition is equivalent to the one used in the method of slowly varying amplitudes [8]. Then from (6) we obtain:
|
|
0 0 |
|
|
2 |
2 |
|
|
|
|
||||
u1,n zn 1u1 u2 v1 |
|
n |
n i n |
1 u |
2,n p |
|
||||||||
1 |
, |
|||||||||||||
|
|
|
|
|
|
|
|
|
p |
|
|
|||
|
|
0 0 |
|
|
2 |
2 |
|
|
|
|
||||
u2,n zn 2u1 u2 v2 |
|
|
n |
n i n |
2 u1,n p |
|
||||||||
2 |
. |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
p |
|
|
From these formulas, using the initial and boundary conditions (2) and (3), and a requirement of convergence of the series (5), the certain values of the amplitudes and phases can be obtained. Initial condition
(2) in this case, has a form
us, n |
t 0 |
us,n |
t 0 , us,0 |
|
t 0 |
|
|
|
0 , s 1, 2 ,
and for the boundary conditions series (5) must converge to the corresponding functions and .
Stability of the process in measures
Let us define the measures 0 , and d as follows:
|
|
1 |
1 |
|
|
|
f1 u1, u2 f2 u1, u2 |
|
|
d dxdy , |
|
|||||||
|
0 |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|||||||||||||||
|
|
0 |
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
dxdy, |
|
|
|
|
|
|
|
|
|
|
u1 u2 |
|
|
|
|
|
|
|
|||||||||
|
|
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
sup |
|
f1 , f2 |
, |
|
, |
|
||||||||||
|
|
|
|
|||||||||||||||
|
|
|
t 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where us us |
x us y , |
s 1, 2 . |
|
|||||||||||||||
The meaning of the measures |
0 |
, and |
d is following. The first |
|||||||||||||||
measure |
0 |
characterizes an initial state of the system in respect to the |
||||||||||||||||
functions |
f1 |
and |
|
|
|
f2 . Functions |
f1 |
|
|
and f2 |
do not depend on t and, |
because of the initial condition (2), at the time t 0 both obtain constant
values f1 |
t 0 c1 and |
f2 |
t 0 |
c2 . If c1 c2 , then |
0 0, and |
0 |
|
||||||
otherwise. Hence, for instability of an initial state in measure |
0 |
it is |
|||||||||||
sufficient that |
c1 c2 . |
|
|
|
|
|
|
|
|
|
|
|
|
For certain functions |
f1 and |
f2 (4), we have: |
|
|
|
|
|
||||||
|
|
f1 f2 |
|
t 0 |
u10u20 1 2 v1 v2 . |
|
|
|
|
||||
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|||||||
If e.g. we use recombination coefficients |
1 |
and |
2 , |
and |
|||||||||
concentrations |
u10 and |
u20 |
of, respectively, electrons |
and |
holes |
for |
138
silicon (see, e.g. [9]): 1 |
8.47 10 8 , |
2 1.41 10 8 , u10 u20 1.02 1010 , |
|||||
we obtain: |
|
|
|
|
|
|
|
f1 f2 |
|
|
t 0 7.35 1012 v1 v2 . |
||||
|
|||||||
Thus, to reach the value |
f1 f2 |
|
t 0 |
0 , generation velocities v1 and |
|||
|
|||||||
v2 have to be so that v1 |
v2 7.35 1012 cm 1 , what is impossible, and |
an initial state of the system applied to silicon structure is instable. The similar reasons hold true for germanium, as well.
If functions u1 and u2 are (quasi-)periodic at t, then there exist functions f1 and f2 , not necessary linear, such that 0 for t 0. In fact, if the result u1 u2 of multiplication of the series (5) correspond to a periodic function, then functions f1 and f2 (4) with constant velocities v1 and v2 are periodic, and 0 .
Measure characterizes a current state of the system. If functions u1
and |
u2 |
are such that |
either |
u1 |
and |
u2 |
, or |
such |
that |
||
u1 ~ u2 , then , and otherwise. |
|
|
|
|
|||||||
Finally, measure d |
characterizes disturbance of the system by the |
||||||||||
processes and in respect to the functions f1 |
and f2 . If f1 f2 , then |
||||||||||
d |
0 for every t 0 . |
|
|
|
|
|
|
|
|
||
Let us consider the defined measures for the functions |
f1 and |
f2 |
|||||||||
given |
by (4) and an |
approximate solution |
resented in |
sec. 0. If |
|||||||
f1 f2 |
0 , then according to the formulas for us,n (see sec. 0) we have |
||||||||||
u1,n |
u2,n |
0 and 0 |
for every |
t 0 . Since in this case |
0 0 |
and |
|||||
d |
0 , we may take 0 |
d with arbitrary 0. The process |
|||||||||
is stable, and the system stays in an initial state. |
|
|
|
|
|||||||
Let |
f1 f2 0 . Then |
0 0 and |
|
d 0 , but in general, according to |
|||||||
the formulas for us,n (see sec. 0), |
0 . Measures 0 and |
d do not |
determine a bound for the measure . Thus, the process is unstable in these measures.
Numerical simulations trialed for the system with constant boundaries and corresponding to silicon coefficients show that if f1 f2 0 , then the process diverges exponentially, and during 100 time-steps the concentrations u1 and u2 grow from ~1010 to ~10100 . If, in opposite,
139

f1 |
f2 0 , |
then |
the system stays |
in |
its |
state at t t0 0 with |
u1 |
1u10u20 |
and u2 |
2u10u20 . |
|
|
|
|
For different non-zero functions f1 |
and |
f2 |
given by (4), the system |
with the silicon parameters demonstrates complex behavior (sec. 0, Fig. 1). The initial state is broken and the traveling waves appear. For the germanium parameters (sec. 0, Fig. 2), the system leaves an initial state and converges to the stable state.
Stability of Turing patterns
Let us consider the measure . For stability of the system this measure has to be bounded, and the bound is determined by the measures 0 and d .
If the process is stable and if 0 , then the state of the system is
non-homogeneous, and wave solutions exist. Nevertheless, as shown by simulations of the system with silicon parameters (sec. 0, Fig. 1), the states of the system periodically change.
For stability of Turing patterns, in addition to the stability of the
process, we require that beginning from a |
time moment tc for the |
|
measure hold true the following conditions: |
|
|
0 and |
d dt 0 , |
t tc . |
The first condition means that the state of the system is nonhomogeneous, i.e. it corresponds to some, may be irregular, pattern on the surface, and the second condition requires from this state to be constant in time.
Let us apply measure to the series (5) and functions f1 and f2 given by (4). Using the formulas for us,n and taking into account that for
|
|
every n, series u1,n p |
and u2n p are the series for the functions u1 |
p |
p |
and u2 , respectively, we obtain:
u1 u2 1 v1 1u10u20 1 n2 n2 i n 1u2 2 ,
n
u2 u1 2 v2 2u10u20 2 n2 n2 i n 2u1 2 .
n |
|
Denote A1n 1 n2 n2 i n and |
A2n 2 n2 n2 i n . Then the |
measure can be written in two equivalent forms:
140