PRCTICA 3: FUNCIONES DE UN OPERADOR.

MODOS NORMALES
DE UN SISTEMA DE OSCILADORES
P. BRUSCOLINI, J. CLEMENTE-GALLARDO Y S. PREZ-GAVIRO

1.

1.1. Denicin.

Introduccin: la exponencial de un operador

Sabemos por lo visto en el captulo 5 que aquellas funciones para

las cuales dispongamos de una serie de Taylor convergente en un entorno alrededor de

cada punto de su dominio, que es lo que se denomina

funcin analtica, nos permiten

denir funciones de endormosmos denidos sobre un espacio vectorial.

Una funcin analtica se escribe, para cualquier punto
de

Kn

x D

donde

es el abierto

donde est denida como la serie:

f (x) =

X
f (k) (x0 )
k=0

k!

(x x0 )k

Si consideramos las series en torno al origen, tendremos:

f (x) =

X
f (k) (0)
k=0

k!

xk

Es esta la expresin que vamos a considerar para la denicin de la funcin de un

endomorsmo.

Denicin 1.1. Sea f : K K una funcin analtica denida sobre el cuerpo K, y

sea H : V V un endomorsmo denido sobre un Kespacio vectorial V . Entonces,

denimos la funcin del endomorsmo H como el Kendomorsmo denido por la
serie:
k

X
z }| {
f (k) (0) k
k
f (H) =
H
H := H . . . H
(1)
k!
k=0
En esta prctica trataremos, entre otras cosas, la funcin exponencial de una matriz

que representa un endomorsmo en una base dada,

exp(A) =

X
Ak
k=0

1.2. Convergencia de la serie.

k!

=1+A+

A2
A3
+
+
2
6

(2)

Es importante destacar que la convergencia de

las series vistas implican que los trminos de la misma decrecen. Slo as puede
entenderse que la contribucin de innitos trminos se combine en un resultado nito.
Para poder considerar ese decrecimiento en el caso de las matrices, sin pasar por el
clculo de los autovalores y la forma cannica, necesitamos considerar una norma
sobre el conjunto. Es decir, necesitamos una forma de medir o pesar el efecto de
cada trmino en la suma de la serie.
1

P. BRUSCOLINI, J. CLEMENTE-GALLARDO Y S. PREZ-GAVIRO

Denicin 1.2. Denominaremos norma de una matriz a cualquier aplicacin

k k : Mn (K) R

que satisfaga las siguientes propiedades:

1. kAk 0 para cualquier A Mn (K). kAk = 0 slo ocurre para la matriz nula.
2. kAk = ||kAk, A Mn (K). kAk = 0 y para cualquier K.
3. kA + Bk kAk + kBk, para cualesquiera dos matrices A, B Mn (K).
Las tres propiedades anteriores caracterizan una norma en cualquier espacio vectorial.
En el caso de las matrices, adems, se suele exigir una condicin adicional, para tener
en cuenta el producto (recordemos que esa es una estructura adicional que no existe
en todos los espacios vectoriales). Exigiremos entonces que:
4 kABk kAkkBk, para cualesquiera dos matrices A, B Mn (K).
Aunque hay muchas posibles normas, vamos a considerar slo la denominada norma
de Frobenius. Si consideramos el isomorsmo:

a11
a12

..

.
a1n

a1n
a2n

. (A) = a21
.
.
.
..

ann
a
n1
. . .

: Mn (K) Kn ;

a11
a21

A= .
..
an1

a12
a22

...
...

.
.
.

.
.
.

an2

...

(3)

ann
podemos considerar, para las matrices, la norma que podemos denir sobre

Kn ,

em-

pleando las estructuras cannicas que hemos visto:

hv1 |v2 i1 =

v1k v2k

k
si

K=R

hv1 |v2 i1 =

v1k v2k

k
si

K = C.

Denicin 1.3. Sea A Mn (K) una matriz cuadrada. Denemos su norma kAkF
como:

v
u n2
uX
kAkF = t
(A)2k ,

(4)

k=1

donce (A)k representa la k sima componente del vector (A) denido por la ecuacin (3). Es inmediato vericar que
p
kAkF = tr(A A),
(5)
Denominaremos a esta norma la norma de Frobenius o la norma de Hilbert-Schmidt
de la matriz A.
Respecto a cualquiera de estas normas, puede verse que los trminos obtenidos
en la serie de la ecuacin (2), son ms pequeos conforme avanzamos en la serie, es

PRCTICA 3: FUNCIONES DE UN OPERADOR

decir

lm k(exp(A)]k+1 (exp(A))k k = 0,

(6)

k
donde representamos por

exp(A)k

la serie (2) truncada a orden

exp(A)k =

es decir

k
X
Aj
j=0

2.

k,

(7)

j!

Clculo numrico de la exponencial de una matriz

Adems de las funciones implementadas en Octave, nos proponemos evaluar la

exponencial de una matriz a partir de la denicin como una serie de potencias. Al
tratarse de una evaluacin en el ordenador no podemos considerar series innitas, por
lo que deberemos considerar series truncadas en la forma 7.
Si calculamos la expresin anterior para un valor de

k N

sucientemente alto,

la aproximacin a la matriz exacta ser razonable. Para ponderar esa aproximacin

emplearemos la norma que hemos considerado en la seccin 1.2: si jamos como

el

valor (pequeo) que consideramos aceptable como error (en norma) en la obtencin de
la exponencial necesitamos determinar el mnimo valor de

que satisface la ecuacin

d = k exp(A) exp(A)k k < ,

donde

exp(A)

(8)

es la expresin de la exponencial de la matriz calculada en base de

autovalores o mediante la funcin disponible en Octave, y

es calculada usando la

norma de Frobenius:

d=

Tr ((exp(A) exp(A)k ) (exp(A) exp(A)k )) < 

(9)

Por consiguiente, para aproximar la exponencial de una matriz por una serie truncada, el algoritmo a implementar sera el siguiente:
A) Partimos de la matriz a exponenciar y el valor de la tolerancia

 que aceptamos

