CONTENIDO

PG.

INTRODUCCION.....3 1. DESCRIPCIN Y JUSTIFICACIN DEL PROBLEMA....5 1.1. JUSTIFICACIN....5 1.2. OBJETIVOS....6 1.2.1. OBJETIVO GENERAL6 1.2.2. OBJETIVOS ESPECFICOS. 2. MARCO TERICO6 2.1. LA ECUACIN DE SCHRDINGER DEPENDIENTE DEL TIEMPO.7 2.2. CALCULO DE VARIACIONES..10 2.2.1. PRINCIPIO DE LA INTEGRAL .......10
2.3. PRINCIPIO DE HAMILTON Y ECU. DE LAGRANGE....15

2.4. FUNCIN DE HAMILTON....17 2.5. ECUACIN DE HAMILTON DEL MOVIMIENTO...19 2.6. PRINCIPIO DE FERMAT..21 2.6.1. CAMINO PTICO21 2.6.2. PROPAGACIN RECTILNEA DE LA LUZ EN MEDIOS HOMOGNEOS.....22 2.6.3. LEY DE LA REFLEXIN...22 2.6.4. LEY DE LA REFRACCIN24 2.6.5. CONSERVACIN DEL PLANO DE INCIDENCIA..25 2.6.6. REVERSIBILIDAD DE LAS TRAYECTORIAS LUMINOSAS26 2.7. COORDENADAS CCLICAS.27

2.7.1. TRANSFORMACIONES CANNICAS.28 2.8. TEORA DE HAMILTON-JACOBI..30 2.8.1. ECUACIONES DE HAMILTON-JACOBI, PARA LA FUNCIN PRINCIPAL DE HAMILTON....31 2.9. CORCHETES DE LAGRANGE Y POISSON......37 2.9.1. CORCHETES DE POISSON...39 2.9.2. PROPIEDADES ALGEBRAICAS FUNDAMENTALES DE LOS CORCHETES DE POISSON .....40 2.9.3. ECUACIONES DEL MOVIMIENTO EN FUNCIN DE LOS CORCHETES DE POISSON .41 2.10. APROXIMACIN GEOMTRICA Y PTICA DE RAYOS...42 2.10.1. ONDAS LOCALMENTE PLANA....42 2.10.2. EIKONAL Y VECTOR RAYO...42 2.10.3. ECUACIONES FUNDAMENTALES......44 2.10.4. EL PRINCIPIO DE FERMAT....46 2.11. MECNICA Y PTICA GEOMTRICA..48

3. PROPUESTA DE HAMILTON JACOBI...52 3.1. APROXIMACIN PTICA....53

3.2. ONDAS DESDE EL FORMALISMO CLSICO DE HAMILTONJACOBI....55

4. CONCLUSIN...61 5. BIBLIOGRAFA..62

INTRODUCCIN

En el proceso histrico, se puede decir que la raz de la moderna mecnica cuntica ondulatoria pudo surgir desde de la teora clsica de Hamilton-Jacobi. De los principios variacionales en mecnica clsica es muy conocido el principio de mnima accin de Hamilton el cual plantea que entre todo los caminos posibles entre dos puntos compatibles con la conservacin de la energa, el sistema fsico se mueve siguiendo una trayectoria muy particular para la cual el tiempo es mnimo o estrictamente un extremal. En nuestro trabajo es primordial este principio, as como tambin el tratado de las transformaciones cannicas, deduccin de las ecuaciones del movimiento de Hamilton a partir de las transformaciones de legendre, ya que este ser un trabajo desde un punto de vista histrico de alrededor de la tercera dcada del siglo diecinueve. As el principio de mnima accin nos recuerda el principio de Fermat de ptica geomtrica (el rayo luminoso recorre entre dos puntos un camino tal que el tiempo en recorrerlo es el mnimo). Es aqu donde encontramos una primera conexin entre el punto figurativo de una partcula clsica y un rayo de luz segn lo define la ptica geomtrica, los cuales eran ya aceptados por la comunidad cientfica de la poca del siglo diecinueve. Los notables descubrimientos de este siglo nos proporcionan innumerables ejemplos de fenmenos inexplicables para la mecnica clsica. La estabilidad de los tomos, el efecto fotoelctrico y el experimento de Davisson-Germer sobre la difraccin de electrones, por no citar ms que unos pocos, son ejemplos de este tipo, todos los cuales han servido para el progreso de nuestra visin actual sobre el comportamiento de las partculas en microscpicas regiones del espacio. La falla de la fsica clsica en la explicacin del comportamiento aparentemente extrao de las partculas en microscpicas regiones del espacio, no es tan sorprendente si se tiene en cuenta que dicha ciencia supone naturaleza que es continua y que cuando tratamos del comportamiento de los bloques fundamentales que forman la naturaleza, las partculas fundamentales, estamos investigando aquellas partes de la misma que son discontinuas. Por esta razn y por otras que se exponen extensamente en los libros de mecnica cuntica, la fsica clsica no se puede aplicar al estudio de la creacin, destruccin o interaccin entre las partculas fundamentales.

Las partculas de las microscpicas regiones del espacio exhiben propiedades ondulatorias. Por otra parte, la radiacin electromagntica que, en fsica clsica, se describe como una onda, tiene caractersticas corpusculares (o de partculas). El punto de vista actual de la mecnica cuntica, sugerido por primera vez en 1924 por Luis de Broglie, es que es natural que las partculas, en ambiente apropiado, muestren propiedades ondulatorias y que, a su vez, las ondas exhiban propiedades corpusculares. Existe, entonces, una dualidad de onda y partcula en la naturaleza siendo la descripcin corpuscular el lmite de la ondulatoria. La descripcin corpuscular es buena, cuando el movimiento ondulatorio se desarrolla en una regin en que las propiedades que influyen en la propagacin de la onda no varan apreciablemente en distancias iguales a la longitud de onda. Desde este punto de vista la analoga entre ptica geomtrica y mecnica, es ms fundamental de lo que podemos inferir. 1 En este trabajo monogrfico el objetivo principal es imaginar como puede ser justificada la ecuacin ondulatoria de schrdinger. Desde el punto de vista histrico del desarrollo de las ideas, en este proceso de justificacin se utiliza la aproximacin ptica, utilizando ondas desde el formalismo clsico de HamiltonJacobi.

Walter Hauser, INTRODUCCION A LOS PRINCIPIOS DE MECANICA.

1. DESCRIPCIN DEL PROBLEMA

1.1.

JUSTIFICACIN

El propsito es ayudar a construir un proceso histrico que le sirva a los estudiantes, a profundizar un poco sobre cmo pudo ser la deduccin de la ecuacin cuntica del modelo ondulatorio de Erwin Schrdinger, utilizando una justificacin desde una perspectiva histrica de la mecnica clsica. Dado que esta ecuacin viene como un principio en algunos libros de mecnica cuntica. Aqu se pretende mostrar una justificacin histrica que arranca desde la tercera dcada del siglo diecinueve con las ecuaciones fisicomatemtica de HamiltonJacobi.

1.2. OBJETIVOS

1.2.1. OBJETIVO GENERAL. A partir de la ecuacin clsica de Hamilton-jacobi, justificar la ecuacin ondulatoria de schrdinger.

1.2.2. OBJETIVOS ESPECFICOS. Encontrar la ecuacin clsica de Hamilton-jacobi, a partir de principios variacionales de mnima accin.

Mostrar un smil entre la ptica geomtrica (el rayo de luz) y la teora de la partcula de Hamilton-jacobi

2. MARCO TERICO

2.1.

LA ECUACIN DE SCHRDINGER DEPENDIENTE DEL TIEMPO.

Se comienza primordialmente el estudio haciendo una comparacin entre mecnica clsica y su lmite hacia la mecnica cuntica. La mecnica clsica es solo aplicable a partculas macroscpicas. Para partculas microscpicas es necesaria una nueva forma de mecnica que se denomina mecnica cuntica. En mecnica clsica el movimiento de una partcula est gobernado por la segunda ley de Newton:

= =

2 2 2 2

(1)

Donde es la fuerza que acta sobre la partcula, es su masa, es el tiempo y es la aceleracin, que viene dada por = es la velocidad. La funcin de energa potencial mecanoclsica de una partcula que se mueve en una dimensin satisface la relacin

, donde

, / = ( , )

(1.2)

Por ejemplo, para una partcula que se mueve en el campo gravitacional terrestre tenemos / = = , e integrando queda que = + , donde

es una constante arbitraria. Se puede

fijar el cero de energa potencial como se quiera. En este caso, tomando = 0 se obtiene; = para la funcin de energa potencial. La palabra estado en mecnica clsica significa la especificacin de la posicin y la velocidad de cada partcula del sistema en algn instante del tiempo, ms la especificacin de las fuerzas que actan sobre las partculas. Aunque la mecnica clsica es determinista, en el ao de 1970 se tuvo conocimiento de muchos sistemas mecanoclsicos (por ejemplo, en un pndulo que oscila bajo la influencias de la gravedad, sujeto a una fuerza de friccin y una fuerza impulsadora peridica) muestra un comportamiento catico para ciertos conjuntos de valores de los parmetros del sistema. En un sistema catico, el

movimiento es extraordinariamente sensible a los valores inciales de las posiciones y velocidades de las partculas y a las fuerzas que actan sobre ellas. Conociendo de forma exacta el estado presente de un sistema mecanoclsico, podemos predecir su estado futuro. Sin embargo, el principio de incertidumbre de Heisenberg pone de manifiesto que no podemos determinar simultneamente la posicin y la velocidad exacta de una partcula macroscpica, de modo que no podemos disponer de la informacin que requiere la mecnica clsica para predecir el movimiento futuro del sistema. En mecnica cuntica debemos contentarnos con algo menos que la prediccin completa del movimiento futuro exacto del sistema. Para describir el estado de un sistema en mecnica cuntica, postulamos la existencia de una funcin de las coordenadas de las partculas, llamada funcin de onda o funcin de estado . Para un sistema unidimensional de una sola partcula tenemos = (, ). Para encontrar el estado futuro de un sistema mecanocuntico conociendo el estado presente necesitamos una ecuacin que nos diga cmo cambia la funcin de onda con el tiempo. Para un sistema unidimensional de una sola partcula se postula que esta ecuacin es.

( , ).

2 2 ( , ). 2 2

+ (, )(, ).

(1.3)

Donde la constante (- barra) se define como

(1.4)

En el concepto de funcin de onda y la ecuacin que proporciona la forma en la que dicha funcin cambia con el tiempo fueron descubiertos en 1926 por el fsico austraco Erwin Schrdinger (1887-1961). En esta ecuacin, conocida como ecuacin de schrdinger dependiente del tiempo (o ecuacin de onda de schrdinger), = 1, es la masa de la partcula, y ( , ) es la funcin de energa potencial del sistema. La funcin de onda contiene toda la informacin que es posible conocer sobre el sistema. No podemos esperar que proporcione una especificacin concreta de la posicin, como hace el estado mecanoclsico del sistema. La respuesta concreta a esta pregunta la dio Max Born poco despus de que Schrdinger descubriese su ecuacin. Born postulo que la cantidad

( , ) 2

(1.5)

Da la probabilidad de encontrar a la partcula en el tiempo t en la regin del eje x comprendida entre y + . La funcin (, ) 2 es la densidad de probabilidad de encontrar a la partcula en cualquier lugar infinitesimal del eje x Para establecer una relacin precisa entre (, ) 2 Y las medidas experimentales, tendramos que tomar un gran nmero de sistemas idnticos no interaccionantes, en el mismo estado , y medir la posicin de la partcula en cada uno de ellos. Si tenemos sistemas y realizamos medidas, y si es el nmero de medidas en las que encontramos a la partcula entre y + , entonces el cociente + , de este modo,

da la probabilidad de encontrar la partcula en y

= ( , ) 2
La representacin grafica (1/ ) / frente a proporciona la densidad de probabilidad 2 en funcin de . La mecnica cuntica tiene una naturaleza bsicamente e stadstica. Conociendo el estado del sistema, no podemos predecir el resultado de una medida de la posicin con certeza. Solo podemos predecir las probabilidades de obtener los diferentes resultados posibles. La mecnica cuntica no afirma que un electrn se encuentre repartido en una amplia regin del espacio, como ocurre con una onda. Son las distribuciones de probabilidad (funciones de onda) que se utilizan para describir el movimiento del electrn, las que tienen un comportamiento ondulatorio y satisfacen una ecuacin de ondas. Aunque es algo extrao que se haya escrito la ecuacin de schrdinger sin probarla. Estableciendo analogas entre ptica geomtrica y mecnica clsica por un lado, y la ptica ondulatoria y la mecnica cuntica por otro lado, pude mostrarse la verosimilitud de la ecuacin de schrdinger. La ptica geomtrica es una aproximacin a la ptica ondulatoria, valida cuando la longitud de onda de la luz es mucho ms pequea que el tamao del aparato. Del mismo modo, la mecnica clsica es una aproximacin a la mecnica cuntica, valida cuando la longitud de onda de la partcula es mucho ms pequea que el tamao del aparato. Resulta plausible, por tanto, derivar una ecuacin apropiada para la mecnica cuntica a partir de la mecnica clsica, basndonos en la relacin existente entre las ecuaciones de la ptica geomtrica y la ondulatoria2.

Ira N. Levine (Qumica Cuntica quinta edicin. Pg. 7)

2.2.

ALGUNAS TCNICAS DEL CLCULO DE VARIACIONES

2.2.1. PRINCIPIO DE LA INTEGRAL Antes de demostrar que las ecuaciones de LaGrange se deducen del principio de mnima accin de Hamilton3, debemos hacer una digresin acerca de los mtodos del clculo de variaciones, ya que uno de los principales problemas de este clculo es hallar la curva para la cual una integral curvilnea dada tenga un valor estacionario. Consideramos esencialmente el problema en forma unidimensional: Consideremos primordialmente una funcin ( , , ) definida sobre una curva = () entre dos valores 1 y 2 , donde = . Queremos encontrar una curva particular ( ) tal que la integral curvilnea de la funcin entre 1 y 2 ,

2 1

(, , ) ,

(2)

tenga un valor estacionario relativo a las curvas que difieren infinitesimalmente de la funcin (). La letra desempea el papel de parmetro o variable independiente, y solo consideramos curvas variadas para las cuales (1 ) = 1 ,

(2 ) = 2
Y
caminos variados en el problema de extremos unidimensionales .

X Planteemos el problema en una forma que nos permita utilizar los mtodos conocidos del clculo diferencial para hallar los puntos estacionarios de una
3

La deduccin se toma del libro Mecnica Clsica (GHOLDSTEIN) capitulo 2.

10

funcin. Como debe tener un valor estacionario para la curva correcta (camino) relativa a toda curva prxima, la variacin debe ser cero relativa a algn conjunto particular de curvas vecinas sealadas por un parmetro infinitesimal . Tal conjunto de curvas podramos representarlas por ( , ), representado a ( , 0) al camino correcto. Si tomamos como ejemplo la eleccin de una funcin cualquiera (x) que se anule en = 1 y = 2 un conjunto de posibles curvas variadas sera

( , ) = (, 0) + ( )
Por sencillez, supongamos que tanto la curva

(2.1)

() como la funcin auxiliar

( ) sean funciones continuas y sin singularidad entre 1 y 2 , con primera y

segunda derivadas continuas en el mismo intervalo. Para cualquiera de tales familias de curvas paramtrica, la integral ser tambin funcin de :

() =
Y, (

2 1

( , ), ( , ),

(2.2)

) =0 = 0 es la condicin de obtencin de un punto estacionario.

Por los mtodos usuales de derivacin bajo el signo de integracin tenemos:

2 f y { 1 y

(2.3)

Considerando la segunda de esta integrales

2 1

f =

2 1

f y

E integrando por parte tenemos

11

( ) =

=
f

2 f . 1

2 1 -

2 ( ) 1

Las condiciones impuestas a todas las curvas variadas son las que pasan por los putos (1 , 1 ), (2 , 2 ) y por tanto en 1 y 2 se anular la derivada parcial de y respecto a . La ecuacin anterior se reduce a
2 1

f dx =

2 1

( )

Por tanto la ecu. (2.3.) tendr la forma

=0

= =

x2 f y { . x 1 y 2 f ( x1 y

( )

,
y

aplicando la condicin de valor estacionario

x2 f x1 y

=0

(2.4)

Obtenemos una ecuacin muy conocida en el clculo de variaciones, podemos entonces aplicar a la ecu. (2.4.) el llamado lema fundamental del clculo de variaciones que dice que si
2 M 1

x . (x) = 0

(2.5)

para todas las funciones arbitrarias (x) continas hasta la segunda derivada, M x deber ser idnticamente nula en el intervalo 1 , 2 . La ecuacin (2.5) puede entonces ser vlida solamente si M x se anula en un punto elegido arbitrariamente, la que demuestra que M x debe ser nula en todo el intervalo De la ecu. (2.4) y del lema fundamental se deduce por tanto, que slo puede tener un valor estacionario si

=0
12

(2.6)

La cantidad

diferencial

)0 =

(2.7)

representa el apartamiento infinitesimal de la curva variada respecto a la curva correcta ( ) en el punto y por tanto corresponde al desplazamiento virtual (de aqu la notacin ). Anlogamente, la variacin de respecto al camino correcto puede designarse

) 0

(2.8)

La aseveracin de que es estacionaria para el camino correcto podr, pues, escribirse de la forma
2

=
1

= 0 as exigiendo que y(x) satisfaga la

La ecuacin anterior se puede escribir ecuacin diferencial (2.6).

El problema fundamental del clculo de variaciones se generaliza fcilmente al caso en que la funcin sea funcin de varias variables independientes y de sus derivadas i, todas funcin de la variable paramtrica . entonces una variacin de la integral ,

2 f 1

1 x , 2 x , , 1 x , 2 x , , x

(2.9)

Como en el razonamiento anterior, considerando a funcin de un parmetro que rotula un posible conjunto de curvas ( , ). As, podemos introducir haciendo

1 , = 1 , 0 + 1 () 2 , = 2 , 0 + 2 () 3 (, ) = 3 (, 0) + 3 ( )
. . . . . .

(2.10)

, = , 0 + ( )

13

Donde 1 ( , 0), 2 ( , 0), , etc. Son soluciones del problema de extremos(a obtener) y 1 , 2 , etc, son funciones de independientes que se anulan en los puntos terminales y que son continuas hasta la segunda derivada, pero que por lo dems son completamente arbitraria. El clculo tiene ligar como antes, la variacin de se escribe

2 1

f i (

(2.11)

Integrando por partes el segundo miembro de la sumatoria

= ( ) ,

dx

= 2 1

2 1

2 1

La primera parte de la integral se anule debido a que todas las curvas pasan por los puntos terminales fijos. Sustituyendo en la ecuacin (2.9) queda

2 1

Donde la variacin es

= (

) 0

Como las variables son independientes, las variaciones tambin lo sern. Luego por una ampliacin del lema fundamental ecu. (2.5), la condicin que la variacin de la integral sea cero exige que se anulen los coeficientes por separados de las ,

=0

= 1, 2, 3, ,

(2.12)

14

Estas ecuaciones representan la generalizacin de (2.6) apropiada para varias variables y se conocen con el nombre de ecuaciones diferenciales de EulerLaGrange. Sus soluciones son curvas para las cuales la variacin de una integral de la forma dada en (2.9) se anula. Para los fines de este trabajo, es suficiente lo que hemos deducido hasta aqu, y continuamos con enunciar un principio muy importante en mecnica clsica, y que deriva del principio variacional.

2.3.

PRINCIPIO DE HAMILTON Y ECU. DE LAGRANGE

En este captulo se deducirn las ecuaciones de LaGrange utilizando el principio de Hamilton. El principio de Hamilton es un principio integral 4 que describe el movimiento de los sistemas mecnicos para los cuales todas las fuerzas pueden derivar de un potencial escalar generalizado que puede ser funcin de las coordenadas velocidad y del tiempo, y se enuncia de la siguiente manera. El movimiento del sistema curvilnea es entre el tiempo t1 y el tiempo t2 es tal que la integral
2 1

(2.3.1)

dnde = , tiene un valor estacionario para el camino correcto . En otras palabras, podemos decir que entre todos los caminos posibles por los cuales el punto representativo del sistema en el espacio de las configuraciones podra ir de su posicin en el instante t1 a su posicin en el instante t 2 , recorrer en la realidad el camino para el cual el valor de la integral (2.3.1) sea estacionario. Esta definicin es muy usual en dinmica clsica y se conoce con el nombre de propiedad fundamental integral de accin. Podemos resumir el principio de Hamilton diciendo que el movimiento es tal que la variacin de la integral curvilnea para 1 y 2 fijos, es nula:

2 1

(q1, q 2, , q n , , 1 , 2 , , ) = 0

(2.3.2)

Tomado del GHOLDSTEIN, pag. 44

15

Camino del punto representativo del sistema en el espacio de las configuraciones.

La que la integral del principio de Hamilton

2

=
1

(q i , , )

Tiene exactamente la forma estipulada en (2.9) con las transformaciones

, ,

( , , )

Y las ecuaciones de Euler- LaGrange correspondientes a la integral se convierten entonces en las ecuaciones de LaGrange del movimiento,

=0

i= 1, 2, 3 n

(2.3.3)

Y se han demostrado las ecuaciones del movimiento de LaGrange a partir del principio de Hamilton para sistemas mecnicos.

16

2.4.

FUNCIN DE HAMILTON

En esta parte deduciremos el teorema de conservacin que conlleva a la funcin constante del movimiento de Hamilton para sistemas mecnicos con fuerzas conservativas5. Partiendo de la ecuacin de Lagrange (2.3.3).

T U =

T U

=0

(2.4.1)

Donde ( , , ) es la energa potencial y

, son las fuerzas generalizadas en trminos de .

El trabajo realizado por las fuerzas generalizadas para cambios infinitesimales de las coordenadas generalizadas es:

La ecu (2.4.1) indica que para un desplazamiento infinitesimal se tiene que:

U
T

= 0

d = 0
(2.4.2)

=0

Donde = , es el lagrangiano del sistema y utilizando la relacin.

Introduccin a los principios de mecnica (Walter Hauser)

17

Se expresa la ecu. (2.4.2) as

q q

=0

= 0

+ L +

= 0 = 0 +
q

Ya que , , =

. Ahora si el lagrangiano no

contiene explcitamente el tiempo, significa que

=0,

entonces

(2.4.3) (2.4.4)

=0

Que da el teorema de conservacin

L = .

(2.4.5)

La derivada parcial del Lagrangiano con respecto a la velocidad generalizada es la cantidad de movimiento generalizado , (llamado tambin cantidad de movimiento cannico); por tanto la ecu. (2.4.5) en funcin de las cantidades de movimiento generalizado expresa que siempre que se satisfaga la ecu. (2.4.3) la cantidad L es una cte. del movimiento. Esto es siempre que el Lagrangiano no sea una funcin explcita del tiempo, la funcin.

(2.4.6)

Denominada Hamiltoniano del sistema es una constante del movimiento.

18

2.5.

ECUACIN DE HAMILTON DEL MOVIMIENTO

Con la funcin de Hamilton ya en nuestro conocimiento, el siguiente paso es deducir las ecuaciones dinmicas del movimiento de Hamilton. La variacin de la ecu. (2.4.6) es

= = =

(2.5.1)

+
q

(2.5.1a)

Para valores de , , que satisfacen

(2.5.2)

Los trminos

de la ecu. (2.5.1a) se anulan no quedando ningn termino en en el segundo miembro lo que implica que;

=0

(2.5.3)

Ya que se limito al empleo de aquellos valores de , , que satisfacen a (2.5.2). Por otro lado como el Hamiltoniano est en funcin de , , y t explcitamente, esto es , , , implica entonces

=
Como

q +

(a)

= 0

por

(2.5.3) y comparando con la ecu. (2.5.1) tenemos

entonces

(b)

Como la diferencial de (a) es igual a la de (b) entonces 19

Obtenindose entonces
H H

(2.5.4)

= =

= =

(2.5.5)

> 0

(2.5.6)

La ecu. (2.5.3) demuestra lo que se quera demostrar y que para valores de , , que satisfacen la ecu. (2.5.2), la funcin Hamiltoniana puede considerarse funcin de , , . Empleando ahora las ecu. del movimiento de Lagrange, la ecu. (2.5.4), se escribe as.

(2.5.7)

Que junto con la ecu. (2.5.5)

Constituyen las ecuaciones del movimiento de Hamilton.

20

2.6.

PRINCIPIO DE FERMAT

Otros de los principios importantes de la fsica, anlogo al principio de Hamilton, es el muy mencionado principio de Fermat de la fsica ptica, y que tambin pertenece a la categora de los llamados principios variacionales. Para dilucidar el principio de Fermat, debemos definir primero lo que es el camino ptico. La definicin de este principio ser enunciado en la unidad APROXIMACIN GEOMTRICA Y PTICA DE RAYOS (Pg. 45). 2.6.1. CAMINO PTICO. En un medio homogneo con cierto ndice de refraccin . sean A y B, los extremos de un tramo R sobre un rayo de luz luminoso; sea la velocidad de propagacin de la onda en el punto M y la longitud elemental MM del rayo.

M M

R A

El tiempo que tarda la onda en recorrer ser,

( )

( )

Durante este tiempo la luz recorre en el vacio un camino

= =

( )

Recibe el nombre de camino ptico entre A Y B la longitud del tramo R dada por la integral

21

El principio de Fermat nos dice entre todos los caminos posibles que puede tomar la luz para ir de un punto A, a otro punto B, esta recorre el camino ms corto, el que le tome menos tiempo6 (este principio se profundiza en la secc. 2.10.4) De esta formulacin se derivan las cinco leyes ms fundamentales de la ptica geomtrica que son: 1) 2) 3) 4) 5) La La La La La propagacin rectilnea de la luz en medios homogneos. ley de la reflexin. ley de la refraccin. conservacin del plano de incidencia. reservisibilidad de las trayectorias luminosas.

Veremos cmo se aplica la condicin del principio de Fermat para demostrar solo las tres primeras leyes, las otras dos restantes solo se enunciaran dado que no es de importancia para nosotros su demostracin. 2.6.2. PROPAGACIN HOMOGNEOS. RECTILNEA DE LA LUZ EN MEDIOS

La condicin de camino ptico mnimo establecido por el principio de Fermat exige que en medios homogneos el camino recorrido por la luz cuando esta va de un punto A, a otro punto B, sea una recta, por ser esta la distancia ms corta entre estos puntos. Y A (0,yA) B (xB,yB) fig. (1)

X
Algunos caminos pticos entre los punto A y B, despus de reflejarse la luz en un espejo plano.

2.6.3. LEY DE LA REFLEXIN. Supongamos que muchos rayos de luz salen del punto A, e inciden sobre una superficie plana, que en este caso ser un espejo plano, y se propagan hasta el punto B. fig. (1). Se quiere determinar, de todos los

Tomado de ptica, curso de ciencias fsica (R. Annequin y J. Boutigny)

22

caminos pticos posibles, el que seguir la luz para ir de A hasta B previa reflexin en el espejo.

(0,yA)

B(xB,yB)

'

2 fig. (2)

La funcin camino ptico ser:

= 1 + 2 = (1 + 2 ) , 1 = 2 + 2 Y 2 =

donde

( )2 + 2

= ( 2 + 2 + ( )2 + 2 ) El principio de Fermat requiere que se cumpla la condicin =0 As derivando la funcin camino ptico e igualando a cero tenemos: = 2 + 2 2 + 2 = ( ) ( )2 + 2 =0

( ) ( )2 + 2

()

De la figura (2) se observa que:

23

sin = =
1

2 + 2

sin =

( ) 2

( ) ( )2 + 2

De manera que la ecu. (a), puede expresarse como

sin = sin
Lo que establece la ley de la reflexin, es decir 2.6.4. LEY DE LA REFRACCIN. La siguiente figura indica los posibles caminos que podra seguir la luz al propagarse de A. a B. previa refraccin en un dioptrio plano que separa dos medios de ndices n y n, con n<n. Y A
X

= .

(0,yA)

fig. (3)

B (xB,yB)

Tomaremos uno de los posibles caminos que podra seguir la luz, asignando coordenadas cartesianas a los puntos A y B de la figura tenemos. Y A (0,YA) 1 X 2 N fig. (4)

B (xB,yB)
24

Realizando como en caso de la reflexin la funcin camino ptico ser: = 1 + 2 = 2 + 2 + ( )2 + 2 Derivando e igualando a cero como lo exige la condicin de mnimo camino ptico ;

2 +

( ) ( )2 + 2

= 0, donde

2 + 2

( ) ( ) + 2
2

en la fig. (4) se puede observar que;

sin =
Sustituyendo

2 + 2

sin =

( ) ( )2 + 2

estos valores en la ltima ecuacin sin = sin , que es la famosa ley de la refraccin.

tenemos

2.6.5. CONSERVACIN DEL PLANO DE INCIDENCIA. La conservacin del plano de incidencia es consecuencia inmediata de la condicin de mnimo del principio de Fermat. Si entre dos puntos A y B trazamos todas las trayectorias posibles que inciden sobre la superficie de separacin, el principio de Fermat obliga que la ms corta este contenida en el plano de incidencia. Para cualquier otra trayectoria que no est contenida en el plano de incidencia, siempre es posible encontrar una proyeccin sobre l, ms corta que la considerada inicialmente, tanto para el caso de la reflexin fig. (5), como de la refraccin fig. (6).

25

2.6.6. REVERSIBILIDAD DE LAS TRAYECTORIAS LUMINOSAS. Otra consecuencia del principio de Fermat es la reversibilidad de las trayectorias luminosas, ya que si la trayectoria en una direccin determinada es mnima, la trayectoria en sentido opuesto tambin lo ser.

26

2.7.

COORDENADAS CCLICAS

En la teora clsica de Hamilton7, las coordenadas cclicas son aquellas que no intervienen explcitamente en el Lagrangiano; y segn las ecuaciones de LaGrange, su momento conjugado
tambin se anulara, por tantos, las coordenadas cclicas tampoco figuran en la hamiltoniana. Recprocamente, si una coordenada no aparece en la , su momento conjugado es constante. Sin embargo, cuando alguna coordenada (p.ej. ) es cclica, la lagrangiana como funcin de y es

ser constante si se anula, y

= (1 , 2 , . . . , 1 , 1 , 2 , , , )
En ella siguen apareciendo todas las velocidades generalizadas que en general, sern funciones del tiempo. El problema, que es necesario resolver sigue teniendo 2n+1 grados de libertad aun cuando un grado de libertad corresponde a una coordenada cclica. Por otra parte, en la formulacin Hamilton una coordenada cclica merece verdaderamente la designacin de << ignoradle >> pues en la misma situacin es cierta constante , y tiene la forma

= (1 , 2 , . . . , 1 , 1 , 2 , , 1 , , )
La hamiltoniana describe ahora un problema con n-1 grados de libertad, que puede resolverse completamente prescindiendo de la coordenada cclica excepto en que se manifiesta en la constante de integracin , la cual se determina a partir de las condiciones inciales El comportamiento de la coordenada cclica con el tiempo se obtiene integrando la ecuacin del movimiento

GHOLDSTEIN capitulo 8.

27

2.7.1. TRANSFORMACIONES CANONCAS Consideramos el caso en que sea una constante del movimiento y todas las cclicas. En tal supuesto los momentos conjugados sern todos constantes

=
Cuando no sea funcin explicita del tiempo, ni las coordenadas cclicas, tendremos que: = (1 , , ). En consecuencia, las ecuaciones de Hamilton para las se reducen a

(2.7.1)

Donde son funciones solo de las y, por tanto, tambin constante en el tiempo. Las ecu. (2.7.1) admiten las soluciones inmediatas

= +

(2.7.2)

Donde son constantes de integracin, determinadas por las condiciones inciales. En las transformaciones se considera el paso de un conjunto de coordenadas a otro nuevo mediante ecuaciones de transformaciones de la forma.

= ( , )

(2.7.3)

As, por ejemplo, las ecuaciones de una transformacin ortogonal, o el paso de coordenadas cartesianas a polares, tambin de la forma general (2.7.3) denominada transformaciones puntuales. Ampliando el concepto de transformacin de coordenadas para la transformacin simultanea de las coordenadas y momentos independientes, , a otro nuevo conjunto , con ecuaciones de transformaciones

= , ,

= ( , , )

(2.7.4)

As, las nuevas coordenadas quedaran definidas no solo en funcin de las primitivas, sino tambin de los antiguos momentos. En el desarrollo de las mecnica Hamiltoniana solo nos interesan aquellas transformaciones para las cuales las nuevas y sean coordenadas canoncas y se verificaran estas condiciones siempre que exista cierta funcin ( , , ) tal

28

que las ecuaciones del movimiento en el nuevo sistema tengan la forma hamiltoniana.

(2.7.5)

Las transformaciones para las que se verifica (2.7.5) se llaman cannicas, y la funcin desempea el papel de Hamiltoniana en el nuevo conjunto y las y deben ser coordenadas cannicas, que habrn de satisfacer un principio de Hamilton multiplicando, de la forma:

2 1

( , , ) = 0

(2.7.6)

Al propio tiempo, las coordenadas antiguas satisfacen un principio anlogo:

2 1

( , , ) = 0

(2.7.7)

La validez simultnea (2.7.6) y (2.7.7) no significa que ambos integrando sean iguales, sino que a lo sumo diferirn en la derivada total de una funcin arbitraria . La integral entre los dos extremos del trmino en cuestin es entonces
2 1

= 2 (1)

Y la variacin de esta integra ser automticamente nula para cualquier funcin , pues la variacin se anula en los extremos. La funcin arbitraria se llama funcin generatriz de la transformacin, y una vez conocida las ecuaciones de transformacin quedan determinadas por completo. Un ejemplo de ecuaciones de transformacin. Suponga que se tiene una funcin generatriz ( , , ), los integrando de las ecuaciones (2.7.6) y (2.7.7) estn ligados por la relacin

(, , )

(2.7.8)

Donde

Entonces nos queda que

29

 = ( (

) ) + ( (

) ) = +

(2.7.9)

Considerando las y independientes, (2.7.8) solo se verificar idnticamente si se anulan por separados los coeficientes de las y en (2.7.8); entonces

, ,

= 0 =

(2.7.9a)

= 0 =

(2.7.9b)

= 0 = +

(2.7.9c)

Las ecuaciones (2.7.9a) son relaciones entre , , , , que podrn resolverse para las , en funcin de , , , con ello se obtiene la primera mitad de la ecuacin de transformacin (2.7.4). Una vez establecida la relacin entre y ( , ), la ecuacin (2.7.9b), proporcionan la mitad restante de las ecuaciones de transformaciones, donde en funcin de ( , ), para completar la ecuacin (2.7.9c) que nos da la nueva relacin entre la nueva hamiltoniana y la antigua . Se utiliza el mismo proceso para otras transformaciones generatrices como

= ( , , ), (, , ),

(, , )

2.8.

TEORA DE HAMILTON-JACOBI

Las transformaciones cannicas pueden emplearse de manera general en la resolucin de los problemas de la mecnica; Si se conserva la Hamiltoniana se obtiene una solucin pasando a nuevas coordenadas cannicas que son todas cclicas, y al integral de esta nueva ecuacin resulta casi inmediata Otro mtodo consiste en buscar una transformacin cannica que haga pasar de las coordenadas y momentos y en un instante , a un nuevo conjunto de magnitudes constantes, por ejemplo, los 2n valores inciales 0 y 0 para = 0, en tal transformacin las ecuaciones que relacionan las variables antiguas y las nuevas resuelven el problema:

30

 = (0 , 0 , ) = (0 , 0 , )
Que proporcionan las coordenadas y los momentos en funcin de sus valores inciales y del tiempo.

2.8.1. ECUACIONES DE HAMILTON-JACOBI, PARA LA FUNCIN PRINCIPAL DE HAMILTON Se puede asegurar automticamente que las nuevas variables son constantes en el tiempo en la hamiltoniana transformadas, K, es idnticamente nula una constante, las ecuaciones del movimiento son:

(2.8.1)

Donde K se relaciona con la antigua hamiltoniana y con la funcin generatriz, mediante la ecuacin

= +

Por tanto, ser nula si , satisface la relacin

(, , t) +

=0

(2.8.2)

Por conveniencia se elige de modo que sea funcin de las antiguas coordenadas , de los nuevos momentos constantes y del tiempo; la funcin generatriz ser

, , .

Para escribir la Hamiltoniana de (2.8.2), en funcin de las mismas variables emplearemos las ecuaciones de transformadas:

=
Con lo que (2.8.2) se convierte en

31

 1 , , , ,

,,

,t +

=0

(2.8.3)

,t =

Esta es la ecuacin clave y fundamenta para el trabajo que se pretende desarrollar. Esta ecuacin con derivadas parciales, con + 1 variables 1 , , , , constituyen la llamada ecuacin diferencial de Hamilton-Jacobi. La solucin de esta ecuacin se acostumbra a designarse por y se denomina funcin principal de Hamilton Por consiguiente una solucin completa, ha de tener + 1 constantes de integracin independientes 1 , , , +1 . por tanto una solucin completa de (2.8.3) ser de la forma

= 1 , , , 1 , , n ,

(2.8.4)

Donde ninguna de las constante es puramente aditiva. Se tiene libertad para hacer que las constantes de integracin sean los nuevos momentos (constantes) = (2.8.5) Tal ecuacin no contradice la afirmacin hecha, de que los nuevos momentos estn relacionados con los valores inciales de y en el instante 0 . Las ecuaciones de transformacin se escriben ahora en la forma

i =

En el instante 0 , estas constituyen ecuaciones que relacionan las con los valores inciales de y , permitiendo calcular las constantes de integracin en funcin, de las condiciones inciales. La otra mitad de las ecuaciones de transformaciones de las que se deducen las nuevas coordenadas constantes, adoptan la forman

, ,

(2.8.6)

= =

, ,

(2.8.7)

Donde las constante se obtienen de modo anloga a partir de las condiciones inciales, sin ms que calcular el segundo miembro de la ecu. (2.8.7), para = 0 con los valores inciales conocidos entonces se pueden resolverse las ecuaciones (2.8.7) con el fin de obtener en funcin de , ,

32

 = , ,

(2.8.8)

Lo que resuelve el problema, ya que se conocen las coordenadas en funcin del tiempo y las condiciones inciales. La funcin principal de Hamilton es as la generatriz de una transformacin de contacto que permite el paso a coordenadas y momentos constantes; al resolver la ecuacin de Hamilton-Jacobi se ha obtenido al mismo tiempo una solucin del problema mecnico El examen de la derivada total respecto del tiempo sirve para profundizar en el significado fsico de esta funcin. Dicha derivada puede calcularse a partir de la frmula

(2.8.9)

Pues las no depende del tiempo, segn (2.8.6) y (2.8.3), esta relacin se expresa tambin en la forma

(2.8.10)

Por lo que la funcin principal de Hamilton difiere a lo sumo en una constante de la integral indefinida de lagrangiana.

(2.8.11)

Ahora bien; el principio de Hamilton se refiere a la integral definida de , y a partir de ella se resuelve el problema mediante las ecuaciones de Lagrange. Como aclaracin de la tcnica de Hamilton-Jacobi para la resolucin de problemas mecnicos, se considera con detalles el problema del oscilador armnico lineal. La hamiltoniana del sistema en forma general es: 2 = + () 2 Para el caso que queremos tratar, la hamiltoniana ser: 2 2 = + 2 2 Donde K es la constante del resorte, la ecuacin de Hamilton-jacobi para este, se obtiene igualando

33

 Y sustituyendo en la hamiltoniana, la condicin de que se anule, la nueva hamiltoniana se convierte en 1 2 2 + + =0 (2.8.12) 2 2

Como la dependencia explicita de respecto de , aparece solo en ltimo trmino, podr ayarse una solucin de (2.8.12) de la forma

, , = ,
Donde es una constante de integracin. Aplicando las respectivas derivadas y remplazando en (2.8.12)

(2.8.13)

=
2

Queda
1 2 1 2

1 2 2

2 2

= 0,

=
2 2

(2.8.14)

2 2

= 2 2 =
2 2

2
Integrando tenemos

2
2 2

= =

2
(2.8.15)

34

La integral que resulta en (2.8.15) en realidad resulta innecesaria, ya que no es lo que se busca sino sus derivadas parciales. La solucin para se obtiene a partir de las ecuaciones de transformacin (2.8.7),

= =

= =

1 2 2

1 2 2

2 2

2 2

, y que al integrar nos queda que

+ =

(2.8.16)

Poniendo =

, podemos invertir (2.8.16), con lo que obtendremos en

funcin de y , (cte. de integracin)

cos ( + ),

Que es la solucin conocida del oscilador armnico. Supngase ahora que para = 0 la partcula esta inicialmente fija (0 = 0), pero desplazada de la posicin de equilibrio una distancia 0 . El procedimiento directo para hallar consiste en calcular (2.8.12) para t = 0:
0

= 0 = 2
0 2 2

0 2 2

0 =

, =

0 2 2

2 0 2 2

(2.8.18)

35

La constante es por tanto la energa total del sistema. En realidad, se podra haber deducido directamente la identidad de con la energa total, a partir de (2.8.13) y de la relacin,

+ = 0 que da

= = .
Poniendo en funcin de 0 , la solucin para (ecu. (2.8.17)) se reduce a
2
0 2 2

= =

cos ( + ),

0 2 cos ( + ),

= 0 cos ( + ),
Que demuestra que = 0 en las condiciones inciales dadas. En funcin de (2.8.18) la funcin principal de Hamilton puede escribirse.

2 0 2 2

O sustituyendo en (2.8.17)

= 2 2 (2 )
2

Ahora bien la lagrangiana es

=
=

2 2
2 2 2

2 2 2

2 2
1 2

= 2 2 2

Por lo que es la integral respecto a de , de acuerdo con la relacin general (2.8.11)

36

2.9.

CORCHETES DE LAGRANGE Y POISSON.

La siguiente deduccin no es un tanto trivial por tanto en su mayora sern enunciados que asumiremos ya demostrados 8, el objetivo es representar las ecuaciones de movimiento en trminos de los corchetes de Poisson, este formalismo matemtico para representar las ecuaciones de movimiento fue introducido en la tercera dcada del siglo diecinueve por el fsico-matemtico francs Simon Denis Poisson. La condicin de invariancia de la suma de jacobianos
( , ) ( , )
=

( , )

( , )

puede escribirse:
,

