Las siguientes son identidades importantes que implican derivadas e integrales en el cálculo vectorial.
Notación operatoria
Gradiente
Artículo principal: Gradiente
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
Artículo principal: Divergencia (matemática)
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
Artículo principal: Rotacional
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 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
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
Para campos escalares , y campos vectoriales , , tenemos las siguientes identidades derivadas.
Propiedades distributivas
Regla del producto para la multiplicación por un escalar
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
Regla de la cadena
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.
Aquí tomamos la traza del producto de dos matrices n × n: el gradiente de A y el jacobiano de .
Regla del producto por puntos
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
Nótese que la matriz es antisimétrica.
Identidades de segunda derivada
La divergencia del rotacional es cero
La divergencia del rotacional de cualquiercampo vectorialA es siempre cero:
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
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
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.
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
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.
A continuación, el símbolo ∂ significa "contorno de".
Integrales superficie-volumen
En los teoremas integrales superficie-volumen, V denota el volumen tridimensional correspondiente al contorno bidimensional S = ∂V (una superficie cerrada):
En los siguientes teoremas de integrales curva-superficie, S denota una superficie abierta 2D con un límite 1D correspondiente C = ∂S (una curva cerrada):
La integración alrededor de una curva cerrada en el sentido horario es el negativo de la misma integral de línea en el sentido antihorario (análogo a intercambiar los límites en una integral definida)
Referencias
↑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.
↑Kholmetskii, A. L.; Missevitch, O. V. (2005). «The Faraday induction law in relativity theory». arXiv:physics/0504223.
↑Doran, C.; Lasenby, A. (2003). Geometric algebra for physicists. Cambridge University Press. p. 169. ISBN 978-0-521-71595-9.
↑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.
↑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.
↑Pérez-Garrido, Antonio (2024). «Recovering seldom-used theorems of vector calculus and their application to problems of electromagnetism». American Journal of Physics92 (5): 354-359. arXiv:2312.17268. doi:10.1119/5.0182191.