 Research
 Open access
 Published:
Reduced basis method applied to a convective stability problem
Journal of Mathematics in Industry volume 8, Article number: 1 (2018)
Abstract
Numerical reduced basis methods are instrumental to solve parameter dependent partial differential equations problems in case of many queries. Bifurcation and instability problems have these characteristics as different solutions emerge by varying a bifurcation parameter. Rayleigh–Bénard convection is an instability problem with multiple steady solutions and bifurcations by varying the Rayleigh number. In this paper the eigenvalue problem of the corresponding linear stability analysis has been solved with this method. The resulting matrices are small, the eigenvalues are easily calculated and the bifurcation points are correctly captured. Nine branches of stable and unstable solutions are obtained with this method in an interval of values of the Rayleigh number. Different basis sets are considered in each branch. The reduced basis method permits one to obtain the bifurcation diagrams with much lower computational cost.
1 Introduction
Bifurcations and instabilities in differential equations are features that allow the explanation of many fluid dynamics phenomena in nature and industrial processes [1]. An example is the Rayleigh–Bénard convection problem [2, 3]. Rayleigh–Bénard and related natural convection phenomena are usual in many industrial applications. For instance, in the formation of microstructures during the cooling of molten metals in computer chips or large scale equipments. The model equations in this case are the incompressible Navier–Stokes equations coupled with a heat equation under the Boussinesq approximation. Here the conductive solution becomes unstable for a critical vertical temperature gradient beyond a certain threshold and therefore a convective motion sets in, and, depending on boundary conditions and other external physical parameters, new convective patterns occur [1].
All these problems usually need to be solved with numerical methods. To find all the different solutions for the same or different values of the bifurcation parameter and bifurcations among them specific continuation techniques are required. These techniques are highly developed for ordinary differential equations [4], but are less advanced for partial differential equations. Some continuation methods consider a perturbation with the eigenfunctions at the bifurcation point in order to find the bifurcated solution, others are based on the existence of finite dimensional inertial manifolds [5] and projections on this manifold [6], other use proper orthogonal decomposition (POD) [7].
In [8, 9] a Rayleigh–Bénard problem is studied under the perspective of looking for the bifurcation diagrams. The different solutions and successive bifurcations when the temperature gradients increase are obtained based on a branch continuation technique. In the study of these bifurcation problems the model of partial differential equations must be solved for lots of values of the bifurcation parameter and a linear stability analysis has to be performed for each solution in order to know its linear stability properties and the succession of bifurcations.
The reduced basis method is a meaningful numerical technique to solve problems of partial differential equation for a large amount of values of the bifurcation parameter with a reduced cost [10–17]. This method consists of the construction of a basis of solutions for different values of this parameter. These solutions are obtained in a preliminary stage with a standard discretization and a greedy selection is applied to them. A further use of a Galerkin method for the reduced basis expansion is implemented.
In this work the reduced basis method is applied as a continuation technique to find the multiple steady solutions and instabilities among them, that appear in a Rayleigh–Bénard convection problem in a rectangle. In [18] the reduced basis method has been applied to this problem to obtain some stable solutions, allowing one to prove the efficiency of the given method to obtain solutions for different values of the parameters. The aim of the present paper is to complete the study of bifurcations with the calculation of the whole bifurcation diagram with all the solutions including the unstable ones, their linear stability, bifurcations among them and the capturing of the bifurcation points. All the steps are solved with reduced basis.
The article is organized as follows. In Sect. 2 we formulate the problem, providing the description of the physical setup, the basic equations and boundary conditions. We describe the numerical stationary problem and the linear stability analysis of the stationary solutions. Section 3 discusses the numerical reduced basis method. Section 4 describes the numerical results. Finally Sect. 5 presents the conclusions.
2 Formulation of the problem
The domain is a rectangle \(\Omega= [0,\Gamma] \times[0,1]\) containing a fluid that is heated from below at temperature \(T_{0}\) and on the upper plate the temperature is \(T_{1}\). The equations governing the system are the incompressible Navier–Stokes equations with the Boussinesq approximation coupled with a heat equation. The variables present in the problem are \(u_{x}\) and \(u_{z}\), the components of the velocity vector field u, θ the temperature, P the pressure, x and z the spatial coordinates and t the time. The magnitudes are expressed in dimensionless form as explained in [18]:
Here \(\textbf{e}_{z}\) is the unit vector in the vertical direction, R is the Rayleigh number that measures the effect of buoyancy and Pr is the Prandtl number. Motivated by mantle convection modelling, the Prandtl number Pr is considered infinite as in [8, 9], then the left hand side term in Eq. (2) can be made equal to zero.
Lateral walls are thermally insulated, nondeformable and free slip. The bottom plate is rigid and the upper surface is non deformable and free slip. These conditions along with the thermal boundaries on the top and bottom plates are expressed as,
Equations in problem (1)–(5) are invariant under the symmetry,
Then, if S is solution of the problem, γS is a solution as well. This solution is said to be in the orbit of S [19]. We consider solutions in the orbit of S to be equivalent, so sometimes we restrict ourselves to one single solution in an orbit.
2.1 Stationary equations
The corresponding stationary problem is the following,
with the boundary conditions (4)–(5). There are results for the existence of solutions in this problem in [20, 21].
This stationary problem (6)–(8) with boundary conditions (4)–(5) is solved numerically with a Newton method for the nonlinear terms [22] and a Legendre collocation [23, 24] for each step in the Newton procedure. In the Newton method an aproximate solution \(u_{x}^{0}\), \(u_{z}^{0}\), \(P^{0}\), \(\theta ^{0}\) is required at the beginning. This guess solution can be the solution for a different value of the parameters or the solution for the linear problem. This initial guess is improved by adding to it a small correction as follows: \(u_{x}^{0} + \tilde{u}_{x}\), \(u_{z}^{0} + \tilde{u}_{z}\), \(P^{0} + \tilde{P}\), \(\theta^{0} + \tilde{\theta}\). These expressions are introduced into equations (6)–(8) and boundary conditions (4)–(5) where only order one terms in the perturbation fields are kept in the linear approximation. The fields are expanded into Legendre polynomials,
where \(L_{i}\) is the Legendre polynomial of degree i. The expansions are introduced into the equations, they are evaluated at the Legendre Gauss–Lobatto points and a linear problem on the coefficients \(a^{u_{x}}_{ij}\), \(a^{u_{z}}_{ij}\), \(a^{P}_{ij}\), \(a^{\theta}_{ij}\), \(i=0,\ldots,n\); \(j=0,\ldots,m\) is solved with a Gaussian elimination. Then we obtain the solution of the first iteration of the Newton method \(u_{x}^{1}=u_{x}^{0} + \tilde{u}_{x}\), \(u_{z}^{1}=u_{z}^{0} + \tilde{u}_{z}\), \(P^{1}=P^{0} + \tilde{P}\), \(\theta ^{1}=\theta^{0} + \tilde{\theta}\). This procedure is repeated \(u_{x}^{s+1}=u_{x}^{s} + \tilde{u}_{x}\), \(u_{z}^{s+1}=u_{z}^{s} + \tilde{u}_{z}\), \(P^{s+1}=P^{s} + \tilde{P}\), \(\theta^{s+1}=\theta^{s} + \tilde{\theta}\) until a convergence criterion is satisfied. In particular we have considered that the \(L^{2}\) norm of the computed perturbation should be less than 10^{−7}. Where the \(L^{2}\) scalar product and norm are calculated with the Legendre Gauss–Lobatto quadrature
and \(x_{l}\), \(l=0,\ldots,n\), \(z_{s}\), \(s=0,\ldots,m\), are the Legendre Gauss–Lobatto points, and \(\rho_{ls}\) are the Legendre Gauss–Lobatto weights. We have increased the number of polynomials in the Legendre expansion with respect to [18] in order to improve the accuracy of the calculation of the bifurcation points. The criteria to choose an order expansion is the critical Rayleigh number where the bifurcation takes place does not change if we increase further the order expansion. So, in this calculations we have considered expansions of order \(n=35\) in the xdirection and \(m=13\) in the zdirection.
2.2 Linear stability of the stationary problem
Once the stationary solutions \(( \textbf{u}^{b}, \theta^{b}, P^{b} )\) \((x, z)\) are obtained, the stability of these solutions is determined by a linear stability analysis as in [8]. In this analysis the stationary solutions are perturbed as follows:
Here superscript b indicates the corresponding solutions of the stationary problem (6)–(8)–(4)–(5) and the tilde refers to the perturbation. Expressions for the perturbed fields (12)–(14) are introduced in equations (1)–(5) and the resulting equations are linearized. Therefore, if we drop the tildes to simplify notation, we get the following eingenvalue problem:
together with boundary conditions (4)–(5). The resulting problem is an eigenvalue problem in \(\sigma(R)\). The sign of the real part of \(\sigma(R)\) determines the stability of the stationary solution. If \(\operatorname{Re}(\sigma(R))<0\) for any eigenvalue of the stationary state, then it is stable, while if there exists a value of \(\sigma(R)\) such that \(\operatorname{Re}(\sigma(R))>0\) then the stationary state becomes unstable. If we name \(\sigma_{1}(R)\) the eigenvalue with largest real part, as \(\operatorname{Re}(\sigma_{1}(R))\) depends on R, by increasing R, \(\operatorname{Re}(\sigma_{1}(R))\) changes sign at a critical threshold \(R_{c}\), where \(\operatorname{Re}(\sigma_{1}(R_{c}))=0\) which separates stable from unstable solutions. The condition \(\operatorname{Re}(\sigma _{1}(R_{c}))=0\) defines the critical threshold of the bifurcation at which \(\operatorname{Im}(\sigma_{1}(R_{c}))\) may be either zero or not.
We choose the value of the aspect ratio \(\Gamma=3.495\) as in [8, 18] and let the Rayleigh number R vary in the interval: \([1000; 3000]\). In this interval two pitchfork bifurcations and two inverse pitchfork bifurcations appear [18]. In this problem we take into account nine different solutions. In the interval \([1000;1102]\) there is only the zero solution \(S_{0}\), in the interval \([1101; 1252]\) there are two other solutions, three in total, \(S_{0}\), \(S_{1}\) and \(S_{2}\), in the interval \([1252;1538]\) five solutions \(S_{0}\)–\(S_{4}\), and finally in the interval \([1538;3000]\) nine solutions \(S_{0}\)–\(S_{8}\). Therefore solution \(S_{0}\) exists in the interval \([1000;3000]\), solutions \(S_{1}\) and \(S_{2}\) in the interval \([1102;3000]\), solutions \(S_{3}\) and \(S_{4}\) in the interval \([1252;3000]\) and solutions \(S_{5}\)–\(S_{8}\) in the interval \([1538;3000]\).
3 Numerical reduced basis method
The numerical method is based on the approximation of all the solutions by the linear combination of some well chosen solutions computed for some particular values of R, the same ones for every variable: u, θ, P. These values are obtained in a greedy fashion.
3.1 Construction of the reduced basis
The procedure we have implemented in this paper in order to obtain the reduced basis is the pure greedy that is explained next in a inductive way:

First we fix the solutions we want to calculate and the interval of values of R where these solutions exist.

We solve numerically the stationary equations (6)–(8) with boundary conditions (4)–(5), with the Newton Legendre collocation method described in the previous section, for different values of the Rayleigh number R chosen on a subset of the interval, denoted as “trial set” \(\Xi_{\mathrm{trial}}\). Some values of the Rayleigh number are equidistant, and others are near the bifurcation points. We name the associated solutions \(\Phi(R) \equiv( \textbf {u}(R), \theta(R), P(R))\).

For the first step \(i=1\), we choose a value of the Rayleigh number that we name \(R_{1}\), with its corresponding solution \(\Phi(R_{1})\), i.e. in this work it is the smallest value of R in the interval we consider. We normalize this stationary solution according to the \(L^{2}\) scalar product:
$$\Psi_{1}= \biggl( \psi_{1}^{\textbf{u}} = \frac{\textbf{u}_{1}}{\ \textbf{u}_{1}\_{L^{2}}}, \psi_{1}^{\theta}= \frac{{\theta}_{1}}{\ \theta_{1} \_{L^{2}}}, \psi_{1}^{P} = \frac {{P}_{1}}{\ P_{1} \_{L^{2}}} \biggr), $$then we consider a first space \(X_{1}=\mbox{span}\{ \psi^{\textbf{u}}_{1}\}\times\mbox{span}\{ \psi^{\theta}_{1}\} \times\mbox{span}\{ \psi^{P}_{1}\} \).

