A new continuous dependence result for impulsive retarded functional differential equations

Size: px
Start display at page:

Download "A new continuous dependence result for impulsive retarded functional differential equations"

Transcription

1 CADERNOS DE MATEMÁTICA 11, May (2010) ARTIGO NÚMERO SMA#324 A new continuous dependence result for impulsive retarded functional differential equations M. Federson * Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo - Campus de São Carlos, Caixa Postal 668, São Carlos SP, Brazil J. B. Godoy Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo - Campus de São Carlos, Caixa Postal 668, São Carlos SP, Brazil We consider a large class of impulsive retarded functional differential equations and we present a new continuous dependence result for this class of equations. May, 2010 ICMC-USP Key Words: Retarded functional differential equations, impulses, existence and uniqueness, continuous dependence. 1. INTRODUCTION We consider a class of impulsive retarded differential equations (we write impulsive RFDEs for short) with Lebesgue integrable righthand sides whose indefinite integrals satisfy Carathéodory- and Lypschitz-type conditions. We also consider that the impulse operators are Lypschitzian functions and that the initial conditions are regulated functions. Then we prove an existence and uniqueness theorem for this class of equations as well as a new continuous dependence type result. In the above setting, the following continuous dependence result for impulsive RFDEs is well-known (see [1], Theorem 4.1). Consider a sequence of impulsive retarded initial value problems (we write IVPs for short) whose righthand sides converge to the righthand side of an impulsive RFDE and whose initial data also converge. Let the sequence of impulse operators be convergent as well. Suppose each element of the sequence of impulsive retarded IVPs admits a unique solution and that the sequence of solutions is uniformly convergent. * Supported by FAPESP grant 2008/ and by CNPq grant / Supported by FAPESP grant 2007/

2 38 M. FEDERSON AND J. B. GODOY Consider also the limiting IVP with limiting righthand side, limiting impulse operators and limiting initial condition. Then the limit of the sequence of solutions is a solution of the limiting IVP, provided certain conditions are fulfilled. In the present paper, we state and prove a certain reciprocal of this result. Roughly speaking, we consider a sequence of IVPs for impulsive RFDEs, in the above setting, with convergent righthand sides, convergent impulse operators and uniformly convergent initial data. We assume the limiting equation is an impulsive RFDE whose initial condition is the uniform limit of the sequence of initial data and whose solution exists and is unique. Then, under certain conditions, for sufficient large indexes, the elements of the sequence of impulsive retarded IVPs admit a unique solution and such a sequence of solutions converges to the solution of the limiting IVP. 2. THE SETTING OF IMPULSIVE RFDES Let X be a Banach space. A function f : [a, b] X is called regulated, if the following limits exist lim f(s) = f(t ) X, t (a, b], and lim f(s) = f(t+) X, s t s t+ t [a, b). In this case, we write f G([a, b], X) and we endow G([a, b], X) with the usual supremum norm f = sup a t b f(t). Then (G([a, b], X), ) is a Banach space. Also, any function in G([a, b], X) is the uniform limit of step functions (see [2]). Define G ([a, b], X) = {u G([a, b], X) : u is left continuous at every t (a, b]}. In G ([a, b], X), we consider the norm induced by G([a, b], X). Given a function y : [ r, + σ] R n, with r > 0 and σ > 0, we consider y t : [ r, 0] R n given by y t (θ) = y (t + θ), θ [ r, 0], t [, + σ]. Then it is clear that for a function y G ([ r, +σ], R n ), we have y t G ([ r, 0], R n ) for all t [, + σ]. We consider the following initial value problem for a retarded functional differential equation (RFDE) with impulses ẏ (t) = f (y t, t), t t k y (t k ) = I k (y (t k )), k = 0, 1,..., m, (1) y t0 = φ, where t k, k = 0, 1,..., m, with < t 1 <... < t k <... < t m + σ, σ > 0, are pre-assigned moments of impulse, for k = 0, 1,..., m, y I k (y) maps R n into itself and y (t k ) := y (t k +) y (t k ) = y (t k +) y (t k ), Sob a supervisão da CPq/ICMC

3 CONTINUOUS DEPENDENCE FOR IMPULSIVE RFDES 39 that is, y is left continuous at t = t k and the lateral limit y(t k +) exists, for k = 0, 1, 2,..., m. We also consider φ G ([ r, 0], R n ). It is known that the impulsive system (1) is equivalent to the integral equation y(t) = y( ) + f(y s, s)ds + y t0 = φ, t k < t I k (y(t k )) whenever the integral exists in some sense. We will consider Lebesgue integration in (2). Let P C 1 G ([ r, + σ], R n ) be an open set (in the topology of locally uniform convergence in G ([ r, + σ], R n ) with the following property: if y is an element of P C 1 and t [ r, + σ], then ȳ given by (2) ȳ (t) = { y (t), t0 r t t, y ( t), t < t, (3) is also an element of P C 1. In particular, any open ball in G ([ r, + σ], R n ) has this property. We assume that f : (ψ, t) G ([ r, 0], R n ) [, + σ] R n and that the mapping t f (y t, t) is Lebesgue integrable. We also assume the following conditions: (A) There is a Lebesgue integrable function M : [, +σ] R such that for all x P C 1 and all u 1, u 2 [, + σ], u2 u 1 u2 f (x s, s) ds M (s) ds; (B) There is a Lebesgue integrable function L : [, + σ] R such that for all x, y P C 1 and all u 1, u 2 [, + σ], u2 u 1 u2 [f (x s, s) f (y s, s)] ds L (s) x s y s ds. For the impulse operators I k : R n R n, k = 1, 2,..., we assume the following conditions: (A ) there is a constant K 1 > 0 such that for all k = 0, 1, 2,..., and all x R n, u 1 I k (x) K 1 ; (B ) there is a constant K 2 > 0 such that for all k = 0, 1, 2,..., and all x, y R n, u 1 I k (x) I k (y) K 2 x y.

4 40 M. FEDERSON AND J. B. GODOY Note that the Carathéodory- and Lipschitz-type conditions (A) and (B) are required for the indefinite integral of f only and not for the function f itself. Thus the standard requirement that f(ψ, t) is continuous in ψ does not need to be fulfilled. Also, the mapping t f (y t, t) does not need to be piecewise continuous. Let us recall the concept of a solution of problem (1). Definition 2.1. A function y P C 1 for which (y t, t) G ([ r, 0], R n ) [, + σ] for t < + σ and the conditions (i) ẏ (t) = f (y t, t), almost everywhere (in Lebesgue s sense), whenever t t k. (ii) y (t k +) = y (t k ) + I k (y (t k )), k = 0, 1, 2,..., m. (iii) y t0 = φ are satisfied is called a solution of (1) in [, + σ] (or sometimes also in [ r, + σ]) with initial condition (φ, ). In [1], it was proved that under the conditions (A), (B), (A ) and (B ), system (1) can be identified in a one-to-one correspondence with a system of generalized ordinary differential equations taking values in a Banach space. Local existence and uniqueness of solutions are guaranteed by Theorems 2.15, 3.4 and 3.5 from [1]. In what follows, we give a direct proof of an existence and uniqueness theorem for the impulsive RFDE (1) without employing the theory of generalized ODEs. Nevertheless, our proof is inspired in the proof of [1], Theorem Theorem 2.1. Consider problem (1) and suppose conditions (A), (B), (A ) and (B ) are fulfilled. Then there is a > 0 such that on the interval [, + ] there exists a unique solution y : [ r, + ] R n of problem (1) for which y t0 = φ. Proof. For t [, + σ], define h 1 (t) = [M(s) + L(s)]ds and h 2 (t) = max(k 1, K 2 ) m H tk (t), k=0 where H tk denotes the left continuous Heaviside function concentrated at t k, that is, { 0, for t tk H tk (t) = 1, for t k > t. Let h = h 1 +h 2. Then h is nondecreasing and left continuous. Besides, for s [, +σ], we have f(y t, t)dt + I j (y(t j )) = s m f(y t, t)dt + I j (y(t j ))H tj (s) t j<s j=0 Sob a supervisão da CPq/ICMC

5 CONTINUOUS DEPENDENCE FOR IMPULSIVE RFDES 41 M(t)dt + K 1 m H tj (s) h(s) h( ), j=0 by conditions (A) and (A ). We will consider two cases: when is a point of continuity of h : [, + σ] R n and otherwise. At first, let be a point of continuity of h. Assume that > 0 is such that [, + ] [, + σ) and h( + ) h( ) < 1 2. Let Q be the set of functions z : [, + ] R n such that z BV ([, + ], R n ) and z(t) y( ) h(t) h( ) for t [, + ]. It is easy to show that the set Q BV ([, + ], R n ) is closed. For s [, + ] and z Q, define T z(s) = y( ) + f(z t, t)dt + <t j s I j (z(t j )). Then, T z(s) y( ) = f(z t, t)dt + t j<s I j (z(t j )) h(s) h(), s [, + ]. Also, the fact that T z belongs to BV ([, + ], R n ) is not difficult to prove. Thus, it follows that T maps Q into itself. Take s 1 < s 2 + and z 1, z 2 Q. Using conditions (B) and (B ), we obtain T z 2 (s 2 ) T z 1 (s 2 ) [T z 2 (s 1 ) T z 1 (s 1 )] = 2 = [f(z 2, t) f(z 1, t)]dt + [I j (z 2 (t j )) I j (z 1 (t j ))] s 1 s 1 t j<s 2 2 m L(t) z 2 (t) z 1 (t) dt + K 2 z 2 (t j ) z 1 (t j ) [ H tj (s 2 ) H tj (s 1 ) ] s 1 j=0 2 m [ sup z 2 (s) z 1 (s) L(t)dt + K 2 Htj (s 2 ) H tj (s 1 ) ] s [,+ ] s 1 z 2 z 1 BV ([t0,+ ])[h(s 2 ) h(s 1 )]. Recall that z BV ([t0,+ ]) = z( ) +vart t0+ 0 (z) defines a norm in BV ([, + ], R n ), where vart t0+ 0 (z) denotes the variation of z on the interval [, + ]. Therefore T z 2 T z 1 BV ([t0,+ ]) z 2 z 1 BV ([t0,+ ])[h( + ) h( )] j=0 < 1 2 z 2 z 1 BV ([t0,+ ])

6 42 M. FEDERSON AND J. B. GODOY and hence T is a contraction. Then, by the Banach fixed-point theorem, the result follows. Now, we consider the case where is not a point of continuity of h (or of h 2 ). Define { h2 (t), t = t h 2 (t) = 0 h 2 (t) h 2 ( +) + h 2 ( ) = h 2 (t) h 2 ( +), t + σ, and h = h 1 + h 2. Then h is continuous at t =, left continuous and nondecreasing. Define an impulse operator I 0 from R n to R n such that, for y G ([, + σ], R n ), I 0 (y(t)) = { I0 (y(t)), t = I 0 (y(t)) I 0 (y( +)) + I 0 (y( )), t + σ and consider the impulsive RFDE ż (t) = f (z t, t), t t k z (t k ) = I k (z (t k )), k = 1,..., m, z ( ) = I 0 (z ( )), z t0 = φ, (4) where φ(θ) = { φ(θ), r θ < 0 y( +), θ = 0. Then, for s [, + σ], we have f(z t, t)dt + I 0 (z( )) + <t j<s I j (z(t j )) h(s) h(). As in the previous case, let > 0 be such that [, + ] [, + σ) and h( + ) h( ) < 1 2. Then, define Q as the set of functions z : [, + ] R n such that z BV ([, + ], R n ) and z(t) y( +) h(t) h( ) for t [, + ] and consider the operator T defined on Q and given by T z(s) = y( +) + f(z t, t)dt + I 0 (z( )) + <t j s I j (z(t j )). Following the procedure of the previous case, it can be shown that equation (4) admits a unique solution on [, + ]. Then, defining y t0 = φ and y(t) = z(t), for t >, we obtain a unique solution of (1), for which y t0 = φ in [, + ]. For the next theorem, we consider the following sequence of initial value problems: ẏ (t) = f p (y t, t), t t k y (t k ) = I p k (y (t k)), k = 0, 1,..., m, y t0 = φ p, (5) Sob a supervisão da CPq/ICMC

7 CONTINUOUS DEPENDENCE FOR IMPULSIVE RFDES 43 where < t 1 <... < t k <... < t m + σ, and for each p = 1, 2,..., x I p k (x) maps R n into itself and y (t k ) := y (t k +) y (t k ) = y (t k +) y (t k ), k = 0, 1, 2,..., m. We will show that, under conditions (A), (B), (A ) and (B ) for f p and I p k, k = 0, 1, 2,..., m, the sequence {y p } p 1 of solutions of (5) is equibounded and of uniformly bounded variation on some closed subinterval of [, + σ]. Theorem 2.2. Assume that for p = 0, 1,..., φ p G ([ r, 0], R n ) and moreover f p : G ([ r, 0], R n ) [, + σ] R n and I p k : Rn R n satisfy conditions (A), (B), (A ) and (B ) for the same functions M, L and the same constants K 1, K 2. Then there is a > 0 such that y p : [ r, + ] R n is a solution of (5), for each p, and the sequence {y p } p 1 is equibounded and of uniformly bounded variation on [, + ]. Proof. From the proof of Theorem 2.1, it is clear that a unique > 0 can be obtained such that a solution y p : [ r, + ] R n of (5) exists and is unique, independently of p. Thus, for p = 0, 1,..., we have y p (s) = y p ( ) + f p ((y p ) t, t)dt + I p j (y p(t j )), < t j s s [, + ]. Consider a partition = s 0 < s 1 <... < s n = + of [, + ]. Then y p (s i ) y p (s i 1 ) = i s i 1 f p ((y p ) t, t)dt + Therefore, conditions (A) and (A ) imply n y p (s i ) y p (s i 1 ) i=1 i=1 0+ n i f p ((y p ) t, t)dt s i 1 + M(s)ds + K 1 l, s i 1< t j s i I j (y p (t j )), i = 1, 2,..., n. < t j + where l is the number of impulse moments in the interval [, + ]. Then I j (y p (t j )) 0+ vart t0+ 0 (y p ) M(s)ds + K 1 l, for all p N. (6) where vart t0+ 0 (y p ) denotes the variation of y p [, + ], and hence {y p } p 1 is of uniformly bounded variation on [, + ]. Now, we are going to show that {y p } p 1 is equibounded. Again, since y p (t) = y p ( ) + f((y p ) s, s)ds + <t j t I j (y p (t j ))

8 44 M. FEDERSON AND J. B. GODOY for each t [, + ] and each p = 1, 2, 3,..., we have y p (t) y p ( ) + f p ((y p ) s, s)ds + y p ( ) + M(s)ds + K 1 l y p ( ) + 0+σ M(s)ds + K 1 l < t j + I j (y p (t j )) Therefore {y p } p 1 is equibounded on [, + ] and the result follows. 3. CONTINUOUS DEPENDENCE FOR IMPULSIVE RFDES In general, one cannot expect that an impulsive RFDE depends on the initial data. We mention [3] for an elucidative discussion on the continuous dependence of solutions of an impulsive RFDE whose impulse operators also involve delays. The next theorem is a continuous dependence result which, together with Theorem 2.2, are important to prove the theorem following it. A proof of it can be found in [1], Theorem 4.1. Theorem 3.1. Assume that for p = 0, 1,..., φ p G ([ r, 0], R n ) and moreover f p : G ([ r, 0], R n ) [, + σ] R n and I p k : Rn R n, k = 0, 1, 2,..., satisfy conditions (A), (B), (A ) and (B ) for the same functions M, L and the same constants K 1, K 2. Let the relations ϑ lim sup [f p ϑ [,+σ] p (y s, s) f 0 (y s, s)]ds = 0 (7) for every y P C 1 and lim p Ip k (x) = I0 k(x) (8) for every x R n, k = 0, 1,..., m be satisfied. Assume that y p : [ r, + σ] R n, p = 1, 2,..., is a solution on [ r, + σ] of the problem such that ẏ (t) = f p (y t, t), t t k y (t k ) = I p k (y (t k)), k = 1,..., m y t0 = φ p, lim y p(s) = y(s) uniformly on [ r, + σ]. (10) p (9) Sob a supervisão da CPq/ICMC

9 CONTINUOUS DEPENDENCE FOR IMPULSIVE RFDES 45 Then y : [ r, + σ] R n is a solution on [ r, + σ] of the problem ẏ (t) = f 0 (y t, t), t t k y (t k ) = Ik 0 (y (t k)), k = 1,..., m y t0 = φ 0. (11) The assumptions (7) and (8) in Theorem 2.2 ensure that if the sequence {y p } p 1, y p : [ r, + ] R n, p = 1, 2,..., of solutions of (5) converges uniformly to a function y : [ r, + ] R n, then this limit is a solution of (11). The next result says that adding an uniqueness condition to the limiting equation, then for sufficient large p N, y p : [ r, + ] R n is a solution of (5), provided the sequence of initial data {φ p } p 1 converges uniformly on [ r, 0]. Theorem 3.2. Assume that f p (φ, t) : G ([ r, 0], R n ) [, + σ] R n, p = 0, 1, 2,..., satisfies conditions (A) and (B) for the same functions M and L. Let I k p : R n R n k = 1, 2,..., p = 0, 1, 2,..., be impulse operators which satisfy conditions (A ) and (B ) for the same constants K 1 and K 2. Assume that for every y P C 1, and lim p [f p (y s, s) f 0 (y s, s)]ds = 0, t [, + σ] (12) lim p Ip k (x) = I0 k(x) (13) for every x R n and k = 1,..., m. Let y : [ r, + σ] R n be a solution of ẏ (t) = f 0 (y t, t), t t k y (t k ) = Ik 0 (y (t k)), k = 1,..., m y t0 = φ 0, (14) on [ r, + σ]. Assume that if there exists ρ > 0 such that sup θ [ r,0] u(θ) φ 0 (θ) < ρ, then u G ([ r, 0], R n ). Assume further that φ p φ 0 uniformly on [ r, 0] as p. Then, for sufficiently large p N, there exists a solution y p of on [ r, + σ] and ẏ (t) = f p (y t, t), t t k y (t k ) = I p k (y (t k)), k = 1,..., m y t0 = φ p, (15) lim y p(s) = y(s), s [ r, + σ] (16) p

10 46 M. FEDERSON AND J. B. GODOY Proof. The present proof is inspired in the proof of [4], Theorem 8.6, for generalized ODEs. We strongly use the fact that the functions f p, p = 0, 1, 2,..., take values in a finite dimensional space so that we can apply Helly s choice principle. Because φ p φ 0 uniformly on [ r, 0] as p, there exists ρ > 0 and k N such that sup φ p (θ) φ 0 (θ) < ρ, for p > k. (17) θ [ r,0] Thus, by the assumption, φ p G ([ r, 0], R n ), for p > k. Then this implies by the existence theorem (Theorem 2.1) that for p > k, there exists a > 0 such that y p is a solution of (15) on [ r, + ]. We assert that lim y p(s) = y(s), for s [ r, + σ]. (18) p By Theorem 3.1, if the sequence {y p } p 1 admits a convergent subsequence, then since φ p φ 0, it will follow by the uniqueness of solutions that there is a > 0 such that lim p y p (s) = y(s), for s [ r, + ], where y t0 = φ 0. We will use Helly s choice principle to prove that in fact {y p } p 1 admits a convergent subsequence. By Theorem 2.2 the sequence {y p }, p > k, of functions on [, + ] is equibounded and of uniformly bounded variation. Thus, by the Helly s choice principle, the sequence {y p }, p > k, contains a pointwise convergent subsequence and hence y(t) is the only accumulation point of the sequence y k (t) for every t [, + ]. Therefore the theorem holds on [, + ], > 0. It also holds on [ r, ], since φ p φ 0. Now, let us assume that the convergence result does not hold on the whole interval [ r, +σ]. Thus there exist a, 0 < < σ, such that for every < and for p > k, there is a solution y p of (15) on [ r, + ], with (y p ) t0 = φ 0, and lim p y p (t) = y(t) for t [ r, + ], but this does not hold on [ r, + ], whenever >. By the proof of Theorem 2.1, y k (s 2 ) y k (s 1 ) < h(s 2 ) h(s 1 ) for every s 2, s 1 [ r, + ) and every p > k. Hence the limits y p (( + ) ) = lim ε 0 y p ( + + ε), p > k, exist and y p (( + ) ) = y( + ), for p > k, since y is left continuous. Defining y p ( + ) = y p (( + ) ), for p > k, then lim p y p ( + ) = y( + ). Therefore the theorem holds on [ r, + ] as well. Then, using + < + σ as the starting point, it can be proved analogously that the theorem holds on the interval [ +, + +η], for some η > 0, and this contradicts our assumption. Thus the theorem holds on the whole interval [ r, + σ]. REFERENCES Sob a supervisão da CPq/ICMC

11 CONTINUOUS DEPENDENCE FOR IMPULSIVE RFDES M. Federson; S. Schwabik, Generalized ODEs approach to impulsive retarded differential equations, Differential and Integral Equations 19(11) (2006), MR (2007i:34092) 2. C. S. Hönig, Volterra Stieltjes Integral Equations. Functional analytic methods; linear constraints. Mathematics Studies, No. 16. Notas de Matemtica, No. 56. [Notes on Mathematics, No. 56] North- Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, MR (58 #17705) 3. Xinzhi Liu and G. Ballinger, Continuous dependence on initial values for impulsive delay differential equations, Appl. Math. Letters, 17(4), (2004), MR (2004m:34020) 4. Š. Schwabik, Generalized Ordinary Differential Equations, Series in Real Analysis, 5. World Scientific Publishing Co., Inc., River Edge, NJ, MR (94g:34004)

On the existence of G-equivariant maps

On the existence of G-equivariant maps CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,

More information

Lecture 3: Fourier Series: pointwise and uniform convergence.

Lecture 3: Fourier Series: pointwise and uniform convergence. Lecture 3: Fourier Series: pointwise and uniform convergence. 1. Introduction. At the end of the second lecture we saw that we had for each function f L ([, π]) a Fourier series f a + (a k cos kx + b k

More information

FINITE SEMIVARIATION AND REGULATED FUNCTIONS BY MEANS OF BILINEAR MAPS

FINITE SEMIVARIATION AND REGULATED FUNCTIONS BY MEANS OF BILINEAR MAPS 1 Oscar Blasco*, Departamento de Análisis Matemático, Universidad de Valencia, 46100 Burjassot, Valencia, Spain, (e-mail: oscar.blasco@uv.es) Pablo Gregori*, Departamento de Análisis Matemático, Universidad

More information

Ri and. i=1. S i N. and. R R i

Ri and. i=1. S i N. and. R R i The subset R of R n is a closed rectangle if there are n non-empty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an

More information

1 Norms and Vector Spaces

1 Norms and Vector Spaces 008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)

More information

{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...

{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,... 44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete

More information

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg

More information

Chap2: The Real Number System (See Royden pp40)

Chap2: The Real Number System (See Royden pp40) Chap2: The Real Number System (See Royden pp40) 1 Open and Closed Sets of Real Numbers The simplest sets of real numbers are the intervals. We define the open interval (a, b) to be the set (a, b) = {x

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that

More information

Course 221: Analysis Academic year , First Semester

Course 221: Analysis Academic year , First Semester Course 221: Analysis Academic year 2007-08, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

NOTES ON MEASURE THEORY. M. Papadimitrakis Department of Mathematics University of Crete. Autumn of 2004

NOTES ON MEASURE THEORY. M. Papadimitrakis Department of Mathematics University of Crete. Autumn of 2004 NOTES ON MEASURE THEORY M. Papadimitrakis Department of Mathematics University of Crete Autumn of 2004 2 Contents 1 σ-algebras 7 1.1 σ-algebras............................... 7 1.2 Generated σ-algebras.........................

More information

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,

More information

UNIVERSIDADE DE SÃO PAULO

UNIVERSIDADE DE SÃO PAULO UNIVERSIDADE DE SÃO PAULO Instituto de Ciências Matemáticas e de Computação ISSN 0103-2569 Comments on On minimizing the lengths of checking sequences Adenilso da Silva Simão N ō 307 RELATÓRIOS TÉCNICOS

More information

BOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS. Muhammad N. Islam

BOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS. Muhammad N. Islam Opuscula Math. 35, no. 2 (215), 181 19 http://dx.doi.org/1.7494/opmath.215.35.2.181 Opuscula Mathematica BOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS Muhammad

More information

Notes on weak convergence (MAT Spring 2006)

Notes on weak convergence (MAT Spring 2006) Notes on weak convergence (MAT4380 - Spring 2006) Kenneth H. Karlsen (CMA) February 2, 2006 1 Weak convergence In what follows, let denote an open, bounded, smooth subset of R N with N 2. We assume 1 p

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

Chapter 5: Application: Fourier Series

Chapter 5: Application: Fourier Series 321 28 9 Chapter 5: Application: Fourier Series For lack of time, this chapter is only an outline of some applications of Functional Analysis and some proofs are not complete. 5.1 Definition. If f L 1

More information

THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE. Contents THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

More information

Math 563 Measure Theory Project 1 (Funky Functions Group) Luis Zerón, Sergey Dyachenko

Math 563 Measure Theory Project 1 (Funky Functions Group) Luis Zerón, Sergey Dyachenko Math 563 Measure Theory Project (Funky Functions Group) Luis Zerón, Sergey Dyachenko 34 Let C and C be any two Cantor sets (constructed in Exercise 3) Show that there exists a function F: [,] [,] with

More information

Double Sequences and Double Series

Double Sequences and Double Series Double Sequences and Double Series Eissa D. Habil Islamic University of Gaza P.O. Box 108, Gaza, Palestine E-mail: habil@iugaza.edu Abstract This research considers two traditional important questions,

More information

ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS

ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS I. KIGURADZE AND N. PARTSVANIA A. Razmadze Mathematical Institute

More information

Problem Set. Problem Set #2. Math 5322, Fall December 3, 2001 ANSWERS

Problem Set. Problem Set #2. Math 5322, Fall December 3, 2001 ANSWERS Problem Set Problem Set #2 Math 5322, Fall 2001 December 3, 2001 ANSWERS i Problem 1. [Problem 18, page 32] Let A P(X) be an algebra, A σ the collection of countable unions of sets in A, and A σδ the collection

More information

1. Let X and Y be normed spaces and let T B(X, Y ).

1. Let X and Y be normed spaces and let T B(X, Y ). Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: NVP, Frist. 2005-03-14 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

More information

x a x 2 (1 + x 2 ) n.

x a x 2 (1 + x 2 ) n. Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number

More information

Lecture 12 Basic Lyapunov theory

Lecture 12 Basic Lyapunov theory EE363 Winter 2008-09 Lecture 12 Basic Lyapunov theory stability positive definite functions global Lyapunov stability theorems Lasalle s theorem converse Lyapunov theorems finding Lyapunov functions 12

More information

A Simple Observation Concerning Contraction Mappings

A Simple Observation Concerning Contraction Mappings Revista Colombiana de Matemáticas Volumen 46202)2, páginas 229-233 A Simple Observation Concerning Contraction Mappings Una simple observación acerca de las contracciones German Lozada-Cruz a Universidade

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

THE CONTRACTION MAPPING THEOREM

THE CONTRACTION MAPPING THEOREM THE CONTRACTION MAPPING THEOREM KEITH CONRAD 1. Introduction Let f : X X be a mapping from a set X to itself. We call a point x X a fixed point of f if f(x) = x. For example, if [a, b] is a closed interval

More information

Asian Option Pricing Formula for Uncertain Financial Market

Asian Option Pricing Formula for Uncertain Financial Market Sun and Chen Journal of Uncertainty Analysis and Applications (215) 3:11 DOI 1.1186/s4467-15-35-7 RESEARCH Open Access Asian Option Pricing Formula for Uncertain Financial Market Jiajun Sun 1 and Xiaowei

More information

Chapter 5. Banach Spaces

Chapter 5. Banach Spaces 9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on

More information

TRIPLE POSITIVE SOLUTIONS FOR BOUNDARY VALUE PROBLEM OF A NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION. Communicated by Mohammad Asadzadeh

TRIPLE POSITIVE SOLUTIONS FOR BOUNDARY VALUE PROBLEM OF A NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION. Communicated by Mohammad Asadzadeh Bulletin of the Iranian Mathematical Society Vol. 33 No. 2 (27), pp -. TRIPLE POSITIVE SOLUTIONS FOR BOUNDARY VALUE PROBLEM OF A NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION R. DEHGHANI AND K. GHANBARI*

More information

Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

More information

General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1

General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics General Theory of Differential Equations Sections 2.8, 3.1-3.2, 4.1 Dr. John Ehrke Department of Mathematics Fall 2012 Questions

More information

Solutions to Tutorial 2 (Week 3)

Solutions to Tutorial 2 (Week 3) THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 2 (Week 3) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2016 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/

More information

Known Results and Open Problems on C 1 linearization in Banach Spaces

Known Results and Open Problems on C 1 linearization in Banach Spaces São Paulo Journal of Mathematical Sciences 6, 2 (2012), 375 384 Known Results and Open Problems on C 1 linearization in Banach Spaces Hildebrando M. Rodrigues Instituto de Ciências Matemáticas e de Computaçao

More information

Notes on Fourier Series (IV) : Stieltjes Integrals,

Notes on Fourier Series (IV) : Stieltjes Integrals, Notes on Fourier Series (IV) : Stieltjes Integrals, by Shin-ichi Izumi and Tatsuo KAWATA, Sendai. 1. We define two integrals of the S tieltjes type. The first is that with,determinate function of bounded

More information

) + ˆf (n) sin( 2πnt. = 2 u x 2, t > 0, 0 < x < 1. u(0, t) = u(1, t) = 0, t 0. (x, 0) = 0 0 < x < 1.

) + ˆf (n) sin( 2πnt. = 2 u x 2, t > 0, 0 < x < 1. u(0, t) = u(1, t) = 0, t 0. (x, 0) = 0 0 < x < 1. Introduction to Fourier analysis This semester, we re going to study various aspects of Fourier analysis. In particular, we ll spend some time reviewing and strengthening the results from Math 425 on Fourier

More information

Stochastic Inventory Control

Stochastic Inventory Control Chapter 3 Stochastic Inventory Control 1 In this chapter, we consider in much greater details certain dynamic inventory control problems of the type already encountered in section 1.3. In addition to the

More information

SOME TYPES OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS

SOME TYPES OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS Real Analysis Exchange Vol. 28(2), 2002/2003, pp. 43 59 Ruchi Das, Department of Mathematics, Faculty of Science, The M.S. University Of Baroda, Vadodara - 390002, India. email: ruchid99@yahoo.com Nikolaos

More information

A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY

A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY Guidetti, D. and Lorenzi, A. Osaka J. Math. 44 (27), 579 613 A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY DAVIDE GUIDETTI and ALFREDO LORENZI (Received January 23, 26,

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space

and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space RAL ANALYSIS A survey of MA 641-643, UAB 1999-2000 M. Griesemer Throughout these notes m denotes Lebesgue measure. 1. Abstract Integration σ-algebras. A σ-algebra in X is a non-empty collection of subsets

More information

I. Pointwise convergence

I. Pointwise convergence MATH 40 - NOTES Sequences of functions Pointwise and Uniform Convergence Fall 2005 Previously, we have studied sequences of real numbers. Now we discuss the topic of sequences of real valued functions.

More information

Course 421: Algebraic Topology Section 1: Topological Spaces

Course 421: Algebraic Topology Section 1: Topological Spaces Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

Fourier series. Jan Philip Solovej. English summary of notes for Analysis 1. May 8, 2012

Fourier series. Jan Philip Solovej. English summary of notes for Analysis 1. May 8, 2012 Fourier series Jan Philip Solovej English summary of notes for Analysis 1 May 8, 2012 1 JPS, Fourier series 2 Contents 1 Introduction 2 2 Fourier series 3 2.1 Periodic functions, trigonometric polynomials

More information

Sequences of Functions

Sequences of Functions Sequences of Functions Uniform convergence 9. Assume that f n f uniformly on S and that each f n is bounded on S. Prove that {f n } is uniformly bounded on S. Proof: Since f n f uniformly on S, then given

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

More information

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)! Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

More information

On the Fractional Derivatives at Extreme Points

On the Fractional Derivatives at Extreme Points Electronic Journal of Qualitative Theory of Differential Equations 212, No. 55, 1-5; http://www.math.u-szeged.hu/ejqtde/ On the Fractional Derivatives at Extreme Points Mohammed Al-Refai Department of

More information

1 Introduction, Notation and Statement of the main results

1 Introduction, Notation and Statement of the main results XX Congreso de Ecuaciones Diferenciales y Aplicaciones X Congreso de Matemática Aplicada Sevilla, 24-28 septiembre 2007 (pp. 1 6) Skew-product maps with base having closed set of periodic points. Juan

More information

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí Opuscula Math. 34 no. 4 2014 683 690 http://dx.doi.org/10.7494/opmath.2014.34.4.683 Opuscula Mathematica CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian Pasquale

More information

Chapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1

Chapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1 Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes

More information

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper. FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

More information

If the sets {A i } are pairwise disjoint, then µ( i=1 A i) =

If the sets {A i } are pairwise disjoint, then µ( i=1 A i) = Note: A standing homework assignment for students in MAT1501 is: let me know about any mistakes, misprints, ambiguities etc that you find in these notes. 1. measures and measurable sets If X is a set,

More information

An example of a computable

An example of a computable An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

More information

Math 317 HW #7 Solutions

Math 317 HW #7 Solutions Math 17 HW #7 Solutions 1. Exercise..5. Decide which of the following sets are compact. For those that are not compact, show how Definition..1 breaks down. In other words, give an example of a sequence

More information

Compactness in metric spaces

Compactness in metric spaces MATHEMATICS 3103 (Functional Analysis) YEAR 2012 2013, TERM 2 HANDOUT #2: COMPACTNESS OF METRIC SPACES Compactness in metric spaces The closed intervals [a, b] of the real line, and more generally the

More information

Rolle s Theorem. q( x) = 1

Rolle s Theorem. q( x) = 1 Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question

More information

Essential Topic: Continuous cash flows

Essential Topic: Continuous cash flows Essential Topic: Continuous cash flows Chapters 2 and 3 The Mathematics of Finance: A Deterministic Approach by S. J. Garrett CONTENTS PAGE MATERIAL Continuous payment streams Example Continuously paid

More information

MATH 461: Fourier Series and Boundary Value Problems

MATH 461: Fourier Series and Boundary Value Problems MATH 461: Fourier Series and Boundary Value Problems Chapter III: Fourier Series Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2015 fasshauer@iit.edu MATH 461 Chapter

More information

Gambling Systems and Multiplication-Invariant Measures

Gambling Systems and Multiplication-Invariant Measures Gambling Systems and Multiplication-Invariant Measures by Jeffrey S. Rosenthal* and Peter O. Schwartz** (May 28, 997.. Introduction. This short paper describes a surprising connection between two previously

More information

Some stability results of parameter identification in a jump diffusion model

Some stability results of parameter identification in a jump diffusion model Some stability results of parameter identification in a jump diffusion model D. Düvelmeyer Technische Universität Chemnitz, Fakultät für Mathematik, 09107 Chemnitz, Germany Abstract In this paper we discuss

More information

The integrating factor method (Sect. 2.1).

The integrating factor method (Sect. 2.1). The integrating factor method (Sect. 2.1). Overview of differential equations. Linear Ordinary Differential Equations. The integrating factor method. Constant coefficients. The Initial Value Problem. Variable

More information

INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES

INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES FERNANDO BOMBAL AND IGNACIO VILLANUEVA Abstract. We study and characterize the integral multilinear operators on a product of C(K) spaces in terms of the

More information

Working Paper Series

Working Paper Series RGEA Universidade de Vigo http://webs.uvigo.es/rgea Working Paper Series A Market Game Approach to Differential Information Economies Guadalupe Fugarolas, Carlos Hervés-Beloso, Emma Moreno- García and

More information

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness

More information

Applications of Fourier series

Applications of Fourier series Chapter Applications of Fourier series One of the applications of Fourier series is the evaluation of certain infinite sums. For example, n= n,, are computed in Chapter (see for example, Remark.4.). n=

More information

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity

More information

Infinite product spaces

Infinite product spaces Chapter 7 Infinite product spaces So far we have talked a lot about infinite sequences of independent random variables but we have never shown how to construct such sequences within the framework of probability/measure

More information

The Fourier Series of a Periodic Function

The Fourier Series of a Periodic Function 1 Chapter 1 he Fourier Series of a Periodic Function 1.1 Introduction Notation 1.1. We use the letter with a double meaning: a) [, 1) b) In the notations L p (), C(), C n () and C () we use the letter

More information

1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if. lim sup. j E j = E.

1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if. lim sup. j E j = E. Real Analysis, course outline Denis Labutin 1 Measure theory I 1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if (a), Ω A ; (b)

More information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric Spaces Joseph Muscat 2003 (Last revised May 2009) 1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

Practice Problems Solutions

Practice Problems Solutions Practice Problems Solutions The problems below have been carefully selected to illustrate common situations and the techniques and tricks to deal with these. Try to master them all; it is well worth it!

More information

Math 317 HW #5 Solutions

Math 317 HW #5 Solutions Math 317 HW #5 Solutions 1. Exercise 2.4.2. (a) Prove that the sequence defined by x 1 = 3 and converges. x n+1 = 1 4 x n Proof. I intend to use the Monotone Convergence Theorem, so my goal is to show

More information

ALMOST COMMON PRIORS 1. INTRODUCTION

ALMOST COMMON PRIORS 1. INTRODUCTION ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type

More information

x if x 0, x if x < 0.

x if x 0, x if x < 0. Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

More information

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations

Section 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations Difference Equations to Differential Equations Section.7 Rolle s Theorem and the Mean Value Theorem The two theorems which are at the heart of this section draw connections between the instantaneous rate

More information

1 Fixed Point Iteration and Contraction Mapping Theorem

1 Fixed Point Iteration and Contraction Mapping Theorem 1 Fixed Point Iteration and Contraction Mapping Theorem Notation: For two sets A,B we write A B iff x A = x B. So A A is true. Some people use the notation instead. 1.1 Introduction Consider a function

More information

5. Convergence of sequences of random variables

5. Convergence of sequences of random variables 5. Convergence of sequences of random variables Throughout this chapter we assume that {X, X 2,...} is a sequence of r.v. and X is a r.v., and all of them are defined on the same probability space (Ω,

More information

Separation Properties for Locally Convex Cones

Separation Properties for Locally Convex Cones Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

More information

ON THE EXISTENCE AND LIMIT BEHAVIOR OF THE OPTIMAL BANDWIDTH FOR KERNEL DENSITY ESTIMATION

ON THE EXISTENCE AND LIMIT BEHAVIOR OF THE OPTIMAL BANDWIDTH FOR KERNEL DENSITY ESTIMATION Statistica Sinica 17(27), 289-3 ON THE EXISTENCE AND LIMIT BEHAVIOR OF THE OPTIMAL BANDWIDTH FOR KERNEL DENSITY ESTIMATION J. E. Chacón, J. Montanero, A. G. Nogales and P. Pérez Universidad de Extremadura

More information

MAA6616 COURSE NOTES FALL 2012

MAA6616 COURSE NOTES FALL 2012 MAA6616 COURSE NOTES FALL 2012 1. σ-algebras Let X be a set, and let 2 X denote the set of all subsets of X. We write E c for the complement of E in X, and for E, F X, write E \ F = E F c. Let E F denote

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Systems with Persistent Memory: the Observation Inequality Problems and Solutions

Systems with Persistent Memory: the Observation Inequality Problems and Solutions Chapter 6 Systems with Persistent Memory: the Observation Inequality Problems and Solutions Facts that are recalled in the problems wt) = ut) + 1 c A 1 s ] R c t s)) hws) + Ks r)wr)dr ds. 6.1) w = w +

