Capítulo 4

4 Operadores de diferencias y condiciones de contorno
91
CAPTULO 4
Operadores de diferencias y
condiciones de contorno
A. DEFINICIN DE CONDICIN DE CONTORNO PARA LOS
OPERADORES DE ACOPLAMIENTO
En los problemas del captulo 3 aparecieron sistemticamente operadores
hermticos de acoplamiento como stos:
|
|
.
|
\
|
2 1
1 2
;
|
|
|
.
|
\
|
2 1 0
1 2 1
0 1 2
;
|
|
|
|
|
.
|
\
|
2 1 0 1
1 2 1 0
0 1 2 1
1 0 1 2
; etc
y todos son de la siguiente forma general para espacios de N dimensiones:
L =
|
|
|
|
|
|
|
|
|
|
|
.
|
\
|

NN 1 N
N 1 11
1 0 0 0 0 0
1 2 1 0 0 0 0 0
0 0 0 1 2 1 0 0
0 0 0 0 1 2 1 0
0 0 0 0 0 1 2 1
0 0 0 0 0 1
l l
l l
(4.1)
Las filas del operador de la ecuacin (4.1), sugieren que el mismo tiene este
desarrollo en notacin de Dirac:
L = |n><n 1| + |n>(2)<n| + |n><n + 1| (4.2)
92
Sin embargo, para la primera fila, con n = 1, el primer trmino del desarrollo
(4.2) incluye al bra <11| <u| (para no confundirlo con el bra nulo <0|, <u|
significa el bra que precedera a <1|, y no es necesariamente un bra nulo). Por
otro lado, para la ltima fila, con n = N, el ltimo trmino del desarrollo contiene al
bra <N+1| (el que seguira a <N|). En este espacio de N dimensiones, ni la base
primitiva de kets, ni la base primitiva de bras contienen los vectores |u>, |N+1>, o
<u|, <N+1| respectivamente, stos seran vectores auxiliares que habra que definir,
la definicin de estos vectores auxiliares es lo que llamaremos condiciones de
contorno (abreviado: CC), y las mismas permitirn determinar los valores de las
componentes esquinas del operador l
11
, l
1N
, l
N1
y l
NN
, sin las cuales el operador
obviamente no estara bien definido. El resto de las filas (filas 2 a N1) quedan
bien definidas en la ecuacin (4.2) con las bases primitivas completas de kets y
bras.
Por ejemplo, compruebe Ud. (ejercicio 4.1) que si las CC son:
<u, = <N| ; <N+1| = <1| (4.3)
entonces, segn la ecuacin (4.2) se tendra:
l
11
= l
NN
= 2 ; l
1N
= l
N1
= 1 (4.4)
en cambio, con estas otras CC:
<u, = <1| ; <N+1| = <N| (4.5)
se tendra: l
11
= l
NN
= 1 ; l
1N
= l
N1
= 0 (4.6)
y con estas otras: <u, = <N+1| = <0| (4.7)
se tendra: l
11
= l
NN
= 2 ; l
1N
= l
N1
= 0 (4.8)
etc
Entonces, aunque en cada caso la misma ecuacin (4.2) entra en la definicin
del operador, sta no es suficiente para este fin, pues las esquinas del operador
dependern de las CC.
Vamos a darle significado a los operadores definidos por la ecuacin (4.2)
con sus CC, pero antes, vamos a estudiar otros operadores.
93
B. OPERADORES ESCALERA Y DE DIFERENCIAS
1. Operadores escalera: Son los que tienen la siguiente forma:
Escalera subiendo: E
+
=
|
|
|
|
|
|
|
|
|
.
|
\
|

NN 1 N
0 0 0
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
l l
(4.9)
Escalera bajando: E
=
|
|
|
|
|
|
|
|
|
.
|
\
|

0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
0 0 0
N 1 11
l l
(4.10)
Desarrollados en notacin de Dirac:
E
+
= |n><n+1| con su CC <N+1| (4.11)
E
= |n><n1| con su CC <u| (4.12)

Como sus nombres indican, E
+
sube un puesto a cada componente del
vector, y su CC definir cmo queda la ltima componente del vector
transformado. E
baja un puesto a cada componente del vector, y su CC definir

cmo queda la primera componente del vector transformado.
94
2. Operadores primera diferencia. Son los siguientes:
Primera diferencia por arriba:
D
+
= E
+
I con la CC para E
+
(4.13)
Primera diferencia por abajo:
D
= I E
con la CC para E
(4.14)
La accin de D
+
sobre un vector |u> es restar la componente u
n
de la que le
sigue: u
n+1
u
n
; la accin de D
sobre |u> es restarle a cada componente u

n
la que
la antecede: u
n
u
n1
3. Operadores segunda diferencia. Son los siguientes:
D
2
= D
+
D
= E
+
2I + E
con las CC para E

+
y para E
(4.15)
Tienen la forma matricial expuesta en la ecuacin (4.1). Cuando se aplican a
un vector |u>, su accin en cada componente es tomar la diferencia entre las dos
diferencias por arriba y por abajo: (u
n+1
u
n
) (u
n
u
n1
) = u
n+1
2u
n
+ u
n1
, de all
su nombre segunda diferencia.
Hemos rotulado al operador segunda diferencia con un 2 como suprandice
en la letra D , pero ese 2 encima de la D no es ms que un rtulo sugerente, y por
ahora no significa D al cuadrado, aunque s se puede definir otra forma de
operador segunda diferencia D
2
basada en otra forma de operador primera
diferencia (primera diferencia central) D donde el suprandice 2 s significa en
propiedad la potencia 2 (ejercicio 4.3).
EJERCICIOS
4.1 Con las CC (4.3), (4.5), y (4.7), demuestre que las esquinas del operador (4.1) son
respectivamente las de ecuaciones (4.4), (4.6) y (4.8).
95
4.2 Considere el vector |u> =
|
|
|
|
|
.
|
\
|
4
3
2
1
en un espacio de cuatro dimensiones.
a) Evale los vectores E
+
|u> y D
+
|u> con cada una de las CC: a1) |5> = |0>; a2) |5> = |4>;
a3) |5> = |1>.
b) Evale los vectores E
|u> y D
|u> con las CC:

b1) |u> = |0>; b2) |u> = |1>; b3) |u> = |4>
c) Evale los vectores D
2
|u> con cada par de CC:
c1) |u> = |0> y |5> = |0>; c2) |u> = |1> y |5> = |4>; c3) |u> = |4> y |5> = |1>;
c4) |u> = |0> y |5> = |4>.
4.3 Considere los operadores: E
+
= |n><n+1| con la CC |N+1> = |0>, y E
= |n><n1| con la
CC |u> = |0>.
a) Demuestre que con esas CC, estos operadores se pueden escribir explcitamente as:
E
+
=

=
1 N
1 n
|n><n+1| ; E
=

=
N
2 n
|n><n1|
b) Use la ortonormalidad de la base primitiva para demostrar que:
E
+
2
=

=
+ ><
2 N
1 n
| 2 n n |
E
2
=

=
><
N
3 n
| 2 n n |
c) Demuestre que E
+
+
= E
, y que E
+
= E
+
.
d) Demuestre que:
d1) E
+
E
=
><
1 N
1 n
| n n | = I |N><N|; d2) E
E
+
=

=
><
N
2 n
| n n | = I |1><1|
e) Demuestre que D
+
+
= D
, y que D
+
= D
+
f) Demuestre que D
2
= D
+
D
es hermtico.
g) Sea el operador primera diferencia central D= (E
+
E
), demuestre que Des

antihermtico.
h) Sea el operador segunda diferencia D
2
( DD, con Del mismo de parte (g)),
demuestre que D
2
es hermtico.
4.4 Considere los operadores E
+
= |n><n+1| con la CC |N+1> = |1>, y E
= |n><n1| con la
CC |u> = |N>.
a) Demuestre que con esas CC estos operadores se pueden escribir explcitamente as:
96
E
+
=

=
1 N
1 n
|n><n+1| + |N><1| ; E
= |1><N| +

=
N
2 n
|n><n1|
b) Demuestre que E
+
+
= E
, y que E
+
= E
+
.
c) Demuestre que D
+
+
= D
, y que D
+
= D
+
d) Demuestre que D
2
= D
+
D
es hermtico.
4.5 Considere los operadores E
+
= |n><n+1| con la CC |N+1> = |N>, y E
= |n><n1| con la
CC |u> = |1>.
a) Demuestre que con esas CC estos operadores se pueden escribir explcitamente as:
E
+
=

