# Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I

- 697 Downloads
- 4 Citations

## Abstract

We propose an efficient and generic algorithm for rigorous integration forward in time of partial differential equations written in the Fourier basis. By rigorous integration we mean a procedure which operates on sets and return sets which are guaranteed to contain the exact solution. The presented algorithm generates, in an efficient way, normalized derivatives which are used by the Lohner algorithm to produce a rigorous bound. The algorithm has been successfully tested on several partial differential equations (PDEs) including the Burgers equation, the Kuramoto-Sivashinsky equation, and the Swift-Hohenberg equation. The problem of rigorous integration in time of partial differential equations is a problem of large computational complexity and efficient algorithms are required to deal with PDEs on higher dimensional domains, like the Navier-Stokes equation. Technicalities regarding the various optimization techniques implemented in the software used in this paper will be reported elsewhere.

### Keywords

Dissipative PDE Rigorous numerics Automatic differentiation Fast fourier transform FFT Interval arithmetic### Mathematics Subject Classification

Primary: 65M99 35B40 Secondary: 35B41 65G20 65M70 65Y20 65T50## 1 Introduction

The main goal of this paper is to present an efficient algorithm for rigorous integration of dissipative partial differential equations (dPDEs). By *rigorous integration* we mean a process in which a compact and connected set containing the unique solution is propagated along the time interval. The rigorous integration process guarantees to include the exact solution in the output set. Whereas in any standard (non-rigorous) integration process a point, represented by floating point numbers, is being propagated without indication how close is the approximated solution to the real one.

Our main objective in the rigorous integration task is to perform computer assisted proofs of the existence of certain solutions: attractors, periodic orbits, connections between fixed points etc.

Sometimes, when one is willing to perform a computer assisted proof of the existence of a particular solution, the integration process can be avoided. Advantage of the methods which do not perform numerical integration is that the error involved in computing rigorously a solution using a boundary value setup is more distributed along the whole orbit. Examples of rigorous computational methods to study PDEs, different than the approach considered here—i.e. not involving the integration process include [3, 9, 10, 15], and [25].

The main motivation behind this work was to reduce the actual execution time of a sequential algorithm for rigorous integration of dPDEs. We emphasize that the problem of rigorous integration of dPDEs is, by its nature, hard to parallelize, therefore any reduction of computational complexity is highly appreciated.

We restrict \(N(u, u_x, u_{xx},\ldots )\) to be a proper polynomial, as not any equation (1) is a dPDE. It is additionally required from (1) to be called a dPDE that the linear part must “dominate” in some sense the nonlinear part, for the formal definition refer to [35].

The system (2) is an infinite dimensional system of ordinary differential equations (ODEs), and rigorously integrating it on a computer requires special techniques. To the best of our knowledge, there exist two published theoretical approaches to the rigorous numerics solution for the non-stationary PDE problem—the method of self-consistent bounds, presented in the series of papers [32, 34, 35, 36], and the method presented in [1].

Both of the mentioned methods have been successfully applied to the study of the Kuramoto-Sivashinsky equation dynamics (KS equation). In fact, the existence of some time-periodic solutions has been proved. The focus of the previous research on one particular equation comes from the interest in establishing the first proof of the existence of spatio-temporal chaotic dynamics in a partial differential equation.

The presented algorithm is a first attempt to provide a generic and robust tool (a computer software) for the rigorous analysis of any dPDE, not only the KS equation.

Moreover, the proposed algorithm improves the efficiency of the rigorous integration task, which is of great importance for us, as the attempt to prove the existence of chaotic dynamics in the KS equation by using our method will require performing a lot of proofs in parallel. We hope that the presented work will permit computer assisted proofs concerning the dynamics of higher dimensional dPDEs, including the Navier-Stokes equations. We consider especially interesting 3D Navier-Stokes equations, because for this case even the fundamental question of the existence and uniqueness of solutions has no definitive answer yet. It is worth noting that there already exist results in literature about the rigorous numerics for higher dimensional PDEs, see e.g. [13, 20], and [22], but in this work the stationary problem is considered only, the equations are not being numerically integrated at any point.

The conclusion that we draw is that the algorithm is a proper approach to the task of the rigorous integration of higher dimensional dPDEs, including the Navier-Stokes equations, which we will address in our forthcoming work.

## 2 Fast Fourier Transform algorithm

Any attempt to integrate in time an equation of the type (2) will require a significant number of convolution calculations. It is well known that calculation of this type of convolutions is done efficiently by using *the Fast Fourier Transform (FFT) algorithm*. Fields of applicability of the FFT are, for instance, numerical solving of partial differential equations for weather prediction, a signal analysis and image processing in computer graphics. To the best of our knowledge, the FFT algorithm was described for the first time in the paper [6]. We refer to the papers [29] and [30] for an excellent review. In this case it is enough to know how to calculate a finite vector field approximately and the application is straight-forward. One would think that it is so in the case of rigorous methods too. In fact, in rigorous methods the situation is much more difficult. We address here the questions related to the application of the FFT algorithm within a rigorous method setting, including how the interval FFT algorithm behaves, whether the *wrapping effect* (see [33] for the statement of the wrapping effect problem) will be present, how to calculate the higher order time derivatives required by the Taylor method, and what optimizations to perform. We answer all these questions here, we introduce a new technique of eliminating the aliasing error, and in [8] we present the proofs and details. FFT was already used to study dPDEs by the rigorous numerics community in [11, 12], and [16, 17].

### 2.1 Outline of Approach

*Notation* From now on we assume that \(N\) is a positive natural number not to be confused with the polynomial \(N(u, u_x, u_{xx},\ldots )\) in (1).

the function \(u(x)=\sum _{k=-N}^N u_k \exp {(ik x)}\) is in the unique way determined by \(u(2\pi j/M)\), where \(M \ge 2N+1\) and \(j=0,1,\ldots ,M-1\),

passing from the values at the nodes \(u(2\pi j/M)\), \(j=0,\ldots ,M-1\) to the Fourier coefficients \(u_k\), \(k=-N,\ldots ,N\) and vice-versa is done efficiently by using the FFT algorithm.

- 0.
Assume that \(u(x)=\sum _{j=-N}^{N} u_j \exp (i j x)\).

- 1.
Choose big enough \(M\), see the discussion of

*the aliasing problem*in Sect. 3.1. - 2.
Let \(x_j:=\frac{2\pi j}{M}\), \(j=0,1,\ldots ,M-1\). Compute \(\hat{u}_j= u(x_j) \) using FFT.

- 3.
Compute \(\hat{q}_j=\hat{u}_j\ldots \hat{u}_j\) for \(j=0,1,\ldots ,M-1\). Modulo

