Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On the existence and regularity of weakly nonlinear stationary Boltzmann equations : a Fredholm alternative approach

I-Kun Chen, Chun-Hsiung Hsia, Daisuke Kawagoe

TL;DR

This work develops a generalized Fredholm framework for weakly nonlinear stationary Boltzmann equations in bounded 3D convex domains by treating the linearized operator through an identity power-compact structure. It builds a robust integral formulation $f = Jf_0 + S_\Omega\phi + S_\Omega Kf$, proves linear solvability via the Fredholm alternative, and bootstraps regularity through Hölder and gradient estimates of the integral operators $J$, $S_\Omega$, and $K$. The nonlinear problem is handled by a contraction argument using bilinear estimates for $\Gamma$, yielding differentiable solutions for small boundary data, and enabling $W^{1,p}$ control for $1\le p<3$ when $0<\alpha<1/2$. Overall, the paper extends Cercignani–Palczewski's approach from slabs to general convex domains, providing both existence and quantitative regularity results with explicit operator bounds and geometric dependencies via $d_x$ and $N(x,\zeta)$ terms.

Abstract

The celebrated Fredholm alternative theorem works for the setting of identity compact operators. This idea has been widely used to solve linear partial differential equations \cite{Evans}. In this article, we demonstrate a generalized Fredholm theory in the setting of identity power compact operators, which was suggested in Cercignani and Palczewski \cite{CP} to solve the existence of the stationary Boltzmann equation in a slab domain. We carry out the detailed analysis based on this generalized Fredholm theory to prove the existence theory of the stationary Boltzmann equation in bounded three-dimensional convex domains. To prove that the integral form of the linearized Boltzmann equation satisfies the identity power compact setting requires the regularizing effect of the solution operators. Once the existence and regularity theories for the linear case are established, with suitable bilinear estimates, the nonlinear existence theory is accomplished.

On the existence and regularity of weakly nonlinear stationary Boltzmann equations : a Fredholm alternative approach

TL;DR

This work develops a generalized Fredholm framework for weakly nonlinear stationary Boltzmann equations in bounded 3D convex domains by treating the linearized operator through an identity power-compact structure. It builds a robust integral formulation , proves linear solvability via the Fredholm alternative, and bootstraps regularity through Hölder and gradient estimates of the integral operators , , and . The nonlinear problem is handled by a contraction argument using bilinear estimates for , yielding differentiable solutions for small boundary data, and enabling control for when . Overall, the paper extends Cercignani–Palczewski's approach from slabs to general convex domains, providing both existence and quantitative regularity results with explicit operator bounds and geometric dependencies via and terms.

Abstract

The celebrated Fredholm alternative theorem works for the setting of identity compact operators. This idea has been widely used to solve linear partial differential equations \cite{Evans}. In this article, we demonstrate a generalized Fredholm theory in the setting of identity power compact operators, which was suggested in Cercignani and Palczewski \cite{CP} to solve the existence of the stationary Boltzmann equation in a slab domain. We carry out the detailed analysis based on this generalized Fredholm theory to prove the existence theory of the stationary Boltzmann equation in bounded three-dimensional convex domains. To prove that the integral form of the linearized Boltzmann equation satisfies the identity power compact setting requires the regularizing effect of the solution operators. Once the existence and regularity theories for the linear case are established, with suitable bilinear estimates, the nonlinear existence theory is accomplished.
Paper Structure (20 sections, 61 theorems, 295 equations)

This paper contains 20 sections, 61 theorems, 295 equations.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Geometric estimates
  4. The function space $\mathcal{C}^\sigma_\alpha$
  5. The estimates for $J$
  6. The estimates for $S_\Omega$
  7. Regularizing effect of $K$
  8. Miscellaneous Estimates
  9. Regularity issues : the smoothing effects of the integral operators
  10. Hölder regularity of $I$
  11. Hölder regularity of $II$
  12. Hölder regularity of $III$
  13. A generalized Fredholm alternative theorem
  14. Linear existence theory
  15. Differentiability
  16. ...and 5 more sections

Key Result

Theorem 1.1

Let $T$ be a bounded linear operator on a Banach space $X$. Suppose $T$ is power compact. Let $\lambda$ be a non-zero complex number which is not an eigenvalue of $T$. Then the operator $T - \lambda$ has the bounded inverse $(T - \lambda)^{-1}$ on $X$.

Theorems & Definitions (97)

  • Theorem 1.1
  • Definition 1.2
  • Definition 1.3
  • Theorem 1.4
  • Remark 1.5
  • Remark 1.6
  • Theorem 1.7
  • Theorem 1.8
  • Lemma 1.9
  • Lemma 2.1: CHK, Proposition 6.2
  • ...and 87 more