You are on page 1of 202

MATEMATICAS ESPECIALES

NOTAS PARA UN CURSO VIRTUAL

J. D. VELEZ
U NACIONAL

SEGUNDO SEMESTRE DE 2015


ii
ndice general

Introduccin VII

1. Bases de Groebner 1
1.1. Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Ideales y Variedades Algebraicas . . . . . . . . . . . . . . . . 3
1.3. Ordenes monomiales . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Algoritmo de la divisin en k[x1; :::; xn ] . . . . . . . . . . . . . 7
1.5. Bases de Groebner . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. S-polinomios y algoritmo de Buchberger . . . . . . . . . . . . 14
1.7. Sistemas de ecuaciones polinmicas . . . . . . . . . . . . . . . 17
1.7.1. Soluciones explcitas . . . . . . . . . . . . . . . . . . . 19

2. Control cinemtico de brazos mecnicos 27


2.1. Anlisis del caso l2 = l3 . . . . . . . . . . . . . . . . . . . . . 35
2.2. Analisis de un robot con l2 6= l3 . . . . . . . . . . . . . . . . . 39
2.3. Brazos en tres dimensiones . . . . . . . . . . . . . . . . . . . 43
2.4. Simulacin en Maple . . . . . . . . . . . . . . . . . . . . . . . 43

3. *Demostracin mecnica de teoremas en geometra 47

4. Ecuacin de una cuerda vibrando 53


4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2. Solucin de la ecuacin de onda de una cuerda . . . . . . . . 57
4.3. Modo fundamental y armnicos . . . . . . . . . . . . . . . . . 59
4.4. Escalas musicales . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.4.1. Escala pitagrica . . . . . . . . . . . . . . . . . . . . . 63
4.5. Escala Temperada . . . . . . . . . . . . . . . . . . . . . . . . 67
4.5.1. Interludio: lectura de un artculo de Klaus Ziegler . . 73

iii
iv NDICE GENERAL

5. Series de Fourier 79
5.1. Desarrollo en serie de una funcin peridica . . . . . . . . . . 79
5.1.1. Funciones pares e impares . . . . . . . . . . . . . . . . 85

6. Ecuacin del calor 97


6.1. Calor y temperatura . . . . . . . . . . . . . . . . . . . . . . . 97
6.2. Ley de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . 99
6.3. Ecuacin del calor en un clilindro de densidad uniforme . . . 101
6.4. (Opcional) Ecuacin del calor en un cuerpo P . . . . . . . . . 104
6.5. Ecuacin del calor en un cilindro. . . . . . . . . . . . . . . . . 106
6.5.1. Extremos a temperatura cero . . . . . . . . . . . . . . 106
6.5.2. Solucin con temperatura constante arbitraria en los
extremos . . . . . . . . . . . . . . . . . . . . . . . . . 108
6.5.3. Otras condiciones de frontera . . . . . . . . . . . . . . 112

7. La membrana vibrante 117


7.1. Ecuacin de una membrana vibrante rectangular . . . . . . . 117
7.2. Solucin de la ecuacin de la membrana rectangular . . . . . 122
7.2.1. Frecuencias de los modos fundamentales y lneas nodales128
7.2.2. Curvas nodales . . . . . . . . . . . . . . . . . . . . . . 129
7.3. *Curvas nodales en la vibracin de una placa rectangular:
guras de Chladni . . . . . . . . . . . . . . . . . . . . . . . . 131
7.4. Membranas circulares . . . . . . . . . . . . . . . . . . . . . . 132
7.5. Apndice: cmputo del laplaciano en coordenadas polares . . 138

8. Nmeros complejos 141


8.1. Nociones bsicas . . . . . . . . . . . . . . . . . . . . . . . . . 141
8.2. Funcin exponencial . . . . . . . . . . . . . . . . . . . . . . . 144
8.3. Teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . 148
8.4. Ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . 157
8.5. Funciones armnicas . . . . . . . . . . . . . . . . . . . . . . . 162

9. Apndice I: demostracin del T.F.A 165


9.1. Nmero de giros de una curva . . . . . . . . . . . . . . . . . . 165

10.Apndice II: Campo elctrico 171


10.1. Campos vectoriales, gradiente y divergencia . . . . . . . . . . 171
10.2. Ley de Coulomb . . . . . . . . . . . . . . . . . . . . . . . . . 172
10.3. Campos elctricos generados por cargas estticas . . . . . . . 173
10.4. Potencial elctrico . . . . . . . . . . . . . . . . . . . . . . . . 177
NDICE GENERAL v

10.5. Teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . 178

11.*Aplicaciones: polarizacin de un fotn 181


11.1. Modelo clsico . . . . . . . . . . . . . . . . . . . . . . . . . . 181
11.2. Modelo corpuscular . . . . . . . . . . . . . . . . . . . . . . . . 183
11.2.1. Polarizadores en serie . . . . . . . . . . . . . . . . . . 185
11.2.2. Experimento de Paul Dirac . . . . . . . . . . . . . . . 187
11.3. Experimento EPR: entrelazamiento cuntico . . . . . . . . . . 188
11.3.1. Sistemas de dos o ms partculas . . . . . . . . . . . . 188
11.3.2. Desigualdad de Bell . . . . . . . . . . . . . . . . . . . 190
vi NDICE GENERAL
Introduccin

Los tres primeros captulos de estas notas pretenden servir de breve intro-
duccin a la teora de las bases de Groebner y mostrar algunas aplicaciones
elementales a la robtica y a la demostracin automtica de teoremas. No
se supone ningn conocimiento previo del tema por parte del lector, slo al-
guna 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. Este material,
que no entrar en la evaluacin, aparecer en letra ms pequea.El lector
podr encontrar una excelente introduccin a la teora de bases de Groebner
en [6], [4]. Una buena introduccin a la robtica puede leerse en [11].
En el cuarto 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. Destacaremos adems su importancia en
la fabricacin de algunos instrumentos de cuerda. Con algunas variaciones, la
deduccin y solucion de la ecuacin de onda sigue lo expuesto en cualquiera
de los textos [7],[8],[9]. Para una discusin sobre las escalas musicales y su
construccin matemtica, el lector puede consultar [10].

vii
viii PREFACIO
Captulo 1

Bases de Groebner

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 so-
bre k en las variables x1 ; :::; xn ; se denotar
Ppor k[x1 ;1:::; xn ]:n Sus elemen-
tos son sumas nitas de la forma f = c x1 xn , donde =
=( 1 ;:::; n )
( 1 ; : : : ; n ) denota una tupla de enteros i 0; y cada c denota un ele-
mento de k: Por ejemplo,

f = 1 + 5x1 x2 2x23 ;
1 1
g= 3 + 2x1 + 3x2 x3 + x1 x2 x1 x2 x3 + x41 x52 x73 ;
2 3
2
h = 10 x71 + x83
3
son elementos de Q[x1 ; x2 ; x3 ].
A cada expresin u = x1 1 xnn se le llama un monomio en las varia-
bles x1 ; :::; xn , y a cada sumando c x1 1 xnn se le denomina un trmino de
1
f . Cada monomio u = x1 xn se pueden denotar de manera abreviada
n

como u = x , donde, recordemos, = ( 1 ; : : : ; n ), con i enteros


P no nega-
tivos. As, f se puede escribir de manera abreviada como f = c x . En el
ejemplo anterior, el polinomio f = 1 + 5x1 x2 2x23 es suma de tres trminos:
u1 ; u2 ; u3 , donde: u1 = 1x01 x02 x03 ; u2 = 5x11 x12 x03 ; u3 = 2x01 x02 x23 : Con fre-
cuencia nos referiremos al monomio u = x1 1 xnn simplemente como x ,
con = ( 1 ; : : : ; n ). Su grado se dene como la suma de los exponentes
i , y se enotar por j j = 1 + + n:

1
2 CAPTULO 1. BASES DE GROEBNER

Diremos que un monomio u divide otro monomio v si u = vm, para


un cierto monomio m. Cuando v divida u escribiremos vj u: Esta nocin
puede extenderse a trminos, de manera natural: diremos que un tmino
cx divide otro trmino dx , si x j x . Por ejemplo, xy 2 divide x2 y 4 , pues
x2 y 4 = xy 2 (xy 2 ). Pero xz 2 no divide x2 y 3 z, pues no existe ningn monomio
v tal que x2 y 3 z = (xz 2 )v (v tendra que ser igual a xy 3 z 1 , expresin que
no es un monomio por tener un exponente negativo):
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
f + g = (c + d )x . Y se multiplican como f g = c d x + . Aqu,
;
si = ( 1 ; : : : ; n ) y = ( 1 ; : : : ; n ), entonces el exponente + es por
denicin ( 1 + 1 ; : : : ; n + n ):

Ejemplo 1.1.1 En R = Q[x; y; z], si f = 1 + 2xy 5xyz y g = 12 + x +


y 3xy + 8xyz z 3 , entonces:

f +g = 13 + x + y xy + 3xyz z3:
Si h = 1 + 8xyz z3 y g = 12 + x + y 3xy, entonces
hg = 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 hacerse como se mues-
tra a continuacin.
1.2. IDEALES Y VARIEDADES ALGEBRAICAS 3

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 arbitrarios 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 f1 ; : : : ; fm .
Es decir, cualquier otro ideal de R que contenga f1 ; : : : ; fm debe contener 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
(ver [12]).

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, en-


tonces V (A) puede hallarse mediante el comando ResolucinC[, ]. O
de manera directa, si substituimos y = x2 en la primera ecuacin
4 CAPTULO 1. BASES DE GROEBNER

obtenemos: x2 + x4 1 = 0: La frmula p para la ecuacin cuadrti-


2 1 5
ca proporciona el valor de x = : De aqu la nica solucin
p q2
p p
no negativa sea 52 1 : Luego x = 5 1
2 y y = 5 1
2 , y por tan-
qp p q p p
5 1 5 1 5 1 5 1
to V (A) = 2 ; 2 ; 2 ; 2 ; que es precisa-
mente el conjunto formadopor los dos puntos donde se cortan la
parbola y x2 y el crculo unitario x2 + y 2 1 = 0:

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 z=0
2 2 2
x +y +z 1 = 0:

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


es la interseccin en R3 de la supercie z xy y la esfera de radio
unitario:

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:
1.2. IDEALES Y VARIEDADES ALGEBRAICAS 5

2. Para todo par de ideales I; J en R se cumple 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 justica de manera similar.

Ejercicio 1.2.6 1. Encuentre la variedad cortada por cada conjunto de


ecuaciones:
R = R[x; y], A = f2x y + 1; x2 + y 2 1; x + y + 5g (Respuesta: V (A) =
conjunto vaco).
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:
2. Determine si cada uno de los siguientes conjuntos es un ideal del anillo
R = Q[x; y; z] :
I = R; I = f0g; I = fp 2 R : p(0; 0; 0) = 1g; I = fp 2 R : el trmino
constante de p es cerog; I = fp 2 R : p(1; 1; 1) 6= 0g:
3. Sea R = k[x1 ; : : : ; xn ] un anillo de polinomios. Denamos I = fp(x; y; z) 2
R : p(1; 1; 2) = 0g: Compruebe que I es en efecto un ideal. Verique adems
que I puede ser generado por los polinomios f1 = x 1; f2 = y +1; f3 = z 2.
Es decir,

I = fg 2 R : g = a1 f1 + a2 f2 + a3 f3 ; con a1 ,a2 ,a3 en Rg;

lo cual, recordemos, lo denotamos como I = (x 1; y + 1; z 2):


4. D un ejemplo de un ideal de R que no pueda ser generado por un
solo polinomio.
5. Muestre que el ideal de R = Q[x; y] generado por los polinomios
f1 = x2 + xy x; f2 = x 1; f3 = xy + 2 es igual a todo el anillo R.
6. Sea J = (xy; yz; xyz 2 ), el ideal de R generado por los polinomios xy;
yz; xyz 2 . Explique por qu es cierto 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. (Opcional) Explique por qu si I es un ideal generado por monomios,
I = (u1 ; : : : ; ut ); entonces para saber si un polinomio f est en I basta
6 CAPTULO 1. BASES DE GROEBNER

ver que cada uno de sus trminos sea divisible por alguno de los monomios
u1 ; : : : ; u t :
Notemos que el recproco siempre es cierto: si cada monomio de f es
divisible
P por algn u1 ; : : : ; ut , entonces es claro que f 2 I, pues si f =
c x , y cada c x = ui vi , para ciertos ui , vi , con 1 i
=( 1 ;:::; n )
P
t, entonces f = ui vi es combinacin lineal de u1 ; : : : ; ut , con
=( 1 ;:::; n )
coecientes polinmicos (en este caso, monomios) vi .

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 (lex): este orden es anlogo a la
manera como vienen organizadas las palabras en el diccionario (de ah
su nombre). Sean x = x 1 x n yx =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 <
..
.
1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ] 7

2. El orden graduado lexicogrco (glex): 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 graduado lexicogrco inverso ( revlex): en este orden x >revlex


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).

Ejemplo 1.3.3 En A = R[x; y; z], con x > y > z en el rden revlex, se


tiene,por ejemplo, que x2 y 3 >revlex x2 y 2 z, x4 y 3 >revlex x2 y 2 z, x3 y 3 z 2 >revlex
x2 y 4 z 2 , x6 >revlex x3 yz 2 , z 3 >revlex xy:
P
Denicin 1.3.4 Sea f = a x un polinomio no nulo en k[x1 ; :::; xn ]; y
sea > un orden monomial jo. 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.5 Bajo el orden >glex ;si f = xy 6 3x2 y 3 + 5x2 y 2 7x2 yz,
su trmino lder es xy 6 : Con el orden lexicogrco >lex , su trmino lder
sera 3x2 y 3 : Con el orden revlex, tl(f ) = 5x2 y 2 :

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


Nuestro objetivo es dividir f 2 R = k[x1 ; :::; xn ] entre polinomios g1; :::; gs :
Una vez jado un determinado rden monomial, esto signica que f puede
escribirse en la forma f = a1 g1 + + as gs + h; donde a1 ; :::; as ; h son poli-
nomios en R los cuales satisfacen la siguientes dos propiedades:

1. tl(ai fi ) tl(f ):

2. h = 0 o bien h es una combinacin lineal de monomios h = c1 u1 +


+ cl ul , donde ningn monomio ui es divisible por ninguno de los
trminos lderes de los gi , tl(g1 ); : : : ; tl(gs ).

Antes de discutir 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 g1 = xy 1 y


g2 = y 2 1; usando el orden lexicogrco. En primer lugar, vemos que el
trmino lder de f es divisible por el trmino ldere de g1 y por el trmino
8 CAPTULO 1. BASES DE GROEBNER

lder de g2 : Si dividimos el trmino lder de f por el trmino lder de g1 ;


podemos escribir f en la forma f = x(xy 1) + x + xy 2 + y 2 :
Volvemos a repetir este proceso: tratamos de eliminar xy 2 , el trmino
lder del polinomio xy 2 + x + y 2 : Nuevamente, podramos elegir para ello el
trmino lder de g1 o el de g2 : Usemos nuevamente g1 : escribamos x+xy 2 +y 2
en la 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(g1 ) ni por tl(g2 ) (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 2 : Vemos que y tampoco es divisible, pero y 2 s lo
es. Dividimos nuevamente, en este caso por g2 :

x + y + y 2 = 1 (y 2 1) + x + y + 1:

Al llegar a este punto podemos ver que ninguno de los monomios de x+y +1
es divisible por tl(g1 ) o tl(g2 ). Este ltimo polinomio ha de ser entonces el
residuo. Poniendo lo anterior en una sola ecuacin vemos que hemos escrito
f como
f = (x + y)g1 + |{z} 1 g2 + (x + y + 1);
| {z } | {z }
a1 a2 h

donde tl(a1 g1 ) tl(f ); tl(a2 g2 ) tl(f ); y donde ningn monomio de h es


divisible ni por tl(g1 ); ni por tl(g2 ):

Pasemos a enunciar de manera rigurosa este procedimiento.

Teorema 1.4.2 (Algoritmo de la divisin) Sea > un orden monomial


en R = k[x1 ; :::; xn ] y sea F = fg1 ; :::; gs g una lista ordenada de polinomios
en R: Entonces cada f en R puede escribirse en la forma f = a1 g1 + +
as gs + h; con ai ; h 2 k[x1 ; :::; xn ]; y donde se satisfacen las siguientes dos
condiciones:

1. tl(ai gi ) tl(f )

2. h = 0; o h es una combinacin lineal de monomios h = c1 u1 + +cl ul


donde ninguno de los monomios ui es divisible por tl(g1 ); :::; tl(gs ); los
trminos lderes de g1 ; :::; gs :

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 h como el mismo polinomio f;y todos los ai
iguales a cero. Por otro lado, si M no es vaco, nos jamos en el menor i tal
1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ] 9

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 tl(gi m) tl(c x ) tl(f ); y que tl(g ) tl(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.
Existen varios paquetes de clculo simblico (infortunadamente no es el
caso de GeoGebra) que permiten computar el residuo de la divisin de un
polinomio entre un conjunto de polinomios.
Algoritmo de la divisin en sntesis: se toma como entrada una lista
de polinomios f , g1 ; : : : ; gs en k[x1 ; : : : ; xn ], donde se ha establecido previa-
mente 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 g 0 )m1 + f 0 = m1 gi1 + (f 0 g 0 m1 ):

Denimos h1 = f 0 g 0 m1 . Luego f = m1 gi1 + h1 :

4. 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 = m1 gi1 + m2 gi2 + h2 :

5. 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 :

6. Se continua de esta manera, computando h1 ; h2 ; : : : ; hr ; hasta que


el polinomio hr sea un residuo, es decir, un polinomio para el cual
10 CAPTULO 1. BASES DE GROEBNER

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 + + as gs + hr , con ciertos


ai ; polinomios apropiados.

El paquete Singular, de acceso gratuito, es uno de ellos (puede descar-


garse en la direccin http://www.singular.uni-kl.de/).

Ejemplo 1.4.3 1. Si, por ejemplo, f = xy 2y 4 xz 5 , g1 = xy + z 3


y + 1; g2 = xyz y 2 + z 3 son polinomios en Q[x; y; z], con orden lexi-
4

cogrco, el residuo de la divisin de f entre g1 y g2 puede computarse


en singular como se muestra a continuacin:

El residuo resulta ser r = xz 3 + xz 2 + xz y4 + y3z4 + y3z3 yz 4


yz 3 yz y z 3 1:
1.4. ALGORITMO DE LA DIVISIN EN K[X1; :::; XN ] 11

Para computar los coecientes ai puede utilizarse el comando division.

Por ejemplo, sea p = x4 2xy 2 + 1 y sean g1 = x2 2xz + 5 y


g2 = xy 2 + yz. La lista L contiene en su primera entrada, L[1]; una
matriz 2 1

2 3
4 x2 + 2xz + 4z 2 5 5
2

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, en
este caso igual a 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
12 CAPTULO 1. BASES DE GROEBNER

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 no hay unicidad para los coecientes ai ; ni para el residuo r: Por
ejemplo, tomando de nuevo f = x2 y + xy 2 + y 2 , f1 = xy 1; f2 = y 2 1;
y dividiendo a f primero por el trmino lder de f2 se obtiene

f = (x + 1)f2 + xf1 + 2x + 1:

Esto nos muestra que para polinomios en ms de una variable slo se obtiene
una generalizacin imperfecta del algoritmo de la divisin usual. 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
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, como veremos en la prxima clase.

1.5. Bases de Groebner


Denicin 1.5.1 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
1.5. BASES DE GROEBNER 13

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.5.2 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.

Denicin 1.5.3 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
su trmino lder es divisible por algn tl(fi ). (Esta equivalencia se sigue
inmediatamente del ejercicio 7 de la seccin anterior).

El siguiente teorema nos muestra una de las propiedades que hace tiles
las bases de Groebner.

Teorema 1.5.4 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 f en la forma

f = a1 f1 + + an fn + h;

donde h = 0 o ningn monomio de h es divisible por el trmino lder de fi ; para


i = 1; :::n: Ahora, es claro que h tambin pertenece a I; luego, su trmino lder
14 CAPTULO 1. BASES DE GROEBNER

est en el ideal tl(I):Esto obliga a que h tenga que ser cero, pues de otra manera
tl(h) sera divisible por alguno de los tl(fi ), en contradiccin con el hecho de que
h 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 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 efec-
tiva 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
x x
S(f; g) = f g:
tl(f ) 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 mis-
mo grado debe ocurrir de esta manera.
P
Lema 1.6.1 Supongamos que en la suma U = ci x i gi , donde los ci son
i=1;:::;t
constantes, y donde tl(gi )x i = x , i = 1; :::t; ocurre una cancelacin de los
P
trminos de grado ms alto; es decir, tl( ci x i gi ) < x : 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 trmino


lder < x :

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


i

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 ):
1.6. S-POLINOMIOS Y ALGORITMO DE BUCHBERGER 15

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


las dos ecuaciones anteriores se obtiene
Xt 1 Xj
jj+1
U= ci di x S(gj ; gj+1 ):
j=1 i=1

Ntese que dado que el trmino ms grande de U es menor que x se debe tener
P
que ci di = 0, y por lo tanto el trmino t-simo desaparece de la suma anterior.
Finalmente, pj pk tiene trmino lder menor que x ya que en esta diferencia los
trminos de grado x se cancelan entre s.
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 una 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 generado por los trminos lderes de los gi :
P
Escribamos f como f = hi gi . Sea x = mximofmi : i = 1; : : : tg;donde mi =
tl(hi gi ), sea minimal. Claramente,
P la conclusin del teorema se da si tl(f ) = x ;ya
que en este caso tl(f ) = tl(hi )tl(gi ). Veamos entonces que f no puede tener un
trmino lder de grado menor que x :Si esto fuera cierto, podramos escribir f en
la forma:
X X X
f= tl(hi )gi + (hi tl(hi ))gi + hi gi :
mi =x mi =x mi <x

Como los monomios de la segunda y tercera sumatoria tienen grados menor que
x ;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
x
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 trmino lder tl(S(gi ; gj )):
Multiplicado por x jk se obtiene
X
x j;k
S(gj ; gk ) =br gr ,donde br = x jk aijr , y tl(br gr ) < x :
P
Esto nos permite reescribir tl(hi )gi como combinacin lineal de trminos de
P mi =x P 0
la forma br gr , y por lo tanto expresar f como una suma hi gi ; donde el
0
mximo de los trminos lderes de hi gi es estrictamente menor que x :Esto ltimo
contradice la minimalidad de x :
16 CAPTULO 1. BASES DE GROEBNER

Observacin 1.6.3 En el teorema anterior cuando se pide que el residuo


de una divisin de S(gi ; gj ) entre G sea igual a cero, nos referimos a que
esta condicin se cumpla para una cualquiera de las posibles divisiones de
S(gi ; gj ) entre G: Notemos que una vez esto ocurre para todos los pares
S(gi ; gj ), entonces, al ser G una base de Groebner, el residuo de dividir
S(gi ; gj ) entre G es nico, y entonces ser igual a cero, sin importar la
manera como se haga la divisin.

Teorema 1.6.4 (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: comenzando con 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
Gk
cada par de elementos gi y gj en Gk , sea Si;j = S(gi ; gj ) el residuo de
dividir (de cualquier manera) S(gi ; gj ) entre 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 explic.

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 que esta secuencia
debe estabilizarse en algn momento, es decir, en algn momento el
procedimiento explicado ms arriba termina (ver [12]).

El siguiente ejemplo muestra la manera de usar el teorema anterior para


construir una base de Groebner.

Ejemplo 1.6.5 (Algoritmo de Buchberger) Consideremos en k[x; y] el


orden graduado lexicogrco, y tomemos

I = (x3 2xy ; x2 y 2y 2 + x):


| {z } | {z }
f1 f2

La idea para producir una base de Groebner para I consiste en ir aumen-


tando 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
1.7. SISTEMAS DE ECUACIONES POLINMICAS 17

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 par-
ticular vemos que S(f1 ; f2 ) = x2 no es cero al dividirlo por G0 : Se ve
________ G
0
entonces que f3 = S(f1 ; f2 ) = x2 deber ser aadido al conjunto G0 :
_________ G
1
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
1
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 i; j 5; y por lo tanto
es una base de Groebner para I:

1.7. Sistemas de ecuaciones polinmicas


En las secciones anteriores desarrollamos un algoritmo que nos permi-
ti calcular una base de Groebner para un ideal I de un anillo de poli-
nomios R = k[x1 ; :::; xn ]: Nuestro propsito ahora ser utilizar este algorit-
mo para mostrar cmo puede resolverse un sistema cualquiera de ecuaciones
polinmicas.
En primer lugar, cuando k = C es el campo de los nmeros complejos,
un clebre teorema debido a Hilbert (ver [12]) arma que todo sistema de
ecuaciones polinmicas E

f1 (x1 ; :::; xn ) = 0 (1.1)


..
.
fm (x1 ; : : : ; xn ) = 0

que sea consistente, es decir, un sistema para el cual el polinomio constante 1


no pertenece al ideal generado por los polinomios que confortman el sistema,
I = (f1 ; :::; fn ), tiene por lo menos una solucin. De manera precisa:

Teorema 1.7.1 (Nullstellensatz) El sistema (1.1) en el anillo de poli-


nomios C[x1 ; : : : ; xn ] tiene al menos una solucin en Cn si y solo si el poli-
nomio constante 1 no pertenece al ideal I = (f1 ; : : : ; fm ).

Laa Bases de Groebner permiten decidir si 1 est o no contenido en


I: jamos primero un orden monomial arbitrario. Computamos luego, con
respecto a este orden, una base de Groebner para I g1 ; : : : ; gs . Recordemos
que esto signica que el ideal de trminos lderes tl(I) est generado por
18 CAPTULO 1. BASES DE GROEBNER

tl(g1 ),: : : ; tl(gs ). Y esto a su vez es equivale a decir que si f 2 I entonces


tl(f ) es divisible por algn tl(gi ). Luego, si 1 2 I entonces tl(1) = 1 deber
ser divisible por algn tl(gi ); lo cual fuerza a que gi = c, es una constante no
nula. De manera recproca, si algn gi = c, una constante distinta de cero,
entonces 1 = (1=c)gi 2 I, pues los gi son por denicin elementos de I. En
sntesis:

Teorema 1.7.2 Para saber si el sistema (1.1) en R = C[x1 ; : : : ; xn ] tiene


al menos una solucin basta jar cualquier orden monomial en R y calcular
una base de Groebner G = fg1 ; : : : ; gs g. Para que el sistema tenga solucin se
necesita, y es suciente, que ninguno de los polinomios gi sea una constante
distinta de cero.

Determinemos si el sistema de ecuaciones

f1 = x2 y z + xy + 2
f2 = x y + z4 + 1
f3 = x2 + yx z3 + 2

tiene solucin en los complejos. Para ello utilizamos GeoGebra para com-
putar una base de Groebner para el ideal I = (f1 ; f2 ; f3 ), como se indica a
continuacin:

Ejemplo 1.7.3
1.7. SISTEMAS DE ECUACIONES POLINMICAS 19

Ahora, usamos el comando Extrae para listar cada uno de los polinomios de
la base G y visualizarlos de manera cmoda:

Vemos entonces que G consiste de nueve polinomios, ninguno de los


cuales es constante. De aqu que E tenga al menos una solucin.

1.7.1. Soluciones explcitas


Utilizando las bases de Groebner se pueden encontrar explcitamente
todas las soluciones de un sistema d eecuaciones. La idea es resolver el sis-
tema mediante una induccin sobre el nmero de variables. Empezamos
20 CAPTULO 1. BASES DE GROEBNER

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 ] (este conjunto es un ideal de k[xk+1 ; :::; xn ],
pero no del anillo original k[x1 ; :::; xn ]), resulta generado por aquellos el-
ementos 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.

Proposicin 1.7.4 Sea G una base de Groebner para un ideal I R =


k[x1 ; :::; xn ]; con el orden lexicogrco obtenido despus de ordenar las va-
riables 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. Sea G = fg1 ; : : : ; gr ; gr+1 ; : : : ; gn guna base de groebner para I , donde,


cambiando la numeracin de los gi , en caso de ser necesario, podemos suponer que
1.7. SISTEMAS DE ECUACIONES POLINMICAS 21

g1 ; : : : ; gr son aquellos polinomios de G donde no aparecen ninguna de las variables


x1 ; :::; xk : Tomemos un elemento f 2 Ik :Debemos probar que el trmino lder de
f es divisible por alguno de los trminos lderes de g1 ; :::; gr : Como G es una base
de Groebner para I,existe un gj con la propiedad de que su trmino lder divide a
tl(f ). Como todos los trminos de f solo involucran variables xk+1 ; :::; xn , y como
tl(gj )divide a uno de ellos (a tl(f )), entonces el trmino lder de gj tambin deber
involucrar solo estas mismas variables. Pero de ser as, ningn otro trmino cu de
gj podr involucrar ninguna de las primeras k -variables x1 ; :::; xk , pues en el orden
lex con x1 > x2 > > xn el trmino cu sera necesariamente mayor que tl(gj ).
Luego gj 2 Ik+1 = I \ k[xk+1 ; :::; xn ]:

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.

Ejemplo 1.7.5 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
22 CAPTULO 1. BASES DE GROEBNER

un base de Groebner para I = (f1 ; f2 ; f3 )

Notemos que la base de Groebner presenta una forma triangular, como en


la denicin clsica del lgebra lineal.

Ejemplo 1.7.6 Consideremos en R = Q[x; y; z] el siguiente sistema de


ecuaciones (no lineales):

f1 = x2 2z 2 + y 2
f2 = y 2 z2 4y
2
f3 = 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
1.7. SISTEMAS DE ECUACIONES POLINMICAS 23

computar un base de Groebner para I = (f1 ; f2 ; f3 ) :

La base de Groebner est dada por G = fg1 ; g2 ; g3 g, donde


24 CAPTULO 1. BASES DE GROEBNER

g1 (z) = 225z 8 10044z 6 9210z 4 + 324z 2 + 289


g2 (y; z) = 768y + 75z 6 3423z 4 + 193z 2 + 107
g3 (x; y; z) = 13056x + 1125z 7 48945z 5 104241z 3 + 1637z
El sistema puede resolverse hallando primero las ocho races de g1 (z) = 0,
de las cuales solo cuatro son reales, y reemplazando cada una de ellas en
las ecuaciones g2 y g3 . A continuacin se resuelve para y y x, de manera
sucesiva.
Utilizamos GeoGebra para hallar las races (reales) de g1 mediante el
comando ResolucinN[g3] (resolucin numrica)

Vemos entonces que g3 posee cuatro races reales y cuatro complejas. Sub-
stituyendo la raz z = 6;75 en g2 y g3 obtenemos
g2 (y; 6;75) = 0 =) y = 9;04
g3 (x; 9;04; 6;75) = 0 =) x = 3;06
De aqu que el punto ( 3;06; 9;04; 6;75) est en la variedad cortada por
f1 ; f2 ; f3 . De manera similar se obtienen los puntos:

Ejercicio 1.7.7 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. 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 g1 = x2 1,
g2 = xy + 1, g3 = zy 1. Una posible respuesta sera
f = (xy y 2 )g1 + (1) g2 + ( y)g3 + ( y y 2 + 3xz)):
| {z } |{z} | {z } | {z }
a1 a2 a3 residuo
1.7. SISTEMAS DE ECUACIONES POLINMICAS 25

3. (Opcional) Utilice el programa Singular para resolver el problema anterior.

4. 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 f
entre fg1 ; g2 g pueden producir residuos diferentes.
5. 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.
6. Sea R = Q[x; y; z], con orden lex. Calcule los siguientes S-polinomios
S(f1 ; f2 ) : f1 = x 13y 2 12z 3 , f2 = x2 xy + 92z; f1 = xz y 2 xz 3 ,
f2 = x2 yz 2 xy + z:
7. En orden reverso lexicogrco >revlex , con f 1 = x z + x2 , f2 =
1 + z + y + x.
8. Sea g1 = 2xy 1 y g2 = 3y 2 + x en Q[x; y], con orden >grlex , graduado
lexicogrco. Entonces
9. Explique por qu es falaz el siguiente razonamiento: de acuerdo con 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 (1.5)


| {z } | {z } residuo
a1 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!
10. Utilizando el algoritmo de Buchbereger encuentre una base de Groeb-
ner para I = (x2 y + z; xz + y) en Q[x; y; z], con orden lex.
11. Encuentre una solucin en los nmeros reales para el siguiente sistema
26 CAPTULO 1. BASES DE GROEBNER

de ecuaciones:

x2 1=0
y4 4=0
wx + w = 0
wy + 2w = 0
xy + 2x y 2=0
xy + y 2x 2=0
xz + z 3x 3=0
yz + 2z 3y 6=0

12. Muestre que el sistema siguiente no tiene ninguna solucin

x2 + y 3 = 0
z4 wxy = 0
2 4 3 3 4 4
x z x wy + y z y wx + 2 = 0
Captulo 2

Control cinemtico de brazos


mecnicos

En esta seccin mostraremos una aplicacin 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 una 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 permitan

27
28CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

situar la mano robtica en q, orientada en la direccin del vector v.

Comencemos discutiendo 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
En los cursos de lgebra lineal se demuestra que si 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

cos sin
:
sin cos

Es decir,
cos sin q1 a
=
sin cos q2 b
29

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;

c0
entonces, si las coordenadas de q en E 0 son , las coordenadas en E seran
d0
c c0 p
= 0 + 1 ;
d d p2
p1
donde son las coordenadas de p referidas a E.
p2
Finalmente, si V = 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
a cos sin q1 p
= + 1
b sin cos q2 p2
30CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

La razn es simple: para hallar las coordenadas de q en el sistema E 0 , multi-


q
plicamos el vector 1 por la matriz de rotacin. Luego, a este nuevo vector,
q2
p1
le sumamos para computar as 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: al mover los dedos de
dicha mano, de xi+1 a yi+1 , el pulgar debe apuntar hacia afuera del papel.
En la tima juntura, donde se articula la mano, el eje xn+1 se tomar en la
31

direccin de la misma direccin de la mano.

a4
Supongamos, en nuestro brazo de ejemplo, que son las coordenadas de
b4
un punto q en el sistema E4 : Entonces, referido al sistema E3 sus coordenadas
seran
a3 cos 3 sin 3 a4 l
= + 3 ; (2.1)
b3 sin 3 cos 3 b4 0
donde 3 es el ngulo (medido en direccin positiva) que forma la mano con
respecto al sistema E3
32CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

La ecuacin 2.1 puede escribirse en forma compacta como

2 3 2 32 3
a3 cos 3 sin 3 l3 a4
4 b3 5 = 4 sin 3 cos 3 0 5 4 b4 5
1 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 32 3
a2 cos 2 sin 2 l2 a3
4 b2 5 = 4 sin 2 cos 2 0 5 4 b3 5 ;
1 0 0 1 1
A2
| {z }

donde 2 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 32 3
a1 cos 1 sin 1 0 a2
4 b1 5 = 4 sin 1 cos 1 05 4 b2 5
1 0 0 1 1
| {z }
A1
33

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 ).

a4
Observacin 2.0.8 En resumen, el punto q, de coordenadas ; en las
b4
a1
coordenadas absolutas E1 , se expresara como ; donde
b1
2 3 2 3
a1 a4
4 b1 5 = A1 A2 A3 4 b4 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
0
con respecto a E4 sean , referido a E1 sus coordenadas seran
0
2 32 3
cos( 1 + 2 + 3 ) sin( 1 + 2 + 3 ) l3 cos( 1 + 2 ) + l2 cos( 1 ) 0
4 sin( 1 + 2 + 3 ) cos( 1 + 2 + 3 ) l3 sin( 1 + 2 ) + l2 sin( 1 ) 5 405 ;
0 0 1 1
34CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

que es igual al vector

