Ordinary Differential Equations II

Similar documents
Bounded uniformly continuous functions

Math 421, Homework #9 Solutions

Lyapunov Stability Theory

Numerical Methods for Differential Equations Mathematical and Computational Tools

Poincaré Map, Floquet Theory, and Stability of Periodic Orbits

EXAMINATION SOLUTIONS

6 Linear Equation. 6.1 Equation with constant coefficients

Linear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems

Analysis Preliminary Exam Workshop: Hilbert Spaces

Chapter III. Stability of Linear Systems

Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems

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

Functional Analysis Review

Ordinary Differential Equations II

1 Lyapunov theory of stability

Chapter 6 Nonlinear Systems and Phenomena. Friday, November 2, 12

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

Math Ordinary Differential Equations

B5.6 Nonlinear Systems

EN Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

ME Fall 2001, Fall 2002, Spring I/O Stability. Preliminaries: Vector and function norms

HOMEWORK ASSIGNMENT 6

(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f

Course 212: Academic Year Section 1: Metric Spaces

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

Math 209B Homework 2

Mathematical Analysis Outline. William G. Faris

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Chapter 3. Local behavior of nonlinear systems. 3.1 Principle of linearized stability Linearized stability of fixed points of maps

Linear Algebra Massoud Malek

FIXED POINT ITERATIONS

Nonlinear Control. Nonlinear Control Lecture # 3 Stability of Equilibrium Points

Chapter #4 EEE8086-EEE8115. Robust and Adaptive Control Systems

A nonlinear equation is any equation of the form. f(x) = 0. A nonlinear equation can have any number of solutions (finite, countable, uncountable)

SMSTC (2017/18) Geometry and Topology 2.

Functional Analysis HW #3

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

MATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1

Putzer s Algorithm. Norman Lebovitz. September 8, 2016

APPLICATIONS OF DIFFERENTIABILITY IN R n.

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

MATH34032 Mid-term Test 10.00am 10.50am, 26th March 2010 Answer all six question [20% of the total mark for this course]

Examples include: (a) the Lorenz system for climate and weather modeling (b) the Hodgkin-Huxley system for neuron modeling

7 Complete metric spaces and function spaces

Maths 212: Homework Solutions

Math 225A: Differential Topology, Homework 4

Real Analysis Chapter 4 Solutions Jonathan Conder

Continuity. Matt Rosenzweig

Department of Mathematics IIT Guwahati

L p Spaces and Convexity

Stabilization and Passivity-Based Control

Construction of Lyapunov functions by validated computation

C.6 Adjoints for Operators on Hilbert Spaces

Optimization Theory. A Concise Introduction. Jiongmin Yong

2.3 Variational form of boundary value problems

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

MET Workshop: Exercises

6 Inner Product Spaces

(x, y) = d(x, y) = x y.

Linearization at equilibrium points

Dynamical systems. January 10, 2016

1 Math 241A-B Homework Problem List for F2015 and W2016

Differential Topology Final Exam With Solutions

Stability in the sense of Lyapunov

Journal of Inequalities in Pure and Applied Mathematics

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.

(, ) : R n R n R. 1. It is bilinear, meaning it s linear in each argument: that is

Chapter 2. Metric Spaces. 2.1 Metric Spaces

UC Berkeley Department of Electrical Engineering and Computer Science. EECS 227A Nonlinear and Convex Optimization. Solutions 5 Fall 2009

Econ 204 Differential Equations. 1 Existence and Uniqueness of Solutions

Module 06 Stability of Dynamical Systems

Sample Solutions of Assignment 9 for MAT3270B

Summary of topics relevant for the final. p. 1

Economics 204 Fall 2013 Problem Set 5 Suggested Solutions

Intermediate Differential Equations. Stability and Bifurcation II. John A. Burns

REAL AND COMPLEX ANALYSIS

Overview of normed linear spaces

LMI Methods in Optimal and Robust Control

Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1

ECON 4117/5111 Mathematical Economics

Nonlinear Control Lecture 5: Stability Analysis II

Lecture 5. Ch. 5, Norms for vectors and matrices. Norms for vectors and matrices Why?

FINITE FOURIER ANALYSIS. 1. The group Z N

Nonlinear Autonomous Systems of Differential

Lines, parabolas, distances and inequalities an enrichment class

ODEs Cathal Ormond 1

Linear Normed Spaces (cont.) Inner Product Spaces

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, January 20, Time Allowed: 150 Minutes Maximum Marks: 40

Introduction to Functional Analysis

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

THEOREMS, ETC., FOR MATH 515

MATH 205C: STATIONARY PHASE LEMMA

Let R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is. e ikx f(x) dx. (1.

Georgia Institute of Technology Nonlinear Controls Theory Primer ME 6402

Measure and Integration: Solutions of CW2

Transcription:

Ordinary Differential Equations II February 9 217 Linearization of an autonomous system We consider the system (1) x = f(x) near a fixed point x. As usual f C 1. Without loss of generality we assume x = (otherwise set y = x x and consider the equation y = g(y), where g(y) = f(x + y)). Since f C 1, it is differentiable at, meaning that where is the Jacobi matrix and f(x) = Ax + R(x), 1 f 1 () n f 1 () A = f () =..... 1 f n () n f n () (2) lim x R(x) x =. Hence, solutions of (1) should behave like solutions of the linear system x = Ax, when x. This is the linearization of (1) at. Theorem. (1) If all eigenvalues of f () have negative real part, then is asymptotically stable. (2) If there is an eigenvalue with positive real part, then is unstable. 1

Remark: In contrast to the linear case, we can t say anything in general if all eigenvalues have real part and eigenvalue λ with Re λ =. Example. We find all fixed points of { x = x + y 2 y = x + 2y 3 and determine their stability properties. The fixed points are given by the equations { x + y 2 = x + 2y 3 =. Solutions: x = 1, y = 1 and x = 9, y = 3. Jacobi matrix: ( ) 1 2y. 1 2 (x, y) = ( 1, 1): ( ) 1 2 1 2 Eigenvalues: Re λ ± > unstable. λ ± = 3 2 ± i 7 2. (x, y) = ( 9, 3): ( ) 1 6 1 2 Eigenvalues: λ 1 = 1 and λ 2 = 4. Re λ 2 > unstable. 2

Proof of stability We begin by proving the first part of the theorem. Lemma 1. If is a norm on R n, constants c 1, c 2 > s.t. where is the Euclidean norm. c 1 x x c 2 x x R n, Proof. 2nd ineq.: Write x = n k=1 x ke k, e k standard basis. Then ( n n ) x x k e k e k x. k=1 1st ineq.: x x is continuous on R n, since But then Hence, k=1 } {{ } :=c 2 x y x y c 2 x y. c 1 := inf x = min x >. x =1 x =1 x x c 1, x x c 1 x. Lemma 2. Let A R n n with Re λ < for all eigenvalues λ. inner product, on R n s.t. Ax, x σ x, x, x R n for some σ >. Proof. We show that has the required properties: x, y = e ta x e ta y dt e ta x is exp. decaying for all x R n integral converges. The formula defines a symmetric, bilinear form. x, x = e ta x 2 dt. Equality e ta x = t x =. Ax, x = Ae ta x e ta 1 d x dt = 2 dt eta x 2 dt [ ] 1 = 2 eta x 2 = 1 2 x 2 σ x, x for some σ > by Lemma 1. 3

Theorem 1. If all eigenvalues of f () have negative real part, then is as. stable. Proof. Let L(x) = x, x, with, as in Lemma 2. Then L(x), with equality iff x =, and L f (x) = 2 Ax, x + 2 R(x), x, where Let x = x, x. Lemma 1 lim x R(x) x =. Cauchy-Schwarz for, Ax, x σ x, x. R(x), x R(x) x = R(x) x, x, x so if x is suff. small. Hence, R(x), x σ x, x, 2 L f (x) σ x, x when x B ε (), ε > suff. small. Thus, L is a strict Liap. function in B ε (). Proof of instability To prove the second part of the theorem, we first introduce an analogue of Lyapunov functions for instability (sometimes called Chetaev functions ). Theorem 2. Assume that a C 1 function G: U R, U R n open neighbourhood of x and an open subset V of U s.t.: (1) x V, (2) G(x) > and Ġf(x) > when x V, (3) G(x) = when x V U. Then x is an unstable fixed point. U V x G = 4

Proof. Choose ε > so that B ε (x ) U. It suffices to prove that every trajectory starting in B ε (x ) V leaves B ε (x ). Assume that y B ε (x ) V and choose ϱ so that < ϱ < G(y). Let = {x B ε (x ) V : G(x) ϱ}. This is a compact set and Ġf(x) > on, so k := min Ġ f (x) >. Moreover, dg(φ(t, y)) k when Φ(t, y). dt Hence, G(Φ(t, y)) kt + G(y) as long as Φ(t, y). It follows that Φ(t, y) must leave. This must happen where G > ϱ the trajectory leaves B ε (x ). U B " y V x Using this theorem, we can prove the instability of a fixed point, provided that the linearization has an eigenvalue with positive real part. We assume again that x =. Theorem 3. If f () has an eigenvalue with positive real part, then is unstable. Proof. Recall that C n = ker(a λ 1 I) a 1 ker(a λ k I) a k, λ 1,..., λ k the distinct eig. values of A, ker(a λ j I) a j generalized eigenspace corresponding to λ j. Write R n = V 1 V 2, where V 1 is the direct sum of all gen. eigenspaces corresponding to eigenvalues with Re λ, and V 2 the sum of the gen. eigenspaces for eigenvalues with Re λ > (note that complex eigenvalues and eigenvectors come in complex conjugate pairs). By assumption, V 2 {}. The restriction of A to V 2 only has eigenvalues with negative real part. Lemma 2 inner prod., 2 on V 2 such that Ax, x 2 σ 2 x, x 2, for some σ 2 >. Choose < σ 1 < σ 2. If V 1 {} (otherwise easy modification), the restriction of A σ 1 I to V 1 only has eigenvalues with negative real part, and hence inner prod., 1 on V 1 s.t. Ax, x 1 σ 1 x, x 1. 5

Define G(x) = x 2, x 2 2 x 1, x 1 1, where x = x 1 + x 2 with x j V j. Write with R j (x) V j. Then R(x) = R 1 (x) + R 2 (x), Ġ f (x) = 2 Ax 2, x 2 2 2 Ax 1, x 1 1 + 2 R 2 (x), x 2 2 2 R 1 (x), x 1 1 2σ 2 x 2, x 2 2 2σ 1 x 1, x 1 1 + ϱ(x) = (σ 1 + σ 2 )( x 2, x 2 2 x 1, x 1 1 ) + (σ 2 σ 1 )( x 1, x 1 1 + x 2, x 2 2 ) + ϱ(x), where ϱ(x) = 2 R 2 (x), x 2 2 2 R 1 (x), x 1 1 and lim x ϱ(x) x 1, x 1 1 + x 2, x 2 2 =. ( x 1, x 1 1 + x 2, x 2 2 is a norm on R n ). Hence Ġ f (x) (σ 1 + σ 2 )( x 2, x 2 2 x 1, x 1 1 ) = (σ 1 + σ 2 )G(x), if x is suff. small. Taking U = B ε () and V = {x U : G(x) > } we have V, G(x) > and Ġf(x) > when x V G(x) = when x V U. Thus is unstable by the previous theorem. 6