Discretisation of abstract linear evolution equations of parabolic type

Abstract

We investigate the discretisation of the linear parabolic equation du/dt = A(t)u + f(t) in abstract spaces, making use of both the implicit and the explicit finite-difference schemes. The stability of the explicit scheme is obtained, and the schemes' rates of convergence are estimated. Additionally, we study the special cases where A and f are approximated by integral averages and also by weighted arithmetic averages.

MSC 2010: 65J10.

1 Introduction

In this article, we study the discretisation, with finite-difference methods, of the evolution equation problem

$$\frac{du}{dt}=A\left(t\right)u+f\left(t\right)\text{in}\left[0,T\right],u\left(0\right)=g,$$

(1)

where, for every t ∈ [0, T] with T ∈ (0, ∞), A(t) is a linear operator from a reflexive separable Banach space V to its dual V*, u: [0, T] → V is an unknown function, f: [0, T] → V*, g belongs to a Hilbert space H, with f and g given, and V is continuously and densely embedded into H. We assume that operator A(t) is continuous and impose a coercivity condition.

Our motivation lies in the numerical approximation of multidimensional PDE problems arising in European financial option pricing. Let us consider the stochastic modeling of a multi-asset financial option of European type under the framework of a general version of Black-Scholes model, where the vector of asset appreciation rates and the volatility matrix are taken time and space-dependent. Owing to a Feynman-Kač type formula, pricing this option can be reduced to solving the Cauchy problem (with terminal condition) for a second-order linear parabolic PDE of nondivergent type, with null term and unbounded coefficients, degenerating in the space variables (see, e.g., [1]).

After a change of the time variable, the PDE problem is written

$$\frac{\partial u}{\partial t}=Lu+f\text{in}\left[0,T\right]\times {ℝ}^d,u\left(0,x\right)=g\left(x\right)\text{in}{ℝ}^d,$$

(2)

where L is the second-order partial differential operator in the nondivergence form

$$L\left(t,x\right)=a^{ij}\left(t,x\right)\frac{{\partial }^2}{\partial x_i\partial x_j}+b^i\left(t,x\right)\frac{\partial }{\partial x_i}+c\left(t,x\right),i,j=1,...,d,$$

with real coefficients, f and g are given real-valued functions (the free term f is included to further improve generality), and T ∈ (0, ∞) is a constant. For each t ∈ [0, T] the operator - L is degenerate elliptic, and the growth in the spatial variables of the coefficients a, b, and of the free data f, g is allowed. One possible approach for the numerical approximation of the PDE problem (2) is to proceed to a two-stage discretisation. First, the problem is semi-discretised in space, and both the possible equation degeneracy and coefficient unboundedness are dealt with (see, e.g., [2, 3], where the spatial approximation is pursued in a variational framework, under the strong assumption that the PDE does not degenerate, and [4]). Subsequently, a time discretisation takes place.

For the time discretisation, the topic of the present article, it can be tackled by approximating the linear evolution equation problem (1) which the PDE problem (2) can be cast into. This simpler general approach, which we follow, is powerful enough to obtain the desired results. On the other hand, it covers a variety of problems, namely initial-value and initial boundary-value problems for linear parabolic PDEs of any order m ≥ 2.

Several studies dealing with the discretisation of parabolic evolution problems in abstract spaces can be found in the literature. Most of them are concerned with the discretisation of problems with constant operator A (see, e.g., [5–9]). Other studies (see, e.g., [10–13]), study the general case where the operator A is time-dependent, under Hölder or Lipschitz-continuity assumptions. Also, in some of the above mentioned studies and in others, as in [14], the discretisation is pursued by considering a particular discretisation of the datum f (namely, by using integral averages).

In the present study, we study the discretisation in time of problem (1) with time-dependent operator A in a general setting. We use both the implicit and the explicit finite-difference schemes. To further improve generality, we proceed to the study leaving the discretised versions of A and f nonspecified. Also, in order to obtain the convergence of the schemes, we need to assume that the solution of (1) satisfies a smoothness condition but weaker than the usual Hölder-continuity.

It is well known that, to guarantee the explicit scheme stability, an additional assumption has to be made, usually involving an inverse inequality between V and H (see, e.g., [15]). In our study, the explicit discretisation is investigated by assuming instead a not usual inverse inequality between H and V*.

In addition, we illustrate our study by exploring examples where different choices are made for the discretised versions of A and f.

First, we consider the approximation of A and f by integral averages. We show that the standard smoothness and coercivity assumptions for problem (1) induce correspondent properties for the discretised problem, so that stability results can be proved. Moreover, the rate of convergence we obtain is optimal. Then, we study the alternative approximation of A and f by weighted arithmetic averages of their respective values at consecutive time-grid points. In this case, stronger smoothness assumptions are needed in order to obtain the scheme convergence.

We emphasize that none of the above mentioned choices is artificial: there are applications where the available information regards the values of A and f at the time-grid points and others the integral averages, but usually not both.

The article is organized as follows. In Section 2, we set an abstract framework for a linear parabolic evolution equation and present a solvability classical result. In the following two sections, we study the discretisation of the evolution equation with the use of the Euler's implicit scheme (Section 3) and the Euler's explicit scheme (Section 4). In Sections 5 and 6, we discuss some examples, respectively, for the implicit and the explicit discretisation schemes and, finally, in Section 7, we present some computational results.

2 Preliminaries

We establish some facts on the solvability of linear evolution equations of parabolic type.

Let V be a reflexive separable Banach space embedded continuously and densely into a Hilbert space H with inner product (·, ·). Then H*, the dual space of H, is also continuously and densely embedded into V*, the dual of V. Let us use the notation 〈·,·〉 for the dualization between V and V*. Let H* be identified with H in the usual way, by the Riesz isomorphism. Then we have the so called normal (or Gelfand) triple

$$V\hookrightarrow H\equiv H^{*}\hookrightarrow V^{*},$$

with continuous and dense embeddings. It follows that 〈u, v〉 = (u, v), for all u ∈ H and for all v ∈ V. Furthermore, |〈u,v〉| ≤ ∥u∥_V*∥v∥ _v , for all u ∈ V* and for all v ∈ V (the notation ∥ · ∥ _X stands for the Banach space X norm). Let us consider the Cauchy problem for an evolution equation

$$\frac{du}{dt}=A\left(t\right)u+f\left(t\right)\text{in}\left[0,T\right],u\left(0\right)=g,$$

(3)

with T ∈ (0, ∞), where A(t) is a linear operator from V to V* for every t ∈ [0, T] and A(·)v : [0, T] → V* is measurable for fixed v ∈ V, u : [0, T] → V is an unknown differentiable function, f : [0, T] → V* is a measurable given function, d/dt is the standard derivative with respect to the time variable t, and g ∈ H is given.

We assume that the operator A(t) is continuous and impose a coercivity condition, as well as some regularity on the free data f and g.

Assumption 1. Suppose that there exist constants λ > 0, K, M, and N such that

1.$⟨A\left(t\right)v,v⟩+\lambda {∥v∥}_V^2\le K{∥v∥}_H^2$, ∀v ∈ V and ∀t ∈ [0,T];

2. ∥A(t)v∥_V*≤ M∥v∥ _V , ∀v ∈ V and ∀t ∈ [0, T];

3.${\int }_0^T{∥f\left(t\right)∥}_{V^{*}}^{2}dt\le N$and ∥g∥ _H ≤ N.

We define the generalized solution of problem (3).

Definition 1. We say that u ∈ C([0,T]; H) is a generalized solution of (3) on [0,T] if

1. u ∈ L²([0,T];V);

