Nell'analisi matematica la regola di Bernoulli-De l'Hôpital, o anche regola di De l'Hôpital, è un procedimento che permette di calcolare vari limiti di quozienti di funzioni reali di variabile reale che convergono a forme indeterminate delle forme
e
[1] con l'aiuto della derivata del numeratore e della derivata del denominatore. La regola si può estendere per cercare di calcolare limiti di funzioni appartenenti ad altre forme indeterminate.
La regola prende il nome da Guillaume François Antoine marchese de l'Hôpital oppure De l’Hospital (nome originario), matematico francese del XVII secolo, che la pubblicò per la prima volta nel suo libro Analyse des infiniment petits pour l'intelligence des lignes courbes (1696).
È stato in seguito provato che la regola è da attribuirsi a Johann Bernoulli, suo insegnante e corrispondente; di conseguenza viene talora chiamata regola di Bernoulli.
Siano
due funzioni reali di variabile reale continue in
e derivabili in
eccetto al più in
, con
; sia
diversa da
per
. Sia inoltre
oppure
![{\displaystyle \lim _{x\to x_{0}}{|f(x)|}=\lim _{x\to x_{0}}{|g(x)|}=\infty ,}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/ee063237d2b4fad85cbc94d82c977f7adc5aa7a9)
ed esista
.
Allora
.
Perciò, se si cerca un limite di un quoziente il cui numeratore e denominatore convergono entrambi a zero, oppure divergono entrambi ad infinito, può essere utile cercare di calcolare il quoziente delle derivate del numeratore e del denominatore. Se esiste il limite
di questo nuovo quoziente, allora esisterà anche il limite del quoziente originale e coinciderà con
. Se invece il nuovo quoziente a sua volta appartiene ad una forma indeterminata, si può ripetere l'operazione, cioè cercare di calcolare il limite del quoziente delle derivate seconde e così via.
L'eventuale non esistenza del limite del quoziente delle derivate comunque non implica la non esistenza del limite del quoziente originale.
La dimostrazione usuale fa uso del teorema di Cauchy ed è soggetta a variazioni a seconda che
e
siano finiti o infiniti, che
e
convergano a zero o ad infinito, e che i limiti in considerazione siano destri, sinistri o bilateri.
Tutte queste varianti seguono le due versioni principali qui sotto esposte, con opportune precisazioni, ma senza bisogno di introdurre nuovi ragionamenti. Inoltre è opportuno ricordare che ogni forma di indeterminazione del tipo "zero su zero" o "infinito su infinito" è riconducibile ciascuna all'altra; pertanto è sufficiente dimostrarne una delle due per ottenere automaticamente anche l'altra.
Si considerino
ed
reali e
e
funzioni convergenti a zero per
.
Pertanto è possibile definire che sia
e
.
Questo implica la possibilità di considerare sia
che
continue in
, senza per questo modificarne il limite (infatti, per definizione, il limite non dipende dalla valutazione nel punto
).
Poiché esiste
,
esiste un intervallo
tale che per ogni
nell'intervallo, eccetto al più
stesso, sia
che
esistono e
.
Se
, si possono applicare sia il teorema di Rolle che il teorema di Cauchy sull'intervallo
(lo stesso vale, con argomentazioni simili, nell'intervallo
).
Il teorema di Rolle implica che su tale intervallo sia
(altrimenti esisterebbe
con
).
Il teorema di Cauchy asserisce che esiste un punto
in
tale che
![{\displaystyle {\frac {f(x)-f(x_{0})}{g(x)-g(x_{0})}}={\frac {f(x)}{g(x)}}={\frac {f'(\xi _{x})}{g'(\xi _{x})}}.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/a4e77fad32b741d1eb9552aed26503bc244f4334)
Se
tende a
, allora
tende a
. Poiché
esiste, segue che
![{\displaystyle \lim _{x\to x_{0}}{\frac {f(x)}{g(x)}}=\lim _{x\to x_{0}}{\frac {f'(\xi _{x})}{g'(\xi _{x})}}=\lim _{x\to x_{0}}{\frac {f'(x)}{g'(x)}}.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/87a45691e64dc54fbf9e611349ee8b4cef498290)
Si consideri
finito, e
e
tendenti a
per
.
Per ogni
, esiste
tale che
![{\displaystyle \left|{\frac {f'(x)}{g'(x)}}-L\right|<\varepsilon \quad {\text{per }}x\geq m.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/1e3215a9bab4ae9f454f110bb181680551f58037)
Il teorema del valor medio implica che se
, allora
(altrimenti esisterebbe
con
). Il teorema di Cauchy applicato all'intervallo
garantisce che
![{\displaystyle \left|{\frac {f(x)-f(m)}{g(x)-g(m)}}-L\right|<\varepsilon \quad {\text{per }}x>m.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/41d15868850d77eb55948a80a6f969daa15db4df)
Poiché
diverge a
, se
è sufficientemente grande, allora
.
Dunque si potrà scrivere
![{\displaystyle {\frac {f(x)}{g(x)}}={\frac {f(x)-f(m)}{g(x)-g(m)}}\cdot {\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/06844afab5162f7b511803c018e3b25facd6a4d3)
Si consideri,
![{\displaystyle {\begin{aligned}\left|{\frac {f(x)}{g(x)}}-{\frac {f(x)-f(m)}{g(x)-g(m)}}\right|&=\\&=\left|{\frac {f(x)-f(m)}{g(x)-g(m)}}\cdot {\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}-{\frac {f(x)-f(m)}{g(x)-g(m)}}\right|\\&\leq \left|{\frac {f(x)-f(m)}{g(x)-g(m)}}\right|\left|{\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}-1\right|\\&<(|L|+\varepsilon )\left|{\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}-1\right|.\end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/6de01e27bd8c79e70c92345a3e5e130cfd665ca5)
Per
sufficientemente grande, questo è meno di qualunque
e dunque
![{\displaystyle {\begin{aligned}&\left|{\frac {f(x)}{g(x)}}-L\right|\leq \left|{\frac {f(x)}{g(x)}}-{\frac {f(x)-f(m)}{g(x)-g(m)}}+{\frac {f(x)-f(m)}{g(x)-g(m)}}-L\right|\leq \left|{\frac {f(x)}{g(x)}}-{\frac {f(x)-f(m)}{g(x)-g(m)}}\right|+\left|{\frac {f(x)-f(m)}{g(x)-g(m)}}-L\right|<2\varepsilon .\end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/003d6cb7c7674b49cab771ac8933402f98c4bd69)
Il che implica che:
Si consideri:
![{\displaystyle {\begin{aligned}\lim _{x\to +\infty }{\frac {\sqrt {x}}{\ln(x)}}{\overset {\text{l'Hopital}}{=}}\lim _{x\to +\infty }{\frac {\frac {1}{2{\sqrt {x}}}}{\frac {1}{x}}}=\lim _{x\to +\infty }{\frac {\sqrt {x}}{2}}=+\infty \end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/32d17aaf8496f902218b6a1ea4d2bf1c1e0e97ce)
Avendo a che fare con funzioni derivabili più volte ed avendo cura di verificare che le ipotesi del teorema siano valide ad ogni passaggio, sarà possibile applicare il teorema più volte, come nei casi qui sotto riportati.
![{\displaystyle {\begin{aligned}&\lim _{x\to 0}{\frac {e^{x}-e^{-x}-2x}{x-\operatorname {sen} (x)}}{\overset {\text{l'Hopital}}{=}}\lim _{x\to 0}{\frac {e^{x}-(-e^{-x})-2}{1-\operatorname {cos} (x)}}\\&{\overset {\text{l'Hopital}}{=}}\lim _{x\to 0}{\frac {e^{x}-e^{-x}}{\operatorname {sen} (x)}}{\overset {\text{l'Hopital}}{=}}\lim _{x\to 0}{\frac {e^{x}-(-e^{-x})}{\cos(x)}}\\&={\frac {e^{0}+e^{-0}}{\cos(0)}}={\frac {1+1}{1}}=2\end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/d0a161b8af3708c06acebbedf16d6b6828d22253)
Per ogni
intero, si ha che:
![{\displaystyle {\begin{aligned}&\lim _{x\to +\infty }{\frac {x^{n}}{e^{x}}}{\overset {\text{l'Hopital}}{=}}\lim _{x\to +\infty }{\frac {n\cdot x^{n-1}}{e^{x}}}\\&{\overset {\text{l'Hopital}}{=}}\lim _{x\to +\infty }{\frac {n\cdot (n-1)x^{n-2}}{e^{x}}}{\overset {\text{l'Hopital}}{=}}\ldots {\overset {\text{l'Hopital}}{=}}\lim _{x\to +\infty }{\frac {n!}{e^{x}}}=0\end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/9fa868932a10647d056442742048e4d6fb41bc7e)
La regola di de l'Hopital può essere utile anche per trattare forme indeterminate del tipo
, in quanto queste si possono ricondurre facilmente alle due precedentemente considerate. Questo accade ad esempio per il limite
;
infatti basta riscrivere:
![{\displaystyle {\begin{aligned}\lim _{x\to 0^{+}}x\ln x&=\lim _{x\to 0^{+}}{\frac {\ln x}{\frac {1}{x}}}={\frac {-\infty }{+\infty }}\\&{\overset {\text{l'Hopital}}{=}}\lim _{x\to 0^{+}}{\frac {\frac {1}{x}}{-{\frac {1}{x^{2}}}}}=\lim _{x\to 0^{+}}-x=0\\\end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/8d341ac3a6f4f0ad4270d44ee6b5b128ac4d5205)
Espedienti simili possono essere talvolta usati anche per altre forme di indeterminazione, come
,
,
e
.
Ad esempio, per valutare un limite del tipo
, si può provare a riscrivere la differenza sotto forma di quoziente:
![{\displaystyle {\begin{aligned}&\lim _{x\to 1}{\frac {x}{x-1}}-{\frac {1}{\ln x}}=\lim _{x\to 1}{\frac {x\ln x-x+1}{(x-1)\ln x}}\\&{\overset {\text{l'Hopital}}{=}}\lim _{x\to 1}{\frac {\ln x}{{\frac {x-1}{x}}+\ln x}}=\lim _{x\to 1}{\frac {x\ln x}{x-1+x\ln x}}\\&{\overset {\text{l'Hopital}}{=}}\lim _{x\to 1}{\frac {1+\ln x}{2+\ln x}}={\frac {1}{2}},\end{aligned}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/aafa49a44e97f34f123a5378643775ee158332d6)
La regola di de l'Hôpital si può utilizzare anche per valutare forme indeterminate che coinvolgono le potenze usando i logaritmi per spostare la forma indeterminata da un esponenziale ad un prodotto. In questo esempio si considera una forma indeterminata del tipo
:
![{\displaystyle \lim _{x\to 0^{+}}x^{x}=\lim _{x\to 0^{+}}e^{\ln x^{x}}=\lim _{x\to 0^{+}}e^{x\ln x}=e^{\lim \limits _{x\to 0^{+}}x\ln x}.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/088d9a4498749ae45f627c166241a7c0cd176cf9)
Poiché la funzione esponenziale è continua infatti è possibile passare il limite all'esponente e quindi operare come nell'esempio riportato sopra per ottenere:
![{\displaystyle \lim _{x\to 0^{+}}x^{x}=e^{0}=1.}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/126ca3927c784b0db806dd639d7cb584b869749a)
Una conseguenza semplice ma molto utile del teorema di de l'Hopital è un noto criterio di derivabilità, che esprime quanto segue:
supponiamo che
sia continua in
, e che
esista per ogni
in qualche intervallo contenente
, eccetto forse per
. Supponiamo, inoltre, che
esista finito. Allora
anch'esso esiste, e
.
È sufficiente considerare le funzioni
e
. La continuità di
in
ci dice che
; ovviamente anche
, dato che una funzione polinomiale è sempre continua ovunque. Applicando la regola di de l'Hopital concludiamo che
.
- ^ La forma "
" è da leggersi: "
oppure
oppure
oppure
". O con altra simbologia
.