Clases Matemáticas Especiales

MATEMATICAS ESPECIALES
CAPTULOS I-VII
J. D. VELEZ
U NACIONAL
SEGUNDO SEMESTRE DE 2015
ii
ndice general
Introduccin
1. Bases de Groebner
1.1. Anillos de polinomios . . . . . . . . . .
1.2. Ideales y Variedades Algebraicas . . . .
1.3. Ordenes monomiales . . . . . . . . . . .
1.4. Algoritmo de la divisin en k[x1; :::; xn ] .
1.5. Bases de Groebner . . . . . . . . . . . .
1.6. S-polinomios y algoritmo de Buchberger
1.7. Sistemas de ecuaciones polinmicas . . .
1.7.1. Soluciones explcitas . . . . . . .
2. Control cinemtico de brazos mecnicos
2.1. Anlisis del caso l2 = l3 . . . . . . . . .
2.2. Analisis de un robot con l2 6= l3 . . . . .
2.3. Brazos en tres dimensiones . . . . . . .
2.4. Simulacin en Maple . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
6
7
12
14
17
19
.
.
.
.
27
35
39
43
43
3. *Demostracin mecnica de teoremas en geometra

4. Ecuacin de una cuerda vibrando
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . .
4.2. Solucin de la ecuacin de onda de una cuerda .
4.3. Modo fundamental y armnicos . . . . . . . . . .
4.4. Escalas musicales . . . . . . . . . . . . . . . . . .
4.4.1. Escala pitagrica . . . . . . . . . . . . . .
4.5. Escala Temperada . . . . . . . . . . . . . . . . .
4.5.1. Interludio: lectura de un artculo de Klaus
iii
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
Ziegler
47
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
57
59
63
63
67
73
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
6.1. Calor y temperatura . . . . . . . . . . . . . . . . . . . . . . .
6.2. Ley de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . .
6.3. Ecuacin del calor en un clilindro de densidad uniforme . . .
6.4. (Opcional) Ecuacin del calor en un cuerpo P . . . . . . . . .
6.5. Ecuacin del calor en un cilindro. . . . . . . . . . . . . . . . .
6.5.1. Extremos a temperatura cero . . . . . . . . . . . . . .
6.5.2. Solucin con temperatura constante arbitraria en los
extremos . . . . . . . . . . . . . . . . . . . . . . . . .
6.5.3. Otras condiciones de frontera . . . . . . . . . . . . . .
97
97
99
101
104
106
106
108
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
Introduccin
Los tres primeros captulos de estas notas pretenden servir de breve introduccin 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 alguna familiaridad con el lenguaje bsico del lgebra de polinomios. Aquellos
interesados exclusivamente en las aplicaciones de la teora pueden omitir en
una primera lectura todas las demostraciones de los teoremas. 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 [1], [2]. Una buena introduccin a la robtica puede leerse en [3].
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 [6],[7],[8]. Para una discusin sobre las escalas musicales y su
construccin matemtica, el lector puede consultar [9].
vi
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 sobre k en las variables x1 ; :::; xn ; se denotar
Ppor k[x1 ;1:::; xn ]:n Sus elementos son sumas nitas de la forma f =
c x1
xn , donde =
1 ;:::; n )
=(
( 1 ; : : : ; n ) denota una tupla de enteros

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

A cada expresin u = x1 1
xnn se le llama un monomio en las variables x1 ; :::; xn , y a cada sumando c x1 1
xnn se le denomina un trmino de
1
n
f . Cada monomio u = x1
xn se pueden denotar de manera abreviada
como u = x , donde, recordemos, = ( 1 ; : : : ; n ), con i enteros
P no negativos. 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 frecuencia nos referiremos al monomio u = x1 1
xnn simplemente como x ,
con = ( 1 ; : : : ; n ). Su grado se dene como la suma de los exponentes
+ n:
i , y se enotar por j j = 1 +
1
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
c d x + . Aqu,
f + g = (c + d )x . Y se multiplican como f g =
;
si = ( 1 ; : : : ; n ) y = ( 1 ; : : : ;
denicin ( 1 + 1 ; : : : ; n + n ):
n ),
entonces el exponente
Ejemplo 1.1.1 En R = Q[x; y; z], si f =

y 3xy + 8xyz z 3 , entonces:
f +g =
Si h =
1 + 8xyz
13 + x + y
z3 y g =
1 + 2xy
xy + 3xyz
12 + x + y
5xyz y g =
es por
12 + x +
z3:
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 muestra a continuacin.
1.2. IDEALES Y VARIEDADES ALGEBRAICAS
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 [4]).
Denicin 1.2.3 Dado un conjunto de polinomios A = ff1 ; : : : ; fm g en
el anillo R = k[x1 ; :::; xn ]; la variedad algebraica determinada por A; que
denotaremos por V (A); se dene como el conjunto de todas aquellas n-tuplas
en k n que son ceros comunes a todos los polinomios de A: Es decir,
V (A) = fc = (c1; :::; cn ) 2 k n : fi (c1 ; : : : ; cn ) = 0; para todo fi en Ag:
El conjunto V (A) de la denicin anterior es precisamente el conjunto de
todas las soluciones del sistema de ecuaciones
f1 (x1 ; : : : ; xn ) = 0
..
.
fm (x1 ; : : : ; xn ) = 0:
Ejemplo 1.2.4
1. Si R = R[x; y] y A = fx2 + y 2
1; y x2 g, entonces V (A) puede hallarse mediante el comando ResolucinC[, ]. O
de manera directa, si substituimos y = x2 en la primera ecuacin

obtenemos: x2 + x4 1 = 0: La frmula
para la ecuacin cuadrtip
1
5
2
ca proporciona el valor de x =
: De aqu la nica solucin
2
q
p
p
p
5 1
5 1
no negativa sea 52 1 : Luego x =
y
y
=
2
2 , y por tanq
qp
p
p
p
5 1
5 1
5 1
5 1
;
; que es precisato V (A) =
2 ; 2
2 ; 2
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
2
x +y +z
z=0
1 = 0:
En otras palabras, la variedad cortada por xy z y x2 + y 2 + z 2 1

es la interseccin en R3 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
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
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 ]
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
;
:
:
:
;
),
contada
de
derecha
a
izquierda
es
negativa
(el
1
n
n
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 polinomios 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
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
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
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 previamente 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
Denimos h1 = f 0
g 0 )m1 + f 0 = m1 gi1 + (f 0
g 0 m1 ):
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

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 +

ai ; polinomios apropiados.
+ as gs + hr , con ciertos
El paquete Singular, de acceso gratuito, es uno de ellos (puede descargarse 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
4
y + 1; g2 = xyz y 2 + z 3 son polinomios en Q[x; y; z], con orden lexicogrco, 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 =

yz 3 yz y z 3 1:
xz 3 + xz 2 + xz
y4 + y3z4 + y3z3
yz 4
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
4 x2 + 2xz + 4z 2
2
5 5
cuyas entradas son los polinomios a1 = x2 + 2xz + 4z 2 5 y a2 = 2:

La segunda entrada de L, L[2], contiene el residuo de la divisin, 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

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
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 efectiva una base de Groebner para I. A continuacin nos proponemos mostrar
como construir un algoritmo que nos permitir transformar un conjunto de
generadores de I en una base de Groebner para I:
1.6.
S-polinomios y algoritmo de Buchberger
Sean f y g polinomios no nulos en R = k[x1 ; :::; xn ]; con trminos lderes

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

El siguiente lema nos dice que todo tipo de cancelacin de trminos del mismo grado debe ocurrir de esta manera.
P
ci x i gi , donde los ci son
Lema 1.6.1 Supongamos que en la suma U =
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
U=
cjk x
jk
S(gj ; gk );
j;k
donde x jk =mcm(tl(gj );tl(gk )): Ms an, cada x

lder < x :
Prueba. Sea di x
jk
S(gj ; gk ) tiene trmino
el trmino lder de gi y denamos pi = x i gi =di :La suma U

puede escribirse en forma telescpica de la siguiente manera:
U=
ci di pi = c1 d1 (p1
p2 ) +
+ (c1 d1 +
+ ct
i=1;::;t
+(c1 d1 +
+ ct
1 dt 1
+ ct dt )(pt ):
1 dt 1 )(pt 1
pt )+
1.6. S-POLINOMIOS Y ALGORITMO DE BUCHBERGER

Ahora, un simple clculo nos muestra que x
las dos ecuaciones anteriores se obtiene
U=
Xt
j=1
Xj
i=1
ci di x
jk
S(gj ; gk ) = pj
jj+1
15
pk : Combinando
S(gj ; gj+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,
la conclusin del teorema se da si tl(f ) = x ;ya
P
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:
f=
tl(hi )gi +
mi =x
mi =x
(hi
tl(hi ))gi +
hi gi :
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
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
mi =x
P
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 :
j;k
16
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 [4]).
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
| {z } |
f1
2y 2 + x):
{z
}
f2
La idea para producir una base de Groebner para I consiste en ir aumentando el nmero de polinomios de la base G0 = ff1 ; f2 g; aadiendo paso
a paso los S-polinomios necesarios, hasta lograr que el residuo de cualquier
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 particular vemos que S(f1 ; f2 ) = x2 no es cero al dividirlo por G0 : Se ve
________ G
entonces que f3 =
S(f1 ; f2 )
x2 deber ser aadido al conjunto G0 :

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

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

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