, (

)= (

(2.9.1)

donde cada uno tiene la forma de corchete de Lagrange de , , que se define por la igualdad.

, , =

, (

La ecu. (2.9.1) expresa que los corchetes de Lagrange son invariantes respecto a las transformaciones de contacto. Tomando como relacin general y omitiendo los subndices y ; la forma

, = ,
puede tomar como tal regin el plano corchete de Lagrange de coordenadas cannicas.

(2.9.2)

Y , , son coordenadas de una regin bidimensional del espacio de fases, se

, .

Al calcular el correspondiente

puede usarse cualquier conjunto de

Cabe as desarrollar el corchete de Lagrange en la forma

, =

, (
,

) , ,

Como las coordenadas y , son independientes se deduce que

Para una mejor profundizacin, consultar GHOLDSTEIN mecnica clsica capitulo 8.

37

=0=

(2.9.3)

De donde se deduce que

, = 0 , = 0

Y anlogamente tambin ocurrir que

Ahora si tomamos a, = , = el corchete de lagrange ser

, = ( )
El segundo miembro del parntesis es nulo, por la ecu. (2.9.3). las derivadas parciales que figuran en este trmino, tiene los valores:

= ,

El corchete de Lagrange se reduce a

, =

q ( q

p p

)=

) =

(2.9.4)

Las ecu. (2.9.4) son validas evidentemente para todos los conjuntos de variables cnicas y suelen denominarse corchetes de Lagrange fundamentales.

38

2.9.1. CORCHETES DE POISSON No detendremos nuestra atencin en la deduccin de los corchetes de Poisson dado que intensifica un poco ms la labor desvindonos de nuestro trabajo, por lo que asumimos ya su demostracin y procedemos a enunciarlos. Se definen por

(2.9.5)

Junto con la identidad

, = ,

(2.9.6)

Existe una estrecha relacin entre los corchetes de lagrange y de Poisson. Si se consideran nicamente como expresiones matemticas, prescindiendo de cualquier significado fsico puede enunciarse el siguiente teorema, el cual solo ser enunciado puesto que su demostracin requiere de mucha rigurosidad matemtica. Si , = 1,2, ,2, es un conjunto de 2 funciones independientes, tales que cada es funcin de las 2 coordenadas 1 , , , 1 , , se tiene que
2 =1

, = =

(2.9.7)

As la ecu. (2.9.7) es invariante respecto a todas las transformaciones de coordenadas sean o no cannicas.

elegiremos el conjunto de 2 funciones 1 , 2 , , , 1 , 2 , , y adems haremos que las sean las y las las .
Como funciones Como es coordenada y es momento, las dos funciones no podrn ser idnticas para ningn valor de i o j. y (2.9.7) se convierte en

, +

, ,

, = 0
=0

Como

, =

Para todas las coordenadas cannicas, se deduce que

39

 , = 0
, = 0

(2.9.8)

Anlogamente, se anular tambin el corchete de Poisson de (2.9.9)

Finalmente si = y = la suma de la ecu. (2.9.7) toma la forma

, +

, , =

Que se reduce a

, = , =

, =
(2.9.10)

2.9.2. PROPIEDADES ALGEBRAICAS FUNDAMENTALES DE LOS CORCHETES DE POISSON A partir de su definicin, el corchete de Poisson de una funcin consigo misma es nulo.

[, ] = 0
, no depende de p, q.

(2.9.11) (2.9.12) (2.9.13) (2.9.14)

[, ] = 0

[ + , ] = [, ] + [ , ] [ , ] = [ , ] + [, ]

El corchete de Poisson de la mecnica clsica le corresponde en mecnica 2 cuntica a multiplicado por el conmutador de las dos 2 magnitudes

40

2.9.3. ECUACIONES DEL MOVIMIENTO EN FUNCIN DE LOS CORCHETES DE POISSON Si la funcin es la hamiltoniana, tendremos que

, = ,

(2.9.15) (2.9.16)

Son las dos relaciones que constituyen las ecuaciones del movimiento en funcin de los corchetes de Poisson. Tambin es posible cuantizar las ecuaciones (2.9.11)-(2.9.14) para obtener los conmutadores cunticos y cumplen con la misma algebra, pero este formalismo se sale de los propsitos de este trabajo.

41

2.10. APROXIMACIN GEOMTRICA Y PTICA DE RAYOS Ya se ha dilucidado una parte de la mecnica clsica de Hamilton, lo suficiente como para comenzar a darle raz a la deduccin de nuestro objetivo general. Lo siguiente es mostrar la similitud que tiene la ptica con la mecnica, para esto necesitamos recordar algunos tratados de sobre ondas planas y los mas importante para nosotros que sera el eikonal9 o vector de rayo para frentes de ondas que se propagan en medios donde el ndice de refraccin varia muy lentamente. 2.10.1. ONDAS LOCALMENTE PLANA.

La onda plana tiene la propiedad fundamental de que tanto la direccin en que se propaga como su amplitud son las mismas en todo punto del espacio y en todo instante. En el caso de una onda real que se puede considerar plana solo aproximadamente, en general la amplitud es funcin de las coordenadas y el tiempo, y la fase no tiene una forma tan simple como en la onda plana10.

, = + , = ,
( , )

(2.10.1)

Donde , es una magnitud cualquiera que describe el campo de la onda (campos ).

2.10.2.

EIKONAL Y VECTOR RAYO

La aproximacin geomtrica implica tomar la onda no plana como localmente plana, es decir, plana en pequea regin del espacio que se considere. Para ello es necesario que la magnitud , vare muy poco a lo largo de una distancia del orden de la magnitud 0 desempeando el papel de una amplitud, en tanto que la magnitud (, ) llamada eikonal, debe ser una magnitud grande que vare en 2 en una distancia muy pequea como es , y desempea el papel de fase.

10

Eikonal (del alemn eikonal del griego , imagen ) Tomado del libro ptica Electromagntica capitulo 11. vol. 1.

42

En estas condiciones se pueden introducir las superficies de onda, como aquellas en las cuales todos los puntos estn en fase en un instante dado es decir , = para = . Si la onda es aproximacin plana en cada pequea regin del espacio, al igual que ocurre en una onda plana, la direccin en que se propaga es perpendicular a la superficie de onda , = . Por tanto, la direccin de propagacin es la del gradiente que define la perpendicular a la superficie. Al mismo tiempo se puede introducir el concepto de rayo como la lnea cuya tangente en cada punto coincide con la direccin de propagacin de la onda, la de . As el vector rayo queda definido como s = , vector unitario en la direccin de propagacin de la luz. Las consideraciones anteriores se concretan analticamente como sigue: la fase (, ) de la onda localmente plana se desarrolla enserie de pequeo incrementos espacio-temporales. Para ello se toma los orgenes de coordenadas y de tiempo local, es decir, en el punto considerado de modo que 0 y 0 sean cero, y despreciando los trminos de orden superior. Tomando la aproximacin lineal, entonces se puede escribir:

, = 0

(2.10.2)

Si comparamos esta expresin con la fase de la onda plana dada en (2.10.1) que es,

, = +

(2.10.3)

La condicin , = , suponiendo que las derivadas se toman en el origen local implica:

= , ;

( ) =

(2.10.4)

Donde se apuesto de manifiesto el hecho de que el vector de onda varia de unos puntos a otros del espacio (aunque en forma suave), y la frecuencia () hace otro tanto respecto al tiempo. Estas dos relaciones son ecuaciones bsicas que permiten tratar una onda localmente plana como una onda aproximadamente plana.

43

En el caso importante de una onda localmente plana monocromtica, el eikonal (2.10.2) se puede escribir separando las variables de espacio y tiempo as:

= 0

(2.10.5)

= , y el eikonal o fase esta determinado por la longitud que tiene

dimensiones de longitud suele recibir el nombre de camino ptico. En este caso, la primera de las (2.10.4) toma la forma:

= 2.10.3.

(2.10.6)

ECUACIONES FUNDAMENTALES
2

En general las relaciones (2.10.4) deben satisfacer la condicione 2 = caracterstica de toda onda plana, que en este caso se expresa:
2
, 2

2 ,

, 2

(2.10.7)

Este es una ecuacin en derivadas parciales de primer orden llamadas ecuaciones eikonal o tambin llamadas ecuacin fundamental de la ptica geomtrica. En el caso de una onda monocromtica localmente plana, la (2.10.7) queda:

2 2

(2.10.8).

Donde n es el ndice de refraccin, que en un medio inhomogneo, es una funcin del punto del medio. Haciendo explicita esta ecuacin, se tiene.
2

(2.10.9)

Esta es por tanto la ecuacin del eikonal para una onda monocromtica, que determina la fase o el camino ptico en funcin del ndice de refraccin . Segn (2.10.8)

= ,

la (2.10.6) tambin se puede escribir como;

44

= =

(2.10.10)

Siendo =

el vector unitario paralelo a , el vector rayo (fig. 1)

fig.1

Esta ecuacin recibe el nombre de ecuacin diferencial de los rayos; y usndola se puede obtener una expresin de la variacin de la magnitud a lo largo de la trayectoria (curva en general) de un rayo. La derivada de respecto al arco vendr dada por;
( )

= =

(2.10.11)

Y por tanto,

= = =

(2.10.12)

Es decir, es el producto del ndice de refraccin por el camino recorrido por la luz en el medio; o bien, la distancia que la luz recorrera en el vaco durante el mismo tiempo que ha empleado en el medio material. Por esta razn, la magnitud se denomina normalmente camino ptico.

45

2.10.4.

EL PRINCIPIO DE FERMAT

Histricamente, la ptica geomtrica se desarroll a partir de un principio variacional, el principio de Fermat como postulado nico a partir del cual se obtienen todas las propiedades de los rayos de luz, en particular las ecuaciones fundamentales que hemos visto. El principio de Fermat afirma que la trayectoria que sigue la luz para viajar de un punto A hasta otro B (fig. 2), es aqulla para la cual el camino ptico asociado es el mnimo de entre todas las posibles trayectorias prximas a ella.

fig.

En particular, si se pasa de la trayectoria a la + por variaciones infinitesimales de primer orden, el camino ptico se mantendr estacionario; Es decir;

=0

(2.10.13)

(Para rayos de luz) Tambin recibe el nombre de principio del camino ptico mnimo o del tiempo mnimo por ser = . El paralelismo formal entre ptica geomtrica y mecnica clsica es un tanto

= 0 le corresponde la variable de accin = (donde es Lagrangiano de la

gigantesco; Dado que la variable de la fase partcula); a la ecuacin de los rayos le corresponde las ecuaciones de Lagrange; a las ecuaciones de onda localmente plana le corresponden las ecuaciones de Hamilton-jacobi, y en definitiva, a los rayos de luz le corresponde las trayectorias de las partculas.

46

ptica geomtrica

Mecnica Clsica
=

= 0 = = =

= s = =

47

2.11. MECNICA Y PTICA GEOMTRICA. Existe una interesante analoga entre la trayectoria de una partcula sometida a una fuerza conservativa y la trayectoria de seguida por un rayo de luz en una regin del espacio en que el ndice de refraccin es una funcin de posicin que varia muy lentamente. Esto es, el ndice de refraccin no vara apreciablemente en una distancia igual a la longitud de onda de la luz en el medio. En esta circunstancia, la naturaleza ondulatoria de la luz no es manifestada por la onda luminosa, y su propagacin por el medio es exactamente descrita por la propagacin de los puntos de sus frentes de onda a lo largo de las trayectorias de los rayos normales a dichos frentes. Cuando un rayo de luz pasa de un medio con determinado ndice de refraccin a otro de diferente ndice, lo hace de acuerdo con la ley de Snell. Esta ley establece

2 Rayo de luz 1 1 2

fig.1

Que la cantidad permanece constante, siendo el ngulo que forma la trayectoria del rayo con la normal a la superficie que separa los dos medios y el ndice de refraccin del primer medio considerado (figura 1). Esta ley nos permite determinar grficamente la trayectoria de un rayo de luz a travs de un medio cualquiera. Subdividiendo si es posible, la regin por la que se propaga el rayo en cierto nmero de superficies de ndices de refraccin constante, determinado por

, , = 0 , , + ,

= 0,1,2, ,

(Figura 2a), donde 0 ( , , ) es la superficie de ndice constante que pasa por la posicin inicial del rayo y es un cambio infinitesimal del ndice;

48

0 + 2 0 + 4

0 +
2

0 +
2

(a)

(b)

0 +

0 + 3

0 + 0 +
2 2

fig. 2. Mtodo grafico para determinar trayectorias de rayos. Podemos valorar aproximadamente el ndice de cada regin por su valor medio en toda la regin (figura(2b)). Entonces, el paso del rayo por el medio, se determina aproximadamente por la trayectoria discontinua que seguira el rayo en la regin discontinua de la figura (2b). esta trayectoria se determina aplicando la ley de Snell en cada frontera de discontinuidad. Por el movimiento de una partcula en un campo de fuerzas conservativas, vemos que hay una formula anloga a la ley de Snell. Consideremos una partcula que se mueve de una regin a otra en la que la energa potencial cambia discontinuamente de 1 a 2 a medida que la partcula atraviesa la frontera entre las dos regiones (figura(3)).

fig.3 1
1

2
2

2 1 1 = 2 2

Un cambio de la energa potencial de la partcula provoca un cambio en su velocidad, producido por la variacin de la componente de la velocidad normal a la superficie en que la energa potencial cambia discontinuamente. El efecto de la discontinuidad en la funcin de energa potencial es equivalente al impulso de energa en la direccin normal a la
49

superficie de discontinuidad. Este impulso hace que se modifique la energa cintica de la partcula en la cantidad = = 1 2 , lo que origina una variacin en la componente de la velocidad normal a la superficie de discontinuidad. Pero la componente tangencial permanece invariable, de modo que

1 1 = 2 2
Donde 1 2 son los ngulos que forman los vectores velocidad de las dos regiones con la normal a la superficie (figura 3).
1 < 2 < 3 < 4 1 > 2 > 3 > 4

fig.4. Medio convergente.

fig.5. Regin convergente.

La magnitud del vector velocidad en los dos regiones se halla utilizando el principio de conservacin de la energa, que nos dar la ecuacin

1 1 =

2 2

Se debe entender claramente que, en los problemas en que el ndice de refraccin, ( , , ) y la funcin ( , , ) tienen la misma dependencia funcional de la posicin, la trayectoria de un rayo de luz cuya posicin inicial y cuya direccin de propagacin coinciden con las de una partcula de energa total ser la misma que la trayectoria de la partcula. Cualitativamente, por ejemplo, encontramos que los rayos de luz de un frente de onda que se propagan en una regin en que las superficies de ndice constante son curvas, y varan como se indica en la figura(4), se curvaran uno hacia el otro. Un medio de este tipo recibe el nombre de medio convergente.

50

Anlogamente en una regin en que las superficies de energa potencial constante varan como se muestra en la figura(5), las trayectorias prximas seguidas por partculas que salen de un punto dado con la misma velocidad, se curvarn, tambin una hacia la otra.

51

3.

PROPUESTA DE HAMILTON JACOBI.

Se encuentra una ecuacin en derivadas parciales, la cual surge de la necesidad de buscar una transformacin cannica que lleve de las coordenadas y cantidades de movimiento ( , ) en un instante , a un nuevo sistema de cantidades constantes que pueden ser las 2n constantes de movimiento o constantes inciales (0 , 0 ) en = 0.

, +

= 0, =

(3.1)

Donde se ha dicho que es el Hamiltoniano del sistema y es una funcin llamada Generatriz de Transformacin (ECUACIONES DE HAMILTON-JACOBI, PARA LA FUNCION PRINCIPAL DE HAMILTON. Ecu. (2.8.3)). Cuando se resuelve (1) se tiene:

= ( ; ; ) ,

con

= 1,2,3,4

Donde las son las constantes de integracin las cuales se les asocian con nuevas cantidades de movimiento constante = de la transformacin buscada. La solucin se la conoce como funcin principal de Hamilton. Teniendo la solucin estamos resolviendo el problema mecnico. Para sistemas en los cuales la Hamiltoniana sea una constante de movimiento y se identifica con la energa total. La funcin principal se puede presentar como:

( , , ) = ( , )
Entonces la ecuacin de Hamilton-Jacobi (1) se transforma a:

(3.2)

=E

(3.3)

Siendo la energa del sistema y la Hamiltoniana.

52

3.1.

APROXIMACIN PTICA

La funcin ( , , ) puede presentarse como un frente de onda ya que la superficie avanzara desde 0 = 0 hasta 0 + en un tiempo .

0 +

fig.1 0 = 0

fig.2

El movimiento de la superficie es anlogo al movimiento de una onda. Podemos considerar que las superficies de constante son frentes de onda que se propagan en el espacio de las configuraciones (1 , 2 , , ). Es posible calcular el valor de la velocidad de este frente de onda. Tomemos el caso sencillo de una sola partcula, donde el espacio de configuraciones es el tridimensional ordinario. Este frente se desplaza una distancia onda, en un tiempo . Entonces =

(fig. 2) perpendicular al

frente de

, es la velocidad del frente de onda en un punto definido, para un frente de onda constante: = , de otro lado, = = , donde

es perpendicular al frente de onda, y la velocidad es entonces;

= =

Es la velocidad del frente onda causado por el movimiento de la partcula. Puesto que:

53

2 2

+ ()

energa

total

del

sistema

entonces

= es perpendicular a la superficie S, y de

=
2 2

2 2

+ ( )

= ()
2( ()), Implica entonces que 2 =
2

= 2( ())

2( ()) y la velocidad de la onda es:

1 2

2 (( ))

, siendo T energa cintica, ahora como

= 2 2 = 2 2 = 2 , Tenemos que = =
2

sea que podemos expresar la velocidad de la onda en trminos de la cantidad de movimiento. Un frente de onda de una partcula tiene una velocidad y la partcula tiene un momento = perpendicular al frente de onda, sea que desde la perspectiva de Hamilton hay frentes de ondas asociadas al movimiento de la partcula y las partculas avanzan perpendicular a estos frentes, como si fueran rayos pticos.

54

Las superficies S de accin se han caracterizado como frentes de onda por que se propagan por el espacio de configuraciones de igual manera que las superficies de onda de fase constante en el espacio fsico.

3.2.

ONDAS JACOBI.

DESDE

EL

FORMALISMO

CLSICO

DE

HAMILTON-

Consideremos la funcin de accin , , = , con la que se ( , , ) determinar una fase , , = , con una constante con unidades de accin11, entonces;

, , =

( , , )

= ( , )

(3.4)

Supongamos que la onda propagada es de la forma convencional conocida en ptica(el eikonal en ptica) :

, , =

, ,

( , , )

, )

(3.5)

Esta sera la onda de propagacin de frentes de accin cuando se mueve una partcula clsica, en el sentido como se interpreta en el siglo 19 ao 1836. Ahora con un poco de matemticas averigemos cual es la ecuacin diferencial de movimiento que cumple (, , ) compatible con las ecuaciones de Hamilton-Jacobi (3.1) y (3.3).

, = ,
,

2 2

+ ()

( , , ) 1

La ecuacin es

, +

= 0 , entonces

( )2 + +

=0

(3.6)

el objetivo es calcular las derivadas de respecto al tiempo y a la posicin, con la idea de llegar a una ecuacin diferencial en derivadas parciales y en trminos de la funcin (, , ). Derivando la funcin definida en (3.5) respecto a la coordenada tenemos:

= =
11

Artculo:

R. Carrillo, H. Paz, J. Pacheco (REVISTA COLOMBIA DE FSICA, VOL., 38 N0 .04, 2006)

55

 =
Aplicando la segunda derivada y despejando el trmino (

2 )

2 2 2 2 2 2 2 2

2 2

2 2 2 2 2 2

+ +

( )2

, 2 = 1

2 2

=
2

( )2 2

2 2 2

) = ( )2
2

2 2 2

+ + J

2 2

= ( )2

2 2 2

