stringtranslate.com

Regla del producto

Ilustración geométrica de una demostración de la regla del producto

En cálculo , la regla del producto (o regla de Leibniz [1] o regla del producto de Leibniz ) es una fórmula que se utiliza para hallar las derivadas de los productos de dos o más funciones . Para dos funciones, puede expresarse en la notación de Lagrange como o en la notación de Leibniz como

La regla puede extenderse o generalizarse a productos de tres o más funciones, a una regla para derivadas de orden superior de un producto y a otros contextos.

Descubrimiento

El descubrimiento de esta regla se atribuye a Gottfried Leibniz , quien la demostró utilizando "infinitesimales" (un precursor de la diferencial moderna ). [2] (Sin embargo, JM Child, un traductor de los artículos de Leibniz, [3] sostiene que se debe a Isaac Barrow .) He aquí el argumento de Leibniz: [4] Sean u y v funciones. Entonces d(uv) es lo mismo que la diferencia entre dos uv sucesivas ; sea una de ellas uv y la otra u+du por v+dv ; entonces:

Dado que el término du · dv es "despreciable" (en comparación con du y dv ), Leibniz concluyó que y ésta es de hecho la forma diferencial de la regla del producto. Si dividimos por la diferencial dx , obtenemos que también se puede escribir en la notación de Lagrange como

Ejemplos

Pruebas

Definición límite de derivada

Sea h ( x ) = f ( x ) g ( x ) y supongamos que f y g son cada una diferenciables en x . Queremos demostrar que h es diferenciable en x y que su derivada, h ( x ) , está dada por f ( x ) g ( x ) + f ( x ) g ( x ) . Para ello, (que es cero, y por tanto no cambia el valor) se añade al numerador para permitir su factorización, y luego se utilizan las propiedades de los límites. El hecho de que las funciones diferenciables sean continuas.

Aproximaciones lineales

Por definición, si son diferenciables en , entonces podemos escribir aproximaciones lineales : y donde los términos de error son pequeños con respecto a h : es decir, también escritos . Entonces: Los "términos de error" consisten en elementos como y que se ve fácilmente que tienen magnitud Dividiendo por y tomando el límite se obtiene el resultado.

Cuadrados de cuarto

Esta prueba utiliza la regla de la cadena y la función de cuarto de cuadrado con derivada . Tenemos: y derivando ambos lados obtenemos:

Regla de la cadena multivariable

La regla del producto puede considerarse un caso especial de la regla de la cadena para varias variables, aplicada a la función de multiplicación :

Análisis no estándar

Sean u y v funciones continuas en x , y sean dx , du y dv infinitesimales en el marco del análisis no estándar , específicamente los números hiperreales . Usando st para denotar la parte estándar de la función que asocia a un número hiperreal finito el real infinitamente cercano a él, esto da Esta fue esencialmente la prueba de Leibniz explotando la ley trascendental de homogeneidad (en lugar de la parte estándar anterior).

Análisis infinitesimal suave

En el contexto del enfoque de Lawvere para los infinitesimales, sea un infinitesimal nilcuadrado. Entonces y , de modo que dado que Dividiendo por entonces se obtiene o .

Diferenciación logarítmica

Sea . Tomando el valor absoluto de cada función y el logaritmo natural de ambos lados de la ecuación, Aplicando propiedades del valor absoluto y los logaritmos, Tomando la derivada logarítmica de ambos lados y luego resolviendo para : Resolviendo para y sustituyendo nuevamente para da: Nota: Tomar el valor absoluto de las funciones es necesario para la diferenciación logarítmica de funciones que pueden tener valores negativos, ya que los logaritmos solo tienen valores reales para argumentos positivos. Esto funciona porque , lo que justifica tomar el valor absoluto de las funciones para la diferenciación logarítmica.

Generalizaciones

Producto de más de dos factores

La regla del producto se puede generalizar a productos de más de dos factores. Por ejemplo, para tres factores tenemos Para una colección de funciones , tenemos

La derivada logarítmica proporciona una expresión más simple de la última forma, así como una prueba directa que no implica ninguna recursión . La derivada logarítmica de una función f , denotada aquí Logder( f ) , es la derivada del logaritmo de la función. De ello se deduce que Utilizando que el logaritmo de un producto es la suma de los logaritmos de los factores, la regla de la suma para las derivadas da inmediatamente La última expresión anterior de la derivada de un producto se obtiene multiplicando ambos miembros de esta ecuación por el producto de los

