We present a new theorem on the differential inequality $u^{(m)} ≤ w(u)$. Next, we apply this result to obtain existence theorems for the equation $x^{(m)} = f(t,x)$.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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 of possibilities to formulate non-smooth problems and point out connections between the traditional non-smooth theory and interval analysis. Moreover, we summarize already existing verified methods for solving initial value problems with non-smooth (in fact, even not absolutely continuous) right-hand sides and propose a way of handling a certain practically relevant subclass of such systems. We implement the approach for the solver VAL E NC IA-IVP by introducing into it a specialized template for enclosing the first-order derivatives of non-smooth functions. We demonstrate the applicability of our technique using a mechanical system model with friction and hysteresis. We conclude the paper by giving a perspective on future research directions in this area.
In this paper we investigate the existence of mild solutions on an unbounded real interval to first order initial value problems for a class of differential inclusions in Banach spaces. We shall make use of a theorem of Ma, which is an extension to multivalued maps on locally convex topological spaces of Schaefer's theorem.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.