Download presentation
Presentation is loading. Please wait.
Published byGunilla Γ kesson Modified over 5 years ago
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.
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.