Locally Lipschitzian Guiding Function Method for ODEs.

Size: px
Start display at page:

Download "Locally Lipschitzian Guiding Function Method for ODEs."

Transcription

1 Locally Lipschitzian Guiding Function Method for ODEs. Marta Lewicka International School for Advanced Studies, SISSA, via Beirut 2-4, 3414 Trieste, Italy. 1 Introduction Let f : [, T ] R n R n ; we investigate the problem of existence of T- periodic solutions to the first order differential equation with f in the right hand side. Namely, we seek for solutions to the problem: x (t) = f(t, x(t)) x() = x(t ), (1) by generalizing the well known guiding function method. Such an approach can be found in several works, however, under some heavier assumptions. For example, in [M] f is assumed to be locally lipschitzian and the guiding function to be C 1. In [GP] f needs to be of the Caratheodory type only, while the corresponding guiding function must be still C 1. In fact, in [GP] the more general, multivalued problem x (t) ϕ(t, x(t)) x() = x(t ). (1 ) is under consideration. In our paper we get rid of the assumption of the guiding function to be C 1. In fact, in Theorem 1, which is motivated by [GP], we need it to be locally lipschitzian only (Theorem 1). Our second main result (Theorem 2) characterizes a class of guiding functions, satisfying the conditions of Theorem 1. This result is an extension of the theorem on the index of coercive potentials [K] (a remarkable reformulation of which was done in [M]). 1

2 2 PRELIMINARIES 2 2 Preliminaries In this section we review some of the standard facts and definitions. Let X, Y be topological spaces. We say that X is an R δ set, whenever it is homeomorphic with an intersection of a decreasing sequence of compact, metric ANRs. A multivalued mapping ϕ : X Y (we will always suppose that a multivalued mapping has nonempty values) is called upper semicontinuous (u.s.c.) if, for every open set U Y, the set ϕ 1 (U) = x X : ϕ(x) U} is open in X. If X is a space with measure, we say that ϕ is measurable if ϕ 1 + (U) = x X : ϕ(x) U } is measurable for any open set U Y. We say that ϕ is admissible if X and Y are compact metric ANRs and ϕ is u.s.c. with R δ values. A map ϕ : X X is called decomposable if it has a decomposition: ϕ D ϕ : X = X 1 ϕ 2 X1 X2... ϕn X n = X ϕ = ϕ n... ϕ 2 ϕ 1, (2) where each ϕ i is admissible. Let A be an open subset of X such that a decomposable map ϕ (with a decomposition (2)) has no fixed points on its boundary, that is x ϕ(x) for every x A. In such a case it is possible to define a fixed point index Ind X (D ϕ, A) Z having the following properties: (i) (existence) If Ind X (D ϕ, A) then ϕ has a fixed point in A. (ii) (additivity) Let A i, (1 i n) be open, pairwise disjoint subsets of A. Suppose, that ϕ has no fixed points in A \ n i=1 A i. Then the indices Ind X (D ϕ, A i ), 1 i n, are well defined and Ind X (D ϕ, A) = n i=1 Ind X (D ϕ, A i ). (iii) (homotopy invariance) Let ψ : X X be a decomposable mapping, with a decomposition: ψ D ψ : X = X 1 ψ 2 X1 X2... ψn X n = X, ψ = ψ n... ψ 2 ψ 1. Suppose that the decompositions D ϕ and D ψ are homotopic, that is there exists a decomposable homotopy χ : X [, 1] X, having a decomposition: D χ : X [, 1] = X [, 1] χ 1 X 1 [, 1]... χ n 1 X n 1 [, 1] χn X n = X, χ = χ n χ n 1... χ 1, where, for 1 i n, there exist admissible χ i : X i 1 X i such that the following conditions are fulfilled: χ i (, ) = ϕ i, χ i (, 1) = ψ i, χ i (, λ) = χ i (, λ) λ} (for i n) and: x A λ [, 1] x χ(x, λ).

3 2 PRELIMINARIES 3 Then Ind X (D ψ, A) is well defined and: Ind X (D ψ, A) = Ind X (D ϕ, A). (iv) (contraction) Suppose, that in the decomposition of D ϕ we have X n 1 = Y X and the mapping ϕ n is the inclusion: ϕ n = i : Y X. Then ϕ Y has a decomposition D ϕ Y : Y = X ϕ 1 Y X 1 ϕ 2 X2... ϕ n 1 X n 1 = Y. Moreover, if ϕ Y has no fixed points in (A Y ), then Ind Y (D ϕ Y, A Y ) is well defined and Ind Y (D ϕ Y, A Y ) = Ind X (D ϕ, A). (v) (units) If ϕ is constant, that is ϕ(x) = B X for every x X, then Ind X (D ϕ, A) = where D ϕ : X = X ϕ X1 = X. 1 for A B for A B =, Notice, that the fixed point index is defined for a decomposition of a multivalued map, not for the map itself. However, when it is clear which decomposition we mean, we will simply write Ind X (ϕ, A). For the above definitions and other properties of Ind we refer to [BK] and [AGL]. Let ϕ : [, T ] R n R n be a Caratheodory multifunction, that is measurable in the first variable for every x R n and u.s.c. in the second variable for almost every t [, T ] we say that ϕ has integrably bounded growth (with the bounding function µ) if there exists a function µ L 1 ([, T ], R) such that y µ(t)(1+ x ) for every x R n, t [, T ] and y ϕ(t, x). The Poincaré operator for the differential inclusion (1 ) is a multivalued mapping S ϕ : R n C([, T ], R n ), given by S ϕ (x ) = x : [, T ] R n, x is absolutely continuous, x (t) ϕ(t, x(t)) for almost every t [, T ], x() = x }. We say that x : [, T ] R n is a solution of the inclusion x (t) ϕ(t, x(t)), whenever x S ϕ (x()). It is known that if ϕ is of the Caratheodory type, has compact and convex values and has integrably bounded growth, then S ϕ is u.s.c. with R δ values. Let ψ : [, T ] R n [, 1] R n be a multivalued mapping with compact, convex values, such that for every (x, λ) R n [, 1] the mapping ψ(, x, λ) is measurable and that for almost every t [, T ] the map ψ(t,, ) is u.s.c.; assume that there exists µ L 1 ([, T ], R) such that for every λ [, 1] the multifunction ψ(,, λ) has integrably bounded growth with µ as its bounding function. Then the map R n [, 1] (x, λ) S ψ(,,λ) (x) is u.s.c. with R δ values.

4 3 AUXILIARY RESULTS 4 For the statements above, see [AC], [G], [AGL]. From now on, by V will be assumed to be a locally lipschitzian function from R n to R. Let us define Ω V = x R n, V is not differentiable in x}. The Rademacher Theorem states that Ω V has measure. By the generalized gradient of V at point x R n, denoted by V (x ), we mean the convex hull of the set of all limits lim V (x i ) where x i } i i=1 is any sequence of points in R n \ Ω V, converging to x. The following properties of gradient are known: Ω V (i) Let S R n be of measure. Then V (x ) can be obtained by replacing with Ω V S in the above definition. (ii) The multivalued mapping V : R n R n is u.s.c. with compact, convex values. (iii) (mean value theorem) Let x, y R n. Then there exists a point u in a segment (x, y) and a point w V (x) such, that V (x) V (y) = w, y x. The reader is refered to [C] for more more material on this topic. Given an euclidean space, by B(ε) we will denote an open ball of the radius ε, centered in the origin. 3 Auxiliary Results Let us recall the following lemma [GP]: Lemma Assume ϕ : [, T ] R n R n has integrably bounded growth. Fix r >, there exists r > such that, for every solution of the problem x (t) ϕ(t, x(t)) x() > r, we have x(t) > r for every t [, T ]. Moreover, r depends only on r and on the function µ in the definition of integrably bounded growth for the multivalued map ϕ. Lemma 1 Let Ω R n have measure. Suppose we are given a Lebesgue measurable function z : [, T ] R n. Then, for every ε > there exists x B(ε) R n such that z(t) + x Ω for almost every t [, T ].

5 3 AUXILIARY RESULTS 5 Proof Consider the characteristic function of Ω, χ Ω : R n R and a measurable function F : [, T ] B(ε) R n, given by F (t, x) = z(t) + x. Without loss of generality we may assume that Ω is Borel. Then the composition χ Ω F is measurable and from Fubini Theorem we get B(ε) ( T χ Ω F dt)dx = T ( χ Ω F dx)dt =. Hence for almost every x B(ε), T (χ Ω F )(x, t)dt =. B(ε) The following fact is straightforward: Lemma 2 Let z : [, T ] R n be absolutely continuous. Then the composition V z is absolutely continuous and for every t [, T ] such that z is differentiable at t and V is differentiable at z(t), V z is differentiable at t and (V z) (t) = V (z(t)), z (t). The following lemma is of a basic importance for our later considerations: Lemma 3 Let z be as in the previous lemma. Suppose that for almost every t [, T ] we have: v V (z(t)) v, z (t) >. (3) Then (V z) (t) > for almost every t [, T ]. In particular, z(t ) z(). Proof By Lemma 1 there exists a sequence x k } k=1 convergent to R n such that: t [, T ] \ A k > z k (t) = z(t) + x k Ω V, where A [, T ] is a set of measure, containing the points in which z fails to be differentiable. We may also suppose that (3) is valid for every t [, T ]\A. It is easily seen that the absolutely continuous functions V z k are equibounded and that (V z k ) are uniformly dominated by an integrable function t C z (t) with C a positive constant (this follows from Lemma 2). Therefore (see e.g. [AC]) we can extract a subsequence V z ki } i=1 such that the derivatives (V z ki ) converge weakly in L 1 ([, T ], R) to (V z). By Mazur Lemma there exists a sequence of convex combinations w i } i=1, w i = λ i j (V z kj ), convergent to (V z) in L 1 ([, T ], R). Thus, without loss of generality, we have lim i w i (t) = (V z) (t) for every t [, T ] \ A. Fix t [, T ]\A. By (3) there exists a real α t > such that v, z (t) > 2α t for every v V (z(t)). By Lemma 2 and uppersemicontiniuity of V, there exists a number k t such that, for every k k t, we have (V z k ) (t) = V (z(t) + x k ), z (t) v + u, z (t) : v V (z(t)) and u α t / z (t) } j=i

6 3 AUXILIARY RESULTS 6 and, consequently, (V z k ) (t) > α t for every k k t. Thus, w i (t) > α t for i large enough and we conclude that (V z) (t) α t >, which proves the first statement of the lemma. In particular, V z(t ) V z() = T (V z) (τ)dτ >, so z(t ) z(). Definition 1 V is said to be a direct potential (with a constant r > ) if x R n \ B(r ) v, w V (x) v, w Note that the above definition will not change if we replace by >. Our definition agrees with the classical one for C 1 functions presented, for example, in [M]. The following lemma defines the index of a direct potential: Lemma 4 Let V be a direct potential (with a constant r ). Set ϕ : R n R n as follows: ϕ = Id R n V. We define Ind(V ) = Ind B(2r ) (r 2r ϕ, B(r )), where r 2r is the radial retraction of R n onto B(2r ). (Here ϕ and r 2r are admissible, so the decomposition for defining the index is taken naturally as the composition r 2r ϕ.) Then Ind B(2R) (r 2R ϕ, B(R)) = Ind(V ) for every R r. Proof The proof is straightforward and follows from homotopy invariance, additivity and contraction properties of the fixed point index. Let V be as in the previous lemma. Now consider a multivalued mapping W V : R n R n, given W V (x) = conv(r 1 V (x)), where r 1 : R n R n is the radial retraction onto B(1) R n and conv stands for the convex hull. It is not hard to see that W V is u.s.c., bounded by 1 and has compact, convex values. The following lemma is analogous to a result obtained in [GP]: Lemma 5 Set a number T >. There exists R > such that for every r > R there is t r (, T ] such that every solution of the problem: x (t) W V (x(t)) x() = r (4) has the following properties: (i) t (, t r ] v V (x()) x(t) x(), v >, (ii) t (, T ] x(t) x().

7 4 MAIN RESULTS 7 Proof Lemma gives the existence of a number R > r such that for every solution of the problem: x (t) W V (x(t)) x() > R we have x(t) > r for every t [, T ]. Since V is u.s.c. with compact values and V is a direct potential, we obviously have: R > r ε R > x, y B(R) \ B(r ) R n : x y < ε R w V (x) v V (y) w, v >. (5) Fix r > R and let t r ε r+t, t r (, T ]. Let x be a solution of (4). We have x(t) r + t x (τ) dτ r + T for every t [, T ] and x(t) x() t x (τ) dτ t r ε r+t for every t (, t r ]. Hence, by (5): t (, t r ] w V (x(t)) v V (x()) w, v >. Combining the above with the following evident remark: we obtain and, finally, y R n w W V (y) α 1 αw V (y), (6) t (, t r ] w W V (x(t)) v V (x()) w, v > t (, t r ] v V (x()) x(t) x(), v = t x (τ), v dτ >. Moreover, by (6), we have v, x (t) > for almost every t [, T ] and every v V (x(t)), which, by Lemma 3 completes the proof of (ii). 4 Main Results When V is in C 1, the following definition reduces to the corresponding one in [GP]. Definition 2 Let f : [, T ] R n R n, V be a direct potential with a constant r. V is called a guiding function for f, whenever x R n \ B(r ) w V (x) t [, T ] f(t, x), w.

8 4 MAIN RESULTS 8 Here comes our first main result. Theorem 1 Let f : [, T ] R n R n be a Caratheodory function with integrably bounded growth. Suppose that f has a guiding function V (with a constant r ) such that Ind(V ). Then the problem (1) has at least one solution. Proof Consider the following family of differential inclusions, with κ [, 1] : z (t) κw V (z(t)) + (1 κ)f(t, z(t)). By Lemma, there exists R > r such that for any z : [, T ] R n that is a solution of the above problem for some κ [, 1] and satisfies z() R, we have z(t) > r for every t [, T ]. Let t R be as in Lemma 5. Take the decomposable homotopy H : B(2R) [, 1] B(2R), given by H(x, λ) = r 2R ((1 λ) (x V (x)) + λ (2x e tr S WV (x))), where r 2R is, as usual, the radial retraction of R n onto B(2R) and e tr : C([, T ], R n ) R n is by definition e tr (z) = z(t R ) (the explicit formula for the decomposition of H is not complicated but long, so we omit it). We will show that H has no fixed points in B(R). Conversely, suppose that there exists x H(x, λ), with x B(R) and λ [, 1]. Then v V (x) z S WV (x) = (1 λ)(x v) + λ(2x z(t R )) x 2 = (1 λ) 2 v 2 +λ 2 z(t R ) z() 2 +2(1 λ)λ v, z(t R ) z(), which contradicts Lemma 5. By the above formula, Lemma 4 and the homotopy invariance of the fixed point index we have Ind(V ) = Ind B(2R) (r 2R (2Id B(2R) e tr S WV ), B(R)). (7) (the decompositions of the multivalued maps in the formula are induced by the decomposition of the homotopy H). Consider G : [, T ] R n [, 1] R n, given by G(t, x, λ) = k(λ)w V (x) + (1 k(λ))f(t, x), where k : [, 1] R is by definition k(λ) = 1 for λ [, 1/2) 2 2λ for λ [1/2, 1].

9 4 MAIN RESULTS 9 It is easy to check that G has the properties of the map ψ, introduced in paragraph 1, thus the following homotopy is decomposable K : B(2R) [, 1] B(2R), K(x, λ) = r 2R (2x e h(λ) S G(,,λ) (x)), where h : [, 1] R is given by h(λ) = 2(T tr )λ + t R for λ [, 1/2) T for λ [1/2, 1]. Now suppose that the problem (1) has no solutions. We will first show that K has no fixed points in B(R). Conversely, suppose that x K(x, λ) for a point x B(R) and λ [, 1]. If λ [, 1/2), then z(h(λ)) = z() for a function z S WV (x), that contradicts Lemma 5 (ii). If λ [1/2, 1), then z(t ) = z() for a function z S G(,,λ) (x). We have z (t), v = k(λ) w t,v, v + (1 k(λ)) f(t, z(t)), v for almost every t [, T ], every v V (z(t)) and a point w t,v W V (z(t)). Now f(t, z(t)), v > because V is a guiding function for (1) and w t,v, v > from (6) and the fact that V is a direct potential. Consequently z (t), v > for almost every t [, T ] and every v V (z(t)), which contradicts Lemma 3. The case λ = 1 is already excluded by our assumption that (1) has no solutions. Now from the above and homotopy invariance of the fixed point index we have Ind B(2R) (r 2R (2Id B(2R) e tr S WV ), B(R)) = Ind B(2R) (r 2R (2Id B(2R) e T S f ), B(R)). Recalling (7) Ind B(2R) (r 2R (2Id B(2R) e T S f ), B(R)) = Ind(V ). By existence property of the fixed point index we obtain a fixed point of the mapping r 2R (2Id B(2R) e T S f ), namely x B(R) such that x 2x e T S f (x) which is equivalent to x e T S f (x). This means that (1) has a solution (with the initial value x), that is against our contradictory assumption and thus proves the theorem. Our next result gives a condition for a direct potential to have nonzero index, as it is required in Theorem 1. Theorem 2 Let V be a direct potential (with a constant r > ). Suppose that V is coercive, that is V (x) = +. Then Ind(V ) = 1. lim x

10 4 MAIN RESULTS 1 Proof For every γ R denote by A γ the open and bounded subset of R n, given by V 1 ((, γ)). Take the numbers α, β > α and R > r > r such that: B(r ) A α A α B(r) B(r) A β A β B(R). Let β α T = 2 min v, w : v V (x), w W V (x), x A β \ A α } The above formula makes sence in view of (6) (V is a direct potential) and A β \ A α R n \ B(r ). We will consider the following differential inclusion: and its solutions on the interval [, T ]. We have divided the later proof into five steps. z (t) W V (z(t)) (8) Step 1 We will prove that for every γ α the set A γ is positively invariant, that is x A γ z S WV (x) t [, T ] z(t) A γ. The composition V z is absolutely continuous, while (6) implies that for almost every t [, T ] such that z(t) R n \ B(r ) we have v, z (t) < for every v V (z(t)). Using the same method as in the proof of Lemma 3, we obtain (V z) (t) < for almost every t [, T ] such that z(t) R n \ B(r ). If there exist t, t 1 [, T ], that z(t ) A γ and z(t) A γ for every t (t, t 1 ], then V z(t ) = γ and V z(t) > γ for t (t, t 1 ], hence V z(t 1 ) = V z(t ) + t 1 (V z) (τ)dτ < γ, a contradiction. t Step 2 Consider the mapping S 1 : B(2R) (, 1] C([, T ], R n ) S 1 (x, λ) = w : [, T ] R n : w(t) = z(λt) x λ with z S WV (x)}. S 1 is u.s.c. and has R δ values, because S 1 (x, λ) = 1 λ (S λw V (x) x). Moreover w (t) 1 for every w S 1 (B(2R) (, 1]) and for almost every t [, T ]. Hence, by Ascoli-Arzelá Theorem, the set S 1 (B(2R) (, 1]) is relatively compact in C([, T ], R n ). Let S 2 : B(2R) [, 1] C([, T ], R n ), S 2 (x, λ) = S 1 (x, λ) for λ w = lim w k : w k S 1 (x k, λ k ) with x n x, λ k >, λ k } k for λ =. It is readily verified that S 2 is u.s.c. and has compact values.

11 4 MAIN RESULTS 11 Finally, let S : B(2R) [, 1] C([, T ], R n ) S(x, λ) = S 2 (x, λ) for λ conv S 2 (x, ) for λ =. It is not hard to see that S is u.s.c. with R δ values. Step 3 Consider the decomposable homotopy K : B(2R) [, 1] B(2R), K(x, λ) = r 2R (λ(e T S(x, ) + x) + (1 λ)(x V (x))), where r 2R and e T are as in the proof of Theorem 1. We will show that K has no fixed points in A β. First, let us remark that: x A β α x > ε x > y B(x, ε x ) w W V (y) v V (x) w, v > α x. Now let w S 2 (x, ) and v V (x) for a point x A β. By the definition z of S 2, w(t ) = lim k (λ k T ) x k k λ k, where lim x k = x, lim λ k = and λ k >, k k z k S WV (x k ). For k large enough λ k < ε x /(2T ) and x k x < ε x /2, thus, for any t [, λ k T ] and hence z k (t) x x k x + z k (t) x k ε x z k(λ k T ) x k, v = 1 λ k λ k λ k T z k(τ), v dτ > 1 λ k λ k T α x dτ = α x T. This implies w(t ), v α x T >. Now suppose that x K(x, λ) for an x A β and λ [, 1], hence λe T S(x, ) (1 λ) V (x). By the definition of S(, ) there exist w 1,..., w k } k S 2 (x, ), λ 1,..., λ k } R +, λ i = 1 and v V (x) such that i=1 = λ k λ i w i (T ) (1 λ)v 2 i=1 = λ 2 k λ i w i (T ) 2 +(1 λ) 2 v 2 +2λ(1 λ) k λ i w i (T ), v >, i=1 a contradiction. Homotopy invariance and additivity of the fixed point index now yield i=1 Ind(V ) = Ind B(2R) (r 2R (Id B(2R) V ), B(R)) = Ind B(2R) (r 2R (Id B(2R) V ), A β ) = Ind B(2R) (r 2R (e T S(, ) + Id B(2R) ), A β ).

12 4 MAIN RESULTS 12 Step 4 Let H : B(2R) [, 1] B(2R) H(x, λ) = r 2R (e T S(x, λ) + x), H is a decomposable homotopy without fixed points in A β. To show this last statement, it is enough to prove that x H(x, λ) for any x A β and λ (, 1]. Suppose the contrary; then x = z(λt ) for a point x A β and z S WV (x). The sets A β and A α A β are positively invariant by Step 1, hence z(t) A β \A α A β \B(r ) for every t [, λt ]. As in Step 1, we obtain (V z) (t) < for almost every t [, λt ] and, finally = V z(λt ) V (x) = λt (V z) (τ)dτ <, a contradiction. The homotopy invariance of the fixed point index forces: Ind B(2R) (r 2R (e T S(, ) + Id B(2R) ), A β ) = Ind B(2R) (r 2R e T S WV, A β ). Step 5 Take the decomposable homotopy L : B(2R) [, 1] B(2R) L(x, λ) = r 2R (λ e T S WV (x)). If we had x A β, z S WV (x) and λ [, 1) such that x = λz(t ), it would follow = x λz(t ) > x z(t ) and z(t ) R n \ B(r) R n \ A α. Thus V z(t ) > α and z(t) A α for every t [, T ]. Hence: β α > V (x) V z(t ) = T (V z) (τ)dτ. (9) Using the same technique as in the proof of Lemma 3 it can be easily seen that, for almost every t [, T ], z (t) W V (z(t)) and there exists x t k} k=1, convergent to R n such that (V z) (t) is a limit of a sequence wk} t k=1, where each wk t is a convex combination of some numbers in the set V (z(t) + x t i), z (t), i = k, k + 1,...}. Set a number k, for i large enough we have V (z(t) + x i ), z (t) v, z (t) : v V (z(t))+b(1/k)}. Consequently, (V z) (t) v, z (t) : v V (z(t)) + B(1/k)} and (V z) (t) v, w : v V (z(t)), w W V (z(t))} for almost every t [, T ]. Recalling (9), we obtain: β α > T min v, w : v V (x), w W V (x), x A β \ A α } = 2(β α), a contradiction. In this way we have shown that L has no fixed points in A β. By the homotopy invariance and units properties of the fixed point index, Ind B(2R) (r 2R e T S WV, A β ) = Ind B(2R) (, A β ) = 1 and, finally, by Steps 3 5 we obtain Ind(V ) = 1.

13 REFERENCES 13 References [AGL] J. Andres, L. Górniewicz, M. Lewicka: Partially dissipative periodic processes. Topology in Nonlinear Analysis, Banach Center Publications, Vol.35 (1996) [AC] [BK] [C] J. P. Aubin, A. Cellina: Differential Inclusions. Springer, New York- Berlin, R. Bader, W. Kryszewski: Fixed point index for compositions of set valued maps with proximally connected values on arbitrary ANR s. Set Valued Analysis 2, 3 (1994), F. H. Clarke: Optimization and Nonsmooth Analysis. A Willey - Interscience Publication, [G] L. Górniewicz: Topological Approach to Differential Inclusions. in: Proc. Conference on Topological Methods in Differential Equations and Inclusions, Université de Montreal, 1994, NATO ASI series C, Kluwer Acad. publ., Dordrecht NL, pp [GP] [K] [M] L. Górniewicz, S. Plaskacz: Periodic solutions of differential inclusions in R n. Boll. U. M. I. 7-A (1993), M.A. Krasnosel skii: The operator of translation along the trajectories of differential equations. Nauka, Moscow, 1966 (Russian); english translation: American Math. Soc., Translations of math. Monographs, vol. 19, Providence, J. Mawhin: Continuation theorems and periodic solutions of ordinary differential equations. in: Proc. Conference on Topological Methods in Differential Equations and Inclusions, Université de Montreal, 1994, NATO ASI series C, Kluwer Acad. publ., Dordrecht NL, pp

FEEDBACK DIFFERENTIAL SYSTEMS: APPROXIMATE AND LIMITING TRAJECTORIES

FEEDBACK DIFFERENTIAL SYSTEMS: APPROXIMATE AND LIMITING TRAJECTORIES STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume XLIX, Number 3, September 2004 FEEDBACK DIFFERENTIAL SYSTEMS: APPROXIMATE AND LIMITING TRAJECTORIES Abstract. A feedback differential system is defined as

More information

Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach

Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach Alberto Bressan Department of Mathematics, Penn State University University Park, Pa 1682, USA e-mail: bressan@mathpsuedu

More information

The homotopies of admissible multivalued mappings

The homotopies of admissible multivalued mappings Cent. Eur. J. Math. 10(6) 2012 2187-2199 DOI: 10.2478/s11533-012-0115-6 Central European Journal of Mathematics The homotopies of admissible multivalued mappings Research Article Mirosław Ślosarski 1 1

More information

AN AXIOMATIC APPROACH TO A COINCIDENCE INDEX FOR NONCOMPACT FUNCTION PAIRS. Martin Väth. Introduction

AN AXIOMATIC APPROACH TO A COINCIDENCE INDEX FOR NONCOMPACT FUNCTION PAIRS. Martin Väth. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 16, 2000, 307 338 AN AXIOMATIC APPROACH TO A COINCIDENCE INDEX FOR NONCOMPACT FUNCTION PAIRS Martin Väth Abstract.

More information

OPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS

OPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS APPLICATIONES MATHEMATICAE 29,4 (22), pp. 387 398 Mariusz Michta (Zielona Góra) OPTIMAL SOLUTIONS TO STOCHASTIC DIFFERENTIAL INCLUSIONS Abstract. A martingale problem approach is used first to analyze

More information

Tiziana Cardinali Francesco Portigiani Paola Rubbioni. 1. Introduction

Tiziana Cardinali Francesco Portigiani Paola Rubbioni. 1. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 32, 2008, 247 259 LOCAL MILD SOLUTIONS AND IMPULSIVE MILD SOLUTIONS FOR SEMILINEAR CAUCHY PROBLEMS INVOLVING LOWER

More information

An introduction to Mathematical Theory of Control

An introduction to Mathematical Theory of Control An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018

More information

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X. A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary

More information

On Systems of Boundary Value Problems for Differential Inclusions

On Systems of Boundary Value Problems for Differential Inclusions On Systems of Boundary Value Problems for Differential Inclusions Lynn Erbe 1, Christopher C. Tisdell 2 and Patricia J. Y. Wong 3 1 Department of Mathematics The University of Nebraska - Lincoln Lincoln,

More information

In this paper we study periodic solutions of a second order differential equation

In this paper we study periodic solutions of a second order differential equation Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 5, 1995, 385 396 A GRANAS TYPE APPROACH TO SOME CONTINUATION THEOREMS AND PERIODIC BOUNDARY VALUE PROBLEMS WITH IMPULSES

More information

FUNCTIONAL COMPRESSION-EXPANSION FIXED POINT THEOREM

FUNCTIONAL COMPRESSION-EXPANSION FIXED POINT THEOREM Electronic Journal of Differential Equations, Vol. 28(28), No. 22, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) FUNCTIONAL

More information

Functional Differential Equations with Causal Operators

Functional Differential Equations with Causal Operators ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.11(211) No.4,pp.499-55 Functional Differential Equations with Causal Operators Vasile Lupulescu Constantin Brancusi

More information

2 Statement of the problem and assumptions

2 Statement of the problem and assumptions Mathematical Notes, 25, vol. 78, no. 4, pp. 466 48. Existence Theorem for Optimal Control Problems on an Infinite Time Interval A.V. Dmitruk and N.V. Kuz kina We consider an optimal control problem on

More information

The Bang-Bang theorem via Baire category. A Dual Approach

The Bang-Bang theorem via Baire category. A Dual Approach The Bang-Bang theorem via Baire category A Dual Approach Alberto Bressan Marco Mazzola, and Khai T Nguyen (*) Department of Mathematics, Penn State University (**) Université Pierre et Marie Curie, Paris

More information

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

More information

On Discontinuous Differential Equations

On Discontinuous Differential Equations On Discontinuous Differential Equations Alberto Bressan and Wen Shen S.I.S.S.A., Via Beirut 4, Trieste 3414 Italy. Department of Informatics, University of Oslo, P.O. Box 18 Blindern, N-316 Oslo, Norway.

More information

AW -Convergence and Well-Posedness of Non Convex Functions

AW -Convergence and Well-Posedness of Non Convex Functions Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it

More information

A LEFSCHETZ FIXED POINT THEOREM FOR ADMISSIBLE MAPS IN FRÉCHET SPACES

A LEFSCHETZ FIXED POINT THEOREM FOR ADMISSIBLE MAPS IN FRÉCHET SPACES Dynamic Systems and Applications 16 (2007) 1-12 A LEFSCHETZ FIXED POINT THEOREM FOR ADMISSIBLE MAPS IN FRÉCHET SPACES RAVI P. AGARWAL AND DONAL O REGAN Department of Mathematical Sciences, Florida Institute

More information

INITIAL AND BOUNDARY VALUE PROBLEMS FOR NONCONVEX VALUED MULTIVALUED FUNCTIONAL DIFFERENTIAL EQUATIONS

INITIAL AND BOUNDARY VALUE PROBLEMS FOR NONCONVEX VALUED MULTIVALUED FUNCTIONAL DIFFERENTIAL EQUATIONS Applied Mathematics and Stochastic Analysis, 6:2 23, 9-2. Printed in the USA c 23 by North Atlantic Science Publishing Company INITIAL AND BOUNDARY VALUE PROBLEMS FOR NONCONVEX VALUED MULTIVALUED FUNCTIONAL

More information

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε 1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES

AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES AN EXTENSION OF THE NOTION OF ZERO-EPI MAPS TO THE CONTEXT OF TOPOLOGICAL SPACES MASSIMO FURI AND ALFONSO VIGNOLI Abstract. We introduce the class of hyper-solvable equations whose concept may be regarded

More information

Recent Trends in Differential Inclusions

Recent Trends in Differential Inclusions Recent Trends in Alberto Bressan Department of Mathematics, Penn State University (Aveiro, June 2016) (Aveiro, June 2016) 1 / Two main topics ẋ F (x) differential inclusions with upper semicontinuous,

More information

One can readily recognize three characteristic features in Theorem 1: (i) a subset H of a Banach space is convex and closed,

One can readily recognize three characteristic features in Theorem 1: (i) a subset H of a Banach space is convex and closed, Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 14, 1999, 229 238 FROM THE SCHAUDER FIXED-POINT THEOREM TO THE APPLIED MULTIVALUED NIELSEN THEORY Jan Andres 1 Lech

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

arxiv: v2 [math.oc] 17 Jul 2017

arxiv: v2 [math.oc] 17 Jul 2017 Lower semicontinuity of solution mappings for parametric fixed point problems with applications arxiv:1608.03452v2 [math.oc] 17 Jul 2017 Yu Han a and Nan-jing Huang b a. Department of Mathematics, Nanchang

More information

ON PERIODIC BOUNDARY VALUE PROBLEMS OF FIRST-ORDER PERTURBED IMPULSIVE DIFFERENTIAL INCLUSIONS

ON PERIODIC BOUNDARY VALUE PROBLEMS OF FIRST-ORDER PERTURBED IMPULSIVE DIFFERENTIAL INCLUSIONS Electronic Journal of Differential Equations, Vol. 24(24), No. 84, pp. 1 9. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) ON PERIODIC

More information

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS

More information

On the effect of α-admissibility and θ-contractivity to the existence of fixed points of multivalued mappings

On the effect of α-admissibility and θ-contractivity to the existence of fixed points of multivalued mappings Nonlinear Analysis: Modelling and Control, Vol. 21, No. 5, 673 686 ISSN 1392-5113 http://dx.doi.org/10.15388/na.2016.5.7 On the effect of α-admissibility and θ-contractivity to the existence of fixed points

More information

The small ball property in Banach spaces (quantitative results)

The small ball property in Banach spaces (quantitative results) The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence

More information

EQUILIBRIUM FOR PERTURBATIONS OF MULTIFUNCTIONS BY CONVEX PROCESSES

