Classical and Quantum Models of Diffusion

Angelo Morro ^*

1. DIBRIS, University of Genoa, Via All'Opera Pia 13, 16145 Genoa, Italy

* Correspondence: Angelo Morro

Academic Editor: Vardan Apinyan

Special Issue: Quantum Mechanics in Solid State Systems

Received: February 19, 2021 | Accepted: March 26, 2021 | Published: April 14, 2021

Recent Progress in Materials 2021, Volume 3, Issue 2, doi:10.21926/rpm.2102011

Recommended citation:  Morro A. Classical and Quantum Models of Diffusion. Recent Progress in Materials 2021; 3(2): 011; doi:10.21926/rpm.2102011.

© 2021 by the authors. This is an open access article distributed under the conditions of the Creative Commons by Attribution License, which permits unrestricted use, distribution, and reproduction in any medium or format, provided the original work is correctly cited.

1. Introduction

Diffusion phenomena are modeled by several differential equations, and classical approaches to diffusion are considered both interesting and a useful reference in quantum models. In classical physics, diffusion is naturally framed within the realm of continuum physics, and the theory of mixtures is considered an essential framework. In this paper, we review some well-known models of diffusion and report the schemes and approximations at the origin of the derivation in some approaches as discussed in the literature.

Though various approaches are discussed in the literature, the best-known equation of diffusion is

$$\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\omega <!--\; \omega \; -->}}=D\mathrm{△<!--\; △\; -->}\mathrm{\omega <!--\; \omega \; -->}+\mathrm{\xi <!--\; \xi \; -->}$$

(1)

where $\mathrm{\omega <!--\; \omega \; -->}$ is the mass fraction (or concentration), D is the diffusivity, and $\mathrm{\xi <!--\; \xi \; -->}$ is a given function of $\mathrm{\omega <!--\; \omega \; -->}$. Equation (1) is parabolic in character and follows the well-known Fick’s law for the mass flux. Parabolic equations in space-time are associated with an infinite speed of the propagation of the initial datum, similar to the standard heat equation. Even in a non-relativistic context, from a physical viewpoint, this feature is often considered an apparent paradox.

Diffusion is quite often observed to be governed by parabolic equations in both classical and quantum models, except for, of course, the steady-state regimes [1]. The parabolic character follows from seemingly different starting schemes as shown, e.g., by the Cahn-Hilliard and Allen-Cahn equations [2]. Furthermore, phase-field models for alloy solidification [3], coupling between mechanical loading and chemical reactions [4], film growth by vapor deposition [5], and diffusion based on the Maxwell-Stefan approach [6] lead to parabolic equations.

In essence, this paper has two main objectives: at first, to review the classical diffusion models and show the approximations at the origin of the parabolic character of the classical diffusion equations and then establish a relation between the quantum and classical models of diffusion. Generally, it has been observed that diffusion is inherently related to the motion of constituents. Consequently, from the physical viewpoint, consistent models should be framed within the dynamics of mixtures. In this paper, it is described in detail and the derivation of diffusion equations is determined based on the pertinent approximations.

2. Quantum Derivation of Balance Equations

If a quantum particle moves in free space, the wavefunction ψ evolves in time according to the Schrödinger equation

$$i\mathrm{\hslash <!--\; \hslash \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_t\mathrm{\psi <!--\; \psi \; -->}=(-<!--\; -\; -->\frac{{\mathrm{\hslash <!--\; \hslash \; -->}}^2}{2m}\mathrm{△<!--\; △\; -->}+U)\mathrm{\psi <!--\; \psi \; -->},\mathrm{<!--\; \#\; -->}\mathrm{}$$

(2)

where m is the mass of the particle, $\mathrm{△<!--\; △\; -->}={\mathrm{▽<!--\; ▽\; -->}}^2$ is the Laplacian operator and U is the potential of an applied force field. As the wavefunction $\mathrm{\psi <!--\; \psi \; -->}$ is complex valued, it can be represented in the polar form as shown below:

$$\mathrm{\psi <!--\; \psi \; -->}=\sqrt{\mathrm{\rho <!--\; \rho \; -->}}\exp <!--\; \; -->\left(iS/\mathrm{\hslash <!--\; \hslash \; -->}\right)$$

where $\mathrm{\rho <!--\; \rho \; -->}$ and S are the functions of the position x and time t. Of course,

$$\mathrm{\psi <!--\; \psi \; -->}{\mathrm{\psi <!--\; \psi \; -->}}^{\ast <!--\; \ast \; -->}=\mathrm{\rho <!--\; \rho \; -->}$$

ascribes to ρ(x,t) , that is, the probability density, per unit volume, of finding the quantum particle at the point x at time t. The ratio $S/\mathrm{\hslash <!--\; \hslash \; -->}$ denotes the argument of $\mathrm{\psi <!--\; \psi \; -->}$. Upon evaluation of ${\mathrm{\partial <!--\; \partial \; -->}}_t\mathrm{\psi <!--\; \psi \; -->}$ and $\mathrm{△<!--\; △\; -->}\mathrm{\psi <!--\; \psi \; -->}$, it follows from Equation (2) that

 

\[i\hslash \left[\frac{1}{2} \rho^{-\frac{1}{2}} \partial_{t}\rho+\rho^{\frac{1}{2}}\frac{i}{\hslash}\partial_{t}S\right]=U\rho^{\frac{1}{2}}\]	(3)
\[-\frac{\hslash^{2}}{2m}\left[-\frac{1}{4} \rho^{-\frac{3}{2}} \left( \triangledown\rho \right)^{2} + \frac{1}{2} \rho^{-\frac{1}{2}}\triangle\rho+\frac{i}{\hslash}\rho^{-\frac{1}{2}}\triangle\rho\cdot\triangle s-\frac{\rho^{\frac{1}{2}}}{\hslash^{2}} \left(\triangledown s \right)^{2}+ \frac{i}{\hslash} \rho^{\frac{1}{2}}\triangle S \right].\]

Observe that ${\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->1/2}\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}S+{\mathrm{\rho <!--\; \rho \; -->}}^{1/2}\mathrm{△<!--\; △\; -->}S={\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->1/2}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\mathrm{\rho <!--\; \rho \; -->}\mathrm{▽<!--\; ▽\; -->}S\right)$ . By equating the imaginary parts of Equation (3), we obtain the following expressions:

$${\mathrm{\partial <!--\; \partial \; -->}}_t\mathrm{\rho <!--\; \rho \; -->}=-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\mathrm{\rho <!--\; \rho \; -->}\mathbf{v<!--\; \nu \; -->}\right)，\mathbf{v<!--\; \nu \; -->}:=\frac{1}{m}\mathrm{▽<!--\; ▽\; -->}\mathrm{S.}$$

(4)

Equation (4) coincides with the classical continuity equation of continuum physics, where $\mathrm{\rho <!--\; \rho \; -->}$ is the mass density and $\mathrm{\nu <!--\; \nu \; -->}$ is the velocity. The real parts of Equation (3) result in

$${\mathrm{\partial <!--\; \partial \; -->}}_{t}S=-<!--\; -\; -->\frac{1}{2m}{\left(\mathrm{▽<!--\; ▽\; -->}S\right)}^2+\frac{{\mathrm{\hslash <!--\; \hslash \; -->}}^2}{2m}[\frac{1}{2}{\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->1}\mathrm{△<!--\; △\; -->}\mathrm{\rho <!--\; \rho \; -->}-<!--\; -\; -->\frac{1}{4}{\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->2}{\left(\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\right)}^2]-<!--\; -\; -->\mathrm{U.}$$

(5)

In view of the identities

$$\mathrm{▽<!--\; ▽\; -->}{\left(\mathrm{▽<!--\; ▽\; -->}S\right)}^2=(\mathrm{▽<!--\; ▽\; -->}S\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->})\mathrm{▽<!--\; ▽\; -->}S$$

$$\frac{1}{2}{\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->1}\mathrm{△<!--\; △\; -->}\mathrm{\rho <!--\; \rho \; -->}-<!--\; -\; -->\frac{1}{4}{\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->2}{\left(\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\right)}^2={\mathrm{\rho <!--\; \rho \; -->}}^{-<!--\; -\; -->1/2}\mathrm{△<!--\; △\; -->}{\mathrm{\rho <!--\; \rho \; -->}}^{1/\mathrm{2,}}$$

we can apply the gradient operator to Equation (5), replace $\mathrm{▽<!--\; ▽\; -->}S/m$ with v , and obtain

$${\mathrm{\partial <!--\; \partial \; -->}}_t\mathrm{\nu <!--\; \nu \; -->}+(\mathrm{\nu <!--\; \nu \; -->}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->})\mathrm{\nu <!--\; \nu \; -->}=-<!--\; -\; -->\frac{1}{m}[\mathrm{▽<!--\; ▽\; -->}Q+\mathrm{▽<!--\; ▽\; -->}U],$$

(6)

where

$$Q=-<!--\; -\; -->\frac{{\mathrm{\hslash <!--\; \hslash \; -->}}^2}{m{\mathrm{\rho <!--\; \rho \; -->}}^{1/2}}\mathrm{△<!--\; △\; -->}{\mathrm{\rho <!--\; \rho \; -->}}^{1/2}$$

Equation (6) can be considered as the equation of motion per unit mass¹. In relation to the equation of motion of fluids,

$${\mathrm{\partial <!--\; \partial \; -->}}_t+(V\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->})V=-<!--\; -\; -->\mathrm{}\frac{1}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}p+b,$$

the left-hand side shows the classical form of the Lagrangian or the total time derivative of v, that is, the derivative relative to the observer moving with the point under consideration, and ${\mathrm{\partial <!--\; \partial \; -->}}_t\mathbf{v}+(\mathbf{v}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->})\mathbf{v}$ is the acceleration; the right-hand side shows a body force b (per unit mass) as $-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}U/m$. The remaining term is similar to a pressure term. Indeed, the function Q is often referred to as the Bohm quantum potential [8].

Concerning the function U, and the force $-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}U/m$, e.g., as reported in the literature on superconductors [9,10], the effective potential $\stackrel{~<!--\; ~\; -->}{\mathrm{\varphi <!--\; \varphi \; -->}}$ that describes the collective behavior should be $\mathrm{\varphi <!--\; \varphi \; -->}-<!--\; -\; -->\mathrm{\mu <!--\; \mu \; -->}/e$, where $\mathrm{\varphi <!--\; \varphi \; -->}$ is the electrostatic potential and µ is the chemical potential. Hence, the equation of motion (6) comprises a force term $-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\mu <!--\; \mu \; -->}/em$, where e is the charge of electrons. It is interesting to note that a contribution $\mathrm{▽<!--\; ▽\; -->}\mathrm{\mu <!--\; \mu \; -->}$ to the diffusion also occurs in customary classical models.

Diffusion is also modeled on the basis of the Brownian motion that is considered as the microscopic origin. Let P be the probability (spatial) density of the Brownian particles with mass m. Hence, from the equation of motion, we have

$$m{\mathrm{\partial <!--\; \partial \; -->}}_t^{2}P+b{\mathrm{\partial <!--\; \partial \; -->}}_{t}P=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->(\mathrm{▽<!--\; ▽\; -->}Ⅱ),$$

where b is the friction coefficient and $Ⅱ=p1$ is the pressure tensor, with Ι being the identity. In the high friction limit, the inertial term $m{\mathrm{\partial <!--\; \partial \; -->}}_t^{2}P$ is neglected as compared to the frictional term. Hence, taking the ideal-gas expression for Π, it follows that [11]

$${\mathrm{\partial <!--\; \partial \; -->}}_{t}P=D\mathrm{△<!--\; △\; -->}\mathrm{P,}$$

where $D=k_B\mathrm{\theta <!--\; \theta \; -->}/b$ is the Einstein diffusion constant, θ the absoulte temperature, and k_B is the Boltzmann constant. The quantum effects are then included by adding [12,13]

$${\Pi }_Q=-<!--\; -\; -->\frac{{\mathrm{\hslash <!--\; \hslash \; -->}}^2}{4m}P\mathrm{▽<!--\; ▽\; -->}\mathrm{▽<!--\; ▽\; -->}P$$

to the pressure tensor. Then, it follows that

$${\mathrm{\partial <!--\; \partial \; -->}}_t=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->(\frac{P\mathrm{▽<!--\; ▽\; -->}Q}{b}+D\mathrm{▽<!--\; ▽\; -->}P),$$

where Q is the Bohm quantum potential.

Diffusion also means the spreading of a given wave packet. If the probability density is Gaussian,

$$\mathrm{\rho <!--\; \rho \; -->}={\left(2\mathrm{\pi <!--\; \pi \; -->}{\mathrm{\sigma <!--\; \sigma \; -->}}^2\right)}^{-<!--\; -\; -->3/2}\exp <!--\; \; -->(-<!--\; -\; -->x^2/2{\mathrm{\sigma <!--\; \sigma \; -->}}^2),$$

then Equation (6) is approximated to

$$m{\mathrm{\partial <!--\; \partial \; -->}}_2^t\mathrm{\sigma <!--\; \sigma \; -->}+b{\mathrm{\partial <!--\; \partial \; -->}}_t\mathrm{\sigma <!--\; \sigma \; -->}=\frac{{\mathrm{\hslash <!--\; \hslash \; -->}}^2}{4m{\mathrm{\sigma <!--\; \sigma \; -->}}^3}.$$

(7)

Equation (7) describes the evolution of the root-mean-square displacement σ, and the positive constant b is inserted to induce the particle friction [14]. The increasing function σ(t) quantitatively describes the diffusive process via the wavefunction.

With regard to many-particle systems, it is often assumed that the system is governed by a single-particle operator ρ satisfying a modified Liouville equation:

$$i\mathrm{\hslash <!--\; \hslash \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_t\mathrm{\rho <!--\; \rho \; -->}=[H,\mathrm{\rho <!--\; \rho \; -->}]+i\mathrm{\hslash <!--\; \hslash \; -->}Q(\mathrm{\rho <!--\; \rho \; -->})$$

(8)

where $H=-<!--\; -\; -->\left({\mathrm{\hslash <!--\; \hslash \; -->}}^2/2m^2\right)\mathrm{△<!--\; △\; -->}+U$ is the Hamiltonian, [,]denotes the commutator, and Q is a collision operator that describes the interactions between particles [15].

The parabolic character of the diffusion equation in quantum contexts appears to be greatly influenced by the classical diffusion equation. In this case, classically diffusion means the relative motion of a constituent in a mixture relative to the other constituents. In order to understand this fact, a brief review of the equations of motion of mixtures is required. For simplicity, we consider fluid constituents, which can be used for charged particles.

3. Balance Equations for Fluid Mixtures

Consider a mixture of n fluid constituents [16]. Let the suffix α = 1,2,...,n label the quantities related to the αth constituent. The continuity equation of the αth constituent comprises the mass supply τ_α, per unit volume, and unit time, so that

$${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{▽<!--\; ▽\; -->}\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\cdot <!--\; \cdot \; -->$$

(9)

The conservation of mass of the mixture implies

$$\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\tau <!--\; \tau \; -->}}_a=0$$

(10)

The mass density ρ and the velocity v of the mixture are defined by

$$\mathrm{\rho <!--\; \rho \; -->}=\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}，\mathrm{\nu <!--\; \nu \; -->}=\frac{1}{\mathrm{\rho <!--\; \rho \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\nu <!--\; \nu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Hence,

$${\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\frac{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\rho <!--\; \rho \; -->}}$$

is the mass fraction (or concentration) of the αth constituent and

$$u_{\mathrm{\alpha <!--\; \alpha \; -->}}=v_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->v$$

is the diffusion velocity. Moreover, we have

$$\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{\rho <!--\; \rho \; -->}v$$

The sum of Equation (9) over α and use of Equation (10) yield

$${\mathrm{\partial <!--\; \partial \; -->}}_t=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\mathrm{\rho <!--\; \rho \; -->}v\right)=0$$

which is the continuity equation for the whole mixture, similar to Equation (4).

Replace ρ _α with ρ w_α and with v+u_α in order to obtain

$${\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}[{\mathrm{\partial <!--\; \partial \; -->}}_t+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\mathrm{\rho <!--\; \rho \; -->}v\right)]+\mathrm{\rho <!--\; \rho \; -->}({\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\omega <!--\; \omega \; -->}}_a+v\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}})+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{u}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

hence, in view of Equation (11),

$$\mathrm{\rho <!--\; \rho \; -->}({\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+v\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}})+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{u}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(12)

In this case, ${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+v\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ is the derivative with respect to the barycentric observer, which is denoted by $\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}$. The vector