We introduce the projection operator \(\Pi_{X_{1}^{\textbf{u}}} \times\Pi_{X_{1}^{\theta}} \times\Pi_{X_{1}^{P}}\) onto \(X_{1}\) for the \(L^{2}\) inner product and consider the approximation \((\textbf{u}^{(1)}(R), \theta^{(1)}(R), P^{(1)}(R)) = [\Pi_{X_{1}^{\textbf {u}}} (\textbf{u}(R)),\Pi_{X_{1}^{\theta}} (\theta(R)), \Pi _{X_{1}^{P}}(P(R))]\) for every R. Note that it corresponds to the product of independent projection operators \(\Pi_{X_{1}^{\textbf{u}}}\), \(\Pi_{X_{1}^{\theta}}\) and \(\Pi_{X_{1}^{P}}\).

We evaluate the relative errors of the projections on \(X_{1}\) for the velocity and temperature fields u, θ on one side and the pressure P on the other side:
$$\epsilon^{(1)}_{1}(R) = \frac{\ (u_{x}(R), u_{z}(R),\theta (R))(u^{(1)}_{x}(R),u^{(1)}_{z}(R),\theta^{(1)}(R))\_{(L^{2})^{3}}}{\ (u_{x}(R), u_{z}(R),\theta(R))\_{(L^{2})^{3}}} $$and
$$\epsilon^{(1)}_{2}(R)= \frac{\ P(R)P^{(1)}(R)\_{L^{2}}}{\P(R)\_{L^{2}}}, $$over any values of R chosen on \(\Xi_{\mathrm{trial}}\). We then choose \(R_{2}\) as follows:
$$R_{2} = \underset{R\in\Xi_{\mathrm{trial}}}{\operatorname{argmax}} \max_{j=1, 2} \epsilon^{(1)}_{j}(R) $$and the corresponding stationary solution is \(\Phi(R_{2})\).

Given step i, we orthonormalize the \(i+1\) functions by Gram–Schmidt procedure and we consider the \(i+1\) space \(X_{i+1} = \mbox{span}\{ \psi^{\textbf{u}}_{1}, \ldots,\psi^{\textbf{u}}_{i+1}\}\times\mbox{span}\{ \psi^{\theta}_{1}, \ldots,\psi^{\theta}_{i+1}\} \times\mbox{span}\{ \psi^{P}_{1}, \ldots,\psi^{P}_{i+1}\}\).

We introduce the projection operator \(\Pi_{X_{i+1}^{\textbf{u}}} \times\Pi_{X_{i+1}^{\theta}} \times\Pi_{X_{i+1}^{P}}\) onto \(X_{i+1}\) for the \(L^{2}\) inner product and consider the approximation
$$\bigl(\textbf{u}^{(i+1)}(R), \theta^{(i+1)}(R), P^{(i+1)}(R)\bigr) =\bigl[\Pi _{X_{i+1}^{\textbf{u}}} \bigl(\textbf{u}(R)\bigr), \Pi_{X_{i+1}^{\theta}} \bigl(\theta (R)\bigr), \Pi_{X_{i+1}^{P}}\bigl(P(R)\bigr) \bigr] $$for every R.

Again, we evaluate the relative errors of the projections on \(X_{i+1}\) for the velocity and temperature fields u, θ on one side and the pressure P on the other side:
$$\epsilon^{(i+1)}_{1}(R) = \frac{\ (u_{x}(R), u_{z}(R),\theta (R))(u^{(i+1)}_{x}(R),u^{(i+1)}_{z}(R),\theta^{(i+1)}(R))\ _{(L^{2})^{3}}}{\ (u_{x}(R), u_{z}(R),\theta(R))\_{(L^{2})^{3}}} $$and
$$\epsilon^{(i+1)}_{2}(R)=\frac{\P(R)P^{(i+1)}(R)\_{L^{2}}}{\P(R)\_{L^{2}}}, $$over any values for R chosen on \(\Xi_{\mathrm{trial}}\). We then choose \(R_{i+2}\) as follows:
$$R_{i+2} = \underset{R\in\Xi_{\mathrm{trial}}}{\operatorname{argmax}} \max_{j=1, 2} \epsilon^{(i+1)}_{j}(R) $$and the corresponding stationary solution is \(\Phi(R_{i+2})\).

