Ancora integrali impropri - Convergenza

Paolo902
Buonasera.

Problema. Si studi la convergenza dell'integrale
$int_0^(+oo) dx/sqrt(x-sinx)$.
[size=75](tratto da uno scritto di Analisi I dello scorso anno accademico, Torino)[/size]

Risoluzione. Comincio dicendo: il dominio della funzione è $x-sinx>0$, cioè $x>0$; inoltre, nel suo domino la funzione è sempre positiva. Deduco quindi che l'integrale è improprio sia a $+oo$ (intervallo di integrazione illimitato) sia a $0$, perchè in intorno destro di zero la funzione non è limitata: si vede subito che $lim_(x to 0^+) 1/sqrt(x-sinx)=+oo$.

Quindi, dico che, preso un $a$ reale strettamente positivo ho: $int_0^(+oo) dx/sqrt(x-sinx)=int_0^a dx/sqrt(x-sinx)+int_a^(+oo) dx/sqrt(x-sinx)$. Dirò che l'integrale di partenza converge se entrambi gli integrali in cui risulta essere spezzato convergono (prop. additiva degli estremi di integrazione).

Ora, noto che $sqrt(x-sinx)=o(sqrtx)$ per $x->0^+$: infatti, ho che $lim_(x to 0^+)sqrt(x-sinx)/sqrtx=0$. Da questo, si ha $forall epsilon, " " exists delta " tale che " 0|sqrt(x-sinx)/sqrtx|
In altre parole, fissato $epsilon$ esiste sempre un intorno destro di $0$ di raggio $delta$ per cui se $0
Studio ora $int_a^(+oo) 1/sqrt(x-sinx)dx$. Qui mi basta notare $sinx<=1$, per ogni $x$. Perciò, $x-sinx0$ posso estrarre la radice quadrata e prenderne gli inversi: $1/(sqrt(x-sinx))>1/sqrt(x+1)$. Ma l'integrale $int_a^(+oo )1/sqrt(x+1)dx$ stavolta diverge, per cui diverge anche il nostro.

Concludo quindi che l'integrale proposto diverge.

Bene, non dispongo della soluzione dell'esercizio, per cui non so se è giusto. Secondo voi, quanti errori? che cosa ho sbagliato? Vi va di aiutarmi a capire se ho fatto qualche errore? Vi ringrazio molto per la pazienza e la disponibilità.

:wink:

Risposte
gugo82
Di che ordine è l'infinito [tex]$\frac{1}{\sqrt{x-\sin x}}$[/tex] per [tex]$x\to 0^+$[/tex]?

Paolo902
"Gugo82":
Di che ordine è l'infinito [tex]$\frac{1}{\sqrt{x-\sin x}}$[/tex] per [tex]$x\to 0^+$[/tex]?


Ciao Gugo,

ecco, sapevo che tu (giuro proprio a te pensavo!) me lo avresti chiesto. Mi vergogno un po' :oops: a confessarlo, ma ho piantato su qualche casino con gli ordini di infinito e... in poche parole non riesco a determinarlo.

Prendiamo [tex]$\frac{1}{\sqrt{x-\sin x}}$[/tex]: per $x->0^+$ è un infinito. Ne determino l'ordine confrontando con il campione $1/|x|^alpha$. Tolgo subito il modulo tanto è positivo, per cui mi chiedo: per quale $alpha>0$ esiste finito e non-nullo il limite
$lim_(x to 0^+) (1/sqrt(x-sinx))/(1/(x)^alpha)= lim_(x to 0^+) x^alpha/sqrt(x-sinx)$?

Bene, io questo benedetto $alpha$ non l'ho trovato. Ho semplicemente osservato che se $alpha<=1/2$ il limite è infinito, mentre per $alpha>1/2$ ho una forma indeterminata $0/0$.

Chiamo il buon vecchio Taylor per telefono e gli chiedo se può venire a trovarmi? :-D :-D :-D
Che suggerisci di fare?

Thank you very much, come al solito. :wink:

gugo82
"Paolo90":
[quote="Gugo82"]Di che ordine è l'infinito [tex]$\frac{1}{\sqrt{x-\sin x}}$[/tex] per [tex]$x\to 0^+$[/tex]?

Chiamo il buon vecchio Taylor per telefono e gli chiedo se può venire a trovarmi? :-D[/quote]
Decisamente.

Ricorda che [tex]$\sin x =x-\frac{1}{6} x^3+\text{o}(x^3)$[/tex].