=
1 N
1 n
|n><n+1| + |N><N| ; E
= |1><1| +

=
N
2 n
|n><n1|
b) Demuestre que E
+
+
= E
, E
+
= E
+
, D
+
+
= D
, D
+
= D
+
c) Demuestre que D
2
= D
+
D
es hermtico.
C. OPERADORES SOBRE COMPONENTES
Ya sabemos que a todo operador matricial L sobre vectores |u> se asocia un
comando o instruccin tal que cada componente u
n
del vector se va a modificar
segn la demanda de la instruccin. Vamos ahora a enfocar la atencin no tanto en
el operador matricial L, sino en esa instruccin especfica sobre la componente
genrica u
n
, a esa instruccin sobre componentes le damos el rango de operador
sobre componentes, y la referiremos en general como L(n). Entonces, a todo L
matricial, se asocia la instruccin L(n) tal que si
|v> = L |u> (4.16)
entonces v
n
= L(n) u
n
o sea: <n|v> = L(n) <n|u> (4.17)
Usando la ecuacin (4.16) en la ecuacin (4.17), obtenemos la identidad que
relaciona L con L(n):
<n|L|u> L(n) <n|u> (4.18)
97
La identidad (4.18) permite definir a los operadores sobre componentes
inversos y a los operadores sobre componentes adjuntos: <n|L
1
|u> L
1
(n) <n|u>,
<n|L
+
|u> = L
+
(n) <n|u>.
Por ejemplo, las siguientes instrucciones sobre componentes estaran
asociadas a los operadores E
+
, E
, D
+
, D
, D
2
y I:
E
+
(n) u
n
= u
n+1
(4.19)
E
(n) u
n
= u
n1
(4.20)
D
+
(n) u
n
= u
n+1
u
n
(4.21)
D
(n) u
n
= u
n
u
n1
(4.22)
D
2
(n) u
n
= u
n+1
2u
n
+ u
n1
(4.23)
I(n) u
n
= u
n
(4.24)
Vamos a usar sistemticamente los operadores de diferencias, por lo tanto,
las instrucciones asociadas a los mismos se identificarn con los siguientes rtulos
especiales:
D
+
(n) o
+
; D
(n) o

; D
2
(n) o
2
(4.25)
o
+
u
n
= u
n+1
u
n
(4.26)
o

u
n
= u
n
u
n1
(4.27)
o
2
u
n
= u
n+1
2u
n
+ u
n1
(4.28)
Dominios:
Se entiende como dominio de la variable discreta n que ordena la base
primitiva al conjunto de valores permitidos para n segn las dimensiones del
espacio vectorial. El dominio puede ser abierto o cerrado. El dominio es cerrado
(finito) cuando la serie de valores permitidos para ntiene lmites mnimo y mximo
finitos ambos, por ejemplo, los dominios n = 1, 2, 3, , N; n = N, N+1, N+2,
98
, 3, 2, 1, 0, 1, 2, 3, , N2, N1, N son finitos ambos, el primero para un
espacio de N dimensiones y el segundo para 2N+1 dimensiones. El dominio es
abierto si el valor mnimo de n es , o el valor mximo de n es , o ambas cotas
son y respectivamente. Si ambas cotas son infinitas, se dice que el dominio
es infinito; y si una es infinita, siendo la otra finita, el dominio es semi-infinito.
De la misma manera, habr otro dominio para la variable discreta o que
ordena la base de autovectores, que tambin podr ser a su vez abierto o cerrado,
etc., segn los mismos criterios expuestos para los dominios de n.
EJERCICIOS
4.6 Demuestre las siguientes identidades:
a) o
+
(u
n
v
n
) = u
n+1
o
+
v
n
+ v
n
o
+
u
n
b) o
(u
n
v
n
) = u
n
o
v
n
+ v
n1
o
u
n
c)
n 1 n
n 1 n n 1 n
n
n
v v
v u u v
v
u
+
+ + + +
+
o o
=
|
|
.
|
\
|
o d)
1 n n
n n n n
n
n
v v
v u u v
v
u
o o
=
|
|
.
|
\
|
o
4.7 a) Sea A
a
la matriz diagonal de elementos a
n
, y |v> un vector de elementos v
n
, 1s n s N.
Demuestre que a
n
v
n
= <n|A
a
|v>.
b) Considere el siguiente operador sobre componentes: L(n) = a
n
o
2
+ b
n
o
+
+ c
n
.
b1) Demuestre formalmente que el operador-matriz L asociado a L(n) es:
L = A
a
D
2
+ A
b
D
+
+ A
c
, donde A
a
, A
b
y A
c
son matrices diagonales de elementos
a
n
, b
n
y c
n
respectivamente.
b2) Demuestre que L
+
(n)u
n
= o
2
(a
n
* u
n
) o
(b
n
* u
n
) + c
n
* u
n
.
b3) Demuestre que si las matrices diagonales son reales, la condicin mnima para que
L(n) sea hermtico es que b
n
= o
+
a
n
.
D. CONDICIONES DE CONTORNO EN DOMINIOS FINITOS,
n = 1, 2, 3, , N
Si |u> es el vector al cual aplicaremos operadores escalera o de diferencias, definir
las CC <u| o <N+1| equivale a definir las componentes auxiliares (no
pertenecientes a |u>):
<u|u> = u
0
o <N+1|u> = u
n+1
(4.29)
En principio, no hay mayores restricciones en la definicin de las
componentes auxiliares, pero en sistemas como los que hemos venido tratando,
99
donde cada componente u
n
del vector se acopla con sus vecinas inmediatas u
n+1
y/o
u
n1
, y admitiendo algunos sistemas cclicos (como el de la figura 3.6 del ejemplo 5
del captulo 3), donde la ltima componente se puede acoplar con la primera,
podemos esperar para las componentes auxiliares u
0
y u
N+1
acoplamientos similares
con las vecinas u
1
y u
N
, o sea, en estos sistemas las CC tendrn las siguientes
formas generales:
u
0
= au
1
+ bu
N
+ o (4.30)
u
N+1
= cu
1
+ du
N
+ | (4.31)
Condiciones de contorno homogneas y no homogneas.
Lo remitimos a la figura 3.4 del ejemplo 3 del captulo 3, all el vector de
estado est constituido por el par de voltajes: |v> =
|
|
.
|
\
|
2
1
v
v
. El voltaje v
0
que
correspondera al punto cero del circuito, es el voltaje V(t) del borne superior de
la fuente externa, o sea, en ese problema tenemos la siguiente CC:
<u|v> = v
0
= V(t) (4.32)
Puesto que V(t) no es coeficiente de ninguna de las componentes del vector
de estado, aparece en una columna aparte en la ecuacin diferencial matricial
(3.58), y es la presencia de esta columna independiente en la ecuacin diferencial lo
que le da el carcter de no homognea a esa ecuacin; decimos entonces que la CC
v
0
= V(t) es una CC no homognea.
En general, una CC es no homognea si el coeficiente independiente de las
coordenadas (o o | en las ecuaciones 4.30 y 4.31) es distinto de cero. Ntese que
estos coeficientes independientes nunca participarn como elementos del operador-
matriz de acoplamiento, pues no son coeficientes de ninguna componente del
vector al cual se aplique ese operador.
Una CC ser homognea si no tiene coeficientes independientes de las
componentes del vector, o sea, si o = 0 o | = 0.
Ya sabemos que las CC de las formas (4.30) y (4.31) definen las esquinas del
operador-matriz, pero an cuando esas CC sean no homogneas, en la definicin de
ese operador-matriz slo se tomar en cuenta la versin homognea de las CC, pues
la parte no homognea de las CC aparecer en una columna independiente. Las
100
versiones homogneas de las CC generales (4.30) y (4.31) son (usando notacin de
Dirac):
<u|u> = a<1|u> + b<N|u> (4.33)
<N+1|u> = c<1|u> + d<N|u> (4.34)
por lo tanto, los bras auxiliares a usar en la evaluacin de las esquinas del operador-
matriz son:
<u| = a<1| + b<N| (4.35)
<N+1| = c<1| + d<N| (4.36)
Por ejemplo, si se trata del operador escalera bajando E
= |n><n1| con la
CC (4.35), el elemento esquina e
11
se evaluara as:
e
11
<1|E
|1>
= <1|n><n1|1>
= <1|1><u|1>
= (a<1| + b<N|)|1>
= a
Algunos tipos especiales de condiciones de contorno en dominios finitos o
semiinfinitos.
De todos los posibles tipos de CC de las formas (4.30) y (4.31), vamos a
enfocar la atencin en estas tres particulares:
a) CC de Dirichlet: u
0
= o ; u
N+1
= | (4.37)
b) CC de Neumann: u
0
= u
1
+ o ; u
N+1
= u
N
+ |
o sea: o
+
u
0
+ o = 0 ; o
u
N+1
= | (4.38)
101
c) CC peridicas: u
0
= u
N
+ o ; u
N+1
= u
1
+ | (4.39)
Por supuesto, esas CC sern o no sern homogneas dependiendo de que los
coeficientes independientes o o | sean o no nulos respectivamente.
Los operadores escalera y primera diferencia satisfacen las siguientes
identidades si las CC son Dirichlet o peridicas (ejercicio 4.15): E
+
+
= E
; E
+
=
E
+
; D
+
+
= D
; D
+
= D
+
. Pero si las CC son Neumann, ninguna de esas
identidades se satisface. Mientras tanto, el operador D
2
es hermtico con cualquiera
de los tres tipos de CC: Dirichlet, Neumann o peridicas.
EJERCICIOS
4.8 Las tres masas de la figura cuelgan en
equilibrio esttico de una cuerda con
tensin T >> 3mg (g es la aceleracin de
gravedad), y con sus extremos fijos a
distintas alturas: cero para el extremo
izquierdo y h para el derecho.
a) Escriba las CC del problema (valores
de y
0
y y
4
), identifique de qu tipo es cada una: Dirichlet?, Neumann?, peridica?,
homognea?, no homognea?.
b) Escriba el sistema de ecuaciones para las tres elongaciones y
n
en el equilibrio, y
demuestre que se puede escribir en la siguiente forma matricial:
L |y> = |h> |b>o ,
donde L es el mismo operador de acoplamiento del ejemplo 4 del captulo 3 (ecuacin
3.73), o y |b> son los mismos de ese problema, y |h> =
|
|
|
.
|
\
|
h
0
0
.
4.9 Escriba las dos CC del problema propuesto en el ejercicio 3.11 del captulo 3 (para
encontrar el valor de y
3
Ud. debe suponer una tercera masa y un tercer resorte entre la
segunda masa y la tercera, la CC para esa tercera masa debe garantizar que en todo
momento la fuerza del tercer resorte sobre la segunda masa sea cero, para que el sistema
dinmico oscile como si esos resorte y masa invasores no existieran). Diga qu tipo de
CC es cada una: Dirichlet?, Neumann?, Peridica?, homognea?, no homognea?.
4.10 Escriba las dos CC del ejemplo 5 (figura 3.7) del captulo 3 (valores de p
0
y de p
5
). Diga
m
h
y
1
y
3
a
a a
m m
m
a y
2
102
qu tipo de CC son: Dirichlet?, Neumann?, peridicas?, homogneas?, no homogneas?.
4.11 Considere el operador-matriz D
2
= |n><n1| |n>2<n| + |n><n+1| con las CC generales
(4.35) y (4.36).
a) Demuestre que las esquinas de ese operador son: l
11
= a 2, l
1N
= b, l
N1
= c, l
NN
= d 2.
b) Establezca las condiciones mnimas para que ese operador sea hermtico.
4.12 Partiendo de la expresin del operador en tres dimensiones:
D
2
= |n><n1| |n>2<n| + |n><n+1| =
|
|
|
.
|
\
|