2 2

= ( )2

(3.7)

la derivada de la funcin (3.5) respecto al tiempo es

= = J J

Despejando la derivada de S con respecto al tiempo

(3.8)

Remplazando (3.7) y (3.8) en (3.6) tendremos la ecuacin diferencial de frente de onda como sigue:
1 2

2 2 2

2 2

+ +

=0

56

2 2 2 2

J 2 2 2

+ +
J

=0

2 2 2 2

+ =

J 2 2 2

2 2 2 2 2 2 2 2

+ =

J 2 2 2 J 2 2 2

+ =

(3.9)

La ecuacin definida en (3.9) es muy parecida a la ecuacin ondulatoria de schrdinger pero no es una ecuacin cuntica, sigue siendo clsica en los conceptos, puesto que tanto como varan explcitamente con el tiempo esto es que se pueden encontrar trayectorias de partculas en todo el imaginario fsico del siglo diecinueve, ao 1834. Esta ecuacin espera 90 aos hasta 1925 y de pronto evoluciona a una ecuacin cuntica debido a dos hechos solidarios: existen experimentalmente los electrones y la difraccin de ellos que muestran un comportamiento ondulatorio de las partculas y el otro hecho es un rompimiento conceptual: las coordenadas p y q no varan explcitamente con el tiempo , esto es que no existe el concepto de trayectorias de partculas como los electrones y por tanto

= ,

= , =

En trminos matemticos lo que significa es que las coordenadas y son nteramente independientes, y que no estn en funcin de un parmetro . En consecuencia el trmino
2 2 2 J 2 J 2 J 2

=0

Se hace igual a cero en la ecuacin (3.9) y llegamos finalmente a una ecuacin de la forma;

(,,)

,,) (, , ) = (

(3.10)

57

Y con estas ideas caemos a la ecuacin (3.10) que ahora es una ecuacin cuntica, donde a la podemos asimilar con la constante de Plank , que ya era conocida en 1925. Se ha llegado a una ecuacin cuntica muy importante a partir de los principios clsicos de Hamilton y Jacobi, pero la curiosidad histrica no termina aqu. Pues desde la teora de Hamilton-Jacobi de 1834 pueden deducirse los operadores cunticos modernos, como son el operador de energa y de momento lineal. En mecnica cuntica se postula que la ecuacin de Schrdinger dependiente del tiempo que establece la variacin temporal de la funcin de estado, tiene la forma dada por la ecuacin

=
propia.

= , donde se tiene que

, es el operador de energa del sistema que toma como funcin

Esto puede intuirse del formalismo de Hamilton si tomamos una funcin parecida a la que se define en (3.5)

(, , ) = ( )

(3.11)

Despejando S en esta ecuacin se tiene que = ln

= + = + , donde = = . = (3.12)

La cual es la funcin principal de Hamilton. Para la ecuacin diferencial de Hamilton definida en (3.6)

, =

calculando la derivada de S (ecu.(3.12)) con respecto al

tiempo se tiene, 1 = ( ) =

58

y remplazando Hamilton tenemos;

este valor en la ecuacin diferencial de

(3.13)

multiplicando la ecu. (3.13) por la derecha por la funcin

, como la funcin es una magnitud diferente de cero ( 0)

Si se asimila con la forma del operador de energa .

, donde

(3.14)

Y as se afirma que desde Hamilton-Jacobi se puede representar tambin a como el operador de energa. En el caso de que sea una funcin de fase separable como por ejemplo:

= () ( )
Aplicando el operador de energa ecu.(3.14) a la funcin (3.15)

(3.15)

( ) = 2
1 = .

= ,

donde

Claramente se puede observar que es un valor propio del operador y se identifica con la energa del sistema mediante = , sea que

=
que coincide con la moderna ecuacin cuntica de estado estacionario.

(3.16)

Para la representacin del operador cantidad de movimiento lineal tomamos los momentos cannicos provenientes de la formulacin Hamiltoniana que son

(3.17)

Donde S es la funcin principal de Hamilton ecu.(3.12) con = 0. Aplicando la respectiva derivada espacial a la funcin S.

59

, remplazando este resultado en la ecuacin (3.17), el

momento queda entonces

, si multiplicamos esta ecuacin a la derecha por la funcin tenemos ,

aplicando el mismo tratado para la energa con 0, y

asimilando a con el operador de momento lineal tenemos entonces que:

, donde sale el operador buscado

Obsrvese que esta semblanza de coincide con el operador cuntico moderno de momento de la teora de operadores y mecnica cuntica que es

=
en la direccin del eje de las .

60

4. CONCLUSIN

Desde una mirada histrica se puede considerar la opcin en la cual, la ecuacin ondulatoria de Schrdinger no es un principio en si como se muestra en

algunos de los textos, si no que desde mucho antes Hamilton y Jacobi haban trazado un camino conceptual y matemtico para que sta ecuacin se diera. Hemos mostrado en esta monografa un camino terico que comienza desde la ecuacin de Hamilton-Jacobi y los conceptos envolventes, y concluye con una semblanza de la ecuacin de schrdinger. Creemos que este pudo ser el camino que siguieron los tericos para llegar a la ecuacin cuntica y no un principio para justificar los experimentos modernos del siglo veinte. Esperamos que sea de gran ayuda para los estudiantes a los cual va dirigido este trabajo. Como una sugerencia de esta conclusin, se pueden trabajar las ecuaciones dinmicas (2.9) descritas en trminos de los corchetes de Poisson para obtener las ecuaciones en trminos de los corchetes cunticos conmutadores.

61

5. REFERENTES BIBLIOGRFICOS. Antonio Fernndez Raada, DINMICA CLSICA Levine, Ira N.QUIMICA CUANTICA, 5ta Edicin. PEARSON EDUCACIN S.A. Madrid,2001 Walter Hauser, INTRODUCCION A LOS PRINCIPIOS DE MECANICA Gholdstein, MECNICA CLSICA, AGUILAR S.A., De Ediciones 1963 Jos Manuel Cabrera, Fernando J. Lpez Y Fernando A., PTICA ELECTROMAGNTICA, 2da vol. I Fundamentos

R. Carrillo, H. Paz, J Pacheco REVISTA COLOMBIANA DE FSICA, VOL. 38, No. 4, 2006

62