Regel van l'Hôpital

De regel van l'Hôpital is een stelling in de wiskunde die kan worden gebruikt bij het berekenen van de limiet van het quotiënt van twee functies door middel van hun afgeleiden. De regel is genoemd naar de Franse wiskundige Guillaume de l'Hôpital (1661–1704), die de regel als eerste publiceerde in zijn boek L'Analyse des infiniment petits pour l'intelligence des lignes courbes; dit terwijl de regel waarschijnlijk als eerste is ontdekt door Johann Bernoulli.

De regel is speciaal van toepassing als de limieten van elk van de functies, bij dezelfde waarde van het argument, zodanige waarden hebben dat het quotiënt onbepaald is.

Formulering van de regel

Als voor twee differentieerbare functies $f$ en $g$ en een getal $a$ voldaan is aan een van de voorwaarden:

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

of

$\lim _{x\to a}{|f(x)|}=\lim _{x\to a}{|g(x)|}=\infty$,

geldt

$\lim _{x\to a}{f(x) \over g(x)}=\lim _{x\to a}{f'(x) \over g'(x)}$

mits de limiet in het rechterlid bestaat.

Door toepassing van deze regel kunnen onbepaaldheden van de vorm $0/0$ en $\infty /\infty$ mogelijk opgelost worden.

Bewijs

Zij:

• $f(a)=g(a)=0\left({\mbox{ of }}\lim _{x\to a}{f(x)}=\pm \infty \land \lim _{x\to a}{g(x)}=\pm \infty \right)$,

• $\forall x\in \mathbb {I} \backslash \{a\}:g(x)\neq 0\left(\mathbb {I} =\left]b,c\right[;a\in \mathbb {I} \right)$,

• $f'(a),g'(a)\in \mathbb {R} ;g'(a)\neq 0$

Dan geldt:

${\frac {f(x)}{g(x)}}={\frac {f(x)-f(a)}{g(x)-g(a)}}\Leftrightarrow {\frac {f(x)}{g(x)}}={\frac {\left({\frac {f(x)-f(a)}{x-a}}\right)}{\left({\frac {g(x)-g(a)}{x-a}}\right)}}$,

zodat

$\lim _{x\to a}{\frac {f(x)}{g(x)}}={\frac {\lim \limits _{x\to a}{\left[{\frac {f(x)-f(a)}{x-a}}\right]}}{\lim \limits _{x\to a}{\left[{\frac {g(x)-g(a)}{x-a}}\right]}}}={\frac {f'(a)}{g'(a)}}$

Precieze formulering

Laat $I=(b,a)$ een niet-leeg open interval zijn en$f,\,g:I\to \mathbb {R}$ twee differentieerbare functies waarvoor de linkerlimieten $\lim _{x\uparrow a}f(x)$ en $\lim _{x\uparrow a}g(x)$ beide bestaan en gelijk zijn aan 0, of beide divergeren naar $\pm \infty$.

Als $g'(x)\neq 0$ voor alle $x\in I$ en

$\lim _{x\uparrow a}{\frac {f'(x)}{g'(x)}}$

bestaat of divergeert naar $\pm \infty$, dan bestaat ook

$\lim _{x\uparrow a}{\frac {f(x)}{g(x)}}$

of divergeert naar $\pm \infty$

Analoge resultaten gelden voor een interval $I=(a,b)$ en rechterlimieten, en voor $a=\pm \infty$

Als $I$ een echte deelverzameling is van een open interval waarop aan de genoemde voorwaarden voldaan is, dan geldt in het bijzonder:

$\lim _{x\to a}{\frac {f'(x)}{g'(x)}}=c\ \Rightarrow \ \lim _{x\to a}{\frac {f(x)}{g(x)}}=c$

Voorbeelden

In de onderstaande limiet gaan zowel teller als noemer naar 0. Met de regel van l'Hôpital blijkt:

$\lim _{x\to 0}{\frac {e^{x}-1}{x^{2}+x}}=\lim _{x\to 0}{\frac {e^{x}}{2x+1}}=1$

In het volgende voorbeeld gaan zowel teller als noemer naar $\infty$. Met de regel van l'Hôpital blijkt:

$\lim _{x\to \infty }{\frac {\sqrt {x}}{\ln(x)}}=\lim _{x\to \infty }{\frac {1/(2{\sqrt {x}})}{1/x}}=\lim _{x\to \infty }{\frac {\sqrt {x}}{2}}=\infty$

De breukmethode (de onbepaaldheid $0\cdot \infty$)

Op de volgende manier kan men ook de limiet van een product waarvan de factoren als limieten 0 en $\infty$ hebben bepalen door de regel van l'Hôpital toe te passen. Als bijvoorbeeld:

$\lim _{x\to c}f(x)$

en

$\lim _{x\to c}g(x)=\infty$

dan kan de regel van l'Hôpital toegepast worden via:

$\lim _{x\to c}{\frac {f'(x)}{\left({\frac {1}{g(x)}}\right)'}}$

Limieten van de vorm $\infty \ -\ \infty$

Limieten die aanleiding geven tot de onbepaaldheid $\infty \ -\ \infty$ kunnen soms bepaald worden met de regel van de l'Hôpital. Dit is het geval indien de oneindigheden zelf zouden ontstaan vanuit een deling door nul. Bijvoorbeeld

$\lim _{x\to 0}\left({\frac {1}{x}}-{\frac {1}{\sin(x)}}\right)=\lim _{x\to 0}{\frac {\sin(x)-x}{x\cdot \sin(x)}}=$

$=\lim _{x\to 0}{\frac {\cos(x)-1}{\sin(x)+x\cos(x)}}=\lim _{x\to 0}{\frac {-\sin(x)}{\cos(x)+\cos(x)-x\sin(x)}}=0$

Limieten van de vorm $\lim \ f(x)^{g(x)}$

Ook bepaalde limieten van de vorm

$\lim _{x\to a}f(x)^{g(x)}$

kunnen soms met de regel van de l'Hôpital worden opgelost, indien de afzonderlijke limeten aanleiding geven tot een onbepaaldheid van de vorm $0^{0},\ \infty ^{0}$ of $1^{\infty }$.

De limiet wordt daartoe herschreven in de vorm

$\lim _{x\to a}e^{g(x)\cdot \ln(f(x))}=e^{\lim _{x\to a}g(x)\cdot \ln(f(x))}$

De logaritmische functie kan immers binnen de limiet gebracht worden omdat ze over haar volledig domein continu is.

Voorbeeld

$\lim _{x\downarrow 0}x^{\sin(x)}$

Enkel de rechterlimiet is hier mogelijk.

De limiet wordt dus herschreven als

$e^{\lim _{x\downarrow 0}\sin(x)\cdot \ln(x)}$

Voor de limiet geldt:

$\lim _{x\downarrow 0}\sin(x)\cdot \ln(x)=\lim _{x\downarrow 0}{\frac {\ln(x)}{\csc(x)}}=\lim _{x\downarrow 0}{\frac {1/x}{-\cot(x)\csc(x)}}=\lim _{x\downarrow 0}{\frac {\sin ^{2}(x)}{-x\cos(x)}}=0$

zodat:

$\lim _{x\downarrow 0}x^{\sin(x)}=e^{0}=1$