0 1 2
1 2 1
3 1 4
,
demuestre que sus CC son: <u| = 6<1| 3<3| ; <4| = 2<1| + 2<3|. Fjese que por culpa de
las CC, ese operador no es normal, por lo tanto, no tiene desarrollo espectral.
4.13 En el espacio de tres dimensiones se tiene el operador D
2
= |n><n1| |n>2<n| + |n><n+1|
con las CC: <u| = 2<1| + <3| ; <4| = 3<1| <3|. Encuentre su matriz representativa, y
demuestre que no es normal.
4.14 Considere los operadores escalera E
+
y E
y los operadores primera diferencia

D
+
= E
+
I y D
= I E
con sus correspondientes CC Dirichlet.

a) Demuestre que: E
+
k
=

=
+ ><
k N
1 n
| k n n | ; E
k
=

+ =
><
N
1 k n
| k n n |
b) Demuestre que: D
+
1
=

= =
+ ><
n N
0 k
N
1 n
| k n n | ; D
1
=

= =
><
1 n
0 k
N
1 n
| k n n |
(Sugerencia: usando desarrollos en serie de Maclaurin).
c) Demuestre que: o
+
1
u
n
=

=
N
n j
j
u ; o
1
u
n
=

=
n
1 j
j
u
(O sea, los inversos de tomar diferencias son tomar sumatorias).
d) Considere el operador sumatoria S =

=
1 N
0 j
E
j
, con E
0
= I.
d1) Demuestre que S(n)u
n
=

=
=

=
n
1 k
k
1 n
0 j
j n
u u (Recuerde que con CC Dirichlet
homogneas u
k
0 si ks0.
d2) Demuestre que S
1
(n)u
n
= o
u
n
(para facilitar la demostracin, hgalo con N = 2,
N = 3, N = 4, y use desarrollos en serie de Maclaurin de la funcin del operador E
).
4.15 Considere los operadores escalera E
+
y E
, los operadores primera diferencia D

+
= E
+
I
y D
= I E
, y el operador segunda diferencia D

2
= E
+
+ E
2I .
a) Demuestre que con CC Dirichlet y con CC peridicas, se cumplen las identidades
siguientes: E
+
+
= E
; E
+
= E
+
; D
+
+
= D
; D
+
= D
+
103
b) Demuestre que si las CC son de Neumann, E
+
+
= E
; E
+
= E
+
; D
+
+
= D
;
D
+
= D
+
c) Demuestre que con los tres tipos de CC: Dirichlet, Neumann y peridicas, D
2
es
hermtico.
d) Condiciones de Cauchy (condiciones iniciales): Demuestre que con condiciones de
Cauchy no homogneas: u
0
= a, o
u
1
= b, el operador D
2
no es normal.
E. PROBLEMA DE AUTOVALORES PARA OPERADORES SOBRE
COMPONENTES
La ecuacin de autovalores para cualquier operador-matriz sigue siendo la misma:
L |s> = |s> (4.40)
y la ecuacin secular para evaluar los autovalores sigue siendo el mismo
determinante:
|L I| = 0 (4.41)
Pero queremos evaluar para matrices NxN, con N genrico, es ms, a veces
N podra ser infinito. Es evidente que las ecuaciones (4.40) y (4.41) no podrn
acompaarnos ms para clculos explcitos, aunque siguen siendo vlidas, siguen
siendo nuestras ecuaciones de base, siguen all; es ms, conviene mantenerlas en
mente como orientadoras, pero ya no podremos recurrir directamente a ellas; en su
lugar, recurrimos a la ecuacin de autovalores para el operador sobre
componentes; para ello, tomamos a la ecuacin matricial (4.40) su n-sima
componente:
<n|L |s> = <n|s> (4.42)
y usamos la identidad (4.18) que relaciona L con L(n):
L(n) <n|s> = <n|s> (4.43)
Hemos obtenido con la ecuacin (4.43) una ecuacin de autovalores para
L(n), completamente equivalente a la ecuacin (4.40) para L. El autovalor en la
ecuacin (4.43) es el mismo autovalor de la matriz L en la ecuacin (4.40),
mientras que el bracket <n|s> en la ecuacin (4.43) es la componente n-sima del
104
autovector |s> de la matriz L en la ecuacin (4.40), y que llamaremos de aqu en
adelante autocomponente del operador L(n).
Si L(n) est asociado a un operador de acoplamiento L, que requiere de CC
para su completa definicin, entonces el problema de autovalores para L(n) no
estara completo con la ecuacin (4.43) solamente, habra que especificar adems
las CC del problema, o sea, definir los valores de las componentes auxiliares <u|s>
y/o <N+1|s>.
Por ejemplo, las ecuaciones de autovalores para los operadores E
+
(n), E
(n),
o
+
, o
y o
2
seran las siguientes:
E
+
(n) <n|s> = <n|s> <n+1|s> = <n|s> (4.44)
con la CC <N+1|s>
E
(n) <n|s> = <n|s> <n1|s> = <n|s> (4.45)

con la CC <u|s>
o
+
<n|s> = <n|s> <n+1|s> <n|s> = <n|s> (4.46)
con la CC <N+1|s>
o
<n|s> = <n|s> <n|s> <n1|s> = <n|s> (4.47)

con la CC <u|s>
o
2
<n|s> = <n|s> <n1|s> 2<n|s> + <n+1|s> = <n|s> (4.48)
con las CC <u|s> y <N+1|s>
Ecuaciones de diferencias. Las ecuaciones (4.44) a (4.48) son algunos
ejemplos de ecuaciones de diferencias. Una ecuacin de diferencias es una relacin
iterativa entre variables sucesivas rotuladas con un nmero discreto n que las
ordena, por ejemplo, son ecuaciones de diferencias:
au
n+2
+ bu
n+1
+ cu
n
= 0
u
n+3
= au
n
+ bu
n1
u
n+1
u
n2
= 0
105
Existe cierto paralelismo entre las ecuaciones de diferencias y las ecuaciones
diferenciales, de hecho, resolver por mtodos numricos una ecuacin diferencial
implica aproximar la ecuacin diferencial a una ecuacin de diferencias.
F. PROBLEMA DE AUTOVALORES PARA EL OPERADOR o
2
La ecuacin de autovalores para el operador o
2
es la ecuacin de diferencias (4.48):
<n1|s> 2<n|s> + <n+1|s> = <n|s> (4.48)
con las CC que le impongamos.
Primero encontraremos una solucin general para la ecuacin (4.48) sin
imponer ningn dominio para n ni ninguna CC, luego veremos qu forma asume la
solucin segn el dominio de n y las CC que se le impongan en los extremos del
dominio: Dirichlet, Neumann o cclicas.
Se propone una solucin-ensayo para las autocomponentes de la forma:
<n|s> = x
n
(4.49)
La solucin general de la ecuacin de diferencias (4.48) ser la superposicin
lineal de las distintas soluciones para x que la satisfagan; para encontrarlas, se
sustituye la ecuacin (4.49) en la ecuacin (4.48):
x
n1
2x
n
+ x
n+1
= x
n
(4.50)
Factorizando por x
n
: x
n
(x 2 + x
1
) = 0 (4.51)
Multiplicando por x al factor entre parntesis:
x
2
(2 + )x + 1 = 0 (4.52)
Las soluciones de la ecuacin cuadrada (4.52) son:
x
1
= [2 + + ) 4 ( + ] o() (4.53)
x
2
= [2 + ) 4 ( + ] [o()|
1
(4.54)
donde simples manipulaciones algebraicas le comprobarn que x
2
= x
1
1
.
106
Entonces, la solucin general de la ecuacin (4.48) es la combinacin lineal:
<n|s> = Ax
1
n
+ Bx
2
n
= Ao
n
+ Bo
n
(4.55)
quedando dos coeficientes, A y B, y el autovalor , indeterminados. Uno de los
coeficientes, y el autovalor, se evaluarn aplicando a la solucin general (4.55) las
dos CC que se impongan en los extremos del dominio para n (ntese el paralelismo
de esta jerigonza con la de las ecuaciones diferenciales). Quedar un coeficiente, A
o B, indeterminado, lo cual era de esperar si se recuerda que las componentes de un
autovector (autodireccin) siempre quedan afectadas por un mismo coeficiente
multiplicativo, ese coeficiente es el que se determina cuando se desea normalizar el
autovector.
Veamos ahora algunas soluciones con algunas CC.
1. Con CC Dirichlet
Dominio para n: 1 s n s N; CC: <u|s> = <N+1|s> = 0
Autocomponentes:
Aplicando <u|s> = 0 (n = 0) en la solucin general (4.55):
<u|s> = A + B = 0 B = A
entonces la solucin va quedando as:
<n|s> = A(o
n
o
n
) (4.56)
Aplicando <N+1|s> = 0 (n = N+1) a la ecuacin (4.56):
<N+1|s> = A(o
N+1
o
N1
) = 0 o
2(N+1)
= 1 (4.57)
y usando la forma compleja del nmero 1:
o
2(N+1)
= e
2oti
, o = nmero entero (4.58)
entonces, los valores permitidos para o() son:
107
o
o
() =
|
.
|
\
|
+
ot
i
1 N
exp exp(ik
o
) (4.59)
donde k
o
1 N+
ot
(4.60)
Sustituyendo la ecuacin (4.59) en la solucin (4.56), se obtiene que para
cada valor de o, la n-sima autocomponente es:
<n|s
o
> = A
o
[exp(ik
o
n) exp(ik
o
n)] (4.61)
= 2iA
o
sen k
o
n C
o
sen k
o
n (4.62)
La ecuacin (4.62) es la solucin para las autocomponentes. No debe
perderse de vista el significado de los dos ndices involucrados: o numera el
autovector, y n numera la componente de ese autovector.
Los coeficientes C
o
se calculan por normalizacin de los autovectores:
<s
o
|s
o
> = 1, resultando (vase el APNDICE):
C
o
=
1 N
2
+
para todo o (4.63)
Entonces, las autocomponentes normalizadas son:
<n|s
o
> =
1 N
2
+
sen
|
.
|
\
|
+
ot
n
1 N
(4.64)
Dominio para o:
Hasta ahora la variable discreta o ha sido cualquier nmero entero, pero es
en el momento que se tiene la solucin para las autocomponentes, cuando se puede
determinar cual es el dominio de o. Los criterios para definir un dominio para o
son dos:
1) No se admiten valores de o que anulen totalmente al autovector.
2) No se permiten valores de o que repitan autovectores ya previamente
incluidos en el dominio.
108
Para las autocomponentes (4.62), el criterio (1) prohbe o = 0, (N+1),
2(N+1), 3(N+1), etc ; y el criterio (2) prohbe: a) Incluir valores negativos
de o si ya se admitieron los correspondientes valores positivos (o viceversa), pues
entonces <n|s
o
> = <n|s
o
>, resultndonos el mismo autovector, slo que
multiplicado por 1. b) Incluir valores superiores a N si ya se admitieron los
inferiores a N y a N mismo, pues entonces se repetira la misma serie de
autocomponentes, excepto quizs por un signo que no altera el autovector.
Atendiendo los criterios (1) y (2), escogemos para o el siguiente dominio:
1 s o s N
Autovalores:
Los autovalores se obtienen de las ecuaciones (4.53) y (4.54), una vez
conocidos los valores de o
o
(ecuacin 4.59). Combinando las ecuaciones (4.53) y
(4.54) obtenemos:
o
o
+ o
o
1
= 2 +
o
(4.65)
y usando la ecuacin (4.59):
o
= exp(ik
o
) + exp(ik
o
) 2 (4.66)
= 4 sen
2
(k
o
/2) (4.67)
Se puede constatar que en esta serie de autovalores, con 1sosN, no hay
degeneracin:
o
= 4
) 1 N ( 2
sen
2
+
ot
(4.68)
2. Con CC Neumann
Dominio para n: 1 s n s N; CC: <u|s> = <1|s> ; <N+1|s> = <N|s>
109
Autocomponentes:
Aplicando <u|s> = <1|s> en la solucin general (4.55):
A + B = Ao + Bo
1
(4.69)
de donde: B = oA (4.70)
que sustitudo en la solucin general (4.55) nos va dando el siguiente resultado:
<n|s> = A(o
n
+ o
n+1
) (4.71)
Aplicando <N+1|s> = <N|s> a la solucin (4.71), obtenemos:
o
N+1
+ o
N
= o
N
+ o
N+1
(4.72)
de donde: o
N
= o
N
(4.73)
y usando la forma compleja del nmero 1:
o
2N
= e
2oti
(4.74)
entonces, los posibles valores para o() son:
o
o
() = e
iot/N
(4.75)
que sustituido en la solucin (4.71) nos da las autocomponentes con esta forma:
<n|s
o
> = A
o
|exp(ik
o
n) + exp(ik
o
)exp(ik
o
n)] (4.76)
donde k
o
ot/N (4.77)
Dominio para o:
Podemos admitir o = 0, pues no anula el autovector; valores negativos de o
repiten los mismos autovectores obtenidos con valores positivos, y o > N repiten
los autovectores obtenidos con o s N1. Escogemos entonces el dominio:
110
0 s o s N 1
Normalizacin:
Con o= 0, la normalizacin de los autovectores exige para los coeficientes
A
o
el valor (vase el APNDICE):
A
o
=
N 2
1
o = 0 (4.78)
Pero para o = 0, el coeficiente de normalizacin es distinto, de hecho, segn
las ecuaciones (4.76) y (4.77), las autocomponentes de |s
0
> son:
<n|s
0
> = 2A
0
(4.79)
por lo tanto: <s
0
|s
0
> = 4NA
0
2
(4.80)
entonces, para que <s
0
|s
0
> = 1, A
0
=
N 2
1
(4.81)
Las autocomponentes normalizadas quedan as:
<n|s
0
> =
N
1
o = 0 (4.82)
<n|s
o
> =
N 2
1
|
|
.
|
\
|
+
ot
ot ot
n
N
i
N
i n
N
i
e e e 1 s o s N1 (4.83)
Autovalores:
La expresin (4.67) nos da los autovalores, con k
o
en la ecuacin (4.77):
o
= 4 sen
2
(k
o
/2)
= 4 sen
2
(ot/2N) (4.84)
111
En este caso, con 0 s o s N1, tampoco hay degeneracin.
EJERCICIOS
4.16 Partiendo de las expresiones generales (4.64) y (4.68) para las autocomponentes y
autovalores del operador D
2
con CC de Dirichlet, verifique que:
a) Si N = 2, se obtienen los mismos autovalores y autovectores del ejemplo 1 del captulo 3
y presentados en las ecuaciones (3.28) y (3.29). (Tome en cuenta que en el ejemplo 1 del
captulo 3, el operador es e
0
2
D
2
).
b) Si N = 3, se obtienen los mismos autovalores y autovectores del ejemplo 4 del captulo 3
y presentados en las ecuaciones (3.82), (3.83 y (3.84).
4.17 Partiendo de las expresiones generales (4.82), (4.83) y (4.84) para las autocomponentes y
autovalores del operador D
2
con CC de Neumann, verifique que si N = 2, se obtienen los
mismos autovalores y autovectores del ejemplo 2 del captulo 3 y presentados en las
ecuaciones (3.44) y (3.45). (Tome en cuenta que en el ejemplo 2 del captulo 3, el operador
es oD
2
).
4.18 Resuelva el problema de autovalores para el operador D
2
con las siguientes CC mixtas:
Dirichlet homognea en el extremo n = 0, y Neumann homognea en el extremo n = N+1.
Solucin: k
o
=
1 N 2
) 1 2 (
+
t + o
; <n|s
o
> = A
o
sen k
o
n ;
o
= 4 sen
2
2
o
k
; o = 0, 1, 2, , N1.
4.19 Partiendo de las expresiones generales para los autovalores y autocomponentes obtenidos
en el ejercicio 4.18, verifique que si N = 2, se obtienen los mismos autovalores y
autovectores del ejercicio 3.11 del captulo 3.
3. Con CC peridicas
Dominio para n: 1 n s sN; CC: <u|s> = <N|s> , <N+1|s> = <1|s>
Autocomponentes:
Aplicando <u|s> = <N|s> y <1|s> = <N+1|s> en la solucin general (4.55),
obtenemos:
A + B = Ao
N
+ Bo
N
(4.85)
112
Ao + Bo
1
= Ao
N+1
+ Bo
N1
(4.86)
Las ecuaciones (4.85) y (4.86) no condicionan para nada a los coeficientes A
y B, pues ambas se satisfacen con la nica condicin de que o
N
= 1, quedando A y
B totalmente libres:
o
N
= e
2oti
(4.87)
entonces, los posibles valores para o() son:
o
o
= e
i2ot/N
exp(ik
o
) (4.88)
con k
o

N
2ot
(4.89)
Sustituyendo la ecuacin (4.88) en la solucin general (4.55), obtenemos a
cada autocomponente afectada por dos coeficientes arbitrarios:
<n|s
o
> = A
o
exp(ik
o
n) + B
o
exp(ik
o
n) (4.90)
La ecuacin (4.90) se puede escribir tambin en esta forma equivalente:
<n|s
o
> = C
o
cos k
o
n + D
o
sen k
o
n (4.91)
relacionando convenientemente C
o
y D
o
con A
o
y B
o
.
Dominio para o:
Con base en las ecuaciones (4.90) y (4.91), se puede verificar fcilmente que:
a) |s
0
> no es un vector nulo; b) |s
o
> = |s
o
>; c) Cualquier serie de N enteros
seguidos para o (ejemplos: o = 3, 4, 5, , N+2; o = 8, 7, 6, , 2, 1, 0, 1, 2,
, N9; o = 1, 2, , N), ofrece una base completa de N autovectores distintos, y
cualquier otro entero no contenido en la serie repite uno de los autovectores de la
serie. Podemos escoger un dominio para o con una serie de N enteros ms o menos
centrados en el nmero cero:
2
1 N
2
1 N
s o s
si N es impar
113
2
N
1
2
N
s o s
|
.
|
\
|
si N es par
Autovalores:
La expresin (4.67) nos da los autovalores, con k
o
o
= 4 sen
2
(k
o
/2)
= 4 sen
2
(ot/N) (4.92)
Es evidente que
o
=
o
, por lo tanto, hay mltiple degeneracin doble. Los
nicos autovalores no degenerados son
0
= 0, y (si N es par)
N/2
= 4.
Escogencia de la base ortogonal de autovectores:
A cada autovalor doblemente degenerado se asocia un plano de degeneracin
con infinitos autovectores posibles en ese plano, los distintos planos de
degeneracin son ortogonales entre s, por lo tanto, para construir una base
ortogonal de autovectores, slo nos resta escoger en cada plano de degeneracin un
par de autovectores que sean ortogonales; esto se logra manipulando los
coeficientes A
o
y B
o
en las autocomponentes con la forma (4.90), o C
o
y D
o
en las
autocomponentes con la forma (4.91). Existen, por supuesto, infinitas opciones,
pero las ms populares son estas dos:
Opcin exponencial: en la ecuacin (4.90), dar a B
o
el valor cero, entonces:
<n|s
o
> = A
o
n
N
2
i
e
ot
(4.93)
Su compaero ortogonal en el mismo plano de degeneracin sera:
<n|s
o
> = A
o
n
N
2
i
e
ot
(4.94)
Le dejamos como ejercicio (ejercicio 4.20) demostrar la ortogonalidad de
ambos compaeros de degeneracin, as como demostrar que el factor de
normalizacin es:
114
A
o
= A
o
= A
0
=
N
1
(4.95)
Las autocomponentes normalizadas en la versin exponencial son:
<n|s
o
> =
N
1
n
N
2
i
e
ot
(4.96)
2
1 N
2
1 N
s o s
si N es impar
2
N
1
2
N
s o s
|
.
|
\
|
si N es par
Opcin trigonomtrica: usando la versin (4.91) de las autocomponentes, se
escoge en el semidominio positivo de o: o >1, C
o
= 0, y en el resto del dominio: o
s 0, D
o
= 0. Segn lo anterior:
<n|s
o
> = D
o
sen
N
2ot
, o > 1 (4.97)
<n|s
o
> = C
o
cos
N
2ot
, o > 0 (4.98)
En la ecuacin (4.98) hemos hecho uso de que los valores de los cosenos con
o negativo son los mismos con o positivo.
Se le deja como ejercicio (ejercicio 4.21) comprobar la ortogonalidad de las
autocomponentes (4.97) y (4.98), as como encontrar el factor de normalizacin
para las autocomponentes degeneradas:
C
o
= D
o
=
N
2
, o= 0, o= N/2 (N par) (4.99)
y para las autocomponentes no degeneradas:
C
0
=
N
1
(4.100)
115
y si N es par: C
N/2
=
N
1
(4.101)
Entonces, las autocomponentes normalizadas son:
con o = 0: <n|s
0
> =
N
1
(4.102)
con 1sos(N/2) 1, [(N1)/2] 1 (segn si N es par o impar)
<n|s
o
> =
N
2
cos n
N
2ot
(4.103)
con 1sos(N/2) 1, [(N1)/2] 1 (segn si N es par o impar)
<n|s
o
> =
N
2
sen n
N
2ot
(4.104)
con o = N/2 (si N es par) <n|s
N/2
> =
N
1
(1)
n
(4.105)
EJERCICIOS
4.20 Las ecuaciones (4.93) y (4.94) presentan las autocomponentes en la versin exponencial de
los autovectores degenerados |s
o
> y |s
o
>, o= 0, del operador D
2
con CC peridicas.
Demuestre que ambos compaeros de degeneracin son ortogonales entre s.
4.21 Las ecuaciones (4.97) y (4.98) presentan las autocomponentes en la versin trigonomtrica
de los autovectores degenerados |s
o
> y |s
o
>, o= 0, del operador D
2
con CC peridicas.
Demuestre que ambos compaeros de degeneracin son ortogonales entre s.
4.22 El operador de acoplamiento del ejemplo 5 del captulo 3, tiene CC peridicas, con N = 4.
Verifique que efectivamente, con ese valor de N, las ecuaciones generales (4.92), (4.96),
(4.102), (4.103), (4.104) y (4.105), se reducen consecuentemente a las ecuaciones (3.88) a
(3.94).
116
G. PROBLEMA DE AUTOVALORES PARA OPERADORES ESCALERA Y
PRIMERA DIFERENCIA CON CONDICIONES DE CONTORNO
PERIDICAS
Las ecuaciones de autovalores para los operadores escalera, primera diferencia y
segunda diferencia, las tenemos en las ecuaciones (4.44) a (4.48). Vamos a retomar
primero las relaciones que estos operadores guardan entre s:
D
+
= E
+
I (4.106)
D
= I E
(4.107)
D
2
= E
+
+ E
2I (4.108)
Si cada uno de esos operadores tiene impuestas las correspondientes CC
peridicas, entonces se cumplen cada una de las siguientes propiedades (ejercicio
4.23):
a) Los cinco operadores E
+
, E
, D
+
, D
y D
2
conmutan mutuamente.
b) Los operadores escalera resultan unitarios, por lo tanto, sus respectivos
autovalores son de la forma e
iu
, y sus autovectores normalizados forman una base
ortonormal.
c) E
+
+
= E
+
1
= E
; E
+
= E
1
= E
+
; D
+
+
= D
; D
+
= D
+
; D
2
es
hermtico.
Lo anterior significa que si tenemos los autovalores de uno slo de esos
operadores, podemos evaluar los de los restantes simplemente con base en las
relaciones (4.106) a (4.108) y a las propiedades del literal (c). Por ejemplo, sean:
c
o
= exp(ik
o
) (4.109)
los autovalores de E
+
, entonces:
Autovalores c
o
de E
: c
o
= c
o
* = exp(ik
o
) (4.110)
Autovalores a
o
de D
+
: a
o
= c
o
1 = exp(ik
o
) 1 (4.111)
Autovalores b
o
de D
: b
o
= 1 c
o
*
= 1 exp(ik
o
) (4.112)
Autovalores
o
de D
2
:
o
= c
o
+ c
o
*
2
117
= exp(ik
o
) + exp(ik
o
) 2
= 2(1 cos k
o
)
= 4 sen
2
(k
o
/2) (4.113)
En cuanto a los autovectores, la conmutatividad de todos esos operadores
entre s garantiza que todos compartan un mismo conjunto de ellos. En fin,
podemos resolver el problema de autovalores para todos esos cinco operadores
simultneamente, resolviendo solamente para uno de ellos, uno sencillito, por
ejemplo, el operador E
+
. La ecuacin de autovalores para ese operador la tenemos
en la ecuacin (4.44), que podemos escribir, usando c como autovalor, de la
siguiente manera:
s
n+1
= cs
n
(4.114)
n = 1, 2, 3, , N.
Segn la ecuacin (4.114): s
2
= cs
1
s
3
= cs
2
= c
2
s
1
s
4
= c
3
s
1
.
.
s
n
= c
n1
s
1
(4.115)
.
.
s
N
= c
N1
s
1
s
N+1
= c
N
s
1
(4.116)
Pero segn la CC: s
N+1
= s
1
, por lo tanto, la ecuacin (4.116) es lo mismo
que:
s
1
= c
N
s
1
(4.117)
La ecuacin (4.117) significa que
c
N
= 1 = e
2oti
, o = entero (4.118)
118
entonces, los posibles valores para el autovalor son:
c
o
= e
i(2ot/N)
= exp(ik
o
) (4.119)
con k
o

