¿Cómo se puede probar que una fuerza dada por las derivadas parciales de una función es independiente de la ruta?

Tiene alguna función [matemáticas] \ displaystyle U (x, y) [/ matemáticas]. También tenemos una fuerza [math] \ displaystyle {\ dfrac {\ partial U} {\ partial x}} \ hat \ imath + {\ dfrac {\ partial U} {\ partial y}} \ hat \ jmath [/ math ] Usaré estas y algunas herramientas del cálculo multivariante para mostrar que una fuerza conservadora [matemática] \ mathbf F [/ matemática] (es decir, una que es el gradiente de un campo escalar [matemático] U [/ matemático]) también es un fuerza independiente del camino (campo).


Necesitamos generalizar el teorema fundamental del cálculo a dimensiones superiores mayores que la línea [math] \ mathbb {R} [/ math]. Esto ha sido bien estudiado y se llama Teorema del gradiente .

Para comenzar, definamos la integral de la línea (sobre un campo vectorial) . Para algunos campos de fuerza (un campo vectorial), [math] \ mathbf F [/ math], tenemos una curva suave [math] C [/ math] que sigue alguna dirección [math] \ mathbf r [/ math] (Este podría ser el camino de una partícula). Tiene sentido que [math] \ mathbf r ‘(t) [/ math] (esto es equivalente a [math] \ frac {d \ mathbf r} {dt} [/ math]) es la trayectoria de nuestra partícula. Entonces tenemos la siguiente definición

[matemáticas] \ displaystyle \ int \ limits_C \ mathbf F (\ mathbf r) \ cdot d \ mathbf r = \ int_a ^ b \ mathbf F (\ mathbf r (t)) \ cdot \ mathbf r ‘(t) \, dt \ tag {1} [/ math]

Esta animación de Wikipedia explica la definición visualmente. Se acompaña con el siguiente título: “La partícula (en rojo) viaja desde el punto a al punto b a lo largo de una curva C en un campo vectorial F. A continuación, en el dial a la derecha, se muestran los vectores del campo desde la perspectiva de partícula. A medida que cambia la orientación, las flechas del eje giran para ilustrar los cambios en la referencia. La flecha azul es el vector de campo relativo a la orientación actual de la partícula.

El producto punto del vector de desplazamiento (en rojo) y el vector de campo (en azul) da como resultado el valor representado como una barra verde. Esta barra “barre” un área a medida que la partícula viaja a lo largo del camino. Esta área es equivalente a la integral de línea “.

Ahora, supongamos que este campo vectorial [math] \ mathbf F [/ math] es el gradiente de un campo escalar [math] U [/ math]. Esto significa que [math] \ mathbf F [/ math] es un campo vectorial conservador, o una fuerza conservadora.

[matemáticas] \ displaystyle \ nabla U = \ nabla U (x, y) = \ displaystyle {\ dfrac {\ partial U} {\ partial x}} \ hat \ imath + {\ dfrac {\ partial U} {\ partial y}} \ hat \ jmath = \ mathbf F \ tag {2} [/ math]

Ahora, observemos qué sucede cuando componimos la función de la partícula con respecto a algún parámetro (generalmente tiempo) [math] \ mathbf r (t) [/ math] con nuestro campo escalar [math] U [/ math].

[matemáticas] \ displaystyle (U \ circ \ mathbf r) (t) = U (\ mathbf r (t)) \ tag {3} [/ math]

Tomemos la derivada de esta composición con respecto a [math] t [/ math] teniendo en cuenta la regla de la cadena:

[matemáticas] \ displaystyle \ dfrac {d} {dt} U (\ mathbf r (t)) = \ dfrac {dU (\ mathbf r (t))} {dt} = \ underbrace {\ nabla U (\ mathbf r (t)) \ cdot \ mathbf r ‘(t)} _ \ text {regla de cadena multivariante} \ tag {4} [/ math]

Dijimos anteriormente que [math] \ displaystyle \ nabla U = \ mathbf F [/ math] para que podamos decir más

[matemáticas] \ displaystyle \ dfrac {dU (\ mathbf r (t))} {dt} = \ nabla U (\ mathbf r (t)) \ cdot \ mathbf r ‘(t) = \ mathbf F (\ mathbf r (t)) \ cdot \ mathbf r ‘(t) \ tag {5} [/ math]

Sin embargo, este es exactamente el integrando (la expresión dentro de la integral) para nuestra integral de línea definida anteriormente:

[matemáticas] \ displaystyle \ int \ limits_C \ mathbf F (\ mathbf r) \ cdot d \ mathbf r = \ int_a ^ b \ boxed {\ mathbf F (\ mathbf r (t)) \ cdot \ mathbf r ‘(t )} \, dt \ tag {1} [/ math]

Haz la sustitución:

[matemáticas] \ displaystyle \ int_a ^ b \ mathbf F (\ mathbf r (t)) \ cdot \ mathbf r ‘(t) \, dt = \ int_a ^ b \ dfrac {dU (\ mathbf r (t))} {dt} \, dt \ tag {6} [/ math]

Usando el teorema fundamental del cálculo , obtenemos

[matemáticas] \ displaystyle \ boxed {\ int \ limits_C \ mathbf F (\ mathbf r) \ cdot d \ mathbf r = \ int_a ^ b \ dfrac {dU (\ mathbf r (t))} {dt} \, dt = U (\ mathbf r (b)) – U (\ mathbf r (a))} \ tag {7} [/ math]

Entonces, en conclusión, independientemente de qué curva [matemática] C [/ matemática] decidimos tomar, nuestro trabajo o la integral sobre [matemática] \ displaystyle \ mathbf F = \ nabla U [/ matemática] depende solo de los puntos de [math] r (b) [/ math] y [math] r (a) [/ math] y NO depende de la ruta entre los dos puntos, lo que equivale a que sea independiente de la ruta. Una línea integral sobre un campo vectorial conservador ([math] \ displaystyle \ mathbf F = \ nabla U [/ math]) es independiente de la ruta .

Esto se puede demostrar notando que el vector de derivadas parciales de [math] U [/ math] es el gradiente [math] \ nabla U [/ math] y aplicando el teorema del gradiente.

Específicamente, considere un campo de fuerza [math] \ mathbf {F}: \ mathbb {R} ^ 3 \ rightarrow \ mathbb {R} ^ 3 [/ math], que satisface [math] \ mathbf {F} = \ nabla U [/ math] para alguna función potencial [math] U: \ mathbb {R} ^ 3 \ rightarrow \ mathbb {R} [/ math]. El campo de fuerza F que es independiente de la ruta es equivalente a decir que si tenemos dos puntos en el espacio, [math] \ mathbf {a} [/ math] y [math] \ mathbf {b} [/ math], ambos en [math ] \ mathbb {R} ^ 3 [/ math], luego para cualesquiera dos curvas [math] \ gamma_1 [/ math] y [math] \ gamma_2 [/ math], ambas yendo desde el punto [math] \ mathbf {a} [/ math] para señalar [math] \ mathbf {b} [/ math], la integral de línea [math] \ int _ {\ gamma_1} \ mathbf {F} \ cdot dx [/ math] es igual a la integral de línea [ math] \ int _ {\ gamma_2} \ mathbf {F} \ cdot dx [/ math].

Podemos mostrar esto aplicando el teorema del gradiente: la integral de línea del gradiente de una función es igual a la diferencia de valor entre el punto inicial y final: [matemáticas] \ int _ {\ gamma} \ nabla U \ cdot dx = U (\ mathbf {b}) – U (\ mathbf {a}) [/ math] para cualquier curva [math] \ gamma [/ math] desde [math] \ mathbf {a} [/ math] a [math] \ mathbf {b} [/ math]. Observe el paralelo con el teorema fundamental del cálculo para integrales unidimensionales.

Aplicando esto a la situación esbozada anteriormente, tenemos [math] \ int _ {\ gamma_1} \ mathbf {F} \ cdot dx = \ int _ {\ gamma_1} \ nabla U \ cdot dx = U (\ mathbf {b}) – U (\ mathbf {a}) = \ int _ {\ gamma_2} \ nabla U \ cdot dx = \ int _ {\ gamma_2} \ mathbf {F} \ cdot dx [/ math], lo que muestra que la línea es integral sobre un campo de fuerza es decir, el gradiente de un potencial es un camino independiente.