More information

Fixed Point Theorems

Fixed Point Theorems Fixed Point Theorems Definition: Let X be a set and let T : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation

More information

Prof. Girardi, Math 703, Fall 2012 Homework Solutions: Homework 13. in X is Cauchy.

Prof. Girardi, Math 703, Fall 2012 Homework Solutions: Homework 13. in X is Cauchy. Homework 13 Let (X, d) and (Y, ρ) be metric spaces. Consider a function f : X Y. 13.1. Prove or give a counterexample. f preserves convergent sequences if {x n } n=1 is a convergent sequence in X then

More information

MATH41112/61112 Ergodic Theory Lecture Measure spaces

MATH41112/61112 Ergodic Theory Lecture Measure spaces 8. Measure spaces 8.1 Background In Lecture 1 we remarked that ergodic theory is the study of the qualitative distributional properties of typical orbits of a dynamical system and that these properties

More information

SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction

SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction italian journal of pure and applied mathematics n. 35 2015 (487 492) 487 SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS Abdelaziz Tajmouati Mohammed El berrag Sidi Mohamed Ben Abdellah University

More information

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7-669. UL: http://ejde.math.txstate.edu

More information

Math212a1010 Lebesgue measure.

Math212a1010 Lebesgue measure. Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.

More information

6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, ) 6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

More information

Lecture notes on Ordinary Differential Equations. Plan of lectures

Lecture notes on Ordinary Differential Equations. Plan of lectures 1 Lecture notes on Ordinary Differential Equations Annual Foundation School, IIT Kanpur, Dec.3-28, 2007. by Dept. of Mathematics, IIT Bombay, Mumbai-76. e-mail: sivaji.ganesh@gmail.com References Plan

More information

Chapter 04 - More General Annuities

Chapter 04 - More General Annuities Chapter 04 - More General Annuities 4-1 Section 4.3 - Annuities Payable Less Frequently Than Interest Conversion Payment 0 1 0 1.. k.. 2k... n Time k = interest conversion periods before each payment n

More information

Rend. Istit. Mat. Univ. Trieste Suppl. Vol. XXX, 111{121 (1999) Fuzziness in Chang's Fuzzy Topological Spaces Valentn Gregori and Anna Vidal () Summary. - It is known that fuzziness within the concept

More information