EQUILIBRIUM FOR PERTURBATIONS OF MULTIFUNCTIONS BY CONVEX PROCESSES GEORGIAN MATHEMATICAL JOURNAL: Vol. 3, No. 3, 1996, 201-215 EQUILIBRIUM FOR PERTURBATIONS OF MULTIFUNCTIONS BY CONVEX PROCESSES H. BEN-EL-MECHAIEKH AND W. KRYSZEWSKI Abstract. We present a general equilibrium

More information

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Journal of Inequalities in Pure and Applied Mathematics MONOTONE TRAJECTORIES OF DYNAMICAL SYSTEMS AND CLARKE S GENERALIZED JACOBIAN GIOVANNI P. CRESPI AND MATTEO ROCCA Université de la Vallée d Aoste

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

Geometry and topology of continuous best and near best approximations

Geometry and topology of continuous best and near best approximations Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra

More information

Subdifferential representation of convex functions: refinements and applications

Subdifferential representation of convex functions: refinements and applications Subdifferential representation of convex functions: refinements and applications Joël Benoist & Aris Daniilidis Abstract Every lower semicontinuous convex function can be represented through its subdifferential

More information

LOCAL FIXED POINT THEORY INVOLVING THREE OPERATORS IN BANACH ALGEBRAS. B. C. Dhage. 1. Introduction

LOCAL FIXED POINT THEORY INVOLVING THREE OPERATORS IN BANACH ALGEBRAS. B. C. Dhage. 1. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 24, 24, 377 386 LOCAL FIXED POINT THEORY INVOLVING THREE OPERATORS IN BANACH ALGEBRAS B. C. Dhage Abstract. The present

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

More information

On the cells in a stationary Poisson hyperplane mosaic

On the cells in a stationary Poisson hyperplane mosaic On the cells in a stationary Poisson hyperplane mosaic Matthias Reitzner and Rolf Schneider Abstract Let X be the mosaic generated by a stationary Poisson hyperplane process X in R d. Under some mild conditions

More information

Nonlocal Cauchy problems for first-order multivalued differential equations

Nonlocal Cauchy problems for first-order multivalued differential equations Electronic Journal of Differential Equations, Vol. 22(22), No. 47, pp. 1 9. ISSN: 172-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Nonlocal Cauchy

More information

EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE PROBLEM FOR AN INFINITE SYSTEM OF DIFFERENTIAL EQUATIONS

EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE PROBLEM FOR AN INFINITE SYSTEM OF DIFFERENTIAL EQUATIONS Electronic Journal of Differential Equations, Vol. 217 (217, No. 262, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE

More information

b i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1

b i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1 NONLINEAR EVOLTION EQATIONS FOR MEASRES ON INFINITE DIMENSIONAL SPACES V.I. Bogachev 1, G. Da Prato 2, M. Röckner 3, S.V. Shaposhnikov 1 The goal of this work is to prove the existence of a solution to

More information

THEOREMS, ETC., FOR MATH 516

THEOREMS, ETC., FOR MATH 516 THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition

More information

Some notes on a second-order random boundary value problem

Some notes on a second-order random boundary value problem ISSN 1392-5113 Nonlinear Analysis: Modelling and Control, 217, Vol. 22, No. 6, 88 82 https://doi.org/1.15388/na.217.6.6 Some notes on a second-order random boundary value problem Fairouz Tchier a, Calogero

More information

REGULARIZATION OF CLOSED-VALUED MULTIFUNCTIONS IN A NON-METRIC SETTING

REGULARIZATION OF CLOSED-VALUED MULTIFUNCTIONS IN A NON-METRIC SETTING REGULARIZATION OF CLOSED-VALUED MULTIFUNCTIONS IN A NON-METRIC SETTING DIEGO AVERNA Abstract. Si stabilisce l esistenza di una regolarizzazione per multifunzioni Φ : T Z e F : T X Y, ove T è uno spazio

More information

Necessary optimality conditions for optimal control problems with nonsmooth mixed state and control constraints

Necessary optimality conditions for optimal control problems with nonsmooth mixed state and control constraints Necessary optimality conditions for optimal control problems with nonsmooth mixed state and control constraints An Li and Jane J. Ye Abstract. In this paper we study an optimal control problem with nonsmooth

More information

Ginés López 1, Miguel Martín 1 2, and Javier Merí 1

Ginés López 1, Miguel Martín 1 2, and Javier Merí 1 NUMERICAL INDEX OF BANACH SPACES OF WEAKLY OR WEAKLY-STAR CONTINUOUS FUNCTIONS Ginés López 1, Miguel Martín 1 2, and Javier Merí 1 Departamento de Análisis Matemático Facultad de Ciencias Universidad de

More information

THE NEARLY ADDITIVE MAPS

THE NEARLY ADDITIVE MAPS Bull. Korean Math. Soc. 46 (009), No., pp. 199 07 DOI 10.4134/BKMS.009.46..199 THE NEARLY ADDITIVE MAPS Esmaeeil Ansari-Piri and Nasrin Eghbali Abstract. This note is a verification on the relations between

More information

Notes for Functional Analysis

Notes for Functional Analysis Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the

More information

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)

AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015) NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with

More information

THE HUTCHINSON BARNSLEY THEORY FOR INFINITE ITERATED FUNCTION SYSTEMS

THE HUTCHINSON BARNSLEY THEORY FOR INFINITE ITERATED FUNCTION SYSTEMS Bull. Austral. Math. Soc. Vol. 72 2005) [441 454] 39b12, 47a35, 47h09, 54h25 THE HUTCHINSON BARNSLEY THEORY FOR INFINITE ITERATED FUNCTION SYSTEMS Gertruda Gwóźdź- Lukawska and Jacek Jachymski We show

More information

A convergence result for an Outer Approximation Scheme

A convergence result for an Outer Approximation Scheme A convergence result for an Outer Approximation Scheme R. S. Burachik Engenharia de Sistemas e Computação, COPPE-UFRJ, CP 68511, Rio de Janeiro, RJ, CEP 21941-972, Brazil regi@cos.ufrj.br J. O. Lopes Departamento

More information

Exercises: Brunn, Minkowski and convex pie

Exercises: Brunn, Minkowski and convex pie Lecture 1 Exercises: Brunn, Minkowski and convex pie Consider the following problem: 1.1 Playing a convex pie Consider the following game with two players - you and me. I am cooking a pie, which should

More information

NOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017

NOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017 NOTES ON VECTOR-VALUED INTEGRATION MATH 58, SPRING 207 Throughout, X will denote a Banach space. Definition 0.. Let ϕ(s) : X be a continuous function from a compact Jordan region R n to a Banach space

More information

Viscosity approximation methods for the implicit midpoint rule of asymptotically nonexpansive mappings in Hilbert spaces

Viscosity approximation methods for the implicit midpoint rule of asymptotically nonexpansive mappings in Hilbert spaces Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 016, 4478 4488 Research Article Viscosity approximation methods for the implicit midpoint rule of asymptotically nonexpansive mappings in Hilbert

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

A TWO PARAMETERS AMBROSETTI PRODI PROBLEM*

A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 3 1996 A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* C. De Coster** and P. Habets 1 Introduction The study of the Ambrosetti Prodi problem has started with the paper

More information

ON THE STRONG CONVERGENCE OF DERIVATIVES IN A TIME OPTIMAL PROBLEM.

ON THE STRONG CONVERGENCE OF DERIVATIVES IN A TIME OPTIMAL PROBLEM. ON THE STRONG CONVERGENCE OF DERIVATIVES IN A TIME OPTIMAL PROBLEM. A. CELLINA, F. MONTI, AND M. SPADONI Abstract. We consider a time optimal problem for a system described by a Differential Inclusion,

More information

THE FOLD COMPLEMENTARITY PROBLEM AND THE ORDER COMPLEMENTARITY PROBLEM. G. Isac. Introduction

THE FOLD COMPLEMENTARITY PROBLEM AND THE ORDER COMPLEMENTARITY PROBLEM. G. Isac. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 8, 1996, 343 358 THE FOLD COMPLEMENTARITY PROBLEM AND THE ORDER COMPLEMENTARITY PROBLEM G. Isac Introduction We consider

More information

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR FOURTH-ORDER BOUNDARY-VALUE PROBLEMS IN BANACH SPACES

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR FOURTH-ORDER BOUNDARY-VALUE PROBLEMS IN BANACH SPACES Electronic Journal of Differential Equations, Vol. 9(9), No. 33, pp. 1 8. ISSN: 17-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE AND UNIQUENESS

More information

Dynamic Systems and Applications xx (200x) xx-xx ON TWO POINT BOUNDARY VALUE PROBLEMS FOR SECOND ORDER DIFFERENTIAL INCLUSIONS

Dynamic Systems and Applications xx (200x) xx-xx ON TWO POINT BOUNDARY VALUE PROBLEMS FOR SECOND ORDER DIFFERENTIAL INCLUSIONS Dynamic Systems and Applications xx (2x) xx-xx ON WO POIN BOUNDARY VALUE PROBLEMS FOR SECOND ORDER DIFFERENIAL INCLUSIONS LYNN ERBE 1, RUYUN MA 2, AND CHRISOPHER C. ISDELL 3 1 Department of Mathematics,

More information

FIXED POINT METHODS IN NONLINEAR ANALYSIS

FIXED POINT METHODS IN NONLINEAR ANALYSIS FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point

More information

NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS

NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS K. Jarosz Southern Illinois University at Edwardsville, IL 606, and Bowling Green State University, OH 43403 kjarosz@siue.edu September, 995 Abstract. Suppose

More information

Continuity of convex functions in normed spaces

Continuity of convex functions in normed spaces Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

7. Homotopy and the Fundamental Group

7. Homotopy and the Fundamental Group 7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have

More information

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz

FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this

More information

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

Fixed points of mappings in Klee admissible spaces

Fixed points of mappings in Klee admissible spaces Control and Cybernetics vol. 36 (2007) No. 3 Fixed points of mappings in Klee admissible spaces by Lech Górniewicz 1 and Mirosław Ślosarski 2 1 Schauder Center for Nonlinear Studies, Nicolaus Copernicus

More information

Goebel and Kirk fixed point theorem for multivalued asymptotically nonexpansive mappings

Goebel and Kirk fixed point theorem for multivalued asymptotically nonexpansive mappings CARPATHIAN J. MATH. 33 (2017), No. 3, 335-342 Online version at http://carpathian.ubm.ro Print Edition: ISSN 1584-2851 Online Edition: ISSN 1843-4401 Goebel and Kirk fixed point theorem for multivalued

More information

Local strong convexity and local Lipschitz continuity of the gradient of convex functions

Local strong convexity and local Lipschitz continuity of the gradient of convex functions Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate

More information

Euler Characteristic of Two-Dimensional Manifolds

Euler Characteristic of Two-Dimensional Manifolds Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several

More information

On Monch type multi-valued maps and fixed points

On Monch type multi-valued maps and fixed points Applied Mathematics Letters 20 (2007) 622 628 www.elsevier.com/locate/aml On Monch type multi-valued maps and fixed points B.C. Dhage Kasubai, Gurukul Colony, Ahmedpur-413 515 Dist: Latur, Maharashtra,

More information

Mircea Balaj. Comment.Math.Univ.Carolinae 42,4 (2001)

Mircea Balaj. Comment.Math.Univ.Carolinae 42,4 (2001) Comment.Math.Univ.Carolinae 42,4 (2001)753 762 753 Admissible maps, intersection results, coincidence theorems Mircea Balaj Abstract. We obtain generalizations of the Fan s matching theorem for an open

More information

ON THE ACYCLICITY OF FIXED POINT SETS OF MULTIVALUED MAPS. Grzegorz Gabor. 1. Introduction

ON THE ACYCLICITY OF FIXED POINT SETS OF MULTIVALUED MAPS. Grzegorz Gabor. 1. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 14, 1999, 327 343 ON THE ACYCLICITY OF FIXED POINT SETS OF MULTIVALUED MAPS Grzegorz Gabor Dedicated to the memory

More information

Research Article Solvability of a Class of Integral Inclusions

Research Article Solvability of a Class of Integral Inclusions Abstract and Applied Analysis Volume 212, Article ID 21327, 12 pages doi:1.1155/212/21327 Research Article Solvability of a Class of Integral Inclusions Ying Chen and Shihuang Hong Institute of Applied

More information

Chapter 2 Random Ordinary Differential Equations

Chapter 2 Random Ordinary Differential Equations Chapter 2 Random Ordinary Differential Equations Let (Ω,F, P) be a probability space, where F is a σ -algebra on Ω and P is a probability measure, and let η :[0, T ] Ω R m be an R m -valued stochastic

More information

REMARKS ON THE KKM PROPERTY FOR OPEN-VALUED MULTIMAPS ON GENERALIZED CONVEX SPACES

REMARKS ON THE KKM PROPERTY FOR OPEN-VALUED MULTIMAPS ON GENERALIZED CONVEX SPACES J. Korean Math. Soc. 42 (2005), No. 1, pp. 101 110 REMARKS ON THE KKM PROPERTY FOR OPEN-VALUED MULTIMAPS ON GENERALIZED CONVEX SPACES Hoonjoo Kim and Sehie Park Abstract. Let (X, D; ) be a G-convex space

More information

Georgian Mathematical Journal 1(94), No. 4, ON THE INITIAL VALUE PROBLEM FOR FUNCTIONAL DIFFERENTIAL SYSTEMS

