SETS WITHOUT INVARIANCE CONDITIONS
MIKHAIL KAMENSKII AND MARC QUINCAMPOIX Received 4 April 2005
We provide a new result of existence of equilibria of a single-valued Lipschitz function f on a compact setKofRnwhich is locally the epigraph of a Lipschitz functions (such a set is called epilipschitz set). Equivalently this provides existence of fixed points of the mapx→x−f(x). The main point of our result lies in the fact that we do not impose that f(x) is an “inward vector” for all pointxof the boundary ofK. Some extensions of the existence of equilibria result are also discussed for continuous functions and set-valued maps.
1. Introduction
This paper is devoted to the following result.
Theorem1.1. LetK be an epilipschitz compact subset ofRn; f :Rn→Rn be a (locally) Lipschitz function. Assume thatKsis closed and that the Euler characteristicχ(Ks)is well defined.
If χ(K)=χ(Ks) then there exists an equilibria inK that is a point x∈K such that f(x)=0.
In the aboveTheorem 1.1, the setKs(orKs(f)) is the set of elementsxof the boundary ofKsuch that the solution to the Cauchy problem
x(t)=fx(t), t≥0, x(0)=x, (1.1) leavesK immediately (that is there existsσ >0 such that (x((0,σ))∩K= ∅)). Epilips- chitz sets are sets which are locally the epigraph of a Lipschitz function (an equivalent formulation is given in [25]).
It is worth pointing out that when f(x) is “inward” for anyx∈∂K, we have thatK is invariant by the differential equation
x(t)=fx(t), t≥0, (1.2)
Copyright©2005 Hindawi Publishing Corporation Fixed Point Theory and Applications 2005:3 (2005) 267–279 DOI:10.1155/FPTA.2005.267
and consequentlyKs= ∅. So our theorem, contains for example the famous fixed point Brouwer theorem, viewed as an existence result for equilibria of the mapx→x−g(x) for convex compact closed sets. It contains also several results of existence of equilibria which impose inwardness conditions of the type
∀x∈∂K, f(x)∈CK(x) (1.3)
whereCK(x) denotes Clarke’s tangent cone.
Since pioneering results of Fan and Browder [5,15], several theorems have been ob- tained in this direction [10,12,13,19,18,23,22], among them we wish to quote one of the most recent result (in a version adapted for single valued map).
Proposition1.2 [11, Corollary 4.1]. If f continuous,Kis a compact epilipschitz subset of Rnwithχ(K)=0and if (1.3) holds true, then there is an equilibria of f inK.
We also wish to underline that more general results with condition (1.3) have been ob- tained for set-valued maps and for normed spaces more general thanRn(cf. for instance forLretracts in normed spaces).
We are mainly interested to weaken the condition (1.3) for a class of epilischitz sets ofRnwhich is large enough because it contains for instance convex sets with nonempty interiors,C1submanifolds with boundary.
Our approach is mainly based on properties of trajectories of the differential equation associated with f. Indeed the setKsappears in the so called topological Wa˙zewski prin- ciple, which gives sufficient conditions for existence of trajectories of (1.2) remaining in K(cf. [16]). We also would like to mention the approach of [21] for regular sets by using Conley index theory.
We explain how the paper is organized. In the preliminary section we present some relevant tools (differential equations and degree theories) for proving our main theorem.
The next section is devoted to proof of our main result. In the last section, we discuss some extensions for a quite large class of f (but still for compact epilipschitz sets ofRn).
2. Preliminaries
We denote by cl(A) the closure of a setA, int(A) its interior, co(A) its closed convex hull,
∂Aits boundary and byx→dA(x) the distance function toA. The unit closed ball ofRnis denoted byB,Sis the unit sphere. The numberχ(A) denotes the Euler characteristics of A. The set of elements ofAwhich are not inBis denoted byA\B. For a closed setK⊂Rn, andx∈Kwe denote
CK(x) :=
v∈Rn| lim
h→0+,y∈K→x
dK(y+hv)
h =0
(2.1) Clarke’s tangent cone,NK(x) :=(CK(x))−the corresponding Clarke’s normal cone and the following contingent (Bouligand’s) cone:
TK(x) :=
v∈Rn|lim inf
h→0+
dK(x+hv)
h =0
. (2.2)
Definition 2.1. A nonempty closed subsetK⊂Rnis epilipschitz if and only if the interior int(CK(x)) of the Clarke tangent cone is nonempty for anyx∈K(or equivalently iffthe normal cone does not contain straight lines).
We recall some well-known facts about epilipschitz sets in the following.
Lemma2.2 (cf. for instance [11]). LetK⊂Rnbe closed epilipschitz. ThenK=cl(int(K)), the set valued mapsx→CK(x)x→int(CK(x)) are lower semicontinuous with nonempty closed convex values, the mapx→NK(x)∩Sis upper semicontinuous with nonempty com- pact values andTK(x)⊃CK(x)for anyx∈K.
Recall also that for anyx∈∂K,CK(x)=RnandNK(x)= {0}.
We shall need a suitable definition of the degree of a mapping on closed sets which are the closure of their interior and for set-valued maps. For such a definition we refer the reader to [9]. Also there are many algebraic topology books with definition of the Euler characteristics (cf. [14] for instance), but we want to stress that—for regular sets—the Euler characteristic is also the degree of the field of normals [20]. One recent statement of this fact can be find in [11, Theorem 4.1].
Lemma2.3. LetK be compact epilipschitz,F be an upper semicontinuous set-valued map with nonempty convex compact values such that
0∈/ F(x), F(x)∩CK(x)= ∅, ∀x∈∂K. (2.3) Thenχ(K)=deg(−F,K, 0).
Also we recall in an adapted version the following well-known fact for differential inclusions (cf. for instance [1] or [24]).
Lemma2.4. LetKbe a closed set,Obe an open set,Fbe an upper semicontinuous set-valued map with nonempty convex compact values. The two following properties are equivalent:
∀x∈∂K∩O, F(x)∩TK(x)= ∅. (2.4)
For any initial conditionx0∈K∩O, there exists at least one trajectory ofx(t)∈F(x(t)) starting fromx0remaining inKfor allt≥0until it possibly leavesO.
3. Proof of the main result
Throughout this sectionKsis assumed to be closed andkis the lipschitz constant of f in K+B.
3.1. About properties of epilipschitz sets and of the setKs. First we state a lemma which easily follows from the lower semicontinuity of the Clarke tangent cone for epilipschitz set.
Lemma3.1. LetK⊂Rnbe epilipschitz compact andgbe a continuous function. If for some setA
g(y)∈intCK(y), ∀y∈K∩A, (3.1)
then there exists an open neighborhoodVofAand anα >0such that
g(y) +αdK\V(y)B⊂intCK(y), ∀y∈K∩V. (3.2) Lemma3.2. LetK⊂Rnbe epilipschitz compact. There exists a continuous mapg:Rn→Rn such that
0=g(x)∈intCK(x), ∀x∈∂K. (3.3) Proof. With anyx∈Kwe can associate a vector 0=lx∈int(CK(x)). By Michael’s selec- tion theorem [2, Theorem 9.1.2] there exists a continuous mapy→gx(y) with
gx(x)=lx,gx(y)∈CK(y), ∀y∈K. (3.4) By virtue ofLemma 3.1, there existsαx>0 andVxan open neighborhood ofxsuch that
gx(y) +αxB⊂CK(y), ∀y∈Vx∩K. (3.5) By compactness ofKwe can extract finite covering (Vxi)Ni=1ofK. Let considerλian asso- ciated partition of unity. Define the continuous function
y∈K−→g(y) := N i=1
λi(y)gxi(y). (3.6)
Let y∈K andλj, j∈J⊂[1,N] the non zero terms of the partition evaluated in y. For anyj∈J, we have
gxj(y) +αB⊂CK(y), (3.7)
whereα=min{αj|j∈J}.So by convexity of the Clarke cone g(y) +αB=
j∈J
λj
gxj(y) +αB⊂CK(y). (3.8)
This complete the proof if one notices thatg cannot take value 0 on∂K. Indeed, sup- pose, contrary to our claim, thatg(x)=0 for somex∈∂K. Then 0∈int(CK(x)). Be- causeCK(x) is a closed convex cone, we inferCK(x)=Rn. Consequentlyx∈int(K) a
contradiction.
Now we need a more precise property off on the relative boundary of∂KKsofKsinK.
Lemma3.3. LetK⊂Rnbe epilipschitz compact and letx0∈∂KKs. Then
Rf(x0)∩intCK(x0)= ∅. (3.9)
Proof. Note that the solution to (1.2) starting from x0 must leave K immediately so f(x0)=0. We prove the lemma by contradiction, if the wished claim is false then either f(x0)∈intCK(x0) or−f(x0)∈intCK(x0).
Case a(f(x0)∈intCK(x0)). FromLemma 3.1there existα,ηpositive numbers such that f(x) +αB⊂CK(x), ∀x∈x0+ηB. (3.10) This implies that f(x)∈TK(x) for allx∈x0+ηB. So by the local viability theorems (cf.
Lemma 2.4), the trajectory of (1.2) starting fromx0remains inKfor a small time. This is a contradiction withx0∈Ks.
Case b(−f(x0)∈intCK(x0)). FromLemma 3.1there existα,ηpositive numbers such that
−f(x) +αB⊂CK(x), ∀x∈x0+ηB. (3.11) Fixx∈((x0+ηB)∩∂K))\Ks. From (3.11) one can easily deduce that there exist τ >0 small enough such that
x+ [0,τ]
−f(x) + α
2
B
⊂K,
x+ [0,τ]
−f(x) + α
2
B
∩Ks= ∅.
(3.12)
An easy estimation for the solutions to the differential equation
y(t)= −fy(t), t≥0 (3.13)
will provide the existence of someτ>0 small enough such that any solution y(·) of (3.13) starting fromxsatisfies the following estimation
y(t)∈x+ [0,τ]
−f(x) + α
4
B
⊂K, ∀t∈[0,τ]. (3.14) Fixz∈(x0+κB)\Kand
0< κ <min
τ α
4
e−kτ, dist
Ks,x+ [0,τ]
−f(x) + α
2
B
. (3.15)
By Lipschitz continuous dependence result of the solution of a differential eqution with respect to the initial data, one obtains that the solutionz(·) of (3.13) withz(0)=zsatisfies
∀t∈[0,τ], y(t)−z(t) ≤ y−zekt. (3.16) In view of (3.12)–(3.14), we obtainz(τ)∈Kandz([0,τ])∩Ks= ∅. Hence the function t→z(τ−t) is a trajectory to (1.2) starting from a point ofK and leavingK before the timeτwithout crossingKs. This is a contradiction with the very definition ofKs.
Proposition3.4. Assume thatK⊂Rnis epilipschitz compact,Ksis closed and that there is no equilibrium point of f on the boundary ofK. Then there exists an upper semicontinuous (multi-valued) mapΨ:∂K→Rnwith nonempty convex valued compact values such that
(i)Ψ(x)=f(x), for allx∈∂K\Ks
(ii)Ψ(x)∩CK(x)= ∅, for allx∈∂K (iii) 0∈/ Ψ(x), for allx∈∂K.
Proof. Considergobtained inLemma 3.2. DefineΨas follows:
Ψ(x)=
f(x), ∀x∈∂K\Ks, g(x), ∀x∈Ks\∂KKs, [f(x),g(x)], ∀x∈∂KKs.
(3.17)
ClearlyΨis upper semicontinuous with nonempty convex compact values. By [2, Theo- rem 4.1.9], and by the very construction ofg, statements (i) and (ii) are obtained.
For obtaining (iii), we have to prove that 0∈/ [f(x),g(x)] ifx∈∂KKswhich is a direct
consequence ofLemma 3.3.
3.2. Construction of the setWm. We shall construct an epilipschitz subsetWm of K which has the same Euler characteristic thatKs. This construction will be made under the following supposition:
∀x∈K\Ks, f(x)∈intCK(x). (3.18) Before doing this we recall that ifKsis closed then the function
τK(x0) :=inft >0,x(t,x0)∈/ K (3.19) is continuous (wherex(·,x0) denotes the unique solution to (1.1) (see [1, Lemma 4.2.2]
and [16, Lemma 1.8]).
Fix a positive integermsufficiently large. Observe thatKsis contained in the interior (with respect toK) of the set
Um+1:=
x∈K,τK(x)≤ 1 m+ 1
. (3.20)
ChooseZKsan open neighborhood ofKswith
Ks⊂ZKs⊂cl(ZKs)⊂Um+1. (3.21) By compactness of cl(ZKs), and continuous dependance of the solution to a differential inclusion with respect to the right-hand side and the initial condition, there exists some η >0, some open neighborhoodUof cl(ZKs) such that all trajectories of the differential inclusion
x(t)∈fx(t)+ηB (3.22)
starting from points inU, leaveKin a time smaller than 1/m. From condition (3.18) and Lemma 3.1(applied toA=K\ZKsandg= f), there existsα >0 such that for allxwith dZKs(x)< ηwe have
f(x) +αdZKs(x)B⊂CK(x), ∀x∈∂K\ZKs. (3.23) Define then the Lipschitz set-valued map
Fm(x) := f(x) +α
2dZKs(x)B, (3.24)
andSFm(x0) the set of—absolutely continuous—solutions to
x(t)∈Fmx(t), t≥0,x(0)=x0. (3.25) We claim thatKsis both
(a) the set of all pointsx0∈∂Ksuch that all solutions to (3.25) leaveKimmediately;
(b) the set of all pointsx0∈∂K suchthat there exists at least one solutionto (3.25) leavingKimmediately.
We prove our claim. Fixx0∈∂K. We consider the two following cases.
Case I(x0∈∂K\ZKs). From (3.23), we know that any trajectory to (3.25) starting from x0enters inK.
Case II(x0∈∂K∩ZKs). In this—set relatively open in∂K—we haveFm= f. By the very definition ofKswe know that a solution to (3.25) starting fromx0(which is locally also a solution to (1.2) becauseFm=f on the open setZKs) leavesKimmediately if and only if x0belongs toKs.
This ends the proof of our claim.
Once again by [1, Lemma 4.2.2] and [16, Lemma 1.8], the function τm(x0) := sup
x(·)∈SFm(x0)
inft >0,x(t)∈/ K (3.26) is continuous onK
Wm:=
x0∈K,τm(x0)< 1 m
. (3.27)
Lemma3.5. Assume that (3.18) holds true. Then
(i)the setcl(Wm)is epilipschitz and it containscl(ZKs), (ii)χ(cl(Wm))=χ(Ks).
Proof. Remark that the choice ofαandηimplies cl(ZKs)⊂Wm.
Proof of (i). We claim that cl(Wm)\Ks is—locally in time—invariant by trajectories of the differential inclusion (3.25).
Indeed, letx0∈cl(Wm)\Ksandx(·)∈SFm(x0). One can easily remark that for every t∈[0,τm(x0)] andy(·)∈SFm(x(t)),
infs >0,y(s)∈/ K≤τmx(t)+t≤τm(x0)≤ 1
m. (3.28)
Sox(t)∈cl(Wm) for anyt∈[0,τm(x0)]. Becauseτm(x0)=0 our claim is proved.
Now we know that for any elementvof the continuous convex map Fm, there ex- ists aC1 solution x(·)∈SFm(x0) withx(0)=v (this can be viewed as a consequence of Michael selection theorem, see also [1, Corollary 5.3.2]). Because such a solution re- mains in cl(Wm) for small time, we have
∀x∈clWm
\Ks, f(x)∈Fm(x)⊂Tcl(Wm)(x). (3.29) Because (3.29) is valid for points in∂Wm\cl(ZKs), by [2, Theorem 4.1.9]
Fm(x)⊂ lim inf
y→x,x∈∂Wm
Tcl(Wm)(y)⊂Ccl(Wm)(x). (3.30) So int(CK(x0))= ∅for anyx∈∂Wm\cl(ZKs) because for such anx, the setFm(x) has a nonempty interior.
Considerx∈∂Wm∩cl(ZKs)∩∂K. By the very definition ofWm, we have
ZKs∩∂K+rB∩K⊂Wm (3.31)
forr >0 small enough. HenceCK(x)⊂Ccl(Wm)(x), these sets have nonempty interiors becauseKis epilipschitz.
Thus int(Ccl(Wm)(x))= ∅for anyx∈∂Wm. Hence cl(Wm) is epilipschitz, this com- pletes the proof of (i).
Proof of (ii). For doing this we follow the same lines that in the proof of [16, Theorem A].
Define the following (multivalued) homotopyH: clWm
×[0, 1]−→clWm , x0,t−→Hx0,t:=
x(·)∈SFm(x0)
xtθ(x(·) (3.32)
where for any absolutely continuous functionx(·), we denote
θx(·):=infs >0,x(s)∈/ K. (3.33) Clearly for anyx∈Ks we haveH(x, 1)=x and H(·, 0) is the identity map. Moreover H is an admissible map, in the sense or Gorniewicz [18] (cf. also [16]). So the Cech homology groups ofKsand cl(Wm) do coincide, soχ(cl(Wm))=χ(Ks). This completes
the proof.
Remark 3.6. In the above proof, we have shown that the Euler characteristics ofKsand cl(Wm) do coincidewhen characteristics are defined through Cech homology. We underline that epilipschitz set (asKand cl(Wm)) are absolute neighborhood retracts [4] and con- sequently Cech (co)homology and Singular homology are the same for these sets, hence so are Euler characteristics defined by Singular or Cech homologies.
3.3. Degree off onK. We are now ready to prove the following crucial result.
Proposition3.7. LetKbe epilipschitz compact. Assume thatKsis closed and that
f(x)=0, ∀x∈∂K. (3.34)
Then
deg(−f,K, 0)=χ(K)−χKs
. (3.35)
Clearly our main resultTheorem 1.1is a direct consequence of the above proposition because if deg(−f,K, 0)=0 thenf has an equilibrium point inK(cf. for instance [11]).
Proof ofProposition 3.7. We shall argue in two separate case.
Case 1. We assume here that condition (3.18) holds true. Letmbe large enough such that
0=f(x), ∀x∈∂Wm. (3.36)
Let considerΨgiven byProposition 3.4. By definingΨ(x)= f(x) forx∈K\int(Wm), one obtains an upper semicontinuous map with convex compact nonempty values which can be extended onK(cf. [8]) in a multivalued map denotedΨwith the same regularity.
Thus
deg(−Ψ,K , 0)=deg−Ψ,K \clWm
, 0+ deg−Ψ, cl Wm
, 0. (3.37) By [11, Theorem 4.1] (orLemma 2.3),Proposition 3.4does imply
χ(K)=deg−Ψ,K , 0. (3.38)
The construction ofWmand (3.29) enables us to obtain
Ψ(x)∩Ccl(Wm)(x)= ∅, ∀x∈∂Wm. (3.39) Thus by the same argument (Lemma 2.3) applied to the epilipschitz set cl(Wm), we obtain χ(cl(Wm))=deg(−Ψ, cl(W m), 0).Lemma 3.5yields
χclWm
=χKs
=deg−Ψ, clWm
, 0. (3.40)
Moreover, since f =Ψon∂(K\cl(Wm)) and because f has no equilibria on cl(Wm) deg−Ψ,K \clWm
, 0=deg−f,K\clWm
, 0=deg(−f,K, 0). (3.41) In view of (3.37)–(3.41) we obtain (3.35).
Case 2. General case: f(x)∈CK(x) for anyx∈K\Ks. Considergas given inLemma 3.2.
There exists ¯ε >0 small enough such that
0∈/ f(x) + [0, ¯ε]g(x)−f(x), ∀x∈∂K. (3.42)
Define the following continuous function:
f¯(x) :=f(x) + minε,d¯ Ks(x)g(x)−f(x). (3.43) Thus deg(−f,K, 0)=deg(−f¯,K, 0).
Because forx∈∂K\Ks,f(x)∈CK(x),g(x)∈int(CK(x)) and CK(x) is convex, then f¯(x)∈int(CK(x)). Since f = f¯ onKsthenKs(f)=Ks( ¯f), so we can apply the Case 1
for completing the proof.
Remark 3.8. It is worth pointing out that in order to apply our main theorem, one has to check thatKsis closed. Note thatKscannot, in general be described through geometric conditions but it is only defined through the behavior of trajectories of (1.2). But for instance,Kscan be approached by formulas like the following one:
K⇒⊂Ks⊂K⇒, (3.44)
where K⇒:= {x∈∂K | f(x)∈/ TK(x)}.This approximation together with other more precise formulas were used and studied in [6,16] (cf. [7] for the proofs).
Nevertheless, whenKis more smooth, one can expect an analytic description ofKsin several cases. Suppose thatK= {x∈Rn|ϕ(x)≤0}whereϕ:Rn→Rnis of classC2with nonvanishing gradient on pointsxwhereϕ(x)=0. If the following condition holds true
ϕ(x)=0 and∇ϕ(x),f(x)=0 =⇒
∇2ϕ(x)f(x),f(x)>0, (3.45) then one can easily check thatKsis closed and
Ks=
x∈Rn|ϕ(x)=0 and∇ϕ(x),f(x)≥0. (3.46) 4. Further extensions
Throughout this sectionK⊂Rnis epilipschitz compact.
One can expect that previous results could be extended to continuous functions and set-valued maps. In fact these two cases are related because Cauchy problem (1.1) can have more that one solution. We indicate several way of extensions of our results. For a set valued mapF:Rn→Rnupper semicontinuous with convex compact values, define
Ks(F) :=
x0∈∂K,∀x(·)∈SF(x0), ∃σ >0,x(0,σ]∩K= ∅ , Ke(F) :=
x0∈∂K,∃x(·)∈SF(x0),∃σ >0,x(0,σ]∩K= ∅
. (4.1)
The first set is the set of initial position such thatallsolutions of the differential inclusion leaveK immediately while the second set is the set of intial conditions such thatat least onesolution leavesKimmediately. Clearly these two sets reduces toKswhenFis single- valued Lipschitz.
Proposition4.1. Let f :Rn→Rnbe a continuous function. Suppose thatKs(f)is closed.
Ifχ(Ks(f))=χ(K)then an equilibrium of f exists inK.
Proof. Suppose that f has no equilibrium in∂K(else the proof is finished). For anyx0∈
∂K\Ks(f) athere exists a solution remaining locally inK(i.e., a solutionx(·) to (1.2) and x(0)=x0such that there existss >0 withx[0,s]⊂K). Sof(x0)∈CK(x0) (same argument that (3.30)). Considerggiven inLemma 3.2. Pose
f(x)= f(x) +δdKs(f)(x)f(x)−g(x) (4.2) forδ >0 sufficiently small such thatfhas no equilibrium in a neighborhood of∂K(so it has the same degree that f inK). One can deduce from [2, Theorem 4.1.9] as inSection 1, that
f(x)∈intCK(x), ∀x∈∂K\Ks(f). (4.3) So the setsKs(f), Ke(f), andKs(f) are equal. (This point is crucial. It allows to prove as in [16] that functionsτK,τmare continuous.) One can deduce using same arguments that inSection 3that
deg(−f,K, 0)=deg−f,K, 0=χ(K)−χKs f. (4.4) Proposition4.2. LetF:Rn→Rnbe a continuous set valued map with convex compact nonempty values. Suppose thatKs(F)is closed and equal toKe(F). Ifχ(Ks(F))=χ(K), then there exists an equilibrium pointxofFinK(namelyx∈Kwith0∈F(x)).
Proof. For any continuous selectionf ofF, we have easilyKs(f)=Ks(F). ByProposition
4.1, f has an equilibrium inK, consequently so doesF.
Note that the above theorem is false without the assumptionKs(F)=Ke(F) as shown in the following.
Example 4.3. In R2 we consider the constantset-valued map F(x,y)= {1} ×[−1, +1].
Consider
K=
(x,y)∈R2|0≤y≤4,|x| ≤y≤ |x|+ 1. (4.5) Then one easily obtainsKs(F)=([−4,−3]× {4})∪([3, 4]× {4}). Soχ(Ks)=2=χ(K)= 1. But obviously there is no equilibria ofFinK.
Remark 4.4. WhenKs(F)=Ke(F) one could expect to find a selectionf ofFwithKs(f)= Ke(F). This seems be difficult without assuming more regularity assumptions on the boundary ofK, moreover this is out of the scope of the present paper devoted to epilips- chitz compact sets. We refer the reader to [7] for a detailed study of this question for very smooth sets.
Remark 4.5. Surprisingly, we do not need the epilipschitz assumption onK whenKs=
∂K; but in this case the approach is rather different (this case is studied in [17]).
References
[1] J.-P. Aubin, Viability Theory, Systems & Control: Foundations & Applications, Birkh¨auser Boston, Massachusetts, 1991.
[2] J.-P. Aubin and H. Frankowska,Set-Valued Analysis, Systems & Control: Foundations & Appli- cations, vol. 2, Birkh¨auser Boston, Massachusetts, 1990.
[3] H. Ben-El-Mechaiekh and W. Kryszewski,Equilibria of set-valued maps on nonconvex domains, Trans. Amer. Math. Soc.349(1997), no. 10, 4159–4179.
[4] J.-M. Bonnisseau and B. Cornet,Fixed-point theorems and Morse’s lemma for Lipschitzian func- tions, J. Math. Anal. Appl.146(1990), no. 2, 318–332.
[5] F. E. Browder,The fixed point theory of multi-valued mappings in topological vector spaces, Math.
Ann.177(1968), 283–301.
[6] P. Cardaliaguet,Conditions suffisantes de non-vacuit´e du noyau de viabilit´e[Sufficient conditions for nonemptiness of the viability kernel], C. R. Acad. Sci. Paris S´er. I Math.314(1992), no. 11, 797–800 (French).
[7] P. Cardaliaguet, G. Gabor, and M. Quincampoix,Equilibria and strict equilibria of multivalued maps on noninvariant sets, Ann. Polon. Math.82(2003), no. 1, 19–37.
[8] A. Cellina,A theorem on the approximation of compact multivalued mappings, Atti Accad. Naz.
Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8)47(1970), 429–433.
[9] A. Cellina and A. Lasota,A new approach to the definition of topological degree for multi-valued mappings, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. (8)47(1970), 434–440.
[10] B. Cornet,Paris avec handicaps et th´eor`emes de surjectivit´e de correspondances, C. R. Acad. Sci.
Paris S´er. A-B281(1975), no. 12, A479–A482 (French).
[11] ,Euler characteristic and fixed-point theorems, Positivity6(2002), no. 3, 243–260.
[12] B. Cornet and M.-O. Czarnecki,Smooth representations of epi-Lipschitzian subsets ofRn, Non- linear Anal. Ser. A: Theory Methods37(1999), no. 2, 139–160.
[13] ,Existence of (generalized) equilibria: necessary and sufficient conditions, Comm. Appl.
Nonlinear Anal.7(2000), no. 1, 21–53.
[14] A. Dold,Lectures on Algebraic Topology, Grundlehren der Mathematischen Wissenschaften, vol.
200, Springer-Verlag, Berlin, 1980.
[15] K. Fan,Extensions of two fixed point theorems of F. E. Browder, Math. Z.112(1969), 234–240.
[16] G. Gabor and M. Quincampoix,On existence of solutions to differential equations or inclusions remaining in a prescribed closed subset of a finite-dimensional space, J. Differential Equations 185(2002), no. 2, 483–512.
[17] , On equilibria of Lipschitz maps in finite-dimensional spaces, Boll. Un. Mat. Ital.8 (2003), no. 6-B, 308–321.
[18] L. G ´orniewicz,Topological Fixed Point Theory of Multivalued Mappings, Mathematics and Its Applications, vol. 495, Kluwer Academic, Dordrecht, 1999.
[19] A. Granas,Sur la notion du degr´e topologique pour une certaine classe de transformations multi- valentes dans les espaces de Banach, Bull. Acad. Polon. Sci. S´er. Sci. Math. Astronom. Phys.7 (1959), 191–194 (French).
[20] J. W. Milnor,Topology from the Differentiable Viewpoint, The University Press of Virginia, Vir- ginia, 1965.
[21] M. Mrozek,Periodic and stationary trajectories of flows and ordinary differential equations, Univ.
Iagel. Acta Math. (1988), no. 27, 29–37.
[22] S. Plaskacz,Periodic solutions of differential inclusions on compact subsets ofRn, J. Math. Anal.
Appl.148(1990), no. 1, 202–212.
[23] ,On the solution sets for differential inclusions, Boll. Un. Mat. Ital. A (7)6(1992), no. 3, 387–394.
[24] M. Quincampoix and V. Veliov,Viability with a target: theory and applications, Applications of Mathematics in Engineering (Sozopol, 1997) (B. Cheshankov and M. Todorov, eds.), Heron Press, Sofia, 1998, pp. 47–54.
[25] R. T. Rockafellar,Clarke’s tangent cones and the boundaries of closed sets inRn, Nonlinear Anal.
3(1979), no. 1, 145–154.
Mikhail Kamenskii: Voronezh State University, Universitetskaya pl.1, 394063 Voronezh, Russia E-mail address:[email protected]
Marc Quincampoix: Laboratoire de Math´ematiques, Unit´e CNRS UMR 6205, Universit´e de Bre- tagne Occidentale, 6 Avenue Victor Le Gorgeu, 29200 Brest, France
E-mail address:[email protected]
Mathematical Problems in Engineering
Special Issue on
Modeling Experimental Nonlinear Dynamics and Chaotic Scenarios
Call for Papers
Thinking about nonlinearity in engineering areas, up to the 70s, was focused on intentionally built nonlinear parts in order to improve the operational characteristics of a device or system. Keying, saturation, hysteretic phenomena, and dead zones were added to existing devices increasing their behavior diversity and precision. In this context, an intrinsic nonlinearity was treated just as a linear approximation, around equilibrium points.
Inspired on the rediscovering of the richness of nonlinear and chaotic phenomena, engineers started using analytical tools from “Qualitative Theory of Differential Equations,”
allowing more precise analysis and synthesis, in order to produce new vital products and services. Bifurcation theory, dynamical systems and chaos started to be part of the mandatory set of tools for design engineers.
This proposed special edition of the Mathematical Prob- lems in Engineering aims to provide a picture of the impor- tance of the bifurcation theory, relating it with nonlinear and chaotic dynamics for natural and engineered systems.
Ideas of how this dynamics can be captured through precisely tailored real and numerical experiments and understanding by the combination of specific tools that associate dynamical system theory and geometric tools in a very clever, sophis- ticated, and at the same time simple and unique analytical environment are the subject of this issue, allowing new methods to design high-precision devices and equipment.
Authors should follow the Mathematical Problems in Engineering manuscript format described at http://www .hindawi.com/journals/mpe/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System athttp://
mts.hindawi.com/according to the following timetable:
Manuscript Due February 1, 2009 First Round of Reviews May 1, 2009 Publication Date August 1, 2009
Guest Editors
José Roberto Castilho Piqueira,Telecommunication and Control Engineering Department, Polytechnic School, The University of São Paulo, 05508-970 São Paulo, Brazil;
Elbert E. Neher Macau,Laboratório Associado de Matemática Aplicada e Computação (LAC), Instituto Nacional de Pesquisas Espaciais (INPE), São Josè dos Campos, 12227-010 São Paulo, Brazil ; [email protected] Celso Grebogi,Department of Physics, King’s College, University of Aberdeen, Aberdeen AB24 3UE, UK;
Hindawi Publishing Corporation http://www.hindawi.com
