Resumen sobre mecnica analtica

Ecuaciones de Lagrange.
Supongamos una partcula, cuyo movimiento se puede describir mediante una sla coordenada x, de modo que en el instante t la posicin de la partcula viene dada por la funcin x(t). Si la partcula parte del punto xi en t = 0 y en el instante T se encuentra en la posicin xf , la trayectoria real x(t) que realiza la partcula verica que la integral de accin es extrema (mxima o mnima), donde la integral de accin viene dada por: Z T S= L(x; x; t)dt _
0

donde x es cero en los instantes inicial y nal. Interesa escribir la ecuacin anterior de modo que en todos los trminos aparezca x en lugar de x, para ello, utilizaremos la _ siguiente igualdad: d dt @L x @x _ = d @L dt @ x _ x+ @L x _ @x _

donde L es la funcin lagrangiana. En el caso en que el potencial bajo el que se mueve la partcula no dependa de la velocidad la lagrangiana viene dada por la funcin L = T V , donde T es la energa cintica y V la potencial. Por tanto, la trayectoria de la partcula se obtiene de la ecuacin S = 0, donde la variacin de la accin debe ser compatible con las condiciones inicial y nal. Vamos a obtener la variacin de la accin: Z T @L @L x+ x dt _ S= @x @x _ 0

de modo que la ecuacin anterior queda de la forma: Z T @L d @L d S= x x+ @x dt @ x _ dt 0

@L x @x _

dt

el ltimo trmino se puede integrar directamente y resulta ser nulo, debido a que x es nulo en los instantes inicial y nal. Por ltimo, la condicin S = 0 queda de la forma: Z T @L d @L S= xdt = 0 @x dt @ x _ 0

Si queremos que S sea cero para una variacin x arbitraria se debe vericar que el trmino que hay entre corchetes sea nulo, y llegamos as a la ecuacin de Lagrange, que es: d @L @L = dt @ x _ @x 1 2 Si la lagrangiana es de la forma L = 2 mx _ V (x), la ecuacin anterior es: m = x dV dx

que como caba esperar es la ecuacin de Newton.

Ecuaciones de Hamilton.
La lagrangiana depende de x, x y t, sin embargo, en muchas ocasiones conviene que x sea _ _ @L una variable independiente. Para ello, denimos la nueva variable p = y realizamos una @x _ transformada de Legendre, utilizando la funcin hamiltoniana denida como H = px L. _ Podemos comprobar que H es una funcin de x, p, y t escribiendo su diferencial: @L @L dx dx _ @x @x _ debido a la denicin de p la ecuacin anterior queda: dH = xdp + pdx _ _ dH = xdp _ @L dt @t

@L @L dx dt @x @t de modo que efectivamente las variables de H son x, p, y t. La ecuacin anterior se puede modicar de la siguiente forma haciendo uso de la ecuacin de Lagrange: @L dt @t Lo que nos permite encontrar directamente las ecuaciones de Hamilton: dH = xdp _ pdx _ @H @p @H p = _ @x

x = _

Las variables x y p se dice que son cannicas. Por ltimo, utilizando las ecuaciones de Hamilton se encuentra que: dH @H @H @H = x+ _ p+ _ = dt @x @p @t px + xp + __ _ _ @H @H = @t @t

Podemos deducir ya las siguientes leyes de conservacin. Si la hamiltoniana no depende explcitamente de x entonces p es una constante de movimiento. Del mismo modo, si la hamiltoniana no depende explcitamente de t entonces la propia hamiltoniana es una constante de movimiento y se puede comprobar que adems coincide con la energa de la partcula.

Corchetes de Poisson.
A continuacin vamos a calcular la variacin temporal de una funcin dinmica f (x; p; t). La derivada respecto del tiempo ser: df @f @f @f = x+ _ p+ _ dt @x @p @t utilizando las ecuaciones de Hamilton la ecuacin anterior se puede escribir de la forma: df @f @H = dt @x @p @f @H @f + @p @x @t

Si denimos el corchete de Poisson de dos funciones a y b de la siguiente forma: fa; bg = @a @b @a @b , la ecuacin anterior se escribe de forma ms sencilla como: @x @p @p @x df @f = ff; Hg + dt @t El corchete de Poisson tambin se puede utilizar para escribir de forma simplicada las ecuaciones de Hamilton. Dado que las propias variables x y p son funciones dinmicas y como adems no dependen explcitamente del tiempo, las ecuaciones de Hamilton se pueden escribir como: x = fx; Hg _ p = fp; Hg _ Se puede comprobar que el corchete de Poisson verica las siguientes propiedades: fu; vg = fv; ug

fu + v; wg = fu; wg + fv; wg fuv; wg = u fv; wg + fu; wg v fu; fv; wgg + fv; fw; ugg + fw; fu; vgg = 0 Las variables cannicas x y p verican que fx; pg = 1. El corchete de Poisson permite adems especicar las condiciones que debe vericar una variable dinmica para ser una constante de movimiento. Si una variable dinmica no depende explcitamente del tiempo y adems su corchete de Poisson con la hamiltoniana es nulo, entonces es una constante de movimiento.

Transformaciones cannicas.
Para resolver un problema concreto se pueden utilizar distintas variables, es decir, que en vez de utilizar las variables x y p podamos haber utilizado otras X y P , que estuvieran relacionadas con las anteriores mediante ciertas ecuaciones de transformacin: X = X(x; p) P = P (x; p)

Estas nuevas variables X y P sern variables cannicas si existe una cierta funcin K(X; P; t) de modo que se veriquen unas nuevas ecuaciones de Hamilton: @K _ X = @P @K _ P = @X Las variables x y p verican el principio de Hamilton (de mnima accin) de donde partimos al principio, es decir: Z T (px H(x; p; t)) = 0 _
0

Del mismo modo, las nuevas variables X y P vericarn el siguiente principio de Hamilton: Z T _ P X K(X; P; t) = 0
0

Si se verican las dos igualdades simultneamente los dos integrandos estarn relacionados de la siguiente forma: (px _ _ H(x; p; t)) = P X K(X; P; t) + dF dt

donde es una constante y F una funcin arbitraria de las coordenadas y del tiempo. Nos vamos a limitar a estudiar las transformaciones en las que = 1. La funcin F , como veremos a continuacin, determina la transformacin entre las antiguas coordenadas y las nuevas si depende en parte de las coordenadas antiguas y en parte de las nuevas, por lo que se denomina funcin generatriz de la transformacin. Vamos a considerar como primer ejemplo el caso en que la funcin F depende de x y X y del tiempo, es decir, que F = F1 (x; X; t). En este caso, la relacin entre la antigua hamiltoniana y la nueva ser: px _ _ H = PX K+ @F1 @F1 _ @F1 x+ _ X+ @x @X @t

Como las antiguas coordenadas y las nuevas son independientes por separado, la ecuacin anterior implica que: @F1 @x @F1 P = @X @F1 K = H+ @t p = Las dos primeras ecuaciones determinan la transformacin, es decir, que de estas dos ecuaciones podemos en principio despejar las coordenadas X y P y escribirlas en funcin

de las coordenadas antiguas de la forma X = X(x; p; t) y P = P (x; p; t). Por otro lado, la ltima ecuacin nos indica cmo se transforma la hamiltoniana al cambiar de coordenadas. Vamos a ver ahora cmo podemos utilizar una funcin generatriz que dependa de la coordenada antigua y del momento nuevo, es decir, de la forma F = F2 (x; P; t). Lgicamente si introducimos esta funcin en la relacin que existe entre las hamiltonianas no llegamos a nada. El truco consiste en partir de una funcin del tipo F1 , de la siguiente forma. Escogemos la funcin: F1 (x; X; t) = F2 (x; P; t) XP

Si diferenciamos F2 as denida, nos daremos cuenta que efectivamente sus variables son x, P y t: @F1 @F1 @F1 dF2 = dx + dX + dt + P dX + XdP @x @X @t Si tenemos en cuenta las relaciones que verican las derivadas de F1 : dF2 = pdx P dX + P dX + XdP + @F1 @F1 = pdx + XdP + dt @t @t

de modo que efectivamente las variables de F2 son x, P y t. Adems la ecuacin anterior nos permite obtener el momento p y la coordenada X en funcin de las derivadas parciales de F2 , ya que: @F2 @x @F2 X = @P p = Como @F1 @F2 = , la relacin entre la nueva hamiltoniana y la antigua ser: @t @t K=H+ @F2 @t

Del mismo modo se pueden utilizar otros tipos de funciones generatrices para especicar la transformacin.

Ecuacin de Hamilton-Jacobi.
Si mediante una transformacin cannica consiguiramos que la nueva hamiltoniana fuera nula el problema dinmico estara resuelto, ya que las nuevas coordenadas y momentos seran constantes de movimiento. Vamos a ver que siempre podemos realizar una transformacin cannica de este tipo. Vamos a suponer que la transformacin que buscamos es del segundo tipo y vamos a denotar a la funcin generatriz por S = S(x; P; t). Entonces se vericar la relacin: @S p= @x Como la nueva hamiltoniana es nula la funcin generatriz de la transformacin debe vericar la siguiente ecuacin: @S H(x; p; t) + =0 @t

o bien: H x;

@S @S ;t + =0 @x @t

de modo que la funcin generatriz que buscamos es la solucin de esta ecuacin en derivadas parciales. Esta ecuacin se conoce como la ecuacin de Hamilton-Jacobi. Por ejemplo, para una partcula cuya hamiltoniana sea: H= la ecuacin de Hamilton-Jacobi ser: 1 2m @S @x
2

p2 + V (x) 2m

+ V (x) +

@S =0 @t

La funcin S se denomina la funcin principal de Hamilton y salvo una constante aditiva coincide con la integral de accin. En el caso en que la hamiltoniana no dependa explcitamente del tiempo, podemos separar la variable temporal escribiendo la funcin S de la siguiente forma: S(x; P; t) = W (x; P ) Et donde E es una constante que coincide con el valor de la hamiltoniana, segn se deduce de las ecuaciones anteriores. La funcin W , que se denomina funcin caracterstica de Hamilton, verica la siguiente ecuacin en derivadas parciales: H x; @W @x =E

Por ejemplo, para una partcula libre la ecuacin anterior se reduce a: 1 2m de modo que W = @W @x p
2

=E

2mEx

(salvo una constante aditiva que la hemos escogido como nula). Por otro lado, de las ecuaciones de transformacin p= p @S @W = = 2mE @x @x

Por ltimo, la solucin de la ecuacin de Hamilton-Jacobi se puede escribir como: S = px Et