Abstract
The Cauchy problem of the nonlinear spatially homogeneous Boltzmann equation without angular cutoff is studied. By using analytic techniques, one proves the Gevrey regularity of the solutions in non-Maxwellian and strong singularity cases.
1. Introduction
The standard form of the initial value problem for the spatially homogeneous nonlinear noncutoff Boltzmann equation is expressed as follows: where is a fixed positive number and denotes the density distribution function for velocity at time . The Boltzmann collision operator is expressed as follows: where is the unit sphere of . For , The Boltzmann collision cross section is a function that was assumed to be the following form: where the kinetic factor . The angular part has a singularity that satisfies for constant and : Cases , are considered mild singularity and strong singularity, respectively. The following norms of weighted function spaces are introduced: where . is the corresponding pseudo-differential operator. The definition of the Gevrey space can now be listed; compare [1–5].
Definition 1. For , the smooth function which is the Gevrey space with index if there exists a positive constant such that, for any , or, equivalently, where It is indicated that is also equivalent to the fact that there exists such that .
Research on the Gevrey regularity of the Boltzmann equation can be traced back to the work of Ukai [6], who constructed a unique local solution in Gevrey space for both spatially homogeneous and inhomogeneous noncutoff Boltzmann equations. In 2004, Desvillettes and Wennberg [7] gave a conjecture of the Gevrey smoothing effect. Five years later, the propagation of Gevrey regularity for solutions of the nonlinear spatially homogeneous Boltzmann equation with Maxwellian molecules is obtained in [8]. In that same year, Morimoto et al. [4] studied linearized cases and proved the Gevrey regularity of solutions without any extra assumption for the initial datum. They then considered the solutions with Maxwellian decay in [9]; that is, a positive number exists such that, for any , Under the hypotheses of , , , and the modified kinetic factor , they showed the Gevrey smooth property for this type of solutions to the Cauchy problem of the nonlinear homogeneous Boltzmann equation. By using the original definition of kinetic factor, Zhang and Yin [10] extended the above result in a general framework: and .
In this paper, the same issue in the strong singularity case is disussed. To discuss this issue properly, some notations are introduced. For any , and , the following expression is denoted: For any , let with a convention that if . For any , write if , . Moreover, Instead of the assumption of Maxwellian decay, the smooth solutions are considered to satisfy the following inequality (this type of solutions had been studied in some literature. E.g., cf. [11]): For any , where is the standard Schwartz space and is a fixed constant. For any , A preliminary analysis in Section 2 is conducted and Theorem 2 is proved in Section 3.
Theorem 2. For , , and , assume that is a smooth solution of the Cauchy problem (1) that satisfies (14), (15), and (16). Then for any , the initial value implies that .
The proof procedure of Theorem 3 is proved in Section 4.
Theorem 3. For and , assume that is a smooth solution of the Cauchy problem (1) that satisfies (14), (15), and (16). A positive number exists such that for any , .
Evidently, the main conclusion of this paper, directly from Theorems 2 and 3 can be obtained.
Theorem 4. For and , assume that is a smooth solution of the Cauchy problem (1) that satisfies (14), (15), and (16). Then, for any , .
2. Preliminary Analysis
In this section, the lemmas are stated and their proof process is provided.
Lemma 5. Let , be two given numbers. Assume that is a function that satisfies (15). Then, for any fixed number , a constant exists such that .
Proof. By Lemma 2.4 in [11], A positive integer is chosen such that . For any , . By combining this Lemma with (15), the following is obtained: Therefore,
Lemma 6. If , then, for any , there exists a constant depending only on such that, for any , Moreover, if and , then there exists a constant depending on and such that, for any ,
Proof. By using Proposition 3.1 in [9], the following is obtained: This completes the proof of the first inequality. Thereafter, the same analysis technique is applied as the proof of Proposition 3.1 in [9] to discuss the second inequality. Notice that if and . Therefore, for and , one has This completes the proof of the second inequality.
3. Proof of Theorem 2
Suppose that , , and . Let be a smooth solution of the Cauchy problem (1) that satisfies (14), (15), and (16). Write Then the Fourier transform . For any , , and , it follows from (16) that which implies that, for any integer , Therefore, Now Theorem 2 is proved. By multiplying both sides of (1) by , one gets Consequently, where The following lemma is cited to estimate .
Lemma 7 (part of Theorem 3.1 in [12]). Let and . Suppose that . Then where is a constant that depends on and depends on .
By using this lemma with and , the following is obtained: where and is a constant that depends only on . Given that one obtains One chooses and applies (15) to deduce that By combining the above inequality and (30), one yields the following: Next it is planned to give an estimation of . By using the conclusion in page 146 of [9] (see also page 1177 of [10]), one has Thus, One refers to the estimation from Proposition 3.6 in [13].
Lemma 8. Suppose that and . Then, for any and ,
By using this lemma with and , one gets where . The final inequality is used in hypothesis (14) and the fact that if . Write where , , . Combining (28) and Lemma 8 with , the following is obtained: where , . By choosing and applying Lemmas 5 and 6 and the fact that one has Combining the above expression with (41) yields Plugging this estimation into (37) and applying Lemma 5 again, one obtains By using Remark 2 in [11], Therefore, By multiplying both sides of (1) by and using the same analysis techniques, one can also get Thus, for any , That is, which yields Thereafter, set A straightforward calculation provides the following: If the initial value , one can use a small to satisfy . By using (53), Therefore, for any , That is, . This completes the proof of Theorem 2.
4. Proof of Theorem 3
In this section, the proof of Theorem 3 is provided. That is, for and , considering the solution of the Cauchy problem (1) that satisfies the hypotheses in Theorem 3, one shows that there is a positive number that exists such that if . To do this, one assumes that and , . By multiplying both sides of (29) by , one obtains By integrating the above equation from zero to , the following expression is obtained: By writing one can get where . Considering that the analytical method is quite similar to the one in Section 3, the proof of the above inequality is omitted. Therefore, By using the conclusion in page 157 of [9], provided that is sufficiently small. Thus, That is, Let By using (65), if is a sufficiently small number, Thus, the following inequality in this case is obtained: Combing the above inequality with Remark 2 in [11] yields By using the same approach, one can prove that the above inequality in the case , . By taking the supremum in each term on the left hand side of this inequality, one obtains the following for any : Choosing a suitable number satisfies the following: Then, for any , which provides the Gevrey smoothing effect in . This completes the proof of Theorem 3.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The author would like to thank the referees for their detailed and helpful suggestions for revising this paper. This work was supported by the National Natural Science Foundation of China (Grant nos. 11226167 and 11361020), the Natural Science Foundation of Hainan Province (no. 111005), and the Ph.D. Scientific Research Starting Foundation of Hainan Normal University (no. HSBS1016).