Integrale improprio con parametro variabile da stabilire

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
#46651
avt
Satiro
Frattale

Ciao a tutti, ho un integrale improprio di cui devo studiare la convergenza al variare di un parametro

∫_(0)^(+∞)(x^3−sin(x^3))/(x^(α)(x^4+1))dx

chiede di stabilire per quali valori del parametro α esiste finito l'integrale qui sopra.

È la prima volta che mi capita un esercizio del genere, volevo provare a sostituire qualcosa ma non sapendo cosa sia alfa non riesco. Non posso nemmeno stabilire il grado del denominatore.

Ho pensato che indipendentemente dall'integrazione potremmo avere ancora a che fare con x^α, ero portato a dire quindi "per ogni α < 0 per ottenere un infinitesimo ma dubito fortemente che si possa risolvere a parole. XD

Mettere un esercizio simile con queste poche considerazioni fa sembrare che me ne stia approfittando, in tal caso se preferite datemi solo un indizio su cui lavorare emt non so proprio da dove partire. Grazie, ciao!

#46667
avt
Amministratore

Ok, dobbiamo controllare la convergenza dell'integrale:

∫_(0)^(∞)(x^3−sin(x^3))/(x^(α)(x^4+1))dx

che presenta problemi sia in 0 che in +∞. Con questi esercizi devi utilizzare il criterio asintotico per la convergenza degli integrali.

Negli intorni di 0 valgono le stime asintotiche:

sin(x^3) = x^3−(x^9)/(6)+o(x^9)

quindi il numeratore è asintotico a (x^9)/(6):

x^3−sin(x^3) ~ _(x → 0)(x^9)/(6)

Il denominatore invece:

x^(α)(x^4+1) ~ _(x → 0) x^(α)

La funzione integranda è di conseguenza asintotica a:

(x^3−sin(x^3))/(x^(α)(x^4+1)) ~ _(x → 0)(1)/(6x^(α−9))

Dalla teoria, sappiamo che l'integrale ∫_(0)^(a > 0)(1)/(x^(β))dx converge se e solo se l'esponente è minore di 1, quindi

∫_(0)^(a > 0)(1)/(6x^(α−9))dx

converge se α−9 < 1 ⇒ α < 10

Il primo problema è andato, α < 10 è la condizione di convergenza negli intorni di 0.

All'infinito invece:

x^3−sin(x^3) ~ _(x → ∞)x^3

mentre il denominatore:

x^(α)(x^4+1) ~ _(x → ∞)x^(4+α)

Possiamo asserire che:

(x^3−sin(x^3))/(x^(α)(x^4+1)) ~ _(x → ∞)(x^3)/(x^(α+4)) = (1)/(x^(α+1))

Dalla teoria sappiamo che gli integrali del tipo:

∫_(a > 0)^(∞) (1)/(x^(β))dx

convergono se e solo se l'esponente è maggiore di uno, β > 1.

conseguentemente:

∫_(a > 0)^(∞)(1)/(x^(α+1))dx

converge se α+1 > 1 ⇒ α > 0

Abbiamo ottenuto due condizioni, una per la convergenza negli intorni di zero, l'altra negli intorni di infinito, mettendole assieme, otterremo i valori di α in cui l'integrale di partenza è convergente:

0 < α < 10

Se hai dubbi chiedi emt

Ringraziano: Omega, Pi Greco, CarFaby, Mark_Knopfler
#46674
avt
Satiro
Frattale

Mmmm una soluzione stregonesca!

C'è solo una cosa che non ho capito ... "SOLO" .... Le stime asintotiche che hai fatto all'inizio di ognuna delle due fasi :( uffi sei uno stregone ammettilo! Rivelami il tuo magico segreto emt

#46675
avt
Ifrit
Amministratore

Le stime asintotiche in 0 sono parenti strettissimi dello sviluppo di Taylor emt

All'infinito invece ho ragionato in questo modo.

x^(α) ~ _(x → ∞)x^(α) (banalmente)

mentre:

x^4+1 ~ _(x → ∞)x^4 (trascuro 1 perché non è un infinito)

quindi per il denominatore vale:

x^(α)(x^4+1) ~ _(x → ∞) x^(α)·x^(4) = x^(α+4)

Per il numeratore invece:

x^3−sin(x^3) ~ _(x → ∞)x^3

perché sin(x^3) è una funzione limitata quindi trascurabile perché sommata dall'infinito x^3

E' fondamentale quindi conoscere per bene l'argomento "confronto tra infiniti"

Il mio segreto? Dopo un anno e mezzo di youmath in cui io ed Omega ci siamo trovati senza esagerare almeno 2000 esercizi in cui intervengono le stime asintotiche (vedi limiti, integrali impropri, serie numeriche, Taylor) ormai credo siano diventati il mio pane quotidiano emt

La parola chiave è l'esercizio! (e conoscere almeno le stime asintotiche più importanti... e Taylor! emt )

Ringraziano: Omega, Pi Greco, CarFaby
#46732
avt
Satiro
Frattale

Non riesco a capire come ottenere l'asintotico quando x->0 :(

#46742
avt
Ifrit
Amministratore

Orbene emt

Iniziamo con il numeratore. Abbiamo detto che:

sin(x^3) = x^3−(x^9)/(6)+o(x^9)

Per ottenere questo risultato, devi utilizzare lo sviluppo asintotico notevole del seno. Poiché

sin(t) = t−(t^3)/(6)+o(t^3)

allora sostituendo x^3 a t avremo appunto:

sin(x^3) = x^3−(x^9)/(6)+o(x^9)

La differenza

x^3−sin(x^3) ~ _(x → 0)x^3−x^3+(x^9)/(6) = (x^9)/(6)

E' fondamentale notare che se ci fossimo fermati al primo ordine nello sviluppo del seno non avremmo ottenuto una stima asintotica "significativa".

Veniamo al denominatore:

x^(α)(x^4+1) ~ _(x → 0)x^(α)

il termine x^4+1 non viene preso in considerazione perché non è un infinitesimo emt

Ringraziano: Omega, Pi Greco, CarFaby, wonkis, Mark_Knopfler
  • Pagina:
  • 1