es una base de Groebner para I:
1.7.
i; j
5; y por lo tanto
Sistemas de ecuaciones polinmicas
En las secciones anteriores desarrollamos un algoritmo que nos permiti calcular una base de Groebner para un ideal I de un anillo de polinomios R = k[x1 ; :::; xn ]: Nuestro propsito ahora ser utilizar este algoritmo para mostrar cmo puede resolverse un sistema cualquiera de ecuaciones
polinmicas.
En primer lugar, cuando k = C es el campo de los nmeros complejos,
un clebre teorema debido a Hilbert (ver [4]) 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 polinomios C[x1 ; : : : ; xn ] tiene al menos una solucin en Cn si y solo si el polinomio 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
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
f2 = x
z + xy + 2
y + z4 + 1
f3 = x2 + yx
z3 + 2
tiene solucin en los complejos. Para ello utilizamos GeoGebra para computar una base de Groebner para el ideal I = (f1 ; f2 ; f3 ), como se indica a
continuacin:
Ejemplo 1.7.3
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 sistema mediante una induccin sobre el nmero de variables. Empezamos
20
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 elementos de G en los que no aparecen las primeras k variables x1 ; :::; xk :
Ms an, demostraremos que estos elementos forman a su vez una base de
Groebner para Ik : Ahora, como I tambin est generado por g1 ; :::; gr , el
conjunto de soluciones del sistema (I) coincide con el conjunto de soluciones
del sistema
g1 (x1 ; :::; xn ) = 0
..
.
(1.2)
gr (x1 ; :::; xn ) = 0
y podemos entonces restringirnos al caso en el que el sistema original est
conformado por elementos de una base de Groebner. Denotemos por G1 al
conjunto de todos aquellos gi que no contienen la variable x1 (este conjunto
podra ser vaco). Si suponemos por induccin que sabemos encontrar las
soluciones del sistema
gl1 (x2 ; :::; xn ) = 0
..
.
(1.3)
gls (x2 ; :::; xn ) = 0

formado por los elementos de G1 ; entonces basta saber como completar
estas soluciones a soluciones del sistema original. Para resolver (II). Este
procedimiento se puede continuar, reduciendo en cada paso el nmero de
variables. Comencemos por demostrar la siguiente proposicin.
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 variables xi en la forma siguiente: x1 > x2 >
> xn : Sea Ik el k-simo
ideal de eliminacin (denido en el prrafo anterior). Entonces una base de
Groebner para Ik est dada por aquellos polinomios de G donde no aparecen
las variables x1 ; :::; xk :
Prueba. 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
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
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
f3 =
4y
2
4zx + y + 1
Escojamos el orden lex en R, ordenando las variables de tal modo que x >
y > z: El comando GroebnerLex[ {f1,f2,f3},{x,y,z} ] de GeoGebra permite

computar un base de Groebner para I = (f1 ; f2 ; f3 ) :
La base de Groebner est dada por G = fg1 ; g2 ; g3 g, donde
23
24

g1 (z) = 225z 8
10044z 6
g2 (y; z) = 768y + 75z 6
9210z 4 + 324z 2 + 289
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. Substituyendo 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
|{z}
| {z }
|
| {z }
a1
a2
a3
y 2 + 3xz)):
{z
}
residuo
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
1 + z + y + x.
z + x2 , f2 =
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

| {z }
| {z }
residuo
a1
(1.5)
a2
sera una divisin con residuo cero. Luego G sera una base de Groebner. De
otro lado, S(g1 ; g2 ) = 1=2yg1 1=3xg2 = y=2 x2 =3 es un elemento del
ideal J cuyo trmino lder, x2 =3; no es divisible, ni por tl(g1 ) = 2xy ni por
tl(g2 ) = 3y 2 : !Luego G no puede ser una base de Groebner!
10. Utilizando el algoritmo de Buchbereger encuentre una base de Groebner para I = (x2 y + z; xz + y) en Q[x; y; z], con orden lex.
11. Encuentre una solucin en los nmeros reales para el siguiente sistema
26
de ecuaciones:
x2
1=0
y4
4=0
wx + w = 0
wy + 2w = 0
xy + 2x
2=0
xy + y
2x
2=0
xz + z
3x
3=0
yz + 2z
3y
6=0
12. Muestre que el sistema siguiente no tiene ninguna solucin

x2 + y 3 = 0
z4
2 4
x z
3 4
x wy + y z
wxy = 0
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
son las coordenas de
q2
q medidas en el sistema V entonces las coordenadas en el sistema E pueden
obtenerse multiplicando este vector por la matriz de rotacin
En los cursos de lgebra lineal se demuestra que si
cos
sin
sin
cos
Es decir,
cos
sin
sin
cos
q1
a
=
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;
entonces, si las coordenadas de q en E 0 son
c0
, las coordenadas en E seran
d0
p
c0
c
= 0 + 1 ;
d
p2
d
p1
son las coordenadas de p referidas a E.
p2
Finalmente, si V = 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
, donde
coordenadas de q con respecto a E seran
b
donde
cos
a
=
sin
b
sin
cos
q1
p
+ 1
q2
p2

La razn es simple: para hallar las coordenadas de q en el sistema E 0 , multiq
plicamos el vector 1 por la matriz de rotacin. Luego, a este nuevo vector,
q2
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
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
Supongamos, en nuestro brazo de ejemplo, que
donde 3 es el ngulo (medido en direccin positiva) que forma la mano con

respecto al sistema E3

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

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

a E1 , las coordenadas de q estaran dadas por
2 3 2
a1
cos
4 b1 5 = 4 sin
1
0
|
1
1
32 3
sin 1 0
a2
cos 1 05 4 b2 5
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 ).
Observacin 2.0.8 En resumen, el punto q, de coordenadas
coordenadas absolutas E1 , se expresara como
a4
; en las
b4
a1
; 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

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

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

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

Este ltimo sistema puede cambiarse por un problema de ecuaciones polinmicas, haciendo x = cos( 1 ); y = sin( 1 ), z = cos( 2 ), w = sin( 2 ):
l3 xz
l3 yw + l2 x
c=0
l3 yz + l3 xw + l2 y
d=0
x + y2 = 1
z 2 + w2 = 1
Observacin 2.0.9 Notemos que un ngulo 0
< 2 queda unvocamente 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 determinado, excepto el signo. Luego, conocido x, es decir, el coseno del ngulo,
2.1. ANLISIS DEL CASO L2 = L3

existir un nico ngulo
2.1.
35
con y = sin( ) y x = cos( ):
Anlisis del caso l2 = l3
Comencemos por resolver el sistema para l2 = l3 = 1: Para ello computamos una base de Groebner con el orden lex, tomando, por 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
2
f2 = c + d
f3 =
cd
f4 = x2 + y 2
f5 = cy
f6 =
2cx
2
4cy
4d3 y
4c2 dy
4c2
(2.2)
2dy
2
2d2 x + 2cdy + 4dxy + 4c
dx + w
2
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

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
y2
dy +
(c2 + d2 )2 4c2
= 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 cuadrtica (o pueden encontrarse utilizando Geogebra). As obtenemos que:
d
y=
2
jcj
(c2 + d2 )
2 c2 + d2
(2.3)
(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.

CASO II: c 6= 0
De la ecuacin f2 = c2 + d2
2cx
2dy = 0 se obtiene:
c2 + d2 2dy
;
2cp
4 (c2 + d2 )
d
p
donde, recordemos, y =
jcj
2
2 c2 + d2
x=
Una vez jados valores para x y y; (y por tanto determinado

ecuacin quinta se obtiene un nico valor para w, dado por
w = dx
cy
(2.4)
1 ),
de la
(2.5)
La sexta ecuacin siempre nos da una nica para z, dada por:

z=
(c2 + d2 )
2
(2.6)
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 alcanzables 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
; x=
=
=
2
2c
2c
c
z = 1, w = 0:
y=
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

y l3 = 2.
Una base de Groebner est dada por

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

siguientes:
y=
z=
d(c2
d2 + c2
4
3 + d2 )
(9 (c2 + d2 ))((c2 + d2 ) 1)
c2 + d2 2dy
,
x
=
2(c2 + d2 )
2c
2
3
2
2
5
dc
3d + d
(2d + 2c )y
, w=
4c
jcj
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
10d2 + d4 + 4d2 x2
h2 = 9
h3 = 2w
h4 =
d2
xd
2
d + 5 + 4z
Si suponemos adems d 6= 0, estas ecuaciones tienen como solucin:

d2
y=
2d
2
d
z=
4
10d2 d4
2 jdj
5
dx
; w=
2
; x=

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
2.3.
43
Brazos en tres dimensiones
Discutamos un brazo mecnico como el anterior, pero para el cual su

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

q = ( 0 ; x1 ; y1 ), donde 0 es el ngulo que forma el plano (x1 ; y1 ) con respecto a un sistema coordenado (u; v), anclado en el piso. En este sistema
coordenado, el problema cinemtico inverso se reduce de manera inmediata
al problema discutido en la seccin anterior, pues de las coordenadas de q
podemos leer inmediatamente el ngulo 0 , y proceder, como ya se explic,
para calcular los ngulos 1 ; 2 y 3 que situan la mano en q:
2.4.
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)

if t <= 1/3 then return([3*t*theta1,0,0]); end if;
if t<=2/3 then return([theta1,(3*t-1)*theta2,0]); end if;
return([theta1,theta2,(3*t-2)*theta3]); end proc:
robot(theta1, theta2,theta3,l1,l2,l3,c,d) graca un brazo robotizado compuesto de tres segmentos de longitudes l1, l2, l3, una mano y un punto
q=(c,d), que forman angulos theta1, theta2, theta3, como se muestra a continuacin:
robot:=proc(theta1,theta2,theta3,l1,l2,l3,c,d)
local P,A,B,L;
L:=[point([c,d],color=black,symbol =soliddiamond, symbolsize = 35, color=green)];
L:=[op(L), rectangle([-1, 0], [1, -1], color = black) ];
L:=[op(L), line([0,0], [0,l1], color=red, thickness=8) ];
L:=[op(L), line([0,l1], [l2*cos(theta1),l2*sin(theta1)+l1], color=blue,thickness=8)
];
L:=[op(L), line([l2*cos(theta1),l2*sin(theta1)+l1],
[l3*cos(theta1+theta2)+l2*cos(theta1),
l3*sin(theta1+theta2)+l2*sin(theta1)+l1], color=red,thickness=8) ];
A:=[0.1*cos(theta3+3*Pi/2),0.1*sin(theta3+3*Pi/2)];
B:=[-0.1*sin(theta3+3*Pi/2),0.1*cos(theta3+3*Pi/2)];
P:=[l3*cos(theta1+theta2)+l2*cos(theta1),
l3*sin(theta1+theta2)+l2*sin(theta1)+l1];
L:=[op(L),line(-A+P,A+P,color=blue, thickness=8),
line(A+P,A+B+P,color=blue, thickness=8),
line(-A+P,P+B-A,color=blue, thickness=8)];
display(op(L) ); end proc:
F:=(theta1,theta2,theta3, t,l1,l2,l3,c,d)->robot(op(alpha(theta1,theta2,theta3,t)),l1,l2,l3,c,d):
brazo(theta1,theta2,theta3,l1,l2,l3,c,d) graca un punto q=(c,d) y anima
un brazo, desde la posicin inicial theta1=theta2=theta3=0, hasta la posicin theta1, theta2, theta3.
brazo:=proc(theta1,theta2,theta3,l1,l2,l3,c,d)
local F; F:=t->robot(op(alpha(theta1,theta2,theta3,t)),l1,l2,l3,c,d);
animate( F, [t], t=0..1, frames=100);
end proc:
ROBOT(l1,l2,l3,c,d) recibe como argumentos valores l1, l2, l3, c, d,
que son las longitudes de cada uno de los tres brazos articulados, seguidas
2.4. SIMULACIN EN MAPLE
45
de las coordenadas (c,d) de un punto q en el plano. El algoritmo computa un movimiento del robot para situar su mano en el punto q. Es decir, el algoritmo alcanza dicho punto, cuando ello es posible. Por ejemplo:ROBOT:=proc(l1,l2,l3,c,d)
local S,E, a1,a2,theta1,theta2, theta3;
if (sqrt(c^2+(d-l1)^2) >l2+l3 or sqrt(c^2+(d-l1)^2) < l2-l3)
then return(.el punto es inalcanzable") end if; if (c=0 and d=l1)
then return( brazo(0,Pi,Pi/2,l1,l2,l3,c,d)); end if;
S:=fsolve([l3*cos(theta1+theta2)+l2*cos(theta1)-c,
l3*sin(theta1+theta2)+l2*sin(theta1)+l1-d]);
a1:=op(S[1])[2];a2:=op(S[2])[2] ; theta1:=a1-oor(a1/(2*Pi))*2*Pi;
theta2:=a2-oor(a2/(2*Pi))*2*Pi;theta3:=Pi/2;
brazo(theta1,theta2,theta3,l1,l2,l3,c,d);
end proc:
ROBOT(2, 1, 1, -1.1, 1.1);
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 dispongamos 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
g2 : x24 + (x3
u1 )2
(x1
x3 )2 + (x2
(x4
x4 )2 = 0
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 ecuaciones 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) correspondientes 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 imponer 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 idnticamente 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 ecuaciones 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 ecuaciones 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 Groebner 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
1=
q
X
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

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
comn, B(u); se obtiene una ecuacin de la
Pq
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 mecnica 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. Gardner arma: pocos problemas de la geometra eucldea son ms difciles e
insidiosos... [5].
Fijemos el punto A en el origen de un sistema de coordenadas. Supongamos 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 ecuaciones 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
tan( ) =
2 tan( =2)
;
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
h7 : x6
v2 (x5
u1 ) = 0
u3 (x3
h8 : x6
u1 ) = 0
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:

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 ]; asociado a X0 ; el abierto de la variedad X = V (h1 ; h2 ; h3 ; h4 ; h5 ; h6 ; h7 ); correspondiente 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 instrumentos 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 [6],[7],[8]. Para una discusin
sobre las escalas musicales y su construccin matemtica, el lector puede
consultar [9].
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 pos53
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. Denotemos por u(x; t) la funcin que representa la forma que asume la cuerda
en el instante t (puede pensarse que el grafo de u(x; t) representa una foto de la cuerda en el instante t). Nuestro propsito es econtrar la ecuacin
diferencial parcial que rige su movimiento. Para ello haremos dos hiptesis
fundamentales:
1. Cada punto sobre la cuerda vibra en direccin vertical exclusivamente.
2. 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 denotemos por (x; t), (x + h; t) los ngulos que forma la tangente a la cuerda
en los punto u(x; t) y u(x + h; t), respectivamente. La tensin horizontal en
cada uno de estos puntos ser
TH (x; t) = T (x; t) cos (x; t)
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 penden 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
del tiempo, y entonces para todo tiempo t, T = (t) = m

resumen:
9;8 Newtons. En
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 pedazo de cuerda comprendido entre x y x + h es aproximadamente h, pues
recordemos que su longitud puede calcularse mediante la frmula
s
2
x+h
R
@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
' 1: Luego
cercano a cero. Por tanto 1 + @u
@x (s; t)
s
x+h
R
x
1+
@u
(s; t)
@x
ds '
x+h
R
x
1ds ' h:
Finalmente, la diferencia entre las tensiones verticales en x y x + h es la

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

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

sin (x; t)= cos (x; t); es igual a tan (x; t) = @u=@x(x; t); de donde se sigue
que
@2u 0
1
(@u=@x(x + h; t) @u=@x(x; t)) =
(x ; t):
h
T @t2
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
Si c =
T = , la ecuacin toma la forma denitiva:

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

u(0; t) = u(L; t) = 0. Adems, en el instante t = 0 la funcin u toma la
forma de una cierta funcin f (x); as que u(x; 0) = f (x). Supusimos adems
que la cuerda, comenzando en esa posicin, se suelta sin ninguna velocidad
inicial y comienza a vibrar. Esto proporciona una condicin inicial adicional
@u=@t(x; 0) = 0: En resumen el problema que se debe resolver es el siguiente
(c.f. = condicin de frontera, c.i. = condicin inicial):
4.2.
Solucin de la ecuacin de onda de una cuerda
Una manera de resolver la ecuacin anterior es suponer que existen soluciones de la forma u(x; t) = F (x)G(t). A este mtodo se le conoce como
separacin de variables. Para una funcin u cuyas variables estn separadas,
la ecuacin 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
ser iguales a una cierta constante k: Se obtienen entonces dos ecuaciones

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

k < 0:
1. Si k = 0, F (x) sera una funcin lineal de la forma F (x) = ax + b. La
condicin inicial ci.1 obligara a que F (0) = b = 0 y F (L) = aL = 0; y
en consecuencia F sera identicamente cero forzando a u = F G a ser
trivial.
2. Si k > p0, entonces F (x) = Aek1 x + Be k1 x , con A; B constantes y
k1 = + k: Nuevamente, la condicin F (0) = F (L) = 0 fuerza a que
A = B = 0, y u sera as mismo una funcin trivial en este caso.
3. Luego la nica posibilidad interesante ocurre cuando k es una constante negativa. Escribamos k = p2 , con p > 0. En este caso la
solucin general de 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 combinacin lineal de soluciones sea solucin. No obstante, como se ver ms
adelante, la condicin inicial CI.2 solo podr lograse mediante una combinacin lineal innita (una serie) de las funciones un (x; t), una que tendr la
forma:
1
P
Bn sin(n x=L) cos( n t);
(4.3)
u(x; t) =
n=0
= cn =L
4.3. MODO FUNDAMENTAL Y ARMNICOS
59
de tal manera que

