Ensino Superior

Introduo aos Sistemas de Controle

2.5.2 Revises Fundamentais

Equaes Diferenciais

Amintas Paiva Afonso

Solues Numricas
de EDOs

Amintas Paiva Afonso

 Equaes Diferenciais

Equaes contendo derivadas so equaes diferenciais.

necessrio conhecer equaes diferenciais para:
Compreender e investigar problemas envolvendo o fluxo de
corrente eltrica em circuitos, a dissipao de calor em
objetos slidos, a propagao e deteco de ondas
ssmica, o aumento ou diminuio de populaes, o
movimento de fluidos, entre outros.
Note que toda a parte do clculo chamado de clculo de
primitivas compreende a determinao de solues de uma
equao diferencial.
 Equaes Diferenciais

Voc aprendeu, em clculo, que a derivada dy/dx de uma

funo y = (x) em si uma outra funo (x).
2
0 ,1x
A funo
substituirmos
ye diferencial no intervalo (- , ), e a sua derivada
no lado direito da derivada pelo smbolo y, obteremos
. Se

0 ,1x 2
0 ,1x 2
dy / dx 0,2 xe e

dy
0,2 xy (1)
dx
Como resolver essa equao na funo incgnita y = (x)?
A equao construda em (1) chamada de equao diferencial.
 Definio de Equao
Diferencial
Uma equao que contm as derivadas (ou diferenciais) de
uma ou mais variveis dependentes em relao a uma ou mais
variveis independentes chamada de equao diferencial (ED).

Para poder discuti-las melhor, classificaremos as equaes

diferenciais por tipo, ordem e linearidade.
Classificao quanto ao Tipo

Equaes Diferenciais Ordinrias (EDO): se a funo

desconhecida depende de uma nica varivel independente.
Neste caso, aparecem apenas derivadas simples.
dy d 2 y dy dx dy
5 y ex , 6 y 0, 2x y (2)
dx dx 2
dx dt dt
Equaes Diferenciais Parciais (EDP): se a funo
desconhecida depende de diversas variveis independentes.
Neste caso, aparecem as derivadas parciais.
2u 2u 2u 2u u u v
2 0, 22 , (3)
x 2
y x 2
t t y x
 Classificao de Equaes
Diferenciais
dy d 2 y d 3 y
Notao de Leibniz: , 2 , 3 ,... Notao linha: y `, y ``, y ```,...
dx dx dx
dy d 2 y dy dx dy
Notao de Leibniz: x
5y e , 2
6 y 0, 2x y
dx dx dx dt dt

Notao linha: y`5 y e x , y `` y `6 y 0,

A notao linha usada somente para denotar as trs

primeiras derivadas; a quarta derivada escrita como y(4), em
vez de y.
 Classificao de Equaes
Diferenciais
Sistema de equaes diferenciais: se existem duas ou mais
funes que devem ser determinadas, precisamos de um
sistema de equaes.
dx
f (t , x, y )
dt
(8)
dy
g (t , x, y )
dt

Uma soluo de um sistema como (8) um par de funes

diferenciais x = 1(t), y = 2(t), definidas em um intervalo comum I,
que satisfazem cada equao do sistema neste intervalo.
 Classificao de Equaes
Diferenciais
Notao ponto de Newton (coc de mosca): s vezes
usada em Fsica ou Engenharia para denotar derivadas em
relao ao tempo. Assim sendo, a equao diferencial
d 2s
2
32 torna-se s 32
dt
Derivadas parciais so geralmente denotadas por uma
notao em subscrito. Assim sendo, a equao diferencial
2u 2u u
2 , torna-se u xx utt 2ut
x 2
t 2
t
 Equaes Diferenciais

Ao estudar alguns fenmenos, difcil estabelecer

diretamente a relao de dependncia entre uma
varivel independente x e uma dependente y.
Todavia, mais fcil estabelecer a relao entre

x, y e as derivadas y(x), y(x), , Y(n)(x).

Esta relao constitui uma equao diferencial.
Note que a grande maioria dos fenmenos fsicos
modelada atravs de equaes diferenciais.
 Equaes Diferenciais

