Terceira Atividade de ma311cde, ss2015

(1) Imagine que um carrinho segue ao longo de uma elipse com semi-eixo maior b e semi-eixo
menor a obedecendo `a equacao horaria x[t] = a Cos[t] e y[t] = b Sin[t]. Reparem que o eixo maior
esta ao longo do eixo y e que das equacoes e da relacao fundamental entre seno e cosseno, decorre
(x/a)2 + (y/b)2 = 1. A velocidade do carrinho e dada por x [t] = a Sin[t], y [t] = b Cos[t] e o

carrinho faz uma volta completa na elipse quando t vai de zero ate 2. Assim o comprimento da
tal elipse sera dado por
4

/2

p
(x [t])2 + (y [t])2 dt

Notamos que o foco desta elipse esta no ponto (0, f ) do eixo y, onde f =

b2 a2 . Dentro do

integrando fazemos uma pequena manipulacao algebrica, primeiro trocando Cos[t]2 por 1 Sin[t]2

e depois pondo b2 em evidencia

a2 (Sin[t])2 + b2 (Cos[t])2 = b2 (1 (f /b)2 (Sin[t])2 ) = b2 (1 e2 (Sin[t])2 )

onde e = f /b e a excentricidade da elipse, da o comprimento
4b

/2

1 e2 (Sin[t])2 dt = 4 b E[e, /2] ,

. . . pois e, a contrario da area, que para esta elipse tem a formula simples A = ab, o comprimento
envolve uma integral elptica de segunda especie, integral que nao sai com funcoes elementares.
Em geral, dado um par
ametro real k (0, 1), a integral elptica de segunda especie e definida por
E[k, ] =

. . . e a de primeira especie e dada por

F[k, ] =

p
1 k 2 (Sin[t])2 dt

dt
p

1 k 2 (Sin[t])2

A formula do perodo de um pendulo com haste rgida, sem fazermos a aproximacao de pequenos
angulos, depende do angulo inicial do qual o peso do pendulo e solto em repouso e, veremos nas
p
EDOs, e dado por T = 4 /g F[k, /2], onde e o tamanho da haste do pendulo, k = Sin[/2]

e g . . . ah, este vc sabe, ne? (alerta: as integrais elpticas ainda nao s

ao as chamadas funcoes

elpticas, estas estao relacionadas `aquelas, mas nao s

ao a mesma coisa). No mathematica a de
segunda especie e dada por EllipticE[k, ] e a de primeira por EllipticF[k, ], brinque com elas.
Neste exerccio voce vai usar a serie da binomial, paginas 182 e 183 do Edwards e Penney, para
expandir o integrando que define a integral elptica de segunda ordem, para obter
p

1 e2 (Sin[t])2 = 1

1 2 2
(1)(3) 4 4
(1)(3)(5) 6 6
e Sin [t]
e Sin [t]
e Sin [t] . . .
2
(2)(4)
(2)(4)(6)

Da vai integrar de zero a /2 para obter uma serie em potencias na excentricidade para o
comprimento da elipse, antes mostre que
Z

/2

2n 1
Sin [t]dt =
2n
2n

/2

Sin2n2 [t]dt =

(2n 1)(2n 3)...(3)(1)

2n(2n 2)...(4)(2)
2

Dica: Para obter a formula de recorrencia para a integral da potencia par do cosseno, considere
a integracao por partes

udv = u v

vdu

onde v = Sin[x] e u = Cosm1 [x], em seguida use a relacao fundamental na integral do lado
direito trocando Sin2 [x] por 1 Cos2 [x], ao final rearranje e divida a a formula por m . . . e faca

m = 2n. Usando a formula obtenha para o comprimento da elipse

"
#
2

2
2
1
(1)(3)
(1)(3)(5)
2
4
6
2b 1
e
e
e ...
2
(2)(4)
(2)(4)(6)

