Integrale improprio di prima specie con la definizione

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).
#91290
avt
judd79
Cerchio
Studiare la convergenza del seguente integrale improprio di prima specie utilizzando la definizione

∫_0^(-∞)(2x-1)e^(-x)

Riferimento: tema d'esame 22/01/2016 esercizio numero 2 (parte seconda).
#91292
avt
Omega
Amministratore
Ci troviamo di fronte ad un integrale improprio di prima specie, come suggerito dagli stessi estremi di integrazione.

Di norma per studiare la convergenza degli integrali impropri si può procedere con una serie di considerazioni di natura qualitativa sull'integranda, e successivamente applicare uno dei criteri di convergenza per integrali impropri di prima specie.

Qui però abbiamo un'integranda piuttosto semplice, e soprattutto che ammette una primitiva esprimibile in termini di funzioni elementari. In parole povere possiamo calcolare esplicitamente l'integrale, dunque conviene procedere in questo modo.

∫_0^(-∞)(2x-1)e^(-x)dx

Riscriviamo l'integrale in accordo con la definizione di integrale improprio di prima specie

lim_(M → +∞)∫_0^(-M)(2x-1)e^(-x)dx

Abbiamo il prodotto tra un termine lineare ed un'esponenziale: la strada più ragionevole prevede di procedere con l'integrazione per parti.

Come derivata consideriamo e^(-x), una cui primitiva è -e^(-x); così facendo il termine lineare si ridurrà ad una costante post derivazione nel successivo integrale

lim_(M → +∞)[-e^(-x)(2x-1)|_0^(-M)-∫_0^(-M)(-e^(-x))·2dx]

Calcoletti e valutazione agli estremi per il primo termine

lim_(M → +∞)[-e^(M)(-2M-1)-(-1)·(-1)+2∫_0^(-M)e^(-x)dx]

Da cui (attenzione ai segni)

 lim_(M → +∞)[2Me^(M)+e^M-1+2(-e^(-x))_0^(-M)] = lim_(M → +∞)[2Me^(M)+e^M-1+2(-e^(M)+1)] = lim_(M → +∞)[2Me^(M)+e^M-1-2e^M+2] = lim_(M → +∞)[2Me^(M)-e^M+1] =

Ora, la costante additiva è ininfluente nei confronti degli infiniti coinvolti nella somma. Passiamo al limite equivalente

lim_(M → +∞)e^M[2M-1] = +∞

e ricaviamo facilmente che l'integrale diverge positivamente, perché ci siamo ridotti al prodotto tra due infiniti (algebra degli infiniti e degli infinitesimi).
Ringraziano: CarFaby
  • Pagina:
  • 1