A Real Space Method for Averaging Lemmas

Description

A Real Space Method for Averaging Lemmas Pierre-Emmanuel Jabin? email: , Ecole Normale Superieure Departement de Mathematiques et Applications, CNRS UMR 8553 45 rue d'Ulm, 75230 Paris Cedex 05, France Luis Vega email: , Universidad del Paıs Vasco Departamento de Matematicas Bilbao 48080 Spain Abstract. We introduce a new method to prove averaging lemmas, i.e. prove a regularizing effect on the average in velocity of a solution to a kinetic equation. The method does not require the use of Fourier transform and the whole procedure is performed in the 'real space'. We are consequently able to improve the known result when the integrability of the solution (or the right hand side of the equation) is different in space and in velocity. We also present a few counterexamples to test the optimality of the new results. Resume. Nous presentons une nouvelle methode pour obtenir des lemmes de moyenne, c'est-a-dire un effet regularisant sur les moyennes en vitesse d'une equation cinetique. Cette methode ne fait pas appel a la transformee de Fourier et toute la preuve se fait dans l'espace reel. Par consequent, nous sommes capables d'ameliorer les resultats connus quand l'integrabilite de la solution (ou du second membre de l'equation) est differente en espace et en vitesse.

• optimal regularity


• phase space


• depends only


• following result


• estimations de disper- sion


• equation

Subjects

• Documents
• Education
• Phase space
• Équation

Informations

• Published by: pefav
• Reads: 7
• Language: English

Exrait

A

Real

Space

Method for Averaging

Pierre-Emmanuel Jabin ∗ email: [e-mail], ´ EcoleNormaleSupe´rieure

Lemmas

D´epartementdeMathe´matiquesetApplications,CNRSUMR8553

45 rue d’Ulm, 75230 Paris Cedex 05, France Luis Vega

email: [e-mail],

UniversidaddelPaı´sVasco

DepartamentodeMatem´aticas

Bilbao 48080 Spain

Abstract.introduce a new method to prove averaging lemmas,We i.e. prove a regularizing effect on the average in velocity of a solution to a kinetic equation. The method does not require the use of Fourier transform and the whole procedure is performed in the ’real space’. We are consequently able to improve the known result when the integrability of the solution (or the right hand side of the equation) is different in space and in velocity. We also present a few counterexamples to test the optimality of the new results. Re´sum´e.semmebtroouepsldeirenotnenusnpsuose´r´eemodthouenllveN demoyenne,c’est-`a-direuneffetre´gularisantsurlesmoyennesenvitesse d’une´equationcin´etique.Cettem´ethodenefaitpasappela`latransforme´e deFourierettoutelapreuvesefaitdansl’espacere´el.Parconse´quent,nous sommescapablesd’ame´liorerlesresultatsconnusquandl’inte´grabilite´dela ´ solution(oudusecondmembredel’´equation)estdiff´erenteenespaceeten vitesse.Nousdonnonse´galementquelquescontre-exemplespourv´erifierle caracte`reoptimaldesnouveauxre´sultats.

∗ projects PICS 1014 and HPRN-CT-2002-00282 and apartially supported by the MCyT grant

1

Key words.Regularizing effects, averaging lemmas, dispersion estimates, X-ray transform. Mots-cle´s.-erdensspdiemmesdemrisant,ltsmitaoiyoneene,aluge´rsteffE sion,transforme´eauxrayonsX. Mathematics Subject Classification35B65, 82C40, 47G10.

1 Introduction

1.1 Main results

We study the following stationary kinetic equation v∙ r x f(x, v) = Δ α/2 g(x, v), x∈R d , v∈R d ,0≤α <1.

(1.1)

As a transport equation, (1.1) has typically no regularizing effects (although in some cases it does, see at the end of the paper). However in many applica- tions, the important physical quantity is notfitself but some of its moments so that we are interested in the optimal regularity of a quantity like Z

ρ(x) =f(x, v)φ(v)dv, φ∈C c ∞ (R d ) given. R d

(1.2)

It is also possible to consider an average on the sphere, with the same gain in regularity, Z

˜(x) =f(x, v)φ(v)dγ(v), φ∈C c ∞ (S d−1 ) given. ρ |v|=1

(1.3)

It turns out that the averageρis more regular thanf(as long asα <1 of course) as it was first noticed in [16] in anL 2 framework. Since that paper numerous works have been devoted to proving the optimal regularity for the average. The study is motivated by a large class of kinetic equations where the non linear term may be controlled by some average of the solution and by kinetic formulations where the average is the only important quantity.

The gain in regularity depends on the smoothness offandgthemselves. In comparison with previous works, we will use different spaces in velocity and space (see a more detailed discussion after the presentation of the results).

2

Consequently the functionsfandg, defined in the phase space, are assumed to be in the following spaces f∈W p,β v 1 (R d , L p x 2 (R d )), β≥0, g∈W γq, v 1 (R d , L q 2 (R d )),−∞< γ <1. (1.4) ˙ We denote byB r,s t,u the space which is obtained by real interpolation of two Besov spacesB u rs, much like the classical Besov spaces can be obtained by real interpolation of Sobolev spaces. The first result which we prove is the following theorem

Theorem 1.1Letfandgsatisfy(1.1)and(1.4)with1< p 2 , q 2 <∞, 1≤p 1 ≤min(p 2 , p ∗ 2 )and1≤q 1 ≤min(q 2 , q ∗ 2 )where for a generalp,p ∗ is the dual exponent ofp, and assume moreover thatγ−1/q 1 <0. Then, , kρk B ˙ s ∞ r, ,∞ ≤Ckfk 1 W − vβ θ ,p 1 (L p x 2 ) × kgk W θ vγ,q 1 (L x q 2 )

with

1 1−θ = +s, θ q = (1−α)θ, r p 2 2 θ 1 +β 1 −1 + / β−1/p 1 = p 1 − . / γ+ 1q 1

(1.5)

Remarks. 1. This theorem contains most of the previous results (in particular the ones in [11] and [19]). It extends naturally the result given in [19] forβ <1/2. 2. We do not know whether in this case the average belongs to the true Sobolev spaceW s,r . This optimal space was obtained in [3] for the usual case (p 1 =p 2 ,q 1 =q 2 andβ This= 0). is certainly true ifp 1 =p 2 and q 1 =q 2 but some difficulties could arise when the exponents are different. In any case, the simple but rough method of interpolation which we choose s, r here cannot do better thanB ∞,∞ . 3. We do not have any trouble with exponentsp 1 orq 1 equal to 1, only with p 2 orq 2 . 4. The gain of regularity depends only on the regularity and integrability in velocity. This corresponds to [31] where the average is obtained in a space weaker but with the same homogeneity as ours by Sobolev embedding.

3

However contrary to [31], we have a limitation on the exponent in velocity (see the section about optimality).

Since we work with different spaces in space and velocity, the order in which the norms are taken is very important. In (1.4) we take first the norm inx and then the norm inv. Asp 1 ≤p 2 orq 1 ≤q 2 , this is a stronger assumption than the contrary (the norm invfirst). So a natural question is whether it is possible to invert the order of the spaces. We are able to give a full answer only in dimension two.

Proposition 1.1Ifd= 2, Letfandgsatisfy(1.1)but assumegis like in (1.4)butfinL x p 2 (W vβ,p 1 )(respectivelyg∈L x q 2 (W vβ,q 1 )andflike in(1.4)) provided we still havep 1 ≤p 2 and moreoverp 2 ≤2(resp.q 1 ≤q 2 and q 2 ≤2) then kρk W ˙ s,r ≤Ckfk 1 L x p − 2 θ (W vβ,p 1 ) × kgk θ L x q 2 (W vγ,q 1 ) , with

r 1 = 1 p − 2 θ + q θ 2 , s= (1−α)θ <(1−α)θ 0 , 1 θ 0 = 1+β− + 1/p β 1 − −1 γ p/ 1 + 1/q 1 .

(1.6)

Remark. This result is optimal in the sense that the conclusion is false ifp 2 >2 or q 2 >equivalent in higher dimensions, but we can cannot prove an 2. We show that the limit onp 2 orq 2 is in generald ∗ with 1/d ∗ = 1−1/d, see the discussion at the end of the proof of the proposition.

Theorem 1.1 exhibits a sort of saturation: The regularity of the average does not improve whenp 1 grows beyondp 2 this point, it is very interesting to . At invert the norms because that means we work in the strongest space. So let us assume now thatfandgsatisfy f∈L p x 2 (R d , W p, v β 1 (R d ) 0 g∈L q 2 (R d , W v q,γ 1 (R d )) ) , , − β ∞ ≥ <γ< , 1. (1.7) With this new framework, we can prove (but for the moment only in dimen- sion two) the

4