l3 cos( 1+ 2) + l2 cos( 1 )
:
l3 sin( 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( 1 + 2) + l2 cos( 1 ) c
= ;
l3 sin( 1 + 2) + l2 sin( 1 ) d

c
donde son las coordenadas de q referidas al sistema E1 . Una vez deter-
d
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

l3 cos( 1 + 2) + l2 cos( 1 ) = c
l3 sin( 1 + 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 polinmi-


cas, 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
x + y2 = 1
2

z 2 + w2 = 1

Observacin 2.0.9 Notemos que un ngulo 0 < 2 queda unvoca-


mente determinado si conocemos su seno y coseno. Para un valor de y, hay
dos posibles ngulos tales que su seno es y. Estos son: o , si 0 :
O bien o 3 , si < < 2 : En cada caso, el coseno quedar deter-
minado, excepto el signo. Luego, conocido x, es decir, el coseno del ngulo,
2.1. ANLISIS DEL CASO L2 = L3 35

existir un nico ngulo con y = sin( ) y x = cos( ):

2.1. Anlisis del caso l2 = l3


Comencemos por resolver el sistema para l2 = l3 = 1: Para ello com-
putamos una base de Groebner con el orden lex, tomando, por ejemplo,
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 4d3 y 4c2 dy 4c2 (2.2)


2 2
f2 = c + d 2cx 2dy
3 2 2
f3 = c cd 4cy 2d2 x + 2cdy + 4dxy + 4c
f4 = x2 + y 2 1
f5 = cy dx + w
2
f6 = c d2 + 2z + 2

CASO DEGENERADO c = d = 0.
Esta condicin implica que el punto q se encuentra en el punto origen
del sistema de coordenadas absoluto, E1 . En este caso, la base anterior se
reduce a las ecuaciones siguientes:

f4 = x2 + y 2 1=0
f5 = w = 0
f6 = 2z + 2 = 0

De aqu se sigue inmediatamente que 1 puede escogerse de manera arbitraria


(hay innitas soluciones) y z = cos( 2 ) = 1; de donde se desprende una
36CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

nica solucin 2 = , lo cual se puede visualizar en la situacin geomtrica


siguiente, donde el brazo l3 se dobla sobre el brazo l2 :

NO HAY DEGENERACIN: c 6= 0 o d 6= 0:
La primera ecuacin f1 puede escribirse en la forma

4(c2 + d2 )y 2 4d(c2 + d2 )y + (c2 + d2 )2 4c2 = 0:

O de manera equivalente, como

(c2 + d2 )2 4c2
y2 dy + = 0:
4(c2 + d2 )

(El denominador est bien denido, pues suponemos c 6= 0 o d 6= 0): Sus


soluciones pueden hallarse con la frmula para resolver la ecuacin cuadrti-
ca (o pueden encontrarse utilizando Geogebra). As obtenemos que:

p
d 4 (c2 + d2 )
y= jcj p (2.3)
2 2 c2 + d2

(los comandos utilizados para resolver y simplicar estas soluciones se mues-


2.1. ANLISIS DEL CASO L2 = L3 37

tran a continuacin:

Dividamos la situacin no degenerada en dos subcasos:


Caso I: c = 0. Ello ocurre cuando la mano est situada precisamente
sobre el eje y1 : En este caso, la ecuacin 2.3 produce y =pd=2. Las ecuaciones
f2 y f3 no aportan nada, y de f4 se deduce x = 1=2 4 d2 . Los valores
de z y w quedan determinados, una vez conozcamos y y x: En efecto: z =
(d2 2)=2, w = dx:
Vemos entonces que si jdj < 2 (y por tanto 4 d2 > 0) existen dos
soluciones para x = cos( 1 ), y por tanto, dos soluciones para 1 . Y existe
una nica solucin, si jdj = 2; como se muestra a continuacin:

Si jdj > 2, no existe ninguna solucin, lo cual es explicable pues en este caso
el punto q se encuentra a una distancia mayor que 2, por fuera del mximo
alcance de los brazos, que ocurre precisamente cuando l2 y l3 son colineales.
38CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

CASO II: c 6= 0
De la ecuacin f2 = c2 + d2 2cx 2dy = 0 se obtiene:

c2 + d2 2dy
x= ; (2.4)
2cp
d 4 (c2 + d2 )
donde, recordemos, y = jcj p
2 2 c2 + d2

Una vez jados valores para x y y; (y por tanto determinado 1 ), de la


ecuacin quinta se obtiene un nico valor para w, dado por

w = dx cy (2.5)

La sexta ecuacin siempre nos da una nica para z, dada por:

(c2 + d2 ) 2
z= : (2.6)
2

Esta informacin, claramente, determina 2 .


Dividamos el anlisis en tres subcasos, dependiendo del hecho de que el
valor dentro del radical, 4 (c2 + d2 ); sea positivo, cero o negativo.

1. c2 + d2 > 4. En este caso, no existe solucin para 2.3, y por tanto


no hay solucin para el sistema 2.2. Y es explicable,
p pues la distancia
del punto q al origen del sistema E1 , dada por c2 + d2 ; sera mayor
que 2. Pero la distancia mxima que pueden alcanzar los tres brazos
(cuando l2 y l3 se encuentran colineales). Claramente, los puntos alcan-
zables se encuentran todos dentro de un disco de radio 2 (incluyendo
su frontera).

2. c2 + d2 = 4: en este caso las ecuaciones 2.3, 2.4, 2.5 y 2.6 se convierten


en

d 4 2y 4 2dy 2 dy
y= ; x= = =
2 2c 2c c
z = 1, w = 0:

En esta situacin existe una nica solucin, aquella donde los dos
brazos son colineales ( 2 = 0), y el punto q se encuentra en la periferia
2.2. ANALISIS DE UN ROBOT CON L2 6= L3 39

del disco de radio dos de puntos alcanzables por el robot.

3. c2 + d2 < 4. En esta situacin, la ecuacin 2.3 produce dos valores


para y1 y y2 . Una vez jado uno de estos dos valores, las ecuaciones
2.4, 2.5 y 2.6 determinan valores nicos para x; z; w. Esta informacin
determina dos soluciones para 1 . No obstante, una vez jado 1 , el
ngulo 2 quedar unvocamente determinado:

2.2. Analisis de un robot con 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
40CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

y l3 = 2.

Una base de Groebner est dada por

g1 = (4c2 + 4d2 )y 2 + ( 4dc2 + 12d 4d3 )y 10c2 6d2 + 2c2 d2 + d4 + 9 + c4


g2 = 2xc + 3 + 2yd c2 d2
g3 = dc2 + 3d d3 + 4wc + (2d2 + 2c2 )y
g4 = 5 d2 c2 + 4z

CASO I. Si c 6= 0, las ecuaciones tienen como soluciones las expresiones


siguientes:

p
d(c2 3 + d2 ) (9 (c2 + d2 ))((c2 + d2 ) 1)
jcj c2 + d2 2dy 3
y= , x =
2(c2 + d2 ) 2c
d2 + c2 5 dc2 3d + d 3 2 2
(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,
2.2. ANALISIS DE UN ROBOT CON L2 6= L3 41

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 d2
h2 = 9 10d2 + d4 + 4d2 x2
h3 = 2w xd
2
h4 = d + 5 + 4z

Si suponemos adems d 6= 0, estas ecuaciones tienen como solucin:

p
d2 3 10d2 d4 9
y= ; x=
2d 2 jdj
d 2 5 dx
z= ; w=
4 2
42CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

La expresin dentro del radical es no negativa si d 2 ( 3; 1) [ (1; 3)

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 43

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 res-
pecto 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. 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.
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)
44CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS

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 com-
puesto 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 con-
tinuacin:
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, col-
or=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 posi-
cin 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
2.4. SIMULACIN EN MAPLE 45

de las coordenadas (c,d) de un punto q en el plano. El algoritmo compu-


ta un movimiento del robot para situar su mano en el punto q. Es de-
cir, el algoritmo alcanza dicho punto, cuando ello es posible. Por ejemp-
lo: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);


46CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
Captulo 3

*Demostracin mecnica de
teoremas en geometra

En este apndice mostraremos la manera de usar las ideas discutidas en


las clases anteriores para desarrollar un mtodo que nos permitir demostrar,
de manera puramente mecnica, un gran nmero de teoremas de la geometra
eucldea elemental. Esta seccin exige una preparacin matemtica ms
avanzada.
Comenzaremos por discutir un ejemplo concreto que servir de modelo
para el mtodo general. Supongamos que deseamos demostrar el siguiente
teorema.
Q: Las diagonales de un paralelogramo se cortan en sus puntos medios.
Sea E el punto de corte de las diagonales AC y BD de un paralelogramo
ABCD. Entonces E biseca a AC y a BD.

Introduzcamos coordenadas cartesianas en las cuales hacemos que A sea el


punto origen. Denotemos por u1; u2; u3 valores reales arbitrarios, y dispong-
amos el paralelogramo ABCD de tal manera que a los puntos B y D les
correspondan las coordenadas (u1 ; 0) y (u2 ; u3 ); respectivamente. Fijando

47
48CAPTULO 3. *DEMOSTRACIN MECNICA DE TEOREMAS EN GEOMETRA

estos parmetros, las coordenadas de C quedan determinadas en funcin de


las variables uj . Si (x1 ; x2 ) son las coordenadas de C, el hecho de que ABCD
sea un paralelogramo se traduce en las dos ecuaciones siguientes

h1 : x2 u3 = 0; h2 : u2 x2 u3 (x1 u1 ) = 0:

La primera ecuacin expresa la condicin de paralelismo entre los lados DC


y AB y la segunda el paralelismo entre AD y BC: Ahora, denotemos las
coordenadas de E por (x3 ; x4 ) (las cuales tambin vendrn determinadas
por los valores de uj escogidos). Por estar E en la interseccin de AC y BD
se deben cumplir las siguientes dos ecuaciones:

h3 : x1 x4 x2 x3 = 0; h4 : x4 (u2 u1 ) u3 (x3 u1 ) = 0;

donde h3 expresa el hecho de E estar sobre AC y h4 el hecho de estar sobre


BD: Finalmente, la conclusin del teorema se expresa en la forma

g1 : x24 + x23 (x1 x3 )2 + (x2 x4 )2 = 0

g2 : x24 + (x3 u1 )2 (x4 u3 )2 + (x3 u2 )2 = 0;


donde g1 y g2 expresan el hecho de ser E el punto medio de AC y BD
respectivamente.
Denotemos por X la variedad en R7 denida por los polinomios que
son traduccin de las hiptesis, es decir, por h1 ; h2 ; h3 y h4 : La validez
del teorema puede entonces interpretarse como el hecho de que las ecua-
ciones g1 y g2 se anulen idnticamente sobre el conjunto de todos los puntos
(u; x) = (u1 ; u2 ; u3 ; x1 ; x2 ; x3 ; x4 ) de la variedad denida por las ecuaciones
hi ; i = 1; :::; 4: Sin embargo, queda todava un problema con este anlisis: es
posible que las ecuaciones hi se anulen sobre algunos valores (u; x) corres-
pondientes a situaciones degeneradas del problema original. Por ejemplo, si
u1 = 0; o u3 = 0 el paralelogramo se degenera en una recta y la conclusin,
tal como la hemos traducido, no se satisface. De manera ms general, si las
variables uj denotan parmetros completamente arbitrarios, es razonable im-
poner la condicin de que no exista ninguna relacin funcional entre ellos,
es decir, que ninguna ecuacin de la forma l(u1 ; u2 ; u3 ) = 0 se anule idntica-
mente sobre la variedad X: Luego la validez del teorema geomtrico original
debe interpretarse como el hecho de que g1 y g2 se anulen sobre un abierto X0
de X (abierto en la topologa de Zariski) donde ninguna ecuacin funcional
l(u1 ; u2 ; u3 ) sea idnticamente nula. Sean flk (u1 ; u2 ; u3 ) = 0gk2K las ecua-
ciones que denen el locus de puntos de X correspondientes a situaciones
degeneradas de X. Entonces X0 es el conjunto X V (lk (u1 ; u2 ; u3 )k2K ) y la
49

condicin de que g1 y g2 se anulen sobre X0 es equivalente a la conclusin


del teorema geomtrico que nos proponamos demostrar originalmente. La
siguiente proposicin nos proporciona un criterio computacional que nos
permite demostrar esta ltima condicin en algunas situaciones.

Proposicin 3.0.1 Sea X la variedad denida por el conjunto de ecua-


ciones hi (u; x) = 0; i = 1; ::; n correspondientes a las hiptesis de un cierto
enunciado geomtrico T , donde las variables uj denotan ciertos parmetros
libres que se corresponden con las posibles conguraciones geomtricas que
satisfacen las hiptesis del teorema. Si gk (u; x) = 0; k = 1; :::; m son las
ecuaciones que corresponden a su conclusin, se tiene entonces que T es
cierto si cada gk se anula sobre el abierto X0 = X V (lr (u1 ; u2 ; u3 )r2R );
donde flr (u1 ; u2 ; u3 ) = 0gr2R son las ecuaciones que denen el locus de
puntos de X correspondientes a situaciones degeneradas de T :
La condicin anterior se satisface si para cada gk (u; x)

1 2 I(X0 ) = (hi (u; x); 1 gk (u; x)y) R(u)[x; y];

Aqu I(X0 ) denota el ideal generado por todos los polinomios hi (u; x); i =
1; ::; n y por el polinomio 1 gk (u; x)y; en el anillo de polinomios en las
variables x y en la variable y, con coecientes en el campo de fracciones del
anillo R[u]: Esto ltimo puede vericarse computando una base de Groebn-
er reducida y minimal para I(X0 ) y viendo que esta contiene slamente al
elemento identidad.

En el ejemplo anterior, y usando el programa Maple, se puede ver que


una base de Groebner reducida y minimal (usando el orden lexicogrco
inverso) para el ideal

(h1 ; h2 ; h3 ; h4 ; 1 gi y) R(u1 ; u2 ; u3 )[x1 ; x2 ; x3 ; x4 ];

consiste exclusivamente del elemento 1; para cada gi , i = 1; 2: De aqu se


sigue la validez de la proposicin Q.
Prueba. (de la proposicijn anterior) Procedemos de la misma manera que
en la prueba del Nullstellensatz: la hiptesis de la proposicin implica que
cada polinomio gk puede usarse para escribir a 1 en la forma
q
X
1= aj (u)(x; y)hj (u; x) + aq+1 (u)(x; y)(1 gk (u; x)y);
j=1

donde cada aj (u)(x; y) es un polinomio con coecientes en R(u), en las


variables x y y Reemplacemos cada aparicin de la variable y en la expresin
50CAPTULO 3. *DEMOSTRACIN MECNICA DE TEOREMAS EN GEOMETRA

anterior por 1=gk : De igual manera que en la prueba del Nullstellensatz, al


hacer esta substitucin, el ltimo trmino de la suma anterior desaparece,
y si multiplicamos por una potencia sucientemente P grande de gk ; digamos
gkN ; se obtiene una ecuacin de la forma gkN = qj=1 aj (u)(x)hj (u; x); para
ciertos polinomios aj (u)(x); j = 1; :::; q con coecientes que son fracciones de
la forma pj (u)=qj (u): Por lo tanto, al multiplicar ambos lados de la ecuacin
anterior por un denominador
Pq comn, B(u); se obtiene una ecuacin de la
N
forma B(u)gk (u; x) = j=1 Aj (u; x)hj (u; x); donde los Aj son polinomios
en las variables u y x con coecientes reales. Sobre cada punto (u; x) de
X0 se tiene que hj (u; x) = 0 y B(u) 6= 0; y por lo tanto, de la ecuacin
anterior, se deduce que gkN (u; x) = 0 sobre la variedad X0 : Esto implica que
gk (u; x) = 0 para todos los puntos (u; x) 2 X0 ; como se quera demostrar.

La proposicin anterior permite demostrar de manera puramente mecni-


ca algunos teoremas de la geometra eucldea plana cuyas pruebas pueden
resultar, en algunos casos, supremamente difciles si se trataran de hacer
usando slamente mtodos de la geometra eucldea. Un ejemplo de ello es
el siguiente teorema (su recproco es fcil de demostrar).
P: Si en el tringulo ABC las bisectrices AD y BE tienen la misma
longitud, entonces el tringulo ABC es isseles, es decir AC = BC:

El lector puede convencerse a si mismo de la dicultad de esta proposicin


si intentara dar una prueba de la misma. Sobre este problema, M. Gard-
ner arma: pocos problemas de la geometra eucldea son ms difciles e
insidiosos... [13].
Fijemos el punto A en el origen de un sistema de coordenadas. Supon-
gamos que B tiene coordenadas (u1 ; 0); y denotemos por u2 = tan( 2 ) y
u3 = tan( 3 ); las pendientes de las rectas l1 y l2 ; denidas por las ecua-
ciones y = u2 x y y = u3 (x u1 ): Denotemos por (x1 ; x2 ) las ecuaciones del
51

punto de interseccin de l1 y l2 y por (x5 ; x6 ) y (x3 ; x4 ) las coordenadas de


los puntos E y D respectivamente. El punto C; por estar en las rectas l2 y
l1 ; satisface las ecuaciones

h1 : x2 u2 x1 = 0; h2 : x2 u3 (x1 u1 ) = 0:

Sean v1 = tan( 2 =2) y v2 = tan(( 3 + )=2 ) las pendientes de las rectas l3 y


l4 ; respectivamente (estas variables dependen de las uj ). Usando la frmula

2 tan( =2)
tan( ) = ;
1 tan2 ( =2)

y usando el hecho de que tan( + ) = tan( ); obtenemos las dos relaciones


siguientes
2 tan( 2 =2) 2v1
u2 = tan( 2 ) = 2 = ;
1 tan ( 2 =2) 1 v12

u3 = tan( 3 + ) = tan( 3 ) = tan(2( 3 + )=2) =


2 tan(( 3 + )=2) 2v2
= 2 = :
1 tan (( 3 + )=2) 1 v22

De aqu se deducen las relaciones

h3 : u2 (1 v12 ) 2v1 = 0; h4 : u3 (1 v22 ) 2v2 = 0:

Las ecuaciones de l3 y l4 vienen dadas por

y = v1 x; y = v2 (x u1 ):

La condicin de que el punto D est sobre las rectas l3 y l2 ; y el punto E


sobre las rectas l4 y l1 ; se traduce en las ecuaciones

h5 : x4 v1 x3 = 0 h6 : x4 u3 (x3 u1 ) = 0
h7 : x6 v2 (x5 u1 ) = 0 h8 : x6 u2 x5 = 0:

Finalmente, por tener las bisectrices AD y BE la misma longitud se debe


tener que
h9 : x23 + x24 (x5 u1 )2 + x26 = 0:
La conclusin AC = BC se traduce en la ecuacin

g1 : (x1 u1 )2 + x22 (x21 + x22 ) = 0:


52CAPTULO 3. *DEMOSTRACIN MECNICA DE TEOREMAS EN GEOMETRA

Para ver que la proposicin P es cierta, basta ver, usando la Proposicin


1.2, que
1 2 I(X0 ) = (h1 ; h2 ; h3 ; h4 ; h5 ; h6 ; h7 ; 1 g1 y):
I(X0 ) denota el ideal del anillo R(u1 ; u2 ; u3 )[v1 ; v2 ; x1 ; x2 ; x3 ; x4 ; x5 ; x6 ]; aso-
ciado a X0 ; el abierto de la variedad X = V (h1 ; h2 ; h3 ; h4 ; h5 ; h6 ; h7 ); corre-
spondiente a las conguraciones no degeneradas que satisfacen las hiptesis
de P: Usando el programa Maple puede verse que una base de Groebner
reducida y minimal para I(X0 ) es trivial.
Captulo 4

Ecuacin de una cuerda


vibrando

4.1. Introduccin
En este captulo derivaremos la ecuacin de onda para la cuerda vibrante,
bajo ciertos supuestos, y discutiremos su relevancia en el diseo de los in-
strumentos de cuerda, as como de las escalas pitagrica y temparada. Con
algunas variaciones menores, la deduccin y solucion de la ecuacin de onda
sigue lo expuesto en cualquiera de los textos [7],[8],[9]. Para una discusin
sobre las escalas musicales y su construccin matemtica, el lector puede
consultar [10].
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 pos-

53
54 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

itivamente, donde el eje x est supuerpuesto a la cuerda y apunta hacia la


derecha. Tomamos la cuerda y la deformamos ligeramente de tal manera
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. De-


notemos 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 fo-
to 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. Las deformaciones a las cuales se ve sometida la cuerda 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 muy pequeo.
De aqu que cos (x; t) ' 1:

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 de-
notemos 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)


TH (x + h; t) = T (x + h; t) cos (x + h; t):
4.1. INTRODUCCIN 55

Respectivamente, la tensin vertical ser:

TV (x; t) = T (x; t) sin (x; t)


TV (x + h; t) = T (x + h; t) sin (x + h; t):

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 en el instante t las tensiones horizontales en


x y x + h debern ser iguales, puesto que no hay desplazamientyo horizontal
de la cuerda, ya que todo punto de esta solo se desplaza en direccin vertical.
En consecuencia la tensin horizontal TH (x; t) es una funcin que 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 :

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 depender del tiempo.
De otro lado, se observa experimentalmente que las dos masas que pen-
den a ambos lados permanecen inmviles. Esto nos dice que (0) = (t),
para todo momento t: Esto es, la tensin de la cuerda en cada extremo (que
es igual a la tensin en cualquier otro punto) permanece constante a lo largo
56 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

del tiempo, y entonces para todo tiempo t, T = (t) = m 9;8 Newtons. En


resumen:

TH (x; t) = T (x; t) = T; para todo x 2 [0; L] y todo t 0:

De manera similar, como (x; t) ' 0, entonces la longitud l(x; h) del peda-
zo de cuerda comprendido entre x y x + h es aproximadamente h, pues
recordemos que su longitud puede calcularse mediante la frmula
s
R
x+h 2
@u
l(x; t) = 1+ (s; t) ds
x @x

Pero @u=@x(s; t) = tan (x;


qt); que elevado al cuadrado es un trmino muy
2
cercano a cero. Por tanto 1 + @u@x (s; t) ' 1: Luego
s
R
x+h 2 R
x+h
@u
1+ (s; t) ds ' 1ds ' h:
x @x x

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

@2u 0
TV (x + h; t) TV (x; t) = ( h) (x ; t)
@t2
donde x x0 x + h. Luego

@2u 0
T sin (x + h; t) T sin (x; t) = ( h) (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 sin (x; t) 1 @2u


= ( h) 2 (x0 ; t):
T cos (x; 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
1 @2u 0
(@u=@x(x + h; t) @u=@x(x; t)) = (x ; t):
h T @t2
4.2. SOLUCIN DE LA ECUACIN DE ONDA DE UNA CUERDA 57

Tomando el lmite cuando h ! 0 se obtiene


@2u @2u
= :
@x2 T @t2
p
Si c = T = , la ecuacin toma la forma denitiva:

@2u 1 @2u
= : (4.1)
@x2 c2 @t2
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):

4.2. Solucin de la ecuacin de onda de una cuerda


Una manera de resolver la ecuacin anterior es suponer que existen solu-
ciones 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 4.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
58 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

ser iguales a una cierta constante k: Se obtienen entonces dos ecuaciones


diferenciales ordinarias:
F 00 (x) kF (x) = 0 (4.2)
00 2
G (t) 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 con-
stante negativa. Escribamos k = p2 , con p > 0. En este caso la
solucin general de 4.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 4.1, y satisface C.I.1 y C.I.3. De la forma de la ecuacin, puede
vericarse que si u(x; t) y v(x; t) son soluciones, y si A y B son constantes,
entonces Au(x; t)+Bv(x; t) tambin es solucin. De aqu que cualquier com-
binacin lineal de soluciones sea solucin. No obstante, como se ver ms
adelante, la condicin inicial CI.2 solo podr lograse mediante una combi-
nacin lineal innita (una serie) de las funciones un (x; t), una que tendr la
forma:
P
1
u(x; t) = Bn sin(n x=L) cos( n t); (4.3)
n=0

n = cn =L
4.3. MODO FUNDAMENTAL Y ARMNICOS 59

de tal manera que


P
1
u(x; 0) = f (x) = Bn sin(n x=L):
n=0

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
P
1
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

4.3. Modo fundamental y armnicos


Notemos que cada trmino de la solucin de la ecuacin de onda 4.3,
un (x; t) = sin(n x=L) cos( n t) es una funcin peridica de t, con perodo
2 = n , pues

cos ( n (t +2 = n )) = cos( nt + 2 ) = cos( n t):

De aqu se sigue entonces que transcurridos p = 2 = n segundos la cuerda


retorna a su misma posicin. Luego la onda descrita por un (x; t) tiene una
frecuencia fn = 1=p = = n =2 = cn=2L ciclos por segundo Hz, (Hertz). Es
decir, en un segundo cada punto de la cuerda completa un total de fn ciclos.
La suma en 4.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
modos fundamentales, o sobretonos, puede verse en la direccin siguiente:
https://www.youtube.com/watch?v=UHTF1-IhuC0.
Notemos que si la posicin inicial de la cuerda viene dada por un (x; 0) =
Bn sin(n x=L), entonces todos los coecientes Bm de 4.3 son cero, excepto
60 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

Bn . En este caso la solucin de la ecuacin de onda estar dada precisa-


mente por el modo fundamental un (x; t) = sin(n x=L) cos( n t): Para n = 1,
u1 (x; 0) = sin( x=L), tiene la forma que se muestra a continuacin

Primer modo fundamental:


u1 (x; t) = sin( x=L) cos(c x=L)

Los modos segundo terecero y cuarto, se muestran a continuacin

Segundo modo fundamental: u2 (x; t) = sin(2x=L) cos(2c x=L)

Tercer modo fundamental:u3 (x; t) = sin(3x=L) cos(3c x=L)


4.3. MODO FUNDAMENTAL Y ARMNICOS 61

Cuarto modo fundamental u4 (x; t) = sin(4x=L) cos(4c x=L)

Ejemplo 4.3.1 La tercera cuerda de una guitarra tiene una longitud 1;16
m y pesa 1;0645 gramos. Un tramo de esta cuerda de 43 cm de longitud
se pone a vibrar, sujeto a una tensin de 2 kg. Calculemos la frecuencia
dominante:
En primer lugar, la densidad de la cuerda es = 1;0645 10 3 =1;16
= 9;176 10 4 kg=m. La tensin,
p medida
p en Newtons, sera T = 2 9;8 =
19;6 N: De aqu que c = T= = 19;6=9;176 10 4 = 146;19 m/s:
As, la frecuencia fundamental sera f = c=2L = 146;15=0;86 ' 170 Hertz
(vibraciones por segundo). Al realizar el experimiento se obtiene un valor de
173 Hz; con un error de apenas 3 unidades en 170; es decir, un error apenas
del 1;7 %.

2"
Ejemplo 4.3.2 Sea f (x) = L x,0 x L=2
, la funcin que
2"
L (x L), L=2 x L
describe la forma inicial de una cuerda, la cual se pulsa en su punto medio,
62 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

y hacia abajo, una pequea cantidad " > 0 antes de soltarla.

Segn vimos, la solucin de la ecuacin de onda tiene la forma


P
1 n x cn t
u(x; t) = bn sin( ) cos( ),
n=1 L L
p
con c = T = ; y donde se debe cumplir la condicin inicial
P
1 n x
u(x; 0) = f (x) = bn sin( ):
n=1 L

Los coecientes de Fourier bn como veremos en la prxima seccin, se cal-


culan mediante la frmula:
2 RL n x
bn = f (x) sin( )dx
L0 L
!
L=2
R RL 2"
2 2" n x n x
= ( x) sin( )dx + (x L) sin( )dx
L 0 L L L=2 L L

Utilizando de Nuevo GeoGebra (en su defecto, la integracin se hace fcil-


mente por partes) vemos que:

2" L=2
R n x "L(n cos( n2 ) 2 sin( n2 ))
I1 = ( ) (x) sin( )dx =
L 0 L n2 2
2" RL n x "L(2 sin( n2 ) + n cos( n2 ) 2 sin(n ))
I2 = (x L) sin( )dx =
L L=2 L n2 2

Sumando ambos integrales, y notando que sin(n ) = 0; obtenemos:

4"L n 0; si n = 2k
I1 + I2 = sin( )= 4"L
n2 2 2 2 n2 ( 1)k+1 , si n = 2k + 1
4.4. ESCALAS MUSICALES 63

y por consiguiente:

2 0; si n = 2k
bn = (I1 + I2 ) = 8"
L 2 n2 ( 1)k+1 , si n = 2k + 1

Luego
8" P1 ( 1)k+1 (2k + 1) x
f (x) = 2 2
sin :
k=0 (2k + 1) L
De aqu entonces se sigue que

8" P1 ( 1)k+1 (2k + 1) x c (2k + 1)t


u(x; t) = 2 2
sin cos .
k=0 (2k + 1) L L

En el Ejemplo 4.3.1, se tena una cuerda de guitarra con c = 146;19 m/s:


Si su posicin inicial est dada por una deeccin hacia abajo en su punto
medio, con " = 0;005 m; la vibracin de la cuerda estar dada por la ecuacin
anterior.

4.4. Escalas musicales


4.4.1. Escala pitagrica
Recordemos que la frecuencia del tono fundamental (llamdo frecuen-
cia de la cuerda)
p de una cuerda vibrando viene dado por fL = c=(2L),
donde c = T = es una constante que depende de la tensin y de la den-
sidad 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
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
64 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

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, excep-
to por lo agudo o grave del sonido. Pitgoras tambin descubri de manera
emprica que cuando haca sonar simultaneamente dos cuerdas cuyas lon-
gitudes 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 Pit-
goras consisti en tomar potencias (positivas y negativas) de la fraccin 3=2
para construir as una escala musical cuyas frecuencias estuvieran compren-
didas entre una cierta frecuencia fundamental f0 y su octava ms prxima
2f0 . Ilustremos la idea de Pitgoras tomando como referencia la frecuen-
cia 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 ade-
lante) 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
4.4. ESCALAS MUSICALES 65

(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=2); 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
obtenemos la siguiente secuencia de frecuencias:

3 32 33 34 35 36 37 38 39 310 311
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
66 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

En orden ascendente, estas frecuencias son:


2187 9 19683 81 177147 729 3 6561 27
f0 ; f0 ; f0 ; f0 ; f0 ; f0 , f0 ; f0 ; f0 ; f0 ;
2048 8 16384 64 131072 512 2 4096 16
59049 243
f0 ; f0
32768 128
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, (4.4)
353;593 Hz; 372;510 Hz; 392;439 Hz; 419;074 Hz; 441;4938 Hz; (4.5)
471;4585 Hz; 496;6806 Hz, : : :
frecuenicas muy cercanas, pero de ninguna manera idnticas, a las frecuen-
cias correspondientes a la escala del piano moderno, llamada escala temper-
ada.

Pitagorica

La escala cuyas frecuencia aparece en 4.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 correspon-
dera 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
correspondiente nota dentro de la tnica y su octava superior. Esta opera-
cin 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 4.4.1 * En trminos matemticos, la construccin de la es-
cala pitagrica corresponde a tomar las clases de equivalencia de las frac-
ciones (3=2)n , n 2 Z en el grupo G = R+ = < 2k : k 2 Z >, donde (R+ ; )
4.5. ESCALA TEMPERADA 67

denota el grupo multiplicativo de los reales positivos y < 2k : k 2 Z >


el subgrupo cclico generado por el elemento 2: Esto, ya que las posibles
frecuencias as obtenidas, salvo octavas, estn en correspondencia con los
elementos de G:

4.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 consecuti-
vas 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 transporta una 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 lle-
vada a su mxima expresin por el genio incomparable 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 co-
ciente 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
nueva escala tendran frecuencias: f0 , 2 f0 ; : : : ; 12 f0 = 2f0 :

temperada

Se obtiene as la llamada escala musical temperada, utilizada en toda la


musica occidental desde el siglo XVII.
68 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

La guitarra, el piano, el oboe, la auta, y en general todos los instrumen-


tos 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).

Guitarra

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
las posiciones de los siguientes trastes, como se muestra en la tabla siguiente:
4.5. ESCALA TEMPERADA 69

Es un ejerccio elemental determinar cul deber ser la tensin de cada cuer-


da, 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 temper-
ada. Recordemos que una triada mayor cosiste de tres notas en proporciones
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
70 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

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.

Ejercicio 4.5.1 1. La segunda cuerda de la guitarra espaola est hecha


de nilon, de densidad = 0;57 10 3 . La distancia entre la ceja y el
puente de la guitarra (igual a la longitud L de la cuerda) es igual a
65 cm. Calcule la tensin de la cuerda para que al vibrar produzca la
nota si que se encuentra inmediatamente a la izquierda del do central
del piano (frecuencia = 246;94 Hz).
Solucin: la frecuencia
p del modo fundamental est dada por 2f = c=2L:
Luego c = 2Lf = T = . Elevando al cuadrado se obtiene c = T = =
4L2 f 2 , y por tanto

T = 4L2 6 f 2
= 4 (0;65)2 (246;94)2 0;57 10 3
= 58;74 Newtons.

2. Cmo convertira su celular en una balanza para pesar objetos?


Solucin: la cuerda del problema anterior se ata de un extremo a un
punto jo, mientras que el otro extremo se amarra al objeto que se
desea pesar. Se pulsa la cuerda y se mide con el celular (utilizando,
por ejemplo, el programa pitchlab) la frecuencia del sonido. En este
caso T = 4 L2 f 2 . La masa en kilogramos del objeto ser entonces
m = T =g (donde g es la aceleracin de la gravedad):

4 L2 2 4 2
m= f ' 10 f :
g

3. Una cuerda de longitud L = 0;5 m y constante c = 440 m/s vibra de


tal suerte que la frecuencia de su modo fundamental es f = 440 Hz. A
cules notas del piano, aproximadamente, corresponden las frecuencias
de su tercero y quinto modo fundamentales?
Solucin: estas frecuencias son 3c=2L y 5c=2L, respectivamente, iguales
a 440 3 = 1320 Hz y 440 5 = 2200 Hz, que corresponden, aproxi-
madamente, a las notas mi (1318.51 Hz ) y do# (do sostenido, 2217;4
Hz)
4.5. ESCALA TEMPERADA 71

