Sunteți pe pagina 1din 7

Una aplicación inusual del método perturbativo de

Feynman de la mecánica cuántica

J. D. Bulnes
Grupo de Mecânica Quântica, Informação Quântica e Física Aplicada, Universidade
Federal do Amapá, Rod. Juscelino Kubitschek, Km. 2, Jardim Marco Zero, CEP. 68903-
419, Macapá, AP, Brasil.

E-mail: bulnes@unifap.br

(Recibido el 25 de Julio de 2012; aceptado el 13 de Diciembre de 2012)

Resumen
En este artículo se da un ejemplo de uso del método de perturbaciones de Feynman en una situación que no
corresponde a la mecánica cuántica. Nuestro ejemplo muestra que el método de Feynman no es exclusivo de la
mecánica cuántica.

Palabras clave: Método de perturbaciones de Feynman, mecánica cuántica, ecuaciones diferenciales ordinarias.

Abstract
The use of Feynman's perturbation method in a non-quantum situation is exemplified in this paper. Our example shows
that the Feynman method is not exclusive for quantum mechanics.

Keywords: Feynman’s perturbation method, quantum mechanics, ordinaries differential equations.

PACS: 03.65.-w, 02.30.Mv, 02.30.Hq ISSN 1870-9095

I. INTRODUCCIÓN como veremos, también resulta aplicable a cierto tipo de


ecuación diferencial ordinaria (EDO).
Los métodos y las técnicas matemáticas de la teoría de En este artículo mostramos una aplicación de la técnica
perturbaciones, Ref. [1], que aquí serán considerados dentro de perturbaciones de Feynman a una EDO con coeficientes
del contexto de su aplicación a la física, son útiles para dependientes de la variable. Enfatizamos que la ecuación
construir diversas soluciones aproximadas de problemas que vamos a considerar no surge de algún problema
‘perturbados’; ellos son solamente aplicables bajo mecánico cuántico que podría ser propuesto. La aplicación
condiciones específicas: (i) la solución del problema inicial, específica del método de Feynman que presentamos en las
‘no perturbado’, debe ser completamente conocida y (ii) la próximas secciones también sirve para mostrar el método
perturbación debe ser ‘pequeña’. Que una perturbación sea en sí mismo, pero dentro de un contexto simple y más
pequeña significa que ella ha de garantizar que la estructura familiar a los estudiantes, quienes, de manera general,
matemática general subyacente al problema no perturbado desconocen los conceptos y los métodos del modelo
no sea afectada por la perturbación. Eso se ve con claridad cuántico de Feynman.
en el caso del método de perturbaciones de Rayleigh- El artículo está dividido de la siguiente manera. En la
Schrödinger, usado en la mecánica cuántica, donde los subsección A de la sección introductoria presentamos
estados perturbados son escritos como combinaciones resumidamente el método de perturbaciones de Feynman.
lineales de los estados de la base no perturbada; es decir, En la sección II definimos una ecuación diferencial
suponiendo que el estado perturbado pertenece al espacio ordinaria de tercer orden con coeficientes constantes:
de Hilbert correspondiente a la situación no perturbada (si F (3) (t )  3F ( 2) (t )  3F (1) (t )  F (t )  0 , la que es resuelta
la ‘perturbación’ no fuese pequeña podría modificar el usando los métodos generales del álgebra lineal. En la
espacio de Hilbert). Cuando esos métodos y técnicas son sección III consideramos la ecuación anterior para luego
aplicados, los resultados son válidos sólo sobre un intervalo perturbar sus coeficientes, haciéndolos dependientes de la
bien definido, que tendrá que ser identificado, pues las variable: F (3) (t )  (3   .t 2 ) F ( 2) (t )  (3   .t ) F (1) (t )  F (t )  0 ,
soluciones aproximadas pueden no tener significado (físico la que resolvemos de manera detallada usando el método de
y/o matemático) sobre intervalos mayores. Feynman. En las ecuaciones anteriores, y en las secciones
Por otro lado, es bien conocido que Feynman propuso correspondientes, el exponente (que aparece, o aparecerá,
un método de perturbaciones dentro de su formulación de entre paréntesis) indica el orden de la derivada ordinaria de
caminos integrales de la mecánica cuántica, Ref. [2, 3], que, la función; la misma notación, cuando sea aplicada sobre
matrices, indicará el orden de una solución perturbativa.
Lat. Am. J. Phys. Educ. Vol. 6, No. 4, Dec. 2012 608 http://www.lajpe.org
Una aplicación inusual del método perturbativo de Feynman de la mecánica cuántica
A. El método de perturbaciones de Feynman t
 ( 2) (t , t 0 )   ( 0) (t , t 0 )    dt '  ( 0) (t , t ' ).W (t ' ).  (1) (t ' , t 0 )
