Global Steady State of the VML System
1
Introduction
2
Definitions
3
Landau Matrix Properties
4
H-Theorem and Maxwellian Characterization
5
Transport Constraints
6
Polynomial Matching
7
Bulk Velocity
8
Electric Field
9
Magnetic Field
10
Symmetrized Weak Form
11
Main Results
12
Concrete Instances
Dependency graph
7 Bulk Velocity
Theorem
21
Bulk velocity vanishes (\(b_0 = 0\))
✓
#
Uses
Definition 8
L∃∀N
Lean declarations
VML.bulk_velocity_zero
In steady state with constant temperature and Ampère’s law, the bulk velocity is zero: \(b_0 = 0\).