 Research
 Open access
 Published:
A reducedorder extrapolating collocation spectral method based on POD for the 2D Sobolev equations
Boundary Value Problems volumeÂ 2019, ArticleÂ number:Â 63 (2019)
Abstract
In this paper, we mainly use a proper orthogonal decomposition (POD) to reduce the order of the coefficient vectors of the solutions for the classical collocation spectral (CS) method of twodimensional (2D) Sobolev equations. We first establish a reducedorder extrapolating collocation spectral (ROECS) method for 2D Sobolev equations so that the ROECS method includes the same basis functions as the classic CS method and the superiority of the classic CS method. Then we use the matrix means to discuss the existence, stability, and convergence of the ROECS solutions so that the procedure of theoretical analysis becomes very concise. Lastly, we present two set of numerical examples to validate the effectiveness of theoretical conclusions and to illuminate that the ROECS method is far superior to the classic CS method, which shows that the ROECS method is quite valid to solve Sobolev equations. Therefore, both theory and method of this paper are completely different from the existing reducedorder methods.
1 Introduction
Let \(\varOmega \subset \mathbb{R}^{2}\) be an open bounded domain with boundary âˆ‚Î©. We consider the following twodimensional (2D) Sobolev equation:
where \(u_{t} = {\partial u}/{\partial t}\), \(\Delta u = {\partial ^{2} u}/{\partial x^{2}}+{\partial ^{2} u}/{\partial y^{2}}\), \(\Delta u_{t} = {\partial ^{2} u_{t}}/{\partial x^{2}}+{\partial ^{2} u_{t}}/{\partial y^{2}}\), T represents the final moment, \(\varepsilon >0\) and \(\gamma >0\) are two given constants, \(f(x,y,t)\) is the known source item, and \(u_{0}(x,y) \) and \(\varphi (x,y,t)\) are the known initial and boundary values, respectively. For simplicity but without loss of generality, we further assume that \(\varphi (x,y,t) = 0\).
The system of Sobolev equations (1) is a class of significant partial differential equations (PDEs) with practical physical background, which favorably simulated many engineering problems (see [1, 2]). Particularly, it can be applied to simulate the porous phenomenons (see [3, 4]). Nevertheless, in actual applications, Sobolev equations frequently contain intricate boundary and initial values, complicated source items, or discontinuous constants. As a result, we cannot generally seek analytic solutions, so that we can only rest upon numerical methods.
Currently, finite difference (FD), finite volume element (FVE), finite element (FE), and spectral methods are four famous computational techniques. However, the spectral method gives the highest accuracy among the four computational methods since the unknown functions in the spectral methods are approximated with some sufficiently smooth functions, such as Chebyshev polynomials, trigonometric functions, Legendre polynomials, or Jacobi polynomials, whereas the unknown functions in the FVE and FE methods are commonly approximated with some standard polynomials, and the derivatives in the FD scheme are approximated with some difference quotients. The spectral method is commonly sorted into the collocation spectral (CS) method, Galerkinâ€™s spectral method, and the spectral tau method. It has been applied to settle various PDEs including secondorder elliptic, parabolic, hyperbolic, telegraph, and hydromechanical equations (see [5,6,7,8]).
However, Sobolev equations are mainly solved with the FD scheme, the FE method, and the FVE method (see, e.g., [3, 4, 9,10,11,12,13,14]), except that onedimensional Sobolev equations have been settled by the Fourier spectral method [15], and 2D Sobolev equations have recently been settled by the classic CS method [16]. Though the classic CS method (see [16]) for 2D Sobolev equations can attain higher accuracy than the FD scheme, FE method, and FVE method, it also contains a lot of degrees of freedom (unknowns). In this way, because of the roundoff error accumulation in numerical calculations, after several computational steps, there generally occurs a floatingpoint overflow such that we cannot obtain the desired consequences. Hence, to ensure a sufficiently high precision of the classic CS solutions, the crucial question is how to lessen the unknowns (i.e., degrees of freedom) of the CS method to ease the roundoff error accumulation in the calculations, which is also central task in this paper.
Many examples have proven that the proper orthogonal decomposition (POD) can significantly reduce the order of numerical methods (see [17,18,19,20]). It can vastly decrease the degrees of freedom in the numerical methods. It has been applied in many fields including pattern recognition and signal analysis [21], statistical calculations [22], and computational fluid mechanics [23]. For the past few years, it has successfully been used to the order reduction for the Galerkin methods [24, 25], the FE methods [26, 27], the FD schemes [28,29,30], the FVE methods [31, 32], and the reduced basis methods for PDEs [33,34,35]. Nevertheless, the existing PODbased reducedorder methods (see [17,18,19,20,21,22,23,24,25,26,27, 29,30,31,32,33,34,35]) are mostly created with the POD bases produced by the classic solutions at all the time nodes on \([0, T]\), before repeatedly finding the order reduction solutions on the same time nodal points. In fact, they belong to some undesirable repeated computations. To get rid of the repeated computations, several reducedorder extrapolated approaches based on POD have been proposed [36,37,38,39,40,41].
Nevertheless, to our knowledge, there is no reducedorder extrapolating CS (ROECS) method for 2D Sobolev equations created by reducing the order for the coefficient vectors of the CS solutions of the classic CS method via POD. Hence, in this paper, utilizing POD to reduce the order of the coefficient vectors of the CS solutions for the classic CS method, we construct a ROECS method only holding few degrees of freedom. We employ matrix means to discuss the existence, convergence, and stability of the ROECS solutions so that the theoretical means here becomes very concise. In particular, we only employ the classic CS solutions on the first several time nodal points to form the snapshots, and then we use them to produce the POD bases and create the ROECS format so as to obtain the ROECS solutions on all the time nodal points. Thus, we avoid the repeated computations. Moreover, in this paper, we adopt the error estimates to serve as the suggestion of choice of POD bases. The ROECS format contains both advantages that the POD method can reduce the unknowns and the CS method has higher accuracy, so it is an innovation and development of the existing reducedorder methods.
The main merits of the ROECS method hare the following. First, we only reduce the order of the coefficient vectors of the solutions for the classic CS method by POD and have not altered the basis functions for the classic CS method so that the ROECS method holds simultaneously both virtues that POD can reduce the unknowns and the classic CS method has higher accuracy. Second, the classic CS method is totally different from the Galerkin spectral method, and the Sobolev equations not only include a firstorder derivative term of time and two 2ndorder derivative terms of spacial variables but also contain two mixed derivative terms of the first order with respect to time and of the second order with respect to spacial variables, that is, the 2D Sobolev equations are more complex than the hyperbolic and parabolic equations in [42, 43]. So the ROECS method is totally different from the methods in [42, 43], but 2D Sobolev equations have some special applications as stated before. Third, we use the matrix means to discuss the existence, convergence, and stability of the ROECS solutions so that theoretical analysis becomes very concise and our theory and methods are totally different from the other existing order reduction methods. Therefore, our method is totally new and superior over the existing order reduction methods.
The rest of this paper is organized the following. In Sect.Â 2, we first retrospect the classic CS format of the 2D Sobolev equations and gain snapshots from the initial few classic CS solutions. Then, in Sect.Â 3, we produce a cluster of POD basis from the snapshots, develop the ROECS format, prove the existence, convergence, and stability of the ROECS solutions by the matrix means, and supply the flowchart for settling the ROECS format. Next, in Sect.Â 4, we use two sets of numerical examples to illuminate that the ROECS format is distinctly superior to the classic CS model, to validate that the numeric computational conclusions accord with the theoretical ones and that the ROECS format is quite valid to solve Sobolev equations, and to confirm that the ROECS format can greatly lessen the unknowns (i.e., degrees of freedom), the calculation load, the CPU elapsed time, and the required storage volumes in numerical computations. Finally, in Sect.Â 5, we provide the chief conclusions and discussions.
2 The classic CS method for 2D Sobolev equations
Because any bounded closed domain Î©Ì… in \(\mathbb{R}^{2}\) can be approximately covered with several rectangles \([a_{i}, b_{i}] \times [c_{i}, d_{i}]\) (\(i=1, 2, \ldots, I\)), for simplicity and without loss of generality, let \(\overline{\varOmega }=[a, b]\times [c, d] \subset \mathbb{R}^{2}\). Moreover, using the transforms \(x' = 1+{2(xa)}/ {(ba)}\) and \(y' = 1+{2(yc)}/{(dc)}\), we can ensure \([a,b]\leftrightarrow [1,1]\) and \([c,d]\leftrightarrow [1,1]\), respectively. Thus, for convenience, we can further assume that \(a = c = 1\) and \(b = d =1\).
2.1 The variational formulation for the 2D Sobolev equations
The Sobolev spaces and norms used in this paper are standard, whose detailed descriptions can be found in [44]. For example, we set \(\omega ={1}/{\sqrt{(1x^{2})(1y^{2})}}\), and \(L^{2}_{\omega }( \varOmega )\) denotes the set of all squareintegrable functions on Î© equipped with inner product and norm
whereas \(H^{m}_{\omega }(\varOmega ):=\{u\in L^{2}_{\omega }(\varOmega ): D ^{\alpha }u\in L^{2}_{\omega }(\varOmega ),0\leqslant \alpha  \leqslant m\}\) denotes the weighted Sobolev space on Î© with the CGL quadrature weight function, equipped with the norm
Furthermore, set \(H_{0,\omega }^{1}(\varOmega ) = \{u\in H^{1}_{\omega }( \varOmega ): u_{\partial \varOmega } = 0\}\), and let \(\\cdot \_{H^{l}(H ^{m}_{\omega })}\) be the norm in the space
We consider the following variational formulation for 2D Sobolev equations.
Problem 1
For \(t\in (0,T)\), find \(u\in H_{0,\omega }^{1}(\varOmega )\) such that
The following result on the existence, uniqueness, and stability of the generalized solution for ProblemÂ 1 has been provided in [16].
Theorem 2
If \(f\in L^{2}(0,T;H^{1}_{\omega }(\varOmega ))\) and \(u_{0}\in H^{1} _{\omega }(\varOmega )\), then there exists a unique generalized solution for the variational formulation (2) satisfying the following stability:
where \(\tilde{c}=\sqrt{\max \{1, \varepsilon , {1}/{(\gamma c_{p} ^{2})}\}/\min \{1, \varepsilon \}}\), and \(c_{p}\) is the PoincarÃ© coefficient.
2.2 The classic CS method for the 2D Sobolev equations
Too solve timedependent PDEs by the CS format, it is necessary to discretize \(u_{t}\) by means of the difference quotient and spatial variables by means of the CS method. The CS method consists in seeking some approximate solutions at time and spatial nodes. In this paper, we take the Chebyshevâ€“Gaussâ€“Lobatto (CGL) type interpolation points (see [8]) as the space nodes, namely, let \(\{x_{j}\}_{j=0} ^{N}\) and \(\{y_{k}\}_{k=0}^{N}\) be the space nodes in the x and y directions, respectively, with
where the positive integer N denotes the number of nodes in a certain direction. For integer \(K>0\), let \(\Delta t=T/K \) be the time step, that is, \(K\Delta t = T\). We approximate \(u(x,y,n\Delta t)\) with \(u^{n}\), the time derivative \(u_{t}\) of \(u(x,y,t)\) at time \(t_{n}=n \Delta t\) with \({(u^{n+1}u^{n})}/{\Delta t}\), and \(u^{n}(x,y)\) with \(u_{N}^{n}(x,y)\), namely,
where \(\{h_{j}(x)\}^{N}_{j=0}\) and \(\{h_{k}(y)\}^{N}_{j=0}\) are the Lagrange basis polynomials associated with the sets of the CGL points \(\{x_{j}\}^{N}_{j=0}\) and \(\{y_{k}\}^{N}_{k=0}\), respectively.
Define the \(H_{\omega }^{1}\)orthogonal projection \(R_{N}: H_{0, \omega }^{1}(\varOmega )\rightarrow P_{N}\), that is, for any \(u\in H_{0, \omega }^{1}(\varOmega )\), it satisfies
Thus, \(R_{N}\) has the following important property (see [8]).
Theorem 3
For any \(u\in H^{q}_{\omega }(\varOmega )\) with \(q\geqslant 1\), we have
where C is a general positive constant independent of N and Î”t.
Now, we obtain the following CS format for 2D Sobolev equations.
Problem 4
Find \(u_{N}^{n} \in U_{N} \equiv H_{0,\omega }^{1}(\varOmega )\cap P _{N}\) such that
where \(f(t_{n})=f(x,y,t_{n})\).
The result on the existence, uniqueness, stability, and convergence about the CS solutions for ProblemÂ 4 is given in [16].
Theorem 5
If \(f\in L^{2}(0,T;L^{2}_{\omega }(\varOmega ))\) and \(u_{0}\in H^{1}_{ \omega }(\varOmega )\), then there exists a unique series of solutions \(u_{N}^{n}\in U_{N}\) (\(n=1, 2, \ldots, K\)) for the CS format (4) satisfying the following stability:
Furthermore, when \(\Delta t=O(N^{1})\) and solutions of ProblemÂ 1 \(u(t_{n})\in H_{\omega }^{q}(\varOmega )\) (\(2\leqslant q\leqslant N+1\)), the errors between the solution for ProblemÂ 1 and the series of solutions of ProblemÂ 4 have the following estimates:
Remark 1
The error estimates in TheoremÂ 5 attain an optimal order. TheoremÂ 5 shows that the classic CS format, that is, ProblemÂ 4 for 2D Sobolev equations has a unique series of solutions, which is stable and continuously depends on the initial value and source functions. This theoretically ensures that ProblemÂ 4 is effective and reliable for solving 2D Sobolev equations.
2.3 The matrix representation of the classic CS format
To understand more easily the classic CS format for 2D Sobolev equations, we will rewrite the classic CS format (4) in the matrix form so that it can be easily programmed and computed by a computer. Let \(u_{N_{j,k}}^{n}\) (\(0\leqslant j,k\leqslant N\)) denote the spectral approximate values of \(u(x_{j},y_{k},n\Delta t)\), namely
Taking \(v_{N} = h_{m}(x)h_{l}(y)\in U_{N}\) (\(0\leqslant m,l\leqslant N\)) in scheme (4), we come to the conclusion
From ProblemÂ 4 we obtain
where \(0\leqslant j, m, k, l\leqslant N\).
Then we can rewrite the classic CS format (4) for the 2D equations as the following matrix form with \((N+1)^{2}\) equations for \(\{u_{N_{z}}^{n}\}_{n=0}^{K}\):
where
Remark 2
Because the classic CS format adopts the Chebyshev polynomials as basic functions, it has a higher accuracy than general numerical methods, such as the FE method, FD scheme, and FVE method, but it also contains as many unknowns as the general numerical methods, so that it has to bear a lot of computing load. Thus, reducing the order for the classic CS format is more significative than for other numerical methods. For this purpose, we extract the initial L coefficient vectors \({\boldsymbol{U}}_{N}^{1}, {\boldsymbol{U}}_{N}^{2}, \ldots, {\boldsymbol{U}}_{N}^{L}\) (\(L\ll K\)) in the series of coefficient vectors \(\{{\boldsymbol{U}}_{N}^{n}\}_{n=1}^{K}\) for the classic CNCS matrix format (11) to form a set of snapshots.
3 The ROECS method based on POD for 2D Sobolev equations
3.1 Formulation of POD basis
We use the set of snapshots obtained by Sect.Â 2.3 to form a snapshot matrix \(\boldsymbol{P}=({\boldsymbol{U}}_{N}^{1}, {\boldsymbol{U}}_{N}^{2}, \ldots, {\boldsymbol{U}}_{N}^{L})\) of volume \((2N+1)^{2}\times L\). Let \(\lambda _{j}>0\) (\(j=1, 2, \ldots , r=: \operatorname{rank}(\boldsymbol{P})\)) be the positive eigenvalues of \(\boldsymbol{P}\boldsymbol{P}^{T}\) arranged nonincreasingly, and let \(\boldsymbol{U}=(\boldsymbol{\phi }_{1},\boldsymbol{\phi }_{2},\ldots , \boldsymbol{\phi }_{r}) \in \mathbb{R}^{(2N+1)^{2}\times r}\) be the associated orthonormal eigenvectors of \(\boldsymbol{P}\boldsymbol{P}^{T}\). Thus, the POD basis \(\boldsymbol{\varPhi }=(\boldsymbol{\phi } _{1},\boldsymbol{\phi }_{2},\ldots , \boldsymbol{\phi }_{d})\) (\(d\leqslant r\)) is formed by the first d vectors in U and satisfies (see [36])
where \(\{\boldsymbol{P}}\_{2,2}=\sup_{\boldsymbol{\chi }\neq\boldsymbol{0}}{\{\boldsymbol{P}} \boldsymbol{\chi }\_{2}}/{\ \boldsymbol{\chi }\_{2}}\), and \(\\boldsymbol{\chi }\_{2}\) is the norm of a vector Ï‡. Further, we obtain
where \(\boldsymbol{e}_{n}=(0, \ldots, 0, 1, 0, \ldots, 0)^{T}\) (\(n=1,2,\ldots ,L\)) with the nth component equal to 1. Hence, \(\boldsymbol{\varPhi }=(\boldsymbol{\phi } _{1},\boldsymbol{\phi }_{2},\ldots , \boldsymbol{\phi }_{d})\) is an optimal POD basis.
Remark 3
Since the order \((2N+1)^{2}\) of the matrix \({\boldsymbol{P}}{\boldsymbol{P}}^{T}\) is far larger than the order L of the matrix \({\boldsymbol{P}}^{T}{\boldsymbol{P}}\), the number of the nodes of spatial meshes \((2N+1)^{2}\) is far larger than that of extracted snapshots L. Nevertheless, both positive eigenvalues \(\lambda _{i}\) (\(i=1,2,\ldots,r\)) are the same, and thus we may first search out the eigenvalues \(\lambda _{i}\) (\(i=1,2,\ldots,r\)) of \({\boldsymbol{P}}^{T}{\boldsymbol{P}}\) and the associated eigenvectors \({\boldsymbol{\varphi }} _{i}\) (\(i=1,2,\ldots,r\)), and then by the formula \({\boldsymbol{\phi }}_{i}= {\boldsymbol{P}}{\boldsymbol{\varphi }}_{i}/\sqrt{{\lambda _{i}}}\) (\(i=1,2,\ldots,r\)) we can gain the eigenvectors \({\boldsymbol{\phi }}_{i}\) (\(i=1,2,\ldots,r\)) associated with the positive eigenvalues \(\lambda _{i}\) (\(i=1,2,\ldots,r\)) of \({\boldsymbol{P}}{\boldsymbol{P}}^{T}\) and such that we can expediently obtain the POD basis.
3.2 Establishment of the ROECS model
By (13) in Sect.Â 3.1, we can obtain the first L (\(L\leqslant K\)) coefficient vectors of ROESE solutions: \(\boldsymbol{U}_{d} ^{n}=\boldsymbol{\varPhi }\boldsymbol{\varPhi }^{T}\boldsymbol{U}_{N}^{n}=:\boldsymbol{\varPhi }\boldsymbol{\beta } _{d}^{n}\) (\(n=1,2,\ldots , L\)), where \(\boldsymbol{U}_{d}^{n}=(u_{d,0,0}^{n}, u_{d,1,0}^{n},\ldots ,u_{d, N,0}^{n},u_{d,0,1}^{n}, u_{d,1,1}^{n}, \ldots , u_{d,N,1}^{n},\ldots ,u_{d,0,N}^{n},u_{d,1,N}^{n},\ldots , u _{d,N,N}^{n+1})^{T}\) and \(\boldsymbol{\beta }_{d}^{n}=(\beta _{1}^{n}, \beta _{2}^{n},\ldots ,\beta _{d}^{n})^{T}\). When the coefficient vectors \(\boldsymbol{U}_{N}^{n}\) in (11) are replaced with \(\boldsymbol{U}_{d}^{n}= \boldsymbol{\varPhi }\boldsymbol{\beta }_{d}^{n}\) (\(n=L+1, L+2, \ldots ,K\)), we can obtain the following ROECS format:
where \(\boldsymbol{U}_{N}^{n}\) (\(n=1,2,\ldots ,L\)) are the initial L coefficient vectors in (11), and the matrices A and B are provided in (11). Further, due to the reversibility of the matrix \((\boldsymbol{A} + \varepsilon \boldsymbol{B} +\gamma \Delta t \boldsymbol{B} )\), the format (14) is abbreviated as follows:
Remark 4
As equation (11) contains \((N+1)^{2}\) unknowns at each time node, but the ROECS model, that is, the format (15) at the same time node only involves d unknowns (\(d\leqslant L\ll (N+1)^{2}\), for example, \(d=6\), but \((N+1)^{2}=10\text{,}201\) in Sect.Â 4), the format (15) is obviously superior to equation (11). After we have gained \(\boldsymbol{U}_{d}^{n}=(u_{d,0,0}^{n}, u_{d,1,0}^{n},\ldots ,u _{d, N,0}^{n},u_{d,0,1}^{n}, u_{d,1,1}^{n},\ldots ,u_{d,N,1}^{n}, \ldots ,u_{d,0,N}^{n},u_{d,1,N}^{n},\ldots , u_{d,N,N}^{n+1})^{T}\) (\(1\leqslant n\leqslant K\)) via (15), we can obtain the ROECS solutions by the formula \(u_{d}^{n}(x,y) = \sum_{j=0}^{N}\sum_{k=0}^{N}u_{d,j,k} ^{n}h_{j}(x) h_{k}(y)\) (\(n=1, 2, \ldots, K\)).
3.3 The existence, stability, and convergence for the ROECS solutions
To discuss the existence, stability, and convergence of the ROECS solutions, we think about the maxnorms of a matrix and vector (for more detail, see [45]), which are, respectively, defined dy
We also employ the following discrete Gronwall inequality (see [46, LemmaÂ 3.4] or [36, LemmaÂ 1.4.1]).
Lemma 6
If \(\{a_{n}\}\) and \(\{b_{n}\}\) are two nonnegative sequences and \(\{c_{n}\}\) is a positive monotone sequence satisfying
then
We have the following main result of the existence, stability, and convergence of the ROECS solutions for the format (15).
Theorem 7
Under the conditions of TheoremÂ 5, there exists a unique series of ROECS solutions \(u_{d}^{n}\) (\(n=1, 2, \ldots, K\)) satisfying the following stability:
where \(C(u_{0},f)\) are positive constants dependent on \(u_{0}\) and f but independent of N and Î”t. Moreover, when \(u(t_{n}) \in H_{\omega }^{q}(\varOmega )\) (\(2\leqslant q\leqslant N+1\)), the errors between the solutions for ProblemÂ 1 and the ROECS solutions \(u_{d}^{n}\) (\(n=1, 2, \ldots, K\)) have the following estimates:
Proof
(1) The existence and stability for the ROECS solutions.
Due to the reversibility of the matrix \((\boldsymbol{A} + \varepsilon \boldsymbol{B} +\gamma \Delta t\boldsymbol{B} )\), from the format (15) and RemarkÂ 4 we can conclude that the format (15) has a unique series of the ROECS solutions.
From (14) we can recover the following format:
Write \(\boldsymbol{H}(x,y)=(h_{0}(x)h_{0}(y),h_{1}(x)h_{0}(y),\ldots ,h_{N}(x)h _{0}(y),h_{0}(x)h_{1}(y), h_{1}(x)h_{1}(y), \ldots , h_{N}(x) h _{1}(y), \ldots , h_{0}(x)h_{N}(y), h_{1}(x)h_{N}(y), \ldots , h_{N}(x)h _{N}(y))^{T}\). Then we denote the solutions for ProblemÂ 4 by \(u_{N}^{n} =(\boldsymbol{U}_{N}^{n})^{T}\boldsymbol{H}(x,y)=\boldsymbol{U} _{N}^{n}\cdot \boldsymbol{H}(x,y)\). Similarly, \(u_{d}^{n} = (\boldsymbol{U}_{d}^{n})^{T} \boldsymbol{H}(x,y) = \boldsymbol{U}_{d}^{n}\cdot \boldsymbol{H}(x,y)\).
When \(n=1, 2, \ldots, L\), we have
Furthermore, by TheoremÂ 5 we conclude that (16) is correct for \(n=1, 2, \ldots, L\).
When \(n=L+1, L+2, \ldots, K\), we rewrite (19) as follows:
Moreover, from the FE method (see, e.g., [46, Lemmas 1.18 and 1.22]), the CS method (see, e.g., [6, Chapters II and III]), and the properties of matrix norms we can attain the inequalities
Furthermore, by the properties of matrixes (see [45, LemmaÂ 1.4.1]) and (22) we obtain
Thus, from (21), (23), and (24) we get
Summing (25) from L to n, we obtain
Applying the discrete Gronwall lemma (LemmaÂ 6) to (26), we get
where \(L\leqslant n \leqslant K1\). Thus, we obtain
which shows that (16) is correct for \(n=L+1, L+2, \ldots, K\).
(2) Error estimates (17).
Set \(\boldsymbol{e}^{n}=\boldsymbol{U}_{N}^{n}\boldsymbol{U}_{d}^{n}\). For \(n=1, 2, \ldots, L\), from (13) we get
For \(n=L+1, L+2, \ldots, K\), from (11) and (19) we obtain
Further, from (24) we get
Summing (31) from L to n, we obtain
Applying the discrete Gronwall lemma to (32), from (29) we get
Thus, by \(u_{N}^{n}={\boldsymbol{U}}_{N}^{n}\cdot \boldsymbol{H}\), \(u_{d}^{n}={\boldsymbol{U}} _{d}^{n}\cdot \boldsymbol{H}\), and \(\{\boldsymbol{H}}\_{0,\omega }\leqslant 1\), with the orthogonality of elements in \(\boldsymbol{H}(x,y)\) and the inverse estimate theorem, we attain
Combining TheoremÂ 5 and (34), we gain (17). This finishes the argument of TheoremÂ 7.â€ƒâ–¡
Remark 5
We have two annotations for the ROECS format.

