Curso Completo (Junio 1)

MATEMATICAS ESPECIALES
NOTAS DE CLASE
J. D. VELEZ
U NACIONAL
PRIMER SEMESTRE DE 2015
ii
ndice general
Introduccin
1. Bases de Groebner
1.1. Anillos de polinomios . . . . . . . . . . .
1.2. Ideales y Variedades Algebraicas . . . .
1.3. Ordenes monomiales . . . . . . . . . . .
1.4. Algoritmo de la divisin en k[x1; :::; xn ] .
1.5. Bases de Groebner . . . . . . . . . . . .
1.6. S-polinomios y algoritmo de Buchberger
1.7. Taller 1 . . . . . . . . . . . . . . . . . .
1.8. Sistemas de ecuaciones polinomiales . .
1.9. Taller 2 . . . . . . . . . . . . . . . . . .
2. Control cinemtico de brazos
2.1. Anlisis del caso l2 = l3 . .
2.2. Caso l2 6= l3 . . . . . . . . .
2.3. Brazos en tres dimensiones
2.4. Taller 3 . . . . . . . . . . .
2.5. Simulacin en Maple . . . .
mecnicos
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
3. Ecuacin de Onda
3.1. Cuerda vibrante . . . . . . . .
3.2. Solucin de la ecuacin de onda
3.3. Modo fundamental y armnicos
3.4. Escalas musicales . . . . . . . .
3.4.1. Escala pitagrica . . . .
3.5. Escala Temperada . . . . . . .
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
7
8
13
14
17
18
24
.
.
.
.
.
27
36
39
42
43
44
.
.
.
.
.
.
49
49
53
55
58
58
62
iv
NDICE GENERAL
4. Series de Fourier
67
4.1. Desarrollo en serie de una funcin peridica . . . . . . . . . . 67
4.1.1. Funciones pares e impares . . . . . . . . . . . . . . . . 71
5. Ecuacin del calor
77
5.1. Calor y temperatura . . . . . . . . . . . . . . . . . . . . . . . 77
5.2. Ley de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.3. Ecuacin del calor en un clilindro de densidad uniforme . . . 81
5.4. *Ecuacin del calor en un cuerpo P (Opcional) . . . . . . . . 83
5.4.1. Temperatura ja en los extremos y solucin de la ecuacin
5.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.4.2. Solucin con temperatura constante arbitraria en los
extremos . . . . . . . . . . . . . . . . . . . . . . . . . 87
6. La membrana vibrante
93
6.1. Ecuacin de una membrana vibrante rectangular . . . . . . . 93
6.2. Solucin de la ecuacin de la membrana rectangular . . . . . 98
6.2.1. Frecuencias de los modos fundamentales y curvas nodales105
6.3. Membranas circulares . . . . . . . . . . . . . . . . . . . . . . 107
6.4. Apndice: cmputo del laplaciano en coordenadas polares . . 114
7. Nmeros complejos
7.1. Nociones bsicas . . . . . . . .
7.2. Funcin exponencial . . . . . .
7.3. Teorema de Gauss . . . . . . .
7.4. Ecuaciones de Cauchy-Riemann
7.5. Funciones armnicas . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8. *Aplicaciones: polarizacin de un fotn

8.1. Modelo clsico . . . . . . . . . . . . . . . . .
8.2. Modelo corpuscular . . . . . . . . . . . . . . .
8.2.1. Polarizadores en serie . . . . . . . . .
8.2.2. Experimento de Paul Dirac . . . . . .
8.3. Experimento EPR: entrelazamiento cuntico .
8.3.1. Sistemas de dos o ms partculas . . .
8.3.2. Desigualdad de Bell . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
117
. 117
. 120
. 125
. 134
. 139
.
.
.
.
.
.
.
143
. 143
. 145
. 147
. 148
. 149
. 150
. 152
Introduccin
Estas notas pretender servir de apoyo y complemento para el material del
curso Matemticas Especiales, de la Universidad Nacional. Las referencias
fundamentales son las siguientes: [7], [6], [5].
vi
PREFACIO
Captulo 1
Bases de Groebner
Este primer captulo es una breve introduccin a la teora de las bases de
Groebner cuyo propsito es mostrar algunas de sus aplicaciones a la robtica.
No se supone ningn conocimiento previo del tema por parte del lector,
slo alguna familiaridad con el lenguaje bsico del lgebra de polinomios.
Aquellos interesados exclusivamente en las aplicaciones de la teora pueden
omitir en una primera lectura todas las demostraciones de los teoremas. El
lector encontr una excelente introduccin a la teora de bases de Groebner
en [9], [10]. Una buena introduccin a la robtica puede leerse en [11].
1.1.
Anillos de polinomios
Denotemos por k a uno cualquiera de los dos campos, R; los nmeros

reales o Q, los racionales. Como es costumbre, el anillo de polinomios sobre k en las variables x1 ; :::; xn ; se denotar
Ppor k[x1 ;1:::; xn ]:n Sus elemenc x1
xn , donde =
tos son sumas nitas de la forma f =
1 ;:::; n )
=(
( 1 ; : : : ; n ) denota una tupla de enteros

mento de k: Por ejemplo,
f = 1 + 5x1 x2
g=
0; y cada c denota un ele-
2x23 ;
3 + 2x1 + 3x2
h = 10
1
x3 + x1 x2
2
1
x1 x2 x3 + x41 x52 x73 ;
3
2
x71 + x83
3
son elementos de Q[x1 ; x2 ; x3 ].

A cada expresin m = x1 1
xnn se le llama un monomio en las variables
x1 ; :::; xn , y a cada sumando c x1 1
xnn se le denomina un trmino de f .
1
CAPTULO 1. BASES DE GROEBNER
xnn se pueden denotar de manera abreviada

Cada monomio m = x1 1
como x , donde, recordemos,P = ( 1 ; : : : ; n ): As, f se puede escribir de
manera abreviada como f = c x .
En el ejemplo anterior, el polinomio f es suma de tres trminos: m1 ; m2 ; m3 ,

donde: m1 = 1x01 x02 x03 ; m2 = 5x11 x12 x03 ; m3 = 2x01 x02 x23 : Con frecuenxnn simplemente como
=
cia nos referiremos al monomio m = x1 1
( 1 ; : : : ; n ). Su grado se dene como la suma de los exponentes i , es
decir, como j j = 1 +
+ n:
En R = k[x1 ; :::; xP
n ] los elementos
P se pueden sumar y multiplicar de
la manera usual: f = c x y g = d x se suman trmino a trmino:
P
P
c d x + . Aqu,
f + g = (c + d )x . Y se multiplican como f g =
;
si = ( 1 ; : : : ; n ) y = ( 1 ; : : : ;
denicin ( 1 + 1 ; : : : ; n + n ):
n ),
entonces el exponente
Ejemplo 1.1.1 En R = Q[x; y; z], si f =

y 3xy + 8xyz z 3 , entonces:
f +g =
13 + x + y
1 + 2xy
5xyz y g =
xy + 3xyz
es por
12 + x +
z3:
Si
h=
1 + 8xyz
z3 y u =
12 + x + y
3xy
entonces
hu = 3xyz 3 24x2 y 2 z xz 3 yz 3 +8xy 2 z+8x2 yz+12z 3 96xyz+3xy x y+12:
En la ventana CAS de GeoGebra, la operacin puede realizarse como puede
1.2. IDEALES Y VARIEDADES ALGEBRAICAS
verse a continuacin.
ventana CAS
1.2.
Ideales y Variedades Algebraicas
Denicin 1.2.1 Si f1 ; : : : ; fm son polinomios en R = k[x1 ; :::; xn ] entonces

el ideal generado por f1 ; : : : ; fm , que denotaremos por I = ( f1 ; : : : ; fm ); es
el conjunto de todas las combinaciones lineales de la forma g = h1 f1 +
+
hm fm , con coecientes escogidos en R:
I = fg 2 R : g = h1 f1 +
+ hm fm , donde hi 2 R son arbitrariosg :
En general, un subconjunto J R se llama un ideal de R si para cualquier

par de elementos f , g en J su suma y diferencia f + g, f g estn contenidas
en J, as como cualquier producto de la forma hf; hg, donde h es cualquier
otro polinomio en R.
Se verica inmediatamente que I = ( f1 ; : : : ; fm ) es en efecto un ideal,
en el sentido anterior. De hecho, es el ideal ms pequeo que contiene a
f1 ; : : : ; fm . Es decir, cualquier otro ideal de R que contenga a f1 ; : : : ; fm
debe contener a I:
Observacin 1.2.2 Se puede demostrar recprocamente que si J es un ideal de R, entonces existen polinomios f1 ; : : : ; fm de tal manera que J =
(f1 ; : : : ; fm ): Este Teorema se conoce como Teorema de la Base de Hilbert.
Denicin 1.2.3 Dado un conjunto de polinomios A = ff1 ; : : : ; fm g en
el anillo R = k[x1 ; :::; xn ]; la variedad algebraica determinada por A; que
denotaremos por V (A); se dene como el conjunto de todas aquellas n-tuplas
en k n que son ceros comunes a todos los polinomios de A: Es decir,
V (A) = fc = (c1; :::; cn ) 2 k n : fi (c1 ; : : : ; cn ) = 0; para todo fi en Ag:
El conjunto V (A) de la denicin anterior es precisamente el conjunto de
todas las soluciones del sistema de ecuaciones
f1 (x1 ; : : : ; xn ) = 0
..
.
fm (x1 ; : : : ; xn ) = 0:
Ejemplo 1.2.4
1. Si R = R[x; y] y A = fx2 + y 2 1; y x2 g, entonces
V (A) puede hallarse mediante el comando ResolucinC[, ]. Vemos que
las nicas races reales son:
( p p
)
p p
p
p
2 5 2 5 1
2 5 2 5 1
V (A) = (
;
); (
;
)
2
2
2
2
que son los puntos de corte de la parbola y
x2 y el crculo unitario.
1.2. IDEALES Y VARIEDADES ALGEBRAICAS
2. V (xy z; x2 + y 2 + z 2 1) R3 es el conjunto de ternas (c1 ; c2 ; c3 ) en

R3 que satisfacen el sistema de ecuaciones polinmicas
xy
2
x +y +z
z=0
1 = 0:
En otras palabras, la variedad cortada por xy z y x2 + y 2 + z 2 1

es la interseccin en R3 del hiperboloide z xy y la esfera de radio
unitario:
Este conjunto es la curva cortad por la ecuacin de grado cuatro x2 +

y 2 + x2 y 2
1=0
Observacin 1.2.5
1. V (A) = V (I); donde I es el ideal de R generado
por los elementos de A: Primero, observemos que si A B entonces
V (B) V (A): Como A I entonces V (I) V (A). De otro lado, la
inclusin en el sentido contrario tambin se cumple, ya que si (c) =
(c1 ; : : : ; cn ) es un cero comn de todos los polinomios de A tambin lo
es de cualquier elemento que sea una combinacin lineal de elementos
de A con coecientes en R:
2. Para todo par de ideales I; J en R se cumple que V (I)[(J) = V (I \J):
Como I\J esta incluido en I y en J entonces V (I) V (I\J) y V (J)
V (I \ J); y en consecuencia V (I) [ V (J) V (I \ J): Ahora, veamos
que (c) 2 V (I \ J) entonces (c) 2 V (I) o (c) 2 V (J):;Razonemos por
el absurdo, es decir, supongamos que (c) fuera un cero comn de todos
los polinomios contenidos en I \ J y que (c) no estuviera contenido
ni en V (I) ni en V (J). Entonces existiran polinomios f 2 I y g 2 J
tales que f (c) 6= 0 y g(c) 6= 0: Por tanto f g(c) = f (c)g(c) 6= 0. Pero f g
est contenido tanto en I como en J, ya que I y J son ideales, lo cual
estara en contradiccin con nuestra hiptesis de que (c) 2 V (I \ J):
3. Para todo par de ideales I; J en R se cumple que V (I) \ V (J) =
V (I + J):
Esta armacin se demuestra de manera similar.
1.3. ORDENES MONOMIALES
1.3.
Ordenes monomiales
Empecemos por denir la nocin de un orden monomial en R = k[x1 ; :::; xn ]:

Denicin 1.3.1 Un orden monomial es un ordenamiento de todos los
monomios de R (un orden total) que cumple las siguientes propiedades:
1. Si x > x entonces x x > x x para todo monomio x :
2. x > 1, para todo monomio x ; con
6= 0:
Ejemplo 1.3.2
1. El orden lexicogrco: este orden es anlogo a la manera como vienen organizadas las palabras en el diccionario (de ah el
nombre). Sean x = x 1
x n y x = x 1
x n dos monomios.
Declaramos x > x si en el vector diferencia
la primera entrada
distinta de cero, contando de izquierda a derecha, es positiva. En este
caso escribiremos x >lex x : Por ejemplo x2 y 3 >lex xy 6 ; x5 y 3 z >lex
x5 y 2 z 2 :
En este orden, si declaramos x > y > z, entonces los monomios de
k[x; y; z] quedaran ordenados de las siguiente manera:
1 < z < z2 <
< zn <
< y < yz < yz 2 <
< yz n <
< y2 < y2z <

..
.
< y2zn <
< yn < ynz <

..
.
< ynzm <
< x < xz <

..
.
< xn z <
2. El orden graduado lexicogrco: en este orden x >glex x si j j > j j.

En caso de ser j j = j j ; si x (i) >lex x : Por ejemplo xy 6 >glex
x2 y 3 ; x2 y 2 >glex x2 yz:
3. El orden lexicogrco inverso: en este orden x >greverlex x si j j >
j j : Y si j j = j j, entonces la primera entrada de
= ( 1
1; : : : ; n
n ), contada de derecha a izquierda es negativa (el monomio
con ms peso en la cola pierde).
P
Denicin 1.3.3 Sea f =
a x un polinomio no nulo en k[x1 ; :::; xn ];
y sea > un orden monomial jo. El grado de f , grado(f ); se dene como
= ( 1 ; : : : ; n ) donde x es el mayor monomio de f . El trmino lder de
f , que denotaremos por tl(f ), se dene como a x , donde x es el monomio
ms grande que aparece en f:
Ejemplo 1.3.4 Bajo el orden >glex ;si f = xy 6 3x2 y 3 + 5x2 y 2 7x2 yz,
su grado es (1; 6) y su trmino lder es xy 6 : Con el orden lexicogrco >lex ,
su trmino lder sera 3x2 y 3 y grado(f ) = (2; 3):
1.4.
Algoritmo de la divisin en k[x1; :::; xn ]
Nuestro objetivo es dividir f 2 R = k[x1 ; :::; xn ] por polinomios f1; :::; fn :

Como veremos, esto signica escribir a f en la forma f = a1 f1 + +as fs +r;
donde a1 ; :::; an ; r son polinomios en R los cuales satisfacen la siguientes
propiedades:
1. grado(ai fi )
grado(f ):
2. r = 0 o bien r es una combinacin lineal de monomios donde ningn

monomio es divisible por ninguno de los trminos lderes de los fi :
Antes de probar formalmente la existencia de un algoritmo con estas
propiedades veamos un ejemplo.
Ejemplo 1.4.1 Dividamos a f = x2 y + xy 2 + y 2 entre f1 = xy 1 y
f2 = y 2 1; usando el orden lexicogrco. En primer lugar, vemos que
el trmino lder de f es divisible por los trminos lderes de f1 y f2 : Si
dividimos el trmino lder de f por el trmino lder de f1 ; podemos escribir
nuevamente a f en la forma f = x(xy 1) + x + xy 2 + y 2 : Volvemos a repetir
este proceso: tratamos de eliminar a xy 2 , el trmino lder del polinomio
xy 2 + x + y 2 : Nuevamente, podramos elegir para ello el trmino lder de
f1 o el de f2 : Usemos nuevamente a f1 : escribamos a x + xy 2 + y 2 en al
forma xy 2 + x + y 2 = y(xy 1) + x + y + y 2 : Ahora, podemos ver que el
trmino lder de x + y + y 2 no es divisible ni por tl(f1 ) ni por tl(f2 ) (esta
es una situacin que no ocurre en el caso de polinomios en una variable).
En este caso seguimos examinando los monomios que le siguen en el orden
lexicogrco, que son y y y 2 : Vemos que y tampoco es divisible, pero y 2 s
lo es. Dividimos nuevamente, en este caso por f2 :
x + y + y 2 = 1 (y 2
1) + x + y + 1:
1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ]
Al llegar a este punto podemos ver que ninguno de los monomios de x+y +1
es divisible por tl(f1 ) o tl(f2 ). Este ltimo polinomio ha de ser entonces el
residuo. Poniendo todo esto junto vemos que hemos escrito a f como
1 (y 2
f = (x + y)f1 + |{z}
| {z }
a1
a2
1) + x + y + 1;
| {z }
r
donde grado(a1 f1 )
grado f; grado(a2 f2 )
grado f; y donde ningn
monomio de r es divisible ni por tl(f1 ); ni por tl(f2 ):
Pasemos a dar una demostracin rigurosa de este procedimiento.
Teorema 1.4.2 (Algoritmo de la divisin) Sea > un orden monomial
en R = k[x1 ; :::; xn ] y sea F = fg1 ; :::; gn g una lista ordenada de polinomios
en R: Entonces cada f en R puede escribirse en la forma f = a1 g1 +
+
an gn + r; con ai ; r 2 k[x1 ; :::; xn ]; y donde se satisfacen las siguientes dos
condiciones:
1. grado(ai gi )
grado(f )
2. r = 0; o r es una combinacin lineal de monomios donde ninguno es

divisible por los trminos lderes de g1 ; :::; gn :
Prueba. Sea M el conjunto formado por todos aquellos monomios de f que
son divisibles por el trmino lder de algn gi : Si ningn monomio de f tiene
esta propiedad entonces podemos tomar a r como el mismo polinomio f; y
a todos los ai iguales a cero. Por otro lado, si M no es vaco, nos jamos en
el menor i tal que tl(gi ) divide algn monomio de f: De todos los posibles
monomios divisibles por tl(gi ); escogemos el mayor de todos ellos, digamos
c x : Supongamos que c x =tl(gi )m; y escribamos f como f = c x +
f 0 ; donde cualquier monomio de f 0 divisible por tl(gi ) es necesariamente
menor que c x : Podemos escribir f en la forma f =tl(gi )m + f 0 : Ahora, si
gi =tl(gi ) + gi0 , entonces
f = tl(gi )m + f 0 = (gi
gi0 )m + f 0 = mgi + (f 0
gi0 m)
Es claro que grado(gi m) grado(c x ) grado(f ) y que grado(g) grado(c x ):

Si h denota el polinomio f 0 gi0 m; vemos entonces que el mayor de los
monomios de h divisible por tl(gi ) es necesariamente de grado menor que
c x : Esto nos permite aplicarle el mismo razonamiento a h y concluir la
demostracin utilizando induccin.
10
Existen varios paquetes de cmputo simblico (infortunadamente no es

el caso de GeoGebra) que permiten computar el residuo de la divisin de un
polinomio por una serie de otros polinomios.
Algoritmo de la divisin en sntesis: se toma como entrada una
lista de polinomios f , g1 ; : : : ; gn en k[x1 ; : : : ; xn ], donde se ha establecido un
cierto orden monomial.
1. Se encuentra el mayor trmino c x de f divisible por algn tl(gi1 ),
digamos c x =tl(gi1 )m1 :
2. Escribimos f = c x + f 0 , y gi1 =tl(gi1 ) + g 0
3. Rescribimos f en la forma
f = tl(gi1 )m1 + f 0 = (gi1
4. Denimos h1 = f 0
g 0 )m1 + f 0 = m1 gi1 + (f 0
g 0 m1 ):
g 0 m1 . Luego f = m1 gi1 + h1 :
5. Los pasos 1-3 se repiten para h1 , de tal manera que h1 pueda escribirse
ahora como h1 = m2 gi2 + h2 , para un cierto monomio m2 ; y cierto gi2 :
As que
f = m1 gi1 + h1 = f = m1 gi1 + m2 gi2 + h2 :
6. Los pasos 1-3 se repiten para h2 , de tal manera que h2 pueda escribirse
como h2 = m3 gi2 + h3 , para un cierto monomio m3 , y cierto gi2 : As
que
f = m1 gi1 + m2 gi2 + m3 gi3 + h3 :
7. Se continua de esta manera, computando h1 ; h2 ; : : : ; hr ; hasta que
el polinomio hr sea un residuo, es decir, un polinomio para el cual
ninguno de sus trminos es divisible por ninguno de los trminos lderes
tl(g1 ); : : : tl(gn ). En este punto f se escribir como
f = m1 gi1 + m1 gi2 +
+ mr gir + hr ;
que podemos reescribir como f = a1 g1 +

nomios apropiados.
+ an gn + hr , con ai poli-
El paquete Singular, de acceso gratuito, es uno de ellos (puede descargarse en la direccin http://www.singular.uni-kl.de/).
1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ]
11
Ejemplo 1.4.3
1. Si, por ejemplo, f = xy 2y 4 xz 5 , f1 = xy + z 3
y 4 + 1; f2 = xyz y 2 + z 3 son polinomios en Q[x; y; z], con orden lexicogrco, el residuo de la divisin de f entre f1 y f2 puede computarse
en singular como se muestra a continuacin:
singular
El residuo resulta ser r =
yz 3 yz y z 3 1:
xz 3 + xz 2 + xz
y4 + y3z4 + y3z3
yz 4
Para computar los coecientes ai , puede utilizarse el comando division.
division
12

Por ejemplo, sea p = x4 2xy 2 + 1, y sean f1 = x2 2xz + 5 y
f2 = xy 2 + yz. La lista L contiene en su primera entrada, L[1]; una
matriz 2 1
2
3
4 x2 + 2xz + 4z 2
2
5 5
cuyas entradas son los polinomios a1 = x2 + 2xz + 4z 2 5 y a2 =

2: La segunda entrada de L, L[2], contiene el residuo de la divisin:
8xz 3 20xz + 2yz 20z 2 + 26:
2. Sea f = 2x2 yz + xy 2 + x + 1; f1 = xyz 2xy y; f2 = xy + 2: En
Maple el comando NormalForm computa el residuo y los cocientes de
la divisin:
Observacin 1.4.4 El algoritmo de la divisin en varias variables diere

en varios aspectos del algoritmo usual en una variable. En primer lugar, los
coecientes ai ; y el residuo r dependen del orden monomial escogido. En
general, tampoco se va a tener unicidad para los coecientes ai ni para el
residuo r: Por ejemplo, tomando nuevamente f = x2 y+xy 2 +y 2 , f1 = xy 1;
f2 = y 2 1; y dividiendo a f primero por f2 en vez de f1 ; se obtiene
f = (x + 1)f2 + xf1 + 2x + 1:
Esto nos muestra que para ms de una variable slo se obtiene una generalizacin imperfecta del algoritmo de la divisin usual en una variable.
1.5. BASES DE GROEBNER
13
Adems, a diferencia del caso en una variable, este algoritmo no resuelve el

problema que nos propusimos inicialmente. Por ejemplo, puede ocurrir que
al dividir a f , un elemento de un cierto ideal I = (f1 ; f2 ); por f1 y f2 ; se
obtengan dos residuos distintos, dependiendo del orden escogido al efectuar
la divisin: por ejemplo, si f = xy 2 x; f1 = xy + 1; f2 = y 2 1 fcilmente
se ve que f = yf1 + 0f2 + ( x y) y que f = xf2 + 0f1 + 0: Esta situacin
es sin embargo remediable. Para ello necesitamos la siguiente denicin.
Denicin 1.4.5 Sea I
R = k[x1 ; :::; xn ] un ideal diferente de cero. El
ideal de trminos lderes de I; que denotaremos por tl(I); se dene como
el ideal generado por todos los trminos lderes de todos los polinomios de
I: Es decir, tl(I) es el conjunto de todos los elementos de la forma g =
h1 (c1 x 1 ) +
+ hn (cn x n ); donde cada ci x i es el trmino lder de algn
polinomio en I
tl(I) = fg : g = h1 (c1 x 1 ) +
+ hn (cn x
n)
, ci x i = tl(fi ); fi 2 I; hi 2 Rg:
Observacin 1.4.6 Debemos sealar que si I = (f1 ; : : : ; fm ) entonces tl(I)

no es en general igual al ideal generado por tl(f1 ); : : : ; tl(fm ). Por ejemplo,
si I = (x3 2xy; x2 y 2y 2 + x); entonces tl(x3 2xy) = x3 ; tl(x2 y 2y 2 +
x) = x2 y, en el orden lexicogrco graduado. De otro lado, se observa que
x2 = x(x2 y 2y 2 + x) y(x3 2xy) es un elemento de I; y sin embargo
tl(x2 ) = x2 2
= (x3 ; x2 y):
No obstante, esta situacin nunca se presenta si los generadores del ideal
I forman una base de Groebner.
1.5.
Bases de Groebner
Denicin 1.5.1 Fijemos un cierto orden monomial en R = k[x1 ; :::; xn ].

Un conjunto ordenado G = ff1 ; ::; fn g de generadores de I se denomina una
base de Groebner si tl(I) es igual al ideal generado por tl(f1 ); :::;tl(fn ): Es
decir, tl(I) = (tl(f1 ); :::;tl(fn )): Dicho de manera equivalente, G es una base
de Groebner para I si dado cualquier polinomio f 2 I se cumple que cada
uno de sus trminos (en particular su trmino lder) es divisible por algn
monomio de I. (Esta equivalencia se sigue inmediatamete del ejercicio 7 de
la seccin anterior).
El siguiente teorema nos muestra una de las propiedades que hace ms
tiles a las bases de Groebner.
14
Teorema 1.5.2 Sea G = fg1 ; :::; gn g una base de Groebner para un ideal
I R = k[x1 ; :::xn ]: Sea f un polinomio en R: Entonces f 2 I si y slo si
el residuo de la divisin de f por G es igual a cero.
Prueba. Si el residuo de la divisin es igual a cero es claro entonces que
f se puede expresar como una combinacin lineal de los fi ; con coecientes
polinmicos. Esto implica que f 2 I: Supongamos ahora que f 2 I: Usando
el algoritmo de la divisin podemos escribir a f en la forma
f = a1 f1 +
+ an fn + r;
donde r = 0; o ningn monomio de r es divisible por el trmino lder de

fi ; para i = 1; :::n: Ahora, es claro que r tambin pertenece a I; luego su
trmino lder est en el ideal tl(I): Esto obliga a que r tenga que ser cero,
de otra manera tl(r) sera divisible por alguno de los tl(fi ), en contradiccin
con el hecho de que r sea un residuo.
Si disponemos de una base de Groebner G para un ideal I en un anillo
de polinomios R entonces, para saber si un determinado polinomio f est
contenido en I basta dividir a f por los elementos de G y ver si el residuo
de la divisin es igual a cero. Sin embargo, para poder llevar a cabo este
procedimiento necesitamos saber como se puede computar de manera efectiva una base de Groebner para I. A continuacin nos proponemos mostrar
como construir un algoritmo que nos permitir transformar un conjunto de
generadores de I en una base de Groebner para I:
1.6.
S-polinomios y algoritmo de Buchberger
Sean f y g polinomios no nulos en R = k[x1 ; :::; xn ]; con trminos lderes

ax y bx . Denimos el mnimo comn mltiplo de los monomios x y
x , el cual denotaremos por mcm(x ; x ), como el monomio x donde
= ( 1 ; :::; n ); con i = max( i ; i ): El S-polinomio de f y g se dene como
S(f; g) =
x
f
tl(f )
x
g:
tl(g)
Este polinomio est diseado para producir la cancelacin de trminos lderes.

El siguiente lema nos dice que todo tipo de cancelacin de trminos del mismo grado debe ocurrir de esta manera.
P
Lema 1.6.1 Supongamos que en la suma U =
ci x i gi , donde los ci
i=1;:::;t
son constantes, y donde grado(gi )+
= , i = 1; :::t; ocurre una cancelacin
1.6. S-POLINOMIOS Y ALGORITMO DE BUCHBERGER
15
P
de los trminos de grado ms alto, es decir, grado( ci x i gi ) < : Entonces
U se puede reescribir como una combinacin lineal de S polinomios
X
U=
cjk x jk S(gj ; gk );
j;k
donde x
< :
jk
= mcm(tl(gj );tl(gk )): Ms an, cada x
jk
S(gj ; gk ) tiene grado
Prueba. Sea di x i el trmino lder de gi y denamos pi = x i gi =di : La suma

U puede escribirse en forma telescpica de la siguiente manera:
P
U=
ci di pi = c1 d1 (p1 p2 ) +
+ (c1 d1 +
+ ct 1 dt 1 )(pt 1 pt )+
i=1;::;t
+(c1 d1 +
ct
1 dt 1
+ ct dt )(pt ):
Ahora, un simple clculo nos muestra que x jk S(gj ; gk ) = pj

binando las dos ecuaciones anteriores se obtiene
Xt 1 Xj
U=
ci di x jj+1 S(gj ; gj+1 )
j=1
pk : Com-
i=1
(ntese
P que dado que el grado ms alto de U es menor que se debe tener
que
ci di = 0 y por lo tanto el trmino t-simo desaparece de la suma
anterior).Finalmente, pj pk tiene grado < ya que en esta diferencia los
trminos de grado se cancelan.
El siguiente teorema proporciona un mtodo para construir bases de
Groebner.
Teorema 1.6.2 Sea I un ideal en un anillo de polinomios R = k[x1 ; :::; xn ]:
Un conjunto G = fg1 ; :::; gt g para I es una base de Groebner si y slo si para
cada par de elementos gi ; gj el residuo de la divisin de S(gi ; gj ) por G es
igual a cero.
Prueba. Si G es una base de Groebner el resultado se tiene ya que S(gi ; gj )
es un elemento de I: Recprocamente, debemos mostrar que si f 2 I entonces
el trmino lder de f est contenido en el ideal
P generado por los trminos
lderes de los gi : Escribamos a f como f =
hi gi de tal manera que =
mximo(m(i)); donde m(i) = grado de hi gi , sea minimal. Claramente, la
conclusin
del teorema se da si grado(f ) = ; ya que en este caso tl(f ) =
P
T l(hi )tl(gi ). Veamos entonces que f no puede tener grado menor que :
Si esto fuera cierto podramos escribir a f en la forma:
X
X
X
f=
tl(hi )gi +
(hi tl(hi ))gi +
hi gi :
m(i)=
m(i)=
m(i)<
16
Como los monomios de la segunda y tercera sumatoria tienen grados menor

que ; esto tambin deber ser cierto para la primera sumatoria. Por el lema
anterior podemos reescribir esta sumatoria como una combinacin lineal de
trminos de la forma x j;k S(gj ; gk ); donde cada uno de estos trminos
tiene grado menor que : P
Por hiptesis sabemos que al dividir S(gi ; gj ) por
G se obtiene S(gi ; gj ) =
aijr gr ; donde cada trmino de esta suma tiene
grado grado(S(gi ; gj )): Multiplicado por x jk se obtiene
x
j;k
S(gj ; gk ) =
br gr ,donde br = x
jk
aijr , y grado(br gr ) < :
P
Esto nos permite reescribir a
tl(hi )gi como una combinacin lineal de
m(i)=
P
trminos
de la forma
br gr , y por lo tanto expresar a f como una suma
P 0
hi gi ; donde el mximo de los grados de h0i gi es estrictamente menor que
: Esto ltimo contradice la minimalidad de :
Teorema 1.6.3 (Algoritmo de Buchberger) Sea I un ideal de k[x1 ; : : : ; xn ]
y sea G0 un conjunto de generadores de I: Una base de Groebner para I puede
construirse en un nmero nito de pasos: a partir de G0 se van construyendo de manera inductiva conjuntos de generadores para I; G0 ; G1 ; : : : ; Gk ,: : :
donde Gk+1 se obtiene de Gk de la siguiente manera:para cada par de eleGk
mentos gi y gj en Gk , sea Si;j = S(gi ; gj ) el residuo de dividir S(gi ; gj ) por
los elementos de Gk . Hacemos Gk+1 igual a la unin de Gk con el conjunto
de todos los Si:j no nulos.
1. Si Gk+1 = Gk , el algoritmo termina, y Gk es una base de Groebner
para I:
2. Si Gk+1 contiene estrictamente a Gk , se procede a construir Gk+2 a
partir de Gk+1 , como ya se explico.
3. Procediendo de la manera anterior se obtiene una secuencia ascendente
de coonjuntos generadores de I G0
G1
Gk
Mediante el
teorema de la base de Hilbert puede demostrarse fcilmente que esta secuencia debe estabilizarse en algn momento, es decir, en algn
momento el procedimiento explicado ms arriba termina.
El siguiente ejemplo muestra la manera de usar el teorema anterior para
construir una base de Groebner.
1.7. TALLER 1
17
Ejemplo 1.6.4 (Algoritmo de Buchberger) Consideremos en k[x; y] el

orden graduado lexicogrco, y tomemos
I = (x3 2xy ; x2 y
| {z } |
f1
2y 2 + x):
{z
}
f2
La idea para producir una base de Groebner para I consiste en ir aumentando el nmero de polinomios de la base G0 = ff1 ; f2 g; aadiendo paso
a paso los S-polinomios necesarios, hasta lograr que el residuo de cualquier
S-polinomio sea cero al dividirlo por la nueva base as obtenida. Utilicemos
__G para denotar el residuo de la divisin por G: En este ejemplo particular vemos que S(f1 ; f2 ) = x2 no es cero al dividirlo por G0 : Se ve
________ G
entonces que f3 =
S(f1 ; f2 )
x2 deber ser aadido al conjunto G0 :

_________ G
Sea G1 = ff1 ; f2 ; f3 g: Vemos ahora que

S(f1 ; f3 )
= 2xy; de donde
vemos que G1 debe ampliarse a G2 = ff1 ; f2 ; f3 ; f4 g: Igualmente, debemos
_______ G
tambin incluir en G1 al polinomio f5 = S(f2 ; f3 ) = 2y 2 + x: El lector

puede comprobar fcilmente que G = ff1 ; :::; f5 g satisface la hiptesis del
_______ G
teorema anterior, es decir, que S(fi ; fj ) = 0; 1

es una base de Groebner para I:
1.7.
i; j
5; y por lo tanto
Taller 1
1. Organice los trminos de f = 1 + z 2 + z + yz + y + y 2 + x + xz + y 2 z

de mayor a menor, y de acuerdo con cada orden indicado:
(Orden lex). Respuesta: f = xz + x + y 2 z + y 2 + yz + y + z 2 + z + 1.
(Orden glex). Respuesta: f = y 2 z + xz + y 2 + yz + z 2 + x + y + z + 1:
(orden grevlex). Respuesta: f = y 2 z + y 2 + xz + yz + z 2 + x + y + z + 1:
2. Encuentre la variedad cortada por cada conjunto de ecuaciones:
R = R[x; y], A = f2x y + 1; x2 + y 2
V (A) = conjunto vaco).
1; x + y + 5g (Respuesta:
R = Q[x; y; z]; E = fzx z + xy; zx2 + zy 2 + x2 + y 2 ; z + 1; y 2 + yg

(Respuesta: V (E) = f(1; 0; 1); (1=2; 1; 1)g:
3. Utilizando el orden lex en R = Q[x; y; z]; x > y > z, encuentre un
residuo para f = x3 y x2 y 2 +3xz zy 2 +1 al dividirlo entre f1 = x2 1,
18

f2 = xy + 1, f3 = zy
1. Una posible respuesta sera
f = (xy y 2 )f1 + (1) f2 + ( y)f3 + ( y

| {z }
| {z }
|{z}
|
a1
a2
a3
y 2 + 3xz)):
{z
}
residuo
4. Utilice el programa Singular para resolver el problema anterior.

5. Sea R = k[x; y; z]; y sea I = (x 1; y 2; z+1) R el ideal gnerado por
los polinomios x 1; y 2; z+1. Explique por qu V (I) = f(1; 2; 1)g, y
por qu I es igual al conjunto de todos polinomios f 2 R que satisfacen
f (1; 2; 1) = 0. Es decir, I = ff 2 R : f (1; 2; 1) = 0g:
6. Sea J = (xy; yz; xyz 2 ), el ideal de R generado por los polinomios xy;
yz; xyz 2 . Explique por qu es verdad que si f 2 J entonces cada uno
de los monomios de f debe ser divisible por algunos de los monomios
xy; yz; xyz 2 :
7. De manera ms general, explique por qu si I es un ideal generado
por monomios, I = (m1 ; : : : ; mt ); entonces para saber si un polinomio
f est en I basta ver que cada uno de sus trminos sea divisible por
alguno de los monomios m1 ; : : : ; mt :
Notemos que el recproco siempre es cierto: si cada monomio de f es divisible por
P algn m1 ; : : : ; mt , entonces es claro que f 2 I, pues si
c x , y cada c x = mi ni , para ciertos mi , ni , con
f=
=( 1 ;:::; n )
P
mi ni es combinacin lineal de
1 i
t, entonces f =
=(
1 ;:::; n )
m1 ; : : : ; mt , con coecientes polinmicos (en este caso, monomios) ni .
1.8.
Sistemas de ecuaciones polinomiales
En las clases anteriores desarrollamos un algoritmo que nos permiti

calcular una base de Groebner para un ideal I de un anillo de polinomios
R = k[x1 ; :::; xn ]: Nuestro propsito ahora ser utilizar este algoritmo para
mostrar cmo puede resolverse un sistema cualquiera de ecuaciones polinmicas. Cuando k es el campo de los nmeros complejos, el algoritmo permite
demostrar el clebre teorema del Nullstellensatz de Hilbert, el cual arma
1.8. SISTEMAS DE ECUACIONES POLINOMIALES
19
que todo sistema de ecuaciones polinmicas

f1 (x1 ; :::; xn ) = 0
..
.
(1.1)
fm (x1 ; : : : ; xn ) = 0
(I) que sea consistente, es decir, un sistema para el cual el elemento 1
no pertenece a I = (f1 ; :::; fn ), el ideal en R generado por los polinomios
fi , tiene por lo menos una solucin. Utilizando la herramienta de las bases
de Groebner se pueden encontrar explcitamente todas sus soluciones. La
idea es resolver este sistema mediante una induccin sobre el nmero de
variables. Empezamos por ordenar las variables xi en orden lexicogrco de
tal manera que x1 > x2 >
> xn : Usando este orden construimos una
base de Groebner G = fg1 ; :::; gr g para el ideal I: Bajo este orden el ideal
de eliminacin Ik ; denido como I \ k[xk+1 ; :::; xn ], resulta generado por
aquellos elementos de G en los que no aparecen las primeras k variables
x1 ; :::; xk : Ms an, demostraremos que estos elementos forman a su vez
una base de Groebner para Ik : Ahora, como I tambin est generado por
g1 ; :::; gr , el conjunto de soluciones del sistema (I) coincide con el conjunto
de soluciones del sistema
g1 (x1 ; :::; xn ) = 0
..
.
(1.2)
gr (x1 ; :::; xn ) = 0
y podemos entonces restringirnos al caso en el que el sistema original est
conformado por elementos de una base de Groebner. Denotemos por G1 al
conjunto de todos aquellos gi que no contienen la variable x1 (este conjunto
podra ser vaco). Si suponemos por induccin que sabemos encontrar las
soluciones del sistema
gl1 (x2 ; :::; xn ) = 0
..
.
(1.3)
gls (x2 ; :::; xn ) = 0

formado por los elementos de G1 ; entonces basta saber como completar
estas soluciones a soluciones del sistema original. Para resolver (II). Este
procedimiento se puede continuar, reduciendo en cada paso el nmero de
variables. Comencemos por demostrar la siguiente proposicin.
20
Proposicin 1.8.1 Sea G una base de Groebner para un ideal I

R =
k[x1 ; :::; xn ]; con el orden lexicogrco obtenido despus de ordenar las variables xi en la forma siguiente: x1 > x2 >
> xn : Sea Ik el k-simo
ideal de eliminacin (denido en el prrafo anterior). Entonces una base de
Groebner para Ik est dada por aquellos polinomios de G donde no aparecen
las variables x1 ; :::; xk :
Prueba. Cambiando la numeracin de los gi , en caso de ser necesario,
podemos suponer que el conjunto aquellos polinomios de G donde no aparecen las variables x1 ; :::; xk ; est formado por los primeros t polinomios de G:
Tomemos un elemento f 2 Ik : Debemos probar que el trmino lder de f es
una combinacin lineal de los trminos lderes de g1 ; :::; gt : Como G es una
base de Groebner para I se tiene que
tl(f ) = m1 tl(g1 ) +
+ mt tl(gt ) +
mi tl(gi );
i6=t
para ciertos monmios mi 6= 0: La segunda suma a la derecha est formada

por trminos cuyos monomios son necesariamente mayores que todos los
monomios de los trminos de la primera suma, y mayores que el monomio
lder de f; a la izquierda. Esto ltimo es cierto por contener cada uno de
estos trminos al menos una de las variables x1 ; :::; xk : Esto obliga a que esta
segunda suma sea cero, lo cual prueba la proposicin.
En resumen, el procedimiento prctico para resolver un sistema E dado
por las ecuaciones
f1 (x1 ; : : : ; xn ) = 0
..
.
(1.4)
fm (x1 ; : : : ; xn ) = 0;
donde f1 ; : : : ; fm son polinomios en R = k[x1 ; : : : ; xn ], sera el siguiente:
empezamos por ordenar las variables xi de R en orden lexicogrco de tal
manera que xn > xn 1 >
> x1 : Usando este orden construimos una base
de Groebner G = fg1 ; :::; gr g para el ideal I generado por f1 ; : : : ; fm : Como
ciertamente I = (g1 ; :::; gr ), entonces V (f1 ; : : : ; fm ) = V (g1 ; :::; gr ) = V (I).
Es decir, el sistema de ecuaciones (1) tiene las mismas soluciones que el
sistema (2), pues denen la misma variedad. Basta entonces resolver (2). La
ventaja es que (2) es un sistema triangular. Los siguientes ejemplos serviran
para aclarar esta nocin.
21
Ejemplo 1.8.2 Consideremos en R = Q[x; y; z] el siguiente sistema de

ecuaciones (lineales) f1 = x + z + 1; f2 = 2x 5y 6z 1; f3 = x z 2: El
comando GroebnerLex[ {f1,f2,f3},{x,y,z} ] de GeoGebra permite computar
un base de Groebner para I = (f1 ; f2 ; f3 )
Ventana CAS
Notemos que la base de Groebner presenta una forma triangular, en la denicin clsica del lgebra lineal.
Ejemplo 1.8.3 Consideremos en R = Q[x; y; z] el siguiente sistema de

ecuaciones (no lineales):
f1 = x2
2z 2 + y 2
f2 = y 2
z2
f3 =
4y
2
4zx + y + 1
Escojamos el orden lex en R, ordenando las variables de tal modo que x >
y > z: El comando GroebnerLex[ {f1,f2,f3},{x,y,z} ] de GeoGebra permite
22
computar un base de Groebner para I = (f1 ; f2 ; f3 ) :
La base de Groebner est dada por G = fg1 ; g2 ; g3 g, donde
El sistema puede entonces resolverse, hallando primera las ocho races de

g3 y substituyendo cada una en las ecuaciones anteriores. Luego de hacer
esto, resolvemos para y en g2 y sustituimos todas posibles races en g1 , para
resolver nalmente para x.
De nuevo, utilizamos GeoGebra para hallar las races reales de g3 medi-
23
ante el comando ResolucinN[ g3] (resolucin numrica)
Vemos entonces que g3 posee cuatro races reales y cuatro complejas. Substituyendo la raz z = 6;75 en g2 y g1 obtenemos el sistema
h1 = f1 (x; y; 6;75) = x2 + y 2
729=8
h2 = f2 (x; y; 6;75) = y 2
729=16
4y
Resolviendo para y en h2 obtenemos dos valores

fy = (
p
793 + 8)=4; y = ( 793 + 8)=4
Finalmente, sustituyendo cada uno de estos valores en h1 , obtenemos una
24
p
ecuacin para x: Por ejemplo, sustituyendo y = ( 793 + 8)=4 se obtiene
p
u(x) = f1 (x; ( 793 + 8)=4; 6;75) =
Resolviendo para x se obtiene nalmente:
p
16 793+601 p
; ( 793+8)=4; 6;75).
Una solucin de sistema sera entonces (
4
De manera similar se obtienen las otras soluciones. En total vemos que hay
4 2 2 = 16 soluciones reales.
1.9.
Taller 2
1. Sean f = y 2 x x y g1 = yx y y g2 = y 2 x en Q[x; y], con orden >grlex ,

graduado lexicogrco. Muestre que distintas maneras de dividir a f
entre fg1 ; g2 g pueden producir residuos diferentes.
2. Sea R = k[x1 ; : : : ; xm ], con un cierto orden monomial jo >, y sea
I
R un ideal. Explique por qu si G = fg1 ; : : : ; gn g es una base de
Groebner para I; el residuo de dividir a f entre G no depende de la
manera como efectuemos la divisin.
3. Sea R = Q[x; y; z], con orden lex. Calcule los siguientes S-polinomios
S(f1 ; f2 ) :
i f1 = x
13y 2
12z 3 , f2 = x2
xy + 92z
1.9. TALLER 2
25
ii f1 = xz y 2 xz 3 , f2 = x2 yz 2 xy + z
iii En orden reverso lexicogrco >revlex , con f 1 = x
1 + z + y + x.
z + x2 , f2 =
4. Sea g1 = 2xy 1 y g2 = 3y 2 + x en Q[x; y], con orden >grlex , graduado

lexicogrco. Entonces
xy 2
g1
2xy
= 1=2yg1
S(g1 ; g2 ) =
xy 2
g2
3y 2
1=3xg2 :
Explique por qu es falaz el siguiente razonamiento. Por el criterio

de Buchberger, para que G = fg1 ; g2 g sea un base de Groebner para
J = (g1 ; g2 ) es suciente que S(g1 ; g2 ) !G 0: Es decir, es suciente que
una divisin cualquiera de S(g1 ; g2 ) entre los elementos de G produzca
residuo cero. Pero la expresin anterior,
S(g1 ; g2 ) = (1=2y)g1 + ( 1=3x)g2 + 0
| {z }
| {z }
residuo
a1
(1.5)
a2
sera una divisin con residuo cero. Luego G sera una base de Groebner.
De otro lado, S(g1 ; g2 ) = 1=2yg1 1=3xg2 = y=2 x2 =3 es un elemento del ideal J cuyo trmino lder, x2 =3; no es divisible, ni por
tl(g1 ) = 2xy ni por tl(g2 ) = 3y 2 : !Luego G no puede ser una base de
Groebner!
5. Utilizando el algoritmo de Buchbereger encuentre una base de Groebner para I = (x2 y + z; xz + y) en Q[x; y; z], con orden lex.
6. Encuentre una solucin en los nmeros reales para el siguiente sistema
de ecuaciones:
x2
1=0
4=0
wx + w = 0
wy + 2w = 0
xy + 2x
2=0
xy + y
2x
2=0
xz + z
3x
3=0
yz + 2z
3y
6=0
26

7. Muestre que el sistema siguiente no tiene ninguna solucin
x2 + y 3 = 0
z4
x2 z 4
x3 wy + y 3 z 4
wxy = 0
y 4 wx + 2 = 0
Solucin a los ejercicios

1. Si dividimos a f , primero por g1 ; y luego por g2 ; se obtiene f = (y)g1 +
(1)g2 + x (a1 = y, a2 = 1, residuo = 0). Ahora, si dividimos a f por
g2 ; y luego por g1 ; se obtiene f = 0g1 + xg2 + x2 x (a1 = 0, a2 = x,
residuo = x2 x).
2. Supongamos que dos divisiones de f entre G producen resultados f =
a1 g1 + + an gn + r1 y f = b1 g1 + + bn gn + r2 . Pero como r2 r1 =
(a1 b1 )g1 +
+ (an bn )gn est en el ideal I; y G es una base de
Groebner para I, o bien r2 r1 es cero o el trmino lder de r2 r1
deber ser divisible por algn tl(gk ). Pero ninguno de los trminos
de r2 r1 puede ser divisible por tl(g1 ); : : : ;tl(gn ), pues r1 y r2 son
residuos. Luego r2 r1 est forzado a ser cero. Es decir, r2 = r1 es la
nica posiblidad.
i S(f1 ; f2 ) = 13xy 2 12xz 3 + xy 92z:
ii S(f1 ; f2 ) = x2 yz + xy 3 + xyz z 2 :
iii S(f1 ; f2 ) = 2x z xz xy
3. La expresin 1.5 no es una divisin de S(g1 ; g2 ) entre g1 ; g2 . Como se
explica en la pgina 7 de las notas de clase, para que S(g1 ; g2 ) =
a1 g1 + a2 g2 + r sea una divisin es necesario que se cumplan dos
condiciones: grado(ai gi )
grado(S(g1 ; g2 )); y que r = 0 o bien r
sea una combinacin lineal de monomios donde ningn monomio es
divisible por ninguno de los trminos lderes de los gi : Pero la primera
condicin no se satisface en nuestro ejemplo, pues grado(S(g1 ; g2 )) =
grado( y=2 x2 =3) = x2 =3 no es mayor o igual que grado(a1 g1 ) =
grado(1=2yg1 ) = xy 2 .
4. G = fx2 y + z; xz + y; x3 y
xz + y; z 2 xy 2 ; y 3 + z 3 g.
yg: El GeoGebra produce G = fx2 y + z;
5. Hay innitas soluciones: f( 1; 2; ; ) : ;
2 Rg [ f(1; 2; 3; 0)g:
6. Una base de Groebner est dada por G = f1g:
Captulo 2
Control cinemtico de brazos

mecnicos
En esta seccin mostraremos una aplicacin elemental de la teora desarrollada hasta el momento al denominado problema inverso cinemtico para
el control de un brazo robotizado.
Comencemos por discutir un brazo robtico planar sencillo, como se

muestra a continuacin: tres segmentos de longitudes l1 ,l2 y l3 se articulan en
junturas p1 , p2 y p3 , con posibilidad de rotar uan vuelta completa alrededor
de cada una de ellas. En la juntura p3 se articula la mano del brazo mecnico.
Fijados un punto q en el plano y una determinada direccin v para la mano,
el problema consiste en calcular cules deben ser los posibles ngulos de
rotacin 1 , 2 y 3 ; en cada una de las junturas (medidos en sistemas de
coordenadas apropiados, como se explicar a continuacin) que permiten
27
28CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

situar la mano robtica en q, orientada en la direccin del vector v.
Comencemos por discutir cmo pasar de un sistema de coordenas a otro

sistema trasladado y rotado con respecto al primero.
Fijemos un sistema de coordenadas E = fe1 ; e2 g. Sea V = fv1 ; v2 g otro
sistema de coordenadas rotado un ngulo (medido en el sentido positivo,
es decir, contrario a las manecillas del reloj) con respecto a E :
q1
son las coordenas de
q2
q medidas en el sistema V entonces las coordenadas en el sistema E pueden
obtenerse multiplicando este vector por la matriz de rotacin
En los cursos de lgebra lineal se demuestra que si
cos
sin
sin
cos
29
Es decir,
cos
sin
sin
cos
q1
a
=
q2
b
son las coordenadas de q referidas al sistema E.

De otro lado, si E 0 = fe01 ; e02 g es un sistema coordenado cuyo origen est
localizado en el punto p, con ejes paralelos a los de E;
entonces, si las coordenadas de q en E 0 son
c0
, las coordenadas en E seran
d0
p
c0
c
= 0 + 1 ;
d
p2
d
p1
son las coordenadas de p referidas a E.
p2
Finalmente, si V 0 = fv1 ; v2 g es un sistema coordenado cuyo origen est
situado en p, y cuyos ejes se han rotado un angulo con respecto a los
q
ejes de E, entonces si 1 son las coordenadas de q con respecto a V , las
q2
a
coordenadas de q con respecto a E seran
, donde
b
donde
a
cos
=
sin
b
sin
cos
q1
p
+ 1
q2
p2
La razn es simple: para hallar las coordenadas de q en el sistema E 0 , multiq

plicamos el vector 1 por la matriz de rotacin. Luego, a este nuevo vector
q2
p
le aadimos 1 para computar sus coordenadas con respecto a E, como
p2
observamos en el prrafo anterior.
Empecemos por jar en la juntura p1 un sistema absoluto E1 con el eje x1

paralelo al piso y eje y1 en direccin vertical. Con respecto a este sistema
haremos las mediciones de las posiciones de cualquier punto en el plano que
la mano desee alcanzar, as como la orientacin de la misma.
De otro lado, en cada juntura pi (incluyendo p1 ) denimos sistemas Ei+1 ,
de tal manera que el eje positivo xi+1 vaya en la direccin del segmento li+1 ;
y el eje yi+1 sea perpendicular a xi+1 , y de tal forma que al ir de xi+1 a yi+1
se respete la condicin de giro de la mano derecha. En la tima juntura,
donde se articula la mano, el eje xn+1 se tomar en la direccin de la misma
31
direccin de la mano.
a4
son las coordenadas de
b4
un punto q en el sistema E4 : Entonces, referido al sistema E3 sus coordenadas
seran
Supongamos, en nuestro brazo de ejemplo, que
a3
cos
=
b3
sin
donde
3
3
sin 3
cos 3
a4
l
+ 3 ;
b4
0
(2.1)
es el ngulo (medido en direccin positiva) que forma la mano con

respecto al sistema E3
La ecuacin 2.1 puede escribirse en forma compacta como
2 3 2
a3
cos
4 b3 5 = 4 sin
1
0
|
3
3
32 3
a4
sin 3 l3
4
5
b4 5
cos 3 0
0
1
1
{z
}
A3
Razonando de manera similar, con respecto al sistema E2 , las coordenadas

de q se pueden computar entonces como
2 3 2
a2
cos
4 b2 5 = 4 sin
1
0
|
2
2
32 3
a3
sin 2 l2
cos 2 0 5 4 b3 5 ;
1
0
1
A2
{z
33
donde
es el ngulo que forma el segmento l3 con respecto al eje x2 :
Finalmente, si 1 es el ngulo que forma l2 con respecto al eje x1 , con respecto

a E1 , las coordenadas de q estaran dadas por
2 3 2
a1
cos
4 b1 5 = 4 sin
1
0
|
1
1
32 3
sin 1 0
a2
cos 1 05 4 b2 5
1
0
1
{z
}
A1
sistemas coordenados
Notemos que la entrada superior derecha de la matriz anterior es un cero, en
lugar de l1 ; puesto que los sistemas E2 y E1 tienen el mismo punto origen
(la articulacin p1 ).
a
En resumen, el punto q, de coordenadas 4 ; en las coordenadas absob4
a1
; donde
lutas E1 , se expresara como
b1
2 3
2 3
a1
a4
4 b 1 5 = A1 A2 A3 4 b 4 5 :
1
1
Un cmputo directo (y utilizando las identidades trigonomtricas para el
coseno y el seno de la suma de ngulos) muestra que A1 A2 A3 es igual a la
matriz
2
3
cos( 1 + 2 + 3 )
sin( 1 + 2 + 3 ) l3 cos( 1 + 2 ) + l2 cos( 1 )
A1 A2 A3 = 4 sin( 1 + 2 + 3 ) cos( 1 + 2 + 3 ) l3 sin( 1 + 2 ) + l2 sin( 1 ) 5 :
0
0
1
As, para un punto q que est situado en la mano, es decir cuyas coordenadas
35
con respecto a E4 sean
2
cos(
4 sin(
+
+
1
0
1
+
+
2
2
3)
0
, referido a E1 sus coordenadas seran
0
sin( 1 + 2 + 3 ) l3 cos(
cos( 1 + 2 + 3 ) l3 sin(
0
3)
+
1+
32 3
+ l2 cos( 1 ) 0
2 ) + l2 sin( 1 ) 5 405 ;
1
1
2)
que es igual al vector

l3 cos(
l3 sin(
+
1+
2)
+ l2 cos( 1 )
:
)
2 + l2 sin( 1 )
Finalmente, notemos que la mano forma un ngulo igual a 1 + 2 + 3 con

respecto al eje x1 . As, para posicionar la mano en el punto q, con direccin
(con respecto a x1 ; y1 ), digamos , debemos escoger 1 + 2 + 3 = , y
l3 cos(
l3 sin(
+
1+
2)
+ l2 cos( 1 )
c
;
=
d
)
+
l
sin(
)
2
2
1
c
son las coordenadas de q referidas al sistema E1 . Una vez deterd
minados 1 y 2 , basta tomar 3 =
( 1 + 2 ) para jar la orientacin de
la mano. Los ngulos 1 y 2 se obtienen resolviendo el sistema
donde
l3 cos(
2)
+ l2 cos( 1 ) = c
l3 sin(
2)
+ l2 sin( 1 ) = d
O, de manera equivalente, el sistema

l3 cos( 1 ) cos( 2 )
l3 sin( 1 ) sin( 2 ) + l2 cos( 1 ) = c
l3 sin( 1 ) cos( 2 ) + l3 sin( 2 ) cos( 1 ) + l2 sin( 1 ) = d

Este ltimo sistema puede cambiarse por un problema de ecuaciones polinmicas, haciendo x = cos( 1 ); y = sin( 1 ), z = cos( 2 ), w = sin( 2 ):
l3 xz
l3 yw + l2 x
c=0
l3 yz + l3 xw + l2 y
d=0
x2 + y 2 = 1
z 2 + w2 = 1
2.1.
Anlisis del caso l2 = l3
Comencemos por resolver el sistema para l2 = l3 = 1: Para ello computamos una base de Groebner con el orden lex, tomando, por ejmeplo,
z > w > x > y: Utilizando GeoGebra obtenemos una base con los siguientes
seis elementos:
f1 = c4 + d4 + 2c2 d2 + 4c2 y 2 + 4d2 y 2
f2 = c2 + d2
f3 =
cd
f4 = x2 + y 2
f5 = cy
f6 =
2cx
2
4d3 y
4c2 dy
4c2
2dy
4cy
2d2 x + 2cdy + 4dxy + 4c
dx + w
2
d2 + 2z + 2
La primera ecuacin puede escribirse en la forma

4(c2 + d2 )y 2
4d(c2 + d2 )y + (c2 + d2 )2
4c2 = 0:
CASO I.
Supongamos c 6= 0 (y por tanto c2 + d2 6= 0).
2 +d2 )2 4c2
= 0, la cual
La ecuacin anterior toma la forma y 2 dy + (c 4(c
2 +d2 )
tiene dos soluciones (que pueden encontrarse utilizando Geogebra)
p
4 (c2 + d2 )
d
p
:
y=
jcj
2
2 c2 + d2
Los comandos utilizados para resolver y simplicar la solucin se muestran
a continuacin:
2.1. ANLISIS DEL CASO L2 = L3

De la ecuacin f2 = c2 + d2
2cx
37
2dy = 0 se obtiene
c2 + d2 2y
2cp
4 (c2 + d2 )
d
p
con y =
jcj
2
2 c2 + d2
x=
Estos valores de y y x determinan dos posibles ngulos 1 :

De la ecuacin quinta se obtiene un nico valor para w; y de la sexta se
obtiene una nica solucin para z, dada por
w = dx
z=
(c2
c
+ d2 )
2
Claramente, esta informacin determinan un ngulos nico 2 y 1 , mientras

ocurra que (c2 + d2 ) 4, lo cual podra verse directamente de la situacin
geomtrica, pues ningn punto que est a distancia de p1 mayor a 2 = l2 + l3
puede ser alcanzable.
De otro lado, es geomtricamente claro que cada punto en el interior del
disco de radio 2 y centro p1 puede ser alcanzado con dos valores diferentes de
1 : Pero, una vez jado 1 , el ngulo 2 queda unvocamente determinado.
De otro lado, si el punto q est justo en el borde del disco, es decir, en la
circunferencia de radio 2, lo cual ocurre si 4 = (c2 + d2 ), entonces el ngulo
1 ser nico, y 2 deber ser igual a cero, pues en este caso z = cos( 2 ) = 1.
CASO II: c = 0 y d 6= 0. En este caso la mano estara situada sobre el eje

y1 : En este caso un base de groebner est dada por
d + 2y
d
4 + 4x2
xd
d2 + 2 + 2z
de donde se obtiene:
p
4 d2
d
y= ; x=
2
2
2
d
2
z=
, w = dx
2
En este caso hay dos soluciones para 1 , cuando jdj < 2, y una sola solucin,
si jdj = 2; como se muestra a continuacin:
jdj < 2
d=2
CASO III: c = d = 0. Esta condicin implica que la mano se encuentra

en el punto origen p1 . En este caso, una base de Groebner viene dada por
g1 = x2 + y 2
g2 = w
g3 = z + 1
2.2. CASO L2 6= L3
39
De aqu se sigue inmediatamente que 1 puede escogerse de manera arbitraria

y z = cos( 2 ) = 1; de donde 2 = , lo cual tambin se puede visualizar
en la situacin geomtrica:
2.2.
Caso l2 6= l3
Cuando las longitudes de los segmentos l2 y l3 no son la misma, la

situacin es un poco ms compleja. Por ejemplo, discutamos el caso l2 = 1
y l3 = 2.

Una base de Groebner est dada por
g1 = (4c2 + 4d2 )y 2 + ( 4dc2 + 12d
g2 = 2xc + 3 + 2yd
g3 =
g4 = 5
dc2 + 3d
d2
c2
4d3 )y
10c2
6d2 + 2c2 d2 + d4 + 9 + c4
d2
d3 + 4wc + (2d2 + 2c2 )y
c2 + 4z
CASO I. Si c 6= 0, las ecuaciones tienen como soluciones las expresiones

siguientes:
p
d(c2 3 + d2 ) jcj (9 (c2 + d2 ))((c2 + d2 ) 1)
c2 + d2 2dy
,
x
=
y=
2(c2 + d2 )
2c
2
2
2
3
2
2
d +c
5
dc
3d + d
(2d + 2c )y
z=
, w=
4
4c
La expresin dentro del radical es no negativa si y solo si 1 c2 + d2 9;
es decir, cuando la mano se encuentra dentro del nulo determinado por dos
crculos centrados en p1 de radios 1 y 3, respectivamente. En esta situacin,
el problema se analiza de manera similar al caso l2 = l3 = 1.
De otro lado, si c = 0, entonces una base de Groebner est dada por

h1 = 3 + 2yd
10d2 + d4 + 4d2 x2
h2 = 9
h3 = 2w
h4 =
d2
xd
2
d + 5 + 4z
2.2. CASO L2 6= L3
41
Si suponemos adems d 6= 0, estas ecuaciones tienen como solucin:

p
d2 3
10d2 d4 9
y=
; x=
2d
2 jdj
2
d
5
dx
z=
; w=
4
2
La expresin dentro del radical es no negativa si d 2 ( 3; 1) [ (1; 3)
f (d) = 10d2
d4
es decir, los puntos alcanzables por la mano sobre el eje y1 estn situados
en ( 3; 1) y (1; 3), y son alcanzables con dos posibles valores de 1 y un
nico valor de 2 .

De otro lado, si c = d = 0, entonces una base de Groebner viene dada por
G = f1g, y en consecuencia el sistema no tiene solucin, lo cual resulta claro
de la situacin geomtrica, pues es mecnicamente imposible llevar la mano
a la posicin p1 .
2.3.
Brazos en tres dimensiones
Discutamos un brazo mecnico como el anterior, pero para el cual su

base no est anclada al piso, sino que es libre de rotar en el plano:
Cada punto en el espacio puede situarse mediante coordenadas (cilndricas)

q = ( 0 ; x1 ; y1 ), donde 0 es el ngulo que forma el plano (x1 ; y1 ) con respecto a un sistema coordenado (u; v), anclado en el piso. En este sistema
coordenado, el problema cinemtico inverso se reduce de manera inmediata
al problema discutido en la seccin anterior, pues de las coordenadas de q
podemos leer inmediatamente el ngulo 0 , y proceder, como ya se explic,
para calcular los ngulos 1 ; 2 y 3 que situan la mano en q:
2.4. TALLER 3
2.4.
43
Taller 3
Considere el siguiente brazo mecnico:
1. i) Site los sistemas de coordenadas explicados en clase en cada una

de las junturas p1 ; : : : ; p5 :
ii) Marque el ngulo i que forma el sistema (xi+1 ; yi+1 ) con respecto
a (xi ; yi ); i = 1; 2; 3; 4:
2. Compute B = A1 A2 A3 A4 , donde
2
cos( 1 )
A1 = 4 sin( 1 )
0
y para i = 2; 3; 4
2
cos( i )
Ai = 4 sin( i )
0
3
sin( 1 ) 0
cos( 1 ) 05 ;
0
1
3
sin( i ) li
cos( i ) 0 5
0
1
son las matrices de cambios de coordenadas de (xi+1 ; yi+1 ) a (xi ; yi ):

3. Encuentre las ecuaciones en
1; 2; 3
necesarias para situar la mano en

c
el punto q; con coordenadas q =
con respecto al sistema (x1 ; y1 ).
d
4. *Use induccin matemtica para encontrar las ecuaciones generales

para un robot (como analizados en clase) compuesto n segmentos
mviles l1 ; : : : ; ln :
Soluciones
1. i) y ii)
2.
2
4
P
cos(
i)
6
i=1
6
4
B=6
6 sin( P i )
4
i=1
3
sin(
i ) l4 cos(
i ) + l3 cos(
i ) + l2 cos( 1 )7
i=1
i=1
i=1
7
4
3
2
7
P
P
P
7
cos(
l4 sin(
i)
i ) + l3 sin(
i ) + l2 sin( 1 ) 5
4
P
i=1
3
P
2
P
i=1
i=1
3.
;
donde cos( i ) = ci y sin( i ) = di .
4.
2.5.
Simulacin en Maple
El siguiente programa, ROBOT(l1 ; l2 ; l3 ; c; d) simula un brazo robotizado

de tres segmentos de longitudes l1 ; l2 ; l3 , el cual trata de alcanzar un punto
q = (c; d), cuando ello es posible.
2.5. SIMULACIN EN MAPLE
45
with(plots): with(plottools):
alpha toma tres ngulos theta1, theta2,theta3 y un parametro t y genera
una lista en la cual aparece primero theta 1, luego theta 1 y theta 2 y luego
theta 1, theta 2 y theta 3 a medida que el parmetro t se mueve entre 0 y 1.
alpha:=proc(theta1, theta2,theta3,t)
if t <= 1/3 then return([3*t*theta1,0,0]); end if;
if t<=2/3 then return([theta1,(3*t-1)*theta2,0]); end if;
return([theta1,theta2,(3*t-2)*theta3]); end proc:
robot(theta1, theta2,theta3,l1,l2,l3,c,d) graca un brazo robotizado compuesto de tres segmentos de longitudes l1, l2, l3, una mano y un punto
q=(c,d), que forman angulos theta1, theta2, theta3, como se muestra a continuacin:
robot:=proc(theta1,theta2,theta3,l1,l2,l3,c,d)
local P,A,B,L;
L:=[point([c,d],color=black,symbol =soliddiamond, symbolsize = 35, color=green)];
L:=[op(L), rectangle([-1, 0], [1, -1], color = black) ];
L:=[op(L), line([0,0], [0,l1], color=red, thickness=8) ];
L:=[op(L), line([0,l1], [l2*cos(theta1),l2*sin(theta1)+l1], color=blue,thickness=8)
];
L:=[op(L), line([l2*cos(theta1),l2*sin(theta1)+l1],
[l3*cos(theta1+theta2)+l2*cos(theta1),
l3*sin(theta1+theta2)+l2*sin(theta1)+l1], color=red,thickness=8) ];
A:=[0.1*cos(theta3+3*Pi/2),0.1*sin(theta3+3*Pi/2)];
B:=[-0.1*sin(theta3+3*Pi/2),0.1*cos(theta3+3*Pi/2)];
P:=[l3*cos(theta1+theta2)+l2*cos(theta1),
l3*sin(theta1+theta2)+l2*sin(theta1)+l1];
L:=[op(L),line(-A+P,A+P,color=blue, thickness=8),
line(A+P,A+B+P,color=blue, thickness=8),
line(-A+P,P+B-A,color=blue, thickness=8)];
display(op(L) ); end proc:
F:=(theta1,theta2,theta3, t,l1,l2,l3,c,d)->robot(op(alpha(theta1,theta2,theta3,t)),l1,l2,l3,c,d):
brazo(theta1,theta2,theta3,l1,l2,l3,c,d) graca un punto q=(c,d) y anima
un brazo, desde la posicin inicial theta1=theta2=theta3=0, hasta la posicin theta1, theta2, theta3.
brazo:=proc(theta1,theta2,theta3,l1,l2,l3,c,d)
local F; F:=t->robot(op(alpha(theta1,theta2,theta3,t)),l1,l2,l3,c,d);
animate( F, [t], t=0..1, frames=100);
end proc:

ROBOT(l1,l2,l3,c,d) recibe como argumentos valores l1, l2, l3, c, d, que
son las longitudes de cada uno de los tres brazos articulados, seguidas de
las coordenadas (c,d) de un punto q en el plano. El algoritmo computa un
movimiento del robot para situar su mano en el punto q. Es decir, el algoritmo alcanza dicho punto, cuando ello es posible. Por ejemplo:
ROBOT:=proc(l1,l2,l3,c,d)
local S,E, a1,a2,theta1,theta2, theta3;
if (sqrt(c^2+(d-l1)^2) >l2+l3 or sqrt(c^2+(d-l1)^2) < l2-l3)
then return(.el punto es inalcanzable") end if; if (c=0 and d=l1)
then return( brazo(0,Pi,Pi/2,l1,l2,l3,c,d)); end if;
S:=fsolve([l3*cos(theta1+theta2)+l2*cos(theta1)-c,
l3*sin(theta1+theta2)+l2*sin(theta1)+l1-d]);
a1:=op(S[1])[2];a2:=op(S[2])[2] ; theta1:=a1-oor(a1/(2*Pi))*2*Pi;
theta2:=a2-oor(a2/(2*Pi))*2*Pi;theta3:=Pi/2;
brazo(theta1,theta2,theta3,l1,l2,l3,c,d);
end proc:
ROBOT(2, 1, 1, -1.1, 1.1);
2.5. SIMULACIN EN MAPLE
47
Captulo 3
Ecuacin de Onda
En este captulo derivaremos la ecuacin de onda para la cuerda vibrante,
bajo ciertos supuestos, y discutiremos su relevancia en el diseo de las escalas
pitagrica y temparada, y destacaremos su importancia en la fabricacin de
algunos instrumentos de cuerda. Como algunas variaciones, la deduccin y
solucion de la ecuacin de onda sigue lo expuesto en cualquiera de los textos
[5],[6],[7]. Para una discusin sobre las escalas musicales y su construccin
matemtica, el lector puede consultar [8].
3.1.
Cuerda vibrante
Una cuerda de longitud L y densidad constante (que mediremos en

kg/m permanece atada a dos pesos que cuelgan de sus extremos, cada uno
de masa m kg.
Situemos un sistema de coordenadas (x; u) con origen en p1 ; orientado positivamente, donde el eje x est supuerpuesto a la cuerda y apunta hacia la
derecha. Tomamos la cuerda y la deformamos ligeramente de tal manera
49
50
CAPTULO 3. ECUACIN DE ONDA
que en el insatante t = 0;y referida a nuestro sistema de coordenadas, esta

adquiere la forma de una cierta funcin f (x)
Luego soltamos la cuerda, y observamos que esta comienza a vibrar. Denotemos por u(x; t) la funcin que representa la forma que asume la cuerda
en el instante t (puede pensarse que el grafo de u(x; t) representa una foto de la cuerda en el instante t). Nuestro propsito es econtrar la ecuacin
diferencial parcial que rige su movimiento. Para ello haremos dos hiptesis
fundamentales:
1. Cada punto sobre la cuerda vibra en direccin vertical, exclusivamente.
2. La cuerda no ofrece resistencia al movimiento y las deformaciones a las

cuales se ve sometida son siempre muy pequeas. De manera precisa,
en cada instante t el ngulo (x; t) que forma la tangente a la cuerda
en el punto u(x; t) es siempre muy pequeo.
En cada instante t, denotemos por T (x; t), T (x + h; t) la magnitud de

la tensin de la cuerda en el punto u(x; t), respectivamente u(x + h; t),
y denotemos por (x; t), (x + h; t) los ngulos que forma la tangente a
la cuerda en los punto u(x; t) y u(x + h; t), respectivamente. La tensin
horizontal en cada uno de estos puntos ser Th (x; t) = T (x; t) cos (x; t)
y Th (x + h; t) = T (x + h; t) cos (x + h; t): Y la tensin vertical ser:
Tv (x; t) = T (x; t) sin (x; t) y Tv (x + h; t) = T (x + h; t) sin (x + h; t):
3.1. CUERDA VIBRANTE
51
En el instante t, consideremos un pequeo trozo de cuerda comprendido

entre x y x + h, como se muestra en la siguiente gura:
El primer supuesto nos dice que las tensiones horizontales debern ser iguales,
puesto que todo punto de la cuerda solo se desplaza en direccin vertical. Esto es, T (x; t) cos (x; t) T (x + h; t) cos (x + h; t) = 0: Sumando y restando
T (x; t) cos (x + h; t), y dividiendo luego por h; se obtiene:
T (x; t)(cos (x + h; t)
h
cos (x; t)) cos (x + h; t)(T (x + h; t)

+
h
T (x; t))
= 0:
Si hacemos h ! 0; y tomamos el lmite, obtenemos:

T (x; t)
@T (x; t)
@ cos (x; t)
(x; t) + cos (x; t)
(x; t) = 0:
@x
@x
Esta frmula equivale a armar que

@
@
Th (x; t) =
(T (x; t) cos (x; t)) = 0;
@x
@x
y en consecuencia la tensin horizontal no depende de la variable x;es decir,
Th (x; t) = (t), para una cierta funcin (t) que depende exclusivamente del
tiempo.
De otro lado, el segundo supuesto nos dice que (x; t) se mantiene siempre muy cercano a cero y en consecuencia cos (x; t) se mantiene muy cercano
a 1. De aqu que podamos aproximar Th y T , como Th (x; t) = T (x; t) cos
(x; t) ' T (x; t). En consecuencia la tensin de la cuerda es aproximadamente la misma en cada punto y solo dependera del tiempo. Ahora, si las
dos masas que penden a ambos lados permanecen prcticamente inmviles
(lo cual se observa experimentalmente) es porque la tensin de la cuerda en
cada extremo (que es igual a la tensin en cualquier otro punto) permanece
52
constante a lo largo del tiempo, y deber ser igual a T = m

En resumen:
9;8 Newtons.
Th (x; t) = T (x; t) = T; para todo x 2 [0; L] y todo t
0:
De manera similar, si (x; t) ' 0, entonces la longitud l(x; h) del pedazo

de cuerda comprendido entre x y x + h es aproximadamente h. Primero,
recordemos que su longitud puede calcularse mediante la frmula
s
2
x+h
R
@u
l(x; h) =
1+
(s; t) ds
@x
x
Pero @u=@x(s; t) = tan (x;
qt); que elevado al cuadrado es un trmino muy
2
' 1: Luego
cercano a cero. Por tanto 1 + @u
@x (s; t)
s
x+h
R
x
1+
@u
(s; t)
@x
ds '
x+h
R
x
1ds ' h:
Finalmente, la diferencia entre las tensiones verticales en x y x + h es la

nica fuerza responsable del movimiento vertical del trozo de cuerda. La
segunda ley de Newton nos dice entonces que
Tv (x + h; t)
donde x
x0
Tv (x; t) = ( h)
@2u 0
(x ; t)
@t2
x + h. Luego
T sin (x + h; t)
T sin (x; t) = ( h)
@2u 0
(x ; t):
@t2
Dividiendo a ambos lados por T ' T (x + h; t) cos (x + h; t) ' T (x; t) cos

(x; t) se obtiene:
T sin (x + h; t)
T cos (x; t)
T sin (x; t)
1
@2u
= ( h) 2 (x0 ; t):
T cos (x; t)
T
@t
Pero sin (x + h; t)= cos (x; t) es igual a tan (x + h; t) = @u=@x(x + h; t) y

sin (x; t)= cos (x; t); es igual a tan (x; t) = @u=@x(x; t); de donde se sigue
que
@2u 0
1
(@u=@x(x + h; t) @u=@x(x; t)) =
(x ; t):
h
T @t2
3.2. SOLUCIN DE LA ECUACIN DE ONDA
53
Tomando el lmite cuando h ! 0 se obtiene
@2u
@2u
=
:
@x2
T @t2
Si c =
T = , la ecuacin toma la forma denitiva:

c2
@2u
@2u
=
:
@x2
@t2
(3.1)
Como la cuerda se mantiene atada a los extremos se sigue entonces que

u(0; t) = u(L; t) = 0. Adems, en el instante t = 0 la funcin u toma la
forma de una cierta funcin f (x); as que u(x; 0) = f (x). Supusimos adems
que la cuerda, comenzando en esa posicin, se suelta sin ninguna velocidad
inicial y comienza a vibrar. Esto proporciona una condicin inicial adicional
@u=@t(x; 0) = 0: En resumen el problema que se debe resolver es el siguiente
(c.f. = condicin de frontera, c.i. = condicin inicial):
3.2.
Solucin de la ecuacin de onda
Una manera de resolver la ecuacin anterior es suponer que existen soluciones de la forma u(x; t) = F (x)G(t). A este mtodo se le conoce como
"separacin de variables". Para una funcin u cuyas variables estn "separadas", la ecuacin 3.1 toma la forma
00
c2 F (x)G(t) = F (x)G00 (t)

En aquellos valores de x y t en los cuales F (x) y G(t) no se anulan la ecuacin
anterior puede escribirse como
F 00 (x)=F (x) = G00 (t)=c2 G(t):
Como la funcin de la izquierda depende solo de la variable x mientras que la
funcin de la derecha depende solo de la variable t, ambas funciones debern
54
ser iguales a una cierta constante k: Se obtienen entonces dos ecuaciones

diferenciales ordinarias:
F 00 (x)
00
G (t)
kF (x) = 0
(3.2)
kc G(t) = 0:
Veamos que la funcin u es no trivial (no es identicamente nula) si y solo si

k < 0:
1. Si k = 0, F (x) sera una funcin lineal de la forma F (x) = ax + b. La
condicin inicial ci.1 obligara a que F (0) = b = 0 y F (L) = aL = 0; y
en consecuencia F sera identicamente cero forzando a u = F G a ser
trivial.
2. Si k > p0, entonces F (x) = Aek1 x + Be k1 x , con A; B constantes y
k1 = + k: Nuevamente, la condicin F (0) = F (L) = 0 fuerza a que
A = B = 0, y u sera as mismo una funcin trivial en este caso.
3. Luego la nica posibilidad interesante ocurre cuando k es una constante negativa. Escribamos k = p2 , con p > 0. En este caso la
solucin general de 3.2 sera F (x) = A cos(px) + B sin(px), con A y B
constantes. De la ecuacin F (0) = 0 deducimos A = 0: De la ecuacin
F (L) = 0 deducimos que pL = n , y en consecuencia p = n =L. Para
n = 1; 2; : : : ; denotemos por Fn (x) la funcin Fn (x) = sin(n x=L).
Ahora, para cada n > 0 jo, la ecuacin G00 (t) kc2 G(t) = 0 puede
reescribirse como
cn 2
G00 (t) +
G(t) = 0;
L
cuya solucin general es G(t) = Bn cos( n t) + Bn sin( n t), con n = cn =L:
Derivando con respecto a t se observa que la condicin inicial C.I.3 obliga a
que Bn = 0, de tal suerte que cada funcin un (x; t) = Bn sin(n x=L) cos( n t)
es solucin de 3.1, y satisface C.I.1 y C.I.3. Finalmente, como se ver ms
adelante, la condicin inicial CI.2 solo podr lograse mediante una combinacin lineal innita (una serie) de las funciones un (x; t) :
u(x; t) =
1
P
Bn sin(n x=L) cos(
n t);
n=0
n
= cn =L
de tal manera que

u(x; 0) = f (x) =
1
P
n=0
Bn sin(n x=L):
(3.3)
3.3. MODO FUNDAMENTAL Y ARMNICOS
55
corresponde al desarrollo en series de Fourier de la funcin f (x), asunto

que estudiaremos en detalle en el prximo captulo. All mostraremos que
suponiendo ciertas propiedades de la funcin f (x), una expresin de f (x)
como suma innita
1
P
f (x) =
Bn sin(n x=L)
n=0
RL
siempre es posible, tomando coecientes Bn = 2=L f (x) sin(n x=L)dx:
0
3.3.
Modo fundamental y armnicos
Notemos que cada trmino de la solucin de la ecuacin de onda 3.3,

un (x; t) = Bn sin(n x=L) cos( n t) es una funcin peridica de t, con perodo 2 = n . De aqu se sigue entonces que la onda descrita por un (x; t) tiene
una frecuencia de fn = n =2 = cn=2L ciclos por segundo, (Hertz). Es
decir, en un segundo cada punto de la cuerda completa un total de fn
ciclos. La suma en 3.3, al ser convergente, obliga a que los coecientes
Bn ! 0 cuando n ! 1: De hecho, el coeciente B1 tiende a ser mucho mayor que los restantes Bn , n
2, y ello hace que la amplitud de
B1 u1 (x; t); llamado el modo fundamental, sea mayor que la amplitud de los
sobretonos o armnicos, Bn un (x; t). Es por esta razn que nuestro odo detecta la frecuencia del modo fundamental, f1 = c=(2L) como la frecuencia
dominante, aunque los dems armnicos, cada uno de frecuencia cn=2L;
son percibidos de manera indirecta, haciendo el sonido "ms placentero"de
lo que sera el sonido de una onda "pura". Una demostracin del llamado canto polifnico, en el que una persona es capaz de cantar una nota y
destacar a gusto los distintos sobretonos, puede verse en la direccin siguiente: https://www.youtube.com/watch?v=UHTF1-IhuC0
Ejemplo 3.3.1 supongamos que a una cuerda de guitarra (la cuarta cuerda) de densidad = 0;002474 kg=m, y de longitud L = 0;465m se le pende
a ambos lados pesos de 1;5kg, como se muestra a continuacin:
FOTO
La tensin sera
pentonces T = 1;5 9;8 Newtons; es decir, T = 14;7N . De
aqu que c = T = = 77;07: Supongamos que la cuerda se sujeta de su
punto medio y se presiona hacia abajo 0;005m (cinco milmetros), de tal
suerte que f (x) viene dada por:
f (x) =
0;0235x
0;0235x 0;01
0 x 0;2125
0;2125 x 0;425
56
cuerda en t = 0
Los cuatro primeros trminos de la serie 3.3 para u(x; t) estn dados por
u(x; t) =
c t
x
) cos(
)
L
L
2 x
2c t
10 12 sin(
) cos(
) + 0;45
L
L
4 x
4c t
10 3 sin(
) cos(
)+
L
L
0;405
+ 1;35
0;16
10
sin(
10
sin(
3 x
3c t
) cos(
)
L
L
De aqu que la frecuencia del modo fundamental sea f1 = c=2L = 82;87

Hertzt (experimentalmente se obtuvo f1 = 83;4).
El modo fundamental u1 (x; t) =
tintos valores de t luce como:
0;405
10
2 sin( x ) cos( c t )
L
L
para dis-
3.3. MODO FUNDAMENTAL Y ARMNICOS
57
Los sobretonos lucen como:
para u2 (x; t): Y como
para u3 (x; t): La forma de la cuarda, u(x; t), suma de todos sus modos,
resulta ser en t = 0, t = 1;83; t = 3;2 y t = 4;89; como se muestra a
58
continuacin:
3.4.
3.4.1.
Escalas musicales
Escala pitagrica
Recordemos que la frecuencia del tono fundamental (llamdo frecuencia de la cuerda)

de una cuerda vibrando viene dado por fL = c=(2L),
p
donde c = T = es una constante que depende de la tensin y de la densidad de la cuerda. As, al cambiar la longitud de L a L0 la frecuencia de
la cuerda cambiar en proporcin al cociente de las longitudes. Es decir,
fL0 = c=(2L0 ) = (L=L0 )fL :
Es conocido por todo acionado a la msica que una nota cuya frecuencia
sea el doble de otra (una octava ms alta, en lenguaje musical) conserva
todas sus caractersticas esenciales. Lo mismo ocurrir entre dos notas cuyas
frecuencias f y f 0 sean tales que f =f 0 es un potencia de dos. En este caso el
odo humano las percibir como si fuesen el "mismo"tono, solo que la nota
3.4. ESCALAS MUSICALES
59
de mayor frecuencia se escuchar ms aguda. Por ejemplo, la primera y la

sexta cuerda de una guitarra, cuando se tocan al aire, producen una nota
.equivalente"(mi), solo que la primera cuerda tendr una frecuencia igual a
cuatro veces la producida por la sexta cuerda, y esta ltima se oir entonces
como una nota igual a la producida por la primera cuerda, aunque ms
grave.
Ese hecho experimental fue reconocido por Pitgoras (569 a. C. 475
a. C), quien al poner a vibrar cuerdas de longitudes L y L0 se dio cuenta
de que cuando el cociente L=L0 era igual a una potencia de dos, las notas
musicales producidas por ambas cuerdas al vibrar parecan coincidir, excepto por lo agudo o grave del sonido. Pitgoras tambin descubri de manera
emprica que cuando haca sonar simultaneamente dos cuerdas cuyas longitudes estaban en proporcin dada por una fraccin igual al cociente de
dos enteros pequeos, como por ejemplo L=L0 = 3=2, 4=3; 5=4; 9=8; : : : se
obtena un efecto placentero, armnico. As, por ejemplo, cuando una cuerda
de longitud L se acorta a dos tercios de su longitud su frecuencia al vibrar
se multiplica por 3=2; esto es, fL0 = (3=2)fL . En esta situacin el sonido
de ambas cuerdas vibrando de manera simultnea se escucha consonante y
muy armnico. Igualmente, la frecuencia de una cuerda de longitud igual
a cuatro quintos de la original es igual a fL0 = (5=4)fL : De nuevo, las dos
cuerdas suenan armnicas cuando se escuchan simultaneamente.
Ese efecto de armona o consonacia aumenta cuando tres cuerdas, de
longitudes L; (4=5)L y (2=3)L vibran simultaneamente. Notemos que en este
caso sus frecuencias, fL ; (5=4)fL y (3=2)fL estn en proporciones 5=4 y 6=5.
Un conjunto de tres notas cuyas frecuencias se encuentren en esa proporcin
se denomina una triada mayor justa. De otro lado, cuando la proporcin
ocurre en el orden contrario, 6=5 y 5=4; el sonido de las tres cuerdas al
vibrar tambin resulta muy agradable, aunque carga un inconfundible tinte
de nostalgia. Una de estas triadas se denomina triada menor justa. Estas dos
clases de combinaciones de notas, que en la escala temperada (denida ms
abajo) reciben el nombre de acordes mayores y acordes menores son la base
de toda la armona de la msica occidental, donde, por supuesto, la armona
aparece enriquecida con muchos otros acordes, como aquel que se obtiene
de combinar notas en proporciones 5=4; 6=5; 7=6 (una sptima), y otras
combinaciones ms complejas, como los denominados acordes disminuidos,
aumentados, con segundas, cuartas...
Volviendo a nuestra discusin sobre la escala pitagrica, la idea de Pitgoras consisti en tomar potencias (positivas y negativas) de la fraccin 3=2
para construir as una escala musical cuyas frecuencias estuvieran comprendidas entre una cierta frecuencia fundamental f0 y su octava ms prxima
60
2f0 . Ilustremos la idea de Pitgoras tomando como referencia la frecuencia del do central del piano f0 = 261; 626 Hz. Supongamos que a pulsar
una determinada cuerda de longitud L se obtiene esta frecuencia, llamada
en terminologa musical, la tnica. Entonces, al pulsar esa misma cuerda
acortada a 2=3 de su longitud se obtendra una nota cuya frecuencia sera
(3=2)f0 = 392;439; muy cercana, aunque no igual (como explicar ms adelante) al sol central del piano. Si, por otro lado, la cuerda se alargase a
una vez y media su longitud, (3=2)L, su frecuencia entonces disminuir a
(3=2) 1 f0 = 2=3f0 = 174;417, nota muy cercana al primer fa a la izquierda
del do central. El doble de dicha frecuencia, 4=3f0 ; corresponde entonces
al primer fa a la derecha del do central. De manera similar, una frecuencia
de (3=2)2 f0 = 9=4f0 ; al bajarla una octava (dividirla entre 2) nos da una
fecuencia de 9=8f0 = 294;329 Hz, que corresponde aproximadamente al re
que sigue inmediatamente a la derecha del do central.
escala temperada
De manera general, para obtener una nota en la escala pitagrica basta
tomar una determinada potencia de 3=2 y dividirla (o multiplicarla) por
una potencia apropiada de 2 para que la fraccin obtenida est comprendida
entre 1 y 2. Esto siempre es posible, pues jado un entero n existir una
potencia 2k para la cual 2k < (3=2)n < 2k+1 ; ya que basta tomar k de tal
manera que k < n log2 (3=2) < k + 1. Es decir, k resulta ser precisamente la
parte entera de n log2 3; denotada por k = bn log2 (3=2)c. Para este valor de
k se obtiene entonces que: f0 < (3n =2n+k )f0 < 2f0 : Es decir, salvo octavas,
la nota cuya frecuencia es (3=2)n f0 es la misma que aquella cuya frecuencia
es (3n =2n+k )f0 :
Al seguir este procedimiento, y dndole valores a n iguales a 1; : : : ; 11
3.4. ESCALAS MUSICALES
61
obtenemos la siguiente secuencia de frecuencias:

33
34
35
36
37
38
39
310
311
32
3
f0 ; f0 ; 3 f0 ; 4 f0 ; 6 f0 ; 7 f0 ; 9 f0 ; 11 f0 ; 12 f0 ; 14 f0 ; 15 f0 ; 16 f0 ; : : :
2
2
2
2
2
2
2
2
2
2
2
En orden ascendente, estas frecuencias son:
2187
9
19683
81
177147
729
3
6561
27
f0 ; f0 ;
f0 ;
f0 ;
f0 ,
f0 ; f0 ;
f0 ;
f0 ;
2048
8
16384
64
131072
512
2
4096
16
243
59049
f0 ;
f0
32768
128
f0 ;
Sustituyendo f0 = 261; 626 Hz en la tabla anterior se obtiene:

261;626 Hz; 279;382 Hz; 294;329 Hz, 314;305 Hz, 331;120 Hz,
(3.4)
353;593 Hz; 372;510 Hz; 392;439 Hz; 419;074 Hz; 441;4938 Hz;
(3.5)
471;4585 Hz; 496;6806 Hz, : : :

frecuenicas muy cercanas, pero de ninguna manera idnticas, a las frecuencias correspondientes a la escala del piano moderno, llamada escala temperada.
Escala
pitagorica
La escala cuyas frecuencia aparece en 3.4 se conoce con el nombre de escala
pitagrica, durante milenios, referencia obligada en toda la musica europea.
Esta escala, sin embargo, comprede muchas ms notas que las doce notas
de la escala cromtica usual. Tomemos, por ejemplo, la nota que correspondera a la potencia decimosegunda: (3=2)12 . En este caso debemos reducir
la fraccin, dividndola por la potencia 219 ; para obtener la frecuencia de la
62
correspondiente nota dentro de la tnica y su octava superior. Esta operacin nos da: (312 =219 )f0 = 1;01364f0 = 265;19. La nota as obtenida tiene
una frecuencia muy cercana, pero no igual, a la frecuencia del do central. El
cociente entre estas dos frecuencias se denomina coma pitagrica. Una coma
es entonces igual a 1;01364:
Observacin 3.4.1 En trminos matemticos, la construccin de la escala pitagrica corresponde a tomar las clases de equivalencia las fracciones
(3=2)n , n 2 Z en el grupo G = G = R+ = < 2k : k 2 Z >, donde R+ denota
el grupo multiplicativo de los reales positivos y < 2k : k 2 Z > el subgrupo
cclico generado por 2: Esto, ya que las posibles frecuencias as obtenidas,
salvo octavas, estn en correspondencia con los elementos de G:
3.5.
Escala Temperada
El cociente (intervalo, en lenguaje musical) entre una nota y la siguiente

de una escala se llama semitono. Observemos que en la escala pitagrica hay
dos clases de semitonos, dependiedo de cul sea el par de notas consecutivas elegidas. Estos semitonos son: 37 =211 = 1;0679 y 28 =35 = 1;0534: Sus
frecuencias son muy cercanas, aunque no iguales, lo cual es indeseable pues
cuando se "transportana meloda subiendo todas sus notas un semitono
(por ejemplo, comenzando en do# o en re, y no en la tnica) sta dejar
de sonar igual, se escuchar extraa y diferente. Este problema motiv la
construccin de la escala conocida con la escala temperada, la cual fue llevada a su mxima expresin por el genio insuperable de Johann Sebastian
Bach (1685-1750). La idea para construir esta escala es sencilla: se siguen
utilizando doce notas pero cuyas frecuencias sean escogidas de tal manera
que el cociente entre dos notas sucesivas sea constante, lo cual signica que
todos los semitonos resultan iguales. Para lograrlo, basta hacer que el cociente entre las frecuencias de dos notas consecutivas sea igual a = 21=12 .
As, si partimos del do central del piano, f0 = 261;626 Hz; las notas de esta
3.5. ESCALA TEMPERADA

nueva escala tendran frecuencias: f0 ,
63
2f ; : : :
0
12 f
0
= 2f0 :
Se obtiene as la llamada escala musical temperada, utilizada en toda la

musica occidental desde el siglo XVII.
La guitarra, el piano, el oboe, la auta, y en general todos los instrumentos de la orquesta estn construidos para reproducir las notas de la escala
tremperada. En la guitarra, por ejemplo, el diapasn est dividido de tal
manera que al pisar una misma cuerda en los distintos trastes su frecuencia
aumenta proporcional a (un semitono).
Sabemos
que la frecuencia de una determinada cuerda depender de c =
p
T = , y su frecuencia estar dada por fL = c=(2L), donde L = 65 cm
en el caso de la guitarra espaola. El acto de pulsar la cuerda cuando la
mantenemos presionada en el alguno de los traste equivale a acortar la cuerda
en cierta magnitud. Denotemos por L0 la longitud de la cuerda acortada,
igual en este caso a la distancia entre el traste presionado y el puente. Vimos
ms arriba que la cuerda vibrar entonces con una frecuencia igual a fL0 =
(L=L0 )fL . Si queremos, por ejemplo, que fL0 = fL debemos hacer que
L0 = L= = 61;35 cm. As, el primer traste deber estar situado a 61;35 cm
del puente. Dividiendo por las potencias sucesivas 2 ; 3 ;..,etc, se obtienen
64
las posiciones de los siguientes trastes, como se muestra en la tabla siguiente:

No. Traste
Distancia del traste al puente (cm)
Primer traste
61;35
Segundo traste
57;90
54;66
51;59
48;69
45;96
..
.
43;38
traste doce
40;94
38;64
36;48
34;43
32;50
Es un ejerccio elemental determinar cul deber ser la tensin de cada cuerda, conocida su densidad, para que al vibrar al aire cada una de las seis
cuerdas produzcan las frecuencias que se muestran en la siguiente tabla:
Acordes mayores y menores en la escala temperada

Detengmosnos a analizar de nuevo las triadas mayores y menores que
discutimos ms arriba, vistas ahora desde la perspectiva de la escala temperada. Recordemos que una triada mayor cosiste de tres notas en proporciones
3.5. ESCALA TEMPERADA
65
4 : 5 y 5 : 6, lo cual signica que si f1 ; f2 ; f2 son las frecuencias de las tres

notas correspondientes, entonces f2 =f1 = 5=4 y f3 =f2 = 6=5. Si computamos
estos dos cocientes para las notas do, mi, sol del registro central del piano:
Nota Frecuencia
do
261;6256
mi
329;6276
sol
391;9954
con frecuencias respectivas de f1 = 261;625, f2 = 329;62 y f3 = 399;99;
vemos que f2 =f1 = 1;2599 y f3 =f2 = 1;189. Notemos que 5=4 = 1;25 y
6=5 = 1;2 son valores muy cercanos a estos cocientes. Luego las notas fdo,
mi, solg aproximan muy de cerca una triada mayor justa.
De otro lado, las notas do, mib = re#, sol forman aproximadamente una
triada menor:
Nota Frecuencia
do
261;6256
re#
311;127
sol
391;995
pues sus cocientes son 311;127=261;625 = 1;189 ' 6=5 y 391;995=311;127 =
1;2599 ' 5=4.
66
Captulo 4
Series de Fourier
Este captulo pretende resumir los teoremas y frmulas bsicas de la
teora de series de Fourier (vase por ejemplo [5]) con el animo de que pueda
ser utilizadas para la solucin de la ecuacin de onda desarrollada ms arriba.
El enfasis se centrar en ejemplos y en los usos de esta herramienta, ms
que en los desarrollos tericos. No obstante, daremos referencias apropiadas
para el estudiante interesado que desee profundizar en el estudio del anlisis
armnico, una extensa rama de las matemticas.
4.1.
Desarrollo en serie de una funcin peridica
La teora de Fourier estudia la manera de aproximar funciones peridicas

mediante series innitas en senos y cosenos. De manera ms precisa:
Denicin 4.1.1 Una funcin f : R ! R se llama peridica con perdo
p = 2L si f (x + 2L) = f (x).
Nos restringiremos a funciones peridicas suaves a tramos, una clase
sucientemente amplia para casi todos los propsitos de las aplicaciones de
las series de Fourier a la ingeniera, y para las cuales son vlidos los teoremas
fundamentales de la teora.
Recordemos que si f es una funcin denida para todos los puntos de un
intervalo (a; a + "), (" es un nmero positivo pequeo y f no tiene que estar
denida en a) el lmite por a derecha de f en el punto a se dene como
f (a+ ) = l mh!0 f (a + h); tomando valores h > 0. De manera similar, si f
est denida en todos los puntos de un intervalo (a "; a); el lmite por la
izquierda de f en el punto a est denido como f (a ) = l mh!0 f (a + h);
con h < 0:
67
68
CAPTULO 4. SERIES DE FOURIER
Denicin 4.1.2 Una funcin peridica f : R ! R con perodo 2L se llama

continua a tramos si se cumplen las siguientes condiciones:
1. La funcin es continua en todo punto en el interior del intervalo [ L; L],
excepto posiblemente en un conjunto nito de puntos A.
2. En cada punto a 2 A, cada uno de los lmites f (a+ ) y f (a ) existen.
3. En los extremos del intervalo,
existen.
L y L; los lmites f ( L+ ) y f (L )
La funcin f se denomina suave a tramos si f y su derivada f 0 son

continuas a tramos.
Ejemplo 4.1.3
1. Las funciones que se muestran en las siguientes grcas son suaves a tramos.
g 1
g 2
4.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA
69
2. La funcin mostrada en la grca siguiente no es suave a tramos, pues

f (L ) no existe
g 3
p
3. La funcin f (x) = x, denida en [0; 1]; puede extenderse de manera
peridica con perodo igual a 2 si denimos
8
p
<
p x, 0 x 1
x;
1 x 1
f (x) =
:
f (x + 2) en cualquier otro punto
g 4
Esta funcin no es suave a tramos pues ninguno de los dos lmites
f 0 (0+ ) y f 0 (0 ) existen.
70
El teorema fundamental para funciones suaves a tramos es el siguiente

(ver [7], pag 77).
Teorema 4.1.4 Supongamos que f : R ! R es una funcin peridica con
perodo 2L, y suave a tramos. Entonces existe una serie de Fourier
a0 +
1
P
an cos(
n=1
la cual satisface:
n x
n x
) + bn sin(
)
L
L
1. En cada punto x se cumple que

(f (x+ ) + f (x ))=2 = a0 +
1
P
n=1
an cos(
n x
n x
) + bn sin(
):
L
L
2. En aquellos puntos donde f es continua, el trmino izquierdo de

la igualdad es igual a f (x), y se tiene en este caso que:
f (x) = a0 +
1
P
an cos(
n=1
n x
n x
) + bn sin(
)
L
L
3. Si adems la segunda derivada de f es suave a tramos, entonces

en cada punto x donde f 0 sea continua se tiene que
f 0 (x) =
1
P
L n=1
( nan ) sin(
n x
n x
) + nbn cos(
):
L
L
Es decir, la serie se puede derivar trmino a trmino.

4. Los coecientes de la serie anterior pueden hallarse mediate las
llamadas frmulas de Euler
4.1.1.
71
Funciones pares e impares
En muchas situaciones el computo de los coecientes de la serie de Fourier

puede simplicarse en el caso en el que f sea una funcin par o una funcin
impar. Recordemos que f : R ! R se llama par si f ( x) = f (x), e impar, si
f ( x) = f (x). Como ejemplos fundamentales estn las funciones cos( nLx ),
la cual es par, y sin( nLx ), la cual es impar. Es claro que la paridad de
una funcin sigue las siguientes reglas: par par=par, impar par=impar e
impar impar=par.
Sea f una funcin peridica con perodo 2L, suave a tramos, y par.
Entonces f (x) sin( nLx ) ser una funcin impar y por consiguiente cada bn =
RL
f (x) sin( nLx )dx es igual a 0 (el rea entre L y 0 es igual al rea entre
L
0 y L, pero con signo opuesto). Adems, como f (x) cos( nLx ) es en este caso
RL
RL
par; entonces se sigue que: f (x)dx = 2 f (x)dx: Por consiguiente:
L
Observacin 4.1.5 Si f una funcin peridica con perodo 2L, suave a

tramos, y par:
(4.1)
De otro lado, si f es una funcin peridica con perodo 2L, suave a
tramos, e impar, entonces f (x) cos( nLx ) ser una funcin impar y por conRL
siguiente cada an =
f (x) cos( nLx )dx es igual a 0. En este caso, como
L
f (x) sin( nLx ) es par, vemos que:
Observacin 4.1.6 Si f una funcin peridica con perodo 2L, suave a
72
tramos e impar:
(4.2)
Los siguientes ejemplos nos servirn para ilustrar las frmulas anteriores.
Ejemplo 4.1.7 Sea f (x) = x2 , denida entre [ 1; 1], y donde esta funcin
se extiende peridicamente (con perodo igual a 2) a toda la recta real haciendo f (x + 2) = f (x): Calculemos su serie de Fourier, utilizando para ello
las capacidad de integracin simblica de GeoGebra.
f (x) = x2
R1
Como la funcin es par vemos que bn = 0. De otro lado, a0 = 1=2 x2 dx =
1
x3 =6
R1
= 1=6 + 1=6 = 1=3: Adems, an = 1=1 x2 cos(n x)dx: La integral

1
73
puede computarse como se muestra a continuacin
Ahora, sin(n ) = 0, para todo n mientras que cos(n ) = ( 1)n . Luego la

integral anterior es igual a an = ( 1)n 4= 2 n2 . De aqu que la serie de Fourier
sea:
1 ( 1)n
4 P
1
+ 2
cos(n x)
2
3
n=1 n
Como f (x) satisface las condiciones del Teorema 4.1.4, y es continua, vemos
que
1 ( 1)n
1
4 P
x2 = + 2
cos(n x)
2
3
n=1 n
Si evaluamos ambos lados en x = 0, respectivamente en x = 1, obtenemos

tres maravillosas frmulas debidas a Euler:
1 ( 1)n
P
1
1
1
1
=
+ 2
+
2
2
2
12
n
1
2
3
4
n=1
2
1 ( 1)n
P
1
1
1
1
=
( 1)n = + 2 + 2 + 2 +
2
6
1 2
3
4
n=1 n
2
1
1
1
+ 2+ 2+
1 3
5
Esta ltima frmula se obtiene sumando las dos anteriores.

2"
L x,
0 x L=2
, la funcin que
L), L=2 x L
describe las condiciones iniciales de una cuerda que se desplaza hacia abajo
Ejemplo 4.1.8 Sea f (x) =
2"
L (x
74
una pequea cantidad " > 0 antes de soltarla.
Segn lo visto en la Seccin 3.2, la solucin de la ecuacin de onda tiene la

forma
1
P
n x
cn t
u(x; t) =
bn sin(
) cos(
),
L
L
n=1
p
donde c = T = y donde se debe cumplir la condicn inicial
u(x; 0) = f (x) =
1
P
bn sin(
n=1
n x
):
L
Resolvamos entonces el problema de encontrar un desarrollo en serie de

Fourier para f (x) para el cual se cumpla que a0 = an = 0, para todo n 1:
Para ello basta extender la funcin f (x) a una funcin impar, denida en
[ L; L], y luego completar la denicin de f (x) a toda la recta real, haciendo
f (x + 2L) = f (x):
Los coecientes de Fourier bn se calculan como

2 RL
n x
2
bn =
f (x) sin(
)dx =
L0
L
L
L=2
R
0
RL 2"
n x
2"
(
x) sin(
)dx +
(x
L
L
L=2 L
n x
L) sin(
)dx
L
75
Utilizando de Nuevo GeoGebra (en su defecto la integracin se hace fcilmente por partes) vemos que:
(
R
"L(n cos( n2 ) 2 sin( n2 ))
2" L=2
n x
) (x) sin(
)dx =
L 0
L
n2 2
2" RL
(x
L L=2
L) sin(
n x
)dx =
L
"L(2 sin( n2 ) + n cos( n2 )

n2 2
2 sin(n ))
Sumando a ambos lados, y notando que sin(n ) = 0; se obtiene:

bn =
8"
2 n2
sin(
n
)=
2
8"
2 n2 (
1)k
0; si n = 2k
sin( n2 ), si n = 2k + 1
Luego
f (x) =
1 ( 1)k+1
8" P
sin
2
2
k=0 (2k + 1)
(2k + 1) x
L
Observacin 4.1.9 El mtodo del ejemplo anterior puede seguirse para

aproximar cualquier funcin f denida en un intervalo [0; L]; bien sea con
1
1
P
P
una serie de la forma
bn sin( nLx ) o de la forma a0 +
an cos( nLx ).
n=1
n=1
1. Para el primer caso, extendemos f hacindola par en el intervalo

[ L; L]: para ello, solo basta denir f ( x) = f (x), si L
x
0.
Despus se extiende de manera peridica a toda la recta, haciendo
f (x + 2L) = f (x)
2. En el segundo caso, extendemos f a una funcin impar en [ L; L],

deniendo f ( x) = f (x), y luego a una funcin peridica en toda la
76

recta real, haciendo f (x + 2L) = f (x):
En cada caso los respectivos coecientes se computan mediante las

frmulas 4.1 o 4.2.
Captulo 5
Ecuacin del calor

En este captulo derivaremos la ecuacin del calor, bajo ciertos supuestos
y discutiremos su solucin en algunos ejemplos particulares. Con algunas
variaciones, la deduccin y solucion de la ecuacin del calor sigue lo expuesto
en cualquiera de los textos referenciados en la bibliografa al comienzo del
curso [5], [6], [7].
5.1.
Calor y temperatura
El calor se dene como la transferencia de energa trmica entre dos

cuerpos que se encuentran a distintas temperaturas. Este ujo de energa
siempre ocurre desde el cuerpo de mayor temperatura hacia el cuerpo de
menor temperatura. La temperatura de un cuerpo P , de otro lado, puede
denirse como la densidad de energa trmica contenida en P .
De manera precisa, supongamos un cuerpo P , uniformemente denso,
hecho de un material determinado cuya densidad denotaremos por , y cuyo
77
78
CAPTULO 5. ECUACIN DEL CALOR
volumen se denotara por V ol(P ).
Denicin 5.1.1 La temperatura en el cuerpo P , y en un instante de tiempo determinado, es una funcin u(x; y; z) denida en cada punto (x; y; z) 2 P
la cual satisface la siguiente propiedad operacional: la cantidad
R de energa
calrica contenida en P es igual a la integral de volumen: E = c u(x; y; z)dxdydz,
P
donde denota la densidad del cuerpo P y c es una constante que depende

del material del cual est constitudo. A c se le llama el calor especco del
material; cuyas unidades son energa=(masa temperatura).
Si la temperatura es uniforme en todo los puntos de P (u(x; y; z)
T ) entonces la cantidad de energa calrica contenida en P sera igual a
E = c T V ol(P ). Si la temperatura fuese una unidad ms alta, la energa
contenida en P sera ahora
E 0 = c (T + 1)V ol(P ) = E + c V ol(P ) = E + cm;
,pues V ol(P ) = m, donde m denota la masa de P . De aqu que la cantidad
de energa para subir la temperatura una unidad sea igual a
E0
E = cm:
Esto nos proporciona una interpretacin de la constante c: la cantidad de

energa calrica necesaria para subir la temperatura de una unidad de masa,
una unidad de temperatura.
Si P esta hecho de agua, y utilizamos unidades kg, m, seg, C , respectivamente, y si medimos la energa en joules = kg m2 =s2 , (que denotaremos
5.2. LEY DE FOURIER
79
con la letra J) entonces la cantidad de energa necesaria para elevar un litro

de agua (masa = 1kg) un grado centigrado ser 4186.8 J, aproximadamente
(esta energa depende de otras variables, como la temperatura inicial del
agua y la presin atmosfrica, que en esta discusin dejaremos de lado).
Esta medida de energa calrica es precisamente la denicin de una kilo
calora, Kcal; si se quiere, 1 Kcal =4186.8 J. As entonces, para el agua,
su calor especco c es igual a 4186.8 J/kg C . Esta constante, medida en
Kcal, es obviamente igual a 1 J/kg C : La siguiente tabla muestra algunos
valores de c para ciertos materiales:
Tabla 1
5.2.
Ley de Fourier
La transferencia de calor obedece una ley simple, descubierta por JeanBaptiste Joseph Fourier. Supongamos en un cuerpo P , y en determinado
instante t = t0 , la temperatura viene dada por una funcin u(x; y; z). Tomemos una seccin de supercie S dentro de P: Entonces la ley de Fourier
arma que el fujo de calor a travs de S ocurre en la direccin del vec@u @u
tor grad(u) = ( @u
@x @y ; @z ); y viene dado por la integral de supercie
R
< n; grad(u) > dA, donde n denota el vector normal unitario exterior,
@P
@P denota la frontera de P , < n; grad(u) > es el producto interno del normal

unitario y el gradiente de la funcin u y es una constante que depende del
material, llamada constante de conductividad trmica. Esto quiere decir que
en un intervalo pequeo de tiempo entre t y t + t, la cantidad de energa
80
calorca que atraviesa S sera aproximadamente

t(
< n; grad(u) > dA)
@P
La ley de Fourier puede explicarse de la manera siguiente: como grad(u) es

un vector que apunta en la direccin de mayor crecimiento de la funcin, y
es perpendicular a cada superce isotrmica (una supercie a lo largo de la
cual u(x; y; z) es constante), entonces grad(u) apuntar en la direccin de
menor crecimiento: es decir, el calor uye de una supercie de mayor temperatura a una de menor temperatura. Ahora, en un determinado momento
t = t0 la cantidad de calor que uye a lo largo de un entorno muy pequeo de
q, A, en la direccin de n, sera aproximadamente
< n; grad(u) > A
que es igual a < n; grad(u) > A. El signo menos que precede el producto
interno se debe a que el calor contenido en P escapa de P , cuando grad(u)
apunta hacia afuera de P , y entra en P; en caso contrario. De aqu entonces
que en el instante t = t0 el Rujo total de calor (tomado con signo) a lo largo
de la forentera de P sea @P < n; grad(u) > dA:
Ejemplo 5.2.1 Considermos un cilindro de longitud L, dispuesto a lo largo
del eje x: Supongamos que = 1 y que la temperatura en un instante t0
es la misma para todos los puntos del cilindro en la seccin vertical A con
coordenas x, y es igual a u(x; t0 ) = 2x2 unidades de temperatura. Entonces
el fujo de calor que atraviesa la seccin A, tendra la direccin de grad(u) =
4xe1 jx=x0 , donde e1 denota el vector unitario en direccin positiva. Y, la
cantidad de calor que atraviesa A, en el instante t0 ; tiene magnitud 4Ax0 .
Como n = e1 , se sigue que < 4Ax0 e1 ; e1 > = 4Ax0 ; igual a la cantidad
de calor que entra (entra una cantidad negativa, o sea, el calor escapa) a
5.3. ECUACIN DEL CALOR EN UN CLILINDRO DE DENSIDAD UNIFORME81

travs de A.
5.3.
Ecuacin del calor en un clilindro de densidad

uniforme
Retomenos el ejemplo anterior: sea P un cilindro de longitud L, densidad constante , fabricado con un material cuyo calor especco es c y
cuya constante de difusin trmica es . Supongamos que la temperatura
es constante en cada seccin vertical y est dada por una funcin u(x; t),
0 < x < L. Analicemos el ujo de calor en una rodaja de espesor h, situada
entre x y x + h :
1. En la seccin Ax , el vector normal nx apunta en la direccin negativa.

Luego nx = e1 . Segn la ley de Fourier, el ujo de calor en el instante
82

t, a travs de Ax , es igual a
< @u=@x(x; t)e1 ; nx > Ax =
< @u=@x(x; t)e1 ; e1 > Ax
= ( @u=@x)(x; t)Ax :
Si la funcin de temperatura fuese como se muestra en la gura, entonces @u=@x(x; t) < 0 y la cantidad de calor que atraviesa Ax , igual
a @u=@x(x; t), sera positiva (el calor entra a travs de Ax .
2. En la seccin Ax+h , el vector normal nx+h apunta en la direccin
positiva. Luego nx+h = e1 : Segn la ley de Fourier, el ujo de calor en
el instante t, a travs de Ax+h , es igual a
< @u=@x(x + h; t)e1 ; e1 > Ax+h =
< @u=@x(x + h; t)e1 ; e1 > Ax+h
= (@u=@x)(x + h; t)Ax+h :
Si la funcin de temperatura fuese como se muestra en la gura, entonces @u=@x(x + h; t) < 0 y la cantidad de calor que atraviesa Ax+h ,
igual a (@u=@x)(x + h; t)Ax+h , tambin sera negativa (el calor escapa
a travs de Ax+h .
3. Entre los instantes t y t + t, la cantidad de calor que uye a travs
de a frontera de la rodaja sera entonces, aproximadamente,
tA (@u=@x(x + h; t)
@u=@x(x; t)) :
(5.1)
donde A es el rea de la seccin vertical del cilindro.

4. De otro lado, por el principo de la conservacin de la energa, si E(t)
denota la energa calrica contenida en la rodaja en el instante t, la
diferencia E(t + t) E(t) deber ser igual entonces a (5.1). Pero
E(t) = Ac
E(t +
t) = Ac
x+h
Z
u(x; t)dx ' Ahc u(x; t) y
x
x+h
Z
u(x; t +
t)dx ' Ahc u(x; t +
t):
Luego
c u(x; t +
t)h
c u(x; t)h =
t (@u=@x(x + h; t)
@u=@x(x; t))
5.4. *ECUACIN DEL CALOR EN UN CUERPO P (OPCIONAL)
83
que es equivalente a
c
u(x; t +
t)
c u(x; t)
t
5. Tomando el lmite cuando h ! 0 y

c
@u=@x(x + h; t)
h
@u=@x(x; t)
t ! 0 se obtiene:
@2u
@u
=
@t
@x2
que mucha veces suele escribirse como

@2u
1 @u
=
, donde
2
@x
@t
es la llamada constante de difusin trmica.
La siguiente tabla muestra algunos valores de c; ;

teriales:
para algunos ma-
Tabla 2
5.4.
*Ecuacin del calor en un cuerpo P (Opcional)
La ecuacin del calor se deduce del principo de conservacin de la energa.

Nuevamente, consideremos un cuerpo P de densidad uniforme y hecho de
un sustancia cuyo calor especco es c. Tomemos un punto interior q, y
denotemos por B un pequeo entorno alrededor de q. Supongamos que la
temperatura en P est dada en cada punto por una funcin u(x; y; z; t) que
depende del tiempo. Tomemos un t pequeo y hagamos en balance de
la energa total en una regin B alrededor de q contenida en P , entre los
tiempos t yR t + t. La energa en cada uno de estos
R momentos es entonces
E(t) = c u(x; y; z; t)dxdydz y E(t + t) = c u(x; y; z; t + t)dxdydz.
B
84
Luego
E(t +
t)
t
E(t)
c
=
u(x; y; z; t +
t)dxdydz
u(x; y; z; t)dxdydz
0
Z
u(x; y; z; t +
=c @
t)
t
1
u(x; y; z; t) A
Tomando el lmite cuando t ! 0 se obtiene que el cambio instantneo de

la energa en el momento t es igual a
Z
@u
dE=dt = c
(x; y; z; t)dxdydz:
(5.2)
@t
B
De acuerdo con la ley de Fourier, el ujo de calor

en el instante t a lo largo
R
de la frontera de B est dado por la integral @B < n; grad(u(x; y; z; t)) >
dA. Por el principo de la conservacin de la energa, el cambio instantneo
de energa dE=dt deber ser igual a este ujo, y por tanto
Z
R
@u
c
(5.3)
(x; y; z; t)dxdydz = @B < n; grad(u(x; y; z; t)) > dA:
@t
B
Por el Teorema de Gauss sabemos que

R
@B
< n; grad(u(x; y; z; t)) > dA =
div(grad(u))dxdydz:
Luego, igualando las ecuaciones (5.2) y (5.3) se obtiene:

Z
Z
@u
c
(x; y; z; t)dxdydz =
div(grad(u))dxdydz;
@t
B
(5.4)
donde
div(g) =
@g1 @g2 @g3

+
+
@x
@y
@z
es la divergencia de la funcin vectorial g = (g1 ; g2 ; g3 ): Tomando g =

@u @u
( @u
@x @y ; @z ) se obtiene
div(grad(u)) =
@2u @2u @2u

+ 2 + 2
@x2
@y
@z

que se denomina el laplaciano de u, y que se denotar por
Ahora, la ecuacin 5.4 puede escribirse en la forma:
Z
@u
(c
u)dxdydz = 0:
@t
85
u.
Como esta ecuacin es cierta para cualquier regin B en P , la funcin dentro

de la integral est forzada a ser igual a cero, de donde se obtiene la ecuacin
del calor para P :
@2u @2u @2u
c @u
+ 2 + 2 =
2
@x
@y
@z
@t
(Ecuacion del Calor)
Discutamos de nuevo el ejemplo de la Seccin 5.3. Si suponemos que

la temperatura solo depende de x y t, entonces @u=@y = @u=@z = 0 y la
ecuacin se convierte en:
@2u
c @u
=
;
(5.5)
@x2
@t
ecuacin que, segn vimos, se suele escribir en la forma:
@2u
1 @u
=
,
@x2
@t
con
= =(c ).
5.4.1.
Temperatura ja en los extremos y solucin de la ecuacin

5.5.
Existen distintos tipos de condiciones iniciales para la ecuacin del calor.

Comencemos por discutir en el ejemplo anterior del cilindro las ms secillas:
cuando para t = 0 se ja u(x; 0) = f (x), una cierta distribucin de temperatura, y cuando los extremos de la barra u(0; t) y u(L; t) se mantienen
constantes e iguales a cero:
@2u
1 @u
=
, t > 0, 0 < x < L
@x2
@t
u(x; 0) = f (x);
(5.6)
u(0; t) = u(L; t) = 0
= =c :
Como en el ejemplo de la cuerda vibrante, el mtodo de separacin de variables proporciona una manera de hallar la solucin. Suponemos u(x; t) =
86
F (x)G(t). La ecuacin @ 2 u=@x2 = (1= )@u=@t obliga entonces a que F 00 (x)G(t) =

1= F (x)G0 (t), y por tanto F 00 =F = y G0 = G = , para una cierta constante
. Ahora, las condiciones iniciales fuerzan a que u(0; t) = F (0)G(t) = 0, para
todo t y u(L; t) = F (L)G(t) = 0. De aqu que F (0) = F (L) = 0, pues buscamos una solucin no trivial. Luego F debe satisfacer lla misma ecuacin
y las mismas condiciones que en el caso de la cuerda vibrante, F 00
F = 0;
con F (0) = F (L) = 0: En el Captulo II vimos que la nica solucin no
2 , en cuyo caso para cada valor
trivial ocurre cuando < 0, digamos =
de n = 1; 2; : : : y n = n =L existen soluciones Fn (x) = sin(n x=L).
La otra ecuacin, G0
G = 0 se convierte entonces en G0 + 2n G = 0,
2
2
cuya solucin general es G(t) = bn e n t . Cada un (x; t) = bn sin(n x=L)e n t
es entonces una solucin.
Utlizamos de nuevo el principo de superposicin para hallar una solucin
general de la forma:
u(x; t) =
1
X
2t
n
bn sin(n x=L)e
= n =L;
(Soluc. a la ec. del calor)
n=1
donde para lograr que se satisfaga la condicin inicial u(x; 0) = f (x) es

necesario que
1
X
bn sin(n x=L)
f (x) = u(x; 0) =
n=1
sea el desarrollo en serie de Fourier de una extensin impar de f (x) al intervalo [ L; L]: De aqu que
bn = 2=L
ZL
f (x) sin(n x=L)dx:
Ejemplo 5.4.1 Una barra de cobre de un metro de longitud se calienta

a 100 C , mientras su extremos se mantienen aislados en hielo seco a una
tempertaura constante de 0 C . Calculemos la evolucin de la tempreratura
en la barra dada por la funcin u(x; t):
De acuerdo con la Tabla 2; la constante de difusin del cobre es =
1;1cm2 =s, que es igual a 1;1 10 4 m2 =s; y nos dicen que la longitud de
la barra es 1 metro. La condicin inicial de temperatura est dada por la
funcin constante f (x) = 100 , 0 < x < 100: Luego cada coeciente bn se
computa como
bn = 2=1
Z1
100 sin(n x)dx
Z1
sin(n x)dx =
87
= 200
200
cos(n x)j10
n
200
=
(cos(n )
n
1) =
200
n (
2); n es impar
0, n es par
De aqu que
400=(n ), si n = 1; 3; 5; : : :
: = 1;1
0, si n = 2; 4; 6; : : :
1
X
400
u(x; t) =
sin ((2k + 1) x)) e 1;1 10
(2k + 1)
bn =
10
4 ((2k+1)
)2 t
n
1
k=0
5.4.2.
Solucin con temperatura constante arbitraria en los

extremos
En la cuacin del calor en un cilindro de densidad uniforme, longitud

L y constante de difusin , supongamos ahora que la temperatura en los
extremos se mantiene ja, e igual a u(0; t) = T1 y u(L; t) = T2 . La idea
para resolver este problema es reducirlo al caso anterior (ecuacin 5.6),
buscando una solucin de la forma u(x; t) = u1 (x; t) + v(x). Claramente
@ 2 u=@x2 = @ 2 u1 =@x2 y @u=@t = @u1 =@t, y por consiguiente si u1 (x; t)
satisface la ecuacin @ 2 u1 =@x2 = 1= @u1 =@t, entonces la funcin u(x; t)
tambin la satisfara. Si adems u1 (x; t) satisface las condicones iniciales
u1 (x; t) = u2 (L; t) = 0; entonces para que u(x; t) satisfaga u(0; t) = T1 y
u(L; t) = T2 se necesita que
T1 = u(0; t) = u1 (0; t) + v(0) = v(0)
(5.7)
T2 = u(L; t) = u1 (L; t) + v(0) = v(L)

En este caso, si v(x) = (T2 L T1 ) x + T1 es la ecuacin de la recta cuyos valores
en 0 y L son, v(0) = T1 y v(L) = T2 , entonces es claro que las ecuaciones (5.7) se satisfacen, si u1 (x; t) es solucin de la ecuacin del calor
con u1 (0; t) = u1 (L; t) = 0: Finalmente, queremos tambin que f (x) =
u(x; 0) = u1 (x; 0)+v(x). Luego basta que u1 (x; t) satisfaga adems la condicin u1 (x; 0) = f (x) v(x). En conclusin:
88

La solucin del problema
@2u
1 @u
=
, t > 0, 0 < x < L
2
@x
@t
u(x; 0) = f (x);
(5.8)
u(0; t) = T1 , u(L; t) = T2
= =c :
puede obtenerse haciendo u(x; t) = u1 (x; t) + v(x), donde v(x) =
T1 ; y u1 (x; t) es solucin del problema:
(T2 T1 )
x+
L
@ 2 u1
1 @u1
=
, t > 0, 0 < x < L
@x2
@t
u1 (x; 0) = f (x) v(x);
(5.9)
u1 (0; t) = 0, u1 (L; t) = 0
= =c :
que ya resolvimos en la seccin anterior.
Ejemplo 5.4.2 la temperatura en una barra cilndrica de aluminio de longitud 1 m est dada inicialmente por f (x) = 10x2 . Los extremos se mantienen
a temperatura ja T1 = 0 C en el extremo izquierdo y T2 = 10 C en el
extremo derecho. Hallemos la funcin de temperatura en cualquier instante
u(x; t).
En este caso v(x) = 10x,
= 0;83 10 4 m/s y debemos reoslver
el problema (5.9), cuya solucin se obtiene computando los coecientes de
Fourier
R1
bn = 2=1 (10x2
0
= 20
R1
10x) sin(n x)dx = 20 (x2
x) sin(n x)dx
2 + 2 cos(n )
3 n3
80
, si n es impar
0, si n es par.
3 n3
Luego la solucin sera

u(x; t) = 10x +
n=1;3;5;:::
80
3 n3
sin (n x) e
0;83 10
4 (n
)2 t
El siguiente programa en Maple genera una simulacin de la ecuacin

del calor en una barra de longitud L, cuyo coeciente de difusin es delta,
89
con condiciones iniciales u(x; 0) = f (x) y u(0; t) = T1 y u(L; t) = T2 : El

entero n es el nmero de trminos de la correspondiente serie de Fourier que
se desean calcular.
Las siguientes imgenes corresponden a una simulacin del problema en el

Ejemplo 5.4.2, con temperaturas en cada extremo iguales a T1 = 10 y
T2 = 10.
t=0s
90
t = 125 s
t = 2060 s
91
92
t = 4271 s
Notamos que cuando t ! 1, la solucin u(x; t) tiende a la funcin v(x)
que es la lnea recta entre los puntos (0; T1 ) y (L; T2 ).
Captulo 6
La membrana vibrante
En este captulo estudiaremos los problemas de la membrana vibrante
rectangular y de la membrana vibrante de borde circular, extensiones a
dos dimensiones de los problemas estudiados en los captulos anteriores.
Mostraremos cmo resolverlos bajo ciertos supuestos, y discutiremos soluciones particulares en algunas situaciones. Con algunas variaciones, seguiremos los expuesto en cualquiera de los textos referenciados en la bibliografa
al comienzo del curso [5], [6], [7].
6.1.
Ecuacin de una membrana vibrante rectangular
Supongamos una membrana elstica M de forma rectangular cuyos bordes se encuentran connados a los lados del cuadrado [0; a] [0; b]. Supondremos, como en el anlisis de la cuerda, que:
Supuestos fsicos
1. M es homognea de densidad constante , que mediremos en kg/m2 .
2. Cada punto vibra en direccin exclusivamente vertical en la direccin

93
94
CAPTULO 6. LA MEMBRANA VIBRANTE

del eje z, como se muestra a continuacin (aqu a = b = 1):
Como en el ejemplo de la cuerda, denotemos por z = u(x; y; t) la

funcin que describe la posicin en el instante t de un punto de M
cuya proyeccin en el plano tiene coordenadas (x; y):
3. El desplazamiento de cada punto en la direccin vertical es pequeo.
4. La tensin en la membrana es uniforme en todas las direcciones: si
hicieramos un pequeo corte de longitud l en cualquier punto de M ,
y en cualquier instante t, la fuerza ejercida a ambos lado de l sera la
misma, y sera proporcional a l: es la decir, la fuerza resultante T en
cualquiera de los dos lados est dada por T = l, donde (densidad
de fuerza) tiene unidades Newton/m:
Analicemos la dinmica de una pequea porcin de membrana comprendida entre [x; x + x] [y; y + y]
6.1. ECUACIN DE UNA MEMBRANA VIBRANTE RECTANGULAR95

Miremos dos cortes: el primero, manteniendo x jo y variando y, y
hagamos un anlisis de fuerzas:
Corte a lo largo del eje y
Del supuesto cuarto se sigue que las fuerzas en las direcciones horizontales son:
Th (x; y; t) =
Th (x; y +
y; t) =
x cos (x; y; t)
x cos (x; y +
y; t);
donde (x; y; t) denota el ngulo que forma la tangente (en el respectivo

punto) con respecto a la horizontal. Como no hay movimiento en la direccin horizontal se deber cumplir que Th (x; y; t) = Th (x; y + y; t); y por
consiguiente:
x cos (x; y +
y; t)
x cos (x; y; t) = 0:
Como estamos suponiendo que las vibraciones son pequeas (tercer supuesto)
podemos deducir entonces que los ngulos (x; y; t) tambin son muy pequeos, y por consiguiente:
cos (x; y; t) ' cos (x; y +
y; t) ' 1:
De aqu que
x cos (x; y +
y; t) =
x cos (x; y; t) '
x:
(6.1)
96

De otro lado, las fuerzas en las direcciones verticales son:
Tv (x; y; t) =
T (x; y; t) sin (x; y; t)
x sin (x; y; t)
y
Tv (x; y +
y; t) = T (x; y +
=
y; t) sin (x; y +
x sin (x; y +
y; t)
y; t):
(6.2)
(6.3)
La fuerza total resultante en direccin vertical es entonces igual a la

diferencia:
x sin (x; y + y; t)
x sin (x; y; t):
(6.4)
Multiplicando y dividiendo por
x, y teniendo en cuenta las igualdades
(6.1), podemos reescribir la ecuacin anterior en la forma:
x
=
x sin (x; y; t)
x sin (x; y + y; t)
x cos (x; y + y; t)
x cos (x; y; t)
x (tan (x; y + y; t) tan (x; y; t)) :
Como
tan (x; y +
y; t) = @u=@y(x; y +
y; t);
tan (x; y; t) = @u=@y(x; y; t);

entonces esta ltima ecuacin puede reescribirse como:
x(
@u
(x; y +
@y
y; t)
@u
(x; y; t)):
@y
(6.5)
De otro lado, mirando ahora el corte que resulta de mantener y jo y

variar x, podemos obtener de manera completamente similar las siguientes
conclusiones:
Del anlisis de fuerzas horizontales se sigue la igualdad:
y cos (x +
x; y; t) =
y cos (x; y; t) '
y:
(6.6)
Del anlisis de fuerzas verticales se ve que la fuerza total resultante sobre

el pedazo de memebrana, en la direccin considerada, sera:
y sin (x +
x; y; t)
y sin (x; y; t);
(6.7)
6.1. ECUACIN DE UNA MEMBRANA VIBRANTE RECTANGULAR97

ecuacin que puede escribirse (despus de multipicar por
en la forma:
@u
@u
y( (x; y + y; t)
(x; y; t)):
@x
@x
y y utilizar (6.6)
(6.8)
Luego la fuerza resultante total en la direccin vertical es igual a la suma

de (6.5) y (6.8). La segunda ley de Newton implica entonces que:
x(
@u
(x; y +
@y
= m(x; y)
y; t)
@u
(x; y; t)) +
@y
y(
@u
(x; y +
@x
y; t)
@u
(x; y; t))
@x
(6.9)
@2u
;
@t2
donde
m(x; y) =
Rb Ra p
1 + (@u=@x)2 + (@u=@y)2 dxdy
00
es la masa del elemento de membrana

p determinado por x y y: Nuevamente, del supuesto (3) se sigue que 1 + (@u=@x)2 + (@u=@y)2 ' 1; y por
tanto m(x; y) '
x y. Dividiendo 6.9 a ambos lados por x y obtenemos:
1
y
@u
1
@u
(x; y + y; t)
(x; y; t) +
@y
@y
x
2
p
1 @ u
= 2 2,
donde c =
= :
c @t
Tomando el lmite cuando
x!0y
@u
(x; y +
@x
y; t)
@u
(x; y; t)
@x
y ! 0 se obtiene nalmente:
@2u @2u
1 @2u
+
=
;
@y 2
@x2
c2 @t2
(ec. membrana)
la cual es la ecuacin diferencial que rige el movimiento de una membrana bajo los supuestos 1-4. Las condiciones de frontera (c.f.) sera entonces:u(0; y; t) =
u(a; y; t) = 0, 0 y b y u(x; 0; t) = u(x; b; t) = 0; 0 x a: Si suponemos
que la membrana comienza a vibrar desde el reposo, y que su forma en t = 0
est dada por una cierta ecuacin z = f (x; y), entonces habra dos condiciones inciales (c.i.): u(x; y; 0) = f (x; y) y @u=@t(x; y; 0) = 0. En sntesis,
la ecuacin diferencial, junto con sus condiciones de frontera y condiciones
98
iniciales seran:
(6.10)
6.2.
Solucin de la ecuacin de la membrana rectangular
Busquemos una solucin del problema (6.10) de la forma u(x; y; t) =

(x; y)G(t). La ecuacin diferencial ec. membrana obliga a que
G00 (t)
=
c2 G(t)
(x; y)
(x; y)
2
donde
denota el operador laplaciano
(x; y) = @@y2 + @@x2 : Como las
variables aparecen separadas a la izquierda y derecha, ambos cocientes deben
ser iguales a una constante p
G00 (t)
=p
c2 G(t)
(x; y)
= p:
(x; y)
Veamos que los supuestos fsicos obligan a que p < 0. Si p > 0, digamos
p = 2 , entonces la solucin general de G(t) sera de la forma G(t) = Ae kt +
Bekt , donde k = c . De la condicin inicial @u=@t(x; y; 0) = 0 se sigue que,
para que exista una solucin notrivial, debe darse G0 (0) = k(B A) = 0.
Es decir, A = B. Ahora, si A = B son constantes no nulas se tendra que
G(t) ! 1; cuando t ! 1, y por tanto u(x; y; t) ! 1, lo cual viola el
supuesto fsico (3).
De igual manera, si p = 0, G(t) = At+B, y la condicin G0 (0) = 0 fuerza
a que A = 0: De aqu que u(x; y; t) = B (x; y), para todo t, y por tanto
cada punto permanecera sin moverse en todo instante, lo cual es imposible,
6.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR99

a no ser que la forma inicial de la membrana fuese f (x; y) = 0, pues como
muestra el anlisis de fuerzas, si f (x; y) 6= 0 en el instante t = 0 habra
pequeas porciones de membrana sometidas a una fuerza vertical resultante
no nula.
2 : De aqu resultan dos
Supongamos entonces que p < 0, digamos p =
ecuaciones diferenciales:
G00 + (c )2 G = 0 y
La segunda ecuacin puede interpretarse de la siguiente manera: si pensamos

que las funciones forman en algn sentido un espacio vectorial (a la idea
puede drsele rigor) entonces la soluciones de esta ecuacin diferencial seran
precisamente los autovectores del operador lineal laplaciano, con valor propio
2 . Una coleccin de vectores propios (los cuales pueden hallarse
=
mediante
pelmmtodonde separacin de variables), cada uno con valor propio
( a )2 + ( b )2 ; est dada por:
m;n =
m;n (x; y)
= sin(m x=a) sin(n y=b);
para cada pareja de enteros m; n

@2
@2
+
=
@x2
@y 2
[(
1. En efecto:
m 2
n
) + ( )2 ]
a
b
m;n (x; y):
De otro lado, si para cada (m; n) hacemos

r
r
n 2
n
m 2
m
) +( ) =
(
( )2 + ( )2 ;
m;n =
a
b
a
b
entonces las soluciones de G00 + (c
Gm;n (t) = bm;n cos(c
2
m;n ) G
m;n t)
= 0 vendran dadas por
+ bm;n sin(c
m;n t);
para coecientes arbitrarios bm;n y bm;n . Buscamos una solucin de la forma

um;n (x; y; t) =
m;n (x; y)Gm;n (t):
La condicin inicial @um;n =@t(x; y; 0) = 0 fuerza la ecuacin m;n (x; y)G0m;n (t) =
0;lo que a su vez (si buscamos soluciones no triviales) obliga a que G0m;n (0) =
c m;n bm;n = 0; y en consecuencia bm;n = 0: Luego
um;n (x; y; t) = bm;n sin(m x=a) sin(n y=b) cos(c
m;n t):
100
Al igual que en el caso de la cuerda vibrante, para satisfacer la condicin inicial u(x;
P y; 0) = f (x; y), buscamos una solucin en forma de suma:
u(x; y; t) =
um;n (x; y; t). Haciendo t = 0 se ve entonces que se debe
m;n
cumplir:
f (x; y) =
bm;n
m;n :
(6.11)
m;n
Esta suma correspondera al desarrollo de Fourier doble de la funcin f (x; y).

Los coecientes bm;n pueden determinarse con el mismo mtodo utilizado en
el caso de la cuerda, esto es, notando que existen de manera anloga las siguientes relaciones de ortogonalidad (que se pueden comprobar, por ejemplo,
utilizando GeoGebra, o por integracin directa):
Rb Ra
00
Rb Ra
00
m;n (x; y) m0 ;n0 (x; y)dxdy
= 0, si (m; n) 6= (m0 ; n0 ), m; n; m0 ; n0
m;n (x; y) m0 ;n0 (x; y)dxdy
ab
, si (m; n) = (m0 ; n0 ), m; n; m0 ; n0
4
Por consiguiente, al multiplicar ambos lados de 6.11 por

jo (m; n); y luego integrar, se obtiene:
Rb Ra
00
m;n dxdy
= bm;n
m;n ;
1:
1:
para un par
ab
4
de donde se deduce:
bm;n =
4 Rb Ra
m x
n y
f (x; y) sin(
) sin(
)dxdy:
ab 0 0
a
b
En resumen, la solucin del problema 8.3 sera:

u(x; y; t) =
bm;n sin(m x=a) sin(n x=b) cos(c
m;n t)
m;n
m x
n y
4 Rb Ra
f (x; y) sin(
) sin(
)dxdy:
ab 0 0
a
b
r
m
n
=
( )2 + ( )2 :
a
b
bm;n =
m;n
Ejemplo 6.2.1 Consideremos la siguiente membrana cuadrada determinada por a = b = 1 y c = 1= . Supongamos que f (x; y) = xy(x 1)(y 1),

0 < x < 1; 0 < y < 1; y que la membrana comienza a vibrar sin velocidad
inicial:
Entonces
R1 R1
bm;n = 4 xy(x
1)(y
1) sin(
00
n y
m x
) sin(
)dxdy:
1
1
Integrando por partes (o usando GeoGebra)
Como m; n
1, se obtiene:
R1
x(x
Luego
R1
bm;n = 4
(y
0
1) sin(
m x
2(( 1)m 1)
)dx =
:
3 m3
1
1) sin(
n y R1
) x(x
1 0
1) sin(
m x
)dx dy
1
2(( 1)m 1) R1
n y
(y 1) sin(
)dy
3 m3
1
0
2(( 1)m 1) 2(( 1)n 1)
=4
3 m3
3 n3
0, si m o n es par
=
64
6 m3 n3 , m,n impares.
=4
En consecuencia:
u(x; y; t) =
p
1
sin(m
x=a)
sin(n
x=b)
cos(
m2 + n2 t):
6
3 3
m;n impares m n
64
102
El siguiente programa en Maple nos permite ver una animacin de este

ejemplo.
En t = 0

En t = 6;53
En t = 18;09
Ejemplo 6.2.2 Supongamos que f (x; y) = sin( x)2 sin( y)2 , 0 < x < a =
1; 0 < y < b = 1; c = 1, y la membrana, como en el ejemplo anterior, parte
del reposo. Calculemos la funcin deeccin u(x; y; t):
Para ello debemos hallar
R1 R1
bm;n = 4 sin( x)2 sin( y)2 sin(m x) sin(n y)dxdy
00
104
La primera integral que se debe computar es

R1
sin( x)2 sin( y)2 sin(m x) sin(n y)dx
R1
= sin( y)2 sin(n y) sin( x)2 sin(m x)dx:
0
Utilizando GeoGebra
vemos que:
R1
sin( x)2 sin(m x)dx =
En conclusin
R1
8
<
:
sin( x) sin(m x)dx =
4
3 ;
2 cos((m 2) ) 2
;
(m3 4m)
4
3 ;
4
,
(m3 4m)
0,
0;
4
(m3
si m = 1
si m > 1:
si m = 1
si m es impar.
si m es par.
si m es par
,
si
m es impar.
4m)
De aqu entonces que:

4
bm;n = 4
=
(m3
(m3
R1
4m) 0
16
4m)
sin( y)2 sin(n y)dx
(n3
4
4n)
2 (m3
64
4m)(n3
4n)

cuando m; n son ambos impares, y en caso contrario bm;n = 0: Ahora,
p
m2 + n2
m;n
Luego
u(x; y; t) =
6.2.1.
64
2
m;n impares
mn(m2
1
4)(n2
4n)
sin(m x) sin(n y) cos(
p
m2 + n2 t)
Frecuencias de los modos fundamentales y curvas nodales
Cada funcin um;n (x; y; t) = m;n (x; y) cos(c m;n t) se denomina un modo fundamental. Como funcin de t, um;n (x; y; t) es peridica, con perodo
2 =c m;n . De aqu se sigue entonces que la solucin a la ecuacin de la
membrana vibrante con condicin inicial f (x; y) = m;n (x; y), que es precisamente la funcin:
um;n (x; y; t) =
m;n (x; y) cos(c m;n t)
= sin(m x=a) sin(n y=b) cos(c
m;n t);
tiene una frecuencia igual a
fm;n
c
= c m;n =2 =
2
m 2
n
) + ( )2
a
b
ciclos por segundo (Hertz). A diferencia de la cuerda vibrante, estas frecuencias fundamentales no son mltiplos de una frecuencia bsica (no hay armnicos). Una caracterstica relevante, no obstante, es que todos los puntos
situados sobre las rectas x = km1 a y y = kn2 b, con 0 < k1 < m y 0 < k2 < n
permanecen quietos en todo momento. Esto se deduce del hecho de que
sin(z) = 0 sii z = k , k un entero. Luego sin(m x=a) = 0 si m x=a = k
y por tanto x = ka=m. Como 0 < x < a, se debe cumplir entonces que
0 < ka=m < a y por tanto 0 < k < m: De manera similar, se deduce que
sin(n y=b) = 0 si y = kb=n, con 0 < k < n: A estas lneas se les llama lneas
nodales. Por ejemplo, si a = b = c = 1, para
p
u2;3 (x; y; t) = sin(2 x) sin(3 y) cos( 13t);
106
las lneas nodales seran x = 1=2, y = 1=3; y = 2=3 :
En general, para una combinacin de varios trminos f (x; y) =
bm;n um;n (x; y; 0)
m=1;:::M1 ;
n=1;:::;N1
las curvas nodales estn dadas por la solucin (en (x; y)) de la ecuacin
P
bm;n sin(m x=a) sin(n y=b) = 0:
m=1;:::M1 ;
n=1;:::;N1
As, por ejemplo, si a = b = 1, determinemos las curvas nodales si la condicin inicial es igual a:
1
u2;1 (x; y)
2
1
= sin( x) sin(2 y)
sin(2 x) sin( y);
2
f (x; y) = u1;2 (x; y)
las curvas nodales son las soluciones para 0 < x < 1, 0 < y < 1 de la
ecuacin
1
sin(2 x) sin( y)
2
= 2 sin( x) sin( y) cos( y) sin( x) cos( x) sin( y)
sin( x) sin(2 y)
= sin( x) sin( y)(2 cos( y)
cos( x)) = 0:
Las soluciones de esta ecuacin en [0; 1] [0; 1] estn determinadas por las
soluciones de 2 cos( y) cos( x) = 0; O lo que es equivalente, por las solu-
6.3. MEMBRANAS CIRCULARES

ciones de y =
107
arc cos( 21 cos( x)):
para 0 < x < 1:
6.3.
Membranas circulares
En este seccin analizaremos el movimiento de una membrana en forma

de disco, de radio a > 0, centrado en el origen del plano (x; y), la cual
parte del reposo y tiene una forma inicial dada por una funcin radialmente
simtrica, es decir, una funcin que en coordenadas polares tiene la forma
u(r; ; 0) = f (r) (no depende del ngulo ). Buscaremos soluciones de la
ecuacin diferencial que rige el movimiento de la membrana, que tambin
108
tengan esta propiedad.
a = 1; f (r) = 1
r2
Establezcamos coordenadas polares en el plano x = r cos ; y = r sin . Si

la solucin buscada posee simetra radial, en el instante t cada punto de la
membrana estar determinado por su altura sobre el pano (r; ), dada por
una cierta funcin z = u(r; ; t) que no depende de , y por consiguiente se
podr escribir como z = u(r; t).
Sabemos que la ecuacin diferencial que rige el movimiento de la mem2
2
2
brana viene dada por u = c12 @@t2u , donde u = @@xu2 + @@yu2 denota el Laplaciano de u. Es un ejercicio elemental (ver apndice al nal de esta seccin)
en el uso de la regla de la cadena demostrar que el laplaciano, computado
en coordenadas polares, est dada por
1 @2u
@ 2 u 1 @u
+
+
:
@r2
r @r
r2 @ 2
Si u no involucra el ltimo trmino a la derecha de la ecuacin anterior es
cero. Como el borde del disco se mantiene jo en todo instante, la funcin
u deber satisfacer la condicin de frontera u(a; t) = 0, para todo tiermpo
t: Como parte del reposo, se cumple adems que @u(r; t)=@tjt=0 = 0; y el
problema que debemos resolver se reduce a:
u=
1 @2u
@ 2 u 1 @u
=
+
@r2
r @r
c2 @t2
u(a; t) = 0
@u(r; t)=@tjt=0 = 0:
(6.12)
(6.13)
(6.14)
De nuevo, utilizamos el mtodo de separacin de variables: suponemos u(r; t) =

(r)G(t). La ecuacin 6.12 nos dice que:
00
G+
1 0
1
G = 2 G00
r
c
109
donde las primas indican derivadas con respecto a r, en el caso de , y con

respecto a t, en el caso de G: Esta ltima ecuacin es equivalente a
r
00
G00
= p;
c2 G
(6.15)
donde p es una constante que, como en las ecuaciones diferenciales antes

2 . Luego de 6.15 se desprenden dos
discutidas, deber ser negativa p =
ecuaciones:
G00 (t) + ( c)2 G(t) = 0; t
r
00
(r) +
(r) +
r (r) = 0, 0
0:
r
a:
(6.16)
La primera ecuacin tiene como solucin general G(t) = A cos( ct)+B sin( ct):
De nuevo, como en las ecuaciones anteriores, la condicin inicial 6.14 fuerza
B = 0:
La ecuacin 6.16 puede resolverse si conocemos la solucin de la llamada
ecuacin de Bessel:
xb00 (x) + b0 (x) + xb(x) = 0, x > 0;
(6.17)
pues bastara hacer el cambio de variables x = r y luego (r) = b( r) :

(r) + 0 (r) + 2 r (r)
x
x 2 00
b (x) + b0 (x) + 2 b(x)
=
00
= (xb00 (x) + b0 (x) + xb(x)) = 0:

La solucin de la ecuacin de Bessel no puede expresarse en trminos de
funciones conocidas. Para ello hay que introducir las llamadas funciones de
Bessel de orden cero, y orden uno, de primera y segunda clase, que se denen
a continuacin (ver, por ejemplo, [5], pginas 191-200):
1 ( 1)m x2m
P
x2
x4
x6
=
1
+
+
2m (m!)2
2!(1!)2 24 (2!)2 26 (3!)2
m=0 2
1
P
( 1)m x2m
J1 (x) = x
2m+1 (m!)(m + 1)!
m=0 2
1 ( 1)m 1 s
P
2
x
m 2m
Y0 (x) =
J0 (x)(ln( ) + ) +
x
;
2m (m!)2
2
m=1 2
1
1
+ , = l m (sm ln m), (constante de Euler).
sm = +
m!1
1
m
J0 (x) =
110
J0 (x)
Y0 (x)
J1 (x)
La solucin general de 6.17 viene dada entonces por

b(x) = CJ0 (x) + DY0 (x):
El programa Maple permite manipular funciones de Bessel, no as, infortunadamente, el GeoGebra.
La solucin buscada es entonces (r) = CJ0 ( r) + DY0 ( r).
Ahora, u(r; t) = (r)G(t) debe ser acotada. Pero l mx!0 Y0 (x) = 1, y
por tanto l mr!0 Y0 ( r) = 1: De aqu que debamos tomar D = 0:
Finalmente, la condicin (a) = CJ0 ( a) = 0 fuerza a que deba escogerse como n =a, donde 1 < 2 <
< n son los ceros de J0 (x). En
conclusin, para cada n 1, si n = n =a, entonces
un (r; t) = J0 (
n
n r) cos(c n t);
n =a;
es solucin de 6.12 y 6.14.

Para satisface la condicin inicial 6.13, utilizamos de nuevo el principo de
superposicin o suma innita de las soluciones un (r; t): Para ello es necesario
que se satisfagan las relaciones de ortogonalidad, que en este caso seran (ver
[7], pgina 252):
Ra
J0 (
n r)J0 ( m r)rdr
Ra
0
J0 (
2
n r) rdr
= 0, si m 6= n
=
a2 2
J (
2 1
Se busca entonces una solucin de la forma u(r; t) =
n ):
1
P
n=1
bn J0 (
n r) cos(c n t):
111
Haciendo t = 0 se debe satisfacer que

1
P
f (r) = u(r; 0) =
bn J0 (
n r):
n=1
Multiplicando ambos lados por J0 (

se obtiene
Ra
rJ0 (
m r)f (r)dr
m r)r,
1
P
n=1
= bm
con m
Ra
bn rJ0 (
1 jo, y luego integrando,
m r)J0 ( n r)dr
a2
J1 (
2
2
m) :
De aqu que
bm =
Ra
a2 J1 ( m )2 0
rJ0 (
m r)f (r)dr:
En resumen, la solucin del problema 6.12, 6.13, 6.14 est dada por
u(r; t) =
1
P
bn J0 (
n r) cos(c n t)
n=1
bn =
donde
<
Ra
a2 J1 ( n )2 0
n
a
2
;
<
<
rJ0 (
n r)f (r)dr
<
son los ceros positivos de J0 (x):
r2 , entonces, utilizan-
Ejemplo 6.3.1 Por ejemplo, si a = c = 1, f (r) = 1

do Maple se puede ver que
u(r; t) = 1;1J0 (
0;02J0 (
1
' 2;4,
1 r) cos( 1 t)
4 r) cos( 4 t)
' 5;5,
0;14J0 (
+ 0;01J0 (
' 8;65;
2 r) cos( 2 t)
+ 0;04J0 (
5 r) cos( 5 t)
= 11;79;
3 r) cos( 3 t)
donde
' 14;93; :::
Una animacin siguiente muestra los movimientos de la membrana en dis-
112
tintos instantes de t :
113
Para aquellos familiarizados con Maple, se incluyen a continuacin los comandos para operar con funciones de Bessel:
114
6.4.
Apndice: cmputo del laplaciano en coordenadas polares
Sean (r; ) coordenadas polares denidas en el plano xy. Entonces x =

r cos , y = r sin( ). Veamos que en efecto
@ 2 u 1 @u
1 @2u
+
+
@r2
r @r
r2 @ 2
2
2
@ u @ u
=
+ 2:
@x2
@y
u=
Por la regla de la cadena

@u @x @u @y
@u
=
+
@r
@x @r
@y @r
@u
@u
=
cos +
sin :
@x
@y
De aqu se sigue:
@ @u
@2u
@ @u
=
( ) cos +
( ) sin
2
@r
@r @x
@r @y
@2u
@2u
@2u
@2u
=
cos
+
sin
cos
+
+
cos
+
sin
@x2
@y@x
@x@y
@y 2
@2u
@2u
@2u
2
2
=
cos
+
sin
+
2
sin cos :
@x2
@y 2
@y@x
sin
6.4. APNDICE: CMPUTO DEL LAPLACIANO EN COORDENADAS POLARES115

De otro lado
@u
@u @x @u @y
=
+
@
@x @
@y @
@u
@u
=
( r sin ) +
(r cos ):
@x
@y
Luego,
@
@2u
=r
2
@
@
@u
@ @u
( sin ) + r
cos
@x
@
@y
@u
@ @u
@u
@ @u
( sin ) + ( cos )
+r
+
( sin )
=r
@
@x
@x
@
@y
@y
@2u
@u
@2u
2
r
sin
cos
r cos
+
= r2 sin2
2
@x
@y@x
@x
@2u
@2u
@u
r2 sin cos
+ 2 r2 cos2
r sin
@x@y
@y
@y
2u
2u
@
@
@2u
@u
@u
2
2
2
= r2 sin2
+
r
cos
2r
cos
sin
r cos
r sin
:
2
2
@x
@y
@y@x
@x
@y
De aqu vemos entonces que

@2u
@2u
@2u
1 @2u
2
2
=
sin
+
cos
2
cos
sin
r2 @ 2
@x2
@y 2
@y@x
1 @u
1 @u
1 @u
=
cos +
sin
r @r
r @x
r @y
@2u
@2u
@2u
@2u
2
2
=
cos
+
sin
+
2
cos
sin
:
@r2
@x2
@y 2
@y@x
1
@u
@u
(cos
+ sin
)
r
@x
@y
Sumando a ambos lados en estas tres ecuaciones se obtiene:

@ 2 u 1 @u
1 @2u
@2u @2u
+
+
=
+ 2:
@r2
r @r
r2 @ 2
@x2
@y
116
Captulo 7
Nmeros complejos
En el captulo V estudiaremos algunas propiedades bsicas de los nmeros
complejos. En el captulo VI motraremos algunas aplicaciones de esta teora
a la Mecnica Cuntica. En particular, discutiremos el problema de polarizacin de la luz, el experimento EPR, y la desigualdad de Bell. Las referencias para esta ltima parte son: [1], [2], [3].
7.1.
Nociones bsicas
Supondremos que el estudiante est familiarizado con las nociones ms

bsicas del sistema numrico de los nmeros complejos.
Recordemos que un nmero complejo es un nmero de la forma a + bi,
con a; b nmeros reales, donde i2 se dene como 1 (i es la raz cuadrada
de 1). Este conjunto se denota por C, y viene dotado de dos operaciones,
suma y producto, bajo las cuales C es un campo:
(a + bi) + (c + di) = (a + c) + (b + d)i
(a + bi)(c + di) = (ac
bd) + (ad + bc)i:
Los nmeros complejos aparecen de manera natural en lgebra, pues como demostraremos ms adelante, todo polinomio con coecientes complejos
admite siempre una raz en C (Teorema de Gauss). Encuentran as mismo
aplicaciones en la teora de ecuaciones diferenciales, aerodinmica y electromagnetismo, y son indispensables en Mecnica Cuntica, pues la ecuacin
de Schrdinger es de hecho un ecuacin imposible de formular en el campo de los nmeros reales. As mismo, sus aplicaciones en la ingeniera, la
electrnica y las telecomunicaciones son numerosas.
117
118
CAPTULO 7. NMEROS COMPLEJOS
El nmero complejo z = a + bi puede representarse en en plano (x; iy)

como el punto de coordenadas (a; b): El nmero a se llama la parte real de
z, a = Re(z); y b, la parte imaginaria: Im(z) = b: El punto simtrico de
z con respecto al eje x, a bi sepdenomina el conjugado de z, y se denota
por z. La distancia al origen + a2 + b2 ;o magnitud del vector (a; b); se
denomina norma del nmero complejo y se denota usualmente por jzj. El
ngulo determinado por el vector (medido en sentido contrario al reloj) se
denomina argumento de z:
El argumento de z est bien denido, excepto por mltiplos enteros de 2 .

Se acostumbra llamar argumento principal de z al ngulo entre
<
;
el cual se denota por arg(z).
Es un ejercicio elemental comprobar que se satisfacen las siguientes
propiedades:
1. zz = jzj2 :
2. z1 z2 = z1 z2 :
3. z1 + z2 = z1 + z2 :
4. jz1 + z2 j
jz1 j + jz2 j :
5. jz1 z2 j = jz1 j jz2 j :

6. arg(z1 z2 ) = arg(z1 ) + arg(z2 ):
En Geogebra, la manipulacin de nmeros complejos puede hacerse en
la ventana CAS, seleccionando el teclado virtual en la opcin vista, y all
7.1. NOCIONES BSICAS
119
seleccionando calculadora:
En el teclado de la calculadora virtual aparece la letra i tildada, que se

utiliza para representar este nmero complejo.
Las aritmtica de nmeros complejos puede realizarse en GeoGebra, como se ilustra a continuacin:
Ejemplo 7.1.1
1. El complejo z = i tiene como argumento todo los
ngulos =2 + 2 k, k 2 Z: Su argumento principal es igual a =2:
2. z = 2 tiene como argumento todo los ngulos
arg( 2) =
+ 2 k, k 2 Z: Y,
3. z = 1 i tiene como argumento todos los ngulos

k 2 Z: Y, arg( 1 i) = 3 =4:
4. Si z =
i, entonces arg( i) =
=2:
3 =4 + 2 k,
120
La forma polar de un nmero complejo z = a + bi es su escritura en la forma

z = r cos( ) + r sin( )i, r = jzj, = arg(z).
7.2.
Funcin exponencial
La funcin exponencial ez se introduce en Clculo como la funcin dada

1
P
por la series convergente (en todos los reales) ex =
xn =n!. Es natural enn=0
tonces denir para un nmero complejo cualquiera z, la funcin exponencial

1
P
como ez =
z n =n!. Si tomamos z = bi, y luego separamos las partes reales
n=0
e imaginarias de ez ; obtenemos (notemos que las potencias de i se repiten de

manera cclica: i0 = 1; i1 = i; i2 = 1; i3 = i; i4 = 1; i5 = i; i6 = 1; : : :)
1 bi
b2
bi
+ +
+
+
1 1!
2!
3!
b4 b5 i
b6
b7 i
+
+
+
+
4!
5!
6!
7!
1 b2 b 4 b6
b
=(
+
+
)+(
1 2!
4!
6!
1
= cos(b) + sin(b)i:
ebi =
b3 b5
+
3!
5!
b7
+
7!
)i
De aqu entonces que

ea+bi = ea ebi = ea cos(b) + ea sin(b)i:
Esta ecuacin puede aprovecharse para reescribir la forma polar de un nmero
complejo, z = r cos( ) + r sin( )i, como
z = re i ; donde
= arg(z) y r = jzj :
7.2. FUNCIN EXPONENCIAL
121
Esta escritura es particualrmente til para computar potencias de z:

Ejemplo 7.2.1
1. Hallemos la forma polar
p
p de z = 1 + i. Claramente,
jzj = 2 y arg(z) = =4. Luego 1 + i = 2e 4 i :
2. Hallar (1 + i)8 . Solucin:
p
(1 + i)8 = ( 2e 4 i )8 = 24 e8 4 i =
= 16e2
= 16 cos(2 ) + 16 sin(2 )i = 16:
3. Si z = a + bi, halle una frmula para computar z n .

Solucin: escribamos z = re i ; donde
= arg(z) y r = jzj : Luego
z n = (a + bi)n
= rn (e i )n = rn en
= rn cos(n ) + rn sin(n ):
Utilizando la frmula anterior, conocida como Formula de De Moivre,
podemos calcular las races n-simas de cualquier nmero complejo: dado
z = a + bi, queremos hallar w tal que wn = z. Si escribimos z y w en
la forma z = jzj e i y w = ce i , buscamos
que se cumpla wn = cn en i =
p
n
i
jzj e . Podemos tomar entonces c = jzj y = n + 2k
1.
n , k = 0; : : : ; n
Claramente, con estas escogencias de c y
se obtiene:
wn =
p
n
jzj
= jzj e i e2
pues e2k
2k
en( n + n
ki
)i
= jzj e
i+2k i
= jzj e i ;
= cos(2k ) + sin(2k ) = 1: Cada uno de los n nmeros complejos

w=
p
n
2k
jzje( n + n
)i
(7.1)
k = 0; : : : ; n 1 satisface la ecuacin polinmica xn z = 0: Como una

ecuacin de grado n no puede tener ms de n races, entonces estos n nmeros
debern ser todas las posibles races n-simas de z.
Ejemplo 7.2.2
1. Calculemos las races sptimas (n = 7) de i.

1
Solucin: i = e 2 i , pues jij = 1 y arg(i) = =2: Luego w = e( 14 +

1+4k
e( 14 )i , k = 0; 1; 2; 3; 4; 5; 6 :
2k
7
)i
122

Estas siete races seran:
w0 = e 14 i
1+4
w = e( 14 )i
1
1+8
w2 = e( 14 )i
1+12
w = e( 14 )i
1+16
w4 = e( 14 )i
1+20
w = e( 14 )i
1+24
w6 = e( 14 )i
Con el programa GeoGebra, estos valores pueden hallarse de la siguiente manera:
7.2. FUNCIN EXPONENCIAL
123
y pueden gracarse en la vista grca del Geogebra:
Se obtienen as los vrtices de un polgono regular de siete lados.

2. Calculemos las races n simas de 1. Utilizando de nuevo la frmula
2k
7.1, vemos que las n races de la unidad estn dadas por !k = e n i =
cos( 2kn ) + sin( 2kn )i, con k = 0; : : : ; n 1: Grcamente, estas races
son los vrtices de un polgono regular de n lados. Notemos adems
que !k = ! k , donde
2
! = e n i = cos(
2
2
) + sin( )i:
n
n
Es decir, las races n simas de la unidad se pueden obtener como las

potencias de ! !; ! 2 ; : : : ; ! n = 1:
3. Notemos que dado cualquier z 2 C, las races n-simas de z tambin
se pueden obtener de la siguiente manera: si u es una raz de z, es
decir, si un = z, entonces los n-nmeros ! k u satisfacen que (! k u)n =
! kn un = (! n )k un = un = z, y por consiguiente son todas las races
n-simas de z.
Por ejemplo, hallemos las races quintas de 3 4i. En este caso, j3 4ij =
p
32 + 42 = 5: Adems, = arg(3 4i) = arctan( 34 ) ' 0;93 '
53;13 : Luego una raz quinta est dada por
p
p
p
5
5
5
u = 5e 5 i = 5 cos( 0;93=5) + 5 sin( 0;93=5)i
' 1;35
0;25i:
124

De otro lado, cuando n = 5,
! = cos(2 =5) + sin(2 =5)i ' 0;3 + 0;95i:
Utlizando el GeoGebra podemos calcular los nmeros !u; ! 2 u; ! 3 u;
! 4 u, ! 5 u = u:
Utilizando de nuevo la vista grca podemos visualizarlas de la siguiente manera:
7.3. TEOREMA DE GAUSS
7.3.
125
Teorema de Gauss
La enorme ventaja de los nmeros complejos sobre los nmeros reales

reside en el llamado Teorema de Gauss o Teorema Fundamental del lgebra.
Este teorema arma que toda ecuacin polinmica de grado n > 0 sobre los
complejos tiene n races complejas (no necesariamente distintas). En el campo de los nmeros reales ya se encuentran ecuaciones, incluso cuadrticas,
que no poseen ninguna raz real, como, por ejemplo, x2 + 1 = 0 o, por ejemplo, x2 + x + 1 = 0. Sin embargo, sobre los complejos estas ecuaciones
p tiene
como races los nmeros complejos i, en el primer caso, y ( 1
3i)=2,
en el segundo. Lo sorprendente es que bast haber ampliado el campo de los
nmeros reales introduciendo solamente la raz cuadrada de 1 para obtener un nuevo sistema numrico donde todas las ecuaciones polinmicas tiene
solucin.
En lo que sigue nos limitaremos a dar una razn heurstica para justicar
este teorema. Una prueba rigurosa est ms all de los alcances de este curso
y puede consultarse, por ejemplo, en [4].
Un polinomio de grado n es una expresin de la forma p(x) = a0 xn +
a1
+
+ an . Una raz de p(x) es entonces un nmero z1 que satisface
n
p(z1 ) = a0 z1 +a1 z1n 1 + +an = 0: Por el algoritmo de la divisin (Captulo
I), si z1 es una raz de p(x), al dividir por x z1 se obtiene una expresin
p(x) = q(x)(x z1 ) + r(x), donde q(x) es el cociente de la divisin y r(x)
es el residuo, el cual satisface r(x) = 0 o grad r(x) < grad(x z1 ) = 1.
De aqu entonces que r(x) = 0 o r(x) = c sea una constante (polinomio de
grado cero). Al evaluar en z1 se obtiene: 0 = p(z1 ) = q(z1 )(z1 z1 ) + c y por
consiguiente c = 0: En cualquier caso se obtiene p(x) = q(x)(x z1 ).
xn 1
Si z2 fuese una raz de q(x), repitiendo el mismo argumento nos damos

cuenta de que q(x) = (x z2 )l(x), para cierto polinomio l(x), y, por consiguiente, p(x) = (x z1 )(x z2 )l(x): Repitiendo este procedimiento n veces se
obtiene una factorizacin de p(x) en la forma p(x) = (x z1 )(x z2 ) (x
zn ), donde fz1 ; : : : ; zn g son las n reces de p(x):
Ejemplo 7.3.1 Factoricemos en factores lineales el polinomio p(x) = x4

2x3 + 2x2 2x + 1. El comando Raz nos permite hallar una primera raz
126
de p(x)
Esta raz es z1 = 1. El GeoGebra tambin nos permite dividir p(x) entre

(x 1): p(x) = (x 1)(x3 x2 + x 1): Otra vez, usando el comando Raz
podemos hallar una raz de x3 x2 + x 1. Vemos que, nuevamente, z2 = 1
es una raz de x3 x2 + x 1; este polinomio, a su vez, puede escribirse
como x3 x2 + x 1 = (x 1)(x2 + 1):
Ya sabemos que x2 + 1 = (x i)(x + i): Luego p(x) = (x 1)(x 1)(x +
i)(x i) es la factorizacin buscada.
Vemos entonces que el problema fundamental de factorizar un polinomio

en factores lineales se reduce a hallar una primera raz de p(x).
127
Para ello, consideremos p(x) como una funcin de C en C, que enva cada
complejo z en el nmero w = f (z) = a0 z n + a1 z n 1 +
+ an . Podemos
visualizar f (z) como un mapeo o mapa del plano en el plano que enva cada
punto del plano complkejo z en otro punto w = f (z).
Este mapeo puede entenderse mucho mejor si miramos como acta sobre
crculos o rectas en el dominio de la funcin.
Ejemplo 7.3.2
1. Veamos, por ejemplo, como visualizar la funcin f (z) =
2
z . Podemos comenzar por ver la imagen bajo f de un crculo de radio
unitario C = (x(t) = cos(t); y(t) = sin(t)), 0 t 2 : Si escribimos
z = x + yi, vemos que z 2 = (x + yi)2 = (x2 y 2 ) + (2xy)i. Luego, bajo
este mapeo, cada punto z = x(t) + y(t)i de C es enviado en
w(t) = (cos2 (t)
sin2 (t)) + 2 cos(t) sin(t)i:
Esta ltima expresin puede simplicarse como w(t) = cos(2t) +

cos(2t)i. Mientras t vara entre 0 y , w(t) describe un crculo de radio
1. Ahora, para valores de t entre y 2 ; la curva w(t) vuelve a ser un
crculo unitario. Luego la imagen del crculo C es el crculo unitario,
pero recorrido dos veces.
2. Visualicemos ahora la imagen de la recta L dada en forma paramtrica
como x = 1; y(t) = t, bajo el mismo mapeo del ejemplo anterior.
En este caso w(t) = (1 t2 ) + 2ti. Utilizando GeoGebra (programa
Complex Gauss.ggb, cortesa del profesor Julio Morales) podemos ver
de manera animada la imagen de la recta L cuando esta se mapea bajo
128

f (z) = z 2 :
De manera analtica, podemos ver que la curva paramtrica w(t) =

(1 t2 ) + 2ti corresponde a una parbola: en efecto, si hacemos v = 2t,
u = 1 t2 , vemos que t = v=2 y por tanto u = 1 v 2 =4; ecuacin de
una parbola en el plano (u; v):
3. Veamos ahora cul es la imagen del crculo unitario C(t) = (cos(t);

sin(t)), 0 t 2 , cuando este se mapea bajo la funcin w = z n , para
una potencia cualquiera n > 0. En este caso es conveniente escribir la
ecuacin de C(t) como z(t) = e i , con 0
2 . Luego w(t) =
z(t)n = en i = cos(n ) + sin(n )i. Al variar entre o y 2 , el ngulo
n vara entre 0 y 2n . Luego la imagen de C(t) es el mismo crculo
C(t), pero recorrido n veces.
4. Visualicemos la funcin f (z) = (z 1)=(z + 1). La recta x = 0; y(t) = t

se mapea en ( 1 + ti)=(1 + ti). Multiplicando arriba y abajo por el
conjugado del denominador, 1 ti, se obtiene:
( 1 + ti)(1 ti)
t2 1
2t
= 2
+
i
(1 + ti)(1 ti)
t + 1 1 + t2
129
A medida que a recta ti se aleja del origen hacia innito (t ! 1), su

imagen describe un semicrculo de radio 1 que nunca llegar a tocar el
punto z = 1:
De otro lado, si miramos la imagen del semicirculo superior del crculo
unitario C vemos que w(t) describe una lnea recta que se aleja sobre
el eje y en direccin positiva. En z = 1 el mapeo no est denido.
Ahora, para valores de z(t) = cos(t)+sin(t)i, (semicrculo inferior) con
< t 2 , la funcin paramtrica w(t) recorre una recta que viene
desde 1 y llega al origen, movindose sobre el eje y:
El lector puede experimentar mapeando, por ejemplo, una recta paralela

al eje x, digamos x = t; y = 1 :
130

Su imagen es una hiprbola que se acerca al punto 1; sin nunca alcanzarlo.
La demostracin del Teorema de Gauss se fundamenta en el siguiente

razonamiento (que los matemticos llaman mtodo de reduccin al absurdo):
supongamos que un determinado polinomio p(z) = a0 z n +a1 z n 1 + +an de
grado positivo no tuviera ninguna raz. Es decir, supongamos que al mapear
bajo p(z) cualquier curva z(t) en el dominio la curva imagen w(t) = p(z(t))
nunca pasara por el punto cero. Es decir, nunca cruzara el origen. Veamos
que ello lleva necesariamente a una contradiccin. Los hechos fundamentales
son los siguientes:
1. El nmero de giros de una determinada curva cerrada
alrededor
del origen, que denotaremos por N ( ); se dene como el nmero de
vueltas que la curva da en sentido positivo (contrario al reloj) menos
el nmero de giros que esta da en sentido negativo (en direccin del
reloj). Por ejemplo, en la siguiente gura se muestra una curva que
comienza en el punto 2, da primero dos giros alrededor del origen
en direccin positiva, y luego uno en direccin negativa. Por tanto
N( ) = 2 1 = 1 :
Este concepto puede denirse de manera rigurosa mediante una integral: Si (t) = (x(t); y(t)), a t b, entonces si no pasa a tavs del
origen, el entero N ( (t)) se puede denir como
N ( (t)) =
1 Rb y(t)x0 (t)
x(t)y 0 (t)
+
dt:
2 a x(t)2 + y(t)2 x(t)2 + y(t)2
131
Por ejemplo, si (t) = (cos(nt); sin(nt)); 0

t
2 , el nmero de
giros (que debe ser igual a n) sera, segn la frmula anterior:
N ( (t)) =
1 R2 n sin2 (nt) n cos2 (nt)

n R2
2 n
+
dt =
dt =
= n:
2 0
1
1
2 0
2
2. La imagen de un circulo centrado en el origen, y de radio r > 0,

Cr (t) = r cos(t) + r sin(t)i, 0 t 2 ; bajo p(z); sera entonces una
curva cerrada en el plano imagen, dada por p(Cr (t)); y que no cruza el
origen. Por tanto dar un cierto nmero de giros (positivo o negativo)
alrededor de l. Si p(z) = z n , por ejemplo, este nmero de giros es
precisamente n, segn vimos en el numeral anterior.
3. Como p(z) es una funcin continua, y estamos suponiendo que p(Cr (t))
nunca cruza el origen, el nmero de giros N (p(Cr (t))) tendr que mantenerse constante, y no depender entonces de r. Pero como a0 z n es
el trmino dominante del polinomio p(z) se sigue que cuando r es sucientemente grande N (p(Cr (t))) tendr que ser igual a n, el grando
del polinomio. Por ejemplo, graquemos en GeoGebra la imagen bajo
el polinomio p(z) = 1=5z 3 z 2 + z + 5 del crculo centrado en el origen
y radio r = 4: En este caso, N (p(C4 (t))) = 3 = grado(p(z)):
4. De otro lado, cuando r es muy pequeo la curva imagen p(Cr (t)) permanecer muy cerca al valor de p(0) y por tanto no dar ninguna
vuelta alrededor del origen. En nuestro ejemplo anterior, si hacemos
132

r = 0;5, la curva imagen luce como:
5. Luego, si ningn valor de p(z) atravesara por el origen, el nmero de

giros N (p(Cr (t))) sera igual al grado del polinomio n; para la imagen
de un circulo de radio muy grande, y cero, para crculos muy pequeos.
Pero segn vimos en el numeral 3, este nmero entero es constante.
Esta imposibilidad muestra que p(z) ha de cortar el origen para la
imagen de algn crculo Cr (t) = r cos(t) + r sin(t)i:
GeoGebra nos permite hallar de manera aproximada el valor de r y el

valor de t para los cuales zr (t) = r cos(t) + r sin(t)i cumple que p(z(t)) = 0:
Ejemplo 7.3.3 Hallemos un cero para el polinomio p(z) = 1=5z 3 z 2 +

z + 5. Cuando r = 0;5, el nmero de giros N (p(C0;5 (t))) es cero. Para
r = 1;7, N (p(C1;7 (t))) es igual a 1 (esto ltimo se ve grcamente). Ahora
disminuimos gradualmente el valor de r hasta que veamos la curva imagen
pasar por el origen. Cuando r = 1;6, sta lo hace de manera aproximada
para el valor t = 3;14 (se lee en el deslizador). Luego
z = 1;6 cos(3;14) + 1;6 sin(3;14) '
1;6
es una raz aproximada. En efecto, p( 1;6) = 0;02 nos da un error de dos

centsimas. Una mejor aproximacin se logra con r = 1;6055 y t = 3;1416,
133
con un error de solo una centsima en este caso.
Ejercicio 7.3.4
1. Explique por qu si p(x) = a0 xn +
+ an es un
polinomio cuyos coecientes son nmeros reales, entonces, si z es una
raz compleja, tambin lo es su conjugado z:
2. Encuentre las n races de la ecuacin xn + 1 = 0.
3. Factorice la ecuacin anterior en factores lineales.
4. Utilizando el programa Complex Gauss.ggb encuentre una raz compleja aproximada para el polinomio p(x) = x5 10x3 + 2:
5. Encuentre la imagen bajo la funcin f (z) = 1=z de la recta dada en
forma paramtrica como x = 1=10; y = t
6. Encuentre las imgenes de rectas paralelas a los ejes x y y bajo la
funcin f (z) = ez :
134
7. Encuentre, utilizando GeoGebra y el programa Complex Gauss.ggb,

la imagen del crculo centrado en el punto (1; 0) y radio unitario bajo
la funcin exponencial f (z) = ez :
7.4.
Ecuaciones de Cauchy-Riemann
Estudiaremos en esta seccin la derivada de una funcin de variable

compleja. Primero introduzcamos la nocin de dominio.
Denicin 7.4.1 Un dominio U

C es un subconjunto no vaco de los
nmeros complejos que satisface dos condiciones:
1. U es conexo: esto signica que dados dos puntos p y q en U existe una

curva continua contenida en U que une p con q.
2. U es abierto: esto signica que para cualquier punto p 2 U se puede
escoger un pequeo disco Dr (p) de centro p y radio r enteramente
contenido en U .
Ejemplo 7.4.2
1. U = fz 2 C : jzj < 1g (el interior del disco de radio
1) es un dominio.
2. U = fz 2 C : z no pertenece al eje real negativo ( 1; 0]g es un
dominio.
3. U = R no es un dominio.
4. U = fz 2 C : jzj
1g (el interior del disco de radio 1 junto con su
circunferencia frontera ) no es un dominio, pues para ningn punto p
en la frontera de U (cculo unitario) se satisface la condicin 2 de la
denicin anterior.
7.4. ECUACIONES DE CAUCHY-RIEMANN
135
Ejemplo 1
Ejemplo 2
Ejemplo 4
Intuitivamente, un domnio U es una regin conexa y rellenita.
Denicin 7.4.3 Sea f : U ! C una funcin denida en un dominio U .
Si z 2 U , f se llama diferenciable en U si el lmite l m z!0 (f (z + z)
136
f (z))= z existe para todos los puntos z 2 U . Cuando este lmite existe se
denota por f 0 (z) o por df =dz:
Si z = x + yi, entonces f (z) siempre puede escribirse en la forma f (x +
yi) = u(x; y) + v(x; y)i, para dos fuciones u(x; y) y v(x; y), las partes reales e
imaginarias del nmero complejo w = f (z + iy). Por ejemplo, si f (z) = 1=z;
entonces
x
y
f (x + yi) = 2
i;
2
2
x +y
x + y2
y en este caso
x
y
u(x; y) = 2
; v(x; y) = 2
:
2
x +y
x + y2
Si f (z) = z 2 entonces
f (x + yi) = (x2
y 2 ) + (2xy)i;
y por tanto
u(x; y) = (x2
y 2 ); v(x; y) = 2xy:
Con esta notacin podemos computar la derivada f 0 (z) cuando sta existe,
en trminos de las derivada parciales de u(x; y) y v(x; y): Para ello tomemos
el lmite cuando z ! 0 por dos caminos diferentes, que aparecen en colores
verde y azul en la gura siguiente:
Si hacemos z = x + yi, z = x + yi, entonces, cuando nos acercamos a z

por el camino azul ello equivale a tomar el lmite, primero cuando y ! 0;
y luego cuando x ! 0. En este caso el computo del lmite produce:
f (x + yi +
=
Cuando
u(x +
x + yi)
x + yi
x; y + y)
x + yi
f (x + yi)
u(x; y)
v(x +
x; y + y)
x + yi
v(x; y)
y ! 0 se obtiene:
u(x +
x; y)
x
u(x; y)
v(x +
x; y)
x
v(x; y)
i:
i:
7.4. ECUACIONES DE CAUCHY-RIEMANN

Al hacer
137
x ! 0 se obtiene:
u(x +
f 0 (z) = l m
x!0
x; y)
x
u(x; y)
v(x +
x; y)
x
v(x; y)
(7.2)
@u @v
+
i:
@x @x
De otro lado, al seguir el camino verde, lo cual equivale a hacer primero

x!0:
u(x; y +
y) u(x; y) v(x; y + y) v(x; y)

+
i
yi
yi
v(x; y + y) v(x; y) u(x; y + y) u(x; y)
i;
=
y
y
y luego
y ! 0; se obtiene:
v(x; y +
f 0 (z) = l m
y!0
@v
@y
y)
y
v(x; y)
u(x; y +
y)
y
u(x; y)
(7.3)
@u
i:
@y
Por tanto
@u @v
@v
+
i=
@x @x
@y
@u
i;
@y
y en consecuencia
@u
@v
=
@x
@y
@u
@v
=
:
@x
@y
(Cauchy-Riemann)
Estas dos ecuaciones son conocidas como las ecuaciones de Cauchy-Riemann:

De manera recproca puede demostrarse:
Teorema 7.4.4 Si las derivadas parciales @u=@x, @u=@y; @v=@x; @v=@y
son continuas en U; y se satisfacen adems las ecuaciones de Cauchy-Riemann
Cauchy-Riemann, entonces f 0 (z) existe en todo punto z 2 U (vase, por
ejemplo, [4]).
Una funcin f defnida en un domnio U y para la cual f 0 (z) existe para
todo z 2 U se denomina analtica u holomorfa en U .
138
Ejemplo 7.4.5 Sea U = fz 2 C: z 6= 0g. Claramente U es un dominio. Si

f : U ! C es la funcin f (z) = 1=z, entonces f 0 (z) existe en U . Como vimos
en este caso u(x; y) = x=(x2 + y 2 ), v(x; y) = y=(x2 + y 2 ): Luego
@u
@v
x2 + y 2
=
= 2
@x
@y
(x + y 2 )2
@v
@u
2xy
=
= 2
@x
@y
(x + y 2 )2
y se satisfacen las ecuaciones de C-R. Adems, cualquiera de las dos frmulas
7.2 o 7.3 nos permiten computar f 0 (z) :
@u @v
y 2 x2
2xy
+
i= 2
+ 2
i
2
2
@x @x
(x + y )
(x + y 2 )2
z2
1
=
= z 2:
2 =
2
z
jzj
f 0 (z) =
No es difcil ver que se satisfacen las mismas reglas usuales de la derivacin,

como en el caso de las funciones de variable real. En particular, cuando las
derivadas de f y g existen se tiene que:
1. (f + g)0 (z) = f 0 (z) + g 0 (z)
2. (f g)0 (z) = f 0 (z)g(z) + f (z)g 0 (z)
3. Si f (z) = z n , n 6= 0, entonces f 0 (z) = nz n
1.
4. Si f : U ! V y g : V ! C son funciones denidas en dominios U

y V , respectivamente, entonces g(f (z))0 = g 0 (f (z))f 0 (z) (regla de la
cadena).
Ejercicio 7.4.6
nz n 1 :
1. Compute dz n =dz; si n 6= 0 y verique que dz n =dz =
2. Verique que dez =dz = ez :

3. Sea U = fz 2 C : z no pertenece al eje real negativo ( 1; 0]g; y sea
log : U ! C, denida como log(z) = ln jzj + arg(z)i; donde arg(z) es
el argumento principal de z:
Verique que elog(z) = z:
4. Use la regla de la cadena para comprobar que d log(z)=dz = 1=z:
7.5. FUNCIONES ARMNICAS
7.5.
139
Funciones armnicas
Denicin 7.5.1 Una funcin denida en un dominio D R2 , u : D ! R;

se llama armnica en D si su laplaciano es cero en D. Es decir, si
u=
@2u @2u
+ 2 = 0 en D:
@x2
@y
(7.4)
Ejemplos importantes de funciones armnicas los proporcionan la parte

real y compleja de una funcin holomorfa. De manera precisa: si f (x +
yi) = u(x; y) + v(x; y)i es holomorfa en D, entonces u y v son funciones
armnicas: esto se debe a que para u y v se satisfacen las ecuaciones de
Cauchy-Riemann. En efecto:
@ @u
( )=
@x @x
@ @u
( )=
@y @y
Como
@2v
@x@y
@2v
@y@x ,
@ @v
@2v
( )=
@x @y
@x@y
@
@v
@2v
(
)=
:
@y @x
@y@x
(7.5)
al sumar ambos lados en 7.5 se obtiene

@2u @2u
+ 2 = 0:
@x2
@y
El razonamiento para mostrar que v(x; y) tambin es armnica es completamente similar.

Ejemplo 7.5.2
1. Sea D = (0; 1) R el semiplano derecho (D es un
dominio). Veamos que v(x; y) = arctan(y=x) es armnica. En efecto,
v(x; y) = arg(x+iy), que es la parte imaginaria de la funcin log(z). Directamente podemos comprobar que v(x; y) es armnica. Recordemos
que d arctan(u)=du = u0 =(1 + u2 ): Luego
@v
y=x2
y
=
= 2
;
2
2
@x
1 + y =x
x + y2
@2v
@
y
2yx
=
( 2
)= 2
:
2
2
@x
@x x + y
(x + y 2 )2
De otro lado,
1=x
@v
x
=
= 2
;
2
@y
1 + (y=x)
x + y2
@2v
@
x
2xy
=
( 2
)= 2
2
2
@y
@y x + y
(x + y 2 )2
140

Por tanto
@2v
@2v
2yx
2xy
+
= 2
+ 2
= 0:
2
2
2
2
@x
@y
(x + y )
(x + y 2 )2
2. La funcin u(x; y) = ln(

real de log(z):
p
x2 + y 2 ) es armnica en D por ser la parte
Las funciones armnicas, por satisfacer la ecuacin 7.4, pueden utilizarse

para modelar el potencial electrico en regiones del espacio que no dependen
de una determinada coordenada espacial. Esto quiere decir que si un campo
electrico puede describirse en la forma "(x; y; z) = ("1 (x; y); "2 (x; y)) en un
cierto dominio D (independiente de z) entonces " puede obtenerse como
" = grad( ), donde : D ! R es armnica.
Ejemplo 7.5.3 Consideremos la regin del espacio entre dos placas metlicas P1 y P2 que forman un ngulo y las cuales se extienden de manera
indenida en direccin z
7.5. FUNCIONES ARMNICAS
141
Si el potencial en P1 = c1 (digamos, medido en voltios) y en P2 es c2 es

constante, calculemos el potencial elctrico en (x; y; z) = '(x; y) en la
regin comrendida entre P1 y P2 : En otras palabras, debemos encontrar
' : D ! R tal que ' = c1 en P1 y ' = c2 en P2 :
El ejercicio anterior nos dice que '(x; y) = a + b arg(x + iy) es armnica en

D y por tanto ' = 0 en D. Sobre P1 se tiene que '(x; y) = a b =2 = c1 y
sobre P2 , se tiene que '(x; y) = a + b =2 = c2 . De aqu que a = (c1 + c2 )=2,
b = 1= (c2 c1 ) y por tanto el potencial elctrico en esta regin est dado
por la funcin:
(x; y; z) = (c1 + c2 )=2 + 1= (c2
c1 ) arctan(y=x):
El material de las siguientes secciones no entra en la

evaluacin nal.
142
Captulo 8
*Aplicaciones: polarizacin
de un fotn
8.1.
Modelo clsico
En el modelo de la fsica clsica, la luz es una onda electromagntica

conformada por dos campos perpendiculares entre s: uno elctrico y otro
magntico. En una onda de luz polarizada linealmente, estos dos campos
oscilan cada uno en un mismo plano, perpendicular a la direccin de propagacin de la onda. Por convencin, el plano de polarizacin de la luz se reere
a la polarizacin del campo elctrico.
Fig 1
De otro lado, la llamada luz polarizada circularmente consta de dos ondas

electromagnticas planas perpendiculares, las cuales se encuentran en difer143
144CAPTULO 8. *APLICACIONES: POLARIZACIN DE UN FOTN

encia de fase de =2:
Fig 2
En la luz polarizada circularmente, si se mirase la fuente de luz, el vector

del campo elctrico aparecera movindose en un crculo a medida que se
acerca. El vector del campo elctrico dibuja una vuelta completa, cuando la
luz avanza una longitud de onda completa. Adems, si el dedo pulgar de la
mano derecha apuntara en la direccin de propagacin de la luz, entonces,
si el vector del campo elctrico se ve girando en la direccin marcada por los
demas dedos, la polarizacin se llama de giro derecho. En caso contrario, se
llama polarizacin de giro izquierdo.
La luz normalmente (no polarizada) vibra en todos los planos. No obstante, existen algunos materiales que solo dejan pasar luz cuyo campo elctrico
vibra en un plano determinado. La luz polarizada circularmente se puede
producir haciendo pasar luz polarizada linealmente, a travs de una placa
de un cuarto de onda con un ngulo incidente de 45o respecto del eje ptico
de la placa.
Cuando un haz de luz se hace pasar a travs de un polarizador que
selecciona aquellas ondas cuyo campo elctrico est contenido en un plano,
y luego este haz se hacen incidir sobre un segundo polarizador cuyo eje es
8.2. MODELO CORPUSCULAR
145
perpendicular al primero, se observa que no se transmite luz alguna.
Fig 3
Sin embargo, si el segundo polarizador est orientado en un ngulo que no

sea perpendicular al primero, habr una componente del campo elctrico de
la luz polarizada por el primer ltro que se oriente en la misma direccin del
segundo polarizador, y as algo de luz se transmitir a travs de l. De hecho,
experimentalmente se observa (Ley de Malus) que si ambos polarizadores
forman un ngulo , la intensidad del rayo de luz que emerge del segundo
polarizador es igual a I = I0 cos2 ( ), donde I0 denota la intesidad de la luz
despus de haber atravesado el primer polarizador.
Fig 4
8.2.
Modelo corpuscular
En el modelo corpuscular, la polarizacin se entiende como un fenmeno

cuntico. La polarizacin de un fotn corresponde en el modelo a un vector

unitario de C2 . Un ltro polarizador, orientado en una determinada posicin,
se convierte entonces en un instrumento de medicin de un determinado
observable.
Situemos una lamina polaroid P , la cual, en la teora clsica, solo permite pasar aquellas ondas cuyos campos elctricos estn en el plano determinado por los ejes x0 y z, donde el eje x0 forma un ngulo con respecto
a x (Fig. 5). Pongamos ahora un detector detrs de P . Cuando hacemos
pasar un fotn a travs de P ,
Fig 5
puede ocurrir que, ste sea absorbido, o logre pasar el polaroid y activar el
detector. Si denotamos por "1 = (1; 0) y por "2 = (0; 1) los vectores de la
base estndar de C2 , y si T es el operador hermitiano denido por la matriz
(con referencia a la base estndar)
T =
cos 2
sin 2
sin 2
cos 2
entonces
e1 ( ) = cos "1 + sin "2 ;
e
1(
)=
(8.1)
sin "1 + cos "2
son los dos vectores propios de T , los cuales constituyen una base ortonormal, con valores propios +1 y 1, respectivamente. La interpretacin de la
medicin de la polararizacin en la direccin deber entenderse entonces
como el proceso que entraa:
1. Encontrar uno de dos posibles autovalores de T : 1 = +1, si el fotn
activa el detector; o 2 = 1, cuando no lo activa.
8.2. MODELO CORPUSCULAR
147
2. Si la polarizacin del fotn se representa en la base 8.1 como v =

e1 ( ) + e 1 ( ), con j j2 + j j2 = 1, entonces el proceso de medicin
colapsa el estado de onda v del fotn en uno de los dos estados v 0 =
e1 ( ) o v 00 = e 1 ( ). Es decir, al realizar la medicin con P se produce
una transicin de estados v 7 ! ei ( ):
3. Los coecientes complejos
y tiene en el modelo la siguiente interpretacin: j j es la probabilidad de que ocurra la transicin v 7 !
e1 ( ); y j j2 es la probabilidad de que ocurra la transicin v 7 ! e 1 ( ).
Lo primero ocurre cuando el fotn es detectado por el medidor situado
detrs de P ; mientras que la segunda transicin se da cuando no lo
es.
Observacin 8.2.1 Cuando un haz de luz ordinaria se hace incidir sobre
P , la polarizacin de los fotones del haz es aleatoria. Podemos pensar que
el haz est conformado por fotones v = e1 ( ) + e 1 ( ), donde 0 j j 1
se distribuye de acuerdo con una distribucin uniforme en el disco unitario
D = f 2 C : 0
j j
1g con funcin constante 1= . De aqu que la
cantidad promedio de fotones que atraviesan P estara dada por
1R
j j2 dz =
RR
2
D (x
1
+ y 2 )dxdy = :
2
Luego, al mirar a travs de una lmina polaroid, la intensidad de la luz

disminuye a su mitad, pues la mitad de los fotones logran atravesarla. Estos
constituirn un haz de luz polarizada en la direccin de :
En el modelo cuntico, luz polarizada circularmente corresponde a los estados !1 = p12 ("1 +i"2 ), (polarizacin circular a derecha) y !2 = p12 ("1 i"2 )
(polarizacin circular a izquierda) . Existen materiales transparentes cristalinos que, aunque homogneos, son anistropos, es decir sus propiedades pticas son diferentes en las distintas direcciones Una lmina cuarto de onda
es un cristal anistropo con la propiedad de que cuando es atravesado por
luz linealmente polarizada, la cual incide en una lmina de estas caractersticas a 45o con cualquiera de sus ejes principales, la luz emergente estar
polarizada circularmente.
8.2.1.
Polarizadores en serie
Qu ocurre ahora si ponemos dos polarizadores, P 1 y P 2 , uno a continuacin de otro, y hacemos pasar un fotn, primero a travs de P 1 y luego

a travs de P 2 ? Si su polarizacin viene dada por un cierto vector unitario
v = e1 ( )+ e 1 ( ), al pasar el primer polarizador su estado cambiar de la
manera siguiente: v 7 ! ei ( 1 ), i = 1; 1: Ahora, si expresamos ei ( 1 ) como
combinacin de fe1 ( 2 ); e 1 ( 2 )g, digamos ei ( 1 ) = e1 ( 2 ) + e 1 ( 2 ), el
paso del fotn por el segundo polarizador (segunda medicin) har coplasar
ei ( 1 ) en uno de los dos vectores e1 ( 2 ) o e 1 ( 2 ), con probabilidades j j2 , y
j j2 , respectivamente.
Fig 6
Si, por ejemplo, 1 = 0, 2 = =2 (polarizadores con sus ejes perpendiculares), entonces ningn fotn podr atravesar ambos polarizadores, pues
despus de atravesar el primero, su estado habr colapsado necesariamente
en "1 = e1 (0) (de haber pasado al estado e 1 (0) hubiese sido absorbido).
Ahora, e1 ( =2) = "2 y e 1 ( =2) = "1 . Luego, la probabilidad de atravesar
el segundo polarizador ("1 7 ! "2 ) es exactamente 0:
En general, la probabilidad de que un fotn en el estado v sea detectado
luego de atravesar P es igual a jhv; e1 ( )ij2 , donde h ; i denota el producto
interno estndar en C2 .
En efecto, como fe1 ( ); e 1 ( )g es una base ortonormal, v puede escribirse de manera nica como v = e1 ( ) + e 1 ( ). Luego jhv; e1 ( )ij2 =
j j2 = j j2 :
8.2.2.
Experimento de Paul Dirac
Para vindicar la interpretacin del modelo cuntico de la polarizacin de

la luz, Paul Dirac propuso el siguiente experimento: en el arreglo de la gura
6, si hacemos 1 = 0, 2 = =2, e intercalamos un tercer polarizador, P =4 ;
entre P0 y P =2 , algo extraordinario ocurre: antes, ningn fotn atravesaba
8.3. EXPERIMENTO EPR: ENTRELAZAMIENTO CUNTICO
149
P0 y P =2 . Ahora que se ha situado un obstculo en el medio, comienza,

de manera inesperada, !a pasar luz a travs de las tres lminas polaroid!
Fig 7
Si utilizamos el modelo cuntico, la explicacin resulta clara: la mitad de los

fotones, en promedio, atraviesan P0 :Si v = e1 (0) + e 1 (0) es uno de ellos,
la primera medicin colpasa su estado en e1 (0). Como
jhe1 (0); e1 ( =4)ij2 = jh"1 ; cos( =4)"1 + sin( =4)"2 ij2
* p
+2
p
2
2
1
= "1 ;
"1 +
"2
= ;
2
2
2
entonces, de todos los fotones que pasan por P0 , la mitad en promedio
pasarn por P =4 , y sus estados pasarn a e1 ( =4). Ahora,
*p
+
p
2
2
jhe1 ( =4); e1 ( =2)ij =
"1 +
"2 ; cos( =2)"1 + sin( =2)"2
2
2
+2
*p
p
2
2
1
=
"1 +
"2 ; " 2
=
2
2
2
2
Luego la mitad de aquellos que pasaron P =4 atravesarn P

octava parte de ellos pasarn las tres lminas!
8.3.
=2 .
As, !una
Experimento EPR: entrelazamiento cuntico
En el modelo cutico dos fotones (en general, tres , cuatro, o un nmero

cualquiera de partculas) no constituyen dos entes independientes, sino una

sola entidad matemtica. A Albert Einstein, la idea de entrelazamiento cuntico le resultaba perturbadora, pues violaba a su juicio el principio de localidad. En un estado entrelazado, manipulando solo una de las partculas se
puede modicar el estado de la otra, !a distancia, y de manera instantnea!
En el mundo de las experiencias cotidianas, nada maniesta una caracterstica similar.
En un experimento mental (luego en efecto realizado por Alain Aspect
y varios otros fsicos experimentales) imaginado por Einstein, Podolsky y
Rosen, dos partculas (en nuestro ejemplo sern dos fotones), despus de
sufrir cierta transformacin, se separan siguiendo direcciones contrarias en
estado entrelazado, concepto que deniremos con precisin ms adelante.
Dos observadores, posiblemente alejados miles de aos luz, miden la polarizacin del correspondiente fotn que viaja en su direccin con respecto,
digamos, al ngulo = 0 (el mismo ngulo para ambos observadores). He
aqu lo sorprendente: si un observador mide la polarizacin de uno de los
fotones (+1 o 1, en nuestra discusin anterior) sabr entonces que la polarizacin del otro tendr que ser la misma, como si la medicin de uno
de ellos hubiese alterado de forma instantnea a su compaero, distante
miles de aos luz, lo que contradice el sentido comn. Para entender a fondo
la discusin anterior debemos primero construir el correspondiente modelo
matemtico.
8.3.1.
Sistemas de dos o ms partculas
Matemticamente, la polarizacin de dos fotones p1 y p2 no es simplemente el conjunto de sus polarizaciones fv1 ; v2 g, sino que est representado
por un vector de C2 C2 . En la base estndar de C2 C2 , dicho estado cuntico viene representado por un vector unitario
v=
donde
i;j=1;2:
11 "1
2
ij j
"1 +
12 "1
"2 +
21 "2
"1 +
22 "2
"2 ;
= 1: Por ejemplo, como se describe en [2], pgina 16,
en cierto tipo de cascadas radiactivas se producen pares de fotones que se

propagan en direcciones contrarias y, que por conservacin de la paridad y
el momento angular, quedan en un estado entrelazado
1
= p ("1
2
"1 + "2
"2 );
151
cuando se escogen coordenadas de manera adecuada.
Fig 8
Puede verse que no existen vectores v1 y v2 de C2 que satisfagan v = v1 v2 .
De ah que estados como este reciban el nombre de entrelazados.
Para el efecto de medir la polarizacin de cada fotn en ngulos y
resulta conveniente expresar v en la siguiente base. De (8.1) se sigue que
"1 = cos( )e1 ( )
sin( )e
1(
);
"2 = sin( )e1 ( ) + cos( )e
1(
):
"1 = cos( )e1 ( )
sin( )e
1(
);
"2 = sin( )e1 ( ) + cos( )e
1(
):
De manera similar,
Luego,
= p12 [cos( )e1 ( ) sin( )e 1 ( )] [cos( )e1 ( ) sin( )e 1 ( )]
+ p12 [(sin( )e1 ( ) + cos( )e 1 ( )] [sin( )e1 ( ) + cos( )e 1 ( )]
1
= p cos(
2
1
+ p sin(
2
)e1 ( )
)e1 ( )
1
e1 ( ) + p cos(
2
1
e 1 ( ) p sin(
2
)e
)e
1(
1(
1(
)+ (8.2)
e1 ( ));
como se puede ver despus de utilizar las identidades para el coseno y el seno
de la suma de dos ngulos. Segn la interpretacin del formalismo cuntico,
la medicin simultnea de la polarizacin de p1 y p2 con dos polarizadores P

y P situados como en la gura 8 colapsara el estado en uno de los cuatro
posibles estados ei ( ) ej ( ), i; j = 1; 1, con probabilidades dadas por la
norma al cuadrado del rspectivo coeciente. As, por ejemplo, la probabilidad
de obtener la medicin e1 ( ) e1 ( ) (p1 pasa por el polarizador P y p2 pasa
por P ) sera 12 cos2 (
). As mismo, la probabilidad de que p1 llegue al
detector tras P pero p2 no llegue al que est detrs de P , sera 12 sin2 (
).
Si el formalismo es consistente no debera importar si la medicin se hace
de manera simultnea o si primero se realiza cualquiera de las mediciones
P o P . As resulta ser. En efecto, si decidimos, por ejemplo, medir primero
con P , el estado colapsar en uno de dos estados;
1
= cos(
)e1 ( )
e1 ( ) + sin(
)e1 ( )
1(
);
(8.3)
en caso de p1 atravesar el polarizador, o

2
= cos(
)e
1(
1(
sin(
)e
1(
e1 ( );
en caso contrario. Cada evento tiene probabilidad 21 ; pues = p12 1 + p12 2 :

Si luego hacemos la medicin en P , la probabilidad, por ejemplo, de obtener +1 (p2 pasa el polarizador) ser entonces cos2 (
). La probabilidad
conjunta de que p1 pase por P y que luego p2 atraviese P ; es entonces
1
2
), como era de esperarse.
2 cos (
8.3.2.
Desigualdad de Bell
La posibilidad de que el fenmeno de entrelazamiento pudiera deberse a

variables ocultas, y que entonces el formalismo fuese incompleto, fue sugerida por algunos fsicos, incluyendo a Einstein. De manera precisa, supongamos que el experimento anterior, descrito en la gura 8, pudiera explicarse
de manera local. Esto es, supongamos que existieran dos funciones desconocidas A( ; ) y B( ; ) que solo toman valores 1, y que cada fotn fuera
de cierto tipo, p , donde el parmetro 2 [0; 2 ] se distribuye de acuerdo
con alguna funcin de probabilidad, quiz desconocida, ( ), con ( ) 0
R2
y
( )d = 1: As, A( ; ) = +1, si un fotn de tipo p atraviesa el polar0
izador, y toma el valor 1, cuando no lo atraviesa. De manera anloga se

interpreta el valor de B( ; ) = 1.
Notemos que la funcin 12 (A( ; ) + 1) toma valores 1 o 0, dependiendo
de si p1 pasa o no el ltro P . As, por ejemplo, la probabilidad de que
un fotn escogido al azar (de cualquier tipo p ) registre +1 (atraviese P )
R2
vendra dada por 21 (A( ; ) + 1) ( )d : Notemos tambin que A( ; ) =
0
153
B( ; ), pues para toda pareja entrelazadade fotones, cuando se les mide

su polarizacin en la misma direccin, uno de ellos pasar su respectivo
polarizador si y solo si el otro tambin lo hace. Este hecho siempre se observa
experimentalmente. El modelo cuntico tambin lo predice: si p1 atraves
P , y por tanto la onda colaps en
= cos(
)e1 ( )
e1 ( ) + sin(
)e1 ( )
1(
);
en el caso en el que = = se da que sin(

) = 0 y cos(
) = 1. Luego
= e1 ( ) e1 ( ); y en la segunda medicin p2 estar obligado (probabilidad
uno) a pasar su respectivo ltro. El razonamiento es similar cuando p1 no
pasa su ltro, y la polarizacin del sistema colapsa en 2 :
La idea de Bell consisti en calcular el valor promedio de la funcin
de correlacin,denida como P ( ; ) = +1, si p1 y p2 pasan ambos sus
respectivos ltros, o ambos no lo hacen. La funcin tomar el valor P ( ; ) =
1 si uno de los fotones pasa su ltro mientras que el otro no lo hace.
Notemos entonces que de existir variables ocultas, la funcin de correlacin
para un fotn de clase p estara dada por P ( ; ) = A( ; )B( ; ). Al
hacer un nmero muy grande experimentos con fotones distribuidos al azar
segn la distribucin , el promedio observado deber ser entonces:
P( ; ) =
R2
( )A( ; )B( ; )d :
La gran idea est en estimar la diferencia P ( ; ) P ( ; ) para tres posibles

direcciones ; ; :
P( ; )
P( ; ) =
=
=
R2
0
R2
0
R2
( )[A( ; )B( ; )
A( ; )B( ; )]d
( )[A( ; )A( ; )
A( ; )A( ; )]d
( )[A( ; )A( ; )
A( ; )A( ; )A( ; )2 ]d (pues A( ; )2 = 1)
R2
0
( )A( ; )A( ; )[1
A( ; )A( ; )]d :

Pero, jA( ; )A( ; )j
jP ( ; )
1, y por tanto
P ( ; )j =
R2
( )A( ; )A( ; )[1
A( ; )A( ; )]d
R2
0
j ( )(1
R2
A( ; )A( ; ))j d
( )[1 + P ( ; )]d
[1 + P ( ; )]
R2
( )d
1 + P ( ; ):
En conclusin
jP ( ; )
P ( ; )j
1 + P ( ; ):
De otro lado, en el modelo cuntico la funcin de correlacin puede estimarse

como sigue: si hacemos un nmero muy grande N de experimentos con
dos ltros jos P y P , de (8.2) vemos que las probabilidades de obtener
) en ambos casos.
mediciones f+1 y +1g o f 1 y 1g, seran 21 cos2 (
Luego la probabilidad de obtener una correlacin (mediciones del mismo
signo) sera cos2 (
). De otro lado, y de manera similar, la probabilidad
). Al hacer un
de obtener valores con signo contrario es igual a sin2 (
nmero muy grande, n; de experimentos, la diferencia P ( ; ) =nmero total
de correlaciones
nmero total de no correlaciones sera igual entonces a
)). En promedio se obtendra un valor igual a
n(cos2 (
) sin2 (
cos2 (
sin2 (
) = cos 2(
):
Luego, P ( ; ) = cos 2(
), de acuerdo con la prediccin del modelo
cuntico.
Si tomamos = 0; = =8; = =8 + =2, se obtendra:
p
P ( ; ) = cos( =4) = 2=2
p
P ( ; ) = cos( =4 + ) =
2=2:
P ( ; ) = cos( ) =
lo cual claramente viola la desigualdad de Bell:

p
p
p
2 = 2=2 + 2=2
1 + ( 1):
Los experimentos de Alain Aspect [1] vindican el modelo cuntico, y por
consiguiente descartan la posibilidad de que existan variables ocultas, en el
sentido arriba discutido.
Bibliografa
[1] Aspect, A., Dalibard, J., & Roger, G. (1982). Experimental test of
Bells inequalities using time-varying analyzers. Physical review letters,
49(25), 1804.
[2] BELLS THEOREM : THE NAIVE VIEW OF AN EXPERIMENTALIST, http://arxiv.org/ftp/quant-ph/papers/0402/0402001.pdf
[3] Gri ths, D. J. (2005). Introduction to quantum mechanics. Pearson
Education India.
[4] Lang, S. Complex Analysis, Springer Verlag, (2013).
[5] Erwin Kreyszig, Matemticas Avanzadas para Ingeniera, 8va edicin,
captulos 10, 11, 12.
[6] David Powers, Boundary Value Problems, and Partial Di erential
Equations, 5th Edition, Chapters 1-5.
[7] Nakhl Asmar, Partial Di erential Equations with Fourier series and
Boundary Value Problems.
[8] Dave Benson, Music: A Mathematical O ering, Department of Mathematics, Meston Building, University of Aberdeen,Aberdeen AB24 3UE,
Scotland, UK, Home page: http://www.maths.abdn.ac.uk/bensondj/.
[9] Adams, W. W., & Loustaunau, P., An Introduction to Grbner bases,
Providence: American Mathematical Society, AMS, (Vol. 3), 1994.
[10] D. Cox, J. Little, D. OShea, Ideals, Varieties and Algorithms, SpringerVerlag 1996.
[11] P., Richard, Robot Manipulators: Mathematics, Programming, and Control: the Computer Control of Robot Manipulators, MIT (1981).
155

Curso Completo (Junio 1)

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Curso Completo (Junio 1)

Enviado por

Direitos autorais:

Formatos disponíveis

MATEMATICAS ESPECIALES

8. *Aplicaciones: polarizacin de un fotn

Denotemos por k a uno cualquiera de los dos campos, R; los nmeros

( 1 ; : : : ; n ) denota una tupla de enteros

0; y cada c denota un ele-

son elementos de Q[x1 ; x2 ; x3 ].

CAPTULO 1. BASES DE GROEBNER

xnn se pueden denotar de manera abreviada

En el ejemplo anterior, el polinomio f es suma de tres trminos: m1 ; m2 ; m3 ,

Ejemplo 1.1.1 En R = Q[x; y; z], si f =

En la ventana CAS de GeoGebra, la operacin puede realizarse como puede

1.2. IDEALES Y VARIEDADES ALGEBRAICAS

Ideales y Variedades Algebraicas

Denicin 1.2.1 Si f1 ; : : : ; fm son polinomios en R = k[x1 ; :::; xn ] entonces

+ hm fm , donde hi 2 R son arbitrariosg :

En general, un subconjunto J R se llama un ideal de R si para cualquier

CAPTULO 1. BASES DE GROEBNER

1.2. IDEALES Y VARIEDADES ALGEBRAICAS

2. V (xy z; x2 + y 2 + z 2 1) R3 es el conjunto de ternas (c1 ; c2 ; c3 ) en

En otras palabras, la variedad cortada por xy z y x2 + y 2 + z 2 1

Este conjunto es la curva cortad por la ecuacin de grado cuatro x2 +

CAPTULO 1. BASES DE GROEBNER

1.3. ORDENES MONOMIALES

Empecemos por denir la nocin de un orden monomial en R = k[x1 ; :::; xn ]:

< y < yz < yz 2 <

< y2 < y2z <

< y2zn <

< yn < ynz <

< ynzm <

< x < xz <

2. El orden graduado lexicogrco: en este orden x >glex x si j j > j j.

CAPTULO 1. BASES DE GROEBNER

Algoritmo de la divisin en k[x1; :::; xn ]

Nuestro objetivo es dividir f 2 R = k[x1 ; :::; xn ] por polinomios f1; :::; fn :

2. r = 0 o bien r es una combinacin lineal de monomios donde ningn

1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ]

2. r = 0; o r es una combinacin lineal de monomios donde ninguno es

Es claro que grado(gi m) grado(c x ) grado(f ) y que grado(g) grado(c x ):

CAPTULO 1. BASES DE GROEBNER

Existen varios paquetes de cmputo simblico (infortunadamente no es

que podemos reescribir como f = a1 g1 +

1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ]

Para computar los coecientes ai , puede utilizarse el comando division.

CAPTULO 1. BASES DE GROEBNER

cuyas entradas son los polinomios a1 = x2 + 2xz + 4z 2 5 y a2 =

Observacin 1.4.4 El algoritmo de la divisin en varias variables diere

1.5. BASES DE GROEBNER

Adems, a diferencia del caso en una variable, este algoritmo no resuelve el

Observacin 1.4.6 Debemos sealar que si I = (f1 ; : : : ; fm ) entonces tl(I)

Denicin 1.5.1 Fijemos un cierto orden monomial en R = k[x1 ; :::; xn ].

CAPTULO 1. BASES DE GROEBNER

donde r = 0; o ningn monomio de r es divisible por el trmino lder de

S-polinomios y algoritmo de Buchberger

Sean f y g polinomios no nulos en R = k[x1 ; :::; xn ]; con trminos lderes

Este polinomio est diseado para producir la cancelacin de trminos lderes.

son constantes, y donde grado(gi )+

= , i = 1; :::t; ocurre una cancelacin

1.6. S-POLINOMIOS Y ALGORITMO DE BUCHBERGER

= mcm(tl(gj );tl(gk )): Ms an, cada x

S(gj ; gk ) tiene grado

Prueba. Sea di x i el trmino lder de gi y denamos pi = x i gi =di : La suma

Ahora, un simple clculo nos muestra que x jk S(gj ; gk ) = pj

CAPTULO 1. BASES DE GROEBNER

Como los monomios de la segunda y tercera sumatoria tienen grados menor