Presentation is loading. Please wait.

Presentation is loading. Please wait.

The Elementary Theory of Initial-Value Problems

Similar presentations


Presentation on theme: "The Elementary Theory of Initial-Value Problems"β€” Presentation transcript:

1 The Elementary Theory of Initial-Value Problems
Sec:5.1 The Elementary Theory of Initial-Value Problems

2 Example of a Differential Equation
Sec:5.1 The Elementary Theory of Initial-Value Problems Differential equations are used to model problems in science and engineering that involve the change of some variable with respect to another. Example of a Differential Equation 𝑑𝑦 𝑑𝑑 =βˆ’2𝑦(𝑑) 𝑦 𝑑 = 𝑒 βˆ’2𝑑 Initial Value Problem Find a function 𝑦(𝑑) that satisfies the above DE Find a function 𝑦(𝑑) that satisfies both the DE and the initial condition 𝑑𝑦 𝑑𝑑 =βˆ’2𝑦(𝑑) 𝑦 0 =5 𝑦 𝑑 = 5𝑒 βˆ’2𝑑 Sec(5.1) Theory IVP Sec(5.2) numerical solution for IVP Euler Method (𝟎, πŸ“) Sec(5.4) numerical solution for IVP Runge Kutta Method

3 Sec:5.1 The Elementary Theory of Initial-Value Problems
IVP IVP IVP 𝑦 β€² = 𝑦 3 +𝑦 3 𝑦 2 +1 𝑑 𝑑𝑦 𝑑𝑑 =βˆ’2𝑦(𝑑) 𝑑𝑣 𝑑𝑑 =π‘”βˆ’ 𝑐 π‘š 𝑣 1≀𝑑≀2 𝑦 1 =1 𝑦 0 =5 𝑣 0 =0 ODE IVP 𝑑[𝐴] 𝑑𝑑 =βˆ’ π‘˜ 1 𝐴 𝐡 βˆ’ 2π‘˜ 2 𝐴 𝐴 𝐢 𝑑[𝐡] 𝑑𝑑 =βˆ’ π‘˜ 1 𝐴 𝐡 + π‘˜ 2 𝐴 𝐴 [𝐢] 𝑑[𝐢] 𝑑𝑑 = π‘˜ 1 𝐴 [𝐡]βˆ’ π‘˜ 2 𝐴 𝐴 [𝐢] 𝑑[𝐷] 𝑑𝑑 = π‘˜ 1 𝐴 [𝐡] 𝑑 𝑑π‘₯ 𝐢 𝐡 πœƒ =βˆ’ 𝑃 𝐻 2 πœ… 0 𝐾 0 𝑇 𝑒π‘₯𝑝 (βˆ’π‘„βˆ’ 𝐸 π‘Ž ) 𝑅 𝑔 𝑇 𝐢 𝐡 𝐢 𝐡 = 𝐢 𝐡 0 at π‘₯=0 IVP 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ All these IVP’s can be written as a one general form 𝑦 π‘Ž =𝛼

4 Sec:5.1 The Elementary Theory of Initial-Value Problems
We need some definitions and results from the theory of ordinary differential equations before considering methods for approximating the solutions to initial-value problems. An IVP may have no solution, unique solution or infinitely many solutions. IVP 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 𝑦′ 𝑦 = 0, 𝑦(0) = 1 𝑦 π‘Ž =𝛼 π‘₯𝑦’ = π‘¦βˆ’1, 𝑦(0) = 1 𝑦 = 1 + 𝛼π‘₯ 1) Condition on 𝑓(𝑑,𝑦) IVP have a unique solution 2) Condition on the domain 𝐷= 𝑑,𝑦

5 Sec:5.1 The Elementary Theory of Initial-Value Problems
clear; clc; syms y(t) ode1 = diff(y,t) == sqrt(1-y^2) cond1 = y(0) == 0 y1Sol(t) = dsolve(ode1,cond1) f1 y1Sol(t) x=0:0.01:2*pi; y1=f1(x); plot(x,y1,'-r'); grid on IVP π’š β€² = πŸβˆ’ π’š 𝟐 0≀𝑑≀2πœ‹ π’š 𝟎 =𝟎 ode1(t) = diff(y(t), t) == (1 - y(t)^2)^(1/2) cond1 = y(0) == 0 y1Sol(t) = sin(t)

6 Sec:5.1 The Elementary Theory of Initial-Value Problems

7 Sec:5.1 The Elementary Theory of Initial-Value Problems
We need some definitions and results from the theory of ordinary differential equations before considering methods for approximating the solutions to initial-value problems. An IVP may have no solution, unique solution or infinitely many solutions. IVP 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 𝑦′ 𝑦 = 0, 𝑦(0) = 1 𝑦 π‘Ž =𝛼 π‘₯𝑦’ = π‘¦βˆ’1, 𝑦(0) = 1 𝑦 = 1 + 𝛼π‘₯ 1) Condition on 𝑓(𝑑,𝑦) satisfies a Lipschitz condition 2) Condition on the domain 𝐷= 𝑑,𝑦 convex

8 Sec:5.1 The Elementary Theory of Initial-Value Problems
Definition Special Case a set is convex provided that whenever two points belong to the set, the entire straight-line segment between the points also belongs to the set. D = {(t, y) | a ≀ t ≀ b and βˆ’βˆž < y < ∞} 𝒂 𝒃 𝑑 𝑦 Definition A set D βŠ‚ R2 is said to be convex if whenever (t1, y1) and (t2, y2) belong to D, then ( (1 βˆ’ Ξ»)t1 + Ξ»t2 , (1 βˆ’ Ξ»)y1 + Ξ»y2 ) also belongs to D for every Ξ» in [0, 1]. convex

9 |𝒇 (𝒕, π’š 𝟏 ) βˆ’ 𝒇 (𝒕, π’š 𝟐 )| ≀ 𝑳| π’š 𝟏 βˆ’ π’š 𝟐 |,
Sec:5.1 The Elementary Theory of Initial-Value Problems Definition Theorem 5.3 A function f (t, y) is said to satisfy a Lipschitz condition in the variable y on a set 𝐷 βŠ‚ 𝑅 2 if a constant L > 0 exists with |𝒇 (𝒕, π’š 𝟏 ) βˆ’ 𝒇 (𝒕, π’š 𝟐 )| ≀ 𝑳| π’š 𝟏 βˆ’ π’š 𝟐 |, whenever (t, y1) and (t, y2) are in D. The constant L is called a Lipschitz constant for f . 𝐷 βŠ‚ 𝑅 2 convex 1 πœ•π‘“ πœ•π‘¦ (𝑑, 𝑦) ≀ 𝐿 π‘“π‘œπ‘Ÿ π‘Žπ‘™π‘™ (𝑑, 𝑦) ∈ 𝐷 2 Example Show that 𝑓 (𝑑, 𝑦) = 𝑑| 𝑦| satisfies a Lipschitz condition on D = {(t, y) | 1 ≀ t ≀ 2 and βˆ’ 3 ≀ y ≀ 4}. 𝑓 𝑑, 𝑦1 βˆ’ 𝑓 𝑑, 𝑦2 = 𝑑 𝑦 βˆ’ 𝑑|𝑦2| f satisfies a Lipschitz condition on D = 𝑑 𝑦1 βˆ’ 𝑦2 = 𝑑 βˆ™ 𝑦1 βˆ’ 𝑦2 ≀ 2| 𝑦1 βˆ’ 𝑦2|.

10 Theorem 5.4 (Main Theorem)
Sec:5.1 The Elementary Theory of Initial-Value Problems Theorem 5.4 (Main Theorem) IVP 1 D = {(t, y) | a ≀ t ≀ b and βˆ’βˆž < y < ∞} 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 2 𝑓 (𝑑, 𝑦) is continuous on D 𝑦 π‘Ž =𝛼 3 𝑓 satisfies a Lipschitz condition on D in y has a unique solution 𝑦(𝑑) Example 1 D = {(t, y) | 0 ≀ t ≀ 2 and βˆ’βˆž < y < ∞} Use Theorem 5.4 to show that there is a unique solution to the initial-value problem f (t, y) is continuous when 0 ≀ t ≀ 2 and βˆ’βˆž < y < ∞, 2 𝑦 = 1 + 𝑑 sin 𝑑𝑦 0≀ 𝑑 ≀ 2, 𝑦(0) = 0. Mean Value Theorem 𝑓 (𝑑, π’š 𝟏 ) βˆ’ 𝑓 (𝑑, π’š 𝟐 ) π’š 𝟏 βˆ’ π’š 𝟐 ≀ πœ•π‘“ πœ•π‘¦ (𝑑, 𝝃) = 𝑑 2 π‘π‘œπ‘ (π‘‘πœ‰) 𝑓 (𝑑, π’š 𝟏 ) βˆ’ 𝑓 (𝑑, π’š 𝟐 ) ≀ 𝑑 2 π‘π‘œπ‘ (π‘‘πœ‰) π’š 𝟏 βˆ’ π’š 𝟐 Sol: 3 𝑓 (𝑑, π’š 𝟏 ) βˆ’ 𝑓 (𝑑, π’š 𝟐 ) β‰€πŸ’ π’š 𝟏 βˆ’ π’š 𝟐 𝑓(𝑑,𝑦) = 1 + 𝑑 sin 𝑑𝑦 π‘Ž=0, 𝑏=2 Theorem 5.4 implies that a unique solution exists to this initial-value problem.

