A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM

Size: px
Start display at page:

Download "A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM"

Transcription

1 STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume XLVIII, Number 1, March 23 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM Rezumat. Un principiu de maxim pentru o problemă vectorială de control optimal. Ca aplicaţie a unei reguli abstracte a multiplicatorilor s-a stabilit în lucrarea [1] un principiu de maxim pentru o problemă vectorială de control optimal guvernată de o ecuaţie integrală de tip Fredholm. Pentru a nu mări excesiv lungimea lucrării [1], demonstraţia acestui principiu a fost acolo doar schiţată. demonstraţia completă. În prezenta lucrare se dă acum 1. Introduction In the paper [1] we have established multiplier rules for so-called weak dynamic multiobjective optimization problems by using a suitable generalization of the derived sets introduced by M. R. Hestenes [2], [3], [4] for scalar optimization problems. Also in that paper we have used the obtained multiplier rules to state necessary conditions for the local solutions of an abstract multiobjective optimal control problem. Furthermore, we have noticed that these very general optimality conditions can yield a maximum principle for a multiobjective optimal control problem governed by an integral equation of Fredholm type (Theorem 5.1 in [1]). But, in order to avoid an excessive length of the paper, in [1] we have limited ourselves only to a sketch of this application. The goal of the present paper is to give the complete proof of this specific maximum principle. Received by the editors: Mathematics Subject Classification. 49K27, 49J22. 25

2 2. Notations Throughout this paper, N is the set of all positive integers, R is the set of all real numbers, for every m N, R m is the usual m-dimensional Euclidean space of all m-tuples v = (v 1,..., v m ) of real numbers. The subset of R m, consisting of all vectors v = (v 1,..., v m ) with v j for each j {1,..., m}, is denoted by R m +. The inner product of two vectors v, w R m is denoted by v, w. If v R m, then v marks its Euclidean norm. Given any number r >, we put B m + (r) = { v R m + v r }. If X Y are normed linear spaces over the same field, then (X, Y) denotes the normed linear space of all continuous linear mappings A : X Y. Given a point x in a normed linear space a number r >, we denote by B(x, r) the closed ball centered at x with radius r. If M is a subset of a normed linear space, then int M designates the interior of M cl M the closure of M. Finally, we mention some notations regarding functions. The Fréchet derivative of a function f of a single variable is denoted by df, while the partial Fréchet derivative with respect to the nth variable of a function f of several variables is denoted by d n f. If x is a point in a linear space X A is a linear mapping from X into another linear space, then Ax denotes the value of A at x. 3. A Necessary Optimality Condition Let X be a Banach space, which does not reduce to its zero-vector, let X be a nonempty open subset of X, let U be a nonempty set, let m 1, m 2 m 3 be positive integers, let f 1 : X U R m1, f 2 : X U R m2, f 3 : X U R m3 be vector-valued functions which are Fréchet differentiable at each point (x, u) in X U with respect to the first variable. Further, let K 1, K 2 K 3 be convex cones in the spaces R m1, R m2 R m3, respectively, satisfying the following assumptions: int K 1, int K 2, K 2 K 3 are closed. (1) 26

3 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM For each i {1, 2, 3}, we define by K i = {w R mi v K i : v, w } the dual cone of K i. Let F : X U X be a function which is Fréchet differentiable at each point (x, u) X U with respect to the first variable, let S be the set defined by S = {(x, u) X U F (x, u) =, f 2 (x, u) K 2, f 3 (x, u) K 3 }. A point (x, u ) X U is said to be a: (i) weakly K 1 -maximal point of f 1 over S if (x, u ) S [f 1 (x, u ) + int K 1 ] f 1 (S) = ; (ii) local weakly K 1 -maximal point of f 1 over S if (x, u ) S if there is a neighbourhood V of x such that [f 1 (x, u ) + int K 1 ] f 1 (S (V U)) =. The problem of finding the weakly K 1 -maximal points of f 1 over S is called a weak multiobjective optimal control problem is expressed in short as (CP) f 1 (x, u) K1 max weakly subject to (x, u) X U, F (x, u) =, f 2 (x, u) K 2, f 3 (x, u) K 3. The introduction of problem (CP) allows one to call the weakly K 1 -maximal points of f 1 over S solutions to problem (CP). By analogy, the local weakly K 1 - maximal points of f 1 over S can be named local solutions to problem (CP). As an application of multiplier rules stated for arbitrary weak dynamic multiobjective optimization problems, in Section 4 of the paper [1] we have derived necessary optimality conditions for the local solutions to problem (CP). One of the theorems given there will be recalled here. In order to formulate shorter this theorem, we put m = m 1 + m 2 + m 3 conceive the corresponding space R m as the product space R m1 R m2 R m3, i.e. any vector v R m is identified with a certain triple (v 1, v 2, v 3 ) R m1 R m2 R m3. In particular, the zero-vector in R m 27

4 is = ( 1, 2, 3 ), where i (i {1, 2, 3}) is the zero-vector in R mi. Further, we consider the vector-valued function f : X U R m defined by f(x, u) = (f 1 (x, u), f 2 (x, u), f 3 (x, u)). By using these notations, the following theorem is valid. THEOREM 1 [1, Theorem 4.6]. Let (x, u ) X U be a local solution to problem (CP) for which the operator A = d 1 F (x, u ) is bijective, let D R m be a non-empty set such that, for all n N all n-tuples (d 1,..., d n ) of points belonging to D, there exist a number r > a function ω 2 : B+(r n ) U satisfying the following conditions: (i) ω 2 () = u ; (ii) for each x X, the function t B+(r n ) F (x, ω 2 (t)) X is continuous on B+(r n ); (iii) the function t B+(r n ) d 1 F (x, ω 2 (t)) (X, X ) is continuous at ; (iv) lim x x sup { d 1 F (x, ω 2 (t)) d 1 F (x, ω 2 (t)) t B n + (r ) } = ; (v) for each x X, the function t B+(r n ) f(x, ω 2 (t)) R m is continuous on B+(r n ); (vi) there is a number a > such that B(x, a) X such that sup { d 1 f(x, ω 2 (t)) x B(x, a), t B n +(r ) } < ; (vii) sup (viii) sup { } F (x, ω 2 (t)) / t t B+(r n ), t < ; { } d 1 f(x, ω 2 (t)) d 1 f(x, u ) / t t B+(r n ), t < ; (ix) lim x x sup { d 1 f(x, ω 2 (t)) d 1 f(x, ω 2 (t)) t B n + (r ) } = ; (x) lim t 1 t [ f(x, ω 2 (t)) f(x, u ) P t d 1 f(x, u )ω (t) ] =, where P t = t 1 d t n d n for all t = (t 1,..., t n ) R n ω (t) = A 1 F (x, ω 2 (t)) for all t B n +(r ). 28

5 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM Then there exists a vector (λ 1, λ 2, λ 3) K1 K2 K3 \ {( 1, 2, 3 )} such that sup { d 1, λ 1 + d 2, λ 2 + d 3, λ 3 (d1, d 2, d 3 ) D } f 2 (x, u ), λ 2 =. hold. 4. The Maximum Principle In this section we apply Theorem 1 to derive a maximum principle for a multiobjective optimal control problem governed by an integral equation of Fredholm type. In what follows we suppose that T is a positive number, V is a non-empty subset of a real Banach space V, W is a real Banach space which does not reduce to its zero-vector. Let I denote the interval [, T ], let C(I, W) be the linear space of all continuous functions x : I W endowed with the norm x = max { x(τ) τ I}, let P C(I, V ) be the set of all piecewise continuous functions u : I V that are continuous at continuous on the left at each point belonging to the interval ], T ]. Further, let ϕ i : I W cl V R mi (i {1, 2, 3}) be functions that are continuous, Fréchet differentiable with respect to the second variable such that the mappings d 2 ϕ i : I W cl V (W, R mi ) (i {1, 2, 3}) are continuous, let φ : I I W cl V W 29

6 be a function which is continuous, Fréchet differentiable with respect to the third variable, for which the mapping d 3 φ : I I W cl V (W, W) is continuous has the property that the family { d3 φ(σ, τ,, v) : W (W, W) (σ, τ, v) I I V } is uniformly equicontinuous on each closed bounded subset of W. As in Section 3, let K 1, K 2 K 3 be convex cones in the spaces R m1, R m2 R m3, respectively, satisfying the assumptions specified in (1). The problem we will discuss in this section is: (ECP) subject to ϕ 1 (τ, x(τ), u(τ)) dτ K1 max weakly x C(I, W), u P C(I, V ), x(σ) = φ(σ, τ, x(τ), u(τ)) dτ (σ I), ϕ 2 (τ, x(τ), u(τ)) dτ K 2, ϕ 3 (τ, x(τ), u(τ)) dτ K 3. This problem is a special case of the problem (CP) investigated in the preceding section. To see this, it suffices to define the functions f i : C(I, W) P C(I, V ) R mi (i {1, 2, 3}) by f i (x, u) = ϕ i (τ, x(τ), u(τ)) dτ (i {1, 2, 3}), on the one h, F : C(I, W) P C(I, V ) C(I, W) by 3

7 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM F (x, u)(σ) = x(σ) φ(σ, τ, x(τ), u(τ)) dτ (σ I), on the other h, as well as to take X = X = C(I, W) U = P C(I, V ). Furthermore, it should be emphasized that the functions f i (i {1, 2, 3}) F introduced above are Fréchet differentiable with respect to the first variable. The corresponding partial Fréchet derivatives are given by d 1 f i (x, u)y = d 2 ϕ i (τ, x(τ), u(τ))y(τ) dτ (i {1, 2, 3}), (d 1 F (x, u)y)(σ) = y(σ) d 3 φ(σ, τ, x(τ), u(τ))y(τ) dτ (σ I), for all (x, u) C(I, W) P C(I, V ) all y C(I, W). Thus it makes sense to try to specialize Theorem 1 to problem (ECP). To this end we define the functions ϕ : I W cl V R m f : C(I, W) P C(I, V ) R m by ϕ(τ, w, v) = (ϕ 1 (τ, w, v), ϕ 2 (τ, w, v), ϕ 3 (τ, w, v)), f(x, u) = (f 1 (x, u), f 2 (x, u), f 3 (x, u)), respectively. Then we have f(x, u) = ϕ(τ, x(τ), u(τ)) dτ, d 1 f(x, u)y = d 2 ϕ(τ, x(τ), u(τ))y(τ) dτ for all (x, u) C(I, W) P C(I, V ) all y C(I, W). Taking into account all these assumptions considerations concerning the problem (ECP), we get from Theorem 1 the following result. THEOREM 2 [1, Theorem 5.1]. Let (x, u ) C(I, W) P C(I, V ) be a local solution to problem (ECP) satisfying the following conditions: 31

8 (j) for each y C(I, W) the integral equation x = y + has a unique solution x C(I, W); (jj) there is a number a > such that d 3 φ(, τ, x (τ), u (τ))x(τ) dτ sup { d 2 ϕ(τ, x(τ), v) (τ, x, v) I C(I, W) V, x x a } <. Then there exists a vector such that λ = (λ 1, λ 2, λ 3) K 1 K 2 K 3 \ {( 1, 2, 3 )} max {H(τ, v) v V } = H(τ, u (τ)) for all τ I (2) ϕ 2 (τ, x (τ), u (τ)) dτ, λ 2 =, (3) where I is the set of all points τ ], T ] at which u is continuous, H(τ, ) : V R is the function defined by H(τ, v) = ϕ(τ, x (τ), v) + d 2 ϕ(σ, x (σ), u (σ))h(σ; τ, v) dσ, λ, h( ; τ, v) : I W denotes the solution of the variational equation x = φ(, τ, x (τ), v) + d 3 φ(, t, x (t), u (t))x(t) dt. Proof. At first we notice that the operator A = d 1 F (x, u ) is bijective because of condition (j). Next we construct a subset D of the space R m which satisfies the hypotheses of Theorem 1. For this purpose we associate with each pair (τ, v) I V the following expressions: α(τ, v) = ϕ(τ, x (τ), v) ϕ(τ, x (τ), u (τ)), β(τ, v) = φ(, τ, x (τ), v) φ(, τ, x (τ), u (τ)), d(τ, v) = α(τ, v) + d 1 f(x, u ) A 1 β(τ, v). 32

9 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM After that we put D = {d(τ, v) (τ, v) I V }. Now, let n be any positive integer, let d j = d(τ j, v j ) (j {1,..., n}) be points belonging to D. For each j {1,..., n} we set α j = α(τ j, v j ) β j = β(τ j, v j ). Then we have d j = α j + d 1 f(x, u ) A 1 β j for all j {1,..., n}. Without loss of the generality we can assume that the points d 1,..., d n are in such a manner numbered that < τ 1 τ 2... τ n T. Put τ =. Then choose a number r > satisfying Set r = r/n. r < τ j+1 τ j whenever j {,..., n 1} τ j < τ j+1 (4) [τ j r, τ j ] I for all j {1,..., n}. Next we define a function ω 2 : B n +(r ) P C(I, V ). Fix any point t = (t 1,..., t n ) in B n +(r ), Then we have For each j {1,..., n} we denote It is easily seen that (4) (5) imply t t n n t r. (5) N j = { k N j < k n τ k = τ j } t j if N j = a j = t j + k N j t k if N j. < τ j a j τ j a j + t j T for all j {1,..., n}. (6) When n > 1, then we additionally have τ j a j + t j τ j+1 a j+1 for all j {1,..., n 1}. (7) 33

