1. Introduction
The problem of the onset and development of convection in a uniform horizontal layer heated from below is known as the Darcy–Bénard problem or the Horton–Rogers–Lapwood problem, and it has been studied widely since the pioneering works of Horton and Rogers [
1] and Lapwood [
2]. Detailed accounts of the development of the subject may be found in the reviews by Nield and Bejan [
3], Rees [
4], Tyvand [
5] and Barletta [
6].
In its classical form Darcy’s law applies, which means that there are no extensions such as those represented by the boundary and form-drag terms, an anisotropy permeability or temperature-dependent properties. Likewise, the heat transport equation does not include thermal dispersion terms, an anisotropic diffusivity, a temperature-dependent viscosity or local thermal nonequilibrium effects. In this original form, and in an unbounded layer, the critical Rayleigh number is very well-known to be
and the associated wavenumber is
[
1,
2]. Weakly nonlinear theory then shows that two-dimensional rolls are favoured; three-dimensional planforms such as rectangular or hexagonal cells are unstable and therefore unachievable in practice. There are contexts when this straightforward scenario is altered—these include layers with discrete sublayers (square cells; see Rees and Riley [
7]), layers with imperfectly conducting boundaries (also square cells; Riahi [
8] and Rees and Mojtabi [
9]), layers with spatially varying boundary temperatures (rectangles, wavy rolls; see Rees and Riley [
10,
11]), and layers with internal heating (hexagonal cells; see Tveitereid [
12]).
In this paper, we consider the combined effects of viscous dissipation and form-drag (also called the Forchheimer effect) on weakly nonlinear convection in an otherwise classical Darcy–Bénard layer. While one could have chosen a different pair of “effects”, these two are found to interact in a somewhat unusual manner, and therefore it is these which will be considered. At present, there is only one paper to our knowledge that considers the effect of viscous dissipation in the nonlinear regime in the context of thermoconvective instability, and that is the analysis by Celli et al. [
13] who consider mixed convection in a Darcy–Bénard layer. Their externally-induced and uniform horizontal flow is parallel to the axes of the convecting cells. One further paper which is of some interest in the present context is that of Rees [
14], which considers the presence of viscous dissipation in a sidewall-heated square cavity. In that work, the author showed that the “velocity-squared” model for viscous dissipation in a porous medium, the form which is generally used and which was derived by Breugem and Ree [
15] using a Representative Elementary Volume analysis, cannot be sustained by having values for the Gebhart number that are too large. In [
14], it was found that, when Gebhart number increases beyond a critical value (which depends on the Rayleigh number but which is above unity), then there exists a region within the interior of the cavity that has temperatures that are larger than what is imposed on the boundary, a situation which is unphysical. Thus, large Gebhart numbers induce a physical situation that cannot occur in reality, and this concurs with the following statement by Celli et al. [
12], namely, that:
the condition Ge=1 is far beyond any conceivable application, except for some geophysical cases. In the present paper, the Gebhart number is assumed to be asymptotically small, and its magnitude is used as the expansion parameter for the weakly nonlinear analysis.
It is shown that a hexagonal pattern of convection is preferred when convection first appears, and that this is due to the presence of viscous dissipation which introduces extra forcing terms at third order in the weakly nonlinear theory. At higher Rayleigh numbers within the weakly nonlinear regime, rolls are re-established as the favoured pattern, although there is an intermediate regime where both patterns are stable to small disturbances. It is found that, as the Forchheimer parameter increases from zero, hexagonal cells lose their characteristic subcriticality, but they increase their range of stability to small disturbances.
The analysis which is followed here is based heavily on the general framework for the weakly nonlinear theory of Darcy–Bénard convection, which is outlined in Rees [
16], and the reader is referred to those lecture notes for further details.
2. Governing Equations
The equations governing Boussinesq convection in a porous medium subject to Darcy’s law are given by
where
K is the permeability,
g gravity,
the fluid viscosity,
k the thermal conductivity of the saturated medium and
the coefficient of cubical expansion. In addition,
is density and
the specific heat, with the subscripts
m and
f referring, respectively, to the porous matrix and the saturating fluid. In the above,
and
are the horizontal coordinates, while
is the vertical coordinate with
,
and
being the respective Darcy velocities. In addition,
T is the temperature of the saturated medium while
is the reference temperature.
Lengths are nondimensionalised with respect to
d, the height of the layer, velocities with respect to
, time with respect to
, and temperature using
. Therefore, Equations (
1)–(
3) become
The viscous dissipation parameter,
, is given by
where
are the Gebhart and Darcy–Rayleigh numbers, respectively. Physically,
will be very small, and we will use this as the expansion parameter for the weakly nonlinear theory.
We may now eliminate the velocities from Equations (
4) and (
6) by using Equation (
5). The basic pressure and temperature profiles corresponding to the steady conduction regime are
We now perturb about this basic state by making the following substitutions:
On dropping the tildes, the resulting nonlinear perturbation equations are
and
These equations are to be solved subject to the homogeneous boundary conditions,
in a horizontally unbounded domain.
3. Weakly Nonlinear Analysis
Weakly nonlinear analysis is undertaken in the usual way by writing
where the viscous dissipation parameter,
, satisfies
. The timescale must be slow, since we are close to the onset of instability, and therefore we set
The factor of
in Equation (
16) is an a posteriori numerical adjustment to maximise the number of unit coefficients in the final amplitude equations.
At
in the expansion, the appropriate equations are given by
These homogeneous equations admit roll solutions of any orientation, but at a critical value of
, which depends on the wavenumber of the rolls. At this stage of the analysis, Equation (
17) represents the linearised stability equations for the classical Darcy–Bénard problem, the neutral curve for which is given by
, where
a is the wavenumber. The value of
is minimised when
, and, therefore, we will concentrate on this value, for which
.
If we were to take as the solution of Equation (
17) that of a single roll, then the nonlinear interaction caused by viscous dissipation terms in Equations (
11) and (
12) would not alter the final amplitude equation from that which arises when viscous dissipation is absent. However, the interaction of two rolls at
to each other results in a third roll which is at
to both of these. Thus, a quadratic nonlinearity occurs in the resulting set of three amplitude equations. Therefore, we take as the solution of Equation (
17) the trio of rolls:
where
A,
B and
C are functions of the slow timescale
, and the coefficients in Equations (
18) and (
19) have also been chosen to obtain as many unit coefficients as is possible in the amplitude equations obtained below.
At
, the full equations are given by
and the inhomogeneous terms expand to many lines and are therefore omitted for the sake of brevity. The solutions for
and
are given by
At
, the governing equations are given by
Many of the inhomogeneous terms in Equations (
24) and (
25) are proportional to the
eigensolutions given in Equations (
18) and (
19), and it is necessary to apply solvability conditions as given below. The final three terms on the right-hand side of Equation (
25) correspond to the presence of viscous dissipation.
We take as our solvability condition
where
and
are terms drawn from the right-hand sides of (
24) and (
25), respectively, and where
and
are eigensolutions taken from one of the
solutions in Equations (
18) and (
19). Then, the integration given in Equation (
26) takes place over a region in which hexagonal patterns are periodic in both horizontal directions. A similar procedure takes place for the other two roll directions. The satisfaction of the integral constraint given in Equation (
19) ensures that the inhomogeneous terms in Equations (
24) and (
25) do not have components that are proportional to the
eigensolutions given in Equations (
18) and (
19). Therefore, Equations (
24) and (
25) may be solved if required; otherwise, Equations (
18) and (
19) do not possess solutions.
Following this process for all three roll directions yields the following trio of amplitude equations for
A,
B and
C:
where
and
are given by,
In general, the value of
depends on the relative orientation of the two rolls; Rees [
16] shows that the general expression is
when the relative orientation of two rolls is
.
4. Analysis of the Amplitude Equations
We are interested in the formation of hexagonal cells, and therefore we obtain the following steady solution of Equations (
27)–(
29),
which defines the value of
E, the steady equilibrium solution. The plus sign corresponds to the upper branch while the minus sign corresponds to the lower branch; see
Figure 1. This solution may be taken as being real, without loss of generality. The bifurcation diagrams corresponding to this solution and that of a single roll solution, e.g.,
,
, are both shown in
Figure 1. It is well-known that hexagonal solutions bifurcate from the zero solution via a transcritical bifurcation, and subcritical convection occurs at values of
that are negative. In this case, hexagonal solutions exist when the following inequality is satisfied,
as compared with rolls which exist only when
.
We now describe very briefly a straightforward stability analysis of hexagonal solutions. If we perturb the solution given in Equation (
32) about
using
and so on, then we obtain the following linearised perturbation equations for
,
and
:
Given their symmetry, these equations may be simplified by setting
, on noting that it is not possible to set
since then Equations (
35) and (
36) become inconsistent. Setting both
and
to be imaginary and proportional to
, where
is real, results in two possible values of
, namely, 0 and
. Respectively, these mean that the whole of the solution curve is neutrally stable with respect to disturbances in phase, while that part of the lower branch which corresponds to negative values of
E is unstable. Repetition of the same procedure with
and
taken to be real yields either
or
In Equation (
37),
is positive only when positive values of
E correspond to points below the turning point on the solution curve, while, in Equation (
38),
is positive when
or
Therefore, we conclude that hexagons exist and are stable in the range
and for points on the upper branch of the solution curve. Points on the lower branch are always unstable.
5. The Stability of Rolls
We turn now to determining the range of values of
within which rolls are stable. Omitting the details, we may perturb about the single roll solution,
,
in the same way as above. We obtain the perturbation equations,
Equation (
42) only admits decaying solutions when
is real, and is again neutrally stable to disturbances in phase (i.e., when
is imaginary). Therefore, Equations (
43) and (
44) must be considered to determine neutral stability. We find that the single roll solution is stable only when
Summarising the above results, we find that hexagons exist when , and rolls exist when . Hexagons are stable when and rolls are stable when . Thus, there is an intermediate regime within which both rolls and hexagons are stable to infinitesimal disturbances. Although we do not prove it here, there is a mixed mode branch of unstable solutions which bifurcates away from the roll branch at and then joins the branch of hexagonal solutions at as a subcritical bifurcation.
6. The Effect of Forchheimer Terms on Hexagonal Cells
We now consider the additional effect of form drag, as modelled by the Forchheimer terms. Following Rees [
17], the non-dimensional equations that govern those cases where the quadratic Forchheimer terms are significant are given by
where
The constant
, which appears in Equation (
51), is quoted by many papers to be given by Ergun’s relation,
, (Nield and Bejan [
3]), where
L is a lengthscale associated with the microstructure of the medium, and
is the effective porosity. Again, following Rees [
17], we need to rescale
G according to
so that form drag effects are felt at
, rather than at
. The value,
, is termed the Forchheimer parameter.
The expansion proceeds as before and with exactly the same solutions up to
. At
, the presence of form drag yields further inhomogeneous terms that must be included into the solvability condition. The
equations are now given by
In Equations (
53) and (
54), the values
,
and
are the velocities corresponding to the
pressure distribution,
, and the value
is the
velocity,
The separate application of the solvability condition (
26) for all three roll directions now yields the following amplitude equations:
The final coefficient in these amplitude equations is given by
The value of this integral depends on the relative magnitudes of
A,
B and
C, and cannot be evaluated analytically. However, for steady rolls and hexagons, we have
The numerical value given in Equation (
60) is consistent with that given in Rees [
17]. If one were to wish to follow the time-evolution of
A,
B and
C, then it would be necessary to evaluate
at every timestep.
We may now consider the effect of the Forchheimer terms on the amplitude on hexagonal convection. If we set
A,
B and
C to all be equal to
E, which is real, and assume that the flow is steady, then
E satisfies the equation
where we have set
for simplicity of presentation. In this rather unusual amplitude equation, it is clear that
remains a possible solution, but the nonzero solutions now satisfy
The solution curves for
E fall into four different cases depending on the magnitudes of
and
, and these are sketched in
Figure 2.
When
form drag effects are absent, the flows considered earlier apply. When
, there remains a subcritical flow on the upper branch of the solution curve, but the degree of subcriticality has now been reduced. In this range of values of
, it is shown easily that the smallest value of
on the upper solution branch is given by
at which point the amplitude of convection is given by
In this range of values of , the lower branch becomes weaker in the sense that decreases when increases for any chosen value of ; this is a consequence of form drag reducing the efficacy of buoyancy forces to cause flow. There is also a discontinuous change of slope of the lower branch at , where changes to .
At the point where
, the upper branch becomes a parabola, which is characteristic of a standard supercritical pitchfork bifurcation. Therefore, subcritical flow does not exist when
, or, equivalently, when
is small:
As
continues to increase above
, the amplitudes of convection at any chosen positive value of
continues to decrease, and the onset of convection is via an asymmetric sharp-nosed bifurcation. The lower branch remains unstable for small disturbances while the upper branch is stable initially as
increases above zero. The equivalent situation for rolls, given in [
13], is that the bifurcation is also sharp-nosed, but the bifurcation diagram remains symmetric.
8. Conclusions
We have sought to determine the combined effect of viscous dissipation and form drag on Darcy–Bénard convection. Viscous dissipation serves to cause the stable pattern of convection to change from rolls to hexagons for a range of values of the Darcy–Rayleigh number, which includes the critical value, , or, equivalently, .
We have determined the range of stability of these patterns and compared them with that for rolls, which eventually re-emerge as the stable pattern as the Darcy–Rayleigh number increases. We find that form drag alters the shape of the solution curves to such an extent that, when it is sufficiently strong, there is no longer any subcritical convection, which is the ubiquitous characteristic of hexagonal patterns. Form drag also increases the size of the region within which hexagons are stable and that region within which rolls are unstable.
It is in the nature of weakly nonlinear theory that the phenomena it predicts take place close to the onset of convection. It provides an accurate indicator of the qualitative behaviour that will arise when governing parameters take larger values. In the present paper, we have considered both the viscous dissipation and form drag to be weak, and therefore the detailed behaviour of hexagonal cells which have been described take place asymptotically close to
. Should the Gebhart number not be asymptotically small, then hexagonal convection will arise at values of the Darcy–Rayleigh number, which are at
distances from the critical value, and therefore they will be seen easily in practice. In addition, if form drag effects are also strong, then the loss of subcriticality shown in
Figure 2 will also be visible practically. The message from our analysis is that there will be
values of both the Gebhart and Forchheimer parameters that also obey the qualitative behaviours which we have described here.
It is also worth stating that other agencies will alter the symmetry of the basic temperature field to cause hexagons to arise preferentially—this includes a temperature-dependent thermal diffusivity and weak vertical throughflow as first considered by Wooding [
18] and Sutton [
19]. However, the manner in which the weakly nonlinear theory progresses suggests that any changes to the present analysis will only be quantitative, and, in these cases, the general qualitative behaviour will be identical to that presented here.
Finally, we note that Rebhi et al. [
20], who have studied the onset and nonlinear development of double-diffusive convection in a porous cavity, have identified regimes within which convection is subcritical in the sense that it is possible for nonlinear flow to exist at values of the Darcy–Rayleigh number that are below that given by linearised stability theory. The chief interest of this paper in the present context is the observation that an increasingly strong form-drag also removes the subcriticality of the cavity flows. It is difficult to know whether this qualitative similarity between two very different flows has a great significance, for the mechanisms which cause subcritical convection are quite different in the respective cases.