En la práctica, esto significa que para cualquier objeto que se mueva a través de dicho campo de fuerza, se conserva la energía. Ejemplos de fuerzas conservativas (que pueden expresarse como el gradiente de un potencial) son la gravedad no relativista y la fuerza electrostática clásica.

¡Espero que esto ayude!

Realmente quiero responder a esta pregunta, pero soy nuevo en quora y no conozco la sintaxis de todos los diferentes símbolos matemáticos. Así que escribiré un útil sustituto basado en texto para la notación adecuada.

Su fuerza es conservadora si es el gradiente de alguna función escalar.

gradiente de U (x, y) = (derivada parcial con respecto a x) .i-hat + (derivada parcial con respecto a y) .j-hat

La definición de un campo vectorial conservador significa que el resultado de la siguiente integral de línea es independiente de la ruta desde el punto inicial al punto final:

W = integral sobre cualquier curva C ((ForceVector (x, y) producto de punto con (desplazamiento del vector de posición dr))

Se supone que W es constante sobre cualquier curva C con puntos finales idénticos, si ForceVector (x, y) = gradiente (U (x, y)). Esto se debe al teorema fundamental del cálculo para las integrales de línea. Este es el por qué:

desplazamiento del vector de posición dr = (scalar dx) .i-hat + (scalar dy) .j-hat

Si sustituimos ForceVector (x, y) con gradiente (U (x, y)) y (desplazamiento del vector de posición dr) con (scalar dx) .i-hat + (scalar dy) .j-hat, obtenemos:

W = integral sobre cualquier curva C ((gradiente (U (x, y)) producto de punto con ((scalar dx) .i-hat + (scalar dy) .j-hat))

Si sustituimos el gradiente (U (x, y)) en la ecuación anterior, obtenemos:

W = integral sobre cualquier curva C (((derivada parcial con respecto a x) .i-hat + (derivada parcial con respecto a y) .j-hat) dotproduct con ((scalar dx) .i-hat + (scalar dy ) .j-hat))

Tomando el producto punto, obtenemos:

W = integral sobre cualquier curva C ((derivada parcial con respecto a x) dx + (derivada parcial con respecto a y) dy)

Como nos estamos integrando sobre una línea / curva, nuestras coordenadas x e y son realmente funciones de un solo parámetro t. Insertaré esto en la ecuación para su posterior conveniencia:

W = integral sobre cualquier curva C ((derivada parcial con respecto a x (t)) dx + (derivada parcial con respecto a y (t)) dy)

Usando la regla de la cadena, sabemos que dx = (dx / dt) dt y dy = (dy / dt) dt. Sustituyendo estos diferenciales por los valores antes mencionados, obtenemos:

W = integral sobre cualquier curva C ((derivada parcial con respecto a x (t)) (dx / dt) dt + (derivada parcial con respecto a y (t)) (dy / dt) dt)

Factorizando dt, obtenemos:

W = integral sobre cualquier curva C (((derivada parcial con respecto a x (t)) (dx / dt) + (derivada parcial con respecto a y (t)) (dy / dt)) dt)

Reconocemos la expresión dentro de la integral como la derivada total de U (x (t), y (t)), que es una función de t. Reescribiendo nuestra expresión, esto es equivalente a:

W = integral sobre cualquier curva C ((dU / dt) dt)

Cuando nos integramos sobre la curva, simplemente estamos pasando de t inicial a t final, ya que la función traza la curva r (t) = x (t) .i-hat + y (t) .j -sombrero. Escribiendo nuestra expresión nuevamente:

W = integral de t-inicial a t-final ((dU / dt) dt) = U (t-final) – U (t-inicial)

Por lo tanto, el valor de W depende solo de los valores t finales e iniciales de cualquier curva arbitraria trazada por r (t) con valor vectorial. Por lo tanto, es independiente de la ruta siempre que el campo vectorial (en este caso, el campo de fuerza) sea el gradiente de una función escalar (en este caso llamada función potencial).