Ir al contenido

Campo vectorial

De Wikipedia, la enciclopedia libre
Ejemplo de campo vectorial no conservativo cuyo rotacional no se anula.

En matemática y física, un campo vectorial representa la distribución espacial de una magnitud vectorial. Es una expresión de cálculo vectorial que asocia un vector a cada punto en el espacio euclidiano, de la forma .

Los campos vectoriales se utilizan en física, para representar la velocidad y la dirección de un fluido en el espacio, o la intensidad y la dirección de fuerzas como la gravitatoria o la fuerza electromagnética.

Como expresión matemática rigurosa, los campos vectoriales se definen en variedades diferenciables como secciones del fibrado tangente de la variedad. Este es el tipo de tratamiento necesario para modelizar el espacio-tiempo curvo de la teoría general de la relatividad por ejemplo.

Definición

[editar]

Un campo vectorial sobre un subconjunto del espacio euclidiano es una función con valores vectoriales:

Se dice que es un campo vectorial Ck si como función es k veces diferenciable con continuidad en X. Un campo vectorial se puede visualizar como un espacio X con un vector n- dimensional unido a cada punto en X.

Operaciones con campos vectoriales

[editar]

Dados dos campos vectoriales , y , definidos sobre X y una función Ck a valores reales f definida sobre X, se definen las operaciones producto por escalar y adición:

Debido a la linealidad de la función (F+G):

define el módulo de los campos vectoriales Ck sobre el anillo de las funciones Ck. Alternativamente el conjunto de todos los campos vectoriales sobre un determinado subconjunto X es en sí mismo un espacio vectorial.

Derivación y potenciales escalares y vectores

[editar]

Los campos vectoriales se deben comparar a los campos escalares, que asocian un número o escalar a cada punto en el espacio (o a cada punto de alguna variedad).

Las derivadas de un campo vectorial, que dan por resultado un campo escalar u otro campo vectorial, se llaman divergencia y rotor respectivamente. Recíprocamente:

  • Dado un campo vectorial cuyo rotacional se anula en un punto , existe un campo potencial escalar cuyo gradiente coincide con el campo escalar en un entorno de ese punto.
  • Dado un campo vectorial solenoidal cuya divergencia se anula en un punto, existe un campo vectorial llamado potencial vector cuyo rotacional coincide con el campo escalar en un entorno de ese punto.

Estas propiedades derivan del teorema de Poincaré.

Puntos estacionarios

[editar]

Un punto es estacionario si:

El conjunto de todos los espacios vectoriales definidos sobre un subconjunto X, que son estacionarios en un determinado punto forman un subespacio vectorial del conjunto del espacio vectorial definido en la sección anterior.

Ejemplos

[editar]
  • Un campo vectorial para el movimiento del aire en la tierra asociará a cada punto en la superficie de la tierra un vector con la velocidad y la dirección del viento en ese punto. Esto se puede dibujar usando flechas para representar el viento; la longitud (magnitud) de la flecha será una indicación de la velocidad del viento. Un "Alta" en la función usual de la presión barométrica actuaría así como una fuente (flechas saliendo), y un "Baja" será un sumidero (flechas que entran), puesto que el aire tiende a moverse desde las áreas de alta presión a las áreas de presión baja.
  • Un campo de velocidad de un líquido móvil. En este caso, un vector de velocidad se asocia a cada punto en el líquido. En un túnel de viento, las líneas de campo se pueden revelar usando humo.

Campo gradiente

[editar]

Los campos vectoriales se pueden construir a partir de campos escalares usando el operador diferencial vectorial gradiente que da lugar a la definición siguiente.

Un campo vectorial Ck F sobre X se llama un campo gradiente o campo conservativo si existe una función Ck+1 a valores reales f: XR (un campo escalar) de modo que

La integral curvilínea sobre cualquier curva cerrada (e.g. ) en un campo gradiente es siempre cero.

Campo central

[editar]

Un campo vectorial C sobre se llama campo central si puede encontrarse un punto tal que:

Donde es el grupo ortogonal. Se dice que los campos centrales son invariantes bajo transformaciones ortogonales alrededor de un punto S cuyo vector posición es . El punto S se llama el centro del campo.

Un campo central es siempre un campo gradiente, por los campos centrales pueden ser caracterizados más fácilmente mediante:

Donde es una función potencial que depende sólo de la distancia entre el punto donde se mide el campo y el "centro del campo".

Campo solenoidal

[editar]

