1: \begin{abstract}

2: A general framework is presented to discuss the approximate solutions

3: of an evolution equation in a Banach space, with a linear part generating a semigroup

4: and a sufficiently smooth nonlinear part. A theorem is presented, allowing

5: to infer from an approximate solution the existence of an exact solution. According to this theorem,

6: the interval of existence of the exact solution and the distance of the latter

7: from the approximate solution can be evaluated

8: solving a one-dimensional "control" integral equation, where the unknown

9: gives a bound on the previous distance as a function of time.

10: For example, the control equation can be

11: applied to the approximation methods based on the reduction of the evolution

12: equation to finite-dimensional manifolds: among them, the Galerkin method is

13: discussed in detail. To illustrate this framework, the nonlinear

14: heat equation is considered. In this case the control equation is used

15: to evaluate the error of the Galerkin approximation; depending on the

16: initial datum, this approach either grants global existence of the solution or

17: gives fairly accurate bounds on the blow up time.

18: \end{abstract}

19: