Campo vectorial conservativo

campo vectorial que es el gradiente de alguna función

En cálculo vectorial, un campo vectorial conservativo es un campo vectorial que es el gradiente de alguna función.[1]​ Un campo vectorial conservativo tiene la propiedad de que su integral de línea es independiente de la trayectoria; la elección de cualquier trayectoria entre dos puntos no cambia el valor de la integral de línea. La independencia de la trayectoria de la integral de línea es equivalente a que el campo vectorial bajo la integral de línea sea conservativo. Un campo vectorial conservativo es también irrotacional; en tres dimensiones, esto significa que tiene rotacional evanescente. Un campo vectorial irrotacional es necesariamente conservativo siempre que el dominio sea simplemente conexo.

Los campos vectoriales conservativos aparecen de forma natural en mecánica: Son campos vectoriales que representan fuerzas de sistema físicos en los que la energía es conservada.[2]​ Para un sistema conservativo, el trabajo realizado al moverse a lo largo de una trayectoria en un espacio de configuración depende únicamente de los puntos finales de la trayectoria, por lo que es posible definir energía potencial que sea independiente de la trayectoria real recorrida.

Tratamiento informal

editar

En un espacio bidimensional y tridimensional, existe una ambigüedad al tomar una integral entre dos puntos, ya que hay infinitos caminos entre los dos puntos: además de la línea recta formada entre los dos puntos, se podría elegir un camino curvo de mayor longitud, como se muestra en la figura. Por lo tanto, en general, el valor de la integral depende del camino tomado. Sin embargo, en el caso especial de un campo vectorial conservativo, el valor de la integral es independiente del camino tomado, lo que puede pensarse como una cancelación a gran escala de todos los elementos   que no tienen una componente a lo largo de la recta entre los dos puntos. Para visualizarlo, imaginemos a dos personas escalando un acantilado; una decide escalar el acantilado subiendo verticalmente por él, y la segunda decide caminar por un sendero sinuoso que es más largo en longitud que la altura del acantilado, pero con sólo un pequeño ángulo respecto a la horizontal. Aunque los dos excursionistas hayan tomado rutas diferentes para llegar a la cima del acantilado, en la cima ambos habrán ganado la misma cantidad de energía potencial gravitatoria. Esto se debe a que un campo gravitatorio es conservativo.

 
Descripción de dos posibles caminos a integrar. En verde está la trayectoria posible más sencilla; en azul se muestra una curva más enrevesada

.

Explicación intuitiva

editar

El grabado litográfico de M. C. Escher Ascendente y descendente ilustra un campo vectorial no conservativo, imposiblemente hecho para que parezca el gradiente de la altura variable sobre el suelo a medida que uno se mueve por la escalera. Es rotacional en el sentido de que uno puede seguir subiendo o bajando mientras da vueltas en círculos. No es conservativa, ya que se puede volver al punto de partida ascendiendo más de lo que se desciende o viceversa. En una escalera real, la altura sobre el suelo es un campo de potencial escalar: Si se vuelve al mismo lugar, se sube exactamente tanto como se baja. Su gradiente sería un campo vectorial conservativo y es irrotacional. La situación representada en el grabado es imposible.

Definición

editar

Un campo vectorial  , donde   es un subconjunto abierto de  , se dice que es conservativo si y sólo si existe un   campo escalar  (continuamente diferenciable)[3]​ sobre   tal que

 

Aquí,   denota el gradiente de  . Puesto que   es continuamente diferenciable,   es continua. Cuando la ecuación anterior se mantiene,   se llama un potencial escalar para  .

La teorema fundamental del cálculo vectorial establece que cualquier campo vectorial puede expresarse como la suma de un campo vectorial conservativo y un campo solenoidal.

Independencia de trayectoria y campo vectorial conservativo

editar

Independencia de trayectorias

editar

