Apéndice A.

Coordenadas esferoidales prolatas.

Las coordenadas esferoidales prolatas (ξ, η, φ) son coordenadas de revolución donde φ
es el ángulo azimutal. Están formadas por la intersección de un elipsoide y un hiperboloide
confocales, lo cual define una circunferencia, el punto sobre la misma lo determina el
ángulo azimutal. El corte por un plano vertical, con φ constante, nos lleva al plano nodal,
de coordenadas (ρ, z). En este plano las coordenadas elipsoidales prolatas resultan de la
intersección de una elipse determindada por el parámetro ξ y una hipérbola, determinada
por el segundo parámetro, η. Sean P1 y P2 dos puntos fijos, llamados focos, colocados
en z = ±f , si r1 y r2 son las distancias de un punto dado P de coordenadas (ρ, z) a los
puntos fijos, definimos los parámetros
r1 + r2
ξ=
2f
r1 − r2
η=
2f
estos parámetros representan las coordenadas esferoidales prolatas. En términos de las
coordenadas del plano azimutal estas ecuaciones son
√ √
ρ2 + (z − f )2 + ρ2 + (z + f )2 = 2ξf
√ √
ρ2 + (z − f )2 − ρ2 + (z + f )2 = 2ηf

y desarrollando estas expresiones obtenemos

z2 ρ2
+ = f2 (A-1)
ξ2 ξ2 − 1
z2 ρ2
− = f2 (A-2)
η2 1 − η2
La primera de estas ecuaciones representa una familia de elipses confocales parametri-
zadas por ξ, claramente, con rango de variación 1 ≤ ξ < ∞. El valor ξ = 1 corresponde
al eje z, es decir al eje de simetría determinado por los focos. Por su parte la segunda
ecuación representa una familia de hipérbolas confocales, con el parámetro η en el rango
−1 ≤ η ≤ 1.
49
 De les expresiones anteriores podemos despejar ρ y z para tener
√
ρ = f (ξ 2 − 1)(1 − η 2 ) (A-3)
z = f ξη (A-4)

y con éstas obtenemos la relación con las coordenadas cartesianas:

√
x = f (ξ 2 − 1)(1 − η 2 ) cos φ
√
y = f (ξ 2 − 1)(1 − η 2 ) sin φ (A-5)
z = f ξη

con f la distancia focal.

Para formar la ecuación de Schrödinger independiente del tiempo en coordenadas
esferoidales prolatas es necesario conocer la forma del operador Laplaciano. Para esto
requerimos los factores de escala hα , definidos como sigue,
√( )2 ( )2 ( )2
∂x ∂y ∂z
hα = + +
∂qα ∂qα ∂qα

y usar la forma general del operador Laplaciano,

[ ( ) ( ) ( )]
1 ∂ h2 h3 ∂ ∂ h1 h3 ∂ ∂ h1 h2 ∂
∇ =
2
+ + .
h1 h2 h3 ∂q1 h1 ∂q1 ∂q2 h2 ∂q2 ∂q3 h3 ∂q3

En este caso, por ejemplo, se tiene q1 = ξ, q2 = η y q3 = φ. Los factores de escala que

quedan son:
[ ]1
ξ 2 − η2 2
hξ = f
ξ2 − 1
[ 2 ]1
ξ − η2 2
hη = f
1 − η2
[ ]1
hφ = f (ξ 2 − 1)(1 − η 2 ) 2

y sustituyendo en la forma general del operador Laplaciano queda,

[ ]
1 1 ∂ ( 2 ) ∂ ∂ ( ) ∂ ξ 2 − η2 ∂2
∇ = 2 2
2
ξ −1 + 1−η 2
+ (A-6)
f ξ − η 2 ∂ξ ∂ξ ∂η ∂η (ξ 2 − 1)(1 − η 2 ) ∂φ2

Ahora es posible construir la ecuación de Schrödinger que describe al problema.

50
Apéndice B.

Convergencia de las series de Legendre.

Para estudiar la convergencia de las series de Legendre en el punto ξ = 1 usamos el
criterio de Raabe descrito en el siguiente teorema:
∑
Teorema. Sea ∞ k=1 ck una serie de términos positivos. Si existe p > 0 tal que:
( )
ck
lı́m k −1 =p
k→∞ ck+1
entonces, la serie converge si p > 1 y diverge si p ≤ 1.
Las series de Legendre, ecuaciones (1.31) y (1.32), evaluadas en ξ = 1 son de la forma
∑∞
n=1 an y se construyen con los coeficientes an obtenidos de la fórmula de recurrencia
(1.29),
(ν − n)(ν + n + 1)
an+2 = − an n = 0, 1, 2, . . .
(n + 2)(n + 1)
Como los términos de las series de Legendre cambian el subíndice de dos en dos, me-
∑
diante el cambio ck = a2k las series se pueden escribir como ∞ k=1 ck , donde los coeficientes
ck satisfacen ahora la fórmula de recurrencia
(−ν + 2k)(ν + 2k + 1)
ck+1 = ck k = 0, 1, 2, . . . (B-1)
(2k + 2)(2k + 1)
de esta fórmula se sigue que la serie será de términos positivos si el primer factor del
numerador es positivo, lo cual es posible sólo si ν < 0. A su vez, el segundo factor es
positivo si el valor de ν es ν > −1, por lo tanto, el rango del parámetro ν es:

−1 < ν < 0 (B-2)

La formula de recurrencia (B-1) se puede escribir en la forma:

( )
ck 2k 2 k (ν 2 + ν + 2)
k −1 = + (B-3)
ck+1 (−ν + 2k)(ν + 2k + 1) (−ν + 2k)(ν + 2k + 1)
de aquí, tomando el límite k → ∞, obtenemos
( )
ck
lı́m k −1 =2 (B-4)
k→∞ ck+1
51
y las series de Legendre convergen en el punto ξ = 1, con la condición de que el rango del
parámetro ν sea −1 < ν < 0.
Por otro lado, de la ecuación de Legendre (1.24), escrita en la forma:

d2 Ξ 2ξ dΞ C
+ 2 − 2 Ξ = 0, (B-5)
dξ 2 (ξ − 1) dξ (ξ − 1)

tenemos que para ξ → ∞ la ecuación diferencial se reduce a

d2 Ξ∞ 2 dΞ∞
+ = 0, (B-6)
dξ 2 ξ dξ

donde Ξ∞ (ξ) es la función que representa el comportamiento asintótico de la solución de

la ecuación de Legendre. Integrando la ecuación diferencial obtenemos
A
Ξ∞ (ξ) = +B (B-7)
ξ
donde A y B son constantes de integración.
Se sigue entonces que, para ξ → ∞, la serie de Legendre de potencias impares converge
a cero, en tanto que la serie de potencias pares sólo está acotada.

52
Apéndice C.

Fracción continua de tercera generación.

En este apéndice construimos la solución a la ecuación (1.43) del primer capítulo. Para
empezar cortamos la fracción continua en la segunda generación
− β2
−C = (C-1)
− 4β 2
3(C − 2) +
5(C − 6)
la cual reducida a una fracción ordinaria es
−5β 2 C + 30β 2
−C =
15(C 2 − 8C + 12) − 4β 2
y de aquí obtenemos

5C 3 − 40C 2 + (60 − 3β 2 )C + 10β 2 = 0 (C-2)

Ahora consideramos para C un polinomio de tercer grado en β 2

C = a2 β 2 + b2 β 4 + c2 β 6 (C-3)

sustituyendo en (C-2) y considerando términos de orden cúbico en β 2 obtenemos

5a32 β 6 − 40(a22 β 4 + 2a2 b2 β 6 ) + 60(a2 β 2 + b2 β 4 + c2 β 6 ) − 3β 2 (a2 β 2 + b2 β 4 ) + 10β 2 = 0

Agrupando las potencias de β 2 queda

10(6a2 + 1)β 2 + (−40a22 + 60b2 − 3a2 )β 4 + (5a32 − 80a2 b2 + 60c2 − 3b2 )β 6 = 0

de aquí, dado que cada coeficiente debe ser cero, obtenemos

1
a2 = −
6
( )2
11 1
b2 =
30 6
( )3
133 1
c2 = −
450 6
53
y la expresión polinomial para C es
( )2 ( )3
β 2 11 β2 133 β2
C=− + − (C-4)
6 30 6 450 6
Ahora consideramos la fracción continua hasta la tercera generación
− β2
−C = (C-5)
− 4β 2
3(C − 2) +
− 9β 2
5(C − 6) +
7(C − 12)
que reducida a una fracción ordinaria es
−35β 2 (C − 6)(C − 12) + 9β 2
−C =
105(C − 2)(C − 6)(C − 12) − 27β 2 (C − 2) − 28β 2 (C − 12)
De aquí obtenemos la siguiente ecuación para C:
−2100C 3 + 11340C 2 − 15120C − 90β 2 C 2 + 1020β 2 C − 2520β 2 + 9β 4 = 0 (C-6)
donde hemos omitido un término proporcional a C 4 porque nos interesa cortar la función
C(β 2 ) en un polinomio de grado tres en β 2
C = a3 β 2 + b3 β 4 + c3 β 6
Sustituyendo este polinomio en (C-6), desarrollando los términos y limitando la expresión
a la tercera potencia de β 2 queda
− (15120a3 + 2520)β 2 + (11340a23 − 15120b3 + 1020a3 + 9)β 4
+(−2100a33 + 22680a3 b3 − 15120c3 − 90a23 + 1020b3 )β 6 = 0
Por la independencia lineal de las potencias de β 2 , cada coeficiente es igual a cero y
obtenemos tres ecuaciones para determinar los coeficientes:
1
a3 = −
6
( )2
11 1
b3 =
30 6
( )3
94 1
c3 = −
315 6
de esta manera, la aproximación polinomial de C es
( )2 ( )3
β 2 11 β 2 94 β 2
C=− + − (C-7)
6 30 6 315 6
y podemos ver que cortar la fracción continua en la tercera generación corrige el tercer
94 450
coeficiente por un factor de = 1.00966. Este resultado es una manifestación
315 133
de la convergencia rápida de los coeficientes en la expresión polinomial y justifica la
aproximación de tercer orden.

54