. . . lindo, ne? Faca experiencias com valores numericos no mathematica, analisando razoabilidade.
Estude a convergencia da serie de potencias obtida. Da para fazer praticamente a mesma coisa
com a integral de primeira especie para o perodo do pendulo.
#
"

2
2
2
p
(1)(3)
(1)(3)(5)
1
2
4
6
k +
k +
k ...
2 /g 1 +
2
(2)(4)
(2)(4)(6)
Onde, lembramos k = Sin[/2], sendo o angulo em que o peso partiu do repouso . . . bom, `as
favas como os pendulos, voltemos `as nossas elipses. Execute o comando do mathematica
ParametricPlot3D [{{Cos[t], Sin[t], u(5 + Sin[t])}, {1 + t, 0, u(5 + Sin[t])}}, {t, 0, 2}, {u, 0, 1} ]
. . . ou, se preferir, vista-se de samurai e corte um tapete enrolado com um golpe nao horizontal
de sua espada . . . e convenca-se de que para toda elipse exite uma senoide cujo grafico tem o
mesmo comprimento do que a elipse dada. Explique cada item do comando acima . . . e diga qual
o semi-eixo maior e qual a excentricidade da elipse que tem o mesmo comprimento do grafico da
senoide
y = A Sin[ t] ,
onde e a freq
uencia angular e A e a amplitude, t vai de zero a T = 2/ (lembre-se da formula
do comprimento de um grafico). Dica: execute outro comando no mathematica.
RegionPlot[And[0 y 2 , 0 z 5 + y], {y, 1, 3}, {z, 0, 7},

PlotPoints 50, PlotStyle Opacity[0.05]]

Para explicar a relacao entre , A e b, e, pedida mais acima, tambem entende-la melhor, espie este
corte do tapete, cortado pelo seu plano de simetria, que e aquele que contem o eixo maior, com
medida 2b, da elipse. Alem disso perceba que o di
ametro do cilindro produzido pelo enrolamento
do tapete e o eixo menor 2a da elipse gerada pelo corte, enquanto que a altura do tronco de
cilindro que sofreu o corte e 2f, a distancia interfocal . . . que havera neste universo ligando os
pendulos, as elipses . . . e os tapetes, desta forma?
(2) Faca o exerccio 40 da pagina 132 do EP, para tanto, pense na seq
uencia dos quocientes
qn = Fn+1 /Fn de dois n
umeros de Fibonacci seguidos, obtenha uma relacao de recorrencia entre
dois quocientes seguidos e proceda de forma parecida com o exerccio 39 para mostrar que se
o limite deste quociente existe, entao ele esta ligado `a razao aurea, como o exerccio pede (que
2

e razao aurea?). Escreva a fracao contnua, semelhante `a da figura do exerccio 47 da pagina

145 que representa o tal limite. Em seguida faca o exerccio 48 da pagina 195 do livro, que fala
de uma funcao, dada por serie de potencias de forma que os coeficientes das potencias s
ao os
n
umeros de Fibonacci. Interprete os produtos da funcao por x e x2 atraves dos efeitos que tais
produtos causam na serie, no seu indexador, isto ajuda a entender o exerccio. Qual e o raio de
convergencia desta serie?
(3) Faca oito dos exerccios que estao na lista que vai do 11 ao 32 na pagina 176. Use o mathematica, mas tente descobrir o argumento para convergencia ou divergencia. Quando o comando
Limit[Sum[an , {n, 1, k}], k ] encontrar uma soma nao muito estranha, tente voce entender o

motivo, usando a geometrica ou taylor.

(4) Faca quatro dos exerccios da lista que vai do 21 a 30 da pagina 186 do Edwards e Penney,
use o mathematica, para comparar o resultado como o obtido aplicando diretamente `a funcao o
comando Series[ ]. Trabalhe no projeto da pagina 187 e use o soft para desenhar as figuras que la
aparecem. Descubra se o soft tem a integral estudada implantada no sistema e faca experimentos.
Descubra na net qual a utilidade da funcao definida pela integral.