Back
 JAMP  Vol.8 No.2 , February 2020
The Existence of Solutions of a Space-Uniform Boltzmann Equation
Abstract: Boltzmann equation is an equation which is related to the three variables of x, v, t. In this paper, we mainly study the space-uniform Boltzmann equation which unknown function F is not related to the position variable x. We mainly use the contraction mapping theorem to find the existence of the solution, so our mainly work is to prove the self-mapping, i.e. to prove its uniformly bounded, and then to prove the contraction mapping. There we can get the range of ||B(θ)||L1(L∞), next we can figure out the range of M and T from the conditions what we know. Finally, from these conditions, we can find the existence of the solution.

1. Introduction

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 [1] of

t F + v x F = Q ( F , F ) (1)

where F ( t , x , v ) denotes the particle distribution at time t, position x Ω and velocity v 3 . And the collision operator takes the form

Q ( F , F ) Q g a i n ( F 1 , F 2 ) Q l o s s ( F 1 , F 2 ) = 3 S 2 | v u | κ q 0 ( θ ) [ F 1 ( u ) F 2 ( v ) F 1 ( u ) F 2 ( v ) ] d ω d u (2)

where u = u + [ ( v u ) ω ] ω , v = u [ ( v u ) ω ] ω and 0 κ 1 (hard potential) and 0 q 0 ( θ ) C | cos ( θ ) | (angular cutoff) with cos ( θ ) = v u | v u | ω .

Despite extensive developments in the study of the Boltzmann equation, many basic questions regarding solutions in a physical bounded domain, such as their regularity [2], have remained largely open. This is partly due to the characteristic nature of boundary conditions in the kinetic theory. In [3], it is shown that in convex domains, Boltzmann solutions are continuous away from the grazing set. On the other hand, in [4], 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 [5] [6] or for the free case [7] [8] [9].

In this paper, we mainly study the Boltzmann equation which unknown function F is not related to the position variable x

( t F = Q ( F , F ) F ( 0 , v ) = F 0 (3)

where F ( t , v ) C ( + × 3 ) denotes the particle distribution at time t and velocity v. Throughout this paper, the collision operator takes the form

Q ( F , F ) = 3 S 2 | v u | κ q 0 ( θ ) [ F ( u ) F ( v ) F ( u ) F ( v ) ] d ω d u (4)

where u = u + [ ( v u ) ω ] ω , v = u [ ( v u ) ω ] ω and 0 κ 1 and 0 q 0 ( θ ) C | cos ( θ ) | with cos ( θ ) = v u | v u | ω .

Theorem Assume that F L ( [ 0, T ] × 3 ) and for any M,

( M 1 4 B ( θ ) L 1 ( L ) F 0 L 1 8 B ( θ ) L 1 ( L ) F 0 L 4 B ( θ ) L 1 ( L ) M 1 4 B ( θ ) L 1 ( L ) F 0 L + 1 8 B ( θ ) L 1 ( L ) F 0 L 4 B ( θ ) L 1 (L∞)

then there exists B ( θ ) L 1 ( L ) and T, and they satisfy that

B ( θ ) L 1 ( L ) M 2 ( F 0 L + M ) 2

T α 4 B ( θ ) L 1 ( L ) ( F 0 L + M )

such that the Equation (3) exists solutions in the space L ( [ 0, T ] × 3 ) .

2. The Proof of the Result

Define X = { F L ( [ 0, T ] × 3 ) | F F 0 L M } , from the definition of X , we can know that F L F 0 L + M .

For this equation, we need to integrate both sides of the equation with respect to t. Then it becomes that

F = 0 t Q ( F , F ) d τ + F 0 (5)

We denote

T F = 0 t Q ( F , F ) d τ + F 0 . (6)

Now we just need to prove that T F = F 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

T F F 0 L = 0 t Q ( F , F ) d τ L t Q ( F , F ) L (7)

Next, we prove that Q ( F , F ) L is bounded. And we also need to prove that

Q ( F , F ) L M (8)

So

Q ( F , F ) L = s u p 0 < t < t , v 3 | 3 S 2 | v u | κ q 0 ( θ ) [ F ( u ) F ( v ) F ( u ) F ( v ) ] d ω d u | (9)

In the above of Equation (9), let | v u | κ q 0 ( θ ) = B ( θ ) , so

Q ( F , F ) L = s u p 0 < t < t , v 3 | 3 S 2 B ( θ ) [ F ( u ) F ( v ) F ( u ) F ( v ) ] d ω d u | s u p 0 < t < t , v 3 3 S 2 | B ( θ ) [ F ( u ) F ( v ) F ( u ) F ( v ) ] | d ω d u s u p 0 < t < t , v 3 3 S 2 | B ( θ ) | | [ F ( u ) F ( v ) F ( u ) F ( v ) ] | d ω d u s u p 0 < t < t , v 3 3 S 2 | B ( θ ) | | 2 F 2 | d ω d u (10)

Then from Equation (8), we know Q ( F , F ) L M , thus we can get

Q ( F , F ) L s u p 0 < t < t , v 3 3 S 2 | B ( θ ) | | 2 F 2 | d ω d u 2 F L 2 3 B ( θ ) L d u 2 F L 2 B ( θ ) L 1 ( L ) 2 ( F 0 L + M ) 2 B ( θ ) L 1 ( L ) M (11)

From Equation (11), we can know

B ( θ ) L 1 ( L ) M 2 ( F 0 L + M ) 2 (12)

Step 2. Prove contraction mapping.

First, we prove TF is the contraction mapping, so it means we prove that

T F 1 T F 2 L α F 1 F 2 L ,0 < α < 1 (13)

Next, we just to prove the above formula

T F 1 T F 2 L = s u p | t | T , v 3 | 0 t [ Q ( F 1 , F 1 ) Q ( F 2 , F 2 ) ] d τ | = s u p | t | T , v 3 | 0 t [ 3 S 2 B ( θ ) ( F 1 ( u ) F 1 ( v ) F 1 ( u ) F 1 ( v ) F 2 ( u ) F 2 ( v ) + F 2 ( u ) F 2 ( v ) ) d ω d u ] d τ | s u p | t | T , v 3 0 t [ 3 S 2 | B ( θ ) | ( | F 1 ( u ) | | F 1 ( v ) F 2 ( v ) | + | F 2 ( v ) | | F 1 ( u ) F 2 ( u ) | + | F 1 ( u ) | | F 1 ( v ) F 2 ( v ) | + | F 2 ( v ) | | F 1 ( u ) F 2 ( u ) | ) d ω d u ] d τ (14)

For the above formula, we can simplify it as follows,

s u p v 3 [ 3 S 2 | B ( θ ) | ( | F 1 ( u ) | | F 1 ( v ) F 2 ( v ) | + | F 2 ( v ) | | F 1 ( u ) F 2 ( u ) | + | F 1 ( u ) | | F 1 ( v ) F 2 ( v ) | + | F 2 ( v ) | | F 1 ( u ) F 2 ( u ) | ) d ω d u ] s u p v 3 3 S 2 2 | B ( θ ) | ( | F 1 | + | F 2 | ) | F 1 F 2 | d ω d u s u p v 3 3 S 2 4 | B ( θ ) | | F | | F 1 F 2 | d ω d u 4 F L F 1 F 2 L 3 B ( θ ) L d u = 4 B ( θ ) L 1 ( L ) F L F 1 F 2 L (15)

There, we substituted Equation (15) into Equation (14), and we can get

T F 1 T F 2 L = s u p | t | T , v 3 | 0 t [ Q ( F 1 , F 1 ) Q ( F 2 , F 2 ) ] d τ | s u p | t | T , v 3 0 t 4 B ( θ ) L 1 ( L ) F L F 1 F 2 L d τ = s u p | t | T , v 3 0 t 4 B ( θ ) L 1 ( L ) ( F 0 L + M ) F 1 F 2 L d τ (16)

And then from Equation (13) and the first mean value theorem, we can get Equation (16) becomes as follows

T F 1 T F 2 L = s u p | t | T , v 3 | 0 t [ Q ( F 1 , F 1 ) Q ( F 2 , F 2 ) ] d τ | s u p | t | T , v 3 0 t 4 B ( θ ) L 1 ( L ) ( F 0 L + M ) F 1 F 2 L d τ 4 T B ( θ ) L 1 ( L ) ( F 0 L + M ) F 1 F 2 L α F 1 F 2 L (17)

Then, we need to prove that

4 T B ( θ ) L 1 ( L ) ( F 0 L + M ) α (18)

From Equation (18), we can get that there exists T such that the following formula holds.

B ( θ ) L 1 ( L ) α 4 T ( F 0 L + M ) (19)

At last, to ensure TF is a contractive mapping, so we need to find the B ( θ ) L satisfy the following formula at the same time

( 2 B ( θ ) L 1 ( L ) ( F 0 L + M ) 2 M 4 T B ( θ ) L 1 ( L ) ( F 0 L + M ) α q 0 ( θ ) C | cos ( θ ) | (20)

with C is a constant.

So from Equation (12) and Equation (19), we have

B ( θ ) L 1 ( L ) m i n { M 2 ( F 0 L + M ) 2 , α 4 T ( F 0 L + M ) } (21)

as long as the above formula holds, then the Equation (3) has solutions in the space L ( [ 0, T ] × 3 ) .

In addition, from Equation (12), we can get a one-variable quadratic inequality about M.

2 B ( θ ) L 1 ( L ) M 2 + ( 4 B ( θ ) L 1 ( L ) F 0 L 1 ) M + 2 B ( θ ) L 1 ( L ) F 0 L 2 0 (22)

According to this inequality, the discriminant of this inequality is more than or equal to 0. So

( 4 B ( θ ) L 1 ( L ) F 0 L 1 ) 2 4 × 2 B ( θ ) L 1 ( L ) × 2 B ( θ ) L 1 ( L ) F 0 L 2 0 (23)

then, simplify the upper form, we have

8 B ( θ ) L 1 ( L ) F 0 L 1 (24)

So, we can get the value range of M.

(25)

From the upper conclusion and with Equation (19), we can get the range of T

. (26)

3. Conclusion

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.

Supported

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).

Cite this paper: Ye, Z. and Li, R. (2020) The Existence of Solutions of a Space-Uniform Boltzmann Equation. Journal of Applied Mathematics and Physics, 8, 294-300. doi: 10.4236/jamp.2020.82023.
References

[1]   Guo, Y., Kim, C., Tonon, D., et al. (2017) Regularity of the Boltzmann Equation in Convex Domains. Inventiones Mathematicae, 207, 115-290.
https://doi.org/10.1007/s00222-016-0670-8

[2]   Guo, Y. (1994) Regularity for the Vlasov Equations in a Half Space. Indiana University Mathematics Journal, 43, 255-321.
https://doi.org/10.1512/iumj.1994.43.43013

[3]   Guo, Y. (2008) Decay and Continuity of Boltzmann Equation in Bounded Domains.

[4]   Kim, C. (2011) Formation and Propagation of Discontinuity for Boltzmann Equation in Non-Convex Domains. Communications in Mathematical Physics, 308, 641-701.
https://doi.org/10.1007/s00220-011-1355-1

[5]   Bobylev, A.V. and Cercignani, C. (2002) Moment Equations for a Granular Material in a Thermal Bath. Journal of Statistical Physics, 106, 547-567.
https://doi.org/10.1023/A:1013754205008

[6]   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.
https://doi.org/10.1103/PhysRevE.62.7700

[7]   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.
https://doi.org/10.1023/A:1010325409175

[8]   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.
https://doi.org/10.1023/A:1022273528296

[9]   Bobylev, A.V. and Cercignani, C. (2003) Self-Similar Asymptotics for the Boltzmann Equation with Inelastic and Elastic Interactions. Journal of Statistical Physics, 110, 333-375.


 
 
Top