Convergenza di una serie con termine integrale e parametro

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 di una serie con termine integrale e parametro #83823

avt
Andrea.snooker
Punto
Gentili master!
Sono un giovane tutor di matematica e il professore mi ha detto di spiegare questo esercizio ai ragazzi. Volevo prima un vostro parere per cortesia. In bocca al lupo!

Σ_(n)^(+∞)n^α[e^(√(1+(1)/(n)))-e-(e)/(2n)][∫_(n)^((n^6+1)/(n^5+5))(t^3arctan(t))/(1+arctan(t))dt]
 
 

Convergenza di una serie con termine integrale e parametro #83825

avt
Omega
Amministratore
Ciao Andrea.Snooker emt

Per quanto il termine generale della serie sia orripilante, come vedremo tra poco l'utilizzo del criterio del confronto asintotico ci permetterà di ricondurci agevolmente ad una famiglia di serie ben note.

Σ_(n)^(+∞)n^α[e^(√(1+(1)/(n)))-e-(e)/(2n)][∫_(n)^((n^6+1)/(n^5+5))(t^3arctan(t))/(1+arctan(t))dt]

Dobbiamo ragionare fattore per fattore, ricordando che ci interessa il comportamento definitivo del termine generale, vale a dire da un certo n_0∈N.

Il primo fattore è n^(α), e non richiede un grande lavoro.

Il secondo fattore è

e^(√(1+(1)/(n)))-e-(e)/(2n)

e qui dobbiamo sporcarci un po' le mani, alla ricerca di una stima asintotica per la successione in esame. La strategia più conveniente prevede di ricorrere agli sviluppi di Taylor. Per inciso, della liceità e delle modalità di utilizzo degli sviluppi di Taylor-Mc Laurin con le successioni ne parliamo nella lezione del link.

La necessità dell'utilizzo di Taylor per determinare una stima asintotica, in particolare, nasce dal fatto che in

lim_(n → +∞)e^(√(1+(1)/(n)))-e-(e)/(2n)

ci troveremmo di fronte ad una differenza tra infinitesimi che coincidono al primo ordine. Questo perché, raccogliendo un fattore e tra i primi due termini

e(e^(√(1+(1)/(n))-1)-1)-(e)/(2n)

e considerando la stima asintotica del limite notevole della successione esponenziale, ci ritroveremmo con

e(e^(√(1+(1)/(n))-1)-1)-(e)/(2n) ~ _(n → +∞)e((1)/(2)·(1)/(n))-(e)/(2n)

Un'analisi al primo ordine di infinitesimo si rivela dunque insufficiente.

Consideriamo lo sviluppo del termine e^(√(1+(1)/(n))) al terzo ordine:

e^(√(1+(1)/(n))) = e+(e)/(2n)+(e)/(48n^3)+o(((1)/(n))^3)

Se posso permettermi un consiglio, insisti sulla necessità di uno sviluppo agli ordini superiori con gli studenti. emt

Ora riprendiamo l'intero fattore e deduciamo la stima asintotica

e^(√(1+(1)/(n)))-e-(e)/(2n) = e+(e)/(2n)+(e)/(48n^3)+o(((1)/(n))^3)-e-(e)/(2n)

in altri termini

e^(√(1+(1)/(n)))-e-(e)/(2n) ~ _(n → +∞)(e)/(48n^3)


Ok. È il momento del fattore

[∫_(n)^((n^6+1)/(n^5+5))(t^3arctan(t))/(1+arctan(t))dt]

è qui dobbiamo innanzitutto osservare (anche se si tratta di un'osservazione ininfluente) che definitivamente risulta che

(n^6+1)/(n^5+5) > n

per vederlo è sufficiente portare tutto al membro di sinistra e ricordare che n∈N è un numero naturale. Per essere pignoli dovremmo invertire gli estremi di integrazione e anteporre un segno meno all'integrale, ma poco importa... In fin dei conti ci importa l'andamento quantitativo del termine generale.

Ora la parte interessante: al tendere di n → +∞ abbiamo due fattori, nell'integranda

f(t) = (t^3arctan(t))/(1+arctan(t))

che si riducono asintoticamente ad una costante. Basta tenere conto del comportamento dell'arcotangente per n → +∞

f(t) = (t^3arctan(t))/(1+arctan(t)) ~ _(t → +∞)((π)/(2))/(1+(π)/(2))t^3

Quindi, a meno di un coefficiente, l'integranda è asintoticamente equivalente a

g(t) = t^3

In buona sostanza la precedente osservazione ci permette, a meno di un coefficiente, di considerare come equivalente asintotico del termine integrale l'integrale

[∫_(n)^((n^6+1)/(n^5+5))t^3dt]

Questo integrale è molto più abbordabile, possiamo addirittura determinarne il valore

[∫_(n)^((n^6+1)/(n^5+5))t^3dt] = [(t^4)/(4)]_(n)^((n^6+1)/(n^5+5)) =

un paio di conticini

= (((n^6+1)/(n^5+5))^4)/(4)-(n^4)/(4) ~ _(n → +∞)

Ricordiamoci che non dobbiamo fare un miliardo di conti. A noi interessa solamente una stima asintotica per n → +∞. In particolare possiamo limitarci a considerare gli infiniti di ordine superiore.

Qui gli infiniti di ordine superiore si cancellano nella differenza, per cui con un semplice conticino passiamo a considerare il più alto ordine rimanente. Ci ritroviamo così con l'infinitesimo equivalente

~ _(n → +∞)-(5)/(n)


Ok emt abbiamo finalmente tutti gli ingredienti. Il termine generale della serie

Σ_(n)^(+∞)n^α[e^(√(1+(1)/(n)))-e-(e)/(2n)][∫_(n)^((n^6+1)/(n^5+5))(t^3arctan(t))/(1+arctan(t))dt]

è asintoticamente equivalente, per n → +∞, a

n^(α)·(e)/(48n^3)·(-k)/(n) = tildek(1)/(n^(4-α))

dove in particolare ho inglobato tutti i coefficienti, irrilevanti ai fini della stima asintotica, in un unico coefficiente tildek.

Abbiamo finito, perché abbiamo ricondotto la serie alla serie armonica generalizzata, che converge se

4-α > 1

ossia α < 3.
Ringraziano: Ifrit, Galois, CarFaby, Andrea.snooker

Re: Convergenza di una serie con termine integrale e parametro #83871

avt
Andrea.snooker
Punto
Ciao! Non riesco a comprendere lo sviluppo dell'esponenziale, e anche l'equivalenza asintotica a (-5/n)...

Re: Convergenza di una serie con termine integrale e parametro #83876

avt
Omega
Amministratore
Si tratta di passaggi tutto sommato elementari, a fronte del livello previsto dall'esercizio. emt

In riferimento allo sviluppo, dobbiamo calcolare lo sviluppo di una funzione composta

f(x) = e^(√(1+x))

centrato in x = 0 al terzo ordine. Per riuscirvi dobbiamo comporre due sviluppi di Taylor

f(x) = g(h(x)) ; dove ; h(x) = (1+x)^((1)/(2)) con centro x = 0 ; g(x) = e^(x) con centro x = 1

entrambi al terzo ordine. Eventualmente all'occorrenza puoi servirti della tabella degli sviluppi di Taylor delle funzioni elementari

h(x) = 1+(x)/(2)-(x^2)/(8)+(x^3)/(16)+o(x^3) ; g(x) = e+e(x-1)+(e)/(2)(x-1)^2+(e)/(6)(x-1)^3+o(x-1)^3

Ora devi procedere per sostituzione

f(x) = e+e(1+(x)/(2)-(x^2)/(8)+(x^3)/(16)+o(x^3)-1)+;+(e)/(2)(1+(x)/(2)-(x^2)/(8)+(x^3)/(16)+o(x^3)-1)^2+;+(e)/(6)(1+(x)/(2)-(x^2)/(8)+(x^3)/(16)+o(x^3)-1)^3+;+o(1+(x)/(2)-(x^2)/(8)+(x^3)/(16)+o(x^3)-1)^3

nello sviluppo del quadrato e del cubo devi limitarti a considerare solo e solamente i termini con potenza non superiore a 3, dal momento che ci interessa uno sviluppo del terzo ordine. Tutti gli ordini successivi non devi nemmeno calcolarli e puoi inglobarli direttamente in un o(x^3).

Con un paio di semplici calcoli, ricaviamo

f(x) = e+(e)/(2)x-(e)/(8)x^2+(e)/(16)x^3+o(x^3)+;+(e)/(2)((x^2)/(4)-(x^3)/(8)+o(x^3))+;+(e)/(6)((x^3)/(8)+o(x^3)) ;+o(x^3)

ossia

f(x) = e+(e)/(2)x-(e)/(8)x^2+(e)/(16)x^3+o(x^3)+(e)/(8)x^2-(e)/(16)x^3+(e)/(48)x^3+o(x^3)

Semplificando i termini simili, rimane

f(x) = e+(e)/(2)x+(e)/(48)x^3+o(x^3)

A questo punto basta tornare alla successione

e^(√(1+(1)/(n))) = e+(e)/(2n)+(e)/(48n^3)+o(((1)/(n))^3)


In riferimento alla stima asintotica

(((n^6+1)/(n^5+5))^4)/(4)-(n^4)/(4) ~ _(n → +∞)-(5)/(n)

come ho anticipato, bastano un paio di conticini

((n^6+1)^4)/(4(n^5+5)^4)-(n^4)/(4) = ((n^6+1)^4-n^4(n^5+5)^4)/(4(n^5+5)^4) =

Se vuoi puoi sviluppare tutti i calcoli, aiutandoti con la regola per la potenza di un binomio

= (n^(24)+4n^(18)+6n^(12)+4n^6+1-n^4(n^(20)+20n^(15)+150n^(10)+500n^5+625))/(4(n^5+5)^4) ~ _(n → +∞)

a questo punto consideri solamente gli infiniti di ordine superiore e, dopo aver constatato che si cancellano, consideri anche gli infiniti inferiori immediatamente inferiori a numeratore

~ _(n → +∞)(n^(24)+4n^(18)-n^(24)-20n^(19))/(4n^(20)) ~ _(n → +∞)(-20n^(19))/(4n^(20)) = -(5)/(n)

Ti faccio notare che il passaggio dello sviluppo delle potenze è evitabile con un po' di furbizia, perché ci si può limitare a calcolare i termini di grado massimo ed i termini immediatamente inferiori, tralasciando tutto il resto.
Ringraziano: Ifrit, CarFaby

Re: Convergenza di una serie con termine integrale e parametro #83878

avt
Andrea.snooker
Punto
Ti scrivo meglio i miei dubbi: una volta trovata la derivata

-(e^(√(1+(1)/(n))))/(2 √(1+(1)/(n))n^(2))

per n tendente a più infinito come trovo lo sviluppo al primo ordine positivo e uguale a (e)/(2n) ?

Re: Convergenza di una serie con termine integrale e parametro #83879

avt
Omega
Amministratore
Non so se hai avuto modo di leggere la mia precedente risposta, ad ogni modo non devi proprio procedere con il calcolo della derivata come hai scritto. Anche perché non puoi derivare una funzione definita su un insieme discreto.

Devi procedere, per l'appunto, come ho indicato nella mia precedente risposta.
Ringraziano: Ifrit, CarFaby

Re: Convergenza di una serie con termine integrale e parametro #83881

avt
Andrea.snooker
Punto
Esatto, chiaro. Perché lo sviluppo dell'esponenziale è proprio centrato in x = 1?

Grazie per i chiarimenti

Re: Convergenza di una serie con termine integrale e parametro #83882

avt
Omega
Amministratore
Perché, per avere lo sviluppo complessivo, devi considerare l'immagine nel centro di sviluppo x_0 = 0 mediante la funzione h(x), che è per l'appunto

h(0) = √(1+0) = 1

Tale immagine è il centro di sviluppo per la seconda funzione in ordine di composizione, ossia g(x).

In questo modo lo sviluppo mediante composizione è coerente con lo sviluppo di f(x) in x = 0.
Ringraziano: Ifrit, CarFaby
  • Pagina:
  • 1
Os