Re: Um estranho limite

["Ecass Dodebel" <ecassdodebel@xxxxxxxxxxx>]

Caro Carlos Gomes,

olha o que eu pensei sobre o que voce falou. Pegue uma sequencia infinita, 
x[0], x[1], x[2], ..., de modo que:

x[n + 1] = R ^ x[n]

Ainda nao vamos nos importar por quanto vale x[0] (no seu caso vale R). A 
suposicao que fazemos para calcular o limite de x[n] com n no infinito e':

lim(n->infinito) x[n] = x[n - 1] = R ^ x[n]

donde vem que

x[n] = R ^ x[n]         (n->infinito)

Agora, se supormos que x[n]=2 ou x[n]=4, acharemos para R o valor 2^(1/2). 
Por que dois valores para o mesmo R? Simples, pois depende do x[0] que 
escolhermos. � f�cil de verificar que se 0 < x[0] < 4 ent�o x[n]->2. Agora 
se x[0] = 4, vemos que x[0]=x[1]=x[2]=... e assim por diante, ent�o x[n]->4. 
J� para x[0]>4, o limite do x[n] tende para o infinito.
Obs. equivalente a dizer que R^R^...^R=2 e R^R^...^R^4=4 , onde os pontinhos 
representam infinitos "^R".

Eu cheguei a um resultado que nao sei provar bem, e'algo assim:

x[0] = R
x[n+1] = R ^ x[n]

Existe o lim(n->infinito) x[n] (quero dizer que ele e' finito) somente se R 
<= e^(1/e)  (onde esse "e" e' a base dos logaritmos naturais).

Eu tirei isso da curva x = R^x, que tera solucao so se o R<=e(1/e). E onde 
se R=e^(1/e) h� somente uma solu��o x, mas se R<e^(1/e) h� mais de uma, e s� 
uma � verdadeira para o x[0]=R. O fato � que sendo o R=e^(1/e), 
lim(n->infinito) x[n] = e, e esse e' o maior limite de x[n] que 
encontraremos; se pegarmos um R maior, o limite tende ao infinito, por isso 
y^y^y^... = 4 n�o tem solu��o y real.

Obrigado!
Eduardo Casagrande Stabel.


>From: Carlos Gomes <sebs@samnet.com.br>
>Reply-To: obm-l@mat.puc-rio.br
>To: "obm-l@mat.puc-rio.br" <obm-l@mat.puc-rio.br>
>Subject: Um estranho limite
>Date: Thu, 18 May 2000 00:03:52 -0300
>
>       Ol�, carps amigos, como vai tudo bem?. Estou enviando-lhes este
>e-mail para que ajude-me numa
>quest�o que est� engasgada a muito tempo aqui na minha garganta. Eis a
>quest�o:
>
> > Resolva as equa��es:
>
>     x^x^x^x^.... =2  e y^y^y^y^....=4 .
>
>Esta quest�o (principalmente a primeira equa��o) � bastante conhecida e
>usamos o fato que  x^x^x^x^.... =2 para obter
>x^2=2 e portanto x=sqtr(2) , por outro lado se usarmos o mesmo artif�cio
>na segunda equa��o temos que y^4=4 e portanto
>y=sqrt(2) o que gera um paradoxo sqtr(2) ^sqtr(2) ^sqtr(2) ^sqtr(2)
>^....=2=4 ??????????????????????????????????. � um
>fato bastente conhecido que ^sqtr(2) ^sqtr(2) ^sqtr(2) ^....=2 e n�o 4 ,
>pois tem a hist�ria da converg�ncia da s�rie. Eu j� li
>um artigo na RPM 26 ou 27 ,se n�o me engano, escrito pelo prof. Vicenzzo
>Bongiovanni sobre isto e tamb�m j� li no livro do
>Paul Halmos - Problems for Young and old mathematicians da MAA um artigo
>sobre isto, mas o grande problema � que
>em ambos artigos o intervalo de converg�ncia da s�rie n�o � demonstrado
>� apenas citado, Se eu n�o estou enganado ele
>afirma que a s�rie s� converge quando 0<x<e^(1/e). Como fa�o para
>mostrar isto? Voc�s poderiam citar alguma refer�ncia em que posso
>encontrar a discurss�o deste problema?. Muito grato pela vossa aten��o,
>um abra�o,
>Carlos A. Gomes -
>Natal/RN
>

________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com