Integrali impropri notevoli

Pronti per vedere una delle lezioni più importanti nel contesto degli integrali impropri? Qui di seguito elencheremo tutti i possibili integrali impropri notevoli (o integrali impropri fondamentali), che si riveleranno importantissimi nella risoluzione degli esercizi e soprattutto nello studio della convergenza.

In realtà considereremo dei casi particolari, ma fondamentali per lo studio del comportamento degli integrali impropri. Per poter affrontare con serenità questo argomento, studieremo cinque classi di integrali.

Tutti i risultati che seguono possono essere ricavati mediante le definizioni che abbiamo studiato nelle precedenti lezioni. Data la loro frequente ricorrenza nulla vi vieta di darli per buoni nella risoluzione degli esercizi, compresi quelli che affronterete in sede d'esame. Non spaventatevi se siete smemorati: il continuo esercizio li imprimerà nella vostra memoria; e se proprio non doveste ricordarli, rimboccatevi le maniche e a seconda dei casi procedete con:

- la definizione di integrale improprio di prima specie;

- la definizione di integrale improprio di seconda specie.

Tabella degli integrali impropri notevoli

Caso 1: integrali di potenze con intervallo di integrazione [0,α)

Sia α > 0. Allora

∫_(0)^(α)(1)/(x^p)dx → converge se p < 1 ; diverge se p ≥ 1

Possiamo generalizzare il precedente integrale con:

∫_(a)^(b)(1)/((x-a)^p)dx → converge se p < 1 ; diverge se p ≥ 1

Caso 2: integrali di potenze con intervallo di integrazione [α,+∞)

Sia α > 0. Allora:

∫_(α)^(+∞)(1)/(x^(p))dx → converge se p > 1 ; diverge se p ≤ 1

Caso 3: integrale improprio con potenza e logaritmo in [0,α) 

Sia 0 < α < 1. Allora

∫_(0)^(α)(1)/(x^(a)|ln(x)|^(b)) → converge se begincasesa < 1 ∀ b∈R ; a = 1 b > 1 ; diverge se a > 1 ∀ b∈R ; a = 1 b ≤ 1 endcases

Caso 4: Integrale improprio con potenza e logaritmo in [α,+∞)

Sia α > 1. Allora:

∫_(α)^(+∞)(1)/(x^(a)ln^(b)(x))dx → converge se begincasesa > 1 e b∈R ; oppure ; a = 1 e b > 1 ; diverge se a < 1 e b∈R ; oppure ; a = 1 e b ≤ 1 endcases

Caso 5: Integrale improprio con logaritmo in (1,α]

Sia α > 1. Allora:

∫_(1)^(α)(1)/(ln^(p)(x))dx → converge se p < 1 ; diverge se p ≥ 1

Integrali impropri notevoli e confronto asintotico

Abbiamo elencato i cosiddetti integrali impropri notevoli: ora riformuleremo il criterio del confronto asintotico che abbiamo visto nelle lezioni

- sui criteri di convergenza per integrali impropri di prima specie

- sui criteri di convergenza per integrali impropri di seconda specie

e vedremo come combinare i risultati della precedente tabella con il confronto asintotico. Vedrete che, in questo modo, potremo studiare la convergenza di tantissimi integrali impropri.

Caso 2 - Infinitesimo campione (1)/(x^(α))

Sia f:[a,+∞) → R una funzione continua strettamente positiva ed asintoticamente equivalente all'infinitesimo campione per x → +∞

f(x) ~ _(+∞)(1)/(x^(α))

allora:

∫_(a)^(+∞)f(x)dx converge ⇔ ∫_(a)^(+∞)(1)/(x^(α))dx converge ⇔ α > 1 

Esempio

Studiamo la convergenza dell'integrale improprio di prima specie

∫_(1)^(∞)(sin((1)/(x)))/(√(x))dx

La funzione integranda è positiva nel dominio di integrazione. Il limite notevole del seno in forma generale ci permette di scrivere la seguente equivalenza asintotica

sin((1)/(x)) ~ _(∞)(1)/(x)

da cui

(sin((1)/(x)))/(√(x)) ~ _(∞) (1)/(x√(x)) = (1)/(x^((3)/(2)))

La funzione integranda è asintoticamente equivalente a (1)/(x^((3)/(2))) e, poiché (3)/(2) > 1, concludiamo l'integrale converge. Sottolineamo ancora una volta l'importanza di conoscere bene i limiti notevoli.

Il precedente criterio può essere riformulanto anche nel caso in cui abbiamo a che fare con intervalli limitati, ma con funzioni illimitate in essi.

Caso 1 - Infinito campione (1)/((x-a)^(α))

Sia f:(a, b] → R una funzione a valori positivi ed asintoticamente equivalente all'infinito campione per x → a^+

f(x) ~ _(a^(+))(1)/((x-a)^(α))

Allora:

∫_(a)^(b)f(x)dx converge ⇔ ∫_(a)^(b)(1)/((x-a)^(α)) dx converge ⇔ α < 1

Naturalmente questo teorema può essere riscritto per l'estremo b, modificando ciò che deve essere modificato. ;)

Esempio

Studiamo il carattere dell'integrale improprio:

∫_(0)^(1)(sin(x))/(x√(x))dx

La funzione integranda è positiva nell'intervallo di integrazione e presenta un punto problematico in x = 0. Procediamo per stime asintotiche:

(sin(x))/(x√(x)) ~ _(0^+) (x)/(x√(x)) = (1)/(√(x))

La funzione integranda per x → 0^+ è asintoticamente equivalente alla funzione

(1)/(√(x)) = (1)/(x^((1)/(2)))

Poiché (1)/(2) < 1, ne consegue che l'integrale di partenza converge.

Osservazione fondamentale

In generale, per studiare un integrale improprio dovrete determinare la funzione asintotica dell'integranda. Se possibile, farete in modo che la funzione asintotica sia riconducibile a uno dei cinque casi elencati all'inizio di questo articolo. La difficoltà più grande risiede quindi nella ricerca della funzione asintotica all'integranda, ma se si conosce bene la teoria dei limiti, delle stime asintotiche e anche gli sviluppi in serie di Taylor potrete dormire sogni tranquilli. ;)

Esempio completo - convergenza di un integrale improprio misto

Portiamo ora un esempio un po' più elaborato dei precedenti: vogliamo studiare il comportamento dell'integrale improprio:

∫_(0)^(+∞)(1-cos(x))/(x^(2)ln(1+[3]√(x)))dx

La funzione integranda è positiva e presenta due punti problematici, uno dei quali è 0, l'altro è invece +∞. Spezziamo l'integrale come somma di integrali impropri. Consideriamo a tal proposito un punto c > 0

∫_(0)^(+∞)(1-cos(x))/(x^(2)ln(1+[3]√(x)))dx = ∫_(0)^(c)(1-cos(x))/(x^2ln(1+[3]√(x)))dx+∫_(c)^(∞)(1-cos(x))/(x^2ln(1+[3]√(x)))

Affrontiamo singolarmente i punti problematici. Il primo contributo consiste in un integrale improprio di seconda specie:

∫_(0)^(c)(1-cos(x))/(x^2ln(1+[3]√(x)))dx

Per x → 0^+ valgono le stime asintotiche

1-cos(x) ~ _(0)(x^2)/(2) ; ln(1+[3]√(x)) ~ _(0)[3]√(x)

pertanto

(1-cos(x))/(x^2ln(1+[3]√(x))) ~ _(0)((x^2)/(2))/(x^2[3]√(x)) = (1)/(2[3]√(x))

Poiché la funzione integranda ha lo stesso comportamento di (1)/(2x^((1)/(3))) allora ne consegue che

∫_(0)^(c)(1-cos(x))/(x^2ln(1+[3]√(x)))dx

converge.

Passiamo al secondo contributo, che consiste in un integrale improprio di prima specie:

∫_(c)^(∞)(1-cos(x))/(x^2ln(1+[3]√(x)))

e studiamo il comportamento dell'integranda per x → +∞. Facciamo un po' di lavoro di semplificazione ed affidiamoci al criterio del confronto per gli integrali impropri di prima specie (comportamento tipico quanto abbiamo a che fare con una funzione limitata quale è cos(x))

1-cos(x) ≤ 2 ∀ x∈ [c,+∞)

di conseguenza

∫_(c)^(+∞)(1-cos(x))/(x^2ln(1+[3]√(x)))dx ≤ ∫_(c)^(∞)(2)/(x^2ln(1+[3]√(x)))dx

Inoltre possiamo applicare un'immediata stima asintotica che discende dal limite notevole del logaritmo, oltre alle sempreverdi proprietà dei logaritmi

ln(1+[3]√(x)) ~ _(+∞)ln(x^((1)/(3))) = (1)/(3)ln(x)

e dunque

(2)/(x^2ln(1+[3]√(x))) ~ _(+∞) (6)/(x^2ln(x))

Poiché l'integrale

∫_(c)^(∞)(1)/(x^(2)ln(x))dx

converge (rientriamo nel caso 4), allora convergerà anche 

∫_(c)^(∞)(2)/(x^2ln(1+[3]√(x)))dx

e per il criterio del confronto converge pure

∫_(c)^(+∞)(1-cos(x))/(x^2ln(1+[3]√(x)))dx

Possiamo concludere che anche l'integrale di partenza converge perché somma di integrali convergenti.

Signore e signori, vii aspettiamo feroci e rapaci nella scheda correlata di esercizi risolti, nonché sul tool per studiare gli integrali impropri online. Se tutto ciò non bastasse, ricordate che YM è pieno zeppo di esercizi risolti e che potete trovare tutto quello che vi serve con la barra di ricerca interna. ;)

Buona Matematica a tutti!

Redazione di YouMath (Salvatore Zungri - Ifrit)

Lezione precedente.....Esercizi correlati.....Lezione successiva

Tags: integrali impropri notevoli, come utilizzare i criteri di convergenza con gli integrali impropri notevoli - come usare gli integrali impropri fondamentali per studiare la convergenza degli integrali impropri con il criterio del confronto asintotico.

Ultima modifica: