Convergenza semplice e assoluta di serie parametriche a segni alterni

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
Questa sezione è un contenitore temporaneo per i topic speciali a pagamento (One-Shot)

Se hai acquistato uno o più Topic speciali, puoi pubblicarli qui cliccando su "Apri un Topic".

Il registro completo dei Topic risolti e in corso è disponibile sul proprio profilo.

Convergenza semplice e assoluta di serie parametriche a segni alterni #87984

avt
Kronoa
Cerchio
Salve, ho un problema con questo esercizio di esame di ingegneria sulle serie con parametro: si devono trovare i valori del parametro per cui le serie convergono e specificare la convergenza semplice e assoluta.

Σ_(n = 1)^(+∞) (-1)^n n^(-(a)/(n)) ; Σ_(n = 1)^(+∞) (-1)^n n^(-a-(1)/(n)) ; Σ_(n = 1)^(+∞) (-1)^n n^(-(n)/(a))

Magari se me lo potete spiegare nel modo più semplice possibile perché mi rimangono difficili le serie..

Vi ringrazio!
 
 

Convergenza semplice e assoluta di serie parametriche a segni alterni #88016

avt
Galois
Amministratore
Ciao Kronoa,

partiamo dalla prima e dalla terza serie numerica da te proposte che sono le più semplici.

1) Σ_(n = 1)^(+∞)(-1)^n n^(-(a)/(n))

Il termine generale della serie è a_n = n^(-(a)/(n)) che, in virtù dell'identità logaritmo-esponenziale, possiamo riscrivere come

a_n = n^(-(a)/(n)) = e^(ln(n^(-(a)/(n)))) = e^(-(a)/(n)ln(n))

dove nel secondo passaggio abbiamo usato le proprietà dei logaritmi.

Osserviamo ora che

lim_(n → +∞)[-(a)/(n)ln(n)] = 0

e, di conseguenza

lim_(n → +∞)e^(-(a)/(n)ln(n)) = e^0 = 1

Non essendo soddisfatta la condizione necessaria per la convergenza la serie 1) non può convergere.


Passiamo ora alla terza serie

3) Σ_(n = 1)^(+∞) (-1)^n n^(-(n)/(a))

Innanzitutto a deve essere diverso da zero, in quanto quantità presente a denominatore.

Distinguiamo quindi i due casi a > 0 e a < 0.

Per a < 0 il termine generale

a_n = n^(-(n)/(a)) tende a infinito per n → +∞ quindi la serie non converge (in quanto, come prima, non è soddisfatta la condizione necessaria per la convergenza).

Mentre, per a > 0 il termine generale è infinitesimo quindi, essendo soddisfatta la condizione necessaria di convergenza, possiamo procedere con lo studio della convergenza assoluta e, per farlo, procediamo con il criterio del confronto.

Essendo a ≠ 0, da un certo indice in poi

n^(-(n)/(a)) ≤ n^(-2)

convincersi di ciò non è difficile. Infatti a è un parametro positivo (un valore numerico fissato) mentre n varia da 1 a più infinito. Da un certo punto in poi accadrà quindi che

n > 2a

(per quanto possiamo assumere grande il valore del parametro a prima o poi ciò accadrà)

Di conseguenza n^(-(n)/(a)) ≤ n^(-2) e, poiché

Σ_(n = 1)^(∞)[n^(-2)]

converge (vedi serie armonica generalizzata), per il criterio del confronto convergerà assolutamente (e quindi semplicemente) anche la serie data.

Morale della favola, per quanto riguarda la serie 3) possiamo concludere che:

- non è definita per a = 0

- converge assolutamente per a > 0

- non converge per a < 0


2) Σ_(n = 1)^(+∞) (-1)^n n^(-a-(1)/(n))

La seconda serie è un po' più ostica rispetto alle altre, perché all'esponente abbiamo una somma/differenza e non un prodotto, quindi dobbiamo effettuare un'analisi più approfondita.

Per capire quali valori del parametro fungono da spartiacque possiamo riscrivere il termine generale mediante l'identità log-exp

(-1)^n n^(-a-(1)/(n)) = (-1)^ne^((-a-(1)/(n))log(n))

quindi ragioniamo su

(-1)^ne^((-a-(1)/(n))log(n))

Il primo strumento da usare è proprio la condizione necessaria di convergenza, senza la quale la serie non può convergere.

Riscriviamo ulteriormente il termine generale nella forma

(-1)^ne^(((-an-1)/(n))log(n))

Poiché il termine log(n) diverge all'infinito, è sufficiente che il termine

((-an-1)/(n))

sia positivo per avere un termine generale che diverge all'infinito. In tal caso avremmo infatti un'esponenziale con esponente divergente, dunque un termine generale che non converge a zero.

Poiché

(-an-1)/(n) ~ _(n → +∞)-a

Allora se -a > 0, ossia a < 0, concludiamo che la serie non converge perché non soddisfa la condizione necessaria per la convergenza di Cauchy.


Il valore successivo da prendere in considerazione per il parametro è a = 0, che ci conduce alla serie

Σ_(n = 1)^(+∞) (-1)^n n^(-(1)/(n))

Anche qui riscriviamo la serie nella forma

Σ_(n = 1)^(+∞) (-1)^n e^(-(1)/(n)log(n))

e a questo punto basta osservare, per confronto tra infiniti di successioni, che

lim_(n → +∞)(log(n))/(n) = 0

quindi il termine generale non converge a zero, dunque non è soddisfatta la condizione necessaria per la convergenza e la serie non converge.


Ci resta da considerare il caso a > 0

Σ_(n = 1)^(+∞)(-1)^nn^(-a-(1)/(n))

Qui l'esponente è certamente negativo, quindi conviene riscrivere la serie nella forma

Σ_(n = 1)^(+∞)(-1)^n(1)/(n^(a+(1)/(n)))

Studiamone la convergenza assoluta.

Σ_(n = 1)^(+∞)(1)/(n^(a+(1)/(n)))

Noi sappiamo che la serie armonica generalizzata

Σ_(n = 1)^(+∞)(1)/(n^a)

converge per qualsiasi a > 1. Dunque, se consideriamo a > 1, è evidente che

a+(1)/(n) > a ∀ n

e quindi la serie dei moduli converge per confronto con la serie armonica generalizzata ad esponente maggiore di 1.


Se 0 < a < 1

Σ_(n = 1)^(+∞)(-1)^n(1)/(n^(a+(1)/(n)))

lo studio della convergenza assoluta ci conduce al confronto con una serie armonica generalizzata divergente, ma il fatto che la serie non converga assolutamente non ci dà alcuna informazione riguardo alla convergenza semplice.

Per quest'ultima possiamo però ridurci al confronto con la serie armonica a segni alterni

Σ_(n = 1)^(+∞)(-1)^n(1)/(n^a)

che converge semplicemente per 0 < a < 1.

Nel nostro caso la serie converge semplicemente perché per n → +∞ risulta definitivamente che

0 < a+(1)/(n) < 1 quando 0 < a < 1


Infine, nel caso a = 1 abbiamo

Σ_(n = 1)^(+∞)(-1)^n(1)/(n^(1+(1)/(n)))

e qui conviene ricorrere nuovamente all'utilissima identità log-exp e riscrivere il termine generale nella forma

Σ_(n = 1)^(+∞)(-1)^n(1)/(e^((1+(1)/(n))log(n)))

ossia come

Σ_(n = 1)^(+∞)(-1)^n(1)/(e^(log(n)+(log(n))/(n)))

Per quanto riguarda la convergenza assoluta, possiamo dire che essa non sussiste perché il valore assoluto del termine generale soddisfa la seguente equivalenza asintotica per n → +∞

(1)/(e^(log(n)+(log(n))/(n))) ~ _(n → +∞)(1)/(e^(log(n))) = (1)/(n)

quindi la serie dei moduli si riduce per confronto asintotico alla serie armonica, che è divergente.

Riguardo alla convergenza semplice

