Setembro de 2018
onde f : [a, b] × Rn → Rn
• Obtemos um resultado análogo ao de Clarke et al. (1998) para soluções
de Hermes.
Definition
Uma função x : [a, b] → Rn é dita absolutamente contı́nua se, dado ε > 0,
existe δ > 0 tal que para quaisquer coleção enumerável de subintervalos
disjuntos [ak , bk ] de [a, b] satisfazendo
X
(bk − ak ) < δ
temos X
|x(bk ) − x(ak )| < ε.
Definition
Definimos o arco poligonal de Euler, associado ao P.V.I. (1) e
correspondente a partição π, como o arco xπ : [a, b] → Rn dado por:
e por indução
Example
Seja a função f : [0, 1] × R → R dada por
1, x = 0
f (t, x) =
0, x 6= 0
tal que pj ⇒ 0 e xj ⇒ x.
para todo (t, x) ∈ [a, b] × Rn . Toda solução de Euler do P.V.I. (1) uma
solução de Hermes.
• Como neste caso x(t) = 0 é a única solução de Euler para o P.V.I. (1),
concluı́mos que em geral uma solução de Hermes não é uma solução de
Euler.
J. -P. Aubin and A. Cellina. Differential inclusions. Set-valued maps and viability
theory. In Grundlehren der Mathematischen Wissenschaften. Springer-Verlag,
Berlin, 1984. ISSN: 0072-7830.