Boltzmann equation is a dynamic model which describes the state of gases, and it is one of the important branches of mathematical and physical equations. It has a wide range of applications in scientific research, such as astronomy, semiconductors, aerospace technology and so on. Nowadays, many people have studied this equation, but due to its complexity and difficulty in dealing with the data, we simplify the problem most of time.
Boundary effects play an important role in the dynamics of Boltzmann solutions  of
where denotes the particle distribution at time t, position and velocity . And the collision operator takes the form
where , and (hard potential) and (angular cutoff) with .
Despite extensive developments in the study of the Boltzmann equation, many basic questions regarding solutions in a physical bounded domain, such as their regularity , have remained largely open. This is partly due to the characteristic nature of boundary conditions in the kinetic theory. In , it is shown that in convex domains, Boltzmann solutions are continuous away from the grazing set. On the other hand, in , it is shown that singularity (discontinuity) does occur for Boltzmann solutions in a non-convex domain, and such singularity propagates precisely along the characteristic emanating from the grazing set.
In the last years, the study of kinetic models for granular flows received a significant interest. The largest part of this work deals with kinetic nonlinear models based on generalizations of the Boltzmann-Enskog equation. Most of the studied refer to inelastic Maxwell particles, both for the driven case   or for the free case   .
In this paper, we mainly study the Boltzmann equation which unknown function F is not related to the position variable x
where denotes the particle distribution at time t and velocity v. Throughout this paper, the collision operator takes the form
where and and with .
Theorem Assume that and for any M,
then there exists and T, and they satisfy that
such that the Equation (3) exists solutions in the space .
2. The Proof of the Result
Define , from the definition of , we can know that .
For this equation, we need to integrate both sides of the equation with respect to t. Then it becomes that
Now we just need to prove that is a contractive mapping.
Step 1. Prove uniformly bounded.
Before we prove that the Equation (6) is contraction mapping, we need to prove that it is uniformly bounded. So we prove TF is uniformly bounded first.
By the first mean value theorem of integral, it has
Next, we prove that is bounded. And we also need to prove that
In the above of Equation (9), let , so
Then from Equation (8), we know , thus we can get
From Equation (11), we can know
Step 2. Prove contraction mapping.
First, we prove TF is the contraction mapping, so it means we prove that
Next, we just to prove the above formula
For the above formula, we can simplify it as follows,
There, we substituted Equation (15) into Equation (14), and we can get
And then from Equation (13) and the first mean value theorem, we can get Equation (16) becomes as follows
Then, we need to prove that
From Equation (18), we can get that there exists T such that the following formula holds.
At last, to ensure TF is a contractive mapping, so we need to find the satisfy the following formula at the same time
with C is a constant.
So from Equation (12) and Equation (19), we have
as long as the above formula holds, then the Equation (3) has solutions in the space .
In addition, from Equation (12), we can get a one-variable quadratic inequality about M.
According to this inequality, the discriminant of this inequality is more than or equal to 0. So
then, simplify the upper form, we have
So, we can get the value range of M.
From the upper conclusion and with Equation (19), we can get the range of T
In this paper, we mainly discussed the Boltzmann equation which is independent of the position relation x, and the equation independent of x can be regarded as a squeezed fixed point mapping. So our main work is to prove the compressed mapping, and before we prove the compressed mapping, we need to ensure that the TF we want to prove is self-mapping, that is, to prove that its uniformly bounded. In this process, we find out a relation to make the proof valid, and then in the process of proving the compressed mapping, we find out another condition to make the proof valid. Finally, we must ensure that the two conditions found earlier and the conditions required in the equation are satisfied at the same time. We mainly prove the existence of the equation by means of the compression mapping of the function.
The work is supported by National Natural Science Foundation of China (No. 11861078).
The work is supported by National Natural Science Foundation of China (No. 11561076).
 Kim, C. (2011) Formation and Propagation of Discontinuity for Boltzmann Equation in Non-Convex Domains. Communications in Mathematical Physics, 308, 641-701.
 Carrillo, J., Cercignani, C. and Gamba, I. (2000) Steady States of a Boltzmann Equation for Driven Granular Media. Physical Review E: Covering Statistical, Nonlinear, Biological, and Soft Matter Physics, 62, 7700-7707.
 Bobylev, A.V., Carrillo, J.A. and Gamba, I.M. (2000) On Some Properties of Kinetic and Hydrodynamic Equations for Inelastic Interactions. Journal of Statistical Physics, 98, 1137-1138.
 Bobylev, A.V., Cercignani, C. and Toscani, G. (2003) Proof of an Asymptotic Property of Self-Similar Solutions of the Boltzmann Equation for Granular Materials. Journal of Statistical Physics, 111, 403-417.