DINAMICA DE UMA FAMILIA DE EXPONENCIAIS No artigo De formulis exponentialibus replicats', Euler considera um problema Jc ge se proposto por Condorcet sobre a sucessio c°, ATRACTOR y--9sendo ¢ > 0, convencendo-se, a partir de varios exemplos e alguns célculos, de que esta sucessio converge se ¢ s6 sec € [€ J. que & que se passa quando ¢ > 0 est fora deste intervalo? E se c for complexo? Por razdes que o leitor entender em breve, a questéo sobre © comportamento assimptético destas sucessées de exponenciais esta relacionada com outra mais sim- ples: Para que valores reais de a,b > 0 se tem ab ="? A igualdade ¢ ébvia quando # = b. Para valores distin- tos de a e b, podemos listar alguns exemplos simples, como 3 > 1,852, FF <25%, ato dF >83, 856,28 > (ya, 2 > 2, <9, 2a a, Bs, 26 > 6, (VB) > (s)%F, (v2) > 1%, (V2 < 28, (v2)> < 3%, (v2)® > 9%%, mas nao se reconhece aqui tum padrio geral. Se, porém, reescrevermos a equacso = comoa'!* = b eesbocarmos o grifico da fungio x > 0 f(x) = x", teremos uma ideia aproximada dos valores da imagem de f que sdo obtidos mais do que uma vez (figura). Esta fungio tem um maximo global +”, atingido apenas em x=, € 6 estritamente creseente em ]0,e[ © estritamente decrescente em Je, +20[. Além disso, Tim, so: f() <0" © limy-s40 f(x) =1'. Logo, cada reta horizontal y = ccom 1 < ¢ < e' (es6 para estes va- lores de 6) interseta 0 grafico de fem dois pontos cujas abcissas determinam dois reais positivos distintos a ¢ hess Academe Seessrure F ake Petopolenae | (1778) 38-60 Figura 1. Grafico da fungao f [TRACTOR + Dindmica de uma Familia de Exponenciais aFigura 2. Trago da curva @ e 0 conjunto A. Hel) = 0, 21.8 Hela) =e", e=e!=1.44867 Figura 2. Orbitas de 1 por H. 04 GAZETA DE MATEMATICA « 1s)b tais que a'/* = 6", ou seja, ab =H, Para descrever 0 lugar geométrico de tais pares (a,b), usemos o feixe de retas y = tx com declive f ¢ R’ \ {1} como um radar para os detetar no 1” quadrante de R®, Para cada f, de- terminamos a intersegio das condigdes y= fx ex! = y* resolvendo em conjunto as equagées ¥/x = #ex"/* = y;as solugbes descrevem a curva a em (R°}*representada na figura 2 e parametrizada por PER \ (Ih (Fes) © traco de « 6 simétrico relativamente & bissetriz do 1° quadrante, uma vez que, se fixarmost > Oe o par corres- pondente (a,b) = (IY 1") de a, entdo 1/: determina © ponto (6,4) da mesma curva. Além disso, a(!} converge para (¢,e) quando ¢ tende para 1. Note-se ainda que as coordenacdlas dos pontos desta curva séo ambas estrita- mente maiores do que 1, propriedade que resulta de s6 surgirem tais pares com abeissas no subeonjunto [1,+29[ do dom{nio da fungio f Se ao traco de @ juntarmos a se- mireta {(a,a) :a R*}, obtemos o conjunto A de todos os pares (a,b) © (R* tais que a? = (0s dois ramos de A intersetam-se precisamente em (ee) e dividem (R' )? em quatro regides, em cada uma das quais o sinal da diferenga a — 6" se mantém cons- tante. Em particular, como a reta vertical x = ¢s6 inter- seta as regides em que este sinal positive, conclusmos que, para todo oD < x #¢,se tem e* > x (de que a desi- ualdade 6” > r€ talvez.o caso mais famoso). ‘A abeissa de cada ponto (a,b) do trago de « satis- fazendo ¢ ¢ tal que f(b) = BY" = c; se agora resolvermos a equagéo a com a ineégnita a € |1,e|, determinamos o outro valor do dominio de f,1< a ]1,e[ 6 a Fungo que a cada ¢ associa o limite da sucesso cé, oH, say terse g(f(a)) =a para todo oa € |iel € F(g(2) = cpara todo o ¢ © Nye'"(- Resta:nos confiemar ‘que, para estes valores de c, a sucessio ee“, ,.., con verge €0 limite esté em |1,¢. Analisemos na figura 3 0 comportamento da su- cossto cf, c, cya, para c> 0. Ksta sucessdo € a 6 bita de 1 pelo sistema dindmico gerado pela fungso Figura 4 Grifica de G e aractores de H YY ATRACTOR + Dindmica de uma Familiade Exponenciais 05,96 He: > R, H.(x) =, isto 6 a sucesso (HP(1)} pny sendo Hf = Ho H;0...0 He a composigSo de He consi go mesma 1 vezes, se n © N, e H® = fungdo identidade de R. Os iterados da fungéo H. sugerem (e 0 leitor pode ler uma demonstragio em []) que, no que respeita 20 comportamento assimptético da érbita de 1, 0 doménio I dos valores de ¢ se divide em trés re 1a a= od ] tais que, se ¢ se ¢ € Cy entdo a sucesso (HP'(1))p.ni, converge € 0 li- Cu entdo o limite de (HE(1))q.eniy € +09: fodos e a érbita de 234 Figura 5. Dy alguns para Hes rite 6 um ponto fixo de H., que pertence a |1, | quando © € ]1, &M[;se.c € Cz,entdoa sucessdo (HM(1))y cy, tem dois pontos de acumulagéo, fy = fy Je &= bio) que formam uma 6rbita periédica de He com perfodo 2 (isto 6, He(E1) = fo e He(a) = &). Bm particular, concluimos que a abcissa do ponto (a, b) do trago da curva a tal que b > e satisfaz a equagdo gt a= g(bt) =F A figura 4 mostra o grifico da Fungo inversa da restri- ho de fa [1/e,e) ou seja, de G:[t/e,e%"] > [ee] tal que G(c) = limite da sucesso ¢&, c, o,.., (e que coin- cide com g em [1,e""(). Como vimos, este grafico tam- bém descreve a variagdo do ponto fixo de HH, que esté no intervalo [/¢, para valores de c em [i/¢,e"" Jun tamos a esta imay © € ]0, Ye com ¢ dos pontos periédicos de perfodo 2 da funglo He que atraem a érbita de 1 A pergunia sobre a convergéncia da sucessio <, , cn pode colocar-se também para valores com- plexos de ¢ #0. Ultrapassada a dificuldade inicial de escolher um ramo do logaritmo, podemos analisar mm uma outra com o trago da curva » (E:(O,f2(€)) que descreve a variagio como anteriormente a érbita de 1 pela fungSo comple xa He: 2 eFHI0, Nas figuras 5 e 6, obtidas com um médulo interativo que o Atractor disponibiliza em [Il podem ver-se imagens aproximadas do conjunto M dos neimeros complexos ¢ # 0 tais que a érbita de 1 por He € limitada. Estas imagens sugerem vérias propriedades eM, algumas ainda por demonstrar. Por exemplo, des Figura 6, A esquerda: detalhe do retangulo direto de figura 5, A direita: Ampliacao do retangulo na figura ao ado.Figura 7, Detalhe da figura S, Figura 8 Amaliagao do retangulo da figura 7 tacam-se nele componentes (Di)cew tals que Dy agrupa REFERENCIAS, ‘0s valores de para os quais a sucesso cc“, c,.. tem [1] ltpi/tuna.atratorpthmatldinamica_exponenciais cexatamente k pontos de acumulagSo, que formam uma “Grbita periédica de periodo k por He. Nao se sabe se a unigo Upen Dy & densa no plano. JA 6 sécio da SPM? SS mi SOCIEDADE Ml PORTUGUESA DE MATEMATICA Conhega as vantagens e saiba como aderir em www.spm.pt ou através do nmero 217 939 785 Consuite também as condigdes para os sécios institucionais (Departamentos, Faculdades, ESES, Politécnicos, etc)