Abstract
The aim of this paper is to describe the current state of the numerical analysis and the computational solution of non-standard integro-differential equations of Volterra and Fredholm types that arise in various applications. In order to do so, we first give a brief review of recent results concerning the numerical analysis of standard (ordinary and partial) Volterra and Fredholm integro-differential equations, with the focus being on collocation and (continuous and discontinuous) Galerkin methods. In the second part of the paper we look at the extension of these results to various classes of non-standard integro-differential equations type that arise as mathematical models in applications. We shall see that in addition to numerous open problems in the numerical analysis of such equations, many challenges in the computational solution of non-standard Volterra and Fredholm integro-differential equations are waiting to be addressed.
Dedicated to Ian Sloan, with my best wishes on your 80th birthday.
Access provided by CONRICYT-eBooks. Download chapter PDF
Similar content being viewed by others
Keywords
- Galerkin
- Volterra Integro-differential Equations (VIDEs)
- Differential Algebraic Equations (DAEs)
- Attainable Order
- Optimal Convergence Results
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
In applications integro-differential equations (IDEs) of Volterra or Fredholm type often arise in ‘non-standard’ form. While the numerical analysis and the computational solution of standard IDEs are now well understood, this is largely not true for many of their non-standard versions. Thus, the aim of this paper is to present first a concise overview of collocation and Galerkin methods for standard Volterra and Fredholm IDEs (with the focus being on the former class of equations) and then to describe various classes of non-standard IDEs where the analysis and the implementation of those numerical schemes is rather incomplete. Owing to limitation of space we will deal with partial (e.g. parabolic) IDEs only in passing, as the spatial discretization of such IDEs leads to a (usually large) system of IDEs in time.
1.1 Standard Volterra Integro-Differential Equations
The generic (standard) forms of linear and nonlinear first-order Volterra integro-differential equations (VIDEs) are respectively given by
and
with 0 < α ≤ 1 and complemented by an initial condition u(0) = u0. The kernels K = K(t, s) and k = k(t, s, u) are assumed to be continuous on their respective domains D := {(t, s) : 0 ≤ s ≤ t ≤ T} and \(D \times {\mathbb {R}}\,\). If 0 < α < 1 we will refer to (1) and (2) as weakly singular VIDEs.
In applications, nonlinear VIDEs usually occur in Hammerstein form; that is, the function k(t, s, u) in (2) is
where G = G(s, u) is a smooth function in s and u.
The spatial discretization (by, e.g., finite element or finite difference techniques) of parabolic partial VIDEs for u = u(t, x), for example
where \(\mathcal {A}\) denotes a linear, uniformly elliptic spatial differential operator (e.g. \(\mathcal {A} = \varDelta \), the spatial Laplace operator) and \(\mathcal {B}\) is a spatial differential operator of order not exceeding 2, leads to a (usually very large) system of VIDEs (1). If the partial VIDE is of hyperbolic type, e.g.
spatial discretization yields a (large) system of ordinary second-order VIDEs that is the matrix analogue of the VIDE
with r = 2.
1.2 Non-standard Integro-Differential Equations
VIDEs arising in the mathematical modelling of physical or biological phenomena (for example, in materials with memory, in population dynamics, and in chemical reaction-diffusion processes) often occur in ‘non-standard’ form. Typical examples are
(singularly perturbed VIDE), with u(t) = ϕ(t), (t ≤ 0); and
(generalized auto-convolution VIDE). A representative example corresponds to G(u) = u β (β > 0).
In these VIDEs the nonlinearity under the integral sign does not only depend on u(s) but also on u(t) or on u(t − s). We illustrate this, also for further reference, by means of six representative examples. They show that these equations may also depend on a (constant or variable) delay τ > 0.
Example 1 (Volterrra [95,96,97,98]; see also Brunner [17])
The system of VIDEs
where the εi and γi are given positive parameters, is a mathematical model describing the size of the populations N1(t) and N2(t) of interacting predators and preys. The integral operators describing these VIDEs contain a constant delay τ > 0. (See also Cushing [38, Ch. 4] for related population growth models of interacting species.)
Example 2 (Markowich and Renardy [65, 66])
The non-standard VIDE
is a mathematical model for the stretching (and recovery) of a filament or a sheet of a certain molten polymer under a prescribed force. The constant μ ≥ 0 is related to the Newtonian contribution to viscosity, and β = 2 (polymeric filament) or β = 1∕2 (polymeric sheet). For small parameters 0 < μ ≪ 1 this is a singularly perturbed VIDE. (See also Lodge et al. [58] and Jordan [48] for related mathematical models.)
Example 3 (Janno and von Wolfersdorf [47], von Wolfersdorf and Janno [99])
A particular case of the VIDE of auto-convolution type,
namely,
arises in the theory of Burgers’ turbulence. Details on the physical background of the model can be found in the above papers and their references.
Example 4 (Burns et al. [32])
The mathematical modelling of the elastic motions of a 3-degree of freedom airfoil with flap in a 2-dimensional incompressible flow leads to a system of neutral Volterra functional differential equations of the form
(τ > 0), with A0, A1(⋅) and B0, B1 denoting square matrices in \({\mathbb {R}}^{d\times d}\) (where d = 8). The matrix A0 is singular (det A0 = 0 but rank A0 ≥ 1); typically, its last row consists of zeros. Compare also Ito and Turi [46] for details and additional references.
Example 5 (Doležal [39, Ch. 5])
The related system of integro-differential algebraic equations (IDAEs)
with α = 1, arises in the theory of electrical networks. Here, A(⋅), B(⋅) and K(⋅, ⋅) are square matrices in \({\mathbb {R}}^{d\times d}\, (d \geq 2)\), with det A(t) = 0 for all t ≥ 0 and rank A(t) > 0. A similar system of IDAEs occurs in the mathematical modelling of a hydraulic circuit that feeds on a combustion process (cf. Nassirharand [78]). The paper by Bulatov et al. [31] is concerned with the theory of IDAEs (16).
Example 6
Population growth models (Cushing [38]):
See also Aves et al. [4] and its references.
Example 7
Thermal behavior for a confined reactive gas (Bebernes and Kassoy [8], Bebernes and Bressan [6]):
with u(t, x) = 0 (x ∈ ∂Ω, t > 0), u(0, x) = u0(x) (where \(\varOmega \in {\mathbb {R}}^{n} \) is bounded with boundary ∂Ω), and δ > 0, γ = 1 or γ > 1. Note that this (Fredholm) integro-differential equation is implicit in ut. The monograph by Bebernes and Eberly [7] conveys the general framework of such combustion problems.
Example 8
Local chemical reaction-diffusion processes (Chadam et al. [35], Chadam and Yin [34]): The VIDE
complemented by homogeneous Dirichlet or Neumann boundary conditions on ∂Ω, represents a mathematical model of chemical reaction-diffusion processes in which, owing to the effects of a catalyst, the reaction occurs only at some local sites. A typical example corresponds to H(u) = eu. For certain (large) initial data u(0, x) ≥ 0 the solution blows up in finite time.
Example 9
Non-local reaction-diffusion equations with finite-time blow-up (Souplet [89], Quittner and Souplet [83, Ch. V]):
(a > 0, b > 0, p, q ≥ 1), with u(0, x) = u0(x) ≥ 0 (x ∈ Ω), u(t, x) = 0 (x ∈ ∂Ω, t ≥ 0). For u0 with u0(x)≢0, the solution blows up in finite time Tb (i.e. ∥u(t, ⋅)∥∞→∞ (as \(t \rightarrow T_b^-\)) whenever p > q. For p ≤ q the solution exists for all t > 0 but is unbounded: \(\,\lim \, \sup _{t \rightarrow \infty } |u(t,\cdot )| = \infty \).
An analogous result holds for a similar partial VIDE containing integrals over both time and space,
Example 10
Dynamics of price adjustment in a single commodity market i (Bélair and Mackey [9]): If D(⋅) and S(⋅) denote, respectively, the demand and supply functions for a particular commodity, and PD and PS are the demand and supply prices, then a model for the relative variations in market price P = P(t) is
subject to some appropriate initial condition. The function F = F(D, S) is the price range function (a simple example is F(D, S) = D − S). The demand price
is the weighted average of all the past prices, where KD(t − s) is a weight attached by the consumer to a past market price P(s) (−∞≤ s ≤ t). The weighting function KD (the demand price kernel) is assumed to be normalized so that \(\,{\displaystyle \int _{0}^{\infty } K_D(s)ds = 1}\). An analogous expression exists for the supply price PS: it is
where Tmin denotes the minimum time which must elapse before a decision to alter production is translated into an actual change of supply.
Example 11
Evolution of a spherical flame initiated by a point source energy input and subject to heat loss (Audounet et al. [3], Rouzaud [84]):
with u(0) = 0. Here, the constant E > 0 and the function q(t) ≥ 0 are given; Eq(t) is a point source energy input. It can be shown that there exists a ‘critical value’ λ = λ ∗ for which the flame always quenches.
The monographs by Prüss [82] and by Appell et al. [2] contain, in addition to the theory of VIDEs, additional applications of (ordinary and partial) VIDEs.
We note that in many of the above examples the numerical analysis and computational treatment of the respective integro-differential equations are as yet little understood.
The paper is organized as follows. In Sect. 2 we give a concise review of results on the optimal (global and local) order of convergence of collocation and (continuous or discontinuous) Galerkin solutions for standard linear VIDEs. The extension of the convergence analysis for collocation and Galerkin-type solutions for various classes of non-standard VIDEs, including equations with delay arguments, integro-algebraic equations and fractional evolution equations, is the subject of Sect. 3. There we describe theoretical and computational issues that are waiting to be addressed. In Sect. 4 we turn our attention to Volterra and Fredholm IDEs whose solutions blow up in finite time. Owing to limitation of space we only briefly discuss partial VIDEs. However, since the first step in the discretization of such problems usually consists in the approximation (e.g. by finite difference of finite element Galerkin techniques) of the spatial derivatives of the solution, the numerical schemes described in this paper can be employed for the subsequent temporal discretization (time-stepping). The aim of the list of references is to guide the reader to papers that reflect the current ‘state of the art’ of the numerical analysis and the computational solution of VIDEs, as well as to papers on integro-differential equations not treated in the present paper.
2 Numerical Analysis of Ordinary VIDEs
In his paper [94] of 1909 (the first paper on applications of partial VIDEs) Volterra makes the following observation:
The problem of solving integro-differential equations constitutes a problem which is fundamentally different from the problems of solving differential equations and integral equations.
As we shall see in the following sections, this comment remains true for the numerical analysis and computational solution of VIDEs.
We first present a brief overview of prominent time-stepping schemes for VIDEs. They include collocation methods, continuous and discontinuous Galerkin methods, and convolution quadrature methods.
2.1 Collocation and Galerkin Spaces
Suppose we want to approximate the solution of an ordinary VIDE (1.1) (we use the notation (1.1) to refer to Eq. (1) in Sect. 1, etc.) on the time interval I := [0, T] (T < ∞), and let Ih := {tn : 0 = t0 < t1 < ⋯ < tN = T} be a (not necessarily uniform) mesh for I (i.e. an h-discretization of I), with
The approximating space will be either
the space of globally continuous piecewise polynomials of (fixed) degree m ≥ 1 for all en (\(\mathcal {P}_m = \mathcal {P}_m(e_n)\) denotes the set of (real-valued) polynomials on en of degree not exceeding m), or
the space of piecewise polynomials of degree m ≥ 0 that may possess finite jump discontinuities at the interior mesh points of Ih. The dimensions of these linear spaces are given respectively by
It is often advantageous (especially when approximating non-smooth solutions of (1.1)) not to use the same polynomial degree m on each subinterval en. Thus, an hp-discretization of I is defined as follows: for the given mesh and given nonnegative integers mi (i = 0, 1, …, N − 1) we consider the degree vector \(\, \underline {m} := (m_0, m_1, \ldots , m_{N-1} )\), with \(| \underline {m}| := \max \{m_n: \; 0 \leq n \leq N-1 \}\). For d ∈{−1, 0} the corresponding piecewise polynomial spaces are then
(If d = −1 the elements of \(S_{ \underline {m}}^{(-1)}(I_h)\) are in general not continuous at the interior points of Ih.) It is easily seen that we have
In order to obtain high-order collocation or Galerkin approximations to VIDEs with weakly singular kernels whose solutions typically have unbounded second derivatives at t = 0, one will choose a mesh on I = [0, T] that is locally refined near t = 0. Such meshes, denoted by Ih(r, σ), correspond to a grading parameter σ ∈ (0, 1) and r ≥ 1 levels of refinement and are defined by the mesh points
We associate with each subinterval e0,μ := (t0,μ, t0,μ+1] (0 ≤ μ ≤ r − 1) a nonnegative integer m0,μ; these integers define the initial degree vector \(\, \underline {m}_0 := ( \, m_{0,0}, \ldots , m_{0,r-1})\). For d ∈{−1, 0} the corresponding piecewise polynomial spaces are defined by
where (m1, …, mN−1) is the degree vector for the intervals e1, …, eN−1. The dimensions of these linear spaces are
and
respectively. These spaces will be used below in the formulation of the hp-versions of collocation and (continuous and discontinuous) Galerkin methods.
2.2 Collocation Time-Stepping
We first recall time-stepping schemes based on collocation in the piecewise polynomial space \(S_m^{(0)}(I_h)\) for the VIDE
where the Volterra integral operator \(\mathcal {V}_{\alpha }: \; C(I) \rightarrow C(I)\) is
(0 < α ≤ 1), with K ∈ C(D) (D := {(t, s) : 0 ≤ s ≤ t ≤ T}). Since \(\mathrm {dim}\, S_m^{(0)}(I_h) = Nm+1\), we choose the set of collocation points
of cardinality |Xh| = Nm and defined by m ≥ 1 prescribed collocation parameters {ci : 0 < c1 < ⋯ < cm ≤ 1}. The collocation equation defining the collocation solution \(u_h \in S_m^{(0)}(I_h)\) for (4) is then given by
and complemented by the initial condition uh(0) = u0.
The local (time-stepping) version of (4) (for t = tn + vhn ∈ en) has the form
(v ∈ (0, 1]), with the history term
(t = tn + vhn ∈ en). Thus, the corresponding (local) collocation equation for tn,i ∈ en is
(i = 1, …, m), where the approximation \(\hat {H}_n(t)\) to the history term Hn(t) in (8) is
In order to obtain the computational form of (9) we set
Since \(u_h^{\prime }\) on en is a polynomial of degree m − 1 we may write
This implies that on en the collocation approximation uh has the local representation
where un := uh(tn). It allows us to write the local collocation Eq. (9) in the form
with bi,j := bj(ci). This is a system of m linear algebraic equations for the vector Yn := (Yn,1, …, Yn,m)T. For a, f ∈ C(I), K ∈ C(D) and 0 < α ≤ 1, it possesses a unique solution \(Y_n \in {\mathbb {R}}^m\) for 0 ≤ n ≤ N − 1 and for all meshes Ih with sufficiently small mesh diameter h > 0.
Remark 1
Since the integrals in (11) cannot, in general, be evaluated analytically a further discretization step consisting in approximating these integrals by appropriate numerical quadrature schemes, e.g. m-point interpolatory quadrature formulas with abscissas coinciding with the collocation points will be necessary (cf. Brunner [16] and Remark 2 below).
The attainable order of convergence of the collocation solution \(u_h \in S_m^{(0)}(I_h)\) depends strongly on the regularity of the solution u of the VIDE (3). If α = 1, then u essentially inherits the regularity of the data: C m data a, f and K imply that u ∈ C m+1(I). For 0 < α < 1 this is no longer true: for such C m data we obtain in general only u ∈ C 1(I) ∩ C m+1(0, T]: its second derivative behaves like u″(t) ∼ t α−1 as t → 0+. We summarize these observations in the following theorems (see for example Brunner [16, Ch. 3]).
Theorem 1
Assume that a, f ∈ C d(I), K ∈ C d(D) (d ≥ m), α = 1, and let \(u_h \in S_m^{(0)}(I_h)\) be the collocation solution defined by the collocation Eq.(6), with Ih being (quasi-)uniform.
-
(a)
If d ≥ m and the collocation parameters {ci} are chosen arbitrarily, there holds ∥u − uh∥∞≤ Ch m . The exponent m can in general not be replaced by m + 1.
-
(b)
If d ≥ m + 1 and if the collocation parameters satisfy the orthogonality condition
$$\displaystyle \begin{aligned} \int _{0}^{1}\prod _{i=1}^{m} (s-c_i)\,ds = 0, \end{aligned} $$(35)the attainable order of convergence of uh is given by ∥u − uh∥∞≤ Ch m+1 . This holds in particular when the ci are the (shifted) Gauss-Legendre points (i.e. the zeros of the Legendre polynomial Pm(2s − 1)) or the (shifted) Radau II points (the zeros of Pm(2s − 1) − Pm−1(2s − 1), with cm = 1).
For sufficiently regular solutions and very special choices of the collocation parameters {ci} the collocation solution \(u_h \in S_m^{(0)}(I_h)\) exhibits a higher order of (local) superconvergence at the mesh points Ih.
Theorem 2
Let the assumptions of Theorem 1 hold and assume that the collocation parameters are such that
Then the optimal order of (local) convergence of \(u_h \in S_m^{(0)}(I_h)\) at the points of I h is
Important special cases are the m Gauss-Legendre points (corresponding to κ = m) and the Radau II points (corresponding to κ = m − 1, with cm = 1).
Remark 2
The local superconvergence results on Ih remain valid (with different, usually larger, error constants Cd) if the integrals in the collocation Eq. (11) are approximated by m-point interpolatory quadrature formulas whose abscissas are the collocation points. The resulting ‘fully discretized’ collocation equation represents an implicit m-stage Volterra-Runge-Kutta method (Brunner [16, Section 3.2.2]; see also Brunner and van der Houwen [21]).
The general theory of (explicit and implicit) Runge-Kutta is due to Lubich [60] (compare also Brunner and van der Houwen [21, Section 4.2]). Implicit Runge-Kutta time discretization (and their asymptotic stability properties) were studied by Brunner et al. [24]. See also Kauthen [49] on implicit Runge-Kutta methods for singularly perturbed VIDEs.
For VIDEs (4) with weakly singular kernels (corresponding to 0 < α < 1) the above results on the attainable order of convergence of the collocation solution \(u_h \in S_m^{(0)}(I_h)\) are no longer valid, owing to the low regularity of the solution u at t = 0. The following theorem is due to Brunner [12], Tang [91] (see also Brunner et al. [25] and Brunner [16, Section 7.2]).
Theorem 3
Let the functions a, f, K in (4) be subject to the assumptions of Theorem 1 , with 0 < α < 1. Then the collocation solution \(u_h \in S_m^{(0)}(I_h)\) defined by (6), (7) possesses the following convergence properties:
-
(a)
If the mesh Ih is (quasi-)uniform, then ∥u − uh∥∞≤ Cα h 1+α for any m ≥ 2.
-
(b)
If Ih is a (globally) graded mesh whose points are given by tn = (n∕N)r T, with r ≥ (m + α)∕(1 + α), then the attainable order of convergence of uh on I is described by
$$\displaystyle \begin{aligned} \max _{1 \leq n \leq N} |u(t_n)-u_h(t_n)| \leq C_{\alpha }N^{-(m+\alpha )} \;\, (m \geq 2), \end{aligned}$$provided the collocation parameters {ci} are such that (12) holds.
While the use of globally graded meshes restores the higher order of convergence of collocation solutions for VIDEs (1.1) with 0 < α < 1, it has the drawback that hn, the size of the subinterval en becomes very large (compared to h0) as n tends to N − 1. There are a number of approaches that avoid this problem.
-
(a)
Piecewise non-polynomial spline collocation: For a given (uniform) mesh Ih the piecewise polynomial space \(S_m^{(0)}(I_h)\) is augmented by an appropriate number (depending on m and α) of non-polynomial basis functions that, on the initial interval e0, reflect the singular behaviour of higher derivatives of the solution u (cf. Brunner [11]).
-
(b)
Hybrid collocation: This approach combines non-polynomial spline collocation near the initial point t = 0 and piecewise polynomial spline collocation on en with n ≥ 1. It was analyzed for weakly singular Volterra integral equations in Cao et al. [33]; it seems that for weakly singular VIDEs this has not yet been studied.
-
(c)
hp-collocation with local mesh refinement: As we shall see at the end of Sect. 2.3, piecewise polynomial collocation in \(S_{m}^{(0)}(I_h)\) for the VIDE (4) is closely related to discretized cG and dG methods in \(S_{m}^{(0)}(I_h)\) and \(S_{m-1}^{(-1)}(I_h)\), respectively. Thus, the convergence analysis for the latter approximations to the solution of (4) with 0 < α ≤ 1 can be employed to derive optimal convergence results for hp-collocation methods. This analysis is currently being carried out.
2.3 Continuous and Discontinuous Galerkin Time-Stepping
Based on the variational form of the VIDE (4) the exact continuous Galerkin (cG) equation for \(u_h \in S_{m}^{(0)}(I_h)\) has the form
where the (global) inner product of g and h is given by \(\,{\displaystyle \langle g,h \rangle := \int _{I} g(s)h(s)ds}\). (We use the terminology ‘exact Galerkin equation’ to indicate that the inner products are evaluated exactly.) In analogy to the collocation Eq. (6) in \(S_{m}^{(0)}(I_h)\) the cG Eq. (13) is complemented by the initial condition uh(0) = u0.
The (exact) discontinuous Galerkin (dG) equation in \(S_{m}^{(-1)}(I_h)\) for (4) is
The above cG and dG equations can be written in local ‘time-stepping’ form where the inner products are now taken over the subintervals en. We will do this first for the dG Eq. (14) where we have to take into account the jump discontinuities of the test functions \(\phi \in S_m^{(-1)}(I_h)\) across the interior points of the mesh Ih. It is readily verified that on en the dG equation assumes the form
for all \(\phi \in \mathcal {P}_m(e_n)\) and 0 ≤ n ≤ N − 1 (see also Brunner and Schötzau [20]). Here, we have set
and \(\hat {H}_n(t)\) is as in (9).
An equation analogous to (15) holds for the cG Eq. (13), except that now there are no jump discontinuity terms (since uh ∈ C(I)):
for all \(\phi \in \mathcal {P}_m(e_{n}) \; (0 \leq n \leq N-1)\).
We cite two representative results on the attainable order of convergence of hp-dG approximations \(u_h \in S_{ \underline {m}}^{(-1)}(I_h)\) and \(u_h \in S_{ \underline {m}}^{(-1)}(I_h(r,\sigma ))\). The underlying VIDE (1.1) is assumed to be parabolic (that is, a ∈ C(I) satisfies \( \underline {a} \leq -a(t) \leq \bar {a} \; (t \in I)\) for some constants \( \underline {a} \leq \bar {a} < \infty \)), as well as subject to some additional technical assumptions (see Brunner and Schötzau [20] and Mustapha et al. [76] for details).
-
(1)
In the (atypical) case where the solution u of the VIDE (1.1) with 0 < α < 1 is analytic on I there holds
$$\displaystyle \begin{aligned} \|u-u_h\|{}_{\infty } \leq C\mathrm{e}^{-b|\underline{m}|}, \end{aligned}$$where the constants C and b are independent of the degree vector \( \underline {m}\).
-
(2)
If the data a f, and K are analytic on I and D, respectively, (implying that u is not analytic on I) then there exist degree vectors \( \underline {m}_0\) (on e0) and \( \underline {m}\) (on [t1, T]) so that for the locally geometrically refined mesh Ih(r, σ) the dG solution \(u_h \in S_{ \underline {m}}^{(-1)}(I_h(r,\sigma ))\) satisfies
$$\displaystyle \begin{aligned} \|u-u_h\|{}_{\infty } \leq C \mathrm{e}^{-bM_m^{-1/2}}, \end{aligned}$$where
$$\displaystyle \begin{aligned} M_m := \mathrm{dim}\, S_{\underline{m}}^{(-1)}(I_h(r,\sigma )) = \sum _{k=0}^{r-1}m_{0,k} + \sum _{n=1}^{N-1}m_n + r + N -1, \end{aligned}$$(cf. (3)), with constants C and b not depending on the degree vectors.
Remark 3
-
(i)
While ‘good’ values of the grading parameter σ ∈ (0, 1) can be determined numerically (see Brunner and Schötzau [20, pp. 242–243] for a discussion), the analysis of how to select an optimal grading parameter σ remains to be carried out.
-
(ii)
Superconvergence results for dG solutions (h-version) for weakly singular VIDEs (1.1) can be found in Mustapha [72]. Analogous results for cG solutions do not seem to have been derived yet.
-
(iii)
An interesting alternative to hp-dG methods for VIDEs with weakly singular kernels are hp-Petrov-Galerkin methods: here, the approximate solution is sought in the space \(S_{m}^{(0)}(I_h)\) while the test space is a space of discontinuous piecewise polynomials. This extension of the hp-dG methods analyzed in [20] can be found in Yi and Guo [100], together with results on the attainable order of convergence of such Petrov-Galerkin solutions.
Since the (local) integrals (inner products) in the Galerkin equations (15) and (16) can in general not be found analytically, they need to be approximated by appropriate quadrature schemes in order to obtain the computational form of these equations. For the dG Eq. (15) the obvious choice are m-point interpolatory (product) quadrature formulas with abscissas 0 ≤ d0 < d1 < ⋯ < dm ≤ 1. For the approximation of the first integral on the right-hand side of (15) this results in
The resulting discretized dG equation is related to (but, owing to the finite jump terms, not identical with) the collocation Eq. (9) for \(u_h \in S_{m+1}^{(0)}(I_h)\) with the {di} as collocation parameters. (This is an extension of Lasaint and Raviart [51] where this relationship was explored for ODEs; see also [20].) On the other hand, the discretized cG Eq. (16) coincides with the collocation Eq. (9) if m-point interpolatory quadrature with abscissas di = ci is used.
Remark 4
-
(i)
For long-time integration and very large values of N the re-evaluation of the history terms (i.e. the integrals over [0, tn]) in (15) and (16) for each new interval en will become very expensive. In such situations the use of ‘sparse quadrature’ may reduce the computational effort; see for example Sloan and Thomeé [88] or Adolfssson et al. [1].
-
(ii)
For certain partial VIDEs with convolution kernels, for example
$$\displaystyle \begin{aligned} \frac{\partial u}{\partial t} + \int _{0}^{t} (t-s)^{\alpha -1}\mathcal{A}u(s)\,ds = f(t), \;\, t \in I,\;\, u(0) = u_0 \end{aligned} $$(40)where 0 < α < 1 and \(\mathcal {A}\) is an elliptic (spatial) differential operator, convolution quadrature based on Laplace transform techniques leads to efficient time-stepping schemes (see for example McLean and Thomée [71], Schädle et al. [85], López-Fernández et al. [59], Mustapha and McLean [73], as well as Cuesta et al. [37] for more general versions of (17) and the use of modified convolution quadrature techniques for time-stepping). A particular example (Fujita [40]) is the VIDE
$$\displaystyle \begin{aligned} u_t = f + \int _{0}^{t}k(t-s)\varDelta u(s,\cdot )\,ds\;: \end{aligned}$$it ‘interpolates’ between heat equation (corresponding to k(t − s) = δ(t − s)) and the wave equation (k(t − s) ≡ 1).
2.4 Collocation and Galerkin Methods for FIDEs
A comprehensive analysis of piecewise polynomial collocation solutions for boundary-value problems for nonlinear Fredholm integro-differential equations
with r ≥ 1, is due to Hangelbroek et al. [45]. In particular, they derived optimal local superconvergence results at the mesh points Ih. Similar local superconvergence results hold for initial-value problems for analogous rth-order VIDEs (cf. Brunner [13]). A boundary-value problem for the nonlinear second-order nonlinear FIDE
arises when studying a coupled system of integro-differential-algebraic equations that models exothermic catalytic combustion in a cylinder. Its numerical treatment by orthogonal collocation methods and the derivation of optimal convergence results are discussed in Ganesh and Spence [42]. An alternative numerical scheme, namely a Petrov-Galerkin method, is analyzed in Ganesh and Sloan [41].
An analysis of projection methods, and in particular of cG methods, for FIDEs (18) can be found in Volk [92, 93]. The second paper also contains superconvergence results for cG solutions.
Parts, Pedas and Tamme [79] and Pedas and Tamme [80] established a comprehensive theory on the regularity of solutions of linear, weakly singular FIDEs
where K(t, s) contains weak algebraic or logarithmic singularities, or is bounded but has unbounded derivatives. This is complemented by an equally comprehensive analysis of the order of optimal convergence of piecewise polynomial collocation solutions (see also [81]).
Large systems of FIDEs with dense matrices are encountered in the spatial discretization of linear parabolic FIDEs \(u_t + \mathcal {A}u = 0\) where \(\mathcal {A}\) is the sum of a second-order elliptic (spatial) differential operator and a linear Fredholm integral operator over some bounded domain \(\varOmega \subset {\mathbb {R}}^d\). Such FIDEs arise in the mathematical modelling of stochastic processes in financial mathematics (e.g. in option pricing). Matache et al. [67] proposed a numerical scheme, based on wavelet discretization in space and dG time discretization, in which the (large) dense matrix is replaced by using wavelet compression techniques. The complexity of such schemes is analyzed in Matache et al. [68].
3 Numerical Analysis of Non-standard VIDEs
3.1 Auto-Convolution VIDEs
It was shown in Brunner [14] that for the non-standard VIDE
the optimal orders of (global and local) convergence of collocation solutions \(u_h \in S_{m}^{(0)}(I_h)\) described in Theorems 1 and 2 remain valid (see also Brunner et al. [26] for a study of similar time-stepping for analogous partial VIDEs). The proof of these results proceeds along the lines of the one for standard nonlinear VIDEs (cf. Brunner [16]). Discontinuous Galerkin methods for (1) were analyzed in Ma and Brunner [62]; the paper includes the derivation of a posteriori error bounds for the piecewise polynomial spaces \(S_{m-1}^{(-1)}(I_h)\) with m = 1 and m = 2.
Consider now the (generalized) auto-convolution VIDE
with a ∈ C(I), f ∈ C(I) and Kα(t, s) := (t − s)α−1 K(t, s) (0 < α ≤ 1, K ∈ C(D)). If G(u) = u the analysis of its solvability differs significantly from one for the non-standard VIDE (1). It follows by a fixed-point argument similar to the one used in Zhang et al. [102] for auto-convolution VIEs that there exists a (small) δ0 > 0 (depending on \(\bar {a} := \|a\|{ }_{\infty }, \, \bar {f} := \|\,f\|{ }_{\infty }\) and \(\bar {K} := \|K\|{ }_{\infty }\)) so that (1) possesses a unique (local) solution w0 ∈ C 1[0, δ0]. For t ∈ [δ0, 2δ0] we may write (1) in the form
We see that in (3), t − s ∈ [0, δ0]. Since u(t − s) = w0(t − s) is known, (3) is linear in u. This process can be continued to the entire (bounded) interval [δ0, T] because there exists an integer \(\bar {N}\) so that T ∈ [(M − 1)δ0, Mδ0].
The above observation implies that the results on the attainable orders of superconvergence of Theorems 1 and 2 are also valid for the auto-convolution VIDE (2) with G(u) = u. (A different, though rather sketchy, convergence analysis for implicit, collocation-based Runge-Kutta methods for (2) with α = 1 and G(u) = u was given in Yuan and Tang [101].)
For more general (nonlinear) functions G in (2), for example G(u) = u β with β > 1, the analysis of the optimal order of (global or local) superconvergence of collocation solutions \(u_h \in S_m^{(0)}(I_h)\) remains open.
3.2 VIDEs with Delay Arguments
The generic form of a linear Volterra functional integro-differential equation (VFIDE) with (real-valued) delay function θ is
where 0 < α ≤ 1, and θ(t) := t − τ(t) is either a vanishing delay (τ(0) = 0, 0 < θ(t) < t if t > 0) or a non-vanishing delay (τ(t) ≥ τ0 > 0, t ∈ I). Regularity results for the solutions of weakly singular VFIDES (4) with non-vanishing delays can be found in Brunner and Ma [19]. For (4) with α = 1, optimal (super-)convergence results analogous to the ones in Theorems 1 and 2 were established in Brunner [15]. Shakourifar and Enright [86] studied continuous implicit Runge-Kutta methods for such VFIDEs; an alternative to collocation, using (explicit) continuous Volterra-Runge-Kutta methods together with C 1 Hermite interpolants at non-mesh points is described in Shakourifar and Enright [87] (compare also [86]). These methods are then used to solve Volterra’s predator-prey system (1.10), (1.11). A very general theoretical framework for the analysis of Runge-Kutta methods for Volterra functional differential equations is due to Lin [52] and Li and Li [53].
If a VFIDE is of the form
it is said to be of neutral type; it may be viewed as the nonlocal analogue of a neutral delay differential equation. The terminology ‘neutral’ VIDE or VFIDE is also used for equations like
with, respectively, θ(t) ≡ 0 and θ(t) = t − τ(t). We have encountered a closely related system of such neutral VFIDEs in Example 4. That system of VFIDEs is also closely related to a system of integral-algebraic equations (cf. following section). The numerical analysis and computational solution of VFIDEs (6) was studied by, e.g., Brunner and Vermiglio [22] (θ(t) ≡ 0 and α = 1) and, for 0 < α < 1), by Ito and Turi [46] (using a semigroup framework) and by Brunner [18]. (The latter two papers also contain numerous additional references.)
3.3 Volterra Integro-Differential-Algebraic Equations
The system
with
and \(A(\cdot ),\,B(\cdot ),\,K(\cdot ,\cdot ) \in {\mathbb {R}}^{d\times d} \; (d \geq 2)\) and 0 < α ≤ 1, is called a system of Volterra integro-differential-algebraic equations (IDAEs). It may be viewed as a nonlocal extension of the system of differential-algebraic equations (DAEs)
The numerical analysis of systems of DAEs is now well understood (see for example Lamour et al. [50] and its references), and this is to a somewhat lesser extent also true for systems of integral-algebraic equations (IAEs) (that is, (7) with A(t) ≡ 0; cf. Liang and Brunner [54, 55]). The extension of the optimal convergence results for collocation methods from IAEs (which used an adaptation of the projection techniques of [50]) to systems of IDAEs is currently being studied by Liang and Brunner [56]. Owing to the non-local character of IAEs and IDAEs, the analysis becomes much more complex than the one for DAEs because it not only requires an appropriate understanding of the (tractability) index of the IDAE system but has also to take into account the degree of ill-posedness of the inherent system of first-kind Volterra integral equations. However, the analysis of collocation methods for IAEs and IDAEs with weakly singular kernels remains open.
3.4 Time-Fractional Evolution Equations
An equation of the form
is a basic example of a (time-)fractional VIDE. For 0 < α < 1,
is the Caputo fractional derivative of order α of u(t). It is related to the Riemann-Liouville fractional derivative,
via
Using the inverse (fractional time-integration) operator corresponding to \(^CD_t^{\alpha }\) the fractional VIDE (9) can be written as an equivalent first-order VIDE or a VIE with weakly singular kernel (see for example Ma and Huang [63] where this is used as the basis for a numerical scheme). Although the numerical treatment of time-fractional VIDEs (and more general time-fraction evolution equations) has by now become a substantial ‘industry’, many issues are still waiting to be addressed. These include a detailed (analytical and numerical) comparison of computational schemes for fractional diffusion equations based on either the Caputo or the Riemann-Liouville fractional derivative (and the relationship between the respective schemes), as well as a thorough analysis of the merits of solving (9) directly, rather than its corresponding VIDE or VIE version.
Owing to limitation of space, and the sheer mass of recent papers on fractional diffusion equations, we will have to restrict this section to pointing the reader to a selection recent contributions relevant to the topics treated in the present paper. The 2010 monograph by Mainardi [64] contains, in addition to an introduction to fractional calculus, numerous applications of fractional diffusion-wave equations. The regularity of solutions to fractional diffusion is analyzed in McLean [69] (see also Clément and Londen [36] and its references). Various aspects (including a maximum principle) of discretizing such problems are treated in Mustapha and McLean [73], Brunner et al. [27], Mustapha and McLean [74], Ling and Yamamoto [57], Mustapha and Schötzau [75], Mustapha et al. [77], McLean and Mustapha [70], and Brunner et al. [28, 29]. Most of these papers contain extensive references.
4 Computational Challenges and Open Problems
4.1 Semilinear VIDEs with Blow-Up Solutions
For certain functions a, f, smooth or weakly singular kernels k, and (smooth) G the solution of the semilinear VIDE
(with a(t) ≤ 0) may blow up in finite time. For VIDEs (1) whose solution behaves monotonically the blow-up analysis of nonlinear VIEs developed in Brunner and Yang [23] can be used to derive necessary and sufficient conditions for finite-time blow-up. (Sufficient conditions for very special case of (1) were derived in Ma [61].) However, the blow-up theory for general VIDEs (1) whose solutions do (typically) not exhibit a monotone behavior remains to be established.
The finite-time blow-up of solutions of semilinear parabolic VIDEs
with typical nonlinearities G(u) = (u + λ)p (p > 1, λ > 0) or G(u) = eβu (β > 0 was studied by Bellout [10] (see also Souplet [90]), under the assumption that Ω is bounded and has a smooth boundary ∂Ω. Blow-up results for different classes of semilinear parabolic VIDEs, including VIDEs of the form
where μ is Hölder continuous, with μ ≥ 0 (μ≢0), and a > 0, and analogous partial VIDEs of Fredholm type, can be found in Souplet [89] and in Chapter V of Quittner and Souplet [83]. The blow-up of solutions for IDEs whose right-hand sides contain the composition of temporal and spatial integrals are also studied. The analysis is again based on the assumption that the spatial domain Ω possesses a smooth boundary. It appears that the blow-up theory for (2) and (3) with d = 2 and rectangular Ω remains to be established (in contrast to semilinear parabolic PDEs; cf. Bandle and Brunner [5] and its references).
The computational solution of parabolic VIDEs (2) on unbounded spatial domains Ω was studied in, e.g., Han et al. [44] and Brunner et al. [30] (see also for additional references). It is based on the choice of an appropriate bounded computational domain \(\bar {\varOmega }\) and the construction of corresponding artificial boundary conditions for \(\bar {\varOmega }\). (Compare also the monograph by Han and Wu [43] on the underlying theory of artificial boundary conditions for various classes of PDEs.)
On the other hand, the numerical analysis of parabolic VIDEs with finite-time blow-up, in particular the derivation of a posteriori error bounds for the numerical blow-up time, remains open.
4.2 Semilinear FIDEs with Blow-Up Solutions
As we have seen in Sect. 1.2, semilinear Fredholm integro-differential equations with nonlocal reaction term,
where Ω is bounded with smooth boundary, occur in chemical reaction-diffusion processes. It was shown in Chadam et al. [35] and Chadam and Yin [34] that for typical nonlinearities like H(u) = eu the solution of (4) may blow up in finite time. While the theory of such FIDEs is well understood, this is not true of the numerical analysis and the efficient computational solution of these problems. The key difference between the spatial semidiscretization of the parabolic VIDE (2) and the parabolic FIDE (4) is that the approximation of the spatial integral in (4) leads to a large, dense system of semilinear FIDEs. It would be of interest to see if a discretization scheme similar to the one described at the end of Section 2.4 [67] can be used in the efficient computational solution of (4).
References
Adolfsson, K., Enelund, M., Larsson, S.: Adaptive discretization on an integro-differential equation with a weakly singular kernel. Comput. Methods Appl. Mech. Eng. 192, 5285–5304 (2003)
Appell, J.M., Kalitvin, A.S., Zabrejko, P.P.: Partial Integral Operators and Integro-Differential Equations. Marcel Dekker, New York (2000)
Audounet, J., Roquejoffre, J.M., Rouzaud, H.: Numerical simulation of a point-source initiated flame ball with heat loss. M2AN Math. Mod. Numer. Anal. 36, 273–291 (2002)
Aves, M.A., Davies, P.J., Higham, D.J.: The effect of quadrature on the dynamics of a discretized nonlinear integro-differential equation. Appl. Numer. Math. 32, 1–20 (2000)
Bandle, C., Brunner, H.: Blowup in diffusion equations: a survey. J. Comput. Appl. Math. 97, 3–32 (1998)
Bebernes, J., Bressan, A.: Thermal behavior for a confined reactive gas. J. Differ. Equ. 44, 118–133 (1982)
Bebernes, J., Eberly, D.: Mathematical Problems from Combustion Theory. Springer, New York (1989)
Bebernes, J., Kassoy, D.R.: A mathematical analysis of blow-up for thermal reactions – the spatially nonhomogeneous case. SIAM J. Appl. Math. 40, 476–484 (1981)
Bélair, J., Mackey, M.C.: Consumer memory and price fluctuations in commodity markets: an integrodifferentiation model. J. Dynam. Differ. Equ. 1, 299–325 (1989)
Bellout, H.: Blow-up of solutions of parabolic equations with nonlinear memory. J. Differ. Equ. 70, 42–68 (1987)
Brunner, H.: Nonpolynomial spline collocation for Volterra equations with weakly singular kernels. SIAM J. Numer. Anal. 20, 1106–1119 (1983)
Brunner, H.: Polynomial spline collocation methods for Volterra integro-differential equations with weakly singular kernels. IMA J. Numer. Anal. 6, 221–239 (1986)
Brunner, H.: The approximate solution of initial-value problems for general Volterra integro-differential equations. Computing 40, 125–137 (1988)
Brunner, H.: Collocation methods for nonlinear Volterra integro-differential equations with infinite delay. Math. Comput. 53, 571–587 (1989)
Brunner, H.: The numerical solution of neutral Volterra integro-differential equations with delay arguments. Ann. Numer. Math. 1, 309–322 (1994)
Brunner, H.: Collocation Methods for Volterra Integral and Related Functional Differential Equations. Cambridge University Press, Cambridge (2004)
Brunner, H.: The numerical analysis of functional integral and integro-differential equations of Volterra type. Acta Numer. 13, 55–145 (2004)
Brunner, H.: The numerical solution of weakly singular Volterra functional integro-differential equations with variable delays. Commun. Pure Appl. Anal. 5, 261–276 (2006)
Brunner, H., Ma, J.T.: On the regularity of solutions to Volterra functional integro-differential equations with weakly singular kernels. J. Integr. Equ. Appl. 18, 143–167 (2006)
Brunner, H., Schötzau, D.: hp-discontinuous Galerkin time-stepping for Volterra integro-differential equations. SIAM J. Numer. Anal. 44, 224–245 (2006)
Brunner, H., van der Houwen, P.J.: The Numerical Solution of Volterra Equations. CWI Monographs, vol. 3. North-Holland, Amsterdam (1986)
Brunner, H., Vermiglio, R.: Stability of solutions of delay functional integro-differential equations and their discretizations. Computing 71, 229–245 (2003)
Brunner, H., Yang, Z.W.: Blow-up behavior of Hammerstein-type Volterra integral equations. J. Integr. Equ. Appl. 24, 487–512 (2012)
Brunner, H., Kauthen, J.-P., Ostermann, A.: Runge-Kutta time discretization of parabolic integro-differential equations. J. Integr. Equ. Appl. 7, 1–16 (1995)
Brunner, H., Pedas, A., Vainikko, G.: Piecewise polynomial collocation methods for linear Volterra integro-differential equations with weakly singular kernels. SIAM J. Numer. Anal. 39, 957–982 (2001)
Brunner, H., van der Houwen, P.J., Sommeijer, B.P.: Splitting methods for partial Volterra integro-differential equations. In: Lu, Y., Sun, W., Tang, T. (eds.) Advances in Scientific Computing and Applications (Hong Kong 2003), pp. 68–81. Science Press, Beijing/New York (2004)
Brunner, H., Ling, L., Yamamoto, M.: Numerical simulation of 2D fractional subdiffusion problems. J. Comput. Phys. 229, 6613–6622 (2010)
Brunner, H., Han, H.D., Yin, D.S: Artificial boundary conditions and finite difference approximations for a time-fractional diffusion-wave equation on a two-dimensional unbounded domain. J. Comput. Phys. 276, 541–562 (2014)
Brunner, H., Han, H.D., Yin, D.S.: The maximum principle for time-fractional diffusion equations and its applications. Numer. Funct. Anal. Optim. 36, 1307–1321 (2015)
Brunner, H., Tang, T., Zhang, J.W.: Numerical blow-up of nonlinear parabolic integro-differential equations on unbounded domain. J. Sci. Comput. 68, 1281–1298 (2016)
Bulatov, M.V., Lima, P., Weinmüller, E.B.: Existence and uniqueness of solutions to weakly singular integral-algebraic and integro-differential equations. Cent. Eur. J. Math. 12, 308–321 (2014)
Burns, J.A., Cliffs, E.M., Herdman, T.L.: A state-space model for an aeroelastic system. In: 22nd IEEE Conference on Decision and Control, vol. 3, pp. 1074–1077 (1983)
Cao, Y.Z., Herdman, T.L., Xu, Y.S.: A hybrid collocation method for Volterra integral equations with weakly singular kernels. SIAM J. Numer. Anal. 41, 364–381 (2003)
Chadam, J.M., Yin, H.M.: A diffusion equation with localized chemical reactions. Proc. Edinb. Math Soc. (2) 37, 101–118 (1994)
Chadam, J.M., Peirce, A., Yin, H.M.: The blowup property of solutions to some diffusion equations with localized nonlinear reactions. J. Math. Anal. Appl. 169, 313–328 (1992)
Clément, P., Londen, S.-O.: Regularity aspects of fractional evolution equations. Rend. Ist. Mat. Univ. Trieste 31, 19–30 (2000)
Cuesta, E., Lubich, Ch., Palencia, C.: Convolution quadrature time discretization of fractional diffusion-wave equations. Math. Comput. 75, 673–696 (2006)
Cushing, J.M.: Integrodifferential Equations and Delay Models in Population Dynamics. Lecture Notes in Biomathematics, vol. 20. Springer, Berlin/Heidelberg (1977)
Doležal, V.: Dynamics of Linear Systems. Publishing House of the Czechoslovak Academy of Sciences, Prague (1964)
Fujita, Y.: Integrodifferential equation which interpolates the heat equation and the wave equation (I). Osaka J. Math. 27, 309–321 (1990); (II) 27, 797–804 (1990)
Ganesh, M., Sloan, I.H.: Optimal order spline methods for nonlinear differential and integro-differential equations. Appl. Numer. Math. 29, 445–478 (1999)
Ganesh, M., Spence, A.: Orthogonal collocation for nonlinear integro-differential equations. IMA J. Numer. Anal. 18, 191–206 (1998)
Han, H.D., Wu, X.N.: Artificial Boundary Method. Springer, Heidelberg/Tsinghua University Press, Beijing (2013)
Han, H.D., Zhu, L., Brunner, H., Ma, J.T.: Artificial boundary conditions for parabolic Volterra integro-differential equations on unbounded two-dimensional domains. J. Comput. Appl. Math. 197, 406–420 (2006)
Hangelbroek, R.J., Kaper, H.G., Leaf, G.K.: Collocation methods for integro-differential equations. SIAM J. Numer. Anal. 14, 377–390 (1977)
Ito, K., Turi, J.: Numerical methods for a class of singular integro-differential equations based on semigroup approximation. SIAM J. Numer. Anal. 28, 1698–1722 (1991)
Janno, J., von Wolfersdorf, L.: Integro-differential equations of first order with autoconvolution integral. J. Integr. Equ. Appl. 21, 39–75 (2009)
Jordan, G.S.: A nonlinear singularly perturbed Volterra integrodifferential equation of nonconvolution type. Proc. R. Soc. Edinb. Sect. A 80, 235–277 (1978)
Kauthen, J.-P.: Implicit Runge-Kutta methods for singularly perturbed integro-differential systems. Appl. Numer. Math. 18, 201–210 (1995)
Lamour, R., März, R., Tischendorf, C.: Differential-Algebraic Equations: A Projector Based Analysis. Springer, Berlin/Heidelberg (2013)
Lasaint, P., Raviart, P.A.: On a finite element method for solving the neutron transport equation. In: de Boor, C. (ed.) Mathematical Aspects of Finite Elements in Partial Differential Equations, pp. 89–145. Academic, New York (1974)
Li, S.F.: High order contractive Runge-Kutta methods for Volterra functional differential equations. SIAM J. Numer. Anal. 47, 4290–4325 (2010)
Li, S.F., Li, Y.F.: B-convergence theory of Runge-Kutta methods for stiff Volterra functional differential equations with infinite interval of integration. SIAM J. Numer. Anal. 53, 2570–2583 (2015)
Liang, H., Brunner, H.: Integral-algebraic equations: theory of collocation methods I. SIAM J. Numer. Anal. 51, 2238–2259 (2013)
Liang, H., Brunner, H.: Integral-algebraic equations: theory of collocation methods II. SIAM J. Numer. Anal. 54, 2640–2663 (2016)
Liang, H., Brunner, H.: Collocation methods for integro-differential-algebraic equations with index 1. IMA J. Numer. Anal. (submitted)
Ling, L., Yamamoto, M.: Numerical simulations for space-time fractional diffusion equations. Int. J. Comput. Methods 10, 13 pp. (2013)
Lodge, A.S., McLeod, J.B., Nohel, J.A.: A nonlinear singularly perturbed Volterra integrodifferential equation occurring in polymer rheology. Proc. R. Soc. Edinb. Sect. A 80, 99–137 (1978)
López-Fernández, M., Lubich, Ch., Schädle, A.: Adaptive, fast, and oblivious convolution in evolution equations with memory. SIAM J. Sci. Comput. 30, 1015–1037 (2008)
Lubich, Ch.: Runge-Kutta theory for Volterra integrodifferential equations. Numer. Math. 40, 119–135 (1982)
Ma, J.T.: Blow-up solutions of nonlinear Volterra integro-differential equations. Math. Comput. Model. 54, 2551–2559 (2011)
Ma, J.T., Brunner, H.: A posteriori error estimates of discontinuous Galerkin methods for non-standard Volterra integro-differential equations. IMA J. Numer. Anal. 26, 78–95 (2006)
Ma, X.H., Huang, C.M.: Numerical solution of fractional integro-differential equations by a hybrid collocation method. Appl. Math. Comput. 219, 6750–6760 (2013)
Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London (2010)
Markowich, P., Renardy, M.: A nonlinear Volterra integro-differential equation describing the stretching of polymer liquids. SIAM J. Math. Anal. 14, 66–97 (1983)
Markowich, P., Renardy, M.: The numerical solution of a class of quasilinear parabolic Volterra equations arising in polymer rheology. SIAM J. Numer. Anal. 20, 890–908 (1983)
Matache, A.-M., Schwab, C., Wihler, T.P.: Fast numerical solution of parabolic integro-differential equations with applications in finance. SIAM J. Sci. Comput. 27, 369–393 (2005)
Matache, A.-M., Schwab, C., Wihler, T.P.: Linear complexity of parabolic integro-differential equations. Numer. Math. 104, 69–102 (2006)
McLean, W.: Regularity of solutions to a time-fractional diffusion equation. ANZIAM J. 52, 123–138 (2010)
McLean, W., Mustapha, K.: Time-stepping error bounds for fractional diffusion problems with non-smooth initial data. J. Comput. Phys. 293, 201–217 (2015)
McLean, W., Thomée, V.: Time discretization of an evolution equation via Laplace transforms. IMA J. Numer. Anal. 24, 439–463 (2004)
Mustapha, K.: A superconvergent discontinuous Galerkin method for Volterra integro-differential equations. Math. Comput. 82, 1987–2005 (2013)
Mustapha, K., McLean, W.: Discontinuous Galerkin method for an evolution equation with a memory term of positive type. Math. Comput. 78, 1975–1995 (2009)
Mustapha, K., McLean, W.: Uniform convergence for a discontinuous Galerkin, time-stepping method applied to a fractional differential equation. IMA J. Numer. Anal. 32, 906–925 (2012)
Mustapha, K., Schötzau, D.: Well-posedness of hp-version discontinuous Galerkin methods for fractional diffusion wave equations. IMA J. Numer. Anal. 34, 1426–1446 (2014)
Mustapha, K., Brunner, H., Mustapha, H., Schötzau, D.: An hp-version discontinuous Galerkin method for integro-differential equations of parabolic type. SIAM J. Numer. Anal. 49, 1369–1396 (2011)
Mustapha, K., Abdallah, B., Furati, K.M.: A discontinuous Petrov-Galerkin method for time-fractional diffusion equations. SIAM J. Numer. Anal. 52, 2512–2529 (2014)
Nassirharand, A.: A new technique for solving sets of coupled nonlinear algebraic and integro-differential equations. Int. J. Contemp. Math. Sci. 3, 1611–1617 (2008)
Parts, I., Pedas, A., Tamme, E.: Piecewise polynomial collocation for Fredholm integro-differential equations with weakly singular kernels. SIAM J. Numer. Anal. 43, 1897–1911 (2005)
Pedas, A., Tamme, E.: Spline collocation method for integro-differential equations with weakly singular kernels. J. Comput. Appl. Math. 197, 253–269 (2006)
Pedas, A., Tamme, E.: A discrete collocation method for Fredholm integro-differential equations with weakly singular kernels. Appl. Numer. Math. 61, 738–751 (2011)
Prüss, J.: Evolutionary Integral Equations and Applications. Birkhäuser, Basel (1993)/Reprint (2012)
Quittner, P., Souplet, P.: Superlinear Parabolic Problems. Birkhäuser, Basel (2007)
Rouzaud, H.: Long-time dynamics of an integro-differential equation describing the evolution of a spherical flame. Rev. Mat. Complut. 16, 207–232 (2003)
Schädle, A., López-Fernández, M., Lubich, Ch.: Fast and oblivious convolution quadrature. SIAM J. Sci. Comput. 28, 421–438 (2006)
Shakourifar, M., Enright, W.H.: Reliable approximate solution of systems of Volterra integro-differential equations with time-dependent delays. SIAM J. Sci. Comput. 33, 1134–1158 (2011)
Shakourifar, M., Enright, W.H.: Superconvergent interpolants for collocation methods applied to Volterra integro-differential equations with delay. BIT Numer. Math. 52, 725–740 (2012)
Sloan, I.H., Thomée, V.: Time discretization of an integro-differential equation of parabolic type. SIAM J. Numer. Anal. 23, 1052–1061 (1986)
Souplet, P.: Blow-up in nonlocal reaction-diffusion equations. SIAM J. Math. Anal. 29, 1301–1334 (1998)
Souplet, P.: Monotonicity of solutions and blow-up for semilinear parabolic equations with nonlinear memory. Z. Angew. Math. Phys. 55, 28–31 (2004)
Tang, T.: Superconvergence of numerical solutions to weakly singular Volterra integro-differential equations. Numer. Math. 61, 373–382 (1992)
Volk, W.: The numerical solution of linear integro-differential equations by projection methods. J. Integr. Equ. 9, 171–190 (1985)
Volk, W.: The iterated Galerkin method for linear integro-differential equations. J. Comput. Appl. Math. 21, 63–74 (1988)
Volterra, V.: Sulle equazioni integro-differenziali. Rend. Accad. Lincei Ser. 5 XVIII, 167–174 (1909)
Volterra, V.: Sur les équations intégro-différentielles et leurs applications. Acta Math. 35, 295–356 (1912)
Volterra, V.: Variazioni e fluttuazioni del numero d’individui in specie animali conviventi. Mem. R. Com. Talass. Ital. CXXXI, 142 pp. (1927)
Volterra, V.: Theory of Functionals and of Integral and Integro-Differential Equations (1927/1930). Dover, New York (1959)
Volterra, V.: Leçons sur la théorie mathématique de la lutte pour la vie [Lessons on the Mathematical Theory of the Struggle for Survival] (reprint of the original 1931 Gauthier-Villars edition). Éditions Jacques Gabay, Sceaux (1990)
von Wolfersdorf, L., Janno, J.: Integro-differential equations of first order with autoconvolution integral II. J. Integr. Equ. Appl. 23, 331–349 (2011)
Yi, L.J., Guo, B.Q.: An h − p version of the continuous Petrov-Galerkin finite element method for Volterra integro-differential equations with smooth and nonsmooth solutions. SIAM J. Numer. Anal. 53, 2677–2704 (2015)
Yuan, W., Tang, T.: The numerical analysis of implicit Runge-Kutta methods for a certain integro-differential equation. Math. Comput. 54, 155–168 (1990)
Zhang, R., Liang, H., Brunner, H.: Analysis of collocation methods for auto-convolution Volterra integral equations. SIAM J. Numer. Anal. 54, 899–920 (2016)
Acknowledgements
The paper is an extended and updated version of an invited plenary talk presented during the 2013 Biennial Conference on Numerical Analysis at the University of Strathclyde in Glasgow (Scotland). The research was supported by the Hong Kong Research Grants Council (GRF Grant No. HKBU 200210 and HKBU 12300014) and the Natural Sciences and Engineering Research Council of Canada (Discovery Grant No. 9406).
I thank the two reviewers for their careful reading of the original manuscript and for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Brunner, H. (2018). Numerical Analysis and Computational Solution of Integro-Differential Equations. In: Dick, J., Kuo, F., Woźniakowski, H. (eds) Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan. Springer, Cham. https://doi.org/10.1007/978-3-319-72456-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-72456-0_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72455-3
Online ISBN: 978-3-319-72456-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)