Teorema di De Hopital

Supponiamo di dover calcolare

e supponiamo che il limite si presenti come forma indeterminata del tipo: o .
Supponiamo inoltre che siano verificate queste tre ipotesi:

--> 1. Le funzioni

e sono derivabili in un intorno di (tranne eventualmente in )

--> 2.

nell'intorno di (tranne eventualmente in )

--> 3. Supponiamo che

del rapporto tra le derivate esista (finito o infinito)

Se è vero ciò allora il teorema ci garantisce che il limite che volevamo calcolare dà come risultato esattamente quello che si ottiene facendo il limite del rapporto tra le derivate sempre nello stesso punto

. Quindi:

Per fissare meglio le idee vediamo subito un esempio di come si utilizza concretamente il teorema. Per fare ciò proviamo a calcolarci:

Vediamo che se proviamo a sostituire

al posto della si convince subito che siamo in una forma indeterminata del tipo . Dunque:

A questo punto cerchiamo di capire se possiamo usare il teorema di Hopital. Per fare questo cosa dobbiamo controllare?

- In primis che le funzioni

e che sono rispettivamente quelle al numeratore e al denominatore della frazione che stiamo considerando, siano delle funzioni derivabili in un intorno in questo caso di ; ed effettivamente vedete che sia il seno di che la funzione sono funzioni continue derivabili dappertutto e quindi in particolare lo sono anche in un intorno di .

- La seconda cosa da controllare è che

nel nostro caso in un intorno di . Ed effettivamente se andiamo a calcolarci vedete che non ci sono problemi perché quella funzione lì in un intorno di è diversa da .

- Come terza cosa dobbiamo andarci a calcolare il limite per

che tende ad e del rapporto tra le derivate. Conoscendo già la derivata del denominatore, dobbiamo calcolarci la derivata del numeratore (la derivata di e ci si convince subito che questo limite esiste, infatti:

A questo punto essendo tutte e tre le ipotesi verificate possiamo applicare il teorema che ci garantisce che questi due limiti:

sono uguali tra loro e quindi il risultato che stavamo cercando, cioè il

, effettivamente è uguale a .

Per quanto riguarda le tre ipotesi, di solito la 1 e la 2 sono sempre verificate quindi non sono queste che di solito creano problemi nell'applicabilità del problema, viceversa è la 3 che in particolare bisogna testare tutte le volte perché quello che succede è che ogni tanto uno si fa il limite del rapporto tra le derivate e succede che o questo limite non esiste oppure è di nuovo una forma indeterminata.

COSE DA EVITARE!

1. Usare il teorema quando non si è in presenza di una forma indeterminata.

Esempio di possibili tentazioni:

e il caso possibile di sbaglio è quello di fare il limite delle loro derivate e quindi si ottiene:

Ecco questa cosa chiaramente non funziona, e non funziona perché il limite di partenza non dava luogo ad una forma indeterminata infatti se proviamo a fare un'analisi di sostituendo spudoratamente

vedete che al numeratore avremo e al denominatore terremo e quindi il risultato di questo limite è non è una forma indeterminata. Quindi:

2. Usare il teorema quando il limite del rapporto delle derivate non esiste.

Come possiamo osservare, non possiamo applicare il teorema di Hopital se il limite delle derivate non esiste. Quindi come andava risolto? L'idea giusta era quella di separare la frazione in due frazioni, quindi avremo avuto: