Limite con ... i puntini...

[Noisemaker]

[tex]\mbox{Calcolare il limite:}[/tex]

[tex]\displaystyle\lim_{n\to+\infty} \sqrt{2}\cdot\sqrt[4]2\cdot\sqrt[8]2\cdots\sqrt[(2^n)]2[/tex]

Riscriviamo il limite come segue:

[tex]\displaystyle\lim_{n\to+\infty} \sqrt{2}\cdot\sqrt[4]2\cdot\sqrt[8]2\cdots\sqrt[(2^n)]2 =[/tex][tex]\displaystyle\lim_{n\to+\infty} 2^{\frac{1}{2}}\cdot2^{\frac{1}{2^2}}\cdot2^{\frac{1}{2^3}}\cdot...\cdot2^{\frac{1}{2^n}}=[/tex] [tex]\displaystyle\lim_{n\to+\infty} 2^{\frac{1}{2}+\frac{1}{2^2}+\frac{1}{2^3}+\cdots+\frac{1}{2^n}}\
&= \lim_{n\to+\infty}2^{\sum_{k=1}^n \frac{1}{2^k}},[/tex]

e consideriamo allora il limite

[tex]\displaystyle\lim_{n\to+\infty}\sum_{k=1}^n \frac{1}{2^k}[/tex]

A questo punto consideriamo la serie geometrica:

[tex]\displaystyle\sum_{n=1}^\infty \frac{1}{2^n}.[/tex]

di ragione [tex]\displaystyle\frac{1}{2}<1.[/tex] Allora, sappiamo che, essendo la ragione minore di [tex]1[/tex], la serie converge ed ha per somma (cioè per limite):

[tex]\displaystyle S_n=\frac{\frac{1}{2}}{1-\frac{1}{2}}=1;[/tex]

allora possiamo concludere che li limite dato vale:

[tex]\displaystyle\lim_{n\to+\infty} \sqrt{2}\cdot\sqrt[4]2\cdot\sqrt[8]2\cdots\sqrt[(2^n)]2=2^1=2[/tex]


[tex]\mbox{Calcolare il limite:}[/tex]

[tex]\displaystyle\lim_{n\to+\infty}\left (1-\frac{1}{1+2}\right )\left (1-\frac{1}{1+2+3}\right )\left (1-\frac{1}{1+2+3+4}\right )\cdots[/tex] [tex]\displaystyle\left (1-\frac{1}{1+2+3+\cdots+n }\right )[/tex]


Scriviamo anzitutto il limite in forma compatta:

[tex]\displaystyle\lim_{n\to+\infty}\left (1-\frac{1}{1+2}\right )\left (1-\frac{1}{1+2+3}\right )\cdots[/tex] [tex]\displaystyle\left (1-\frac{1}{1+2+3+\cdots+n }\right )[/tex] [tex]\displaystyle=\prod_{k=1}^n \left (1-\frac{1}{1+2+3+\cdots+n }\right )[/tex] [tex]\displaystyle=\prod_{k=1}^n \left (1-\frac{2}{n(n+1)}\right ).[/tex]

dove naturalmente:

[tex]\displaystyle1+2+3+\cdots+n=\frac{n(n+1)}{2}[/tex]

Non avendo una somma finita di termini ma un prodotto finito di termini, non possiamo applicare direttamente la teoria delle serie; tuttavia, ricordando che la funzione logaritmo ''trasforma'' i prodotti in somme, ovvero

[tex]\displaystyle\log{(a\cdot b)}=\log{a}+\log{b}\quad \text{e generalizzando}\quad \log{(a_1\cdot a_2\cdots a_n)}[/tex] [tex]\displaystyle=\log a_1+ \log a_2\cdots \log a_n[/tex]

cioè in forma compatta:

[tex]\displaystyle\log{\prod_{k=1}^n a_k}=\sum_{k=1}^n\log{a_k};[/tex]

possiamo considerare il problema nel modo seguente: consideriamo la successione

[tex]\displaystyle x_n=\prod_{k=1}^n \left (1-\frac{2}{n(n+1)}\right ):[/tex]

si nota immediatamente che essa ha come minino [tex]0[/tex] e come [tex]\sup x_n=1:[/tex] dunque è limitata [tex]0\le x_n<1,[/tex] e assume sempre valori positivi: è lecito considerare

[tex]\displaystyle\ln x_n,\quad\mbox{per}\quad 0< x_n<1[/tex]

[tex]\displaystyle\ln x_n=\ln\prod_{k=1}^n \left (1-\frac{2}{n(n+1)}\right )=\sum_{k=1}^n\ln{\left (1-\frac{2}{n(n+1)}\right )}.[/tex]

A questo punto, studiamo la serie

[tex]\displaystyle\sum_{k=1}^\infty\ln{\left (1-\frac{2}{n(n+1)}\right )}\sim\sum_{k=1}^\infty\frac{-2}{n(n+1)}[/tex]

La serie è la serie di Mengoli, pertanto convergente alla somma [tex]-2.[/tex]

Allora, tornando al limite dato:

[tex]\displaystyle \lim_{n\to+\infty}\ln x_n= \lim_{n\to+\infty} -2\sum_{k=1}^n\frac{1}{n(n+1)}\to -2\quad\text{e dunque}\quad[/tex] [tex]\displaystyle \lim_{n\to+\infty}x_n= \lim_{n\to+\infty} e^{-2\sum_{k=1}^n\frac{1}{n(n+1)} }\to e^{-2}[/tex]

[Massimo Gobbino]

Occhio: il secondo non va bene! Quando dici che la serie con i logaritmi è equivalente alla Mengoli, dici una cosa giusta, ma da quello puoi solo dedurre che converge, senza poter dire nulla sulla sua somma.

P.S. Meglio sempre fare post separati per esercizi separati.

[Noisemaker]

ah... cavoli io ho sfruttato la della proprietà di linearità, cioè di addittività e omogeneità delle serie:

[tex]\displaystyle \mbox{se\,\,\,} c\in \mathbb{R} ,\,\, \displaystyle \sum_{n=0}^\infty a_n[/tex] [tex]\,\,\,\mbox{ una serie convergente ed ha per somma}\,\,\ S_a,\,\,\,[/tex] [tex]\mbox{allora anche la serie\,\,}[/tex] [tex]\displaystyle \sum_{n=0}^\infty c a_n\,\,\,\mbox{ \`e convergente e la sua somma \`e\,\,\,} cS_ a[/tex]

quindi sostanzialmente, con la strada che ho seguito, non sarei mai riuscito a calcolare il valore del limite, avrei soltanto potuto concludere che la successione converge , ma nulla di più?

[Massimo Gobbino]

Con un confronto asintotico si può dire che una serie si comporta come un'altra (cioè converge o diverge come quell'altra), ma si perde ogni informazione sull'eventuale valore al quale converge.

[Noisemaker]

quindi sono fregato!!!!!

[Massimo Gobbino]

[Noisemaker]

[Massimo Gobbino]

[Noisemaker]

[Massimo Gobbino]

Ma non convergeva la serie dei logaritmi?

[Noisemaker]

[Massimo Gobbino]

Uhm, una serie di roba negativa che converge a 0 puzza un po' ... guarda bene quali termini si cancellano e quali no ...

Se vuoi essere rigoroso, dunque sicuro, trova la formula esplicita per le somme parziali e dimostrala per induzione!