Identidades matemáticas
Las siguientes son identidades importantes que involucran derivadas e integrales en el cálculo vectorial .
Notación del operador
Gradiente Para una función en variables de coordenadas cartesianas tridimensionales , el gradiente es el campo vectorial: f ( x , y , z ) {\displaystyle f(x,y,z)}
grad ( f ) = ∇ f = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) f = ∂ f ∂ x i + ∂ f ∂ y j + ∂ f ∂ z k {\displaystyle \operatorname {grad} (f)=\nabla f={\begin{pmatrix}\displaystyle {\frac {\partial }{\partial x}},\ {\frac {\partial }{\partial y}},\ {\frac {\partial }{\partial z}}\end{pmatrix}}f={\frac {\partial f}{\partial x}}\mathbf {i} +{\frac {\partial f}{\partial y}}\mathbf {j} +{\frac {\partial f}{\partial z}}\mathbf {k} } donde i , j , k son los vectores unitarios estándar para los ejes x , y , z . De manera más general, para una función de n variables , también llamada campo escalar , el gradiente es el campo vectorial :
donde son vectores unitarios mutuamente ortogonales. ψ ( x 1 , … , x n ) {\displaystyle \psi (x_{1},\ldots ,x_{n})} ∇ ψ = ( ∂ ∂ x 1 , … , ∂ ∂ x n ) ψ = ∂ ψ ∂ x 1 e 1 + ⋯ + ∂ ψ ∂ x n e n {\displaystyle \nabla \psi ={\begin{pmatrix}\displaystyle {\frac {\partial }{\partial x_{1}}},\ldots ,{\frac {\partial }{\partial x_{n}}}\end{pmatrix}}\psi ={\frac {\partial \psi }{\partial x_{1}}}\mathbf {e} _{1}+\dots +{\frac {\partial \psi }{\partial x_{n}}}\mathbf {e} _{n}} e i ( i = 1 , 2 , . . . , n ) {\displaystyle \mathbf {e} _{i}\,(i=1,2,...,n)}
Como su nombre lo 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 , también llamado campo tensorial de orden 1, el gradiente o derivada total es la matriz jacobiana n × n : A = ( A 1 , … , A n ) {\displaystyle \mathbf {A} =\left(A_{1},\ldots ,A_{n}\right)} J A = d A = ( ∇ A ) T = ( ∂ A i ∂ x j ) i j . {\displaystyle \mathbf {J} _{\mathbf {A} }=d\mathbf {A} =(\nabla \!\mathbf {A} )^{\textsf {T}}=\left({\frac {\partial A_{i}}{\partial x_{j}}}\right)_{\!ij}.}
Para un campo tensorial de cualquier orden k , el gradiente es un campo tensorial de orden k + 1. T {\displaystyle \mathbf {T} } grad ( T ) = d T = ( ∇ T ) T {\displaystyle \operatorname {grad} (\mathbf {T} )=d\mathbf {T} =(\nabla \mathbf {T} )^{\textsf {T}}}
Para un campo tensorial de orden k > 0, el campo tensorial de orden k + 1 se define por la relación recursiva
donde es un vector constante arbitrario. T {\displaystyle \mathbf {T} } ∇ T {\displaystyle \nabla \mathbf {T} } ( ∇ T ) ⋅ C = ∇ ( T ⋅ C ) {\displaystyle (\nabla \mathbf {T} )\cdot \mathbf {C} =\nabla (\mathbf {T} \cdot \mathbf {C} )} C {\displaystyle \mathbf {C} }
Divergencia En coordenadas cartesianas, la divergencia de un campo vectorial continuamente diferenciable es la función escalar: F = F x i + F y j + F z k {\displaystyle \mathbf {F} =F_{x}\mathbf {i} +F_{y}\mathbf {j} +F_{z}\mathbf {k} } div F = ∇ ⋅ F = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) ⋅ ( F x , F y , F z ) = ∂ F x ∂ x + ∂ F y ∂ y + ∂ F z ∂ z . {\displaystyle \operatorname {div} \mathbf {F} =\nabla \cdot \mathbf {F} ={\begin{pmatrix}\displaystyle {\frac {\partial }{\partial x}},\ {\frac {\partial }{\partial y}},\ {\frac {\partial }{\partial z}}\end{pmatrix}}\cdot {\begin{pmatrix}F_{x},\ F_{y},\ F_{z}\end{pmatrix}}={\frac {\partial F_{x}}{\partial x}}+{\frac {\partial F_{y}}{\partial y}}+{\frac {\partial F_{z}}{\partial z}}.}
Como su nombre lo indica, la divergencia es una medida (local) del grado en que divergen los vectores en el campo.
La divergencia de un campo tensorial de orden distinto de cero k se escribe como , una contracción de un campo tensorial de orden k − 1. Específicamente, la divergencia de un vector es un escalar. La divergencia de un campo tensorial de orden superior se puede encontrar descomponiendo el campo tensorial en una suma de productos externos y utilizando la identidad,
donde es la derivada direccional en la dirección de multiplicada por su magnitud. Específicamente, para el producto externo de dos vectores, T {\displaystyle \mathbf {T} } div ( T ) = ∇ ⋅ T {\displaystyle \operatorname {div} (\mathbf {T} )=\nabla \cdot \mathbf {T} } ∇ ⋅ ( A ⊗ T ) = T ( ∇ ⋅ A ) + ( A ⋅ ∇ ) T {\displaystyle \nabla \cdot \left(\mathbf {A} \otimes \mathbf {T} \right)=\mathbf {T} (\nabla \cdot \mathbf {A} )+(\mathbf {A} \cdot \nabla )\mathbf {T} } A ⋅ ∇ {\displaystyle \mathbf {A} \cdot \nabla } A {\displaystyle \mathbf {A} } ∇ ⋅ ( A B T ) = B ( ∇ ⋅ A ) + ( A ⋅ ∇ ) B . {\displaystyle \nabla \cdot \left(\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)=\mathbf {B} (\nabla \cdot \mathbf {A} )+(\mathbf {A} \cdot \nabla )\mathbf {B} .}
Para un campo tensorial de orden k > 1, el campo tensorial de orden k − 1 está definido por la relación recursiva
donde es un vector constante arbitrario. T {\displaystyle \mathbf {T} } ∇ ⋅ T {\displaystyle \nabla \cdot \mathbf {T} } ( ∇ ⋅ T ) ⋅ C = ∇ ⋅ ( T ⋅ C ) {\displaystyle (\nabla \cdot \mathbf {T} )\cdot \mathbf {C} =\nabla \cdot (\mathbf {T} \cdot \mathbf {C} )} C {\displaystyle \mathbf {C} }
Rizo En coordenadas cartesianas, para el rizo es el campo vectorial:
donde i , j y k son los vectores unitarios para los ejes x , y y z , respectivamente. F = F x i + F y j + F z k {\displaystyle \mathbf {F} =F_{x}\mathbf {i} +F_{y}\mathbf {j} +F_{z}\mathbf {k} } curl F = ∇ × F = ( ∂ ∂ x , ∂ ∂ y , ∂ ∂ z ) × ( F x , F y , F z ) = | i j k ∂ ∂ x ∂ ∂ y ∂ ∂ z F x F y F z | = ( ∂ F z ∂ y − ∂ F y ∂ z ) i + ( ∂ F x ∂ z − ∂ F z ∂ x ) j + ( ∂ F y ∂ x − ∂ F x ∂ y ) k {\displaystyle {\begin{aligned}\operatorname {curl} \mathbf {F} &=\nabla \times \mathbf {F} ={\begin{pmatrix}\displaystyle {\frac {\partial }{\partial x}},\ {\frac {\partial }{\partial y}},\ {\frac {\partial }{\partial z}}\end{pmatrix}}\times {\begin{pmatrix}F_{x},\ F_{y},\ F_{z}\end{pmatrix}}={\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\{\frac {\partial }{\partial x}}&{\frac {\partial }{\partial y}}&{\frac {\partial }{\partial z}}\\F_{x}&F_{y}&F_{z}\end{vmatrix}}\\[1em]&=\left({\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}\right)\mathbf {i} +\left({\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}\right)\mathbf {j} +\left({\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}\right)\mathbf {k} \end{aligned}}}
Como su nombre lo indica, el rizo es una medida de cuánto tienden los vectores cercanos a seguir una dirección circular.
En la notación de Einstein , el campo vectorial tiene un rotacional dado por:
donde = ±1 o 0 es el símbolo de paridad de Levi-Civita . F = ( F 1 , F 2 , F 3 ) {\displaystyle \mathbf {F} ={\begin{pmatrix}F_{1},\ F_{2},\ F_{3}\end{pmatrix}}} ∇ × F = ε i j k e i ∂ F k ∂ x j {\displaystyle \nabla \times \mathbf {F} =\varepsilon ^{ijk}\mathbf {e} _{i}{\frac {\partial F_{k}}{\partial x_{j}}}} ε {\displaystyle \varepsilon }
Para un campo tensorial de orden k > 1, el campo tensorial de orden k se define por la relación recursiva
donde es un vector constante arbitrario. T {\displaystyle \mathbf {T} } ∇ × T {\displaystyle \nabla \times \mathbf {T} } ( ∇ × T ) ⋅ C = ∇ × ( T ⋅ C ) {\displaystyle (\nabla \times \mathbf {T} )\cdot \mathbf {C} =\nabla \times (\mathbf {T} \cdot \mathbf {C} )} C {\displaystyle \mathbf {C} }
Un campo tensorial de orden mayor que uno puede descomponerse en una suma de productos externos , y luego puede usarse la siguiente identidad:
Específicamente, para el producto externo de dos vectores, ∇ × ( A ⊗ T ) = ( ∇ × A ) ⊗ T − A × ( ∇ T ) . {\displaystyle \nabla \times \left(\mathbf {A} \otimes \mathbf {T} \right)=(\nabla \times \mathbf {A} )\otimes \mathbf {T} -\mathbf {A} \times (\nabla \mathbf {T} ).} ∇ × ( A B T ) = ( ∇ × A ) B T − A × ( ∇ B ) . {\displaystyle \nabla \times \left(\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)=(\nabla \times \mathbf {A} )\mathbf {B} ^{\textsf {T}}-\mathbf {A} \times (\nabla \mathbf {B} ).}
Laplaciano En coordenadas cartesianas , el laplaciano de una función es f ( x , y , z ) {\displaystyle f(x,y,z)} Δ f = ∇ 2 f = ( ∇ ⋅ ∇ ) f = ∂ 2 f ∂ x 2 + ∂ 2 f ∂ y 2 + ∂ 2 f ∂ z 2 . {\displaystyle \Delta f=\nabla ^{2}\!f=(\nabla \cdot \nabla )f={\frac {\partial ^{2}\!f}{\partial x^{2}}}+{\frac {\partial ^{2}\!f}{\partial y^{2}}}+{\frac {\partial ^{2}\!f}{\partial z^{2}}}.}
El laplaciano es una medida de cuánto cambia una función en una pequeña esfera centrada en el punto.
Cuando el laplaciano es igual a 0, la función se denomina función armónica . Es decir, Δ f = 0. {\displaystyle \Delta f=0.}
Para un campo tensorial , , el Laplaciano generalmente se escribe como:
y es un campo tensorial del mismo orden. T {\displaystyle \mathbf {T} } Δ T = ∇ 2 T = ( ∇ ⋅ ∇ ) T {\displaystyle \Delta \mathbf {T} =\nabla ^{2}\mathbf {T} =(\nabla \cdot \nabla )\mathbf {T} }
Para un campo tensorial de orden k > 0, el campo tensorial de orden k se define por la relación recursiva
donde es un vector constante arbitrario. T {\displaystyle \mathbf {T} } ∇ 2 T {\displaystyle \nabla ^{2}\mathbf {T} } ( ∇ 2 T ) ⋅ C = ∇ 2 ( T ⋅ C ) {\displaystyle \left(\nabla ^{2}\mathbf {T} \right)\cdot \mathbf {C} =\nabla ^{2}(\mathbf {T} \cdot \mathbf {C} )} C {\displaystyle \mathbf {C} }
Notaciones especiales En la notación de subíndice de Feynman ,
donde la notación ∇ B B. [1] [2] ∇ B ( A ⋅ B ) = A × ( ∇ × B ) + ( A ⋅ ∇ ) B {\displaystyle \nabla _{\mathbf {B} }\!\left(\mathbf {A{\cdot }B} \right)=\mathbf {A} {\times }\!\left(\nabla {\times }\mathbf {B} \right)+\left(\mathbf {A} {\cdot }\nabla \right)\mathbf {B} }
Menos general pero similar es la notación de puntos de Hestenes en álgebra geométrica . [3] La identidad anterior se expresa entonces como:
donde los puntos definen el alcance de la derivada del vector. El vector punteado, en este caso B , se diferencia, mientras que el A (sin puntos) se mantiene constante. ∇ ˙ ( A ⋅ B ˙ ) = A × ( ∇ × B ) + ( A ⋅ ∇ ) B {\displaystyle {\dot {\nabla }}\left(\mathbf {A} {\cdot }{\dot {\mathbf {B} }}\right)=\mathbf {A} {\times }\!\left(\nabla {\times }\mathbf {B} \right)+\left(\mathbf {A} {\cdot }\nabla \right)\mathbf {B} }
La utilidad de la notación de subíndice de Feynman reside en su uso en la derivación de identidades derivadas de vectores y tensores, como en el siguiente ejemplo que utiliza la identidad algebraica C ⋅( A × B ) = ( C × A )⋅ B :
∇ ⋅ ( A × B ) = ∇ A ⋅ ( A × B ) + ∇ B ⋅ ( A × B ) = ( ∇ A × A ) ⋅ B + ( ∇ B × A ) ⋅ B = ( ∇ A × A ) ⋅ B − ( A × ∇ B ) ⋅ B = ( ∇ A × A ) ⋅ B − A ⋅ ( ∇ B × B ) = ( ∇ × A ) ⋅ B − A ⋅ ( ∇ × B ) {\displaystyle {\begin{aligned}\nabla \cdot (\mathbf {A} \times \mathbf {B} )&=\nabla _{\mathbf {A} }\cdot (\mathbf {A} \times \mathbf {B} )+\nabla _{\mathbf {B} }\cdot (\mathbf {A} \times \mathbf {B} )\\[2pt]&=(\nabla _{\mathbf {A} }\times \mathbf {A} )\cdot \mathbf {B} +(\nabla _{\mathbf {B} }\times \mathbf {A} )\cdot \mathbf {B} \\[2pt]&=(\nabla _{\mathbf {A} }\times \mathbf {A} )\cdot \mathbf {B} -(\mathbf {A} \times \nabla _{\mathbf {B} })\cdot \mathbf {B} \\[2pt]&=(\nabla _{\mathbf {A} }\times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\nabla _{\mathbf {B} }\times \mathbf {B} )\\[2pt]&=(\nabla \times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\nabla \times \mathbf {B} )\end{aligned}}} Un método alternativo es utilizar los componentes cartesianos del operador del de la siguiente manera:
∇ ⋅ ( A × B ) = e i ∂ i ⋅ ( A × B ) = e i ⋅ ( ∂ i A × B + A × ∂ i B ) = e i ⋅ ( ∂ i A × B ) + e i ⋅ ( A × ∂ i B ) = ( e i × ∂ i A ) ⋅ B + ( e i × A ) ⋅ ∂ i B = ( e i × ∂ i A ) ⋅ B − ( A × e i ) ⋅ ∂ i B = ( e i × ∂ i A ) ⋅ B − A ⋅ ( e i × ∂ i B ) = ( e i ∂ i × A ) ⋅ B − A ⋅ ( e i ∂ i × B ) = ( ∇ × A ) ⋅ B − A ⋅ ( ∇ × B ) {\displaystyle {\begin{aligned}\nabla \cdot (\mathbf {A} \times \mathbf {B} )&=\mathbf {e} _{i}\partial _{i}\cdot (\mathbf {A} \times \mathbf {B} )\\[2pt]&=\mathbf {e} _{i}\cdot (\partial _{i}\mathbf {A} \times \mathbf {B} +\mathbf {A} \times \partial _{i}\mathbf {B} )\\[2pt]&=\mathbf {e} _{i}\cdot (\partial _{i}\mathbf {A} \times \mathbf {B} )+\mathbf {e} _{i}\cdot (\mathbf {A} \times \partial _{i}\mathbf {B} )\\[2pt]&=(\mathbf {e} _{i}\times \partial _{i}\mathbf {A} )\cdot \mathbf {B} +(\mathbf {e} _{i}\times \mathbf {A} )\cdot \partial _{i}\mathbf {B} \\[2pt]&=(\mathbf {e} _{i}\times \partial _{i}\mathbf {A} )\cdot \mathbf {B} -(\mathbf {A} \times \mathbf {e} _{i})\cdot \partial _{i}\mathbf {B} \\[2pt]&=(\mathbf {e} _{i}\times \partial _{i}\mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\mathbf {e} _{i}\times \partial _{i}\mathbf {B} )\\[2pt]&=(\mathbf {e} _{i}\partial _{i}\times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\mathbf {e} _{i}\partial _{i}\times \mathbf {B} )\\[2pt]&=(\nabla \times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\nabla \times \mathbf {B} )\end{aligned}}} Otro método para derivar identidades de derivadas de vectores y tensores es reemplazar todas las ocurrencias de un vector en una identidad algebraica por el operador del, siempre que ninguna variable ocurra tanto dentro como fuera del alcance de un operador o tanto dentro del alcance de un operador en un término como fuera del alcance de otro operador en el mismo término (es decir, los operadores deben estar anidados). La validez de esta regla se desprende de la validez del método de Feynman, ya que uno siempre puede sustituir un del con subíndice y luego inmediatamente eliminar el subíndice bajo la condición de la regla. Por ejemplo, de la identidad A ⋅( B × C ) = ( A × B )⋅ C
podemos derivar A ⋅(∇× C ) = ( A ×∇)⋅ C pero no ∇⋅( B × C ) = (∇× B )⋅ C , ni de A ⋅( B × A ) = 0 podemos derivar A ⋅(∇× A ) = 0. Por otro lado, un del con subíndice opera sobre todas las ocurrencias del subíndice en el término, de modo que A ⋅(∇ A A ) = ∇ A A × A ) = ∇⋅( A × A ) = 0. Además, de A ×( A × C ) = A ( A ⋅ C ) − ( A ⋅ A ) C podemos derivar ∇×(∇× C ) = ∇(∇⋅ C ) − ∇ 2 C , pero de ( A ψ )⋅( A φ ) = ( A ⋅ A )( ψφ ) no podemos derivar (∇ ψ )⋅(∇ φ ) = ∇ 2 ( ψφ ).
En el resto de este artículo, se utilizará la notación de subíndice de Feynman cuando sea apropiado.
Identidades de primera derivada Para campos escalares , y campos vectoriales , , tenemos las siguientes identidades derivadas. ψ {\displaystyle \psi } ϕ {\displaystyle \phi } A {\displaystyle \mathbf {A} } B {\displaystyle \mathbf {B} }
Propiedades distributivas ∇ ( ψ + ϕ ) = ∇ ψ + ∇ ϕ ∇ ( A + B ) = ∇ A + ∇ B ∇ ⋅ ( A + B ) = ∇ ⋅ A + ∇ ⋅ B ∇ × ( A + B ) = ∇ × A + ∇ × B {\displaystyle {\begin{aligned}\nabla (\psi +\phi )&=\nabla \psi +\nabla \phi \\\nabla (\mathbf {A} +\mathbf {B} )&=\nabla \mathbf {A} +\nabla \mathbf {B} \\\nabla \cdot (\mathbf {A} +\mathbf {B} )&=\nabla \cdot \mathbf {A} +\nabla \cdot \mathbf {B} \\\nabla \times (\mathbf {A} +\mathbf {B} )&=\nabla \times \mathbf {A} +\nabla \times \mathbf {B} \end{aligned}}}
Propiedades asociativas de la primera derivada ( A ⋅ ∇ ) ψ = A ⋅ ( ∇ ψ ) ( A ⋅ ∇ ) B = A ⋅ ( ∇ B ) ( A × ∇ ) ψ = A × ( ∇ ψ ) ( A × ∇ ) B = A × ( ∇ B ) {\displaystyle {\begin{aligned}(\mathbf {A} \cdot \nabla )\psi &=\mathbf {A} \cdot (\nabla \psi )\\(\mathbf {A} \cdot \nabla )\mathbf {B} &=\mathbf {A} \cdot (\nabla \mathbf {B} )\\(\mathbf {A} \times \nabla )\psi &=\mathbf {A} \times (\nabla \psi )\\(\mathbf {A} \times \nabla )\mathbf {B} &=\mathbf {A} \times (\nabla \mathbf {B} )\end{aligned}}}
Regla del producto para la multiplicación por un escalar Tenemos las siguientes generalizaciones de la regla del producto en el cálculo de una sola variable .
∇ ( ψ ϕ ) = ϕ ∇ ψ + ψ ∇ ϕ ∇ ( ψ A ) = ( ∇ ψ ) A T + ψ ∇ A = ∇ ψ ⊗ A + ψ ∇ A ∇ ⋅ ( ψ A ) = ψ ∇ ⋅ A + ( ∇ ψ ) ⋅ A ∇ × ( ψ A ) = ψ ∇ × A + ( ∇ ψ ) × A ∇ 2 ( ψ ϕ ) = ψ ∇ 2 ϕ + 2 ∇ ψ ⋅ ∇ ϕ + ϕ ∇ 2 ψ {\displaystyle {\begin{aligned}\nabla (\psi \phi )&=\phi \,\nabla \psi +\psi \,\nabla \phi \\\nabla (\psi \mathbf {A} )&=(\nabla \psi )\mathbf {A} ^{\textsf {T}}+\psi \nabla \mathbf {A} \ =\ \nabla \psi \otimes \mathbf {A} +\psi \,\nabla \mathbf {A} \\\nabla \cdot (\psi \mathbf {A} )&=\psi \,\nabla {\cdot }\mathbf {A} +(\nabla \psi )\,{\cdot }\mathbf {A} \\\nabla {\times }(\psi \mathbf {A} )&=\psi \,\nabla {\times }\mathbf {A} +(\nabla \psi ){\times }\mathbf {A} \\\nabla ^{2}(\psi \phi )&=\psi \,\nabla ^{2\!}\phi +2\,\nabla \!\psi \cdot \!\nabla \phi +\phi \,\nabla ^{2\!}\psi \end{aligned}}}
Regla del cociente para la división por un escalar ∇ ( ψ ϕ ) = ϕ ∇ ψ − ψ ∇ ϕ ϕ 2 ∇ ( A ϕ ) = ϕ ∇ A − ∇ ϕ ⊗ A ϕ 2 ∇ ⋅ ( A ϕ ) = ϕ ∇ ⋅ A − ∇ ϕ ⋅ A ϕ 2 ∇ × ( A ϕ ) = ϕ ∇ × A − ∇ ϕ × A ϕ 2 ∇ 2 ( ψ ϕ ) = ϕ ∇ 2 ψ − 2 ϕ ∇ ( ψ ϕ ) ⋅ ∇ ϕ − ψ ∇ 2 ϕ ϕ 2 {\displaystyle {\begin{aligned}\nabla \left({\frac {\psi }{\phi }}\right)&={\frac {\phi \,\nabla \psi -\psi \,\nabla \phi }{\phi ^{2}}}\\[1em]\nabla \left({\frac {\mathbf {A} }{\phi }}\right)&={\frac {\phi \,\nabla \mathbf {A} -\nabla \phi \otimes \mathbf {A} }{\phi ^{2}}}\\[1em]\nabla \cdot \left({\frac {\mathbf {A} }{\phi }}\right)&={\frac {\phi \,\nabla {\cdot }\mathbf {A} -\nabla \!\phi \cdot \mathbf {A} }{\phi ^{2}}}\\[1em]\nabla \times \left({\frac {\mathbf {A} }{\phi }}\right)&={\frac {\phi \,\nabla {\times }\mathbf {A} -\nabla \!\phi \,{\times }\,\mathbf {A} }{\phi ^{2}}}\\[1em]\nabla ^{2}\left({\frac {\psi }{\phi }}\right)&={\frac {\phi \,\nabla ^{2\!}\psi -2\,\phi \,\nabla \!\left({\frac {\psi }{\phi }}\right)\cdot \!\nabla \phi -\psi \,\nabla ^{2\!}\phi }{\phi ^{2}}}\end{aligned}}}
Regla de la cadena Sea una función de una variable de escalares a escalares, una curva parametrizada , una función de vectores a escalares y un campo vectorial. Tenemos los siguientes casos especiales de la regla de la cadena de múltiples variables . f ( x ) {\displaystyle f(x)} r ( t ) = ( x 1 ( t ) , … , x n ( t ) ) {\displaystyle \mathbf {r} (t)=(x_{1}(t),\ldots ,x_{n}(t))} ϕ : R n → R {\displaystyle \phi \!:\mathbb {R} ^{n}\to \mathbb {R} } A : R n → R n {\displaystyle \mathbf {A} \!:\mathbb {R} ^{n}\to \mathbb {R} ^{n}}
∇ ( f ∘ ϕ ) = ( f ′ ∘ ϕ ) ∇ ϕ ( r ∘ f ) ′ = ( r ′ ∘ f ) f ′ ( ϕ ∘ r ) ′ = ( ∇ ϕ ∘ r ) ⋅ r ′ ( A ∘ r ) ′ = r ′ ⋅ ( ∇ A ∘ r ) ∇ ( ϕ ∘ A ) = ( ∇ A ) ⋅ ( ∇ ϕ ∘ A ) ∇ ⋅ ( r ∘ ϕ ) = ∇ ϕ ⋅ ( r ′ ∘ ϕ ) ∇ × ( r ∘ ϕ ) = ∇ ϕ × ( r ′ ∘ ϕ ) {\displaystyle {\begin{aligned}\nabla (f\circ \phi )&=\left(f'\circ \phi \right)\nabla \phi \\(\mathbf {r} \circ f)'&=(\mathbf {r} '\circ f)f'\\(\phi \circ \mathbf {r} )'&=(\nabla \phi \circ \mathbf {r} )\cdot \mathbf {r} '\\(\mathbf {A} \circ \mathbf {r} )'&=\mathbf {r} '\cdot (\nabla \mathbf {A} \circ \mathbf {r} )\\\nabla (\phi \circ \mathbf {A} )&=(\nabla \mathbf {A} )\cdot (\nabla \phi \circ \mathbf {A} )\\\nabla \cdot (\mathbf {r} \circ \phi )&=\nabla \phi \cdot (\mathbf {r} '\circ \phi )\\\nabla \times (\mathbf {r} \circ \phi )&=\nabla \phi \times (\mathbf {r} '\circ \phi )\end{aligned}}} Para una transformación vectorial tenemos: x : R n → R n {\displaystyle \mathbf {x} \!:\mathbb {R} ^{n}\to \mathbb {R} ^{n}}
∇ ⋅ ( A ∘ x ) = t r ( ( ∇ x ) ⋅ ( ∇ A ∘ x ) ) {\displaystyle \nabla \cdot (\mathbf {A} \circ \mathbf {x} )=\mathrm {tr} \left((\nabla \mathbf {x} )\cdot (\nabla \mathbf {A} \circ \mathbf {x} )\right)} Aquí tomamos la traza del producto escalar de dos tensores de segundo orden, que corresponde al producto de sus matrices.
Regla del producto escalar ∇ ( A ⋅ B ) = ( A ⋅ ∇ ) B + ( B ⋅ ∇ ) A + A × ( ∇ × B ) + B × ( ∇ × A ) = A ⋅ J B + B ⋅ J A = ( ∇ B ) ⋅ A + ( ∇ A ) ⋅ B {\displaystyle {\begin{aligned}\nabla (\mathbf {A} \cdot \mathbf {B} )&\ =\ (\mathbf {A} \cdot \nabla )\mathbf {B} \,+\,(\mathbf {B} \cdot \nabla )\mathbf {A} \,+\,\mathbf {A} {\times }(\nabla {\times }\mathbf {B} )\,+\,\mathbf {B} {\times }(\nabla {\times }\mathbf {A} )\\&\ =\ \mathbf {A} \cdot \mathbf {J} _{\mathbf {B} }+\mathbf {B} \cdot \mathbf {J} _{\mathbf {A} }\ =\ (\nabla \mathbf {B} )\cdot \mathbf {A} \,+\,(\nabla \mathbf {A} )\cdot \mathbf {B} \end{aligned}}} donde denota la matriz jacobiana del campo vectorial . J A = ( ∇ A ) T = ( ∂ A i / ∂ x j ) i j {\displaystyle \mathbf {J} _{\mathbf {A} }=(\nabla \!\mathbf {A} )^{\textsf {T}}=(\partial A_{i}/\partial x_{j})_{ij}} A = ( A 1 , … , A n ) {\displaystyle \mathbf {A} =(A_{1},\ldots ,A_{n})}
Alternativamente, utilizando la notación de subíndice de Feynman,
∇ ( A ⋅ B ) = ∇ A ( A ⋅ B ) + ∇ B ( A ⋅ B ) . {\displaystyle \nabla (\mathbf {A} \cdot \mathbf {B} )=\nabla _{\mathbf {A} }(\mathbf {A} \cdot \mathbf {B} )+\nabla _{\mathbf {B} }(\mathbf {A} \cdot \mathbf {B} )\ .} Véase estas notas. [4]
Como caso especial, cuando A = B
1 2 ∇ ( A ⋅ A ) = A ⋅ J A = ( ∇ A ) ⋅ A = ( A ⋅ ∇ ) A + A × ( ∇ × A ) = A ∇ A . {\displaystyle {\tfrac {1}{2}}\nabla \left(\mathbf {A} \cdot \mathbf {A} \right)\ =\ \mathbf {A} \cdot \mathbf {J} _{\mathbf {A} }\ =\ (\nabla \mathbf {A} )\cdot \mathbf {A} \ =\ (\mathbf {A} {\cdot }\nabla )\mathbf {A} \,+\,\mathbf {A} {\times }(\nabla {\times }\mathbf {A} )\ =\ A\nabla A.} La generalización de la fórmula del producto escalar a las variedades de Riemann es una propiedad definitoria de una conexión de Riemann , que diferencia un campo vectorial para dar una 1-forma con valor vectorial .
Regla del producto vectorial ∇ ( A × B ) = ( ∇ A ) × B − ( ∇ B ) × A ∇ ⋅ ( A × B ) = ( ∇ × A ) ⋅ B − A ⋅ ( ∇ × B ) ∇ × ( A × B ) = A ( ∇ ⋅ B ) − B ( ∇ ⋅ A ) + ( B ⋅ ∇ ) A − ( A ⋅ ∇ ) B = A ( ∇ ⋅ B ) + ( B ⋅ ∇ ) A − ( B ( ∇ ⋅ A ) + ( A ⋅ ∇ ) B ) = ∇ ⋅ ( B A T ) − ∇ ⋅ ( A B T ) = ∇ ⋅ ( B A T − A B T ) A × ( ∇ × B ) = ∇ B ( A ⋅ B ) − ( A ⋅ ∇ ) B = A ⋅ J B − ( A ⋅ ∇ ) B = ( ∇ B ) ⋅ A − A ⋅ ( ∇ B ) = A ⋅ ( J B − J B T ) ( A × ∇ ) × B = ( ∇ B ) ⋅ A − A ( ∇ ⋅ B ) = A × ( ∇ × B ) + ( A ⋅ ∇ ) B − A ( ∇ ⋅ B ) ( A × ∇ ) ⋅ B = A ⋅ ( ∇ × B ) {\displaystyle {\begin{aligned}\nabla (\mathbf {A} \times \mathbf {B} )&\ =\ (\nabla \mathbf {A} )\times \mathbf {B} \,-\,(\nabla \mathbf {B} )\times \mathbf {A} \\[5pt]\nabla \cdot (\mathbf {A} \times \mathbf {B} )&\ =\ (\nabla {\times }\mathbf {A} )\cdot \mathbf {B} \,-\,\mathbf {A} \cdot (\nabla {\times }\mathbf {B} )\\[5pt]\nabla \times (\mathbf {A} \times \mathbf {B} )&\ =\ \mathbf {A} (\nabla {\cdot }\mathbf {B} )\,-\,\mathbf {B} (\nabla {\cdot }\mathbf {A} )\,+\,(\mathbf {B} {\cdot }\nabla )\mathbf {A} \,-\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \\[2pt]&\ =\ \mathbf {A} (\nabla {\cdot }\mathbf {B} )\,+\,(\mathbf {B} {\cdot }\nabla )\mathbf {A} \,-\,(\mathbf {B} (\nabla {\cdot }\mathbf {A} )\,+\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} )\\[2pt]&\ =\ \nabla {\cdot }\left(\mathbf {B} \mathbf {A} ^{\textsf {T}}\right)\,-\,\nabla {\cdot }\left(\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)\\[2pt]&\ =\ \nabla {\cdot }\left(\mathbf {B} \mathbf {A} ^{\textsf {T}}\,-\,\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)\\[5pt]\mathbf {A} \times (\nabla \times \mathbf {B} )&\ =\ \nabla _{\mathbf {B} }(\mathbf {A} {\cdot }\mathbf {B} )\,-\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \\[2pt]&\ =\ \mathbf {A} \cdot \mathbf {J} _{\mathbf {B} }\,-\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \\[2pt]&\ =\ (\nabla \mathbf {B} )\cdot \mathbf {A} \,-\,\mathbf {A} \cdot (\nabla \mathbf {B} )\\[2pt]&\ =\ \mathbf {A} \cdot (\mathbf {J} _{\mathbf {B} }\,-\,\mathbf {J} _{\mathbf {B} }^{\textsf {T}})\\[5pt](\mathbf {A} \times \nabla )\times \mathbf {B} &\ =\ (\nabla \mathbf {B} )\cdot \mathbf {A} \,-\,\mathbf {A} (\nabla {\cdot }\mathbf {B} )\\[2pt]&\ =\ \mathbf {A} \times (\nabla \times \mathbf {B} )\,+\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \,-\,\mathbf {A} (\nabla {\cdot }\mathbf {B} )\\[5pt](\mathbf {A} \times \nabla )\cdot \mathbf {B} &\ =\ \mathbf {A} \cdot (\nabla {\times }\mathbf {B} )\end{aligned}}} J B − J B T {\displaystyle \mathbf {J} _{\mathbf {B} }\,-\,\mathbf {J} _{\mathbf {B} }^{\textsf {T}}}
Identidades de segunda derivada
La divergencia del rizo es cero La divergencia del rizo de cualquier campo vectorial A continuamente dos veces diferenciable es siempre cero: ∇ ⋅ ( ∇ × A ) = 0 {\displaystyle \nabla \cdot (\nabla \times \mathbf {A} )=0}
Este es un caso especial de desaparición del cuadrado de la derivada exterior en el complejo de cadena de De Rham .
La divergencia del gradiente es laplaciana El laplaciano de un campo escalar es la divergencia de su gradiente:
el resultado es una cantidad escalar. Δ ψ = ∇ 2 ψ = ∇ ⋅ ( ∇ ψ ) {\displaystyle \Delta \psi =\nabla ^{2}\psi =\nabla \cdot (\nabla \psi )}
La divergencia de la divergencia no está definida La divergencia de un campo vectorial A es un escalar, y la divergencia de una cantidad escalar no está definida. Por lo tanto, ∇ ⋅ ( ∇ ⋅ A ) is undefined. {\displaystyle \nabla \cdot (\nabla \cdot \mathbf {A} ){\text{ is undefined.}}}
El rizo del gradiente es cero El rizo del gradiente de cualquier campo escalar continuamente dos veces diferenciable (es decir, clase de diferenciabilidad ) es siempre el vector cero : φ {\displaystyle \varphi } C 2 {\displaystyle C^{2}} ∇ × ( ∇ φ ) = 0 . {\displaystyle \nabla \times (\nabla \varphi )=\mathbf {0} .}
Se puede demostrar fácilmente expresándolo en un sistema de coordenadas cartesianas con el 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 complejo de cadena de De Rham . ∇ × ( ∇ φ ) {\displaystyle \nabla \times (\nabla \varphi )}
Rizo de rizo ∇ × ( ∇ × A ) = ∇ ( ∇ ⋅ A ) − ∇ 2 A {\displaystyle \nabla \times \left(\nabla \times \mathbf {A} \right)\ =\ \nabla (\nabla {\cdot }\mathbf {A} )\,-\,\nabla ^{2\!}\mathbf {A} }
Aquí ∇ 2 es el laplaciano vectorial que opera sobre el campo vectorial A .
El rizo de divergencia no está definido La divergencia de un campo vectorial A es un escalar y el rotacional de una cantidad escalar no está definido. Por lo tanto, ∇ × ( ∇ ⋅ A ) is undefined. {\displaystyle \nabla \times (\nabla \cdot \mathbf {A} ){\text{ is undefined.}}}
Propiedades asociativas de la segunda derivada ( ∇ ⋅ ∇ ) ψ = ∇ ⋅ ( ∇ ψ ) = ∇ 2 ψ ( ∇ ⋅ ∇ ) A = ∇ ⋅ ( ∇ A ) = ∇ 2 A ( ∇ × ∇ ) ψ = ∇ × ( ∇ ψ ) = 0 ( ∇ × ∇ ) A = ∇ × ( ∇ A ) = 0 {\displaystyle {\begin{aligned}(\nabla \cdot \nabla )\psi &=\nabla \cdot (\nabla \psi )=\nabla ^{2}\psi \\(\nabla \cdot \nabla )\mathbf {A} &=\nabla \cdot (\nabla \mathbf {A} )=\nabla ^{2}\mathbf {A} \\(\nabla \times \nabla )\psi &=\nabla \times (\nabla \psi )=\mathbf {0} \\(\nabla \times \nabla )\mathbf {A} &=\nabla \times (\nabla \mathbf {A} )=\mathbf {0} \end{aligned}}} Gráfico DCG: Algunas reglas para segundas derivadas.
Un mnemotécnico La figura de la derecha es una mnemotecnia para algunas de estas identidades. Las abreviaturas utilizadas son:
D: divergencia, C: rizo, G: gradiente, L: Laplaciano, CC: rizo de rizo. Cada flecha está etiquetada con el resultado de una identidad, específicamente, el resultado de aplicar el operador en la cola de la flecha al operador en su punta. El círculo azul en el medio significa que existe el rizo del rizo, mientras que los otros dos círculos rojos (discontinuos) significan que DD y GG no existen.
Resumen de identidades importantes
Diferenciación
Gradiente ∇ ( ψ + ϕ ) = ∇ ψ + ∇ ϕ {\displaystyle \nabla (\psi +\phi )=\nabla \psi +\nabla \phi } ∇ ( ψ ϕ ) = ϕ ∇ ψ + ψ ∇ ϕ {\displaystyle \nabla (\psi \phi )=\phi \nabla \psi +\psi \nabla \phi } ∇ ( ψ A ) = ∇ ψ ⊗ A + ψ ∇ A {\displaystyle \nabla (\psi \mathbf {A} )=\nabla \psi \otimes \mathbf {A} +\psi \nabla \mathbf {A} } ∇ ( A ⋅ B ) = ( A ⋅ ∇ ) B + ( B ⋅ ∇ ) A + A × ( ∇ × B ) + B × ( ∇ × A ) {\displaystyle \nabla (\mathbf {A} \cdot \mathbf {B} )=(\mathbf {A} \cdot \nabla )\mathbf {B} +(\mathbf {B} \cdot \nabla )\mathbf {A} +\mathbf {A} \times (\nabla \times \mathbf {B} )+\mathbf {B} \times (\nabla \times \mathbf {A} )}
Divergencia ∇ ⋅ ( A + B ) = ∇ ⋅ A + ∇ ⋅ B {\displaystyle \nabla \cdot (\mathbf {A} +\mathbf {B} )=\nabla \cdot \mathbf {A} +\nabla \cdot \mathbf {B} } ∇ ⋅ ( ψ A ) = ψ ∇ ⋅ A + A ⋅ ∇ ψ {\displaystyle \nabla \cdot \left(\psi \mathbf {A} \right)=\psi \nabla \cdot \mathbf {A} +\mathbf {A} \cdot \nabla \psi } ∇ ⋅ ( A × B ) = ( ∇ × A ) ⋅ B − ( ∇ × B ) ⋅ A {\displaystyle \nabla \cdot \left(\mathbf {A} \times \mathbf {B} \right)=(\nabla \times \mathbf {A} )\cdot \mathbf {B} -(\nabla \times \mathbf {B} )\cdot \mathbf {A} }
Rizo ∇ × ( A + B ) = ∇ × A + ∇ × B {\displaystyle \nabla \times (\mathbf {A} +\mathbf {B} )=\nabla \times \mathbf {A} +\nabla \times \mathbf {B} } ∇ × ( ψ A ) = ψ ( ∇ × A ) − ( A × ∇ ) ψ = ψ ( ∇ × A ) + ( ∇ ψ ) × A {\displaystyle \nabla \times \left(\psi \mathbf {A} \right)=\psi \,(\nabla \times \mathbf {A} )-(\mathbf {A} \times \nabla )\psi =\psi \,(\nabla \times \mathbf {A} )+(\nabla \psi )\times \mathbf {A} } ∇ × ( ψ ∇ ϕ ) = ∇ ψ × ∇ ϕ {\displaystyle \nabla \times \left(\psi \nabla \phi \right)=\nabla \psi \times \nabla \phi } ∇ × ( A × B ) = A ( ∇ ⋅ B ) − B ( ∇ ⋅ A ) + ( B ⋅ ∇ ) A − ( A ⋅ ∇ ) B {\displaystyle \nabla \times \left(\mathbf {A} \times \mathbf {B} \right)=\mathbf {A} \left(\nabla \cdot \mathbf {B} \right)-\mathbf {B} \left(\nabla \cdot \mathbf {A} \right)+\left(\mathbf {B} \cdot \nabla \right)\mathbf {A} -\left(\mathbf {A} \cdot \nabla \right)\mathbf {B} } [5]
Operador Vector-punto-Del ( A ⋅ ∇ ) B = 1 2 [ ∇ ( A ⋅ B ) − ∇ × ( A × B ) − B × ( ∇ × A ) − A × ( ∇ × B ) − B ( ∇ ⋅ A ) + A ( ∇ ⋅ B ) ] {\displaystyle (\mathbf {A} \cdot \nabla )\mathbf {B} ={\frac {1}{2}}{\bigg [}\nabla (\mathbf {A} \cdot \mathbf {B} )-\nabla \times (\mathbf {A} \times \mathbf {B} )-\mathbf {B} \times (\nabla \times \mathbf {A} )-\mathbf {A} \times (\nabla \times \mathbf {B} )-\mathbf {B} (\nabla \cdot \mathbf {A} )+\mathbf {A} (\nabla \cdot \mathbf {B} ){\bigg ]}} [6] ( A ⋅ ∇ ) A = 1 2 ∇ | A | 2 − A × ( ∇ × A ) = 1 2 ∇ | A | 2 + ( ∇ × A ) × A {\displaystyle (\mathbf {A} \cdot \nabla )\mathbf {A} ={\frac {1}{2}}\nabla |\mathbf {A} |^{2}-\mathbf {A} \times (\nabla \times \mathbf {A} )={\frac {1}{2}}\nabla |\mathbf {A} |^{2}+(\nabla \times \mathbf {A} )\times \mathbf {A} } A ⋅ ∇ ( B ⋅ B ) = 2 B ⋅ ( A ⋅ ∇ ) B {\displaystyle \mathbf {A} \cdot \nabla (\mathbf {B} \cdot \mathbf {B} )=2\mathbf {B} \cdot (\mathbf {A} \cdot \nabla )\mathbf {B} }
Segundas derivadas ∇ ⋅ ( ∇ × A ) = 0 {\displaystyle \nabla \cdot (\nabla \times \mathbf {A} )=0} ∇ × ( ∇ ψ ) = 0 {\displaystyle \nabla \times (\nabla \psi )=\mathbf {0} } ∇ ⋅ ( ∇ ψ ) = ∇ 2 ψ {\displaystyle \nabla \cdot (\nabla \psi )=\nabla ^{2}\psi } Laplaciano escalar ) ∇ ( ∇ ⋅ A ) − ∇ × ( ∇ × A ) = ∇ 2 A {\displaystyle \nabla \left(\nabla \cdot \mathbf {A} \right)-\nabla \times \left(\nabla \times \mathbf {A} \right)=\nabla ^{2}\mathbf {A} } Laplaciano vectorial ) ∇ ⋅ ( ϕ ∇ ψ ) = ϕ ∇ 2 ψ + ∇ ϕ ⋅ ∇ ψ {\displaystyle \nabla \cdot (\phi \nabla \psi )=\phi \nabla ^{2}\psi +\nabla \phi \cdot \nabla \psi } ψ ∇ 2 ϕ − ϕ ∇ 2 ψ = ∇ ⋅ ( ψ ∇ ϕ − ϕ ∇ ψ ) {\displaystyle \psi \nabla ^{2}\phi -\phi \nabla ^{2}\psi =\nabla \cdot \left(\psi \nabla \phi -\phi \nabla \psi \right)} ∇ 2 ( ϕ ψ ) = ϕ ∇ 2 ψ + 2 ( ∇ ϕ ) ⋅ ( ∇ ψ ) + ( ∇ 2 ϕ ) ψ {\displaystyle \nabla ^{2}(\phi \psi )=\phi \nabla ^{2}\psi +2(\nabla \phi )\cdot (\nabla \psi )+\left(\nabla ^{2}\phi \right)\psi } ∇ 2 ( ψ A ) = A ∇ 2 ψ + 2 ( ∇ ψ ⋅ ∇ ) A + ψ ∇ 2 A {\displaystyle \nabla ^{2}(\psi \mathbf {A} )=\mathbf {A} \nabla ^{2}\psi +2(\nabla \psi \cdot \nabla )\mathbf {A} +\psi \nabla ^{2}\mathbf {A} } ∇ 2 ( A ⋅ B ) = A ⋅ ∇ 2 B − B ⋅ ∇ 2 A + 2 ∇ ⋅ ( ( B ⋅ ∇ ) A + B × ( ∇ × A ) ) {\displaystyle \nabla ^{2}(\mathbf {A} \cdot \mathbf {B} )=\mathbf {A} \cdot \nabla ^{2}\mathbf {B} -\mathbf {B} \cdot \nabla ^{2}\!\mathbf {A} +2\nabla \cdot ((\mathbf {B} \cdot \nabla )\mathbf {A} +\mathbf {B} \times (\nabla \times \mathbf {A} ))} Identidad vectorial de Green )
Derivadas terceras ∇ 2 ( ∇ ψ ) = ∇ ( ∇ ⋅ ( ∇ ψ ) ) = ∇ ( ∇ 2 ψ ) {\displaystyle \nabla ^{2}(\nabla \psi )=\nabla (\nabla \cdot (\nabla \psi ))=\nabla \left(\nabla ^{2}\psi \right)} ∇ 2 ( ∇ ⋅ A ) = ∇ ⋅ ( ∇ ( ∇ ⋅ A ) ) = ∇ ⋅ ( ∇ 2 A ) {\displaystyle \nabla ^{2}(\nabla \cdot \mathbf {A} )=\nabla \cdot (\nabla (\nabla \cdot \mathbf {A} ))=\nabla \cdot \left(\nabla ^{2}\mathbf {A} \right)} ∇ 2 ( ∇ × A ) = − ∇ × ( ∇ × ( ∇ × A ) ) = ∇ × ( ∇ 2 A ) {\displaystyle \nabla ^{2}(\nabla \times \mathbf {A} )=-\nabla \times (\nabla \times (\nabla \times \mathbf {A} ))=\nabla \times \left(\nabla ^{2}\mathbf {A} \right)}
Integración A continuación, el símbolo rizado ∂ significa " límite de " una superficie o sólido.
En los siguientes teoremas de integralidad de superficie-volumen, V denota un volumen tridimensional con un límite bidimensional correspondiente S = ∂ V (una superficie cerrada ):
∂ V {\displaystyle \scriptstyle \partial V} ψ d S = ∭ V ∇ ψ d V {\displaystyle \psi \,d\mathbf {S} \ =\ \iiint _{V}\nabla \psi \,dV} ∂ V {\displaystyle \scriptstyle \partial V} A ⋅ d S = ∭ V ∇ ⋅ A d V {\displaystyle \mathbf {A} \cdot d\mathbf {S} \ =\ \iiint _{V}\nabla \cdot \mathbf {A} \,dV} ( teorema de divergencia ) ∂ V {\displaystyle \scriptstyle \partial V} A × d S = − ∭ V ∇ × A d V {\displaystyle \mathbf {A} \times d\mathbf {S} \ =\ -\iiint _{V}\nabla \times \mathbf {A} \,dV} ∂ V {\displaystyle \scriptstyle \partial V} ψ ∇ φ ⋅ d S = ∭ V ( ψ ∇ 2 φ + ∇ φ ⋅ ∇ ψ ) d V {\displaystyle \psi \nabla \!\varphi \cdot d\mathbf {S} \ =\ \iiint _{V}\left(\psi \nabla ^{2}\!\varphi +\nabla \!\varphi \cdot \nabla \!\psi \right)\,dV} ( La primera identidad de Green ) ∂ V {\displaystyle \scriptstyle \partial V} ( ψ ∇ φ − φ ∇ ψ ) ⋅ d S = {\displaystyle \left(\psi \nabla \!\varphi -\varphi \nabla \!\psi \right)\cdot d\mathbf {S} \ =\ } ∂ V {\displaystyle \scriptstyle \partial V} ( ψ ∂ φ ∂ n − φ ∂ ψ ∂ n ) d S {\displaystyle \left(\psi {\frac {\partial \varphi }{\partial n}}-\varphi {\frac {\partial \psi }{\partial n}}\right)dS} = ∭ V ( ψ ∇ 2 φ − φ ∇ 2 ψ ) d V {\displaystyle \displaystyle \ =\ \iiint _{V}\left(\psi \nabla ^{2}\!\varphi -\varphi \nabla ^{2}\!\psi \right)\,dV} ( La segunda identidad de Green ) ∭ V A ⋅ ∇ ψ d V = {\displaystyle \iiint _{V}\mathbf {A} \cdot \nabla \psi \,dV\ =\ } ∂ V {\displaystyle \scriptstyle \partial V} ψ A ⋅ d S − ∭ V ψ ∇ ⋅ A d V {\displaystyle \psi \mathbf {A} \cdot d\mathbf {S} -\iiint _{V}\psi \nabla \cdot \mathbf {A} \,dV} integración por partes ) ∭ V ψ ∇ ⋅ A d V = {\displaystyle \iiint _{V}\psi \nabla \cdot \mathbf {A} \,dV\ =\ } ∂ V {\displaystyle \scriptstyle \partial V} ψ A ⋅ d S − ∭ V A ⋅ ∇ ψ d V {\displaystyle \psi \mathbf {A} \cdot d\mathbf {S} -\iiint _{V}\mathbf {A} \cdot \nabla \psi \,dV} integración por partes ) ∭ V A ⋅ ( ∇ × B ) d V = − {\displaystyle \iiint _{V}\mathbf {A} \cdot \left(\nabla \times \mathbf {B} \right)\,dV\ =\ -} ∂ V {\displaystyle \scriptstyle \partial V} ( A × B ) ⋅ d S + ∭ V ( ∇ × A ) ⋅ B d V {\displaystyle \left(\mathbf {A} \times \mathbf {B} \right)\cdot d\mathbf {S} +\iiint _{V}\left(\nabla \times \mathbf {A} \right)\cdot \mathbf {B} \,dV} integración por partes ) ∂ V {\displaystyle \scriptstyle \partial V} A × ( d S ⋅ ( B C T ) ) = ∭ V A × ( ∇ ⋅ ( B C T ) ) d V + ∭ V B ⋅ ( ∇ A ) × C d V {\displaystyle \mathbf {A} \times \left(d\mathbf {S} \cdot \left(\mathbf {B} \mathbf {C} ^{\textsf {T}}\right)\right)\ =\ \iiint _{V}\mathbf {A} \times \left(\nabla \cdot \left(\mathbf {B} \mathbf {C} ^{\textsf {T}}\right)\right)\,dV+\iiint _{V}\mathbf {B} \cdot (\nabla \mathbf {A} )\times \mathbf {C} \,dV} [7] ∭ V ( ∇ ⋅ B + B ⋅ ∇ ) A d V = {\displaystyle \iiint _{V}\left(\nabla \cdot \mathbf {B} +\mathbf {B} \cdot \nabla \right)\mathbf {A} \,dV\ =\ } ∂ V {\displaystyle \scriptstyle \partial V} ( B ⋅ d S ) A {\displaystyle \left(\mathbf {B} \cdot d\mathbf {S} \right)\mathbf {A} } [8]
En los siguientes teoremas de integrales de curva-superficie, S denota una superficie abierta 2d con un límite 1d correspondiente C = ∂ S (una curva cerrada ):
∮ ∂ S A ⋅ d ℓ = ∬ S ( ∇ × A ) ⋅ d S {\displaystyle \oint _{\partial S}\mathbf {A} \cdot d{\boldsymbol {\ell }}\ =\ \iint _{S}\left(\nabla \times \mathbf {A} \right)\cdot d\mathbf {S} } Teorema de Stokes ) ∮ ∂ S ψ d ℓ = − ∬ S ∇ ψ × d S {\displaystyle \oint _{\partial S}\psi \,d{\boldsymbol {\ell }}\ =\ -\iint _{S}\nabla \psi \times d\mathbf {S} } ∮ ∂ S A × d ℓ = − ∬ S ( ∇ A − ( ∇ ⋅ A ) 1 ) ⋅ d S = − ∬ S ( d S × ∇ ) × A {\displaystyle \oint _{\partial S}\mathbf {A} \times d{\boldsymbol {\ell }}\ =\ -\iint _{S}\left(\nabla \mathbf {A} -(\nabla \cdot \mathbf {A} )\mathbf {1} \right)\cdot d\mathbf {S} \ =\ -\iint _{S}\left(d\mathbf {S} \times \nabla \right)\times \mathbf {A} } ∮ ∂ S A × ( B × d ℓ ) = ∬ S ( ∇ × ( A B T ) ) ⋅ d S + ∬ S ( ∇ ⋅ ( B A T ) ) × d S {\displaystyle \oint _{\partial S}\mathbf {A} \times (\mathbf {B} \times d{\boldsymbol {\ell }})\ =\ \iint _{S}\left(\nabla \times \left(\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)\right)\cdot d\mathbf {S} +\iint _{S}\left(\nabla \cdot \left(\mathbf {B} \mathbf {A} ^{\textsf {T}}\right)\right)\times d\mathbf {S} } [9] ∮ ∂ S ( B ⋅ d ℓ ) A = ∬ S ( d S ⋅ [ ∇ × B − B × ∇ ] ) A {\displaystyle \oint _{\partial S}(\mathbf {B} \cdot d{\boldsymbol {\ell }})\mathbf {A} =\iint _{S}(d\mathbf {S} \cdot \left[\nabla \times \mathbf {B} -\mathbf {B} \times \nabla \right])\mathbf {A} } [10] La integración alrededor de una curva cerrada en el sentido de las agujas del reloj 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 ):
∂ S {\displaystyle {\scriptstyle \partial S}} A ⋅ d ℓ = − {\displaystyle \mathbf {A} \cdot d{\boldsymbol {\ell }}=-} ∂ S {\displaystyle {\scriptstyle \partial S}} A ⋅ d ℓ . {\displaystyle \mathbf {A} \cdot d{\boldsymbol {\ell }}.}
Integrales de curvas de puntos finales En los siguientes teoremas de integralidad de curva-punto final, P denota una trayectoria abierta 1d con puntos límite con signo 0d y la integración a lo largo de P es de a : q − p = ∂ P {\displaystyle \mathbf {q} -\mathbf {p} =\partial P} p {\displaystyle \mathbf {p} } q {\displaystyle \mathbf {q} }
ψ | ∂ P = ψ ( q ) − ψ ( p ) = ∫ P ∇ ψ ⋅ d ℓ {\displaystyle \psi |_{\partial P}=\psi (\mathbf {q} )-\psi (\mathbf {p} )=\int _{P}\nabla \psi \cdot d{\boldsymbol {\ell }}} teorema del gradiente ) A | ∂ P = A ( q ) − A ( p ) = ∫ P ( d ℓ ⋅ ∇ ) A {\displaystyle \mathbf {A} |_{\partial P}=\mathbf {A} (\mathbf {q} )-\mathbf {A} (\mathbf {p} )=\int _{P}\left(d{\boldsymbol {\ell }}\cdot \nabla \right)\mathbf {A} } A | ∂ P = A ( q ) − A ( p ) = ∫ P ( ∇ A ) ⋅ d ℓ + ∫ P ( ∇ × A ) × d ℓ {\displaystyle \mathbf {A} |_{\partial P}=\mathbf {A} (\mathbf {q} )-\mathbf {A} (\mathbf {p} )=\int _{P}\left(\nabla \mathbf {A} \right)\cdot d{\boldsymbol {\ell }}+\int _{P}\left(\nabla \times \mathbf {A} \right)\times d{\boldsymbol {\ell }}}
Integrales tensoriales Se puede obtener una forma tensorial de un teorema de integral vectorial reemplazando el vector (o uno de ellos) por un tensor, siempre que primero se haga que el vector aparezca solo como el vector más a la derecha de cada integrando. Por ejemplo, el teorema de Stokes se convierte en
∮ ∂ S d ℓ ⋅ T = ∬ S d S ⋅ ( ∇ × T ) {\displaystyle \oint _{\partial S}d{\boldsymbol {\ell }}\cdot \mathbf {T} \ =\ \iint _{S}d\mathbf {S} \cdot \left(\nabla \times \mathbf {T} \right)} Un campo escalar también puede tratarse como un vector y reemplazarse por un vector o tensor. Por ejemplo, la primera identidad de Green se convierte en
∂ V {\displaystyle \scriptstyle \partial V} ψ d S ⋅ ∇ A = ∭ V ( ψ ∇ 2 A + ∇ ψ ⋅ ∇ A ) d V {\displaystyle \psi \,d\mathbf {S} \cdot \nabla \!\mathbf {A} \ =\ \iiint _{V}\left(\psi \nabla ^{2}\!\mathbf {A} +\nabla \!\psi \cdot \nabla \!\mathbf {A} \right)\,dV} .Se aplican reglas similares a las fórmulas algebraicas y de diferenciación. Para las fórmulas algebraicas, se puede utilizar como alternativa la posición del vector más a la izquierda.
Véase también
Referencias ^ Feynman, RP; Leighton, RB; Sands, M. (1964). Las conferencias Feynman sobre física . Addison-Wesley. Vol. II, pág. 27-4. ISBN 0-8053-9049-9 ^ Kholmetskii, AL; Missevitch, OV (2005). "La ley de inducción de Faraday en la teoría de la relatividad". pág. 4. arXiv : physics/0504223 . ^ Doran, C. ; Lasenby, A. (2003). Álgebra geométrica para físicos . Cambridge University Press. pág. 169. ISBN 978-0-521-71595-9 ^ Kelly, P. (2013). "Capítulo 1.14 Cálculo tensorial 1: Campos tensoriales" (PDF) . Apuntes de clase de mecánica, parte III: Fundamentos de la mecánica del medio continuo. Universidad de Auckland . Consultado el 7 de diciembre de 2017 . ^ "conferencia15.pdf" (PDF) . ^ Kuo, Kenneth K.; Acharya, Ragini (2012). Aplicaciones de la combustión turbulenta y multifásica. Hoboken, NJ: Wiley. p. 520. doi :10.1002/9781118127575.app1. ISBN 9781118127575 . Consultado el 19 de abril de 2020 . ^ Page y Adams, págs. 65-66. ^ Wangsness, Roald K.; Cloud, Michael J. (1986). Campos electromagnéticos (2.ª edición). Wiley. ISBN 978-0-471-81186-2 ^ Page, Leigh; Adams, Norman Ilsley, Jr. (1940). Electrodinámica. Nueva York: D. Van Nostrand Company, Inc. págs. 44-45, ecuación (18-3). {{cite book }}: CS1 maint: multiple names: authors list (link)^ Pérez-Garrido, Antonio (2024). "Recuperación de teoremas poco utilizados del cálculo vectorial y su aplicación a problemas de electromagnetismo". American Journal of Physics . 92 (5): 354–359. arXiv : 2312.17268 . doi :10.1119/5.0182191.
Lectura adicional Balanis, Constantine A. (23 de mayo de 1989). Ingeniería avanzada en electromagnetismo . ISBN 0-471-62194-3 Schey, HM (1997). Div Grad Curl y todo eso: un texto informal sobre cálculo vectorial . WW Norton & Company. ISBN 0-393-96997-5 Griffiths, David J. (1999). Introducción a la electrodinámica . Prentice Hall. ISBN 0-13-805326-X 
![{\displaystyle {\begin{aligned}\operatorname {curl} \mathbf {F} &=\nabla \times \mathbf {F} ={\begin{pmatrix}\displaystyle {\frac {\parcial }{\parcial x}},\ {\frac {\parcial }{\parcial y}},\ {\frac {\parcial }{\parcial z}}\end{pmatrix}}\times {\begin{pmatrix}F_{x},\ F_{y},\ F_{z}\end{pmatrix}}={\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\{\frac {\parcial }{\parcial x}}&{\frac {\parcial }{\parcial y}}&{\frac {\parcial }{\parcial z}}\\F_{x}&F_{y}&F_{z}\end{vmatrix}}\\[1em]&=\left({\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}\right)\mathbf {i} +\left({\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}\right)\mathbf {j} +\left({\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}\right)\mathbf {k} \end{alineado}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8579a43f51c457ddcad8e559206bf6e1696b1419)
![{\displaystyle {\begin{aligned}\nabla \cdot (\mathbf {A} \times \mathbf {B} )&=\nabla _{\mathbf {A} }\cdot (\mathbf {A} \times \ mathbf {B} )+\nabla _{\mathbf {B} }\cdot (\mathbf {A} \times \mathbf {B} )\\[2pt]&=(\nabla _{\mathbf {A} } \times \mathbf {A} )\cdot \mathbf {B} +(\nabla _{\mathbf {B} }\times \mathbf {A} )\cdot \mathbf {B} \\[2pt]&=( \nabla _{\mathbf {A} }\times \mathbf {A} )\cdot \mathbf {B} -(\mathbf {A} \times \nabla _{\mathbf {B} })\cdot \mathbf {B} \\[2pt]&=(\nabla _{\mathbf {A} } \times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\nabla _{\mathbf {B} }\times \mathbf {B} )\\[2pt]&=( \nabla \times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\nabla \times \mathbf {B} )\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b2be73fb147d2d991b691c0322ec8602518462f)
![{\displaystyle {\begin{aligned}\nabla \cdot (\mathbf {A} \times \mathbf {B} )&=\mathbf {e} _{i}\parcial _{i}\cdot (\mathbf {A} \times \mathbf {B} )\\[2pt]&=\mathbf {e} _{i}\cdot (\parcial _{i}\mathbf {A} \times \mathbf {B} +\mathbf {A} \times \parcial _{i}\mathbf {B} )\\[2pt]&=\mathbf {e} _{i}\cdot (\parcial _{i}\mathbf {A} \times \mathbf {B} )+\mathbf {e} _{i}\cdot (\mathbf {A} \times \parcial _{i}\mathbf {B} )\\[2pt]&=(\mathbf {e} _{i}\times \partial _{i}\mathbf {A} )\cdot \mathbf {B} +(\mathbf {e} _{i}\times \mathbf {A} )\cdot \partial _{i}\mathbf {B} \\[2pt]&=(\mathbf {e} _{i}\times \partial _{i}\mathbf {A} )\cdot \mathbf {B} -(\mathbf {A} \times \mathbf {e} _{i})\cdot \partial _{i}\mathbf {B} \\[2pt]&=(\mathbf {e} _{i}\times \partial _{i}\mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\mathbf {e} _{i}\times \partial _{i}\mathbf {B} )\\[2pt]&=(\mathbf {e} _{i}\partial _{i}\times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\mathbf {e} _{i}\partial _{i}\times \mathbf {B} )\\[2pt]&=(\nabla \times \mathbf {A} )\cdot \mathbf {B} -\mathbf {A} \cdot (\nabla \times \mathbf {B} )\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f74c1ad36123a7e8211b72753ee1143e28264e49)
![{\displaystyle {\begin{aligned}\nabla \left({\frac {\psi }{\phi }}\right)&={\frac {\phi \,\nabla \psi -\psi \,\nabla \phi }{\phi ^{2}}}\\[1em]\nabla \left({\frac {\mathbf {A} }{\phi }}\right)&={\frac {\phi \, \nabla \mathbf {A} -\nabla \phi \otimes \mathbf {A} }{\phi ^{2}}}\\[1em]\nabla \cdot \left({\frac {\mathbf {A} }{\phi }}\right)&={\frac {\phi \,\nabla {\cdot }\mathbf {A} -\nabla \!\phi \cdot \mathbf {A} }{\phi ^{2}}}\\[1em]\nabla \times \left({\frac {\mathbf {A} }{\phi }}\right)&={\frac {\phi \,\nabla {\ veces }\mathbf {A} -\nabla \!\phi \,{\veces }\,\mathbf {A} }{\phi ^{2}}}\\[1em]\nabla ^{2}\left ({\frac {\psi }{\phi }}\derecha)&={\frac {\phi \,\nabla ^{2\!}\psi -2\,\phi \,\nabla \!\izquierda ({\frac {\psi }{\phi }}\right)\cdot \!\nabla \phi -\psi \,\nabla ^{2\!}\phi }{\phi ^{2}}}\ fin{alineado}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93a497c998c46163f4eb8615f7cf7c6793c2f475)
![{\displaystyle {\begin{aligned}\nabla (\mathbf {A} \times \mathbf {B} )&\ =\ (\nabla \mathbf {A} )\times \mathbf {B} \,-\, (\nabla \mathbf {B} )\times \mathbf {A} \\[5pt]\nabla \cdot (\mathbf {A} \times \mathbf {B} )&\ =\ (\nabla {\times } \mathbf {A} )\cdot \mathbf {B} \,-\,\mathbf {A} \cdot (\nabla {\times }\mathbf {B} )\\[5pt]\nabla \times (\mathbf {A} \times \mathbf {B} )&\ =\ \mathbf {A} (\nabla {\cdot }\mathbf {B} )\,-\,\mathbf {B} (\nabla {\cdot }\mathbf {A} )\,+\,(\mathbf {B} {\cdot }\nabla )\mathbf {A} \,-\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \\[2pt]&\ =\ \mathbf {A} (\nabla {\cdot } \mathbf {B} )\,+\,(\mathbf {B} {\cdot }\nabla )\mathbf {A} \,-\,(\mathbf {B} (\nabla {\cdot }\mathbf { A} )\,+\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} )\\[2pt]&\ =\ \nabla {\cdot }\left(\mathbf {B} \mathbf {A} ^{\textsf {T}}\right)\,-\,\nabla {\cdot }\left(\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)\\[2pt]&\ =\ \nabla {\cdot }\left(\mathbf {B} \mathbf {A} ^{\textsf {T}}\,-\,\mathbf {A} \mathbf {B} ^{\textsf {T}}\right)\\[5pt]\mathbf {A} \times ( \nabla \times \mathbf {B} )&\ =\ \nabla _{\mathbf {B} }(\mathbf {A} {\cdot }\mathbf {B} )\,-\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \\[2pt]&\ =\ \mathbf {A} \cdot \mathbf {J} _{ \mathbf {B} }\,-\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \\[2pt]&\ =\ (\nabla \mathbf {B} )\cdot \ mathbf {A} \,-\,\mathbf {A} \cdot (\nabla \mathbf {B} )\\[2pt]&\ =\ \mathbf {A} \cdot (\mathbf {J} _{\ mathbf {B} }\,-\,\mathbf {J} _{\mathbf {B} }^{\textsf {T}})\\[5pt](\mathbf {A} \times \nabla )\times \mathbf {B} &\ =\ (\nabla \mathbf {B} )\cdot \mathbf {A} \, -\,\mathbf {A} (\nabla {\cdot }\mathbf {B} )\\[2pt]&\ =\ \mathbf {A} \times (\nabla \times \mathbf {B} )\, +\,(\mathbf {A} {\cdot }\nabla )\mathbf {B} \,-\,\mathbf {A} (\nabla {\cdot }\mathbf {B} )\\[5pt]( \mathbf {A} \times \nabla )\cdot \mathbf {B} &\ =\ \mathbf {A} \cdot (\nabla {\times }\mathbf {B} )\end{alineado}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48f38185cdae9d925d8c98642858cba0a27a1f2f)
![{\displaystyle (\mathbf {A} \cdot \nabla )\mathbf {B} ={\frac {1}{2}}{\bigg [}\nabla (\mathbf {A} \cdot \mathbf {B} )-\nabla \times (\mathbf {A} \times \mathbf {B} )-\mathbf {B} \times (\nabla \times \mathbf {A} )-\mathbf {A} \times (\nabla \times \mathbf {B} )-\mathbf {B} (\nabla \cdot \mathbf {A} )+\mathbf {A} (\nabla \cdot \mathbf {B} ){\bigg ]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cd10d81d948e6fa928365812a1c43d2cb14330a)
![{\displaystyle \oint _{\partial S}(\mathbf {B} \cdot d{\boldsymbol {\ell }})\mathbf {A} =\iint _{S}(d\mathbf {S} \cdot \left[\nabla \times \mathbf {B} -\mathbf {B} \times \nabla \right])\mathbf {A} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/20c48d9c590a9b81aca2c1184cea2b05aad96283)
