Smooth Dependence of Solutions of Differential Equations on Initial Data: A Simple Proof*

Size: px
Start display at page:

Download "Smooth Dependence of Solutions of Differential Equations on Initial Data: A Simple Proof*"

Transcription

1 Smooth Dependence of Solutions of Differential Equations on Initial Data: A Simple Proof* J. SOTOMAYOR ABSTRACT. A simple proof of smooth depehdence of solutions of ordinary differential equations. with respect to ini.tialcon,j[iions, is given. The proof uses the Fibre Contraction Theorem. A proof of the following theorem can be found in [1, 2]. 1. FIBRE CONTRACTION THEOREM. Let (X, d) and (X', d') be complete metric spaces and let I~: X x X' ~ X X' be a map of the form Assume that f(x, x') = (F(x), F'(x, ~')). a) F: X ~ X has an attracting fi point p, that is: F(p) = p, and lim F"(x) = p, for ecerv _x 9 X. b) The map x.-, F'(x,x') is continous in X, for every x' ~ X'. c) For every x e X the map F'~ X' ~X' defined by Fi,(x') = F'(x,x') is a ),-contraction, with 2 < 1. This means that for all xex and x',.v'sx'. d'(f.i~(x'), Fi,(v')) < 2d'(x', y') Then if p' denotes the unique attracting fixed point of F'p, the point/~ = (p, p') ex x X' is an attracting fixed point of ft. *Recebido pela SBM em 30 de agosto de

2 REMARKS I) Condition a) above is satisfied if, for instance, F is a,;.-contraction with < 1. This is the well known shrinking Lemma. The proof of Theorem 1 is essentially elementary, although slightly technical. 2) In [1,2] Theorem l was used to prove the smoothness of the invariant' manifolds associated to hyperbolic fixed points. 2. THEOREM ON SMOOTH DEPENDENCE ON. INITIAL CONDITIONS. Let.f he a map of class C t (continuous with continuous first partial dericatives) in an open set A ~ R", with values in R ~. For each point x o ~ A there are associated positive numhers :~, fl and a unique map ~ of class C l in with values in A, such that l, B e = {(t,x); It <,Ix-; ol < ~, (0) go (t, x) = f(r x)), 4(0, x) = x & for all (t,x) e l~ x B e. PROOF. Let b >0 be such that ~ ={x; Ix-xo[ <bl c A and let m = sup l f(x)l, l= sup ll Df(x)l[, for xeb--bb. Take ct and fl such that arm + fl < b and 2 = let < 1.'Denote by X the space of bounded continuous maps of I, x B a, endowed with the metric Denote by s d(~5,,,9 = sup{i oh(t, x) - 't'(t, x) l; (t, x) s I= x B,l. the space of linear endomorphisms of [R", endowed with the norm Ilgll = {suplgl; [xl = l}. Let X'be the vector space of bounded continuous maps of I= x B e in s endowed with the metric v') = supl I1 - v'(t, x)ii; (t, x) e I= x B,,',. Define F: X 56, X by F((,5) (t, x) = x + f' d 0.f(c~(s, x)) ds~

3 and I."".\ x,\" --,.\" by t"'(,h, ~//)U,.\)= t:, ~- t" [ l)f (,h(s,.\)1 ~fi' ls. \')ds, where E is the identiy element of '_/'. The map /g = (F, F') satisfies the hypofllcsis of Theorem I. In fact" a) F is a 2-contraction, since, by the mean value Theorem: d(f(~), F(~) = sup t i do I f(~5(s, x))-.f(w(s, x))l ds <_ sup, 11 ~5(s, x) - hv(s, x)[ ds < odd(o, ~) = 2 d((l~, '~). Hence F has a (unique) attracting fixed point ~, e X. b) Is immediate since Df is uniformly continuous in /~. t c) d'(f~,(0' ) - F~(~")) = sup [I f)f(o(s, x)) I gs'(s, x) - tp'(s, x) l dsll <_ ),d'((ff, ~'). i do The (unique) attracting fixed point of f is ot: the form (fi = (0, (~'), where F(qS) = 4) and F'(qS')= 95'. Relation (0) is obtained differentiating with respect to t both membrs of F(qS) = qs. Continuity of #5 is I n x B~ is immediate since q5 ~ X. To prove that q~ is of class C 1 it is enough to verify that D2q5 is equal to ~5' which is continuous in I~ x B~, since Dig5 = fo q5 is continuous in I~ x B~. The sequence (0,, gs',) = F"(4%, 0;), where qs0(t, x) = x and 4/ -= E, satisfies 4,,, 4) and q~',, qs', uniformly in I~ x B~ ; moreover, every qs, is of class C 1 and, for every n, DzqS, = ~b',. This follows by induction. Therefore, since 4), = D2q5. is continuous because it is an element of X', it follows, by the theorem on the exchange of the order of taking uniform limits and differentiating, that Dzq~ exists and is eq.ual to 4)'. This ends the proof. 57

4 REMARKS 1) The same.arguments in the proof above lead to the somoothness of solutions of "'non autonomous" differential equations x' = f(t, x), X(to) = x, where f is continuous with D z f continuous in an open set of the (t, x)- space. 2) Other classical theorems of Analysis, like the Inverse Function Theorem, can be proved using Theorem I. We outline such proof in what follows. The interested reader can fill in details. If g is of class C 1 in an open set of [t~ with L = Dg(xo) non singular, it can be assumed, by translating Xo and 9(Xo) to 0 ~ [W and composing with L-~, that 9 is of the form v=9(x)=x +A(x), with A(0)=0 and DA(0) =0. Let B6 be a ball centered at 0 with radius 6, where {I DA]I < 89 Call X the space of continuous maps ), of B6/2 with values in B6/2, and let X' the space of bounded continuous maps ~/' from B6/2 tos the space of linear endomorphisms of R". Apply Theorem 1 to the map f = (F, F'), where F: X ~ X is given by F(7)(.v) = -A(y + 7(.v)), and F': X, X' is defined by F(,,,, y'x.v) = -DA(y +,/(.v))o [E +?,'(.v)], and obtain the existence of the inverse of 9, 9-1, in the form x = v + ),(v), with y ~ X, and its differentiability. Actually, going backwards, this form of 9-1 motivates the definition of F, since it follows, by substitution in 9, that v +,/(v) + A(y + ;~(v)). = v, ar~tt,/(y) =- A(.v + ~.,(.v)). Also, the definition of F' is obtained heuristically differentiating this last equation. 58

5 REFERENCES [l] HIRSH, PUGH, Stable manifolds.for hyperbolic sets, Proc. Syrup. in Pure Math., vol. XIV, AMS, [2] I. C. DE Ot.,vEm^, Variedades Invariantes de Pontos Fixos Hiperb6- licos, S~io Paulo, Inslituto de Matemiltica Pura e Aplicada Rio de Janeiro - BRASIL 59

Differentiability with Respect to Lag Function for Nonlinear Pantograph Equations

Differentiability with Respect to Lag Function for Nonlinear Pantograph Equations Differentiability with Respect to Lag Function for Nonlinear Pantograph Equations Alexandru Tămăşan Differentiability with respect to λ (, 1) is provided for the nonlinear pantograph equations y (t) =

More information

Half of Final Exam Name: Practice Problems October 28, 2014

Half of Final Exam Name: Practice Problems October 28, 2014 Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half

More information

1.4 The Jacobian of a map

1.4 The Jacobian of a map 1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p

More information

Contents. 1. Introduction

Contents. 1. Introduction FUNDAMENTAL THEOREM OF THE LOCAL THEORY OF CURVES KAIXIN WANG Abstract. In this expository paper, we present the fundamental theorem of the local theory of curves along with a detailed proof. We first

More information

Math 147, Homework 5 Solutions Due: May 15, 2012

Math 147, Homework 5 Solutions Due: May 15, 2012 Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is

More information

Lorenz like flows. Maria José Pacifico. IM-UFRJ Rio de Janeiro - Brasil. Lorenz like flows p. 1

Lorenz like flows. Maria José Pacifico. IM-UFRJ Rio de Janeiro - Brasil. Lorenz like flows p. 1 Lorenz like flows Maria José Pacifico pacifico@im.ufrj.br IM-UFRJ Rio de Janeiro - Brasil Lorenz like flows p. 1 Main goals The main goal is to explain the results (Galatolo-P) Theorem A. (decay of correlation

More information

THE INVERSE FUNCTION THEOREM

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

More information

The Laplace Transform. Background: Improper Integrals

The Laplace Transform. Background: Improper Integrals The Laplace Transform Background: Improper Integrals Recall: Definite Integral: a, b real numbers, a b; f continuous on [a, b] b a f(x) dx 1 Improper integrals: Type I Infinite interval of integration

More information

dx dx 2 A B. C.- D.- E.- AA B.B C.C D.D E.E .. 3x+ 2x 2 x-003x -4x +2x 1 A B. C. 1 A.- B.- C.- E. undefined D d d 2 d 2 d 1 A.2 C. 4 D.6 E.

dx dx 2 A B. C.- D.- E.- AA B.B C.C D.D E.E .. 3x+ 2x 2 x-003x -4x +2x 1 A B. C. 1 A.- B.- C.- E. undefined D d d 2 d 2 d 1 A.2 C. 4 D.6 E. Semester Exam Review Part No Calculators d d. For the graph shown, at which point is it true that < 0 and --t > o? AA B.B C.C D.D E.E. Line L is normal to the curve defmed by xy - y = 8 at the point (,).

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

Anais da Academia Brasileira de Ciências ISSN: Academia Brasileira de Ciências Brasil

Anais da Academia Brasileira de Ciências ISSN: Academia Brasileira de Ciências Brasil Anais da Academia Brasileira de Ciências ISSN: 0001-3765 aabc@abc.org.br Academia Brasileira de Ciências Brasil Ma, Li; Yang, Yang A remark on soliton equation of mean curvature flow Anais da Academia

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

The Laplace Transform. Background: Improper Integrals

The Laplace Transform. Background: Improper Integrals The Laplace Transform Background: Improper Integrals Recall: Definite Integral: a, b real numbers, a b; f continuous on [a, b] b a f(x) dx 1 Improper integrals: Type I Infinite interval of integration

More information

Study of Existence and uniqueness of solution of abstract nonlinear differential equation of finite delay

Study of Existence and uniqueness of solution of abstract nonlinear differential equation of finite delay Study of Existence and uniqueness of solution of abstract nonlinear differential equation of finite delay Rupesh T. More and Vijay B. Patare Department of Mathematics, Arts, Commerce and Science College,

More information

THE FUNDAMENTAL THEOREM OF SPACE CURVES

THE FUNDAMENTAL THEOREM OF SPACE CURVES THE FUNDAMENTAL THEOREM OF SPACE CURVES JOSHUA CRUZ Abstract. In this paper, we show that curves in R 3 can be uniquely generated by their curvature and torsion. By finding conditions that guarantee the

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information

Abundance of stable ergodicity

Abundance of stable ergodicity Abundance of stable ergodicity Christian Bonatti, Carlos atheus, arcelo Viana, Amie Wilkinson December 7, 2002 Abstract We consider the set PH ω () of volume preserving partially hyperbolic diffeomorphisms

More information

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t)) Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time

More information

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS

EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS

More information

1 The Existence and Uniqueness Theorem for First-Order Differential Equations

1 The Existence and Uniqueness Theorem for First-Order Differential Equations 1 The Existence and Uniqueness Theorem for First-Order Differential Equations Let I R be an open interval and G R n, n 1, be a domain. Definition 1.1 Let us consider a function f : I G R n. The general

More information

TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS

TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS ANDY HAMMERLINDL ABSTRACT. We give theorems which establish the existence of a dominated splitting and further properties, such as partial hyperbolicity.

More information

On Existence and Uniqueness of Solutions of Ordinary Differential Equations

On Existence and Uniqueness of Solutions of Ordinary Differential Equations On Existence and Uniqueness of Solutions of Ordinary Differential Equations Michael Björklund Abstract This paper concentrates on questions regarding existence and uniqueness to the generic initial value

More information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

Course 212: Academic Year Section 1: Metric Spaces

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

More information

DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS

DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS CLARK ROBINSON 0. Introduction In this paper 1, we show how the differentiable linearization of a diffeomorphism near a hyperbolic fixed point

More information

arxiv: v1 [math.mg] 28 Dec 2018

arxiv: v1 [math.mg] 28 Dec 2018 NEIGHBORING MAPPING POINTS THEOREM ANDREI V. MALYUTIN AND OLEG R. MUSIN arxiv:1812.10895v1 [math.mg] 28 Dec 2018 Abstract. Let f: X M be a continuous map of metric spaces. We say that points in a subset

More information

10 Transfer Matrix Models

10 Transfer Matrix Models MIT EECS 6.241 (FALL 26) LECTURE NOTES BY A. MEGRETSKI 1 Transfer Matrix Models So far, transfer matrices were introduced for finite order state space LTI models, in which case they serve as an important

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

Inverse Function Theorem

Inverse Function Theorem Inverse Function Theorem Ethan Y. Jaffe 1 Motivation When as an undergraduate I first learned the inverse function theorem, I was using a textbook of Munkres [1]. The proof presented there was quite complicated

More information

THE ANALYSIS OF SOLUTION OF NONLINEAR SECOND ORDER ORDINARY DIFFERENTIAL EQUATIONS

THE ANALYSIS OF SOLUTION OF NONLINEAR SECOND ORDER ORDINARY DIFFERENTIAL EQUATIONS THE ANALYSIS OF SOLUTION OF NONLINEAR SECOND ORDER ORDINARY DIFFERENTIAL EQUATIONS FANIRAN TAYE SAMUEL Assistant Lecturer, Department of Computer Science, Lead City University, Ibadan, Nigeria. Email :

More information

Geometry and the Kato square root problem

Geometry and the Kato square root problem Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 7 June 2013 Geometric Analysis Seminar University of Wollongong Lashi

More information

DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE. inf{d Y (f(x), f(y)) : d X (x, y) r} H

DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE. inf{d Y (f(x), f(y)) : d X (x, y) r} H DECOMPOSING DIFFEOMORPHISMS OF THE SPHERE ALASTAIR FLETCHER, VLADIMIR MARKOVIC 1. Introduction 1.1. Background. A bi-lipschitz homeomorphism f : X Y between metric spaces is a mapping f such that f and

More information

LMI Methods in Optimal and Robust Control

LMI Methods in Optimal and Robust Control LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear

More information

Existence and uniqueness: Picard s theorem

Existence and uniqueness: Picard s theorem Existence and uniqueness: Picard s theorem First-order equations Consider the equation y = f(x, y) (not necessarily linear). The equation dictates a value of y at each point (x, y), so one would expect

More information

Some asymptotic properties of solutions for Burgers equation in L p (R)

Some asymptotic properties of solutions for Burgers equation in L p (R) ARMA manuscript No. (will be inserted by the editor) Some asymptotic properties of solutions for Burgers equation in L p (R) PAULO R. ZINGANO Abstract We discuss time asymptotic properties of solutions

More information

SMSTC (2017/18) Geometry and Topology 2.

SMSTC (2017/18) Geometry and Topology 2. SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture

More information

Math 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015

Math 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015 Math 30-: Final Exam Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A closed and bounded subset of C[0, 1] which is

More information

Lax Solution Part 4. October 27, 2016

Lax Solution Part 4.   October 27, 2016 Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =

More information

Mathematical Analysis Outline. William G. Faris

Mathematical Analysis Outline. William G. Faris Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,

More information

A generic property of families of Lagrangian systems

A generic property of families of Lagrangian systems Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many

More information

3 Stability and Lyapunov Functions

3 Stability and Lyapunov Functions CDS140a Nonlinear Systems: Local Theory 02/01/2011 3 Stability and Lyapunov Functions 3.1 Lyapunov Stability Denition: An equilibrium point x 0 of (1) is stable if for all ɛ > 0, there exists a δ > 0 such

More information

Nonnegative Solutions for a Class of Nonpositone Problems

Nonnegative Solutions for a Class of Nonpositone Problems Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 1-1-1988 Nonnegative Solutions for a Class of Nonpositone Problems Alfonso Castro Harvey Mudd

More information

On nonexpansive and accretive operators in Banach spaces

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

More information

p(r)=hmsup sup (r»),!! 1^ n >oo zeb

p(r)=hmsup sup (r»),!! 1^ n >oo zeb INVARIANT MANIFOLDS BY M. W. HIRSCH, C. C. PUGH AND M. SHUB Communicated by Stephen Smale, April 29, 1970 0. Introduction. Let M be a finite dimensional Riemann manifold without boundary. Kupka [5], Sacker

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner

More information

Mathematics for Economists

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

More information

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure

More information

Polynomial Integral Transform for Solving Differential Equations

Polynomial Integral Transform for Solving Differential Equations EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 9, No. 2, 206, 40-5 ISSN 307-5543 www.ejpam.com Polynomial Integral Transform for Solving Differential Equations Benedict Barnes School of Agriculture

More information

Parts Manual. EPIC II Critical Care Bed REF 2031

Parts Manual. EPIC II Critical Care Bed REF 2031 EPIC II Critical Care Bed REF 2031 Parts Manual For parts or technical assistance call: USA: 1-800-327-0770 2013/05 B.0 2031-109-006 REV B www.stryker.com Table of Contents English Product Labels... 4

More information

o K(s, t)f(t)(s tp) dt g(s), 0 < =< T, with given p > 0 and 0< a < 1. Particular attention is

o K(s, t)f(t)(s tp) dt g(s), 0 < =< T, with given p > 0 and 0< a < 1. Particular attention is SIAM J. MATH. ANAL. Vol. 5, No. 5, October 1974 AN EXISTENCE THEOREM FOR ABEL INTEGRAL EQUATIONS* KENDALL E. ATKINSON$ Abstract. An existence and smoothness theorem is given for the Abel integral equation

More information

Lecture Notes 6: Dynamic Equations Part C: Linear Difference Equation Systems

Lecture Notes 6: Dynamic Equations Part C: Linear Difference Equation Systems University of Warwick, EC9A0 Maths for Economists Peter J. Hammond 1 of 45 Lecture Notes 6: Dynamic Equations Part C: Linear Difference Equation Systems Peter J. Hammond latest revision 2017 September

More information

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions

More information

MARKOV PARTITIONS FOR HYPERBOLIC SETS

MARKOV PARTITIONS FOR HYPERBOLIC SETS MARKOV PARTITIONS FOR HYPERBOLIC SETS TODD FISHER, HIMAL RATHNAKUMARA Abstract. We show that if f is a diffeomorphism of a manifold to itself, Λ is a mixing (or transitive) hyperbolic set, and V is a neighborhood

More information

Lipschitz shadowing implies structural stability

Lipschitz shadowing implies structural stability Lipschitz shadowing implies structural stability Sergei Yu. Pilyugin Sergei B. Tihomirov Abstract We show that the Lipschitz shadowing property of a diffeomorphism is equivalent to structural stability.

More information

Partial Differential Equations

Partial Differential Equations Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

More information

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm SOME QUESTIONS FOR MATH 766, SPRING 2016 SHUANGLIN SHAO Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm f C = sup f(x). 0 x 1 Prove that C([0, 1]) is a

More information

Geometry and the Kato square root problem

Geometry and the Kato square root problem Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 7 June 2013 Geometric Analysis Seminar University of Wollongong Lashi

More information

Small distortion and volume preserving embedding for Planar and Euclidian metrics Satish Rao

Small distortion and volume preserving embedding for Planar and Euclidian metrics Satish Rao Small distortion and volume preserving embedding for Planar and Euclidian metrics Satish Rao presented by Fjóla Rún Björnsdóttir CSE 254 - Metric Embeddings Winter 2007 CSE 254 - Metric Embeddings - Winter

More information

West Bengal State University

West Bengal State University West Bengal State University MTMG (GEN)-Ol B.A./B.Sc./B.Com. ( Honours, Major, General) Examinations, 2015 PART- I MATHEMATICS - GENERAL Paper -I Duration : 3 Hours l [ Full Marks: 100 The figures in the

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40 NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following

More information

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES

ALMOST PERIODIC SOLUTIONS OF HIGHER ORDER DIFFERENTIAL EQUATIONS ON HILBERT SPACES Electronic Journal of Differential Equations, Vol. 21(21, No. 72, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu ALMOST PERIODIC SOLUTIONS

More information

Abundance of stable ergodicity

Abundance of stable ergodicity Abundance of stable ergodicity Christian Bonatti, Carlos Matheus, Marcelo Viana, Amie Wilkinson October 5, 2004 Abstract We consider the set PH ω (M) of volume preserving partially hyperbolic diffeomorphisms

More information

Econ Lecture 14. Outline

Econ Lecture 14. Outline Econ 204 2010 Lecture 14 Outline 1. Differential Equations and Solutions 2. Existence and Uniqueness of Solutions 3. Autonomous Differential Equations 4. Complex Exponentials 5. Linear Differential Equations

More information

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

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

More information

Third In-Class Exam Solutions Math 246, Professor David Levermore Thursday, 3 December 2009 (1) [6] Given that 2 is an eigenvalue of the matrix

Third In-Class Exam Solutions Math 246, Professor David Levermore Thursday, 3 December 2009 (1) [6] Given that 2 is an eigenvalue of the matrix Third In-Class Exam Solutions Math 26, Professor David Levermore Thursday, December 2009 ) [6] Given that 2 is an eigenvalue of the matrix A 2, 0 find all the eigenvectors of A associated with 2. Solution.

More information

Math 127: Course Summary

Math 127: Course Summary Math 27: Course Summary Rich Schwartz October 27, 2009 General Information: M27 is a course in functional analysis. Functional analysis deals with normed, infinite dimensional vector spaces. Usually, these

More information

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

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

More information

Regularizations of Singular Integral Operators (joint work with C. Liaw)

Regularizations of Singular Integral Operators (joint work with C. Liaw) 1 Outline Regularizations of Singular Integral Operators (joint work with C. Liaw) Sergei Treil Department of Mathematics Brown University April 4, 2014 2 Outline 1 Examples of Calderón Zygmund operators

More information

ON THE AVERAGE NUMBER OF REAL ROOTS OF A RANDOM ALGEBRAIC EQUATION

ON THE AVERAGE NUMBER OF REAL ROOTS OF A RANDOM ALGEBRAIC EQUATION ON THE AVERAGE NUMBER OF REAL ROOTS OF A RANDOM ALGEBRAIC EQUATION M. KAC 1. Introduction. Consider the algebraic equation (1) Xo + X x x + X 2 x 2 + + In-i^" 1 = 0, where the X's are independent random

More information

arxiv: v1 [math.ds] 17 Mar 2010

arxiv: v1 [math.ds] 17 Mar 2010 REAL PROJECTIVE ITERATED FUNCTION SYSTEMS MICHAEL F. BARNSLEY, ANDREW VINCE, AND DAVID C. WILSON arxiv:003.3473v [math.ds] 7 Mar 200 Abstract. This paper contains four main results associated with an attractor

More information

The volume growth of complete gradient shrinking Ricci solitons

The volume growth of complete gradient shrinking Ricci solitons arxiv:0904.0798v [math.dg] Apr 009 The volume growth of complete gradient shrinking Ricci solitons Ovidiu Munteanu Abstract We prove that any gradient shrinking Ricci soliton has at most Euclidean volume

More information

ẋ = f(x, y), ẏ = g(x, y), (x, y) D, can only have periodic solutions if (f,g) changes sign in D or if (f,g)=0in D.

ẋ = f(x, y), ẏ = g(x, y), (x, y) D, can only have periodic solutions if (f,g) changes sign in D or if (f,g)=0in D. 4 Periodic Solutions We have shown that in the case of an autonomous equation the periodic solutions correspond with closed orbits in phase-space. Autonomous two-dimensional systems with phase-space R

More information

Hadamard and Perron JWR. October 18, On page 23 of his famous monograph [2], D. V. Anosov writes

Hadamard and Perron JWR. October 18, On page 23 of his famous monograph [2], D. V. Anosov writes Hadamard and Perron JWR October 18, 1999 On page 23 of his famous monograph [2], D. V. Anosov writes Every five years or so, if not more often, someone discovers the theorem of Hadamard and Perron proving

More information

Remarks on Bronštein s root theorem

Remarks on Bronštein s root theorem Remarks on Bronštein s root theorem Guy Métivier January 23, 2017 1 Introduction In [Br1], M.D.Bronštein proved that the roots of hyperbolic polynomials (1.1) p(t, τ) = τ m + m p k (t)τ m k. which depend

More information

Lecture 18 Stable Manifold Theorem

Lecture 18 Stable Manifold Theorem Lecture 18 Stable Manifold Theorem March 4, 2008 Theorem 0.1 (Stable Manifold Theorem) Let f diff k (M) and Λ be a hyperbolic set for f with hyperbolic constants λ (0, 1) and C 1. Then there exists an

More information

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

More information

Math 225A: Differential Topology, Final Exam

Math 225A: Differential Topology, Final Exam Math 225A: Differential Topology, Final Exam Ian Coley December 9, 2013 The goal is the following theorem. Theorem (Hopf). Let M be a compact n-manifold without boundary, and let f, g : M S n be two smooth

More information

Nonlinear Dynamical Systems Lecture - 01

Nonlinear Dynamical Systems Lecture - 01 Nonlinear Dynamical Systems Lecture - 01 Alexandre Nolasco de Carvalho August 08, 2017 Presentation Course contents Aims and purpose of the course Bibliography Motivation To explain what is a dynamical

More information

Nontrivial Solutions for Boundary Value Problems of Nonlinear Differential Equation

Nontrivial Solutions for Boundary Value Problems of Nonlinear Differential Equation Advances in Dynamical Systems and Applications ISSN 973-532, Volume 6, Number 2, pp. 24 254 (2 http://campus.mst.edu/adsa Nontrivial Solutions for Boundary Value Problems of Nonlinear Differential Equation

More information

Elliptic Operators with Unbounded Coefficients

Elliptic Operators with Unbounded Coefficients Elliptic Operators with Unbounded Coefficients Federica Gregorio Universitá degli Studi di Salerno 8th June 2018 joint work with S.E. Boutiah, A. Rhandi, C. Tacelli Motivation Consider the Stochastic Differential

More information

HYPERBOLIC SETS WITH NONEMPTY INTERIOR

HYPERBOLIC SETS WITH NONEMPTY INTERIOR HYPERBOLIC SETS WITH NONEMPTY INTERIOR TODD FISHER, UNIVERSITY OF MARYLAND Abstract. In this paper we study hyperbolic sets with nonempty interior. We prove the folklore theorem that every transitive hyperbolic

More information

Multivariable Calculus

Multivariable Calculus 2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)

More information

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter

More information

Regularizations of general singular integral operators

Regularizations of general singular integral operators Regularizations of general singular integral operators Texas A&M University March 19th, 2011 This talk is based on joint work with Sergei Treil. This work is accepted by Revista Matematica Iberoamericano

More information

DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS

DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume, Number, Pages S -9939(XX)- DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS J. A. PALMER Abstract. We show how the Mellin transform can be used to

More information

A review: The Laplacian and the d Alembertian. j=1

A review: The Laplacian and the d Alembertian. j=1 Chapter One A review: The Laplacian and the d Alembertian 1.1 THE LAPLACIAN One of the main goals of this course is to understand well the solution of wave equation both in Euclidean space and on manifolds

More information

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

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

More information

Fixed Points and Contractive Transformations. Ron Goldman Department of Computer Science Rice University

Fixed Points and Contractive Transformations. Ron Goldman Department of Computer Science Rice University Fixed Points and Contractive Transformations Ron Goldman Department of Computer Science Rice University Applications Computer Graphics Fractals Bezier and B-Spline Curves and Surfaces Root Finding Newton

More information

17.1 Hyperplanes and Linear Forms

17.1 Hyperplanes and Linear Forms This is page 530 Printer: Opaque this 17 Appendix 17.1 Hyperplanes and Linear Forms Given a vector space E over a field K, a linear map f: E K is called a linear form. The set of all linear forms f: E

More information

Singular Integrals. 1 Calderon-Zygmund decomposition

Singular Integrals. 1 Calderon-Zygmund decomposition Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b

More information

ABSOLUTE CONTINUITY OF FOLIATIONS

ABSOLUTE CONTINUITY OF FOLIATIONS ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this

More information

ON FRACTAL DIMENSION OF INVARIANT SETS

ON FRACTAL DIMENSION OF INVARIANT SETS ON FRACTAL DIMENSION OF INVARIANT SETS R. MIRZAIE We give an upper bound for the box dimension of an invariant set of a differentiable function f : U M. Here U is an open subset of a Riemannian manifold

More information

SOME EXAMPLES OF NONUNIFORMLY HYPERBOLIC COCYCLES. L.-S. Young 1

SOME EXAMPLES OF NONUNIFORMLY HYPERBOLIC COCYCLES. L.-S. Young 1 SOME EXAMPLES OF NONUNIFORMLY HYPERBOLIC COCYCLES L.-S. Young Abstract. We consider some very simple examples of SL(2, R)-cocycles and prove that they have positive Lyapunov exponents. These cocycles form

More information

7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete.

7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete. Math 411 problems The following are some practice problems for Math 411. Many are meant to challenge rather that be solved right away. Some could be discussed in class, and some are similar to hard exam

More information

Hypersingular Integrals and Their Applications

Hypersingular Integrals and Their Applications Hypersingular Integrals and Their Applications Stefan G. Samko Rostov State University, Russia and University ofalgarve, Portugal London and New York Contents Preface xv Notation 1 Part 1. Hypersingular

More information

ON ALLEE EFFECTS IN STRUCTURED POPULATIONS

ON ALLEE EFFECTS IN STRUCTURED POPULATIONS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 ON ALLEE EFFECTS IN STRUCTURED POPULATIONS SEBASTIAN J. SCHREIBER Abstract. Maps f(x) = A(x)x of

More information

Math 117: Continuity of Functions

Math 117: Continuity of Functions Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use

More information

Nonlinear Systems Theory

Nonlinear Systems Theory Nonlinear Systems Theory Matthew M. Peet Arizona State University Lecture 2: Nonlinear Systems Theory Overview Our next goal is to extend LMI s and optimization to nonlinear systems analysis. Today we

More information

Differential forms. Proposition 3 Let X be a Riemann surface, a X and (U, z = x + iy) a coordinate neighborhood of a.

Differential forms. Proposition 3 Let X be a Riemann surface, a X and (U, z = x + iy) a coordinate neighborhood of a. Differential forms Proposition 3 Let X be a Riemann surface, a X and (U, z = x + iy) a coordinate neighborhood of a. 1. The elements d a x and d a y form a basis of the cotangent space T (1) a. 2. If f

More information