(1)
The factor \(\sqrt{\lambda _{d+1}}\) in TheoremÂ 7 is caused by the order reduction for the CS format and can serve as the criterion of choice of the POD basis, that is, it is necessary to choose the number of the POD basis d and L satisfying \(\sqrt{\lambda _{d+1}}\leqslant \max \{\Delta t^{2},N^{2}\}\).

(2)
We clearly can get that the matrix representation of the classic CS format (11) contains \((N+1)^{2}\) unknowns at each time node; nevertheless, the ROECS format (15) has only d unknowns (\(d\leqslant L\ll (N+1)^{2}\), for instance, \(d=6\), but \((N+1)^{2}=10\text{,}201\) in Sect.Â 4) at the same time node. Therefore, in comparison with the classic CS format, the ROECS format can greatly lessen unknowns, so that it can alleviate the calculation load and save the CPU consuming time and the storage requirements in the computational process for solving 2D Sobolev equations.
3.4 The flowchart for solving the ROECS format
We further provide the flowchart of finding the ROECS solutions for 2D Sobolev equations, which consists of the following five steps.
 Step 1.:

For given parameters Îµ and Î³, the source term \(f(x,y,t)\) and the initial function \(u_{0}(x,y)\), the number of nodes N in the direction of x or y, the nodes \(\{x_{m}\}_{m=0}^{N}=\cos (m\pi /N)\) and \(\{y_{l}\}_{l=0} ^{N}=\cos (l\pi /N)\), the time increment Î”t. Solving the classic CS format (11) on the first L steps obtains the numerical solutions \(\boldsymbol{U}^{n}_{N}\) (\(1\leqslant n\leqslant L\)).
 Step 2.:

Put \(\boldsymbol{P}=(\boldsymbol{U}^{1}_{N}, \boldsymbol{U}^{2}_{N}, \ldots, \boldsymbol{U}^{L}_{N})_{(N+1)^{2}\times L}\) and seek the positive eigenvalues \(\lambda _{1}\geqslant \lambda _{2}\geqslant \cdots \geqslant \lambda _{\kappa }> 0\) (\(r=\dim \{u_{N}^{n}:1\leqslant n\leqslant L\}\)) and the associated eigenvectors \(\boldsymbol{\varphi }_{i}\) (\(i=1,2,\ldots ,r\)) of \(\boldsymbol{P}^{T}\boldsymbol{P}\).
 Step 3.:

Determine the number d of POD basis by means of the inequality \(\lambda _{d+1}\leqslant \max \{\Delta t^{4},N^{2q}\}\) and produce the POD basis \(\boldsymbol{\varPhi }= (\phi _{1},\phi _{2},\ldots ,\phi _{d})\) by the formula \({\boldsymbol{\phi }}_{i}={\boldsymbol{P}}{\boldsymbol{\varphi }}_{i}/\sqrt{ {\lambda _{i}}}\) (\(1\leqslant i\leqslant d\)).
 Step 4.:

First, obtain the ROECS solutions \(\boldsymbol{U}_{d}^{n}=(u _{d,0,0}^{n}, u_{d,1,0}^{n},\ldots ,u_{d, N,0}^{n},u_{d,0,1}^{n}, u_{d,1,1}^{n},\ldots , u_{d,N,1}^{n},\ldots , u_{d,0,N}^{n},u _{d,1,N}^{n},\ldots , u_{d,N,N}^{n+1})^{T}\) (\(1\leqslant n\leqslant K\)) by solving the ROECS format, that is, the format (15), and then we can obtain the ROECS solutions by the formula \(u_{d}^{n}(x,y) = \sum_{j=0} ^{N}\sum_{k=0}^{N}u_{d,j,k}^{n}h_{j}(x)h_{k}(y)\) (\(n=1, 2, \ldots, K\)).
 Step 5.:

If \(\u_{d}^{n}u_{d}^{n+1}\_{0,\omega }\leqslant \max \{\Delta t^{2},N^{q}\}\) (\(n=L,L+1,\ldots ,K1\)), then end. Else, let \(\boldsymbol{U}_{N}^{i}=\boldsymbol{U}_{d}^{nLi}\) (\(i=1,2,\ldots ,L\)) and return to Step 2.
4 Some numerical examples
In this section, we present several sets of comparative numerical examples to show the advantage of the ROECS method for the 2D Sobolev equation.
Example 1
In the Sobolev equations, we take \(f(x,y,t) = 2(\cos 2\pi x\cos 2\pi y 1)\exp (2t)\), \(u_{0}(x,y) = 1\cos 2\pi x\cos 2\pi y\) (depicted in Fig.Â 1), \(\varphi (x,y,t)=u _{0}(x,y)\exp (2t)\), \(\varepsilon = {1}/{\pi ^{2}}\), \(\gamma ={2}/ {\pi ^{2}}\), the time step \(\Delta t = 0.01\), and the number of nodes in two directions \(N = 100\), \(q=2\).
We first compute the initial \(L=20\) coefficient vectors \(\boldsymbol{U}_{N} ^{n}\) of the CS solutions of (11) at time nodes \(t_{n}\) (\(n=1,2,\ldots ,20\)) to form the snapshot matrix \(\boldsymbol{P}=(\boldsymbol{U}_{N} ^{1}, \boldsymbol{U}_{N}^{2}, \ldots, \boldsymbol{U}_{N}^{20})\). Then we find the eigenvalues \(\lambda _{1}\geqslant \lambda _{2}\geqslant \cdots \geqslant \lambda _{20}\geqslant 0\) and the associated eigenvectors \(\boldsymbol{\varphi }_{i}\) (\(i=1,2,\ldots ,r\)) of \(\boldsymbol{P}^{T}\boldsymbol{P}\) according to Step 2 in Sect.Â 3.4. By computing we obtain that the error factor \(\sqrt{\lambda _{7}}\leqslant 4\times 10^{4}\). Thus, we only need to produce the POD basis \(\boldsymbol{\varPhi }= (\phi _{1},\phi _{2},\ldots ,\phi _{d})\) by the formula \({\boldsymbol{\phi }}_{i}={\boldsymbol{P}}{\boldsymbol{\varphi }}_{i}/\sqrt{ {\lambda _{i}}}\) (\(1\leqslant i\leqslant d\)). Then, by the ROECS format, we find the ROECS solutions at \(T =0.3, 0.6, 0.9\), respectively, depicted in (b) of Figs. 2 to 4, respectively.
To make a reasonable comparison, we also compute out the classic CS solutions at \(T =0.3, 0.6, 0.9\) by the CS format (4), respectively, depicted in (a) in Figs. 2 to 4, respectively.
The comparison of (a) and (b) in Figs. 2 to 4 exhibits a quasiidentical similarity. In the computational process, the ROECS format at each time level only contains six unknowns, whereas the classic CS format has 10,201 unknowns. Therefore, the ROECS format can not only alleviate the calculation load and reduce the accumulation of roundoff errors, but can also save CPU elapsed time and resources in the computational process. Photos (c) in Figs. 2 to 4 are, respectively, the errors between the ROECS solutions and the CS solutions when \(t=0.3, 0.6, 0.9\), which accord with the theoretical errors, because both errors are \(O(10^{4})\).
By operating records from solving the classic CS format and the ROECS format in the same Laptop (Microsoft Surface Book: Int Core i7 Processor, 16Â GB RAM), we find that the CPU elapsed time for solving the classic CS format on \(0\leqslant t\leqslant 0.9\) is about 6059 seconds, but the CPU elapsed time for solving the ROECS format is about 48 seconds, that is, the CPU consuming time for solving the classic CS format is 125 times greater than for solving the ROECS format. This shows that the ROECS format is far superior to the classic CS format.
Example 2
To compare the CS and ROECS methods, we give another example, which also has an analytical solution for a 2D Sobolev equation. In the 2D Sobolev equation (1), we take \(\varepsilon = 1\), \(\gamma = 10\), \(f(x,y,t) = (\frac{1}{2}+ \varepsilon \pi ^{2} + 2\gamma \pi ^{2})\sin \pi x \sin \pi y \exp ({t/2})\), \(u_{0}(x,y) = \sin \pi x \sin \pi y\), \(\varphi (x,y,t)=0\). Then this Sobolev equation has an exact solution \(u(x,y,t) =\sin \pi x\sin \pi y \exp ({t/2})\).
First, we depict the exact solution \(u(x,y,t) = e^{t/2}\sin \pi x \sin \pi y\) at \(T = 0.9\) in (a) of Fig.Â 5.
Next, we take time step \(\Delta t = 0.01\) and the number \(N = 100\) of nodes in the x and y directions. By the classic CS format (4) we compute out the classic CS solution at \(T=0.9\), depicted in (b) of Fig.Â 5.
Finally, to make a reasonable comparison, in solving the ROECS format, we adopt the same time step and number of nodes as in the classic CS format. We also compute the initial \(L=20\) coefficient vectors \(\boldsymbol{U}_{N}^{n}\) of the CS solutions with the classic CS format (11) at time nodes \(t_{n}\) (\(n=1,2,\ldots ,20\)) to form the snapshot matrix \(\boldsymbol{P}=(\boldsymbol{U}_{N}^{1}, \boldsymbol{U}_{N}^{2}, \ldots, \boldsymbol{U} _{N}^{20})\). Then we find the eigenvalues \(\lambda _{1}\geqslant \lambda _{2}\geqslant \cdots \geqslant \lambda _{20}\geqslant 0\) and the associated eigenvectors \(\boldsymbol{\varphi }_{i}\) (\(i=1,2,\ldots ,r\)) of \(\boldsymbol{P}^{T}\boldsymbol{P}\) according to Step 2 in Sect.Â 3.4. By computing we obtain that the error factor \(\sqrt{\lambda _{7}}\leqslant 2\times 10^{4}\), so that it is only necessary to adopt the most main six POD bases \(\boldsymbol{\varPhi }= (\phi _{1}, \phi _{2},\ldots ,\phi _{d})\) by the formula \({\boldsymbol{\phi }}_{i}={\boldsymbol{P}} {\boldsymbol{\varphi }}_{i}/\sqrt{{\lambda _{i}}}\) (\(1\leqslant i\leqslant d\)) when solving the ROECS format. The obtaining ROECS solution at \(T =0.9\) is depicted in (c) of Fig.Â 5.
Moreover, we depict the errors between the analytical solution and CS solution, the analytical solution and ROECS solution, and the CS solution and ROECS solution at \(T=0.9\) in photos (a), (b), and (c) of Fig.Â 6, respectively.
By observing three photos of Fig.Â 5, we clearly find that the photos of the analytical solution, the CS numerical solution, and the ROECS numerical solution are basically identical and that the errors between the analytical solution and CS solution, the analytical solution and ROECS solution, and the CS solution and ROECS solution are less than \(2\times 10^{4}\), which verify the correctness of the theory for error analysis because the theoretical error is \(O(10^{4})\) according to TheoremÂ 7. Especially, the unknowns (only six) in the ROECS format are far fewer than those in the classic CS format (i.e., \((N+1)^{2}=10\text{,}201\)), so that the CPU consuming time of the ROECS format is far less than that of the classic CS format; for instance, it takes only about \(260~\mbox{s}\) when computing the ROECS solution at \(T=0.9\), but takes \(7033~\mbox{s}\) when computing the classic CS solution at the same time in the same Laptop (Microsoft Surface Book: Int Core i7 Processor, 16Â GB RAM).
5 Conclusions and discussions
In this study, we have studied the reducedorder of the coefficient vectors of the solutions for the classic CS method of 2D Sobolev equations. We have established the ROECS format in matrix form for 2D Sobolev equations via the POD technique, proven the existence, uniqueness, stability, and convergence of the ROECS solutions by the matrix means, and also given the flowchart for solving the ROECS format of 2D Sobolev equations. Moreover, we have supplied two numerical examples to verify the correctness of the theoretical analysis to explain that the ROECS format is far superior to the classic CS format because the unknowns of the ROECS format are far fewer than those of the classic CS format, so that, compared to the classic CS format, the ROECS format can greatly lessen the computational load, retard the roundoff error accumulation, and save the CPU consuming time in the operational process.
Especially, the ROECS format for the 2D Sobolev equations is first presented in this paper and is a development and improvement over the existing reducedorder methods because the ROECS format has higher accuracy than other reducedorder methods, such as the reducedorder FE method, FVE method, and FD scheme. Both theory and method of this paper are new and completely different from the existing reducedorder methods.
Although we restrict our ROECS method to Sobolev equations on rectangular domain \(\overline{\varOmega }=[a, b]\times [c, d]\), our technique can be extended to more general domains and applied in more complex engineering problems. Therefore, our technique has important applied prospect.
References
Ting, T.W.: A cooling process according to twotemperature theory of heat conduction. J. Math. Anal. Appl. 45(1), 23â€“31 (1974)
Shi, D.M.: On the initial boundary value problem of nonlinear equation of the migration of the moisture in soil. Acta Math. Appl. Sin. 13(1), 31â€“38 (1990)
Liu, Y., Li, H., He, S., Gao, W., Mu, S.: A new mixed scheme based on variation of constants for Sobolev equation with nonlinear convection term. Appl. Math. J. Chin. Univ. 28(2), 158â€“172 (2013)
Shi, D.Y., Wang, H.H.: Nonconforming H1Galerkin mixed FEM for Sobolev equations on anisotropic meshes. Acta Math. Appl. Sin. 25(2), 335â€“344 (2009)
Guo, B.Y.: Some progress in spectral methods. Sci. China Math. 56(12), 2411â€“2438 (2013)
Guo, B.Y.: Spectral Methods and Their Applications. World Scientific, Singapore (1998)
Zhou, Y.J., Luo, Z.D.: A Crankâ€“Nicolson collocation spectral method for the twodimensional telegraph equations. J.Â Inequal. Appl. 2018, 137 (2018)
Shen, J., Tang, T.: Spectral and HighOrder Methods with Applications. Science Press, Beijing (2006)
Luo, Z.D., Teng, F.: A reducedorder extrapolated finite difference iterative scheme based on POD method for 2D Sobolev equation. Appl. Math. Comput. 329, 374â€“383 (2018)
Gao, F.Z., Qiu, J.X., Zhang, Q.: Local discontinuous Galerkin finite element method and error estimates for one class of Sobolev equation. J. Sci. Comput. 41, 436â€“460 (2009)
Jiang, Z.W., Chen, H.Z.: Error estimates for mixed finite element methods for Sobolev equation. Northeast. Math. J. 17(3), 301â€“314 (2001)
Li, H., Luo, Z.D., An, J.: A fully discrete finite volume element formulation for Sobolev equation and numerical simulations. Math. Numer. Sin. 34(2), 163â€“172 (2010)
Shi, D.Y., Wang, H.H., Guo, C.: Anisotropic rectangular nonconforming finite element analysis for Sobolev equations. Appl. Math. Mech. 29(9), 1203â€“1214 (2008)
Luo, Z.D., Teng, F., Chen, J.: A PODbased reducedorder Crankâ€“Nicolson finite volume element extrapolating algorithm for 2D Sobolev equations. Math. Comput. Simul. 146, 118â€“133 (2018)
Lu, W.J., Zhang, F.Y.: Longtime behavior of completely discrete Fourier spectral method of solutions to Sobolev equations. J. Nat. Sci. Heilongjiang Univ. 18(2), 5â€“8 (2001)
Jin, S.J., Luo, Z.D.: A collocation spectral method for the twodimensional Sobolev equations. Bound. Value Probl. 2018, 53 (2018)
Cazemier, W., Verstappen, R.W.C.P., Veldman, A.E.P.: Proper orthogonal decomposition and lowdimensional models for driven cavity flows. Phys. Fluids 10(7), 1685â€“1699 (1998)
Holmes, P., Lumley, J.L., Berkooz, G.: Turbulence, Coherent Structures, Dynamical Systems and Symmetry. Cambridge University Press, Cambridge (1996)
Ly, H.V., Tran, H.T.: Proper orthogonal decomposition for flow calculations and optimal control in a horizontal CVD reactor. Q. Appl. Math. 60(4), 631â€“656 (1989)
Sirovich, L.: Turbulence and the dynamics of coherent structures: parts Iâ€“III. Q. Appl. Math. 45(3), 561â€“590 (1987)
Fukunaga, K.: Introduction to Statistical Recognition. Academic Press, New York (1990)
Jolliffe, I.T.: Principal Component Analysis. Springer, Berlin (2002)
Selten, F.M.: Baroclinic empirical orthogonal functions as basis functions in an atmospheric model. J. Atmos. Sci. 54(16), 2099â€“2114 (1997)
Kunisch, K., Volkwein, S.: Galerkin proper orthogonal decomposition methods for parabolic problems. Numer. Math. 90(1), 117â€“148 (2001)
Kunisch, K., Volkwein, S.: Galerkin proper orthogonal decomposition methods for a general equation in fluid dynamischs. SIAM J. Numer. Anal. 40(2), 492â€“515 (2002)
Luo, Z.D., Chen, J., Navon, I.M., Yang, X.Z.: Mixed finite element formulation and error estimates based on proper orthogonal decomposition for the nonstationary Navierâ€“Stokes equations. SIAM J. Numer. Anal. 47(1), 1â€“19 (2008)
Luo, Z.D., Li, H., Zhou, Y.J., Xie, Z.H.: A reduced finite element formulation based on POD method for twodimensional solute transport problems. J. Math. Anal. Appl. 385(1), 371â€“383 (2012)
Cao, Y.H., Luo, Z.D.: A reducedorder extrapolating Crankâ€“Nicolson finite difference scheme for the Riesz space fractional order equations with a nonlinear source function and delay. J. Nonlinear Sci. Appl. 11, 672â€“682 (2018)
Luo, Z.D., Yang, X.Z., Zhou, Y.J.: A reduced finite difference scheme based on singular value decomposition and proper orthogonal decomposition for Burgers equation. J. Comput. Appl. Math. 229(1), 97â€“107 (2009)
Sun, P., Luo, Z.D., Zhou, Y.J.: Some reduced finite difference schemes based on a proper orthogonal decomposition technique for parabolic equations. Appl. Numer. Math. 60(1â€“2), 154â€“164 (2010)
Luo, Z.D., Li, H., Zhou, Y.J., Huang, X.M.: A reduced FVE formulation based on POD method and error analysis for twodimensional viscoelastic problem. J. Math. Anal. Appl. 385(1), 310â€“321 (2012)
Luo, Z.D., Xie, Z.H., Shang, Y.Q., Chen, J.: A reduced finite volume element formulation and numerical simulations based on POD for parabolic problems. J. Comput. Appl. Math. 235(8), 2098â€“2111 (2011)
Benner, P., Cohen, A., Ohlberger, M., Willcox, A.K.: Model Reduction and Approximation: Theory and Algorithm. Computational Science and Engineering. SIAM, Philadelphia (2017)
Hesthaven, J.S., Rozza, G., Stamm, B.: Certified Reduced Basis Methods for Parametrized Partial Differential Equations. Springer, Berlin (2016)
Quarteroni, A., Manzoni, A., Negri, F.: Reduced Basis Methods for Partial Differential Equations. Springer, Berlin (2016)
Luo, Z.D., Chen, G.: Proper Orthogonal Decomposition Methods for Partial Differential Equations. Mathematics in Science and Engineering. Elsevier, Amsterdam (2018). https://www.elsevier.com/books/properorthogonaldecompositionmethodsforpartialdifferentialequations/luo/9780128167984
Luo, Z.D., Gao, J.Q.: A PODbased reducedorder finite difference timedomain extrapolating scheme for the 2D Maxwell equations in a lossy medium. J. Math. Anal. Appl. 444, 433â€“451 (2016)
Luo, Z.D., Li, H.: A POD reducedorder SPDMFE extrapolating algorithm for hyperbolic equations. Acta Math. Sci. Ser. B Engl. Ed. 34(3), 872â€“890 (2014)
Luo, Z.D., Li, H., Sun, P., Gao, J.Q.: A reducedorder finite difference extrapolation algorithm based on POD technique for the nonstationary Navierâ€“Stokes equations. Appl. Math. Model. 37(7), 5464â€“5473 (2013)
Xia, H., Luo, Z.D.: An optimized finite difference iterative scheme based on POD technique for the 2D viscoelastic wave equation. Appl. Math. Mech. 38(12), 1721â€“1732 (2017)
Luo, Z.D., Teng, F.: Reducedorder proper orthogonal decomposition extrapolating finite volume element format for twodimensional hyperbolic equations. Appl. Math. Mech. 38(2), 289â€“310 (2017)
An, J., Luo, Z.D., Li, H., Sun, P.: Reducedorder extrapolation spectralfinite difference scheme based on POD method and error estimation for threedimensional parabolic equation. Front. Math. China 10(5), 1025â€“1040 (2015)
Luo, Z.D., Jin, S.J.: A reducedorder extrapolation spectralfinite difference scheme based on the POD method for 2D secondorder hyperbolic equations. Math. Model. Anal. 22(5), 569â€“586 (2017)
Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)
Zhang, W.S.: Finite Difference Methods for Partial Differential Equations in Science Computation. Higher Education Press, Beijing (2006) (in Chinese)
Luo, Z.D.: Mixed Finite Element Methods and Applications. Science Press, Beijing (2006) (in Chinese)
Acknowledgements
The authors are thankful to the honorable reviewers and editors for their valuable suggestions and comments, which improved the paper.
Availability of data and materials
The authors declare that all data and material in the paper are available and veritable.
Funding
This research was supported by the National Science Foundation of China grant 11671106 and Qian Science Cooperation Platform Talent grant [2017]572641.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally and significantly in writing this article. Both 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jin, S., Luo, Z. A reducedorder extrapolating collocation spectral method based on POD for the 2D Sobolev equations. Bound Value Probl 2019, 63 (2019). https://doi.org/10.1186/s1366101911762
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101911762