t0
Presentamos en esta subsección las principales ecuaciones
matemáticas del método de perturbaciones definido en la
t
formulación de la mecánica cuántica debida a Feynman [2,   ( 2) (t , t 0 )   ( 0) (t , t 0 )    dt '  ( 0) (t , t ' ).W (t ' ) 
3], algunos de cuyos aspectos, vistos a través de una t0
simplificación conveniente, pueden encontrarse en [4].
Comencemos definiendo algunos objetos matemáticos


t' 

que después serán útiles. Sea A una matriz numérica   ( 0) (t ' , t 0 )    dt ' '  ( 0) (t ' , t ' ' ).W (t ' ' ).  ( 0) (t ' ' , t 0 ).
conocida; W una matriz (del mismo tamaño que A), también 
 t0 

conocida, cuyos elementos son dependientes de una
variable t;  una matriz (del mismo tamaño que W) t

dependiente de dos variables, como t y t’;  un parámetro   ( 2) (t , t 0 )   ( 0) (t , t 0 )    dt '  ( 0) (t , t ' ).W (t ' ).  ( 0) (t ' , t 0 ) 
numérico (que junto con W, bajo la forma  .W , definen el
t0

término perturbativo) y  el símbolo que será usado para t t'


indicar la operación de derivación usual sobre matrices o  2  dt ' dt ' '  ( 0) (t , t ' )W (t ' ).  ( 0) (t ' , t ' ' ).W (t ' ' ).  ( 0) (t ' ' , t 0 ) , (6)
vectores columna. Para continuar, vamos a considerar una t0 t0

ecuación diferencial expresada en forma matricial,


sobre el mismo vector, y así sucesivamente para los demás
 
u (t )  Bu (t ) , (1) ordenes del desarrollo perturbativo. Entonces, la ecuación
matricial perturbada,
donde B  A   .W , u (t ) es un vector y u (t 0 ) el vector  
u  ( A   .W )u , (7)
definido por las condiciones iniciales. Una solución
aproximada de la Ec. (1) puede expresarse en términos de
una matriz de propagación temporal, (t , t 0 ) , la cual se tiene como solución aproximada, a   ésima orden de la
teoría de perturbaciones, la siguiente expresión,
encontrará al resolver la siguiente ecuación,
 
u (t )   ( ) (t , t 0 ).u (t 0 ) , (8)
  B    (t  t 0 ) I , (2)
donde la convergencia de la expansión se manifiesta, para
siendo I la matriz identidad (del mismo tamaño que las cierto orden mínimo,  , a través de la siguiente relación,
otras matrices) y  la delta de Dirac; entonces, la solución
de la Ec. (1) puede escribirse de la siguiente forma,
 ( 1) (t , t 0 )   ( ) (t , t 0 )  0 si    , (9)
 
u (t )  (t , t 0 ).u (t 0 ) , (3)
y para un determinado intervalo de la variable t, con t > t0.
la cual es (por ahora) sólo una solución formal, pues la
matriz  aún no está definida. Notar que si  es tomado
con valor cero para todo t > t0, la solución de la Ec. (2) es la II. EL CASO NO PERTURBADO
siguiente,
Para mostrar que el método de perturbaciones de Feynman
es también aplicable a problemas matemáticos que no
 ( 0) (t , t 0 )  exp{(t  t 0 ) A} , t  t0 , (4) necesariamente surgen dentro de problemas mecánico
cuánticos vamos a considerar dos situaciones: la primera,
la cual, dentro del contexto del método de perturbaciones, que será definida en esta sección, y que corresponde a una
da lugar a la aproximación de orden ‘cero’, que resulta de situación no perturbada, es la de una EDO lineal con
aplicar esa matriz sobre el vector u (t 0 ) ; éste es el caso no coeficientes constantes, que permitirá, en la próxima
perturbado. Las aproximaciones superiores corresponden al sección, al extenderla al caso perturbado, aplicar el método
problema perturbado; así, la aproximación de ‘primer perturbativo de Feynman para encontrar una solución
orden’ se obtiene por la aplicación de la matriz, aproximada de la misma.
Consideremos la EDO de tercer orden,
t
 (1) (t , t 0 )   ( 0) (t , t 0 )    dt '  ( 0) (t , t ' ).W (t ' ).  ( 0) (t ' , t 0 ) , (5) F (3) (t )  3F ( 2) (t )  3F (1) (t )  F (t )  0 , (10)
t0

sobre el vector u (t 0 ) ; la aproximación de ‘segundo orden’ junto con las condiciones iniciales: F(0)=c1, F(1)(0)=c2 y
se obtiene por la aplicación de la matriz, F(2)(0)=c3. El objetivo de esta sección es resolver la Ec.
(10) usando las técnicas generales del álgebra lineal; ello

Lat. Am. J. Phys. Educ. Vol. 6, No. 4, Dec. 2012 609 http://www.lajpe.org
J. D. Bulnes
resulta conveniente para pode apreciar mejor los cálculos Usando (15) podemos escribir: exp{tJ }  D 1 exp{tA}D ,
que serán presentados en la próxima sección, donde se pero también podemos escribir: exp{tA}  D exp{tJ }D 1 , la
usará, de conformidad con la sección I, un tratamiento
cual, escrita de manera explícita, tiene el aspecto,
matricial. Entonces debemos rescribir la Ec. (10)

matricialmente; para ello se define un vector u a través de
2  2t  t 2 2t  2t 2 t2 
sus componentes, de la siguiente manera: u1=F(t), 1 t . (16)
u2=F(1)(t), u3=F(2)(t). Ahora podemos escribir la Ec. (10), exp{tA}  e  t2 2  2t  2t 2 2t  t 
2

2
junto con las condiciones iniciales, en la siguiente forma,  2t  t 2  6t  6t 2 2  4t  t 2 

u1  0 1 0 u1  u10  c1  Entonces, usando (16) y (12), puede verificarse que,
 u 2   0 0 1.u 2  ; u   c  , (11)
 20   2 
u 3  1  3 3 u 3  u 30  c3 
u1  F (t ) 
1 t
2

e c1 (2  2t  t 2 )  2c 2 (t  t 2 )  c3 t 2 ,  (17)

   
o, de manera compacta, u  Au y u (0)  c . La Ec. (11) y que u 2  u1 , u 3  u 2 , lo cual es consistente con la
tiene por solución, 
definición del vector u . La Ec. (17) representa una solución
  aproximada de la Ec. (10).
u  exp{tA}.u (0) , (12)

donde hemos elegido, por simplicidad, t0=0. En (12) vemos III. EL CASO PERTURBADO
que tenemos que determinar la matriz exponencial exp{tA}
para encontrar la solución. Para ello, convine calcular Ahora consideremos la ecuación diferencial perturbada. A
primero los valores propios y los vectores propios de la partir de la Ec. (10), por la incorporación de algunos
matriz A. Se encuentra que   1 es el valor propio (de términos dependientes de un parámetro pequeño  dentro de

multiplicidad 3) de A y que x1  [1 1 1]T es su único vector los coeficientes de la misma, conseguimos la ecuación,
propio independiente; por lo tanto, la matriz A no puede ser
diagonalizada por una matriz invertible. Sin embargo, entre F (3) (t )  (3   .t 2 ) F ( 2) (t )  (3   .t ) F (1) (t )  F (t )  0 . (18)
los métodos del álgebra lineal es conocido un teorema que
nos permitirá construir una matriz canónica de Jordan que Notar que para   0 recuperamos la situación inicial no
sea semejante con la matriz A: asociado con el valor propio perturbada. Junto con la Ec. (18) consideramos las
  1 se pueden construir tres vectores linealmente condiciones iniciales del caso no perturbado.
independientes ζ1, ζ2, ζ3, con los cuales se construirá una La Ec. (18) la escribimos en forma matricial,
matriz invertible y, a partir de ella, la forma canónica de
Jordan. Con eso, la matriz exp{tA} puede ser calculada u1  0 1 0  u1 
 u 2   0  1 .u 2 
aprovechando dicha semejanza de matrices. Para construir . (19)
0
los vectores ζ1, ζ2, ζ3, se tiene que resolver las ecuaciones
u 3  1  3   .t 3   .t  u 3 
2
matriciales: Aζ1=λζ1, Aζ2=λζ2+ ζ1, Aζ3=λζ3+ ζ2. Luego de
resolverlas, con   1 y  1  x1 , se encuentran (entre otras
La matriz que aparece en (19), denominada B, se puede
posibles soluciones) los vectores,
rescribir de la siguiente manera,

 2  0 1 2 T ;  2  0 0 1 T , (13) 0 1 0  0 1 0 0 0 0 

B  0 0  1   0 0 1   0 0 0 
  

y puede verificarse que ζ1, ζ2, ζ3 son vectores linealmente 1  3   .t 3   .t 2  1  3 3 0  t t 2 
independientes. Usando ellos definimos una matriz (20)
invertible D,
o de manera compacta,
1 0 0
D  1 1 0.
(14)
B  A   .W . (21)
1 2 1
Entonces tenemos que resolver la ecuación,
Luego, construimos la forma canónica de Jordan,  
u  ( A   .W )u , (22)
1 1 0
J  D 1 AD  0 1 1
. (15)
la que, de acuerdo con lo visto en la subsección A de la
0 0 1 sección introductoria, tiene por solución, en   ésima
aproximación, al vector,
Lat. Am. J. Phys. Educ. Vol. 6, No. 4, Dec. 2012 610 http://www.lajpe.org
Una aplicación inusual del método perturbativo de Feynman de la mecánica cuántica

 
 ( 0) (t , t ' ).W (t ' ).  ( 0) (t ' , t 0 )  bi , j . (30)  
u (t )   ( ) (t , t 0 ).u (0) . (23)
A continuación escribimos explícitamente cada uno de sus
Vamos a construir una solución aproximada que sea de elementos de matriz,
primera orden de la teoría de perturbaciones,

t b11 
1 t 3 2
4

e t´ t  2t´4 t  t´5 t´4 t 2  2t´5 t  t´6 ,  (31)
 (t , t 0 )   (t , t 0 )    dt '  (t , t ' ).W (t ' ).  (t ' , t 0 ) .(24)
(1) ( 0) (0) (0)

t0

b12 
1 t
4

e  2t 2 (t´t´2 2t´3 t´4 )  4t (t´2 t´3 2t´4 t´5 )  
Para ello necesitamos calcular cada una de las matrices que
aparecen en el lado derecho de la Ec. (24). Eligiendo, por 1
 e t t´3 t´4 2t´5 t´6 ,
2
 (32) 
simplicidad, t0=0, tenemos,

 (0) (t , t 0 )   (0) (t )  exp{tA} , (25)


b13 
1 t 2
4

e t (3t´3 t´4 )  2t (3t´4 t´5 )  3t´5 t´6 ,  (33)

donde la matriz exp{tA} está dada por la Ec. (16). Para


simplificar la escritura vamos a escribir t  t '  g , entonces b21 
1 t
4

e (2t  t 2 )(t´3 t´4 )  2t (t´4 t´5 )  2t´4 t´5 t´6 , (34) 
tenemos,

(0) (t , t ')  exp{(t  t ') A}  exp{gA} 


1
exp{g},
b22 
1 t
4

e (2t´2t´2 4t´3 2t´4 )(2t  t 2 )  4tt´2 4tt´3  
2
1

 e t 8tt´4 4tt´5 4t´2 6t´3 10t´4 2t´6 ,
4
(35) 
2  2 g  g 2 2 g (1  g ) g2 
 . (26)
 g2 2(1  g  g ) 2
g (2  g ) 
 g (2  g )  2 g (3  g ) 2  4 g  g 2 
b23 
1 t

e (3t´3 t´4 )(2t  t 2 )  2t (3t´4 t´5 )  6t´4 t´5 t´6 , (36) 
 4

Además, de (20), escribimos, b31 


1 t
4

e (2  4t  t 2 )(t´3 t´4 )  2t (t´4 t´5 )  4t´4 3t´5 t´6 , 
0 0 0 (37)

W (t ' )  0 0 0 
. (27)
0  t ' t ' 
2
b32 
1 t
4

e (2  4t  t 2 )(2t´2t´2 4t´3 2t´4 )  2t (2t´2 2t´3 )  
 e t 8tt´4 4tt´5 (2t´2t´2 4t´3 2t´4 )(4t´t´2 ) , (38)
1
También tenemos,
4
1
(0) (t ', t0 )  (0) (t ') 
2
exp{t '},
b33 
1 t
4

e (2  4t  t 2 )(3t´3 t´4 )  2t (3t´4 t´5 )  12t´4 t´5 t´6 , 
(39)
2  2t '(t ' ) 2 2t ' (1  t ' ) (t ' ) 2 
 , (28)
 (t ' ) 2 2(1  t '(t ' ) ) (t ' )(2  t ' ) 
2
Ahora determinaremos, separadamente, cada uno de los
 (t ' )(2  t ' )  2t ' (3  t ' ) 2  4t '(t ' ) 2  elementos de la matriz que resultan de integrar la matriz

producto en (30),
así, podemos escribir, t

 dt '  (t , t ' ).W (t ' ).  ( 0) (t ' , t 0 ) . (40)


(0)

W (t ' ). (t ' , t 0 ) 


( 0) 0

  Encontramos,
 0 0 0 
1   , (29)
exp{t '}   0 0 0 
1 t  t6 t7 ,
t
 t ' 3    2t '2t ' 2   3t ' 3     dt ' b
2  e    (41)
 4   4   4 . 4  60 105 
11

  t '   4t ' 2t '   t '   33


3 0

1 t  t4 t5 t6 t7  ,
t
entonces podemos determinar la matriz producto,
 dt ' b
0
12  e     
4  6 15 15 105 
 (42)

Lat. Am. J. Phys. Educ. Vol. 6, No. 4, Dec. 2012 611 http://www.lajpe.org
J. D. Bulnes
t
1 t  t6 t7  , 1 t 3  11 6  7  , (58)
 dt ' b13  e    (43) p33  e  2  4t  t 2  t 4  t 5  t  t 
0
4  20 105  2  4 2 120 210 

De acuerdo con el método presentado en la sección I, una


1 t  t5 t6 t7 ,
t

 dt ' b21  e    
4  10 12 105 
(44) solución aproximada de la Ec. (18) está definida por la

0 primera componente del vector u (t ) . Por otro lado, el
vector  (1) (t , t 0 ).u(t 0 ) debe tener su segunda y tercera filas
1 t  2t 3 t 4 t 5 t 6 2t 7  ,
t

 dt ' b 22  e 
4  3
   
6 3 5 105 
 (45) coincidentes con la derivada de la primera y la segunda
0 filas, respectivamente, guardando así consistencia con la

definición del vector u (t ) , dado en la sección II. Usando
1 t  3t 5 7t 6 t7  ,
t

 dt ' b23  e     (46) los resultados que hemos obtenido hasta aquí verificamos
0
4  10 60 105  que tales relaciones entre las componentes de u (t ) son

satisfechas. Denominando y1 (t ) a la primera fila del vector


t
1 t  t 4 3t 5 3t 6 t7 ,  
u (t ) =  (1) (t ,0).u (0) , donde t0=0, encontramos la solución,
 dt ' b
0
31  e  
4 2 5
 
20 105 
 (47)

1 t  6  7
y1 (t )  e  2  2t  t 2  t  t c1 
1 t 3t 4 23t 5 t 6 2t 7  2  210 
t
120
0 dt ' b32  4 e   2t  2  15  3  105  , (48)
2

1      7
 e t  2t  2t 2  t 4  t 5  t 6  t c 2 
t
1 t  3t4
11t t ,
6 7 2  12 30 30 105 
 dt ' b 33  e 
4  2
 t5   
60 105 
(49)
  7 ,
0
1  (59)
 et t 2  t 6  t c3
Luego, usando (24), (26) y los resultados de (41) a (49), 2  40 210 
calculamos los elementos de matriz de  (1) (t , t 0 ) , aquí
que, como ya se indicó, es sólo aproximada, pues se
representados por p i , j ; éstos son,
encuentra el siguiente resultado,

1 t t6 t7 , (50) y (3) (t )  (3   .t 2 ) y ( 2) (t )  (3   .t ) y (1) (t )  y(t ) 


p11  e  2  2t  t 2    
2  120 210 
 2c t 4 c t 5 7c c 3c 31c 2c 53c3 7 
  2  2  2  ( 2  1  3 )t 6  ( 1  2  )t 
1 t t4 t5 t6 t7 , (51)  3 12 12 5 5 210 3 120 
p12  e  2t (1  t )      
2  12 30 30 105 
 59c1 11c 2 73c 3 8 c c c 
  2  (   )t  ( 1  2  3 )t 9  , (60)
1 t 2 t 6
t , 7
(52)  840 70 840 210 105 210 
p13  e t    
2  40 210 
Vemos que la menor potencia de la variable t es 4; así, por
ejemplo, para t  1 / 2 se tiene que t 4  1 / 16 y las otras
1 t 2 t t 5
t ,6 7
(53)
p 21  e  t      potencias de t están limitadas por valores aún menores que
2  20 24 210  1 / 16 . Además, como el parámetro perturbativo  es
bastante pequeño, la expresión (59) representará una
1 t t3 t4 t5 t6 t7  , solución aproximada aceptable para la Ec. (18) cuando la
p 22  e  2(1  t  t 2 )        
2  3 12 6 10 105  variable se considere dentro del intervalo 0  t  1 / 2 ,
entonces tenemos,
(54)
y (3) (t )  (3   .t 2 ) y ( 2) (t )  (3   .t ) y (1) (t )  y(t )  0 . (61)
1  3 7 6  7,
p 23  e t  t (2  t )  t 5  t  t  (55)
2  20 120 210 
IV. CONCLUSIONES
1 t  3 3  7 ,
p31  e  t (2  t )  t 4  t 5  t 6  t  (56)
2  4 10 40 210  Hemos presentado una aplicación (no típica) del método de
perturbaciones de Feynman a un problema matemático que
1 t 3 23 5  6  7  , no surge de un problema cuántico: el de una ecuación
p 32  e   6t  (2   )t 2  t 4  t  t  t 
2  4 30 6 105  diferencial ordinaria de tercer orden con coeficientes
(57) perturbados. Por otro lado, el ejemplo mostrado simplifica
la presentación y esencia de la técnica de perturbaciones de
Lat. Am. J. Phys. Educ. Vol. 6, No. 4, Dec. 2012 612 http://www.lajpe.org
Una aplicación inusual del método perturbativo de Feynman de la mecánica cuántica
Feynman, la cual, de manera general, no es incluida en los REFERENCIAS
cursos ordinarios de mecánica cuántica. Curiosamente,
como puede verificarse, los libros que presentan las [1] Nayfeh, A., Perturbation Methods, (Wiley, New York,
técnicas de solución de ecuaciones diferenciales ordinarias 1973).
no incluyen el método de Feynman. Los resultados [2] Feynman, R. P., Hibbs, A. R., Quantum Mechanics and
mostrados pueden interpretarse de la siguiente manera: la Path Integrals, (McGraw Hill, New York, 1965).
técnica de perturbaciones de Feynman no es exclusiva de la [3] Schulman, L. S., Techniques and Applications of Path
mecánica cuántica. Integration, (Wiley-Interscience Publication, New York,
1981).
[4] Bulnes, J. D., Propagadores cuánticos calculados de
acuerdo con el postulado de Feynman con caminos
aproximados por polinomios, Rev. Mex. Fis. E, 55, 34-43
(2009).

Lat. Am. J. Phys. Educ. Vol. 6, No. 4, Dec. 2012 613 http://www.lajpe.org
Copyright of Latin-American Journal of Physics Education is the property of Latin-American
Physics Education Network and its content may not be copied or emailed to multiple sites or
posted to a listserv without the copyright holder's express written permission. However, users
may print, download, or email articles for individual use.