A new method for automatical computation of error bounds for the set of all solutions of nonlinear boundary value problems (Q760775)

We consider nonlinear boundary value problems with arbitrarily many solutions \(u\in C^ 2[a,b]\). In this paper an algorithm will be established for a priori bounds \(\bar u,\bar d\in C[a,b]\) with the following properties: 1. For every solution u of the nonlinear problem we obtain \(-\bar u(x)\leq u(x)\leq \bar u(x),\) \(-\bar d(x)\leq u'(x)\leq \bar d(x)\) for any \(x\in [a,b]\). 2. The bounds \(\bar u\) and \(\bar d\) are defined by the use of the functions exp, sin and cos. 3. We use neither the knowledge of solutions nor the number of solutions.