Abstract
Starting from the quantum Liouville equation for the density operator and applying the Weyl quantization, Wigner equations for the acoustic, optical and Z phonons are deduced. The equations are valid for any solid, including 2D crystals like graphene. With the use of Moyal’s calculus and its properties, the pseudo-differential operators are expanded up to the second order in \(\hbar \). An energy transport model is obtained by using the moment method with closure relations based on a quantum version of the Maximum Entropy Principle by employing a relaxation time approximation for the production terms of energy and energy flux. An explicit form of the thermal conductivity with quantum correction up to \(\hbar ^2\) order is obtained under a long-time scaling for the most relevant phonon branches.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The use of the Wigner function is one of the most promising ways to study quantum transport. Its main advantage is that a description similar to the classical or semiclassical transport is obtained in a suitable phase-space. The mean values are expectation values with respect to the Wigner function as if the latter was a probability density and the semiclassical limit of the Wigner transport equation recovers, at least formally, the Boltzmann transport one. There is a huge body of literature regarding the Wigner equation and the way to numerically solve it (see for example Morandi and Schürrer 2011; Muscato and Wagner 2016; Querlioz and Dollfus 2010 and references therein). However, the most of the works on the subject consider a quadratic dispersion relation for the energy. Instead, for several materials like semiconductors or semimetal, e.g., graphene, other dispersion relations must be considered (Jacoboni 2013; Jüngel 2009; Mascali and Romano 2020). From the Wigner transport equation, quantum hydrodynamical models have been obtained in Romano (2007) for charge transport in silicon in the case of parabolic bands, while in Luca and Romano (2018) the same has been devised for electrons moving in graphene.
The enhanced miniaturization of electron and mechanical devices makes the thermal effects increasingly relevant (Simoncelli et al. 2022; Sellitto et al. 2016; Jou and Restuccia 2023) requiring the use of physically accurate models. At kinetic level, a good description is the one based on the semiclassical Peierls–Boltzmann equation for each phonon branch. However, for typical lengths smaller than the phonon mean-free path also quantum effects must be considered (see for example Simoncelli et al. 2022). The Wigner equation is a natural approach that better reveals the quantum nature of phonons in such circumstances, gives the Peierls–Boltzmann equation as semiclassical limit and still keeps the structure of a kinetic formulation. In this work, the focus is on the acoustic and optical phonons dynamics with a general dispersion relation.
In order to get insights into the quantum corrections, moment equations are deduced from the corresponding Wigner equation. As in the classical case, one is led to a system of balance equations that are not closed. So, the well-known problem of getting closure relations arises, that is the issue to express the additional fields appearing in the moment equations in terms of a set of fundamental variables, e.g., the phonon energy density and energy flux. A sound way to accomplish this task is resorting to a quantum formulation of the maximum entropy principle (Jaynes 1957a) (hereafter QMEP), formulated for the first time by Jaynes (1957b). Recently, a more formal theory has been developed in a series of papers (Degond and Ringhofer 2003; Degond et al. 2005) with several applications, for example for charge transport in semiconductors (Romano 2007; Barletti 2014; Barletti and Cintolesi 2012; Luca and Romano 2019). The interested reader is also referred to Camiola et al. (2020).
We apply QMEP to the Wigner equations assuming the energy density and the energy flux for each species of phonons as basic fields. By expanding up to the second order in \(\hbar \), quantum corrections to the semiclassical case (Mascali and Romano 2017) are deduced. In particular, in a long time scaling an asymptotic expression for the heat flux is obtained. The latter consists of a Fourier-like part with a highly nonlinear second-order correction in the temperature gradient. Explicit formulas for acoustic phonons in the Debye approximation are written.
The plan of the paper is as follows. In Sect. 2, the semiclassical phonon transport is summarized, while in Sect. 3 we write down the Wigner equations for phonons. Section 4 is dedicated to deducing the moment equations whose closure relations are achieved by QMEP in Sect. 5. In Sect. 6, a definition of local temperature is introduced by generalizing what has been proposed in Mascali and Romano (2017) and in the last section an asymptotic expression of the quantum correction to the heat flux is obtained for the most relevant branches of phonons.
2 Semiclassical Phonon Transport
In a crystal lattice, the transport of energy is quantized in terms of quasi-particles named phonons which are present with several branches and propagation modes. The latters vary from a material to another but in any case they are grouped in acoustic and optical phonon branches which, in turn, can oscillate in the longitudinal or transversal direction. The complete dispersion relations can be usually obtained by a numerical approach in the first Brillouin zone (FBZ) \(\mathcal{B}\). However, in the applications some standard approximations are often adopted.
For the acoustic phonons, the Debye approximation for the dispersion relation \(\mathbf{\varepsilon }_{\mu }(\textbf{q})\) is usually assumed, \(\mathbf{\varepsilon }_{\mu }(\textbf{q})=c_{\mu }|\textbf{q}|\), \(\mu = LA, TA\), where \(\textbf{q}\) is the phonon momentum. LA stands for longitudinal acoustic while TA for transversal acoustic. \(c_{\mu }\) is the sound speed of the \(\mu \)-branch. Consistently, the first Brillouin zone is extended to \(\mathbb {R}^d\). Here, d is the dimension of the space; \(d=3\) for bulk crystal while \(d=2\) for graphene or similar 2D material like dichalcogenides. Sometimes also the case \(d=1\) is considered, but it represents an oversimplification from a physical point of view. We remark that the standard way to express the dispersion relation is in terms of wave-vector. However, in view of the quantum kinetic formulation which will be devised in the next sections, the phonon momentum is a more appropriate variable.
For the longitudinal optical (LO) and the transversal optical (TO) phonon, the Einstein dispersion relation, \(\mathbf{\varepsilon }_{\mu }(\textbf{q}) \approx \) const, with \(\mu = LO, TO\), is usually adopted. Note that under such an assumption, the group velocity of the optical phonons is negligible.
In some peculiar materials like graphene, it is customary to introduce also a fictitious branch called K-phonons constituted by the phonons having wave vectors close to the Dirac points, K or \(K'\), in the first Brillouin zone (taking the origin in the center \(\Gamma \) of FBZ). Also in this case the Einstein approximation is used on account of the limited variability of the phonon energy near those points. Moreover, in graphene the phonons are classified as in-plane, representing vibration parallel to the material, and out of plane, representing vibrational mode orthogonal to the material. The LA, TA, LO, TO and K phonons are in plane. The out of plane phonons belong to the acoustic branch and are named ZA phonons. For them, a quadratic dispersion relation is a good approximation: \(\mathbf{\varepsilon }_{ZA}(\textbf{q})=\overline{\alpha }|\textbf{q}|^2\), where \(\overline{\alpha }=\alpha /\hbar \) with \(\alpha = 6.2\times 10^7 m^2/s\) (see Mounet and Marzari 2005; Nika and Balandin 2012; Pop et al. 2012) and \(\hbar \) is the reduced Planck constant.
Observe that in all the cases considered above, the dispersion relation is isotropic. Hereafter, we assume such a property for \(\mathbf{\varepsilon }_{\mu }(\textbf{q})\), \(\mu = LA, TA, LO, TO, K, ZA\).
The thermal transport is usually described by macroscopic models, e.g., the Fourier one, those based on the Maximum Entropy methods (Camiola et al. 2020) or on phenomenological description (Sellitto et al. 2016). A more accurate way to tackle the question is to resort to semiclassical transport equations, the so-called Peierls–Boltzmann equations, for each phonon branch for the phonon distributions \(f_{\mu } (t,\textbf{x},\textbf{q})\)
where \({\textbf{c}}_{\mu } = \nabla _{\textbf{q}}\) \(\mathbf{\varepsilon }_{\mu } (\textbf{q})\) is the group velocity of the \(\mu \)-th phonon specie.
The phonon collision term \(C_{\mu }\) splits into two terms
\( C_{\mu }^{\mu }\) describes the phonon interaction within the same branch while \(\, C_{\mu }^{\nu }\) describes the phonon–phonon interaction between different species. To deal with the complete expressions of the \( C_{\mu }\)’s is a very complicated task even from a numerical point of view (Srivastava 1990). So, they are usually simplified by the Bhatnagar–Gross–Krook (BGK) approximation
which mimics the relaxation of each phonon branch toward a common local equilibrium condition, characterized by a local equilibrium temperature \(T_{L}\) that is the same for each phonon population. The functions \(\tau _{\mu }\) are the phonon relaxation times
The local equilibrium phonon distributions are given by the Bose–Einstein distributions
where \(k_B\) is the Boltzmann constant. Additional BGK terms can be added to include the interaction between pairs of different branches.
The modern devices, e.g., the electron ones like double gate MOSFETs (see Camiola et al. 2020), are undergoing more and more miniaturization. This implies that the characteristic scales are of the same order as the typical lengths where quantum effects become more and more relevant. Therefore, quantum effects must be included and the semiclassical phonon transport equations must be replaced by a more accurate model. Among the possible approaches, the one based on the Wigner equation has the advantage to be formulated in a phase-space, allowing us to guess the features of the solutions in analogy with the semiclassical counterpart.
A huge literature has been devoted to the application of the Wigner equations to charge transport (see Morandi and Schürrer 2011; Muscato and Wagner 2016; Querlioz and Dollfus 2010), but a limited use has been made for phonon transport. In the next sections, a transport model, based on the Wigner quasi distribution, will be devised for phonon transport in nano-structures.
3 Phonon Wigner Functions
The main point of our derivation is the kinetic description of a one-particle quantum statistical state, given in terms of one-particle Wigner functions. Let us now briefly recall the basic definitions and properties. A mixed (statistical) one-particle quantum state for an ensemble of scalar particles in \(\mathbb {R}^d\) is described by a density operator \(\hat{\rho }\), i.e., a bounded non-negative operator with unit trace, acting on \(L^2(\mathbb {R}^d,\mathbb {C})\). Given the density operator \(\hat{\rho }\) on \(L^2(\mathbb {R}^d,\mathbb {C})\), the associated Wigner function, \(g = g(\textbf{x}, \textbf{q})\), (\(\textbf{x}, \textbf{q})\in \mathbb {R}^{2d}\), is the inverse Weyl quantization of \(\hat{\rho }\),
We recall that the Weyl quantization of a phase-space function (a symbol) \(a = a(\textbf{x}, \textbf{q})\) is the (Hermitian) operator \(Op_{\hbar }(a)\) formally defined by Hall (2013)
for any \(\psi \in L^2(\mathbb {R}^d,\mathbb {C})\). The inverse quantization of \(\hat{\rho }\) can be written as the Wigner transform
of the kernel \(\rho (\textbf{x}, \textbf{y})\) of the density operator.
The dynamics of the time-dependent phonon Wigner functions for the several phonon branches \(g_{\mu } (\textbf{x, q}, t),\) \( {\mu }= LA,TA, \ldots \) steams directly from the dynamics of the corresponding density operator \(\hat{\rho }_ {\mu }(t)\), i.e., from the Von Neumann or quantum Liouville equation
where \(\hat{H}_{\mu }\) denotes the Hamiltonian operators of the \({\mu }\)th phonons and \([\cdot , \cdot ]\) the commutator. If \(h_{\mu } = Op^{-1}_{\hbar }(\hat{H}_{\mu })\) is the symbol associated with \(\hat{H}_{\mu }\), then, from Eq. (7), we obtain the Wigner equation for each phonon species
With the symbol \(\#\), we have denoted the Moyal (or twisted) product which translates the product of operators at the level of symbols according to
for any pair of symbols a and b. Here, we do not tackle the analytical issues which guarantee the existence of the previous relations but limit ourselves to the remark that if two operators are in the Hilbert–Schmidt class, that is the trace there exists and it is not negative and bounded, then the product is still Hilbert–Schmidt and the Moyal calculus is well defined. In the sequel, we will suppose that such conditions are valid.
The Moyal product, under suitable regularity assumptions (see Folland 1989), possesses the following formal semiclassical expansion
where \(\alpha =(\alpha _1,...,\alpha _d )\in \mathbb {N}^d\) is a multi-index, \(|\alpha |=\sum _i\alpha _i\), \(\alpha !=\prod _i\alpha _i!,\) \(\partial _\textbf{x}^{\alpha }=\prod _i\partial _{x_i}^{\alpha _i}\) and similarly for \(\partial _\textbf{q}^{\beta }\).
The expansion (10) can be rewritten as
where
It is easy to see that
that is the operation \(\#_n\) is commutative (respectively, anticommutative) when n is even (respectively, odd).
If we neglect, temporarily, the phonon–phonon interactions, the Hamiltonian symbol for each phonon branch is given by
By using the Moyal calculus, one can expand the second members of the previous Wigner equations. Up to first order in \(\hbar ^2\), we have
whereFootnote 1
The previous equations describe only ballistic transport and include only the harmonic contribution to the Hamiltonian. In order to describe also intra and inter-branch phonon–phonon interactions, an additional anharmonic term \(\hat{H}_{int}\) encompassing the high order correction to the Hamiltonian operator must be added. So doing, one gets the so-called Wigner–Boltzmann equations
In the quantum case, the expression of \(C_{\mu }\) is rather cumbersome. For electron transport in semiconductors, the interested reader can see Frommlet et al. (1999). In certain regimes, it is justified to retain the same form of the semiclassical collision operator as the semiclassical case (Querlioz and Dollfus 2010).
Eq. (16) represents our starting point for the phonon transport. Note that for the optical phonons under the Einstein approximation for the energy bands one has formally the same transport equation as the semiclassical case because the group velocity vanishes.
An alternative derivation of (16) can be obtained by explicitly writing the von Neumann equation (see Luca and Romano 2019; Camiola et al. 2020 for the details). One obtains
whose expansion is of course in agreement with the Moyal calculus.
4 Phonon Moment Equations
Getting analytical solutions to Eq. (16) is a daunting task. Therefore, viable approaches are numerical solutions based on finite differences or finite elements (Morandi and Schürrer 2011) or stochastic solutions, e.g., those obtained with a suitable modification of the Monte Carlo methods for the semiclassical Boltzmann equation (Muscato and Wagner 2016). However, it is possible to have simpler, even if approximate, models resorting to the moment method for the expectation values of interest. In fact, it is well known that, although not positive definite, the Wigner function is real and the expectation values of an operator can be formally obtained as an average of the corresponding symbol with respect to \(g_{\mu }(\textbf{x}, \textbf{q},t)\). So, for any regular enough weight function \(\psi (\textbf{q})\), let us introduce the short notation
which represents a partial average with respect to the phonon momentum \(\textbf{q}\).
More in general, if \(a = a(\textbf{x}, \textbf{q})\) is a smooth symbol, then it is possible to prove that the expectation of the (hermitian) operator \(A = Op_{\hbar }(a)\) satisfiesFootnote 2
where \(k_A (\textbf{x}, \textbf{y})\) is the kernel of A.
We want to consider a minimum set of moments whose physical meaning is well clear. In particular, we shall consider the phonon energy density and energy flux density of each branch
Note that the latter is directly related to the heat flux.
The evolution equations for \(W_{\mu } (\textbf{x}, t)\) and \(\textbf{Q}_{\mu } (\textbf{x}, t)\) are obtained by multiplying the relative Wigner equation by \(h_{\mu }(\textbf{q})\), and \(h_{\mu }(\textbf{q}) \textbf{c}_{\mu }\) and integrating with respect to \(\textbf{q}\)
We implicitly assume that the resulting integrals there exist, at least in the principal value sense. In order to get some global insight from Eq. (20), we formally assume the following expansions for each phonon branchFootnote 3
It is possible to prove, at least formally (Jüngel 2009), that the semiclassical Boltzmann equation is recovered from the Wigner equation as \(\hbar \rightarrow 0^+\). Therefore, \(g_{\mu }^{(0)} (\textbf{x}, \textbf{q},t)\) can be considered as the solution \(f_{\mu }\) of the semiclassical transport equation. Accordingly, we write
where
Regarding the moments of the collision terms, only with drastic simplifications analytical expressions can be deduced. In analogy with the BGK approximation, we assume that the r.h.s. of Eq. (20) are expressed as relaxation time terms
where
Note that we have used the fact that the local equilibrium values of the energy-flux \(\textbf{Q}_{\mu }^{LE}\) vanishes. The energy and energy-flux relaxation times, \(\tau _{\mu }^W\) and \(\tau _{\mu }^\textbf{Q}\), respectively, are assumed to depends on the temperature, which will be defined in the next section, of the relative branch (see for example Vallabhaneni et al. 2016).
Altogether, the resulting model is made of the following fluid-type equations
where \(\textbf{J}_{\mu }=\textbf{J}_{\mu }^{(0)}+\hbar ^2 \textbf{J}_{\mu }^{(2)}\) with components
and the complete symmetric tensors \(\textbf{T}_{\mu }\) and \(\textbf{U}_{\mu }\) have components
If we split into zero and first order in \(\hbar ^2\), the evolution equations read
The zero-order equations are the model already investigated in several papers (Mascali and Romano 2020, 2017) (for specific materials see also Mascali 2022, 2023), where is proved that it is a hyperbolic system of conservation law, while the first-order corrections in \(\hbar ^2\) introduce dispersive terms. This is not surprising on account of the nonlocal character of the quantum evolution equations.
5 QMEP for the Closure Relations
The evolution equations (24)–(27) do not form a closed system of balance laws. If we assume the energies \(W_{\mu }\) and the energy-fluxes \(\textbf{Q}_{\mu }\) as the main fields, in order to get a set of closed equations we need to express the additional fields \(\textbf{J}_{\mu }\), \(\textbf{T}_{\mu }\) and \(\textbf{U}_{\mu }\) as functions of \(W_{\mu }\) and \(\textbf{Q}_{\mu }\). A successful approach in a semiclassical setting is that based on the Maximum Entropy Principle (MEP) (see also Camiola et al. 2020 for a complete review) which is based on a pioneering paper of Jaynes (1957a, 1957b) who also proposed a way to extend the approach to the quantum case. The MEP in a quantum setting has been the subject of several papers (Romano 2007; Degond and Ringhofer 2003; Degond et al. 2005; Barletti 2014; Barletti and Cintolesi 2012) with several applications, e.g., to charge transport in graphene (Luca and Romano 2019; Mascali and Romano 2017). Here, we will use such an approach for phonon transport.
The starting point is the entropy for the quantum system under consideration. In Luca and Romano (2019), the authors have employed the Von-Neumann entropy which, however, does not take into account the statistical aspects. Therefore, we take as entropy a generalization of the classical one for bosons. Let us introduce the operator
which must be intended in the sense of the functional calculus. Here, \(k_B\) is the Boltzmann constant. The entropy of the \({\mu }\)-th phonon branch reads
which can be viewed as a quantum Bose–Einstein entropy.
According to MEP, we estimate \(\hat{\rho }_{\mu }\) with \(\hat{\rho }^\textrm{MEP}_{\mu }\) which is obtained by maximizing \(S(\hat{\rho }_{\mu })\) under the constraints that some expectation values have to be preserved. In the semiclassical point case, one maximizes the entropy preserving the values of the moments we have taken as basic field variables
where
is the vector of the weight functions and \(g^\textrm{MEP}_{\mu }\) is the Wigner function associated with \(\hat{\rho }^\textrm{MEP}_{\mu }\). In the previous relations, the time t and position \(\textbf{x}\) must be considered as fixed.
The quantum formulation of MEP is given in terms of expectation values
as follows: for fixed t
in the space of the Hilbert–Schmidt operators on \(L^2(\mathbb {R}^d,\mathbb {C})\) which are positive, with trace one and such that the previous expectation values there exist. Note that we are applying the maximization of the entropy for each phonon branch separately. In other words, we are requiring the additivity of the entropy.
If we introduce the vector of the Lagrange multipliers
the vector of the moments
and the vector of the moments which must be considered as known
the constrained optimization problem (31) and (32) can be rephrased as a saddle-point problem for the Lagrangian
in the space of the admissible \(\hat{\rho }_{\mu }\) and smooth function \(\varvec{\eta }_{\mu }\).
If the Lagrangian \(\mathcal{L}_{\mu }(\hat{\rho }_{\mu },\varvec{\eta }_{\mu })\) is Gâteaux-differentiable with respect to \(\hat{\rho }_{\mu }\), the first-order optimality conditions require
for each Hilbert–Schmidt operators \(\delta \hat{\rho }\) on \(L^2(\mathbb {R}^d,\mathbb {C})\) which is positive, with trace one and such that the previous expectation values there exist.
The existence of the first-order Gâteaux derivative is a consequence of the following Lemma (for the proof see Nier 1993; an elementary proof in the case of discrete spectrum is given in Degond and Ringhofer 2003).
Lemma 1
If r(x) is a continuously differentiable increasing function on \(\mathbb {R}^+\), then \(\text{ tr } \{ r(\hat{\rho })\}\) is Gâteaux-differentiable in the class of the Hermitian Hilbert–Schmidt positive operators on \(L^2(\mathbb {R}^d,\mathbb {C})\). The Gâteaux derivative along \(\delta \rho \) is given by
The extremality conditions for the unconstrained minimization problem (31) and (32) are similar to that of the semiclassical case, as expressed by the following lemma (see Degond and Ringhofer 2003).
Lemma 2
The first-order optimality condition for the minimization problem (31) and (32) is equivalent to
where \((s')^{-1}\) is the inverse function of the first derivative of s.
Proof
By applying Lemma 1, the Gâteaux derivative of the Lagrangian is given by
\(\forall \delta \hat{\rho }\) perturbation in the class of the Hermitian Hilbert–Schmidt positive operators on \(L^2(\mathbb {R}^d,\mathbb {C})\). This implies
\(\square \)
Since the function s(x) is concave, \(s'(x)\) is invertible. Explicitly, we have
and the operator solving the first-order optimality condition reads
where we have rescaled the Lagrange multipliers including the factor \(1/k_B\). Moreover, such an operator is a point of maximum for the Lagrangian.
Now, to complete the program we have to determine, among the smooth functions, the Lagrange multipliers \(\varvec{\eta }_{\mu }\) by solving the constraint
If such an equation has a solution \(\varvec{\eta }^*_{\mu }\), altogether the MEP density operator reads
To determine conditions under which Eq. (40) admits solutions is a very difficult task. Even in the semiclassical case, there are examples (see Junk 1998) of sets of moments that cannot be moments of a MEP distribution.
We will directly find out the solution at least up to first order in \(\hbar ^2\).
Once the MEP density function has been determined, the MEP Wigner function is given by
which can be used to get the necessary closure relations by evaluating the additional fields with \(g_{\mu }\) replaced by \(g_{\mu }^\textrm{MEP}\).
We remark that the constraints (40) can be more conveniently expressed as
and indeed we will require, in analogy with the semiclassical case, the stronger conditions
where the Lagrange multipliers enter through \(g_{\mu }^\textrm{MEP}(\textbf{x}, \textbf{q}, t)\).
5.1 Determination of the Lagrange Multipliers
For the sake of making lighter the notation, let us consider a single branch and drop the index \(\mu \) in the Wigner function in this section. We look formally for a solution in powers of \(\hbar \)
firstly without taking into account the dependence of the Lagrange multipliers on \(\hbar \).
Of course, on account of the properties of the Weyl quantization, \(g^\textrm{MEP}_0\) is equal to the semiclassical counterpart (Hall 2013)
where
In order to determine the higher order terms \(g^\textrm{MEP}_k\), \(k \ge 1\), given a symbol \(a(\textbf{x}, \textbf{q})\) let us introduce the so-called quantum exponential Exp(a) defined as
which can be expanded as
Proposition
Let \(a(\textbf{x},\textbf{q})\) be a smooth symbol. Then, the following expansion is valid
where Einstein’s convention has been used.
The proof can be found for example in Degond et al. (2005).
By using what is proved in Barletti and Cintolesi (2012), we have
where \(\#_{2l}\) are the even terms of the Moyal product expansion.
In particular,
and
Therefore, up to first order in \(\hbar ^2\) we have
and the constraints for each phonon branch read
The previous equations form a nonlinear system of PDEs for the Lagrange multipliers whose analytical solution seems very difficult to get. Indeed, the situation is even more cumbersome because in a numerical scheme the inversion of the constraints should be performed at each time step.
A viable strategy is to use the Lagrange multipliers as field variables by rewriting the evolution equations (23) in the form
getting a highly nonlinear system of PDEs.
A further simplification can be obtained by expanding the Lagrange multipliers as
Therefore, the basic fields are also expanded with respect to \(\hbar ^2\)
where
with \(\xi ^{(0)} = \varvec{\eta }^{(0)} \cdot \varvec{\psi }\).
The balance equations become
with
We observe that Eqs. (50) and (51) decouple. Once they are solved, one can get the second-order term of the Lagrange multipliers from (52) and (53) which form a linear system for \(\varvec{\eta }^{(2)}\). This is rather beneficial from a computational point of view
Proposition 1
At zero order in \(\hbar ^2\), the map \( {\varvec{\eta }} \rightarrow \textbf{M}({\varvec{\eta }}) \) is (locally) invertible.
Proposition 2
Eqs. (50) and (51) form a symmetric hyperbolic system of balance laws.
The proofs can be found in Camiola et al. (2020).
6 Local Equilibrium Temperature
The concept of temperature out of equilibrium is a subtle topic and still a matter of debate. In the case of charge transport in semiconductors often, the phonons are considered as a thermal bath and under some reasonable assumptions one can hypothesize that the electrons are in thermal equilibrium with the bath. In general, if the dynamics of the phonons must be included, a thermal bath for these does not exist, unless a thermostated system is considered. Therefore, we need to introduce a local equilibrium temperature for the overall phonon system.
In statistical mechanics, one of the most reasonable and adopted ways to generalize the concept of temperature in a non-equilibrium state is that of relating it to the Lagrange multipliers associated with the energy constraint. For the phonon transport in graphene, an approach based on the Lagrange multipliers was followed in Mascali and Romano (2017) (which the interested reader is referred to for the details). Let us recall here the main features. At equilibrium, the phonon temperatures and the corresponding Lagrange multipliers are related by
If we assume that such relations hold, even out of equilibrium, the definition of the local temperature can be given in terms of the Lagrangian multipliers as follows.
Definition 1
The local temperature of a system of two or more branches of phonons is \(T_{LE}:= \frac{1}{k_B\eta ^{LE}_{0}(\textbf{x})},\) where \(\eta ^{LE}_{0}(\textbf{x})\) is the common Lagrange multiplier that the occupation numbers of the branches, taken into account, would have if they were in the local thermodynamic equilibrium corresponding to their total energy density, that is, the following:
where the sum runs over all the phonon branches.
At global equilibrium, the temperature is constant \(T= \bar{T}\) and the Wigner function reduced to the Bose–Einstein distribution
with the same temperature for each phonon branch.
Let us consider a small perturbation \(\delta T_{\mu } (\textbf{x})\) of the temperature in the sense that \(\delta T_{\mu }(\textbf{x})/\bar{T} \ll 1\). We can expand \(g^\textrm{MEP}_{\mu }\) in powers of \(\delta T_{\mu }(\textbf{x})/\bar{T}\)
Note that \(g_{2, \mu }^\textrm{MEP} (\bar{T})\) is zero because \(\dfrac{\partial \xi }{\partial x_i} = \dfrac{\partial \xi }{\partial T}\dfrac{\partial T}{\partial x_i} =0\) in the case of uniform temperature.
7 Heat Flux in the Stationary Regime
In order to have a guess of the main features of the constitutive relations deduced with QMEP, we would like to get some asymptotic expression for the heat flux which can be compared with that in the semiclassical case. In particular, in order to devise a suitable coefficient of thermal conductivity, we try to put \((\textbf{Q}_r)_{\mu }\) in form as close as possible to the Fourier one. Since in the semiclassical case, the Fourier form is obtained from the hyperbolic balance equations in the stationary regime, we consider a steady state.
In such a case, the time derivatives can be dropped and one gets
The relation between the Lagrange multipliers and the basic fields, as seen, can hardly be inverted analytically, but a numerical procedure is necessary. However, if we consider a situation where the system is not too far from the equilibrium an expansion of the Lagrange multipliers around the equilibrium state can be performed. At equilibrium, \(g_{\mu }^\textrm{MEP}\) is isotropic and therefore, \({\varvec{\eta }}_{1,_{\mu }}^{equil} = \textbf{0}\) and in a neighborhood of the equilibrium \({\varvec{\eta }}_{1,_{\mu }}\) remains small.
More in general, in the spirit of Levermore theory of moments (Levermore 1996), we can consider the distribution depending on both energy density and energy-flux density as a perturbation of the distribution when only \(W_{\mu }\) is the macroscopic field variable. Consistently, we assume that \({\varvec{\eta }}_{1,_{\mu }}\) remains small. Formally, we introduce an anisotropy parameter \(0< \delta \ll 1\) and require
Note that in this way we are not necessarily restricted to situation close to equilibrium. So the temperature can vary without any constraints. By expanding in power of \(\delta \), one gets, at zero order in \(\hbar ^2\),
We remark that the higher order terms do not enter the constitutive relation for \(\textbf{Q}_{\mu }\) and observe that \(\forall \textbf{n} \in {S^d}\)
\(S^d\) being the unit sphere in \(\mathbb {R}^d\).
The previous relation implies
if r is odd because the Bose–Einstein distribution is isotropic(remember that the dispersion relation is assumed isotropic).
At the zero order in \(\hbar ^2\), we have
which can be written in the Fourier form
with the thermal conductivity tensor given by
It is evident that \(\textbf{K}_{\mu }^{(0)} \) is positive definite.
Therefore, if \(h_{\mu } (\textbf{q})\) is isotropic, then \(\textbf{K}_{\mu }^{(0)} \) is isotropic as well
with \(\textbf{I}\) identity matrix of order d and \(k^{(0)}\) the zero order trace
The second-order correction in \(\hbar ^2\) reads
Indeed, if we are close to equilibrium the last term in the previous relation is of order \(\hbar ^2 \delta \) and can be considered negligible for small deviations from local equilibrium. In any case, the remaining part gives a highly nonlinear correction which cannot be put in a Fourier form.
In the next subsections, we will analyze the quantum corrections in the most relevant phonon branches. Of course, the optical phonons, and in particular the K-phonons in graphene, have a zero group velocity in the Einstein approximation and, as a consequence, they do not contribute directly to the thermal diffusion even if they play an indirect role on account of the scattering with the acoustic branches.
7.1 Acoustic Phonons
In this subsection and in the next one, only the zero order terms in \(\delta \) are retained in the \(\hbar ^2\) contribution.
In the case of the longitudinal and transversal acoustic phonons in the Debye approximation for a single branch, the corresponding symbol of the phonon Hamiltonian reads \(c_{ac} |\textbf{q}|\) and therefore,
with now \(\xi =c_{ac}|\textbf{q}|/k_B T\) and
the measure of \(S_d\), \(\Gamma (x)\) being the Euler gamma function. The previous integral is convergent for any \(d\in \mathbb {N}\). Observe that we get a dependence on the temperature proportional to \(T^{d}\).
We observe that
and, therefore, the second-order correction to the heat flux is given by
with
\(( \mathbf{e_1}, \mathbf{e_2}, \cdots , \mathbf{e_d})\) being an orthonormal basis of \(\mathbb {R}^d\).
By taking into account, the well-known formulas
the components of \(\textbf{J}^{(2)}\) read
where
From the above results, one gets the second-order correction to the energy flux density
The integrals \(I_1(d)\) and \(I_2(d)\) are divergent in the cases \(d =1\) and \(d =2\). As a consequence, the quantum corrections are valid only in the bulk (\(d =3\)) case where \( I_1(3) = \pi ^2, I_2(3) = 4\pi ^2\). This peculiarity is physically related to the density of states and the form of the energy dispersion relations and cannot be ascribed to the approximation of the first Brillouin zone with all \(\mathbb {R}^d\) because the singularity appears as the momentum tends to zero, that is at the center \(\Gamma \) of the first Brillouin zone. Since this pathology is not present for quadratic dispersion relations (see the next subsection) such as for Z-phonons, to overcome the divergence of the integrals \(I_1(d)\) and \(I_2(d)\), a viable way could be to quadratically regularize the dispersion relation in a suitable small neighborhood of the \(\Gamma \) point of the first Brillouin zone and matching it with a linear function for higher energies.
7.2 Quadratic Dispersion Relations and Z-Phonons
The Z-phonons have a quadratic dispersion relation \(h_{ZA}(\textbf{q})=\bar{\alpha } |\textbf{q}|^2 \), which is also a rather common approximation in a neighborhood of a energy minimum, and the group velocity is \(\textbf{c}_{ZA}(\textbf{q})=2 \bar{\alpha } \textbf{q}\).
One gets the following zero-order thermal conductivity
with \(\xi =\dfrac{\bar{\alpha } |\textbf{q}|^2}{k_B T} \). Observe that previous integral is always convergent for any d and that \({k}_{ZA}^{(0)}\) depends on the temperature as \(T^{\frac{d}{2}+1}\).
The second-order correction to the distribution function reads
and one gets
where
Note that the integrals \(H_1(d)\) and \(H_2(d)\) are convergent in the two- and three-dimensional cases which are the relevant ones from a physical point of view. For \(d=1\), they diverge, but this case can be considered as an oversimplification.
By evaluating the divergence of the completely symmetric second-order tensor \(\textbf{J}^{(2)}\), one finds out the second-order correction to the energy-flux density
8 Conclusions
The Wigner equation for phonons has been written in the case of a generic dispersion relation. Moment equations have been deduced and closed by QMEP. Under a long-time scaling, an expression for the heat flux with a nonlinear quantum correction has been obtained. The model is suited for the investigation in modern micro-devices where the enhanced miniaturization makes thermal effects more and more relevant.
Notes
Summation over repeated indices is understood from 1 to d.
Here we are considering a fixed instant of time.
The coefficients of the odd powers in \(\hbar \) are assumed zero in according to the previous Moyal expansion.
References
Barletti, L.: Hydrodynamic equations for electrons in graphene obtained from the maximum entropy principle. J. Math. Phys. 55, 083303 (2014)
Barletti, L., Cintolesi, C.: Derivation of isothermal quantum fluid equations with Fermi–Dirac and Bose–Einstein statistics. J. Stat. Phys. 148, 353–386 (2012). https://doi.org/10.1007/s10955-012-0535-5
Camiola, V.D., Mascali, G., Romano, V.: Charge Transport in Low Dimensional Semiconductor Structures. The Maximum Entropy Approach. Springer, Berlin (2020)
Degond, P., Ringhofer, C.: Quantum moment hydrodynamics and the entropy principle. J. Stat. Phys. 112(3/4), 587–628 (2003)
Degond, P., Méhats, F., Ringhofer, C.: Quantum energy-transport and drift–diffusion models. J. Stat. Phys. 118(3/4), 625–667 (2005)
Folland, G.B.: Harmonic Analysis in Phase Space. Princeton University Press, Princeton (1989)
Frommlet, F., Markowich, P., Ringhofer, C.: A Wigner function approach to phonon scattering. VLSI Des. 9(4), 339–350 (1999)
Hall, B.C.: Quantum Theory for Mathematicians. Springer, Berlin (2013)
Jacoboni, C.: Theory of Electron Transport in Semiconductors. Springer, Berlin (2013)
Jaynes, E.T.: Information theory and statistical mechanics. Phys. Rev. 106, 620–630 (1957)
Jaynes, E.T.: Information theory and statistical mechanics. II. Phys. Rev. 108, 171–190 (1957)
Jou, D., Restuccia, L.: Non-equilibrium thermodynamics of heat transport in superlattices, graded systems, and thermal metamaterials with defects. Entropy 25, 1091 (2023). https://doi.org/10.3390/e25071091
Jüngel, A.: Transport Equations for Semiconductors. Springer, Berlin (2009)
Junk, M.: Domain of definition of Levermore’s five moment system. J. Stat. Phys. 93, 1143–1167 (1998)
Levermore, C.D.: Moment closure hierarchies for kinetic theories. J. Stat. Phys. 83, 1021–1065 (1996)
Luca, L., Romano, V.: Comparing linear and nonlinear hydrodynamical models for charge transport in graphene based on the Maximum Entropy Principle. Int. J. Non-Linear Mech. 104, 39–58 (2018). https://doi.org/10.1016/j.ijnonlinmec.2018.01.010
Luca, L., Romano, V.: Quantum corrected hydrodynamic models for charge transport in graphene. Ann. Phys. 406, 30–53 (2019). https://doi.org/10.1016/j.aop.2019.03.018
Mascali, G.: Exploitation of the maximum entropy principle in the study of thermal conductivity of silicon, germanium and graphene. Energies 15, 4718 (2022). https://doi.org/10.3390/en15134718
Mascali, G.: Some electric, thermal and thermoelectric properties of suspended monolayer graphene. SIAM J. Appl. Math. 83(2), 835 (2023)
Mascali, G., Romano, V.: Charge transport in graphene including thermal effects. SIAM J. Appl. Math. 77(2), 593–613 (2017). https://doi.org/10.1137/15M1052573
Mascali, G., Romano, V.: A hierarchy of macroscopic models for phonon transport in graphene. Phys. A 548, 124489 (2020). https://doi.org/10.1016/j.physa.2020.124489
Morandi, O., Schürrer, F.: Wigner model for quantum transport in graphene. J. Phys. A Math. Theor. 44, 265301 (2011)
Mounet, N., Marzari, N.: First-principles determination of the structural, vibrational, and thermodynamical properties of diamond, graphite, and derivatives. Phys. Rev. B 71(20), 205214 (2005)
Muscato, O., Wagner, W.: A class of stochastic algorithms for the Wigner equation. SIAM J. Sci. Comput. 38, A1483–A1507 (2016)
Nier, F.: A variational formulation of Schrödinger-Poisson systems in dimension d \(\le \) 3. Commun. Partial Differ. Equ. 18(7–8), 1125–1147 (1993)
Nika, D.L., Balandin, A.A.: Two-dimensional phonon transport in graphene. J. Phys.: Condens. Matter 24(23), 233203 (2012)
Pop, E., Varshney, V., Roy, A.K.: Thermal properties of graphene: fundamentals and applications. MRS Bull. 37(12), 1273 (2012)
Querlioz, D., Dollfus, P.: The Wigner Monte Carlo Method for Nanoelectronic Devices. ISTE Wiley, London (2010)
Romano, V.: Quantum corrections to the semiclassical hydrodynamical model of semiconductors based on the maximum entropy principle. J. Math. Phys. 48, 123504 (2007)
Sellitto, A., Cimmelli, A., Jou, D.: Mesoscopic Theories of Heat Transport in Nanosystems. Springer, Berlin (2016)
Simoncelli, M., Marzari, N., Mauri, F.: Wigner formulation of thermal transport in solids. Phys. Rev. X 12, 041011 (2022)
Srivastava, G.P.: The Physics of Phonons. Taylor and Francis, Abingdon (1990)
Vallabhaneni, A.K., Singh, D., Bao, H., Murthy, J., XiuRuan, X.: Reliability of Raman measurements of thermal conductivity of single-layer graphene due to selective electron-phonon coupling: a first-principles study. Phys. Rev B 93, 125432 (2016)
Acknowledgements
The authors acknowledge the support from INdAM (GNFM) and from Università degli Studi di Catania, Piano della Ricerca 2020/2022 Linea di intervento 2 ”QICT”. V. D. Camiola acknowledges the financial support from Università degli Studi di Catania, PIAno di inCEntivi per la RIcerca di Ateneo 2020/2022 - Linea di intervento 3 “Starting Grant”.
Funding
Open access funding provided by Università degli Studi di Catania within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Paul Newton.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Camiola, V.D., Romano, V. & Vitanza, G. Wigner Equations for Phonons Transport and Quantum Heat Flux. J Nonlinear Sci 34, 10 (2024). https://doi.org/10.1007/s00332-023-09993-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-023-09993-z