Campo vectorial conservativo
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
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Pathdependence.png/220px-Pathdependence.png)
.
Explicación intuitiva
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
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
Independencia de trayectorias
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
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a3/Line_Integral_paths_to_prove_the_Relation_between_Path_Independence_and_Conservative_Vector_Field%2C_2022-03-13.png/220px-Line_Integral_paths_to_prove_the_Relation_between_Path_Independence_and_Conservative_Vector_Field%2C_2022-03-13.png)
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
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
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
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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9d/Conservative_fields.png/330px-Conservative_fields.png)
- 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
Referencias
- ↑ Marsden, Jerrold; Tromba, Anthony (2003). Cálculo vectorial (Quinta edición). W. H.Freedman and Company. pp. 550–561.
- ↑ George B. Arfken y Hans J. Weber, Mathematical Methods for Physicists, 6ª edición, Elsevier Academic Press (2005)
- ↑ 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.
- ↑ 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.
- ↑ Necesario verificar si también existen diferenciales exactas para sistemas de coordenadas no ortogonales.
- ↑ Liepmann, H.W.; Roshko, A. (1993), Elements of Gas Dynamics, Courier Dover Publications, ISBN 0-486-41963-0., pp. 194-196.
Bibliografía
- Acheson, D. J. (1990). Elementary Fluid Dynamics. Oxford University Press. ISBN 0198596790.