Professional Documents
Culture Documents
Editor
Haim Brezis
Universite Pierre et Marie Curie
Paris
and
Rutgers University
New Brunswick, N.J.
Editorial Board
A. Bahri, Rutgers University, New Brunswick
John Ball, Heriot-Watt University, Edinburgh
Luis Cafarelli, Institute for Advanced Study, Princeton
Michael Crandall, University of California, Santa Barbara
Mariano Giaquinta, University of Florence
David Kinderlehrer, Carnegie-Mellon University, Pittsburgh
Robert Kohn, New York University
P. L. Lions, University of Paris IX
Louis Nirenberg, Ncw York University
Lambertus Peletier, University of Leiden
Paul Rabinowitz, University of Wisconsin, Madison
Manuel D. P. Monteiro Marques
Differential Inclusions
in Nonsmooth
Mechanical Problems
Shocks and Dry Friction
A CIP catalogue record for this book is available from the Library of Congress,
Washington D.C., USA
This work is subject ta copyright. Al! rights are reserved, whether the whole ar part of the
material is concerned, specifical!y the rights of translation, reprinting, re-use of il!llstrations,
broadcasting, reproduction on microfilms ar in other ways, and storage in data banks. For any
kind of use permission of the copyright owner must be obtained.
lntroduction VII
Chapter 0
Preliminaries
0.1 Functions of bounclecl varia.tion 1
0.2 Compactness results for functions of boundecl variation 10
0.3 Convergence in the sense of fillecl-in graphs 15
0.4 Geometrical inequalities 20
Chapter 1
Regularization and Graph Approximation of a Discontinuous Evolution
1.1 Introcluction 27
1.2 Preliminary estimates 30
1.3 Limit functions 35
1.4 The solution 39
1.5 Graph convergence 42
Chaptcr 2
Swccping Processes by Convcx Sets with Noucrnpty Intcrior
2.1 Introcluction 45
2.2 Continuous convex set in iirbitrary clinwnsion: prdimin<t.ry results 46
2.3 Continuous conn·x sct in arbitntry dinwnsion: algorithm ancl existence 50
2.4 Lower scmicoutimwus convex sct in fi1titc dimeusion 59
Chapter 3
Inclastic Shocks wit.h or without Fridion: Exist.cncc Rcsults
3.1 Introcluction 72
3.2 Frictionless inelastic slwcks 82
3.3 Inelastic slwcks with friction 95
Chaptcr 4
Extcrnally Induccd Dissip<tt.ivc Collisions
4.1 Formulation of tJw prohlcm 112
4.2 Existence of a solutiou 117
4.3 Complements 126
Chapter 5
Further Applications and Related Topics
5.1 A dass of second-order differential inclnsions 132
5.2 Lipschitz approximations of sweeping processes 141
5.3 An application of differential inclusions to quasi-statics 155
5.4 Additional references 162
Bibliography 167
Index 177
(1)
where the right-ha.nd siele is tla:' outw<~nl uormal cone to a convex sct C( t) a.t a
point u( t) of a rea.l Hilhert SJMCe H. This a.h.-;tr<•.ct formulation encompasses
several practical sitnations iu lVIeclwuics, sucl! as water falling in a. cavity
[Mor 1], the dynamics of syst.ems with perfect unilatera.l constraints
[Mor 15, 16], pla.sticity and the evolntiou of dastoplastic systems [Mor 3, 17].
where u=q 1s the rcbv velocity, p is a force fiele! ancl V(q(t)) is the (convex)
tangent cone to L at the position q( t). The existence of a solution to (2) is
proved by constructing a suitable sequence (qn) of approximants of the motion
and extracting a uniformly convergcnt subsequence. The rather long proof uses
some of the techniques of Cl1aptPr 2, thus explaining a somewhat weak
regularity assumption on L (its houuda.ty only neecls to be e1).
With a similar approach, it is shown that there exists at least one
solution to the problem with Coulomb' s isotropic friction, expressed by a
differential inclusion that can lw writtt'll as:
Preliminaries
var(>.u+ßv; I) S:: I AI var(u, I)+ I jJ I var('u, I). If 11 is bv, the above aclclition
rule implies that there exists a. nondecreasing function Vu: I---> IR ( called a
variation function of u) such that
for instance, Vu( a) = var(·u; c, a) (resp. - var( u; a., c)) if a ~ c (resp. if a < c)
where CE I is fixecl. Conversely, (2) implies that u is of locally bounded
variation (lbv for short), that is, u has finite va.riation on any compact
subinterval of I. If 1l is Lipschitz-continuous (resp. absolutely continuous) then
Vu is Lipschi tz-continuous (resp. absolutcly continuous) ancl conversely. In
fact, assuming for example that Vu is Lipsdlitz-continnous with constant k,
then
II u(b)-u(a.) II S:: var('u; a, b)= V 11 (b)- Vu(a) S:: k I b-al.
A bv function u clcfinecl on [0, T] possesses left-limits in ]0, T] and right-
limits in [0, T[. A variation fnnct.ion V 11 is ldt, or right or simply continuous
at t if and only if the same holcls with the function lt. This is a consequence of
formttlas such as ( see [lVIor 10] Prop.4.3):
It can be shown that, if u is hv, tlwn ·u.- ancl n+ are hoth bv functions,
wi th for instance
(3)
0.1 Functions of bonnded variation 3
The map u-> du is linear, wi th v a.l ues in the real linear space of all H-
valued measures. If the vector functiou 11. is a constant, then du= 0. The
(7)
Only the nodes containecl in the support of rP need to be considered in (7). In
other words, the differential mea.sure d·u equa.ls the sum of a finite collection of
point (Dirac) measures, placecl at the cliscontinuity points of u, their values
being the respective jumps of ·u.:
(8)
This is also true for loca.l step functions: in tha.t case we get in (8) a locally
finite collection of point nwasmes. Tlw fonnula also shows that we may
change the value of 11. at an intcrior point, sa.y tk, without changing the
differential mea.sure.
4 Chapt.er 0: Preliminaries
so that x. m. :::; J.l in the sense of the ordering of real measures. The supremum
of the measures x. m with II x II :::; 1 is then a nonnegative real measure :::; p;
it is called the m.odulus or absolute value of m and it is clenoted by I m I or
I dm I . In case H = !Ii!, this is the usual absolute value of a real signecl measure.
By definition, X. J <P dm:::; J t/> I dm I; taking X= II J rP dm II-I J rP dm' we have
if it exists. This is always the case if m is majorable ancl ht: 1 1( I, I m I ; !Ii!) ancl
then:
(13) II j h dm II :::; j I h I I dm I .
An extension of the dom:inatcd con:uer·gence theorem asserts the
following: let (hn) C 1 1(!, Im I; !Ii!) converge Im. I- almost everywhere to h ancl
let lhn(t)l:::; g(t) for Jml-almost evcry t in I, with gt:l 1(I,Im.J;Ifi!+); then
the Iimit h is also an integrable fnnctioa with respect to I m I and
(1 7) I dnl = dV 1, .
Conversely, ( 17) implies that ·u. has aligrwcl j umps, because H has a strictly
convex norm. It is clear t.ha.t ( 17) applies to right-continuous bv functions. The
rneasure I du I is also callccl tlw mws11.re of total va.riation of u (compare (17)
and (2) to obtain J I dnl =var(n) ).
(18) J [ a, b]
d·tL =j \[ a,
b] du. = ·u.+( b)- ·u.-( a.) ,
(19) J {a}
du= u+( a)- u-( a) .
(21) J [a, h[
du=·u-(b)-·tqa.),
defines uniquely the integra.l on tlw left-hand side. Also, the inequality
(28) I g. ml ~ II r1 II I m I ,
in the sense of mea.sures.
If the vector measure m has a. clensity m~1 t:l}0 c(I, tt; H) with respect to
a real measure p ~ 0 ( m. = rn.; 1 Jt), theu a. calcnlation rnle is a.va.ila.ble:
Notice that every H-va.lued mea.sure ha.s a density with respect to its
modulus measure. Hence, we might a.lterna.tively ta.ke (31 ), with JL = I m I , as a
definition of the integral in its left-ha.nd siele. As an example of the integral,
8 Chapt.er 0: Preliminaries
take m=b8 1 (bcH). Then, g.(b8 1)=(g(t).b)8 1 for every g:I--"H, meaning
that J</J(g.dm)=<P(t) (g(t).b).
(33) j[ a,
b) d( 1/. . V) = L [Ii+ ( ti) , V + ( t;) - V. - ( t;) . V - ( t;) ]
11
i=l
1
given that 1t. v is consta.nt on members of tlw partition. On the other hand,
j [a, b] v-. du+ j [a, b] ·u+. dv= i~l v-(tJ. [·u+(ti)- u-(t;)]
+ Ln 1/.+( t;) . [V+(t;) - V - ( t;) l )
i=l
equals the right-ha.nd siele of (33) and this proves the result for step-functions.
(36)
To prove this, in view of (35) and of the approximation technique it suffices to
show that u+ . du 2: u- . d1t , for every step-function u; with nodes chosen as
above, we have in fact:
Theorem 1.1 [Mor-Val 3] Let I be a real -interval, X a real Banach space, dJ.L a
nonnegative (Radon) measu.re on I and d1; an X-valued meas1tre on I admitt·ing
a density ddv c L 11 (1, dtt; X). Then, for dft-a.lmost every t in I:
fL oc
d1; ( ) J' d1;( [t, t+E]) J' d1;([ t-E, t])
(37) -
dp
t = lll1
dO dp([t, t+c])
= 1111 --;--77-:---~
dO dp([t-E, t])
If t c I is not the right end, tlwn for f smcdl cnough we have [t, t+E] C I. To
avoid dividing by zero, we must exclncle those t belanging to
I,.= { tE: I: dft([t, t+a])=O for somc a > 0},
which is a dp-null sct. To see this, Iet I 0 be the greatest open subsct of I in
restriction to which dp vanishes ancl \\'rite I0 as a countable union of clisjoint
subintcrvals J" = ]t11 , s 11 [ . Thc-u I,. is th<· uniou of ! 0 and possibly s01ne of the
lcft ends t"; since t 11 :: I,. \I0 implies dlt({t 11 })=0, by clcfinition of I,., it follows
that dp(I,.) = dp(I0 ) =0.
Let h be a representat.ive of tlw density dr; /dil ancl Z be a separable subspacc
of X, with dense sequcnce (z11 ), snch tlwt h(t)::Z for dtt-almost every t. We
may apply Jeffe·ry 's theorem to every nonnegative measure
dll 11 : = II h(.)- Zn II dp , obtaining a dft-null set Nn C I such that:
The umon of all the sets Nn with the set {t: h( t) ~ Z} 1s a dJ.L-null set
N and we prove that
d11([ t, t+E j)
(39) Vt~N: dp([t,t+E])-> h(t), as ELO.
Fix t~N and an arbitrary TJ > 0. \Ve choose n suchthat IIZn-h(t)ll S TJ·
Writing Ie instead of (t, t+E], we have, by definition of
density, dv(I() = J 1 h(s) dp(s) . Hence,
(
II dv(I()
dp,(I()-h(t) II < II dv(I()
dJ.t{Ie)-z 11
II 1
+TJ S dlt{I() II j I [h(s)-Zn l dp, (s) II +TJ,
(
and so
Letting dO and using (38), we obtain that the limsup of the left-hand side is
less than or equal to II h( t)- z11 II + 11 S 211 • In view of TJ being arbitrary, this
implies (39) and proves the result. D
In [Mor-Va.l 1] is given a different proof, which does not depend on
Jeffery' s result. It proceeds by "unfolcling the jumps" of a function of bounded
variation ancl reducing the problem to the study of differential measures of
Lipschitz functions (to which the results on Lebesgue points may be applied).
We must point out tha.t the earlier "hila.teral" version due to Daniell
(1918), namely that
d11 ( ) [' d11([ t-€, t+E])
(40) t = 1111
- '
dfL 1'[0 dJt(( t-€, t+E j)
sometimes is not enough for our stucly of differential inclusions. Weshall often
refer to Theorem 1.1 simply as .Jeffery' s theorem.
Theorem 2.1. Let ( 1Ln) be a. seq·u.ence of fu.nctions from the interval I= [0, T] to a
Hilbert space H. Assurne that (ll 11 ) is uniformly bounded in norm and in
variation, i.e., that there exist L, M> 0 such that:
0.2 Compactness results for functions of bounded variation 11
(2) (nc:N).
( ii) M oreover, if the j1mctions ( u11 ) and u are left-continuous, then for every
continuous function or right-contin-u.ous function of bounded variation
cp: I->H we have:
(4) J[s, t[
cp.dun/,;-> j [s, t[ cp.du (s < t).
( iii) Ij the functions ( u11 ) and u are right-continuous, then for every continuous
function or left-continuous fnnction of bo·unded variation cp: I->H we
have:
(5) JJs, t]
cp . d1t 11 k -> j ]s, t] cp . du (s < t) .
Proof. (i) Every function u 11 has bouncled variation, hence its image is
contained in a separable subspace of H. Then there exists a closed separable
subspace, say H0 , which contains 1t11 ( t) for all n and all t. Considering an
orthogonal decomposition of H, it is easily verified that we only need to prove
the weak convergence in H0 . In other worcls, we may assume that the initial
Hilbert space is separable.
Let ( em) ( rnc: N) be a complete orthonormal basis in H - only the infinite
12 Chnpt.cr 0: Preliminaries
dimensional case, not treated in [Ban] , interests us here. For every m, the real
functions ttn( t) . em ( n c: N) a.re uniformly bounded by L and uniformly
bounded in variation by M.
Banach' s result, as mentioned above, implies that there is a subsequence j 1
suchthat ttn(t). e1 (for ttnc:j 1) converges everywhere to a bv function fr(t);
and then there exists a subsequence 12 of 1 1 such that u71 ( t) . e2 converges
pointwisely to a bv function h( t) a.long 1 2 ; and so on. The classical
diagonalization procedure furnishes in this manner a subsequence (Unk) of ( ttn)
for which
p
< lim L llunk(t;)- '1L 11 k(ti-l) II :::; lim var(u71 k 1 I):::; M,
i-')
J= [s1 t[ (with i=O, ... , m) such tha.t the oscillation of ~in every subinterval
IS not greater than f. The right-continuous step-function 1/J, defined
by 1/J(T) : = ~ (si) ifT c: Ji , sa.tisfies II V'- <P II = :::; f and
J 1
·lj;. dunk = L
0~1~m
</>(sj) . j [si• i+1[ 5
du 11 k .
lim
k
j [si,si+l[
and so
0.2 Compactness results for funct.ions of bounded variation 13
On the other hand, we recall that by (2) and (i) the total variations of Un and
u (which equal the norms of the measures dun and du, since u 11 and u have
aligned jumps; cf. (1.17)) are bounded above by M.
Hence, for k ?: ko :
Ij J </; . dunk- j J </; • du I :<::; j J II <P -1); II I dunk I + I j J 1); . dunk- j J 1);. du I
+ j J 111);-<f; 111 du! :S (2M+l) €,
proving (4).
( i) There is a filter '3' finer tlwn the filtcr of thc sections of the index set (in
other words, there is a subnet extracted from the given net) and there is a
function of bounded variat-ion u: I-+H such that:
(ii) Moreover, if all the fv.nctions ·u0 a.re right-continuous, then for every
continuous <f;: I-+H and s<t in I we have:
(10) limj </;. dua = j q>. d1L + <f;(s). [v+(s) -1L(s)]- <f;(t). [u+(t)- u(t)].
<J ]s, t] Js, t]
In particular, if the (sub )Iimit function n is right-cont·inuous at both s and t:
(11) lim
<J
j ]s, I] </; . d1Ln = j ]s, I] </; . du .
14 Chapter 0: Preliminaries
Proof. (i) Since the net is uniformly bounded and balls are weakly compact in
H, it follows from Tychonoff's theorem that ( u0 ) is relatively compact in the
topology of pointwise weak convergence. Thus, there exist '?J and u satisfying
(8). lnequality (9) is obtained as in the preceding theorem.
!im
~
j ]s, t] cPn. dua = !im
~
t
i=O
cf;( tn i+1). [ua( tn i+1)- ua( tn i)]
' ' '
V
J ]s, t]
cPn·du= t
i=O
cf;(tni+1).[·u+(tni+l)-u+(tni)J
' ' '
v-1
= 2:cf;(t1l i+l).[11.(tn t+rJ-u(tn rll+cf;(tn rl-[u(tn 1)-u+(sJJ
i=l J ' ' , '
+ cf;(t).[u+(t)-u(tn,v)J.
Comparing these expressions:
Ij
]s, t]
cPn · dua - J ]s, t]
cP · dua I :S: M II <Pn- cf;JI =
and the uniform convergence of (<Pn) to <P imply that
uniformly with respect to o:. Then, hy Moore's theorem (see [Dun-Sch] 1.7.6)
we may change the order in the following double Iimit, using (12) and (13):
!im
~
j ]s,t] cf; . dua = !im !im
~ 71
j Js,t] c/; 11 • dua = !im11 !im
~
j ]s,t] <Pn . dua
=!im
n
rj ]s, t] <Pn.d"U. + cf;(tn ' 1).(u+(s)-·n(s))-cf;(t).(1t+(t)- u(t))].
0 ..3 Convergence in the sense of fillecl-in graphs 15
To conclude it suffices to rema.rk that c/;(tn 1 )----* c/;(s), because c/; is continuous
'
and I tn,l- s I :::; 1/n, and that J ]s, t] !/in. dn----* J ]s, t] <P. du is obtained in the
same way as (13). D
We leave it to the reader to formulate and prove the analogue of (ii) for
functions of bounded variation which are left-continuous.
where [y, z] stands for the line segment between two points in H ancl J-(t) is
the left limit of f at point t. Here, by convention, f-(0) = f( 0).
that is, the Hausdorff clistance between their filled -in graphs with respect to
the metric 8 introduced above. This is a metric in rcbv( I, H), because of the
general properties of Hausclorff distances a.ncl of the following:
Proposition 3.1. IJ f and g are rcbv fnnctions such that h *(J, g) 0, then
f=g.
Proof. Suppose, by contradiction, that f{f-o) 1- g(ta) for some ta in (O,T(. Since
both functions are right-continuous, there is t > 0 such that if both t and s
The followiilg example shows tltis a.nd also makes it clear that, in
genera.l, from a sequence of rcbv functions, which are uniformly bounded both
in norm and in variation, it is not possible to extra.ct a. subsequence which
converges in the sense of filled-in graphs to an rcbv (or simply bv) function,
even if the functions ta.ke their va.lues in a. finite dimensional spa.ce.
(3)
Lemma. 3.5. Under the hypotheses of Theorem 3.4, there exist a subsequence
( Un ) and an rcbv function
k
11. su.ch that I dn I S: dz; and for every t c: I:
x.u 11 k(t) = x.u11 k(O) + j ]0, I] x.du71 k(s) = X.1t 71 k(O) + j ]0, I] X·lnk(s) dz;(s).
We derrote by < . , . > the clua.lity product between L} and L';; and
by XA the characteristic function of a subset of I. We have:
=x .[a +j 1( s) dll( s) J = x . u- ( t) . 0
]01 t[
Proof of Theorem 3.4. Let E > 0 be gi ven. W e choose lo < t 1 < ... < tm = T
such that for every i:
(10)
By Lemma 3.5, there is an integer N such that for n 2:: N we haYe, for
every i:
If (t 1 x) is in the fillecl-in graph of 1L11 , i. e., xE: [11.11 -(t) 1 11.n(t)] and if t;: I;,
then I t-t; I :::; E, by (8). Right-contirmity of 11.11 , (10) and (11) imply that
II u
11 ( t) - u( t;) II < ll1t 71 +( t)- u,/( t;) II + 111t 11 ( t;) - u( t;) II
< osc( u11 , I;) +c :::; 2c ,
20 Chapter 0: Preliminaries
If t is one of the points t;, then x belongs to the segment (un -( t;), un( t;)] whose
Hausdorff distance in E to [u-(t;), u(t;)] is not greater than €, by (11)
and (12). It follows easily that
dist ( (t;, x), gr*un) S dist ( (t;, x), {ti} X [ Un -(t;), un(t;)])
(1)
0.4 Geometrie~] inequalities 2I
Proof. First we assume that b = TJ = 0, that is, the endpoints of the arc and the
segment are the same, and we show that, for every z in the arc l, the following
estimate holds:
(2)
Hereafter, we shall denote the segment by S and its length by I SI . If (2) is
not satisfied at some point z 'c; l ancl if xi is the proximal point of z' in S,
we immediately see that II z '- x2 II ~ I SI and
Since 0:::; v:::; 1, this implies 111 >I/+ I SI , a contracliction. If the nearest
point is x 2 , we use a similar argument. If neither is the case, Iet x' be the
orthogonal projection (nearest point) of z' in S. Observing that for i= 1, 2
II z'- x' 11 2 > (1+ I SI )2 r; ~ v + 2 I SIr; ~ r; 2 + 2r; II xi- x 'II , we write:
2
~ L ( II xi-x'll +v)= II xi-~ II +2v,
i=I
again contradicting the hypothcsis. So, (2) is proved.
(4)
Then,
ir ( II x- a II 2 - II S( x) - a II 2) 2 y . ( x - S( x)) = II x - S( x) II . 0
Proof. [Val 2] It suffices to apply the prececling Iemma to the projection of best
approximation on C, S(x):= proj(x, C) (st>e p. 26). In fact, S is a contraction
of H having C as set of fixecl points. 0
Lemma 4.4. Let C1 , ... , C" be closed con·uex subsets of H all of them
containing a fixed closed ball B( a, r) ( r > 0). If Xo c: H and if x 1 , ... , Xn are
defined inductively by xi=proj(xi-l, C;), then:
(6)
(7)
Proof. [Val 2] Inequalities (6), which hold even if r=O, result from the fact
0.4 Geomctrical inequalities 23
R.emarks.
1) Tobemore precise, we can prove that ([Val 2])
n 1 2 ?
(8) ~ II x;- xi-1ll ~ max { 0, 2 r ( II Xo- all -r")} ·
z=l
In fact, either II Xo- a II ~ r ancl then X;= Xo for every i, so that (8) is trivial;
or II Xo- a II > r ancl it is easily verified tha.t II x71 - a II 2': r, hence (8) follows
from (7).
Notice that
is the length of the arc of the "developpante" of the circle with radius r
(centered at a) lying between this circle a.ncl the circle of radius II Xo- a II (this
is a curve drawn by the end of a rigid bar rolling without sliding on a circle
with radius r). It was under this form tha.t Valadier initially stated the
property (see [Cas 1] appendix ancl [Val1]). His first proof, although more
complicated, is nevertheless still interesting because of the underlying intuitive
geometrical consiclerations. If H =IR, a better estimate is given in [Val 2].
2) This type of inequality had alreacly been used by Moreau in [Mor 9] ((5.2),
p. 31) and [Mor 8] (remark 2, p.l44). In the former, the sweeping process by
a convex set having bouncled but not necessarily continuous variation and
containing the ball B( a, r) is consiclered; it is shown that the total variation of
the solution is bounded above by II x0 - a 11 2/r, where Xo is the initial value. In
the latter, which concerns the sweeping process by a convex set with
absolutely continuous variation, it is provecl that the absolutely continuous
solution u satisfies a. e.
II du II <
dt -
- l.. ..4 II a- u 11 2 ·'
2r dt
by integration, this yielcls an estimate ecptiva.lent to (7):
24 Chapter 0: Preliminaries
v ar( u; 0, T) ::; 2\ ( II a - u( 0) II 2 - II a - u( T) II 2 ) .
Proposition 4.5. [Mor 7] ((6), p.173) IJ B 1 and B2 are two convex subsets of
a Hilbert space H, with int B2 I- 0, then:
Proof. We may assume that a=O (by translation) and, to avoid (9) being
trivial, that p := dist(O, H\B 1 ) > 0, that r:= e(B 1, B 2 ) < +oo and that
p- r > 0. We only need to show that
(10) B(O,p-r)cB 2 .
In fact, the closure of B2 coincides with the closure of its nonempty interior;
hence B(O,p-r) is contained in B2 and this implies dist(O,H\B2)::::: p-r.
Proposition 4.6. [Mor 7]((12)) Let A and B be two convex subsets of a Hilbert
space H. IJ ac A and B( a, p) C B, then:
·v.(y- Pwl:::: o.
Hence:
(12) u. y 2: 0 , ·v. y 2: p II v II
We show that:
In fact, A is contained in the half-space H(A) = { z: (z- y). u ::; 0} and the
projection of x in H( A) is z: = x - ,\ 11, where ,\: = ll1t 11- 2 ( x - y) . 1L is positive
(otherwise (13) is trivial). Hence, dist(l:, A) 2: I x- z II and (13) follows,
because II x - z II = ,\ llu II = IIu II -l ( x - y) . u .
Similarly, ( x - y) . ·v ::; II u II dist( x, B) . Then
dist(x,AnB)= llx- Yll =(x- y). (u+v)
implies
Proposition 4.7. [Mor 1] ((2.17)) Let C, C' be two nonempty closed convex
subsets of Hand x, x' be two elements of H. Then:
and, ify= proj(x, C) and y'=proj(x', C'), these are wrdten as:
(17) IIY- y'll 2 -llx- x'll 2 ~ 2llx- Yll e(C',C)+2IIx'- y'll e(C,C')
But, writing z=proj(y', C)t: C, we also know that (x- y). (y- z) ~ 0,
because y is the proximal point of x in C. Hence,
Similarly, (x'- y'). (y- y') ~ II x'- y'll e(C, C '), so that (18) implies
(17). 0
Chapter 1
1.1. Introduction
Moreau has shown that a Yosida-type regularization procedure can be used in
order to prove the existence of a solution to the so-called sweeping process or
evolution problem associatecl with a. moving convex set (see e.g. [Mor 3]). If
this set is supposecl to be Lipschitz-continuous in the sense of Ha.usdorff
dista.nce, then the solution to the problem it defines is also Lipschitz-
continuous with respect to a real variable t. The Yosida or Moreau-Yosida
a.pproximants, that is, the absolutely continuous solutions to the regularized
differential equations clerivecl from the initial problem, then converge
uniformly to the solution to the sweeping process.
Let H be a real Hilbert space with scalar product denoted by a dot and
I be a compact interval [0, T] of the real line. We consider a multifunction
(that is, a set-valued function) C: t --t C( t) from I to nonempty closed convex
subsets of H. This multifunction, also referrecl as C(.) or C, can be interpreted
28 Chapter 1: Regularization and Graph Approximation of a Discontinuous Evolution
(2) w(O) = a;
(3) w(t) c:C(t) (tel);
and there exists a positive measure dp. on I relative to which the Stieltjes
measure dw of w has a density ul c: L 1(I, dp.; H) , i. e., dw = ul dp., such that :
Definition 1.2. Given .A>O, the respective Yosida approximant is the unique
absolutely continuous solution to the Cauchy problem:
The solution to the sweeping process w is the same as before but the Yosida
approximants are now given by:
if 0::::; t::::; 1
e-(t-1)/.A
if 1 < t <2
When .\-->0+, u).(t) converges pointwisely to the function u defined by u(t) =0
if t::::; 1 and u( t) =1 otherwise. We notice that w is the right-continuous
regularization of u: w = u+. Moreover, the graphs of the u).'s converge in the
sense of Hausdorff distance to the filled-in graph of w, which is obtained by
adding the vertical segment between ( 1, 0) ancl (1, 1) to the graph of w.
These properties are also presen t in the genera.l case, a.s stated in the
main theorem:
(9)
b) When .,X-;0, uA converges to w in the sense of filled-in graphs, that is:
b = proj( a, C(O)).
Since Cf( t) = C(O) for 0 S:: t < t1 , we guess that, for these values of t, uf, ,\( t)
must belong to the segment [a1 b], i.e., ui,,\(t) = b + 1/;(t)(a-b), with
0:::; tjJ(t):::; 1 and t/J(O) = 1. This reduces equa.tion (3) to
dt/J (a-b)
dt(t) + '1X t/J(t)(a-b) = 0 a. e.,
smce proj( u" ,\( t) 1 C(O)) = b. Solving this Ca.uchy problern for t/J, m the
nontrivial cas~ af. b, gives 1/;(t) = e-tf,\; so, for tei0 ,
With this aim, we prove the following inequa.lity for tc: Ii:
and so
Lemma 2.1. For any ,\ > 0, ther·e is a positive constant L = L(A) such that:
(10) ll·u,,>.- ·u>.lloo ::=:; L(l +fJ fE ·
Let rf;( t): = II u,, >.( t)- u>.(t) I , L: =~2( M1 + M2) ancl K: = L '{f.. By (4), (5) and
(12) we are lecl to:
34 Chapter 1: Regularization and Graph Approximation of a Discontinuous Evolution
whence (10). 0
Theorem 2. 2. For every m I and every positive >., the following estimate
holds:
as is clear from (2), whereas by (11 ), uf, >.( t) converges strongly in H to u>.( t).
Hence the left-hand side of inequality (7) converges to the left-hand side of (13)
(see (12) or use the continuity of the projection into a fixed convex set). We
further remark that the sum appea.ring in the right-hand siele of (7) is bounded
above by
t
j==l
e(tj-t)j>.[r(tj)-1'(tj-l)] + p-t)f>. [r(t)-r(tj)].
This is a Stieltjes sum for the integra.l over [0, t] of the continuous function
s---7 e(s-t)/).. with respect to the differential measure dr. Since by construction
the subdivision Pf = {l:o, ... , tm+l} satisfies (1), we have dr(int Ii) = osc( r, Ii)
:=:; osc( v, Ii) :=:; f and these Stieltjes sums converge to the sa.id integral when f
tends to zero. So, inequality (7) implies the first inequa.lity in (13).
1 (0, t]
e(s-t)f>. dr(s) :=:; 1 (0, t]
dr\s) = r{t)-r(O). 0
1.3 Limit functions 35
Theorem 2.3. The Yosida approximants satisfy, for every positive )., the
inequality:
(1) J II du
T
d/ II dt :::; ret ( C; 0, T)
0
and since u>. ( t) =a i t follows that for eveq ). ancl every t:
Comparing (3) and (4), it turns out that u(t) is also the weak Iimit of
the sequence vA( t) == proj( uA( t), C( t)), with ). c :f. Since this sequence is
contained in the weakly closed convex set C(t), (5) follows.
Proof. In the nontrivial ca.se s < t, asslune that t' ancl t" are two continuity
points of r suchthat s :=::; t' < t :=::; t". Using (2.15) leacls to
In particular,
(10)
(12) (tel)
and strong convergence holds:
(13) lim
'j
II u..\(t)-u(t) II = 0 (te I) .
Proof. In view of (3) and by uniqueness of Iimits we only need to prove that:
(14) (td).
If t = 0, (12) holds by convention and (14) is obvious. If te )0, T), given an
arbitrary € > 0 we choose s < t such that r is continuous at s and
r-(t)-r(s)5€. By Lemma 3.1, for sufficiently smal(>. in the subsequence 1
the following inequalities hold simulta.neously:
(16)
We end this section with a statement which is more precise than (7):
Proof. If t = T, this is clear by (7) and the convention thereafter. If t < T, Iet
t'> t. By (2.15), II u..\(t~- u..\(t) II 5 dist(u..\(t), C(t))+ret(C; t, t1.
Taking Iimits with respect to the subsequence j and profiting from (13) and
1.4 The solution 39
Proof. Recall that here J [t,t '[ </>.du:= J [t,t '[ (</>. I~: I ) I du I t: IR, where the
density I~~ I belongs to 1. 1(!, I du I; H) .
We still use the notation vA(s) = proj(uA(s),
C(s)). By definition (1.6), the
Yosida approximants satisfy, for (Lebesgue) almost every s:
du,
d:i"(s) = (vA(s)-uA(s)). !
Since <f>(s)t: C(s) ancl ,\ is positive, this implies by a well-known property of
projections:
du
[<f>(s)-vA(s)]. dsA(s)?. 0, a.e. in [t, t '].
Then
and since
duA duA dnA 1 duA
vA. ds = (vA-uA). ds +"!LA. ds = (-uA-uA). [x(vA-uA)]+ uA "ds
it follows that
and
J t'
</J.duA ?_
j t' uA.dsds=
d·uA 2
1(11uA(t')JI -JiuA(t)JI-).
?
t t
We take Iimits with respect to >.. Since the continuous functions uA converge
pointwisely weakly to the left-continuous function u and since </> is right-
continuous with bounded variation, we may apply Theorem 0.2.l.(ii) to
the left-hand siele of the last inequa.lity, obta.ining:
jt t' </>. duA = j [t, t'( </>. duA ~ j [t, t '[ </>. du .
Recalling (3.13) yields the desired property. 0
1.4 The solution 41
J [t, t+([
</>.du ;::: !( II u( t+c) 11 2 -II u(t) 11 2 ) = ~[u(t+c)
-
+ u( t)]. [u(t+c)-u(t)].
We write </> = x-(x-<1>) and choose f in such a way that u is also
continuous at t+E, so that du([ t, t+c[) = ·u( t+E )-u( t) = du([ t, t+E]). We get
(x - ! [u( t+E) + u( t)] ) . du([ t, t+E]) ;::: - osc( </>, [t, t + f]) I du I ([ t, t + f]) .
Divide by I du I ([t,
t+c]) (with the convention 0/0 = 0) and let c--+0, picking
only continuity points t+c. By virtue of Jeffery's theorern on the densities of
rneasures (Theorem 0.1.1), this gives:
Proof. Let M'?_ ll·u+-ulloo; for iustance, take M'= lldrll, by (3.16). It
suffices to prove that, given any E in ]0, 1/6[ , the following estimate holds for
sufficiently small positive ). :
(1)
Take a partition I 0 , I 1 , ... , I 171 which satisfies (2.1): the lengths of the
subintervals and the respective oscillations of ·v are bounded above by E.
Reasoning for a fixed interval I;, we choose a continuity point for the
retraction t '; in ]t;, ti+l[ and a positive number \ such that for every ). c ]0, >.;]
we have:
111t-'(t';)-proj(u-'(t';), C(t'i)) II ~ E;
(3)
while, for every t > ti in Ii , (3.16) implies that:
(4)
Then, if 0 < ,\ :S ,\i and t'i :S t < ti+l , we have, by (3) and (4):
(6) 11 u+(t)- u_x(t'J II ::::; II u+(t)- u+(t';) 11 + 11 u(t'j)- u_x(t'j) 11 ::::; 2€.
Together with (2.1) and (4) this gives, for xc:[u(t), u+(t)] and tc: ]ti, t'J
(7) 6((t,x),(t';,u,x(t';))):=max{lt-t';l, llx-u,x(t'i)II}:Smax{E,3E}=3E.
Its endpoints u,x( t;) and u,x( t ';) satisfy respectively (2) and (6), where in the
latter we take t = t; ; in short, they are not very far from the endpoints of the
line segment S = [u( t;), u+(t;)]. Let us also compare the length of l, lll, with
the length of S. Using (2.15) and then (2.1 ), Proposition 3.4, (2) and the non-
expansiveness of x-> proj(x, C(t;)) , we obtain the estimates:
Finally, we remark that (5 ), (7) ancl (8) imply that if 0 < ,\ :S \ , then:
The samc techniquc Ieads also to our last result concerning this
problem:
44 Chapter 1: Regularization and Graph Approximation of a Discontinuous Evolution
Proof. Let 0 < € < ~ be given and choose any partition ( Ii) of the interval I
satisfying (2.1). We have seen that (3) and (8) hold for every i and every
sufficiently small .\. We consider two cases separately.
This is an upper bouncl which is inclepenclent of >. ancl which converges to zero
asE-+0.
2.1. Introduction
In this Chapter, weshall deal with the sweeping process (Definition 1.1.1) by a
moving convex set t--t C(t) with nonempty interior. Sometimes the convex set
C( t) may be decomposed in the form
C(t) = v(t) + r(t),
where is a function taking values in a separable Hilbert space H and r is a
V
Note that this condition does not require that the convex sets be bounded, but
clearly implies that h( C( t), C( s)) be finite for every s and t.
We prove that the sweeping process by such a moving convex set C has
a solution.
Theorem 2.1. Under the given hypotheses, for every initial value ~ c C(O) there
is one and only one cbv ( continuous with bounded variation) function u: I--> H
such that:
(2) u(O) = ~;
(3) u( t) c C( t) ( t c I) ;
Note that the solution to the sweepmg process by C(t) is also the
solution to the sweeping process by C(t) n B(O, R), where R > II u II 00 (see the
proof of Lemma 4.2.2). Hence, if some a priori estimate is available, then we
may replace the initial multifunction by a bounded one, choosing an
appropriate R. This means that assumption ( 1) may be replaced by the
weaker:
Since (4) is satisfied at every atom and its right-hancl siele is a cone, it follows
that u-(t)-u(t) belongs to the outward normal cone to C(t) at the point u(t).
This property characterizes u( t) as the projection of u-( t) in C( t).
and pass to the Iimit, maling use of hypothesis (1). This g1ves
dist(u-(t),C(t))=O, i.e., 1t-(t) belongs to the closecl set C(t). Hence
u(t)=proj(u-(t), C(t))=u-(t), which contra.dicts the hypothesis and encls the
proof. D
(6) j 1
(<P-u.). du?. 0 ,
s
for any s < t in I and for every cont-irwons selection of C, <P: [s, t]-> H. (Here
there is no neecl to indicate whether the integration encompasses or not the
cnclpoints of the interval, since du is a nonatomic measure.) Writing
u 1(r)= I~~ I (r), we have by hypothesis -u'(r)c: NC(r{u(r)) - except possibly
on a I du I -null subset - a.ncl cp( T) E C( T). By definition of the outward normal
cone, we see that
hence
It is worth noting that it was precisely this condition (6) that Tanaka
and Castaing obtained in their respective problems.
(a) IJ tc[O, T[ and zeint C(t) then there exists t: >0 such that:
(7) zc C(r) ( TC [ t, t + t: j ) .
(b) More generally, if tt: I and B(z, r) is a closed ball contained in the interior
of C( t), then there exists an interval Jt , open neighbourhood of t in I, such
that:
(8) B(z, r) C C( r)
(9) d = dist(z, H\B(z, d)) ::=; dist(z, H\ C(r)) + e(B(z, d), C(r)).
So from (9) we deduce that dist( z, H\ C't T)) ~ r, which implies (8). D
Lemma 2.4. Let C be a multifnnction with the property ( a) of Lemma 2.3 and
let u: I-+ H be an rcbv function tha.t satisfies (3) and also the following
condition:
(10)
if zc C( T) for every TC [ s, t] , s and t n.rbitrary. Then:
2.2 Continuous convex set in arbitrary dimcnsion: preliminary results 49
Proof. Jeffery's theorem (Theorem 0.1.1) ensures the existence of a /du /-null
set Ne !such that for every tc:I\N we have simultaneously:
(13)
cquivalently, since we are dealing with endpoints which have zero measure:
This inequality, which holds for every z belonging to the interior of the convex
set C( t), is easily extended to every z in C( t), by a density argument. Recalling
that u( t) c: C( t), by hypothesis, we find that the inequality expresses precisely
that -u1( t) is an outward normal vector to C( t) at u( t). 0
R.emark. It is worth noting that any cbv (continuous with bounclecl variation)
function u that satisfies the condition (5) only for constant selections also
satisfies assumption (10). In fact, taking z as in Lemma 2.4 and since z is a
constant selection of Gin the interval [s, t], we have by (5):
50 Chapter 2: Sweeping Processes by Convex Sets with Nonempty Interior
jt (z-u.).du~O;
s
that is:
(14)
So:
J t
u. du = Jt d(!
I
II u II ~J l = 2ll I
u( t) II - - 2ll u( s l II -
? ?
s s
and (10) is true. 0
(2) In
,
i = [tn ' i , tn i + 1[
'
( if 0 S i < n) , ! 11 , 71 = {T} .
Theorem 3.1. Both ( u 11 ) and ( v11 ) conver·ge unijoTmly to u 1 the unique solution
to the sweeping pTocess (2.2)- (2.4).
First, we verify that (1t71 ) a.nd ('v 71 ) do ha.ve the same uniform limit, if it
exists. In fact, v11 ( T) = u 11 ( T) a.nd for t /= T it is clear that:
t- t .
llvn(t)-un(t)ll=llt. :'~ _(un,i+!-un,JII:::; llun,i+l-un,ill
n ·t+l
1 n,z
and I tn ' i - tn i+ I I
'
Tjn. Hence
where we put
(9) 0,
The next step is to obtain estima.tes for the functions u 11 and their
variations ( and which also hold for the continuous approximants v11 ) :
Lemma 3.2. (a) There exist posit-i·ve constants L and M such that for every 1 n:
(b) More precisely, if all the con-uex sets C( t) contain the ball B( a, r),
we may take
Proof. (b) Since C(t71 ) ::J B(a, r), we deduce from (4) and Lemma 0.4.4(6) that
-n ,·I) = '"'
var(•L ~ II un,i- 1tn,i-1 II
i=l
:::; max {0, ir( ll1t11 , 0 - a 11 2 - r2)} = l(r, II u.o- a II) =M.
(a)By Lemma 2.3.(b), for every t in I we take an interval Jt, which is
an open neighbourhood oft in I, such that a.ll the convex sets C(s) with s in
Jt contain some fixecl closed ball. Since I is a compact set, there is a finite
collection of such intervals that still covers I. Then we can find points
s0 =0 < s1 < ... < sp= T ancl closecl ba.lls B(ak,rk) (k= 1, ... ,p) suchthat
II Un( t) II :::; II Un( sl) II + II ·u,,( sl)- a.2 II ::S 2 II ·u.,,( sl)il + II a.2 II
::::: 2 Ll + II ~ II := L2
and
If tm,i o/- tn 1 j 1 then u 11 (tm,i- 1) = 1t 111 j E: C(t11 ,jl and (16) still holds true.
On the other hand 1 we also have u111 ( t) = um,z· = proj (um Jt._ 11 C(t m,t·)).
Thus 1 we may apply to u 11 ( t) and um( t) an inequality of Moreau on projections
into convex sets (see Proposition 0.4.7):
Then:
and so
by definition of variation. D
Corollary 3.4. The approximants ( un) form a Cauchy sequence m the metric
of uniform convergence.
Proof. In fact, given an arbitrary t > 0, thanks to (9) we pick n such that
f.ln ~ t 2/(16M), where M is an upper bound as in (11 ). If p ~ n , we consider
m, the least common multiple of p ancl m; then the prececling Iemma and (11)
imply:
and also
~ €2
Jlup-umll:, ~4ftpM~4JtnM~4;
whence II un- up II = ~ t , for every p ~ n. D
(b) Moreover, if for every t in I, the convex set C(t) contains the ball
B( a, r), then we have the estimates (sec (13)):
since C(t) is a closed set, in the Iimit we get 1L(t)c: C(t). Now, Dis a dense
subset of I; so, for any tc: I a sequence ( t11 ) C D can be found such that t11 __, t.
Recalling that the multifunction C is Hausdorff-continuous and using the
continuity of 1L we have then:
(19)
On the other hand, a simple computation shows that in any real Hilbert space:
(20)
Wehave
k
z.[u 11 (t)-1L11 (s)] = z.(1L11 ,1.:-nn,j-J) = ?=. z.(u11 ,;-U11 ,i-l),
2=)
so that by (19) ancl (20):
1.:
(21) z.[nn(tJ-un(s)] :2: L 11 n,i·(ull,i- 11",i-1)
1.: i=j
then we easily deduce from (18) that var(u;[T1,+oo[) ::=; l(r, II u(T1)-all) and
hence that u has bounded total variation. Therefore there exists a strong limit
as t-++oo:
1L00 : = !im
t~+oo
1t( t).
It can be shown (Mor 9] that belongs to the closure of the set of points that
1L00
We define:
:::; llun,i-1-ii.n,i-111 2
II un,i-un,i 11 2 :S II un,i-1-ii.n,i-111 2
( ii) For ever·y tc: I, the multifunction w--> C( t, w) is .A-measurable (see for
instance (Cas-Val], Def. III-10).
suchthat
Theorem 3.8. Under the hypotheses (i)-( iii), there exists one and only one
(GJ,(l)®..A.,'~B(H))-measurable junction u: Ixn--+H such that, for every wen
the Junction uw( t): = u( t, w) is cbv and:
Proof. Using the partition (1 )-(2) of the interval I, for every n we define the
following function Un: I X n--+ H:
Uo(w) if te In,o
(29) Un(t,w) = {
proj ( Un(tn , i-1 'w) ' C( tn , i' w) ) if te:In i , i?. 1.
'
If w is fixed, t--+ u,1(t,w) is a right-continuous step-function. On the
other hand, if te In,o , then w -+ u"( t, w) =Uo( w) is a (..A., GJ,(H))-measurable
function, by hypothesis (iii); a.nd if, by induction, this is assumed to be true
for te In i- 1 , then it will also be true for t in I 11 i , because the measurability of
' '
Un(tni-1•·) and of C(tni•·) (see (ii)) implies measurability of
' '
proj(Un(tn i-1•·),C(tn i,.)), by (Cas-Val] Theorem III-30. In short, un is
, '
separately right-continuous in t and measurable in w. It follows that Un is a
(GJ,(l) ® ..A., GJ,(H))-measurable function - see e.g. (Cas 4] p.15.9 or (Cas-Val]
Lemma III-14 (which applies here hecause 11.,1 is "piecewise continuous" in t).
We fix w in n. Comparing the definition of Un with (3)-(5) and applying
Theorem 3.1, thanks to assumption (i), we obtain that:
lim
11
u11 (t,w):= ·uw(t)
(30)
2.4 Lower semicontinuous convex set in finite dimension 59
Then the sweeping process (2.2)-(2.4) ha.s one and only one rcbv so/ution
u:I_.E. Moreover, under a.ssu.mption (1), the estimate (3.18) ofthe total
variation of the sohdion holds.
Lemma 2.3; in the Iiterature we may find similar restilts, e. g. [Rol], Lemmas
4 and 5.
Proof. Let r' besuch that R < r' < dist(z, E\ C(t)) and take u: ]0, r'-R[. The
compact set B(z,r') can be coverecl by a finite Illlmber of open balls B(x;,t:/2)
with xi E B(z, r'), i = 1, ... , N. Since xi E C(t) n B(x;, t:/2) and by definition of
lower semicontinuity, we may then consicler a neighbourhood V of t such that
C( T) n B( X;, t:/2) =/0, for every r in V ancl for every i. Then, if xc B( xi, t:/2) we
have dist ( x, C( r)) < t:; tlms,
N
e(B(z,r'),C(r)) S: e( U B(xi,t:/2),C(r)) S:t:.
i=l
Since B(z, r') and C(r) are convex sets with nonempty interior, we may apply
an inequality by Moreau (see Prop. 0.4.5 ), obtaining in this case:
Corollary 4.3. If C satisfies the hypotheses of Theorem 4.1, then C ha.s the
property (a.) of Lemma 2.3.
Proof. Given tc[O, 71 and ZEint C(t), we may consicler a closed ball
B(z, R) C int C( t) . By hypothesis, C is a lsc multifunction on the interval I
with the usual topology of IR (case (B)) or with the right topology (case (A)).
Lemma 4.2 ensures the existence a neighbourhood 11 of t in I satisfying (2).
Since in either case this neighbourhood must contain an interval [t, t+t:] (t: > 0),
(2. 7) follows. 0
Lemma 4.4. Let y belang to a convex S11.bset of E with nonempty interior C'
and let t: > 0. Then, there exist x 'E C' anrl r' > 0 such that:
(3) B(x ', r') C int C ',
2.4 Lower semicontinuous convex set in finite dimension 61
(4)
Proof. If y is an interior point of C ', then take x'= y and r' < dist(y, E\ C ').
If y belongs to the boundary of C ', then take any closed ball B( a, r)
contained in the interior of C' and consider the points a0 := y+8(a-y) with
0 < 8 < 1. We have, by convexity of C ':
P={tP,i: 0::; i::; n(P)}, with tP,o =0 < tP,l < ... < tP,n(P) = T.
In the set 'P of such subdivisions we consider the usual order: P 2: P' if and
only if P ~ P', that is, if all the nodes of P' are also nodes of P. To each Pt: 'P
we associate a finite sequence ( up) of elemeuts of E, which are recursively
dcfined by the formulas:
(5)
(6) ( 1 ::; i ::; n( P))
Theorem 4.5. IJ C satisfies assumption (A) of theorem 4.1, then the generalized
sequence ( or net) ( up) Pt:'P converges pointwisely to the solution to the sweeping
process by C with initial value 1LtJ. F1trthermore, this solution satisfies the
estimate (3.18).
62 Chapter 2: Sweeping Processes by Conv~x Sets with Nonempty Interior
Proof. By hypothesis (1 ), we ha.ve C( lp) ::::> B( a, 1·) for every P and i. Then,
Lemma 0.4.4 and the definition of llp ensure that
n(P)
(8) var(up;I)= L
i=l
lluPi-1LPi-III :S: l(r,II·Uv-aii):=M:S:J I!Uo-all 2 ,
' ' T
(9) up(l)=u'O.
Hence,
1°) From (9) and (10) it is clear that ·u.(O) = 1'-o, i. e. (2.2).
2°) On the other hand, for every tE ]0, T], whenever P belongs to the
section determined by the subdivision P0 = {0, t, T}, that is, if P ::::> P0 , then t
is one of the nodes in P and hy definition of 1Lp (see (G) ancl(7)) it follows that
up(t)E C(t). Now, (10) and closedness of C(t) imply th<tt:
u(t) E C(t).
(11) ( tE[O, T[ ) .
For fixed t and arbitrary € > 0, since 11.( t) belougs to the convex set with
nonempty interior C( t) we ma.y take some x 'E C( t) and some r' > 0 such that
B(x',r} C intC(t) and l!u(t)-x'll 2/(2r') < c (by Lemma 0.4.4). Thanks to
(10), there is then some Ft.':F such that, for every Pt::F, both tt::P and
II up(t)-x'll 2/(2r') < c are true.
2.4 Lower semicontinuous convex sct in finite dimension 63
By Lemma 4.2 (considering I with the right topology) there is some positive 8
for which t + 8 :=:; T and C(r) :J B(x', r') whenever TE [t, t+8]. Thus, if we take
Xo = up(t) = uP,i (for some i, by definition of up) as the initial value of the
finite sequence in Lemma 0.4.4, we obtain the estimate:
(14)
whence:
Since u(t)c C(t) and E is arbitrary, this means that u(t) actually 1s the
projection of u-( t) into C( t).
5°) To end the proof, we show that the differential inclusion (2.4) is
satisfied at I du 1- almost every continuity point of u. Thanks to the preceding
properties of u, to Corollary 4.3 and to Lemma 2.4 we only need to verify that
condition (2.10) holds. This is clone, mutatis mutandis, as in the proof of
Lemma 3.5 (see (3.19)-(3.21)).
If zE C(r) for every rc[s, t] then, for any partition P, there exist j and k such
that:
k k
(16) z.(up(t)-up(s))= ?:. z.(up,i-uP,i- 1) 2 L. up,;-(up,i-uP,i-1)
z=J z=J
2! II up(t) 11 -! II up(s) 11 2 ,
2
where we use (6) and a property of projections. Taking Iimits along 'J, we
finally obtain (2.10).
Remark 4.6. We asstune now that Cis only right lowcr scmicontinuous. By
Lemma 4.2, any closed ball contained in the interior of C(O) will remain in the
interior of C(r) for r in some neighbourhood ! 0 =[0,8] of t=O. Then, the
preceding theorem may be applied to the restriction of the multifunction C to
2.4 Lower sernicont.inuo\ls convcx setinfinite dirncnsion 65
(18) u( t) = 1t1J t) ,
In fact, u 1s clearly a right-continuons function of boundecl variation that
satisfies (2.2) u(O) = 11.;J and (2 ..3) 11.( t) E C( t) ( tE I). Furthermore, by
construction, for each k,
at I duk 1-almost every t in h ; ancl wc have du= duk in thc (relative) interior
of these intervals. It follows tlrat tlre differential inclusion (2.4) is satisfiecl at
I du 1-almost every point of I\ {s 1 , ... , sp-l}. Those of the remaining nodes
where u is continuous have zero measure, hence we only neecl to stucly the case
of a discontinuity occurring at some sk. As u+(sk) = uk+l(sk) = uk(sk) and
u-(sk) = uk -(sk), we have:
(19)
66 Chapter 2: Sweeping Processes by Convex Sets with Nonempty Interior
hence:
Remark 4.8. If C not only satisfies the assumptions of Theorem 4.1 but is also
left upper semicontinuous (or, to be precise, if its graph is closed in the
topological product of I, with its left-topology, ancl E) then the solution to the
sweeping process is continuous. \Ve only neccl to show that, in this case, u is
also left-continuous. Let tc: ]0, T] ancl take t11 Tt ; as (t 11 , u(t11 )) c: graph C, their
limit in the afore-mentioned product topology, which is ( t, u-( t)), must also
belong to the graph of C. Tha.t is, u-( t) c: C( t) and by (12) u( t) = u-( t).
[0,3] if 0 s: t < t*
(20) C(t)={ [2,3] if t= t*
[1, 3] if t* < t S: T
this is a lower semicontinuous multifunction with closecl convex values having
nonempty interior in E= lll Choose the ini tial value uv = 0. If tn i is the
'
smallest node greater than t*, then 1L11 ( t) = 0 if t < t11 , i and u 11 ( t) = 1, otherwise.
Hence the pointwise Iimit of the sequence ( u11 ) is the function v, given by
v( t) = 0 (if t:::; t*) ancl v( t) = 1 (if t > t*), while the solution is u( t) = 0 (if t < t*)
and u( t) = 2 (if t ?_ t*). Note that even v+ is not the solution.
2.4 Lower semicoutinuons convcx sct iu finite clirnension 67
Remark 4.10. The preceding example (20) and example 1.1.4 show the
ineffectiveness of the Yosida regularizat.ion approach in the present case of a
sweeping process by a lsc moving convex set. However, the Hausdorff.
continuous case Iooks more promising.
Theorem 4.11. IJ Cis (rigid) lsc a.nd sa.tisfies (1), then the generalized sequence
( up) of the step-a.pproxim.a.nts (7) con·ucrges 1t.niformly to the solution to the
sweeping process:
(21) !im
':)>
llup- u.ll = 0.
Proof. First, we remark that it is really not that restrictive to assume that (1)
holds, particularly when C is lsc from hoth sicles, as previous arguments have
shown.
(22)
It is known that I can be covercd by a fiuite nnmber of such neighbourhoocls;
we clenote by P0 thc union of the respective subdivisions Pt . By (22) it will
then be clear that i11Lp- 1L II oc· :=:; 3 c w!Jenevcr P 2' P0 , proving (21 ).
(24) llu(s)-·u(t)II:S:E.
By (17), choose P 2 c 'P such that whenever P:::: P 2 we have:
(25) II u p( t)- u( t) II :::; c
Combining (23)-(25), we obtain:
Let I 1 : = I' U {t} U I*= [t ', t+b']. Thanks to (25 ), (26) and (29), the
inequality (22) is true for every partition P:::: P 1 : = P1 U P 2 U P3 . 0
The next set of results concerns tl1e clependence of the solution to the
sweeping process on the cla.ta, that is, on the moving convex set C and on the
initial value 'llo· The first one is similar to Tlworem 3.7.
Theorem 4.12. Let C and C be two right l8c multifnnctions defined on I=[O, T]
with closed convex values having nonempty interior in an Euclidian space E.
Let Uoc C(O) and i4Jc C(O). We ass·nme tha.t:
(30) YtE.!: C(t):JB(a,r), C(t):JB(a,T).
II Up ,i - l - Üp , i-l 11 2
+2tL(t) ( I Up i-Up i-111 + I Üp i -Üp i-111);
'- ' ' '
summing up and simplifying:
(32)
where M and Mare arbitrary upper bouncls of the total Variations of all the
approximants (up) ancl (üp)· But, at least by using this technique, we arenot
allowed to take M=var(u;I) a.nd M=va.r(ü; I) in (32). For instance, from the
vague (i.e., weak-*) convergence of the measures dup to d·u (cf. Theorem
0.2.2(ii)r it does not follow that va.r(up; I)= J I dup I converges to
var(u;I)= J I du I or equivalcntly that limsup var(·np;I) ~ var(u;I).
Corollary 4.14. Let C and C,. ( n;::: 1) be lsc mult~fnnctions from I= [0, T] to
closed convex sets with nonempty interior in an Buclid·ian space E. Let
un,oE C"(O) (n :::0: 1) be s?tch tha.t u 11 , 0 -> ·uuE C(O) a.nd denote by Un and u the
solutions to the sweeping processes by C 11 and C with init·ial values un, 0 and Uo
respectively. Suppose that:
Proof. We have already seen tha.t I cau bc partitionecl into a finite m1mber of
intervals Ii = [ti-l, ti] (1 ~ i ~ p) such that, for some weil chosen closed balls:
70 Chapter 2: Sweeping Processes by Convcx Sets with Nonempty Interior
(34)
Writing J.ln = sup{h(C 11 (t), C(t)): td} ancl using (33), we choose no suchthat
J.ln-:=; r whenever n 2: n0 . If tc I;, then an inequality by Moreau (Prop. 0.4.5)
ensures that :
hence:
(35)
that is,
Even at continuity points, the weak pointwise convergence does not allow us
to infer (2.10) from (16).
b) Another likely method, which may be called the inner approximation
method, encounters similar clifficulties. Using Michael's selection theorem
[Mic] and Castaing's representation theorem [Cas 6](see also [Bres 1], [Fry]), we
define an increasing sequence of Hausclorff-continuous multifunctions ( C11 ) with
nonempty interior such that:
C( t) = cl ( U
n
Cn( t)) .
If for each n, 1Ln is the solution to the sweeping process by Cn such that
u11 (0)=Uo (Theorem 2.1) 1 then (not without some work) we prove that there is
a sublimit u of ( v.n) that obviously satisfies (2.2) ancl (2.3) but apparently not
1
Remark 4.16. If, under the assumptions of Theorem 4.1 we know tha.t:
1
for some bE E 1 then the solntion to the sweeping process by C with initial
value Uo satisfies:
(40)
3.1. Introduction
In this Chapter, we prove convergence for algorithms ansmg in the study of
the dynamics of a mechanical sy~tem with a finite number of degrees of
freedom. lt is assumed that the system is subjected to a unique unilateral
constraint, with inelastic contact and possibly isotropic dry friction (Coulomb).
The theoretical founclation is the fonnulation of Moreau (see [Mor 11-14] or
[Jea-Mor]), which we briefly review.
where f: E---+ IR is a e1
function, not depending Oll time ( the system is
"scleronomic"), and whose gradient is never zero; the last requirement only
needs to be met in a neighbourhood of the following hypersurface:
(2) S:={qt:E:fi..q)=O}.
We single out, however, the following simple model: q(t) is the position
at time t of a material point, a small object of unit mass, confined to a region
L of the physical space (E=IIi! 3) bounded by the fixed material wall S. The
object is submitted to the action of a force p( t, q), depending on time and
position (the dependence on velocity is also worth considering). The motion
t-; q( t) takes place in L and we assume that the right-velocity
v+(t) := q+(t) := lim q(t+h)-q(t)
hlO h
and the left-velocity v-( t) exist for every t.
Condition (3) means that v+ = v+( t) nllist belong to a halfspace, called the
tangent halfspace to L at the point q( t). On the other hand, if at time t the
material point finds itself in the interior of the region L, i. e., if f{q(t)) < 0,
then no restriction is imposed on the right-velocity v+. To deal simultaneously
with both cases, wc introduce the set V( q) of kinematically admissible right-
velocities at the point qc L wllich we call the tangent cone to L at q. More
precisely, we define V( q) even outside of L, because while applying
approximation a.lgorithms the unilateral constra.int may momenta.rily be
violated. Wc put:
{wo:E: w.'V.f(q):::; 0}, if.f(q) ~ 0
(5) V(q)= {
E , if f{ q) < 0 .
Omitting t for notational simplicity, (3) and (4) are rewritten as:
(6) ·v+ E V( q) ;
(7) -11-E V(q).
(12)
in the euclidian norm of E, which is chosen so that the kinetic energy is given
by
(13)
The other idea.! extreme case, which is the. object of this study, is that
of a soft or inela.stic shock: the velocity after the shock is tangential, i. e.,
(14) v+.\lf(q)=O.
in particular,
(16)
.3.1 Introduction 75
the proximal point or projection of v- into the tangent halfspace V( q). This is
a "principle of economy": among the kinematically admissible right-velocities,
the nearest one is chosen.
By elementary Convex Analysis or simply by looking at (11), we infer that,
equivalently:
(18)
the outward normal cone to V( q) at the point v+, which in this case is simply
the outward normal halfline, spanned by V./( q).
(19) 'rj = p( t, q) + r ,
which Ieads to the following differential inclusion:
(20)
The clata are the following: the interval 1=[0, T] (0 < T< +oo), the
region L as in (1 ), the bounded continuous vector field p: /x E ~ E, the initial
76 Chapter 3: Inelastic Shocks with or wit.hout Friction: Existence Results
Problem 1.1. Find an rcbv function u: I-tE such that u and the function q
defined by:
{22) q(O)=qo;
dtt-almost everywhere in I.
Notice that (27) does not depend on the "base" measure dtt, because the
right-hand side is conical (see [Mor 11] §8). Hence, if in some subinterval J the
function u is itself absolutely continuous, then we may take dtt = dt in
restriction to J so that t'll = 1 ancl ·n~1 = u= ij ; tlms (27) implies that (20) holds
almost everywhere in J (with v repla.cecl by u). And if t is an atom of the
measure du, with "value" [1L(t)-u-(t)]b' 1 , then t is also an atom of dtt, hence
t'll (t) = 0 (Lebesgue measure has no atoms) ancl u~ (t) = ß(u( t)-u-(t)), for some
:).1 lntroduction 77
ß > 0; it is easily verifiecl that (27) is then equivalent to (17)-(18), with v+= u
ancl v-= u-. These two cases do not exhaust all the possibilities contained in
the formulation: motions which are not of finite type are clearly admissible,
since the velocity may be any function of bounded variation.
(28)
wherc K is a fixed convcx sct. Undcr some othcr assumptions, (28) is the
problern of frictionless ela.stic shocks in thc region K. Existence is proved by a
regularization procedure of Yosicla type. In general it is an ill-posed problem
([Sch 1] p.606): the solution may not depend continuously on the initial
position and velocity and moreovcr it rnay not be unique. An example is given
there of a convex set K on the boundary of which a certain ray is reflected an
infinite nurnber of tirnes in the neighbourhoocl of q0 =0 (cf. [Sch 2]; [Tay] p.27-
30); for a certain initial velocity Uo , both that ray and the geodesie which is
tangent to Uo are solutions of (28). However, if the boundary of the convex set
78 Chapter 3: Inelastic Shocks with or wit.hout Friction: Existence Results
is of dass e2
and its gaussian curvature is strictly positive everywhere, then
the solution is unique and of finite type ([Sch 1] Theorem 2, generalized in
[Per]). Another type of nonuniqueness is given by Bressan in [Bress 1],
example 3, and in [Sch 3] there is an example even for L= [0, +oo[. Buttazzo
and Percivale treated this kind of problem by means of r-convergence [But-
Per 1-2). A discussion of uniqueness and regularity is found in [Bress 3,4).
Among the many papers dealing with the related question of unilateral
contact between deformable bodies, hence with infinite number of degrees of
freedom, let us ci te [Ame- Pro] on the vi brating string in the presence of an
obstacle (where nonuniqueness is again possible (Cit]) and [Do] on the
longitudinal dynamics of a bar whose end bumps against an obstacle.
(32) TE. C;
in particular, it is directed towards the interior of the region L, which means
that there is no adhesion effect.
(34) u. n > 0 =} r= 0 ,
because in this case the contact necessarily ceases in some time-interval to the
right of the considered instant, hence, by (33), r= 0 on that interval and the
same is true for the right-limit of r.
(39) q(O) = qo ;
(46)
which in turn is equivalent to the following (see [Mor 12], p. 78-79)
long been recognized that, when dealing with the dynamics of systems with
dry (Coulomb' s) friction, the uniqueness of the motion for certain initial
values cannot be ensured [Del 2] [Löt 2] [Bress 2]. This question is linked to the
uncertainty concerning the contacts that cease [Del 1] and to the occurence of
shocks namely the so-called tangential shocks (cliscontinuities of velocity after
smooth motion episocles and without new contacts appearing); here, we refer
of course to the more general case of several unilateral constraints .h (q) :S:: 0. In
[Del 2] are given some examples where the only possible motions are those
with shocks; see also [Löt 2] and [Jea-Pra], last section. Stick-slip phenomena
appear e. g. in [Jea-Mor] §§ 6, 8.
From the theoretical point of view, Curnier shows in [Cur 1] the same
concern for a coherent formulation, in a setting that goes beyond Coulomb' s
friction, but restrictecl instead to small displacements. Another line of research
arises when Clarke' s normal cone is substituted for the usual cone as in the
works [Pan 1, 2].
relations induced by the dry friction and the unilaterality of the constraint
(which are physically related features) and 2) smooth motion episodes and
shocks and even possibly duster points of shocks.
Lemma 2.1. The multifunction q-> V( q), the tangent cone to L at q ( see (1.5 )) 1
is lower semicontinuous ·in E and ha.s closed convex values with nonempty
interior.
Then 1 on the interval I 1 : = [0, T '] Problem 1.1 has at least one solution q with
1
3.2 Frictionless inda.stic shocks 83
(5) II q( t) II :::: I qo II + II Uo II t + ! Mt 2 .
Proof. We shall prove that T belongs to the set J of all the S in I for which
there exists a solution u5 , q8 of (1.21)-(1.27) clefined on [0, S]. In fact, we show
that J equals I, because it is a. nonempty dosed-open subset of I.
int( n
II q-lll :::: o·
V( q) ) 7' 0 .
By Theorem 2.3, there is a solutiou q, with velocity il. a.nd with initial values
84 Chapter 3: lnelastic Shocks with or without Friction: Existence Results
(9) qn,o = qo ;
(10) Un,o =proj (111J + hp(t11 ,o, (} 11 ,o), V(qn,o));
(15)
From (12) and (1) we know that:
(18)
Le=a 2.5. (a) The total varia.tion of un in [0, t] is bounded above according
to:
2 2
(19) .
var(n,vO, t) 1
~ 2r ( llnn,o- a II + hM) 2 + M
2r t + Mt(1 +r1 llnn,o- a II).
(b) There is a constant c > 0 such tho.t:
Proof. Lemma 0.4.4 (equation 0.4(6)) <~nd conditions (12) and (18) give
hence, by induction:
1 •)
L llun,j-un,j-111
2 ?
(23) ~ 2r(llw-all--ll·nn,i-a.1!-)
j=l Jyj! 2 1
+ 21--t11,i +Mt",;(1+rllnn,o-a.II)-
If i = 1,we simply apply Lemma 0.4.3; sinn~ ·un, 1 = proj ( w, V( qu, 1)) and
B( a, r) C V( q11 , 1) (by (18)), we haw:
1
2 ,,( II n",;- a.ll 2 -II nn,i+l- a.11 2 )
lvf2 2 1
+ 2T ( h + 2 h tn) + M h ( 1 + r II Un, 0 - a II ) .
(a) Let now tt:Iand consicler the integer ifor which tt:[t11 ;,t11 i+l[. By (23):
l
. ' ,
var(u11 ;0,t)=?:: llu",j-un,j-JII
;=1
1 ·) M-~ ·) 1
S 2,, II w - a. II - + 2r t- + Mt ( 1 + r II un, o - a II ) ;
and, since II w- a II S II V71 , 0 - a.ll + hM, we get (19).
(b) In particular, take t= T' in (19) ancl take account of (22) and h S T '.
Then it is clear that (20) is sa.tisfied, with e. g.
where v is a bv fuuction.
3.2 frictionles;; inelastic sl10cks 87
vVe define u:= v+, the right-limit of ·u. By tl1e clominated convergence
theorem, (14) and (26)-(27) yield:
Proof. Let K be an upper bouncl of the norm of the graclient of f in the ball
B(q0 , 8) and define for every p > 0:
ry(p):=max{ IIVfi.q)-\lj{q')ll q,q'd3(qo,8)' llq- q'll ~p} ·
lim 7J(p)=O.
p~O
whence (30).
On the other hand, if fi. q11 , ;) > 0, then 11 71 , i. \7 fi. q11 , ;) ~ 0, by construction. We
notice also that if sE[tn,;,t] then II q71 (s)- q11 ,,:ll =(s- tn) llu",;ll ~ hM'.
Since 77 is nondecreasing, using the incluction hypothesis ancl (15)-(17) we have:
f{q 11 (t))=f{q") + J t
t
n,z
. \7f{q11 ) . ·un,i ds+ jt
t
n.,1.
. [\l.~q11 (s))- \7f{q11 ) ] . un,i ds
~ fi.qn)+M' ; : . 77( II qn(s)- q11 ,; II )ds
n,z
~ [hM 'K + tn , ;M '17(hM ')] +M 'h17(h.M ') = hM 'K + tn, z.+ 1M'ry(hM'),
which proves (30) in [O,tn,i+Jl.
88 Chapter 3: Inelastic Shocks with or without Friction: Existence Results
Taking limits as n--->oo with nt:f in the inequality (30), we obtain (29)
because t11 i:::; T', h= T'/n--->0 and therefore 7J(hM')--->0. D
'
We have just established (1.24) q(t)c: L, which implies (see (1.6)) that
(1.25) u( t) c; V( q( t)) holds for every t in I' with the possible exception of T '; for
the right endpoint we adopt the convention:
Lemma 2.7. Let 0 :::; s :::; t < T' and a.ssume that zc: V(y) for every y in some
neighbourhood of the set q([ s, t]). Th.en:
Proof. The uniform convergence in (26) ensures that for n large enough the set
q11 ([s,
t]) is contained in the saicl neighbourhood of q([s, t]). In particular, if the
nodes of the partition tha.t belong to ]s, t] are tn,j < tn,j+l < ... < tn,k (j and k
vary with n) then zc: V( qn,;) (j:::; i:::; k). Since u11 , i is the projection of
uni-l+hp(t11 i,qni) in V(q 71 i), then, by the well-known property of
' ' ' '
projections, we may write:
k
+L h(z- u 11 i). p(t11 ; 1 q11 i)
i=j ' ' '
The left-hand side equals z.(un,k- un,j-l) = z.(un(t)- u,,(s)), while by using
2.3(20):
k ~
L
i=j
uni· (uni -un
'
i-1) 2
I
'I /..._, ( llnn, ;11--
')
II '!Ln, i-1 II-)
?
J ' -
i=j
To obtain (32) it now suffices to Iet n-->oo with nc;:f, use (27) and
prove that
t
j
k
(34) liW ~. h(z- u 11 ) . p(tn,i, q11 ) = (z- v( T)). p( T, q(T)) dT.
•=J s
We begin by remarking that, because h = t11 , i+l- t11 , i , the sum in (34) is
nothing but the integral
J 1n, k+l
t .
n, J
</J 11 (T) dT 1
where <jJ 11 (T) :=(z- u11 ) .p(t11 ,;, q11 ,;) =(z- u 71 (T)) .p(t11 ,; 1 q11 ) ifn[t11 , ; , tn,i+l[
with j :=:; i :=:; k.
Let us take a compact neighbourhoocl W of the set { (T, q( T)): Tc[ s, t]} in I x E.
Given t: > 0, by uniform continuity of p in W Iet us choose a positive nurober p
suchthat IIP(T,y)- p(T',y)ll :=:;t: for all (T,y) ancl (T',y') belanging to W
with {IT-T'I, IIY- y'll}<p.
Let no besuchthat T'/nv :=:; min {p, pj(2M'), t:} ancl II q(T)- q11 (T) II :=:; p/2
whenever n ~ no and Tc [s, t]. Defining
Observe that I </J 11(T) I :=:; ( II z II + II1111 (T) II) II p(t11 ,;, q71 ,;) II :=:; ( II z II +M')M
and similarly:
I ! 1n,k+l
t . </J 11 (T)dT-
Jt 1/• (T)dTI :S: Jt
71 1 .19 71 -1); 71 1dT
J
n,J s n, J
+ J t
1n, k+ I
I </Jn I dT +
s
1n, j
ll);n I dT
:S: (llzii+M'){~::(t-s)+2Mt:}.
90 Chapter 3: lnela~tic Shocks wit.l1 or wit.hout Friction: Existence Results
lim
f
jt1n,k+l
.
cPn( T) dr == lim
f
jt V'n(r) dr == jt (z- v(r)) .p(r,q(r)) dr,
n,J s s
by the dominated convergence theorem, and using (27) and (35). Hence we
have established (34 ), which ends the proof. 0
(36)
(37)
(38)
for every t outside some d/t-null snbset N of I'. vVe also consider the set
which is possibly nonempty (nothing has been said yet about continuity of v),
Notice that N' is a countable set, hPc<msP ·v is a bv function. Since its points
are neither atoms of dv., nor olJviously of dt, then N' is a dp-null set.
Proposition 2.8. IJ tE. I' \(NUN') a.nd u is contimwu.s at t, then (1.27) holds,
that is:
p(t, q(t)) ~,(t)- u~,(t) E NV(r/(t))(u(t)),
(39)
1f z is an interior clirection in V( q( t) ), tlwn tl1e lower semicontinuity of V(.)
3.2 Frictionless inel<~-~tic shocks 91
z. u~(t) :::0: u(t). u~(t) + liil[ [ dp ([ t, 1t+tn ]) 1f+<n (z- u(T)) .p(T, q(T)) dT],
1
Proof. If z is an interior point of V(q(fu)), then by letting sTfu and tlfu in (32)
we get:
92 Chapter 3: lnelast.ic Shock;; witl1 or wit IJout. Frict.ion: Exist.cnce Results
By density, this inequality still holds trne for z = v-, which by assumption
belongs to the cone. Hence,
Remark 2.10. Taking s = ta = 0 ancl ·u- = 11'0, this reasoning shows that
v+(o) = 14J ; that is,
(1.23) u(O) = 14J .
Proposition 2.11. For every tE. I', the right-velocity ·u+(t) is the projection of the
left-velocity v-(t) in V(q(t)); i. e.
Remark 2.12. In particular, at shock instants, which are precisely the atoms of
du and hence of dJ.l= I du I+ dt, condition (1.27) is satisfied (see §3.1, (1.17)).
So, Propositions 2.8 and 2.11 prove that the inclusion (1.27) holds for dJ.L-
almost every t in I', tlms encling the proof of the Existence Theorem 2.3.
Observe also that the estimate (4 ), ancl a. jorti01"i (5 ), can be directly verified
for the constructed solution (start from (1.3) ancl (16)).
Taking into account Lemma 2.9, we only neecl to consider the case of a
tac:int!' with v- ~ V(q(ta)). Writing q = q(la) this mcans that:
J( q) =0, '/)- . 'V.f( q) >0.
We must show that
By definition of siele Iimits and by continuity of q there exists TJ > 0 such that:
(46) l
O<ry<min { 9 1 11v+-v-ll, 3 ~};
(50) T'
no?.l),
(55)
(56)
(57)
94 Chapter 3: Inelastic Shocks with or without Friction: Existence Results
Let {j,j+1, ... , k} be the set of integers for which tn,i belongs to
]f.o-1],f.o+1J] (it is a nonempty set, because h=T'/n~ T'/no~1J, by (50)).
Then f( q11 ) = .!( q11(t 11 ) ) ~ 0 for at least one such instant. In fact, if it were
not so, then V( q11 i) would equal E and u11 i = u 11 i-l + h p( t11 i, q11 i) for all
' , ' , '
those i, whence
If t11 i is the first of the t11 i (j ~ i ~ k) for which either there is contact
' 0 '
or the unilateral constraint is violated, tha.t is .!( qn, io) ~ 0, then we show that:
Wehave u11 i =proj(u, V(q 11 i )), with -u:= -n11 i _ 1 + hp(t 11 i ,q11 i) . By
'Ü 'Ü 'Ü 'Ü 'Ü
the preceding argument ancl by (56) ancl (46), tt satisfies:
Applying Lemma 2.5(a) to the interval ]t11 ,i0 ,f.o+7J], with (60) instead
of (18), we obtain:
k
(61) var(un;tn,io' f.o+1J) = .Ä !lu.n,i-·nn,i-111
'='o
1
~ f ( II un ' i 0 - w II + h.MJ-•) +
tv/2
-f- ( f.o + 17 - tn , i 0 )
2
Hypotheses 3.1. The vector field p sa.tisfies a.ssum.ption 2.2; the angle of the
friction cone C( q) is a contin:twus fu.nction o( q) of q, 0 < o( q) < Jr /2 and
c( q) = II V1{ q) II cos o( q) is continu.ou.s a.nd > 0; and the gradient of the
constraint function f is not zero a.nd ·is Lipsch:itz-continuov.s, i. e., there is a
positive constant c such tha.t
Let the initial clata IJuf L and "lluf V(q0 ) be g1ven. We consider a
sequence of a.pproximants, defining for evcry n;::: 1 :
(2) h = h" = 2-n T ;
(5)
Proof. Concerning (11) in the nontrivial case, we remark that the orthogonal
projection w11 i of
'
u;, ' i in the tangent hyperplane T( q11
'
;) belongs also to the
set u~ i + C( q 11 ;) ; hence, by defini tion of 11.11 i:
' ' '
II un,i II ~ II w",; I ~ II ·u~,i II .
By induction, (11), (7) and (2.1) immediately imply (12). D
(16) II u" ; -
) '
11.;, l ; II ~ K clist( u;, .,
; , v" ;) . .,
Proof. In the nontrivial case, we have dist ( u;,, i ' vn, ;) = IIu~. i - wn, i II . Note
that u11 i .g11 ;= W 11 i .g11 i = 0, where g11 ;:= 'Vj{q 11 ;), and that u11 ;-u;, i
' J l l' ' ., ' '
~ (1L;, '-
i- ·u" i J · 9" i
1' ) .
= (u;, '
i - wn l
i ) · 9n ' i
~ Gllu;,,;-w",;ll,
whence (16). D
Next, we bound above the total variation var( u11 ;tn, j, t11 , k) of 1tn in a
subinterval ] t11 J., t11 k] by considering the various possible cases. We find it
' '
3.3 Inel~st.ic shocks wit.J, frict.ion 97
convenient to say tha.t if ·u. 11 ,; = ·u.',,,; thc corrcsponding step ( at the instaut
is of free type; otherwise, it is a stql of contact type.
t
n,'. )
Case #1. In the interval J = ]t11 1-, t k] there are only steps of free type.
' n,
Then llun,i-un,i-111 = llhp(t11 ,;,rzn)11:::; hManclaclclingupfromj+1 tok:
(17)
In fact, m the nontrivia.l case, ·u.n,j .!J11 ,k > 0 and, of course, un,j. 9n,j=O,
since u11 , j is a velocity after a. "contact". Elementary ca.lcula.tion shows that:
d'
ISt
( ·V
un,J'
)-(1ln,j·!l",A;)<l[-
n,k - II 9n,k II - l ull,J .(gn,k
· - ·))<t_ll
!ln,J - I 9n,k
- ·II '
9n,J
by (12) and (15). On the other hancl (1), (10) ancl (12) imply that:
with R := M(1 +K) + KcL 2 jl (no rela.tion to the rca.ction measure dR).
(21)
98 Chapter 3: lnelastic Shocks with or without Friction: Existence Results
Otherwise, let k1 < ... < km be the subscripts of the steps of contact type that
fall inside the considered interval.
v(j, k1) ~ M(l+K)(tn k -t11 J·J+Kdist(1tn J.' Vn k) S R(tn k -tn J·) +Kd,
' 1 ' ' ' 1 ' 1 '
where
v(km, k) S M (t 11 1
k- t" 1
k )
ru
S R (t11 ' k- tn , k nt ) ·
Even in the worst possible case, summing the preceding inequalities we obtain
Proof. Wehave dist(ull,OJ vn,il s 111/v II, since 11-n,o = 1lv and Oe: vn,i for all i.
Using(21):
(24)
3.3 Inelastic shorks wit.h friction 99
Proof. It suffices to recall that (19) still holds with i= j+ 1, ... , k substituted for
k; hence, in (21) we have Kd S: K(cL 2/0(tn,k-tn,j) S: R(tn,k-tn). D
So, ( u11 ) is uniformly bounded in norm (by (9) and (12): II Urr( t) II S: L)
and in variation (Corollary 3.5). The sequence of Lipschitz-continuous
functions ( q11 ) is uniformly bounded ( q11 ( t) E: B( q0 1 TL)) and equicontinuous
(llq11 (t)-q11 (s)ll S:Lit-sl). Hence, as in §3.2, let us consider jcN, a
Lipschitz-continuous function q: I-> E and a function of bounded variation
v: I-> E such that ( q11 ) converges uniformly to q and (Un) converges
pointwisely to v, when nE f, n-> +co (see (2.26), (2.27)) .
Corollary 3.8. For all t EI, we h.ave .1{ q( t)) :; 0 ; th.at ·is:
then t is one of the nodes tm, j for ev<'ry sufficiently large m in f (in view of
our choice of the partitions ). The prececling Lemma implies that:
Passing to the limit as m-. +oo, we obtain j{ q( t)) :; 0 for all tc r. Since r is
a dense subset of I and j{ q(.)) is a continuons function, the result follows. D
Lemma 3.9. For every fixed XE E, the real function q - t dist(x, V(q)) is upper
semicontinuous.
Proof. Let dv = dist ( x, V( q0 )) and E > 0. The open ba.ll centered at x with
radius lfv + € intersects the convex cone V( q0 ). Since q-t V( q) is a lower
semicontinuous multifunctiou (Lemma 2.1 ), we have, for every q in some
neighbourhood of q0 , B( x, dv + E) n V( q) f= 0 , whence dist ( x, V( q)) < lfv+c. D
(a) If € > 0, then there exist b > 0 und '~~DEN such tha.t
(28)
( b) The functions u and v are both continuous at t: u( t) = u-( t) = v( t) .
3.3 Inelast.ic shocks wit.h friction 101
Proof. ( a) Let us clenote 1t- = u.-(t) ancl V= V( q( t)). By the prececling Lemma,
we consicler a positive mtmber r such that, whenever II q- q(t) II :::; r,
Next, we take b'c:]O,t:/2[ such that sc:I(b 1 ):=[t-D 1 , t+D 1 ] implies that
II q( s)- q( t) II :::; r/2. Moreover, by uniform convergence qn--+ q , we choose no
insuchawaythat llqn(s)-q(s)ll:::; r/2 anclso
Picking, if necessary, a smaller b' and a !arger no, we may assume that t- b 1
and t + b ( 0 < b :::; b are nocles of the consiclerecl approximants and that they
1
)
satisfy:
(b) In particular, (28) implies that II ·u 11 (t + b)- lln( t- b) II :::; (K+ R) c, for every
!arge enough n c: '.f. Thus,
by pointwise convergence ·n11 -> ·u. Letting b-> 0 ancl remembering that c is
arbitrary, we find that v+(t) = v-(t), that is, u(t) = u-(t). But (28) also
implies that II v(t+b)-v(t) I :::; (K+R) c and we cleduce similarly that
v+(t)=v(t). 0
Remark 3.11. Taking t = 0 ancl ·u- = vü, the prececling argument JS easily
adaptecl anclleads to the result v+(o) = ·u(O) (= limu 11 (0)=~). So:
Last but not the least, we have to cleal with the implications (1.43),
(1.44) and (1.45)- (1.47). Again, we choose the "base" measure:
(30) dp : = 1 d·n 1 + dt .
102 Chapter 3: Inelastic Shocks wit.h or without Fricli<m: Exist.cnce Results
(32)
1 ( ) _ 1. du.(/(t)) .
11.,, t - llll
f~u+
- (1'( )) '
(P. 11 f
.J - . dp(!(t))
(33) p(t, q(t)) &1,(t)- lun d (li( )) ,
f ....... o+ -fl E
Proof. The continuity of u at t follows from Lemma 3.10. Let E > 0 and 1lo c N
be such that:
where B"( s): = max { t", i : 0 :S ·i :S 211 , t11 , i :S s} . The integrands converge
uniformly to p(s,q(s)), because B11 (s)-> s ancl qn-> q uniformly. The limits of
integration converge to t- t and t+c Thus,
v( t + E) - ·v( t - E) = J t+(
p( s, q( s)) ds ,
1-f
that is, du(I(t)) = dp(I(t)) for sufficiently small t.
3.3 lnelastic shocks with friction 103
Dividing by dJ1(I(c)) and taking limits according to (32) and (33), we obtain:
u~( t) = p( t, q( t)) ~/ t) ,
1.e., r'll( t) = u~( t)- p( t, q( t)) t'Jl( t) = 0 . D
B) The shocks
Let tc: ]0, 1[ be an instant of shock. By Lemma 3.10,
Let S > 0. Observe that P( u ', q ') is a continuous function of both u' and
q' provided that u 'jO V( q ') - it has a continuous expression involving V!( q ')
and c( q '), which are continuous by hypothesis; to be precise, for those u ':
A(1L', q') = 1- [ (~~) 2 -clist(-u', C') 2 ] 1/ 2 [ ll11 '11 2 -dist(-u', T') 2 ] 112 .
c
Then we choose
Thanks to the uniform convergence q11 -> q ancl to the definition of siele
limits, we now take ry > 0 ancl n0 E N so as to ha.ve:
We select t', t"c: r (see (27)) such tha.t t < t < t" and
1
Then, for every n Iarge enough, there exist j = j( n) and k = k( n) such that
t'= tn 1. and t"= tn k .
' '
Assurne momentarily that, for an infinite number of integers nc: j, the
approximant Un has only steps of free type in the interval Jt ', t 'l Then (17)
implies that var(Un;t',t')-5: M(t"-t)-5: € andin the limit the same
happens to the variation of v. In particular, II u- u- II '5: €, contradicting (36).
Hence, starting with some n in j, there are always steps of contact type
m Jt', t"J. Let tn,c be the first one. By (17):
(42) var( un; ]t ', tn, c[) = var( Un; tn, j, tn, c-l) '5: M( tn, c- 1 - tn, j) < M(tn, c- t' ).
In particular,
Moreover, (38) and (41) imply that II q71 (t11 ,c)-qll < €; and u11 -(t11 ,c)~ Vn,c
because ln,c is of contact type. Thus, ·u11 ,c = P(u~,c, q11 ,c) satisfies:
(44)
C) A trivial case
Hence this case can only occur if t = 0, with initial position q0 on the
boundary S and with a nontangential initial velocity Uo. Since t= 0 has zero
measure for dfl, (44) is obviously satisfiecl.
By Jeffery's theorem (see Theorem 0.1.1), there is a dft-null set N'c I such
that, for every t~ N', (36), (37) ancl (38) hold ancl moreover (as the measures
dR, du:= [p( s, q( s)) . u( s)] ds and g. dR also have densi ties wi th respect to df1):
~ dR( J( E))
(47)
1 1
rp(t)=u11 (t)-p(t, q(t)) ~Jl(t) = l;lJ
.
dft(l(E)),
du(](€)) du [ ] ,}
(48) l{pJ dp(J(E)) = dft (t) = p(t, q(t)). u(t) ~,lt)'
Weshall prove that if t does not bclong to N' thcn it satisfies (45); that
is, writing r 1 = r'Jl( t):
(50)
then
(52)
Proof. Let 111 = 0. Since the angle of the friction cone C with the inner normal
(1.30) is less than 1r /2, we see that the projection of the polar cone
Let instead wc:C, w -1-0. Then w.g< 0 ancl, choosing y:= z-::Z:9g,
it is clear that z=projyy (since y-z is orthogonaltoT and zc: T). If x is any
interior point of C, then:
y.(x-w)=z.x-::Z:g(g.x)S: z.x-z.x=O,
using (51). By density, this is true for every xc:C. Hence yc:Nc(w) and (52)
follows. 0
Taken together with Lemma 3.13, the next Proposition establishes (50)
and ends the proof of the existence of a solution.
(53) r'c:C;
(54)
Proof. a) We prove (53). If 11 =0, it is trivial. If r' -1- 0 then, for every
sufficiently small E, dR(J(t)) -1-0 and dft(l(t)) > 0 (otherwise, (47) and the
convention 0/0 = 0 woulcl give r' = 0). Notice also that t has zero measure for
dp, ancl for dR. We must prove that (see (1.31)):
particular, all the 9n, i : = \7.!( q11 ( t")) corresponding to nodes falling inside
]t, t+t J , say those with i = j, ... , k , ·will satisfy
(57) (n ~ nv, nd') .
(58) II c( q")- c( q) II s: b.
By construction, either r 11 i: = ·u 11 i - u~ i
I ") .,
IS zero or it IS equal to
P(u111 i,q11 j)-u~ic:[u~i+C(q11 i)J-u;1 i; hence, rn,'l.-belongs to C(q11 i)· By
! I I J ., 1 I
3.3 Inclastic shocks with frict.ion 107
j t ,k
k k 1n
L: Tn i = L: (u" i- 11·n i -1 - hp" i) = ·u." , k-"1/." , y-1 + Pn(s)ds
i=j ' i=j ' ' 1
n, j-1
= n 11 (t+c)- u. 11 (t-E) !0
+ ,
11 (t+<)
0 11 ( t)
p 71 (s) ds.
Let us take Iimits with respect to n. Since tn,j- 1 ---> t, tn,k---> t+c,
since B11 (s) converges uniformly tos ancl p"(s) converges uniformly to p(s, q(s)),
then we obtain in the Iimit:
t
p(s, q(s)) ds;
here, we have used continuity of u a.t t (see Lemma. 3.10 (b)) a.nd also assumed
that u is continuous a.t t+t. Therefore:
k
(62) !im L: r 11 ;=(d1L- p(s, q(s)) ds) ([t, t+c])= dR(l(<)),
1 i=j ,
hence
(63)
r'.(-g) ~ [c(q)-28JIIr'll·
As 8--+ 0, this produces (55); that is, r' E C.
(b) In view of proving (54), we consider xcint C(q(t)): x.( -g) > c(q) II xll· If
s is near tot, then we also have x.(-'Vj{q(s))) > c(q(s)) llxll and, by
uniform convergence, this still holds for q11 ( s) , starting at some n. In other
words, for some 11tJ and c0 :
(65)
lf r 11 ,;=0, then this is trivial. If not, then we are dealing with a step of contact
type. Thus u~ i. g11 i > 0 and u 11 i = proj(O, ( u~ i + C11 ;) n T 11 ;) where
' ' ' ' ' '
T 11 ;=T(q11 ;)· Moreover, u 11 ;-911 ;=0 and 9ni·x<0, by (64). So,
) ' '' ' 1
>.:= (r11 ;·9n ;)/(911 ;.x)= -(u;1 ;·9n ;)/(g71 ;-x) is positive and it is readily
' ' ' '' ' '
seen that z: = u~ i +).X belongs to ( u~ i +
' .,
cn ;)
n Tn i (indeed, z. 9n i = 0). l ' '
Since un,i is, by definition, the proximal point of 0 in this set, we have
u11 , i. (z- u11 , ;) 2 0, whence:
(66)
Given the definition of >., if we multiply (66) by the negative number g11 ,I·. x,
then we obtain (65).
(68)
and thanks to Lemma 3.10 (b) a.ucl to pointwise convergence ·u11 --+ v :
(71)
In fact, in the nontrivial case r 11 , i # 0, observing that -g 11 , i is an interior
point of C( q11 ) , we have by (66):
un i · rn
l I
i ~ -), ( un i · 9n i) = 0 ·
-, l
Thanks to (70) and (71), the right-hand siele of (65) JS bounded above as
follows:
(72)
For i=j, ... ,k, from (67) we obtain that llun,i·x-un(t).xll ~ 5/2, while
llu11 (t).x-u.xll ~ 5/2 (by (69)); so, u 11 ,;.x~ u.x+5. Since 9n,i·rn,i~O
(rn,ic: cn,il' we have:
(73)
To obtain an upper bound of the right-hancl side of (74) we must give a lower
bound of the sum therein, because g. x- o< 0 (xc: C). With the use of 2.3(20),
k k k
(75) .L. u", i · r", i = .L. un, i · (u"' i - ·u"• i-1) - .L. (un, i · Pn, i) h
l=J !=) •=J
1
2=: (2111tn(t+c) II 2 -211u"(t)
1 .
I 2)- J t
t
n, k+ 1 ,
. Pn(s). un(s) ds,
n, J
where p11 (s):=p(B 11 (s), q11 (B 77 (s)))=p 71 , ; (if sc:[t11 , ;,t11 , i+d); 077 is clefinecl in the
proof of Proposition 3.12.
The first two terms lll the right-hancl siele of inequality (75) converge to
d(i II u 11 2 ) (l(t)), if t+t is assuuwcl to he a continuity point of 1L. Regarding the
integral, since llß 71 (s).1tn(s)ll ~ ML, t11 ,j->t, t11 ,k->t+t, un(s)->v(s) and
p11 (s)-> p(s, q(s)), by applying thc clomiua.tecl convergence theorem we obtain
in the limit:
110 Chapter 3: Inelastic Shocks with or without Friction: Existence Results
t+f Jt+(
J p( s, q( s)) . v( s) ds = p( s, q( s)) . u( s) d~ = dv( J( €)) .
t I
Therefore:
k k
(79) L 9n;·(uni-uni-l)= .L . .Iln(t",;).d·nn(Jtn,i-l•tn,i])
i=j , ) l 1=)
= j]t . 1 ] !]71 (s). du 71 (s)= j]t t+c] g11 (s). du11 (s).
n,;-1' n,k '
when n-> +oo, n remaining in :f. But, by Theorem 0.2.2(ii) [0.2(10)] ancl
recalling that g is a continuous function ancl that both u and v are continuous
at t and at t+c, we see that:
hence it can be shown to converge to f /+( g(s). p(s, q(s)) ds (use (78) and so
on). Combining with (77) and (81), it tmns out that:
(82) lim
j
Lk 9n ;·rn ;=
i=j ' '
J [t, l+i]
g(s).[du(s)-p(s,q(s))ds]=(g.dR)(J(E)).
3.3 Inelastic shocks with friction 111
Divide (83) by dJ1.(l(t)) and let t go to zero, always with u continuous at t+c.
Thanks to (2.38) and (4 7)-( 49), this yielcls
( u. x + 8) (g( t) . r'l-'( t)) :::; (g. x- 8) {! [u( t)+u-( t)] . u'l-'( t)- [p( t, q( t)) . u( t)] fl-'( t)}
= (g. x- 8) { 1t( t) . [u~(t)- p( t, q( t)) fl-'( t)] } ,
that is, with the notation introcluced above:
Rcmark 3.15. The assumption 3.1 can be localizecl: if we only assume that the
gradient of J is locally Lipschitz-continuous (e.g. that f is c2) then the sarne
method provieles a local solution to Problem 1.2.
Rcmark 3.16. When it is rea.sonable to neglect the forces acting upon the
considered system, i. e., to take p = 0, tlten we only neecl to assume that f be
of class C1. The main difference is in the search for an upper bound of the total
variations of the velocity a.pproximants: we may proceed in another manner,
closer to the one adoptecl in §3.2.
Chapter4
(1)
where r is a real number and the fa form a. finite fa.mily of e1 functions, with
a = 1, ... , 11. These constraints can also be viewed as a kind of level functions
(fonctions-seuil, in french) mea.suring relevant features of the system.
which 1s the tangent half-space to La( r), if the gradient IS not zero. A
sufficient condition is that a similar inequality be satisfied for all t in a right-
neighbourhood of fo.
If the left-velocity u-( fo) = q( fo) already belongs to Va( q0 ), then it equals
the right-velocity and there is no collision strictu sensu. One possibility
consists in the velocity being tangential, i.e., it belongs to the tangent
hyperplane
(4)
we may say that a smooth contact occurs. Note that this does not imply a
persistent contact with the Ievel surface
this is clearly shown by the case of a point moving on a straight line, tangent
to this surface but locally conta.inecl in the a.clmissible region (2). But the
velocity may also point inwarcls: 1L-(fo). 'Vfa(q0 ) < 0, in which case the system
is not disturbecl ancl continues its motion awa.y from the level surface and into
the region La(r). We call this an ineffectual (or useless) activation.
(6)
the projection or proximal point of the left-velocity in the set of kinematically
a.dmissible right-velocities. In this pa.rticular case, it is nothing but the
orthogonal projection of u-(lo) in the tangent hyperplane Ta(q(fo)). Notice
that (6) is true even in the absence of collision, because the proximal point is
then u-(fo) itself. From this formula (G), we get ll·u I < II u-11 . Hence, the
kinetic energy after the collision ~c + = ~ 1111.11 2 IS less tha.n before
~c- = ~ II u-11 2 : some of it was clissipated "du;.ing" the collision.
Dissipative collisions ma.y even stop the system. Consider E= IR 2 , p =0
and a material point moving to the right on the x1 -axis and which arrives at
the origin at time t= 0. Let A(O) = {1} a.ncl h (x1 , x'2) = x1 . Then u-(0) = (-\, 0)
with -\>0, V1(0,0)=]-=,0]x1R ancl so 1L(0)=proj((,\,O), V1(0,0))=(0,0)
114 Chapter 4: Externally lnduccd Dissipative Collisions
and the point will remain at rest. This shows that an instantaueaus activation
may have a Iasting effect: here, to take A( t) =0 or A( t) ={1} for t > 0 gives
rise to the same solution. To replace j 1 by -h would Iead instead to an
ineffectual activation: u(O) = (>., 0) = u-(0). In terms of a mechanical model,
these two situations can be easily distinguished if activation is interpreted as
the presentation of an obstacle
(7)
where 8 is a positive number we neecl not prescribe. In the first case, the
material point bumps into the "soft wall" 0 1(0) = [0, 8] x IR and is stopped; in
the latter, it performs a "narrow escape" from a guillotine [-8, 0] x IR falling
just behind it. In this manner, if we use a set of different functions fa activated
one at a time, we may play a sort of "dissipative pinba.ll game".
where dt denotes the Lebesgue measure a.nd du. the Stieltjes measure of u. We
require that the following differential inclusion
for dfl--a.lmost every t in I. Since the right-hand siele is a cone, this only needs
to be verified for a single measure dp in the said conditions.
and the outward normal cone recluces to the zero vector. So (14) gives -dr= 0 1
that is p( t1 q( t)) dt =du. Taking d11 = dt on this interval J, we get
b) More generally, if the second derivative 'lj(t) exists a.e. and is integrable
on some subinterval J, wc may take dit=dt a.ncl (14)-(15) mean that
H1 - For all a c.{ 11 ... , v} and a.ll qt. E, th.e gmdient 'V fn:( q) is not zero.
H2- For every tc: I:= [0 1 T] and every qt. E, the cone W(A, l 1 q) has
nonempty interior.
Also, we could require these hypotheses to be satisfied only for all q in some
neighbourhood of the given initial position q0 ; the following main existence
theorem would then be replaced by a. local existence result.
(20) u(O)=q+(O)=~
(6) Pu( t) = q0 +j t u( s) ds .
0
We have:
(12) uq(t):=vq(t)+ j 1
p(s,q(s))ds (td),
0
satisfies the following three conclitions:
[p(t,q(t))~,(t)-1t~1 ,Jl(t)].nq(t)=O,
(18)
Fix R' > R. It follows from (12), (14) ancl (16) that vq(t) belongs to the
set
Lemma 2.2. Let C C E be a. closed cm1·uex set a.nd XE. C. If II x II < R ', then
(20)
Proof. If VE. Ne( x), that is, if v. ( y- x) ::; 0 for all yE. C, then the same is true
for every y in the set c ': = cn B(O, R ') 'hence VE. Ne .(x).
Conversely, assume that v.(z-x) ~ 0 for every zcC' and consider an
arbitrary y in C. If fh]0,1[ is sufficiently small, then z8 :=x+B(y-x) still
belongs to the convex set C. Moreover II z 0 II < R ', because z8 ---> x when
8---> 0. Thus z8 c C' ancl by hypothesis ·u. (z0 - x) = B v. (y- x) ~ 0 . Since
B>O,wehave v.(y-x) ~ 0 anclso vENC,(x). 0
We prove that the opcrator 0': q---t vq is strongly continuous from K into
Loo.
4.2 Existence of a solution 121
0
~ h11 ( t) + k T II q"- q II oo
so, the Hausdorff distances h ( Cq 11( t), Cq( t)) converge uniformly to zero.
Furthermore, since the intersection of I. s. c. multifunctions is still I. s. c. ( see
[Ber], Ch. VI, § 2) both Cq 11 ancl Cq are lower semicontinuous multifunctions
taking closecl convex values with nonempty interior. Then, by Corollary 2.4.14,
the solutions to the respective sweeping processes with initial value ~ satisfy
(22) 'J(q)(t):= j 1
p(s,q(s))ds (qcK,tci),
0
is also strongly continuov.s. In fact, by H5:
II <J(q)(t)-'I(iJ)(t) II ~ k j 1
llq(sJ-iJ(slll ds ~ kTIIq-t1lloo
0
thus
is strongly continuous.
+j
t
q( t) = q0 u( s) ds,
0
where u:=uq is an rcbv function oft. By (13)-(15), u(O)=Uo, u(t)E W(t, q(t))
and
To end the proof of Theorem 1.1, we must still establish the uniform
convergence of the Hausdorff distances in {21 ). This requires some geometrica.l
lemma.s.
(26) W(t,q)nB'= {vEE I llvll :S: R'; 'iaEA(t): ·u.\lf0 (q) :S: 0},
Proof. Let vEH(a)\H(b), i.e., v.a. :S: 0, v.b > 0. The vector w:= v-(v.b)b
satisfies w.b=O and llwll 2 = llvf-(v.b) 2 :S: llvll 2 :S: R' 2 , because
II b II = 1 . Hence, w belongs to H( b) and so
We deduce that e(H( a), H( b)) :::; R' Jl b- a Jl. Exchanging b and a, the result
follows. D
The next lemma anses by a detailed inspection of the study of the
intersection of multifunctions clone by Moreau in (Mor 7], § 7.
Lemma 2.4. Let Ai, Bi (1 :::; i:::; n) be convex sets with nonempty interior, all of
them contained in the ball B'=B(O,R'). Let A:=A 1 n ... nAn and
B: = B1 n ... n Bn .
( a) /f A contains a ball with radius r and if for eveT1J i
(29)
then we have
(30)
(b) /f A contains a ball w-ith radius r and B conta.ins a ball with radius r' and
if for every i
(31)
then the following estimate holds:
For n = 2,
our argument is similör to [l\1or 7], Proposition in § 7. Let a
be the center of a ball of radius T contained in the set A = A1 n A2 . In
particular, ac; A1 and dist( a., E\ A 2 ) ;::: r. By (29), there is b1 c; B 1 such that
(33)
Since B 2 has nonempty interior, we may use (6) in [Mor 7] (see Proposition
0.4.5) and (29) to obtain
(35)
(36)
124 Chapter 4: Externally Induced Dissipative Collisions
(37) dist (x, Bl n B2) ~ (1 +~ II x- blll )[clist (x, Bl)+ clist (x, B2)].
When XE Al n A2 c B', by (33) we have
(38)
Notice also that if a, bE E\ {0} ancl 0 < m :=; min { II a II, II b II } then
As in (27), we define
(43)
~ 2r~·n+ 2 rlv-I t
er=!
IIVJ.}(q(t))-Vfa(q"(t)lll·
Hencc we may choose N ::0: N0 such that for n ::0: N
4.3. Complements
The problern of induced collisions presented here is closely related to the study
of inelastic shocks, in a more general setting than in Chapter 3. Many authors
have considered this question (see references in that Chapter or in [Mor 11]) .
where the functions fer: E->IR are of dass e1 ancl have nonzero gradients. Fora
motion q: I--> E to take place in L, it is necessary and sufficient that, for
all t, the right-velocity u = u( t) belongs to the polyheclral convex cone
Problem 3.1. Given q0 cL and 1/.of V(q0 ), find a.n rcbv function u: J-.E with
u(O)=Uo such tha.t, defining q(t)=q0 + J 1 u(s)ds, we ha.ve for every t
0
u( t) c V( q( t)) ( =? q( t) t: L) and the ·incl-usion
W( Aq 1 t q( t)) = {
1 1L I Ver E Aq( t) : 11.. \1 fo( q( t)) :S 0 } = V( q( t)) .
In other words, a priori knowlcdgc of thc contacts of a prospective solution
turns the problern of inelastic shocks into a problern of cxtcrnally induced
collisions. Classical exarnples seem to forbid such knowledge, which in any case
is rendered difficult by the aclmissibility of phenomena such as accumulation
points of shock instants. Nonetheless, this suggests the following
int W(Äq, t, q) fc 0 ,
for all tE 1 =[0, .5] a.nd a.ll q sufficiently close to the given initia.l value q0 . Also,
1
(10) q( t) E L (td');
thus Äq( t) = Aq( t) = J( q( t)) ancl i t follows that q is a solution to Problem 3.1 . In
order to prove (10), assume by contradiction that a: = fa( q( to)) > 0 for some lo
and some o:. The set of all tc[O, ta] for which f 0 (q(t)) ~ a is closed. We show
that its minimum t1 is 0, thereby contradicting the hypothesis Ja( q0 ) s; 0. In
> 0 then there woulcl exist a sufficiently small positive number f
fact, if t 1
such that fa( q( t)) > 0 for all tE [t 1 - f, tj] . So o: f Äq( t) ancl u( t) E W(Äq, t, q( t))
would imply that u( t) . V fa( q( t)) ::; 0 and in particular:
Example 3.2. Let E=IR 2 ,,;=1; J 1(x 1 ,2:2 )=-:1::2, p(t,q)=:O; q0 =(0,1) and
Uo = (0, -1 ). Consider the following sequence of functions
(11) (0 ::; t s; 2) ,
which converges unifonnly ( ancl even in strougPr topologies) to
Since Äq n (t) =0 we have W(Äq, t, q) = E for all t and qE E. Hence, (9) implies
Jl
-duntNtfun(t))={O}, ancl therefore ·ii.11 (t)=ü 11 (0)=(0, -1). In this case, the
solution sets S( q11 ) are singletons and the solutions are given by
These converge in any topology to the function t-+ (0, 1- t), which is not a
solution to the problem relative to thc Iimit function q. In fact,
ft(q(1))=J1 (1,0)=0 implies Ä,/1)={1}, so W(Äq,l,q)={ulu.VJ1(q)::; 0}
= {u= ( u1 , u.2) I u2 2 0} for all qE E, thus making it clear that
u (1) !f.
11 W(Äq, 1, q). Anyway, it is easily founcl tha.t
4.3 Complernents 129
if 0 :::; t :::; 1
(14) ii( t) = S( q) ( t) = { ((~,·0\,- t), if 1 :::; t :::; 2 .
If q,(0)=(-1, 1-c) with 0 < c < 1, then the solution q,(t) runs on a
parallel to that diagonal line, arriving at the axis Ox at the point (1- c, 0),
then follows along this axis up to the origin ancl afterwards it gocs along all the
diagonal line of the first quaclrant.
-duc:NW(t,q(t)/u(t)), -düt:NW(t,q(t))(ü(t)).
Since uniqueness is a local property, without loss of generality we ma.y take
positive numbers k, m, M and r a.nd take ac: E such that, for every t a.nd a:
C(t): = W(t, q(t)) n B(O, M), C(t): = W(t, q(t)) n B(O, M).
These estimates imply that 1L ancl ·ü are also the solutions to the sweeping
processes by C( t) a.ncl C( t). Hence we ma.y a.pply Theorem 2.4.12, inequality
2.4(31 ). Thus:
(15)
where,u(t):=max{h(C(s),C(s)) I O~s~t}.Denoting
~ k* II q( t)- c7( t) II ,
with k*= 2rlf(~+4~)v-lvk.
Finally, let us point out that a more direct approach to existence for
the induced collisions problern could possibly have been adopted. A
discretization procedure similar to those alreacly presentecl woulcl certainly
require in this case the clefinition a net of approximate solutions, from which a
converging subnet would be extracted. The practical value of such a methocl to
the numerical analyst is doubtful.
Chapter5
To see that (1) implies (2), write (Iimits are taken as h--> o-):
J:-y
= II x-v II . (u-vJ ::; 0 .
bounded, i.e., r:= supq<:HIF(q)j =sup{ llxll : xc:F(q), qc:H} < +oo and
that F is Lipschitz-continuous, with ratio >. ( cf. (9)). We assume that either F
is anti-monotone or His finite-dimensional. Let q0 c: H, UoC: F( q0 ) and T > 0.
Then, there exists a Lipschitz-continuo·us function u: [0, T[ ~ H suchthat
(3) u(O) = Uo ;
(4) u(t)c:F(q(t)), \ftc:[O, T[,
where
(5) q(t)=q0 + j t
u(s)ds,
0
and for almost every t:
d2q dq
(7) - dt2 (t) c: NF(q(t)) ( dt(t)) , a.e. ;
(11)
0
134 Chapter 5: Further Applications and Related Topics
where
(13)
(14)
So, all the functions qn are Lipschitz-continuous with ratio r and they are also
equibounded: II qn II 00 ~ Q: = II qo II + r T ·
The derivatives un are not Lipschitz-continuous, but the piecewise
affine approximants
(17)
From (16) and the definitions it 1s also clear that
II V11(t)- Un(t) II ~ Ar TT 11 , hence
since Un is the right-clerivative of q". If tc; I)/ in Im]. , then 11-m( t) =um]. belongs
' ' J
( qm( tm)- q11 ( 111 ,;)). (um( t)- ·un( t)) ::::; 0
ancl thus
a;tw ( t) :=::; ( qm( t)- qm( tm)) . (1t 111( t)- 11-71 ( t)) + (q11 ( 111 , ; ) - q11 (t)) . (Um( t)- Un( t)).
Since (14) holcls ancl since all the q11 have Lipschitz ratio r, we have
J t+{
[proj(z,F(q(s)))-u(s)].u(s)ds ~ 0.
t
Dividing by E and letting E go to zero, we obtain, for almost every t,
Le.: (z-u.(t)).u(t) ~ 0 , a. e ..
Since u(t)c: F(q(t)) and z is arbitrary in F(q(t)), we ma.y conclude that (6)
holds:
-il.(t)c:N F(q(t))(u(t)). D
Proof of Theorem 1.2. Consicler the approximating sequences ( qn), ( iJn) = (Un)
and ( vn) defined above.
Since ( vn) and ( un) are unifonnly bounded in norm and in variation and
since (18) holds, we may suppose (if necessary by taking a subsequence) that
both converge pointwisely weakly to some function u. As every Vn has
Lipschitz ratio .\ r ((17)), we get, using the weak lower semicontinuity of the
norm:
llu(t)-u(s)ll:::; liminfllv11 (t)-vn(s)ll·:::; .\rlt-sl;
2. For every hc: H, q71 • h--) q. h unifonnly, so 11. 71 . h= q11 • h --) q. h at least in
the sense of distributions; on the other band, ·n11 • h--) u. h pointwisely, so u= q
almost everywhere and (5) holcls.
u(t) E F(q(t)) .
4. In order to prove (6), we use Proposition 1.5. Let us consider an F-selection
<P and show that (20) holds. Define a 11 (t) := tu,i+ 1 if tc:[tn,i, tn,i+d . As
(21) JT 0
Vn( t). </J 11 (t) dt ~ JT0
V11 ( t). u11 ( i) di.
and so:
JT v (t).<jJ"(t)dt--)
11 !Til.(t).<f(t,q(t))dt.
0 0
Concerning the right-hand siele of (21 ), we note that 11.11 - v11 --) 0 uniformly,
v11 (t)--) u(t) weakly and v11 (0) = 1Jv=1t(O) imply that:
138 Chapter 5: Further Applications and Related Topics
liminf 10
T
Vn. Un dt = liminf 1 0
T
V11 • Vn dt = liminf ~ ( II vn( T) II 2 - II vn(O) II 2)
1r0
u(t). <P(t, q(t)) dt ~ 1
0
T u( t) . u( t) dt ,
Proof. We define the approxima.nts ( q11 ), ('u.n) and ( vn) as before. Then
II Un(t) II :S: r and the q11 a.re Lipschitz-continuous with constant r and
uniformly bounded by II q0 II + r T. The total variation of un (or vn) 1s
estimated by means of Lemma 0.4.4: since all the sets F( q) contain B( a, p),
(un,i+l-cPn(t",i+l)).(u",i+l-un) :S 0,
since cPn(tn,i+ 1) belongs to F(q 71 (t11 ,i+l)) and ·un,i+l is the projection of u 11 ,;
in this set. Hence:
140 Chapter 5: Further Applications and Related Topics
z.(Un(t)-un(s)) = z. L: (un,i+l-un)
+ ~ L ( II un,i+l 11 2 - II un,i 11 2 )
~- C II z-</>n II oo+~ II Un(t) 11 2 -~ II un(s) 11 2 ·
In order to complete the proof, Iet us first note that, if ( u11 ) converges
uniformly to u, then so does the sequence of continuous functions ( vn), hence
u is continuous. In fact, we have:
This proves (25). The same argument ensures that, if m and n (m > n)
are !arge enough, then
(26)
um( t) =um J
i = proj ( um(tm .,
i-l), F( qm(t111 '
;))) and
Un( t) = un, j = proj ( u11 , j-1 F( q11 ( t 11 , jl)) = proj ( u11 ( t111 , i-1) F( q11 (t 11 ) ) )
1 1 ,
smce tm i = tn 1- and u11 (tm i-l) = u11 1-_ 1 or t111 i > tn 1- and
either 1. J 'I I J J
Un(tm,i- 1)=un,j. Taking (26) into account, the inequality of Moreau about
5.2 Lipschitz approximat.ions of swecping processes 141
For completeness, Iet us prove existence for the Lipschitz case. The
result is due to Moreau [Mor 2, 9] and the proof is that of [Cas-Val] Theorem
VII-19 or [Val 2] Theoreme 2.
Then there is a unique Lipsch-itz-cont-in-no11.s Jnnct·ion <L: [0, T] --> H such that:
(1) u(O)=a;
(2) \lt,u(t)c;C(t);
(3) - 1
~~~ (t)c;NC(t)(u(t)), a.. e. t.
Moreover, we have:
and if, for some zc Hand r > 0, C(t) ::) B(z, r) \lt, then
142 Chapter 5: Further Applicat.ions and Rclated Topics
(5) var(u; 0, T)= j I~~~ I dt :S: l(r, II a-zll) :S: L.ll a-zll 2 .
and we have
::; 2 11 k2-1l = k.
This allows the extra.ction of a. suhsequence ( <t~) from ( :1,1 ) such that the
sequence of derivatives (u~,) converges u(L1J,L}1) to ·u'cL00 (0,l; H) with
II u'( t) II :S: k a.e .. The corresponclent subsequence of ( x71 ) is denoted by ( up)
!
Let
I
u(t)=a.+ ·u.'(s)ds.
0
If t belongs to D = U D" , theu ·n1At) E C( t) for every p !arge enough
n
and, since up(t)---> u(t) weakly, we have u(t)c C(t). Since u and C are
continuous and since D is dense in [0, 1] , we reaclily obta.in property (2).
z-+q(z):= 1 1
z(t).adt+!ll 1 1
z(t)dt11 2
I 11
0
u'p( t) . up( t) dt- 11
0
·u~( t) . up( a n(t)) dt I :::; k-? 11 I
0
an( t)- t I dt .
But (2) and the definition of the support function imply that
S*( -u'( t) I C( t)) 2': - u'( t). -u( t). Hence, we must have:
which, taken tagether with (2), means that (3) holcls (by a well-known result
144 Chapter 5: Further Applications and Related Topics
of Convex Analysis).
varup=var:~:n
p
=L: 11:!71 (i2-n)-:~:n ((i-l)Tn)ll
p p
~ l( r, II a- z II ) ~ ir II a- z II 2 ,
0 < c :::; T- t, then, since { t} has zero l!leasme and by ·( 6), we have:
as 1::--> 0. Hence, dividing (7) by I du. I ([t, t+c]) and letting c go to zero, we get
du ( dv -u+(t) + ·u.-(t) du ( () du ()
X.~ t) 2: ~~(t) = 2 ·~ t)= U t ·~ t
Then Cn is a n-Lipschitz m.1dtijunct1on ( h(C11 (t), C11 (s)) :S; n I t-sl) with
nonem.pty closed convex values and the increa.sing sequence ( C11 ) approxim.ates
146 Chapter 5: Further Applical.ions and Related Topics
Proof. Define rn(t) = dist (<P(t), C11(t)). These are continuous functions (<P and
Cn are continuous). For every t, r11 (t) is a nonincreasing sequence (because
5.2 Lipschitz approxillull.iolls of swerping processes 147
C11 (t) C C,.+ 1(t)) ancl it converges to zero, since <f;(t) hdongs to the closure of
the union U C11 (t). By Dini' s theorem, 1'n( t) -> 0 uniformly in [0, T].
n
Consicler the multifunctious with nonempty closecl convex values
clefinecl by:
1
rn(t)= cl [Cn(t) n B(</;(t), rn(tJ+nJJ = Cn(t) n -B(<f;(t), r,.(t)+n;).
1
They are lower semicontinuous ( this is shown first for the set inside the
brackets ancl then for its closure ). Thus, by lVIichael' s selection theorem [Mic],
there is a continuous selection </; 11 : [0, T] -> IRd, </; 11 ( t) t: rn( t) C C11 ( t). By
construction, II <Pn- <P II 00 :S II rn II 00 +~ -> 0. D
It follows that
\j T e [t1 t+8], ll11.( r)- 'U.( t) II :::; va~· (1Lj t, t+8) :::; f .
Taking t71 converging to t from the left, we see that ( fn 1 u( fn)) c graph C
converges to (t 1 u-(t)); since the graph of Cis left-closed, we then conclude
that u-(t) c C(t). Let € > 0. The arguments in 1), if applied to u-(t) and to an
interval to the left of t, show that there exists a ball B( x1 1 r 1) such that
1h 1 llu-(t)-x1 11) < E and that, for !argen, B(x 11 r1)c C71 (r), \/rc[t'1 t]
where t 1 < t. Moreover, by taking !arger t' and n if necessary, we have
llu(t')-u-(t)ll < E, l(r 1 , 111L(t')-x 1 11) < E , llu11 (t')-u(t')ll <fand so
(Theorem 2.1) 111L71 (t)-u.71 (t')ll :S var(u.n; t,t 1) :S l(rl, llun(t')-xJII)< €.
Then, by the tria.ngle inequality: 111L11 ( t)- u-( t) II < 3 E and, in the Iimit,
II u(t)- u-(t) II :S 3 E. Thus, u-(t) = 1t(t).
3) To end the proof that ·u is the unique solution to the sweeping process
by C starting at a ( and hence that the whole sequence ( u 71 ) has a unique
sublimit and therefore converges pointwisely), we can now apply Proposition
2.2. We only need to establish (6).
Let if;: [0 1 T] ---t IRd be a continuous selection of C and let s < t . From
Proposition 2.5, we may take a sequence (c/; 71 ) converging uniformly to if;, with
ifin a continuous selection of C11 • Since if; 71 is also a selection of Gm for m ~ n,
then, by the necessary part of Proposition 2.2, ·nm satisfies:
5.2 Lipschitz approximations of sweeping processes 149
Notice that if the graph of C is not left-closed, then the solution to the
sweeping process by C may not be continuous. At discontinuity points, the
converse statement in Proposition 2.2 does not hold and the convergence result
of Theorem 2.6 ceases to be valid, as shown by Valadier:
(11)
IR2 if 0 s t <1
C(t)={ r(0)=[-1,0]x [-1,0] if t= 1
Take a = (0,{2) as the initial condition. For n !arge enough, ac C11 (0)=r(n)
and we may consider the solution <Ln to the sweeping process by Cn starting
from a. This solution Un presents an initial immobility at a, with growing
duration (it lasts until the ratio of similarity o:=n(l- t) equals (1+ ~)(f)- 1 ,
i.e. for t S 1- l+n..J2 ) . After tha.t, u" moves on a straight line (normal to the
boundary of the moving convex set) down to (- ~,~), a.tta.ined at time
t = 1-t and then, pushecl by the boundary of -f(aJ (a ~ 0) it reaches
(-1,0) at t=l by a circular motion. Thus, the pointwise Iimit of (un) is
{ (O,.J2) if 0 $ t < 1
u(t)== (0,0) if t == 1 '
since the projection of (0, .J2) in C( 1) is (0, 0). 0
Lemma 2.9 [Gav] (Lemma 2.1) Let ( ri ); <1 be a family of nonempty bounded
closed convex subsets of E. Ass-u.me th.a.t all the sets ri contain a fixed ball
B(:ro, h) and write
(16) L==inf lfi-Xol ==infsup llx-:roll
1 xc:f.
I.
Then:
x 1 := x+ h~c (:ro-x).
X
I
= h+
E
E zi
+ h+
h
E Xi '
we conclude that X 1
cfi (for every i), i.e., x'c:f. D
t 1c I
(18) p > 1'(t, r) =? C(t) C C(r) + p B;
(19) r11 (t, r) > r11+ 1(t, r) , 1+2M 2: r11 (i 1 1) 2: ~+ r(t 1 r);
(20) r11 (t. 1) -> e( C(t), C(r));
implies r(t T)-nd(t t')::::; 2M-nb::::; 0; so, these t' clo not matter in the
1
1 1
r 71 ( t, r) ~ r 11 ( s, r)- n d( s, t);
exchanging t and s, we obtain I rn(t, r)- r 11 (s, r) I :::; nd(s, t) and (21)
follows. 0
Proof of Theorem 2.8. Define for every t in the metric space (I, d):
By the preceding Lemma, (18) ancl (19), r11 (t, r) > r(t, r) implies
C11(t) :J C( t). Because r n is nonincrea.sing, the sequence ( C11 ( t)) is also
nonincreasing, thus proving (13 ).
Hence, by (23) and applying Lemma 2.9 with h= ln and c = nd(t, 8):
nT fn(8,T) C nT (fn(t,T)+cß)
c ( n rn(t, T) )+2 nLc B c
T
Cu(t) +2 n 2 (4M+ 1) d(t, 8)B.
Proof. As in the proof of Lemma 2.3.2 (b), we may clivide I into a finite
number of intervals Jk = [tk, tk+ tl such that all the sets C( t) with t in Jk
contain some fixed ball B( a.k , Tk). Since the same can be saicl of Cn( t) - which
contains C(t)- for ncN ancl tt: Jk, then, from Theorem 2.1, (5), we get
var(un,lk):::; (2rk)- 1 1!u 11 (t"J-a.kl! 2. Therefore, it is easily shown by
induction that ( 1L 11 ) is unifonnly bonud('d hoth in norm and in variation, say
by M> 0.
0
and, by taking um, n( s) to be the projection of um( s) in C11 ( s), we rewrite the
above integral as the following sum:
since C11 (s) :> C(s) ancl u111 (s) c C11 b). Tlms, we have
The limi t function 7l satisfies the initial concli tion ancl u( t) c C( t) , since
and C( t) is closed.
In view of Proposition 2.2, to complete the proof that the cbv function
u is the solution to the sweeping process hy C, we only need to show that (6)
holds for every continuous selcction of C, say yl>. In fact, any such </> is also a
continuous selection of C11 , so:
5.3 An applicat.ion of differential indusions to qua~i-statics 155
Passing to the Iimit (we u~e uniform convergence or Theorem 0.2.1), we get
J ]s,t]fjJ.du
I ·J 1 ?
2: 2111t.(t)l!--211u(s)l!-,
as required. D
The regula.rity a.ssnmptions m-e the following: the motion of the center
of attraction a( . ) is absolutcly continuous and the friction coefficient
v: P--+ ]0, +oo[ is a bounded a.ncl Lipschitz-continuous function of q:
v(q) ~ m, lv(q)-11(q') I:=:; 1.~' II q-q'll (wc ma.y suppose that 11 is extended
to the whole space). Let q0 c L he given.
156 Chapter 5: Further Applications and Related Topics
(1)
and, for some choice of the representative of the derivative q:
(2) (\ftE I)
Remark 3.2. We show that this fonnnlation is compatible with the usual one.
We introduce the reaction force R which must equilibrate the force F; i. e.,
F+R=O or
(4) R= k(q- a) .
Notice that (2) implicitly requires that
2) If q( t) E P and there are tn --t t with q( t11 ) '1. P, then, since a( t11 ) = q( t11 ) , we
again conclude that q( t) = a.( t) and R( t) = 0. This is compatible with the
friction law, since the reaction belongs to the friction cone at q = q( t):
3) Finally, Iet q(s)t:P in some neighbourhoocl oft (in [0, T]). We must prove
that, in the syntethic formulation of the friction law by Moreau ( compare with
Chapter 3), for almost every such t:
the orthogonal projection into P of the outward normal cone to the friction
cone C( q( t)) at the reaction R( t). First, it is clear that
(9) i;_(t)c:P,
if the derivative exists, which happens for almost every t. By (5), we have
a3(t) ~ 0. Moreover, if a3(t)=O, then R(t)=O as above and it is easily seen
that the outward normal cone to C( q( t)) at R = 0 is a nontrivial cone
(contained in the half-space -L) which projects itself onto P. Thus (8) is
obviously satisfied.
Slip- Let II q(t)- b(t) I = a.3(t) r/(q(t)) > 0. The computations above
show that the nonzero reaction R( t) belongs to the bounclary of the friction
cone. The projection into P of the outward normal cone NC(q(t))(R(t)) is then
easily found to be the ha.lf-line { ,\ ( R 1( t), R 2( t) 1 0) : ,\ ~ 0} . On the other
h~nd, Ncq(t) ( q( t)) n Pis the ha.if-line spannecl by q( t)- b( t), so that (2) ancl (9)
g1ve
- q( I) = 1d q( t) - b( t)) (JL > 0) .
Thus -q(t)=p(q 1 (t)-a 1 (t),q2 (t)-a.2 (t) 1 0)=~(R 1 (t),R 2 (t) 1 0) cloes indeecl
satisfy (8). 0
Proof. Consider the set K of continuous functions r from [0, T] to 1R3 such that
r(O) = q0 and
(11) var(er; s,t):::; A var(a; s, t)+~~: 1 ~,_ va.r(a; s,t)= 1 ~11: var(a; s,t).
Hence, by Moreau's results on sweepiug processes (see e.g. [Mor 1]), to every
rc: K we may associate r/;( r) = q1• , the unique a.bsolutely continuous solution to
the sweeping process by er( t):
where p(t) is the least upper bound of the Hausdorff distance h(er (s),er(s))
n
for sc:[O,t]. By Lemma 3.11, !t(t):::; ~~:max{ llr71 (s)-r(s)ll: 0:::; s:::; t}
:::; 11: II r71 - r II 00 , while (11) gives estima.tes for the variations appearing above.
It follows that
5.3 An application of differential inclusions to quasi-statics 159
(13)
where
{a.(t)} if a 3 (t) ::::; 0
(14) e().-
t ·- {
D(b(t),IIO.;J(t)) if a.3(t) > 0
1s an absolutely continuous multifunct.ion, as in the proof of the theorem.
Hence ([Chr], Cha.pter I) there is a uniqnP solntion ancl it can be approachecl
by a discretization procedure:
(15)
(16) ·u iJ+k(q-n)=R.
160 Chapter .5: Further Applications and Related Topics
(18)
Lemma 3.10. [Chr] (Annexe IV) There is a positive nv.mber A, depending only
on the friction coefficient 11, s11.ch tha.t
(21)
Notice that (a(s)-b(t)).(a(t)-b(t))=(a.(s)-b(t)).(0 1 01 a3(t))=a3(s)a3(t):s;O;
therefore, the angle between those two vectors is ::;=: ~ and the opposite siele of
the triangle ( defined by a( s), b( t) and a( t)) has the greatest length:
3) Assurne that a3( t) ancl a.;3( s) are both positive. Then we have to
consider the Hausdorff clistance h between clisks with centers
b(t)=(a1(t), ~(t),O) and b(s)=(a. 1(s), a.2(s),O) and radii p(t)=a3(t)v(r(t)) and
p(s)= a3(s)v(r(s)). It is known (ancl easily seen) that
Proof. If a 3 ( t) :::; 0, then e,.( t) = eq( t) = {a.( t)} ancl the result is obvious.
If a3(t) > 0, then taking p(t)= a.:3(t) z;(r(t)) and p(t)= a3(t) v(q(t)) we
have:
For nonsmooth a.ncl not necessarily convex analysis, we may suggest for
instance [Cla] and [Pan 2].
To go back a little further (but not all the way back), let us recall that
much attention has been devotecl to evolution equations in Hilbert or Banach
spaces, in works such as [Ben], [Ben-Bre], [Bre 1], [Cra], [Kat] and [Korn].
The case of a convex set, or more gencra.lly of a clomain depending on time, is
studiecl for instance in [Att-Dam 2], [Bir], [Ken-Ota] ancl [Pera]. Furthermore,
books such as [Bar], [Pav] and [Vra] are also available.
(4)
where At is a set-valued maximal monotone operator in a Hilbert space H. lt
is assumed that the clomain D( A 1) C H may clepend on the time t ancl that its
interior is nonempty:
Bibliography
The following abbreviations are used:
CRAS: Comptes Rendus de l'Academie des Seiences de Paris,
USTL: Universite des Seiences et Techniques du Languedoc,
SAC: (Travaux du) Seminaire d'Analyse Convexe, USTL,
LMGMC: Laboratoire de Mecanique Generale des Milieux Continus, USTL.
References are ordered alphabetically by the abbreviations of authors' names.
Index
Hausdorff-continuous 46 nets 2
Hausdorff distance 15 n-Lipschitz selector 145
Helly-Banach' s theorem 11 nodes 2
178
Y osida a.pproximant 28
179
Index of Notation
XA. 5
1f'A I Dl/ A(y) 25
1
Editor
Haim Brezis
Departement de Mathematiques
Universite P. et M. Curie
4, Place Jussieu
75252 Paris Cedex 05
France
and
Department of Mathematics
Rutgers University
New Brunswick, NJ 08903
U.S.A.
Progress in Nonlinear and Differential Equations and Their Applications is a book series that
lies at the interface of pure and applied mathematics. Many differential equations are motivated
by problems arising in such diversified fields as Mechanics, Physics, Differential Geometry,
Engineering, Control Theory, Biology, and Economics. This series is open to both the
theoretical and applied aspects, hopefully stimulating a fruitful interaction between the two
sides. It will publish monographs, polished notes arising from lectures and seminars, graduate
Ievel texts. and proceedings of focused and refereed conferences.
Proposals should be sent directly to the editor or to: Birkhäuser Boston, 675 Massachusetts
Avenue. Cambridge, MA 02139
Managing Editors:
Associate Editors: