Regola di de l'Hôpital

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 ${\frac {0}{0}}$ e ${\frac {\infty }{\infty }}$ ^[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.

Il teorema modifica

Siano $f,g:[a,b]\rightarrow \mathbb {R}$ due funzioni reali di variabile reale continue in $[a,b]$ e derivabili in $(a,b)$ eccetto al più in $x_{0}$ , con $-\infty \leq a<b\leq +\infty$ ; sia $g^{\prime }(x)$ diversa da $0$ per $x\not =x_{0}$ . Sia inoltre

\lim _{x\to x_{0}}{f(x)}=\lim _{x\to x_{0}}g(x)=0

oppure

\lim _{x\to x_{0}}{|f(x)|}=\lim _{x\to x_{0}}{|g(x)|}=\infty ,

ed esista

\lim _{x\to x_{0}}{\frac {f'(x)}{g'(x)}}=L\in \mathbb {\bar {R}}

.

Allora

\lim _{x\to x_{0}}{\frac {f(x)}{g(x)}}=L

.

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 $L$ di questo nuovo quoziente, allora esisterà anche il limite del quoziente originale e coinciderà con $L$ . 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.

Dimostrazione modifica

La dimostrazione usuale fa uso del teorema di Cauchy ed è soggetta a variazioni a seconda che $x_{0}$ e $L$ siano finiti o infiniti, che $f$ e $g$ 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.

Zero su zero modifica

Si considerino $x_{0}$ ed $L$ reali e $f(x)$ e $g(x)$ funzioni convergenti a zero per $x\to x_{0}$ .

Pertanto è possibile definire che sia $f(x_{0})=0$ e $g(x_{0})=0$ .

Questo implica la possibilità di considerare sia $f$ che $g$ continue in $x_{0}$ , senza per questo modificarne il limite (infatti, per definizione, il limite non dipende dalla valutazione nel punto $x_{0}$ ).

Poiché esiste $\lim _{x\to x_{0}}{\frac {f'(x)}{g'(x)}}$ , esiste un intervallo $(x_{0}-\delta ,x_{0}+\delta )$ tale che per ogni $x$ nell'intervallo, eccetto al più $x_{0}$ stesso, sia $f'(x)$ che $g'(x)$ esistono e $g'(x)\neq 0$ .

Se $x\in (x_{0},x_{0}+\delta )$ , si possono applicare sia il teorema di Rolle che il teorema di Cauchy sull'intervallo $[x_{0},x]$ (lo stesso vale, con argomentazioni simili, nell'intervallo $(x_{0}-\delta ,x_{0})$ ). Il teorema di Rolle implica che su tale intervallo sia $g(x)\neq 0$ (altrimenti esisterebbe $y\in (x_{0},x)$ con $g'(y)=0$ ). Il teorema di Cauchy asserisce che esiste un punto $\xi _{x}$ in $(x_{0},x)$ tale che

{\frac {f(x)-f(x_{0})}{g(x)-g(x_{0})}}={\frac {f(x)}{g(x)}}={\frac {f'(\xi _{x})}{g'(\xi _{x})}}.

Se $x$ tende a $x_{0}$ , allora $\xi _{x}<x$ tende a $x_{0}$ . Poiché $\displaystyle \lim _{x\to x_{0}}{\frac {f'(x)}{g'(x)}}$ esiste, segue che

\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)}}.

Infinito su infinito modifica

Si consideri $L$ finito, e $f$ e $g$ tendenti a $+\infty$ per $x\to c=+\infty$ .

Per ogni $\varepsilon >0$ , esiste $m$ tale che

\left|{\frac {f'(x)}{g'(x)}}-L\right|<\varepsilon \quad {\text{per }}x\geq m.

Il teorema del valor medio implica che se $x>m$ , allora $g(x)\neq g(m)$ (altrimenti esisterebbe $y\in (m,x)$ con $g'(y)=0$ ). Il teorema di Cauchy applicato all'intervallo $[m,x]$ garantisce che

\left|{\frac {f(x)-f(m)}{g(x)-g(m)}}-L\right|<\varepsilon \quad {\text{per }}x>m.

Poiché $f$ diverge a $+\infty$ , se $x$ è sufficientemente grande, allora $f(x)\neq f(m)$ . Dunque si potrà scrivere

{\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)}}.

Si consideri,

{\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}}

Per $x$ sufficientemente grande, questo è meno di qualunque $\varepsilon$ e dunque

{\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}}

Il che implica che: $\lim _{x\to +\infty }{\frac {f(x)}{g(x)}}=\lim _{x\to +\infty }{\frac {f'(x)}{g'(x)}}=L.$

Esempi modifica

Applicazioni singole modifica

Si consideri:

{\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}}

Applicazioni iterate modifica

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.

{\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}}

Per ogni $n>0$ intero, si ha che:

{\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}}

Altre forme di indeterminazione modifica

La regola di de l'Hopital può essere utile anche per trattare forme indeterminate del tipo $0\cdot \infty$ , in quanto queste si possono ricondurre facilmente alle due precedentemente considerate. Questo accade ad esempio per il limite

\lim _{x\to 0^{+}}x\ln x=0\cdot (-\infty )

;

infatti basta riscrivere:

{\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}}

Espedienti simili possono essere talvolta usati anche per altre forme di indeterminazione, come $1^{\infty }$ , $0^{0}$ , $\infty ^{0}$ e $+\infty -\infty$ . Ad esempio, per valutare un limite del tipo $+\infty -\infty$ , si può provare a riscrivere la differenza sotto forma di quoziente:

{\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}}

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 $\left[0^{0}\right]$ :

\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}.

Poiché la funzione esponenziale è continua infatti è possibile passare il limite all'esponente e quindi operare come nell'esempio riportato sopra per ottenere:

\lim _{x\to 0^{+}}x^{x}=e^{0}=1.

Corollario modifica

Una conseguenza semplice ma molto utile del teorema di de l'Hopital è un noto criterio di derivabilità, che esprime quanto segue: supponiamo che $f$ sia continua in $a$ , e che $f'(x)$ esista per ogni $x$ in qualche intervallo contenente $a$ , eccetto forse per $x=a$ . Supponiamo, inoltre, che $\lim _{x\rightarrow a}f'(x)$ esista finito. Allora $f'(a)$ anch'esso esiste, e

f'(a)=\lim _{x\rightarrow a}f'(x)

.

Dimostrazione modifica

È sufficiente considerare le funzioni $h(x)=f(x)-f(a)$ e $g(x)=x-a$ . La continuità di $f$ in $a$ ci dice che $\lim _{x\rightarrow a}h(x)=0$ ; ovviamente anche $\lim _{x\rightarrow a}g(x)=0$ , dato che una funzione polinomiale è sempre continua ovunque. Applicando la regola di de l'Hopital concludiamo che $f'(a):=\lim _{x\rightarrow a}{\frac {f(x)-f(a)}{x-a}}=\lim _{x\rightarrow a}{\frac {h(x)}{g(x)}}=\lim _{x\rightarrow a}f'(x)$ .

Note modifica

^ La forma " ${\frac {\infty }{\infty }}$ " è da leggersi: " ${\frac {+\infty }{+\infty }}$ oppure ${\frac {+\infty }{-\infty }}$ oppure ${\frac {-\infty }{+\infty }}$ oppure ${\frac {-\infty }{-\infty }}$ ". O con altra simbologia ${\frac {\pm \infty }{\pm \infty }}$ .