Radjesvarane Alexandre
email: radjesvarane.alexandre@ecole-navale.fr

Yoshinori Morimoto
email: morimoto@math.h.kyoto-u.ac.jp

S Ukai
email: ukai@kurims.kyoto-u.ac.jp

AND C.-J Xu

Tong Yang

Chao-Jiang Xu
email: chao-jiang.xu@univ-rouen.fr

SMOOTHING EFFECT OF WEAK SOLUTIONS FOR THE SPATIALLY HOMOGENEOUS BOLTZMANN EQUATION WITHOUT ANGULAR CUTOFF

Keywords: Mathematics Subject Classification. 35A05, 35B65, 35D10, 35H20, 76P05, 84C40 Boltzmann equation, weak solution, smoothing effect

In this paper, we consider the spatially homogeneous Boltzmann equation without angular cutoff. We prove that every L 1 weak solution to the Cauchy problem with finite moments of all order acquires the C ∞ regularity in the velocity variable for the positive time.

Introduction

Consider the Cauchy problem for the spatially homogeneous Boltzmann equation, (1.1)

f t (t, v) = Q(f, f )(t, v), t ∈ R + , v ∈ R 3 , f (0, v) = f 0 (v),
where f = f (t, v) is the density distribution function of particles with velocity v ∈ R 3 at time t. The right hand side of (1.1) is given by the Boltzmann bilinear collision operator

Q(g, f ) = R 3 S 2 B (v -v * , σ) {g(v ′ * )f (v ′ ) -g(v * )f (v)} dσdv * ,
which is well-defined for suitable functions f and g specified later. Notice that the collision operator Q(• , •) acts only on the velocity variable v ∈ R 3 . In the following discussion, we will use the σ-representation, that is, for σ ∈ S 2 ,

v ′ = v + v * 2 + |v -v * | 2 σ, v ′ * = v + v * 2 - |v -v * | 2 σ,
which give the relations between the post and pre collisional velocities. For monoatomic gas, the non-negative cross section B(z, σ) depends only on |z| and the scalar product z |z| • σ. As in [START_REF] Alexandre | Boltzmann equation without angular cutoff in the whole space: I, Global existence for soft potential[END_REF][START_REF] Alexandre | Boltzmann equation without angular cutoff in the whole space: II, global existence for hard potential[END_REF][START_REF] Alexandre | Boltzmann equation without angular cutoff in the whole space: III, Qualitative properties of solutions[END_REF], we assume that it takes the form

(1.2) B(v -v * , cos θ) = Φ(|v -v * |)b(cos θ), cos θ = v -v * |v -v * | • σ , 0 ≤ θ ≤ π 2 ,
in which it contains a kinetic factor given by

(1.3) Φ(|v -v * |) = Φ γ (|v -v * |) = |v -v * | γ ,
with γ > -3 and a factor related to the collision angle with singularity, (1.4) b(cos θ)θ 2+2s → K, when θ → 0+, for some positive constant K and 0 < s < 1.

The main purpose of this paper is to show the smoothing effect of the spatially homogeneous Boltzmann equation, that is, any weak solution to the Cauchy problem (1.1) acquires regularity as soon as t > 0. Let us recall the precise definition of weak solution for the Cauchy problem (1.1) given in [START_REF] Villani | On a new class of weak solutions to the spatially homogeneous Boltzmann and Landau equations[END_REF], see also [START_REF] Villani | A review of mathematical topics in collisional kinetic theory[END_REF]. To this end, we introduce the standard notation,

f L p ℓ = R 3 |f (v)| p (1 + |v|) ℓp dv 1/p , for p ≥ 1, ℓ ∈ R, f L log L = R 3 |f (v)| log(1 + |f (v)|)dv .
Definition 1.1. Let f 0 ≥ 0 be a function defined on R 3 with finite mass, energy and entropy, that is,

R 3 f 0 (v)[1 + |v| 2 + log(1 + f 0 (v))]dv < +∞.
f is a weak solution of the Cauchy problem (1.1), if it satisfies the following conditions:

f ≥ 0, f ∈ C(R + ; D ′ (R 3 )) ∩ L 1 ([0, T ]; L 1 2+γ + (R 3 )), f (0, • ) = f 0 ( • ), R 3 f (t, v)ψ(v)dv = R 3 f 0 (v)ψ(v)dv for ψ = 1, v 1 , v 2 , v 3 , |v| 2 ; f (t, •) ∈ L log L, R 3 f (t, v) log f (t, v)dv ≤ R 3 f 0 log f 0 dv, ∀t ≥ 0; R 3 f (t, v)ϕ(t, v)dv - R 3 f 0 (v)ϕ(0, v)dv - t 0 dτ R 3 f (τ, v)∂ τ ϕ(τ, v)dv = t 0 dτ R 3 Q(f, f )(τ, v)ϕ(τ, v)dv,
where ϕ ∈ C 1 (R + ; C ∞ 0 (R 3 )). Here, the right hand side of the last integral given above is defined by

R 3 Q(f, f )(v)ϕ(v)dv = 1 2 R 6 S 2 B f (v * )f (v)(ϕ(v ′ ) + ϕ(v ′ * ) -ϕ(v) -ϕ(v * ))dvdv * dσ.
Hence, this integral is well defined for any test function ϕ ∈ L ∞ ([0, T ]; W 2,∞ (R 3 )) (see p. 291 of [START_REF] Villani | On a new class of weak solutions to the spatially homogeneous Boltzmann and Landau equations[END_REF]).

To state the main theorem in this paper, we introduce the entropy dissipation functional by

D(g, f ) = - R 3 ×R 3 ×S 2 B g ′ * f ′ -g * f log f dvdv * dσ , where f = f (v), f ′ = f (v ′ ), g * = g(v * ), g ′ * = g(v ′ * ).
Theorem 1.2. Let the cross section B in the form (1.2) satisfy (1.3) and (1.4) with 0 < s < 1.

1) Suppose that γ > max{-2s, -1}. Let f be a weak solution of the Cauchy problem (1.1). For 0 ≤ T 0 < T 1 , if f satisfies

(1.5) |v| ℓ f ∈ L ∞ ([T 0 , T 1 ]; L 1 (R 3 )) for any ℓ ∈ N, then f ∈ L ∞ ([t 0 , T 1 ]; S(R 3 )),
for any t 0 ∈]T 0 , T 1 [ .

2)

When -1 ≥ γ > -2s, the same conclusion as above holds if we have the following entropy dissipation estimate

T1 T0 D(f (t), f (t))dt < ∞ . (1.6)
The existence of weak solutions to the Cauchy problem (1.1) was proved by Villani [START_REF] Villani | On a new class of weak solutions to the spatially homogeneous Boltzmann and Landau equations[END_REF] when γ ≥ -2, assuming additionally in the case γ > 0 that f 0 ∈ L 1 2+δ for some δ > 0. One important property of the weak solution for the hard potentials (namely when γ > 0) is, according to the work by Wennberg [START_REF] Wennberg | The Povzner inequality and moments in the Boltzmann equation[END_REF] (cf. also Bobylev [START_REF] Bobylev | Moment inequalities for the Boltzmann equations and applications to spatially homogeneous problems[END_REF]), the moment gain property. It means that f satisfies (1.5) for arbitrary T 0 > 0 when the initial data only satisfies finite mass, energy and entropy. However, without assuming the moment condition (1.5), we can still consider the smoothing effect in case with mild singularity (0 < s < 1/2) for the hard potential(γ > 0), and the argument is similar to the one used in [START_REF] Huo | Regularity of solutions for spatially homogeneous Boltzmann equation without Angular cutoff[END_REF] ( see Theorem 5.2 in Section 5).

This kind of regularization property has been studied by many authors, cf. [START_REF] Alexandre | Littlewood Paley decomposition and regularity issues in Boltzmann homogeneous equations. I. Non cutoff and Maxwell cases[END_REF][START_REF] Alexandre | Littlewood-Paley theory and regularity issues in Boltzmann homogeneous equations. II. Non cutoff case and non Maxwellian molecules[END_REF][START_REF] Desvillettes | Smoothness of the solution of the spatially homogeneous Boltzmann equation without cutoff[END_REF][START_REF] Huo | Regularity of solutions for spatially homogeneous Boltzmann equation without Angular cutoff[END_REF][START_REF] Morimoto | Regularity of solutions to the spatially homogeneous Boltzmann equation without angular cutoff[END_REF][START_REF] Ukai | Local solutions in Gevrey classes to the nonlinear Boltzmann equation without cutoff[END_REF]. However, to our knowledge, it has not yet been completely established in the sense that the kinetic factor Φ(|z|) was modified to avoid the singularity at the origin except the Maxwellian molecule case in previous works, and moreover some extra conditions other than those in Definition 1.1 of weak solution were required in [START_REF] Alexandre | Littlewood-Paley theory and regularity issues in Boltzmann homogeneous equations. II. Non cutoff case and non Maxwellian molecules[END_REF][START_REF] Desvillettes | Smoothness of the solution of the spatially homogeneous Boltzmann equation without cutoff[END_REF].

We would like to emphasize that the result of Theorem 1.2 gives the full regularization property for any weak solution satisfying some natural boundedness condition in some weighted L 1 and L log L space, that requires no differentiation on the solution.

