Abstract
We consider the Dynamical Low Rank (DLR) approximation of random parabolic equations and propose a class of fully discrete numerical schemes. Similarly to the continuous DLR approximation, our schemes are shown to satisfy a discrete variational formulation. By exploiting this property, we establish stability of our schemes: we show that our explicit and semi-implicit versions are conditionally stable under a “parabolic” type CFL condition which does not depend on the smallest singular value of the DLR solution; whereas our implicit scheme is unconditionally stable. Moreover, we show that, in certain cases, the semi-implicit scheme can be unconditionally stable if the randomness in the system is sufficiently small. Furthermore, we show that these schemes can be interpreted as projector-splitting integrators and are strongly related to the scheme proposed in [29, 30], to which our stability analysis applies as well. The analysis is supported by numerical results showing the sharpness of the obtained stability conditions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Many physical and engineering applications are modeled by time-dependent partial differential equations (PDEs) with input data often subject to uncertainty due to measurement errors or insufficient knowledge. These uncertainties can be often described by means of probability theory by introducing a set of random variables into the system. In the present work, we consider a random evolutionary PDE
with random initial condition, random forcing term and a random linear elliptic operator \({\mathcal {L}}\). Many of the numerical methods used to approximate such problems, require evaluating the, possibly expensive, model in many random parameters. In this regard, the use of reduced order models (e.g. Proper orthogonal decomposition [5, 6] or generalized Polynomial chaos expansion [10, 26, 33, 37, 39]) is of a high interest.
When the dependence of the solution on the random parameters significantly changes in time, the use of time-varying bases is very appealing. In the present work, we consider the dynamical low rank (DLR) approximation (see [4, 7, 16, 22, 23, 28, 32, 34]) which allows both the deterministic and stochastic basis functions to evolve in time while exploiting the structure of the differential equation. An extension to tensor differential equations was proposed in [25, 31]. The DLR approximation of the solution is of the form
where R is the rank of the approximation and is kept fixed in time, \({\bar{u}}(t) = {\mathbb {E}}[u(t)]\) is the mean value of the DLR solution, \(\{U_j(t)\}_{j=1}^R\) is a time dependent set of deterministic basis functions, \(\{Y_j(t) \}_{j=1}^R\) is a time dependent set of zero mean stochastic basis functions. By suitably projecting the residual of the differential equation one can derive evolution equations for the mean value \({\bar{u}}\) and the deterministic and stochastic modes \(\{U_j\}_{j=1}^R,\,\{Y_j\}_{j=1}^R\) (see [23, 34]), which in practice need to be solved numerically. An efficient and stable discretization scheme is therefore of a high interest.
In [23, 34], Runge-Kutta methods of different orders were applied directly to the system of evolution equations for the deterministic and stochastic basis functions. In the presence of small singular values in the solution, the system of evolution equations becomes stiff as an inversion of a singular or nearly-singular matrix is required to solve it. Applying standard explicit or implicit Runge-Kutta methods leads to instabilities (see [20]). In this respect, the projector-splitting integrators (proposed in [29, 30] and applied in e.g. [11, 12]) are very appealing. In [20], the authors showed that when applying the projector-splitting method for matrix differential equations one can bound the error independently of the size of the singular values, under the assumption that \(f - {\mathcal {L}}\) maps onto the tangent bundle of the manifold of all R-rank functions up to a small error of magnitude \(\varepsilon \). A limitation of their theoretical result, as the authors point out, is that it requires a Lipschitz condition on \(f - {\mathcal {L}}\) and is applicable to discretized PDEs only under a severe condition \(\triangle t L \ll 1\) where \(\triangle t\) is the step size and L is the Lipschitz constant, even for implicit schemes. Such condition is, however, not observed in numerical experiments. In [21], the authors proposed projected Runge-Kutta methods, where following a Runge-Kutta integration, the solution first leaves the manifold of R-rank functions by increasing its rank, and then is retracted back to the manifold. Analogous error bounds as in [20] are obtained, also for higher order schemes, under the same \(\varepsilon \)-approximability condition on \(f - {\mathcal {L}}\) and under a restrictive parabolic condition on the time step.
In this work we propose a class of numerical schemes to approximate the evolution equations for the mean, the deterministic basis and the stochastic basis, which can be of explicit, semi-implicit or implicit type. Although not evident at first sight, we show that the explicit version of our scheme can be reinterpreted as a projector-splitting scheme, whenever the discrete solution is full-rank, and is thus equivalent to the scheme from [29, 30]. However, our derivation allows for an easy construction of implicit or semi-implicit versions.
The main goal of this work is to prove the stability of the proposed numerical schemes for a parabolic problem (2). We first show that the continuous DLR solution satisfies analogous stability properties as the weak solution of the parabolic problem (1). We then analyze the stability of the fully discrete schemes. Quite surprisingly, the stability properties of both the discrete and the continuous DLR solutions do not depend on the size of their singular values, even without any \(\varepsilon \)-approximability condition on \(f - {\mathcal {L}}\). The implicit scheme is proven to be unconditionally stable. This improves the stability result which could be drawn from the error estimates derived in [20]. The explicit scheme remains stable under a standard parabolic stability condition between time and space discretization parameters for an explicit propagation of parabolic equations. The semi-implicit scheme is generally only conditionally stable under again a parabolic stability condition, and becomes unconditionally stable under some restrictions on the size of the randomness of the operator. As an application of the general theory developed in this paper, we consider the case of a heat equation with a random diffusion coefficient. We dedicate a section to particularize the numerical schemes and the corresponding stability results to this problem. The semi-implicit scheme turns out to be always unconditionally stable if the diffusion coefficient depends affinely on the random variables. The sharpness of the obtained stability conditions on the time step and spatial discretization is supported by the numerical results provided in the last section.
A big part of the paper is dedicated to proving a variational formulation of the discretized DLR problem, analogous to the variational formulation of the continuous DLR problem (see [32, Prop. 3.4]). Such formulation is a key for showing the stability properties and, as we believe, might be useful for some further analysis of the proposed discretization schemes. It as well applies to the projector-splitting integrator from [29, 30] provided the solution remains full rank at all time steps. However, in the rank-deficient case, our schemes may result in different solutions. We dedicate a subsection to show that a rank-deficient solution obtained by our scheme still satisfies a suitable discrete variational formulation and consequently has the same stability properties as the full-rank case.
The outline of the paper is the following: in Sect. 2 we introduce the problem and basic notation; in Sect. 3 we describe the DLR approximation and recall its geometrical interpretation with variational formulation. In Sect. 4 we describe the discretization of the DLR method and propose three types of time integration schemes. We then derive a variational formulation for the discrete DLR solution and show its reinterpretation as a projector-splitting scheme. Section 5 is dedicated to proving the stability properties of both continuous and discrete DLR solution. In Sect. 6, we analyze the case of a heat equation with random diffusion coefficient and random initial condition. Finally in Sect. 7 we present several numerical tests that support the derived theory. Section 8 draws some conclusions.
2 Problem statement
We start by introducing some notation. Let \((\Gamma , {\mathcal {F}}, \rho )\) be a probability space. Consider the Hilbert space \(L^2_{\rho }= L^2_{\rho }(\Gamma )\) of real valued random variables on \(\Gamma \) with bounded second moments, with associated scalar product \(\langle v,w\rangle _{L^2_{\rho }} = \int _{\Gamma }{vw} \;\mathrm {d}\rho \) and norm \(\Vert v\Vert _{L^2_{\rho }} = \sqrt{\langle v,v\rangle _{L^2_{\rho }}}\). Consider as well two separable Hilbert spaces H and V with scalar products \(\langle \cdot , \cdot \rangle _H\), \(\langle \cdot , \cdot \rangle _V\), respectively. Suppose that H and V form a Gelfand triple \((V,H,V')\), i.e. V is a dense subspace of H and the embedding \(V\hookrightarrow H\) is continuous with a continuity constant \(C_{\mathrm {P}}>0\). Let \(L^2_{\rho }(\Gamma ;V),\, L^2_{\rho }(\Gamma ;H)\) be the Bochner spaces of square integrable V (resp. H) valued functions on \(\Gamma \) with scalar products
respectively. Then, \((L^2_{\rho }(\Gamma ;V),\; L^2_{\rho }(\Gamma ;H),\;L^2_{\rho }(\Gamma ;V'))\) is a Gelfand triple as well (see e.g. [27, Th. 8.17]), and we have
We define the mean value of a random variable v as \({\mathbb {E}}[v] = \int _{\Gamma }{v} \;\mathrm {d}\rho \), where the integral here denotes the Bochner integral in a suitable sense, depending on the co-domain of the random variable considered. In what follows, we will use the notation \({\bar{v}} = {\mathbb {E}}[v]\) and \(v^* := v - {\bar{v}}\). Moreover, we let \((\cdot , \cdot )_{V'V,L^2_{\rho }}\) denote the dual pairing between \(L^2_{\rho }(\Gamma ;V')\) and \(L^2_{\rho }(\Gamma ;V)\):
With this notation at hand, we now consider a random operator \( L \) with values in the space of linear bounded operators from V to \(V'\) that is uniformly bounded and coercive, i.e. a Borel measurable function
such that there exist \(C_{{\mathcal {L}}}, C_{{\mathcal {B}}}> 0\) satisfying
Associated to the random operator \( L \), we introduce the operator \({\mathcal {L}}\), defined as
Notice that for any strongly measurable \(u:\Gamma \rightarrow V\) the map \(\omega \in \Gamma \mapsto L(\omega )u(\omega )\in V'\) is strongly measurable, \(V'\) being separable, see Proposition A in the appendix. From the uniform boundedness of \( L \) it follows immediately that, if u is square integrable, then \({\mathcal {L}}(u)\) is square integrable as well and \(\Vert {\mathcal {L}}(u)\Vert _{L^2_{\rho }(\Gamma ; V')}\le C_{{\mathcal {B}}}\Vert u\Vert _{L^2_{\rho }(\Gamma ; V)}\), \(\forall u\in L^2_{\rho }(\Gamma ;V)\). The operator \({\mathcal {L}}\) induces a bilinear form on \(L^2_{\rho }(\Gamma ;V)\) defined as
which is coercive and bounded with coercivity and continuity constant \(C_{{\mathcal {L}}}\) and \(C_{{\mathcal {B}}}\), respectively, i.e.
Then, given a final time \(T>0\), a random forcing term \(f\in L^2(0,T; L^2_{\rho }(\Gamma ;H))\) and a random initial condition \(u_0\in L^2_{\rho }(\Gamma ;V)\), we consider now the following parabolic problem: Find a solution \(u_{\mathrm {true}}\in L^2(0,T; L^2_{\rho }(\Gamma ;V))\) with \({\dot{u}}_{\mathrm {true}}\in L^2(0,T; L^2_{\rho }(\Gamma ;V'))\) satisfying
The general theory of parabolic equations (see e.g. [38]) can be applied to problem (6), at least in the case of \(L^2_{\rho }(\Gamma ;V), L^2_{\rho }(\Gamma ;H), L^2_{\rho }(\Gamma ;V')\) being separable, e.g. when \(\Gamma \) is a Polish space and \({\mathcal {F}}\) is the corresponding Borel \(\sigma \)-algebra. We conclude then that problem (6) has a unique solution \(u_{\mathrm {true}}\) which depends continuously on f and \(u_0\). We note that the theory of parabolic equations would allow for less regular data \(f\in L^2(0,T; L^2_{\rho }(\Gamma ;V'))\) and \(u_0\in L^2_{\rho }(\Gamma ;H)\). However, in this work we restrict our attention to the case \(f\in L^2(0,T; L^2_{\rho }(\Gamma ;H))\), \(u_0\in L^2_{\rho }(\Gamma ;V)\).
3 Dynamical low rank approximation and its variational formulation
Dynamical low rank (DLR) approximation, or dynamically orthogonal (DO) approximation (see e.g. [23, 24, 34]) seeks an approximation of the solution \(u_{\mathrm {true}}\) of problem (6) in the form
where \({\bar{u}}(t)\in V\), \(\{U_j(t)\}_{j=1}^R \subset V\) is a time dependent set of linearly independent deterministic basis functions, \(\{Y_j(t)\}_{j=1}^R\subset L^2_{\rho }\) is a time dependent set of linearly independent stochastic basis functions. In what follows, we focus on the so called Dual DO formulation (see e.g. [32]), in which the stochastic basis \(\{Y_j(t)\}_{j=1R}^R\subset L^2_{\rho }\) is kept orthonormal in \(\langle \cdot ,\cdot \rangle _{L^2_{\rho }}\) at all times whereas \(\{U_j(t)\}_{j=1}^R\) are only required to be linearly independent at all times. We call R the rank of a function u of the form (7). To ensure the uniqueness of the expansion (7) for a given initialization \(u(0) = {\bar{u}}(0) + \sum _{j=1}^R U_j(0)Y_j(0)\), we consider the following conditions:
and the gauge condition (also called DO condition)
(see [19]).
Plugging the DLR expansion (7) into the equation (6) and following analogous steps as proposed in [34] leads to the DLR system of equations presented next.
Definition 1
(DLR solution) We define the DLR solution of problem (6) as
where \({\bar{u}},\,\{U_i\}_{i=1}^R,\, \{Y_i\}_{i=1}^R\) are solutions of the following system of equations:
with the initial conditions \({\bar{u}}(0),\, \{Y_j(0)\}_{j=1}^R,\,\{U_j(0)\}_{j=1}^R\) such that \({\bar{u}}(0)\in V\), \(\{Y_j(0)\}_{j=1}^R\) satisfies the conditions (8), \(\{U_j(0)\}_{j=1}^R\) are linearly independent in V, and \({\bar{u}}(0)\, +\, \sum _{j=1}^R Y_j(0)U_j(0)\) is a good approximation of \(u_0\). In (12), the matrix \(M\in {\mathbb {R}}^{R\times R}\) is defined as \(M_{ij} := \langle U_i, U_j\rangle _H\), \(1\le i,j\le R\) and \({\mathcal {P}}_{{\mathcal {Y}}}^{\perp }\) denotes the orthogonal projection operator in the space \(L^2_{\rho }(\Gamma )\) on the orthogonal complement of the R-dimensional subspace \({\mathcal {Y}} = \mathrm {span}\{Y_1,\dots ,Y_R\}\), i.e.
For the initial condition one can use for instance a truncated Karhunen-Loève expansion \(u(0) = {\bar{u}}(0) + \sum _{i=1}^R U_i(0) Y_i(0)\) where \( {\bar{u}}(0) = {\mathbb {E}}[u_0]\), \(\{U_i(0)\}_{i=1}^R\) are the first R (rescaled) eigenfunctions of the covariance operator \({\mathcal {C}}_{u_0}: H\rightarrow H\) defined as
and \(Y_i = \langle u_0 - {\bar{u}}(0), U_i\rangle _H\) (the eigenfunctions are suitably rescaled so that \({\mathbb {E}}[Y_i^2] = 1\)). We note that for \(u_0\in L^2_{\rho }(\Gamma ;V)\), the eigenfunctions \(\{U_i(0)\}_{i=1}^R\) are in V.
In what follows we will use the notation \(U = (U_1,\dots ,U_R)\) and \(Y = (Y_1,\ldots ,Y_R)\). Then, the approximation (7) reads \(u = {\bar{u}} + U Y^{\intercal }\).
The rest of the section gives a geometrical interpretation of the DLR method and derives a variational formulation, following to a large extent derivations from [32]. Such geometrical interpretation and consequent variational formulation will be key to derive the stability results of the numerical schemes, discussed in Sect. 5.2. We first introduce the notion of a manifold of R-rank functions, characterize its tangent space in a point as well as the orthogonal projection onto the tangent space.
The vector space consisting of all square integrable random variables with zero mean value will be denoted by \(L^2_{\rho ,0}= L^2_{\rho ,0}(\Gamma )\subset L^2_{\rho }(\Gamma )\).
Definition 2
(Manifold of R -rank functions) By \({\mathcal {M}}_R\subset L^2_{\rho ,0}(\Gamma ;V)\) we denote the manifold consisting of all rank R random functions with zero mean
It is well known that \({\mathcal {M}}_R\) admits an infinite dimensional Riemannian manifold structure ( [15]).
Proposition 1
(Tangent space at \(UY^\intercal \)) The tangent space \({\mathcal {T}}_{UY^\intercal }{\mathcal {M}}_R\) at a point \(U Y^\intercal \in {\mathcal {M}}_R\) can be characterized as
Proposition 2
(Orthogonal projection on \({\mathcal {T}}_{UY^\intercal }{\mathcal {M}}_R\)) The \(L^2_{\rho ,0}(\Gamma ;H)\)-orthogonal projection \(\Pi _{UY^{\intercal }}[v]\) of a function \(v\in L^2_{\rho }(\Gamma , H)\) onto the tangent space \({\mathcal {T}}_{UY^\intercal }{\mathcal {M}}_R\) is given by
where \({\mathcal {U}} = \mathrm {span}\{U_1,\dots ,U_R\}\) and \({\mathcal {P}}_{{\mathcal {U}}}[\cdot ]\) is the H-orthogonal projection onto the subspace \({\mathcal {U}}\).
For more details, see e.g. [32]. Note that \(\Pi _{UY^{\intercal }}[\cdot ]\) can be equivalently written as \(\Pi _{UY^{\intercal }}[\cdot ] = {\mathcal {P}}_{{\mathcal {U}}}[\cdot ] + {\mathcal {P}}_{{\mathcal {U}}}^{\perp }\big [{\mathcal {P}}_{{\mathcal {Y}}}[\cdot ]\big ]\). In the following we will extend the domain of the projection operator \(\Pi _{UY^\intercal }\). Further, we will state two lemmas used to establish Theorem 1, which presents the variational formulation of the DLR approximation.
The operator \(\Pi _{UY^\intercal }\) can be extended to an operator from \(L^2_{\rho }(\Gamma ;V')\) to \(L^2_{\rho }(\Gamma ;V')\) as
The extended operator satisfies the following.
Lemma 1
Let \(UY^\intercal \in {\mathcal {M}}_R\). Then it holds
Proof
First, we show that
Indeed,
where in the forth step we applied Theorem 8.13 from [27].
Now we proceed with proving (17)
\(\square \)
We are now in the position to state the first variational formulation of the DLR equations.
Lemma 2
Let U, Y be the solution of the system (11)–(12). Then the zero-mean part of the DLR solution \(u^* = UY^\intercal \) satisfies
Proof
First, we multiply Eq. (11) by \(Y_j\) and take its weak formulation in \(L^2_{\rho }\). Summing over j results in
Notice that \({\mathbb {E}}\big [\big ({\mathcal {L}}^*(u) - f^*\big )Y\big ] ={\mathbb {E}}\big [\big ({\mathcal {L}}(u) - f\big )Y\big ]\) since \(Y\subset L^2_{\rho ,0}.\) Analogously, we multiply (12) by \(U_j\) and take its weak formulation in \(V'\)
Summing over j, this leads to
Summing the derived equations we obtain
In particular, this holds for any z being a Bochner integrable simple function, the collection of which is dense in \(L^2_{\rho }(\Gamma ;V)\) (see [27, Th. 8.15]). \(\square \)
We can finally state the variational formulation corresponding to the DLR Eqs. (10)–(12).
Theorem 1
(DLR variational formulation) Let \({\bar{u}}, U, Y\) be the solution of the system (10)–(12). Then the DLR solution \(u = {\bar{u}} + UY^\intercal \) satisfies
Proof
Based on Lemmas 2 and 1 we can write
Since \(\Pi _{u^*}[v] = v,\;\forall v\in {\mathcal {T}}_{u^*}{\mathcal {M}}_R\), this results in
which can be equivalently written as
exploiting the fact that \(\big ( {\dot{u}}^* + {\mathcal {L}}^*(u) - f^*,\, w \big )_{V'V,L^2_{\rho }} = 0,\;\forall w\in V\). Likewise, Eq. (10) can be equivalently written as
exploiting the fact that \(\big ( \dot{{\bar{u}}} + {\mathbb {E}}[{\mathcal {L}}(u) - f],\, v\big )_{V'V,L^2_{\rho }} = 0\) as \({\mathbb {E}}[v] = 0 \; \forall v \in {\mathcal {T}}_{u^*}{\mathcal {M}}_R\). Summing (20) and (21) leads to the sought Eq. (19). \(\square \)
Recently, the existence and uniqueness of the dynamical low rank approximation for a class of random semi-linear evolutionary equations was established in [19] and for linear parabolic equations in two space dimensions with a symmetric operator \({\mathcal {L}}\) in [3].
4 Discretization of DLR equations
In this section we describe the discretization of the DLR equations that we consider in this work. In particular, we focus on the time discretization of (10)–(12) and propose a staggered time marching scheme that decouples the update of the spatial and stochastic modes. Afterwards, we will show that the proposed scheme can be formulated as a projector-splitting scheme for the Dual DO formulation and comment on its connection to the projector-splitting scheme from [29]. As a last result we state and prove a variational formulation of the discretized problem.
Stochastic discretization
We consider a discrete measure given by \(\{\omega _k,\lambda _k\}_{k=1}^{{\hat{N}}}\), i.e. a set of sample points \(\{\omega _k\}_{k=1}^{{\hat{N}}}\subset \Gamma \) with \(R< {\hat{N}} < \infty \) and a set of positive weights \(\{\lambda _k\}_{k=1}^{{\hat{N}}},\; \lambda _k>0,\) \(\sum _{k=1}^{{\hat{N}}} \lambda _k=1\), which approximates the probability measure \(\rho \)
The discrete probability space \(({\hat{\Gamma }} = \{\omega _k\}_{k=1}^{{\hat{N}}}, 2^{{\hat{\Gamma }}}, {\hat{\rho }})\) will replace the original one \((\Gamma ,{\mathcal {F}}, \rho )\) in the discretization of the DLR equations. Notice, in particular, that a random variable \(Z:{\hat{\Gamma }}\mapsto {\mathbb {R}}\) measurable on \(({\hat{\Gamma }}, 2^{{\hat{\Gamma }}}, {\hat{\rho }})\) can be represented as a vector \(z\in {\mathbb {R}}^{{\hat{N}}}\) with \(z_k = Z(\omega _k), \, k=1,\dots ,{\hat{N}}\). The sample points \(\{\omega _k\}_{k=1}^{{\hat{N}}}\) can be taken as iid samples from \(\rho \) (e.g. Monte Carlo samples) or chosen deterministically (e.g. deterministic quadrature points with positive quadrature weights). The mean value of a random variable Z with respect to the measure \({\hat{\rho }}\) is computed as
We introduce also the semi-discrete scalar products \(\langle \cdot ,\cdot \rangle _{\star ,L^2_{{\hat{\rho }}}}\) with \(\star = V,H\) and their corresponding induced norms \(\Vert \cdot \Vert _{\star ,L^2_{{\hat{\rho }}}}\). Note that the semi-discrete bilinear form \(\langle \cdot , \cdot \rangle _{{\mathcal {L}},{\hat{\rho }}}\) defined as
is coercive and bounded, with the same coercivity and continuity constants \(C_{{\mathcal {L}}},\,C_{{\mathcal {B}}}\), defined in (4), (5), respectively.
Space discretization
We consider a general finite-dimensional subspace \(V_h\subset V\) whose dimension is larger than R and is determined by the discretization parameter h. Eventually, we will perform a Galerkin projection of the DLR equations onto the subspace \(V_h\). We further assume that an inverse inequality of the type
holds for some \(p\in {\mathbb {N}}\) and \(C_{\mathrm {I}}> 0\).
Time discretization For the time discretization we divide the time interval into N equally spaced subintervals \(0=t_0<t_1<\cdots <t_N = T\) and denote the time step by \(\triangle t := t_{n+1} - t_n\). Note that the DLR solution \(u = {\bar{u}} + UY^\intercal \) appears in the right hand side of the system of Eqs. (10)–(12) both in the operator \({\mathcal {L}}\) and in the projector operator onto the tangent space to the manifold. We will treat these two terms differently. Concerning the projection operator, we adopt a staggered strategy, where, given the approximate solution \(u^n = {\bar{u}}^n + U^n Y^{n^\intercal }\), we first update the mean \({\bar{u}}^{n+1}\), then we update the deterministic basis \(U^{n+1}\) projecting on the subspace \(\mathrm {span}\{Y^n\};\) finally, we update the stochastic basis \(Y^{n+1}\) projecting on the orthogonal complement of \(\mathrm {span}\{Y^n\}\) and on the updated subspace \(\mathrm {span}\{U^{n+1}\}\). This staggered strategy resembles the projection splitting operator proposed in [29]. We will show later in Sect. 4.4 that it does actually coincide with the algorithm in [29]. Concerning the operator \({\mathcal {L}}\), we will discuss hereafter different discretization choices leading to explicit, semi-implicit or fully implicit algorithms.
4.1 Fully discrete problem
We give in the next algorithm the general form of the discretization schemes that we consider in this work.
The newly computed solution \(u^{n+1}_{h,{\hat{\rho }}}\) belongs to the tensor product space \(V_h\otimes L^2_{{\hat{\rho }}}\), since we have \({\bar{u}}^{n+1}, U^{n+1}_j\in V_h\) and \( Y_j\in L^2_{{\hat{\rho }}}\), \(1\le {j} \le R\). Note that Eq. (25) is set in \(L^2_{{\hat{\rho }}}\). Since \(L^2_{{\hat{\rho }}}\) is a finite dimensional vector space isomorphic to \({\mathbb {R}}^{{\hat{N}}}\), Eq. (25) can be rewritten as a deterministic linear system of \(R\times {\hat{N}}\) equations with \(R\times {\hat{N}}\) unknowns. This system can be decoupled into a linear system of size \(R\times R\) for each collocation point. If the deterministic modes \({\tilde{U}}^{n+1}\) are linearly independent, the system matrix is invertible. Otherwise we interpret (25) in a minimal-norm least squares sense, choosing a solution \({\tilde{Y}}^{n+1}\), if it exists, that minimizes the norm \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\). This is discussed in more details in Sect. 4.3.
The following lemma shows that the scheme (23)–(25) satisfies some important properties that will be essential in the stability analysis presented in Sect. 5.
Lemma 3
(Discretization properties) Assuming that a solution \(({\tilde{Y}}^{n+1}, {\tilde{U}}^{n+1},{\bar{u}}^{n+1})\) exists, the following properties hold for the discretization (23)–(25):
-
1.
Discrete DO condition:
$$\begin{aligned} \left\langle \frac{{\tilde{Y}}_i^{n+1} - Y_i^n}{\triangle t}, Y_j^n\right\rangle _{L^2_{{\hat{\rho }}}} = 0,\quad \forall 1\le {i,j} \le R \end{aligned}$$(28) -
2.
\({\mathbb {E}}_{{\hat{\rho }}}[{\tilde{Y}}^{n+1}] = 0\)
-
3.
\(\langle {\tilde{Y}}^{{n+1}^\intercal }, Y^n\rangle _{L^2_{{\hat{\rho }}}} = \mathrm {Id}\)
Proof
-
1.
In the following proof we assume that the matrix \({\tilde{M}}^{n+1} = \langle {\tilde{U}}^{{n+1}^\intercal }, {\tilde{U}}^{n+1}\rangle _H\) is full rank. For the rank-deficient case, we refer the reader to the proof of Lemma 8. Let us multiply Eq. (25) by \(Y^{n^\intercal }\) from the left and take the \(L^2_{{\hat{\rho }}}\)-scalar product. Since the second term involves \({\mathcal {P}}_{{\hat{\rho }},{\mathcal {Y}}^n}^\perp \), the scalar product of \(Y^n\) with the second term vanishes which, under the assumption that \({\tilde{M}}^{n+1}\) is full rank, gives us the discrete DO condition
$$\begin{aligned} \Big \langle Y^{n^\intercal }, \frac{{\tilde{Y}}^{n+1} - Y^n}{\triangle t}\Big \rangle _{L^2_{{\hat{\rho }}}} = 0. \end{aligned}$$ -
2.
This is a consequence of the fact that we have \({\mathbb {E}}_{{\hat{\rho }}}[Y^n] = 0\) and \({\mathbb {E}}_{{\hat{\rho }}}\big [ \big ( {\mathcal {L}}^*(u^n, u^{n+1})-f^{{n,n+1}^*},{\tilde{U}}^{n+1} \big )_{V'V}\big ] = 0.\)
-
3.
This is immediate from the discrete DO property and \(\langle Y^{n^\intercal }, Y^n\rangle _{L^2_{{\hat{\rho }}}} = \text {Id}\).
\(\square \)
To complete the discretization scheme (23)–(25) we need to specify the terms \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}})\) and \(f^{n,n+1}\). The DLR system stated in (10)–(12) is coupled. Therefore, an important feature we would like to attain is to decouple the equations for the mean value, the deterministic and the stochastic modes as much as possible. We describe hereafter 3 strategies for the discretization of the operator evaluation term \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}})\), and the right hand side \(f^{n, n+1}\).
Explicit Euler scheme The explicit Euler scheme performs the discretization
It decouples the system (23)–(25) since, for the computation of the new modes, we require only the knowledge of the already-computed modes. The equations for the stochastic modes \(\{{\tilde{Y}}^{n+1}_j\}_{j=1}^R\) are coupled together through the matrix \({\tilde{M}}^{n+1} = \langle {\tilde{U}}^{{n+1}^\intercal }, {\tilde{U}}^{n+1}\rangle _{H} \in {\mathbb {R}}^{R\times R}\) but are otherwise decoupled between collocation points (i.e. \({\hat{N}}\) linear systems of size R have to be solved).
Implicit Euler scheme The implicit Euler scheme performs the discretization
This method couples the system (23)–(25) in a non-trivial way, which is why we do not focus on this method in our numerical results. We mention it in the stability estimates section (Sect. 5.2) for its interesting stability properties.
Semi-implicit scheme Assume that our operator \({\mathcal {L}}\) can be decomposed into two parts
where \({\mathcal {L}}_{\mathrm {det}}: V\rightarrow V'\) is a linear deterministic operator such that it induces a bounded and coercive bilinear form \(\langle \cdot ,\cdot \rangle _{{\mathcal {L}}_{\mathrm {det}}}\) on V
and that its action on a function \(v = v_1 v_2\) with \(v_1\in V,\, v_2\in L^2_{\rho }\) is defined as
Then, \({\mathcal {L}}_{\mathrm {det}}\) is also a linear operator \({\mathcal {L}}_{\mathrm {det}}:L^2_{\rho }(\Gamma ;V)\rightarrow L^2_{\rho }(\Gamma ;V')\) (as well as \({\mathcal {L}}_{\mathrm {det}}:\, L^2_{{\hat{\rho }}}({\hat{\Gamma }};V)\mapsto L^2_{{\hat{\rho }}}({\hat{\Gamma }}; V')\)) and induces a bounded coercive bilinear form on \(L^2_{\rho }(\Gamma ;V)\)
We propose a semi-implicit time integration of the operator evaluation term
whereas for \(f^{n,n+1}\) we can either take \(f^{n,n+1} = f(t_{n+1})\) or \(f^{n,n+1} = f(t_n)\) or any convex combination of both. The resulting scheme is detailed in the next lemma.
Lemma 4
The semi-implicit integration scheme (30) combined with the general steps (23)–(25) is equivalent to the following set of equations
Proof
The equation for the mean (23) using the semi-implicit scheme (30) can be written as
Noticing that
gives us Eq. (31). Concerning the equation for the deterministic modes we derive
The term \(T_3\) vanishes since \({\mathbb {E}}_{{\hat{\rho }}}[Y^n] = 0\) and the term \(T_4\) can be further expressed as
where we used the discrete DO condition (28). Finally, the stochastic Eq. (25) can be written as
The term \(T_5\) vanishes since \({\mathcal {L}}_{\mathrm {det}}^*({\bar{u}}^{n+1}) = 0\). As for \(T_6\), we derive
which leads us to the sought Eq. (33). \(\square \)
We see from (31)–(33) that, similarly to the explicit Euler scheme, the equations for the mean, deterministic modes and stochastic modes are decoupled. If the spatial discretization of the PDEs (31) and (32) is performed by the Galerkin approximation, the final linear system involves the inversion of the matrix
where \(\{\varphi _i\}\) is the basis of \(V_h\) in which the solution is represented. Both the mass matrix \(\langle \varphi _j, \varphi _i\rangle _H\) and the stiffness matrix \(\langle \varphi _j, \varphi _i\rangle _{{\mathcal {L}}_{\mathrm {det}}}\) are positive definite and do not evolve with time, so that an LU factorization can be computed once and for all at the beginning of the simulation. Concerning the stochastic Eq. (33), we need to solve a linear system with the matrix \({\tilde{M}}^{n+1} + \triangle t\langle {\tilde{U}}^{{n+1}^\intercal }, {\tilde{U}}^{n+1}\rangle _{{\mathcal {L}}_{\mathrm {det}}}\) for each collocation point \(\omega _k\), unlike the explicit Euler method, where the system involves only the matrix \({\tilde{M}}^{n+1}\). The matrix \({\tilde{M}}^{n+1} + \triangle t\langle {\tilde{U}}^{{n+1}^\intercal }, {\tilde{U}}^{n+1}\rangle _{{\mathcal {L}}_{\mathrm {det}}}\) is symmetric and positive definite with the smallest singular value bigger than that of \({\tilde{M}}^{n+1}\). Notice, however, that if \({\tilde{M}}^{n+1}\) is rank deficient, also the matrix \({\tilde{M}}^{n+1} + \triangle t\langle {\tilde{U}}^{{n+1}^\intercal }, {\tilde{U}}^{n+1}\rangle _{{\mathcal {L}}_{\mathrm {det}}}\) will be so.
Note that there exists a unique discrete DLR solution for the explicit and semi-implicit version of Algorithm 1 also in the rank-deficient case (see Lemma 9 below). The existence of solutions for the implicit version remains still an open question.
4.2 Discrete variational formulation for the full-rank case
This subsection will closely follow the geometrical interpretation introduced in Sect. 3. We will introduce analogous geometrical concepts for the discrete setting, i.e. manifold of R-rank functions, tangent space and orthogonal projection, and will show in Theorem 2 that the scheme from Algorithm 1 can be written in a (discrete) variational formulation, assuming that the matrix \({\tilde{M}}^{n+1}\) stays full-rank.
Definition 3
(Discrete manifold of R -rank functions) By \({\mathcal {M}}^{h,{\hat{\rho }}}_R\subset V_h\otimes L^2_{{\hat{\rho }},0}\) we denote the manifold of all rank R functions with zero mean that belong to the (possibly finite dimensional) space \(V_h\otimes L^2_{{\hat{\rho }}}\), namely
Proposition 3
(Discrete tangent space at \(UY^\intercal \)) The tangent space \({\mathcal {T}}_{UY^\intercal }{\mathcal {M}}^{h,{\hat{\rho }}}_R\) at a point \(U Y^\intercal \in {\mathcal {M}}^{h,{\hat{\rho }}}_R\) is formed as
The projection \(\Pi ^{h,{\hat{\rho }}}_{UY^\intercal }\) is defined in the discrete space \(V_h\otimes L^2_{{\hat{\rho }}}\) analogously to its continuous version (16). It holds
A discrete analogue of Lemma 1 holds, i.e.
The solution of the proposed numerical scheme (23)–(26) satisfies a discrete variational formulation analogous to the variational formulation (19). To show this, we first present a technical lemma which will be important in deriving the variational formulation as well as in the stability analysis presented in Sect. 5.
Lemma 5
Let \(u^{n}_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}\) be the discrete DLR solution at \(t_n, t_{n+1}\), respectively, from the scheme in Algorithm 1. Then the zero-mean parts \(u^{n,*}_{h,{\hat{\rho }}}, u^{n+1,*}_{h,{\hat{\rho }}}\) satisfy
-
1.
\(u^{{n}^*}_{h,{\hat{\rho }}}\in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}},\)
-
2.
\(u^{n+1,*}_{h,{\hat{\rho }}}\in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}}\).
Proof
-
1.
The solution \(u^{n,*}_{h,{\hat{\rho }}}\) can be written as
$$\begin{aligned} u^{n,*}_{h,{\hat{\rho }}} = {\tilde{U}}^{n+1} 0^\intercal + U^n Y^{n^\intercal }. \end{aligned}$$Since \(\langle 0^\intercal , Y^n\rangle _{L^2_{{\hat{\rho }}}} = 0\), using the definition (35) we have
$$\begin{aligned} u^{n,*}_{h,{\hat{\rho }}}\in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}}. \end{aligned}$$ -
2.
The newly computed solution \(u^{n+1,*}_{h,{\hat{\rho }}}\) can be expressed as
$$\begin{aligned} u^{n+1,*}_{h,{\hat{\rho }}} = {\tilde{U}}^{n+1}({\tilde{Y}}^{{n+1}} - Y^{n})^\intercal + {\tilde{U}}^{n+1}Y^{n^\intercal }. \end{aligned}$$Based on (28) in Lemma 3, we know that \(\langle {\tilde{Y}}^{{n+1}^\intercal } - Y^{n^\intercal }, Y^n\rangle _{L^2_{{\hat{\rho }}}} = 0\), i.e. again using the definition (35) we have \(u^{n+1,*}_{h,{\hat{\rho }}}\in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}}\).
\(\square \)
Remark 1
Note that for any function of the form \(v = {\tilde{U}}^{n+1} K^\intercal \) or \(v = J Y^{n^\intercal }\) with \(K\in (L^2_{{\hat{\rho }}})^R\), \(J\in (V_h)^R\), it holds \(v\in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}}\) since we have
Since \({\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}}\) is a vector space, it includes any linear combination of \(u^{n,*}_{h,{\hat{\rho }}}\) and \(u^{n+1,*}_{h,{\hat{\rho }}}\). The following lemma is an analogue of Lemma 2 and will become useful when we derive the discrete variational formulation.
Lemma 6
Let \(u^{n}_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}\) be the discrete DLR solutions at times \(t_{n}, t_{n+1}\) as defined in Algorithm 1. Then the zero-mean parts \(u^{{n+1}^*}_{h,{\hat{\rho }}}, u^{n^*}_{h,{\hat{\rho }}}\) satisfy
Proof
Multiplying (24) by \(Y^n_j\) and summing over j, we obtain
Noticing that
and taking the weak formulation of (38) in \(L^2_{{\hat{\rho }}}\) results in
Similarly, multiplying (25) by \({\tilde{U}}^{n+1}\), and further writing (25) in a weak form in \(L^2_{{\hat{\rho }}}\), we obtain
Since
taking the weak formulation of (40) in \(V_h\) results in
Finally, summing Eqs. (39) and (41) results in (37). \(\square \)
We now proceed with the discrete variational formulation.
Theorem 2
(Discrete variational formulation) Let \(u^n_{h,{\hat{\rho }}}\) and \(u^{n+1}_{h,{\hat{\rho }}}\) be the discrete DLR solution at times \(t_n\), \(t_{n+1}\), respectively, \(n=0,\dots ,N-1\), as defined in Algorithm 1. Then it holds
Proof
Thanks to Lemma 5 we have \((u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}})^* \in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^n} {\mathcal {M}}_R^{h,{\hat{\rho }}}\), and we can derive
and formula (36) gives us
Summing (43), (44) and applying Lemma 6 results in
Now summing this to Eq. (23) we obtain
which is equivalent to the final result (42). In (45) we have employed
which holds as \({\mathbb {E}}[v_h] = 0,\; \forall v_h \in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^{n^\intercal }} {\mathcal {M}}_R^{h,{\hat{\rho }}}\). \(\square \)
Remark 2
The preceding theorem applies to a discretization of any kind of the operator \({\mathcal {L}}\in L^2_{\rho }(\Gamma ;V')\), not necessarily elliptic or linear, as assumed in Sect. 2, as long as Lemma 1 holds.
4.3 Discrete variational formulation for the rank-deficient case
The discrete variational formulation established in the previous section is valid only in the case of the deterministic basis \({\tilde{U}}^{n+1}\) being linearly independent, since the proof of Theorem 2 implicitly involves the inverse of \({{\tilde{M}}^{n+1}} = \langle {\tilde{U}}^{{n+1}^\intercal }, {\tilde{U}}^{n+1}\rangle _H\). In this subsection, we show that a discrete variational formulation can be generalized for the rank-deficient case.
When applying the discretization scheme proposed in step 3 of Algorithm 1 with a rank-deficient matrix \({\tilde{M}}^{n+1}\), we recall that the solution \({\tilde{Y}}^{n+1}\) is defined as the solution of (25) minimizing \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\). Note that minimizing \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\) is equivalent to minimizing the norm \(\Vert {\tilde{Y}}^{n+1}(\omega _k) - Y^n(\omega _k)\Vert _{{\mathbb {R}}^R}\) for every sample point \(\omega _k,\, k=1,\dots ,{\hat{N}}\), where \(\Vert \cdot \Vert _{{\mathbb {R}}^R}^2 = \langle \cdot ,\cdot \rangle _{{\mathbb {R}}^R}\) denotes the Euclidean scalar product in \({\mathbb {R}}^R\).
In what follows we will exploit the fact that the vector space \(L^2_{{\hat{\rho }}}\) is isomorphic to \({\mathbb {R}}^{{\hat{N}}}\). In particular, it holds that \(({\tilde{Y}}^{n+1} - Y^n)^\intercal \in {\mathbb {R}}^{R\times {\hat{N}}}\), where each column of \(({\tilde{Y}}^{n+1} - Y^n)^\intercal \) is given by \(({\tilde{Y}}^{n+1} - Y^n)(\omega _k),\,k=1,\dots ,{\hat{N}}\). With a little abuse of notation, we use \({\tilde{U}}^{n+1}:\, {\mathbb {R}}^R\rightarrow V_h\) to denote a linear operator which takes real coefficients and returns the corresponding linear combination of the basis functions \({\tilde{U}}^{n+1}\). By \({\tilde{U}}^{{n+1}^\intercal }: V_h \rightarrow {\mathbb {R}}^R\) we denote its dual.
Lemma 7
For any discrete solution \({\tilde{Y}}^{n+1}\) of Eq. (25) that minimizes the norm \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\), it holds that every column of the increment \(({\tilde{Y}}^{n+1} - Y^n)^{\intercal }\) lies in the \(\langle \cdot ,\cdot \rangle _{{\mathbb {R}}^R}\)-orthogonal complement of the kernel of \({\tilde{M}}^{n+1}\), i.e.
where \(\mathrm {ker}({\tilde{M}}^{n+1}) = \{ v\in {\mathbb {R}}^R:\, {\tilde{M}}^{n+1} v = 0 \}.\)
Proof
Seeking a contradiction, let us suppose that \(({\tilde{Y}}^{n+1} - Y^n)^{\intercal } \notin \big (\mathrm {ker}({\tilde{M}}^{n+1})^\perp \big )^{{\hat{N}}}\). Let
where \({\mathcal {P}}_{\mathrm {ker}({\tilde{M}}^{n+1})}[v]\in {\mathbb {R}}^{R\times {\hat{N}}}\) for \(v\in {\mathbb {R}}^{R\times {\hat{N}}}\) denotes the column-wise application of \(\langle \cdot ,\cdot \rangle _{{\mathbb {R}}^R}\)-orthogonal projection onto the kernel of \({\tilde{M}}^{n+1}\). Then, such constructed Z satisfies
and solves (25):
where in the last step we used that \(\mathrm {ker}({\tilde{M}}^{n+1}) = \mathrm {ker}({\tilde{U}}^{n+1})\). This leads to a contradiction that \({\tilde{Y}}^{n+1}\) was the solution minimizing \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\). \(\square \)
When showing the equivalence between the DLR variational formulation (19) and the DLR system of Eqs. (10)–(12) in the continuous setting, the DO condition (9) plays an important role. In an analogous way, the discrete DO condition (property 1 from Lemma 3 for the full-rank case) plays an important role when showing the equivalence between the discrete DLR system of equations and the discrete DLR variational formulation.
Lemma 8
Any discrete solution \({\tilde{Y}}^{n+1}\) of Eq. (25) which minimizes the norm \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\), satisfies the discrete DO condition
Proof
Let \({\tilde{Y}}^{n+1}\) be a solution of (25) minimizing \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\). Thanks to Lemma 7 we know that
Now, let \({\tilde{M}}^{{n+1}^+}\) denote the pseudoinverse of \({\tilde{M}}^{n+1}\). Since
for any \(v \in \mathrm {ker}({\tilde{M}}^{n+1})^\perp \), the solution \({\tilde{Y}}^{n+1}\) of Eq. (25) satisfies
Thus, if we have
then the statement will follow. But for the column space of
\({\mathcal {P}}_{{\hat{\rho }},{\mathcal {Y}}^n}^{\perp } \Big [ \big ( {\mathcal {L}}^{*}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) - f^{{n,n+1}^*},{\tilde{U}}^{n+1} \big )_{V'V}\Big ] {\tilde{M}}^{{n+1}^+} \in {\mathbb {R}}^{{\hat{N}}\times R}\) it holds
with \({\mathcal {Y}}^{n^\perp }_{{\hat{\rho }}}\subset {\mathbb {R}}^{{\hat{N}}}\) being the orthogonal complement to \({\mathcal {Y}}^n\) in the scalar product \(\langle \cdot ,\cdot \rangle _{L^2_{{\hat{\rho }}}}\). Now the proof is complete. \(\square \)
In the following lemma we address the question of existence of a unique solution when applying the explicit and semi-implicit scheme.
Lemma 9
For the explicit and semi-implicit scheme, as described in Sect. 4.1, there exists a unique discrete solution \({\tilde{Y}}^{n+1}\) of Eq. (25) minimizing the norm \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\).
Proof
We will start with the semi-implicit scheme. By virtue of Lemma 4, under the discrete DO condition (47), applying the semi-implicit scheme to Eq. (25) is equivalent to solving equation (33). We will first focus our attention to Eq. (33) and show that there exists a unique solution minimizing \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\). This solution will satisfy the discrete DO and consequently is a unique minimizing solution of (25). Equation (33) can be rewritten as
where
Since \(\text {RHS}\) above lies in the range of \({\tilde{U}}^{{n+1}^\intercal }\), which is the same as the range of B, a solution of (49) exists.
Moreover, since the matrix B is positive definite on the space \(\mathrm {ker}(B)^\perp \), any solution can be expressed as \(({\tilde{Y}}^{n+1} - Y^n + W)^{\intercal }\) with \(W^{\intercal }\in \big (\mathrm {ker}(B)\big )^{{\hat{N}}}\) and a unique \({\tilde{Y}}^{n+1^{\intercal }}\in {\mathbb {R}}^{R\times {\hat{N}}}\) such that \(({\tilde{Y}}^{n+1} - Y^n)^{\intercal }\in \big (\mathrm {ker}(B)^\perp \big )^{{\hat{N}}}\).
The solution \({\tilde{Y}}^{n+1}\) minimizes each column \(\Vert ({\tilde{Y}}^{n+1} - Y^n)(\omega _k)\Vert _{{\mathbb {R}}^R}\), \(k=1,\dots ,{\hat{N}}\) and thus it is the unique solution of (49) that minimizes norm \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\).
We observe that the established solution \({\tilde{Y}}^{n+1}\) of Eq. (49) satisfies the discrete DO condition (47). The argument is analogous to the proof of Lemma 8, but instead of \({\tilde{M}}^{n+1}\) here we take B. Therefore, the statement for the semi-implicit scheme follows.
The explicit case can be shown by following analogous steps with
\(\square \)
Now we can proceed with showing the discrete variational formulation. It is not generally easy to deal with the notion of a tangent space at a certain point on the manifold in the rank-deficient case. In the following theorem we will, however, show that an analogous discrete variational formulation holds. Given \( U\in (V_h)^R\) and \(Y\in (L^2_{{\hat{\rho }},0})^R\), we define the vector space \({\mathcal {T}}_{UY^\intercal }\) as
It is easy to verify that, analogously to Lemma 5, the (possibly rank-deficient) discrete DLR solutions \(u^n_{h,{\hat{\rho }}}\) and \(u^{n+1}_{h,{\hat{\rho }}}\) at times \(t_n, t_{n+1}\), as defined in Algorithm 1 satisfy
Theorem 3
Let \(u^n_{h,{\hat{\rho }}}\) and \(u^{n+1}_{h,{\hat{\rho }}}\) be the (possibly rank-deficient) discrete DLR solution at times \(t_n\), \(t_{n+1}\), respectively, \(n=0,\dots ,N-1\), as defined in Algorithm 1. Then the following variational formulation holds
Proof
First, consider Eq. (24) with \(v_h = {\tilde{U}}^{n+1}_j\). Summing over j results in
Let us proceed with the Eq. (25):
Taking a weak formulation in \(L^2_{{\hat{\rho }},0}\) results in
Concerning Eq. (24), we proceed as follows: \(\forall v_h \in (V_h)^R\)
where in the second step we applied \({\mathbb {E}}_{{\hat{\rho }}}[{\tilde{Y}}^{{n+1}^\intercal }Y^n] = \text {Id}\) which holds thanks to the discrete DO condition from Lemma 8. Summing Eqs. (53) and (54) we obtain
The rest of the proof follows the same steps as in the proof of Theorem 2, i.e. summing the mean value Eq. (23) and noting that some terms vanish. \(\square \)
Remark 3
Thanks to the observation that \(\mathrm {ker}({\tilde{M}}^{n+1}) = \mathrm {ker}({\tilde{U}}^{n+1})\), we can easily see that any discrete solution \({\tilde{Y}}^{n+1}\) of Eq. (25) leads to the same discrete DLR solution \(u^{n+1}_{h,{\hat{\rho }}} = {\bar{u}}^{n+1}_{h,{\hat{\rho }}} + {\tilde{U}}^{n+1}{\tilde{Y}}^{{n+1}^\intercal }\). Therefore, the result of the preceding theorem as well as the stability properties shown in Sect. 5 hold for the discrete DLR solution obtained by any of the solutions of Eq. (25).
4.4 Reinterpretation as a projector-splitting scheme
The proposed Algorithm 1 was derived from the DLR system of Eqs. (10)–(12). This subsection is dedicated to showing that this scheme can in fact be formulated as a projector-splitting scheme for the time discretization of the Dual DO approximation of (6). Afterwards, we will continue by showing its connection to the projector-splitting scheme of the first order proposed in [29, 30] and further analyzed in [20].
In what follows, we will focus on the evolution of \(u^{n,*}_{h,{\hat{\rho }}}\), i.e. the 0-mean part of the discrete DLR solution \(u^{n}_{h,{\hat{\rho }}}\).
Lemma 10
The discretized system of Eqs. (24)–(25) can be equivalently reformulated as
where \({\tilde{u}}_{h,{\hat{\rho }}} = {\tilde{U}}^{n+1}Y^{n^\intercal }\).
Proof
These equations are essentially Eqs. (39) and (41), which are shown to hold in the proof of Lemma 6. \(\square \)
We recall that from Lemma 2, the zero-mean part of the continuous DLR approximation \(u^{*} = U Y^\intercal \) satisfies
Lemma 10 therefore shows that the time integration scheme corresponds to a projection splitting scheme in which first the projection \({\mathcal {P}}_{{\mathcal {Y}}}[{\mathcal {L}}^*(u) - f^*]\) and then the projection \({\mathcal {P}}_{{\mathcal {Y}}}^{\perp }[{\mathcal {P}}_{{\mathcal {U}}}[{\mathcal {L}}^*(u) - f^*]]\) are applied.
4.4.1 Comparison to the projection scheme in [29]
There are several equivalent DLR formulations. The DO formulation, proposed and applied in [34,35,36], seeks for an approximation of the form \(u_R = UY^\intercal \) with \(\{U_j\}_{j=1}^R\subset V_h\) orthonormal in \(\langle \cdot ,\cdot \rangle _{H}\) and \(\{Y_j\}_{j=1}^R\subset L^2_{{\hat{\rho }}}\) linearly independent. The dual DO formulation, on the contrary, keeps the stochastic basis \(\{Y_j\}_{j=1}^R\) orthonormal in \(\langle \cdot ,\cdot \rangle _{L^2_{{\hat{\rho }}}}\) and \(\{U_j\}_{j=1}^R\) linearly independent. The double dynamically orthogonal (DDO) or bi-orthogonal formulation searches for an approximation in the form \(u_R = USV^\intercal \) with both \(\{U_j\}_{j=1}^R\subset V_h\) and \(\{V_j\}_{j=1}^R\subset L^2_{{\hat{\rho }}}\) orthonormal in \(\langle \cdot ,\cdot \rangle _{H}\), \(\langle \cdot ,\cdot \rangle _{L^2_{{\hat{\rho }}}}\) , respectively, and \(S\in {\mathbb {R}}^{R\times R}\) a full rank matrix (see e.g. [7, 8, 23]). In [9, 32] it was shown that these formulations are equivalent. In our work we consider the dual DO formulation with an isolated mean so that the stochastic basis functions are centered.
A first order projector-splitting scheme introduced in [29, 30] and further analyzed in [20] is a time integration scheme successfully used for the integration of dynamical low rank approximation in the DDO formulation. This subsection provides a detailed look into the comparison of the Algorithm 1 and the discretization scheme from [29, 30]. We will see that, if the solution is full rank, these schemes are in fact equivalent.
We will adapt the algorithm from [29] to approximate the DLR solution in the DDO form with an isolated mean, i.e.
Having an R-rank solution \(u^n_{h,{\hat{\rho }}}\), the basic first-order scheme from [29] requires the knowledge of the solution \(u^{n+1}_{h,{\hat{\rho }}}\), which is used in evaluating the term \(\triangle A = u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\). To deal with differential equations where \(u^{n+1}_{h,{\hat{\rho }}}\) is a-priori unknown, we will consider a general scheme where
where \(f^{n,n+1}\) and \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}})\) can be any of the explicit, implicit or semi-implicit discretizations detailed in Sect. 4.1. Adopting the notation from [29], the splitting scheme from [29, 30] for a DDO approximation of (6) results in the following 6-step algorithm.
The new solution \({\hat{u}}^{n+1}_{h,{\hat{\rho }}}\) is then defined as
Now, let us compare the previous steps to Algorithm 1. We can easily observe that \(\hat{{\bar{u}}}^{n+1} = {{\bar{u}}}^{n+1}\). Since \(Y^n = V_0\), we can see that Eq. (24) is equivalent to step 1 with \(U^n = U_0 S_0\), i.e. \(K_1 = {\tilde{U}}^{n+1}\). Further, we have
Equation (25) can be reformulated as
which, provided \({\hat{S}}_1\) is invertible, is equivalent to
Note that the expression in brackets in the first term on the right hand side is exactly the transpose of \({\tilde{S}}_0\) from step 3:
from which we deduce
Finally, we have
We conclude that the scheme in Algorithm 1 and the scheme in Algorithm 2 coincide in exact arithmetic, provided the matrix \(S_1\) is invertible. However, the numerical behavior of the two schemes differs when \(S_1\) is singular or close to singular. For \({\tilde{M}}^{n+1}\) close to singular, solving Eq. (25) might lead to numerical instabilities. This problem seems to be avoided in the projector-splitting scheme from [29, 30], as no matrix inversion is involved. Such ill conditioning is however hidden in performing step 3 of Algorithm 2, since the QR or SVD decomposition can become unstable for ill-conditioned matrices (see [17, chap. 5]). In the case of a rank deficient basis \(\{{\tilde{U}}^{n+1}\}\), Algorithm 1 updates the stochastic basis by solving Eq. (25) in a least square sense while minimizing the norm \(\Vert {\tilde{Y}}^{n+1} - Y^n\Vert _{L^2_{{\hat{\rho }}}}\). The previous subsection showed that such solution satisfies the discrete variational formulation which plays a crucial role in stability estimation (see Sect. 5.3). On the other hand, Algorithm 2 relies on the somehow arbitrary completion of the basis \(\{U_1\}\) in the step 3. In presence of rank deficiency, the two algorithms can deliver different solutions (see Sect. 7.3 for a numerical comparison).
Remark 4
Note that the ordering of the equations in Algorithm 1 is crucial. When dealing with the DO formulation, i.e. orthonormal deterministic basis and linearly independent stochastic basis, we shall first update the stochastic basis and then evolve the deterministic basis. For a reversed ordering the Theorem 2 would not hold.
5 Stability estimates
The stability of the solution of problems similar to (6) are well analyzed (see e.g. [14]). A natural question is to what extent constraining the dynamics to the low rank manifold influences the stability properties. In Sect. 5.1, we will first recall some stability properties of the true solution \(u_{_{\mathrm {true}}}\) of problem (6). Then, in Sect. 5.2 we will see that these properties hold for the continuous DLR solution as well. It turns out that our discretization schemes satisfy analogous stability properties, as we will see in Sect. 5.3. In particular, we will show that the implicit and semi-implicit version are unconditionally stable under some mild conditions on the size of the randomness in the operator. We will state two types of estimates: the first one holds for an operator \({\mathcal {L}}\) as described in Sect. 2 and a second one additionally assuming the operator \({\mathcal {L}}\) to be symmetric. Note that in the second case the bilinear coercive form \(\langle \cdot ,\cdot \rangle _{{\mathcal {L}},\rho }\) is a scalar product on \(L^2_{\rho }(\Gamma ;V)\). In the rest of this section we will assume that a solution of problem (6), a continuous DLR solution and a discrete DLR solution exist.
5.1 Stability of the continuous problem
We state here some standard stability estimates concerning the solution \(u_{\mathrm {true}}\) of problem (6).
Proposition 4
Let \(u_{\mathrm {true}}\in L^2(0,T;L^2_{\rho }(\Gamma ;V))\) be the solution of problem (6). Then, the following estimates hold:
-
1.
$$\begin{aligned}&\Vert u_{\mathrm {true}}(T)\Vert _{H,L^2_{\rho }}^2 + C_{{\mathcal {L}}}\int _{0}^{T}\Vert u_{\mathrm {true}}(t)\Vert _{V,L^2_{\rho }}^2 \,\mathrm {d}t\nonumber \\&\quad \le \Vert u_{\mathrm {true}}(0)\Vert _{H,L^2_{\rho }}^2 + \frac{C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\big \Vert f\big \Vert _{L^2(0,T;L^2_{\rho }(\Gamma ;H))}^2; \end{aligned}$$(58)
-
2.
if, in addition, \({\mathcal {L}}\) is symmetric and \({\dot{u}}_{\mathrm {true}}\in L^2(0,T;L^2_{\rho }(\Gamma ;H))\), we have
$$\begin{aligned}&\Vert u_{\mathrm {true}}(T)\Vert _{{\mathcal {L}},\rho }^2 + \int _{0}^{T}\Vert {\dot{u}}_{\mathrm {true}}(t)\Vert _{H,L^2_{\rho }}^2 \,\mathrm {d}t\nonumber \\&\quad \le \Vert u_{\mathrm {true}}(0)\Vert _{{\mathcal {L}},\rho }^2 + \big \Vert f\big \Vert _{L^2(0,T;L^2_{\rho }(\Gamma ;H))}^2, \end{aligned}$$(59)
where \(C_{{\mathcal {L}}}>0\) is the coercivity constant defined in (4) and \(C_{\mathrm {P}}\) is the continuous embedding constant defined in (3).
For \(f = 0\) and \(t_1,t_2\in [0,T],\;t_1\le t_2\), we have:
-
3.
$$\begin{aligned} \Vert u_{\mathrm {true}}(t_2)\Vert _{H,L^2_{\rho }}\le \Vert u_{\mathrm {true}}(t_1)\Vert _{H,L^2_{\rho }}, \end{aligned}$$(60)
-
4.
moreover, if \({\mathcal {L}}\) is symmetric and \({\dot{u}}_{\mathrm {true}}\in L^2(0,T;L^2_{\rho }(\Gamma ;H))\), we have
$$\begin{aligned} \Vert u_{\mathrm {true}}(t_2)\Vert _{{\mathcal {L}},\rho }\le \Vert u_{\mathrm {true}}(t_1)\Vert _{{\mathcal {L}},\rho }. \end{aligned}$$(61)
Proof
As for part 1, choose \(u_{\mathrm {true}}\) as a test function in the variational formulation (6). Using [40, Prop. 23.23] results in
Multiplying by 2 and integrating over [0, T] gives the sought estimate. Part 2 is proved in a similar way by considering \({\dot{u}}_{\mathrm {true}}\) as a test function. We can derive
and obtain the result by multiplying by 2 and integrating over [0, T].
Part 3 and part 4 are consequences of part 1 and 2, where the final integration is realized over \([t_1,t_2]\) instead of [0, T]. \(\square \)
5.2 Stability of the continuous DLR solution
Constraining the dynamics to the R-rank manifold does not destroy the stability properties from Proposition 4.
Theorem 4
Let \(u\in L^2(0,T;L^2_{\rho }(\Gamma ;V))\) with \({\dot{u}}\in L^2(0,T;L^2_{\rho }(\Gamma ;V))\) be the continuous DLR solution defined in Definition 1. Then u satisfies the same inequalities (58), (59), (60), (61) as the true solution \(u_{\mathrm {true}}\).
Proof
-
Part 1:
Let \(u = {\bar{u}} + U Y^\intercal \) with \(U Y^\intercal \in {\mathcal {M}}_R\). Then, we have \(u^* = u - {\bar{u}}\;\in {\mathcal {T}}_{u^*}{\mathcal {M}}_R\). Indeed, since
$$\begin{aligned} u^* = \sum _{i=1}^R U_i 0 + U_i Y_i\quad \in L^2_{\rho ,0}(\Gamma ;V)\end{aligned}$$with \(\langle 0, Y_i\rangle _{L^2_{\rho }} = 0\), we can take u as a test function in the variational formulation (19). The rest of the proof follows the same steps as in the proof of Proposition 4.
-
Part 2:
we express
$$\begin{aligned} {\dot{u}}^* = \sum _{j=1}^R {\dot{U}}_j Y_j + U_j {\dot{Y}}_j\quad \in {\mathcal {T}}_{u^*}{\mathcal {M}}_R \end{aligned}$$since \(\langle Y_i, {\dot{Y}}_j\rangle _{L^2_{\rho }} = \delta _{ij}\) and \(\dot{{u}}^*\in L^2_{\rho }(\Gamma ;V)\). As \(\dot{{\bar{u}}}\in V\) we can consider \({\dot{u}}\) as a test function in the variational formulation (19) and arrive at the sought result.
Part 3 and 4 are obtained analogously. \(\square \)
5.3 Stabilty of the discrete DLR solution
Now we proceed with showing stability properties of the fully discretized DLR system from Algorithm 1 for the three different operator evaluation terms corresponding to implicit Euler, explicit Euler and semi-implicit scheme. For each of them we will establish boundedness of norms and a decrease of norms for the case of zero forcing term f.
The following simple lemma will be repeatedly used throughout.
Lemma 11
Let \(\langle \cdot , \cdot \rangle : (V_h\otimes L^2_{{\hat{\rho }}}) \times (V_h\otimes L^2_{{\hat{\rho }}})\rightarrow {\mathbb {R}}\) be a symmetric bilinear form. Then it holds
for any \(v,w\in V_h\otimes L^2_{{\hat{\rho }}}\).
5.3.1 Implicit Euler scheme
Applying an implicit operator evaluation, i.e. \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) = {\mathcal {L}}(u^{n+1}_{h,{\hat{\rho }}})\) results in a discretization scheme with the following stability properties.
Theorem 5
Let \(\{u_{h,{\hat{\rho }}}^n\}_{n=0}^{N}\) be the discrete DLR solution as defined in Algorithm 1 with \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) = {\mathcal {L}}(u^{n+1}_{h,{\hat{\rho }}})\). Then the following estimates hold:
-
1.
$$\begin{aligned}&\Vert u^{N}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \triangle t C_{{\mathcal {L}}}\sum _{n=0}^{N-1}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2 \\&\quad \le \Vert u^0_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \triangle t\frac{C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\sum _{n=0}^{N-1}\Vert f(t_{n+1})\Vert _{H,L^2_{{\hat{\rho }}}}^2, \end{aligned}$$
-
2.
if \({\mathcal {L}}\) is a symmetric operator we have
$$\begin{aligned}&\Vert u^{N}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \triangle t\sum _{n=0}^{N-1}\Big \Vert \frac{u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}}{\triangle t}\Big \Vert _{H,L^2_{{\hat{\rho }}}}^2\\&\quad \le \Vert u^{0}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \triangle t \sum _{n=0}^{N-1}\Vert f(t_{n+1})\Vert _{H,L^2_{{\hat{\rho }}}}^2, \end{aligned}$$for any time and space discretization parameters \(\triangle t,\,h>0\) with \(C_{{\mathcal {L}}}, C_{\mathrm {P}}>0\) the coercivity and continuous embedding constant defined in (4), (3), respectively.
In particular, for \(f = 0\) and \(n=0,\dots ,N-1\) it holds:
-
3.
\(\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}},\)
-
4.
if \({\mathcal {L}}\) is a symmetric operator we have \(\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\).
Proof
Thanks to Theorem 2, we know that the discretized DLR system of equations with implicit operator evaluation can be written in a variational formulation as
\(n = 0,\dots ,N-1\).
-
1.
Based on Lemma 5 we take \(v_h = u^{n+1}_{h,{\hat{\rho }}}\) as a test function in the variational formulation (62). Using Lemma 11 results in
$$\begin{aligned}&\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 - \Vert u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + 2\triangle t \langle u^{n+1}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}} \\&\quad = 2\triangle t(f(t_{n+1}), u^{n+1}_{h,{\hat{\rho }}})_{V'V,L^2_{{\hat{\rho }}}}\le \triangle t\frac{C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\Vert f(t_{n+1})\Vert _{H,L^2_{{\hat{\rho }}}}^2 +\triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert ^2_{V,L^2_{{\hat{\rho }}}}. \end{aligned}$$Using the coercivity condition (4) and summing over \(n=0,\dots ,N-1\) gives us the sought result.
-
2.
Now, consider \(v_h = (u^{n+1}_{h,{\hat{\rho }}} - u^{n+1}_{h,{\hat{\rho }}})/\triangle t\). Using Lemma 11, the variational formulation results in
$$\begin{aligned}&\Big \Vert \frac{u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}}{\triangle t}\Big \Vert _{H,L^2_{{\hat{\rho }}}}^2 + \frac{1}{2\triangle t}\big (\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 - \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \Vert u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2\big ) \\&\quad = \Big \langle f(t_{n+1}), \frac{u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}}{\triangle t}\Big \rangle _{H,L^2_{{\hat{\rho }}}}\le \frac{\Vert f(t_{n+1})\Vert _{H,L^2_{{\hat{\rho }}}}^2}{2} + \frac{1}{2}\Big \Vert \frac{u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}}{\triangle t}\Big \Vert _{H,L^2_{{\hat{\rho }}}}^2. \end{aligned}$$Multiplying by \(2\triangle t\) and summing over \(n=0,\dots ,N-1\) leads us to the result.
Parts 3 and 4 follow from parts 1 and 2 without summing over \(n=0,\dots ,N-1\). \(\square \)
5.3.2 Explicit Euler scheme
Concerning the explicit Euler scheme (see subsection 4.1), which applies the time discretization \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) = {\mathcal {L}}(u^n_{h,{\hat{\rho }}})\), the following stability result holds.
Theorem 6
Let \(\{u_{h,{\hat{\rho }}}^n\}_{n=0}^{N}\) be the discrete DLR solution as defined in Algorithm 1 with \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) = {\mathcal {L}}(u^n_{h,{\hat{\rho }}})\). Then the following estimates hold:
-
1.
$$\begin{aligned}&\Vert u^{N}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \triangle t C_{{\mathcal {L}}}(1-\kappa )\sum _{n=0}^{N-1}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2 \le \Vert u^0_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \\&\quad \frac{\triangle t C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\sum _{n=0}^{N-1}\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2 \end{aligned}$$
for \(0< \kappa \) and \(\triangle t,h\) satisfying
$$\begin{aligned} \frac{\triangle t}{h^{2p}} \le \frac{\kappa \,C_{{\mathcal {L}}}}{C_{\mathrm {I}}^2\,C_{{\mathcal {B}}}^2}. \end{aligned}$$(63) -
2.
If \({\mathcal {L}}\) is a symmetric operator we have
$$\begin{aligned} \Vert u^{N}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\le \Vert u^0_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}} + \frac{\triangle t}{\kappa } \sum _{n=0}^{N-1}\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2, \end{aligned}$$
for \(\triangle t,h\) satisfying
Here \(C_{{\mathcal {L}}}, C_{{\mathcal {B}}}, C_{\mathrm {P}}>0\) are the coercivity, continuity and continuous embedding constants defined in (4), (5), (3), respectively and \(C_{\mathrm {I}}\) is the inverse inequality constant introduced in (22).
For \(f = 0\) and \(n = 0,\dots ,N-1\) it holds:
-
3.
\(\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}},\)
$$\begin{aligned} \text {under {{the}} weakened condition }\qquad \frac{\triangle t}{h^{2p}} \le \frac{2C_{{\mathcal {L}}}}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}^2 }. \end{aligned}$$ -
4.
If \({\mathcal {L}}\) is a symmetric operator we have
$$\begin{aligned}&\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}},\\&\quad \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}, \end{aligned}$$under the weakened condition
$$\begin{aligned} \frac{\triangle t}{h^{2p}} \le \frac{2}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}}. \end{aligned}$$
Proof
Thanks to the Theorem 2 we can rewrite the system of equations in the variational formulation
-
1.
Based on Lemma 5 we take \(v_h = u^{n+1}_{h,{\hat{\rho }}}\) as a test function in the variational formulation (65) and using Lemma 11 results in
$$\begin{aligned}&\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 - \Vert u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + 2\triangle t \langle u^{n}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}} \\&\quad = 2\triangle t(f(t_{n}), u^{n+1}_{h,{\hat{\rho }}})_{V'V,L^2_{{\hat{\rho }}}}\le \triangle t\frac{C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2 +\triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}. \end{aligned}$$We further proceed by estimating
$$\begin{aligned}&2\triangle t\langle u^{n}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}} = 2\triangle t\langle u^{n}_{h,{\hat{\rho }}} - u^{n+1}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}} + 2\triangle t\langle u^{n+1}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}}\nonumber \\&\ge -2\triangle t C_{{\mathcal {B}}}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}} + 2\triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2\nonumber \\&\ge -\kappa \triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2 +2\triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2\nonumber \\&\quad - \triangle t \frac{C_{\mathrm {I}}^2 C_{{\mathcal {B}}}^2}{\kappa \,h^{2p} C_{{\mathcal {L}}}}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 \end{aligned}$$(66)where, in the third step, we used the inequality
$$\begin{aligned} \Vert u^{n+1}_{h,{\hat{\rho }}}-u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}} \ge \frac{h^p}{C_{\mathrm {I}}}\Vert u^{n+1}_{h,{\hat{\rho }}}-u^n_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}, \end{aligned}$$which holds based on assumption (22). Combining the terms, using the condition (63) and summing over \(n = 0,\dots ,N-1\) finishes the proof.
-
2.
Lemma 5 enables us to take \(u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\) as a test function in (65). This results in
$$\begin{aligned}&\frac{1}{\triangle t}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \langle u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}} = \langle f(t_n), u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\rangle _{H,L^2_{{\hat{\rho }}}}\nonumber \\&\quad \le \frac{\triangle t\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2}{2\kappa } + \frac{\kappa \,\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2}{2\triangle t}. \end{aligned}$$(67)Using Lemma 11 we obtain
$$\begin{aligned}&\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 \le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 +\frac{\triangle t}{\kappa }\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2+ \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 \\&- \frac{2-\kappa }{\triangle t}\Vert u^{n+1}_{h,{\hat{\rho }}}-u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2\\&\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 +\frac{\triangle t}{\kappa }\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2+ \Big ( 1-\frac{(2-\kappa )\,h^{2p}}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}\triangle t} \Big )\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2\\&\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 +\frac{\triangle t}{\kappa }\Vert f(t_n)\Vert _{H,L^2_{{\hat{\rho }}}}^2 \end{aligned}$$where, in the second step, we used the assumption (22), (5) and the fact that \(1-\frac{(2-\kappa ) h^{2p}}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}\triangle t} \le 0\), thanks to the stability condition (64).
-
3.
The proof of part 3 follows the same steps as the proof of part 1. We have
$$\begin{aligned} \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 - \Vert u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + 2\triangle t \langle u^{n}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}} = 0. \end{aligned}$$In (66) we choose \(\kappa = 2\) and conclude the result.
-
4.
The proof of the forth property follows the same steps as the proof of part 2. Since there is no need to use the Young’s inequality in (67), the condition on \(\triangle t/h^{2p}\) is weakened:
$$\begin{aligned} \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2&= \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 - \frac{2}{\triangle t}\Vert u^{n+1}_{h,{\hat{\rho }}}-u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2\\&\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \Big ( 1-\frac{2h^{2p}}{C_{\mathrm {I}}^2 C_{{\mathcal {B}}}\triangle t} \Big )\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2. \end{aligned}$$As for the estimate in the \(\Vert \cdot \Vert _{H,L^2_{{\hat{\rho }}}}\)-norm we can derive
$$\begin{aligned} \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2&= \Vert u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 -\frac{\triangle t}{2} \Big ( \Vert u^n_{h,{\hat{\rho }}}\Vert ^2_{{\mathcal {L}},{\hat{\rho }}} - \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2\\& + \Vert u^{n+1}_{h,{\hat{\rho }}} + u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 \Big )\\&\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2, \end{aligned}$$where in the last inequality we applied \(\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}} \) for \(\frac{\triangle t}{h^{2p}} \le \frac{2}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}}\).
\(\square \)
5.3.3 Semi-implicit scheme
This subsection is dedicated to analyzing the semi-implicit scheme introduced in Sect. 4.1 which applies the discretization \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) = {\mathcal {L}}_{\mathrm {det}}(u^{n+1}_{h,{\hat{\rho }}}) + {\mathcal {L}}_{\mathrm {stoch}}(u^n_{h,{\hat{\rho }}})\).
Apart from the inverse inequality (22) we will be using two additional inequalities. Let us assume there exists a constant \(C_{\mathrm {det}}>0\) such that
This constant plays an important role in the stability estimation as it quantifies the extent to which the operator is evaluated implicitly. Its significance is summarized in Theorem 7. In addition we introduce a constant \(C_{\mathrm {stoch}}\) that bounds the stochasticity of the operator
Theorem 7
Let \(\{u^n_{h,{\hat{\rho }}}\}_{n=0}^N\) be the discrete DLR solution as defined in Algorithm 1 with \({\mathcal {L}}(u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}) = {\mathcal {L}}_{\mathrm {det}}(u^{n+1}_{h,{\hat{\rho }}}) + {\mathcal {L}}_{\mathrm {stoch}}(u^n_{h,{\hat{\rho }}})\) with \({\mathcal {L}}_{\mathrm {det}}\) and \({\mathcal {L}}_{\mathrm {stoch}}\) satisfying (68) and (69), respectively. Then it holds
-
1.
$$\begin{aligned}&\Vert u^{N}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \triangle t C_{{\mathcal {L}}}(1-\kappa )\sum _{n=0}^{N-1}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2 \le \Vert u^0_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \\&\quad \frac{\triangle t C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\sum _{n=0}^{N-1}\Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2 \end{aligned}$$
for \(\kappa > 0\) and \(\triangle t,h\) satisfying
$$\begin{aligned} \frac{\triangle t}{h^{2p}} \le \frac{\kappa \,C_{{\mathcal {L}}}}{C_{\mathrm {I}}^2\,C_{\mathrm {stoch}}^2}. \end{aligned}$$(70) -
2.
If \({\mathcal {L}}\) is a symmetric operator we have
$$\begin{aligned} \Vert u^{N}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\le \Vert u^0_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}} + \frac{\triangle t}{\kappa }\sum _{n=0}^{N-1}\Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2 \end{aligned}$$(71)
for \(\triangle t,h\) satisfying
Here \(C_{{\mathcal {L}}}, C_{{\mathcal {B}}}, C_{\mathrm {P}}, C_{\mathrm {I}}>0\) are the coercivity, continuity, continuous embedding and inverse inequality constants defined in (4), (5), (3), (22), respectively. The constants \(C_{\mathrm {det}}, C_{\mathrm {stoch}}\) were introduced in (68), (69).
For \(f = 0\) and \({\mathcal {L}}\) symmetric we have
-
3.
$$\begin{aligned} \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}},\qquad n=0,\dots ,N-1 \end{aligned}$$(72)
with \(\triangle t,h\) satisfying a weakened condition
Proof
The variational formulation of the discrete DLR problem from Algorithm 1 reads in this case
-
1.
We will consider \(v_h = u^{n+1}_{h,{\hat{\rho }}}\) as a test function in (74) and we derive
$$\begin{aligned}&\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + 2\triangle t \langle u^{n+1}_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}}\\&= \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 - \Vert u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + 2\triangle t\langle f^{n,n+1}, u^{n+1}_{h,{\hat{\rho }}}\rangle _{H,L^2_{{\hat{\rho }}}}\\&\qquad + 2\triangle t({\mathcal {L}}_{\mathrm {stoch}}(u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}), u^{n+1}_{h,{\hat{\rho }}})_{V'V,L^2_{{\hat{\rho }}}}\\&\le \Vert u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 - \Vert u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \triangle t\frac{C_{\mathrm {P}}^2}{C_{{\mathcal {L}}}}\Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2\\&\qquad + \triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2\\&\qquad + \kappa \triangle tC_{{\mathcal {L}}}\Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{V,L^2_{{\hat{\rho }}}}^2 + \triangle t \frac{C_{\mathrm {I}}^2 C_{\mathrm {stoch}}^2}{\kappa h^{2p} C_{{\mathcal {L}}}}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^{n}_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2. \end{aligned}$$Combining the terms and summing over \(n = 0,\dots ,N-1\) finishes the proof.
-
2.
We will proceed by taking \(v_h = u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\) in the variational formulation (74) since \((u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}})^*\in {\mathcal {T}}_{{\tilde{U}}^{n+1}Y^n} {\mathcal {M}}_R^{h,{\hat{\rho }}}\) (Lemma 5). We obtain
$$\begin{aligned}&\frac{1}{\triangle t} \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert ^2_{H,L^2_{{\hat{\rho }}}} + \langle u^{n+1}_{h,{\hat{\rho }}},u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}}_{\mathrm {det}},{\hat{\rho }}} \end{aligned}$$(75)$$\begin{aligned}& + \big ( {\mathcal {L}}_{\mathrm {stoch}}(u^n_{h,{\hat{\rho }}}), u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\big )_{V'V,L^2_{{\hat{\rho }}}} \pm \big ( {\mathcal {L}}_{\mathrm {det}}(u^n_{h,{\hat{\rho }}}), u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\big )_{V'V,L^2_{{\hat{\rho }}}} \nonumber \\& = \frac{1}{\triangle t} \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert ^2_{H,L^2_{{\hat{\rho }}}} + \langle u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}}_{\mathrm {det}},{\hat{\rho }}} \nonumber \\&+ \langle u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}}-u^n_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}},{\hat{\rho }}}\nonumber \\&= \langle f^{n,n+1},u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\rangle _{H,L^2_{{\hat{\rho }}}}\le \frac{\triangle t}{2\kappa }\Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \frac{\kappa }{2\triangle t}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2. \end{aligned}$$(76)Using Lemma 11 we further derive
$$\begin{aligned} \Vert u^{n+1}_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2&\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \frac{\triangle t}{\kappa }\Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2 + \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 \\&- \frac{2-\kappa }{\triangle t} \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{H,L^2_{{\hat{\rho }}}}^2 \\&- 2\langle u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}, u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\rangle _{{\mathcal {L}}_{\mathrm {det}},{\hat{\rho }}}\\&\le \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \frac{\triangle t}{\kappa } \Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2+ \Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 \\&-\frac{(2-\kappa ) h^{2p}}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}\triangle t}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 -2C_{\mathrm {det}}\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2\\&= \Vert u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2 + \frac{\triangle t}{\kappa }\Vert f^{n,n+1}\Vert _{H,L^2_{{\hat{\rho }}}}^2 \\&+ \big (1 - \frac{(2-\kappa ) h^{2p}}{C_{\mathrm {I}}^2C_{{\mathcal {B}}}\triangle t} - 2C_{\mathrm {det}}\big )\Vert u^{n+1}_{h,{\hat{\rho }}} - u^n_{h,{\hat{\rho }}}\Vert _{{\mathcal {L}},{\hat{\rho }}}^2, \end{aligned}$$where in the second step we used the inequalities (22), (5) and (68). From the condition on \(\triangle t, h\) after summing over \(n=0,\ldots ,N-1\) the Eq. (71) follows.
-
3.
To treat the case of \(f = 0\) we follow analogous steps as in part 2. We consider \(\kappa = 0\) as there is no need for the Young inequality in (76).
\(\square \)
Theorem 7 tells us that when \({\mathcal {L}}\) is a symmetric operator, using the semi-implicit scheme leads to a conditionally stable solution if \(C_{\mathrm {det}}\in (0,\frac{1}{2})\) and an unconditionally stable solution, if \(C_{\mathrm {det}}\ge \frac{1}{2}\) (small randomness).
Remark 5
The discrete variational formulation (42) as well as the stability estimates presented in this section hold for the full-rank solution of the projector-splitting scheme from [29] with the ordering K, S, L, as presented in Sect. 4.4. However, these results do not hold with the ordering K, L, S, which was discussed in [29]. This might be another reason why K, L, S performs poorly when compared to K, S, L (see [29, sec. 5.2]).
Remark 6
All of the derived estimates for the discrete DLR solution obtained by Algorithm 1 hold also for the case of \(\{u_{h,{\hat{\rho }}}^n\}_{n=0}^N\) being rank-deficient for some \(n=0,\dots ,N\) as a consequence of Theorem 3 and the property (50). It is not clear whether the Algorithm 2 satisfies a similar variational formulation. However, the numerical results from Sect. 7.3 seem to exhibit similar stability properties.
6 Example: random heat equation
In this section we will specifically address the case of a random heat equation. We will analyze what the underlying assumptions require of this problem, present the explicit and semi-implicit discretization schemes applied to a heat equation and state their stability properties.
Let \(D\subset {\mathbb {R}}^d,\; 1\le d\le 3\) be a polygonal domain. Let \(V = H^1_0(D)=:H^1_0,\, H=L^2(D)=:L^2,\, V'=H^{-1}(D)=:H^{-1}\) and \({\mathcal {L}}(x,\xi )(v) = -\nabla \cdot (a(x,\xi )\nabla v)\) with
In this case, the scalar products \(\langle v,w\rangle _{H,L^2_{\rho }},\,\langle v,w\rangle _{V,L^2_{\rho }},\, \langle v,w\rangle _{{\mathcal {L}},\rho }\) are defined as
For the coercivity constant \(C_{{\mathcal {L}}}\), it holds \(C_{{\mathcal {L}}}\ge a_{\min }\); for the continuity constant \(C_{{\mathcal {B}}}\), we have \(C_{{\mathcal {B}}}\le a_{\max }\); \(C_{\mathrm {P}}\) is the Poincaré constant and the problem states: Given \(f\in L^2(0,T; L^2_{\rho }(\Gamma ;L^2))\) and \(u_0\in L^2_{\rho }(\Gamma ;L^2)\), find \(u_{\mathrm {true}}\in L^2(0,T; L^2_{\rho }(\Gamma ;H^1_0))\) with \({\dot{u}}_{\mathrm {true}}\in L^2(0,T; L^2_{\rho }(\Gamma ;H^{-1}))\) such that
The discretization is performed as described in Sect. 4. To address the condition (22) we can consider a triangulation \({\mathcal {T}}_h\) of the domain D specified by the discretization parameter h and a corresponding finite element space \(V_h\) of continuous piece-wise polynomials of degree \(\le r\). Under the condition that the family of meshes \(\{{\mathcal {T}}_h\}_h\) is quasi-uniform (see [13, Def. 1.140] for definition), we have the inverse inequality (see [13, Cor. 1.141])
for some \(C_{\mathrm {I}}> 0\). Integrating over \(\Gamma \) results in
i.e. we have the condition (22) with \(p=1\).
6.1 Explicit Euler scheme
Applying the explicit Euler scheme in the operator evaluation for a random heat equation, i.e.
results in the following system of equations
The stability properties stated in Theorem 6 part 2 and 4 hold under the condition
6.2 Semi-implicit scheme
Let us consider the decomposition
i.e.
The condition (29) is satisfied, since \({\bar{a}}\) is positive everywhere in D as assumed in (77). Hence,
is a scalar product on \(V = H^1_0(D)\). The semi-implicit time integration is realized by
Note that the condition (68) is automatically satisfied for a random heat equation, since we have
and \(\inf _{x\in D,\xi \in \Gamma }\frac{{\bar{a}}}{a}\ge \frac{a_{\min }}{a_{\max }}>0\).
The system of Eqs. (31)–(33) can be rewritten as
For a further specified diffusion coefficient we can state the following stability properties.
Proposition 5
For the case
which is satisfied in particular if
we have the stability properties (71) and (72) for any \(\triangle t, h\).
Proof
The condition \({\bar{a}}(x) \ge a_{\mathrm {stoch}}(x,\xi )\) for every \( x\in D,\xi \in \Gamma \) implies
i.e. \(C_{\mathrm {det}}\ge \inf _{x\in D,\xi \in \Gamma } \frac{{\bar{a}}}{a}\ge \frac{1}{2}.\) Together with Theorem 7 we conclude the result. \(\square \)
Proposition 5 tells us that applying a semi-implicit scheme to solve a heat equation with diffusion coefficient as described in (82) results in an unconditionally stable scheme. This result as well as some of the previous estimates will be numerically verified in the following section.
7 Numerical results
This section is dedicated to numerically study the stability estimates derived for a discrete DLR approximation in Sect. 5. In particular, we will be concerned with a random heat equation, as introduced in (78), with zero forcing term and diffusion coefficient of the form (82). We will look at the behavior of suitable norms of the solutions of the discretization schemes introduced in Sect. 4.1. We will as well look at a discretization scheme in which the projection is performed explicitly to see how important it is to project on the new computed basis \({\tilde{U}}^{n+1}\) in (25). As a last result we provide a comparison with the projector-splitting scheme from [29].
Let us consider problem (78) set in a unit square \(D = [0,1]^2\) and sample space \(\Gamma = [-1, 1]^M\) with an uncertain diffusion coefficient
where \(x = (x_1, x_2)\in D,\; \xi = (\xi _1,\dots ,\xi _M)\in \Gamma \). We let \(a_0 = 0.3\), and equip \(([-1,1]^M,{\mathcal {B}}([-1,1]^M))\) with the uniform measure \(\rho (\mathrm {d}\xi ) = \bigotimes _{i=1}^{M} \frac{\lambda (\mathrm {d}\xi _i)}{2}\) with \(\lambda \) the Lebesgue measure restricted to the Borel \(\sigma \)-algebra \({\mathcal {B}}([-1,1])\). In this case the conditions (77), (29) and (68) are satisfied with \(a_{\min }> 0.04, C_{\mathrm {det}}> \frac{1}{2}\). The initial condition is chosen as
The spatial discretization is performed by the finite element (FE) method with P1 finite elements over a uniform mesh. The dimension of the corresponding FE space is determined by h—the element size. For this type of spatial discretization we have the inverse inequality (79):
Concerning the stochastic discretization we will consider a tensor grid quadrature with Gauss-Legendre points for the case of a low-dimensional stochastic space \(M = 2\) and a Monte-Carlo quadrature for the case \(M = 10\). The time integration implements the explicit scheme and the semi-implicit scheme described in Sect. 4.1. We will consider the forcing term \(f = 0\), i.e. a dissipative problem and time T such that the energy norm (\(\Vert \cdot \Vert _{{\mathcal {L}},{\hat{\rho }}}\)) of the solution attains a value smaller than \(10^{-10}\). Our simulations were performed using the Fenics library [2].
7.1 Explicit scheme
Since \(f = 0\), the result in Theorem 6 predicts a decay of the norm of the solution
under the stability condition
We aim at verifying such result numerically. We set a rank \(R = 3\) and consider a sample space \([-1,1]^M\) of dimension \(M = 2\) or \(M = 10\) with either Gauss-Legendre or Monte-Carlo (MC) stochastic discretization.
7.1.1 \(M = 2\)
First we consider the sample space \([-1,1]^M\) of dimension \(M=2\) and Gauss-Legendre quadrature with \(9\times 9 = 81\) collocation points. From what we observed in our simulations, for this test case we have \(K\approx 0.085\). Figure 1 shows the behavior of the energy norm (\(\Vert \cdot \Vert _{{\mathcal {L}},{\hat{\rho }}}\)) and the \(L^2\) norm (\(\Vert \cdot \Vert _{H,L^2_{{\hat{\rho }}}}\)) in 3 different scenarios: in the first scenario we set \(h_1 = 0.142, \triangle t_1 = 0.0018\), i.e. the condition \(\triangle t_1/h_1^2 \le K\) is satisfied and observe that both the energy norm and the \(L^2\) norm of the solution decrease in time (see Fig. 1a); in the second scenario, we halved the element size \(h_2 = h_1/2\) and divided by 4 the time step \(\triangle t_2 = \triangle t_1/4\) so that the condition (85) is still satisfied. The norms again decreased in time (Fig. 1b); in the third scenario we violated the condition (85) by setting \(h_3 = h_1/2\) and \(\triangle t_3 = \triangle t_1/3\). After a certain time the norms exploded (Fig. 1c).
To numerically demonstrate the sharpness of the condition (85), we ran the simulation with 72 different pairs of discretization parameters \(h,\triangle t\). The results are shown in Fig. 2, where we depict whether the energy norm at time T is bellow \(10^{-10}\), in which case the norm was consistently decreasing; or more than \(10^4\), in which case the solution blew up. We observe that a stable \(\triangle t\) has to be chosen to satisfy \(\triangle t \le K h^2\), which confirms the sharpness of our theoretical derivations.
7.1.2 \(M = 10\)
In our second example we will consider a higher-dimensional problem: \(M = 10\) for which we use a standard Monte-Carlo technique with 50 points. We observe a very similar behavior as in the small dimensional case. Figure 3 shows that satisfying the condition \(\triangle t_1/h_1^2 \le K\) with \(K = 0.085\) results in a stable scheme while violating it makes the solution blow up.
7.2 Semi-implicit scheme
We proceed with the same test-case with \(M = 10\), same spatial and stochastic discretization, i.e. Monte-Carlo method with 50 samples and employ a semi-implicit scheme in the operator evaluation. Since the diffusion coefficient considered is of the form (82) and \(f = 0\), Theorem 7 predicts
We set the spatial discretization \(h = 0.142\) and vary the time step \(\triangle t\). We observe a stable behavior no matter what \(\triangle t\) is used, which confirms the theoretical result (see Fig. 4).
We report that the results for \(M=2\) with 81 Gauss-Legendre collocation points exhibited a similar unconditionally-stable behavior.
7.2.1 Explicit projection
The following results give an insight into the importance of performing the projection in a ‘Gauss-Seidel’ way, i.e. projection on the stochastic basis is done explicitly, \(Y^n\) kept from the previous time step, while the projection on the deterministic basis is done implicitly, i.e. we use the new computed \({\tilde{U}}^{n+1}\) (see Algorithm 1 for more details). For comparison we consider a fully explicit projection, i.e. \(Y^n\) as the stochastic basis and \(U^n\) as the deterministic basis. We use a semi-implicit scheme to treat the operator evaluation term as described in Sect. 4.1. As shown in Fig. 5, in all 3 cases the solution reaches the zero steady state, however, not in a monotonous way.
7.3 Comparison with the DDO projector-splitting scheme
We now compare the performance of the discretization scheme from Algorithm 1 with the projector-splitting scheme from Algorithm 2.
We proceed with setting \(h = 0.142, M = 10, \triangle t = 100\), stochastic discretization is performed again by Monte-Carlo method with 50 points and we implemented the semi-implicit scheme in the operator evaluation for both the Algorithm 1 and the projector-splitting Algorithm 2. We expect that the energy norm decreases on every step independently of the time step size.
We fix \(R = 3\). Throughout the whole simulation, the computed solution stays full rank, in which case the two schemes have been shown to be equivalent (see Sect. 4.4). In Fig. 6a this can be well observed. Steps 2 and 5 from Algorithm 2 are performed by a QR decomposition, whereas the linear system in (25) is solved by the Cholesky factorization (with a help of the SciPy library [18], version 0.19.1).
We now investigate the behavior of the two algorithms in presence of a rank deficient solution. We fix \(R = 20\). The initial condition (84) is of rank 3. For the first couple of steps the DLR solution therefore stays of rank lower than \(R = 20\). The matrix \({\tilde{M}}^{n+1}\) from (25) is singular and the solution of the system (25) is obtained as a least squares solution implemented via an SVD decomposition. The threshold to detect the effective rank of \({\tilde{M}}^{n+1}\) is set to \(\varepsilon \, \sigma _1 R\) where \(\varepsilon \) is the machine precision and \(\sigma _1\) is the largest singular value of \({\tilde{M}}^{n+1}\). Steps 2 and 5 from Algorithm 2 are performed by a pivoted QR decomposition. The solution obtained by Algorithm 1 is proved to be stable in this scenario. The two proposed schemes exhibit minor differences, however both of them are stable (see Fig. 6b).
8 Conclusions
In this work we proposed and analyzed three types of discretization schemes, namely explicit, implicit and semi-implicit, to obtain a numerical solution of the DLR system of evolution equations for the deterministic and stochastic modes. Such discrete DLR solution was obtained by projecting the discretized dynamics on the tangent space of the low-rank manifold at an intermediate point. This point was built using the new-computed deterministic modes and old stochastic modes. We found this projection property to be useful when investigating stability of the DLR solution. The solution obtained by the implicit scheme remains unconditionally bounded by the data in suitable norms. Concerning the explicit and semi-implicit schemes, we derived stability conditions on the time step, independent of the smallest singular value, under which the solution remains bounded. Remarkably, applying the proposed semi-implicit scheme to a random heat equation with diffusion coefficient affine with respect to random variables results in a scheme unconditionally stable, with the same computational complexity as the explicit scheme. Our theoretical derivations are supported by numerical tests applied to a random heat equation with zero forcing term. In the semi-implicit case, we observed that the norm of the solution consistently decreases for every time-step considered. In the explicit case, our numerical results suggest that our theoretical stability condition on the time step is in fact sharp. Our future work includes investigating if the proposed approach can be extended to higher-order projector-splitting integrators, or used to show stability properties for other types of equations.
References
Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis, 3rd edn. Springer, Berlin (2006)
Alnæs, M.S., Blechta, J., Hake, J., Johansson, A., Kehlet, B., Logg, A., Richardson, C., Ring, J., Rognes, M.E., Wells, G.N.: The fenics project version 1.5. Arch. Numer. Softw. (2015). https://doi.org/10.11588/ans.2015.100.20553
Bachmayr, M., Eisenmann, H., Kieri, E., Uschmajew, A.: Existence of dynamical low-rank approximations to parabolic problems. Math. Comp. 90, 1799–1830 (2021). https://doi.org/10.1090/mcom/3626
Beck, M.H., Jäckle, A., Worth, G., Meyer, H.D.: The multiconfiguration time-dependent Hartree (MCTDH) method: a highly efficient algorithm for propagating wavepackets. Phys. Rep. 324(1), 1–105 (2000)
Berkooz, G., Holmes, P., Lumley, J.L.: The proper orthogonal decomposition in the analysis of turbulent flows. Annu. Rev. Fluid Mech. 25(1), 539–575 (1993). https://doi.org/10.1146/annurev.fl.25.010193.002543
Carlberg, K., Farhat, C.: A low-cost, goal-oriented compact proper orthogonal decomposition basis for model reduction of static systems. Int. J. Num. Methods Eng. 86(3), 381–402 (2011)
Cheng, M., Hou, T.Y., Zhang, Z.: A dynamically bi-orthogonal method for time-dependent stochastic partial differential equations i: Derivation and algorithms. J. Comput. Phys. 242, 843–868 (2013). https://doi.org/10.1016/j.jcp.2013.02.033
Cheng, M., Hou, T.Y., Zhang, Z.: A dynamically bi-orthogonal method for time-dependent stochastic partial differential equations ii: Adaptivity and generalizations. J. Comput. Phys. 242, 753–776 (2013). https://doi.org/10.1016/j.jcp.2013.02.020
Choi, M., Sapsis, T.P., Karniadakis, G.E.: On the equivalence of dynamically orthogonal and bi-orthogonal methods: Theory and numerical simulations. J. Comput. Phys. 270, 1–20 (2014). https://doi.org/10.1016/j.jcp.2014.03.050
Cohen, A., Devore, R., Schwab, C.: Analytic regularity and polynomial approximation of parametric and stochastic elliptic PDEs. Anal. Appl. 09(1), 11–47 (2011). https://doi.org/10.1142/S0219530511001728
Einkemmer, L.: A low-rank algorithm for weakly compressible flow. SIAM J. Sci. Comput. 41(5), A2795–A2814 (2019). https://doi.org/10.1137/18M1185417
Einkemmer, L., Lubich, C.: A low-rank projector-splitting integrator for the vlasov-poisson equation. SIAM J. Sci. Comput. 40(5), B1330–B1360 (2018). https://doi.org/10.1137/18M116383X
Ern, A., Guermond, J.L.: Finite Element Interpolation, pp. 3–80. Springer, New York (2004). https://doi.org/10.1007/978-1-4757-4355-5_1
Ern, A., Guermond, J.L.: Time-Dependent Problems, pp. 279–334. Springer, New York (2004). https://doi.org/10.1007/978-1-4757-4355-5_6
Falcó, A., Hackbusch, W., Nouy, A.: On the Dirac-Frenkel variational principle on tensor banach spaces. Found. Comput. Math. 19(1), 159–204 (2019). https://doi.org/10.1007/s10208-018-9381-4
Feppon, F., Lermusiaux, P.F.J.: A geometric approach to dynamical model order reduction. SIAM J. Matrix Anal. Appl. 39(1), 510–538 (2018). https://doi.org/10.1137/16M1095202
Golub, G.H., Van Loan, C.F.: Matrix Comput, 3rd edn. Johns Hopkins University Press, Baltimore, MD, USA (1996)
Jones, E., Oliphant, T., Peterson, P., et al.: SciPy: Open source scientific tools for Python (2001). http://www.scipy.org/
Kazashi, Y., Nobile, F.: Existence of dynamical low rank approximations for random semi-linear evolutionary equations on the maximal interval. Stoch PDE: Anal Comp 9, 603–629 (2021). https://doi.org/10.1007/s40072-020-00177-4
Kieri, E., Lubich, C., Walach, H.: Discretized dynamical low rank approximation in the presence of small singular values. SIAM J. Numer. Anal. 54(2), 1020–1038 (2016). https://doi.org/10.1137/15M1026791
Kieri, E., Vandereycken, B.: Projection methods for dynamical low-rank approximation of high-dimensional problems. Comput. Methods Appl. Math. 19(1), 73–92 (2018). https://doi.org/10.1515/cmam-2018-0029
Koch, O., Kreuzer, W., Scrinzi, A.: Approximation of the time-dependent electronic Schrödinger equation by MCTDHF. Appl. Math. Comput. 173(2), 960–976 (2006). https://doi.org/10.1016/j.amc.2005.04.027
Koch, O., Lubich, C.: Dynamical low rank approximation. SIAM J. Matrix Anal. Appl. 29(2), 434–454 (2007). https://doi.org/10.1137/050639703
Koch, O., Lubich, C.: Regularity of the multi-configuration time-dependent Hartree approximation in quantum molecular dynamics. ESAIM: M2AN 41(2), 315–331 (2007). https://doi.org/10.1051/m2an:2007020
Koch, O., Lubich, C.: Dynamical tensor approximation. SIAM J. Matrix Anal. Appl. 31(5), 2360–2375 (2010). https://doi.org/10.1137/09076578X
Le Maitre, O., Knio, O.: Spectr. Methods Uncertain. Quantif. Springer, Berlin (2010)
Leoni, G.: A first course in Sobolev spaces, 2nd edn. American Mathematical Society, Providence, Rhode Island (2017)
Lubich, C.: From quantum to classical molecular dynamics: reduced models and numerical analysis. European Mathematical Society (2008)
Lubich, C., Oseledets, I.V.: A projector-splitting integrator for dynamical low-rank approximation. BIT Numer. Math. 54(1), 171–188 (2014). https://doi.org/10.1007/s10543-013-0454-0
Lubich, C., Oseledets, I.V., Vandereycken, B.: Time integration of tensor trains. SIAM J. Numer. Anal. 53(2), 917–941 (2015). https://doi.org/10.1137/140976546
Lubich, C., Rohwedder, T., Schneider, R., Vandereycken, B.: Dynamical approximation of hierarchical Tucker and tensor-train tensors. SIAM J. Matrix Anal. Appl. 34(2), 470–494 (2013). https://doi.org/10.1137/120885723
Musharbash, E., Nobile, F., Zhou, T.: Error analysis of the dynamically orthogonal approximation of time dependent random PDEs. SIAM J. Sci. Comput. 37(2), A776–A810 (2015). https://doi.org/10.1137/140967787
Nobile, F., Tempone, R.: Analysis and implementation issues for the numerical approximation of parabolic equations with random coefficients. Int. J. Num. Methods Eng. 80(6–7), 979–1006 (2009). https://doi.org/10.1002/nme.2656
Sapsis, T.P., Lermusiaux, P.F.J.: Dynamically orthogonal field equations for continuous stochastic dynamical systems. Phys. D: Nonlinear Phenom. 238(23), 2347–2360 (2009). https://doi.org/10.1016/j.physd.2009.09.017
Sapsis, T.P., Lermusiaux, P.F.J.: Dynamical criteria for the evolution of the stochastic dimensionality in flows with uncertainty. Phys. D: Nonlinear Phenom. 241(1), 60–76 (2012). https://doi.org/10.1016/j.physd.2011.10.001
Ueckermann, M.P., Lermusiaux, P.F., Sapsis, T.P.: Numerical schemes for dynamically orthogonal equations of stochastic fluid and ocean flows. J. Comput. Phys. 233, 272–294 (2013). https://doi.org/10.1016/j.jcp.2012.08.041
Wiener, N.: The homogeneous chaos. Am. J. Math. 60(4), 897–936 (1938)
Wloka, J.: Partial Differential Equations. Cambridge University Press, Cambridge (1987)
Xiu, D., Karniadakis, G.E.: The wiener-askey polynomial chaos for stochastic differential equations. SIAM J. Sci. Comput. 24(2), 619–644 (2002). https://doi.org/10.1137/S1064827501387826
Zeidler, E.: Linear Monotone Operators: Hilbert Space Methods and Linear Parabolic Differential Equations. Springer, New York (1990). https://doi.org/10.1007/978-1-4612-0985-0
Acknowledgements
This work has been supported by the Swiss National Science Foundation under the Project n. 172678 “Uncertainty Quantification Techniques for PDE constrained optimization and random evolution equations”.
Funding
Open access funding provided by EPFL Lausanne
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Let \((\Omega ,{\mathcal {F}}, \rho )\) be a measure space. Let V be a separable Banach space, and \(V'\) be its topological dual space. Let \({\mathfrak {L}}(V,V')\) be the space of bounded linear operators equipped with the operator norm. Moreover, let \(\mathcal {{\mathcal {B}}}(V)\), \(\mathcal {{\mathcal {B}}}(V')\), \({\mathcal {B}}({\mathfrak {L}}(V,V'))\) be the corresponding Borel \(\sigma \)-algebras.
Proposition A
Suppose that \(L:\Omega \rightarrow {\mathfrak {L}}(V,V')\) is \({\mathcal {F}}/{\mathcal {B}}({\mathfrak {L}}(V,V'))\)-measurable. Let a measurable mapping \((\Omega ,{\mathcal {F}})\ni \omega \mapsto v(\omega )\in (V,{\mathcal {B}}(V))\) be given. Then, the mapping
is measurable. In particular, if \(V'\) is separable, \((\Omega ,{\mathcal {F}})\ni \omega \mapsto L(\omega )v(\omega )\in V'\) is strongly measurable.
Proof
We will show that the mapping \(\omega \mapsto L(\omega )v(\omega )\) is the composition of measurable mappings
The first mapping is measurable, since for every product set \(A\times B\in \mathcal {{\mathcal {F}}}\times {\mathcal {B}}(V)\) its pre-image is in \({\mathcal {F}}\). We show that the second mapping is measurable. First, notice that for each \(\phi \in V\)
is \({\mathcal {F}}/{\mathcal {B}}(V')\)-measurable. Indeed, from the assumption, \(\omega \mapsto L(\omega )\in {\mathfrak {L}}(V,V')\) is \({\mathcal {F}}/{\mathcal {B}}({\mathfrak {L}}(V,V'))\) measurable, and the mapping \({\mathfrak {L}}(V,V')\ni {\bar{L}}\mapsto {\bar{L}}\phi \in V'\) is continuous. Thus, the \({\mathcal {F}}/{\mathcal {B}}(V')\)-measurability follows. Therefore, since \(L(\omega ):V\rightarrow V'\) is continuous for each \(\omega \in \Omega \), the mapping
is a Carathéodory function. Hence, from the separability of V, the measurability of the second mapping follows, see [1, Lemma4.51]. Now the proof is complete. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kazashi, Y., Nobile, F. & Vidličková, E. Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations. Numer. Math. 149, 973–1024 (2021). https://doi.org/10.1007/s00211-021-01241-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-021-01241-4