En las matemáticas , más específicamente el cálculo , la regla de L'Hôpital o regla de L'Hopital ( Francés: [Lopital] , en inglés: / ˌ l oʊ p i t ɑː l / , loh-pee- TAHL ) proporciona una técnica para evaluar los límites de formas indeterminadas . La aplicación (o la aplicación repetida) de la regla a menudo convierte una forma indeterminada en una expresión que se puede evaluar fácilmente mediante sustitución. La regla lleva el nombre del matemático francés del siglo XVII. Guillaume de l'Hôpital . Aunque la regla se atribuye a menudo a L'Hôpital, el teorema le fue presentado por primera vez en 1694 por el matemático suizo Johann Bernoulli .
Estados regla de L'Hôpital que para las funciones f y g , que son diferenciables en una abierta intervalo I excepto posiblemente en un punto c contenidas en I , si y para todo x en I con x ≠ c , y existe, entonces
La diferenciación del numerador y el denominador a menudo simplifica el cociente o lo convierte en un límite que se puede evaluar directamente.
Historia
Guillaume de l'Hôpital (también escrito l'Hospital [a] ) publicó esta regla en su libro de 1696 Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes (traducción literal: Análisis de lo infinitamente pequeño para la comprensión de líneas curvas ), el primer libro de texto sobre cálculo diferencial . [1] [b] Sin embargo, se cree que la regla fue descubierta por el matemático suizo Johann Bernoulli . [3] [4]
Forma general
La forma general de la regla de L'Hôpital cubre muchos casos. Deje C y L se extendieron números reales (es decir, números reales, infinito positivo, o infinito negativo). Sea I un intervalo abierto que contiene c (para un límite de dos lados) o un intervalo abierto con el punto final c (para un límite de un lado , o un límite en el infinito si c es infinito). Se supone que las funciones de valor real f y g son diferenciables en I excepto posiblemente en c , y adicionalmenteen I excepto posiblemente en c . También se supone quePor lo tanto, la regla se aplica a situaciones en las que la razón de las derivadas tiene un límite finito o infinito, pero no a situaciones en las que esa razón fluctúa permanentemente a medida que x se acerca cada vez más a c .
Si alguno
o
luego
Aunque hemos escrito x → c en todas partes, los límites también pueden ser los límites de un solo lado ( x → c + o x → c - ), cuando c es un punto final finito de I .
En el segundo caso, la hipótesis de que f diverge hasta el infinito no se usa en la demostración (ver nota al final de la sección de prueba); por lo tanto, mientras que las condiciones de la regla normalmente se establecen como se indicó anteriormente, la segunda condición suficiente para que el procedimiento de la regla sea válido puede enunciarse más brevemente como
La hipótesis de que aparece con mayor frecuencia en la literatura, pero algunos autores eluden esta hipótesis al agregar otras hipótesis en otros lugares. Un método [5] es definir el límite de una función con el requisito adicional de que la función limitante se defina en todas partes en el intervalo relevante I excepto posiblemente en c . [c] Otro método [6] es requerir que tanto f como g sean diferenciables en todas partes en un intervalo que contenga c .
Requisito de que exista el límite
El requisito de que el límite
existe es esencial. Sin esta condición, o puede exhibir oscilaciones no amortiguadas como enfoques , en cuyo caso no se aplica la regla de L'Hôpital. Por ejemplo, si, y , luego
esta expresión no se acerca a un límite como va a , ya que la función coseno oscila entre 1 y -1 . Pero trabajando con las funciones originales, se puede demostrar que existe:
En un caso como este, todo lo que se puede concluir es que
de modo que si existe el límite de f / g , entonces debe estar entre los límites inferior y superior de f ′ / g ′. (En el ejemplo anterior, esto es cierto, ya que 1 de hecho se encuentra entre 0 y 2.)
Ejemplos de
- Aquí hay un ejemplo básico que involucra la función exponencial, que involucra la forma indeterminada 0/0en x = 0 :
- Este es un ejemplo más elaborado que involucra 0/0. Aplicar la regla de L'Hôpital una sola vez todavía resulta en una forma indeterminada. En este caso, el límite puede evaluarse aplicando la regla tres veces:
- Aquí hay un ejemplo que involucra ∞/∞: Aplique repetidamente la regla de L'Hôpital hasta que el exponente sea cero (si n es un número entero) o negativo (si n es fraccionario) para concluir que el límite es cero.
- Aquí hay un ejemplo que involucra la forma indeterminada 0 · ∞ (ver más abajo), que se reescribe como la forma ∞/∞:
- Aquí hay un ejemplo que involucra la fórmula de pago de hipoteca y 0/0. Sea P el principal (monto del préstamo), r la tasa de interés por período yn el número de períodos. Cuando r es cero, el monto de reembolso por período es(ya que solo se reembolsa el principal); esto es coherente con la fórmula para tipos de interés distintos de cero:
- También se puede utilizar la regla de L'Hôpital para demostrar el siguiente teorema. Si f es dos veces diferenciable en una vecindad de x y que su segunda derivada es continua en esta vecindad, entonces
A veces, la regla de L'Hôpital se invoca de una manera engañosa: suponga que f ( x ) + f ′ ( x ) converge cuando x → ∞ y queconverge al infinito positivo o negativo. Luego:
y entonces, existe yEl resultado sigue siendo cierto sin la hipótesis añadida de que converge al infinito positivo o negativo, pero la justificación es entonces incompleta.
Complicaciones
A veces, la regla de L'Hôpital no conduce a una respuesta en un número finito de pasos a menos que se apliquen algunos pasos adicionales. Los ejemplos incluyen lo siguiente:
- Dos aplicaciones pueden conducir a un retorno a la expresión original que se iba a evaluar: Esta situación se puede solucionar sustituyendo y observando que y va al infinito cuando x va al infinito; con esta sustitución, este problema se puede solucionar con una sola aplicación de la regla:Alternativamente, el numerador y el denominador se pueden multiplicar por momento en el que la regla de L'Hôpital se puede aplicar inmediatamente con éxito: [7]
- Es posible que una cantidad arbitrariamente grande de aplicaciones nunca dé lugar a una respuesta, incluso sin repetir: Esta situación también se puede abordar mediante una transformación de variables, en este caso :Una vez más, un enfoque alternativo es multiplicar el numerador y el denominador por antes de aplicar la regla de L'Hôpital:
Un error común es usar la regla de L'Hôpital con un razonamiento circular para calcular una derivada a través de un cociente de diferencias . Por ejemplo, considere la tarea de probar la fórmula derivada para potencias de x :
Aplicando la regla de L'Hôpital y encontrando las derivadas con respecto a h del numerador y el denominador, se obtiene nx n −1 como se esperaba. Sin embargo, diferenciar el numerador requería el uso del mismo hecho que se está probando. Este es un ejemplo de la petición de principio , ya que no se puede asumir que el hecho está probado durante el curso de la prueba.
Contraejemplos cuando la derivada del denominador es cero
La necesidad de la condición de que cerca puede verse en el siguiente contraejemplo debido a Otto Stolz . [8] Deja y Entonces no hay límite para como Sin emabargo,
que tiende a 0 como . Ralph P. Boas Jr. encontró más ejemplos de este tipo [9].
Otras formas indeterminadas
Otras formas indeterminadas, como 1 ∞ , 0 0 , ∞ 0 , 0 · ∞ y ∞ - ∞ , a veces se pueden evaluar utilizando la regla de L'Hôpital. Por ejemplo, para evaluar un límite que involucre ∞ - ∞ , convierta la diferencia de dos funciones en un cociente:
donde se aplica la regla de L'Hôpital al pasar de (1) a (2) y de nuevo al pasar de (3) a (4).
La regla de L'Hôpital se puede usar en formas indeterminadas que involucran exponentes usando logaritmos para "mover el exponente hacia abajo". Aquí hay un ejemplo que involucra la forma indeterminada 0 0 :
Es válido mover el límite dentro de la función exponencial porque la función exponencial es continua . Ahora el exponenteha sido "movido hacia abajo". El límitees de la forma indeterminada 0 · ∞ , pero como se muestra en un ejemplo anterior, la regla de l'Hôpital puede usarse para determinar que
Por lo tanto
Teorema de Stolz-Cesàro
El teorema de Stolz-Cesàro es un resultado similar que involucra límites de secuencias, pero usa operadores de diferencias finitas en lugar de derivadas .
Interpretación geométrica
Considere la curva en el plano cuya coordenada x está dada por g ( t ) y cuya coordenada y está dada por f ( t ) , con ambas funciones continuas, es decir, el lugar geométrico de puntos de la forma [ g ( t ), f ( t )] . Suponga que f ( c ) = g ( c ) = 0 . El límite de la relaciónf ( t )/g ( t )como t → c es la pendiente de la tangente a la curva en el punto [ g ( c ), f ( c )] = [0,0] . La tangente a la curva en el punto [ g ( t ), f ( t )] viene dada por [ g ′ ( t ), f ′ ( t )] . La regla de L'Hôpital establece entonces que la pendiente de la curva cuando t = c es el límite de la pendiente de la tangente a la curva cuando la curva se acerca al origen, siempre que este esté definido.
Prueba de la regla de L'Hôpital
Caso especial
La prueba de la regla de L'Hôpital es simple en el caso en que f y g son continuamente diferenciables en el punto c y donde un límite finito se encuentra después de la primera ronda de la diferenciación. No es una prueba de la regla general de L'Hôpital porque es más estricta en su definición, requiriendo tanto diferenciabilidad como que c sea un número real. Dado que muchas funciones comunes tienen derivadas continuas (por ejemplo , polinomios , seno y coseno , funciones exponenciales ), es un caso especial digno de atención.
Supóngase que f y g son continuamente diferenciable en un número real c , que, y eso . Luego
Esto se sigue de la definición de cociente de diferencias de la derivada. La última igualdad se sigue de la continuidad de las derivadas en c . El límite en la conclusión no es indeterminado porque.
La prueba de una versión más general de la regla de L'Hôpital se da a continuación.
Prueba general
La siguiente prueba se debe a Taylor (1952) , donde una prueba unificada de la 0/0 y ± ∞/± ∞se dan formas indeterminadas. Taylor señala que se pueden encontrar diferentes pruebas en Lettenmeyer (1936) y Wazewski (1949) .
Vamos f y g son funciones que satisfacen las hipótesis en la forma general sección. Dejarser el intervalo abierto en la hipótesis con punto final c . Teniendo en cuenta queen este intervalo yg es continuo,se puede elegir más pequeño para que g sea distinto de cero en. [D]
Para cada x en el intervalo, defina y como se extiende sobre todos los valores entre x y c . (Los símbolos inf y sup denotan el infimum y supremum ).
De la diferenciabilidad de f y g en, Valor teorema de Cauchy asegura que para dos puntos distintos x y y en existe un entre x y y de tal manera que. Como consecuencia,para todas las opciones de x e y distintas en el intervalo. El valor de g ( x ) - g ( Y ) es siempre distinto de cero para distinta x y y en el intervalo, por si no lo era, el valor medio teorema implicaría la existencia de un p entre x y y de tal manera que g' ( p ) = 0.
La definición de m ( x ) y M ( x ) dará como resultado un número real extendido, por lo que es posible que adopten los valores ± ∞. En los dos casos siguientes, m ( x ) y M ( x ) establecerán límites en la relación F/gramo.
Caso 1:
Para cualquier x en el intervalo, y el punto y entre x y c ,
y por lo tanto cuando y se acerca a c , y convertirse en cero, y así
Caso 2:
Por cada x en el intervalo, definir . Para cada punto y entre x y c ,
A medida que y se acerca a c , ambos y convertirse en cero, y por lo tanto
El límite superior y el límite inferior son necesarios ya que la existencia del límite de F/gramo aún no se ha establecido.
También es el caso que
[e] y
- y
En el caso 1, el teorema de la compresión establece queexiste y es igual a L . En el caso 2, y el teorema de apretar nuevamente afirma que, y asi el limite existe y es igual a L . Este es el resultado que se iba a demostrar.
En el caso 2, la suposición de que f ( x ) diverge hasta el infinito no se utilizó dentro de la demostración. Esto significa que si | g ( x ) | diverge hasta el infinito cuando x se acerca a cy tanto f como g satisfacen las hipótesis de la regla de L'Hôpital, entonces no se necesita ninguna suposición adicional sobre el límite de f ( x ): incluso podría darse el caso de que el límite de f ( x ) no existe. En este caso, el teorema de L'Hopital es en realidad una consecuencia de Cesàro-Stolz. [10]
En el caso de que | g ( x ) | diverge a infinito cuando x se acerca a c y f ( x converge) a un límite finito en c , entonces la regla de L'Hôpital sería aplicable, pero no es absolutamente necesario, ya que el cálculo límite básico demostrará que el límite de f ( x ) / g ( x ) cuando x se acerca a c debe ser cero.
Corolario
Una consecuencia simple pero muy útil de la regla de L'Hopital es un criterio bien conocido de diferenciación. Dice lo siguiente: suponga que f es continua en a , y queexiste para todo x en algún intervalo abierto que contiene a , excepto quizás para. Supongamos, además, queexiste. Luego también existe y
En particular, f ' también es continua en a .
Prueba
Considere las funciones y . La continuidad de f en a nos dice que. Es más,ya que una función polinomial es siempre continua en todas partes. La aplicación de la regla de L'Hopital muestra que.
Ver también
- La controversia de L'Hôpital
Notas
- ↑ En los siglos XVII y XVIII, el nombre se escribía comúnmente "l'Hospital", y él mismo lo deletreaba de esa manera. Sin embargo, se ha modificado la ortografía francesa: se ha eliminado la 's' muda y se ha sustituido por la circunfleja sobre la vocal anterior. La primera ortografía todavía se usa en inglés donde no hay circunflejo.
- ^ "Proposición I. Problema. Soit une ligne courbe AMD (AP = x, PM = y, AB = a [ver Figura 130]) telle que la valeur de l'appliquée y soit exprimée par une fracción, dont le numérateur & le dénominateur deviennent chacun zero lorsque x = a, c'est à dire lorsque le point P tombe sur le point donné B. On demand quelle doit être alors la valeur de l'appliquée BD. [Solución:] ... si l'on prend la difference du numérateur, & qu'on la divise par la difference du denominateur, apres avoir fait x = a = Ab ou AB, l'on aura la valeur cherchée de l'appliquée bd ou BD. " Traducción : "Sea una curva AMD (donde AP = X, PM = y, AB = a) tal que el valor de la ordenada y se expresa mediante una fracción cuyo numerador y denominador se vuelven cada uno cero cuando x = a; es decir , cuando el punto P cae sobre el punto B dado. Uno pregunta cuál será entonces el valor de la ordenada BD. [Solución:] ... si se toma el diferencial del numerador y si se lo divide por el diferencial del denominador, después de haber fijado x = a = Ab o AB, se tendrá el valor [que se] buscaba de la ordenada bd o BD ". [2]
- ^ La definición de análisis funcional del límite de una función no requiere la existencia de tal intervalo.
- ^ Dado que g ' es distinto de cero y g es continua en el intervalo, es imposible que g sea cero más de una vez en el intervalo. Si tuviera dos ceros, el teorema del valor medio afirmaría la existencia de un punto p en el intervalo entre ceros tal que g ' ( p ) = 0. Entonces, o g ya es distinto de cero en el intervalo, o el intervalo puede ser reducido de tamaño para no contener el único cero de g .
- ^ Los límites y ambos existen porque presentan funciones no decrecientes y no crecientes de x , respectivamente. Considere una secuencia. Luego, ya que la desigualdad se cumple para cada i ; esto produce las desigualdades El siguiente paso es mostrar . Arreglar una secuencia de números tal que y una secuencia . Para cada i , elija tal que , por la definición de . Por lo tanto como se desee. El argumento de que es similar.
Referencias
- ^ O'Connor, John J .; Robertson, Edmund F. "Biografía de De L'Hopital" . El archivo MacTutor History of Mathematics . Escocia: Facultad de Matemáticas y Estadística, Universidad de St Andrews . Consultado el 21 de diciembre de 2008 .
- ^ L'Hospital. "Analyse des infiniment petits" : 145-146. Cite journal requiere
|journal=
( ayuda ) - ^ Boyer, Carl B .; Merzbach, Uta C. (2011). Una historia de las matemáticas (3ª edición ilustrada). John Wiley e hijos. pag. 321. ISBN 978-0-470-63056-3. Extracto de la página 321
- ^ Weisstein, Eric W. "Regla de L'Hospital" . MathWorld .
- ↑ ( Chatterjee , 2005 , p. 291)
- ↑ ( Krantz 2004 , p. 79)
- ^ Multiplicar por en su lugar, da una solución al límite sin necesidad de la regla de l'Hôpital.
- ^ Stolz, Otto (1879). "Ueber die Grenzwerthe der Quotienten" [Sobre los límites de los cocientes]. Mathematische Annalen (en alemán). 15 (3–4): 556–559. doi : 10.1007 / bf02086277 . S2CID 122473933 .
- ^ Boas Jr., Ralph P. (1986). "Contraejemplos a la regla de L'Hopital". American Mathematical Monthly . 93 (8): 644–645. doi : 10.1080 / 00029890.1986.11971912 . JSTOR 2322330 .
- ^ "Teorema de L'Hopital" . IMOmath . Olimpiada Internacional de Matemáticas .
Fuentes
- Chatterjee, Dipak (2005), Análisis real , PHI Learning Pvt. Ltd, ISBN 81-203-2678-4
- Krantz, Steven G. (2004), Un manual de variables reales. Con aplicaciones a ecuaciones diferenciales y análisis de Fourier , Boston, MA: Birkhäuser Boston Inc., págs. Xiv + 201, doi : 10.1007 / 978-0-8176-8128-9 , ISBN 0-8176-4329-X, Señor 2015447
- Lettenmeyer, F. (1936), "Über die sogenannte Hospitalsche Regel", Journal für die reine und angewandte Mathematik , 1936 (174): 246–247, doi : 10.1515 / crll.1936.174.246 , S2CID 199546754
- Taylor, AE (1952), "La regla de L'Hospital", Amer. Matemáticas. Mensual , 59 (1): 20-24, doi : 10.2307 / 2307183 , ISSN 0002-9890 , JSTOR 2307183 , MR 0044602
- Wazewski, T. (1949), "Quelques démonstrations uniformes pour tous les cas du théorème de l'Hôpital. Généralisations", Prace Mat.-Fiz. (en francés), 47 : 117–128, MR 0034430