N
2ot
(4.120)
Sustituyendo esos valores de k
o
en las ecuaciones (4.110) a (4.113),
obtendremos los autovalores de los cuatro operadores restantes.
Las autocomponentes comunes para todos los cinco operadores las tenemos
<n|s
o
> = c
o
n1
<1|s
o
> (4.121)
Como siempre ocurre con un autovector no degenerado, todas sus
autocomponentes quedan referidas a una de ellas, en la ecuacin (4.121) quedaron
referidas a <1|s
o
>. Pero podemos simplificar un poquito su expresin si usamos la
CC y la ecuacin de autovalores (4.114) para referirlas ms bien a <N|s
o
>:
<1|s
o
> = <N+1|s
o
> = c
o
<N|s
o
> (4.122)
que sustituido en la ecuacin (4.119) nos da:
<n|s
o
> = c
o
n
<N|s
o
>
= <N|s
o
>exp(ik
o
n) (4.123)
Y esas son las autocomponentes de E
+
, E
, D
+
, D
y D
2
si sus
correspondientes CC son peridicas. La normalizacin exige <N|s
o
> =
N
1
para
todo o (ejercicio 4.24).
EJERCICIOS
4.23 a) Demuestre que los operadores escalera, primera diferencia y segunda diferencia con CC
peridicas, conmutan todos entre s.
b) Demuestre que los operadores escalera con CC peridicas son unitarios.
119
4.24 Demuestre que el factor de normalizacin de las autocomponentes (4.121) es N 1 .
4.25 Demuestre que la ecuacin de diferencias: o
2
u
n
+ o
u
n
+ u
n
= a
n
, en el dominio 1snsN con
CC peridicas, y siendo las a
n
constantes conocidas (desde a
1
hasta a
N
), tiene esta solucin:
u
n
= a
n1
con 2snsN; u
1
= a
N
.
H. PROBLEMA DE AUTOVALORES PARA LOS OPERADORES
ESCALERA Y PRIMERA DIFERENCIA CON CONDICIONES DE
CONTORNO DE DIRICHLET Y DE NEUMANN
Si se imponen CC de Dirichlet o de Neumann homogneas a los operadores
escalera y primera diferencia se obtiene lo siguiente (ejercicio 4.26):
1) Ninguno es normal.
2) Ninguno de ellos conmuta con ningn otro de ellos, ni siquiera con el
operador segunda diferencia con las mismas CC.
3) Todos ellos son degenerados, completamente degenerados si las CC son
de Dirichlet, y N1 veces degenerados si son de Neumann.
4) El autovector degenerado es de una nica orientacin bien definida, no
define ningn espacio de degeneracin donde seleccionar una base
ortonormal de autovectores ni nada de eso.
En realidad el numeral (4) es consecuencia del (1), pues al no ser normal el
operador, no puede tener autovectores ortogonales an cuando sean degenerados.
Con estas caractersticas tan desalentadoras, los operadores escalera y
primera diferencia con CC de Dirichlet o de Neumann nos son totalmente
inservibles, en contraste con lo que ocurre cuando las CC son peridicas. Para lo
nico que sirven es para definir al operador D
2
:
D
2
= D
+
D
= E
+
2I + E
(4.124)
pero no son explotables para encontrar los autovalores y autovectores de D
2
, el
cual s es normal (y hermtico) con esas CC , hay que resolver directamente el
problema con D
2
, como ya hicimos en la seccin F.
120
EJERCICIO
4.26 Verifique los puntos (1), (2), (3) y (4) sealados ms arriba.
I. ECUACIONES DE DIFERENCIA EN DOMINIOS FINITOS CON
CONDICIONES DE CONTORNO PERIDICAS
Clasificaremos una ecuacin de diferencias como de primer orden, si la mxima
diferencia entre los valores de los ndices discretos involucrados es 1; por ejemplo,
las ecuaciones de autovalores para operadores escalera y primera diferencia (4.44)
a (4.47), son todas de primer orden. La ecuacin de diferencias ser de segundo
orden, si la mxima diferencia entre los valores de los ndices es 2; por ejemplo, la
ecuacin de autovalores para el operador segunda diferencia (4.48) es de segundo
orden. El mismo criterio se usar para identificar si la ecuacin es de tercer orden,
cuarto orden, etc.
Por supuesto, no toda ecuacin de diferencias es de autovalores. Vamos a
establecer las formas generales de ecuaciones de diferencias de primer y segundo
orden con coeficientes constantes, y estas son:
Primer orden: u
n+1
+ au
n
= c
n
(4.125)
Segundo orden: u
n+1
+ au
n
+ bu
n1
= c
n
(4.126)
Los elementos u
n
son las componentes del vector incgnita |u> que se desea
evaluar; los coeficientes a y b son constantes conocidas, y los elementos
independientes c
n
son componentes de un posible vector |c> tambin conocido; si
ese vector es nulo (|0>), y las CC son homogneas, entonces la ecuacin de
diferencias es homognea; si ese vector no es nulo (o sea, no todas las c
n
son ceros),
entonces la ecuacin es no homognea.
Se puede demostrar (ejercicio 4.27) que las ecuaciones de diferencias con
coeficientes constantes (4.125) y (4.126) son reducibles a las siguientes formas con
los operadores primera y segunda diferencia:
Primer orden: o
+
u
n
+ hu
n
= c
n
(4.127)
Segundo orden: o
2
u
n
+ po
u
n
+ qu
n
= c
n
(4.128)
donde h, p, q, se pueden obtener conocidos a y/o b y viceversa.
121
Resolver las ecuaciones de diferencia significa encontrar una expresin para
u
n
en trminos de la variable discreta n que satisfaga en el dominio para n: i) la
ecuacin de diferencias, y ii) las condiciones de contorno.
Si las CC son peridicas, podemos encontrar las soluciones por el mtodo de
las coordenadas normales o por el mtodo de la solucin formal, con las
autocomponentes compartidas de los operadores, y sus correspondientes
autovalores. Pero si las CC son de Dirichlet o de Neumann, no habrn
autocomponentes compartidas para los operadores, es ms, el operador primera
diferencia ni siquiera tendr una base decente de autovectores ortogonales que usar
en esas soluciones; con estas CC, slo podramos resolver la ecuacin de diferencia
de segundo orden (4.128) en el caso restringido de que p = 0, con las
autocomponentes y autovalores de o
2
que hemos encontrado con CC de Dirichlet o
de Neumann. Procedemos entonces a resolver las ecuaciones (4.127) y (4.128)
nicamente con CC peridicas.
1. Ecuacin de primer orden:
o
+
u
n
+ hu
n
= c
n
(4.127)
Dominio para n: 1 s n s N
CC: u
N+1
= u
1
(4.129)
La ecuacin (4.127) equivale a la siguiente:
<n|D
+
|u> + h<n|u> = <n|c> (4.130)
la cual no es ms que la n-sima componente de la ecuacin vectorial:
D
+
|u> + |u>h = |c> (4.131)
Las autocomponentes normalizadas y autovalores de D
+
con la CC (4.129)
los hemos calculado en la seccin G, y son:
<n|s
o
> =
|
.
|
\
|
ot
n
N
2
i exp
N
1
(4.132)
122
a
o
= exp
|
.
|
\
|
ot
N
2
i 1 (4.133)
Podemos escoger el siguiente dominio para o:
1 s o s N
1a) Mtodo de las coordenadas normales:
La ecuacin (4.128) se puede escribir de la siguiente manera:
|s
o
>a
o
<s
o
|u> + |s
o
><s
o
|u>h = |s
o
><s
o
|c> (4.134)
o sea: |s
o
>(a
o
<s
o
|u> + <s
o
|u>h) = |s
o
><s
o
|c> (4.135)
de donde: (a
o
+ h)q
o
=
o
c
~
(4.136)
donde q
o

