The numerical methods section is divided into two subsections. In the first subsection, the governing equations of CHT are introduced. The second subsection presents the LBM, which can be used to solve these equations and also discusses in detail the modifications that must be made to the standard LBM.
2.2. Lattice-Boltzmann Method
The LBM evolution equation reads
where
are velocity probability density functions for particle clusters, also called populations.
is the position vector,
t is the time, and
is the time increment.
is the discrete velocity of the population
,
is the collision operator, and
S is an arbitrary source term that could represent, for example, a body force.
The set of discrete velocities depends on the lattice configuration, typically denoted by , where is the number of dimensions and is the number of discrete velocities. For example, the lattice is the most commonly used lattice for two-dimensional fluid simulations, while the is predominantly used for advection-diffusion type problems, where the reduced set of discrete velocities is sufficient for recovering an ADE on the macroscopic level.
Figure 1a shows the
lattice configuration, where eight velocities are defined by directly connecting the current lattice and its neighbors. The ninth velocity is zero and assigned to the rest population.In
Figure 1b, it can be seen that the
lattice can be interpreted as a pruned version of the
.
Density
and the momentum vector
can be recovered as zero- and first-order moments of the velocity probability density functions, respectively, as
From Equations (
5) and (
6), the velocity vector
can be readily calculated. Several collision operators are available. The most commonly used are the single-relaxation-time (SRT), often referred to as the Bhatnagar–Gross–Krook (BGK) [
29] model, and the multiple-relaxation-time (MRT) [
30] collision operators. The SRT is defined by a single relaxation time, while the MRT schemes possess as many relaxation times as lattice velocities. A special case of MRT is the two-relaxation-time (TRT) [
31] scheme. In addition to the standard MRT, there are more sophisticated variants, such as the cascaded [
32] and cumulant [
33] collision operators, which will not be considered in this study. The simplest variant is the BGK [
29], given by
where
is the relaxation time, linked to the viscosity of the fluid by
and
is the lattice speed of sound, which depends on the lattice configuration (e.g., D2Q9:
). It is important to mention that a LBM simulation is typically performed on a uniform grid (i.e.,
) and in lattice units defined by a set of conversion factors resulting from a conveniently rescaled system, where the time increment
, the spatial step size
and the reference density of the fluid
in lattice units are unity (i.e.,
,
,
). The system must be rescaled in such a way that the non-dimensional numbers determining the flow behavior are equal to the original unscaled system.
The TRT [
31] uses two different relaxation times. One for the symmetric (even) part of the populations
and one for the anti-symmetric (odd) part
, where
is the population associated with the discrete velocity
in opposite direction to
and the corresponding symmetric and anti-symmetric equilibria are calculated similarly:
The symmetric relaxation time
is related to the fluid viscosity
(similar to Equation (
8)), while the anti-symmetric relaxation time
, given by
can be used to fine tune the behavior of the collision operator by choosing an appropriate value for
[
34]. Since
has no direct physical meaning, it is often called magic operator. In the present work, where not otherwise stated, the TRT was optimized for stability by setting
[
34].
Theoretically, it would be possible to relax every population towards its equilibrium with its own individual relaxation time . By transforming the populations into momentum space and performing the collision there, it is possible to relax the moments directly rather than populations, simplifying the task of finding individual relaxation times to some extent. However, based on the choice of moments, there are still free parameters that must be fine-tuned for stability and accuracy. For example, the considered moments , following from the Gram–Schmidt procedure, for the D2Q9 lattice configuration are density , kinetic energy e, energy squared , x-momentum , x-energy-flux , y-momentum , y-energy-flux , normal stress , and shear stress .
The MRT [
30] collision operator in vector notation is
where
is a transformation matrix from population into momentum space, and
is the inverse Matrix accomplishing the reverse operation.
is a matrix containing the relaxation times for the individual moments
. Another advantage of the MRT is that the equilibrium moments
can be computed analytically and do not need to be approximated like their counterparts in population space
.
Using the Chapman–Enskog theory [
35], it can be shown that the LBM, using the most common lattice configurations, recovers the incompressible athermal Navier–Stokes equations ((Equations (
1) and (
2)) as introduced in
Section 2.1.
The most commonly used method for incorporating the energy equation is to introduce a second population to simulate an ADE for the temperature as a passive scalar. It should be noted that conservation of energy is not necessarily guaranteed in this way since viscous dissipation, pressure work, and kinetic energy are neglected. However, this approximation is often acceptable.
The LBM evolution equation for the ADE for the temperature
T reads formally similar to its Navier–Stokes counterpart (Equation (
4)):
The main difference is in the definition of the equilibrium distributions
and that, in general, fewer discrete velocities are needed to recover an ADE compared to the incompressible, athermal Navier–Stokes equations. Again, using Chapman–Enskog expansion, it could be shown that the LBM for the ADE recovers an energy equation in the form of
where
is the velocity vector
in index notation and
a is the thermal diffusivity.
Even though the temperature
T is connected to the flow-field by the advective term in Equation (
13), it can only be seen as a one-way coupling since the density in LBM is not a function of the temperature. For relatively small temperature changes, a popular method to restore a two-way coupling between the Navier–Stokes equations and the energy equation is the Boussinesq approximation, which was also used in the present work.
There are several methods to include the buoyancy source term resulting from the Boussinesq approximation into the LBM. In the present work, the exact difference method (EDM) of Kupershtokh [
36] was used. In accordance with the Boussinesq approximation, a force density vector field is first calculated from
assuming this force field is constant during a time step and the time step is small enough in order for the forces to be considered pulse-like, the change in momentum can be approximated as
If, in addition, it is assumed that the density remains constant, the change in velocity can be calculated from
Hence, the shifted macroscopic velocities are given by
and are then used to calculate a shifted equilibrium distribution
. Finally, the difference in
and
is added as a source term to the LBM during the collision step as
The presented LBM would suffice for all further investigations if only fluid flow were of interest. The problem, however, is that in the context of CHT, in order to account for a spatially varying (but temporally constant) density
, specific isobaric heat capacity
, and thermal conductivity
k within the domain, at least an energy equation in the form of Equation (
3) instead of Equation (
13) needs to be considered.
Following the review paper of Korba and Li [
21], the methods to solve this problem can be divided into several groups, for example:
- (a)
Interface-considering schemes: Li et al. [
22] developed such a method, where the basic equations of LBM remain unchanged, but in the neighboring cells of the interface, the populations
are corrected so that the heat flux density
across the interface remains constant. Although this method would have advantages for cases where the wall is not located exactly between two lattices, it was not used in the present work because it is not clear how to account for the discontinuity of the wall-normal vectors at sharp corners.
- (b)
Additional source term: By comparing Equation (
3) with Equation (
13), a source term
can be identified, which, when added to the LBM using an appropriate method, yields Equation (
3) on a macroscopic level. Karani and Huber [
23] developed such a method. However, as also pointed out by Korba and Li [
21], it is problematic that this method uses a finite difference approximation of the term
. The derivative of a jump is not well-defined mathematically. Therefore, this method was not used in the present work.
- (c)
Modified equilibrium distribution: This approach was proposed by Lu et al. [
24], where instead of the temperature
T, the enthalpy
is introduced into the ADE as the transported quantity. The additionally required source term arising from this change in variables is included in the modified equilibrium distribution of the rest population
. This method was chosen in the present study and will be briefly introduced in the next section.
2.2.1. Conjugate Heat Transfer Method
The basic LBM evolution equation remains unchanged and is recalled from the previous section as
Instead of the temperature
T, the enthalpy
H is recovered as zero-order moment
of the ADE
and the modified equilibrium distribution reads in population space
where
are the lattice weights for the corresponding lattice velocities
and
is a reference-specific volumetric heat capacity at constant pressure, usually defined as the minimal value of the problem. In the present work, the fluid term is always smaller than the solid term, which is usually valid if the fluid is a gas. This equilibrium distribution can be used by the BGK and TRT collision operators. The equilibrium vector in momentum space [
21] is for the standard ADE in terms of the temperature
T, given by
and for the CHT method, the modified momentum equilibrium vector reads, according to [
21],
2.2.2. Boundary Conditions
Figure 2 schematically depicts the lattice configuration near the wall as used in the present work, where
is the location of a solid lattice,
is the location of the first fluid lattice, and
is the location of the wall, which is assumed to be approximately between the two adjacent lattices.
For the fluid populations at the resting walls, the half-way bounce-back [
37] was used:
where the wall-normal population
, at the cell location next to the wall
, at the new time level
, is set to the post-collision population of the opposite direction
from the current time step.
Three types of boundary conditions were required for the thermal populations. A Dirichlet-type boundary condition was implemented using the anti-bounce-back method of Ginzburg et al. [
38]. For adiabatic boundary conditions, the zero-gradient method of Malaspinas [
39] was used, which estimates a wall temperature based upon a Taylor series expansion in proximity to the wall. This temperature was then enforced by using the anti-bounce-back method of Ginzburg et al. [
38]. Additionally, the convective heat flux boundary condition of Huang et al. [
40] was used, which allows setting a specific value for the heat-transfer coefficient
h.
The anti-bounce-back boundary condition [
38] reads
where
is the population into the opposite direction of
of the old time step at the boundary node position
,
is the corresponding lattice weight and
is the equilibrium distribution, which depends on the wall temperature
and the wall velocity vector
.
The adiabatic boundary condition follows the approach proposed by Malaspinas [
39] but differs in the lattice configuration near the wall. While [
39] assumes the lattice-center coincident with the wall interface, in this study, the interface is located approximately between two adjacent lattices. Therefore, the evaluation points of the Taylor series expansion are different.
Evaluating the Taylor series expansion one and two lattices away from the wall at indices
and
(see
Figure 2), neglecting third- and higher order terms, and setting the temperature gradient at the wall to zero
, the wall temperature readily follows as
The computed wall temperature is then plugged into the anti-bounce-back formulation (Equation (24)) to fulfill the adiabatic boundary requirement automatically.
The convective heat flux boundary condition was implemented as proposed by Huang et al. [
40] and reads
where superscript
n indicates adjacent populations at the interface (e.g.,
), h is the heat transfer coefficient,
k is the heat conductivity, and
is the ambient temperature on the other side of the interface.