Identidades del cálculo vectorial

identidades matemáticas

Las siguientes son identidades importantes que implican derivadas e integrales en el cálculo vectorial.

Notación operatoria editar

Gradiente editar

Para una función   en variables tridimensionales Coordenadas cartesianas, el gradiente es el campo vectorial:

 
donde i, j, k son los vectores unitarios estándar para los ejes x, y, z. Más generalmente, para una función de n variables  , también llamada campo escalar, el gradiente es el campo vectorial.
 
donde   son vectores unitarios ortogonales en direcciones arbitrarias.

Como su nombre indica, el gradiente es proporcional y apunta en la dirección del cambio más rápido (positivo) de la función.

Para un campo vectorial   escrito como un vector de 1 × n filas, también llamado campo tensorial de orden 1, el gradiente o derivada covariante es la matriz jacobiana de n × n:

 

Para un campo tensorial   de cualquier orden k, el gradiente   es un campo tensorial de orden k + 1.

Divergencia editar

En coordenadas cartesianas, la divergencia de un campo vectorial continuamente diferenciable   es la función escalar-valorada:

 

Como su nombre indica, la divergencia es una medida de cuánto divergen los vectores.

La divergencia de un campo tensorial   de orden k distinto de cero se escribe como  , una contracción a un campo tensorial de orden k - 1. En concreto, la divergencia de un vector es un escalar. La divergencia de un campo tensorial de orden superior puede hallarse descomponiendo el campo tensorial en una suma de productos exteriores y utilizando la identidad,

 
donde   es la derivada direccional en la dirección de   multiplicada por su magnitud. En concreto, para el producto exterior de dos vectores,
 

Rotacional editar

En coordenadas cartesianas, para   el rizo es el campo vectorial:

 

donde i', j y k son los vectores unitarios de los ejes x, y y z, respectivamente.

Como su nombre indica, el rizo es una medida de cuánto tienden los vectores cercanos en una dirección circular.

En notación de Einstein, el campo vectorial   tiene rizo dado por:

 
donde   = ±1 o 0 es el símbolo de paridad de Levi-Civita.

Laplaciano editar

En coordenadas cartesianas, el laplaciano de una función   es

 

El Laplaciano es una medida de cuánto cambia una función sobre una pequeña esfera centrada en el punto.

Para un campo tensorial,  , el Laplaciano se escribe generalmente como: ¡

 
y es un campo tensorial del mismo orden.

Notaciones especiales editar

En notación de subíndice Feynman,

 
donde la notación ∇B significa que el gradiente con subíndice opera sólo sobre el factor B.[1][2]

Menos general pero similar es la notación de sobrepunto de Hestenes en álgebra geométrica.[3]

La identidad anterior se expresa entonces como:

 

donde los puntos definen el alcance de la derivada vectorial. El vector punteado, en este caso B, se diferencia, mientras que el (no punteado) A se mantiene constante.

Para el resto de este artículo, se utilizará la notación de Feynman cuando sea apropiado.

Identidades de la primera derivada editar

Para campos escalares  ,   y campos vectoriales  ,  , tenemos las siguientes identidades derivadas.

Propiedades distributivas editar

 

Regla del producto para la multiplicación por un escalar editar

Tenemos las siguientes generalizaciones de la regla del producto en cálculo monovariable.

 

En la segunda fórmula, el gradiente transpuesto   es un vector columna de n × 1,   es un vector fila de 1 × n, y su producto es una matriz de n × n (o más precisamente, una diádico); Esto también puede considerarse como el producto tensorial   de dos vectores, o de un covector y un vector.

Regla del cociente para la división por un escalar editar

 

Regla de la cadena editar

Sea   una función de una variable de escalares a escalares,   una curva de parametrizada, y   una función de vectores a escalares. Tenemos los siguientes casos especiales de la regla de la cadena multivariable.

 

Para una parametrización de coordenadas   tenemos:

 

Aquí tomamos la traza del producto de dos matrices n × n: el gradiente de A y el jacobiano de  .

Regla del producto por puntos editar

 

donde  

denota la matriz jacobiana del campo vectorial  .

Alternativamente, utilizando la notación de subíndices de Feynman,

 [4]

Como un caso especial, cuando A = B,

 

La generalización de la fórmula del producto punto a las variedades riemannianas es una propiedad definitoria de una conexión riemanniana, que diferencia un campo vectorial para dar una 1-forma vectorial.

