Κανόνας L'Hôpital

Εισαγωγή στον Κανόνα L'Hôpital

Ο κανόνας L'Hôpital (ή L'Hospital) είναι ένα ισχυρό εργαλείο για τον υπολογισμό ορίων που παρουσιάζουν απροσδιόριστες μορφές $\frac{0}{0}$ ή $\frac{\infty}{\infty}$. Ο κανόνας πήρε το όνομά του από τον Γάλλο μαθηματικό Guillaume de l'Hôpital (1661-1704).

Διατύπωση του Κανόνα

Θεώρημα (Κανόνας L'Hôpital):

Έστω $f$ και $g$ συναρτήσεις παραγωγίσιμες σε ένα διάστημα που περιέχει το $a$ (εκτός ίσως από το $a$) με $g'(x) \neq 0$ κοντά στο $a$.

Αν:

1. $\lim_{x \to a} f(x) = \lim_{x \to a} g(x) = 0$ (μορφή $\frac{0}{0}$)

ή

2. $\lim_{x \to a} f(x) = \pm\infty$ και $\lim_{x \to a} g(x) = \pm\infty$ (μορφή $\frac{\infty}{\infty}$)

και υπάρχει το $\lim_{x \to a} \frac{f'(x)}{g'(x)}$ (πεπερασμένο ή άπειρο), τότε:

$$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}$$

Ο κανόνας ισχύει επίσης για $x \to a^+$, $x \to a^-$, $x \to +\infty$ και $x \to -\infty$.

Απόδειξη (για τη μορφή $\frac{0}{0}$)

Θα αποδείξουμε τον κανόνα για την περίπτωση $\lim_{x \to a} f(x) = \lim_{x \to a} g(x) = 0$.

Ορίζουμε $f(a) = g(a) = 0$ ώστε οι $f, g$ να είναι συνεχείς στο $a$.

Για $x \neq a$, από το θεώρημα μέσης τιμής του Cauchy υπάρχει $c$ μεταξύ $a$ και $x$ ώστε:

$$\frac{f(x) - f(a)}{g(x) - g(a)} = \frac{f'(c)}{g'(c)}$$

Επειδή $f(a) = g(a) = 0$:

$$\frac{f(x)}{g(x)} = \frac{f'(c)}{g'(c)}$$

Καθώς $x \to a$, έχουμε $c \to a$ (αφού $c$ βρίσκεται μεταξύ $a$ και $x$).

Άρα:

$$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{c \to a} \frac{f'(c)}{g'(c)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}$$

Προϋποθέσεις Εφαρμογής

Για να εφαρμοστεί σωστά ο κανόνας L'Hôpital πρέπει:

1. Απροσδιόριστη μορφή: Το όριο να είναι της μορφής $\frac{0}{0}$ ή $\frac{\infty}{\infty}$.
2. Παραγωγισιμότητα: Οι $f$ και $g$ να είναι παραγωγίσιμες κοντά στο $a$.
3. Μη μηδενική παράγωγος: $g'(x) \neq 0$ κοντά στο $a$.
4. Ύπαρξη ορίου: Το $\lim_{x \to a} \frac{f'(x)}{g'(x)}$ να υπάρχει.

Επαναληπτική Εφαρμογή

Αν μετά την πρώτη εφαρμογή το όριο $\lim_{x \to a} \frac{f'(x)}{g'(x)}$ είναι ξανά απροσδιόριστης μορφής, μπορούμε να εφαρμόσουμε τον κανόνα ξανά:

$$\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)} = \lim_{x \to a} \frac{f''(x)}{g''(x)} = \cdots$$

Προσοχή - Συνήθη Λάθη

1. Εφαρμογή χωρίς απροσδιόριστη μορφή

Λάθος: $\lim_{x \to 0} \frac{\sin x + 1}{x + 2} = \lim_{x \to 0} \frac{\cos x}{1} = 1$

Σωστό: Δεν έχουμε απροσδιόριστη μορφή! $\lim_{x \to 0} \frac{\sin x + 1}{x + 2} = \frac{0 + 1}{0 + 2} = \frac{1}{2}$

2. Παραγώγιση πηλίκου αντί ξεχωριστή παραγώγιση

Λάθος: Χρήση του κανόνα $\left(\frac{f}{g}\right)' = \frac{f'g - fg'}{g^2}$

Σωστό: Παραγωγίζουμε αριθμητή και παρονομαστή ξεχωριστά.

3. Άπειρη επανάληψη

Μερικές φορές η επαναληπτική εφαρμογή δεν οδηγεί πουθενά. Τότε πρέπει να χρησιμοποιήσουμε άλλη μέθοδο.

Εφαρμογές σε Άλλες Απροσδιόριστες Μορφές

Μορφή $0 \cdot \infty$

Μετατρέπουμε σε $\frac{0}{0}$ ή $\frac{\infty}{\infty}$:

$$f \cdot g = \frac{f}{1/g} \quad \text{ή} \quad \frac{g}{1/f}$$

Μορφές $0^0$, $\infty^0$, $1^\infty$

Χρησιμοποιούμε λογάριθμο:

$$y = f(x)^{g(x)} \Rightarrow \ln y = g(x) \ln f(x)$$

και υπολογίζουμε το $\lim_{x \to a} g(x) \ln f(x)$.

Μορφή $\infty - \infty$

Μετατρέπουμε με κοινό παρονομαστή ή πολλαπλασιασμό με συζυγή.