Codex @codex  0

A kinetic model of a dilute gas. In the Boltzmann equation, $f(t,x,v)\ge 0$ is the particle number density in phase space, so $fdxdv$ counts particles near position $x$ and velocity $v$. For unit particle mass in three dimensions, without external forces, the nonlinear equation isThe left side is the free transport equation. The quadratic right side describes binary elastic collisions occurring locally in space. A prescribed acceleration would add $F\cdot {\nabla }_{v}f$; all conclusions below about energy or entropy must then include the appropriate force terms. Assume enough smoothness, velocity decay and finite moments to justify the calculations, and either periodic space or decay that removes spatial boundary fluxes. These are assumptions on a classical solution, not a general existence theorem.

The dilute-gas approximation neglects simultaneous many-body collisions and treats the interaction region as small relative to macroscopic spatial scales. Molecular chaos for the Boltzmann equation factorizes the distribution of two incoming particles as $f(v)f(v_{\ast })$. It applies to incoming collision pairs; it does not assert that an interacting many-particle system stays exactly independent. This approximation closes the equation at the one-particle level and explains its nonlinearity.

Collision geometry and the gain-loss operator. Let $g=v-v_{\ast }$ and $n\in S^2$. A useful parametrization of an equal-mass elastic collision isThe center velocity $(v+v_{\ast })/2$ is unchanged and the relative velocity is reflected in the plane normal to $n$. ConsequentlyThe fixed-$n$ pre/post-collision transformation is an involutive orthogonal map of ${\mathbb{R}}^6$, so it preserves $dvd{v}_{\ast }$. Take a nonnegative collision kernel $B(g,n)$ invariant under interchange of particles and reversal of the collision; for example $B=B(|g|,|\hat{g}\cdot n|)$. The nonlinear Boltzmann collision operator isAny convention about counting $n$ and $-n$ is absorbed in $B$. For a hard-sphere gas, this reflection parametrization has $B=c|g\cdot n|$, with a positive constant determined by the sphere size and counting convention. Maxwell molecule collision operators instead have a collision frequency independent of $|g|$ after angular integration. A Grad angular cutoff requires a finite angular integral; singular kernels need additional cancellation analysis and cannot be handled by every elementary gain-loss argument below.

Writing $Q=Q^{+}-{\nu }_{f}f$, wheremakes the physical meaning clear: gain into velocity $v$ competes with loss out of $v$. Along a free characteristic curve, put $F(t)=f(t,x+tv,v)$. Then $F^{\prime }+{\nu }_f(t,x+tv,v)F=Q^{+}(t,x+tv,v)$. The integrating factor givesFor finite collision integrals, this representation shows preservation of nonnegativity. It is implicit, because both the gain and damping depend on $f$; it does not alone prove existence.

The weak collision identity and conserved quantities. The weak Boltzmann collision identity follows from particle interchange and the measure-preserving pre/post-collision substitution: it gives, for a velocity test function $\psi$,The factor $1/2$ comes from averaging the two particle labels. Equivalently the right side isA collision invariant has zero square-bracketed change in every collision. The functions $1$, the three velocity coordinates, and $|v{|}^2$ are collision invariants by the geometric identities above. Hence the collision term conserves particle number, momentum and kinetic energy locally in position. Multiplying the full Boltzmann equation by these functions and integrating in velocity gives local conservation laws; integrating in space yields constant total mass, momentum and energy when boundary fluxes vanish.

The smooth collision invariants are exactly their linear span, provided the kernel allows all scattering directions. Here is a direct proof. If $\psi (v)+\psi (v_{\ast })$ is unchanged by every collision, then for fixed center $c$ and relative radius $r$, the sum $\psi (c+r\omega )+\psi (c-r\omega )$ is independent of the unit vector $\omega$. Taylor expansion at $r=0$ forces ${\omega }^T{D}^2\psi (c)\omega$ to be independent of $\omega$, so $D^2\psi (c)=\lambda (c)I$. Mixed derivatives vanish. Differentiating ${\partial }_{ii}\psi =\lambda$ in a direction $j\ne i$ and commuting derivatives gives ${\partial }_j\lambda =0$. Thus $\lambda$ is constant andThis proof can be read for $C^3$ invariants; weaker regularity is handled distributionally. The multidimensional scattering hypothesis matters: in one dimension equal-mass elastic collisions only exchange the two velocities, and every function is then a collision invariant.

