• Aucun résultat trouvé

We propose here a justification of this asymptotics, at the formal level, based on a non– dimensional form of the original equations

N/A
N/A
Protected

Academic year: 2022

Partager "We propose here a justification of this asymptotics, at the formal level, based on a non– dimensional form of the original equations"

Copied!
6
0
0

Texte intégral

(1)

c

American Institute of Mathematical Sciences

Volume , Number0, pp.000000

SOME REMARKS ABOUT THE SCALING OF SYSTEMS OF REACTIVE BOLTZMANN EQUATIONS

Marzia Bisi

Dipartimento di Matematica, Universit`a di Parma, Viale G.P. Usberti 53/A, I-43100 Parma, ITALY

Laurent Desvillettes

ENS Cachan, CMLA, IUF & CNRS, PRES UniverSud 61, Av. du Pdt Wilson, 94235 Cachan Cedex, FRANCE

(Communicated by the associate editor name)

Abstract. An asymptotics leading from the reactive Boltzmann equation to- wards reaction–diffusion equations has been introduced in [1] (cf. also [10], for an analogous scaling starting from reactive BGK equations). We propose here a justification of this asymptotics, at the formal level, based on a non–

dimensional form of the original equations.

1. Introduction. Reaction–diffusion equations are widely used to describe the evolution of species which undergo chemical reactions and which are dispersed in an underlying fluid.

Those equations can be derived in some situations from a microscopic model (cf. [5]), but it is also possible to obtain them when one starts with a system of reactive Boltzmann equations (or from simpler kinetic models, like Fokker–Planck equations, cf. [9], reactive BGK equations, cf. [10], discrete velocity models, cf. [11]).

This is done in [1] under the assumption that the molecules of the reacting species collide between themselves, and also collide with the molecules of a “dominant”

species, that is a species whose density is much larger than the density of the reactive species. As a consequence, it is assumed in this asymptotics that the density in the phase space of the dominant species is an absolute (that is, not depending on time and space) Maxwellian function of the velocity.

The whole procedure has then been extended to a more complicated physical situation, involving chemical irreversible processes of dissociation/recombination type, cf. [3], and mathematical properties of the final macroscopic reaction–diffusion system have been investigated by means of entropy methods, cf. [2].

The objective of this short note is to show that the asymptotics proposed in [1]

can be obtained after putting the system of reactive Boltzmann equations in a non–

dimensional form. It includes a proof (at the formal level) of the assumption on the density in the phase space of the “dominant” species described above.

In Section 2, notations are established, together with the system of reactive Boltzmann equations under study. Section 3 is devoted to the establishment of the

2000Mathematics Subject Classification. 82C40, 76P05, 35K57.

Key words and phrases. Reactive Boltzmann equations; Reaction–diffusion systems.

1

(2)

corresponding non–dimensional equations. Finally, Section 4 deals with the passage from reactive Boltzmann equations to macroscopic reaction–diffusion systems.

2. Notations and exposition of the kinetic model. We consider a mixture of an “inert” species M and of four reactive species (Ai)i=1,...,4, their density in the phase space being ˜fM(˜t,x,˜ v),˜

Ai(˜t,x,˜ v)˜

i=1,...,4. Here ˜t, ˜x and ˜v denote the time, space and velocity variables. We assume that the four gasesA1, . . . , A4, besides all elastic collisions, are subject to the following bimolecular and reversible chemical reaction:

A1+A2⇋A3+A4,

and, in order to avoid unessential constants, we take all particle masses equal to 1.

Then, the distribution functions satisfy the following system of Boltzmann equa- tions:

















˜tM+ ˜v· ∇x˜M = QB˜M M( ˜fM,f˜M) +

4

X

j=1

QB˜M Aj( ˜fM,f˜Aj),

˜tAi+ ˜v· ∇˜xAi = QB˜AiM( ˜fAi,f˜M) +

4

X

j=1

QB˜AiAj( ˜fAi,f˜Aj) + Qchemi]( ˜fA1,f˜A2,f˜A3,f˜A4),

(1)

where QB denotes the elastic Boltzmann operator with cross sectionB: for f = f(˜v), g=g(˜v),

QB(f, g)(˜v) = Z

˜ v∈R3

Z

ˆ ω∈S2

B

|v˜−v˜|,

˜ v−v˜

|v˜−v˜|·ωˆ

h

f(˜v)g(˜v)−f(˜v)g(˜v)i d˜vdˆω.

(2) Here, (˜v,v˜) stand for the pre–collision velocities, while (˜v,v˜) stand for the post–

collision ones. Taking into account the conservations of momentum and of kinetic energy, (˜v,v˜) can be expressed in terms of (˜v,v˜) and of the unit vectorωˆ∈S2as





˜

v = v˜+ ˆ

ω·(˜v−v˜) ˆ ω,

˜

v = v˜− ˆ

ω·(˜v−v)˜ ˆ ω.

(3)

Moreover,Qchemi] is the Boltzmann operator for reactive species, that we write here in the form proposed in [8,7]. We assume the direct reactionA1+A2−→A3+A4

to be endothermic, in the sense that, ifEi denotes the chemical energy of speciesi, we suppose ∆E=E3+E4−E1−E2>0. Under this assumption, chemical operator for gasA1 takes the form:

Qchem1]( ˜fA1,f˜A2,f˜A3,f˜A4)(˜v) =

= Z

˜ v∈R3

Z

ˆ ω∈S2

H |v˜−˜v|2−4 ∆EB˜chem

|v˜−v˜|,

˜ v−v˜

|˜v−v˜|·ωˆ

×h

f3(˜v3412)f4(˜v3412)−f1(˜v)f2(˜v)i

d˜vdˆω,

(4)

where H denotes the unit step function, and represents a threshold for the en- dothermic reaction, that may occur only if the ingoing relative speed overcomes the

(3)

potential barrier 2√

∆E, and the velocities ˜v1234, ˜v3412 are given by the formulas:









˜

v3412 = v˜+ ˜v

2 +1

2

h|v˜−v˜|2−4 ∆Ei1/2 Tωˆ

˜v−v˜

|v˜−v˜| ,

˜

v3412 = v˜+ ˜v

2 −1

2

h|v˜−v˜|2−4 ∆Ei1/2 Tωˆ

˜v−v˜

|v˜−v˜| ,

(5)

where

Tωˆy=y−2 (ωˆ·y)ωˆ.

Chemical operators for species 2, 3, 4 may be obtained fromQchem1] by suitable permutations of indices, bearing in mind that differential cross sections of direct and reverse reactions are related by the so–called microreversibility condition, cf. [8].

3. Non–dimensional form of the equations. We now denote by T,X, andV a typical time, space, and velocity of the problem under study, together withF and Ga typical number density of the speciesM and (Ai)i=1,...,4 respectively. Finally, we considerβ and βchem a typical cross section for elastic and reactive collisions.

We introduce the rescaled densities fM(t,x,v) = 1

F f˜M(˜t,x,˜ v˜), fAi(t,x,v) = 1

Gf˜Ai(˜t,x,˜ v˜), (6) where

˜t=T t , x˜=Xx, v˜ =V v, (7) and

|v˜−v˜|,

˜ v−v˜

|˜v−v˜|·ωˆ

=β B

|v−v|,

v−v

|v−v|·ωˆ

, B˜chem

|v˜−˜v|,

˜ v−v˜

|v˜−v˜|·ωˆ

chemBchem

|v−v|,

v−v

|v−v| ·ωˆ

. (8)

Equations (1) become in non–dimensional form





























tfM +V T

X v· ∇xfM = F β V3T QBM M(fM, fM) +

4

X

j=1

G β V3T QBM Aj(fM, fAj),

tfAi+V T

X v· ∇xfAi = F β V3T QBAiM(fAi, fM) +

4

X

j=1

G β V3T QBAiAj(fAi, fAj)

+ G βchemV3T Qchemi (fA1, fA2, fA3, fA4).

(9)

The scaling that we propose can be understood in this way: first,T,X, andV are chosen in such a way that V TX = 1ε, then F and G are chosen in such a way that F βV3T = ε12, GβV3T = ε1δ for some δ ∈]0,1[ (this corresponds to the idea thatM is a dominant species in terms of concentration, i.e. F ≫G); finally βchem is chosen in such a way that GβchemV3T = 1 (this corresponds to the fact that chemically reactive collisions are much rarer than elastic collisions, i.e. βchem ≪β).

Notice that in this scalingT coincides essentially with a typical chemical relaxation time (GβchemV3)−1, which turns out to be much larger than the macroscopic time XV

(4)

(O(1ε)), and quite large (O(ε1δ)) also with respect to the elastic scattering relaxation time (GβV3)−1.

All in all, we impose V T

X =1

ε; F βV3T = 1

ε2; GβV3T = 1

εδ ; GβchemV3T = 1. (10) As a consequence, we end up with the following asymptotics (wherefM andfAi

are renamedfMε andfAεi, and we recall thatδ∈]0,1[):

















tfMε +1

εv· ∇xfMε = 1

ε2QBM M(fMε, fMε) + 1 εδ

4

X

j=1

QBM Aj(fMε , fAεj),

tfAεi+1

εv· ∇xfAεi = 1

ε2QBAiM(fAεi, fMε ) + 1 εδ

4

X

j=1

QBAiAj(fAεi, fAεj) + Qchemi (fAε1, fAε2, fAε3, fAε4).

(11) 4. From reactive Boltzmann equations to reaction–diffusion. In this sec- tion, we do not try to deduce an expansion of fMε and fAεi (with respect to ε) from (11), since this seems too ambitious. What we propose is rather to prove more modestly that a certain expansion satisfies (11) up to ordero(1).

In order to do so, we shall suppose that the operator Li:

f :=f(v) 7−→

v7→M−1(v)QBAiM(f M, M)(v) , (12) where

M(v) = 1

(2πTM)3/2e|

v|2

2TM (13)

for some constantTM >0, satisfies Z

R3

M(v)g(v)dv= 0 ⇐⇒ ∃ q s.t.

Z

R3

q(v)M(v)dv= 0 and Liq=g . (14) We denote thenq=L−1i g.

Note that this property is satisfied for a large class of cross sections (including hard potentials with angular cutoff) when suitable functional spaces are considered (cf. [4]).

Then, we introduce the expansion:

fMε (t,x,v) = ρMM(v), fAεi(t,x,v) = h

ρi(t,x) +ε qi(t,x,v) +ε2ri(t,x,v)i

M(v), (15) whereρM >0 is an absolute constant, and

qi(t,x,v) =L−1i (v7→v)·∇xρi(t,x) ρM

, (16)

ri(t,x,v) =L−1i

v 7→ ∂tρi(t,x) +v· ∇xqi(t,x,v)

−M−1(v)Qchemi ρ1(t,x)M, ρ2(t,x)M, ρ3(t,x)M, ρ4(t,x)M 1 ρM

. (17) The fact that qi and ri are well-defined (that is, the l.h.s. of (14) is satisfied) is discussed below.

(5)

We first observe that

tfMε +1

εv·∇xfMε −1

ε2QBM M(fMε, fMε )− 1 εδ

4

X

j=1

QBM Aj(fMε , fAεj) =O ε1−δ . (18) Then,

tfAεi+1

εv· ∇xfAεi− 1

ε2QBAiM(fAεi, fMε )− 1 εδ

4

X

j=1

QBAiAj(fAεi, fAεj)

−Qchemi (fAε1, fAε2, fAε3, fAε4)

= (∂tρi)M +O(ε) +1

ε v· ∇xρi

M + v· ∇xqi

M+O(ε)

−1

εQBAiM(qiM, ρMM)−QBAiM(riM, ρMM) +O(ε1−δ)

−Qchemi1M, ρ2M, ρ3M, ρ4M) +O(ε).

(19)

Using the form (16) ofqi(which is well defined since Z

R3

vM(v)dv=0), we get for the right hand side of (19):

(∂tρi)M+ v·∇xqi

M−QBAiM(riM, ρMM)−Qchemi1M, ρ2M, ρ3M, ρ4M)+O(ε1−δ), which in turn gives

tfAεi+1

εv· ∇xfAεi− 1

ε2QBAiM(fAεi, fMε )− 1 εδ

4

X

j=1

QBAiAj(fAεi, fAεj)

−Qchemi (fAε1, fAε2, fAε3, fAε4) =O(ε1−δ)

(20)

thanks to the form (17) ofri. This form exists when Z

R3

M(v)n

tρi+v· ∇xqi

o−Qchemi1M, ρ2M, ρ3M, ρ4M)

dv= 0, (21) which is equivalent (cf. [1]) to the reaction–diffusion equation

tρi−dixρi=c λi

γ ρ3ρ4−ρ1ρ2

, (22) whereλ= (1,1,−1,−1) contains the stoichiometric coefficients, the (di)i=1,...,4are obtained by computing the solution of a linear Boltzmann equation (for the elastic interspecies kernel):

di= 1 3ρM

Z

R3

M(v)v·L−1i (v7→v)dv, γ= exp(TME), and

c= Z

R3

Z

R3

Z

S2

H BchemM(v)M(v)dvdvdˆω,

where H denotes a suitably scaled unit step function. The same computation can be performed also for models taking into account the internal energy owned by the gases, cf. [7, 6]. Note that chemical contributions vanish only if number densities are related by the “mass action law” of chemical collision equilibrium, cf. [8].

Thanks to (18) and (20), we see that the expression (15)–(17), (22) satisfies the rescaled equations (11) up to orderO(ε1−δ). We have therefore established at the

(6)

formal level the passage from a set of reactive Boltzmann equations to reaction diffusion equations under a suitable scaling.

The caseδ= 1 is of special interest: it does not seem possible to treat it with the method presented here, but it still leads to (the same) reaction-diffusion equations when the dominant species has a fixed density (cf. [1]).

Acknowledgements. This work was performed in the frame of activities spon- sored by MIUR, INDAM, GNFM, the University of Parma (Italy), and the ENS of Cachan (France).

REFERENCES

[1] M. Bisi and L. Desvillettes,From reactive Boltzmann equations to reaction–diffusion systems, J. Stat. Phys.,124(2006), 881–912.

[2] M. Bisi, L. Desvillettes and G. Spiga,Exponential convergence to equilibrium via Lyapounov functionals for reaction–diffusion equations arising from non reversible chemical kinetics, Preprint n.11 CMLA, ENS Cachan, France (2007), to appear in Math. Model. Numer. Anal.

[3] M. Bisi and G. Spiga,Diatomic gas diffusing in a background medium: kinetic approach and reaction–diffusion equations, Commun. Math. Sci.,4(2006), 779–798.

[4] C. Cercignani, “Mathematical Methods in Kinetic Theory,” Plenum Press, 1969.

[5] A. De Masi, P.A. Ferrari and J.L. Lebowitz, Reaction–Diffusion equations for interacting particle systems, J. Stat. Phys.,44(1986), 589–644.

[6] L. Desvillettes, R. Monaco and F. Salvarani, A kinetic model allowing to obtain the energy law of polytropic gases in the presence of chemical reactions, Europ. J. Mech./B Fluids,24 (2005), 219–236.

[7] M. Groppi and G. Spiga,Kinetic approach to chemical reactions and inelastic transitions in a rarefied gas, J. Math. Chem.,26(1999), 197–219.

[8] A. Rossani and G. Spiga,A note on the kinetic theory of chemically reacting gases, Physica A, 272(1999), 563–573.

[9] R. Spigler and D.H. Zanette,Reaction–diffusion models from the Fokker–Planck formulation of chemical processes, IMA J. Appl. Math.,49(1992), 217–229.

[10] R. Spigler and D.H. Zanette,Asymptotic analysis and reaction–diffusion approximation for BGK kinetic models of chemical processes in multispecies gas mixtures, J. Appl. Math. Phys.

(ZAMP),44(1993), 812–827.

[11] D.H. Zanette,Linear and nonlinear diffusion and reaction-diffusion equations from discrete- velocity kinetic models, J. Phys. A: Math. Gen.,26(1993), 5339-5349.

E-mail address: marzia.bisi@unipr.it, desville@cmla.ens-cachan.fr

Références

Documents relatifs

The terms D(F, f) and R(f, F ) are Boltzmann type collision kernels describing the deflection of dust particles or liquid droplets subject to the impingement of gas molecules, and

We show that every affine or projective algebraic variety defined over the field of real or complex numbers is homeomorphic to a variety defined over the field of algebraic numbers..

In this paper we determine the function /3 in the case of one- dimensional singularities X, taking non-singular arcs, in terms of the Milnor number associated to Xreci- See [La]

Please attach a cover sheet with a declaration http://tcd-ie.libguides.com/plagiarism/declaration confirming that you know and understand College rules on plagiarism. Please put

The main result of [6] deals with Thue equations twisted by a set of units which is not supposed to be a group of rank 1, but it involves an assumption (namely that at least two of

Key Lemma. Then we prove the Key Lemma for the special case when ∆ P is of A-type in section 3.3, and we obtain two consequences in section 3.4. Finally in section 3.5, we prove the

Irreducible and reducible manifolds with NQOBC We first use Theorem 3.1 to prove that a locally irreducible K¨ ahler manifold with NQOBC must have positive first Chern class..

(ii) Secondly, when using analytical expressions of virial coef- ficients, the radius of convergence of the series has to be calculated in order to deduce the volume range on which