2. $\left(u\left(t\right),v\right)=\left(g,v\right)+{\displaystyle \underset{0}{\overset{t}{\int }}}⟨A\left(s\right)u\left(s\right),v⟩ds+{\displaystyle \underset{0}{\overset{t}{\int }}}⟨f\left(s\right),v⟩ds,\forall v\in V,\forall t\in \left[0,T\right].$

Let X be a Banach space with norm ∥ · ∥ _X . We denote by C([0,T]; X) the space of all continuous X-valued functions z on [0,T] such that

$${∥z∥}_{C\left(\left[0,T\right],X\right)}:=\underset{0\le t\le T}{\text{max}}{∥z\left(t\right)∥}_X<\infty$$

and by L²([0,T];X) the space comprising all strongly measurable functions w : [0,T] → X such that

$${∥w∥}_{L^2\left(\left[0,T\right];X\right)}:={\left({\displaystyle \underset{0}{\overset{T}{\int }}}{∥w\left(t\right)∥}_X^{2}dt\right)}^{1/2}<\infty .$$

The following well-known result states the existence and uniqueness of the generalized solution of problem (3) (see, e.g., [16]).

Theorem 1. Under conditions (1)-(3) of Assumption 1, problem (3) has a unique generalized solution on [0,T]. Moreover

$$\underset{t\in \left[0,T\right]}{\text{sup}}{∥u\left(t\right)∥}_H^2+{\displaystyle \underset{0}{\overset{T}{\int }}}{∥u\left(t\right)∥}_V^{2}dt\le N\left({∥g∥}_H^2+{\displaystyle \underset{0}{\overset{T}{\int }}}{∥f\left(t\right)∥}_{V^{*}}^{2}dt\right),$$

where N is a constant.

3 Implicit discretisation

We will now study the time discretisation of problem (3) making use of an implicit finite-difference scheme. We begin by constructing an appropriate discrete framework.

Take a number T ∈ (0, ∞), a non-negative integer n such that T/n ∈ (0,1], and define the n-grid on [0,T]

$$T_n=\left\{t\in \left[0,T\right]:t=jk,j=0,1,...,n\right\},$$

(4)

where k := T/n. Denote t _j = jk for j = 0,1,..., n.

For all z ∈ V, we consider the backward difference quotient

$${\Delta }^{-}z\left(t_{j+1}\right)=k^{-1}\left(z\left(t_{j+1}\right)-z\left(t_j\right)\right),j=0,1,...,n-1.$$

Let A _k , f _k be some time-discrete versions of A and f, respectively, i.e., A _k (t _j ) is a linear operator from V to V* for every j = 0,1,..., n and f _k : T _n → V* a function. For all z ∈ V, denote A_k,j+1z = A _k (t_j+1) _z , f_k,j+1= f _k (t_j+1), j = 0, 1,..., n - 1.

For each n ≥ 1 fixed, we define v _j = v(t _j ), j = 0,1,..., n, a vector in V satisfying

$${\Delta }^{-}{v}_{i+1}=A_{k,i+1}{v}_{i+1}+f_{k,i+1}\text{for}i=0,1,...,n-1,v_0=g.$$

(5)

Problem (5) is a time-discrete version of problem (3).

Assumption 2. Suppose that

1.$⟨A_{k,j+1}v,v⟩+\lambda {∥v∥}_V^2\le K{∥v∥}_H^2$, ∀v ∈ V, j = 0,1,..., n - 1,

2. ∥A_k,j+1v∥_V*≤ M∥v∥ _V , ∀v ∈ V, j = 0,1,..., n - 1,

3.${\sum }_{j=0}^{n-1}{∥f_{k,j+1}∥}_{V^{*}}^{2}k\le N$and ∥g∥ _H ≤ N,

where λ, K, M, and N are the constants in Assumption 1.

Remark 1. Note that as problem (5) is a time-discrete version of problem (3) and g denotes the same function in both problems, under Assumption 1 we have that g ∈ H and ∥g∥ _H ≤ N.

Under the above assumption, we establish the existence and uniqueness of the solution of problem (5).

Theorem 2. Let Assumption 2 be satisfied and the constant K be such that Kk ≤ 1. Then for all n ∈ ℕ there exists a unique vector v₀, v₁, ... ,v _n in V satisfying (5).

To prove this result, we consider the following well known lemma (see, e.g., [16, 17]).

Lemma 1 (Lax-Milgram). Let B : V → V* be a bounded linear operator. Assume there exists λ > 0 such that$⟨Bv,v⟩\ge \lambda {∥v∥}_V^2$, for all v ∈ V. Then Bv = v* has a unique solution v ∈ V for every given v* ∈ V*.

Proof. (Theorem 2)

From (5), we have that (I - kA_k,1)v₁ = g + f_k,1k and

(I - kA_k,i+1)v_i+1= v _i + f_k,i+1k, for i = 0,1,..., n - 1, with I the identity operator on V.

We first check that the operators I - kA_k,j+1, j = 0,1,..., n - 1, satisfy the hypotheses of Lemma 1. These operators are obviously bounded. We have to show that there exists λ > 0 such that $⟨\left(I-k{A}_{k,j+1}\right)v,v⟩\ge \lambda {∥v∥}_V^2$, for all v ∈ V, j = 0,1,..., n - 1. Owing to (1) in Assumption 2, we have

$$\begin{array}{ll}\hfill ⟨\left(I-k{A}_{k,j+1}\right)v,v⟩& =⟨Iv-k{A}_{k,j+1}v,v⟩={∥v∥}_H^2-k⟨A_{k,j+1}v,v⟩\\ \ge {∥v∥}_H^2-kK{∥v∥}_H^2+k\lambda {∥v∥}_V^2.\end{array}$$

Then, as Kk ≤ 1, we have that $⟨\left(I-k{A}_{k,j+1}\right)v,v⟩\ge k\lambda {∥v∥}_V^2$ and the hypotheses of Lemma 1 are satisfied.

For v₁, we have that (I - kA_{k 1})v₁ = g + f_k,1k. This equation has a unique solution by Lemma 1. Suppose now that equation (I - kA_k,i)v _i = v_i-1+ f_k,ik has a unique solution. Then equation (I - kA_k,i+1)v_i+1= v _i + f_k,i+1k has also a unique solution, again by Lemma 1. The result is obtained by induction.

Next, we prove an auxiliary result and then obtain a version of the discrete Gronwall's lemma convenient for our purposes.

Lemma 2. Let$a_1^n,a_2^n,...,a_n^n$be a finite sequence of numbers for every integer n ≥ 1 such that$0\le a_j^n\le c_0+C{\sum }_{i=1}^{j-1}{a}_i^n$, for all j = 1, 2,..., n, where C is a positive constant and c₀ ≥ 0 is some real number. Then$a_j^n\le {\left(C+1\right)}^{j-1}{c}_0$, for all j = 1, 2,..., n.

Proof. Let $b_j^n:=c_0+C{\sum }_{i=1}^{j-1}{b}_i^n$, j = 1, 2,..., n. Then $a_j^n\le b_j^n$ for all j ≥ 1. Indeed for j = 1, we have that $a_1^n\le b_1^n=c_0$. Assume now that $a_i^n\le b_i^n$ for all i ≤ j. Then

$$b_{j+1}^n=c_0+C{\displaystyle \sum _{i=1}^j}{b}_i^n\ge c_0+C{\displaystyle \sum _{i=1}^j}{a}_i^n\ge a_{j+1}^n$$

and, by induction, $a_j^n\le b_j^n$ for all j ≥ 1. It is easy to see that $b_{j+1}^n-b_j^n=C{b}_j^n$, j ≥ 1, giving

$$a_{j+1}^n\le b_{j+1}^n=\left(C+1\right)b_j^n={\left(C+1\right)}^2{b}_{j-1}^n=...={\left(C+1\right)}^j{b}_1^n={\left(C+1\right)}^j{c}_0,$$