Otros campos vectoriales se pueden construir a partir de un campo vectorial usando el operador diferencial vectorial rotacional que da lugar a la definición siguiente.

Un campo vectorial Ck F sobre X se llama un campo solenoidal si existe una función vectorial Ck+1 A: XRn (un campo vectorial) de modo que:

La integral de superficie o flujo cualquier superficie cerrada de un campo solenoidal es siempre cero.

Integral curvilínea

[editar]

Una técnica común en la física es integrar un campo vectorial a lo largo de una curva. Dado una partícula en un campo vectorial gravitacional, donde cada vector representa la fuerza que actúa en la partícula en ese punto del espacio, la integral curvilínea es el trabajo hecho sobre la partícula cuando viaja a lo largo de cierta trayectoria.

La integral curvilínea se construye análogamente a la integral de Riemann y existe si la curva es rectificable (tiene longitud finita) y el campo vectorial es continuo.

Dado un campo vectorial y una curva de a a b se define la integral curvilínea como

Algunas reglas simples para el cálculo de los integrales curvilíneas son

Curvas integrales

[editar]

Los campos vectoriales tienen una interpretación agradable en términos de ecuaciones diferenciales ordinarias de primer orden autónomas.

Dado un C0 campo vectorial F definido sobre X

podemos intentar definir curvas γ(t) sobre X de modo que para cada t en un intervalo I

y

Puesto en nuestra ecuación de campo vectorial conseguimos

lo que es la definición de una ecuación diferencial ordinaria de primer orden explícita con las curvas γ(t) como soluciones.

Si F es Lipschitz continua se puede encontrar una curva C¹ única γx para cada punto x en X de modo que

Las curvas γx se llaman las curvas integrales del campo vectorial F y particionan X en clases de equivalencia. No es siempre posible ampliar el intervalo (-µ, +µ) a la recta real total. El flujo puede por ejemplo alcanzar el borde de X en un tiempo finito.

Integrar el campo vectorial a lo largo de cualquier curva integral γ da

En dimensión 2 o tres se puede visualizar el campo vectorial como dando lugar a un flujo en X. Si dejamos caer una partícula en este flujo en el punto x se moverá a lo largo de una curva γx en el flujo dependiendo del punto inicial x. Si x es un punto estacionario en F entonces la partícula seguirá estacionaria.

Los usos típicos son aerodinámica en líquidos, flujo geodésico, los subgrupos uniparamétricos y la función exponencial en grupos de Lie.

Teorema de Poincaré

[editar]

El teorema de Poincaré sobre 1-formas exactas tiene varias consecuencias interesantes para los campos vectoriales:

  1. Si un campo vectorial cumple en algún punto P que , entonces el campo es localmente conservativo, es decir, existe un entorno de P donde se cumple que: , es decir, es localmente expresable como el gradiente de un campo escalar.
  2. Si un campo vectorial es solenoidal en un punto P: , entonces el campo localmente deriva de un potencial vector, es decir, existe un entorno de P donde se cumple que: .

Coordenadas enderezantes

[editar]

Dentro del contexto de la geometría diferencial, el teorema de existencia de coordenadas enderezantes nos dice lo siguiente: consideremos una variedad diferencial , un punto y campos vectoriales definidos en un entorno de tal que sean linealmente independientes entre sí. Si para todo par de índices , entonces existe una carta en un entorno de tal que para . Este teorema es aplicable en diversos contextos, incluyendo por ejemplo la resolución de ecuaciones diferenciales simplificando la expresión de éstas.

Demostración

[editar]

En primer lugar, tomemos una carta definida sobre el entorno tal que . Dado que los vectores son linealmente independientes por hipótesis, podemos componer una aplicación lineal de forma que . Vamos a tratar de construir un difeomorfismo entre dos entornos de tal que

Denotemos por a la expresión local del flujo del campo vectorial . Definimos para la función . Por la expresión de los campos, es claro que, como queríamos, . Tenemos que es el vector velocidad de la curva en . Esta es precisamente la curva integral de que pasa a tiempo 0 por el punto F(x). Es decir, .

Por tanto, obtenemos que para índices tenemos que . Por otro lado, tenemos que es el vector velocidad de la curva , donde la está en la posición -ésima. De forma análoga a lo anterior, llegamos a que . Extendiendo este argumento y combinándolo con lo anterior, llegamos a que para todo . Por tanto, la matriz de es la identidad. Aplicando el teorema de la función inversa, obtenemos que es un difeomorfismo de un entorno del punto .

Véase también

[editar]