<s
o
|u> son las coordenadas normales y
o
c
~
<s
o
|c>.
De la ecuacin (4.136) se despejan las coordenadas normales:
q
o
=
h a
c
~
+
o
o
(4.137)
de donde se extrae por fin la solucin <n|u> en las coordenadas primitivas con las
autocomponentes (4.132) y los autovalores (4.133). (ejercicio 4.28).
1b) Mtodo de la solucin formal:
La ecuacin (4.131) se puede factorizar:
(D
+
+ hI)|u> = |c> (4.138)
de donde se despeja directamente el vector |u>:
|u> = (D
+
+ hI)
1
|c> (4.139)
123
y se desarrolla espectralmente a (D
+
+ hI)
1
:
|u> = |s
o
>
|
|
.
|
\
|
+
o
h a
1
<s
o
|c> (4.140)
de donde se extrae la solucin: <n|u> = <n|s
o
>
|
|
.
|
\
|
+
o
h a
1
<s
o
|c> (4.141)
que se termina de calcular con los autovalores y autocomponentes de D
+
con CC
peridica (ejercicio 4.28).
2. Ecuacin de segundo orden:
o
2
u
n
+ po
u
n
+ qu
n
= c
n
(4.128)
Dominio para n: 1 s n s N
CC: u
0
= u
N
; u
N+1
= u
1
La ecuacin (4.128) equivale a la siguiente:
<n|D
2
|u> + p<n|D
1
|u> + q<n|u> = <n|c> (4.142)
que es la n-sima componente de la ecuacin vectorial:
D
2
|u> + D
1
|u>p + |u>q = |c> (4.143)
y que se puede factorizar:
(D
2
+ pD
1
+ qI)|u> = |c> (4.144)
o sea: L|u> = |c> (4.146)
con L D
2
+ pD
1
+ qI (4.147)
124
Los autovectores del operador L son los autovectores compartidos de D
2
y
de D
con CC peridicas y que calculamos en la seccin G. Los autovalores
o
de L son:
o
=
o
+ pb
o
+ q (4.148)
donde l
s
y b
s
son los autovalores de D
2
y D
respectivamente con CC peridicas, y