10 From (6) (7) it follows that the intervals I j (j {1,..., n}), defined by satisfy I j = ]τ j a j, τ j a j + t j ] for every j {1,..., n}, I j I for all j {1,..., n}, I j I k = for all j, k {1,..., n}, j k. These properties of the intervals I j (j {1,..., n}) enable us to define the function ω 2 (t) : I V by v j if τ I j for some j {1,..., n} ω 2 (t)(τ) = u (τ) if τ I \ (I 1... I n ). In view of this definition we obviously have ω 2 (t) P C(I, V ). In what follows we prove that the number r the function ω 2 defined above satisfy the conditions (i) (x) of Theorem 1. In the proofs of some of these conditions we shall use the compact set L = [τ 1 r, τ 1 ]... [τ n r, τ n ], which is enclosed in I. Besides, given any t = (t 1,..., t n ) B n +(r ), we shall need the intervals They satisfy L j = [τ j a j, τ j a j + t j ], where j {1,..., n}. L j [τ j r, τ j ] L for all j {1,..., n}. Indeed, let j be any index in {1,..., n}. Since t j a j, we have L j [τ j a j, τ j ]. On the other h, the inequality a j t t n holds. Consequently, (5) implies a j r, whence [τ j a j, τ j ] [τ j r, τ j ]. Thus we have L j [τ j r, τ j ] L, as claimed. 1 are satisfied. ω 2 () = u. 34 Now we consecutively prove that the conditions (i) (x) occurring in Theorem Condition (i): If t =, then I j = for every j {1,..., n}. Thus we have

11 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM Condition (ii): We fix a function x C(I, W). Since the functions (σ, τ) I L φ(σ, τ, x(τ), v j ) W (j {1,..., n}) (σ, τ) I L φ(σ, τ, x(τ), u (τ)) W are continuous on the compact set I L, there exists a number c > such that φ(σ, τ, x(τ), v j ) + φ(σ, τ, x(τ), u (τ)) c (8) for all (σ, τ) I L all j {1,..., n}. Let t 1 = (t 1 1,..., t 1 n) t 2 = (t 2 1,..., t 2 n) be points in B+(r n ). For every j {1,..., n} we put L j1 = [τ j a j1, τ j a j1 + t 1 j], L j2 = [τ j a j2, τ j a j2 + t 2 j], M j = {τ j (1 τ)a j1 τa j2 τ [, 1]}, where a j1 a j2 are the numbers used in the definition of the function ω 2 (t 1 ) ω 2 (t 2 ), respectively. Obviously, we have a j1 a j2 t 1 j t 2 j + k N j t 1 k t 2 k n t 1 t 2 (9) for every j {1,..., n}. Fix any σ I. In virtue of (8) (9) it follows that φ(σ, τ, x(τ), v j ) dτ φ(σ, τ, x(τ), v j ) dτ c(2 a j1 a j2 + t 1 j t 2 j ) L j1 L j2 c(2n + 1) t 1 t 2 φ(σ, τ, x(τ), u (τ)) dτ c a j1 a j2 cn t 1 t 2 M j for all j {1,..., n}. Accordingly, we have τ j φ(σ, τ, x(τ), ω 2 (t 1 )(τ)) dτ τ j φ(σ, τ, x(τ), ω 2 (t 2 )(τ)) dτ τ j 1 φ(σ, τ, x(τ), u (τ)) dτ + τ j 1 φ(σ, τ, x(τ), v j ) dτ φ(σ, τ, x(τ), v j ) dτ M j L j1 L j2 35

12 + k N j L k1 φ(σ, τ, x(τ), v k ) dτ L k2 φ(σ, τ, x(τ), v k ) dτ 2cn(n + 1) t 1 t 2 for every j {1,..., n} such that τ j 1 < τ j. Taking into account that we obtain φ(σ, τ, x(τ), ω 2 (t 1 )(τ)) dτ τ j τ j 1 φ(σ, τ, x(τ), ω 2 (t 1 )(τ)) dτ φ(σ, τ, x(τ), ω 2 (t 2 )(τ)) dτ τ j τ j 1 φ(σ, τ, x(τ), ω 2 (t 1 )(τ)) dτ 2cn 2 (n + 1) t 1 t 2. Since σ I was arbitrarily chosen, this result implies φ(σ, τ, x(τ), ω 2 (t 2 )(τ)) dτ, φ(σ, τ, x(τ), ω 2 (t 2 )(τ)) dτ F (x, ω 2 (t 1 )) F (x, ω 2 (t 2 )) 2cn 2 (n + 1) t 1 t 2. Thus the function t B n +(r ) F (x, ω 2 (t)) C(I, W) is continuous on B n +(r ). Condition (iii): Since the functions (σ, τ) I L d 3 φ(σ, τ, x (τ), v j ) (W, W) (j {1,..., n}) (σ, τ) I L d 3 φ(σ, τ, x (τ), u (τ)) (W, W) are continuous on the compact set I L, there exists a number c > such that d 3 φ(σ, τ, x (τ), v j ) d 3 φ(σ, τ, x (τ), u (τ)) c (1) for all (σ, τ) I L all j {1,..., n}. Let the number ε > be arbitrarily given. Let t B+(r n ) be such that t < ε/(cn). Fix any function y C(I, W) for which y 1. In virtue of (1), the expression 36 g(σ) = [ d3 φ(σ, τ, x (τ), ω 2 (t)(τ)) d 3 φ(σ, τ, x (τ), u (τ)) ] y(τ) dτ

13 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM satisfies for all σ I g(σ) L j d 3 φ(σ, τ, x (τ), v j ) d 3 φ(σ, τ, x (τ), u (τ)) y(τ) dτ On the other h we have c(t t n ) cn t < ε. [ d 1 F (x, ω 2 (t)) d 1 F (x, u ) ] y = max {g(σ) σ I}. Consequently, it follows that [ d 1 F (x, ω 2 (t)) d 1 F (x, u ) ] y < ε. Since y was arbitrarily chosen in C(I, W) such that y 1, we get So we have shown that the function is continuous at. d 1 F (x, ω 2 (t)) d 1 F (x, u ) ε. t B n +(r ) d 1 F (x, ω 2 (t)) (C(I, W), C(I, W)) Condition (iv): Let the number ε > be arbitrarily given. Since the family { d3 φ(σ, τ,, v) : W (W, W) (σ, τ, v) I I V } is uniformly equicontinuous on the set W = { w W w x + 1 }, there is a number δ > such that d 3 φ(σ, τ, w 1, v) d 3 φ(σ, τ, w 2, v) < ε/t (11) for all w 1, w 2 W with w 1 w 2 < δ all (σ, τ, v) I I V. Now fix any x C(I, W) such that x x < min {1, δ}. Then we have x(τ), x (τ) W x(τ) x (τ) < δ for all τ I. Next fix a point t B+(r n ), for short, denote u = ω 2 (t). Then (11) implies [ d 1 F (x, u) d 1 F (x, u) ] y { T = max G(σ, τ)y(τ) dτ } σ I 37

