Re: [obm-l] Somatorios de k^6 e de k^8

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Wed, Apr 07, 2004 at 03:27:00AM -0300, Rafael wrote:
> Perdoe-me, Nicolau, por n�o ter respondido t�o imediatamente � sua mensagem.
> Muito obrigado pelos seus coment�rios e, agora, pelos do Gugu e do Angelo.
> 
> Talvez, a minha falta de per�cia no assunto tenha me feito compreender algo
> errado do que li, mas pode ser que o autor n�o tenha sido t�o feliz na
> explica��o como voc�s foram.
> 
> Vejam:
> 
> http://pessoal.sercomtel.com.br/matematica/superior/zerozero/zero.htm

Sem poder dizer que alguma coisa na p�gina que voc� indicou esteja
propriamente errada, eu francamente n�o acho que o autor tenha sido,
como voc� disse, muito feliz. Ele menciona (corretamente) que se

lim_{x -> a} f(x) = 0
lim_{x -> a} g(x) = 0

ent�o nada podemos afirmar sobre o limite

lim_{x -> a} (f(x))^(g(x)) 

Mas isto n�o significa que 0^0 n�o esteja definido, conforme j� discutimos,
e eu acho que o texto gera uma certa confus�o neste sentido.

Quanto ao resultado que o Gugu enunciou, segue um enunciado e uma demonstra��o.

Sejam f e g fun��es anal�ticas definidas em vizinhan�as de raio r de 0
com f(0) = g(0) = 0. Suponha que f(x) > 0 para 0 < x < r.
Para 0 < x < r, defina h(x) = f(x)^g(x) = exp(g(x) log(f(x))).
A fun��o f admite uma s�rie de Taylor, donde existe um natural n
e constantes positivas C1 e C2 tais que 0 < x < r -> C1 x^n < f(x) < C2 x^n.
Assim 0 < x < r -> a1 + n log(x) < log(f(x)) < a2 + n log(x) onde ai = log(Ci).
Em particular, existe a tal que 0 < x < r -> |log(f(x))| < a + n |log(x)|. 
Por outro lado como g � anal�tica, existe uma constante positiva B
tal que 0 < x < r -> |g(x)| < B |x|. Assim, para 0 < x < r temos
 |g(x) log(f(x))| < aB |x| + nB |x| |log(x)|
Como lim_{x -> 0} x log(x) = 0, segue que
lim_{x -> 0} g(x) log(f(x)) = 0 donde lim_{x->0} h(x) = 1.

[]s, N.
=========================================================================
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
=========================================================================