Generalized thermodynamic relations for perfect spin hydrodynamics

Wojciech Florkowski [email protected] Institute of Theoretical Physics, Jagiellonian University, PL-30-348 Kraków, Poland    Mykhailo Hontarenko [email protected] Institute of Theoretical Physics, Jagiellonian University, PL-30-348 Kraków, Poland
(May 17, 2024)
Abstract

Generalized thermodynamic relations are introduced into the framework of a relativistic perfect spin hydrodynamics. They allow for consistent treatment of spin degrees of freedom, including the use of spin tensors whose structure follows from microscopic calculations. The obtained results are important for establishing consistency between different formulations of spin hydrodynamics and form the basis for introducing dissipative corrections.

relativistic hydrodynamics, thermodynamic relations, spin dynamics

Introduction — Recent measurements of non-zero spin polarization of hyperons [1, 2, 3] and vector mesons [4] produced in relativistic heavy-ion collisions have triggered broad interest in the spin polarization phenomena in strongly interacting matter, for a recent review see Ref. [5]. On the theory side, there exist several approaches to incorporate spin degrees of freedom into the framework of relativistic hydrodynamics  [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29]. The latter has become the main theoretical tool used to describe the spacetime evolution of strongly interacting matter produced in heavy-ion collisions [30, 31, 32], hence, the inclusion of spin dynamics in the hydrodynamics formalism seems to be an inevitable necessity.

A certain difficulty in develo** the formalism of spin hydrodynamics is the fact that there are different formulations of this approach using different assumptions. The differences appear already at the basic level of relativistic thermodynamic relations and definitions of the fundamental macroscopic quantities such as the spin tensor.

In this work we critically reexamine thermodynamic relations used in perfect spin hydrodynamics of particles with spin 1/212{\nicefrac{{1}}{{2}}}/ start_ARG 1 end_ARG start_ARG 2 end_ARG and propose to introduce their generalized forms that can be used for large values of the spin polarization tensor, ωμνsubscript𝜔𝜇𝜈\omega_{\mu\nu}italic_ω start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT, and with kinetic-theory motivated forms of the spin tensor Sλ,μνsuperscript𝑆𝜆𝜇𝜈S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT. In this way, we remove a gap between the works that use kinetic-theory concepts as the starting point [33, 34] and the works that use phenomenological expressions for the spin tensor and construct dissipative corrections using the positivity of the entropy production as the main physical ansatz [10, 16].

Interestingly, the new tensor forms of the thermodynamic relations proposed in this work include terms whose mathematical structure is typical for dissipative corrections. In our case their presence is not related to the entropy production but results from a richer description of the system that requires introduction of the spin polarization tensor (reminding us of the structure of relativistic magnetohydrodynamics). An important consequence of the fact that such terms appear at the perfect-fluid level is that they should be taken into account in theoretical constructions aiming at the development of dissipative spin hydrodynamics.

Notation and conventions — For the Levi-Civita tensor ϵμναβsuperscriptitalic-ϵ𝜇𝜈𝛼𝛽\epsilon^{\mu\nu\alpha\beta}italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β end_POSTSUPERSCRIPT we follow the convention ϵ0123=ϵ0123=+1superscriptitalic-ϵ0123subscriptitalic-ϵ01231\epsilon^{0123}=-\epsilon_{0123}=+1italic_ϵ start_POSTSUPERSCRIPT 0123 end_POSTSUPERSCRIPT = - italic_ϵ start_POSTSUBSCRIPT 0123 end_POSTSUBSCRIPT = + 1. The metric tensor is of the form gμν=diag(+1,1,1,1)subscript𝑔𝜇𝜈diag1111g_{\mu\nu}=\textrm{diag}(+1,-1,-1,-1)italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = diag ( + 1 , - 1 , - 1 , - 1 ). Throughout the text we make use of natural units, =c=kB=1Planck-constant-over-2-pi𝑐subscript𝑘𝐵1\hbar=c=k_{B}=1roman_ℏ = italic_c = italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = 1. The scalar product of two four-vectors a𝑎aitalic_a and b𝑏bitalic_b reads ab=a0b0𝒂𝒃𝑎𝑏superscript𝑎0superscript𝑏0𝒂𝒃a\cdot b=a^{0}b^{0}-{\bm{a}}\cdot{\bm{b}}italic_a ⋅ italic_b = italic_a start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT italic_b start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT - bold_italic_a ⋅ bold_italic_b, where the three-vectors are denoted by bold font.

Scalar and tensor forms of thermodynamic relations — The fundamental thermodynamic relations used in standard relativistic hydrodynamics consist of the identity

ε+P=Tσ+μn𝜀𝑃𝑇𝜎𝜇𝑛\displaystyle\varepsilon+P=T\sigma+\mu nitalic_ε + italic_P = italic_T italic_σ + italic_μ italic_n (1)

and the first law of thermodynamics

dε=Tdσ+μdn.𝑑𝜀𝑇𝑑𝜎𝜇𝑑𝑛\displaystyle d\varepsilon=Td\sigma+\mu dn.italic_d italic_ε = italic_T italic_d italic_σ + italic_μ italic_d italic_n . (2)

Here ε𝜀\varepsilonitalic_ε, P𝑃Pitalic_P, T𝑇Titalic_T, σ𝜎\sigmaitalic_σ, μ𝜇\muitalic_μ and n𝑛nitalic_n are the local energy density, pressure, temperature, entropy density, baryon chemical potential, and baryon number density, respectively. The identity (1) is a direct consequence of the extensivity of energy, entropy and baryon number (they are all proportional to the system’s volume). Equations (1) and (2) imply the Gibbs-Duhem relation

dP=σdT+ndμ.𝑑𝑃𝜎𝑑𝑇𝑛𝑑𝜇\displaystyle dP=\sigma dT+nd\mu.italic_d italic_P = italic_σ italic_d italic_T + italic_n italic_d italic_μ . (3)

In order to take into account dissipation effects, one usually rewrites Eqs. (1)–(2) in a tensor (four-vector) form. This is achieved by multiplication of Eqs. (1)–(3) by the local four-velocity of the fluid uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT, which leads to the following expressions

Sμ=σuμ=PβμξNμ+βλTλμ,superscript𝑆𝜇𝜎superscript𝑢𝜇𝑃superscript𝛽𝜇𝜉superscript𝑁𝜇subscript𝛽𝜆superscript𝑇𝜆𝜇\displaystyle S^{\mu}=\sigma u^{\mu}=P\beta^{\mu}-\xi N^{\mu}+\beta_{\lambda}T% ^{\lambda\mu},italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_σ italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT - italic_ξ italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT , (4)
dSμ=ξdNμ+βλdTλμ,𝑑superscript𝑆𝜇𝜉𝑑superscript𝑁𝜇subscript𝛽𝜆𝑑superscript𝑇𝜆𝜇\displaystyle dS^{\mu}=-\xi dN^{\mu}+\beta_{\lambda}dT^{\lambda\mu},italic_d italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = - italic_ξ italic_d italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_d italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT , (5)
d(Pβμ)=NμdξTλμdβλ.𝑑𝑃superscript𝛽𝜇superscript𝑁𝜇𝑑𝜉superscript𝑇𝜆𝜇𝑑subscript𝛽𝜆\displaystyle d(P\beta^{\mu})=N^{\mu}d\xi-T^{\lambda\mu}d\beta_{\lambda}.italic_d ( italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) = italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_d italic_ξ - italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT italic_d italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT . (6)

Here we have introduced common notation: βμ=uμ/Tsuperscript𝛽𝜇superscript𝑢𝜇𝑇\beta^{\mu}=u^{\mu}/Titalic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT / italic_T, β=βλβλ=1/T𝛽superscript𝛽𝜆subscript𝛽𝜆1𝑇\beta=\sqrt{\beta^{\lambda}\beta_{\lambda}}=1/Titalic_β = square-root start_ARG italic_β start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT end_ARG = 1 / italic_T, and ξ=μ/T𝜉𝜇𝑇\xi=\mu/Titalic_ξ = italic_μ / italic_T. The tensors Nμsuperscript𝑁𝜇N^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and Tλμsuperscript𝑇𝜆𝜇T^{\lambda\mu}italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT describe the baryon current and energy-momentum tensor for a perfect fluid, namely, Nμ=nuμsuperscript𝑁𝜇𝑛superscript𝑢𝜇N^{\mu}=nu^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_n italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and Tλμ=(ε+P)uλuμPgλμ=εuλuμPΔλμsuperscript𝑇𝜆𝜇𝜀𝑃superscript𝑢𝜆superscript𝑢𝜇𝑃superscript𝑔𝜆𝜇𝜀superscript𝑢𝜆superscript𝑢𝜇𝑃superscriptΔ𝜆𝜇T^{\lambda\mu}=(\varepsilon+P)u^{\lambda}u^{\mu}-Pg^{\lambda\mu}=\varepsilon u% ^{\lambda}u^{\mu}-P\Delta^{\lambda\mu}italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT = ( italic_ε + italic_P ) italic_u start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT - italic_P italic_g start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT = italic_ε italic_u start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT - italic_P roman_Δ start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT, where the tensor Δλμ=gλμuλuμsuperscriptΔ𝜆𝜇superscript𝑔𝜆𝜇superscript𝑢𝜆superscript𝑢𝜇\Delta^{\lambda\mu}=g^{\lambda\mu}-u^{\lambda}u^{\mu}roman_Δ start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT = italic_g start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT - italic_u start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT projects on the space orthogonal to flow.

Many formulations of relativistic spin hydrodynamics as their starting points choose an extension of Eqs. (1)–(3) that includes the spin polarization tensor ωαβsubscript𝜔𝛼𝛽\omega_{\alpha\beta}italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT, the tensor spin chemical potential Ωαβ=TωαβsubscriptΩ𝛼𝛽𝑇subscript𝜔𝛼𝛽\Omega_{\alpha\beta}=T\,\omega_{\alpha\beta}roman_Ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT = italic_T italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT, and the spin density tensor Sαβsuperscript𝑆𝛼𝛽S^{\alpha\beta}italic_S start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT. They read

ε+P=Tσ+μn+12ΩαβSαβ,𝜀𝑃𝑇𝜎𝜇𝑛12subscriptΩ𝛼𝛽superscript𝑆𝛼𝛽\displaystyle\varepsilon+P=T\sigma+\mu n+{\scriptstyle{\frac{1}{2}}}\Omega_{% \alpha\beta}S^{\alpha\beta},italic_ε + italic_P = italic_T italic_σ + italic_μ italic_n + divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT , (7)
dε=Tdσ+μdn+12ΩαβdSαβ,𝑑𝜀𝑇𝑑𝜎𝜇𝑑𝑛12subscriptΩ𝛼𝛽𝑑superscript𝑆𝛼𝛽\displaystyle d\varepsilon=Td\sigma+\mu dn+{\scriptstyle{\frac{1}{2}}}\Omega_{% \alpha\beta}dS^{\alpha\beta},italic_d italic_ε = italic_T italic_d italic_σ + italic_μ italic_d italic_n + divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_d italic_S start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT , (8)
dP=σdT+ndμ+12SαβdΩαβ.𝑑𝑃𝜎𝑑𝑇𝑛𝑑𝜇12superscript𝑆𝛼𝛽𝑑subscriptΩ𝛼𝛽\displaystyle dP=\sigma dT+nd\mu+{\scriptstyle{\frac{1}{2}}}S^{\alpha\beta}d% \Omega_{\alpha\beta}.italic_d italic_P = italic_σ italic_d italic_T + italic_n italic_d italic_μ + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT italic_d roman_Ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT . (9)

We note that ωαβsubscript𝜔𝛼𝛽\omega_{\alpha\beta}italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT, ΩαβsubscriptΩ𝛼𝛽\Omega_{\alpha\beta}roman_Ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT, and Sαβsubscript𝑆𝛼𝛽S_{\alpha\beta}italic_S start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT are all rank-2 antisymmetric tensors. Below we will use the following parametrization of the spin polarization tensor [9]

ωαβ=kαuβkβuα+tαβ,subscript𝜔𝛼𝛽subscript𝑘𝛼subscript𝑢𝛽subscript𝑘𝛽subscript𝑢𝛼subscript𝑡𝛼𝛽\displaystyle\omega_{\alpha\beta}=k_{\alpha}u_{\beta}-k_{\beta}u_{\alpha}+t_{% \alpha\beta},italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT = italic_k start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT - italic_k start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT , (10)

where tαβ=ϵαβγδuγωδsubscript𝑡𝛼𝛽subscriptitalic-ϵ𝛼𝛽𝛾𝛿superscript𝑢𝛾superscript𝜔𝛿t_{\alpha\beta}=\epsilon_{\alpha\beta\gamma\delta}u^{\gamma}\omega^{\delta}italic_t start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT = italic_ϵ start_POSTSUBSCRIPT italic_α italic_β italic_γ italic_δ end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_δ end_POSTSUPERSCRIPT, and the four-vectors k𝑘kitalic_k and ω𝜔\omegaitalic_ω are orthogonal to the flow vector u𝑢uitalic_u, namely, ku=0𝑘𝑢0k\cdot u=0italic_k ⋅ italic_u = 0 and ωu=0𝜔𝑢0\omega\cdot u=0italic_ω ⋅ italic_u = 0. By multiplying Eqs. (7)–(9) by uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT, we obtain

Sμ=PβμξNμ+βλTλμ12ωαβSμ,αβ,superscript𝑆𝜇𝑃superscript𝛽𝜇𝜉superscript𝑁𝜇subscript𝛽𝜆superscript𝑇𝜆𝜇12subscript𝜔𝛼𝛽superscript𝑆𝜇𝛼𝛽\displaystyle S^{\mu}=P\beta^{\mu}-\xi N^{\mu}+\beta_{\lambda}T^{\lambda\mu}-{% \scriptstyle{\frac{1}{2}}}\omega_{\alpha\beta}S^{\mu,\alpha\beta},italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT - italic_ξ italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT , (11)
dSμ=ξdNμ+βλdTλμ12ωαβdSμ,αβ,𝑑superscript𝑆𝜇𝜉𝑑superscript𝑁𝜇subscript𝛽𝜆𝑑superscript𝑇𝜆𝜇12subscript𝜔𝛼𝛽𝑑superscript𝑆𝜇𝛼𝛽\displaystyle dS^{\mu}=-\xi dN^{\mu}+\beta_{\lambda}dT^{\lambda\mu}-{% \scriptstyle{\frac{1}{2}}}\omega_{\alpha\beta}dS^{\mu,\alpha\beta},italic_d italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = - italic_ξ italic_d italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_d italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_d italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT , (12)
d(Pβμ)=NμdξTλμdβλ+12Sμ,αβdωαβ.𝑑𝑃superscript𝛽𝜇superscript𝑁𝜇𝑑𝜉superscript𝑇𝜆𝜇𝑑subscript𝛽𝜆12superscript𝑆𝜇𝛼𝛽𝑑subscript𝜔𝛼𝛽\displaystyle d(P\beta^{\mu})=N^{\mu}d\xi-T^{\lambda\mu}d\beta_{\lambda}+{% \scriptstyle{\frac{1}{2}}}S^{\mu,\alpha\beta}d\omega_{\alpha\beta}.italic_d ( italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) = italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_d italic_ξ - italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT italic_d italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT italic_d italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT . (13)

Here, we have introduced the spin tensor Sμ,αβsuperscript𝑆𝜇𝛼𝛽S^{\mu,\alpha\beta}italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT defined by the expression

Sμ,αβ=uμSαβsuperscript𝑆𝜇𝛼𝛽superscript𝑢𝜇superscript𝑆𝛼𝛽\displaystyle S^{\mu,\alpha\beta}=u^{\mu}S^{\alpha\beta}italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT = italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT (14)

which is an analog of the perfect-fluid forms of Nμsuperscript𝑁𝜇N^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and Tλμsuperscript𝑇𝜆𝜇T^{\lambda\mu}italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT given below Eq. (6).

A direct consequence of Eq. (12) is that it implies the entropy conservation for a system that conserves baryon number, energy, linear momentum and spin, namely, the conservation laws μNμ=0subscript𝜇superscript𝑁𝜇0\partial_{\mu}N^{\mu}=0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0, μTμλ=0subscript𝜇superscript𝑇𝜇𝜆0\partial_{\mu}T^{\mu\lambda}=0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT italic_μ italic_λ end_POSTSUPERSCRIPT = 0, and μSμ,αβ=0subscript𝜇superscript𝑆𝜇𝛼𝛽0\partial_{\mu}S^{\mu,\alpha\beta}~{}=~{}0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT = 0 imply μSμ=0subscript𝜇superscript𝑆𝜇0\partial_{\mu}S^{\mu}=0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = 0. We note that the spin conservation is a direct consequence of using a symmetric energy-momentum tensor in the considered formalism. In general, only the total angular momentum is conserved, μJμ,αβ=0subscript𝜇superscript𝐽𝜇𝛼𝛽0\partial_{\mu}J^{\mu,\alpha\beta}=0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_J start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT = 0 with Jμ,αβ=xαTμβxβTμα+Sμ,αβsuperscript𝐽𝜇𝛼𝛽superscript𝑥𝛼superscript𝑇𝜇𝛽superscript𝑥𝛽superscript𝑇𝜇𝛼superscript𝑆𝜇𝛼𝛽J^{\mu,\alpha\beta}=x^{\alpha}T^{\mu\beta}-x^{\beta}T^{\mu\alpha}+S^{\mu,% \alpha\beta}italic_J start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT = italic_x start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT italic_μ italic_β end_POSTSUPERSCRIPT - italic_x start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT + italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT, which implies μSμ,αβ=TβαTαβsubscript𝜇superscript𝑆𝜇𝛼𝛽superscript𝑇𝛽𝛼superscript𝑇𝛼𝛽\partial_{\mu}S^{\mu,\alpha\beta}=T^{\beta\alpha}-T^{\alpha\beta}∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT = italic_T start_POSTSUPERSCRIPT italic_β italic_α end_POSTSUPERSCRIPT - italic_T start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT. Thus, the divergence of the spin tensor is determined by an antisymmetric part of the energy-momentum tensor that vanishes in our case.

The use of the expression (14) can be traced back to the very first model of a spinning fluid by Weyssenhoff and Raabe [35]. It was also used in Ref. [9], where the first formulation of relativistic hydrodynamics for particles with spin 1/212{\nicefrac{{1}}{{2}}}/ start_ARG 1 end_ARG start_ARG 2 end_ARG was proposed. The form (14) has been subsequently used in many works that followed the methods of Israel and Stewart (positivity of the entropy current) to construct the framework of dissipative spin hydrodynamics [10, 16, 36, 37, 38, 39].

Although Eq. (14) has been used in numerous works, its form disagrees with expressions for the spin tensor obtained from the microscopic calculations [40] (and used in the spin hydrodynamics formulations that directly refer to kinetic theory [33, 41]). The latter usually lead to a more complex structures. As an extension of Eq. (14) we may consider the form

Sλ,μνsuperscript𝑆𝜆𝜇𝜈\displaystyle S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT =\displaystyle== uλ[A(kμuνkνuμ)+A1tμν]superscript𝑢𝜆delimited-[]𝐴superscript𝑘𝜇superscript𝑢𝜈superscript𝑘𝜈superscript𝑢𝜇subscript𝐴1superscript𝑡𝜇𝜈\displaystyle u^{\lambda}\left[A\left(k^{\mu}u^{\nu}-k^{\nu}u^{\mu}\right)+A_{% 1}t^{\mu\nu}\right]italic_u start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT [ italic_A ( italic_k start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - italic_k start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) + italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ]
+A32(tλμuνtλνuμ+ΔλμkνΔλνkμ),subscript𝐴32superscript𝑡𝜆𝜇superscript𝑢𝜈superscript𝑡𝜆𝜈superscript𝑢𝜇superscriptΔ𝜆𝜇superscript𝑘𝜈superscriptΔ𝜆𝜈superscript𝑘𝜇\displaystyle+\frac{A_{3}}{2}\left(t^{\lambda\mu}u^{\nu}-t^{\lambda\nu}u^{\mu}% +\Delta^{\lambda\mu}k^{\nu}-\Delta^{\lambda\nu}k^{\mu}\right),+ divide start_ARG italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ( italic_t start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - italic_t start_POSTSUPERSCRIPT italic_λ italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - roman_Δ start_POSTSUPERSCRIPT italic_λ italic_ν end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) ,