14 max { for all y C(I, W) satisfying y 1, where Consequently, we have G(σ, τ) dτ σ I } ε G(σ, τ) = d 3 φ(σ, τ, x(τ), u(τ)) d 3 φ(σ, τ, x (τ), u(τ)). d 1 F (x, u) d 1 F (x, u) ε. Since t was arbitrarily chosen in B n +(r ), the following inequality is true: Thus we have sup { d 1 F (x, ω 2 (t)) d 1 F (x, ω 2 (t)) t B n + (r ) } ε. lim x x sup { d 1 F (x, ω 2 (t)) d 1 F (x, ω 2 (t)) t B n + (r ) } =. Condition (v): We fix a function x C(I, W). Since the functions τ L ϕ(τ, x(τ), v j ) R m (j {1,..., n}) τ L ϕ(τ, x(τ), u (τ)) R m are continuous on the compact set L, there exists a number c > such that for all τ L all j {1,..., n}. ϕ(τ, x(τ), v j ) + ϕ(τ, x(τ), u (τ)) c (12) Let t 1 = (t 1 1,..., t 1 n) t 2 = (t 2 1,..., t 2 n) be points in B n +(r ). By using the intervals L j1, L j2 M j (j {1,..., n}) that we previously employed to show that condition (ii) is satisfied, it follows from (9) (12) that ϕ(τ, x(τ), v j ) dτ ϕ(τ, x(τ), v j ) dτ L j1 L j2 c(2 a j1 a j2 + t 1 j t 2 j ) c(2n + 1) t 1 t 2 that 38 M j ϕ(τ, x(τ), u (τ)) dτ c a j1 a j2 cn t 1 t 2

15 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM for all j {1,..., n}. Accordingly, we have τ j ϕ(τ, x(τ), ω 2 (t 1 )(τ)) dτ τ j ϕ(τ, x(τ), ω 2 (t 2 )(τ)) dτ τ j 1 ϕ(τ, x(τ), u (τ)) dτ + τ j 1 ϕ(τ, x(τ), v j ) dτ ϕ(τ, x(τ), v j ) dτ M j + k N j L k1 L j1 ϕ(τ, x(τ), v k ) dτ L k2 L j2 ϕ(τ, x(τ), v k ) dτ 2cn(n + 1) t 1 t 2 for every j {1,..., n} such that τ j 1 < τ j. Taking into account that we obtain = τ j τ j 1 f(x, ω 2 (t 1 )) f(x, ω 2 (t 2 )) ϕ(τ, x(τ), ω 2 (t 1 )(τ)) dτ ϕ(τ, x(τ), ω 2 (t 1 )(τ)) dτ ϕ(τ, x(τ), ω 2 (t 2 )(τ)) dτ τ j τ j 1 ϕ(τ, x(τ), ω 2 (t 2 )(τ)) dτ, f(x, ω 2 (t 1 )) f(x, ω 2 (t 2 )) 2cn 2 (n + 1) t 1 t 2. Thus the function t B n +(r ) f(x, ω 2 (t)) R m is continuous on B n +(r ). Condition (vi): Set B(x, a) = { x C(I, W) x x a } c = sup { d 2 ϕ(τ, x(τ), v) τ I, x B(x, a), v V }. Let x be in B(x, a), let t be in B n +(r ). Since the function ω 2 (t) takes its values in V, we have d 2 ϕ(τ, x(τ), ω 2 (t)(τ)) y(τ) d 2 ϕ(τ, x(τ), ω 2 (t)(τ)) y(τ) c y for all τ I all y C(I, W). This result implies d 1 f(x, ω 2 (t))y = d 2 ϕ(τ, x(τ), ω 2 (t)(τ)) y(τ) dτ T sup { d 2 ϕ(τ, x(τ), ω 2 (t)(τ)) y(τ) τ I } ct y 39

16 for all y C(I, W). Hence, we have d 1 f(x, ω 2 (t)) ct. Since x t were arbitrarily chosen in B(x, a) B n +(r ), respectively, it is true that sup { d 1 f(x, ω 2 (t)) x B(x, a), t B n +(r ) } ct. Condition (vii): Since the functions (σ, τ) I L φ(σ, τ, x (τ), u (τ)) W (σ, τ) I L φ(σ, τ, x (τ), v j ) W (j {1,..., n}) are continuous on the compact set I L, there exists a number c > such that φ(σ, τ, x (τ), u (τ)) φ(σ, τ, x (τ), v j ) c for all (σ, τ) I L all j {1,..., n}. Then we have = max max { T F (x, ω 2 (t)) [ φ(σ, τ, x (τ), u (τ)) φ(σ, τ, x (τ), ω 2 (t)(τ)) ] } dτ σ I { n L j for all t B n +(r ), thus φ(σ, τ, x (τ), u (τ)) φ(σ, τ, x (τ), v j ) } dτ σ I c(t t n ) cn t sup { F (x, ω 2 (t)) / t t B n +(r ), t } cn. Condition (viii): Since the functions τ L d 2 ϕ(τ, x (τ), v j ) (W, R m ) (j {1,..., n}) τ L d 2 ϕ(τ, x (τ), u (τ)) (W, R m ) are continuous on the compact set L, there exists a number c > such that d 2 ϕ(τ, x (τ), v j ) d 2 ϕ(τ, x (τ), u (τ)) c 4

17 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM for all τ L all j {1,..., n}. Fix any t B n +(r ). Then we have = = [d 1 f(x, ω 2 (t)) d 1 f(x, u )] y [ d2 ϕ(τ, x (τ), ω 2 (t)(τ)) d 2 ϕ(τ, x (τ), u (τ)) ] y(τ) dτ d2 ϕ(τ, x (τ), ω 2 (t)(τ)) d 2 ϕ(τ, x (τ), u (τ)) dτ L j d2 ϕ(τ, x (τ), v j ) d 2 ϕ(τ, x (τ), u (τ)) dτ c(t t n ) cn t for all y C(I, W) satisfying y 1. This result implies d 1 f(x, ω 2 (t)) d 1 f(x, u ) cn t. Since t was arbitrarily chosen in B n +(r ), we get sup { d 1 f(x, ω 2 (t)) d 1 f(x, u ) / t t B n + (r ), t } cn. Condition (ix): Let the number ε > be arbitrarily given. For each (τ, w) I W we denote g j (τ, w) = d 2 ϕ(τ, x (τ) + w, v j ) d 2 ϕ(τ, x (τ), v j ) (j {1,..., n}), g(τ, w) = d 2 ϕ(τ, x (τ) + w, u (τ)) d 2 ϕ(τ, x (τ), u (τ)). Since the function (τ, w, v) I W cl V d 2 ϕ(τ, w, v) (W, R m ) is continuous, we can apply Lemma 2, given in [5], conclude that lim s sup { g j (τ, w) τ I, w W, w s } = for each j {1,..., n} that lim s sup { g(τ, w) } τ I, w W, w s =. 41