*the aliasing error*, we have \((u\ldots u)(x_j)=\hat{q}_j\). - 4.
Using FFT applied to \(\hat{q}_j\) we obtain the Fourier coefficients for \(u^n\) given by (3).

### 2.2 Uniform Matrix Form of the FFT

**Definition 1**

*coefficients*of \(v\). When it is clear from the context we will drop the notation of \(N\), and use simply the \(l_2\) coefficients of \(v\).

**Definition 2**

*coefficients*of \(v\). When it is clear from context we will drop the notation of \(M\), and use simply the \(L_2\) coefficients of \(v\).

**Lemma 1**

**(the FFT matrix form)**Let \(M\ge 2N+1\),

To evaluate (7) efficiently one does not perform the multiplication by \(W_M\), which is a dense matrix but one factorizes \(W_M\) into *sparse matrices* and perform the multiplication by sparse matrices.

## 3 Issues arising when the FFT algorithm is used within interval arithmetic framework

In this section we describe what the aliasing error is and we provide techniques that allow to eliminate it.

We emphasize that the technique presented in this section is apparently more efficient than the standard one, currently used in the rigorous numerics community, see [11] and references supplied there. Our approach is based on the technique introduced in [26]. The authors of [26] introduced new shifted discrete grids in order to eliminate the aliasing error in three dimensional convolutions arising in the Navier-Stokes equations. As we present here, shifted discrete grids can be applied to rigorous methods for dPDEs in 1D and apparently yield a substantial improvement.

### 3.1 Aliasing Problem

When the convolutions like (3) are calculated using the approach outlined in Sect. 2.1 the so-called aliasing problem appears.

*Convolution of n terms*

**Definition 3**

We call \(\tilde{s}_k\)’s as above *the aliased convolutions*.

### 3.2 Standard Technique of Aliasing Error Removal (Padding)

### 3.3 Technique Based on Phase Shifts

This technique is designed only for the functions, for which the Fourier coefficients \(\{u_k\}\) are purely real or purely imaginary (for instance real odd or real even functions). To remove the aliasing error one may also use a phase shift, that is calculate \(L_2\) coefficients at the points belonging to the uniform grid shifted to the right by a constant value \(\Delta \).

**Lemma 2**

Let \(M\) be the number of the points on the grid. Let \(u:\mathbb R \rightarrow \mathbb C \) be a \(2\pi \)-periodic function such that \(u\) belongs to the subspace spanned by the functions \(\left\{ \exp \left( -iNx\right) ,\ldots , \exp \left( iNx\right) \right\} \) and, moreover, it is odd or even.

Assume that \(M>\frac{(n+1)}{2}N\), then \({{\mathrm{Re}}}\left( s^{\pi /(2M)}_k\right) =s_k\) (for \(u\) even or \(n\) even ) or \({{\mathrm{Im}}}\left( s^{\pi /(2M)}_k\right) =s_k\) (for \(u\) odd and \(n\) odd), for all \(-N\le k\le N\).

Now, let us put the presented techniques into the context of the FFT algorithm. Whatever aliasing elimination technique is used in the FFT approach to calculate convolutions, the \(M\ge 2N +1\) relation has to be in any case satisfied to allow all modes (whose number is \(2N +1\)) to be mapped by the mapping (6).

To perform this technique approximately \(\frac{(n+1)}{2}N\log {\frac{(n+1)}{2}N}\) operations are required, whereas to perform technique from 3.2 approximately \((n+1)N\log {(n+1)N}\).

Although the difference is asymptotically negligible, for the input sizes which are attainable in practical applications the number of operations in this technique compared to the technique from 3.2 is reduced by a significant factor. This is due to a reduction of the aliasing error influence in this technique—the values in the reduced number of nodes are calculated.

### 3.4 Overestimates

As we are interested in rigorous computations, therefore all computations have to be performed using *the interval arithmetic* [24, 31]. In our implementation we used the infimum-supremum representation of intervals. In this subsection we address the question if the rigorous evaluation of the convolutions (3) using the FFT algorithm produces more overestimates than the direct evaluation. We will refer to *the interval FFT algorithm* as *the rigorous FFT algorithm*.

We have not found a comprehensive study of the overestimates that arise in the rigorous FFT algorithm in the existing literature. We have performed numerical tests in order to provide clear answer to the question if the rigorous evaluation of the convolutions (3) using the FFT algorithm produces more overestimates compared to the direct evaluation.

In the test presented in this section the function \(u\) has been a real-valued and odd function belonging to the space spanned by a finite number of vectors, randomly picked for each single test, all \(u_k\) have been intervals. We have fixed \(C>0, s>0\) and required that \(\{u_k\}_{k=-N}^{N}\) satisfy \(\text{ mid }\left[ u_k\right] \in [-C/k^s, C/k^s]\), in order to mimic regular functions. The diameter (width) was the same for all \(u_k\).

Tests for \(N=21\), \(s_k:=\sum _{k_1+k_2=k}{u_{k_1}u_{k_2}}\)

\(u_k\) diameter(\(u_k\) width) | Maximum over coordinates of diameters \(s_k\) (maximal width of \(s_k\)) | ||
---|---|---|---|

Direct evaluation | Algorithm FFT | ||

I padding | II phase shift | ||

\(\hbox {M}=72=4\cdot 3 \cdot 3\cdot 2\) | \(\hbox {M}=45=5\cdot 3\cdot 3\) | ||

\(1\hbox {e}{-}05\) | \(1.76984\hbox {e}{-}05\) | 0.00045232 | 0.00121946 |

\(0.0001\) | \(0.000176984\) | 0.0045232 | 0.0121946 |

\(0.001\) | \(0.00176984\) | 0.045232 | 0.121946 |

\(0.01\) | \(0.0184213\) | 0.46557 | 1.42349 |

\(0.1\) | \(0.340996\) | 18.8056 | 82.8143 |

\(1\) | \(21.8849\) | 1677.01 | 7732.67 |

\(2\) | \(85.7698\) | 6662.83 | 30808.7 |

\(5\) | \(529.425\) | 41473.1 | 192097 |

Tests for \(N=21\), \(s_k:=\sum _{k_1+k_2+k_3=k}{u_{k_1}u_{k_2}u_{k_3}}\)

\(u_k\) diameter (\(u_k\) width) | Maximum over coordinates of diameters \(s_k\) (maximal width of \(s_k\)) | ||
---|---|---|---|

Direct eval | Algorithm FFT | ||

I padding | II phase shift | ||

\(\hbox {M}=90=5\cdot 3\cdot 3\cdot 2\) | \(\hbox {M}=45=5\cdot 3\cdot 3\) | ||

\(1\hbox {e}{-}05\) | \(6.87813\hbox {e}{-}05\) | \(0.00176142\) | \(0.00297904\) |

\(0.0001\) | \(0.000687813\) | \(0.0176144\) | \(0.0297908\) |

\(0.001\) | \(0.00688878\) | \(0.176266\) | \(0.298266\) |

\(0.01\) | \(0.0729481\) | \(1.88594\) | \(3.33923\) |

\(0.1\) | \(1.70614\) | \(165.085\) | \(430.783\) |

\(1\) | \(406.774\) | \(121698\) | \(343497\) |

\(2\) | \(2883.3\) | \(956535\) | \(2.71295\hbox {e}{+}06\) |

\(5\) | \(42922\) | \(1.48829\hbox {e}{+}07\) | \(4.225\hbox {e}{+}07\) |

Tests for \(N=21\), \(s_k:=\sum _{k_1+k_2+k_3+k_4+k_5=k}{u_{k_1}u_{k_2}u_{k_3}u_{k_4}u_{k_5}}\)

\(u_k\) diameter (\(u_k\) width) | Maximum over coordinates of diameters \(s_k\) (maximal width of \(s_k\)) | ||
---|---|---|---|

Direct eval | Algorithm FFT | ||

I padding | II phase shift | ||

\(\hbox {M}=144=4\cdot 4\cdot 3\cdot 3\) | \(\hbox {M}=72=4\cdot 3\cdot 3\cdot 2\) | ||

\(1\hbox {e}{-}05\) | \(7.15846\hbox {e}{-}05\) | \(0.000709162\) | \(0.001178\) |

\(0.0001\) | \(0.000715878\) | \(0.00709179\) | \(0.0117803\) |

\(0.001\) | \(0.00718731\) | \(0.0710905\) | \(0.118113\) |

\(0.01\) | \(0.752179\) | \(10.4391\) | \(18.3479\) |

\(0.1\) | \(36.2275\) | \(1696.94\) | \(2861.64\) |

\(1\) | \(184009\) | \(5.98891\hbox {e}{+}07\) | \(8.89027\hbox {e}{+}07\) |

\(2\) | \(4.63014\hbox {e}{+}06\) | \(1.80823\hbox {e}{+}09\) | \(2.65626\hbox {e}{+}09\) |

\(5\) | \(3.8902\hbox {e}{+}08\) | \(1.70558\hbox {e}{+}11\) | \(2.48932\hbox {e}{+}11\) |

Apparently, the rigorous FFT algorithm produces more overestimates, especially when sets of large diameter (of order \(>1\)) are used. The considerably larger overestimates produced by the FFT compared to the direct method are probably due to several matrix-vector multiplications performed by the FFT algorithm, it is known that matrix-vector multiplications are the main source of the so-called wrapping effect, for precise statement of the wrapping effect refer e.g. [23], and [33].

## 4 A Rigorous dPDE Integrator

*rigorous integration*mean let us consider the following abstract Cauchy problem for a system of ordinary differential equations (ODEs)

*Notation*We denote by \([x]\) an

*interval set*\([x]\subset \mathbb R ^n\), \([x]=\Pi _{k=1}^n[x^-_k, x^+_k]\), \([x^-_k, x^+_k]\subset \mathbb R ,\ -\infty <x_k^-\le x_k^+<\infty \), \({{\mathrm{mid}}}\left( [x]\right) \) is the middle of an interval set \([x]\). There exist a few algorithms that offer reliable computations of the solution trajectories for ODEs that are based on interval arithmetic. The approach used in this paper is based on the Lohner algorithm, introduced in [21], see also [33]. To obtain a rigorous bound for the solution and avoid at the same time the so-called wrapping effect we calculate a bound for the partial derivative with respect to the initial conditions. Basically, in the Lohner algorithm (see e.g. [33]) instead of calculating directly the expression

*the mean value form*is used

*the Taylor method*) for an equation (8), \(R_{\varPhi _q}\) is a remainder term calculated using a convex hull of an enclosure for the solution values in the time interval \([0,h]\), i.e. a set \([W]\subset \mathbb R ^n\) such that \(\varphi ([0,h], [x])\subset [W]\).

*Obtaining Taylor coefficients of any order* Now, we address the question of how to obtain bounds for the Taylor coefficients of any order efficiently.

The algorithms from [33] used some explicit formulas for the Taylor coefficients of any order. These explicit formulas were derived for the second degree polynomials only. This approach was used in the following work considering rigorous dPDE integration, i.e. [32, 34, 35, 36]. We found this approach awkward, mainly because of its troublesome implementation and limited applicability. Apparently, this approach works only for dPDEs with the non-linear term being a second degree polynomial.

Instead, we found a more suitable to use algorithm which combines *the jet transport* and *the automatic differentiation* techniques. These techniques have already proven to be extremely useful in many applications including a long-time integration of the solar system (see [18] and references given therein) or computer assisted proofs for ODEs.

### 4.1 Automatic Differentiation

Now, we address the question of how to obtain the derivatives with respect to time of a sufficiently smooth function efficiently. Here we present a convenient and yet efficient approach called *the automatic differentiation*, see e.g. [14, 24]. *The automatic differentiation* has many applications beside of our interest. It is a general technique of obtaining recursively a fixed number of normalized derivatives of a general operation/procedure.

**Definition 4**

Let \(b,c:[0,t_{max})\rightarrow \mathbb R \) be sufficiently smooth functions, assume that \(a(t) = G(b(t),c(t))\). Using the automatic differentiation the normalized derivatives of \(a(t)\) can be obtained assuming that \(G\) is a composition of some basic operations for which the recursive evaluation formulas are known. Recursive formulas for basic operations (such as multiplication, exponential, logarithm, trigonometric functions etc.) are easily derived, see for example [18].

### 4.2 Jet Transport

Now, we address the question how to obtain bounds for the partial derivative with respect to the initial condition (12). The most convenient approach is to modify the automatic differentiation procedure to make it calculate (11) and (12) simultaneously. This is done by the *jet transport* technique.

**Definition 5**

*the first order jet*.

An algebra of the first order jets is formed with the addition and multiplication operations defined as follows

**Definition 6**

**Definition 7**

\(\varPhi _q^{jet}\) works as follows: the base part of \(\mathbf J_{\varphi ^{[0]}} \left( \varvec{\xi }\right) \) is set to the value of the current initial condition and the variational part of \(\mathbf J_{\varphi ^{[0]}} \left( \varvec{\xi }\right) \) is set to be the identity. The higher order coefficients are calculated performing the same operations as in the regular method, but on first order jets instead of scalars, and operations are performed with the rules of the algebra defined in Definition 6. This allows to solve (15) and the variational equations corresponding to it simultaneously.

### 4.3 An Algorithm Combining Automatic Differentiation with FFT

In this section we propose an algorithm for calculating both the solution of systems of ODEs originating from a dPDE and a matrix of partial derivatives with respect to the initial condition.

We emphasize the fact that the output of the presented algorithm is not enough to integrate efficiently a given system forward in time. This is not a stand-alone algorithm, nonetheless the output of the presented algorithm is necessary for any effective rigorous solver based on the Taylor method. Later we have combined it with the Lohner algorithm [21] in order to integrate example systems forward in time rigorously and we investigate how the techniques interplay with each other and what is the quality of the results.

*Notation*\(a:=\{a_k\}_{k=-N}^N\in \mathbb C ^{2N+1}\) is a finite set of Fourier coefficients, \(N_k(a)\) is a non-linear term comprising a convolution (\(\sum _{k_1+k_2=k}{a_{k_1}a_{k_2}}\) for instance). Let \(\varphi ([0,h],[x_0])\subset \mathbb C ^{2N+1}\) denote all values of the solution within the time interval \([0,h]\), and starting with the initial condition in \([x_0]\subset \mathbb C ^{2N+1}\).

From now on let \(\varphi \) be regular with respect to time solution of (16). Observe that the coefficients \(\{a_k\}_{k=-N}^N\) are complex in this case, and \(\varphi :[0,t_{max})\times \mathbb C ^{2N+1}\rightarrow \mathbb C ^{2N+1}\).

First, let us comment on the possible approaches used to deal with the first order jets of complex functions. First possible approach is based on the following observation

**Definition 8**

Let \(\left\{ a_k\right\} _{k=-N}^N\in \mathbb C ^{2N+1}\) satisfy \(a_{-k}=\overline{a_k}\). We define

**Observation 1**

By using Observation 1 we are able to translate our system (16) and use real first order jets in order to calculate the partial derivative with respect to the initial condition of the numerical method. But then a lot of information about the structure of the system is lost, and we do not recommend to use this approach.

Let us comment on what the main ingredients of the described algorithm are. First, the information about the partial with respect to the initial condition derivative is obtained by introducing the first order jets in place of ordinary scalar values. Second, the first order jets are passed through the FFT algorithm in order to minimize the number of operations needed to calculate the convolutions. Third, in order to allow a fast calculation of the automatic differentiation convolutions the \(L_2\) coefficients of the normalized derivatives are calculated and stored at each step.

*Notation*Let \(\varPhi _q^{jet}\) denote the extended variant of \(\varPhi _q\)—the \(q\)-th order Taylor method, whose coefficients are \(\left\{ \mathbf J_{\varphi ^{[0]}} \left( \varvec{\xi }\right) ,\ldots ,\mathbf J_{\varphi ^{[q-1]}} \left( \varvec{\xi }\right) \right\} \). In order to facilitate the explanation of the following algorithm we are going to use the following auxiliary symbols: \(a^{[j]}\left( \varvec{\xi }\right) :=\mathbf J_{\varphi ^{[j]}} \left( \varvec{\xi }\right) \), \(N^{[j]}\left( \varvec{\xi }\right) \) denotes the first order jet for \(j\)-th normalized derivative of the non-linear part of (16), \(N^{[j]}\left( \varvec{\xi }\right) :=\mathbf J_{\left( N\circ a\right) ^{[j]}} \left( \varvec{\xi }\right) \) . \(F^{[j]}\left( \varvec{\xi }\right) \) denotes the first order jet for the \(j\)-th normalized derivative of the right-hand side of (16) \(F^{[j]}\left( \varvec{\xi }\right) :=\mathbf J_{\left( F\circ a\right) ^{[j]}} \left( \varvec{\xi }\right) \), where \(F\circ a\) is the composition of \(F\) with \(a\) as a function of \(t\). We indicate the corresponding \(L_2\) coefficients with hats \(\hat{a}^{[j]}\left( \varvec{\xi }\right) \), \(\hat{N}^{[j]}\left( \varvec{\xi }\right) \) and \(\hat{F}^{[j]}\left( \varvec{\xi }\right) \).

**Algorithm 1**

Outline of an algorithm for efficient and rigorous calculation of one step of \(\varPhi _q^{jet}\), dedicated for any system of the type (16).

**Input**the Galerkin projection dimension \(N>0\),

number of points used by FFT, such that the aliasing problem is avoided (see Sect. 3.1) \(M\ge 2N+1\),

an interval set of initial conditions \([x_0]\subset \mathbb C ^{2N+1}\),

time step \(h>0\),

order of the Taylor method \(q>0\).

**Output**bounds for the normalized derivatives \(\left\{ \left( a^{[j]}_{-N}\left( \varvec{\xi }\right) ,\ldots , a^{[j]}_N\left( \varvec{\xi }\right) \right) \right\} _{j=1}^q\), the coefficients of \(\varPhi _q^{jet}(h, [x_0])\),

vector of first order jets \(\varPhi _q^{jet}(h, [x_0])\).