4. En el problema anterior, cmo se explica que estas dos frecuencias no


coincidan con el valor exacto del mi y el do# del piano? Estn acaso
los pianos desanados?
Solucin: en la escala cromtica o temperada la relacin entre las fre-
cuencias de una nota y su quinta, en este caso, entre el la y mi que se
encuentra en las misma octava, es igual a fmi = 7 fla , con = 21=12 ,
que corresponde a 440 27=12 = 659;255 Hz. De aqu que el mi que
se encuentra una octava ms arriba tenga el doble de la frecuencia:
1318;51 Hz. De manera similar, la relacin entre una nota y su ter-
cera, en este caso entre la y do# es fdo# = 4 fla = 554;36. As, el
do# que se encuentra dos octavas ms arriba tendr una frecuencia
igual a 554;36 4 = 2217;4 Hz:

5. Calcule las frecuencias fn de las notas de la escala pitagrica que cor-


responden a las potencias (3=2)n , n = 0; ::; 4, comenzando en una de-
terminada nota de frecuencia f0 ; y de tal ,manera que no se extiendan
ms all de una octava: es decir, de tal manera que f0 fn 2f0 .
Solucin: La nota fn tendr frecuencia igual a p(n)f0 , donde p(n)
es la fraccin que se obtiene a partir de (3=2)n dividiendo por una
potencia adecuada 2k de tal manera que 1=2k (3=2)n sea un nmero
comprendido entre 1 y 2. Para n = 1, (3=2)1 cumple esta condicin,
as que f1 = 1;5f0 . Para n = 2, (3=2)2 f = 9=4 deber dividirse por
21 , de tal manera que f2 = 9=8f0 . De manera anloga, para n = 3,
(3=2)3 = 27=8 y por tanto f3 = 1=2 (3=2)3 = (27=16)f0 ; Para n =
4; (3=2)4 = 81=16 deber dividirse por 22 : f4 = 81=64f0

6. Si en el problema anterior f0 = 440 es la frecuencia que corresponde al


la central del piano, cules seran, de manera aproximada, las notas
del piano que corresponden a fn ?
Solucin: f0 = 440 Hz; f1 = 660 Hz; f2 = 9=8 440 = 495 Hz;
f3 = 27=16 440 = 742;5 Hz; f4 = 81=64 440 = 556;87 Hz. De
manera aproximada, estas notas estn muy cerca de la, mi, si, fa#,
do#.

7. La primera cuerda de una guitarra, cuando se encuentra anada y se


toca al aire (es decir, sin presionarse) produce la nota fundamental
mi, cuya frecuencia es f1 = 329;63 Hz. La segunda cuerda produce la
nota si, cuya frecuencia es f2 = 246;94 Hz, y la tercera, la nota sol,
cuya frecuencia es f3 = 196 Hz. En cules trastes pueden presionarse
estas tres cuerdas para producir un acorde de re mayor, donde la nota
72 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

tnica, re, tenga frecuencia igual a la frecuencia que corresponde al re


central del piano, 293;6 Hz.
Sugerencia: utilice la informacin de la siguientes grcas:

Figura 1

Figura 2
4.5. ESCALA TEMPERADA 73

Solucin: un acorde mayor est formado por tres notas cuyas frecuen-
cias F1 ; F2 ; F3 estn en relacin F2 =F1 = 5=4 y F3 =F2 = 6=5: Para
producir el acorde de re mayor, si queremos F1 = 293;6 Hz, entonces
F2 = 5=4F1 = 367 Hz y F3 = 6=5F2 ' 440 Hz, que corresponden
aproximadamente al fa# y al la central del piano (Figura 1). Como
puede verse en la Figura 2, estas notas se pueden lograr presionando
la tercera y la segunda cuerda en el sptimo traste, y la primera, en el
quinto: la-fa#-re

8. Resuelva el mismo problema anterior, esta vez para producir el acorde


de re menor.
Solucin: el acorde menor se obtiene disminuyendo medio tono la ter-
cera nota, en este caso el fa#: la-fa-re

4.5.1. Interludio: lectura de un artculo de Klaus Ziegler


De Pitgoras a Hasler: en busca de la escala perfecta
El escritor romano Ancio Boecio atribuye a Pitgoras la divisin de la
escala musical en doce intervalos, invento que hoy sabemos data de pocas
anteriores a las leyes matemticas descubiertas por el gran lsofo de Samos
en su mtico monocordio. Segn narra la leyenda, Pitgoras se habra inspi-
rado en el repicar armnico de los martillos de cierta herrera. La razn para
la armoniosa combinacin de sonidos, cuenta Boecio, se hizo evidente una
vez este compar sus pesos y los hall en proporciones justas de 12 : 8 : 9 : 6:
74 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

Sea cual fuere la verdad, los antiguos griegos no desconocan el principio


de la octava musical: el carcter del sonido de dos cuerdas al vibrar, cuando
sus longitudes se encuentran en relacin 2 : 1, es esencialmente el mismo,
excepto por ser el tono ms agudo en el caso de la cuerda ms corta. As,
por ejemplo, dos voces separadas una octava se oyen al unsono (igual tono)
cuando cantan una misma meloda. Y no es casual que las notas del piano
reciban el mismo nombre si el cociente de sus frecuencias es igual a una
potencia de dos. Curiosamente, a diferencia del odo, el rango de frecuencias
lumnicas visibles para el ojo humano se limita a una octava, entre el rojo
(4 1014 Hz) y el violeta (8 1014 Hz), un hecho en verdad intrigante.
Tambin conocan los antiguos griegos el llamado intervalo justo de quin-
ta: dos cuerdas cuyas longitudes estn en proporciones 2:3 generan un sonido
armonioso al vibrar simultneamente. El mismo fenmeno se observa si las
longitudes de ambas cuerdas estn en proporciones determinadas por enteros
pequeos. Esta observacin constituye el punto de partida en la construc-
cin de la escala musical pitagrica: la idea consiste en generar a partir de
una determinada nota una sucesin de quintas (notas cuyas frecuencias son
potencias enteras de 3/2) que deber ser luego reorganizada en orden ascen-
dente entre dicha nota y su octava. Si tomamos como referente el do central
del piano, cuya frecuencia es f = 261;626 Hz, la recursin pitagrica ira
generando notas cuyas frecuencias seran: f; 5=4f; 9=8f; 4=3f; 3=2f : : :, que
corresponden (solo de manera aproximada) a las notas do, re, mi, fa, sol . . .
de un instrumento moderno de teclado.
La construccin, no obstante su simpleza, adolece de problemas insuper-
ables. En primer lugar, el ciclo de quintas jams se cierra: la potencia deci-
mosegunda de 3=2 ya produce una nota ligeramente por encima de la tnica,
separada una pequea distancia conocida como coma pitagrica, poco menor
que la cuarta parte del intervalo comprendido entre dos teclas consecutivas
del piano. La secuencia no conforma entonces un sistema circular, sino una
espiral innita: do, sol, re, la, mi, si, fa#, do#,. . . ,si#. . . Notas como si#
(si sostenido) o la(bb) (doble bemol) sonaran extraas, irreconocibles para
un odo contemporneo.
Y an si nos limitsemos a doce notas fundamentales subsistiran dos
inconvenientes. De un lado, los semitonos (distancia entre una nota y la
siguiente) de la escala pitagrica no se encuentran igualmente espaciados,
y este desperfecto hace imposible llevar una misma meloda a tonalidades
diferentes (transportarla) sin alterarla. De otro lado, la construccin de Pit-
goras ofrece solo una aproximacin al ideal griego de preservar solo aquellos
intervalos representables como cocientes entre enteros pequeos. El llamado
intervalo de tercera mayor (entre do y mi), para dar un ejemplo, corresponde
4.5. ESCALA TEMPERADA 75

en la escala pitagrica a una relacin de frecuencias igual a 81=64, cercano,


aunque no igual, al intervalo justo de tercera mayor, conformado por dos
notas cuyas frecuencias se encuentran en relacin simple 5 : 4:
Durante siglos, los msicos se valieron de innidad de recursos para cons-
truir instrumentos capaces de reproducir el mayor nmero de intervalos per-
fectos, al costo, muchas veces, de hacerlos increblemente complejos. En su
obra Harmonie universelle, Marin Mersenne (tambin famoso por sus estu-
dios sobre los nmeros primos de la forma 2p 1) concibi un instrumento
de teclas con no menos de cuatro llaves entre fa y sol! Y en Holanda an
perduran rganos con ms de treinta llaves por octava, uno de ellos favorito
de Handel.
Sin embargo, con el paso del tiempo, la construccin de una escala cer-
rada simple, una que permitiera simplicar los instrumentos de teclado y
transportar a gusto las melodas se convirti en una necesidad apremiante.
Las primeras iniciativas parecen provenir de Gioseo Zarlino, msico y com-
positor italiano, y de un matemtico de los Pases Bajos, Simon Stevin.
La idea original, no obstante, se debe a Vincenso Galilei, padre del famoso
fsico. En su obra Dialogo della msica antica et della moderna se describe
la construccin de una escala casi cerrada donde la octava se divide en in-
tervalos iguales a 18=17. Para cerrarla, Stevin se atrevi a dar el paso
irracionaldenitivo y propuso dividirla en intervalos iguales a la raz doce
de dos. Semejante magnitud, adems de ser un nmero irracional, no puede
construirse con regla y comps, pero proporciona la solucin matemtica
exacta al problema.
La escala equitemperada de Stevin posee todos sus semitonos distribui-
dos de manera uniforme. As todas las tonalidades quedan en pie de igualdad,
y se resuelve, de una vez por todas, uno de los mayores inconvenientes de la
escala pitagrica. Y en cuanto a los intervalos justos, la construccin ofrece
una aproximacin que, aunque bondadosa, implica un compromiso que no
todo msico est dispuesto a aceptar.
El gran Bach no parece haberse resignado a componer dentro de parmet-
ros tan jos. Los 48 preludios y fugas para el Clave Bien Temperado fueron
realmente escritos para ser ejecutados en escalas ms ricas, conocidas como
escalas temperadas irregulares, como comenta el matemtico y musiclogo
David Benson [1]. La resistencia de Bach a componer dentro de los lmites de
un solo esquema musical se hace evidente en su Tocata en Fa# menor (BWV
910). All, una misma frase se repite cerca de veinte veces en distintas escalas
temperadas irregulares, como si el compositor quisiera mostrarnos la prdida
irreparable de matices cuando la composicin se cie a moldes uniformes.
A pesar de las muchas ventajas de la escala temperada, los constructores
76 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO

de instrumentos no cedieron en su intencin de aproximarse al ideal griego y


siguieron fabricando artefactos descomunales para acomodar tantas notas en
una misma octava como fuera posible. Entre los ms extravagantes se cuen-
tan el Harmonium enarmnico de Robert Bosanquet, construido en 1853,
capaz de albergar 87 teclas en 7 niveles y 53 notas por octava. No obstante
su complejidad, el invento de Bosanquet fue ampliamente superado por el
monstruoso orthotonophonium, inspirado en teoras del astrnomo y fsico
Arthur von Oettingen, en el cual se acomodan 72 notas en cada octava.
No todos los compositores modernos han renunciado a la antigua quimera
griega de los intervalos perfectos. Instrumentos de viento, como la gaita
o el corno, son bastante exibles a la hora de interpretar escalas justas,
debido a su capacidad natural para producir armnicos. En su Serenata para
tenor, corno y cuerdas, por ejemplo, Bejamin Britten aprovecha de manera
extraordinaria el potencial armnico del corno francs en un preludio escrito
para ser interpretado sin utilizar ninguna de las vlvulas del instrumento.
As mismo, el compositor norteamericano Walter Carlos (hoy Wendy
Carlos) ha explotado esquemas musicales justos de naturaleza extica
donde la octava deja de ser la particin fundamental. Msicos como John
Chalmers o Michael Harrison han construido escalas experimentales hasta
de 24 tonos (en el piano armnico de Harrison, el do sostenido y el re bemol
van asignados a teclas diferentes). Este ltimo compositor fue el primero en
crear un piano anado en entonacin justa, con exibilidad para modular
distintos sistemas de teclados con solo pisar un pedal.
Como ejemplo notable de la incesante bsqueda de nuevos horizontes mu-
sicales se destaca la obra del compositor colombiano Johann Hasler, ganador
en 1995 del premio de composicin del Ministerio Colombiano de Cultura.
Ms all de la msica algortmica o de aquella msica compuesta con ayuda
de computadores, sus propuestas incluyen la conversin de series numricas
en distintas alturas en la partitura, las cuales pueden ejecutarse en un
sistema musical de base diatnica, cromtica o microcromtica [2].
Desde que Helmholtz inici sus estudios sobre la percepcin musical, in-
terrogantes fundamentales, como la misteriosa identidad de las octavas o la
naturaleza de la consonancia y la disonancia musical, comienzan apenas a
dilucidase. Es un misterio, sin embargo, que casi todos los humanos encon-
tremos nostlgico el sonido simultneo de tres notas cuyas frecuencias estn
en relacin de 6=5y 5=4 (tono menor) y jubilosa una terna cuyas propor-
ciones se encuentran en el orden contrario. No menos misterioso resulta el
hecho de que una sucesin rtmica de frecuencias y armnicos pueda desper-
tar en todos los humanos las emociones ms sublimes y los ms profundos
sentimientos de tristeza y alegra.
4.5. ESCALA TEMPERADA 77

Tomado de el peridico El Espectador: http://www.elespectador.com/opinion/de-


pitagoras-hasler-busca-de-escala-perfecta
78 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO
Captulo 5

Series de Fourier

Este captulo pretende resumir los teoremas y frmulas bsicas de la


teora de series de Fourier (vase por ejemplo [7]) con el nimo de que pueda
ser utilizadas para solucionar la ecuacin de onda desarrollada ms arri-
ba, as como otras ecuaciones diferenciales que estudiaremos ms adelante.
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.

5.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 5.1.1 Una funcin f : R ! R se llama peridica con perodo p


si f (x + p) = f (x).

Claramente, si f tiene perodo p, entonces f (x + mp) = f (x), para


cualquier entero m. Por ejemplo, las funciones trigonomtricas cos(x) y
sin(x) tienen perodo 2 , pues cos(x + 2 ) = cos(x), y sin(x + 2 ) = sin(x).
De otro lado, la funcin f (x) = sin(2x=3) tiene perodo 3 , pues

f (x + 3 ) = sin(2=3(x + 3 )) =
= sin(2=3x + 2 ) = sin(2=3x) = f (x):

Si el perodo de una funcin es p, entonces, si hacemos L = p=2; los valores


de la funcin en el intervalo [ L; L] determinan los valores de f en todo el

79
80 CAPTULO 5. SERIES DE FOURIER

eje real. Por ejemplo, f (x) = sin(x=2) tiene perodo P = 4 . Si conocemos


la grca de f (x) entre [ 2 ; 2 ], el resto de la misma puede obtenerse
trasladando la grca sobre este intervalo a la derecha y a la izquierda un
nmero innito de veces:

Nos restringiremos a funciones peridicas, de perdo 2L que sean 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 no se exige que f est
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):

Denicin 5.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 los lmites f (a+ ) y f (a ) existen.

3. En los extremos del intervalo [ L, L] los lmites f (( L)+ ) y f (L )


existen.
La funcin f se denomina suave a tramos si f y su derivada f 0 son
continuas a tramos.
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 81

Ejemplo 5.1.3 Las funciones que se muestran en las siguientes grcas son
suaves a tramos.

g 1

g 2

Ejemplo 5.1.4 La funcin mostrada en la grca siguiente no es suave a


tramos, pues f (L ) no existe
82 CAPTULO 5. SERIES DE FOURIER

p
Ejemplo 5.1.5 La funcin f (x) = x, denida en [0; 1]; puede extenderse
de manera peridica a toda la recta real con perodo igual a 2 si denimos
p
x, 0 x 1
f (x) = p
x; 1 x 0

g 4

Esta funcin no es suave a tramos pues ninguno de los dos lmites f 0 (0+ ) y
f 0 (0 ) existen.

El teorema fundamental para funciones suaves a tramos es el siguiente


(ver [9], pag 77).

Teorema 5.1.6 Supongamos que f : R ! R es una funcin peridica con


perodo 2L y suave a tramos. Entonces existe una serie de Fourier
P
1 n x n x
s(x) = a0 + an cos( ) + bn sin( )
n=1 L L
la cual satisface:

1. En cada punto x se cumple que:


P
1 n x n x
(f (x+ ) + f (x ))=2 = a0 + an cos( ) + bn sin( ):
n=1 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:
P
1 n x n x
f (x) = a0 + an cos( ) + bn sin( )
n=1 L L
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 83

3. Si adems, f es continua y f 0 es suave a tramos, entonces


en cada punto x donde f 0 sea continua se tiene que
P1 n x n x
f 0 (x) = ( nan ) sin( ) + nbn cos( ):
L n=1 L L
Es decir, en estos puntos la serie se puede derivar trmino a
trmino.
4. Los coecientes de la serie anterior pueden hallarse mediate las
llamadas frmulas de Euler
ZL
1
a0 = f (x)dx (Euler)
2L
L
ZL
1 n x
an = f (x) cos( )dx, n 1
L L
L
ZL
1 n x
bn = f (x) sin( )dx, n 1
L L
L

Ejemplo 5.1.7 Sea f (x) la funcin denida como la extensin peridica,


con perodo 2L; de la funcin denida como f (x) = a, si 0 < x L, y
f (x) = a, si L < x 0:

Esta funcin es claramente suave a tramos. Hallemos su expansin en serie


de Fourier. Las frmulas de Euler nos dicen que
0 0 1
ZL Z ZL
a0 = 1=2L f (x)dx = 1=2L @ f (x)dx + f (x)dxA
L L 0
= 1=2L( aL + aL) = 0:
84 CAPTULO 5. SERIES DE FOURIER

RL
De manera similar, si n 1 sabemos que an = 1=L f (x) cos(n x=L)dx,
L
y esta integral pude calcularse como suma de integrales
Z0 ZL
I1 = 1=L f (x) cos(nx=L)dx e I2 = 1=L f (x) cos(n x=L)dx;
L 0

con valores de signo contrario. Luego, an = 0.


RL
Finalmente, bn = 1=L f (x) sin(n x=L)dx puede calcularse como la
L
suma de las integrales J1 y J2 :
Z0 Z0
J1 = 1=L f (x) sin(n x=L)dx = a=L sin(n x=L)dx
L L
ZL
= a=L sin(n x=L)dx;
0
y
ZL ZL
J2 = 1=L f (x) sin(n x=L)dx = a=L sin(n x=L)dx:
0 0
Por tanto J1 = J2 de donde
2a L 2a
bn = ( cos(n x=L)jL
0) = (cos(n ) 1)
L n n
2a 4a
= (1 ( 1)n ) = n , si n es impar
n 0, si n es par.

De aqu que la serie para f (x) sea


1
X
4a 1 n x
s(x) = sin( ) (5.1)
n L
n=1;3;5;:::

En x = 0 vemos que f (0+ ) = a y f (0 ) = a. Luego (f (0+ )a + f (0 ))=2 =


s(0) = 0, como arma el Teorema 5.1.6.
En x = L=2, f es continua y f (L=2) = s(L=2) = a
1
X
4a 1 n 4a 1 1 1 1
a = s(L=2) = sin( ) = ( + + ): (5.2)
n 2 1 3 5 7
n=1;3;5;:::
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 85

De aqu obtenemos la maravillosa frmula (debida a Leibniz)

1 1 1 1
= + +
4 1 3 5 7
Si hacemos a = 1, L = ; la suma de los primeros cinco trminos de la
series 5.1 nos dan el siguiente grco:

y los primeros treinta, el grco siguiente:

5.1.1. Funciones pares e impares


Como en el ejemplo anterior, en muchas situaciones el computo de los
coecientes de la serie de Fourier puede simplicarse si sabemos que f es una
funcin par o una funcin impar. Recordemos que f : R ! R se llama par
86 CAPTULO 5. SERIES DE FOURIER

si f ( x) = f (x), e impar, si f ( x) = f (x). Ejemplos fundamentales son


las funciones cos(n x=L), la cual es par, y sin(n x=L), 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.
Supongamos que f es una funcin peridica con perodo 2L, suave a
tramos, y par. Entonces, f (x) sin(n x=L) ser una funcin impar y por
RL
consiguiente cada bn = f (x) sin(n x=L)dx es igual a 0, pues el rea com-
L
prendida entre L y 0 es igual al rea comprendida entre 0 y L pero con
signo opuesto.
De otro lado, como f (x) cos(n x=L) es en este caso par, vemos que:
RL RL
f (x) cos(n x=L)dx = 2 f (x) cos(n x=L)dx, para todo n 0: Por con-
L 0
siguiente:

Observacin 5.1.8 Si f una funcin peridica con perodo 2L, suave a


tramos y par, los coecientes de su serie de Fourier estn dados por:

(5.3)

De otro lado, si f es una funcin peridica con perodo 2L, suave a


tramos, e impar, entonces f (x) cos(n x=L) ser una funcin impar y por
RL
consiguiente cada an = f (x) cos(n x=L)dx es igual a 0. En este caso,
L
como f (x) sin(n x=L) es par, vemos que:

Observacin 5.1.9 Si f una funcin peridica con perodo 2L, suave a


tramos e impar, entonces los coecientes de su serie de Fourier estn dados
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 87

por:

(5.4)

Los siguientes ejemplos nos servirn para ilustrar las frmulas anteriores.

Ejemplo 5.1.10 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: Cal-
culemos 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
1 R1
x3 =6 1
= 1=6 + 1=6 = 1=3: Adems, an = 2=1 x2 cos(n x)dx: La integral
0
88 CAPTULO 5. SERIES DE FOURIER

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 4 P1 ( 1)n
+ 2 2
cos(n x):
3 n=1 n
Como f (x) satisface las condiciones del Teorema 5.1.6, y es continua, vemos
que
1 4 P1 ( 1)n
x2 = + 2 2
cos(n x):
3 n=1 n
Si evaluamos ambos lados en x = 0, respectivamente en x = 1, obtenemos
tres extraordinarias frmulas debidas a Euler:
2 1 ( 1)n
P 1 1 1 1
= 2
= 2
+ 2 2
+
12 n=1 n 1 2 3 4
2 1 ( 1)n
P 1 1 1 1
= 2
( 1)n = + 2 + 2 + 2 +
6 n=1 n 1 2 3 4
2 1 1 1
=+ 2+ 2+
8 1 3 5
La ltima frmula se obtiene sumando las anteriores.
2"
Ejemplo 5.1.11 Sea f (x) = L x,
0 x L=2
, la funcin que
2"
L (x L), L=2 x L
describe las condiciones iniciales de una cuerda que se desplaza hacia abajo
una pequea cantidad " > 0 antes de soltarla y ponerla a vibrar.
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 89

