- Research
- Open access
- Published:
A spectral element Crank–Nicolson model to the 2D unsteady conduction–convection problems about vorticity and stream functions
Journal of Inequalities and Applications volume 2020, Article number: 15 (2020)
Abstract
In this study, a time semi-discretized Crank–Nicolson (CN) scheme of the two-dimensional (2D) unsteady conduction–convection problems for vorticity and stream functions is first built together with showing the existence and stability along with error estimates to the semi-discretized CN solutions. Afterwards, a fully discretized spectral element CN (SECN) model of the 2D unsteady conduction–convection problems as regards the vorticity and stream functions is set up together with showing the proof of the existence and stability along with error estimates of the SECN solution. Lastly, a set of numerical experiments are offered for checking the correctness of the theoretical conclusions.
1 Introduction
Let \(\varOmega \subset {\mathbb {R}}^{2}\) be a bounded interconnected region. The 2D unsteady conduction–convection problems are stated as follows (see [1, 2]).
Problem 1
Seek u, v, Q, and p obeying
where \(\partial _{z}=\partial /\partial z\) (\(z=t, x, y\)), \((u, v)^{T}\) stands for the velocity vector of flow, p stands for the pressure, Q stands for the temperature or heat energy, T stands for the total time, \(\mu =\sqrt{{\mathit{Pr}/\mathit{Re}}}\), Re stands for the Reynolds, Pr stands for Prandtl’s number, \(\gamma _{0}=1/\sqrt{\mathit{Re}\mathit{Pr}}\), \((\varphi _{u}(x, y, t), \varphi _{v}(x, y, t))^{T}\) and \(Q_{0}(t,x,y)\) stand, respectively, for the known boundary values to the flow velocity and temperature, and \((u^{0}(x, y), v^{0}(x,y))^{T}\), and \(Q^{0}(x,y)\) stand, respectively, for the known initial values to the flow velocity and the temperature.
For convenience of the theoretic argumentation, we will presume that \(Q_{0}(t,x,y)=\varphi _{u}(t,x,y) =\varphi _{v}(t, x, y)=0\) in the following.
The 2D unsteady conduction–convection problems possess very momentous physical background and can be applied for simulating the real-world natural phenomena (see [1–4]). But, due to the nonlinearity for Problem 1, most of all when the computational region for Problem 1 is of an irregular geometrical shape, one cannot usually find any genuine solution so one has to find numerical ones.
It is universally acknowledged that the spectral and finite element (FE) together with finite difference (FD) along with finite volume element (FVE) methods are four welcome numerical means (see [5–10]). Nevertheless, the spectral method possesses the highest precision among four numerical ones because the unknowns to the spectral method are approximated with the smooth functions, including trigonometric functions or the Chebyshev, Jacobi, and Legendre polynomials, but the unknowns to the FE and FVE methods are usually approximated by the classic polynomials, while the derivatives to the FD method are approached with difference quotients. Specially, the spectral element (SE) method possesses a similar principle to the FVE and FE ones so as to be adapt to the calculated regions of the non-regular shapes. Hence, it is more popular than the FE and FVE FD methods and has proverbially been applied for solving the various PDEs such as the hyperbolic and parabolic along with hydromechanics equations (see [11–15]).
Though the reduced-order extrapolating (SECN) method of the 2D unsteady conduction–convection problems to the vorticity and stream functions has been developed in [16], the SECN method has not been minutely developed. Specially, there have been no theoretic proofs as regards the existence along with stability as well as error estimates to the SECN solutions. Therefore, in Sect. 2, we firstly intend to set up a semi-discretized CN scheme as a function of time with second-order temporal precision to the 2D unsteady conduction–convection problems to the vorticity and stream functions, as well as a proof of the error estimates to the semi-discretized CN solutions. Afterwards, in Sect. 3, we intend to build the fully discretized SECN model of the 2D unsteady conduction–convection problems to the vorticity and stream functions, as well as prove the existence along with stability together with error estimates to the SECN solutions. In the end, in Sects. 4 and 5, we intend to pose a set of numeric experiments to verify the validity to the obtained theoretic consequences and give the primary conclusions and discussion, respectively.
What is noteworthy is that the SECN model of the 2D unsteady conduction–convection problems to the vorticity and stream functions is not only spilt into three sets of relatively linearly independent equations, but also that it possesses the second-order precision as a function of time. Specially, it is able to avoid the restriction for Babus̆ka–Brezzi’s stability conditions to spectral subspaces so as to be able to easily seek the SECN solutions, which is different from the previous other SE methods as stated above. As a consequence, the SECN model is fully distinguished from the spectral ones (see [8–21]) and is a development or a supplement to the previous ones.
2 The generalized solution and semi-discrete solution as a function of time
Thanks to the connectivity and boundedness of Ω and \(\partial _{x} u+\partial _{y} v=0\), there is only a stream function θ fulfilling \(u=\partial _{y}\theta \) and \(v=-\partial _{x} \theta \). In additional, there is a vorticity function ϖ meeting \(\varpi ={\partial v}/{\partial x}-{\partial u}/{\partial y}=-\triangle \theta \).
Thereupon, Problem 1 may be turned into the next systems of equations:
The Sobolev spaces along with norms adopted in the following are normative (see [1, 22]). Set \(V=H^{1}_{0}(\varOmega )\). Using the Green formula, we may gain the next weak format.
Problem 2
Find \((\varpi ,\theta ,Q)\in H^{1}(0,T;V)\times H^{1}(0,T;V)\times H ^{1}(0,T;V)\) that satisfies
where \((\varpi ,\varphi )=\int _{\varOmega }\varpi \varphi \,\mathrm{d}x\,\mathrm{d}y\), \(a(\theta ,\chi )= \int _{\varOmega }({\partial _{x}\theta }{\partial _{x} \chi } +{\partial _{y}\theta }{\partial _{y} \chi })\,\mathrm{d}x\,\mathrm{d}y\), and \(a_{1}(\theta ,\varpi ,\varphi )= \int _{\varOmega }({\partial _{x}\theta } {\partial _{y}\varpi } - {\partial _{y}\theta }{\partial _{x}\varpi }) \varphi \,\mathrm{d}x\,\mathrm{d}y\).
Then \(a_{1}(\theta ,\varpi ,\varphi )\) possesses the next properties (see [1, 16, 23, 24]):
where \(\tilde{C}>0\) stands for the constant that is independent of θ, ϖ, and φ.
Theorem 1
If \((u^{0}, v^{0},Q^{0})\in H^{1}(\varOmega )\times H^{1}(\varOmega )\times H^{1}(\varOmega )\), then Problem 2possesses only a solution \((\varpi , \theta , Q)\in H^{1}(0,T; H_{0}^{1}({\varOmega })\cap H^{2}( \varOmega ))\times H^{1}(0, T; H_{0}^{1}({\varOmega })\cap H^{2}(\varOmega )) \times H^{1}(0, T; H_{0}^{1}({\varOmega }) \cap H^{2}(\varOmega ))\)that meets
where \(\|\cdot \|_{H^{m}(H^{k})}\)stands for the norms of space \(H^{m}(0, T; H^{k}(\varOmega ))\)and \(\sigma (g_{1},g_{2}, u^{0}, v^{0}, \mu )\geqslant 0\)stands for a constant that is dependent on \(g_{1}\), \(g_{2}\), \(u^{0}\), \(v^{0}\), andμ.
Proof
When \((u^{0}, v^{0}, Q^{0})\in H^{2}(\varOmega )\times H^{2}( \varOmega )\times H^{2}(\varOmega )\), from the approaches in Refs. [16, 23], or [24] we know that the direct variational format for Problem 1 has a unique a set of solution and from the regularity for PDEs (see [16, 23, 24]) we have \((u,v,Q)\in H^{1}(0,T; H_{0}^{1}({\varOmega })\cap L^{2}(\varOmega ))\times H^{1}(0, T; H_{0}^{1}({\varOmega })\cap H^{2}(\varOmega ))\times H ^{1}(0, T; H_{0}^{1}({\varOmega })\cap H^{2}(\varOmega ))\). Therefore, Problem 2 has at least a solution \(\varpi \in H^{1}(0,T; H_{0}^{1}({\varOmega })\cap H^{2}(\varOmega ))\), \(\theta \in H^{1}(0, T; H _{0}^{1}({\varOmega })\cap H^{2}(\varOmega ))\), and \(Q\in H^{1}(0, T; H_{0} ^{1}({\varOmega })\cap H^{2}(\varOmega ))\). Thus, we only prove the uniqueness of solution to Problem 2. Namely, we only need to prove that, when \(\varpi ^{0} =Q^{0}=0\), Problem 2 has only a zero solution.
Selecting \(\varphi =\theta \) in (5), by the Hölder and Poincaré inequalities (see [1]) we obtain
where \(C_{0}>0\) stands for the coefficient in the Poincaré inequality: \(\|\theta \|_{1}\leqslant C_{0}\|\nabla \theta \|_{0}\). From (12) we get
Selecting \(\chi =\varpi \) in (6), by the Hölder and Poincaré inequalities (see [1]) and (9) we obtain
Thus, we can get
Integrating (15) on \([0, t]\) (\(0\leqslant t\leqslant T\)) yields
Selecting \(\varphi =Q\) in (7), by (9) we obtain
Integrating (17) on \([0, t]\) (\(0\leqslant t\leqslant T\)), we get
When \(\varpi ^{0}=Q^{0}=0\), from (13), (16), and (18) we immediately obtain \(\varpi =\theta =Q=0\). And from (13), (16), and (18) we also acquire (11). This fulfils the proof of Theorem 1. □
Let \(M>0\) stand for an integer, let \(\Delta t=TM^{-1}\) stand for the temporal step, let \(\varpi ^{n}(x,y)\), \(\theta ^{n}(x,y)\), and \(Q^{n}(x,y)\) stand, respectively, for the approximations of \(\varpi (t,x,y)\), \(\theta (x,y, t)\), and \(Q(t,x,y)\) at \(t_{n}=n\Delta t\), as well as let \(\bar{\varphi }=(\varphi ^{n}+\varphi ^{n-1})/2\). If \(\partial _{t}\varpi \) and \(\partial _{t}Q\) are, respectively, approximated with \((\varpi ^{n}-\varpi ^{n-1})/\Delta t\) and \((Q^{n}-Q ^{n-1})/\Delta t\), then the semi-discretized CN scheme as a function of time with the second-order temporal accuracy is built in the following.
Problem 3
Seek \((\varpi ^{n},\theta ^{n},Q^{n})\in V\times V\times V\) \((1\leqslant n\leqslant M)\) that satisfy
Problem 3 has the next consequence.
Theorem 2
Under the hypotheses in Theorem 1, Problem 3possesses only a series of solutions \(\{\varpi ^{n},\theta ^{n},Q^{n}\} _{n=1}^{M}\subset V\times V\times V\)meeting
where \(\delta _{0}(u^{0}, v^{0},Q^{0},\mu ,\gamma _{0})\)is a non-negative constant relying on \(u^{0}\), \(v^{0}\), \(Q^{0}\), μand \(\gamma _{0}\). When the solution of Eq. (6) meets \(\varpi \in [H^{3}(0,T; L ^{2}(\varOmega ))\cap H^{2}(0,T; H^{1}_{0}(\varOmega ))]\)and \(Q\in [H^{3}(0,T; L^{2}(\varOmega ))\cap H^{2}(0,T; H^{1}_{0}(\varOmega ))]\), we obtain the following estimate errors:
where \(C>0\)is the generic constant that is independent of Δt.
Proof
(1) The existence along with uniqueness to solution of Problem 3
Firstly, it is easily seen that the bilinear functional \(a(\theta , \varphi )\) to the left hand side in (19) is bounded and coercive in \(V\times V\) for given \(\varpi ^{n-1}\in V\) (\(1\leqslant n\leqslant M+1\)). Thus, from Lax–Milgram’s theorem (see [1]) we conclude that Eq. (19) possesses only a series of solutions \(\{\theta ^{n}\}_{n=0}^{M}\subset H_{0}^{1}({\varOmega })\).
Next, for the obtained \(\theta ^{n-1}\), let \(\tilde{A}(Q, \varphi )=(Q, \varphi )+{\frac{\gamma _{0}\Delta t}{2}}a(Q, \varphi )+\frac{{\Delta t}}{2}a_{1}({\theta }^{n-1},Q, \varphi )\) and \(\hat{F}(\varphi )=(Q ^{n-1},\varphi )-{\frac{\gamma _{0}\Delta t}{2}}a(Q^{n-1}, \varphi )- {\frac{\Delta t}{2}}a_{1}({\theta }^{n-1},Q^{n-1},\varphi )\). Then \(\tilde{A}(Q, \varphi )\) is the bilinear functional and \(\hat{F}( \varphi )\) is the linear functional. By (9) and the Hölder inequality we have
where \(\hat{\alpha }=\min \{ 1, {\gamma _{0}\Delta t}/{2}\}\). Therefore, the bilinear functional \(\hat{A}(\cdot , \cdot )\) is bounded and coercive on \(V\times V\) for obtained \(\theta ^{n-1}\in V\). Moreover, by (9) and the Hölder inequality we have
Therefore, the linear function \(\hat{F}(\varphi )\) is bounded in V for the known \(\theta ^{n-1}\) and \(Q^{n-1}\). Consequently, by the Lax–Milgram theorem (see [1]) we may assert that Eq. (21) possesses only a series of solutions \(\{Q^{n}\}_{n=1}^{M} \subset V\) for the known \(\theta ^{n-1}\) and \(Q^{n-1}\).
Further, let \(A(\varpi , \chi )=(\varpi ,\chi )+{\frac{\mu \Delta t}{2}}a( {\varpi }, \chi )+\frac{{\Delta t}}{2}a_{1}({\theta }^{n-1},{\varpi }, \chi )\) and let \(F(\chi )=(\varpi ^{n-1},\chi ) -{\frac{\mu \Delta t}{2}}a( {\varpi }^{n-1}, \chi )-{\frac{\Delta t}{2}}a_{1}({\theta }^{n-1}, {\varpi }^{n-1},\chi ) +{\Delta t}(\partial _{x}\bar{Q}^{n},\chi )\). Then, by (9) and the Hölder inequality, we obtain
where \(\alpha =\min \{ 1, {\mu \Delta t}/{2}\}\). Therefore, the bilinear functional \(A(\cdot , \cdot )\) is bounded and coercive on \(V\times V\) for obtained \(\theta ^{n-1}\in V\). The linear functional \(F(\cdot )\) is obviously bounded for the obtained \({\varpi }^{n-1}\), \(\theta ^{n-1}\), \(\bar{Q}^{n}\in V\), thereupon, from Lax–Milgram’s theorem (see [1]) we conclude that Eq. (20) possesses only a series of solutions \(\{\varpi ^{n}\}_{n=1}^{M}\subset H_{0}^{1}({\varOmega })\).
(2) The stability to solution of Problem 3
First, selecting \(\varphi =\theta ^{n-1}\) in (19), by the Hölder and Poincaré inequalities we have
Thus, we get
Next, selecting \(\chi =\varpi ^{n}+\varpi ^{n-1}\) in (20), by (9) along with the Hölder, Cauchy–Schwarz and the Poincaré inequalities we get
Hence, we obtain
Summing (27) from 1 to n, we obtain
Then selecting \(\varphi =Q^{n}+Q^{-1}\) in (21), by (9) we get
Summing (29) from 1 to n, we obtain
By (25), (27), and (30) we obtain (22).
(3) The convergence of solution for Problem 3
Let \(E_{n}=\theta ^{n}-\theta (t_{n})\), \(e_{n}=\varpi ^{n}-\varpi (t _{n})\), and \(r_{n}=Q^{n}-Q(t_{n})\).
First, selecting \(\varphi =E_{n-1}\) after (19) subtracting (5), by means of the Hölder and Poincaré inequalities we obtain
Therefore, we obtain
Next, selecting \(\chi ={e}_{n}+{e}_{n-1}\) after (20) subtracts (6) at \(t=t_{n-\frac{1}{2}}\), by (9), (10), the Hölder, Poincaré and the Cauchy–Schwarz inequalities along with (32) we obtain
where \(t_{n-1}\leqslant \xi _{in}\leqslant t_{n}\) (\(i=1, 2, 3, 4\)) and \(n=1, 2, \ldots, M\). From (33) we get
Noting that \(e_{0}=0\) and summing (34) from 1 to n, we obtain
And then, after (21) subtracting (7), selecting \(\varphi ={r}_{n}+{r}_{n-1}\) and \(t=t_{n-\frac{1}{2}}\), by (9), (10), the Hölder, Poincaré and Cauchy–Schwarz inequalities along with (32) we have
where \(t_{n-1}\leqslant \zeta _{in}\leqslant t_{n}\) (\(i=1, 2, 3\)). From (36) we obtain
where \(n=1, 2, \ldots, M\). Note that \(r_{0}=0\). Summing (37) from 1 to n, we get
where \(n=1, 2, \ldots, M\). By (35) and (38) we obtain
Applying the Gronwall inequality (see [1]) to (39) yields
From (32), (40), and (37) we obtain
From (41)–(45) we acquire (23), which fulfils the demonstration to Theorem 2. □
Remark 1
The inequalities (22) and (23) to Theorem 2 signify that the sequence to solutions for Problem 3 is stable and convergent, respectively.
3 The SECN method for 2D unsteady conduction–convection problems
Let \(\Im _{N}\) stand for the quasi-uniform quadrangle partition for Ω̄. A spectral element space is defined as
where N stands for the number of quadrangles and \(\mathcal{P}_{1}(K _{j})\) is defined by the following:
where \(N_{ij}=\hat{N}_{i}\circ F_{j}^{-1}(x,y)\), \(\hat{N}_{i}(\xi , \eta )=\frac{1}{4}[1+\cos \pi (\xi -\xi _{i})][1+\cos \pi (\eta -\eta _{i})]\), \((x,y)=F_{j}(\xi ,\eta )=(\sum_{i=1}^{4}\hat{N}_{i}( \xi , \eta )x_{ij}, \sum_{i=1}^{4}\hat{N}_{i}(\xi ,\eta )y _{ij})\) stands for an invertible mapping from the reference quadrangle \(\hat{K}=[-1, 1]\times [-1, 1]\) to \(K_{j}\in \Im _{N}\), and \((x_{ij}, y_{ij})\) and \((\xi _{i},\eta _{i})\) are, respectively, the vertices of \(K_{j}\) and K̂.
Let \(R_{N}: H_{0}^{1}(\varOmega )\rightarrow V_{N}\) stand for the \(H^{1}\)-orthogonal operator, i.e., \(\forall \varphi \in H_{0}^{1}( \varOmega )\) satisfies
Note that when \(\Im _{N}\) is the quasi-uniform quadrangle partition to Ω, the number of nodes equals the number of quadrangles (see [1]). Hence, \(R_{N}\) shows the next consequence (see [7]).
Theorem 3
\(\forall \varphi \in H^{q}(\varOmega )\) (\(m\geqslant 2\)) meets
where \(C>0\)stands for a generic constant as well asNalso stands for the number of nodes in \(\Im _{N}\).
With the spectral element space, the SECN model is built in the following.
Problem 4
Find \((\varpi _{N}^{n},\theta _{N}^{n})\in V_{N}\times V_{N}\) \((1\leqslant n\leqslant M)\) satisfying
where \(\varpi _{N}^{0}=R_{N}\varpi ^{0}\) and \(Q_{N}^{0}=R_{N}Q^{0}\).
Problem 4 possesses the next result as regards existence, convergence, and stability.
Theorem 4
Under the hypotheses in Theorem 2, Problem 4uniquely has three sets of solutions \(\{\varpi _{N}^{n}\}_{n=1}^{M} \subset V_{N}\), \(\{\theta _{N}^{n}\}_{n=0}^{M}\subset V_{N}\), and \(\{Q_{N}^{n}\}_{n=0}^{M}\subset V_{N}\)meeting
where \(\tilde{\sigma }(u^{0}, v^{0},Q^{0},\mu ,\gamma _{0})\)is a non-negative constant dependent on \(u^{0}\), \(v^{0}\), \(Q^{0}\), μ, and \(\gamma _{0}\). When the solution of Eq. (6) meets \((\varpi ,\theta ,Q)\in [H^{3}(0,T;H^{q}(\varOmega )\cap H_{0}^{1}( \varOmega ))]\times [H^{3}(0,T; H^{q}(\varOmega )\cap H_{0}^{1}(\varOmega ))] \times [H^{3}(0,T;H^{q}(\varOmega )\cap H_{0}^{1}(\varOmega ))]\) (\(2\leqslant q\leqslant N+1\)), we obtain the following estimate errors:
Proof
(1) The existence as well as stability to solution of Problem 4
Using the same proving approach as the existence and stability of solutions to Problem 3 in Theorem 2, we can prove that for Problem 4 there uniquely exist three series of solutions \(\{\varpi _{N}^{n}\}_{n=1}^{M}\subset V_{N}\), \(\{\theta _{N} ^{n}\}_{n=0}^{M}\subset V_{N}\), and \(\{Q_{N}^{n}\}_{n=0}^{M}\subset V _{N}\) to meet the stability (49).
(2) The convergence to solution of Problem 4
Let \(\rho _{n}=\theta ^{n}-R_{N}\theta ^{n}\), \(\tilde{e}_{n}=\theta ^{n}- \theta _{N}^{n}\), \(\tilde{E}_{n}=R_{N}\theta ^{n}-\theta _{N}^{n}\), \(\hat{\rho }_{n}=\varpi ^{n}-R_{N}\varpi ^{n}\), \(\hat{E}_{n}=R_{N}\varpi ^{n}-\varpi _{N}^{n}\), \(\hat{e}_{n}=\varpi ^{n}-\varpi _{N}^{n}\), \(\hat{R}_{n}=R_{N}Q^{n}-Q_{N}^{n}\), \(\tilde{\rho }_{n}=Q^{n}-R_{N}Q ^{n}\), and \(\hat{r}_{n}=Q^{n}-Q_{N}^{n}\).
First, selecting \(\varphi _{N}=\tilde{E}_{n-1}\) after (19) subtracting (46), by the Hölder, Poincaré and the Cauchy–Schwarz inequalities as well as Theorem 3 we get
Therefore, we acquire
Next, after (20) subtracting (47), by (9), (10), the Hölder, Poincaré and the Cauchy–Schwarz inequalities as well as Theorem 3 together with (52) we have
Therefore, when \(\Delta t=O(N^{-1})\), by (52) and (53) we get
Summing for (54) from 1 to n, by Theorem 3 we obtain
As Δt is small enough to meet \(C\Delta t\leqslant 3/4\) in (55), we get
After (21) subtracting (49), with (9), (10), using the Hölder, Poincaré and the Cauchy–Schwarz inequalities as well as Theorem 3 and (52) we have
Therefore, when \(\Delta t=O(N^{-1})\), by (57) we obtain
Summing (58) from 1 to n, by Theorem 3 and (52) we obtain
As Δt is small enough to meet \(C\Delta t\leqslant 3/4\) in (59), one gets
By applying the discrete Gronwall inequality (see [1]) to (60), one gets
By using the discrete Gronwall inequality (see [1]) to (62), one obtains
By (62), (52), and (63) we obtain
From (63) we have
By Theorem 3 and (66) we obtain
where \(n=1, 2, \ldots, M\). Using the same ways as deducing (67) for (65), we obtain
From (67), (68), and (64) along with Theorem 2 we acquire (50), which fulfills the proof to Theorem 4. □
Remark 2
The inequalities (49) and (50) in Theorem 4 signify that the sequence to the SECN solutions of Problem 4 is stable and convergent, respectively.
By \(u={\partial \theta }/{\partial y}\) and \(v=-{\partial \theta }/ {\partial x}\) one directly obtains the next consequence.
Theorem 5
Under the hypotheses in Theorems 1and 4, Problem 4possesses only a set of SECN solutions \((u_{N}^{n}, v _{N}^{n},Q_{N}^{n})\) \((1\leqslant n\leqslant M)\)satisfying the stability estimates
and the error estimates
Remark 3
Even if Ω is a bounded polygonal region, the error estimations of Theorem 5 reach optimal order due to \(u,v, Q\in H^{3}(0,T; H^{1}_{0}(\varOmega )\cap H^{2}(\varOmega ))\).
4 Numerical examples
Here, we provide a set of experiments to check the correctness of the theoretical consequences.
Let the computational region Ω be a channel with a total length of 20 and a width of 6 that has two identical rectangular protrusions with a length of 4 and a width of 2 at the top and at the bottom (see Fig. 1). When the quadrilateral elements in \(\Im _{N}\) are the squares about edge length \(\triangle x =\triangle y= 0.01\), \(N=3\times 136 \times 10^{4}\). In addition to the outflow velocity \(u(t,x,y)=u(20-1/M,y,t)\) (\(20-1/M\leqslant x\leqslant 20\), \(2\leqslant y\leqslant 8\), \(0\leqslant t\leqslant T\)) on the right boundary as well as the inflow velocity \((u,v)=(0.1(y-2)(8-y)\sin 2\pi t,0)\) (\(x=0\), \(2\leqslant y\leqslant 8\)) on the left boundary, the other boundary and initial values are chosen as 0. The temporal step \(\Delta t=0.0001\). In the case, the theoretic errors reach \(O(10^{-8})\).
Using the SECN model (Problem 4), we seek the SECN solutions at \(t =4\) and 8, painted in Figs. 2 to 5, respectively. The numerical test results are very ideal.
When \(0 \leqslant t\leqslant 8\), the errors of velocity and energy solutions are approximately estimated by \(\|u_{N}^{n-1}-u_{N}^{n}\| _{0}+\|v_{N}^{n-1}- v_{N}^{n}\|_{0}\) and \(\|Q_{N}^{n-1}-Q_{N}^{n}\| _{0}\) (\(1 \leqslant n\leqslant 80\text{,}000\)), painted in Figs. 6 and 7, respectively, which also accord with the theoretic consequences since two types of errors do not exceed \(O(10^{-8})\). This signifies that the SECN method is reliable and valid for settling the 2D unsteady conduction–convection problems to the vorticity and stream functions.
5 Conclusions and discussions
Hereto, we have built the time semi-discretized CN and fully discretized SECN models of the 2D unsteady conduction–convection problems to vorticity and stream functions and analyzed the existence, convergence, and stability to the time semi-discretized CN along with SECN solutions, respectively. We have also posed a set of numeric experiments to verify the reliability and validity to the SECN method and to verify that the numeric consequences accord with the theoretic ones.
Though we here only dealt with the 2D unsteady conduction–convection problems to the vorticity and stream functions, the SECN method may be popularized to the three-dimensional unsteady conduction–convection problems or more complicated flow dynamics problems, even to be used for the more complicated actual engineering computations. Thereupon, the SECN method shows an extensive prospect as regards applications.
References
Luo, Z.D.: The Foundations and Applications of Mixed Finite Element Methods. Chinese Science Press, Beijing (2006) (in Chinese)
Wu, J.H.: The 2D Incompressible Boussinesq Equations. Peking University Summer School Lecture Notes, Beijing (2012)
Cohen, A.: Numerical Analysis of Wavelet Methods. Elsevier, Amsterdam (2003)
Luo, Z.D., Li, H., Sun, P.: A fully discrete stabilized mixed finite volume element formulation for the non-stationary conduction–convection problem. J. Math. Anal. Appl. 404(1), 71–85 (2013)
Luo, Z.D., Wang, H.: A highly efficient reduced-order extrapolated finite difference algorithm for time-space tempered fractional diffusion-wave equation. Appl. Math. Lett. 102, 106090, pp. 1–8 (2020)
Yang, J., Luo, Z.D.: Proper orthogonal decomposition reduced-order extrapolation continuous space-time finite element method for the two-dimensional unsteady Stokes equation. J. Math. Anal. Appl. 475, 123–138 (2019)
Guo, B.Y.: Spectral Methods and Their Applications. World Scientific, Singapore (1998)
Luo, Z.D., Jin, S.J.: A reduced-order extrapolated Crank–Nicolson collocation spectral method based on POD for the 2D viscoelastic wave equations. Numer. Methods Partial Differ. Equ. 36, 49–65 (2020)
Teng, F., Luo, Z.D.: A reduced-order extrapolation technique for solution coefficient vectors in the mixed finite element method for the 2D nonlinear Rosenau equation. J. Math. Anal. Appl. 485(1), 123761, pp. 1–13 (2020)
Luo, Z.D., Jiang, W.R.: A reduced-order extrapolated finite spectral element method for the 2D non-stationary Navier-Stokes equations about vorticity–stream functions. Appl. Numer. Math. 147, 161–173 (2020)
Guba, O., Taylor, M., St-Cyr, A.: Optimization-based limiters for the spectral element method. J. Comput. Phys. 267(267), 176–195 (2014)
Gopalakrishnan, S., Chakraborty, A., Roy Mahapatra, D.: Spectral Finite Element Method. Computational Fluid and Solid Mechanics Series. Springer, Berlin (2007)
Karniadakis, G.E., Sherwin, S.J.: Spectral/HP Element Methods for Computational Fluid Dynamic, 2nd edn. Oxford University Press, Oxford (2005)
Wang, J.P.: A finite spectral finite element method for incompressible Navier–Stokes equations. Int. J. Mech. Res. 3(3), 33–42 (2014)
Hu, Y.Y., Xie, J., Zhang, W.: Solution of two dimensional incompressible Navier–Stokes equation by parallel spectral finite element method. J. Comput. Appl. 37(1), 42–47 (2017)
Luo, Z.D., Teng, F., Xia, H.: A reduced-order extrapolated Crank–Nicolson finite spectral element method based on POD for the 2D non-stationary Boussinesq equations. J. Math. Anal. Appl. 471(1–2), 564–583 (2018)
Baltensperger, R., Trummer, M.R.: Spectral differencing with a twist. SIAM J. Sci. Comput. 24(5), 1465–1487 (2002)
Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Methods in Fluid Dynamics. Springer, Berlin (2012)
Jin, S.J., Luo, Z.D.: A Crank–Nicolson collocation spectral method for the two-dimensional viscoelastic wave equations. Numer. Methods Partial Differ. Equ. 35(3), 1080–1092 (2019)
An, J., Luo, Z.D., Li, H., Sun, P.: Reduced-order extrapolation spectral-finite difference scheme based on POD method and error estimation for three-dimensional parabolic equation. Front. Math. China 10(5), 1025–1040 (2015)
Luo, Z.D., Jin, S.J.: A reduced-order extrapolation spectral-finite difference scheme based on the POD method for 2D second-order hyperbolic equations. Math. Model. Anal. 22(5), 569–586 (2017)
Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)
Temam, R.: Navier–Stokes Equations, 3rd edn. North-Holland, Amsterdam (1984)
Girault, V., Raviart, P.A.: Finite Element Methods for Navier–Stokes Equations: Theory and Algorithms. Springer, Berlin (1986)
Acknowledgements
The authors are thankful to the Editors for their valuable suggestions and hard work to improve the paper.
Availability of data and materials
The authors declare that all data and material in the article are available and veritable.
Funding
This research was supported by Academic Discipline Project of Shanghai Dianji University grant 16JCXK02, the National Science Foundation of China grant 11671106, and Qian Science Cooperation Platform Talent Grant [2017]5726-41.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors wrote, 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 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
Teng, F., Zhu, T. & Luo, Z. A spectral element Crank–Nicolson model to the 2D unsteady conduction–convection problems about vorticity and stream functions. J Inequal Appl 2020, 15 (2020). https://doi.org/10.1186/s13660-020-2288-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-2288-z