Una integral de línea de un campo vectorial   se dice que es independiente de la trayectoria si depende sólo de dos puntos, el inicial y final de la trayectoria integral independientemente de qué trayectoria entre ellos se elija:[4]​ siendo dr el elemento diferencial de la trayectoria:  

para cualquier par de trayectorias integrales   y   entre un par dado de puntos finales de trayectorias en  .

La independencia de la trayectoria también se expresa de forma equivalente como

  para cualquier trayectoria cerrada y suave   en   donde los dos puntos extremos son coincidentes. Las dos expresiones son equivalentes ya que cualquier trayectoria cerrada   puede realizarse por dos vías;   desde un punto final   hasta otro  , y   desde   a  , así que   donde   es la inversa de   y la última igualdad se mantiene debido a la independencia de la trayectoria

 

Campo vectorial conservativo

editar

Una propiedad clave de un campo vectorial conservativo   es que su integral a lo largo de un camino depende sólo de los puntos finales de ese camino, no de la ruta particular tomada. En otras palabras, si es un campo vectorial conservativo, entonces su integral de línea es independiente de la trayectoria. Supongamos que   para algún   (continuamente diferenciable) campo escalar  [3]​ sobre   como subconjunto abierto de   (por lo que   es un campo vectorial conservativo que es continuo) y   es un camino diferenciable (i. e., puede parametrizarse por una función diferenciable) en   con un punto inicial   y un punto terminal  . Entonces el teorema del gradiente (también llamado teorema fundamental del cálculo para integrales de línea) establece que  

Esto se cumple como consecuencia de la definición de integral de línea, la regla de la cadena y el segundo teorema fundamental del cálculo.   en la integral de línea es una diferencial exacta para un sistema de coordenadas ortogonal (por ejemplo, cartesianas, cilíndricas, o coordenadas esféricas). Dado que el teorema del gradiente es aplicable para una trayectoria diferenciable, la independencia de trayectoria de un campo vectorial conservativo sobre curvas diferenciales a trozos también se demuestra mediante la prueba por componente de curva diferenciable.[5]​.

Hasta ahora se ha demostrado que un campo vectorial conservativo   es independiente de la trayectoria de la integral de línea. A la inversa, si un campo vectorial continuo   es (integral de línea) trayectoria-independiente, entonces es un campo vectorial conservativo, por lo que la siguiente declaración bicondicional es válida:[4]

Para un campo vectorial continuo.  , donde   es un subconjunto abierto de  , es conservativo si y sólo si su integral de línea a lo largo de una trayectoria en   es independiente de la trayectoria, lo que significa que la integral de línea depende sólo de ambos puntos finales de la trayectoria independientemente de qué trayectoria entre ellos se elija.

La prueba de esta afirmación inversa es la siguiente.

 
Trayectorias integrales de línea utilizadas para demostrar la siguiente afirmación: si la integral de línea de un campo vectorial es independiente de la trayectoria, entonces el campo vectorial es un campo vectorial conservativo.

  es un campo vectorial continuo cuya integral de línea es independiente de la trayectoria. Entonces, hagamos una función   definida como   sobre una trayectoria arbitraria entre un punto inicial elegido   y un punto arbitrario  . Como es independiente del camino, sólo depende de   y   independientemente del camino que se elija entre estos puntos.

Elijamos el camino mostrado a la izquierda de la figura de la derecha donde se utiliza un sistema de coordenadas cartesianas bidimensional. El segundo segmento de esta trayectoria es paralelo al eje   por lo que no hay cambio a lo largo del eje  . La integral de línea a lo largo de esta trayectoria es   Por la independencia del camino, su derivada parcial con respecto a   (para que   tenga derivadas parciales,   tiene que ser continua.) es

  ya que   y   son independientes entre sí. Expresemos   como   donde   y   son vectores unitarios a lo largo de los ejes   e   respectivamente, entonces, desde  ,   donde la última igualdad es del segundo teorema fundamental del cálculo.