Σ_(n = 1)^(+∞)(-1)^n(1)/(n^(1+(1)/(n)))

Possiamo usare il applicare il criterio di Leibniz, non prima di averla riscritta nella forma

Σ_(n = 1)^(+∞)(-1)^n(1)/(e^((1+(1)/(n))log(n)))

il termine

(1)/(e^((1+(1)/(n))log(n)))

è certamente infinitesimo in quanto asintotico a (1)/(n) (lo abbiamo visto un secondo fa).

Per dimostrare che è non crescente ti basta mostrare che è non decrescente

e^((1+(1)/(n))log(n))

ossia che è non decrescente

(1+(1)/(n))log(n)

e per farlo puoi ricorrere ad esempio allo studio della monotonia della funzione

f(x) = (1+(1)/(x))log(x)

per x > 0, mediante lo studio del segno della derivata.

In questo modo concluderai che la serie converge semplicemente per a = 1.
Ringraziano: Omega, CarFaby, asiabianchi, Kronoa

Re: Convergenza semplice e assoluta di serie parametriche a segni alterni #88034

avt
Kronoa
Cerchio
Ciao!

Scusami, non ho ben capito perché la serie 3) converge se a > 0 mentre se a < 0 diverge.

e^(-(n)/(a)log(n))

quando n tende a infinito abbiamo visto che il limite di a_n tende a infinito se a < 0 e la stessa cosa succede se a > 0.

Non ho capito perché quando a > 0 invece facciamo un confronto con n^(-2) e inoltre perché hai scelto proprio -2 come esponente...

Re: Convergenza semplice e assoluta di serie parametriche a segni alterni #88040

avt
Galois
Amministratore
Attenzione!

lim_(n → +∞) n^(-(n)/(a)) = +∞ se a < 0 ; 0 se a > 0

Infatti, grazie all'identità log-exp abbiamo che

n^(-(n)/(a)) = e^(ln(n^(-(n)/(a)))) = e^(-(n)/(a)ln(n))

e dunque dobbiamo risolvere

lim_(n → +∞)e^(-(n)/(a)ln(n))

Per n → +∞ indubbiamente ln(n) → +∞ mentre

-(n)/(a) = -(1)/(a)·n → +∞ se a < 0

-(n)/(a) = -(1)/(a)·n → -∞ se a > 0

Dunque, nel caso a < 0 l'esponente -(n)/(a)ln(n) tende a più infinito e di conseguenza

lim_(n → +∞)e^(-(n)/(a)ln(n)) = lim_(y → +∞)e^(y) = +∞

Invece per a > 0 l'esponente -(n)/(a)ln(n) tende a meno infinito, per cui

lim_(n → +∞)e^(-(n)/(a)ln(n)) = lim_(y → -∞)e^(y) = 0

-------------

Veniamo ora al secondo dubbio. Siamo di fronte ad una serie di termine generale a_n = n^(-(n)/(a)).

Per applicare il criterio del confronto (leggi la lezione che ti ho linkato) dobbiamo trovare una serie

Σ_(n = 1)^(+∞)b_n

convergente e tale che, definitivamente a_n ≤ b_n.

Ora, ricordando che siamo nel caso a > 0, definitivamente (ossia da un certo n in poi):

a_n = n^(-(n)/(a)) ≤ n^(c) = b_n per ogni c ≤ -1

(ti ho già fatto vedere come si dimostra intuitivamente. Per una dimostrazione rigorosa puoi procedere con il principio di induzione).

Ossia, possiamo prendere qualsiasi numero reale c minore o uguale di -1.. tranne, però, per -1. Infatti per c=-1

b_n = n^(-1) = -(1)/(n) e la serie

Σ_(n = 1)^(+∞)(1)/(n)

diverge positivamente e, di conseguenza, il criterio del confronto è inconcludente.

Cioè io ho considerato c=-2 ma nulla di vieta di prendere c=-3,-4,-5...
Ringraziano: Omega, CarFaby, Kronoa
  • Pagina:
  • 1
Os