Aula:4

EDOs homogêneas.
Existência e unicidade de solução
Método de Euler

1
EDOs homogêneas EDOs homogêneas: forma de EDO
Uma EDO homogênea (sempre de primeira ordem) é
dy ⇣y⌘ dy
=f ou = (x, y), com (kx, ky) = (x, y). (1)
dx x dx
Ainda pode ser dada na forma diferencial
M (kx, ky) M (x, y)
M (x, y)dx + N (x, y)dy = 0, = . (2)
N (kx, ky) N (x, y)
Exemplo:
(x2 + y 2 )dx + (x2 xy)dy = 0. [N = x2 xy, M = x2 + y 2 ] (3)
Nesse caso:
dy M x2 + y 2 1 + u2 y
= = = , u⌘ . (4)
dx N x2 xy 1 u x
Para resolver, então, trocamos de variável: u = xy ou y = ux. Temos:

x2 (1 + u2 )dx + (x2 ux2 )(xdu + udx) = 0,

x2 (1 + u)dx + x3 (1 u)du = 0,
1 u dx
du = ,
1+u x
Z ✓ ◆ Z
2 dx
1+ du = ,
1+u x
u + 2 ln |1 + u| = ln |x| + C,
y y
+ 2 ln 1 + + ln |x| = C,
x x