where A,A1𝐴subscript𝐴1A,A_{1}italic_A , italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and A3subscript𝐴3A_{3}italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT are some scalar functions. In the case A3=0subscript𝐴30A_{3}=0italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 0, we reproduce Eq. (14). Moreover, for A=A1𝐴subscript𝐴1A=A_{1}italic_A = italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (with A3=0subscript𝐴30A_{3}=0italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 0) we find that the spin density tensor is proportional to the spin polarization tensor, namely Sμν=Aωμνsuperscript𝑆𝜇𝜈𝐴superscript𝜔𝜇𝜈S^{\mu\nu}=A\,\omega^{\mu\nu}italic_S start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = italic_A italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT 111Recently, the spin equation of state of the form Sμν=Aωμνsuperscript𝑆𝜇𝜈𝐴superscript𝜔𝜇𝜈S^{\mu\nu}=A\,\omega^{\mu\nu}italic_S start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = italic_A italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT has been analysed and excluded [42] as leading to unstable behavior of rest frame modes in the first-order [36, 37] and second-order [38, 39] dissipative spin hydrodynamics..

The above discussion indicates an important problem encountered in the formulations of spin hydrodynamics — a transition from Eqs. (7)–(9) to Eqs. (11)–(13) obtained by the multiplication of Eqs. (7)–(9) by the flow vector uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT is inconsistent with the use of a microscopically derived spin tensor as the latter contains parts orthogonal to uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT. Consequently, the formulations of spin hydrodynamics that start from Eqs. (7)–(9) and use the spin tensor of the form (14) seem to be inconsistent with the formulations based on the kinetic-theory arguments. In this work we argue that the solution to the above problem lies in revising the thermodynamic relations (7)–(9). Our reasoning is supported by an analysis of a kinetic model presented below.

Insights from kinetic theory — Let us turn now to the discussion of a simple kinetic model that treats spin classically. It has been shown that for small polarization tensor the results obtained with such a model are consistent with the results obtained from the calculations using a semiclassical expansion of the Wigner function [41].

In the classical treatment of spin [43, 44], one introduces the internal angular momentum tensor sαβsuperscript𝑠𝛼𝛽s^{\alpha\beta}italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT defined in terms of the particle’s four-momentum p𝑝pitalic_p (with pμpμ=m2superscript𝑝𝜇subscript𝑝𝜇superscript𝑚2p^{\mu}p_{\mu}=m^{2}italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT being the particle mass squared) and spin four-vector s𝑠sitalic_s

sαβ=1mϵαβγδpγsδ.superscript𝑠𝛼𝛽1𝑚superscriptitalic-ϵ𝛼𝛽𝛾𝛿subscript𝑝𝛾subscript𝑠𝛿\displaystyle s^{\alpha\beta}=\frac{1}{m}\epsilon^{\alpha\beta\gamma\delta}p_{% \gamma}s_{\delta}.italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_m end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_α italic_β italic_γ italic_δ end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT . (16)

Equation (16) implies that sαβ=sβαsuperscript𝑠𝛼𝛽superscript𝑠𝛽𝛼s^{\alpha\beta}=-s^{\beta\alpha}italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT = - italic_s start_POSTSUPERSCRIPT italic_β italic_α end_POSTSUPERSCRIPT and sαβpβ=0superscript𝑠𝛼𝛽subscript𝑝𝛽0s^{\alpha\beta}p_{\beta}=0italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT = 0. The spin four-vector is orthogonal to four-momentum sp=0𝑠𝑝0s\cdot p=0italic_s ⋅ italic_p = 0, hence we can write sα=1/(2m)ϵαβγδpβsγδsuperscript𝑠𝛼12𝑚superscriptitalic-ϵ𝛼𝛽𝛾𝛿subscript𝑝𝛽subscript𝑠𝛾𝛿s^{\alpha}=1/(2m)\,\epsilon^{\alpha\beta\gamma\delta}p_{\beta}s_{\gamma\delta}italic_s start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT = 1 / ( 2 italic_m ) italic_ϵ start_POSTSUPERSCRIPT italic_α italic_β italic_γ italic_δ end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_γ italic_δ end_POSTSUBSCRIPT. In the particle’s rest frame (PRF), where pμ=(m,0,0,0)superscript𝑝𝜇𝑚000p^{\mu}=(m,0,0,0)italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( italic_m , 0 , 0 , 0 ), the four-vector sαsuperscript𝑠𝛼s^{\alpha}italic_s start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT has only space components, sα=(0,𝒔)superscript𝑠𝛼0subscript𝒔s^{\alpha}=(0,{\bm{s}}_{*})italic_s start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT = ( 0 , bold_italic_s start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ), with the normalization |𝒔|=\textgoths::subscript𝒔\textgoth𝑠absent|{\bm{s}}_{*}|=\,\textgoth{s:}| bold_italic_s start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT | = italic_s :. For particles with spin 1/212{\nicefrac{{1}}{{2}}}/ start_ARG 1 end_ARG start_ARG 2 end_ARG we use the value of the Casimir operator \textgoths:2=1/2(1+1/2)=3/4\,\textgoth{s:}^{2}={\nicefrac{{1}}{{2}}}\left(1+{\nicefrac{{1}}{{2}}}\right)=% {\nicefrac{{3}}{{4}}}italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = / start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 + / start_ARG 1 end_ARG start_ARG 2 end_ARG ) = / start_ARG 3 end_ARG start_ARG 4 end_ARG.

The basic object used in the kinetic theory is the phase-space distribution function f(x,𝒑)𝑓𝑥𝒑f(x,{\bm{p}})italic_f ( italic_x , bold_italic_p ). For particles with spin, f(x,𝒑)𝑓𝑥𝒑f(x,{\bm{p}})italic_f ( italic_x , bold_italic_p ) is generalized to a spin dependent distribution f(x,𝒑,s)𝑓𝑥𝒑𝑠f(x,{\bm{p}},s)italic_f ( italic_x , bold_italic_p , italic_s ). In local equilibrium, the spin dependent distribution functions for particles (+++) and antiparticles (--) have the form 222Herein, we restrict our considerations to the classical Boltzmann statistics.

f±(x,p,s)=exp(pμβμ±ξ+12ωαβsαβ).superscript𝑓plus-or-minus𝑥𝑝𝑠plus-or-minussubscript𝑝𝜇superscript𝛽𝜇𝜉12subscript𝜔𝛼𝛽superscript𝑠𝛼𝛽\displaystyle f^{\pm}(x,p,s)=\exp\left(-p_{\mu}\beta^{\mu}\pm\xi+{\scriptstyle% {\frac{1}{2}}}\omega_{\alpha\beta}s^{\alpha\beta}\right).italic_f start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) = roman_exp ( - italic_p start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ± italic_ξ + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT ) . (17)

where βμ,ξsuperscript𝛽𝜇𝜉\beta^{\mu},\xiitalic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , italic_ξ and ωαβsubscript𝜔𝛼𝛽\omega_{\alpha\beta}italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT are functions of space and time coordinates x𝑥xitalic_x and play the same role as βμ,ξsuperscript𝛽𝜇𝜉\beta^{\mu},\xiitalic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , italic_ξ and ωαβsubscript𝜔𝛼𝛽\omega_{\alpha\beta}italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT defined above. By integrating the equilibrium distribution functions over momentum and spin degrees of freedom, one obtains the macroscopic currents and tensors

Nμ=𝑑P𝑑Spμ[f+(x,p,s)f(x,p,s)],superscript𝑁𝜇differential-d𝑃differential-d𝑆superscript𝑝𝜇delimited-[]superscript𝑓𝑥𝑝𝑠superscript𝑓𝑥𝑝𝑠\displaystyle N^{\mu}\!=\!\int dP\,dS\,p^{\mu}\,\left[f^{+}(x,p,s)-f^{-}(x,p,s% )\right],italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ∫ italic_d italic_P italic_d italic_S italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT [ italic_f start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) - italic_f start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) ] , (18)
Tμν=𝑑P𝑑Spμpν[f+(x,p,s)+f(x,p,s)],superscript𝑇𝜇𝜈differential-d𝑃differential-d𝑆superscript𝑝𝜇superscript𝑝𝜈delimited-[]superscript𝑓𝑥𝑝𝑠superscript𝑓𝑥𝑝𝑠\displaystyle T^{\mu\nu}\!=\!\int dP\,dS\,p^{\mu}p^{\nu}\,\left[f^{+}(x,p,s)+f% ^{-}(x,p,s)\right],italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = ∫ italic_d italic_P italic_d italic_S italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT [ italic_f start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) + italic_f start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) ] , (19)
Sλ,μνsuperscript𝑆𝜆𝜇𝜈\displaystyle S^{\lambda,\mu\nu}\!italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT =\displaystyle== 𝑑P𝑑Spλsμν[f+(x,p,s)+f(x,p,s)].differential-d𝑃differential-d𝑆superscript𝑝𝜆superscript𝑠𝜇𝜈delimited-[]superscript𝑓𝑥𝑝𝑠superscript𝑓𝑥𝑝𝑠\displaystyle\!\!\int\!dP\,dS\,\,p^{\lambda}\,s^{\mu\nu}\left[f^{+}(x,p,s)+f^{% -}(x,p,s)\right].∫ italic_d italic_P italic_d italic_S italic_p start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT [ italic_f start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) + italic_f start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_x , italic_p , italic_s ) ] . (20)

Here we have introduced the integration measures in momentum, dP=d3p/((2π)3Ep)𝑑𝑃superscript𝑑3𝑝superscript2𝜋3subscript𝐸𝑝dP=d^{3}p/((2\pi)^{3}E_{p})italic_d italic_P = italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p / ( ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ), and spin space [41]

dS=mπ\textgoths:d4sδ(ss+\textgoths:2)δ(ps),\displaystyle dS=\frac{m}{\pi\,\textgoth{s:}}\,d^{4}s\,\delta(s\cdot s+\,% \textgoth{s:}^{2})\,\delta(p\cdot s),italic_d italic_S = divide start_ARG italic_m end_ARG start_ARG italic_π italic_s : end_ARG italic_d start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_s italic_δ ( italic_s ⋅ italic_s + italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_δ ( italic_p ⋅ italic_s ) , (21)

with the normalization 𝑑S=2differential-d𝑆2\int dS=2∫ italic_d italic_S = 2 that reflects two possible orientations of the spin 1/212{\nicefrac{{1}}{{2}}}/ start_ARG 1 end_ARG start_ARG 2 end_ARG.

In addition to Nμsuperscript𝑁𝜇N^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT, Tμνsuperscript𝑇𝜇𝜈T^{\mu\nu}italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT, and Sλ,μνsuperscript𝑆𝜆𝜇𝜈S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT, we introduce the entropy current using the standard Boltzmann definition [45]

Sμ=𝑑P𝑑Spμ[f+(lnf+1)+f(lnf1)],superscript𝑆𝜇differential-d𝑃differential-d𝑆superscript𝑝𝜇delimited-[]superscript𝑓superscript𝑓1superscript𝑓superscript𝑓1\displaystyle S^{\mu}=\!-\!\int dP\,dS\,p^{\mu}\left[f^{+}\left(\ln f^{+}\!\!-% \!1\right)\!+\!f^{-}\left(\ln f^{-}\!\!-1\!\right)\right],italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = - ∫ italic_d italic_P italic_d italic_S italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT [ italic_f start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( roman_ln italic_f start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT - 1 ) + italic_f start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( roman_ln italic_f start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT - 1 ) ] , (22)

which directly leads to the formula [46]

Sμ=Tμαβα12ωαβSμ,αβξNμ+𝒩μ,superscript𝑆𝜇superscript𝑇𝜇𝛼subscript𝛽𝛼12subscript𝜔𝛼𝛽superscript𝑆𝜇𝛼𝛽𝜉superscript𝑁𝜇superscript𝒩𝜇\displaystyle S^{\mu}=T^{\mu\alpha}\beta_{\alpha}-\frac{1}{2}\omega_{\alpha% \beta}S^{\mu,\alpha\beta}-\xi N^{\mu}+{\cal N}^{\mu},italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_T start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT - italic_ξ italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , (23)

where we have defined the particle four-current

𝒩μ=cothξNμ.superscript𝒩𝜇hyperbolic-cotangent𝜉superscript𝑁𝜇\displaystyle{\cal N}^{\mu}=\coth\xi\,\,N^{\mu}.caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = roman_coth italic_ξ italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (24)

Generalized thermodynamics — We reach now the key moment of our discussion. It is important to realize that Eq. (23) has exactly the same structure as Eq. (11) except that the term Pβμ𝑃superscript𝛽𝜇P\beta^{\mu}italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT in Eq. (11) is replaced by 𝒩μsuperscript𝒩𝜇{\cal N}^{\mu}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT. Obviously, these two tensors agree in the spinless case. Moreover, they also agree if only linear corrections in the spin polarization tensor are included, as the spin effects in both Nμsuperscript𝑁𝜇{N}^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and 𝒩μsuperscript𝒩𝜇{\cal N}^{\mu}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start with the quadratic terms in k𝑘kitalic_k and ω𝜔\omegaitalic_ω. However, in general we have Pβμ𝒩μ𝑃superscript𝛽𝜇superscript𝒩𝜇P\beta^{\mu}\neq{\cal N}^{\mu}italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ≠ caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT. Thus, Eq. (23) represents a generalization of the standard thermodynamic relation (11) to the case including the spin degrees of freedom.

Starting from the definition (24), one can derive two additional relations

dSμ=ξdNμ+βλdTλμ12ωαβdSμ,αβ,𝑑superscript𝑆𝜇𝜉𝑑superscript𝑁𝜇subscript𝛽𝜆𝑑superscript𝑇𝜆𝜇12subscript𝜔𝛼𝛽𝑑superscript𝑆𝜇𝛼𝛽\displaystyle dS^{\mu}=-\xi dN^{\mu}+\beta_{\lambda}dT^{\lambda\mu}-{% \scriptstyle{\frac{1}{2}}}\omega_{\alpha\beta}dS^{\mu,\alpha\beta},italic_d italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = - italic_ξ italic_d italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_d italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_d italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT , (25)
d𝒩μ=NμdξTλμdβλ+12Sμ,αβdωαβ.𝑑superscript𝒩𝜇superscript𝑁𝜇𝑑𝜉superscript𝑇𝜆𝜇𝑑subscript𝛽𝜆12superscript𝑆𝜇𝛼𝛽𝑑subscript𝜔𝛼𝛽\displaystyle d{\cal N}^{\mu}=N^{\mu}d\xi-T^{\lambda\mu}d\beta_{\lambda}+{% \scriptstyle{\frac{1}{2}}}S^{\mu,\alpha\beta}d\omega_{\alpha\beta}.italic_d caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_d italic_ξ - italic_T start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT italic_d italic_β start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT italic_d italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT . (26)

Equation (25) has the same form as Eq. (12), however, with the spin tensor (14) replaced by the formula (Generalized thermodynamic relations for perfect spin hydrodynamics). Equation (26) agrees with Eq. (13) only if we can again set Pβμ=𝒩μ𝑃superscript𝛽𝜇superscript𝒩𝜇P\beta^{\mu}={\cal N}^{\mu}italic_P italic_β start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT. Equation (25) also shows that the entropy conservation is a direct consequence of three other conservation laws: for baryon number, energy, linear momentum, and spin.

A set of Eqs. (23), (25), and (26) represents our first important result. For spin polarized media, it should replace the set of Eqs. (11)–(13). Strictly speaking, Eq. (23) was derived for the first time in Ref. [46], however, in the subsequent papers only the terms linear in ωμνsubscript𝜔𝜇𝜈\omega_{\mu\nu}italic_ω start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT were included that resulted in neglecting all the products (contractions) of the tensors ωμνsubscript𝜔𝜇𝜈\omega_{\mu\nu}italic_ω start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT and Sλ,μνsuperscript𝑆𝜆𝜇𝜈S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT. One should emphasize that Eq. (23) holds for any values of the spin polarization tensor. Equation (25) was used earlier in the works that derived the form of the dissipative corrections in spin hydrodynamics. However, in this series of investigations, to maintain the products of ωμνsubscript𝜔𝜇𝜈\omega_{\mu\nu}italic_ω start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT and Sλ,μνsuperscript𝑆𝜆𝜇𝜈S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT in the formalism, it was assumed that Sλ,αβsuperscript𝑆𝜆𝛼𝛽S^{\lambda,\alpha\beta}italic_S start_POSTSUPERSCRIPT italic_λ , italic_α italic_β end_POSTSUPERSCRIPT was of the form (14) with Sαβsuperscript𝑆𝛼𝛽S^{\alpha\beta}italic_S start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT being of the zeroth order in ωαβsuperscript𝜔𝛼𝛽\omega^{\alpha\beta}italic_ω start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT. These assumptions contradict the microscopic results which suggest the form (Generalized thermodynamic relations for perfect spin hydrodynamics) with A30subscript𝐴30A_{3}\neq 0italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ≠ 0. We conclude this part of our discussion with the statement that Eqs. (23), (25), and (26) should be used with at least second order corrections in ω𝜔\omegaitalic_ω to include the spin degrees of freedom in a non-trivial and consistent way 333With only linear terms in ωμνsuperscript𝜔𝜇𝜈\omega^{\mu\nu}italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT included, we also obtain a consistent description, however, with a rather trivial treatment of thermodynamic relations which reduce to a spinless case. Then, the spin dynamics is determined by the hydrodynamic background defined by standard hydrodynamic relations..

Generalized scalar thermodynamic relations — The arguments presented above indicate that the generalized tensor thermodynamic relations include currents and tensors that contain parts orthogonal to the flow vector uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT. Such terms typically appear in dissipative hydrodynamics, however, in the spin hydrodynamics that may appear at the perfect-fluid (entropy conserving) level.

It becomes clear now, that such orthogonal corrections cannot appear if one starts from Eqs. (7)–(9) and multiplies them by uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT. Hence, a natural question arises, if there exists an analog of such scalar thermodynamic relations that is valid in the case of arbitrary ωμνsuperscript𝜔𝜇𝜈\omega^{\mu\nu}italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT and for microscopically motivated spin tensor of the form (Generalized thermodynamic relations for perfect spin hydrodynamics).

In this case the baryon current Nμsuperscript𝑁𝜇N^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT has the structure 444Explicit calculations supporting the discussed decompositions are given in the supplemential materials where the results of the calculations including second-order corrections in ωμνsuperscript𝜔𝜇𝜈\omega^{\mu\nu}italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT are given.

Nμ=n¯uμ+nttμ,superscript𝑁𝜇¯𝑛superscript𝑢𝜇subscript𝑛𝑡superscript𝑡𝜇\displaystyle N^{\mu}={\bar{n}}u^{\mu}+n_{t}t^{\mu},italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = over¯ start_ARG italic_n end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , (27)

where

tμ=tμνkν=ϵμναβkνuαωβ.superscript𝑡𝜇superscript𝑡𝜇𝜈subscript𝑘𝜈superscriptitalic-ϵ𝜇𝜈𝛼𝛽subscript𝑘𝜈subscript𝑢𝛼subscript𝜔𝛽\displaystyle t^{\mu}=t^{\mu\nu}k_{\nu}=\epsilon^{\mu\nu\alpha\beta}k_{\nu}u_{% \alpha}\omega_{\beta}.italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_t start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β end_POSTSUPERSCRIPT italic_k start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT . (28)

The four-vector t𝑡titalic_t is orthogonal to the vectors u,k𝑢𝑘u,kitalic_u , italic_k and ω𝜔\omegaitalic_ω. In the local rest frame (LRF), where uμ=(1,0,0,0)superscript𝑢𝜇1000u^{\mu}=(1,0,0,0)italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( 1 , 0 , 0 , 0 ), one finds that 𝒕=𝒌×𝝎𝒕𝒌𝝎{\bm{t}}={\bm{k}}\times{\bm{\omega}}bold_italic_t = bold_italic_k × bold_italic_ω. The current 𝒩μsuperscript𝒩𝜇{\cal N}^{\mu}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT can be obtained from Eq. (24) that always holds for the Boltzmann statistics. In analogy to Eq. (27) we find

Sμ=σ¯uμ+σttμ.superscript𝑆𝜇¯𝜎superscript𝑢𝜇subscript𝜎𝑡superscript𝑡𝜇\displaystyle S^{\mu}={\bar{\sigma}}u^{\mu}+\sigma_{t}t^{\mu}.italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = over¯ start_ARG italic_σ end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (29)

The scalar functions n¯¯𝑛{\bar{n}}over¯ start_ARG italic_n end_ARG and σ¯¯𝜎{\bar{\sigma}}over¯ start_ARG italic_σ end_ARG depend on ξ,T,k2𝜉𝑇superscript𝑘2\xi,T,k^{2}italic_ξ , italic_T , italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and ω2superscript𝜔2\omega^{2}italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. In the spinless case, they reduce to standard densities depending only on T𝑇Titalic_T and μ𝜇\muitalic_μ. The “transverse” components (those with the subscript t𝑡titalic_t) do not appear in the spinless case as they are multiplied by tμsuperscript𝑡𝜇t^{\mu}italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT that vanishes in the limit k,ω0𝑘𝜔0k,\omega\to 0italic_k , italic_ω → 0.

The energy-momentum decomposition reads

Tμνsuperscript𝑇𝜇𝜈\displaystyle T^{\mu\nu}italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT =\displaystyle== ε¯uμuνP¯Δμν+Pkkμkν¯𝜀superscript𝑢𝜇superscript𝑢𝜈¯𝑃superscriptΔ𝜇𝜈subscript𝑃𝑘superscript𝑘𝜇superscript𝑘𝜈\displaystyle{\bar{\varepsilon}}u^{\mu}u^{\nu}-{\bar{P}}\Delta^{\mu\nu}+P_{k}% \,k^{\mu}k^{\nu}over¯ start_ARG italic_ε end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - over¯ start_ARG italic_P end_ARG roman_Δ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT (30)
+Pωωμων+Pt(tμuν+tνuμ),subscript𝑃𝜔superscript𝜔𝜇superscript𝜔𝜈subscript𝑃𝑡superscript𝑡𝜇superscript𝑢𝜈superscript𝑡𝜈superscript𝑢𝜇\displaystyle+P_{\omega}\,\omega^{\mu}\omega^{\nu}+P_{t}\,(t^{\mu}u^{\nu}+t^{% \nu}u^{\mu}),+ italic_P start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_t start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) ,

where ε¯¯𝜀{\bar{\varepsilon}}over¯ start_ARG italic_ε end_ARG and P¯¯𝑃{\bar{P}}over¯ start_ARG italic_P end_ARG depend also on ξ,T,k2𝜉𝑇superscript𝑘2\xi,T,k^{2}italic_ξ , italic_T , italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and ω2superscript𝜔2\omega^{2}italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Finally, the form of the spin tensor is given by (Generalized thermodynamic relations for perfect spin hydrodynamics), which gives

12ωαβSμ,αβ12subscript𝜔𝛼𝛽superscript𝑆𝜇𝛼𝛽\displaystyle\frac{1}{2}\omega_{\alpha\beta}S^{\mu,\alpha\beta}divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT =\displaystyle== uμ(Ak2A1ω2)+A3tμsuperscript𝑢𝜇𝐴superscript𝑘2subscript𝐴1superscript𝜔2subscript𝐴3superscript𝑡𝜇\displaystyle u^{\mu}(Ak^{2}-A_{1}\omega^{2})+A_{3}t^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ( italic_A italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT (31)
\displaystyle\equiv s¯uμ+sttμ.¯𝑠superscript𝑢𝜇subscript𝑠𝑡superscript𝑡𝜇\displaystyle{\bar{s}}u^{\mu}+s_{t}t^{\mu}.over¯ start_ARG italic_s end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_s start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT .

The use of the above decompositions in (23) leads (after comparing the terms multiplying uμsuperscript𝑢𝜇u^{\mu}italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and tμsuperscript𝑡𝜇t^{\mu}italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT) to two equations

ε¯+cothξn¯T¯𝜀hyperbolic-cotangent𝜉¯𝑛𝑇\displaystyle{\bar{\varepsilon}}+\coth\xi\,{\bar{n}}Tover¯ start_ARG italic_ε end_ARG + roman_coth italic_ξ over¯ start_ARG italic_n end_ARG italic_T =\displaystyle== Tσ¯+μn¯+s¯T,𝑇¯𝜎𝜇¯𝑛¯𝑠𝑇\displaystyle T{\bar{\sigma}}+\mu{\bar{n}}+{\bar{s}}T,italic_T over¯ start_ARG italic_σ end_ARG + italic_μ over¯ start_ARG italic_n end_ARG + over¯ start_ARG italic_s end_ARG italic_T , (32)
Pt+cothξntTsubscript𝑃𝑡hyperbolic-cotangent𝜉subscript𝑛𝑡𝑇\displaystyle P_{t}+\coth\xi\,n_{t}Titalic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + roman_coth italic_ξ italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_T =\displaystyle== Tσt+μnt+stT.𝑇subscript𝜎𝑡𝜇subscript𝑛𝑡subscript𝑠𝑡𝑇\displaystyle T\sigma_{t}+\mu n_{t}+s_{t}T.italic_T italic_σ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + italic_μ italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT + italic_s start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_T . (33)

In the spinless case, all terms in Eq. (33) vanish, while Eq. (32) reduces to Eq. (1) – the term cothξn¯Thyperbolic-cotangent𝜉¯𝑛𝑇\coth\xi\,{\bar{n}}Troman_coth italic_ξ over¯ start_ARG italic_n end_ARG italic_T becomes equal to the equilibrium pressure of spinless particles.

In this way we arrive at our second main point. Our analysis shows that Eq. (7) is not an appropriate starting point for introducing thermodynamics of spin polarized media. We need at least two scalar equations, Eqs. (32) and (33), to introduce mutual relations between functions describing densities of various physical quantities.

Summary and conclusions — In this work we have introduced generalized thermodynamic relations into the framework of a relativistic perfect spin hydrodynamics. They allow for a consistent treatment of spin degrees of freedom, including the use of spin tensors whose structure follows from microscopic calculations. The obtained results are important for establishing consistency between different formulations of spin hydrodynamics. They also form the correct starting point for introducing dissipative corrections. In the future investigations, the explicit results obtained herein may serve as a reference point for comparisons among other approaches aiming at the construction of the entropy current in spin hydrodynamics, in particular, those that directly refer to the underlying quantum field theory [47].

Acknowledgements — This work was supported in part by the Polish National Science Centre Grant No. 2022/47/B/ST2/01372.

References

SUPLEMENTAL MATERIALS

I Tensor decomposition of the equilibrium currents

I.1 1. Baryon current

To derive Eq. (27) and find explicit forms of the coefficients n¯¯𝑛{\bar{n}}over¯ start_ARG italic_n end_ARG and ntsubscript𝑛𝑡n_{t}italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, we start with Eq. (18) and use the expression (17) for the spin dependent equilibrium distribution functions. Expanding the exponential function up to the second order terms in the spin polarization tensor ωαβsubscript𝜔𝛼𝛽\omega_{\alpha\beta}italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT we find

Nμsuperscript𝑁𝜇\displaystyle N^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT =\displaystyle== 2sinhξ𝑑Ppμepβ𝑑S[1+12ωαβsαβ+18(ωαβsαβ)(ωσγsσγ)+]2𝜉differential-d𝑃superscript𝑝𝜇superscript𝑒𝑝𝛽differential-d𝑆delimited-[]112subscript𝜔𝛼𝛽superscript𝑠𝛼𝛽18subscript𝜔𝛼𝛽superscript𝑠𝛼𝛽subscript𝜔𝜎𝛾superscript𝑠𝜎𝛾\displaystyle 2\sinh{\xi}\int dP\,p^{\mu}e^{-p\cdot\beta}\int dS\left[1+\frac{% 1}{2}\omega_{\alpha\beta}s^{\alpha\beta}+\frac{1}{8}(\omega_{\alpha\beta}s^{% \alpha\beta})(\omega_{\sigma\gamma}s^{\sigma\gamma})+\cdots\right]2 roman_sinh italic_ξ ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_p ⋅ italic_β end_POSTSUPERSCRIPT ∫ italic_d italic_S [ 1 + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 8 end_ARG ( italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT ) ( italic_ω start_POSTSUBSCRIPT italic_σ italic_γ end_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT italic_σ italic_γ end_POSTSUPERSCRIPT ) + ⋯ ] (34)
=\displaystyle== 2sinhξdPpμepβ[2+18dS(ω:s)(ω:s)]\displaystyle 2\sinh{\xi}\int dP\,p^{\mu}e^{-p\cdot\beta}\left[2+\frac{1}{8}% \int dS(\omega:s)(\omega:s)\right]2 roman_sinh italic_ξ ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_p ⋅ italic_β end_POSTSUPERSCRIPT [ 2 + divide start_ARG 1 end_ARG start_ARG 8 end_ARG ∫ italic_d italic_S ( italic_ω : italic_s ) ( italic_ω : italic_s ) ]
=\displaystyle== 4sinhξ𝑑Ppμepβ[(1+\textgoths:212ωαβωαβ)+\textgoths:26m2pαpβωαγωβγ]\displaystyle 4\sinh{\xi}\int dP\,p^{\mu}e^{-p\cdot\beta}\left[\left(1+\frac{% \,\textgoth{s:}^{2}}{12}\omega^{\alpha\beta}\omega_{\alpha\beta}\right)+\frac{% \,\textgoth{s:}^{2}}{6m^{2}}p^{\alpha}p^{\beta}\omega^{\gamma}_{\phantom{% \gamma}\alpha}\omega_{\beta\gamma}\right]4 roman_sinh italic_ξ ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_p ⋅ italic_β end_POSTSUPERSCRIPT [ ( 1 + divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG italic_ω start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT ) + divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 6 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_p start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT ]
=\displaystyle== 4sinhξ(1+\textgoths:212ω:ω)𝑑PpμeβpZμ+2\textgoths:2sinhξ3m2𝑑PpμpαpβeβpZμαβωαγωβγ.\displaystyle 4\sinh{\xi}\left(1+\frac{\,\textgoth{s:}^{2}}{12}\,\omega:\omega% \right)\underset{Z^{\mu}}{\underbrace{\int dP\,p^{\mu}e^{-\beta\cdot p}}}+% \frac{2\textgoth{s:}^{2}\sinh{\xi}}{3m^{2}}\underset{Z^{\mu\alpha\beta}}{% \underbrace{\int dP\,p^{\mu}p^{\alpha}p^{\beta}e^{-\beta\cdot p}}}\omega^{% \gamma}_{\phantom{\gamma}\alpha}\omega_{\beta\gamma}.4 roman_sinh italic_ξ ( 1 + divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG italic_ω : italic_ω ) start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG + divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sinh italic_ξ end_ARG start_ARG 3 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_μ italic_α italic_β end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT .

Here we use the notation ω:s=ωαβsαβ:𝜔𝑠subscript𝜔𝛼𝛽superscript𝑠𝛼𝛽\omega:s=\omega_{\alpha\beta}s^{\alpha\beta}italic_ω : italic_s = italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT and ω:ω=ωαβωαβ=2(k2ω2):𝜔𝜔superscript𝜔𝛼𝛽subscript𝜔𝛼𝛽2superscript𝑘2superscript𝜔2\omega:\omega=\omega^{\alpha\beta}\omega_{\alpha\beta}=2(k^{2}-\omega^{2})italic_ω : italic_ω = italic_ω start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT = 2 ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). The integral over the spin degrees of freedom is done according to the rules given in Ref. [41]. We have underlined the integrals that define the tensors Zμsuperscript𝑍𝜇Z^{\mu}italic_Z start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and Zμαβsuperscript𝑍𝜇𝛼𝛽Z^{\mu\alpha\beta}italic_Z start_POSTSUPERSCRIPT italic_μ italic_α italic_β end_POSTSUPERSCRIPT, whose explicit forms are taken from Ref. [48] and divided by (2π)3superscript2𝜋3(2\pi)^{3}( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, since our integration measure dP𝑑𝑃dPitalic_d italic_P includes this extra factor in the denominator. The intermediate steps of the calculations include the contractions

uαuβuνωαγωβγ=k2uνsuperscript𝑢𝛼superscript𝑢𝛽superscript𝑢𝜈subscriptsuperscript𝜔𝛾𝛼subscript𝜔𝛽𝛾superscript𝑘2superscript𝑢𝜈\displaystyle u^{\alpha}u^{\beta}u^{\nu}\omega^{\gamma}_{\phantom{\gamma}{% \alpha}}\omega_{\beta\gamma}=-k^{2}u^{\nu}italic_u start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT = - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT (35)

and

(gμαuβ+gμβuα+gβαuμ)ωαγωβγ=2ωγμkγ2k2uμ+2ω2uμ=(2ω24k2)uμ+2tμ,superscript𝑔𝜇𝛼superscript𝑢𝛽superscript𝑔𝜇𝛽superscript𝑢𝛼superscript𝑔𝛽𝛼superscript𝑢𝜇subscriptsuperscript𝜔𝛾𝛼subscript𝜔𝛽𝛾2subscriptsuperscript𝜔𝜇𝛾superscript𝑘𝛾2superscript𝑘2superscript𝑢𝜇2superscript𝜔2superscript𝑢𝜇2superscript𝜔24superscript𝑘2superscript𝑢𝜇2superscript𝑡𝜇\displaystyle(g^{\mu\alpha}u^{\beta}+g^{\mu\beta}u^{\alpha}+g^{\beta\alpha}u^{% \mu})\omega^{\gamma}_{\phantom{\gamma}{\alpha}}\omega_{\beta\gamma}=2\omega^{% \mu}_{\phantom{\mu}\gamma}k^{\gamma}-2k^{2}u^{\mu}+2\omega^{2}u^{\mu}=(2\omega% ^{2}-4k^{2})u^{\mu}+2t^{\mu},( italic_g start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_μ italic_β end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_β italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT = 2 italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT - 2 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + 2 italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( 2 italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 4 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + 2 italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , (36)

which leads to the decomposition

Nμ=(n0+n2k+n2ω)uμ+nttμ.superscript𝑁𝜇subscript𝑛0superscriptsubscript𝑛2𝑘superscriptsubscript𝑛2𝜔superscript𝑢𝜇subscript𝑛𝑡superscript𝑡𝜇\displaystyle N^{\mu}=(n_{0}+n_{2}^{k}+n_{2}^{\omega})u^{\mu}+n_{t}t^{\mu}.italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT ) italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (37)

Here the coefficients n0,n2k,n2ωsubscript𝑛0superscriptsubscript𝑛2𝑘superscriptsubscript𝑛2𝜔n_{0},n_{2}^{k},n_{2}^{\omega}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT, and ntsubscript𝑛𝑡n_{t}italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT have form:

n0=2sinhξπ2z2T3K2(z),n2k=2\textgoths:2sinhξ3π2zT3K3(z)k2,n2ω=\textgoths:2sinhξ3π2zT3[zK2(z)+2K3(z)]ω2,\displaystyle n_{0}=\frac{2\sinh{\xi}}{\pi^{2}}z^{2}T^{3}K_{2}(z),\hskip 11.38% 092pt{n}_{2}^{k}=-\frac{2\,\textgoth{s:}^{2}\sinh{\xi}}{3\pi^{2}}zT^{3}K_{3}(z% )k^{2},\hskip 11.38092pt{n}_{2}^{\omega}=-\frac{\,\textgoth{s:}^{2}\sinh{\xi}}% {3\pi^{2}}zT^{3}\left[zK_{2}(z)+2K_{3}(z)\right]\omega^{2},italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG 2 roman_sinh italic_ξ end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT = - divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sinh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT = - divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sinh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ italic_z italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) + 2 italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) ] italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (38)
nt=2\textgoths:2sinhξ3π2zT3K3(z),\displaystyle n_{t}=-\frac{2\,\textgoth{s:}^{2}\sinh{\xi}}{3\pi^{2}}zT^{3}K_{3% }(z),italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = - divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sinh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) , (39)

