Este artículo incluye una lista de referencias generales , pero carece de suficientes citas en línea correspondientes . ( Mayo de 2009 ) |
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 la 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 también es irrotacional ; en tres dimensiones, esto significa que tiene un rizo que se desvanece . 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 sistemas físicos en los que se conserva la energía . [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 una energía potencial que sea independiente de la trayectoria real tomada.
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; aparte 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, que puede considerarse como una cancelación a gran escala de todos los elementos que no tienen un componente a lo largo de la línea recta entre los dos puntos. Para visualizar esto, imaginemos a dos personas escalando un acantilado; una decide escalar el acantilado subiendo verticalmente y la segunda decide caminar por un camino sinuoso que es más largo que la altura del acantilado, pero con un pequeño ángulo con la horizontal. Aunque los dos excursionistas han 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.
La litografía Ascendiendo y descendiendo de MC Escher ilustra un campo vectorial no conservativo, que se ha diseñado de forma que parezca el gradiente de la altura variable sobre el suelo (potencial gravitacional) a medida que uno se mueve por la escalera. El campo de fuerza que experimenta quien se mueve por la escalera no es conservativo, ya que uno puede regresar al punto de partida mientras asciende más de lo que desciende o viceversa, lo que da como resultado un trabajo distinto de cero realizado por la gravedad. En una escalera real, la altura sobre el suelo es un campo potencial escalar: uno tiene que subir exactamente tanto como baja para volver al mismo lugar, en cuyo caso el trabajo de la gravedad es cero. Esto sugiere que el trabajo realizado en la escalera es independiente de la trayectoria; equivalentemente, el campo de fuerza experimentado es conservativo (véase la sección posterior: Independencia de la trayectoria y campo vectorial conservativo). La situación representada en la impresión es imposible.
Se dice que un campo vectorial , donde es un subconjunto abierto de , es conservativo si existe un campo escalar ( continuamente diferenciable ) [3] en tal que
Aquí, denota el gradiente de . Como es continuamente diferenciable, es continua. Cuando se cumple la ecuación anterior, se denomina potencial escalar para .
El teorema fundamental del cálculo vectorial establece que, bajo ciertas condiciones de regularidad, cualquier campo vectorial puede expresarse como la suma de un campo vectorial conservativo y un campo solenoidal .
Se dice que una integral de línea de un campo vectorial es independiente de la trayectoria si depende solo de dos puntos finales de la trayectoria integral, independientemente de qué trayectoria entre ellos se elija: [4]
para cualquier par de caminos integrales y entre un par dado de puntos finales de camino en .
La independencia de trayectoria también se expresa de manera equivalente como
para cualquier camino cerrado suave por partes en donde los dos puntos finales son coincidentes. Dos expresiones son equivalentes ya que cualquier camino cerrado puede estar formado por dos caminos; de un punto final a otro punto final , y de a , por lo que donde es el inverso de y la última igualdad se cumple debido a la independencia del camino
Una propiedad clave de un campo vectorial conservativo es que su integral a lo largo de una trayectoria depende únicamente de los puntos finales de esa trayectoria, 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 campo escalar ( continuamente diferenciable ) [3] sobre como un subconjunto abierto de (por lo que es un campo vectorial conservativo que es continuo) y es una trayectoria diferenciable (es decir, puede parametrizarse mediante 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 una 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 ortogonales (por ejemplo, coordenadas cartesianas , cilíndricas o esféricas ). Dado que el teorema del gradiente es aplicable para una trayectoria diferenciable, la independencia de la trayectoria de un campo vectorial conservativo sobre curvas diferenciales por partes 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. Por el contrario, si un campo vectorial continuo es independiente de la trayectoria (integral de línea), entonces es un campo vectorial conservativo , por lo que se cumple la siguiente afirmación bicondicional : [4]
La prueba de esta afirmación inversa es la siguiente.
es un campo vectorial continuo cuya integral de línea es independiente de la trayectoria. Luego, hagamos una función definida como sobre una trayectoria arbitraria entre un punto de inicio elegido y un punto arbitrario . Como es independiente de la trayectoria, depende únicamente de y sin importar qué trayectoria entre estos puntos se elija.
Elijamos la ruta que se muestra a la izquierda de la figura de la derecha, donde se utiliza un sistema de coordenadas cartesianas bidimensionales . El segundo segmento de esta ruta es paralelo al eje, por lo que no hay cambios a lo largo del eje. La integral de línea a lo largo de esta ruta es Por la independencia de la ruta, su derivada parcial con respecto a (para tener derivadas parciales, debe ser continua). es ya que y son independientes entre sí. Expresemos como donde y son vectores unitarios a lo largo de los ejes y respectivamente, entonces, ya que , donde la última igualdad es del segundo teorema fundamental del cálculo .
Un enfoque similar para la trayectoria integral de línea que se muestra a la derecha de la figura de la derecha da como resultado que se demuestra para el sistema de coordenadas cartesianas bidimensionales . Este método de prueba se puede ampliar directamente a un sistema de coordenadas ortogonales de mayor dimensión (por ejemplo, un sistema de coordenadas esféricas tridimensionales ) por lo que se demuestra el enunciado inverso. Aquí se encuentra otra prueba como el inverso del teorema del gradiente.
Sea (espacio tridimensional), y sea un campo vectorial ( continuamente diferenciable ), con un subconjunto abierto de . Entonces se llama irrotacional si su rotacional está en todas partes en , es decir, si
Por este motivo, a estos campos vectoriales se les denomina a veces campos vectoriales sin rizo o campos vectoriales sin rizo. También se les denomina campos vectoriales longitudinales .
Es una identidad del cálculo vectorial que para cualquier campo escalar ( continuamente diferenciable hasta la 2da derivada ) en , tenemos
Por lo tanto, todo campo vectorial conservativo en es también un campo vectorial irrotacional en . Este resultado se puede demostrar fácilmente expresando en un sistema de coordenadas cartesianas con el teorema de Schwarz (también llamado teorema de Clairaut sobre igualdad de parciales mixtos).
Siempre que sea un espacio abierto simplemente conexo (en términos generales, un espacio abierto de una sola pieza sin un agujero en su interior), el inverso de esto también es cierto: 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 conexo), es decir, . Ahora, definamos un campo vectorial en por
Entonces tiene rotacional 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 de trayectoria analizada anteriormente, por lo que no es conservador incluso si, dado que donde se define, no es un espacio abierto simplemente conexo.
Digamos de nuevo que, en una región abierta simplemente conexa, un campo vectorial irrotacional tiene la propiedad de independencia de trayectoria (por lo que es conservativo). Esto se puede demostrar directamente utilizando el teorema de Stokes , para cualquier superficie lisa orientada cuyo límite sea una trayectoria cerrada simple . Por lo tanto, se concluye que En una región abierta simplemente conexa, cualquier campo vectorial que tenga la propiedad de independencia de trayectoria (por lo que es un campo vectorial conservativo) también debe ser irrotacional y viceversa.
De manera más abstracta, en presencia de una métrica de Riemann , los campos vectoriales corresponden a las -formas diferenciales . Los campos vectoriales conservativos corresponden a las -formas exactas , es decir, a las formas que son la derivada exterior de una función (campo escalar) en . Los campos vectoriales irrotacionales corresponden a las -formas cerradas , es decir, a las -formas tales que . Como , cualquier forma exacta es cerrada, entonces cualquier campo vectorial conservativo es irrotacional. Por el contrario, todas las -formas cerradas son exactas si es simplemente conexo .
La vorticidad de un campo vectorial se puede definir mediante:
La vorticidad de un campo irrotacional es cero en todas partes. [6] El teorema de circulación de Kelvin establece que un fluido que es irrotacional en un flujo no viscoso seguirá siendo irrotacional. Este resultado se puede derivar de la ecuación de transporte de vorticidad , obtenida tomando el rotacional de las ecuaciones de Navier-Stokes .
En un campo bidimensional, la vorticidad actúa como una medida de la rotación local de los elementos del fluido. 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.
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 la fuerza gravitacional (asociada a un campo gravitacional) y la fuerza eléctrica (asociada a un campo electrostático). Según la ley de gravitación de Newton , una fuerza gravitacional que actúa sobre una masa debido a una masa ubicada a una distancia de , obedece a la ecuación
donde es la constante gravitacional y es un vector unitario que apunta desde hacia . La fuerza de gravedad es conservativa porque , donde
es la energía potencial gravitatoria . En otras palabras, el campo gravitatorio asociado con la fuerza gravitatoria es el gradiente del potencial gravitatorio asociado con la energía potencial gravitatoria . Se puede demostrar que cualquier campo vectorial de la forma es conservativo, siempre que sea integrable.
Para las fuerzas conservativas , la independencia de la trayectoria se puede interpretar en el sentido de que el trabajo realizado al ir de un punto a otro es independiente de la trayectoria de movimiento elegida (dependiente únicamente de los puntos y ), y que el trabajo realizado al recorrer un circuito 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 una cantidad igual de energía cinética, o viceversa.