Derivación de Landau de la energía cinética de una partícula libre: ¿expansión de una función?

Estaba leyendo un poco de Mecánica de Landau y Lifshitz el otro día y me topé con la siguiente parte, donde los autores están a punto de derivar la energía cinética de una partícula libre. Usan el hecho de que el Lagrangiano de esta partícula debe ser el mismo (o como máximo, diferir por la derivada total del tiempo de una función de coordenadas y tiempo) en diferentes marcos inerciales.

Tenemos L = L ( v 2 ) = L ( v 2 + 2 v ϵ + ϵ 2 ) . Ampliando esta expresión en poderes de ϵ y despreciando los términos por encima del primer orden, obtenemos

L ( v 2 ) = L ( v 2 ) + L ( v 2 ) ( v 2 ) 2 v ϵ .

Creo que estoy bien con toda la física en esta sección. Lo que no entiendo es solo la parte que cité anteriormente (así que tal vez esta publicación sea más adecuada para el sitio de matemáticas, pero como este libro es tan físico, pensé en publicarlo aquí). Mis matemáticas están bastante oxidadas, así que no estoy muy seguro. ¿Cómo expanden los autores la función para llegar a la expresión anterior? Me recuerda un poco a una expansión de Taylor, pero no mucho. ¿Cuál es el proceso utilizado para llegar a él?

Respuestas (1)

Es una expansión de Taylor. Puede que estés un poco asustado porque están tratando L como una función de v 2 , pero eso no importa, considera

L ( X + d ) L ( X ) + L X d + O ( d 2 )

pero toma X = v 2 y d = 2 v ϵ + ϵ 2 ,

L ( v 2 ) = L ( v 2 + 2 v ϵ + ϵ 2 ) L ( v 2 ) + L v 2 ( 2 v ϵ + ϵ 2 ) + O ( ϵ 2 ) L ( v 2 ) + L v 2 2 v ϵ + O ( ϵ 2 )

Podemos dejar el otro ϵ 2 L v 2 plazo ya que sólo nos interesan los términos de primer orden.

Expansión de Taylor en general

Si es la expansión de Taylor con la que tienes problemas, eso también es bastante fácil de mostrar. Considerar F ( X + ϵ ) con ϵ pequeño, podríamos querer expresar el valor de F ( X + ϵ ) como una serie de potencias en ϵ , entonces buscamos algo de la forma

F ( X + ϵ ) = a 0 + a 1 ϵ + a 2 ϵ 2 +

¿Cómo determinamos los coeficientes? Bueno, podemos encontrar a 0 tomando el límite como ϵ 0 , obteniendo

F ( X ) = a 0

Genial, pero ¿cómo obtendríamos el a 1 ¿coeficiente? Bueno, solo toma un derivado de ambos lados

F ( X + ϵ ) = a 1 + 2 a 2 ϵ +

y simplemente tomar el límite de nuevo, obteniendo

F ( X ) = a 1

Haciendo ese proceso una vez más se obtiene

F ( X ) = 2 a 2

Entonces, hasta ahora tenemos

F ( X + ϵ ) = F ( X ) + F ( X ) ϵ + 1 2 F ( X ) ϵ 2 +

Si piensa en general, debería poder convencerse de que, en general, para el norte el término, tendremos

F ( norte ) ( X ) = norte ! a norte

dándonos el resultado general de la serie de Taylor

F ( X + ϵ ) = i = 0 1 norte ! F ( norte ) ( X ) ϵ norte

Ah, perfecto- gracias. Una duda más que acabo de tener: ¿por qué solo les interesan los términos de primer orden? ¿Es porque ϵ puede ser arbitrariamente pequeño? Me parece que si esa fuera la razón, habría cierta pérdida de generalidad en la derivación.
@PhysicsLlama Es posible que hayan aclarado esto un poco en el texto, pero usan esta diferencia de primer orden para argumentar que L v 2 es independiente de v 2 . Pero si el primer parcial es independiente (es decir, una constante), cualquier parcial superior debe desaparecer, lo que significa que incluso si intentáramos ir a un orden superior en la expansión, todos desaparecerían.
@PhysicsLlama también el argumento debe funcionar para desaparecer ϵ como usted señala.
Buena forma de recordar los coeficientes de una expansión de Taylor allí, por cierto :) +1.
Sutileza importante que acabo de notar: expandiste f(x+e) en potencias de e, y luego tomaste la derivada del polinomio con respecto a e para encontrar los coeficientes a. Así que no tomaste la derivada de f con respecto a x, sino con respecto a e. Sin embargo, en su desarrollo anterior, lo tomó con respecto a v^2, que había establecido como su x. ¿No es esto inconsistente?
@PhysicsLlama Para arreglar lo segundo, y debería haberlo dejado claro, pero toma la derivada de ambos lados con respecto a z = X + ϵ , eso lo arregla. Tanto para la parte superior como para la inferior, el punto es tomar la derivada de la función con respecto a su propio argumento.