Abstract
In this paper, we prove uniform error bounds for proper orthogonal decomposition (POD) reduced order modeling (ROM) of Burgers equation, considering difference quotients (DQs), introduced in Kunisch and Volkwein (Numer Math 90(1):117–148, 2001). In particular, we study the behavior of the DQ ROM error bounds by considering \(L^2(\Omega )\) and \(H^1_0(\Omega )\) POD spaces and \(l^{\infty }(L^2)\) and natural-norm errors. We present some meaningful numerical tests checking the behavior of error bounds. Based on our numerical results, DQ ROM errors are several orders of magnitude smaller than noDQ ones (in which the POD is constructed in a standard way, i.e., without the DQ approach) in terms of the energy kept by the ROM basis. Further, noDQ ROM errors have an optimal behavior, while DQ ROM errors, where the DQ is added to the POD process, demonstrate an optimality/super-optimality behavior. It is conjectured that this possibly occurs because the DQ inner products allow the time dependency in the ROM spaces to make an impact.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Reduced order models (ROMs) are one of the most popular low-dimensional surrogate models to obtain the numerical simulation of linear and nonlinear systems [10, 13, 15,16,17,18, 23, 32,33,34,35, 42, 44, 45]. To build a low dimensional ROM, one can use the following most popular frameworks such as proper orthogonal decomposition (POD) [1, 3,4,5,6,7, 12, 14, 17, 21, 25, 31, 33, 46, 47], reduced basis methods (RBM) [8, 36, 40], empirical interpolation method (EIM), and discrete empirical interpolation method (DEIM) [2, 11, 37, 39]. In this work, we specifically use the POD framework to build the ROM.
The ROM error analysis for the parabolic problems has been worked in [19, 26, 27, 29, 41, 43]. Difference quotients (DQs) (i.e., scaled snapshots of the form \((u^{n} - u^{n-1}) / \Delta t, \, n = 1, \ldots , N\)) were proposed by Kunisch and Volkwein in Remark 1 of [26] as a means to achieve time discretization optimality. The effect of the DQs in linear applications and the ROM error analysis for the parabolic problems are investigated in [9, 28] and [19, 22, 26, 29], respectively. The authors in [19] provide the DQ ROM numerical results for the Burgers equation without providing any numerical analysis for the results. Thus, we emphasize that, to our knowledge, the ROM error analysis considering the DQs for nonlinear problems has never been proven.
The main aim of the paper is to provide an error analysis for the ROM approximation of Burgers Eqs. (1) considering DQ, \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD space frameworks and the \(l^{\infty }(L^2(\Omega ))\) and natural-norms. We provide uniform ROM error bounds and present numerical tests in which we observe a much smaller error of the DQ ROM errors than the noDQ ones, with respect to energy kept in the ROM basis. This indicates that the DQ ROM keeps better-selected information for the same amount of energy due to the difference quotients.
The rest of the paper is organized as follows: In Sect. 2, we briefly describe the noDQ/DQ POD methodology and provide error bounds for the POD projection error. DQ Crank-Nicolson (CN) ROM for the Burgers Eq. (1) is defined in Sect. 3. The error analysis of the DQ CN ROM is discussed in Sect. 4. Specifically, in Sect. 4.1, we classify the optimality type for the different ROM discretization errors. Furthermore, in Sects. 4.2 and 4.3, we provide \(l^{\infty }(L^2)\) and natural-norm, i.e., \(l^{\infty }(L^2) \cap l^{2}(H_0^1) \) DQ ROM error bounds considering \(L^2(\Omega )\) and \(H^1_0(\Omega )\) POD bases and their optimality behavior, respectively. As a mathematical model, we use viscous Burgers equation:
In Sect. 5, we provide ROM error bounds considering noDQ, DQ framework, \(L^2(\Omega )\), \(H_0^1(\Omega )\) POD spaces, and \(l^{\infty }(L^2)\), natural-norm errors. Specifically, in Sects. 5.1 and 5.2, we numerically discuss the optimality behavior of the noDQ and DQ ROM errors, respectively, considering \(L^2(\Omega )\), \(H_0^1(\Omega )\) POD spaces, and \(l^{\infty }(L^2)\), natural-norm errors. In Sect. 5.3, we numerically compare and discuss the noDQ and DQ ROM errors considering both POD spaces and norm errors. Finally, Sect. 6 presents the conclusions and future research directions.
2 Proper Orthogonal Decomposition (POD)
This section builds a general POD framework with/without DQs. The construction of the noDQ/DQ POD basis is straightforward and can be summarized in the following steps: (i) We collect a snapshot data set S:=\(\{u^0, u^1,..., u^N\}\) that is contained in a real Hilbert space \(\mathcal {H}\) and by solving (1) for equispaced parameter \(t_{j}=j\Delta t, \forall j=0,..,N\) where \(\Delta t =T/N\). (ii) We obtain noDQ/DQ orthonormal POD basis functions (usually called POD modes), i.e., \(\{\varphi _1,...,\varphi _r\} \subset S\) with fixed \(r>0\) value by solving the following generalized minimization problem:
where the \(*\) norm is defined as
with the weight \(M_{\xi }\) and tuning parameter \(\xi \), and the DQs, i.e., \(\partial v^k\), defined by
and \(P_r: \mathcal {H} \rightarrow \mathcal {H}\) is the orthogonal projection onto \( X^r:= \textrm{span}\{ \varphi _i \}_{i=1}^r \) given by
Depending on the choice of the tuning parameter \(\xi \) (we let \(\xi \) to be 0 or 1) in (3), (7) yields the noDQ/DQ POD. To be more specific, the choice of \(\xi =0\) discards the DQ summation in (3); thus, the minimization problem (2) is solved for just the given snapshot data set S with the weight \(W_{\xi }=N+1\) to obtain the standard POD (noDQ POD) basis. On the other hand, choosing \(\xi =1\) (taking into account the DQ summation) leads to (2) to be solved for the different snapshot data set \(S=\{u^0,..,u^N,\partial u^1,...,\partial u^N\}\) with \(M_{\xi }=2N+1\), which results in the DQ POD basis.
In order to solve (2), one considers the eigenvalue problem
where \(K_{ji}:=(u^j,u^i)_{\mathcal {H}}, i,j=1,..,M_{\xi }\) is the snapshot correlation matrix, \(\lambda _1 \ge \lambda _2 \ge ,..., \ge \lambda _d > 0\) are the positive eigenvalues, and \(v_k, k=1,...,d\), are the associated eigenvectors. Then, the solution of (2) is given by
To obtain the \(L^2\) or \(H_0^1\) POD space framework, one needs to choose the Hilbert space \(\mathcal {H}\) in (3) and (6) as either \(L^2\) or \(H_0^1\), respectively. For example, if one needs to create the DQ-H01 POD, one should choose \(\mathcal {H}=H_0^1\) in (3) and (6) and \(\xi =1\) in (3) to solve the minimization problem (2) and eigenvalue problem (6).
Now, we provide DQ POD approximation errors in Lemma 2.1 proven in [19] by considering different norms and projections onto \( X^r = \textrm{span}\{ \varphi _i \}_{i=1}^r \subset \mathcal {H} \). Furthermore, we present the uniform DQ POD projection error bounds in Theorem 2.2 proven in [24], Theorem 3.7. These results are necessary to prove DQ ROM error bounds and show their optimality behavior in Sect. 3.
Lemma 2.1
Let \( X^r = \textrm{span}\{ \varphi _i \}_{i=1}^r \subset \mathcal {H} \), let \( P_r: \mathcal {H} \rightarrow \mathcal {H} \) be the orthogonal projection onto \( X^r \) as defined in (5), and let d be the number of positive POD eigenvalues, where \(\lambda _i^\textrm{DQ}\) represents the DQ POD eigenvalues for the collection \( U^\textrm{DQ} = \{ u^n \}_{n=0}^{N} \cup \{ \partial u^n \}_{n=1}^{N} \) described above. If W is a real Hilbert space with \( U^\textrm{DQ} \subset W \) and \( R_r: W \rightarrow W \) is a bounded linear projection onto \( X^r \), then
Theorem 2.2
Let \( X^r = \textrm{span}\{ \varphi _i \}_{i=1}^r \subset \mathcal {H} \), let \( P_r: \mathcal {H} \rightarrow \mathcal {H} \) be the orthogonal projection onto \( X^r \) as defined in (5), let d be the number of positive POD eigenvalues, where \(\lambda _i^\textrm{DQ}\) represents the DQ POD eigenvalues for \(U^\textrm{DQ}\), and let \(t_j:=j \Delta t, \forall j=0,...,N\) where \(\Delta t = T/N\). If W is a real Hilbert space with \( U^\textrm{DQ} \subset W \) and \( R_r: W \rightarrow W \) is a bounded linear projection onto \( X^r \), then
where \(\mathfrak {C} = 6 \max \{1,T^2 \}\).
Remark 2.3
The bounds in Lemma 2.1 and Theorem 2.2 are still valid if one replaces the snapshots data \(\{u^0, u^1,..., u^N\}\), which are the continuous solution data in this paper as in [24], with finite element (FE) solutions \(\{u_h^0, u_h^1,..., u_h^N\}\), where h is the spatial discretization parameter. Furthermore, the data set used to generate the POD basis in (2) should be the same as the data set used in the POD projection error bounds in Lemma 2.1 and Theorem 2.2.
Remark 2.4
The construction of all ROMs, which are used in the following sections, are obtained by using Crank-Nicolson and Galerkin time and space discretizations, respectively. However, they differ from each other based on two main criteria: noDQ/DQ and \(L^2\)/\(H_0^1\) POD frameworks. Thus, when we label the name of the models for brevity, we drop CN, POD, and ROM acronyms, and, for clarity, we consider noDQ/DQ and \(L^2\)/\(H_0^1\) acronyms.
3 Reduced Order Modeling (ROM)
In this section, we present a numerical method for the Burgers Eq. (1), which is the proper orthogonal decomposition reduced order model.
First, we define the function space \(X = H_0^1(\Omega )\) endowed with the inner product \( (u,v)_{H^1_0} = ( u_x, v_x)_{L^2} \). We take \(u(\cdot ,t)\in X\), \(t\in [0,T]\) to be the weak solution of the weak formulation of the Burgers equation with homogeneous Dirichlet boundary conditions:
Applying Crank-Nicolson and Galerkin discretizations in time and space, respectively to the weak formulation of the Burgers Eq. (10) results in the CN ROM: \(\forall v_{r}\in X^r\),
where \( \partial u^{n+1}_r:= ( u^{n+1}_r - u^n_r )/ \Delta t \).
Remark 3.1
We use the notation \( z^{n+1/2} \) for any discrete-time function z to denote the average \(z^{n+1/2}:= \frac{1}{2} \left( z^{n+1} + z^n \right) \). However, for a continuous time function, we use \( f^{n+1/2} \) to denote \( f(t_n+\Delta t/2) \).
4 Error Analysis
In this section, we prove uniform error bounds for the DQ ROM for the Burgers Eq. (1). Specifically, we provide \(l^{\infty }(L^2)\) and natural-norm (\(l^{\infty }(L^2) \cap l^2(H_0^1)\)) error bounds considering \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD bases and their optimality behavior in Sect. 4.2 and Sect. 4.3, respectively.
We start the analysis by applying the CN time discretization to (10), which yields the following: \(\forall v \in X\),
with the corresponding consistency error
The consistency error (13) does not depend on the f term because of Remark 3.1. Furthermore, we assume the following regularity conditions on the continuous solution u and the terms in (13):
Now, we define the regularity constants, which are the bounds for the terms in (14b) as
Now, we subtract (11) from (12) by choosing \(v=v_r\) in (12) (since \(X^r \subset X\)), and label the discretized error \(e^{n+1}:= u^{n+1} -u_r^{n+1}\). Then, one gets the following error equation: \(\forall v_{r}\in X^r\),
Then, we split the discretized error \(e^{n+1}\) into two parts as
where \(w_r^{n+1}:=R_r u^{n+1}\) is chosen as the Ritz projection of \(u^{n+1}\) on \(X^r\) (for different analyses, \(w_r\) could be chosen differently), which is defined as
The POD projection error (\(\eta \)) and the discretization error (\(\phi \)) in (17) are defined as
During the analysis, we need a standard stability estimate of \(u_r^n\) for the CN scheme, which is
Now, by using the error splitting (17), one can rewrite the error equation (16) as
Then, (18) leads to \((\eta _x, (v_r)_x)_{L^2}=0, \, \forall v_r \in X^r\); thus, the second term \((\eta _x^{n+1/2}, (v_r)_x)_{L^2}\) on the right-hand side of (21) vanishes. We continue the error analysis by choosing \(v_r:=\phi _r^{n+1/2}\), then (21) is rewritten as
Now, we individually bound the terms in (22). During the analysis, C is a generic constant that only depends on the data. By using the Cauchy-Schwarz inequality and the Young’s inequality, the first term on the right-hand side of (22), can be bounded as
Next, we arrange the nonlinear terms in (22) by adding and subtracting the term \((u_r^{n+1/2} u_x^{n+1/2}, \phi _r^{n+1/2})_{L^2}\). Then, we rewrite the nonlinear terms as
Now, we individually bound nonlinear terms in (24). By using the Hölder’s inequality, the regularity condition of the continuous solution in (14a), and Young’s inequality, we can bound the first term in (24) as
For the second term in (24), we use the Hölder’s inequality and the regularity condition of the continuous solution in (14a) as
For the third term in (24), we use the Hölder’s inequality, the standard stability estimate of \(u_r^n\) in \(l^{\infty }(L^2)\) for CN scheme in (20), the Sobolev embedding, and the Young’s inequality as
Finally, for the last nonlinear term in (24), we use the Hölder’s inequality, the stability estimate of \(u_r^n\) in (20), the Agmon’s inequality (eq. after (45) in [26]):
and the Young’s inequality (\(p=4, q =4/3\)), then we get
To bound the consistency error (13), we use the Taylor’s theorem, the Young’s inequality, and the property \((a+b+c)^2 \le 3 (a^2+b^2+c^2)\) for \(I_{n,1}(u)\) in (15), then we have
Now, we choose coefficient \(C_1 = C_2 = \nu /4\), and insert all bounds (23)-(29) into (22), then
To derive a valid error bound from (30), there should be a relation between the time step \(\Delta t\) and the viscosity coefficient \(\nu \) that is explained in the following lemma.
Lemma 4.1
Let \(\Delta t < \frac{4 \, \mathcal {C} \, \nu ^3}{27}\), then it holds
where the constant \(\mathcal {C}\) above is independent of all discretization parameters but depends on the problem data.
Proof
First, bounding the term \(\Vert \phi _r^{n+1/2}\Vert ^2_{L^2}\) yields \(\frac{1}{2} \Big (\Vert \phi _r^{n+1}\Vert ^2_{L^2} + \Vert \phi _r^n\Vert ^2_{L^2} \Big )\) in (30). Then, if one computes the constant coefficients in (23)-(29), the generic constant C in (30) will be
Then the constant C does not depend on the ROM solution. Without loss of generality, in this paper, we assume that \(\frac{27 \, \mathbbm {C}^4}{8 \, \nu ^3}\) dominates the terms in (32). Finally, multiplying the resulting equation with \(2\Delta t\), one obtains (31) with the constraint \(\Delta t < \frac{4 \, \mathcal {C} \, \nu ^3}{27}\), where \(\mathcal {C} = \mathbbm {C}^{-4}\). \(\square \)
Remark 4.2
One can bound the term \(\Vert (\phi _r)^{n+1/2}_x \Vert ^2_{L^2}\) in (27)-(28) by using FE inverse estimates, as in Theorem 9.2 in [38].
Remark 4.3
For any \(\phi ^{n+1}_r \in X^h\), which is the FE space that contains \(X^r\), then the following FE inverse estimate holds:
However, by using the FE inverse estimate to bound the term \(\Vert (\phi _r)^{n+1/2}_x \Vert ^2_{L^2}\) in (27)-(28), the generic constant C in (31) depends on the space discretization, and we eventually loose h convergence order, assuming uniformly regular grid.
Furthermore, the bound in (31) obtained by using the Galerkin method leads to a restriction on the time step \(\Delta t\) (see Lemma 4.1). Using stabilized methods would allow relaxing this restriction. In this paper, our concern is analyzing the error estimates optimality with respect to the different POD setting strategies, so we will consider moderate values of \(\nu \).
Remark 4.4
In this paper, we construct the POD basis by using the snapshots, which are the FE solutions; thus, \(\eta ^n\) bounds in Lemma 2.1 and Theorem 2.2 should be expressed in terms of the FE solution data. We next bound the projection error \(\eta ^n\) in terms of the finite element solution.
We next bound the projection error \(\eta ^n\) in terms of the finite element solution.
Lemma 4.5
Let \(R_r u\) and \(R_r u_h\) be the Ritz projection, which is defined in (18), of the continuous solution u and FE solution \(u_h\), respectively, then the following estimates hold
where h and \(\Delta t\) are space and time discretization parameters, respectively, and l is the FE interpolation order.
Proof
We start proving with \(W=H_0^1\) in (34a). By using the definition of the Ritz projection (18), we have
Then, by adding and subtracting the FE solution \(u_h^n\) in (35) and summing the resulting inequality from \(n=0\) to N, we get
For \(W=L^2\) case, we still revisit the definition of the Ritz projection (18) and choose \(v_r=R_r u\), then we have
Then, by adding and subtracting the FE solution \(u_h^n\) in \(\Vert u^n-R_ru^n\Vert _{L^2}\), applying the Poincaré inequality, the relation in (37), and summing from \(n=0\) to N give
Finally, to bound the term \(\Vert \partial (u^n-R_ru^n)\Vert \), we follow similar steps as in (38) and get the following:
\(\square \)
Now, in the following two sections, by using Lemma 4.1, we continue to derive and discuss DQ ROM errors in different norms considering \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD bases that will lead to different consistency error estimates.
4.1 Behavior of Error Bounds
In Sects. 4.2 and 4.3, we discuss the behavior of the different DQ error bounds with respect to ROM discretization. Before proceeding with these results, which are derived in the next sections, we provide definitions to distinguish whether ROM discretization error is suboptimal or optimal and to classify the types of the optimality/suboptimality behavior of the ROM discretization errors.
The behavior of a pointwise error bound depends on both the space \(\mathcal {H}\) for the POD basis and the space W for the pointwise error norm. The expected pointwise error bounds have the structure:
where \(\Delta t\) and h are the time and spatial discretization parameters, and \(\Lambda _r\), \(\Lambda ^{0}_r\), \(\zeta (\Delta t)\), and \(\xi (h)\) represent the ROM discretization error, the ROM discretization error for the initial condition, time discretization error, and spatial discretization error, respectively.
Since we are interested in the behavior of a pointwise error bound only with respect to the ROM discretization, in the following sections, we provide the definition and types of optimality and the definition of suboptimality in ROM discretization error sense.
A ROM discretization error, i.e., \(\Lambda _r\) is called optimal if it is bounded by \(\Lambda _r^{*}\), \(\Lambda _r^{I}\) or \(\Lambda _r^{II}\) in (41a)-(41c) in Definition 4.6. Depending on how the ROM discretization error is bounded (see Definition 4.6), the type of the optimality differs such as truly optimal, optimal-I discussed in [20] or optimal-II discussed in [24].
Definition 4.6
Let \( X^r \subset \mathcal {H} \) be the span of the first r POD modes, and assume \( X^r \) is also contained in W. Let \( P_r: \mathcal {H} \rightarrow \mathcal {H} \) be the orthogonal POD projection onto \( X^r \), and let \( \Pi ^W_r: W \rightarrow W \) be the W-orthogonal projection onto \(X^r \). Also, let d be the number of positive POD eigenvalues. Then, the ROM discretization error, i.e., \(\Lambda _r\), is
where the constant C above should be independent of all discretization parameters but may depend on the solution data and the problem data.
Remark 4.7
If the given ROM discretization error does not meet any criteria in Definition 4.6 or the constant C depends on the ROM discretization parameter such as r, then it is called suboptimal.
In Sects. 4.2 and 4.3, we consider four possibilities: we used \(\mathcal {H}=L^2\) or \(\mathcal {H}=H_0^1\) for the POD basis, and we use \(W=L^2\) or \(W=H_0^1\) for the error norm and use Definition 4.6 and Lemma 4.8, i.e., POD inverse estimates, which was proved in Lemma 2 and Remark 2 in [26], to determine the pointwise error bounds behavior.
To state these inverse estimates, let \(M_r \in \mathbbm {R}^{r \times r}\) with \(M_{ij}=(\varphi _j, \varphi _i)_{L^2}\) be the POD mass matrix and \(S_r \in \mathbbm {R}^{r \times r}\) with \(S_{ij}=(\nabla \varphi _j, \nabla \varphi _i)_{L^2}\) be the POD stiffness matrix. Let \(\Vert \cdot \Vert _{2}\) denote the matrix 2-norm.
Lemma 4.8
For all \(v_r \in X^r\), the following POD inverse estimates hold:
where \(C^{L^2}_{inv}(r)=\sqrt{\Vert S_r\Vert _2}\) and \(C^{H_0^1}_{inv}(r)=\sqrt{\Vert M_r^{-1}\Vert _2}\).
4.2 The \(l^\infty (L^2)\) Error Estimates
In this section, we provide the \(l^\infty (L^2)\) error estimates for the DQ ROM (11), considering both \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD spaces. Furthermore, we discuss the behavior of the \(l^\infty (L^2)\) DQ-L2 and DQ-H01 error in Theorem 4.9 and Theorem 4.11, respectively.
Theorem 4.9
Assume that \(\Delta t \le \frac{2 \, \mathcal {C} \,\nu ^3}{27}\), then the \(l^\infty (L^2)\) DQ-L2 error is bounded by
where \(\phi _r^0\) is the discretization error (19b) at \(t=t_0\).
Proof
To apply the discrete Gronwall’s lemma to Lemma 4.1, we first consider the following notations:
By using notations in (44), we rewrite (31) as follows:
By using the discrete Gronwall’s lemma (see Lemma 10.4 in [38]) in (45), and if the small time step assumption, i.e., \(\Delta t \le 0.5 \, C^{-1} = \frac{2 \, \mathcal {C} \, \nu ^3}{27}\), is guaranteed, then the the following inequality holds:
Now, using triangle inequality, from (46) we get
Using \( (2N+1)\Delta t = 2T + \Delta t \le 3T \) relation and updating the generic constant C in (47) give
Now, use Lemma 4.5, (8b) in Lemma 2.1 with \(W=L^2\) and \(H_0^1\), and (9c) in Theorem 2.2 with \(W=L^2\). This ends the proof. \(\square \)
Now, we discuss the behavior of the \(l^{\infty }(L^2)\) DQ-L2 error (43). At a first glance, (43) does not meet any optimality type of criteria in Definition 4.6 since the DQ-L2 error is built with the norm error choice \(W=L^2\) and the right-hand side of (43) is not only purely bounded with \(W=L^2\) norm error. Applying (42a) in Lemma 4.8 to the second term, which is in \(\Vert (\varphi _i - R_r \varphi _i)_x \Vert ^2_{L^2}= \Vert \varphi _i - R_r \varphi _i \Vert ^2_{H_0^1}\) in (43) yields a coefficient \(C^{L^2}_{inv}:=\sqrt{\Vert S_r\Vert _2}\) which depends on the ROM dimension r. However, when we numerically investigate the behavior of \(\sqrt{\Vert S_r\Vert _2}\), we observe that it is almost constant (see the top-right plot in Fig. ). Thus, the \(l^\infty (L^2)\) DQ-L2 error bound does not meet the suboptimality criteria in Remark 4.7; on the contrary, it holds the optimality-II type, i.e., (41c).
Before presenting the \(l^{\infty }(L^2)\) DQ-H01 error, we provide some bounds related to the Ritz projection when considering the \(H_0^1(\Omega )\) POD space framework, which will be used in Theorem 4.11.
Lemma 4.10
(Bounds for Ritz Projection) The Ritz projection satisfies the following bounds if \(H_0^1(\Omega )\) POD basis is used, see Sect. 4.2 in [30]:
Proof
One can expand the term \(R_r \varphi _i \in X^r \) by considering the first r POD modes as
Let W denote either \(L^2\) or \(H_0^1\). Then, by using (50), we get the following:
where \(( \varphi _i, \varphi _k )_{H_0^1} = 0, \quad \forall i=r+1,..,d, \quad j,k=1,..,r\). If \(W = L^2\), then \(\Vert \varphi _i \Vert ^2_{W} = \Vert \varphi _i \Vert ^2_{L^2} \) will keep the same; otherwise, \(W = H_0^1\), then \(\Vert \varphi _i \Vert ^2_{H_0^1} = 1\). This ends the proof. \(\square \)
Theorem 4.11
Assume that \(\Delta t \le \frac{2 \, \mathcal {C} \,\nu ^3}{27}\), then the \(l^\infty (L^2)\) DQ-H01 error is bounded by
Proof
The derivation of the \(l^{\infty }(L^2)\) DQ-H01 error bound is exactly the same as the error bound for the \(l^{\infty }(L^2)\) DQ-L2 error bound (43). Now, we consider the \(H_0^1(\Omega )\) POD basis; thus, we need to bound the right-hand side of (43) by using the properties in (49) in Lemma 4.10. This ends the proof. \(\square \)
Now, we discuss the behavior of the \(l^{\infty }(L^2)\) DQ-H01 error bound (52). Based on optimality types in Definition 4.6, one can conclude that (52) is optimal-I if there is no additive factor 1, which equals to \(\Vert \varphi _i\Vert _{H_0^1}\) for \(H_0^1\) POD. Applying (42b) in Lemma 4.8 to \(\Vert \varphi _i\Vert _{H_0^1}\) in (52) yields
where \(C_r=\max \{1,C^{H_0^1}_{inv}\}\). We numerically investigate the behavior of \(C^{H_0^1}_{inv}=\sqrt{\Vert M_r^{-1}\Vert _2}\) and find that it is almost constant (see the top-right plot in Fig. ). Thus, the \(l^\infty (L^2)\) DQ-H01 error bound is optimal-I, i.e., (41b).
4.3 The Natural-Norm Error Estimates
In this section, we provide the natural-norm, i.e., (\(l^\infty (L^2) \cap l^2(H_0^1)\)) error estimates for the DQ ROM (11) considering both \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD spaces. Furthermore, we discuss the behavior of the natural-norm DQ-L2 and DQ-H01 error in Theorem 4.12 and Theorem 4.13, respectively.
Theorem 4.12
The natural-norm DQ-L2 error is bounded by
Proof
We start derivation with rearranging (30) as follows:
where \(C=\frac{27}{4 \, \mathcal {C} \, \nu ^3}\). The first two terms on the right-hand side of (55) are in ROM space; thus, they are bounded thanks to the standard stability estimate for the ROM solution. Then, summing from \(n=0\) to \(n=N-1\) and using triangle inequality give
Use \( (2N+1)\Delta t = 2T + \Delta t \le 3T \) relation and update the generic constant C in (56), then apply Lemma 4.5, (8b) in Lemma 2.1 with \(W=L^2\) and \(H_0^1\), and (9c) in Theorem 2.2 with \(W=L^2\). This ends the proof. \(\square \)
Now, we discuss the behavior of the natural-norm DQ-L2 error bound (54). If \(l^{\infty }(L^2)\) and \(l^{2}(H_0^1)\) parts of the natural-norm in (54) are controlled by \(\Vert \varphi _i - R_r \varphi _i \Vert ^2_{L^2}\) and \(\Vert (\varphi _i - R_r \varphi _i)_x \Vert ^2_{L^2}\), respectively, then based on Definition 4.6, one can conclude that the natural-norm DQ-L2 (54) is optimal-II.
Theorem 4.13
The natural-norm DQ-H01 error is bounded by
Proof
The derivation of the natural-norm DQ-H01 error bound is exactly the same as the error bound for the natural-norm DQ-L2 error bound (54). Now, we consider the \(H_0^1(\Omega )\) POD basis; thus, we need to bound the right-hand side of (54) by using the properties in (49) in Lemma 4.10. This ends the proof. \(\square \)
Now, we discuss the behavior of the natural-norm DQ-H01 error bound (57). If \(l^{\infty }(L^2)\) and \(l^{2}(H_0^1)\) parts of the natural-norm in (57) are controlled by \(\Vert \varphi _i \Vert ^2_{L^2}\) and \(1=\Vert (\varphi _i)_x\Vert ^2_{L^2}\), respectively, then based on Definition 4.6, one can conclude that the natural-norm DQ-H01 (57) is optimal-I.
Remark 4.14
We briefly provide the \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 and noDQ-H01 error estimates. To obtain the \(l^{\infty }(L^2)\) and natural-norm noDQ error bounds, one can proceed similarly to the above proof using the \( L^2 \) projection instead of the Ritz projection. The \(l^{\infty }(L^2)\) and natural-norm error bounds are the same. Specifically, the \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 error bound is provided in (58a), and the noDQ-H01 error bound is provided in (58b).
Now, we discuss the behavior of the noDQ-L2 (58a) and noDQ-H01 (58b) error bounds by applying the same process as we did in the DQ case.
For \(l^{\infty }(L^2)\) noDQ-L2 error bound, applying (42a) in Lemma 4.8 to the second term, which is in \(\Vert (\varphi _i)_x \Vert ^2_{L^2}\), in (58a) yields a coefficient \(C^{L^2}_{inv}:=\sqrt{\Vert S_r\Vert _2}\) which depends on the ROM dimension r. We numerically investigate the behavior of \(\sqrt{\Vert S_r\Vert _2}\), and observe that it increases as r increases (see the top-right plot in Fig. ). Since the \(l^\infty (L^2)\) noDQ-L2 error bound does meet the suboptimality criteria in Remark 4.7, \(l^\infty (L^2)\) noDQ-L2 error bound (58a) is suboptimal.
For natural-norm noDQ-L2 error bound, if \(l^{\infty }(L^2)\) and \(l^{2}(H_0^1)\) parts of the natural-norm in (58a) are controlled by \(\Vert \varphi _i \Vert ^2_{L^2}\) and \(\Vert (\varphi _i)_x \Vert ^2_{L^2}\), respectively, then based on Definition 4.6, one can conclude that the natural-norm noDQ-L2 (58a) is optimal-I.
For \(l^{\infty }(L^2)\) noDQ-H01 error bound, applying (42b) in Lemma 4.8 to \(\Vert \varphi _i\Vert _{H_0^1}\) in (58b) yields the coefficient \(C^{H_0^1}_{inv}=\sqrt{\Vert M_r^{-1}\Vert _2}\). We numerically investigate the behavior of \(C^{H_0^1}_{inv}\) and observe that it increases as r increases (see the top-right plot in Fig. ). Since, the \(l^\infty (L^2)\) noDQ-H01 error bound does meet the suboptimality criteria in Remark 4.7, \(l^\infty (L^2)\) noDQ-H01 error bound (58b) is suboptimal.
For natural-norm noDQ-H01 error bound, if \(l^{\infty }(L^2)\) and \(l^{2}(H_0^1)\) parts of the natural-norm in (58b) are controlled by \(\Vert \varphi _i \Vert ^2_{L^2}\) and \(1=\Vert (\varphi _i)_x \Vert ^2_{L^2}\), respectively, then based on Definition 4.6, one can conclude that the natural-norm noDQ-H01 (58a) is optimal-I.
The behavior of the error bounds, which are theoretically derived in Sects. 4.2 and 4.3, are summarized in Table . Considering \(L^2\) and \(H_0^1\) POD basis, error norms, and noDQ/DQ frameworks, we observe that for the DQ errors bounds with all cases and the natural norm noDQ-L2 and noDQ-H01 are optimal; whereas the \(l^{\infty }(L^2)\) noDQ-L2 and noDQ-H01 error bounds are suboptimal.
5 Numerical Results
In this section, we provide numerical results for the Burgers equation (1) with the following initial condition
This condition generates a smooth solution at any \(t>0\), with an infinite time gradient at \(t=0\). This allows us to test the role of the difference quotients. To obtain full order model (FOM) data (the FOM simulation is provided in Fig. ), we solve (1) by using the finite element method considering \(\nu =10^{-2}\), \(f = 0\), mesh size \(h=1/512\), piecewise linear finite elements for the spatial discretization, and Crank-Nicolson time discretization. A small time step \(\Delta t = 10^{-3}\) is taken to obtain the errors due to the POD discretization.
For all test cases, we compute two different absolute norm ROM errors:
being \(e=u_h-u_r\).
Remark 5.1
Since the ROM initial condition is chosen as \(u_r^0:=R_ru^0\), the discretization error (43) at \(t=t_0\), i.e., \(\phi _r^0=0\) in all the error bounds derivation in numerical results.
5.1 noDQ ROM Results
In this section, we numerically discuss the behavior of the \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 and noDQ-H01 error bounds. Based on the noDQ error estimates in (58a)-(58b) in Remark 4.14, we define the following RHS terms:
In the top left plot of Fig. 2, we plot the noDQ-RHS1 defined in (61a) and \(l^{\infty }(L^2)\), natural-norm noDQ-L2 errors in (58a). We observe that the \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 errors stay below the noDQ-RHS1. The top right plot shows how the scaling of \(\Vert S_r\Vert _2\), which is defined above Lemma 4.8, changes as r changes. For the bottom plots in Fig. 2, we plot the linear regression (LR) orders for \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 errors, from left to right, respectively. Since the LR orders in the bottom plots are close to 1, we numerically observe that \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 errors are optimal. However, theoretical discussions in Remark 4.14 show that the \(l^{\infty }(L^2)\) and natural-norm noDQ-L2 error bounds are suboptimal and optimal, respectively.
In the top left plot of Fig. 3, we plot the noDQ-RHS2 defined in (61b) and \(l^{\infty }(L^2)\), natural-norm noDQ-H01 errors in (58b). The top right plot shows how the scaling of \(\Vert M_r^{-1}\Vert _2\), which is defined above Lemma 4.8, changes as r changes. For the bottom plots in Fig. 3, we plot the linear regression (LR) orders for \(l^{\infty }(L^2)\) and natural-norm noDQ-H01 errors, from left to right, respectively. Since the LR orders in the bottom plots are close to 1, we conclude that \(l^{\infty }(L^2)\) and natural-norm noDQ-H01 errors are optimal. However, theoretical discussions in Remark 4.14 show that the \(l^{\infty }(L^2)\) and natural-norm noDQ-H01 error bounds are suboptimal and optimal, respectively.
In Fig. , we plot the noDQ-L2 and noDQ-H01 solutions with two different r values, i.e., \(r=5, 20\). For both r values, we observe that the noDQ-H01 yields slightly more accurate results than the noDQ-L2, especially for low r values such as \(r=5\).
5.2 DQ ROM Results
In this section, we numerically discuss the behavior of the \(l^{\infty }(L^2)\) and natural-norm DQ ROM errors considering \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD bases.
Based on the DQ-L2 error estimates in (43) and (54), we define the following RHS term:
to discuss the behavior of the DQ-L2 error estimates in (43) and (54). In the top left plot of Fig. 5, we plot the DQ-RHS1 defined in (62a) and \(l^{\infty }(L^2)\), natural-norm noDQ-L2 errors in (43) and (54). We observe that the \(l^{\infty }(L^2)\) and natural-norm DQ-L2 errors stay below the DQ-RHS1. The top right plot shows how the scaling of \(\Vert S_r\Vert _2\), which is defined above Lemma 4.8, changes as r changes. For the bottom plots in Fig. 5, we plot the linear regression (LR) orders for \(l^{\infty }(L^2)\) and natural-norm DQ-L2 errors, from left to right, respectively. The LR order for the \(l^{\infty }(L^2)\) DQ-L2 error bound is more than 1.5 (1 is considered optimal); thus, we conclude that the \(l^{\infty }(L^2)\) DQ-L2 is superoptimal; whereas we theoretically prove that it is optimal (see the discussion after Theorem 4.9). For the natural-norm DQ-L2 error bound, the LR order is around 1; thus, we conclude that the natural-norm DQ-L2 is optimal. The behavior of the natural-norm error bound theoretically and numerically match (see the discussion after Theorem 4.12 for the theoretical conclusion).
Based on the DQ-H01 error estimates in (52) and (57), we define the following RHS term:
to discuss the behavior of the DQ-H01 error estimates in (52) and (57). In the top left plot of Fig. 6, we plot the DQ-RHS2 defined in (63a) and \(l^{\infty }(L^2)\), natural-norm noDQ-H01 errors in (52) and (57). We observe that the \(l^{\infty }(L^2)\) and natural-norm DQ-H01 errors stay below the DQ-RHS2. Furthermore, a sudden decrease in the \(l^{\infty }(L^2)\), and natural-norm DQ-H01 errors arises when a large enough number of POD modes is attempted. We think this may be related to the sharp gradients of the solution that are well represented on the DQ ROM basis only when its dimension is large enough. The top right plot shows how the scaling of \(\Vert M_r^{-1}\Vert _2\), which is defined above Lemma 4.8, changes as r changes. For the bottom plots in Fig. 6, we plot the linear regression (LR) orders for \(l^{\infty }(L^2)\) and natural-norm DQ-H01 errors, from left to right, respectively. The LR order for the \(l^{\infty }(L^2)\) DQ-H01 error bound is more than 1.5 (1 is considered optimal); thus, we conclude that the \(l^{\infty }(L^2)\) DQ-H01 is superoptimal; whereas we theoretically prove that is is optimal (see the discussion after Theorem 4.11). For the natural-norm DQ-H01 error bound, the LR order is around 1; thus, we conclude that the natural-norm DQ-H01 is optimal. The behavior of the natural-norm error bound theoretically and numerically match (see the discussion after Theorem 4.13 for the theoretical conclusion).
In Fig. , we plot the DQ-L2 and DQ-H01 solutions with different r values, i.e., \(r=13,28\). For \(r=13\), the DQ-H01 solution is less accurate than the DQ-L2 one since the ROM dimension r does not exceed the threshold value, which is \(r=27\) as can be observed in Fig. 6. Furthermore, the plots show that when enough POD modes are guaranteed, the DQ-H01 solution rapidly yields an accurate solution.
The behavior of the error bounds, which are numerically derived in Sects. 5.1 and 5.2, are summarized in Table . Considering \(L^2\) and \(H_0^1\) basis, error norms, and noDQ/DQ frameworks, we observe that the noDQ errors bounds with all cases and the natural norm DQ-L2 and DQ-H01 are optimal; whereas the \(l^{\infty }(L^2)\) DQ-L2 and DQ-H01 error bounds are superoptimal.
5.3 noDQ and DQ ROM Comparison
In this section, we numerically compare how all noDQ and DQ ROM errors change based on (i) the ROM dimension, i.e., r, (ii) the residual eigenvalues, i.e., \(r_{\lambda }\), and (iii) the ratio of residual eigenvalues, i.e., \(R_{\lambda }\), which are defined as
where \(\lambda \) represents the noDQ/DQ eigenvalues, which solve (6), and d represents the number of positive eigenvalues.
In Fig. , we plot all \(l^{\infty }(L^2)\) ROM errors in the left plot and all natural-norm errors in the right plot and compare the behavior of these errors with respect to the ratio of energy kept by the ROM \(R_{\lambda }\) in (64b). Both plots in Fig. 8 show that the DQ-L2 recovers a much smaller error than the noDQ-L2 for the same ratio of energy considered. Furthermore, the DQ-H01 has a better slope than the noDQ-H01, even if the DQ-H01 decays later, after stagnation. The H01-norm stagnation is possibly due to the hard test problem we have taken with very sharp gradients.
In Fig. , we plot all \(l^{\infty }(L^2)\) ROM errors in the left plot and all natural-norm errors in the right plot and compare the behavior of these errors with respect to the energy kept by the ROM \(r_{\lambda }\) in (64a). For both plots in Fig. 9, the DQ ROM errors are over three orders of magnitude smaller than noDQ ROM errors over the same \(r_{\lambda }\) interval. Based on these results, we may interpret that for a given energy, the DQ ROMs hold much more information than the noDQ ROMs.
In Fig. , we plot all \(l^{\infty }(L^2)\) ROM errors in the left plot and all natural-norm errors in the right plot and compare the behavior of these errors with respect to the ROM dimension r. For almost all r values, in both plots in Fig. 10, noDQ errors are almost lower than the DQ errors. The natural-norm noDQ and DQ ROM error behaviors (right plot of Fig. 10) are more explicit and clearer than the \(l^{\infty }(L^2)\) noDQ and DQ ROM error behaviors (left plot of Fig. 10). Furthermore, in both plots in Fig. 10, we observe that the noDQ-L2, noDQ-H01, and DQ-L2 errors decrease progressively until \(r=47\) and \(r=55\), in the left and right plot, respectively, then they stagnate. However, the DQ-H01 error in both plots has a constant error behavior until \(r=27\), and when it guarantees enough POD modes, it shows a drastic decrease from \(r=27\) to \(r=28\) and after \(r=47\) in the left plot and \(r=55\) in the right plot, it stagnates again.
From Sects. 5.1 and 5.2, we numerically observe that \(l^{\infty }(L^2)\) noDQ-L2 and noDQ-H01 error bounds are optimal and DQ-L2 and DQ-H01 are superoptimal. If one shows that the slopes of the DQ-L2 and DQ-H01 errors are much sharper than the noDQ-L2 and noDQ-H01 errors, then superoptimal behavior makes sense. The slope comparison of the errors in Figs. 8 and 9 is clearer than Fig. 10.
In both Fig. 8 and 9, we observe that the decreasing rates of the DQ-L2 errors are better than the noDQ-L2 ones, being over three orders of magnitude smaller in a wide range of \(R_{\lambda }\) and \(r_{\lambda }\), respectively, until stagnation occurs, likely due to round-off errors. For the H01-norm comparison, the DQ-H01 has a better slope than the noDQ-H01, even if the DQ-H01 decays later, after stagnation. Therefore, the DQ keeps better-selected information for the same amount of energy due to the difference quotients. This supports the interest in using the DQs.
6 Conclusions
In this paper, we provided uniform ROM error bounds of nonlinear PDEs, considering the Burgers equation as the first preliminary step considering the DQs. Overall, we theoretically proved and numerically investigated the behavior of the DQ ROM error bounds by considering \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD spaces and \(l^{\infty }(L^2)\) and natural-norm errors. Furthermore, we provided the noDQ ROM errors without complete theoretical support to make a clear and complete conclusion.
The main results of this paper can be summarized as follows: (i) At the theoretical level, we derived four different DQ ROM error bounds by considering two error norms, i.e., \(l^\infty (L^2)\) and natural-norm, and two different POD space frameworks, i.e., \(L^2(\Omega )\) and \(H_0^1(\Omega )\) POD spaces. (ii) In Sect. 4.2, we theoretically proved that both \(l^\infty (L^2)\) DQ-L2 and DQ-H01 errors are optimal with respect to the ROM discretization. (iii) In Sect. 4.3, we obtained the same theoretical results obtained in Sect. 4.2 for the natural-norm DQ-L2 and DQ-H01 errors. (iv) In Sect. 5, we observed that the DQ ROM errors are several orders of magnitude lower than the noDQ errors in terms of the rate of energy kept by the ROM basis.
In Sect. 5.1, we numerically showed that all noDQ errors have optimal behaviors. The numerical convergence rates of the \(l^{\infty }(L^2)\) noDQ-L2 and noDQ-H01 errors are better than the theoretical ones since the \(l^{\infty }(L^2)\) noDQ-L2 (58a) and noDQ-H01 error (58b) are suboptimal theoretical supports.
In Sect. 5.2, we numerically showed that the \(l^{\infty }(L^2)\) DQ-L2 and DQ-H01 error bounds are superoptimal; whereas, the natural-norm DQ-L2 and DQ-H01 error bounds are optimal. In Sects. 4.2 and 4.3, we theoretically proved that all DQ ROM error bounds are optimal. Based on these results, we conclude that the numerical convergence rates for the \(l^{\infty }(L^2)\) DQ-L2 and DQ-H01 are better than the theoretical ones.
Furthermore, in Sect. 5.3, we provided Figs. 8-10 to discuss the superoptimality behavior of the \(l^{\infty }(L^2)\) DQ-L2 and DQ-H01 errors and the optimality behavior of the \(l^{\infty }(L^2)\) noDQ-L2 and noDQ-H01 errors by comparing their slopes. We believe that considering the time dependency by the DQ inner products increases the linear regression orders.
Finally, in Figs. 4 and 7, we compared the noDQ-L2 with noDQ-H01 and DQ-L2 with DQ-H01 solution plots to understand how the POD space framework affects the accuracy of the solution for both noDQ and DQ cases. In Fig. 4, we concluded that noDQ-L2 and noDQ-H01 yield similar results; however, for a low r value, the noDQ-H01 solution is slightly more accurate than the noDQ-L2. However, the comparison between the DQ-L2 and DQ-H01 is quite different than the noDQ one. In Fig. 7, we observed that the DQ-H01 yields an accurate solution after enough POD modes are guaranteed but reaching the accurate results is quicker than the DQ-L2.
Extending and improving the effectiveness of the DQs on the Navier-Stokes equations will be our future research direction.
Data Availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Afanasiev, K., Hinze, M.: Adaptive control of a wake flow using proper orthogonal decomposition. In: Lecture Notes in Pure and Applied Mathematics 216, 317–332 (2001)
Antil, H., Heinkenschloss, M., Sorensen, D. C.: Application of the discrete empirical interpolation method to reduced order modeling of nonlinear and parametric systems. In: Reduced Order Methods for Modeling and Computational Reduction, pp 101–136. Springer (2014)
Azaïez, M., Rebollo, T.C., Rubino, S.: A cure for instabilities due to advection-dominance in pod solution to advection-diffusion-reaction equations. J. Comput. Phys. 425, 109916 (2021)
Ballarin, F., Manzoni, A., Quarteroni, A., Rozza, G.: Supremizer stabilization of POD-Galerkin approximation of parametrized steady incompressible Navier–Stokes equations. Int. J. Numer. Meth. Eng. 102, 1136–1161 (2015)
Banks, H.T., del Rosario, R.C., Smith, R.C.: Reduced order model feedback control design: Computational studies for thin cylindrical shells. Technical report, North Carolina State University. Center for Research in Scientific Computation (1998)
Banks, H.T., Joyner, M.L., Wincheski, B., Winfree, W.P.: Nondestructive evaluation using a reduced-order computational methodology. Inverse Prob. 16(4), 929 (2000)
Bergmann, M., Bruneau, C.-H., Iollo, A.: Enablers for robust pod models. J. Comput. Phys. 228(2), 516–538 (2009)
Chacón Rebollo, T., Delgado Ávila, E., Gómez Mármol, M. M.: Reduced basis method for the Smagorinsky model. In: Recent Develop Numer. Methods Model Reduction (2016)
Chen, P., Quarteroni, A., Rozza, G.: Multilevel and weighted reduced basis method for stochastic optimal control problems constrained by stokes equations. Numer. Math. 133(1), 67–102 (2016)
Crommelin, D.T., Majda, A.J.: Strategies for model reduction: comparing different optimal bases. J. Atmos. Sci. 61, 2206–2217 (2004)
Drmac, Z., Gugercin, S.: A new selection operator for the discrete empirical interpolation method—improved a priori error bound and extensions. SIAM J. Sci. Comput. 38(2), A631–A648 (2016)
Fareed, H., Singler, J. R.: A note on incremental POD algorithms for continuous time data. arXiv preprint arXiv:1807.00045, (2018)
Fernandez-Gamiz, U., Gomez-Mármol, M., Chacón-Rebollo, T.: Computational modeling of gurney flaps and microtabs by pod method. Energies 11(8), 2091 (2018)
Fukunaga, K.: Introduction to Statistical Pattern Recognition. Elsevier Academic Press, San Diego, San Francisco, New York (1990)
Gunzburger, M., Jiang, N., Schneier, M.: An ensemble-proper orthogonal decomposition method for the nonstationary Navier–Stokes equations. SIAM J. Numer. Anal. 55(1), 286–304 (2017)
Hesthaven, J.S., Rozza, G., Stamm, B.: Certified Reduced Basis Methods for Parametrized Partial Differential Equations. Springer, Berlin (2015)
Holmes, P., Lumley, J.L., Berkooz, G.: Turbulence, Coherent Structures. Dynamical Systems and Symmetry, Cambridge (1996)
Holmes, P., Lumley, J.L., Berkooz, G., Rowley, C.W.: Turbulence, Coherent Structures, Dynamical Systems and Symmetry, 2nd edn. Cambridge University Press, Cambridge (2012)
Iliescu, T., Wang, Z.: Are the snapshot difference quotients needed in the proper orthogonal decomposition? SIAM J. Sci. Comput. 36(3), A1221–A1250 (2014)
Iliescu, T., Wang, Z.: Variational multiscale proper orthogonal decomposition: Navier–Stokes equations. Num. Meth. P.D.E. 30(2), 641–663 (2014)
Iollo, A., Lanteri, S., Désidéri, J.-A.: Stability properties of pod-galerkin approximations for the compressible Navier–Stokes equations. Theor. Comput. Fluid Dyn. 13(6), 377–396 (2000)
Kean, K., Schneier, M.: Error analysis of supremizer pressure recovery for pod based reduced-order models of the time-dependent navier-stokes equations. SIAM J. Numer. Anal. 58(4), 2235–2264 (2020)
Koc, B., Mohebujjaman, M., Mou, C., Iliescu, T.: Commutation error in reduced order modeling of fluid flows. Adv. Comput. Math. 45(5–6), 2587–2621 (2019)
Koc, B., Rubino, S., Schneier, M., Singler, J., Iliescu, T.: On optimal pointwise in time error bounds and difference quotients for the proper orthogonal decomposition. SIAM J. Numer. Anal. 59(4), 2163–2196 (2021)
Kunisch, K., Volkwein, S.: Control of the burgers equation by a reduced-order approach using proper orthogonal decomposition. J. Opt. Theory Appl. 102(2), 345–371 (1999)
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 dynamics. SIAM J. Numer. Anal. 40(2), 492–515 (2002)
Li, X., Luo, Y., Feng, M.: An efficient chorin-temam projection proper orthogonal decomposition based reduced-order model for nonstationary stokes equations. arXiv preprint arXiv:2201.07398, (2022)
Locke, S., Singler, J.: New proper orthogonal decomposition approximation theory for pde solution data. SIAM J. Numer. Anal. 58(6), 3251–3285 (2020)
Locke, S. K., Singler, J. R.: A new approach to proper orthogonal decomposition with difference quotients. arXiv preprint arXiv:2106.10224, (2021)
Ly, H.V., Tran, H.T.: Modeling and control of physical processes using proper orthogonal decomposition. Math. Comput. Modell. 33(1–3), 223–236 (2001)
Mou, C., Koc, B., San, O., Rebholz, L.G., Iliescu, T.: Data-driven variational multiscale reduced order models. Comput. Methods Appl. Mech. Eng. 373, 113470 (2021)
Noack, B.R., Morzynski, M., Tadmor, G.: Reduced-Order Modelling for Flow Control, vol. 528. Springer Verlag, Berlin (2011)
Perotto, S., Reali, A., Rusconi, P., Veneziani, A.: HIGAMod: a hierarchical isogeometric approach for MODel reduction in curved pipes. Comput. Fluids 142, 21–29 (2017)
Quarteroni, A., Manzoni, A., Negri, F.: Reduced Basis Methods for Partial Differential Equations: An Introduction, vol. 92. Springer, Berlin (2015)
Quarteroni, A., Rozza, G., et al.: Reduced order methods for modeling and computational reduction, vol. 9. Springer, Berlin (2014)
Rebollo, T.C., Aévila, E.D., Mármol, M.G., Ballarin, F., Rozza, G.: On a certified Smagorinsky reduced basis turbulence model. SIAM J. Numer. Anal. 55(6), 3047–3067 (2017)
Rebollo, T.C., Lewandowski, R.: Mathematical and numerical foundations of turbulence models and applications. Springer, Berlin (2014)
Rowley, C.W.: Model reduction for fluids, using balanced proper orthogonal decomposition. Int. J. Bifurc. Chaos 15(03), 997–1013 (2005)
Rozza, G., Veroy, K.: On the stability of the reduced basis method for Stokes equations in parametrized domains. Comput. Methods Appl. Mech. Eng. 196(7), 1244–1260 (2007)
Rubino, S.: A streamline derivative pod-rom for advection-diffusion-reaction equations. ESAIM Proc. Surveys 64, 121–136 (2018)
Sapsis, T.P., Lermusiaux, P.F.J.: Dynamically orthogonal field equations for continuous stochastic dynamical systems. Phys. D 238(23–24), 2347–2360 (2009)
Singler, J.R.: New POD error expressions, error bounds, and asymptotic results for reduced order models of parabolic PDEs. SIAM J. Numer. Anal. 52(2), 852–876 (2014)
Ştefănescu, R., Sandu, A., Navon, I.M.: POD/DEIM reduced-order strategies for efficient four dimensional variational data assimilation. J. Comput. Phys. 295, 569–595 (2015)
Taira, K., Hemati, M. S., Brunton, S. L., Sun, Y., Duraisamy, K., Bagheri, S., Dawson, S. T. M., Yeh, C.-A.: Modal analysis of fluid flows: applications and outlook. AIAA J, pp. 1–25 (2019)
Volkwein, S.: Proper orthogonal decomposition: Theory and reduced-order modelling. Lecture Notes, University of Konstanz (2013). http://www.math.uni-konstanz.de/numerik/personen/volkwein/teaching/POD-Book.pdf
Weller, J., Lombardi, E., Bergmann, M., Iollo, A.: Numerical methods for low-order modeling of fluid flows based on pod. Int. J. Numer. Methods Fluids 63(2), 249–268 (2010)
Acknowledgements
This work has been supported by Programma Operativo FEDER Andalucia 2014-2020 Grant US-1254587 and European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Actions, grant agreement 872442 (ARIA).
Funding
Funding for open access publishing: Universidad de Sevilla/CBUA This work has been supported by Programma Operativo FEDER Andalucia 2014-2020 Grant US-1254587 and European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Actions, Grant agreement 872442 (ARIA).
Author information
Authors and Affiliations
Contributions
We confirm that the manuscript has been read and approved by all named authors and that there are no other persons who satisfied the criteria for authorship but are not listed. We further confirm that all have approved the order of authors listed in the manuscript of us. We confirm that we have given due consideration to the protection of intellectual property associated with this work and that there are no impediments to publication, including the timing of publication, with respect to intellectual property. In so doing we confirm that we have followed the regulations of our institutions concerning intellectual property. We understand that the Corresponding Author is the sole contact for the Editorial process (including Editorial Manager and direct communications with the office). He/she is responsible for communicating with the other authors about progress, submissions of revisions, and final approval of proofs. We confirm that we have provided a current, correct email address accessible by the Corresponding Author. Signed by all authors as follows: BK, 12/21/2022, TCR, 12/21/2022, SR, 12/21/2022
Corresponding author
Ethics declarations
Conflict of interest
We wish to confirm that there are no known conflicts of interest associated with this publication and there has been no significant financial support for this work that could have influenced its outcome. Furthermore, the authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Koc, B., Chacón Rebollo, T. & Rubino, S. Uniform Bounds with Difference Quotients for Proper Orthogonal Decomposition Reduced Order Models of the Burgers Equation. J Sci Comput 95, 43 (2023). https://doi.org/10.1007/s10915-023-02160-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-023-02160-2