calculados en la seccin G. Se le deja como ejercicio (ejercicio 4.29) resolver para
<n|u> por el mtodo de las coordenadas normales o el de la solucin formal.
3. Ecuaciones homogneas
Si en las ecuaciones (4.138) y (4.144) el vector independiente |c> es cero,
entonces ambas toman el aspecto de una ecuacin de autovalores:
D
+
|u> = |u>(h) (4.149)
(D
2
+ pD
1
)|u> = |u>(q) (4.150)
Sin embargo, si h y q son constantes conocidas impuestas, entonces esas
ecuaciones no son ecuaciones de autovalores, sino ecuaciones homogneas con
solucin trivial: |u> |0>, excepto si (h) es casualmente uno de los autovalores de
D
+
, o si (q) es casualmente uno de los autovalores del operador L = D
2
+ pD
1
,
en cuyo caso |u> es el correspondiente autovector. Las ecuaciones de diferencias
homogneas (4.149) y (4.150) seran en propiedad ecuaciones de autovalores, si los
coeficientes (h) y (q) fuesen incgnitas libres de la ecuacin, no constantes
conocidas impuestas.
EJERCICIOS
4.27 a) Encuentre la relacin entre h y a para que la ecuacin (4.127) sea equivalente a la
ecuacin (4.125).
b) Encuentre las relaciones que guardan p y q con a y b para que la ecuacin (4.128) sea
equivalente a la ecuacin (4.126).
4.28 Termine de resolver la ecuacin de diferencia de primer orden (4.127) con la CC (4.129):
a) Por el mtodo de las coordenadas normales.
125
b) Por el mtodo de la solucin formal.
4.29 Termine de resolver la ecuacin de diferencia de segundo orden (4.128) con CC peridicas:
a) Por el mtodo de las coordenadas normales.
b) Por el mtodo de la solucin formal.
4.30 Demuestre que la ecuacin de diferencias: o
2
u
n
+ 2o
u
n
+ 2iu
n
= a
n
, en el dominio 1 snsN
con CC peridicas, y siendo las a
n
constantes conocidas (desde a
1
hasta a
N
), tiene esta
solucin:

= o =
ot
+
(

ot
=
N
1
N
1 m
m n
N
2
sen 1
) m n (
N
2
i exp
a
Ni 2
1
u
J. DOMINIOS DE MLTIPLE NDICE
Hasta ahora nuestros dominios se han
caracterizado por un solo ndice n
para la variable discreta que rotula las
componentes de los vectores de
estado, pero podran presentarse
situaciones en las cuales se requiere
ms de un ndice para rotular las
componentes de los vectores. Para
introducir este tema, enfocaremos la
atencin en un caso donde se
requieren dos ndices; el tratamiento
de casos que requieran ms de dos
ndices se realiza por analoga.
Por ejemplo, considere la red
de cuerdas que se cruzan en ngulos
rectos de la figura 4.1, con una masa
puntual ocupando cada nudo de la
red. La geometra del problema sugiere rotular las elongaciones de las masas
(perpendiculares al plano de la red) con dos ndices: z
m,n
, donde el par de enteros
(m, n) se asocia a cada nudo de la red.
El vector de estado sigue siendo una columna |z>, esta vez con mxn
componentes definidas as:
z
m,n
<m,n|z> (4.151)
Figura 4.1: Red de masas puntuales con
elongaciones z
m,n
perpendiculares al plano de
la red.
z
m,n
z
m,n1 z
m,n+1
z
m1,n
z
m+1,n z
m+1,n+1
z
m1,n+1 z
m1,n1
z
m+1,n1
126
Base primitiva:
La base primitiva est constituida por los unitarios |m,n>, cuyas relaciones de
ortonormalidad y clausura son las siguientes:
Ortonormalidad: <m,n|m,n> = o
m,m
o
n,n
(4.152)
Clausura:

= =
><
M
1 m
N
1 n
| n , m n , m | = I (4.153)
suponiendo el dominio M m 1 s s , N n 1 s s , con N M = en general (los lmites
de los dominios para m y n pueden variar de problema a problema).
(NOTA: en lo que sigue, no se usar ms la convencin de Einstein para
sumatorias, si hay suma, se indicar explcitamente con la acostumbrada letra
griega SIGMA mayscula, no hay suma an cuando aparezcan ndices repetidos, si
no se indica con ese smbolo).
Operadores de diferencias:
Los operadores de diferencias dependern de cual ndice afectan, y se pueden
definir de la manera siguiene:
o
+m.
z
m,n
= z
m+1,n
z
m,n
(4.154)
o
m.
z
m,n
= z
m,n
z
m1 ,n
(4.155)
o
+.n
z
m,n
= z
m,n+1
z
m,n
(4.156)
o
.n
z
m,n
= z
m,n
z
m ,n1
(4.157)
n , 1 m n , m n , 1 m n , m
2
. m
z z 2 z z
+
+ = o (4.158)
1 n , m n , m 1 n , m n , m
2
n .
z z 2 z z
+
+ = o (4.159)
Se puede definir un operador laplaciano discreto
2
n , m
V de la manera
siguiente:
127
2
n .
2
. m
2
n , m
o + o = V (4.160)
de manera tal que:
n , m
2
n . n , m
2
. m n , m
2
n , m
z z z o + o = V
1 n , m n , 1 m n , m 1 n , m n , 1 m
z z z 4 z z
+ +
+ + + = (4.161)
Ecuacin de autovalores para el operador laplacianodiscreto:
La ecuacin de autovalores para el operador
2
n , m
V sera:
2
n , m
V s
m,n
= s
m,n
(4.162)
La estrategia para resolver la ecuacin (4.162) es proponer para las
autocomponentes la siguiente forma:
s
m,n
= a
m
b
n
(4.163)
Usando la forma (4.160) para el operador, y la forma (4.163) para las
autocomponentes, la ecuacin (4.162) pasa a ser la siguiente:
b
n
o
2
a
m
+ a
m
o
2
b
n
= a
m
b
n
(4.164)
Dividiendo la ecuacin (4.164) miembro a miembro entre a
m
b
n
obtenemos:
=
o
+
o
n
n
2
m
m
2
b
b
a
a
(4.165)
o sea: +
o
=
o
n
n
2
m
m
2
b
b
a
a
(4.166)
Los miembros izquierdo y derecho de la ecuacin (4.166) dependen de
distintos ndices, para que esa igualdad se mantenga independientemente de los
128
valores de los ndices, es necesario que ambos miembros sean iguales a una misma
constante o:
o =
o
m
m
2
a
a
(4.167)
o = +
o
n
n
2
b
b
(4.168)
La ecuacin (4.168) se puede reescribir as:
| =
o
n
n
2
b
b
(4.169)
con o + | = (4.170)

Las ecuaciones (4.167) y (4.169) no son ms que ecuaciones de autovalores
para las autocomponentes parciales a
m
y b
n
, con autovalores respectivos o y |:
o
2
a
m
= oa
m
(4.171)
o
2
b
n
= |b
n
(4.172)
las cuales habrn de resolverse independientemente con las CC en los extremos del
dominio para m (ecuacin 4.171) y del dominio para n (ecuacin 4.172). Una vez
que hayan sido obtenidas las autocomponentes parciales <m|a
o
> y <n|b
t
>, y los
autovalores respectivos
o
y
t
, donde como siempre, los ndices o y t numeran los
autovectores y autovalores, se aplican las ecuaciones (4.163) y (4.170) para las
autocomponentes y autovalores definitivos, o sea: se suman los autovalores
parciales y se multiplican las autocomponentes parciales.
Bases de autovectores:
Podemos referir los autovectores con los kets de doble ndice |o,t>, cuyas
componentes primitivas seran:
129
<m,n|o,t> <m|a
o
><n|b
t
> (4.173)
Las relaciones de ortonormalidad y clausura (si la base es ortonormal) seran:
Ortonormalidad: <o,t|o,t> = o
o,o
o
t,t
(4.174)
Clausura:

o t
t o >< t o | , , | = I (4.175)
Un ejemplo de dominio y CC:
Supongamos que el dominio y CC del problema son:
M m 1 s s con CC Dirichlet homogneas: <u|s> = <M+1|s> = 0
N n 1 s s con CC Neumann homogneas: <u|s> = <1|s> ; <N+1|s> = <N|s>
entonces, segn las ecuaciones (4.64), (4.82) y (4.83), las autocomponentes
normalizadas del operador
2
n , m
V en ese dominio son:
<m,n|o,0> =
1 M
2
+ N
1
sen
|
.
|
\
|
+
ot
m
1 M
(4.176)
con t = 0, M 1 s o s
<m,n|o,t> =
1 M
2
+ N 2
1
sen
|
.
|
\
|
+
ot
m
1 M
|
|
.
|
\
|
+
tt
tt tt
n
N
i
N
i n
N
i
e e e (4.177)
con M 1 s o s , 1 N 1 s t s
Y segn las ecuaciones (4.68) y (4.84), los autovalores son:
o,t
= 4
|
.
|
\
|
tt
+
ot
N 2
sen 4
) 1 M ( 2
sen
2 2
(4.178)
con M 1 s o s , 1 N 0 s t s
130
EJERCICIO
4.31 La figura muestra un conjunto de
bloques en contacto trmico mutuo y
con temperaturas T
m,n
cada uno. Se
supone que la rapidez con que se
incrementa la temperatura en cada
bloque es proporcional a la suma de
las diferencias entre la temperatura
del bloque en cuestin y las de los
bloques vecinos. Supondremos, para
simplificar, que la constante de
proporcionalidad en cada caso es la
unidad.
Demuestre que el conjunto de
ecuaciones diferenciales acopladas
para las distintas temperaturas se
puede presentar en la siguiente forma
matricial:
> T |

= L |T>
donde el operador-matriz L est asociado al operador sobre componentes
2
mn
V mediante la
identidad: <m,n|L|T> =
2
mn
V <m,n|T> =
2
mn
V T
m,n
.
Resuelva exhaustivamente para T
m,n
(t) con las siguientes CC: T
0,n
= T
1,n
; T
M+1,n
= T
M,n
;
T
m,0
= T
m,N
= 0.
T
1,1
T
1,2
T
1,n
T
1,N
T
2,1
T
2,2
T
2,n
T
2,N
T
m,1
T
m,2
T
m,n
T
m,N
T
M,1
T
M,2
T
M,n
T
M,N

Capítulo 4

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Capítulo 4

Caricato da

Copyright:

Formati disponibili

4 Operadores de diferencias y condiciones de contorno

= |n><n1| con su CC <u| (4.12)

baja un puesto a cada componente del vector, y su CC definir

sobre |u> es restarle a cada componente u

con las CC para E

|u> con las CC:

), demuestre que Des

y los operadores primera diferencia

con sus correspondientes CC Dirichlet.

, los operadores primera diferencia D

, y el operador segunda diferencia D

(n) <n|s> = <n|s> <n1|s> = <n|s> (4.45)

<n|s> = <n|s> <n|s> <n1|s> = <n|s> (4.47)

con CC peridicas y que calculamos en la seccin G. Los autovalores

respectivamente con CC peridicas, y

Potrebbero piacerti anche