**begin**- 1.Initialize calculations for \(\varPhi _q^{jet}\). The base part of the jets \(\left( a^{[0]}_{-N}\left( \varvec{\xi }\right) ,\ldots , a^{[0]}_N\left( \varvec{\xi }\right) \right) \) is set to be equal to the provided initial condition \([x_0]\). The variational part of the jets \(\left( a^{[0]}_{-N}\left( \varvec{\xi }\right) ,\ldots , a^{[0]}_N\left( \varvec{\xi }\right) \right) \) is set to be the identity, i.e.$$\begin{aligned}&\frac{\partial {{\mathrm{Re}}}\left( \varphi ^{[0]}_k\right) }{\partial {{\mathrm{Re}}}\left( a_l\right) }:=\left\{ \begin{array}{ll}1&{}, for \,k=l\\ 0&{} otherwise.\end{array}\right. , \frac{\partial {{\mathrm{Im}}}\left( \varphi ^{[0]}_k\right) }{\partial {{\mathrm{Im}}}\left( a_l\right) }:=\left\{ \begin{array}{lll}1&{},\, for \,k=l,\\ -1&{}, for \,k=-l,\\ 0&{} otherwise.\\ \end{array}\right. ,\\&\quad \frac{\partial {{\mathrm{Re}}}\left( \varphi ^{[0]}_k\right) }{\partial {{\mathrm{Im}}}\left( a_l\right) }, \frac{\partial {{\mathrm{Im}}}\left( \varphi ^{[0]}_k\right) }{\partial {{\mathrm{Re}}}\left( a_l\right) }:=0. \end{aligned}$$
- 2.\(l_2\rightarrow L_2\) transform \(\left( a^{[0]}_{-N}\left( \varvec{\xi }\right) ,\ldots , a^{[0]}_N\left( \varvec{\xi }\right) \right) \) to obtain \(\left( \hat{a}^{[0]}_{0}\left( \varvec{\xi }\right) ,\ldots , \hat{a}^{[0]}_M\left( \varvec{\xi }\right) \right) \)
\(j=0,\ldots ,q-1\)**for**- (a)
calculate \(\left( \hat{N}^{[j]}_0\left( \varvec{\xi }\right) ,\ldots ,\hat{N}^{[j]}_M\left( \varvec{\xi }\right) \right) \) using the \(L_2\) coefficients calculated in the previous steps \(\left\{ \left( \hat{a}^{[0]}_{0}\left( \varvec{\xi }\right) ,\ldots , \hat{a}^{[0]}_M\left( \varvec{\xi }\right) \right) ,\ldots ,\left( \hat{a}^{[j]}_{0}\left( \varvec{\xi }\right) ,\ldots , \hat{a}^{[j]}_M\left( \varvec{\xi }\right) \right) \right\} \),

- (b)
calculate \(\left( \!N^{[j]}_{-N}\left( \varvec{\xi }\right) ,\ldots ,N^{[j]}_N\left( \varvec{\xi }\right) \!\right) \) by \(L_2\!\rightarrow \! l_2\) transforming \(\left( \!\hat{N}^{[j]}_0\left( \varvec{\xi }\right) ,\ldots ,\hat{N}^{[j]}_M\left( \varvec{\xi }\right) \!\right) \),

- (c)
add the linear contribution \(\left( \!F^{[j]}_{-N}\left( \varvec{\xi }\right) ,\ldots ,F^{[j]}_N\left( \varvec{\xi }\right) \!\right) \!:=\!\left( \!N^{[j]}_{-N}\left( \varvec{\xi }\right) ,\dots ,N^{[j]}_N\!\left( \varvec{\xi }\right) \!\right) \!+\! \left( \!\lambda _{-N}a^{[j]}_{-N}\!\left( \varvec{\xi }\right) ,\ldots ,\lambda _Na^{[j]}_N\!\left( \varvec{\xi }\right) \!\right) \),

- (d)
set \(\left( a^{[j+1]}_{-N}\left( \varvec{\xi }\right) ,\ldots , a^{[j+1]}_N\left( \varvec{\xi }\right) \right) := \frac{1}{j+1}\left( F^{[j]}_{-N}\left( \varvec{\xi }\right) ,\ldots ,F^{[j]}_N\left( \varvec{\xi }\right) \right) \),

- (e)
calculate and store \(\left( \hat{a}^{[j+1]}_{0}\left( \varvec{\xi }\right) ,\ldots , \hat{a}^{[j+1]}_M\left( \varvec{\xi }\right) \right) \) by \(l_2\!\rightarrow \! L_2\) transforming \(\left( a^{[j+1]}_{-N}\left( \varvec{\xi }\right) \!,\right. \left. \ldots , a^{[j+1]}_N\left( \varvec{\xi }\right) \right) \),

**end for**

- (a)
- 3.
calculate the value of \(\varPhi _q^{jet}(h, [x_0])\) using the coefficients from the previous step and Horner’s rule.

**end***Remark 1*

Let us relate the output results of Algorithm 1 to the mean value form formulation (10). The matrix composed of the variational part of the vector of first order jets \(\varPhi _q^{jet}(h, [x_0])\) is the factor \(\partial {\varPhi _q}/\partial {x}\left( h, [x]\right) \) in (10). The other terms in (10), i.e. \({\varPhi _q}(h, {{\mathrm{mid}}}\left( [x]\right) )\), \(R_{\varPhi _q}([W])\) are obtained by two separate Taylor methods, as different initial conditions has to be used. The vectors \({\varPhi _q}(h, {{\mathrm{mid}}}\left( [x]\right) )\), and \(R_{\varPhi _q}([W])\) are evaluated using scalar values, not first order jets, and when \(N\) is large the cost of calculating them is negligible compared to the cost of calculating \(\varPhi _q^{jet}(h, [x_0])\).

Now we would like to comment on Step (a) of the “for” loop in Algorithm 1, because that is where savings are introduced by the FFT algorithm.

one \(l_2\rightarrow L_2\) transform, and one \(L_2\rightarrow l_2\) transform,

- calculation of$$\begin{aligned} \sum _{j_1+j_2+\cdots +j_n=j}{\hat{a}_{k}^{[j_1]}\left( \varvec{\xi }\right) \hat{a}_{k}^{[j_2]}\left( \varvec{\xi }\right) \ldots \hat{a}_{k}^{[j_n]}\left( \varvec{\xi }\right) },\qquad k=0,\ldots ,M. \end{aligned}$$(19)

We discuss in [8] several optimizations that can be introduced into this algorithm.

## 5 Rigorous Numerics Tests

*Galerkin projection*) or the full infinite system (giving a

*differential inclusion*) were considered. In order to integrate in time the full infinite dimensional system of ODEs (2) we split it into two parts

*differential inclusion*

We specified what system was being integrated for each test separately by stating a “Galerkin projection” or a “differential inclusion” respectively. We used the implementation of the part of the Lohner algorithm regarding the Lohner representation of the sets from the CAPD library [4].

In this section we present results from all the tests performed in the form of tables. Whenever a diameter of a finite or an infinite dimensional set is provided in a table, the meaning of this number is in fact the maximum over coordinates of all diameters. The labels *“Direct approach”**“FFT approach”* and *“FadBad++”* appearing in the tables indicate different implementations of the Taylor method that were used. “Direct approach” indicates that the normalized derivatives were obtained directly (18), whereas “FFT approach” indicates that the normalized derivatives were obtained by the FFT approach presented previously. To remove the aliasing error technique the “II technique based on phase shifts” was used, unless otherwise stated. “FadBad++” indicates that the normalized derivatives were obtained by using the FadBad++ software library for automatic differentiation [2], without using the FFT at any point. The vector field, which was input to the FadBad++ library was optimized, by using Observation 1 and all possible symmetries. The part of the Lohner algorithm regarding the Lohner representation of the sets was the same for both. For a thorough description of the Lohner algorithm and the issues related to the wrapping effect and representation of sets refer to [33]. The meaning of the symbol \(M\) depends on the context; in [35] and [7] it is used to denote the dimension of the so-called finite tail, when the full infinite dimensional system is considered, whereas in this paper it is used to denote the number of points of the discrete grid used by the FFT. To avoid ambiguities in this section, we denote the number of points of the discrete grid used by the FFT by \(M_{FFT}\).

### 5.1 Burgers Equation Fixed Point Test (Galerkin Projection)

When periodic boundary conditions are used and the forcing function is not present, the Burgers equation exhibits a globally attracting fixed point at zero. This is proved by the energy exponential decay, see [7].

With this test we address the question of what are, for the overall Lohner algorithm, the consequences of considerable overestimates produced by the FFT approach (see the results from Sect. 3.4). This question is difficult to answer without performing actual calculations due to the sophisticated nature of the Lohner type rigorous integrator.

*The setting is*

Fixed point for Burgers equation test results

# | Initial condition diam. | Set at the end diam. | |
---|---|---|---|

direct approach | FFT approach | ||

0 | \(1\hbox {e}-08\) | \(9.04837\hbox {e}-09\) | \(9.04838\hbox {e}-09\) |

1 | \(1\hbox {e}-07\) | \(9.04838\hbox {e}-08\) | \(9.0484\hbox {e}-08\) |

2 | \(1\hbox {e}-06\) | \(9.0484\hbox {e}-07\) | \(9.04867\hbox {e}-07\) |

3 | \(1\hbox {e}-05\) | \(9.04862\hbox {e}-06\) | \(9.05131\hbox {e}-06\) |

4 | 0.0001 | \(9.05088\hbox {e}-05\) | \(9.0789\hbox {e}-05\) |

5 | 0.001 | 0.000907367 | 0.000958336 |

6 | 0.01 | 0.00932532 | 0.00932849\(^\mathrm{a}\) |

See (23) for the comparison of the program running time.

### 5.2 Kuramoto-Sivashinsky Equation Attracting Periodic Orbit Test

*The setting is*

Total running time of programs propagating a box along an orbit for the KS equation (an attracting periodic orbit for \(\nu =0.032\))

Parameters used | Total running time | |||||
---|---|---|---|---|---|---|

# | Galerkin proj. dim. | \(M_{FFT}\) | Time step | Taylor m. ord. | FadBad++ | FFT approach |

1 | 23 | 48 | \(10^{-4}\) | 5 | 139 s | 107 s |

2 | 23 | 48 | \(10^{-4}\) | 8 | 297 s | 175 s |

3 | 23 | 48 | \(10^{-4}\) | 10 | 438 s | 229 s |

4 | 28 | 60 | \(5^{-5}\) | 5 | 496 s | 343 s |

5 | 34 | 72 | \(2^{-5}\) | 5 | 2147 s | 1295 s |

Diameter (max over coordinates) of boxes obtained by programs propagating a box along orbit for KS equation (an attracting periodic orbit for \(\nu =0.032\))

# | Initial condition diam. | Set at the end diam. | |
---|---|---|---|

Direct approach | FFT approach | ||

0 | \(1\hbox {e}-08\) | \(7.7879\hbox {e}-05\) | 0.00012947 |

1 | \(1\hbox {e}-07\) | \(9.55487\hbox {e}-05\) | 0.000134767 |

2 | \(1\hbox {e}-06\) | 0.000174207 | 0.00025008 |

3 | \(1\hbox {e}-05\) | 0.000231317 | 0.00309667 |

4 | 0.0001 | 0.00134516 | 0.00221152\(^\mathrm{a}\) |

*I test—efficiency (Galerkin projection)* All of the techniques presented previously in this part of the article can be replaced by applying some of the available software libraries for automatic differentiation, for instance Fad-Bad++ [2]. The purpose of this test was to check if the presented approach will eventually be useful in calculating a rigorous bounds of the Poincaré map, which are needed e.g. to verify the Brouwer fixed point theorem assumptions. With these tests we would like to provide an argument that we did not perform redundant work developing this approach. The Lohner algorithm implementation based upon the FFT approach allowed to obtain bounds of the same order, and at the same time this bounds were obtained faster.

With this test we compared the efficiency of the Lohner algorithm implementation based upon the presented FFT approach with the implementation based on the direct approach implemented using the external software library for automatic differentiation FadBad++ [2] (the approach used to perform the computer assisted proof presented in [7]).

A Galerkin projection of the infinite dimensional system was considered in these tests in order to isolate this part of the overall algorithm to which the developed techniques contribute.

The initial condition was taken from [35], the diameter of the initial condition was \(8e-05\) in each direction. Parameters used for this test were as follows \(\nu =0.032\), order of the Taylor method was \(5\), constant time-step \(h=0.00015\), \(N=23\) (all the same as in [35]), \(M_{FFT}=48\).

Observe that the time step had to be adjusted for each test, because of the stiffness problem exhibited by the Kuramoto-Sivashinsky equation. The results of this test are contained in Table 5.

*II test—overestimates (differential inclusion)* The diameter of the propagated set was measured after the full revolution along the orbit. The full rigorous integrator (the Lohner algorithm for differential inclusions) of the infinite dimensional system was used in this test.

Parameters used for this test were as follows \(\nu =0.032\), order of the Taylor method was \(5\), constant time-step \(h=0.00015\), \(N=23\), \(M=92\) (the dimension of the finite tail, for the exact meaning of this number refer to [35] or [7]), \(M_{FFT}=48\). The results of this test are contained in Table 6.

### 5.3 Kuramoto-Sivashinsky Equation Unstable Periodic Orbit Test (Differential Inclusion)

The same setting as in Sect. 5.2.

Diameter (max over coordinates) of boxes obtained by programs propagating a box along orbit for KS equation (an unstable periodic orbit for \(\nu =0.02991\))

# | Initial condition diam. | Set at the end diam. | |
---|---|---|---|

Direct approach | FFT approach | ||

0 | \(1\hbox {e}-08\) | 0.000172909 | 0.000218735 |

1 | \(1\hbox {e}-07\) | 0.000215746 | 0.000247145 |

2 | \(1\hbox {e}-06\) | 0.000352979 | 0.000558827 |

3 | \(1\hbox {e}-05\) | 0.00051132 | 0.00801811 |

4 | 0.0001 | 0.00406078 | 0.0049136\(^\mathrm{a}\) |

The diameter of the propagated set was measured after the full revolution along the orbit. The full rigorous integrator (the Lohner algorithm for differential inclusions) of the infinite dimensional system was used in this test.

Parameters used for this test were as follows \(\nu =0.02991\), order of the Taylor method was \(5\), constant time-step \(h=0.00015\), \(N=25\), \(M=75\) (the dimension of the finite tail, for the exact meaning of this number refer to [35] or [7]), \(M_{FFT}=64\).

### 5.4 Swift-Hohenberg Equation a Connection Between Fixed Points Test (Differential Inclusion)

*The setting is*

*Overestimates (differential inclusion)*As the initial condition, we took a small interval set of functions close to zero, i.e.

Diameter (max over coordinates) of boxes obtained by programs propagating a box along connection between fixed points for SH equation

# | Parameters used | Set at end diam. | |||||
---|---|---|---|---|---|---|---|

\(\nu \) | Number of steps | Time step | N | The finite tail dim. | Direct approach | FFT approach | |

0 | 25 | 15 000 | 0.0001 | 11 | 33 | \(2.31318\hbox {e}-05\) | \(4.62783\hbox {e}-05^\mathrm{a}\) |

1 | 50 | 10 000 | 0.0001 | 11 | 33 | \(1.28577\hbox {e}-06\) | \(3.19921\hbox {e}-05^\mathrm{a}\) |

2(a) | 65 | 6 000 | 0.0001 | 12 | 50 | 0.000153006 | 0.00365307\(^\mathrm{b}\) |

2(b) | 65 | 6 000 | 0.0001 | 12 | 50 | 0.000153006 | 0.00339236\(^\mathrm{c}\) |

Numerical data from all the tests presented in this section is available on-line [28].

## 6 Complexity

In this section we analyse the complexity of the direct approach and the FFT approach, which were compared in numerical tests presented in Sect. 5.

First, we compare the asymptotic complexity of one step (generating the coefficients and evaluating the polynomial) of the extended Taylor method of the order \(q\) (\(\varPhi _q^{jet}\)). Coefficients of \(\varPhi _q^{jet}\) are the first order jets of a vector valued function. Second, we compare the actual number of elementary operations required to perform one step in both of the approaches. We calculated the actual number of operations, motivated by the fact that asymptotic complexity provides only a rough information about the magnitude of inputs that can be handled by using the current computing power, and we have been interested explicitly how much faster we can calculate.

We also counted the number of interval additions and multiplications for the other two settings, i.e. (24) and (25). But the corresponding figures are similar in spirit to Fig. 3, so we do not present them here and refer the interested reader to the corresponding numerical data [28].

Exact number of elementary operations on complex numbers required to calculate the \(j\)-th coefficient of \(\varPhi _q^{jet}\), which is one step of the “for” loop in Algorithm 1

Approach | Additions | Multiplications |
---|---|---|

FFT | \(\left[ 2Mp+M\left( \lceil \frac{j}{2}\rceil -1\right) \right] (4N+3)\) | \(M\lceil \frac{j}{2}\rceil (8N+5) +\) |

\(+ M\lceil \frac{j}{2}\rceil (4N+2)\) | \((Mp+M+2N+1)(4N+3)\) | |

direct | \(\left[ \left( \frac{3}{2}N^2-N+2\left\lfloor \frac{N}{2}\right\rfloor \right) \left( 4N+3\right) +\right. \) | \(\left[ \left( \frac{3}{2}N^2-N+2\left\lfloor \frac{N}{2}\right\rfloor \right) \left( 8N+5\right) \right] j+\) |

\(\left. \left( \frac{3}{2}N^2-N+2\left\lfloor \frac{N}{2}\right\rfloor \right) \left( 4N+2\right) \right] j-2N(4N+3)\) | \(2\left( 2N+1\right) \left( 4N+3\right) \) |

## 7 Conclusion

We would like to present some concluding remarks from the results presented above.

The diameters of the sets obtained in the performed tests (Tables 4, 6, and 8) indicate that, surprisingly, the Lohner algorithm seems to be immune to the considerable overestimates produced by the FFT approach. Consequently, we are convinced that the Lohner algorithm based on the developed here FFT approach can be successfully applied to the problem of rigorous integration of higher dimensional PDEs, including the Navier-Stokes equations. And the presented algorithm perfectly suits performing proofs of an existence of solution on a fixed time interval, for instance when one needs to establish existence of a Poincaré map only.

The different test cases have demonstrated that the software based on the developed techniques has improved the efficiency of the rigorous integration task, without severe quality drop.

All the test cases were successfully finished when the new approach was used (no interval blow-ups were experienced), and there was not any considerable quality drop (measured by diameter of the propagated interval sets). We consider this a significant achievement in the context of eventual computer assisted proofs for higher dimensional PDEs. The task of rigorous integration of a higher dimensional PDEs like the Navier-Stokes equation, which is our goal, will require a large amount of computing time. Any reduction of the time spent on computations is of great importance here, because this could allow some phenomena to be actually proven.

Different equations and different boundary conditions were used in each of the presented tests (the Burgers equation with a pure periodic boundary conditions, the KS equation with a periodic-odd boundary conditions and the SH equation with a periodic-even boundary conditions) in order to demonstrate that the developed software is generic and robust. The software can be applied for many problems involving dPDEs.

The goal of achieving both generic and efficient software for rigorous integration of dPDEs has been achieved to some extent. It is a difficult task in general. We have been able to achieve this for periodic boundary conditions in 1D. Still, such software had not existed, and all the results published so far (e.g. [1, 35]) have focused on a particular case of the Kuramoto-Sivashinsky equation, and the software used there was hard-coded for the KS equation with periodic-odd boundary conditions.

The tests discussed in previous section are in principle repeatable, files with data from the presented proofs and all the source code used are available on-line [28].

## Notes

### Acknowledgments

Research has been supported by National Science Centre Grant DEC-2011/01/N/ST6/00995.

### References

- 1.Arioli, G., Koch, H.: Integration of dissipative partial differential equations: a case study. SIAM J. Appl. Dyn. Syst.
**9**, 1119–1133 (2010)CrossRefMATHMathSciNetGoogle Scholar - 2.Bendtsen, C., Stauning, O.: FADBAD, a Flexible C++ Package for Automatic Differentiation. Technical University of Denmark, Department of Mathematical Modelling, Copenhagen (1996)Google Scholar
- 3.Breuer, B., McKenna, P.J., Plum, M.: Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. J. Differ. Equ.
**195**, 243–269 (2003)CrossRefMATHMathSciNetGoogle Scholar - 4.CAPD—computer assisted proofs in dynamics, a package for rigorous numeric, http://capd.ii.uj.edu.pl
- 5.Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Methods. Fundamentals in Single Domains. Springer, Berlin (2006)MATHGoogle Scholar
- 6.Cooley, J.W., Tukey, J.W.: An algorithm for the machine calculation of complex fourier series. Math. Comp.
**19**, 297–301 (1965)CrossRefMATHMathSciNetGoogle Scholar - 7.Cyranka, J.: Existence of Globally Attracting Fixed Points of Viscous Burgers Equation with Constant Forcing. A Computer Assisted Proof, preprint, 2011, available on-line http://www.ii.uj.edu.pl/~cyranka
- 8.Cyranka, J.: Efficient Algorithms for Rigorous Integration Forward in Time of dPDEs. Existence of Globally Attracting Fixed Points of Viscous Burgers Equation with Constant Forcing, a Computer Assisted Proof, PhD dissertation, Jagiellonian University, Cracow, 2013, available on-line http://www.ii.uj.edu.pl/~cyranka
- 9.Day, S., Hiraoka, Y., Mischaikow, K., Ogawa, T.: Rigorous numerics for global dynamics: a study of Swift-Hohenberg equation. SIAM J. Appl. Dyn. Syst.
**4**, 1–31 (2005)CrossRefMATHMathSciNetGoogle Scholar - 10.Day, S., Lessard, J.P., Mischaikow, K.: Validated continuation for equilibria of PDEs. SIAM J. Numer. Anal.
**45**, 1398–1424 (2007)CrossRefMATHMathSciNetGoogle Scholar - 11.Gameiro, M., Lessard, J.P., Mischaikow, K.: Validated continuation over large parameter ranges for equilibria of PDEs. Math. Comput. Simul.
**79**, 1368–1382 (2008)CrossRefMATHMathSciNetGoogle Scholar - 12.Gameiro, M., Lessard, J.P.: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs. J. Differ. Equ.
**249**, 2237–2268 (2010)CrossRefMATHMathSciNetGoogle Scholar - 13.Gameiro, M., Lessard, J.P.: Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation. Numer. Math.
**117**, 753–778 (2011)CrossRefMATHMathSciNetGoogle Scholar - 14.Griewank, A.: Evaluating Derivatives. Principles and Techniques of Algorithmic Differentiation, Frontiers in Applied Mathematics, vol. 19. SIAM, Philadelphia (2000)Google Scholar
- 15.Heywood, J.G., Nagata, W., Xie, W.: A numerically based existence theorem for the Navier-Stokes equations. J. Math. Fluid. Mech.
**1**, 5–23 (1999)CrossRefMATHMathSciNetGoogle Scholar - 16.Hiraoka, Y., Ogawa, T.: Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation, Japan. J. Ind. Appl. Math.
**22**, 57–75 (2005)CrossRefMATHMathSciNetGoogle Scholar - 17.Hiraoka, Y., Ogawa, T.: An efficient estimate based on FFT in topological verification method. J. Comput. Appl. Math.
**199**, 238–244 (2007)CrossRefMATHMathSciNetGoogle Scholar - 18.Jorba, Á., Zou, M.: A software package for the numerical integration of ODEs by means of high-order Taylor methods. Exp. Math.
**14**, 99–117 (2005)CrossRefMATHMathSciNetGoogle Scholar - 19.Kapela, T., Zgliczyński, P.: A Lohner-type algorithm for control systems and ordinary differential inclusions. Discret. Cont. Dyn. Sys. B
**11**, 365–385 (2009)CrossRefMATHGoogle Scholar - 20.Kim, M., Nakao, M.T., Watanabe, Y., Nishida, T.: A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems. Numer. Math.
**111**, 389–406 (2009)CrossRefMATHMathSciNetGoogle Scholar - 21.Lohner, R.J.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Cash, J.R., Gladwell, I. (eds.) Computational Ordinary Differential Equations. Clarendon Press, Oxford (1992)Google Scholar
- 22.Maier-Paape, S., Miller, U., Mischaikow, K., Wanner, T.: Rigorous numerics for the Cahn-Hilliard equation on the unit square. Rev. Mat. Complut.
**21**, 351–426 (2008)MATHMathSciNetGoogle Scholar - 23.Moore, R.E.: Interval Analysis. Prentice-Hall, New Jersey (1966)MATHGoogle Scholar
- 24.Moore, R.E.: Methods and Applications of Interval Analysis. SIAM, Philadelphia (1979)CrossRefMATHGoogle Scholar
- 25.Nakao, M.T.: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim.
**22**, 321–356 (2001)CrossRefMATHMathSciNetGoogle Scholar - 26.Orszag, S.A., Patterson, G.S.: Spectral calculations of isotropic turbulence: efficient removal of aliasing interactions. Phys. Fluids
**14**, 2538–2541 (1971)CrossRefMATHGoogle Scholar - 27.Simó, C.: Taylor Method for the Integration of ODE. Lectures given at the LTI07 Advanced School on Long Time Integrations, available online http://www.maia.ub.es/dsg/2007/
- 28.Software package and the data from tests, http://www.ii.uj.edu.pl/~cyranka/FFT
- 29.Temperton, C.: Self-sorting mixed-radix fast fourier transforms. J. Comput. Phys.
**52**, 1–23 (1983)CrossRefMATHMathSciNetGoogle Scholar - 30.Temperton, C.: Fast mixed-radix real fourier transforms. J. Comput. Phys.
**52**, 340–350 (1983)CrossRefMATHMathSciNetGoogle Scholar - 31.Warmus, M.: Calculus of Approximations. Bull. de l’Académie Polonaise des Sciences Cl. III
**4**, 253–259 (1956)Google Scholar - 32.Zgliczyński, P.: Attracting fixed points for the Kuramoto-Sivashinsky equation—a computer assisted proof. SIAM J. Appl. Dyn. Syst.
**1**, 215–288 (2002)CrossRefMATHMathSciNetGoogle Scholar - 33.Zgliczyński, P.: \(C^1\)-Lohner algorithm. Found. Comput. Math.
**2**, 429–465 (2002)CrossRefMATHMathSciNetGoogle Scholar - 34.Zgliczyński, P.: Rigorous numerics for dissipative partial differential equations II. Periodic orbit for the Kuramoto-Sivashinsky PDE—a computer assisted proof. Found. Comput. Math.
**4**, 157–185 (2004)CrossRefMATHMathSciNetGoogle Scholar - 35.Zgliczyński, P.: Rigorous numerics for dissipative PDEs III. An effective algorithm for rigorous integration of dissipative PDEs. Topol. Methods Nonlinear Anal.
**36**, 197–262 (2010)MATHMathSciNetGoogle Scholar - 36.Zgliczyński, P., Mischaikow, K.: Rigorous numerics for partial differential equations: the Kuramoto-Sivashinsky equation. Found. Comput. Math.
**1**, 255–288 (2001)CrossRefMATHMathSciNetGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.