x (x)
⇢
y y (xy)+2 y)2
(x +
exp
= a exp = a
x x
, a = e C.

IEDO
 EDOs homogêneas são transformações de EDO separáveis
EDOs homogêneas são transformações de EDOs separáveis

Ja chegamos a uma EDO separável no exemplo de cima. Temos

dy ⇣y⌘
=f (5)
dx x
y
Se trocamos variável por u = x
, ou y = ux, obtemos uma nova EDO, mas separável:

dy du
dy = udx + xdu ! =u+x ,
dx dx
du
x + u = f (u),
dx
du dx
= ,
u f (u) x
Z
du
= ln |x| + C.
u f (u)
1+u2
No exemplo anterior tivemos f = 1 u
, assim

1 1 1 u
= 1+u2
= ,
u f (u) u+ 1 u 1 + u
Z
1 u
du = ln |x| + C,
1+u
Z ✓ ◆
2
1+ du = ln |x| + C,
1+u

i.e., reproduzimos a solução anterior.

 kx + ky x + y y x′ =− y= . , то исходноеx уравнение −y однородное.
Тогда = уравнение
12 , то исходное
примет уравнение
вид kx − однородное.
ky x −x y− y x+ y
бразуем уравнение к виду t = y / x, → yy′ == tx и . y ′ = t ′x + t.
к kx − ky x − y Так как
x − 2y
Так как x + tx 1 + tПолагаем x + Exemplo
y 1 +xt + y 11 + t 2
1+ t
ем
ду kx +t ′xky + t = x + y= y ′ = kx +
dt ky
.
иликакx x− y = = − t =, то исходное
Тогда уравнение примет вид , xdt =уравнение dx. однородное
Так
= +x −kytx ,1x −то
kx +t yисходное kx dx
− ky уравнение
1 −xt − yt =1y−/однородное. tx, → y = tx 1 −иt y ′ = t ′x + t.
kx
ак y ′ = − x
ky+ yt =xy−/ xy,= → y =, txто исходное и ykx ′x=++t ′kyx +уравнение
tx t1. x+ +t y однородное.
dt 1 + t 1 + t 2
kx.− ky x −Temos y t ′x + t = 1 + ==t 2 , то исходное
или x = уравнение
−t = ,однородно
xdt =
уравнение x − yxобе
kxРазделив
+ ky
примет y части
+вид
Тогда уравнение
Полагаем
уравнения наkxx −xky txпримет 1 x−,−t приходим
yвид 1− t
dxк уравнению 1с−разде-
t
аем Полагаем = , то исходное уравнение 1 −однородное.
t
kx −
x + леннымиky x −
tx 1 + t переменнымиy Полагаем
+′xt + t = 1 +обе
dt 1tРазделив x + tx2
t = 1 + t t= y / 1x +, t→ 2 dt y =1 tx + 1 t+ и
t 2
1 +′ t 2
y = t ′x + t. 1
t =Utilizamos или x =
= substituição: − t = x − tx ,части или
уравнения
xdt = x dxна . = x − t =, приходим , xdt =
к урав
x − tx 1 − t t = ydx /t x=,1 →
y
− /
t x , →y =1 −tx
y t = 1и− tи y ′ =
tx y 1′ t=
−′ xtt ′+xdx+t.t. 1 − 1t − t 1 − t
гаем
исходное уравнение однородное. Тогда уравнение 1 −примет
t t = y / x, → y = tx и y ′ = t ′x + t.
dxвид
ленными переменными dt = . 2
Тогда уравнение t = примет
y / x , → вид
1 +
y t
=
2
tx 1 +
и части t 2
y ′ =примет x
t ′уравнения
xк +уравнению
t. вид на с разде- 1 + t
уравнение
ив примет вид
обе части уравнения на x Разделив
Тогда x ,+обе
уравнение
приходим
tx 1 + t dt 11x
−+ t t ,dxприходим
1 + t 2 к урав
Интегрируя его, находим t ′x + 1t − = t = или x = 1 −dt−t t= = . , xdt =
EDO após substituição: 2
а уравнение примет x + tx вид 1 + t ленными x −dttx 1 1 + − tt
x+1+=ttx 1−+2tt1=+ t 1 + 2 t 2
dx 1 +
1
dt xdt −t t 1
1 +=t 1 + t 1dx+x t12− t 2
2
+ .t
t ′x++txt = 1 + t =
x
ми переменными или dt
t ′xarctg x 1
переменными
+ t =t − ln (=
1 +находим
t ) = или ln x + Cx , = −t = , xdt
→
t= y = tx=x − tx 1или
и y ′ = t
−t′x + t . x =dxx 2− tx1−− t21=− t 1 − ,t dx
Интегрируя его,
2xdt 1 −= t 1 − t 1dx− t.
x−
x + tx
tx 11+ − t t 1 −dtt dx 1 + dxt 1 − t1 + t 1 − t 1 +1t −11t + t 1 2 dx− t
+ t = или = ouили Разделивx 2 =dt =обе−. части t= ,
уравнения ouxdt =на x dx dt
. = ,2 приходим
. к ура
x − tx 1 − t 1 +dx t 1 − tx 11−+t t 2 arctg t − ln
2 (
1 1−+t2t 1 −1 t+ t1 + t x
2 ) = ln x + C
Разделив обе части уравнения
Разделив на обе − x
части 2 ⋅ ,
уравнения
+ 2приходим
= на к xуравнению , приходим с разде- к ур
2 1 2+ t 1 − t
ируя его, находим Интегрируя arctg
или переменными t его, ln (находим
x 1 t ) C . 1− t
2ленными +
лив
елив dtобе
обе части
+ t уравнения
1части уравнения
1+ t на
1
на 1
x =2 1t x
+ t приходим
, −dxt . , приходим к уравнению 1
к уравнению
с разде- с разде-
= geral:
x Integral − t = arctg t ,−к старой
Возвращаясь ln xdt
(1
ленными + t ) =
переменной,
1 −1t − t ln1 x
переменными + C получим ou arctg общий
arctg t −1− tt −интеграл
lnln ( 1( x+ ⋅ t 2
dx ) x=+CC.
)
1 = t 2
исходного
+ ln
ленными
dx 1 − t переменными 1− t 2 2 dt =
уравнения в виде
.
ми переменными
ыми переменными или 1
Возвращаясь − t к dxстарой 1 + t1 − t dt получим
переменной,
2
=
x dx
. общий инте
1 + t 2
y dt = 2. 2 2
я наIntegral x geral em, variáveis
приходим Интегрируя
(x,y): 1к −
уравненияC
уравнению
t =его,21dx
arctg +в находим
t 2
виде −
с ln
разде- x
x + y . 1 + t x2
arctg t − ln ( x ⋅ 1 dt+−=tt ) =. Cx. dx arctg t − ln ( x ⋅ 1 + t ) = C.
1− t Интегрируя его,=находим
dt . 1
Интегрируя его, находим 1+ t 2 x y 2
Возвращаясь к старой переменной, 1 +
получим
1.5. Дифференциальные t 2
общий x arctg
интеграл
уравнения,
Ct −= ln
arctg
исходного ( 1 + − t ln ) = x 2
ln + x y+ 2
.C
Возвращаясь к старой переменной, 1 получим общий инте
 ать два случая:
вида a1α + b1 β + c1 = 0,
Некоторые из коэффициентов (но не одновременно c1 и c 2 ) могут
приводящиеся
где постоянные к однородным
a и β определяются
называется из системы
приводящимся 1α + bк1 βоднородному.
aуравнений: + c1 = 0, a1 b1В частнос
a 2αaa+11xb+bβb1 +равны
2 1y c+2 c=1 0.нулю. 1). Если определитель δ = ≠ 0 , то у
елитель yδ′ == EDOs
≠ 0 , . queотносится
то reduzem
уравнение (1.10) as(1.10)
приводит-
уравнениеEDOs видаahomogêneas
2α + b2 β + c 2 = 0. a 2 b2
е уравнениеaaвида b a1α +dybдва
2 2x + b22 y + c 2 Следует различать 1 β dv
+случая:
c1 = 0,
тывая, что du = dx, dv = dy, следовательно, ся
= к однородному
, и подстановкой
c1 иac22α) могут
+dxb2 βduбыть
+ c 2 = что
дстановкой 0a.1 bdu adv1 x=+dy + c1
b1,y следовательно,
коэффициентовa1(но x + не + c1Действительно,
b1 yодновременно учитывая, 1 = dx ,
y′ = f 1). ЕслиConsideremos
определитель δ = simples ≠ y0′, = то уравнение
um caso x = u + α ,
.(1.10)
y = v +прив
β,
(1.10), получим ,+ by2=y v++cβ2 уравнение
x = u a+2αxоднородное , относительно(1.11) но- a b a 2 x + b 2 y + c 2
2 2 dy dv
два Действительно,
β определяются
ать случая: из системы подставляя
учитывая,
уравнений: du = вгде
что(1.11) dv = получим
dx(1.10), β определяются
a иоднородное
dy, следовательно,
, постоянные = из ,системы
уравнение и относур
ся к однородному подстановкой Некоторые из коэффициентов (но dx одновременно
не du
dv a ab1u + b1v вой функции v(u ).
α +=1b1 β1 +(1.11)
c10=, 0. то a1α + b1 β но- + c1 = 0,
(A) подставляя
елитель δa1=du ≠ , в уравнение
a 2 u + b2 v Utilizamos
(1.10), получим
равны (1.10)
нулю. однородное уравнение относительно
приводит-
substituição: x = u + α ,dv y =av u++βb, v
a
войa 2функции b
α +2 b2 β2 + c2v(u = 0).. = 1 1
. a 2α + b2 β + c 2 = 0.
дстановкой где постоянные a Следует различать два
и β определяются из случая:
du системы
a 2 u + bуравнений:
2v
dv dy a1udv + b1v
тывая,
Comoчто du =t dx ,v ,dv = dy, следовательно,
obtemos = Действительно,
= , и . учитывая, a1 что b1 du = dx, dv = dy, с
=
x = u + α , y = v + βПолагая , далее1).
du Если
dx a u(1.11)
+ a21vα + b1 β + c1 δ= =0,
определитель
du b ≠ 0 , то уравнен
u 2
β
(1.10), получим
определяются однородное
из системы уравнение
уравнений: относительноподставляя a
но- α + b β
(1.11) + вc = v
(1.10), 0 a2получим
. b2 однородное ур
е уравнение к уравнению с разделяющимися переменны- 2 2 2
O que é uma EDO
Полагая далееhomogênea — podemos utilizar a substituição: t = ,
a α + b β + c = 0 , ся к однородному вой функции подстановкой
14 v(u ). u
para reduzir
1 essa
1 EDO
1 a uma separável. v dy
елитель a dv α + a1βu ++ Действительно,
b1v= 0.приводим учитывая, последнее t = что , du = dxк, уравнению
уравнение dv = dy, следовательно,
с разделяющимися
dv a+1uβ+, b1v =
2 = 2b c 2 . u x = u + α , y == v dx
.
dua ab2 u + b2 v ми. du a 2 u + b2 v
δ=
(B) приводим 1 1
= 0,
подставляя
последнее Utilizamos
(1.11)
уравнение
где substituição:
в (1.10),
dy получим
к уравнению
постоянные u =
dva и 1β a x + b y .
однородное
с разделяющимися
определяются
1 уравнение
из переменны-
системы относительн
уравнени
тывая, что dua= 2 dx b2, dv = dy, следовательно,
2) Если =
определитель , и
ми. вой функции para reduzir
v(u ).a EDO dxПолагая
a uma далее
du separável.
v x + y +a 2 ba11α + b1 β + c1 = 0,v
сразу приводится
1.10), получим к
Пример. уравнению
однородное
t =
2) Если , с
Решить разделенными
уравнение
определитель уравнение перемен-
относительно y ′
но- = 1 .
u dv δxa=+1u1+ b1v = 0 , t= ,
= a ba 2α
. + b 2 β + c 2 = 0u.
уравнение к уравнению с разделяющимисяaпеременны- 1 b1 du a 2 u +2 b2 v2
dv Вa1этом u + b1vуравнении δa= = b приводим = 1 = 0 c, =последнее
, 2 , a = уравнение
1 , b = к, уравнению
0 c = 1 . сПоэ
раз
= . то уравнение1 (1.10) a2 1 b2сразу 1приводится 2 к уравнению 2 с 2
разделенным
du a 2 u +Полагая b2 v далее Действительно, ми. учитывая, что du = dx, dv = dy, следова
литель 1 1 ными заменой
 u = a1 xδ+=14b11 y.0 Пример.≠ 0 . 1Решить