Segn lo visto en la Seccin 4.2, la solucin de la ecuacin de onda tiene la


forma
P1 n x cn t
u(x; t) = bn sin( ) cos( ),
n=1 L L
p
donde c = T = ; y donde se debe cumplir la condicin inicial:
P
1 n x
u(x; 0) = f (x) = bn sin( ):
n=1 L

Resolvamos entonces el problema de encontrar un desarrollo en serie de


Fourier para f (x) para el cual se cumpla 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 extenderla a toda la recta real de manera peridica, como
se muestra a continuacin:

Los coecientes de Fourier bn se pueden calcular como


!
L=2
2 RL n x 2 R 2" n x RL 2" n x
bn = f (x) sin( )dx = ( x) sin( )dx + (x L) sin( )dx
L0 L L 0 L L L=2 L L

Utilizando de Nuevo GeoGebra (en su defecto la integracin se hace fcil-


mente por partes) vemos que:

2" L=2
R n x "L(n cos( n2 ) 2 sin( n2 ))
( ) (x) sin( )dx =
L 0 L n2 2
2" RL n x "L(2 sin( n2 ) + n cos( n2 ) 2 sin(n ))
(x L) sin( )dx = :
L L=2 L n2 2

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

8" n 0; si n = 2k
bn = sin( )= 8" :
2 n2 2 2 n2 ( 1)k sin( n2 ), si n = 2k + 1
90 CAPTULO 5. SERIES DE FOURIER

Luego
8" P1 ( 1)k+1 (2k + 1) x
f (x) = 2 2
sin :
k=0 (2k + 1) L
Observacin 5.1.12 El mtodo del ejemplo anterior puede seguirse para
aproximar cualquier funcin f denida en un intervalo [0; L]; bien sea con
P
1 P
1
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 real.

2. En el segundo caso, extendemos f de manera impar a [ L; L] si de-


nimos f ( L) = f (L) y f ( x) = f (x), para L < x 0, y a
continuacin extendemos esta funcin a una funcin peridica en toda
la recta real:
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 91

En cada caso los respectivos coecientes se computan mediante las


frmulas 5.3 o 5.4.
Ejemplo 5.1.13 Hallemos la serie de Fourier de la funcin f (x) = x, deni-
da en [0; L]. Esta funcin puede extederse a [-L,L] de manera par o impar.
Por ejemplo, su extensin par, con perido 2L; corresponde a la funcin
f (x) = jxj, L x L; la cual se extiende luego de manera peridica a
toda la recta real

Las frmulas de Euler nos dicen que


Z L Z L
1 1 L
a0 = jxj dx = (2 xdx) = .
2L L 2L 0 2
Para computar an podemos usar el hecho de que la funcin jxj cos(n x=L)
es el producto de dos funciones pares y por consiguiente es par. Luego
ZL ZL
1 2
an = jxj cos(n x=L)dx = jxj cos(n x=L)dx
L L
L 0
ZL
2 2L
= x cos(n x=L)dx = (1 cos(n ))
L n2 2
0
2L
= (1 ( 1)n )
n2 2

0, n es par
= 4L ;
n2 2 ; si n es impar

donde hemos utilizado el hecho de que cos(n ) = ( 1)n . Haciendo n = 2k,


con k = 0; 1; 2; : : :, vemos que
(
0, n = 2k
an = 4L :
(2k+1)2 2
; si n = 2k + 1
92 CAPTULO 5. SERIES DE FOURIER

De otro lado, jxj sin(n x=L) es una funcin impar y por consiguiente

ZL
1
bn = jxj sin(n x=L)dx = 0:
L
L

De lo anterior se sigue que


1
L ( 4L) X 1 (2k + 1) x
f (x) = + 2
cos =
2 (2k + 1)2 L
k=0
L ( 4L) 1 x 1 3 x 1 5 x
= + 2 2
cos( ) + 2 cos( ) + 2 cos( )+
2 1 L 3 L 5 L

Ejemplo 5.1.14 Consideremos la funcin f (x) = sin(x), 0 x :

Extendamos de manera par esta funcin al intervalo [ ; ], lo cual corres-


ponde a la funcin g(x) = jsin(x)j.
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 93

Notemos que esta ltima funcin es peridica con perodo 2 : Hallemos su se-
R
rie de Fourier, usando las frmulas de Euler y el hecho de que cos( n x ) sin(x)dx =
0
R
(1 + cos(n ))=(1 n2 ) y que sin( n x
) jsin(x)j dx = 0 :

Z Z
1 1 2
a0 = jsin(x)j dx = (2 sin(x)dx) = :
2 2
0
Z Z
1 n x 2
an = jsin(x)j cos( )dx = cos(nx) sin(x)dx
0
2 1 + cos(n ) 21+( 1)n
= =
(1 n2 ) (1 n2 )
(
4
(1 n2 )
si n es par
=
0; si n es impar
Z
1
bn = jsin(x)j sin(nx)dx = 0:

De aqu que
1
2 4X 2
g(x) = cos(2kx):
(2k)2 1
k=0

Ejemplo 5.1.15 Hallemos la serie de Fourier de la extensin impar per-


idica, con perido 2 ; de la funcin f (x) = x, 0 x : Esta funcin es
x; si <x
la extensin peridica de f (x) = :
si x =
94 CAPTULO 5. SERIES DE FOURIER

En este caso la funcin es impar, y por consiguiente an = 0, para todo n 0


y
Z Z
1 1
bn = x sin(nx)dx = (2 x sin(nx)dx)
0
2 2
= cos(n ) = ( 1)n+1 :
n n

De aqu que
1
X ( 1)n+1
s(x) = 2 sin(nx)
n
n=1
La graca correspondiente a la suma de los primeros cinco trminos de s(x)
se muestra a continuacin:

Ejemplo 5.1.16 La derivada de la funcin anterior es suave a tramos, pues


es la funcin constante f 0 (x) = 1, excepto cuando x = (2k + 1) , donde no
est denida. No obstante, la serie no puede derivarse trmino a trmino,
pues f no es continua.En efecto, al sumar los trminos
d ( 1)n+1
sin(nx) = ( 1)n+1 cos(nx)
dx n
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 95

P
1
se obtiene la serie ( 1)n+1 cos(nx) la cual no es convergente, pues el
n=1
lmite del trmino n-simo no tiende a cero cuando n ! 1:

Ejemplo 5.1.17 En el Ejemplo 5.1.13, f es continua y tanto f como f 0


son suaves a tramos. En este caso f 0 (x) es continua, excepto cuando x es un
1 (2k+1) x
mltiplo entero de L (x = kL). Al derivar cada trmino (2k+1) 2 cos L
se obtiene

d 1 (2k + 1) x (2k + 1) x
cos = sin :
dt (2k + 1)2 L (2k + 1)L L

De aqu que

1
0 ( 4) X 1 (2k + 1) x
f (x) = sin ;
(2k + 1) L
k=0

que coincide con el valor de la serie 5.2 para valores x 6= kL:

Observacin 5.1.18 Una funcin denida en [0; L] puede extenderse de


manera peridica de diferentes maneras, y estas distintas extensiones darn
lugar a distintas series de Fourier que, no obstante, debern coincidir para
los valores en [0; L].
A manera de ejemplo, la funcin f (x) = x, denida inicialmente en el
intervalo [0; ] puede extenderse de manera par a todo el intervalo [ ; ],
como en el Ejemplo 5.1.13; o de manera impar, como en el Ejemplo 5.1.15.
En cada caso aparecern dos aproximaciones diferentes:

1
( 4) X 1
s1 (x) = + cos((2k + 1)x); Ejemplo 5.1.13.
2 (2k + 1)2
k=0
1
X ( 1)k+1
s2 (x) = 2 sin(kx); Ejemplo 5.1.15.
k
k=1
96 CAPTULO 5. SERIES DE FOURIER

Dos aproximaciones de f (x) = x en [0; ]


Captulo 6

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 [7], [8], [9].

6.1. Calor y temperatura


El calor se dene como 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, he-
cho de un material determinado cuya densidad (que supondremos constante)
denotaremos por , y cuyo volumen se denotar por Vol(P ).
Denicin 6.1.1 La temperatura en P , en un instante de tiempo t deter-
minado, es una funcin u(x; y; z) denida en cada punto p con coordenadas
(x; y; z), la cual satisface la siguiente propiedad: la cantidad
R de energa calri-
ca contenida en P , en el instante t, es igual a E = c u(x; y; z)dxdydz (inte-
P
gral de volumen), donde denota la densidad de P y c es una constante que
depende del material del cual est constitudo. A la constante c se le llama el
calor especco del material; cuyas unidades son energa=(masa temperatura).
Si la temperatura en el instante t es uniforme en todo los puntos de
P (u(x; y; z) = T ) entonces la cantidad de energa calrica contenida en P

97
98 CAPTULO 6. ECUACIN DEL CALOR

sera igual a E = c T Vol(P ). Si la temperatura fuese una unidad ms alta,


la energa contenida en P sera ahora E 0 = c (T + 1)Vol(P ) que es igual a
E +c Vol(P ) e igual por tanto a E +cm; pues Vol(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 E = E 0 E = cm: Esto nos proporciona una
interpretacin de la constante c: es 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 en el SI, kg, m, seg, C ,


respectivamente, y si medimos la energa en joules = kg m2 =s2 (que deno-
taremos 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, aproxi-
madamente (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
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, medi-
da en Kcal, es obviamente igual a 1 Kcal/kg C . La siguiente tabla muestra
algunos valores de c para ciertos materiales:
6.2. LEY DE FOURIER 99

6.2. Ley de Fourier


La transferencia de calor obedece una ley simple descubierta por Jean-
Baptiste Joseph Fourier. Supongamos que en una cierta regin del espacio
(por ejemplo, en el interior de un cuerpo P ) y en determinado instante t = t0
la temperatura viene dada por una funcin u(x; y; z). Fijmonos en una pe-
quea seccin A de supercie. Fourier descubri que el fujo de calor a
travs de A ocurre en la direccin del vector grad(u) = (@u=@x; @u=@y;
@u=@z); y viene dado aproximadamente por hn; grad(u)i A, donde el
smbolo h ; i denota el producto punto o producto interno en R3 y n de-
nota el vector normal unitario exterior. La letra denota una constante
que depende del material, llamada constante de conductividad trmica. Esto
quiere decir que en un intervalo pequeo de tiempo t la cantidad de en-
erga calorca que atraviesa la regin diferencial A sera aproximadamente
hn; grad(u)i A t

Ley de Fourier

La ley de Fourier puede explicarse de la siguiente manera: como grad(u)


es un vector que apunta en la direccin de mayor crecimiento de la funcin
u(x; y; z), y es perpendicular a cada superce isotrmica (supercie a lo largo
de la cual la temperatura es constante), entonces grad(u) es un vector que
en cada punto apuntar en la direccin de menor crecimiento de u: es decir,
el calor uye de una supercie de mayor temperatura a una supercie de
menor temperatura.
Entonces, en un determinado momento t = t0 la cantidad de calor que
uye a lo largo de una porcin pequea de supercie A; en la direccin de
100 CAPTULO 6. ECUACIN DEL CALOR

n; sera hn; grad(u)i A:

Ejemplo 6.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 para la seccin vertical
A con coordenas x, e igual a u(x; t0 ) = 2x2 + 3 unidades de temperatu-
ra. Entonces el fujo de calor que atraviesa la seccin Ax0 tendra la di-
reccin de grad(u) = @u=@x = 4xe1 jx=x0 , donde e1 denota el vec-
tor unitario en direccin positiva. Como n = e1 ; entonces la cantidad de
calor que atraviesa Ax0 en el instante t0 en la direccin de n ser igual a
h 4x0 e1 ; e1 i Ax0 = 4Ax0 (El calor escapa del cilindro en la direccin del
normal exterior).

Ejemplo 6.2.2 Supongamos que un cubo unitario C = [0; 1] [0; 1] [0; 1];
con cosntante = 0;1; se encuentra aislado lateralmente, pero que hay trans-
ferencia de calor entre sus caras superior e inferior y el medio circundante.
Supongamos que la temperatura en toda una regin que contiene a C est
dada por u(x; x; y; t) = t=2(x2 + y 2 xy(z + 1)2 ). Calcule, segn la ley de
Fourier, la transferencia de calor en cada una de las tapas superior e inferior
6.3. ECUACIN DEL CALOR EN UN CLILINDRO DE DENSIDAD UNIFORME101

del cubo, en el instante t = 1.

Sabemos que
@u @u @u
grad(u(x; y; z; 1) = ( ; ; )
@x @y @z
= xe1 ye2 + xy(z + 1)e3 :

Luego, en cada punto (x; y; 1) de la tapa superior (z = 1) vemos que


h grad(u(x; y; 1; 1); e3 i = 2xy. Luego el ujo de calor estar dado por
R1 R1
Transferencia en la tapa superior = 0;1 2xydxdy =
00
= 0;2 1=4x2 y 2 [0;1] [0;1]
= 0;2 1=4 = 0;05 joules/s.

Y en cada punto con coordenadas (x; y; 0) de la tapa inferior, z = 0,


vemos que h grad(u(x; y; 0; 1); e3 i = xy: Luego
R1 R1
Transferencia en la tapa inferior = 0;1 xydxdy = 0;1 1=4 = 0;025 joules/s.
00

De acuerdo con los signos, vemos que el calor entra por la tapa inferior y
sale por la superior.

6.3. Ecuacin del calor en un clilindro de densidad


uniforme
Retomenos el ejemplo anterior: sea P un cilindro de longitud L, den-
sidad constante , fabricado con un material cuyo calor especco es c y
102 CAPTULO 6. ECUACIN DEL CALOR

cuya constante de difusin trmica es . Supongamos que la temperatura es


constante en cada seccin vertical y est dada en cada instante t por una
cierta funcin u(x; t), 0 < x < L. Analicemos el ujo de calor a tarvs de
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
t, a travs de Ax , es igual a

h @u=@x(x; t)e1 ; nx i Ax = h @u=@x(x; t)e1 ; e1 i Ax


= (@u=@x)(x; t)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

h @u=@x(x + h; t)e1 ; e1 i Ax+h = h @u=@x(x + h; t)e1 ; e1 i Ax+h


= (@u=@x)(x + h; t)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,

H= A [@u=@x(x + h; t) @u=@x(x; t)] t: (6.1)

donde A es el rea de la seccin vertical del cilindro. Esta es la cantidad


de calor que escapa de la rodaja.

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
6.3. ECUACIN DEL CALOR EN UN CLILINDRO DE DENSIDAD UNIFORME103

diferencia E(t + t) E(t) deber ser igual entonces a H. El signo


menos se debe a que la energa disminuye en la rodaja, pues la difer-
encia (6.1) proporciona una medida del calor que escapa de la rodaja.
Pero
Z
x+h

E(t) = Ac u(x; t)dx ' Ahc u(x; t) y


x
Z
x+h

E(t + t) = Ac u(x; t + t)dx ' Ahc u(x; t + t):


x

Luego

c u(x; t + t)h c u(x; t)h = t (@u=@x(x + h; t) @u=@x(x; t)) ;

que es equivalente a
u(x; t + t) c u(x; t) @u=@x(x + h; t) @u=@x(x; t)
c =
t h
5. Tomando el lmite cuando h ! 0 y t ! 0 se obtiene:
@u @2u
c =
@t @x2
que muchas veces suele escribirse como
@2u 1 @u
2
= , donde = es la llamada constante de difusin trmica.
@x @t c
La siguiente tabla muestra algunos valores de c; ; para algunos ma-
teriales:

Tabla 2
104 CAPTULO 6. ECUACIN DEL CALOR

6.4. (Opcional) Ecuacin del calor en un cuerpo P

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 B
Luego

R R
c u(x; y; z; t + t)dxdydz u(x; y; z; t)dxdydz
E(t + t) E(t) B B
=
t 0 t 1
Z
@ u(x; y; z; t + t) u(x; y; z; t) A
=c :
t
B

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: (6.2)
@t
B

De acuerdo con la ley de Fourier, el ujo de calor en el instante t a travs


de la frontera
R de B, en la direccin del normal exterior, est dado por la
integral @B hn; grad u(x; y; z; t)i dA. Por el principo de la conservacin
de la energa, el cambio instantneo de energa dE=dt deber ser igual a este
6.4. (OPCIONAL) ECUACIN DEL CALOR EN UN CUERPO P 105

ujo con signo contrario.

Por tanto:
Z
@u R
c (x; y; z; t)dxdydz = @B hn; grad u(x; y; z; t)i dA: (6.3)
@t
B

Por el Teorema de la divergencia de Gauss sabemos que


Z
R
@B hn; grad(u(x; y; z; t)i dA = div(grad(u))dxdydz:
B

Luego, igualando las ecuaciones (6.2) y (6.3) se obtiene:


Z Z
@u
c (x; y; z; t)dxdydz = div(grad(u))dxdydz; (6.4)
@t
B B

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

@2u @2u @2u


div(grad(u)) = + 2 + 2
@x2 @y @z
que se denomina el Laplaciano de u, el cual se denotar por u.
Ahora, la ecuacin 6.4 puede escribirse en la forma:
Z
@u
(c u)dxdydz = 0:
@t
B
106 CAPTULO 6. ECUACIN DEL CALOR

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 = (Ecuacion del Calor)
@x2 @y @z @t
Discutamos de nuevo el ejemplo de la Seccin 6.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
= ; (6.5)
@x2 @t
ecuacin que, segn vimos, se suele escribir en la forma:

@2u 1 @u
= ,
@x2 @t
con = =(c ).

6.5. Ecuacin del calor en un cilindro.


6.5.1. Extremos a temperatura cero
Existen distintos tipos de condiciones iniciales para la ecuacin del calor.
Comencemos por discutir las condiciones iniciales ms secillas: para t = 0
se ja u(x; 0) = f (x), una cierta distribucin de temperatura. Los extremos
de la barra u(0; t) y u(L; t) se mantienen a temperatura constante, e igual a
cero:
@2u 1 @u
= , t > 0, 0 < x < L (6.6)
@x2 @t
u(x; 0) = f (x);
u(0; t) = u(L; t) = 0
= =c :

Como en el ejemplo de la cuerda vibrante, el mtodo de separacin de va-


riables proporciona una manera de hallar la solucin. Suponemos u(x; t) =
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 bus-
camos una solucin no trivial. Luego F debe satisfacer lla misma ecuacin
6.5. ECUACIN DEL CALOR EN UN CILINDRO. 107

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
trivial ocurre cuando < 0, digamos = 2 , en cuyo caso para cada valor

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:

1
X 2t
u(x; t) = bn sin(n x=L)e n ; n = 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
f (x) = u(x; 0) = bn sin(n x=L)
n=1

sea el desarrollo en serie de Fourier de una extensin impar de f (x) al inter-


valo [ L; L]: De aqu que

ZL
bn = 2=L f (x) sin(n x=L)dx:
0

Ejemplo 6.5.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;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
108 CAPTULO 6. ECUACIN DEL CALOR

Z1
bn = 2=1 100 sin(n x)dx
0
Z1
200
= 200 sin(n x)dx = cos(n x)j10
n
0
200 200
= (cos(n ) 1) = n ( 2); n es impar
n 0, n es par
De aqu que
400=(n ), si n = 1; 3; 5; : : : 4 n
bn = : = 1;1 10 , n =
0, si n = 2; 4; 6; : : : 1
1
X 400 4 ((2k+1) )2 t
u(x; t) = sin ((2k + 1) x)) e 1;1 10
(2k + 1)
k=0

6.5.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 6.6), buscando
una solucin de la forma u(x; t) = u1 (x; t) + v(x), donde v(x) es una funcin
lineal. Claramente @ 2 u=@x2 = @ 2 u1 =@x2 y @u=@t = @u1 =@t, y por consigu-
iente 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 condi-
ciones iniciales u1 (x; t) = u1 (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) (6.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 ecua-
ciones (6.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 condi-
cin u1 (x; 0) = f (x) v(x). En conclusin:
6.5. ECUACIN DEL CALOR EN UN CILINDRO. 109

La solucin del problema

@2u 1 @u
2
= , t > 0, 0 < x < L (6.8)
@x @t
u(x; 0) = f (x);
u(0; t) = T1 , u(L; t) = T2
= =c :

(T2 T1 )
puede obtenerse haciendo u(x; t) = u1 (x; t) + v(x), donde v(x) = L x+
T1 ; y u1 (x; t) es solucin del problema:

@ 2 u1 1 @u1
= , t > 0, 0 < x < L (6.9)
@x2 @t
u1 (x; 0) = f (x) v(x);
u1 (0; t) = 0, u1 (L; t) = 0
= =c :

que ya resolvimos en la seccin anterior.

Ejemplo 6.5.2 la temperatura en una barra cilndrica de aluminio de lon-


gitud 1 m est dada inicialmente por f (x) = 10x2 , 0 < x < 1: 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 (6.9), cuya solucin se obtiene computando los coecientes de
Fourier
R1 R1
bn = 2=1 (10x2 10x) sin(n x)dx = 20 (x2 x) sin(n x)dx
0 0
2 + 2 cos(n ) 80
, si n es impar
3 n3
= 20 3 n3
=
0, si n es par.

Luego la solucin sera


X 80 0;83 10 4 (n )2 t
u(x; t) = 10x + 3 n3
sin (n x) e
n=1;3;5;:::

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,
110 CAPTULO 6. ECUACIN DEL CALOR

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 6.5.2, con temperaturas en cada extremo iguales a T1 = 10 y
T2 = 10.

t=0s
6.5. ECUACIN DEL CALOR EN UN CILINDRO. 111

t = 125 s
112 CAPTULO 6. ECUACIN DEL CALOR

t = 2060 s

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 ).

6.5.3. Otras condiciones de frontera


El mtodo de separacin de variables nos permite resolver otros proble-
mas de conduccin de calor bajo condiciones iniciales diferentes. Por ejemplo,
supongamos que la distribucin de temperatura en t = 0 est dada por una
funcin f (x), 0 x L; y que en los extremos de la barra no hay ujo de
calor. En otras palabras, supongamos que en todo instante t, en x = 0 y en
6.5. ECUACIN DEL CALOR EN UN CILINDRO. 113

x = L; el ujo de calor h grad(u); ni es cero. Esto equivale a decir que


@u=@x(0; t) = @u=@x(L; t) = 0, para todo t 0.

Como en la seccin anterior, suponemos una solucin de la forma u(x; t) =


F (x)G(t). la ecuacin del calor (6.8) nos dice que F 00 (x)G(t) = 1= F (x)G0 (t),
y por tanto F 00 (x) F (x) = 0 y G0 (t) G(t) = 0, para una cierta con-
stante . Distingamos tres casos:

1. Si > 0, la nica
p
solucin
p
para u(x; t) es la trivial, pues en este caso
F (x) = Ae+ x + Be x . Pero la condicin inicial @u=@x(0; t) =

@u=@x(L; t) = 0 fuerza a que


p
@u=@x(0; t) = (A B)G(t) = 0
p p p
@u=@x(L; t) = (Ae+ L Be L
)G(t) = 0:

De lapprimera pecuacin vemos que A = B. De la segunda se sigue que


A(e+ L e L ) = 0. De aqu que A = 0:

2. Si = 0, entonces F (x) = cx + d. En este caso, @u=@x(0; t) =


@u=@x(L; t) = c = 0. Como = 0, se sigue que G0 (t) = 0. Luego
F (x) y G(t) son constantes y en consecuencia u0 (x; t) = a0 es una
solucin no trivial de la ecuacin del calor.

3. Si < 0, escribimos, como antes, = 2 . La ecuacin F 00 (x) +


2 F (x) = 0 tien solucin general F (x) = A cos( x) + B sin( x).

Derivando con respecto a x se obtienen las siguientes dos ecuaciones,


en x = 0 y x = L:

pA sin(0) + pB cos(0) = 0, y en consecuencia B = 0


pA sin( x) = 0;

de donde vemos que debe tomar valores n = n =L, n = 1; 2; : : :.


114 CAPTULO 6. ECUACIN DEL CALOR

Ahora, la solucin general de la ecuacin G0 (t) + 2n G(t) = 0 es G(t) =


2 2
De n t . Luego, para cada entero n > 0, un (x; t) = an cos( n x)e n t es
una solucin de (6.8). Sumando (suma innita) obtenemos una solucin en
serie de Fourier:
P
1 2t
u(x; t) = a0 + an cos( n x)e
n

n=1

Si hacemos x = 0, vemos que la condicin inicial u(x; 0) = f (x) se puede


satisfacer si
P
1
f (x) = u(x; 0) = a0 + an cos( n x);
n=1

que es precisamente el desarrollo en serie de Fourier de la extensin par de


f (x) al intervalo [ L; L]. En este caso, segn ya vimos, los coecientes estn
dados por

RL
a0 = 1=L f (x)dx
0
RL n x
an = 2=L f (x) cos( )dx, si n 1:
0 L

El siguiente recuadro resume la discusin anterior:


La solucin del problema

@2u 1 @u
2
= , t > 0, = =c : (6.10)
@x @t
u(x; 0) = f (x); 0 x L
@u @u
(0; t) = (0; L) = 0;
@x @x
viene dada por
P
1 2t n
u(x; t) = a0 + an cos( n x)e
n , n =
n=1 L
R
L
a0 = 1=L f (x)dx
0
RL n x
an = 2=L f (x) cos( )dx, si n 1:
0 L

Ejemplo 6.5.3 Supongamos que una barra de concreto de 5 metros de


longitud posee una distribucin de temperatura inicial dada por la funcin
6.5. ECUACIN DEL CALOR EN UN CILINDRO. 115

f (x) = 2x + 5. Supongamos que no hay transferencia de calor en los


extremos. Hallemos la funcin de temperatura en cada instante t.
Segn la Tabla 2, = 1;1 10 6. Calculamos:

R5 5
a0 = 1=5 ( 2x + 5)dx = (1=5)x2 + x 0
= 0:
0
R5 n x 10(n sin(n ) + 2 cos(n ) 2)
an = 2=5 ( 2x + 5) cos( )dx =
0 5 n2 2
10 40
2 n2 ;
n = 1; 3; 5; 7; : : :
= (2( 1)n 2) =
n2 2 0, si n = 2; 4; 6; : : :

Luego la solucin u(x; t) es igual a

40 P 1 n x 1;1 10 6 (n =5)2 t
u(x; t) = 2 2
cos( )e :
n=1;3;5::: n 5

Calculemos, mediante una simulacin del proceso, cunto tiempo tendra


que trascurrir para que la temperatura del extremo izquierdo bajara a un
grado centgrado. La siguiente simulacin en Maple nos muestra que aprox-
imadamente en t = 3;2 106 ' 37;03 das se alcanza esta temperatura.
116 CAPTULO 6. ECUACIN DEL CALOR
Captulo 7

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 solu-
ciones particulares en algunas situaciones. Con algunas variaciones, seguire-
mos los expuesto en cualquiera de los textos referenciados en la bibliografa
al comienzo del curso [7], [8], [9].

7.1. Ecuacin de una membrana vibrante rectan-


gular
Supongamos una membrana elstica M de forma rectangular cuyos bor-
des se encuentran connados a los lados del cuadrado [0; a] [0; b]. De manera
similar a como analizamos la cuerda vibrante, denotemos por z = u(x; y; t)
la funcin que describe la posicin en el instante t de un punto en M cuya
proyeccin en el plano tiene coordenadas (x; y): Asumiremos 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
del eje z
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 lugar de M ,

117
118 CAPTULO 7. LA MEMBRANA VIBRANTE

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 com-


prendida entre [x; x + x] [y; y + y]

Miremos dos cortes: el primero, manteniendo x jo y variando y, y


7.1. ECUACIN DE UNA MEMBRANA VIBRANTE RECTANGULAR119

hagamos un anlisis de fuerzas:

Corte a lo largo del eje y

Del supuesto (4) se sigue que las fuerzas en las direcciones horizontales
son:

Th (x; y; t) = x cos (x; y; t)


Th (x; y + 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 direc-
cin 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 pe-
queos, 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: (7.1)


120 CAPTULO 7. LA MEMBRANA VIBRANTE

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)

Tv (x; y + y; t) = T (x; y + y; t) sin (x; y + y; t) (7.2)


= x sin (x; y + y; t): (7.3)

La fuerza total resultante en direccin vertical es entonces igual a la difer-


encia:
x sin (x; y + y; t) x sin (x; y; t): (7.4)
Multiplicando y dividiendo por x, y teniendo en cuenta las igualdades
(7.1), podemos reescribir la ecuacin anterior en la forma:

x sin (x; y + y; t) x sin (x; y; t)


x
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:

@u @u
x (x; y + y; t) (x; y; t) : (7.5)
@y @y

De otro lado, mirando ahora el corte que resulta de mantener y jo y variar


x, podemos obtener de manera completamente similar las siguientes conclu-
siones:
Del anlisis de fuerzas horizontales se sigue la igualdad:

y cos (x + x; y; t) = y cos (x; y; t) ' y: (7.6)

Del anlisis de fuerzas verticales se ve que la fuerza total resultante sobre la


porcin de membrana, en la direccin considerada, sera:

y sin (x + x; y; t) y sin (x; y; t); (7.7)


7.1. ECUACIN DE UNA MEMBRANA VIBRANTE RECTANGULAR121

ecuacin que puede escribirse (despus de multipicar por y y utilizar (7.6)


en la forma:
@u @u
y (x + x; y; t) (x; y; t) : (7.8)
@x @x

Luego la fuerza resultante total en la direccin vertical es igual a la suma


de (7.5) y (7.8). La segunda ley de Newton implica entonces que:

@u @u @u @u
x (x; y + y; t) (x; y; t) + y (x + x; y; t) (x; y; t)
@y @y @x @x
(7.9)
@2u
= m(x; y) ;
@t2

donde
R yx+R xp
y+
m(x; y) = 1 + (@u=@x)2 + (@u=@y)2 dxdy
y x

es la masa del elemento de membrana p determinado por x y y: Nueva-


mente, del supuesto (3) se sigue que 1 + (@u=@x)2 + (@u=@y)2 ' 1; y por
tanto m(x; y) ' x y. Dividiendo 7.9 a ambos lados por x y obten-
emos:

1 @u @u 1 @u @u
(x; y + y; t) (x; y; t) + (x + x; y; t) (x; y; t)
y @y @y x @x @x
2
1 @ u p
= 2 2, donde c = = :
c @t

Tomando el lmite cuando x!0y y ! 0 se obtiene nalmente:

@2u @2u 1 @2u


+ = ; (ec. membrana)
@y 2 @x2 c2 @t2

la cual es la ecuacin diferencial que rige el movimiento de una membrana ba-


jo 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 condi-
ciones 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
122 CAPTULO 7. LA MEMBRANA VIBRANTE

iniciales seran:

(7.10)

7.2. Solucin de la ecuacin de la membrana rec-


tangular
Busquemos una solucin del problema (7.10) de la forma u(x; y; t) =
(x; y)G(t). La ecuacin diferencial ec. membrana obliga a que

G00 (t) (x; y)


=
c2 G(t) (x; y)

donde denota el operador laplaciano (x; y) = @ 2 =@y 2 + @ 2 =@x2 :


Como las variables aparecen separadas a la izquierda y derecha, ambos co-
cientes deben ser iguales a una constante p

G00 (t)
=p
c2 G(t)
(x; y)
= p:
(x; y)

Veamos, como en el caso de la cuerda vibrante, que los supuestos fsicos


fuerzan la escogencia p < 0.

1. 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).
7.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR123

2. Si p = 0, entonces se deduce que 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, 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.
3. Supongamos entonces que p < 0, digamos p = 2: De aqu resultan
dos ecuaciones diferenciales:
G00 + (c )2 G = 0 y = 2
:
La segunda ecuacin puede interpretarse de la siguiente manera: si
pensamos que las funciones forman en algn sentido un espacio vec-
torial (a la idea puede drsele rigor) entonces la soluciones de esta
ecuacin diferencial seran precisamente los autovectores del operador
lineal laplaciano = 2 ; con valor propio 2 . Una coleccin

de vectores propios (los cuales pueden hallarse mediante el mto-


dopde separacin de variables), cada uno con valor propio m;n =
(m 2 n 2
a ) + ( b ) ; est dada por:

m;n (x; y) = sin(m x=a) sin(n y=b);


para cada pareja de enteros m; n 1. En efecto:
@2 @2 2 m 2 n
+ = [( ) + ( )2 ] m;n (x; y):
@x2 @y 2 a b
De otro lado, para cada pareja de enteros positivos (m; n) las soluciones
de G00 + (c m;n )2 G = 0 vienen dadas por
Gm;n (t) = bm;n cos(c m;n t) + 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
0
m;n (x; y)Gm;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):
124 CAPTULO 7. LA MEMBRANA VIBRANTE

Al igual que en el caso de la cuerda vibrante, para satisfacer la condi-


cin inicial u(x; y; 0) = f (x; y), buscamos
P una solucin en forma de
suma innita (serie): u(x; y; t) = um;n (x; y; t). Haciendo t = 0 se ve
m;n
entonces que se debe cumplir:
P
f (x; y) = bm;n m;n (x; y): (7.11)
m;n

Esta suma correspondera al desarrollo de Fourier doble de la fun-


cin f (x; y). Los coecientes bm;n pueden determinarse con el mismo
mtodo utilizado en el caso de la cuerda, esto es, notando que exis-
ten de manera anloga las siguientes relaciones de ortogonalidad (que
se pueden comprobar, por ejemplo, utilizando GeoGebra, o por inte-
gracin directa):

Rb Ra
m;n (x; y) m0 ;n0 (x; y)dxdy = 0, si (m; n) 6= (m0 ; n0 ), m; n; m0 ; n0 1:
00
Rb Ra ab
m;n (x; y) m0 ;n0 (x; y)dxdy = , si (m; n) = (m0 ; n0 ), m; n; m0 ; n0 1:
00 4

Por consiguiente, al multiplicar ambos lados de 7.11 por m;n ; para un


par jo (m; n); y despus integrar, se obtiene:

Rb Ra ab
f (x; y) m;n (x; y)dxdy = bm;n ;
00 4

de donde se deduce:
4 Rb Ra m x n y
bm;n = f (x; y) sin( ) sin( )dxdy:
ab 0 0 a b

En resumen, la solucin del problema 7.10 sera:


P
u(x; y; t) = bm;n sin(m x=a) sin(n y=b) cos(c m;n t)
m;n

4 Rb Ra m x n y
bm;n = f (x; y) sin( ) sin( )dxdy:
ab 0 0 a b
r
m n
m;n = ( )2 + ( )2 :
a b

Ejemplo 7.2.1 Consideremos la siguiente membrana cuadrada determina-


da por a = b = 1 y c = 1= . Supongamos que f (x; y) = xy(x 1)(y 1),
7.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR125

0 < x < 1; 0 < y < 1; y que la membrana comienza a vibrar sin velocidad
inicial:

Entonces
R1 R1 m x n y
bm;n = 4 xy(x 1)(y 1) sin( ) sin( )dxdy:
00 1 1
Integrando por partes (o usando GeoGebra)

Como m; n 1, se obtiene:

R1 m x 2(( 1)m 1)
x(x 1) sin( )dx = 3 m3
:
0 1
Luego
R1 n y R1 m x
bm;n = 4 (y 1) sin( ) x(x 1) sin( )dx dy
0 1 0 1
2(( 1)m 1) R1 n y
=4 3 m3
(y 1) sin( )dy
0 1
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.

En consecuencia:
64 P 1 p
u(x; y; t) = 6 3 n3
sin(m x) sin(n x) cos( m2 + n2 t):
m;n impares m
126 CAPTULO 7. LA MEMBRANA VIBRANTE

El siguiente programa en Maple nos permite ver una animacin de este


ejemplo.

En t = 0

t=0 t = 6;53 t = 18;09

Ejemplo 7.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):
R1 R1
Para ello debemos hallar bm;n = 4 sin( x)2 sin( y)2 sin(m x) sin(n y)dxdy.
00
La primera integral que se debe computar es
R1
sin( x)2 sin( y)2 sin(m x) sin(n y)dx
0
R1
= sin( y)2 sin(n y) sin( x)2 sin(m x)dx:
0
7.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR127

Utilizando GeoGebra

vemos que:
(
4
R1 2 3 ; si m = 1
sin( x) sin(m x)dx = 2 cos((m 2) ) 2
0 (m3 4m)
; si m > 1:
8 4
< 3 ; si m = 1
4
= (m3 4m)
, si m es impar.
:
0, si m es par.

En conclusin
(
R1 2 0; si m es par
sin( x) sin(m x)dx = 4
0 (m3 4m)
, si m es impar.

De aqu entonces que:

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

cuando m; n son ambos impares, y en caso contrario bm;n = 0: Ahora,


p m;n =
m2 + n2
Luego

64 P 1 p
u(x; y; t) = 2 2
sin(m x) sin(n y) cos( m2 + n2 t)
m;n impares mn(m 4)(n2 4n)
128 CAPTULO 7. LA MEMBRANA VIBRANTE

7.2.1. Frecuencias de los modos fundamentales y lneas nodales


Cada funcin um;n (x; y; t) = m;n (x; y) cos(c m;n t) se denomina un mo-
do 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 pre-
cisamente 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


r
c m 2 n
fm;n = c m;n =2 = ( ) + ( )2
2 a b

ciclos por segundo (Hz).


A diferencia de la cuerda vibrante, estas frecuencias fundamentales no
son mltiplos de una frecuencia bsica (no hay armnicos). Una caracters-
tica 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);

las lneas nodales seran los ceros de la ecuacin sin(2 x) sin(3 y) = 0, que
son precisamente las lneas x = 1=2, y = 1=3; y = 2=3 :
7.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR129

7.2.2. Curvas nodales


Supondremos ahora, en aras de simplicar la discusin,
P que a = b = 1. Fi-
jemos N , un entero positivo, y sea f (x; y) = bm;n m;n (x; y); donde
m2 +n2 =N
la suma corre sobre todos los pares de enteros positivos (m; n) que satis-
facen m2 + n2 = N , y bm;n son coecientes escogidos de manera arbitraria
(notemos que esta suma es nita).
La solucin de la ecuacin ec. membrana estar dada entonces por
P
u(x; y) = bm;n m;n (x; y) cos(c m;n t):
m2 +n2 =N

En analoga con el concepto de lnea nodal, denimos las curvas nodales


como el locus de puntos que permanecen estacionarios en todo instante. Es
decir, el conjunto C = f(x; y) : u(x; y; t)p = 0, para todo
p t 0g: Como
m2 + n2 = N , entonces m;n es igual a m2 + n2 = N , para todo par
(m; n). Luego C est determinado por las soluciones de la ecuacin
P p
bm;n m;n (x; y) cos(c N t)
m2 +n2 =N
!
p P
= cos(c N t) bm;n m;n (x; y) = 0; para todo t 0:
m2 +n2 =N

Esto fuerza a que las curvas nodales estn denidas por la ecuacin implcita:
P
bm;n sin(m x) sin(n x) = 0:
m2 +n2 =N

Ejemplo 7.2.3 Determinemos las curvas nodales si la condicin inicial es


igual a:
1
f (x; y) = 1;2 (x; y) 2;1 (x; y)
2
1
= sin( x) sin(2 y) sin(2 x) sin( y);
2
las curvas nodales son las soluciones para 0 < x < 1, 0 < y < 1 de la
ecuacin
1
sin( x) sin(2 y) sin(2 x) sin( y)
2
= 2 sin( x) sin( y) cos( y) sin( x) cos( x) sin( y)
= sin( x) sin( y)(2 cos( y) cos( x)) = 0:
130 CAPTULO 7. LA MEMBRANA VIBRANTE

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-
ciones de y = 1 arc cos( 21 cos( x)):

para 0 < x < 1:

Ejemplo 7.2.4 Tomemos N = 65: Este entero puede descomponerse como


suma de dos cuadrados de dos maneras diferentes: 65 = 11 + 82 = 42 + 72 .
De aqu que la membrana al vibrar con condicin inicial, dada, por ejemplo,
por a funcin
1 1
f (x; y) = 1;8 (x; y) + 8;1 (x; y) + 3 (x; y) + 3 (x; y)
2 2
tenga curvas nodales determinadas por las soluciones de la ecuacin (en
x; y)
7.3. *CURVAS NODALES EN LA VIBRACIN DE UNA PLACA RECTANGULAR: FIGURAS DE CHLAD

Los ceros de esta funcin se muestran a continuacin:

7.3. *Curvas nodales en la vibracin de una placa


rectangular: guras de Chladni
La ecuacin diferencial que rige el movimiento de una placa rgida cuyos
extremos estn libres, y la cual se apoya solo en su centro, el cual vibra
verticalmente con frecuencia !; resulta ser una ecuacin diferencial de grado
cuarto ( 2 )u = 0; donde 2 denota el cuadrado del operador laplaciano:

2 @4u @4u @2u @2u


u= + + 2 ;
@x4 @y 4 @x2 @y 2
sujeta a las condiciones:

@2u @2u @3u @3u


+ vp = + (2 vp ) =0
@x2 @y 2 @x3 @x@y 2
@2u @2u @3u @3u
+ vp = + (2 vp ) 2 = 0:
@y 2 @x2 @y 3 @x @y

La constante est denida como = m! 2 =D; donde D es otra constante,


llamada la rigidez cilndrica de la placa, que depende del material del cual
est constituida, m es la masa total de la placa, ! es la frecuencia de vi-
bracin del punto central de la placa y vp es otra constante conocida como
el radio de Poisson del material.
En este caso (que no discutiremos en estas notas, pero que el lector puede
consulatr en el txto clsico [14]) las lneas nodales suelen ser complejas, y
forman curiosos arreglos y sorprendentes patrones, descubiertos por primera
132 CAPTULO 7. LA MEMBRANA VIBRANTE

vez por el fsico alemn Hernst Chladni. Un video donde se aprecian estas
curvas nodales puede verse en https://www.youtube.com/watch?v=1yaqUI4b974

Figuras de Chladni (tomado de


https://www.youtube.com/watch?v=1yaqUI4b974)

7.4. 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
tengan esta propiedad.

a = 1; f (r) = 1 r2
7.4. MEMBRANAS CIRCULARES 133

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 mem-
2 2 2
brana viene dada por u = c12 @@t2u , donde u = @@xu2 + @@yu2 denota el Lapla-
ciano 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
@ 2 u 1 @u 1 @2u
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:
@ 2 u 1 @u 1 @2u
+ = (7.12)
@r2 r @r c2 @t2
u(a; t) = 0 (7.13)
@u(r; t)=@tjt=0 = 0: (7.14)

De nuevo, utilizamos el mtodo de separacin de variables: suponemos u(r; t) =


(r)G(t). La ecuacin 7.12 nos dice que:
00 1 0 1
G+ G = 2 G00
r c
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 + 0 G00
= = p; (7.15)
r c2 G
donde p es una constante que, como en las ecuaciones diferenciales antes
discutidas, deber ser negativa p = 2 . Luego de 7.15 se desprenden dos

ecuaciones:

G00 (t) + ( c)2 G(t) = 0; t 0:


00 0 2
r (r) + (r) + r (r) = 0, 0 r a: (7.16)
134 CAPTULO 7. LA MEMBRANA VIBRANTE

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 7.14 fuerza
B = 0:
La ecuacin 7.16 puede resolverse si conocemos la solucin de la llamada
ecuacin de Bessel:

xb00 (x) + b0 (x) + xb(x) = 0, x > 0; (7.17)

pues bastara hacer el cambio de variables x = r y luego (r) = b( r) :


00
r (r) + 0 (r) + 2 r (r)
x 2 00 x
= b (x) + b0 (x) + 2 b(x)
= (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, [7], pginas 191-200):
1 ( 1)m x2m
P x2 x4 x6
J0 (x) = 2m (m!)2
= 1 + +
m=0 2 2!(1!)2 24 (2!)2 26 (3!)2
P
1 ( 1)m x2m
J1 (x) = x 2m+1 (m!)(m + 1)!
m=0 2
2 x P1 ( 1)m 1 s
m 2m
Y0 (x) = J0 (x)(ln( ) + ) + 2m (m!)2
x ;
2 m=1 2
1 1
sm = + + , = l m (sm ln m), (constante de Euler).
1 m m!1
7.4. MEMBRANAS CIRCULARES 135

La solucin general de 7.17 viene dada entonces por

b(x) = CJ0 (x) + DY0 (x):

El programa Maple permite manipular funciones de Bessel, no as, infortu-


nadamente, 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 es-
cogerse 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 r) cos(c n t);

n = n =a;

es solucin de 7.12 y 7.14.


Para satisface la condicin inicial 7.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
[9], pgina 252):

Ra
J0 ( n r)J0 ( m r)rdr = 0, si m 6= n
0
Ra 2 a2 2
J0 ( n r) rdr = J ( n ):
0 2 1

P
1
Se busca entonces una solucin de la forma u(r; t) = bn J0 ( n r) cos(c n t):
n=1
Haciendo t = 0 se debe satisfacer que
P
1
f (r) = u(r; 0) = bn J0 ( n r):
n=1

Multiplicando ambos lados por J0 ( m r)r, con m 1 jo, y luego integrando,


se obtiene
Ra P
1 Ra
rJ0 ( m r)f (r)dr = bn rJ0 ( m r)J0 ( n r)dr
0 n=1 0
a2 2
= bm J1 ( m) :
2
136 CAPTULO 7. LA MEMBRANA VIBRANTE

De aqu que
2 Ra
bm = rJ0 ( m r)f (r)dr:
a2 J1 ( m )2 0

En resumen, la solucin del problema 7.12, 7.13, 7.14 est dada por

P
1
u(r; t) = bn J0 ( n r) cos(c n t)
n=1
2 Ra
bn = 2 2
rJ0 ( n r)f (r)dr
a J1 ( n) 0
n
n = ;
a
donde 1 < 2 < < n < son los ceros positivos de J0 (x):

Ejemplo 7.4.1 Por ejemplo, si a = c = 1, f (r) = 1 r2 , entonces, utilizan-


do Maple se puede ver que

u(r; t) = 1;1J0 ( 1 r) cos( 1 t) 0;14J0 ( 2 r) cos( 2 t) + 0;04J0 ( 3 r) cos( 3 t)


0;02J0 ( 4 r) cos( 4 t) + 0;01J0 ( 5 r) cos( 5 t) donde
1 ' 2;4, 2 ' 5;5, 3 ' 8;65; 4 = 11;79; 5 ' 14;93; :::

Una animacin siguiente muestra los movimientos de la membrana en dis-


tintos instantes de t :

t=0 t = 17;3
7.4. MEMBRANAS CIRCULARES 137

t = 23;4 t = 25;5

Para aquellos lectores familiarizados con Maple, se incluyen a continuacin


los comandos para operar con funciones de Bessel:
138 CAPTULO 7. LA MEMBRANA VIBRANTE

7.5. Apndice: cmputo del laplaciano en coorde-


nadas 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
u= + +
@r2 r @r r2 @ 2
2
@ u @ u 2
= + 2:
@x2 @y

Por la regla de la cadena

@u @u @x @u @y
= +
@r @x @r @y @r
@u @u
= cos + sin :
@x @y
7.5. APNDICE: CMPUTO DEL LAPLACIANO EN COORDENADAS POLARES139

De aqu se sigue:
@2u @ @u @ @u
2
= ( ) cos + ( ) sin
@r @r @x @r @y
@2u @2u @2u @2u
= cos + sin cos + + cos + sin sin
@x2 @y@x @x@y @y 2
@2u @2u @2u
= 2
cos2 + 2 sin2 + 2 sin cos :
@x @y @y@x
De otro lado
@u @u @x @u @y
= +
@ @x @ @y @
@u @u
= ( r sin ) + (r cos ):
@x @y
Luego,
@2u @ @u @ @u
2
=r ( sin ) + r cos
@ @ @x @ @y
@ @u @u @ @u @u
=r ( sin ) + ( cos ) +r + ( sin )
@ @x @x @ @y @y
@2u @2u @u
= r2 sin2 2
r 2
sin cos r cos +
@x @y@x @x
@2u @2u @u
r2 sin cos + 2 r2 cos2 r sin
@x@y @y @y
@ 2u @ 2u @2u @u @u
= r2 sin2 2
+ r 2
cos 2
2
2r 2
cos sin r cos r sin :
@x @y @y@x @x @y
De aqu vemos entonces que
1 @2u @2u 2 @2u 2 @2u 1 @u @u
= sin + cos 2 cos sin (cos + sin )
r2 @ 2 @x2 @y 2 @y@x r @x @y
1 @u 1 @u 1 @u
= cos + sin
r @r r @x r @y
@2u @2u 2 @2u 2 @2u
= cos + sin + 2 cos sin :
@r2 @x2 @y 2 @y@x
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
140 CAPTULO 7. LA MEMBRANA VIBRANTE
Captulo 8

Nmeros complejos

En este captulo estudiaremos algunas propiedades bsicas de los nmeros


complejos. En el captulo siguinete motraremos algunas aplicaciones de es-
ta teora a la Mecnica Cuntica, en particular, discutiremos el problema
de polarizacin de la luz, el experimento EPR, y la desigualdad de Bell.
Referencias para esta ltima parte son: [1], [2], [3].

8.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 co-


mo 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 electro-
magnetismo, y son indispensables en Mecnica Cuntica, pues la ecuacin de
Schrdinger es, de hecho, un ecuacin que no puede formularse en el campo
de las funciones reales. As mismo, sus aplicaciones en ingeniera, electrnica
y telecomunicaciones son numerosas.

141
142 CAPTULO 8. 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
8.1. NOCIONES BSICAS 143

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, co-
mo se ilustra a continuacin:

Ejemplo 8.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 + 2 k, k 2 Z: Y,


arg( 2) =

3. z = 1 i tiene como argumento todos los ngulos 3 =4 + 2 k,


k 2 Z: Y, arg( 1 i) = 3 =4:

4. Si z = i, entonces arg( i) = =2:


144 CAPTULO 8. NMEROS COMPLEJOS

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).

8.2. Funcin exponencial


La funcin exponencial ez se introduce en Clculo como la funcin dada
P
1
por la series convergente (en todos los reales) ex = xn =n!. Es natural en-
n=0
tonces denir para un nmero complejo cualquiera z, la funcin exponencial
P
1
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
ebi = + + + +
1 1! 2! 3!
b4 b5 i b6 b7 i
+ + + +
4! 5! 6! 7!
1 b2 b 4 b6 b b3 b5 b7
=( + + )+( + + )i
1 2! 4! 6! 1 3! 5! 7!
= cos(b) + sin(b)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 :


8.2. FUNCIN EXPONENCIAL 145

Esta escritura es particualrmente til para computar potencias de z:

Ejemplo 8.2.1
p 1. Hallemos la forma polar
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 i
= 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 i

= 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
p que se cumpla wn = cn en i =
jzj e . Podemos tomar entonces c = jzj y = n + 2k
i n
n , k = 0; : : : ; n 1.
Claramente, con estas escogencias de c y se obtiene:
p n 2k
wn = n
jzj en( n + n )i
= jzj e i+2k i

= jzj e i e2 ki
= jzj e i ;

pues e2k i = cos(2k ) + sin(2k ) = 1: Cada uno de los n nmeros complejos


p 2k
w= n
jzje( n + n )i
; (8.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 8.2.2 1. Calculemos las races sptimas (n = 7) de i.


Solucin: i = e 2 i , pues jij = 1 y arg(i) = =2: Luego
+4k
2k
( 4k+1
w = e( 14 + 7
)i
= e( 14 )i = e 14
)
, k = 0; 1; 2; 3; 4; 5; 6 :
146 CAPTULO 8. NMEROS COMPLEJOS

Estas siete races seran:


5 9
w0 = e 14 i ; w1 = e( 14 )i ; w2 = e( 14 )i
13 17 21 25
w3 = e( 14 )i ; w4 = e( 14 )i ; w5 = e( 14 )i ; w6 = e( 14 )i :

Con el programa GeoGebra, estos valores pueden hallarse de la si-


guiente manera:

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
8.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
8.2. FUNCIN EXPONENCIAL 147

son los vrtices de un polgono regular de n lados. Notemos adems


que !k = ! k , donde
2 2 2
! = e n i = cos( ) + 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
u = 5e 5 i = 5 cos( 0;93=5) + 5 sin( 0;93=5)i
5 5 5

' 1;35 0;25i:

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:
148 CAPTULO 8. NMEROS COMPLEJOS

Utilizando de nuevo la vista grca podemos visualizarlas de la si-


guiente manera:

8.3. 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 cam-
po de los nmeros reales ya se encuentran ecuaciones, incluso cuadrticas,
que no poseen ninguna raz real, como, por ejemplo, x2 + 1 = 0 o, por ejem-
plo, 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 obten-
er 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 de este hecho s erelega para el apndice
aeste captulo, o tambin puede consultarse, por ejemplo, en [5].
Un polinomio de grado n es una expresin de la forma p(x) = a0 xn +
n
a1 x 1 + + an . Una raz de p(x) es entonces un nmero z1 que satisface
p(z1 ) = a0 z1n +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)
8.3. TEOREMA DE GAUSS 149

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 ).
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 consigu-
iente, 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 8.3.1 Factoricemos en factores lineales el polinomio p(x) = x4


2x3 + 2x2 2x + 1. El comando Raz nos permite hallar una primera raz
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 +
150 CAPTULO 8. NMEROS COMPLEJOS

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).
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 8.3.2 1. Veamos, por ejemplo, como visualizar la funcin f (z) =


z 2 . 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
8.3. TEOREMA DE GAUSS 151

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
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
152 CAPTULO 8. NMEROS COMPLEJOS

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

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


8.3. TEOREMA DE GAUSS 153

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

Su imagen es una hiprbola que se acerca al punto 1; sin nunca alcan-


zarlo.

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
154 CAPTULO 8. NMEROS COMPLEJOS

N( ) = 2 1=1:

Este concepto puede denirse de manera rigurosa mediante una inte-


gral: 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

1 Rb y(t)x0 (t) x(t)y 0 (t)


N ( (t)) = + dt:
2 a x(t)2 + y(t)2 x(t)2 + y(t)2

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:

1 R2 n sin2 (nt) n cos2 (nt) n R2 2 n


N ( (t)) = + 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 man-
tenerse 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 su-
cientemente grande N (p(Cr (t))) tendr que ser igual a n, el grando
del polinomio. Por ejemplo, graquemos en GeoGebra la imagen bajo
8.3. TEOREMA DE GAUSS 155

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)) per-
manecer muy cerca al valor de p(0) y por tanto no dar ninguna
vuelta alrededor del origen. En nuestro ejemplo anterior, si hacemos
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:
156 CAPTULO 8. NMEROS COMPLEJOS

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 8.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,
con un error de solo una centsima en este caso.
8.4. ECUACIONES DE CAUCHY-RIEMANN 157

8.4. Ecuaciones de Cauchy-Riemann

Estudiaremos en esta seccin la derivada de una funcin de variable


compleja. Primero introduzcamos la nocin de dominio.

Denicin 8.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 8.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.
158 CAPTULO 8. NMEROS COMPLEJOS

Ejemplo 1

Ejemplo 2

Ejemplo 4

Intuitivamente, un domnio U es una regin conexa y rellenita.

Denicin 8.4.3 Sea f : U ! C una funcin denida en un dominio U . Si


z 2 U , f se llama diferenciable u holomorfa en U si el lmite l m z!0 (f (z +
8.4. ECUACIONES DE CAUCHY-RIEMANN 159

z) 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 2
i;
x +y x + y2
2

y en este caso
x y
u(x; y) = 2 2
; v(x; y) = 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 + x + yi) f (x + yi)
x + yi
u(x + x; y + y) u(x; y) v(x + x; y + y) v(x; y)
= + i:
x + yi x + yi
Cuando y ! 0 se obtiene:
u(x + x; y) u(x; y) v(x + x; y) v(x; y)
+ i:
x x
160 CAPTULO 8. NMEROS COMPLEJOS

Al hacer x ! 0 se obtiene:
u(x + x; y) u(x; y) v(x + x; y) v(x; y)
f 0 (z) = l m + i (8.2)
x!0 x x
@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 + y) v(x; y) u(x; y + y) u(x; y)


f 0 (z) = l m i (8.3)
y!0 y y
@v @u
= i:
@y @y

Por tanto
@u @v @v @u
+ i= i;
@x @x @y @y
y en consecuencia

@u @v
= (Cauchy-Riemann)
@x @y
@v @u
= :
@x @y

Estas dos ecuaciones son conocidas como las ecuaciones de Cauchy-Riemann:


De manera recproca puede demostrarse:

Teorema 8.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, [5]).

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 .
8.4. ECUACIONES DE CAUCHY-RIEMANN 161

Ejemplo 8.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


8.2 o 8.3 nos permiten computar f 0 (z) :

@u @v y 2 x2 2xy
f 0 (z) = + i= 2 2 2
+ 2 i
@x @x (x + y ) (x + y 2 )2
z2 1
= 2 = 2
= z 2:
jzj 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 8.4.6 1. Compute dz n =dz; si n 6= 0 y verique que dz n =dz =


nz n 1 :

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:


162 CAPTULO 8. NMEROS COMPLEJOS

8.5. Funciones armnicas


Denicin 8.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
@2u @2u
u= + 2 = 0 en D: (8.4)
@x2 @y
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 @ @v @2v
( )= ( )= (8.5)
@x @x @x @y @x@y
@ @u @ @v @2v
( )= ( )= :
@y @y @y @x @y@x
@2v @2v
Como @x@y = @y@x , al sumar ambos lados en 8.5 se obtiene

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

Ejemplo 8.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). Di-
rectamente 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,
@v 1=x x
= 2
= 2 ;
@y 1 + (y=x) x + y2
@2v @ x 2xy
2
= ( 2 2
)= 2
@y @y x + y (x + y 2 )2
8.5. FUNCIONES ARMNICAS 163

Por tanto

@2v @2v 2yx 2xy


+ = 2 + = 0:
@x2 @y 2 (x + y 2 )2 (x2 + y 2 )2

p
2. La funcin u(x; y) = ln( x2 + y 2 ) es armnica en D por ser la parte
real de log(z):

Las funciones armnicas, por satisfacer la ecuacin 8.4, pueden utilizarse


para modelar el potencial electrico en regiones del espacio que no dependen
de una determinada coordenada espacial. (En el Apndice II haremos una
rpida introduccin a la electrosttica. El lector podr leer all los conceptos
fsicos necesarios para una comprensin completa de las aplicaciones aqu
presentadas).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 (inde-
pendiente de z) entonces " puede obtenerse como " = grad( ), donde
: D ! R satisface la llamada ecuacin de Laplace (vase el apndice II,
ecuacin ??)
@2 @2
= + = 0:
@x2 @y 2

En particular, si es armnica, como ya vimos satisface automticamente


esta ecuacin.

Ejemplo 8.5.3 Consideremos la regin del espacio entre dos placas metli-
cas P1 y P2 que forman un ngulo y las cuales se extienden de manera
164 CAPTULO 8. NMEROS COMPLEJOS

indenida en direccin z

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):


Captulo 9

Apndice I: demostracin del


T.F.A

9.1. Nmero de giros de una curva


La demostracin de Gauss del Teorema Fundamental del lgebra involu-
cra la nocin de nmero de giros de una curva alrededor de un punto. Para
simplicar la discusin supongamos que dicho punto es O; el origen de R2 .
Para cualquier punto p situado en el semiplano derecho

H = fp = (x; y) 2 R2 : x > 0g;

la funcin (p) = arctan(y=x) (bien denida en H) nos da el ngulo que


subtiende p con respecto al eje x, contado en direccin contraria al reloj
(positiva).

Recordemos que la derivada de f (u) = arctan(u) es u0 =(1 + u2 ). Luego


@ =@x = ( y)=(x2 + y 2 ) y @ =@y = x=(x2 + y 2 ). De aqu que si (t) =

165
166 CAPTULO 9. APNDICE I: DEMOSTRACIN DEL T.F.A

(x(t); y(t)) es cualquier curva que una dos puntos q y p de H ( (0) = q,


(1) = p) se sigue que la integral de lnea
Z
y x
I( ) = dx + 2 dy
x2 + y 2 x + y2

a lo largo de se puede computar como


Z1
y(t) x(t)
x0 (t) + y 0 (t)
x(t)2 + y(t)2 x(t)2 + y(t)2
0
Z1
0
= ( (t))dt = ( (1)) ( (0)) = (p) (q):
0

Esto nos dice que la integral de lnea I proporciona una medida de la difer-
encia de ngulo entre dos puntos de H. Notemos que I est bien denida
para cualquier curva que no pase por el origen de coordenadas. Sin embargo,
para una curva que no est contenida en H, la funcin no estar denida,
y el computo anterior no sera vlido, no obstante, la integral tiene sentido.
Por ejemplo, si c(t) = (cos(2 t); sin(2 t)) es el crculo unitario; 0 t 1, la
integral anterior produce
Z1
sin2 (2 t) cos2 (2 t)
I(c) = + dt = 2 :
1 1
0

De manera anloga, si n (t) = (cos 2n t; sin 2n t), 0 t 1 es la curva que


rodea el origen n veces; vemos que I( n ) = 2 n. De aqu resulta razonable
dar la siguiente denicin. Si el crculo unitario se recorre n veces en sentido
negativo (sentido del reloj), digamos mediante la curva parametrizada como
n (t) = (cos 2n (1 t); sin 2n (1 t)), 0 t 1, se verica fcilmente que
el valor de I( n ) ser entonces 2 n:

Denicin 9.1.1 El nmero de giros de una curva que no pase por el


origen ( (t) 6= (0; 0), para todo t en su domino) se dene como N ( ) =
1
2 I( ):

Debemos demostrar que N ( ) es siempre un entero.

Proposicin 9.1.2 Sea : [0; 1] ! R2 f(0; 0)g, (t) = (x(t); y(t)) una
curva cerrada ( (0) = (1)) y suave a tramos. Entonces 21 I( ) es un entero.
9.1. NMERO DE GIROS DE UNA CURVA 167

Prueba. Veamos como una curva en el plano complejo. Es decir, con-


sideremos como la curva en C dada por z(t) = x(t) + y(t)i. La integral
R t 0 (s)
compleja !(t) = 0 zz(s) ds, donde z 0 (s) = x0 (s) + y 0 (s)i; se dene de manera
natural como:
Z t 0 Z t 0 Z t 0
z (s) x (s) + y 0 (s)i (x (s) + y 0 (s)i)(x(s) y(s)i)
!(t) = ds = ds =
0 z(s) 0 x(s) + y(s)i 0 x2 (s) + y 2 (s)
Z t 0 Z t
x (s)x(s) + y 0 (s)y(s) x0 (s)y(s) + x(s)y 0 (s)
= ds + i :
0 x2 (s) + y 2 (s) 0 x2 (s) + y 2 (s)

Nos interesa determinar el valor de

Z1
x0 (s)x(s) + y 0 (s)y(s)
!(1) = ds + iI( ):
x2 (s) + y 2 (s)
0
p
Sea g(x; y) = ln( x2 + y 2 ): Es un ejercicio elemental ver que @g=@x =
x=(x2 + y 2 ) y que @g=@y = y=(x2 + y 2 ). De aqu que

Z1 Z 1
x0 (s)x(s) + y 0 (s)y(s)
ds = g 0 ( (s))ds = g( (1)) g( (0)) = 0;
x2 (s) + y 2 (s) 0
0

pues (0) = (1): De aqu que !(1) = iI( ).


d
De otro lado, veamos que dt (e!(t) =z(t)) = 0 y por tanto que e!(t) =z(t) =
c0 , es una funcin constante. Computando la derivada con respecto a la
variable t se obtiene

z(t)! 0 (t)e!(t) e!(t) z 0 (t) z 0 (t)e!(t) e!(t) z 0 (t)


= = 0;
z 2 (t) z 2 (t)

de donde se sigue la armacin. Evaluando en t = 0 se obtiene 1 = e!(0) =


e0 = c0 z(0) y por tanto e!(t) = z(t)=z(0). De aqu que e!(1) = z(1)=z(0) = 1
y por tanto !(1) = 2 ni, para cierto entero n. Luego I( ) = 2 n, de donde
se sigue que 21 I( ) = n:

Ejercicio 9.1.3 Demuestre utilizando el hecho probado en la proposicin


R 1 0 (s)
anterior, esto es, que N ( ) = 21 i 0 zz(s) ds; para demostrar que si z1 (t) y
z2 (t) son representaciones complejas de dos curvas z1 (t) y z2 (t), entonces
N (z1 z2 ) = N (z1 ) + N (z2 ):
168 CAPTULO 9. APNDICE I: DEMOSTRACIN DEL T.F.A

Ejercicio 9.1.4 Muestre que si z(t) es una curva enteramente contenida en


un disco abierto D que no contiene el origen, entonces N (z) = 0:

Ejercicio 9.1.5 No es difcil ver que N ( ) vara de manera continua con


z(t). De manera precisa, demuestre que si z1 ; z2 : [0; 1] ! C son curvas
cerradas suaves que no pasan por el origen, entonces dado un " > 0 existe
un > 0 tal que jz1 (s) z2 (s)j < y jz10 (s) z20 (s)j < , para todo s 2 [0; 1],
entonces Z 1 0 Z 1 0
z1 (s) z2 (s)
ds ds < ":
0 z1 (s) 0 z2 (s)

Sugerencia:
Z 1 Z 1 Z 1 Z 1
z10 (s) z20 (s) z 0 (s) z20 (s) z10 (s) z20 (s)
ds ds = ( 1 )ds < ds:
0 z1 (s) 0 z2 (s) 0 z1 (s) z2 (s) 0 z1 (s) z2 (s)

De otro lado,

z10 (s) z20 (s) z 0 (s)z2 (s) z1 (s)z20 (s) jz10 (s)z2 (s) z1 (s)z20 (s)j
= 1 ;
z1 (s) z2 (s) z1 (s)z2 (s) R2

donde R es el mnimo de las distancias de z1 y z2 al origen. Ahora, sumando


y restando z10 (s)z1 (t), y usando la desigualdad trangular se obtiene:

z10 (s)z2 (s) z1 (s)z20 (s) z10 (s) jz2 (s) z1 (s)j + jz1 (s)j z10 (s) z20 (s) :

Luego, si jz1 (s) z2 (s)j < y jz10 (s) z20 (s)j < para todo s 2 [0; 1] se
obtiene entonces que
z10 (s) z20 (s) 2m
;
z1 (s) z2 (s) R2
9.1. NMERO DE GIROS DE UNA CURVA 169

donde m = maxfjz1 (t)j ; jz10 (s)j : s 2 [0; 1]g. Luego


Z 1 0 Z 1 0 Z 1 0
z1 (s) z2 (s) z1 (s) z20 (s)
ds ds < ds
0 z 1 (s) 0 z 2 (s) 0 z1 (s) z2 (s)
2m
< :
R2
Tomando = R2 =2m se obtiene la conclusin buscada.

Ejercicio 9.1.6 Sea zr (s) = r cos(2 s) + r sin(2 s)i, 0 s 1 el crculo


unitario, visto como curva compleja. Sea p(z) = an z n +an 1 z n 1 +a1 z+a0
un polinomio con coecientes complejos, de grado positivo. Muestre que si
para cada r > 0 denimos r (s) = p(zr (s)), y esta curva no pasa por el
origen, entonces N ( r ) permanece constante, y es igual a n, el grado de
p(z).
Sugerencia: utilice el ejercicio anterior para probar que N ( r ) es con-
stante.
De otro lado, p(z) = z n h(z), con h(z) = 1 + anz 1 + + zan0 . Sean
n
!1 (s) = zr (s) y !2 (s) = h(zr (s)). Del ejercicio anterior se sigue que
N (!1 !2 ) = N (!1 ) + N (!2 ). Pero ya vimos que N (!1 ) = n. Demuestre ahora
que N (!2 ) = 0, utilice el hecho siguiente: muestre que si M = maxfai : i =
0; : : : ; ng, entonces si r > 2nM se cumple que jh(zr (s)) 1j < 1=2 :
n
X1
an 1 a0 jak j nM 1
jh(zr (s)) 1j = + + n = :
zr (s) zr (s) jzr (s)n kj 2nM 2
k=0

De aqu que la curva h(zr (s)) est contenida en el semiespacio H y por


tanto I( ) = 0: Esta ltima armacin tambin se deduce, por supuesto,
del ejercicio anterior.

Teorema 9.1.7 (Teorema Fundamental del lgebra) Sea p(z) = an z n +


an 1 z n 1 + a1 z + a0 un polinomio con coecientes complejos, de grado
positivo. Entonces p(z) tiene al menos una raz compleja.

Prueba. Obviamente, basta demostrar el teorema para polinomios mnicos


Supongamos por el absurdo que el teorema no es cierto. Entonces para
cada r > 0 la curva r (s) = p(zr (s)) no pasa por el origen. Utilizando
el ejercicio anterior concluimos que N ( r ) = n, para todo r > 0. Pero para
r sucientemente pequeo j r (s) a0 j < ja0 j =2, para todo 0 s 1. Es
decir, la curva est enteramente contenida en un disco que no contiene el
origen. De aqu que N ( r (s)) = 0; por el ejercicio anterior, lo cual es absurdo.
170 CAPTULO 9. APNDICE I: DEMOSTRACIN DEL T.F.A
Captulo 10