u(x; 0) = f (x) =
1
P
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
1
P
f (x) =
Bn sin(n x=L)
n=0
RL
siempre es posible, tomando coecientes Bn = 2=L f (x) sin(n x=L)dx:
0
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
Bn . En este caso la solucin de la ecuacin de onda estar dada precisamente 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,
medida
p en Newtons, sera T = 2 9;8 =
p
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"
L x,
0 x L=2
, la funcin que
L), L=2 x L
describe la forma inicial de una cuerda, la cual se pulsa en su punto medio,
Ejemplo 4.3.2 Sea f (x) =
2"
L (x
62
y hacia abajo, una pequea cantidad " > 0 antes de soltarla.
Segn vimos, la solucin de la ecuacin de onda tiene la forma

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

u(x; 0) = f (x) =
1
P
bn sin(
n=1
n x
):
L
Los coecientes de Fourier bn como veremos en la prxima seccin, se calculan mediante la frmula:
bn =
2 RL
n x
)dx
f (x) sin(
L0
L
2
=
L
L=2
R
0
RL 2"
2"
n x
(
x) sin(
)dx +
(x
L
L
L=2 L
!
n x
L) sin(
)dx
L
Utilizando de Nuevo GeoGebra (en su defecto, la integracin se hace fcilmente por partes) vemos que:
I1 = (
I2 =
R
"L(n cos( n2 ) 2 sin( n2 ))
2" L=2
n x
) (x) sin(
)dx =
L 0
L
n2 2
2" RL
(x
L L=2
L) sin(
n x
)dx =
L
"L(2 sin( n2 ) + n cos( n2 )

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

I1 + I2 =
4"L
n2 2
sin(
n
)=
2
4"L
2 n2 (
0; si n = 2k
1)k+1 , si n = 2k + 1
4.4. ESCALAS MUSICALES
63
y por consiguiente:
bn =
2
(I1 + I2 ) =
L
8"
2 n2 (
0; si n = 2k
1)k+1 , si n = 2k + 1
Luego
f (x) =
1 ( 1)k+1
8" P
sin
2
2
k=0 (2k + 1)
(2k + 1) x
L
De aqu entonces se sigue que

u(x; t) =
1 ( 1)k+1
8" P
sin
2
2
k=0 (2k + 1)
(2k + 1) x
L
cos
c (2k + 1)t
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.
4.4.1.
Escalas musicales
Escala pitagrica
Recordemos que la frecuencia del tono fundamental (llamdo frecuencia de la cuerda)

de una cuerda vibrando viene dado por fL = c=(2L),
p
donde c = T = es una constante que depende de la tensin y de la densidad de la cuerda. As, al cambiar la longitud de L a L0 la frecuencia de
la cuerda cambiar en proporcin al cociente de las longitudes. Es decir,
fL0 = c=(2L0 ) = (L=L0 )fL :
Es conocido por todo acionado a la msica que una nota cuya frecuencia
sea el doble de otra (una octava ms alta, en lenguaje musical) conserva
todas sus caractersticas esenciales. Lo mismo ocurrir entre dos notas cuyas
frecuencias f y f 0 sean tales que f =f 0 es un potencia de dos. En este caso
el odo humano las percibir como si fuesen el mismo tono, solo que la nota
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
de que cuando el cociente L=L0 era igual a una potencia de dos, las notas
musicales producidas por ambas cuerdas al vibrar parecan coincidir, excepto por lo agudo o grave del sonido. Pitgoras tambin descubri de manera
emprica que cuando haca sonar simultaneamente dos cuerdas cuyas longitudes estaban en proporcin dada por una fraccin igual al cociente de
dos enteros pequeos, como por ejemplo L=L0 = 3=2, 4=3; 5=4; 9=8; : : : se
obtena un efecto placentero, armnico. As, por ejemplo, cuando una cuerda
de longitud L se acorta a dos tercios de su longitud su frecuencia al vibrar
se multiplica por 3=2; esto es, fL0 = (3=2)fL . En esta situacin el sonido
de ambas cuerdas vibrando de manera simultnea se escucha consonante y
muy armnico. Igualmente, la frecuencia de una cuerda de longitud igual
a cuatro quintos de la original es igual a fL0 = (5=4)fL : De nuevo, las dos
cuerdas suenan armnicas cuando se escuchan simultaneamente.
Ese efecto de armona o consonacia aumenta cuando tres cuerdas, de
longitudes L; (4=5)L y (2=3)L vibran simultaneamente. Notemos que en este
caso sus frecuencias, fL ; (5=4)fL y (3=2)fL estn en proporciones 5=4 y 6=5.
Un conjunto de tres notas cuyas frecuencias se encuentren en esa proporcin
se denomina una triada mayor justa. De otro lado, cuando la proporcin
ocurre en el orden contrario, 6=5 y 5=4; el sonido de las tres cuerdas al
vibrar tambin resulta muy agradable, aunque carga un inconfundible tinte
de nostalgia. Una de estas triadas se denomina triada menor justa. Estas dos
clases de combinaciones de notas, que en la escala temperada (denida ms
abajo) reciben el nombre de acordes mayores y acordes menores son la base
de toda la armona de la msica occidental, donde, por supuesto, la armona
aparece enriquecida con muchos otros acordes, como aquel que se obtiene
de combinar notas en proporciones 5=4; 6=5; 7=6 (una sptima), y otras
combinaciones ms complejas, como los denominados acordes disminuidos,
aumentados, con segundas, cuartas...
Volviendo a nuestra discusin sobre la escala pitagrica, la idea de Pitgoras consisti en tomar potencias (positivas y negativas) de la fraccin 3=2
para construir as una escala musical cuyas frecuencias estuvieran comprendidas entre una cierta frecuencia fundamental f0 y su octava ms prxima
2f0 . Ilustremos la idea de Pitgoras tomando como referencia la frecuencia del do central del piano f0 = 261; 626 Hz. Supongamos que a pulsar
una determinada cuerda de longitud L se obtiene esta frecuencia, llamada
en terminologa musical, la tnica. Entonces, al pulsar esa misma cuerda
acortada a 2=3 de su longitud se obtendra una nota cuya frecuencia sera
(3=2)f0 = 392;439; muy cercana, aunque no igual (como explicar ms adelante) al sol central del piano. Si, por otro lado, la cuerda se alargase a
una vez y media su longitud, (3=2)L, su frecuencia entonces disminuir a
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:
32
33
34
35
36
37
38
39
310
311
3
f0 ; f0 ; 3 f0 ; 4 f0 ; 6 f0 ; 7 f0 ; 9 f0 ; 11 f0 ; 12 f0 ; 14 f0 ; 15 f0 ; 16 f0 ; : : :
2
2
2
2
2
2
2
2
2
2
2
66
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 frecuencias correspondientes a la escala del piano moderno, llamada escala temperada.
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 correspondera a la potencia decimosegunda: (3=2)12 . En este caso debemos reducir
la fraccin, dividndola por la potencia 219 ; para obtener la frecuencia de la
correspondiente nota dentro de la tnica y su octava superior. Esta operacin nos da: (312 =219 )f0 = 1;01364f0 = 265;19. La nota as obtenida tiene
una frecuencia muy cercana, pero no igual, a la frecuencia del do central. El
cociente entre estas dos frecuencias se denomina coma pitagrica. Una coma
es entonces igual a 1;01364:
Observacin 4.4.1 * En trminos matemticos, la construccin de la escala pitagrica corresponde a tomar las clases de equivalencia de las fracciones (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 consecutivas elegidas. Estos semitonos son: 37 =211 = 1;0679 y 28 =35 = 1;0534: Sus
frecuencias son muy cercanas, aunque no iguales, lo cual es indeseable pues
cuando se 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 llevada 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 cociente entre las frecuencias de dos notas consecutivas sea igual a = 21=12 .
As, si partimos del do central del piano, f0 = 261;626 Hz; las notas de esta
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
La guitarra, el piano, el oboe, la auta, y en general todos los instrumentos de la orquesta estn construidos para reproducir las notas de la escala
tremperada. En la guitarra, por ejemplo, el diapasn est dividido de tal
manera que al pisar una misma cuerda en los distintos trastes su frecuencia
aumenta proporcional a (un semitono).
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:
69
Es un ejerccio elemental determinar cul deber ser la tensin de cada cuerda, conocida su densidad, para que al vibrar al aire cada una de las seis
cuerdas produzcan las frecuencias que se muestran en la siguiente tabla:
Acordes mayores y menores en la escala temperada

Detengmosnos a analizar de nuevo las triadas mayores y menores que
discutimos ms arriba, vistas ahora desde la perspectiva de la escala temperada. Recordemos que una triada mayor cosiste de tres notas en proporciones
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
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
= 4 (0;65)2 (246;94)2 0;57 10
= 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):
m=
4 L2 2
f ' 10
g
4 2
f :
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, aproximadamente, a las notas mi (1318.51 Hz ) y do# (do sostenido, 2217;4
Hz)
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 frecuencias 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 tercera, 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 corresponden a las potencias (3=2)n , n = 0; ::; 4, comenzando en una determinada 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
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
73
Solucin: un acorde mayor est formado por tres notas cuyas frecuencias 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 tercera 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 inspirado 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
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 quinta: 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 construccin 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 ascendente 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 insuperables. En primer lugar, el ciclo de quintas jams se cierra: la potencia decimosegunda 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 Pitgoras 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
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 construir instrumentos capaces de reproducir el mayor nmero de intervalos perfectos, al costo, muchas veces, de hacerlos increblemente complejos. En su
obra Harmonie universelle, Marin Mersenne (tambin famoso por sus estudios 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 cerrada 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 compositor 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 intervalos 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 distribuidos 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 parmetros 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
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 cuentan 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 musicales 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, interrogantes 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 encontremos nostlgico el sonido simultneo de tres notas cuyas frecuencias estn
en relacin de 6=5y 5=4 (tono menor) y jubilosa una terna cuyas proporciones se encuentran en el orden contrario. No menos misterioso resulta el
hecho de que una sucesin rtmica de frecuencias y armnicos pueda despertar en todos los humanos las emociones ms sublimes y los ms profundos
sentimientos de tristeza y alegra.
77
Tomado de el peridico El Espectador: http://www.elespectador.com/opinion/depitagoras-hasler-busca-de-escala-perfecta
78
Captulo 5
Series de Fourier
Este captulo pretende resumir los teoremas y frmulas bsicas de la
teora de series de Fourier (vase por ejemplo [6]) con el nimo de que pueda
ser utilizadas para solucionar la ecuacin de onda desarrollada ms arriba, 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
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 [8], 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
s(x) = a0 +
1
P
an cos(
n=1
la cual satisface:
n x
n x
) + bn sin(
)
L
L
1. En cada punto x se cumple que:

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

la igualdad es igual a f (x) y se tiene en este caso que:
f (x) = a0 +
1
P
n=1
an cos(
n x
n x
) + bn sin(
)
L
L
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
1
P
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
1
a0 =
2L
ZL
f (x)dx
(Euler)
an =
1
L
ZL
f (x) cos(
ZL
f (x) sin(
n x
)dx,
L
n x
)dx,
L
1
bn =
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
= 1=2L( aL + aL) = 0:
84
De manera similar, si n
RL
1 sabemos que an = 1=L
f (x) cos(n x=L)dx,
y esta integral pude calcularse como suma de integrales

I1 = 1=L
Z0
f (x) cos(nx=L)dx e I2 = 1=L
ZL
f (x) cos(n x=L)dx;
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 :

J1 = 1=L
Z0
f (x) sin(n x=L)dx =
ZL
sin(n x=L)dx;
a=L
= a=L
Z0
sin(n x=L)dx
y
J2 = 1=L
ZL
f (x) sin(n x=L)dx = a=L
ZL
sin(n x=L)dx:
Por tanto J1 = J2 de donde

2a
L
2a
(
cos(n x=L)jL
(cos(n )
0) =
L
n
n
4a
2a
n , si n es impar
=
(1 ( 1)n ) =
0, si n es par.
n
bn =
1)
De aqu que la serie para f (x) sea

s(x) =
4a
1
X
n=1;3;5;:::
1
n x
sin(
)
n
L
(5.1)
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
a = s(L=2) =
4a
1
X
n=1;3;5;:::
1
n
4a 1
sin( ) =
(
n
2
1
1 1
+
3 5
1
+
7
):
(5.2)
85
De aqu obtenemos la maravillosa frmula (debida a Leibniz)

4
1
1
1 1
+
3 5
1
+
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
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 comL
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 conL
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
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: Calculemos su serie de Fourier, utilizando para ello las capacidad de integracin
simblica de GeoGebra.
f (x) = x2
R1
Como la funcin es par vemos que bn = 0. De otro lado, a0 = 1=2 x2 dx =
1
x3 =6
R1
= 1=6 + 1=6 = 1=3: Adems, an = 2=1 x2 cos(n x)dx: La integral

0
88
puede computarse como se muestra a continuacin:
:
Ahora, sin(n ) = 0, para todo n mientras que cos(n ) = ( 1)n . Luego la
integral anterior es igual a an = ( 1)n 4= 2 n2 . De aqu que la serie de Fourier
sea:
1 ( 1)n
1
4 P
cos(n x):
+ 2
2
3
n=1 n
Como f (x) satisface las condiciones del Teorema 5.1.6, y es continua, vemos
que
1 ( 1)n
1
4 P
x2 = + 2
cos(n x):
2
3
n=1 n
Si evaluamos ambos lados en x = 0, respectivamente en x = 1, obtenemos
tres extraordinarias frmulas debidas a Euler:
2
1 ( 1)n
P
1
1
1
1
=
=
+ 2
+
2
2
2
12
n
1
2
3
4
n=1
2
1 ( 1)n
P
1
1
1
1
=
( 1)n = + 2 + 2 + 2 +
2
6
1 2
3
4
n=1 n
2
1
1
1
+ 2+ 2+
8
1 3
5
La ltima frmula se obtiene sumando las anteriores.
=
2"
L x,
0 x L=2
, la funcin que
L), L=2 x L
describe las condiciones iniciales de una cuerda que se desplaza hacia abajo
una pequea cantidad " > 0 antes de soltarla y ponerla a vibrar.
Ejemplo 5.1.11 Sea f (x) =
2"
L (x
89
Segn lo visto en la Seccin 4.2, la solucin de la ecuacin de onda tiene la

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

Fourier para f (x) para el cual se cumpla 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

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

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

bn =
8"
2 n2
sin(
n
)=
2
8"
2 n2 (
1)k
0; si n = 2k
:
sin( n2 ), si n = 2k + 1
90
Luego
f (x) =
1 ( 1)k+1
8" P
sin
2
2
k=0 (2k + 1)
(2k + 1) x
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
1
1
P
P
una serie de la forma
bn sin( nLx ) o de la forma a0 +
an cos( nLx ).
n=1
n=1
1. Para el primer caso, extendemos f hacindola par en el intervalo

[ L; L]: para ello, solo basta denir f ( x) = f (x), si L
x
0.
Despus se extiende de manera peridica a toda la recta real.
2. En el segundo caso, extendemos f de manera impar a [ L; L] si denimos 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:
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, denida 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
2
0
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
1
an =
L
ZL
2
jxj cos(n x=L)dx =
L
2
L
ZL
x cos(n x=L)dx =
jxj cos(n x=L)dx
ZL
2L
n2 2
(1
cos(n ))
=
=
2L
n2
(1
( 1)n )
0, n es par
;
2 ; si n es impar
4L
n2
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
; si n = 2k + 1
(2k+1)2 2
92
De otro lado, jxj sin(n x=L) es una funcin impar y por consiguiente
1
bn =
L
ZL
jxj sin(n x=L)dx = 0:
De lo anterior se sigue que

1
L ( 4L) X
1
f (x) = +
cos
2
2
(2k + 1)2
k=0
L ( 4L)
+
2
2
(2k + 1) x
L
1
x
1
3 x
1
5 x
cos( ) + 2 cos(
) + 2 cos(
)+
2
1
L
3
L
5
L
Ejemplo 5.1.14 Consideremos la funcin f (x) = sin(x), 0
Extendamos de manera par esta funcin al intervalo [

ponde a la funcin g(x) = jsin(x)j.
; ], lo cual corres-
93
Notemos que esta ltima funcin es peridica con perodo 2 : Hallemos su seR
rie de Fourier, usando las frmulas de Euler y el hecho de que cos( n x ) sin(x)dx =
(1 + cos(n ))=(1
a0 =
an =
1
2
1
n2 ) y que
Z
sin( n
jsin(x)j dx =
) jsin(x)j dx = 0 :
1
(2
2
sin(x)dx) =
jsin(x)j cos(
n x
)dx =
cos(nx) sin(x)dx
1)n
2 1 + cos(n )
21+(
=
(1 n2 )
(1 n2 )
(
4
si n es par
(1 n2 )
=
0; si n es impar
=
bn =
jsin(x)j sin(nx)dx = 0:
De aqu que
g(x) =
1
4X
k=0
2
(2k)2
cos(2kx):
Ejemplo 5.1.15 Hallemos la serie de Fourier de la extensin impar peridica, 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
En este caso la funcin es impar, y por consiguiente an = 0, para todo n

y
bn =
x sin(nx)dx =
(2
x sin(nx)dx)
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
dx
( 1)n+1
sin(nx)
n
= ( 1)n+1 cos(nx)

se obtiene la serie
1
P
95
( 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
(2k+1) x
1
mltiplo entero de L (x = kL). Al derivar cada trmino (2k+1)
2 cos
L
se obtiene
d
dt
1
cos
(2k + 1)2
(2k + 1) x
L
(2k + 1)L
sin
(2k + 1) x
L
De aqu que
f (x) =
( 4) X
k=0
1
sin
(2k + 1)
(2k + 1) x
L
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:
s1 (x) =
( 4) X
k=0
1
cos((2k + 1)x); Ejemplo 5.1.13.
(2k + 1)2
1
X
( 1)k+1
sin(kx); Ejemplo 5.1.15.
s2 (x) = 2
k
k=1
96
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 [6], [7], [8].
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, hecho 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 determinado, 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
de energa calriR
ca contenida en P , en el instante t, es igual a E = c u(x; y; z)dxdydz (inteP
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 denotaremos con la letra J), entonces la cantidad de energa necesaria para elevar
un litro de agua (masa = 1kg) un grado centigrado ser 4186;8 J, aproximadamente (esta energa depende de otras variables, como la temperatura
inicial del agua y la presin atmosfrica, que en esta discusin dejaremos
de lado). Esta medida de energa calrica es precisamente la denicin de
kilo calora, Kcal; si se quiere, 1 Kcal = 4186;8 J. As, entonces, para el
agua, su calor especco c es igual a 4186;8 J/kg C . Esta constante, medida en Kcal, es obviamente igual a 1 Kcal/kg C . La siguiente tabla muestra
algunos valores de c para ciertos materiales:
6.2. LEY DE FOURIER
6.2.
99
Ley de Fourier
La transferencia de calor obedece una ley simple descubierta por JeanBaptiste 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 pequea 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 denota 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 energa 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
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 temperatura. Entonces el fujo de calor que atraviesa la seccin Ax0 tendra la direccin de grad(u) = @u=@x = 4xe1 jx=x0 , donde e1 denota el vector 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 transferencia 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
grad(u(x; y; z; 1) =
=
@u @u @u
;
;
)
@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
Transferencia en la tapa superior = 0;1
R1 R1
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
Transferencia en la tapa inferior =
R1 R1
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, densidad constante , fabricado con un material cuyo calor especco es c y
102
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 diferencia (6.1) proporciona una medida del calor que escapa de la rodaja.
Pero
E(t) = Ac
E(t +
t) = Ac
x+h
Z
u(x; t)dx ' Ahc u(x; t) y
x
x+h
Z
u(x; t +
t)dx ' Ahc u(x; t +
t):
Luego
c u(x; t +
t)h
c u(x; t)h =
t (@u=@x(x + h; t)
@u=@x(x; t)) ;
que es equivalente a
c
u(x; t +
t)
c u(x; t)
t
5. Tomando el lmite cuando h ! 0 y

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

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

teriales:
Tabla 2
para algunos ma-
104
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
Luego
E(t +
t)
t
E(t)
c
=
u(x; y; z; t +
t)dxdydz
u(x; y; z; t)dxdydz
0
Z
u(x; y; z; t +
@
=c
B
t
t)
t
u(x; y; z; t) A
Tomando el lmite cuando t ! 0 se obtiene que el cambio instantneo de

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

de la frontera
de B, en la direccin del normal exterior, est dado por la
R
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
R
@u
c
(x; y; z; t)dxdydz = @B hn; grad u(x; y; z; t)i dA:
@t
(6.3)
Por el Teorema de la divergencia de Gauss sabemos que

Z
R
div(grad(u))dxdydz:
@B hn; grad(u(x; y; z; t)i dA =
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;
@t
B
(6.4)
donde
div(g) =
@g1 @g2 @g3

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

@u @u
( @u
@x ; @y ; @z ) se obtiene
@2u @2u @2u
+ 2 + 2
@x2
@y
@z
que se denomina el Laplaciano de u, el cual se denotar por
Ahora, la ecuacin 6.4 puede escribirse en la forma:
Z
@u
(c
u)dxdydz = 0:
@t
div(grad(u)) =
u.
106
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 =
@x2
@y
@z
@t
(Ecuacion del Calor)
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:
c @u
@2u
=
;
(6.5)
@x2
@t
ecuacin que, segn vimos, se suele escribir en la forma:
@2u
1 @u
=
,
@x2
@t
con
= =(c ).
6.5.
6.5.1.
Ecuacin del calor en un cilindro.

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
@x2
@t
u(x; 0) = f (x);
(6.6)
u(0; t) = u(L; t) = 0
= =c :
Como en el ejemplo de la cuerda vibrante, el mtodo de separacin de variables proporciona una manera de hallar la solucin. Suponemos u(x; t) =
F (x)G(t). La ecuacin @ 2 u=@x2 = (1= )@u=@t obliga entonces a que F 00 (x)G(t) =
1= F (x)G0 (t), y por tanto F 00 =F = y G0 = G = , para una cierta constante
. Ahora, las condiciones iniciales fuerzan a que u(0; t) = F (0)G(t) = 0, para
todo t y u(L; t) = F (L)G(t) = 0. De aqu que F (0) = F (L) = 0, pues buscamos una solucin no trivial. Luego F debe satisfacer lla misma ecuacin
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
2 , en cuyo caso para cada valor
trivial ocurre cuando < 0, digamos =
de n = 1; 2; : : : y n = n =L existen soluciones Fn (x) = sin(n x=L).
La otra ecuacin, G0
G = 0 se convierte entonces en G0 + 2n G = 0,
2
2
cuya solucin general es G(t) = bn e n t . Cada un (x; t) = bn sin(n x=L)e n t
es entonces una solucin.
Utlizamos de nuevo el principo de superposicin para hallar una solucin
general de la forma:
u(x; t) =
1
X
2t
n
bn sin(n x=L)e
= n =L;
(Soluc. a la ec. del calor)
n=1
donde para lograr que se satisfaga la condicin inicial u(x; 0) = f (x) es

necesario que
f (x) = u(x; 0) =
1
X
bn sin(n x=L)
n=1
sea el desarrollo en serie de Fourier de una extensin impar de f (x) al intervalo [ L; L]: De aqu que
bn = 2=L
ZL
f (x) sin(n x=L)dx:
Ejemplo 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
bn = 2=1
Z1
100 sin(n x)dx
Z1
sin(n x)dx =
= 200
200
cos(n x)j10
n
200
=
(cos(n )
n
1) =
200
n (
2); n es impar
0, n es par
De aqu que
400=(n ), si n = 1; 3; 5; : : :
: = 1;1
0, si n = 2; 4; 6; : : :
1
X
400
u(x; t) =
sin ((2k + 1) x)) e 1;1 10
(2k + 1)
bn =
10
4 ((2k+1)
)2 t
n
1
k=0
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 consiguiente si u1 (x; t) satisface la ecuacin @ 2 u1 =@x2 = 1= @u1 =@t, entonces la
funcin u(x; t) tambin la satisfara. Si adems u1 (x; t) satisface las condiciones 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 ecuaciones (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 condicin u1 (x; 0) = f (x) v(x). En conclusin:
109
La solucin del problema

@2u
1 @u
=
, t > 0, 0 < x < L
2
@x
@t
u(x; 0) = f (x);
(6.8)
u(0; t) = T1 , u(L; t) = T2
= =c :
puede obtenerse haciendo u(x; t) = u1 (x; t) + v(x), donde v(x) =
T1 ; y u1 (x; t) es solucin del problema:
(T2 T1 )
x+
L
@ 2 u1
1 @u1
=
, t > 0, 0 < x < L
@x2
@t
u1 (x; 0) = f (x) v(x);
(6.9)
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 longitud 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
bn = 2=1 (10x2
0
= 20
R1
10x) sin(n x)dx = 20 (x2
x) sin(n x)dx
2 + 2 cos(n )
3 n3
80
, si n es impar
0, si n es par.
3 n3
Luego la solucin sera

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

del calor en una barra de longitud L, cuyo coeciente de difusin es delta,
110
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
t = 125 s
111
112
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 problemas 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
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 constante . Distingamos tres casos:
1. Si > 0, la nica
solucin
para u(x; t) es la trivial, pues en este caso
p
p
x . Pero la condicin inicial @u=@x(0; t) =
F (x) = Ae+ x + Be
@u=@x(L; t) = 0 fuerza a que
p
(A B)G(t) = 0
@u=@x(0; t) =
p
p
p
L
@u=@x(L; t) =
(Ae+ L Be
)G(t) = 0:
De lapprimera pecuacin vemos que A = B. De la segunda se sigue que
L ) = 0. De aqu que A = 0:
A(e+ L e
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.
2 . La ecuacin F 00 (x) +
< 0, escribimos, como antes,
=
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:
3. Si
pA sin(0) + pB cos(0) = 0, y en consecuencia B = 0

pA sin( x) = 0;
de donde vemos que
debe tomar valores
= n =L, n = 1; 2; : : :.
114
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:
u(x; t) = a0 +
1
P
an cos(
n x)e
2t
n
n=1
Si hacemos x = 0, vemos que la condicin inicial u(x; 0) = f (x) se puede

satisfacer si
1
P
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
L
0
1:
El siguiente recuadro resume la discusin anterior:

La solucin del problema
@2u
1 @u
=
, t > 0, = =c :
2
@x
@t
u(x; 0) = f (x); 0 x L
@u
@u
(0; t) =
(0; L) = 0;
@x
@x
(6.10)
viene dada por

u(x; t) = a0 +
1
P
an cos(
n=1
L
R
n x)e
2t
n
n
L
a0 = 1=L f (x)dx
0
RL
an = 2=L f (x) cos(

0
n x
)dx, si n
L
1:
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
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
R5
a0 = 1=5 ( 2x + 5)dx =
0
R5
an = 2=5 ( 2x + 5) cos(
0
10
n2
(2( 1)n
2
6.
10
Calculamos:
(1=5)x2 + x
n x
)dx =
5
2) =
5
0
= 0:
10(n sin(n ) + 2 cos(n )

n2 2
2)
40
2 n2 ;
n = 1; 3; 5; 7; : : :
0, si n = 2; 4; 6; : : :
Luego la solucin u(x; t) es igual a
u(x; t) =
40
2
1
n x
cos(
)e
2
5
n=1;3;5::: n
1;1 10
6 (n
=5)2 t
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 aproximadamente en t = 3;2 106 ' 37;03 das se alcanza esta temperatura.
116
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 soluciones particulares en algunas situaciones. Con algunas variaciones, seguiremos los expuesto en cualquiera de los textos referenciados en la bibliografa
al comienzo del curso [6], [7], [8].
7.1.
Ecuacin de una membrana vibrante rectangular
Supongamos una membrana elstica M de forma rectangular cuyos bordes se encuentran connados a los lados del cuadrado [0; a] [0; b]. 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 comprendida 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) =
Th (x; y +
y; t) =
x cos (x; y; t)
x cos (x; y +
y; t);
donde (x; y; t) denota el ngulo que forma la tangente (en el respectivo

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

Tv (x; y; t) =
T (x; y; t) sin (x; y; t)
x sin (x; y; t)
y
Tv (x; y +
y; t) = T (x; y +
=
y; t) sin (x; y +
x sin (x; y +
y; t)
y; t):
(7.2)
(7.3)
La fuerza total resultante en direccin vertical es entonces igual a la diferencia:

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

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

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

pedazo de memebrana, en la direccin considerada, sera:
y sin (x +
x; y; t)
y sin (x; y; t);
(7.7)
7.1. ECUACIN DE UNA MEMBRANA VIBRANTE RECTANGULAR121

ecuacin que puede escribirse (despus de multipicar por
en la forma:
@u
@u
y
(x; y + y; t)
(x; y; t) :
@x
@x
y y utilizar (7.6)
(7.8)
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:
x
@u
(x; y +
@y
= m(x; y)
@u
(x; y; t) +
@y
y; t)
@u
(x; y +
@x
y; t)
@u
(x; y; t)
@x
(7.9)
@2u
;
@t2
donde
m(x; y) =
y+
R yx+R xp
1 + (@u=@x)2 + (@u=@y)2 dxdy
es la masa del elemento de membrana

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

dos ecuaciones diferenciales:
G00 + (c )2 G = 0 y
De aqu resultan
La segunda ecuacin puede interpretarse de la siguiente manera: si

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

@2
@2
+
=
@x2
@y 2
[(
1. En efecto:
m 2
n
) + ( )2 ]
a
b
m;n (x; y):
De otro lado, 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

Al igual que en el caso de la cuerda vibrante, para satisfacer la condicin inicial u(x; y; 0) = f (x; y), buscamos
una solucin en forma de
P
suma innita (serie): u(x; y; t) =
um;n (x; y; t). Haciendo t = 0 se ve
m;n
entonces que se debe cumplir:
f (x; y) =
bm;n
m;n (x; y):
(7.11)
m;n
Esta suma correspondera al desarrollo de Fourier doble de la funcin f (x; y). Los coecientes bm;n pueden determinarse con el mismo
mtodo utilizado en el caso de la cuerda, esto es, notando que existen de manera anloga las siguientes relaciones de ortogonalidad (que
se pueden comprobar, por ejemplo, utilizando GeoGebra, o por integracin directa):
Rb Ra
00
Rb Ra
00
m;n (x; y) m0 ;n0 (x; y)dxdy
= 0, si (m; n) 6= (m0 ; n0 ), m; n; m0 ; n0
m;n (x; y) m0 ;n0 (x; y)dxdy
ab
, si (m; n) = (m0 ; n0 ), m; n; m0 ; n0
4
Por consiguiente, al multiplicar ambos lados de 7.11 por

par jo (m; n); y despus integrar, se obtiene:
Rb Ra
f (x; y)
00
1:
m;n (x; y)dxdy
= bm;n
m;n ;
para un
ab
;
4
de donde se deduce:
bm;n =
m x
n y
4 Rb Ra
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
f (x; y) sin(
) sin(
)dxdy:
ab 0 0
a
b
r
m
n
=
( )2 + ( )2 :
a
b
bm;n =
m;n
Ejemplo 7.2.1 Consideremos la siguiente membrana cuadrada determinada por a = b = 1 y c = 1= . Supongamos que f (x; y) = xy(x 1)(y 1),
1:

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

ejemplo.
En t = 0
t = 6;53
t=0
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
R1
= sin( y)2 sin(n y) sin( x)2 sin(m x)dx:
0

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

4
R1
sin( y)2 sin(n y)dx

(m3 4m) 0
16
4
64
=
= 2 3
3
3
(m
4m)
(n
4n)
(m
4m)(n3
bm;n = 4
4n)
cuando m; n son ambos impares, y en caso contrario bm;n = 0: Ahora,

p
m2 + n2
Luego
u(x; y; t) =
64
2
2
m;n impares mn(m
1
4)(n2
4n)
sin(m x) sin(n y) cos(
m;n
p
m2 + n2 t)
128
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 modo fundamental. Como funcin de t, um;n (x; y; t) es peridica, con perodo
2 =c m;n . De aqu se sigue entonces que la solucin a la ecuacin de la
membrana vibrante con condicin inicial f (x; y) = m;n (x; y), que es precisamente la funcin:
um;n (x; y; t) =
m;n (x; y) cos(c m;n t)
= sin(m x=a) sin(n y=b) cos(c
m;n t);
tiene una frecuencia igual a

fm;n
c
= c m;n =2 =
2
m 2
n
) + ( )2
a
b
ciclos por segundo (Hz).

A diferencia de la cuerda vibrante, estas frecuencias fundamentales no
son mltiplos de una frecuencia bsica (no hay armnicos). Una caracterstica relevante, no obstante, es que todos los puntos situados sobre las rectas
x = km1 a y y = kn2 b, con 0 < k1 < m y 0 < k2 < n permanecen quietos en
todo momento. Esto se deduce del hecho de que sin(z) = 0 sii z = k , k
un entero. Luego sin(m x=a) = 0 si m x=a = k y por tanto x = ka=m.
Como 0 < x < a, se debe cumplir entonces que 0 < ka=m < a y por tanto
0 < k < m: De manera similar, se deduce que sin(n y=b) = 0 si y = kb=n,
con 0 < k < n: A estas lneas se les llama lneas nodales. Por ejemplo, si
a = b = c = 1, para
p
u2;3 (x; y; t) = sin(2 x) sin(3 y) cos( 13t);
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.2.
Curvas nodales
Supondremos ahora, en aras de simplicar la discusin,

que a = b = 1. FiP
jemos N , un entero positivo, y sea f (x; y) =
bm;n m;n (x; y); donde
m2 +n2 =N 2
la suma corre sobre todos los pares de enteros positivos (m; n) que satisfacen 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 2
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
0g: Como
p t
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 2
= cos(c
N t)
bm;n
m;n (x; y)
m2 +n2 =N 2
= 0; para todo t
0:
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 2
Ejemplo 7.2.3 Determinemos las curvas nodales si la condicin inicial es

igual a:
f (x; y) =
1;2 (x; y)
1
2
2;1 (x; y)
= sin( x) sin(2 y)
1
sin(2 x) sin( y);
2
las curvas nodales son las soluciones para 0 < x < 1, 0 < y < 1 de la
ecuacin
1
sin(2 x) sin( y)
2
= 2 sin( x) sin( y) cos( y) sin( x) cos( x) sin( y)
sin( x) sin(2 y)
= sin( x) sin( y)(2 cos( y)
cos( x)) = 0:
130
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 soluciones 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
f (x; y) =
1
2
1;8 (x; y)
1
2
8;1 (x; y)
+ 3 (x; y) + 3 (x; y)
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
u=
@4u @4u
@2u @2u
+
+
2
;
@x4
@y 4
@x2 @y 2
sujeta a las condiciones:

@2u
@2u
@3u
+
v
=
+ (2
p
@x2
@y 2
@x3
@2u
@2u
@3u
+
v
=
+ (2
p
@y 2
@x2
@y 3
@3u
=0
@x@y 2
@3u
= 0:
vp ) 2
@x @y
vp )
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 vibracin 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 [10]) las lneas nodales suelen ser complejas, y
forman curiosos arreglos y sorprendentes patrones, descubiertos por primera
132
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 mem2
2
2
brana viene dada por u = c12 @@t2u , donde u = @@xu2 + @@yu2 denota el Laplaciano de u. Es un ejercicio elemental (ver apndice al nal de esta seccin)
en el uso de la regla de la cadena demostrar que el laplaciano, computado
en coordenadas polares, est dada por
u=
@ 2 u 1 @u
1 @2u
+
+
:
@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
+
=
@r2
r @r
c2 @t2
u(a; t) = 0
(7.12)
(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
G+
1 0
1
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
G00
= p;
c2 G
(7.15)
donde p es una constante que, como en las ecuaciones diferenciales antes

2 . Luego de 7.15 se desprenden dos
discutidas, deber ser negativa p =
ecuaciones:
G00 (t) + ( c)2 G(t) = 0; t
r
00
(r) +
(r) +
r (r) = 0, 0
0:
r
a:
(7.16)
134
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) :

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

La solucin de la ecuacin de Bessel no puede expresarse en trminos de
funciones conocidas. Para ello hay que introducir las llamadas funciones de
Bessel de orden cero, y orden uno, de primera y segunda clase, que se denen
a continuacin (ver, por ejemplo, [6], pginas 191-200):
1 ( 1)m x2m
P
x2
x4
x6
=
1
+
+
2m (m!)2
2!(1!)2 24 (2!)2 26 (3!)2
m=0 2
1
P
( 1)m x2m
J1 (x) = x
2m+1 (m!)(m + 1)!
m=0 2
1 ( 1)m 1 s
P
2
x
m 2m
Y0 (x) =
J0 (x)(ln( ) + ) +
x
;
2m (m!)2
2
m=1 2
1
1
sm = +
+ , = l m (sm ln m), (constante de Euler).
m!1
1
m
J0 (x) =
J0 (x)
Y0 (x)
;
J1 (x)
;
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, infortunadamente, el GeoGebra.
La solucin buscada es entonces (r) = CJ0 ( r) + DY0 ( r).
Ahora, u(r; t) = (r)G(t) debe ser acotada. Pero l mx!0 Y0 (x) = 1, y
por tanto l mr!0 Y0 ( r) = 1: De aqu que debamos tomar D = 0:
Finalmente, la condicin (a) = CJ0 ( a) = 0 fuerza a que deba escogerse como n =a, donde 1 < 2 <
< n son los ceros de J0 (x). En
conclusin, para cada n 1, si n = n =a, entonces
un (r; t) = J0 (
n
n r) cos(c n t);
n =a;
es solucin de 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
[8], pgina 252):
Ra
J0 (
n r)J0 ( m r)rdr
Ra
J0 (
= 0, si m 6= n
2
n r) rdr =
a2 2
J (
2 1
n ):
Se busca entonces una solucin de la forma u(r; t) =
1
P
bn J0 (
n r) cos(c n t):
n=1
Haciendo t = 0 se debe satisfacer que

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

se obtiene
Ra
0
rJ0 (
m r)f (r)dr
m r)r,
1
P
n=1
= bm
con m
Ra
bn rJ0 (
m r)J0 ( n r)dr
a2
J1 (
2
1 jo, y luego integrando,
2
m) :
136
De aqu que
bm =
Ra
a2 J1 ( m )2 0
rJ0 (
m r)f (r)dr:
En resumen, la solucin del problema 7.12, 7.13, 7.14 est dada por
u(r; t) =
1
P
bn J0 (
n r) cos(c n t)
n=1
bn =
donde
<
2
2
a J1 (
n
a
2
Ra
2
n) 0
;
<
<
rJ0 (
n r)f (r)dr
<
son los ceros positivos de J0 (x):

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