Un enfoque similar para la trayectoria integral lineal que se muestra a la derecha de la figura derecha resulta en   por lo que

 

para el sistema de coordenadas cartesianas bidimensional. Este método de demostración se puede ampliar directamente a un sistema de coordenadas ortogonales de mayor dimensión, por ejemplo, un sistema de coordenadas esférico de 3 dimensiones, de modo que se demuestra la afirmación inversa. Otra prueba se encuentra aquí como la inversa del teorema del gradiente.

Campos vectoriales irrotacionales

editar
Archivo:Irrotational vector field.svg
El campo vectorial anterior   definido en  , es decir,   con la eliminación de todas las coordenadas en el eje   (por lo que no es un espacio simplemente conectado), tiene rotacional cero en todas partes en   y por lo tanto es irrotacional. Sin embargo, no es conservador ni tiene independencia de trayectoria.

Sea   (espacio tridimensional), y sea   sea un campo vectorial   (continuamente diferenciable), con un subconjunto abierto   de  . Entonces   se llama irrotacional' si y sólo si su rotacional es   en todas partes en  , es decir, si

 

Por esta razón, tales campos vectoriales se denominan a veces campos vectoriales irrotacionales. También se denominan campos vectoriales longitudinales.

Es una identidad del cálculo vectorial que para cualquier campo escalar   (continuamente diferenciable hasta la 2ª derivada)   sobre  , tenemos  

Por tanto, todo campo vectorial   conservativo en   es también un campo vectorial irrotacional en  . Este resultado puede demostrarse fácilmente expresando   en un sistema de coordenadas cartesianas con Teorema de Schwarz (también llamado teorema de Clairaut sobre igualdad de parciales mixtos).

Siempre que   sea un espacio abierto simplemente conexo (a grandes rasgos, un espacio abierto de una sola pieza sin un agujero en su interior), la inversa de esto también es cierta: Todo campo vectorial irrotacional en un espacio abierto simplemente conexo   es un campo vectorial conservativo   en  .

La afirmación anterior no es cierta en general si   no es simplemente conexo. Sea     con la eliminación de todas las coordenadas en el  -eje (por lo que no es un espacio simplemente conectado), es decir,  . Ahora, defina un campo vectorial   en   por

  Entonces   tiene rizo cero en todas partes en   (  en todas partes en  ), es decir,   es irrotacional. Sin embargo, la circulación de   alrededor del círculo unitario en el plano   es  ; en coordenadas polares,  , por lo que la integral sobre el círculo unitario es  

Por lo tanto,   no tiene la propiedad de «independencia del camino», discutido anteriormente por lo que no es conservador, incluso si   desde   donde   se define no es un espacio abierto simplemente conectado.

Digamos de nuevo que, en una región abierta simplemente conectada, un campo vectorial irrotacional   tiene la propiedad de independencia de trayectoria (por tanto   como conservativo). Esto se puede demostrar directamente mediante el uso de teorema de Stokes, para cualquier superficie lisa orientada   cuyo límite sea un camino cerrado simple  . Así, se concluye que En una región abierta simplemente conectada, cualquier   campo vectorial que tenga la propiedad de independencia de trayectoria (por lo que es un campo vectorial conservativo.) debe ser también irrotacional y viceversa.

Abstracción

editar

Más abstractamente, en presencia de una métrica riemanniana, los campos vectoriales corresponden a formas diferenciales  }. Los campos vectoriales conservativos corresponden a las exactas  -formas, es decir, a las formas que son la derivada exterior   de una función (campo escalar)   sobre  . Los campos vectoriales irrotacionales corresponden a las cerradas  -formas, es decir, a las  -formas   tal que  . Como  , cualquier forma exacta es cerrada, por lo que cualquier campo vectorial conservativo es irrotacional. A la inversa, todas las formas   cerradas son exactas si   es simplemente conexo.

Vorticidad

editar

La vorticidad'   de un campo vectorial puede definirse por:

 

La vorticidad de un campo irrotacional es cero en todas partes.[6]​ El Teorema de la circulación de Kelvin afirma que un fluido que es irrotacional en un flujo no viscoso permanecerá irrotacional. Este resultado puede derivarse de la ecuación de transporte de vorticidad, obtenida tomando el rizo de las ecuaciones de Navier-Stokes.

Para un campo bidimensional, la vorticidad actúa como una medida de la rotación local de los elementos del fluido. Nótese que la vorticidad no implica nada sobre el comportamiento global de un fluido. Es posible que un fluido que se desplaza en línea recta tenga vorticidad, y es posible que un fluido que se desplaza en círculo sea irrotacional.

Fuerzas conservativas

editar
 
Ejemplos de campos de potencial y gradiente en física:
  •      Campos escalares, potenciales escalares:
    • VG, potencial gravitacional
    • Wpot, energía potencial (gravitatoria o electrostática)
    • VC, Potencial de Coulomb
  •      Campos vectoriales, campos de gradiente:
    • aG, aceleración gravitacional
    • F, Fuerza (gravitatoria o electrostática)
    • E, intensidad de campo eléctrico

Si el campo vectorial asociado a una fuerza   es conservativo, entonces se dice que la fuerza es una fuerza conservativa.

Los ejemplos más destacados de fuerzas conservativas son una fuerza gravitatoria y una fuerza eléctrica asociada a un campo electrostático. Según la ley de gravitación de Newton, una fuerza gravitatoria   que actúa sobre una masa   debida a una masa   situada a una distancia   de  , obedece a la ecuación

 

donde   es la constante de gravitación universal y   es un vector unitario que apunta desde   hacia  . La fuerza de la gravedad es conservativa porque  , donde

 

es la energía potencial gravitatoria. En otras palabras, el campo gravitatorio   asociado a la fuerza gravitatoria   es el gradiente del potencial gravitatorio   asociado a la energía potencial gravitatoria  . Puede demostrarse que cualquier campo vectorial de la forma   es conservativo, siempre que   sea integrable.

Para fuerza conservativas, la independencia de la trayectoria puede interpretarse como que el trabajo realizado al ir de un punto   a un punto   es independiente de la trayectoria de movimiento elegida (depende sólo de los puntos   y  ), y que el trabajo   realizado al recorrer un bucle cerrado simple   es  :

 

La energía total de una partícula que se mueve bajo la influencia de fuerzas conservativas se conserva, en el sentido de que una pérdida de energía potencial se convierte en igual cantidad de energía cinética, o viceversa.

Véase también

editar

Referencias

editar
  1. Marsden, Jerrold; Tromba, Anthony (2003). Cálculo vectorial (Quinta edición). W. H.Freedman and Company. pp. 550-561. 
  2. George B. Arfken y Hans J. Weber, Mathematical Methods for Physicists, 6ª edición, Elsevier Academic Press (2005)
  3. a b Para que   sea independiente de la trayectoria,   no es necesariamente continuamente diferenciable, la condición de ser diferenciable es suficiente, ya que el Teorema del gradiente, que prueba la independencia de trayectoria de  , no requiere que   sea continuamente diferenciable. Debe haber una razón para que la definición de campos vectoriales conservativos requiera que   sea continuamente diferenciable.
  4. a b Stewart, James (2015). «16. 3 El teorema fundamental de las integrales de línea"». Cálculo (en inglés) (8th edición). Cengage Learning. pp. 1127-1134. ISBN 978-1-285-74062-1. 
  5. Necesario verificar si también existen diferenciales exactas para sistemas de coordenadas no ortogonales.
  6. Liepmann, H.W.; Roshko, A. (1993), Elements of Gas Dynamics, Courier Dover Publications, ISBN 0-486-41963-0 ., pp. 194-196.

Bibliografía

editar