Regla del producto cruzado editar

 

Nótese que la matriz   es antisimétrica.

Identidades de segunda derivada editar

La divergencia del rotacional es cero editar

La divergencia del rotacional de cualquier campo vectorial A es siempre cero:

 

Este es un caso especial de la desaparición del cuadrado de la derivada exterior en el complejo de cadenas De Rham.

Divergencia de gradiente es Laplaciano editar

El Laplaciano de un campo escalar es la divergencia de su gradiente:

 
El resultado es una cantidad escalar.

La divergencia de la divergencia no está definida editar

La divergencia de un campo vectorial A es un escalar, y no se puede tomar la divergencia de una cantidad escalar. Por lo tanto:

 

Rotacional del gradiente es cero editar

El rotacional del gradiente de cualquier campo escalar continuamente dos veces diferenciable.   (es decir, clase de diferenciabilidad  ) es siempre el vector cero

 
.

Se puede demostrar fácilmente expresando   en un sistema de coordenadas cartesianas con Teorema de Schwarz (también llamado teorema de Clairaut sobre igualdad de parciales mixtos). Este resultado es un caso especial de la desaparición del cuadrado de la derivada exterior en el De Rham complejo en cadena.

Rotacional del rotacional editar

 

Aquí ∇2 es el laplaciano vectorial que opera sobre el campo vectorial A'.

La curva de divergencia no está definida editar

La divergencia de un campo vectorial A es un escalar, y no se puede tomar el rizo de una cantidad escalar. Por lo tanto

 
 
Gráfico DCG:Algunas reglas para segundas derivadas.


Una regla mnemotecnia editar

La figura de la derecha es una nemotecnia para algunas de estas identidades. Las abreviaturas utilizadas son:

  • D: divergencia,
  • C: rotacional,
  • G: gradiente,
  • L: Laplaciano,
  • CC: rotacional del rotacional

Cada flecha está etiquetada con el resultado de una identidad, en concreto, el resultado de aplicar el operador de la cola de la flecha al operador de su cabeza. El círculo azul del centro significa que el rizo del rizo existe, mientras que los otros dos círculos rojos (discontinuos) significan que DD y GG no existen.

Resumen de identidades importantes editar

Diferenciación editar

  •  
  •  
  •  
  •  

Divergencia editar

  •  
  •  
  •  

Rotacional editar

  •  
  •  
  •  
  •  [5]

Vector punto del operador editar

  •  [6]
  •  

Segundas derivadas editar

  •  
  •  
  •   (Operador laplaciano)
  •   ( vector Laplacian)
  •  
  •  
  •  
  •  
  •   (Identidad vectorial de Green)

Terceras derivadas editar

  •  
  •  
  •  

Integración editar

A continuación, el símbolo ∂ significa "contorno de".

Integrales superficie-volumen editar

En los teoremas integrales superficie-volumen, V denota el volumen tridimensional correspondiente al contorno bidimensional S = ∂V (una superficie cerrada):

  •    (Teorema de la divergencia)
  •   
  •   
  •    (Primera identidad de Green)
  •   

     (Segunda identidad de Green)

Referencias editar

  1. Feynman, R. P.; Leighton, R. B.; Sands, M. (1964). The Feynman Lectures on Physics. Addison-Wesley. pp. Vol II, p. 27-4. ISBN 0-8053-9049-9. 
  2. Kholmetskii, A. L.; Missevitch, O. V. (2005). «The Faraday induction law in relativity theory». arXiv:physics/0504223. 
  3. Doran, C.; Lasenby, A. (2003). Geometric algebra for physicists. Cambridge University Press. p. 169. ISBN 978-0-521-71595-9. 
  4. Kelly, P. (2013). «Chapter 1.14 Tensor Calculus 1: Tensor Fields». Mechanics Lecture Notes Part III: Foundations of Continuum Mechanics. University of Auckland. Consultado el 7 de diciembre de 2017. 
  5. «lecture15.pdf». 
  6. Kuo, Kenneth K.; Acharya, Ragini (2012). Applications of turbulent and multi-phase combustion. Hoboken, N.J.: Wiley. p. 520. ISBN 9781118127575. doi:10.1002/9781118127575.app1. Archivado desde el original el 19 de abril de 2020. Consultado el 19 de abril de 2020.