25.07.2020  Original Article  Ausgabe 1/2021 Open Access
Multiscale thermodynamics of charged mixtures
 Zeitschrift:
 Continuum Mechanics and Thermodynamics > Ausgabe 1/2021
Wichtige Hinweise
Communicated by Andreas Öchsner.
This work was supported by the German Research Foundation, DFG Project No. FU 316/141, and by the Czech Science Foundation, Project No. 1715498Y. This work has been supported by Charles University Research Program No. UNCE/SCI/023.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
1 Introduction
Theoretical electrochemistry aims to describe and predict behavior of chemically reacting systems of charged substances. The modeling methods vary according to the characteristic times, lengths and details of the observed electrochemical systems. This paper aims to develop a hierarchy of continuum models on different levels of description using the framework of the General Equation for NonEquilibrium ReversibleIrreversible Coupling (GENERIC) [
1‐
4].
Let us first briefly recall GENERIC. Consider an isolated system described by state variables
\({\mathbf {x}}\). The state variables can be for instance position and momentum of a particle, field of probability density on phase space, fields of density and momentum density, electromagnetic fields, etc. Evolution of functionals
\(F({\mathbf {x}})\) of the state variables is then expressed as
where the former term on the righthand side stands for a Poisson bracket of the functional
F and the energy
E while the latter for scalar product of gradient of
F and gradient of the dissipation potential
\(\varXi \). Conjugate variables (derivatives of the entropy
S in the entropic representation) are denoted by
\({\mathbf {x}}^*\). The Poisson bracket is antisymmetric, which leads to automatic energy conservation, and satisfies Jacobi identity, which expresses intrinsic compatibility of the reversible evolution. The irreversible term yields a generalized gradient flow driven by gradient of entropy and ensures the second law of thermodynamics. Many successful models in nonequilibrium thermodynamics have been formulated in the GENERIC structure (
1), and many new thermodynamically consistent models have been obtained by seeking that structure; see, e.g., [
3,
4].
$$\begin{aligned} {\dot{F}}({\mathbf {x}}) = \Big \{ F,E \Big \} + \left\langle \frac{\delta F}{\delta {\mathbf {x}}}, \frac{\delta \varXi }{\delta {\mathbf {x}}^*} \Bigg _{{\mathbf {x}}^*=\frac{\delta S}{\delta {\mathbf {x}}}}\right\rangle , \end{aligned}$$
(1)
Anzeige
We shall start the present work by recalling the semidirect product coupling of reversible fluid mechanics and electrodynamics in vacuum [
5]. In other words, we let the electrodynamics be advected by fluid mechanics as in [
4]. To go beyond, we shall add also the field of polarization density and a canonically coupled momentum of polarization. It is important to express the behavior of dipole moment of molecules in interaction with electromagnetic field and the overall motion. To this picture, we shall add magnetization (the famous Landau & Lifshitz model) advected by fluid mechanics. This way we shall build a hierarchy of levels of description with appropriate Poisson brackets expressing kinematics on the levels; see Fig.
1.
Subsequently, we shall introduce dissipation on the most detailed levels of description, we shall present reductions to less detailed (lower) levels down to the level of mechanical equilibrium. On this level, the evolution is governed by the generalized Poisson–Nernst–Planck equations. We believe that such a complete and geometric picture of continuum thermodynamics of matter coupled with electrodynamics (including polarization and magnetization) was missing in the literature.
1.1 Mathematical aspects, terminology and further remarks
A description in terms of fields describing physical quantities, e.g., mass density and magnetic field, is developed throughout the manuscript. A mathematically rigorous formulation of the Poisson brackets and the dissipation potentials for the fields would require deployment of an advanced functional analysis; see, e.g., [
6]. We optout from discussing the setting of the function spaces, convergence of the integrals and other mathematical aspects that are not pertinent to the discussed physics at this stage of the development.
Only the bulk equations are investigated in this manuscript, and all boundary terms are thus neglected in the calculations below. This means that the considered systems are assumed to be either boundaryless, isolated or (infinitely) large with a reasonable decay of the fields at infinity. This is a standard assumption in geometric field theories, see e.g. [
3,
4,
6].
Anzeige
A level of description is given by a set of variables. If two sets of variables, belonging to the respective levels of description, can be ordered by inclusion, then we say that the level of description with smaller set of variables is less detailed level of description and vice versa.
This brings us to an another interpretation of the multiscale description not necessarily connected to different spacetime scales. For instance, in the Grad hierarchy [
7,
8], where kinetic moments are considered [
9], the scale (or rather level of description) is given by the number of moments considered. The advantage of the latter meaning is that it is independent of the particular nonobjective and observerdependent spatiotemporal scale.
The term
reversible is used through out the article in connection with the structure of the evolution equations in the sense of the timereversal transformation [
10]. The Hamiltonian systems may often be cast in to the firstorder, symmetric hyperbolic partial differential equation form [
11]. Assuming smooth initial data, solutions of the hyperbolic systems may be constructed for short times using the Cauchy–Kowalevskaya theorem [
12]. Such solutions are then shorttime reversible in the usual sense of partial differential equations.
1.2 Notation \((\partial _t{\mathbf {x}})_\text {rev/irr}\) and \({\mathbf {x}}^\dagger \), \({\mathbf {x}}^*\)
A problem under consideration usually admits multiple equivalent choices of state variables. Let us denote the family of the admissible, equivalent, levels of description as
\({\mathbb {X}}\). For a given level of description, characterized by state variables
\({\mathbf {x}}\in {\mathbb {X}}\), the presented theory aims to describe evolution of functionals depending on
\({\mathbf {x}}\), i.e., we are interested in
\(\dot{F}({\mathbf {x}})\), see (
1). Therefore, functional derivatives
are often used in this manuscript.
$$\begin{aligned} \left( \frac{\delta F}{\delta {\mathbf {x}}}\right) \equiv F_{\mathbf {x}}~ \end{aligned}$$
(2)
The part of the evolution generated by the Poisson bracket
\(\{\cdot ,\cdot \}\) and the energy
\(E({\mathbf {x}})\), see (
1), will be called
Hamiltonian or
reversible and denoted as
The functional derivative of the energy w.r.t. variable
\({\mathbf {x}}\), also called the
energyconjugate to the variable
\({\mathbf {x}}\), will be briefly denoted by
\(\dagger \) in the superscript, i.e.,
\(E_{{\mathbf {x}}} = {\mathbf {x}}^\dagger \). Poisson brackets are usually conveniently expressed in the
energetic representation, i.e., when entropy density
s is amongst the state variables,
\((s, \varvec{\xi })\in {\mathbb {X}}\), where
\(\varvec{\xi }\) denotes the state variables other than the entropy density.
$$\begin{aligned} \left\{ F,E\right\} = \left( \dot{F} \right) _\text {rev} = \left( \partial _t F\right) _\text {rev}. \end{aligned}$$
(3)
The part of the evolution generated by the dissipation potential
\(\varXi \) and the entropy
\(S({\mathbf {x}})\), see (
1), will be called
irreversible and denoted as
The symbol
\({\mathbf {x}}^*\), called
entropyconjugate, denotes the variables on which the dissipation potential
\(\varXi ({\mathbf {x}}^*)\) depends. The notation
\({\mathbf {x}}^*\) is going to be overloaded in Sect.
3 because it will be also used to denote the value of the entropy derivative, i.e.,
\({\mathbf {x}}^* = S_{\mathbf {x}}\). Since the irreversible evolution is expressed in terms of the derivatives of the dissipation potential w.r.t.
\({\mathbf {x}}^*\), presence of energy density
e amongst the variables makes it simple to control the energy conservation, i.e.,
\((e,\varvec{\xi })\in {\mathbb {X}}\). Such set of variables is called
entropic representation [
13].
$$\begin{aligned} \left\langle F_{\mathbf {x}}, \varXi _{{\mathbf {x}}^*}_{{\mathbf {x}}^*=S_{\mathbf {x}}}\right\rangle = \left( \dot{F} \right) _\text {irr} = \left( \partial _t F\right) _\text {irr}. \end{aligned}$$
(4)
The relations between the energy conjugates in the energetic representation
\((s^\dagger , \varvec{\xi }^\dagger )\) and the entropy conjugate in the entropic representation
\((e^*, \varvec{\xi }^*)\) are explained in [
4,
14].
The overall evolution of a functional
F is then composed from the reversible and irreversible parts,
Symbols
\((\partial _t F)_\text {rev/irr}\) be interpreted as the reversible and irreversible (w.r.t TRT) parts of the righthand side of the evolution equations, or as the reversible and irreversible vector fields; see, e.g., [
10].
$$\begin{aligned} \partial _t F = \left( \partial _t F\right) _\text {rev} + \left( \partial _t F\right) _\text {irr}. \end{aligned}$$
(5)
2 Hierarchy of Poisson brackets
2.1 Hamiltonian dynamics and semidirect product theory
A physical system described by state variables
\({\mathbf {x}}\) is said to be Hamiltonian if the differential equations governing its dynamics can be written in the form of
where dot stands for (typically partial) time derivative, and
E is a Hamiltonian (energy) function [
6,
15,
16]. Here, the (Poisson) bracket
is a (skewsymmetric and bilinear) mapping on the space of smooth functions depending on the state variables
\({\mathbf {x}}\). It is required that a Poisson bracket must satisfy both the Leibniz and the Jacobi identities [
17] that is
for any real valued functions
F,
G and
H. A space endowed with such a bracket is called a Poisson space [
18‐
20]. Skewsymmetry of the bracket manifests conservation of the Hamiltonian function all along the motion. This structure implies in particular to conservation of energy. This observation is fundamental for reversible character of the Hamiltonian systems. More on timereversibility and Onsager–Casimir reciprocal relations can be found in [
4].
$$\begin{aligned} (\dot{{\mathbf {x}}})_\text {rev}=\{{\mathbf {x}},E\}, \end{aligned}$$
(6)
$$\begin{aligned} \{\bullet ,\bullet \}:{\mathcal {F}}\times {\mathcal {F}} \longrightarrow {\mathcal {F}} \end{aligned}$$
$$\begin{aligned}&\{FG,H\}=\{F,H\}G+F\{G,H\}, \end{aligned}$$
(7a)
$$\begin{aligned}&\{\{F,G\},H\}+\{\{G,H\},F\}+\{\{H,F\},G\}=0, \end{aligned}$$
(7b)
In order to write a system of equations in the Hamiltonian form (
6), two tasks must simultaneously be accomplished after deciding the state variables [
18]. These are (1) to choose a Hamiltonian function and (2) to construct a Poisson bracket. Even though there is no algorithmic way to accomplish these tasks, there are some techniques to perform Hamiltonian analysis of a given system. Let us depict here one of them that we use in the present work. Start with the most basic form of the system (by removing all possible field extensions and symmetries). After the Hamiltonian analysis of the basic model is established, field extensions can be added by applying pure geometric and algebraic techniques. For example, consider a classical hydrodynamical system, start initially with analysis of incompressible and isentropic fluid flow. After this is done, let the mass density and the entropy vary in time. Additions of these scalar fields can be done in purely abstract framework by using the semidirect product theory [
21,
22]. Accordingly, in this work, we shall start with Hamiltonian realizations of two basic models, namely the onecomponent compressible fluid mechanics. Then we extend these models with the additions of some field theories such as electromagnetic fields, polarization and magnetization.
For the basic models (without field extensions and symmetries), in the literature, there exist some popular Poisson structures to begin with. Let us comment on these Poisson structures one by one in order to fix the notation and to make the present work more complete.
Canonical Poisson bracket: Consider a vector space
V and its linear algebraic dual
\(V^*\). In finite dimensions, the duality (pairing)
\(\langle \bullet , \bullet \rangle \) between
V and
\(V^*\) can be considered as the Euclidean scalar (dot) product whereas, in infinite dimensions, (that is if
V is a function space or the space of some fields) the duality can be an
\(L^2\)pairing (that is simply multiplyandintegrate form). The cotangent bundle
\(T^{*}V\) is isomorphic to the product space
\(V\times V^{*}\) and carries a canonical Poisson structure. Let us exhibit this geometry. The elements of the cotangent bundle
\(T^*V\) are pairs
\((a,a^*)\) in
\(T^{*}V\). Consider two function(al)s
F and
H on
\(T^*V\), that depend on
\((a,a^*)\). By referring to the duality between
V and
\(V^*\), the canonical Poisson bracket is defined to be
where, for example,
\(F_a\) denotes the partial (for infinite cases, Fréchet) derivative of
F with respect to
a. We assume that the vector space is reflexive that is
\(V^{**}=V\). This enables us consider
\(F_a\) as an element of
\(V^*\) for
a in
V, and
\(F_{a^*}\) as an element of
V for
\(a^*\) in
\(V^*\).
$$\begin{aligned} \{F,H\}^{T^*V}(a,a^*)=\langle F_a, H_{a^*} \rangle  \langle H_a, F_{a^*} \rangle , \end{aligned}$$
(8)
Lie–Poisson bracket: Let us start once more with a vector space
\({\mathfrak {g}}\). In this case, we are not coupling
\({\mathfrak {g}}\) with its dual as in the previous case, but we consider
\({\mathfrak {g}}\) as a Lie algebra. A vector space
\({\mathfrak {g}}\) is called a Lie algebra if it admits a bilinear skewsymmetric mapping (Lie bracket)
satisfying the Jacobi identity. In this case, linear algebraic dual
\({\mathfrak {g}}^*\) of
\({\mathfrak {g}}\) carries a Poisson bracket called as the Lie–Poisson bracket. More concretely, if
F and
H are two function(al)s on
\({\mathfrak {g}}^*\) then, for
\(\mu \) in
\({\mathfrak {g}}^*\),
where
\(F_\mu \) is assumed to be an element of
\({\mathfrak {g}}\) whereas
\(\langle \bullet , \bullet \rangle \) is the pairing between
\({\mathfrak {g}}^*\) and
\({\mathfrak {g}}\). Notice that there exist two Lie–Poisson brackets according to the sign of the bracket (
10). The choice of the sign is not arbitrary for a chosen physical system. It is minus for the rigid body dynamics, since it admits a symmetry due to the left action that is, matrix multiplication of the rotation group
SO(3) on the configuration space
\({\mathbb {R}}^3\), see [
19,
23]. In this present work, we employ the plus Lie–Poisson bracket since, in the continuum theories there exists a right symmetry, physically called as the particle relabeling symmetry [
16,
24]. We will continue to keep plus minus notation in this introductory subsection. After having presented the canonical and Lie–Poisson structures, let us now briefly explain (both direct and semidirect) couplings and extensions of these geometries.
$$\begin{aligned}{}[\bullet ,\bullet ]: {\mathfrak {g}}\times {\mathfrak {g}}\longrightarrow {\mathfrak {g}} \end{aligned}$$
(9)
$$\begin{aligned} \{F,H \}^{{\mathfrak {g}}^*}(\mu )=\pm \langle \mu , [F_\mu , H_\mu ] \rangle \end{aligned}$$
(10)
Direct product of two Poisson structures: The most direct way to couple two Poisson structures is to add the associated Poisson brackets directly without any cross terms and interactions. Consider, for example, two Poisson spaces
\(P_1\) and
\(P_2\) equipped with Poisson brackets
\(\{\bullet ,\bullet \}^{P_1}\) and
\(\{\bullet ,\bullet \}^{P_2}\), respectively. Then the direct product Poisson structure is
for two function(al)s on
\(P_1\times P_2\). In particular, consider two Lie algebras
\({\mathfrak {g}}_1\) and
\({\mathfrak {g}}_2\), and the dual spaces
\({\mathfrak {g}}^*_1\) and
\({\mathfrak {g}}^*_2\), respectively. Then by employing the isomorphism
\(({\mathfrak {g}}_1\times {\mathfrak {g}}_2)^*={\mathfrak {g}}_1^*\times {\mathfrak {g}}_2^*\), we construct the Lie–Poisson bracket on the (direct product) dual space by
where the Lie–Poisson brackets on the righthand side are the ones on
\({\mathfrak {g}}_1^*\) and
\({\mathfrak {g}}_2^*\), respectively.
$$\begin{aligned} \{F,H\}^{P_1\times P_2}=\{F,H\}^{P_1}+\{F,H\}^{P_2} \end{aligned}$$
(11)
$$\begin{aligned} \{F,H \}^{{\mathfrak {g}}_1^*\times {\mathfrak {g}}_2^*}=\{F,H \}^{{\mathfrak {g}}^*_1}+\{F,H \}^{{\mathfrak {g}}^*_2}, \end{aligned}$$
(12)
Semidirect product extension: We now extend the Lie–Poisson bracket. Consider a Lie algebra
\({\mathfrak {g}}\) and a vector space
V. Assume that
\({\mathfrak {g}}\) acts on
V, that is there exist bilinear mapping
By fixing an element
\(\xi \) in
\({\mathfrak {g}}\), we define a linear mapping
\(\rho _\xi \) on
V [
25]. This enables us to define a Lie algebra bracket on the product space
\({\mathfrak {g}}\times V\) given by
By referring to the Lie–Poisson structure presented in the previous paragraph, the dual space
\({\mathfrak {g}}^*\times V^*\) turns out to be a Poisson space equipped the Lie–Poisson bracket. For two function(al)s
F and
H depending on
\((\mu ,a^*)\) in
\({\mathfrak {g}}^*\times V^*\), the Lie–Poisson bracket is computed to be
where the first pairing on the righthand side is the one between
\({\mathfrak {g}}^*\) and
\({\mathfrak {g}}\) whereas the second pairing on the righthand side is the one between
\(V^*\) and
V.
$$\begin{aligned} \rho :{\mathfrak {g}} \times V\mapsto V. \end{aligned}$$
(13)
$$\begin{aligned} \left[ \left( \xi _ { 1 } , v _ { 1 } \right) , \left( \xi _ { 2 } , v _ { 2 } \right) \right] = \left( \left[ \xi _ { 1 } , \xi _ { 2 } \right] , \rho _{\xi _ { 1 }} (v _ { 2 })  \rho _{\xi _ { 2 }} (v _ { 1 }) \right) . \end{aligned}$$
(14)
$$\begin{aligned} \{ F , H \}^{{\mathfrak {g}}^*\times V^*}( \mu , a^* ) = \pm \left\langle \mu , \left[ F_\mu , H_\mu \right] \right\rangle \pm \left\langle {a^*} , \rho _{F_\mu }(H_{a^*}) \rho _{H_\mu }(F_{a^*}) \right\rangle , \end{aligned}$$
(15)
Direct product coupling of the canonical Poisson bracket and the Lie–Poisson bracket: Consider two Poisson structures, the canonical Poisson bracket (
8) on
\(T^*V\) and the Lie–Poisson bracket (
10) on
\({\mathfrak {g}}^*\). If a physical system has a phase space as the product of these two spaces
\({\mathfrak {g}}^*\times T^*V\), then one way to define a Poisson bracket on the product space by simply adding two brackets (
8) and (
10). This is, for two function(al)s
F and
H depending on
\((a, a^*,\mu )\), given by
Semidirect product coupling of the canonical Poisson bracket and the Lie Poisson bracket: If the quantities in
V are advected by the quantities in
\({\mathfrak {g}}\), that is if there is an action of
\({\mathfrak {g}}\) as given in (
13), then the Poisson bracket in (
16) fails to be the correct Poisson structure for the system. In this case, the cross terms (see, for example, the second term in (
15)) must be added as in the semidirect product theory exhibited in the previous paragraph. In this case, one is equipped, in addition to the action (
13), with a (dual) action of
\(\rho ^*_\xi \) on the dual space
\(V^*\). This is due to the preservation of the duality between
V and
\(V^*\) under the action,
for all
a in
V and
\(a^*\) in
\(V^*\). Note that the dual action
\(\rho ^*\) is computed as linear algebraic dual of the linear mapping
\(\rho _\xi \). A direct computation shows that for two function(al)s
F and
H, under the existence of the actions, the Poisson bracket is
Notice that the first line is the same with the direct product case (non interaction) in (
16), and the second line is a manifestations of the advection. This is a particular case of the matched pair of Hamiltonian dynamics presented in [
26].
$$\begin{aligned} \{F,H\}^{T^*V\times {\mathfrak {g}}^*}_{(DP)}= \{F,H\}^{T^*V} \pm \{F,H\}^{{\mathfrak {g}}^*}. \end{aligned}$$
(16)
$$\begin{aligned} \langle a^*, \rho _\xi (a)\rangle =\langle \rho ^*_\xi (a^*), a\rangle \end{aligned}$$
(17)
$$\begin{aligned} \{F,H\}^{T^*V\times {\mathfrak {g}}^*}_{(SDP)} ={}&\{F,H\}^{T^*V} \pm \{F,H\}^{{\mathfrak {g}}^*} \nonumber \\&\pm \left\langle a^* , \rho _{F_\mu }(H_{a^*}) \rho _{H_\mu }(F_{a^*}) \right\rangle \pm \left\langle a , \rho _{F_\mu }^*(H_a) \rho _{H_\mu }^*(F_a) \right\rangle . \end{aligned}$$
(18)
2.1.1 Matched pairs
Only onesided couplings and semidirect products are considered in this work. Only recently the twosided actions have been developed in classical physics, called matched pairs [
26]. In the Galilean setting the onesided actions are usually enough, but it is indeed possible that matched pairs would turn necessary for the fully relativistic and quantum (see works by Majid [
27]) treatment. So far the only physically important matched pair in classical physics has been identified in Grad hierarchy, where coupling of fluid mechanics and higher kinetic moments plays an important role [
28].
2.2 Hamiltonian fluid mechanics of mixtures
The Poisson bracket expressing kinematics of fluid mechanics has been long known [
29‐
33]. The Poisson bracket can be easily extended to mixtures with multiple densities, momenta and entropies (i.e., temperatures); see, e.g., [
34].
2.2.1 Classical fluid mechanics
The state variables of classical fluid mechanics are fields of density, momentum density and entropy density,
\({\mathbf {x}}= (\rho ,{\mathbf {u}},s)\). The Poisson bracket generating onecomponent compressible fluid mechanics (hydrodynamic Poisson bracket) is
where
\(\rho \),
\({\mathbf {u}}\) and
s are
mass density,
mass momentum density and
volumetric entropy density, respectively. The Poisson bracket in (
19) is also an example of a semidirect product bracket obeying the form exhibited in (
15). This wellknow analysis can be found, for example, in [
21,
29,
35].
$$\begin{aligned} \{F,G\}^{(\text {FM})}(\rho , {\mathbf {u}}, s)&= \int \mathrm {d}{\mathbf {r}}\rho \left( \partial _i F_\rho G_{u_i}\partial _i G_\rho F_{u_i}\right) \nonumber \\&\quad +\, \int \mathrm {d}{\mathbf {r}}u_i \left( \partial _j F_{u_i} G_{u_j}\partial _j G_{u_i} F_{u_j}\right) \nonumber \\&\quad +\, \int \mathrm {d}{\mathbf {r}}s \left( \partial _i F_s G_{u_i}\partial _i G_s F_{u_i}\right) , \end{aligned}$$
(19)
For an arbitrary energy
\(E(\rho , {\mathbf {u}}, s)\), the reversible evolution of a functional
F of the state variables reads
where integration by parts was used several times.
^{1} Boundary terms disappear as we assume isolated (e.g. periodic) system.
$$\begin{aligned} ({\dot{F}})_\text {rev}&= \{F,E\}^{(\text {FM})}\nonumber \\&= \int \mathrm {d}{\mathbf {r}}F_{\rho }\left( \partial _i( \rho u^{\dagger i})\right) \nonumber \\&\quad +\,\int \mathrm {d}{\mathbf {r}}F_{u_i}\left( \rho \partial _i \rho ^\dagger  u_j \partial _i u^{\dagger j}  s\partial _i s^\dagger  \partial _j(u_i u^{\dagger j})\right) \nonumber \\&\quad +\,\int \mathrm {d}{\mathbf {r}}F_{s}\left( \partial _i( s u^{\dagger i})\right) , \end{aligned}$$
(20)
By comparing with the chain rule
we can read the reversible evolution equations for fluid mechanics,
For the usual choice of energy,
the compressible nonisothermal Euler equations for ideal fluids are obtained from the system (
22). The energy conjugates
\(\rho ^\dagger \),
\({\mathbf {u}}^\dagger \) and
\(s^\dagger \) represent the chemical potential, barycentric velocity and temperature, respectively.
$$\begin{aligned} {\dot{F}} = \int \mathrm {d}{\mathbf {r}}\left( F_\rho \partial _t \rho + F_{u_i}\partial _t u_i +F_s \partial _t s\right) \end{aligned}$$
(21)
$$\begin{aligned} (\partial _t \rho )_\text {rev}&= \partial _i( \rho u^{\dagger i})~, \end{aligned}$$
(22a)
$$\begin{aligned} (\partial _t u_i)_\text {rev}&= \rho \partial _i \rho ^\dagger  u_j \partial _i u^{\dagger j}  s\partial _i s^\dagger  \partial _j(u_i u^{\dagger j})~, \end{aligned}$$
(22b)
$$\begin{aligned} (\partial _t s)_\text {rev}&= \partial _i( s u^{\dagger i}). \end{aligned}$$
(22c)
$$\begin{aligned} E^{\text {Euler}}\left( \rho ,{\mathbf {u}},s \right) = \int \mathrm {d}{\mathbf {r}}\left( \frac{{\mathbf {u}}^2}{2\rho }+\varepsilon (\rho ,s)\right) , \end{aligned}$$
(23)
2.2.2 Hamiltonian fluid mechanics of mixtures
Consider now a mixture of
\(n+1\) species, each of which is described by its own density, momentum density and entropy density. The Poisson bracket expressing kinematics of state variables
\({\mathbf {x}}=(\rho _\alpha ,{\mathbf {u}}^\alpha ,s_\alpha )\),
\(\alpha \in \{0,1,\ldots ,n\}\), is
This Poisson bracket can be derived for instance by projection from the Liouville equation [
34]. It consists of the sum of
\(n+1\) Poisson brackets (
19), each expressed in terms of variables of mixture component
\(\alpha \). The Poisson bracket in (
24) is a direct product Poisson bracket fitting the abstract framework in (
11).
$$\begin{aligned} \{F, G\}(\rho _\beta , {\mathbf {u}}^\beta , s_\beta ) = \sum _{\alpha =0}^n \{F,G\}^{\text {(FM)}_\alpha }(\rho _\alpha , {\mathbf {u}}^\alpha , s_\alpha ). \end{aligned}$$
(24)
Poisson bracket (
24) depends on
\(n+1\) momenta and
\(n+1\) entropies, each for one component of the mixture, which is a rather detailed description allowing for independent motion of the constituents and for different temperatures of them (as in cold plasma, where electrons have different temperature than ions). We are, however, often interested in less detailed description, keeping only densities of the species, the total mass momentum and the total entropy,
By letting the arbitrary functional depend only on state variables
\({\mathbf {x}}=(\rho _\alpha ,{\mathbf {u}},s)\), bracket (
24) becomes
which is referred to as the classical mixture hydrodynamic bracket. It generates the reversible part of Classical Irreversible Thermodynamics (CIT) [
36].
$$\begin{aligned} {\mathbf {u}}= \sum _{\alpha =0}^n {\mathbf {u}}^\alpha \qquad \text{ and } \qquad s = \sum _{\alpha =0}^n s_\alpha . \end{aligned}$$
(25)
$$\begin{aligned} \{F,G\}^{\text {(CIT)}}&= \sum _{\alpha =0}^n \int \mathrm {d}{\mathbf {r}}\rho _\alpha \left( \partial _i F_{\rho _\alpha } G_{u_i}\partial _i G_{\rho _\alpha } F_{u_i}\right) \nonumber \\&\quad +\, \int \mathrm {d}{\mathbf {r}}u_i \left( \partial _j F_{u_i} G_{u_j}\partial _j G_{u_i} F_{u_j}\right) \nonumber \\&\quad +\, \int \mathrm {d}{\mathbf {r}}s \left( \partial _i F_s G_{u_i}\partial _i G_s F_{u_i}\right) , \end{aligned}$$
(26)
2.3 Electrodynamics in vacuum
The reversible evolution of electromagnetic fields is generated by the canonical Poisson bracket, see [
4,
5,
37],
where
\(\mathbf{A} \) stands for the
vector potential and
\({\mathbf {Y}}={\mathbf {D}}\) denotes negative of the
electric displacement field (either in variables
\(({\mathbf {A}},{\mathbf {Y}})\) or
\(({\mathbf {A}},{\mathbf {D}})\)). Poisson bracket in (
27) is the canonical Poisson bracket as in (
8). Here, the vector space
V is consisting of vector potentials whereas the dual space
\(V^*\) is the space of electric displacement fields.
$$\begin{aligned} \{F,G\}^{\text {(EM)}_\mathbf{A} }({\mathbf {A}}, {\mathbf {Y}}) = \int \mathrm {d}{\mathbf {r}}\left( F_{A_i} G_{Y^i}G_{A_i} F_{Y^i}\right) = \int \mathrm {d}{\mathbf {r}}\left( F_{D^i} G_{A_i}G_{D^i} F_{A_i}\right) , \end{aligned}$$
(27)
Let us define the
magnetic field
\({\mathbf {B}}\) as
In order to express the bracket (
27) in terms of magnetic field, we assume that the functionals depend only on the curl of
\({\mathbf {A}}\). Bracket (
27), transformed in terms of
\(({\mathbf {D}}, {\mathbf {B}})\), see [
22], becomes
This is the Poisson bracket expressing kinematics of electromagnetic fields
\({\mathbf {D}}\) and
\({\mathbf {B}}\).
$$\begin{aligned} B^i = \varepsilon ^{ijk} \partial _j A_k. \end{aligned}$$
(28)
$$\begin{aligned} \{F,G\}^{\text {(EM)}}({\mathbf {D}}, {\mathbf {B}}) = \int \mathrm {d}{\mathbf {r}}\left( F_{D^i}\varepsilon ^{ijk}\partial _j G_{B^k}G_{D^i}\varepsilon ^{ijk}\partial _j F_{B^k}\right) . \end{aligned}$$
(29)
For an arbitrary energy
E, the evolution equations of the electromagnetic field given by (
29) are
where daggers again denote the corresponding derivatives of energy. The conjugates are interpreted as electric field and magnetic intensity in the laboratory frame,
A concrete energy will be specified later after matter is added to the system so that the theory becomes Galilean invariant.
$$\begin{aligned} (\partial _t D^i)_\text {rev}&= \varepsilon ^{ijk} \partial _j B_k^\dagger ~, \end{aligned}$$
(30a)
$$\begin{aligned} (\partial _t B^i)_\text {rev}&= \varepsilon ^{ijk} \partial _j D_k^\dagger ~, \end{aligned}$$
(30b)
$$\begin{aligned} {\mathbf {E}}= \frac{\delta E}{\delta {\mathbf {D}}} \quad \text{ and }\quad {\mathbf {H}}= \frac{\delta E}{\delta {\mathbf {B}}}. \end{aligned}$$
(31)
Applying divergence to (
30) gives the following evolution equations:
The first equality holds due to (
28), the second equality demonstrates the absence of charges in a vacuum. Hence, the usual constraints—Gauß’s laws [
38]—hold true if satisfied by the initial condition, see [
5]. Equations (
32) are thus a consequence of evolution equations (
30).
$$\begin{aligned} \partial _t{{\,\mathrm{div}\,}}{\mathbf {B}}= 0 \quad \text{ and } \quad \partial _t {{\,\mathrm{div}\,}}{\mathbf {D}}= 0. \end{aligned}$$
(32)
2.4 Electromagnetic field advected by charged fluids
The purpose of this section is to formulate coupled kinematics of fluids and electromagnetic fields. We employ the theory of semidirect product to find such coupling, and then we perform a transformation unveiling the usual form of the Lorentz force.
2.4.1 Semidirect product extension
Let us recall the Lie–Poisson structure in (
26) expressing kinematics of Classical Irreversible Thermodynamics, i.e., for state variables
\((\rho ,{\mathbf {u}},s)\), and the
canonical Poisson bracket in (
29) for the electromagnetic field theory in terms of the fields
\(({\mathbf {D}}, {\mathbf {B}})\). In this subsection, we couple these two in the light of the abstract framework in (
18) assuming that the action is minus the Lie derivative
\({\mathcal {L}}\) with respect to the velocity field
\({\mathbf {u}}^\dagger \). The physical meaning is that a quantity is Liedragged or advected by velocity of the continuum (conjugate to the total momentum); see, e.g., [
39,
40]. We obtain Poisson bracket
where
\({\mathbf {m}}\) denotes total momentum density (of matter and electromagnetic field),
This standard relation, see, e.g., [
41], can be either verified by a direct calculation [
4] or inferred using physical arguments; see Appendix
D. Note that the notation introduced in (
33) allows to write briefly
Bracket (
33) expresses kinematics of a CIT mixture and electromagnetic field with state variables
\({\mathbf {x}}=(\rho _\alpha ,{\mathbf {m}},s,{\mathbf {D}},{\mathbf {B}})\) and was found (for the single species case) in [
14,
37,
42].
$$\begin{aligned} \left\{ F,G\right\} ^{\text {(mEMHD)}}(\rho _\alpha , {\mathbf {m}}, s, {\mathbf {D}},&{\mathbf {B}})=\{F,G\}^{\text {(CIT)}}_{{\mathbf {u}}={\mathbf {m}}} + \{F,G\}^\text {(EM)} \nonumber \\ \{F,G\}^{\text {(SP)}}({\mathbf {D}},{\mathbf {m}})&{\left\{ \begin{array}{ll} &{}+\int \mathrm {d}{\mathbf {r}}D^i\left( \partial _j F_{D^i} G_{m_j}  \partial _j G_{D^i}F_{m_j}\right) \\ &{}+\int \mathrm {d}{\mathbf {r}}\partial _j D^j(F_{m_i} G_{D^i} G_{m_i} F_{D^i}) \\ &{}+\int \mathrm {d}{\mathbf {r}}D^j( F_{m_i} \partial _j G_{D^i}  G_{m_i} \partial _j F_{D^i}) \\ \end{array}\right. } \nonumber \\ \{F,G\}^{\text {(SP)}}({\mathbf {B}},{\mathbf {m}})&{\left\{ \begin{array}{ll} &{}+\int \mathrm {d}{\mathbf {r}}B^i\left( \partial _j F_{B^i} G_{m_j} \partial _j G_{B^i}F_{m_j}\right) \\ &{}+\int \mathrm {d}{\mathbf {r}}\partial _j B^j(F_{m_i} G_{B^i} G_{m_i} F_{B^i}) \\ &{}+\int \mathrm {d}{\mathbf {r}}B^j(F_{m_i} \partial _j G_{B^i}  G_{m_i} \partial _j F_{B^i}), \end{array}\right. } \end{aligned}$$
(33)
$$\begin{aligned} {\mathbf {m}}= {\mathbf {u}}+ {\mathbf {D}}\times {\mathbf {B}}. \end{aligned}$$
(34)
$$\begin{aligned} \left\{ F,G\right\} ^{\text {(mEMHD)}}(\rho _\alpha , {\mathbf {m}}, s, {\mathbf {D}},&{\mathbf {B}})=\{F,G\}^{\text {(CIT)}}_{{\mathbf {u}}={\mathbf {m}}} + \{F,G\}^\text {(EM)}\nonumber \\&\qquad +\{F,G\}^{\text {(SP)}}({\mathbf {D}},{\mathbf {m}}) + \{F,G\}^{\text {(SP)}}({\mathbf {B}},{\mathbf {m}}) \end{aligned}$$
(35)
2.4.2 Transformation to mass momentum
Let us suppose that each mixture component carries charge
\(e_0\frac{z_\alpha }{m_\alpha }\) proportional to the free charge density, which is defined as
Suppose functionals
\(F(\rho _\alpha , {\mathbf {m}}, s, {\mathbf {D}}, {\mathbf {B}}) = \widetilde{F}(\rho _\alpha , {\mathbf {u}}, s, {\mathbf {D}}, {\mathbf {B}})\), the relation of the total and mass momenta (
34) implies the following transformation rules between their derivatives, it reads
see Appendix
D for further details. Poisson bracket (
33) can be now transformed by means of relations (
37) to the mass momentum
\({\mathbf {u}}\) instead of the total momentum
\({\mathbf {m}}\). The calculation was carried out in [
22] and [
4] and leads to Poisson bracket
which is the Poisson bracket expressing evolution of a CIT mixture coupled with electromagnetic field (using the mass momentum
\({\mathbf {u}}\)).
^{2}
$$\begin{aligned} \rho _\text {f} = \sum _{\alpha =1}^n \frac{z_\alpha e_0}{m_\alpha }\rho _\alpha . \end{aligned}$$
(36)
$$\begin{aligned} F_{\rho _\alpha }&= {\widetilde{F}}_{\rho _\alpha },\ F_s = {\widetilde{F}}_s,~F_{\mathbf {m}}= {\widetilde{F}}_{\mathbf {u}}~, \end{aligned}$$
(37a)
$$\begin{aligned} F_{D^i}&= {\widetilde{F}}_{D^i} + \varepsilon _{ijk}{\widetilde{F}}_{u_j} B^k~, \end{aligned}$$
(37b)
$$\begin{aligned} F_{B^i}&= {\widetilde{F}}_{B^i}  \varepsilon _{ijk}{\widetilde{F}}_{u_j} D^k~; \end{aligned}$$
(37c)
$$\begin{aligned}&\left\{ F,G\right\} ^{\text {(uEMHD)}}(\rho _\alpha , {\mathbf {u}}, s, {\mathbf {D}}, {\mathbf {B}})=\{F,G\}^{\text {(CIT)}} + \{F,G\}^{\text {(EM)}}\nonumber \\&\quad +\,\int \mathrm {d}{\mathbf {r}}\sum _{\alpha =1}^n e_0\frac{z_\alpha \rho _\alpha }{m_\alpha }\left( F_{u_i} G_{D^{i}}  G_{u_i}F_{D^{i}}\right) \nonumber \\&\quad +\,\int \mathrm {d}{\mathbf {r}}\sum _{\alpha =1}^n e_0\frac{z_\alpha \rho _\alpha }{m_\alpha }B^i \varepsilon _{ijk}F_{u_{j}} G_{u_{k}} , \end{aligned}$$
(38)
Energy
\(E(\rho _\alpha , {\mathbf {m}}, s, {\mathbf {D}}, {\mathbf {B}}, {\mathbf {E}}, {\mathbf {H}})\) when considering
\({\mathbf {m}}\) as a state variable is equal to energy
\(\widetilde{E}(\rho _\alpha , {\mathbf {u}}, s, {\mathbf {D}}, {\mathbf {B}})\) when considering
\({\mathbf {u}}\) as a state variable. However, to distinguish between the conjugates, we introduce the notation
\(\widetilde{E}_{{\mathbf {x}}} = {\mathbf {x}}^{\widetilde{\dagger }}\). It follows from the formulae (
37) that the chemical potentials, temperature and velocity are unaffected by transformation (
34), i.e.,
The energyconjugates to
\({\mathbf {D}}\) and
\({\mathbf {B}}\) read
respectively. Note that the electromagnetic fields on the lefthand side are seen from the fluid frame while those on the righthand side from the inertial lab frame, see
C for more details.
$$\begin{aligned} \rho _\alpha ^\dagger =\rho _\alpha ^{\widetilde{\dagger }},\ s^\dagger =s^{\widetilde{\dagger }},\quad \text {and}\quad {\mathbf {v}}= {\mathbf {m}}^\dagger ={\mathbf {u}}^{\widetilde{\dagger }}. \end{aligned}$$
(39a)
$$\begin{aligned} {\mathbf {D}}^\dagger&= {\mathbf {D}}^{\widetilde{\dagger }}+ {\mathbf {u}}^\dagger \times {\mathbf {B}}~, \end{aligned}$$
(39b)
$$\begin{aligned} {\mathbf {B}}^\dagger&= {\mathbf {B}}^{\widetilde{\dagger }} {\mathbf {u}}^\dagger \times {\mathbf {D}}~, \end{aligned}$$
(39c)
Energy can be chosen as
c.f. [
43]. The first part represents kinetic energy of the center of mass. The second part is the electromagnetic energy, see, e.g., [
44], where all the fields are measured in the laboratory frame. Finally, the last part is the internal energy. In order to express the energy in terms of the state variables
\((\rho _\alpha , {\mathbf {v}}, s, {\mathbf {D}},{\mathbf {B}})\), we have to use material relations
which are valid in the frame comoving with the center of mass of the matter, i.e., with velocity
\({\mathbf {v}}\) with respect to the laboratory frame. Symmetric positive definite tensors
\(\varvec{\epsilon }\) and
\(\varvec{\mu }\) represent the electric permittivity and magnetic permeability. The comoving fields
\({\mathbf {D}}'\),
\({\mathbf {B}}'\),
\({\mathbf {E}}'\) and
\({\mathbf {H}}'\) are then transformed to the laboratory fields by transformation (
130). This leads to energy
This energy has the right behavior with respect to Galilean transformations, see, e.g., [
45].
$$\begin{aligned} E_{EMHD} = \int \mathrm {d}{\mathbf {r}}\left( \frac{1}{2}\left( \sum _\alpha \rho _\alpha \right) {\mathbf {v}}^2 + \frac{1}{2}\left( {\mathbf {D}}\cdot {\mathbf {E}}+ {\mathbf {B}}\cdot {\mathbf {H}}\right) + \varepsilon (\rho _a, s)\right) , \end{aligned}$$
(40)
$$\begin{aligned} {\mathbf {D}}' = \varvec{\epsilon }\cdot {\mathbf {E}}' \quad \text{ and }\quad {\mathbf {B}}' = \varvec{\mu }\cdot {\mathbf {H}}', \end{aligned}$$
(41)
$$\begin{aligned} E_{EMHD} = \int \mathrm {d}{\mathbf {r}}\left( \frac{1}{2}\left( \sum _\alpha \rho _\alpha \right) {\mathbf {v}}^2 + \frac{1}{2}{\mathbf {D}}\cdot \varvec{\epsilon }^{1}\cdot {\mathbf {D}}+ \frac{1}{2}{\mathbf {B}}\cdot \varvec{\mu }^{1} \cdot {\mathbf {B}}+{\mathbf {v}}\cdot ({\mathbf {D}}\times {\mathbf {B}}) + \varepsilon (\rho _\alpha , s)\right) . \end{aligned}$$
(42)
The evolution equations implied by bracket (
38) and energy (
42) are
where we took velocity
\({\mathbf {v}}\) as a state variable instead of the mass momentum
\({\mathbf {u}}=\rho {\mathbf {v}}\),
\(\rho =\sum _\alpha \rho _\alpha \) being the total density. The conjugate quantities remain the same because derivative of energy keeping
\({\mathbf {u}}\) and
\(\rho \) constant is the same as when keeping
\({\mathbf {v}}\) and
\(\rho \) constant. Note that
\(v_i = g_{ij}v^j\) is the velocity multiplied by the Euclidean metric (equal to the unit matrix). The terms on the last line represent the Lorentz force acting upon the free charge density. Equation (
43) are invariant with respect to Galilean transformations (
130). Therefore, they represent a Galilean invariant form of electrodynamics coupled with matter. Note that Galilean invariance would be impossible without the explicit presence of evolution equations for matter.
$$\begin{aligned} (\partial _t \rho _\alpha )_\text {rev}&= \partial _i (\rho _\alpha v^i) \end{aligned}$$
(43a)
$$\begin{aligned} \rho (\partial _t v_i)_\text {rev}&= \rho v^j\partial _j v_i \sum _\alpha \rho _\alpha \partial _i \frac{\partial \varepsilon }{\partial \rho _\alpha }  s\partial _i \frac{\partial \epsilon }{\partial s} \nonumber \\&\quad + \sum _{\alpha =1}^n e_0\frac{z_\alpha \rho _\alpha }{m_\alpha }\underbrace{\left( E_i + \varepsilon _{ijk} v^j B^k \right) }_{= D_i^\dagger } \end{aligned}$$
(43b)
$$\begin{aligned} (\partial _t s)_\text {rev}&= \partial _i (s v^i) \end{aligned}$$
(43c)
$$\begin{aligned} (\partial _t D^i)_\text {rev}&= \epsilon ^{ijk}\partial _j H_k \sum _\alpha e_0\frac{z_\alpha \rho _\alpha }{m_\alpha }v^i \end{aligned}$$
(43d)
$$\begin{aligned} (\partial _t B^i)_\text {rev}&= \epsilon ^{ijk}\partial _j E_k, \end{aligned}$$
(43e)
2.4.3 Gauß’s law for electric charge and nonexistence of magnetic monopoles
Equations (
32) represent the Gauß’s laws. Let us now consider the dynamics of coupled matter and electromagnetic field generated by brackets (
38) and (
33). After applying divergence on Eq. (
43d) we obtain that
where
\(\rho _f\) stands for the
free charge. The equality holds if it holds at some initial time (which can be for instance vacuum, so it indeed holds). Applying divergence on Eq. (
43e), we obtain again that
\({{\,\mathrm{div}\,}}{\mathbf {B}}=0\). The Gauß’s law is implied by the evolution equations even in the case of electrodynamics coupled with mixtures of fluids.
$$\begin{aligned} {{\,\mathrm{div}\,}}{\mathbf {D}}= \rho _\text {f} {\mathop {=}\limits ^{def}} \sum _\alpha e_0\frac{z_\alpha \rho _\alpha }{m_\alpha }, \end{aligned}$$
(44)
2.5 Polarization
The reversible evolution of a charged mixture in electromagnetic field is described by one of the Poisson brackets in the previous section and a choice of energy. But such description does not, in general, capture the intrinsic dipole moments of the molecules, i.e.,
polarization. Indeed, a fluid of dipoles can be charge neutral while still electromagnetically interacting. An additional
bound charge is present due to internal dipole density of the matter on top of the modeled free charge.
Description of the bound charge depends profoundly on the chosen variables, the time/space scales and the internal structure of the assumed matter. The classical treatment on the macroscopic level, see, e.g. [
47], resorts to the definition of polarization vector
\({\mathbf {P}}\). The divergence part of
\({\mathbf {P}}\) is set equal to the density of bound charge. The time derivative of
\({\mathbf {P}}\) represents current, and therefore it is added to the lefthand side of Ampere’s law (
43d).
Russakoff in [
48] acquired the polarization as a consequence of averaging of microscopic Maxwell’s equations with point charges and subsequent expansion with respect to spatially correlated charges. This approach leads, compared to the Purcell’s, to a definition of the polarization related with magnetization proportional to the averaged relative velocities of the correlated charges.
2.5.1 Intrinsic dynamics of polarization
Density of polarization
\({\mathbf {P}}\) represents a vector field just as the displacement field
\({\mathbf {D}}\). Advection of the vector field by the fluid mechanics is then expressed by a semidirect product as in Sect.
2.4.1. Similarly as in that section, we can add (besides
\({\mathbf {P}}\)) the conjugate momentum variable (to be denoted by
\(\varvec{\pi }\)). The Poisson bracket expressing advection of the pair
\((\varvec{\pi },{\mathbf {P}})\) by fluid mechanics is shown in the following section.
The canonical Poisson bracket (
8) of state variables
\(\varvec{\pi }\) and
\({\mathbf {P}}\) reads
Bracket (
45) can represent a continuum of elementary dipoles with fixed centers of mass, but changing length and orientation. Indeed, covector field
\(\varvec{\pi }\) can be interpreted as proportional to the relative momentum of particles forming the dipole, c.f. variable
\(\mathbf{t} \) in (
127) and (
128). The divergence part of
\({\mathbf {P}}\) represents the bound charge density,
$$\begin{aligned} \{F,G\}^{{\mathbf {P}}\varvec{\pi }} ({\mathbf {P}},\varvec{\pi }) = \int \mathrm {d}{\mathbf {r}}\left( F_{P^i} G_{\pi _i}G_{P^i} F_{\pi _i} \right) . \end{aligned}$$
(45)
$$\begin{aligned} \rho _b {\mathop {=}\limits ^{\text{ def }}} {{\,\mathrm{div}\,}}{\mathbf {P}}. \end{aligned}$$
(46)
2.5.2 Advected cotangent bundle \((\varvec{\pi },{\mathbf {P}})\)
When the dipoles are not fixed in space, but advected by a fluid, the interaction is captured by coupling of bracket (
45) and fluid dynamics bracket (
26) by semidirect product,
see bracket (
18) later comments for more details. This Poisson bracket expresses kinematics of state variables
\((\rho _\alpha ,{\,{}^{\varvec{\pi }}{}}{\mathbf {u}},s,{\mathbf {P}},\varvec{\pi })\). Note that the total momentum of the coupled system is denoted as
\({\,{}^{\varvec{\pi }}{}}{\mathbf {u}}\). This Poisson bracket expresses kinematics of fluid mechanics advecting the polarization density with its conjugate momentum (relative momentum of the intrinsic dipole charges).
$$\begin{aligned} \left\{ F,G\right\} ^{\text {FMP}\varvec{\pi }}(\rho _\alpha ,&{\,{}^{\varvec{\pi }}{}}{\mathbf {u}}, s, {\mathbf {P}}, \varvec{\pi })=\{F,G\}^{\text {(CIT)}}(\rho _\alpha , {\,{}^{\varvec{\pi }}{}}{\mathbf {u}},s) + \{F,G\}^{{\mathbf {P}}\varvec{\pi }}({\mathbf {P}},\varvec{\pi })\nonumber \\&+\int \mathrm {d}{\mathbf {r}}P^i\left( \partial _j F_{P^i} G_{{\,{}^{\varvec{\pi }}{}}u_j}  \partial _j G_{P^i}F_{{\,{}^{\varvec{\pi }}{}}u_j}\right) \nonumber \\&+\int \mathrm {d}{\mathbf {r}}\partial _j P^j(F_{{\,{}^{\varvec{\pi }}{}}u_i} G_{P^i} G_{{\,{}^{\varvec{\pi }}{}}u_i} F_{P^i})\nonumber \\&+\int \mathrm {d}{\mathbf {r}}P^j( F_{{\,{}^{\varvec{\pi }}{}}u_i} \partial _j G_{P^i}  G_{{\,{}^{\varvec{\pi }}{}}u_i} \partial _j F_{P^i}) \nonumber \\ \{F,G\}^{\text {(SP)}_{\mathbf {A}}}(\varvec{\pi },{\,{}^{\varvec{\pi }}{}}{\mathbf {u}})&{\left\{ \begin{array}{ll} &{}\int \mathrm {d}{\mathbf {r}}\partial _j\pi _i\left( F_{\pi _i} G_{{\,{}^{\varvec{\pi }}{}}u_j} G_{\pi _i} F_{{\,{}^{\varvec{\pi }}{}}u_j} \right) \\ &{}\int \mathrm {d}{\mathbf {r}}\pi _i\left( F_{\pi _j}\partial _j G_{{\,{}^{\varvec{\pi }}{}}u_i}  G_{\pi _j}\partial _j F_{{\,{}^{\varvec{\pi }}{}}u_i} \right) ; \end{array}\right. } \end{aligned}$$
(47)
Note that bracket (
47) may be briefly expressed as
using the definition of
\(\{F,G\}^{\text {(SP)}}\) from (
33) and
\(\{F,G\}^{\text {(SP)}_{\mathbf {A}}}\) from (
47).
$$\begin{aligned}&\left\{ F,G\right\} ^{\text {FMP}\varvec{\pi }}(\rho _\alpha , {\,{}^{\varvec{\pi }}{}}{\mathbf {u}}, s, {\mathbf {P}}, \varvec{\mu })=\{F,G\}^{\text {(CIT)}}(\rho _\alpha , {\,{}^{\varvec{\pi }}{}}{\mathbf {u}},s) + \{F,G\}^{{\mathbf {P}}\varvec{\mu }}({\mathbf {P}},\varvec{\pi })\nonumber \\&\quad +\,\{F,G\}^{\text {(SP)}}({\mathbf {P}},{\,{}^{\varvec{\pi }}{}}{\mathbf {u}}) + \{F,G\}^{\text {(SP)}_{\mathbf {A}}}(\varvec{\pi },{\,{}^{\varvec{\pi }}{}}{\mathbf {u}})~, \end{aligned}$$
(48)
The evolution equations given by (
47) are as follows:
Later they will be equipped with dissipation of
\(\varvec{\pi }\) triggering subsequent relaxation of polarization.
$$\begin{aligned} (\partial _t \rho _\alpha )_\text {rev}&=  \partial _j(\rho _\alpha {\,{}^{\varvec{\pi }}{}}u^{\dagger j}) \end{aligned}$$
(49a)
$$\begin{aligned} (\partial _t s)_\text {rev}&=  \partial _j(s {\,{}^{\varvec{\pi }}{}}u^{\dagger j}) \end{aligned}$$
(49b)
$$\begin{aligned} (\partial _t {\,{}^{\varvec{\pi }}{}}u_i)_\text {rev}&= \sum _{\alpha =1}^n\rho _\alpha \partial _i \rho _\alpha ^\dagger s\partial _i s^\dagger {\,{}^{\varvec{\pi }}{}}u_j\partial _i {\,{}^{\varvec{\pi }}{}}u^{\dagger j} P^j\partial _i P_j^\dagger +\pi ^{\dagger j}\partial _i\pi _j \nonumber \\&\quad +\, \partial _j\left( P_i^\dagger P^j  \pi _i\pi ^{\dagger j}  {\,{}^{\varvec{\pi }}{}}u_i {\,{}^{\varvec{\pi }}{}}u^{\dagger j} \right) ~, \end{aligned}$$
(49c)
$$\begin{aligned} (\partial _t P^i)_\text {rev}&= \pi ^{\dagger i}  \partial _j\left( P^i {\,{}^{\varvec{\pi }}{}}u^{\dagger j}  P^j {\,{}^{\varvec{\pi }}{}}u^{\dagger i} \right)  {\,{}^{\varvec{\pi }}{}}u^{\dagger i}\partial _j P^j \end{aligned}$$
(49d)
$$\begin{aligned} (\partial _t \pi _i)_\text {rev}&= P_i^\dagger  {\,{}^{\varvec{\pi }}{}}u^{\dagger j}\partial _j \pi _i  \pi _j \partial _i {\,{}^{\varvec{\pi }}{}}u^{\dagger i}. \end{aligned}$$
(49e)
Note that the semidirect product theory does not fully determine the relation of the total momentum
\({\,{}^{\varvec{\pi }}{}}{\mathbf {u}}\) and the mass momentum. We only know that the velocities coincide, which means that
This relation can be ascertained by further assumptions on the physical properties of the interaction.
$$\begin{aligned} \rho \left( {\,{}^{\varvec{\pi }}{}}{\mathbf {u}}\right) ^\dagger = \rho {\mathbf {v}} = {\mathbf {u}}. \end{aligned}$$
(50)
Let us assume
\({\,{}^{\varvec{\pi }}{}}{\mathbf {u}}= {\mathbf {u}}\), i.e., there appears no extra momentum on top of the mass momentum. The assumption corresponds with the nature of the transformation (
129), where motion of an elementary dipole is described by two decoupled canonical brackets, one for the center of mass and one for the relative quantities, and the centerofmass momentum of the dipole affects neither
\({\mathbf {P}}\) nor
\(\varvec{\pi }\) directly.
2.5.3 Coupling to the electromagnetic field—total charge density
Having coupled fluid mechanics with polarization density and its conjugate momentum, let us finally make the coupling to the electromagnetic field, i.e., having state variables
\((\rho _\alpha ,{\,{}^{\varvec{\pi }}{}}{\mathbf {u}},s, {\mathbf {D}},{\mathbf {B}},{\mathbf {P}},\varvec{\pi })\). Both pairs
\((\varvec{\pi },{\mathbf {P}})\) and
\(({\mathbf {D}},{\mathbf {B}})\) were coupled to fluid mechanics by semidirect product. Advection of both pairs by fluid mechanics can be thus expressed (using (
29), (
33), (
47)) by Poisson bracket
which, however, does not contain any direct coupling between
\({\mathbf {P}}\) and
\({\mathbf {D}}\). The coupling appears after the transformation to the field of
electric induction
\(\varvec{{\mathcal {D}}}\),
for which it holds that
where the second equality is due to (
46) and (
44). The divergence of
\(\varvec{{\mathcal {D}}}\) represents the total charge density and is given as a sum of the bound charge density and the free charge density.
$$\begin{aligned} \{F,G\}^{\text {EFP}\varvec{\pi }}(\rho _\alpha ,{}&{\,{}^{\varvec{\pi }}{}}{\mathbf {m}},s, {\mathbf {D}}, {\mathbf {B}},{\mathbf {P}},\varvec{\pi })=\{F,G\}^{\text {(CIT)}}(\rho _\alpha ,{\,{}^{\varvec{\pi }}{}}{\mathbf {m}},s)\\&+ \{F,G\}^\text {(EM)}({\mathbf {D}}, {\mathbf {B}}) + \{F,G\}^\text {(SP)}({\,{}^{\varvec{\pi }}{}}{\mathbf {m}}, {\mathbf {D}})+ \{F,G\}^{\text {(SP)}}({\,{}^{\varvec{\pi }}{}}{\mathbf {m}}, {\mathbf {B}})\nonumber \\&+ \{F,G\}^{{\mathbf {P}}\varvec{\pi }}({\mathbf {P}}, \varvec{\pi })+ \{F,G\}^\text {(SP)}({\,{}^{\varvec{\pi }}{}}{\mathbf {m}}, {\mathbf {P}}) + \{F,G\}^{\text {(SP)}_{\mathbf {A}}}({\,{}^{\varvec{\pi }}{}}{\mathbf {m}}, \varvec{\mu }),\nonumber \end{aligned}$$
(51)
$$\begin{aligned} \varvec{{\mathcal {D}}}= {\mathbf {D}} {\mathbf {P}}, \end{aligned}$$
(52)
$$\begin{aligned} {{\,\mathrm{div}\,}}\varvec{{\mathcal {D}}}= {{\,\mathrm{div}\,}}{\mathbf {D}} {{\,\mathrm{div}\,}}{\mathbf {P}}=\rho _\text {f} +\rho _\text {b}~, \end{aligned}$$
(53)
For a functional
\({\widehat{F}}({\mathbf {D}}, {\mathbf {P}}, \dots ) = F(\varvec{{\mathcal {D}}},{\mathbf {P}}, \dots )\) then holds that
Poisson bracket (
51) can be reformulated using the electric induction (
52) and the transformation (
54) as
Surprisingly, just the evolution equations of
\(\varvec{{\mathcal {D}}}\) and of polarization momentum
\(\varvec{\pi }\) are affected by the transformation. The transformed evolution equations of the electric induction and polarization momentum
\(\varvec{\pi }\) then become
Note that the Gauß’s law (
53) is again compatible with the evolution of the
\({{\,\mathrm{div}\,}}\varvec{{\mathcal {D}}}\), given by (
56a).
$$\begin{aligned} {\widehat{F}}_{\mathbf {P}}= F_{\mathbf {P}} F_{\varvec{{\mathcal {D}}}}\quad \text{ and }\quad {\widehat{F}}_{\mathbf {D}}= F_{\varvec{{\mathcal {D}}}}. \end{aligned}$$
(54)
$$\begin{aligned}&\{F,G\}^{\varvec{{\mathcal {D}}}\varvec{\pi }}(\rho _\alpha , {\,{}^{\varvec{\pi }}{}}{\mathbf {m}},s, {\mathcal {D}}, {\mathbf {B}},{\mathbf {P}},\varvec{\mu })\nonumber \\&\quad =\{F,G\}^{\text {EFP}\varvec{\pi }}(\rho _\alpha ,{\,{}^{\varvec{\pi }}{}}{\mathbf {m}},s, \varvec{{\mathcal {D}}}, {\mathbf {B}},{\mathbf {P}},\varvec{\pi }) \{F,G\}^{{\mathbf {P}}\varvec{\pi }}(\varvec{{\mathcal {D}}}, \varvec{\pi }). \end{aligned}$$
(55)
$$\begin{aligned} (\partial _t{\mathcal {D}}^i)_\text {rev}&=\varepsilon _{ijk}\partial _j B_k^\dagger  \pi ^{\dagger i}  \partial _j\left( {\mathcal {D}}^i v^j  {\mathcal {D}}^j v^i \right)  v^i\partial _j {\mathcal {D}}^j~, \end{aligned}$$
(56a)
$$\begin{aligned} (\partial _t\pi _i)_\text {rev}&= P_i^\dagger + {\mathcal {D}}_i^\dagger  \partial _j\pi _i v^j \pi _j \partial _i v^j . \end{aligned}$$
(56b)
The evolution of the bound charge density, given by bracket (
55) and formally identical to (
49d), reads
The divergent part of (
57) evolves as a convected density which also be changed by
\(\varvec{\pi }^\dagger \). The term
\(\varvec{\pi }^\dagger \) can be interpreted as a reversible polarization current. This reversible current appears in the evolution of
\(\varvec{{\mathcal {D}}}\), see Eq. (
56a).
$$\begin{aligned} (\partial _t \partial _i P^i)_\text {rev} = \partial _i \pi ^{\dagger i}  \partial _i \left( v^i \partial _j P^j \right) . \end{aligned}$$
(57)
The material relation for electric intensity now changes to
which is the usual relation in the frame comoving with matter. Transformation (
130) brings these relation to the laboratory frame.
$$\begin{aligned} \varvec{\epsilon }_0\cdot {\mathbf {E}}' = {\mathbf {D}}'  {\mathbf {P}}' ~, \end{aligned}$$
(58)
Total momentum: In order to obtain the Lorentz force, the total momentum
\({\,{}^{\varvec{\pi }}{}}{\mathbf {m}}\) has to be related to the mass momentum
\({\mathbf {u}}\). We choose
since it is compatible with the choices made for the polarizationfluid coupling (
50) and the EMHD coupling (
34). The bracket (
55) may be transformed using (
59) and transformation rules analogous (
39b) so that the description with the mass momentum
\({\mathbf {u}}\) is obtained. The calculation is analogous to the transformation in the case of EMHD brackets (
33) to (
38). Apart from the presence of
\(({\mathbf {P}}, \varvec{\pi })\) and its coupling to the fluid mechanics, the only actual difference is the
\(\{\cdot ,\cdot \}^{{\mathbf {P}}\varvec{\pi }} (\varvec{{\mathcal {D}}}, \varvec{\pi })\) appearing in (
55). Relation (
59) implies the following form of the Lorenz force density (righthand side of the evolution equation for momentum
\({\mathbf {u}}\))
where
\({\mathbf {x}}^{\widetilde{\dagger }}\) denotes derivative of energy dependent on
\({\mathbf {u}}\) with respect to
\({\mathbf {x}}\), analogously as in Sect.
2.4.2 transformation (
39b).
$$\begin{aligned} {\,{}^{\varvec{\pi }}{}}{\mathbf {m}}= {\mathbf {u}}+ \varvec{{\mathcal {D}}}\times {\mathbf {B}}~, \end{aligned}$$
(59)
$$\begin{aligned} \partial _j {\mathcal {D}}^j \left( {\mathcal {D}}_i^{\widetilde{\dagger }}+ \varepsilon _{ijk} v^j B^k \right) +\varepsilon _{ijk} \pi ^{{\widetilde{\dagger }}j} B^k~, \end{aligned}$$
(60)
Let us analyze (
60). The first term contains the electric field
\({\mathbf {E}}=\varvec{{\mathcal {D}}}^{\widetilde{\dagger }}\) and
\({\mathbf {v}}\times {\mathbf {B}}\) acting upon the total charge density
\({{\,\mathrm{div}\,}}\varvec{{\mathcal {D}}}\). The main difference to the Lorentz force appearing in (
43b), is the total charge density appearing in front of the bracket. The second term in (
60) is a product of the magnetic field
\({\mathbf {B}}\) and the reversible rate of change of polarization
\(\varvec{\pi }^{\widetilde{\dagger }}\). Hence, it can be interpreted as a force exerted by the magnetic field due to the current of the polarized charge. Due to the form of (
59), it holds
\(\varvec{\pi }^{{\dagger }}= \varvec{\pi }^{\widetilde{\dagger }}\) and
\({\mathbf {P}}^{{\dagger }}= {\mathbf {P}}^{\widetilde{\dagger }}\).
Energy (
42) turns to
Note that for pure substances the tensor
\(\varvec{\epsilon }\) in this formula for energy becomes the vacuum permittivity (multiplied by the inverse metric) because then the usual formula for dielectrics is recovered, see Sect.
3.3.2, after the polarization has relaxed to equilibrium. However, for a mixture one should consider a polarization for each constituent, and some of the polarizations can be relaxed while some not. We keep the tensor
\(\varvec{\epsilon }\) in the formula for energy in order to cover also the mixtures.
$$\begin{aligned} E_{EMHDP\varvec{\pi }}= & {} \int \mathrm {d}{\mathbf {r}}\left( \frac{1}{2}\left( \sum _\alpha \rho _\alpha \right) {\mathbf {v}}^2 + \frac{1}{2}\varvec{{\mathcal {D}}}\cdot \varvec{\epsilon }^{1}\cdot \varvec{{\mathcal {D}}}+ \frac{1}{2}{\mathbf {B}}\cdot \varvec{\mu }^{1} \cdot {\mathbf {B}}\right. \nonumber \\&\left. +{\mathbf {v}}\cdot (\varvec{{\mathcal {D}}}\times {\mathbf {B}}) + \frac{1}{2}{\mathbf {P}}\cdot \frac{\varvec{\epsilon }_0^{1}}{\chi }\cdot {\mathbf {P}}+ \varepsilon (\rho _\alpha , s, {\mathbf {P}}, \varvec{\pi }) \right) . \end{aligned}$$
(61)
In summary, reversible evolution equations for a mixture coupled with electromagnetic fields, polarization and its conjugate momentum were constructed in a geometric way (semidirect products).
2.5.4 Polarization waves and stress
Let us demonstrate the dynamics of the
\({\mathbf {P}}\),
\(\varvec{\pi }\) couple on the canonical polarization bracket (
45), bringing new equations for propagation of polarization. For the sake of simplicity, we assume state variables
\(({\mathbf {P}},\varvec{\pi })\) in this Section. Let us assume that the energy contains a contribution corresponding to a dipoledipole interaction that is proportional to the square of the polarization gradient
\(\nabla {\mathbf {P}}\). Hence, we have
where
\(\alpha ^{ij}\) and
\(\beta _{ij}\) are assumed to be symmetric positive definite constant tensors. The Hamiltonian evolution of
\({\mathbf {P}}\) and
\(\varvec{\pi }\) due to bracket (
45) with energy (
62) reads
Assuming isotropy,
\(\alpha ^{ij} = \alpha g^{ij}\) and
\(\beta _{ij} = \beta g_{ij}\), where
\(\alpha \) and
\(\beta \) are positive numbers and
\(g_{ij}\) the Euclidean metric, Eq. (
63) become
which is a polarization wave equation. Speed of the polarization sound is
\((\alpha \beta )^{1/2}\).
$$\begin{aligned} E^\text {Pw} = \int \mathrm {d}{\mathbf {r}}\frac{1}{2} \left( \beta _{ij}\partial _j P^i \partial _j P^i + \alpha ^ij \pi _i \pi _j\right) ~, \end{aligned}$$
(62)
$$\begin{aligned} (\partial _t P^i)_\text {rev}&= \alpha ^{ij}\pi _j \end{aligned}$$
(63a)
$$\begin{aligned} (\partial _t \pi _i)_\text {rev}&= \beta _{ik}\partial _j\partial _j P^k. \end{aligned}$$
(63b)
$$\begin{aligned} (\partial ^2_{tt} P^i)_\text {rev}&= \alpha (\partial _t\pi _i)_\text {rev} = \alpha \beta \partial _j\partial _j P^i~, \end{aligned}$$
(64)
Let us now consider the level of description with state variables
\((\rho _\alpha , s, {\,{}^{\varvec{\pi }}{}}{\mathbf {m}}, {\mathcal {D}}, {\mathbf {B}}, {\mathbf {P}}, \varvec{\pi })\), which is equipped with bracket (
51) and where (
62) contributes to the energy. The evolution equation for total momentum
\({\,{}^{\varvec{\pi }}{}}{\mathbf {m}}\) is given by the bracket (
55) also determines the evolution of the mass momentum using transformation (
59). Thus we have
without specifying the energy dependence of the other variables. Note that we no longer pay attention the upper and lower indexes in this section for simplicity. The last line is the Lorentz force acting upon the total charge, c.f. (
60). The terms with
\({\mathbf {P}}\) and
\(\varvec{\pi }\) on the second line of the righthand side of (
65) can be written in a divergence form as
which is the stress contribution due to the dipoledipole interaction. Momentum is conserved.
$$\begin{aligned} (\partial _t u_i)_\text {rev}&= \sum _{\alpha =1}^n \rho _\alpha \partial _i \rho _\alpha ^{\widetilde{\dagger }}s\partial _i s^{\widetilde{\dagger }}u_j\partial _i u_j^{\widetilde{\dagger }} \partial _j\left( u_i u_j^{\widetilde{\dagger }}\right) \nonumber \\&\quad \underbrace{+\beta P_j\partial _i\partial _k\left( \partial _k P^j \right) +\alpha \pi _j\partial _i\pi _j + \partial _j\left(  \beta \partial _k\partial _k P^i P^j  \alpha \pi _i \pi _j \right) }_{\text {Dipoledipole interaction}}\nonumber \\&\quad \underbrace{+\partial _j {\mathcal {D}}^j \left( {\mathcal {D}}_i^{\widetilde{\dagger }}+ \varepsilon _{ijk} v_j B^k \right) +\varepsilon _{ijk} \alpha \pi _j B^k}_{\text {Lorentz force}}~, \end{aligned}$$
(65)
$$\begin{aligned} \partial _j \left( \beta P_l \partial _i( \partial _j P_l) \delta _{ij} \frac{\beta }{2}\partial _k P_l \partial _k P_l  \beta \partial _k(\partial _k P^i)P^j \alpha \pi _i\pi _j +\frac{\alpha }{2}\delta _{ij}\pi _k\pi _k \right) ~, \end{aligned}$$
(66)
The third term in (
66) is not symmetric w.r.t. change of
i and
j, but conservation of the angular momentum is not violated. Indeed, the crossproduct of the discussed term and the position vector
\({\mathbf {r}}\) can be written in a divergence form. We have, omitting
\(\beta \),
where the last term is simultaneously symmetric and antisymmetric in
i and
j, hence it is zero. Similar observation was made in [
49]. The angular momentum is conserved for the proposed energy of the dipole–dipole interaction (
62).
$$\begin{aligned}&\varepsilon _{sri} r_r\partial _j \left( P^j \partial _k(\partial _k P^i) \right) = \varepsilon _{sri}\partial _j \left( r_r P^j \partial _k( \partial _k P^i) \right)  \varepsilon _{sri}P^j \partial _k( \partial _k P^i) \delta _{rj}\nonumber \\&\quad =\varepsilon _{sri}\partial _j \left( r_r P^j \partial _k( \partial _k P^i) \right)  \varepsilon _{sji} \partial _k(P^j \partial _k P^i) + \varepsilon _{sji} \partial _k P^j \partial _k P^i ~, \end{aligned}$$
(67)
2.6 Magnetization
The magnetization of matter, see, e.g., [
47, Sec. 11], is due to the orientation of spins. Perhaps due to the resemblance with dynamics of rigid body rotation, the pioneering model of magnetization by Landau & Lifshitz [
50] was based on that dynamics. In the following text, we first recall the Hamiltonian formulation of rigid body dynamics and then we let the rigid body dynamics be advected by the fluid (using again the semidirect product theory).
2.6.1 Intrinsic dynamics of magnetization
The configuration manifold of rigid body rotations is the Lie group
SO(3). The standard machinery of differential geometry, e.g., [
23,
29] or [
4, Eq. 3.69], concludes that the Lie algebra dual, where angular momentum
\({\mathbf {M}}\) seen from the body reference frame plays the role of state variable, is equipped with a Poisson bracket. Local version of the bracket (see also [
30]) is
where
\(\gamma \) is the gyromagnetic ratio and
\({\mathbf {M}}({\mathbf {r}})\) is the local angular momentum covector field. Bracket (
68) is also called the spin bracket; see, e.g., [
51]. The evolution equation implied by this bracket is (by the same procedure as in Sect.
2.2.1)
E being energy of the rotation. Derivative of energy with respect to
\({\mathbf {M}}\) is the angular velocity
\(\varvec{\omega }\).
$$\begin{aligned} \{F,G\}^{\text {SO(3)}}&{}({\mathbf {M}})= \gamma \int \mathrm {d}{\mathbf {r}}M_i\varepsilon _{ijk} F_{M_j} G_{M_k}~, \end{aligned}$$
(68)
$$\begin{aligned} ({\dot{{\mathbf {M}}}})_\text {rev} = \gamma {\mathbf {M}}\times E_{{\mathbf {M}}}, \end{aligned}$$
(69)
2.6.2 Advection by fluid mechanics
Similarly as in the case of electromagnetic field or polarization, we will now construct the Poisson bracket expressing advection of magnetization and its dynamics by fluid mechanics (using again semidirect product). Now, however, the advected structure is not a cotangent bundle, but a Lie algebra dual, i.e., having state variables
\((\rho , {\,{}^{{\mathbf {M}}}}{\mathbf {m}}, s, {\mathbf {M}})\). The general formula for semidirect product of two Lie algebra duals, see [
22, Eq. 40], then gives Poisson bracket
where
\({\,{}^{{\mathbf {M}}}}{\mathbf {m}}\) is the new total momentum of the coupled system and
\({\mathbf {M}}\) denotes the magnetization. Note that the advected electrodynamics are kept in the bracket for completeness. The right action of velocity field
\(F_{\mathbf {m}}\) on the vector field
\(G_{\mathbf {m}}\) is defined as negative of Lie derivative as usually,
Using (
71), bracket (
70) becomes
which is the explicit form of Poisson bracket expressing kinematics of magnetization advected by fluid mechanics.
$$\begin{aligned}&\{F,G\}^{\text {SO(3)}\times \text {(mEHMD)}} (\rho _\alpha , {\,{}^{{\mathbf {M}}}}{\mathbf {m}}, s, {\mathbf {D}}, {\mathbf {B}}, {\mathbf {M}})= \{F,G\}^\text {mEHMD} + \{F,G\}^\text {SO(3)}\nonumber \\&\quad + \left\langle {\mathbf {M}}, F_{{\,{}^{{\mathbf {M}}}}{\mathbf {m}}}\rhd G_{\mathbf {M}}\right\rangle  \left\langle {\mathbf {M}}, G_{{\,{}^{{\mathbf {M}}}}{\mathbf {m}}}\rhd F_{\mathbf {M}}\right\rangle ~, \end{aligned}$$
(70)
$$\begin{aligned} \left( F_{{\,{}^{{\mathbf {M}}}}{\mathbf {m}}} \rhd G_{\mathbf {M}}\right) _i = \left( F_{{\,{}^{{\mathbf {M}}}}m_j}\partial _j G_{M_i}  G_{M_j}\partial _j F_{{\,{}^{{\mathbf {M}}}}m_i}\right) . \end{aligned}$$
(71)
$$\begin{aligned}&\{F,G\}^{\text {SO(3)}\times \text {(mEHMD)}} (\rho _\alpha , {\,{}^{{\mathbf {M}}}}{\mathbf {m}}, s, {\mathbf {D}}, {\mathbf {B}}, {\mathbf {M}}) = \{F,G\}^\text {mEHMD} + \{F,G\}^\text {SO(3)}\nonumber \\&\quad {\{F,G\}^{\text {SP}_{\mathbf {M}}}({\,{}^{{\mathbf {M}}}}{\mathbf {m}},{\mathbf {M}}):=} {\left\{ \begin{array}{ll} &{}{}+\int \mathrm {d}{\mathbf {r}}M_i\left( \partial _j F_{{\,{}^{{\mathbf {M}}}}m_i} G_{M_j}  \partial _j G_{{\,{}^{{\mathbf {M}}}}m_i} F_{M_j} \right) \\ &{}{}+\int \mathrm {d}{\mathbf {r}}M_i\left( \partial _j F_{M_i} G_{{\,{}^{{\mathbf {M}}}}m_j}  \partial _j G_{M_i} F_{{\,{}^{{\mathbf {M}}}}m_j} \right) , \end{array}\right. } \end{aligned}$$
(72)
Let us choose
which, as in the polarization case, means that there is no excess momentum and
\({\,{}^{{\mathbf {M}}}}{\mathbf {m}}= {\mathbf {m}}\).
$$\begin{aligned} {\,{}^{{\mathbf {M}}}}{\mathbf {m}}= {\mathbf {u}}+ {\mathbf {D}}\times {\mathbf {B}}~, \end{aligned}$$
(73)
The evolution equation equations implied by (
72) are
These evolution equations show how magnetization is advected by fluid mechanics, and how such advection affects the fluid motion itself. Moreover, magnetization keeps its intrinsic rigidbodylike dynamics. Finally, note that there is no explicit coupling to the electromagnetic field just as in the original [
50] paper. The coupling is achieved implicitly later by letting energy depend on both
\({\mathbf {M}}\) and
\({\mathbf {B}}\).
$$\begin{aligned} (\partial _t m_i)_\text {rev}&= \sum _{\alpha =1}^n\rho _\alpha \partial _i \rho _\alpha ^\dagger s\partial _i s^\dagger  m_j\partial _i m^{\dagger j} D^j\partial _i D_j^\dagger B^j\partial _i B_j^\dagger  M_j\partial _i M^{\dagger j} \nonumber \\&\quad +\, \partial _j\left( D_i^\dagger D^j + B_i^\dagger B^j  M_i M^{\dagger j}  m_i m^{\dagger j} \right) ~, \end{aligned}$$
(74a)
$$\begin{aligned} (\partial _t M_i)_\text {rev}&= \gamma \varepsilon _{ijk} M_j M^{\dagger k}  M_j\partial _i m^{\dagger j}  \partial _j\left( M_i m^{\dagger j}\right) . \end{aligned}$$
(74b)
2.6.3 Spinspin interaction stress
Let us now suggest novel dynamics of magnetization advected by fluid mechanics. Let now
\((\rho _\alpha , {\mathbf {m}}, s, {\mathbf {D}}, {\mathbf {B}}, {\mathbf {M}})\) be the considered level of description governed by (
70). The spinspin interaction contribution to the energy can, on the continuum level, be modeled by the gradient of magnetization
\(\nabla {\mathbf {M}}\) as in [
50],
where
\(\alpha ^{ik}\) is a constant positive definite tensor. The mass momentum
\({\mathbf {u}}\), given by the evolution of the total momentum (
74a), relation (
73) and relations analogous to (
37), evolves as
where only the derivatives of energy w.r.t.
\({\mathbf {M}}\) are expressed explicitly. Note that we have put
\(\alpha ^{ij}=\alpha g^{ij}\) and that we stopped distinguishing between upper and lower indexes for simplicity. The terms on the last line represent the Lorentz force acting on the free charge. The terms on the second line in (
76) are the stress due to the spinspin interaction. The terms can be, similarly to the dipoledipole interaction (
66), written in the divergence form as
The nonsymmetric term in (
77) is equivalent to the one already discussed in the polarization case (
67), and therefore, it also does not violate the conservation of the angular momentum.
$$\begin{aligned} E^\text {Ms} = \int \mathrm {d}{\mathbf {r}}\frac{\alpha ^{ik}}{2} \partial _j M_i \partial _j M_k~, \end{aligned}$$
(75)
$$\begin{aligned} (\partial _t u_i)_\text {rev}&= \sum _{\alpha =1}^n\rho _\alpha \partial _i \rho _\alpha ^\dagger s\partial _i s^\dagger u_j\partial _i u^{\dagger j}  \partial _j\left( u_i u^{\dagger j} \right) \nonumber \\&\quad +\, \gamma \alpha M_j\partial _i \partial _k \partial _k M_j+ \partial _j\left( \gamma \alpha M_i \partial _k \partial _k M_j \right) \nonumber \\&\quad +\,\partial _j D^j \left( D_i^{\widetilde{\dagger }}+ \varepsilon _{ijk} u^{\dagger j} B^k \right) ~, \end{aligned}$$
(76)
$$\begin{aligned} \gamma \alpha \partial _j \left( M_l\partial _i\partial _j M_l  \frac{\delta _{ij}}{2}\partial _k M_l \partial _k M_l + M_i \partial _k \partial _k M_j \right) . \end{aligned}$$
(77)
2.7 General level \((\rho _\alpha , {\widehat{{\mathbf {m}}}}, s,{\mathcal {D}},{\mathbf {B}},{\mathbf {P}},\varvec{\pi },{\mathbf {M}})\)
The hierarchy of the brackets built in the preceding paragraphs will be completed on the level of description containing all the discussed variables. The general bracket reads
The first line is due to the dynamics of the CITmixture. The second line of (
78) accounts for the electromagnetism and its coupling to continuum. The third line contains the polarization bracket and its coupling to continuum. The fourth line of (
78) is due to the magnetization dynamics and its coupling to continuum. Brackets
\(\{\cdot ,\cdot \}^\text {(SP)}\),
\(\{\cdot ,\cdot \}^{\text {(SP)}_{\mathbf {A}}}\) and
\(\{\cdot ,\cdot \}^{\text {(SP)}_{\mathbf {M}}}\) were found due to the semidirect product theory.
$$\begin{aligned}&\{F,G\}^{\text {GEMHD}}(\rho _\alpha , {\widehat{{\mathbf {m}}}},s, \varvec{{\mathcal {D}}}, {\mathbf {B}},{\mathbf {P}},\varvec{\pi }, {\mathbf {M}})=\{F,G\}^{\text {CIT}}(\rho _\alpha , {\widehat{{\mathbf {m}}}}, s)\nonumber \\&\quad + \{F,G\}^\text {(EM)}(\varvec{{\mathcal {D}}}, {\mathbf {B}}) + \{F,G\}^\text {(SP)}({\widehat{{\mathbf {m}}}}, \varvec{{\mathcal {D}}})+ \{F,G\}^{\text {(SP)}}({\widehat{{\mathbf {m}}}}, {\mathbf {B}})\nonumber \\&\quad + \{F,G\}^{{\mathbf {P}}\varvec{\pi }}({\mathbf {P}}, \varvec{\pi }) + \{F,G\}^\text {(SP)}({\widehat{{\mathbf {m}}}}, {\mathbf {P}}) + \{F,G\}^{\text {(SP)}_{\mathbf {A}}}({\widehat{{\mathbf {m}}}}, \varvec{\pi })\nonumber \\&\quad + \{F,G\}^{\text {SO(3)}}({\mathbf {M}}) + \{F,G\}^{\text {(SP)}_{\mathbf {M}}}({\widehat{{\mathbf {m}}}},{\mathbf {M}}). \end{aligned}$$
(78)
The evolution equations implied by the General bracket are
This is the most detailed set of reversible evolution equations expressing evolution of a mixture coupled with electromagnetic field, polarization and its conjugate momentum and magnetization. When energy is among the state variables (thus transforming first to
\({\mathbf {u}}=\rho {\mathbf {v}}\) to
\({\mathbf {v}}\)), the evolution equations read
Note that the form of energy is simpler when velocity
\({\mathbf {v}}\) is among the state variables instead of the momentum, as in Eq. (
61). It should also be noted that these equations are not strictly Hamiltonian, since we do not have derivatives of energy w.r.t. velocity on the righthand side, but only velocity itself. The equations are equivalent to the Hamiltonian formulation (
79), but having velocity as a state variable is more suitable when formulating the energy.
$$\begin{aligned} (\partial _t \rho _\alpha )_\text {rev}&=  \partial _j(\rho _\alpha {{\widehat{m}}}_j^\dagger ) \end{aligned}$$
(79a)
$$\begin{aligned} (\partial _t s)_\text {rev}&=  \partial _j(s {{\widehat{m}}}_j^\dagger ) \end{aligned}$$
(79b)
$$\begin{aligned} (\partial _t {{\widehat{m}}}_i)_\text {rev}&= \sum _{\alpha =1}^n\rho _\alpha \partial _i \rho _\alpha ^\dagger s\partial _i s^\dagger {{\widehat{m}}}_j\partial _i {\widehat{m}_j}^\dagger \nonumber \\&\quad \,{\mathcal {D}}^j\partial _i {\mathcal {D}}_j^\dagger B^j\partial _i B_j^\dagger P^j\partial _i P_j^\dagger \pi _j\partial _i\pi ^\dagger _j M_j\partial _i M_j^\dagger \nonumber \\&\quad +\, \partial _j\left( {\mathcal {D}}_i^\dagger {\mathcal {D}}^j +B_i^\dagger B^j + P_i^\dagger P^j  \pi _i\pi ^{\dagger j}+\pi _k \pi ^\dagger _k\delta _{ij}  M_i M_j^\dagger  {{\widehat{m}}}_i {\widehat{m}_j}^\dagger \right) ~, \end{aligned}$$
(79c)
$$\begin{aligned} (\partial _t {\mathcal {D}}^i)_\text {rev}&=\varepsilon _{ijk}\partial _j B_k^\dagger  \pi ^{\dagger i}  \partial _j\left( {\mathcal {D}}^i {{\widehat{m}}}_j^\dagger  {\mathcal {D}}^j \widehat{m}_i^\dagger \right)  {{\widehat{m}}}_i^\dagger \partial _j {\mathcal {D}}^j~, \end{aligned}$$
(79d)
$$\begin{aligned} (\partial _t B^i)_\text {rev}&= \varepsilon _{ijk}\partial _j {\mathcal {D}}_k^\dagger  \partial _j\left( B^i {{{\widehat{m}}}_j}^\dagger  B^j {{{\widehat{m}}}_i}^\dagger \right)  {{{\widehat{m}}}_i}^\dagger \partial _j B^j \end{aligned}$$
(79e)
$$\begin{aligned} (\partial _t P^i)_\text {rev}&= \pi ^{\dagger i}  \partial _j\left( P^i {{{\widehat{m}}}_j}^\dagger  P^j {{{\widehat{m}}}_i}^\dagger \right)  {\widehat{m}_i}^\dagger \partial _j P^j \end{aligned}$$
(79f)
$$\begin{aligned} (\partial _t \pi _i)_\text {rev}&= P_i^\dagger + {\mathcal {D}}_i^\dagger  \partial _j\pi _i \widehat{m}_j^\dagger  \pi _j \partial _i {{\widehat{m}}}_j^\dagger \end{aligned}$$
(79g)
$$\begin{aligned} (\partial _t M_i)_\text {rev}&= \gamma \varepsilon _{ijk} M_j M_k^\dagger  M_j\partial _i {{\widehat{m}}}_j^\dagger  \partial _j\left( M_i {{\widehat{m}}}_j^\dagger \right) . \end{aligned}$$
(79h)
$$\begin{aligned} (\partial _t \rho _\alpha )_\text {rev}&=  \partial _j(\rho _\alpha v^j) \end{aligned}$$
(80a)
$$\begin{aligned} (\partial _t s)_\text {rev}&=  \partial _j(s v^j) \end{aligned}$$
(80b)
$$\begin{aligned} \rho (\partial _t v_i)_\text {rev}&= \rho v^j\partial _j v_i + \partial _j {\mathcal {D}}^j\left( E_i + \varepsilon _{ijk} v^j B^k \right) + \varepsilon _{ijk}\pi ^{{\widetilde{\dagger }}j}B^k~\nonumber \\&\quad \,\sum _\alpha \rho _\alpha \partial _i \frac{\partial \varepsilon }{\partial \rho _\alpha }  s\partial _i \frac{\partial \epsilon }{\partial s}  P^j\partial _i \frac{\partial \epsilon }{\partial P^j}  \pi _j\partial _i \frac{\partial \epsilon }{\partial \pi _j}  M_j\partial _i \frac{\partial \epsilon }{\partial M_j} \nonumber \\&\quad +\, \partial _j\left( P_i^{\widetilde{\dagger }}P^j  \pi _i\pi ^{{\widetilde{\dagger }}j}+\pi _k \pi ^{{\widetilde{\dagger }}k}\delta _{ij}  M_i M^{{\widetilde{\dagger }}j} \right) , \end{aligned}$$
(80c)
$$\begin{aligned} (\partial _t {\mathcal {D}}^i)_\text {rev}&= \epsilon ^{ijk}\partial _j H_k \sum _\alpha e_0\frac{z_\alpha \rho _\alpha }{m_\alpha }v^i \pi ^{{\widetilde{\dagger }}i}~, \end{aligned}$$
(80d)
$$\begin{aligned} (\partial _t B^i)_\text {rev}&= \epsilon ^{ijk}\partial _j E_k~, \end{aligned}$$
(80e)
$$\begin{aligned} (\partial _t P^i)_\text {rev}&= \pi ^{{\widetilde{\dagger }}i}  \partial _j\left( P^i v^j  P^j v^i \right)  v^i \partial _j P^j~, \end{aligned}$$
(80f)
$$\begin{aligned} (\partial _t \pi _i)_\text {rev}&= P_i^{\widetilde{\dagger }}+ (E_i+\varepsilon _{ijk}v^j B^k)  \partial _j\pi _i v^j \pi _j \partial _i v^j~, \end{aligned}$$
(80g)
$$\begin{aligned} (\partial _t M_i)_\text {rev}&= \gamma \varepsilon _{ijk} M^j M_k^{\widetilde{\dagger }} M_j\partial _i v^j  \partial _j\left( M_i v^j\right) . \end{aligned}$$
(80h)
The bracket (
78) can be projected to the levels of description upon which it was built. One can simply evaluate the bracket (
78) on a set of functionals independent of a certain variables; see [
34]. In the rest of this paper, we enrich the reversible equations by irreversible terms in order to reduce this rather detailed description to the common continuum models coupling matter and electromagnetic field.
Consistently with the previously devised relations of the total momenta and mass momentum
\({\mathbf {u}}\), we choose
The Lorentz force is equal to the one given by (
60).
$$\begin{aligned} {\widehat{{\mathbf {m}}}} = {\,{}^{\varvec{\pi }}{}}{\mathbf {m}}= {\mathbf {u}}+ \varvec{{\mathcal {D}}}\times {\mathbf {B}}. \end{aligned}$$
(81)
3 Continuum thermodynamics and reductions
After having constructed a hierarchy of Poisson brackets for fluid mechanics of mixtures advecting electrodynamics, polarization and its conjugate momentum and magnetization, let us now enrich that detailed reversible dynamics by dissipative irreversible terms. This allows to see relaxation of fast mesoscopic variables and the effects on dynamics of less detailed variables. For instance we let the conjugate polarization momentum
\(\varvec{\pi }\) relax to recover the standard single relaxation time (SRT) model, which is widely used for comparison with experiments. We also let the magnetization
\({\mathbf {M}}\) dissipate to recover the full Landau & Lifshitz model not only evolving in the laboratory frame, but being advected by the fluid. Finally, we approach the level of mechanical equilibrium, where neither momentum nor velocity is among the state variables. In particular, a generalized Nernst–Planck–Poisson equations are formulated on that level of description. In summary, a comprehensive multiscale thermodynamic construction of fluid mixtures equipped with electrodynamics, polarization and magnetization is provided.
3.1 Gradient dynamics
Before adding dissipative terms to the actual evolution equations, let us recall the general framework of gradient dynamics, where irreversible evolution is generated by derivatives of a dissipation potential [
52,
53]. Sound statistical arguments for gradient dynamics based on the large deviations principle was found in [
54‐
56]. The following paragraph closely follows [
4, Sec. 4.5, 4.6].
3.1.1 Dissipation potential
Consider a set of state variables
\({\mathbf {x}}\) and let energy, entropy and mass of the system be denoted by
\(E({\mathbf {x}})\),
\(S({\mathbf {x}})\) and
\(M({\mathbf {x}})\), respectively. A dissipation potential
\({\widetilde{\varXi }}({\mathbf {x}},{\mathbf {x}}^*): {\mathbf {x}}^* \rightarrow {\mathbb {R}}\) is a family of functionals of conjugate variables
\({\mathbf {x}}^*\) parametrized by
\({\mathbf {x}}\). We require every parametrization
\(\varXi [{\mathbf {x}}^*] = {\widetilde{\varXi }}({\mathbf {x}})[{\mathbf {x}}^*]\) to satisfy:
The irreversible part of the evolution of a functional
\(F({\mathbf {x}})\) is then given as
Gradient dynamics automatically satisfies the second law of thermodynamics (growth of entropy in isolated systems). This is guaranteed for instance for convex dissipation potentials, but also nonconvexity far from the origin (equilibrium) be taken into account [
57]. Moreover, it is in close relation to the method of entropy production maximization [
58]. Gradient dynamics plays a key role when formulating dissipation in the GENERIC framework.
1.
Positiveness:
\(\varXi [{\mathbf {x}}^*] \ge 0\) and
\(\varXi [{\mathbf {x}}^*=0] = 0\).
2.
Monotonicity of derivative:
\(\left\langle \varXi _{{\mathbf {x}}^*},{\mathbf {x}}^*\right\rangle \ge 0\quad \forall {\mathbf {x}}^*\).
3.
Convexity near
\({\mathbf {x}}^* = 0\).
4.
Degeneracy with respect to mass
\(\left\langle \varXi _{{\mathbf {x}}^*}, M_{{\mathbf {x}}} \right\rangle = 0\).
5.
Degeneracy with respect to energy
\(\left\langle \varXi _{{\mathbf {x}}^*}, E_{\mathbf {x}}\right\rangle = 0\).
$$\begin{aligned} \left( {\dot{F}}({\mathbf {x}}) \right) _ irr = \left\langle F_{\mathbf {x}},\ \varXi _{{\mathbf {x}}^*}\Big _{{\mathbf {x}}^* = \frac{\delta S({\mathbf {x}})}{\delta {\mathbf {x}}}}\right\rangle . \end{aligned}$$
(82)
Entropyconjugate variables
\({\mathbf {x}}^*\) are most suitable for formulation of the gradient dynamics. However, it is often more straightforward to use the energyconjugate variables
\({\mathbf {x}}^\dagger \), especially when combining the irreversible evolution with the Hamiltonian evolution (see, e.g., [
35,
42,
59,
60]). Details on the transformation between the conjugate variables can be found in [
4,
14].
A simple notorious example of the dissipation potential expressed in the energyconjugate variables is
This is a prototype of dissipation potential, since any general dissipation potential can be approximated by a quadratic one due to the convexity near equilibrium and flatness at equilibrium. For further details see [
4, Sect. 4.5].
$$\begin{aligned} \varXi ^\text {q} = \int \mathrm {d}{\mathbf {r}}\frac{1}{2\tau } \left( \frac{\xi ^\dagger }{s^\dagger } \right) ^2\quad \text {and}\quad \frac{\delta \varXi ^\text {q}}{\delta \xi ^\dagger } = \frac{1}{\tau }\frac{\xi ^\dagger }{(s^\dagger )^2}. \end{aligned}$$
(83)
3.2 Dynamic maximum entropy principle
The principle of maximum entropy (MaxEnt), where unknown value of a variable is determined by finding the maximum value of entropy subject to constraints given by declared knowledge, has been successfully applied in many fields (information theory, thermodynamics, etc.) [
61]. However, in nonequilibrium thermodynamics the problem is not only to find value of a fast variable that has relaxed, but also to find the vector field along which the fast variable evolves, its evolution equation, when only less detailed variables are among the state variables (observables). To this end we recall the method of Dynamic MaxEnt (DynMaxEnt) [
4,
62]. Extensive treatment of the DynMaxEnt principle in the context of the continuum thermodynamics can be found in [
63].
3.3 Relaxation of conjugate polarization momentum \(\varvec{\pi }\)
In Sect.
2.5, polarization was equipped with its conjugate momentum
\(\varvec{\pi }\). Inspired by the relaxation of the damped particle in Sect.
3.2, we shall let the conjugate momentum relax to recover dissipative evolution of polarization. Let us choose state variables
\((\rho _\alpha , {\mathbf {m}}, s, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {P}}, \varvec{\pi })\), represented in (
55). The energy depends on all the variables unless assumed otherwise.
3.3.1 Polarization relaxation via \(\varvec{\pi }\)
Let us assume a dissipation potential quadratic in
\(\varvec{\pi }^*\),
where
\(\varLambda _{(\varvec{\pi })}\) is a positive definite symmetric constant tensor. Assuming also energy quadratic in
\(\varvec{\pi }\), the MaxEnt value of
\(\varvec{\pi }\) is zero. Using (
56b), the DynMaxEnt relaxation of
\(\varvec{\pi }\) can be formulated as
which is the constitutive relation to be plugged into the remaining evolution equations. In particular, evolution equation for polarization (
79f) becomes
which is an equation for polarization equipped with both reversible and irreversible terms.
$$\begin{aligned} \varXi ^{(\varvec{\pi })} = \int \mathrm {d}{\mathbf {r}}\frac{1}{2} \varvec{\pi }^* \cdot \varLambda _{(\varvec{\pi })} \cdot \varvec{\pi }^* = \int \mathrm {d}{\mathbf {r}}\frac{1}{2} \frac{\varvec{\pi }^\dagger }{s^\dagger }\cdot \varLambda _{(\varvec{\pi })} \frac{\varvec{\pi }^\dagger }{s^\dagger }, \end{aligned}$$
(84)
$$\begin{aligned} 0 = \partial _t \pi _i&= {\mathcal {D}}_i^\dagger  P_i^\dagger  \varLambda _{(\varvec{\pi }) ij}\frac{\pi ^{\dagger j}}{s^\dagger }, \end{aligned}$$
(85)
$$\begin{aligned} \partial _t P^i = s^\dagger \varLambda _{(\varvec{\pi })}^{1 ij}({\mathcal {D}}_j^\dagger  P_j^\dagger )\partial _j\left( P^i v^j  P^j v^i \right)  v^i \partial _j P^j~, \end{aligned}$$
(86)
Note that the irreversible terms on the righthand side of equation (
86) are generated by dissipation potential
\(\varXi ^{(\varvec{\pi })}\) evaluated at constitutive relation (
85),
Similar ideas were presented in [
64]. This is the dissipation potential generating irreversible evolution of
\({\mathbf {P}}\) and
\(\varvec{{\mathcal {D}}}\). We may also pursue further relaxation of the polarization. If DynMaxEnt value of
\({\mathbf {P}}\) is zero, e.g., the total energy is quadratic in polarization, all the momentum coupling terms from (
86) vanish and we obtain
as the ultimate value of
\({\mathbf {P}}^\dagger \).
$$\begin{aligned} \varXi ^{({\mathbf {P}})} = \varXi ^{(\varvec{\pi })}_{\varvec{\pi }^\dagger =\varLambda ^{1}_{(\varvec{\pi })} s^\dagger (\varvec{{\mathcal {D}}}^\dagger {\mathbf {P}}^\dagger )} =\int \mathrm {d}{\mathbf {r}}\frac{\varLambda ^{1}_{(\varvec{\pi })}}{2}\left( {\mathbf {P}}^\dagger \varvec{{\mathcal {D}}}^\dagger \right) ^2. \end{aligned}$$
(87)
$$\begin{aligned} \varvec{{\mathcal {D}}}^\dagger = {\mathbf {P}}^\dagger \end{aligned}$$
(88)
3.3.2 Linear isotropic dielectric
Let us now demonstrate the results of the previous paragraph on a particular choice of energy (
61) restricted to state variables
\((\rho _\alpha ,{\mathbf {v}},s,\varvec{{\mathcal {D}}},{\mathbf {B}},{\mathbf {P}})\). Assuming that the internal energy be independent of
\({\mathbf {P}}\), the MaxEnt value of
\({\mathbf {P}}\) is zero so that (
88) holds. We are going to determine the energy on the level where
\({\mathbf {P}}\) is relaxed. Since the following considerations are simpler with velocity
\({\mathbf {v}}\) instead of momentum
\({\widehat{{\mathbf {m}}}}\), transformation (
39b) is carried out. Recalling (
88), we have
Let us first observe that the relation (
89)
_{right} can be also reformulated, using (
37b), as
Energy (
61) then becomes
The relations (
52) and (
90) can be combined to obtain,
Finally, for either negligible magnetic field
\({\mathbf {B}}=0\) or negligible velocity
\({\mathbf {v}}=0\), we obtain that
which leads to the usual form of Coulomb’s law for linear isotropic dielectrics [
47],
since then
\(\varvec{{\mathcal {D}}}^\dagger = \varvec{{\mathcal {D}}}^{\widetilde{\dagger }}= \varvec{\epsilon }_0{\mathbf {E}}\).
$$\begin{aligned} \frac{{\mathbf {P}}}{\varepsilon _0\chi } = {\mathbf {P}}^{\widetilde{\dagger }}={\mathbf {P}}^\dagger = \varvec{{\mathcal {D}}}^\dagger = \varvec{{\mathcal {D}}}^{\widetilde{\dagger }}+ {\mathbf {u}}^{\widetilde{\dagger }}\times {\mathbf {B}}\implies {\mathbf {P}}= \chi \varvec{\epsilon }_0 \left( {\mathbf {E}}+{\mathbf {v}}\times {\mathbf {B}}\right) . \end{aligned}$$
(89)
$$\begin{aligned} {\mathbf {P}}= \chi \varvec{{\mathcal {D}}}~, \end{aligned}$$
(90)
$$\begin{aligned} E_{\text {(relax)}} \rightarrow \int \text {d}{} \mathbf{r} \left( \frac{1}{2}\rho {\mathbf {v}}^2 +\frac{1}{2}\varvec{{\mathcal {D}}}\cdot \varvec{\epsilon }^{1}_0(1+\chi )\varvec{{\mathcal {D}}}+\frac{1}{2}{\mathbf {B}}\cdot \varvec{\mu }^{1}_0{\mathbf {B}}+{\mathbf {v}}\cdot (\varvec{{\mathcal {D}}}\times {\mathbf {B}}) +\varepsilon (\rho ,s)\right) . \end{aligned}$$
(91)
$$\begin{aligned} {\mathbf {P}}= \frac{\chi }{1+\chi }{\mathbf {D}}. \end{aligned}$$
(92)
$$\begin{aligned} {\mathbf {P}}= \chi \varvec{\epsilon }_0 {\mathbf {E}}~, \end{aligned}$$
(93)
$$\begin{aligned} \rho _\text {f} = \varepsilon _0{{\,\mathrm{div}\,}}\big ((1 + \chi ) {\mathbf {E}}\big )~, \end{aligned}$$
(94)
3.3.3 Single relaxation time model
Consider again equation (
86) and assume further that
\({\mathbf {v}}=0\) and
\({\mathbf {B}}^\dagger \)=0 and that the internal energy is negligible. Then, for energy
the evolution of polarization (
86) becomes
which represents a dissipative evolution of polarization subject to electric field.
$$\begin{aligned} E^\text {SRT} = \int \text {d}{} \mathbf{r} \left( \frac{\varvec{{\mathcal {D}}}^2}{2\epsilon _0}+\frac{{\mathbf {P}}^2}{2\epsilon _0 \chi }\right) \end{aligned}$$
(95)
$$\begin{aligned} \partial _t P^i&= s^\dagger \varLambda ^{1}_{(\varvec{\pi })}\left( E_i  \frac{1}{\epsilon _0\chi } P_i\right) , \end{aligned}$$
(96)
Let us first analyze the evolution equation by applying harmonic electric field
\({\mathbf {E}}= {{\mathbf {E}}}_0 \exp (i\omega t)\). Equation (
96) then gives the Single Relaxation Time (SRT) model of polarization, see, e.g., [
65],
provided that
\( {\mathbf {P}}= {\mathbf {P}}_0 \exp (i \omega t)\).
$$\begin{aligned} {\mathbf {P}}_0 = \frac{\chi {\mathbf {E}}_0 }{1 + \varepsilon _0\frac{i \omega \chi }{\varLambda ^{1}_{\varvec{\pi }} s^\dagger }}, \end{aligned}$$
(97)
In summary, by letting the conjugate polarization momentum
\(\varvec{\pi }\) relax, a dissipative evolution of polarization is obtained (
86). If the mechanical equilibrium is further assumed, this dissipative evolution is compatible with the SRT model widely used for comparison to experiments. Finally, the equilibrium of the dissipative evolution is the linear relation between polarization and electric intensity known from electrostatics.
3.4 Relaxation of magnetization
Let us now discuss relaxation of magnetization
\({\mathbf {M}}\) inspired by the Landau & Lifshitz model [
50]. We consider dissipation potential
where
\(\varLambda _{({\mathbf {M}})}\) is a positive definite symmetric tensor field. Let us, for simplicity, assume that
\(\varLambda _{({\mathbf {M}})}\) is a constant multiple of the constant Eucledian metric and let us not distinguish between the upper and lower indexes in this section. The derivative of (
98) w.r.t
\({\mathbf {M}}^\dagger \) is
Hence, the irreversible evolution of
\({\mathbf {M}}\) due to (
98) is
which is compatible with the Landau & Lifshitz model of magnetization once suitable energy is provided, [
66, Sec. 3.7].
$$\begin{aligned} \varXi ^{\mathbf {M}}= \int \mathrm {d}{\mathbf {r}}\frac{1}{2} \left( \frac{{\mathbf {M}}\times {\mathbf {M}}^\dagger }{s^\dagger } \right) \cdot \varLambda _{({\mathbf {M}})}\cdot \left( \frac{{\mathbf {M}}\times {\mathbf {M}}^\dagger }{s^\dagger } \right) , \end{aligned}$$
(98)
$$\begin{aligned} \frac{\delta \varXi ^{\mathbf {M}}}{\delta M_i^\dagger } =\frac{\varLambda _{({\mathbf {M}})}}{ {s^\dagger }^2}\varepsilon _{smi} M_m \varepsilon _{sjk} M_j M_k^\dagger = \frac{\varLambda _{({\mathbf {M}})}}{ {s^\dagger }^2}\left( {\mathbf {M}}\times ({\mathbf {M}}\times {\mathbf {M}}^\dagger ) \right) _i. \end{aligned}$$
(99)
$$\begin{aligned} \left( \partial _t M_i \right) _ irr= & {} s^\dagger \frac{\delta \varXi ^{\mathbf {M}}}{\delta M_i^\dagger } =\frac{\varLambda _{({\mathbf {M}})}}{s^\dagger }\varepsilon _{ims} M_m \varepsilon _{sjk} M_j M_k^\dagger ~\nonumber \\= & {} \frac{\varLambda _{({\mathbf {M}})}}{s^\dagger } \left( ({\mathbf {M}}\cdot {\mathbf {M}}^\dagger ) {\mathbf {M}} ({\mathbf {M}}\cdot {\mathbf {M}}) {\mathbf {M}}^\dagger \right) , \end{aligned}$$
(100)
Having recovered the Landau & Lifshitz model, let us also formulate its generalized version advected by fluid mechanics and interactin g with magnetic field. Let us assume the following energy
The energyconjugate to the magnetization
\({\mathbf {M}}\) then reads
The field of
magnetic intensity, which is conjugate to
\({\mathbf {B}}\), satisfies
which is the usual relation between
\({\mathbf {H}}\),
\({\mathbf {B}}\) and
\({\mathbf {M}}\) in the frame comoving with matter. It holds, moreover, that
Combining (
80h) and (
100), we obtain the evolution of magnetization, using also (
102),
Equation (
105), supplied with the rest of Eqs. (
79f), is the generalized Landau–Lifshitz magnetization relaxation model
^{3}, where magnetization relaxes, interact with electromagnetic field and where it is advected by the fluid.
$$\begin{aligned} E^{({\mathbf {M}})} = \int \mathrm {d}{\mathbf {r}}\left( \frac{1}{2}\rho {\mathbf {v}}^2 + \frac{\varvec{{\mathcal {D}}}^2}{2\epsilon _0} + \frac{({\mathbf {B}} \mu _0 {\mathbf {M}})^2}{2\mu _0}+ \frac{\mu _0 {\mathbf {M}}^2}{2\chi _\mathrm {m}}+ {\mathbf {v}}\cdot (\varvec{{\mathcal {D}}}\times {\mathbf {B}})\right) . \end{aligned}$$
(101)
$$\begin{aligned} {\mathbf {M}}^\dagger =\mu _0 {\mathbf {H}}+ \frac{\mu _0 {\mathbf {M}}}{\chi _m}. \end{aligned}$$
(102)
$$\begin{aligned} {\mathbf {H}}{\mathop {=}\limits ^{\mathrm {def}}} {\mathbf {B}}^{\widetilde{\dagger }}= \frac{{\mathbf {B}}}{\mu _0}  {\mathbf {M}}, \end{aligned}$$
(103)
$$\begin{aligned} {{\,\mathrm{div}\,}}{\mathbf {H}}= {{\,\mathrm{div}\,}}{\mathbf {M}}. \end{aligned}$$
(104)
$$\begin{aligned} \partial _t M_i= & {} \gamma \varepsilon _{ijk} M_j B^k  \gamma M_j\partial _i v^j  \gamma \partial _j\left( M_i v^j\right) \nonumber \\&\frac{\varLambda _{({\mathbf {M}})}}{ s^\dagger }\varepsilon _{ims} M_m \varepsilon _{sjk} M_j B^k . \end{aligned}$$
(105)
3.4.1 Linear isotropic magnetizable medium
Let us demonstrate some properties of energy
\(E^{({\mathbf {M}})}\) in the context of MaxEnt. Introducing the MaxEnt value of the magnetization,
into the energy
\(E^{({\mathbf {M}})}\) gives
for which it holds that
In particular,
\({\mathbf {M}}^\dagger = 0\), we obtain
\({\mathbf {M}}= \chi _m {\mathbf {H}}\). The MaxEnt value of the magnetization is used to recover the usual relation between the magnetic field and its intensity for linear isotropic materials.
$$\begin{aligned} \frac{\delta E^{({\mathbf {M}})}}{\delta {\mathbf {M}}} = 0 \implies {\mathbf {M}}^{\text {MaxEnt}} = \frac{\chi _m}{\mu _0(1 + \chi _m)}{\mathbf {B}}~, \end{aligned}$$
(106)
$$\begin{aligned} {\widetilde{E}}^{({\mathbf {M}})} \rightarrow \int \mathrm {d}{\mathbf {r}}\left( \frac{1}{2}\rho {\mathbf {v}}^2 + \frac{\varvec{{\mathcal {D}}}^2}{2\epsilon _0} + \frac{{\mathbf {B}}^2}{2\mu _0(1+\chi _m)}+ {\mathbf {v}}\cdot (\varvec{{\mathcal {D}}}\times {\mathbf {B}}\right) ~, \end{aligned}$$
(107)
$$\begin{aligned} {\mathbf {B}}= \mu _0(1+\chi _m){\mathbf {H}}. \end{aligned}$$
(108)
3.5 Electrodiffusion—dissipation of \(\varvec{{\mathcal {D}}}\) and \(\rho _\alpha \)
Let us now consider only state variables
\((\rho _\alpha , \varvec{{\mathcal {D}}})\), which are essential for electrodiffusion. Poisson bracket (
78) for mixtures may be endowed with a weakly nonlocal electrodiffusion dissipation potential expressing friction between components of the mixture and the zeroth species (e.g., solvent),
where
\(M_{\alpha \beta }\) is a symmetric, positive definite matrix of binary diffusion coefficients. Note that
\(\nabla \rho ^*_\alpha  e_0 \frac{z_\alpha }{m_\alpha }{\mathcal {D}}_i^*\) is proportional to the gradient of electrochemical potential of species
\(\alpha \). This dissipation potential conserves both mass and energy.
$$\begin{aligned} \varXi ^{\mathrm {D}}(\rho _\alpha ^*, \varvec{{\mathcal {D}}}^*) = \int \mathrm {d}{\mathbf {r}}\sum _{\alpha ,\beta \ne 0}^n&\left[ \left( \partial _i\left( \rho _\alpha ^*  \rho _0^*\right)  e_0\left( \frac{z_\alpha }{m_\alpha }\frac{z_0}{m_0}\right) {\mathcal {D}}_i^*\right) \right. \nonumber \\&\left. \frac{M_{\alpha \beta }}{2}\left( \partial _i\left( \rho _\beta ^*  \rho _0^*\right)  e_0\left( \frac{z_\beta }{m_\beta }\frac{z_0}{m_0}\right) {\mathcal {D}}_i^*\right) \right] , \end{aligned}$$
(109)
The irreversible part of the evolution equations can be expressed in the energyconjugate variables as
Note that the divergence of (
110c) is equal to the sum of (
110b) and (
110a) weighted by the charge per mass of the respective species. Therefore, the irreversible evolution given by (
109) is compatible with Gauß’s law given by (
44). In other words
Equations (
110) express irreversible evolution of densities of the constituents and electric displacement under mutual interaction. The righthand sides of the equations for densities can be regarded as gradients of respective electrochemical potentials. Evolution for the
\(\varvec{{\mathcal {D}}}\) field leads to relaxation of the field consistent with the Gauß law and with the Poisson equation.
$$\begin{aligned} (\partial _t \rho _\alpha )_\text {irr}&= \sum _{\beta \ne 0}^n\partial _i\left( M_{\alpha \beta }\left( \partial _i \frac{\rho _\beta ^\dagger  \rho _0^\dagger }{s^\dagger }  e_0\left( \frac{z_\beta }{m_\beta }\frac{z_0}{m_0}\right) \frac{{\mathcal {D}}_i^\dagger }{s^\dagger }\right) \right) \end{aligned}$$
(110a)
$$\begin{aligned} (\partial _t \rho _0)_\text {irr}&= \sum _{\alpha ,\beta \ne 0}^n\partial _i\left( M_{\alpha \beta }\left( \partial _i \frac{\rho _\beta ^\dagger  \rho _0^\dagger }{s^\dagger } e_0\left( \frac{z_\beta }{m_\beta }\frac{z_0}{m_0}\right) \frac{{\mathcal {D}}_i^\dagger }{s^\dagger }\right) \right) \end{aligned}$$
(110b)
$$\begin{aligned} (\partial _t {\mathcal {D}}^i)_\text {irr}&=\sum _{\alpha ,\beta \ne 0}^n e_0\left( \frac{z_\alpha }{m_\alpha }\frac{z_0}{m_0}\right) M_{\alpha \beta }\left( \partial _i\frac{\rho _\beta ^\dagger  \rho _0^\dagger }{s^\dagger } e_0\left( \frac{z_\beta }{m_\beta }\frac{z_0}{m_0}\right) \frac{{\mathcal {D}}_i^\dagger }{s^\dagger }\right) . \end{aligned}$$
(110c)
$$\begin{aligned} \partial _i \left( (\partial _t {\mathcal {D}}^i)_\text {irr} \right) = \sum _{\alpha =0}^n e_0\frac{z_\alpha }{m_\alpha }(\partial _t \rho _\alpha )_\text {irr} . \end{aligned}$$
(111)
Note that a dissipation potential introducing dissipation of the partial mass densities (i.e., containing
\(\rho _\alpha ^*\)) is required to contain corresponding terms with
\(\varvec{{\mathcal {D}}}^*\) otherwise the irreversible evolution would not be compatible with the Gauß law, c.f. (
111). Therefore, if the validity of Gauß’s law for the free charge is required, then the form of dissipation potential involving
\(\varvec{{\mathcal {D}}}^\dagger \) is constrained.
On short enough distances magnetic field effects are usually negligible compared with effects of the electric field, in contrast to long distances, where electric field usually does not play any relevant role due to screening. Let us analyze the former case, paving the way towards electrochemical problems. The electrodiffusion due to (
109) introduces dissipative fluxes identical to those of the generalized Planck–Nernst–Poisson systems (gPNP) presented in [
67]. Assuming that no magnetic field is present and that its evolution equation (
80e) is satisfied, it follows that
see also (
92). The considered level of description consists of
\((\rho _\alpha , {\mathbf {u}}, s, \varphi )\). Let us consider a further relaxation of the mass momentum
\({\mathbf {u}}\). We can proceed in two ways. Either we suppose for that energy does not depend on the mass momentum and the barycentric velocity vanishes, or we can think of a dissipation of the mass momentum, e.g., viscosity, and use the DynMaxEnt principle in order to determine the value of the barycentric velocity
\({\mathbf {u}}^\dagger \). Let us now follow the latter route. The energy is quadratic in
\({\mathbf {u}}\), see (
92), hence, its MaxEnt value is zero, leaving the remainder of the momentum equation as an constitutive equation for the velocity field. For the dissipation potential generating the irreversible part of the NavierStokes equations; see, e.g., [
4, Eqns. 4.74, 4.76]. The viscous dissipative terms are then added to the reversible balance of the mass momentum. The whole gPNPStokes systems eventually reads
Note that the third equation is not violated if the
curloperator is applied on it.
$$\begin{aligned} {\mathbf {D}}^\dagger = \nabla \varphi ~, \end{aligned}$$
(112)
$$\begin{aligned} \partial _t \rho _\alpha&= \partial _i\left( \rho _\alpha v_i + \sum _{\beta \ne 0}^n M_{\alpha \beta }\left( \partial _i \frac{\rho _\beta ^\dagger  \rho _0^\dagger }{s^\dagger } + e_0\left( \frac{z_\beta }{m_\beta }\frac{z_0}{m_0}\right) \frac{\partial _i\varphi }{s^\dagger }\right) \right) \end{aligned}$$
(113)
$$\begin{aligned} \partial _t \rho _0&= \partial _i\left( \rho _0 v_i \sum _{\alpha ,\beta \ne 0}^n M_{\alpha \beta }\left( \partial _i \frac{\rho _\beta ^\dagger  \rho _0^\dagger }{s^\dagger } +e_0\left( \frac{z_\beta }{m_\beta }\frac{z_0}{m_0}\right) \frac{\partial _i\varphi }{s^\dagger }\right) \right) \end{aligned}$$
(114)
$$\begin{aligned} 0&= \sum _{\alpha =0}^n\rho _\alpha \partial _i\rho _\alpha ^\dagger  s\partial _i s^\dagger  \rho _\mathrm {f} \partial _i \varphi +\partial _j\left( \frac{{\widehat{\mu }}}{2}\left( \partial _j v_i + \partial _i v_j \right) \right) + \lambda \partial _i\partial _j v_j \end{aligned}$$
(115)
$$\begin{aligned} 0&=\partial _i \left( e_0(1+\chi )\partial _i \varphi \right) + \sum _{\alpha =0}^n e_0\frac{z_\alpha }{m_\alpha }\rho _a. \end{aligned}$$
(116)
4 Discussion
W. Dreyer, C. Guhlke and R. Müller in [
67] published a comprehensive analysis of fluid mixtures coupled with electromagnetic fields, including polarization and magnetization which will be further referred as the DGM approach. Their treatment of surfaces, c.f. [
68], as independent thermodynamic systems interacting with the bulk, being beyond the scope of the presented work, have elucidated many electrochemical problems using nonequilibrium thermodynamics, for instance a unified theory of the Helmholtz and Stern layers, a derivation of Butler–Volmer equations, or useful asymptotic techniques, see [
67,
69‐
71,
71,
72]. Since our goal is in close relation to that works, let us compare the two approaches in detail.
An important conceptual difference between the two approaches lies in the treatment of the state variables, i.e., the levels of the description. In our approach, the level of description is always defined first by declaring the set of state variables. Energy and entropy of the system can then, in principle, depend on all the state variables. Each state variable has its evolution given by the GENERIC equation (
1), where the reversible and the irreversible parts of the evolution are separated. In contrast, the DGM approach develops a system of general balance equations which outlines the relations between the physical quantities and their fluxes and productions. The dependence of the fluxes and production upon the variables is determined using the entropy principle.
The DGM approach is formulated in an
inertial frame of reference for which holds that (i) mass center not subjected to external forces moves with a constant velocity and (ii) the Lorentz–Maxwell–aether (or material) relations
41 are valid. This is similar, although not equivalent, to our construction. The choice of the energy in DGM,
is analogous to the energy
42. Moreover, the formulation of the Maxwell equation in DGM is, in vacuum, formally equivalent to our approach.
$$\begin{aligned} e^\text {D} = \frac{{\mathbf {u}}^2}{2\rho } +\frac{\varvec{{\mathcal {D}}}\cdot {\mathbf {E}}}{2} +\frac{{\mathbf {B}}\cdot {\mathbf {H}}}{2} +\epsilon ^\text {D} \end{aligned}$$
(117)
In the nonvacuum case, the total charge is for both formulations given by
\({{\,\mathrm{div}\,}}\varvec{{\mathcal {D}}}\). The
\({{\,\mathrm{div}\,}}{\mathbf {P}}\) also bears the same meaning, i.e., the density of the bounded charge. The DGM evolution of the polarization
\({\mathbf {P}}\) is given as formal solution to the bound charge balance. It reads
where
\({\mathbf {M}}^\text {D}\) is the
Lorentz magnetization and
\(J^\text {P}\) denotes the nonconvective part of the polarization current, cf. equation (
79f). The DGM formulation contains no balance equation concerning
\({\mathbf {M}}^\text {D}\), an evolution equation is later on found for
\(\widehat{{\mathbf {M}}}^\text {D} = {\mathbf {M}}^\text {D} + {\mathbf {v}}\times {\mathbf {P}}\) as a consequence of the closure. In contrast, the polarization bracket (
45) contains the polarization momentum
\(\varvec{\pi }\) as a variable and therefore implies its reversible evolution. The polarization momentum
\(\varvec{\pi }\) can be projected to a reduced variable
\(\varvec{{\mathcal {M}}} = {{\,\mathrm{curl}\,}}\varvec{\pi }\), would lead to the appearance of
\({{\,\mathrm{curl}\,}}\varvec{{\mathcal {M}}}^\dagger \) in the equation for polarization. This is perhaps the closest the two approaches can get in this respect.
$$\begin{aligned} \text{(DGM) }\quad \partial _t P^i ={}&\varepsilon _{ijk} \partial _j M_k^\text {D} + v_i \partial _j P^j + J_i^\text {P}, \end{aligned}$$
(118)
In DGM, the balance equations for the densities of the partial masses
\(\rho _\alpha \), mass momentum
\({\mathbf {u}}\), total momentum
\({\mathbf {u}}+\varvec{{\mathcal {D}}}\times {\mathbf {B}}\), total energy
\(e^\text {D}\), internal energy
\(\epsilon ^\text {D}\), total charge
\(\rho _\text {f}  {{\,\mathrm{div}\,}}{\mathbf {P}}\), bound charge
\({{\,\mathrm{div}\,}}{\mathbf {P}}\), flux of the magnetic field, and the entropy
\(s^\text {D}\) are formulated, see [
67], which is translated in our approach to the respective evolution equations. In particular, the total energy and the total momentum
\({\mathbf {u}}+ \varvec{{\mathcal {D}}}\times {\mathbf {B}}\) are, in the absence of external forces, conserved quantities in DGM as in our approach. Coupling between the charged fluid and electromagnetic field is given by the choice of Lorentz’s force [
67, Eqn. 36a]:
as a source term in the mass momentum balance and by the choice of Joule heating
as a source term in the internal energy balance, cf. Appendix
D. Symbols
\(J^\mathrm {F}\) denotes the nonconvective part of the free charge current. This is similar to our formula (
60), at least in the absence of irreversible terms.
$$\begin{aligned} k_i = \partial _j {\mathcal {D}}^j E_i + \varepsilon _{ijk} \left( v_j \partial _l {\mathcal {D}}_l + J^\text {F}_j + J^\text {P}_j\right) B^k \end{aligned}$$
(119)
$$\begin{aligned} \pi = (v_i\partial _j {\mathcal {D}}^j + J_i^\text {F} + J_i^\text {P}) E_i \end{aligned}$$
(120)
As it is shown in Appendix
D, the presented coupling between the motion of mass and the electromagnetic field can be formulated using a similar choice of Joule’s heating, see (
138), and restricts the form of the total momentum to (
142). The dissipation potentials for the irreversible, conductive, currents are formulated in terms of total momentum
\({\widehat{{\mathbf {m}}}}\), so that
\(\varvec{{\mathcal {D}}}^\dagger \) is the comoving electric field. Hence, the Lorentz force acting upon the conductive currents can be found when the dissipation potentials are transformed into the variables with the mass momentum
\({\mathbf {u}}\).
The choice of Lorentz’s force (
119) tells that the electric field acts upon the total charge and the magnetic field upon convective current density,
\({\mathbf {J}}^\mathrm {F}\) and
\({\mathbf {J}}^\text {P}\) within the DGM theory. This is equivalent for the total charge and the conductive free charge
\({\mathbf {J}}^\mathrm {F}\). The difference appears for
\({\mathbf {J}}^\text {P}\), since it is not purely irreversible and contains reversible terms in the sense of the timereversal transform.
Our evolution equation for polarization consists of reversible and irreversible parts. The former is given by Eq. (
80f), and the terms of the righthand side containing velocity be rewritten as the Lie derivative of
\({\mathbf {P}}\),
\({\mathcal {L}}_{\mathbf {v}}{\mathbf {P}}\). Polarization is thus simply advected by the fluid (apart from interacting with the electromagnetic fields and apart from relaxation processes). On the other hand, polarization is not simply advected in DGM as the equation for
\({\mathbf {P}}\) contains other velocitydependent terms therein. This is a difference between our approach and DGM.
Authors of DGM assumed that the entropy density
\(s^\text {D}\) depends only on a specific subset of the variables
thus obtaining a specific definition of the temperature
\(T^\text {D}\), see [
67, Eqn. 48a, 49a]
^{4}. This choice allowed them to find a reasonably simple closure of the equations using the entropy principle, c.f. [
73]. On the other hand, temperature is in our approach defined as derivative of the internal energy density with respect to entropy as is usual [
36].
$$\begin{aligned} s^\text {D}(\epsilon ^\text {D} + {\widehat{{\mathbf {M}}}}^\text {D}\cdot {\mathbf {B}}, \rho _\alpha , {\mathbf {P}}, {\widehat{{\mathbf {M}}}}^\text {D}) \implies \frac{1}{T^\text {D}}=\frac{\partial s^\text {D}}{\partial (\epsilon ^\text {D} + {\widehat{{\mathbf {M}}}}^\text {D}\cdot {\mathbf {B}})}~, \end{aligned}$$
(121)
Let us now focus on some features of the closure, especially, the nonconvective flux of the bound charge that. They derived the following evolution of the polarization
\({\mathbf {P}}\) and magnetization
\({\widehat{{\mathbf {M}}}}^\text {D}\),
respectively. The phenomenological coefficients
\(\tau ^\text {P}\) and
\(\tau ^\text {M}\) are relaxation times of polarization and magnetization, respectively. The relaxation of the polarization, i.e., the last bracket in (
122a), is equivalent to the dissipation derived using the DynMaxEnt principle given by potential
\(\varXi ^{{\mathbf {P}}}\), see (
87). The conductive flux of free charge
\({\mathbf {J}}^\text {F}\) is equivalent to the one generated by the dissipation potential
\(\varXi ^\text {D}\) in (
110c), which also holds for the mass diffusion fluxes.
$$\begin{aligned} \partial _t P^i&= \underbrace{ v_j\partial _j P^i + \frac{1}{2}P^j\left( \partial _j v_i  \partial _i v_j \right) + \frac{1}{\tau ^\text {P}}\left( T^\text {D}\frac{\partial s^\text {D}}{\partial P^i}+ E_i + \varepsilon _{ijk}v_j B^k \right) }_{={J}^\text {P}_i  \varepsilon _{ijk}\partial _j M_k^\text {D} + {v}_i\partial _j P^j}~, \end{aligned}$$
(122a)
$$\begin{aligned} \partial _t {{\widehat{M}}}_i^\text {D}&= v_j\partial _j {{\widehat{M}}}_i^\text {D} + \frac{1}{2}\widehat{M}_j^\text {D}\left( \partial _j v_i  \partial _i v_j \right) + \frac{1}{\tau ^\text {M}} \left( T^\text {D}\frac{\partial s^\text {D}}{{{\widehat{M}}}_i^\text {D}} + B^i \right) ~, \end{aligned}$$
(122b)
When the relaxation time of polarization
\(\tau ^\text {P}\) can be considered large, the dissipative part in (
122a) can be neglected. Eventually, the reversible part of the bound charge evolution in a volume
V for the two theories read
The net bound charge in a fixed volume
V can thus be reversibly changed by convection or by change of
\(\varvec{\pi }^\dagger \). In contrast to DGM, the bound charge is advected like a scalar field in our approach, which corresponds with that polarization is Liedragged in our approach.
$$\begin{aligned} \text{(DGM) }\quad \partial _t \int _V\partial _i P^i&= \int _{\partial V} \left( v_j\partial _j P^i + \frac{1}{2}P^j\left( \partial _j v_i  \partial _i v_j\right) \right) \nu _i~, \end{aligned}$$
(123)
$$\begin{aligned} \text{(our) }\quad \partial _t \int _V \partial _i P^i&= \int _{\partial V} \left( \pi ^{\dagger i}  v^i\partial _j P^j \right) \nu _i. \end{aligned}$$
(124)
Also the evolution of magnetization in DGM, Eq. (
122b), is different from our equation (
80h). In our case the evolution of magnetization caused by fluid motion is again just the Lie drag. Apart from that, there is a contribution from inertia of the magnetization itself, as in the Landau–Lifshitz model, which brings interaction with the magnetic field when energy depends on both magnetization and magnetic field.
Let us consider the volume and shear viscosity to be vanishing, the stress tensor presented in [
67, Eqn 62] reads
^{5}
here
\(\widehat{{\mathbf {E}}} = {\mathbf {E}}+ {\mathbf {v}}\times {\mathbf {B}}\). The dependence of the stress tensor
\(\sigma \) on the material properties linked to the polarization
\({\mathbf {P}}\) and magnetization
\({\widehat{{\mathbf {M}}}}^\text {D}\) is provided by the isotropic part
\(p\delta _{ij}\) the rest of the tensor is linear in
\({\mathbf {P}}\) and
\(\widehat{{\mathbf {M}}}^\text {D}\), independent of the choice of the energy. An energy weakly nonlocal in polarization or magnetization, see, e.g., (
62) and (
75), leads in the here presented treatment to a structurally different stress since a nonsymmetric components can appear in the evolution equation for the mass momentum
\({\mathbf {u}}\); see (
66) or (
77). The stress in DGM is different from our formulas for stress, mainly in the offdiagonal part.
$$\begin{aligned} \text{(DGM) }\quad \sigma _{ij}&= p(T^\text {D}, \rho _\alpha , \widehat{{\mathbf {M}}}^\text {D}, {\mathbf {P}})\delta _{ij} +\left( {\widehat{M}}^\text {D}_k B_k + {\widehat{E}}_k P_k \right) \delta ^{ij}\nonumber \\&\quad +\frac{1}{2}\left( {\widehat{E}}_i P_j + P_i{\widehat{E}}_j \right) \frac{1}{2}\left( {\widehat{M}}^\text {D}_i B_j + B_i{\widehat{M}}^\text {D}_j \right) \end{aligned}$$
(125)
The OnsagerCasimir reciprocal relations [
36,
74,
75] are one of the cornerstones of nonequilibrium thermodynamics. Roughly speaking, they say that state variables with the same parity are coupled through an operator symmetric with respect to the simultaneous transposition and timereversal while variables with opposite parities are coupled through an antisymmetric operator. They are automatically satisfied within the GENERIC framework in a generalized sense (beyond near equilibrium) [
3,
4,
10]. In [
67] they seem to be satisfied as well, but parities of the state variables are determined from the power of seconds in the units of the variables instead of the timereversal transformation, which is not invariant with respect to changing the physical units. Although the results seem to be all right, one should be careful in principle, perhaps using a precise definition of affine and vector spaces [
76,
77] or the definition based on projections from more detailed levels [
4].
5 Summary and conclusion
In the first section, a hierarchy of Poisson brackets describing the reversible dynamics of a charged, polarized and magnetized continua coupled with electromagnetic field has been developed by means of differential geometry, see Fig.
1. The semidirect product of the fluid mechanics Lie Algebra dual
\((\rho , {\mathbf {u}}, s)\) and the electromagnetism cotangent bundle
\(({\mathbf {A}},{\mathbf {D}})\) results in the reversible electromagnetohydrodynamics already known [
4,
5,
22,
37]. Newly, cotangent bundle
\((\varvec{\pi },{\mathbf {P}})\) describing dynamics of bound charge is also coupled to
\((\rho , {\mathbf {u}}, s, {\mathbf {D}},{\mathbf {B}})\) using the same technique. Finally, the classical spin dynamics represented by the local Lie algebra dual of
\(\text {SO}(3)\) is coupled to the Lie algebra dual of fluid mechanics, which can be seen as advection of the Landau–Lifshitz model by fluid mechanics. The theory is the Galilean invariant.
The second section is dedicated to introduction of irreversible dynamics using dissipation potentials and subsequent reductions of the beforebuilt levels of description to the less detailed levels. The reduction is carried out by the Dynamic Maximization of Entropy (DynMaxEnt) technique, which forms passage from finer to rougher levels of description in a geometric way. In particular, the polarization momentum
\(\varvec{\pi }\) is relaxed giving rise to dissipation of the polarization field itself. Further exploitation of the induced dissipation of
\({\mathbf {P}}\) leads to the standard formulas for linear dielectrics and to the Single Relaxation Time model. The dissipation potential for the magnetization
\({\mathbf {M}}\) is found so that the Landau–Lifshitz model of spin relaxation is restored. Finally, the electrodiffusion dissipation potential is introduced, leading to a generalized Poisson–Nernst–Planck–Stokes model.
In this rather complex dynamics, we observe phenomena like advection of polarization and magnetization by the fluid, polarization and magnetization waves and the respective inertial effects. We leave concrete applications of these phenomena for future researchers.
×
Acknowledgements
Open Access funding provided by Projekt DEAL. Authors thank to professor František Maršík for his relentless encouragement to explore the relation of electromagnetism and nonequilibrium mixture theories on a fundamental level. Authors thank also to Clemens Guhlke, Rüdiger Müller and Wolfgang Dreyer for their utter patience and openness during the elucidating discussions on the topic. We are also grateful to Péter Ván and Tamás Fülöp for consulting response to a reviewer regarding electrodynamics and spacetime. PV and MP are indebted to Miroslav Grmela for teaching us to geometric thermodynamics. This work was supported by the German Research Foundation, DFG project no. FU 316141. This work was supported by the Czech Science Foundation, project no. 1715498Y. This work was supported by Charles University Research program No. UNCE/SCI/023.
Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Notation
(See Tables
1,
2).
Table 1
List of the basic quantities, symbols and SI units
Quantity

Symbol

SI units


Magnetic field

\({\mathbf {B}}\)

\(\hbox {kg}/\hbox {s}^{2}/\hbox {A}\)

Magnetic field intensity

\({\mathbf {B}}^\dagger ,{\mathbf {H}}\)

\(\hbox {A} \hbox {m}^{1}\)

Displacement field

\({\mathbf {D}}\)

\(\hbox {C}/\hbox {m}^{2}\)

Electric induction field

\(\varvec{{\mathcal {D}}}\)

\(\hbox {C}/\hbox {m}^{2}\)

Electric field

\({\mathbf {E}}, {\mathbf {D}}^\dagger , \varvec{{\mathcal {D}}}^\dagger \)

\(\hbox {V} \hbox {m}^{1}\)

Electric potential

\(\varphi \)

V

Polarization density

\({\mathbf {P}}\)

\(\hbox {C}/\hbox {m}^{2}\)

Polarization momentum

\(\varvec{\pi }\)

\(\hbox {V} \hbox {s}\hbox {m}^{1}\)

Magnetization density

\({\mathbf {M}}\)

\(\hbox {A} \hbox {m}^{1}\)

Partial mass density

\(\rho _\alpha \)

\(\hbox {kg}/\hbox {m}^{3}\)

Chemical potential

\(\rho _\alpha ^\dagger \)

\(\hbox {J} \hbox {kg}^{1}\)

Mass momentum density

\({\mathbf {u}}\)

\(\hbox {kg}/\hbox {m}^{2}/\hbox {s}\)

Total momentum density

\({\mathbf {m}}, {\widehat{{\mathbf {m}}}}\)

\(\hbox {kg}/\hbox {m}^{2}/\hbox {s}\)

Entropy density

s

\(\hbox {J}/\hbox {K}/\hbox {m}^{3}\)

Table 2
List of momenta densities and the corresponding levels of description
Momentum density

Level of description


\({\mathbf {u}}\)

\((\rho _\alpha , s, {\mathbf {u}})\)

\({\mathbf {m}}\)

\((\rho _\alpha , s, {\mathbf {m}}, {\mathbf {D}}, {\mathbf {B}})\)

\({\widehat{{\mathbf {m}}}}\)

\((\rho _\alpha , s, {\widehat{{\mathbf {m}}}}, {\mathbf {P}}, \varvec{\pi }, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {M}})\)

Elementary dipole
Two classical charged mass points are described by their positions,
\({\mathbf {r}}^1\) and
\({\mathbf {r}}^2\), momenta
\({\mathbf {p}}^1\) and
\({\mathbf {p}}^2\), carrying charge
\(q_1\) and
\(q_2\), respectively. The dynamics of the particles is governed by the canonical Poisson bracket:
Assume that
\(q = q_1 = q_2\) and consider the following transformation of the variables:
Bracket (
126) then transforms into:
$$\begin{aligned} \{F,G\}^\text {mp}({\mathbf {r}}^\beta ,{\mathbf {p}}^\beta ) = \sum _{\beta =1}^2 (F_{r_i^\beta } G_{p_i^\beta }  G_{r_i^\beta } F_{p_i^\beta }). \end{aligned}$$
(126)
$$\begin{aligned} {\mathbf {R}}&= \frac{m_1{\mathbf {r}}^1 + m_2{\mathbf {r}}^2}{m_1+m_2},\quad {\mathcal {P}} = q({\mathbf {r}}^1  {\mathbf {r}}^2), \end{aligned}$$
(127)
$$\begin{aligned} \varPi&= {\mathbf {p}}^1 + {\mathbf {p}}^2,\quad \mathbf{t} = \frac{m_2{\mathbf {p}}^1  m_1{\mathbf {p}}^2}{q(m_1 + m_2)}, \end{aligned}$$
(128)
$$\begin{aligned} \{F,G\}^\text {mp}({\mathbf {R}},\varPi ,{\mathcal {P}},{\mathbf {t}})&= (F_{R_i} G_{\varPi _i}  G_{R_i} F_{\varPi _i})\nonumber \\&\quad +(F_{{\mathcal {P}}_i} G_{t_i}  G_{{\mathcal {P}}_i} F_{t_i}). \end{aligned}$$
(129)
Galilean transformations
Maxwell equations (
30) are not in the usual form, e.g. from [
41]. Usually the equations are derived in the special relativistic setting by first forming the electromagnetic fourcotensor from fields
\({\mathbf {E}}\) and
\({\mathbf {B}}\), and the resulting evolution equations are for
\({\mathbf {E}}\) and
\({\mathbf {B}}\) as well.
The Maxwell equations are naturally Lorentz invariant, as follows from the special relativistic treatment. However, it is often the case that Galilean invariance is sufficient for describing the observed phenomena. Moreover, Galilean transformations can be seen as lowvelocity and lowstrength limits of Lorentz transformations. Since Maxwell equations adequately describe usual phenomena around us, what is their behavior with respect to the Galilean transformations?
When having the pair
\(({\mathbf {E}},{\mathbf {B}})\) at hand, as in the usual case, one has to be restricted either to the electric limit (magnetic effects negligible) or magnetic limit (electric effects negligible), as discussed in [
45]. However, when we have all the fields
\(({\mathbf {E}},{\mathbf {B}},{\mathbf {D}},{\mathbf {H}})\), which is the case of Eqs. (
80), the equations are invariant with respect to Galilean transformations
which corresponds to the change of position
\({\mathbf {r}}={\mathbf {r}}' + {\mathbf {V}}t\) and velocity
\({\mathbf {v}}= {\mathbf {v}}'+{\mathbf {V}}\). Note that polarization and magnetization are not affected by the transformation. The reasoning can be found for instance in [
76] or [
45], where fourvectors and fourcovectors are split into the timelike and spacelike parts, and the Galileaninvariant Maxwell equations then result from such splitting of the special relativistic fourdimensional structure in the low velocity limit, c.f. [
78].
$$\begin{aligned} {\mathbf {D}}'&= {\mathbf {D}}, \qquad {\mathbf {E}}' = {\mathbf {E}}+ {\mathbf {V}}\times {\mathbf {B}}, \end{aligned}$$
(130a)
$$\begin{aligned} {\mathbf {B}}'&= {\mathbf {B}}, \qquad {\mathbf {H}}' = {\mathbf {H}} {\mathbf {V}}\times {\mathbf {D}}, \end{aligned}$$
(130b)
$$\begin{aligned} {\mathbf {P}}'&= {\mathbf {P}}, \qquad \varvec{\pi }' = \varvec{\pi }, \end{aligned}$$
(130c)
$$\begin{aligned} {\mathbf {M}}'&= {\mathbf {M}}, \end{aligned}$$
(130d)
Maxwell equations in vacuum (
30) are not Galilean invariant. However, equations (
43), where Maxwell equations are complemented by motion of matter, are Galilean invariant, as noted in [
45], albeit without the evolution equations for matter. In [
45] they found material relations (
41) not being Galilean invariant, since they had to be formulated in a special reference frame (e.g. aether). However, we have a natural reference frame at hand (the frame comoving with the center of mass) where the material relations are valid. This makes the theory fully Galilean invariant.
Relation of the mass momentum and the total momentum
Let us define the mass momentum as
for some given energy
\(E(\rho , {\mathbf {m}}, s, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {P}}, \varvec{\mu }, {\mathbf {M}})\). This relation thus defines a function
\(\widetilde{{\mathbf {u}}}\) such that
Let us assume that there exists a different representation of energy
\(\widetilde{E}(\rho , {\mathbf {u}}, s, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {P}}, \varvec{\mu }, {\mathbf {M}})\). However, the energy of the system is invariant w.r.t. the choice of representation. Therefore,
We require the velocity field to be also invariant of the chosen representation,
As a consequence of the chain rule and formula (
131), we obtain more specific form of
\({\widetilde{{\mathbf {u}}}}\), that is,
the extra momentum
\({\mathbf {f}}\) is also assumed to be independent of mass and entropy density and being caused only due to the electromagnetic field.
$$\begin{aligned} {\mathbf {u}}= \rho {\mathbf {m}}^\dagger = \rho {\mathbf {v}}, \end{aligned}$$
(131)
$$\begin{aligned} {\mathbf {u}}= \widetilde{{\mathbf {u}}}(\rho , {\mathbf {m}}, s, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {P}}, \varvec{\mu }, {\mathbf {M}}). \end{aligned}$$
(132)
$$\begin{aligned} \widetilde{E}(\rho , {\mathbf {u}}, s, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {P}},\varvec{\mu },{\mathbf {M}}) = E(\rho , {\mathbf {m}}, s, \varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {P}},\varvec{\mu },{\mathbf {M}}). \end{aligned}$$
(133)
$$\begin{aligned} {\mathbf {v}} = {\mathbf {m}}^\dagger = {\mathbf {u}}^{\widetilde{\dagger }}. \end{aligned}$$
(134)
$$\begin{aligned} \widetilde{u}_i(\varvec{{\mathcal {D}}}, {\mathbf {B}}, {\mathbf {m}}) = m_i + f_i(\varvec{{\mathcal {D}}}, {\mathbf {B}})~, \end{aligned}$$
(135)
The form of (
135) suggest that the extra momentum should be the momentum of the electromagnetic field. Since the theory of the Maxwell equations is built upon the assumption of the field superposition, we assume
\({\mathbf {f}}\) to be a bilinear function of
\(\varvec{{\mathcal {D}}}\) and
\({\mathbf {B}}\), hence we have,
Using the chain rule, formulas (
133) and (
136), we find the relations between the derivatives of the energy in the two representations,
$$\begin{aligned} f_i = a_{ijk} {\mathcal {D}}^j B^k \quad \text {where}\quad a_{ijk} \in {\mathbb {R}}. \end{aligned}$$
(136)
$$\begin{aligned} \rho ^\dagger&= \rho ^{\widetilde{\dagger }},\ s^\dagger = s^{\widetilde{\dagger }},~{\mathbf {m}}^\dagger = {\mathbf {u}}^{\widetilde{\dagger }}~, \end{aligned}$$
(137a)
$$\begin{aligned} {\mathbf {P}}^{\dagger }&= {\mathbf {P}}^{\widetilde{\dagger }},\ \varvec{\mu }^{\dagger } = \varvec{\mu }^{\widetilde{\dagger }},~{\mathbf {M}}^{\dagger } = {\mathbf {M}}^{\widetilde{\dagger }}~, \end{aligned}$$
(137b)
$$\begin{aligned} {\mathcal {D}}_i^{\dagger }&= {\mathcal {D}}_i^{\widetilde{\dagger }} u_l^{\widetilde{\dagger }}a_{lik} B^k~, \end{aligned}$$
(137c)
$$\begin{aligned} B_i^\dagger&= B_i^{\widetilde{\dagger }} u_l^{\widetilde{\dagger }}a_{lji} {\mathcal {D}}^j. \end{aligned}$$
(137d)
The kinetic energy of the system may be defined using either the velocity or the mass momentum. In general, kinetic energy is not a conserved quantity and may be changed during evolution of the system. Experimental evidence suggests that the change of the kinetic energy of a charged matter, due to the presence of the electromagnetic field, is linearly proportional to the charge density and the electric field, i.e.,
\(\partial _i {\mathcal {D}}^i {\mathcal {D}}^\dagger _j m^{\dagger j}\). We require this power density to be independent of the chosen representation, i.e.,
\(\partial _i {\mathcal {D}}^i {\mathcal {D}}^\dagger _j m^{\dagger j}= \partial _i {\mathcal {D}}^i {\mathcal {D}}^{\widetilde{\dagger }}_j v^j \). Using (
137) we have
To this end, the extra term on the righthand side must be zero, i.e., it must vanish for arbitrary magnetic and velocity fields. For example, it must hold
Apparently, the tensor
\(a_{ijk}\) is antisymmetric and isotropic. Up to a sign, there exists only one such tensor in three dimensions,
The sign choice is due to the experimentally observed difference in bending of rays of negatively and positively charged particles [
50]. Let us the calculate time change of the kinetic energy,
$$\begin{aligned} \partial _i {\mathcal {D}}^i {\mathcal {D}}_j^{\dagger } {m^\dagger _j} = \partial _i {\mathcal {D}}^i \left( {\mathcal {D}}_j^{{\widetilde{\dagger }}}  u^{l{\widetilde{\dagger }}}a^{lj}{}_{k} B^k\right) {\widetilde{u}}^{j{\widetilde{\dagger }}}. \end{aligned}$$
(138)
$$\begin{aligned} 0 = a_{ijk} v_i v_j\quad \forall k \in \{1,2,3\}. \end{aligned}$$
(139)
$$\begin{aligned} a_{ijk} = \varepsilon _{ijk}. \end{aligned}$$
(140)
$$\begin{aligned} \partial _t \int \frac{{\mathbf {u}}^2}{2\rho }&= \int \frac{{\mathbf {u}}}{\rho }\left( \partial _t ({\mathbf {m}} \varvec{{\mathcal {D}}}\times {\mathbf {B}})  \frac{{\mathbf {u}}}{2\rho }\partial _t \rho \right) \nonumber \\&=\int \mathrm {d}{\mathbf {r}}u_i^{\widetilde{\dagger }}\left( \rho \partial _i \rho ^{\widetilde{\dagger }} s\partial _i s^{\widetilde{\dagger }} u_j\partial _i {u_j}^{\widetilde{\dagger }}+ \frac{1}{2} u_i^{\widetilde{\dagger }}\partial _j \left( \rho u_j^{\widetilde{\dagger }}\right) \right) \end{aligned}$$
(141a)
$$\begin{aligned}&\quad +\int \mathrm {d}{\mathbf {r}}u_i^{\widetilde{\dagger }}\left( P^j\partial _i P_j^\dagger +\mu ^{\dagger j}\partial _i\mu _j + \partial _j\left( P_i^{\widetilde{\dagger }}P^j  \mu _i\mu _j^{\widetilde{\dagger }}\right) \right) \end{aligned}$$
(141b)
$$\begin{aligned}&\quad +\int \mathrm {d}{\mathbf {r}}u_i^{\widetilde{\dagger }}\left(  M_j\partial _i M_j^{\widetilde{\dagger }} \partial _j\left( M_i M_j^{\widetilde{\dagger }}\right) \right) \end{aligned}$$
(141c)
$$\begin{aligned}&\quad +\int \mathrm {d}{\mathbf {r}}u_i^{\widetilde{\dagger }}\left( {\mathcal {D}}_i^{\widetilde{\dagger }}\partial _j {\mathcal {D}}^j + B_i^{\widetilde{\dagger }}\underbrace{\partial _j B^j}_{=0} \right) . \end{aligned}$$
(141d)
The terms on lines (
141a), (
141b), (
141c) are the changes of the kinetic energy due to the fluid mechanics, dipole mechanics and spin mechanics, respectively.
The terms on line (
141d) are the change of the kinetic energy due to the power of the electromagnetic field. In total, the change of kinetic energy is independent of the chosen energy representation, see (
137) with the choice of (
140).
In summary, the relation between the mass momentum
\({\mathbf {u}}\) and the total momentum
\({\mathbf {m}}\)
is recovered.
$$\begin{aligned} {\mathbf {m}}= {\mathbf {u}}+ \varvec{{\mathcal {D}}}\times {\mathbf {B}}~ \end{aligned}$$
(142)
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Footnotes
1
The energyconjugate to variable
\({\mathbf {x}}\), i.e., functional derivative of the energy E w.r.t.
\({\mathbf {x}}\), is going to be denoted by
\({\mathbf {x}}^\dagger \), i.e.,
\(E_{\mathbf {x}}= {\mathbf {x}}^\dagger \). The notation is summarized in Sect.
1.2.