Integrale improprio su [0,1] con parametro reale

Qualcuno mi mostrerebbe come studiare questo integrale improprio con parametro?

Determinare i valori del parametro β∈R per i quali il seguente integrale improprio risulti convergente

∫_(0)^(1)(e^(√(x))−1)/((1−cos(x))^(β))dx

Come posso gestire il coseno? Interviene qualche proprietà particolare? Grazie.

Domanda di povi
Soluzione

Consideriamo l'integrale improprio con parametro reale

∫_(0)^(1)(e^(√(x))−1)/((1−cos(x))^(β))dx

e chiamiamo f(x) la funzione integranda:

f(x) = (e^(√(x))−1)/((1−cos(x))^(β))

Essa è una funzione continua nell'intervallo limitato (0,1] perché composizione di funzioni continue.

In x = 0 f(x) presenta invece una singolarità, notiamo infatti che il denominatore si annulla per tale valore dunque siamo di fronte ad un integrale improprio di seconda specie.

Per rispondere al quesito, faremo uso del criterio del confronto asintotico per gli integrali impropri di seconda specie (per approfondire - criteri di convergenza per gli integrali impropri di seconda specie).

Cosa dobbiamo fare? Dobbiamo determinare una stima asintotica dell'integranda per x → 0, per cui è facile dire se l'integrale associato alla stima sia convergente o meno.

Abbiamo tracciato la strada maestra per risolvere l'esercizio, non ci resta che determinare una stima asintotica per f(x), stando attenti sia a come si presenta la funzione esponenziale, sia come si presenta la funzione coseno. Nulla? Ok, allora proviamo ad essere più espliciti.

Per x → 0 sussistono le seguenti equivalenze asintotiche:

e^(√(x))−1 ~ _(x → 0)√(x)

che deriva dal limite notevole dell'esponenziale, mentre

1−cos(x) ~ _(x → 0)(x^2)/(2)

che scaturisce dal limite notevole del coseno.

Le informazioni in nostro possesso ci permettono di costruire la seguente stima per f(x):

(e^(√(x))−1)/((1−cos(x))^(β)) ~ _(x → 0)(2√(x))/(x^(2β)) = (2)/(x^(2β−(1)/(2)))

È a questo punto che interviene il criterio del confronto asintotico, il quale assicura che l'integrale di partenza ha lo stesso carattere di

∫_(0)^(1)(2)/(x^(2β−(1)/(2)))dx

Esso è riconducibile ad un integrale improprio notevole di seconda specie che converge se e solo se l'esponente è minore di 1, cioè

2β−(1)/(2) < 1 ⇔ β < (3)/(4)

Abbiamo terminato! L'integrale improprio di partenza converge se e solo se β < (3)/(4)

Risposta di: Redazione di YouMath (Salvatore Zungri - Ifrit)
Ultima modifica:

Domande della categoria Università - Analisi Matematica
Esercizi simili e domande correlate