Studio della convergenza della serie di funzioni.

p.v.141
Buongiorno

Sto provando la convergenza della seguente serie di funzioni.

Studiare al variare di $a in R$ la seguente serie
$sum_(n=1)^(+infty)(sqrt(n+2)-sqrt(n))(arctan(1/n)-log(1+1/n))^a$


Primo passaggio verifico quando si la condizione necessaria.
Si ha
$(sqrt(n+2)-sqrt(n))(arctan(1/n)-log(1+1/n))^a=2/(sqrt(n+2)+sqrt(n))(arctan(1/n)-log(1+1/n))^a$

quindi, ponendo $a_n=2/(sqrt(n+2)+sqrt(n)), b_n=(arctan(1/n)-log(1+1/n))^a$
abbiamo che $a_n \to + 0$, e $b_n to (pi/2)^a$ quando $n to +infty$, pertanto, dall'algebra dei limiti, la condizione necessaria è verificata per ogni $a$ reale.


Secondo passaggio considero le seguenti maggiorazioni
1) $(sqrt(n+2)-sqrt(n))≤n+2-n=2$
2) $1/n$
3) $1+1/n$
quindi si ha
$(sqrt(n+2)-sqrt(n))(arctan(1/n)-log(1+1/n))^a≤2(1/n-(1+1/n))^a=2(-1)^a$

pertanto, ponendo $c=2(-1)^a$ si ha \(\displaystyle c=\begin{cases} 1, & \mbox{se }a=0 \\ -2, & \mbox{se }a\mbox{ dispari} \\ 2, & \mbox{se }a\mbox{ pari} \end{cases} \)


Dal criterio del confronto si ha che la serie data è convergente è ha per somma
\(\displaystyle S=\begin{cases} 1, & \mbox{se }a=0 \\ -2, & \mbox{se }a\mbox{ dispari} \\ 2, & \mbox{se }a\mbox{ pari} \end{cases} \)


Può andare bene ?

Ciao

Risposte
dissonance
Sei proprio sicuro o sicura di quel limite di \(b_n\)?

pilloeffe
Ciao p.v.14,

"p.v.14":
Può andare bene ?

No. Tanto per cominciare hai sbagliato il titolo dell'OP, infatti non si tratta di una serie di funzioni, ma di una serie numerica parametrica; poi perché l'hai studiata per $a$ intero, mentre invece l'esercizio richiede di studiare al variare di $a \in \RR $ la seguente serie:

$ \sum_{n = 1}^{+\infty}(sqrt(n+2)-sqrt(n))[arctan(1/n)-log(1+1/n)]^a = 2 \sum_{n = 1}^{+\infty}[arctan(1/n)-log(1+1/n)]^a/(sqrt(n+2)+sqrt(n)) $

Oltre a quanto ti ha già scritto dissonance, comincerei col verificare che la serie proposta non converge per $a = 0 $. Siccome poi $a \in \RR $, darei anche un'occhiata alla base per assicurarmi che sia sempre positiva... :wink:
In effetti ti è andata bene, perché studiando la derivata della funzione

$y = f(x) = arctan(1/x) - log(1 + 1/x) $

per $x > 0 $ si può scoprire facilmente che essa ha un massimo nel punto $M(1, y_M) $ ove $ y_M := arctan(1) - log(2) > 0 $
Poi è evidente che si ha $\lim_{x \to +\infty} f(x) = 0 $, pertanto l'asse $x$, cioè la retta di equazione $y = 0 $, è asintoto orizzontale per la funzione $f(x) $ e $\AA n \ge 1 $ si ha $0 < b_n < 1 $ ove $b_n := arctan(1/n) - log(1 + 1/n)$ e la serie proposta (che è a termini positivi) non converge per $a < 0 $. Ti resta da indagare cosa accade per $a > 0 $

p.v.141
Buonasera, grazie ad entrambi.

Cerco di essere più esplicitO possibile, cosi se scrivo stupidaggini mi fermate.

Rispondo per primo all'osservazione fatta da dissonance, dove, se fosse corretto il mio ragionamento dovrebbe dare un ulteriore conferma all'affermazione fatta da pilloeffe.


Parto da questa osservazione che segue dai limiti notevoli e dai relativi confronti

$arctan(1/n) ~ 1/n$, $log(1+1/n) ~ 1/n$ per $n to + infty$



Se $a=0$, allora $b_n$ è identicamente uguale a $1$, quindi, la C.N. non è verificata.
Se $a>0$, allora dall'algebra dei limiti, si ha $b_n ~ (1/n-1/n)^a=0$ per $n to + infty$
Se $a<0$, e tenuto conto del caso precedente, si ha
$(arctan(1/n) - log(1+1/n))^a=1/(arctan(1/n) - log(1+1/n))^(-a) to 1/0 to +infty$
per $n to + infty$, quindi, la C.N. non è verificata.


Dall'osservazione precedente, il caso di interesse è $a>0$. (Non capisco perché abbia distinto caso pari e dispari nel messaggio iniziale, tutta colpa di wikipedia e del piatto di pasta che stava chiamando :lol: :lol:, e oltre alla mia ignoranza )


Ora dovrei andare al punto successivo, dove le maggiorazioni dovrebbe continuare a valere, quindi, se tutto ha senso, si ha la convergenza della seria data.

La somma non è quella che ho detto.


Saluti

pilloeffe
Brevemente: non puoi fermarti al primo ordine nello sviluppo in serie, altrimenti hai una cancellazione!
Posto per comodità $u := 1/n $, sviluppando in serie si ha:

$arctan u - log(1 + u) = u^2/2 - (2u^3)/3 + O(u^4) $

Pertanto la serie proposta si comporta come la seguente:

$ \sum_{n = 1}^{+\infty} (\sqrt{n + 2} - \sqrt{n}) \cdot 1/(2^a n^{2a}) = 1/(2^a) \cdot \sum_{n = 1}^{+\infty} \sqrt{n}(\sqrt{1 + 2/n} - 1) \cdot 1/(n^{2a}) = $
$ = 1/(2^a) \cdot \sum_{n = 1}^{+\infty} (\sqrt{1 + 2/n} - 1) \cdot 1/(n^{2a - 1/2}) $

A questo punto, facendo uso del limite notevole $\lim_{t \to 0} ((1 +t)^p - 1)/t = p $ ove nel caso in esame $t := 2u = 2/n $ e $p = 1/2 $, dovresti riuscire a concludere... :wink:

p.v.141
Non capisco, perché le stime asintotiche non vanno bene ?

pilloeffe
Te l'ho già spiegato: perché c'è una differenza fra infinitesimi e si ha una cancellazione al primo ordine, quindi devi proseguire fino al secondo ordine per avere una stima corretta di quell'infinitesimo. La stima asintotica corretta è la seguente:

[tex]\arctan u - \log(1 + u) \sim \frac{u^2}{2}[/tex]

D'altronde, se il tuo ragionamento fosse corretto si avrebbe

$\lim_{u \to 0} (arctan u - log(1 + u))/(u^2) = 0 $

che invece è falso perché in realtà si ha:

$\lim_{u \to 0} (arctan u - log(1 + u))/(u^2) = 1/2 $

pilloeffe
Dato che è passata una settimana e l'OP non ha più risposto, mi accingo a completare l'esercizio, perché non vorrei che avesse erroneamente inteso che la serie proposta converga per $a > 0 $ (come pare dal suo penultimo post). Infatti dal limite notevole

"pilloeffe":
$ \lim_{t \to 0} ((1 +t)^p - 1)/t = p $ ove nel caso in esame $t := 2u = 2/n $ e $p = 1/2 $

si ottiene la stima asintotica seguente:

[tex]\bigg(\sqrt{1 + \frac{2}{n}} - 1 \bigg) \sim \frac{1}{n}[/tex]

Pertanto la serie proposta si comporta come la seguente:

$ 1/(2^a) \cdot \sum_{n = 1}^{+\infty} (1/n)/(n^{2a - 1/2}) = 1/(2^a) \cdot \sum_{n = 1}^{+\infty} 1/(n^{2a - 1/2 + 1}) $

L'ultima scritta è la serie armonica generalizzata, che converge se $ 2a - 1/2 + 1 > 1 \iff a > 1/4 $

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.