A Sufficient Disconjugacy Condition for the Third Order Differential Equation
An alternative approach for the analysis and the numerical approximation of ODEs, using a variational framework, is presented. It is based on the natural and elementary idea of minimizing the residual of the differential equation measured in a usual Lp norm. Typical existence results for Cauchy problems can thus be recovered, and finer sets of assumptions for existence are made explicit. We treat, in particular, the cases of an explicit ODE and a differential inclusion. This approach also allows...
In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview...
We establish some sufficient conditions in order that a given locally closed subset of a separable Banach space be a viable domain for a semilinear functional differential inclusion, using a tangency condition involving a semigroup generated by a linear operator.