en la aproximacin del clculo

B) se construyen las sucesivas potencias de la matriz, y se calcula la correspondiente serie

exp(A)k =

k
X
Aj
j=0

C) empleando la serie con un valor de

j!

y el valor exacto determinamos

d = k exp(A) exp(A)k k.


D) cuando el error calculado est por debajo de la tolerancia ( ), el programa

devuelve el valor de la exponencial aproximada hasta el valor de

que se ha

determinado.

3.

Sistema de osciladores acoplados: modos normales

Vamos a considerar ahora, como aplicacin en Fsica de la teora anterior, un mecanismo para calcular, de manera aproximada, la evolucin de un sistema de osciladores
armnicos en una dimensin, acoplados entre s.
Sea entonces un conjunto de

osciladores armnicos en una dimensin acoplados

entre s, con longitudes naturales iguales a

d.

La posicin de equilibrio de la masa

mj

P. BRUSCOLINI, J. CLEMENTE-GALLARDO Y S. PREZ-GAVIRO

x = jd . Representemos con la variable {xj }j=1,N el desplazamiento

{mj } respecto a su posicin de equilibrio .
que N = 3 encontramos:

ser pues el punto

de cada una de las masas

En el caso en

Vamos a considerar el caso simple de tres partculas unidas por muelles de la misma
constante

k . Si estudiamos las fuerzas que actan sobre cada una de ellas, y escribimos

la segunda ley de Newton encontraremos que:

m1 x1 = kx1 k(x1 x2 )

(10)

m2 x2 = k(x2 x1 ) k(x2 x3 )

(11)

m3 x3 = k(x3 x2 ) kx3

(12)

Podemos escribir esta ecuacin diferencial en forma matricial:

X(t)
= A3 X(t),
donde el vector

(13)

est formado por las posiciones de las 3 partculas

x1
X = x2 ,
x3
y la matriz

A3

(14)

toma la forma

2 mk1

A3 = mk2
0

mk1
2 mk2
mk3

0
mk2
2 mk3

(15)

Si denimos las frecuencias

r
1 =
podemos escribir:

k
;
m1

r
2 =

k
;
m2

r
3 =

k
,
m3

(16)

PRCTICA 3: FUNCIONES DE UN OPERADOR

212

A3 = 22
0

12
222
32

0
22
232

(17)

Es sencillo vericar que los vectores

X(t) = e i
donde

