This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
0), but, due to the non-linearity of the problem, its effects are s t i l l present i n the saturation of the current j to the value JCL • I n the process S —• 0, an " i n f i n i t e s i m a l " potential barrier a u t o m a t i c a l l y adjusts so as to allow a transmission of the current exactly at the value j e t , whatever the injection profile 7 is. T h e analysis of the "infinitesimal" potential barrier is made possible by a boundary layer analysis that, w i l l be summarized i n section 3. c
c
E
c
c
F i g u r e 4 : Phase p o r t r a i t o f characteristics o f the s t a t i o n a r y V l a s o v e q u a t i o n associated w i t h the p o t e n t i a l E
(p w h e n x
E c
>0
12
2.3.
Sketch of proof of theorem 2.1
I t is interesting t o give a sketch o f the proof of theorem 2.1, because i t explains w h y the m a t h e m a t i c a l analysis is still incomplete in many cases of application of t h i s theory. T h e first proof of theorem 2.1 was given i n [15] by use of explicit solutions of the p r o b l e m (2.28)-(2.32). T h e n , another proof based on functional a n a l y t i c a l arguments was given i n [10], [11], and used for extending the m a t h e m a t i c a l analysis to the case of cylindrical or spherical diodes. T h i s second proof uses an uppersolution concept which first appeared i n [21], I t can be used t o extend the theory to more complex situations like magnetized flows, collisional problems, etc, as we shall see i n [5] and [6] (see also references cited i n section L ) . However, the first proof is more i n t u i t i v e , and gives a better physical understanding of the p r o b l e m . Since b o t h methods are usefull, we shall outline b o t h of t h e m . F i r s t m e t h o d : p r o o f o f t h e o r e m 2.1 v i a e x p l i c i t s o l u t i o n s o f t h e p r o b lem
(2.28)-(2.32)
Existence of solutions for (2.28)-(2.32) follows from [17] or [21], under very m i l d assumptions on the b o u n d a r y d a t a j(v). Furthermore, i t is an easy m a t t e r to show t h a t 'p is s t r i c t l y convex. Therefore, i t reaches its m i n i m u m value
0, ip < 0, i n w h i c h case >p is nonincreasing on [0. x ] and nondecreasing on [ x , l ] (see figure 3 ) . I n each case, i t is easy t o draw a phase p o r t r a i t of the characteristics. T h e characteristics issued from x = 0 at the critical velocity v = v£ = ±y/—\p\ is of particular importance. I t corresponds t o particles w h i c h reach the top of the potential barrier \p\ w i t h zero velocity, and w h i c h can either go back t o the cathode or continue t h e i r way t o the anode. Therefore, this characteristics is singular, w i t h four branches meeting at the point (x = x\,v = 0). Using t h i s critical characteristics, we can p a r t i t i o n the phase space [0,1] x IR i n three regions (see figure 4) : E
c
c
!
l
c
E
E
c
c
c
E
E
=
{ ( x , f ) , 0 < x < 1, v > v V ( z ) - & }
f ! | = { ( z , u ) , 0 < x < x%, v
2
Q | = {(x,t>), 0 < x < 1, v < sign{x
(2.44)
< < / ( x ) -
(2-45)
-x*)vV(*)
(2.46)
s
w i t h EJ^ possibly e m p t y i f X . = 0. T h e region f l , encloses characteristics corresponding t o particles leaving the cathode w i t h a velocity larger t h a n the critical velocity and thus, travelling t h r o u g h the diode up to the anode. T h e region fif, encloses trajectories of particles leaving the cathode w i t h a velocity smaller t h a n the critical velocity v\, and thus being rcflertpri by the potential barrier back towards the cathode. T h e region Q j corresponds t o particles e m i t t e d from the anode. Since no particles are e m i t t e d from the anode (see boundary c o n d i t i o n (2.31)), the d i s t r i b u t i o n function is zero along the characteristics contained i n Since, all the characteristics reach the b o u n d a r y ( 0 , 1 } x IR, the solution of (2.28) is uniquely determined from the boundary d a t a g (v) according t o the following formula : c
13
(2.47) (2.48) F r o m (2.47) a n d (2.48), i t is easy t o o b t a i n e x p l i c i t formulae for the density and the c u r r e n t j : for 0 < i < x we have : e
n
e
E
c
wg (m)dw
w h i l e for r
£
(2.49)
< x < 1, we have : CO
tug (uj)diu E
(2.50)
/ and similarly :
roo
<"9 ( tu) dtw
(2.51)
E
/ , roo
-
J
(2.52)
r ^ 7 M7(u
I t is also i n t e r e s t i n g t o evaluate the kinetic energy defined by : +oo t
of t
/ -oo
V f'(x,v)dv.
A g a i n , the e x p l i c i t formulae (2.47) and (2.48) allows to give an e x p l i c i t expression : for 0 < x < i f . , we have :
s
-
poo e
(2.53)
t (x)
=
/
c
2
c
wg (w)\Jw
+ ip (x) dw +
/"V ^ /
c
2
wg (w)\Jw
4- ^(x)
dw, (2.54)
w h i l e for i f < x < 1, we have : oo E
t (x)
-
E
2
_wg {w)y/w
/
E
+ip (x)dw.
6
(2.55)
F r o m (2.51) or (2.52), i t is readily seen t h a t j does not depend on x. T h i s fact is also verified by i n t e g r a t i n g equation (2.28) w i t h respect t o tJ. A similar t y p e of i n f o r m a t i o n can be obtained for t by m u l t i p l y i n g (2.28) by v and i n t e g r a t i n g w i t h respect t o v. T h i s leads t o : c
14
or :
E
C=(i) E
^ ( ^ r f = * independent
of x
(2.57)
e
c
Note t h a t n and t are given by different expressions i n the cases x < x , a n d x > x . T h i s is due to the presence of reflected electrons i n the region x < i f . , while no such electrons exist i n the region x > x . T h e reflected electrons do n o t c o n t r i b u t e t o the current (see (2.51)) b u t they do c o n t r i b u t e t o the density a n d t o the t o t a l kinetic energy. c
c
c
c
T h e energy estimate (2.57) is essential t o obtain the following a p r i o r i estimates: L e m m a 2 . 2 There exists a constant C independent
of s such that
s
l k | | w i - = n w " . i ( ( o , i ] ) < C,
(2.58)
£
l l f i M 0 4 ] x K ) + l|n H(..((0.lll ^ (
Proof.
C
2
-
5 9
< - >
S k e t c h o f p r o o f o f L e m m a 2.2 c
F r o m the explicit expressions (2.54) and (2.55) o f t ,
i t is fairly easy t o prove
t h a t i t is bounded i n L ° ° 11^ 111* CPU)) < C. Therefore, since k
c
(2.60) c
defined by (2.57) is independent o f x, dip /dx
w i l l be uni-
formly bounded as soon as we show t h a t i t is bounded at one p o i n t . More precisely we show t h a t there exists a constant C, independent of e, such t h a t for any £, there r
exists one p o i n t x - i n [0, l j , such t h a t . < C s
(2.61) 1
L e t us suppose first t h a t i f = 0 (i.e. t h a t f is non decreasing). T h e n , since ip is convex and reaches the value 1 at x — 1, we obviously have : | ^ ( 0 ) |
< 1,
(2.62)
w h i c h shows t h a t i ' = 0 is a convenient choice i n t h i s case. O n the other h a n d , i f i f > 0, t h e n *p reaches its m i n i m u m at i f and we have : !
w h i c h shows t h a t i
£
c
= x
c
is the convenient choice i n the second case.
F r o m (2.57) i t follows immediately t h a t
15
I ^ H t ~ < | o , i ] ) < C,
(2.64)
T h e n . Poisson equation (2.29) yields : -1 J2 I K I t a M i - l X 2 f * l - t f « - f « I «
M B
• E s t i m a t e (2.59) allows t o show t h a t f sures. Indeed, we have :
fn
£
(p
1
converges i n the weak t o p o l o g y o f mea-
-
f
in
M ([0,l\xtR)
-*
n
in
M (\0,1])
—
0. T h i s allows t o show : 1
L e m m a 2.3 Proof.
The limit distribution function
f is given by
(2.36).
S k e t c h o f p r o o f o f L e m m a 2.3 c
I n t h e following lines we shall sketch why formula (2.36) is valid i n [ , 1] x IR for any £ > 0. T h e v a l i d i t y o f (2.36) i n [0,1] x IR involves a delicate argument t o show t h a t n o d e l t a function located at (x,v) = ( 0 , 0 ] can appear i n the l i m i t . We refer the reader t o [15] for the details of t h i s p o i n t . Let i>(x, v) be a s m o o t h test function w i t h compact support i n (0, l j x I R . According t o w h a t precedes, we have (x ,ip ) — ( 0 , 0 ) . T h u s , flf, -> 0 and for sufficiently small e, the s u p p o r t o f tp is entirely contained i n Sl\ U fif. Therefore, w i t h (2.47) and (2.48) we can w r i t e E
E
c
f f'ipdxdv [O.iJxR
=
f ~j{JJn; *
<
p£)il>(x,v)dxdv,
£
2
and w i t h the change of variables w =
flbdxdv '[0,l|xR
=
I Je Jf
E
^Jv —
Oforx (0,1].
€
• Furthermore, j = jcL dtp/dx(0) = 0. Proof.
problem (2.37) has no solution
is the unique value of j such that the solution
satisfies
s k e t c h of t h e p r o o f of l e m m a 2.4
M u l t i p l y i n g equation (2.37) by dip/dx(x)
leads t o a first integral of the equation: * W - t , dx
("4)
w i t h 5 — dip/dx(0). T h e n , equation (2.74) can easily be integrated, and the value o f S is found by m a t c h i n g the boundary value ip(l) = 1. T h i s leads to the equation :
s: .
, -**
= 1.
(2.75)
I t is readily seen t h a t the m a p p i n g 5 — i j is monotonically decreasing from [0,1] onto [ O . j c i , ] - T h e conclusion follows.
•
!
T h e proof of theorem 2.1 is now almost complete. Since the l i m i t of j as e —* 0 exists, we necessarily have, by v i r t u e of l e m m a (2.4) : 0 < j < jet- We also have, from (2.73) : 0 < j < j (since obviously j ' < j - , ) . Therefore, we have : 7
4
17
0 < j < Mm(j , 7
J C L
)
(2.76)
To show t h a t j is a c t u a l l y equal to Min(j-f,j L), we need a technical l e m m a , the p r o o f of w h i c h can be found i n [15] and w h i c h w i l l be o m i t t e d i n the present paper. C
L e m m a 2.5 End
The convergence
of tp' to ip holds in Ike C ' f l O , 1]) topology.
o f t h e p r o o f o f t h e o r e m 2.1
Let us Erst assume t h a t dtp/dx(0) > 0. T h e n , by L e m m a 2.5, for e s m a l l , we have : d
0. I t follows t h a t ip\ - 0, and by the aid of the explicit f o r m u l a (2.52), t h a t j = j y , Therefore, by l e t t i n g e —• 0, we get j = j - , < JCL- L e t us now assume t h a t d
0.
•
Proof.
S k e t c h o f p r o o f o f L e m m a 2.3 : 2 n d v e r s i o n
T h e s u p p o r t estimate (2,84) i m m e d i a t e l y gives t h a t Suppf
C {(x,vj,v
= v ^ W h
(2-93)
a n d therefore, / can be w r i t t e n : f{x,v)
= n(x)6(v-
w i t h n £ A4t([0, l j ) .
yRz)),
(x,v)e
[0,1] x IR,
(2.94)
B y the fact t h a t the current j is independent o f x, we
deduce t h a t : y-CO
/
J —oo
vf{x,v)dv
= JifslvVx)
(2.95)
20 is independent of x. To go further, we need the conclusion of L e m m a 2.5 which can be o b t a i n e d at this level of the proof by a careful use of the energy identity. Again, we shall not discuss this p o i n t and refer t o |10] for details. T h e n , i t can be deduced t h a t
> 0,
V z e [0,1).
(2.96)
Therefore, from (2.95) we have nf>) = —===, vV(x)
on (0,11.
(2.97)
A last technical p o i n t is t o show t h a t formula (2.97) holds t r u e on [0,1], t h a t is n does n o t c a r r y any delta function located at x — 0. A g a i n , we shall skip this proof. F i n a l l y , we can w r i t e / according to (2.36), w h i c h concludes the proof of L e m m a 2.3
•
The proof of L e m m a 2.4 and the completion of the proof of theorem 2.1 are done in a similar way as i n the first proof. T h i s ends the second proof of theorem 2.1 T h i s second proof does not require the knowledge of an explicit formula for the solution of the Vlasov-Poisson problem (2.28)-(2.32), b u t o n l y t h a t o f an uppersolution. Therefore, i t w i l l be applicable i n all the situations where such an uppersolution is available and allows fine enough estimates. Examples of such situations w i l l be given i n the next section, concerning c y l i n d r i c a l l y or spherically s y m m e t r i c diodes, or i n [6], for semiconductors. B u t before passing to the analysis of these cases, i t is interesting to have some i n f o r m a t i o n on the b o u n d a r y layer (or spacecharge layer), which is responsible for the c u r r e n t - l i m i t a t i o n phenomenon.
3.
A n a l y s i s of the boundary layer
T h e analysis of the boundary layer is interesting for several reasons : first, i t provides a precise knowledge of the shape of the "infinitesimal" potential barrier w h i c h is responsible for the current l i m i t a t i o n . B u t also, because this analysis can be done by explicit calculations, i t gives precise estimates of the convergence rate of ip and j , towards
e
T h e boundary layer equation is obtained by rescaling the system (2.28)-(2.29). We introduce the following change of variables . 2
x = i»"jf, v = e6, f = i f c , ifi m c ^ , n • 1 *
(3.1)
T h e resulting equations for the d i s t r i b u t i o n functions fi(£, 6), and for the potenc
t i a l V ( ) are :
21 ^cW
1 dip* dhf
»„
e
3
h {W)dB,
a
£;E[0,e- / ],
(3-3)
-co £
/i (0,(5) -
f
fi (e-
3 / 2
,f)
7
(t?),
(3.4)
= 0, fl < 0, E
1&*(0) = 0,
8>0,
V (£
_ 3 / 2
) = e
(3.5) -
2
(3.6)
T h e scaling (3.1) can be shown t o be the o n l y one such t h a t e does not appear in the equations (3.2) and (3.3) and such t h a t the cathode b o u n d a r y c o n d i t i o n (3.4) is independent o f e, W h e n e —> 0, we formally end u p w i t h the following p r o b l e m :
^
= u(@=j
h(i,8)d9,
A(0,fl) = 7 ( 9 ) ,
V(0) -
fJ>0,
g — oo,
hfi,9) ->0,
0.
- £
?e[0,co],
4 / 3
(3.8)
(3.9)
6 < 0,
(3.10)
as£—c<>.
(3.11)
T h i s last p r o b l e m is a m o d e l for the cathode boundary layer. We show t h a t i t a d m i t s a unique s o l u t i o n under the c o n d i t i o n t h a t j > J o t , w h i c h is the regime w h i c h displays a current l i m i t a t i o n and a p o t e n t i a l barrier. We also show t h a t , i n t h i s case the rescaled p o t e n t i a l tp converges to the b o u n d a r y layer profile ip, and t h a t the difference is of the order of e. B y going back t o the " unrescaled" p o t e n t i a l •p , we o b t a i n an a s y m p t o t i c behaviour of
icL.
problem
(4-11)
has no solution such that
0 forr
£ (p, 1].
• / / i < i c / , , problem (4-il) has a unique solution such that
Oforr
£
(PM • Furthermore, i = icL dtp/dr{l) = 0.
is the unique value of i such that the solution
satisfies
T h e surprising result is i n the case p > 1 : L e m m a 4 . 1 3 Let p > I (cathode inside the anode), •
•
There exists i {p),
0 < i {p)
max
0
mal
— ifi
satisfies
— ifi
satisfies i > t
< i ax(p). m
m 0
then ;
< + o o , such that: problem
(4-11)
i ( p ) , problem (4-H)
has at least one
has no
solution.
solution.
There exists Po > I such that W * { / > ) = icdp).
Vp e [1,
P o
\,
(4.23)
and W •
> tc/.- in(po.oo).
There exist values of p € [ l . o o ) and i E [0, i solution exist.
m n l
(4.24)
( p ) ) such that more than one
These Lemmas are proved i n [ l l j . T h e i r proof is much more technical t h a n t h a t of the corresponding lemma for the plane case ( L e m m a 2.4], Indeed, due t o the weight r i n the Laplace operator, no first integral is available any longer. T h e existence proof relies o n the use of the fixed p o i n t theorem. T h e complicated p a r t is t o o b t a i n a p r i o r i i n f o r m a t i o n on the behaviour of the solution near the singular p o i n t r = 1, so as t o fix the correct functional s e t t i n g for the fixed p o i n t t h e o r e m .
L e m m a 4.13 has an i m p o r t a n t physical consequence. I t states t h a t , i n the l i m i t e —• 0, the C h i l d - L a n g m u i r c u r r e n t (i.e. the current associated w i t h the s o l u t i o n w i t h a vanishing d e r i v a t i v e at r = 1) is n o t necessarily the m a x i m a l possible curr e n t i n the diode. I n [11], n u m e r i c a l s i m u l a t i o n s are presented, w h i c h s u p p o r t t h i s conclusion, b u t w h i c h also show t h a t the relative difference between ici(p) and i m a i ( c ) is v e r y s m a l l . T h e e x p e r i m e n t a l verification of t h i s difference must be difficult. However, from a t h e o r e t i c a l v i e w p o i n t , i t is i m p o r t a n t t o know t h a t the regime o f m a x i m a ! current is n o t necessarily associated w i t h a vanishing cathode electric field. I n d e e d , i n the physical l i t t e r a t u r e on space-charge l i m i t e d flows, t h i s fact is usually taken for g r a n t e d . T h e m e r i t of the present analysis is t o e x h i b i t a counter-example. T h e t w o L e m m a s 4.12 and 4.13 allow t o precise the value of i i n t h e o r e m 4 . 1 1 . We have : L e m m a 4.14 • Let p < 1 (cathode outside the anode), orp > 1 (cathode inside the anode) with p < po where p is defined in Lemma 4-13 (small aspect ratio). Then we have: 0
i = Afin^JctG*))•
Let p > po (cathode inside
(4-25)
the anode with large aspect ratio),
i
-
Mm(i„i
i
e
{ i - , , i c 7 i ( p ) } , ifiy
c t
then !
( p ) ) , if i, f [ i i , ( r t , * « « ( / > ) ] , C
€ [ict(p),imax(p)]-
(4.26) (4-27)
We notice t h a t L e m m a 4.14 o n l y gives a p a r t i a l conclusion concerning the value of i i n the case p > po (cathode inside the anode w i t h large aspect r a t i o ) a n d h £ [ i c t ( p ) , i m a r ( p ) ] (injected current i n the i n t e r v a l comprised between the C h i l d L a n g m u i r c u r r e n t and the m a x i m a l allowed c u r r e n t ) . I n t h i s case, we do not k n o w , up t o now, how t o d i s c r i m i n a t e between the values i and I ' C L ( P ) - Indeed, since z < i {p), both and ICL{P) are allowed values of the current i. I f i = z , the associated p o t e n t i a l ip satisfies (dip/dr)(r = 1) > 0, and i f i = icL(p), i t satisfies [dtp/dr)(r = 1) = 0. I t m a y be possible t h a t these two solutions are b o t h l i m i t p o i n t s of the sequence ip 7
7
max
7
c
4.3.
T h e spherical
diode
I t is i n t e r e s t i n g t o investigate i f the same results extend t o the spherical case. We o b t a i n the s u r p r i s i n g result t h a t the p a t h o l o g y w h i c h appears for p > po (cathode inside the anode w i t h large aspect r a t i o ) i n the c y l i n d r i c a l case does not show u p in the spherical case, and e v e r y t h i n g behaves p r o p e r l y like i n the plane case. L e t us investigate the spherical case i n more details. W e consider a spherical diode w h i c h consists of t w o concentric m e t a l l i c spheres. We denote by Ri and R? the cathode and anode r a d i i respectively, and by p the
32 aspect ratio p = KijR\. A g a i n , we have p < 1 i f the cathode is surrounded by the anode and p > 1 i n the converse situation {see figure 5). T h e scaling is chosen s i m i l a r l y as for the cylindrical diode. T h e scaled d i s t r i b u t i o n function f (r, v ,a) now depends on the radial distance r , on the radial velocity r y and on the squared n o r m of the angular m o m e n t u m a = \x x v\ 6 [0, co). c
r
2
T h e dimensionless Vlasov-Poisson problem is w r i t t e n
+
* £ ^ d r ar {
r
2
+
£
5£>J£-*
d f ar
_
}
«
n
(
= ^TCJ-^)-
= g (v ,a)
r
= _L / r(nW.,,a)
)
r e | l , 4
(4.29)
+
l
f{l,v ,a)
r
* « *
r
"f e K,
a s 1R+, sign(p-lfa
> Q, (4.30)
/ * ( p , v a ) = 0,
tveIR,
r i
^(1)
a e ! R , sign(p-l)v +
= 0,
V
< 0,
r
(4.31)
' ( p ) P 1.
(4.32) e
Now, the conservation of the current implies t h a t the current intensity i (r) flowing through any sphere of radius I* between the t w o electrodes does not depend on r
s
i {r)
=
E
/ u / (r,i; ,a)dt' tia JRiR,. r
r
independent
r
e
A g a i n , we are interested i n the l i m i t of f .
£
of r,
re
!
Iff, n , i , when £ —• 0 : e
T h e o r e m 4.15 ([10], [11]) There exists a sequence (f',f ) (4.28)-(4.32) such that , as e — 0, we have : f
E
— f
in
M ([l,p]
5
V) —
e f>,i).
< icL,
problem (4-38) kas a unique solution suck that ip(r) > 0 forr
e
(PM • Furthermore, dip/dr{\)
i = icL(p)
is the unique value ofi such that the solution
satisfies
= 0.
C o n t r a r y t o the c y l i n d r i c a l case, there is no difference between the cases p < 1 and p > 1. N o w for the current i i n theorem 4.15, we have the ; L e m m a 4.17
We have: i = Min(i ,i i(p))y
C
(4-41)
T h u s , the nice behaviour of p r o b l e m (4.38) allows us t o completely determine the value of 1. T h i s analysis o f the c y l i n d r i c a l a n d spherical diode shows t h a t extensions of the convergence result f r o m the plane diode case t o fully m u l t i d i m e n s i o n a l cases can be very delicate. However, some formal results can be obtained by i n t u i t i v e considerations. We shall detail t h e m in the next section.
34
Insulating. boundary F
Cathode
Figure 6 : D i o d e geometry i n the general m u l t i d i m e n s i o n a l ease
5. 5.1.
T h e fully multidimensional case Setting of the problem
We consider a diode i n a d-d i mens ion al space (d = 2 or 3), w h i c h consists of 2 disjoint electrodes modelled by 2 s m o o t h (d — l)-dimensional manifolds To and TV We suppose t h a t the electrons Bow i n the d o m a i n Q l i m i t e d by To, F j and an artificial (or insulating) boundary r , (see figure 6). We assume t h a t the length scale has been chosen such t h a t the diameter of the d o m a i n Si is of order 1. The natural extension of the C h i l d - L a n g m u i r problem (2.28)-(2.32) to this d-dimensional case is: l n
(5.1)
(5.2)
r(x,v)
1
c
=
g (x,v)
!'{x,v)
f(x,v)
=0,
= r(x.v-),
7(1,7),
(*,») € E J ,
(5.3)
feM0eET,
(5.4)
(T,t.)eE
(5.5)
(5.6)
35
_ n o £ _ _ 2 e ^l/a _[ a < x < L dx (4.13) ( 1 or | * on f*. R e m a r k 2. N u m e r i c a l simulations show t h a t , i n some situations, one can find at a same p o i n t x £ fij ions which have been e m i t t e d at different points of E and have therefore different velocities. Hence, i t is not realistic m a t h e m a t i c a l l y to look for a monokinetic ion d i s t r i b u t i o n of the form / ( x , v ) = n(x)rJ(v - u ( x ) ) , o{.',o) • x —' 4"o( \ a) the solution of the boundary value p r o b l e m t + I
1
2
ty.
0(a) = /dx( o ) = O, #(I) = - *
t
In order to prove t h a t the above model is close to the o r i g i n a l model, we pass i n dimensionless variahles. T h e n , under the assumption (3.13), the problem (4.13) becomes d V _ s , a < x < 1 dx =
2
(4.14) * ( o ) = ^ ( « ) = 0,
0 ( 1 ) = 1.
One can prove (cf. [3]) T h e o r e m 4 . /Assume j > | together with the hypotheses o f Theorem enough,
2. For ij small
the problem (4.14) has a unique solution (a",
the function
if we extend
ifP by 0 in ( 0 , a " ) , we have tj,
i>" -"Po
in
C'([0,1])
as
i ) - 0
(4.15)
Hence, for j > 5, the model (4.14), which is i n fact a dimensionless version of the model (4.1) - (4.9), is close to the l i m i t model (3.19) and therefore can be viewed as an a p p r o x i m a t i o n of the original model (3.14). We t u r n now t o the general m u l t i d i m e n s i o n a l case. A l t h o u g h it is an open question to derive the l i m i t model of (2.7) - (2.10) as the parameters s,n tend to zero,
94
i t is, however, a simple matter to extend formally the one-dimensional a p p r o x i m a t e mode] (4.1) - (4.9) to several space dimensions. Denote by S3 an open set of m. which represents the geometrical domain under consideration (the inter-elect rode d o m a i n ) . We assume in our reduced model t h a t d
0 = fl, U E U f l consists of two disjoint open subsets
3
f ! separated by a free interface E ; f ! i is 2
the neutral plasma zone while i f contains the ion beam. 2
In H i , the n e u t r a l i t y assumption yields n = n , — n . Since again the electrons behave as an isothermal fluid w i t h temperature T and zero mean velocity, the density n of the electrons and the ions satisfies the equation e
t
fe^Vn
= enV^ .
(4.16)
On the other hand, the ions being cold and monokinetic, the pair ( n , u = u,) is solution of V.(nu) = 0
(4.17)
V.(nu ® u) + — 7 i V 0 = 0
(4.1S)
By e l i m i n a t i n g the electric potential
e
(4.19)
= 0 (no electron i n f ! ^ ) . T h e n , the pair ( n = n , , u = u , |
satisfies the equations (4.17), (4.18) while 0 is solution of Poisson's equation -Aip
—
—n. So
On the free surface E , we assume the c o n t i n u i t y of the pair (n, u ) . riforeover, since we can suppose t h a t the electric potential vanishes i n Q ] , we have <j> = 0 on E . In a d d i t i o n , we assume t h a t the C h i l d - L a n g m u i r ' s emission law holds for the ions at the boundary E. R e m a r k 1 . Note t h a t , in our model, we assume $ = 0 i n fl\
and therefore o n E
and nevertheless we take into account the V 0 terms in the equations (4.16), (4.17). T h i s is not contradictory since physically
appears t o be very small,
a
To summarise the m u l t i d i m e n s i o n a l reduced model reads as follows : V.(rtu) = 0 k
in
T
V . { r m ® u) + —
Vn = 0
Hi
(4.20)
95
V.(nu) = 0 V.(reu ® u ) +
-Alp
= 0
In
fig
(4.21)
- —71
w i t h the interface conditions ( n , u ) is continuous on E (4.22)
x e Oa-
A m a t h e m a t i c a l l y correct setting of the reduced model is obtained by replacing the equations (4.21) by the classical Vlasov-Poisson system i n f l j V . V j c / - — V6. V
v
d
/ = 0
i n Q j x u\
(4.23) — Atj) =
72,
£Q
71 =
/ /dv
J
and r e q u i r i n g t h a t , at the u n k n o w n interface, we have / ( x , v ) = 7i(x)rJ(v - u ( x ) ) ,
x 6 E, v . f < 0
where the pair (re, a) is the trace on E of the solution of the reduced p r o b l e m in fi|. T h i s is indeed the p r o b l e m which is solved numerically (sec Section 5 ) . However, we can s t i l l use the f o r m u l a t i o n (4.21) provided t h a t the functions re a n d u are allowed t o be m u l t i v a l u e d (cf. [6, Section 6J) for a similar s i t u a t i o n . • N o w , i n t h i s m u l t i d i m e n s i o n a l case, i t remains to answer t o the t w o following n o n t r i v i a l m a t h e m a t i c a l questions: (i) T a k i n g i n t o account Remark 2, is the free boundary problem (4.20) - (4.22) well posed ? ( i i ) Does i t a p p r o x i m a t e the original problem (2.1) - (2.5) ?
96
5.
N u m e r i c a l Solution of the R e d u c e d P r o b l e m
We t u r n to the numerical solution of the multidimensional reduced problem (4.20) - (4.22). T h e first step consists i n finding an iterative a l g o r i t h m of solution of this free boundary problem. We begin by observing that the equations (4.20) supplemented w i t h the boundary conditions ( n , u ) given at the inflow boundary
(5.1)
enable us to determine a pair of functions (ft, u ) in the whole c o m p u t a t i o n a l domain f l which coincide w i t h the solution of the reduced problem only i n the quasi-neutral zone til. Hence, solving the reduced problem (4.20) - (4.22) amounts t o solve the free boundary problem (4.21) w i t h the boundary conditions (n,u) = (n,u)
0
= 7J- =
o
(5.2)
n
(for instance)
In practical situations, I ! represents the inflow part of the boundary flfl2 so that the p r o b l e m (4.21), (5.2) makes sense. In particular, we obtain an extra boundary condition for
x
a < x < 1
2
dx
yF+^o'
(5.3)
w i t h the Dirichlet boundary condition at a, we use the Neumann boundary condition as a criterion for characterizing the free boundary a, i.e., we solve the equation
dx
[a;a) = 0
(5.4)
by means of an iterative method. An alternate strategy consists i n defining the function <prj(.;a) : J- - »
3Vw
a < x < 1
2
dx
(5.5) (a; a) = 0,
d> {l;a) = 1 N
97
w i t h the N e u m a n n boundary c o n d i t i o n at a and then in solving instead of (5.4) the equation
(5.6)
N
for d e t e r m i n i n g the free boundary a. N e x t , we observe that the p r o b l e m (5.3) is not always well posed : i t can have zero, one or two solutions. Indeed, as i n [3], one can prove P r o p o s i t i o n 5.
There exist two numbers a,, a
2
w i l h 0 < a, < a
2
< 1 such that
the problem (5.3) has ." (i) no solution for 0 < a < Oj, (ii) a unique solution for a = a ( i i i ) two solutions for aj < a < Q j , 1}
(iv) a unique solution for
Oj < a < 1 .
Moreover, (5.3) has a unique nonnegative solution free boundary given by Theorem 4.
for a > a" where u ' > a
2
is the
R e m a r k 3. I n the case ( i ) , the nonexistence result only means t h a t the VlasovPoisson p r o b l e m w r i t t e n i n physical variables df
e
d6df : r i r = m , dx Ov
ax o?i, dx'
1
0
>
e —n.
=
E o
n =
w i t h the b o u n d a r y conditions
a<x
j
fdv
/(0,11) = n 6(v - u ) , i i > 0, 0
0 ( u ) = O,
0
=
u e fR
f(L, v ) = 0, v < 0
" f e
has no m o n o k i n e t i c solution of the form f(x,v)
= n(x)S(v
- u(i)),
t r ( i ) > 0.
In fact, the p o t e n t i a l <j> associated w i t h any solution of this problem presents a barrier which is large enough for preventing the ions e m i t t e d at a to reach the anode. I n this case, we have t o look for solutions of the form J{x,v)
= n {x)6(v
- u+(x)) + n_(x)6{v
+
- u-(x)),
u
+
> 0, u _ < 0
O n the other hand, for u i < a < a", the electric potential still presents a barrier which is now too small for preventing the ions to reach the anode.
•
2
Since a ' — Q| = 0 ( i j ' ' ) , i t follows from Proposition 5 t h a t the function a —1 0 (n;a) D
1
is n o t everywhere defined in suitable neighborhoods of a" .
Hence, the
p r o b l e m (5.4) appears rather t r i c k y to solve by means of an iterative m e t h o d .
98 Conversely, we have T h e o r e m 6. The problem (5.5) has a unique solution ipfj[.;u) lor ail 0 < a < 1. Moreover, for j > ^ and n small enough, the (unction a —> di^(a; a) is strictly concave and strictly increasing. Therefore, the function a —» i>tt(a; a] is defined for all 0 < a < 1 and the problem (5.6) can be solved by Newton's iterative method : for instance, s t a r t i n g from a — 0, Newton's method converges monotojiica//y to a". For detailed proofs, we refer t o [3j. Let us t u r n again to the multidimensional problem (4.21), (5.2). The above analysis suggests to use the Dirichlet condition 0 = 0 on E as a criterion for finding the free boundary S. More precisely, given S , we define ( n * , u. 1 "the s o l u t i o n ' of the equations (4.21) i n fl£ supplemented w i t h the boundary conditions 3 5
(n*,u*) = (fi.u)
^ dv
= 0
0 =
+ 1
on E*
(5.7)
onE'
a
on a f l J \ E
4
of the free boundary E is derived in such a way t h a t +l
W* ls'+i|!
(S*(«) = 0 or more generally as some "mean" of this surface and S* One can also t h i n k of a Newton's type a l g o r i t h m for solving the reduced model . research efforts i n this direction are i n progress. I t remains to introduce a numerical discretization of the equations (4.20) - (4.22) in order to obtain an implementable method. Let us only sketch this point. The system (4.20), which is identical to the isothermal gas dynamics equations, is solved by a classical second order finite volume m e t h o d . On the other hand, we solve the Vlasov-Poisson equations (4.23) (see Remark 2) by means of a coupled particle-finite element method. In particular, the ion d i s t r i b u t i o n function / is approximated by Ax,v) = X> (x-x,)®tT(v-u,) 0
11
where a, > 0 , x , £ f l , u , £ IR denote respectively the weight, the position and the velocity of the particle i (cf. [10]) for instance for a mathematical discussion of the particle a p p r o x i m a t i o n ) . The hyperbolic system (4.20) and Vlasov's equation (4.23) 2
99
are b o t h solved by means of an unstatioriary m e t h o d which consists in solving the time-dependent
equations
d kT — (nu) + V.fnu ® u) + — V n = 0 1
at
mi
and | ( Ot and l e t t i n g ( t e n d t o + 0 0 .
+
v
.V ,/--^V0.V / = u mi :
v
For the details, we refer to a f o r t h c o m i n g paper [4]
devoted t o the numerical solution of the m u l t i d i m e n s i o n a l reduced model.
6.
A Plasma-Sheath Model
We end this review paper by discussing briefly t w o one-dimensional problems which are characterized by the existence of boundary layers which connect a quasin e u t r a l plasma zone w i t h either a fixed boundary or a nonneutral zone. We consider in this section a plasma-sheath model (cf. [11]) which can be studied w i t h the same a s y m p t o t i c techniques as in Section 3 : an emissive w a l l (cathode) at J = 0 injects a neutral plasma towards a fully absorbing floating wall (anode) at x = L . The d i s t r i b u t i o n functions / „ and / , of the electrons and ions respectively and the electric potential 6 satisfy the coupled Vlasov-Poisson equations df e dt- Bf ~ra ^~ + — m T ax~ Ov ~ °< c
v
t
x e (0,£),u e R ,
(6.1)
c
df, v-= ax _
t
dA
df,
-T- - 5 -
(6.2)
= 0.
m , dx Ov
= _(«,--„.),
+
/ °°
n.
f dv, B
a m e.i.
(6.3)
A t the cathode, we specify the d i s t r i b u t i o n functions of the injected particles while there is no particle injected at the anode. / . ( O . u ) - ,("),
v > 0,
},{L, v) = 0, v < 0
(6.4)
= 9<{v),v > 0 ,
/ . ( £ , " ) = 0, v < 0
(6.5)
9
M0,v)
T h e functions g and o; satisfy the n e u t r a l i t y constraint e
ftX/
/CO
g dv ~ j e
a
dv.
gi
We specify t h e electric p o t e n t i a l at the cathode 0(0) = 0
(6.6)
(6.7)
100
On the other hand, particle losses t o the absorbing floating anode are balanced by the injection of plasma at the cathode. Hence, we w r i t e that the o u t w a r d current density vanishes at the anode 1°° vf (L,v)dv Jo
=
c
'vML,v)dv.
Jo
16.81
We look for a solution [f„fi,4>) of the problem (6,1) (6.8) w i t h a strictly decreasing and therefore negative electric potential. Given such a potential <j>, the equations (6.1), (6.2) w i t h the boundary conditions (6.4), (6.5) can be solved by the method of characteristics to give 2e
v>
<j>{x) ,
v
2e —{
> -,
(6.9) 0, and 2e f,(x,v)
2e
=
(6.10) 0,
T h e n , it follows from the above formulas (6.9) and (6.10) that
/
vf,(L,v)dv=
j j —
Jo
vg (v)dv, e
JJ-ffciw
/ Jo
— I Jo
vf,(L,v)dv
vg,{v)dv.
Thus, assuming that g is a s t r i c t l y decreasing function w i t h c
J.
= j Jo
vg dv > J. = / Ja c
VQcdv,
(6-11)
we define tpi, > 0 to be the unique solution of a. = f fT,— "9,dv.
(6.12)
J
so that the equation (6.8) becomes =
(6.13)
-PL-
Next, setting _
I™
vg (v)dv r
IVsj*<-
vg,{u)du vg {v)dt t
(6.14)
101
f°°
vgi(v)dv (6.15)
and F(0) = - ( , ( 0 ) e n
n c
(0)),
(6.16)
0
we o b t a i n from the equations (6.3), (6.9), (6.10) t h a t 0 is solution of the nonlinear boundary-value problem -
^
= F(0)
in
(0,1), (6.17)
0 ( 0 ) = 0,
0(L) = - 0 . t
A g a i n this p r o b l e m involves several small parameters. Let us introduce a scaling of the above equations. We set : 1/J
]?v* dv 9t
(6.18)
2e
Jo
Observe t h a t u is the thermal velocity of the injected electrons. T h e n , we define the dimensionless variables x = y,
v = -,
= —, o
n
a
= e,i,
(6.19)
and the small parameters £ = - v .
(t =
—
(6.20)
TO,
where 1
eonifii 2fie
2
a — e,i,
is again the electronic Debye length. Assume t h a t g , a
is of the form (6.21)
T h e n , the problem (6.17) becomes ( d r o p p i n g (he primes)
(6.22) 0 ( 0 ) = 0,
0(1) = o
where 0 3
Jo
vgj(v)dv
J
V " + i)0 2
\ ^
/oo
2
vA - 0
/oo ug du = y c
/fS° ^
e
and a = —0 ' 0 / , is the unique solution of y
/ o
«g (u)du
vg,dv.
+
vg vg(v)dv (v)dv\
• ' v ^ Vv
t
1
e
~
(6.23)
102
One can prove (see [2]] T h e o r e m 7. There exists a number /in > 0 such that, for a l l 0 < u < pa a n d a l l e > 0, (he problem (6.22) has a unique nonnegafive solution increasing.
0
which is
I i U
strictly
Moreover, for u < /la, the equation PM
= 0
(6-24)
has a unique solution $oj, and we have lim0
S l t
, = 0o,
(6.25]
u
in L ' f O , 1), 1 < p < oo, a n d i n C ° ( [ a , l - a]) for a i l o > 0. Hence the solution 0
t J I
presents two boundary layers at the cathode x = 0 and
the anode x = 1, Outside the boundary layers, the plasma is quasineutral and the electric p o t e n t i a l 0 „ is a p p r o x i m a t i v e ^ constant and equal to a V . ;
u
Here again, one can investigate the structure o f these b o u n d a r y layers. Indeed, there exists a constant B > 0 such t h a t 1
- 0o.J < o m a x ) e x p ( - B | ) , exp[-B -^)} T h e boundary layers have therefore w i d t h s o f order 0(e)
(6.26)
or o f order 0 ( A D J when
going back to the physical variables.
7.
A P l a s m a - S h e a t h Model with Ionization Let us finally consider a more sophisticated model plane model introduced by
Tonks and L a n g m u i r [13] (see also [8, Chapter 3]).
In this model, a plasma is
generated between two parallel plane electrodes at the same potential a n d a distance 2a from each other.
We assume s y m m e t r y of the properties of the plasma w i t h
respect to the median plane located at i = 0 and we set 0 ( 0 ) = 0. T h e electrons of the plasma are assumed to behave as an isothermal fluid w i t h temperature T, and zero mean velocity. Hence, TI, is again given by Bolzmann's equation (3.1) where no denotes the electron number density at the median plane. On the other hand, the ions are generated by means o f an ionization process : classically the ion generation rate is o f the form g = 9(0) = firjexp(7 — )
(7.1)
where v is n positive constant and 7 characterizes the ionization process. Suppose t h a t the ions are formed w i t h zero velocity and move to the electrodes w i t h no collisions.
Suppose i n a d d i t i o n t h a t the electric potential 0 decreases from
the
median plane to the wall at x — a. T h e n an ion formed at £ > 0 reaches the point x > £ w i t h a velocity v such t h a t
- m , V + e0( ) = 0(O. I
e
103
As a consequence, we o b t a i n t h a t the ion density n , is given by (7.2)
and the p o t e n t i a l 0 is solution of the initial-value problem -n exp( 0
— ) } , (7.3)
#G) = p(6)=Q. ax
As above, we scale the problem : we choose a characteristic
L = and a characteristic
'
2
k
T
length
'
potential e
and we set •x = Lx\
0 — —00',
g — i"iag'
I f we introduce again the electronic Debye length s hT a
c
riot
1
and the parameter
the equations (7.3) become ( d r o p p i n g the primes)
dx'
-i:
g{
-exp(-0)
yl
(7.4)
0(0) = ^ ( 0 ) = 0 where 9(0) = e x p ( - 7 0 ) .
(7.5)
In practice, £ is a small parameter and i t makes sense to consider the so-called plasma approximation
which consists in neglecting the t e r m
or equivalently i n assuming electric neutrality n
c
g(4>{y))dy ^[x)-^y)
i n the first equation (7.4)
= n,-, i.e.,
= exp(-0).
(7.6)
104
Concerning the plasma equation (7.6), one can prove (cf. [7]) L e m m a 8. There exists a number i
0
> 0 with the following
(i) (fie equation (7.6) has a unique nonnegative that 0(0) — 0. Moreover, we have
properties:
solution A defined on (O.^oj such
(ii) this solution cannot be extended beyond x • ( i i i ) the limit value 0 = 4>(x ) is independent of the ion generation rate y. P r o o f . Let us only sketch the proof. Instead of looking for a function 0 : x —>
O
0
-dip — exp( — ( Next, we observe that the transform S defined for 0 > 0 by
s u m
ft ftth) = / M h ^10(0-0)
is invertible and its inverse transform T = 5 " ' is given for 0 > 0 by
rW(0)4wo)
+
v
^/;j^^.
Using this property w i t h
f(4) = ifyffl$'m<
M0) = exp(-0),
we obtain
Together w i t h the initial condition x(0) = 0, this enables us to determine the function x(6) for 0 > 0. I n a d d i t i o n , we note that x'(d>) vanishes at the point 0o unique solution of 1 \f$a
f*° exp(-i/>) Jo
\/0o
— 4>
so that the function T ( 0 ) is s t r i c t l y increasing in [O,0o] and s t r i c t l y decreasing in ( 0 , + c o ) . Setting x o
0
= i ( 0 ) , we obtain that the inverse function 0 ( a ) is indeed D
defined and s t r i c t l y increasing i n the interval (0, z ] and cannot be extended beyond 0
Xo-
•
105
After having characterized the solution 6 of the plasma a p p r o x i m a t i o n l i m i t model (7.6), i t remains to study the i n i t i a l value problem (7.4) for small but non zero values of the parameter e. I n this d i r e c t i o n , we conjecture t h a t the problem (7.4) has a unique non t r i v i a l solution 6 defined for all x > 0 and e
I
ip(x)
uniformly in [ 0 , x ] ,
[
+oo
for x > xo-
0
A l t h o u g h the asymptotic behaviour of the function 4 as t tends to zero has been analyzed heuristically by the physicists, a precise m a t h e m a t i c a l study of the corresponding asymptotics needs t o be developed. C
Acknowledgments T h e authors would like t o t h a n k N . Ben A b d a l l a h , B . B o d i n and J. Segre for fruitful discussions.
References [1] N . Ben A b d a l l a h , S. Mas-Gallic and P.-A. R a v i a r t , Analyse modele d ' e x t r a c t i o n d'ions, C.R. Acad. Sci. Paris
asymptotique
d'un
3 1 6 , Serie I (1993), 779-7S3.
[2] N . Ben A b d a l l a h , S. Mas-Gallic and P.-A. R a v i a r t (in p r e p a r a t i o n ) . [3] B . B o d i n and P.A. Raviart (in p r e p a r a t i o n ) . [4) B . B o d i n , E . Puertolas, P.-A, R a v i a r t and J. Segre (in preparation). [5] P. Degond and P.-A. R a v i a r t , An asymptotic Vlasov-Poisson
analysis of the
one-dimensional
system : the C h i l d - L a n g m u i r law, A s y m p t o t i c Anal.
4 (1991),
187-214. [6] P. Degond and P.-A. R a v i a r t , On the paraxial approximation Vlasov-Maxwell
system, Math. Models Meth. in Appl.
of the
stationary
Sci 3 (1993), 513-562.
[7] G . A . E m m e r t , R . M . W i e l a n d , A . T . Mense and J . N . Davidson, Electric and presheath in a coliisionless,
sheath
Unite ion temperature plasma, Phys. Fluids 23
(1980), 803-812. |8] A . T . Forrester, L a r g e I o n B e a m s (John W i l e y , 1988). [9] C. Greengard and P.-A. R a v i a r t , A Boundary Value Problem for the Stationary Vlasov-Poisson Equations : the Plane Diode, Comm. Pure Appl. Maths. X L H I (1990), 473-507. [10] S. Mas-Gallic and P.-A. R a v i a r t , A Particle Method Systems, Numer. Math. 5 1 (1987), 323-352.
for First-order
Symmetric
106
[11] S.E. Parker, R.J. Procassini and C . K . Birdsall, A suitable boundary {or bounded
plasmas simulation
without sheath resolution,
J.
condition
Comput.Phys.
104 (1993), 41-49. [12] F . Poupaud, B o u n d a r y Value Problem for the Stationary tem, Forum Math. 4 (1992), 499-527.
Vlasov-Maxwell
Sys-
[13] L . Tonks and 1. Langmuir, Genera/ Iheory of the plasma of an arc, Phys.
Rev.
3 4 (1929), 876-922.
109
TRANSPORT EQUATIONS F O R QUANTUM PLASMAS
GIOVANNI MANFREDI and MARC R. FEIX Centre National de la Recherche Scieniifique CNRS/PMMS, 3A Avenue de la Recherche Scienafique, 45071 Orleans cedex \ FRANCE
We present the Schrodinger and Wigner-Poisson systems as tools for [he modelling of quantum plasmas. For each of them, a numerical code, based on a splitting scheme, is proposed. The codes are used to simulate two typical situations : the quantum Brillouin flow (electron gas confined by a uniform magnetic field), and the one-dimensional an harmonic oscilator (with special concern for the choice of [he initial condition and the nature of the classical and quantum phase space).
1. I n t r o d u c t i o n - m o d e l l i n g q u a n t u m p l a s m a s 1
T h e study o f q u a n t u m plasmas is a relatively y o u n g subject. I t is however b e c o m i n g of w i d e r a n d w i d e r i m p o r t a n c e , due l o the o n g o i n g m i n i a t u r i z a t i o n o f electronic devices. I t w i l l p r o b a b l y b e c o m e a key concept i n (he design of future components. W h a t d o w e exactly m e a n by a "quantum plasma" ? Classically, a many-body system is r e f e r r e d t o as a plasma w h e n long-range, electromagnetic interactions are d o m i n a n t . T h i s occurs w h e n i o n i z e d particles can subsist and their density is sufficiently high. H o w e v e r , w h e n the density is still higher, the D e Broglie wavelength o f the charge carriers can b e c o m e o f the same o r d e r as the interparticle distance
i n this case
q u a n t u m effects must be taken i n t o account. A s s o o n as w e a t t e m p t to m o d e l a q u a n t u m plasma, a certain n u m b e r o f assumptions are necessary t o o b t a i n a tractable system o f equations. I n the following, we shall make s o m e r a t h e r drastic s i m p l i f i c a t i o n s , and only take i n t o consideration the very basic p h e n o m e n a . T h e resulting m o d e l , however, is not trivial, and throws some light on the p e c u l i a r i t y o f q u a n t u m effects on the dynamics of a plasma. T h e first m o d e l that w e describe is the so-called Schrodinger-Poisson system, w h i c h reads as :
no
at
2m
.
.
where ^ is ihe reduced Planck constant, e and m are respectively the electron charge and mass, E ^ and
0
is the vacuum dielectric constant, N is the t o t a l n u m b e r of electrons, and
V arc the wavefunction and the electrostatic p o t e n t i a l . T h e second t e r m i n the
r.h.s. o f the Poisson equation represents a motionless ionic background, w h i c h confines the otherwise free electrons : i n the f o l l o w i n g it w i l l be often o m i t t e d , and the confinement o b t a i n e d by some other t e r m (e.g. a magnetic
field).
I n some sense, the m o d e l (1.1) is the quantum-mechanical analogue o f the classical Vlasov-Poisson m o d e l . M o s t o f the assumptions of the two models are the same : collisions are neglected, only electrostatic interactions are taken i n t o account, a oneparticle wavefunction is used. Two
m o r e assumptions are specifically quantum-mechanical. First, we neglect all
effects due t o q u a n t u m statistics ; the electrons are considered as spinless particles. This means that for extremely high densities or l o w temperatures o u r m o d e l is of course b o u n d t o fail. Secondly, the E q s . ( l . l ) only allow us to deal w i t h pure states : in o t h e r words, all the electons are supposed t o be i n the well-defined q u a n t u m state i. I n order t o w o r k w i t h mixed states, one should use the density m a t r i x formalism, w h i c h f u r t h e r complicates the m o d e l . I n fact, it w i l l become
apparent
from
the
f o l l o w i n g discussion that m i x e d states can be conveniently treated t h r o u g h the W i g n e r formalism. A l t h o u g h simple, the Schrodinger-Poisson m o d e l contains the two m a i n ingredients for a q u a n t u m plasma, namely, long-range, self-con sis tent interactions and a quantummechanical law o f m o t i o n . M o r e o v e r , it is particularly s t r a i g h t f o r w a r d to numerically, as w e shall see i n the next section. W e stress, en passant, Schrodinger equation requires
treat
that the
a lower numerical cost than the classical Vlasov
equation. T h i s is due, o f course, to the fact that the wavefunction only depends o n half of the phase space variables, whereas classically the w h o l e phase space must be discretized. I n a sense, therefore, an outcome of the uncertainty p r i n c i p l e is t o simplify the n u m e r i c a l treatment of q u a n t u m problems. H o w e v e r , this advantage is lost w h e n dealing w i t h the semiclassical l i m i t o f E q s . ( l . l ) . I n this case, a semiclassical initial c o n d i t i o n (i.e. an i n i t i a l c o n d i t i o n that corresponds
to an a r b i t r a r y phase space
d i s t r i b u t i o n ) must be represented by a stroDgly oscillating wavefunction, thus r e q u i r i n g a huge number of mesh p o i n t s .
1 3
T h i s corresponds to the w e l l k n o w n fact that the
classical l i m i t implies large q u a n t u m numbers. T h e second representation
mathematical m o d e l that we consider of quantum
mechanics.
Such
makes use of the W i g n e r
a representation
plugs a
quantum
mechanical p r o b l e m i n ihe familiar phase space environment. T h e r e are, of course, some fundamental differences, but, what is m o r e i m p o r t a n t for o u r purposes, the n u m e r i c a l t r e a t m e n t of the q u a n t u m phase space w i l l t u r n out t o be no m o r e difficult than that o f the corresponding classical one. M a n y good review articles on the W i g n e r 5
formalism already exist i n the l i t e r a t u r e , ' '
4 , 7
t o w h i c h the interested reader may refer
111
for further details. Here, we shall just recall the essential concepts. The Wigner function is defmed as follows:
f(x,p) : _1_Jp(X->./2,x+>./2)exp( -ip ,\/},)d>. 211 },
(1.2)
where p(x,y) is the density matrix. We recall that, for a pure quantum state, the density matrix can be written p(x,y) = 1/>'(x) ..p(y) ; for a mixed state it is given by a sum of terms like the previous one. The function f(x,p) possesses nearly all the properties of a phase space density - it is real, normalized to unity, and, when integrated over x or p gives the correct marginal distributions, e.g. :
Jf(x,p)dp
: p (x,x)
spatial density
(1.3)
However, the Wigner function fails to be an actual probability distribution, because it usually takes on negative values. The Wigner function obeys the following evolution equation (we only deal with one-dimensional systems) :
af +.!!.... af
at
m
ax
- 2!e},2JJ
[v(x-~ ,t)-v(x+~,t)]exp(i(p-p ')>'/}')x
(1.4)
xf(x,p ', t)dp 'd>. The Wigner function can be used, just as in classical statistical mechanics, to calculate the mean values of any dynamical variable A (x,p,t) :
:
JJf(x,p,t)A(x,p,t)dxdp
Note however that, since some terms in A may not commute, it is necessary to establish a well-defined correspondence rule between classical variables and quantum operators (Weyl's rule).s If the potential V(x,t) is obtained from the Poisson equation: 1I
V : -NeJ - f(x,p,t)dp £0
+ -Ne
(1.5)
£0
then the Eqs.(1.4)-(1.5) constitute the Wigner-Poisson model. The same assumptions and limitations mentioned for the Schrodinger-Poisson model are also valid for the Wigner-Poisson one. However, the latter allows us to work both with pure states and mixtures, as it is apparent from Eq.(1.2) . In fact, the Wigner function contains the same information as the density matrix. Therefore, the initial condition can be chosen in a wider class than in the Schrodinger representation, and the choice can rely more easily on intuition, thanks to the familiar phase space formalism. However, it must be stressed that not every function f(x,p) can be associated, through the defmition (1.2), with a density matrix p(x,y) which is positive
112
definite - consequently, not every function f(x,p) is an admissible i n i t i a l c o n d i t i o n for the W i g n e r equation. W e shall give some m o r e indications about this delicate question in Section 3.2. Finally, we point out that the W i g n e r equation has the same c o m p u t a t i o n a l complexity as the Vlasov one - this is the price t o pay i n o r d e r to deal w i t h m o r e general quantum states. For
the W i g n e r - P o i s s o n m o d e l some analytical results can be obtained by the
linearization
procedure
c u r r e n t l y used
for the
classical
plasma.
A l l the
linear
phenomena are i n fact described by the q u a n t u m dispersion relation, w h i c h we n o w calculate, f o l l o w i n g the m e t h o d given i n Ref. 8. W e linearise (1.4) by p u t t i n g /
=
F(p)
+f,(x,p,l) , w h e r e / , is considered as a small p e r t u r b a t i o n around a homogeneous
F(p).
I t must be p o i n t e d out that, because o f the nonlinear relation between * and f,
it is impossible t o consider the strictly equivalent linear p r o b l e m i n the Schrodinger f o r m a l i s m . A u n i f o r m ionic density is present i n the Poisson equation , and the b o u n d a r y conditions are p e r i o d i c i n t h e * d i r e c t i o n . A f t e r linearizing (1.4), we take the F o u r i e r t r a n s f o r m over x ; subsequent integration over J and p' is trivial, and yields
(1.6)
W e then take the F o u r i e r transform of (1.6) over ( (u is the conjugate variable) and, by use o f the Poisson equation, obtain the quantum dispersion relation :
i• " y(f^/2)-fQ.-u/2)^ w
f
k
where u
1
= (jVe^/mtJ
f
J
U(mu
=
0
m
-kp)
is the plasma frequency.
Now, w e give the explicit f o r m o f the dispersion relation in the t w o l i m i t cases o f a hot and cold plasma. For the hot plasma, let us take for F(p) a maxwellian w i t h t h e r m a l velocity v . N o w supposing that Wt/rnv, rn
b
is small (a hot plasma is semiclassical), we
can develop F i n T a y l o r serie. Finally, w e arrived at the desired relation:
. ' . . • ^ J * * * * ^ tp
T h e cold plasma case ( v Eq.(1.7) assuming F(p)
a
***
as,
* 0 ) can be handled directly ( w i t h o u t any expansion) i n
= S(p), and yields the exact relation :
u
!
2
< ^ + r, *-*/"*"'
2
(1.9)
W e see consequently that, for a cold plasma, the q u a n t u m c o r r e c t i o n is i n general the d o m i n a n t one.
113 2. N u m e r i c a l Methods T h e above m e n t i o n e d results on the linear theory are virtually all I hat can be o b t a i n e d by purely analytical methods for b o t h models. T o explore the vast r e a l m of n o n l i n e a r p h e n o m e n a , one has t o resort t o n u m e r i c a l computations. A p p l i e d physicists have been interested since l o n g i n the s o l u t i o n o f the stationary Schrodinger-Poisson system, i n o r d e r t o d e t e r m i n e the energy levels i n a gas o f correlated charged particles''
1 0
I t is a n o n - l i n e a r eigenvalue p r o b l e m , w i t h very interesting features, b u t
we w i l l not deal w i t h it here. R a t h e r w e shall concentrate on time-dependent situations, for w h i c h the existing l i t e r a t u r e is m u c h n a r r o w e r . Several numerical methods for the 3,
S c h r o d i n g e r e q u a t i o n are already available " •
a
- most are based either o n spectral
m e t h o d s or on finite differences schemes. I n fact, b o t h o f t h e m can be i m p l e m e n t e d i n the f r a m e o f a s p l i t t i n g scheme, w h i c h w i l l be described i n details later on. Generally speaking,
spectral
methods
are
convenient w h e n dealing w i t h
relatively simple
geometries (e.g. p e r i o d i c b o u n d a r i e s ) , a n d have also the advantage o f b e i n g available a n d o p t i m i z e d i n standard software libraries. F i n i t e difference ( a n d finite elements) methods, o n the o t h e r hand, are m o r e apt t o simulate complicated geometries. Some a l t e r n a t i v e methods, a l t h o u g h not very successful, make use o f a hydrodynamic version o f q u a n t u m mechanics. T h e y w i l l be quickly reviewed at the e n d o f the next section, m o s t l y t o p o i n t out the technical p r o b l e m s they face. The
use
o f the W i g n e r equation
to simulate numerically q u a n t u m
transport
p h e n o m e n a is, o n the contrary, q u i t e recent. T o our knowledge, the literature o n this subject is still very l i m i t e d
6 , 1 3
: w e shall propose here a splitting scheme, w h i c h makes
use o f a Fast F o u r i e r T r a n s f o r m ( F F T ) step. Such a m e t h o d has the remarkable p r o p e r t y o f b e i n g quite s i m i l a r t o the splitting scheme used for the Vlasov equation, so that the n u m e r i c a l t r e a t m e n t o f q u a n t u m plasmas turns out to be of the same order o f difficulty as that o f classical plasmas. I n analogy w i t h p a r t i c l e codes for classical plasmas, a few q u a n t u m particle methods have recently been p r o p o s e d for the W i g n e r e q u a t i o n . " '
15
H o w e v e r , for this k i n d of
codes, the n u m e r i c a l effort d r a m a t i c a l l y increases w h e n we pass f r o m classical to q u a n t u m physics. T h i s is i n fact n o surprise, since the very concept o f deterministic trajectory loses its sense i n q u a n t u m mechanics. W e w i l l not, however, deal w i t h this k i n d o f codes i n the present paper. F i n a l l y , w e have decided t o o m i t any detailed analysis o f the n u m e r i c a l s o l u t i o n o f the Poisson
e q u a t i o n . I t is a vast subject, w h i c h is treated i n details i n many 16,
c o m p r e h e n s i v e w o r k s o n n u m e r i c a l analysis and plasma s i m u l a t i o n s . " Besides, i n the specific situations that w e shall investigate i n a subsequent section, only the oned i m e n s i o n a l f o r m o f the Poisson e q u a t i o n w i l l be used, w h i c h can easily be solved by s t a n d a r d methods. T h e reader interested i n the s o l u t i o n o f the Poisson e q u a t i o n i n m o r e c o m p l e x geometries can refer t o the above m e n t i o n e d w o r k s . 2.1. T h e Schrodinger equation T h e S c h r o d i n g e r e q u a t i o n for a one-particle wave function, can be w r i t t e n as :
114
i^L dt
= - i i i <-V(x,t)i 2
(x,t)
(£+V)0
(2,1)
where K and V are respectively the kinetic and potential energy operators, and we have taken for simplicity all n u m e r i c a l constants equal to one. T h e potential V(x,l) obeys the Poisson equation (1.1). T h e splitting m e t h o d consists i n separating the potential and kinetic terms i n Eq.(2.1) : 1 8 , !
(2.2) f
dt and then solving i n sequence each of the above equations for a time-step Ar. Formally, the result is :
(() (2.3)
4{t*hi)
= expl-iJ"* VdrW ,((*A 0 i
w h e r e ^ , indicates the intermediate result, obtained after application of the kinetic operator. N o t e that, i n view o f an application t o the coupled Schrodinger-Poisson system, we have taken into account a possible lime-dependence of the potential. A s a first r e m a r k , we note that a scheme based on Eqs. (2.3) is not symmetric, since the kinetic step always precedes the potential one. I t can be shown that such an asymmetric scheme is only correct to first order i n ar. W e therefore split the energy operator i n three, rather than t w o , terms, as follows :
i S , ( i + A ( / 2 ) - exp(-i'/?A t/2)
2
1
ii (r+A 0 = exp(-iRr>
t/2)i
;
t/2)
(2.4)
{r+A t/2)
where ^ , and $ , are intermediate results. I n other words, we first apply the kinetic operator for half a time-step, then the potential operator for one time-step, finally again the kinetic operator for half a t i m e step. I t can be shown that this trick provides a scheme that is exact t o second o r d e r i n AT. T h e block of operations expressed by Eqs. (2.4) is then repeated a large n u m b e r of times to give the evolution o f the wavefunction. In order t o solve the second step i n Eqs. (2.4), one needs the knowledge of the potential, and thus has t o solve the Poisson equation just before. N o t i c e however that
115
the potential operator only changes the phase of tP, whereas its modulus is left unchanged. Since the Poisson equation depends only on the square modulus of the wavefunction, the potential is not affected by a phase change in tP, so that, in the second of Eqs. (2.4), V can actually be taken out of the integral, to yield tP2 = exp(iVM)tP l in perfect analogy with the kinetic terms. A typical code would thus be represented by the following flow-chart : Initial condition
Kinetic term : M /2
Poisson solver
Potential term : M
Kinetic term : M/2 As a matter of fact, the two kinetic steps are strictly identical and can be performed together as a single step of duration M. The attentive reader would object that, by doing this, we eventually come back to the original, asymmetric scheme (2.3), which we said to be exact only to fIrst order in M. Actually, over two loops as given in the above flow-chart, the two schemes are identical and both second order, so that our discussion might seem superfluous. However, if other terms are included in Eq.(2.1), one must be aware that only symmetric schemes are second order accurate. For example, if we express the kinetic operator in cylindrical coordinates, we have
K
~ -~2 [~r ~ar [r~) ~r2 ~l ar aip +
2
'"
K +K r
..
and a possible splitting scheme is the following
which is symmetric. Again we can perform the two kinetic steps in the r direction together, thus reducing the number of steps per loop from fIve to four. However, the
116
K steps cannot be compacted i n one single step, i f we want the scheme to be second o r d e r accurate. T h i s is o f course due t o the fact that non-cartesian coordinates are not independent. A s w e shall see i n Sect. 3 . 1 , the use of the F F T for the radial variable w i l l provide a cheaper scheme. t
T h e most popular way t o solve explicitly the Eqs.(2.2) is to w o r k i n F o u r i e r space for the kinetic t e r m , and i n real space for the potential one. T h e n , the t w o steps are reduced t o m u l t i p l y i n g the wavefunction (or its F o u r i e r t r a n s f o r m ) by a phase factor. A l t e r n a t i v e l y , the kinetic t e r m can be discretized by a finite differences scheme. I n one spatial d i m e n s i o n , w e can use the C r a n k - N i c o l s o n scheme," w h i c h reads as
.90
_ . 0"*'
_
-i'
af (2.5) ^ 1tfj-i~
2
1 d*
IIP
2
2
A *
m
T7
2
2 where 4 "
2
2
i ( f * x , HA f) . Such a scheme is second order accurate b o t h i n 01 and 2
in Ar, and conserves exactly the L n o r m o f 0. 22. T h e W i g n e r e q u a t i o n T h e splitting scheme can be usefully applied also to the n u m e r i c a l s o l u t i o n of the W i g n e r equation (1.4).
8, 1 8 , 2 0 , 2 1
W e again split the equation i n t o three terms, a n d first
solve the kinetic part :
ar
(2-6)
m dx
over half a time-step, then the potential part
at
2* y,
II
x-~A-v
exp(i(£>-»')*/*)"
2
*f(x,p',t)dp'd\
(2,7) = 0
over At, and finally again the kinetic part over Af/2. T h e Poisson equation is solved just before E q . ( 2 . 7 ) , so that the flow-chart is identical to the one we gave for the Schrodinger-Poisson system. T h e kinetic step (2.6) can be solved i n a n u m b e r o f ways. I n fact, it possesses the f o l l o w i n g explicit s o l u t i o n
f(x,p,t+t>
t) = / U - p A
t/m,p,t)
(2,8)
117
which represents a translation of example, by interpolating / with a equation. Another method would in the x variable, which yields the f(k,p,t+L
(p/m)at in the x direction. This can be done, for cubic spline, a method currently used for the Vlasov consist in taking the Fourier transform of Eq.(2.6) following explicit solution :
t) = / ( * j v ) e x p ( - i A p A t/m)
(2.9)
k being the Fourier conjugate of*. O n e then comes back to the ordinary space by the inverse Fourier transform. A s to the potential step (2.7), we notice that the integral has the form of a convolution product. Therefore, we perform the Fourier transform in p space ( i is the conjugate variable) to obtain the solution :
/ ( x , A , r + A r)
f(x,x,t)exp
Af
(2.10)
Notice, at this point, that the Fourier transform on p turns the treatment of the potential term into a problem nearly as simple as the classical one ; this is really the method to treat the Wigner equation. T h e nonlocal character of the quantum interaction appears in a very clear way. Although we enforce the concept of an entity present at point (x,p) of the phase space, the distribution function at a given x interacts with the entire field. Finally, we point out that the Schrodinger equation is easier to solve numerically than the Wigner one, since the former depends only on the configuration variables, while the latter is expressed in the phase space. However, in the Schrodinger formalism one can only deal with pure quantum states, but not with mixtures, which require the use of the Wigner picture. T h i s advantage is lost when dealing with quasi-classical states, since their wavefunction is violently oscillating and a very fine mesh is required for a correct discretization. 23. A hydrodynamic model It has been known for a long time that the Schrodinger equation can be written in a form that reminds one of the equations of hydrodynamics." This is done by separating the amplitude A(x,t)
and the phase S(x,c) :
=A{x,l)exp[iS(x,t)\
(2.11)
A and S being real functions. W e then introduce the density n(x,t) and the average velocity u(x,t), with :
"(x,t)
- A
1
,
u(x,t)
= A i £ m dx
(2.12)
With this definitions, the Schrodinger equation is equivalent to the following system :
118
— +— (nu) at ax
0
au
l
(2.13) au
at *U- ax
aV
dp
m ax
dx
w i t h an exotic 'pressure", which is a purely q u a n t u m effect :
l aV" P
- - l r 7 -
n»*
dx
(2.14)
2
O n e can easily identify the first o f Eqs.(2.13) w i t h the c o n t i n u i t y equation, and the second w i t h the E u l e r equation for a compressible ideal fluid. Therefore, it has been proposed t o solve the system (2.13) by m a k i n g use o f standard hydrodynamic codes, 2
2J
i n c l u d i n g particle codes, *' '
25
However, the technical difficulty lies i n the treatment of
the pressure t e r m , w h i c h contains the t h i r d derivative o f the density. T h i s k i n d of codes is o f very l i m i t e d use nowadays, but we felt it interesting to m e n t i o n it, since it provides an alternative representation o f q u a n t u m
mechanics.
3, A p p l i c a t i o n s 3.1. The B r i l l o u i n flow T h e theory of nonneutral plasmas confined by magnetic fields is well k n o w n i n the frame of classical physics.
26
T h e simplest situation that one can imagine is given by an
electron gas which is infiniteiy long in t h e z direction, i m m e r s e d i n a u n i f o r m magnetic field parallel to the z axis. N o ions are present i n the system. I t is assumed that, apart f r o m the external magnetic field, only electrostatic self-cons is tent interactions
are
relevant. I t is easy to prove that there exists a family o f e q u i l i b r i u m configurations for w h i c h the electron gas possesses azymuthal symmetry, and rotates around the z axis w i t h constant angular velocity (i.e. as a solid b o d y ) . T h e B r i l l o u i n flow corresponds to a special case o f such e q u i l i b r i u m configurations. Since we shall be interested i n the q u a n t u m mechanical version of the B r i l l o u i n flow, we begin by recovering the m a i n classical results by means of a H a r a i l t o n i a n theory, w h i c h can be directly translated in the quantum f r a m e . subjected to a magnetic field B = rolA
20
T h e H a m i l t o n i a n of a particle
and an electrostatic field V is w r i t i e n as :
H = ? -
e
A
}
* y e
(3.1)
2m where e and m
are respectively the electron charge and mass, A
is the vector
potential, and P the canonical m o m e n t u m , connected to the usual kinetic m o m e n t u m p
(mass times velocity) by the relation :
119
P =
p+eA
(3.2)
I t is convenient to use cylindrical coordinates (r, % z), r b e i n g the radius, 9 the a z y m u t h a l angle, a n d z the d i r e c t i o n parallel t o the magnetic field. W h e n the magnetic field
is u n i f o r m , the vector p o t e n t i a l can be chosen as follows : A,
= A
r
= 0
;
A
•
t
Br/2
(3.3) 2 7
T h e n , the H a m i l t o n i a n (3.1) can be w r i t t e n i n the f o l l o w i n g w a y :
Pj
2
Pi
ma. ,
» .P. +eV{r, ) v
2m
2
2m!
(3.4)
8
w h e r e w e have i n t r o d u c e d the cyclotron frequency u
f
= eB/m.
T h e equations of
m o t i o n read as :
r 9
PJm • PJmr*-u
J2 (3.5)
P, P
2
Pf/mr'-mu
r/4-edV/dr
-eav/3v
A dot stands for d e r i v a t i o n w i t h respect t o I . I f the
p o t e n t i a l V does n o t depend
momentum
on the
angle, P .
the canonical
angular
is a constant o f the m o t i o n . T h e r a d i a l dependence o f V is given by the
Poisson e q u a t i o n , i n w h i c h w e assume the electron density t o be radially u n i f o r m and equal to n
0
( a n d , o f course, not depending o n the angle) :
Er Sr
e„
* ar
(3.6)
N o t e that, i n t w o dimensions, the "electrons" w e refer to are i n fact infinitely long charged w i r e s , parallel t o the z axis. T h e parameter N then represents the n u m b e r o f real electrons per meter. I n t e g r a t i o n o f Eq.(3.6) yields :
(3.7) 2e
where u
p
= (we'rij/mtj '
is the plasma frequency. U s i n g (3.7), a little algebra on
120
the Eqs,(3.5) leads to the f o l l o w i n g equation for the radius :
2
r = r[a + u ,a
w h e r e It
i
+Wp/2)
is the angular velocity. E q u i l i b r i u m
(3-8)
configurations can be found by
setting equal to zero the t e r m i n parenthesis i n Eq.(3.8). I t is a second degree algebraic equation i n n, w i t h the solutions :
1
(3,9)
T h e B r i l l o u i n flow corresponds t o Ihe case i n which the t w o solutions coincide, i.e. when
-
c
(3-10)
2",
and therefore -u /2
(3.11)
t
F r o m (3.11) and the second o f Eqs,(3.5), one i m m e d i a t e l y realizes that the B r i l l o u i n flow is characterized by the relation P
r
= 0. Strictly speaking, the B r i l l o u i n flow is not
an attractor. I n fact, by plugging Eq.(3.11) i n Eq.(3.8), we obtain r = 0 . I n order to assure the approach to the radial e q u i l i b r i u m , one
must
require
that the radial
velocity be zero at a certain time. I f we slightly p e r t u r b this c o n f i g u r a t i o n by i n t r o d u c i n g a small radial velocity, the system will oscillate around the e q u i l i b r i u m configuration, but never reach it again. H o w e v e r , we shall prove, i n the following, that in a weaker sense the B r i l l o u i n flow does behave as an attractor, w h e n some conditions are verified. W e n o w t u r n to the q u a n t u m mechanical case. B y expressing the Laplacian operator in cylindrical coordinates, the Schrodinger-Poisson system (1.1) becomes
1 9 ' 90 St
2m~ r 3r ma
1 9
W_ \
r
,
J
2
2
r ij
:
l a tf
ar (
22
a
w
*eVi
(3.12)
2
1 BV
r dr A further assumption consists i n considering a system w i t h a z i m u t h a l symmetry, which is obtained by p u t t i n g
3/d
does not
121
depend
on
represents
a system w i t h average P , equal t o zero : i n o t h e r words,
the q u a n t u m B r i l l o u i n flow must be given by a wavefunction w i t h azymuthal symmetry. T h i s s i m p l e fact has a considerable n u m e r i c a l consequence : we just need t o w o r k i n one spatial d i m e n s i o n . I n a d d i t i o n , a little dimensional analysis on the system (3.12) shows the existence of the dimensionless p a r a m e t e r r :
r =
(3.13) 2
eN
w h i l e the characteristic length and t i m e are given by Ihe f o l l o w i n g relations :
L
2
c
, 1
, 2
= y,^ m- ' e^N- l
•
T
=
e
fet^-W'
(3.14)
W e shall therefore solve n u m e r i c a l l y the f o l l o w i n g system, expressed i n dimensionless variables :
1
. 90 St
3 ( dif
2r dr
2
+_r 0
+K0
Sr (3.15)
rj~r\
17
A s we p o i n t e d out before, the B r i l l o u i n flow i m p l i e s that $ depends only o n r. M o r e o v e r , the spatial density must be u n i f o r m over a b o u n d e d d o m a i n
n(r)
= !c (r)f
n{r)
- 0
= n,
0
S
r < R
e
(3.16)
r > R„
H o w e v e r , it is not difficult t o convince oneself that, i n q u a n t u m mechanics, such a configuration
is not
an e q u i l i b r i u m . I n fact, due
wavefunction the support o f w h i c h is 0 < r < R
B
t-/R . B
to the uncertainty p r i n c i p l e , a
possesses a m o m e n t u m o f the o r d e r
T h i s radial m o m e n t u m acts as a p e r t u r b a t i o n , and w i l l start radial oscillations
that never d a m p away. T h i s p e r t u r b a t i o n disappears w h e n R
B
goes to infinity ( c o l d
plasma), w h i c h requires the magnetic field to be extremely weak, i.e. u —t 0. I n this c
case, we recover the classical behavior, relation
as
one
could
have
expected
from
the
(3.13), since the l i m i t u - . 0 corresponds t o ti - . 0. t
B e f o r e t u r n i n g t o n u m e r i c a l simulations, let us calculate the B r i l l o u i n radius R , B
defined i n E q . ( 3 . 1 6 ) . F r o m the n o r m a l i z a t i o n c o n d i t i o n l\l> \ rdr
n,Rt
- 2
w h i l e f r o m the fundamental r e l a t i o n (3.10) one has :
= 1 we get :
(3.17)
122
Ne n. 2
(3.18)
Eqs.(3.17) and (3.18) yield ihe result :
!
e /V
R.
*0 R _£
(3.19)
-
2
r
L.
T h e last equality, obtained t h r o u g h Eq.(3.14). expresses *! in a dimensionless f o r m . fl
T h e B r i l l o u i n mean radius is therefore : "a A
B
-
j r\* frdr
=
(3.20)
±R
B
I n the first simulation, we follow the t i m e evolution of the mean radius
The
initial c o n d i t i o n is a gaussian wavefunction :
(r,0) = - e x p
r
(3.21)
T h e simulations confirm that, i n the complete self-consistent
plus magnetic
field
p r o b l e m , there exists t w o fundamental lengths, namely, the B r i l l o u i n mean radius R
g
see Eq.(3.20) - and the characteristic length L „ given i n Eq.(3.14), w h i c h is taken equal to one i n our unities. N o t e that L
c
contains h, and therefore is somewhat a
measure o f the importance o f q u a n t u m effects. T h e different regimes of such a system w i l l depend on the r a t i o o f the above typical lengths. I n the simplest case, w h e n the self-cons is tent interaction is absent, one can prove that the Ehrenfest t h e o r e m is exactly verified : thus the mean radius follows the classical trajectory, oscillating at the cyclotron frequency. W h e n w e t u r n on the self-consistent interaction, the dimensionless parameter r appears, as w e l l as (he B r i l l o u i n mean radius
R. g
L e t us start w i t h the semi-classical case, for which the magnetic field is weak, and therefore :
r
(3,22)
The_simulations show that the mean radius < r > is attracted" towards a value close to R , B
and then oscillates around this value. I f the initial c o n d i t i o n is very close to the
B r i l l o u i n flow, the a m p l i t u d e of these oscillations is very small, and the plasma is
123
almost at e q u i l i b r i u m . I n this sense, the classical B r i l l o u i n f l o w can be considered an a t t r a c t o r , even t h o u g h , however, the oscillations never d a m p away since the system is conservative. Several simulations i n this r e g i m e are shown i n F i g . 1. N o w , i f we increase the value o f r ( s t r o n g m a g n e t i c fields), w e shall have :
R
3
< L
= 1
(3.23)
m e a n i n g that q u a n t u m effects have become i m p o r t a n t . I n this case, the simulations show that the B r i l l o u i n f l o w n o m o r e acts as an attractor. Indeed, this is not surprising, since w e are t r y i n g t o confine the plasma on a length smaller than the typical length o f its g r o u n d state. F i g . 2 shows the e v o l u t i o n o f the mean radius for different initial conditions, i n the case o f a large value o f r . T h e B r i l l o u i n m e a n radius R
s
is not
approached, not even i n average, and the p l a m a oscillates at a frequency that is close t o T (since i n this case u
=
» u ) . I f w e start f r o m an i n i t i a l c o n d i t i o n for w h i c h p
the plasma leaves this configuration, and < r ( f ) > oscillates around a
B
value larger than
R.
In
have s h o w n
summary,
we
g
that,
i n the
semiclassical
regime, a
nonneutral,
a z y m u t h a l l y s y m m e t r i c plasma approaches, at least i n the average, the c o n f i g u r a t i o n given by the B r i l l o u i n flow. H o w e v e r , the fluctuations persist for an indefinitely l o n g t i m e . I n the q u a n t u m r e g i m e , q u a n t u m effects prevent the plasma to be confined inside the B r i l l o u i n radius, so that the B r i l l o u i n flow is n o m o r e approached. T h e physical s i t u a t i o n treated so far is actually a very particular one, for w h i c h the wavefunction is independent o f the angle : as we have seen, this case corresponds t o a plasma
r o t a t i n g w i t h angular
velocity u / 2 . T h e r e f o r e , our initial c o n d i t i o n is c
necessarily "close" to the classical B r i l l o u i n flow, and it is not so surprising that, at least i n the semiclassical l i m i t , this c o n f i g u r a t i o n acts as an attractor. I n order to avoid the above l i m i t a t i o n , one has t o solve the complete, bidimensionat Schrodinger-Poisson system (3.12). Before d o i n g that, we consider the ease w h e r e the wavefunction can be w r i t t e n as follows :
* [ f , « , | ) -
(3.24)
w h e r e s is an integer. T h e wavefunction (3.24) represents a state w i t h well-defined canonical angular m o m e n t u m , equal to P . = to. B y injecting the ansatz (3.24) i n t o the Eqs.(3.12), one obtains a system identical t o (3.15), w i t h , i n the 2
e q u a t i o n , one m o r e t e r m o f the f o r m (s /2r)^
Schrodinger
, acting as a repulsive p o t e n t i a l .
W e n o w t u r n to the fully b i d i m e n s i o n a l case. T h e previous considerations suggest that the B r i l l o u i n flow is not necessarily approached w h e n the initial c o n d i t i o n has a n o n z e r o canonical m o m e n t u m . I n fact, i n o r d e r t o prepare an i n i t i a l c o n d i t i o n that is far f r o m the B r i l l o u i n flow, one must i n t r o d u c e a large canonical m o m e n t u m , w h i c h means a wavefunction violently oscillating i n * : as stated above, the presence o f high a z y m u t h a l modes s h o u l d act as a repulsive t e r m . T h e b i d i m e n s i o n a l results are obtained by solving the system (3.12), by means o f the s p l i t t i n g m e t h o d described i n the previous section. I n this case, the m e t h o d combines
124
b o t h a finite difference
and a F F T scheme. T h e Schrodinger e q u a t i o n i n (3.12) is split
as follows :
. 30
1 3 r
ill .
1
!
30
*l
— + —
2 »
dr
dr
2
r i
8
(3.25)
Vi
at T h e second o f Eqs.(3.25) has an exact solution. T h e first of Eqs.(3.25) can be F o u r i e r transformed i n the angle variable (A is the conjugate o f
H
(r X,t) t
_ 1
at
1
3
3
p
0 1
-_A0 2
2 7 3r
r'
(3.26)
2
+
r 0 8
T h e n equation (3.26) is solved for each A using a finite difference, C r a n k - N i c o l s o n scheme i n the r a d i a l variable. F i n a l l y one comes back t o the real space by p e r f o r m i n g the inverse F o u r i e r transform. T h i s k i n d of scheme allows us t o split the original equation i n just t w o steps, as it was done i n the one-dimensional case. T h e
Poisson
equation i n (3.12) is solved by a similar method, taking the F o u r i e r t r a n s f o r m i n % and using a finite difference scheme i n r. W e now present the results for the bidimensional simulations. T h e i n i t i a l c o n d i t i o n is the f o l l o w i n g : 0 (r,#> , 0 )
2
2
const.rexy(-r j4a )
exp[i t r c o s f j * ) ]
(3.27)
A s expected, i n the semiclassical regime ( f < 1), the m e a n radius oscillates around a value larger than R
B
( F i g . 3 ) . I n order t o study the approach towards the B r i l l o u i n
configuration, we plot, i n F i g , 4, the evolution of Ihe f o l l o w i n g mean quantity :
-rdrdt
(3.28)
a it w h i c h represents the angular
kinetic energy, and is zero for the B r i l l o u i n
(azymuthal s y m m e t r y ) . F r o m F i g . 4, we see that its value decreases, and
flow finally
oscillates a r o u n d a nonzero value. I n other words, Ihe plasma "makes some effort"' to approach the B r i l l o u i n configuration, by g e t t i n g r i d o f some o f the angular dependence o f the wavefunction, although this is not completely achieved. T h i s is apparent also f r o m Fig. 5, w h i c h gives a contour plot for the density | * (r,g> )f at different times. T h e angular dependence o f the density never damps away.
0 40 time
0
80
Fig. 1 . Evolution of
B
c
, the dotted line
126
Ol
.
0
J
60 time
120
Fig. 3 ; Evolution of
a
, the dotted line indicates L = 1. c
0.8
0.0 I 0
. 60 time
120
Fig. A : Evolution of the angular kinetic energy (3.28) in the same cases as in Fig. 3 (a) and (b).
128
3.2. T h e a n h a r m o n i c o s c i l l a t o r i n the W i g n e r f o r m a l i s m I n this section, we are g o i n g t o deal w i t h an example o f numerical s o l u t i o n o f the W i g n e r equation. T h o u g h , the self-cons is tent t e r m w i l l be neglected ; we shall simply investigate the e v o l u t i o n of an
initial wavepacket
i n a given external p o t e n t i a l .
Simulations of the complete Wigner-Poisson system can be found elsewhere.
8
It is a trivial exercise t o show that for a quadratic potential, the W i g n e r e q u a t i o n is strictly identical t o the Vlasov ( L i o u v i l l e ) o n e .
28
For a m o r e complicated potential, the
first q u a n t u m c o r r e c t i o n is of second o r d e r i n K H o w e v e r , w h e n the potential has the form o f a q u a r l i c p o l y n o m i a l :
V(x)
l
I m u x*+hmtx*
(3.29)
only the first c o r r e c t i o n t e r m survives, while all the others are strictly equal to zero.
6
T h e r e f o r e , the W i g n e r equation takes the following form :
3
tf+l.£-{ ix+mtx )M. ma
dt
A
m
3X
dp
= - t m t x M 4 dp
(3.30) 1
little d i m e n s i o n a l analysis on the previous equation shows the existence o f a
dimensionless
parameter
H
= .
1
m u
(3.31) i
W e shall always lake m = a = e = 1 , and let H vary, as a measure o f the i m p o r t a n c e of quantum effects. I n the following, we w i l l be concerned w i t h s i m u l a t i n g the e q u a t i o n (3.30) by means of the n u m e r i c a l code previously described. T h e reasons for considering this simplified m o d e l are many : firstly, the Eq.(3.30) is considerably simpler than the complete W i g n e r equation ; secondly, the q u a r l i c potential (3.29) is the first c o r r e c t i o n to h a r m o n i c m o t i o n , and occurs whenever we want t o take i n t o account nonlinear effects a r o u n d an e q u i l i b r i u m ; finally, the numerical solution can be m o r e accurate since the Eq,{3.30) is local i n x, and we need not interpolate Ihe potential. First of all, we investigate numerically some elementary properties o f the W i g n e r equation. O n e of the m a i n puzzles, w h e n posing a quantum-mechanical p r o b l e m i n phase space, is the choice o f the initial c o n d i t i o n . O f course, not every function of two variables corresponds to a possible q u a n t u m state, represented by a positive-definite density matrix. A n operational c r i t e r i o n to lest whether an arbitrary d i s t r i b u t i o n 5
function represents a pure state exists, but unfortunately it cannot be generalized to the case o f a m i x t u r e . I n t u i t i o n suggests that a "good" d i s t r i b u t i o n function should not be too peaked, nor vary too rapidly over a region o f area approximately equal t o K 5
M a t h e m a t i c a l l y , this is expressed by the f o l l o w i n g necessary c o n d i t i o n :
129
1
jjf
(x,p)dxdp
<-
(3.32)
t,)
w h e r e w e have assumed lhat / is n o r m a l i z e d t o unity. T h e equality sign i n (3.32) corresponds t o p u r e states. U n l u c k i l y , the c o n d i t i o n (3.32) is not sufficient f o r / t o be an admissible q u a n t u m state. O n the o t h e r hand, the W i g n e r equation i n itself does not prescribe any p a r t i c u l a r choice o f the i n i t i a l c o n d i t i o n , w h i c h may w e l l be a "forbidden" one, not representing any q u a n t u m state. W h a t happens w h e n the i n i t i a l c o n d i t i o n does not respect the necessary c o n d i t i o n (3.32) ? I n o r d e r t o answer this question, w e study the e v o l u t i o n o f a gaussian
exp
x
_
p'
(3.33)
~2~?~2~o~\
i n a q u a r t i c p o t e n t i a l . T h i s i n i t i a l state is an admissible one as l o n g as o o i
p
i
H/2,
Figs. 6, 7 a n d 8 show the e v o l u t i o n o f the kinetic energy for different values o f the q u a n t u m p a r a m e t e r H. N o t e that for H = 0 (classical case) the system approaches a stationary s o l u t i o n . A s w e shall see later o n , this is due to the filamentation
finer
and
finer
in the phase space, w h i c h u l t i m a t e l y reaches the level o f the mesh size.
H o w e v e r , the r e l a x a t i o n towards a stationary state is "physical" a n d does not depend on the step of the g r i d . A s H increases, the kinetic energy starts oscillating w i t h o u t d a m p i n g . W h e n o J>, * H/2.
t
the oscillations are so v i o l e n t that the kinetic energy
becomes either negative or greater t h a n the t o t a l energy ( w h i c h indicates a negative p o t e n t i a l energy). N o t e however that the t o t a l energy is still constant, since this is a p r o p e r t y o f the W i g n e r e q u a t i o n , irrespective o f the i n i t i a l c o n d i t i o n . T h u s , w h e n we t r y to violate the H e i s e n b e r g p r i n c i p l e by concentrating the d i s t r i b u t i o n function over a r e g i o n smaller than \
w e arrive at the absurd situation i n w h i c h the m e a n value o f
a positive q u a n t i t y becomes negative. A second p o i n t concerns the reversibility o f the W i g n e r equation. O f course, f r o m a strictly m a t h e m a t i c a l point o f view, the W i g n e r equation, just as the L i o u v i l l e e q u a t i o n for classical systems, is c o m p l e t e l y reversible. H o w e v e r , as w e p o i n t e d out before, the classical phase space tends t o become m o r e and m o r e i n t r i c a t e d , so that a small e r r o r or p e r t u r b a t i o n prevents the possibility o f inversing the dynamics and thus r e c o v e r i n g the i n i t i a l c o n d i t i o n . I t was noticed by M . V . B e r r y
2 5 ,x , l i
the case for the
effects
filamentation
quantum
phase space : i n fact, q u a n t u m
that this is not prevent
the
to reach the m i n i m u m unit cell o f area o. B e r r y was m a i n l y interested
i n the behavior o f chaotic dynamical systems, b u t we can easily prove that this is t r u e also for ours, w h i c h is o f course c o m p l e t e l y integrable. Firstly, w e c o n f i r m Berry's results by a t i m e - r e v e r s a l c o m p u t e r experiment. T h e initial c o n d i t i o n is the f o l l o w i n g
(*+*o)' f
•
4n a a
exp -XL 2a]
•-exp
exp 2o \
2o\
(3.34)
130 with.t
0
= 1.8 ,a
x
= .5 , o
p
= 1.4. T h i s i n i t i a l state evolves i n the quartic potential up
to r = 15, then the velocities are reversed and the system goes back t o its initial state. N o w , due to the discretization, some i n f o r m a t i o n gets lost d u r i n g the e v o l u t i o n , and therefore
the system w i l l not r e t u r n exactly t o its initial c o n d i t i o n . H o w e v e r , the
situation is very different for the classical and quantum eases. T h e classical evolution (H = 0 ) is shown i n F i g . 9. A t t i m e t = 15, the filamentation has already reached the mesh size, and the time-reversal is n o m o r e able t o b r i n g back the system to the i n i t i a l c o n d i t i o n . For the q u a n t u m evolution, we choose a pure state, w i t h H = 1.4 ( F i g . 10). T h e f i l a m e n t a t i o n is m u c h less i m p o r t a n t , and the initial c o n d i t i o n is recovered quite precisely. N o t e that, o f course, we used the same mesh i n b o t h cases. N o w that we have established that q u a n t u m dynamics is, i n some sense, "more reversible" than classical dynamics, it w o u l d be useful to define a m a t h e m a t i c a l object which somewhat measures these different degrees o f reversibility. I n o l h e r words, we need a definition of entropy c o m m o n to both the classical and q u a n t u m phase space. T h e standard definition o f entropy as the mean value of - l o g / cannot be used, since / c a n take negative values. The entropy should be defined as a functional of the f o r m
S\f\
=\\G(f)dxdp
(3.35)
F u r t h e r m o r e , we ask G to be a concave function o f / , and, of course, we require 5 to be constant i n t i m e for a closed H a m i l t o n i a n system.
31
Given the above constraints, it
is n o l difficult to show that the most natural definition o f S is the following:
S = 1 - 2 * -hjjf
(x,p)dxdp
(3.36)
I n fact, the integral i n the Eq.(3.36) is a constant o f the m o t i o n for the W i g n e r equation. T h i s is easily shown by m u l t i p l y i n g Eq.(1.4) by f/2, 2
the phase space. The l.h.s. gives simply (d/dt)llf dxdp,
X ' V x - — 2 ;
-
-441 exp I 4
iP'P'x h
' \dxfdx V\x-t 4* V J J
and integrating over all
while the r.h.s, yields :
f(x,p',t)f{x,p,t)dp'dpdxdx
j dp'exp
Jrfpexpllfil/^O
=
(3.37)
=0
The i n t e g r a n d i n Eq.(3.37) is an o d d function i n X, so that i n t e g r a t i o n from -» t o + « yields zero, thus dS/dt
= 0. I n fact, the integration in x was not necessary to e l i m i n a t e
the r.h.s. o f the W i g n e r equation. I f we only integrate i n p, we get the continuity e q u a t i o n for the local entropy s(x,i) :
following
131
i£+i£ =0 at
(3.38)
Bx
w h e r e the local e n t r o p y s and the e n t r o p y flux / have been defined as follows
s(x,t)
"J/4. -2^|/Vp
T h e e n t r o p y (3.36) is a measure o f the purity of a q u a n t u m state. I n fact, 0 < S < 1, and S = 0 i f / represents a pure state. W e n o w m a k e use o f o u r e n t r o p y as a measure o f the loss o f i n f o r m a t i o n i n the n u m e r i c a l s o l u t i o n o f the W i g n e r equation. A s usual, the initial c o n d i t i o n is a gaussian, a n d the p o t e n t i a l a q u a r t i c p o l y n o m i a l . F i g . l l shows the e v o l u t i o n o f the entropy, for various values o f the parameter H. I t is apparent that the i n f o r m a t i o n is lost m o r e and m o r e slowly as H increases. M o r e o v e r , S increases m o n o t o n i c a l l y w i t h the t i m e for every value o f H. L e t us n o w come back t o the previous time-reversal experiments. I n Fig. 12,
the
e n t r o p y is p l o t t e d against t i m e ; at ( = 15 the velocities are reversed, and the system evolves backwards i n t i m e . H o w e v e r , there is no discontinuity i n the e v o l u t i o n of S at the t i m e / = 15 : the e n t r o p y goes on increasing b o t h i n the q u a n t u m and i n the classical cases. T h i s indicates that o u r e n t r o p y t r u l y measures the loss of i n f o r m a t i o n due to the n u m e r i c a l discretization.
Fig. 6 : Evolution of Ihe kinetic energy of a wavepacket in a quartic potential (3.29). The initial condition is given by Eq.(3.33) with o 1 I Op = \A ;H - 0 (full line) ; H - 1 (doited line). t
4.0
0
15 time
30
Fig. S : Same as Fig. 6 with H • 5 The kinetic energy now takes on negative values
Fig. 9 : Evolution of a wavepacket (3.34) in a quarlic potential; r„ = 1.8 ; 0, - 0.5 ; i7p 1,4 ; classical case (H = 0). The dynamics is reversed at I = 15.
Fig. 9 : conLinued
135
Fig. 10 : Same as Fig. 9 focH = 1.4 (quantum pure state). We show ihe posirive pari of Ihe Wigner function.
Fig. 10 : continued.
0.24
0.16L 0
, 12 time
-
J 24
Fig. 11 : Evolution of 1 - It J ff'dxdp tor: (a) H = 0 ; (b) H = 0.5 ; (c)H - 1 ; (d) H - 2.4 (pure stale).
138
4. C o n c l u s i o n T h e firs! purpose of Ihe present paper was to investigate the properties of a gas of electrically interacting particles where q u a n t u m effects cannot be neglected. A certain number
of
rather
drastic
assumptions
were necessary i n order
to o b t a i n a
m a t h e m a t i c a l m o d e l suitable for analytical and numerical investigations. W e described t w o o f such possible models, the Schrodinger and Wigner-Poisson systems, and, for each of t h e m , presented an efficient numerical a l g o r i t h m based on a splitting scheme. B o t h are colli si onless, one-particle models, and neglect the second i m p o r t a n t q u a n t u m effect, the spin. H o w e v e r , they contain the two m a i n ingredients for a quantum plasma, i.e. long-range interactions and a quantum equation o f m o t i o n . N u m e r i c a l l y , ihe Schrodinger representation is cheaper, but the W i g n e r one permits to treat a wider class o f q u a n t u m states, in the familiar phase space formalism, and is of considerable help to understand h o w the classical l i m i t is recovered. Certainly, the study o f realistic problems, connected to the design o f m i c r o e l e c i r o n i c devices, w o u l d require m o r e sophisticated models. I n particular, one w o u l d want to investigate three-dimensional geometries, endowed w i t h m o r e complicated boundary conditions. I n that case, the W i g n e r representation must be r u l e d out, since it w o u l d imply the discretization of a six-dimensional phase space. A n o t h e r , m o r e delicate point, is the m o d e l i n g of dissipative effects. I n solids, the electrons are confined by the presence o f an underlying ionic, motionless lattice : collisions between
the electrons
and the lattice are
nonelastic, and represent
a
dissipative p h e n o m e n o n , w h i c h i n general cannot be neglected. H o w e v e r , there is no universal consensus on h o w to deal w i t h dissipation i n quantum mechanics, A deeper understanding o f these issues w i l l probably constitute a significative advance i n the technology o f future semiconductor devices. A second purpose o f this paper was to analyse the role o f initial conditions i n the W i g n e r equation. T a k i n g an i n i t i a l state that corresponds to a given ii (i.e., a pure state) does not add anything new, and i t is simpler i n that case to solve Schrodinger equation. M o r e interesting are the initial conditions connected
the to a
m i x t u r e , or even m o r e general ones. A n interesting result was the i n t r o d u c t i o n o f an entropy w h i c h measures the loss o f i n f o r m a t i o n due to the numerical scheme. T h i s entropy gives a precise meaning to the observation, made by Berry, that classical systems develop an intricated phase space structure, a n d thus loose small scale i n f o r m a t i o n m o r e quickly than the q u a n t u m ones. A last remark concerns the good properties of the E u l e r i a n codes (i.e. phase space codes) i n theoretical problems where simple, l o w dimensional geometries can be used. U n f o r t u n a t l y , particle codes (which, i n the classical case, allow a r o u g h treatment o f such complex geometries) are, for q u a n t u m problems, as costly as the E u l e r i a n codes, and presumably m o r e noisy. T h e creation o f a good W i g n e r code for t w o and three dimensions is, to o u r knowledge, still an open and i m p o r t a n t question.
139
References 1. M.F. H o y a u x , Solid stale plasmas ( P i o n L i m i t e d , 1970). 2. P. B e r t r a n d , V . T . N g u y e n , M. G r o s , B. Izrar, M. Feix and J.J. G u t i e r r e z , Vlasov
plasma
description through quantum numerical
Classical
methods, J. Plasma Physics,
23 (1980) 401-422. 3. S. M o l a , G . M a n f r e d i and M.R. Feix, Expansion Physics,
of a quantum electron gas, J. Plasma
i n press.
4. E.P. W i g n e r , On the quantum correction for the thermodynamic Rev,
equilibrium,
Phys.
40 (1932) 749-759.
5. V . I . T a t a r s k i i , The Wigner representation of quantum mechanics,
Sov. Phys. Usp., 26
(1983) 311-327. 6. M . H i l l e r y , R . F . O ' C o n n e l l , M . O . Scully a n d E.P. W i g n e r , Distribution functions physics
.-fundamentals,
7. J.E. M o y a l , Proc. Cambridge
Phil. Soc,
45 (1949) 99.
8. N . D . Suh, M . R , Feix and P. B e r t r a n d , Numerical Liouville-Poisson
system, J. Comput.
simulation of Ihe quantum
Phys. 94 (1991) 403-418.
9. T. K e r k h o v e n , A . T . G a l i c k , U . R a v a i o l i , J . H . A r e n d s and Y . Saad Efficient simulation
numerical
of electron stales in quantum wires, J. Appl. Phys, 68 (1990) 3461,
10. A . M . C r u z Serra and H . A r e n Santos, A one-dimensional solution of the Schrodinger
and Poisson
self-consistent
numerical
equations, J. Appl. Phys. 70 (1991) 2734.
11. M . C . Y a l a b i k , G . NeofotistOS, K a r i m D i f f , H o n g G u o and J . D . G u n t o n , mechanical IEEE
in
Phys. Rep. 106 (1984) 121-167.
simulation
Trans. Electron
of charge transport in very small semiconductor
Quantum
structures,
devices 36 (1989) 1009-1014.
12. T . N . T r u o n g , J.J. T a n n e r , P. Bala, J A . M c C a m m o n , D J . K o u r i , B . Lesyng a n d D . K . H o f f m a n , A comparative study of time dependent quantum mechanical packet evolution methods, J. Own.
13. N . C . K l u k s d a h l , A . M . K r i m a n , D . K . F e r r y and C. Ringhofer, Self-consistent of the resonant-tunneling
wave
Phys. 96 (1992) 2077-2084. study
diode, Phys. Rev. B 39 (1989) 7720-7735.
14. A . A r n o l d a n d P A . M a r k o w i c h , Quantum
transport models for semiconductors,
in
Applied and Industrial Mathematics, ed. R. Spigler ( K l u w c r A c a d e m i c Publishers, 1991), p p . 301-307. 15. A . A r n o l d a n d F. N i e r , Numerical
analysis of the deterministic panicle
method
applied to the Wigner equation, Math, of Comp. 58 (1992) 645. 16. R . W . H o c k n e y a n d J . W . E a s t w o o d , Computer simulations using particles ( A d a m H i l g e r , 1988). 17. W . F , A m e s , Numerical methods f o r p a r t i a l diiTerential equations ( A c a d e m i c Press, 1977). 18. N . N . Y a n e n k o , The method of fractional steps ( S p r i n g e r - V e r l a g , 1971). 19. W . H . Press, B P. Flannery, S.A. T e u k o l s k y and W . T . V e t t e r l i n g , Numerical recipes ( C a m b r i d g e U n i v e r s i t y Press, 1986). 20. C . Z . C h e n and G , K n o r r , Tlte integration of Ihe Vlasov equation in space, J. Comput.
2 1 . R . R . J . G a g n d and M . M . Shoucri, A splitting scheme for the numerical a one-dimensional
configuration
Phys. 24 (1976) 330-351. Vlasov equation, J. Comput.
solution
Phys. 24 (1977) 445-449.
22. A , M e s s i a h , Mecanique Quantique ( D u n o d , 1965).
of
140
23. J . H . W e i n e r and Y . P a r t o m , Quantum
rate theory for solids.ll.
One-dimensional
tunneling effects, Phys. Rev. 187 (1969) 1134-1146. 24. J . H . W e i n e r and A . A s k a r , Particle method for the numerical solution dependent Schrodinger
of the time-
equation, I. Chem. Phys. 54 (1971) 3534-3541.
25. P. Z i m m e r e r , M , Z i m m e r m a n n , N. G r i i n and W . Scbeid, Trajectory method for the time-dependent Schrodinger and Tliomas-Fermi
equations, Comput. Phys.
Commun.
63 (1991) 21-27. 26. R . C . Davidson Theory of n o n n e u t r a l plasmas, Frontiers i n Physics ( W . A . Benjamin, 1974). 27. G . S c h m i d t Physics of high t e m p e r a t u r e plasmas ( A c a d e m i c press, 1966). 28. G . M a n f r e d i , S. M o l a and M . R . Feix, Quantum systems that follow dynamics,
classical
Eur. J. Phys. 14 (1993) 101-107.
29. M . V . B e r r y , N X . Balazs, M . T a b o r and A . V o r o s , Quantum maps, Ann. Phys.
(New
York) 122 (1979) 26-63. 30. H . J , K o r s c h and M . V , Berry, Evolution nonintegrable
of Wigrier's phase-space
density under a
quantum map, Physica D 3 (1981) 627-636.
3 1 . G.J. M i l b u r n , Quantum
and classical Liouville
dynamics of the
anharmonic
oscillator, Phys. Rev. A 33 (1986) 674-685. 32. A . W e h r l , General properties of entropy. Rev. Mod. Phys. 50 (1978) 221-260.
141
Mathematical Theory of Kinetic Equations for Transport Modelling in Semiconductors F . Poupaud Laboratoire J.A. Dieudonne, U.R.A. 168 du C.N.R.S., Universite de Nice, Pare Valroae, F - 06108 Nice Cede* 2, France
Abstract We present a review of mathematical results available for kinetic models for semiconductors. These models i r e mainly based on Vlasov-PoissonBoltzmann system of equations. However the transport of particles (electrons and holes) is not purely classical but takes into account quantum effects due to the periodicity of the semiconductor lattice. Although the mathematical analysis is almost complete from the point of view of existence and uniqueness of solutions, i t remains a lot of open problems concerning the connection between quantum, kinetic and fluid levels of modelling.
1. I n t r o d u c t i o n S e m i c o n d u c t o r device m o d e l l i n g requires the knowledge of the d y n a m i c of charged particles i n semiconductor lattices. T h e free particles are of t w o types. F i r s t there are electrons w h i c h belong t o the c o n d u c t i o n band a n d second electrons w h i c h bel o n g t o the upper valence b a n d . Since the valence band is almost f u l l , i t is more convenient t o consider a lack o f electrons and the d y n a m i c o f these vacancies. T h i s leads t o the concept o f holes w h i c h can be considered as quasi-particles w i t h posi t i v e charges. T h e n the key p o i n t w h i c h allows t o construct devices w i t h m a n y different physical properties is t h a t the i n t r i n s i c c o n c e n t r a t i o n level o f electrons and holes is controled by the level o f c o n c e n t r a t i o n o f i m p u r i t i e s w h i c h are added t o the s e m i c o n d u c t o r l a t t i c e . For instance i f y o u a d d a t o m s o f donors i n the c r y s t a l , these a t o m s w i l l give electrons t o the c o n d u c t i o n b a n d . Conversely i f you a d d acceptors, the c o n c e n t r a t i o n o f holes w i l l increase. T h e concentration level o f i m p u r i t i e s w h i c h becomes charged by g i v i n g or t a k i n g an electron is usualy named the d o p i n g profile. T h e n the t r a n s p o r t processes for electrons and holes are governed by t w o phen o m e n a : free flights a n d collisions. D u r i n g the free flights, electrons (resp. holes) m o v e w i t h a velocity v (k) (resp. v (k)) which depends on t h e i r wave-vector it. T h i s wave-vector is accelerated by an electric field. Hence the kinetic of particles depends s t r o n g l y on the f o r m o f the f u n c t i o n k —* t i „ ( i ) . A t this p o i n t , q u a n t u m effects are taken i n t o account because the functions v„ (k) depends on the struct u r e o f the bands. T h i s s t r u c t u r e is d e t e r m i n e d by s o l v i n g an eigenvalue p r o b l e m for Schrodinger equations. These eigenvalues E (k) are the energies of electrons n
p
i P
iP
n
p
142
and holes. T h e y are related t o velocities t h r o u g h the relations
v , w = l^kE . {ky n P
n p
(i.i)
T h i s connection between q u a n t u m physics and kinetic models w i l l be clarified i n Section 2. Let us m e n t i o n t h a t the electric field depends on the applied bias and on the d o p i n g profile ( w h i c h are a - p r i o n k n o w n ) b u t also on the concentration o f electrons and holes t h r o u g h Poisson's equation. T h u s nonlinear phenomena occur. T h e collisions involve several mechanisms. F i r s t there are interactions between particles and the device which play the role of a t h e r m a l b a t h . These interactions are collisions w i t h i m p u r i t i e s and phonons. Phonons are n o t h i n g b u t representations as quasi-particles o f v i b r a t i o n s of the crystal. These collisions are p r e d o m i n a n t on the other mechanisms. They tend to thermalize the particles at the fixed t e m p e r a t u r e o f the device w i t h a vanishing velocity mean-value. T h e second i n i m p o r t a n c e phenomena is the generation-recombination process. I t occurs i f an electron goes from the valence band t o the c o n d u c t i o n band (generation of a pair electron-hole) or conversely i f i t goes from the conduction band t o the valence band ( r e c o m b i n a t i o n o f a pair electron-hole). T h e energy necessary t o this t r a n s i t i o n is given or taken by a phonon via a collision. F i n a l l y there are b i n a r y colisions which are modelled exactly as i n gas dynamics. T h i s last mechanism is often neglected i n semiconductors theory compared t o the previous ones. I t becomes significant o n l y for very high concentration o f particles. Moreover the m a t h e m a t i c a l analysis o f these collisions processes lead t o the same k i n d o f technics and difficulties as i n gas dynamics. Therefore i n the remainder o f this paper we w i l l not deal w i t h b i n a r y collisions. We only refer t o [7, 14, 37], There are three levels of m o d e l l i n g which take i n t o account all these physical phenomena. T h e most accurate is the q u a n t u m one where the particles are represented by wave functions s o l v i n g Schrodinger equations. T h e H a m i l t o n i a n incorporates potentials due t o the semiconductor l a t t i c e , C o u l o m b interactions, the applied bias, particles-phonons interactions, and so on ... A l t h o u g h such models begin to be used for analysing w i t h numerical s i m u l a t i o n s small p a r t of devices where q u a n t u m effects are i m p o r t a n t [9, 38, 55, 66], up to now i t is impossible t o m o d e l a complete device at t h i s level. T h e coursest models are based on d r i f t diffusion equations which are equations of parabolic t y p e solved by the concentration of particles. I t is c e r t a i n l y the most used ( a n d usefull) equations to s i m u l a t e real devices. We refer for the physical background of these models t o [57, 6 1 , 62], I n t h i s field, the m a t h e m a t i c a l and numerical analysis is almost complete, see [23, 28, 34, 32, 58, 59]. B u t even i f the drift-diffusion equations give very good results for components whose t y p i c a l length scale is o f order o f a few micrometers, these models are no more v a l i d for s u b m i c r o n devices, [56]. Therefore more sophisticated models are studied. T h e y are based on e l e c t r o - h y d r o d y n a m i c equations [or energy balanced equations) which are o b t a i n e d f r o m drift-diffusion equations by a d d i n g balanced equations for the flux a n d the energy o f particles. I n the last few years, numerical investigations o f these models have increased very m u c h , see [60] for instance. B u t only few m a t h e m a t i c a l results are available due to the h y p e r b o l i c i t y o f these nonlinear system of equations. L e t us only m e n t i o n [12, 18, 50, 69]. B u t one of the m a i n p r o b l e m concerning electro-
143
h y d r o d y n a m i c m o d e l s is t h e i r j u s t i f i c a t i o n . Indeed non physical effects occur when s o l v i n g these equations as the cooling o f particles for instance. Moreover these equations need fitted coefficients w h i c h depend s t r o n g l y o f the p a r t i c u l a r device which you simulate. Between the t w o previous levels o f m o d e l l i n g , there is the k i n e t i c one. T h e d y n a m i c of particles is described by the e v o l u t i o n of d i s t r i b u t i o n functions, f (t,x,k) for electrons, f (t,x,k) for holes, ( „ for negative charges, for positive charges), w h i c h depend on the t i m e , ( > 0, on the p o s i t i o n , x £ SI, Q being an open set o f R representing the device geometry and on the wave vector k. T h i s wave vector belongs t o a torus B o f R w h i c h is defined as follows. L e t a y ) , o r j j , o ^ r ) be a basis of R T h e n the c r y s t a l l a t t i c e is defined by n
p
p
3
3
3
£ -
+n
)j
( 2
2
3
T h e d u a l basis vectors « W , a( >, a' ' a and the d u a l l a t t i c e L
+ a, j \
2
2
3
£ 2Z}
(1.2)
are d e t e r m i n e d by the e q u a t i o n
m
( 0
j,, j ,j
3) 3
a< >-2*t)( ,
1,2,3
£,m=
m
(1.3)
( ' r e c i p r o c a l l a t t i c e ' ) reads
T h e basic p e r i o d cell o f the l a t t i c e L is denoted by 3 C .:-{^( <-j, |0
i
l
1
!
(1.5)
3
I n physics b o o k s ( [ 5 , 53, 5 4 ] ) , the B r i l l o u i n zone B is usally the W i g n e r - S e i t z cell of the d u a l l a t t i c e . B u t a l l the physical q u a n t i t i e s have the p e r i o d i c i t y o f L
w.r.t.
it. T h e n because o f m a t h e m a t i c a l convenience we prefer t o define B as ; 3
B := K / £ *
(1.6)
T h e n the semiclassical B o l t z m a n n e q u a t i o n o f semiconductors reads !/„((,!,*)
+ v {k)
•V,/„(i,x,ifc) + | V J S M
n
Qn(M(t,z,k)-r
o
n„(f ,f )(t,x,k), n
P
• V f (t,x,k) k
=
n
o, i e n , * e B ,
(1.7)
for electrons and s i m i l a r l y ^f (t,x,k) P
+ v (k).V f (i,x,k)-^V U(t,x)-V f (t,x,k) fl
I
p
c
t
Qp(/ )(i.i,'t)-l-/i ,(/ ,,/ )(i,i,fc), P
J
f
n
=
p
O O , x£Sl,
keB,
(1.8)
for holes. I n the above equations q is the elementary charge, A is the reduced Planck constant. T h e p o t e n t i a l U solves Poisson's e q u a t i o n - A U(t, t
x) =
- n(t, x) + pit,
x))
(1-9)
144
where f r is the p e r m i t i v i t y of the semiconductor, C is the ( k n o w n ) d o p p i n g profile. T h e concentrations o f electrons, n , and holes, p, are given by n(t,x) = ~ (
/„(«,«,*)«,
^*.*> = i
/
&&*t*)
rffc
(1-10)
F i n a l l y the collisions operators are integral operators w . r . t k w h i c h model collisions w i t h phonons and i m p u r i t i e s and generation r e c o m b i n a t i o n p r o cesses respectively. T h e y are given by
QnAa)
=
I * » , ( * . *0
- 9)M .
- *(i-
n r
fiK,)
<"*'.
( U l )
JB
Rn[g,h)=
f yfk,k')((l-g){l-h')M M -gh')dk\ n
(1.12)
p
JB
f y,k',k)((l-g')(l-h)M^M -g'h)dk'.
Rp(h,g)=
(1.13)
p
JB
I n the previous expressions we have used the convention t h a t the functions w i t h a ' are taken at k' and w i t h o u t a ' are taken at k. T h e m a x w e l l i a n functions M are given by n
M„,(*) - K
BJ)
**p f - ^ r )
p
(1-14)
where Jf ,|> are constants o f n o r m a l i z a t i o n and is the B o l t z m a n n constant, 6 the (constant) t e m p e r a t u r e of the device. T h e kernels rr„ , 7 satisfy n
p
0„,„
7 EC"(flx5)-,
r r , , 7 > 0, n
p
= a- , {k\k). n p
(1.15) (1.16)
They are determined by q u a n t u m scattering theory. I t is the purpose o f t h i s paper t o give a survey of m a t h e m a t i c a l results for the system o f equations (1.7), (1.8), (1.9). I n Section 2, we focus on the j u s t i f i c a t i o n of B o l t z m a n n equations from q u a n t u m physics. I n this field there are more open problems t h a n m a t h e m a t i c a l theorems. We give few results and a ( n o n exhaustive) list o f unsolved problems. I n Section 3, the classical question of existence and uniqueness of solutions is studied. We also give fundamental properties of collisions operators. T h e n some of the m a i n a p p r o x i m a t i o n s used by ingeniors and physicists are discussed. F i n a l l y Section 4 is devoted to the fluid a p p r o x i m a t i o n of kinetic models. Some rigorous derivations of drift-diffusion equations are given. Some attemps to o b t a i n electro-hydrodynamic models are presented.
2. F r o m q u a n t u m t o k i n e t i c m o d e l s W h e n conduction electrons move i n a s o l i d , then q u a n t u m effects o f the ions located at the crystal l a t t i c e points have t o be taken i n t o account i n the equations of m o t i o n . O n a fully q u a n t u m mechanical level o f description t h i s is done by
145
i n c o r p o r a t i n g a l a t t i c e - p e r i o d i c p o t e n t i a l V (generated by the l a t t i c e ions) i n the (effective o n e - p a r t i c l e ) H a m i l t o n - o p e r a t o r for a c o n d u c t i o n electron
// = - — X
+ f,
(2.1)
Here m denotes the mass o f the electron and ft the Planck constant. T h e electron wave f u n c t i o n # then satisfies the I V P for the Schrodinger e q u a t i o n 3
ihjp, = Bj>,
x e IR ,t
> 0
(2.2)
w i t h the q u a n t u m p o s i t i o n density
N o t e t h a t i n t h i s m o d e l no exterior ( n o n - p e r i o d i c ) field influences the m o t i o n of the considered p a r t i c l e a n d we also do n o t take i n t o account the C o u l o m b i n t e r a c t i o n a m o n g electrons neither interactions w i t h phonons a n d / o r i m p u r i t i e s of the l a t t i c e . Usually, the i n i t i a l state 0 / is n o t k n o w n exactly a n d , thus, corresponding s t a t i s t i c a l m i x t u r e s (so called m i x e d states) w i t h given o c c u p a t i o n p r o b a b i l i t i e s for the set o f possible states have t o be considered. I t is well k n o w n t h a t the H a m i l t o n operator (2.1) w i t h the l a t t i c e periodic p o t e n t i a l V induces a direct s u m d e c o m p o s i t i o n o f the space o f states L (St ) corresponding t o the eigenspaces o f the F l o q u e t - eigenvalues o f H (see e.g. [53]). These eigenvalues {Em}me j v , called energy b a n d s ' i n solid state physics, are periodic functions o f the wave-vector it defined i n the B r i l l o u i n zone B o f the crystal l a t t i c e . O n a semi-classical level o f d e s c r i p t i o n , the Schrodinger e q u a t i o n is usually replaced by the semiclassical L i o u v i i l e e q u a t i o n for the phase space ( i.e. position-wave vector space) density / = f(x,k,t). W h e n no exterior field and no collisions are present and w h e n the electron is k n o w n t o move i n the n - t h b a n d (i.e. the states of the s t a t i s t i c a l m i x t u r e belong t o the n - t h F l o q u e t eigenspace) then the semiclassical L i o u v i l l e e q u a t i o n reads 2
3
1
with v (fc) = jV E (k) n
t
(2.5)
n
subject t o an i n i t i a l c o n d i t i o n
/(< = 0) = //, zeiR , 3
fceS.
(2.6)
In the physical l i t e r a t u r e the equations o f m o t i o n x = v (k), n
hk
=0,
(27)
(2.8)
146
which correspond t o the semiclassical L i o u v i l l e equation (2.4) are usually derived by t r a c k i n g the m o t i o n of wavepackets of the Schrodinger e q u a t i o n (2.2). T h i s s t a t i o n a r y phase m e t h o d does, however, not lead to a rigorous j u s t i f i c a t i o n of the semiclassical L i o u v i l l e equation and o f the semiclassical m o m e n t s . A rigorous d e r i v a t i o n of the semiclassical t r a n s p o r t equation (2.4), (2.6) was given by P. G e r a r d i n [19]. His very elegant approach is based on m i c r o l o c a l analysis of pseudodifferential operators. For a b o u n d e d sequence i n I? he constructs " t h e semiclassical measure" which describes the oscillations of the sequence. He proves t h a t the measure associated t o the sequence of solutions o f (2.2) satisfies equations s i m i l a r t o (2.4), (2.6). I n fact, i t can be shown (cf. [24]) t h a t the semiclassical measure is n o t h i n g b u t the l i m i t o f the W i g n e r t r a n s f o r m o f the density m a t r i x corresponding to (2.2). T h i s approach does, however, not p r o v i d e exactly the equations (2.4), (2.6) and need asumptions o n the i n i t i a l wave-functions which are not very natural. I n [30] a different approach based e n t i r e l y o n kinetic equations (cp. [24] and [29] for the v a c u u m case) is proposed. Using the above mentioned eigenspace decompos i t i o n o f the space of states, the I V P for the Schrodinger equation is r e f o r m u l a t e d as a denumerable system o f W i g n e r - t y p e equations. T h e basis for t h i s r e f o r m u l a t i o n lies i n the a p p r o p r i a t e definition o f a W i g n e r - t y p e function for each band. These Wignerseries are defined i n analogy (i.e. using Fourierseries instead o f Fouriertransf o r m ) t o the non-crystal 'whole space case' (which is presented e.g. i n [63], [64] ) and have s i m i l a r properties as the semiclassical d i s t r i b u t i o n functions (solutions of the semiclassical L i o u v i l l e equations ) . I n p a r t i c u l a r they allow the calculation o f the macroscopic densities i n analogy t o the semiclassical k- space m o m e n t s (1.10). T h e semiclassical L i o u v i l l e equation (2.4) (2.6) is then obtained by i n t r o d u c i n g an a p p r o p r i a t e scaling (analogously t o the one used i n [19]), which assumes t h a t the period of the p o t e n t i a l V is ' o f order h' (after a p p r o p r i a t e scaling) and by carrying o u t the l i m i t h —> 0. T h e convergence o f the q u a n t u m p o s i t i o n - , current- and momentum-densities can then be concluded from the convergence properties of the Wignerseries. We r e m a r k t h a t t h i s approach (just as the one o f P. G e r a r d ) is not l i m i t e d t o a one-band a p p r o x i m a t i o n . I n i t i a l wave-functions which belong t o the direct s u m of a r b i t a r y many eigenspaces are admissible. However, for the sake of s i m p l i c i t y , we present here the result only for one band. Let us now go deeper i n details T h e crystal lattice L , its basic period cell C-i. the reciprocal l a t t i c e L and the torus B are s t i l l defined by (1-2), ( 1 4 ) , (1.5), (1-6). For the f o l l o w i n g let V — V(x) be a real-valued p o t e n t i a l o n R w i t h the properties 3
3
(Al)
V£L™(R ),
V is L-
For a S (0, o ] , o 0
0
periodic, i.e. V(x + u) = V(x)
2
which we w i l l regard b o t h on L (CL) 1
3
R
Vu £ L .
> 0 fixed, we define the H a m i l t o n i a n
»*;=
from N
a.e.
—2"A
i
t
+t(J) 2
3
and o n L ( i R )
(2.9) O b v i o u s l y , H° is o b t a i n e d
by the rescaling o f the position variable x —t J , where a is the scaled
147
P l a n c k constant. For k € B we define t h e operator H'(k) as H' w i t h t h e p e r i o d i c i t y conditions : *(* + ft) = e'>
,
3
i €
fff ,
(2.10)
i
^ ( * + M ) = «''"' |^(a ), * ei^,/*,€£,<=l,2,8 (2.11) OZ( OX l I t is well k n o w n [53] t h a t each H'(k) has a complete set o f eigenfunctions ip — V (x,k),m e W , ( o r t h o n o r m e d i n L (C }) w i t h eigenvalues Ei(fc) < E (k) < E (k) < -•• < E _ i { i ) < E (k) < ••• (counted w i t h m u l t i p l i c i t i e s ) . A s a consequence o f t h e m i n - m a x f o r m u l a , for every fixed m g N the f u n c t i o n E — E (k) is lipschitz o n B, see [19]. T h e set {E (k)\k^B}CR (2.12) !
2
m
L
3
m
2
m
m
m
m
l
1
is called t h e m - t h (energy) band o f f / and the eigenfunction * is called t h e m — th B l o c h - f u n c t i o n . O b v i o u s l y , the set { * ( . , k) } is o r t h o n o r m e d and t o t a l in L\C ). m
m
L
T h e n t h e c r u c i a l p o i n t is t h a t we can use the previous spectral decomposition o f the o p e r a t o r s H {k) t o o b t a i n a B l o c h decomposition o f the operator H, see [53], T h e o r e m X I I I . 9 8 , a n d consequently o f the operators H" by rescaling i —> ¥ . T h i s is a consequence o f t h e fact t h a t any f u n c t i o n defined o n R can be decomposed as k-quasiperiodic functions. Indeed let us defined t h e following spaces l
3
L \ = {u€Ll,(M
3
x S ) Hi
(
i i ( i
T
^ ^ e S (
I
= {u e Ll.s.t.Vue
, i )
. t . / o r ^ i ) ,
a
(2.13)
L\)
(2.14)
provided w i t h the norms 2
N I ° . * = (i5T /
1
WUM dxdkfl\
H u t l L ^ d h l l ^ + IIVull^) '
2
(2.15)
P r o p o s i t i o n 2 . 1 The following map $ = iP(x)~v.
is an isomorphism
2
3
from L (R )
v
= {x k)^iP v
l
= u(x,k)=
^ ^ ( i + ^ e - ^ "
3
onto L \ and from H'(R ) 1 = ii>{x) = ~
f /
\B\
JB
onto Hi wkose
u(x,k)dk
(2.16)
inverse
(2.17)
T h i s p r o p o s i t i o n is j u s t a consequence o f Parseval's f o r m u l a . W e now set :=c<-H (^,jt) m
3
, i € R ,k€B.
(2.18)
148
T h e scaling argument mentioned above a n d Proposition 2.1 i m p l i e s t h a t t h e subspace SS
2
:= | y « r ( f c ) * S ( i , / t } < i t
3
treL (fl)|
|
(2.19)
3
of L (R ) is i n v a r i a n t under the action o f H" Indeed i t is isomorph t o the space V£ {o~(k)^l%(i,k)dk | rr £ L ( f l ) } whose functions are eigenvectors o f the operators H (k). is called t h e n - t h band space. O b v i o u s l y 5 ° a n d S%, are o r t h o g o n a l for m , ^ m since the spaces V£ a n d V£ are o r t h o g o n a l . T h e action o f the H a m i l t o n i a n i n the subspaces is described i n : 2
a
l
2
t
a
L e m m a 2.1 Lei ip £ S ° . Then H ip =
3
t
£ S° and £4,0,^(1,+ ^ )
ujftere f n ( / j ) are the Founercoefficients
(2.20)
of E (k) n
We now consider t h e Schrodinger equations
ftljjrtf
-
— W t + V t y t .
< / £ ( * , ( = 0) = uf(t),
x € & , t > Q z e R
3
(2.22) (2.23)
for i 6 I V , where we prepare the i n i t i a l d a t a w° as follows : (A2)
/ uffiPitf*
=
Viiyii
e W,
wf£
& 2
3
T h e sequence w f o f i n i t i a l d a t a is o r t h o n o r m e d i n L (R ) a n d therefore the solutions ip"(.,i) r e m a i n o r t h o n o r m e d for a l l times / > 0. Moreover ip£(.,i) £ S° for all / > 0 follows f r o m L e m m a 2 . 1 . W e also conclude t h a t the 1VP for ip" can be w r i t t e n as 3
= £ft,(u)0?(* + afi,t),
I e JR ,(>0
a
= 0) = ^ , ( i ) , r e JR
3
(2.24)
(2.25)
For the definition o f t h e m i x e d state densities we prescribe a sequence o f o dependent o c c u p a t i o n probabilities AJ* o f the sequence o f states wf We shall use t h e f o l l o w i n g assumptions (cp [29]) (A3)
A? > 0
We
W,
.
0
independent o f a.
149
T h e t o t a l charge density is defined b y DO
n
"(z.*):=EA?|tf[>,0r
(2.26)
W e set u p t h e density m a t r i x
z°(r,
*,i) = £
3
V ^ V , <Wf ( s , * ) .
r, s £ H , ( > 0
(2.27)
and define t h e " Wignerserie" w" by t h e Fourier serie : a
w (x,k,t)
a
:= £
z (x +
* e
, A € B.
T h e i n i t i a l W i g n e r f u n c t i o n wf(x, k) is defined by replacing tpf(.,t) wave f u n c t i o n s wf (.) i n (2.27) , i.e. i u f = t u ° ( t - 0 ) .
(2.28)
by the i n i t i a l
I t is t h e it - m o m e n t s w h i c h give Wignerseries a physical m e a n i n g . F r o m the definition (2.28) a n d f r o m t h e Fourier inversion f o r m u l a we o b t a i n the zeroth order k - moment
±j °( w
X t k
,t)dk
= "( ,t). n
(2.29)
x
B S i m i l a r l y t h e flux a n d t h e energy density can be c o m p u t e d f r o m m o m e n t s o f ui, see [30], W e focus n o w o n properties o f Wignerseries. For the f o l l o w i n g analysis we define t h e space o f test-functions o n R% x B :
U<=L ( i n analogy t o t h e analysis o f t h e whole space case i n [24] ) . i t is an easy exercise t o show t h a t B is a separable Banachalgebra. We equip 6 w i t h the n o r m IMI : = l « l £ l M . . / 0 l l l - < « S )
a n d we easily o b t a i n L e m m a 2 . 2 Let ( A l ) - ( A 3 ) hold.
IK(0llo-
<
Then
£ A ?
<
D
Vt>0.
1-1
A s o m e w h a t better b o u n d , i.e. an L
2
-estimate, o n the Wignerseries can be
o b t a i n e d b y also assuming (A4)
X
2
^ H%i( i)
^
D
i
" h e r e D is independent o f a.
T h e n as i n [29] for t h e whole space case we have
150
L e m m a 2.3 Let
( A l ) - ( A 4 ) hold.
Then
IKWIIl^KB)
<
K
(2.30)
I t is well k n o w n t h a t the 'full space' Wigner t r a n s f o r m o f an a r b i t r a r y positive definite density m a t r i x is not non-negative everywhere. However, an a p p r o p r i a t e averaging of the W i g n e r f u n c t i o n over sufficently large phase space regions smoothes out those oscillations which are due t o the uncertainty p r i n c i p l e and gives a nonnegative function (see [64], [63], [24], [29]). We have the series-analogue of this so called H u s i m i - t r a n s f o r m a t i o n .
L e m m a 2.4
Set +
F"(|);=£e^*l** '**,
(2TCT)S
and define the Bvsimi
• function
(2.31)
2a
by Q
w% : = ( u ) * Then l e g = wf](x,k,t}
k€B
is non-negative
t
F")
*, G"
(2.33)
almost everywhere
on R
3
x B x (0,oo).
T h e most i m p o r t a n t consequence of L e m m a 2.4 lies i n the fact t h a t weak l i m i t s of Wignerseries are non-negative : L e m m a 2.5
Let fj,f
be accumulation
points of wj
weak r - weak and, resp., L ° ° ( ( 0 , oo); B')— weak on R? x B,
fi>0 m the sense of
/ > 0
»
and, resp., w" in the B~ — topologies.
3
on R
Then
x B x (O.oo),
(2.34)
measures.
We now derive an evolution equation for w" :
L e m m a 2.6
at
The Wignerserie
w" solves the initial value
rri
problem:
a 3
for x € R , w°{x,k.t
= 0) - « £ ( » , - * ) . ,
3
x € R,
k e B
k e B, t > 0 (2.36)
151
T h e p r o o f is a s i m p l e c o m p u t a t i o n using the definitions ( 2 . 2 7 ) , ( 2 . 2 8 ) , the Schrodinger e q u a t i o n ( 2 . 2 2 ) , (2.23) and the representation ( 2 . 2 0 ) , (2.21) o f the H a m i l t o n operator a c t i n g on SS. N o w let us f o r m a l l y derive the semi-classical l i m i t a —• 0 o f the W i g n e r e q u a t i o n ( 2 . 3 5 ) . We o b t a i n for the l i m i t /
w h i c h gives the free-streaming semiclassical Liouville-equations because the Fourier coefficients o f V £ ( i ) are n
i£ (u)u n
In order t o r i g o u r o u s l y o b t a i n t h i s result, we have to use some r e g u l a r i t y result on the energy b a n d E . I t is a well k n o w n p r o p e r t y o f these energy bands E„ t h a t there exists a closed set F C B o f measure zero, such t h a t E is an a n a l y t i c f u n c t i o n i n B — F. We refer t o [67] for details. Using t h i s and L e m m a 2.2 we prove i n [30] : n
n
T h e o r e m 2 . 1 Let ( A l ) , ( A 2 ) , ( A 3 ) hold and let a € (0, oro] be a sequence with limit zero.
Tken there ezist subsequences
of { i u ° } , { u ' / } (denoted by tke same
suck that W
J
^ i
u , < * ^ / > 0 The limits f = ffx, k,t)
f, n
>o
B'
weak
*,
(2.37)
L™((0,cc);B*)weafe«,VmeJV
(2.38)
in D ' ( ^ x (B - F) x [ 0 , c o ) ) of ihe
are solutions ^f
in
+ V E(k)V,f
= t),
t
(2.40)
satisfy (for the considered
„"^ ---LJ f(.,k,.)dk n
IVP's (2.39)
/(( = 0 ) = A , Also, the densities
symbol)
subsequence):
c o
0
3
-
mL ((0,co);C (ffe ) )weafc .,
(2.41)
B
N o t e t h a t the s o l u t i o n o f ( 2 . 3 9 ) , (2.40) reads /(*,***)«//(»-V*E(*)i,ft);
* e K
3
,kSB-F,
t> 3
Hence i t is u n i q u e l y d e t e r m i n e d except on the negligeable set St
0. x F.
(2.42) However,
we r e m a r k t h a t t a k i n g o u t the zero- Lebesgue-measure-set F m a y have i m p o r t a n c e since the measures //(as,.) m a y be s u p p o r t e d i n F.
N o assertion is made on the
e v o l u t i o n o f t h i s p a r t of the i n i t i a l measure / / . A stronger result can be proven i f the a s s u m p t i o n ( A 4 ) on the o c c u p a t i o n p r o b a b i l i t i e s is added. T h e n , thanks to L e m m a 2.3, the l i m i t i n g Wigner-measure is an !
i - f u n c t i o n a n d , thus, absolutely continous w i t h respect t o the Lebesgue measure. T a k i n g o u t the set F then is o f no i m p o r t a n c e a n y m o r e . We o b t a i n
152
T h e o r e m 2 . 2 Let the assumptions (Al) (A4) sequence with limit 0. Then there exist subsequences same symbol) such that f, w°
2^! /
in
hold and let a £ (0, do] he a of {w"}, (/) (denoted by the
a
in
Z , ( J ? x B) weakly
m
2
L ((0,ca);L (F?
(2.43)
x B)) weak . 3
(2.44) 3
The limits fi and f are nonnegative a.e on IR . x B and, resp. , R x B x ( 0 , 0 0 ) . The function f is the unique solutions in D'iR . x B x [0, oo)) of the IVP (2.39) ( 2 . 4 0 ) . Also, the concentration satisfies 3
n"
—
n : = - L / f(k)dk
M
!
in L ((0,co);L (fl^))
weak *
(2.45]
B T h e previous analysis shows t h a t there is a b i g difference between the v a c u u m case as i t studied i n [24, 29], and the crystal case. Hence the d e r i v a t i o n o f the L i o u v i l l e equation is s t r a i g h t f o r w a r d for electrons m o v i n g i n v a c u u m and i t is possible t o take i n t o account C o u l o m b interactions. O n the contrary the Vlasov e q u a t i o n w h i c h i n adimensionnal variables reads ^f (t, ,k) n
1
+ u (k)-V:f (t,x,k) n
+ V U(t,x)V f„(t,z,k)
n
I
k
=Q
has no rigorous j u s t i f i c a t i o n for electrons m o v i n g i n a crystal even i f the exterior p o t e n t i a l U is assumed t o be k n o w n and s m o o t h . T h e H a m i l t o n i a n corresponding to this equation is
ff° .=
~ A V(-) + U(z) I a and the m a i n difficulty is t h a t the Floquet-eigenspaces V° are no more i n v a r i a n t . Let us m e n t i o n t h a t a d e r i v a t i o n of the semiclassical Vlasov e q u a t i o n has been o b t a i n e d in [11], b u t the s t a r t i n g p o i n t was a phenome no logical q u a n t u m m o d e l which has s t i l l t o be justified, see [2, 10]. I
+
Other difficulties has t o be overcome t o rigorously derive models w i t h collisions terms, as i n ( 1 . 7 ) . A n a t e m p t i n t h i s d i r e c t i o n is due to F . Nier. I n [39], the t r a n s p o r t o f electrons i n vaccuum is studied i n presence o f a p o t e n t i a l barrier created for instance by an i m p u r i t y . Even i f the i n i t i a l energy of electrons are less t h a n the p o t e n t i a l barrier, some of t h e m are t r a n s m i t t e d due to t u n e l l i n g effects. I n t h i s s i t u a t i o n , i t is interesting to analyze the semiclassical l i m i t . F . Nier proves i n [39] t h a t the d i s t r i b u t i o n o f electrons solves a L i o u v i l l e equation w i t h a collision t e r m localized at the p o t e n t i a l barrier i n the l i m i t fi —• 0. T h i s is the first m a t h e m a t i c a l j u s t i f i c a t i o n of w h a t is named the golden rule i n solid states physics books. However it remains a lot o f difficulties i n order to rigorously j u s t i f y (1-7). T h e first step w o u l d be t o consider a density o f i m p u r i t i e s instead of one i m p u r i t y i n order to delocalized the collision t e r m . T h e second one w o u l d t o be t o transpose t h i s v a c u u m analysis to the crystal case.
3. B a s i c p r o p e r t i e s o f B o l t z m a n n e q u a t i o n s o f
semiconductors
153
For the sake o f s i m p l i c i t y , i n the following we w i l l consider only t r a n s p o r t equations for electrons We p o i n t o u t t h a t adding equations for holes and generationr e c o m b i n a t i o n t e r m s d o n o t provide any s u p p l e m e n t a r y difficulties i n the m a t h e m a t i c a l analysis. A l l the results presented i n t h i s Section are available for the whole system ( 1 . 7 ) , ( 1 . 8 ) , ( 1 . 9 ) ( w i t h slight changes). We refer t o [43, 48] for details. We first focus on properties o f collision operators defined by (1.11). As i n gas d y n a m i c s , c f [7], the d e t e r m i n a t i o n o f e q u i l i b r i u m d i s t r i b u t i o n functions, i .e. o f the nullspace o f the collision operator, is closely related to entropies inequalities. We have P r o p e r t y 3 . 1 [43} For any non decreasing function bution function f s.t.
\ € C ( S t ) and for any
distri-
we get -
f
<3)xC<)
dk=
JB
{ o(i-
f)(\-f')M M' (h-h') n
(x{h)-x(ti))dk'>b
n
JB
with 1 -
f)M ' n
T h e p r o o f o f t h i s P r o p e r t y is j u s t a c o m p u t a t i o n using the non negativeness and the s y m e t r y of the cross section tr. T h a n k s to this P r o p e r t y we o b t a i n P r o p o s i t i o n 3 . 1 [0]
Assume
that the measure a satisfy <7>0
then the nullspace
of Q N{Q)={0
is determined
(3.1)
feC°(B),
< ? ( / ) = 0}
by
£
^ <
1
+
e x p (
'^)" '-°°'°°''-
T h e d i s t r i b u t i o n functions of the n u l l space of Q are so-called F e r m i - D i r a c d i s t r i b u t i o n s . T h e proof follows from P r o p e r t y 3 . 1 . Indeed i f a > 0 the e n t r o p y i n e q u a l i t y i m p l i e s t h a t for any f u n c t i o n / i n the nullspace the f u n c t i o n h is constant. Therefore / is a F e r m i - D i r a c d i s t r i b u t i o n . T h e above p r o p o s i t i o n leads to several remarks. F i r s t we p o i n t o u t t h a t the r e q u i r e m e n t / £ C°(B) is n o t necessary i f we assume for instance t h a t the t o t a l cross section A is bounded : \fk)
=
f o-(k,k')M (k')dk\ n
A£l°°(fl).
(3.2)
JB l
Indeed i n t h i s case, the collision operator is lipschitz i n L (B) t o the set o f measurable functions w i t h values i n [0, 1].
and can be p r o l o n g e d
154
Second the assumption (3.1) is very s t r o n g . I t w o u l d be enough to assume t h a t any couple (it, j t ' ) can be j o i n e d by a p a t h where is positive. For any k,k' £ B there exist k
k s.t. a(k, * i ) , ff(ti, k ),o-(k ,
t
p
2
k') > 0. (3.3)
n
T h i r d , the conclusion o f P r o p o s i t i o n 3.1 is sometimes false. For instance the scattering rate cr w h i c h is used for m o d e l l i n g electron-phonon interactions is the following pft
fe
fl*.
~E
n
+
M
™p(f^)
+
6(E'„-E -hu) p(-pi-)), n
(3.4)
eX
where Q is a s m o o t h s y m e t r i c positive function and hw a constant (the energy of phonons). I n this case M a j o r a n a , [26, 27], has proved t h a t other functions belong to the nullspace of Q. P r o p o s i t i o n 3.2 [27] Assume space of Q is determined by N(Q)={
Ihe cross section c is given by (3.4)
! l+p(£ (t))exp
+
. , [ffi)
n
peC(K ;[0,coj,
then the null-
pishw-peuodic}-
T h i s strange phenomena does n o t appear i n physics books and is s t r o n g l y related to the nature o f the interactions. Indeed the collision processes which correspond to (3.4) do n o t m i x e d the energy groups : ( H S ,
E (k) n
= £„ modutohu},
£„e[0,fiw).
(3.5)
T h e physical relevance of the previous result is questionable. Indeed t h i s result is not
stable by p e r t u r b a t i o n s of collision mechanisms.
interactions occur w i t h different energies Kui, n u
2
For instance i f two phonon
corresponding to the collision
operators Q\, Q2, i t is p r e t t y easy using P r o p e r t y 3.1 t o prove t h a t the nullspace oiQ-Qi+Q-2 N{Q)
is
= N(Q )nNlQ ) l
2
= {
— T J T ^ , l+p(£ (il)exp^
+
P € C(ffi ;[0,oo]),
n
p is hull and hiij^-periodic}. Therefore the nullspace is only spanned by F e r m i - D i r a c d i s t r i b u t i o n s i f f w i / t i l j is i r r a t i o n a l ! T h e d e t e r m i n a t i o n of e q u i l i b r i u m d i s t r i b u t i o n functions is also i m p o r t a n t concerning the diffusion a p p r o x i m a t i o n of the B o l t z m a n n equation. T h e results w i l l differ considerably depending on the conclusion of P r o p o s i t i o n 3.1 or of P r o p o s i t i o n 3.2. T h i s w i l l be discussed in the next Section. We focus now on the question of existence o f solutions. T h e first step is to study the Cauchy p r o b l e m on the whole space (51 — K ) . I t reads 3
j f {t,x,k) ( n
+
• V*f*®,
+ PlJ&»,
ffj
•
ft-*)
=
155
Q«(M(t,*,k),
O O , i e f l , keB,
(3.6)
w i t h n ( t , z ) a n d <2„ s t i l l g i v e n by ( 1 . 1 0 ) , ( 1 . 1 1 ) . These equations are completed by the i n i t i a l c o n d i t i o n A(t
= 0,x,fc) = /
o
( M )
(3.7)
We have T h e o r e m 3 . 1 # 5 / -4ssnme lo
On € W °(B), If the initial
distribution
function
l
h € W '°°(K lAen the problem (3.6),
3
(3.7)
( f l x B).
satisfies U
x B ) f l W \R?
xB),
0 < /o < 1 a.e.,
has a unique solution f in the space 1
I™( (0,T) ;W >™(K which
, 0 Q
n, € W
3
M
x 6)rW (.ffc
3
x B) )
sattsfies
0 < / < 1 a.e.,
3
/ e w ' ™n
T ) x 2R x B ) ) , /J e H
/ 2 , o o
((0,r) x
3
R ). 3
T h e p r o o f is based on c o n s t r u c t i n g a c o n t r a c t i v e m a p P i n C ° ( (0, T ) ; L ' ( J i x B ) ) (or e q u i v a l e n t l y considering a Cauchy sequence i n t h i s space). T h i s m a p is defined as follows 9 = P(f).
9 solves
i s + *.(*) - Vrf + f « ( i , *) • v 01
i 9
+ A(/) = /i(/) t> o, x €fi,fee B , ff
fi FF
(( = 0 , M ) - / o ( M )
e € fi, J t € B , ( 3 . 8 )
with
A(/)=
/
+ rM )dk',
n
n
p(f)=
JB
f
n
JB
T h e n i t is easy t o prove t h a t the m a p P let the set {/eI~((0,T)x K
3
x B), 0 < / <
l,||/||L-((o,T);i'(*'xfl))
i n v a r i a n t (for a convenient choice o f the constant K). N e x t d i f f e r e n t i a t i n g (3.8) w . r . t . x and k and using classical l o g a r i t h m estimates on the second derivatives o f U (cf [65]), we prove t h a t a set •(ll/llL-l(0.T-);lV'.'OlVi.~(iR3 S)] < K
K]
156
is also i n v a r i a n t . I t follows f r o m these estimates t h a t the m a p P is locally i n t i m e contractive. L e t us p o i n t o u t t h a t for this p r o b l e m we do not have the classical difficulty of b o u n d i n g m o m e n t s o f / w . r . t . it as i t appears i n the m a t h e m a t i c a l analysis o f Vlasov-Poisson problems. Indeed the fc-space is bounded c o n t r a r y to the classical velocity space. T h i s explains w h y we do not have t o use the t r i c k y technics o f [25, 41]. We now discuss some extensions of t h i s result. T h e first one is to get r i d o f the a s s u m p t i o n o f r e g u l a r i t y o f a„ w h i c h is obviously not satisfied for the electronphonon cross section (3.4). I t seems not to be a great difficulty. Indeed i n [43] the regularity o f c is only needed t o prove properties of the t y p e n
< c ( i + ||v»/iit-). Such an estimate is also true for u = o~ph (3-4), as i t can be verified by tedious computations. T h e second question is w h a t happens when the i n i t i a l d i s t r i b u t i o n f u n c t i o n is only supposed t o satisfy the n a t u r a l bounds n
3
0 < /o < 1,
f €L\R xB). Q
T h e n considering a regularized sequence w h i c h converges to the i n i t i a l d a t a and using results of T h e o r e m 3 . 1 , u n d o u b t e d l y provide weak solutions for the Cauchy p r o b l e m . T h e way t o control nonlinear terms is given by averaging lemmas, [13, 20]. B u t i n t h i s case the question o f uniqueness is an open p r o b l e m (as for the VlasovPoisson system). We p o i n t out t h a t averaging lemmas can be used o n l y i f the cross section r r is s m o o t h (at least belongs t o some If space). B u t for the cross section given by (3.4), the collision operator do n o t any more average w . r . t . energies. I n t h i s case there is no p r o o f of existence o f weak solutions or o f the weak s t a b i l i t y of sequences of classical solutions. n
T h e s i t u a t i o n is the same considering t i m e dependent b o u n d a r y value p r o b l e m First let us r e m a r k t h a t i n realistic devices the b o u n d a r y conditions for the p o t e n t i a l are of m i x e d t y p e : D i r c h l e t conditions on O h m i c contacts, N e u m a n n conditions on i n s u l a t i n g boundaries. I t leads t o a loss o f r e g u l a r i t y for the p o t e n t i a l . T h e n the characteristics of the equation (3.6) m a y n o t to be uniquely defined (even i n the weak sense of [15]). Therefore uniqueness results seem not to be possible t o o b t a i n . O n the c o n t r a r y weak solutions can be constructed [42] as for Vlasov-Poisson o r V l a s o v - M a x w e l l systems [ 1 , 4, 22], I t is also possible t o prove existence o f s t a t i o n a r y weak solutions for b o u n d a r y value problems. T h e uniqueness is doubtefull even for strong solutions and some counterexamples are given i n [47]. Technics to prove existence has first been developped for the V l a s o v - M a x w e l l system, cf [47], I t consist i n using Schauder's fixed p o i n t T h e o r e m for a m a p on electrostatic potentials. T h e p r o b l e m reads " . ( * ) • 7x/» + { V I / { ( , I ) I
- A(/(aO = - ( C ( r ) - »(*)), r e
V*/„ =Q (/„)(z,it), n
x 6 fi.
«(*) = A 4 IT
i 6 S ! , H B ,
/ JB
M- ) x
fc
*•
(3.9)
( ) 310
157
c o m p l e t e d w i t h b o u n d a r y c o n d i t i o n s as for instance /„(*,
*) =
€ B , s.t. u „ ( * ) • i/(ar) < 0
(3.11)
where v is the o u t w a r d n o r m a l to i i , u(x)
- uo(x),
z e an.
(3.12) 3
T h e n we define a m a p 7" as follows. A p o t e n t i a l U - U(x),U for a fixed a > 0 we first solve the nonlinear e q u a t i o n
£ C ( Q ) being given,
<*/„ + v„(k) .v»/„ + | v f / ( , i ) v / =g„(/ )(*,t),
l e a s e e , (3.13)
r
1
i
n
B
c o m p l e t e d w i t h b o u n d a r y c o n d i t i o n s (3.11). For the p r o b l e m (3.11), (3.13), existence a n d uniqueness o f solutions follow f r o m a m o n o t o n y p r o p e r t y o f collision operators. We define the sign f u n c t i o n sg by = - 1 for ( < 0,
sg(t)
= 1 for ( > 0,
sg(t)
so{0) = 0.
W e have P r o p o s i t i o n 3.3 [46], Let f and g be continuous
f (Q (f) -<3n(fl)) n
JB
function
from B into [0,1],
tken
*9U-9)dk<0.
O f course such a p r o p e r t y can be used for measurable f u n c t i o n using a regularized f u n c t i o n sg. We refer t o [40] for details. T h e n T(U) is defined by solving (3.10), (3.12) and by r e g u l a r i z i n g the result i n order t o o b t a i n a C f u n c t i o n . T h e r e g u l a r i z i n g m a p is p a r a m e t r i z e d by a and tends to i d e n t i t y when a goes t o zero. 2
T h e key e s t i m a t e is o b t a i n e d by considering upper solutions o f the B o l t z m a n n e q u a t i o n (3.13). Indeed we have
for a convenient constant u depending o n l y on the d a t a rf\tio- T h i s estimate s t i l l depend on the u n k n o w n U. B u t i f we define Un as the s o l u t i o n o f (3.10), (3.12) w i t h n = 0, t h e n the m a x i m u m p r i n c i p l e i m p l i e s t h a t T(U) < UQ. Therefore the convex set S - { U € / f ' ( f i ) , U < Co} is i n v a r i a n t for T. B u t i f U lies i n S, we o b t a i n e d a u n i f o r m e s t i m a t e by replacing U w i t h U i n ( 3 . 1 4 ) . I t follows t h a t n is u n i f o r m l y b o u n d e d w h i c h is enough t o o b t a i n e d a compactness p r o p e r t y for T i n the space / f ' ( Q ) . T h e c o n t i n u i t y o f T follows f r o m a weak s t a b i l i t y o f the s o l u t i o n o f ( 3 . 9 ) . T h e c o n t r o l o f the nonlinear terms o f is s t i l l o b t a i n e d by averaging lemmas o f [13]. I t r e m a i n s t o pass t o the l i m i t a —> 0 t o o b t a i n 0
0
2
T h e o r e m 3 . 2 [40} Let a G L (B x B),let $ be bounded by a Fermi-Dirac distribution and let tlo £ H ^ (dCl), then there is at least one weak solution of the problem (3-9), (3.10), (3.11), (3.12). 1
2
158
We discuss now various a p p r o x i m a t i o n s w h i c h are often used at the kinetic level. One o f these is called the non degeneracy assumption. I t consists i n neglecting f compared t o 1 i n the expression of the collision operator. T h u s i t becomes linear and reads L(f)=
( JB
MJW»f - M „ / )
df
(3.15)
For such m o d e l we loose the o p r i o n estimate 0 < / < 1 b u t on the other hand, we do not have any more t o use averaging lemmas t o c o n t r o l nonlinear terms of the type / / ' • Hence, for instance T h e o r e m 3.2 becomes available for non s m o o t h cross section a, cf [49], We have only to assume (3.2) which i n practice is always satisfied. T h i s non degeneracy assumption can be m a t h e m a t i c a l y justified by i n t r o d u c i n g the scaling / = af ,a — 0, see [ I T ] , new
A n other c o m m o n l y used a p p r o x i m a t i o n is the parabolic band a p p r o x i m a t i o n . T h e n B is replaced by R and E„(k), v (k) by \hk\ /2m-„, hk/m^. m is the so called effective mass. Let us remark t h a t we recover the classical relation ship E = m' \v \ /2. T h i s a p p r o x i m a t i o n lead to m a t h e m a t i c a l difficulties, for instance a b o u n d for m o m e n t s o f / w . r . t . k is no more free. I n this context, using weighted Sobolev spaces as i n [65], Mustieles has o b t a i n e d existence and uniqueness of classical solutions for the Cauchy p r o b l e m i n 2 dimensions, [35], and existence o f weak solutions i n dimension 3, [36]. There is no d o u b t t h a t i t w o u l d be possible t o extend the result of the dimension 2 i n dimension 3 using the technics of [25, 41], b u t up t o now i t has n o t been done. For stationary problems, the control on m o m e n t s o f / are given by the upper solutions (3.14) and the result o f T h e o r e m 3.2 is s t i l l v a l i d , see [40, 47, 49], We p o i n t o u t t h a t up t o now the parabolic b a n d a p p r o x i m a t i o n has no m a t h e m a t i c a l j u s t i f i c a t i o n . A hint w o u l d be t o introduce the scaling k = ok ,a —> 0. 3
2
n
n
2
n
n
n
ntm
4. F r o m k i n e t i c t o f l u i d
models
One of the most used models of t r a n s p o r t processes i n semiconductors are based on so-called drift-diffusion equations. These equations govern the e v o l u t i o n o f the concentration o f particles. T h e y are of parabolic t y p e . I n this Section we give rigorous derivations of these models s t a r t i n g f r o m the B o l t z m a n n equation. A p a r t from its interest i n itself, t h i s derivation allow t o precise the d o m a i n of v a l i d i t y o f d r i f t diffusion models, t o give a way t o c o m p u t e fluid coefficients from kinetic datas and t o analyse b o u n d a r y layers. S t a r t i n g from equation (3.6), (3.10) we introduce the f o l l o w i n g scaling
'new
=
,
Xnevj — f~ >
Jo
nevJ
= ——.
A>o
V
«*. - 9t„,;E„^
k
with Vo
no -
E
=
(4.1)
E
V=
M
MO)
=
0
"/to
-O . n
r
(4.3)
159
7 is i n t e r p r e t e d as the r e l a x a t i o n t i m e . I t ' s a measurement of the mean t i m e of free flights of electrons between collisions. Vn is a characteristic t h e r m i c velocity and t h u s f — VrjT is the mean free p a t h . A diffusion a p p r o x i m a t i o n o f (3.6) is o b t a i n e d by assuming the scaled mean free p a t h vanishes or = l/L —• 0. Let us also m e n t i o n t h a t i n ( 4 . 2 ) we have assumed t h a t the p o t e n t i a l energy qU and the mean k i n e t i c energy E„ have the same order o f m a g n i t u d e as the t h e r m i c energy t f l S . T h i s correspond t o an a s s u m p t i o n o f l o w electric field. A t the end o f t h i s Section we w i l l i n t r o d u c e an o t h e r scaling w h i c h tries to take i n t o account h i g h fields effects. Now we choose the t i m e scale s.t. T — a r, a reference c o n c e n t r a t i o n a
2
a
C
and K
B
0
3
= (4TT C )''
2
=
?
2
t o finally o b t a i n
0
c
0
~ } °
+ «< M * ) - V - /
0
+ V (7
Q
r
U" = 'C(x)-n<-[t,x))*~
V
n°= X
\\
t
/ ") = «„(/»)
f JB
f°dk.
(4.4)
(4.5)
T h e p r o b l e m is now t o d e t e r m i n e the l i m i t o f ( / " , U") when a goes t o zero. F o r m a l l y we o b t a i n f* —* / ' , w i t h Q (f°) — 0- Therefore the d e t e r m i n a t i o n o f the nullspace o f Q„ is i m p o r t a n t . As we already m e n t i o n e d i n Section 3 the result differ i f we are i n the s i t u a t i o n o f P r o p o s i t i o n 3.1 or P r o p o s i t i o n 3.2. We first assume the cross section is s m o o t h and p o s i t i v e n
1,eo
rr„ £ W (B
x B),
( I n fact i t w o u l d be enough t o impose c r
r r ( M ' ) > 0.
(4.6)
n
2
m
G L ).
I n t h i s case the nullspace o f Q„ is
spanned by F e r m i - D i r a c d i s t r i b u t i o n s denoted by
T h e n we have T h e o r e m 4 . 1 [21] Let (f, 3.1 with the Cauchy data f(t f
a
U)
be the solution
of ( 4 . 4 ) , (4-5) as given by
= 0) —
-> F(p(t,x),k),
of a.
!
tn L ( ( 0 , T ) x K
Theorem
Then up to a subsequence 3
x
B),
where p and U solve ~ r V ( ^ ( ( , a ) ) - div{U(p(t,
U =
x))V (p r
- U)(t, x)) = 0,
(C-N(p))*-rl-
(4.7)
160
The function
N is increasing
and given by N(U)=
I
F(u,k)dk.
JB
The matrix ft(ji) is positive definite for u
and IT( — 0 0 ) — O(oo) = 0.
£ ( - 0 0 , 0 0 )
We sketch a p r o o f o f t h i s theorem refering for details to [21]. T h e first step is t o o b t a i n a coercivity estimate. S t a r t i n g from Property 3 . 1 , we o b t a i n P r o p o s i t i o n 4 . 1 [SI] Lei x he the decreasing function then under
the asumption
measurable function
(4-6),
defined by x ( / i ) — 1 / ( 1 + h),
there is a constant
K
f from B into [ 0 , 1 ] , there exists
which satisfies
: for
a Fermi-Dirac
any
distribution
u E [ — 0 0 . c o ] suck thai
F(ft,k)
j
11/ - Pith -)IMfl) < K
Qn(I)x{h)
dk,
with h
=
{ l
J
f ) M n
T h e n m u l t i p l y i n g (4.4) by \ ( A ) and i n t e g r a t i n g w . r . t . t, x, k we prove t h a t f(i,x,k)=
.
)
(4.8) 3
and r " are u n i f o r m l y bounded i n L ( ( 0 , T ) x M
is i n the nullspace o f Q , a
a
Q (f )
a
= aH» .r )
n
x B ).
Since
i t follows
n
L(n",.)
+ ar°(i,x,k), 2
where F(u",.) F
F(p."(t, x),k)
2
+
a
<x Q(r°,r ).
is t h e linearized operator around F(n",.),
and q is the q u a d r a t i c remainder.
Therefore we have a
}
v\ "
+
(
U
n
(
t
)
V
•
l
/
Q
+
V
l
C
f
° '
V
t
/
"
1
L
-
a
r
r
(" ' ") + <*?( V)-
(4.9)
Now using averaging lemmas, we prove t h a t m o m e n t s w . r . t . k o f the f a m i l y { / " , or > 0 ) are precompact i n L
2
B u t i n view o f (4.8) so are the m o m e n t s o f
F{\i°,.).
Because t h e dependence w . r . t . k is d e t e r m i n e d , i t suffices to conclude t h a t is precompact i n L
2
F(fi",.)
Therefore, using once more (4.8), up to a subsequence we have
a
a
F(u (t,x),k)^F(a(t,x),k), 2
s t r o n g l y i n L ( (0,7") x M a
r (t,x,k)
-
f (t,z,k)^
F(u(t,z),k),
x B ),
3
(0,7*) x R
2
r(t,x,k),
3
weakly i n L {
x B ).
T h e n we can pass t o the l i m i t for the concentration and for the p o t e n t i a l to o b t a i n a
n (t,z)
— N(u(t,z)),
W(t,z)
-* U(t,x),
w i t h U = (G'•-JV)
*
pj.
I n t h e same way (4.9) becomes L(li,r)
= v
n
V F ( ^ , . ) + V L7
= v F(u,.)( n
r
V F(u,.)
r
1 - Flu,,)
k
) V ( r r - V). T
(4.10)
161
O n the other h a n d , i n t e g r a t i n g (4,4) w . r . t . it a n d passing t o the l i m i t provides the conservation law ftffbi)
+ div( j
vv n
dk) = 0.
(4.11)
I n order t o end the proof, i t r e m a i n s t o solve (4.10), We have P r o p o s i t i o n 4 . 2 [21] The nullspace of L ( / i , . ) is spanned by F(p,.)( 1 - F(p,.) ). The equation L(p,h) — g has a solution iff f g dk — 0 and the solution is unique tf we impose f hdk = 0. B
g
T h i s p r o p o s i t i o n is j u s t a consequence of Fredholm's a l t e r n a t i v e applied t o a s y m e t r i z a t i o n o f L{p,.).
A s a consequence there exists a vector h(p,.)
L{p. Mji, -)) - v F(p,.)(
1 - F(jt,.)
n
r = h(»,.)
such t h a t
) a n d (4.10) is solved by
• V ( ^ - U) + vF(p,.)(
1 - F(p,.)
r
),
where i> — v(t, x) is s t i l l u n k n o w n . B u t i n view o f (4.11), we have o n l y t o c o m p u t e J^,x)
j
=
v„r dk
w h i c h does n o t depend on v. T h e n we o b t a i n (4,7) w i t h H(/i) = -
/
v (k)®h{p,k)dk.
(4.12)
n
JB
A m o n o t o n y p r o p e r t y o f the operators Hp,.) allows t o conclude t h a t the m a t r i x n ( / j ) are positive definite. T h i s ends the sketch o f p r o o f o f T h e o r e m 4 . 1 . T h e characterization (4.12) o f the diffusion coefficient was n o t k n o w n by physicists. However i t is n o t of a great p r a c t i c a l use. B u t using the parabolic b a n d a p p r o x i m a t i o n a n d a s i m p l e m o d e l for collisions, tr (k,k') = \fr ( r e l a x a t i o n t i m e m o d e l ) , m o r e e x p l i c i t f o r m u l a are o b t a i n e d (see [51]), namely n
N(p)
= 4*V2F (p), m
n{u)
= «v5?expt» ( l + \
^
^
]
I
d
T h e functions V, are the F e r m i integrals defined by
These f o r m u l a has been used i n [17] t o m o d e l h i g h l y doped devices. Let us m e n t i o n t h a t for this m o d e l the m a t h e m a t i c a l analysis o f the diffusion a p p r o x i m a t i o n is c o m p l i c a t e d by the fact t h a t the it-space is no m o r e bounded, see [51]. A n order o f convergence o f the sequence f is o b t a i n e d i n [45] for a linearized version o f ( 4 . 4 ) . I f we assume t h a t the p o t e n t i a l is given and s m o o t h and i f we use the p a r a b o l i c b a n d a p p r o x i m a t i o n and a n o n degenaracy a s u m p t i o n (see the end o f Section 3), we o b t a i n [45] f°
-n(t,x)M {k) n
- 0(a),
in L ' ( ( 0 , T ) X i ?
3
3
x JR )
162
w i t h the concentration n solving (
- V n ) ) = 0.
(4.13)
T h e last equation is the adimensionalized version o f the basic d r i f t diffusion equat i o n for semiconductors (see [62] for instance). T h e analysis includes boundary c o n d i t i o n s and i n the l i m i t a —• 0 the concentration satisfies D i r i c h l e t c o n d i t i o n s . B u t as i n other fields o f physics, t h i s result can be i m p r o v e d by correcting the D i r i c h l e t c o n d i t i o n by a t e r m of order a p r o p o r t i o n a l t o the flux. By this way, a b o u n d a r y layer is taken i n t o account. I t is proved i n [52, 68] t h a t i f n " solves (4.13) w i t h t h i s correction o f b o u n d a r y datas we have J
a
3/i
f"dk-n
= 0(a ),
i n I?.
T h i s result seems t o be i m p o r t a n t for applications. Indeed n u m e r i c a l s i m u l a t i o n s of b o t h b o u n d a r y conditions have shown that the current is well c o m p u t e d using the flux correction b u t is different from measurements o f several order o f magnitudes i f D i r i c h l e t conditions are used, see [52, 68]. T h e diffusion a p p r o x i m a t i o n leads to different results i f the collision cross sect i o n is given by (3.4). I n t h i s case the dependence w . r . t . energies remains i n the fluid m o d e l . I t is due t o the fact t h a t in t h i s case the collisions do not m i x e d energy groups (3.5). I n the linear case a complete analysis is provided i n [33] and a f o r m a l d e r i v a t i o n is performed i n [31] i n the non linear case. T h e physical relevance of t h i s models has t o be confirmed by comparison o f n u m e r i c a l experiments w i t h measurements. A l l these fluids models are obtained under the a s u m p t i o n t h a t the electric field effects are negligible compared w i t h collision effects. B u t i t is a well k n o w n fact t h a t this a s u m p t i o n does n o t hold for s u b m i c r o n components. O n the other hand B o l t z m a n n equations r e m a i n costly to be n u m e r i c a l l y solved. Therefore new fluid models have been investigated i n the last few years which are intended to take i n t o account h i g h field effects. These models are often refered as balance energy, hyd r o d y n a m i c or extended d r i f t diffusion models. I n the physical l i t t e r a t u r e (see for instance [3, 6]) they are obtained by closing the m o m e n t s equations derived f r o m the B o l t z m a n n equation w i t h a phenomenological assumption on the d i s t r i b u t i o n f u n c t i o n . T h i s one is always assumed to be isotropic around its mean mean velocity. T h e n Euler equations are obtained w i t h source terms m o d e l l i n g r e l a x a t i o n processes and electric field effects. I n the i n t r o d u c t i o n we have already refered to the corresponding l i t t e r a t u r e . Let us m e n t i o n t h a t an other d i r e c t i o n of i n v e s t i g a t i o n of t r a n s p o r t processes i n s u b m i c r o n components is given by the analysis of injection conditions. T h i s leads t o so-called C h i l d - L a n g m u i r asymptotics and we refer to [8] for t h i s field. Now we present some attemps to o b t a i n rigorously such models f r o m the B o l t z m a n n equation. We introduce a new scaling o f the B o l t z m a n n e q u a t i o n which leads to the equation
+ k -V / ° x
+ V , t / -V*jf" = £(/")•
(4.14)
163 Here t h e p o t e n t i a l U is assumed to be s m o o t h a n d k n o w n , the parabolic b a n d a p p r o x i m a t i o n and the non degeneracy a s u m p t i o n are used. T h e operator L is given by ( 3 . 1 5 ) . I n order t o determine the l i m i t of f as a —• 0, we have first t o solve the p r o b l e m o f existence o f homogeneous s t a t i o n a r y solutions, i.e. for A € St find G such t h a t 3
3
A • V t G ( t ) = L(G)(k),
keR ,
I
G(k)
dk = 1.
(4.15)
W e have T h e o r e m 4 . 2 [48] Assume the cross section the total cross section satisfies
*{*)=/
MM')M (*') n
then if K > I there is no solution
o-„ is smooth and positive and thai
dk' = 0(\kD,
to (4.15)
for\k\^oo,
and if K < 1 there is a unigrie
solution.
T h e p r o o f is based on spectral theory and on i n t e g r a b i l i t y c o n d i t i o n s . T h i s k i n d of problems are related t o r u n a w a y phenomena, they are also s t u d i e d i n [16]. T h e m e a n i n g o f T h e o r e m 4.15 is t h a t collisions can balance the d r i f t t e r m i f they are s t r o n g enough for h i g h it ( « < 1). O f course, i f they are not there is no hope to o b t a i n the l i m i t o f f s o l v i n g (4.14). Therefore, i n the f o l l o w i n g we assume (4.6) (K = 0 ) . W e note G(A, k) the s o l u t i o n o f (4.15). We have T h e o r e m 4.3 [48] Let f° be the solution of the Cauchy problem (4 14) uiith a smooth initial data d> — na(x) G( V f / { 0 , r ) , k). Then if U and o are smooth vie have r
n
o
||/ -n((,x)G(V c/(i,i),fc)|U- ( .r,;L.|K=xK3,) r
(
<
0
Ka
where n solves — n + r f i u f n l V x f / ) n ) = 0, at The drift term is determined
n(t -0)
=
n. 0
by a(A) =
[ kG{A,k) Jft*
dk.
T h e p r o o f relies on an H i l b e r t expansion of f i n power of a a n d on tedious estimates. T h e final result is j u s t O h m ' s law and i t is n o t very usefull i n the context o f semiconductors. B u t i n [48] a second order a p p r o x i m a t i o n is f o r m a l l y derived. A m o d i f i e d d r i f t diffusion m o d e l whose coefficients depend on the electric field is o b t a i n e d . T h i s m o d e l has now t o be n u m e r i c a l l y e x p e r i m e n t e d . A l w a y s s t a r t i n g f r o m (4.14), i n [44] a hierarchy o f systems of first order P D E ' s are derived. T h e y give f o r m a l l y more and more accurate models for c o m p u t i n g m o m e n t s of the d i s t r i b u t i o n f u n c t i o n . T h e result is s u r p r i s i n g . Euler t y p e equations are o b t a i n e d b u t for instance the pressure tensor is not d i a g o n a l a n d depends on the electric field. T h u s , u p t o now, no clear j u s t i f i c a t i o n o f h y d r o d y n a m i c models exists.
164
References [1] N . Ben A b d a l l a h . Weak solutions of the i n i t i a l - b o u n d a r y value p r o b l e m for the Vlasov-Poisson system. P r e p r i n t . [2] A . A r n o l d , P. Degond, P . A . M a r k o w i c h , and H . Steinruck. T h e Wigner-Poisson p r o b l e m i n a c r y s t a l . Appl. Math. Leii., 2 : 1 8 7 - 1 9 1 , 1989. [3] E . M . Azoff. Generalized energy m o m e n t equation i n the r e l a x a t i o n t i m e app r o x i m a t i o n . Solid Stat. Elect., 30:913-917, 1987. [4] M . Bezart, Probleme aux l i m i t e s pour le systeme de V l a s o v - M a x w e l l . P r e p r i n t . [5] J.S. Blakemore. Semiconductor New
Statistics.
Pergamon press, O x f o r d - L o n d o n -
Y o r k - P a r i s , 1962.
[6] A . Bringer and G . Schbn. Extended m o m e n t equations for electron t r a n s p o r t in s e m i c o n d u c t i n g s u b m i c r o n structures. J. Appl. Phys., 61:2445-2455, 1988. [7] C. Cercignani. The Boltzmann New
Equation and its Applications.
Springer-Verlag,
Y o r k - B e r l i n - H e i d e l b e r g , 1975.
[8] P. Degond. C h i l d L a n g m u i r a s y m p t o t i c s . In this book, 1994. [9] P. Degond, F . Guyot-Delaurens, F . J . Mustieles, and F . Nier. P a r t i c l e simulat i o n o f a b i d i m e n s i o n n a l electron t r a n s p o r t parallel to a h e t e r o j u n c t i o n interface. Compel, T o appear. [10] P, Degond and P . A . M a r k o w i c h . A q u a n t u m - t r a n s p o r t m o d e l for semiconductors : T h e Wigner-Poisson p r o b l e m on a bounded B r i o u l l i n zone. Math.
Meth.
Appl. Sci., 2 4 :697-710, 1990. [11] P. Degond and P . A . M a r k o w i c h . A m a t h e m a t i c a l analysis o f q u a n t u m t r a n s p o r t in three-dimensional crystals. Ann. Math. Pura et Appl., 1 6 0 :171—191, 1991. [12]
P. Degond and P . A . M a r k o w i t c h . O n a one d i m e n s i o n a l steady state m o d e l for semiconductors. Appl. Math. Letters, 3:25-29, 1989.
[13]
R.J. D i p e r n a and P . L . Lions. G l o b a l weak s o l u t i o n of V l a s o v - M a x w e l l systems. Com. on Pure and Appl. Math, X V I I :729-757, 1989.
[14]
R . J . D i p e r n a and P L . Lions. O n the Cauchy p r o b l e m for B o l t z m a n n equations : global existence and weak s t a b i l i t y . Annals
[15]
of Math., X I I I :321-366, 1989.
R . J . D i p e r n a and P L . Lions. O r d i n a r y differential equations, t r a n s p o r t theory and Sobolev spaces. Invent. Math, 9 8 :511-547, 1989.
[16] G . Frosali, C . V . M . Van Der Mee, and S.L. Paveri-Fontana.
C o n d i t i o n s for
runaway of p a r t i c l e swarms. J. Math. Phys., 30:1177-1186, 1989. [17]
F . Fuchs. P h D thesis, U n i v de Nice, 1994. I n p r e p a r a t i o n .
165
[18] l . M . G a m b a . Stationary solutions of a one-dimensional hydrodynamic model for semiconductors. Com. Partial Dtff. Eq., 17:553-577, 1992. [19] P. G e r a r d . Mesures semi-classiques et ondes de Bloch. Sem. Ecote nique, X V I :1-19, 1991.
Polyteck-
[20] F . Golse, P . L . Lions, B . Perthame, and ft. Sentis. Regularity of the moments of the solution of a transport equation. J. Funct, Anal., 88:110-125,
1988.
[21] F . Golse and F . Poupaud. Limite fluide dea equations de Boltzmann des semiconducteurs pour une statistique de Fermi-Dirac. / . on Asympt. Analysis, 6:135-160, 1992. [22] Y . G u o . G l o b a l weak solution of the Vlasov-Maxwell system with boundary conditions. Comm. Math. Phys. T o appear. [23] W . Jerome. Consistency of semiconductor modelling
an existence/stability
analysis for the stationary V a n Roesbroek system.
SIAM
J. Applt.
Math.,
4(45): 565-590, 1985. [24] P . L . Lions and T . Paul. Sur les mesures de Wigner. Revista Mat.
Iberoamen-
cana, 1993. T o appear. [25] P . L . Lions and B . Perthame. Propagation of moments and regularity for the 3-dimensionnal Vlasov-Poisson system. Invent. Math., 105:415-430, 1991. [26] A . Majorana.
Space homogeneous solutions of the Boltzmann equation de-
scribing electron-phonon interactions in semiconductors. Phys.,
20:261-279,
TVons. Th. and Stat.
1991.
[27] A . Majorana. Equilibrium solutions of the nonlinear Boltzmann equation for an electron gas in a semiconductor. Nnovo Cimenio, [28] P . A . Markowich. The Stationary
Semiconductor
1993. T o appear.
Device
Equations.
Springer,
1986. [29] P . A . Markowich and N . J . Mauser. T h e classical limit of a self-consistent quantum-Vlasov equation in 3-D. Math. Meth. Mod. Appl. Sci., 1993. [30] P . A . Markowich, N . J . Mauser, and F . Poupaud. A Wigner function approach to semiclassical limits : electrons in a periodic potential. J. Math. Phys.,
1994.
T o appear. [31] P . A . Markowitch, F . Poupaud, and C , Schmeiser. Diffusion approximation of non linear electron-phonon scattering mechanisms. T o be published. [32] P . A , Markowitch, C . A . Ringhofer, and C . Schmeiser.
Semiconductors
Equa-
tions. Springer, Wien-New York, 1989. [33] P . A . Markowitch and C . Schmeiser. Personal communication. T o be published. [34] S. Mock. Analysis
of Mathematical
Press, Dublin, 1983.
Models
of Semiconductor
Devices.
Boole
166
[35] F.J. Mustieles. G l o b a l existence of solutions for a system of nonlinear Boltzm a n n equations i n semiconductor physics. Revista
Mat. Iberoamencana,
6:43¬
59, 1990. [36] F.J. Mustieles. G l o b a l existence of weak solutions for a system o f nonlinear B o l t z m a n n equations i n semiconductor physics. Math. Metk. in the Appl. Set., 14:139-153, 1991. [37] F . N i c l o t . T h e t w o particles B o l t z m a n n collision operator i n a x i s y m e t r i c geo m e t r y . I n t e r n a l r e p o r t 164, C . M . A . Ec. Poly technique, Paris, 1987. [38] F . Nier. A s t a t i o n a r y Schrodinger-Poisson system arising from the m o d e l l i n g o f electronic devices. F o r u m Math., 2:489-510, 1990. [39] F, Nier. A s y m p t o t i c analysis o f a scaled W i g n e r equation and q u a n t u m scatt e r i n g . Transp. Theory Stat. Phys., 1993. T o appear. [40] A , N o u r i and F . Poupaud. S t a t i o n a r y solutions o f b o u n d a r y value problems for M a x w e l l B o l t z m a n n system m o d e l i n g degenerate semiconductors. P r e p r i n t 335, L a b o . J . A . Dieudonne, U n i v . de Nice, 1993. S u b m i t t e d to S I A M J. M a t h . Anal. [41] K . Pfaflelmoser.
G l o b a l classical solutions of the Vlasov-Poisson system i n
three dimensions for general i n i t i a l data. J. Dig. Eq., 95:281-303, 1992. [42] J . Pfau and F . Poupaud. T i m e dependent, b o u n d a r y value problems for the Boltzmann-Poisson system o f semiconductors. I n p r e p a r a t i o n . [43] F . Poupaud. O n a system of non linear B o l t z m a n n equations o f semiconductor physics. SIAM
J. on Appl. Math., 50:1593-1606, 1990.
[44] F. Poupaud. D e r i v a t i o n o f a h y d r o d y n a m i c systems hierarchy from the B o l t z m a n n equation. Appl. Math. Letters, 4:75-79, 1991[45] F . Poupaud. Diffusion a p p r o x i m a t i o n o f the linear B o l t z m a n n e q u a t i o n : analysis o f b o u n d a r y layers. Asympt. Anal., 4:293-317, 1991. [46] F . Poupaud. A half-space p r o b l e m for a nonlinear B o l t z m a n n equation arising in semiconductor statistics. Math. Meth. Appl. Sci., 14:121-137, 1991. [47] F . P o u p a u d . B o u n d a r y value problems for the s t a t i o n a r y V l a s o v - M a x w e l l syst e m . F o r u m Math., 4:499-527, 1992. [48] F . Poupaud. Runaway phenomena and fluid a p p r o x i m a t i o n under high fields in semiconductor kinetic theory. ZAMM, 72:359-372, 1992 [49] F . Poupaud. B o u n d a r y value problems i n semiconductors for the s t a t i o n a r y V l a s o v - M a x w e l l - B o l t z m a n n equations. IMA Volumes, 5 9 , 1994. T o appear. [50] F . P o u p a u d ,
M . Rascle, and J.P. V i l a .
G l o b a l solutions t o the i s o t h e r m a l
Euler-Poisson system w i t h a r b i t r a r y large data. J. of Dif. Eq. s u b m i t t e d .
167
[51] F . P o u p a u d a n d C. Schmeiser. Charge t r a n s p o r t i n semiconductors w i t h degeneracy effects. Math. MM. i n the Appl. Sci., 14:301-318, 1991. [52] F . P o u p a u d a n d A . Y a m n a h a k k i . C o n d i t i o n s aux l i m i t e s du second ordre pour les equations de derive diffusion des semiconducteurs. P r e p r i n t 330, L a b o . J . A . D i e u d o n n e , U n i v . de Nice, 1993. R a p p o r t c o n t r a t T h o m s o n . [53] M . Reed a n d B . S i m o n . Methods
of Modem
Mathematical
Physics
IV.
Aca-
demic Press, New Y o r k - S a n Francisco-London, 4 t h e d i t i o n , 1987. [54] L . R e g g i a n i , e d i t o r . Hot Electrons Transport in Semiconductors. Topics i n a p p l i e d Physics. S p r i n g e r - V e r l a g , Berlin-Heidelberg-New Y o r k - T o k y o , 1985. [55] L . F . Register, U . R a v a i o l i , and K . Hess. J. Appl. Phys., 69:7153, 1991. [56] L . R o d e .
In Semiconductors
and Semimetals,
volume 10.
A c a d e m i c Press,
New Y o r k , 1975. [57] W . Schockley.
Electrons
and Holes t n Semiconductors.
Van N o s t r a n d , New
Y o r k , 1950. [58] T . I . S e i d m a n a n d G . M . TYoianniello. T i m e dependent solutions o f a nonlinear system a r i s i n g i n semiconductor theory. Nonlinear
Anal.-TMA,
9:1137-1157,
1985. [59] S. Selberherr.
Analysis
and Simulation
of Semiconductor
Devices.
Springer-
V e r l a g , W i e n , 1984. [60] S Selberherr, H . S t i p p e l , and E . Strasser, editors. Simulation Devices
and Processes,
[61] R . A . S m i t h . Semiconductors. [62] S . M . Sze.
Physics
of
Semiconductor
v o l u m e 5. Springer-Verlag, W i e n - N e w Y o r k , 1993. C a m b r i d g e u n i v e r s i t y press, L o n d o n , 1979.
of Semiconductor
Devices.
W i l e y , New Y o r k , 2nd e d i t i o n ,
1981. [63] K . T a k a h a s h i . Prog.of
Theor.
D i s t r i b u t i o n functions i n classical and q u a n t u m
mechanics.
Phys. SuppL, 9 8 :109-156, 1989.
[64] V . I . T a t a r s k i i . T h e W i g n e r representation of q u a n t u m mechanics. Sov.
Phys.
Usb., 2 6 :311-327, 1983. [65] T . Ukai and S. Okabe. O n the classical s o l u t i o n In the large t i m e o f the t w o d i m e n s i o n a l Vlasov e q u a t i o n . Osaka J. of Math , 1 5 : 2 4 5 - 2 6 1 , 1978. [66] B . V i n t e r . S u b b a n d s a n d charge control i n a t w o - d i m e n s i o n a l electron gas field effect transistor. Appl.
Phys.
Let., 44:307, 1984.
[67] C . H . W i l c o x . T h e o r y o f B l o c h waves. J. d'Analyse
Math., 3 3 : 1 4 6 - 1 6 7 , 1978.
[68] A . Y a m n a h a k k i . Second order b o u n d a r y conditions for semiconductor d r i f t diffusion equations. Math. Meth. Mod. Appl. Sci., 1994. T o appear.
Bo Zhang. Convergence of the G o d u n o v scheme for a simplified one dimensional h y d r o d y n a m i c model for semiconductor devices. P r e p r i n t , D e p t . M a t h . Purdue U n i v . , 1992.
171
ON ZERO PRESSURE GAS
DYNAMICS
F. BOUCHUT
PMMS, CNRS, 3A, avenue de la Recherche Scieruifique 45071 Ortfans Cedei 2 France
A b s t r a c t . We investigate the one-dimensional degenerate hyperbolic system of gas dynamics with zero pressure. After a study of a priori estimates, define a notion of measure solution and solve the system for a few examples of initial data, and especially the Riemann problem. We present a numerical scheme which has all the a priori estimates of our problem. w
c
Contents 1. I n t r o d u c t i o n , M o t i v a t i o n s 2. A priori Estimates, Invariance, E n t r o p y C o n d i t i o n s
171 174
3. Measure Solutions, Examples
176
4. N u m e r i c a l A p p r o a c h
1
8
3
5. Conclusion
1
8
6
1. I n t r o d u c t i o n , M o t i v a t i o n s We consider the one-dimensional system of gas dynamics d,p + d u lP
2
d,pv.-rd:pu where p(t,x)
> 0 is the density, v(t,x)
= 0, + d p = G, x
(1.1)
£ R is the mean velocity, a n d p ( f , r ) > 0 is
the pressure. T h e equations are set in ]0, oo[, x JR*. T h e system has t o be completed
172
by i n i t i a l data, suitable entropy conditions and a. closure r e l a t i o n , usually taken i n the form p — p(p).
I n the present work we investigate the possibility to impose p = 6.
(1.2)
T h i s relation can be obtained by one of the following procedures (i) Low pressure.
We consider the system (1.1), p u t ep{p)
instead of p, and let
f — 0. (ii) C o l d plasma
We consider a solution / ( ( , r , u) of the B o l t z m a n n equation dj
where we assume that f
0
+ vdrf
=
Q(f,fi
lends to a Maxwellian w i t h zero temperature fe — Po(x)5(v -
U (J)).
P(t,z}=
fit.^.v)^,
0
Defining j
JR p(t,x)u{t,z)
= / Jut
vf(t,z,v)dv.
the formal l i m i t satisfies (1.1) and (1.2). ( i i i ) Evanescent viscosity. We let e — 0 in the system dip + d pu — eAp — 0, r
d,pv + d pv?
- cApv
z
- 0.
(1.3)
T h i s last approximation is the most, appropriate to state which properties should hold in the possible l i m i t £ —• 0. According to the well-known approach o f P. L a x [6], i t leads to the following entropy inequalities d,pS(u) for every convex function S
+ d uS(u)
< 0
lP
(1.4)
IR —• IR (see Section 2 for details).
Concerning
( i i ) , the reader is referred to P.L. Lions, B. Perthame and E. T a d m o r [7] For a corresponding kinetic formulation in the case where p =
We also indicate
another m o t i v a t i o n t o treat these equations. Some numerical methods for solving (1.1) use a s p l i t t i n g m e t h o d , and hence a part of the i t e r a t i o n concerns the case where p — 0 (see R. Baraille, G. b o u r d i n , F . Dubois and A Y . Le Roux [1]). We end this Section by st u d y i n g smooth solutions of our p r o b l e m dip + dipu = 0, d.pu + dtpv.
2
-0.
(1.5) (1.6)
173
We refer t o A . N o u r i [8] for a more general s t u d y of s m o o t h solutions i n several dimensions and when considering a coupling w i t h Poisson equation. Assume t h a t p(t,x)
and u ( i , x ) are C
1
solutions of (1.5),(1.6). M u l t i p l y i n g (1.5) by
u and s u b s t r a c t i n g i t t o (1.6), we get the Burgers equation for u (where p > 0 ) d,u+
uflfeu = 0.
(1.7)
Hence we easily solve our p r o b l e m by the following formulas
U
(f,z) = MtHt,z)),
(1-8)
* & * ) ^ * W f c * » p C M ) . dx
(1.9)
where !/>((,.) is the inverse of / d - M t i r j ,
X
=
We i m m e d i a t e l y see t h a t unless u
+ t<, (z) = y.
(1.10)
0
is nondecreasing, the C
0
1
solution w i l l not exist
after a finite t i m e . T h i s fact motivates our present work, t o look for nonsmooth solutions defined for all positive times. We close this Section w i t h an equivalence result w i t h the kinetic f o r m u l a t i o n when considering C ' solutions. P r o p o s i t i o n 1.1. Let T>
0 a n d SJ be an open set of St, p((,x),u(i,x) j(t,x,v)
l
= p(t,x)Hv-v(t,x))-
T h e n p a n d u solve (1.5) a n d (1.6) in )0,T[xn d,f
£ C ( ] 0 , T [ x f J ) , a n d define
+ vd f I
(1.11)
if and only if
= 0 i n ]0,T[xQ
x JR.
(1.12)
In ( 1 . 1 1 ) , the d i s t r i b u t i o n / £ C ( ] 0 , r [ , P ' ( f ! x St)) is defined by
{/(',).*>) =
Proof.
/ p ( < , x ) y H * , «•(*.*))<**. f e c , ( f i x B ) . 7ft
Assume t h a t (1.12) holds.
For any ^(t.x)
£ C™(]0,T[xn)
(i.i3)
and x ( " ) £
CfXffi), we have {S,dMt.x)\{v)
+ vdMt.x)x[v))
= 0,
or equivalently
// p(t, x) (d<
x)\ ("U,x)) / X
did* = 0.
174
Since u is locally bounded, we can choose successively \(v)
= 1 and
= v, and
get(1.5)-(1.6). Conversely, i f p and u solve (1.5)-( 1.6), then p(d,u + ud a)
— 0,
r
and for any \(v)
£ C ' ( J R ) , m u l t i p l y i n g by \ ' ( u )
u
By adding (1.5.) m u l t i p l i e d by xl ) d,px(u)
w
e
get
+ d pux(u) I
= 0.
Hence for any
JJ)o.r|»n
\
/ {f,d,
and we o b t a i n (1.12). Remark.
x + vdif®
x) = 0,
•
We easily deduce that for C
1
solutions defined in [ 0 , 7 " [ x K , p and pu
are uniquely determined by po and PQV-O-
2 . .4 p r i o r i E s t i m a t e s , I n v a r i a n c e , E n t r o p y C o n d i t i o n s In t h i s Section we e x h i b i t the properties t h a t a solution of (1.5)-(1.6) should enjoy. Since for smooth solutions, n solves Burgers equation (1-7), we o b t a i n formally the L™ s t a b i l i t y for u , and the T V D (total variation d i m i n i s h i n g ) p r o p e r t y We obtain also the Oleinik's E-condition which states that d u r
should be bounded
by above (see for example D . Hoff [5] or E Tadmor [10] for a precise statement) For p. i t is n a t u r a l to expect non-negativity, and since the t o t a l mass has to be conserved, p is n a t u r a l l y a non-negative measure. W i t h ( 1 8 ) and (1.9), i t is easy t o see that even for smooth i n i t i a l data, p can really become a singular measure. However, the evolution form of (1 5)-( 1.6) gives easily the fact that p and pu have t o be continuous in t i m e , w i t h values i n V.
We show i n Section 3 t h a t pu? is not
necessary continuous in t i m e . We also have three transformations t h a t keep the equations invariant, the time and space translations, and the change of reference frame.
I t means t h a t i f p, u are
solutions, then for any v E IR ><{s.y) - p(s,y s
+ sv),
"( >!/) = » ( > , 9 + *v) - v
(2.1)
175
are also solutions. Let us now consider the small viscosity system d,p + d pv.-eAp
= O
I
d,pu + d pu
2
(2.2)
l
- t-Apv. = 0.
z
T h e fact is t h a t this system posseses all the above a
(2.3)
priori
properties (except the
E - c o n d i l i o n which appears in a weaker f o r m ) , and is n a t u r a l l y consistent w i t h the e n t r o p y c o n d i t i o n ( 1 . 4 ) . T h i s a p p r o x i m a t i o n m e t h o d is well-known for conservation laws (see for example C M . Dafermos [ 3 ] ) . Assume t h a t p,u are s m o o t h solutions of (2 2)-(2.3), p being positive everywhere. We first recall the way t o o b t a i n the e n t r o p y conditions (see P. Lax [ 6 ] ) . M u l t i p l y i n g (2.2) by u and s u b s t r a c t i n g t o (2.3] we get p(d,v. + ud u)
- E{pd'i \i + 2(9 rJc5 ) = 0.
r
x
r
(2.4)
lU
W i t h t h i s f o r m u l a t i o n (2.2)-(2.4), i t is obvious t h a t this system is i n v a r i a n t by changing the reference frame. M u l t i p l y i n g (2.4) by S'(u) p(d,S(r>) + u&Sm)
+ 2&AS(«)) -
~ €&&$(*)
we o b t a i n 3
-r/-S"(u)|c\u| .
(2-5)
and a d d i n g t h i s to (2.2) m u l t i p l i e d by S ( u ) we finally get fypSiu)
+ StfittSW)
--sAfStv)
= -rpS"^)^
2
(2.6)
Hence whenever S is convex, we have d pS(u) t
+ d uS(»)
- sApS{v.)
lP
< 0.
(2.7)
T o get the estimates on u , we define u; - d v
(2.8)
r
and w r i t e (2.4) as 6\u +
- c ( a ^ t i + 2d vd x
x
\np) = 0.
(2.9)
D i f f e r e n t i a t i n g t h i s i d e n t i t y we get Q,u> + v? + ud w r
- edl,.u> - Icidtwdr
\np-Y ui&% \i\p) - 0.
(2.10)
Now m u l t i p l y i n g (2.10) by son(u') d \u>\ + to|««| + u & H - sdl \w\t
r
2c (dtWd:
\np-r\w\dl;
Inp) < 0,
(2.11)
176
or equivalenlly d,\w\ + d (u\w\) z
- ed* \w\ - 2ed (\w\d )n z
z
z
p) < 0.
(2.12)
T h i s last equation gives finally
which is the T V D property. T h e m a x i m u m principle clearly holds on it, thanks to (2.9). b u t we can also m u l t i p l y (2.10) by I , u
d,v>+ + wui
+ ud w
+
I
- edl w+
+
z
to get
> 0
— 2e [d >v d z
+
In p + u'+d]
z
z
In p) < 0
:
or d,w
+
+ i % $ w + ) -
2ed {w d
I n n ) < 0.
(2.14)
- 2ed f i u - d * Inp) < 0,
(2.15]
z
+
I
We similarly obtain d,w. h
e
"
C
e
+d (v.w-)-edl wr
z
j
z
r
d
r
iL^mL -
w £%
12161
which can be seen as a weak form of the E-condition. T h i s estimate implies t h a t the monotonicity of u is preserved.
3. M e a s u r e S o l u t i o n s , E x a m p l e s In this Section we give a precise definition o f a measure solution of our system. We prove the existence of such a solution for two t y p e of i n i t i a l data, a system o f particles and the Riemann problem For simplicity we only consider the case where r lies i n the whole real line and when the t o t a l mass is finite. We denote by M(R) on
the space o f hounded Borel measures
R.
Consider a mass d i s t r i b u t i o n p and a m o m e n t u m d i s t r i b u t i o n q, p€C{[Q,TlM{R).u:*),
p>0,
q € C ( [ 0 , T [ , M{R).w),
(3.1) (3.2)
such t h a t there exists a constant M > 0 such t h a t V(€[0,T[|g((..)|
(3.3)
in the sense of measures. By R a d o i i - N y k o d y m ' s T h e o r e m , for each ( there exists a mean velocity u{t, .) E L™(pll,.)),
\ti\ < M, such t h a t (3.4)
177
N o t i c e t h a t u ( ( , . ) is defined p(t,.)
a.e.. We require at least t h a t f
V S e C ( 2 R ) . ¥ ^ e C ( i R ) , t—* 5
tp(x)S(u(t,x))p(t,dz)
is measurable.
(3.5)
JR
Hence for any S £ C(R) OS(i*),0=/
we can define p S ( t i ) £ V'(\Q,T[x.R)
( « / p(t,!)SHi,!)>((,rf ),
by
(7 (]o,r[xfi).
(3.6)
t
2
Notice t h a t c o n d i t i o n (3.5) implies t h a t the above integral is well defined (the t m e a s u r a b i l i t y is o b t a i n e d by easy a p p r o x i m a t i o n of ip(t, x) by tensor p r o d u c t s ) . Definition 3.1. We say that {p,q) satisfying pressure gas dynamics
(3.1),(3.2),(3.3},(3.5)
is a measure solution of the zero
(ZP) if d,p + d pu r
= 0,
(3.7)
5
d, u
+ cW" = 0
P
where we use [fie definitions (3.4) and (3.6).
in 7 > ' ( ] 0 , T [ x i R ) ,
(3.8)
We say that it is an entropic
solution
if 8,pS{u)
+ d puS{u) z
< 0 for any convex S.
(3.9)
P r o p o s i t i o n 3.2. ( I n v a r i a n c e ) If (p, q) is a measure solution of (ZP), and v £ R, then (n,p) n(s,y)
= p(s,y
defined by
+ sti),
(3.10)
p(s, y) = q(s,y + sv) - vp(s,y
+ sv)
is aiso a measure s o l u t i o n of (ZP). If (p, q) is entropic,
(3-11)
then also is ( n , p ) .
T h i s result comes d i r e c t l y from the definition 3 . 1 . We have indeed, w i t h p = ntu, {d,nS(u>) for any 5 £
3.1.
+ d nu>S(w), v
- v) + d uS(u lP
- v), y{t,x
-
tv)}
C{R)
System o f particles
We now b u i l d a special solution of ( Z P ) m o d e l i n g a collision between t w o particles. Let m i , mi > 0, a
:
> 0. a j < 0 and define p(t,x)
q(t,x)
- mi&{x - a,t) + m 6(x
- miaiS(x
2
-
a i
t ) + m a 6{x 2
2
- a t), 2
- a t), 2
t < 0, f < 0.
(3.12) (3.13)
178
Let i n , , m
2
> 0, 0,1,0.3 £ IR, a n d define p(t,x) g(t,x)
- m\6(x - a\t) + rn' 6(x - a' t), 2
= m X * ( * -a\t)
t > 0,
2
+ m' a' 6(x - a' t), 2
2
(3.14)
t > 0,
2
(3.15)
We assume the continuity conditions m i + m j = m\ + m'
(3.16)
2l
m i d ] + 7 n a — m'ja'i + rn' a' . 3
2
2
(3.17)
2
I t is easy t o check t h a t the measurability condition (3.5] holds, a n d we have for any S € C ( IR) n P
c(„, - f ' " i S ( ) i ( i - 0 + tn S(< )*(i- ;0 ~ \ m\
1
l
a
i
2
l 2
i f i < 0, i f t > 0.
O
1
2
2
2
,_ 1
m J
Notice t h a t i t is generally discontinuous at ! = 0. P r o p o s i t i o n 3.3. The above defined functions (;>, q) are solutions of (ZP) in IR x iff. T h e e n t r o p y c o n d i t i o n (3.9) is satisfied if and only if the m a x i m u m principle holds (3.19)
P r o o f . Let 5 £ C(Ztf), and ip £ C ^ f K * K ) . We have (dtpS(u)
+
d puS(u),
= -{pS{n),dfP}
~ {p"S(u),
= —J
r
dt ^miS(a\)d,
r
a l) +
dt(^n[Sla\)d,
- j
dt \miaiSta,)$x^i.ait)+
- j
dt(^n\o.\S{<>\)(IM<-"\<)
2
2
lr
+ m:,S(a )d,ip(t,
a'
2
2
0
"i a S(a )d ?it,a t) 2
2
2
l:r
2
,
+
"iW S(a )dM>-o' l) 2
2
2
>
(ini5(Oil^(/,fflit) + m S{a )~ [t,a t) j 2
f 'Oo I - J
m S{a )d -
t
- j
= - J
-
d f)
2
V
A ,
^n' S[a' )-^t,« l) i
s
A
\
+ " • 5 ( ^ ) - p ( i , ^ ) J dt
l
s
frolS(a'i)+ m' S(a' ) - miS{ai)2
dt
2
2
a
m 5(a ]^(0.0). 2
2
179
hence
8tp$i4 + d vS[u)
= (mJS(a',) + m' S(
lP
2
) - m S(a )) r%.
0 l
2
(3.20)
2
Choosing S ( v ) = 1,0, we o b t a i n ( Z P ) by the c o n t i n u i t y conditions {3.16),(3.17). T h e e n t r o p y c o n d i t i o n can be w r i t t e n as
_ ™ L ^ m, + «i
( 2
0
< ) + - J ^ ( ' ra, + mj S
a
2
) < _ ^ l _ 5 * m , + m
(
a
5
, ) + — ^ — S(a ), mi + m 2
5 convex,
2
(3.21) Since the right-hand-side is less t h a n max S, i t is easy t o see (by choosing S very [
a
, 2
- a
2
a' - a — a + — a,, a, — o a, — a j 2
2
2
2
2
we get for any 5 convex
S K ) < ^ ^ S M Q[ — a
+
2
5
4 , < £ i ^ 5 ( di — a
|
a
2
)
^ ^ S Oj — ^ ^ S ( ai — o
+
2
(
Q
) ,
I
, ) ,
Q 2
m ' ^ a i ) + m' S(4) 2
• i
—
a
a\ — oij
2
\
Q]
—
a
ai — a j /
2
- mi5(ai) + m S(o ), 2
which ends the proof.
2
•
P r o p o s i t i o n 3.3 shows t h a t there are many entropic solutions which coincide for t <0.
Some examples are
(a) Collisionless s o l u t i o n . m[ — m i , m
2
— m , cri = a\,a' 2
— a-
2
2
(b) Fusion s o l u t i o n . a\ = a' = (rn,tn - f m a ) / ( m , + m ) . 3
2
2
2
T h e s o l u t i o n ( b ) is the only one such t h a t a\ — a' (in this case the choice of rn'i 2
and m u(t,a' l) 7
2
is i r r e l e v a n t ) . I f n , /
a' , say
< a' , then for i > 0, \t(t,a\t)
2
2
=
a[,
— a , u is an increasing function of x, although i t is a decreasing one 2
for t < 0. Hence the s o l u t i o n (b) is in some sense the most n a t u r a l w i t h respect t o the s m a l l viscosity approach o f Section 2.
I t is the only one which preserves
m o n o l o n i c i t y . I t is also the one which gives the smallest energy for ( > 0
J,
i , .(mm + ">202 ov.' = ( m , + m ) \ mi + m 2
2
N
2
180
3.2. T h e R i e m a n n p r o b l e m We consider the following i n i t i a l condition
p(0,x)
( pidx = i mo6(x) ( p dx
ifi<0, i f i - 0, i f i > 0,
r
where pi, p, ,m
0
(3.22)
> 0, are not all zero, and m u(0,r) = { u u c
r
i f x < 0, i f z = 0, ifr>0,
(3.23)
where u ; > w > u , u, > u . Wc do not consider the case where u e
r
r
is nondecreas-
0
ing, because in that case the solution is quite obvious. We have defined u instead o f ?
I t is of course equivalent, w i t h the convention that
ti is defined a.e. p. We define for ( > 0
I
Pidz
ifr
MDS(z-p(l})
i f r = p(f),
prdx
if I > p((),
(
Ti,
Z
p'(() u
where we set
if
(3.24)
r
i f x = p(i), if i > p(e). 1 '/
m(f) =
m\ + 2m t(pi(vi D
(m
D
u
- U ) + Pr{Uc - Ur)) + * V l / > r ( l - u ) e
:
r
+ ((piti, - p " r ) - m ( / ) ) / ( p i - p ) r
r
i f p, £
p
i f pi = p
r
(3.27)
P ( ' ) = { moV.c + tp(u?-u )/2 m + (p(uj - u ) t
Notice t h a t when pi = p
= p.
r
r
= p, we have m ( ( ) - mo + (p(ui - u ) , r
T h e functions m,p
,(3.26)
ri
2
0
a
(3 28)
£ C ™ ( [ 0 , c o [ ) , hence p and ti are well-defined, and w i t h the
obvious generalization of Definition 3.1 to solutions of Infinite mass, we have the P r o p o s i t i o n 3.4. The above defined ( p , u ) is an entropic solution o f (ZP).
181
R e m a r k . When m
= 0, we have
0
m(t) = l ^ ( u ,
- u ),
(3.29)
p(t) = , : y ^ L ± i &
r
and the solution is a S shock wave, although being initially absolutely continuous with respect to the Lebesgue measure. P r o o f . It is easy to check that m,p satisfy tW " Pr)F(t) + >»(t) = m+
t(p,U, - rUr),
(3.30)
P
2
(p,u, - pru )p(t)
+ m(f)p'(<) = m u + t(p,u} - p u ),
r
0
m(0) = m ,
t
(3.31)
r
p(0) = 0,
0
(3.32)
by using the relations Pl«l - Pr«r - v V l P r ( " l - u ) - ( y/pi - •Jp '){-Jp~IUI + ^/p^U ), r
(p|U, — PrU )
2
- plp (v,
r
T
r
(3.33)
r
2
- Ur) = (pi - Pr)(plU
2
2
- p U ),
(3.34)
T
and the fact that if mo > 0 then p'(0) - u . t
We have for any S
<=C(R) f p,S{u,)dx
tfx
p S ( u ) = i m.y)S(p\t)Mx
- p{t))
ifx = p(t),
{prSMdr
(3.35)
ifi>p(0,
which is continuous in time. For any
R),
(9 p5(u) + d r p u S f u ) ,
= -{ S(u),d,.p)
-
= -
p,S(u,)dMt,z)dx-
P
dt JO
-
/
-
/ Jo
{ uS(u),d^) P
f JO
J-oo dt
p S(u )d,
dt
r
,00
Pl
roo
dtm{t)p'{t)S(p'{t))dMUp{l))-
foe
I J
= - j
dt s(u,)
I-
-
dtp S(Ur)
f |
Pl
r
/ Jo
u,S(u,)dMi^)dx
/oo
dt / Jp(t)
prU S{ur)dM'-x)dx r
rpl'l
j
\
^(t.^dx
- ^(i,p(())p'(0 + t w « . p ( 0 ) I
^ ( . r j d r + ^(Lp(O)p'(t) - U
r P
(i, (())j P
j-CO j - jf d(m(()S(p'(t))-Mt,p(())] = j T p(f,p(0)((*>iS(tIj) - p S ( x ) ) p ' ( f ) - ( p , 5 ( u , ) - p u 5 ( r
-^™m(/)5(p'(())^M',p('ll]
r
U (
r
r
U r
) ) j dt
182
hence i f S e C ' f f t ) {d,pS{u) = j T f(t,p(t))j
(ip'S{u,)
t
-m S(u ) a
+
d v.S(u),-p) rP
- PrS(u ))p(t)
+ m(()S(p'(I))
r
- ( p , S ( u i ) - p u S ( u ) ) f ) dt.
c
i U
r
r
(3.36)
r
By (3.30) and (3.31), we o b t a i n zero when S(v)
= l,v,
so ( p , t i ) is a solution of
( Z P ) . T h e entropy condition now writes
VS C' convex
J-f
-J
< 0.
where (. . . ) comes from (3.36), or equivalently VI > 0,VS C
1
convex
mT0S(p'W> + ™l0SV(0>p'TO>(5(^^ Lemma
3.5.
m' and p' are monotonous functions of t. A c o m p u t a t i o n yields 8
!
1
m ( i ) p " ( t ) = tWfj [ (Pftlf - p u | + (pj - P r l u - 2n ( n, r
c
Pl
- pr",)),
(3.38)
and w i t h (3.30) the Lemma Is proved. Lemma
3.6.
I f pi + p
r
> 0 then '—«
Ifp,
= p
T
v ^ l + ,/Pr
= 0 then pf(t) = u .
(3-40)
c
C o r o l l a r y 3.7. Vt > 0, ifi > p'{t) > u . T
E n d o f t h e p r o o f o f P r o p o s i t i o n 3.4.
(3.41)
Let t > 0. Since (3.37) is an equality
when S is linear, we j u s t have t o prove (3.37) when S ( p ' ( f ) ) = 0 and S ' ( p ' ( t ) ) = 0. B u t in this case, we have S > 0. and the conclusion holds thanks t o C o r o l l a r y 3.7.
D
183
4. N u m e r i c a l A p p r o a c h i n this Section we b u i l d a numerical scheme which has the same a p r i o r i estimates as the small viscosity a p p r o x i m a t i o n studied i n Section 2. I t is obtained by the TV an s p o r t - C o l l apse m e t h o d o f Bremer [2]. We also refer t o B. Perthame [9) for the use o f t h i s m e t h o d for Euler equations. Let us denote po(z) f(t,z,
and u ( r ) the i n i t i a l data, and consider the t r a n s p o r t s o l u t i o n 0
v) o f
<3+v&/=e.
(4.1)
/ ( t = 0) = / * ( * ) % - u o f z ) ) ,
(4.2)
which is solved by / ( t . r . t . ) -Mz-iv,v).
(4.3)
T h e n we define
*) = / /(t,x,»)dv,
PTc(t,
Jn / Jm
QTCU.Z) =
vf(t,*,v)dv,
ire = PTCVTCT h a n k s to P r o p o s i t i o n 1.1., i f p
0
and u
(44)
are s m o o t h and ( is small enough, we j u s t
0
o b t a i n the exact s o l u t i o n . B u t in general, / will no more be of the form (1 11). However, by Jensen's i n e q u a l i t y we have for any convex S
PTCS(VTC)<
I S(v)f{t,x,v)dv. J«
(4.5)
I n t e g r a t i n g (4.1) against S ( v ) we find
d
f
t
S(v)fdv
JK
+ d
f
r
vS(v)/dv
= Q.
(4.6)
JP
I n t e g r a t i n g w i t h respect t o t we get
/ S{v)f(t,T,v)dv-p (*)S{v.o^))+o' Jp 0
if vS{v)f(s, ,v)dvds JJ]o,t[*n
r
X
= Q, (4.7)
and w i t h (4.5) we o b t a i n
PTc(t,z)S(t>Tc(t.x))
- pa(z)Siuoiz}}
+ d
z
[j vS(v)f (x JJ]0.l[xlR 0
- sv, v)dvds < 0, (4.8)
184
which is a discrete form of the entropy inequality. Notice t h a t (4.8) is an equality w
when S(v) = l , u , and by integration in the cell
r
I — 1 T—
/ .+i/3 /
1
f'i*i/i
PTc(At,x)dz-—
e
8
e t
with A i , =
At
/
p { )dx+— 0
( M + i / a - * f t - i / a ) = 0.(4-9)
I
r
/
/*•+>/* i r '+>/= At f>tiTc(A«, r ) d * — r — / p u (x)dx+-—(Mf+i/3—Wi-i/j) 0
0
4
= i( 'iO)
n
-1/3 w i t h the flu yes #*t+1/3 = T 7 / / « / o ( * i + l / i - sv,u)
%+t/s = T7 // n / (r, /JJ\a,ai|«ffi ]o,ai|. 0
A
+
L / 2
(4.11]
-sv,D)dt rfs.
(4.12)
I
l
T o get a first order u p w i n d scheme, we j u s t assume t h a t pa and uo are constant by cells, and t h a t the C F L condition At|u|
(4.13)
Denoting P? = —
/
=4-
r
, +
p"(*)dx,
(4.14)
"\ (^K(^^.
(4-i5)
n
we write the scheme in finite volume form
At
+ f r <W,+^ r , / 2 - *V?-i/3> = 0,
/>?*' tf* *®"
AT,
At + g f t f t w
~ m
1
(4.16)
+
- ^ - i / j i - 0-
t4.I7)
and 0
1
-
S l ,
)*(" - ""(^i+i/J -
suDdi'ds
r
r
= - —
O
P (*i+l/2
r .+>/i /
/
r^ l*(»-«? l)
+
l
" Jir>0 Jn*ftli— Ate = -f?
+ l
(«? ,)-+p?(u?) . +
+
(4.18)
185
Similarly we have (4-19)
*flIVi/>=^ i(«JV.)*+rfK)3.. +
and we obtain "
? +
'
=
rf
" ^(-^+iK i)-+rfK)++rf(«?)-
.
+
(4-20)
Tt is easy to see that this scheme preserves the nonnegetivity of p tinder the C F L condition (4.13). T o obtain the properties related to u, we proceed as in the continuous case, by multiplying (4.20) by u", and substrarting to (4.21), which yields ^ ( < " ^ ) - - ^ ( ^ ( * i ) - » t ( < i i - < ) - r t . i ( < . i U » « « . i - < ) ) . (4.22) or in incremental form «?
+
,
= cr+i/ («?
-«r
a
+ l
-
«
?
)
+
-
«?).
(423)
From (4 20), it is easily seen that e ^ p
+
flti/iSI.
(4 25)
hence writing (4.23) under the form
- (i -
cr
+
v
, - Dj-vaK+c?
+ I / J
«r , + +
a£w*u.
(«•)
we obtain the maximum principle on u, and for any convex S 5(«
n + f
' ) < (1 - C ?
+ 1 / 2
- D?_ )S(u?) in
+ CT
+ I / I
S(«?
+ 1
) + D?_
I / 2
5(«T-,),
(4.27)
which is the discrete entropy inequality. In order to study the T V D property, we check the criterion +./»+ *>f i/*
(4.28)
(see for example E . Godlewski. P.A. Raviart [4]). We have
= (i
- £ K I K O
-
a ^ K j j f t , -
i r f A i a - ^ W I - ^ N ^ i D .
^ . W M J - ^ P T W H (4.29)
186
Hence {4.28) Is fulfilled under a C F L c o n d i t i o n 1/2.
I t is also possible to o b t a i n
monotonicity under the restriction t h a t the solution is computed away from sonic points, in the aense t h a t s u p l u i l < 2 I u f jttjj. i •
(4.30)
However, the main drawback of this scheme is that i t is unconsistent at sonic points. Assuming t h a t « " - 0, u " , > 0, up_, < 0, we get 0 i n the a p p p r o x i m a t i o n +
in (4.20), and in the case where u"> = 0, t i ^
+1
aid pu T
< 0, tiJL| > 0, (4.20) gives twice the
a p p r o x i m a t i o n of 8 pn in (4.20). T h u s the right way to use this scheme is t o convert T
the p r o b l e m i n t o a nonsonic one by a change of reference frame using f o r m u l a (2.1), solve the associated numerical problem and then go back in the original coordinates. A n o t h e r possibility is to use a Lax-Friedrichs scheme using two grids, s t i l l based on the transport-collapse idea. However this scheme is not T V D . Using linear cell functions instead of constant cell functions, i t is possible t o build a second-order scheme from (4.9) and (4.10), by which consistency is obtained at sonic points by the increase of accuracy.
I t is obtained by choosing p and u to be linear by cell,
and by performing a reconstruction so that p and g are conservative, and so t h a t u is T V D (obtained by a usual m i n m o d l i m i t a t i o n ) . T h e resulting scheme has given sharp numerical results in data that contains zones of vaccum, discontinuities and concentration in the density. T h e numerical results below have been obtained w i t h this second order scheme, and periodic boundary conditions.
5. C o n c l u s i o n We have shown by different approaches that the zero pressure gas dynamics system should have entropic solutions
T h e first approach is t o study the a prior:
estimates in the small viscosity a p p r o x i m a t i o n ; the second
Is t o establish such
estimates in a discrete a p p r o x i m a t i o n , and the t h i r d is t o study the exact p r o b l e m w i t h special initial data.
T h e two first approaches have led to exactly the same
properties, especially the m a x i m u m principle and the T V D p r o p e r t y on u.
The
t h i r d approach has led t o a precise definition of measure solutions, and an explicit construction o f these solutions. In the case of particles system and o f the Riemann problem.
However, we have not been able to prove any general existence result
because of the presence of measures and nonlinearities which make difficult
the
s t a b i l i t y analysis.
Acknowledgment T h e author thanks B. Perthame for his advise and for many interesting discussions.
187
ZERO
deltaT = 0.0150
P R E S S U R E GD
Tmax = 0.7500
deltaX = 0.0100
50 iterations
100 points
initial data density
velocity
0.0 0.2 0.4 0.6 0.8 1.0
0.0 0.2 0.4 0.6 0.8 1.0
KinEn(t) 0.060 0.050 -\ \ 0.040 0.030 V 0.020 0.010 0.000 0.0 0.2 0.4 0.6 0.8
188
t = 0.2500
0 . 0 0 . 2 0 . 4 0 . 6 0 . 8 1.0
0 . 0 0 . 2 0 . 4 0 . 6 0 . 8 1.0
density
velocity t =
0.00.20.40.60.8
1.0
0.00.20.40.60.8
1.0
0.00.20.40.60.8
1.0
0.0 0.2 0.4 0.6 0.8
1.0
t =
0.0 0.2 0.4 0.6 0.8
1.0
t =
0 . 0 0 . 2 0 . 4 0 . 6 0 . 8 1.0
190
References [1] Ft. Baraille, G . B o u r d i n , F. Dubois, A Y . Le Roux, Une version a pas fractionnaires du schema de Godunov pour I'hydrodynamique,
C.R. Acad. Sci
Paris,
t . 314, Serie 1, (1992), 147-152. [2] Y . Brenier, C a i c u / de his de conservation
scalaires par la methode
de trans-
p o r t - e'crou Jem en t, I N R I A , R a p p o r t de recherche no 53, France, (1981). [3) C M . Dafermos, Estimates for conservation laws w i t h little viscosity,
S I A M J.
M a t h . A n a l . , 18, (1987), 409-421. [4] E. Godlewski, P.A. R a v i a r t , Hyperbolic
systems
of conservation laws, coll.
M a t h . & A p p l . , 3 / 4 , Ellipses, Paris, (1991). [5] D . Hoff, The sharp form of Oleinik's entropy condition in several space
dimen-
sions, Trans. A m e r . M a t h . S o c . 276, (1983), 707-714. [6] P. Lax, Shock waves and entropy. C o n t r i b u t i o n t o nonlinear functional analysis, Proc. smpos. M a t h . Res. Center, U n i v . Wisconsin, Madison (Academic Press, 1971), 603-634. [7] P.L. Lions, B. Perthame, E. Tadmor, K i n e t i c dynamics
and p-systems,
formulation
of the isentropic
gas
t o appear.
[8] A . N o u r i , , Personal c o m m u n i c a t i o n . [9] B . Perthame, Second-order
Boltzmann
tions in one and two space dimensions,
schemes for compressible
Euler
equa-
S I A M i. N u m . A n a l , vol. 29, no 1,
(1992), 1-19. [10]
E. T a d m o r , Local error estimates for discontinuous
solutions of nonlinear hy-
perbolic equations, S I A M J. N u m . A n a l . , 28, (1991), 891-906.
191
A REMARK THE
CONCERNING
CHAPMAN-ENSKOG
ASYMPTOTICS
L . D E S V I L L E T T E S ( * ) , F . G O L S E (**) (*) Etote Dcpartemcnt
Normale Sup e n cure
de Maihemaluiues
ct
Infonnaliqiie
45, Rue. d'UIm 75230 Paris
('*}
Qedes
Universite 4, Place
Pans
05
7
Jussieu
75230 Pans
Ctdex 05
T h e present w o r k reviews some technical properties of the Sonine p o l y n o m i a l s i n the theory of the linearized B o l t z m a n n equation.
These properties are used
extensively i n the C h a p m a n - E n s k o g a p p r o x i m a t i o n as well as in any m e t h o d aimed at establishing h y d r o d y n a m i c l i m i t s the B o l t z m a n n equation leading to NavierStokes equations.
1.
Introduction I n order t o u n d e r s t a n d
the C h a p m a n - E n s k o g
osympt.ot.ics of the B o l t z m a n n
e q u a t i o n (Cf. [ C h , C o ] , [Ce], [B.i], [ K a , M a , N i ] ) , one has to study the solutions hi 3
and j i j of the f o l l o w i n g equations ( w h e n U € i f f ) : [MOW = /
1
a m ,
(1.1)
\
"i htM
"a
(1.2)
192
and iL ){v)
=
Sij
I
1
(1.3)
BvM, \
"3
-^dv
(1.4)
= 0,
"3 where Ai and Bij are the Sonine polynomials defined for i,j 11°
€ { 1 * 2 , 3 } by
5
(1.5)
(1.6) a n d L is the linearized B o l t z m a n n operator:
Jv.ert* JetS* -/(")
• - f{",)}B(\v-
Jv.ert* Joes?
• v.\,tr • "~ "/,)".
z
« fl(|tj
•
— u. |, rr
— )derdv..
(17)
T h e cross section B Deeming in (1.7) is assumed of the form B{x,y)
(1.8)
a
=
t 0 {y), o
w i t h o € [—3,1[ when the particle interaction obeys the inverse power law of exponent a ( w i t h or without, angular cut-off— see [ G r ] ) . T h e following theorem belongs to the classical theory of the linearized Boltzm a n n equation (at least when a > 0 hi (1.8) and w i t h the hypothesis of angular c u t - o f f — see [Baj, [Ce]):
T h e o r e m 1 . 1 : There exist* a unique solution (1.3)-(1.4) V{L)
A,, fljj to equations (l.l)-(l.B)
and
which belongs to = { / ( » ) £ L'iUf.e-^dv),
3
t / ( v ) f ( v ) g L-(R ,
g " ^du)},
(1.9)
where v(»)=
/
/
f-^BUv-v.lo---^-——Ado-dv,.
(1 10)
193
T h i s t h e o r e m follows from the fart, t h a t the operator L w i t h d o m a i n given by (1.9) is b o t h self-adjoint and F i e d h o l m . Indeed, the vector A w i t h components Ai (for i £ { 1 , 2 , 3 } ) a n d the tensor B w i t h components Btj (for i,j
£ ( 1 , 2 , 3 } ) satisfy
the o r t h o g o n a l i t y relations /
/
I \ "1 "3 "3 V]U|V
A(v)
I
1
4-dv
- 0,
(in)
o.
(1.12)
\
"1
f
B{v)
IrJ
r ^ d v
-
fs We shall denote by (h,(f)) )l,2, J
ft(*J =
i e
(1.13)
3
the vector whose components are the solutions o f ( l . l ) - ( 1.2) and (1.14)
; / ( " ) = (3i,3(»))ij€
Section 2 contains a proof of the fact t h a t h el are o f the form given i n [ C h , Co]. I n a t h i r d section, we i n t r o d u c e a single equations replacing the systems (1.1), and ( 1 3 ) . 2.
Isometric Invariance o f the Solutions o f the
Linearized Boltzmann
Equation We prove i n t h i s section the f o l l o w i n g property of the solutions o f (1.1)-(1.2) and (1.3)-(1.4): T h e o r e m 2 . 1 : The solutions
of (l.l)-(l.S)
arc of the form
lii(v) = (]v\)v a
and the solutions
of (J 3)-(l.j)
+
(2.1)
are of Ihe form
3ii
where a,b : fft — i
i:
(v)
= 6(M)£y(tl),
(2 2)
IR are such that VJ £ ( 1 , 2 , 3 ) ,
o ( | f D"J € J > ( £ ) ,
(2.3)
194
and V/,j € {1,2,3},
b(\»\)
m
CD(i).
(2-4)
T h i s result is given w i t h o u t proof and used in [Ni] and [ B a ] , w i t h reference to [ C h , C o ] . I n this b o o k , it. is justified on the basis of physical arguments.
We prove i n
t h i s work t h a t i t is a consequence of the following l e m m a t a (some of w h i c h
are
w e l l - k n o w n ) . I n the sequel, we shall denote 0„ the o r t h o g o n a l g r o u p of R" for the euclidan m e t r i c , and SO„ the special o r t h o g o n a l group, that, is the s u b g r o u p of O
n
of elements w i t h d e t e r m i n a n t one.
Lemma 3
R
ii
We introduce for each isnmctiy
f! E O j and for each function
f :
—> R the operator TR defined by Tpf(v)
= f(Rv).
(2.5)
Then, LOTR
= T OL.
(2.6)
R
P r o o f : We consider [(L°7W)(tO = =
f
j
e
- ^
{
V
R
{
{
^
(L(T„f))(u) + 1 ^ , } , - /
V B{ hi — ii. I, ir •
=
/
1
/
Ju.^JR Joes'
e - ^
{
2
/ (
<
*(|«» ~
—
llm
I " ~ "• I
^ ^
+
*
fl.i.Urr
/(«*.)}
-)dodv.
l « ^1 «
f
f
}
, - /
(
«
U
p " ' , ) ^ \tf v — ttv^ I
) - / ( « , ) }
(2,7)
We i n t r o d u c e now the change of variables WsAtf,
(2.8)
m = Rv.,
(2.9)
and we get
- / ( / r > ) - f(w,))B(\Ki
- w.\,w
~—.)dudu>.
195
= [Lf){Rv)
L e m m a 2: For all R € 0 ,
=
Ihe function Ii defined by (J. 13)
3
(T h)[v)
=
K
Similarly,
the function
all
satisfies: (2.11)
Rh(v).
g defined by (1.14) satisfies the following
i) for all v in JR , g(v) is a symmetric ti) for
(2.10)
[(Ti,oL)f]{i>).
3
tracelcss
properties:
tensor,
R £ 0 , 3
(T )[v)
=
RS
(the right side being understood
Rg{v)R-
as a pnidvet
of
(2.12)
1
matrices).
P r o o f : We n o l e t h a t , according to l e m m a 1, L(7V0 =
T {Lh) K
TRA
= Ro A,
(2.13)
and t h a t HRoh)
=
Ro(Lh) (2.14)
= R o A. Moreover, (
1
/
\
"1 e
' dv - 0
/
1
N
fi
t'^dv
*t»
—
V3
\M / 2
V|„py
l>{")
R{ I J*eJR>
"3
(
1
N
"1
'dv = 0.
(2.15)
"3
Using now the uniqueness of the solution* p of the system Lp =
RoA,
(2.16)
196
1
(
\ (2.17)
fa
we get (2.11). We now consider the tensor ;/. I n order to get i ) , we note t h a t (2.18) L ( T i a c e , ) = Trace(/,;/) = T i a c e B = 0, ;
t ( s + )
/
T
= La + I £•)'' = B + B
\
1
1
I
n /
(2.19)
= 0, \
"t
(TraceffKu)
£dv
= Trace{ /
>j(v
>'••
(2.20)
/
\
1
ft
/
T
(<7 + ! / ) ( « )
v,
1
r" ^,/,^
/
,,(,,)
"3 V IH I - /
Af
e
^
dv+
\\V\'/
"I "a
If
(221)
va V|,f /
and we get Trace;/ = 0,
(222)
:; + ; / = U ,
(2.23)
by a uiii(|ueness argument. Finally, we prove i i ) . We n o l i ' thai. HT )
=
n:l
= =
T lL,j) n
T*D HBR-\
(2.24)
and t h a t
/,(/?://?-') = R t i s J / r ' =
HUH-
1
(2.25)
197
Moreover, i
1
N
1
f*
^
HI /
{T g)(v) R
/H£JJ»
"3
*t»)
fa "a
2
\\v\ / 1
? \ "1
(2.26)
"3
Therefore, the uniqueness of the solutions o f the system Lq =
f
"I
m 1
Jv £ fff-
RBR~',
(2.27)
|.|» (2.28)
Vi "3 \\v\-I
ensures t h a t i i ) holds.
L e m m a 3r Zef N > 2 and s :
N
— - S(
lie a function
such, thai fur all
isomciry
R of Opt, one has: $»R= Then,
there exists I : R
+
Let u /
(2.29)
• R such that
fe-gJS*
Proof:
Ron.
sir)
=
t(\x\)x.
(2.30)
0 be fixed, and denote by 0 „ the stabilizer of v under the action
of O i v , t h a t is 0 „ = { « £ O w s.t. R(v) Let E =
(Ifiii)
1
and r € 0 ( £ ) , then /? =
= v) .
Id^,, ffi f g 0 „ .
D e n o t i n g by P
o r t h o g o n a l p r o j e c t i o n on E and a p p l y i n g (2 29] t o R as above ii(s(u)) = *(»),
VP g 0 ,
and, upon applying P P P . ( s ( u ) ) = r[Ps{v))
-
Ps(v),
W £ 0(E).
the
198
Since 0(E)
acts t m n s i l i v e l y on the u n i t sphere o f E ( t h a t Is, for any pair X, y
of u n i t vectors i n E there exists r E 0(E) Ps{v)
such t h a t i - ( i ) — t/), i t follows t h a t
= 0. T h u s , there exists A ( « ) £ IR such t h a t S(U}A(V)JU. A p p l y i n g now ( 2 . 2 9 )
w i t h JS € ON a r b i t r a r y shows t h a t X(R.v) = X(v),
V f l e 0,v ,
whence A depends only u p o n the l e n g t h o f v.
R e m a i - k : T h e same p r o o f shows t h a t for N > 3, i t is enough to have ( 2 . 2 9 ) w i t h R £ SO
N
only in order t o get (2.30).
N
L e m m a 4 : Let N > 2 nn*l » ' : S% — • M,\[1R)
be a function
such that for all R
of ON , one has: N
Vr. E IR , Moreover, Then,
assume
that for all i
there exists n : IR
+
tn(Rz)
= Rm(x)R-
z
(2.40)
v
in W , ui(.i ] i.i a friiceless symmetric
matrix.
IR such that
N
Vr: £ R ,
m(j;) = » ( | : r | ) { s O / -
(2.41)
P r o o f : Let n / 0 he fixed; then VP,£ Therefore, V P 6 0 „
ft(»n(tj)«)
O,, ,
L
hl
F
= A((J)V, Let now r £ 0 Orthogonal to u, denote
P the o r t h o g o n a l p r o j e c t i o n on £ and 0
For all r E 0(E),
= m'(-u)H,
— m ( v ) » whence, as in the p r o o f L e m m a 3, there
exists X(v) £ R- such that. m(u)v F — Stv (£> Six, E — F ,
ftm(«)
F
= {REO
st.
N
ft|
F
=
8 *• E O f . Using (2.40) w i t h >• £ 0 Vfl. £ O p .
shows t h a t
/ f ( m ( " ) - ' ) = »*»(»)* .
A p p l y i n g t h e n P shows t h a t , for all r e 0(E), whence as in the p r o o f o f L e m m a '! Pm{v)x symmetry of
F
one has r ( P m ( » ) i )
— U. T h e n ' f o r e , tn[v)x
=
Pm(v)x
6 F.
But , by
m(v) (m(v)v|s) = A(t.)(«|i) = 0 =
whence there exists ft(v,.')
£ IR s u r h thai
ri)(v)tt
(v\m(v)x) — ji(v, x)r.
A p p l y i n g now (2.40)
w i t h R E 0 „ shows thai. m(M)/?.r = , , ( „ , Rx)Rx
= P(')!(n).r) = / i ( n , i ) P i :
199
whence p ( u , x) only depends on the length of .r (note that, .T is restricted to B u t also, H(D,X)
= (t(w, asr) for all ft £ JR: therefore, K
by
F i n a l l y , in t he decomposit ion 1R
L
(fRv) ).
•) is a constant denoted
= IRv tj-i (fffu ) ^ one has
T h e traceless c o n d i t i o n shows t h a t X(v) + [N — l ) / i ( f ) = 0. Therefore, the above f o r m u l a for m ( v ] can be recast !LS
A p p l y i n g n o w (2.40) w i t h an a r b i t r a r y R £ 0
N
shows t h a t X(Rv) — X(v) whence X
depends only on the length of the vector v,
T h e p r o o f of t h e o r e m 2.1 is then a straight Tor ward consequence of lemmas 2, 3 a n d 4. 3. T h e E q u a t i o n f o r a a n d b In t h i s section, we give a single equation satisfied hy the functions a and b of t h e o r e m 2. T h i s equation may prove useful to s t u d y the a s y m p t o t i c properties o f a and b when \v\ tends t o i n f i n i t y . Such properties appear n a t u r a l l y in the rigourous analysis of the incompressible fluid d y n a m i c s l i m i t of the B o l i z m a n n e q u a t i o n (see
T h e o r e m 3 . 1 : The function
u of theorem 2.1
satisfies
(3.1)
(3.2) where
W \ / ' — +
-v/r- +
- 2 i ' ; , r o s % cos *. + ?•{/])
!
( j / -r r c o s 6 + i/r'- + y' — 'Ivy cos (I cos ft) — o ( r ) r cosO 2
B(\/r
+ y- - 2r>/cos 0,y cask - i f ) sin (J sin A-
o(y)y)
d&LkdBdr,
(3.3)
200
and U = cos flros k + sin /J sin
feeos^l.
(3.4)
P r o o f : E q u a t i o n (3.2) comes clearly o u t of (1.2). I n order to get. (3.1) and (3.3), write ( 1 1 ) for i — 1 and introduce the following notations: / v = y[
0
cos (9
\
j
W
cos t
\
I SI 11 t
v. — r I sin f? c o s i i 1 \ sin 0 sin $ j
cos I 1 \ sin jfc sill / j
(3.5)
we get
/
/
/
/
/
/
J
1
W V ——T~ + ~ ^ '" + V -
cosf)
\
'
sill 0 cos (6 \ sin flsin (& /
w
'
•
a[r)r
cosf) \ sill 0 cosoi
S f l / ' - + y' - 2r>, cos f).y c o s t - rV) !
cost ' sin k cos / sin k sin 1
/ 1 \
1i sin 8 sin
2>-V " > s % c o s t + r V ] )
W 0 dtd
2
s i n f l s i n t r e~
(3.6)
=ii-hs(A • 2
2
0
with V - cosfl c o s t + s i l i 0 s i n fccos(<0 - f) .
(3.7)
I n order t o get (3.1) and (3.3), i t suffices to notice t h a t for all functions 7 , ,2* /
ri,
i
/
cosf! \ sinfJ cos
-2« -r))d4
J:i=aJl=D: l_ ini3sin^y
J*=°
a
,2* /
/
/ 1 \ 0 , (3 8)
\o/
cost \ .1, / l \ sin t c o s / W(cos(ci - ("))#(/( = 2?rcost / r(eos#i(«iI 0 , (3 9)
/
[
TICOS^W
f
10 j TtCosCtf - f))r/«rfi ^
We now give the
/
7
(r.os0)<# ( 0 )
(3.10)
201
Theorem
3.2:
The. function
b of theorem 2.1 is solution of («&)(/,)
= y~,
(3.11)
where
/
/
/
=u Jn=u Ji=a (
!1
4* V T^ + (r
2
+ y
2
+
5 \ Z r + » * - 2 r y cos % 2
Jii-u J
s
s
c o s t + r ( 7 ] ) ( y + r ( | cos 8 -
,3 1. — 2 r y c o s ( 5 ) ( - cos A- - - ) + 2yr cos 8 + 'lyy/r3
2
+ y
— 2ry cos (3 cos 8 1
3 +2rVr-2 + y -
2ry cos 9(ros fc cost? - - s i n it sin 9 c o s * ) ) - i ( r ) i - ( - cos 8 -
2
-fc(j/)y }S(\/r 2
Proof:
3
3
3
\)
+ y- - 2 n / c o s f l . y c o s i f c - > ( ' ) sin fain £ r V ^ dipdkd9dr.
-) (3.12)
I n order t o get (3.11) et (3.12), we w r i t e (1-3) for i = l , j = 1 a n d we use
the n o t a t i o n s (3.5). We get
Jr=o
[' f f'
f'"{~M 1
Je=a Jt=o Jii-0 Ji-u 1 \
/1 \
•
ft^r1
j
/
!
+ 7, s/'-' + !r - '2'-V cos 6\y cos k + >• V]) ' cos 0
,/
. 01
0 /
\07
/
( J +2;/i{
l
\ 0
rosi \ sini:cos/ sin fcsin / /
©
0.7
+ 2yjr-
cosf)
«•* \ suiflros*
/1\ + v- - 2 r y c a s f ) { I 0 \ 0/
\
sin f? c o s * 0 \ sin fJsin $ j
/ cos k \ 0 I sinibcost I \ sin A sin / '
I
cost \ cosf \ sin 1 sin / /
V
jld]
/
j - — — /ri)
1
cos Jfr'
\
^ 1 -
siuflcos* I 0
I sinfccos/
sin(3sin iij
\ sin A s m / /
1 cosf) V | sill 8 cos * j \^ sin 0 sin
|
(
© I sin (
ros 9
j
cos* — Id) 3
\ sin flsin <4
( f
(
\. 1
^ sin 8 sin 0 /
\ sin (7sin 0 , '
3
cosf) ™ v sill 8 cos
, s
0
j©
/ \ 0
W
202
2
B(\/r
+ y- - 2n/cosf), y cos t - rV)
W
sin flsin i-7-- e
- 1
^dli^dkSdt
W
Equations (3.11) a m i (3.12) Follow from the following observation: for all functions TP
U
0 r*. = Sw
7 J
/2ir
J*2IT
(cosej)(/ri
*="
/2/3 U \ U
0 -1/3 U
0 \ I) , -1/3/
1
/ cosf) \ cosfl \ sin f) cos * O sill 0 cos \ sin fisitl p / \ sin 0 Sill r/; /
= 2w(* cos-8 - ±)
I
1 cos A- \ / ' • f < 1 sin It cos /
f
J « = » Ji=n
cos A
T
(cosc5)f/*
Z / 0 0
i
i iiU /
3
u
u
-1/3 U
0 -1/3
0 -1/3
\ 0
J o = u
1\ / cos A U i G j sill A cell / V sili A sin (
J f
Ja=o Ji=u
'
CO.1
\ ,
(3.16)
/
-
0
\
/
COS A
0 0
\ ,
(3.17)
0 -1/3/
C
-^-ld]
|' 2 / 3 27TCOsA / U T(cosri)(/ri Jtfsll 1 /
(3.15)
cosf! ( sinfJcostf, I0C | - ^ - ^ f ( / ) 7 ( c o s ( r i - l))d
r* /2/3 = 2*rosfl/ 7(cosri)(/ri U
{
0 \ 0 , -1/3.
\
2
/
0 -1/3 U
sin A cosf 1 \^ sin Asiu / /
y sin A- sin / / 3 l = 2 7 r 2( - c o s - A -2- )
I
/2/;i U
7(cos*)r/cJ
(3.1-4)
, ( c o s ( r i - l))d
0 -1/3/ \
1 sin 0 cosji | Qi I sili ^ cos I 1 \ sin f) sin
V_
.
(3.18)
203
( c o s t cos 8 — - sin (:sin 0 c o s * ) 7 ( r o s
R e feloness
[Ba] C. Bardos, Une interpretation de Boltzmann,
de h'avier-Slokes
des relations
el d'Euler
distant
cnl.rc tes
a I'aidc dc Tcntropic
equations
, Math.
Aplic.
C o m p . , 6, n . 1,(1987), p 97-117. [Ba, G o , Le] C. Bardos, F . Golse, D . Levermore, Fluid Kinetic
Equations
I: Formal Derivations-, uf Kinetic
J
of Stat.
Equations
If
Phys.
Dynamic
Limits
of
G3, (1991), 323-344;
a n d Fluid
Dynamic
Limits
Boltzmann
Equation,
C o m m . on Pure a n d A p p l . M a t h . 4G, 667-754, (1993).
Convergence
[Ce] C. C e r c i g n a n i , Tin B'otizmarin e^uoiion. and its applications,
Pmofs for
the
Springer Ver-
lag, B e r l i n , (1<J8S). [ C h , Co] S. C h a p m a n , T . G . C o w l i n g ,
77;c mathematical
theory of
non-uniform
gases, L o n d o n , (1952). [Gr] H . G r a d , Principle!!
of I In kinittc
tfifnry
of gasti,
Handbuch der Physik,
(
S. Fliigge ed. 1 2 , (1958), 2U5-2 J4. [ K a , M a , Ni] S K a w a s h i m a , A . M a t s u m u r a , T . Nishida, On the approximation
to the Boltzmann
Fluid-dynamical
equation at ll" level of llic ffavier-Sfokes
C o m m . M a t h . Phys., 7 0 , (1<J7!J), p 97-124.
equation,
204
Introduction to the Theory of Random Particle Methods for Boltzmann Equation B. Perthame Universite Pierre et Marie Curie Laboratoire d'Analyse Numerique CNRS UA189, T.55/65, 5e etage 4, place Jussieu F75252 PARIS Cedex 05 and INRIA, Projet MEN US IN B.P. 105 F78153 LE CHESNAY Cedex Abstract We present theoretical derivations of several random particle methods for solving the Boltzmann equation, including Direct Simulation Monte Carlo methods and a method derived directly from Boltzmann equation. The DSMC methods are presented as discretizations of the master equations.
1
Introduction
The object of this text is t o present how several classical resolution methods for the B o l t z m a n n equation can be derived theoretically. We focuss on the methods based on a particle a p p r o x i m a t i o n of the density which means as a sum of Dirac masses, and where the integrations resulting from B o l t z m a n n kernel are numerically performed using a random m e t h o d . We will derive these methods either from the master equations or from the Boltzmann equation directly. Due to the large number of variables i n the B o l t z m a n n equation (( for time, two three-dimensional vectors x for space anv v for velocitv, also a one-dimension a I internal energy parameter is needed for p o l y a t o m i c gases), m u c h of the methods are based on a Monte Carlo procedure, or at least random integrations, at several levels. T h i s is the case of those methods developed departing from the master equations and called Direct Simulation Monte C a r l o methods ( D S M C in s h o r t ) , see B i r d [5], K o u r a [15], Nanbu [17], Ivanov and Rogasinsky |14). Since the master equations are linear, like i n neutron transport, the solution can be represented w i t h the help of a j u m p markov process and the D S M C methods m i m i c this process. After Nambu's m e t h o d [16], the tendency has been to relate more closely t o B o l t z m a n n equations (see
205
B a b o v s k y (2), Babovsky and Diner [3j, Neunzert et a l . [18)) b u t r a n d o m methods are s t i l l used. These methods relying on particle a p p r o x i m a t i o n s have the general advantage t o p u t discretization points where they are needed (see also the o t h e r papers i n t h i s issue). For instance, for hypersonic flows in a rarefied atmosphere, the average flow velocity away from the obstacle can be around a M a c h number of 25, b u t is zero close t o the obstacle (see figure 1). T h i s p r o b l e m w o u l d require a huge number of g r i d points i n v for a finite difference m e t h o d w i t h a fixed g r i d . O n the other hand, particle methods always provide f l u c t u a t i n g results. T h i s is due of course t o the M o n t e C a r l o procedure used t o solve the collision operator, b u t also because the t r a n s p o r t operator is solved exactly. Hence no numerical diffusion is present to s m o o t h o u t the results. C o m p a r e for instance finite volume schemes for the Euler l i m i t of the B o l t z m a n n equation w i t h particle-based schemes ( P u l l i n [22], Coron and P e r t h a m e [8], Perthame [20] : so m a n y particles are needed t h a t particle emthods are not c o m p e t i t i v e i n the f l u i d regime. In order t o a v o i d fluctuations, several authors proposed different approaches based on finite volumes, finite elements or finite differences, especially t o compute transit o r y regimes or problems where fluctuations are costly to avoir (low mach numbers for instance, or small variations of the flow velocity). Let us give some very i n complete set of references for such methods. A r i s t o v and Tcheremissine [ I ) have developed an i m p o r t a n t effort i n c o m p u t i n g B o l t z m a n n equation w i t h a finite volume discretization i n u , which preservs conservation laws, FTezzotti [12], see also the references t h e r e i n , extended and compared variants of t h i s m e t h o d , i n the context of the evaporation of b i n a r y m i x t u r e s which arise i n m e t a l l u r g y processes for i n stance. Notice t h a t i n these papers a M o n t e - C a r l o m e t h o d is s t i l l used to calculate the eight-fold integral arising i n B o l t z m a n n equation. Further, a fully deterministic finite volume i n u, finite elements i n x m e t h o d has been proposed recently by Rogier and Schneider [24] (and the references t h e r e i n ) . Since i t is d i r e c t l y deduced from an a p p r o x i m a t i o n of the B o l t z m a n n kernel, this m e t h o d preservs n a t u r a l l y the conservation laws, and B o l t z m a n n ' s H - t h e o r e m at a semi-discrete level. Also, purely d e t e r m i n i s t i c particle methods are presented i n Niclot a n d Degond [19], Russo [25]. A n o t h e r class of schemes, based o n the theory o f branching r a n d o m processes, an exact a l g o r i t h m for solving the B o l t z m a n n equation is proposed i n E r m a k o v and al. [11], C h a u v u n [7]. However t h i s m e t h o d has n o t been tested intensively and is costly. T h i s paper is organized as follows. I n the first section, we introduce the m a i n n o t a t i o n s . I n section I I , we present the theoretical bases of the original D S M C m e t h o d a n d of an i m p r o v m e n t : the m a j o r a n t frequence collision m e t h o d . T h e last section is devoted t o a direct d e r i v a t i o n of a r a n d o m p a r t i c l e m e t h o d from the B o l t z m a n n equation. I n [2. 13, 18], t h i s m e t h o d , combined w i t h low discrepancy r a n d o m choices, is called F i n i t e Poinset M e t h o d .
2
T h e B o l t z m a n n equation
T h e B o l t z m a n n equation describes the evolution o f a c o n t i n u u m of particles by mean of three variables : the t i m e t , the p o s i t i o n x and the velocity u of particles.
206
I n t h i s model, the density of particles follows the equation
dt
3
dx
7]R xS'
where / = f{t,x,v),f. = f(t,x,v.),f = f(t,x,v') and /.' = f{t,x,v'.). {v,v.,u) i n (1), we obtain the post-collisional velocities , v+v. v = —
+
T
\g\ , v + v. o-, , = ^ - v
Y
\g\ o - ,
Given
(2)
g — v - v.,
(3)
B:=B(| |,| .ff|),B(0,«)-0.
(4]
f f
f f
Boltzmann's collision operator Q(j) has the fundamental properties t h a t i t conservs mass, m o m e n t u m , energy which means 2
Q(f)(v)(l,v,\v\ )dv
= (0,0,0).
(5)
T h i s follows from a more general s y m m e t r y identity ; for any function
=
A jQlf)[
+
=
I/(/)[¥*
V
+
(6)
The deviation of (6) uses the particular form of B i n ( 4 ) . Finally, a consequence of (6) is Boltzmann's H-theorem
/
Q(f)(v)lnf(v)dv
< 0.
(7)
We refer t o Cercignani [6], Truesdell and Muncaster [27) for a complete proof of these results. Notice t h a t we have used i n (2) a p a r a m e t r i z a t i o n of the sphere which is adapted to the numerical methods. A more frequent presentation is t o use a vector w of the sphere, related to (1) by g' : = v — vl
=
\g\c = g — 2(g, w jw,
T h i s reduces the classical Very H a r d Spheres model used for hypersonic flows i n the upperatmosphere to a
/j(lsl,|o. |) = / < ; | | , o < < i . 0
P
Q
Nowadays, the methods based on s p l i t t i n g the physical processes are widely used. A free transport is evaluated first, for a t i m e interval A t / . Next, a spatially homogeneous collision step is performed, which is | £ = g),o
(8)
207
Recently Desvillettes and Mischler [29] have proved t h a t t h i s s p l i t t i n g converge, as Atf tends t o zero, t o the D i Perna-Lions [10] solution of B o l t z m a n n equation. N e x t , particle a p p r o x i m a t i o n s o f k i n e t i c equations are based on the a p p r o x i m a t i o n of the density / by a sum of Dirac masses N
1 f{t, x , „ ) ~ —
£ S{x - x, (t))S(v - D i f i } ) • i=l
0 0
(9)
T h e positions x,(t) change d u r i n g the free flow only, the velocities v,(t) change d u r i n g the collision step only. N denotes the t o t a l number o f particles, riot, is a reference number. Covering the c o m p u t a t i o n a l d o m a i n w i t h cells C (say of u n i f o r m volume to s i m p l i f y ) , this allows t o define a local density p i n the cell C j by ;
}
where RJJ is the number of x,(t) which belong t o Cj. S a m p l i n g a m a x w e l l i a n d i s t r i b u t i o n , for instance, is now possible. U s i n g particles, the m a i n difficulty i n the numerical resolution of (1) is the collision step. F r o m (9), a local d i s t r i b u t i o n i n the cells C , is deduced, still denoted
/(t,») =
no)
where ri stands for nj and new indices for ti have been i n t r o d u c e d compared t o ( 9 ) . A n d the question is t o solve (8) w i t h a d i s t r i b u t i o n like ( 1 0 ) .
3
Direct Simulation Monte-Carlo
A l t h o u g h the numerical techniques for s i m u l a t i n g (8) are often o b t a i n e d using heuristic arguments based on physical ideas, i t seems possible to relate a large class of methods t o the master equation, associated w i t h ( 8 ) . T h i s class contains Bird's original a l g o r i t h m [5], a n d variants are compared i n K o u r a [15]. A very good description of these variants can be found i n Ivanov and Rogasinsky [14] as well as relations w i t h the master equation, a n d we will follow his presentation in t h i s section. B u t these relations are frequently quoted : Nanbu [17], Belotserkovsky, Erofeyev and Y a n i t s k y [4J. Also t h i s approach gave rise t o m a t h e m a t i c a l convergence proofs for small i n i t i a l d a t a (Wagner [28]) or for delocalized collisions ( P u l v i r e n t i , Wagner a n d Zave 1 ani-Rossi [23]), or for simplified models up to the fluid l i m i t (Perthame and P u l v i r e n t i [21]). T h e homogeneous master equation for the n-particle d i s t r i b u t i o n function has the form (see Cercignani (6])
fe»C*.
= £
E
/
(M*.
8 y ( » := B(lg l,\g,,.a\),g h
sj
Vii) - M*. VS.
(11)
= v,
(12)
-ty.
208
where p is the local density i n the cell (see (10)), V and are 3n-dimensional vectors, V = ( t > i , . . . . t i ) , VL = ( « i v' . . . . t r } , ..., v„), and (v' v' ) are the postcollisional velocities obtained colliding (ttf, Vj, c ) according t o (2) w i t h g = Vf —Vj. T h e relation between (9) and ( I I ) is as follows. I n t e g r a t i n g (11) against dvi ... dv„ and using the s y m m e t r y of h i n ( W , . . . , v\) when the i n i t i a l d a t a is s y m m e t r i c , we obtain n
it
it
}
tJ
,vi,...
u j ) = / n „ ( t , V)rfi/
J +
i ...
Now, we take the i n i t i a l date
h (0,V)=
JT/TO.vOM
n
(14)
and we expect from the propagation of chaos t h a t h„ factorizes as N tends to infinity, which means that h^(t,v v )^h^\t,v )h' l'i{t,v ). u
2
i
i
(15)
2
1
T h e n , (13) exactly yields (8) w i t h } — ph = limph^' as N tends t o infinity. T h e D S M C method aims t o solve the equation (11), which is linear, rather than the nonlinear equation (8). T h i s assumes t h a t we have a large number of particles in each cell, b u t all methods do so. Also, due t o the linearity of (11), its solution is represented by a Markov process, which leads the numerical procedure. Let us describe one a l g o r i t h m , details, variants, i m p r o v m e n t s can be found i n [5, 14, 15, 17, 4). T h e collision frequency is defined as | 1 6 )
BT..J
= I
By(T)aV.
(17)
T h e n , (11) can be w r i t t e n also a.h^i, V) + ^ ( V ) M t , V)
=
jEj^Mt.^)%M-fc.
(18)
T h e probabilistic representation of the solution to (11) is
M«.v) = £;[ft (o,v(i))], n
(19)
where the expectation is taken according to a p r o b a b i l i t y space on which the j u m p process V ( ! ) is b u i l t w i t h generator i n (11) (see Iketa and Watanabe [13j). T h e D S M C method is j u s t to sample this Markov process, Its i n i t i a l state V is assumed to be known or sampled according t o the i n i t i a l d i s t r i b u t i o n (14) at t i m e t = 0. T h e n , the D S M C method generates a sequence of r a n d o m times a
c
209
' i i *2. • •, t.v, - • - a n d at each t i m e a new 3n-dimensional state Vj, is c o m p u t e d , u n t i l we reach t — A t / the final t i m e . F r o m ( i ^ V i ) we c o m p u t e [tk+i, V i + l ) as follows : k
F i r s t s t e p : The times [ j , are sampled according t o a Poisson law of parameter
K*U
i-e. tk+i -Ik
= - i f ' T O i t l (rand)
where r a n d is r a n d o m number u n i f o r m l y d i s t r i b u t e d on the interval ( 0 , 1 ) . Second a e S
2
s t e p : A collisiona] pair (v°,v°)
w i t h i < j and a collision parameter
are sampled w i t h the p r o b a b i l i t y
Once
IT) are k n o w n ( f r o m the current value
of V ) we j u s t choose V t + i — V y ,
using the rule (2), (12). I n practice, the second step is performed so as t o decouple the choice of the pair ( i , j ) and t h e choice of a.{i,j) is sampled w i t h the p r o b a b i l i t y
t y j - 3 f .
9
(an
using t h i s p a i r , a is sampled w i t h the p r o b a b i l i t y
1
T h i s m e t h o d , usually called " t i m e counter ', is rather expensive ( o f order n per t i m e step using a fast a l g o r i t h m t o sample ( 2 1 ) ) . A classical cost r e d u c t i o n to 1 per t i m e step can be achieved using the " m a j o r a n t collision frequence" technique where an upper b o u n d X of BT is supposed t o be known S j - . y < A, for all
(23)
T h e n , (11) is r e w r i t t e n again as dk l
n
+ p(n-\)Xh^^^Y'{(X-BT,i )h + 3
f
n
J
" t<)
s
h {V; )B„{a)da\ n
3
(24)
*
T h e M a r k o v process consists now i n F i r s t s t e p : (fc+i -
= -(p(n
l
— l)A]~ M(rand).
Second step : A pair {vi,Vj) number, r a n d ' too. I f
is u n i f o r m l y chosen i n v%, a n d a new r a n d o m Xrand' >
B
T-ij
the collision is " f i c t i t i o u s " and we keep 1 4 i = V" (no collision occurs). I n the other +
case, we can p e r f o r m the
t
210 T h i r d s t e p : [Vj.Vj) is chosen as the collisiona! pair and T is sampled i n g (21). T h e new V + is c o m p u t e d as before using ( 2 ) . k
follow-
:
1
The " m a j o r a n t collision frequence ' reduces the c o m p u t a t i o n a l cost to the order 1 per t i m e step-compare to the original " t i m e counter" O n the other hand, i t is nothing b u t a rejection m e t h o d and thus its variance is worse i n p a r t i c u l a r when A is too large. Further variants are possible, i n t r o d u c i n g fixed t i m e steps for instance. T h i s makes i t possible t o relate these methods directly t o the B o l t z m a n n equation (1) rather t h a n t o the master equation.
4
R a n d o m particle methods
T h e first a l g o r i t h m which relies d i r e c t l y on the B o l t z m a n n equation seems t o be due t o Nanbu [16]. A first theoretical investigation of t h i s m e t h o d can be found in Babovski [2] and Babovski-1 liner [3]. Further research i n t h i s d i r e c t i o n led Illner and Neunzert [14], Neunzert. Gropengiesser and Struckmeier [18] to introduce the F i n i t e Pointset M e t h o d where low discrepancy methods are used t o sample the random variables. Here, we j u s t derive a s i m u l a t i o n scheme directly from ( 8 ) . (10) and we send the reader to the above references for practical details and further variants. First, a smaller timestep A t is chosen to reach A i / , the timestep lor free flow. The homogeneous B o l t z m a n n equation is approximated by Euler scheme
(26)
hi
and the m e t h o d approximates f ~' in (20) by another c o m b i n a t i o n o l exactly rt new Dirac masses at the points Vj* T O do so, we first notice t h a t Q acts on measures Indeed, for any continuous test function ip, (25) is equivalent, using (6) t o
(27) Inserting the d i s t r i b u t i o n (26) i n this relation, we obtain using the n o t a t i o n (12), (17) and after straightforward calculations
211
+
/
patSytffjt^tO+^Wffa},
(28)
where p = ( n — l ) / n c o a n d (wj.wj) is o b t a i n e d as a collision of ( f i . v , ) w i t h the parameter tr as i n ( 2 ) . Notice t h a t , due t o the assumption (4) the s u m i n (28) is indeed o n i ^ j . N e x t , a n d following the above reference, we assume t h a t the number o f particles is even n = 2p,
(29)
and we denote b y P the set of all possible pairings of E — ( i > , , . , v ] i.e. P is the set of all possible covering of E b y p pairs { ( i f ] , t u j ) , ( u j , 1112),..., (v ,wp)}. Now for any f u n c t i o n q, we have :
n
p
^ - r y
E
«J) = | i |
Eg
«*),
(30)
where | P | is the number of all possible pairings o f £ . Therefore, (28) can also be written
— T75; E f{jZx(P^B ,i co I " I p JO
< i < 1)( M+
T
V
n
1 = 1
+
X(0 < « < p / U B r , i ) /
( v ( « J ) + •pM))dp (a)}ds
(31)
i
where ( f , ' , t u , ) is o b t a i n e d as a collision of (vi.tut) w i t h the parameter a, x is the indicator function and Bt (rr) = B(|t>s -
|(«, - w ).ff|), B r . j = (
/
^ « V .
ftfcjife,
(32)
(33)
A t t h i s level a r e s t r i c t i o n o n the t i m e step has to be imposed pAt
max B , T
< 1-
(34)
Finally, a M o n t e - C a r l o procedure is used to evaluate i n t e g r a l i n (31) against the p r o b a b i l i t y measures
^-^2
J\..
.)ds,
and
£(...)**<»>.
212
T h i s means t h a t a special p a i r i n g ( o i i W i ) , • • . , (v ,w ) is chosen w i t h an uniform law i n P, a random number s e (0,1) is chosen w i t h a uniform law as well a n d a u n i t vector er,, lor each i , is finally chosen w i t h the p r o b a b i l i t y dp.,(a). T h i s replaces (31) by a random a p p r o x i m a t i o n p
j f*+\vMv)dv
=
p
l
— +
p
V{x(£AiB . r
v
<s
x(0<s
+
T
which completely identifies / *
+ 1
+
as a sum of n = 2p Dirac masses.
J**W = —
T > ( » -«,
+ 1
t + 1
) +*(" -
(36)
+ 1
when p&tBr,, < s then ( v * , w * ) = ( f * , w * ) , no collision is performed. W h e n s < AtB then u f " ) = (wj, u>{), the collision is performed between (u,, i u ) i
1
P
T
1
I
;
w i t h the parameter rr,. Notice t h a t when the number of particles n is o d d , a systematic error is done. I t can be corrected by choosing s uniformly on (0, 3 j p ) rather t h a n ( 0 , 1 ) for n o d d . Also, variants are possible : one can choose s< for each i rather t h a n a global s ; this is equivalent t o i n v e r t i n g / and ^ i n (31). Another variant consists i n using a m a j o r a n t collision frequency as described i n section I I ; the advantage is t o use the same number of cycles for each cell which is better for vectorization. I n order to avoid the restriction (34) on the timestep, L . Desvillettes [9] proposed also a variant where A i can be as large as necessary. His m e t h o d is also very close to the D S M C method and works pretty well on practical examples. a
Finally, we would like to p o i n t o u t that the D S M C m e t h o d and t h i s random particle m e t h o d are very similar. I n some sense the D S M C m e t h o d uses a t i m e step n t i m e smaller and performs one collision per timestep. Here the timestep is n time larger and n possible collisions are done at once so t h a t the c o m p u t a t i o n a l time between the majorant frequence technique and the present m e t h o d are comparable. Comparisons can be found i n Struckmeier and Steiner [26]. Recall t h a t the MonteCarlo m e t h o d is now reduced to the generation of independant variables w i t h a specified r e p a r t i t i o n law. T h i s is a whole problem i n itself.
References [1] V . V . A r i s t o v and F . G . Cheremisine. Conservative s p l i t t i n g m e t h o d for solving the B o l t z m a n n equation. USRR C o m p u t . M a t h . M a t h . Phys. 20 (1980), p. 191-207 (in russian). [2] H . Babovsky. On a s i m u l a t i o n scheme for the B o l t z m a n n equation. M a t h . M e t h . in the A p p l i . Sc. 8, (1986) p. 223-233.
213
[3] H . B a b o v s k y a n d R. Illner. A convergence proof for Naubu's s i m u l a t i o n m e t h o d for t h e full B o l t z m a n n equation, S I A M J . N u m e r . A n a l . 26, 1 (1989), p . 45-65. [4] O . M . Belotserkovsky, A . I . Erofeyev a n d V . E . Yanitsky. D i r e c t s i m u l a t i o n of problems i n aerohydrodynamies i n Numerical Methods i n Fluid Dynamics. N . N . Yanenko and Y . I . Shokin E d i t o r s . M I R , Moscow (1986). [5] G . A . B i r d . Molecular
gas dynamics.
[6] C. Cercignani The Boltzmann (1988).
Clarendon Press, O x f o r d (1976).
Equation
and its applications. Springer, B e r l i n
[7] B . C h a u v i n . B r a n c h i n g processes, trees a n d the B o l t z m a n n equation. To appear i n Proceedings du congres Probabilites Numeriques 1NRJA 1993. E. Pardoux a n d D . Tallay E d i t o r s . [8] F . C o r o n a n d B . Perthame. N u m e r i c a l passage from kinetic t o fluid equations. S I A M J. N u m . A n a l . 28(1), (1991), p . 26-42. [9] L . Desvillettes. A vectorizable s i m u l a t i o n m e t h o d for the B o l t z m a n n equation. To appear i n M e t h . M a t h . N u m . A n a l . [10] R . J . D i P e m a a n d P.L. Lions. O n the Cauchy p r o b l e m for B o l t z m a n n equations : global existence a n d weak s t a b i l i t y . A n n . M a t h . 130 (1989) p . 321-366. [11] S . M . E r m a k o v , V . V . N e k r u t k i n , A . Y a Proshkin a n d A . F . Sizova, O n M o n t e Carlo s o l u t i o n o f nonlinear kinetic equations. D o k l . A k a d . N a u k . SSSR 230(2) (1976) p. 261-263 ( i n russian). [12] A . F r e z z o t t i . N u m e r i c a l s t u d y of the strong evaporation o f a b i n a r y m i x t u r e . F l u i d D y n . Research 8 (1991), p . 175-187. [13] N . Ikeda and S. Watanabe. Stochastic differential equations and diffusion cesses. N o r t h - H o i land, A m s t e r d a m (1981),
pro-
[14] M . S . Ivanov a n d S.V. Rogasinsky, Analysis o f numerical techniques of the direct s i m u l a t i o n M o n t e - C a r l o m e t h o d i n the rarefied gas dynamics. Sov. J. N u m e r . A n a l . M a t h . M o d e l l i n g 3(6), (1988), p. 453-465. [15] K . K o u r a . A sensitive test for accuracy i n evaluation of molecular collision n u m ber i n the direct s i m u l a t i o n M o n t e - C a r l o m e t h o d . Phys. F l u i d A 2 ( 7 ) (1990), p. 1287-1289. [16] K . N a n b u . D i r e c t s i m u l a t i o n scheme derived from the B o l t z m a n n equation, I . M o n o c o m p o n e n t gases. J. Phys. Soc. Japan 49 (1980) p . 2042-2049. [17] K . N a n b u . Stochastic s o l u t i o n m e t h o d of the Master e q u a t i o n and the model B o l t z m a n n equation. J . Phys. Soc. Japan 52 (1983) p. 2654-2658. [18] H . Neunzert, F, Gropengiesser a n d J . Struckmeier. C o m p u t a t i o n a l methods for t h e B o l t z m a n n equation i n : A p p l i e d and I n d u s t r i a l M a t h e m a t i c s ( E d . R. Spigler), K l u w e r Acad. P u b l . Dordrecht (1991) p . 111-140.
214
[19] B . N i c l o t , P. Degond. Numerical analysis of the weighted particle m e t h o d applied to the semiconductor B o l t z m a n n equation. Numer, M a t h . 55 (5) (1989), p. 599-618. [20] B . Perthame, B o l t z m a n n t y p e schemes [or gas dynamics and the entropy property. S I A M J. N u m . A n a l . 27 (6) (1990), p. 1405-1421. [21] B . Perthame and M . P u l v i r e n t i . O n a system of particles a p p r o x i m a t i n g scalar conservation laws. To appear i n Asymp. A n a l . [22] D . I . P u l l i n . Direct simulation methods for compressible inviscid ideal-gas flow. J. C o m p u t . Phys. 34 (1980), p . 231)244. [23] M . P u l v i r e n t i , W . Wagner and M B . Zavelani Rossi. Convergence of particle schemes for the B o l t z m a n n equation. Prepring no 49, I n s t i t u t fur Angewandte Analysis u n d Stochastik, Berlin 1993. [24] F . Rogier and J. Schneider. A direct m e t h o d for solving the B o l t z m a n n equat i o n . To appear i n TV. T h . and Stat. Phys. [25] G . Russo, A particle m e t h o d for collisional kinetic equations. I . Basic theory and one-dimensional results. J. C o m p u t . Phys. 87 (1990) p . 270-300, a n d Part I I t o appear i n J. C o m p u t . Phys. [26] J. Struckmeier and K . Steiner. A comparison of s i m u l a t i o n methods for rarefied gas flows. P r e p r i n t 9 1 , Arbeitsgruppe technomathematik, U n i v . Kaiserslautem (1993). [27] C. Truesdell and R . G . Muncaster. Fundamentals of Maxwell's kinetic theory of a simple monoatomic gas. Academic Press, New Y o r k (1980). [28] W . Wagner. A convergence proof of B i r d ' s direct s i m u l a t i o n Monte-Carlo m e t h o d for the B o l t z m a n n equation. J. Stat. Phys. 66, 314 (1992) p. 1011¬ 1044. [29] L . Desvillettes and S. Mischeler. W o r k i n preparation.
S e r i e s o n A d v a n c e s in M a t h e m a t i c s f o r A p p l i e d S c i e n c e s Editorial N. Bel I • mo
G. P. Galdi
Edilor-in-Charge
Etiilor-'m-Charge
Department of Mathematics Politecnico di Torino Corso Duca degli Abruzzi 24 10129 Torino Italy
Institute ot Engineering University of Ferrara Via Scandiana 21 44100 Ferrara Italy
A. V. Bobylev KelrJysh Institute of Appl. Math. Miusskay Sq. 4 Moscow 125047 Russia
K. R. Rajagopal Mech. Eng.ng Department University of Pittsburgh Pittsburgh, PA 15261 USA
C . M. Da term os
R. Russo Dipartimento di Matematica Universita degli Studi Napoli II 81100 Caserta Italy
Lefschetz Center tor Dynamical Systems Brown University Providence, RI 02912 USA J . Q. Hey wood
Department ol Mathematics University of British Columbia 6224 Agricultural Road Vancouver. BC V6T 1Y4 Canada 5. Lenhart Mathematics Department University of Tennessee Knoxville, TN 37996-1300 USA P. L Lions University Paris Xl-Dauphine Place du Marechal de Laflre de Tassigny Paris Cede" 16 France S. Kawashima Depart me nl ot Applied Sciences Faculty Eng.ng Kyushu University 36 Fukuoka 812 Japan B, Perthame Laboratoire d'Analyse Numerique University Paris VI tour 55-65, 5ieme etage 4, place Jussieu 75252 Paris Cedex 5 France
V. A. Solonnikov Institute of Academy of Sciences St. Petersburg Branch of V. A. Steklov Mathematical FontanKa 27 St Petersburg Russia F. G. Tcheremissine Computing Centre of the Russian Academy of Sciences Vasilova 40 Moscow 117333 Russia J. C. Willems Faculty Mathematics 8 Physics University Of Groningen P. O. Box 800 9700 A v. Groningen Groningen The Netherlands
S e r i e s o n A d v a n c e s in M a t h e m a t i c s f o r A p p l i e d S c i e n c e s
Aims and Scope This Series reports on new developments in mathematical research relating to methods, qualitative and numerical analysis, mathematical modeling in the applied and the technological sciences Contributions related to constitutive theories, fluid dynamics, kinetic and transport theories, solid mechanics, system theory and mathematical methods for the applications are welcomed. This Series includes books, lecture notes, proceedings, collections ot research papers Monograph collections on specialized topics ot current interest are particularly encouraged. Both the proceedings and monograph collections will generally be edited by a Guest editorHigh quality, novelty of the content and potential for Ihe applications to modem problems in applied science will be Ihe guidelines lor the selection of the conlent of this series
Instructions for Authors Submission of proposals should be addressed to the editors-in-charge or to any member of the editorial board. In the latter, the authors should also notify Ihe proposal lo one of the editors-in-charge Acceptance of books and lecture notes will generally be based on the description of the general content and scope of the hook or lecture notes as welt as on sample of the pans judged to be more significantly by the authors. Acceptance ot proceedings will Oe based on relevance of the topics and of The lecturers contributing lo Ihe volume. Acceptance of monograph collections will be based on relevance of the subject and of the authors contributing to Ihe volume. Authors are urged, in order to avoid re-typing, not to begin the final preparation of the text until they received the publisher's guidelines. They will receive from World Scientific The insTrucTions for preparing camera-ready manuscript.
S E R I E S O N A D V A N C E S IN M A T H E M A T I C S F O R A P P L I E D S C I E N C E S
Published: Vol. 20 V o l . 21
G l o b a l C o n t r o l l a b i l i t y a n d S t a b i l i z a t i o n of N o n l i n e a r S y s t e m s
by S. Nikitin
High A c c u r a c y N o n - C e n t e r e d C o m p a c t D i f f e r e n c e S c h e m e s for Fluid Dynamics Applications
by A. I. Tolslykh