Recently in [START_REF] Chen | Smoothing estimates for Boltzmann equation with full-range interactions: Spatially homogeneous case[END_REF], it was proved that W 1,1 p ∩ H 3 (strong) solutions gain full regularity in the case 0 < s < 1/2. Their method is based on the a priori estimate of the smooth solution, together with results given in [START_REF] Desvillettes | Stability and uniqueness for the spatially homogeneous Boltzmann equation with long-range interactions[END_REF] about the propagation of the norm W 1,1 p and the uniqueness of the solution. Different from [START_REF] Chen | Smoothing estimates for Boltzmann equation with full-range interactions: Spatially homogeneous case[END_REF], we start from the weak solution given in Definition 1.1 without any known uniqueness result. Therefore, a priori estimate for the smooth function is not enough to show the regularity for the weak solution in L 1 with moments. For the proof of Theorem 1.2, some suitable mollifier, acting to the weak solution, becomes necessary, so that its commutator with the collision operator requires some subtle analysis.

Throughout this paper, we will use the following notations: f g means that there exists a generic positive constant C such that f ≤ Cg; while f g means f ≥ Cg. And f ∼ g means that there exist two generic positive constant c 1 and c 2 such that c 1 f ≤ g ≤ c 2 g.

The rest of the paper will be organized as follows. In the next section, we will prove a uniform coercivity estimate that improves the one given in [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF] which has its own interest. The mollifier and the commutator estimate will be given in Section 3. In Section 4 we prove the smoothing effect of weak solution with extra L 2 assumption. The last section is devoted to the proof of Theorem 1.2.

A uniform coercive estimate

In this section, we will improve the coercive estimate for the collision operator obtained in [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF] by removing the restriction on v in a bounded domain.

In view of the definition of the weak solution, for D 0 , E 0 > 0 we set

U(D 0 , E 0 ) = {g ∈ L 1 2 ∩ L log L ; g ≥ 0 , g L 1 ≥ D 0 , g L 1 2 + g L log L ≤ E 0 } . Set B(R) = {v ∈ R 3 ; |v| ≤ R} for R > 0 and set B 0 (R, r) = {v ∈ B(R) ; |v -v 0 | ≥ r} for a v 0 ∈ R 3 and r ≥ 0. It follows from the definition of U(D 0 , E 0 ) that there exist positive constants R > 1 > r 0 depending only on D 0 , E 0 such that (2.1) g ∈ U(D 0 , E 0 ) implies χ B0(R,r0) g ∈ U(D 0 /2, E 0 ) ,
where χ A denotes a characteristic function of the set A ⊂ R 3 . In fact, noting that for R, M > 0

R 2 {|v|>R} gdv + log(1 + M ) {g>M} gdv ≤ E 0 .
We have

{|v|≤R}∩{g≤M} gdv ≥ 3D 0 /4 if R ≥ 2 2E 0 /D 0 and log(1 + M ) ≥ 8E 0 /D 0 , moreover we have {|v-v0|<r0}∩{g≤M} gdv ≤ D 0 /4 if r 0 ≤ (3D 0 /(16π exp(8E 0 /D 0 )) 1/3 .
Proposition 2.1. Suppose that the cross section B of the form (1.2) satisfies (1.3) and (1.4) with 0 < s < 1 and γ > -3. If D 0 , E 0 > 0 and if g ∈ U(D 0 , E 0 ) then there exist positive constants c 0 , C depending only on D 0 , E 0 such that for any f ∈ S(R 3 ),

-Q(g, f ) , f L 2 ≥ c 0 v γ/2 f 2 H s -C v γ/2 f 2 H (-γ/2) + , (2.2)
where a + = max{a, 0} for a ∈ R. Furthermore, if γ + 2s ≤ 0, 0 < s ′ < s and if g belongs to L 3/(3+γ+2s ′ ) -γ then there exists a C 1 > 0 independent of g such that for any f ∈ S(R 3 ),

-Q(g, f ) , f L 2 ≥ c 0 v γ/2 f 2 H s -C + C 1 g L 3/(3+γ+2s ′ ) -γ v γ/2 f 2 H s ′ . (2.3) Remark 2.2.
It should be noted that the above coercive estimate is more precise than Theorem 1.2 of [START_REF] Chen | Smoothing estimates for Boltzmann equation with full-range interactions: Spatially homogeneous case[END_REF] and more adaptable to prove the regularity of weak solutions. In fact, the coercive estimate (2.2) is uniform with respect to g. If γ + 4s > 0 and D(g, g) < ∞ then g belongs to L 3/(3+γ+2s ′ ) -γ , provided that g ∈ L 1 ℓ for a sufficiently large ℓ. In fact, it follows from the proof of Corollary 2.4 below that D(g, g) < ∞ implies √ g ∈ H s γ/2 and hence v γ g ∈ L 3/(3-2s) by means of the Sobolev embedding theorem, which together with Lemma 3.8 below lead us to this conclusion.

Proof. Put

C γ (g, f ) = R 3 ×R 3 ×S 2 b(.)|v -v * | γ g * (f ′ -f ) 2 dvdv * dσ,
and note that

Q(g, f ), f = - 1 2 C γ (g, f ) + 1 2 Φ b g * (f ′2 -f 2 )dvdv * dσ .
It follows from the Cancellation Lemma and Remark 6 in [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF] that

b|v -v * | γ g * (f 2 -f ′2 )dvdv * dσ |v -v * | γ g * f 2 dvdv * g L 1 |γ| f 2 H (-γ/2) + γ/2
, where the last inequality in the case γ ≥ 0 is trivial. While γ < 0, this follows from the fact that

|v -v * | γ v γ {1 |v-v * |≥ v /2 + 1 |v-v * |< v /2 v * -γ |v -v * | γ },
and the Hardy inequality

sup v * |v -v * | γ |F (v)| 2 dv F 2 H -γ/2 for F = v γ/2
f . Furthermore, it follows from the Hardy-Littlewood-Sobolev inequality that

|v -v * | γ g * f 2 dvdv * g L 1 F 2 L 2 + v * |γ| g(v * )F (v) 2 |v -v * | -γ dvdv * g L 1 F 2 L 2 + v |γ| g L 3/(3+γ+2s ′ ) F 2 L 3/(3-2s ′ ) g L 3/(3+γ+2s ′ ) |γ| f 2 H s ′ γ/2
, where we have used the Sobolev embedding in the last inequality.

For the proof of the proposition, it now suffices to consider only the quantity C γ (g, f ). The case γ = 0 is obvious. In fact, by Corollary 3 and Proposition 2 in [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF], there exists a c 0 = c 0 (D 0 , E 0 ) > 0 depending only on D 0 , E 0 > 0 such that

(2.4) C 0 (g, f ) ≥ c 0 {|ξ|≥1} |ξ| s f (ξ) 2 dξ , ∀f ∈ S(R 3 ) ,
where f (ξ) is the Fourier transform of f with respect to the variable v ∈ R 3 . From the proof in [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF], it should be noted that (2.4) holds for any f ∈ L 2 such that the left hand side is finite. We consider the case γ = 0, following the argument used in the proof of Lemma 2 of [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF]. Choose R, r 0 such that (2.1) holds. Let ϕ R be a non-negative smooth function not greater than one, which is 1 for |v| ≥ 4R and 0 for |v| ≤ 2R. In view

of v 4 ≤ |v -v * | ≤ 2 v on supp (χ B(R) ) * ϕ R ,
we have

4 |γ| Φ(|v -v * |)g * (f ′ -f ) 2 ≥ gχ B(R) * v γ/2 ϕ R 2 (f ′ -f ) 2 ≥ gχ B(R) * 1 2 v γ/2 ϕ R f ′ -v γ/2 ϕ R f 2 - v γ/2 ϕ R ′ -v γ/2 ϕ R 2 f ′ 2 .
It follows from the mean value theorem that for a τ ∈ (0, 1)

v γ/2 ϕ R ′ -v γ/2 ϕ R v + τ (v ′ -v) γ/2-1 |v -v * | sin θ 2 v * |γ/2-1| v ′ -v * γ/2 sin θ 2 v * |γ/2|+|γ/2-1| v ′ γ/2 sin θ 2 , because |v -v * |/ √ 2 ≤ |v ′ -v * | ≤ |v + τ (v ′ -v) -v * | ≤ |v -v * | for θ ∈ [0, π/2]. Therefore, we have C γ (g, f ) ≥ 2 -1-2|γ| C 0 (gχ B(R) , ϕ R v γ/2 f ) -C R g L 1 f 2 L 2 γ/2 , (2.5) for a positive constant C R ∼ R |γ|+|γ-2|
. For a set B(4R) we take a finite covering

B(4R) ⊂ ∪ vj ∈B(4R) A j , A j = {v ∈ R 3 ; |v -v j | ≤ r 0 4 } .
For each A j we choose a non-negative smooth function ϕ Aj which is 1 on A j and 0 on {|v -

v j | ≥ r 0 /2}. Note that r 0 2 ≤ |v -v * | ≤ 6R on supp (χ Bj (R,r0) ) * ϕ Aj .
Then we have

Φ(|v -v * |)g * (f ′ -f ) 2 min{r γ + 0 , R -(-γ) + } gχ Bj(R,r0) * ϕ 2 Aj (f ′ -f ) 2 R -γ + min{r γ + 0 , R -(-γ) + } gχ Bj (R,r0) * × 1 2 v γ/2 ϕ Aj f ′ -v γ/2 ϕ Aj f 2 - v γ/2 ϕ Aj ′ -v γ/2 ϕ Aj 2 f ′ 2 . Since v γ/2 ϕ Aj ′ -v γ/2 ϕ Aj R |γ|+1 v ′ γ sin θ/2 if |v * | ≤ R, we obtain C γ (g, f ) min{(r 0 /R) γ + , R -(-γ) + }C 0 (gχ Bj (R,r0) , ϕ Aj v γ/2 f ) (2.6) -C ′ R,r0 g L 1 f 2 L 2 γ/2 , for a positive constant C ′ R,r0 ∼ R 2+2|γ| . It follows from (2.4), (2.5) and (2.6) that there exist c ′ 0 , C, C ′ > 0 depending only on D 0 , E 0 such that C γ (g, f ) ≥ c ′ 0 D s ϕ R v γ/2 f 2 + j D s ϕ Aj v γ/2 f 2 -C f 2 L 2 γ/2 (2.7) ≥ c ′ 0 v γ/2 f 2 H s -C ′ f 2 L 2 γ/2 , because ϕ 2 R + j ϕ 2 Aj ≥ 1 and commutators [ D s , ϕ R ], [ D s , ϕ Aj ] are L 2 bounded operators. Remark 2.3. (2.7) holds for any f ∈ L 2 γ/2 such that C γ (g, f ) is finite, because of the remark after (2.4). Similarly, (2.2) holds for any f ∈ L 2 γ/2 if γ ≥ 0 and if its left hand side is finite. Corollary 2.4. Let f (t) ∈ L 1
max{2,γ} ∩ L log L be a weak solution. Suppose that the cross section B is the same as in Propostion 2.1. Assume that for a T > 0 we have

T 0 D(f (τ ), f (τ ))dτ < ∞ . (2.8)
Then there exist positive constants c f and C f > 0 such that

(2.9) c f T 0 f (τ ) 2 H s γ/2 dτ ≤ T 0 D(f (τ ), f (τ ))dτ + C f T 0 f (τ ) L 1 γ + dτ . Proof. We first consider the case γ < 0. Note D(f, f ) = - B f ′ * f ′ -f * f log f dvdv * dσ = 1 4 B f ′ f ′ * -f f * log f ′ f ′ * -log f f * dvdv * dσ ≥ 1 4 b(•) v -v * γ f ′ f ′ * -f f * log f ′ f ′ * -log f f * dvdv * dσ, because (x -y)(log x -log y) ≥ 0 and Φ(|v -v * |) ≥ v -v * γ . Then we have D(f, f ) ≥ - b(•) v -v * γ f ′ * f ′ -f * f log f dvdv * dσ = b(•) v -v * γ f * f log f f ′ -f + f ′ dvdv * dσ + b(•) v -v * γ f * (f -f ′ ) dvdv * dσ ≥ b(•) v -v * γ f * f ′ -f 2 dvdv * dσ -C f 2 L 1 ,
where we have used x log(x/y) -x + y ≥ ( √ x -√ y) 2 and the Cancellation Lemma in the last inequality, as the same as in the proof of Theorem 1 in [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF]. Since the proof of Propostion 2.1 still works with Φ replaced by v -v * γ , we obtain the desired estimate in view of Remark 2.3. The case γ ≥ 0 is easier because we do not need to replace Φ by v -v * γ when Cancellation Lemma is applied.

Mollifier and commutator estimate

Since the weak solution is only in L 1 , we can not use it directly as a test function in the definition of weak solution to get the energy estimate. To overcome this, we need to mollify it by some suitable mollifiers so that to consider the commutators between the mollifiers and the collision operator becomes necessary.

Let λ, N 0 ∈ R, δ > 0 and put

M δ λ (ξ) = ξ λ (1 + δ ξ ) N0 , ξ = (1 + |ξ| 2 ) 1/2 . (3.1) Then M δ λ (ξ) belongs to the symbol class S λ-N0 1,0
of pseudo-differential operators and belongs to S λ 1,0 uniformly with respect to δ ∈]0, 1]. M δ λ (D v ) denotes the associated pseudo-differential operator. By direct calculation we see that for any α there exists a C α > 0 independent of δ such that

