Abstract
The aim of this survey is to give a concise but technical and, as much as possible, comprehensive introduction to the resolution of certain eigenvalue problems occurring in the research field of hydrodynamics via the Chebyshev-\(\tau\) method. While many details on the construction of mathematical models (for which we will refer to notable and well-known references as reported by Chandrasekhar (Hydrodynamic and hydromagnetic stability, Dover, London, 1981); Straughan (The energy method, stability, and nonlinear convection, Springer, New York, 2004); Nield and Bejan (Convection in porous media, Springer, New York, 2017)) will not be given, much attention will be paid to the practical and theoretical aspects of the discretization of the continuum problem. Chebyshev polynomials will be employed to expand solutions of the differential eigenvalue problem and end up with a discrete eigenvalue problem. Finally, MATLAB codes for the considered problems are shown in detail and available on GitHub.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Spectral methods belong to the class of discretization schemes for differential equations and are based on the choice of trial functions—also called expansion or approximating functions—and test functions—also called weight functions. As described in [4], trial functions are used as the basis functions for a truncated series expansion of the solution. Using a truncated expansion instead of the exact solution generates an error, called residual. Test functions are used to minimize the residual with respect to a norm or an orthogonality condition (specific to the chosen test function).
The method employed (Galerkin, collocation, or tau) and the choice of the trial functions are features that characterize particular spectral methods. Moreover, the choice of trial functions is what actually distinguishes spectral methods from finite element and finite difference methods. In this survey, we will employ a tau method choosing the Chebyshev polynomials as trial functions. For this reason, the spectral method we will describe is called Chebyshev-\(\tau\) method [5]. This method takes advantage of the orthogonality of Chebyshev polynomials with respect to a suitable scalar product to discretize the differential eigenvalue problem. Moreover, Chebyshev polynomials are particularly efficient for discretizing a differential problem because they exhibit some very nice recursive properties, as we will see in this survey.
For many years, spectral methods have been successfully used in many hydrodynamic stability problems (see [6,7,8,9,10,11]) and many authors have pointed out the advantages and disadvantages of spectral methods applied to stability problems (see [5, 12,13,14,15,16]). Particular attention has been devoted to the Chebyshev-\(\tau\) method as it finds eigenvalues and the eigenfunctions of a differential problem very efficiently. Despite the method being able to determine as many eigenvalues as required, in many stability problems one may only be interested in determining the dominant eigenvalue, which generates the most destabilizing mode [5].
This survey is intended to show, in a pedagogical manner, how to implement the Chebyshev-\(\tau\) method. Besides a comprehensive description of the theoretical basis for the method, we will provide detailed procedures for discretizing the differential problem. Moreover, we will describe the algorithms we employed to solve some classical convection problems.
The onset of convection in clear fluids and fluid-saturated porous media is a widely studied problem due to its theoretical and practical implications (in geophysics, engineering fields and so on, see, for instance, [17,18,19,20,21,22,23,24]). When dealing with convection problems, the aim is to determine conditions for the onset of convection via linear instability and nonlinear stability analyses of the motionless state (thermal conduction solution). These conditions involve a dimensionless control parameter, the Rayleigh number \({\textsf{R}}\) and, in particular, its threshold value \({\textsf{R}}_c\). The linear analysis provides a sufficient condition for convection to arise: if \({\textsf{R}}>{\textsf{R}}_c\), then instability occurs. Hence, to determine \({\textsf{R}}_c\), the differential eigenvalue problem arising from the linear instability analysis of the conduction solution needs to be solved. However, in some cases, the resolution of the resulting eigenvalue problem requires a numerical approach since, analytically, one would encounter huge difficulties. One of the numerical approaches is the Chebyshev-\(\tau\) method (see [25,26,27,28,29,30]).
The survey is organized as follows: in Chapter 2, the physical phenomenon of thermal convection is described and mathematical models for cases of interest are presented. Chapter 3 is devoted to introducing Chebyshev polynomials, their key properties and theoretical aspects of the Chebyshev-\(\tau\) method. In Chapter 4 algorithms to implement the method are shown in detail and applications to interesting hydrodynamics stability problems are developed. Finally, further numerical results are shown in Chapter 5 for the more curious reader.
2 Physical and mathematical setup
When a horizontal layer of fluid at rest is uniformly heated from below, a temperature gradient is generated across it and the heat is transmitted by conduction. On the other hand, the fluid particles near the lower boundary tend to expand and, therefore, the buoyancy force (once a certain critical value of the temperature gradient has been exceeded) will overcome the braking action of the viscous and gravitational forces, generating a convective motion. As we anticipated in the introduction, the mathematical analysis suggests that the onset of convection is related to a dimensionless number, called Rayleigh number \({\textsf{R}}\). This number gives a measure of the destabilizing effect of the buoyancy over the stabilizing effect of molecular diffusion of momentum. Once the Rayleigh number exceeds a critical value \({\textsf{R}}_c\), the heat will be transmitted by convection and a regular pattern of convective cells will form within the layer. Since the fluid motion is periodic in each of these cells, the perturbation fields are required to be periodic functions in the horizontal directions x and y, with period \(2 \pi / a_x\) and \(2 \pi / a_y\), respectively. Therefore, solutions can be assumed as two-dimensional periodic waves with an associated wavenumber \(a^2=a^2_x+a_y^2\). In particular, the motionless state solution (the conduction solution) is stable if it is stable with respect to all disturbances, and instability will result from its instability to disturbances of just one wavenumber \(a^2_c\). The pair \((a^2_c,{\textsf{R}}_c)\) detects the marginal stability state, where \(a^2_c\) is such that if the basic solution is stable with respect to perturbations with \(a^2_c\), it will be stable with respect to perturbations with all other wavenumbers (see [1, 3]).
When the fluid saturates a porous medium, we speak of convection in porous media, while if it can flow freely in the layer, we speak of convection in clear fluid.
When the fluid density exhibits a density inversion phenomenon, i.e. the fluid density has a maximum inside the layer, a potentially unstable layer of fluid lies below a layer that is stably stratified. When convection occurs in the lower layer, the motion will penetrate into the stable upper layer, and we speak of penetrative convection in clear fluid and, if the fluid saturates a porous medium, of penetrative convection in porous media. All these convection problems are analysed in the present survey.
In the above-mentioned problems, fluid properties are defined as constants. Nevertheless, in some industrial applications, fluid properties are subject to sensible variations. Viscosity is one of the main features which experiences a remarkable dependence on temperature and, as a first approximation, on depth (see [31]). The definition of viscosity as a function of depth leads to interesting computational aspects. For this reason, the convection in porous media with depth-dependent viscosity problem is analysed in this survey.
2.1 Convection in clear fluids
The phenomenon of the onset of convection in a clear, incompressible, non-isothermal Newtonian fluid is known as Rayleigh–Bénard convection, and the related problem is known as the Bénard problem (see [1, chap. II] and [2, chap. 3]). One can show that the following equations govern the linear instability and the nonlinear stability of the conduction solution (see [1, pag. 26] and [2, pag. 54]):
where, from now on, \(z\in (0,1)\), \(D^2=\tfrac{\textrm{d}^2}{\textrm{d}z^2}\) and functions \(W=W(z)\) e \(\Theta =\Theta (z)\) are obtained by separating off the z dependence from the temperature perturbation and the vertical component of the velocity perturbation, respectively. Finally, \({\textsf{R}}^2\) is the Rayleigh number and, for a fixed fluid, is given by (see [2, pag. 51]):
where g is the modulus of gravitational acceleration, \(\beta =\tfrac{T_L-T_U}{d}>0\) is the adverse temperature gradient, d is the layer thickness, \(\kappa\) is the thermal diffusivity, and \(\alpha\) and \(\nu\) are the coefficient of thermal expansion and the kinematic viscosity of the fluid, respectively. System (1) is of order six and so we require six boundary conditions. The following four conditions are frequently enforced:
The final two boundary conditions depend on what type of surfaces bound the fluid layer. The three cases usually considered are (see [1, pag. 21] for a derivation of the following conditions):
-
(i)
free–free, bottom and top surface free:
$$\begin{aligned} D^2W(0)=D^2W(1)=0, \end{aligned}$$(4) -
(ii)
rigid–rigid, bottom and top surface fixed:
$$\begin{aligned} DW(0)=DW(1)=0, \end{aligned}$$(5) -
(iii)
rigid-free, bottom surface fixed, top surface free:
$$\begin{aligned} DW(0)=D^2W(1)=0. \end{aligned}$$(6)
Notice that for every fixed wavenumber, system (1) forms a generalized eigenvalue problem for the Rayleigh number. Indeed, the system can be rewritten in matrix form as follows:
that is, more briefly and with evident meaning of the symbols:
Let \({\textsf{R}}_c\) be the smallest positive eigenvalue satisfying system (8). It can be shown that \({\textsf{R}}<{\textsf{R}}_c\) is a necessary and sufficient condition for the stability of the conduction solution [1], and hence, \({\textsf{R}}_c\) is called the critical Rayleigh number for the onset of convective motions. \({\textsf{R}}_c\) is determined by solving the following minimum problem:
It turns out that for the problem under examination the critical Rayleigh number for the onset of instabilities in the case of two free boundaries (4) is analytically determinable (see [1, pag. 36]), and it is actually:
in correspondence with the critical wavenumber:
2.2 Convection in porous media
The phenomenon of the onset of convection in a porous medium saturated by an incompressible, non-isothermal Newtonian fluid is known as Rayleigh–Bénard convection in porous media, and the related problem is known as the Bénard problem for the Darcy equation or the Horton–Rogers–Lapwood problem (see [2, chap. 4] and [3, chap. 6]). One can show that the following equations govern the linear instability and the nonlinear stability of the conduction solution (see [2, pag. 68]):
where \({\textsf{R}}^2\) is the Rayleigh number and, for given fluid and porous medium, is defined as ([2, pag. 64]):
where k is the permeability of the porous medium. System (12) is of order four, so we require four boundary conditions, namely
For every fixed wavenumber, system (12) forms a generalized eigenvalue problem for the Rayleigh number. Indeed, the system can be rewritten in matrix form as follows:
that is:
Let \({\textsf{R}}_c\) be the smallest positive eigenvalue satisfying system (16). Condition \({\textsf{R}}<{\textsf{R}}_c\) is a necessary and sufficient condition for the stability of the conductive solution [3]. The critical Rayleigh number \({\textsf{R}}_c\) for the onset of convection is determined by solving the following minimum problem:
It turns out that for the problem under examination the critical Rayleigh number for the onset of instabilities is analytically determinable (see [2, pag. 69] and [3, pag. 245]), and it is actually:
in correspondence with the critical wavenumber:
2.3 Penetrative convection in clear fluids
One can show that the following equations govern the linear instability of the penetrative convection in clear fluid problem (see [32, pag. 235]):
where \(\zeta =\tfrac{4}{T_U}\), with \(T_U\ge 4^\circ C\) temperature of the upper layer. The Rayleigh number \({\textsf{R}}^2\) for a given fluid is:
where now \(\beta =\tfrac{T_U}{d}\). The associated four boundary conditions are the following:
The final two boundary conditions depend on what type of surfaces bound the fluid layer. For every fixed wavenumber, system (20) forms a generalized eigenvalue problem for the Rayleigh number. Indeed, the system can be rewritten in matrix form as follows:
that is:
It turns out that for the problem under examination the critical Rayleigh number for the onset of instability is not immediately analytically determinable and indeed we will work, for fixed \(T_U\ge 4^\circ C\), on the minimum problem
through a numerical theory we are about to introduce in Sect. 3.
2.4 Penetrative convection in porous media
One can show that the following equations govern the linear instability of the penetrative convection in porous medium problem (see [2, pag. 382]):
where \(\zeta\) and \(T_U\) are defined as in Sect. 2.3. The Rayleigh number \({\textsf{R}}^2\), for an assigned fluid, is given by:
where now \(\beta =\tfrac{T_U}{d}\). System (26) is of order four, and so we require four boundary conditions:
For every fixed wavenumber, system (20) forms a generalized eigenvalue problem for the Rayleigh number. Indeed, the system can be rewritten in matrix form as follows:
that is:
For the problem under examination, the critical Rayleigh number for the onset of instabilities is not easily analytically determinable; therefore, for fixed \(T_U\ge 4^\circ C\), we will numerically solve the minimum problem
through the numerical theory explained in Sect. 3.
2.5 Convection in porous media with depth-dependent viscosity fluid
The linear instability theory for convection in porous media with depth-dependent viscosity fluid provides the following governing equations (see [33, pag. 69]):
where \(D=\frac{\textrm{d}}{\textrm{d}z}\) and function \(f=f(z)\) describes how viscosity changes with depth. Hence, let \(\mu _0\) be the value of viscosity at \(z=\frac{1}{2}\), it turns out that
Finally, \({\textsf{R}}^2\) is the Rayleigh number and, for a given fluid, is given by:
The following four boundary conditions are frequently enforced:
Following the choice in [33], we set:
As a result, system (32) becomes:
Notice that system (37) represents a generalized eigenvalue problem for the Rayleigh number. Indeed, (37) can be written as follows:
that is:
Looking at (38), unlike the previous cases, the first derivative \(D=\tfrac{\textrm{d}}{\textrm{d}z}\) appears in the operator A. Moreover, an exponential function shows up in B. As consequence, it turns out that for the problem under examination the critical Rayleigh number for the onset of instabilities is not immediately analytically determinable.
The minimum problem
is going to be solved numerically in Sect. 4.8, once the matrix representation of the exponential \(e^{c\left( \frac{1}{2}-z\right) }\) is built. In Sect. 3.5, specific attention will be devoted to how to construct such a matrix.
3 The Chebyshev-\(\tau\) method
3.1 Remark about general \(\tau\) method
When dealing with ordinary differential equations, one can look for a solution as a formal power series expansion:
Substituting this solution in the differential equation, it is possible to determine the coefficients with a recurrence relation and boundary conditions allow to uniquely determine the coefficients. However, when dealing with infinite series, convergence problems can occur. It is indeed possible that the series diverges for every point outside \(z=0\). In order to overcome this problem, the expansion can be truncated:
for an arbitrary fixed n. The system becomes overdetermined since we have \(n+1\) coefficients to be determined at our disposal, but the number of equations is larger than \(n+1\). In order to remove the overdetermination, which arises from the reduction of order of polynomial after derivation, an extra term \(\tau p(z)\) (with p a generic polynomial) can be added on the right-hand side of the differential equation. For example, in the case of \(n+1\) coefficients and \(n+3\) equations we will need the error terms:
with p and q polynomials. The coefficient \(\tau\) can be considered as an error term introduced in order to gain the solvability of the system. Since the coefficients were determined by successive recurrence, the only ones that cannot be determined are the last ones.
3.1.1 Example
Let us consider the following Cauchy problem:
One can look for a solution of the following form:
Now, substituting (45) in (44) it turns out:
From (46), by recurrence one obtains \(a_0=a_1=a_2=0\). The solution will be \(y(z)=0\), which does not satisfy the initial condition (44)\(_2\). Hence, one needs to introduce a truncation term on the right-hand side of (44)\(_1\), which leads to the following equation for the coefficients:
In this case, it is convenient to choose \(p(z)=\tau z^2\) because the term that leads to overdetermination is \(-5a_2 z^2\). The auxiliary equation for coefficients becomes:
Therefore:
If we chose as truncation term \(\tau (2z^2-1)\), then:
The chosen polynomial \(p(z)=2z^2-1\) will turn out to be a Chebyshev polynomial of the first kind. This choice leads to a smaller truncation error, i.e. \(\tau _c<\tau _p\). Consequently, in a more general case, it could be convenient to employ Chebyshev polynomials both for the expression of the truncation term and for the expansion of the solution of a specific differential problem. Hence, the method we will describe is a special \(\tau\) method: the Chebyshev-\(\tau\) method. For a more detailed discussion of the subject, see [34, pag. 464]
3.2 Preliminary
Let us rewrite system (12) as follows:
with \(':=D=\tfrac{\textrm{d}}{\textrm{d}z}\). System (51) is a special case of the following more general system of equations:
where \(\alpha _j,\beta _i\), with \(i=1,2,3,4\), are known coefficients (which may possibly be functions of z) and \(z\in (0,1)\). Furthermore, one or more of those coefficients contains an eigenvalue \({\textsf{R}}\). Boundary conditions are the following:
We begin to describe Chebyshev-\(\tau\) method in the context of system (52). Having this in mind, let us define two linear operators \(L_1\) and \(L_2\) as follows:
System (52) turns out to be equivalent to:
in the domain \((-1,1)\) with boundary conditions:
The domains of the functions appearing in system (52) have been transformed from [0, 1] to \([-1,1]\), the latter being the natural domain to work with Chebyshev polynomials. Before proceeding, we need to recall some fundamental properties of these polynomials.
3.3 Chebyshev polynomials: basic properties
The Chebyshev polynomials of the first kind of order n are defined as follows:
From the previous definition, setting \(z=\cos \theta\), it turns out that:
The Chebyshev polynomials of the second kind of order n are defined, setting \(z=\cos \theta\), as follows:
Polynomials \(T_n\) and \(U_n\), with \(n\in \mathbb {N}_0\), satisfy the following remarkable properties.
-
(i)
The following recurrence relations hold (see [35, pag. 14–16]):
$$\begin{aligned} \begin{aligned} T_{n+1}(z)&=2zT_n(z)-T_{n-1}(z),\quad n=1,2,\ldots \\[2mm] U_{n+1}(z)&=2zU_n(z)-U_{n-1}(z),\quad n=1,2,\ldots \end{aligned} \end{aligned}$$(60)where we pose \(T_0(z)=1\), \(T_1(z)=z\) and \(U_0(z)=1\), \(U_1(z)=2z\). The first five Chebyshev polynomials of the first and second kind are explicitly reported:
$$\begin{aligned} \begin{array}{ccc} \begin{aligned} \begin{aligned} &{}T_0(z)=1\\ &{}T_1(z)=z\\ &{}T_2(z)=2z^2-1\\ &{}T_3(z)=4z^3-3z\\ &{}T_4(z)=8z^4-8z^2+1 \end{aligned} \end{aligned}&{}\qquad &{}\begin{aligned} \begin{aligned} &{}U_0(z)=1\\ &{}U_1(z)=2z\\ &{}U_2(z)=4z^2-1\\ &{}U_3(z)=8z^3-4z\\ &{}U_4(z)=16z^4-12z^2+1 \end{aligned} \end{aligned} \end{array} \end{aligned}$$(61) -
(ii)
The following relation between Chebyshev polynomials of the first and second kind holds:
$$\begin{aligned} U_n(z)-U_{n-2}(z)=2T_n(z),\qquad n=2,3,\ldots \end{aligned}$$(62) -
(iii)
Polynomial \(T_n(z)\) has n zeros in the interval \([-1,1]\), given by (see [35, pag. 31–32]):
$$\begin{aligned} z_k=\cos \left( \tfrac{2k-1}{2n}\pi \right) \qquad k=1,2,\ldots ,n \end{aligned}$$(63)and \(n+1\) extrema given by (see [35, pag. 33]):
$$\begin{aligned} {\widehat{z}}_k=\cos \left( \tfrac{k\pi }{n}\right) \qquad k=0,1,\ldots ,n \end{aligned}$$(64)and in these points we have \(T_n({\widehat{z}}_k)=\cos \left[ n\cos ^{-1}({\widehat{z}}_k)\right] =\cos (k\pi )=(-1)^k\).
-
(iv)
The following fundamental product relation holds (see [35, pag. 43]), for every \(r,s\in \mathbb {N}_0\):
$$\begin{aligned} T_r(z)T_s(z)=\tfrac{1}{2}\left[ T_{r+s}(z)+T_{|r-s|}(z)\right] . \end{aligned}$$(65) -
(v)
The following integral relation between Chebyshev polynomials of the first and second kind holds:
$$\begin{aligned} \int U_n(z)dz=\tfrac{1}{n+1}T_{n+1}(z)+c. \end{aligned}$$(66) -
(vi)
The first derivative of \(T_n(z)\) can be written in terms of the polynomials itselfFootnote 1:
$$T^{\prime}_{n} (z) = 2n\mathop {\sum{'} }\limits_{{\begin{subarray}{1} {k = 0} \\ {n - k{\text{ odd}}} \\ \end{subarray} }}^{{n - 1}} T_{k} (z),$$(67)where, from now on the prime at the summation symbol means that, if it appears, the term contributed by \(k = 0\) is to be halved.
A similar relation for the second derivative of \(T_n(z)\) holds (see [35, pag. 50]):
$$T^{\prime\prime}_{n} (z) = n\mathop {\sum {'} }\limits_{\begin{subarray}{l} k = 0 \\ n - k{\text{ }}even \end{subarray} }^{{n - 2}} (n^{2} - k^{2} )T_{k} (z).$$(68)Relations (67) and (68) are special cases of following general formula for \(p=1,2,\ldots\) (see [36, pag. 597])
$$\frac{{{\text{d}}^{p} }}{{{\text{d}}x^{p} }}T_{n} (z) = 2^{p} n\mathop {\sum {'} }\limits_{\begin{subarray}{l} k = 0 \\ n - p - k{\text{ even}} \end{subarray} }^{{n - p}} \left( {\begin{array}{*{20}c} {\frac{{n + p - k}}{2} - 1} \\ {\frac{{n - p - k}}{2}} \\ \end{array} } \right)\frac{{\left( {\frac{{n + p + k}}{2} - 1} \right)!}}{{\left( {\frac{{n - p + k}}{2}} \right)!}}{\mkern 1mu} T_{k} (z).$$(69) -
(vii)
Polynomials \(T_n(z)\) can be written in terms of powers of z in the following way (see [35, pag. 35-36]):
$$\begin{aligned} T_n(z)=\sum _{k=0}^{\lfloor {n}/{2}\rfloor }c_{n,k}z^{n-2k}, \end{aligned}$$(70)where \(\lfloor \cdot \rfloor\) denotes the largest integer not greater than the number it embraces, with:
$$\begin{aligned} c_{n,k}=(-1)^k 2^{n-2k-1}\frac{n}{n-k}\left( {\begin{array}{c}n-k\\ k\end{array}}\right) . \end{aligned}$$(71)For example, if \(n=4\):
$$\begin{aligned} T_4(z)=\sum _{k=0}^2c_{4,k}z^{4-2k}=c_{4,0}z^{4}+c_{4,1}z^{2}+c_{4,2}=8z^4-8z^2+1. \end{aligned}$$Powers of z can be written in terms of polynomials \(T_n(z)\) in the following way.Footnote 2:
$$\begin{aligned} z^n=2^{1-n}\mathop {{\sum }'}_{k=0}^{\lfloor {n}/{2}\rfloor }\left( {\begin{array}{c}n\\ k\end{array}}\right) T_{n-2k}(z). \end{aligned}$$(72) -
(viii)
The following orthogonality relation holds, for every \(r,s\in \mathbb {N}_0\):
$$\begin{aligned} \left\langle T_r(z),T_s(z)\right\rangle :=\int _{-1}^{1}T_r(z)T_s(z)\tfrac{1}{\sqrt{1-z^2}}dz={\left\{ \begin{array}{ll} \pi &{}\text {if}\quad r=s=0,\\ \tfrac{\pi }{2}&{}\text {if}\quad r=s\ne 0,\\ 0&{}\text {if}\quad r\ne s. \end{array}\right. } \end{aligned}$$(73)Moreover, we have that:
$$\begin{aligned} \Vert T_n(z)\Vert ^2:\;=\int _{-1}^1T^2_n(z)\tfrac{1}{\sqrt{1-z^2}}dz={\left\{ \begin{array}{ll} \pi &{}\text {if}\quad n= 0,\\ \tfrac{\pi }{2}&{}\text {if}\quad n\ne 0. \end{array}\right. } \end{aligned}$$(74)
Notice that property viii) shows that the set \(\left\{ T_n(z)\right\} _{n\ge 0}\) forms an orthogonal system of \(L^2(-1,1)\) with respect to the weight function \(w(z)=\tfrac{1}{\sqrt{1-z^2}}\).
3.4 Theoretical aspects of the method
We will now describe the procedure for determining eigenvalues and eigenfunctions of systems (55) with associated boundary conditions (56). We defined operators \(L_1\) and \(L_2\) in order to rewrite (52) in the equivalent form (55). The key idea is to write W and \(\Theta\) in truncated Chebyshev series:
Obviously, the exact solution of the differential equation is an infinite series, i.e. \(N\rightarrow +\infty\). Following the idea introduced in Sect. 3.1 in order to solve (55) within the approximation (75), we solve:
where parameters \(\tau _i\) and \(\tau '_i\), \(i=1,2\), are effectively error indicators for the truncation in (75). In order to determine coefficients \(w_k\) and \(\theta _k\) in (75), we use the orthogonality relation (73) of the Chebyshev polynomials in the space \(L^2(-1,1)\):
In such a way, \(2(N+1)\) equations are obtained, with two additional conditions:
with \(j=1,2\). The four Eq. (78) just determined give us the coefficients \(\tau _i\) and \(\tau '_i\), with \(i=1,2\), which turn out to be the measures of the truncation error.
Let us observe that from definition (57) it follows that:
so, in particular \(T_n(\pm 1)=(\pm 1)^n\). Therefore, given boundary conditions (56), we obtain from (75) that:
The \(2(N+1)\) Eq. 77) jointly with the 4 Eq. (80) give a system of \(2(N+3)\) equations in \(2(N+3)\) unknowns \(w_k\), \(\theta _k\), with \(k=0,\ldots ,N+2\). Since it will be useful in the sequel, let us consider boundary conditions:
Having in mind (77), we proceed in the following way: \(\forall i=0,\ldots ,N\)
so, due to the linearity of the scalar product:
therefore, because of (75) it follows:
Now setting \(\gamma _i=\Vert T_i(z)\Vert ^2\), from (73) it immediately turns out that:
and moreoverFootnote 3:
with \(c_0=2\) and \(c_i=1\) for \(i=1,2,\ldots , N\) and finally\(^3\):
always with \(c_0=2\) and \(c_i=1\) for \(i=1,2,\ldots , N\). Analogous conclusions are determined for terms \(\theta _k\). In view of the above, we can write system (84) in the following way:
with \(i=0,\ldots ,N\). The \(2(N+1)\) Eq. (88) jointly with the 4 Eq. (80) give us \(2(N+3)\) equations in \(2(N+3)\) unknowns, which are in vector form:
System (88) in simple matrix form is:
with \(i=2(N+1)\) rows and \(s=2(N+3)\) columns, that we can write in blocks:
By virtue of (85), I is an identity-like matrix, while by virtue of (86) and (87), matrices D and \({{D^2}}\) (\(i=N+1\) rows and \(s=N+3\) columns) are, respectively, given by:
and
Notice that \({{D^2}}={{D}}\cdot {{D}}\) can be written as a matrix product of D times itself. In order to close system (88), we add boundary conditions (77) in the following order:
Ultimately the problem can be written in the following matrix form:
with A is a numerical squared matrix of order \(2(N+3)\) given in blocks by:
We can represent the previous blocks symbolically as follows:
3.5 Non-constant coefficients
Let us now consider the case where one of the coefficients \(\alpha _2,\alpha _4\) and \(\beta _2,\beta _4\) is a function of z. Assuming \(\alpha _2=\alpha _2(z)\), the system (82) becomes:
with \(i=0,\ldots ,N\).
As first instance, let \(\alpha _2\) be a linear function of z:
and without loss of generality let us pose \(a_1=0\) and \(a_2=1\). Recalling (61) we have \(z=T_1(z)\), therefore thanks to the product relation (65) it follows that:
Observe that for \(i=0\):
while for \(i=1\):
finally for \(i=2,3,\ldots , N\):
Therefore, it turns out, for \(i=0,1,\ldots , N\), that:
with \(c_0=0\), \(c_1=2\) and \(c_i=1\) for \(i=2,3,\ldots , N\). Let us rewrite the system (99) as follows:
or in matrix form:
with B a matrix of \(i=2(N+1)\) rows and \(s=2(N+3)\) columns. We can write the system (106) in the following block matrix form:
where Z is a matrix of \(i=N+1\) rows and \(s=N+3\) columns given by:
By appropriately adding the boundary conditions, matrix forms analogous to (97) and (98) can be obtained.
Let us now consider a more generic function \(\alpha _2(z)\) defined in \(\left( 0,1\right)\) and \(z_0\in \left( 0,1\right)\) such that the derivatives \(\alpha _2^{(1)}(z_0), \alpha _2^{(2)}(z_0),\) \(\dots ,\alpha _2^{(M)}(z_0)\) exist. We consider how such a function can be written in terms of Chebyshev polynomials. The idea we developed involves the Taylor expansion of \(\alpha _2(z)\) in order to take advantage of (72).
For the sake of simplicity, let us assume that \(\alpha _2(z)\) may be written as a second-order polynomial with a good approximation:
Let us define
so that (111) becomes
From (61), we may determine the expression of \(\alpha _2(z)\) in terms of Chebyshev polynomials:
Let us define the following coefficients
for a simpler expression of (114).
We now proceed to write the scalar product \(\left\langle \alpha _2(z)W,T_i\right\rangle\) appearing in (99):
Now, for \(i=0\):
for \(i=1\):
for \(i=2\):
finally for \(i=3,4,\dots , N\)
Therefore, for \(i=0,1,2,\dots , N\)
where \(c_s=2\) for \(s=0,i\); otherwise \(c_s=1\).
The system (99) becomes
that is, in matrix form:
with B a matrix of \(i=2(N+1)\) rows and \(s=2(N+3)\) columns where
and F is the matrix representation of \(\alpha _2(z)\) of \(i=N+1\) rows and \(s=N+3\) columns:
As the reader may have noticed, when taking advantage of (61) in (113), the term \(z^2\) gives an additional contribution in terms of \(T_0\), unlike the term in z which is simply equal to \(T_1\). Looking at (61), \(z^3\) will provide an additional term in \(T_1\); \(z^4\) in \(T_2\) and \(T_0\) and so on. Once this idea had been understood, we may proceed to write the code we report in the next section.
3.6 Generalized eigenvalue problems
A vector \({{\textbf {x}}}\) is said to be an eigenvector of the matrix A if there is a nonzero real number \(\lambda\), called eigenvalue, such that:
Problem (126) is better known as the eigenvalue problem. A vector \({{\textbf {x}}}\) is said to be an eigenvector of matrices A and B if there exists a nonzero real number \(\lambda\), called eigenvalue, such that:
Problem (127) is better known as the generalized eigenvalue problem, and this is precisely the kind of problem we are going to deal with. Let us now go back to the general system (52):
under the following boundary conditions:
In case \(\alpha _1=\alpha _3=\beta _1=\beta _3=0\), \(\alpha _2=\beta _4=a^2\), \(\alpha _4=\alpha _4({\textsf{R}})=-{\textsf{R}} a^2\) e \(\beta _2=\beta _2({\textsf{R}})=-{\textsf{R}}\), the system (128) becomes:
and coincides with system (12) which is a generalized eigenvalue problem as we remarked before in (15) and (16). In view of the Chebyshev polynomial theory we have just introduced, we have the following symbolic representation of the problem \(A{{\textbf {x}}}={\textsf{R}}B{{\textbf {x}}}\):
At first glance, because of the high order of the derivatives, it seems that problem (1) does not fall within the general case (128) for which the theory of Chebyshev decomposition was introduced. Let us reconsider system (1)
with boundary conditions:
If we introduce the following auxiliary variable:
system (131) can be transformed as follows:
and therefore, the order of derivation is consistent with the theory. Moreover, we need to add new boundary values for the auxiliary variable (133), which, because of (132), are:
We now need to specify the type of surface bounding the fluid layer. In particular, if we assume free–free conditions (4), i.e. \(D^2W(0)=D^2W(1)=0\), it turns out that:
Ultimately we are dealing with the following generalized eigenvalue problem:
together with boundary conditions:
Different boundary conditions will be taken into account in Sect. 5.3.
4 Numerical solutions: computational aspects of the method
We anticipate that the present section concerning the numerical implementation of the first in-depth theoretical part will require some basic knowledge of MATLAB. In any case, the presented codes will be explained as clearly as possible and applied to the previously introduced hydrodynamic stability problems. Moreover, every presented and cited code is available in the GitHub repository [37].
4.1 Construction and visualization of the Chebyshev polynomials
In MATLAB, functions \(\mathtt {chebyshevT(0:n,z)}\) and \(\mathtt {chebyshevU(0:n,z)}\) (for detailed documentation, see [38, 39]) give a vector of length n whose k-th entry is the k-th Chebyshev polynomial, respectively, of the first and second kind, with \(k\in \{0,\ldots ,n\}\). Their behaviour is shown in Figs. 1 and 2.
4.2 Construction of D, \(D^2\) and Z matrices and boundary condition vector
In order to build the matrix D , we have simply to follow what we computed in (86) and (92), so only two nested for loops are needed, see function 1:
Analogously, building the matrix \({{D^2}}\) simply consists in following what we computed in (100) and (94) therefore only two nested for loops are needed, see function 2:
Matrix Z can be built following (109), so two consecutive loops for are needed, hence function 3:
About boundary conditions in \(z=0\) and \(z=1\), we can proceed recalling what we introduced in (80) and (81) and writing the conditional constructs shown in function 4:
Functions \(\texttt{chebyder}\) 1, \(\texttt{chebyder2}\) 2, \(\texttt{chebyZ}\) 3 and \(\texttt{chebybval}\) 4 are the four fundamental building blocks of the method.
4.3 Horton–Rogers–Lapwood problem
As we said in Sect. 3.6, in order to solve the Horton–Rogers–Lapwood problem, we need to work on the generalized eigenvalue problem \(A{{\textbf {x}}}={\textsf{R}} B{{\textbf {x}}}\) which is symbolically represented in page 27. The next-to-last step is to build matrices A and B, see 5:
The real last step is actually the resolution of the generalized eigenvalue problem and the determination of the critical Rayleigh number, as done in 6:
Recalling what we analytically found in (18) and (19), setting \(\mathtt {step=0.0001}\) and \(\mathtt {x=9.7:step:10}\), the code gives us as output the following critical numbers:
In Fig. 3, the numerically computed neutral curve (i.e. the instability threshold for the onset of steady convection) is depicted. In Fig. 4, the solid blue line depicts the neutral curve determined analytically, while the dashed black line depicts the numerically computed neutral curve. The two lines overlap; therefore, the numerical approach computes the exact solution (17).
4.4 Bénard problem
For the Bénard problem, following the procedure we introduced in Sect. 3.6 (page 27), in order to build matrices A and B we may proceed as in function fullmatrices_B, available at [40]. The last step is the resolution of the generalized eigenvalue problem and the determination of the critical Rayleigh number. To this aim, it is sufficient to replace fullmatrices_HRL with fullmatrices_B in code 6 (line 9). Recalling what we analytically found in (10) and (11), the resulting code will produce as output the following critical numbers and the neutral curve depicted in Fig. 5:
In Fig. 6, the solid blue line depicts the neutral curve determined analytically, while the dashed black line depicts the numerically computed neutral curve. The overlapping between these curves shows once again that the Chebyshev-\(\tau\) method manages to find the exact critical Rayleigh number defined by (9).
4.5 Methodological remark
Given a certain generalized eigenvalue problem to solve with the Chebyshev-\(\tau\) method, in order to avoid confusion, it is definitely convenient to sketch a symbolic representation of the system as we did in Sect. 3.6 (page 27). We can therefore identify the blocks that form matrices A and B. Given a certain block of order (p, q) in the nested for loops, code 7 follows:
4.6 Penetrative convection in clear fluid problem
One can now easily write a code for the determination of matrices A and B concerning the generalized eigenvalue problem for the linear instability in penetrative convection in clear fluids introduced in Sect. 2.3. In order to analyse the behaviour of the critical Rayleigh number \({\textsf{R}}_{c,L}\) with respect to the upper layer temperature, we wrote function \(\mathtt {fullmatrices\_PClear}\) [41] and code [42]. The effect of the upper layer temperature on \({\textsf{R}}_{c,L}\) is depicted in Fig. 7. The stabilizing effect of \(T_U\) on the onset of penetrative convection emerges since the critical Rayleigh number is an increasing function with respect to \(T_U\).
One can numerically find the table given by Straughan in [32, pag. 236].Footnote 4
4.7 Penetrative convection in porous media problem
We can here easily write a code for the determination of matrices A and B concerning the generalized eigenvalue problem for the linear instability in penetrative convection in porous media introduced in Sect. 2.4. To this aim, it is sufficient to write a suitable \(\mathtt {fullmatrices\_PPorous}\) routine (see [43]), and in order to plot the behaviour of the critical Rayleigh number with respect to the upper layer temperature we just need to substitute \(\mathtt {fullmatrices\_PPorous}\) in line 10 of code [42]. Once the code is fully written, the behaviour of \({\textsf{R}}_c\) with respect to the upper plane temperature \(T_U\), depicted in Fig. 8, can be recovered: \({\textsf{R}}_c\) is an increasing function of \(T_U\); therefore, the upper plane temperature has a stabilizing effect on the onset of penetrative convection.
4.8 Convection in porous media with depth-dependent viscosity fluid
In Sect. 3.5, we analytically studied two cases where a non-constant coefficient \(\alpha _2(z)\) appears in (99). We were able to write the matrix representation both when \(\alpha _2(z)\) is a linear function and when it is a generic function that is well approximated by a second-order Taylor polynomial. What happens if we need a greater degree polynomial to approximate \(\alpha _2(z)\)? The determination of the Chebyshev expansion would be very complicated and the representative matrix would involve several Chebyshev polynomials. In studying the onset of thermal convection in a porous medium saturated by a fluid with depth-dependent viscosity, we faced such a complication. As shown in Sect. 2.5, viscosity \(\mu\) is such that
As consequence, we needed to find a matrix representation for f(z). The following routines are helpful to this aim.
The function 8 finds the matrix representation of a symbolic function f. The algorithm begins with the determination of the Taylor expansion of f (see line 8). The associated approximation error is determined in line 12. The code then extrapolates the coefficients in the Taylor polynomial at line 16 where those coefficients are collected as entries of the vector coeff by means of the function CoeffExtraction 9. The for loop in line 25 reproduces the recursive formula (72). The function ends with the call to Construction_Matrix_Representation 10 after building vettcoeff whose i-th entry is the coefficient before the i-th Chebyshev polynomial.
The routine 9 builds a vector whose entries are the coefficients in a polynomial.
Finally, the following routine 10 allows building the matrix representation of a function that is expanded with Chebyshev polynomials. It takes a vector in input where the i-th entry is the coefficient of the i-th Chebyshev polynomial in the expansion.
Results that one can obtain by following this method are in very good agreement with those obtained in [33, Table 3, pag. 67].
5 Further applications
5.1 Velocity and temperature eigenfunctions
Generally speaking, when we want to solve a generalized eigenvalue problem, we need to find eigenvalues and eigenvectors. In the fullmatrices codes we provided before, we used the MATLAB function \(\texttt{eig}\) (see [44]). Given a generalized eigenvalue problem (127), \(\mathtt {E = eig(A,B)}\) returns a column vector \(\texttt{E}\) containing the generalized eigenvalues of square matrices A and B, while \(\mathtt {[F,E] = eig(A,B)}\) returns diagonal matrix \(\texttt{E}\) of generalized eigenvalues and full matrix \(\texttt{F}\) whose columns are the corresponding right eigenvectors:
Let us consider the penetrative convection in porous media problem and its generalized eigenvalue problem (29). Recalling (75) in order to construct functions W(z) and \(\Theta (z),\) we need to have \(\{T_k(z)\}_{k=0}^{N-1}\) and the two sets of coefficients \({{\{w_k\}_{k=1}^N}}\) and \({{\{\theta _k\}_{k=1}^N}}\). The former set is kindly offered by MATLAB, as we mentioned in Sect. 4.1. Concerning the coefficients, if we look at (30), having in mind (89), we realize that:
In order to draw the velocity and temperature eigenfunctions, we first need to notice that when we use \(\texttt{eig}\) to find the critical Rayleigh numbers we always \(\texttt{sort}\) the eigenvalues vector. This means that we cannot directly find the eigenfunction column vector once \({\textsf{R}}_c\) and \(a^2_c\) are found. Nevertheless, what we can do is solve the generalized eigenvalue problem with given critical wavenumber \(a^2_c\) and search the position in \(\texttt{E}\) of the given critical Rayleigh number \({\textsf{R}}_c\) and, as a consequence, find the corresponding position of the column vector in \(\texttt{F}\). The second thing to notice is that the order of magnitude of the eigenfunctions decreases very rapidly with increasing upper boundary temperature. Therefore, in order to visualize the qualitative behaviour on a single graph, we need to \(\texttt{normalize}\) (see [45]) the eigenfunctions over the spatial layer. The last thing to notice is that the eigenfunctions are defined up to a scaling factor, i.e. if \(A{{\textbf {x}}}={\textsf{R}}B{{\textbf {x}}}\), then \(A(\gamma _i{{{\textbf {x}}}})={\textsf{R}} B(\gamma _i{{\textbf {x}}})\) with \(\gamma _i\in {\mathbb {R}}\). We will use a scaling factor \(\gamma _i=-1\) in the following. In view of the previous remarks, we may proceed as in code available at [46].
In Fig. 9, the reader may notice the change in sign of W(z) , which implies that a small secondary cell near the upper boundary is driven by viscous forces. In order to compute the temperature eigenfunctions, we essentially employ code [47]. Results are shown in Fig. 10. For a more detailed discussion about the phenomenology related to Figs. 9 and 10, see [2, pag. 384], [48, pag. 651] and [49, pag. 63].
5.2 Convective roll perturbation
Without going into details (for which see [1, pag. 23]), we report that in linear instability analysis at the criticality the perturbation is presumed to be of the following form:
where w is the vertical component of the velocity field perturbation \({{\textbf {u}}}=(u,v,w)\) and \(\theta\) is the temperature perturbation. The analysis of roll perturbations can be formulated as a 2D problem in the (x, z) -plane (see [50, pag. 146]), so we look for solution of form:
Notice that, recalling \(a^2=a_x^2+a_y^2\), if a convective cell is a domain of form
then a convective roll (we can think \(a_y\rightarrow 0\)) is a domain of the following form:
Now, if we look at (142), in view of what we obtained in Sect. 5.1, we have all the ingredients necessary to visualize the convective roll perturbation. Let us first consider the Bénard problem. In order to depict convective roll and (143)\(_1\), let us employ the critical Rayleigh and wave numbers (140) in code [51] to determine their corresponding eigenfunction (see the symbolic representation in Sect. 5.1, at page 41). The results are shown in Fig. 11a, b, where the symmetric behaviour of the streamlines with respect to \(z=1/2\) is evident (for a more detailed discussion about cell patterns, see [1, pag. 43]).
We can visualize the convective roll perturbation for the penetrative convection problem in Fig. 12a. Moreover, Fig. 12b shows how the change in sign of function W(z), shown in Fig. 9, generates a small secondary cell near the upper boundary.
As last example, in Fig. 13a, b we can visualize the convective roll perturbation when the fluid saturating a porous medium exhibits a viscosity which can be expressed as in (33) together with (36). The flow tends to concentrate in the region of low viscosity as shown by the movement of the vortex centre leading to a loss of symmetry of the streamlines with respect to half of the layer.
5.3 Different boundary conditions
When in the Bénard problem we introduced the Y auxiliary variable (133) in order to assign the two additional boundary conditions, we had to choose between:
-
(i)
free–free, bottom and top surface free
$$\begin{aligned} D^2W(0)=D^2W(1)=0, \end{aligned}$$(144) -
(ii)
rigid–rigid, bottom and top surface fixed
$$\begin{aligned} DW(0)=DW(1)=0, \end{aligned}$$(145) -
(iii)
rigid-free, bottom surface fixed, top surface free
$$\begin{aligned} DW(0)=D^2W(1)=0. \end{aligned}$$(146)
The first easier choice, free–free surfaces, allowed us to write:
As we anticipated in Sect. 3.6 (page 28), we want to take into account different boundary conditions. If we differentiate Eq. (135), we obtain:
and in particular assuming rigid–rigid conditions, i.e. \(DW(0)=DW(1)=0\), we have
moreover, if we differentiate Eq. 135)\(_1\), we have
and assuming rigid-free conditions, i.e. \(DW(0)=D^2W(1)=0\), we have
However, while the free–free boundary condition vector immediately follows from (80) and (81), i.e.:
the determination of rigid–rigid and rigid-free conditions, i.e. \(\text {bc}_{_{DY(0)}}\), \(\text {bc}_{_{DY(1)}}\), \(\text {bc}_{_{D^3W(0)}}\) and \(\text {bc}_{_{D^3W(0)}}\), is non-trivial. Fortunately, we can take advantage of the following formula:
hence, the non-triviality is essentially contained in the boundary conditions in \(z=0\), but we have to approach this one step at a time. Let us start with \(\text {bc}_{_{DY(1)}}\)
Now, from (153) with \(p=1\) it follows that:
so:
We proceed with:
and then, always from (153) it follows that:
so:
Now comes the non-trivial part. We will start with \(\text {bc}_{_{DY(0)}}\), recalling (67):
therefore:
Finally we can find \(\text {bc}_{_{D^3W(0)}}\), having in mind (69), so
then:
so:
Now, notice that the rigid–rigid boundary conditions (149) are to be suitably arranged in matrix A, considering \({{\textbf {x}}}=({\varvec{w}},{\varvec{y}},{\varvec{\theta }})\), as follows:
while the rigid-free boundary conditions (151) as follows:
In order to determine \(\text {bc}_{_{DY(0)}}\) and \(\text {bc}_{_{DY(1)}},\) we can employ the code 11.
While in order to determine \(\text {bc}_{_{D^3W(0)}}\) and \(\text {bc}_{_{D^3W(1)}}\), we need code 12.
Function \(\texttt{chebybvalD}\) 11 can be substituted in lines 4 and 5 in the code [40] to get a different code that allows us to determine the critical Rayleigh number for onset of convection in the rigid–rigid Bénard problem. The neutral curve is depicted in Fig. 14, and the critical wave and Rayleigh numbers are:
Instead, function \(\texttt{chebybvalD3}\) 12 can be used in lines 4 and 5 in the code [40] to determine the critical Rayleigh number for onset of convection in the rigid-free Bénard problem. The neutral curve is depicted in Fig. 15, and the critical wave and Rayleigh numbers are:
Note that thresholds (165) and (166) are exactly the same as those reported by Chandrasekhar in [35, Table III, pag. 43].
We can now compare the marginal stability curves for the free–free, rigid-free and rigid–rigid Bénard problem in Fig. 16. The presence of a rigid boundary yields a greater critical Rayleigh number. Indeed, it is expected as the fluid sticks to the rigid boundaries that curtail the motion, whereas in the case of free boundaries they allow the fluid more freedom of movement at the boundaries. This freedom leads to an increased fluid velocity and therefore to an enhanced heat transfer situation [52].
5.4 Coupling parameter in nonlinear stability analysis
In this last subsection, we want to examine how one may deal with generalized eigenvalue problems occurring in nonlinear stability analysis. It can be shown that the following equations govern the nonlinear stability of the conduction solution of penetrative convection in clear fluids (see [32, pag. 235]):
\(\mu >0\) being a coupling parameter to be optimally selected (for details about coupling parameters, see [2, chap. 4]). It turns out that for the problem under examination we need to work, for fixed \(T_U\ge 4^\circ C\), on the optimization problem:
To this end, first of all we need to choose two intervals \(I=[a,b]\) and \(J=[c,d]\) (with \(a,c>0\)) and then for every fixed \({\bar{\mu }}\in I\) find the minimum \({\textsf{R}}({\bar{\mu }})=\min _{a^2\in J}{\textsf{R}}({\bar{\mu }},a^2)\) and finally the optimal parameter \({\widehat{\mu }}\) will be the one such that \({\textsf{R}}({\widehat{\mu }})=\max _{\mu \in I}{\textsf{R}}(\mu )\) (see Fig. 17). This idea brought us to write code 13, where at line 11 and 35 a proper function \(\mathtt {fullmatrices\_PClear\_mu}\) (available at [53]) that takes into account the coupling parameter \(\mu\) has been employed.
Numerically, results are the same as those we find in the table given by Straughan in [32, pag. 236]\(^4\).
Data availability
This manuscript has associated data in a data repository. To be inserted as ‘Authors’ comment’, please provide the necessary information in your own wording, ideally with citable references (DOI) where available.
Data availability
Not applicable.
Notes
See Appendix A for details.
For details, see [35, pag. 34] Note that in [36, pag. 596] the following equivalent formula is reported:
$$z^{n} = 2^{{1 - n}} \mathop {\sum ^{\prime } }\limits_{\begin{subarray}{l} k = 0 \\ n - k{\text{ even}} \end{subarray} }^{n} \left( {\begin{array}{*{20}c} n \\ {\tfrac{{n - k}}{2}} \\ \end{array} } \right)T_{k} (z)$$See Appendix A for details.
Note that in [32] the Rayleigh number is defined as \(\textsf{Ra}=\zeta ^5{\textsf{R}}^2\), see equation (3.4); therefore, if one wants to verify the cited table using the code we furnished right before we need to modify line 33 of the code [42] as follows: \(\mathtt {R\_c=R\_x\_sqr(i)*(4/TU)^\wedge 5}\).
Abbreviations
- d :
-
Depth of the layer
- \(T_{\rm L}\) :
-
Lower temperature
- \(T_{\rm U}\) :
-
Upper temperature
- \(\mu\) :
-
Dynamic fluid viscosity
- \(\nu\) :
-
Kinematic fluid viscosity
- \(\rho\) :
-
Fluid density
- \(\alpha\) :
-
Thermal expansion coefficient
- t :
-
Time
- g :
-
Modulus of gravity
- k :
-
Permeability
- \(\kappa\) :
-
Thermal diffusivity
- \(\beta\) :
-
Adverse temperature gradient
- W :
-
Vertical component of the perturbation velocity
- \(\Theta\) :
-
Perturbation temperature
- \(T_n\) :
-
Chebyshev polynomial of the first kind of order n
- \(U_n\) :
-
Chebyshev polynomial of the second kind of order n
- D :
-
Z-derivative
- N :
-
Number of Chebyshev polynomials
- \(a^2\) :
-
Wavenumber
- \({\textsf{R}}\) :
-
Rayleigh number
- B :
-
Bénard problem related
- HRL :
-
Horton–Rogers–Lapwood problem related
- c :
-
Critical value
- L :
-
Linear instability related
- N :
-
Nonlinear stability related
References
S. Chandrasekhar, Hydrodynamic and hydromagnetic stability (Dover, London, 1981)
B. Straughan, The energy method, stability, and nonlinear convection (Springer, New York, 2004)
D.A. Nield, A. Bejan, Convection in porous media (Springer, New York, 2017)
C. Canuto, A. Quarteroni, M.Y. Hussaini, T.A. Zang, Spectral methods in fluid dynamics (Springer, New York, 2012)
J. Dongarra, B. Straughan, D. Walker, Chebyshev tau-QZ algorithm methods for calculating spectra of hydrodynamic stability problems. Appl. Numer. Math. 22(4), 399–434 (1996)
G. Kotha, V.R. Kolipaula, M. Venkata Subba Rao, Internal heat generation on bioconvection of an MHD nanofluid flow due to gyrotactic microorganisms. Eur. Phys. J. Plus 135, 600 (2020)
P. Falsaperla, G. Mulone, C. Perrone, Stability of plane shear flows in a layer with rigid and stress-free boundary conditions. Ricerche di Matematica (2022)
A. Noghrehabadi, A. Daneh Dezfuli, F. Alipour, Solving single phase fluid flow instability equations using Chebyshev Tau-QZ polynomial. J. Comput. Appl. Mech. 50(1), 135–139 (2019)
B. Straughan, Effect of anisotropy and boundary conditions on Darcy and Brinkman porous penetrative convection. Environ. Fluid. Mec., (2022)
R. Avila, E. Ramos, S.N. Atluri, The Chebyshev Tau spectral method for the solution of the linear stability equations for Rayleigh-Bénard convection with melting. CMES 51, 73–92 (2009)
N. Deepika, Linear and nonlinear stability of double-diffusive convection with the Soret effect. Trans. Porous Med. 121, 93–108 (2018)
D. Bourne, Hydrodynamic stability, the Chebyshev tau method and spurious eigenvalues. Continuum Mech. Thermodyn. 15, 571–579 (2003)
A.J. Harfash, Numerical methods for solving some hydrodynamic stability problems. Int. J. Appl. Comput. Math. 1, 293–326 (2015)
B. Straughan, D.W. Walker, Two very accurate and efficient methods for computing eigenvalues and eigenfunctions in porous convection problems. J. Comput. Phys. 127, 128–141 (1996)
A.A. Hill, B. Straughan, A Legendre spectral elementmethod for eigenvalues in hydromagnetic stability. J. Comput. Appl. Math. 193, 363–381 (2003)
P.B. Vasconcelos, J.E. Roman, J.M.A. Matos, Solving differential eigenproblems via the spectral Tau method. Num. Algorithms, 1–23 (2022)
P. Vadasz, Coriolis effect on gravity-driven convection in a rotating porous layer heated from below. J. Fluid Mech. 376, 351–375 (1998)
A. Zeeshan, R. Ellahi, M. Hassan, Magnetohydrodynamic flow of water/ethylene glycol based nanofluids with natural convection through a porous medium. Eur. Phys. J. Plus 129, 261 (2014)
F. Capone, M. Gentile, J.A. Gianfrani, Optimal stability thresholds in rotating fully anisotropic porous medium with LTNE. Trans. Porous Med. 139(2), 185–201 (2021)
F. Capone, J.A. Gianfrani, Onset of convection in LTNE Darcy-Brinkman anisotropic porous layer: Cattaneo effect in the solid. Int. J. of Non-Lin. Mech. 139, 103889 (2022)
F. Capone, J.A. Gianfrani, Thermal convection for a Darcy-Brinkman rotating anisotropic porous layer in local thermal non-equilibrium. Ricerche mat. 71(1), 227–243 (2022)
F. Capone, M. Gentile, G. Massa, The onset of thermal convection in anisotropic and rotating bidisperse porous media. Z. Angew. Math. Phys. 72(4), 1–16 (2021)
F. Capone, G. Massa, The effects of Vadasz term, anisotropy and rotation on bi-disperse convection. Int. J. of Non-Lin. Mech. 135, 103749 (2021)
F. Capone, R. De Luca, G. Massa, Effect of anisotropy on the onset of convection in rotating bi-disperse Brinkman porous media. Acta Mech. 232(9), 3393–3406 (2021)
G. Arnone, F. Capone, Density inversion phenomenon in porous penetrative convection. Inte J Non-Linear Mech. 147, 104198 (2022)
F. Capone, M. Gentile, A.A. Hill, Penetrative convection in a fluid layer with throughflow. Ricerche mat. 57(2), 251–260 (2008)
F. Capone, J.A. Gianfrani, Natural convection in a fluid saturating an anisotropic porous medium in LTNE: effect of depth-dependent viscosity. Acta Mech. 233, 4535–4538 (2022)
N.J. Noon, S.A. Haddad, Stability analysis of double diffusive convection in local thermal non-equilibrium porous medium with internal heat source and reaction effects. J. Non-Equ. Thermodyn. (2022)
N.J. Noon, S.A. Haddad, Stability analysis for rotating double-diffusive convection in the presence of variable gravity and reaction effects: darcy model. Special Topics Rev. Porous Med.: An Int. J. 13(4) (2022)
B. Straughan, On the Nield-Kuznetsov theory for convection in bidispersive porous media. Trans. Porous Media 77(2), 159–168 (2009)
K.E. Torrance, D.L. Turcotte, Thermal convection with large viscosity variations. J. Fluid Mech. 47(1), 113–125 (1971)
B. Straughan, Finite amplitude instability thresholds in penetrative convection. Geophys. Astrophys. Fluid Dyn. 34(1–4), 227–242 (1984)
B. Straughan, Stability criteria for convection with large viscosity variations. Acta Mech. 61, 59–72 (1986)
C. Lanczos, Applied analysis (Dover Publications, New York, 1988)
J.C. Mason, D.C. Handscomb, Chebyshev polynomials (Chapman and Hall/CRC, New York, 2002)
R.J. Mathar, Chebyshev series expansion of inverse polynomials. J. Comput. Appl. Math. 196, 596–607 (2006)
G. Arnone, J.A. Gianfrani, G. Massa, Survey Chebyshev-tau. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau.git
MATLAB: Version 9.11.0 (R2021b). The MathWorks Inc., Natick, Massachusetts (2021). https://it.mathworks.com/help/symbolic/sym.chebyshevt.html
MATLAB: Version 9.11.0 (R2021b). The MathWorks Inc., Natick, Massachusetts (2021). https://it.mathworks.com/help/symbolic/sym.chebyshevu.html
G. Arnone, J.A. Gianfrani, G. Massa, Function fullmatrices-Bénard. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/fullmatrices_B.m
G. Arnone, J.A. Gianfrani, G. Massa, Function fullmatrices-Penetrative-Clear. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/fullmatrices_PClear.m
G. Arnone, J.A. Gianfrani, G. Massa, Penetrative Behaviuor w.r.t. \(T_U\). GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/pen_behav.m
G. Arnone, J.A. Gianfrani, G. Massa, Function fullmatrices-Penetrative-Porous. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/fullmatrices_PPorous.m
MATLAB: Version 9.11.0 (R2021b). The MathWorks Inc., Natick, Massachusetts (2021). https://it.mathworks.com/help/matlab/ref/eig.html
MATLAB: Version 9.11.0 (R2021b). The MathWorks Inc., Natick, Massachusetts (2021). https://it.mathworks.com/help/matlab/ref/double.normalize.html
G. Arnone, J.A. Gianfrani, G. Massa, Normalized Eigenfunction. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/WEig.m
G. Arnone, J.A. Gianfrani, G. Massa, Loop For. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/loopfor1.m
G. Veronis, Penetrative convection. Astrophys. J. 137, 641–663 (1963)
E.D. Large, An Experimental Investigation of Penetrative Convection in Water Near 4C. PhD thesis, The Ohio State University (2010)
D.A. Nield, A. Barletta, The Horton-Rogers-Lapwood problem revisited: the effect of pressurework. Trans. Porous Med. 77, 143–158 (2009)
G. Arnone, J.A. Gianfrani, G. Massa, Periodicity Cells for the Bénard Problem. GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/BenCell.m
P. Siddheshwar, B. Shivakumar, Y. Zhao, C. Kanchana, Rayleigh-Bénard convection in a newtonian liquid bounded by rigid isothermal boundaries. Appl. Math. Comput. 371, 124942 (2020)
G. Arnone, J.A. Gianfrani, G. Massa, Function fullmtrices Penetrative-Clear-\(\mu\). GitHub (2023). https://github.com/GiuseppeArnone/Survey_Chebyshev-tau/blob/main/fullmatrices_PClear_mu.m
Acknowledgements
This paper was produced under the auspices of Gruppo Nazionale di Fisica Matematica (GNFM-INDAM). The authors are deeply indebted to Professor Francesco Calabrò, for many stimulating discussions on the numerical treatment of the topic introduced in this survey, and to Professor Florinda Capone, for giving us the mathematical and phenomenological foundation of hydrodynamic stability problems. The authors kindly thank the anonymous Referees, whose suggestions and comments led to significant improvements in the manuscript.
Funding
Open access funding provided by Università degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
All authors contributed to the study conception and design. Material preparation, data collection and analysis were performed by GA, JAG and GM. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Ethical approval
Not applicable.
Consent to participate
Not applicable.
Consent for publication
Not applicable.
Appendix
Appendix
In this appendix, some lengthy proofs are reported.
-
To prove (67), from (66) we can immediately deduce that \(T'_n(z)=nU_{n-1}(z)\) and from (62) it follows, recalling \(U_1(z)=2z=2T_1(z)\) e \(U_0(z)=1=T_0(z)\), that:
$$\begin{aligned} \begin{aligned} T'_n(z)&=nU_{n-1}(z)=n\bigl (2T_{n-1}(z)+U_{n-3}(z)\bigr )\\&=2n T_{n-1}(z)+n U_{n-3}(z)\\&=2nT_{n-1}(z)+n\bigl (2T_{n-3}(z)+U_{n-5}(z)\bigr )\\&=2n\bigl (T_{n-1}(z)+T_{n-3}(z)\bigr )+nU_{n-5}(z)=\ldots \\ \text {if }n-k\text { odd }\ldots \;&=2n\bigl (T_{n-1}(z)+\ldots +T_{3}(z)\bigr )+nU_1(z)\\&=2n\bigl (T_{n-1}(z)+\ldots +T_{1}(z)\bigr )\\ \text {if }n-k\text { even }\ldots \;&=2n\bigl (T_{n-1}(z)+\ldots +T_{2}(z)\bigr )+nU_0(z)\\&=2n\bigl (T_{n-1}(z)+\ldots +T_{2}(z)\bigr )+nT_0(z) \end{aligned} \end{aligned}$$ -
To prove (86), it is sufficient to recall (67), so that:
$$\begin{aligned} \left\langle {\sum\limits_{{k = 0}}^{{N + 2}} {w_{k} } T_{{k^{\prime}}} ,T_{i} } \right\rangle &= \;\sum\limits_{{k = 0}}^{{N + 2}} {\left\langle {w_{k} 2k\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ \end{subarray} }^{{k - 1}} {T_{p} ,T_{i} } } \right\rangle } \\ &= \;0 + 2\left\langle {w_{1} \sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ k - p{\text{ odd}} \end{subarray} }^{0} {T_{p} ,T_{i} } } \right\rangle + 2\left\langle {w_{2} 2\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 2 - p{\text{ odd}} \end{subarray} }^{1} {T_{p} ,T_{i} } } \right\rangle \\ & \quad + 2\left\langle {w_{3} 3\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 3 - p{\text{ odd}} \end{subarray} }^{2} {T_{p} ,T_{i} } } \right\rangle + 2\left\langle {w_{4} 4\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 4 - p{\text{ odd}} \end{subarray} }^{3} {T_{p} ,T_{i} } } \right\rangle \\ &\quad + 2\left\langle {w_{5} 5\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 5 - p{\text{ odd}} \end{subarray} }^{4} {T_{p} ,T_{i} } } \right\rangle + \ldots \\ &= \;2\left\langle {w_{1} \tfrac{1}{2}T_{0} ,T_{i} } \right\rangle + 2\left\langle {w_{2} 2T_{1} ,T_{i} } \right\rangle + 2\left\langle {w_{3} 3\left( {\tfrac{1}{2}T_{0} + T_{2} } \right),T_{i} } \right\rangle + 2\left\langle {w_{4} 4(T_{1} + T_{3} ),T_{i} } \right\rangle + 2\left\langle {w_{5} 5\left( {\tfrac{1}{2}T_{0} + T_{2} + T_{4} } \right),T_{i} } \right\rangle + \ldots \\ &= \tfrac{2}{{c_{i} }}\gamma _{i} \sum\limits_{\begin{subarray}{l} s = i + 1 \\ s + i{\text{ odd}} \end{subarray} }^{{N + 2}} {sw_{s} } \\ \end{aligned}$$ -
To prove (87), from (68) one immediately has that:
$$\begin{aligned} \left\langle {\sum\limits_{{k = 0}}^{{N + 2}} {w_{k} } T_{{k^{\prime\prime}}} ,T_{i} } \right\rangle &= \;\sum\limits_{{k = 0}}^{{N + 2}} {\left\langle {w_{k} k\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ k - p{\text{ even}} \end{subarray} }^{{k - 2}} {(k^{2} - p^{2} )T_{p} ,T_{i} } } \right\rangle } \\ &= 0 + 0 + \left\langle {w_{2} 2\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 2 - p{\text{ even}} \end{subarray} }^{0} {(2^{2} - p^{2} )T_{p} ,T_{i} } } \right\rangle + \left\langle {w_{3} 3\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 3 - p{\text{ even}} \end{subarray} }^{1} {(3^{2} - p^{2} )T_{p} ,T_{i} } } \right\rangle \\ &\quad + \left\langle {w_{4} 4\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 4 - p{\text{ even}} \end{subarray} }^{2} {(4^{2} - p^{2} )T_{p} ,T_{i} } } \right\rangle + \left\langle {w_{5} 5\sum\limits_{\begin{subarray}{l} p = 0^{\prime} \\ 5 - p{\text{ even}} \end{subarray} }^{3} {(5^{2} - p^{2} )T_{p} ,T_{i} } } \right\rangle + \ldots \\ & = \;\left\langle {w_{2} 2(2^{2} - 0^{2} )\tfrac{1}{2}T_{0} ,T_{i} } \right\rangle + \left\langle {w_{3} 3(3^{2} - 1^{2} )T_{1} ,T_{i} } \right\rangle \\ & \quad + \left\langle {w_{4} 4\left[ {(4^{2} - 0^{2} )\tfrac{1}{2}T_{0} + (4^{2} - 2^{2} )T_{2} } \right],T_{i} } \right\rangle \\ &\quad + \left\langle {w_{5} 5\left[ {(5^{2} - 1^{2} )T_{1} + (5^{2} - 3^{2} )T_{3} } \right],T_{i} } \right\rangle + \ldots \\ &= \;\tfrac{1}{{c_{i} }}\gamma _{i} \sum _{{\begin{array}{*{20}c} {s = i + 2} \\ {s + i{\text{ even}}} \\ \end{array} }}^{{N + 2}} s(s^{2} - i^{2} )w_{s} \\ \end{aligned}$$
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
Arnone, G., Gianfrani, J.A. & Massa, G. Chebyshev-\(\tau\) method for certain generalized eigenvalue problems occurring in hydrodynamics: a concise survey. Eur. Phys. J. Plus 138, 281 (2023). https://doi.org/10.1140/epjp/s13360-023-03794-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjp/s13360-023-03794-9