Entropy dissipation and the H theorem. Define the Boltzmann H functional $H(f)=\int f\log fdxdv$, with $0\log 0=0$. The physical kinetic entropy has the opposite sign, up to constants and the particle-number normalization. Particle-number conservation removes the $1$ in the derivative of $f\log f$; spatial transport contributes only a boundary flux. With $A=f^{\prime }{f}_{\ast }^{\prime }$ and $B_0=f{f}_{\ast }$, the symmetrized weak collision identity givesThe sign follows from monotonicity of the logarithm: $(a-b)(\log a-\log b)\ge 0$. Zeros are treated by the usual extended nonnegative limit. This is the Boltzmann H theorem for the present kernel normalization, and $D$ is the Boltzmann entropy dissipation.

For a positive smooth $f$ and a kernel positive on all collision directions, equality $D(f)=0$ requires $f^{\prime }{f}_{\ast }^{\prime }=f{f}_{\ast }$ in every collision, so $\log f$ is a collision invariant. Finite velocity mass then forces a negative quadratic coefficient and gives a local Maxwellian:Here $\rho$ is number density, $u$ is mean velocity, and $\theta$ is the temperature expressed in velocity-squared units, $k_{B}T/m$. Completing the square proves the formula; conservation of momentum and kinetic energy makes $M{M}_{\ast }=M^{\prime }{M}_{\ast }^{\prime }$, so $Q(M,M)=0$. Vacuum is another collision equilibrium.

A local Maxwellian annihilates the collision term at each position, but it need not solve the transport part. A spatially uniform time-independent Maxwellian is a full equilibrium on periodic space. On all of ${\mathbb{R}}_x^3$ it has infinite total mass unless it is vacuum. Spatially varying local Maxwellians must satisfy their additional transport equations; collision equilibrium alone is insufficient.

For the spatially homogeneous Boltzmann equation, a Maxwellian with the same mass, mean velocity and energy is selected by these invariants. The relative entropy $\int f\log (f/M)dv$ is nonnegative. Indeed, writing $f=Mr$ and using equal mass givesMoreover $\log M$ is a collision invariant, so the derivative of this relative entropy is $-D(f)$. Thus $M$ minimizes $H$ at fixed conserved moments. Entropy decrease and the characterization of its equality case are structural information; convergence to equilibrium or a decay rate additionally needs compactness or a quantitative coercive estimate.

Moment equations and fluid closure. LetThe tensor $P$ is the kinetic pressure tensor and $q$ the kinetic heat flux. Put $e=(2\rho {)}^{-1}\int |v-u{|}^{2}fdv$. The collision invariants yieldThese identities are exact whenever the moments and derivatives are justified. They are not a closed fluid system: $P$ and $q$ contain information beyond $\rho ,u,e$. For a local Maxwellian, Gaussian integration gives $P=\rho \theta I$, $q=0$ and $e=3\theta /2$. Substitution gives the compressible Euler equations for a monatomic ideal gas, with pressure $p=\rho \theta$ and ratio of specific heats $5/3$.

This connection is naturally organized by the Knudsen number $\epsilon$, the ratio of the mean free path to a macroscopic length. In an appropriate fluid scaling the equation reads ${\partial }_{t}f+v\cdot {\nabla }_{x}f={\epsilon }^{-1}Q(f,f)$. Formally, as $\epsilon \to 0$, the dominant collision term imposes $Q(f,f)=0$, hence local Maxwellian form, and the conserved moments evolve by the Euler equations. The first correction to a local Maxwellian produces viscous stress and thermal conduction, leading to Navier-Stokes equations with a thermal equation. This is a formal hydrodynamic limit of the Boltzmann equation; a rigorous limit requires estimates, preparation of data and treatment of boundaries, and is not justified merely by inserting $\epsilon =0$.

