Beruflich Dokumente
Kultur Dokumente
J. D. VELEZ
U NACIONAL
Introduccin VII
1. Bases de Groebner 1
1.1. Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Ideales y Variedades Algebraicas . . . . . . . . . . . . . . . . 3
1.3. Ordenes monomiales . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Algoritmo de la divisin en k[x1; :::; xn ] . . . . . . . . . . . . . 7
1.5. Bases de Groebner . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. S-polinomios y algoritmo de Buchberger . . . . . . . . . . . . 14
1.7. Sistemas de ecuaciones polinmicas . . . . . . . . . . . . . . . 17
1.7.1. Soluciones explcitas . . . . . . . . . . . . . . . . . . . 19
iii
iv NDICE GENERAL
5. Series de Fourier 79
5.1. Desarrollo en serie de una funcin peridica . . . . . . . . . . 79
5.1.1. Funciones pares e impares . . . . . . . . . . . . . . . . 85
Los tres primeros captulos de estas notas pretenden servir de breve intro-
duccin a la teora de las bases de Groebner y mostrar algunas aplicaciones
elementales a la robtica y a la demostracin automtica de teoremas. No
se supone ningn conocimiento previo del tema por parte del lector, slo al-
guna familiaridad con el lenguaje bsico del lgebra de polinomios. Aquellos
interesados exclusivamente en las aplicaciones de la teora pueden omitir en
una primera lectura todas las demostraciones de los teoremas. Este material,
que no entrar en la evaluacin, aparecer en letra ms pequea.El lector
podr encontrar una excelente introduccin a la teora de bases de Groebner
en [6], [4]. Una buena introduccin a la robtica puede leerse en [11].
En el cuarto captulo derivaremos la ecuacin de onda para la cuerda
vibrante, bajo ciertos supuestos, y discutiremos su relevancia en el diseo de
las escalas pitagrica y temparada. Destacaremos adems su importancia en
la fabricacin de algunos instrumentos de cuerda. Con algunas variaciones, la
deduccin y solucion de la ecuacin de onda sigue lo expuesto en cualquiera
de los textos [7],[8],[9]. Para una discusin sobre las escalas musicales y su
construccin matemtica, el lector puede consultar [10].
vii
viii PREFACIO
Captulo 1
Bases de Groebner
f = 1 + 5x1 x2 2x23 ;
1 1
g= 3 + 2x1 + 3x2 x3 + x1 x2 x1 x2 x3 + x41 x52 x73 ;
2 3
2
h = 10 x71 + x83
3
son elementos de Q[x1 ; x2 ; x3 ].
A cada expresin u = x1 1 xnn se le llama un monomio en las varia-
bles x1 ; :::; xn , y a cada sumando c x1 1 xnn se le denomina un trmino de
1
f . Cada monomio u = x1 xn se pueden denotar de manera abreviada
n
1
2 CAPTULO 1. BASES DE GROEBNER
f +g = 13 + x + y xy + 3xyz z3:
Si h = 1 + 8xyz z3 y g = 12 + x + y 3xy, entonces
hg = 3xyz 3 24x2 y 2 z xz 3 yz 3 +8xy 2 z+8x2 yz+12z 3 96xyz+3xy x y+12:
En la ventana CAS de GeoGebra, la operacin puede hacerse como se mues-
tra a continuacin.
1.2. IDEALES Y VARIEDADES ALGEBRAICAS 3
f1 (x1 ; : : : ; xn ) = 0
..
.
fm (x1 ; : : : ; xn ) = 0:
xy z=0
2 2 2
x +y +z 1 = 0:
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 .
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. tl(ai fi ) tl(f ):
x + y + y 2 = 1 (y 2 1) + x + y + 1:
Al llegar a este punto podemos ver que ninguno de los monomios de x+y +1
es divisible por tl(g1 ) o tl(g2 ). Este ltimo polinomio ha de ser entonces el
residuo. Poniendo lo anterior en una sola ecuacin vemos que hemos escrito
f como
f = (x + y)g1 + |{z} 1 g2 + (x + y + 1);
| {z } | {z }
a1 a2 h
1. tl(ai gi ) tl(f )
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
3. Rescribimos f en la forma
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 :
2 3
4 x2 + 2xz + 4z 2 5 5
2
la divisin:
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.
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
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.
f = a1 f1 + + an fn + h;
est en el ideal tl(I):Esto obliga a que h tenga que ser cero, pues de otra manera
tl(h) sera divisible por alguno de los tl(fi ), en contradiccin con el hecho de que
h sea un residuo.
Si disponemos de una base de Groebner G para un ideal I en un anillo
de polinomios R entonces, para saber si un determinado polinomio f est
contenido en I basta dividir f por los elementos de G y ver si el residuo
de la divisin es igual a cero. Sin embargo, para poder llevar a cabo este
procedimiento necesitamos saber como se puede computar de manera efec-
tiva una base de Groebner para I. A continuacin nos proponemos mostrar
como construir un algoritmo que nos permitir transformar un conjunto de
generadores de I en una base de Groebner para I:
Ntese que dado que el trmino ms grande de U es menor que x se debe tener
P
que ci di = 0, y por lo tanto el trmino t-simo desaparece de la suma anterior.
Finalmente, pj pk tiene trmino lder menor que x ya que en esta diferencia los
trminos de grado x se cancelan entre s.
El siguiente teorema proporciona un mtodo para construir bases de
Groebner.
Teorema 1.6.2 Sea I un ideal en un anillo de polinomios R = k[x1 ; :::; xn ]:
Un conjunto G = fg1 ; :::; gt g para I es una base de Groebner si y slo si para
cada par de elementos gi ; gj el residuo de una divisin de S(gi ; gj ) por G es
igual a cero.
Prueba. Si G es una base de Groebner el resultado se tiene ya que S(gi ; gj ) es un
elemento de I: Recprocamente, debemos mostrar que si f 2 I entonces el trmino
lder de f est contenido en el ideal generado por los trminos lderes de los gi :
P
Escribamos f como f = hi gi . Sea x = mximofmi : i = 1; : : : tg;donde mi =
tl(hi gi ), sea minimal. Claramente,
P la conclusin del teorema se da si tl(f ) = x ;ya
que en este caso tl(f ) = tl(hi )tl(gi ). Veamos entonces que f no puede tener un
trmino lder de grado menor que x :Si esto fuera cierto, podramos escribir f en
la forma:
X X X
f= tl(hi )gi + (hi tl(hi ))gi + hi gi :
mi =x mi =x mi <x
Como los monomios de la segunda y tercera sumatoria tienen grados menor que
x ;esto tambin deber ser cierto para la primera sumatoria. Por el lema anterior
podemos reescribir esta sumatoria como una combinacin lineal de trminos de la
forma x j;k S(gj ; gk ); donde cada uno de estos trminos tiene grado menor que
x
P:Por hiptesis, sabemos que al dividir S(gi ; gj ) por G se obtiene S(gi ; gj )=
aijr gr ; donde cada trmino de esta suma tiene trmino lder tl(S(gi ; gj )):
Multiplicado por x jk se obtiene
X
x j;k
S(gj ; gk ) =br gr ,donde br = x jk aijr , y tl(br gr ) < x :
P
Esto nos permite reescribir tl(hi )gi como combinacin lineal de trminos de
P mi =x P 0
la forma br gr , y por lo tanto expresar f como una suma hi gi ; donde el
0
mximo de los trminos lderes de hi gi es estrictamente menor que x :Esto ltimo
contradice la minimalidad de x :
16 CAPTULO 1. BASES DE GROEBNER
f1 = x2 y z + xy + 2
f2 = x y + z4 + 1
f3 = x2 + yx z3 + 2
tiene solucin en los complejos. Para ello utilizamos GeoGebra para com-
putar una base de Groebner para el ideal I = (f1 ; f2 ; f3 ), como se indica a
continuacin:
Ejemplo 1.7.3
1.7. SISTEMAS DE ECUACIONES POLINMICAS 19
Ahora, usamos el comando Extrae para listar cada uno de los polinomios de
la base G y visualizarlos de manera cmoda:
por ordenar las variables xi en orden lexicogrco de tal manera que x1 >
x2 > > xn : Usando este orden construimos una base de Groebner
G = fg1 ; :::; gr g para el ideal I: Bajo este orden el ideal de eliminacin Ik ;
denido como I \ k[xk+1 ; :::; xn ] (este conjunto es un ideal de k[xk+1 ; :::; xn ],
pero no del anillo original k[x1 ; :::; xn ]), resulta generado por aquellos el-
ementos de G en los que no aparecen las primeras k variables x1 ; :::; xk :
Ms an, demostraremos que estos elementos forman a su vez una base de
Groebner para Ik : Ahora, como I tambin est generado por g1 ; :::; gr , el
conjunto de soluciones del sistema (I) coincide con el conjunto de soluciones
del sistema
f1 (x1 ; : : : ; xn ) = 0 (1.4)
..
.
fm (x1 ; : : : ; xn ) = 0;
f1 = x2 2z 2 + y 2
f2 = y 2 z2 4y
2
f3 = 4zx + y + 1
Escojamos el orden lex en R, ordenando las variables de tal modo que x >
y > z: El comando GroebnerLex[ {f1,f2,f3},{x,y,z} ] de GeoGebra permite
1.7. SISTEMAS DE ECUACIONES POLINMICAS 23
Vemos entonces que g3 posee cuatro races reales y cuatro complejas. Sub-
stituyendo la raz z = 6;75 en g2 y g3 obtenemos
g2 (y; 6;75) = 0 =) y = 9;04
g3 (x; 9;04; 6;75) = 0 =) x = 3;06
De aqu que el punto ( 3;06; 9;04; 6;75) est en la variedad cortada por
f1 ; f2 ; f3 . De manera similar se obtienen los puntos:
sera una divisin con residuo cero. Luego G sera una base de Groebner. De
otro lado, S(g1 ; g2 ) = 1=2yg1 1=3xg2 = y=2 x2 =3 es un elemento del
ideal J cuyo trmino lder, x2 =3; no es divisible, ni por tl(g1 ) = 2xy ni por
tl(g2 ) = 3y 2 : !Luego G no puede ser una base de Groebner!
10. Utilizando el algoritmo de Buchbereger encuentre una base de Groeb-
ner para I = (x2 y + z; xz + y) en Q[x; y; z], con orden lex.
11. Encuentre una solucin en los nmeros reales para el siguiente sistema
26 CAPTULO 1. BASES DE GROEBNER
de ecuaciones:
x2 1=0
y4 4=0
wx + w = 0
wy + 2w = 0
xy + 2x y 2=0
xy + y 2x 2=0
xz + z 3x 3=0
yz + 2z 3y 6=0
x2 + y 3 = 0
z4 wxy = 0
2 4 3 3 4 4
x z x wy + y z y wx + 2 = 0
Captulo 2
27
28CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
q1
En los cursos de lgebra lineal se demuestra que si son las coordenas de
q2
q medidas en el sistema V entonces las coordenadas en el sistema E pueden
obtenerse multiplicando este vector por la matriz de rotacin
cos sin
:
sin cos
Es decir,
cos sin q1 a
=
sin cos q2 b
29
c0
entonces, si las coordenadas de q en E 0 son , las coordenadas en E seran
d0
c c0 p
= 0 + 1 ;
d d p2
p1
donde son las coordenadas de p referidas a E.
p2
Finalmente, si V = fv1 ; v2 g es un sistema coordenado cuyo origen est
situado en p, y cuyos ejes se han rotado un angulo con respecto a los
q
ejes de E, entonces si 1 son las coordenadas de q con respecto a V , las
q2
a
coordenadas de q con respecto a E seran , donde
b
a cos sin q1 p
= + 1
b sin cos q2 p2
30CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
a4
Supongamos, en nuestro brazo de ejemplo, que son las coordenadas de
b4
un punto q en el sistema E4 : Entonces, referido al sistema E3 sus coordenadas
seran
a3 cos 3 sin 3 a4 l
= + 3 ; (2.1)
b3 sin 3 cos 3 b4 0
donde 3 es el ngulo (medido en direccin positiva) que forma la mano con
respecto al sistema E3
32CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
2 3 2 32 3
a3 cos 3 sin 3 l3 a4
4 b3 5 = 4 sin 3 cos 3 0 5 4 b4 5
1 0 0 1 1
| {z }
A3
2 3 2 32 3
a2 cos 2 sin 2 l2 a3
4 b2 5 = 4 sin 2 cos 2 0 5 4 b3 5 ;
1 0 0 1 1
A2
| {z }
2 3 2 32 3
a1 cos 1 sin 1 0 a2
4 b1 5 = 4 sin 1 cos 1 05 4 b2 5
1 0 0 1 1
| {z }
A1
33
a4
Observacin 2.0.8 En resumen, el punto q, de coordenadas ; en las
b4
a1
coordenadas absolutas E1 , se expresara como ; donde
b1
2 3 2 3
a1 a4
4 b1 5 = A1 A2 A3 4 b4 5 :
1 1
Un cmputo directo (y utilizando las identidades trigonomtricas para el
coseno y el seno de la suma de ngulos) muestra que A1 A2 A3 es igual a la
matriz
2 3
cos( 1 + 2 + 3 ) sin( 1 + 2 + 3 ) l3 cos( 1 + 2 ) + l2 cos( 1 )
A1 A2 A3 = 4 sin( 1 + 2 + 3 ) cos( 1 + 2 + 3 ) l3 sin( 1 + 2 ) + l2 sin( 1 ) 5 :
0 0 1
As, para un punto q que est situado en la mano, es decir cuyas coordenadas
0
con respecto a E4 sean , referido a E1 sus coordenadas seran
0
2 32 3
cos( 1 + 2 + 3 ) sin( 1 + 2 + 3 ) l3 cos( 1 + 2 ) + l2 cos( 1 ) 0
4 sin( 1 + 2 + 3 ) cos( 1 + 2 + 3 ) l3 sin( 1 + 2 ) + l2 sin( 1 ) 5 405 ;
0 0 1 1
34CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
l3 cos( 1+ 2) + l2 cos( 1 )
:
l3 sin( 1+ 2 + l2 sin( 1 )
)
l3 cos( 1 + 2) + l2 cos( 1 ) c
= ;
l3 sin( 1 + 2) + l2 sin( 1 ) d
c
donde son las coordenadas de q referidas al sistema E1 . Una vez deter-
d
minados 1 y 2 , basta tomar 3 = ( 1 + 2 ) para jar la orientacin de
la mano. Los ngulos 1 y 2 se obtienen resolviendo el sistema
l3 cos( 1 + 2) + l2 cos( 1 ) = c
l3 sin( 1 + 2) + l2 sin( 1 ) = d
l3 xz l3 yw + l2 x c=0
l3 yz + l3 xw + l2 y d=0
x + y2 = 1
2
z 2 + w2 = 1
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
NO HAY DEGENERACIN: c 6= 0 o d 6= 0:
La primera ecuacin f1 puede escribirse en la forma
(c2 + d2 )2 4c2
y2 dy + = 0:
4(c2 + d2 )
p
d 4 (c2 + d2 )
y= jcj p (2.3)
2 2 c2 + d2
tran a continuacin:
Si jdj > 2, no existe ninguna solucin, lo cual es explicable pues en este caso
el punto q se encuentra a una distancia mayor que 2, por fuera del mximo
alcance de los brazos, que ocurre precisamente cuando l2 y l3 son colineales.
38CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
CASO II: c 6= 0
De la ecuacin f2 = c2 + d2 2cx 2dy = 0 se obtiene:
c2 + d2 2dy
x= ; (2.4)
2cp
d 4 (c2 + d2 )
donde, recordemos, y = jcj p
2 2 c2 + d2
w = dx cy (2.5)
(c2 + d2 ) 2
z= : (2.6)
2
d 4 2y 4 2dy 2 dy
y= ; x= = =
2 2c 2c c
z = 1, w = 0:
En esta situacin existe una nica solucin, aquella donde los dos
brazos son colineales ( 2 = 0), y el punto q se encuentra en la periferia
2.2. ANALISIS DE UN ROBOT CON L2 6= L3 39
y l3 = 2.
p
d(c2 3 + d2 ) (9 (c2 + d2 ))((c2 + d2 ) 1)
jcj c2 + d2 2dy 3
y= , x =
2(c2 + d2 ) 2c
d2 + c2 5 dc2 3d + d 3 2 2
(2d + 2c )y
z= , w=
4 4c
h1 = 3 + 2yd d2
h2 = 9 10d2 + d4 + 4d2 x2
h3 = 2w xd
2
h4 = d + 5 + 4z
p
d2 3 10d2 d4 9
y= ; x=
2d 2 jdj
d 2 5 dx
z= ; w=
4 2
42CAPTULO 2. CONTROL CINEMTICO DE BRAZOS MECNICOS
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 .
F:=(theta1,theta2,theta3, t,l1,l2,l3,c,d)->robot(op(alpha(theta1,theta2,theta3,t)),l1,l2,l3,c,d):
brazo(theta1,theta2,theta3,l1,l2,l3,c,d) graca un punto q=(c,d) y anima
un brazo, desde la posicin inicial theta1=theta2=theta3=0, hasta la posi-
cin theta1, theta2, theta3.
brazo:=proc(theta1,theta2,theta3,l1,l2,l3,c,d)
local F; F:=t->robot(op(alpha(theta1,theta2,theta3,t)),l1,l2,l3,c,d);
animate( F, [t], t=0..1, frames=100);
end proc:
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:
*Demostracin mecnica de
teoremas en geometra
47
48CAPTULO 3. *DEMOSTRACIN MECNICA DE TEOREMAS EN GEOMETRA
h1 : x2 u3 = 0; h2 : u2 x2 u3 (x1 u1 ) = 0:
h3 : x1 x4 x2 x3 = 0; h4 : x4 (u2 u1 ) u3 (x3 u1 ) = 0;
Aqu I(X0 ) denota el ideal generado por todos los polinomios hi (u; x); i =
1; ::; n y por el polinomio 1 gk (u; x)y; en el anillo de polinomios en las
variables x y en la variable y, con coecientes en el campo de fracciones del
anillo R[u]: Esto ltimo puede vericarse computando una base de Groebn-
er reducida y minimal para I(X0 ) y viendo que esta contiene slamente al
elemento identidad.
h1 : x2 u2 x1 = 0; h2 : x2 u3 (x1 u1 ) = 0:
2 tan( =2)
tan( ) = ;
1 tan2 ( =2)
y = v1 x; y = v2 (x u1 ):
h5 : x4 v1 x3 = 0 h6 : x4 u3 (x3 u1 ) = 0
h7 : x6 v2 (x5 u1 ) = 0 h8 : x6 u2 x5 = 0:
4.1. Introduccin
En este captulo derivaremos la ecuacin de onda para la cuerda vibrante,
bajo ciertos supuestos, y discutiremos su relevancia en el diseo de los in-
strumentos de cuerda, as como de las escalas pitagrica y temparada. Con
algunas variaciones menores, la deduccin y solucion de la ecuacin de onda
sigue lo expuesto en cualquiera de los textos [7],[8],[9]. Para una discusin
sobre las escalas musicales y su construccin matemtica, el lector puede
consultar [10].
Una cuerda de longitud L y densidad constante (que mediremos en
kg/m permanece atada a dos pesos que cuelgan de sus extremos, cada uno
de masa m kg.
53
54 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO
De manera similar, como (x; t) ' 0, entonces la longitud l(x; h) del peda-
zo de cuerda comprendido entre x y x + h es aproximadamente h, pues
recordemos que su longitud puede calcularse mediante la frmula
s
R
x+h 2
@u
l(x; t) = 1+ (s; t) ds
x @x
@2u 0
TV (x + h; t) TV (x; t) = ( h) (x ; t)
@t2
donde x x0 x + h. Luego
@2u 0
T sin (x + h; t) T sin (x; t) = ( h) (x ; t):
@t2
Dividiendo a ambos lados por T ' T (x + h; t) cos (x + h; t) ' T (x; t) cos
(x; t) se obtiene:
@2u 1 @2u
= : (4.1)
@x2 c2 @t2
Como la cuerda se mantiene atada a los extremos se sigue entonces que
u(0; t) = u(L; t) = 0. Adems, en el instante t = 0 la funcin u toma la
forma de una cierta funcin f (x); as que u(x; 0) = f (x). Supusimos adems
que la cuerda, comenzando en esa posicin, se suelta sin ninguna velocidad
inicial y comienza a vibrar. Esto proporciona una condicin inicial adicional
@u=@t(x; 0) = 0: En resumen el problema que se debe resolver es el siguiente
(c.f. = condicin de frontera, c.i. = condicin inicial):
n = cn =L
4.3. MODO FUNDAMENTAL Y ARMNICOS 59
RL
siempre es posible, tomando coecientes Bn = 2=L f (x) sin(n x=L)dx:
0
Ejemplo 4.3.1 La tercera cuerda de una guitarra tiene una longitud 1;16
m y pesa 1;0645 gramos. Un tramo de esta cuerda de 43 cm de longitud
se pone a vibrar, sujeto a una tensin de 2 kg. Calculemos la frecuencia
dominante:
En primer lugar, la densidad de la cuerda es = 1;0645 10 3 =1;16
= 9;176 10 4 kg=m. La tensin,
p medida
p en Newtons, sera T = 2 9;8 =
19;6 N: De aqu que c = T= = 19;6=9;176 10 4 = 146;19 m/s:
As, la frecuencia fundamental sera f = c=2L = 146;15=0;86 ' 170 Hertz
(vibraciones por segundo). Al realizar el experimiento se obtiene un valor de
173 Hz; con un error de apenas 3 unidades en 170; es decir, un error apenas
del 1;7 %.
2"
Ejemplo 4.3.2 Sea f (x) = L x,0 x L=2
, la funcin que
2"
L (x L), L=2 x L
describe la forma inicial de una cuerda, la cual se pulsa en su punto medio,
62 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO
2" L=2
R n x "L(n cos( n2 ) 2 sin( n2 ))
I1 = ( ) (x) sin( )dx =
L 0 L n2 2
2" RL n x "L(2 sin( n2 ) + n cos( n2 ) 2 sin(n ))
I2 = (x L) sin( )dx =
L L=2 L n2 2
4"L n 0; si n = 2k
I1 + I2 = sin( )= 4"L
n2 2 2 2 n2 ( 1)k+1 , si n = 2k + 1
4.4. ESCALAS MUSICALES 63
y por consiguiente:
2 0; si n = 2k
bn = (I1 + I2 ) = 8"
L 2 n2 ( 1)k+1 , si n = 2k + 1
Luego
8" P1 ( 1)k+1 (2k + 1) x
f (x) = 2 2
sin :
k=0 (2k + 1) L
De aqu entonces se sigue que
de que cuando el cociente L=L0 era igual a una potencia de dos, las notas
musicales producidas por ambas cuerdas al vibrar parecan coincidir, excep-
to por lo agudo o grave del sonido. Pitgoras tambin descubri de manera
emprica que cuando haca sonar simultaneamente dos cuerdas cuyas lon-
gitudes estaban en proporcin dada por una fraccin igual al cociente de
dos enteros pequeos, como por ejemplo L=L0 = 3=2, 4=3; 5=4; 9=8; : : : se
obtena un efecto placentero, armnico. As, por ejemplo, cuando una cuerda
de longitud L se acorta a dos tercios de su longitud su frecuencia al vibrar
se multiplica por 3=2; esto es, fL0 = (3=2)fL . En esta situacin el sonido
de ambas cuerdas vibrando de manera simultnea se escucha consonante y
muy armnico. Igualmente, la frecuencia de una cuerda de longitud igual
a cuatro quintos de la original es igual a fL0 = (5=4)fL : De nuevo, las dos
cuerdas suenan armnicas cuando se escuchan simultaneamente.
Ese efecto de armona o consonacia aumenta cuando tres cuerdas, de
longitudes L; (4=5)L y (2=3)L vibran simultaneamente. Notemos que en este
caso sus frecuencias, fL ; (5=4)fL y (3=2)fL estn en proporciones 5=4 y 6=5.
Un conjunto de tres notas cuyas frecuencias se encuentren en esa proporcin
se denomina una triada mayor justa. De otro lado, cuando la proporcin
ocurre en el orden contrario, 6=5 y 5=4; el sonido de las tres cuerdas al
vibrar tambin resulta muy agradable, aunque carga un inconfundible tinte
de nostalgia. Una de estas triadas se denomina triada menor justa. Estas dos
clases de combinaciones de notas, que en la escala temperada (denida ms
abajo) reciben el nombre de acordes mayores y acordes menores son la base
de toda la armona de la msica occidental, donde, por supuesto, la armona
aparece enriquecida con muchos otros acordes, como aquel que se obtiene
de combinar notas en proporciones 5=4; 6=5; 7=6 (una sptima), y otras
combinaciones ms complejas, como los denominados acordes disminuidos,
aumentados, con segundas, cuartas...
Volviendo a nuestra discusin sobre la escala pitagrica, la idea de Pit-
goras consisti en tomar potencias (positivas y negativas) de la fraccin 3=2
para construir as una escala musical cuyas frecuencias estuvieran compren-
didas entre una cierta frecuencia fundamental f0 y su octava ms prxima
2f0 . Ilustremos la idea de Pitgoras tomando como referencia la frecuen-
cia del do central del piano f0 = 261; 626 Hz. Supongamos que a pulsar
una determinada cuerda de longitud L se obtiene esta frecuencia, llamada
en terminologa musical, la tnica. Entonces, al pulsar esa misma cuerda
acortada a 2=3 de su longitud se obtendra una nota cuya frecuencia sera
(3=2)f0 = 392;439; muy cercana, aunque no igual (como explicar ms ade-
lante) al sol central del piano. Si, por otro lado, la cuerda se alargase a
una vez y media su longitud, (3=2)L, su frecuencia entonces disminuir a
4.4. ESCALAS MUSICALES 65
escala temperada
3 32 33 34 35 36 37 38 39 310 311
f0 ; f0 ; 3 f0 ; 4 f0 ; 6 f0 ; 7 f0 ; 9 f0 ; 11 f0 ; 12 f0 ; 14 f0 ; 15 f0 ; 16 f0 ; : : :
2 2 2 2 2 2 2 2 2 2 2
66 CAPTULO 4. ECUACIN DE UNA CUERDA VIBRANDO
Pitagorica
temperada
Guitarra
Nota Frecuencia
do 261;6256
mi 329;6276
sol 391;9954
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.
T = 4L2 6 f 2
= 4 (0;65)2 (246;94)2 0;57 10 3
= 58;74 Newtons.
4 L2 2 4 2
m= f ' 10 f :
g
Figura 1
Figura 2
4.5. ESCALA TEMPERADA 73
Solucin: un acorde mayor est formado por tres notas cuyas frecuen-
cias F1 ; F2 ; F3 estn en relacin F2 =F1 = 5=4 y F3 =F2 = 6=5: Para
producir el acorde de re mayor, si queremos F1 = 293;6 Hz, entonces
F2 = 5=4F1 = 367 Hz y F3 = 6=5F2 ' 440 Hz, que corresponden
aproximadamente al fa# y al la central del piano (Figura 1). Como
puede verse en la Figura 2, estas notas se pueden lograr presionando
la tercera y la segunda cuerda en el sptimo traste, y la primera, en el
quinto: la-fa#-re
Series de Fourier
f (x + 3 ) = sin(2=3(x + 3 )) =
= sin(2=3x + 2 ) = sin(2=3x) = f (x):
79
80 CAPTULO 5. SERIES DE FOURIER
Ejemplo 5.1.3 Las funciones que se muestran en las siguientes grcas son
suaves a tramos.
g 1
g 2
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.
RL
De manera similar, si n 1 sabemos que an = 1=L f (x) cos(n x=L)dx,
L
y esta integral pude calcularse como suma de integrales
Z0 ZL
I1 = 1=L f (x) cos(nx=L)dx e I2 = 1=L f (x) cos(n x=L)dx;
L 0
1 1 1 1
= + +
4 1 3 5 7
Si hacemos a = 1, L = ; la suma de los primeros cinco trminos de la
series 5.1 nos dan el siguiente grco:
(5.3)
por:
(5.4)
Los siguientes ejemplos nos servirn para ilustrar las frmulas anteriores.
f (x) = x2
R1
Como la funcin es par vemos que bn = 0. De otro lado, a0 = 1=2 x2 dx =
1
1 R1
x3 =6 1
= 1=6 + 1=6 = 1=3: Adems, an = 2=1 x2 cos(n x)dx: La integral
0
88 CAPTULO 5. SERIES DE FOURIER
:
Ahora, sin(n ) = 0, para todo n mientras que cos(n ) = ( 1)n . Luego la
integral anterior es igual a an = ( 1)n 4= 2 n2 . De aqu que la serie de Fourier
sea:
1 4 P1 ( 1)n
+ 2 2
cos(n x):
3 n=1 n
Como f (x) satisface las condiciones del Teorema 5.1.6, y es continua, vemos
que
1 4 P1 ( 1)n
x2 = + 2 2
cos(n x):
3 n=1 n
Si evaluamos ambos lados en x = 0, respectivamente en x = 1, obtenemos
tres extraordinarias frmulas debidas a Euler:
2 1 ( 1)n
P 1 1 1 1
= 2
= 2
+ 2 2
+
12 n=1 n 1 2 3 4
2 1 ( 1)n
P 1 1 1 1
= 2
( 1)n = + 2 + 2 + 2 +
6 n=1 n 1 2 3 4
2 1 1 1
=+ 2+ 2+
8 1 3 5
La ltima frmula se obtiene sumando las anteriores.
2"
Ejemplo 5.1.11 Sea f (x) = L x,
0 x L=2
, la funcin que
2"
L (x L), L=2 x L
describe las condiciones iniciales de una cuerda que se desplaza hacia abajo
una pequea cantidad " > 0 antes de soltarla y ponerla a vibrar.
5.1. DESARROLLO EN SERIE DE UNA FUNCIN PERIDICA 89
2" L=2
R n x "L(n cos( n2 ) 2 sin( n2 ))
( ) (x) sin( )dx =
L 0 L n2 2
2" RL n x "L(2 sin( n2 ) + n cos( n2 ) 2 sin(n ))
(x L) sin( )dx = :
L L=2 L n2 2
8" n 0; si n = 2k
bn = sin( )= 8" :
2 n2 2 2 n2 ( 1)k sin( n2 ), si n = 2k + 1
90 CAPTULO 5. SERIES DE FOURIER
Luego
8" P1 ( 1)k+1 (2k + 1) x
f (x) = 2 2
sin :
k=0 (2k + 1) L
Observacin 5.1.12 El mtodo del ejemplo anterior puede seguirse para
aproximar cualquier funcin f denida en un intervalo [0; L]; bien sea con
P
1 P
1
una serie de la forma bn sin( nLx ) o de la forma a0 + an cos( nLx ).
n=1 n=1
0, n es par
= 4L ;
n2 2 ; si n es impar
De otro lado, jxj sin(n x=L) es una funcin impar y por consiguiente
ZL
1
bn = jxj sin(n x=L)dx = 0:
L
L
Notemos que esta ltima funcin es peridica con perodo 2 : Hallemos su se-
R
rie de Fourier, usando las frmulas de Euler y el hecho de que cos( n x ) sin(x)dx =
0
R
(1 + cos(n ))=(1 n2 ) y que sin( n x
) jsin(x)j dx = 0 :
Z Z
1 1 2
a0 = jsin(x)j dx = (2 sin(x)dx) = :
2 2
0
Z Z
1 n x 2
an = jsin(x)j cos( )dx = cos(nx) sin(x)dx
0
2 1 + cos(n ) 21+( 1)n
= =
(1 n2 ) (1 n2 )
(
4
(1 n2 )
si n es par
=
0; si n es impar
Z
1
bn = jsin(x)j sin(nx)dx = 0:
De aqu que
1
2 4X 2
g(x) = cos(2kx):
(2k)2 1
k=0
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:
P
1
se obtiene la serie ( 1)n+1 cos(nx) la cual no es convergente, pues el
n=1
lmite del trmino n-simo no tiende a cero cuando n ! 1:
d 1 (2k + 1) x (2k + 1) x
cos = sin :
dt (2k + 1)2 L (2k + 1)L L
De aqu que
1
0 ( 4) X 1 (2k + 1) x
f (x) = sin ;
(2k + 1) L
k=0
1
( 4) X 1
s1 (x) = + cos((2k + 1)x); Ejemplo 5.1.13.
2 (2k + 1)2
k=0
1
X ( 1)k+1
s2 (x) = 2 sin(kx); Ejemplo 5.1.15.
k
k=1
96 CAPTULO 5. SERIES DE FOURIER
97
98 CAPTULO 6. ECUACIN DEL CALOR
Ley de Fourier
Ejemplo 6.2.2 Supongamos que un cubo unitario C = [0; 1] [0; 1] [0; 1];
con cosntante = 0;1; se encuentra aislado lateralmente, pero que hay trans-
ferencia de calor entre sus caras superior e inferior y el medio circundante.
Supongamos que la temperatura en toda una regin que contiene a C est
dada por u(x; x; y; t) = t=2(x2 + y 2 xy(z + 1)2 ). Calcule, segn la ley de
Fourier, la transferencia de calor en cada una de las tapas superior e inferior
6.3. ECUACIN DEL CALOR EN UN CLILINDRO DE DENSIDAD UNIFORME101
Sabemos que
@u @u @u
grad(u(x; y; z; 1) = ( ; ; )
@x @y @z
= xe1 ye2 + xy(z + 1)e3 :
De acuerdo con los signos, vemos que el calor entra por la tapa inferior y
sale por la superior.
Luego
que es equivalente a
u(x; t + t) c u(x; t) @u=@x(x + h; t) @u=@x(x; t)
c =
t h
5. Tomando el lmite cuando h ! 0 y t ! 0 se obtiene:
@u @2u
c =
@t @x2
que muchas veces suele escribirse como
@2u 1 @u
2
= , donde = es la llamada constante de difusin trmica.
@x @t c
La siguiente tabla muestra algunos valores de c; ; para algunos ma-
teriales:
Tabla 2
104 CAPTULO 6. ECUACIN DEL CALOR
R R
c u(x; y; z; t + t)dxdydz u(x; y; z; t)dxdydz
E(t + t) E(t) B B
=
t 0 t 1
Z
@ u(x; y; z; t + t) u(x; y; z; t) A
=c :
t
B
Z
@u
dE=dt = c (x; y; z; t)dxdydz: (6.2)
@t
B
Por tanto:
Z
@u R
c (x; y; z; t)dxdydz = @B hn; grad u(x; y; z; t)i dA: (6.3)
@t
B
donde
@g1 @g2 @g3
div(g) = + +
@x @y @z
es la divergencia de la funcin vectorial g = (g1 ; g2 ; g3 ): Tomando g =
( @u @u @u
@x ; @y ; @z ) se obtiene
@2u 1 @u
= ,
@x2 @t
con = =(c ).
1
X 2t
u(x; t) = bn sin(n x=L)e n ; n = n =L; (Soluc. a la ec. del calor)
n=1
ZL
bn = 2=L f (x) sin(n x=L)dx:
0
Z1
bn = 2=1 100 sin(n x)dx
0
Z1
200
= 200 sin(n x)dx = cos(n x)j10
n
0
200 200
= (cos(n ) 1) = n ( 2); n es impar
n 0, n es par
De aqu que
400=(n ), si n = 1; 3; 5; : : : 4 n
bn = : = 1;1 10 , n =
0, si n = 2; 4; 6; : : : 1
1
X 400 4 ((2k+1) )2 t
u(x; t) = sin ((2k + 1) x)) e 1;1 10
(2k + 1)
k=0
@2u 1 @u
2
= , t > 0, 0 < x < L (6.8)
@x @t
u(x; 0) = f (x);
u(0; t) = T1 , u(L; t) = T2
= =c :
(T2 T1 )
puede obtenerse haciendo u(x; t) = u1 (x; t) + v(x), donde v(x) = L x+
T1 ; y u1 (x; t) es solucin del problema:
@ 2 u1 1 @u1
= , t > 0, 0 < x < L (6.9)
@x2 @t
u1 (x; 0) = f (x) v(x);
u1 (0; t) = 0, u1 (L; t) = 0
= =c :
t=0s
6.5. ECUACIN DEL CALOR EN UN CILINDRO. 111
t = 125 s
112 CAPTULO 6. ECUACIN DEL CALOR
t = 2060 s
t = 4271 s
1. Si > 0, la nica
p
solucin
p
para u(x; t) es la trivial, pues en este caso
F (x) = Ae+ x + Be x . Pero la condicin inicial @u=@x(0; t) =
n=1
RL
a0 = 1=L f (x)dx
0
RL n x
an = 2=L f (x) cos( )dx, si n 1:
0 L
@2u 1 @u
2
= , t > 0, = =c : (6.10)
@x @t
u(x; 0) = f (x); 0 x L
@u @u
(0; t) = (0; L) = 0;
@x @x
viene dada por
P
1 2t n
u(x; t) = a0 + an cos( n x)e
n , n =
n=1 L
R
L
a0 = 1=L f (x)dx
0
RL n x
an = 2=L f (x) cos( )dx, si n 1:
0 L
R5 5
a0 = 1=5 ( 2x + 5)dx = (1=5)x2 + x 0
= 0:
0
R5 n x 10(n sin(n ) + 2 cos(n ) 2)
an = 2=5 ( 2x + 5) cos( )dx =
0 5 n2 2
10 40
2 n2 ;
n = 1; 3; 5; 7; : : :
= (2( 1)n 2) =
n2 2 0, si n = 2; 4; 6; : : :
40 P 1 n x 1;1 10 6 (n =5)2 t
u(x; t) = 2 2
cos( )e :
n=1;3;5::: n 5
La membrana vibrante
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
Del supuesto (4) se sigue que las fuerzas en las direcciones horizontales
son:
Como estamos suponiendo que las vibraciones son pequeas (tercer supuesto)
podemos deducir entonces que los ngulos (x; y; t) tambin son muy pe-
queos, y por consiguiente:
De aqu que
Como
@u @u
x (x; y + y; t) (x; y; t) : (7.5)
@y @y
@u @u @u @u
x (x; y + y; t) (x; y; t) + y (x + x; y; t) (x; y; t)
@y @y @x @x
(7.9)
@2u
= m(x; y) ;
@t2
donde
R yx+R xp
y+
m(x; y) = 1 + (@u=@x)2 + (@u=@y)2 dxdy
y x
1 @u @u 1 @u @u
(x; y + y; t) (x; y; t) + (x + x; y; t) (x; y; t)
y @y @y x @x @x
2
1 @ u p
= 2 2, donde c = = :
c @t
iniciales seran:
(7.10)
G00 (t)
=p
c2 G(t)
(x; y)
= p:
(x; y)
Rb Ra
m;n (x; y) m0 ;n0 (x; y)dxdy = 0, si (m; n) 6= (m0 ; n0 ), m; n; m0 ; n0 1:
00
Rb Ra ab
m;n (x; y) m0 ;n0 (x; y)dxdy = , si (m; n) = (m0 ; n0 ), m; n; m0 ; n0 1:
00 4
Rb Ra ab
f (x; y) m;n (x; y)dxdy = bm;n ;
00 4
de donde se deduce:
4 Rb Ra m x n y
bm;n = f (x; y) sin( ) sin( )dxdy:
ab 0 0 a b
4 Rb Ra m x n y
bm;n = f (x; y) sin( ) sin( )dxdy:
ab 0 0 a b
r
m n
m;n = ( )2 + ( )2 :
a b
0 < x < 1; 0 < y < 1; y que la membrana comienza a vibrar sin velocidad
inicial:
Entonces
R1 R1 m x n y
bm;n = 4 xy(x 1)(y 1) sin( ) sin( )dxdy:
00 1 1
Integrando por partes (o usando GeoGebra)
Como m; n 1, se obtiene:
R1 m x 2(( 1)m 1)
x(x 1) sin( )dx = 3 m3
:
0 1
Luego
R1 n y R1 m x
bm;n = 4 (y 1) sin( ) x(x 1) sin( )dx dy
0 1 0 1
2(( 1)m 1) R1 n y
=4 3 m3
(y 1) sin( )dy
0 1
2(( 1)m 1) 2(( 1)n 1)
=4 3 m3 3 n3
0, si m o n es par
= 64
6 m3 n3 , m,n impares.
En consecuencia:
64 P 1 p
u(x; y; t) = 6 3 n3
sin(m x) sin(n x) cos( m2 + n2 t):
m;n impares m
126 CAPTULO 7. LA MEMBRANA VIBRANTE
En t = 0
Ejemplo 7.2.2 Supongamos que f (x; y) = sin( x)2 sin( y)2 , 0 < x < a =
1; 0 < y < b = 1; c = 1, y la membrana, como en el ejemplo anterior, parte
del reposo. Calculemos la funcin deeccin u(x; y; t):
R1 R1
Para ello debemos hallar bm;n = 4 sin( x)2 sin( y)2 sin(m x) sin(n y)dxdy.
00
La primera integral que se debe computar es
R1
sin( x)2 sin( y)2 sin(m x) sin(n y)dx
0
R1
= sin( y)2 sin(n y) sin( x)2 sin(m x)dx:
0
7.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR127
Utilizando GeoGebra
vemos que:
(
4
R1 2 3 ; si m = 1
sin( x) sin(m x)dx = 2 cos((m 2) ) 2
0 (m3 4m)
; si m > 1:
8 4
< 3 ; si m = 1
4
= (m3 4m)
, si m es impar.
:
0, si m es par.
En conclusin
(
R1 2 0; si m es par
sin( x) sin(m x)dx = 4
0 (m3 4m)
, si m es impar.
4 R1
bm;n = 4 sin( y)2 sin(n y)dx
(m3 4m) 0
16 4 64
= 3 3
= 2 3 ,
(m 4m) (n 4n) (m 4m)(n3 4n)
64 P 1 p
u(x; y; t) = 2 2
sin(m x) sin(n y) cos( m2 + n2 t)
m;n impares mn(m 4)(n2 4n)
128 CAPTULO 7. LA MEMBRANA VIBRANTE
las lneas nodales seran los ceros de la ecuacin sin(2 x) sin(3 y) = 0, que
son precisamente las lneas x = 1=2, y = 1=3; y = 2=3 :
7.2. SOLUCIN DE LA ECUACIN DE LA MEMBRANA RECTANGULAR129
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
Las soluciones de esta ecuacin en [0; 1] [0; 1] estn determinadas por las
soluciones de 2 cos( y) cos( x) = 0; O lo que es equivalente, por las solu-
ciones de y = 1 arc cos( 21 cos( x)):
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
a = 1; f (r) = 1 r2
7.4. MEMBRANAS CIRCULARES 133
ecuaciones:
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:
n = n =a;
Ra
J0 ( n r)J0 ( m r)rdr = 0, si m 6= n
0
Ra 2 a2 2
J0 ( n r) rdr = J ( n ):
0 2 1
P
1
Se busca entonces una solucin de la forma u(r; t) = bn J0 ( n r) cos(c n t):
n=1
Haciendo t = 0 se debe satisfacer que
P
1
f (r) = u(r; 0) = bn J0 ( n r):
n=1
De aqu que
2 Ra
bm = rJ0 ( m r)f (r)dr:
a2 J1 ( m )2 0
En resumen, la solucin del problema 7.12, 7.13, 7.14 est dada por
P
1
u(r; t) = bn J0 ( n r) cos(c n t)
n=1
2 Ra
bn = 2 2
rJ0 ( n r)f (r)dr
a J1 ( n) 0
n
n = ;
a
donde 1 < 2 < < n < son los ceros positivos de J0 (x):
t=0 t = 17;3
7.4. MEMBRANAS CIRCULARES 137
t = 23;4 t = 25;5
@ 2 u 1 @u 1 @2u
u= + +
@r2 r @r r2 @ 2
2
@ u @ u 2
= + 2:
@x2 @y
@u @u @x @u @y
= +
@r @x @r @y @r
@u @u
= cos + sin :
@x @y
7.5. APNDICE: CMPUTO DEL LAPLACIANO EN COORDENADAS POLARES139
De aqu se sigue:
@2u @ @u @ @u
2
= ( ) cos + ( ) sin
@r @r @x @r @y
@2u @2u @2u @2u
= cos + sin cos + + cos + sin sin
@x2 @y@x @x@y @y 2
@2u @2u @2u
= 2
cos2 + 2 sin2 + 2 sin cos :
@x @y @y@x
De otro lado
@u @u @x @u @y
= +
@ @x @ @y @
@u @u
= ( r sin ) + (r cos ):
@x @y
Luego,
@2u @ @u @ @u
2
=r ( sin ) + r cos
@ @ @x @ @y
@ @u @u @ @u @u
=r ( sin ) + ( cos ) +r + ( sin )
@ @x @x @ @y @y
@2u @2u @u
= r2 sin2 2
r 2
sin cos r cos +
@x @y@x @x
@2u @2u @u
r2 sin cos + 2 r2 cos2 r sin
@x@y @y @y
@ 2u @ 2u @2u @u @u
= r2 sin2 2
+ r 2
cos 2
2
2r 2
cos sin r cos r sin :
@x @y @y@x @x @y
De aqu vemos entonces que
1 @2u @2u 2 @2u 2 @2u 1 @u @u
= sin + cos 2 cos sin (cos + sin )
r2 @ 2 @x2 @y 2 @y@x r @x @y
1 @u 1 @u 1 @u
= cos + sin
r @r r @x r @y
@2u @2u 2 @2u 2 @2u
= cos + sin + 2 cos sin :
@r2 @x2 @y 2 @y@x
Sumando a ambos lados en estas tres ecuaciones se obtiene:
@ 2 u 1 @u 1 @2u @2u @2u
+ + = + 2:
@r2 r @r r2 @ 2 @x2 @y
140 CAPTULO 7. LA MEMBRANA VIBRANTE
Captulo 8
Nmeros complejos
141
142 CAPTULO 8. NMEROS COMPLEJOS
1. zz = jzj2 :
2. z1 z2 = z1 z2 :
3. z1 + z2 = z1 + z2 :
seleccionando calculadora:
Ejemplo 8.2.1
p 1. Hallemos la forma polar
p de z = 1 + i. Claramente,
jzj = 2 y arg(z) = =4. Luego 1 + i = 2e 4 i :
z n = (a + bi)n
= rn (e i )n = rn en i
= rn cos(n ) + rn sin(n ):
= jzj e i e2 ki
= jzj e i ;
Este mapeo puede entenderse mucho mejor si miramos como acta sobre
crculos o rectas en el dominio de la funcin.
( 1 + ti)(1 ti) t2 1 2t
= 2 + i
(1 + ti)(1 ti) t + 1 1 + t2
al eje x, digamos x = t; y = 1 :
N( ) = 2 1=1:
3. Como p(z) es una funcin continua, y estamos suponiendo que p(Cr (t))
nunca cruza el origen, el nmero de giros N (p(Cr (t))) tendr que man-
tenerse constante, y no depender entonces de r. Pero como a0 z n es
el trmino dominante del polinomio p(z) se sigue que cuando r es su-
cientemente grande N (p(Cr (t))) tendr que ser igual a n, el grando
del polinomio. Por ejemplo, graquemos en GeoGebra la imagen bajo
8.3. TEOREMA DE GAUSS 155
4. De otro lado, cuando r es muy pequeo la curva imagen p(Cr (t)) per-
manecer muy cerca al valor de p(0) y por tanto no dar ninguna
vuelta alrededor del origen. En nuestro ejemplo anterior, si hacemos
r = 0;5, la curva imagen luce como:
3. U = R no es un dominio.
Ejemplo 1
Ejemplo 2
Ejemplo 4
y en este caso
x y
u(x; y) = 2 2
; v(x; y) = 2 :
x +y x + y2
Si f (z) = z 2 entonces
f (x + yi) = (x2 y 2 ) + (2xy)i;
y por tanto
u(x; y) = (x2 y 2 ); v(x; y) = 2xy:
Con esta notacin podemos computar la derivada f 0 (z) cuando sta existe,
en trminos de las derivada parciales de u(x; y) y v(x; y): Para ello tomemos
el lmite cuando z ! 0 por dos caminos diferentes, que aparecen en colores
verde y azul en la gura siguiente:
Al hacer x ! 0 se obtiene:
u(x + x; y) u(x; y) v(x + x; y) v(x; y)
f 0 (z) = l m + i (8.2)
x!0 x x
@u @v
= + i:
@x @x
De otro lado, al seguir el camino verde, lo cual equivale a hacer primero
x!0:
u(x; y + y) u(x; y) v(x; y + y) v(x; y)
+ i
yi yi
v(x; y + y) v(x; y) u(x; y + y) u(x; y)
= i;
y y
y luego y ! 0; se obtiene:
Por tanto
@u @v @v @u
+ i= i;
@x @x @y @y
y en consecuencia
@u @v
= (Cauchy-Riemann)
@x @y
@v @u
= :
@x @y
@u @v x2 + y 2
= = 2
@x @y (x + y 2 )2
@v @u 2xy
= = 2
@x @y (x + y 2 )2
@u @v y 2 x2 2xy
f 0 (z) = + i= 2 2 2
+ 2 i
@x @x (x + y ) (x + y 2 )2
z2 1
= 2 = 2
= z 2:
jzj z
@2u @2u
+ 2 = 0:
@x2 @y
El razonamiento para mostrar que v(x; y) tambin es armnica es comple-
tamente similar.
Por tanto
p
2. La funcin u(x; y) = ln( x2 + y 2 ) es armnica en D por ser la parte
real de log(z):
Ejemplo 8.5.3 Consideremos la regin del espacio entre dos placas metli-
cas P1 y P2 que forman un ngulo y las cuales se extienden de manera
164 CAPTULO 8. NMEROS COMPLEJOS
indenida en direccin z
165
166 CAPTULO 9. APNDICE I: DEMOSTRACIN DEL T.F.A
Esto nos dice que la integral de lnea I proporciona una medida de la difer-
encia de ngulo entre dos puntos de H. Notemos que I est bien denida
para cualquier curva que no pase por el origen de coordenadas. Sin embargo,
para una curva que no est contenida en H, la funcin no estar denida,
y el computo anterior no sera vlido, no obstante, la integral tiene sentido.
Por ejemplo, si c(t) = (cos(2 t); sin(2 t)) es el crculo unitario; 0 t 1, la
integral anterior produce
Z1
sin2 (2 t) cos2 (2 t)
I(c) = + dt = 2 :
1 1
0
Proposicin 9.1.2 Sea : [0; 1] ! R2 f(0; 0)g, (t) = (x(t); y(t)) una
curva cerrada ( (0) = (1)) y suave a tramos. Entonces 21 I( ) es un entero.
9.1. NMERO DE GIROS DE UNA CURVA 167
Z1
x0 (s)x(s) + y 0 (s)y(s)
!(1) = ds + iI( ):
x2 (s) + y 2 (s)
0
p
Sea g(x; y) = ln( x2 + y 2 ): Es un ejercicio elemental ver que @g=@x =
x=(x2 + y 2 ) y que @g=@y = y=(x2 + y 2 ). De aqu que
Z1 Z 1
x0 (s)x(s) + y 0 (s)y(s)
ds = g 0 ( (s))ds = g( (1)) g( (0)) = 0;
x2 (s) + y 2 (s) 0
0
Sugerencia:
Z 1 Z 1 Z 1 Z 1
z10 (s) z20 (s) z 0 (s) z20 (s) z10 (s) z20 (s)
ds ds = ( 1 )ds < ds:
0 z1 (s) 0 z2 (s) 0 z1 (s) z2 (s) 0 z1 (s) z2 (s)
De otro lado,
z10 (s) z20 (s) z 0 (s)z2 (s) z1 (s)z20 (s) jz10 (s)z2 (s) z1 (s)z20 (s)j
= 1 ;
z1 (s) z2 (s) z1 (s)z2 (s) R2
z10 (s)z2 (s) z1 (s)z20 (s) z10 (s) jz2 (s) z1 (s)j + jz1 (s)j z10 (s) z20 (s) :
Luego, si jz1 (s) z2 (s)j < y jz10 (s) z20 (s)j < para todo s 2 [0; 1] se
obtiene entonces que
z10 (s) z20 (s) 2m
;
z1 (s) z2 (s) R2
9.1. NMERO DE GIROS DE UNA CURVA 169
@2 @2 @2
= + + :
@x2 @y 2 @z 2
Se ve fcilmente que:
div(grad( )) = E: (10.2)
171
172 CAPTULO 10. APNDICE II: CAMPO ELCTRICO
donde, por raznes histricas, la constante Ke se escribe como 1=4 "0 , con
"0 = 8;854 10 12 N 1 m 2 C2 , valor denominado constante de permitividad
electrica del vaco, o simplemente permitividad del vaco.
10.3. CAMPOS ELCTRICOS GENERADOS POR CARGAS ESTTICAS173
Ejemplo 10.3.2 Sea B una bola centrada en el origen, de radio R y con una
distribucin de carga constante = 3Q=4 R3 (la carga total es precisamente
Q). Si pensamos B embebida de forma concntrica en una esfera ms grande
S, de radio z > R, entonces, de la simetra del problema se sigue que las
componentes tangenciales y normales del campo elctrico generado por B
debern ser constantes. As que la componente tangencial es cero en todo
punto, pues al ser constante, si no fuese cero en algun punto, as mismo lo
sera en todos y habra un campo vectorial no nulo y continuo sobre S, lo
cual es una contradiccin. Luego en cada p 2 S el campo tendr la direccin
n(p) del vector normal unitario a S en p.
j Ez j (z r cos )
j Ez j cos =
[r2 sin2+ (z r cos )2 ]1=2
(z r cos )r2 sin
= drd d
4 "0 [r2 sin2 + (z r cos )2 ]3=2
176 CAPTULO 10. APNDICE II: CAMPO ELCTRICO
Q 2R3 Q 1
E(0; 0; z) = 3 2
= e3 :
8 R "0 z 4 "0 z 2
De aqu deducimos que el campo elctrico generado por la bola B es igual
al de una masa puntual situada en el origen, y de carga Q. As que el ujo
total a travs de S sera:
Q 1 Q
4 z2 = .
4 "0 z 2 "0
10.4. POTENCIAL ELCTRICO 177
1 R (u)(r u)
grad( )(r) = du:
4 "0 U jr uj3
2.
(u; t)
div E(u; t) = : (Maxwell (1))
"0
De aqu que Z Z
E(r; t) n dA = E(r; t) n dA:
@D S
R
Por tanto @D E(r; t) n dA = (0; t) V ="0 . Entonces, si la carga total
dentro de D se divide en pequeas
R esferitas de radio , la contribucin total
de toda la caga ser 1="0 (u; t)du="0 = Q="0 .
Para demostrar la segunda armacin, podemos R razonar de la siguien-
te
R manera: el ujo total del campo elctrico, @D E(r; t) n dA; es igual a
D div E(u; t)du (teorema
R de la divergencia). Por lo demostrado antes, tam-
bin es igual a "10 (u; t)du: Luego
Z Z
1
div E(u; t)du = (u; t)du;
D "0 D
para cualquier regin con frontera suave D. Esto implica entonces que
div E(u; t) = (u; t)="0 .
@2 @2 @2 (u)
+ + = :
@x2 @y 2 @z 2 "0
180 CAPTULO 10. APNDICE II: CAMPO ELCTRICO
@2 @2 @2
+ + = 0 en U .
@x2 @y 2 @z 2
Prueba. Como E(u) = grad (u), el teorema anterior junto con la ecuacin
(10.2) nos dicen que:
@2 @2 @2 (u)
= div(grad (u)) = 2
+ 2 + 2 = :
@x @y @z "0
*Aplicaciones: polarizacin
de un fotn
Fig 1
181
182CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN
Fig 2
Fig 3
Fig 4
Fig 5
puede ocurrir que, ste sea absorbido, o logre pasar el polaroid y activar el
detector. Si denotamos por "1 = (1; 0) y por "2 = (0; 1) los vectores de la
base estndar de C2 , y si T es el operador hermitiano denido por la matriz
(con referencia a la base estndar)
cos 2 sin 2
T = ;
sin 2 cos 2
entonces
son los dos vectores propios de T , los cuales constituyen una base ortonor-
mal, con valores propios +1 y 1, respectivamente. La interpretacin de la
medicin de la polararizacin en la direccin deber entenderse entonces
como el proceso que entraa:
Fig 6
Fig 7
P 2
donde j ij j = 1: Por ejemplo, como se describe en [2], pgina 16,
i;j=1;2:
en cierto tipo de cascadas radiactivas se producen pares de fotones que se
propagan en direcciones contrarias y, que por conservacin de la paridad y
el momento angular, quedan en un estado entrelazado
1
= p ("1 "1 + "2 "2 );
2
cuando se escogen coordenadas de manera adecuada.
Fig 8
1 1
= p cos( )e1 ( ) e1 ( ) + p cos( )e 1( ) e 1( )+ (11.2)
2 2
1 1
+ p sin( )e1 ( ) e 1 ( ) p sin( )e 1( ) e1 ( ));
2 2
190CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN
como se puede ver despus de utilizar las identidades para el coseno y el seno
de la suma de dos ngulos. Segn la interpretacin del formalismo cuntico,
la medicin simultnea de la polarizacin de p1 y p2 con dos polarizadores P
y P situados como en la gura 8 colapsara el estado en uno de los cuatro
posibles estados ei ( ) ej ( ), i; j = 1; 1, con probabilidades dadas por la
norma al cuadrado del rspectivo coeciente. As, por ejemplo, la probabilidad
de obtener la medicin e1 ( ) e1 ( ) (p1 pasa por el polarizador P y p2 pasa
por P ) sera 21 cos2 ( ). As mismo, la probabilidad de que p1 llegue al
detector tras P pero p2 no llegue al que est detrs de P , sera 12 sin2 ( ).
Si el formalismo es consistente no debera importar si la medicin se hace
de manera simultnea o si primero se realiza cualquiera de las mediciones
P o P . As resulta ser. En efecto, si decidimos, por ejemplo, medir primero
con P , el estado colapsar en uno de dos estados;
2 = cos( )e 1( ) e 1( ) sin( )e 1( ) e1 ( );
en caso contrario. Cada evento tiene probabilidad 21 ; pues = p12 1 + p12 2 :
Si luego hacemos la medicin en P , la probabilidad, por ejemplo, de obten-
er +1 (p2 pasa el polarizador) ser entonces cos2 ( ). La probabilidad
conjunta de que p1 pase por P y que luego p2 atraviese P ; es entonces
1 2
2 cos ( ), como era de esperarse.
R2
P( ; ) = ( )A( ; )A( ; )d :
0
R2
P( ; ) P( ; ) = ( )[A( ; )A( ; ) A( ; )A( ; )]d
0
R2
= ( )[A( ; )A( ; ) A( ; )A( ; )A( ; )2 ]d (pues A( ; )2 = 1)
0
R2
= ( )A( ; )A( ; )[1 A( ; )A( ; )]d :
0
192CAPTULO 11. *APLICACIONES: POLARIZACIN DE UN FOTN
En conclusin
jP ( ; ) P ( ; )j 1 + P ( ; ):
De otro lado, en el modelo cuntico la funcin de correlacin puede estimarse
como sigue: si hacemos un nmero muy grande N de experimentos con dos
ltros jos P y P , de (11.2) vemos que las probabilidades de obtener
mediciones f+1 y +1g o f 1 y 1g, seran 21 cos2 ( ) en ambos casos.
Luego la probabilidad de obtener una correlacin (mediciones del mismo
signo) sera cos2 ( ). De otro lado, y de manera similar, la probabilidad
de obtener valores con signo contrario es igual a sin2 ( ). Al hacer un
nmero muy grande, n; de experimentos, la diferencia P ( ; ) =nmero total
de correlaciones nmero total de no correlaciones sera igual entonces a
n(cos2 ( ) sin2 ( )). En promedio se obtendra un valor igual a
cos2 ( ) sin2 ( ) = cos 2( ):
Luego, P ( ; ) = cos 2( ), de acuerdo con la prediccin del modelo
cuntico.
Si tomamos = 0; = =8; = =8 + =2, se obtendra:
p
P ( ; ) = cos( =4) = 2=2
p
P ( ; ) = cos( =4 + ) = 2=2:
P ( ; ) = cos( ) = 1
lo cual claramente viola la desigualdad de Bell:
p p p
2 = 2=2 + 2=2 1 + ( 1):
[1] Aspect, A., Dalibard, J., & Roger, G. (1982). Experimental test of
Bells inequalities using time-varying analyzers. Physical review letters,
49(25), 1804.
[9] Nakhl Asmar, Partial Di erential Equations with Fourier series and
Boundary Value Problems.
193
194 BIBLIOGRAFA