where z=m/T𝑧𝑚𝑇z=m/Titalic_z = italic_m / italic_T and Kn(z)subscript𝐾𝑛𝑧K_{n}(z)italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_z )’s are the modified Bessel functions of the second type. The coefficients n0subscript𝑛0n_{0}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT describes the baryon density of a relativistic spinless gas.

I.2 2. Particle current 𝒩μsuperscript𝒩𝜇{\cal N}^{\mu}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT

The baryon current is the difference of the particle and antiparticle currents, Nμ=N+μNμsuperscript𝑁𝜇subscriptsuperscript𝑁𝜇subscriptsuperscript𝑁𝜇N^{\mu}=N^{\mu}_{+}-N^{\mu}_{-}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT + end_POSTSUBSCRIPT - italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - end_POSTSUBSCRIPT. The particle current 𝒩μsuperscript𝒩𝜇{\cal N}^{\mu}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT is the sum 𝒩μ=N+μ+Nμsuperscript𝒩𝜇subscriptsuperscript𝑁𝜇subscriptsuperscript𝑁𝜇{\cal N}^{\mu}=N^{\mu}_{+}+N^{\mu}_{-}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT + end_POSTSUBSCRIPT + italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - end_POSTSUBSCRIPT. Since we consider Boltzmann statistics in this work, Nμsuperscript𝑁𝜇N^{\mu}italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and 𝒩μsuperscript𝒩𝜇{\cal N}^{\mu}caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT are related as in Eq. (24). We note that throughout this work we consider μ0𝜇0\mu\neq 0italic_μ ≠ 0 (ξ0)\xi\neq 0)italic_ξ ≠ 0 ).

I.3 3. Energy-momentum tensor

When considering the energy-momentum tensor, we start with the definition (19) and use expressions for the tensors Zμνsuperscript𝑍𝜇𝜈Z^{\mu\nu}italic_Z start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT and Zμναβsuperscript𝑍𝜇𝜈𝛼𝛽Z^{\mu\nu\alpha\beta}italic_Z start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β end_POSTSUPERSCRIPT given in Ref. [48]

Tμν=4coshξ(1+\textgoths:212ω:ω)𝑑PpμpνeβpZμν+2\textgoths:2coshξ3m2ωαγωβγ𝑑PpμpνpαpβeβpZμναβ.\displaystyle T^{\mu\nu}=4\cosh{\xi}\left(1+\frac{\,\textgoth{s:}^{2}}{12}% \omega:\omega\right)\underset{Z^{\mu\nu}}{\underbrace{\int dP\,p^{\mu}p^{\nu}e% ^{-\beta\cdot p}}}+\frac{2\,\textgoth{s:}^{2}\cosh{\xi}}{3m^{2}}\omega^{\gamma% }_{\phantom{\gamma}\alpha}\omega_{\beta\gamma}\underset{Z^{\mu\nu\alpha\beta}}% {\underbrace{\int dP\,p^{\mu}p^{\nu}p^{\alpha}p^{\beta}e^{-\beta\cdot p}}}.italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = 4 roman_cosh italic_ξ ( 1 + divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG italic_ω : italic_ω ) start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG + divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG . (40)

The main part of algebra involves the contraction Zμναβωαγωβγsuperscript𝑍𝜇𝜈𝛼𝛽subscriptsuperscript𝜔𝛾𝛼subscript𝜔𝛽𝛾Z^{\mu\nu\alpha\beta}\omega^{\gamma}_{\phantom{\gamma}\alpha}\omega_{\beta\gamma}italic_Z start_POSTSUPERSCRIPT italic_μ italic_ν italic_α italic_β end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT, which contains three terms:

(gμνgαβ+gμαgνβ+gανgμβ)ωαγωβγ=gμν(ω:ω)+2ωγ(μων)γ\displaystyle(g^{\mu\nu}g^{\alpha\beta}+g^{\mu\alpha}g^{\nu\beta}+g^{\alpha\nu% }g^{\mu\beta})\omega^{\gamma}_{\phantom{\gamma}{\alpha}}\omega_{\beta\gamma}=-% g^{\mu\nu}(\omega:\omega)+2\omega_{\gamma}^{\phantom{\gamma}(\mu}\omega^{\nu)\gamma}( italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT italic_ν italic_β end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_α italic_ν end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT italic_μ italic_β end_POSTSUPERSCRIPT ) italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT = - italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ( italic_ω : italic_ω ) + 2 italic_ω start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν ) italic_γ end_POSTSUPERSCRIPT
=(4ω22k2)gμν(2k2+2ω2)uμuν2(kμkν+ωμων)+4u(μtν),\displaystyle=(4\omega^{2}-2k^{2})g^{\mu\nu}-(2k^{2}+2\omega^{2})u^{\mu}u^{\nu% }-2(k^{\mu}k^{\nu}+\omega^{\mu}\omega^{\nu})+4u^{(\mu}t^{\nu)},= ( 4 italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - ( 2 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - 2 ( italic_k start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ) + 4 italic_u start_POSTSUPERSCRIPT ( italic_μ end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT italic_ν ) end_POSTSUPERSCRIPT ,
(gμνuαuβ+gμαuνuβ+gανuμuβ+gμβuαuν+gβαuνuμ+gβνuμuα)ωαγωβγsuperscript𝑔𝜇𝜈superscript𝑢𝛼superscript𝑢𝛽superscript𝑔𝜇𝛼superscript𝑢𝜈superscript𝑢𝛽superscript𝑔𝛼𝜈superscript𝑢𝜇superscript𝑢𝛽superscript𝑔𝜇𝛽superscript𝑢𝛼superscript𝑢𝜈superscript𝑔𝛽𝛼superscript𝑢𝜈superscript𝑢𝜇superscript𝑔𝛽𝜈superscript𝑢𝜇superscript𝑢𝛼subscriptsuperscript𝜔𝛾𝛼subscript𝜔𝛽𝛾\displaystyle(g^{\mu\nu}u^{\alpha}u^{\beta}+g^{\mu\alpha}u^{\nu}u^{\beta}+g^{% \alpha\nu}u^{\mu}u^{\beta}+g^{\mu\beta}u^{\alpha}u^{\nu}+g^{\beta\alpha}u^{\nu% }u^{\mu}+g^{\beta\nu}u^{\mu}u^{\alpha})\omega^{\gamma}_{\phantom{\gamma}{% \alpha}}\omega_{\beta\gamma}( italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_α italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_μ italic_β end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_β italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_β italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT ) italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT
=k2gμν+(2ω26k2)uμuν+4u(μtν),\displaystyle=-k^{2}g^{\mu\nu}+(2\omega^{2}-6k^{2})u^{\mu}u^{\nu}+4u^{(\mu}t^{% \nu)},= - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + ( 2 italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 6 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + 4 italic_u start_POSTSUPERSCRIPT ( italic_μ end_POSTSUPERSCRIPT italic_t start_POSTSUPERSCRIPT italic_ν ) end_POSTSUPERSCRIPT ,

and

uμuνuαuβωαγωβγ=k2uμuν.superscript𝑢𝜇superscript𝑢𝜈superscript𝑢𝛼superscript𝑢𝛽subscriptsuperscript𝜔𝛾𝛼subscript𝜔𝛽𝛾superscript𝑘2superscript𝑢𝜇superscript𝑢𝜈\displaystyle u^{\mu}u^{\nu}u^{\alpha}u^{\beta}\omega^{\gamma}_{\phantom{% \gamma}{\alpha}}\omega_{\beta\gamma}=-k^{2}u^{\mu}u^{\nu}.italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_β italic_γ end_POSTSUBSCRIPT = - italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT . (41)

Here the small round brackets denote symmetrization of the indices. In this way we arrive at Eq. (30),

Tμν=(ε0+ε2k+ε2ω)uμuν(P0+P2k+P2ω)Δμν+Pkkμkν+Pωωμων+Pt(tμuν+tνuμ),superscript𝑇𝜇𝜈subscript𝜀0superscriptsubscript𝜀2𝑘superscriptsubscript𝜀2𝜔superscript𝑢𝜇superscript𝑢𝜈subscript𝑃0subscriptsuperscript𝑃𝑘2subscriptsuperscript𝑃𝜔2superscriptΔ𝜇𝜈subscript𝑃𝑘superscript𝑘𝜇superscript𝑘𝜈subscript𝑃𝜔superscript𝜔𝜇superscript𝜔𝜈subscript𝑃𝑡superscript𝑡𝜇superscript𝑢𝜈superscript𝑡𝜈superscript𝑢𝜇\displaystyle T^{\mu\nu}=(\varepsilon_{0}+{\varepsilon}_{2}^{k}+{\varepsilon}_% {2}^{\omega})u^{\mu}u^{\nu}-({P}_{0}+{P}^{k}_{2}+{P}^{\omega}_{2})\Delta^{\mu% \nu}+P_{k}k^{\mu}k^{\nu}+P_{\omega}\omega^{\mu}\omega^{\nu}+P_{t}(t^{\mu}u^{% \nu}+t^{\nu}u^{\mu}),italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = ( italic_ε start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_ε start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT + italic_ε start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT ) italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - ( italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_P start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_Δ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_P start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_t start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) , (42)

where:

ε0=2coshξπ2z2T4[zK3(z)K2(z)],subscript𝜀02𝜉superscript𝜋2superscript𝑧2superscript𝑇4delimited-[]𝑧subscript𝐾3𝑧subscript𝐾2𝑧\displaystyle{\varepsilon}_{0}=\frac{2\cosh{\xi}}{\pi^{2}}z^{2}T^{4}\left[zK_{% 3}(z)-K_{2}(z)\right],italic_ε start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG 2 roman_cosh italic_ξ end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT [ italic_z italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) - italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) ] , (43)
ε2k=2\textgoths:2cosh(ξ)3π2zT4[zK2(z)+5K3(z)]k2,ε2ω=\textgoths:2cosh(ξ)3π2zT4[zK2(z)+(z2+10)K3(z)]ω2,\displaystyle{\varepsilon}_{2}^{k}=-\frac{2\,\textgoth{s:}^{2}\cosh{(\xi)}}{3% \pi^{2}}zT^{4}\left[zK_{2}(z)+5K_{3}(z)\right]k^{2},\hskip 11.38092pt{% \varepsilon}_{2}^{\omega}=-\frac{\,\textgoth{s:}^{2}\cosh{(\xi)}}{3\pi^{2}}zT^% {4}\left[zK_{2}(z)+(z^{2}+10)K_{3}(z)\right]\omega^{2},italic_ε start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT = - divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh ( italic_ξ ) end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT [ italic_z italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) + 5 italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) ] italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_ε start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT = - divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh ( italic_ξ ) end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT [ italic_z italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) + ( italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 10 ) italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) ] italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (44)
P0=2coshξπ2z2T4K2(z),subscript𝑃02𝜉superscript𝜋2superscript𝑧2superscript𝑇4subscript𝐾2𝑧\displaystyle{P_{0}}=\frac{2\cosh{\xi}}{\pi^{2}}z^{2}T^{4}K_{2}(z),italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG 2 roman_cosh italic_ξ end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) , (45)
P2k=4\textgoths:2coshξ3π2zT4K3(z)k2,P2ω=\textgoths:2coshξ3π2zT4[zK2(z)+4K3(z)]ω2,\displaystyle{P}^{k}_{2}=-\frac{4\,\textgoth{s:}^{2}\cosh{\xi}}{3\pi^{2}}zT^{4% }K_{3}(z)k^{2},\hskip 11.38092pt{P}^{\omega}_{2}=-\frac{\,\textgoth{s:}^{2}% \cosh{\xi}}{3\pi^{2}}zT^{4}\left[zK_{2}(z)+4K_{3}(z)\right]\omega^{2},italic_P start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - divide start_ARG 4 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_P start_POSTSUPERSCRIPT italic_ω end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - divide start_ARG italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT [ italic_z italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) + 4 italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) ] italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (46)
Pt=2\textgoths:2coshξ3π2zT4[K3(z)zK4(z)],Pk=Pω=2\textgoths:2coshξ3π2zT4K3(z).\displaystyle P_{t}=\frac{2\,\textgoth{s:}^{2}\cosh{\xi}}{3\pi^{2}}zT^{4}\left% [K_{3}(z)-zK_{4}(z)\right],\hskip 11.38092ptP_{k}=P_{\omega}=-\frac{2\,% \textgoth{s:}^{2}\cosh{\xi}}{3\pi^{2}}z\,T^{4}K_{3}(z).italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT [ italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) - italic_z italic_K start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ( italic_z ) ] , italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT = - divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) . (47)

Obviously, the quantities ε0subscript𝜀0\varepsilon_{0}italic_ε start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and P0subscript𝑃0P_{0}italic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT correspond to the energy density and pressure of spinless particles, respectively. We also have P0=cothξn0Tsubscript𝑃0hyperbolic-cotangent𝜉subscript𝑛0𝑇P_{0}=\coth\xi\,n_{0}Titalic_P start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = roman_coth italic_ξ italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_T, which is the relativistic version of the Clapeyron equation.

I.4 4. Spin tensor

Finally, we consider the spin tensor Sλ,μνsuperscript𝑆𝜆𝜇𝜈S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT and again express it in terms of the tensors Z𝑍Zitalic_Z:

Sλ,μνsuperscript𝑆𝜆𝜇𝜈\displaystyle S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT =\displaystyle== 2coshξ𝑑Ppλepβ𝑑Ssμν[1+12ωαβsαβ]2𝜉differential-d𝑃superscript𝑝𝜆superscript𝑒𝑝𝛽differential-d𝑆superscript𝑠𝜇𝜈delimited-[]112subscript𝜔𝛼𝛽superscript𝑠𝛼𝛽\displaystyle 2\cosh{\xi}\int dPp^{\lambda}e^{-p\cdot\beta}\int dSs^{\mu\nu}% \left[1+\frac{1}{2}\omega_{\alpha\beta}s^{\alpha\beta}\right]2 roman_cosh italic_ξ ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_p ⋅ italic_β end_POSTSUPERSCRIPT ∫ italic_d italic_S italic_s start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT [ 1 + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT ] (48)
=\displaystyle== 2coshξ𝑑Ppλepβ12ωαβ𝑑Ssμνsαβ2𝜉differential-d𝑃superscript𝑝𝜆superscript𝑒𝑝𝛽12subscript𝜔𝛼𝛽differential-d𝑆superscript𝑠𝜇𝜈superscript𝑠𝛼𝛽\displaystyle 2\cosh{\xi}\int dPp^{\lambda}e^{-p\cdot\beta}\,\frac{1}{2}\omega% _{\alpha\beta}\int dSs^{\mu\nu}s^{\alpha\beta}2 roman_cosh italic_ξ ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_p ⋅ italic_β end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT ∫ italic_d italic_S italic_s start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT italic_α italic_β end_POSTSUPERSCRIPT
=\displaystyle== 4\textgoths:23m2coshξ[z2T2ωμν𝑑PpλeβpZλ+ωαν𝑑PpλpαpμeβpZλαμωαμ𝑑PpλpαpνeβpZλαν].\displaystyle\frac{4\,\textgoth{s:}^{2}}{3m^{2}}\cosh{\xi}\left[z^{2}T^{2}% \omega^{\mu\nu}\underset{Z^{\lambda}}{\underbrace{\int dP\,p^{\lambda}e^{-% \beta\cdot p}}}+\omega^{\nu}_{\phantom{\nu}\alpha}\underset{Z^{\lambda\alpha% \mu}}{\underbrace{\int dP\,p^{\lambda}p^{\alpha}p^{\mu}e^{-\beta\cdot p}}}-% \omega^{\mu}_{\phantom{\mu}\alpha}\underset{Z^{\lambda\alpha\nu}}{\underbrace{% \int dP\,p^{\lambda}p^{\alpha}p^{\nu}e^{-\beta\cdot p}}}\right].divide start_ARG 4 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 3 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_cosh italic_ξ [ italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG + italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_λ italic_α italic_μ end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG - italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_UNDERACCENT italic_Z start_POSTSUPERSCRIPT italic_λ italic_α italic_ν end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG under⏟ start_ARG ∫ italic_d italic_P italic_p start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_β ⋅ italic_p end_POSTSUPERSCRIPT end_ARG end_ARG ] .

To obtain the final form, we need the explicit expression for ZλαμωανZλανωαμsuperscript𝑍𝜆𝛼𝜇subscriptsuperscript𝜔𝜈𝛼superscript𝑍𝜆𝛼𝜈subscriptsuperscript𝜔𝜇𝛼Z^{\lambda\alpha\mu}\omega^{\nu}_{\phantom{\nu}\alpha}-Z^{\lambda\alpha\nu}% \omega^{\mu}_{\phantom{\mu}\alpha}italic_Z start_POSTSUPERSCRIPT italic_λ italic_α italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT - italic_Z start_POSTSUPERSCRIPT italic_λ italic_α italic_ν end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT. In this case, it is useful to introduce the tensor

tλμν=ωνλuμωμλuν+gλμkνgλνkμ.superscript𝑡𝜆𝜇𝜈superscript𝜔𝜈𝜆superscript𝑢𝜇superscript𝜔𝜇𝜆superscript𝑢𝜈superscript𝑔𝜆𝜇superscript𝑘𝜈superscript𝑔𝜆𝜈superscript𝑘𝜇\displaystyle t^{\lambda\mu\nu}=\omega^{\nu\lambda}u^{\mu}-\omega^{\mu\lambda}% u^{\nu}+g^{\lambda\mu}k^{\nu}-g^{\lambda\nu}k^{\mu}.italic_t start_POSTSUPERSCRIPT italic_λ italic_μ italic_ν end_POSTSUPERSCRIPT = italic_ω start_POSTSUPERSCRIPT italic_ν italic_λ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT italic_μ italic_λ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_λ italic_μ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT - italic_g start_POSTSUPERSCRIPT italic_λ italic_ν end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (49)

Then, the spin tensor Sλ,μνsuperscript𝑆𝜆𝜇𝜈S^{\lambda,\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT can be written as

Sλ,μν=A1uλωμν+A2uλu[μkν]+12A3tλμν\displaystyle S^{\lambda,\mu\nu}=A_{1}u^{\lambda}\omega^{\mu\nu}+A_{2}u^{% \lambda}u^{[\mu}k^{\nu]}+\frac{1}{2}A_{3}t^{\lambda\mu\nu}italic_S start_POSTSUPERSCRIPT italic_λ , italic_μ italic_ν end_POSTSUPERSCRIPT = italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_u start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT italic_u start_POSTSUPERSCRIPT [ italic_μ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT italic_ν ] end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_λ italic_μ italic_ν end_POSTSUPERSCRIPT (50)

where

A1=2\textgoths:2coshξ3π2zT3[zK2(z)+2K3(z)],A2=4\textgoths:2coshξ3π2z2T3K4(z),A3=4\textgoths:2coshξ3π2zT3K3(z).\displaystyle A_{1}=\frac{2\,\textgoth{s:}^{2}\cosh{\xi}}{3\pi^{2}}zT^{3}\left% [zK_{2}(z)+2K_{3}(z)\right],\hskip 19.91684ptA_{2}=\frac{4\,\textgoth{s:}^{2}% \cosh{\xi}}{3\pi^{2}}z^{2}T^{3}K_{4}(z),\hskip 19.91684ptA_{3}=-\frac{4\,% \textgoth{s:}^{2}\cosh{\xi}}{3\pi^{2}}zT^{3}K_{3}(z).italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG 2 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ italic_z italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_z ) + 2 italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) ] , italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG 4 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ( italic_z ) , italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = - divide start_ARG 4 italic_s : start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cosh italic_ξ end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_z italic_T start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_z ) . (51)

Which is consistent with the decomposition used in Ref. [46]. Moreover, with A=A1A2/2A3𝐴subscript𝐴1subscript𝐴22subscript𝐴3A=A_{1}-A_{2}/2-A_{3}italic_A = italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT / 2 - italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT we reproduce Eq. (Generalized thermodynamic relations for perfect spin hydrodynamics).

I.5 5. Entropy current

Starting from the formula

Sμ=Tμαβα12ωαβSμ,αβξNμ+𝒩μsuperscript𝑆𝜇superscript𝑇𝜇𝛼subscript𝛽𝛼12subscript𝜔𝛼𝛽superscript𝑆𝜇𝛼𝛽𝜉superscript𝑁𝜇superscript𝒩𝜇\displaystyle S^{\mu}=T^{\mu\alpha}\beta_{\alpha}-\frac{1}{2}\omega_{\alpha% \beta}S^{\mu,\alpha\beta}-\xi N^{\mu}+{\cal N}^{\mu}italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = italic_T start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT - italic_ξ italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT (52)

and using the orthogonality conditions tu=ku=ωu=0𝑡𝑢𝑘𝑢𝜔𝑢0t\cdot u=k\cdot u=\omega\cdot u=0italic_t ⋅ italic_u = italic_k ⋅ italic_u = italic_ω ⋅ italic_u = 0 as well as the contractions

1TTμαuα=ε¯Tuμ+PtTtμ1𝑇superscript𝑇𝜇𝛼subscript𝑢𝛼¯𝜀𝑇superscript𝑢𝜇subscript𝑃𝑡𝑇superscript𝑡𝜇\displaystyle\frac{1}{T}T^{\mu\alpha}u_{\alpha}=\frac{\bar{\varepsilon}}{T}u^{% \mu}+\frac{P_{t}}{T}t^{\mu}divide start_ARG 1 end_ARG start_ARG italic_T end_ARG italic_T start_POSTSUPERSCRIPT italic_μ italic_α end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = divide start_ARG over¯ start_ARG italic_ε end_ARG end_ARG start_ARG italic_T end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + divide start_ARG italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT (53)

and

ξNμ+𝒩μ=(coth(ξ)ξ)Nμ=(coth(ξ)ξ)n¯uμ+(coth(ξ)ξ)nttμ𝜉superscript𝑁𝜇superscript𝒩𝜇hyperbolic-cotangent𝜉𝜉superscript𝑁𝜇hyperbolic-cotangent𝜉𝜉¯𝑛superscript𝑢𝜇hyperbolic-cotangent𝜉𝜉subscript𝑛𝑡superscript𝑡𝜇\displaystyle-\xi N^{\mu}+\mathcal{N}^{\mu}=(\coth(\xi)-\xi)N^{\mu}=(\coth(\xi% )-\xi)\bar{n}u^{\mu}+(\coth(\xi)-\xi)n_{t}t^{\mu}- italic_ξ italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + caligraphic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( roman_coth ( italic_ξ ) - italic_ξ ) italic_N start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( roman_coth ( italic_ξ ) - italic_ξ ) over¯ start_ARG italic_n end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + ( roman_coth ( italic_ξ ) - italic_ξ ) italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT (54)

we find

12Sμ,αβωαβ=s¯uμ+sttμ.12superscript𝑆𝜇𝛼𝛽subscript𝜔𝛼𝛽¯𝑠superscript𝑢𝜇subscript𝑠𝑡superscript𝑡𝜇\displaystyle\frac{1}{2}S^{\mu,\alpha\beta}\omega_{\alpha\beta}=\bar{s}u^{\mu}% +s_{t}t^{\mu}.divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_S start_POSTSUPERSCRIPT italic_μ , italic_α italic_β end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT = over¯ start_ARG italic_s end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_s start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (55)

The forms of s¯¯𝑠\bar{s}over¯ start_ARG italic_s end_ARG and s¯tsubscript¯𝑠𝑡\bar{s}_{t}over¯ start_ARG italic_s end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT are given in (31). Then, we have the next form of entropy current

Sμ=σ¯uμ+σttμ.superscript𝑆𝜇¯𝜎superscript𝑢𝜇subscript𝜎𝑡superscript𝑡𝜇\displaystyle S^{\mu}={\bar{\sigma}}u^{\mu}+\sigma_{t}t^{\mu}.italic_S start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = over¯ start_ARG italic_σ end_ARG italic_u start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + italic_σ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_t start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (56)

Where coefficients hold:

σ¯=ε¯T+(cothξξ)n¯s¯,σt=PtT+(cothξξ)ntst,formulae-sequence¯𝜎¯𝜀𝑇hyperbolic-cotangent𝜉𝜉¯𝑛¯𝑠subscript𝜎𝑡subscript𝑃𝑡𝑇hyperbolic-cotangent𝜉𝜉subscript𝑛𝑡subscript𝑠𝑡\displaystyle\bar{\sigma}=\frac{\bar{\varepsilon}}{T}+(\coth\xi-\xi)\bar{n}-% \bar{s},\hskip 19.91684pt\sigma_{t}=\frac{P_{t}}{T}+(\coth{\xi}-\xi)n_{t}-s_{t},over¯ start_ARG italic_σ end_ARG = divide start_ARG over¯ start_ARG italic_ε end_ARG end_ARG start_ARG italic_T end_ARG + ( roman_coth italic_ξ - italic_ξ ) over¯ start_ARG italic_n end_ARG - over¯ start_ARG italic_s end_ARG , italic_σ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = divide start_ARG italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG start_ARG italic_T end_ARG + ( roman_coth italic_ξ - italic_ξ ) italic_n start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_s start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , (57)

which agrees with Eqs. (32) and (33).