Error Bounds in Parametric Space Validated Interval Scheme (Phase I : Validation)
A pair of and satisfying the relation:
- assures existence and uniqueness of the solution.
This method is called a constant enclosure method [3].
The a priori enclosure bounds the true solution in the parametric space .
Numerical implementation
- Choosing a and,
- iterating to find a corresponding .