The goal is to show how Class–I models are derived as asymptotic high-friction limits in a context of nonisothermal models. We proceed as follows: (i) First, we interpret a Class–I model as a Class–II system with error terms. (ii) Using the relative entropy formula we compare an exact solution to an approximate solution of a Class–II system. (iii) This needs to be done at some prescribed level of solutions; this is made precise in Sect. 3.2, in which we give the definitions of weak and strong solutions. (iv) Finally, the derivation of the convergence result is done in Sects. 3.3 and 3.4.
3.1 Reformulation of the Class–I Model
First, we embed a solution of a Class–I model into an approximate solution of a Class–II model. The equations of the Class–II model contain the partial velocities \(v_{i}\), while the equations of the Class–I model contain the barycentric velocity \(v\) and the diffusional velocities \(u_{i}\).
Let \((\bar{\rho}_{1}, \ldots , \bar{\rho}_{n}, \bar{v}, \bar{\theta})\) be a solution of (1.11)–(1.13). Then we set
$$ \bar{v}_{i} = \bar{v} + \bar{u}_{i} $$
and (1.11)–(1.13) and (1.16) read:
$$ \partial _{t}\bar{\rho}_{i}+\operatorname {div}(\bar{\rho}_{i}\bar{v}_{i})=0 $$
(3.1)
$$ \partial _{t}(\bar{\rho}\bar{v})+\operatorname {div}(\bar{\rho}\bar{v}\otimes \bar{v})= \bar{\rho}\bar{b}-\nabla \bar{p} $$
(3.2)
$$ \begin{aligned} &\partial _{t}\left (\bar{\rho}\bar{e}+\frac{1}{2}\bar{\rho} \bar{v}^{2} \right )+\operatorname {div}\left (\sum _{j=1}^{n}(\bar{\rho}_{j}\bar{e}_{j}+ \bar{p}_{j})\bar{v}_{j}+\frac{1}{2}\bar{\rho} \bar{v}^{2}\bar{v} \right )\\ &\quad =\operatorname {div}(\bar{\kappa}\nabla \bar{\theta})+\sum _{j=1}^{n} \bar{\rho}_{j}\bar{b}_{j}\cdot \bar{v}_{j}+\bar{\rho}\bar{r}. \end{aligned} $$
(3.3)
$$ \begin{aligned} \partial _{t}(\bar{\rho}\bar{\eta})+\mbox{div}\left (\sum _{j=1}^{n} \bar{\rho}_{j}\bar{\eta}_{j}\bar{v}_{j}\right ) & = \mbox{div} \left (\frac{1}{\bar{\theta}}\bar{\kappa}\nabla \bar{\theta}\right )+ \frac{1}{\bar{\theta}^{2}}\bar{\kappa}|\nabla \bar{\theta}|^{2} \\ & \phantom{xxxxxxx} + \frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij}\bar{\rho}_{i} \bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}+ \frac{\bar{\rho}\bar{r}}{\bar{\theta}}. \end{aligned} $$
(3.4)
Next, we rewrite (3.2) and (3.3) in a form that resembles the equations of the Class–II model. We reformulate (3.2) as:
$$ \partial _{t} (\bar{\rho}_{i}\bar{v}_{i})+\mbox{div}(\bar{\rho}_{i} \bar{v}_{i}\otimes \bar{v}_{i})=\bar{\rho}_{i}\bar{b}_{i}-\nabla \bar{p}_{i} - \frac{\bar{\theta}}{\epsilon}\sum _{j\neq i}b_{ij} \bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})+\bar{R}_{i}, $$
(3.5)
where
$$ \begin{aligned} \bar{R}_{i} & = \partial _{t}(\bar{\rho}_{i}\bar{v})+\partial _{t}( \bar{\rho}_{i}\bar{u}_{i})+\operatorname {div}(\bar{\rho}_{i} \bar{v}\otimes \bar{v})+\operatorname {div}(\bar{\rho}_{i} \bar{v}\otimes \bar{u}_{i})+\operatorname {div}( \bar{\rho}_{i} \bar{u}_{i}\otimes \bar{v}) \\ & \phantom{xx} +\operatorname {div}(\bar{\rho}_{i} \bar{u}_{i}\otimes \bar{u}_{i})-\bar{\rho}_{i} \bar{b}_{i}+\nabla \bar{p}_{i}+\frac{\bar{\theta}}{\epsilon}\sum _{j \ne i}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j}). \end{aligned} $$
Using (1.14), we obtain
$$ \begin{aligned} \bar{R}_{i} & = \partial _{t}(\bar{\rho}_{i}\bar{v})+\partial _{t}( \bar{\rho}_{i}\bar{u}_{i})+\operatorname {div}(\bar{\rho}_{i} \bar{v}\otimes \bar{v})+\operatorname {div}(\bar{\rho}_{i} \bar{v}\otimes \bar{u}_{i}) \\ & \phantom{xx} +\operatorname {div}(\bar{\rho}_{i} \bar{u}_{i}\otimes \bar{v}) +\operatorname {div}( \bar{\rho}_{i} \bar{u}_{i}\otimes \bar{u}_{i})- \frac{\bar{\rho}_{i}}{\bar{\rho}}(\bar{\rho}\bar{b}-\nabla \bar{p}) \end{aligned} $$
and by virtue of \(\partial _{t}\bar{\rho}+\operatorname {div}(\bar{\rho}\bar{v})=0\), we see that
$$ \begin{aligned} \partial _{t}(\bar{\rho}_{i}\bar{v})+\operatorname {div}(\bar{\rho}_{i} \bar{v}\otimes \bar{v}) & = (\partial _{t}\bar{\rho}_{i}+\operatorname {div}(\bar{\rho}_{i}\bar{v}))\bar{v}+\bar{\rho}_{i}(\partial _{t}\bar{v}+(\bar{v} \cdot \nabla ) \bar{v}) \\ & = -\operatorname {div}(\bar{\rho}_{i}\bar{u}_{i})\bar{v}+ \frac{\bar{\rho}_{i}}{\bar{\rho}}(\partial _{t}(\bar{\rho}\bar{v})+ \operatorname {div}(\bar{\rho} \bar{v}\otimes \bar{v})) \\ & = -\operatorname {div}(\bar{\rho}_{i}\bar{u}_{i})\bar{v}+ \frac{\bar{\rho}_{i}}{\bar{\rho}}(\bar{\rho} \bar{b}-\nabla \bar{p}) \end{aligned} $$
and thus
$$ \begin{aligned} \bar{R}_{i} & = -\operatorname {div}(\bar{\rho}_{i}\bar{u}_{i})\bar{v}+\partial _{t}( \bar{\rho}_{i}\bar{u}_{i})+\operatorname {div}(\bar{\rho}_{i} \bar{v}\otimes \bar{u}_{i})+\operatorname {div}(\bar{\rho}_{i} \bar{u}_{i}\otimes \bar{v})+ \operatorname {div}(\bar{\rho}_{i} \bar{u}_{i}\otimes \bar{u}_{i}). \end{aligned} $$
(3.6)
Similarly, we reformulate (3.3) as:
$$ \begin{aligned} \partial _{t}\left (\bar{\rho} \bar{e}+\sum _{j=1}^{n}\frac{1}{2} \bar{\rho}_{j}\bar{v}_{j}^{2}\right ) & +\mbox{div}\left (\sum _{j=1}^{n} \left (\bar{\rho}_{j} \bar{e}_{j}+\bar{p}_{j}+\frac{1}{2}\bar{\rho}_{j} \bar{v}_{j}^{2}\right )\bar{v}_{j}\right ) \\ & \phantom{xxxxxxxxxxxx} = \mbox{div}\left (\bar{\kappa}\nabla \bar{\theta}\right )+ \sum _{j=1}^{n}\bar{\rho}_{j}\bar{b}_{j}\cdot \bar{v}_{j}+\bar{\rho} \bar{r}+\bar{Q}, \end{aligned} $$
(3.7)
where
$$ \begin{aligned} \bar{Q} & = -\partial _{t}\left (\frac{1}{2}\bar{\rho} \bar{v}^{2}\right )- \operatorname {div}\left (\frac{1}{2}\bar{\rho} \bar{v}^{2}\bar{v}\right )+\partial _{t} \left (\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2}\right )+ \operatorname {div}\left (\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2} \bar{v}_{j}\right ) \\ & = \partial _{t}\left (\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{u}_{j}^{2} \right )+\operatorname {div}\left (\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j} \bar{u}_{j}^{2}\bar{u}_{j}\right )+\operatorname {div}\left (\frac{3}{2}\sum _{j=1}^{n} \bar{\rho}_{j}\bar{u}_{j}^{2}\bar{v}\right ) \end{aligned} $$
(3.8)
because due to (1.15)
$$ \frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2}-\frac{1}{2} \bar{\rho}\bar{v}^{2} = \frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j} \bar{u}_{j}^{2} $$
and
$$ \frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2}\bar{v}_{j}- \frac{1}{2}\bar{\rho}\bar{v}^{2}\bar{v} = \frac{1}{2}\sum _{j=1}^{n} \bar{\rho}_{j}\bar{u}_{j}^{2}\bar{u}_{j}+\frac{3}{2}\sum _{j=1}^{n} \bar{\rho}_{j}\bar{u}_{j}^{2}\bar{v}. $$
The equations of the Class–I model are thus reformulated as equations of a Class–II model (namely equations (3.1), (3.5), (3.7)), with the terms \(\bar{R}_{i}\) and \(\bar{Q}\) given by (3.6) and (3.8), respectively. The latter are viewed as error terms. The Maxwell–Stefan system
$$ \begin{aligned} -\sum _{j\neq i}b_{ij}\bar{\theta}\bar{\rho}_{i}\bar{\rho}_{j}( \bar{u}_{i}-\bar{u}_{j}) &= \epsilon \left ( \frac{\bar{\rho}_{i}}{\bar{\rho}}(\bar{\rho}\bar{b}-\nabla \bar{p})- \bar{\rho}_{i}\bar{b}_{i}+\nabla \bar{p}_{i}\right ) \\ \sum _{j = 1}^{n} \bar{\rho}_{j} \bar{u}_{j} &= 0 \end{aligned} $$
(3.9)
is uniquely solvable [8, 11], which implies \(\bar{u}_{i} = \mathcal{O}(\epsilon )\) and thus for smooth solutions \(\bar{R}_{i}\) and \(\bar{Q}\) are of order \(\mathcal{O}(\epsilon )\) and \(\mathcal{O}(\epsilon ^{2})\) respectively.
3.2 Notions of Solutions
In the following, we give the definitions of solutions that will be used. We use the notation \(\omega = ((\rho _{1},\dots ,\rho _{n},v_{1},\dots ,v_{n},\theta )\).
Definition 2
A function \((\rho _{1},\dots ,\rho _{n},v_{1},\dots ,v_{n},\theta )\) is called a weak solution of the Class–II model (1.1)–(1.3), if for all \(i\in \{1,\dots ,n\}\):
$$ 0\leq \rho _{i}\in C^{0}([0,\infty );L^{1}(\mathbb{T}^{3})), \quad \rho _{i}v_{i} \in C^{0}([0,\infty );L^{1}(\mathbb{T}^{3};{\mathbb{R}}^{3})), $$
$$\begin{aligned} &\rho _{i}v_{i}\otimes v_{i}\in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0,\infty );{\mathbb{R}}^{3}\times {\mathbb{R}}^{3}), ~~ p_{i}\in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0,\infty )), \\ & \rho _{i}b_{i}\in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0,\infty );{\mathbb{R}}^{3}), \end{aligned}$$
$$ 0< \theta \in C^{0}([0,\infty );L^{1}(\mathbb{T}^{3})), \quad (\rho _{i}e_{i}+ \frac{1}{2}\rho _{i}v_{i}^{2})\in C^{0}([0,\infty );L^{1}(\mathbb{T}^{3})), $$
$$ (\rho _{i}e_{i}+p_{i}+\frac{1}{2}\rho _{i}v_{i}^{2})v_{i}\in L^{1}_{ \mbox{loc}}(\mathbb{T}^{3}\times [0,\infty );{\mathbb{R}}^{3}), \quad \kappa \nabla \theta \in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0,\infty ); {\mathbb{R}}^{3}), $$
$$ (\rho _{i}b_{i}\cdot v_{i}+\rho r)\in L^{1}_{\mbox{loc}}(\mathbb{T}^{3} \times [0,\infty )) , \quad \theta \sum_{j \ne i} b_{ij}\rho_{i} \rho_{j} (v_{i} - v_{j}) \in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0,\infty ); {\mathbb{R}}^{3}) $$
and \((\rho _{1},\dots ,\rho _{n},v_{1},\dots ,v_{n},\theta )\) solves for all test functions \(\psi _{i},\xi \in C_{c}^{\infty}([0,\infty );C^{\infty}(\mathbb{T}^{3}))\) and \(\phi _{i}\in C_{c}^{\infty}([0,\infty );C^{\infty}(\mathbb{T}^{3};{\mathbb{R}}^{3}))\):
$$ -\int _{\mathbb{T}^{3}}\rho _{i}(x,0)\psi _{i}(x,0)\mbox{d}x-\int _{0}^{\infty} \int _{\mathbb{T}^{3}}\rho _{i}\partial _{t}\psi _{i}\mbox{d}x\mbox{d}t-\int _{0}^{\infty} \int _{\mathbb{T}^{3}}\rho _{i}v_{i}\cdot \nabla \psi _{i}\mbox{d}x\mbox{d}t=0, $$
(3.10)
$$ \begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho _{i}v_{i})(x,0)\phi _{i}(x,0)\mbox{d}x-\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\rho _{i}v_{i}\cdot \partial _{t}\phi _{i}\mbox{d}x\mbox{d}t\\ & \phantom{xx} -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}\otimes v_{i}+p_{i}\mathbb{I}):\nabla \phi _{i}\mbox{d}x\mbox{d}t\\ & \phantom{xx} \quad = \int _{0}^{\infty}\int _{\mathbb{T}^{3}}\rho _{i}b_{i}\phi _{i}\mbox{d}x\mbox{d}t-\frac{1}{\epsilon}\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\theta \sum _{j=1}^{n}b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})\phi _{i}\mbox{d}x\mbox{d}t\end{aligned} $$
(3.11)
and
$$\begin{aligned} \begin{aligned} & -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho e+\frac{1}{2}\sum _{j=1}^{n} \rho _{j}v_{j}^{2})(x,0)\xi (x,0)\mbox{d}x\mbox{d}t-\int _{0}^{\infty}\int _{ \mathbb{T}^{3}}(\rho e+\frac{1}{2}\sum _{j=1}^{n}\rho _{j}v_{j}^{2})\partial _{t} \xi \mbox{d}x\mbox{d}t\\ & -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\sum _{j=1}^{n}(\rho _{j} e_{j}+p_{j}+ \frac{1}{2}\rho _{j}v_{j}^{2})v_{j}\cdot \nabla \xi \mbox{d}x\mbox{d}t= -\int _{0}^{ \infty}\int _{\mathbb{T}^{3}}\kappa \nabla \theta \cdot \nabla \xi \mbox{d}x\mbox{d}t\\ & +\int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\sum _{j=1}^{n}\rho _{j}b_{j} \cdot v_{j}+\rho r)\xi \mbox{d}x\mbox{d}t. \end{aligned} \end{aligned}$$
(3.12)
Definition 3
A function \((\rho _{1},\dots ,\rho _{n},v_{1},\dots ,v_{n},\theta )\) is called an entropy weak solution of the Class–II model (1.1)–(1.3), if it is a weak solution according to Definition 2 with the additional regularity
$$ \begin{aligned} \rho \eta \in C^{0}([0,\infty );L^{1}(\mathbb{T}^{3})), \quad &\rho _{i} \eta _{i}v_{i}\in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0,\infty ); {\mathbb{R}}^{3}), \quad i\in \{1,\dots ,n\} \\ \kappa \nabla \log \theta \in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0, \infty );{\mathbb{R}}^{3}), \quad & \kappa |\nabla \log \theta |^{2}\in L^{1}_{ \mbox{loc}}(\mathbb{T}^{3}\times [0,\infty )), \\ \frac{\rho r}{\theta}\in L^{1}_{\mbox{loc}}(\mathbb{T}^{3}\times [0, \infty )), \quad & \sum_{i,j} b_{i j} \rho_{i} \rho_{j} |v_{i} - v_{j}|^{2} \in L^{1}_{ \mbox{loc}}(\mathbb{T}^{3}\times [0,\infty )) \end{aligned} $$
that satisfies the weak form of the integrated entropy inequality
$$ \begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho \eta )(x,0)\chi (x,0)\mbox{d}x-\int _{0}^{\infty} \int _{\mathbb{T}^{3}}\rho \eta \partial _{t}\chi \mbox{d}x\mbox{d}t-\int _{0}^{\infty} \int _{\mathbb{T}^{3}}\sum _{j=1}^{n}\rho _{j}\eta _{j}v_{j}\cdot \nabla \chi \mbox{d}x\mbox{d}t\\ & \phantom{xx} \geq -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\frac{1}{\theta}\kappa \nabla \theta \cdot \nabla \chi \mbox{d}x\mbox{d}t+\int _{0}^{\infty}\int _{\mathbb{T}^{3}} \frac{1}{\theta ^{2}}\kappa |\nabla \theta |^{2}\chi \mbox{d}x\mbox{d}t\\ & \phantom{xxxx} + \frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{\infty} \int _{\mathbb{T}^{3}}b_{ij}\rho _{i}\rho _{j}|v_{i}-v_{j}|^{2}\chi \mbox{d}x\mbox{d}t+ \int _{0}^{\infty}\int _{\mathbb{T}^{3}}\frac{\rho r}{\theta}\chi \mbox{d}x\mbox{d}t, \end{aligned} $$
(3.13)
holds for all test functions \(\chi \in C_{c}^{\infty}([0,\infty );C^{\infty}(\mathbb{T}^{3}))\), with \(\chi \geq 0\).
Definition 4
A function \((\bar{\rho}_{1},\dots ,\bar{\rho}_{n},\bar{v}_{1},\dots ,\bar{v}_{n}, \bar{\theta})\) is called a strong solution of the Class–I model (1.11)–(1.15), if (1.11)–(1.16) hold almost everywhere on \(\mathbb{T}^{3}\) and for all \(t>0\).
3.3 Derivation of the Relative Entropy Inequality
Next, we derive the relative entropy inequality comparing a weak with a strong solution:
Proposition 5
Let \(\omega \) be an entropy weak solution of the Class–II model (1.1)–(1.3) and \(\bar{\omega}\) a strong solution of the Class–I model (1.11)–(1.16). Then, the following relative entropy inequality
$$\begin{aligned} & \mathcal{H}(\omega |\bar{\omega})(t) + \frac{1}{2\epsilon}\sum _{i=1}^{n} \sum _{j=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}b_{ij}\rho _{i} \rho _{j}|(v_{i}-v_{j})-(\bar{v}_{i}-\bar{v}_{j})|^{2}\mbox{d}x\mbox{d}s\\ & + \int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}\kappa |\nabla \log \theta -\nabla \log \bar{\theta}|^{2}\mbox{d}x\mbox{d}s\leq \mathcal{H}(\omega | \bar{\omega})(0)-\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}p_{i}( \omega |\bar{\omega})\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\rho _{i}\big( (v_{i}-\bar{v}_{i}) \cdot \nabla\big) \bar{v}_{i}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s+\sum _{i=1}^{n} \int _{0}^{t}\int _{\mathbb{T}^{3}}\rho _{i}(b_{i}-\bar{b}_{i})\cdot (v_{i}- \bar{v}_{i})\mbox{d}x\mbox{d}s\\ & -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}\eta _{i})( \omega |\bar{\omega})(\partial _{s}\bar{\theta}+\bar{v}_{i}\cdot \nabla \bar{\theta})\mbox{d}x\mbox{d}s+\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}} \bar{R}_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\rho _{i}(v_{i}-\bar{v}_{i}) \cdot \nabla \bar{\theta}(\eta _{i}-\bar{\eta}_{i})\mbox{d}x\mbox{d}s-\sum _{i=1}^{n} \int _{0}^{t}\int _{\mathbb{T}^{3}}\frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}- \bar{v}_{i})\cdot \bar{R}_{i}\mbox{d}x\mbox{d}s\\ & +\int _{0}^{t}\int _{\mathbb{T}^{3}}(\nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \log \bar{\theta}(\theta \bar{\kappa}- \bar{\theta}\kappa )\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{Q}\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{ \mathbb{T}^{3}}\bar{\theta}b_{ij}\rho _{i}(v_{i}-\bar{v}_{i})\cdot (\rho _{j}- \bar{\rho}_{j})(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{ \mathbb{T}^{3}}(\theta -\bar{\theta})b_{ij}\rho _{i}\rho _{j}(v_{i}-\bar{v}_{i}) \cdot (\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{ \mathbb{T}^{3}}(\theta -\bar{\theta})b_{ij}(\rho _{i}-\bar{\rho}_{i}) \bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{ \mathbb{T}^{3}}(\theta -\bar{\theta})b_{ij}\rho _{i}(\rho _{j}-\bar{\rho}_{j})( \bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & +\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\frac{\rho r}{\theta}- \frac{\bar{\rho}\bar{r}}{\bar{\theta}}\right )(\theta -\bar{\theta})dxds. \end{aligned}$$
(3.14)
holds for every \(t>0\), where \(\bar{R}_{i}\) and \(\bar{Q}\) are given by (3.6) and (3.8).
Remark 6
The proof is done for periodic entropy weak solutions defined on \(\mathbb{T}^{3} \times (0,\infty )\). The same proof would carry over to solutions defined on a bounded domain \(\Omega \times (0,\infty )\) that satisfy the no-flux boundary conditions (1.4). Concerning solutions of Class-II models defined on the whole space \({\mathbb{R}}^{3} \times (0,\infty )\), the reader will note that the integrals in the relative entropy identity (3.14) are still well defined for classical solutions that approach the same constant states \((\bar{\rho}, \bar{v}_{i} , \bar{\theta})\) at infinity, provided the functions decay sufficiently fast to the constant sate as \(|x| \to \infty \). For such classical solutions one can still derive the relative entropy inequality and it would be useful if the error terms \(\bar{R}_{i}\) and \(\bar{Q}\) are integrable.
Proof
Multiply (3.1), (3.5), (3.7) and (3.4) by the test functions \(\psi _{i}\), \(\phi _{i}\), \(\xi \), \(\chi \) respectively, as in the weak formulation of the equations of the Class–II model, integrate them over \(\mathbb{T}^{3}\times (0,\infty )\) and subtract them from (3.10)–(3.13), in order to obtain:
$$\begin{aligned} &-\int _{\mathbb{T}^{3}}(\rho _{i}-\bar{\rho}_{i})(x,0)\psi _{i}(x,0)\mbox{d}x- \int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho _{i}-\bar{\rho}_{i})\partial _{t} \psi _{i}\mbox{d}x\mbox{d}t-\int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}\\ &\quad - \bar{\rho}_{i}\bar{v}_{i})\cdot \nabla \psi _{i}\mbox{d}x\mbox{d}t=0, \end{aligned}$$
$$\begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}-\bar{\rho}_{i}\bar{v}_{i})(x,0) \phi _{i}(x,0)\mbox{d}x-\int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}- \bar{\rho}_{i}\bar{v}_{i})\partial _{t}\phi _{i}\mbox{d}x\mbox{d}t\\ & -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}\otimes v_{i}+p_{i} \mathbb{I}-\bar{\rho}_{i}\bar{v}_{i}\otimes \bar{v}_{i}-\bar{p}_{i} \mathbb{I}):\nabla \phi _{i}\mbox{d}x\mbox{d}t=\int _{0}^{\infty}\int _{\mathbb{T}^{3}}( \rho _{i}b_{i}-\bar{\rho}_{i}\bar{b}_{i})\cdot \phi _{i}\mbox{d}x\mbox{d}t\\ & -\frac{1}{\epsilon}\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\left (\theta \sum _{j\ne i}b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})-\bar{\theta}\sum _{j \ne i}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j}) \right )\cdot \phi _{i}\mbox{d}x\mbox{d}t\\ &-\int _{0}^{\infty}\int _{\mathbb{T}^{3}} \bar{R}_{i}\cdot \phi _{i}\mbox{d}x\mbox{d}t, \end{aligned}$$
$$\begin{aligned} & -\int _{\mathbb{T}^{3}}\left (\rho e+\frac{1}{2}\sum _{j=1}^{n}\rho _{j}v_{j}^{2}- \bar{\rho}\bar{e}-\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2} \right )(x,0)\xi (x,0)\mbox{d}x\\ & -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\left (\rho e+\frac{1}{2}\sum _{j=1}^{n} \rho _{j}v_{j}^{2}-\bar{\rho}\bar{e}-\frac{1}{2}\sum _{j=1}^{n} \bar{\rho}_{j}\bar{v}_{j}^{2}\right )\partial _{t}\xi \mbox{d}x\mbox{d}t\\ &+\int _{0}^{ \infty}\int _{\mathbb{T}^{3}}(\kappa \nabla \theta -\bar{\kappa}\nabla \bar{\theta})\cdot \nabla \xi \mbox{d}x\mbox{d}t\\ & -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\sum _{j=1}^{n}\left ((\rho _{j}e_{j}+p_{j}+ \frac{1}{2}\rho _{j}v_{j}^{2})v_{j}-(\bar{\rho}_{j}\bar{e}_{j}+ \bar{p}_{j}+\frac{1}{2}\bar{\rho}_{j}\bar{v}_{j}^{2})\bar{v}_{j} \right )\cdot \nabla \xi \mbox{d}x\mbox{d}t\\ & = \int _{0}^{\infty}\int _{\mathbb{T}^{3}}\left (\rho r+\sum _{j=1}^{n} \rho _{j}b_{j}\cdot v_{j}-\bar{\rho}\bar{r}-\sum _{j=1}^{n}\bar{\rho}_{j} \bar{b}_{j}\cdot \bar{v}_{j}\right )\xi \mbox{d}x\mbox{d}t-\int _{0}^{\infty} \int _{\mathbb{T}^{3}}\bar{Q}\xi \mbox{d}x\mbox{d}t \end{aligned}$$
and
$$\begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho \eta -\bar{\rho}\bar{\eta})(x,0)\chi (x,0)\mbox{d}x- \int _{0}^{\infty}\int _{\mathbb{T}^{3}}(\rho \eta -\bar{\rho}\bar{\eta})\partial _{t} \chi \mbox{d}x\mbox{d}t\\ & -\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\sum _{j=1}^{n}(\rho _{j}\eta _{j}v_{j}- \bar{\rho}_{j}\bar{\eta}_{j}\bar{v}_{j})\cdot \nabla \chi \mbox{d}x\mbox{d}t\geq - \int _{0}^{\infty}\int _{\mathbb{T}^{3}}\left (\frac{1}{\theta}\kappa \nabla \theta -\frac{1}{\bar{\theta}}\bar{\kappa}\nabla \bar{\theta}\right )\cdot \nabla \chi \mbox{d}x\mbox{d}t\\ & +\int _{0}^{\infty}\int _{\mathbb{T}^{3}}\left (\frac{1}{2\epsilon}\sum _{i=1}^{n} \sum _{j=1}^{n}b_{ij}\rho _{i}\rho _{j}|v_{i}-v_{j}|^{2}- \frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij}\bar{\rho}_{i} \bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}\right )\chi \mbox{d}x\mbox{d}t\\ & + \int _{0}^{\infty}\int _{\mathbb{T}^{3}}\left (\frac{1}{\theta ^{2}} \kappa |\nabla \theta |^{2}-\frac{1}{\bar{\theta}^{2}}\bar{\kappa}| \nabla \bar{\theta}|^{2}\right )\chi \mbox{d}x\mbox{d}t+ \int _{0}^{\infty}\int _{ \mathbb{T}^{3}}\left (\frac{\rho r}{\theta}- \frac{\bar{\rho}\bar{r}}{\bar{\theta}}\right )\chi \mbox{d}x\mbox{d}t. \end{aligned}$$
We choose the test functions \(\psi _{i}=\left (\bar{\mu}_{i}-\frac{1}{2}\bar{v}_{i}^{2}\right ) \zeta \), \(\quad \phi _{i}=\bar{v}_{i}\zeta \), \(\quad \xi =-\zeta \quad \mbox{and} \quad \chi =\bar{\theta}\zeta \) where
$$ \zeta (s)= \textstyle\begin{cases} 1 & 0\leq s< t \\ \frac{t-s}{\delta}+1 & t\leq s< t+\delta \\ 0 & s\geq t+\delta \end{cases}\displaystyle , $$
and let \(\delta \to 0\), to obtain:
$$\begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho _{i}-\bar{\rho}_{i})(x,0)\left (\bar{\mu}_{i}- \frac{1}{2}\bar{v}_{i}^{2}\right )(x,0)\mbox{d}x-\int _{0}^{t}\int _{\mathbb{T}^{3}}( \rho _{i}-\bar{\rho}_{i})\partial _{s}\left (\bar{\mu}_{i}-\frac{1}{2} \bar{v}_{i}^{2}\right )\mbox{d}x\mbox{d}s\\ & +\int _{\mathbb{T}^{3}}(\rho _{i}-\bar{\rho}_{i})\left (\bar{\mu}_{i}- \frac{1}{2}\bar{v}_{i}^{2}\right )\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}( \rho _{i}v_{i}-\bar{\rho}_{i}\bar{v}_{i})\cdot \nabla \left (\bar{\mu}_{i}- \frac{1}{2}\bar{v}_{i}^{2}\right )\mbox{d}x=0, \end{aligned}$$
$$\begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}-\bar{\rho}_{i}\bar{v}_{i})(x,0) \bar{v}_{i}(x,0)\mbox{d}x-\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}- \bar{\rho}_{i}\bar{v}_{i})\partial _{s}\bar{v}_{i}\mbox{d}x\mbox{d}s+\int _{\mathbb{T}^{3}}( \rho _{i}v_{i}-\bar{\rho}_{i}\bar{v}_{i})\bar{v}_{i}\mbox{d}x\\ & -\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}\otimes v_{i}+p_{i} \mathbb{I} -\bar{\rho}_{i}\bar{v}_{i}\otimes \bar{v}_{i}-\bar{p}_{i} \mathbb{I}):\nabla \bar{v}_{i}\mbox{d}x\mbox{d}s=\int _{0}^{t}\int _{\mathbb{T}^{3}}( \rho _{i}b_{i}-\bar{\rho}_{i}\bar{b}_{i})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\theta \sum _{j \ne i}b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})-\bar{\theta}\sum _{j\ne i}b_{ij} \bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\right )\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ &-\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{R}_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s, \end{aligned}$$
$$\begin{aligned} & \int _{\mathbb{T}^{3}}\left (\rho e+\frac{1}{2}\sum _{j=1}^{n}\rho _{j}v_{j}^{2}- \bar{\rho}\bar{e}-\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2} \right )(x,0)\mbox{d}x\\ & -\int _{\mathbb{T}^{3}}\left (\rho e+\frac{1}{2}\sum _{j=1}^{n}\rho _{j}v_{j}^{2}- \bar{\rho}\bar{e}-\frac{1}{2}\sum _{j=1}^{n}\bar{\rho}_{j}\bar{v}_{j}^{2} \right )\mbox{d}x\\ & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\rho r+\sum _{j=1}^{n}\rho _{j}b_{j} \cdot v_{j}-\bar{\rho}\bar{r}-\sum _{j=1}^{n}\bar{\rho}_{j}\bar{b}_{j} \cdot \bar{v}_{j}\right )\mbox{d}x\mbox{d}s+\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{Q} \mbox{d}x\mbox{d}s \end{aligned}$$
$$\begin{aligned} & -\int _{\mathbb{T}^{3}}(\rho \eta -\bar{\rho}\bar{\eta})(x,0)\bar{\theta}(x,0) \mbox{d}x-\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho \eta -\bar{\rho}\bar{\eta})\partial _{s} \bar{\theta} \mbox{d}x\mbox{d}s+\int _{\mathbb{T}^{3}}(\rho \eta -\bar{\rho}\bar{\eta}) \bar{\theta} \mbox{d}x\\ & -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{j=1}^{n}(\rho _{j}\eta _{j}v_{j}- \bar{\rho}_{j}\bar{\eta}_{j}\bar{v}_{j})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s\geq -\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\frac{1}{\theta}\kappa \nabla \theta -\frac{1}{\bar{\theta}}\bar{\kappa}\nabla \bar{\theta}\right )\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s\\ & +\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\frac{1}{2\epsilon}\sum _{i=1}^{n} \sum _{j=1}^{n}b_{ij}\rho _{i}\rho _{j}|v_{i}-v_{j}|^{2}- \frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij}\bar{\rho}_{i} \bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}\right )\bar{\theta} \mbox{d}x\mbox{d}s\\ & + \int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\frac{1}{\theta ^{2}}\kappa | \nabla \theta |^{2}-\frac{1}{\bar{\theta}^{2}}\bar{\kappa}|\nabla \bar{\theta}|^{2}\right )\bar{\theta} \mbox{d}x\mbox{d}s+ \int _{0}^{t}\int _{\mathbb{T}^{3}} \left (\frac{\rho r}{\theta}-\frac{\bar{\rho}\bar{r}}{\bar{\theta}} \right )\bar{\theta} \mbox{d}x\mbox{d}s. \end{aligned}$$
Then, summing everything up and by virtue of the computation
$$\begin{aligned} & -\sum _{i=1}^{n}(\rho _{i}-\bar{\rho}_{i})\left (\bar{\mu}_{i}- \frac{1}{2}\bar{v}_{i}^{2}\right )-\sum _{i=1}^{n}(\rho _{i}v_{i}- \bar{\rho}_{i}\bar{v}_{i})\bar{v}_{i} \\ &+\left (\rho e+\frac{1}{2}\sum _{i=1}^{n} \rho _{i}v_{i}^{2}-\bar{\rho}\bar{e}-\frac{1}{2}\sum _{i=1}^{n} \bar{\rho}_{i}\bar{v}_{i}^{2}\right ) \\ & -(\rho \eta -\bar{\rho}\bar{\eta})\bar{\theta}= -\sum _{i=1}^{n}(\rho _{i}- \bar{\rho}_{i})\bar{\mu}_{i}\\ &+\frac{1}{2}\sum _{i=1}^{n}(\rho _{i}\bar{v}_{i}^{2}-2 \rho _{i}v_{i}\cdot \bar{v}_{i}+\rho _{i}v_{i}^{2})+(\rho e-\bar{\rho}\bar{e})-(\rho \eta -\bar{\rho}\bar{\eta})\bar{\theta}\\ & = \frac{1}{2}\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2}-\sum _{i=1}^{n}( \rho _{i}\psi _{i})_{\rho _{i}}(\rho _{i}-\bar{\rho}_{i})+\rho e- \bar{\rho}\bar{e}-\rho \eta \bar{\theta}+\bar{\rho}\bar{\eta}\bar{\theta}\\ & = \frac{1}{2}\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2}+\sum _{i=1}^{n}( \rho _{i}\psi _{i})(\omega |\bar{\omega})+(\rho \eta -\bar{\rho}\bar{\eta})(\theta -\bar{\theta})=\mathcal{H}(\omega |\bar{\omega}) \end{aligned}$$
one gets the inequality:
$$ \mathcal{H}(\omega |\bar{\omega})(t)\leq \mathcal{H}(\omega | \bar{\omega})(0)+I_{1}+I_{2}+I_{3}+I_{4}+I_{5}+I_{6}+I_{7} $$
where
$$\begin{aligned} I_{1} & =-\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}- \bar{\rho}_{i})\cdot \partial _{s}\left (\bar{\mu}_{i}-\frac{1}{2}\bar{v}_{i}^{2} \right )\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}-\bar{\rho}_{i} \bar{v}_{i})\partial _{s}\bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}( \rho \eta -\bar{\rho}\bar{\eta})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s, \end{aligned}$$
$$\begin{aligned} I_{2} & = -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}- \bar{\rho}_{i}\bar{v}_{i})\cdot \nabla \left (\bar{\mu}_{i}-\frac{1}{2} \bar{v}_{i}^{2}\right )\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}\otimes v_{i}- \bar{\rho}_{i}\bar{v}_{i}\otimes \bar{v}_{i}):\nabla \bar{v}_{i}\mbox{d}x\mbox{d}s\\ &\phantom{xx}- \sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}v_{i}\eta _{i}- \bar{\rho}_{i}\bar{v}_{i}\bar{\eta}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s, \end{aligned}$$
$$\begin{aligned} I_{3} & = \frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t} \int _{\mathbb{T}^{3}}\theta b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ &\phantom{xx}-\frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n} \int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}( \bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{ \mathbb{T}^{3}}\bar{\theta}b_{ij}\rho _{i}\rho _{j}|v_{i}-v_{j}|^{2}\mbox{d}x\mbox{d}s\\ &\phantom{xx} + \frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{ \mathbb{T}^{3}}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}- \bar{v}_{j}|^{2}\mbox{d}x\mbox{d}s, \end{aligned}$$
$$ I_{4}=\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\frac{1}{\theta}\kappa \nabla \theta -\frac{1}{\bar{\theta}}\bar{\kappa}\nabla \bar{\theta}\right )\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}} \left (\frac{1}{\theta ^{2}}\kappa |\nabla \theta |^{2}- \frac{1}{\bar{\theta}^{2}}\bar{\kappa}|\nabla \bar{\theta}|^{2}\right ) \bar{\theta} \mbox{d}x\mbox{d}s, $$
$$\begin{aligned} I_{5} & =-\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}b_{i}- \bar{\rho}_{i}\bar{b}_{i})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\rho r+\sum _{i=1}^{n}\rho _{i}b_{i} \cdot v_{i}-\bar{\rho}\bar{r}-\sum _{i=1}^{n}\bar{\rho}_{i}\bar{b}_{i} \cdot \bar{v}_{i}\right )\mbox{d}x\mbox{d}s\\ &\phantom{xx}-\int _{0}^{t}\int _{\mathbb{T}^{3}}\left ( \frac{\rho r}{\theta}-\frac{\bar{\rho}\bar{r}}{\bar{\theta}}\right ) \bar{\theta} \mbox{d}x\mbox{d}s, \end{aligned}$$
$$ I_{6}=- \sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(p_{i}-\bar{p}_{i}) \operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s$$
$$ I_{7} = \sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{R}_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{Q}\mbox{d}x\mbox{d}s$$
and the plan is to rearrange the above terms in five steps.
Step 1: We rearrange the terms \(I_{1}\), \(I_{2}\) and \(I_{6}\). We start with \(I_{1}\) and carry out the following calculation:
$$ \begin{aligned} I_{1} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}-\bar{\rho}_{i})\left ((\bar{\mu}_{i})_{\rho _{i}}\partial _{s} \bar{\rho}_{i}+(\bar{\mu}_{i})_{\theta} \partial _{s}\bar{\theta}\right )\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i}) \partial _{s}\bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}\eta _{i}-\bar{\rho}_{i}\bar{\eta}_{i})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s\\ & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}-\bar{\rho}_{i}) \left ((\bar{\mu}_{i})_{\rho _{i}}\partial _{s}\bar{\rho}_{i}+(\bar{\mu}_{i})_{ \theta} \partial _{s}\bar{\theta}\right )\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i}) \partial _{s}\bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}\eta _{i})(\omega |\bar{\omega})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{ \rho _{i}}(\rho _{i}-\bar{\rho}_{i})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{\theta}( \theta -\bar{\theta})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s\end{aligned} $$
and since
$$ (\rho _{i}\eta _{i})_{\rho _{i}}=(-(\rho _{i}\psi _{i})_{\theta})_{ \rho _{i}}=-((\rho _{i}\psi _{i})_{\rho _{i}})_{\theta}=-(\mu _{i})_{ \theta }$$
(3.15)
we see that
$$ \begin{aligned} I_{1} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \rho _{i}(v_{i}-\bar{v}_{i})\partial _{s}\bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}\eta _{i})(\omega | \bar{\omega})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{ \theta}(\theta -\bar{\theta})\partial _{s}\bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}-\bar{\rho}_{i})(\bar{\mu}_{i})_{ \rho _{i}}\partial _{s}\bar{\rho}_{i}\mbox{d}x\mbox{d}s\\ & =: I_{11}+\cdots +I_{14}, \end{aligned} $$
where
$$\begin{aligned} I_{13} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\partial _{s}( \bar{\rho}\bar{\eta})(\theta -\bar{\theta})\mbox{d}x\mbox{d}s+\int _{0}^{t}\int _{ \mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{\rho _{i}}( \theta -\bar{\theta})\partial _{s}\bar{\rho}_{i}\mbox{d}x\mbox{d}s\\ & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\operatorname {div}\left (\sum _{i=1}^{n} \bar{\rho}_{i}\bar{\eta}_{i}\bar{v}_{i}\right )(\theta -\bar{\theta})+ \int _{0}^{t}\int _{\mathbb{T}^{3}}\frac{1}{\bar{\theta}}\bar{\kappa}\nabla \bar{\theta}\cdot \nabla (\theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\frac{1}{\bar{\theta}^{2}}\bar{\kappa}| \nabla \bar{\theta}|^{2}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s- \frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij} \bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}(\theta - \bar{\theta})\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\frac{\bar{\rho}\bar{r}}{\bar{\theta}}( \theta -\bar{\theta})\mbox{d}x\mbox{d}s- \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \bar{\rho}_{i}\bar{\eta}_{i})_{\rho _{i}}(\theta -\bar{\theta})\nabla \bar{\rho}_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} - \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{ \rho _{i}}(\theta -\bar{\theta})\bar{\rho}_{i}\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s=:I_{131}+ \cdots +I_{137} \end{aligned}$$
and we have used (3.1) and (3.4) and an integration by parts in the term \(I_{132}\).
Moreover,
$$\begin{aligned} I_{131}={}&\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\nabla (\bar{\rho}_{i} \bar{\eta}_{i})\cdot \bar{v}_{i}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s+\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\bar{\rho}_{i}\bar{\eta}_{i}\operatorname {div}\bar{v}_{i}( \theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ =:{}&I_{1311}+I_{1312}. \end{aligned}$$
Again using (3.1),
$$ \begin{aligned} I_{14} & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}-\bar{\rho}_{i})(\bar{\mu}_{i})_{\rho _{i}}\nabla \bar{\rho}_{i} \cdot \bar{v}_{i}\mbox{d}x\mbox{d}s+\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}-\bar{\rho}_{i})(\bar{\mu}_{i})_{\rho _{i}}\bar{\rho}_{i} \operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s\\ & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}-\bar{\rho}_{i}) \nabla \bar{\mu}_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}(\rho _{i}-\bar{\rho}_{i})(\bar{\mu}_{i})_{\theta} \nabla \bar{\theta}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}-\bar{\rho}_{i})( \bar{\mu}_{i})_{\rho _{i}}\bar{\rho}_{i}\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s=:I_{141}+ \cdots +I_{143}. \end{aligned} $$
We now write \(I_{2}\) as
$$ \begin{aligned} I_{2} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}v_{i}-\bar{\rho}_{i}\bar{v}_{i})\cdot \nabla \bar{\mu}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i})\cdot \nabla \bar{v}_{i}(v_{i}-\bar{v}_{i}) \\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}\bar{v}_{i}\cdot \nabla \bar{v}_{i}(v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}\eta _{i}v_{i}- \bar{\rho}_{i}\bar{\eta}_{i}\bar{v}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s\end{aligned} $$
and if we add and subtract the term with the relative pressure:
$$ \begin{aligned} I_{2} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}v_{i}-\bar{\rho}_{i}\bar{v}_{i})\cdot \nabla \bar{\mu}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i})\cdot \nabla \bar{v}_{i}(v_{i}-\bar{v}_{i}) \\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}\bar{v}_{i}\cdot \nabla \bar{v}_{i}(v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s- \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}p_{i}(\omega |\bar{\omega}) \operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{p}_{i})_{\rho _{i}}( \rho _{i}-\bar{\rho}_{i})\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{ \mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{p}_{i})_{\theta}(\theta -\bar{\theta}) \operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}\eta _{i}v_{i}- \bar{\rho}_{i}\bar{\eta}_{i}\bar{v}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s+ \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(p_{i}-\bar{p}_{i})\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s\\ & =: I_{21}+\cdots +I_{28}, \end{aligned} $$
where \(I_{28}\) cancels out with \(I_{6}\), while
$$ \begin{aligned} I_{27} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}( \rho _{i}\eta _{i}-\bar{\rho}_{i}\bar{\eta}_{i})\bar{v}_{i}\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i} \eta _{i}(v_{i}-\bar{v}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s\\ & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i}\eta _{i})( \omega |\bar{\omega})\bar{v}_{i}\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{\rho _{i}}( \rho _{i}-\bar{\rho}_{i})\bar{v}_{i}\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s\\ & \phantom{xx} -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\bar{\rho}_{i}\bar{\eta}_{i})_{ \theta}(\theta -\bar{\theta})\bar{v}_{i}\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}\eta _{i}(v_{i}- \bar{v}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s\\ & =: I_{271}+\cdots +I_{274} \end{aligned} $$
and thus \(I_{272}\) cancels out with \(I_{142}\) and \(I_{1311}\) cancels out with \(I_{136}\) and \(I_{273}\). Furthermore, due to
$$ \nabla p_{i}=\rho _{i}\nabla \mu _{i}+\rho _{i}\eta _{i}\nabla \theta $$
(3.16)
which can be obtained by applying the gradient operator to (1.9) and using (1.7) and (1.8), we have
$$ \begin{aligned} I_{21} & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \nabla \bar{\mu}_{i}\cdot (\rho _{i}-\bar{\rho}_{i})v_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\nabla \bar{\mu}_{i}\cdot \bar{\rho}_{i}(v_{i}- \bar{v}_{i})\mbox{d}x\mbox{d}s\\ & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\nabla \bar{\mu}_{i} \cdot (\rho _{i}-\bar{\rho}_{i})(v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\nabla \bar{\mu}_{i}\cdot (\rho _{i}- \bar{\rho}_{i})\bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} + \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\bar{\rho}_{i}\bar{\eta}_{i} \nabla \bar{\theta}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{ \mathbb{T}^{3}}\sum _{i=1}^{n}\nabla \bar{p}_{i}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s\\ & =: I_{211}+\cdots +I_{214}, \end{aligned} $$
where \(I_{212}\) cancels out with \(I_{141}\) and
$$ I_{213}+I_{274}=-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}(\rho _{i} \eta _{i}-\bar{\rho}\bar{\eta}_{i})(v_{i}-\bar{v}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s. $$
Regarding \(I_{11}\), using (3.5) we get
$$ \begin{aligned} I_{11} & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}\bar{v}_{i}\cdot \nabla \bar{v}_{i} (v_{i}-\bar{v}_{i}) \mbox{d}x\mbox{d}s- \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i}) \cdot \bar{b}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} + \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}-\bar{v}_{i})\cdot \nabla \bar{p}_{i} \mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}-\bar{v}_{i})\cdot \bar{R}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \rho _{i}(v_{i}-\bar{v}_{i})\bar{\theta}b_{ij}\bar{\rho}_{j}(\bar{v}_{i}- \bar{v}_{j})\mbox{d}x\mbox{d}s=:I_{111}+\cdots +I_{115}. \end{aligned} $$
Notice that \(I_{111}\) cancels out with \(I_{23}\) and
$$ I_{214}+I_{113}=\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \frac{1}{\bar{\rho}_{i}}\nabla \bar{p}_{i}\cdot (v_{i}-\bar{v}_{i})( \rho _{i}-\bar{\rho}_{i}), $$
which combined with \(I_{211}\) gives, due to (3.16),
$$ I_{214}+I_{113}+I_{211}=\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \bar{\eta}_{i}(\rho _{i}-\bar{\rho}_{i})(v_{i}-\bar{v}_{i})\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s$$
and hence
$$ I_{214}+I_{113}+I_{211}+I_{213}+I_{274}=-\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i})\cdot \nabla \bar{\theta}( \eta _{i}-\bar{\eta}_{i})\mbox{d}x\mbox{d}s. $$
Finally, (1.5)–(1.8) imply
$$\begin{aligned} (p_{i})_{\rho _{i}} &=\rho _{i}(\mu _{i})_{\rho _{i}} \end{aligned}$$
(3.17)
$$\begin{aligned} (p_{i})_{\theta }&=\rho _{i}\eta _{i}+\rho _{i}(\mu _{i})_{\theta } \end{aligned}$$
(3.18)
and due to (3.18),
$$ I_{1312}+I_{26}=-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\bar{\rho}_{i}( \bar{\mu}_{i})_{\theta}(\theta -\bar{\theta})\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s$$
which cancels out with \(I_{137}\), because of (3.15), while due to (3.17), \(I_{25}\) cancels out with \(I_{143}\).
Putting together \(I_{1}\), \(I_{2}\) and \(I_{6}\), we get
$$ \begin{aligned} & I_{1}+I_{2}+I_{6} = -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}p_{i}( \omega |\bar{\omega})\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s-\sum _{i=1}^{n}\int _{0}^{t} \int _{\mathbb{T}^{3}}\frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}-\bar{v}_{i}) \cdot \bar{R}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} - \sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\rho _{i}(v_{i}-\bar{v}_{i}) \cdot \nabla \bar{v}_{i}(v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s- \int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i})\cdot \bar{b}_{i} \mbox{d}x\mbox{d}s\\ & \phantom{xx} -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}(\rho _{i}\eta _{i})( \omega |\bar{\omega})(\partial _{s}\bar{\theta}+\bar{v}_{i}\cdot \nabla \bar{\theta})\mbox{d}x\mbox{d}s+\int _{0}^{t}\int _{\mathbb{T}^{3}} \frac{1}{\bar{\theta}}\bar{\kappa}\nabla \bar{\theta}\cdot \nabla ( \theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\sum _{i=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\rho _{i}(v_{i}-\bar{v}_{i}) \cdot \nabla \bar{\theta}(\eta _{i}-\bar{\eta}_{i})\mbox{d}x\mbox{d}s- \int _{0}^{t} \int _{\mathbb{T}^{3}}\frac{1}{\bar{\theta}^{2}}\bar{\kappa}|\nabla \bar{\theta}|^{2}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \rho _{i}(v_{i}-\bar{v}_{i})\bar{\theta}b_{ij}\bar{\rho}_{j}(\bar{v}_{i}- \bar{v}_{j})\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}} \frac{\bar{\rho}\bar{r}}{\bar{\theta}}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij} \bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}(\theta - \bar{\theta})\mbox{d}x\mbox{d}s. \end{aligned} $$
(3.19)
The rest of the steps consist in combining the terms on the right–hand–side of (3.19) with \(I_{3}\), \(I_{4}\), \(I_{5}\) and \(I_{7}\):
Step 2: Combine \(I_{3}\) with the last and third–to–last term on the right–hand–side of (3.19).
We start by noticing that
$$\begin{aligned} I_{3} &= \frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\theta b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ &\quad - \frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}b_{ij}\rho _{i}\rho _{j}|v_{i}-v_{j}|^{2}\mbox{d}x\mbox{d}s. \end{aligned}$$
The reason is that due to the symmetry of \(b_{ij}\)
$$ -\frac{1}{\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s= -\frac{1}{2\epsilon}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}\mbox{d}x\mbox{d}s$$
and thus the second and fourth terms of \(I_{3}\) cancel out with each other. Therefore, we have:
$$\begin{aligned} F & := I_{3} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}\sum _{j=1}^{n}\rho _{i}(v_{i}-\bar{v}_{i})\bar{\theta}b_{ij} \bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & \phantom{xxxxxxxxxxx} -\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij} \bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}-\bar{v}_{j}|^{2}(\theta - \bar{\theta})\mbox{d}x\mbox{d}s\\ & = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ &-\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j}|v_{i}-v_{j}|^{2} \mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \rho _{i}(v_{i}-\bar{v}_{i})\bar{\theta}b_{ij}\bar{\rho}_{j}(\bar{v}_{i}- \bar{v}_{j})\mbox{d}x\mbox{d}s\\ &-\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}\sum _{j=1}^{n}b_{ij}\theta \bar{\rho}_{i}\bar{\rho}_{j}| \bar{v}_{i}-\bar{v}_{j}|^{2}\mbox{d}x\mbox{d}s\\ & +\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \sum _{j=1}^{n}b_{ij}\bar{\theta}\bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}- \bar{v}_{j}|^{2}\mbox{d}x\mbox{d}s=: F_{1}+\cdots +F_{5} \end{aligned}$$
and we start by collecting only the terms that are multiplied by \(\bar{\theta}\):
$$\begin{aligned} & F_{2} + F_{5} + F_{3} = -\frac{1}{2\epsilon}\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i} \rho _{j}|v_{i}-v_{j}|^{2}\mbox{d}x\mbox{d}s\\ & +\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \sum _{j=1}^{n}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}|\bar{v}_{i}- \bar{v}_{j}|^{2}\mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}(v_{i}-\bar{v}_{i}) \cdot \bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \bar{\theta}b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})\cdot (v_{i}-\bar{v}_{i}) \mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \bar{\theta}b_{ij}\rho _{i}\rho _{j}(v_{i}-v_{j})\cdot (v_{i}-\bar{v}_{i}) \mbox{d}x\mbox{d}s=: f_{1}+\cdots +f_{5}, \end{aligned}$$
where the last two terms are added and subtracted.
Now, write the third term as
$$ \begin{aligned} f_{3} & = -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}(v_{i}-\bar{v}_{i})\cdot (\rho _{j}-\bar{\rho}_{j})(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}(v_{i}-\bar{v}_{i})\cdot \rho _{j}(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s=: f_{31} + f_{32} \end{aligned} $$
and combine \(f_{32}\) with \(f_{4}\), in order to get
$$ \begin{aligned} f_{4} + f_{32} & = -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j}(v_{i}-\bar{v}_{i})\cdot ((v_{i}-v_{j})-(\bar{v}_{i}-\bar{v}_{j}))\mbox{d}x\mbox{d}s\\ & = -\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j}|(v_{i}-v_{j})-(\bar{v}_{i}-\bar{v}_{j})|^{2}\mbox{d}x\mbox{d}s. \end{aligned} $$
Now, we write
$$ F_{1} = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s-\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{j}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s, $$
$$ F_{4} = -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s, $$
$$ f_{1} = -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \bar{\theta}b_{ij}\rho _{i}\rho _{j} (v_{i}-v_{j})\cdot v_{i}\mbox{d}x\mbox{d}s, $$
$$ f_{2} = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s, $$
$$ \begin{aligned} f_{5} & = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{i}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s\\ &\quad -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{j}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s, \end{aligned} $$
so that
$$\begin{aligned} & F_{1} + F_{4} + f_{1} + f_{2} + f_{5} = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{j}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s-\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \bar{\theta}b_{ij}\rho _{i}\rho _{j} (v_{i}-v_{j})\cdot v_{i}\mbox{d}x\mbox{d}s\\ &+\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{i}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{j}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s \end{aligned}$$
and, due to symmetry,
$$ -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{j}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s=-\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{i}\cdot \bar{v}_{j}\mbox{d}x\mbox{d}s, $$
which implies that
$$\begin{aligned} & F_{1} + F_{4} + f_{1} + f_{2} + f_{5} = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\rho _{i}\rho _{j}v_{i}\cdot \bar{v}_{j}\mbox{d}x\mbox{d}s-\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\theta b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{i}\cdot v_{i}\mbox{d}x\mbox{d}s+\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n} \bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{i}\cdot v_{j}\mbox{d}x\mbox{d}s\\ & +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ &+\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{i}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s\\ & -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j} v_{j}\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s \end{aligned}$$
and a rearrangement of the terms gives
$$\begin{aligned} F_{1} + F_{4} + f_{1} + f_{2} + f_{5} & = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}\rho _{j}v_{i}\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}\rho _{j}\bar{v}_{i}\cdot \bar{v}_{j}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}\rho _{j}(v_{i}-\bar{v}_{i})\cdot \bar{v}_{j}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\bar{\rho}_{i}\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & = \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}\rho _{j}(v_{i}-\bar{v}_{i})\cdot (\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}(\rho _{i}-\bar{\rho}_{i})\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}(\rho _{j}-\bar{\rho}_{j})(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s, \end{aligned}$$
so that
$$\begin{aligned} F & = -\frac{1}{2\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}\rho _{j}|(v_{i}-v_{j})-(\bar{v}_{i}-\bar{v}_{j})|^{2}\mbox{d}x\mbox{d}s\\ & \phantom{xx} -\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}(v_{i}-\bar{v}_{i})\cdot (\rho _{j}-\bar{\rho}_{j})(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & \phantom{xx} + \frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}\rho _{j}(v_{i}-\bar{v}_{i})\cdot (\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}(\rho _{i}-\bar{\rho}_{i})\bar{\rho}_{j}(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s\\ & \phantom{xx} +\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\sum _{j=1}^{n}(\theta -\bar{\theta}) b_{ij}\rho _{i}(\rho _{j}-\bar{\rho}_{j})(\bar{v}_{i}-\bar{v}_{j})\cdot \bar{v}_{i}\mbox{d}x\mbox{d}s. \end{aligned}$$
Step 3: Combine \(I_{4}\) with the sixth and eighth term on the right–hand–side of (3.19):
$$\begin{aligned} & I_{4}+\int _{0}^{t}\int _{\mathbb{T}^{3}}\frac{1}{\bar{\theta}} \bar{\kappa}\nabla \bar{\theta}\cdot \nabla (\theta -\bar{\theta})\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}\frac{1}{\bar{\theta}^{2}}\bar{\kappa}| \nabla \bar{\theta}|^{2}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\kappa \nabla \log \theta - \bar{\kappa}\nabla \log \bar{\theta}\right )\cdot \nabla \bar{\theta} \mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}(\kappa |\nabla \log \theta |^{2}- \bar{\kappa}|\nabla \log \bar{\theta}|^{2})\bar{\theta} \mbox{d}x\mbox{d}s\\ & \phantom{xx} +\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\kappa}\nabla \log \bar{\theta}\cdot ( \nabla \theta -\nabla \bar{\theta})\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}} \bar{\kappa}|\nabla \log \bar{\theta}|^{2}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}\kappa |\nabla \log \theta -\nabla \log \bar{\theta}|^{2}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}}( \nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \bar{\theta}\kappa \mbox{d}x\mbox{d}s\\ & \phantom{xx} +\int _{0}^{t}\int _{\mathbb{T}^{3}}(\nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \log \bar{\theta}\theta \bar{\kappa} \mbox{d}x\mbox{d}s\\ & = -\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}\kappa |\nabla \log \theta -\nabla \log \bar{\theta}|^{2}\mbox{d}x\mbox{d}s\\ &\phantom{xx}- \int _{0}^{t}\int _{\mathbb{T}^{3}}( \nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \log \bar{\theta}(\theta \bar{\kappa}-\bar{\theta}\kappa )\mbox{d}x\mbox{d}s. \end{aligned}$$
Step 4: Combine \(I_{5}\) with the fourth and tenth terms on the right–hand–side of (3.19):
$$ \begin{aligned} & I_{5}-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(v_{i}- \bar{v}_{i})\cdot \bar{b}_{i}\mbox{d}x\mbox{d}s-\int _{0}^{t}\int _{\mathbb{T}^{3}} \frac{\bar{\rho}\bar{r}}{\bar{\theta}}(\theta -\bar{\theta})\mbox{d}x\mbox{d}s\\ & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}(b_{i}-\bar{b}_{i}) \cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s+\int _{0}^{t}\int _{\mathbb{T}^{3}}\left ( \frac{\rho r}{\theta}-\frac{\bar{\rho}\bar{r}}{\bar{\theta}}\right )( \theta -\bar{\theta})\mbox{d}x\mbox{d}s\end{aligned} $$
and finally,
Step 5: Combine \(I_{7}\) with the second term on the right–hand–side of (3.19):
$$ \begin{aligned} & I_{7}-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}-\bar{v}_{i})\cdot \bar{R}_{i}\mbox{d}x\mbox{d}s\\ & = \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\bar{R}_{i}\cdot \bar{v}_{i} \mbox{d}x\mbox{d}s- \int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{Q}\mbox{d}x\mbox{d}s-\int _{0}^{t} \int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}- \bar{v}_{i})\cdot \bar{R}_{i}\mbox{d}x\mbox{d}s. \end{aligned} $$
Putting everything together, we arrive at (3.14). □
3.4 Validation of the High–Friction Limit
A careful estimation of the terms on the right-hand side of (3.14) implies the following theorem:
Theorem 7
Let \(\omega \) be an entropy weak solution of the Class–II model (1.1)–(1.3) and \(\bar{\omega}\) a strong solution of the Class–I model (1.11)–(1.15). We assume that the weak solution satisfies
$$ 0\leq \rho _{1},\dots ,\rho _{n}\leq M, \quad 0< \gamma \leq \rho \leq M, \quad 0< \gamma \leq \theta \leq M $$
and the strong solution satisfies
$$ 0< \gamma \leq \bar{\rho}_{1},\dots ,\bar{\rho}_{n}\leq M, \quad |\bar{v}_{1}|, \dots ,|\bar{v}_{n}|\leq M, \quad 0< \gamma \leq \bar{\theta}\leq M $$
$$ |\nabla \bar{v}_{1}|,\dots ,|\nabla \bar{v}_{n}|\leq M, \quad |\partial _{t} \bar{\theta}|\leq M, \quad |\nabla \bar{\theta}|\leq M $$
for some \(\gamma ,M>0\). Moreover, assume that \(\kappa \) and \(\frac{\rho r}{\theta}\) are Lipschitz functions of \((\rho _{1},\dots ,\rho _{n}, \theta )\), with \(\kappa \) bounded away from zero, \(b_{i}\) are Lipschitz functions of \((\rho _{1},\dots ,\rho _{n},v_{1},\dots ,v_{n},\theta )\), for all \(i\in \{1,\dots ,n\}\) and the free energy functions \(\rho _{i}\psi _{i}\in C^{3}(U)\) satisfy (2.2), for all \(i\in \{1,\dots ,n\}\). Then, if the initial data are such that \(\mathcal{H}(\omega |\bar{\omega})(0)\to 0\), as \(\epsilon \to 0\), we have that \(\mathcal{H}(\omega |\bar{\omega})(t)\to 0\), for all \(t>0\), as \(\epsilon \to 0\).
Remark 8
In the case of the ideal gas, Theorem 7 is still valid under the additional assumption \(0<\gamma \leq \rho _{1},\dots \), \(\rho _{n}\leq M\) (see Remark 1 or [7, Sect. 5] for more details).
Proof
Having obtained the relative entropy inequality (3.14), Theorem 7 is a direct application of Young’s inequality and Grönwall’s Lemma. In particular, we estimate each term on the right-hand side of (3.14), as follows:
We start by noticing that, according to [7, Lemma 4.1], due to the smoothness of the free energy and the bounds on the strong solution, we have the following bounds:
$$ |p_{i}(\omega |\bar{\omega})|\leq C\left (|\rho _{i}-\bar{\rho}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right ) $$
and
$$ |(\rho _{i}\eta _{i})(\omega |\bar{\omega})|\leq C\left (|\rho _{i}- \bar{\rho}_{i}|^{2}+|\theta -\bar{\theta}|^{2}\right ), $$
which imply that
$$\begin{aligned} &\left |-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1^{n}}(\rho _{i}\eta _{i})( \omega |\bar{\omega})(\partial _{s}\bar{\theta}+\bar{v}_{i}\cdot \nabla \bar{\theta})\mbox{d}x\mbox{d}s\right | \\ &\quad \leq C\int _{0}^{t}\int _{\mathbb{T}^{3}}\left ( \sum _{i=1}^{n}|\rho _{i}-\bar{\rho}_{i}|^{2}+|\theta -\bar{\theta}|^{2} \right )\mbox{d}x\mbox{d}s \end{aligned}$$
and
$$ \left |-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1^{n}}p_{i}(\omega | \bar{\omega})\operatorname {div}\bar{v}_{i}\mbox{d}x\mbox{d}s\right | \leq C\int _{0}^{t} \int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}-\bar{\rho}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right )\mbox{d}x\mbox{d}s. $$
Again by the smoothness of the free energy, and thus the entropy, we obtain
$$ |\eta _{i}-\bar{\eta}_{i}|\leq C(|\rho _{i}-\bar{\rho}_{i}|+|\theta - \bar{\theta}|) $$
and thus by Young’s inequality,
$$ \begin{aligned} & \left |-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \rho _{i}(v_{i}-\bar{v}_{i})\cdot \nabla \bar{\theta}(\eta _{i}- \bar{\eta}_{i})\mbox{d}x\mbox{d}s\right | \\ & \phantom{xx} \leq C\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}- \bar{\rho}_{i}|^{2}+\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right )\mbox{d}x\mbox{d}s. \end{aligned} $$
Moreover, by Young’s inequality and the Lipschitz continuity of \(b_{i}\),
$$ \begin{aligned} & \left |\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \rho _{i}(b_{i}-\bar{b}_{i})\cdot (v_{i}-\bar{v}_{i})\mbox{d}x\mbox{d}s\right | \leq C\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\left (\rho _{i}|v_{i}- \bar{v}_{i}|^{2}+\rho _{i}|b_{i}-\bar{b}_{i}|^{2}\right )\mbox{d}x\mbox{d}s\\ & \phantom{xxxxxxxxxxx} \leq C\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}- \bar{\rho}_{i}|^{2}+\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right )\mbox{d}x\mbox{d}s. \end{aligned} $$
Furthermore,
$$\begin{aligned} & \left |-\int _{0}^{t}\int _{\mathbb{T}^{3}}(\nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \log \bar{\theta}(\theta \bar{\kappa}-\bar{\theta}\kappa )\mbox{d}x\mbox{d}s\right | \\ & \phantom{xxxx} \leq \int _{0}^{t}\int _{\mathbb{T}^{3}}|\sqrt{\bar{\theta}}\sqrt{\kappa}( \nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \log \bar{\theta}(\kappa -\bar{\kappa}) \frac{\theta}{\sqrt{\bar{\theta}\kappa}}|\mbox{d}x\mbox{d}s\\ & \phantom{xxxxxx} + \int _{0}^{t}\int _{\mathbb{T}^{3}}|\sqrt{\bar{\theta}}\sqrt{\kappa}(\nabla \log \theta -\nabla \log \bar{\theta})\cdot \nabla \log \bar{\theta}( \theta -\bar{\theta})\frac{\sqrt{\kappa}}{\sqrt{\bar{\theta}}}|\mbox{d}x\mbox{d}s\\ & \phantom{xxxx} \leq \frac{1}{2}\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}\kappa | \nabla \log \theta -\nabla \log \bar{\theta}|^{2}\mbox{d}x\mbox{d}s+ C\int _{0}^{t} \int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}-\bar{\rho}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right )\mbox{d}x\mbox{d}s \end{aligned}$$
by Young’s inequality, the lower bounds of \(\bar{\theta}\) and \(\kappa \) and the Lipschitz continuity of \(\kappa \).
Also, by (3.6) and \(\sum_{i} \bar{\rho}_{i} \bar{u}_{i} = 0\), we have \(\bar{R}_{i} = \mathcal{O}(\epsilon)\), \(\sum_{i} \bar{R}_{i} = \mathcal{O}(\epsilon^{2})\) and \(\bar{Q}= \mathcal{O}(\epsilon^{2})\). Thus, \(\sum_{i} \bar{R}_{i} \bar{v}_{i} = \mathcal{O}(\epsilon^{2}) \) and
$$ \left |\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}\bar{R}_{i} \cdot \bar{v}_{i}-\bar{Q}\right )\mbox{d}x\mbox{d}s\right |\leq \mathcal{O}( \epsilon^{2} ) $$
and
$$ \begin{aligned} & \left |-\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \frac{\rho _{i}}{\bar{\rho}_{i}}(v_{i}-\bar{v}_{i})\cdot \bar{R}_{i}\mbox{d}x\mbox{d}s\right | \\ & \phantom{xxxxxxx} \leq C \left (\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}|v_{i}- \bar{v}_{i}|^{2}\mbox{d}x\mbox{d}s+\int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n} \rho _{i}\frac{\bar{R}_{i}^{2}}{\bar{\rho}_{i}^{2}}\mbox{d}x\mbox{d}s\right ) \\ & \phantom{xxxxxxx} \leq C \int _{0}^{t}\int _{\mathbb{T}^{3}}\sum _{i=1}^{n}\rho _{i}|v_{i}- \bar{v}_{i}|^{2}\mbox{d}x\mbox{d}s+\mathcal{O}(\epsilon^{2} ). \end{aligned} $$
Finally,
$$ \begin{aligned} & \left |-\frac{1}{\epsilon}\int _{0}^{t}\int _{\mathbb{T}^{3}} \sum _{i=1}^{n}\sum _{j=1}^{n}\bar{\theta}b_{ij}\rho _{i}(v_{i}-\bar{v}_{i}) \cdot (\rho _{j}-\bar{\rho}_{j})(\bar{v}_{i}-\bar{v}_{j})\mbox{d}x\mbox{d}s\right | \\ & \phantom{xxxx} \leq C\int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}- \bar{\rho}_{i}|^{2}+\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2} \right )\mbox{d}x\mbox{d}s\end{aligned} $$
and \(C\) does not depend on \(\epsilon \), because \(\frac{1}{\epsilon}(\bar{v}_{i}-\bar{v}_{j})=\mathcal{O}(1)\) and the remaining terms are treated in a similar fashion.
Putting everything together, we obtain
$$ \begin{aligned} & \mathcal{H}(\omega |\bar{\omega})(t) + \frac{1}{2\epsilon}\sum _{i=1}^{n} \sum _{j=1}^{n}\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}b_{ij}\rho _{i} \rho _{j}|(v_{i}-v_{j})-(\bar{v}_{i}-\bar{v}_{j})|^{2}\mbox{d}x\mbox{d}s\\ & + \frac{1}{2}\int _{0}^{t}\int _{\mathbb{T}^{3}}\bar{\theta}\kappa | \nabla \log \theta -\nabla \log \bar{\theta}|^{2}\mbox{d}x\mbox{d}s\leq \mathcal{H}(\omega |\bar{\omega})(0) \\ & +C \int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}- \bar{\rho}_{i}|^{2}+\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right )\mbox{d}x\mbox{d}s+\mathcal{O}(\epsilon^{2} ), \end{aligned} $$
(3.20)
where by virtue of (2.1) and (2.3),
$$ \int _{0}^{t}\int _{\mathbb{T}^{3}}\left (\sum _{i=1}^{n}|\rho _{i}- \bar{\rho}_{i}|^{2}+\sum _{i=1}^{n}\rho _{i}|v_{i}-\bar{v}_{i}|^{2}+| \theta -\bar{\theta}|^{2}\right )\mbox{d}x\mbox{d}s\leq C \int _{0}^{t} \mathcal{H}(\omega |\bar{\omega})(s)\mbox{d}s. $$
The dissipation terms on the left-hand side of (3.20) are non-negative and thus can be neglected, yielding
$$ \mathcal{H}(\omega |\bar{\omega})(t) \leq [\mathcal{H}(\omega | \bar{\omega})(0)+\mathcal{O}(\epsilon^{2} )]+C\int _{0}^{t} \mathcal{H}( \omega |\bar{\omega})(s)ds, $$
where \(C>0\) is independent of \(\epsilon \).
By Grönwall’s Lemma
$$ \mathcal{H}(\omega |\bar{\omega})(t) \leq [\mathcal{H}(\omega | \bar{\omega})(0)+\mathcal{O}(\epsilon^{2})]e^{Ct}, $$
where \(C>0\) does not depend on \(\epsilon \). Letting \(\epsilon \to 0\), \(\mathcal{H}(\omega |\bar{\omega})(0)\to 0\) and thus \(\mathcal{H}(\omega |\bar{\omega})(t)\to 0\), for all \(t>0\) and the proof is completed. □