Derivadas superiores

También se puede generalizar a la regla general de Leibniz para la derivada n- ésima de un producto de dos factores, desarrollando simbólicamente según el teorema del binomio :

Aplicada en un punto específico x , la fórmula anterior da:

Además, para la derivada n- ésima de un número arbitrario de factores, se tiene una fórmula similar con coeficientes multinomiales :

Derivadas parciales superiores

Para derivadas parciales , tenemos [5] donde el índice S recorre los 2 n subconjuntos de {1, ..., n } , y | S | es la cardinalidad de S. Por ejemplo, cuando n = 3 ,

Espacio Banach

Supongamos que X , Y y Z son espacios de Banach (que incluyen el espacio euclidiano ) y que B  : X × YZ es un operador bilineal continuo . Entonces B es diferenciable y su derivada en el punto ( x , y ) en X × Y es la función lineal D ( x , y ) B  : X × YZ dada por

Este resultado puede extenderse [6] a espacios vectoriales topológicos más generales.

En cálculo vectorial

La regla del producto se extiende a varias operaciones de producto de funciones vectoriales en : [7]

También existen análogos para otros análogos de la derivada: si f y g son campos escalares, entonces existe una regla del producto con el gradiente :

Esta regla se cumple para cualquier operación de producto bilineal continua. Sea B  : X × YZ una función bilineal continua entre espacios vectoriales, y sean f y g funciones diferenciables en X e Y , respectivamente. Las únicas propiedades de la multiplicación utilizadas en la prueba que utiliza la definición límite de derivada es que la multiplicación es continua y bilineal. Por lo tanto, para cualquier operación bilineal continua, Este es también un caso especial de la regla del producto para funciones bilineales en el espacio de Banach.

Derivaciones en álgebra abstracta y geometría diferencial

En álgebra abstracta , la regla del producto es la propiedad que define una derivación . En esta terminología, la regla del producto establece que el operador de derivada es una derivación de funciones.

En geometría diferencial , un vector tangente a una variedad M en un punto p puede definirse de manera abstracta como un operador sobre funciones de valor real que se comporta como una derivada direccional en p : es decir, una función lineal v que es una derivación. Generalizando (y dualizando) las fórmulas del cálculo vectorial a una variedad n -dimensional M, se pueden tomar formas diferenciales de grados k y l , denotadas , con la operación de cuña o producto exterior , así como la derivada exterior . Entonces se tiene la regla graduada de Leibniz :

Aplicaciones

Entre las aplicaciones de la regla del producto está una prueba de que cuando n es un entero positivo (esta regla es verdadera incluso si n no es positivo o no es un entero, pero la prueba de eso debe depender de otros métodos). La prueba es por inducción matemática sobre el exponente n . Si n  = 0 entonces x n es constante y nx n  − 1 = 0. La regla se cumple en ese caso porque la derivada de una función constante es 0. Si la regla se cumple para cualquier exponente particular n , entonces para el siguiente valor, n  + 1, tenemos Por lo tanto, si la proposición es verdadera para n , es verdadera también para  n  + 1, y por lo tanto para todo n natural .

Véase también

Referencias

  1. ^ "Regla de Leibniz – Enciclopedia de Matemáticas".
  2. ^ Michelle Cirillo (agosto de 2007). "Humanizing Calculus" (Humanizando el cálculo) . The Mathematics Teacher (El profesor de matemáticas) . 101 (1): 23–27. doi :10.5951/MT.101.1.0023.
  3. ^ Leibniz, GW (2005) [1920], Los primeros manuscritos matemáticos de Leibniz (PDF) , traducido por JM Child, Dover, pág. 28, nota al pie 58, ISBN 978-0-486-44596-0
  4. ^ Leibniz, GW (2005) [1920], Los primeros manuscritos matemáticos de Leibniz (PDF) , traducido por JM Child, Dover, pág. 143, ISBN 978-0-486-44596-0
  5. ^ Michael Hardy (enero de 2006). "Combinatoria de derivadas parciales" (PDF) . The Electronic Journal of Combinatorics . 13 . arXiv : math/0601149 . Bibcode :2006math......1149H.
  6. ^ Kreigl, Andreas; Michor, Peter (1997). El contexto conveniente del análisis global (PDF) . American Mathematical Society. pág. 59. ISBN 0-8218-0780-3.
  7. ^ Stewart, James (2016), Cálculo (8.ª ed.), Cengage, Sección 13.2.