R ENDICONTI
del
S EMINARIO M ATEMATICO
della
U NIVERSITÀ DI P ADOVA
A LBERTO B RESSAN
Nonexistence of solutions for differential inclusions with upper semicontinuous nonconvex right-hand side
Rendiconti del Seminario Matematico della Università di Padova, tome 79 (1988), p. 297-299
<http://www.numdam.org/item?id=RSMUP_1988__79__297_0>
© Rendiconti del Seminario Matematico della Università di Padova, 1988, tous droits réservés.
L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Nonexistence of Solutions for Differential Inclusions with Upper Semicontinuous
Nonconvex Right-Hand Side.
ALBERTO
BRESSAN (*)
This note is concerned with the « feedback» differential inclusion
where
f :
Rn X Rm -* Rn is continuous and R : Rm is an upper semicontinuous multifunction withcompact,
convex values. Under various additional conditions onf
andR,
the existence of a Cara-theodory
solution for theCauchy problem (1)
with the constraints(2)
was
proved
in[2].
The twocounterexamples given
in this note showthat,
in thegeneral
case, theproblem (1), (2)
need not have solutions.In the first
example, f
is aquadratic
function of u,independent
of x.In the second
example,
the upper semicontinuousmap R
is « bestpossible o
andf
is C°°.Still,
theviability
conditions used in[2] fail,
and no solution is found.
EXAMPLE 1. Consider the function
(*)
Indirizzo dell’A.:Department
of Mathematics,University
of Colorado, Boulder, Co. 80309, U.S.A.298
Define the map
f (u)
=(1- u2, u)
and the uppersemicontinuous
multifunctionThen the
problem (1), (2)
has no solutions.Indeed,
anytrajectory x( · ) satisfying (1), (2)
must be anonconstant, Lipschitz
continuousfunction
of t, taking
values inside thegraph
of q.However,
this isimpossible
because any continuous arc on thegraph connecting
the
origin
to any otherpoint (xi,
has infinitelength.
EXAMPLE 2.
Let q
be as in(3)
and let ’ijJ: R2 - R be a 000 function such thatLet y:
[- 2, 2]
2013~R be a C°° function such thatConsider the 000 function
f ; R3 X R --~ ~3,
and define the upper semicontinuous map R3
-> R,
299
For these
maps f
and.Z~,
theCauchy problem (1), (2)
on R3 has nosolution.
Indeed,
if x3 >0,
hence
hence
f 3
> 0. No solution can thus leave theplane
x3 = 0.Any
solution of(1), (2)
therefore has the formx(t)
==(xl(t), x~(t), 0).
This
yields
the two-dimensionalproblem
The choice of the
functions Y and y,
used in the definitionof f , implies
that the
problem (5), (6)
isprecisely
the one considered inExample 1,
hence it has no solutions.
REFERENCES
[1] J. P. AUBIN - A. CELLINA,
Differential
Inclusions,Springer,
Berlin, 1984.[2] J. P. AUBIN - H. FRANKOWSKA,
Trajectories
lourdes desystèmes
contrôlés,C. R. Acad. Paris Sér. I Math., 298
(1984),
pp. 521-524.Manoscritto