[obm-l] Re: [obm-l] an�lise de fun��es

["Cl�udio \(Pr�tica\)" <claudio@xxxxxxxxxxxxxxxxxxxxxxx>]

> observe:
> y'(t)=a*y(t)
> Y'(t)/y(t)=a
>
> Pode-se afirmar que lny(t)=at + K, com K pertencente
> aos reais?Demonstre isso.
>
>
ln(y(t)) = at + K ==> y(t) = e^(at + K) = Ae^at, com A real > 0  (A = e^K).

Assim, y(t) = Ae^at satisfaz a equa��o diferencial y'(t) = a*y(t).

Resta provar que esta � a �nica solu��o:

Seja x(t) uma solu��o ==> x'(t) = a*x(t).

Considere u(t) = x(t)*e^(-at). Derivando em rela��o a t vem:
u'(t) = x'(t)*e^(-at) - a*x(t)*e^(-at)

Levando em conta que x'(t) = a*x(t), teremos:
u'(t) = a*x(t)*e^(-at) - a*x(t)*e^(-at) = 0  ==>
u(t) = b = constante  ==>
x(t)*e^(-at) = b ==>
x(t) = b*e^at ==>
ln(x(t)) = ln(b) + at = at + K1, onde K1 � uma constante real.

Logo, se x(t) � uma solu��o de x'(t) = a*x(t), ent�o necessariamente
ln(x(t)) tem a forma acima.

Um abra�o,
Claudio.

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista � <nicolau@mat.puc-rio.br>
=========================================================================