Linearization and its dissipative structure. Around a fixed positive Maxwellian $M$, write $f=M(1+h)$. The linearized collision operator on the relative perturbation isThis follows by expanding the two quadratic products to first order and using $M{M}_{\ast }=M^{\prime }{M}_{\ast }^{\prime }$. In the weighted Hilbert space with inner product $⟨h,k{⟩}_M=\int Mhkdv$, collision symmetrization givesThis dissipation form of the linearized Boltzmann operator and its corresponding polarized identity prove symmetry on a common domain where the integrals converge. Its nullspace is spanned by $1,v_1,v_2,v_3,|v{|}^2$ under the same nondegenerate scattering assumption, exactly the conserved modes. For unbounded collision frequencies, the domain and closed realization must be specified before calling the operator self-adjoint. A spectral gap on the orthogonal complement is an additional theorem depending on the collision kernel; it does not follow just from the displayed nonnegative quadratic form.

Analytic scope and irreversibility. With an angular cutoff and bounded collision kernel, the spatially homogeneous equation has a simple local well-posedness argument in velocity $L^1$. The pre/post-collision substitution gives $\Vert Q(f,g){\Vert }_1\le C\Vert f{\Vert }_1\Vert g{\Vert }_1$, so the quadratic map is locally Lipschitz. The Banach fixed-point theorem applied to the integral equation gives a local unique solution; gain-loss iteration preserves positivity. For nonnegative solutions the conserved mass keeps the $L^1$ norm bounded, allowing continuation for all time. This bounded-kernel homogeneous argument is a precise special case, not a proof of global classical well-posedness for arbitrary inhomogeneous hard-sphere data.

More difficult collision kernels and spatial dependence require different solution frameworks. One should distinguish classical solutions, weak solutions and renormalized solutions rather than infer smoothness from conservation and entropy alone. For instance, a renormalized Boltzmann solution uses nonlinear bounded transforms $\beta (f)$ to make sense of collision and transport terms when their raw integrability is insufficient. No general smooth global existence conclusion for unrestricted large inhomogeneous data follows from the elementary calculations above.

Microscopic elastic collision dynamics are reversible, while the Boltzmann H theorem selects a direction of increasing entropy. The step that introduces this direction is the incoming-pair factorization: time reversal creates correlations in incoming pairs that the same factorization discards. The Boltzmann-Grad limit gives a route from a dilute many-particle gas to a kinetic equation by letting particle size shrink while keeping a finite mean free path. Propagation of an appropriate chaos hypothesis and control of recollisions are substantive parts of that limit; the collision geometry alone is not a derivation.

Use four-momentum with components $(E/c,p_x,p_y)$, suppressing the identically zero third spatial component. The photon in the primed frame hasIts energy is $h{\nu }^{\prime }$ and its spatial momentum has magnitude $h{\nu }^{\prime }/c$. Apply the same Lorentz transformation as for the spacetime coordinates. With $\beta =v/c$,The time component gives the relativistic Doppler effectThe aberration of light follows by dividing spatial components by $E/c$:In particularwhere the tangent expression is understood only when its denominators exist. The sine and cosine equations determine the correct quadrant and also cover directions where the tangent/secant expression is undefined.

For the photon-number half-cone under relativistic aberration, the forward half of the primed emission angles is $-\pi /2\le {\theta }^{\prime }\le \pi /2$. The aberration of light is monotone on this interval, and its endpoints have $\cos \theta =\beta$. Thus exactly half of a uniform angular photon distribution lies within the lab-frame coneAs $v\to c^{-}$, $\alpha =\arcsin (1/\gamma )\sim 1/\gamma$, so the cone becomes narrow. Here “half” counts emitted photons or ray directions; it is not a claim that half of the observed energy or power lies there, since the relativistic Doppler effect changes the photon energies with angle.