This procedure is repeated until we reach a value \(N < \hbox{card}(\Xi_{\mathrm{trial}})\) for which the stopping criterium \(\epsilon^{(N)}_{j} \leq10^{7}\), \(j=1,2\) is satisfied.
Therefore, we obtain the reduced basis \(\{\Psi_{1},\Psi_{2}, \ldots,\Psi _{N}\}\) and a corresponding discrete space \(X_{N} \equiv X_{N}^{\textbf{u}} \times X_{N}^{\theta}\times X_{N}^{P}\). For some solutions we have constructed a reduced basis, besides for other solutions two reduced basis and for other ones three reduced basis, in order to reach the same accuracy for all the solutions. Table 1 shows the number of snapshots used to calculate the reduced basis and the number of elements of the reduced basis for each solution.
Tables 2, 3, 4, 5, 6 present the maximum values of \(\epsilon ^{(j)}_{1}\) and \(\epsilon^{(j)}_{2}\) for increasing values of j and the corresponding R parameter in which the maximum value is obtained for the different solutions.
3.2 Galerkin procedure
Once the reduced basis \(\{\Psi_{1},\Psi_{2},\ldots,\Psi_{N}\}\) has been calculated, the Galerkin method with expansions in this basis is implemented to solve the problem (6)–(8) with boundary conditions (4)–(5). The nonlinearity of this problem is solved with an iterative Newton procedure, i.e. a linearization of the equations around a previous solution. We start with an approximated solution at iteration \(s=0\), taken e.g. as a previously computed solution at a Rayleigh number \(R^{*}\) belonging to the trial set, then, at each iteration step \(s+1\) we solve the linear problem obtained by linearizing around the previous step s. In practice this procedure is equivalent to introduce a perturbation to the step s,
we want to emphasize that both \((u^{s}_{N,x}, u^{s}_{N,z})\) and \((\widetilde {u}_{N,x}, \widetilde{u}_{N,z})\) belong to \(X_{N}^{\textbf{u}}\), both \(\theta_{N}^{s}\) and \(\widetilde{\theta}_{N}\) belong to \(X_{N}^{\theta}\) and both \(P_{N}^{s}\) and \(\widetilde{P}_{N}\) belong to \(X_{N}^{P}\).
We then introduce these fields into the equations (6)–(8) and boundary conditions (4)–(5) and linearize with respect to the perturbation. The following problem is obtained (where the tildes have been omitted to simplify notation)
The variational formulation of this problem for the velocity and the temperature fields is the following:
Find \(\textbf{u}_{N}\in X^{ {\textbf{u}}}_{N}\) and \(\theta_{N} \in X^{ \theta}_{N}\) such that:
we discretize this problem by using expansions in terms of the reduced basis obtained in the previous section, \(\textbf{u}_{N} = \sum^{N}_{i=1} \alpha_{i} \psi^{\textbf{u}}_{i}\) and \({\theta}_{N} = \sum^{N}_{i=1} \beta_{i} \psi^{\theta}_{i}\). The integrals are calculated by using Legendre Gauss–Lobatto integration. Note that our basis of solutions for the velocity are divergence free, and thus the pressure disappears in this formulation.
Each step in the Newton iteration becomes a \(2N \times 2N\) algebraic system of equations:
where
\(M^{s}\) is a nonsingular and well conditioned matrix, condition numbers are \(O(10^{4})\) in all the studied cases.
Note that the construction of the matrix \(M^{s}\) can be done online very efficiently in \(\mathcal{O}(N^{3})\) operations if, during the preprocessing offline stage, double integrals involving the elements of the reduced basis are computed, we are indeed in the case where the appearance of the parameter is outside of the integrals and the problem is only slightly nonlinear (bilinear), during the offline stage the integrals are calculated using the Legendre Gauss–Lobatto quadrature formulas [24].
3.3 Linear stability analysis
Following the Galerkin variational procedure explained in the previous section, the eigenvalue problem (15)–(17) described in Sect. 2.2 is presented in its corresponding variational form as follows:
we discretize this problem with the corresponding expansions into the reduced basis, \(\textbf{u}_{N} = \sum^{N}_{i=1} \alpha_{i} \psi^{\textbf{u}}_{i}\) and \({\theta}_{N} = \sum^{N}_{i=1} \beta_{i} \psi^{\theta}_{i}\). The eigenvalue problem (23)–(24) is then transformed into its discrete form as:
where \(\textbf{b} = (\int_{\Omega} \psi_{i}^{\theta} \cdot\psi _{j}^{\theta})_{i,j=1}^{N} =  I_{N}\), where \(I_{N}\) is the identity matrix of size N, and \(A_{1}\), \(B_{1}\), \(A_{2}\), \(B_{2}\), α and β are defined in Sect. 3.2. The discrete eigenvalue problem (25) has a finite number of eigenvalues \(\sigma_{i}\). As explained in Sect. 2.2 we are interested in the presence of eigenvalues that have a positive real part. If such eigenvalue exists the solution is unstable otherwise the solution is stable.
3.4 Postprocessing
The reduced basis is formed by functions that are not solutions of the Galerkin procedure, indeed these are solutions of a Legendre collocation method. We introduce a rectification postprocessing presented in [18], which consists of a change of basis from the reduced basis to the Galerkin solutions on the values of R of the basis as is explained as follows:
We start by computing the reduced basis Galerkin approximations for all values \(R=R_{i}\), \(i=1,\dots,N\), that are used in the reduced basis construction. This gives us coefficients \(\textbf{u}_{N}(R_{i}) = \sum^{N}_{j=1} \alpha^{i}_{j} \psi^{\textbf{u}}_{j}\) and \({ {\theta}_{N} (R_{i})}= \sum^{N}_{j=1} \beta^{i}_{j} \psi^{\theta}_{j}\). We name \(Q^{u}\) (resp. \(Q^{\theta} \)) the matrix with entries equal to \(\alpha^{i}_{j}\) (resp. \(\beta^{i}_{j}\)). We call \(S^{u}\) (resp. \(S^{\theta}\)) the matrix with columns equal to the coordinates of \(\textbf{u}(R_{i})\) (resp. \(\theta(R_{i})\)) in the reduced basis \(\psi^{\textbf{u}}_{j}\) (resp. \(\psi^{\theta}_{j}\)), \(j=1,\dots,N\). Finally, we set \(P^{u}=S^{u} [Q^{u}]^{1}\) (resp. \(P^{\theta}=S^{\theta}[Q^{\theta} ]^{1}\)). This part is done during the offline stage and the matrix is stored.
Then for every other values for which we apply the RB Galerkin approximation, we are able to rectify the coefficients as follows: \(\boldsymbol{\alpha}_{\mathrm{new}} = P^{u} \boldsymbol{\alpha}\) (resp. \(\boldsymbol{\beta}_{\mathrm{new}} = P^{\theta} \boldsymbol{\beta}\)) and the postprocessed solutions are then
4 Results and discussion
As explained in Sect. 3.1. for each type of solution we have constructed one or more reduced basis with those solutions. We have calculated with reduced basis the nine different solutions in the interval of R, \([0; 3000]\). All these solutions except the conductive zero solution are presented in Figs. 1–2 with plots of their isotherms and velocity fields. The zero solution \(S_{0}\) is invariant under all the symmetries. A solution with 3 rolls, \(S_{1}\), without any symmetry, can be seen in Fig. 1(a). Two solutions with 4 rolls, \(S_{3}\) and \(S_{4}\), with the symmetry γ, are shown in Figs. 1(c) and 1(d), respectively. Two solutions with 4 rolls, \(S_{5}\) and \(S_{7}\), without any symmetry, can be seen in Figs. 2(a) and 2(c), respectively. If we consider solutions in the different orbits, \(S_{2}=\gamma S_{1}\) (see Fig. 1(b)), \(S_{6}= \gamma S_{5}\) (see Fig. 2(b)) and \(S_{8}=\gamma S_{7}\) (see Fig. 2(d)) are solutions as well, then we have found a total of nine solutions in that interval of R.
4.1 Linear stability analysis
We have calculated the linear stability analysis for each type of solution. The exchange of stability bifurcations are well captured. The stability of \(S_{1}\) with respect to \(S_{1}\) captures correctly the bifurcation from \(S_{0}\) to \(S_{1}\). The real part of the eigenvalues is negative for any value of R and the largest one becomes zero at \(R_{c1}=1101\). The stability of \(S_{3}\) with respect to \(S_{3}\) and \(S_{5}\) captures the bifurcation from \(S_{3}\) to \(S_{5}\). The real part of the eigenvalues is negative for \(R > R_{c3}=1538\) and become positive for \(R < R_{c3}=1538\). Figure 3(a) presents real part of the eigenvalues as a function of R for solutions \(S_{3}\). In order to calculate a bifurcation point, the equations have to be solved for a lot of values of the bifurcation parameter R. In this case the problems are solved increasing R with steps of 1. Then the bifurcation point is the first integer where the sign of the real part of the eigenvalue with largest real part changes sign as R increases. For this reason we say the bifurcation point is correctly captured at \(R_{c3}=1538\). But there is an error, with a linear interpolation the value of the bifurcation for Reduced Basis is \(R_{c3\mathrm{RB}}=1537.5442\) and for Legendre collocation it is \(R_{c3\mathrm{L}}=1537.0860\), the relative error is \(O(10)^{4}\). For both calculations, i.e., Legendre collocation solver and postprocessed reduced basis method, the real part of the eigenvalues becomes negative for the same integer value, \(R_{c3}=1538\). The same behavior is observed for the rest of the bifurcation points at the values of \(R_{c1}= 1101\) and \(R_{c2}=1252\). Therefore, we may conclude that the bifurcation points are correctly captured.
Figure 3(b) shows the norm of the difference between the real part of the eigenvalue with largest real part obtained via Legendre collocation and by a postprocessed reduced basis method based on Legendre collocation for solutions \(S_{3}\) in the interval of R \([1534; 1539]\) near the bifurcation point at \(R_{c3}=1538\). This difference is \({\mathcal {O}}(10^{4})\) (where both approximations cross near the bifurcation point), increasing as we move away from the bifurcation point. Figure 3(c) shows the norm of the difference between the real part of the eigenvalue with largest real part obtained via Legendre collocation and by a postprocessed reduced basis method based on Legendre collocation divided by the norm of the real part of the eigenvalue obtained with Legendre collocation for solutions \(S_{3}\) in the interval of R \([1534; 1539]\) near the bifurcation point at \(R_{c3}=1538\). This difference is \({\mathcal {O}}(10^{1})\) except around \(R=1537\) where it is \(O(1)\) because the real part of the eigenvalue crosses the axis and becomes zero near this point at \(R_{c3\mathrm{L}}=1537.0860\), for this reason the relative error becomes maximum at this value \(R=1537\).
4.2 Capturing the bifurcation points
Once we have calculated all solutions, a plot of the combination of coefficients \(a_{03}+a_{13}\) of the Legendre expansion of the field \(u_{xN}\) as a function of the Rayleigh number is drawn in the bifurcation diagram in Fig. 4. The combination \(a_{03} + a_{13}\) is employed because some of the coefficients for the stationary solutions are approximately zero but others are not. In order to characterise the stationary solutions and its evolution as a function of the Rayleigh number, we present the bifurcation diagram in Fig. 4 with a selection of nonzero coefficients \(a_{03} + a_{13}\) for which the bifurcation diagram is clear. Four bifurcations are observed in this problem. A first pitchfork bifurcation from the zero solution towards solutions with 3 rolls, \(S_{1}\) and \(S_{2}=\gamma S_{1}\). A second pitchfork bifurcation from the zero solution towards solutions with 4 rolls, \(S_{3}\) and \(S_{4}\). Two inverse pitchfork bifurcations from \(S_{3}\) (respectively \(S_{4}\)) towards non symmetric solutions with the same number of rolls, \(S_{5}\), \(S_{6} = \gamma S_{5}\) (respectively, \(S_{7}\) and \(S_{8}=\gamma S_{7}\)).
The point where different types of solutions intersect or get together is going to be the bifurcation point, where the bifurcation takes place. The first pitchfork bifurcation takes place at \(R=1101\), where solutions \(S_{1}\) and \(S_{2}\) get together. The second bifurcation occurs at \(R=1252\), where solutions \(S_{3}\) and \(S_{4}\) intersect. Finally both secondary inverse pitchfork bifurcations take place at \(R=1538\), where \(S_{5}\) and \(S_{6}\) intersect, and where \(S_{7}\) and \(S_{8}\) get together. These bifurcation points are correctly captured with the reduced basis method by plotting the solutions in the bifurcation diagram in Fig. 4. The bifurcations are pitchfork because symmetric solutions appear at those points.
The bifurcation points are also captured with the linear stability analysis as explained in Sect. 4.1.
4.3 Errors on the solutions
Legendre collocation is a spectral method with exponential rate of convergence [23]. We define the relative error as a measure of the difference between the solution obtained with Legendre collocation and the solution obtained with the reduced basis procedure divided by the measure of the solution obtained with Legendre collocation. In Fig. 5(a) the norm of the difference between the stationary solution obtained with the reduced basis method and the solution obtained with Legendre collocation divided by the norm of the solution obtained with Legendre collocation in case \(R \in[1101; 3000]\) for solution \(S_{1}\) are presented. The errors are \({\mathcal {O}}(10^{2})\) far from the bifurcation point, that is already a quite good approximation in comparison with the number of degrees of freedom that have been used in the reduced basis. Near the bifurcation point relative errors increase till \({\mathcal {O}}(10^{1})\) because those points are critical. The solutions cease to exist at these point. The norm of the solutions goes to zero, for this reason a peak appear near the bifurcation point.
With the postprocessing explained in Sect. 3.4 the solutions are improved, first, by construction the error is zero at \(R=R_{i}\), for the other values of \(R \in[1101;3000]\) the maximum relative error becomes \({\mathcal {O}}(10^{4})\) outside the bifurcation point, see Fig. 5(b), where the norm of the difference between the stationary solution obtained with Legendre collocation and with a postprocessed reduced basis method based on Legendre collocation divided by the norm of the solution obtained with Legendre collocation for solutions \(S_{1}\) in the interval of R \([1101; 3000]\) is drawn. Near the bifurcation point the relative error increases to \({\mathcal {O}}(10^{3})\). The solutions cease to exist at these point. The norm of the solutions goes to zero, and the errors are relative, for this reason a peak appear near the bifurcation point. A better relative error is obtained for the stable part of solutions \(S_{3}\) in the interval \([1539;3000]\) where the relative errors are \({\mathcal {O}}(10^{7})\) as can be seen in Fig. 6(a). The relative error for the \(S_{3}\) unstable solutions are not better than \({\mathcal {O}}(10^{4})\) outside the bifurcation point, near the bifurcation points the relative errors increase to \({\mathcal {O}}(10^{2})\), as can be seen in Fig. 6(b). The solutions cease to exist at the bifurcation point. The norm of the solutions goes to zero, for this reason a peak appear near the bifurcation point. Figure 7(a) corresponds to relative errors for solution \(S_{5}\) in the interval \([1539;1600]\). Relative errors are \({\mathcal {O}}(10^{4})\), except near the bifurcation point, where the error is \({\mathcal {O}}(10^{3})\). Solutions \(S_{5}\) cease to exist at these point, for this reason a peak appear near the bifurcation point. The relative error in the interval \([1600;2000]\) is \({\mathcal {O}}(10^{4})\) in Fig. 7(b), except a peak that appears \({\mathcal {O}}(10^{3})\) due to the few values of snapshots considered in this case. A better relative error is obtained for the third part of solution \(S_{5}\) in the interval \([2000;3000]\) where the relative errors are \({\mathcal {O}}(10^{7})\) as can be seen in Fig. 7(c).
4.4 Advantages of reduced basis method
The reduced basis method is supported by standard discretizations. The offline work for the calculation of the solutions to construct the reduced basis needs these standard methods. But, once the work of the standard method is done, the use of the reduced basis has several advantages.
The pressure variable disappears in the Galerkin approach due to the variational formulation and the incompressibility of the fluid (\(\nabla \cdot\vec{v}=0\)). This fact, together with the few modes required for the Galerkin expansion, provides small matrices with the reduced bases discretization. For a single value of the Rayleigh number R the size of the matrices that appear after the discretizations is 2016 in Legendre collocation with expansions of order \(13 \times35\), whereas in the case of the reduced basis with 8 elements the size of matrices is 16. A factor of 126 in the size of the matrices for each value of R. Legendre collocation matrices are dense by diagonal blocks of size \(14 \times36\).
The behavior of the Newton method for the nonlinearity is improved with respect to standard methods. A branch of solutions of a type refers to the solutions of that kind for different values of the parameter R in the interval where they exist. In the Legendre collocation method case to calculate solutions in a new branch a continuation technique is required, in this case it is based in adding the eigenfunction of the linear stability analysis near the bifurcation point to the base solution as initial guess in the Newton method. Once a solution in a branch is obtained to reach the solution in this branch for a larger value of the Rayleigh number the new solution is considered as initial guess. For a large value of the Rayleigh number the solution must be calculated by increasing slowly the Rayleigh number. For instance, we obtain the first solution in the branch in the interval \([1101; 3000]\) near \(R=1101\). To obtain the solution at \(R=3000\) we need to calculate the solution at \(R=1102\), take this solution as initial guess for \(R=1110\) and calculate the solutions increasing the value of R in steps of 10 till \(R=3000\). Sometimes the steps of increase on R can be larger. So, it is not possible to jump from \(R=1101\) till \(R=3000\) with Legendre collocation. In the reduced basis this is not the case, the solution can be directly calculated for any value of R. The reason for this behavior must be that nothing drive the solutions to be attracted by a different branch since there is not unexpected elements in the basis set. Also solutions obtained with reduced basis method are a great help as guess solutions for the Newton method in Legendre collocation. In fact the Legendre solutions necessary to valuate the errors have been calculated solving first with Galerkin reduced basis and taking this solution as initial guess for Legendre.
The number of operations is drastically reduced. If we calculate the branch of solutions \(S_{5}\) taking steps of 10 in R in the interval \([1538; 3000]\), 146 values of R are required, for the branch in the interval \([1101; 3000]\), 190 values of R and for the branch in the interval \([1252; 3000]\) 175 values of R. Therefore the whole diagram requires 1314 values of R. If we take into account symmetries only 511 values of R are necessary. The problem is nonlinear, if we consider an average of 10 iterations for each problem and we solve the linear systems with a method with \({\mathcal {O}}(N^{2})\) operations, being N the size of the matrices, for each value of R we solve the system with \({\mathcal {O}}(10^{7})\) operations for Legendre collocation and with \({\mathcal {O}}(10^{3})\) with reduced basis. Then multiplying by 10^{3} values of R, \({\mathcal {O}}(10^{10})\) operations for Legendre collocation and \(O(10^{6})\) for reduced basis to obtain the whole bifurcation diagram. The offline number of operations of reduced basis requires to solve Legendre for order 10 values of the Rayleigh number, therefore \({\mathcal {O}}(10^{8})\) operations.
Summarizing, for a single value of the parameter R, the offline number of operations is \({\mathcal {O}}(10^{8})\), the online maximum number of operations for Legendre collocation is \({\mathcal {O}}(10^{9})\) and for reduced basis \({\mathcal {O}}(10^{3})\). For the whole bifurcation diagram the offline number of operations is \({\mathcal {O}}(10^{8})\), the online number of operations for Legendre collocation is \({\mathcal {O}}(10^{10})\) and for reduced basis \({\mathcal {O}}(10^{6})\).
A significant advantage of solving the eigenvalue problem is provided by the use of a reduced basis, which is due to a large reduction in computational cost. This reduction arises due to the size of the matrices in the eigenvalue problem; in Legendre collocation the size of the matrix is 2016, while using a reduced basis with 8 elements it is only 16. The eigenvalue problem is solved with an adaptation of the implicitly restarted Lanczos method [25]. This method has computational complexity \(O(N^{3})\), where N is the size of the matrix. Therefore for a fixed value of R in Legendre collocation the complexity is \(O(10^{9})\) whereas for reduced basis it is only \(O(10^{3})\), six orders lower. For 1000 values of the Rayleigh number Legendre collocation reaches \(O(10^{12})\) and reduced basis \(O(10^{6})\). This is reflected in the temporal computational cost, which is 122 s when using Legendre collocation and only it is 6 s using a reduced basis. Therefore the reduction is of a factor of 20 in time.
5 Conclusions
We have solved a Rayleigh–Bénard problem in a rectangle using a reduced basis method in an interval of values of the Rayleigh number R where there are four bifurcations and nine different solutions. Different basis have been considered in each branch of solutions. A linear stability analysis on those solutions has been performed with reduced basis. The bifurcation points are correctly captured with the reduced basis method looking at the intersection of branches of solutions or regarding the eigenvalues of the linear stability analysis. The relative errors on the solutions in the unstable branches are of the same order as the stable ones, \({\mathcal {O}}(10^{2})\), and \({\mathcal {O}}(10^{4})\) after a postprocessing, and become worse near the bifurcation points. Near those points the errors are divided by the norm of solutions that are disappearing, for this reason relative errors become \({\mathcal {O}}(10^{1})\). The behavior of the Newton method for the nonlinearity is improved with reduced basis method with respect to standard methods. Matrices are small with the reduced basis discretization. For a single value of the Rayleigh number R the size of the matrices that appear after the discretizations are 2016 in Legendre collocation, whereas in the case of the reduced basis with 8 elements the size of matrices are 16 because pressure disappears in this formulation. A factor of 126 in the size of the matrices for each value of R. The computational complexity is less with reduced basis method. For a single value of the parameter R, the offline number of operations is \({\mathcal {O}}(10^{8})\), the online number of operations for Legendre collocation is \({\mathcal {O}}(10^{9})\) and for reduced basis \({\mathcal {O}}(10^{3})\). For the whole bifurcation diagram the offline number of operations is \({\mathcal {O}}(10^{8})\), the online number of operations for Legendre collocation is \({\mathcal {O}}(10^{10})\) and for reduced basis \({\mathcal {O}}(10^{6})\). The advantage of solving the eigenvalue problem with reduced basis is huge as regards with respect to the large reduction of the computational cost. For a fixed value of R in Legendre collocation the complexity is \(O(10^{9})\) whereas for reduced basis it is only \(O(10^{3})\), six orders lower. This is reflected in the reduction in the computational cost in time of a factor of 20. There is a startup work in order to calculate the reduced basis, but once this is done, the reduced basis method permits to speed up the computations of these bifurcation diagrams. A study of the eigenfunction spaces obtained with reduced basis can be also of interest and it will be addressed in future work.
Abbreviations
 RB:

reduced basis
 R :

Rayleigh number
 Pr :

Prandtl number
 GL:

Gauss–Lobatto
 Re:

real part of the eigenvalue
 Im:

imaginary part of the eigenvalue
 \(R_{c}\) :

critical Rayleigh number
References
Chandrasekhar S, Hydrodynamic and hydromagnetic stability. New York: Dover; 1982.
Bénard H. Les tourbillons cèllulaires dans une nappe liquide. Rev Gén Sci Pures Appl. 1900;11:1261–71.
Lord R. On convection currents in a horizontal layer of fluid when the higher temperature is on the under side. Philos Mag. 1916;32:529–46.
Krauskopf B, Osinga HM, GalánVioque J. Numerical continuation methods for dynamical systems: path following and boundary value problems. Berlin: Springer; 2007.
Foias C, Sell GR, Temam R. Inertial manifolds for nonlinear evolution equations. J Differ Equ. 1988;73:309–53.
Navarro MC, Witkowski LM, Tuckerman LS, Le Quéré P. Building a reduced model for nonlinear dynamics in Rayleigh–Bénard convection with counterrotating disks. Phys Rev E. 2010;81(3):036323.
Terragni F, Vega JM. On the use of PODbased ROMs to analyse bifurcations in some dissipative systems. Phys D, Nonlinear Phenom. 2012;241(17):1393–405.
Pla F, Mancho AM, Herrero H. Bifurcation phenomena in a convection problem with temperature dependent viscosity at low aspect ratio. Phys D, Nonlinear Phenom. 2009;238(5):572–80.
Pla F, Herrero H, Lafitte O. Theoretical and numerical study of a thermal convection problem with temperaturedependent viscosity in an infinite layer. Phys D, Nonlinear Phenom. 2010;239(13):1108–19.
Almroth BO, Stern P, Brogan FA. Automatic choice of global shape functions in structural analysis. AIAA J. 1978;16:525–8.
Noor AK, Balch CD, Shibut MA. Reduction methods for nonlinear steadystate thermal analysis. Int J Numer Methods Eng. 1984;20:1323–48.
Porsching TA, Lin Lee MY. The reducedbasis method for initial value problems. SIAM J Numer Anal. 1987;24:1277–87.
Barrett A, Reddien G. On the reduced basis method. Z Angew Math Mech. 1995;75(7):543–9.
Prud’homme C, Rovas D, Veroy K, Maday Y, Patera AT, Turinici G. Reliable realtime solution of parametrized partial differential equations: reducedbasis output bounds methods. J Fluids Eng. 2002;124(1):70–80.
Rozza G, Huynh DBP, Patera AT. Reduced basis approximation and a posteriori error estimation for affinely parametrized elliptic coercive partial differential equations. Arch Comput Methods Eng. 2008;15(3):229–75.
Noor AK, Peters JM. Bifurcation and postbuckling analysis of laminated composite plates via reduced basis techniques. Comput Methods Appl Mech Eng. 1981;29:271–95.
Noor AK, Peters JM. Multipleparameter reduced basis technique for bifurcation and postbuckling analysis of composite plates. Int J Numer Methods Eng. 1983;19:1783–803.
Herrero H, Maday Y, Pla F. RB (Reduced Basis) applied to RB (Rayleigh–Bénard). Comput Methods Appl Mech Eng. 2013;261(262):132–41.
Golubitsky M, Swift JW, Knobloch E. Symmetries and pattern selection in Rayleigh–Bénard convection. Phys D, Nonlinear Phenom. 1984;10:249–76.
Lorca SA, Boldrini JL. Stationary solutions for generalized Boussinesq models. J Differ Equ. 1996;124:389–406.
Lorca SA, Boldrini JL. The initial value problem for the generalized Boussinesq model. Nonlinear Anal. 1999;36(4):457–80.
Herrero H, Mancho AM. On pressure boundary conditions for thermoconvective problems. Int J Numer Methods Fluids. 2002;39:391–402.
Bernardi C, Maday Y. Approximations spectrales de problèmes aux limites elliptiques. Berlin: Springer; 1991.
Canuto C, Hussaine MY, Quarteroni A, Zang TA. Spectral methods in fluid dynamics. Berlin: Springer; 1988.
Bai Z, Demmel J, Dongarra J, Ruhe A, van der Vorst H, editors. Templates for the solution of algebraic eigenvalue problems: a practical guide. Philadelphia: SIAM; 2000.
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
This work was partially supported by the Research Grants MINECO (Spanish Government) MTM201568818R, which include RDEF funds.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and were involved in writing the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Herrero, H., Maday, Y. & Pla, F. Reduced basis method applied to a convective stability problem. J.Math.Industry 8, 1 (2018). https://doi.org/10.1186/s1336201800436
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1336201800436