204Lecture142007

# 204Lecture142007 - Economics 204 Lecture 14Thursday Revised...

This preview shows pages 1–5. Sign up to view the full content.

Economics 204 Lecture 14–Thursday, August 16, 2007 Revised 8/16/07, revisions indicated by ** Diferential Equations Existence and Uniqueness oF Solutions De±nition 1 A diferential equation is an equation of the form y 0 ( t )= F ( y ( t ) ,t ) where F : U R n where U is an open subset of R n × R .A n initial value problem is a diFerential equation combined with an initial condition y ( t 0 y 0 with ( y 0 0 ) U solution of the initial value problem is a diFerentiable function y :( a, b ) R n such that t 0 ( a, b ), y ( t 0 y 0 and, for all t ( a, b ), dy dt = F ( y ( t ) ). Theorem 2 Consider the initial value problem y 0 ( t F ( y ( t ) ) ,y ( t 0 y 0 (1) Let U be an open set in R n × R containing ( y 0 0 ) . Suppose F : U R n is continuous. Then the initial value problem has a solution. IF, in addition, F is Lipschitz in y on U , i.e. there is a constant K such that For all ( y, t ) , ) U , | F ( ) F ) |≤ K | y ˆ y | then there is an interval ( a, b ) containing t 0 such that the solution is unique on ( a, b ) . 1

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Proof: We consider only the case in which F is Lipschitz. Since U is open, we may choose r> 0 such that R = { ( y, t ): | y y 0 |≤ r, | t t 0 r }⊆ U Since F is continuous, we may fnd M R and 0 such that | F ( ) M For all ( ) R . Given the Lipschitz condition, we may assume that | F ( ) F ) K | y ˆ y | For all ( ) , ) R Let δ =m in 1 2 K , r M We claim the initial value problem has a unique solution on ( t 0 δ, t 0 + δ ). Let C be the space oF continuous Functions From [ t 0 0 + δ ] to R n , endowed with the sup norm k f k =sup {| f ( t ) | : t [ t 0 0 + δ ] } Let S = { z C :( z ( s ) ,s ) R For all s [ t 0 0 + δ ] } S is a closed subset oF the complete metric space C ,so S is a complete metric space. Consider the Function I : S C defned by I ( z )( t )= y 0 + Z t t 0 F ( z ( s ) ) ds I ( z ) is defned and continuous because F is bounded and continu- ous** on R . Observe that iF ( z ( s ) ) R For all s [ t 0 0 + δ ], then | I ( z )( t ) y 0 | = ± ± ± ± ± Z t t 0 F ( z ( s ) ) ds ± ± ± ± ± 2
≤| t t 0 | max {| F ( y, s ) | :( ) R } δM r so ( I ( z )( t ) ,t ) R for all t [ t 0 δ, t 0 + δ ]. Thus, I : S S . Given two functions x, z S and t [ t 0 0 + δ ], | I ( z )( t ) I ( x )( t ) | = ± ± ± ± ± y 0 + Z t t 0 F ( z ( s ) ,s ) ds y 0 Z t t 0 F ( x ( s ) ) ds ± ± ± ± ± = ± ± ± ± ± Z t t 0 ( F ( z ( s ) ) F ( x ( s ) )) ds ± ± ± ± ± t t 0 | sup {| F ( z ( s ) ) F ( x ( s ) ) | : s [ t 0 δK sup {| z ( s ) x ( s ) | : s [ t 0 0 + δ ] } k z x k 2 Therefore, k I ( z ) I ( x ) k k z x k 2 ,so I is a contraction. Since S is a complete metric space, I has a unique Fxed point y S . Therefore, for all t [ t 0 0 + δ ], we have y ( t )= y 0 + Z t t 0 F ( y ( s ) ) ds F is continuous, so the ±undamental Theorem of Calculus implies that y 0 ( t F ( y ( t ) ) for all t ( t 0 0 + δ ). Since we also have y ( t 0 y 0 + Z t 0 t 0 F ( y ( s ) ) ds = y 0 y (restricted to ( t 0 0 + δ )) is a solution of the initial value problem (1). On the other hand, suppose that ˆ y is any solution of the ini- tial value problem (1) on ( t 0 0 + δ ). It is easy to check that y ( s ) ) R for all s ( t 0 0 + δ ), so we have | F y ( s ) ) |≤ 3

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
M ; this implies that ˆ y has a extension to a continuous function (still denoted ˆ y )in S .S inceˆ y is a solution of the initial value prob-
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 03/30/2009 for the course ECON 0204 taught by Professor Staff during the Summer '08 term at Berkeley.

### Page1 / 14

204Lecture142007 - Economics 204 Lecture 14Thursday Revised...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online