Paolo902
Ahhhh.

[tex]$x-\sin x =\frac{1}{6} x^3+\text{o}(x^3)$[/tex]. Perciò la mia funzione è $1/sqrt(1/6x^3+o(x^3))$. Concludo che l'ordine di infinito è $3/2>1$. Questo mi dice che l'integrale tra $(0,a]$ diverge.

Fin qui ci siamo?

Camillo
Certamente, diverge :D

gugo82
Già.
Quindi come vedi il problema non è solo in [tex]$+\infty$[/tex].

Tutto sommato l'esercizio era banale; non sembrava da prova d'esame.

Paolo902
Grazie mille Camillo.

Perfetto, quindi ho cannato in pieno ciò che ho scritto nel mio primo post. :cry: :cry:

Qualcuno sarebbe così gentile da dirmi, per piacere, che cosa non va nel ragionamento che ho fatto (prendo il limite e scrivo la definizioni, poi sfrutto le disuguaglianze...)?

Infine, abbiamo trovato che l'integrale tra $(0,a)$ diverge, quindi diverge anche il nostro. Però, per pura curiosità, che succede a $+oo$? E' giusto il ragionamento che ho fatto sopra?

Grazie.

Paolo902
Ah, scusa Gugo, non avevo letto.

Deduco quindi che anche a $+oo$ diverge, e forse il ragionamento che ho fatto è corretto.

Un'unica curiosità mi resta (come ho già detto): dov'è l'errore nel ragionamento che ho fatto all'inizio con la definizione di limite?

GRAZIE.

Camillo
Non è corretto da $ -epsilon sqrt(x) < sqrt(x-sin x) $
dedurre che
$1/(sqrt(x-sinx)) < -1/(epsilon sqrt(x))$
un numero positivo minore di uno negativo

Paolo902
Ah, vero. Brutto errore, mi era proprio sfuggito.

Grazie Camillo e grazie Gugo per le correzioni. :wink:

Paolo902
Riesumo questo (neanche troppo) vecchio post per proporre un altro studio su integrale improprio; spero sia giusto, lo posto per avere cortesemente una conferma da voi e perchè possa servire, chissà, a qualche altro utente nel momento del bisogno.

L'integrale è il seguente.[tex]$ \displaystile \int \frac{dx}{2-e^{3x}}$[/tex] che possiamo riscrivere come [tex]$\boxed{- \int \frac{dx}{e^{3x}-2}}$[/tex].

L'esercizio chiede dapprima di calcolare l'integrale indefinito. Questo si può fare facilmente mediante la sostituzione $e^(3x)=t$ che dà $x=1/3lnt$, da cui differenziando, $dx=1/(3t)dt$. L'integrale si risolve rapidamente scomponendo in fratti semplici l'espressione razionale che si ottiene e integrando per somma.

Il risultato, comunque, spero corretto, dovrebbe essere $\int \frac{dx}{2-e^{3x}}=1/2x-1/6ln|e^(3x)-2| + c$, con $c in RR$.

L'esercizio prosegue chiedendo se $\int_1^(+oo) \frac{dx}{2-e^{3x}}$ converge. Questo punto si può svolgere in due modi:

I modo (che insegna a usare il lavoro già fatto). Brutalmente, la primitiva generica (ce la siamo appena calcolata, perchè non usarla? :-D ) in $1$ è ben definita e vale una costante. Per sapere se l'integrale converge basterà calcolare il limite a $+oo$ di una generica primitiva. Se detto limite viene finito allora siamo a posto. E infatti,

$lim_(x to +oo) 1/2x-1/6ln|e^(3x)-2|=lim_(x to +oo) 1/2x-1/6ln(e^(3x)(1-2e^(-3x)))=lim_(x to +oo) -1/6ln(1-2e^(-3x))=0$

per cui possiamo affermare che l'integrale converge.
Se poi proprio vogliamo essere esaurienti possiamo anche dire quanto vale l'integrale su $(1,+oo)$:

$\int_1^(+oo) \frac{dx}{2-e^{3x}}=lim_(x to +oo) 1/2x-1/6ln(e^(3x)-2) - (1/2-1/6ln|e^(3)-2|)=-1/2+1/6ln(e^(3)-2)$.

II modo (più analitico, serio e veloce). Appurato che la funzione integranda è infinitesima per $x to + oo$ possiamo procedere così:
$-1/(e^(3x)-2) sim -1/e^(3x)=-e^(-3x)$ per $x to +oo$. Sappiamo (è un risultato noto) che $int_a^(+oo) e^(-3x)dx$ converge per cui anche il nostro converge.

Infine, l'ultima richiesta dell'esercizio riguarda la convergenza dell'integrale al finito, su $(0,1)$. Il problema, come abbiamo messo in evidenza all'inizio del post, non è nè in $0$ nè in $1$, ma in $x=1/3ln2$ (che è compreso tra $0$ e $1$) perchè in un intorno di questo punto la funzione non è limitata.

Qui conviene ragionare come segue. Vediamo che $lim_(x to 1/3ln2) -1/(e^(3x)-2)$ non esiste. Lavoriamo allora in un intorno sinistro del punto, per esempio, e poi facciamo considerazioni analoghe a destra.

$lim_(x to 1/3ln2^-) " " -1/(e^(3x)-2)=+oo$. La funzione è (ovviamente) un infinito per $x to 1/3ln2$: di che ordine? Se l'ordine di infinito è strettamente minore di $1$ allora l'integrale converge, altrimenti no.

A questo punto non è difficile da determinare l'ordine. Basta (ad esempio) un piccolo trucchetto: cambiamo variabile e scriviamo: $x-1/3ln2=t$. In questo modo $t to 0^-$ e confrontiamo con il campione $1/(-t)^alpha$.
Con qualche piccolo passaggio algebrico, otteniamo
$lim_(t to 0^-) " " - 1/2 (-t)^alpha/(e^(3t)-1)$ e, ricordando un limite notevole, si ha che se $alpha=1$ allora il limite esiste finito non nullo. Quindi l'ordine di infinito è $1$ e l'integrale diverge.

(ovviamente, analoghe considerazioni si potevano trarre dall'analisi del limite per $x to 1/3ln2$ della generica primitiva: si vede subito che viene $-oo$, ma preferivo questa volta procedere con la determinazione dell'ordine di infinito: mi pareva più "carino" e più istruttivo).

Che dite? Tutto giusto o ho preso qualche abbaglio? Vi ringrazio ancora per il consulto.
:wink:

gac1
Ma $(\log 2)/3 < 1$...

Paolo902
"gac":
Ma $(\log 2)/3 < 1$...


"Paolo90":
Il problema, come abbiamo messo in evidenza all'inizio del post, non è nè in $0$ nè in $1$, ma in $x=1/3ln2$ (che è compreso tra $0$ e $1$) perchè in un intorno di questo punto la funzione non è limitata.


Non ho capito.

Camillo
L'integrale è tra $1 $ e $+oo $ mentre $ln2/3<1 $ e quindi al difuori del campo di interesse. Penso gac volesse dire questo.

Paolo902
"Camillo":
L'integrale è tra $1 $ e $+oo $ mentre $ln2/3<1 $ e quindi al difuori del campo di interesse. Penso gac volesse dire questo.


Appunto.

Infatti, quella considerazione su $1/3ln2$ l'ho fatta dopo, in riferimento ad un altro punto dell'esercizio, che chiedeva di stabilire la convergenza o meno dell'integrale su $(0,1)$.

gac1
Ah scusa. Avevo letto solo $\int_1^{+\infty}$ quindi non capivo il motivo dello studio in $(\log 2)/3$.
Su $(0,1)$ hai concluso correttamente che l'integrale non converge.

Paolo902
"gac":
Ah scusa. Avevo letto solo $\int_1^{+\infty}$ quindi non capivo il motivo dello studio in $(\log 2)/3$.
Su $(0,1)$ hai concluso correttamente che l'integrale non converge.


Nessun problema, figurati; ti ringrazio molto per la conferma. Grazie.

:wink:

Camillo
Bisogna sempre leggere tutto : lo dico a me stesso :-)

Paolo902
"Camillo":
Bisogna sempre leggere tutto : lo dico a me stesso :-)


Ma è colpa mia: sono troppo prolisso, perdonatemi. :D

Grazie ancora.

gac1
Aggiungo un'osservazione, abbastanza banale ma che può essere utile.
Quando devi studiare la convergenza di un integrale del tipo $\int_a^b \frac{1}{f(x)} dx$, con $f:[a,b]\to RR$ derivabile che si annulla in un punto $x_0\in (a,b)$, se lo zero è "trasversale" (vale a dire se $f'(x_0) \ne 0$) allora l'ordine di infinito in $x_0$ è $1$ e l'integrale non converge.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.