(3.2) ∂ α ξ M δ λ (ξ) ≤ C α M δ λ (ξ) ξ -|α| .
Lemma 3.1. There exists a constant C > 0 independent of δ such that

M δ λ (ξ) -M δ λ (ξ -ξ * ) (3.3) ≤ C ξ λ 1 ξ * ≥ √ 2|ξ| + CM δ λ (ξ -ξ * ) 1 ξ * ≥|ξ|/2 + ξ * ξ 1 |ξ|/2> ξ * + CM δ λ (ξ -ξ * ) M δ λ (ξ * ) 1 + δ ξ -ξ * N0 ξ -ξ * λ 1 √ 2|ξ|> ξ * ≥|ξ|/2 . And if p ≥ N 0 -λ M δ λ (ξ) -M δ λ (ξ -ξ * ) ≤ CM δ λ (ξ -ξ * ) ξ * ξ p 1 ξ * ≥ √ 2|ξ| (3.4) + M δ λ (ξ * ) 1 + δ ξ -ξ * N0 ξ -ξ * λ + 1 1 √ 2|ξ|> ξ * ≥|ξ|/2 + ξ * ξ 1 |ξ|/2> ξ * .
Proof. We first note

(3.5)    ξ ξ * ∼ ξ -ξ * , on supp 1 ξ * ≥ √ 2|ξ| , ξ ∼ ξ -ξ * , on supp 1 ξ * ≤|ξ|/2 , ξ ∼ ξ * ξ -ξ * , on supp 1 √ 2|ξ|≥ ξ * ≥|ξ|/2 . Since ξ p M δ λ (ξ) is increasing function of ξ , we have ξ p M δ λ (ξ) ξ * p M δ λ (ξ * ) ∼ ξ * p M δ λ (ξ -ξ * ) on supp 1 ξ * ≥ √ 2|ξ| , and trivially, M δ λ (ξ) ≤ ξ λ . Note that M δ λ (ξ) ∼ M δ λ (ξ * ) ∼ M δ λ (ξ -ξ * ) M δ λ (ξ * ) 1 + δ ξ -ξ * N0 ξ -ξ * λ on supp 1 √ 2|ξ|≥ ξ * ≥|ξ|/2 .
By the mean value theorem, we have

M δ λ (ξ) -M δ λ (ξ -ξ * ) ≤ 1 0 | ∇ ξ M δ λ (ξ + τ (ξ -ξ * ))|dτ |ξ * | M δ λ (ξ -ξ * ) ξ * ξ on supp 1 ξ * ≤|ξ|/2 .
Here we have used (3.2) and the second formula of (3.5). The above estimates imply (3.4) and (3.3).

For the kinetic factor |v-v * | γ , we need to take into account the singular behavior close to |v -v * | = 0 except γ = 0. Therefore, we decompose the kinetic factor in two parts. Let 0 ≤ φ(z) ≤ 1 be a smooth radial function with value 1 for z close to 0, and 0 for large values of z.

Set Φ γ (z) = Φ γ (z)φ(z) + Φ γ (z)(1 -φ(z)) = Φ c (z) + Φ c(z).
And then correspondingly we can write

Q(f, g) = Q c (f, g) + Q c(f, g),
where the kinetic factor in the collision operator is defined according to the decomposition respectively. Since Φ c(z) is smooth, and Φ c(z) Φγ (z), where Φγ (| z |) = (1 + |z| 2 ) γ/2 is the regular kinetic factor studied in [START_REF] Alexandre | Regularizing effect and local existence for non-cutoff Boltzmann equation[END_REF]. Then Q c(f, g) has similar properties as for Q Φγ (f, g) as regard to the upper bound and commutator estimations. We recall the Proposition 2.9 of [START_REF] Alexandre | Regularizing effect and local existence for non-cutoff Boltzmann equation[END_REF]. Proposition 3.2. Let λ ∈ R and M (ξ) be a positive symbol of pseudo-differential operator in S λ 1,0 in the form of M (ξ) = M (|ξ| 2 ). Assume that, there exist constants c, C > 0 such that for any s, τ > 0

c -1 ≤ s τ ≤ c implies C -1 ≤ M (s) M (τ ) ≤ C,
and M (ξ) satisfies

|M (α) (ξ)| = |∂ α ξ M (ξ)| ≤ C α M (ξ) ξ -|α| , for any α ∈ N 3 . Then, if 0 < s < 1/2, for any N > 0 there exists a C N > 0 such that |(M (D v )Q c(f, g) -Q c(f, M (D v )g), h) L 2 | (3.6) ≤ C N f L 1 γ + M (D v ) g L 2 γ + + g H λ-N γ + h L 2 .
Furthermore, if 1/2 < s < 1, for any N > 0 and any ε > 0 , there exists a C N,ε > 0 such that

|(M (D v )Q c(f, g) -Q c(f, M (D v )g), h) L 2 | (3.7) ≤ C N,ε f L 1 (2s+γ-1) + M (D v )g H 2s-1+ε (2s+γ-1) + + g H λ-N γ + h L 2 .
When s = 1/2 we have the same estimate as (3.7) with (2s + γ -1) replaced by (γ + κ) for any small κ > 0.