$$h_{\mathrm{\alpha <!--\; \alpha \; -->}}:={\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{u}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(13)

is the αth diffusion flux representing the flux of the αth constituent relative to the barycentric observer [17]. Hence, Equation (12) can be written in the form

$\mathrm{\rho <!--\; \rho \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->h_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$

(14)

The mass fraction ${\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ in the barycentric reference evolves according to Equation (14). The evolution equation (14) is made operative by specifying ${\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ and $h_{\mathrm{\alpha <!--\; \alpha \; -->}}$ in terms of ${\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ and possibly parameterized by, e.g., the temperature. The equation of motion of the αth constituent is written in the form

$${\mathrm{\partial <!--\; \partial \; -->}}_t\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{b}_{\mathrm{\alpha <!--\; \alpha \; -->}}=m_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

where T_α is the Cauchy stress tensor, b_α is the body force, and m_α is the growth of the linear momentum, that is, the force on the α-th constituent due to other constituents of the mixture. The growth {m_α} is subject to the constraint

$$\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{m}_{\mathrm{\alpha <!--\; \alpha \; -->}}=0$$

(15)

4. Classical Diffusion Equations

The simplest and best known model of diffusion traces back to Fick [18] and is based on an assumption on h_α that follows the analogy of the Fourier model of heat conduction. First, the total derivative $\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}$ is replaced with the partial derivative ${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$; it means that diffusion is described relative to the barycentric observer. Further, Fick’s law assumes that the diffusion flux h_α is antiparallel to $\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$, i.e., $h_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->k_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$, $k_{\mathrm{\alpha <!--\; \alpha \; -->}}>0$. Also, divide Equation (14) by $\mathrm{\rho <!--\; \rho \; -->}$ and assume $\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}=0$. Hence, we have

$${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\omega <!--\; \omega \; -->}}_b=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(D_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+{\mathrm{\zeta <!--\; \zeta \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

where ${\mathrm{\zeta <!--\; \zeta \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}/\mathrm{\rho <!--\; \rho \; -->}$ and $D_{\mathrm{\alpha <!--\; \alpha \; -->}}=k_{\mathrm{\alpha <!--\; \alpha \; -->}}/\mathrm{\rho <!--\; \rho \; -->}$; the quantity D_α is called diffusivity. If, instead, k_α is assumed to be a constant, $\mathrm{▽<!--\; ▽\; -->}{k}_{\mathrm{\alpha <!--\; \alpha \; -->}}=0$, then it follows the well-known parabolic equation

$${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=D_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{△<!--\; △\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\zeta <!--\; \zeta \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(16)

Other diffusion equations follow the following two main assumptions. Let µ_α denote the chemical potential and ${\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ the free energy. The assumptions are

$$h_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->k_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}},{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(17)

The free energy is taken in the form

$$\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=({\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}},\mathrm{△<!--\; △\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}})=f_{\mathrm{\alpha <!--\; \alpha \; -->}}\left({\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+\frac{1}{2}{\mathrm{\lambda <!--\; \lambda \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mid <!--\; \mid \; -->\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mid <!--\; \mid \; -->}^2$$

(18)

For simplicity, let ${\mathrm{\lambda <!--\; \lambda \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ be a constant. It follows

$${\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=f_{\mathrm{\alpha <!--\; \alpha \; -->}}^{{}^{\prime }}-<!--\; -\; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{△<!--\; △\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

and hence Equation (14) becomes

$$\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=\frac{1}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(k_{\mathrm{\alpha <!--\; \alpha \; -->}}{f}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)-<!--\; -\; -->\frac{{\mathrm{\lambda <!--\; \lambda \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{△<!--\; △\; -->}}^2{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\zeta <!--\; \zeta \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(19)

Equation (19) is usually referred to as the Cahn-Hilliard equation [19,20]. It is a fourth-order partial differential equation. If the dependence on $\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ is ignored, then the Cahn-Hilliard equation formally reduces to the second-order parabolic equation (16).

Otherwise, it is assumed that the evolution of ${\displaystyle {\omega }_{\alpha }}$ is in fact a relaxation toward equilibrium governed by a parameter β _α > 0,

${\displaystyle {\beta }_{\alpha }\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=-{\mu }_{\alpha }}$

Hence, considering that ${\displaystyle {\psi }_{\alpha }}$ is given again by Equation (18), we obtain

${\displaystyle {\beta }_{\alpha }\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=-<!--\; -\; -->f_a^1+{\lambda }_{\alpha }△{\omega }_{\alpha }}$

(20)

Equation (20) is a second-order partial differential equation when the dependence of ${\displaystyle {\psi }_{\alpha }}$ on ${\displaystyle \mathrm{▽<!--\; ▽\; -->}{\omega }_{\alpha }}$ is allowed. The lower order relative to the Cahn-Hilliard equation (19) is interpreted by the fact that Equation (20) describes the ordering of atoms within unit cells on a lattice [21], whereas Equation (19) describes the transport of atoms between unit cells. Equation (20) is referred to as the Ginzburg-Landau equation (see [22]) or the Allen-Cahn [21] equation.

Equations (16), (19), and (20) follow the assumptions $h_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->k_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}},h_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$, or ${\mathrm{\beta <!--\; \beta \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$. All of them are of parabolic character and, as such, they describe propagation with an infinite speed under transient conditions. We now consider the pertinent differential equation for the mass fractions ${\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ in a scheme consistent with the balance equations.

5. Dynamic Diffusion Equation

The diffusion process in a mixture is given by the evolution of the mass densities {${\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$}. In order to determine these fields, we consider the balance equations of mass and linear momentum, namely,

$${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(21)

$${\mathrm{\partial <!--\; \partial \; -->}}_t\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{b}_{\mathrm{\alpha <!--\; \alpha \; -->}}+m_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Equation (21) represents a system in the 2n unknowns {ρ_α}, {v_α}. The system can be solved once the mass supplies {τ_α}, the stress tensors {T_α}, and the linear momentum growth {m_α} are given in terms of {ρ_α} and {v_α}. The body forces {b_α} are assumed to be known. In this scheme, the system (21) is the exact set of equations that describe the evolution of the mixture and hence the diffusion. If, though, the constituents are allowed to be viscous and/or heat conducting, then also the balance of energy is considered to account for the temperature.

A simpler form of the system can be obtained by considering some approximations. The time differentiation of the first equation, divergence of the second one, and substitution of $\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->{\mathrm{\partial <!--\; \partial \; -->}}_t\left(a_b{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)$ yield

$${\mathrm{\partial <!--\; \partial \; -->}}_t^2{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->[\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})]-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->[\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T_{\mathrm{\alpha <!--\; \alpha \; -->}}]-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{b}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->m_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Since the constituents are considered as inviscid fluids, we obtain $T_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->p_{\mathrm{\alpha <!--\; \alpha \; -->}}1.$ It follows

$${\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}^2{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->[\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})]+\mathrm{△<!--\; △\; -->}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{b}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->m_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Let $p_{\mathrm{\alpha <!--\; \alpha \; -->}}=p_{\mathrm{\alpha <!--\; \alpha \; -->}}\left(p_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)$, with the temperature θ being assumed as a parameter. Hence,

$$\mathrm{▽<!--\; ▽\; -->}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

With m_α, ${\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ being dependent on the whole set of densities {ρ _β} and velocities {v_β}, we obtain a system of equations for {ρ _α} and {v_β}. A simpler system of equations originates by linearizing the dynamic equations (21). Neglect $\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->[\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})]$ and let

$$\mathrm{△<!--\; △\; -->}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

to obtain

$${\mathrm{\partial <!--\; \partial \; -->}}_1^2{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{b}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->m_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\tau <!--\; \tau \; -->}}_t$$

(22)

For definitness consider a non-reacting mixture, ${\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=0$, of inviscid fluids and let

$$b_{\mathrm{\alpha <!--\; \alpha \; -->}}=g,m_{\mathrm{\alpha <!--\; \alpha \; -->}}=\underset{(\mathrm{\beta <!--\; \beta \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{M}_{\mathrm{\beta <!--\; \beta \; -->}\mathrm{\alpha <!--\; \alpha \; -->}}\left(v_{\mathrm{\beta <!--\; \beta \; -->}-<!--\; -\; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}}}\right)$$

where g is the acceleration gravity and M_{α β} = M_βα. We find the system

$${\mathrm{\partial <!--\; \partial \; -->}}_t^2{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{△<!--\; △\; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+g\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+\underset{(\mathrm{\beta <!--\; \beta \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{M}_{\mathrm{\beta <!--\; \beta \; -->}\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(v_{\mathrm{\beta <!--\; \beta \; -->}-<!--\; -\; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}}}\right)$$

(23)

$${\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_t{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}g+\underset{(\mathrm{\beta <!--\; \beta \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{M}_{\mathrm{\beta <!--\; \beta \; -->}\mathrm{\alpha <!--\; \alpha \; -->}}(v_{\mathrm{\beta <!--\; \beta \; -->}}-<!--\; -\; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})$$

with the unknowns {ρ_α},{v_α}. If the cross-coupling terms m_α are neglected, then the system decouples, and each equation (for ρ_α) is hyperbolic with the speed of propagation $\sqrt{{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{p}_{\mathrm{\alpha <!--\; \alpha \; -->}}}$. These equations are the classical sound waves, and we then observe the analogy between the differential equations for the mass densities and the differential equations (26) for the mass fractions.

5.1 Dynamic Equation for the Mass Fractions

Equation (14) holds exactly, without any approximation, as a consequence of the balance of mass for the α-th constituent of the mixture. The mass flux h_α = ρ_αU_α is described by Fick’s law as a model equation that is (tacitly) assumed to hold under stationary conditions. Instead, as shown in earlier studies [23,24], the mass flux satisfies the rate equation

$$h_{\mathrm{\alpha <!--\; \alpha \; -->}}+(L+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->v1)h_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->(T_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})-<!--\; -\; -->\frac{{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T+{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}(b_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->b)+m_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\tau <!--\; \tau \; -->}}_v.$$

(24)

The dynamics of a mixture, at a fixed temperature, is described by the functions ρ_α, v_α, h_α, ${\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ and is governed by the system of equations (24) along with

$${\mathrm{\partial <!--\; \partial \; -->}}_t{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(25)

$${\mathrm{\partial <!--\; \partial \; -->}}_t\left({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->({\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{v}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{b}_{\mathrm{\alpha <!--\; \alpha \; -->}}+m_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Equation

$$\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->h_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

follows the continuity equations and the definition of ρ, ω_α, v, h_α . The functions T_α, m_α, and τ_α are assumed to be given by the constitutive functions of ρ_α, v_α, h_αand ω_α.

Due to the structure of the system (25), it is natural to consider reasonable assumptions. For formal simplicity, we describe diffusion relative to the barycentric frame, so that v=0, and observe that if the body force is due to gravity, then b_α = b = g, with g being the gravity acceleration, and thus b_α - b=0. Moreover, we consider the linear approximation and neglect

$$(L+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->v1)h_{\mathrm{\alpha <!--\; \alpha \; -->}},{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{u}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->u_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Further, we take

$$T_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->p_{\mathrm{\alpha <!--\; \alpha \; -->}}1,T=-<!--\; -\; -->p1,p_{\mathrm{\alpha <!--\; \alpha \; -->}}=p{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Accordingly, Equation (24) simplifies to

$$h_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->p\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+m_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Observe that

$$\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->h_{\mathrm{\alpha <!--\; \alpha \; -->}}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->h_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->L{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}\simeq <!--\; \simeq \; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->h_{\mathrm{\alpha <!--\; \alpha \; -->}},\stackrel{¯<!--\; ¯\; -->}{\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\simeq <!--\; \simeq \; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Hence, the time differentiation of (14) results in

$$\mathrm{\rho <!--\; \rho \; -->}\stackrel{¨<!--\; ¨\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(p\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right)+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->m_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(26)

It is reasonable to set

$$m_{\mathrm{\alpha <!--\; \alpha \; -->}}=\underset{\mathrm{\beta <!--\; \beta \; -->}}{\sum <!--\; \sum \; -->}{M}_{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}(u_{\mathrm{\beta <!--\; \beta \; -->}}-<!--\; -\; -->u_{\mathrm{\alpha <!--\; \alpha \; -->}}),{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}({\mathrm{\omega <!--\; \omega \; -->}}_1,{\mathrm{\omega <!--\; \omega \; -->}}_2,...,{\mathrm{\omega <!--\; \omega \; -->}}_n)$$

Hence, for reacting mixtures, the evolution of the mass fractions {ω_α} is governed by a system of second-order differential equations for the n-tuple of mass fractions affected by the velocity differences u_β - u_α.

It is worth considering the evolution of mixtures with two constituents. Let ω = ω1 and hence ω₂ = 1 - ω . Then, we have a single equation

$$\mathrm{\rho <!--\; \rho \; -->}\stackrel{¨<!--\; ¨\; -->}{\mathrm{\omega <!--\; \omega \; -->}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(p\mathrm{▽<!--\; ▽\; -->}\mathrm{\omega <!--\; \omega \; -->}\right)+M\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->(u_2-<!--\; -\; -->u_1)+f_{(\mathrm{\omega <!--\; \omega \; -->},\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\omega <!--\; \omega \; -->}})}$$

(27)

Apart from the velocity difference u₂ -u₁, the unknown mass fraction ω satisfies a nonlinear hyperbolic equation, with the ratio p/ρ being the speed of propagation.

6. A Continuum Derivation of Fick’s Law

In practical applications, the use of Equation (24) is quite difficult considering the occurrence of L and the fact that they are a coupled system of equations. Again, we consider reasonable approximations. In addition, it is natural to know whether and how dynamic equations justify the use of Fick’s law.

First, we assume that b_α=b, as happens for gravity. Moreover, we select the barycentric reference and hence take v=0 and also L=0. Further, we neglect the nonlinear term ${\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{u}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->u_{\mathrm{\alpha <!--\; \alpha \; -->}}$. The growth m_α is assumed to be given by the velocity differences between constituents and it is proportional to the respective densities. Let

$$m_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{\xi <!--\; \xi \; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\underset{(\mathrm{\beta <!--\; \beta \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\beta <!--\; \beta \; -->}}(v_{\mathrm{\beta <!--\; \beta \; -->}}-<!--\; -\; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})$$

with ξ being possibly a function of the temperature θ. Since

$$\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{m}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{\xi <!--\; \xi \; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->},\mathrm{\beta <!--\; \beta \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\beta <!--\; \beta \; -->}}(v_{\mathrm{\beta <!--\; \beta \; -->}}-<!--\; -\; -->v_{\mathrm{\alpha <!--\; \alpha \; -->}})=0$$

(28)

constraint (15) is identically satisfied. Moreover, we can write m_α in the form

$$m_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{\xi <!--\; \xi \; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\underset{(\mathrm{\beta <!--\; \beta \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\beta <!--\; \beta \; -->}}(u_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->u_{\mathrm{\alpha <!--\; \alpha \; -->}})$$

We now restrict attention to binary mixtures. Hence, h₁+h₂ = 0 and Equation (28) implies

$$m_1=\mathrm{\xi <!--\; \xi \; -->}{\mathrm{\rho <!--\; \rho \; -->}}_1{\mathrm{\rho <!--\; \rho \; -->}}_2(u_2-<!--\; -\; -->u_1)=\mathrm{\xi <!--\; \xi \; -->}({\mathrm{\rho <!--\; \rho \; -->}}_1{h}_2-<!--\; -\; -->{\mathrm{\rho <!--\; \rho \; -->}}_2{h}_1)=-<!--\; -\; -->\mathrm{\xi <!--\; \xi \; -->}\mathrm{\rho <!--\; \rho \; -->}{h}_1$$

and

$$m_2=-<!--\; -\; -->\mathrm{\xi <!--\; \xi \; -->}\mathrm{\rho <!--\; \rho \; -->}{h}_2$$

As a consequence, Equation (24) becomes

$$\stackrel{\dot{}<!--\; \dot{}\; -->}{h_{\mathrm{\alpha <!--\; \alpha \; -->}}}+\mathrm{\xi <!--\; \xi \; -->}\mathrm{\rho <!--\; \rho \; -->}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->T$$

(29)

Further approximations are considered by restricting attention to stationary conditions, $\stackrel{\dot{}<!--\; \dot{}\; -->}{h_{\mathrm{\alpha <!--\; \alpha \; -->}}}=0$, and considering the constituents as inviscid fluids so that

$$T_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->p_{\mathrm{\alpha <!--\; \alpha \; -->}}1,T\simeq <!--\; \simeq \; -->-<!--\; -\; -->p1,p_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}p$$

Hence, Equation (29) reduces to

$$h_{\mathrm{\alpha <!--\; \alpha \; -->}}=\frac{p}{\mathrm{\xi <!--\; \xi \; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

(30)

which is just Fick’s law for h_α , where $k_{\mathrm{\alpha <!--\; \alpha \; -->}}=p/\mathrm{\xi <!--\; \xi \; -->}\mathrm{\rho <!--\; \rho \; -->}$.

7. A Thermodynamic Justification of Assumption (17)

It is interesting to show that assumption (17), which is the basis of the Cahn-Hilliard equation, is seemingly consistent with thermodynamics; it follows as a thermodynamic restriction if we ignore the dynamic property (24) of the diffusion fluxes {h_α} within an approximated dynamic scheme.

The mixture is considered for a whole body and hence the balance of energy is taken in the form

$$\mathrm{\rho <!--\; \rho \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{ϵ<!--\; ϵ\; -->}}=T\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->q+\mathrm{\rho <!--\; \rho \; -->}\mathrm{\gamma <!--\; \gamma \; -->}$$

(31)

where ε is the internal energy density (per unit mass), D is the stretching, q is the heat flux vector, and ϒ is the external heat supply. The second law of inequality is assumed in the form

$$\mathrm{\rho <!--\; \rho \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\eta <!--\; \eta \; -->}}+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->j-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}\mathrm{\gamma <!--\; \gamma \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\ge <!--\; \ge \; -->0$$

where j is the entropy flux to be determined so that the inequality holds depending on the set of constitutive equations. For generality, let

$$j=\frac{q}{\mathrm{\theta <!--\; \theta \; -->}}+k$$

with k being the extra-entropy flux to be determined. Substituting ργ - $\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->q$ from Equation (31), we have

$$-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{ϵ<!--\; ϵ\; -->}}+\mathrm{\rho <!--\; \rho \; -->}\mathrm{\theta <!--\; \theta \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\eta <!--\; \eta \; -->}}+T\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}q\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}+\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}\cdot <!--\; \cdot \; -->k\ge <!--\; \ge \; -->0$$

Let $\mathrm{\psi <!--\; \psi \; -->}=\mathrm{ϵ<!--\; ϵ\; -->}-<!--\; -\; -->\mathrm{\theta <!--\; \theta \; -->}\mathrm{\eta <!--\; \eta \; -->}$ be the Helmholtz free energy. The second law of inequality becomes

$$-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}(\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\psi <!--\; \psi \; -->}}+\mathrm{\eta <!--\; \eta \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}})+T\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}q\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}+\mathrm{\theta <!--\; \theta \; -->}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->k\ge <!--\; \ge \; -->0$$

Let

$$\mathrm{\Xi <!--\; \Xi \; -->}=(\mathrm{\theta <!--\; \theta \; -->},\mathrm{\rho <!--\; \rho \; -->},\left\{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->},\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->},\left\{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},D,\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}},\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}},\left\{\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\right\})$$

be the set of independent variables, e.g., $\mathrm{\psi <!--\; \psi \; -->}=\mathrm{\psi <!--\; \psi \; -->}(\mathrm{\theta <!--\; \theta \; -->},\mathrm{\rho <!--\; \rho \; -->},\left\{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->},\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->},\left\{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},D,\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}},\left\{\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\right\})$. Moreover, let $T=-<!--\; -\; -->p(\mathrm{\theta <!--\; \theta \; -->},\mathrm{\rho <!--\; \rho \; -->},\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->})1+\mathrm{\tau <!--\; \tau \; -->}(\mathrm{\theta <!--\; \theta \; -->},\mathrm{\rho <!--\; \rho \; -->},\left\{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->},\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->},\left\{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},D,\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}},\left\{\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\right\})$ with $\mathrm{\tau <!--\; \tau \; -->}=o\left(d\right)$ as D approaches zero.

Substituting the time derivative $\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\psi <!--\; \psi \; -->}}$, we obtain

$$-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}({\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\psi <!--\; \psi \; -->}}+\mathrm{\eta <!--\; \eta \; -->})\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\{{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->{\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\omega <!--\; \omega \; -->}}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\omega <!--\; \omega \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}}+{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{¨<!--\; ¨\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_D\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\left(\stackrel{\dot{}<!--\; \dot{}\; -->}{D}\right)-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{¨<!--\; ¨\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{¨<!--\; ¨\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->p\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->v+\mathrm{\tau <!--\; \tau \; -->}\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}q\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}+\mathrm{\theta <!--\; \theta \; -->}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->K\ge <!--\; \ge \; -->0$$

The arbitrariness and linearity of $\stackrel{¨<!--\; ¨\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}},\stackrel{¨<!--\; ¨\; -->}{\mathrm{\rho <!--\; \rho \; -->}},\stackrel{¨<!--\; ¨\; -->}{D},\stackrel{¨<!--\; ¨\; -->}{\mathrm{\theta <!--\; \theta \; -->}}$ imply

$$\mathrm{\psi <!--\; \psi \; -->}=\mathrm{\psi <!--\; \psi \; -->}(\mathrm{\theta <!--\; \theta \; -->},\mathrm{\rho <!--\; \rho \; -->},\left\{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\},\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->},\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->},\left\{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\right\})$$

and hence

$$-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}({\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\mathrm{\eta <!--\; \eta \; -->})\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}}$$

(32)

$$-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\{{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}+{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}}\}-<!--\; -\; -->p\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->v+\mathrm{\tau <!--\; \tau \; -->}\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}q\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}+\mathrm{\theta <!--\; \theta \; -->}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->k\ge <!--\; \ge \; -->0$$

Observe

$$\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}}=\mathrm{▽<!--\; ▽\; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->L^T\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}$$

and the analog for $\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}$ and $\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$. Then, divide it by θ and consider the identities

$$-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{\stackrel{¯<!--\; ¯\; -->}{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}}=-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}+\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}(\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->})\cdot <!--\; \cdot \; -->L$$