11 Sec:5.1 The Elementary Theory of Initial-Value Problems
Definition The initial-value problem 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 𝑦 π‘Ž =𝛼 is said to be a well-posed problem if: β€’ A unique solution, 𝑦(𝑑), to the problem exists β€’ small changes in the statement of the problem introduce correspondingly small changes in the solution IVP IVP1 𝑦 β€² =𝑑𝑦 𝑦 1 β€² =𝑑 𝑦 1 0≀𝑑≀1 0≀𝑑≀1 π’š(𝒕) 𝑦 0 =1/3 𝑦 1 0 =0.33 𝑦 𝑑 = 1 3 𝑒 𝑑 2 /2 𝑦 1 𝑑 = 0.33𝑒 𝑑 2 /2 𝟏 πŸ‘ 𝑦 1 𝑑 𝟎.πŸ‘πŸ‘

12 Sec:5.1 The Elementary Theory of Initial-Value Problems
Definition IVP IVP1 The initial-value problem 𝑦 β€² = πŸβˆ’ 𝑦 2 𝑦 β€² = 𝟏.πŸβˆ’ 𝑦 2 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 𝑦 π‘Ž =𝛼 0≀𝑑≀2πœ‹ 0≀𝑑≀2πœ‹ 𝑦 0 =𝟎 𝑦 0 =𝟎.𝟏 is said to be a well-posed problem if: β€’ A unique solution, 𝑦(𝑑), to the problem exists β€’ small changes in the statement of the problem introduce correspondingly small changes in the solution 𝑦 𝑑 =sin⁑(𝑑) 𝑦 1 𝑑 = sin⁑ 𝑑+ 𝑠𝑖𝑛 βˆ’ 𝟎.𝟏 𝑦 1 𝑑 𝟎 π’š(𝒕)

13 Sec:5.1 The Elementary Theory of Initial-Value Problems
clear; clc; syms y(t) ode1 = diff(y,t) == sqrt(1-y^2) cond1 = y(0) == 0; y1Sol(t) = dsolve(ode1,cond1) f1 y1Sol(t); ode2 = diff(y,t) == sqrt( y^2) ; cond2 = y(0) == 0.1; y2Sol(t) = dsolve(ode2,cond2) f2 y2Sol(t); x=0:0.01:2*pi; y1=f1(x); y2=f2(x); plot(x,y1,'-r',x,y2,'-k'); grid on IVP IVP1 𝑦 β€² = πŸβˆ’ 𝑦 2 𝑦 β€² = 𝟏.πŸβˆ’ 𝑦 2 0≀𝑑≀2πœ‹ 0≀𝑑≀2πœ‹ 𝑦 0 =𝟎 𝑦 0 =𝟎.𝟏

14 Sec:5.1 The Elementary Theory of Initial-Value Problems
Definition The initial-value problem 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 𝑦 π‘Ž =𝛼 is said to be a well-posed problem if: β€’ A unique solution, 𝑦(𝑑), to the problem exists β€’ small changes in the statement of the problem introduce correspondingly small changes in the solution 𝑧 β€² =𝑓 𝑑,𝑧 +𝛿(𝑑) 𝑧 π‘Ž =𝛼+ 𝛿 0 π‘Žβ‰€π‘‘β‰€π‘ perturbed problem 𝑦 β€² =𝑓(𝑑,𝑦) 𝑦 π‘Ž =𝛼 π‘Žβ‰€π‘‘β‰€π‘ There exist constants Ξ΅0 > 0 and k > 0 such that for any Ξ΅, with Ξ΅0 > Ξ΅ > 0, |Ξ΄(t)| < Ξ΅ and |Ξ΄0| < Ξ΅, has a unique solution z(t) that satisfies |z(t) βˆ’ y(t)| < kΞ΅ for all t in [a, b].

15 Sec:5.1 The Elementary Theory of Initial-Value Problems
Theorem 5.6 (Well-posed) IVP 1 D = {(t, y) | a ≀ t ≀ b and βˆ’βˆž < y < ∞} 𝑦 β€² =𝑓(𝑑,𝑦) π‘Žβ‰€π‘‘β‰€π‘ 2 𝑓 (𝑑, 𝑦) is continuous on D 𝑦 π‘Ž =𝛼 3 𝑓 satisfies a Lipschitz condition on D in y is well-posed Example Sol: 𝑓 𝑑,𝑦 =π‘¦βˆ’ 𝑑 2 +1 Show that the initial-value problem π‘Ž=0, 𝑏=2 1 D = {(t, y) | 0 ≀ t ≀ 2 and βˆ’βˆž < y < ∞} 𝑦 β€² =π‘¦βˆ’ 𝑑 2 +1 0≀ 𝑑 ≀ 2, 𝑦(0) = 0.5 f (t, y) is continuous when 0 ≀ t ≀ 2 and βˆ’βˆž < y < ∞, 2 πœ•π‘“ πœ•π‘¦ 𝑑, 𝝃 = 𝟏 =𝟏 3 Theorem 5.6 implies that the problem I well-posed.


Download ppt "The Elementary Theory of Initial-Value Problems"

Similar presentations


Ads by Google