Remark 3.3. In the case γ > 0 and 0 < s < 1/2, it follows from Lemma 3.1 of [START_REF] Huo | Regularity of solutions for spatially homogeneous Boltzmann equation without Angular cutoff[END_REF] and its proof that (3.6) can be replaced by

|(M (D v )Q c(f, g) -Q c(f, M (D v )g), h) L 2 | ≤ C N f L 1 γ M (D v ) g L 2 γ/2 + g H λ-N γ/2 h L 2 γ/2
. From now on, we concentrate on the study for the singular part Q c (f, g).

Proposition 3.4. Assume that 0 < s < 1, γ + 2s > 0. Let 0 < s ′ < s satisfy γ + 2s ′ > 0 and 2s ′ ≥ (2s -1) + . If (3.8) 5 + γ ≥ 2(N 0 -λ) , then we have 1) If s ′ + λ < 3/2, then M δ λ (D v ) Q c (f, g) -Q c (f, M δ λ (D v ) g), h f L 1 ||M δ λ (D v )g|| H s ′ ||h|| H s ′ . 2) If s ′ + λ ≥ 3/2, then M δ λ (D v ) Q c (f, g)-Q c (f, M δ λ (D v ) g), h f L 1 + f H (λ+s ′ -3) + ||M δ λ (D v )g|| H s ′ ||h|| H s ′ .
Furthermore, if s > 1/2 and γ > -1, then the assumption (3.8) can be relaxed to

(3.9) 4 + γ + 2s > 2(N 0 -λ) .
Proof. For the proof we shall follow some of arguments from [START_REF] Alexandre | Boltzmann equation without angular cutoff in the whole space: I, Global existence for soft potential[END_REF]. By using the formula from the Appendix of [START_REF] Alexandre | Entropy dissipation and long-range interactions[END_REF], we have

(Q c (f, g), h) = R 3 ×R 3 ×S 2 b ξ |ξ| • σ [ Φc (ξ * -ξ -) -Φc (ξ * )] × f (ξ * )ĝ(ξ -ξ * ) ĥ(ξ)dξdξ * dσ , where ξ -= 1 2 (ξ -|ξ|σ). Therefore M δ λ (D) Q c (f, g) -Q c (f, M δ λ (D) g), h = b ξ |ξ| • σ [ Φc (ξ * -ξ -) -Φc (ξ * )] × M δ λ (ξ) -M δ λ (ξ -ξ * ) f (ξ * )ĝ(ξ -ξ * ) ĥ(ξ)dξdξ * dσ = |ξ -|≤ 1 2 ξ * • • • dξdξ * dσ + |ξ -|≥ 1 2 ξ * • • • dξdξ * dσ =A 1 (f, g, h) + A 2 (f, g, h) .
Then, we write A 2 (f, g, h) as

A 2 = b ξ |ξ| • σ 1 |ξ -|≥ 1 2 ξ * Φc (ξ * -ξ -) • • • dξdξ * dσ - b ξ |ξ| • σ 1 |ξ -|≥ 1 2 ξ * Φc (ξ * ) • • • dξdξ * dσ = A 2,1 (f, g, h) -A 2,2 (f, g, h) .
On the other hand, for A 1 we use the Taylor expansion of Φc of order 2 to have

A 1 = A 1,1 (f, g, h) + A 1,2 (f, g, h),
where

A 1,1 = b ξ -• (∇ Φc )(ξ * )1 |ξ -|≤ 1 2 ξ * M δ λ (ξ) -M δ λ (ξ -ξ * ) × f (ξ * )ĝ(ξ -ξ * ) h(ξ)dξdξ * dσ,
and A 1,2 (f, g, h) is the remaining term corresponding to the second order term in the Taylor expansion of Φc . We first consider A 1,1 . By writing

ξ -= |ξ| 2 ξ |ξ| • σ ξ |ξ| -σ + 1 - ξ |ξ| • σ ξ 2 ,
we see that the integral corresponding to the first term on the right hand side vanishes because of the symmetry on S 2 . Hence, we have

A 1,1 = R 6 K(ξ, ξ * ) M δ λ (ξ) -M δ λ (ξ -ξ * ) f (ξ * )ĝ(ξ -ξ * ) h(ξ)dξdξ * ,
where

K(ξ, ξ * ) = S 2 b ξ |ξ| • σ 1 - ξ |ξ| • σ ξ 2 • (∇ Φc )(ξ * )1 |ξ -|≤ 1 2 ξ * dσ . Note that |∇ Φc (ξ * )| 1 ξ * 3+γ+1 , from the Appendix of [5]. If √ 2|ξ| ≤ ξ * , then sin(θ/2) |ξ| = |ξ -| ≤ ξ * /2 because 0 ≤ θ ≤ π/2,
and we have

|K(ξ, ξ * )| π/2 0 θ 1-2s dθ ξ ξ * 3+γ+1 1 ξ * 3+γ ξ ξ * .
On the other hand, if

√ 2|ξ| ≥ ξ * , then |K(ξ, ξ * )| π ξ * /(2|ξ|) 0 θ 1-2s dθ ξ ξ * 3+γ+1 1 ξ * 3+γ ξ ξ * 2s-1 .
Hence we obtain

|K(ξ, ξ * )| 1 ξ * 3+γ ξ ξ * 1 ξ * ≥ √ 2|ξ| (3.10) +1 √ 2|ξ|≥ ξ * ≥|ξ|/2 + ξ ξ * 2s-1 1 |ξ|/2≥ ξ * .
Similar to A 1,1 , we can also write

A 1,2 = R 6 K(ξ, ξ * ) M δ λ (ξ) -M δ λ (ξ -ξ * ) f (ξ * )ĝ(ξ -ξ * ) h(ξ)dξdξ * , where K(ξ, ξ * ) = S 2 b ξ |ξ| • σ 1 0 (1 -τ )(∇ 2 Φc )(ξ * -τ ξ -) • ξ -• ξ -1 |ξ -|≤ 1 2 ξ * dτ dσ .
Again from the Appendix of [START_REF] Alexandre | Boltzmann equation without angular cutoff in the whole space: I, Global existence for soft potential[END_REF], we have

|(∇ 2 Φc )(ξ * -τ ξ -)| 1 ξ * -τ ξ -3+γ+2 1 ξ * 3+γ+2 , because |ξ -| ≤ ξ * /2, which leads to | K(ξ, ξ * )| 1 ξ * 3+γ ξ ξ * 2 1 ξ * ≥ √ 2|ξ| (3.11) +1 √ 2|ξ|≥ ξ * ≥|ξ|/2 + ξ ξ * 2s 1 |ξ|/2≥ ξ * .
It follows from (3.4) of Lemma 3.1, (3.10) and (3.11) that if p = N 0 -λ, then

|A 1 | |A 1,1 | + |A 1,2 | A 1 + A 2 + A 3 ,
where (3.12)

A 1 = R 6 f (ξ * ) ξ * 3+γ M δ λ (ξ -ξ * )ĝ(ξ -ξ * ) | ĥ(ξ)| ξ * ξ p-1 1 ξ * ≥ √ 2|ξ| dξ * dξ ,
and

A 2 = R 6 f (ξ * ) ξ * 3+γ M δ λ (ξ -ξ * )ĝ(ξ -ξ * ) | ĥ(ξ)| ×   M δ λ (ξ * ) 1 + δ ξ -ξ * N0 ξ -ξ * λ + 1   1 √ 2|ξ|> ξ * ≥|ξ|/2 dξ * dξ ; A 3 = R 6 f (ξ * ) ξ * 3+γ M δ λ (ξ -ξ * )ĝ(ξ -ξ * ) | ĥ(ξ)| ξ ξ * 2s-1 1 |ξ|/2> ξ * dξ * dξ .
Putting Ĝ(ξ) = ξ s ′ M δ λ (ξ)ĝ(ξ) and Ĥ(ξ) = ξ s ′ ĥ(ξ), then we have (3.8). Here we have used the fact that (3.8) can be relaxed to (3.9) to get the desired estimate for A 1 . Here we remark that (3.8) or (3.9) are only required to estimate the part A 1 .

|A 1 | 2 f 2 L ∞ R 3 dξ * ξ * 3+γ+2s ′ R 3 ξ | Ĥ(ξ)| 2 dξ × R 3 dξ ξ 3+γ+2s ′ R 3 ξ ξ * 3+γ-2(p-1)
1 ξ * ≥ √ 2|ξ| | Ĝ(ξ -ξ * )| 2 dξ * f 2 L 1 M δ λ g 2 H s ′ h 2 H s ′ , because γ + 2s ′ > 0, and 3 + γ -2(p -1) ≥ 0 from
ξ * ∼ ξ -ξ * if ξ * ≥ √ 2|ξ|. We consider the case s > 1/2, γ > -1. For s > s ′ > 1/2 we have |A 1 | 2 f 2 L ∞ R 3 dξ * ξ * 3+γ+1 R 3 ξ | Ĥ(ξ)| 2 dξ × R 3 dξ ξ 3+γ+1 R 3 ξ ξ * 3+γ+(2s ′ -1)-2(p-1) 1 ξ * ≥ √ 2|ξ| ξ 2(2s ′ -1) | Ĝ(ξ -ξ * )| 2 dξ * f 2 L 1 M δ λ g 2 H s ′ h 2 H s ′ , if 3 + γ + (2s ′ -1) -2(p -1) > 0. Thus
Noting the third formula of (3.5), we get

