Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576)

The authors aim at computing guaranteed interval bounds on the solutions of nonlinear, semi-explicit, index-one differential-algebraic equations (DAEs). Their results are reported by two separated papers. This paper is the first one and provides detailed theoretical results referring to interval enclosures. The first theoretical contribution is an interval inclusion test that verifies the existence and uniqueness of a solution within a given interval. The second theoretical contribution is given by sufficient conditions, in terms of differential inequalities, for two functions to provide componentwise upper and lower bounds on the solution, pointwise in the independent variable. Theoretical results are exploited to introduce two approaches for the computation of interval bounds on the solution. Computational contributions are then presented in the second paper by the same authors [ibid. 125, No. 1, 27--60 (2013; Zbl 1282.65096)].