Compactness in Boltzmann's equation via Fourier integral operators and applications. I, II
type: Item
instance of: scholarly article
title: Compactness in Boltzmann's equation via Fourier integral operators and applications. I, II
zbMATH Open document ID: 0831.35139
published in: Journal of Mathematics of Kyoto University
publication date: 1994-12-19T00:00:00Z
review text: The main result of these two papers is a new estimate for the gain part of the Boltzmann collision operator. Under reasonable assumptions on the collision kernel, it is shown that \[ \bigl |Q^+ (f,g) \bigr |_{H^{N - 1 \over 2}} \leq C |f |_{L^1} |g |_{ L^2} \tag{1} \] if \(g \in L^2 (\mathbb{R}^N_v)\), \(f \in L^1 (\mathbb{R}^N_v)\) \((f\) and \(g\) can be exchanged). The proof given in part I of the paper is based on Fourier integral operators. We mention that a more direct proof based on Radon transformations has more recently been given by \textit{B. Wennberg} [Commun. Partial Differ. Equations 19, No. 11-12, 2057-2074 (1994; Zbl 0818.35128).] The author discusses the implications of this ``compactness estimate'' for the existence theory of renormalized solutions of the Boltzmann equation. The main improvement over the original proof is that if \(f^n \to f\) weakly in \(L^1 (\mathbb{R}^{2N} \times (0,T))\) (where \((f^n)\) is a sequence of renormalized solutions of the Boltzmann equation), then \(Q^+ (f^n, f^n)\) converges in measure on \(\mathbb{R}^N_x \times \{|v |< R \} \times (0,T)\) to \(Q^+ (f,f) \) \(\forall R\), \(T \in (0, \infty)\). Another application of the estimate (1) is a new proof of strong convergence to equilibrium for renormalized solutions of the Boltzmann equation in a box with periodic boundary conditions. In part II of this work, it is shown that a subsequence of the \(f^n\) will converge strongly in \(C([0,T]; L^1 (\mathbb{R}^{2N}))\) to a renormalized solution \(f\) if strong \(L^1\)-convergence holds for the initial values. Then a class of new inequalities (referred to as ``dissipation inequalities'') satisfied by smooth solutions of the Boltzmann equation is derived, and it is shown that a renormalized solution satisfying these inequalities exists. As the final application of these inequalities, it is shown that if a strong solution of the Boltzmann equation exists, then every renormalized solution satisfying such inequalities will coin…
Mathematics Subject Classification ID: 35Q35
Mathematics Subject Classification ID: 76P05
Mathematics Subject Classification ID: 35S30
zbMATH DE Number: 701493
zbMATH Keywords: dissipation inequalities
zbMATH Keywords: renormalized solutions
zbMATH Keywords: convergence to equilibrium
zbMATH Keywords: strong solution
author: P.-L. Lions
reviewed by: Reinhard Illner
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250519017
OpenAlex ID: W4248200323
DOI: 10.1215/KJM/1250519017
description: scientific article; zbMATH DE number 701493