|A 2 | 2 R 3 | f (ξ * )| 2 dξ * ξ * 6+2γ+2s ′ ξ-ξ * ξ * ξ * 2λ ξ -ξ * 2(λ+s ′ ) + ξ * 2(λ-N0) ξ -ξ * 2(λ-N0+s ′ ) + 1 ξ -ξ * 2s ′ dξ × R 6 | Ĝ(ξ -ξ * )| 2 | Ĥ(ξ)| 2 dξdξ * . If λ + s ′ < 3/2, then |A 2 | 2 R 3 | f (ξ * )| 2 ξ * 3+2(γ+2s ′ ) dξ * M δ λ g 2 H s ′ h 2 H s ′ f 2 L 1 M δ λ g 2 H s ′ h 2 H s ′ . If λ + s ′ ≥ 3/2, then |A 2 | 2 R 3 | f (ξ * )| 2 ξ * 2(λ+s ′ +ε) ξ * 6+2(γ+2s ′ ) dξ * M δ λ g 2 H s ′ h 2 H s ′ f 2 H λ+s ′ -3 M δ λ g 2 H s ′ h 2 H s ′ .
Since 2s ′ ≥ 2s -1 and γ + 2s ′ > 0, we have

|A 3 | 2 f 2 L ∞ R 3 dξ * ξ * 3+γ+2s ′ R 3 | Ĥ(ξ)| 2 dξ × R 3 dξ * ξ * 3+γ+2s ′ R 3 ξ * ξ 2{2s ′ -(2s-1)} 1 |ξ|/2≥ ξ * | Ĝ(ξ -ξ * )| 2 dξ f 2 L 1 M δ λ g 2 H s ′ h 2 H s ′ .
The above four estimates yield the desired estimate for A 1 (f, g, h).

Next we consider A 2 (f, g, h) = A 2,1 (f, g, h) -A 2,2 (f, g, h). The fact that |ξ -| = |ξ| sin(θ/2) ≥ ξ * /2 and θ ∈ [0, π/2] imply √ 2|ξ| ≥ ξ * . Write A 2,j = R 6 K j (ξ, ξ * ) M δ λ (ξ) -M δ λ (ξ -ξ * ) f (ξ * )ĝ(ξ -ξ * ) h(ξ)dξdξ * .
Then we have

|K 2 (ξ, ξ * )| = b ξ |ξ| • σ Φc (ξ * )1 |ξ -|≥ 1 2 ξ * dσ 1 ξ * 3+γ ξ 2s ξ * 2s 1 √ 2|ξ|≥ ξ * 1 ξ * 3+γ 1 √ 2|ξ|≥ ξ * ≥|ξ|/2 + ξ ξ * 2s 1 |ξ|/2≥ ξ * ,
which shows the desired estimate for A 2,2 , by exactly the same way as the estimation on A 2 and A 3 . As for A 2,1 , it suffices to work under the condition

|ξ * • ξ -| ≥ 1 2 |ξ -| 2 .
In fact, on the complement of this set, we have |ξ * -ξ -| > |ξ * |, and Φc (ξ * -ξ -) is the the same as Φc (ξ * ). Therefore, we consider A 2,1,p which is defined by replacing K 1 (ξ, ξ * ) by

K 1,p (ξ, ξ * ) = S 2 b ξ |ξ| • σ Φc (ξ * -ξ -)1 |ξ -|≥ 1 2 ξ * 1 |ξ * • ξ -|≥ 1 2 |ξ -| 2 dσ .
By noting

1 = 1 ξ * ≥|ξ|/2 1 ξ-ξ * ≤2 ξ * -ξ -+ 1 ξ * ≥|ξ|/2 1 ξ-ξ * >2 ξ * -ξ -+ 1 ξ * <|ξ|/2 ,
we decompose respectively

A 2,1,p = B 1 + B 2 + B 3 .
On the sets for above integrals, we have ξ Putting again Ĝ(ξ) = ξ s ′ M δ λ (ξ)ĝ(ξ) and Ĥ(ξ) = ξ s ′ ĥ(ξ), by Lemma 3.1 we have

* -ξ - ξ * , because |ξ -| |ξ * | that follows from |ξ -| 2 ≤ 2|ξ * • ξ -| |ξ -| |ξ * |.
|B 1 | 2   Φc (ξ * -ξ -) ξ * -ξ -s ′ 2 | f (ξ * )| 2 × M δ λ (ξ * ) 2 1 ξ-ξ * ξ * -ξ - ξ -ξ * 2(s ′ +λ) + δ 2N0 1 ξ-ξ * ξ * -ξ - ξ -ξ * 2(s ′ +λ-N0) + 1 ξ-ξ * ξ * -ξ - ξ -ξ * 2s ′ dξdξ * dσ | Ĝ(ξ -ξ * )| 2 | Ĥ(ξ)| 2 dσdξdξ * .
Noting that ξ * ∼ ξ ∼ ξ + ξ + -u + u with u = ξ * -ξ -, and moreover u ξ * , we see that if λ ≥ 0 then

M δ λ (ξ * ) 2 ξ + -u 2λ + u 2λ (1 + δ u ) 2N0 .
This is true even if λ < 0. Therefore, if s ′ + λ < 3/2 we have

|B 1 | 2 f 2 L 1 u -(6+2γ+2s ′ ) × ξ + -u ≤ u ( ξ + -u 2s ′ + u 2λ ) (1 + δ u ) 2N0 1 ξ + -u 2(s ′ +λ) + δ 2N0 ξ + -u 2(s ′ +λ-N0) dξ + + ξ + -u ≤ u dξ + ξ + -u 2s ′ du M δ λ (D)g 2 H s ′ h 2 H s ′ f 2 L 1 M δ λ (D)g 2 H s ′ h 2 H s ′ du u 3+2(γ+2s ′ ) .
Here we have used the change of variables (ξ, ξ * ) → (ξ + , u) whose Jacobian is

∂(ξ + , u) ∂(ξ, ξ * ) = ∂ξ + ∂ξ = I + ξ |ξ| ⊗ σ 8 = |1 + ξ |ξ| • σ| 8 = cos 2 (θ/2) 4 ≥ 1 8 , θ ∈ [0, π 2 ]. If s ′ + λ ≥ 3/2, in view of γ + 2s ′ > 0 we have |B 1 | 2 | f (ξ * )| 2 u 2λ-(6+2γ+2s ′ ) log u dξ * M δ λ (D)g 2 H s ′ h 2 H s ′ f 2 H (λ+s ′ -3) + M δ λ (D)g 2 H s ′ h 2 H s ′ ,
because u ξ * on the set of the integral. As for B 2 , we first note that, on the set of the integral,

ξ + = ξ -ξ * + u implies ξ -ξ * 2 ≤ ξ -ξ * -|u| ≤ ξ + ≤ ξ -ξ * + |u| ξ -ξ * , so that ( M δ λ (ξ) ∼ ) M δ λ (ξ + ) ∼ M δ λ (ξ -ξ * ) .
and hence we have by the Cauchy-Schwarz inequality

|B 2 | 2 f 2 L 1 | Φc (ξ * -ξ -)| ξ * -ξ -2s ′ | Ĝ(ξ -ξ * )| 2 dσdξdξ * × | Φc (ξ * -ξ -)| ξ * -ξ -2s ′ | Ĥ(ξ)| 2 dσdξdξ * f 2 L 1 M δ λ (D)g 2 H s ′ h 2 H s ′ , because γ + 2s ′ > 0.
On the set of integral for B 3 we recall ξ ∼ ξ -ξ * and

|M δ λ (ξ) -M δ λ (ξ -ξ * )| ξ * ξ M δ λ (ξ -ξ * ) , so that |B 3 | 2 f 2 L 1 b 1 |ξ -|≥ 1 2 ξ * | Φc (ξ * -ξ -)| ξ * ξ 2s ′ +1 | Ĝ(ξ -ξ * )| 2 dσdξdξ * × b 1 |ξ -|≥ 1 2 ξ * | Φc (ξ * -ξ -)| ξ * ξ 2s ′ +1 | Ĥ(ξ)| 2 dσdξdξ * .
We use the change of variables

ξ * → u = ξ * -ξ -. Note that |ξ -| ≥ 1 2 u + ξ - implies |ξ -| ≥ u / √ 10
, and that

ξ * ξ * -ξ -+ |ξ| sin θ/2 .
Then we have

b 1 |ξ -|≥ 1 2 ξ * | Φc (ξ * -ξ -)| ξ * ξ 2s ′ +1 dσdξ * 1 u |ξ| u 3+γ+2s ′ u ξ 2s ′ × b 1 |ξ -| u u ξ dσ + b sin(θ/2)1 |ξ -| u dσ du ,
from which we also can obtain the desired bound for B 3 if γ + 2s ′ > 0. In fact, the first integral on the sphere is bounded above by u 1-2s / ξ 1-2s and the second integral has the same bound when s > 1/2. On the other hand, the second integral is bounded by a constant when s < 1/2 and by | log( ξ / u )| when s = 1/2. The proof of 1) and 2) of the proposition is then completed.

The combination of Proposition 3.4 and Proposition 3.2 together with its remark yield the following theorem.