18 Consequently, there is a number δ > such that sup { g j (τ, w) τ I, w W, w δ } < ε/(2t ) sup { g(τ, w) } τ I, w W, w δ < ε/(2t ). Now let x C(I, W) be any function satisfying x x < δ. t B n +(r ). Then we have [d1 f(x, ω 2 (t)) d 1 f(x, ω 2 (t))] y Fix any T = [ d2 ϕ(τ, x(τ), ω 2 (t)(τ)) d 2 ϕ(τ, x (τ), ω 2 (t)(τ)) ] y(τ) dτ d 2 ϕ(τ, x(τ), ω 2 (t)(τ)) d 2 ϕ(τ, x (τ), ω 2 (t)(τ)) dτ d2 ϕ(τ, x(τ), v j ) d 2 ϕ(τ, x (τ), v j ) dτ + d2 ϕ(τ, x(τ), u (τ)) d 2 ϕ(τ, x (τ), u (τ)) dτ sup { g j (τ, x(τ) x (τ)) } { τ I + T sup g(τ, x(τ) x (τ)) } τ I < ε for all y C(I, W) satisfying y 1. This result implies d 1 f(x, ω 2 (t)) d 1 f(x, ω 2 (t)) ε. Since t was arbitrarily chosen in B n +(r ), we have Consequently, it is true that sup { d 1 f(x, ω 2 (t)) d 1 f(x, ω 2 (t)) t B n + (r ) } ε. lim x x sup { d 1 f(x, ω 2 (t)) d 1 f(x, ω 2 (t)) t B n + (r ) } =. 42 Condition (x): We denote P α t = t 1 α t n α n for all t = (t 1,..., t n ) B n +(r ).

19 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM We claim that the function satisfies t B n +(r ) f(x, ω 2 (t)) f(x, u ) P α t R m 1 [ lim t f(x, ω 2 (t)) f(x, u ) P α t ] =. (13) t To prove this, let the number ε > be arbitrarily given. Since the functions τ L ϕ(τ, x (τ), v j ) R m (j {1,..., n}) τ L ϕ(τ, x (τ), u (τ)) R m are continuous on the compact set L, they are uniformly continuous on this set. Thus there exists a number δ > such that for all j {1,..., n} all τ L satisfying τ τ j < δ the following inequalities hold: ϕ(τ, x (τ), v j ) ϕ(τ j, x (τ j ), v j ) < ε/(2n); These inequalities imply ϕ(τ, x (τ), u (τ)) ϕ(τ j, x (τ j ), u (τ j )) < ε/(2n). ϕ(τ, x (τ), v j ) ϕ(τ, x (τ), u (τ)) α j < ε/n (14) for all j {1,..., n} all τ L satisfying τ τ j < δ. Now let t B n +(r ) \ {} be any point such that t < δ/n. Then we have = L j f(x, ω 2 (t)) f(x, u ) P α t [ ϕ(τ, x (τ), v j ) ϕ(τ, x (τ), u (τ)) α j] dτ t 1 A t n A n, (15) where A j = max { ϕ(τ, x (τ), v j ) ϕ(τ, x (τ), u (τ)) α j τ L j } for j {1,..., n}. Next take into consideration that, if τ L j for some j {1,..., n}, then τ lies in L satisfies τ τ j a j t t n n t < δ. (16) 43

20 Consequently, (14) implies A j < ε/n for all j {1,..., n}. In view of this result, we get from (15) that hence f(x, ω 2 (t)) f(x, u ) P α t < ε (t t n )/n ε t, Thus (13) is true, as claimed. Next, we denote 1 [ f(x, ω 2 (t)) f(x, u ) P α t ] < ε. t P β t = t 1 β t n β n for all t = (t 1,..., t n ) B n +(r ). A reasoning similar to that used in the proof of (13) reveals that the function satisfies t B n +(r ) F (x, ω 2 (t)) + P β t C(I, W) 1 [ lim t F (x, ω 2 (t)) + P β t ] =. (17) t Indeed, let the number ε > be arbitrarily given. Since the functions (σ, τ) I L φ(σ, τ, x (τ), v j ) W (j {1,..., n}) (σ, τ) I L φ(σ, τ, x (τ), u (τ)) W are continuous on the compact set I L, they are uniformly continuous on this set. Thus there exists a number δ > such that for all j {1,..., n}, all σ I, all τ L satisfying τ τ j < δ the following inequalities hold: φ(σ, τ, x (τ), v j ) φ(σ, τ j, x (τ j ), v j ) < ε/(2n); φ(σ, τ, x (τ), u (τ)) φ(σ, τ j, x (τ j ), u (τ j )) < ε/(2n). These inequalities imply φ(σ, τ, x (τ), u (τ)) φ(σ, τ, x (τ), v j ) + β j (σ) < ε/n (18) for all j {1,..., n}, all σ I, all τ L satisfying τ τ j < δ. 44

21 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM Now, let t B n +(r ) \ {} be any point such that t < δ/n. Then we have = L j F (x, ω 2 (t))(σ) + (P β t)(σ) [ φ(σ, τ, x (τ), u (τ)) φ(σ, τ, x (τ), v j ) + β j (σ) ] dτ t 1 B 1 (σ) t n B n (σ) (19) for every σ I, where B j (σ) = max { φ(σ, τ, x (τ), u (τ)) φ(σ, τ, x (τ), v j ) + β j (σ) τ Lj } for j {1,..., n}. As before, now take into consideration that if τ L j for some index j {1,..., n}, then τ lies in L satisfies (16). Consequently, (18) implies B j (σ) < ε/n for all j {1,..., n} all σ I. In view of this result, we get from (19) that F (x, ω 2 (t))(σ) + (P β t)(σ) < ε (t t n )/n ε t for all σ I. From this it follows that hence Thus (17) is true, as claimed. From (17) we obtain F (x, ω 2 (t)) + P β t < ε t, 1 [ F (x, ω 2 (t)) + P β t ] < ε. t where 1 [ lim t ω (t) + t t j A 1 β j] =, (2) Obviously, (2) yields ω (t) = A 1 F (x, ω 2 (t)) for all t B n +(r ). 1 [ lim t d1 f(x, u )ω (t) + t Finally, note that the point P t defined by t j d 1 f(x, u ) A 1 β j] =. (21) P t = t 1 d t n d n for all t = (t 1,..., t n ) R n, 45

