A MAXIMUM PRINCIPLE FOR A MULTIOBJECTIVE OPTIMAL CONTROL PROBLEM
|
|
- Angelica Hunter
- 5 years ago
- Views:
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
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 informationCHARACTERIZATION 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 informationExistence 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 informationCourse 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 informationThe 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 informationOn 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 informationMaths 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 informationl(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 informationNOTES 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 informationApplied 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 informationFUNCTIONAL 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 informationA 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 informationContents: 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 informationA 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 informationBest 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 informationBEST 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 informationTHE 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 informationCARISTI 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 informationFEEDBACK 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 informationFunctional 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 informationI. 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 informationFIXED 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 informationCOMMON 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 informationA 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 informationFunctional 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 informationB. 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 informationITERATIVE 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 informationA 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 informationON 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 informationChapter 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 ε
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 informationTWO 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 informationYour 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 informationPogorelov 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 informationSPACES 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 informationSOME 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 informationMathematics 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 informationShih-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 informationIntroduction 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 informationWEAK 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 informationMA651 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 informationIntegral 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.
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 informationMetric 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 informationLARGE 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 informationLocally 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 informationarxiv: 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 informationGeneralized 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 informationA 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 informationFUNCTIONAL 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 informationOn 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 informationBoundedly 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 informationTwo-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.
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 informationFinite-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 informationTools 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 informationPreprint 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 informationAnalysis 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 informationHomework 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 informationMath 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 informationThe 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 informationSeminar 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 informationPERIODIC 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 informationChapter 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 informationEXISTENCE 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 informationOn (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 informationON 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 informationOn 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 informationGeometry 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 informationFixed 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 informationMath 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 informationExercise 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 informationMAT 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 informationOn 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 informationPROBLEMS. (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 informationSubdifferential 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 informationBoundary 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 informationLINEAR 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 informationCentre 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 informationOptimization 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 informationIntroduction 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 informationSOME 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 informationarxiv: 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 informationYET 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 informationNon-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 informationFRACTIONAL 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 informationAn 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 informationASYMPTOTICALLY 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 informationNon-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 informationSome 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 informationi=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 informationREPRESENTABLE 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 informationMATH 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 informationExercises 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 informationConvergence 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 informationTopology, 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 informationLectures 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 informationMcGill 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 informationA 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 informationProblem 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