and the result is proved.

Lemma 3 (Discrete Gronwall's inequality). Let$a_0^n,a_1^n,...,a_n^n$be a finite sequence of numbers for every integer n ≥ 1 such that

$$0\le a_j^n\le a_0^n+K{\displaystyle \sum _{i=1}^j}{a}_i^{n}k$$

(6)

holds for every j = 1, 2, ..., n, with k := T/n, and K a positive number such that Kk =: q < 1, with q a fixed constant. Then

$$a_j^n\le a_0^n{e}^{K_{q}T},$$

for all integers n ≥ 1 and j = 1, 2,..., n, where K _q := -K ln(1 - q)/q.

Proof. The result is obtained by using standard discrete Gronwall arguments. From (6), as Kk < 1 we have

$$\left(1-Kk\right)a_j^n\le a_0^n+K{\displaystyle \sum _{i=1}^{j-1}}{a}_i^{n}k\iff a_j^n\le \frac{a_0^n}{1-Kk}+\frac{Kk}{1-Kk}{\displaystyle \sum _{i=1}^{j-1}}{a}_i^n,$$

(7)

for every j = 1, 2,..., n. Owing to Lemma 2, with $c_0=a_0^n/\left(1-Kk\right)$ and C = Kk/(1 - Kk), from the right inequality in (7) we obtain

$$a_j^n\le {\left(\frac{Kk}{1-Kk}+1\right)}^{j-1}\frac{a_0^n}{1-Kk}=\frac{a_0^n}{{\left(1-Kk\right)}^j}\le \frac{a_0^n}{{\left(1-Kk\right)}^n}.$$

Noting that

$$\begin{array}{ll}\hfill {\left(1-Kk\right)}^n& =\text{exp}\left(n\text{ln}\left(1-Kk\right)\right)=\text{exp}\left(nKk\frac{\text{ln}\left(1-q\right)}{q}\right)\\ =\text{exp}\left(KT\frac{\text{ln}\left(1-q\right)}{q}\right),\end{array}$$

the result is proved.

We are now able to prove that the scheme (5) is stable, that is, the solution of the discrete problem remains bounded independently of k.

Theorem 3. Let Assumption 2 be satisfied and assume further that constant K satisfies: 2Kk < 1. Denote v_k,j, with j = 0, 1, ..., n, the unique solution of problem (5) in Theorem 2. Then there exists a constant N independent of k such that

1. $\underset{0\le j\le n}{\text{max}}{∥v_{k,j}∥}_H^2\le N\left({∥g∥}_H^2+{\displaystyle \sum _{j=1}^n}{∥f_{k,j}∥}_{V^{*}}^{2}k\right);$

2. ${\displaystyle \sum _{j=0}^n}{∥v_{k,j}∥}_V^{2}k\le N\left({∥g∥}_H^2+{\displaystyle \sum _{j=1}^n}{∥f_{k,j}∥}_{V^{*}}^{2}k\right).$

Remark 2. Owing to (3) in Assumption 2, the estimates (1) and (2) above can be written, respectively,

$$\underset{n\ge 1}{\text{sup}}\left(\underset{0\le j\le n}{\text{max}}{∥v_{k,j}∥}_H^2\le N\right)and\underset{n\ge 1}{\text{sup}}\left({\displaystyle \sum _{j=0}^n}{∥v_{k,j}∥}_V^{2}k\le N\right).$$

Remark 3. Under Assumption 2, with K satisfying 2Kk < 1, Theorem 2 obviously holds so that problem (5) has a unique solution.

Proof. (Theorem 3)

For i = 0,1,..., n - 1, we have that

$${∥v_{k,i+1}∥}_H^2-{∥v_{k,i}∥}_H^2=2⟨v_{k,i+1}-v_{k,i},v_{k,i+1}⟩-{∥v_{k,i+1}-v_{k,i}∥}_H^2$$

(8)

and, summing up both members of equation (8), we obtain, for j = 1, 2,..., n,

$${∥v_{k,j}∥}_H^2={∥v_{k,0}∥}_H^2+{\displaystyle \sum _{i=0}^{j-1}}2⟨v_{k,i+1}-v_{k,i},v_{k,i+1}⟩-{\displaystyle \sum _{i=0}^{j-1}}{∥v_{k,i+1}-v_{k,i}∥}_H^2.$$

Hence

$$\begin{array}{ll}\hfill {∥v_{k,j}∥}_H^2& \le {∥v_{k,0}∥}_H^2+{\displaystyle \sum _{i=0}^{j-1}}2⟨v_{k,i+1}-v_{k,i},v_{k,i+1}⟩\\ ={∥v_{k,0}∥}_H^2+{\displaystyle \sum _{i=0}^{j-1}}2⟨A_{k,i+1}{v}_{k,i+1}k+f_{k,i+1}k,v_{k,i+1}⟩.\end{array}$$

As, by Cauchy's inequality,

$$2⟨f_{k,i+1},v_{k,i+1}⟩k\le \lambda {∥v_{k,i+1}∥}_V^{2}k+\frac{1}{\lambda }{∥f_{k,i+1}∥}_{V^{*}}^{2}k,$$

with λ > 0, owing to (1) in Assumption 2 we obtain

$${∥v_{k,j}∥}_H^2\le {∥v_{k,0}∥}_H^2+2K{\displaystyle \sum _{i=0}^{j-1}}{∥v_{k,i+1}∥}_H^{2}k-\lambda {\displaystyle \sum _{i=0}^{j-1}}{∥v_{k,i+1}∥}_V^{2}k+\frac{1}{\lambda }{\displaystyle \sum _{i=0}^{j-1}}{∥f_{k,i+1}∥}_{V^{*}}^{2}k,$$

and then

$${∥v_{k,j}∥}_H^2+\lambda {\displaystyle \sum _{i=1}^j}{∥v_{k,i}∥}_V^{2}k\le {∥v_{k,0}∥}_H^2+2K{\displaystyle \sum _{i=1}^j}{∥v_{k,i}∥}_H^{2}k+\frac{1}{\lambda }{\displaystyle \sum _{i=1}^n}{∥f_{k,i}∥}_{V^{*}}^{2}k.$$

(9)

In particular,

$${∥v_{k,j}∥}_H^2\le {∥v_{k,0}∥}_H^2+2K{\displaystyle \sum _{i=1}^j}{∥v_{k,i}∥}_H^{2}k+\frac{1}{\lambda }{\displaystyle \sum _{i=1}^n}{∥f_{k,i}∥}_{V^{*}}^{2}k,$$

(10)

and, using Lemma 3,

$${∥v_{k,j}∥}_H^2\le \left({∥v_{k,0}∥}_H^2+\frac{1}{\lambda }{\displaystyle \sum _{i=1}^n}{∥f_{k,i}∥}_{V^{*}}^{2}k\right)e^{2K_{q}T},$$

(11)

where K _q is the constant defined in the Lemma. Estimate (1) follows. From (9), (10), and (11) we finally obtain

$${∥v_{k,j}∥}_H^2+\lambda {\displaystyle \sum _{i=1}^j}{∥v_{k,i}∥}_V^{2}k\le \left({∥v_{k,0}∥}_H^2+\frac{1}{\lambda }{\displaystyle \sum _{i=1}^n}{∥f_{k,i}∥}_{V^{*}}^{2}k\right)e^{2K_{q}T}$$

and

$${\displaystyle \sum _{i=1}^j}{∥v_{k,i}∥}_V^{2}k\le \left({∥v_{k,0}∥}_H^2+\frac{1}{\lambda }\sum _{i=1}^n{∥f_{k,i}∥}_{V^{*}}^{2}k\right)\frac{1}{\lambda }{e}^{2K_{q}T}.$$

Estimate (2) follows.

We will now study the convergence properties of the scheme we have constructed. We impose stronger regularity on the solution u = u(t) of problem (3):

Assumption 3. Let u be the solution of problem (3) in Theorem 1. We suppose that there exist a fixed number δ ∈ (0, 1] and a constant C such that

$$\frac{1}{k}{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u\left(t_{i+1}\right)-u\left(s\right)∥}_{V}ds\le C{k}^{\delta },$$

for all i = 0, 1, ..., n - 1.

Remark 4. Assume that u satisfies the following condition: "There exist a fixed number δ ∈ (0,1] and a constant C such that ∥u(t) - u(s)∥ _V ≤ C|t - s|^δ, for all s, t ∈ [0,T]". Then Assumption 3 obviously holds.

By assuming this stronger regularity of the solution u of (3), we can prove the convergence of the solution of problem (5) to the solution of problem (3) and determine the convergence rate. The accuracy we obtain is of order δ.

Theorem 4. Let Assumptions 1 and 2 be satisfied and assume further that constant K satisfies: 2Kk < 1. Denote u(t) the unique solution of (3) in Theorem 1 and v_k,j, j = 0, 1, ..., n, the unique solution of (5) in Theorem 2. Let also Assumption 3 be satisfied. Then there exists a constant N independent of k such that

1. $\begin{array}{ll}\hfill \underset{0\le j\le n}{\text{max}}{∥v_{k,j}-u\left(t_j\right)∥}_H^2& \le N\left(k^{2\delta }+\sum _{j=1}^n\frac{1}{k}{∥A_{k,j}u\left(t_j\right)k-{\displaystyle \underset{t_{j-1}}{\overset{t_j}{\int }}}A\left(s\right)u\left(t_j\right)ds∥}_{V^{*}}^2\right.\\ \left.+\sum _{j=1}^n\frac{1}{k}{∥f_{k,j}k-{\displaystyle \underset{t_{j-1}}{\overset{t_j}{\int }}}f\left(s\right)ds∥}_{V^{*}}^2\right);\end{array}$

2. $\begin{array}{ll}\hfill \sum _{j=0}^n{∥v_{k,j}-u\left(t_j\right)∥}_V^{2}k& \le N\left(k^{2\delta }+\sum _{j=1}^n\frac{1}{k}{∥A_{k,j}u\left(t_j\right)k-{\displaystyle \underset{t_{j-1}}{\overset{t_j}{\int }}}A\left(s\right)u\left(t_j\right)ds∥}_{V^{*}}^2\right.\\ \left.+\sum _{j=1}^n\frac{1}{k}{∥f_{k,j}k-{\displaystyle \underset{t_{j-1}}{\overset{t_j}{\int }}}f\left(s\right)ds∥}_{V^{*}}^2\right).\end{array}$

Proof. Define w(t _i ) := v_k,i- u(t _i ),i = 0,1, ..., n. For i = 0, 1, ..., n - 1,

$$\begin{array}{ll}\hfill w\left(t_{i+1}\right)-w\left(t_i\right)& =A_{k,i+1}w\left(t_{i+1}\right)k+f_{k,i+1}k-u\left(t_{i+1}\right)+u\left(t_i\right)+A_{k,i+1}u\left(t_{i+1}\right)k\\ =A_{k,i+1}w\left(t_{i+1}\right)k+\phi \left(t_{i+1}\right),\end{array}$$

where φ(t_i+1) := f_k,i+1k - u(t_i+1) + u(t _i ) + A_k,i+1u(t_i+1)k.

Owing to (1) in Assumption 2, we obtain

$$\begin{array}{ll}\hfill {∥w\left(t_{i+1}\right)∥}_H^2-{∥w\left(t_i\right)∥}_H^2& =2⟨w\left(t_{i+1}\right)-w\left(t_i\right),w\left(t_{i+1}\right)⟩-{∥w\left(t_{i+1}\right)-w\left(t_i\right)∥}_H^2\\ \le 2⟨A_{k,i+1}w\left(t_{i+1}\right),w\left(t_{i+1}\right)⟩k+2⟨\phi \left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\\ \le -2\lambda {∥w\left(t_{i+1}\right)∥}_V^{2}k+2K{∥w\left(t_{i+1}\right)∥}_H^{2}k\\ +2\left|⟨\phi \left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|.\end{array}$$

(12)

Noting that φ(t_i+1) can be written

$$\phi \left(t_{i+1}\right)={\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}A\left(s\right)\left(u\left(t_{i+1}\right)-u\left(s\right)\right)ds+{\phi }_1\left(t_{i+1}\right)+{\phi }_2\left(t_{i+1}\right),$$

where

$${\phi }_1\left(t_{i+1}\right):=A_{k,i+1}u\left(t_{i+1}\right)k-{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}A\left(s\right)u\left(t_{i+1}\right)ds$$

and

$${\phi }_2\left(t_{i+1}\right):=f_{k,i+1}k-{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}f\left(s\right)ds,$$

for the last term in (12) we have the estimate

$$\begin{array}{ll}\hfill 2\left|⟨\phi \left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|& \le 2\left|⟨{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}A\left(s\right)\left(u\left(t_{i+1}\right)-u\left(s\right)\right)ds,w\left(t_{i+1}\right)⟩\right|\\ +2\left|⟨{\phi }_1\left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|+2\left|⟨{\phi }_2\left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|.\end{array}$$

(13)

Let us estimate separately each one of the three terms in (13).

For the first term, owing to (2) in Assumption 1 and using Cauchy's inequality, we obtain

$$\begin{array}{l}2\left|⟨{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}A\left(s\right)\left(u\left(t_{i+1}\right)-u\left(s\right)\right)ds,w\left(t_{i+1}\right)⟩\right|\\ \le 2{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}\left|⟨A\left(s\right)\left(u\left(t_{i+1}\right)-u\left(s\right)\right)ds,w\left(t_{i+1}\right)⟩\right|ds\\ \le 2M{∥w\left(t_{i+1}\right)∥}_V{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u\left(t_{i+1}\right)-u\left(s\right)∥}_{V}ds\\ \le \frac{\lambda }{3}{∥w\left(t_{i+1}\right)∥}_V^{2}k+\frac{3M^2}{\lambda k}{\left({\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u\left(t_{i+1}\right)-u\left(s\right)∥}_{V}ds\right)}^2,\end{array}$$

(14)

with λ > 0.

For the two remaining terms, we have the estimates

$$2\left|⟨{\phi }_1\left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|\le \frac{\lambda }{3}{∥w\left(t_{i+1}\right)∥}_V^{2}k+\frac{3}{\lambda k}{∥{\phi }_1\left(t_{i+1}\right)∥}_{V^{*}}^2$$

(15)

and

$$2\left|⟨{\phi }_2\left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|\le \frac{\lambda }{3}{∥w\left(t_{i+1}\right)∥}_V^{2}k+\frac{3}{\lambda k}{∥{\phi }_2\left(t_{i+1}\right)∥}_{V^{*}}^2,$$

(16)

with λ > 0, using Cauchy's inequality.

Therefore, from (14), (15), and (16) we get the following estimate for (13)

$$\begin{array}{ll}\hfill 2\left|⟨\phi \left(t_{i+1}\right),w\left(t_{i+1}\right)⟩\right|& \le \lambda {∥w\left(t_{i+1}\right)∥}_V^{2}k+\frac{3M^2}{\lambda k}{\left({\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u\left(t_{i+1}\right)-u\left(s\right)∥}_{V}ds\right)}^2\\ +\frac{3}{\lambda k}{∥{\phi }_1\left(t_{i+1}\right)∥}_{V^{*}}^2+\frac{3}{\lambda k}{∥{\phi }_2\left(t_{i+1}\right)∥}_{V^{*}}^2.\end{array}$$

(17)

Putting estimates (12) and (17) together and summing up, owing to Assumption 3 we obtain, for j = 1, 2,..., n,

$$\begin{array}{ll}\hfill {∥w\left(t_j\right)∥}_H^2& +\lambda \sum _{i=0}^{j-1}{∥w\left(t_{i+1}\right)∥}_V^{2}k\le 2K\sum _{i=0}^{j-1}{∥w\left(t_{i+1}\right)∥}_H^{2}k+\frac{3C^2{M}^2}{\lambda }\sum _{i=0}^{j-1}{k}^{2\delta +1}\\ +\frac{3}{\lambda k}\sum _{i=0}^{j-1}{∥{\phi }_1\left(t_{i+1}\right)∥}_{V^{*}}^2+\frac{3}{\lambda k}\sum _{i=0}^{j-1}{∥{\phi }_2\left(t_{i+1}\right)∥}_{V^{*}}^2.\end{array}$$

Hence

$$\begin{array}{ll}\hfill {∥w\left(t_j\right)∥}_H^2+\lambda \sum _{i=0}^j{∥w\left(t_i\right)∥}_V^{2}k& \le 2K\sum _{i=0}^j{∥w\left(t_i\right)∥}_H^{2}k+N{k}^{2\delta }\\ +N\sum _{i=1}^n\frac{1}{k}{∥A_{k,i}u\left(t_i\right)k-{\displaystyle \underset{t_{i-1}}{\overset{t_i}{\int }}}A\left(s\right)u\left(t_i\right)ds∥}_{V^{*}}^2\\ +N\sum _{i=1}^n\frac{1}{k}{∥f_{k,i}k{\displaystyle \underset{t_{i-1}}{\overset{t_i}{\int }}}f\left(s\right)ds∥}_{V^{*}}^2,\end{array}$$

with N a constant. Following the same steps as in the proof of Theorem 3, estimates (1) and (2) follow.

Next result is an immediate consequence of Theorem 4.

Corollary 1. Let the hypotheses of Theorem 4 be satisfied and denote u(t) the unique solution of (3) in Theorem 1 and v_k,j, j = 0,1,..., n, the unique solution of (5) in Theorem 2. If there exists a constant N' independent of k such that

$${∥A_{k,j}u\left(t_j\right)-\frac{1}{k}{\displaystyle \underset{t_{j-1}}{\overset{t_j}{\int }}}A\left(s\right)u\left(t_j\right)ds∥}_{V^{*}}^2+{∥f_{k,j}-\frac{1}{k}{\displaystyle \underset{t_{j-1}}{\overset{t_j}{\int }}}f\left(s\right)ds∥}_{V^{*}}^2\le N^{\prime }{k}^{2\delta },$$

for j = 1, 2, ..., n, then

$$\underset{0\le j\le n}{\text{max}}{∥v_{k,j}-u\left(t_j\right)∥}_H^2\le N{k}^{2\delta }and\sum _{j=0}^n{∥v_{k,j}-u\left(t_j\right)∥}_V^{2}k\le N{k}^{2\delta },$$

with N be a constant independent of k.

4 Explicit discretisation

We now approach the time-discretisation with the use of an explicit finite-difference scheme. As in the previous section, we begin by setting a suitable discrete framework and then investigate the stability and convergence properties of the scheme.

Observe that, when using the explicit scheme, a previous "discretisation in space" has to be assumed. Therefore, we will consider the following version of problem (3) in the spaces V _h , H _h , and $V_h^{*}$, "space-discrete versions" of V, H, and V*, respectively,

$$\frac{du}{dt}=A_h\left(t\right)u+f_h\left(t\right)\text{in}\left[0,T\right],u\left(0\right)=g_h,$$

(18)

with A _h (t), f _h (t), and g _h "space-discrete versions" of A(t), f(t), and g, and h ∈ (0,1] a constant. We will use the notation (·,·) _h for the inner product in H _h and 〈·,·〉 _h for the duality between $V_h^{*}$ and V _h .

Let the time-grid T _n as defined in (4). For all z ∈ V _h , consider the forward difference quotient in time

$${\Delta }^{+}z\left(t_j\right)=k^{-1}\left(z\left(t_{j+1}\right)-z\left(t_j\right)\right),j=0,1,...,n-1.$$

Let A _hk , f _hk be some time-discrete versions of A _h and f _h , respectively, and denote, for all z ∈ V _h ,

$$A_{hk,j}z=A_{hk}\left(t_j\right)z,f_{hk,j}=f_{hk}\left(t_j\right),$$

with j = 0,1,..., n - 1.

For each n ≥ 1 fixed, we consider the time-discrete version of (18),

$${\Delta }^{+}{v}_i=A_{hk,i}{v}_i+f_{hk,i}\text{for}i=0,1,...,n-1,v_0=g_h,$$

(19)

with v _j = v(t _j ), j = 0,1,..., n, in V _h .

Problem (19) can be solved uniquely by recursion

$$v_j=g_h+\sum _{i=0}^{j-1}{A}_{hk,i}{v}_{i}k+\sum _{i=0}^{j-1}{f}_{hk,i}k\text{for}j=1,...,n,v_0=g_h.$$

We make some assumptions.

Assumption 4. Suppose that

1.${⟨A_{hk,j}v,v⟩}_h+\lambda {∥v∥}_{V_h}^2\le K{∥v∥}_{H_h}^2$, ∀v ∈ V _h , j = 0,1,..., n - 1,

2.${∥A_{hk,j}v∥}_{V_h^{*}}\le M{∥v∥}_{V_h}$, ∀v ∈ V _h , j = 0,1,..., n - 1,

3.${\sum }_{j=0}^{n-1}{∥f_{hk,j}∥}_{V_h^{*}}^{2}k\le N$and${∥g_h∥}_{H_h}\le N$,

where λ, K, M, and N are the constants in Assumption 1.

Remark 5. We refer to Remark 1 and note that, under Assumption 1, g _h ∈ H _h and${∥g_h∥}_{H_h}\le N$.

The following version of the discrete Gronwall's inequality is an immediate consequence of Lemma 3.

Lemma 4. Let$a_0^n,a_1^n,...,a_n^n$be a finite sequence of numbers for every integer n ≥ 1 such that

$$0\le a_j^n\le a_0^n+K\sum _{i=0}^{j-1}{a}_i^{n}k,$$

(20)

holds for every j = 0, 1, ..., n, with k := T/n and K a positive number such that Kk =: q < 1, with q a fixed constant. Then

$$a_j^n\le a_0^n{e}^{K_{q}T},$$

for all integers n ≥ 1 and j = 0, 1,..., n, where K _q := -K ln(1 - q)/q.

Proof. From (20), owing to Lemma 3 we have

$$\left(1+Kk\right)a_j^n\le \left(1+Kk\right)a_0^n+K\sum _{i=1}^j{a}_i^{n}k\le \left(1+Kk\right)a_0^n{e}^{K_{q}T},$$

for j = 1, 2,..., n. The result follows.

In order to obtain stability for the scheme (19) we make an additional assumption, involving an inverse inequality between H _h and $V_h^{*}$. We note that, for the case of the implicit scheme, there was no such need: the implicit scheme's stability was met unconditionally.

Assumption 5. Suppose that there exists a constant C _h , dependent of h, such that

$${∥z∥}_{H_h}\le C_h{∥z∥}_{V_h^{*}},forallz\in V_h.$$

(21)

Remark 6. The usual assumption involves instead an inverse inequality between V _h and H _h :

$${∥z∥}_{V_h}\le C_h{∥z∥}_{H_h},forallz\in V_h.$$

(22)

It can be easily checked that (22) implies (21). In fact, for all z ∈ V _h ,z ≠ 0,

$${\Vert z\Vert }_{V_h^{*}}=\underset{\underset{u\ne 0}{u\in V_h}}{\sup }\frac{\left|{(z,u)}_h\right|}{{\Vert u\Vert }_{V_h}}\ge \frac{\left|{(z,z)}_h\right|}{{\Vert z\Vert }_{V_h}}=\frac{{\Vert z\Vert }_{H_h}^2}{{\Vert z\Vert }_{V_h}}\ge \frac{{\Vert z\Vert }_{H_h}^2}{C_h{\Vert z\Vert }_{H_h}}=\frac{{\Vert z\Vert }_{H_h}}{C_h},$$

with the last inequality above due to (22).

Remark 7. Assumption 5 is not void. For example, when the solvability of a multidimensional linear PDE of parabolic type is considered in Sobolev spaces, and its discretised version solvability in discrete counterparts of those spaces (see[3]), (21) is satisfied with C _h such that$C_h^2-1\ge C{h}^{-2}$, with C a constant independent of h.

Theorem 5. Let Assumptions 4 and 5 be satisfied and λ, K, M, and C _h the constants defined in the Assumptions. Denote by v _hk,j , with j = 0,1, ...,n, the unique solution of problem (19). Assume that constant K is such that 2Kk < 1. If there exists a number p such that$M^2{C}_h^{2}k\le p<\lambda$then there exists a constant N, independent of k and h, such that

1. $\underset{0\le j\le n}{\text{max}}{∥v_{hk,j}∥}_{H_h}^2\le N\left({∥g_h∥}_{H_h}^2+\sum _{j=0}^{n-1}{∥f_{hk,j}∥}_{V_h^{*}}^{2}k\right);$

2. $\sum _{j=0}^{n-1}{∥v_{hk,j}∥}_{V_h}^{2}k\le N\left({∥g_h∥}_{H_h}^2+\sum _{j=0}^{n-1}{∥f_{hk,j}∥}_{V_h^{*}}^{2}k\right)$.

Remark 8. Remark 2 applies to the above theorem with the obvious adaptations.

Proof. (Theorem 5)

For i = 0,1,..., n - 1, we have

$${∥v_{hk,i+1}∥}_{H_h}^2-{∥v_{hk,i}∥}_{H_h}^2=2{⟨v_{hk,i+1}-v_{hk,i},v_{hk,i}⟩}_h+{∥v_{hk,i+1}-v_{hk,i}∥}_{H_h}^2$$

(23)

and, summing up both members of equation (23), for j = 1, 2,..., n, we get

$$\begin{array}{ll}\hfill {∥v_{hk,j}∥}_{H_h}^2& ={∥v_{hk,0}∥}_{H_h}^2+\sum _{i=0}^{j-1}2{⟨v_{hk,i+1}-v_{hk,i},v_{hk,i}⟩}_h+\sum _{i=0}^{j-1}{∥v_{hk,i+1}-v_{hk,i}∥}_{H_h}^2\\ ={∥v_{hk,0}∥}_{H_h}^2+\sum _{i=0}^{j-1}2{⟨A_{hk,i}{v}_{hk,i},v_{hk,i}⟩}_{h}k+\sum _{i=0}^{j-1}2{⟨f_{hk,i},v_{hk,i}⟩}_{h}k\\ +\sum _{i=0}^{j-1}{∥A_{hk,i}{v}_{hk,i}+f_{hk,i}∥}_{H_h}^2{k}^2.\end{array}$$

(24)

Owing to (1) in Assumption 4 and using Cauchy's inequality, from (24) we obtain the estimate

$$\begin{array}{l}{∥v_{hk,j}∥}_{H_h}^2\le {∥v_{hk,0}∥}_{H_h}^2+2K\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{H_h}^{2}k-\lambda \sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{V_h}^{2}k\\ +\frac{1}{\lambda }\sum _{i=0}^{j-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k+\sum _{i=0}^{j-1}{∥A_{hk,i}{v}_{hk,i}+f_{hk,i}∥}_{H_h{k}^2}^2,\end{array}$$

(25)

with λ > 0.

For the last term in the above estimate (25), owing to (2) in Assumption 4 and to Assumption 5, and using Cauchy's inequality we obtain

$$\begin{array}{l}\sum _{i=0}^{j-1}{∥A_{hk,i}{v}_{hk,i}+f_{hk,i}∥}_{H_h}^2{k}^2\\ \le C_h^{2}k\sum _{i=0}^{j-1}{∥A_{hk,i}{v}_{hk,i}+f_{hk,i}∥}_{V_h^{*}}^{2}k\\ \le \left(1+\mu \right)C_h^{2}k\sum _{i=0}^{j-1}{∥A_{hk,i}{v}_{hk,i}∥}_{V_h^{*}}^{2}k+\left(1+\frac{1}{\mu }\right)C_h^{2}k\sum _{i=0}^{j-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k\\ \le \left(1+\mu \right)M^2{C}_h^{2}k\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{V_h}^{2}k+\left(1+\frac{1}{\mu }\right)C_h^{2}k\sum _{i=0}^{j-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k,\end{array}$$

(26)

with μ > 0.

Finally, putting estimates (25) and (26) together, we get

$$\begin{array}{ll}\hfill {∥v_{hk,j}∥}_{H_h}^2& \le {∥v_{hk,0}∥}_{H_h}^2+2K\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{H_h}^{2}k\\ +\left(\left(1+\mu \right)M^2{C}_h^{2}k-\lambda \right)\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{V_h}^{2}k\\ +\left(\frac{1}{\lambda }+\left(1+\frac{1}{\mu }\right)C_h^{2}k\right)\sum _{i=0}^{j-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k.\end{array}$$

(27)

Now, if there is a constant p such that

$$M^2{C}_h^{2}k\le p\le \lambda ,$$

implying that, for μ sufficiently small,

$$\left(1+\mu \right)M^2{C}_h^{2}k-\lambda \le \left(1+\mu \right)p-\lambda <0,$$

then from (27) we obtain the estimate

$$\begin{array}{l}{∥v_{hk,j}∥}_{H_h}^2+\left(\lambda -\left(1+\mu \right)p\right)\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{V_h}^{2}k\\ \le {∥v_{hk,0}∥}_{H_h}^2+2K\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{H_h}^{2}k+L\sum _{i=0}^{n-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k,\end{array}$$

(28)

where L := (μM² + λ(1 + μ)p)/λμM².

In particular,

$${∥v_{hk,j}∥}_{H_h}^2\le {∥v_{hk,0}∥}_{H_h}^2+2K\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{H_h}^{2}k+L\sum _{i=0}^{n-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k$$

(29)

and, using Lemma 4,

$${∥v_{hk,j}∥}_{H_h}^2\le \left({∥v_{hk,0}∥}_{H_h}^2+L\sum _{i=0}^{n-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k\right)e^{2K_{q}T},$$

(30)

where K _q is the constant defined in Lemma 4. (1) follows.

From (28), (29), and (30) we finally obtain

$$\begin{array}{c}{∥v_{hk,j}∥}_{H_h}^2+\left(\lambda -\left(1+\mu \right)p\right)\sum _{i=0}^{j-1}{∥v_{hk,i}∥}_{V_h}^{2}k\infty \\ \le \left({∥v_{hk,0}∥}_{H_h}^2+L\sum _{i=0}^{n-1}{∥f_{hk,i}∥}_{V_h^{*}}^{2}k\right)e^{2K_{q}T}\end{array}$$

and (2) follows.

Finally, we prove the convergence of the scheme and determine the convergence rate. The accuracy obtained is of order δ, with δ given by Assumption 3.

Theorem 6. Let Assumptions 1, 4, and 5 be satisfied and λ, K, M, and C _h the constants defined in the Assumptions. Denote by u _h (t) the unique solution of problem (18) in Theorem 1 and by v_hk,j, with j = 0, 1,..., n, the unique solution of problem (19). Assume that constant K is such that 2Kk < 1 and that Assumption 3 is satisfied. If there exists a number p such that$M^2{C}_h^{2}k\le p<\lambda$then there exists a constant N, independent of k and h, such that

1. $\begin{array}{ll}\hfill \underset{0\le j\le n}{\text{max}}{∥v_{hk,j}-u_h\left(t_j\right)∥}_{H_h}^2& \le N\left(k^{2\delta }+\sum _{j=0}^{n-1}\frac{1}{k}{∥A_{hk,j}{u}_h\left(t_j\right)k-{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}{A}_h\left(s\right)u_h\left(t_j\right)ds∥}_{V_h^{*}}^2\right.\\ \left.+\sum _{j=0}^{n-1}\frac{1}{k}{∥f_{hk,j}k-{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}{f}_h\left(s\right)ds∥}_{V_h^{*}}^2\right);\end{array}$

2. $\begin{array}{ll}\hfill \sum _{j=0}^{n-1}{∥v_{hk,j}-u_h\left(t_j\right)∥}_{V_h}^{2}k& \le N\left(k^{2\delta }+\sum _{j=0}^{n-1}\frac{1}{k}{∥A_{hk,j}{u}_h\left(t_j\right)k-{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}{A}_h\left(s\right)u_h\left(t_j\right)ds∥}_{V_h^{*}}^2\right.\\ \left.+\sum _{j=0}^{n-1}\frac{1}{k}{∥f_{hk,j}k-{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}{f}_h\left(s\right)ds∥}_{V_h^{*}}^2\right).\end{array}$

Proof. Define w(t _i ) := v_hk,i- u _h (t _i ), i = 0,1,..., n. For i = 0,1,..., n - 1

$$\begin{array}{ll}\hfill w\left(t_{i+1}\right)-w\left(t_i\right)& =A_{hk,i}w\left(t_i\right)k+f_{hk,i}k-u_h\left(t_{i+1}\right)+u_h\left(t_i\right)+A_{hk,i}{u}_h\left(t_i\right)k\\ =A_{hk,i}w\left(t_i\right)k+\phi \left(t_i\right),\end{array}$$

where φ(t _i ) := f_hk,ik - u _h (t_i+1) + u _h (t _i ) + A_hk,iu _h (t _i )k.

We have that

$$\begin{array}{ll}\hfill {∥w\left(t_{i+1}\right)∥}_{H_h}^2-{∥w\left(t_i\right)∥}_{H_h}^2& =2{⟨w\left(t_{i+1}\right)-w\left(t_i\right),w\left(t_i\right)⟩}_h+{∥w\left(t_{i+1}\right)-w\left(t_i\right)∥}_{H_h}^2\\ \le 2{⟨A_{hk,i}w\left(t_i\right),w\left(t_i\right)⟩}_{h}k+2\left|{⟨\phi \left(t_i\right),w\left(t_i\right)⟩}_h\right|\\ +{∥A_{hk,i}w\left(t_i\right)k+\phi \left(t_i\right)∥}_{H_h}^2.\end{array}$$

(31)

We want to estimate each one of the three terms in (31). For the first term in (31), owing to (1) in Assumption 4, we obtain

$$2{⟨A_{hk,i}w\left(t_i\right),w\left(t_i\right)⟩}_{h}k\le -2\lambda {∥w\left(t_i\right)∥}_{V_h}^{2}k+2K{∥w\left(t_i\right)∥}_{H_h}^{2}k.$$

(32)

Noting that φ(t _i ) can be written

$$\phi \left(t_i\right)={\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{A}_h\left(s\right)\left(u_h\left(t_i\right)-u_h\left(s\right)\right)ds+{\phi }_1\left(t_i\right)+{\phi }_2\left(t_i\right),$$

where

$${\phi }_1\left(t_i\right):=A_{hk,i}{u}_h\left(t_i\right)k-{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{A}_h\left(s\right)u_h\left(t_i\right)ds\text{and}{\phi }_2\left(t_i\right):=f_{hk,i}k-{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{f}_h\left(s\right)ds,$$

for the second term in (31) we have

$$\begin{array}{ll}\hfill 2\left|{⟨\phi \left(t_i\right),w\left(t_i\right)⟩}_h\right|& \le 2\left|{⟨{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{A}_h\left(s\right)\left(u_h\left(t_i\right)-u_h\left(s\right)\right)ds,w\left(t_i\right)⟩}_h\right|\\ +2\left|{⟨{\phi }_1\left(t_i\right),w\left(t_i\right)⟩}_h\right|+2\left|{⟨{\phi }_2\left(t_i\right),w\left(t_i\right)⟩}_h\right|\end{array}$$

(33)

and, following the same steps as in the proof of Theorem 4, we obtain the estimate

$$\begin{array}{ll}\hfill 2\left|{⟨\phi \left(t_i\right),w\left(t_i\right)⟩}_h\right|& \le \lambda {∥w\left(t_i\right)∥}_{V_h}^{2}k+\frac{3M^2}{\lambda k}{\left({\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u_h\left(t_i\right)-u_h\left(s\right)∥}_{V_h}ds\right)}^2\\ +\frac{3}{\lambda k}{∥{\phi }_1\left(t_i\right)∥}_{V_h^{*}}^2+\frac{3}{\lambda k}{∥{\phi }_2\left(t_i\right)∥}_{V_h^{*}}^2.\end{array}$$

(34)

Next, we estimate the last term in (31). Owing to (2) in Assumption 4 and to Assumption 5, and using Cauchy's inequality,

$$\begin{array}{ll}\hfill {∥A_{hk,i}w\left(t_i\right)k+\phi \left(t_i\right)∥}_{H_h}^2& \le C_h^2{∥A_{hk,i}w\left(t_i\right)k+\phi \left(t_i\right)∥}_{V_h^{*}}^2\\ \le \left(1+\mu \right)C_h^2{∥A_{hk,i}w\left(t_i\right)∥}_{V_h^{*}}^2{k}^2+\left(1+\frac{1}{\mu }\right)C_h^2{∥\phi \left(t_i\right)∥}_{V_h^{*}}^2\\ \le \left(1+\mu \right)M^2{C}_h^{2}k{∥w\left(t_i\right)∥}_{V_h}^{2}k+\left(1+\frac{1}{\mu }\right)C_h^2{∥\phi \left(t_i\right)∥}_{V_h^{*}}^2,\end{array}$$

(35)

with μ > 0. As, owing to (2) in Assumption 1 and to Cauchy's inequality, ${∥\phi \left(t_i\right)∥}_{V_h^{*}}^2$ in (35) can be estimated by

$$\begin{array}{ll}\hfill {∥\phi \left(t_i\right)∥}_{V_h^{*}}^2& ={∥{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{A}_h\left(s\right)\left(u_h\left(t_i\right)-u_h\left(s\right)\right)ds+{\phi }_1\left(t_i\right)+{\phi }_2\left(t_i\right)∥}_{V_h^{*}}^2\\ \le \left(1+v+\frac{1}{v}\right){∥{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{A}_h\left(s\right)\left(u_h\left(t_i\right)-u_h\left(s\right)\right)ds∥}_{V_h^{*}}^2\\ +\left(1+v+\frac{1}{v}\right){∥{\phi }_1\left(t_i\right)∥}_{V_h^{*}}^2+\left(1+v+\frac{1}{v}\right){∥{\phi }_2\left(t_i\right)∥}_{V_h^{*}}^2\\ \le \left(1+v+\frac{1}{v}\right)M^2{\left({\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u_h\left(t_i\right)-u_h\left(s\right)∥}_{V_h}ds\right)}^2\\ +\left(1+v+\frac{1}{v}\right){∥{\phi }_1\left(t_i\right)∥}_{V_h^{*}}^2+\left(1+v+\frac{1}{v}\right){∥{\phi }_2\left(t_i\right)∥}_{V_h^{*}}^2,\end{array}$$

(36)

with ν > 0, from (35) and (36), we obtain the following estimate for the last term in (31)

$$\begin{array}{l}{∥A_{hk,i}w\left(t_i\right)k+\phi \left(t_i\right)∥}_{H_h}^2\le \left(1+\mu \right)M^2{C}_h^{2}k{∥w\left(t_i\right)∥}_{V_h}^{2}k\\ +\left(1+\frac{1}{\mu }\right)\left(1+v+\frac{1}{v}\right)M^2{C}_h^2{\left({\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{∥u_h\left(t_i\right)-u_h\left(s\right)∥}_{V_h}ds\right)}^2\\ +\left(1+\frac{1}{\mu }\right)\left(1+v+\frac{1}{v}\right)C_h^2{∥{\phi }_1\left(t_i\right)∥}_{V_h^{*}}^2+\left(1+\frac{1}{\mu }\right)\left(1+v+\frac{1}{v}\right)C_h^2{∥{\phi }_2\left(t_i\right)∥}_{V_h^{*}}^2.\end{array}$$

(37)

Putting estimates (32), (34), and (37) together and summing up, owing to Assumption 3, we have, for j = 0,1,..., n,

$$\begin{array}{ll}\hfill {∥w\left(t_j\right)∥}_{H_h}^2& \le 2K\sum _{i=0}^{j-1}{∥w\left(t_i\right)∥}_{H_h}^{2}k+\left(\left(1+\mu \right)M^2{C}_h^{2}k-\lambda \right)\sum _{i=0}^{j-1}{∥w\left(t_i\right)∥}_{V_h}^{2}k\\ +M^2{C}^2\left(\left(1+\frac{1}{\mu }\right)\left(1+v+\frac{1}{v}\right)C_h^{2}k+\frac{3}{\lambda }\right)\sum _{i=0}^{j-1}{k}^{2\delta +1}\\ +\left(\left(1+\frac{1}{\mu }\right)\left(1+v+\frac{1}{v}\right)C_{hk}^2+\frac{3}{\lambda }\right)\sum _{i=0}^{j-1}\frac{1}{k}{∥{\phi }_1\left(t_i\right)∥}_{V_h^{*}}^2.\\ +\left(\left(1+\frac{1}{\mu }\right)\left(1+v+\frac{1}{v}\right)C_h^{2}k+\frac{3}{\lambda }\right)\sum _{i=0}^{j-1}\frac{1}{k}{∥{\phi }_2\left(t_i\right)∥}_{V_h^{*}}^2.\end{array}$$

(38)

As we assume that there is a constant p such that

$$M^2{C}_h^{2}k\le p<\lambda$$

we have that, for μ sufficiently small,

$$\left(1+\mu \right)M^2{C}_h^{2}k-\lambda \le \left(1+\mu \right)p-\lambda <0.$$

Then, from (38),

$$\begin{array}{l}{∥w\left(t_j\right)∥}_{H_h}^2+\left(\lambda -\left(1+\mu \right)p\right)\sum _{i=0}^{j-1}{∥w\left(t_j\right)∥}_{V_h}^{2}k\\ \le 2K\sum _{i=0}^{j-1}{∥w\left(t_j\right)∥}_{H_h}^{2}k+M^2{C}^{2}TL{k}^{2\delta }\\ +L\sum _{i=0}^{n-1}\frac{1}{k}{∥A_{hk,i}{u}_h\left(t_i\right)k-{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{A}_h\left(s\right)u_h\left(t_i\right)ds∥}_{V_h^{*}}^2\\ +L\sum _{i=0}^{n-1}\frac{1}{k}{∥f_{hk,i}k-{\displaystyle \underset{t_i}{\overset{t_{i+1}}{\int }}}{f}_h\left(s\right)ds∥}_{V_h^{*}}^2,\end{array}$$

where L := ((3M² + λp+ νλp)μν + (1 + μ+ ν + ν²)λp)/μνλM². Estimates (1) and (2) are obtained following the same steps as in Theorem 5.

Next result follows immediately from Theorem 6.

Corollary 2. Assume that the hypotheses of Theorem 6 are satisfied. Denote by u _h (t) the unique solution of problem (18) in Theorem 1 and by v_hk,j, with j = 0,1, ..., n, the unique solution of problem (19). If there exists a constant N', independent of k, such that

$${∥A_{hk,j}{u}_h\left(t_j\right)-\frac{1}{k}{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}{A}_h\left(s\right)u_h\left(t_j\right)ds∥}_{V_h^{*}}^2+{∥f_{hk,j}-\frac{1}{k}{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}{f}_h\left(s\right)ds∥}_{V_h^{*}}^2\le N^{\prime }{k}^{2\delta },$$

for j = 0, 1, ..., n - 1, then

$$\underset{0\le j\le n}{\text{max}}{∥v_{hk,j}-u_h\left(t_j\right)∥}_{H_h}^2\le N{k}^{2\delta }and\sum _{j=0}^{n-1}{∥v_{hk,j}-u_h\left(t_j\right)∥}_{V_h}^{2}k\le N{k}^{2\delta },$$

with N a constant independent of k.

5 Examples for the implicit scheme

In this Section, we investigate two possible ways of specifying the discretised operator A _k and function f _k , under the framework of the implicit scheme. We begin by considering the particular case where A _k and f _k in problem (5) are specified, respectively, by the integral averages

$${Ā}_k\left(t_{j+1}\right)z:=\frac{1}{k}{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}A\left(s\right)zds\text{and}{\bar{f}}_k\left(t_{j+1}\right):=\frac{1}{k}{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}f\left(s\right)ds,$$

(39)

for all z ∈ V, j = 0,1,..., n - 1.

For all z ∈ V, we denote

$${Ā}_{k,j+1}z={Ā}_k\left(t_{j+1}\right)z,{\bar{f}}_{k,j+1}={\bar{f}}_k\left(t_{j+1}\right),j=0,1,...,n-1.$$

We prove that, under Assumption 1, Ā _k and ${\widehat{f}}_k$ satisfy Assumption 2.

Proposition 1. Under Assumption 1, operator Ā _k and function${\widehat{f}}_k$satisfy

1. $⟨{Ā}_{k,j+1}v,v⟩+\lambda {∥v∥}_V^2\le K{∥v∥}_H^2$, ∀v ∈ V, j = 0,1,..., n - 1,

2. ${∥{Ā}_{k,j+1}v∥}_{V^{*}}\le M{∥v∥}_V$, ∀v ∈ V, j = 0,1,..., n - 1,

3. ${\sum }_{j=0}^{n-1}{∥{\bar{f}}_{k,j+1}∥}_{V^{*}}^{2}k\le N$

where λ, K, M, and N are the constants in Assumption 1.

Proof. For all v ∈ V, owing to (1) in Assumption 1,

$$\begin{array}{ll}\hfill ⟨{Ā}_{k,j+1}v,v⟩& =⟨\frac{1}{k}{\displaystyle \underset{t_j}{\overset{t_{j+1}}{\int }}}A\left(s\right)v⟩\end{array}$$