do Maple se puede ver que
u(r; t) = 1;1J0 (
0;02J0 (
1
' 2;4,
1 r) cos( 1 t)
4 r) cos( 4 t)
' 5;5,
0;14J0 (
+ 0;01J0 (
' 8;65;
2 r) cos( 2 t)
+ 0;04J0 (
5 r) cos( 5 t)
= 11;79;
3 r) cos( 3 t)
donde
' 14;93; :::
Una animacin siguiente muestra los movimientos de la membrana en distintos instantes de t :
t=0
t = 17;3
t = 23;4
137
t = 25;5
Para aquellos lectores familiarizados con Maple, se incluyen a continuacin

los comandos para operar con funciones de Bessel:
138
7.5.
Apndice: cmputo del laplaciano en coordenadas polares
Sean (r; ) coordenadas polares denidas en el plano xy. Entonces x =

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

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

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

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

@ 2 u 1 @u
1 @2u
@2u @2u
+
+
=
+ 2:
@r2
r @r
r2 @ 2
@x2
@y
140
Bibliografa
[1] Adams, W. W., & Loustaunau, P., An Introduction to Grbner bases,
Providence: American Mathematical Society, AMS, (Vol. 3), 1994.
[2] D. Cox, J. Little, D. OShea, Ideals, Varieties and Algorithms, SpringerVerlag 1996.
[3] P., Richard, Robot Manipulators: Mathematics, Programming, and Control: the Computer Control of Robot Manipulators, MIT (1981).
[4] Eisenbud, D, Commutative Algebra: with a view toward algebraic geometry (Vol. 150). Springer Science & Business Media (1995).
[5] M. Gardner,Nuevos Pasatiempos Matemticos, Alianza Editorial.
[6] Erwin Kreyszig, Matemticas Avanzadas para Ingeniera, 8va edicin,
captulos 10, 11, 12.
[7] David Powers, Boundary Value Problems, and Partial Di erential
Equations, 5th Edition, Chapters 1-5.
[8] Nakhl Asmar, Partial Di erential Equations with Fourier series and
Boundary Value Problems.
[9] Dave Benson, Music: A Mathematical O ering, Department of Mathematics, Meston Building, University of Aberdeen,Aberdeen AB24 3UE,
Scotland, UK, Home page: http://www.maths.abdn.ac.uk/bensondj/.
[10] Rayleigh, J. W. S. B. (1896). The Theory of Sound. Macmillan.
141

