I have discovered a pertinent solution to my problem in the article *On the Kinetic Theory of Rarefied Gases* by Harold Grad and the book *Thermodynamik und Statistik* by Arnold Sommerfeld, both of which present the same proof for the issue I was addressing. The proof assumes the continuity of the function $f$.




---


Suppose we have a function $f\_0:{\mathbb R}^3\rightarrow {\mathbb R}\_+$ that satisfies the following property


\begin{equation}
\begin{split}
&\mathbf{v}\_1^2 + \mathbf{v}\_2^2 = \mathbf{v}\_1'^2 + \mathbf{v}\_2'^2\newline
&\mathbf{v}\_1 + \mathbf{v}\_2 = \mathbf{v}\_1' + \mathbf{v}\_2'
\end{split}
\quad \Rightarrow \quad
f\_0(\mathbf{v}\_1)f\_0(\mathbf{v}\_2) = f\_0(\mathbf{v}\_1')f\_0(\mathbf{v}\_2')
\end{equation}


**Question**: Under what conditions, such as continuity, smoothness, or even analyticity as assumed by physicists, can $\log f\_0$ be written as a linear combination of $v^2$, the three components of $v$, and an arbitrary constant?


$f\_0$ originates from Boltzmann’s distribution of particles in the velocity space, which specifies the equilibrium state in the absence of external forces in classical statistical mechanics. The two equalities represent the conservation laws of kinetic energy and momentum, respectively, in a collision between two perfectly elastic spheres. I encountered $f\_0$ in the book *Mathematical Statistical Mechanics* by Colin J. Thompson.


Here is the original text from the book



> 
> Taking logarithms of both sides of Equation 6.1 we have
> $$
> \log f\_0({\bf v\_1})+ \log f\_0({\bf v\_2}) = \log f\_0({\bf v\_1’}) + \log f\_0({\bf v\_2’}) 
> $$
> which has the form of a conservation law. Since for spinless molecules (e.g., hard spheres) the only conserved quantities are energy and momentum (and constants), it follows that must be a linear combination of $v^2$ and the three components of $v$, plus an arbitrary constant, i.e.,
> $$
> \log f\_0({\bf v})= \log A-B({\bf v}-{\bf v\_0})^2
> $$
> 
> 
> 


I cannot see a rigorous proof provided to explain it, nor are any reference bibliographies given, despite the book being titled "Mathematical Statistical Mechanics"…



Proving the simple form of a function from statistical mechanics
We can indeed prove this for reasonable functions, $\log f\_0\in C^2$, say.


Let me write $F=\log f\_0$. By replacing $F$ by $F(v)-C-d\cdot v$, we can also assume that $F(0),\nabla F(0)=0$.


If $a,v$ are orthogonal, then, by assumption,
$$
F(v)+F(a)=F(v+a)+F(0)=F(v+a) ,
$$
and for small $a$, we have $F(v+a)\simeq F(v) +a\cdot\nabla F(v)$, $F(a)\simeq a\cdot\nabla F(0) =0$. This shows that $a\cdot \nabla F(v)=0$ for all $a$ with $a\cdot v=0$. In other words, $\nabla F(v)$ has the same direction as $v$. It follows that $F$ is radial since for a fixed sphere, the directional derivatives tangential to the sphere are zero. We have $F(v)=g(x^2+y^2+z^2)$, if $v=(x,y,z)$.


On the other hand, we can again decompose $v=xe\_1+(ye\_2+ze\_3)$, and our basic assumption gives $F(v)=g(x^2)+g(y^2+z^2)$. So $g$ satisfies [Cauchy's functional equation](https://en.wikipedia.org/wiki/Cauchy%27s_functional_equation) $g(s+t)=g(s)+g(t)$, and this implies that $g(r^2)=cr^2$, as desired (for example, take the $s$ derivative at $s=0$ in the functional equation to conclude that $g'$ is constant).