Apndice II: Campo elctrico

10.1. Campos vectoriales, gradiente y divergencia


Antes de introducir el concepto fsico de campo elctrico, recordemos
algunas nociones de clculo vectorial. Denotaremos las coordenadas carte-
sianas estndar de un punto p en R3 por u(p) = (xi (p)), por u(p) = (ui ) o
escribiremos de manera excplcita p = (x; y; z), o p = (u1 ; u2 ; u3 ):

Denicin 10.1.1 1. Una funcin de un abierto de R3 en R3 se llama


una funcin vectorial, o campo vectorial, que denotaremos por E =
(f1 ; f2 ; f3 ).

2. La divergencia de E se dene como la funcin escalar

@f1 @f2 @f3


div(E) = + + : (10.1)
@x @y @z

3. El laplaciano de una funcin escalar :U R3 ! R se dene como

@2 @2 @2
= + + :
@x2 @y 2 @z 2

Se ve fcilmente que:

div(grad( )) = E: (10.2)

La teora de campos es una construccin matemtica creada para mod-


elar las fuerzas que se observan en la naturaleza. Despus de frotar esferas
de ambar y barras de vidrio, y luego notar las fuerzas que se generaban,

171
172 CAPTULO 10. APNDICE II: CAMPO ELCTRICO

los griegos conjeturaron la existencia de lo que hoy llamamos partculas


cargadas electricamente, las cuales dividieron en dos clases: positivas y neg-
ativas. Hoy sabemos que estas cargas corresponden a paquetes de protones
(cargas positivas) o electrones (cargas negativas), y que la cantidad de carga
correspondiente en cada caso viene en cantidades discretas q = ne, donde e
es la cantidad de crga mnima, que corresponde a un protn, si la carga es
positiva, respectivamente a un electrn, si es negativa.
Usaremos el sistema estndar S.I. de medidas, kg; m; s;N (kilogramo,
metro, segundo, Newton = kg m=s2 ). En este sistema, la unidad de carga
es el Coulomb, C, que puede denirse operacionalmente como sigue: dos
partculas con carga igual a un Coulomb, situadas en el vaco, y a un metro
de distancia, se repelen con una fuerza de Ke = 8;9874 109 N. (Un millon
de toneladas de peso!). La carga elemental de un protn se ha estimado en
e = 1;6021 10 19 C. La carga del electrn sera entonces e:

10.2. Ley de Coulomb


La atraccin elctrica est descrita por la llamada Ley de Coulomb; la
cual establece lo siguiente: jemos un sistema de coordenadas en una regin
U R3 . Una carga q situada en r1 ejerce sobre otra carga Q situada en
r2 una fuerza (en Newtons) en la direccin del vector unitario ur = (r2
r1 )= jr2 r1 j ; dada por:
1 qQ
F = ur ; (Ley de Coulomb)
4 "0 jr2 r1 j2

donde, por raznes histricas, la constante Ke se escribe como 1=4 "0 , con
"0 = 8;854 10 12 N 1 m 2 C2 , valor denominado constante de permitividad
electrica del vaco, o simplemente permitividad del vaco.
10.3. CAMPOS ELCTRICOS GENERADOS POR CARGAS ESTTICAS173

Es importante observar que la ecuacin Ley de Coulomb tiene en cuenta


el signo de las cargas: si q o Q tienen signo diferente, entonces la fuerza F
tendr la direccin de ur (ser atractiva); y ser repulsiva si ambas cargas
tienen el mismo signo.
Un campo elctrico E denido en una regin U R3 se dene como
un campo vectorial en U con la siguiente propiedad: la fuerza que ejerce E
sobre una particula de carga q Coulombs situada en r = (ri ) viene dada por
F = E(r; t0 )q. Las unidades de E sern entonces N=C, Newton/Coulomb.

10.3. Campos elctricos generados por cargas es-


tticas
introduzcamos primero el concepto de densidad de carga,

Denicin 10.3.1 La densidad de carga (u; t) en una regin cualquiera


D R3 es una funcin escalar denida con la propiedad de que la cantidad
Rtotal de carga contenida en D en el momento t 3vendra dada por C(t) =
(u; t)du. Claramente, tiene unidades de C=m , Coulomb/metro cbico.
D

Una distribucin de cargas dada por una funcin de densidad de carga


(u; t) en una regin U R3 determina en cada instante t un campo elctrico
E que puede determinarse a partir de la ley de Coulomb: para nitas cargas
q1 ; : : : ; qn , situadas en posiciones r1 ; : : : ; rn , el campo en la posicin r sera
la fuerza total resultante que ejerce cada una de las partculas qi sobre una
partcula que se colocara en r, con carga unitaria un Coulomb. Esta fuerza
estar dada por
1 P n qi
E(r) = ui ,
4 "0 i=1 jr ri j2
donde ui denota el vector unitario ui = (r ri )= jr ri j. Para una distribu-
cin de cargas dada en el instante t por la funcin (u; t), el campo electrico
generado por estas cargas estara dado entonces por
1 R (u; t)(r u)
E(r; t) = du:
4 "0 U jr uj3
Si r = (xi ); vemos que:
3 Z
1 X (u1 ; u2 ; u3 ; t)(xi ui )
E(x1 ; x2 ; x3 ; t) = du1 du2 du3 ei :
4 "0
i=1 U [(x1 u1 )2 + (x2 u2 )2 + (x3 u3 )2 ]3=2
(10.3)
174 CAPTULO 10. APNDICE II: CAMPO ELCTRICO

Las siguientes imgenes ilustran la forma de algunos campos (lneas del


campo) para distribuciones muy simples de cargas:

Una particula cargada

Dos particulas cargadas


10.3. CAMPOS ELCTRICOS GENERADOS POR CARGAS ESTTICAS175

Dos placas con carga uniforme

Ejemplo 10.3.2 Sea B una bola centrada en el origen, de radio R y con una
distribucin de carga constante = 3Q=4 R3 (la carga total es precisamente
Q). Si pensamos B embebida de forma concntrica en una esfera ms grande
S, de radio z > R, entonces, de la simetra del problema se sigue que las
componentes tangenciales y normales del campo elctrico generado por B
debern ser constantes. As que la componente tangencial es cero en todo
punto, pues al ser constante, si no fuese cero en algun punto, as mismo lo
sera en todos y habra un campo vectorial no nulo y continuo sobre S, lo
cual es una contradiccin. Luego en cada p 2 S el campo tendr la direccin
n(p) del vector normal unitario a S en p.

Para determinar su magnitud, jemos el punto p = (0; 0; z) y calculemos


j Ez j = j E(0; 0; z)j, el aporte de cada pequeo elemento de carga. La
regin con coordenadas esfricas entre r y r + r, y + ; y +
aporta j Ez j cos (ver gura). Teniendo en cuenta que el diferencial de
volumen viene dado por Vol = r2 sin drd d ), este aporte ser igual a:

j Ez j (z r cos )
j Ez j cos =
[r2 sin2+ (z r cos )2 ]1=2
(z r cos )r2 sin
= drd d
4 "0 [r2 sin2 + (z r cos )2 ]3=2
176 CAPTULO 10. APNDICE II: CAMPO ELCTRICO

As que la magnitud de Ez ser


Z 2 Z RZ
(z r cos )r2 sin drd d
jEz j = 2 d drd
4 "0 0 0
2
0 [r sin + (z r cos )2 ]3=2
Z Z
2 3Q=4 R3 R (z r cos )r2 sin
= 2 d dr:
4 "0 0
2
0 [r sin + (z r cos )2 ]3=2

En Maple (o mediante el cambio de variable, haciendo u = cos ) puede


verse que
Z
(z r cos )r2 sin r2 (r z cos )
d = p
(r2 sin2 + (z r cos )2 )3=2 z 2 r2 2rz cos + z 2

Evaluando entre 0 y se obtiene un valor igual a 2r2 =z 2 , si z > R. Luego

Q 2R3 Q 1
E(0; 0; z) = 3 2
= e3 :
8 R "0 z 4 "0 z 2
De aqu deducimos que el campo elctrico generado por la bola B es igual
al de una masa puntual situada en el origen, y de carga Q. As que el ujo
total a travs de S sera:
Q 1 Q
4 z2 = .
4 "0 z 2 "0
10.4. POTENCIAL ELCTRICO 177

Claramente, la simetra del problema permite deducir que para cualquier


punto p con coordenadas (r; ; ) el campo elctrico deber ser E(p) =
(Q=4 "0 r2 )ur , donde ur denota el vector unitario en la direccin p = (0; 0; z).

10.4. Potencial elctrico


En general, la frmula 10.3 es difcil de aplicar. Afortunadamente, si la
distribucin de cargas es esttica, (u; t) = (u) (no depende del tiempo),
entonces el campo elctrico generado por una distribucin (u) de cargas
siempre admite una funcin potencial. Es decir, para una distribucin es-
ttica de cargas, o en general, para un campo elelctrico E(u) esttico (que
no dependa del tiempo), existe una funcin escalar (u) con la propiedad
de que E(u) = grad( )(u).
En el caso ms simple de una carga q, digamos situada en el origen, la
funcin denida como
q 1
(x1 ; x2 ; x3 ) =
4 "0 (x21 + x22 + x23 )1=2
es una funcin potencial: en efecto,
q
grad( )(x1 ; x2 ; x3 ) = (x1 ; x2 ; x3 )
4 "0 (x21 + x22 + x23 )1=2
q
= ur = E(x1 ; x2 ; x3 )
4 "0 jrj2
donde r = (x1 ; x2 ; x3 ) y ur = r= jrj.
Desde el punto de vista fsico, si : [a; b] ! U R3 es una trayectoria
L en U , el trabajo que realiza el campo E para llevar una partcula de carga
q desde (a) = p1 hasta (b) = p2 est dado por
Z Z b
qE d = q E( (t)) 0 (t)dt (10.4)
L a
Z b
= q grad( )( (t)) 0 (t)dt
a
Z b
0
= q ( (t))dt = ( q)( (b) (a)):
a

En el caso general de una distribucin cualquiera de cargas, la funcin po-


tencial est dada por
1 R (u)
(r) = du: (10.5)
4 "0 U jr uj
178 CAPTULO 10. APNDICE II: CAMPO ELCTRICO

Es un ejercicio elemental vericar que

1 R (u)(r u)
grad( )(r) = du:
4 "0 U jr uj3

En el caso de una partcula de carga q centrada en el origen vemos que


(1) = 0. Luego el potencial en p; (p), puede interpretarse como el trabajo
necesario para llevar una particula de carga 1 Coulomb, desde el punto p1
hasta innito p2 = 1: La funcin tendr entonces unidades de trabajo
por unidad de carga, que en el sistema SI sern joules/C, unidad llamada
voltio.

10.5. Teorema de Gauss


Supongamos ahora una distribucin de cargas en una regin U de R3 da-
da por una cierta funcin (u; t). Sea E(u; t) el campo elctrico determinado
por (ecuacin 10.3). Nuestro propsito es mostrar que si D es un dominio
con frontera suave, entonces el ujo de E a travs de @D en el instante t es
igual a "0 , la permitividad del vaco, por la carga total contenida en D. De
manera precisa:

Teorema 10.5.1 (Gauss) Supongamos una distribucin de carga dada por


una funcin (u; t), y sea D un dominio con frontera suave. Sea E(r; t) el
campo elctrico asociado a , como en la ecuacin 10.3. Entonces

1. El ujo de E a travs de @D en el instante t es igual a la carga total


contenida en D
Z Z
Q
E(r; t) n dA = , con Q = (u; t)du:
@D "0 D

De aqu se sigue que en cada instante t se satisface la ecuacin:

2.
(u; t)
div E(u; t) = : (Maxwell (1))
"0

Prueba. En el Ejemplo 10.3.2, vimos que el ujo a travs de una esfera de


radio , B D, sera Q="0 . Adems computamos de manera explcita el
campo electrico en cualquier punto p = (r; ; ), con r > , como E(p) =
Q 1
4 "0 r 2 ur . En este caso, un cmputo directo demuestra que div(E) = 0, para
todos los punto por fuera de B .
10.5. TEOREMA DE GAUSS 179

Ahora, si B D es una bola de radio ; centro arbitrario o, y carga


total (o; t) V , V = volumen(B ), por el teorema de la divergencia, el
ujo total del campo elctrico a travs del slido cuyas fronteras son S , la
frontera de B ; y @D sera cero.

De aqu que Z Z
E(r; t) n dA = E(r; t) n dA:
@D S
R
Por tanto @D E(r; t) n dA = (0; t) V ="0 . Entonces, si la carga total
dentro de D se divide en pequeas
R esferitas de radio , la contribucin total
de toda la caga ser 1="0 (u; t)du="0 = Q="0 .
Para demostrar la segunda armacin, podemos R razonar de la siguien-
te
R manera: el ujo total del campo elctrico, @D E(r; t) n dA; es igual a
D div E(u; t)du (teorema
R de la divergencia). Por lo demostrado antes, tam-
bin es igual a "10 (u; t)du: Luego
Z Z
1
div E(u; t)du = (u; t)du;
D "0 D

para cualquier regin con frontera suave D. Esto implica entonces que
div E(u; t) = (u; t)="0 .

Corolario 10.5.2 (Poisson) 1. Para un campo esttico E en una regin


D con funcin de potencial se tiene que

@2 @2 @2 (u)
+ + = :
@x2 @y 2 @z 2 "0
180 CAPTULO 10. APNDICE II: CAMPO ELCTRICO

2. Si en una subregin con frontera suave U D no hay cargas elctricas


( (u) = 0, para todo u 2 U; y por tanto el campo E est generado por
cargas exteriores, fuera de U ) entonces el campo elctrico satisface la
denominada ecuacin de Laplace.

@2 @2 @2
+ + = 0 en U .
@x2 @y 2 @z 2

Prueba. Como E(u) = grad (u), el teorema anterior junto con la ecuacin
(10.2) nos dicen que:

@2 @2 @2 (u)
= div(grad (u)) = 2
+ 2 + 2 = :
@x @y @z "0

El numeral 2 se sigue inmediatamente de 1, pues (u) = 0 en U:


Captulo 11

*Aplicaciones: polarizacin
de un fotn

11.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 propa-
gacin 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 difer-

181
182CAPTULO 11. *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 obstan-


te, 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
11.2. MODELO CORPUSCULAR 183

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

11.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
184CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN

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 per-
mite pasar aquellas ondas cuyos campos elctricos estn en el plano deter-
minado 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)

cos 2 sin 2
T = ;
sin 2 cos 2

entonces

e1 ( ) = cos "1 + sin "2 ; (11.1)


e 1( )= sin "1 + cos "2

son los dos vectores propios de T , los cuales constituyen una base ortonor-
mal, 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.
11.2. MODELO CORPUSCULAR 185

2. Si la polarizacin del fotn se representa en la base 11.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 in-


terpretacin: 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 11.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 RR 1
j j2 dz = D (x
2
+ y 2 )dxdy = :
D 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 es-


tados !1 = p12 ("1 +i"2 ), (polarizacin circular a derecha) y !2 = p12 ("1 i"2 )
(polarizacin circular a izquierda) . Existen materiales transparentes cristal-
inos que, aunque homogneos, son anistropos, es decir sus propiedades p-
ticas 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 caracters-
ticas a 45o con cualquiera de sus ejes principales, la luz emergente estar
polarizada circularmente.

11.2.1. Polarizadores en serie


Qu ocurre ahora si ponemos dos polarizadores, P 1 y P 2 , uno a con-
tinuacin de otro, y hacemos pasar un fotn, primero a travs de P 1 y luego
186CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN

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 perpendic-


ulares), 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 es-
cribirse de manera nica como v = e1 ( ) + e 1 ( ). Luego jhv; e1 ( )ij2 =
j j2 = j j2 :

Observacin 11.2.2 Notemos que el modelo cuntico explica la ley de


Malus: supongamos que I0 es la intensidad de un haz de luz luego de pasar
un primer polarizador, que, sin prdidad de generalidad, supondremos que es
P ; con . Si interpretamos I0 como el nmero de fotones que atraviesan P
por unidad de tiempo, entonces, dado que la probabilidad de un fotn que
haya atravesado el primer polarizador, atraviese un segundo polarizador P
11.2. MODELO CORPUSCULAR 187

es jh"1 ; e1 ( )ij2 = cos2 ( ), entonces, de los I0 fotones en promedio I0 cos2 ( )


atravesarn P , como arma esta ley.

11.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
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 p +2
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 2 2
jhe1 ( =4); e1 ( =2)ij = "1 + "2 ; cos( =2)"1 + sin( =2)"2
2 2
*p p +2
2 2 1
= "1 + "2 ; " 2 =
2 2 2
188CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN

Luego la mitad de aquellos que pasaron P =4 atravesarn P =2 . As, !una


octava parte de ellos pasarn las tres lminas!

11.3. Experimento EPR: entrelazamiento cunti-


co
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 cun-
tico le resultaba perturbadora, pues violaba a su juicio el principio de local-
idad. 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 caracters-
tica 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 polar-
izacin 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 po-
larizacin 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.

11.3.1. Sistemas de dos o ms partculas


Matemticamente, la polarizacin de dos fotones p1 y p2 no es simple-
mente 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 cun-
tico viene representado por un vector unitario

v= 11 "1 "1 + 12 "1 "2 + 21 "2 "1 + 22 "2 "2 ;


11.3. EXPERIMENTO EPR: ENTRELAZAMIENTO CUNTICO 189

P 2
donde j ij j = 1: Por ejemplo, como se describe en [2], pgina 16,
i;j=1;2:
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 "1 + "2 "2 );
2
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 (11.1) se sigue que
"1 = cos( )e1 ( ) sin( )e 1( );
"2 = sin( )e1 ( ) + cos( )e 1( ):
De manera similar,
"1 = cos( )e1 ( ) sin( )e 1( );
"2 = sin( )e1 ( ) + cos( )e 1( ):
Luego,
= p12 [cos( )e1 ( ) sin( )e 1 ( )] [cos( )e1 ( ) sin( )e 1 ( )]
+ p12 [(sin( )e1 ( ) + cos( )e 1 ( )] [sin( )e1 ( ) + cos( )e 1 ( )]

1 1
= p cos( )e1 ( ) e1 ( ) + p cos( )e 1( ) e 1( )+ (11.2)
2 2
1 1
+ p sin( )e1 ( ) e 1 ( ) p sin( )e 1( ) e1 ( ));
2 2
190CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN

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 21 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 ( ) e 1( ); (11.3)


en caso de p1 atravesar el polarizador, o

2 = cos( )e 1( ) e 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 obten-
er +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
2 cos ( ), como era de esperarse.

11.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 sugeri-
da por algunos fsicos, incluyendo a Einstein. De manera precisa, suponga-
mos que el experimento anterior, descrito en la gura 8, pudiera explicarse
de manera local. Esto es, supongamos que los fotones vienieran distribuidos
aleatoriamente y fueran cada uno de tipo , una cierta variable oculta, con
2 [0; 2 ], y donde se distribuye de acuerdo con alguna funcin de prob-
R2
abilidad, quiz desconocida, ( ), con ( ) 0 y ( )d = 1: Supogamos
0
adems que existiera una funcin desconocida A( ; ) que solo toma valores
1, y tal que A( ; ) = +1, si un fotn de tipo p atraviesa el polarizador,
y toma el valor 1 cuando no lo atraviesa.
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
11.3. EXPERIMENTO EPR: ENTRELAZAMIENTO CUNTICO 191

un fotn escogido al azar (de cualquier tipo p ) registre +1 (atraviese P )


R2
vendra dada por 12 (A( ; ) + 1) ( )d :
0
Para dos fotones entrelazados, siempre se observa que 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. El modelo cuntico predice
este comportamiento: si p1 atraves P , y por tanto la onda colaps en

1 = cos( )e1 ( ) e1 ( ) + sin( )e1 ( ) e 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 genial de Bell para refutar la existencia de variables ocultas
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( ; )A( ; ). Al hacer un nmero muy
grande experimentos con fotones distribuidos al azar segn la distribucin
, el promedio observado deber ser entonces:

R2
P( ; ) = ( )A( ; )A( ; )d :
0

La idea de Bell est en estimar la diferencia P ( ; ) P ( ; ) para tres


posibles direcciones ; ; :

R2
P( ; ) P( ; ) = ( )[A( ; )A( ; ) A( ; )A( ; )]d
0
R2
= ( )[A( ; )A( ; ) A( ; )A( ; )A( ; )2 ]d (pues A( ; )2 = 1)
0
R2
= ( )A( ; )A( ; )[1 A( ; )A( ; )]d :
0
192CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN

Pero, jA( ; )A( ; )j 1, y por tanto


R2
jP ( ; ) P ( ; )j = ( )A( ; )A( ; )[1 A( ; )A( ; )]d
0
R2
j ( )(1 A( ; )A( ; ))j d
0
R2
( )[1 + P ( ; )]d
0
R2
[1 + P ( ; )] ( )d 1 + P ( ; ):
0

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 (11.2) vemos que las probabilidades de obtener
mediciones f+1 y +1g o f 1 y 1g, seran 21 cos2 ( ) en ambos casos.
Luego la probabilidad de obtener una correlacin (mediciones del mismo
signo) sera cos2 ( ). De otro lado, y de manera similar, la probabilidad
de obtener valores con signo contrario es igual a sin2 ( ). Al hacer un
nmero muy grande, n; de experimentos, la diferencia P ( ; ) =nmero total
de correlaciones nmero total de no correlaciones sera igual entonces a
n(cos2 ( ) sin2 ( )). En promedio se obtendra un valor igual a
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( ) = 1
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 EXPERIMENTAL-


IST, http://arxiv.org/ftp/quant-ph/papers/0402/0402001.pdf

[3] Gri ths, D. J. (2005). Introduction to quantum mechanics. Pearson


Education India.

[4] D. Cox, J. Little, D. OShea, Ideals, Varieties and Algorithms, Springer-


Verlag 1996.

[5] Lang, S. Complex Analysis, Springer Verlag, (2013).

[6] Adams, W. W., & Loustaunau, P., An Introduction to Grbner bases,


Providence: American Mathematical Society, AMS, (Vol. 3), 1994.

[7] Erwin Kreyszig, Matemticas Avanzadas para Ingeniera, 8va edicin,


captulos 10, 11, 12.

[8] David Powers, Boundary Value Problems, and Partial Di erential


Equations, 5th Edition, Chapters 1-5.

[9] Nakhl Asmar, Partial Di erential Equations with Fourier series and
Boundary Value Problems.

[10] Dave Benson, Music: A Mathematical O ering, Department of Mathe-


matics, Meston Building, University of Aberdeen,Aberdeen AB24 3UE,
Scotland, UK, Home page: http://www.maths.abdn.ac.uk/bensondj/.

[11] P., Richard, Robot Manipulators: Mathematics, Programming, and Con-


trol: the Computer Control of Robot Manipulators, MIT (1981).

193
194 BIBLIOGRAFA

[12] Eisenbud, D, Commutative Algebra: with a view toward algebraic geom-


etry (Vol. 150). Springer Science & Business Media (1995).

[13] M. Gardner,Nuevos Pasatiempos Matemticos, Alianza Editorial.

[14] Rayleigh, J. W. S. B. (1896). The Theory of Sound. Macmillan.