LAS ECUACIONES DE SCHRODINGER Y DE ONDA:

Empezaremos esta seccin con el problema de valor inicial para la ecuacin de

Schrodinger con condiciones de Dirichlet, es decir:

0,
x [o,l] )
[

uc2( ( 0, ) x ( 0, l ) ) c(
i tu ( t , x ) =

u ( t , 0)

u (t , x )

= u (t , l)
u ( 0, x )

Donde

c(

[ 0,l ] ) y

( t , x ) ( 0, ) x ( o , l )
t

= 0,

( x )

( 0) = ( l )

=0

( 1.110 )

El problema (1.110) describe el comportamiento de una partcula de mecnica

cuntica en una dimensin confinada al intervalo

[ 0,l ]

y bajo colisiones

perfectamente elstico en x=0 y x=l.

Este modelo es conocido como una partcula en una caja.
Las EDP en (1.77) y (1.110) son muy similares, pero con diferentes propiedades; para
obtener una solucin formal de (1.110) emplearemos el mtodo de separacin de
variables. Que en este caso nos lleva a:
u (t , x ) = X ( x )
i X (x)

T (t )
T (t )

=-

T (t )

T (t )

= -X ( x )

T (t )

X left (x right )} over {X left (x right )}

=

i T` ( t ) =

T (t )
T (t )

T (t )

=-i

ln T ( t ) = - i t
it
T (t ) = c e

As lleva a:
i T` ( t ) = - T ( t )

c ( [ 0, )),

T c2 ( ( 0, ) )

t 0

Y
-X ( x ) = X ( x )

de a que

u ( t , 0 ) = X ( 0 ) T ( t ) = 0 entonces
u (t , l) = X (l) T (t ) = 0

> 0
X ( 0 ) =0

entonces X ( l ) =0

Ahora
- X ( x )

X (x)

entonces X ( x ) + X ( x ) =0

X ( x ) = A cos

X + B sin

X (0) = A = 0
X (l)

= B sin

l =k
2

k
=
2
l

donde k
2

As lo valores son:

k2 2
l2

Y las soluciones
Xk ( x ) = Bk

sin kx
l

Ahora como
it
T ( t ) =c e

Tenemos para estas

Z+

i
Tk ( t ) =ck e

k
t
2
l

Por lo tanto hay soluciones

2

i
( x , t ) =bk sin kx e
l

( )

uk

x
t
2
l

y como la ecuacin es lineal y homognea funciona el principio de superposicin as:

2

kx i
(
x
,
t
)
b
sin
e

u
=
k
l
k=1

( )

x
t
2
l

(1.112)

Donde los bk se obtienen as:

b k sin kx
l

u ( 0, x ) = ( x ) =

k=1

Multiplicando por:

sin

nx
l

Tenemos:
l

( x ) sin nx
l
0
l

bk=

dx = bk

nx
sin (
sin ( kx
)
l
l )
k=1 0

2
( x ) sin kx
l 0
l

( )

dx

dx

(1.94)

Otra solucin alternativa a este problema:

En este aparto vamos a usar las series de Fourier para resolver la ecuacin de ondas
unidimensionales:
Solucin:
2
2 (
2
)
u
x
,
t
=a
u ( x ,t )
t 2
x2

Con las condiciones de contorno

u ( 0,t )=u ( , t )=0 ..(1)

Y las condiciones iniciales

u ( 0,t )=f ( x ) ,

u ( x ,0 )=g ( x ) (2)
t

Esta ecuacin es conocida como ecuacin de ondas, modeliza el movimiento de una

inda unidimensional
Usualmente para resolver este problema se usa el mtodo se separacin de variables:

u ( x , t )=X ( x ) T ( t ) , X ( x ) 0,T (t) 0

Que al sustituir en la ecuacin original nos da

X ( x ) T '' (t )=a2 X ' ' ( x ) T ( t ) ,

Donde

X '' ( x ) 1 T '' ( t )
=
=
X ( x ) a2 T ( t )

R , tenemos las ecuaciones

X ' ' ( x ) + X ( x ) =0, X ( 0 )=X ( )=0 . (3)

Y
''
2
T ( t ) +a T ( t )=0 (4)

Por sencillez asumiremos a =1

La solucin general de (3) depende del valor de
solamente se tienen soluciones no nulas si

>0

.Es fcil comprobar que

.En este caso la solucin general

es

X ( x )= cos x + sin x
Que junto a las condiciones de contorno para X nos dan las soluciones

X n ( x )=sin nx , = n=n2
En este caso para T obtenemos (a=1)

T ' ' ( t ) +n2 T ( t )=0

Luego

T n ( t )= An cos nt + Bn sin nt

Y por tanto una solucin de nuestra ecuacin con las condiciones de contorno (1) ser

un ( x , t )=( An cos nt +B n sin nt ) sin nx

Como la ecuacin de ondas es lineal y homognea entonces su solucin general ser
de la forma

n=1

n=1

u ( x , t )= un ( x , t )= ( A n cos nt + Bn sin nt ) sin nx .(5)

Para encontrar los coeficiente indeterminados An y Bn supondremos que f y g son lo
suficientemente buenas y lo expendemos en el intervalo de (- , ) de forma
impar, es decir que f y g sean funciones impares .Entonces podemos desarrollar la
serie de Fourier amabas funciones y adems las correspondientes series son absoluta
y uniformemente convergente
Si ahora usamos las condiciones iniciales (2) obtenemos

u ( x , 0 )=f ( x )= An ( sin nx )
n=1

u ( x , 0 ) =g ( x )= nBn ( sin nx )
t
n=1
Donde

2
n= g ( x ) sin nxdx (6)
0

2
n= f ( x ) sin nxdx B
0
A

Esta frmula ya tiene puntos diferentes entre la ecuacin del calor y la de Schrodinger,
la dependencia temporal de las soluciones es dada por un decaimiento de una
exponencial real en el caso del calor y por una exponencial compleja oscilatoria de
valor absoluto en el caso de Schrodinger.

As no es posible mostrar un resultado similar de la proposicin 1.56. Necesitamos

precisar la informacin acerca del comportamiento de los coeficientes b k cuando k

para establecer condiciones para la convergencia de (1.112).

| b
k 1

Si

(1.113)

El criterio M de Weierstrass implica que la serie (1.112) converge absoluta y

0, 0,

uniformemente sobre
en partculas,
condiciones de frontera en (1.110).

0, 0,

De hecho, (1.112) es tambin definida para t<0 y pertenece a C

no es el caso de la ecuacin del Calor .

y satisface las

, 0,

. Este

En la conduccin del calor el proceso es irreversible, mientras el fenmeno descrito

por la ecuacin de Schrodinger el tiempo es reversible.
Adems (1.113) no es suficiente para asegurar que la serie puede ser derivada
termino a trmino.
Para calcular una derivada temporal necesitamos
ix 2 2

knx
| bk sen

k 1

x b
2

As necesitamos que

ix 2 2 2
| 2
2

k b
k 1

k 1

Mientras que la derivada con respecto a X necesitamos

kb
k 1

En el siguiente captulo mostraremos que tales condiciones se satisfacen si

suficientemente suave.

es

Probaremos resultados de buena colocacin en ciertos espacios de funciones

continuas adems estos resultados no son bastantes satisfechos, ya que las
soluciones no son tan suaves como las condiciones inciales.
Trabajo adicional es necesario para llegar a este problema.
Notas similares se aplican a la ecuacin de onda.
Consideremos el problema.

c2

o, 0, 0. 0,

t2 t , x c 2 2x t , x

t , x 0, 0,

t ,0 t , 0

t 0

0, x x c 2 0,
t 0, x x c ' 0,

Donde

son datos inciales dados q satisfacen condiciones de compatibilidad

(0) () (0) () '' (0) '' ()

En este caso,
puntos finales

(t , x)

x0

describe el desplazamiento vertical de una cuerda vibrante con

y con estado y velocidad inicial dadas por

respectivamente. En cualquier tiempo t la cuerda se localiza

(t , x)

(x)

( y)

Ahora vamos X(x)T(t) que satisfacen las primeras tres condiciones de (1.114) es fcil
verificar que x es de nuevo determinada por (1.111).
Veamos

t2 (t , x ) x( x)T '' (t ) c 2 x '' ( x)T (t ) 2 t2 (t , x)

As

x '' ( x) T '' (t )

x( x) c 2T ( x)

As

x '' ( x ) x ( x )

x(t ,0) x(0)T (t ) 0

x ( 0) 0

x(t , ) x ()T (t ) 0

x() 0

As los eigen valores son:

k 2 2
2

Y la eigen funciones

xk ( x ) Bx

senkx

Ahora para

T '' (t ) c 2T (t )

t>0

Tc 2 ((0, ) [0, ))

Tenemos

T '' (t ) c 2T (t )

Como

(0, )

T (t ) A cos ct Bsn ct
Y asi encontramos soluciones correspondientes a los eiegen valores

Tk (t ) A cos

kct
kct
Bsen

Nota la dependencia temporal de estas soluciones es oscilatoria como en el caso de la

ecuacin de Schrodinger.
Se sigue del principio de superposicin y con las mismas dificultades de (1.112)
tenemos:

ckt
ckt
kx

u (t , x ) Ak cos
Bk sen
sen
l
l
l
k 1

(1.115)
Derivando formalmente con respecto al tiempo y evaluando en cero tenemos:

u (0, x) Ak sen
k 1

kx
( x)
l

As:

2
kx
0( x) sen
dx

l 0
l
l

Ak

(1.116)

Y derivando obtenemos:

ck (0) Bk ck
ck (0)
kx
Ak ck
sen

cos
sen
l
l
l
l
l
k 1

t.u (0, x)

t.u (0, x)
k 1

sen
Multiplicando por

nx
l

Bk ck
kx
sen
( x)
l
l

e integrando tenemos:
l

Bk

l.2
kx
( x) sen
dx

ckl 0
l
l

2
kx
Bk
( x) sen
dx

ck 0
l
Ecuacin (1.117)
Como en el caso de la ecuacin de Schdingers, la convergencia de la serie depende
del comportamiento de los coeficientes
las identidades trigonomtricas:

Ak

Bk

, adems, en este caso podemos usar

1
sen(a b) sen(a b)
2
1
sena.senb cos( a b) cos( a b)
2
sena. cos b

Reescribiendo (1.115) obtenemos:

u (t , x) Ak cos
k 1

ckt
kx
ckt
kx
sen
Bk sen
sen
l
l
l
l

1
ckt kx
kx ckt
sen
sen

l
l

u (t , x) Ak
k 1

u (t , x) Ak cos
k 1

1
kx ckt
kx ckt
B k cos
cos

l
l

ckt
kx
ckt
kx
sen
Bk sen
sen
l
l
l
l

u (t , x)

1
k
x ct sen k x ct
Ak sen

2 k 1
l

k
x ct cos k x ct
B k cos
l

u (t , x)

1
x ct x ct Bk cos k x ct cos k x ct
2
l

l

k 1

Ecuacin (1.118)
Pero (1.117) sugiere:
Definiendo:
x

( x)

1
( y )dy
c 0

Tenemos:

1 ckt
ky
( x)
Bk sendy
dy
c k 1 l
l
0
x

kx
( x) Bk cos
1
l

k 1

kx
( x) Bk cos
Bk
l
k 1
k 1

Bk cos
k 1

kx
Bk ( x )
l
k 1

As (1.118) queda:

u (t , x)

1
x ct x ct
2

Bk ( x ct )

k 1

1
x ct x ct ( x ct ) ( x ct )
2
x ct
1
1
u (t , x) x ct x ct
( y )dy
2
2c x ct
u (t , x)

Ecuacin (1.120)

B
k 1

( x ct )

Se sigue prescindiendo de la convergencia de las series (1.116) y (1.117) si podemos

extender
y
a la recta completa de manera adecuada, se puede mostrar que
(1.120) es solucin de (1.114)