Abstract
A general framework is presented to discuss the approximate solutions of an evolution equation in a Banach space, with a linear part generating a semigroup and a sufficiently smooth nonlinear part. A theorem is presented, allowing one to infer from an approximate solution the existence of an exact solution. According to this theorem, the interval of existence of the exact solution and the distance of the latter from the approximate solution can be evaluated by solving a one-dimensional "control" integral equation, where the unknown gives a bound on the previous distance as a function of time. For example, the control equation can be applied to the approximation methods based on the reduction of the evolution equation to finite-dimensional manifolds; among them, the Galerkin method is discussed in detail. To illustrate this framework, the nonlinear heat equation is considered. In this case the control equation is used to evaluate the error of the Galerkin approximation; depending on the initial datum, this approach either grants global existence of the solution or gives fairly accurate bounds on the blow up time.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
