149

LAGRANGIANOS EQUIVALENTES*+

Sergio HOjman

Centro de Estudios NucJeares, Universidad Nacional Aut6noma de M~xico Circuito Exterior, C.U.

04510 Hfixico, D.F.

y

l. C. She p 1 ey Center for Relativity

The UniversIty of Texas at Austin Austin, Texas 78712

RESUMEN

Presentamos una resefia del pro.blema inversa del dalculo de variaciones destacando las ambigUedades que surgen debidas a la existencia de 1agrangianos equivalentes para e1 mismo sistema clasico. En particular, analizamos las propiedades de lagrangianos equivalentes para sistemas multidimensionales, estudiamos las condiciones para 18. existencia de un principia variacional para ecuaciones de movimiento y sus soluciones (tanto para ecuac.iones de segundo como de primer orden) I consideramos e1 problema inverso del calcu:lo de variaciones para s.i s t.emas singulares r planteamos las 8.mbiguedades que emergen en 10. relacion e'htre simetrlas y cantidades conservadas en el caso de lagrangianos equivalentesl discutimos los problemas

*Parcialmente financiado par e1 Consejo Nacional de Ciencia y Tecnologl8., proyecto No. 955 y National Science Foundation Grant No. TNT 78-.22553.

tPresentado por Sergio Hojrnan en la asamblea general ordinari<1 de 1a SMF del 11 de junio de 1981.

180

(S.8)

A pesar de que existen excelentes estudios para la construcci6n de 1a t eor Ia canon i.ca de dichos Lagrangi.anos , no existe todav'ia un estu-

diD compl e to del problema inverso para sistemas singul ares , Un enfoque

pas ib le , en el que se han heche algunos avances, ut i Liza el formal isno de primer orden para los sistemas singulares.

Para Emal i zar , anal icemos en al gfin det al Ie s is temas T'is i cos s im pl es que ccrresponden a ]05 cases iJ, ii) y iii).

C<.150 i}. La particula i ibre re l at i vista.

El lagrangiano de Ia par t.Icul.a libre relativista es

'Jj 'V.) 1/2

L ; m(g~v x x. ,

(S,9)

con gJjV '" d iag (1,-1,-1:,-1), .]J dx

x - dt

(1' partimet ro arb i trario) .

(S.10)

La acci6n S = J Ldr es i~variante ante lei reperasnet r i zac i on

'T -to 1'''' '["I (T) • (5.11)

Las ecuaciones

m [ gJJv

(XCLXa) 112

o .

(5. 12)

La mat r i z

;;; in [(. '. ~~v) 172- _X]J:,_'X_\l_ . ...,.-,-_]

I X X (. )?x ) 3,12

. Ci. a

(S .13)

(5. 14)

Unci conb inac idn lineal de las ecuacrones

xl-![>,'l xv:: 0 (5,15)

pv ~

'"

es i.denticumente ce ro, Es tn identidad cor responde a La Invarianc ia de nOT

rna (extern .. l) (5. 11) .

Se llama norma ext.e rna a aque ll a en que 101 variable .independ.i.en

163

a2L a2L . a2L 8L
w '" v '" q +
2 ~q
9q [)q{)q aqat (3.17)

Si L es equivalente a L, ent onces es necesario que exista A ~ distinto de cero , que satisfaga

AW

,

O. 18) (.3. 19)

v ;;:; AV

como mostramos en 1.1 secci6n anterior, l\_ es ·una constante de movimiento:

o

(3.20)

En es te caso , es suficiente tener 11. una constante de movimiento arbitraria,. para obtener 1. El metoda consiste en resolver pr ime ro (3. 13) :

L' ~ l + X(q.t)~ + Y(q,t) 1

(3.21)

don de

1.;;;; J f dq' dq"}, (q,q",t) W{q,ct".t).

La ecuaci6n para X, Y es La ccuaci6n bas ica (3. 19) :

(3.22)

8X 8Y

~-~. - ~.-.

at 3q

+ IIV.

(3,23)

dfl.

La de r ivada can respecto a q de esta ecuaci6n cs igual a cero cuando dt· "" 0,

y por 10 tanto podemos encontrar X y Y. Darernos ejemplos mas adelante.

En el caso bidimensional, el problema inverso para la med.nica de Ne,,,,ton fue resue Ito por Doug! as (1941). En es te case las ecuac iones de movimien to son

(3.24)

o

Douglas defini6 una matriz

IJ, r r~, :, ~lJ

A B2 C

2 2

t

(3.25)

don de

d 3G2 ')'G2 1 'lG2 .... C· 1 + .... G .. 2 ).

C == .~. ~ 2~ + ~ _v_' ]'_( ~[}~_ _ ~

T '"'.'1 ,,1 :;: ,,'1 "'."1 ,'\.~,.2

,,,,'q aqoq oq 0'\1

En est as £6rmulas La der-ivada d~ esta dada por

(3.27)

y las funciones Ai • BiJ.' C1 son

(3.28)

)f J\, 82, C,2 se obt ieoen de A1, B1, C], poll' las mismas fOnJrulas (:reCUTS ivamente) .

Daugla.s cls.sifico las ecuac iones (3.24) per e] range de La ootrlz !J.: Caso I res cuando 6, t iene range cere; en el Case II t iene ran go 1 ; en e I Caso II I t lena ran go 2; en e 1 Caso IV Herre range 3 (es dec i r ~ det I ill rf 0).

Bn todos los casos Douglas considerS< no solamente las ecuaciones (3. 24) ~ sino tambien t odas las ecuaciones equivarentes a (3.24). Es deci.r , estudre el problema tnve'rso no restTingido.

Hay t res cIases de s istemas S de trayectorias en el case bidin~nsional, lbo cons i at e de los S para=los cua.les no exi st.e Url Lagrangl.ano L, porejemplo aquellos para los que sus ecuaciones son del Caso IV. Hay 0-

t ros para los que exi s te L y este es esencf alnente (mica. Para Ja tercera c l asc de ,S exi sten michos Iagrangianos equiva lerrtes , Laclasificacion es

165

muy compleja; daremos algunos cjcmplos mas adelante.

En e l caso general del problema Inverse de La medinica de Newton escrihiIlJ.)s las ecuaciones de movimiento carro

(3.29)

El problema se present a porquc puede existir L cuyas ecuaciones de Euler-Lagrange satisfagan

E,L .. j + Cj)
A. ,( q
]_ :LJ '
de don de
~2L ~. ,
;;;; ,
8qidqJ ~J
(j2.L II j a2L dL ~ .. Gj
d</aqj + --.-- --=
.1. i l.J
aq at 3q (3.30)

(3.31)

(3.32)

La de r ivada de (3.32) con respccto a qh es
. j _ a_ A. a Gi~a _ >, .. aGi (3.33)
q + -~ A ;;;; + A, ,--
d 4 j Lh Cit ih CI c{ h l.J lJ . h
oq POI' 10 tanto hay muchos ohst aculos para dccidi r Sl cx i s te tD1 1. Pr imero

debe cstablecerse s i exi.st e A .. que resuelva (3.33). A cont inuaci6n se in-

, 1J

vcstiga si (3.31) admite lID3 soluci6n. Esta debe seT ma soluci6n general

\._:~Ifl func i ones dosconoc i das , y para encontrar estas, hay que resol ve r (3.32), cl ultimo obst.acul o.

El problema de La unicidad de L eS el problema que discutimos en cl Testo de este articulo, es decir como poderoos encontrar todos los I que son equlvalentes a uno dado.

Ahara presentamos algunos ejemplos. No consideramos e1 caso general de so l uc i.ones S de ecuac iones de crden arhitrario. Solarnente descr ihimos ejemplos del problema inverso de la mecanica de Newton. El caso mas simple eS aquel en que las fucrzas son conservativas. cs decir, provienen del gradientc lie una func ion cjl(q, t) :

··i ({

o

(3.34)

Es claro que In condici6n (3.33) es satisfecha para A" ;;;; constante. La ~J

soluci6n de (3.31) os pos ible solamentc cuando A.. ). .. ; en os te caso po-

. l] Jl

155

\\T .. = ~J

(2.2)

Las matrices W y W son invertiblcs. I:scribimos las ecuacioncs deRtiler~ Lagrange usando

E.1.L = hi .. q.j + V . .q_j + U· (2.3)

1) LJ ~

don de

y u. ~

L

(2.4)

£1 operador % se llama e1 opcrador de Bulcr- Lagrange.

Es Fac i I ver que 51 L Y 1: dan ori gen a ccuac iones diferenciales equivalcntes entonccs

(2.5)

donde A csuna matriz invertible de fin ida por 1\. j '" W. (W-1) sj

~ )..s

(2.6)

En e[ecto, las ecuacionc5 de Euler-Lagrange son .. j " j

[.L=W .. q +\-.'q +U. 0

l lJ lJ . l

(2.7)

E.1

l

(2.8l

y si e11as son cqllivalentes cntonces sc debe teneT que las acelcraciones obtenidas de las Ecs. (2.7) y (2.8) deben coincidir. Esto es~que

.. i ~ 1 ij.k - -1 ij - -k -

q = - (I\' ) • (Vjkq + Uj-} = - (W·) (Vjkq + Uj) (2.9)

debe set una idcntidad (como funci6n de qi, (ii, t). Las Ecs , (2.6) y (2.9) irnpllcan 1a Ec. (2. S) .

Sc puede ver que es tc result ado e5 una consecuenci a del heche que las ecuaciones de Euler-Lagrange son lIneales en 1as aceleraciones. La.idea de esta dcmostrac16n esta contcnida (para cl casO Unidimensional) en el trabajo de .Curr ie y Salctan (1966). En real i dad , estosautores t r at aron en su articulo cl caso un idmens iona.l (una sola coordenada) en que lamatriz fo.. se reduce a una sola Iunci6n y mostraTon que esta nmci6n es una constante de movimicnto. Ademas encont raron lao forma de re l ac ionar L. L y A , es de-

156

c ir , como ccnst rui r I dados L y una de sus const anres de movimtent.o II .

Val.dr Ia La pena prec i sar que Darboux reso lvac en 1891 e l prob lema Inverso del calculo de variacioncs en una dimension. El prohlema invcrso consiste en encontrar todos los lagrangianos que dan origen a ecuaciones d i Fe renc i al es con una soluci6n general dada yes, por 10 tanto, un problema mas general que e1 de lagrangianos cquivalentes.

Aqui nos preocuparemos d.el caso multidimensional y cn la sccci6n IV rCBfcsaremos sabre cste tema.

El caso multidimensional fue tratado por Hojrnan y Harleston (1981) donde se derms t ro e1 s i gui.ont e teorema: La t raza de todas las matrices obten i das como potencias ent eras de A son constant es de roovimien to, es deci r ,

d

at tr(Ak) ;=; 0

(2. 10)

Estas constantcs de movimicnto no son [lUlcionalmcnte independicntes, debido a 1 t eorema de Cayl ey-Hami Han (Birkhoff y Macl.ane , 1977).

La iuea es cncontrar 1a ecuaci6n de movimiento para A , es dccir,

= A j i

(2. 11)

utilizando In definici6n de A, W. y w.

No es diflcil obtencr que

d. A II S (V V. ) (~'I ~ l)tj - (V. -V.) (W-1)sj

dt i j :;; i st - ts lS 91 .

[2. 12)

1, a de r ivada de Ia t raza de Ak es

(2.13)

y es facil mo~trar que esta derivada es nula.

Este teorema, sin embargo~ no nos dice como construir el 1agTang i ano I dados L Y It I:n cfectovde la identidad (2.5) (0 las Ecs. (2.6) y (2,9) sc tienc que

w., "" 1\, kW ,

1J 1 kJ

V .. q,j + u. ~ A keV qj + u )

1) 1 i kj k

peTO, dado una A que satisfaga el tcorerna, no esta garantizado que exista

(2. 14)

(2. 15)

Par ejempl o , s i ocurre que e l Lagr ang.iano pam un grupo de part.iculas es invariante cuando ]las partlculas 5e trasla.dan todas siJnultaneamelltc en el csnac jo. entonces e l momeuto lineal total de las part iculas cs conservado .

Fn opcrador de Ia ecuacifin (6. 113,) es un operador de t'ras lac ion.

Tambdtin en c ie'rt.as c lrcunstancias, es posibte usar operadores de t ras lacion que dependan de 1 a posicion y cste proccso define una operac.ion de der.ivac ifat de Lie. Si Lest! compuesto de tensores mvar iantes con respect 0 a es ta ope rae ion, es pas i hl e cncon t:rar di.rectamcn te un I "memento' i, conservado . Bs ta res una mancra para eneontrar La conservac ron del rnome!! to angular.

Ot ra cant idad Jmpor tarrt e es Ia energf a. CItra forma senci l.La del Teor ema de Nosthcr parece relacionar Ia conservac'icn de energfa con Invar ianc ia en c1 t.iempo, Suponganos que L no depende (tel t iempo,

~~!: '" 0 (6 1 S)

lett ' _. .

PQr 10 tanto e.l hami l toniano es una consrarrtc de movtmierrto :

aL

;;;; - "t = 10 (1-

(6.16)

Si L tiene 1a fonna usual conservativa L ;;;; T ~ V, dande T es la energla c.J:_ netit::a yVes In energ'ia potencial, H se identifica con la energia total. Pero, puede ocurrir, con el usa de un lagrangiano general, que no exista una rc Iac ion d i recta entre H y la ener gf a, aun cuando H sea conservado,

La dificultat! con las formas senc i l l as del Teorema de r-;'oetncr, como descr-ib imos arr-iba.Yad ica en que es pos ibl c que un Iagrang iano no ten ga una simctria cOTrespondientc n una cantidad conservada: particular. Por ej omplo, un Tagrangf.ano para La part'icula Libre en una dirnel1siOll q os

l' "L

1. '" z q (6.17)

E5te L flO depende Jl!i de q ni de t y tanto p ~ ~~ como H ~ ~ q2 son conser vados. Un lagTMgianG eqiUivalente L' es

11 • "J 1·, .,

L' '" 2' qq- - '2 q=t .

(6.18)

186

Es t e L' depende de q y de t. Per cons igu icnt.e

(] L' • 1·c

0' == ~ '" Qf1, .- "2 q:.' t

l' 1·,

IP '"' "2 qq-' - "3 q t

(6.19)

no son conservados.

Natura1~cnte la conscrvacion de p

q y Ii

1

==

"2

02

q

depende de S so'l.ament.e , y S cs el mi smo para L y U.

Se necesita una fOI1l1a del Tcorema de Noether que sea valica pa-

ra todas las c i rcunst.anc i as . i d

q , q • t tales que

ki riL, + ki 8ql

i 0

Supongamos que k , k Y F sean funeiones de

fntonces, la funci6n

31. +

'1

dq

f dada

-F

(6.20)

por

es una cons tante de movimiento. La dcmostraci6n es senc i.l.l a : se cal cul a f y se oht iene

(6.22)

y usando (6.16) 5C puede mostrar que f ~ o.

POT cj emp10 , usando (6.19) podernos escribir

20 3

Fntonces verificamos que kl ~ ~ kD = F ~ 0 satisfacen 1a

q ' q ~

ecuaci6n (6.20) S1 V es e1 de 1a ecuaci6n (6.18).

1 ") o 3

q2 ~ canst == ~ p' - ~ H'

I q q

(6.23)

La fo~~ de arriba del Teore~~ de ~oethcr tiene un inverso, en el cua l una const ant.e de movimiento f es tfi ligada a ki, kO y F. En este sen tido; csta representa un metodo para tratar cualquier lagrangiano de un sistema S.

Sin emba rgo I dos aspec tos fi sica s de 13 forma senc i lla de 1 Teore rna de Noether se han perdldo. Primero, 1a ecuaci6n (6.20) rrruchas veces se escrihe con la notacion

ki = oqi kO ::: at . F (6.24)

Si ki y kG son constantes y f '" 0, 1a cCU.9cion (6.20) dice que L es invar-i ant e con rcspecto ;1 lID mov imi.ento mf in it es imal como en (6.13). Pero cuando ki y kG no sean constantes la interpretacion fis:ica de (6.20) no es

Hl7

clara. Segundo, cuando k i Y k 0 son con stan tes y F '" 0;. 1 a cons tan tc de

e 6" 21) es 1a suma de un momen to mas una encrg ia . En general, 1 a in te rpT~ tacion fisica de esa constante tampoco es cl~ra.

Si una co l ecc ion S de curvas sat i sfacen una colecci6n de n ecua ciones de segundo orden, hay 2n constantes de movimicnto indepcndientes.

Es posible jnterpretar estas constantes directamente como las posj_ ciones y velocidades iniciales que determinan los miembro.s de S. Sin em bargo, S se define tipicamente solarncnte como solucioncs de un lagrangiano L dado 0 de ccuac iones dadas. Si L t iene s unet r ias sene i 11 as, 1;) f anna simple del Teorcma de Nocther es util para encontrar eonstantcs de movimiento. Es posjblc que la forma general del Tearema mas let eX1stencia de lagrangianos equivalentest puedan ser Gtiles para E'ncantrar mas constantcs. pera cl proceso tipico es usualmente el invcrso. Es dccir, como estfi indicado en las seccjoncs anteY10res, eJ pToceso cs usar constantes de mo vimiento para i r de W1 lagrangiano L a otro T equiva l ente a L. El met ode consistc en fornar de a l punas canst.antes 101 mat r iz /\ y de ,\, gcncrar L ASO c.i.ado a 1. De sg rac iadamerrte , no t odas 1 as const.aritcs son ut i Ies paTel eIlgendrar Lagrangi ancs equivalentes. Por ej cmp lo , hay la_gnmgil..nos que son esenc i al ment.e un icos , y el Unico ,II que t·s posible es una constante nume r i ca multiplicando 13 matriz unidad.

Ex i s ten , entonces, dos prob.lemas importantes: ("1 pr ime ro , cs de tenninaT cuales constantes de movimicnto puedcn ser utiles. f.l segundo, es encontrar como constroir mat.r1ccs A de csas constantes (y desrues como gencraT nuevos lagrangianos). La forma general del 'fcorema podrb descmpefiar un papel importante. pero cool seria exactarncnte el pape l , €'5 till tc rna de mves t i gad on f u tura .

VII. ALGUNJS ClJrfEm'ARIOS ACERCA DE LA TEORIA CUAlI.JTlCA.

En cst c articulo hemos cons iderado 1a mecan ica cl as ica . Por su pucs to , Ia jnecan ica cuant i ca propcrc iona rna mcjor descr ipc ion de Ia na tu ra Ieza , y a l guncs sistemas can espin no tienen W1 Llm i tc cIas ico bien de f i nido. Sin embargo, en muchos casas la descripci6n clasica csta tan bien cntendida 0 es tan importante, que es necesar io adoptar un proced nm cnto para pasar de tma descripci6n clasica a la cuantica correspondientc.

150

que aparecen al intentar cuantizar sistemas clasicos que poseen lagrangianos equivalentes, describimos la situacion que se presenta en e1 estudio de lagrangianos equivalentes en teoria de campos y, finalmente, proponemos una serie de problemas no resueltos y temas de discusi6n relacionados con el contenido de este articulo.

ABSTRACT

we present a review of the Inverse Problem of the Calculus of Variations, emphasizing the ambiguities which appear due to the existence of equivalent lagrangians for a given classical system. In particular,

we analyze the properties of equivalent lagrangians in the multidimensional case, we study the conditions for the existence of a variational principle for (second as well as first order) equations of motion and their solutions, we consider the Inverse Problem of the Calculus of Variations for singular systems, we state the ambiguities which emerge in the rela~ tionship between symmetries and conserved quantities in the case of equivalent laqrangians, we discuss the problems which appear in trying to quantize clas5ic~1 systems which have different equivalent lagrangians, we describe the situation which arises in the study of equivalent lagrangians in fiQld theory and finallYt we present some unsolved problems and discussion topics related to the content of this article.

I. 1NTROruCCION

Los objetos de] muncio flsico en mecan i ca c Ias ica son particulas y campos. Las posiciones de aquellas se describen par sus coordcnadas en e l cspac io COInO funcioncs del t i empo ; cs tos sc descr iben par funcioncs del cspacio y del ticmpo. La conducta de estos objetos qucda detcrrninada por sus ecuaciones de roovimicnto~ y toda 1a informacion que podcmos obtcner de 'l a mecan i ca c l as i ca e s la colecci6n S de solucioncs de es tas ecuaciones. Cons idcrmnos ahora un sistema de particulas con constricciones ho lonomi.cas (Ccl ds tc i n , 1980). Nos preocuparemos de s i tuac iones mas generales mas aJclantc. Se tiene N coordenadas indepcndientes qi (j = 1, ... ,N) para descrihl r la configuraci6n del sistema) y sus ecuaciones de movimiento son N ccu~ciones de seb~ldo orden. La colecci6n S consiste de las trayectorias rcales qi(t) que son todas las solucloncs de las ecuaciones.

[1 principio de Hamilton es tab Iece que S es el conjunto de t raycctorias que son cxtreoos de tma integral de accian. Escribimos esta integral (000

1 == f L dt ,

188

Un procedjirniento frec1!lentemente: cmpleado cons,]ste en escr:ilbir la

., . i

ecuaci.on de Schrod.inger reonpt azendo las coordenadas q y sus mementos co!l

Jup.:ados Pi por operadores apropaados en el, .lugar donde aparecen en el. haili!_ ton lana H, e] cua.l se re'lac lona con 1.1 diferenciaci6n con respecto a t.iempo , Hcmos vista, sin cmhargo , que el conocimi.ento de un sistema cUsic-a, es d~

e lr el conocimiento del s]s.tema S de rsovimtentes pernd tides pOT las fuerzas, qUiZ3S no dctermina Gnicamente un lagrangiano L y luego quizas tampoco d~ tcrminen UlI1 hamil torriano uoico. (J\qui SUPOI1CIDOS que L y II se determinan

fin icament;e por media de una r.ransformac ion de Legendre), Las teor ias CUM

it icas que resul.tan de dos d.ifererrtes Lagrang.lanos , como vcremos ~ pueden

ser onormemente di ferentcs . En esta seccron, most rarsmos algunos cjemplos de las dificultades que pueden aparecer. /\ continuaci6n uiscutiremos bre vemente a.Lgunos jaetcdos pos ibl es par.a resolver 0 ev i tar esras d i.Ficul tades .

COTIsideramos primcro la paTticuln 1inre en un~ dimensi6m, con coordenada q. Una c1ase ue la.grailgianos para (lste sistema se p!:l.rametriz3 pur la constante n:

L(n)= qn ,

donde n t 0 6 1. Estes Iagrangianos (uno para cada n) son (n)

COlTespondientes p S6 dan par

(7. n eqlliv:alentes.

Los

momcntos conjugados

(n) iJL (n)

p .~aq-

hanri I ton ianos H~nll

'·n-1 = nq

(7.2)

Los

. Ci

H(n.'~ ::: p (h) q_ L(n) _ .0-1 P (n) donde ,_ n

~ , no.· ,.. . . ,. (jl- n-l

Un metoda de cuantizaci6n ingenu~ es hacer la substituci6n canonica (cmnl eando dimens]ones tales que 11 = ·1):

(7" 3)

pfnl..,. 1 E_ (7.4)

i 8q

Dchido <1 que H(n} es i ndependierrte del tiempo, podenos US31- la ecuac ion de Schrod inger indcpendicnt.c del tiempo para La func.lon de onda t)J(q j t)

(n) . . n'~l (':3 Jet. . .. -

.II IjJ "" E V'" nfiiCt aq tjJ" con iE ::: const, p. 5)

Esta ccuaci6n se resuelvc Pour ier :

primero expresando W como lIDa integral de

(7.6)

189

La ecuaci6n (7, 5) se cony i erte en una ceuae ion para w n-1 a

E - u: (7.7)

a n

Esta ccuacion (7.7) siempre tjenc a1 menos una solucion para

W, s i n 1- OJ 1. Sin emoargo , e5 necesar io que w sea real porque para cada parte imag inar i a resul ta que el modo cor-respond ient.c tiende a inf iru to en

~

x ~ + m n en x = - 00 La ecuacion (7.7) para w tiene en general solame~

te una soluci6n real. II un i co valor entero de n que permi.te w y -w como soluci6n para una E dada es n ~ 2. e1 valor acostumbrado. Por 10 tanto Ia t eor ia cuant ica para n i 2 cs diferente de la de lITlJ partfcula lihre a

(n) (2)

pesar de que L es equivalente clasicamente a1 liigTangi.ano L de 1a

particula libre.

Nuestro segundo ejemp]o es el oscilador arm6nico jsotropico en dos dimensiones. Si escogemos 1a constante de restitution v ]a masa cunbos iguales a 1, e1 lagrangjano usual cs

L =-

(7.8)

donde q ,q son las cooTden~das y

1 2.

1·2. 2.

1.(1) = '2 (ql' ~ql)

Un Iagrang iano equivalcnte1: es

(7.9)

(7. 10)

Sin embargo, las teorias cuanticas de estos lagrangianos son completamentc diferentes.

res Clit nemos i'i

a L Y L'

13 ..

l

'" 1):

El metoda para cuantizar los hami.Ltorri anos H y HI que cor rcsponden es reemplazar las coordenadas q. y sus rnornentos p., por oveTado-

~ l

Estos operador es sat i.sfaccn las relaciones de conmut ac ion (t~

r q., q.] = f P,. p.] '" O. [ <L.p],] = i 6 .

~] ~] L lJ

(7.11)

Con las yelaciones de (7.11), e1 grupo d inamico de L cs SU(2) , un grupo compacto, y..-el de L cs SU (1,1) que no es compacto. Por consiguientc tQ dos lOS observables asociadas con L no pueden tener espectros discretos.

Es posible tener :a tcoria cuantica usual con cl lagrangiano L si no aceptamos (7.11J. POT ejemplo, las relaciones

190

[it, • qj] [Pi' Pj] - 0 = [£11, p] '" [ Q2' i\1
l 2 ,
[ q 1 ' i\] ;;;: 1 "'- [(12, i\J (7. 12) conducen a la teoria cUiintica usual, si tenemos r de 18. ecuaci6n (7.10). Las relaciones de (7.12) repl'Gsentan un metoda de cuantizaci6n raTa, Y ellas serian posible solamente 5i sabemos e1 resultado correcto antes de cuant i zar e 1 sistema.

EI ultimo ejemplo que presentamos es e1 oscilador ann6nico arnor tiguado (con fricci6n) en 1ma diJl:lensi6n, can coordenacl.a q. Este osci1ador obedece 1a ecuac:i6n

con )" = const , , k::' = cons t ,

(7" 13)

Dos lagrangiaTIos cquiva1entes para este sistema son

L - 1 ~t C",2 k2 2)

-2e q - q,

t '" (2~{ + A)j, (4k2 ___)..2)-lhtan-l{f~ +AJ (4k2 _ \)-1/2}

,I ' , q

1 02 • 2 2

- '2 zn ( q + \qq + kq ).

(7.14)

(7.15)

Los momentos conjugados son

3L At 0

P '" ~;;;;; e' q

3q

fl=8L, = ~ (4k2 _ A2)-1/2tan~I{(2q +

, dq q q

(7. 16)

~ ) (4k2 _ A2)-l/z},

(7. 17)

Los hamiltonianos son

~ , 1 -At

H '" pq - I. = 2' e p2

- Zn cos

1 At

+ 2" k2e q2

1, q2 2

+ I ~n ["i:- (4k2 - A )]

[9iL (4k2- A2) 1/2]

2

(7. 1:8)

1 -

"" -2 Aqp

(7.19)

L05 des hami1 tonianos (7. 18) Y (7.19) son enteramente d i.ferentes , H depende del ti empo pero t i one una teoria cuan t ica sene i 11 a (ver Edwards , 1979). Pero de la cuantizaci6n de H resulta de que In en0rgia disminuye exponencia1mente con e1 tiempo hasta anularse. El segundo hami1toniano H no depende del tiempo y por 10 tanto es una constante de movimiento que no t i.ene una relaci6n obv.ia a Ia ener g.ia, Enel primer caso ~ que la energia

191

disminuya a cero prcsenta una eontradicci6n con el hecho de quela energla de las fluctuaciones del vacio no es cera. Pero, aparte de este hecho, el primer case tiene propiedadcs que -parecen flsicamente r'az onab l es (tal como La propiedad que" =; 0 corrcsponde a1 oscilador sin frkci6n) <

Nuestros comentar ios-ucerca de 1a mecan ica cuant ica est an basados en los ejemplos antedichos. Primcro, csta el problema del espectro flsico de observables. hdemas de 1a cuesti6n del orden de faetoTes 0 de otras cuestiones que ocurrencuando e1 hami 1 toniano es comp l i cado , vemcs que la sol ecci6n de lagrangiano afect'a cual.es cant i dade s son const.ant es , curi Ies tienen espectros discretos~ y aun 01 grupo dinamieo del sistema cuantlzado. Un ohservable cstJ determlnada por las configuraciones permitiuas

del sjstema. Es claro que 1a funci6n onda cuantica detennina estas confi guracioncs, pero parece razonahle que Tas so lur.i ones cl as icas S del s i st e rna detennincn 101 nlRYOY pRrte de las propiedades de los ohservdblcs. Segtl.!! do, vemos que H, en general, no tendria las dimenslones de energia. Un principio de adicion afirma que todos los llilTl1i1tonianos tiencn las mismas dimensiones. Este principio es que las vropiedades de dos sistemas resul tell de 1a s~~ de sus hamiltonianos mas un termino deinteraccion. Ade~1s, e1 prlncipio de que H sea conjugado (en algUn sentido) al t i empo , implica que estas dimensiones scrian las de energia. Parecc que e.stos principlos pucden c l im inar a l gunos hami l tonianos equiva l ent es , pe ro e l. usa de una constante de intcracc i on con d imens ianes puede impedi r est.a e l imi nac ion , Tercero, aun cuando H t cnga 105 grupcs correctos I podr ia ser fisicamente

di I'ic f l de interpretar po rquc fuese denend i crrte de I tiempo 0 no fue ra po s i

t i vo , El osc i l ador con frieci6n ·tiene un hami l ton i ano pos i t ivo y uno que no depende del t rempo , pero este ej emplo implica que un .principio bas teo

de amhas prop i edades no es pos ib l e en general. Oicho de otra manera, LID principia de positividad y de no dependenc i a del tiempo prohablemente e l imi nar ia muchos sistemasinteresantes y no so l ament e a l gunos hami l ton ianos . Cuar'to , muchos problemas de cuant i zac ion desaparecen S1 accpt.araos que e l hamiltonlano H eS una cantidad fisica baska. Baja este punta de vista,

II y IT dados pOT las Res. (7. 18)y [7. 19) const i tuyen dos sistemas d i Eercntes. Las dificultades de estc punta de vista es que algunos sistem..1:s vC!:_ dadcramente son conocidos por Sq conducta clasica; e1 oscilador con fyicdon (para c1 qucpodemos usar H oH de (7.18) 6 (7.19) es un buon ejem-

192

plo. Ls L1ccir. qlle hay ejcrlplos donde 1a conduct a fisica es mas hasica quo In e Ioccion de illl hamiltoniano.

Rcspec to a cst;c G1SO, not.amos e 1 tema de I a cuant i zac i 6n geometric.i . f:n cst c t ema , 1:1 cuant i zac ion sc describe por medio de cantidades geQ rne t.r i cas dcf i n idas en c l cspac io de fa sc , ev i.tando en 10 posib1c c1 usa de cocrdenadas cspec i I icas . Uri paso para comprender e I proce.so de cuant i za-

l- ion scr Iu comprondcr La equ iva 1 cnc ia entre Lagr ang i.anos pOT 1::1 ex i st.cnc ia de una cst ruc tura gcomctrit:a. Par ej empl o , \1acartney-J'i1gate (1980) presen t.a una hTC'VC d i scus i 6n de cs pa c ios que admi t en geodes i cas cor res pond J_ e!! res, y ser ia int.e rcsant.e rea I i z ar ics tud ios s imi l ar cs en un lenguaje aprop i ndo para 1<1 cuant t zac ion . Quinto, es Ia cuesrIon de cua l sistema c l.as i (0 dc-heriel scr c:uantizado. El oscilador amortiguado es un buen ejemplo de un sistema que no cs ai.sl;Jdo, rorquc el picrue encrgia en el proccso de

f r icc ion. Como d i j imos , hay d i Ei cu l t.ades en 13 cuantizaci6n de cs t e sistc mil, pero cs lID sistema nary importantc para ent endcr los aparat os de det ec

C.lOII, cspoc ia Imcntc cuando sc cst dn detcctando pecos cuantos _ Y, como d~

i imos a rr i ba , cs tc cs un s i sterna cuya conduct a cs tan hien conoc i da clfis i cnncnt o y es muy deseabl c hUSCClf W1 metoda para comprcnder La cuantizaci6n del s i s tcma ,

Hemos vista que 1a cxistencin de lagrangianos equiva1cntes presc~ Ul d if i cu Itades para 1<1 mecan i ca cuant.lca , La obra del futuro deber ia con cent rnr sc , en nuest.ra opinion, en cuat 1'0 areas: /.:1 pr i me rn c':; i nvcs t i WIl'

c ri ter i os f Is i cos para prcfcrir un Llgrangiano sabre ot ro , Como i nd i camos arr iba , los c r i r or ios mas senc il Ios no son pos ib Ies . La s(!gunda,-~:; Invcst i gar 5i es posible especificar un sistema clasico mas precisamente, por ej~ p1a, llsando informacion de una aproximaci6n cuantica. Esta especificaci6n

deberia resultar en una tearia cuantica basada en las soluciones clasicas S. Es probable, que el estudio de la teoria de Hamilton-

Jacobi fucra import arrtc aqui .

Ld tercera,como csta mencionado arri

ba , C5 guaj e de todo de

cstlldi<:1r la teor]"a de 1agrangianos cquivalcntcs en el len La cuantiznc ton gcomctri.GI. Y l a cua r ta , es buscar un me cuantizacion ha5ado en IDS ~olucioncs S y no en lU13 selecci6n

de Lag rang i anos 0 hami It on iano s , Es ta ul t ima area de muy promisoria. Sin embargo, cU!llquicr metoda dehe e1 metodo canon ico 51 el s i st cma es conservat i vo

invcstigaci6n es concordar con y debe ser con

vincent e cuando sea apl i cudo a s i s tcmas Tl0 conscrvat i vos como aquc l l os con fric.cl6n a amort igU<K l6n.

1.3. mcc.in ica c l fis i cn de \ewton sc ap l i ca a La t cor i.a de cnmpns usando m(:todos s inii Ia rcs a los usados para l a t eor l a de par t iculu s . Sin embargo. pecos aut or cs han d i scut i do e 1 prob 1 cma inverse a 1" cues t iUlI de lagTangi.1nos equ i va l errtcs pa ra campos , Una t'xt('pcjAn ha s i do fllclc-n,

qu i en der ivo un lagrangiano para una ccuar irin integro-difcrcllci;ll 1 i nca l ' PI not o que est o la~rClngi:1no cs !:1 integral de una dcns i.dad , Iii ouc :l "11 vcz cs integru l de una dcnsidad de sC[~lInd() or.len.

i\qui present.amos una d i scus ion breve de b r cor i a de un l':tTIlI1o, Nos Lim i tamos a un campo cscllaT, aunque Edelen v S;lIltilll han dl'scrlto aspectos lie l a t cor i a de campos Y.la~ genewlcs. \Ul'stro t raba jo (,IUC :'i(' puhl icar,q pronto) mues t ra que es necesar io cons i dernr dcns idades de trxlo orden.

Un campo csca l ar ~Hx, 1) cs una fWK16n de una coordcnnda c<;p:tclal x y del tiempo t. POT sirnplicid[ld, en 10 que siguc he-mas COIl:'ldc-r0_ do que x es pcr icd ica (x=U es idcnt i f i cado con x=2'fTJ. I.a or unc ion de 1"0 vimicnto p{lra Q c;s ~u ecuaci6n cle campo, una ccuacion

l ~. !)

en sus dcrivacl~s p3Tcialcs

¢ ,\J

y¢

_._--_

(H.21

'I'i p i camcnt e est a ccuac i on es de :-iegundo 0['(1<:'n en Tn dcr ivada t c-n

pora l , Tamh i en , s i 1<1 ecuac ion (:,,, .invar i arrtc baj o t rans fcrnuc i one-, de

lorentz, es de segundo ordcn ('11 las dcr i vadas espnc i a l cs ~. eS Ioca l . ::'u-

ponemos aqu'i que e l campo sa t i s facc una eruac i on de segundo orden en cl

t iempo pero con la pos.ib i l i dad de ser ni loci! n i de un o rdcn pa r t i cu l a r en e1 espac ic , H1 grupo de so Iuc icncs de esr.a ccuac i on 1;1 11:1J11~lJ110S S, en

..-

rna c l conjunt o de solucioncs para un sistema de par t i cul a-, ,

lin metoda raTa tratar e1 campo ¢ conslstc ell dc:;compol1C'rlo en una serle de Fourier:

194

() inx

¢ x,t = ~ A (t)e

n

(8.3)

La cCH.1.ci6n de campo, entonccs, cOTIsiste en unil infinitud de ccuaciones para las func i ones /\ (t):

n

F (A, i\, ,\, t) = 0 (8.4)

n

Las func iones F depend en de todos los 1\ en general, perc solamente de

n n 0

las prlmcras dos derivadas con respecto a1 tiempo A , A. Podemos trataT n n

Ias l~cs (8.4) como Ias de un s i sterna de pa rt icul as ~ pero es mas intcresan

te discutir la teorla dircctarnente usanda el campo.

Consl.dcremos cl campo ¢(x,t) como lUla colecci6n de coordenau.as qi{t) con 1<1 x correspondiendo al 'ind icc i. Para dar enfas i.s a csta corrcsponocncla, cscrihimos

J etc .

(8.Sa)

.

Por cj empl o ,« cs r oa Imen te

x+t

¢ n¢(l,!ll (B.Sh)

x+t ~ 8t y~x+t

LCI convenci6n de SLDna aqui es una convene ion de integrad6n:

A B ~ fA(x.tl B(x,t)dx.

x x) .

Por 10 tanto 1a ecudcion de campo sc consider<t como un conjunto de ecu;]ciones

}~(¢.~,~. t) ~ 0 •

Supongamos que cs posible resolverla para las iii;.:;

~x + C,x(¢'¢' t) ; D.

(8.6)

(8.7)

Las funci ones r. dependen de ¢ , ¢ no Loca l mcnt c . Los terminos son mul ti

x x x

lineales; pOT ejemplo una que Jepcndc linealmcnte de ¢ y cuadraticamente x

de ¢x pucden seT

AXY;Z;W¢y¢zdJw = J J [.-,\(x,y J Z ,W, t ) ~(y, t) Hz, tH(w, t Idydzdw. (8.8)

El problem inverse rcstringido es tud ia la ex i st enc ia de un Lagrangiano pa ra 1m3 ecuac ion particular como (8.6) u (8.7). HI problema inverse no rcst r ing ido consiste en buscar un Iagrang ano para cual qui er ccua cion que t i I;~nc 1 as mi smas sol ue lones S que s on sol uci ones de ( B . 6) u

,.

(8.7). El probl ema de equ iva l cnc i a intenta encont rar todos los lagrangi:!

nos equ i va lentes a lIDO dado.

Un Lagrang i ano para un campo e s similar a lU10 para un s i.s t.ema de

195

par't icul as, F:ste CSLmJ Juneion (0 func iona l ) de ~)x'(I~)(J t s i descamos reproduc ir una ccuac i on equi va Icnte a (8.7). Lo csc r lb irnos como una ser ie de termilnos

L

.1\ ... B ¢ + B Xy¢xy +
x x
C C ,
+ Q + I ¢ + (8.9)
x x xy'x v +]) 6 ~ + 0.6 6 +

xy x y xyz x y z

Es La cos tumbrc cons iderar L como 1.£1 irrtepr a I de una dens rdad Iagrangi ana L:

L"" [l.dX , (8.10)

donde L depcnde de¢- v SLiS der ivadas "qnx, -:;2 or,x2, etc. En (8.9) los tel' minos son integra les de ordon cero (A=:\(t).1, uno (B:p ), dos (B,t .),

x x xy xy

etc. L1 ClTIiaJTlOS (I las funcicnes en est.as integral CS, dens idades de orden 11;

par cjemplo

DXy;::*x$y$z : fJrl)(X')-"Z,t)i;(X,t)~(y.t) (z,t) dxdvdz depcnde de una dens tdad de crden t res .

Algl.llla:-; der ivndas part icut ares usan func iones espec ia l cs . POl' ej empl o La func ion 0 de Di r ac es

(8. ~1)

6(x-y) ::0

6 x-y

(B.12)

Sus derivadas son

_\.I

etc.

(8. 13)

x-y,

;.,:-y,

La func i on S cs W1G. mat r i z un i dad

x-y

6 ¢ ;:; Q

x-y y x

Un t ermi no que depende de ({;$/3x);; j po r cjemp l o , puede ser escr i to

- (Sir <I> ¢;;, JfOll(X-Y)¢(X,t)4J(y,t)dXciY

x-y x y

(8.14)

(8.15)

La integral de acci6n eo; I "" fLdt .

(8.16)

179

Como vereIOClS, csta situacion s6]0 puede presentarse cuando 1a ecuaci6n (5.3) se curnple, es <.lecir, para sistemas singulares. En otras palabras, cualquier sistema f1Sico que presente algUn tlpo de invariancia de norma csta dcscrito por un sistema de ecuaciones singular.

Consideremos entonces, el caso en que el sistema (5.1) es sin~ Lar. En est.as condiciones exi.sten tres pcs ib i l i dades que anal i zarerros

en 10 quc s iguc :

i) Exis tcn i de nt i dade s en t re 1 as ecuac i ones (S. 1), es dec i r , es tas no son completalT'Cnte independientcs.

Li ) Existcn ecuac i ones que no contienen las accleraciones (contienen las vclociu8des como derivadas mas altas). Estas ccuaciones Se l l.aman cons t r i cc iones , porque i mpl i can que los val.ore s in i.c i al es de 1<15 vc loc i dades y pos ic iones no se pueden especi f icar arb i.tra r .iumcn te t sino que es t an canst refri dos POy dic.has ecuacioncs.

iii) Hx i st en Idcnt Idades y cons t r icciones . Es te es c l caso de las tcorlas mencionadas al comienzo.

-

Para prcci sa r est.as i.deas , descr ib i remos las s i tuac ioncs mencio

nadas mat emfi t i camcn t e . TJc b i do a l hecho de que 1 a rna t ri z t-L. cs s ingul a r ) ~J

su range R eS mcnor que n. Exi stcn ent onces n-R vectores linealmente in- 1 -

depcndi errtes V (q,q,t) prop ios de H .. (per Iu izquierda) con valor propio

a 1J

ce ro , est o es.

V i ~l,. ;; 0 (a = 1, ... n- R) •

a .lJ

Cons ide rando 1 a ecuac -j_ 6n (S. 1) debe teners e que

B (q,q,t) :: V i(q,q,t) :-J.(q,q,t) ~ 0 •

3 a ~ -

(5.6)

(.3.71

Ahara bien, si Bo;(4,(t. t) :: 0 para todo a • entonces cxisten n-R iclcntic1ades y sc trat<l del caso i) dcscrito con 31lterioridad. 5i ningWlo de los B (g,g,t) es ioentjcamcnte cera, entonees existen n-R eonstriecio-

a

nes, ecuaciones que ligan las posiciones y velocidades iniciales, es dc-

c.i r , que no cont icncn las ucr-l c ruc i ones y cs t a s i tuac i on cor responde .1.1 ca so ii). Par ultimo, s i a Lgunos , pero no todos, 1 as B son rdent i carncntr

a

cero se ticne e1 caso iii) doncle exlsteLi identidades y constriccione5.

Los lagrangianos L que dan origen a sistemas singulares son degenerados en el sentido que

181

te (T) es t ransformada y norma inre rna 3. aque l l a que deja Invar iab le a 18 variable indepcndientc

Caso ii). [1 campo de PrOC<l

El I agr angi ano de 1 campo de Proca es

L = -41CAIJ.'v - )\\),p)(l\ - A ) - ,l m2AlJ.\

. \.1,''; 'v,iJ 2 "jl

(.).16)

Las ecu<lcioncs cle movi.mi.ento son

(5. 17)

Es ffici I probar que

(5 . 18)

v por 10 tanto,
. ;
c'f.I",lJ ;;;; 0
:;1. m2 -I 0 (S, 19)

La ecuac ion (S, 19) que no cont i ene ace Ieruc iones cons t i tuve W13 constricci6n que Ega los val.orcs in ici alcs de AL; y sus pr irneras de r ivada::; temporalcs.

Casu iii). E 1. campo de )\!;,n:J.\'e 11. los C:W1P05 de Yang ~h 11 s , Relat.iviclad Ceneral.

Es tud i aremos en alg(m det.a l lc c l campo de HaXh"e"ll que const i tuye e1 cjcmpl0 mas simple de los mencionados.

El lagrangiano cs

L '" - -41 (~'\v, \J _ A-w, v) C q_ - A )

. j..J,\) \),]..J

Y las ecuac iones de movimiento son

(5.20

'". u, "\\) _ ,,'j ( ':, A lJ·) 0

dd. 0 0 .. ""\ ::

j.l jJ ,

(5.21)

Is Hieil ver i f i car que t anto (5. 20) como (5.21) son invar iant cs ante Ia t.ransformac ion de norma irrte rna

i\ I -::: A

)_.! j.J

(1'1: funei6n arb i trar ia) .

~a divergcncia covar Iant c 3.,,-, de (5.21) cs i denti canente ccr o ,

es decir.

C- r ) _.) ;:J • _ ,)

jndependicntcmente de que (5.21) so cump18 0 no )", pOl' 10 t.anto, s610 trc5

168

La matriz fj t i.ene range t res ~ es dec.i.r del Case IV) Y no existe L ni para las ccuaciones (3.24) ni para ecuac~ones equivalentes a elIas. ClaTo que Douglas mostro que no existe L si c01]sideramos L tales que sus ecuaciones sean de segundo orden, Hay ecuaciones de primer orden equivalcntes a (3,34), con variables adicionales, para las que existe lU1 lagrangiano (ver mas adelante).

Otro ejemplo es la ecuacion de un osciladoT arm6nico con fric-

cion

q ... aq + bq = 0

(a,b '= const.ant es) .

(3.49)

En este caso, no S8 satisface la condici6n (3.6). Por 10 tanto, no existe un Iagrang iano euya ecuac ion de Euler-Lagrange sea exactamente (3.49). Sin embargo, podemos buscar una funci6n ). que sat i.sfaga (3.8), que implica ahara

dA (,3'q' +: bq) + 'I a ::: _Q}. _ q' + _]2_

aq A aq at

(3.50)

Si II no depende de q, es necesario debido a (3.50) que tampoco dependa de q. Entonces II es

A :::: >"oeat El lagrangiano (si AO :::: 1) €S

1 t ·2 2.

L ::: "2 ea (q - -+ bq) •

Si A no depende de t, es necesario que dependa de q y q .

(AD - constante) .

(3.51)

(3.52)

Una sol uc ion

para ), es (Havas, 1957)

-2 • " -1

\ ~ (q + aqq + bq~) .

(3.53)

El lagrangiano entonces cs

L = 2g + aq tan- 1 eq

2q+aq) 1 -2 ·1 2)

- - - -2 In ( q + aqq + bq •

cq

(3.54)

donde

C '" ( 4b ~ a2 ) 1/2 •

(3.55J

Aqul tenemos des Iagr-ang i anos (.3.52) )' (3.54) para las so Iuc iones de (3.49), perc no hay n inguno para 1 ct. ecuaci6n (3.49) mi sma.

Finalmente, nuestro Gltimo ejempl0 es Ia ecuaci.6n lineal

169

o

(3.56 )

dondc L .. Y K. son constantes. L~lS condiciones de Hc lmho l t z (3.2. 3.3, ~) l

3.4) dicen que

L .. :: -1. ..

J. J J l

K. < :: K ..

1J Jl

(3.57)

Entonces vcmos.que es posihle encontrar un 1agrangiano para una fuerza que

.i

depcndc de la ve Ioc idad si q est a rnrl t ip.l icuda por rna mat r! z ant i.s imet r i-

ca , Es tc es el caso de la fuerza magnet i ca , que no existc en un s i s tema unidimensional (vcr 3.6).

IV. LAGRANG L\NOS DE PRIJl.lER ORDEN

Como vimos en 1 a secci6n II I, ex i s t en sistemas hi d imens i onales para los cuaJcs nO existc lID lagrangiano, otros para 105 cuales existe solo uno y ot rcs para 105 cual.e s existen infinitos Iagr ang ianos . ALU1qUC no cxisten estudios completos de este tipo para uimensiones maYOTeSt es natural suponer que 1 a s i tuaci 6n sera 5 i mil ar .

Consiueraremos ahara lID problema uifcrente relacionado con 1a existencia de 1agrrulgianos para sistemas de ecuaciones diferenciales de primer orden.

Sc sabe que cualquicr sistema de ecuaciones difercnciales se puede escr.ib i r de modo que las dcr ivadas mas a It.as scan de pr imcr orden, csto cs, si sc Liene Ul sistema de n ccuaciones diferenciales de segundo orden, digamos

1. J

1, ... ~n •

(4. 1)

cnt onccs , s iempre exi st.e 103. pos ib i 1] dad de def in i r n nuevas var i ab l es

i ·i U = q

de modo que el sistema (4.3) c/ ui

. i = Fi( j j )

-u q,u,t

i =1, ... ,n

(4.2)

(4.3)

sea equivalente a (4.1).

Una posibi1idad es elegiT las velocidades como las nuevas variab l cs , Si exi.s te LU1 lagrangiano L de segundo o rden para 01 sistema (4. 1) 0-

Entonces 01 Iagrang i ano L es L=;]'11+1,6" ¢¢ -lm2dlr 2 ~x~x 2 x-v x y 2x~x

= 1 )1 j- r~Q.:'·:12 ~ r?~) 2._ m2¢2 ~I dx

2 .. lat) lox J

(8.27)

No hay una tt::oTla cornplcta para la existencia de un lagrangiann pa ra una ecuacion oquiva lerrte a (8 A) s t no existe si jui.eraTa t eor ia para 13 Ec. (8.4) misma. Aun s; exi st.c un L dado no hay una teorf d PiUel cuando exi stcn otTOS 1 equi val entcs . Podcmos deci r, sin elTiloargo. que

las condiciones nccesarf as que dcsc rib imos arriba son necesar ias aqui.

Sea L

equ iva 1 en te a L. Supongamos

,,2'-

W =. '1 ~

xy ~$ (j.$

X Y_1

que existen l\[ ~yl'

que las matrices

;'J2L W

xy = ~.~~

x. 'j

mvert lb'l es: es dec i r ,

(8.28)

son

_ '1

W - tales que

xy

(8.29)

Def iuimos

'" ,'L

xy

pOTf

A = W W

xy xe z.y

Entonces 1a condici6n de equlvalenc.ia entre L y I es

(R.3D)

[ '" f'i T.

x xy y

que con UL30) da Ia ecuac ion has.iea (VCT 8.19):

(8 :-')

. :);.

Entonces podenos ver i f icar que Ia t.raza de La mat r iz /" xy

cualqujer potencia es una constante del movimiento:

d d

d·t (AXY) = 0 .' ~d' -t U' ,~. )I;: 0 , etc ,

xy yx

A ~ 1 d d.

qui i e opera or dt es

d d 'd

_ = _ + .-k __ +

dt ... t 'f'}<:::.

(J '."$x

cstd dado pOT l a ecuac ion de campo. Sin embango.My una d i f i cul

o

~'\ yx

c l evada ,~

(8-33)

8.34.)

dande ~

x

tad: es posible que 1\ 0 ;"1, ,P!, etc .• no pueda def ini rse. Per cjernp l o

xx xy yx

si 1\ ;;;; 8.. . ,[I, == 60 es infinito (aunque cons tante) .

x'! x-y xx

POT cons igu icnt.e, hay algunos problemas con La t eor Ia de campos

que no existcl!1 en 1a teoria de partlculas. Uno se presents. cuanda .l.ns in t egrares de densidades de orden general y La suma (8,,9) ccnverjan , Otro

Errtonces cl Iavrangaano L os

L 1 l,t 1 ~" .... _ 1 m2.+. ......

- = _. "" 'l' + - 0 I~~ (j) 'I' '"

2 'X ,x 2 x_yO x y 2 x x

- I f [ [~:r - r~~r - m2¢2J dx

(8.27)

No hay una t.eor'La comp lct.a para la cxi stenc ia de un l agrung iano

para una ecuac ion equivalente a (8,~J s i no exi.s te s iqui era 1a tco r ia pa-

ra la Ee. (8 . .;a) mi sma • Aun s i exi st.e un L dado no hay UJ18 tcor Ia saru

cuando exi st en o t ro s 1: equi va Ient.es, Podemos dec i.r , sin embargo, que

Las cond ic ioncs necesar i.as que desc.r ib imos arriba son necesar ias Sea I equivalentc a L. Supongamos que las matrices

~2L ;2[

W ~-r-- ~\; - ~

xy dip C'cp xy arp cl~

x y x y ~,

son i nvcrt ibl es : es dec ir , que exisr en W-xl.y~' W tales que

xy

aqui ,

(8.28)

,,(I W '" 6

xy yz x-z

(8.2'9)

Def irunos .~. por

xy

ll_ = W W

xy xz zy

Entonces la condici6n de equivalencia entre .t y L es

(8 .. ')0)

que con (8.30) da Ia ecuac ion bds i ca (vcr 8.19): 'Ii = t. V

X xy y

(8.3:?)

Bn tonces podemos ver i f icar que Ia t raza de La mat r i.z ,n, 0 ,t\ eLevada a

"xy yx

cualquier potencia es una constante del movimiento:

d

dt (J\x) = 0

Aqtri , e1 operadcr ~t es

d d 9 (; u :~

- "" - + ¢ -- + (jJ ~~,,~~

dt 3tXam xa~

'¥x "':;;;

donde ~ esta dado pOT in. ecuaci6n de campo, Sin embargo, hay lIDCl. d'if i cul x

tad: es pos ibl e que II 0 I\ ,d etc. j no pueda de fini r se . POT ej emp.lo ,

. xx xy yx .

s i h 5 I A= 50 e s infinito (fnmque cons tanteJ .

xy x-v xx

POT cons i gui ent e ~ hay a lcuncs problemas con 1a t eor-i.a de campos

d (" '\ )

--' J~" ~L ,,=

cit xy yx

o , etc.

(8.33)

8.34)

que noexisten en la tecr ia de parr icul.as . Uno se present.a cuando las in t egra.Ies de dens idades de orden general y 13 suma (8.9) converj an. OtTO

198

O~ b ex i st enc Ia de rna t r-ices que sat is fagan (8. 33) aunque las t ra Z<:! s de sus potcnc las no ex isran. Fmalraente , estrin 1. os prob! CHlas de 12 ex i stenci.a de un lagranp,iano. c6mo parler cncontrarlo, Y clli'indo hay otros equiv;,1~ lentcs ,

Tamb ien menc lonemos que c] concopto de una consrante del rnov.ii ~ mlcnto en csta tecr ia bene rdeas sut i l es , Mosr.ramos est as sut.il czas con 01 cjcmpl0 de h. ecuac ion de ondas

;; ? ¢_ :) 2 ¢ =0 0 •

dt? ii .. 't2

La so luc ron geJi1eTal do (8. 35) C~;

(8.35)

¢(X,t) ;; il\(X1-t) + ¢_(x-t) ••

donde ¢+' ifJ
t=f I) me ~.~ ~
te ue x, son fundones de una va ria b 1 c .

Los va10res de rjl v ¢J a

+ ..

¢' a t"'O SOli constantcs clel movimicnto, fUfl.cilones~ol.amen

Per 10

Lscr i bamos ahora las dcrrvadas tllP

rp~ _ ~.~ (It

Il~ c;;- $1 + rJI_'

ax +.

tanto podemos cxpres3rlas

'" I. 1"'x_-'l-t)-. _ 1 (().p + d.-P1.

~+l. ~ at ax]

1¢~(X~t) .. i- (-~i + ~~J

(8.37)

como

x

(8.38)

x

t\ cont i nuac lon sumarcmos las series de TayIor

exp r - t 3 ) <p; (x+t) "" tb~ [x)
~ 3x
exp [ t *-1 1Ji~(x-t) - $: (x):
dXJ (8.3'9)

POY consiguicnte vomos que

rp!(x) .. 1. (~ + Q1)

z: 3t 3x x·_t

q;' {x) ,~ }- [~~ .. '. + _~I

~ 2 at ax.,

(8.40)

,

Xi-to ~

son constantes del movimiento. Estas CQnstantcs son vectQres: cxiste una constante pOI"" cada vaIor de x , Una coast.ante esca Iar ~ pur ej empl0. resul

199

ta cuando usamos funcioncs f J g de x solamcnte: x x

F -; f (3¢ + a~l = f A (¢ + f I ¢)

xlat ax) t x x-t-y yy-z ~ x-

{8.41"J

G '" g r(l¢ + J¢l = g 8 (~_.<:I ¢).

xl3t ax) ·x x+t-y y vy_z Z

x+t

£1 lagrangiano que proviene de (8.27) para 1a ecuacion de ondas

es

L = .J;q; ¢ + _1-5" tb Q (8.42)

2 x x 2 x-y x y

Para construir un lagrangiano L equivalentc a L. es necesario a1 principia cscoger una matriz A que satisfaga (8.33). Una matriz que satisfaxy

ce los rcquerimientos con 01 uso de F de 1a Ee. (9.41) es

l, "'0 ($ +f.1 ¢).

xy x+y+t+z z z-w w

(8.43)

En 13 tcoria actual, no C5 posible garantizJr que haya lUl r ob tenido con cl usa de,'\ ,pero en es t e caso hay uno:

xy

r "" 1 ," + 1 0 ¢ ~ ¢ - ~"

3 cu+v+t+z5 z-w~u¢v¢w 6 u+v+z+t u v z 3 u+v+z+t~u¢v9z

(8.44)

La ecuacjon de Euler-Lagrange de I es

1 "'}l (it; ~()'T ¢) == O. (8.45)

x xy y x-z z

En general 1\ ticne un inverso y I '" 0 es equiva1entc a

xy x

L "'0. Cuando II. "" 0 t.enemos que

x xy

~ + 8' ~ = 0

x-t x-t-y y

(8.46 )

y es facil ver que una so1uci6n de (8.46) es una soluci6n de (8.35):

3 (~ 0' ~ ) ; 0 -( 32¢ 32¢ 1

3t ~x-t + x-t-y~y - atZ - dXZ

x-t

Pero cl problem.'! de la exi.stencia de lagrangianos"[ mas generales que

( 8.44) para la ecuac ion de onda S 0 pa ra at ras ccuac iones de campos e S un

(8.47)

problema abierto para e1 futuro.

XIX. CONCLUSIONES Y"PROBLD1AS.

Como hemos visto en las secciones anteriores el problema inverso del calcu10 de variaciones tieoe muchas facetas y algunas de elIas no han

sido expl_umdus tota]mcnte, ,,,! pcsar de que 10s pnmeros trabajos en eli area datan de fine~ del $!i~la pasado.

Al",l1lnoS de los probl em s abrer tos mas mreresantes son:

~_I) La ext ens ion del probl ema Inverse en su fOImulacion usual (se~ do ordcn) 11 d imens ioncs mayores que dcs ,

lb) Ot1'o asnec.to Interesante es aver i.guar Ia re.lae ion ont re los :inn III iit'Dsl agraTllg.ialHJ6 me primer orden y Ia j ndetcrminac ion en La

el scc lon del conjurrto do constantes en un sistema fisico.

c1 Irrtenta.r simp]] ncar 13 const rucc ion de Iagrang.lanos de primer O~den evfLtnndo en 10 posibl.e 1a necesidad del conocimjcnto de todas las c:onstanteg de mOV1ID1]6nto. (FJl eJ. GI!SI) de cenocer e1 h.'1liJlli Ito n.iano conservado , se puede construi r 181 Lagrangdano de primer or den

l( i, hq , Pi)-

d) Const.rucc.idn de Iag rnngi anos pard s i steaas s.ingul.ares en general y mej or caracter t zac lon de' las variub]cs de: norma e indcpendrcntcs de norma.

c) Intcntar aclarar hasta donde es posiblc establecer una rclaci6n intrinscca entre t.ransfurmac icaes de siimetria y carrt idedes censer vadas (en 10 pos ibte cv Lt ando e] U!jO de Iagrang ianos que resul t a normal men te amb i guo) .

f) La const ruccien de una t eorIa cuamtica, 10 Jjlk'iS gencra.Lpos.Ib.l c ,

que cv i t.e las amhi gilcdades 'resu! tantcs de 1 a existenc ia de lagra!!_ gi anos cqu.ival entcs, es tambien lID desa ffo irrteresantc.

g) L;;] tcarla general de ~~gr.aJilgiallos equi vafent.es para cl caso de t.cor Ia de campos os ot ro prohl ema ab ie r'to .

h) La gcneruJ!iz:aclon de trarrsformsc.iones canoni cas para incluir aqu~ 11.15 que consideran ell paso deWl lagrangiano eQuivailente a otro" podr iu Her tambien cons iderado ,

i) La gencmlizad6n del t.ecrema de ~oether '!lara cons idcvar t ransfor macdones que camo ien l61: ace.ion de modo que las nuevas ecuacrones sean comb inac.iones lineales de las originales es ot ro teJilk"l abi.er to de investj:gacion

j) La t eor ia de Hami l t.on-vlacob i para 1agrang'ianos equivalentcs as] como para Jagrang.ianos de primer orden ha sido poco cs tud i ada y seriaintercsante ex-plofar este campo.

A pe~ar de los avances logrados, como 5e pucde 3preciar, existe aun lU1 gran ntmcro de prohlemas que se pucdcn atacar ,

II e5tudio de lagrangianos equlvalentes multidimcnsionales no ha alcanzudo <JOn los n i vc l cs logrados para e1 caso un i dimensional. Los J agTa!:l_ gianos de primer ordcn,3 rcsar de constituir una reSpuc5ta (poco ortodoxo) 01·1 prob l ema invcrso, no han s i do aiin cxp lorados completamentc y 10 mi srno pucdc dcc i r.:;e de los otros t emas t ratados en e l articulo como ya sc ha sc nalado. A pesar de que el terna puede parecer mas matematico que flslco, poorIa adquirjr gran rclevancja debido a que los metodos vayiacionalE's son ampliamcntc utilizados en f'isica. Ademas. debjclo a la. ambigUcdad surgicla por 1<J existencia de lagmngianos equivalentes, estos ('studios nos conducen a ut i l i zar en nuest ras cons idcruc ioncs conceptos maS bas icos y de mayor r e l evan cia CxpCT imen ta l como es e 1 con junto compl eto de so 1 ue iOIl es {or bitas) de un problema en lugar de usar lagrangianos. Debido 3 todo 10 que hcmos expresado antcrioTmente es muy posible que cstc fascinante tem<1 sea el objeto dc nurnCYO:-:iOS trabajos en c1 futuro proximo.

BTm, TOr,){,'\FIA

Las ObYaS que sc 'I i s t an a cont inuac i 6n const ituycn una se l Gee i6n, que no prctende SCT exhaus t iva , de t rabaj os rel ac i onados con e l tema de cste articulo. Algunos de estos tfa!Jajos, no aparcccn citados ['0 el texto y, han side inclutdos porquc se ha _iuzgado que su contenido podria intere saT a algunos lectores.

1. R. Abraham y J.E. Marsden 09l8) Foundation of Mechanic.2.; 2nd Ed. (Benjamin/Cummings. Reading. Massachusetts).

2, K. Akama (1979) "Quantum Mechanical Equivalence of Two Lagrangian Forma l i sms in'Scalar Pregeornetry~B" ~rog. Thear. Phys. ~1 687-689.

3. D. Anderson (1973) "Equivalent Lagrangians in General4zed Mechanics" J. Math. Phys. 14, 934-936.

4. V.I. Arnold (1978) Mathematical Methods of q_a_s~ica1 Mechanics (Springer-Verlag. New York).

202

5. 6, 7.

8. g.

10.

J. Bertrand y M .. Irac (1979) "Non-uniqueness in Writing Schrodinger Kernel as a Functional Integral~ lett. Math.Phys. 3~ 97-107.

G.O. Birkhoff (l927)Q,'inamica1 .~?tems 1Am. Math. Soc., New York). G. 8i rkhof f, S .. MacLane ~ __ ~urv_ey of Modern A.l gebri! Macmi 'l Ian 4 Ed. {New York) (1977),

G.A. Bliss (1925) Calculus of Variations (Open Court, La Salle.

I'l l inoi s ) . ----- ~,

O. Bo l za (1961) Lectures on the Cal cul us of Variations (Dover, New

York). -------.---

K. S. Cheng (1974) "Equi val ent Lagrangi ans and Path Integration for Generalized Mechanics" ~.Math. _ ____E__hy_~, ]i, 808-81L

Y. Chcque t-Bruhat , C. [IeWHt-Horette, y ,M. Di l l ard-B'lei ck (1977) Ana 1~, r"lan tio 1 d2_ond_fhys i cs_ (Nor th-Ho ll and, Amsterdam).

J. Cohn (1980) "'Operatorrormulation of Classical Mechanics" Am. J. Pllys- ._l_. 379-386_

O. Currie and E. Saletan (1966) Hq-Equivalent Particle Hamiltonians. L The Classical One-Dimensional Case" J. Math. Phys, 7, 967~974 ..

D. Currie y E. Sa l st an (972) "GanonicaITransform2Ition-s and Quadratic

Hamt l tor lans " Nuovo Cimento 89B S~r .. 11,_.1~3-153., ~~ e

G. Darboux (1891} leit;:ons sur 1 a Them"" e ~ General e des Surfaces. I I I partie (Gaut4er-Vil1ars, Paris)p. 53.

P.A.M. Dirac (1964) 1_ectuTes on Quantum_ Mechanics (Yeshiva Univ. ~ New York ) .

V. V. Dodonov , V .. I. t~anko, V. D. Skarzhinsky (1981) "The Inverse Problem of the Variational Calculus and the Nonuniqueness of the Quantization of Class1cal Systems~ Hadronic J. 4, 1734-1804.

J. [lougl as (1941) "SO 1 ution --6fthe -Inverse Pr-ob l em of the Cal cul us of Variations" Trans. A111. Math. Soc .. 50, 71-128.

D.G.B. Ede~erl1Y969)-Nonlocal variafions and Ioca l vinver iance of

F4 el ds (Amer1~can E1 sev-i er ,-rifew York). - . ._-

f:"lt..Edwards (979) "Ouentizet ion of Inequivalent Classical Hami l tonf ans " A_m~'_._Phy_?.. 47_, 153-155.

L. Eisenbud (1958) "On the Classical l.aws of MotiDn'~ Am. J. Phys. 26~ 144-159.

L.E. E15colg (1962) Calculus of Variations (Addison-Wesley, Read1ng~

Massachusetts). - ---._--

1. M .. Gel' fand y S. V. Fomin (1963) Ca:1 cu.~pf Vari atipns (PrenticeHa 11, Engl ewood C1 i ff's , NelfJ JerseY).

Y. Gelman y E. J. Saletan (1973) "q-Equi va lent Particle Hamil tcn i ans II~ The Two-Dimensional Classical Osc i l l ator ~~ovo Cim~nto _~ 18B~ 53-71.

H. Goldstein (1980) Cla~.?ica.L Mecllanics.:., 2nd Ed. (Addison-Wesley, Read i nq , Mas sachuset EST.

G. Gruber (1972) HOI1 quantum Mechanical Operatur-s in Gelleralized

Coordine t es " Am:. J'~2_' 40, 1537-1538.

M. Hamermesh IT964l Group Theor.x an.d~ its Appl ications _to Physi~~_1_ Problems. (Addison-Wes.ley, Reading,. Massachusetts).

P-. Ha.vas (1956) "Genera.lized Lagrange Formalism and Quantization Rul es" Bun . Am, _Pllys. Soc .. 1, 337-338.

P. Havas (l9S7)l'The Range of Application of the lagrange Forma l i sm-L" ~£. Nuevo Cimento ~ Ser , X, 363-388.

11.

12.

13.

14.

15.

16. 17.

18. 19. 20.

21.

22. 23.

24 ..

25. 26.

27. 28. 29.

203

30.

P. Havas (1964) "Four Dimensional Formulations of Newtonian Mechanics and Their Re1ation to the Special and the General Theory of RelativityLi Rev. Mod.~. 36, 938-965.

P. Havas--(1973) T1fhe Connection between Conservation Laws and

I n va ri a nee Groups: Fa 1 k lore, Fi c ti on, and Fact 'I A~!.i!_ Phys. Aus tri aca 38 ~ 145-167.

H-:- Helmholtz (l8B?) "Ueber die physikalische Bedeutung des Princips der k 1 e ins ten Wi rkung II Jou rna 1 fur die re i ne und a ngewandte Mathematik. Berlin. 100. 137-186 .. ~-~.

M. Hennea-ux (198iT "Equat ions of Motion. Commutation Relations and Ambiguities in the Lagrangian Forma l i sm" preimpreso Urrivers i te Libre de Bruxel1es.

E.L. Hill (1951) ~Hamilton's Principle and the Conservation Theorems of Mathemat iea 1 Phys ics " Rev. Mod. Phys. 23, 253-260.

S. Hojman (1981) "cons truct ton of Genotopic Transformations for First Order Systems of Differential Equat i ons " Hadronic_;!_. (par aparecer). S. Hojman y H. Harleston (1981) "Equtva l ents Lagrangians: Multidime.Q_ s i ona l Case" J. Math. Phys. 22, 1414-1419.

S. Ho.jman yR. Montemayor (1980) "s-Equi val ent Lagrangi ans for Free Particles and Canonical Quantization" Hadronic J. 3, 1644-1657.

S. Hojman, S. Ramos (1980) "Lagrangianos Equivalenfes y Separabilidadl' Bal. Soc. Mex. Fis. 6, 198.

S:-Hojman-y L.F.~Urrutia (1981) "On the Inverse Problem of the Calculus of Variations'l J. Math. Phys. 22~ 1896-1903.

C.W. Kilmister y F.A.E. Pirani"(1965) "Iqncr ab l e Coordinates and

Steady Motion in C1assical Mechanics'l Proc. Camb. Phil. 50c.61, 211-222. E.J. Konopinski (1969) Classical Qescriptions~~~ion (Freeman, San Francisco).

B.D. Koopman (193l) "Hami l ton i an Systems and Transformations in Hilbert Space" Proc. Nat'. Acad. Sci. U.S.A. 17, 315-318.

C. Lanczos (l970fThe_Va_riational ~ririCTp-ies or- Me~hanics~ 4th Ed. (Univ. of Toronto Pressl Toronto).

L.D. Landau y E.M. Lifshitz (1976) Mechanics, 3rd Ed. (Pergamon Press.

Oxford). - .. ~----

D. Lovelock y H. Rund (1975) Tensors, Differential Forms,and Variational

principles (Wiley-rnterscience'~-New York). . .

N.£. Macartney-Filgate (1980) "Irens Fornat tons Related to Second Order Killing Tensors in the Context of Einstein's Gravitational Theory" Tesis de Maestrfa, University of Texas.

G. Marmo y E.J. Saletan (1977) BAmbiguities in the Lagrangian and Hamiltonian Forma1ism: Transformation Properties" Nuovo Cimenta B 40B, 67-89. --

G. Marmo'y E. Saletan (1978) "q-Equt va l ent Particle Hamiltonians III. The Two-Di~ensi(ll1al Quantum Oscillator" Hadronic J. 1, 955-965.

R. Marnelius (1974) "Action Principle and Nonla-cal FTeld Theor i e s " p.~B.~_y_. DR 2472-2495.

A. Mayer (1896) Be.!:.!chte iiber die Vel?handl_ungen der kgl. Sachs; schen. ~esse.!)schaft __ der Wi~enschafte~_Leipzig. Math:_ Phys. Cl. .. 519

J.E. Moyal (194~QLJantum Mechanics as a Statistical Theory" Proc. Camb. Phil. Soc. 45, 99-124. ---

Uegro -Y-A.Tart·agJia (1980) "The Quant f za t icn of Quadratic Fr i c t i on'' Phys~ Lett. 77A. 1-2.

31.

32.

33.

34.

35. 36. 37. 38.

39.

40. 41. 42. 43.

44.

45. 46.

47.

48.

49.

50.

51.

52.

Z04

53. E. Noe ther (1918) "Invariante Variations probleme" Nachrichten von der ~o_n_i__g_li..f..he'!_ Ges_s_g_l.l..~chaft d!,L Wi ssenscha ften zu Gott__ingen, Math. Phys. K1asse, 235-257.

54. L.A. Novak, M.M. Milic (1980) "On the Existence of Variational Formulation for General Time-Varying Systems" Proceedings of the 1980 IEEE Internationa1 Symposiu_m on Circuits and Systems (IEEE, New York) 830-832.

55. S. Okubo (1980) "Does Equation of Motion Determine Commutation Relation?" Phys. Rev. 0 22, 919-923.

56. S. Okubo (1980) "Canonical Quanti zation of Some Disipative Systems

and Non-uniqueness of Lagrangians" Preimpreso, University of Rochester.

57. C. Palmieri y B. Vitale (1970) ~IOn the Inversion of Noether's Theorem in the Lagrangian Formalism" Nuovo Cimento 66A, 299-309.

58. L.A. Pars (1965) B_Jreatis~~n Analytical Dynamics (Heinemann, London).

59. L.S. Pontryagin {I962) Ordinary Differential Eguations. (Addison-Wesley, Reading, Massachusetts).

60. R. Prosser (1964) "Seqa l l s Quantization Procedure" J. Math. Phys. ~. 701 -707

61. M. Razavy (1972) "q-Equi valent Hamil tonian Operators" Can. J. Phys. 50, 2037-2047.

62. r;r:- Razavy (1977) "On the Quantization of Dissipative Systems" b_P~.

B 26. 201-206.

63. G.!Rosen (1969) rormul~tions_Qf~lftsslcal and Quantum Dynamical Th~~ (Academic Press, New Yo~

64. H. Rund (1966) The Hamilton-Jacobi Theor'y_ in the Ca1culus of Vaxiations (Van Nostrand, London).

65. E. J. Saletan y A.H. Cromer (1970) "A Variational Principle for Nonholonomic Constraints" Am J. Phys. 38,892-897.

66. E.J. Saletan y A.H. Cromer (1971) Ibeo~ticaJ Mechanics (Wiley, New York) .

67. R.M. Santilli (1977) "Necessary and Sufficient Conditions for the Existence of a Lagrangian in Field Theory. I. Variationa1 Approach to Self-adjointness for Tensorial Field Equations" Ann. of Phys. 103, 354-408.

68. R.M. Santilli (1977) "Necessary and Sufficient Conditions for the Existence of a Lagrangian in Field Theory. II. Direct 'Analytic Representations of Tensoria1 Field EquationsU Ann. of Phys. 103, 409-468.

69. M. Santilli(1977) "Necessary and Sufficient Conditions for the Existence of a Lagrangian in Fie1d Theory. III. Genera1ized Analytic Representations of Tensorial Field Equations" Ann. of Phys. 105, 227-258.

70. R.M. Santilli (1978) Foundations of Classica1 Mechanics I (Spr1n~er-

Verlag. New York). - .--- .. _. ._-

71. H. Sarl et (l979) "On the Trans i ti on between Second-order and Fi rst-order Systems within the Context of the Inverse Problem of Newtonian MechanicsB Hadronic J. 2, 407-432.

72. W. Sarlet y-F. Cantrljn-(1978) "On some aspects of the Inverse Problem for General First Order Systems" 1-1adronic J. 1, 101-133.

73. M. Schoenberg (1952) "Application of Second Quantization Methods to the C1 ass i ca 1 Stat i s.ti ca 1 Meehan; cs II Nuovo Ci mento IX. 1139-1182.

74. I.E. Seqa I (1960) "Quantization of Nonlinear' System? J. Math. Phys. 1, 468-488.

170

tra pos ib i Lidad es definir los Impetus P, = a8.~- como las nuevas variables.

El sistema (4.3) se puede escribiT eh la forma

.a a b )

X "" f (x,t

a,h,::: l, •.. 2n

(4.4)

con xi ~ qi) xi+n = ui, fi:: ui• fi+n;;; pi, i = l, ... n.

Conside:rernos ahara e1 ~j:roblerna inverso del cal.cul o de variaciones

a 'a

para e1 sistema (4.4). Sea L= L(x.x .t) un lagrangiano que da origen a

ecuaciones equivalentes al sistema (4.4). Las ecuaciones de TnOvimiento deb; das a L ,

= 0

,

(4.5)

son en general de segundo orden.. Para que sean equi va Ien t.es a (4. 4) es necesario que

c 'c -

para todo a,b,x ~x ,t,

(4.6)

o sea,

L debe se r J a 10 mas, lineal en las velocidades. Las ecuac iones

de movimiento son entonces

r ata a~. I ~~~---I

~ d~ a0 )

(4.8)

y paTa que sean equivalentes a (4.4J debe teneYse que

det r~f6- - a~ 1 f 0

ax dX

(4.9)

v

al a,i

__ a Q.._ "" _

at 3f

(4. 10)

Havas (1973) mostr6 que e1 sistema (4.10) t iene s i.empre so Iuci o-

/'

nes de un gran grado de arbitrariedad Y pOT 10 tanto existen varios lagran-

gianos que dan origen a las mismas ecuaciones de movirnj_ento. En 10 que sigue lIDstraremos explicitamente c6mo se pueden construir, en principio, in-

~ r

..

171

finitos lagrangianos para un sistema [4.4) dado (Hojrnan y Urrutia, 1981).

En primer lugar. es conveniente reescrihir el lagrangiano (4.7) introduciendo el ticrnpo t como una nueva coordenada COn la notaci6n

)l = 0, 1 , ... 2n

(4.11)

y considcrar el partimetro arbi.t rar i o T de r.odo que

(4. 12)

y la acci 6n para e_l sis tema (4. 4) se escr i he

S ~ J Ldt • f t~(XV) ~: dr

(4.13J

de modo que S es invariante ante el camb io

(4.14)

Las ecuacioncs de movimiento derivadas de- S son

dx v _ dx'J_

---err- = M l..\) .(f[ - 0

(4.15)

Estas 2n+1 ecuac iones deber ian , en principio, ser equival ent es a las 2n ecuaciones (4.8) Y. en efecto, 10 SOn. La raz6n es que existc una identidad entre ellas, 10 que implica que s610 2n de e l Ias son mdepen-

-

dientcs. Esto es una consecuencia de 1a invariancia de 1a acci6n ante

cambios arbitrario5 de parametrizaci6n (4.14). La identidad sc obtiene a1 multiplicar E L por dxd v y sumar sobre Vt cuyo resultado es identicarnente

v 1:"

cera (sin necesidad de que E L ~ 0 sean satisfechas) IJ

o

(4.16)

Otra manera de ver 10 rnismo es cornprobar que 1a ecuacion para

u 0 es una consecuenc i.a de 1 as ecuac i.ones pa ra ,>1 = a. As i ,se t icne

[ d£. a ;)£0 1

~~-.--

'"' 0 "a

aX ax

(4-. 17)

172

(4. 18)

Pant t cncr una parunot.r izuc ion adecuada , debe curnplirsc que

dx° lIT

Y consecucntemcntc las ccuac:lonc:i (4.18) imp1ican

o

(4.19)

f3£ ,a£ J

t;~) .. h~

que cs la ccuac.i6n p8.Ta jJ = 0

(4.20)

Ahern b.ien , cs d.i roct o mos t rar , ut Ll i z andc la condici6n (4.9), que las ccuaciones (4.15) son equlvalentc5 a las ecuaciones (4.4) y que La dcsc r i pc ion de l sistema (4.4) utilizando 1::1 accron (4.13) es adecuada .

Como v.imos i c I s i s tcma (4.15) time s610 2n ccuac iones indcpen-

, ]l

d.icntcs que permi tan dct crminar ~" 5610 J)<.ITC i a Inent e , Es ohvio que dxlJ

'UT n~ se pucdc dct crminar complctamentc porque T es arb i t rar lo , r:n]Jrc~

Ji dad , to que sc pueclc cletcrminar completamentc es 1a direcci6n de t ' .' cs decir, 1<.15 2n T<.IZOneS

0.x1. / dxo tlxi.

"(.fl ""dT = dx0 (4.21)

que cons t i.t uyen 13 veloc idad Fi s ica (illdcpcnciicntc de T). Otra mancr: de dcc i r 10 mismo cs haccr not.ar que

dc t ~\J\r z: U (4.22)

po rquc 1\1 cs ant i s imdt r ica ,

\lv

[\1 = -/1-' (4 23)

:IV 11\," •

y su d imons ion os .impa r ,

Sin embargo, hemos supuesto que

C4.24)

y pur 10 tanto ct nmgo de i\1~IV es 2n. Esto sind fica que r-,'ljJV tiene s610 lUI vcct.o r prop i o con valor p rop i o ce ro y este (que cs ta dcrermlnado .s610

dx 11

en d i rccc ion) cs pa ra lc l o a . dT . ill el espac io de cocrdenadas xll que e~

t amos con si de rarulo , t odo cs to t i enc rna irvterprctuc ion muy clara. Dado un

punta xV de I cspac io , cs UCciT, t odas las pos ic i ones y las velocidades

173

11

a un tiempo t del sistcma~ existc una direcc16n ~~ que cs tangente a la

Unica curva sOluci6n que pasa por ese punta. Pn cada punta existe una Gnica direcci6n ~ ~ definida pOT e1 Gnico vector propio de M~v con valor propio cero , que cs tangentc a la curva so.luci on. Ent.onces , s i qucr~ mos eonstruir los lagrangianos que rcprescnten el sistema, los dcfinircmos COIOO aquellos vectores 9., tal que e1 M const rui.do de e I Los tenga range

~ ~~

2n (det Jl-1ab t- 0) y que e I vector propio con valor propio cero sea para Ie-

10 a c;;=: 6 fl-l donde £0 est.a definido per

fll ~ (1, fa) , ( 4. 25)

con fa dado en 1a ecuaci6n (4.4).

Para construir estos lagrangianos vale la pena hacer un hrevc parentesis. Un sistema como cl Jado por (4.4) posee 2n constantes de mov imi ent.o C(a),

C(a) =; eta) (xv) J (4.26J

que son func i.onal rnent.o mdependfen tes , es deci r tales que

dct c(a) > b f. a

(4.27)

(ver par ejemplo Pont ryag in (1962)). !hcho de otra manera , los 2n vect o-

res eta} son linealmentc indcpendientcs. Debido a nue ((a) son constan

~ lJ' '1

tes de movirniento, se tienc

(4.28)

o sea,

Cia) "v [v: 0 . (4.29) Los 2n vectores linealmente mdopendrcrites c{a) IJ son ort.ogonales a r'', 10 que significa que la dirccci6n de ff.: esta emicamentc dcf in i da en cl espacio de 2n + 1 dimensiones.

Las 2n Iunc iones C{aJ junto con C{O) ;;; t son func iona.lrrent.c inclc pendicntcs,es deeiY,

det C(a) .,. 0 , (4.30)

~fl

por 10 tanto las funeiones C(a.) pucden considerarse como un nuevo sistema

de coorclcnadas en nuestro espacio de dimension 2n+l. Adcmas, 1a condicion (4.30) dice que los 2n+l vectores era) son linealmentc indepenujcnte~.

,).I

Regrcsando al problema de la construcci6n de los lagrmlgianos, ahora pod£

mos escribir cualquicr vector 1 como

u

n4

(4.318')

d d h d . d 1 . 7J 1 b C (a) f'i .

on e enos expan 1 a e . vector x: en a ase . l.i can coe rcaentes

9:. (aJ que escr ib inos como frncione~ de las nuevas c~oTdenadas CU3). Si queremos cons i derar Ij.l para const rui.r un Iagrangi ano , entonces se Le PU! de sumar J sin perder genera li dad, e l gradiente de una fundon arbi t rard a A(c(B») ya que es to s610 agrega una der ivada total al Iagrangi.ano. Siem pre se puede e legi r A de nodo que

~=-1 (c(6))

deW) !O)

y entonces

(4. 3 ~Ib)

CIA Cia)

ac(a) ,\.1

{4.32)

para t

Podenos impon.er a continuaci6n que las ecuac.iones de oovbnienta dx""'

;;:9.~ d{- [s~r 53'~~5fe]c~a~ en vi rtud de (4.4)

EljL = ~ - ~ t

oX x

Cia) .(b) dxV +

.u C .v CIT

(4.33)

;),Q, dxv 3i dx v

+ ~. c(o) c(al _' .. _. _ ~ c(O) c(al

ac(O} ,\I .~ dr (lC(O) ,)1 ,V dT

Ahora , 51 las ecuac iones (4.28) se tOOOI1 en cuent a, se tiene que rodos los t ermincs , excepto el penul t ino J se anul an, En consecuencia,

debemos imponer

(para todo a) ,

(4.34)

175

ya que los vectores C(al son linealmente independientes y C{O) ~ O •

• ~ tV

Llegamos entonces a 1a conclusi6n que p~~ debe tener 1a forma

£ = Q, (C(b))C'a) (4.35)

).1 < a) • ).1

para que las ecuaciones de Euler Lagrange sean una consecuencia de las ecuaciones (4.4). A la inversa, para mostrar 1a equivalenciaJ impondremos que las ecuac iones de movimienta sean una consecuenc.ia de las ecuacio nes obtenidas del lagrangiano dado por (4.35).

Las eC[~~iones ~kmov1" "ento del lagrang~ano (4.35) son

E L = (al _ (b} eta) C(b} dx = 0 (4.36)

~ ac(b) ac'a} ,).1 ,v (b[

dxf.!

Y de e l.Las quereroos deducir que dT es paralelo r", 0 , en ot ras pal abras ,

que todas las func iones c(a) son constantes de novimiento , Como los vecto

tores C ( a) son 1 inealmente Independi entes , (0 el rango de 1a mat riz

(a) ~ )l

C ,).1 es 2n),se tiene que EflL = 0 implica

[ a£(a) 3t(b) 1 C(b) dx" =- 0

~ (4.37)

ac(b) ac (a) I v or

y para obtener

dC(b)

= 0

d"T

(4.38)

es necesario y suficiente reqjTiT

[oJ. elY.,

det (a) ~ (b) #- 0

de (b) ac (a) J

que

(4.39)

Existen infinitas maneras de garant i.zar la cond.ic ion (4.39)" E1 determinante de una matriz n antisimetrica de dimensi6n par es proporcional al cuadrado de su pfaffiano ~ donde

pf n ::;: t:fll)..l2 •• ·1J2n-1 11 2nll n

)lIU2"·· U2n-1 1..12n

(4.40)

Ahara def inanos

1 (C(a+1»)2pa+l J;. ("a) ;; 2p + 1

a

p entcro positivo. Pa(ro) a

(b ; 2,4,6 ... ) (4.41J

176

Bnt.onces ,

!l '"

Ca), (a+1) 8c(a+1)

dt(a)

()9.(a+1)", dC(a)

n {a+1) r (a) = - Il (a) , (a+1)

( para a - 1,3;; 5 .•• )

en ot ro caso

(4.42)

y esto asegura que pf n es estrictamente positivo.

La definiciOn (4.41) asegura entonces, que exi s te , al menos 1 un nfnne ro infinito denumerable de Lag'rang.i.anos de primer orden que da origen al sistema. (4.4). Vale la pena destacar que debido a Ja construcci6n bo~

qucj ada, la expres ion (4.35) aba rca todos los laLangianos pos ib les , ya que si se considera otro conjunto diferente D(a) de constantes de rnovimien to fUrlcionalrnente independiente, entonees

£,' (D'b)) D(a) :;: i' dD(a) C(b)

(a) .u (a)3C(b) .11

(4.43)

y redefinimos

~ (C(c)) = n. (C(O»). dU(al l..(b)- x, (a) 8C(b}

con 10 que volvemos a tener

(4.44 )

( .. {c)) (c)

1]1. = t{b). C C

,fJ

(4.45)

como antes.

Es te metoda que cons t i tuye un teorema explicito de oxi.st.enc ia , puede tambi6n ser usado para constnrir expl Ic i tamente Lagrangi anos de pr2:_ mer o rden para s isternas que no t ienen lagrangianos usuales de segundo orden. En efect o , cl sistema

o.

r + Y

x +~ y ;;;; 0 ~ 0

(4.46J

!!£._ tiene Iagrang.i ano de segundo orden; sin embargo, s i se cons i.do ra e1 sistema equivalente de primer orden

... (xl - x , Xz - y)
c ,
xl = X3, Xz _. X'+ ,
. , . (4.47)
X3 !:O X4, XI, = x2, 177

e15 facil ver que e1 metodo descrfito aD .. terionrente nos pel-mite construir el lagrangiano

L .. (xz + )(3) Xl + .X!t ';'3 +f (X~-:2X2X3- x~) (4,,48)

que da or'i gen a un s istema die ccuac iones diferenciales equrvalentes a (4.5') . En forma analcga se puede const.rui.r un Iagrang iano de primer orden para el sistema

II .. , 2Yl .' (J,\~ ~y 0
X + X + X - ::
" 21'2 > (jJ2 (4.49)
v + y '" v ~ nx ~ Q
2
Cilll (4.50)

que no tiene Iagrangiano de se:gUlldo orden. Estos ejemplos prueban que e l cstudro del problema irwcrso basado en srstemas del lU'i!l1elr orden pucde te ner caracter-ist icas muy di.st.irrtas del problema usual de segundo orden ,

A pesar de que los Iagrangranos deprurer orden son. dcgenerados , La 'teor ia ca!I1on.iLca ]Juede se r construidla en una forma consi.stente . For ot ro Jado, el, USa de Lagrangi.anos de primer orden e~ta fiUY general.i aado en 1a Fi.s Lca

(s istenas fermion iOGS ~ ecuaciones de Hamil ron, pr inc Iipio de Pal a t in L, pri_!! cipioD variacional de Schwinger ,metoda AmI en re Iat.ividad general , f01!'1111ula cion de supergravedad, etc.).

Finalmente I' valle l a pena sefis lar que para imp]~mi:mtar cons.isten tersente el prtncrp.ie variaciml!al de p~irneT orden es preferdbfe utHiz.ar

cl principia variadonal de Weiss que dice que La variaci6n de la acci6n es una fl.mciiSn que depende s610 de los purrtos extremes entre los cuates 1 a acci5n es evaluada •. en lugar d!e usar el principio de HanfI ton que dice que manteniendo fijos los valores de las coorde'nadas en los extremos, 1a varia ciorl. de 18. acci.om debe anularse.

Es precise destaca.l' que e I p:l"ino::ipio de Wei ss ElS el adecuado para poder const rui r t.ransformac ioncs canon icas en La teor ia hami l ton.iana. Pa ra may;orcs detal1es es aconsejab le consul tar las refc renci.aa.

V. f LAGRANGIANOS PARA SrSTFl-1AS DE EUJACIQNES Dl FERENCL:\L.ES SINCULARF.3 .•

Hasta ahara hemos considerado sistemas de ecuaciones diferencia

I7S

Ics regul'ares , cs deci r ~ s.i.s ternas talesq4e las.,m~s al tas der ivadas rde las var.iab.I C5 pue(].cn .se r idespc j adas al.gebra ic moo:n te., '~xpl:l cHm,nente, 5 i .es tu c11am:':l:;; un s.i stema de -ecuac rorres di.fcrene ial es (de segundo orden)

, .k"k _ .. j.. .k'k .

.!v1..(q ,q, t) q +.N,(q, q; t.J == O(i,j,k==l,o.on).

~J ". ~ ..

d()<::l.Il1,oS que el slstcm.a(S .. 1)es regular .s i y s6105i

detM .. i 0:

., . 1J .

.y~, per e l. cont rar io., essingl.llar s i y s610 51

(.5 .• 1)

(5. Z)

dct, M, ,= 0 •

. .1]

(So 3)

En general ,en ineca:ilJ: en clas'ica, s610 -se estud.l.;lJ1sj stcma·s. regulates ~peTo rec rerrtcacrrto e l mt.ercs en sJ.ste.roas singul3,l'e:s ha crccrdo en forma cons i

dc rab le dcbi do a que grail parte de' las tcorlJ~ cxi tosas .dGint¢racciori€:s

fundamontal C:$ est an descr it.as pot sistemas $·1 ngulares,

Eru:~fc<:to. La teor iae.Iectronagncttca de '~1aXwCni La iteor ia gr~ vitnc ionat d~Ei~:ste~n yia: teoria clectrodebil. de-Sal.am y W·~inbe.rR, son tcor l as (Tnvar i antes} 'de norma (cal.ibre 6 medi.da) _Esto s i gn i fica) utn_! zando nor ac icn de mccan ica cHisic-a, que Las tso.luc.ioncs descr'i tas .por. qi(tJ y q,l(t) ,~q~(tJ + ()q'i(t) -represent an e l mi smo es'tado f:1sico del s i s tcma, con6qi{t) dado po r

( ~=),,'. _,~ ) ~ (5'·4)

dondc fa{tl son G. ·{iJJi.eiones arhitnirias del tiempo, 4a1(Q,tJ y Wai(4.t) son func.iones con una dependencie.en qi :y t b ien det.erminada, La t rans.f\:mnaciqn

i 'i i .. 'i

q ~~ q' == q. + 6q

(;) ,.5)

sc donomina-transfo'rmacaon de norma 0

Lapropi.edad''Y~c.ien descr-i t afienc tsu cxpres ion mas simple en La teor ia c.l&ctromagneticq de ),1.1JG.,rell donde es bien .sab ido que 105 pcrencia-

l es 1\ (x) }' A' ex),"" /I. Jx) +at~('xl(donde ACx)es Una, funcion arb i.traria

)J . 11 . Jl. ~xlJ'

.JcxvJ represent an e l mismo cMtp'O c.l cct.romagnet.ico.

Esta situa~iQn. ~.61o e s rpos ib l.e 51 Las ecuac-iories {Sol} 110 son

, ,

rodas indcPej1dient.c~· •. ya. que, en Cq5\J cont rar ro 1;15 q+ est at Ian, compl et a-

mente; dcterminadas por c1 :sistelll3- (5. n y no cabr-ia Iapos Ib.if.i dad de 'obte ne r soIuc-ioncs que conruv.ie'ran func iones arbi t rani.as del tiempo ,

lR2

de1as cuatro ccuaciones (5.21) sonindependientcs. Este hecho esta en concordanc i.a con La indetenninaci6n expresada pOT (5.22).

Analicemos la ecuacionpara )l = 0 ,

o cY ('1\0) - dO (() A)l) "'" 0 .

]J J.l

Sc tiene cntonccs~

(303° + 3.oi )AO ~ JU(aoAQ + a,Ai) = 0 J

~ l

(5.24)

(5.25)

o sea,

"",i~i "u", \i = 0 • d.t! .'""\ _ cj C/,/

.a 1

La ccuaci6n )l ~ 0 no contiene segundas derivadas con respecto al ticmpo y const i tuyc , entonces. una constricci6n. Elcampo de J'v1axwell es un ejemplo de un sistema singular can identidades (anvar ianc ia de norma) y constricciones .

El prohlema inverso del caJculo de variacioncs para sistemas sin gulares no e s t a resuc l.to , pe ro probablcmente el mej or modo de considerarlo cs utilizando sbtemas de ecuaciones diferenciales de primer orden, con los que es mas Hicil a i s Iar las variables fisicas (Independf entes de norma) de Las que no 10 son.

VI. CONSTA\JTES DE ~UVIMIEr\1'O Y SIMETRIAS.

Una constantc de movimjcnto cs un~ funci6n f que depende de

4i ,zt.!, • t Y que es constante cuando qi (t) es lID miembro de la clase de so.luclones S. La denotamos porf = f(qi ,(li • t) y satisface

s!._ F> aL.. qi + af., qi + &__ = 0 (6.1)

dt ., « i ':l qJ.. 3 t

(' I o

cuanda qi es una soluci6n de las ecuaciones de movjmiento. Si L es 'un lagranglano (suponemos que L tiene la forma usual y no degenerada). las ecua c iones de movlmiento resul.t an ser

(6.2)

dondc W-1 ij

..

cs e l 'inve r'so de 13. mat.r iz W ij

J. a2L ·k,

V "'--'~4 +

dqjaqk

;:;2[,

= ---'_ v

;)(ji :=j(l j .

aL

(6.3)

lv .. l.]

183

fambien decmos que una constante de rmvinaenco f es una cantidad censervada. Es claro que el problema de establecer si una funci6n dada es CO~ servada depende de S y no de una se]eccHm paTtkular de atlgtJn lagranglano. Ademas, si las ecuaciones de movimi ento se escr iben

(6.4)

vemos que ]8 cl.ase S depende de las fuerzas espec if'icas ,pi y no de 13. expres ion de eS3S fuerzas per media de un lagrangiano como ell. (16.2) }' (6.3).

Para i Iust rar e.l punto con un cj emplo espec Ialrrerrte sencf i Io , P,Q, demos mostrar que las conservaciones del memento lineal y del mom€ntc ang~

I ar son consecuenc.ias de 181 Tercera Ley de Ne\lorton y no de 13 cxis renc i a di

Tecta dc jm Lagrangrano: pr inero , suponganos que tenemos n part icnl.as sin

const.r.icc.ionos , con masa5Nct((X~1, n) y pos ic iones t.r i.d imens ionaf es

x; • (i'"'1,2,3). La ecuac lon (6.3) se puede escr ib i r

.. 1. i )vi x "" F

(t at (l

(6.5)

donde (NSa) indica que no hay suma en e1 iJ1dicc Ct. (Las cantidades :P~:: {Ma)-lF~ son las £u~rzas especff'icas de (6.4)).

Entonces sea F~ Ia suma de las fuerzas deb ida. a las ot.ras part i culas donde f;.j3 res La fueTz~ sabre 0; deb.ido a a (not.ar que no se penni te Cl.eo,s) mas fue rz as extc rnas 1;1.· Ie:

Ub

Fi 1::!: Fi '1- fi . (" ,,)

(jf. o.B &E o , o

e.

La Tercera Ley de Newton (forma debil] dice

(6.7J

De ((}. 7) podenos ver inmediatamcnte que

k M xi :: L FiE (6.8)

O! 0:. Il ..

a a

131 mi cmhro azqua erdo es La der-ivada con respecto a t iempc del monentc total

0:

La ecuac ifn (6.8) dice' entonces que pi es conservado si se clImple

cera Ley 'en forma dcbil )' s i let fuerza externa total es nul a, Stmi.Larmerrte definiroos el nomento angular tot.al L. COme) :1

(6.9)

1a Ter-

184

L ~.. j'pk (6 10) i = ; Eijk xCi 0' .

(usando cl or+gen i ::: 0 como 'referenc ia), donde Ia convenc icn de Sll.U'tla. se utiliza para j.k como de costumbre, y dande Eijk es e1 simbo10 complet~ mente antjsimetrico de Levr-Civi ta, La derivada con rcspecto a.l tiempo de L es

d

:or=,.-- ]_, ut

(6.11)

La Tercera Ley en forma fuerte dice que F,i as as para'Ie.la a La recta que une a las particulas a y S:

FiaB~ ~B(X~ - x~ ) (NS aB) , (6.12)

d (

donde K().S a: KSa· Con esta forma fuert e vemos que at Li en '6. 11) depende

so Iamerrte del til timo termino, e1 torque externo tota1. Si este torque' 5e anula tamhien, L. es conservado ,

1.

En los dos casos de arriba, la conservacion del momento pi y del

momento angular t. res una consecuenc.ia de La {amra de las fuerzas , no de

11.

la selecciGn de lagrangiano. Otra rnanera para probar la consorvaci6n de

momenta usa c1 Teorema de Noether. Este teoremtil proporciona rna Tcl<1cion ent re s imerr'ias del Iagrangianc Y' Ieyes de conservac.ion. Las]' llinitaciolles del t.eorcma , espec ialmenre 91 doseamos que las cant idades conservadas s.e idcntifiquen con el momento f1 s ico 0 101 energf a , fueron d i.scut idas por

Havas (197,3).. l\qU] most.ramos que Ias s imetr ias de un l agrangiano [a I me-

nos las mas obvi.as) pueden cambiarse al usar un Iagrangtano equiva Ierrte. Se puedeusnr una forma muy sof i s t Icada del Teor ema de Noethor, pcro su mterprctac ion fisica no es directa.

La forma mas senc i l'La del Teorema de Noe ther se t i.ene cUWldo uri Iagrang iano no depende de una coordenada particular. Una forma un poco m~ nos trivial usa et.operador df ferenctal ki. a i dande ki = constarrtes, Suaq

pon~amo's qU,Q' IL sea constante con respecto a cste operador:

ki3L. "" 0 ..

.. aq.L

S·· d d d' ki t-t·d· dL

e pue o e uc.rr que P. tu0l1·e p. = --.

,Jl ' .• l.

gados) €"s lma constant.e de movimiento?q

(6. B)

son los mementos can6nicos conju

"" ki 21.... - 0 aqi

(6.1.4)

16l

3Fi aF· d " ClI_~L. 8 f.j .)
+ __ .J_ - .. --{ + ,
;}qj dqi dt d cjj Hi
dy
aF· 3F· 1 d ar, d r.
__ l_ _._._.J_ =; -- ~-.-( --1.-- -~)
3qj Jqi 2 dt (iqj riql (3.3)

(3.4)

Una consccuenc ia de es t as ecuac iones e s que los J:. deben sc r I inca les en l

• -e L

las aceleraclones q .

Si exi s tc un Iagrnng i ana L par a e 1 proh lema mve rso de 1 a mecan iCH de Newton, cste en genera 1 no e s Im i co, r i guros.anent c hab lando. Podelllos afiad i T una dey I vada t ota 1 de una func ion £ de q y t con res peer 0 a 1 t iempo :

.. -. df -

Sea L! == L + dt' entonccs Ei L ;;; Ei L. A l a inver'sa , s i L es una func ion de

qi,qi y t que sat i s facc EiI ~ EiL cnt onces I == L + ~~ para a l guna f.

Adema:;, s i L == c l, + -a% ' donde rJ == cons tant e I- 0, so t i ene que

t.L ;; pE,L. Par 10 tanto -[ y I. son equi va lcnt es . Si L cxistc para c l pro-

l l

blcma invcrso no res t.r ing i do y s i los Im icos L que son cquiva l ent es a L son

- df .

de 1a forma L == pL + elf' dcc imos que L es escncla1mcnte Im i co .

Ill problema .inver so no res t r i ng ido para 'l a mccfin i ca de Newton fue resue l t o par Darboux (1891) en e l cas a unidimensional, cuando se t rat a de 5610 una coo rdenada q, (ve r r ann ien Havas ,19.S7, y Currie y SCll~ta:n,1966).

En cstc caso 01 sistema S est a cons t i turdo po r las so luc ioncs de una CCUdcion de segundo o rdon , que podemos resolver para l a ace l e raci Sn:

q + C.(q,q,t) = 0

~ 3. Sf

i35 condlciones de Helmholtz son satisfechas exccpto (3.3), que tOffi3 1<1 fonna

8G 3q

=- 0

(3.6)

por 10 tanto, no ex i st.e un Iagrang iano para La ccuacion (3.5) s i La funci6n G depcnde de (\. Sin embargo, si G dcpendc de (1, podemos buscar una func ion ), y un Lagrang iano L que sat is fagan

d ~L dL "

: 1 L ~ ili" a4 dq; A (q + G) •

(3.7)

m es tc G1SO las condiciones (3.3) de Hc Lmo l t z implican

_l,_(AC) 3q

( .3.8)

162

En general, cxi stc una I, que sati sf'ace est.a condici6n }' por 10 tanto exi st e lID lagrangiano.

Pcdemos ve r c s t o vmi smo result ado (3.7) para L en dos partes:

;):.'L 3ll

e scr ib iendo La ecuaci6n

1

(3.9)

3L oq

= AG •

(3. 10)

La dor ivada de (3. 10) can respccto a q da directamente 1a ecuaci6n (3.8). Dado cualquler A que sat isf'aga (3.8); podemosescribir La so1uci6n de (3.9) Como

L ~ £ + X(q,t)~ + Y(q,t)

(3. 11)

dan de

(3. 12)

Es t a forma para L se sust i tuye en In ecuacion (3.10), que impli ca

8X 8Y 2P E ,,:,pf ;H a2t C
- - - q + ~ +
ot aq 8q8q 3q3t 8q2 (3. 13)

El mi enb ro derecho de (3.13) ti.ene der ivada nul.a con respecto a q debido a (3.8). Irrtonces podemos resolver (3.13) para las func iones incognitas X,Y (de inf in Has mane ras d if eren res) .

Un caso import ante 58 present a cuando G no depende de q:

G

G(q,t) •

(3.14)

La cond i c ion (3.6} cs cnt onces sat i s fecha, y un L pos i.hl e es ta dado por

1 ." j

L =2 q'-_ f(q!, tj dq ".

(3. 15)

S i un Lagran g i.ano 1 e s conoci do pa ra c1 caso un Id.imens Ional , e1

J"

pToblema siguiente eS buscar todos los otros que sean equ.ivalentes a ese.

La ecuacion de Euler-Lagrange para L es

(.3.16)

donde

166

demos csc r ib i r

(3.35)

La ecuaci6n (3.32) sc escribe entonces como

( d X i CJ Xi') . j , d X -i a Y _ ~ _Hm.

--~ _ - -- q + _.0- _ ~ __ 1\ "I'-

3q j aqi ~t 8qi ij ac;j

Deb i do a qUE" e l coef'i.c ient e de ~ se :iguala a cera, existe una func ion

(3.36)

l/J ( q , t) tal que Xi es SU gradi ent e :

X. '" __QJQ__

J. dq i

(3.37)

En consecuenc ia, l a ecuaci6n (3.36) sc convi er t e en

__ Q~+_aJ!'.- __ Y) =

, l

)q 8t

(3.38)

Est a fit tima ecuaci6n bene una soluc:i6n si sus condiciones de int egrac.ion son satisfechas:

a2dJ_ aqi aqJ

(3.39 )

De f in imos 1a mat r i z

cjJ .• :;:

l.J

(3.40)

Es c.laro que ¢ .. var ia de un Iugar a otro en general. Si los val ores prolJ

p ios de ~ .. son generales en senti do al.gebrai co , es necesar io lJ

proporcional a 1a identidad (poy e1 Lema

que A .. sea ~J

de Schur, ver Hamermesh, 1964);

A·· ;;; },O _.. ~ ~ ;;; constante

1.] ~J

Tenerros ),1, Y L es ont onces 1 . i. i

L"'Zqq -1/

(3.41)

{3.42)

Al cont rar io , s i Gino depende de q i en (3.331' y si desearamos till A ij que- no dependie ra de it i, vemos ~ que es necesar.io que .\ ... '" cons tan- 1)

te. Ent onces es nece sar i.a 1a forma (3.35) para L (con A .. = A .. ), Y pOT

lJ J l .

cons iguiente se t iene (3.36) con e l miembro de recho i.gual a A .. GJ • La 1.)

func ron IjJ existe y l a cond ic ion (3,39) irnplica

167

;;;: {}

(3.43)

Por 10 tanto, debe exi s t i r lila Func itin t. tal que Gi se cscr ibc como

G 1 ... Ai s _____ar___ ,

oqS

donde ),is (,s 01 mverso de A .

SJ

;,isA . = 6i. (3.45)

SJ. )

E 1 d 3c,1 1 h . 1 1 ..

n e caso C Th a ge ralcamcntc genera, vo vemo5 a 1a conclusion que

q .

\j ;;;: 0ij esencialmente y G1 C'$ lID gradiente directamente. Est a os una

foma muy 'res t r-in g ida del prob lema Inverse: dice que ('5 nccesar i o que una fuerz.a Ci sea conscrvati va para que exista un lagrangiano L tal que ninguno de sus t erminos rcnga mas de t res facrores de ({

(3.441

~n 01 e3-S0 b i d imensional , considcramos fue rz.as conse rvat i vas

Ci '" ~ , pero t anb ien cons i dcramos l a pos ib i l i dad que A .. dependc de ql.

8q 1 1J

La mat r i z A de (3.25) es tal que

A 2¢12= -c ~

B '" 2 ( :$2 2 - ¢ 1 i) .

(3.46)

Par cons i gui ent e , /:, cs cn general de rango dos , eS e l Case JII de Douglas. Douglas mos t ro quc c l 1agrangiano L, s i exi s te , es esenc i al merrte Cmica en este caso. Por 10 tanto L es tie la forma (3.42).

Hay casas cspec i a l e s , t anb ien cuando !1 es de range uno. En es t e casot Douglas mostro que el L de (3.42) no es Gni.co. Por ejemplo, 5i ¢12;0 L puede expresarse como des lagrangianos un i d imens iona les separados :

L ; L( 1) (ql ,ql .r: + L(2) (q2 .<P.t) Tanto L(l) como L(2) no son Unicos.

Un cuso especial de fuerza conservativa se tiene para ¢=¢(r). don de r 2 '" (q 1) 2 + (q2) 2. Es faci 1 vcr que .solamente para las Iunc i.one s

2 2

¢~Cr +d (donde C. d SOn constantes) rcsults en que e1 lagrangiano no es G-

e n ico. En particular e l prohlcma de Couhmib bidimen.sional (para e l que ct)'=-~ J r

(3.47)

tiene un lagrangiano cscncialmcntc ilnico.

Douglas (1941) presento algunos ejemplos de ccuaciones cuyas 50- luciones S que no tienen lagrangianos. tm ejemplo es con

(3.48)

205

;5,. 76.

I:E. Sega 1 (1964» "Exp l i cit Forma! 1 Cons truct ion of Nonl i near Quantum Fields" J. Math. Phys. ~, 269-282.

A. Tarta.gl i a (19.80) If General Lagrangl ans for the Moti on of a P01nt Part] die in a Viscous Mledi umand the Prob l em of Quanti zati on" Nuovo Cimento B 57B, 131- m4S. ~- --

D .. ·J. Simms YN. M. J. l..Joodho use (1976) Lectures on Geometri c Q uan t i za t ion (Sprfnger-Verlag~ New York).

A. Sommerfeld (1952) Me'cllani cs (Acade'lili c Press I' Ne'\!!j York).

LC.G. Sudarshan y N. MUkunda (1974) Classical Dynamics: A Modern IPieri!ecti ve O·ji 1 ley , New York}.

Vu~ M. Shirokov (1976) ~AxiDmatics of Gen@ral Hamiltonian Theories Including Classical and Quantum Ones as Particular Cases" Theor. and Math. Phys ... (USA) 25, 1149-1153.

D. Ter Ha.ar (1964) Elements o,f Ha.mHtol1ia.nMechal'llcs. (North-Hal ~arid, Amsterdam) .

LT. Whittaker (1937) A TreatJ se 011 tilE An~aJ tica1 Dnami cs ot I'<l!rtich~'s.and R"iid Boa_i'es" 4Ulld •. Cambl";d~ge Ulliv .. Press, iCambridge). L P. Wfglner (19501 '[Do the Equations of Moti on Determ1ne' the QUldntum Mechanical Commutation Re1ati0l1s?1I Phys. Rev. 77, 711~712.

N.J.IM. Woodhouse (1980) Geometrk Quanti:za'tion~OxfordUrdv .. Press, ~ew¥orl<) .

C.N. Yang y D. Feldman (1950) "The S-Matrix in the Keisenberg ReprIEsentation"'. Plilys. Rev" ?9:J 972-978

L M.Yang· (195]) "A Note 011 the Quantl.lm Rule of the Ha.rmonic Oscil l ator " Phys. Rev. 84, 788-790.

W. Ycurgrau y S. Mande11stam (1968) Variational Principles in Oynam1cs. and Quantum Theorv , 3rd Ed. (Saunders. Philadelphia).

77. 78. 79.

80.

81. 82. 8:3. 134.

85. 86 .•

87.

157

un L que satisfaga (2.14) y(2.15). Para el caso bidimensional. Douglas (1941) dcmostr6 que hay lagrangianos L que SOn esencialmente Gnicos, es dcCiT que L z, L imp 1 i.ca I == L. Para este tipo de lagrangianos se puede definir muchas matrices A que satisfagan (2.10) perc no existe ningGn L no trivial que satisfaga (2.14) Y (2.15). Lo ideal scr ia resolver el sistema (2.14) y (2.15) para L y A dado L. Este es un problema todavia abierto.

A continuaci6n rnostTaremos unos ejemplos donde el sistema (2.14) y (2.15) se puede resolver para I con L dado "adi.vinando" A.

COnsideremos 1a particula libre (con m~1) en una dimension descrita por el lagrangiano L.

1 .2

L=Iq1 (2.16)

y la ecuaci6n de novimiento

(2. 17)

Las constantes de movimiento C1 y C2 asociadas a (2.17) son

(2.18)

c2"'"q -qt (2.19)

1 1

Fn estc caso 1a matriz A tiene s6lo un elemento All' Flijamos

(2.20)

No es difieil mostrar que

L

1 ·2 1·3

"'I" q q - -6 q1t l. 1 1

(2.21)

es tal que

(2.22)

y, cansecuentementc~ la ecuaci6n de movimiento

E I - 0 1 -

(2.23)

es equivalente a (2.17).

Es interesante notar que

158

~ = q - g_t ~ 0

. 111 1

(2.24)

consti tuye una so.luc ion particular de (2, 17). Esto implica que 1 a s-equ.ivalencia se preserva a pesa'r de que~'11 :;;;: O.

Para tener 11 # 0 es t r.ict anent.e , se nuede elegir

.. 1.1 ['

= C2 + P :(

11

11

D :> 0

p :=: constante,

(2.25)

por ejem:pio,en ellyo caso sc tienen estrictamcnte las condiciones del teo-

rcma ,

Cons ide renos e1 osc i Iador arn6nico isotr6pico bidimensional C m= I, tv= 1) descr i to por e 1 Lagrang iano L,

L - 1 ('2 '2, - 2" q1 + q~)

(2.26)

cuyas ccuac iones de movimiento son

E.L

a,

..

- q. + q 1. i

"" 0

i =

1 ,2.

(2.27)

La e l eccion

= E '"

(2.28)

con

E lie 2 • 2. 1 2 q~
-_ -q + q) + z(ql +
21
C ;;;: qlq2 + q q
1 2 (2,.29)

(2.30)

da origen al lagrangiano

L ~ _1_((14+(14) + 1 (l2(12 + 1{q2+q2.) (q2+(12) +

24 1 2 4 12 4 1 Z' 1 :2

. .. 3 2 2. 1, 4 4)

+ qlq2qlq2 -4 qlq2- S(ql+Q2

(2.31)

que es s-equivalente a L.
En efect o , las ecuac iones
~
E 1. == lJ ((1 4- q ) + ceCl + q } = 0 (2.32)
1 I 1 2 2
E~T, =' C(q 4- -. + E((l + . J = 0 (2.33)
" 1 2 q2 159

son equivalentes a (2.27) inc1uso cuando cl range de A es menor que 2.

Para tener det 11 f. 0 se puede elegir otro Iagrang iano I •

I ;; pL + 1

(p > 0)

(2 _ 34)

y en este caso

det II > 0

(2.35)

y se cumplen exact arnent e las cond ic iones del teorcma. Para los detalles de estos ca Iculos y ot.ros ejemplos se sugiere consul t ar Hojman y Har les ton (1981) .

III. PROBLFM\ INVERSO

E1 problema Inverse del caf cul o de variaciones (Santill .i , 1978) cons i st;e en determinar cuando 1O1 sistema S de las t rayect.or i as de un grupo de particulas pucdc SCT descrito como trayectorias extrcmas de lIDa integral de acci6n:

T

i L(q,q, •.. ,q(r) , t)dt

(3.1)

Aqui c I lagrangiano dependc de las primeras r der ivadas con res-

pecto al tiempo t de las coordenadas qi. La dimensi6n N del sistema de particulas es el TIfunefO de coordenaJas qi (i ;;:: 1, ... ,N). Las ecuaciones de Euler-Lagrange de esta integral deben tener los elementos de S como sol uciones.

Una forma restringida de este problema es aquella que 5C refiere a un grupo especlfico de ccuaciones de orden 2r:

F (- (2.r) t) - 0

q.q, ... ,q , -

(3.2)

Aqul, en el problema inverso restringido. son las ccuaciones, y no sus soluciones, las que tienen llrrportancia.

La segunda ley de Newton establece que las aceleraciones tienen interes fisico. Por consiguiente, e1 caso de ecuaciones de seh~do orden ha gozado de,espccial atenci6n. Llamamos prohlema inverso restringldo de la mccan ica de Newton a la bfisqueda de un Lagrang iano para lID grupo de ecuac iones de segundo orden. En este problema buscamos uo lagrangiano que solamentc dependa de qi,qi,t, y que tenga, a1 menos terminos cuadraticos en

1 (,()

I as vc l oc i dadcs ,

E1 prob l ema tnve r so no res t r ing ido para la rnecan.i ca de Newton emr I CZ;J con lIT1 S i sterna E de ccuac iones de segundo orden y su conj unto S de

so l uc i oncs . En cst c caso ('1 prob l ema cons i s t c en buscar un lagrangiano L CUY;LC; ccuac ioncs de Eul e r- Lap range H. L '" (J scan equival cr.tes a r, es dec i r,

_ l

cuyas ocuac ioncs tcng<ln como solucioncs a los elementos de S Estc es el

J1 rob I cma pr inc i p:)'1 y sera es tc de 1 cua 1 nos p reocuparemos .

lIn sistema de ecuac i.ones pucde ser de primer orden. El prob l cnn JnWJ'SO cn csr.e caso es bUSCH un Iag rang i ano 1 inea l en las ve Iocidadcs qi que dcsc r iba est as ccuac ioncs . Es t c prob Iema so trata en la secci6n s igulcntc. l ln prob l ema que se re l ac ioria con cste es determinar lID hamilto-

n i uno para W1 S i s t ema S de t rayccr or ias en c l espac io de las qi (no en cl

cspac i 0 de rase}. No t rat amos cspec I f i cament e es tc prob lema (ver Currie y

S;Jletan, 19b(J).

En est a sccc i on desc rlb imos los p rob l emas inversos con atenci6n part i cul ar en l a p rcgunt a ;.Existc lID l agrang iano? E1 proh l ema del metoda para oncont ra r un l agrung i.ano 10 de sc r ib imos b rcvement e s610 por media de cj cmp l os . [l prohlema tic los met odes para encont rar t odos 105 lagrangianos cqu iva l cnr cs J_ W10 conocido es e l tema del resto de este articulo.

Un sistema S que cons is r e de t rayoct o r ias que se port an hastante bien s i cmprc t i encn lD1 Iag rang i ano (Havas, 1973). En este caso S son las soluc1oncs de un sistema de ccu8cloncs E y h3Y por 10 menos otro sistem21 cqu iva Icnt o E de ccuac ioncs de primer ordcn , para c l que cxi st e un lagranglallO. Es c l aro que no rma l mente es necesar io aunent ar' e I ntuncro de coo rdcrwJas. Ilcscribimo~~ c l mct odo tic cncontrar t odcs estos Lagrang i anos linea-

.l cs l'll 1 a sccc i on que s 1 gue .

U problema general do buscar todos los Iugrang ianos de cua lqui.er o rdcn para un sistema S dado ue t r ayect.or ias no est.a resuelto. Sin embargo, He I rnho 1 t z (1887) sc preocupo de at aca r el prob 1 ema res t ringi do para un

grupo de ccuaciones E (ve r Havas, 1957 y Santilli, 1978). De mt ercs par-

ticular son la:; condiciones sohre las funciones Fi para que exista un lagnmg iano en c1 caso de segundo ortlcn (r = 1 J el prohlema inverse r'cs t r in~ido de La mcdinica de Newt on l , Hs t as condiciones (Ilavas , 1957) son

(3.2)

152

velocidades qi ~

como ecuacionc s de segundo orden. El lagrang iano se escr ibe cono T - V, donde T es la energia c inet Lca , L cs funci6n s610 de las cocrdenadas q+, las dq-

dt ,Y e I tiempo t. Pero , a veces es necesario COn-

templar ecuaciones de r "~ro orden y lagrangianos mas generales. Helmholtz (1887) ha dado condiciones necesarias y suficientes para resolver e1 prD~ blema Inve rso para cuaIqirier o rden , pero La prcgmta (31, e s dec i r , aque-

11a accrca ( La exi s tenc ia de lagrangianos equival.errtes , no est a resuclta todavia.

Darboux (1891) ha resuelto 1a pregurrta (3) para ecuaciones de una variable, DJuglas (1941) la ha resuelto para dos dimensiones. Ambos han di~cutido el caso de ecuaciones de segundo orden. HBvas (1957) ha comenzado 1a discusi6n general, y contribuy6 mucho a la teoria de ccuaciones de primer orden y la teoria de constmltes del mov~iento. Otros nornbres de import ane ia en este tema ahara son Santi 11 i, Sa let an y 1'-13 rno , y una descripci6n hist6rica muy buena ha s ido hecha por Santilli (1978).

En e5tc artlculo presentamos una hreve revision de la teorla de 1agrangianos cquivalentes. Suponemos que el sistema de soluciones S ticnc al menos un sistema conocido de ecuaciones E. En la sccci6n II, 1a proxima, describimos el caso de un sistema no degene rado de part icul.as us an do N coordenadas indepcndientes. Supondremos que un lagrangiano L existe para las ecuaciones de movirniento E. EI problema de esa secci6n cs buscar ot rcs lagrangianos L cuyas ecuaciones de Euler- Lagrange E t.engan las mismas so Iuc ione s S ; es der i r , buscar lagrangianos L equivalentcs a L. En La secci.6n II mostramos que una mat ri z II juega LU1 papel central. Todos los invariantes de A SOn constantes del movimiento y, pOT 10 tanto I es interesante estudiar estas constantcs especialmcnte.

En La secci6n III, dcscribimos el problema inverso , es deeir, esrudi amos e l problema de decidir cuando existe un Lag'rang.i.anc , Hay d05 formas de estc problema: El rcst r tngi do cons i s t e en det.erminar s i exi s te Ull Iagrang iano L para LD1 sistema dado de ocuac iones E. E1 no restringido estudia la cxistencia de L para alb~m sistema E cquivalente a un E dado. Los cases ... un i d irrens iona I y b id imens i ona l pueden se r descr i tos compl.et.amente, y mostramJs algtmos de 105 problemas que 5e han constituido en obsta~ eulos para resolver el caso general.

E! caso de ecuacioncs de rnovimiento de primer orden merece un lugar especial. Lo descr ib inos en La secci6n IV. Dado ill sistema S de solu-

153

ciones es sicmpre posible, (excepto en casos especiales) encontrar un sistema E de ecuaciones de primer orden que ~e<l satisfecho por S. Siempre existe lID sistema f equivalente a E para cl que existe lU1 lagrangiano L. Este L es lineal en las velocidades qi y podenos mostrar que t odos los 1. cquivalcntes a L, tanbi.en 10 son. Pera existeD problemas: discutimos en particular que infonnaci6n se puede dar en 105 limites de la integral de acci6n.

En la sccci6n V discutimos los sistemas degenerados. Estos son

sistemas con constricciones 0 con Invar i anc ias de norma (0 con ambos). una norma (0 calihre 0 mcd ida) puede ser una norma .int.erna , cuando t os invarian te ante 1 a t ran s fonnae i6n, 0 una norma extc rna cuando t es dependi.ente de ella.

Fn distintos lugares de la tcorlH aparccen canstantes de moVlmiento. POT 10 tanto regresamos a 1a relaci6n entre estas constantcs y simetrias en la secci6n VI. La relaci6n mas sencilla es cuando exi st.en coordonadas "ignorablcs, pero d.i.scut imos en general c l Teorcma de Noet.her '! al.gunas anb i gnedades rcferentes a s imet.r i as Y cant i.dades conservadas ,

Dos prohlemas fundament.a lcs no tienen ninguna soluci6n en 1 a lite ratura. Uno, c 1 mas important e , e s let re 1 aci6n entre J a me can i ca cuan-

t ica y La mecan i.ca cHi.sica s i existen distintos lagrangianos equlval ent es para un si st ema dado de soluciones S. Si uno usa en forma mecan ica e) metodo canon icc para cons trui.r La mccan ica cuarrt ica , dado tm L, en general el resultado no describe en forma satisfactoria 1a realidad. Un problema es que para lU1 L cualquiera rcsulta lU1 hamiltoniano que no tiene neccsariamcnte dimensiones de cnergla. Otro es que el grupo de invarianeia pue~ de no ser aque I del cual se obtienen los n ive Ies cor-rectos de encrg ia. Desear iamos cont.ar con lin metoda para pasar a hi mecan ica cuant ica directamente de las soluciones S , pero este metoda no existe.

El otro problema nuevo se describe en la secci6n VIII; este es la exl s tencia y la un i.c idad de lU1 Lagrang iano para un campo cp(x, t). En este caso se acosturnbra a escribir L como una integral de una densidad sabre el espacio. Edelen (1969) ha cansiderado la posibilidad de que L sea una integral doble de una densidad de segundo orden sobre dos capias de una region, Mastramos que en general es necesar io cons ide rar intcgrales de eualquier orden de densiu.ades de orden arbitrario. Sin cnIDargo, eXlsten

154

problemas re l ac ionados con Ia ex.is tenc i a y La convcrgcnc i a de dichas integralcs.

La ult1mH secci6n IX son nuestras conclusiones. En este articulo prcscntalOOs muchos ejemplos Y Il1lJchos problemas por Tcsolver. En csta sccci6n espec ia Imente , d.i scutimos las areas de .inves t igac ion quc es t.an 8- b ic rt.as en cs te t ema fasc.inant.c.

IT. LACRAt-;'CI/\NOS s- EQUIVi\LE~IES Y SUS PRuPIEDAJJES

En cs t a secci6n cons ideraremos que un sistema £1sico esta. defin i do por sus ecuac.iones de movimicnto E 0, mas bien, per el conjunto completo S de las so1ucioncs uc dichas ecuaciones d1ferenciales. Ahora bien, dado el conjunt o de curvas soluci6n de un problema, existe milS de lU1 Lagrangiano que cia origcn a estc conjunto de curvas. En efecto, si L '" L (qi, ;/, t) da o r i gcn a ccuac i.ones de mov imi.euto que descr ibcn adccuada-

- d·

mente un sistema, cntonccs L = rL -t at f(ql, t), p:::: ete .,_ 0, da origen

~l cxactamente las mismas ecuar ioncs que L multiplicadas por un factor

P (Landau y Li fsh i t z , 1976). Di remos que L y L son trivialmente equivalent.cs ya que las ecuac iones de movimiento derlvadas de e110s (cscncialmente) co inc idcn , y oscr ib ums L::: I.

En of c eto, 51 La S ecua c i ones de mov .imi en to der i vadas de des Lagrangianos L y L son identicas (salvo por un factor o ) ent.onccs nccc sar i.amente se t i.ene L:: L.

Ex i s te una manera mas general de defini r Iagr ang ianos que desCTiban cl mismo sistema que consideraremos ahora. Realmente, no es Ileccsar i o que las ecuac ioncs de movlmiento coincidan, para este propos i t o , s lno solamente que scan cquiva1entes, cs d.eeir, que toJas las soluciones de W1 sistema 10 scan de I otro y viceversa (Currie y Sa Ict an , 1966).

Dos lag ran gianos L y I que S.8 tis f agan cs te cri t er 10 58 11 aman s-cqui val.ent es (0 s imp Icmcnt c equ i va Ientes) , y escr ib imos L '" L.

Supondrcnos en 10 que siguc que L y L son rcgul.ares , cs dcc.i r ,

que

det(W,.) f 0

:lJ

y

det (h", .) -f 0 1.J

(2. 1)

donde

151

donde L (;5 e1 Iagrang iano , Pero si S es todo 10 que podemos conocer, cs posible que L nO exists (es decir que el principia de Hamilton no sea CO~ rrecto) 0 que haya otros lagrangianos L que podriamos ussr. Estas posihilidades afectan La cxistenda y 1a unicidad del hami Lt on i ano y e1 paso a 13 mecrin ica cuan t i.ca ,

Es cl aro que La mecan i ca cuant ica describe 1a rea l idad en mejor forma que 1 a mecarii ca c1as ica. Pe ro hay di f icul tade s en me can i ca cuan t i - C3, dificultades de intcrpretaci6n. de dcscripci6n de sistemas dependjentes del tiernpo, y de infinitos en 1a teor:ia de campos. Muchas veces es necesario empezar con rna descr ipc ion c lfis i ca y despues pas ar a una descripci6n cuantlca. El problema fundamental de este programa es e] te~

de estc articulo, cs deeir, 1a existencia de Ia posihilidad que el PClSO de S a un lagrangiano no Sea mica.

Entonccs, hay algunas preguntas que se pucden formular para int ent ar comprendcr La relaci6n entre 13 mecdn i ca cl as i ca y La mecan ica cuantica:

1) Dado S , i.cual es un pos ib l.e sistema. E de ecuac iones cuya colec-

ci6n de so l uc iones es S? Dec irros que dos s is temas de ecuac io-

nes E , E son equival.ent.es s i La colecci6n S de so luc ioncs de E es igual a La de E. Errtonccs poderms pre gunt ar i,Cuales son todos los sistemas E que son cquiva 1 ent es a lID E dado?

2) Dado E , ~existe un lagrangiano L que produce E por el proceso de extrernizaci6n de La lntegral de acci6n? Estc es el "probLcma inve rso" de La teorla de var iac iones : l.e:x:iste un L cuyas ccuac ioncs de Euler-Lagrange son un E dado?

3) Dos lagrangianos L, L son cquiva lcnt.es , 51 sus ccuaciones de Euler-Lagrange E , E son equ.ival ent es ; es dec i r , 51 las so luc io-

nes S de E son las mi smas que las rle E Entonces 6Clk'i1cs son

t odas los 1. equiva Ient cs a lU1 L dado?

4) Despues de las prcgtmtas anteriores, cabe plantcarse Ja del paso

a la mecan ica cuant i ca : Dados S J Y L ,1. equivalentes ~cuales son las diferentes t eor i as cuant icas que re sul.tan ?

En cl caso de fucrzas conservativas. que provicnen del gratlicnte de una func ion potencial V, las ecuaciones de novimrerrto se escr iben