Equao diferencial:
uma equao envolvendo uma funo desconhecida
e algumas de suas derivadas.

Equao diferencial ordinria de ordem n:

equao que envolve derivadas at a ordem n da forma

Y(n)(x) = f(x, y(x), y(x), y(x), , Y(n-1)(x))

a x b.
 Classificao por Ordem

Ordem: a ordem de uma ED a ordem da mais alta derivada que

aparece na equao.
d4y d3y d2y
Exemplos: dy
dx
5 x 3,
dt 4 dt 3 dt 2 dy
dt y 1
segunda ordem primeira ordem
3
d2y dy
2
5 4 y ex
dx dx
uma equao diferencial de segunda
ordem.
 Classificao por Ordem

Equaes diferenciais ordinrias de primeira ordem so

ocasionalmente escritas na forma diferencial

M(x, y) dy + N(x, y) dx = 0
Por exemplo, supondo que y seja a varivel dependente em
(y - x) dx + 4x dy = 0, ento y = dy/dx
Portanto, dividindo pela diferencial dx, obtemos a forma alternativa
4xy + y = x
 Classificao por Ordem

Geralmente a equao
F(y, y, y, ..., y(n)) = 0 (4)
uma equao diferencial ordinria de ordem n em uma
varivel dependente.
Onde F uma funo de valores reais de n + 2 variveis, x, y,
y, ..., y(n), e onde y(n) = dny / dxn.
Por razes prticas e tericas, tambm consideraremos
dny n ( n 1)
n
y f ( x , y , y ' , y" ,..., y ) (5)
dx
 Classificao por Ordem

Quando servir aos nossos propsitos, usaremos a forma normal

2
dy d y
f ( x, y ) e 2
f ( x, y , y ' )
dx dx
para representar equaes diferenciais ordinrias de primeira
e segunda ordem.

Por exemplo, a forma normal da equao de primeira ordem

4xy + y = x y = (x y)/4x
 Classificao por
Linearidade
Equaes Lineares e no-lineares: A equao diferencial
F ( x, y ' , y",..., y (n ) ) 0 (4)
dita linear se F uma funo linear das varveis y, y, y,..., y(n-1)
Assim a equao diferencial ordinria linear geral de ordem n

an ( x) y ( n ) an 1 ( x) y ( n 1) a1 ( x) y ' a0 ( x) y g ( x) 0
dny d n 1 y dy
an ( x) n an 1 ( x) n 1 a1 ( x) a0 ( x) y g ( x) (6)
dx dx dx
 Classificao por
Linearidade
dny d n 1 y dy (2)
an ( x) n an 1 ( x) n 1 a1 ( x) a0 ( x) y g ( x)
dx dx dx
Em (2) observamos as duas propriedades caractersticas de
uma equao diferencial linear:
1) A varivel dependente e todas as suas derivadas so do 1
grau, isto , a potncia de cada termo envolvendo y 1.
2) Cada coeficiente depende no mximo da varivel
independente x. As equaes diferenciais ordinrias lineares
abaixo so, respectivamente, de 1, 2 e 3 ordem.
d3y dy
(y - x) dx + 4x dy = 0, y 2y + y = 0 e
dx 3
x dt
5 y ex
 Classificao por
Linearidade
Equaes no-lineares: Uma equao diferencial ordinria
no-linear simplesmente uma que no linear.
A equao diferencial que no da forma (1) uma equao
no-linear. Exemplo: y ' ' '2e t y" yy ' t 4

Funes no-lineares da varivel dependente ou de suas derivadas,

como seny ou e y, no podem aparecer em uma equao linear.
Assim sendo,
Termo no-linear
Termo no-linear Termo no-linear Potncia diferente de 1
Coeficiente dependente de y Funo no-linear de y
2
d y d4y 2
x
(1 y ) y '2 y e , 2
seny 0, 4
y 0
dx dx
 Soluo de uma EDO

Definio: Toda funo , definida em um intervalo I que

tem pelo menos n derivadas contnuas em I, as quais quando
substitudas em uma equao diferencial ordinria de ordem n
reduzem a equao a uma identidade, denominada uma
soluo da equao diferencial no intervalo.
Em outras palavras, uma soluo de uma equao diferencial
ordinria de ordem n (4) uma funo que tem pelo menos n
derivadas e para qual
F(x, (x), (x), ..., (n)(x)) = 0 para todo x em I.
 Solues
Solues: Uma soluo da equao
y(n) = f (x, y, y`, y``, ..., y(n-1) ) em <x<
uma funo tal que `, ``, ... (n) existem e satisfazem

(n)(x) = f [x, (x), `(x), ``(x), ... (n-1) (x)]

para todo x em < x < 0 ,1x 2
Em nossa discusso introdutria, vimos que y e uma
0 ,1x 2
soluo de dy / dx 0,2 xe no intervalo (- , ).
 Verificao de uma Soluo

Exemplo 1: Verifique se a funo indicada uma soluo da

equao diferencial dada no intervalo (- , ).
a) dy/dx = xy1/2; y = x4/16 b) y 2y + y = 0; y = xex
Soluo: Uma maneira de verificar se a soluo dada uma
soluo observar depois de substituir, se ambos os lados da
equao so iguais para cada x no intervalo.
a) dy/dx = xy1/2; y = x4/16

dx 16

lado esquerdo: dy 1 4.x 3 1 x 3 4
1/ 2
lado direito: 1 4 1 1
xy1/ 2 x x x. x 2 x 3
16 4 4
 Verificao de uma Soluo

Verifique se a funo indicada uma soluo da equao

diferencial dada no intervalo (- , ).
a) dy/dx = xy1/2; y = x4/16

dx 16

lado esquerdo: dy 1 4.x 3 1 x 3
4
1/ 2
lado direito: 1 4 1 1
xy1/ 2 x x x. x 2 x 3
16 4 4
Vemos que ambos os lados so iguais para cada nmero real x.
Note que y1/2 = x2 , por definio, a raiz quadrada no negativa de
1/16 . x4
 Verificao de uma Soluo

Verifique se a funo indicada uma soluo da equao

diferencial dada no intervalo (- , ).
b) y 2y + y = 0; y = xex
Das derivadas y = xex + ex e y = xex + 2ex, temos, para x
lado esquerdo: y ' '2 y ' y ( xe x 2e x ) 2( xe x e x ) xe x 0
lado direito: 0
Observe que neste exerccio, cada equao diferencial tem a
soluo constante y = 0, - < x < . Uma soluo de uma equao
diferencial identicamente nula no intervalo I chamada de
soluo trivial.
 Curva Integral
O grfico de uma soluo de uma EDO chamado de curva
integral. Uma vez que uma funo diferencivel, ela
contnua no intervalo de definio I. Assim sendo, pode haver uma
diferena entre o grfico da funo e a soluo da funo .
Posto de outra forma, o domnio da funo no precisa ser
igual ao intervalo I de definio (ou domnio) da soluo .
O exemplo 2 ilustra a diferena.
 Domnio versus
intervalo I de Definio
Exemplo 2: O domnio de y = 1/x - {0}. A funo racional y = 1/x,
descontnua em zero. A funo no diferencivel em x = 0, uma vez
que o eixo y (cuja equao x = 0) uma assntota vertical do grfico.
Entretanto, y = 1/x tambm soluo da
equao diferencial linear de primeira ordem
xy + y = 0. (verifique)
Mas quando afirmamos que y = 1/x uma
soluo dessa ED, queremos dizer que uma
funo definida em um intervalo I no qual
diferencivel e satisfaz a equao.
Portanto, tomamos I como sendo (- , 0) ou (0, ). O grfico ilustra as
duas curvas integrais.
 Domnio versus
intervalo I de Definio
Exemplo 2:

(a) Funo y = 1/x, x 0 (b) Soluo y = 1/x, (0, )

 Solues Explcitas e
Implcitas
Soluo Explcita: quando numa soluo a varivel dependente
expressa somente em termos da varivel independente e das
constantes.

y = x4/16, y = xex e y = 1/x so solues explcitas de

dy/dx = xy1/2, y 2y + y = 0 e xy + y = 0
Alm disso, a soluo trivial y = 0 uma soluo explcita de todas as
trs equaes.
 Solues Explcitas e
Implcitas
Soluo Implcita: Dizemos que uma relao G(x, y) = 0 uma
soluo implcita de uma equao diferencial (4), em um intervalo
I, quando existe pelo menos uma funo que satisfaa a
relao, bem como a equao diferencial F
em( x,I.y ' , y" ,..., y (n ) ) 0 (4)
Exemplo 3: A relao x2 + y2 = 25
uma soluo implcita da ED
dy x

dx y
no intervalo -5 < x < 5. Por
diferenciao implcita, obtemos
d 2 d 2 d d
x y 25 ou 2 x 2 y 0
dx dx dx dx
 Solues Explcitas e
Implcitas
Exemplo 3: Uma soluo implcita e duas explcitas de y = - x/y

(a) Soluo implcita (b) Soluo explcita (c) Soluo explcita

x2 + y2 = 25 y1 25 x 2 ,5 x 5 y2 25 x 2 ,5 x 5
 Uso de computadores na
soluo de EDO
Exerccios destinados a Laboratrio de Computao.

Use um SAC (Sistema Algrico Computacional) para

computar todas as derivadas e fazer as simplificaes
necessrias constatao de que a funo indicada uma
soluo particular da equao diferencial dada.

1) y(4) 20 y + 158y 580y + 841y = 0; y = xe5x cos 2x

cos(5 ln x) sen(5 ln x)
2) x y + 2x y + 20xy - 78y = 0;
3 2 y 20 3
x x
 Equaes Diferenciais
Ordinrias
A soluo de (5):
y(n)(x) = f(x, y(x), y(x), y(x), , Y(n-1)(x)) (5)
a x b.
qualquer funo y = F(x) que definida em [1, b] e tem n
derivadas neste intervalo e que satisfaz (5).
Se a funo de uma s varivel, ento a equao se chama
ordinria.
As equaes que estabelecem relaes entre uma varivel e
depende de duas ou mais variveis independentes e as
derivadas (agora parciais), so chamadas de equaes
diferenciais parciais.
 Soluo de uma EDO
Na soluo de uma EDO, dois caminhos podem ser seguidos:
Mtodo analtico: O que tenta levar uma soluo exata do problema
Mtodo numrico: O que encontra uma soluo aproximada.
Do ponto de vista analtico, resolver uma EDO do tipo y = f(x,y)
encontrar uma funo y = F(x) que satisfaa a equao dada.
Por exemplo, dada equao diferencial y = f(x,y) = 2x + 3, sua
soluo obtida por:
y = (2x+3)dx = x2 + 3x + C
Na verdade, temos uma famlia de solues (para cada C R tem
uma soluo particular). A figura 1 (prximo slide) mostra algumas
solues para C = 0, C = 2 e C = 4.
Soluo de uma EDO
y C=4

C=2

C=0 Note que medida que C varia,

tem-se uma famlia de solues.

Representaes de solues particulares, para alguns valores de

C, da funo
y = x + 3 x + C.
2

Figura 1
Soluo de uma EDO

x
 Definindo as condies
iniciais
Para especificar uma das curvas que formam a famlia de
solues, preciso impor condies adicionais na funo y.
Essas condies so da forma:
y(a) = 1 , y(a) = 2 , y(a) = 3 , , y(n-1)(a) = n (2)
Que so chamadas de condies iniciais.

O problema (1) com as condies iniciais (2) chamado de

problema de valor inicial ou problema de condies iniciais.
y(n)(x) = f(x, y(x), y(x), y(x), , y(n-1)(x)) com a x b (1)
 Definindo as condies
iniciais
O problema geral de primeira ordem escrito como:
y(x) = f(x, y(x)), y(a) = com a x b (3)

ou
dy/dt = f(t, y(t)), y(a) = com a t b

Um problema de valor inicial de ordem n escrito como:

y(n)(x) = f(x, y, y, , y(n-1)), a x b (4a)
y(a) = 1 , y(a) = 2 , y(a) = 3 , , y(n-1)(a) = n (4b)
 Condies de contorno

Juntamente com o problema de valor inicial, podemos ter

problemas com condies de contorno, isto :
Alm da condio no incio do fenmeno, temos tambm uma
condio a atingir no fim do fenmeno.

EXEMPLO: condio de contorno de segunda ordem escrito como

y(x) = f(x, y, y) , axb (5)
com
y(a) = 1 , y(b) = 2
 Usando smbolos diferentes

Exemplo 2: As funes x = c1cos4t e x = c2sen4t, onde c1 e c2 so

constantes arbitrrias ou parmetros, so ambas solues da
equao diferencial linear x + 16x = 0.
Para x = c1cos4t x = - 4c1sen4t e x = - 16c1cos4t.
Substituindo x e x, obtemos
x + 16x = - 16c1cos4t + 16c1cos4t = 0
Para x = c2sen4t x= - 16c2sen4t e, portanto,
x + 16x = - 16c2sen4t + 16c2sen4t = 0
fcil constatar que a combinao linear de solues, ou a famlia
a dois parmetros x = c1cos4t + x = c2sen4t tambm uma
soluo da equao diferencial.
 Verificao de uma Soluo

Uma soluo de uma equao diferencial na incgnita y e na

varivel independente x no intervalo uma funo y(x) que
verifica a equao diferencial identicamente em todo x em .

Exemplo 3: Tem-se que y(x) = C2sen(2x) + C2cos(2x) uma

soluo de y + 4y = 0. Isso pode ser visto atravs da substituio
de y(x) na equao original. Assim:

y(x) = C1cos(2x) - C1sen(2x)

y(x) = -4C1sen(2x) - 4C2cos(2x)
y(x) + 4y = (-4C1 + 4C1)sen(2x) + (4C2 - 4C2)cos(2x) = 0
 Sistema de Equaes
Diferenciais
Um sistema de equaes diferenciais de primeira ordem tem a seguinte
forma geral:
y1(x) = f1(x, y1, y2, y3, yn)
y2(x) = f2(x, y1, y2, y3, yn)
(6a)
axb
yn(x) = fn(x, y1, y2, y3, yn)

Sujeito a yk(a) = k , k = 1(1)n (6b)

Onde f1, f2, f1n so funes de n + 1 variveis.
Nota: se o problema (6a) tem soluo, ento ele tem, em geral, vrias
solues (uma famlia de solues). Com as condies (6b), temos o
problema do valor inicial.
 Sistema de Equaes
Diferenciais
As solues do problema (6a) so derivadas da soluo de uma
nica equao. Resolvendo o problema (6), podemos resolver o
problema (4), utilizando mudanas de variveis. Assim, basta definir
um conjunto de n funes y1, y2, , yn, da seguinte forma:
y1(x) = y(x) (7)

y2(x) = y(x)

yn(x) = y(n-1)(x)

Ento (4a) pode ser escrita como:

y(n)(x) = f(x, y1, y2, yn). (8a)
 Sistema de Equaes
Diferenciais
Diferenciando (7), obtemos:
(8b)
y1(x) = y2(x)
y2(x) = y3(x)

yn-1(x) = yn(x)

De onde obtemos para (4) um sistema de equaes

diferenciais. As condies iniciais de (4b) tornam-se as
condies iniciais do sistema.
 Sistema de Equaes
Diferenciais
EXEMPLO:

y(x) = xy(x) + exy(x) + x2 + 1 0x1

y(0) = 1 , y(0) = 0 , y(0) = -1

Fazendo a mudana de variveis, obtemos:

y1(x) = y2(x)
y2(x) = y3(x) 0x1
y3(x) = xy2(x) + ex y1(x) + x2 + 1
y1(0) = 1, y2(0) = 0, y1(0) = -1
 Uso de computadores na
soluo de EDO
Um computador pode ser uma ferramenta extremamente til
no estudo de equaes diferenciais.

Algoritmos j esto sendo usados h muito tempo para

solucion-las como, por exemplo: o mtodo de Euler e o de
Runge-Kutta.

Alm disso, h excelentes pacotes (software) de soluo

numrica que podem ser aplicados a diversos problemas
matemticos. Exemplo: Matlab, Mapple, Mathematica, Scilab.
 Algumas questes
relevantes
Uma equao diferencial sempre tem soluo?
(existncia)
Quantas solues tem uma equao diferencial dada
que ela tem pelo menos uma? Que condies
adicionais devem ser especificadas para se obter
apenas uma nica soluo? (unicidade)
Dada uma ED, podemos determinar, de fato, uma
soluo? E, se for o caso, como?
 Equaes Diferenciais de
Primeira Ordem
A forma geral das equaes diferenciais ordinrias de
primeira ordem
dy/dx = f (x,y) (i)
Qualquer funo diferencial y = (t) que satisfaa essa
equao para todo t em um dado intervalo uma soluo
desta equao.
Exemplo: y = 2y + 3et
Sero estudadas trs subclasses de equaes de primeira
ordem: as equaes lineares; as separveis e as equaes
exatas.
Equaes Lineares

Se a funo f em (1) depende linearmente de y, ento ela

chamada de uma equao linear de primeira ordem. Um
exemplo com coeficientes constantes
dy/dt = - ay + b,
onde a e b so constantes dadas.
Substituindo os coeficientes a e b por funes em t, temos a
forma geral da equao linear de primeira ordem
dy/dt + p(t)y = g(t),
onde p e g so funes dadas da varivel independente t.
Equaes Lineares

Exemplo: Considere a equao diferencial

dy/dt + 2y = 3. Encontre sua soluo.
Soluo:
Temos que dy/dt = -2y + 3 ou dy/dt = -2
y - 3/2
ln |y - 3/2| = -2t + c
Logo,
y = 3/2 + ce- 2t
Se g(t) = 0, ento a equao dita equao linear homognea.
Fator integrante

Consiste em multiplicar a equao diferencial por uma

determinada funo (t) de modo que a equao resultante
seja facilmente integrvel.
Exemplo: Considere a equao dy/dt +2y = 3. Assim
podemos ter (t) dy/dt + 2 (t) y = 3 (t)
Vamos tentar encontrar (t) de modo que a expresso
anterior tenha a esquerda do sinal da igualdade a derivada
de (t) y.
Assim, d[ (t) y]/dt = (t) dy/dt + d (t)/dt y.
Fator integrante

Comparando com a equao anterior temos que as duas primeiras

parcelas so iguais e que as segundas podem ficar desde que (t)
seja tal que d (t) /dt = 2 (t)
Logo [d (t) /dt] / (t) = 2
Donde d [ln| (t)|] / dt = 2 O que nos leva ao resultado
ln |(t)| = 2t +c ou (t) = c e 2 t
que um fator integrante para a equao dada. Como no queremos
um caso mais geral, tomamos
(t) = e 2 t
Fator integrante

Logo, a equao dada, fica:

e 2 t dy/dt + 2 e 2 t y = 3 e 2 t
Ora, d (e 2 t y)/dt = 3 e 2 t
Ento e 2 t y = (3/2) e 2 t + c, donde y = (3/2) + c e - 2 t.
que a mesma soluo encontrada anteriormente.
Em vrias equaes pode-se ter fator integrante como
em dy/dt + ay = b, o fator ser (t) = ea t basta apenas
fazer as devidas substituies de a e b.
Fator integrante

Exemplo : Resolver a seguinte equao diferencial com condio

inicial
y ` + 2y = te 2t , y(1) = 0.
Soluo: Temos (t) = e 2 t
Logo e 2 t y` + 2y e 2 t = t
(e 2 t y)` = t
e 2 t y = (t2/2) + c. Aplicando a condio inicial, y(1) = 0,
Obtemos c = . E finalmente, a resposta
y = (e 2t/2) (t2 1)
Fator integrante

Escolha de (t)
dy/dt + p(t)y = g(t)
(t) [dy/dt] + (t) p(t)y = (t) g(t) o segundo termo do lado
esquerdo igual a derivada do primeiro
[d(t)] /dt = p(t) (t), supondo que (t) > 0
{[d(t)] /dt} / (t) = p(t) ento
ln (t) = p(t)dt + c, escolhendo c = 0, temos
(t) que a funo mais simples, ou seja,
(t) = exp [ p(t)dt] = e p(t)dt
Fator integrante

Exemplo: Seja dy/dt + y/2 = 2 + t.

Temos ento a = 1/2, logo (t) = e t /2.
Ento d[e t /2 y]/dt = 2 e t /2 + t e t /2.
Temos, integrando por partes,
e t /2 y = 4 e t / 2 + 2t e t /2 - 4 e t /2 + c,
Como c constante, temos
y = 2t + c e - t / 2
Equaes separveis

A equao geral de primeira ordem dy/dx = f(x,y) que pode ser

colocada na forma
M(x,y) + N(x,y)dy/dx = 0
Onde M(x,y) = - f(x,y) e N(x,y) = 1.
Porm se M depende apenas de x e N apenas de y, ela pode ser
escrita como
M(x) + N(y)dy/dx = 0.
Esta equao dita separvel, pois se for escrita na forma diferencial
Equaes separveis

M(x)dx + N(y)dy = 0
Ento as frmulas envolvendo cada varivel pode ser separada pelo
sinal da igualdade.
Exemplo: Considere a equao diferencial
y` = -2xy.
Ento podemos fazer y`/y = -2x e da
ln|y| = - x2 + c,
2 2
logo para cada c R temos duas solues:
y1 = e - x +c
e y2 = - e - x +c
Equaes exatas

Uma equao na forma M(x,y) + N(x,y) y` = 0 uma equao

exata em R (uma regio) se, e somente se,
My (x,y) = Nx (x,y) em cada ponto de R.
Exemplo: Verifique se a equao
(x2 + 4y)y` + (2xy + 1 ) = 0 exata.
Soluo: Neste caso, M(x,y) = 2xy +1 e
N(x,y) = x2 + 4y.
Logo My = 2x e Nx = 2x, donde My = Nx e consequentemente ela
exata.
Equaes exatas

Teorema 2.6.1: Suponha que as funes M, N, My, Nx so

contnuas na regio retangular
R: < x < e < y < . Ento a equao
M(x,y) + N(x,y)y` = 0 uma equao exata em R se, e
somente se, My(x,y) = Nx(x,y) (1) em cada ponto de
R. Isto , existe uma equao satisfazendo as equaes
x(x,y) = M(x,y), y(x,y) = N(x,y) se,
e somente se, M e N satisfazem a equao (1).
Equaes exatas

As vezes possvel transformar uma equao diferencial que no

exata em uma exata multiplicando-se a equao por um fator
integrante apropriado. Isto , determinar uma funo (x,y) tal que
(M)y = (N)x seja uma equao exata.
Exemplo: A equao xy` - y = 0 no exata.
Porm se multiplicarmos por 1/x2 = (x,y), temos
y`/x - y/x2 = 0 que exata.
Facilmente podemos ver que M(x,y) = - y/x2
N(x,y) = 1/x e que My = - 1/x2 = Nx
Equaes exatas
Exemplo: Resolva a seguinte equao diferencial
(3x2 2xy +2 ) dx + (6y2 - x2 + 3) dy = 0.
Soluo: Temos My(x,y) = -2x = Nx(x,y). Logo exata.
Assim existe uma (x, y) tal que
x (x, y) = 3x2 2xy +2 , y (x, y) = 6y2 - x2 + 3
Integrando a x (x, y), temos (x, y) = (3x2 2xy +2) dx
= x3 2 x2 y +2x + h(y).
Fazendo y = N, temos - x2 + h(y) = 6y2 - x2 + 3
h(y) = 6y2 + 3 donde h(y) = 2y3 + 3y e por fim
(x, y) = x3 2 x2 y +2x + 2y3 + 3y = c.
 Equaes exatas

Fatores integrantes para equaes exatas

Podemos multiplicar M(x,y) dx + N(x,y)dy = 0
por uma funo e depois tentar escolh-la de modo que a equao
resultante (x,y) M(x,y) dx + (x,y N(x,y)dy = 0 seja exata.
Sabemos que ela ser exata se, e somente se, (M)y = (N)x. Assim, ela
deve satisfazer a equao diferencial
M y - N x + (My Nx) = 0.
Vamos determinar as condies necessrias sobre M e N de modo que a
equao dada tenha um fator integrante dependendo apenas de x.
Equaes exatas
(M)y = (N)x, (Nx) = Nx + N[(d )/dx]
Logo, para que (M)y seja igual a (N)x, necessrio que
d )/dx = [(My Nx) / N] .
Se [(My Nx) / N] depende somente de x, ento existe um fator
integrante que depende apenas de x tambm.
Exemplo: Determine o fator integrante e resolva a seguinte equao
diferencial dx 2xydy = 0.
Soluo: Temos que M = 1 e N = 2xy.
Logo My = 0 e Nx = -2y e, como so diferentes, a equao dada
no exata.
Vamos ento determinar o fator que a torna exata.
Equaes exatas

Temos (My Nx ) / N = (0 + 2y) / (-2xy) = - 1 / x.

Logo (x,y) = exp (-1/x)dx = e lnx = 1/ x.
Assim temos dx /x = 2y dy
Donde dx /x = 2y dy
E conseqentemente ln|x| - y 2 + c = 0.
 Existncia e unicidade
de soluo

Teorema 2.4.1: (Existncia e Unicidade) Se as funes p e g so

contnuas em um intervalo aberto
I : < t < contendo o ponto t = t0, ento existe uma nica funo
y = (t) que satisfaz a equao diferencial
y` + p(t)y = g(t)
para cada t em I e que tambm satisfaz a condio inicial y(t 0) = y0,
onde y0 um valor inicial arbitrrio prescrito.
 Existncia e unicidade
de soluo
Exemplo: Determine um intervalo no qual a equao
ty` + 2y = 4t2 e y(1) = 2 tem uma nica soluo.
Soluo: y` + (2/t) y = 4t
Assim, p(t) = 2 / t e g(t) = 4t e consequentemente g(t)
contnua para todo t e p(t) contnua para t 0.
Logo, para t > 0 contm a condio inicial, dando o intervalo
procurado 0 < t < .
A soluo y = t 2 + 1 / t2 , t > 0.
 Existncia e unicidade
.

de soluo

Teorema: 2.4.2: Suponha que as funes f e f/y so contnuas em

um retngulo
<t< e < y < contendo o ponto (to, yo). Ento
em algum intervalo to h < t < to + h contido em < t < ,
Existe uma nica soluo y = (t) do problema de valor inicial y =
f(x,y) e y(to) = yo

Exemplo: Resolva o problema de valor inicial y = y 2

e y(0) = 1 e determine o intervalo no qual a soluo existe.
 Existncia e unicidade
de soluo

Soluo: Pelo teorema 2.4.2 temos f(x,y) = y2 e f/y = 2y

contnuas em todo ponto de R.
Logo a soluo dy/dt = y2 dy/ y2 = dt, logo
-y 1 = t + c e y = 1 / (t+c).
Como y(0) = 1, temos y = 1 / (1 - t) que a soluo.
Portanto a soluo existe apenas em - < t < 1.
 Referncias

HOPCROFT, J. E.; ULLMAN, J. D. Introduo Teoria de

Autmatos, Linguagens e Computao. Rio de Janeiro:
Campus, 2002.
MENEZES, P. F.; DIVRIO, T. A. Linguagens Formais e
Autmatos, Porto Alegre: Sagra-Luzzatto, 2001.
PAPADIMITRIOU, C. H.; LEWIS, H. F. Elementos de Teoria
da Computao. Porto Alegre: Bookman, 2000.
GERSTING, J. L. Fundamentos Matemticos para a
Cincia da Computao, Rio de Janeiro: LTC, 1995.