The Boltzmann entropy
Alternatively, in line with the proposed distributional H(-1/2)-Hilbert space concept of this homepage, we suggest to define “continuous entropy” in a weak H(-1/2)- frame to overcome the weaknesses of the Boltzmann (concept) entropy. This enables also corresponding Garding-type inequalities (e.g. the Korn inequalities) and related Hilbert space approximation theory with appropriate norms, including norms with "exponential decay".
(LiP1): "The Boltzmann and Landau equations provide a mathematical model for the statistical evolution of a large number of particles interacting through "collisions". The unknown function f corresponds at each time t to the density of particles at the point x with velocity v. If the collision operator were zero, the equations would mean that the particles do not interact and f would be constant along particle path. If collisions occur, in which case the rate of changes of f has to be specified such a description was introduced by Maxwell and Boltzmann and involves an integral operator. This model is derived under the assumption of stochastic independence of pairs of particles at (x,t) with different velocities (molecular collision assumption)."
The Leray-Hopf operator plays a key role in existence and uniqueness proofs of weak solutions of the Navier-Stokes equations, obtaining weak and strong energy inequalities. Both operators, the "Landau" collision operator and the "Leray-Hopf (or Helmholtz-Weyl) operator are not classical pseudo-differential operators, but Fourier multipliers with same continuity properties as those of the Riesz operators (LiP1). As a consequence, in a weak H(-1/2) Hilbert space frame, the "Landau" collision operator can be interpreted as a compactly disturbed Leray-Hopf operator. This links back to other sections of the homepage. For a related integral representation of the NSE solution we refer to
For the related Oseen operators Fourier multiplier we refer to
This concept corresponds also to the proposed distributional H(1/2)- energy Hilbert space with an alternative Schrödinger (Calderón) momentum operator and related domain, enabling a model for Schrödinger 's heat bath concept (see section YME). In (JaE), p. 628, Schrödinger's heat bath concept is applied to build two systems I and II, the system I under investigation and the system II representing the heat bath. This Schrödinger (Calderón) momentum operator P corresponds to the Calderón-Zygmund integrodifferential operator in (EsG), example 3.5. The related hypersingular integral equation theory, including the Prandtl operator, is provided in (LiI):
the inner product ((u,v)) of the alternatively proposed energy Hilbert space H(1/2) is equivalent to the induced energy norm (Pu,v) of the alternatively proposed Schrödinger operator P with respect to the inner product (u,v) of the L(2)=H(0) (measurement) Hilbert space. For alternative (Fourier multiplier) representations of the operator P, e.g. linking to the Riesz operators, we refer to (EsG), examples 3.3, 3.4, (StE). For the Fourier transform analysis of the log-function, the theory of "hyper-/sub-ellipticity" for properly supported pseudodofferential operators and related Garding inequality techniques we refer to (PeB).
Regarding the log(f) term of the Boltzmann entropy definition we note
1. that the explicit formula for the Hilbert transform of k:=log(h) given in (MaJ), where k denotes the absolute value of the function f and f is a function in the Cartwright class
2. the H(-1/2) inner product identity (((f,g))) = (((u,v)))) = (((w,z))), where u resp. v denote the Fourier transform of f and g, resp. where w and z denote the Hilbert transforms of f and g.
We also note, that if it is assumed that k is Lipschitz, then its corresponding Hilbert transform is at least continuous (MaJ).
Regarding the alternatively proposed energy Hilbert space H(1/2) with its related H(-1/2) quantum state Hilbert space we note, that this concept also supports Schrödinger's concept of a "Bose quantum oscillator with half-odd integer quantum numbers, starting with -1/2", as discussed and supported, but finally not adopted ("as (infinite) zero-point energy seems to change by infinite amounts!") in (ScE), THE n-PARTICLE PROBLEM:
“According to modern view, a gas must not be regarded as consisting of n identical systems in loose-energy contact, since the energy levels of the gas are not the sums of the energy levels of its n constituents in all combinations. They are numerically equal to them, certainly. But any two gas levels which differ only by an exchange of roles between two (or more) of the n identical atoms or molecules, have to be regarded as one and the same level of the gas. Briefly reflection will show that this produces an entirely different sum-over-states for the gas as a whole.
The sum-over-state Z formula expression embraces several different physical cases: the theory of black-body radiation, the theory of ordinary Bose-Einstein gases, and thereby the theory of the so-called chemical constant; the theory of a Fermi-Dirac gas, of which the most important application is to the electrons of metals.
There are two distributions to be considered:
1. The distribution of single-particle states “on the momentum line” (p)
2. The distribution of single-particle states “on the energy line” (a)
In order to calculate the first distribution the number of states (of a single particle) pertaining to a “physically infinitesimal “ element of the phase-space in integrated with respect to the first three variables over the volume V and also over the “4 directions” of the momentum, where p is the absolute value of this momentum. If the particles are endowed with spin, this number has still to be multiplied by a small integer 2 or 3, according to the different orientations of the spin that are possible (2 for spin ½ and also for spin 1, when the rest-mass vanishes (photon); 3 for spin 1, when the rest-mass does not vanishes (meson)). What is needed for evaluating the sum-over-state Z, is the distribution of single-particle states “on the energy line”. The general relation between a and p for a free particle would embrace all cases. But the square root makes it inconvenient. It can be avoided, since in point of fact only the two limiting cases actually arise, either m=0 (photons), or p small compared to m*c for all occupied levels. (This holds for all particles other than photons at the temperatures that actually have to be considered.) There are two equivalent ways of looking at the general relation equation between a and p, either as counting the number of quantum states of a particle, or as counting the number of wave-mechanical proper vibrations of the enclosure. The second attitude makes us think of the “n(s) particles present in state a(s)" as of a proper vibration (or a “hohlraum” oscillator to use a customary expression) in its n(s)th quantum state. This attitude really corresponds to so-called second quantization or field quantization.
The wave point of view in both cases, or least in all Bose cases, raises another interesting question. Since in the Bose case we seem to be faced, mathematically, with simple oscillator of the Planck type, of which the n(s) is the quantum number, we may ask whether we ought not to adopt for n(s) half-odd integers ( ½, 3/2, 5/2, …(n+1)/2, …) rather than integers. One must, I think, call that an open dilemma. From the point of analogy one would very much prefer to do so. For, the “zero-point energy” of a Planck oscillator is not only borne out by direct observation in the case of crystal lattices, it is also so intimately linked up with the Heisenberg uncertainty relation that one hates to dispense with it. On the other hand, if we adopt it straightaway, we get into serious trouble, especially on contemplating changes of the volume (e.g. adiabatic compression of a given volume of black-body radiation), because in this process the (infinite) zero-point energy seems to change by infinite amounts! So we do not adopt it, and we continue to take for the n(s) the integers, beginning with 0.”
The Landau damping for the non-linear Vlassov equation
The physics of gases is about increasing entropy, information loss (e.g. regarding the initial state) and stable macroscopic parameters in case of maximum entropy with "maximum" chaos. In the physics of plasma the entropy is constant, information is conserved and the initial state data is always known, caused by the so-called Landau damping.
weakness: the regularity assumptions of the famous Villani proof of exponential Laudau damping for the non-linear Vlassov equation.
overcoming: apply the alternative distributional (energy) Hilbert space H(1/2), which is in line with the non-stationary, non-linear NSE problem and the YME problem solutions of this homepage. This is about two complementary subspaces building H(1/2), whereby one those subspace is compactly embedded into H(1/2), which is identical to the standard energy Hilbert space H(1) with its inner product, the Dirichlet integral.
It is based on analytical regularity assumptions and corresponding analytical norms having up to 5 parameters (which is far away from any physical meaning). One central tool is the Gronwall lemma, which also requires certain mathematical assumptions w/o any physical meaning. The lemma of Gronwall is also sometime applied in finite element approximation analysis of parabolic or hyperbolic PDE enabled by the Ritz/Galerkin approximation theory. In all those cases there might be quasi-optimal error estimates derived with respect to the expected convergence factor. However, applying the lemma of Gronwall to derive those estimates always require purely additional regularity assumptions, just for technical reasons. This is already the case for the simplest linear parabolic PDE, the heat equation. From a mathematical point of view the underlying handicap is just about the not appropriately applied norms.
The note below is about the proposed (distributional) H(-1/2)- Hilbert space as the proposed appropriate Hilbert space frame for a variation representation of the nonlinear transport equation. The corresponding Galerkin-Ritz method is proposed to calculate corresponding (quasi-optimal) approximation solutions, e.g. with underlying boundary elements approximation spaces enabled by the wavelet analysis tool.
latest update: Feb 7, 2018
changes to previous versions since Jan 31, 2018: section 1
(EsG) Eskin G., Boundary Value Problems for Elliptic Pseudodifferential Equations, American Mathematical Society, Providence, Rhode Island, 1981
(JaE) Jaynes E. T., Information Theory and Statistical Mechanics, The Physical Review, Vol. 106, No 4, (1957) 620-630
(LiI) Lifanov I. K., Poltavskii L. N., Vainikko G. M., Hypersingular integral equations and their applications, Chapman & Hall, CRC Press Company, Boca Raton, London, New York, Washington, 2004
(PeB) Petersen B. E., Introduction to the Fourier Transform and Pseudo-Differential Operators, Pitman Advanced Publishing Program, Boston, London, Melbourne, 1983
(ScE) Statistical Thermodynamics, Dover Publications, Inc., New York, 1989
(StE) Stein E. M., Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, New Jersey, 1970