El cálculo vectorial , o análisis vectorial , es un tipo de matemática avanzada que tiene aplicaciones prácticas en física e ingeniería . Se ocupa de la diferenciación e integración de campos vectoriales , principalmente en el espacio euclidiano tridimensional. El término cálculo vectorial se utiliza a veces como sinónimo del tema más amplio del cálculo multivariable , que abarca el cálculo vectorial, así como la diferenciación parcial y la integración múltiple . El cálculo vectorial juega un papel importante en la geometría diferencial y en el estudio de ecuaciones diferenciales parciales . Se utiliza ampliamente en física e ingeniería, especialmente en la descripción de campos electromagnéticos , campos gravitacionales y flujo de fluidos .
El cálculo vectorial fue desarrollado a partir del análisis de cuaterniones por J. Willard Gibbs y Oliver Heaviside cerca de finales del siglo XIX, y la mayor parte de la notación y la terminología fueron establecidas por Gibbs y Edwin Bidwell Wilson en su libro de 1901, Análisis vectorial . En la forma convencional que utiliza productos cruzados , el cálculo vectorial no se generaliza a dimensiones superiores, mientras que el enfoque alternativo del álgebra geométrica , que utiliza productos exteriores , sí lo hace (consulte § Generalizaciones a continuación para obtener más información).
Un campo escalar asocia un valor escalar a cada punto de un espacio. El escalar es un número matemático que representa una cantidad física . Ejemplos de campos escalares en aplicaciones incluyen la distribución de temperatura en el espacio, la distribución de presión en un fluido y campos cuánticos de espín cero (conocidos como bosones escalares ), como el campo de Higgs . Estos campos son el tema de la teoría de campos escalares .
Un campo vectorial es una asignación de un vector a cada punto de un espacio . [1] Un campo vectorial en el plano, por ejemplo, se puede visualizar como una colección de flechas con una magnitud y dirección determinadas, cada una de ellas unida a un punto en el plano. Los campos vectoriales se utilizan a menudo para modelar, por ejemplo, la velocidad y dirección de un fluido en movimiento a través del espacio, o la fuerza y dirección de alguna fuerza , como la fuerza magnética o gravitacional , a medida que cambia de un punto a otro. Esto se puede utilizar, por ejemplo, para calcular el trabajo realizado sobre una línea.
En tratamientos más avanzados, se distinguen además los campos pseudovectoriales y los campos pseudoescalares , que son idénticos a los campos vectoriales y a los campos escalares, excepto que cambian de signo bajo un mapa de inversión de orientación: por ejemplo, la curvatura de un campo vectorial es un campo pseudovectorial, y si uno refleja un campo vectorial, el rizo apunta en la dirección opuesta. Esta distinción se aclara y elabora en álgebra geométrica , como se describe a continuación.
Las operaciones algebraicas (no diferenciales) en el cálculo vectorial se denominan álgebra vectorial y se definen para un espacio vectorial y luego se aplican puntualmente a un campo vectorial. Las operaciones algebraicas básicas consisten en:
También se utilizan habitualmente los dos productos triples :
El cálculo vectorial estudia varios operadores diferenciales definidos en campos escalares o vectoriales, que normalmente se expresan en términos del operador del ( ), también conocido como "nabla". Los tres operadores vectoriales básicos son: [2]
También se utilizan comúnmente los dos operadores de Laplace:
Una cantidad llamada matriz jacobiana es útil para estudiar funciones cuando tanto el dominio como el rango de la función son multivariables, como un cambio de variables durante la integración.
Los tres operadores vectoriales básicos tienen teoremas correspondientes que generalizan el teorema fundamental del cálculo a dimensiones superiores:
En dos dimensiones, los teoremas de divergencia y rizo se reducen al teorema de Green:
Las aproximaciones lineales se utilizan para reemplazar funciones complicadas con funciones lineales que son casi iguales. Dada una función diferenciable f ( x , y ) con valores reales, se puede aproximar f ( x , y ) para ( x , y ) cerca de ( a , b ) mediante la fórmula
El lado derecho es la ecuación del plano tangente a la gráfica de z = f ( x , y ) en ( a , b ) .
Para una función continuamente diferenciable de varias variables reales , un punto P (es decir, un conjunto de valores para las variables de entrada, que se considera un punto en R n ) es crítico si todas las derivadas parciales de la función son cero en P , o, equivalentemente, si su gradiente es cero. Los valores críticos son los valores de la función en los puntos críticos.
Si la función es suave o, al menos, dos veces continuamente diferenciable, un punto crítico puede ser un máximo local , un mínimo local o un punto de silla . Los diferentes casos pueden distinguirse considerando los valores propios de la matriz de segundas derivadas de Hesse .
Según el teorema de Fermat , todos los máximos y mínimos locales de una función diferenciable ocurren en puntos críticos. Por lo tanto, para encontrar los máximos y mínimos locales, teóricamente basta con calcular los ceros del gradiente y los valores propios de la matriz de Hesse en estos ceros.
El cálculo vectorial es particularmente útil para estudiar:
El cálculo vectorial también se puede generalizar a otras variedades tridimensionales y espacios de dimensiones superiores .
El cálculo vectorial se define inicialmente para el espacio tridimensional euclidiano , que tiene una estructura adicional más allá de ser simplemente un espacio vectorial real tridimensional, a saber: una norma (que da una noción de longitud) definida a través de un producto interno (el producto escalar ), que en giro da una noción de ángulo, y una orientación , que da una noción de zurdo y diestro. Estas estructuras dan lugar a una forma de volumen , y también al producto vectorial , que se utiliza de forma generalizada en el cálculo vectorial.
El gradiente y la divergencia requieren solo el producto interno, mientras que el rizo y el producto cruzado también requieren que se tenga en cuenta la lateralidad del sistema de coordenadas (consulte Producto cruzado § Lateralidad para obtener más detalles).
El cálculo vectorial se puede definir en otros espacios vectoriales reales tridimensionales si tienen un producto interno (o más generalmente una forma simétrica no degenerada ) y una orientación; estos son menos datos que un isomorfismo del espacio euclidiano, ya que no requiere un conjunto de coordenadas (un marco de referencia), lo que refleja el hecho de que el cálculo vectorial es invariante bajo rotaciones (el grupo ortogonal especial SO(3) ).
De manera más general, el cálculo vectorial se puede definir en cualquier variedad de Riemann orientada tridimensional , o más generalmente en una variedad pseudo-riemanniana . Esta estructura simplemente significa que el espacio tangente en cada punto tiene un producto interno (más generalmente, una forma simétrica no degenerada) y una orientación, o más globalmente que hay un tensor métrico simétrico no degenerado y una orientación, y funciona porque el cálculo vectorial está definido. en términos de vectores tangentes en cada punto.
La mayoría de los resultados analíticos se entienden fácilmente, en una forma más general, utilizando la maquinaria de la geometría diferencial , de la cual el cálculo vectorial forma un subconjunto. Grad y div se generalizan inmediatamente a otras dimensiones, al igual que el teorema del gradiente, el teorema de la divergencia y el laplaciano (que produce análisis armónico ), mientras que curl y producto cruzado no se generalizan tan directamente.
Desde un punto de vista general, los diversos campos en el cálculo vectorial (tridimensional) se consideran uniformemente k campos vectoriales: los campos escalares son campos de 0 vectores, los campos vectoriales son campos de 1 vector, los campos pseudovectoriales son de 2 vectores campos y los campos pseudoescalares son campos de 3 vectores. En dimensiones superiores hay tipos adicionales de campos (escalar, vectorial, pseudovector o pseudoescalar correspondiente a 0 , 1 , n − 1 o n dimensiones, que es exhaustivo en la dimensión 3), por lo que no se puede trabajar solo con (pseudo)escalares y ( pseudo)vectores.
En cualquier dimensión, suponiendo una forma no degenerada, grad de una función escalar es un campo vectorial y div de un campo vectorial es una función escalar, pero sólo en la dimensión 3 o 7 [3] (y, trivialmente, en la dimensión 0 o 1 ) es el rizo de un campo vectorial, un campo vectorial, y solo en 3 o 7 dimensiones se puede definir un producto vectorial (las generalizaciones en otras dimensionalidades requieren que los vectores produzcan 1 vector, o son álgebras de Lie alternativas , que son bilineales antisimétricas más generales productos). La generalización de grad y div, y cómo se puede generalizar curl, se detalla en Curl § Generalizaciones ; en resumen, la curvatura de un campo vectorial es un campo bivectorial , que puede interpretarse como el álgebra de Lie ortogonal especial de rotaciones infinitesimales; sin embargo, esto no se puede identificar con un campo vectorial porque las dimensiones difieren: hay 3 dimensiones de rotaciones en 3 dimensiones, pero 6 dimensiones de rotaciones en 4 dimensiones (y, más generalmente, dimensiones de rotaciones en n dimensiones).
Hay dos generalizaciones alternativas importantes del cálculo vectorial. La primera, álgebra geométrica , utiliza k -campos vectoriales en lugar de campos vectoriales (en 3 dimensiones o menos, cada k -campo vectorial se puede identificar con una función escalar o un campo vectorial, pero esto no es cierto en dimensiones superiores). Esto reemplaza el producto cruzado, que es específico de 3 dimensiones, tomando dos campos vectoriales y dando como salida un campo vectorial, con el producto exterior , que existe en todas las dimensiones y toma dos campos vectoriales, dando como salida un bivector (2 -campo vectorial. Este producto produce álgebras de Clifford como estructura algebraica en espacios vectoriales (con una orientación y una forma no degenerada). El álgebra geométrica se utiliza principalmente en generalizaciones de la física y otros campos aplicados a dimensiones superiores.
La segunda generalización utiliza formas diferenciales ( k -campos covectoriales) en lugar de campos vectoriales o k -campos vectoriales, y se usa ampliamente en matemáticas, particularmente en geometría diferencial , topología geométrica y análisis armónicos , en particular dando como resultado la teoría de Hodge sobre pseudo-campos orientados. Variedades de Riemann. Desde este punto de vista, grad, curl y div corresponden a la derivada exterior de las formas 0, formas 1 y formas 2, respectivamente, y los teoremas clave del cálculo vectorial son todos casos especiales de la forma general de Stokes. ' teorema .
Desde el punto de vista de ambas generalizaciones, el cálculo vectorial identifica implícitamente objetos matemáticamente distintos, lo que hace la presentación más simple pero la estructura matemática subyacente y las generalizaciones menos claras. Desde el punto de vista del álgebra geométrica, el cálculo vectorial identifica implícitamente k -campos vectoriales con campos vectoriales o funciones escalares: 0-vectores y 3-vectores con escalares, 1-vectores y 2-vectores con vectores. Desde el punto de vista de las formas diferenciales, el cálculo vectorial identifica implícitamente k -formas con campos escalares o campos vectoriales: formas 0 y 3 con campos escalares, formas 1 y 2 con campos vectoriales. Así, por ejemplo, el curl toma naturalmente como entrada un campo vectorial o forma 1, pero naturalmente tiene como salida un campo o forma 2 vectores (por lo tanto, campo pseudovectorial), que luego se interpreta como un campo vectorial, en lugar de tomar directamente un campo vectorial a un campo vectorial; esto se refleja en la curvatura de un campo vectorial en dimensiones superiores que no tienen como salida un campo vectorial.