22 in our case can be written under the form P t = P α t + t j d 1 f(x, u ) A 1 β j. Accordingly, we conclude from (13) (21) that 1 [ lim t f(x, ω 2 (t)) f(x, u ) P t d 1 f(x, u )ω (t) ] =. t Summing up, all the hypotheses of Theorem 1 are fulfilled. By applying this theorem, it follows that there is a vector λ = (λ 1, λ 2, λ 3) K 1 K 2 K 3 \ {( 1, 2, 3 )} satisfying the inequality d(τ, v), λ whenever (τ, v) I V (22) as well as the equality (3). From (22) we obtain (2). Indeed, to see this, we fix any τ I. Since we have A 1 φ(, τ, x (τ), v) = h( ; τ, v) for all v V, it follows that d 1 f(x, u ) A 1 φ(, τ, x (τ), v) = d 2 ϕ(σ, x (σ), u (σ))h(σ; τ, v) dσ. In view of this result, H(τ, ) can be rewritten as follows: H(τ, v) = ϕ(τ, x (τ), v) + d 1 f(x, u ) A 1 φ(, τ, x (τ), v), λ for every v V. Therefore we have H(τ, v) H(τ, u (τ)) = d(τ, v), λ for all v V. In virtue of (22) it follows that H(τ, v) H(τ, u (τ)) for all v V. Consequently, the equality (2) holds, which completes the proof. 46

23 A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM References [1] W. W. Breckner, Derived sets for weak multiobjective optimization problems with state control variables, J. Optim. Theory Appl. 93 (1997), [2] M. R. Hestenes, On variational theory optimal control theory, SIAM J. Control 3 (1965), [3] M. R. Hestenes, Calculus of Variations Optimal Control Theory, John Wiley Sons, New York, [4] M. R. Hestenes, Optimization Theory, John Wiley Sons, New York, [5] W. H. Schmidt, Notwendige Optimalitätsbedingungen für Prozesse mit zeitvariablen Integralgleichungen in Banachräumen, Z. Angew. Math. Mech. 6 (198), Faculty of Mathematics Computer Science, Babeş-Bolyai University, 34 Cluj-Napoca, Romania 47

EQUICONTINUITY AND SINGULARITIES OF FAMILIES OF MONOMIAL MAPPINGS

EQUICONTINUITY AND SINGULARITIES OF FAMILIES OF MONOMIAL MAPPINGS STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LI, Number 3, September 2006 EQUICONTINUITY AND SINGULARITIES OF FAMILIES OF MONOMIAL MAPPINGS WOLFGANG W. BRECKNER and TIBERIU TRIF Dedicated to Professor

More information

CHARACTERIZATION OF (QUASI)CONVEX SET-VALUED MAPS

CHARACTERIZATION OF (QUASI)CONVEX SET-VALUED MAPS CHARACTERIZATION OF (QUASI)CONVEX SET-VALUED MAPS Abstract. The aim of this paper is to characterize in terms of classical (quasi)convexity of extended real-valued functions the set-valued maps which are

More information

Existence and data dependence for multivalued weakly Ćirić-contractive operators

Existence and data dependence for multivalued weakly Ćirić-contractive operators Acta Univ. Sapientiae, Mathematica, 1, 2 (2009) 151 159 Existence and data dependence for multivalued weakly Ćirić-contractive operators Liliana Guran Babeş-Bolyai University, Department of Applied Mathematics,

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

The local equicontinuity of a maximal monotone operator

The local equicontinuity of a maximal monotone operator arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T

More information

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings

On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings Int. J. Nonlinear Anal. Appl. 7 (2016) No. 1, 295-300 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.341 On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous

More information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

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

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

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

More information

A New Fenchel Dual Problem in Vector Optimization

A New Fenchel Dual Problem in Vector Optimization A New Fenchel Dual Problem in Vector Optimization Radu Ioan Boţ Anca Dumitru Gert Wanka Abstract We introduce a new Fenchel dual for vector optimization problems inspired by the form of the Fenchel dual

More information

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological

More information

A NOTE ON MULTIVALUED MEIR-KEELER TYPE OPERATORS

A NOTE ON MULTIVALUED MEIR-KEELER TYPE OPERATORS STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LI, Number 4, December 2006 A NOTE ON MULTIVALUED MEIR-KEELER TYPE OPERATORS ADRIAN PETRUŞEL AND GABRIELA PETRUŞEL Dedicated to Professor Gheorghe Coman at

More information

Best proximity problems for Ćirić type multivalued operators satisfying a cyclic condition

Best proximity problems for Ćirić type multivalued operators satisfying a cyclic condition Stud. Univ. Babeş-Bolyai Math. 62(207), No. 3, 395 405 DOI: 0.2493/subbmath.207.3. Best proximity problems for Ćirić type multivalued operators satisfying a cyclic condition Adrian Magdaş Abstract. The

More information

BEST APPROXIMATIONS AND ORTHOGONALITIES IN 2k-INNER PRODUCT SPACES. Seong Sik Kim* and Mircea Crâşmăreanu. 1. Introduction

BEST APPROXIMATIONS AND ORTHOGONALITIES IN 2k-INNER PRODUCT SPACES. Seong Sik Kim* and Mircea Crâşmăreanu. 1. Introduction Bull Korean Math Soc 43 (2006), No 2, pp 377 387 BEST APPROXIMATIONS AND ORTHOGONALITIES IN -INNER PRODUCT SPACES Seong Sik Kim* and Mircea Crâşmăreanu Abstract In this paper, some characterizations of

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

CARISTI TYPE OPERATORS AND APPLICATIONS

CARISTI TYPE OPERATORS AND APPLICATIONS STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume XLVIII, Number 3, September 2003 Dedicated to Professor Gheorghe Micula at his 60 th anniversary 1. Introduction Caristi s fixed point theorem states that

More information

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

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

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm Proposition : B(K) is complete. f = sup f(x) x K Proof.

More information

FIXED POINT THEOREMS OF KRASNOSELSKII TYPE IN A SPACE OF CONTINUOUS FUNCTIONS

FIXED POINT THEOREMS OF KRASNOSELSKII TYPE IN A SPACE OF CONTINUOUS FUNCTIONS Fixed Point Theory, Volume 5, No. 2, 24, 181-195 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.htm FIXED POINT THEOREMS OF KRASNOSELSKII TYPE IN A SPACE OF CONTINUOUS FUNCTIONS CEZAR AVRAMESCU 1 AND CRISTIAN

More information

COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES

COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES STUDIA UNIV. BABEŞ BOLYAI MATHEMATICA Volume XLVII Number 1 March 00 COMMON FIXED POINT THEOREMS FOR MULTIVALUED OPERATORS ON COMPLETE METRIC SPACES 1. Introduction The purpose of this paper is to prove

More information

A SHORT INTRODUCTION TO BANACH LATTICES AND

A SHORT INTRODUCTION TO BANACH LATTICES AND CHAPTER A SHORT INTRODUCTION TO BANACH LATTICES AND POSITIVE OPERATORS In tis capter we give a brief introduction to Banac lattices and positive operators. Most results of tis capter can be found, e.g.,

More information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32 Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak

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

ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999

ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI. Received December 14, 1999 Scientiae Mathematicae Vol. 3, No. 1(2000), 107 115 107 ITERATIVE SCHEMES FOR APPROXIMATING SOLUTIONS OF ACCRETIVE OPERATORS IN BANACH SPACES SHOJI KAMIMURA AND WATARU TAKAHASHI Received December 14, 1999

More information

A note on a construction of J. F. Feinstein

A note on a construction of J. F. Feinstein STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform

More information

ON A CLASS OF LINEAR POSITIVE BIVARIATE OPERATORS OF KING TYPE

ON A CLASS OF LINEAR POSITIVE BIVARIATE OPERATORS OF KING TYPE STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LI, Number 4, December 2006 ON A CLASS OF LINEAR POSITIVE BIVARIATE OPERATORS OF KING TYPE OCTAVIAN AGRATINI Dedicated to Professor Gheorghe Coman at his

More information

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space

Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space Chapter 4 Optimal Control Problems in Infinite Dimensional Function Space 4.1 Introduction In this chapter, we will consider optimal control problems in function space where we will restrict ourselves

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

TWO MAPPINGS RELATED TO SEMI-INNER PRODUCTS AND THEIR APPLICATIONS IN GEOMETRY OF NORMED LINEAR SPACES. S.S. Dragomir and J.J.

TWO MAPPINGS RELATED TO SEMI-INNER PRODUCTS AND THEIR APPLICATIONS IN GEOMETRY OF NORMED LINEAR SPACES. S.S. Dragomir and J.J. RGMIA Research Report Collection, Vol. 2, No. 1, 1999 http://sci.vu.edu.au/ rgmia TWO MAPPINGS RELATED TO SEMI-INNER PRODUCTS AND THEIR APPLICATIONS IN GEOMETRY OF NORMED LINEAR SPACES S.S. Dragomir and

More information

Your first day at work MATH 806 (Fall 2015)

Your first day at work MATH 806 (Fall 2015) Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies

More information

Pogorelov Klingenberg theorem for manifolds homeomorphic to R n (translated from [4])

Pogorelov Klingenberg theorem for manifolds homeomorphic to R n (translated from [4]) Pogorelov Klingenberg theorem for manifolds homeomorphic to R n (translated from [4]) Vladimir Sharafutdinov January 2006, Seattle 1 Introduction The paper is devoted to the proof of the following Theorem

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

SOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM. 1. Introduction

SOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM. 1. Introduction ACTA MATHEMATICA VIETNAMICA 271 Volume 29, Number 3, 2004, pp. 271-280 SOME STABILITY RESULTS FOR THE SEMI-AFFINE VARIATIONAL INEQUALITY PROBLEM NGUYEN NANG TAM Abstract. This paper establishes two theorems

More information

Mathematics for Economists

Mathematics for Economists Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples

More information

Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou

Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou J. Korean Math. Soc. 38 (2001), No. 6, pp. 1245 1260 DEMI-CLOSED PRINCIPLE AND WEAK CONVERGENCE PROBLEMS FOR ASYMPTOTICALLY NONEXPANSIVE MAPPINGS Shih-sen Chang, Yeol Je Cho, and Haiyun Zhou Abstract.

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

WEAK CONVERGENCE OF RESOLVENTS OF MAXIMAL MONOTONE OPERATORS AND MOSCO CONVERGENCE

WEAK CONVERGENCE OF RESOLVENTS OF MAXIMAL MONOTONE OPERATORS AND MOSCO CONVERGENCE Fixed Point Theory, Volume 6, No. 1, 2005, 59-69 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.htm WEAK CONVERGENCE OF RESOLVENTS OF MAXIMAL MONOTONE OPERATORS AND MOSCO CONVERGENCE YASUNORI KIMURA Department

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

Integral Jensen inequality

Integral Jensen inequality Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a

More information

