[¯|¯] Limiti di funzioni: quando la regola di De L'Hospital non è applicabile
Maggio 30th, 2018 | by Marcello Colozzo |
Sul gruppo facebook di matematica relativo a questo blog, un utente ha proposto il calcolo del seguente limite:

manifestamente equivalente a

Dopo aver mostrato che l'argomento del logaritmo converge a 1, si ha che tale limite si presenta nella forma indeterminata 0·oo. Riconducendo tale forma alla 0/0 e applicando la regola di De L'Hospital, il limite non viene calcolato in quanto si ripresenta la 0·oo. Un altro utente ha risolto applicando l'analisi matematica non standard. Dal momento che non conosco tale paradigma di calcolo, cercherò di applicare una qualche manipolazione in modo da rimuovere l'indeterminazione.
In realtà tale limite appartiene a una classe di limiti derivanti da

dove:
-
f1(x) diverge positivamente per x->x0:

- f2(x) converge a 1 per x->x0:

Abbiamo quindi la forma indeterminata:

che viene ricondotta alla 0·oo scrivendo:

dove

L'approccio usuale consiste nel convertire tale forma indeterminata nell'altra forma 0/0 per poi applicare la regola di De L'Hospital. Precisamente:

Riscriviamo

Tale procedimento non è rigoroso, poiché il teorema secondo cui il limite del prodotto di due funzioni è il prodotto dei limiti, può essere applicato se il prodotto è regolare in x0, cioè se è ivi dotato di limite. Tuttavia, proviamo ugualmente:

Se

il limite λ si presenta nella forma indeterminata oo/oo che può essere forzata con la regola di De L'Hospital. Ma il caso interessante è x0=+oo:

Evidentemente

Ne consegue che si presenta nuovamente la forma indeterminata 0·oo, giacché

Forziamo con De L'Hospital:

Ma

e così via se applichiamo nuovamente la predetta regola. Ne consegue che per il limite proposto, la regola di De L'Hospital fallisce. Bisogna, quindi, seguire altre strade che dipendono ovviamente dalle funzioni. Ad esempio:

per cui

che si risolve banalmente per confronto tra infiniti:

Consideriamo ora il caso proposto in precedenza:

Eseguiamo il cambio di variabile x=(1/t)

e

Quindi

Poniamo

osservando che l'argomento del logaritmo ha una discontinuità eliminabile in t=0, giacché:

possiamo prolungare per continuità la funzione g(t), ponendo g(0)=0. A questo punto possiamo sviluppare g(t) in serie di Mac Laurin troncata a un ordine opportuno:

Calcolando le derivate:

Segue, trascurando gli infinitesimi di ordine superiore al primo:

Sostienici
Tags: funzione, limite, regola di de l'hospital, sviluppo in serie
Articoli correlati


Congettura di Riemann
Trasformata discreta di Fourier
Trasformata di Fourier nel senso delle distribuzioni
Trasformata di Fourier
Infinitesimi ed infiniti
Limiti notevoli
Punti di discontinuità
Misura di Peano Jordan
Eserciziario sugli integrali
Differenziabilità
Differenziabilità (2)
Esercizi sui limiti
Appunti sulle derivate
Studio della funzione
Esercizi sugli integrali indefiniti
Algebra lineare
Analisi Matematica 2
Analisi funzionale
Entanglement quantistico
Spazio complesso
Biliardo di Novikov
Intro alla Meccanica quantistica
Entanglement Quantistico

By Salvatore on Set 13, 2019
Salve
è possibile pubblicare la risoluzione fatta con la NSA?
Grazie
By Marcello Colozzo on Set 13, 2019
chiederò a Sergio Casiraghi.... Stay tuned...
By SERGIO CASIRAGHI on Set 13, 2019
Caro Salvatore, ecco alla maniera della NSA come si procede. Tieni conto che st() è la parte standard dei numeri iperreali presenti nelle espressioni.
L=lim x*ln(2*(sqrt(x^2+3*x+3)-x-1)) for x->+inf
Riscrivo la richiesta:
L=st(x*ln(2*(sqrt(x^2+3*x+3)-x-1))) for st(x)=X=+inf
Posto y=1/x>0 per 0<x=1/y
L=st(ln(2*(sqrt(1/y^2+3/y+3)-1/y-1))/y) for st(y)=st(1/x)=0.
ln(2*(sqrt(1/y^2+3/y+3)-1/y-1))/y=ln(2*(sqrt(1+3y+3*y^2)/sqrt(y^2)-1/y-1))/y=
=ln(2*(sqrt(1+3y+3*y^2)/y-1/y-1))/y=ln(2*(sqrt(1+3y+3*y^2)-1-y)/y)/y.
L=st(ln(2*(sqrt(1+3y+3*y^2)-1-y)/y)/y) as st(y)=0.
Ora st(sqrt(1+3y+3*y^2))=st(1+(3y+3*y^2)/2-(3y+3*y^2)^2/8)=st(1+3/2y+3/2y^2-9/8*y^2)
per cui st(2*(sqrt(1+3/2y+3/2*y^2)-1-y))=2*st(1+3/2y+3/2*y^2-9/8*y^2-1-y)=2*st(y/2+3/8*y^2)=st(y+3/4*y^2)
L=st(ln(2*(sqrt(1+3y+3*y^2)-1-y)/y)/y)=st(ln((y+3/4*y^2)/y)/y)=st(ln(1+3/4*y)/y)=st(3/4*y/y)=3/4.
Grazie a Marcello per avermi proposto questo limite!
By Marcello Colozzo on Set 13, 2019
Grazie a te, Sergio...