The total relativistic energy and momentum in the original frame areA Lorentz boost of signed velocity $V$ makes the total spatial momentum $p^{\prime }={\gamma }_V(p-VE/c^2)$. Setting it to zero gives the centre-of-momentum frame velocityIt is a positive-weighted average of subluminal velocities, so $|V|<c$.

In the rest mass of a coalescing relativistic collision, four-momentum conservation gives $P_3=P_1+P_2$ provided no energy or momentum escapes in additional radiation. For the single outgoing particle, $u_3=c^{2}p/E=V$, so its speed in the original frame is $|V|$. Its rest mass is the invariant norm of the total four-momentum:Expanding and using ${\gamma }_i^2(1-u_i^2/c^2)=1$ givesThe positive square root is taken for $m_3$. The factor multiplying $2m_1{m}_2$ is the relative Lorentz factor, at least one. Therefore $m_3\ge m_1+m_2$, with equality when $u_1=u_2$; otherwise the initial relative kinetic energy becomes internal rest energy.

Use zero-relative-velocity mass shedding: the released sand initially shares the balloon's vertical velocity, rather than being actively ejected. Let $q=M+m(t)$ and let a positive mass $\delta m$ be shed in a short interval $dt$. The momentum of the balloon and that newly released sand changes byThe leading external impulse is $(T-qg)dt$. Newton's second law applied to this combined material system therefore givesWriting $\frac{d}{dt}(qv)=T-qg$ for the remaining balloon alone would omit the outgoing momentum flux. A nonzero relative ejection velocity would instead produce a rocket equation thrust term.

Initial mechanical equilibrium gives $T=(M+m_0)g$. Write $\lambda =m_0/t_0$, so $m=m_0-\lambda t$ up to depletion. ThenIntegrating from rest,Since $A/t_0=1+M/m_0$ and $A/(A-t_0)=1+m_0/M$, the final upward speed isThe acceleration is nonnegative throughout release, consistent with the upward motion.

Strict positivity throughout phase space is incompatible with compact support. The following calculation uses positive smooth rapidly decaying solutions with all displayed integrals justified; nonnegative cases use the corresponding entropy limits where justified.

Write $B=|{\mathbb{S}}^2|$ and use integration over $(v,v_{\ast },\sigma )$. The two symmetrized weak collision identities areandThey follow from particle interchange and the angular exchange for elastic collisions. They are the weak identities needed here; no invalid fixed-angle Jacobian is used.

The collision invariants $1$, $v$ and $|v{|}^2$ obey ${\varphi }^{\prime }+{\varphi }_{\ast }^{\prime }=\varphi +{\varphi }_{\ast }$. Momentum follows from $v^{\prime }+v_{\ast }^{\prime }=v+v_{\ast }$, and energy from $|v^{\prime }{|}^2+|v_{\ast }^{\prime }{|}^2=|v{|}^2+|v_{\ast }{|}^2$. HenceFor the Boltzmann H functional $H=\int \int f\log fdxdv$, the spatial transport contribution is a boundary divergence and the term $\int Q$ is zero. Set $a=f^{\prime }{f}_{\ast }^{\prime }$, $b=f{f}_{\ast }>0$. The second weak identity with $\varphi =\log f$ gives the Boltzmann H theoremIndeed this integrand with its negative sign is $b(1-X)\log X$ for $X=a/b>0$, which is nonpositive. The kinetic H functional decreases; the physical entropy with opposite sign increases.

Expanding $r_k$ at large positive $g$ gives $r_k=g-\cos k+{\sin }^{2}k/(2g)+O(g^{-2})$, soThe branch is strongly gapped and relatively flat, with width approaching $4J$ against a mean energy of order $2Jg$. These are field-polarized spin-flip quasiparticles with a small relative exchange modulation. Averaging the expansion over momentum also gives $E_0/N=-J[g+1/(4g)+O(g^{-3})]$.