("-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp.

(-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp. I l ("-1/'.. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS R. T. Rockafellar from the MICHIGAN MATHEMATICAL vol. 16 (1969) pp. 397-407 JOURNAL LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERATORS

More information

Metric Spaces Lecture 17

Metric Spaces Lecture 17 Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =

More information

LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011

LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011 LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

arxiv: v1 [math.oc] 22 Sep 2016

arxiv: v1 [math.oc] 22 Sep 2016 EUIVALENCE BETWEEN MINIMAL TIME AND MINIMAL NORM CONTROL PROBLEMS FOR THE HEAT EUATION SHULIN IN AND GENGSHENG WANG arxiv:1609.06860v1 [math.oc] 22 Sep 2016 Abstract. This paper presents the equivalence

More information

Generalized metric properties of spheres and renorming of Banach spaces

Generalized metric properties of spheres and renorming of Banach spaces arxiv:1605.08175v2 [math.fa] 5 Nov 2018 Generalized metric properties of spheres and renorming of Banach spaces 1 Introduction S. Ferrari, J. Orihuela, M. Raja November 6, 2018 Throughout this paper X

More information

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS Fixed Point Theory, (0), No., 4-46 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS A. ABKAR AND M. ESLAMIAN Department of Mathematics,

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that

More information

On constraint qualifications with generalized convexity and optimality conditions

On constraint qualifications with generalized convexity and optimality conditions On constraint qualifications with generalized convexity and optimality conditions Manh-Hung Nguyen, Do Van Luu To cite this version: Manh-Hung Nguyen, Do Van Luu. On constraint qualifications with generalized

More information

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP

Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,

More information

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space Mathematica Moravica Vol. 19-1 (2015), 95 105 Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space M.R. Yadav Abstract. In this paper, we introduce a new two-step iteration process to approximate

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

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

Preprint Stephan Dempe and Patrick Mehlitz Lipschitz continuity of the optimal value function in parametric optimization ISSN

Preprint Stephan Dempe and Patrick Mehlitz Lipschitz continuity of the optimal value function in parametric optimization ISSN Fakultät für Mathematik und Informatik Preprint 2013-04 Stephan Dempe and Patrick Mehlitz Lipschitz continuity of the optimal value function in parametric optimization ISSN 1433-9307 Stephan Dempe and

More information

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator. Homework 3 1 If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator Solution: Assuming that the inverse of T were defined, then we will have to have that D(T 1

More information

Math 421, Homework #9 Solutions

Math 421, Homework #9 Solutions Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and

More information

The weak topology of locally convex spaces and the weak-* topology of their duals

The weak topology of locally convex spaces and the weak-* topology of their duals The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes

More information

Seminar on Fixed Point Theory Cluj-Napoca, Volume 1, 2000, nodeacj/journal.htm

Seminar on Fixed Point Theory Cluj-Napoca, Volume 1, 2000, nodeacj/journal.htm Seminar on Fixed Point Theory Cluj-Napoca, Volume 1, 2000, 63-68 http://www.math.ubbcluj.ro/ nodeacj/journal.htm FIXED POINT THEOREMS FOR MULTIVALUED EXPANSIVE OPERATORS Aurel Muntean Carol I High School

More information

PERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS

PERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS Fixed Point Theory, Volume 6, No. 1, 25, 99-112 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.htm PERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS IRENA RACHŮNKOVÁ1 AND MILAN

More information

Chapter 2 Metric Spaces

Chapter 2 Metric Spaces Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics

More information

EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS

EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS EXISTENCE OF STRONG SOLUTIONS OF FULLY NONLINEAR ELLIPTIC EQUATIONS Adriana Buică Department of Applied Mathematics Babeş-Bolyai University of Cluj-Napoca, 1 Kogalniceanu str., RO-3400 Romania abuica@math.ubbcluj.ro

More information

On (h, k) trichotomy for skew-evolution semiflows in Banach spaces

On (h, k) trichotomy for skew-evolution semiflows in Banach spaces Stud. Univ. Babeş-Bolyai Math. 56(2011), No. 4, 147 156 On (h, k) trichotomy for skew-evolution semiflows in Banach spaces Codruţa Stoica and Mihail Megan Abstract. In this paper we define the notion of

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 nonexpansive and accretive operators in Banach spaces

On nonexpansive and accretive operators in Banach spaces Available online at www.isr-publications.com/jnsa J. Nonlinear Sci. Appl., 10 (2017), 3437 3446 Research Article Journal Homepage: www.tjnsa.com - www.isr-publications.com/jnsa On nonexpansive and accretive

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

Fixed point of ϕ-contraction in metric spaces endowed with a graph

Fixed point of ϕ-contraction in metric spaces endowed with a graph Annals of the University of Craiova, Mathematics and Computer Science Series Volume 374, 2010, Pages 85 92 ISSN: 1223-6934 Fixed point of ϕ-contraction in metric spaces endowed with a graph Florin Bojor

More information

Math 341: Convex Geometry. Xi Chen

Math 341: Convex Geometry. Xi Chen Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry

More information

Exercise Solutions to Functional Analysis

Exercise Solutions to Functional Analysis Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

On Directed Sets and their Suprema

On Directed Sets and their Suprema XLIM UMR CNRS 6172 Département Mathématiques-Informatique On Directed Sets and their Suprema M. Ait Mansour & N. Popovici & M. Théra Rapport de recherche n 2006-03 Déposé le 1er mars 2006 (version corrigée)

More information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

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

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Chiaki Hara April 5, 2004 Abstract We give a theorem on the existence of an equilibrium price vector for an excess

More information

LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO

LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (757 763) 757 LINEAR MAPS ON M n (C) PRESERVING INNER LOCAL SPECTRAL RADIUS ZERO Hassane Benbouziane Mustapha Ech-Chérif Elkettani Ahmedou Mohamed

More information

Centre d Economie de la Sorbonne UMR 8174

Centre d Economie de la Sorbonne UMR 8174 Centre d Economie de la Sorbonne UMR 8174 On alternative theorems and necessary conditions for efficiency Do Van LUU Manh Hung NGUYEN 2006.19 Maison des Sciences Économiques, 106-112 boulevard de L'Hôpital,

More information

Optimization and Optimal Control in Banach Spaces

Optimization and Optimal Control in Banach Spaces Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

SOME PROPERTIES PRESERVED BY WEAK NEARNESS. Adriana Buică

SOME PROPERTIES PRESERVED BY WEAK NEARNESS. Adriana Buică SOME PROPERTIES PRESERVED BY WEAK NEARNESS Adriana Buică Department of Applied Mathematics Babeş-Bolyai University of Cluj-Napoca, 1 Kogalniceanu str., 3400 Romania Abstract: We show that the properties

More information

arxiv: v1 [math.cv] 21 Jun 2016

arxiv: v1 [math.cv] 21 Jun 2016 B. N. Khabibullin, N. R. Tamindarova SUBHARMONIC TEST FUNCTIONS AND THE DISTRIBUTION OF ZERO SETS OF HOLOMORPHIC FUNCTIONS arxiv:1606.06714v1 [math.cv] 21 Jun 2016 Abstract. Let m, n 1 are integers and

More information

YET MORE ON THE DIFFERENTIABILITY OF CONVEX FUNCTIONS

YET MORE ON THE DIFFERENTIABILITY OF CONVEX FUNCTIONS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 103, Number 3, July 1988 YET MORE ON THE DIFFERENTIABILITY OF CONVEX FUNCTIONS JOHN RAINWATER (Communicated by William J. Davis) ABSTRACT. Generic

More information

Non-degeneracy of perturbed solutions of semilinear partial differential equations

Non-degeneracy of perturbed solutions of semilinear partial differential equations Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + FV εx, u = 0 is considered in R n. For small ε > 0 it is shown

More information

FRACTIONAL BOUNDARY VALUE PROBLEMS ON THE HALF LINE. Assia Frioui, Assia Guezane-Lakoud, and Rabah Khaldi

FRACTIONAL BOUNDARY VALUE PROBLEMS ON THE HALF LINE. Assia Frioui, Assia Guezane-Lakoud, and Rabah Khaldi Opuscula Math. 37, no. 2 27), 265 28 http://dx.doi.org/.7494/opmath.27.37.2.265 Opuscula Mathematica FRACTIONAL BOUNDARY VALUE PROBLEMS ON THE HALF LINE Assia Frioui, Assia Guezane-Lakoud, and Rabah Khaldi

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

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

Non-degeneracy of perturbed solutions of semilinear partial differential equations

Non-degeneracy of perturbed solutions of semilinear partial differential equations Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + F(V (εx, u = 0 is considered in R n. For small ε > 0 it is

More information

Some topological properties of fuzzy cone metric spaces

Some topological properties of fuzzy cone metric spaces Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 9 2016, 799 805 Research Article Some topological properties of fuzzy cone metric spaces Tarkan Öner Department of Mathematics, Faculty of Sciences,

More information

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d 66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued

More information

REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS. Julien Frontisi

REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS. Julien Frontisi Serdica Math. J. 22 (1996), 33-38 REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS Julien Frontisi Communicated by G. Godefroy Abstract. It is proved that a representable non-separable Banach

More information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

Exercises to Applied Functional Analysis

Exercises to Applied Functional Analysis Exercises to Applied Functional Analysis Exercises to Lecture 1 Here are some exercises about metric spaces. Some of the solutions can be found in my own additional lecture notes on Blackboard, as the

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

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology

More information

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai. Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory

More information

McGill University Math 354: Honors Analysis 3

McGill University Math 354: Honors Analysis 3 Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The

More information

A note on the σ-algebra of cylinder sets and all that

A note on the σ-algebra of cylinder sets and all that A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In

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