Theorem 3.5. Assume that 0 < s < 1, γ + 2s > 0. Let 0 < s ′ < s satisfy γ + 2s ′ > 0, 2s ′ ≥ (2s -1) + . If a pair (N 0 , λ) satisfies (3.8) then we have 1) If s ′ + λ < 3/2, we have M δ λ (D v ) Q(f, g) -Q(f, M δ λ (D v ) g), h f L 1 γ + +(2s-1) + ||M δ λ (D v )g|| H s ′ γ + +(2s-1) + ||h|| H s ′ . 2) If s ′ + λ ≥ 3/2, we have M δ λ (D v ) Q(f, g) -Q(f, M δ λ (D v ) g), h f L 1 γ + +(2s-1) + + f H (λ+s ′ -3) + ||M δ λ (D v )g|| H s ′ γ + +(2s-1) + ||h|| H s ′ .
Furthermore, if s > 1/2 and γ > -1 then the same conclusion as above holds even when the condition (3.8) is replaced by (3.9). When 0 < s < 1/2 and γ > 0, we can use

M δ λ (D v )g H s ′ γ/2 h H s ′ γ/2
for the corresponding terms in above estimates with smaller weight in the variable v.

We recall also the following upper bound estimate, Proposition 2.1 of [START_REF] Alexandre | Boltzmann equation without angular cutoff in the whole space: III, Qualitative properties of solutions[END_REF], where we need the assumption γ + 2s > 0 (see also Theorem 2.1 from [START_REF] Alexandre | Regularizing effect and local existence for non-cutoff Boltzmann equation[END_REF]).

Proposition 3.6. Let γ + 2s > 0 and 0 < s < 1. For any r ∈ [2s -1, 2s] and ℓ ∈ [0, γ + 2s] we have

Q(f, g), h L 2 (R 3 ) f L 1 γ+2s g H r γ+2s-ℓ h H 2s-r ℓ .
In the following analysis, we shall need an interpolation inequality concerning weighted type Sobolev spaces in v, see for instance [START_REF] Desvillettes | Smoothness of the solution of the spatially homogeneous Boltzmann equation without cutoff[END_REF][START_REF] Huo | Regularity of solutions for spatially homogeneous Boltzmann equation without Angular cutoff[END_REF].

Lemma 3.7. For any k ∈ R, p ∈ R + , δ > 0, f 2 H k p (R 3 v ) ≤ C δ f H k-δ 2p (R 3 v ) f H k+δ 0 (R 3 v )
. And also another interpolation in L q is given by Lemma 3.8. Let 1 < q < p. Assume that f ∈ L p and v ℓ f ∈ L 1 for any ℓ. Then v ℓ f ∈ L q for any ℓ. More precisely, we have

f L q ℓ ≤ 2 f p(q-1) q(p-1) L p f p-q q(p-1) L 1 ℓq(p-1) p-q .
Proof. Take λ > 0, we rewrite

f q L q ℓ = v ℓq |f (v)| q-p ≤λ v ℓq |f (v)| q dv + v ℓq |f (v)| q-p >λ v ℓq |f (v)| q dv ≤ λ f p L p + λ q-1 q-p f L 1 ℓq(p-1) p-q . Taking λ = f (p-q) (p-1) L 1 ℓq(p-1) p-q f - p(p-q) (p-1)
L p , we obtain the desired estimate.

Smoothing effect of L 2 weak solutions

We start from a weak solution in L 2 with bounded moments.

Theorem 4.1. Assume that 0 < s < 1, γ+2s > 0. If f belongs to L ∞ ([t 0 , T ]; L 2 ℓ (R 3
)) for any ℓ ∈ N and is a non-negative weak solution of (1.1) , then for any t 0 < t0 < T , we have

f ∈ L ∞ ([ t0 , T ]; S(R 3 )).
Proof. Without loss of generality, take t 0 = 0. Assume that, for a ≥ 0, we have sup

[0,T ] f (t, •) H a ℓ < ∞ for any ℓ ∈ N. (4.1) Take λ(t) = N t + a for N > 0. Choose N 0 = a + (5 + γ)/2. Then the pair (N 0 , λ(t)) satisfies (3.8). If we choose N, T 1 > 0 such that N T 1 = (1 -s), then λ(T 1 ) -N 0 -a ≤ λ(T 1 ) -N 0 < -3/2 , from which we have, for t, t ′ ∈ [0, T 1 ], (4.2) M δ λ(t) f (t ′ ) ∈ L ∞ ([0, T 1 ] × [0, T 1 ]; H 3/2 ℓ (R 3 ) ∩ L ∞ (R 3
)), because of (4.1). By the same way as in (3.5) and (3.6) of [START_REF] Morimoto | Regularity of solutions to the spatially homogeneous Boltzmann equation without angular cutoff[END_REF], we have

(4.3) M δ λ(t) f (t) ∈ C([0, T 1 ]; L 2 (R 3
)), and for any t ∈]0, T 1 ], we have

1 2 R 3 M δ λ(t) f (t) 2 dv - 1 2 t 0 R 3 f (τ ) ∂ τ (M δ λ(τ ) ) 2 f (τ )dvdτ = 1 2 R 3 M δ λ(0) f 0 2 dv (4.4) + t 0 Q f (τ ), M δ λ(τ ) f (τ ) , M δ λ(τ ) f (τ ) L 2 dτ + t 0 M δ λ(τ ) Q f (τ ), f (τ ) -Q f (τ ), M δ λ(τ ) f (τ ) , M δ λ(τ ) f (τ ) L 2 dτ, by taking (M δ λ(t) ) 2 f (t)
as a test function in the definition of the weak solution, though it does not belong to L ∞ ([0, T 1 ]; W 2,∞ (R 3 )). In fact, we can show (4.3) and (4.4) under a weaker condition than (4.2), which will be given in Lemma 4.3 below.

Noting

∂ t M δ λ(t) = N (log ξ )M δ λ(t)
, by Theorem 3.5 we have

1 2 M δ λ f (t) 2 L 2 ≤ 1 2 f (0) 2 H a + t 0 Q(f (τ ), M δ λ f (τ ) ), M δ λ f (τ ) dτ + C f t 0 M δ λ f (τ ) H s ′ (2s+γ-1) + M δ λ f (τ ) H s ′ dτ (4.5) + CN t 0 (log D ) 1/2 M δ λ f (τ ) 2 L 2 dτ .
Since the uniform coercive estimate (2.2) together with the interpolation in the Sobolev space yields

Q(f (τ ), M δ λ f (τ ) ), M δ λ f (τ ) ≤ -c f M δ λ f (τ ) 2 H s γ/2 + C f f (τ ) 2 H -2 γ/2
, by means of Lemma 3.7 we have (4.6)

M δ λ f (t) 2 L 2 + c f t 0 M δ λ f (τ ) 2 H s γ + /2 dτ ≤ f (0) 2 H a + C f t 0 f (τ ) 2 H a ℓ dτ .
Taking δ → +0 and t = T 1 , we have f (T 1 ) ∈ H λ(T1) = H N T1+a . This is true for any 0

< T 1 ≤ T . Choosing N = (1 -s)T -1 1 , we have that for any 0 < T 1 ≤ T , f (T 1 ) ∈ H (1-s)+a . Fix 0 < s 0 < (1 -s).
Then, by using Lemma 3.7 and assumption (4.1), we see that for any 0 < t 1 < t0 and any ℓ,

sup [t1,T ] f (t, •) H s 0 +a ℓ < ∞ .
We can restart by replacing a by a + s 0 = a 1 and t 0 by t 1 . By induction, for a 0 = 0, a k = k s 0 , and t k = t0 -(2k) -1 ( t0 -t 0 ), we have for any k ∈ N and any ℓ,

f ∈ L ∞ ([t k , T ]; H a k ℓ (R 3
)), which concludes the proof of Theorem 4.1.

Remark 4.2. When 0 < s < 1/2 and γ > 0 we can use

t 0 M δ λ f (τ ) 2 H s ′ γ/2
dτ for the corresponding term in (4.5). Hence, instead of (4.6), we can obtain

M δ λ f (t) 2 L 2 ≤ f (0) 2 H a + C f t 0 f (τ ) 2 H -2 γ/2 dτ , which shows that f (t) ∈ L ∞ ([0, T ]; L 2 ∩ L 1 2 (R 3 )) implies f (t) ∈ H ∞ (R 3 ) for t > 0. Lemma 4.3. Let T 1 > 0 and let M δ λ(t) (ξ) be defined by (3.1) with λ = λ(t) = N t+a for N T 1 < 1 and a ∈ R. Suppose that f ∈ L 1 ([0, T 1 ]; L 1 max{γ+2s,2} (R 3 )) ∩ L ∞ ([0, T 1 ]; H a (R 3 )).
If there exists s 1 > s such that

M δ λ(t) f (t ′ , v) ∈ L ∞ ([0, T 1 ] t × [0, T 1 ] t ′ ; H s1 ℓ0 (R 3 v ))
for ℓ 0 = max{γ/2 + s, γ + + (2s -1) + }, then we have (4.3), and (4.4) for any t ∈ [0, T 1 ]. Furthermore, if 0 < s < 1/2 and γ > 0 we can take ℓ 0 = γ/2 + s.

Proof. In Definition 1.1, taking ϕ(t, v) = ψ(v) ∈ C ∞ 0 (R 3 ), we get R 3 f (t)ψdv - R 3 f (t ′ )ψdv = t t ′ dτ R 3 Q(f (τ ), f (τ ))ψdv , 0 ≤ t ′ ≤ t ≤ T 0 .
By taking a sequence

{ψ j (v)} ∞ j=1 ⊂ C ∞ 0 (R 3 v ) such that (M δ λ(t) ) -1 ψ j → M δ λ(t) f (t) in H s ℓ0 , we can set ψ = (M δ λ(t) ) 2 f (t) for a fixed t because R 3 f (t ′ )(M δ λ(t) ) 2 f (t)dv ≤ M δ λ(t) f (t ′ ) L 2 M δ λ(t) f (t) L 2 < ∞ ,
and by noting

(Q(f, f ), (M δ λ ) 2 f ) = (Q(f, M δ λ f ), M δ λ f ) + (M δ λ Q(f, f ) -Q(f, M δ λ f ), M δ λ f ) , we have t t ′ dτ R 3 Q(f (τ ), f (τ ))(M δ λ(t) ) 2 f (t)dv t t ′ f (τ ) L 1 γ+2s dτ sup τ,t∈[0,T1] M δ λ(t) f (τ ) H s γ/2+s M δ λ(t) f (t) H s γ/2+s + t t ′ f (τ ) L 1 γ + +(2s-1) + dτ + |t -t ′ | sup τ ∈[0,T1] f (τ ) H a × sup τ,t∈[0,T1] M δ λ(t) f (τ ) H s γ + +(2s-1) + M δ λ(t) f (t) H s ,
thanks to Proposition 3.6 and Theorem 3.5. Setting ψ = (M δ λ(t ′ ) ) 2 f (t ′ ) also and taking the sum, we obtain

R 3 M δ λ(t) f (t) 2 dv - R 3 M δ λ(t ′ ) f (t ′ ) 2 dv = R 3 f (t) (M δ λ(t) ) 2 -(M δ λ(t ′ ) ) 2 f (t ′ )dv (4.7) + t t ′ dτ R 3 Q(f (τ ), f (τ )) (M δ λ(t) ) 2 f (t) + (M δ λ(t ′ ) ) 2 f (t ′ ) dv .
Since it follows from the mean value theorem that the first term on the right hand side is estimated by

|t -t ′ | sup 0≤t ′ <τ <t≤T1 M δ λ(τ ) f (t) L 2 (log D )M δ λ(τ ) f (t ′ ) L 2 ,
we obtain (4.3), namely

M δ λ(t) f (t) ∈ C([0, T 0 ]; L 2 (R 3 )). Taking ψ = (log D ) 2 (M δ λ(t ′ ) ) 2 f (t ′
), we also have

(log D )M δ λ(t) f (t) ∈ C([0, T 0 ]; L 2 (R 3
)) . Taking the difference, instead of (4.7), we get

R 3 M δ λ(t) f (t) 2 dv + R 3 M δ λ(t ′ ) f (t ′ ) 2 dv = R 3 f (t) (M δ λ(t) ) 2 + (M δ λ(t ′ ) ) 2 f (t ′ )dv + t t ′ dτ R 3 Q(f (τ ), f (τ )) (M δ λ(t) ) 2 f (t) -(M δ λ(t ′ ) ) 2 f (t ′ ) dv , which shows lim t ′ →t R 3 f (t) (M δ λ(t) ) 2 + (M δ λ(t ′ ) ) 2 f (t ′ )dv = 2 R 3 M δ λ(t) f (t) 2 dv ,
and moreover (4.8) lim

t ′ →t R 3 M δ λ(t) f (t) M δ λ(t ′ ) f (t ′ ) dv = R 3 M δ λ(t) f (t) 2 dv .
To prove (4.4) we introduce

M δ,κ λ(t) = M δ λ(t) (ξ) 1 + κ ξ ,
with a new parameter κ > 0. Divide [0, t] into k subintervals with the same length and put t j = jt/k for j = 0, • • • , k. Similar to (4.7), we have

R 3 M δ,κ λ(t) f (t j ) 2 dv - R 3 M δ,κ λ(tj-1) f (t j-1 ) 2 dv = R 3 f (t j ) (M δ,κ λ(tj ) ) 2 -(M δ,κ λ(tj-1) ) 2 f (t j-1 )dv (4.9) + tj tj-1 dτ R 3 Q(f (τ ), f (τ )) (M δ,κ λ(tj ) ) 2 f (t j ) + (M δ,κ λ(tj-1) ) 2 f (t j-1 ) dv .
Since we have

f (t j ) (M δ,κ λ(tj ) ) 2 -(M δ,κ λ(tj-1) ) 2 f (t j-1 )dv = 2N f (t j )(log D )(M δ,κ λ(τj ) ) 2 f (t j-1 )dv(t j -t j-1 ) τ j ∈]t j-1 , t j [ = 2N log D M δ,κ λ(tj ) f (t j ) log D M δ,κ λ(tj-1) f (t j-1 ) dv(t j -t j-1 ) + N 2 sup τ ′ ,τ ′′ ∈[0,T1] log D M δ,κ λ(τ ′ ) f (τ ′′ ) L 2 2 O |t j -t j-1 | 2 ,
it follows from a similar formula as (4.8) that

lim k→∞ k j=1 f (t j ) (M δ,κ λ(tj ) ) 2 -(M δ,κ λ(tj-1) ) 2 f (t j-1 )dv = N t 0 R 3 log D M δ,κ λ(τ ) f (τ ) 2 dvdτ .
Summing up (4.9) with respect to j = 1, • • • , k and making k → ∞, we obtain

1 2 R 3 M δ,κ λ(t) f (t) 2 dv - 1 2 t 0 R 3 f (τ ) ∂ τ (M δ,κ λ(τ ) ) 2 f (τ )dvdτ = 1 2 R 3 M δ,κ λ(0) f 0 2 dv (4.10) + t 0 Q f (τ ), M δ λ(τ ) f (τ ) , M δ λ(τ ) (1 + κ D ) 2 f (τ ) L 2 dτ + t 0 M δ λ(τ ) Q f (τ ), f (τ ) -Q f (τ ), M δ λ(τ ) f (τ ) , M δ λ(τ ) (1 + κ D ) 2 f (τ ) L 2
dτ, thanks to Proposition 3.6 and Theorem 3.5. In fact, for example, we have

Q f (τ ), M δ λ(tj ) f (τ ) , M δ λ(tj ) (1 + κ D ) 2 f (t j ) L 2 sup τ,tj ∈[0,T1] f (τ ) L 1 γ+2s M δ λ(tj ) f (τ ) H s γ/2+s M δ λ(tj) (1 + κ D ) 2 f (t j ) H s γ/2+s
, and hence the Lebesgue convergence theorem yields (4.10) because,

M δ λ(tj ) (1 + κ D ) 2 f (t j ) H s γ/2+s → M δ λ(τ ) (1 + κ D ) 2 f (τ ) H s γ/2+s as |t j -τ | → 0.
Taking κ → 0 in (4.10) we obtain the desired formula. The last assertion of the lemma follows easily from the one of Theorem 3.5.

Smoothing effect of L 1 weak solutions

We come back to the proof of Theorem 1.2 starting from the L 1 weak solution. The fist part of the theorem is restated as follows:

Theorem 5.1. Assume that 0 < s < 1, γ > max{-2s, -1}. If f belongs to L ∞ ([t 0 , T ]; L 1 ℓ (R 3
)) for any ℓ ∈ N and is a weak solution of (1.1), then for any t 0 < t0 < T , we have f ∈ L ∞ ([ t0 , T ]; S(R 3 )).

Proof. By Theorem 4.1, it is sufficient to prove, for any 0 < t 1 ≤ T , (take again

t 0 = 0) (5.1) f ∈ L ∞ ([t 1 , T ]; L 2 ℓ (R 3 )). Since L 1 (R 3 ) ⊂ H -3/2-
ε , we assume that for any ℓ and any 0 < ε << 1

(5.2) sup [0,T ] f (t, •) H -3/2-ε ℓ < ∞ .
As in the proof of Theorem 4.1, we shall prove the theorem by induction. Assume that for 0 > a ≥ -3/2 -ε, we have sup

[0,T ] f (t, •) H a ℓ < ∞ .
Take also λ(t) = N t + a for N > 0.

We first consider the case 0

< s ≤ 1/2. Choose N 0 = a + (5 + γ)/2 ≥ 1 -ε + (γ/2) > 0 such that (3.8) is fulfilled. Put ε 0 = (1 -2s ′ )/8 > 0 and consider ε = ε 0 , where 0 < s ′ < s is chosen to satisfy γ + 2s ′ > 0. If we choose N, T 1 > 0 such that N T 1 = ε 0 then s + λ(T 1 ) -N 0 -a = s + ε 0 -N 0 ≤ s -1 + 2ε 0 -(γ/2) < (s ′ -1/2) + 2ε 0 < 0 , which shows (5.3) M δ λ(t) f (t) ∈ L ∞ ([0, T 1 ]; H s ℓ (R 3
)) . This and Lemma 4.3 lead to (4.4), and hence we obtain (4.5) using Theorem 3.5, and (4.6) by means of (2.2) and Lemma 3.7. The same procedure as in the proof of Theorem 4.1 shows (5.1) by induction.

When s > 1/2 we choose 1/2 < s ′ < s such that γ + 2s ′ > 0, 2s ′ ≥ (2s -1). Choose N 0 = a+(5+γ +2s ′ -1)/2 such that (3.9) is satisfied. Put ε 0 = (γ +1)/10 > 0 and consider ε = ε 0 . Then, we have (5.4)

s + λ(T 1 ) -N 0 -a = s + ε 0 -N 0 ≤ s -s ′ + 2ε 0 -(1 + γ)/2 = s -s ′ -3ε 0 .
Since we may assume s -s ′ ≤ ε 0 , (5.4) also shows (5.3), which completes the proof of the theorem by the same way as in the case 0 < s ≤ 1/2.

In view of Remark 4.2 and the last assertion of Lemma 4.3, the proof of Theorem 5.1 in the case 0 < s < 1/2 leads us easily to the following theorem where the assumption (1.5) can be removed. Theorem 5.2. Suppose that the cross section B of the form (1.2) satisfies (1.3) and (1.4) with 0 < s < 1/2 and γ > 0. If

f ∈ L ∞ ([0, T ]; L 1 max{2,γ/2+s} (R 3 ) ∩ L log L) ∩ L 1 ([0, T ]; L 1 2+γ (R 3 )) is a weak solution, then f ∈ L ∞ ([t 0 , T ]; H ∞ (R 3 )) for any t 0 ∈]0, T [.
We consider now the second part of Theorem 1.2, which is stated as follows:

Theorem 5.3. Assume that -1 ≥ γ > -2s. Let f ∈ L ∞ ([t 0 , T ]; L 1 ℓ (R 3
)) for any ℓ ∈ N be a weak solution of (1.1) satisfying the entropy dissipation estimate

T t0 D(f (t), f (t))dt < +∞.
Then for any t 0 < t0 < T , we have

f ∈ L ∞ ([ t0 , T ]; S(R 3 )).
For the proof, we only need to reconsider the term A 1 defined in (3.12) under the hypothesis -1 ≥ γ > -2s. Note that we can now choose arbitrarily large N 0 in (3.1) because neither (3.8) nor (3.9) is required. Hence (M δ λ(t) ) 2 f (t) belongs to W 2,∞ , which enable us to take (M δ λ(t) ) 2 f (t) as a test function. However λ(t) can not be taken as large as we want, because it is also restricted to the small gain regularity coming from the dissipation estimate. Thanks to Theorem 4. We divide the proof in three steps.

1st step: Take s ′ > 1/2 such that γ + 2s ′ > 0 and s ′ < s. Put s 0 = 1 4 (γ + 2s ′ ). For arbitrary t > 0 and N > 0 satisfying N t = s 0 , we set

λ 1 (τ ) = N τ - 3 2 -ε for τ ∈ [0, t] ,
where ε > 0 is arbitrarily small. If we substitute λ = λ 1 (τ ) into (5.5) then, in view of N τ ≤ s 0 , we have

Ã1.λ1 (τ ) ĝ L ∞ R 6 | f (ξ * )| ξ * 3+γ-s0 | ĥ(ξ)| ξ 3/2+ε dξdξ * f L 3/(2s ′ ) g L 1 h L 2 f L 3/(3-2s ′ ) g L 1 h L 2
because of the Hölder inequality and the fact that (3 + γ -s 0 ){3/(3 -2s ′ )} > 3. By means of Lemma 3.8, we have for some ℓ 0 > 0 Ã1,λ1

v γ f L 3/(3-2s) + f L 1 ℓ 0 g L 1 h L 2 v γ/2 f 2 H s + f L 1 ℓ 0 g L 1 h L 2 .
Putting f = g = f (τ, v) and h = M δ λ1(τ ) f (τ, v), we have a term coming from Ã1,λ1 in estimating

f (τ ) L 1 M δ λ1(τ ) f (τ ) L 2 t 0 v γ/2 f (τ )
f (τ ) H s 0 -3 2 -ε t κ M δ λ2(τ ) f (τ ) 2 H s ′ dτ + t κ D s ′ +N (τ -κ)-3 2 -ε f (τ ) 2 L 2 dτ .
In order to avoid the confusion we write N = N 2 = s 0 /(t -κ) in this second step and N = N 1 = s 0 /t in (5.7). Then we have

N 2 (τ -κ) ≤ N 1 τ if τ ∈ [κ, t] ,
from which we can use (5.7) to estimate the term coming from Ã1,λ2 . In this step we finally obtain, in view of N (t -κ) = s 0 , Consider M δ λ k (τ ) . Then, using (5.8) instead of (5.7), we can proceed the induction method by the almost same way as in the second step. Since κ > 0 is arbitrary we obtain the desired conclusion.

D 2s0-3/2-ε f (t) L 2 < ∞

  Furthermore, on the sets for B 1 and B 2 we have ξ ∼ ξ * , so that ξ * -ξ - ξ and b 1 |ξ -|≥ 1 2 ξ * 1 ξ * ≥|ξ|/2 is bounded.

6 |

 6 1, it suffices to show f ∈ L ∞ ([T 0 , T 1 ]; L 2 ℓ ) by induction, starting from (5.2) where we take again t 0 = 0. It follows from (3.3) of Lemma 3.1, (3.10) and (3.11) that A 1 can be replaced byÃ1,λ = R f (ξ * )| ξ * 3+γ |ĝ(ξ -ξ * )| | ĥ(ξ)| ξ λ 1 ξ *

  f (τ ), f (τ )) -Q(f (τ ), M δ λ1 f (τ )), M δ λ1 f (τ ) dτ as follows: sup τ ∈[0,t]

0 D 2 - 3 | 3 3 2D

 02333 If we consider τ ∈ [0, t] instead of t then the first term on the right hand side can be replaced by supτ ∈[0,t] M δ λ1(τ ) f (τ ) 2 L 2, which absorbs the second term on the right hand side. Letting δ → 0 we obtain, in view of N t = s 0 ,D s0-3/2-ε f (t) L 2 < ∞, (5.6) and t N τ -3/2-ε f (τ ) 2 H s ′ dτ < ∞. (5.7)2nd step: Let κ > 0 be small arbitrarily. Considering τ ∈ [κ, t] instead of t in (5.6), we may assumesup τ ∈[κ,t] D s0-3/2-ε f (τ ) L 2 < ∞ .For arbitrary t > κ and N > 0 satisfying N (t -κ) = s 0 we setλ 2 (τ ) = s 0 + N (τ -κ) -3 ε for τ ∈ [κ, t] .If we substitute λ = λ 2 (τ ) into (5.5) then we haveÃ1.λ2 (τ ) R ξ s ′ ĥ(ξ)| ξ -ε | f (ξ * )| ξ * -ξ N (τ -κ)-3 2 -ε+s ′ |ĝ(ξ -ξ * )| ξ * 3+γ+2s ′ -3s ′ +N (τ -κ)-3 2 -ε g L 2 h H s ′ , if γ + 2s ′ > 2ε. Putting f = g = f (τ, v) and h = M δ λ2(τ ) f (τ, v) we have a term coming from Ã1,λ2 in estimating t κ M δ λ2 Q(f (τ ), f (τ )) -Q(f (τ ), M δ λ2 f (τ )), M δ λ2 f (τ ) dτas follows:sup τ ∈[κ,t]

D 2 -

 2 s0-3/2-ε f (τ ) 2 H s ′ dτ < ∞. (5.8) 3rd step: For k ≥ 2, suppose that sup τ ∈[(k-1)κ,t] D (k-1)s0-3/2-ε f (τ ) L 2 < ∞ .For arbitrary t > kκ and N > 0 satisfying N (t -kκ) = s 0 we setλ k (τ ) = (k -1)s 0 + N (τ -κ) -3 ε for τ ∈ [κ, t] .

  where we have used Corollary 2.4 in the last inequality. Instead of (4.6), we obtain

								2 H s dτ
	+ sup τ ∈[0,t] ≤ 1 10 sup τ ∈[0,t] f (τ ) 2 L 1 ℓ 0 M δ λ1(τ ) f (τ ) 2 √ t L 2 + C f t 0 M δ λ1(τ ) f (τ ) 2 L 2 dτ t D(f (τ ), f (τ ))dτ 1/2 0 t	2
		+ t sup τ ∈[0,t]	f (τ ) 4 L 1 ℓ 0	+	0	M δ λ1(τ ) f (τ ) 2 L 2 dτ ,
	M δ λ1(t) f (t) 2 L 2 -	1 10	sup τ ∈[0,t]	M δ λ1(τ ) f (τ ) 2 L 2 +	0	t	M δ λ1(τ ) f (τ ) 2 H s ′ dτ
	M δ λ1(0) f (0) 2 L 2 +

t 0 D(f (τ ), f (τ ))dτ 2 + t sup τ ∈[0,t] f (τ ) 4

Acknowledgements : The research of the first author was supported in part by the Zhiyuan foundation and Shanghai Jiao Tong University. The research of the second author was supported by Grant-in-Aid for Scientific Research No.22540187, Japan Society of the Promotion of Science. The research of the fourth author was supported partially by " the Fundamental Research Funds for the Central Universities". The last author's research was supported by the General Research Fund of Hong Kong, CityU No.103109, and the Lou Jia Shan Scholarship programme of Wuhan University.