Полагая 0 x = 1u + α , yy=′ =v + β , находим
1уравнение . αα+ 1и= 0β. из системы
1 10
1 δ= ≠ 0 . uПолагая = a x + xb1+yx.1= u + α , y = v + β , находим α и
δ= ≠ 0 . Полагая x 1 = u 0+ α , y = v + β , находим α и β uиз 1
= системы
a1 x + b1 y.
+ y +1 2 0уравнений:
xсистемы системы уравнений: Следовательно, u = a x +
1 α = 1−1, b y . β==1,−1,b =и 0формулы перехода о
ние y ′u== a x + b y.В. этом уравнении
системы a Exemplo
= b = 1 , c 1 = 2
1x + y + 2 2, a , c = 1 . Поэтому
x1 + 1 1 уравнений:
Пример. Решить системы
1
уравнение
ных к αновым
1
уравнений: y ′ =
и=обратно α .
+ β + 2 вид:
примут = 0,
2 2
x+ y+2
системы уравнений: + β + 2 0x, + y + + 2
1 1 Решить уравнение
Пример. Пример. y ′ = Решить .уравнение y ′ =
x 1 .
x, + yaδ2+==21, b2≠=0 0. , Полагая x+ 1=α=u0++. βα ,+ 2xy=+=01v,α++β1,=находим
αПоэтому α2 =и0, βx +из 1 системы
1 = 1,
bнение cy1′ =
= 2 c = 1 . 0 . α +
0,2, a 2 = 1,x =b2u=−01,, c 2 y==1.v −Поэтому β + 1,
В1. этом
0 уравнении Temos: a1 =αb1+=β1,+ 2c=
2
1 =
x +1 αформулы
+ 1уравнении
= 0. αbx1+=+=101= 0перехода
.ccv1===1y2. ,+Поэтому
В этом1 уравнении
Следовательно, α = − 1
Следовательно,
1 , β = 1 , В этом
a1 = bα1α==+11−, 1=, 0c.1 β= =
− и 2,перехода
− 1 a 2 =и1a,формулы
, u ==bстарых
от 1, ,перемен- = 1, bп2
1от.a 2старых
= u + α , y = v + системы β ,δ находим
= уравнений:
≠ 0 и β из системы
α. Полагая u + α , y = v + β , находим α и β из системы
x =Поэтому
1 2 2
= b1 = 1, cных = 2
к , a
новым
Следовательно, =и1 , b =
0 α2αк=новым
обратно 0 , c =
1, β2иβ=обратно
=−Следовательно,
−
примут 1
=
вид: . − и
1
Следовательно,12 11 ных 1 , −
В 1 11, и1 формулы
результате
, примутαформулы
=уравнение
−1вид: βперехода
,перехода = −приводится
1,от старых иотформулы
старых к перемен-
перехода от
однородному
перемен-
Caso (A): δ = ≠ 0 . Полагая Utilizamos δx == utroca +α,≠ de
α 0y . = v
variáveis:
+ β ++
Полагая2 β =, 0находим
, x = u α
+ α и, βy =
из v + β , находи
системы
ных 1 0 ииобратно
кк новым обратно ных xк=новым
примут − 1вид:
u вид: 1, и0yобратно = v − 1, примут вид:
ных новым
системы уравнений:
x = u + α , y = v + β , находим α и β из системы примут x = udv− 1, u −y1 = + vv −− 11,+ 2 u + v
u = x + 1, v = y + 1. α + 1 = 0 . =, v = y + 1. = = 1+ .
v
α + β + 2системы = 0, уравнений: x = u − 1
= u − 1, уравнений:
xсистемы , yu
αy+=βv +− 21,du = = v x − +1 1,
= 0, x = u − 1,+ 1 y = v − u 1, u
ВСледовательно,
результате dando уравнение α = приводится
−u1u , x=β
= +x =+ 1−,кα += v иy==+i.e.,
1v,однородному формулы
y + 1 . перехода от старых перемен-
α + 1 = 0. В результате 1 ,
α +далее
уравнение 1 0
β +приводится
1
. .
2t ==0v, / uu, = → xк+однородному
1,v = tu v = y +′ 1. ′
ных к новым иdvобратно
Полагая
примут вид: α +, βv +=2t =u 0+, t , прих
u −1+ v −1+ 2 u + v v
α + β + 2В=Следовательно,
результате
0,
результате уравнение=α = −В1приводится
уравнениес разделяющимися β = dv
,результате
приводится −α1=,+ 1кuиуравнение−к =.однородному
1 1 + . приводится
=однородному
0переменными
формулы
+ v − 1 + перехода
2 u + v отα
относительно старых
+
к v= перемен-
однородному
1 0 . функции t:
β = −1, и формулы переходаduот старых u − 1перемен-
+1
x =вид: u=− 1,
u u
y = v − 1, = = 1+ .
α + 1 =Следовательно,
0. ных к новым и
α
обратно
dvdv = − u1, −u
примут
1−β+1v=+−− v 11du
−+ 1 2+и2uформулы +udvv−+1v+u1−
u vперехода v u от старых u
мутEDO вид:após trocaПолагая de variáveisдалее t = v / u , →
= = Следовательно, v = tu ,
,
u = x+ v ′ =
= 1,= α
t ′u + tv===1=+y=−+
, приходим1 1
.
,1 +
. v
β −=к1 +
du
− 2
уравнению
1 , u
и +формулы
v перемен- v пере
dudu u −u1−+x11=+u1 −t1′,u +u ty = = 1
1v+−t1u,, d t =+ . , = t = ln u=+1 + ln C. = ln C
β = −1 , с и ных
формулы к
разделяющимися новым переходаи Полагая
обратно
переменными от далее
примут
старых = v / u , функции
tвид:
перемен-
относительно →duu v =t:tuu,−u1v′+=1tu′u + t , uприходим u к ура
x = u − 1, y = v − 1, В результате уравнение ных к uновым = и обратно
x ,+ 1v, ′ = tv′u=+кytоднородному
приводится примут
+, 1приходим
. вид:
Полагаясдалее t =
разделяющимися v / u , → v = tu
переменными относительно к уравнению
функции
римут
u= вид: = Полагая
x + 1, vsubstituição:
Utilizamos y + 1. tдалее t = v /Возвращаясь, →
uПолагая x = uvдалее
du −=1tu ,к,старой ′
t vy===v v/t u−′ ,1+, t→
uпеременной, v = tuполучим
, приходим t ′ut: + t , приход
, v′к=уравнению
с разделяющимися ′u + tпеременными
В результате = 1 + t ,уравнениеddv t = относительно
u t+=vln−u1++ln2функции
,−приводится
1 к =uln+Cu
Cоднородному v . x v= u − 1,
t: y = v − 1,
с разделяющимися переменными = uu =относительно
x + 1, переменными v== y+ 1. =относительно
функции
du 1 +t: y. + 1
x =
ие приводитсяu − 1 , к y = v − 1
однородному , с разделяющимися
′
t u u+ −t 1=u+1−v+1−t+,1 1+ d2 t =u + = v u =
t =v,lnuu + ln C x + 1, = ln
функции
v = y + 1 . t:
Transformando a EDO em separável : du dv du vu, ln Cu = ln C Cu
( x . 1),
+
u = x + 1, Возвращаясь 1. к tстарой
v = yВ+результате переменной,
1 + t , d t= =приводится
′u + t =уравнение получим
,du t = ln uк=+однородному lnuuC ==ln 1 +Cudu .. x + 1
u − 1 + v − 1 + 2 u + v Полагая t v= 1 +t tdu
vt ′u +далее =, v d/ uyt,В = → −t1′,u+v+
uuрезультате 1t=t== tuln1
, +u u+′, =lntd′C
уравнение
vt ut =
+ utln , . t = ln u +ккln
, приводится
Cu
приходим C = ln Cu
однородн
уравнению
= = 1 + Возвращаясь
. = ln к старой+ 1 переменной, получим
uv= −ln1C+( x2 + 1),u + vy = ( x v+u1) ⋅ ln C ( x + 1) − 1.
ение −приводится
1 + 1 geral
Ouintegral к
emu однородному
(v,u)
Возвращаясь e (x,y):
u
Полагаяк старой далее dv Cu , u − 1 +
t ==v / ux, + 1→получим v = tu ,= v′ = t ′u=+1 t+, приходим к уравнению
с разделяющимися u переменной,
переменными относительно функции .
dv u − 1 + v − 1 + 2 u + v t:
Возвращаясь
с разделяющимися к старой du
Возвращаясь
переменной,
переменными u − 1 vк+ 1старой переменной,
получим
относительно + 1= u t:получим =
u y функции = 1+
u − 1 + v − 1 + 2 u +
u , → v = tu , v′ = t ′u + t , приходим v v vy = (кx уравнению
+ 1) ⋅ lnyC+( x11.6. =
+ 1du ln Cu
− 1.
) Линейные , = ln
du дифференциальныеC ( x
u −1+1 + 1 ), u уравне
 Exemplo:
Exemplo: curvas ortogonais duas curvas ortogonais em 2D
Problema: Achar uma famı́lia de curvas y = g(x) ortogonais
à famı́lia de parábolas y = f (x) ⌘ ax2 , aonde a é constante
indeterminada. Para duas famı́lias de curvas sejam ortogonais,
em cada ponto (x, y) os vetores tangenciais devem ser
ortogonais (veja a figura):

dV1 · dV2 = 0, (6)

aonde dV1 = (dx, df ) e dV2 = (dx, dg) (aula 1 sobre o

significativo geométrico do diferencial). Temos
dV1 dV2 df dg
· =0!1+ = 0. (7)
dx dx dx dx
Uma observação em ordem: a derivada de uma famı́lia de
curvas y = f (x) deve ser dada como a função do ponto
(x, y) do plano (e não como função do parâmetro
indeterminado a)! No nosso caso, temos
df y df 2y
= 2ax, a= ! = . (8)
dx x2 dx x
Usando y = g(x), obtemos uma EDO homogênea (e
separável) para a famı́lia ortogonal:
dy dx x
= = . (9)
dx df 2y
x2
Resolvendo, obtemos a famı́lia de ellipsos: y 2 + 2
= b2 .
 ot not
do Integrate
necessarily for to
holdhold
necessarily all
forfind
all the general
di↵erential solution
equations,
Integrate
di↵erential yas
as shown
to find
equations, the in|x|
=general
ln
shownthe+ C. The
solution
in the y =solution does
ln |x| + C. Thenot exis
solution
Integrate to find the general solution y = ln |x| + C. The solution does no
See Figure 1.10 on theSee
next page.
Figure 1.10The equation
on the mayThe
next page. have been may
equation written
haveas
beenthew
See Figure 1.10 0on the next page. The equation may have been written a
harmless
to solve: Comparamos
xy 0
= 1. dois
harmless
harmless xy 0 xy problemas
= 1. = 1. de valor inicial:
mpt to solve:
Example 1.5.2: Example
Solve:
Example 1.5.2:
1.5.2: Solve:Solve: p
1 p p0
, 1 , y(0) y(0)
y 0 =y 0 = = 0. = 0. y 0
= 2 |y|, y 0
=y(0) ==2 0.|y|,
2y |y|, y(0) = y(0)
0. = 0.
x x
See See
Figure Figure
1.11 1.11 onfollowing
on the the following
page. page. Notey =
Note that that
0 isya=solution.
0 is a solutio
But
50 solutionSee
eral y =Figure
ln |x| +1.11
C. CHAPTER
on
The the
solution
is the
1. FIRST
following
does
function page.
not exist ORDER
Note
Solução
at x that
1:
= 0.DIFFERENTIAL
y = 0 is a solution. EQUATIONS
But anoth
Integralsolution
general is the function
geral: y = ln |x| + C. The solution does not exist at x = ( 0. (
tnext
page. 50 isThe
theequation
functionmay have been
CHAPTER written
1. as
FIRST the (
seemingly
ORDER x
DIFFERENTIAL
2
x
if 2
if0, EQUATIONS
x 0,
x EQUATIONS
page.50The equation may have been written
CHAPTER 1. FIRSTas the
Solução ORDER
2 y(x)seemingly
DIFFERENTIAL
2: if =y(x) =
-3 -2 -1 Sem solução!
0 1 2 3 -3 x -2 x-1 x0,
2 0
if xx2 <1if
0. x <2 0. 3
3 3 3
y(x) = 3

p 3
-3
3
-3-2 -2-1 -1 0 0 1 1 2 2 3
3
3 -3
33 3
-3 x2
-2 if x < 0.
-2 -1 -1 0 0 1 1 2 2 3
3
3
3
2 0 p
y = 20 |y|, y(0) = 0. 2 2 2

y = 2 |y|,
2
y(0) = 0.
2 2 22 2 2 2

ollowing page. Note that y = 0 is a solution. But another solution

1 1 1 1
he following page. Note that y = 0 is a solution. But another solution
(
1 1 1 11 1 1 1

0
x2 ( 2if x 0, 0 0 0

y(x) = 0
2x if x 0,
0 0 00 0 0 0

y(x) = x if2 x < 0.

-1
-1
x if x < 0.
-1
-1
-1
-1
-1
-1 -1
-1
-1
-1

-2 -2 -2 -2
-2 -2 -2 -2
-2 -2 -2 -2

-3 -3 -3 -3
-3 -3 -3 -3
-3 -3 -2 -3 -1 -2 0 -1 10 1 2 2 3 -3 3
-3 -3 -3 -2 -2 -1 -1 0 0 11 22 -3 3 3
-3 -2 -1 0 1 2 3 -3 -2 -1 0 1 2 3

0 = 1/x. p p
p
Campo
Figure Figure
de1.10:
1.10:
Figure 1.10:
direções
Slope Slope
para
Slopefield field
0
fieldofofyy =0 of y
= //x.
11 Campo
Figure
Figure
Figure deSlope
1.11:
1.11: direções
1.11: Slope
Slope para
field
fieldfield of y0 0 =
0 =y2 =|y|
of yof 2 |y|
|y|with
2 with withtwo
two two
solutions satisfying y(0)
= 0.==0. 0.
solutions
solutions satisfying
satisfying y(0)y(0)

What we see here is a significant problem for trying to represent physical situations. In
 Theorem 1.5.2 (Picard’s theorem on existence and uniqueness)
non-linear equations. Thankfully, we do still get a result, which is known as
rem∗ . `
If f (x, y) is continuous (as a function of two variables) and @f
@y
exists and is contin
1.5.2 (Picard’s theorem on existence
near some and(xuniqueness)
0 , y0 ), then a solution to

s continuous (as a function of two variables) and @f @y

exists and
y 0 =isf (x,
continuous
y), y(x0 ) = y0 ,
(x0 , y0 ), then a solution to
exists (at least for some small interval of x’s) and is unique.
0
y = f (x, y), y(x0 ) = y0 ,
The main fact that is “not as strong” about this result is the interval that we g
least for some small intervalthe
of theorem.
x’s) and isFor
unique.
the linear theorem, we got existence and uniqueness on the entire
I where p and g are continuous. For the non-linear theorem, we only get existe
fact that is “not as strong” about
some this result
interval around is the
the point
interval
x0 .that
Evenweifget
f (x,from
y) and @f are really nice functions t
@y
For the linear theorem, we continuous
got existence and uniqueness
everywhere, we canonstill
theonly
entire interval existence on a small interval (t
guarantee
nd g are continuous. For the non-linear
depend theorem,
on the initial we onlyaround
condition) get existence
the point on
x0 .
@f
around the point x0 . Even if f (x, y) and @y are really nice functions that are
verywhere, we can still onlyExample
guarantee1.5.4: For on
existence some constant
a small A, solve:
interval (that can
e initial condition) around the point x0 . y0 = y2, y(0) = A.
5.4: For some constant A, solve:
Solution: We know how to solve this equation. First assume that A 6= 0, so y is no
Por exemplo: y 0 = yto
2
, zeroy(0) = A.for some x near 0. So x0 = 1/y2 , so x = 1/y + C, so y = C 1 x . If y(
at least
then C = 1/A so
We know how to solve this equation. First assume 1 that1 A 6= 0, so y is not equal
1
ast tem solução
for some que0.existe
x near So xsomente
0 (−∞,
! x = 1/)y +
= 1/y2 , so (! so, ∞)
ouC, y =: C 1 x . If y(0)
y = 1/A= A,
.
A A x
so If A = 10, then y = 0 is a solution.
y = For
1/A
.
example, when A = 1 the solution is
x
n y = 0 is a solution. 1
y=
ple, when A = 1 the solution is 1 x
which goes
1 to infinity, and so “blows up”, at x = 1. This solution here exists only
 ty of numerical methods, including built-in Matlab methods.
0 + 1 = 1, y1 = y0 + h f (x0 , y0Resolvendo
1.5
) = 1 + 1 · 12/3 =EDO
1.5
numericamente
4/3 ⇡ 1.333, 1.5

special form, it is generally very hard if not

1.0 (
1.0
4/impossible
Método 3)
2
de to get a nice
Euler 1.0
1of+the
1 =problem
2, y2 = y1 + h f (x1 , y1 ) = 4/3 + 1 · = 52/27 ⇡ 1.926.
3
0.5 0.5 0.5

proximatey0 =graph
f (x,ofy),
the solution
y(x0 )by=connecting
y0 . the points (x0 , y0 ), (x1 , y1 ),
first two steps of the method see Figure 1.13 on the following page.
1 2 3
0.0 0.0
-1 0 1 2 3
0.0

efor Aproximamos
solved
any iin= closed aform,
0, 1, 2, 3,derivada no pontodo(x
wecompute
. . ., we should i, yi) para
! that. Buti0 = 0,1,2,3,…:
what
y2
if we have an
wo steps of Euler’s method with h = 1 for the equation y = 3 with initial
solved in closed form? What if we want to find the value of the
. xi+1 = xi + h, yi+1 = yi + h f (xi , yi ).
lar x? Or perhaps we want to1.6. produce a graph
NUMERICAL of the solution
METHODS: EULER’StoMETHOD
outAqui
his
OD
o passo
section
by hand ha deve
weforwill learn
few serabout
pequeno
steps, theebasics
but the igual para
formulas
59
todos
lendi themselves
of numerical
here =approximation
0,1,2,3,…: very
into a looping structure for more involved processes. The line segments
3.0
-1 0 1 2 3
3.0 Error
ximate graph of the solution. Generally it is not ∗
exactly theh solution.
Approximate
See y(2) Error Previous error
for approximating a solution is Euler’s method . It works as follows:
next pagek for the 1 1.92593 1.07407
e slope
Error2.5
(x plot
= fError , y ).ofThe
0 0
the real
Previous error
solution
slope is the and the approximation.
change in y per
0.5
unit change
2.5

2.20861 0.79139 0.73681

an
wiss interval of length
mathematician
1.074072.0 h onPaul
Leonhard theEuler
x-axis. Hence The
(1707–1783). if y correct
= y0.25
0 at x0 , then 2.47250
pronunciation
2.0 we
of 0.52751 0.66656
like “oiler.”
mate value of0.73681
y at x1 = x0 + h) is y1 = y0 + hk. Rinse, 0.125 repeat! Let 2.68034 0.31966 0.60599
0.79139
compute
0.52751 x2 0.66656
1.5
= x1 + h, and y2 = y1 + hk. Now compute 0.0625 x3 and2.82040
1.5
y3 0.17960 0.56184
0.60599 y 0 = y2/3, y(0) = 1, and h = 1.
0.31966the equation 0.03125 2.90412 0.09588 0.53385
nsider 1.0 Then x0 = 0 and
1.0
0.015625 2.95035 0.04965 0.51779
0.17960 0.56184
0.0078125 2.97472 0.02528 0.50913
0.095880.5 0.53385 0.5

0.04965
= 1, y0 + h f (x0 , y0 ) = 1 + 1 · 12/3 = 4/3 ⇡ 1.333,
0.51779
y1 =
Table 1.1:2 Euler’s method approximation of y(2) where of y 0 = y2/3, y(0) = 1.
0.0 0.0
0.02528 -1
0.50913
0 1 2 3

Campo de direções para e passo h=1 ( /3)4

= 2,of Euler’s
teps y2 =method
y1 + h f (xsize
(step 1 , y1
1)) and
= /the
4 1 · solution
3 +exact = for the⇡equation
52/27 1.926.
conditions y(0) = 1. 3
(2) where of y 0 = y2/3, y(0) = 1. Notice that
mate graph of the solution by connecting theexcept for(x
points the, first few times, every time we halved the step size th
0 y0 ), (x1 , y1 ),
approximately halved. This halving of the error is a general feature of Euler’s met
two steps of the method see Figure it is a 1.13order
first on the following
method. There page.an improved Euler method, see the exercises
exists
0, 1, 2,y3,0 =. . y.,/3we
2
hnythe
i=equation , y(0) = 1. isLet
compute us try order
a second to approximate y(2) using
method. A second order method reduces the error to approximat
y time we halved the step size the error