Georgian Mathematical Journal 1(94), No. 4, ON THE INITIAL VALUE PROBLEM FOR FUNCTIONAL DIFFERENTIAL SYSTEMS Georgian Mathematical Journal 1(94), No. 4, 419-427 ON THE INITIAL VALUE PROBLEM FOR FUNCTIONAL DIFFERENTIAL SYSTEMS V. ŠEDA AND J. ELIAŠ Astract. For a system of functional differential equations of an

More information

Exponential stability of families of linear delay systems

Exponential stability of families of linear delay systems Exponential stability of families of linear delay systems F. Wirth Zentrum für Technomathematik Universität Bremen 28334 Bremen, Germany fabian@math.uni-bremen.de Keywords: Abstract Stability, delay systems,

More information

Fragmentability and σ-fragmentability

Fragmentability and σ-fragmentability F U N D A M E N T A MATHEMATICAE 143 (1993) Fragmentability and σ-fragmentability by J. E. J a y n e (London), I. N a m i o k a (Seattle) and C. A. R o g e r s (London) Abstract. Recent work has studied

More information

AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0

AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0 AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional

More information

STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES

STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES STRONG CONVERGENCE THEOREMS FOR COMMUTATIVE FAMILIES OF LINEAR CONTRACTIVE OPERATORS IN BANACH SPACES WATARU TAKAHASHI, NGAI-CHING WONG, AND JEN-CHIH YAO Abstract. In this paper, we study nonlinear analytic

More information

SECOND-ORDER CHARACTERIZATIONS OF CONVEX AND PSEUDOCONVEX FUNCTIONS

SECOND-ORDER CHARACTERIZATIONS OF CONVEX AND PSEUDOCONVEX FUNCTIONS Journal of Applied Analysis Vol. 9, No. 2 (2003), pp. 261 273 SECOND-ORDER CHARACTERIZATIONS OF CONVEX AND PSEUDOCONVEX FUNCTIONS I. GINCHEV and V. I. IVANOV Received June 16, 2002 and, in revised form,

More information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

More information

Deviation Measures and Normals of Convex Bodies

Deviation Measures and Normals of Convex Bodies Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion

More information

Some Applications to Lebesgue Points in Variable Exponent Lebesgue Spaces

Some Applications to Lebesgue Points in Variable Exponent Lebesgue Spaces Çankaya University Journal of Science and Engineering Volume 7 (200), No. 2, 05 3 Some Applications to Lebesgue Points in Variable Exponent Lebesgue Spaces Rabil A. Mashiyev Dicle University, Department

More information

Positive stationary solutions of eq. with p-laplace operator

Positive stationary solutions of eq. with p-laplace operator Positive stationary solutions of equations with p-laplace operator joint paper with Mateusz MACIEJEWSKI Nicolaus Copernicus University, Toruń, Poland Geometry in Dynamics (6th European Congress of Mathematics),

More information

HYBRID DHAGE S FIXED POINT THEOREM FOR ABSTRACT MEASURE INTEGRO-DIFFERENTIAL EQUATIONS

HYBRID DHAGE S FIXED POINT THEOREM FOR ABSTRACT MEASURE INTEGRO-DIFFERENTIAL EQUATIONS HYBRID DHAGE S FIXED POINT THEOREM FOR ABSTRACT MEASURE INTEGRO-DIFFERENTIAL EQUATIONS Dr. Sidheshw. S. Bellale Dept. of Mathematics, Dayanand Science College, Latur, Maharashtra (IND) Email: sidhesh.bellale@gmail.com

More information

Convergence results for solutions of a first-order differential equation

Convergence results for solutions of a first-order differential equation vailable online at www.tjnsa.com J. Nonlinear ci. ppl. 6 (213), 18 28 Research rticle Convergence results for solutions of a first-order differential equation Liviu C. Florescu Faculty of Mathematics,

More information

The Fundamental Group and Covering Spaces

The Fundamental Group and Covering Spaces Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may

More information

ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES

ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES U.P.B. Sci. Bull., Series A, Vol. 80, Iss. 3, 2018 ISSN 1223-7027 ON A HYBRID PROXIMAL POINT ALGORITHM IN BANACH SPACES Vahid Dadashi 1 In this paper, we introduce a hybrid projection algorithm for a countable

More information

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES

ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability

More information

Scalar Asymptotic Contractivity and Fixed Points for Nonexpansive Mappings on Unbounded Sets

Scalar Asymptotic Contractivity and Fixed Points for Nonexpansive Mappings on Unbounded Sets Scalar Asymptotic Contractivity and Fixed Points for Nonexpansive Mappings on Unbounded Sets George Isac Department of Mathematics Royal Military College of Canada, STN Forces Kingston, Ontario, Canada

More information

Weierstraß-Institut. für Angewandte Analysis und Stochastik. im Forschungsverbund Berlin e.v. Preprint ISSN

Weierstraß-Institut. für Angewandte Analysis und Stochastik. im Forschungsverbund Berlin e.v. Preprint ISSN Weierstraß-Institut für Angewandte Analysis und Stochastik im Forschungsverbund Berlin e.v. Preprint ISSN 0946 8633 Proof of a Counterexample to the Finiteness Conjecture in the Spirit of the Theory of

More information

SHADOWING AND INVERSE SHADOWING IN SET-VALUED DYNAMICAL SYSTEMS. HYPERBOLIC CASE. Sergei Yu. Pilyugin Janosch Rieger. 1.

SHADOWING AND INVERSE SHADOWING IN SET-VALUED DYNAMICAL SYSTEMS. HYPERBOLIC CASE. Sergei Yu. Pilyugin Janosch Rieger. 1. Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 32, 2008, 151 164 SHADOWING AND INVERSE SHADOWING IN SET-VALUED DYNAMICAL SYSTEMS. HYPERBOLIC CASE Sergei Yu. Pilyugin

More information

PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC

PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC LE MATEMATICHE Vol. LXV 21) Fasc. II, pp. 97 17 doi: 1.4418/21.65.2.11 PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC JEAN MAWHIN The paper surveys and compares some results on the

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES T. DOMINGUEZ-BENAVIDES, M.A. KHAMSI AND S. SAMADI ABSTRACT In this paper, we prove that if ρ is a convex, σ-finite modular function satisfying

More information

SOME STRUCTURE THEOREMS FOR INVERSE LIMITS WITH SET-VALUED FUNCTIONS

SOME STRUCTURE THEOREMS FOR INVERSE LIMITS WITH SET-VALUED FUNCTIONS http://topology.auburn.edu/tp/ TOPOLOGY PROCEEDINGS Volume 42 (2013) Pages 237-258 E-Published on January 10, 2013 SOME STRUCTURE THEOREMS FOR INVERSE LIMITS WITH SET-VALUED FUNCTIONS M. M. MARSH Abstract.

More information

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces

Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces YUAN-HENG WANG Zhejiang Normal University Department of Mathematics Yingbing Road 688, 321004 Jinhua

More information