$$=-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\mathrm{\rho <!--\; \rho \; -->}\right)+\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\right)+\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}(\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}})\cdot <!--\; \cdot \; -->L$$

and the same is for θ. Moreover,

$$-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\cdot <!--\; \cdot \; -->(\mathrm{▽<!--\; ▽\; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}-<!--\; -\; -->L_T\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}})$$

$$=-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\right)+\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}(\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{▽<!--\; ▽\; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}}\mathrm{\psi <!--\; \psi \; -->})\cdot <!--\; \cdot \; -->L$$

where

$${\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}-<!--\; -\; -->\frac{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{▽<!--\; ▽\; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}}\mathrm{\psi <!--\; \psi \; -->}\right)$$

Inequality (32) can then be written in the form

$$-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}({\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\mathrm{\eta <!--\; \eta \; -->})\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}+\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}(\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->})\cdot <!--\; \cdot \; -->L$$

$$-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->v+\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\tau <!--\; \tau \; -->}\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{{\mathrm{\theta <!--\; \theta \; -->}}^2}q\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->(k-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}})\ge <!--\; \ge \; -->0$$

where

$${\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}={\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}-<!--\; -\; -->\frac{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\right),{\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}={\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}-<!--\; -\; -->\frac{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\left(\frac{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\right)$$

Since L=D+W, W ∈ Skw is the (skew) spin, then the arbitrariness of W implies

$$\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}+\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\in <!--\; \in \; -->Sym$$

Hence,

$$\stackrel{^<!--\; ^\; -->}{T}=\mathrm{\tau <!--\; \tau \; -->}+\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\otimes <!--\; \otimes \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}Sym$$

Moreover, since $\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}=-<!--\; -\; -->\mathrm{\rho <!--\; \rho \; -->}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->v$, then let

$$p={\mathrm{\rho <!--\; \rho \; -->}}^2{\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}$$

Then, in light of Equation (14) we replace $\mathrm{\rho <!--\; \rho \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}$ with $-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$ and observe

$$-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}=\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{1}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->h_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{1}{\sum <!--\; \sum \; -->}}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Hence, we can write

$$-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}({\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}+\mathrm{\eta <!--\; \eta \; -->})\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}T\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{{\mathrm{\theta <!--\; \theta \; -->}}^2}q\cdot <!--\; \cdot \; -->q\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}$$

(33)

$$+\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->(k-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\rho <!--\; \rho \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}-<!--\; -\; -->\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}+\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\frac{{\mathrm{\mu <!--\; \mu \; -->}}^{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}})\ge <!--\; \ge \; -->0$$

Inequality (33) hold if

$$\mathrm{\eta <!--\; \eta \; -->}=-<!--\; -\; -->{\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->},k=\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\theta <!--\; \theta \; -->}}+\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{\mathrm{\rho <!--\; \rho \; -->}}+\frac{\mathrm{\rho <!--\; \rho \; -->}}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\partial <!--\; \partial \; -->}}_{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}\mathrm{\psi <!--\; \psi \; -->}\stackrel{\dot{}<!--\; \dot{}\; -->}{{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}-<!--\; -\; -->\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}\frac{{\mathrm{\mu <!--\; \mu \; -->}}^{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

and

$$-<!--\; -\; -->\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}-<!--\; -\; -->\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{1}{\sum <!--\; \sum \; -->}}{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+\frac{1}{\mathrm{\theta <!--\; \theta \; -->}}\stackrel{^<!--\; ^\; -->}{T}\cdot <!--\; \cdot \; -->D-<!--\; -\; -->\frac{1}{{\mathrm{\theta <!--\; \theta \; -->}}^2}q\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\mathrm{\theta <!--\; \theta \; -->}\ge <!--\; \ge \; -->0$$

Since $\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}=0$ and $\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=0$ , then

$$\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}}{\mathrm{\theta <!--\; \theta \; -->}}=\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{h}_{\mathrm{\alpha <!--\; \alpha \; -->}}\cdot <!--\; \cdot \; -->\mathrm{▽<!--\; ▽\; -->}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_n}{\mathrm{\theta <!--\; \theta \; -->}},\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{(n-<!--\; -\; -->1)}{\sum <!--\; \sum \; -->}}({\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_n){\mathrm{\tau <!--\; \tau \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Setting aside cross-coupling effects, we conclude that inequality (34) holds if the single terms are non-negative. The first term of Equation (34) is non-negative if

$$h_{\mathrm{\alpha <!--\; \alpha \; -->}}=-<!--\; -\; -->{\stackrel{^<!--\; ^\; -->}{k}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\mathrm{▽<!--\; ▽\; -->}\frac{{\mathrm{\mu <!--\; \mu \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_n}{\mathrm{\theta <!--\; \theta \; -->}},{\stackrel{^<!--\; ^\; -->}{a}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\ge <!--\; \ge \; -->0,\mathrm{\alpha <!--\; \alpha \; -->}=1,...,n-<!--\; -\; -->1$$

(35)

Equation (35) is analogous to Equation (17) of classical and quantum models under isothermal conditions.

The present derivation, however, shows the weak point of the assumption. The theory of mixtures shows that the free energy of the mixture as a whole is given by

$$\mathrm{\psi <!--\; \psi \; -->}=\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}({\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}+\frac{1}{2}{u}_{\mathrm{\alpha }}^{\mathrm{2<!--\; \alpha \; -->}})$$

The derivation instead is consistent with the assumption that

$$\mathrm{\psi <!--\; \psi \; -->}=\underset{(\mathrm{\alpha <!--\; \alpha \; -->}=1)}{\overset{n}{\sum <!--\; \sum \; -->}}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}},{\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}={\mathrm{\psi <!--\; \psi \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}(\mathrm{\theta <!--\; \theta \; -->},{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}},\mathrm{▽<!--\; ▽\; -->}{\mathrm{\rho <!--\; \rho \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}})=\mathrm{\rho <!--\; \rho \; -->}{\mathrm{\omega <!--\; \omega \; -->}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$$

Neglecting $u_2^{\mathrm{\alpha <!--\; \alpha \; -->}}/2$ eliminates a dynamic term that is considered essential in the diffusion process.

8. Conclusions and Review of Classical Diffusion Equations

According to the Schrödinger equation, quantum models of diffusion are naturally related to the selection of the potential. Further, a close analogy is observed between the classical models where the diffusion flux in a mixture is related to the chemical potential. The resulting differential equation for the mass fraction ω is qualitatively dependent on the chemical potential function of ω or ω, $\mathrm{▽<!--\; ▽\; -->}\mathrm{\omega <!--\; \omega \; -->}$. The classical diffusion equation is formally equal to the heat equation, whereas other models lead to more involved differential equations that are still of parabolic character. The following table shows how the main approaches of the literature are used to derive the pertinent diffusion equations, with the same notation as discussed in this paper.

Though the theory of mixture shows that the correct dynamics is governed by Equation (14), the mass density ρ is quite often ignored or considered as a constant. In essence, the Cahn-Hilliard and Cahn-Allen (or Ginzburg-Landau) equations [2] derive the evolution equations considering that the free energy ψ depends on both ψ and $\mathrm{▽<!--\; ▽\; -->}\mathrm{\omega <!--\; \omega \; -->}$. Moreover, it is assumed that ${\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{\omega <!--\; \omega \; -->}}\mathrm{\psi <!--\; \psi \; -->}$ is given by the variational derivative ${\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\psi <!--\; \psi \; -->}}={\mathrm{\delta <!--\; \delta \; -->}}_{\mathrm{\omega <!--\; \omega \; -->}}\mathrm{\psi <!--\; \psi \; -->}-<!--\; -\; -->\mathrm{▽<!--\; ▽\; -->}\cdot <!--\; \cdot \; -->{\mathrm{\partial <!--\; \partial \; -->}}_{\mathrm{▽<!--\; ▽\; -->}\mathrm{\omega <!--\; \omega \; -->}}\mathrm{\psi <!--\; \psi \; -->}$. The Nernst-Planck model [25,26,27] describes the diffusion of ions and generalizes Fick’s model by adding the contribution of the electric potential φ, where q denotes the ionic charge and k_β is the Boltzmann constant. The definition (13) of the diffusion flux h_α is used to determine the diffusion velocity u_α once the expression of h_α is assumed. This is, e.g., the case of earlier studies [28] for the diffusion velocity in terms of the Nernst-Planck flux. In an earlier study [29], Onsager’s relation of the diffusion flux is considered as a linear combination of forces next identified with the gradient of chemical potentials. The above view is generalized in earlier studies [30] by considering the flux as a linear combination of concentration gradients. The definition of the flux in terms of the rescaled chemical potential µ/θ mainly occurs in classical models [31]. This view is found to be consistent with the result of Equation (35).

In this paper, it is emphasized that a correct model of diffusion should be based on the dynamics (continuity equations and equations of motion) of a mixture. Further, it is shown that how appropriate approximations (linearizations) lead to known models of diffusion. Conceptually, the evolution equation (24), characterizing the diffusion fluxes, is tacitly ignored in known models.

It is worth mentioning that the diffusion models analyzed in this paper are suitable for a system whose space size is in nanoscale. In such cases, constitutive equations that involve the density (or mass fraction) gradient in addition to the density should be considered. This principle is extensively discussed in earlier studies [32] in connection with confinement and tunneling in semiconductor devices. Hence, the balance equations remain unchanged, and the constitutive dependence should exhibit dependence on the density gradients.

Author Contributions

The author did all the research work of this study.

Competing Interests

The author has declared that no competing interests exist.