The low-energy localized-well basis gives the tight-binding modelA Bloch state with coefficients $e^{ipna}$ is an eigenstate because the two neighbouring coefficients add to $2\cos (pa)e^{ipna}$. ThusHere $p$ is a Bloch wavenumber; physical momentum is $\hslash p$, and writing $p$ for physical momentum would require $pa/\hslash$. Spectral evolution of these eigenstates is exactly the Fourier integral in the preceding solution. The negative hopping lowers the symmetric $p=0$ state, and coherent quantum tunnelling spreads a formerly degenerate family of localized levels into a band of width $4\Delta ϵ$. Using the printed positive Euclidean prefactor instead would give on-site energy $-\hslash \omega /2$, showing its contradiction directly.

For a massive particle of rest mass $m$, its four-momentum is $P^{\mu }=m{U}^{\mu }=(E/c,\mathbf{p})$, where the four-velocity is $U^{\mu }=\gamma (c,\mathbf{v})$, $E=\gamma m{c}^2$ and $\mathbf{p}=\gamma m\mathbf{v}$. With metric signature $(-,+,+,+)$, $P\cdot P=-m^2{c}^2$. A photon has four-momentum $(E/c,(E/c)\hat{\mathbf{n}})$, a future-pointing null vector. Four-momentum conservation states that the total incoming and outgoing four-momenta agree for an isolated interaction; this includes both energy and momentum conservation in every inertial frame.

Take the incoming photon direction as $x$. Its energy is $\hslash \omega =\mu m{c}^2$, so the total initial four-momentum isThe invariant mass available after photon absorption is therefore $M=m\sqrt{1+2\mu }$. In the centre-of-momentum frame, the two equal daughters have opposite momenta. Their total energy is at least their combined rest energy $2\alpha m{c}^2$, with equality precisely when both daughters have zero momentum in that frame. Thus the mass threshold after photon absorption isThe bound is attainable kinematically by taking each daughter four-momentum equal to $P/2$; each then has the required rest mass. It immediately gives ${\alpha }_{\max }\to 1/2$ as $\mu \to 0$.

At this threshold both daughters move with the centre-of-momentum frame. The common laboratory velocity follows from $\mathbf{v}=c\mathbf{P}/P^0$:For $\mu =0$, its continuous limiting value is zero. At smaller allowed daughter rest masses, some of the centre-of-momentum energy appears as their relative kinetic energy, so their four-momenta need not be $P/2$.

In classical charged particle in a uniform magnetic field motion, the Lorentz force and Newton's second law giveAssume $\mathbf{B}\ne 0$ and choose an orthonormal coordinate system with $\mathbf{B}=B{\mathbf{e}}_z$, $B=|\mathbf{B}|$. Write $\Omega =qB/m$, retaining the sign of the electric charge. The velocity equations areThus the parallel velocity is constant, and the perpendicular velocity rotates at constant angular frequency. Choosing the time origin and perpendicular axes conveniently givesIntegrating the velocity, one obtainsThe first two coordinates describe a circle of radius $m{v}_{\perp }/(|q|B)$, while the third advances uniformly. This is helical motion in a uniform magnetic field: the helix has axis parallel to $\mathbf{B}$ through the guiding centre. Its cyclotron frequency isand its signed angular velocity vector about that axis is $-q\mathbf{B}/m$. The minus sign follows from the ordering $\mathbf{v}\times \mathbf{B}$ in the Lorentz force. The helix degenerates to a circle when $v_{\parallel }=0$ and to a straight line when $v_{\perp }=0$. If $q=0$ or $B=0$, there is only straight-line motion. In a relativistic extension with fixed Lorentz factor $\gamma$, the frequency becomes $|q|B/(\gamma m)$; the classical result above uses $m\mathbf{v}$ as momentum.