Clases Matemáticas Especiales

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Clases Matemáticas Especiales

Uploaded by

Copyright:

Available Formats

MATEMATICAS ESPECIALES

3. *Demostracin mecnica de teoremas en geometra

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

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

0; y cada c denota un ele-

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

ejemplo anterior, el polinomio f = 1 + 5x1 x2 2x23 es suma de tres trminos:

CAPTULO 1. BASES DE GROEBNER

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

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

hg = 3xyz 3 24x2 y 2 z xz 3 yz 3 +8xy 2 z+8x2 yz+12z 3 96xyz+3xy x y+12:

1.2. IDEALES Y VARIEDADES ALGEBRAICAS

Ideales y Variedades Algebraicas

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

+ hm fm , donde hi 2 R son arbitrariosg :

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

CAPTULO 1. BASES DE GROEBNER

mente el conjunto formadopor los dos puntos donde se cortan la

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

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

1.2. IDEALES Y VARIEDADES ALGEBRAICAS

2. Para todo par de ideales I; J en R se cumple V (I) [ (J) = V (I \ J):

CAPTULO 1. BASES DE GROEBNER

coecientes polinmicos (en este caso, monomios) vi .

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

< y < yz < yz 2 <

< y2 < y2z <

< y2zn <

< yn < ynz <

< ynzm <

< x < xz <

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

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

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

Nuestro objetivo es dividir f 2 R = k[x1 ; :::; xn ] entre polinomios g1; :::; gs :

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

CAPTULO 1. BASES DE GROEBNER

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

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

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

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

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

Es claro que tl(gi m) tl(c x ) tl(f ); y que tl(g ) tl(c x ): Si h denota el

Existen varios paquetes de clculo simblico (infortunadamente no es el

CAPTULO 1. BASES DE GROEBNER

que podemos reescribir como f = a1 g1 +

El residuo resulta ser r =

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

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

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

2. Sea f = 2x2 yz + xy 2 + x + 1; f1 = xyz 2xy y; f2 = xy + 2: En

CAPTULO 1. BASES DE GROEBNER

Observacin 1.4.4 El algoritmo de la divisin en varias variables diere

Denicin 1.5.1 Sea I

1.5. BASES DE GROEBNER

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

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

CAPTULO 1. BASES DE GROEBNER

Si disponemos de una base de Groebner G para un ideal I en un anillo

S-polinomios y algoritmo de Buchberger

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