A3 t

Xa + e i

A3 t

Xb ,

(18)

A3 es la raiz cuadrada de la matriz A3 , sern soluciones de la ecuacin diferen-

cial con unas condiciones iniciales dadas si escogemos adecuadamente las constantes
de integracin

Xa

Xb . Efectivamente, si sabemos las condiciones iniciales de nuestro

sistema son

podemos determinar

x1 (0)
X(0) = x2 (0)
x3 (0)
Xa y Xb imponiendo

x1 (0)

X(0)
= x2 (0)
x3 (0)

(19)

que

X(t = 0) = Xa + Xb = X(0)

(20)

y que


p
dX(t) 

= i A3 (Xa Xb ) = X(0)
(21)

dt t=0
Esto nos da un sistema de 2N ecuaciones con 2N incgnitas, cuyas soluciones determinan los valores adecuados de las constantes Xa y Xb .
Si generalizamos la ecuacin al caso en que tenemos N partculas, encontramos un
sistema de ecuaciones de movimiento en la forma

= AX
X

(22)

donde

x1
x2

X= .
..
xN

(23)

y la matriz que dene el sistema toma la forma

212
22

A= 0
.
..

12
222
32

0
22
232

0
0
32

0
0
0

0
0
0

.
.
.

.
.
.

.
.
.

.
.
.

.
.
.

.
.
.

N2

2N2

con

j2 =

k
mj

j = 1, , N

(24)

(25)

De nuevo las soluciones de la ecuacin (22) se pueden escribir de la forma

X(t) = e i

At

Xa + e i

At

Xb ,

(26)

N
R , que quedan determinadas por las condiciones iniciales
del problema y de nuevo
A representa la raz cuadrada de la matriz A. Para calcular

A, pasaremos por diagonalizar A, como visto en clase.

done

Xa

Xb

son puntos en

P. BRUSCOLINI, J. CLEMENTE-GALLARDO Y S. PREZ-GAVIRO

Denicin 3.1. Se denominan modos

normales de vibracin a los vectores propios

{uj }j = 1, , N de la matriz A. Los autovalores correspondientes j reciben el

nombre de frecuencias naturales o frecuencias resonantes del sistema.
En la base de modos normales, por tanto, la expresin de la matriz A es de la forma
2

1 0 0 0 0
0
0 22 0 0 0
0

(27)
A= .
.
.
.
.
.
.
.
.
.
.
.
.
..
.
.
.
.
.
.
0
0 0 0 0 2N
Los modos normales son soluciones de la dinmica del sistema en la cual las partculas se mueven simultneamente y de forma peridica. Desde un punto de vista
prctico, los modos normales resultan de gran importancia en muchas reas de la
Fsica como resultar evidente a lo largo de vuestros estudios.
4.

Practica

Durante la prctica pretendemos trabajar en dos reas:

En primer lugar, se debe prepara un cdigo que construya las soluciones del
sistema dinmico calculando la expresin (26). Para ello, adems de otras
tareas, se deber:

A (es decir, la expresin (24))

N , el valor de la constante de
los muelles k y la masa de cada partcula {mj }j=1, ,N .
Determinar la raz cuadrada de la matriz A (SIN usar la funcin de Octave
(sqrtm()))
Determinar las expresiones de Xa y Xb para que el sistema tenga unas

1. Preparar un cdigo que genere la matriz

una vez especicados el nmero de masas

2.

3.

condiciones iniciales dadas (Ecs. (20) y (21)).

4. calcular las matrices exponenciales
dremos que evaluar

ei

At

e i

At

considerando que ten-

para una serie de valores (para describir una trayec-

toria).
5. Con los valores anteriores de

Xa

Xb , determinar, usando la ecuacin (26),

los valores de las posiciones para cualquier instante de tiempo. Almacenar

la evolucin temporal en una matriz sol(j,t) de dimension

nt

N nt ,

donde

es el nmero de tiempos considerados. En la prctica se tendrn que

representar las trayectorias correspondientes.

Adems queremos ver cmo de rpida es la convergencia de la serie de potencias que dene la exponencial. Para ello vamos a considerar la distancia
entre las exponenciales de las matrices calculadas a partir de la norma de la
diferencia como se ha explicado en la Seccin 2.