Parameter Dependent Extremal Norms for Linear Parameter Varying Systems
|
|
- Thomasine Welch
- 5 years ago
- Views:
Transcription
1 Parameter Dependent Extremal Norms for Linear Parameter Varying Systems Fabian Wirth Zentrum für Technomathematik Universität Bremen Bremen, Germany Abstract We study families of time-varying linear systems with restrictions on the derivative of the parameter variation. This includes the systems usually considered in the area of linear parameter varying (LPV) systems. We show that it is possible to construct exact parameterized Lyapunov norms for a wide class of such systems. This may be used to derive (locally Lipschitz) continuous dependence of the exponential growth rate on the systems data. Furthermore, it is shown that the exponential growth rate may be approximated by exponential growth rates of periodic parameter variations. Introduction The control and robustness analysis of linear parameter-varying systems have been actively investigated during the last decade. In particular, parameter dependent quadratic Lyapunov functions for such systems are discussed in the literature and many results have been obtained in the framework of linear matrix inequalities, see [, 2, 3, 4, 7, 8, 0, ]. Despite this activity some basic questions have remained unanswered, at least to the best of the knowledge of the author. These relate to the continuity properties of the exponential growth rate as a function of the system data as well as to the question whether periodic parameter variations are sufficient to approximate the exponential growth rate of the system. In this paper we generalize results obtained in [2] on the exponential growth rate of families of time-varying systems with measurable parameter variations to linear parameter varying systems with bounds on the derivative of the parameter variations. In particular, a procedure for the construction of exact parameter dependent Lyapunov norms is presented. Using these norms we can show that the exponential growth rate of an LPV system depends continuously on the data and is even locally Lipschitz continuous on an open and dense set in the space of systems. Furthermore, an analogue of the Gelfand formula holds, which states that the exponential growth rate can be approximated by periodic parameter variations. We proceed as follows. In the ensuing Section 2 we define the class of LPV systems under consideration and in Section 3 the exponential growth of a linear parameter varying system is defined. This is the quantity of interest in this paper. In Section 4 it is shown under the assumption of irreducibility how to construct parameter dependent Lyapunov norms that exactly characterize the exponential growth rate. This result is then used in Section 5 to
2 show local Lipschitz continuity of the exponential growth rate on the set of irreducible LPV systems. Finally, in Section 6 the Gelfand formula and continuity is proved. This note is a preliminary version of a research article in preparation. For reasons of space some proofs are only sketched omitted. Full details which will appear elsewhere. 2 Problem formulation Let K = R, C. In this paper we study linear parameter-varying systems of the form. x (t) = A(θ(t))x(t), t 0. (2.) Here the map A : Θ K n n is assumed to be continuous and should be interpreted as a map on a parameter space Θ K m. The admissible parameter variations θ( ) are specified by two sets Θ, Θ as follows. We assume that Θ, Θ are compact convex sets. The parameter variations θ : R Θ are assumed to be Lipschitz continuous with θ(t) Θ, almost everywhere. It is then natural to assume that 0 Θ and span Θ span Θ θ 0, θ 0 Θ. Note that θ(t) Θ for all t 0 and Lipschitz continuity implies that θ(t) is contained in span Θ θ 0 a.e. From now on U always denotes the set of Lipschitz continuous functions that are described in this manner by the sets Θ, Θ. Given any u U the corresponding evolution operator defined through (2.) is denoted by Φ u (t, s), t s 0. In the following we will identify the system (2.) with the triple (Θ, Θ, A). The following assumptions are important in the sequel. Recall that a set of matrices M K n n is called irreducible, if only the trivial subspaces 0 and K n are invariant under all A M. For all θ 0 Θ it holds that span Θ = span {Θ θ 0 }. The point 0 is contained in the interior of Θ relative to its span. The set A(Θ) K n n is irreducible. (A) (A2) (A3) Note that (A) and (A2) guarantee that there is an h > 0 such that for any pair θ, η Θ and all t > θ η /h there is a u U with u(0) = θ, u(t) = η. IN particular, as Θ is compact there is an h > 0 such that h θ η /h for all θ, η Θ. Remark 2.. (i) We explicitly exclude the case where the parameter variations θ( ) are arbitrary measurable functions taking values in Θ. The reason being that for this case the results analogous to those obtained in this note are already available in the literature, see [6, 5, 2, 3]. (ii) In a large number of papers it is assumed that the parameter variations θ( ) are continuously differentiable and that the derivative satisfies certain constraints. However, it can be shown that the exponential growth rates defined by the sets {θ : R Θ θ Lipschitz continuous and θ(t) Θ, a. e. } 2
3 and {θ : R Θ θ continuously differentiable and θ(t) Θ, t R} are the same. So that our setup encompasses this standard case. We just find the set of Lipschitz continuous parameter variations easier to handle for several analytic reasons. (iii) The results presented in this paper are a discussion of a special case which may be subsumed under the following more general framework, see [3]. Consider systems of the form. x (t) = A(θ (t))x(t), t 0, θ(t) F (θ (t)), a.e. t 0 (2.2) where A : Θ K n n is a given continuous map, Θ K m is a compact, pathwise connected set, and F : Θ K m is a set-valued map with compact values that defines a complete dynamical system on Θ. Under controllability assumptions for the parameter variations a number the basic results of the present paper hold. (iv) Under the convexity assumption on Θ, Θ the set U is convex and weak -compact in L (R +, Θ). Thus we may associate to (2.) a linear flow φ on the vector bundle K n U defined by This setup is studied in some detail in [5]. φ(t; (x, u)) = (Φ u (t, 0)x, u(t + )). (2.3) 3 Exponential growth rates We now define the object of interest in this paper which is the (maximal) exponential growth rate associated to the system (2.). Given the map A and the set of admissible parameter variations U define the sets of finite time evolution operators S t (A, U) := { Φ u (t, 0) u U}, S(A, U) := t 0 S t (A, U). Remark 3.. The main technical problem of LPV systems is the fact that S(A, U) does not naturally carry the structure of a semigroup. Indeed, by requiring that the elements of U are Lipschitz continuous it follows for u, u 2 U that the concatenation of u (,t] and u 2 (t, ) is an admissible parameter variation if and only if u (t) = u 2 (t). This complicates matters compared to the case of linear inclusions of the form ẋ {Ax A M}, where M K n n is compact as studied in [6, 2] and references therein. 3
4 We now introduce finite time growth constants given by { } ρ t (A, U) := sup t log S S S t(a, U). It is easy to see that the function t t ρ t (A, U) is subadditive so that the following limit exists ρ(a, U) := lim t ρ t (A, U). As for A A(Θ) and t 0 we have e At S t (A, U) it is clear that ρ(a, U) >. The quantity ˆρ(A, U) is called exponential growth rate of system (2.). A trajectory-wise definition of exponential growth would be to define the Lyapunov exponent corresponding to an initial condition x 0 K n and u U by λ(x 0, u) := lim sup t t log Φ u(t, 0)x 0, and to define as exponential growth rate κ(a, U) := sup{λ(x, u) 0 x K n, u U}. However, by appealing to the equivalent reformulation in the context of linear flows on vector bundles as in (2.3) it follows using Fenichel s uniformity lemma that κ(a, U) = ˆρ(A, U), see [5, Prop ]. One might now be tempted to look for norms that characterize the quantity ˆρ(A, U) as can be done for the case of linear differential inclusions, see [2]. However, the following lemma shows that this is not a very fruitful enterprise. Lemma 3.. [3] Consider system (2.). If there is a norm v on K n such that for all x K n, u U and the corresponding evolution operator Φ u (t, s) it holds that v(φ u (t, 0)x) eˆρ(a,u)t v(x), t 0, (3.4) then ˆρ(A, U) = max {λ(x, B) 0 x K n, B : R + A(Θ) measurable}. The previous lemma states that a norm satisfying (3.4) can only exists for system (2.) if the parameter varying system realizes the exponential growth that would be possible by allowing all measurable functions with values in A(Θ), that is by studying (2.) with U = L (R, Θ). One of the reasons to study LPV systems lies, of course, in the fact that this situation is rarely encountered. For this reason we use another approach that introduces a family of norms with an extremal property. This is the topic of the following section. We will see that the idea that has been proposed by several authors, (see e.g. [, 8]) to use parameter dependent Lyapunov functions can in fact be made exact. That is, we show how to construct a family of parameter dependent Lyapunov norms that are extremal in the sense that the exponential growth rate of system (2.) is the incremental growth rate with respect to this family. Note that this implies that we cannot restrict our attention to quadratic norms. 4
5 4 Parametrized families of Lyapunov functions In this section we assume the LPV system (Θ, Θ, A) to be given. For ease of notation we will therefore suppress the dependence on these data of ˆρ(A, U), S t (A, U) and other objects we intend to define. For each θ Θ and t 0 we define the set of evolution operators starting in θ by S t (θ) := { Φ u (t, 0) u U with u(0) = θ}. (4.5) Similarly, we define for θ, η Θ and for t 0 the sets of evolution operators starting in θ and ending at η by R t (θ, η) := {Φ u (t, 0) u U with u(0) = θ, u(t) = η}. Then we define S T (θ) : = S t (θ) and S(θ) := S t (θ), respectively 0 t T t 0 R T (θ, η) : = R t (θ, η) and R(θ, η) := R t (θ, η). t 0 0 t T Note that the definition entails that for every θ Θ the set R(θ, θ) is a semigroup. Furthermore, we note the following properties which are essential in the proofs of the ensuing results. Proposition 4.. Consider system (2.) with (A)-(A3). For all θ, η Θ and all s < t R + we have (i) if R s (θ, η) then the set s τ t R τ (θ, η) is irreducible, (ii) the set s τ t S τ (θ) is irreducible. If we want to describe the exponential growth rate within the subsets of evolution operators with given initial and end condition, this leads to the definitions { } { } ρ t (θ) := max t log S S S t(θ), ρ t (θ, η) := max t log S S R t(θ, η), which has the problem that the functions t t ρ t (θ), and t t ρ t (θ, η) are no longer submultiplicative, so that is useful to point out the following. Lemma 4.. Consider system (2.) with (A)-(A3). There is a constant C > 0 such that for every t 0 and for all θ, η Θ there is an R R t+2 h (θ, η) such that R Ceˆρt. This result may now be used to prove the following statement. Lemma 4.2. Consider the system (2.) with (A)-(A3). For every θ, η Θ we have that ρ = lim t ρ t (θ, η), ρ = lim t ρ t (θ). (4.6) 5
6 Proof: Fix θ, η Θ. Clearly, for all t 0 we have ρ t (θ, η) ρ t (θ) ρ t, so that in order to show (4.6) it is sufficient to show that ρ lim inf t ρ t (θ, η). This however, is an immediate consequence of Lemma 4., as we have for every t 0, that ρ t (θ, η) /t(log C + (t 2 h)ˆρ). The second assertion follows from similar argument. As the exponential growth in S and in the subsets S(θ), R(θ, η) is essentially the same it makes sense to pursue ideas of the construction in [2] and to define limit sets as follows. S (θ) : = { S K n n t k, S k S tk (θ) : e ˆρt k S k S }. (4.7) R (θ, η) : = { S K n n t k, S k R tk (θ, η) : e ˆρt k S k S }. (4.8) We note the following properties of S (θ) and R (θ, η). Lemma 4.3. Consider the system (2.) with (A)-(A3). For all θ, η Θ it holds that (i) R (θ, η) is a compact, nonempty set not equal to {0}, (ii) S (θ) is a compact, nonempty set not equal to {0}, and θ Θ S (θ) is bounded, (iii) for every R R t (θ, η) and every S S (η) we have e ˆρt SR S (θ), (iv) for every S S (θ) and every t R + T S (η) such that S = e ˆρt T R, there exist η Θ, R R t (θ, η), and (v) R (θ, η), S (θ) are irreducible. Proof: Without loss of generality we may assume that ˆρ = 0 in this proof. (i) A standard argument shows that R (θ, η) is closed. Lemma 4. shows that there exists a constant C > 0 and sequences t k, S k R tk (θ, η) with S k C for all k N. So if the sequence { S k } k N has a convergent subsequence then its limit must be different from zero. Thus to conclude the proof it is sufficient to show that there is a bound M S, for all t large enough and all S R t (θ, η). This shows that R (θ, η) is bounded and that the sequence constructed above indeed does have a convergent subsequence. So assume that the constant M does not exist, so that there are sequences t k, S k R tk (θ, η) with S k. By a small variation of [2, Lemma 3.] there are constants ε > 0 and T > 0 only depending on the set R(η, θ) such that for all x K n and all B K n n there is an R T R(η, θ) with BRx ε B x. Choose k large enough such that S k > 4/ε. Pick an arbitrary x 0 K n, such that S k x 0 S k ε/2. Then we can choose R R T (η, θ) such that ( S k R S k x 0 S k 2) ε 2. 6
7 Note that by construction S k R S k R(θ, η). Applying the same arguments again we can choose R 2 R T (η, θ) such that ( S k R 2 S k R S k x 0 S k 2) ε 3. Arguing inductively we construct times lt k τ l l(t k +T) and matrices T l R τl (θ, η) with log T l l ( log S k ε ) l log 2 log 2. τ l τ l 2 τ l t k + T This contradicts the assumption that lim sup l τ l log T l. (ii) As R (θ, η) S (θ) it is clear from (i) that S (θ) is nonempty and not equal to {0}. Closedness is immediate from the definition. It remains to show that θ Θ S (θ) is bounded. If this is not the case then there are t k, S k R tk (θ k, η k ) with S k. This is brought to a contradiction similar to the proof of (i). (iii) This is an easy exercise. (iv) Let t k, Φ k (t k, 0) S tk (θ) be sequences such that Φ k (t k, 0) S S (θ). Fix t 0. Let u k U be the generators for Φ k. As the family {u k } is bounded and equicontinuous (due to the compactness of Θ and Θ ) we may apply the Arzela-Ascoli theorem and assume without loss of generality that u k u U uniformly on [0, t]. Denote η = u(t) and let R R(θ, η) be the transition matrix generated by u. By construction there are nonnegative times s k 0 and S k R sk (η, u k (t)). Then we have Φ k (t k, t)s k R S tk +s k (θ). Defining T k := Φ k (t k, t)s k we may by (ii) assume without loss of generality that T k T S (η). Furthermore, as Φ k (t, 0) R it follows that T R = S. This shows the assertion. (v) Fix θ Θ. As we have noted the set R(θ, θ) is a semigroup that is irreducible by Proposition 4.. By (iii) it is easy to see that if S R(θ, θ) R (θ, θ), T R (θ, θ) then ST, T S R (θ, θ). Thus R (θ, θ) is a nonzero semigroup ideal of the irreducible semigroup R (θ, θ) R(θ, θ). By [9, Lemma ] this shows irreducibility of R (θ, θ). The second assertion follows from R (θ, θ) S (θ). We note the following corollary with respect to the maps θ S (θ), (θ, η) R (θ, η). 7
8 Corollary 4.. Consider the system (2.) with (A)-(A3). The set-valued maps θ S (θ), (4.9) (θ, η) R (θ, η) (4.0) are Lipschitz continuous on Θ, respectively Θ Θ, with respect to the Hausdorff topology. Proof: Let θ, η Θ then for t := θ η /h there exists a transition matrix R R t (θ, η). Defining m := max { A ˆρI A A (Θ)} we have by an application of Gronwall s lemma that I e ˆρt R exp(tm). (4.) Now for any S S (η) we have by Lemma 4.3 that e ˆρt SR S (θ). And so by (4.) S e ˆρt SR S I e ˆρt R max { S S θ Θ S (θ)} (exp(mt) ). This shows that max {dist (S, S (θ)) S S (η)} C θ η and by symmetry the same holds for the Hausdorff distance H (S (θ), S (η)). This completes the proof of the first statement. The second statement is shown in exactly the same manner. We now define a family of norms by setting for θ Θ v θ (x) := max { Sx S S (θ)}. (4.2) Using Lemma 4.3 (ii) it is easy to see that for every θ Θ the function defined in (4.2) is a norm on K n. The following result shows that in this manner we have defined a family of parameterized Lyapunov functions for our LPV system that Proposition 4.2. Consider the system (2.) with (A)-(A3). Then (i) For all u U and all x K n it holds that v u(t) (Φ u (t, 0)x) eˆρt v u(0) (x), (ii) for every x K n, every t 0, and every θ Θ there exists an u U such that u(0) = θ and such that v u(t) (Φ u (t, 0)x) = eˆρt v θ (x). Proof: Without loss of generality we may assume that ˆρ = 0. (i) Assume that v u(t) (Sx) > v u(0) (x). Then T Sx > v u(0) (x) for some T S (u(t)). Now Lemma 4.3 (iii) shows that T S S (u(0)). This contradicts the definition of v u(0). 8
9 (ii) Let S S (θ) be such that Sx = v θ (x). By Lemma 4.3 (iv) there exist matrices R S t (θ, η), T S (η) such that S = T R. Let u U be generating for R. Then we have by part (i) v θ (x) = T Rx v u(t) (Rx) v θ (x). This concludes the proof. In order to state a continuity result we need a notion of distance between norms. To this end we introduce the space of positively homogeneous functions on K n defined by Hom (K n, R) := {f : K n R α 0 : f(αx) = αf(x) and f is continuous on K n }. Clearly, all norms on K n are elements of Hom (K n, R). This space becomes a Banach space if equipped with the norm f,hom := max { f (x) x 2 = }. Proposition 4.3. Consider the system (2.) with (A)-(A3). Then the map is Lipschitz continuous from Θ to Hom (K n, R). Proof: By definition we have θ v θ, (4.3) v θ v η,hom = max max { Sx S S (θ)} max { Sx S S (η)}. x 2 = Assume that v θ (x) = Sx for some S S (θ) then there is a T S (η) such that S T H(S (θ), S (η)) and we obtain v θ (x) v η (x) Sx T x S T x CH(S (θ), S (η)) x 2, where C is a constant such that x C x 2. This shows that v θ v η,hom CH(S (θ), S (η)). Now the assertion follows from Corollary Lipschitz Continuity Using the existence of the Lyapunov norms v θ it is possible to prove results on Lipschitz continuity of ˆρ under the variation of the data. To this end we introduce the space of linear parameter varying systems LPV as the space of triples (Θ, Θ, A) where Θ, Θ K m are 9
10 compact and convex, 0 Θ, span Θ span Θ θ 0 for θ 0 Θ, and A : K m K n n is continuous. This space becomes a complete metric space if endowed with the metric d((θ, Θ, A), (Θ, Θ, A )) := H(Θ, Θ ) + H(Θ, Θ ) + A A,Θ Θ, where H(, ) denotes the Hausdorff distance on the compact sets in K n n and A A,Θ Θ is the supremum norm of A A on the set Θ Θ. We are especially interested in the subset I := {(Θ, Θ, A) LPV (Θ, Θ, A) satisfy conditions (A) - (A3) }. Note that with respect to the metric defined above I is dense in LPV. If we fix the dimension of span Θ span Θ θ 0 and define LPV(r) := {(Θ, Θ, A) LPV dim span Θ θ 0 = r}, then I LPV(r) is open and dense in LPV(r) with respect to the relative topology. Assuming irreducibility we define for the triple (Θ, Θ, A) the norms v θ as in Section 4. Then define the constants c + (θ, A, U) := max {v θ (x) x = }, c (θ, A, U) := min {v θ (x) x = }. (5.4) Denote by v θ,η the operator norms from (K n, v θ ) to (K n, v η ). Note that we have for arbitrary B K n n that c (θ, A, U) c + (η, A, U) v θ,η(b) B c+ (θ, A, U) c (η, A, U) v θ,η(b). Theorem 5.. Let Q I be compact. For each triple (A, Θ, Θ ) Q consider the system (2.). Then there exist constants C, C + > 0 such that C c+ (θ, A, U) c (η, A, U) C +, for all (Θ, Θ, A) Q, θ, η Θ. Proof: We begin by showing the existence of C +. Assume that there exist sequences {(Θ k, Θ k, A k )} k N Q, {θ k Θ k } k N, {η k Θ k } k N such that c + (θ k, A k, U k ) c (η k, A k, U k ). Without loss of generality we may assume that (Θ k, Θ k, A k ) (Θ, Θ, A) Q, θ k θ Θ and η k η Θ. For all k N choose S k S (θ k, A k, U k ) such that S k = c + (θ k, A k, U k ) and define S k := S k / S k. Without loss of generality we may assume that S k S, S =. Let ε > 0 and T > 0 be the constants for R(η, θ, A, U) obtained from an application of [2, Lemma 3.] as in the proof of Lemma 4.3 (i). Fix an arbitrary x 0 K n, x 0 =. Then by 0
11 convergence for all k large enough there exists an R k R tk (η k, θ k, A k, U k ) with t k T + ε such that SR ε k x 0 2. Define T k := e ˆρ(A k,u k )t ksk R k S (η k, A k, U k ). Then we obtain v ηk (x 0 ) T k x 0 = S k eˆρ(a k,u k )t k Sk R k x 0 and hence for all k large enough we have c + (θ k, A k, U k ) v ηk (x 0 ) S k ( ) eˆρ(a SRk x k,u k )t 0 S Sk Rk x 0 k ( ) eˆρ(a k,u k )t k SRk x 0 S Sk Rk x 0 eˆρ(a k,u k )t k 4 ε. Where we have used that the sequence {R k } k N is bounded so that the last term on the right converges to zero by construction. This shows that c + (θ k, A k, U k )/c (η k, A k, U k ) is bounded because t k T + ε and ˆρ(A k, U k ) is bounded by compactness of Q. The proof for the existence of C follows the same lines. Proposition 5.. Let K = R, C. The map (Θ, Θ, A) ˆρ(Θ, Θ, A) is locally Lipschitz continuous on the space I. Proof: Let Q I be compact and (Θ, Θ, A), (Θ, Θ, A ) Q with associated sets of parameter variations U, U. It can be shown that there is a constant α > 0 only depending on Q such that for all u U there is a w U with A (u ( )) A (w ( )) αd ((Θ, Θ, A), (Θ, Θ, A )). Denote the evolution operator corresponding to A (u ( )) by Φ (t, s) and the one corresponding to A (w ( )) by Ψ (t, s). Furthermore denote by v w(t),w(s) the operator norms induced by the parameterized Lyapunov functions v w(t), v w(s) corresponding to the linear parameter varying system (Θ, Θ, A ). Note that we have for 0 r s t that v w(r),w(t) (T R) v w(s),w(t) (T )v w(r),w(s) (R). Then we have for t = k N that v w(0),w(k) (Φ(k, 0)) v w(0),w(k) (Ψ(k, k )Φ(k, 0)) +v w(0),w(k) ((Φ(k, k ) Ψ(k, k ))Φ(k, 0)) [ ] eˆρ(a,u ) + C Φ(k, k ) Ψ(k, k ) v w(0),w(k ) (Φ(k, 0)) where C is a constant independent of (Θ, F, A) Q, θ Θ and where we have used the extremality property (2.3) to obtain the bound on the first term. The constant C exists by
12 Theorem 5.. Furthermore, we obtain a bound for the difference Φ(k, k ) Ψ(k, k ) linear in d := d ((Θ, Θ, A), (Θ, Θ, A )) so that for a suitable constant C 2 we obtain the inequality [ ] v w(0),w(k) (Φ(k, 0)) eˆρ(a,u ) + CC 2 d v w(0),w(k ) (Φ(k, 0)), which implies by induction and another application of Theorem 5. that for all k N we have Φ(k, 0) C 3 v w(0),w(k) (Φ(k, 0)) C 3 [eˆρ(a,u ) + CC 2 d] k. As the operators Φ(t, 0), t k are only small perturbations of some Φ(k, 0) and as the constants C, C 2, C 3 were chosen independently of (Θ, Θ, A), (Θ, Θ, A ) Q and u U was arbitrary, this shows that By symmetry we obtain ˆρ(A, U) ˆρ(A, U ) + CC 2 d. ˆρ(A, U) ˆρ(A, U ) CC 2 d ((Θ, Θ, A), (Θ, Θ, A )). This completes the proof. 6 The Gelfand Formula To complete the discussion of the exponential growth of linear parameter varying systems we discuss the analogon of the generalized spectral radius for our case. Again we assume given a fixed controllable linear parameter varying system (Θ, Θ, A) and we suppress the dependence on that particular system in our notation. In the case of linear inclusions the generalized spectral radius is defined via the long term behavior of the maximal spectral radius of evolution operators. This in some way reflects the sort of periodic motion that is possible in the inclusion. In our case periodicity of the underlying parameter variation is the natural assumption, which is analyzed in the sequel. For t R + we define the set of evolution operators corresponding to periodic u U by P t := θ Θ R t (θ, θ). Then we may define the normalized supremum over the spectral radii by { } ρ t := sup t log r (S) S P t 2
13 and the supremum of the exponential growth rates obtainable by periodic parameter variations is defined by ρ := lim sup t As it is clear that ρ t ˆρ t, we obtain immediately that ρ ˆρ. We intend to show that these quantities are equal. To this end we need the following lemma. Lemma 6.. Consider system (2.) with (A) (A3). Then there exist θ Θ, x K n, v θ (x) = and a sequence {t k } k N, t k, k N such that there exist S k R tk (θ, θ) with e ˆρt k Sk x x and ρ t. vθ (S k x) eˆρt k < eˆρt k. (6.5) k Proof: We may assume that ˆρ = 0. Pick an arbitrary θ 0 Θ and z K n such that v θ0 (z) =. By Proposition 4.2 (iv) there exists a u U such that u 0 (0) = θ 0 and such that v u0 ()(Φ u0 (, 0)z) = v θ0 (z) =. Applying this argument again there exists u U such that u (0) = u 0 () and so that v u ()(Φ u (, 0)Φ u0 (, 0)z) =. Repeating this argument inductively we obtain a sequence {u k } k N U and we may then define u U by u(t) = u k (t k), if t [k, k + ]. By construction we have v u(k) (Φ u (k, 0)z) =, k N. Also by the extremality condition (2.3) for the family v θ, θ Θ we have for t 0 arbitrary and k t that = v u(k) (Φ u (k, t)φ u (t, 0)z) v u(t) (Φ u (t, 0)z) v θ0 (z) =, so that in fact v u(t) (Φ u (t, 0)z). As Θ is compact there exists a strictly increasing sequence s k such that u(s k ) θ for some θ Θ. Without loss of generality we may assume that s k+ s k and z k := Φ u (s k, 0)z x. Now we have v θ (x) v u(sk )(z k ) v θ (x) v θ (z k ) + v θ (z k ) v u(sk )(z k ). The first term on the right hand side converges to 0 by convergence of z k, the second by locally uniform convergence of v u(sk ) to v θ, which is a consequence of Proposition 4.3. Thus we have v θ (x) =. By convergence of u(s k ) there exist σ k, τ k 0 and R k R σk (θ, u(s k )), T k R τk (u(s k+ ), θ). In particular, R k, T k I as k. Define t k := (s k+ s k ) + τ k + σ k. Then we obtain for S k := T k Φ u (s k+, s k )R k R tk (θ, θ) that v θ (S k x) = v θ (S k x) v u(sk+ )(z k+ ) 3
14 v θ (T k Φ u (s k+, s k )R k x Φ u (s k+, s k )z k ) + v θ (z k+ ) v u(sk+ )(z k+ ). As k the first term on the right goes to zero by the convergence of T k, R k I and z k x, while the second term on the right goes to zero by locally uniform convergence of v u(sk ) to v θ. In particular we see that v θ (S k x z k+ ) 0 which implies by convergence of z k that S k x x. The assertion follows by taking an appropriate subsequence of the sequence t k. Theorem 6.. Consider a system of the form (2.) given by the triple (Θ, Θ, A). Then ρ = ˆρ. Proof: Without loss of generality we may assume that ˆρ = 0. We claim that we may assume (A) to (A3). For reasons of space this is only shown for (A3). If A(Θ) is not irreducible then there exists a regular T K n n such that all matrices A 0 A(Θ) can be transformed to T A 0 T = A A A d 0 A 22 A A 2d 0 0 A A dd where each of the sets {A ii ; A A(Θ)}, i =... d is irreducible (or 0). Note that the linear parameter varying system defined by setting A i (θ) = A ii is irreducible. It is easy to see that ˆρ(A, U) = max i=,...,d ˆρ(A i, U) and ρ(a, U) = max i=,...,d ρ(a i, U). (6.6) So assume now that (A) (A3) hold. By Lemma 6. there exist θ Θ, x K n, v θ (x) = and a sequence S k R(θ, θ) such that S k x x 0. Then we have by [6, Lemma 2] for the eigenvalues λ i (k) of S k that, 0 min i n λ i (k) min i n λ i (k) C S k x x /n. Denoting by λ k an eigenvalue of S k for which the minimum on the left is attained we see that λ k as k. As we have λ k and t k we obtain ρ /t k log λ k log λ k, and it follows that ρ 0. This completes the proof. Corollary 6.. The map is continuous on LPV. (Θ, Θ, A) ˆρ(Θ, Θ, A) Proof: The maps ˆρ t, ρ t : LPV R are clearly continuous. Now ˆρ = inf t>0 ˆρ t, so that ˆρ is upper semicontinuous as the infimum of continuous functions. Conversely, ρ = sup t>0 ρ t is lower semicontinuous. Now using Theorem 6. the function ˆρ = ρ is continuous. 4
15 References [] F. Amato, M. Corless, M. Mattei, and R. Setola. A multivariable stability margin in the presence of time-varying bounded rate gains. Int. J. Robust & Nonlinear Control 7:27 43, 997. [2] P. Apkarian and H.D. Tuan. Parameterized LMIs in control theory. SIAM J. Control Optim. 38(4):24 264, [3] P. Apkarian and R.J. Adams. Advanced gain-scheduling techniques for uncertain systems. Advances in linear matrix inequality methods in control, xx, , Adv. Des. Control, SIAM, Philadelphia, PA, [4] G. Becker, and A. Packard. Robust performance of linear parametrically varying systems using parametrically-dependent linear feedback. Systems Control Lett. 23(3):205 25, 994. [5] F. Colonius and W. Kliemann, The Dynamics of Control, Birkhäuser, Boston, [6] L. Elsner. The generalized spectral-radius theorem: An analytic-geometric proof. Lin. Alg. Appl. 220:5 59, 995. [7] P. Gahinet, P. Apkarian, and M. Chilali. Affine parameter-dependent Lyapunov functions and real parametric uncertainty. IEEE Trans. Automat. Control 4(3): , 996. [8] U. Jönsson and A. Rantzer. Systems with Uncertain Parameters Time-variations with Bounded Derivatives. Int. J. Robust & Nonlinear Control 6(9/0): , 996. [9] H. Radjavi. On irreducibility of semigroups of compact operators. Indiana Univ. Math. J. 39:499 55, 990. [0] J.S. Shamma and M. Athans. Guaranteed properties of gain scheduled control for linear parameter-varying plants. Automatica 27(3): , [] J.S. Shamma and D. Xiong. Set-valued methods for linear parameter varying systems. Automatica 35(6):08 089, 999. [2] F. Wirth. The generalized spectral radius and extremal norms. Lin. Alg. Appl. 342:7-40, [3] F. Wirth. Stability Theory for Perturbed Systems. Habilitation Thesis. University of Bremen, Bremen, Germany,
Exponential stability of families of linear delay systems
Exponential stability of families of linear delay systems F. Wirth Zentrum für Technomathematik Universität Bremen 28334 Bremen, Germany fabian@math.uni-bremen.de Keywords: Abstract Stability, delay systems,
More 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 informationState feedback gain scheduling for linear systems with time-varying parameters
State feedback gain scheduling for linear systems with time-varying parameters Vinícius F. Montagner and Pedro L. D. Peres Abstract This paper addresses the problem of parameter dependent state feedback
More informationSome Properties of the Augmented Lagrangian in Cone Constrained Optimization
MATHEMATICS OF OPERATIONS RESEARCH Vol. 29, No. 3, August 2004, pp. 479 491 issn 0364-765X eissn 1526-5471 04 2903 0479 informs doi 10.1287/moor.1040.0103 2004 INFORMS Some Properties of the Augmented
More informationThe Geometric Approach for Computing the Joint Spectral Radius
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 TuB08.2 The Geometric Approach for Computing the Joint Spectral
More informationWeierstraß-Institut. für Angewandte Analysis und Stochastik. im Forschungsverbund Berlin e.v. Preprint ISSN
Weierstraß-Institut für Angewandte Analysis und Stochastik im Forschungsverbund Berlin e.v. Preprint ISSN 0946 8633 Proof of a Counterexample to the Finiteness Conjecture in the Spirit of the Theory of
More information(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 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 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 informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationConvergence Rate of Nonlinear Switched Systems
Convergence Rate of Nonlinear Switched Systems Philippe JOUAN and Saïd NACIRI arxiv:1511.01737v1 [math.oc] 5 Nov 2015 January 23, 2018 Abstract This paper is concerned with the convergence rate of the
More information2 Statement of the problem and assumptions
Mathematical Notes, 25, vol. 78, no. 4, pp. 466 48. Existence Theorem for Optimal Control Problems on an Infinite Time Interval A.V. Dmitruk and N.V. Kuz kina We consider an optimal control problem on
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationAn asymptotic ratio characterization of input-to-state stability
1 An asymptotic ratio characterization of input-to-state stability Daniel Liberzon and Hyungbo Shim Abstract For continuous-time nonlinear systems with inputs, we introduce the notion of an asymptotic
More informationLocal strong convexity and local Lipschitz continuity of the gradient of convex functions
Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate
More informationL 2 -induced Gains of Switched Systems and Classes of Switching Signals
L 2 -induced Gains of Switched Systems and Classes of Switching Signals Kenji Hirata and João P. Hespanha Abstract This paper addresses the L 2-induced gain analysis for switched linear systems. We exploit
More informationA small-gain type stability criterion for large scale networks of ISS systems
A small-gain type stability criterion for large scale networks of ISS systems Sergey Dashkovskiy Björn Sebastian Rüffer Fabian R. Wirth Abstract We provide a generalized version of the nonlinear small-gain
More informationAW -Convergence and Well-Posedness of Non Convex Functions
Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it
More information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationThe Skorokhod reflection problem for functions with discontinuities (contractive case)
The Skorokhod reflection problem for functions with discontinuities (contractive case) TAKIS KONSTANTOPOULOS Univ. of Texas at Austin Revised March 1999 Abstract Basic properties of the Skorokhod reflection
More informationObserver design for a general class of triangular systems
1st International Symposium on Mathematical Theory of Networks and Systems July 7-11, 014. Observer design for a general class of triangular systems Dimitris Boskos 1 John Tsinias Abstract The paper deals
More informationResearch Article An Equivalent LMI Representation of Bounded Real Lemma for Continuous-Time Systems
Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 28, Article ID 67295, 8 pages doi:1.1155/28/67295 Research Article An Equivalent LMI Representation of Bounded Real Lemma
More informationOn the construction of ISS Lyapunov functions for networks of ISS systems
Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, Kyoto, Japan, July 24-28, 2006 MoA09.1 On the construction of ISS Lyapunov functions for networks of ISS
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 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 informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More 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 informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
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 informationROBUST STABILITY TEST FOR UNCERTAIN DISCRETE-TIME SYSTEMS: A DESCRIPTOR SYSTEM APPROACH
Latin American Applied Research 41: 359-364(211) ROBUS SABILIY ES FOR UNCERAIN DISCREE-IME SYSEMS: A DESCRIPOR SYSEM APPROACH W. ZHANG,, H. SU, Y. LIANG, and Z. HAN Engineering raining Center, Shanghai
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 informationPassivity-based Stabilization of Non-Compact Sets
Passivity-based Stabilization of Non-Compact Sets Mohamed I. El-Hawwary and Manfredi Maggiore Abstract We investigate the stabilization of closed sets for passive nonlinear systems which are contained
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 informationConvex Analysis and Optimization Chapter 2 Solutions
Convex Analysis and Optimization Chapter 2 Solutions Dimitri P. Bertsekas with Angelia Nedić and Asuman E. Ozdaglar Massachusetts Institute of Technology Athena Scientific, Belmont, Massachusetts http://www.athenasc.com
More informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationA sensitivity result for quadratic semidefinite programs with an application to a sequential quadratic semidefinite programming algorithm
Volume 31, N. 1, pp. 205 218, 2012 Copyright 2012 SBMAC ISSN 0101-8205 / ISSN 1807-0302 (Online) www.scielo.br/cam A sensitivity result for quadratic semidefinite programs with an application to a sequential
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More information1.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
More informationTOPOLOGICAL EQUIVALENCE OF LINEAR ORDINARY DIFFERENTIAL EQUATIONS
TOPOLOGICAL EQUIVALENCE OF LINEAR ORDINARY DIFFERENTIAL EQUATIONS ALEX HUMMELS Abstract. This paper proves a theorem that gives conditions for the topological equivalence of linear ordinary differential
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More information1 The Observability Canonical Form
NONLINEAR OBSERVERS AND SEPARATION PRINCIPLE 1 The Observability Canonical Form In this Chapter we discuss the design of observers for nonlinear systems modelled by equations of the form ẋ = f(x, u) (1)
More informationTranslative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation
Translative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation Andreas H. Hamel Abstract Recently defined concepts such as nonlinear separation functionals due to
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More information6.254 : Game Theory with Engineering Applications Lecture 7: Supermodular Games
6.254 : Game Theory with Engineering Applications Lecture 7: Asu Ozdaglar MIT February 25, 2010 1 Introduction Outline Uniqueness of a Pure Nash Equilibrium for Continuous Games Reading: Rosen J.B., Existence
More information1 Lesson 1: Brunn Minkowski Inequality
1 Lesson 1: Brunn Minkowski Inequality A set A R n is called convex if (1 λ)x + λy A for any x, y A and any λ [0, 1]. The Minkowski sum of two sets A, B R n is defined by A + B := {a + b : a A, b B}. One
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationStability of linear time-varying systems through quadratically parameter-dependent Lyapunov functions
Stability of linear time-varying systems through quadratically parameter-dependent Lyapunov functions Vinícius F. Montagner Department of Telematics Pedro L. D. Peres School of Electrical and Computer
More informationApproximating solutions of nonlinear second order ordinary differential equations via Dhage iteration principle
Malaya J. Mat. 4(1)(216) 8-18 Approximating solutions of nonlinear second order ordinary differential equations via Dhage iteration principle B. C. Dhage a,, S. B. Dhage a and S. K. Ntouyas b,c, a Kasubai,
More informationSolution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1
Solution Sangchul Lee March, 018 1 Solution of Homework 7 Problem 1.1 For a given k N, Consider two sequences (a n ) and (b n,k ) in R. Suppose that a n b n,k for all n,k N Show that limsup a n B k :=
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 information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
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 informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationA SET OF LECTURE NOTES ON CONVEX OPTIMIZATION WITH SOME APPLICATIONS TO PROBABILITY THEORY INCOMPLETE DRAFT. MAY 06
A SET OF LECTURE NOTES ON CONVEX OPTIMIZATION WITH SOME APPLICATIONS TO PROBABILITY THEORY INCOMPLETE DRAFT. MAY 06 CHRISTIAN LÉONARD Contents Preliminaries 1 1. Convexity without topology 1 2. Convexity
More informationThe Arzelà-Ascoli Theorem
John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps
More informationOn the Midpoint Method for Solving Generalized Equations
Punjab University Journal of Mathematics (ISSN 1016-56) Vol. 40 (008) pp. 63-70 On the Midpoint Method for Solving Generalized Equations Ioannis K. Argyros Cameron University Department of Mathematics
More informationMinimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality
Minimum-Phase Property of Nonlinear Systems in Terms of a Dissipation Inequality Christian Ebenbauer Institute for Systems Theory in Engineering, University of Stuttgart, 70550 Stuttgart, Germany ce@ist.uni-stuttgart.de
More informationEpiconvergence and ε-subgradients of Convex Functions
Journal of Convex Analysis Volume 1 (1994), No.1, 87 100 Epiconvergence and ε-subgradients of Convex Functions Andrei Verona Department of Mathematics, California State University Los Angeles, CA 90032,
More informationAN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES
AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim
More informationTHE DAUGAVETIAN INDEX OF A BANACH SPACE 1. INTRODUCTION
THE DAUGAVETIAN INDEX OF A BANACH SPACE MIGUEL MARTÍN ABSTRACT. Given an infinite-dimensional Banach space X, we introduce the daugavetian index of X, daug(x), as the greatest constant m 0 such that Id
More informationOn Generalized Set-Valued Variational Inclusions
Journal of Mathematical Analysis and Applications 26, 23 240 (200) doi:0.006/jmaa.200.7493, available online at http://www.idealibrary.com on On Generalized Set-Valued Variational Inclusions Li-Wei Liu
More informationGeneralized Input-to-State l 2 -Gains of Discrete-Time Switched Linear Control Systems
Generalized Input-to-State l 2 -Gains of Discrete-Time Switched Linear Control Systems Jianghai Hu, Jinglai Shen, and Vamsi Putta February 9, 205 Abstract A generalized notion of input-to-state l 2 -gain
More informationOPTIMAL SCALING FOR P -NORMS AND COMPONENTWISE DISTANCE TO SINGULARITY
published in IMA Journal of Numerical Analysis (IMAJNA), Vol. 23, 1-9, 23. OPTIMAL SCALING FOR P -NORMS AND COMPONENTWISE DISTANCE TO SINGULARITY SIEGFRIED M. RUMP Abstract. In this note we give lower
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationStabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints
Stabilization of Distributed Parameter Systems by State Feedback with Positivity Constraints Joseph Winkin Namur Center of Complex Systems (naxys) and Dept. of Mathematics, University of Namur, Belgium
More informationCONTINUITY OF SUBADDITIVE PRESSURE FOR SELF-AFFINE SETS
RESEARCH Real Analysis Exchange Vol. 34(2), 2008/2009, pp. 1 16 Kenneth Falconer, Mathematical Institute, University of St Andrews, North Haugh, St Andrews KY16 9SS, Scotland. email: kjf@st-and.ac.uk Arron
More informationAn Exact Stability Analysis Test for Single-Parameter. Polynomially-Dependent Linear Systems
An Exact Stability Analysis Test for Single-Parameter Polynomially-Dependent Linear Systems P. Tsiotras and P.-A. Bliman Abstract We provide a new condition for testing the stability of a single-parameter,
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 informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationOn a small gain theorem for ISS networks in dissipative Lyapunov form
On a small gain theorem for ISS networks in dissipative Lyapunov form Sergey Dashkovskiy, Hiroshi Ito and Fabian Wirth Abstract In this paper we consider several interconnected ISS systems supplied with
More informationT.8. Perron-Frobenius theory of positive matrices From: H.R. Thieme, Mathematics in Population Biology, Princeton University Press, Princeton 2003
T.8. Perron-Frobenius theory of positive matrices From: H.R. Thieme, Mathematics in Population Biology, Princeton University Press, Princeton 2003 A vector x R n is called positive, symbolically x > 0,
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 informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationA new robust delay-dependent stability criterion for a class of uncertain systems with delay
A new robust delay-dependent stability criterion for a class of uncertain systems with delay Fei Hao Long Wang and Tianguang Chu Abstract A new robust delay-dependent stability criterion for a class of
More informationNOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES
NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationExtremal Solutions of Differential Inclusions via Baire Category: a Dual Approach
Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach Alberto Bressan Department of Mathematics, Penn State University University Park, Pa 1682, USA e-mail: bressan@mathpsuedu
More informationEXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS
Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC
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 informationGenerating Functions of Switched Linear Systems: Analysis, Computation, and Stability Applications
IEEE-TAC FP--5 Generating Functions of Switched Linear Systems: Analysis, Computation, and Stability Applications Jianghai Hu, Member, IEEE, Jinglai Shen, Member, IEEE, and Wei Zhang, Member, IEEE Abstract
More information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
More informationTHE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS
THE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS. STATEMENT Let (X, µ, A) be a probability space, and let T : X X be an ergodic measure-preserving transformation. Given a measurable map A : X GL(d, R),
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More information