Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Analisis en Ingeniería Tensor PDF
Analisis en Ingeniería Tensor PDF
NOTAS DE CLASE
ANLISIS EN INGENIERA
MECNICA
POR LA COMISION DE
SUPERACION ACADEMICA DE
LA H. ACADEMIA DE LA FIMEE.
OCTUBRE DE 2007.
Autor:
Dr. Luz Antonio Aguilera Corts
Clave de identificacin
N.ME.M.(1) I 07-10
Maestra en Ingra. Mecnica Anlisis en Ingeniera
NOTAS DE CLASE.
Aguilera A
Maestra en Ingra. Mecnica Anlisis en Ingeniera
ndice
I. lgebra Vectorial
lgebra Vectorial I-1
Funciones Vectoriales de una Variable I-13
Derivada Direccional . I-17
Gradiente, Divergencia y Rotacional I-17
Ejemplos I-23
V. Tensores (Opcional)
Coordenadas Oblicuas V-1
Coordenadas Curvilneas .. V-12
Transformaciones V-16
Convencin suma de Einstein . V-17
Tensores . V-25
Derivada Covariante . V-29
Bibliografa
Aguilera A
Maestra en Ingra. Mecnica Anlisis en Ingeniera
ALGEBRA VECTORIAL
Vector: Para nuestros propsitos un vector en un espacio Euclideano es bien definido como un
segmento lineal con una direccin y magnitud dadas.
F B Desplazamiento
Fuerza, velocidad,
A Aceleracin,
Campo elctrico
Campo magntico
Dos vectores son iguales si ellos tienen la misma direccin y la misma magnitud.
El negativo de un vector (-A) es aqul que tiene idntica longitud pero direccin opuesta
al original.
B B A-B = A+(-B)
A+B A
-B
A
A-B
i) n > 0 (positivo)
nA = An
El nuevo vector (nA) tiene la misma direccin y sentido que A pero su magnitud ha
cambiado en la forma siguiente:
n=2
A 2A
-A/2 n = -1/2
AB = ABcos
B
El producto de 2 vectores es igual a la longitud de
Proyeccin de A uno u otro de ellos multiplicada por la proyeccin
Sobre B Acos del otro sobre l.
A
Proyeccin de B sobre A
2) Si B = A, entonces, obviamente:
AA =A2= A2 ya que = 0;
A(B + C ) = AB + AC
AxB
A x (B+C) = (A x B) + (A x C)
A x B = -B x A
VECTOR UNITARIO
Se define un vector de magnitud unitario como un vector con cierta direccin prescrita.
Por lo tanto, se puede expresar el vector unitario A en la direccin del vector A como:
A =
y as:
A = AA
Se ha visto que los vectores unitarios se pueden definir en cualquier direccin. Sin
embargo, los vectores unitarios ms tiles son aquellos que tienen direcciones mutuamente
ortogonales (conjunto ortonormal), por ejemplo las direcciones X, Y y Z de las coordenadas
cartesianas rectangulares, denotadas comnmente por i, j y k .
Y
j
i
REPRESENTACIN DE UN VECTOR
En trminos mas generales, cualquier vector cuyas componentes a lo largo de los ejes
coordenados son, respectivamente, a1, a2 y a3 puede escribirse:
Luego si
B = b1i + b2j + b3k
Entonces
A B = (a1 b1)i + (a2 b2)j + (a3 b3)k
Claramente, dos vectores sern iguales si y slo si, sus respectivas componentes son iguales.
Ya que el producto punto de vectores que son perpendiculares es cero, se tiene que:
ij = jk = ki = 0
De aqu:
A B = (a1i + a2j + a3k)(b1i + b2j + b3k) Aplicando la propiedad
=a1b1 + a2b2 + a3b3 distributiva, expandiendo y
simplificando
En particular, si B = A, se tiene
a1b1+a2b2+a3b3
cos= = lAlB + mAmB + nAnB
a12 + a 22 + a32 b12 + b22 + b32
AB = ABcos
Ejemplo:
AB = -1
Luego la magnitud de cada vector:
A = 2 2 + 3 2 + 12 = 14 = 3.74
B = 12 + 12 + 2 2 = 6 = 2.15
As:
cos= -1/(3.74)(2.15)= -1/9.17=-0.109
=96.3
i j k
AxB= a1 a2 a3
b1 b2 b3
TRIPLE PRODUCTO
Se tienen los 3 siguientes casos:
(AB)C; A(B x C) ; A x (B x C)
En cualquier triple producto escalar el punto y la cruz pueden intercambiarse sin alterar el
valor del producto. [ABC]
[ABC] = 0 es una condicin necesaria y suficiente para que A, B y C sean paralelas a un mismo
plano. En particular, si dos factores de un triple producto escalar tienen la misma direccin, el
producto es cero.
I=BxC=BCsen
h=An=Acos
V = [Acos][BCsen]
V = (An)(BxC)
V = A{BxCn}
V = A(BxC)
Se tiene:
A(BxC)=(a1i+a2j+a3k)[(b2c3-b3c2)i-(b1c3-b3c1)j+(b1c2-b2c1)k]
A(BxC)=a1(b2c3-b3c2)-a2(b1c3-b3c1)+a3(b1c2-b2c1)
a 1 a2 a3
[ABC]= b1 b2 b3
c 1 c2 c3
Con el conocimiento del triple producto escalar y vectorial, los productos que involucren
mas de tres vectores pueden ser expandidos sin dificultad:
(A x B )(C x D) = A[B x (C x D)]
= A[(BD)C - (BC)D] IDENTIDAD DE LAGRANGE
= (AC)(BD) - (AD)(BC)
similarmente:
Ejemplos
(1) Sea:
A=17i + 8j + 12k
B=5i + 10j + 3k
Obtener A-B
(2) Dados los vectores A y B, determinar C = A-B, Cules son los cosenos directores de C?
De la figura se tiene:
A=10i+5k
B=3j+4k
Entonces:
C=A-B=10i-3j+k
Luego:
C=(102+32+12)1/2=1101/2=10.49
y los cosenos directores:
Solucin:
C=A+B=(17i+8j+12k)+(5i+10j+3k)
C=(17+5)i+(8+10)j+(12+3)k
C=22i+18j+15k
y la magnitud:
C=(222+182+152)1/2=10331/2=32.14
(4) Sea:
A=20i+4pj+rk
B=4i+8j+(p+q)k
C=8qi+8qj+15k
p, q, r son escalares desconocidos y C = A + B determinar p, q y r.
C=A+B
8qi+8qj+15k=(20i+4pj+rk)+[4i+8j+(p+q)k]
8qi+8qj+15k=24i+(4p+8)j+(r+p+q)k
8q = 24 q=3
8q = 4p+8 p=4
15 = r+p+q r=8
ev= V/ V=Vev
V
Solucin:
Entonces:
v = V/V = (3i+ 4j+ 12k)/13=0.231i+0.308j+0.923k
Se obtiene:
6) rea de un paralelogramo
A = 2i + 3j - k
B = -i + j + 2k
i j k
A x B= 2 3 -1 = [(3)(2)-(1)(-1)]i-[(2)(2)-(-1)(-1)]j+[(2)(1)-(-1)(3)]k
-1 1 2
A x B = 7i - 3j + 5k
rea = A x B= 7 2 + 3 2 + 5 2 = 49 + 9 + 25 = 9.11 u2
7) rea de un tringulo
-Determinar el rea del tringulo cuyos vrtices son (0,0,0), (2,4,10) y (3,12,5)
SOLUCIN:
Puesto que
rea=1/2ABsen(A,B)=1/2AxB
A=2i+4j+10k
B=3i+12j+5k
i j k
A x B = 2 4 10 = -100i + 20j + 12k
3 12 5
A x B= 100 2 + 20 2 + 12 2 = 102.7
rea = 102.7/2 = 51.35 u2
Solucin:
A=(12j-5k)/13
B=(-5i+5k)/52
as:
A=AA=65[(12j-5k)/13]=60j-25k
B=BB=202[(-5i+5k)/52]=-20i+20k
9) Determinar la distancia mnima entre el punto (1,4,8) y la recta que pasa por (0,0,0) y (2,14,5)
SOLUCIN:
Y como:
A=2i+14j+5k
B=i+4j+8k
entonces:
i j k
AxB = 2 14 5 = 92i - 11j - 6k
1 4 8
De manera que:
AxB = (92 2
+ 112 + 62 ) = (8621) = 93
A = (2 2
+ 142 + 52 ) = (225) =15
As:
Si t es un escalar variable y si para cada uno de los valores de t en algn intervalo existe
un valor correspondiente de un vector V, se dice que V es funcin vectorial de t.
V(t)=V1(t)i+V2(t)j+V3(t)k
V(t) es continua si y slo si las tres funciones escalares V1(t), V2(t) y V3(t) son continuas
V=V(t+t)-V(t)
=[V1(t+t)i+V2(t+t)j+V3(t+t)k]-[V1(t)i+V2(t)j+V3(t)k]
=V1i+V2j+V3k
dV V(t+t)-V(t) V
= lim = lim
dt t0 t t0 t
dV V1 V2 V3
= lim i + lim j + lim k
dt t0 t t0 t t0 t
De la ltima relacin se puede definir la diferencial de una funcin vectorial V(t) como:
dV = dV1i+dV2j+dV3k
R = xi+yj+zk
dR = dxi+dyj+dz
V(t+t)
V
V(t)
y
dV V cuerda infinitesimal de c
= lim = lim = 1
ds s0 s s0 arco infinitesimal de c
As, si s es la longitud de arco de la curva c definida por los puntos extremos de los vectores V(s),
entonces dV/ds es una tangente unitaria a c.
d(UV) dU dV d
= ( A + B ) = dA + dB
dt dt dt dt dt dt
DEMOSTRACIN:
d(A+B) A(t+t)+B(t+t)-A(t)-B(t)
= lim
dt t0 t
A(t+t)-A(t) B(t+t)-B(t)
= lim + lim
t0 t t0 t
dA dB
= +
dt dt
d(V) d dV
= V +
dt dt dt
d dA dB
(AB) = B+ A
dt dt dt
DEMOSTRACIN:
d(AB) A(t+t)B(t+t)-A(t)B(t)
= lim
dt t0 t
A(t+t)B(t+t)-A(t+t)B(t)+A(t+t)B(t)-A(t)B(t)
= lim
t0 t
A(t+t)[B(t+t)-B(t)] [A(t+t)-A(t)]B(t)
= lim = lim
t0 t t0 t
dB dA
= A + B
dt dt
d(U x V) dU dV
= x V + U x
dt dt dt
d[UVW] dU dV dW
= VW + U W + UV
dt dt dt dt
d[Ux(VxW)] dU dV dW
= x (VxW) + U x xW +Ux Vx
dt dt dt dt
V = dQ / dt = 6ti + 8j
EL OPERADOR (NABLA)
P(x,y,z)
R+R
R
Sea una funcin escalar de posicin que tiene primeras derivadas parciales con respecto
a x, y, z en alguna regin del espacio y sea R = xi+yj+zk (vector del origen al punto P).
Si nos movemos de P a un punto cercano Q(x + x,y + y,z + z), la funcin cambiar en un
cuyo valor exacto del clculo es:
x y z x y z
= + + + 1 + 2 + 3
s xs ys zs s s s
Puede notarse que el primer factor en cada uno de los productos del lado derecho depende slo de
y de la coordenada en la cual la derivada de es evaluada. A su vez el segundo factor es
independiente de y depende slo de la direccin en la cual la derivada es calculada. Esto
sugiere que d/ds puede representarse como el producto punto de dos vectores, uno que depende
slo de y las coordenadas de P, el otro que depende slo sobre la direccin de ds, as:
d x y z dR
= i+ j+ k i+ j + k = i + j+ k (4)
ds x y z s s s x y z ds
La funcin vectorial
i+ j+ k
x y z
Vector unitario
d dR dR
= ( grad ) S POR DEFINICIN ES LA
ds ds ds LONGITUD DE R
* El gradiente de en
cualquier punto P es
perpendicular a la superficie
de nivel de la cual pasa a
travs de ese punto.
grad depende slo de las propiedades
intrnsecas de , as en :
grad = i+ j+ k
x y z
grad = i + j + k
x y z
j + k
= i + (6)
x y z
grad =
d dR
=
ds ds
d = dR
= i+ j+ k
x y z
du du du
= i+ j+ k
dux duy duz
d u u u
= i+ j+ k
du x y z
= (d/du) u
El carcter vectorial del operador sugiere que tambin se considere a los productos punto
y cruz en los cuales aparece como factor. Si F = F1i + F2j + F3k es un vector cuyas componentes
son funcionales de x, y, z esto conduce a las siguientes combinaciones:
F = i +
j+
( )
k F1i + F2 j + F3k =
x y z
F1 F2 F3
= + +
x y z
xF = i +
j+
( )
k x F1i + F2 j + F3k =
x y z
F F2 j F3 F1 F2 F1
= i 3 x +k
y z z x y
i j k
= / x / y / z
F1 F2 F3
Ambos, la divergencia y el rotacional tienen interpretaciones fsicas que justifican sus nombres.
v = v + v
xv = xv + ( )xv
(uxv ) = v xu u xv
x(uxv ) = v u u v + u v v u
x(xv ) = ( v ) v = ( v ) 2v
2 2 2
2 = + + EL OPERADOR DE LAPLACE
x 2 y 2 z 2
Estas frmulas son vlidas slo para la forma cartesiana del operador dada en la ecuacin
anterior. Diferentes frmulas se originan cuando es expresada en trminos de sistemas de
coordenadas mas generales.
TRANSFORMACIN DE COORDENADAS
x = l11x+l12y+l13z
y = l21x+l22y+l23z ( 1)
z = l31x+l32y+l33z
En donde ljk ( j, k = 1, 2, 3 ) representa los cosenos directores de los ejes x, y y z respecto de x,
y, z. Si los orgenes de ambos sistemas de coordenadas no coinciden, en este caso las ecuaciones
de transformacin son:
Las primeras ecuaciones de transformacin definen una rotacin pura y las segundas
ecuaciones una rotacin y traslacin. El movimiento ms general de cuerpo rgido puede ser
descrito por una rotacin y una traslacin alrededor de un eje ( eje del tornillo ).
Fsicamente una funcin escalar de punto o campo escalar (x, y, z ), particularizada en un punto
dado debe ser independiente de las coordenadas del mismo (por ejemplo la temperatura).
EJEMPLOS ADICIONALES: Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw Hill, 1995
REF. [1], Captulo 15, Secciones 15.1- 15.5
U R = (i 2 j + 3k ) ( Rxi + Ry j + Rz k) = RX 2 RY + 3RZ
V R = (2i + j + 4k ) ( Rxi + Ry j + Rz k) = 2 RX + RY + 4 RZ
W R = (i + 3 j + 3k ) ( Rxi + R y j + Rz k) = RX + 3RY + 3RZ
Igualando trminos
RX 2 RY + 3RZ 10 = 0 (1)
2 RX + RY + 4 RZ 20 = 0 (2)
RX + 3RY + 3RZ 20 = 0 (3)
5Ry 2 Rz = 0
5 Ry 10 = 0
5Ry = 2 Rz
Ry = 2
5
Entonces Rz = Ry
2
Rx = 1
Rz = 5
Asi
R = i + 2 j + 5k
15.1 P21.- Demuestre por mtodos vectoriales que: un ngulo inscrito en un semicrculo es un
ngulo recto.
De la definicin
G G G G
AB BC = AB BC cos
De la figura se observa que:
G G G G G
Asustituyendo
BG = a + c a = b
G G
BC = b c = a c
Entonces
G G G H G G
AB BC = (a + c ) (a c ) = a 2 c 2
a2 c2
Sustituyendo G G = cos
AB BC
pero debido a que en la fig. se observa que a = c representan el radio del semicrculo a = c = r
a2 c2 = 0
(0, r ) A = ri + rj
B = ri rj
B A
( r ,0) r r (r ,0)
A = 2r
De la definicin A B = A B sen
B = 2r
i j k
r r 0 = k( r 2 r 2 ) = 2r 2 k
r r 0
A B = 2r 2
sustituyendo
2r 2 = 2r 2rsen
2r 2 = 2r 2 sen
sen = 1
= 90
15.2 P13 .- Encuentre un vector unitario perpendicular a los vectores i-2j+k y -5i+4j-2k.
Definiendo el plano que forman A y B como A x B se conoce que el vector resultante ser un
vector perpendicular a dicho plano y por lo tanto a los vectores que lo conforman.
i j k
A x B = 1 2 1 = i(4 4) j (2 + 5) + k(4 10) = C
5 4 2
C
C = 3 j 6k y = ec
C
C = 9 + 36 = 45 = 3 5
1
C1 = ( j 2k)
5
1
C 2 = ( j 2k) debido a que el plano tambin lo puede formar B xA = C
5
15.1 P42. Encuentre la distancia del punto (6,2,2) al plano que pasa por (1,2,3) perpendicular a
2i+2j+k.
P1 (6,2,1)
P2 (1,2,3)
n = 2i + 2 j + k
n
d = (R R0 )
n
R R0 = (6 1)i + (2 2 ) j + (1 3)k
R R0 = 5 j 2k
n = 22 + 2 2 + 12 = 3
Entonces
d=
(5i 2k ) (2i + 2 j + k )
3
d=
1
(10 + 0 2) = 8
3 3
8
d=
3
15.3 P3) Encuentre a) [ABC], b) Ax(BxC), c) (AxB)xC, d) el volumen del paraleleppedo que
tiene como lados A+C, A-C y B, e) el volumen del paraleleppedo que tiene como lados A+C, A-
C y C, f) (AxB)(CxD), y g) (AxB)x(CxD). Los vectores son;
A = 10i + 10 j + 5k
B = 5i 2 j 14k
C = 4i + 7 j 4k
D = 2i j + k
a)
10 10 5
[ ABC ] = 5 -2 -14 = 10 ( 8 + 98 ) 10 ( 20 + 56 ) + 5 ( 35 + 8 ) = 1060 360 + 215 = 915
4 7 -4
A C = (10i + 10 j + 5k ) (4i + 7 j 4k ) = 40 + 70 20 = 90
A B = (10i + 10 j + 5k ) (5i 2 j 14k ) = 50 20 70 = 40
A x(B xC ) = 90(5i 2 j 14k ) ( 40 )(4i + 7 j 4k )
= 450i 180 j 1260k + 160i + 280 j 160k
Ax(B xC ) = 610i + 100 j 1420k
i j k
c) ( A xB )xC A xB = 10 10 5 = i ( 140 + 10) j ( 140 25) + k( 20 50)
5 - 2 - 14
i j k
( A xB )xC = = - 130 165 - 70 = i( 660 + 490) j (520 + 280) + k( 910 660)
4 7 -4
d)
A + C = 14i + 17 j + k 14 17 1
A C = 6i + 3 j + 9k V = 6 3 9 = 14(42 + 18) 17(84 45) + (12 15)
B = 5i 2 j 14k 5 2 14
e)
A + C = 14i + 17 j + k 14 17 1
A C = 6i + 3 j + 9k ; V = 6 3 9 = 14(12 63) 17(24 36) + (42 12)
C = 4i + 7 j 4k 4 7 4
V = 1050 + 1020 + 30 = 0 u 3
f) ( A xB ) (C xD )
A xB = 130i + 165 j 70k
i j k
C xD = 4 7 - 4 = i(7 4) j (4 + 8) + k( 4 14)
2 -1 1
C xD = 3i 12 j 18k
( A xB ) (C xD ) = (130i + 165 j 70k) (3i 12 j 18k) = 390 1980 + 1260
( A xB ) (C xD ) = 1110
i j k
g) ( A xB ) x(C xD ) = 130 165 70 = i (2970 840) j (2346 + 210) + k (1560 495)
3 12 18
15.4 P17.- El vector de posicin de una partcula p en el tiempo t est dado por
r (t ) = 6ti + 12t 2 j + 8t 3k . Encuentre todos los valores de t para los cuales el movimiento de p es
a) paralelo a i+2j+k b) perpendicular a i-5j+16k.
a) Si el movimiento es paralelo a
a
A = i + 2 j + k
r A = 0
i j k
6 24t 24t 2 = 0
1 2 1
24t 48t 2 = 0 t1 = 1
2
6 24t = 0
2
t2 = 1 t = 1 segundo
2 2
12 24t = 0 t3 = 1
2
b) Si es perpendicular a B = i 5 j + 16k
r B = 0
6 120t + 384t 2 = 0
64t 2 20t + 1 = 0
20 400 256 20 12
t= t=
128 128
t1 = 1
4
t2 = 1
16
f f f
f = i + j + k
x y z
2
(a) f =
x
( x + 2 yz ) i + ( x 2 + 2 yz ) j + ( x 2 + 2 yz ) k
y z
f = 2 xi + 2 zj + 2 yk
(
f = 2 xi + zj + yk )
xyz xyz xyz
(b) f =
x
( e ) i + y ( e ) j + z ( e ) k
f = yze xyz i + xze xyz j + xye xyz k
(
f = e xyz yzi + xzj + xyk )
Anlisis Vectorial I-29 Aguilera A.
Maestra en Ingra. Mecnica Anlisis en Ingeniera
(c) f = (xsen( yz ) )i + (xsen( yz ) ) j + (xsen( yz ) )k
x y z
f = sen( yz )i + xz cos( yz ) j + xy cos( yz )k
3
(d) f =
x
(x + y 3 3xyz )i + (x 3 + y 3 3xyz ) j + (x 3 + y 3 3xyz )k
y z
f = (3 x 3 yz )i + (3 y 3 xz ) j + ( 3xy )k
2 2
a b c a b c a b c
(e) f =
n
( x y z ) i + y ( x y z ) j + z ( x y z ) k
f = ax a 1 y b z c i + bx a y b 1 z c j + cx a y b z c 1k
a b c
f = x a y b z c i + j + k
x y x
15.5 P11.- La temperatura T en estado estable de un slido est dada por el campo escalar
x2 ( y + z ) .
2
a)
= T = x 2 ( y + z )2 P ( 2,1,1)
d dR
= R = r1i + r2 j + r3 k
ds ds
T T T
T = i + j + k
x y z
T = 2 xi 2( y + z ) j 2( y + z )k
b) de la ecuacin:
d dT dR dR R
= = T R = i 2 j + k donde =
ds ds ds ds R
dT
ds
(
= 2 xi 2( y + z ) j 2( y + z )k ) (
i 2 j + k )
12 + 2 2 + 12
dT
ds
(
= 4i 4 j 4k )(i 2 j + k
6
)
dT
= (4 + 8 4 ) / 6
ds
dT
= 8 el valor de la derivada direccional
ds 6
15.5 P29.- Calcule la divergencia y el rotacional de cada uno de los campos vectoriales
siguientes:
F = ( z + seny ) i ( z x cos y ) j
Divergencia:
F = i +
x
y z
[
j + k ( z + seny )i ( z x cos y ) j ]
F = ( z + seny ) + [( z x cos y )] + (0)
x y z
F = xseny
Rotacional:
i j k
0
F = = [(z x cos y )]i
x y z y z
(z + seny ) - (z - xcosy ) 0
0 0
- ( z + seny ) j
x z
+ [( z x cos y )] ( z + seny ) k
x y
F = i + j
EJERCICIOS PROPUESTOS
15.1 (8, 12)
15.2 (18,37, 44)
15.3 (3, 7, 16)
15.4 (24, 39)
15.5 (7, 13, 54).
15.6 (5,13,23,37)
CLCULO VARIACIONAL
INTRODUCCIN
Conjuntamente con los problemas en que es necesario determinar los mximos y los
mnimos de cierta funcin y = f ( x ) [o z = f ( x, y ) ], con frecuencia surge en los problemas
fsicos la necesidad de hallar los VALORES MXIMOS y MNIMOS de un gnero especial de
magnitudes, llamadas FUNCIONALES.
Es decir, se busca determinar la funcin que maximiza o minimiza una cantidad que
depende no de una o ms variables independientes, sino de las funciones de un conjunto dado.
El CLCULO VARIACIONAL estudia los mtodos que permiten hallar los valores
mximos y mnimos de los funcionales. Los problemas en que se exige investigar el mximo o el
mnimo de un funcional, se denominan PROBLEMAS VARIACIONALES.
-Dada una funcin localizar la posicin de sus valores extremos y la magnitud de stos
(optimizacin de magnitud).
-Dada una integral definida determinar el integrando que la hace mnima y el valor de la
integral (optimizacin de forma)
Muchas leyes de la mecnica y de la fsica se reducen a la afirmacin que cierto funcional debe
alcanzar su mximo o su mnimo en el proceso considerado (PRINCIPIOS VARIACIONALES
DE LA MECNICA o LA FSICA).
Los tres problemas siguientes ejercieron gran influencia en el desarrollo del clculo
variacional :
PROBLEMA DE LAS GEODSICAS: aqu se pide determinar la lnea de menor longitud que
una dos puntos dados en cierta superficie ( x, y, z ) = 0
-PROBLEMA ISOPERIMTRICO: Se pide hallar una lnea cerrada de longitud dada l que
delimite el rea mxima S .(Esta lnea es la circunferencia)
Otro caso que puede incluso reducirse al clculo elemental se refiere al problema: de
todas las curvas suaves que unen a P0 ( x0 , y 0 ) con P1 (x1 , y1 ) encontrar aquella de longitud
mnima (RECTA).
MAXIMIZAR MAXIMIZAR
}FUNCIONES }FUNCIONALES
MINIMIZAR MINIMIZAR
Un funcional es una regla que asigna un nmero real nico a cada funcin de un conjunto,
o dominio dado de funciones.
f (x )dx es un funcional, puesto que es una regla que asigna un nmero real
b
2.
a
nico a cada funcin f que sea integrable sobre [a, b] .
3. Los coeficientes de Fourier
1 d +2 p nx 1 d +2 p nx
an = f ( x ) cos dx b n = f ( x )sen dx
p d p p d p
son funcionales, dado que son frmulas o reglas que asignan valores numricos
nicos a cada funcin peridica que satisfaga las condiciones de Dirichet.
4. Para cada valor x la expresin
L( y ) = a0 y '' ( x ) + a1 y ' ( x ) + a0 y ( x )
es un funcional cuyo dominio es el conjunto de todas las funciones y que sean
dos veces diferenciables en x .
5. La deflexin mxima del extremo de una viga en voladizo que se obliga a vibrar
por medio de una carga armnica w( x )sent es un funcional cuyo dominio es el
conjunto de todas las funciones admisibles de distribucin de carga w( x )
1 l
La energa potencial V = EI ( x ) y '' ( x ) dx que es almacenada en una viga
2
6.
2 0
flexionada es un funcional cuyo dominio es el conjunto de todas las curvas
admisibles de deflexin y ( x ) .
1 l
7. La energa cintica de una viga vibrante T = 2 ( x ) y 2 ( x )sen 2tdx en
2 0
cualquier instante particular es una funcional cuyo dominio es el conjunto de
todas las curvas admisibles de deflexin y ( x ) .
a a
(1)
PRINCIPIOS VARIACIONALES
Los principios variacionales son una de las herramientas ms poderosas para formular las
ecuaciones de movimiento de sistemas de n GDL y sistemas continuos con una clara
comprensin sobre cualquier aproximacin hecha durante el proceso de derivar las ecuaciones.
Las bases de este tpico fueron dadas por los hermanos Bernoulli e importantes
contribuciones fueron hechas por Euler, Lagrange, Weirstrass, Hamilton y Bolzane.
x1
(1A)
donde A y F son FUNCIONALES (funciones de otras funciones)
du( x ) d 2u ( x )
u = u(x ) u' = u' ' =
dx dx 2
En mecnica , el funcional usualmente posee un significado fsico claro. Por ejemplo en la
mecnica de slidos deformables, la energa potencial ( ) juega la regla del funcional ( es una
funcin de las componentes del desplazamiento u , v y w , las cuales, a su vez, son funciones de
las coordenadas x , y y z ). La integral en (1) est definida en la regin o dominio [x1 , x 2 ] . Sean
los valores de u definidos sobre las fronteras u ( x1 ) = u1 y u ( x 2 ) = u 2 . stas se conocen como las
condiciones de frontera del problema.
Uno de los procedimientos que pueden usarse para resolver el problema de la ec.
(1) es ;
u2
Solucin u (x ) = u(x ) + u ( x )
u ( x) Tentativa
solucin solucin variacin
u1 Solucin tentativa exacta de u
u(x) Exacta
x1 x x2
( F dx ) = (F )dx
du d
= (u )
dx dx
Tambin, definimos la variacin de una funcin de varias variables o un funcional en una manera
similar al clculo elemental de la diferencial total de una funcin.
0
F F F F
F = u + u '+ u ' '+ x (2)
u u ' u ' ' x
x = 0 variacin para un valor fijo de x
x2 F F F x2
A = u + u '+ u ' ' dx = Fdx = 0 (3)
x 1 u u ' u ' ' x1
F x 2 F u x 2 F F
x2
x1 u ' u' dx = x1 u ' x dx = x1 u ' x (u )dx = u' u (Fu ' )udx (4)
x2 x2 d
x1
x1 dx
F F
(u ')dx = F u ' d F
x2
x2 x2 x2
x1 u ' '
u ' ' dx = x1 u ' ' x u ' ' x1
x1
u ' dx =
dx u ' '
x2 (5)
F d F d 2 F
x2
x2
= u ' u + udx
u ' ' x1 dx u ' ' x1
x1 dx 2 u ' '
As
x2 x2
F d F d 2 F F
u dx u ' + dx 2 u ' ' udx + Fu ' dx (Fu ' ') u
x2 d
A = + u '
x1
x1 u ' ' x1
F d F d 2 F
+ =0 (7)
u dx u ' dx 2 u ' '
x2
Fu '
d
( Fu ' ' ) u =0 (8)
dx x1
x2
F
u ' =0 (9)
u ' ' x1
Las condiciones que establecen las ecs. (8) y (9) se conocen como CONDICIONES DE
FRONTERA NATURAL (Si ellas son satisfechas se llaman condiciones de frontera libres ). Si
las condiciones de frontera NO son satisfechas, deberamos tener;
u(x1 ) = 0 u(x2 ) = 0
u ' (x1 ) = 0 u' (x2 ) = 0
para que sean satisfechas las ecuaciones (8) y (9). stas se llaman CONDICIONES DE
FRONTERA FORZADAS O GEOMTRICAS .
Distinga que la ec. (7) de la pgina previa puede reducirse si F no depende de u a la expresin;
F d F
=0 (7A)
u dx u '
F
i) Si la funcin F no involucra a u de manera explcita, entonces 0 y la ec. (7A)
u
d F F
se reduce a; =0 =k
dx u u
F
ii) Si F no involucra a x ni a u de manera explcita, la derivada parcial es funcin
u
solo de u. Toda solucin tendr la forma u = a donde la cte. a es una funcin de
k . u es una funcin lineal de x.
d F F d F F
u F = u
dx u y dx u x
F
Si F no involucra a x en forma explcita, entonces 0 y la ecuacin de Euler-Lagrange se
x
simplifica. Una primera integracin de esta ecuacin da como resultado
F
u F = K
u
d ( x2 ,u2 )
A = u ( x, u, u ) dx = h ( x, u ) dx = dh ( x, u ) = h2 h1
x2 x2
(8)
x1 x1 dx ( x1 ,u1 )
Esto prueba que el valor de A es independiente de u, aunque u debe de cumplir las condiciones de
extremo u ( x1 ) = u1 y u ( x2 ) = u2 .
dh h h
F= = + u ; por hiptesis con esto
dx x u
2h 2h h
Fu = + 2 u ; Fu ' =
ux u u
d h h
2 2
( Fu ' ) = + u
dx xu u 2
d
Ya que hxu = hux se tiene que Fu ( Fu ' ) 0
dx
Comentario
Debe tenerse cuidado y distinguir que la ec. (7A) no es una condicin suficiente para que u
extremice la integral A(I) de la ec. (8) o ec.(1). Una solucin de la ec. de Euler-Lagrange, con
condiciones de extremo pre-definidas, puede conducir a un valor estacionario de A pero no
necesariamente un mximo o un mnimo; y an si un extremo ocurre, ste puede ser relativo y no
absoluto. En algunos casos inclusive podra obtenerse soluciones en forma implcita lo cual a su
vez traera sus complicaciones. Estas observaciones sugieren la necesidad de profundizar ms en
la teora matemtica, pero afortunadamente en aplicaciones elementales del clculo de
variaciones esto no es necesario en forma estricta. As que podemos dejar de intentar
profundizar en la teora y mejor nos concentraremos en aspectos prcticos del tema lo cual
despus de todo es nuestro objetivo principal.
( x0 ) = 0
(x ) (x )dx = 0
x1
x0 ( x1 ) = 0
( x ) 0 en dicho segmento.
Para probar lo anterior, suponga que ( x ) 0 , entonces existe una x' para la cual
( )
x ' > 0 ( x ') < 0
x0 x' 0 x'1 x1
{ }
para el caso en que ( x ) > 0 x0' x x1' el resultado de la integral es positivo lo cual
contradice la hiptesis, luego ( x ) 0. Igualmente se puede obtener este resultado si se supone
(x ) < 0 .
VARIACIONES
Si se cambia y ( x ) a la funcin
( x) = y ( x ) + ( x ) independiente de x
al cambio ( x ) lo llamaremos variacin de y y lo denotaremos por y
y = ( x )
y ' ( x ) + ( x )
y ' ( x ) = ' ( x )
para la variacin de y' ( x ) correspondiente a estos cambios se tiene
F F 2 F 2 2F 2 F '2 2
F = F ( x, y, y ') + + ' + 2 + 2 '+ '2 + ... F (x, y, y ')
y y ' y yy ' y 2!
F F
F = + '
y y '
En forma equivalente
F F
F = y + y '
y y '
Por analoga con la diferencial de una funcin, la ltima expresin se define como la variacin
del funcional F y se denota F .
*
*Por estricta analoga con la diferencial de una funcin de tres variables, se podra haber
esperado la definicin
F F F
F = x + y + y '
x y y '
Sin embargo se debe recordar que el funcional es el valor de F ( x, y, y ') en un valor
particular de x es decir, no se hace variar x en el clculo de F y por consiguiente x = 0
Resulta interesante e importante hacer notar que las variaciones pueden calcularse mediante las
mismas reglas que se aplican a las diferenciales.
(F1 F2 ) = F1 F2
** (F1F2 ) = F1F2 + F2F1
F1 F2F1 F1F2
=
2
F F22
(F n ) = nF n 1F
F F F F
(F1 F2 ) = F1 + 1 + 1 ' + ... F2 + 2 + 2 ' + ... F1 F2
y y ' y y '
F F F F
= F1 2 y + 2 y ' + F2 1 y + 1 y ' = F1F2 + F2F1
y y ' y y '
De la definicin
d
(y ) = d [ (x )] = y ' = dy
dx dx dx
Si se tiene un funcional de ms de una funcin se tendra por ejemplo para F ( x, u , v' , u ') ,
entonces la variacin de ste se define
F F F F
F = u + v + u '+ v'
u v u ' v '
Clculo Variacional II-11 Aguilera A.
Maestra en Ingra. Mecnica Anlisis en Ingeniera
I ( y ) = F ( x, y, y')dx
b
a
luego
I = I ( y + ) I ( y )
a a
a a
as
I = F ( x, y, y ')dx
b
Una condicin necesaria para que el funcional I tenga un extremo es que su variacin se
anule
a a a
dx
d
integrando el ltimo trmino por partes, con u = Fy ' y dv = (y ) dx
dx
b d (y ) b d (F y ' )
b
Fy' dx = F y 'y ydx
a dx a a dx
d (F y ' )
I = F y
b
ydx
dx
a
d Fy ' ( )
Como ya hemos visto que Fy = 0 es una condicin necesaria para la
dx
existencia de un extremo de I , se concluye que I tambin es cero en cualquier extremo de I .
Inversamente, puesto que y es una variacin arbitraria en y , la condicin I = 0 implica que
d (Fy ' )
Fy = 0 y esto nos representa justamente la ecuacin que ya habamos deducido
dx
d (Fy ' ) d F F
Fy = 0 = 0 Ecuacin de Euler
dx dx y ' y
Ejemplos
Aqu, la respuesta es obvia, a saber, el segmento P1 P2 , pero resulta interesante verificar este
hecho geomtrico elemental, por medio del clculo de variaciones. Por supuesto, lo que se tiene
que hacer es determinar la funcin que minimice la integral
2
x = x2 x2 dy
L= ds = 1 + dx
x = x1 x1
dx
para esta integral, la ecuacin de Euler es
d 2
1 + ( y ' )
1 + ( y ') = 0
2
dx y y
lo cual se reduce a
y'
=c
1 + ( y ')
2
despejando y '
c
y' = =m
1 c2
integrando
y = mx + b
Por supuesto, las constantes m y b se determinan por la condicin de que esta recta debe
pasar por P1 y P2 .
Por ejemplo es fcil verificar que, m, la pendiente de la recta que cubre los puntos P1 y P2 es:
Y2 Y1
m=
X 2 X1
Y2 Y1
m=
X 2 X1
2) 16.3 P7 Qu curva que une los puntos P1 : ( a, b ) y P2 : (a, b ) genera la superficie de menor
rea al girar alrededor del eje x ?
x=a
y 1 + ( y ') dx
a
S= 2yds = 2
2
x=a a
d
yy' 2
2 1 + ( y ') = 0
dx 1 + ( y ')
2
dy '
( y ') 1 = 0
2
yy '
dy
la cual es una ecuacin separable
y' 1
dy = dy
1 + ( y ')
2
y
integrando
[ 2
]
ln 1 + ( y') = 2 ln y 2 ln c 1 + ( y ')
2 y2
= 2
c1
y 2 c12 dy dx
y' = =
c1 y 2 c12 c1
integrando nuevamente
y x x
cosh 1 = + c 2 o y = c1 cosh + c 2
c1 c1 c1
Como P1 y P2 estn colocados simtricamente respecto al eje y, se deduce que la curva requerida
tambin debe ser simtrica respecto al eje y. De donde, c2 = 0, as
x
y = c1 cosh
c1
Para determinar c1, se tiene la ecuacin
a
b = c1 cosh
c1
[( y') y ] dx
v[ y (x )] =
y (0) = 0 , y = 1
2 2 2
0 2
en este caso la ecuacin de Euler tiene la forma
d
[2 y'] ( 2 y ) = 0 o y ' '+ y = 0
dx
La ecuacin diferencial anterior tiene la solucin familiar
y = c1 cos x + c2senx
Determinar la curva que une dos puntos dados A y B por la cual al moverse un punto material
caiga desde el punto A hasta el punto B en tiempo mnimo (el rozamiento y la resistencia del
medio se desprecian)
1 1 + ( y ')
2
y (0 ) = 0
t ( y ( x )) =
x1
2g
0
y
dx
y (x1 ) = y1
F
F y' = c1
y '
1 + ( y ') ( y')2
2
=c
y (1 + ( y ') )
2
y
simplificando
[
1
y 1 + ( y')
2
]
=c o [
y 1 + ( y ') = c1
2
]
Introduciendo el parmetro t , haciendo y ' = ctgt , se obtiene
y=
c1
= c1sen 2
t =
c1
(1 cos 2t )
1 + ctg 2t 2
dy 2c1sent cos tdt
dx = = = 2c1sen 2 t = c1 (1 cos 2t )
y' ctgt
sen2t
x = c1 t + c =
c1
(2t sen2t ) + c2
2
2
2
x c2 =
c1
(2t sen2t )
2
y=
c1
(1 cos 2t )
2
si se transformara el parmetro mediante la sustitucin 2t = t1 y se toma en cuenta que c2 = 0 ,
puesto que para y = 0 es x = 0 , se obtiene la ecuacin de una familia de cicloides de la forma
habitual
x=
c1
(t1 sent1 )
2
y = 1 (1 cos t1 )
c
2
c1
siendo el radio de la circunferencia que rueda, la cual se determina de la condicin de que la
2
cicloide pasa por el punto B( x1 , y1 ) de este modo la BRAQUISTCRONA es una cicloide.
5) 16.3 P23 (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw Hill, 1995)
Encuentre la ecuacin de la curva que une los puntos (0,1) y (2,3) y a lo largo de la cual la
1 + ( y)
2
2
integral
0 y
dx es un mnimo.
dx
Haciendo x = dx = xdy , y la integral puede escribirse
dy
x (x)2 + 1 dy d u u d F F
x0 y
dy x x
dy u u
=0
u (x)2 + 1
aqu = =0
x x y
d u
= 0
u
= c1 =
( x ) + 1 [ 2
]
1
2
x
dy x x y
x ( x )
2
y [1 + ( x) ]
= C1 ; C = 2 2
y ( x ) + 1
2 2 1
1
x= 1 c12 y 2 + c2
c1
(x c2 )2 = 1
c12
( 1
1 c1 y 2 = 2 y 2
c1
)
(x c2 )2 + y 2 = k 2 Ec. circunferencia
(0 c2 )2 + 12 = k 2
y = (x 3) + 10
2
(2 c2 )2 + 32 = k 2
F F
verifquese la ec. F = y + y ' F
y y '
[ ] ( )2! + [( y') ]
2
F = ( y ') + xy + (x + 2 y ' ') + 0 2 + 2 0 '+2 ' 2
2 2
+ xy =
y
y = x 2 ; y = =
[ ] [
= 4nx n + x n +1 + ( ') 2 = 4nx n + x n+1 + ' '
2
] ; = y
= [4nx n
+ x n +1 ] + y ' y ' = [4nx n
]
+ x n +1 + x n 1x n 1 ; ' = y '
[ ] [
= 4nx n + x n +1 + 2 x n 1 x n 1 2 = 4nx n + x n +1 + 2 x 2 n 2 ]
F F
F = y + y ' = F y y + F ' y ' y y ' = nx n 1
y y ' ;
( ) [
= xx n + 2 y ' n x n 1 = x n +1 + 2(2 x ) n x n 1 ]
[
= 4n x n + x n+1 ]
En el curso de dinmica avanzada se estudia con mayor detalle estos mtodos as como
las aplicaciones a problemas de la dinmica.
t2
t1
L dt (A)
t2
t1
L dt = 0
L d L
=0
q dt q
esta ecuacin se conoce como la ecuacin de Lagrange para sistemas conservativos y es su
ecuacin de movimiento.
l1
m1
1
l2
m2
2
Ejemplos
7) Establecer la ecuacin de movimiento del sistema masa-resorte sin friccin tomando x como
coordenada generalizada, oscilador armnico.
1 1 2
T = mx 2 V =
kx
2 2
1 1
L = T V = mx 2 kx 2
2 2
L d L d
= kx, = (mx) = mx
x dt x dt
kx mx = 0 , mx + kx = 0
Esta ecuacin resulta ser la conocida ecuacin de vibracin , que con igual facilidad se puede
obtener de la 2 ley de Newton .
L d L d
= mglsen =
dt dt
( )
ml 2 = ml 2
Clculo Variacional II-22 Aguilera A.
Maestra en Ingra. Mecnica Anlisis en Ingeniera
g
mglsen ml 2 = 0 + sen = 0
l
*ya en este ejemplo simple si no se eligen adecuadamente los ejes al aplicar la 2 ley de Newton
podra complicarse algo el problema
En este caso las coordenadas generalizadas son lo ngulos de torsin i en cada uno de los
discos, as se tiene
T=
1
2
[
I 1 1 + I 2 2 + + I i i + + I n n
2 2 2 2
]
tambin, como la energa potencial almacenada en un eje sometido a torsin es
1
mdulo (ngulo de torsin )
2
2
se tiene
1
2
[
V = k0 12+k1(1 2) ++ki1(i1 i ) +ki (i i+1) ++kn1(n1 n) +kn 2n
2 2 2 2
]
de donde, las ecuaciones de Lagrange [L( , , t )] se obtiene de (ver pg. II-37):
L d L
- =0 ;
i dt i
i = 1,2,3,,n (B)
as
I11 + k01 + k1(1 2 ) = 0
I22 k1(1 2 ) + k2(2 3) = 0
Fig. 1 Fig. 2
dP = (PRESIN NORMAL)(AREA)sen
( )[
= 2 v 2 sen 2 2y 1 + ( y ') dx sen
2
] (E2)
dy
donde y ' = . La fuerza total de arrastre, P , est dada por la integral de la ecuacin (E2)
dx
P = 4 v 2 ysen 3 1 + ( y ') dx
L 2
(E3)
o
L Longitud del cuerpo. Para simplificar los clculos, supongamos que y ' << 1 tal que
y'
sen = y'
1+( y')
2
P = 4 v 2 ( y ') ydx
L 3
(E5)
o
Encontrar y ( x ) la cual MINIMICE el arrastre P dado por la ec. (E5) sujeto a la condicin
que y ( x ) satisfaga las condiciones en los extremos
y ( x = 0) = 0 y(x = L ) = R (E6)
[3 y( y') ]y
2 x =L
x =0
=0 (E9)
d y ( y ) = y ( y ' ) = C = k13
3 3
(E11)
3 3
k1 dy
=
y dx
dy k
= 11/ 3
dx y
y dy = k1dx
1/ 3
3 43
y = k1 x + k2
4
3/ 4
4 4 4
y = (k1 x + k2 ) ; K1 = k1 y K2 = k2
3 3 3
4
3
R
K1 = y K2 = 0
L
De aqu la forma del slido que tiene un arrastre mnimo est dado por la ecuacin
3
x 4
y ( x ) = R
L
F ( x, y, y ') dx mnimo
x2
A= (10)
x1
sujeta a la condicin
h* ( x, y, y') = 0
donde h puede ser una funcin integral. El valor estacionario de un problema de clculo de
variaciones restringido puede encontrarse usando MULTIPLICADORES DE LAGRANGE.
u1
v
f x , y , z , u1 , u 2 , , u n ,
x
, , dv
(11)
u
h1 x, y, z, u1 , u2 , , u n , 1 , = 0
x
(12)
u
hm x, y, z, u1 , u 2 , , u n , 1 , = 0
x
El mtodo de los multiplicadores de Lagrange consiste en tomar variaciones en el funcional
A = ( f + 1h1 + 2 h2 + + m hm ) dv (13)
v
donde i son ahora funciones de la posicin. En el caso especial donde una o ms de las hi son
condiciones integrales, las i asociadas son constantes .
s Usando Lagrange-Multiplicadores
l
M V energa potencial = mgh = mgy
1 1
Y
T energa cintica = mv 2 = ms 2
2 2
1 2
L= ms mgy s, y coordenadas generalizadas.
2
Una forma alterna para obtener los multiplicadores de la ec. 13, as como la ecuacin de
movimiento es ;
d L L n j
= j + QNC Ec. de Euler-Lagrange en trminos de los multiplicadores
dt qi qi j =1 qi
(restricciones) y de las fuerzas (generalizadas) actuando sobre el sistema.
d L L d L L
1 1 = 0 ; 1 1 = 0
dt s s s dt y y y
L d L L
= ms ; = ms =0
s dt s y
L L
=0 = mg
s y
1 1
= sen = 1
s y
0 + mg + 1 = 0 1 = mg
ms mgsen = 0
ms + 1 sen = 0
Clculo Variacional II-28 Aguilera A.
Maestra en Ingra. Mecnica Anlisis en Ingeniera
Multiplicaciones de Lagrange
d L L
= j i + Qnc
dt qi qi j =1 qi
1 1
1 = lsen x = 0 ; T = mx 2 + my 2 x, y, coordenadas generalizadas
2 2
2 = l cos y = 0 ; V = mgy
L L L
= mx ; = my ; =0
x y
d L d L d L
= mx ; = my ; =0
dt x dt y dt
1 1 1
= 1 ; =0 ; = l cos
x y
2 2 2
=0 ; = 1 ; = lsen
x y
L L L
=0 ; = mg ; =0
x y
sustituyendo; i = 1,2,3 ( x, y, )
mx (0) = 1 ( 1) + 2 (0 ) ; mx = 1 1 = mx
my mg = 1 (0) + 2 ( 1) ; my - mg = -2 2 = my + mg
0 (0 ) = 1 (l cos ) + 2 ( lsen ) ; 1lcos - 2lsen = 0
adems
As
( ) ( )
m l 2 sen l cos l cos m l 2 cos + lsen + g lsen = 0
l 2 glsen = 0
g
+ sen = 0
l
Distinga que es la ecuacin de un oscilador armnico!
13) (P. Hamilton) Usando el principio de Hamilton deduzca la ec. de movimiento del siguiente
sistema-masa-resorte
x
1 1
(T V )dt = mv 2 kx 2 + mgy dt
t2 t2
t1 t 1 2 2
x
(m kxx + my )dt
t2
=
t1
g
y
=y x = 2y
= y =
d
(y ) ; x = 2y
dt
t 2 d
I .V . = my tt 22 (m ) + 2kx mg y dt = 0
t1
dt
m + 2kx mg = 0 my + 4ky = mg
Para aplicar los multiplicadores de Lagrange, regresamos a la ecuacin inicial con la restriccin
geomtrica:
t2 1 1
I .V . = my 2 kx 2 + mgy dt ; x = 2y
t1
2 2
Se introduce la restriccin
t2 1 1
I .V . = my 2 kx 2 + mgy + (x 2 y )dt
t1
2 2
my mg + 2 = 0 y kx = 0
resolviendo el sistema
my mg + 2kx = 0
T (x ) T
t (x ) = (E2.1)
T0 T
tal que t (0 ) = 1 y t ( ) = 0 .
dt dt
kA = kA + hS (t t ) (E2.2)
dx x dx x + dx
donde;
k conductividad trmica
A rea de la seccin transversal de la aleta = 2 y (x ) por unidad de ancho de la
aleta
h coeficiente de transferencia de calor
S rea superficial del elemento diferencial de la aleta = 2 1 + ( y ') dx por
2
unidad de ancho
2 y( x ) profundidad (altura) de la aleta en cualquier seccin x
escribiendo
dt dt d dt
kA = kA + kA dx (E2.3)
dx x + dx dx x dx dx
d dt
ky = ht 1 + ( y ')
2
(E2.4)
dx dx
d dt
k y = ht (E2.5)
dx dx
La cantidad de calor disipado de la aleta al medio circundante por unidad de tiempo est dado
por:
L
H = 2 ht dx (E2.6)
0
suponiendo que el flujo de calor del extremo libre de la aleta es cero. Ya que la masa de la aleta
est especificada como m , tenemos
L
2 y dx m = 0 (E2.7)
0
densidad de aleta=
Ahora el problema puede formularse como: Encontrar t ( x ) que maximice la integral de la ec.
(E2.6) sujeta a la ecuacin de restriccin (E2.7). Ya que y ( x ) en la ec. (E2.7) es una variable
tambin, puede expresarse en trminos de t ( x ) usando la ecuacin de balance de calor (E2.5).
Integrando la ec. (E2.5) entre los lmites x y L , obtenemos
ky ( x ) (x ) = h x t (x ) dx
dt L
(E2.8)
dx
suponiendo que el flujo de calor del extremo libre sea cero. La ec. (E2.8)
h 1
t ( x ) dx
L
k dt 0
y ( x) = (E2.9)
dx
H = 2h t (x ) dx
L
(E2.10)
O
sujeto a la restriccin
h L 1 L
h * ( x, t , t ' ) = 2 t ( x ) dx dx + m = 0
k 0 dt x (E2.11)
dx
Este problema puede resolverse usando el mtodo de los multiplicadores de Lagrange. El
funcional I a encontrar su extremal est dado por
L
1 L
0
L
( )
I = H + h * dx =2h t ( x ) +
k dt 0
t ( x ) dx dx
0
dx () (E2.12 )
Multiplicador de
Lagrange
2h 1 L
t ( x ) dx
k t ' 0
F ( x, t , t ' ) = 2ht + (E2.13)
h 2t ' ' t (x ) dx
t ( x )dx +
L x
h
k (t ')3 x
(t ')2
0 t'
=0
(E2.14)
1
2
t ( x ) = 1 x (E2.15)
k
1
1
h1 L h k 2 L 2
y (x ) = t ( x )dx =
k t' x k x k
1 x dx
1 1
2
2 L 2 x
2
h
= L x+
1
2 2
(k ) 2 k k
c1 + c 2 x + c 3 x 2 (E2.16)
donde
1
2
h
L 2 L
c1 = (E2.17)
1
k 2
(k ) 2
h
c2 = 1 (E2.18)
(k ) 2
1
h 2 h
c3 = 1 = (E2.19)
(k ) 2 k 2k
L
L2 L3
m = 2 y(x ) dx = 2 c1 L + c2 + c3
0 2 3
m L L2 hL 1 hL2
= c1 + c2 + c3 = (E2.20)
2 L 2 3 2(k )12 3 k
1
hL 1
=
2
(E2.21)
(k )
1
m 2 hL2
2 +
L 3 k
x0
y1 ( x0 ) = y10 , y 2 ( x0 ) = y 20 ,... , y n ( x0 ) = y n 0
y1 ( x1 ) = y11 , y 2 (x1 ) = y 21 ... , y n (x1 ) = y n1
d
Fyi Fy ' =0 (i = 1,2,..., n )
dx i
que determinan, en general, una familia dependiente de 2n -parmetros de curvas integrales en el
espacio x, y1 , y 2 ,..., y n que es la familia de extremales del problema variacional dado
x0
y ( x0 ) = y 0 , z ( x 0 ) = z 0 , y ( x1 ) = y1 , z (x1 ) = z1
o sea, se determina eligiendo la curva alabeada y = y (x ) , z = z ( x ) fig, 1, entonces, variando
slo y ( x ) y fijando z ( x ) , cambiamos nuestra curva de modo que su proyeccin en el plano
d d
Fy Fy ' = 0 y Fz Fz ' = 0
dx dx
Un ejemplo lo representa la ec. de Euler-Lagrange para sistemas de n-grados de libertad ec.(B),
pg. II-23.
Fig. 1
Fig. 2
[ ]
v[ y ( x ), z ( x )] = 2 y ' 2 + z ' 2 +2 yz dx
0
y (0 ) = 0 , z (0) = 0
y = 1 z = 1
2 2
y ' ' z = 0
z ' ' y = 0
eliminando una de las funciones desconocidas, por ejemplo , z , se obtiene
y ( iv ) y = 0
cuya solucin es conocida
c1 = 0 , c2 = 0 , c3 = 0 y c 4 = 1
por lo tanto
y = senx
z = senx
y = 1 z = 1
2 2
Para y Para z
0 = c1 + c 2 + c3 0 = c1 + c 2 c3
0 = c1 + c 2 c1 = c3 c 2 c1 = c 2
Restando 2c 3 = 0 c3 = 0
y = c1e x + c 2 e x + c 4 senx ; ( )
y = c1 e x + e x + c4 senx
z = c1e x + c 2 e x c 4 senx ; ( )
z = c1 e x + e x c 4 senx
1 = c1e + c2 e
2 2
+ c4
Restando
2 = 2c4 c4 = 1
1 = c1e + c2 e
2 2
c4
2
0 = c1 e e 2 c1 = 0 c2 = 0
y = c1e x + c2 e x + senx
z = c1e x + c2 e x senx
y = senx
z = senx
Ejercicios Propuestos:
0
[ 2
]
v[ y ( x )] = 1 + ( y ) dx
Sujeto a las CF siguientes;
y (0 ) = 0 , y (1) = 1
y (0 ) = 1 y(1) = 1
Ref.[1] (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw Hill, 1995):
Tareas
Pgina 1087 (9, 11, 21, 29 y 43)
Pgina 1101 (13, 15, 19)
Pgina 1113 (9 y 10)
Pagina 1117 (3, 11, 18)
Pagina 1124 (1)
Ecuacin diferencial parcial, EDP, ecuacin que contiene las derivadas parciales de
una o ms variables dependientes con respecto a ms de una variable independiente.
d2y
(4 + x ) dy = y 3 + 4 y = 4x
dx dx 2
dy dx d2y
= +4=0
y 3
x+4 dx 2
y 2
= ln ( x + 4 ) + k Yp = Ax; que conduce 4Ax = 4 A = 1, as
2
Y = C1sen2x + C2cos2x + x
FENMENO OSCILACIN
FSICO
MODELO
ICONICO
LEYES
2 LEY DE NEWTON
FSICAS
EDO parmetros
concentrados
MODELO
MATEMTICO F = ma
EDP continuo
SOLUCIN
INTERPRETACIN
DE LA SOLUCIN
d 2x
2
+ kx = 0 MECNICA: OSCILADOR ARMNICO
dt
d 2 y dy
x 2 + + xy = 0 CALOR, ELECTRICIDAD, AERODINMICA,
ANLISIS DE ESFUERZOS, OTROS CAMPOS
dx dx
u PROBLEMA DE LA TRAYECTORIA DE VUELO DE
U+m = U2 UN COHETE.
m
d4y
EI 4 = w (x ) INGENIERIA CIVIL: TEORIA DEFLEXIN DE
dx VIGAS.
d 2I dI CIRCUITO ELECTRICO DE CA
2
+ a + bI = R sen wt (BIOLOGA O ECONOMIA)
dt dt
2
d2y W dy
= 1+ SUSPENSIN DE CABLES.
dx 2 H dx
2V 2V 2V
2
+ 2 + 2 =0 ELECTRIDAD, CALOR, AERODINMICA, TEORA
x y t DE POTENCIALES.
U 2U 2U
= R 2 +
2 CONDUCCIN DE CALOR, DIFUSIN DE
t x y NEUTRONES EN UNA PILA ATMICA.
2Y 2
2 Y VIBRACIN DE CUERDAS, BARRAS, Y LA
=a PROPAGACIN DE SEALES ELECTRICAS.
t 2 x 2
4 4 4
+ 2 2 2 + 4 = F(x , y ) ANLISIS DE ESFUERZOS.
x 4 x y y
Ecs. Diferenciales Parciales III-3 Aguilera A.
Maestra en Ingra. Mecnica Anlisis en Ingeniera
Digamos que una solucin de una EDP es una relacin explcita o implcita entre las
variables que no contiene derivadas y la cual satisface a la ecuacin. En ciertos casos muy
simples puede obtenerse una solucin en forma inmediata.
U
= x2 + y 2
x
( )
U = x 2 + y 2 x INTEGRACIN PARCIAL
x3
U = + xy 2 + ( y )
3
2U
= x3 y
yx
primero re-escribimos
U
=x y
3
y x
U y2
= x3 y + (x )
x 2
x 4 y xy 2
U= + f (x ) + ( y )
4 2
donde f ( x ) = ( x ) dx
Como un resultado de estos dos ejemplos simples, se observa que mientras las EDO
tienen soluciones que involucran constantes arbitrarias, las EDP tienen soluciones que
involucran funciones arbitrarias.
2U 2U 2U U U
A + B + C +D +E + FU = G
X 2
XY Y 2
X Y
2U 2U 2U U U
A + B + C +D +E + FU = 0 (1)
X 2
XY Y 2
X Y
Para la ecuacin ( 1 ) se establecen los siguientes teoremas bsicos los cuales son
anlogos a los establecidos para las EDO.
TEOREMA
Hiptesis: Sean f1 , f2, ..., fn n soluciones de la ecuacin ( 1 ) en una
regin R del plano xy
Conclusin: La combinacin lineal c1f1 + c2f2 +....+ cnfn es tambin una
solucin de la ecuacin ( 1 ) en la regin R.
Una clase importante de los EDP lineales de 2 orden son las ecuaciones lineales
homogneas de 2 orden con coeficientes constantes.
2U 2U 2U
a + b + c =0 (2) a, b, c constantes.
X 2 XY Y 2
La palabra homognea aqu se refiere al hecho de que todos los trminos de la ecuacin
contienen derivadas del mismo orden.
U = f( y + mx ), (3)
2U
= m 2 f ' ' ( y + mx )
X 2
2U
= mf '' ( y + mx ) (4)
XY
2U
= f ' ' ( y + mx )
Y 2
f( y + mx ) [ am2 + bm + c ] = 0
am2 + bm + c = 0 (5)
- Caso i ) Sean las races distintas m1 y m2. Entonces la ecuacin ( 2 ) tiene las
soluciones:
f ( y + m1x ) y g ( y + m2x ),
- Caso ii) Sea m1 la raz doble (raz repetida). Entonces la ecuacin ( 2 ) tiene la
solucin f ( y + m1x ), donde f es una funcin arbitraria de su argumento. Adems puede
demostrarse que en este caso la ecuacin ( 2 ) tambin tiene la solucin xg ( y + m2x ),
donde g es una funcin arbitraria de su argumento. De aqu la solucin de la ecuacin ( 2 )
es:
f ( y + m1x ) + xg ( y + m1x ),
- Caso iii) Aqu la ecuacin cuadrtica se reduce a: bm + c = 0 y de aqu slo hay una
raz. Sea m1 esa raz, la ecuacin ( 2 ) tiene la solucin f ( y + m1x ), donde f es una funcin
arbitraria de su argumento. Posteriormente puede verificarse otra vez que en este caso
g (x), donde g es una funcin arbitraria de x solamente, es tambin una solucin de la
ecuacin ( 2 ). As la solucin de la ecuacin ( 2 ) es:
f ( y + m1x ) + g ( x )
2u u
c =0 =0
y 2 y y
f(x)+yg(x)
Toda ecuacin de la forma (2) con coeficientes constantes est en una y slo una de las
cuatro categoras cubiertas en los casos i) a iv). As la ecuacin ( 2 ) siempre tiene una
solucin la cual involucra dos funciones arbitrarias.
2u 2u 2u
Ejemplo 1: Encuentre una solucin de: 5 + 6 =0
x 2 xy y 2
m2 5m + 6 = 0
U = f ( y + 2x ) + g ( y + 3x )
2u 2u 2u
Ejemplo 2: Encuentre una solucin de: 4 + 4 =0
x 2 xy y 2
m2 4m + 4 = 0
Y esta ecuacin tiene la raz doble m = 2. Por lo tanto este es un ejemplo del caso ii). Cuya
solucin tiene la forma:
U = f ( y + 2x ) + xg ( y + 2x ).
Finalizamos esta seccin clasificando a las ecuaciones de la forma (1) en los casos
especiales en los cuales los coeficientes A, B, C, D, E y F son constantes reales. Se ilustrar
esta clasificacin con algunas de las famosas ecuaciones de la fsica-matemtica.
2U 2U 2U U U
A + B + C +D +E + FU = 0
X 2
XY Y 2
X Y
Ejemplos:
2u u
4) + =0 Parablica: Caso especial de la ecuacin de calor
x 2 t
unidimensional ( ecuacin de
A = 1, B = C = 0 difusin).
Ejemplos Ref.[1] (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw
Hill, 1995)
6) 11.4 P3.- Para que los valores de x y y es cada una de las siguientes ecuaciones
Hiperblica, Parablica o Elptica?
2u 2u 2u
a) ( y + 1) + 2 x + = x+ y
x 2 xy y 2
2u 2u 2u
b) (x + 1) 2 + 2 x +y 2 =u
x xy y
SOLUCIN:
2u 2u 2u u u
A + B + C +D +E + Fu = a
x 2
xy y 2
x y
Identificando
A = ( y + 1)
B = 2x
C =1
(2 x )2 4( y + 1)(1) = B 2 4 AC
4 x 2 4( y + 1) = 0
[ ]
4 x2 y 1 = 0
x2 y 1 = 0
y = x 2 1 ecuacin de la parbola
Si se tuviera y = x 2 la curva alcanza su punto mas bajo en 0,0 como se resta una unidad,
est desplazada entonces una unidad hacia abajo.
Por lo tanto la ecuacin es parablica para todos los valores de los puntos en ( x, y ) en la
parbola x 2 y 1 = 0
a) 3u xx 4u xy + u yy = 0
u xx + 2u xy 3u yy = e x+2 y
e)
Solucin:
3 2u 4 2u 2u
a) + =0
x 2 xy y 2
Se obtienen:
2u
= m 2 f ' ' ( y + mx )
x 2
2u
= f ' ' ( y + mx )
y 2
2u
= mf ' ' ( y + mx )
xy
al sustituir en a)
De aqu solo:
3m 2 4m + 1 = 0
a=3
b = 4
c =1
Al resolver
( 4 ) ( 4 ) 4 ( 3)(1)
2
m1,2 =
2 ( 3)
4 16 12 4 4
m1,2 = =
6 6
42
m1,2 =
6
4+2 6
m1 = = =1
6 6
42 2 1
m2 = = =
6 6 3
1
Por lo tanto la solucin queda como: u = C1 f ( y + x ) + C2 f y + x
3
e) u xx + 2u xy 3u yy = e x + 2 y
2u 2 2u 3 2u
+ = ex+2 y
x 2 xy y 2
2u 2 2u 3 2u
+ =0 (e )
x 2 xy y 2
2u
= m 2 f ' ' ( y + mx )
x 2 2u
= mf ' ' ( y + mx )
xy
2u
= f ' ' ( y + mx )
y 2
[
f ' ' ( y + mx ) m 2 + 2m 3 = 0]
m 2 + 2m 3 = 0
(m + 3)(m 1) = 0
m1 = 3
m2 = +1
u = c1 f ( y 3 x ) + c2 f ( y + x )
( )
para encontrar la solucin particular e x + 2 y se tiene que:
u xx + 2u xy 3u yy = ( D 2 x + 2 DxDy 3D 2 y ) u = ( Dx + 3Dy )( Dx Dy ) u
1
* e x + 2y ; se tiene de la siguiente forma
(Dx + Dy )(Dx Dy )
y = ax
(Dx Dy ) p = e x + 2 y a = y+x
p = e x + 2(a x )dx
p = e x + 2 a dx u = x + 2a du = -1dx
p = eu du = eu = e x + 2 a = e x + 2( y + x ) = e x +2 y
(Dx + 3Dy )q = p = e x + 2 y
q = e x + 2(a +3 y ) y = a + 3x
a = y - 3x
q = - e x + 2a + 6x dx = - e 7x + 2a dx
u = 7 x + 2a
du = 7
1 u 1 1
q=
7 e du = e u = e 7 x + 2 a
7 7
1 1
q = e 7 x + 2 ( y 3 x ) = e x + 2 y
7 7 *
Comprobacin*
1
u = e x+2 y
7
u 1 2u 1 2u 1
= e x+2 y ; 2 = e x+2 y ; = e x+2 y [2]
x 7 x 7 xy 7
u 1 2u 1
= e x+2 y [2] ; = e x+2 y [4]
y 7 y 2
7
Al sustituir en e)
1 2 4
e x + 2 y + 2 e x + 2 y 3 e x + 2 y = e x + 2 y
7 7 7
1 4 12
e x + 2 y + = e x + 2 y
7 7 7
1
7
ex+2 y = ex+2 y
7
Ejercicios
11.2(3(a,c,e), 6(a,c), 8, 38)
11.3(2,21)
w(x )x
m =
g
ELEMENTO
x x + x l X DIFERENCIAL
cuerda tensa
w ( x ) peso de la cuerda por unidad de longitud
T tensin en la cuerda
SUPOSICIONES
Fx = 0
-T1cos1 + T2cos2 = 0
T1cos1 = T2cos2 = T en la posicin de equilibrio 1 = 2 = 0
T1 = T2
Fy = may
2 y(x ) w( x ) 2 y
-T1sen1 + T2sen2 + f ( x, y, y, t ) x = ( x ) x = x 2 (1)
t 2 g t
dividiendo entre T
T2sen 2 T1sen1 F ( x, y, y, t ) w( x ) 2 y 1
+ x = x
T2 cos 2 T1 cos1 T g t 2
T
y
; tan =
x
y y F ( x, y , y , t ) w(x ) 2 y 1
[ ]+ x = x
x x + x x x T g t 2
T
dividiendo entre x
y y
x x F ( x, y, y, t ) w(x ) 2 y 1
x + x x
+ =
x T g t 2 T
y y
lim x x y 2 y
x + x x
= =
x 0 x x x x 2
2 y F ( x, y, y, t ) w(x ) 2 y 1
+ =
x 2 T g t 2 T
2 y Tg 2 y g
= + F ( x, y , y , t ) (2)
t 2
w(x ) x 2
w(x )
2 y 2 y
2
Tg
= a (3) a2 =
t2 x2 w
( fuerza )(aceleracin ) =
(ML / T )(L / T ) = L
2 2 2
x = dx = ( x, t )dx u
x u ( x, t ) + dx
x
P
P( x, t ) P ( x, t ) + dx
x
dx + dx
x
La energa Potencial
1 1 1
dV = 2 = = F
2 2 2
1 1
dV = P( x, t )x = P( x, t ) ( x, t )dx
2 2
P ( x, t )
= ; = E ( x, t )
A(x )
P ( x, t )
( x, t ) = =
E EA( x )
As:
P ( x, t )
P(x, t )
1
dV = dx
2 EA( x )
1 P 2 ( x, t ) 1 A2 ( x ) 2
2 0 EA( x ) 2 0 EA( x )
V = dx = dx =
1 AE ( x, t )
2 2
1
= dx = A ( x ) E 2 ( x, t ) dx =
2 0 E 2 0
u ( x, t )
2
1
= EA ( x ) dx
2 0 x
La energa cintica
u ( x, t )
2
1
dT = (x ) dx
2 t
2
1
T = ( x ) dx
2 0 t
t2 1 u
2
1 l u
2
( x) dx EA ( x ) dx dt = 0 (A)
t 1
2 0
t 2 0 x
u t2 2u
= ( x) u u ( x ) 2 dt
t2
t t1 t1 t
0
u u u
EA dx =
0 x
EA ( x ) u dx
0 x x x
as la ec. (A)
t2 2u u
t1 0
( x ) EA ( x ) udx dt
t 2 x x
0
Del lema bsico del calculo de variaciones
2u u
(x ) = EA( x ) ; si , A y E ctes.
t 2
x x
2u 2u EA L2
2 = EA 2 =
t x T2
Suposiciones
1) Todas las secciones transversales del eje se conservan planas durante la rotacin
2) Cada seccin transversal gira alrededor de su centro de gravedad
3) La forma de una seccin transversal general es prcticamente un circulo
M (x, t ) J ( x )dx 2
M ( x, t ) + dx M ( x, t ) + M ( x, t )dx =
x g t2
M 2 J ( x )
+ F (x, , , t ) = 2 dx
x t g
x x +x
x x +x
x x
Rigidez a la
M = = GJ ( x ) ; = GJ (x ) torsin
x x
G= mdulo al cortante
2
GJ ( x ) + F ( x , , , t ) = I ( x )
x x t2
2 2 GJ 2 2 ECUACIN ONDA
GJ = I =
x2 t2 I x2 t 2 UNIDIMENSIONAL
Vibracin en Vigas
Z, w
f ( x, t )
M ( x, t ) + dM ( x, t )
f ( x, t ) M ( x, t )
o o'
w( x, t ) w( x, t ) V ( x, t ) V ( x, t ) + dV ( x, t )
x dx
x dx
Viga en Flexin
l
Suposiciones
2w
(V + dV ) + f ( x, t )dx + V = A( x )dx ( x, t ) densidad
t2
Haciendo
V M
dV = dx y dM = dx
x x
V
(x, t ) + f (x, t ) = A(x ) w2 (x, t )
2
x t
M
( x, t ) V ( x, t ) = 0
x
M
Usando V = se llega
x
2M 2w
( x , t ) + f ( x , t ) = A( x ) ( x, t )
x 2 t2
2 w( x, t )
M ( x, t ) = EI ( x )
x 2
2 2w 2w
EI ( x ) 2 ( x, t ) + A( x ) 2 ( x, t ) = f ( x, t )
x 2 x t
4w 2w
EI ( x , t ) + A ( x, t ) = f ( x, t )
x 4 t 2
4w 2w
c2 + =0
x 4 t 2
donde
EI
c=
A
Calculando entonces las componentes transversales, (z) de las fuerzas de tensin que actan
a travs de las fronteras de un elemento bidimensional tpico de la membrana y aplicando la
2 ley de Newton a la masa de ese elemento, se tiene que la deflexin de la membrana z( x,
y, t ) satisface la ecuacin. En las figuras T equivale a P.
2z Tg 2 z 2 z g
= + +
2
F ( x, y , z , z , t ) (4)
t 2
w(x, y ) x 2
y w( x, y )
ya que
F = (T
x x + x cos x + x Tx cos x )y = 0
F = (T y y + y cos y + y Ty cos y )x = 0
(T y + y cos y + y = Ty cos y ) = T
F = (T
z x + x sen x + x Tx sen x )y + (Ty + y sen y + y Ty sen y )x + F ( x, y, z , z , t )xy
w( x, y ) 2z
= xy 2
g t
2z 2 z 1 w( x, y ) 2 z
+ + F ( x , y , z , z , t ) =
x2 y2 T Tg t 2
2z 2z 2 z
= a2 2 + (5)
t 2
x y 2
Tg
a2 = al igual que en el caso de la cuerda vibrante tiene las mismas
w dimensiones.
Ya que la ec. (4) es una EDP de 2 Orden tanto en x y y as como t, se requieren 2 C.I y 4
C.F para encontrar la solucin.
w( x, y,0 ) = w0 ( x, y )
w } C.I (6)
(x, y,0) = w0 (x, y )
t
w
P ( x2 , y2 , t ) = 0 t0
n
w
derivada de w con respecto a una direccin normal a la frontera en el punto
n
(x2 , y2 )
FLUJO DE CALOR;
xyz
m =
g
cxyzu
H = cmu =
g
H c u
= xyz (1)
t g t
f ( x, y, z , t )xyz (2)
H G
Elemento tpico de
volumen en una regin D
de flujo tridimensional E
z F
de calor
A B x
y
u
Porque gana calor kyz x
x y + y / 2
z + z / 2
u
kyz x + x
x 1
y + y
2
1
z + z
2
La suma de estas dos expresiones es la rapidez neta a la cual el elemento gana calor,
debido al flujo de calor en la direccin x.
De la misma manera, se encuentra que las rapideces a las que el elemento gana
calor, debido al flujo en las direcciones y y z son, respectivamente.
u u
kxz 1 + kxz 1
y x + x
2
y x + x
2
y y + y
1 1
z + z z + z
2 2
u u
kxy 1 + kxy 1
z x + x
2
z x + x
2
1 1
y + y y + y
2 2
z z + z
Ahora bien, la rapidez a la cual se est almacenando calor en el elemento, (1) debe
ser igual a la rapidez a la que se est produciendo calor en el elemento, ec. (2) ms la
rapidez a la que est fluyendo calor hacia el elemento del resto de la regin .As se tiene la
siguiente relacin aproximadamente.
cp u u u
x y z = f ( x , y , z , t ) x y z + k y z x + x
g t x y + 1 y x
x y + 1 y
2 2
1
z + z
1
z + z
2 2
u u u u
+ k x z + k x y
y x + 12 x 1
y x + 2 x z x + 12 x 1
z x + 2 x
y + y y 1
y + y y + y
1
1
z + z z + z
1
2 2
2 2 z + z z
u 2u 2u 2u 1 cp
a 2
= + + + f ( x, y , z , t ) a2 = (4)
t x 2 y 2 z 2 k kg
2 u 2u 2 u
+ + =0 (5)
x 2 y 2 z 2
2 u = 0 (6)
2e 2e e
= LC + (RC + GL ) + RGe (7)
x 2
t t
2i 2i i
= LC + (RC + GL ) + RGi (8)
x 2
t 2
t
2e e MATEMTICAMENTE
= RC ECS. IDNTICAS A LA EC.
x 2
t UNIDIMENSIONAL DE
TELEGRAFO CALOR CUANDO NO
i2
i EXISTE FUENTE DE
= RC CALOR.
x 2
t
Por otro lado a altas frecuencias o si R = G = 0 las ecuaciones (7) y (8) se reducen a:
2e 2e
= LC
x 2 t 2
EC. UNIDIMENSIONAL DE ONDA
i2
i 2
= LC 2
x 2
t
La mayora de las EDP en las aplicaciones que vamos a considerar en este curso se
pueden resolver por un mtodo de considerable generalidad conocido como SEPARACION DE
VARIABLES.
f ( x at ) f ( x at )
= af ' ( x at ) ; = f ' ( x at )
t x
2 f ( x at ) 2 f ( x at )
= a 2 f ' ' ( x at ) ; = f ' ' ( x at )
t 2 x 2
2 y 2 y
2
= a ( 3.1 )
t 2 x 2
Puede demostrarse que si g es una funcin arbitraria dos veces derivable entonces
g ( x + a t ) tambin es una solucin de ( 3.1 ). Luego como ( 3.1 ) es una EDP lineal, se
deduce que la suma
y = f ( x at ) + g ( x + at ) ( 3.2 )
tambin es una solucin. Como hemos explicado cualquier solucin de ( 3.1 ) puede
expresarse en la forma de la ecuacin ( 3.2 ).
Esta forma de la solucin de la ecuacin de onda es especialmente til para ilustrar
el significado del parmetro a y sus dimensiones de velocidad.
en t = 0
y
y = ( x) ; ; = ( x)
t
y (x, 0 ) = ( x ) = [ f (x at ) + g ( x + at ) ] t =0 = f (x ) + g ( x ) ( 3.3 )
y
t =0 = ( x ) = [ af ' (x at ) + ag ' (x + at )] t = 0 = af ' ( x ) + ag ' ( x ) ( 3.4 )
t
de ( 3.4 )
(x )
= g ' (x ) f ' (x ) = [ g (x ) f (x ) ]
a x
x
(x ) 1
x
1
x
g (x ) f (x ) = ( x ) dx ; g (x ) = f (x ) + ( x )dx
a x0 a x0
dx =
x0 a
x
1
g ( x ) = ( x ) f ( x ) = f ( x ) + ( x )dx de esta ecuacin se obtiene f y g
a x0
1 1
x x
1 1
f (x ) = (x ) ( x )dx ; g (x ) = (x ) + ( x )dx
2 a x0 2 a x0
En forma equivalente
1 1
x x
1 1
f ( x ) = ( x ) (s )ds ; g ( x ) = ( x ) + (s )ds
2 a x0 2 a x0
( x at ) 1 x at ( x + at ) 1 x + at
Y = f ( x at ) + g ( x + at ) = ( s )ds + + (s )ds
2 2a 0
x
2 2a 0
x
As:
( x at ) + ( x + at ) 1 x + at
Y ( x, t ) =
2a x at
+ ( s)ds (3.5)
2
x at x + at x0 x + at x + at
ya que; + = + = ( s)ds
x0 x0 x at x0 x at
Datos: En t=0
1
(x ) =
1 + 8x2
=0
( x at ) + ( x + at ) 1 1 1
Y ( x, t ) = = + 2
2 2 1 + 8( x at ) 1 + 8( x + at )
2
4. SEPARACION DE VARIABLES
Aun cuando este mtodo no es universalmente aplicable, basta para la mayor parte
de las EDP que se encuentran en las aplicaciones elementales, en la ingeniera y fsica, y
conduce directamente al corazn de la rama de las matemticas que trata de los
PROBLEMAS CON VALOR EN LA FRONTERA.
2 2
2
= a
t 2 x 2
( x, t ) = X ( x ) T ( t )
Entonces:
2 2 X 2 2T
= T = X ' 'T y = X = XT
x 2 x 2 t 2 t 2
XT = a 2 X ' 'T
Dividiendo entre XT
T X ''
= a2 (4.1)
T X
Y la ecuacin (4.1) es una condicin necesaria para que ( x, t ) = X (x )T (t ) sea una solucin
T X ''
= a2 =
T X
T = T y X ''= X
a2
1) Si > 0 , podemos escribir = 2 . En este caso, las 2 EDO y sus soluciones son:
2
T = T;
2
X '' = X
a2
x x
t t
T = Ae + Be ; X = Ce a
+ De a
as
a x
x
[
( x, t ) = X (x )T (t ) = Ce + De a Aet + Be t ]
Pero esta solucin no tiene significado con relacin al problema que se considera
(vibraciones torsionales de un eje). NO ES UNA FUNCION PERIODICA.
T = 0; X ''= 0
T = At + B X = Cx + D
As
( x, t ) = (Cx + D )( At + B )
2
T = 2T ; X = X
a2
T = A cos t + Bsent X = C cos x + Dsen x
a a
( x, t ) = X (x )T (t ) = C cos x + Dsen x ( A cos t + Bsent ) (4.2)
a a
2
La cual evidentemente es peridica, con periodo = . Es decir, ( x, t ) representa un
movimiento vibratorio con periodo 2 o frecuencia = 1 = .
2
11.5 P7- Ref.[1] (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw
Hill, 1995).Cual de las siguientes ecuaciones diferenciales parciales puede ser reducida a
dos o mas ecuaciones diferenciales ordinarias, por el mtodo de separacin de variables?
2u 2u u
c) a + b +c =0
x 2
xy x
i) 2u 1 u 1 2 u u
+ + 2 = a2
r 2
r r r 2
t
u ( x , y ) = X ( x )Y ( y )
2u 2u u
= X Y ; =
x 2
x y x y
u 2u u
= XY entonces = X Y y = X Y
y xy x
Al sustituir se tiene
aX Y + bX Y + cX Y = 0
si se divide entre X Y
aX '' Y X Y cX ' Y
+b + =0
X 'Y X 'Y X 'Y
aX '' Y
+b +c = 0
X' Y
aX '' bY
= c =
X' Y
aX ''
=
X'
bY '
+ c =
Y
Estos resultados indican que la ecuacin puede resolverse por el mtodo de variables
separadas
10) Vibracin libre de una barra (Fija-Libre) Encontrar las frecuencias naturales y la
solucin de vibracin libre de una barra fija en un extremo y libre en el otro.
La solucin est expresada por la solucin obtenida para la ec. de onda (vibracin de
cuerdas, barras y ejes), en este caso las C.F. asociadas son;
u (0, t ) = 0, t o (1)
u ( , t )
= 0, t 0 (2)
x
0 = A * (1) + B * (0 ) A* = 0
B* cos =0 cos =0 (3)
c c c
n
= (2n + 1) , n = 0,1,2,3,
c 2
n =
(2n + 1) c , n = 0,1,2,3, (4)
2
u ( x, t ) = u n ( x, t ) =
n =0
(2n + 1) (2n + 1)c t + D sen t
= sen x C n cos n n (5)
n =0 2 2
donde
2
u0 ( x ) sen
( 2n + 1) x dx
Cn = 0 2
(5.1) pi
4
u0 ( x ) sen
( 2n + 1) ux dx
Dn =
( 2n + 1) c 0 2
11) Eje empotrado en ambos extremos. Encontrar las frecuencias naturales y la solucin
de vibracin libre de un eje con sus dos extremos empotrados.
a) el eje tiene sus dos extremos empotrados, es decir, no puede haber giro en dichos
puntos.
CONDICIONES FRONTERA
(0, t ) = (l , t ) = 0
( x, t ) = Dsen x( A cos t + Bsent )
a
(l , t ) = Dsen l ( A cos t + Bsent ) = 0
a
l l
sen =0 = n
a a
As
na
n = Para n = 1, 2,3,. (4.3)
l
Estos y slo esos valores de dan lugar a soluciones que, adems de ser
peridicas, satisfacen las condiciones en los extremos, o en la frontera, del problema
considerado. Con estas soluciones, una para cada valor admisible de , debemos intentar
construir una solucin que sustituya las restantes condiciones del problema, es decir, que el
eje comience su movimiento en t = 0 con un ngulo de torsin conocido ( x,0 ) = f ( x ) y
una velocidad angular conocida x , 0 = g (x ) en cada seccin.
t
n n na na
'' ( x, t ) = sen x( An cos n 't + Bn sennt ) = sen x An cos t + Bn sen t
a l l l
n na na
( x, t ) = n ' (x, t ) = sen x An cos + Bn sen t (4.4)
n =l n =l l l l
n
(x,0) f ( x ) = An sen x
n =l l
SERIES DE FOURIER
2 l n x
An = f ( x ) sen dx
l 0 l
n na na
= sen x An sen t
t n = l l l l
na n
x,0 g (x ) = Bn sen x
t n =l l l
na
Esto a su vez requiere de calcular los Bn , de modo que las cantidades Bn sean los
l
coeficientes en el desarrollo senoidal de medio rango de la funcin conocida g ( x ). Por
consiguiente:
n a 2 l n x 2 l n x
Bn = g ( x ) sen g ( x ) sen
n a
dx Bn = dx
l l 0 l 0 l
Solucin : La solucin esta dada para la ecuacin (4.2) con Cn y Dn dados para las
ecuaciones () y () respectivamente.
nx nc
w( x, t ) = Cn sen cos t
n =1 l l
donde
2 l nx
Cn = w0 ( x )sen dx
l 0 l
2hx wo ( x, o)
l 0x l
2
w0 ( x ) =
2h(l x ) l
xl
l 2 h
o x
l l
2 2
Sustituyendo (c) en (B), puede evaluarse Cn
2 l 2 2hx n x l 2h n x
Cn = 0 sen dx + l ( l x )sen dx
l l l 2 l l
8h n
2 2 sen para n = 1,3,5,....
n 2
0 para n = 2,4,6,....
n ( n 1)
sen = ( 1) 2 n = 1,3,5
2
8h x c 1 3x 3c
w( x, t ) = 2
sen cos t sen cos t + ....
l l 9 l l
2z 2 z 2z
2
= c
x 2 y 2
+
t 2
Z ( x, y, t ) = X ( x )Y ( y )T (t )
2Z d 2T 2Z d2X 2Z d 2Y
= XY ; = YT ; = XT
t 2 dt 2 x 2 dx 2 y 2 dy 2
Sustituyendo
d 2T 2 d2X d 2Y
XY = C
YT + XT , simplificando
dt 2 dx 2 dy 2
1 d 2T 2 1 d X 1 d 2Y
2
= C + 2
= 2
T dt 2 X dx 2
Y dy
Tomando 1 y 3
d 2T
+ 2T = 0
dt 2
2 y 3
1 d 2 X 1 d 2Y 2
+ =
X dx 2 Y dy 2 c2
d 2 X 2 2 d2X
+ X = +2X = 0
dx 2 c 2
dx 2
d 2Y
+ 2Y = 0
dy 2
L1
y
Aplicando las condiciones en la direccin de x, se obtiene:
Z ( x, 0, t ) = c2 sen x [ ] c3 (1) + c4 ( 0 ) = 0 c3 = 0
Z ( x, L2 , t ) = c4 sen L2 = 0 L 2 = n = R R = 1,2,.....
R
as R =
L2
2 n 2 2
= 2 2
c2 L1
n 2 2 2 R 2 2 2 n 2 2 2
2 = 2c2 + c = 2 c + 2 c
L12 L2 L1
n 2 2 R 2 2 n2 R 2
nR = c + = c + Ecuacin de frecuencias
L12 L22 L12 L22
Z ( x, y , t ) = sen m Xsen nY [ Amn cos mnt + Bmn senmnt ]
m ,n = 0
14) Una barra metlica de 100 cm de longitud tiene los extremos x = 0 y x = 100 (x = L)
mantenidos a 0C. Inmediatamente la mitad de la barra est a 60C, mientras que la otra
mitad est a 40C. Suponiendo un valor para la constante difusividad de 0.16 unidades y
que la superficie de la barra est aislada, encuentre la temperatura en toda parte de la barra
en funcin del tiempo t.
u 2u
= 0.16 2
t x
C.F
u(0,t)=0
u(100,t)=0
C.I.
60 0 x 50
u(x,0)=
40 50 x 100
SOLUCIN:
o
T + 0.162T = 0
X' '+2 X = 0
2
u = e 0.16 t [Acos x + Bsen x]
A=0
n
n =
100
2 100 n 2 50 n 2 100 n
Bn =
100 0
u(x,0)sen
100
xdx =
100 0
60sen
100
x dx +
100 50
40sen
100
x dx
120 n 80 n
Bn = 1 cos + cos cosn
n 2 n 2
200
B1 =
40
B2 =
As la solucin es:
2T 2T 2T
+ + =0
x 2 y 2 z 2
x=0 T=0
x=b T=0
y=0 T=0
y=c T=0
z=0 T=0
z=a T=100
d 2X
2
+ 2X = 0
dx
1 d 2Y 1 d 2 Z 1 d2Y 1 d2Z
+ = 2 = + 2 = 2 ?
Y dy 2 z dz 2 Y dy 2 z dz 2
d 2Y
+ 2Y = 0
dy 2
d2Z
(2 + 2 )Z = 0
dz 2
0 = C1 sen 0 + C 2cos 0 C2 = 0
x = b, T = 0, X = 0
n
0 = C1 sen b b = n =
b
0 = C3 sen 0 + C 4cos 0 C4 = 0
y = c, T = 0, Y = 0
n
0 = C3 sen c c = n =
c
n n
T = C1sen X C3sen Y C5senh ( 2 + 2 Z)
b c
n m
Tn = k mn sen x sen y senh ( 2 + 2 z)
b c
n n
T= k mn sen b x sen c y senh ( + z)
2 2
m =1 n =1
Ejercicios Ref.[1] (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw
Hill, 1995)
16) 11.5 P25.- La superficie curvada de una barra delgada de longitud l se encuentra aislada
contra el flujo de calor. Inicialmente la temperatura en toda la barra es u (x,0 ) = 100 .
Suponiendo que el flujo de calor es unidimensional en la barra, encuentre la temperatura en
cualquier punto de la barra, en cualquier tiempo subsecuente, si en t = 0 la temperatura en
cada uno de los extremos de la barra es repentinamente reducida a cero y se mantiene
posteriormente en esta condicin
Ecuacin Fundamental
2u u
= a2 ; encontrar u ( x, t )
x 2
t
Condiciones:
u ( x, 0 ) = 100
u ( 0, t ) = 0
u (l, t ) = 0
Entonces
2u
= X ' 'T
x 2
u
= XT ; al sustituir
t
XT = a 2 XT
X T
= a2 =
X T
Si 0 = 2
X 2 x = 0 (1)
2
T1 T =0 (2)
a2
Al solucionar: (1)
2
m = 0
2 2
T =
1
T
a2
dT 2
m = = 2t
T a
2
X = A cosh x + Bsenhx T= t+a
a2
2
t
x x
X = Ae + Be T = Ce a
2
[ ]
t
u ( x, t ) = Aex + Be y Ce a
2
; Esta solucin es rechazada por que indica que u incrementa
cuando t tambin.
Ahora si = 0
x = 0 T = 0
por lo tanto
x = Ax + B T = C
Evaluando o = -2 ; se tiene:
2
X + 2 X = 0 T + T = 0 Solucionando
a2
2
- t
X = A cos x + Bsenx T = Ce a2
2
t
u ( x, t ) = [A cos x + Bsenx ]Ce a2
2
t
u ( 0, t ) = A cos ( 0 ) + Bsen ( 0 ) Ce a =0
2
2
t
= 0; A = 0
2
Ae a
2
t
u ( x, t ) = Bsen xe a =0
2
u ( , t ) = Bsen e a = 0
2
( n )
2
t n
u ( x, t ) = Bn e
2 2
a
sen x
n =1
n
100 = Bn sen x
n =1
2 n
Bn = 100sen
0
xdx
200 n
Bn = 0
sen xdx
n
u= x
n n
du = dx ; sen xdx = senudu = [ cosu ]0
0 n 0 n
n n
sen xdx = cos x = [ cosn cos0]
0 n 0 n
n x ( 1)n 1
0
sen dx =
n
200 200
n ( 1) 1 = n 1 ( 1)
Bn = n n
1 ( 1)n n 2 2
200 sen n xe a2 2 t
u ( x, t ) =
n
n =1
1 ( 1)
2 2
n
200 n t
u ( x, t ) =
2 2
sen xe a
n =1 n
n = 1, 3, 5,7
n 2 2
400 1 n t
u ( x, t ) = a2 2
sen xe
n =1 n
17) 11.5 P33.- Una hoja delgada de metal limitada por el eje y las lneas y=0 y y=1,
extendida hasta el infinito en la direccin positiva de las x, tiene sus caras superior e
inferior aisladas. Sus lados horizontales sobre y=1 y y=0 se mantienen a 100 y 0 grados
respectivamente, y sobre su lado vertical la distribucin de temperaturas es
u (0, y ) = 100(1 y ) . Encuentre la temperatura en estado estacionario en cualquier punto de
la hoja.
Ecuacin Fundamental
a 2u 2u 2u u
= 2 + 2 ; para estado estacionario =0
t x y t
2u 2u
+ =0
x 2 y 2
u ( x, y ) = X ( x ) Y ( y )
2u 2u
= X '' Y ; = XY '' ; al sustituir se tiene que:
x 2 y 2
X''Y + XY'' = 0
X'' Y ''
= = donde puede ser ( = 0, 0, 0 )
X Y
Si = - 2
X '' Y''
= 2 = 2
X Y
X ''+ X = 0
2
y- 2Y = 0
m2 + 2 = 0 m2 2 = 0
m = i m =
u ( x,0 ) = 0
u ( x,1) = 100
u (0, y ) = 100(1 y ) = f ( y )
u ( x, y ) acotada cuando x -
u = 100
y
1
u = f ( y)
u=0 x
0
u ( x, 0 ) = [ A cos x + Bsen x ][C Cosh0 + Dsenh0] = 0
[ A cos x + Bsen x ] C = 0 C=0
De aqu no podemos determinar o D, por lo tanto esta solucin no tiene validez, por que
x,D arbitrarias y no satisfacen u ( x, l ) = 100
Si u = 2
X '' Y''
= 2 = 2
X Y
X '' 2 x = 0 Y'' + 2Y = 0; la solucion a estas EDO's es
X = Acosh x + Bsenh x Y = [ C cos y + Dsen y ]
u ( x, 0 ) = 0
u ( x, 0 ) = [ A cosh x + Bsenh x ] ( C cos 0 + Dsen0 ) = 0 C=0
u ( x,y ) = [ A cosh x + Bsenh x ] Dsen y = 0
Dsen y = 100
Evaluando condiciones:
u ( x,0 ) = 0
u ( x,0 ) = [ Ax + B ][0 + D ] = 0 ; D = 0
u (x,1) = 100
u ( x,1) = Ax + B = 100
u ( x, y ) = 100(1 y )
f ( x, t ) f ( x, t ) d
L = 0 e st dt = f ( x, t )e st dt = [L{ f ( x, t )}]
x x x 0 dx
La ecuacin diferencial parcial que hay que resolver es, desde luego, la ECUACIN
UNI-DIMENSIONAL DE ONDA.
2Y 2 Y
2
= a (1)
t 2 x 2
Y(0,t) = f(t)
Y(x,t) acotada cuando x
Y(x,0)=0
Y
=0
t x , 0
Y 2Y ( x, t ) 2 d
2
s 2 L {Y ( x, t )} sY ( x,0) = a2 L = a [L {Y ( x, t )}]
t x,0 X 2
dx 2
d2 s2 d 2Y s 2
[ L {Y ( x , t )}] L {Y ( x, t )} = 0 Y =0
dx 2 a2 dX 2 a 2
s s
X
Y L{Y ( x, t )} = A( s )e
X
a
+ B ( s )e a
Para determinar las funciones coeficientes A(s) y B(s) debe notarse que si Y(x,t) se
conserva finita cuando x , lo mismo tiene que suceder con L {Y ( x, t )} . De donde, B(s)
tiene que ser cero. Adems, haciendo x = 0 en la ltima ecuacin ya con B(s)=0, se tiene
que L {Y ( x, t )} = A(s), y en virtud de la condicin en la frontera Y(0,t) = f(t), se tiene que
L {Y (0, t )} = L { f (t )} . As
s X
X
L {Y ( x, t )} = L{ f (t )}e = L{ f (t )}e
s
a a
T; L{ f (t a)u (t a)} = e as L{ f (t )} a 0
C2; Si L { ( s )} = f (t ), entonces L {e ( s )}= f (t a)u (t a)
-1 -1 as
x x
Y ( x, t ) = f t u t
a a
que representa una onda que viaja hacia la derecha a lo largo de la cuerda con velocidad a.
18) 11.8 P7. (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw Hill,
1995) Utilizando los mtodos de transformada de Laplace, determine el movimiento
torsional de una barra uniforme de longitud l, que se encuentra fija en el extremo x = 0 y
libre en el extremo x = l; si su desplazamiento inicial est dado por
(2n + 1)x
( x,0) = sin y adems parte del reposo.
2l
Solucin:
2 2
2
=a
t 2 x 2
2
2
L 2 = a2 2
t x
2
s 2 s ( x,0) = a2 L 2
t x
ahora aplicando las condiciones de frontera e iniciales, dadas en el problema
=0
t
(0, t ) = 0
(2n + 1)x
( x,0) = sin
2l
la ecuacin es ahora:
(2n + 1)x
2
2 2 d
s sin s=a 2
2l dx
(2n + 1)x s
2 2
d s
2
2 = sin a 2
dx a 2l
= h + p
h = C1 ( s )e a
+ C 2 ( s )e a
p = A sin x + B cos x
=
(2n + 1)
2l
2
s s
A sin x B cos x [A sin x + B cos x ] = 2 sin x
2 2
a a
2 s 2 s
A + = 2
a a
(
B 1 2 = 0 )
B=0
s
A= 2 2
a + s2
entonces
s
p = 2 2 sin x
2
a + s
en la cual aparecen dos constantes que son funcin de s, la cuales es necesario calcular,
para ello a la solucin homognea se aplican las condiciones de frontera e iniciales, pero en
el espacio transformado, quedando de la siguiente forma:
L {0} = 0
L { (0, t ) = 0}
( s ) = 0
L = 0
x
( s ) = 0
Entonces:
C1 ( s ) + C 2 ( s ) = 0
s s
C1 ( s ) C 2 ( s ) = 0
a a
C1 ( s ) = 0
C2 ( s) = 0
s
= 2 2 sin x
2
a + s
Ecs. Diferenciales Parciales III-59 Aguilera A.
Maestra en Ingra. Mecnica Anlisis en Ingeniera
L-1 {( s )} = ( x, t )
s
L-1 2 2 sin x
2
a + s
SOLUCIONES NUMRICAS
x
Por supuesto la solucin exacta (?) puede escribirse a travs de la integral u ( x) = et dt
2
u(x i ) ui 0in
se re-emplaza por;
u i - u i -1
u' (x i ) 1 i n
x i x i 1
U0 = 0
u i - u i -1 2
= ex i 1 i n
x i x i 1
j j
u j = u j u0 = (u i u i 1 ) =
i =1
e
i =1
xi2
(x i x i 1 )
xi
2
Esta es una suma aproximada para la integral de Rieman e x dx , la cual es la solucin
0
exacta.
2 2
la cual es xj veces menor que la mayor de las diferencias e x i e x i - 1 i = 1,2,,n
u0(t) = 0 un+1(t) = 0
k (t ) k (t ) 2k (t )
ui (t + t ) = u (t ) +
2 i +1
u (t ) + 1
2 i 1 ui (t )
(x) (x) (x) 2
ui 1 (t ) u i +1 (t )
ui (t )
R 1 2 R R
Algoritmo numrico
1
u i (t + t )
CASO BI-DIMENSIONAL
2 u = u xx + u yy
Haciendo las sustituciones usuales para uxx y uyy, obtenemos la regla que sustituye al
Laplaciano 2 u por:
u i + 1, j + u i -1, j + u i, j + 1 + u i, j -1 - 4u i, j
h2
As tomamos la diferencia neta entre el valor de u en (i,j) y los cuatro puntos vecinos
(i+1,j), (i-1,j), (i,j+1), (i,j-1).
(i,j+1) Algoritmo
(i,j-1)
u i, j (t + t) u i, j (t) u i +1, j (t) + u i -1, j (t) + u i, j+1 (t) + u i, j-1 (t) - 4u i, j (t)
= k
t h2
Resolviendo en trminos u i, j (t + t)
u i, j (t + t) = k
t
h 2
[ ]
t
u i +1, j (t) + u i -1, j (t) + u i, j+1 (t) + u i, j-1 (t) + 1 4k 2 u i, j (t)
h
R 1 4 R R
Ejemplo
x 0 1/2 3/4 1
t
0 0 1 2 3 4
1/32 0 1 2 3 0
1/16 0 1 2 1 0
3/32 0 1 1 1 0
1/8 0 0.5 1 0.5 0
1
t
Para la segunda malla tenemos: k = 8 = 2 ; y la forma de la solucin es;
(x) 2 1
16
ui (t + t ) = 2ui +1 (t ) + 2ui 1 (t ) 3ui (t ) . Aplicando esto junto con el dato de la condicin
inicial u(x,0)=4x, se obtiene la siguiente tabla de valores::
1 1
En este ejemplo se observa que con la segunda opcin x = , t = se obtiene una
4 8
solucin absurda, ya que fsicamente se esperara que la temperatura permanezca con
valores positivos y tienda a cero conforme el tiempo aumenta.
Sin embargo el valor ilgico en este ejemplo no debe sorprenderno ya que la razn
t
2k es mayor a la unidad.
(x) 2
11.9 P15; Ref.[1] (Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw
Hill, 1995) Una barra delgada de longitud unitaria se encuentra inicialmente con una
distribucin de temperatura dada por u ( x, o) = 100(1 2 x ) . Si cada extremo de la barra se
2
Solucin:
u 2 u
2
a =
t x 2
2 u U (t ) i +1 + U (t ) i 1 2U (t ) i
=
x 2 (x )2
u U (t + t ) i U (t ) i
=
t (t )
m= 1
2
x = 1
10
U (t + t ) i U (t ) i U (t ) i +1 + U (t ) i 1 2U (t ) i
a2 =
(t ) (x )2
(t ) {U (t ) + U (t ) 2U (t ) } + U (t )
U (t + t ) i =
a (x )
2 2 i +1 i 1 i i
m= 1 = 2
(t )
2 a (x )2
1
U (t + t ) i = {U (t ) i+1 + U (t ) i 1 }
2
Adems una de las condiciones establece que la barra se encuentra aislada en los extremos
y esto es:
u
=0
x
U (t ) i +1 U (t ) i
=0
x
U (t ) i +1 = U (t ) i
es decir, que las temperaturas en los nodos de los extremos de las paredes sern siempre
iguales al nodo que les precede, en cada uno de los extremos.
u ( x, o) = 100(1 2 x )
2
i 0 1 2 3 4 5 6 7 8 9 10
X 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
j t
0 0 100.00 64.00 36.00 16.00 4.00 0.00 4.00 16.00 36.00 64.00 100.00
1 1 68.00 68.00 40.00 20.00 8.00 4.00 8.00 20.00 40.00 68.00 68.00
2 2 54.00 54.00 44.00 24.00 12.00 8.00 12.00 24.00 44.00 54.00 54.00
3 3 49.00 49.00 39.00 28.00 16.00 12.00 16.00 28.00 39.00 49.00 49.00
4 4 44.00 44.00 38.50 27.50 20.00 16.00 20.00 27.50 38.50 44.00 44.00
5 5 41.25 41.25 35.75 29.25 21.75 20.00 21.75 29.25 35.75 41.25 41.25
6 6 38.50 38.50 35.25 28.75 24.63 21.75 24.63 28.75 35.25 38.50 38.50
7 7 36.88 36.88 33.63 29.94 25.25 24.63 25.25 29.94 33.63 36.88 36.88
8 8 35.25 35.25 33.41 29.44 27.28 25.25 27.28 29.44 33.41 35.25 35.25
9 9 34.33 34.33 32.34 30.34 27.34 27.28 27.34 30.34 32.34 34.33 34.33
10 10 33.34 33.34 32.34 29.84 28.81 27.34 28.81 29.84 32.34 33.34 33.34
11.9 P5.- Tomando ventaja de todas las simetras, en cuantos puntos deben evaluarse las
ecuaciones, o cuantos clculos independientes deben de hacerse en cada una de las mallas
de las siguientes figuras:
0
0 0
100
0 100 100 0
100 100 100
100
0 0
0 0
(a) (b)
0
25
50 100
100
0
50
25
0
0
0
(c) (d)
0 0
1 9
2 8
0 3 0
4 5 6 7
Ecuacin
2u 2u
+ =0
x 2 y 2
u xx + u yy = 0 (1)
11.9 P5 Solucin
Se discretiza en un punto (xi , y j )
( xi + y j +1 )
(x i 1 , yj) (x , y )
i j (x i +1 , yj)
(x , y )
i j 1
ui +1 , i + ui 1 , j 2uij
u xx =
(x )2
ui , j +1 + ui , j 1 2uij
u yy =
(y )2
Al sustituir en ecuacin 1
ui +1, j + ui 1, j + ui , j +1 + ui , j 1 4uij =0
R (1 4 R ) R
Solo si x = y
u1 = u9 u2 = u8 u3 = u7 u 4 = u6
11.9 P6a)
0 0
1 9
2 8
0 3 0
100 + 0 + 0 + u2 4u1 = 0 nodo1 4 5 6 7
100 + 0 + u1 + u3 4u2 = 0 nodo2
u 4 + 0 + u2 + 0 4u3 = 0 nodo3 0
u 5 + u3 + 100 + 0 4u4 = 0 nodo4
u 6 + u4 + 100 + 0 4u5 = 0 nodo5 u6 = u 4
11.9 P8
- 4u1 + u2 + 0 + 0 + 0 = 100
u1 4u2 + u3 + 0 + 0 = 100
0 + u2 4u3 + u4 + 0 = 0
0 + 0 + u3 4u4 + u5 = 100
0 + 0 + 0 + 2u4 4u5 = 100
4 1 0 0 0 34.669
1- 41 0 0 u1 - 100
u - 100 38.674
0 1- 41 0 2
u3 = 0 u = 20.028
0 0 1- 41
0 0 0 2 - 4 u4 - 100 42.436
u5 - 100
45.718
Ejercicios
11.8(7)
11.9(5,11, 15TF, 17D)
Tareas opcion2
11.2 (3(a,c,e), 6(a, c), 8, 38) o (3(b,d), 6(b, d), 9, 38)
11.3 (3,21)
11.4 (4(c, e), 8)
11.5 (5, 10, 12, 19 y 27)
11.7(1)
11.8 (7) o (9)
11.9 (5, 11, 15TF, 17D)
DETERMINANTES Y MATRICES.
Y1
Y X1
a11 a12 a1n X
Y = 2
. A = a21 a22 a2 n X = 2
.
. . .
Yn a
n1 an 2 ann Xn
Tb = Z = BY
n
Ta = YR = aR j X j R = 1,2,3......n
j =1
n
Tb = Z i = biR Y R i = 1,2,3,.......n
R =1
De modo que eliminando las Y por la sustitucin de las YR en las ecs. de Tb , se obtiene
n n n n
Z i = biR aR j X j = biR aR j X j i =1,2,3,......,n
R =1 j =1 j =1 R=1
b
R =1
a
iR R j
Z = BY = B( AX ) = (BA)X
TEOREMA: El resultado de hacer que una transformacin lineal Ta: Y = AX sea seguida
por la transformacin lineal Tb; Z = BY es la transformacin lineal nica Tba : Z = BAX ,
cuya matriz es el producto BA de las matrices Tb y Ta .
Por analoga, la longitud o valor absoluto de un vector real cualquiera: X = [X1 , X2 ... Xn]
n
Se define como la raz cuadrada del producto escalar; X X = X i2
i =1
n
Un vector X con la propiedad de que ; X X = X i2 = 1 se denomina vector unitario.
i =1
Dos vectores diferentes de cero
Tienen la misma direccin si, y slo si, sus componentes son proporcionales y son
perpendiculares u otorgonales si y slo si, satisfacen la condicin.
n
X Y = X i Yi = 0
i =1
INVERSA: La inversa de una matriz A se define como el cociente de la matriz adjunta (A)
entre el determinante de la matriz
1
A =
adj[A] Aij
=
[ ] T
adjunta/determinante
A A
A-1 A = A A-1 = I
1 2 4
A = 1 0 3
3 1 2
2 4 1 2
det. A = ( 1) ( 1) + ( 1) (0) + ( 1) (3)
2 +1 2+ 2 2+3
1 2 3 1
= 8 3(1 6 ) = 8 + 15 = 7
MATRIZ DE COFACTORES.
0 3 1 3 1 0
1 2 3 2 3 1
2 3 7 1
1 2
= 8 14 5
4 1 4
1 2 3 2 3 1
6 7 +2
2 4
1 4 1 2
0 3 1 3 1 0
3 8 6
7 14 7
1 5 2
As
3 8 6
3 8 6
adjunta [ A] 1 7 7 7
A1 = = 7 14 7 = 1 2 1
det A 7
1 5 2 1 5 2
7 7 7
FORMAS CUADRTICAS.
+ .
+an2 X32 + .... + ann X2n
Q(x) = a11 X21 + 2 a12 X1 X2 + + 2 a1n X1 Xn + a22 X22 + 2 a2n X2 Xn ++ann X2n
Para poder aplicar la notacin matricial a las formas cuadrticas hacer aji = aij . As Q(x)
puede expresarse en la forma simtrica.
+
+
+ a n1 X n X 1 + a n 2 X n X 2 + ...... + a nn X n2
X1
X a11 a12 ... a1n
2 a ... a2 n
X =
. a22
y A = 21 aji = aij
. ... ... ... ...
. an1 an 2 ... ann
X n
Q(x) = XT A X
Si una forma cuadrtica con coeficientes reales tiene la propiedad de ser igual o
mayor que cero para todos los valores reales de sus variables, se dice que es positiva.
Una forma cuadrtica que es definida, necesariamente es no singular. Sin embargo, una
forma cuadrtica no singular no necesariamente es definida.
Por ejemplo, la forma X21 4X1X2 + 3X22 + 2X23 es no singular, puesto que el
determinante de su matriz, a saber
2X1 X 2 + 2 0
2
X1 0 1
2X 2 X1 + 3X 2 + 2 0 = 2
2
0 3
0+ 0+
2
2X3 0 0 2
TEOREMA 1. Una condicin necesaria y suficiente para que la forma cuadrtica real XTAX
sea definida positiva ( definida negativa ) es que las cantidades
TEOREMA 2. Una condicin necesaria y suficiente para que la forma cuadrtica real XTAX
sea definida positiva es que todo menor principal de A sea positivo.
EJEMPLO:
2 2 X 1 X 1 + 2 X 1 X 2 2 X 1 X 3
2
1
[X 1 X2 X 3 ] 2 5 4 X 2 = + 2 X 2 X 1 + 5 X 22 4 X 2 X 3
2 4 5 X 3 2 X 3 X 1 4 X 3 X 2 + 5 X 32
1 2 2
1 2
1 =1 y 2 5 4 =1
2 5
2 4 5
son todas positivas. Es ms, todos los dems menores principales, a saber, los elementos de
la diagonal
a 22 = 5 y a 33 = 5
a11 a13 1 2 a 22 a 23 5 4
= =1 y = =9
a 31 a 33 2 5 a 32 a 33 4 5
(X 1 + 2X 2 2 X 3 ) + X 22 + X 32
2
X1 + 2X 2 2X 3 = 0 X2 =0 X3 = 0
- Una matriz igual a su asociada, es decir, una matriz cuadrada A tal que
A = A T , se dice que es hermitiana
TEOREMA: El valor de una forma hermitiana es real para todos los valores de sus variables.
Estrechamente relacionadas con las formas cuadrticas estn las que se conocen
como formas bilineales.
DEFINICIN: Se dice que los vectores X y Y son ortogonales con respecto a una matriz
simtrica A, si la forma bilineal YTAX es igual a cero.
Un vector cuya longitud generalizada con respecto a una matriz definida positiva y
simtrica dada sea 1, se dice que est normalizado con respecto a esa matriz.
Y1
Y X1
a11 a12 a1n X
Y = 2
. A = a21 a22 a2 n X = 2
.
. . .
Yn a
n1 an 2 an 3 X n
( A I ) X =0 (1)
+ an 1 X 1 + an 2 X 2 + ...... + (ann )X n = 0
Este sistema homogneo tendr una o ms soluciones no triviales si, y solamente si,
el determinante de los coeficientes es igual a cero.
a11 a12 a1n
A I = a21 a22 a2 n = 0 (2)
. . .
a ann
n1 an 2
Desarrollando
n
[ n 1 n
]
A I = ( 1) n 1 n 1 + 2 n 2 + ... + ( 1) n 11 + ( 1) n = 0 ( 3 )
satisfagan la ecuacin 3, y slo para estos valores, la ecuacin matricial (1) tiene vectores
solucin no triviales.
Las n-races de la ecuacin (3), las que, no necesitan ser distintas, se llaman races
caractersticas, o valores caractersticos de la matriz A, y las soluciones (no triviales)
correspondientes de la ecuacin (1) o de la (1a) son los vectores caractersticos de A.
1 = 1 + 2 + ... + n
2 = 12 + 13 + ... + n 1n
3 = 1 2 3 + ... + n 2 n 1 n (4)
........................................
n = 1 2 3 .... n
A = ( 1) n = n
2n
(5)
As se llega
A = 123 ....n
De lo que sigue que A es cero si, y solamente si, al menos una de las es cero.
TEOREMA. Una matriz es singular si, y slo si, al menos uno de sus valores caractersticos
es cero.
( A 1I )X 1 = 0; ( A 2 I )X 1 = 0; (2 1 )IX 1 = (2 1 )X 1 = 0
Restando
COROLARIO Si los valores caractersticos de una matriz A de nxn son todos distintos,
entonces A tiene n vectores caractersticos linealmente independientes y cualquier vector
con n componentes se puede expresar como una combinacin lineal de los vectores
caractersticos de A.
TEOREMA Los valores caractersticos de una matriz hermitiana son todos reales.
AX i = i X i
AX j = j X j
T
o puesto que A = A , por hiptesis, y i = i por teorema
T T
X i A = i X i
T
Ahora, premultiplicando la segunda por X i y posteriormente multiplicando la ltima por
Xj se tiene
T T T T
X i AX j = j X i X j y X i AX j = i X i X j
( i j )X i X j = 0
T
T
Xi Xj =0 Q.E.D.
Una matriz de nxn cuyas columnas son vectores caractersticos ortonormales de una
matriz A de nxn, se dice que es una matriz modal de A.
2 4 6
4 2 6
6 6 15
2 4 6
(A - I ) = 4 2 6 = 0
6 6 15
Ejercicios
b)
7 2 4
3 0 2
6 2 3
(A - I ) X = 0
7 2 4 0 0 X 1 0
3 0 2 0 0 X 2 = 0 (1)
6 2 3 0 0 X 0
3
7 2 4
3 0 2 2 4 2 4
0 2 = (7 ) 3 +6
2 3 2 3 0 2
6 2 3
= (7 - )[(0 - )(-3 - ) - (- 2)(- 2)] 3[(- 2)(-3 - ) - ( 2)( 4) ]+ 6[(- 2)(- 2) (0 - )(-4) ] = 0
[ ]
= (7 - ) 3 + 2 4 3[6 + 2 8]+ 6[4 4 ] = 0
= 21 + 7 28 32 3 + 42 + 6 6 + 24 242 = 0
2
1 -4 5 -2 -1
= + 4 5 + 2 = 0
3 2 -1 3 -2
1 3 2 0
= 3
1 4 + 5 2 = 0
2
( 1)( 1)( 2) = 0
1 = 1
2 = 1 VALORES CARACTERSTICOS
3 = 2
Ejemplo
1 2
Si A= y p(x)= X2+ 5X +4 , entonces
3 4
1 2 1 2 7 6
3 4 3 4 = 9 22
7 6 1 2 1 0 16 4
p(A) = A2 + 5A + 4I = + 5 + 4 =
9 22 3 4 0 1 6 6
Es interesante observar que tambin se puede evaluar p(A) utilizando las formas
factorizables de p(X), es decir,
1 2 1 0 1 2 1 0 5 2 2 2 16 4
p(A) = (A+4I) (A+I) =
3 4 + 4 0 1 3 4 + 0 1 = 3 0 3 3 = 6 6
1 2 1 0 1 2 1 0 2 2 5 2 16 4
p(A)= (A+I) (A+4I)= 0 1 = 3 3
3 4 + 0 1 3 4 + 4 3 0 = 6 6
o sea
g-1(A) f(A)= f(A) g-1(A) (3)
f ( A) = f (1 ) f (2 )... f (n )
1 2
Ejemplo: Como una ilustracin del teorema 5, considrese la matriz A= y la
3 4
x
funcin ( x) = . La ecuacin caracterstica de A es:
x+3
1 2
A I = = 2 + 3 + 2 = 0
3 4
De donde, las races caractersticas son = -1, -2. Por lo tanto, segn el teorema 5, las
races caractersticas de ( A) son:
1
(1) = y (2) = 2
2
5 / 2 3 5
( A) I = = 2 + + 1 = 0 o sea, -1/2 y -2 como antes.
9/ 2 5 2
d11 0 0 d11k 0 0
0
d 22 0 0 d 22k 0
D =
k
0 0 0 entonces 0 0 0
0 0 d nn 0 0 d nnk
Finalmente, aplicando este ltimo lema a cada trmino de cualquier funcin polinomial de
una matriz diagonal D y utilizando luego la definicin de adicin matricial, se tiene el
siguiente resultado.
d11 0 0
0 d 22 0
LEMA : Si D es la matriz diagonal
0 0 0
0 0 d nn
p(d11 ) 0 0
0 p (d ) 0
p (D ) = 22
0 0 0
0 0 p(d nn )
1 0 0
0 2 0
S AS = D =
1
0 0 0
0 0 n
p(1 ) 0 0
0 p ( ) 0
p ( A) = S 2 S 1
0 0 0
0 0 p(n )
Ejemplo: Si P( x ) = x 4 4 x 3 + 6 x 2 x 3
0 2
A= , cual es p( A) ?
1 3
2
A I = = 3 + 2 = 0
2
1 3
2 X1 2 X 2 = 0
0 2 2 X 1 1
Para 2 = 2 ; X1 + X 2 = 0 x2 =
3 2 X 2
= 0; y
1 1
X1 = X 2
X1 2 X 2 = 0
0 1 2 X 1 2
Con 1 = 1 ; X1 + 2 X 2 = 0 x1 =
3 1 X 2
=0 ;
1 1
X 1 = 2 X 2
2 1 1 1 1 1 1 1 1 1
S= y S 1 =
1 1 1 2 1 2 1 2 1 2
det( S ) = 2 + 1 = 1 det( S 1 ) = 2 + 1 = 1
1 0 1 1 0 2 2 1 1 1 2 1 1 0
S 1 A S = D = = =
0 2 1 2 1 3 1 1 2 4 1 1 0 2
Luego, estas son las matrices que deben usarse para evaluar p ( A) mediante el
ltimo teorema. Ahora bien
p(1 ) 0 1
por lo tanto p ( A) = A 4 A + 6 A A 3I = S S =
4 3 2
0 p ( )
2
2 1 1 0 1 1 5 8
= =
1 1 0 3 1 2 4 7
1 2
A= ( A I ) 2 = A2 2A + I
1 3
(x I )2 = x 2 2 x + I
1 1 2 0 1 1 2 0 1 2 1 2 1 2 1 0
1 0 3 1 1 0 3 1 = 1 3 1 3 + ( 2)1 3 + 0 1
0 2 0 2 3 8 2 4 1 0
1 2 1 2 = 4 11 + 2 6 + 0 1
2 4 3 8 1 4
2 6 = 4 11 + 2 5
2 4 2 4
2 6 = 2 6
Ejercicio: Verifique A 3 I = ( A I )( A 2 + A + I )
4 9 3
4 1
a) d) 1 4 1
3 0 3 3 2
4 1
A I = = (4 )(0 ) 1( 3) = 0
3 0
4 + 2 + 3 = 0 ; 2 4 + 3 = 0
( 3)( 1) = 0
1 = 3
2 = 1 1 2
para 1 = 3 para 2 = 1
1 1 x1 0 3 1 x1 0
3 3 x = 0 3 1 x = 0
2 2
= 3 ; [1 1] x1 + x 2 = 0 = 1 ; [3 1] 3x1 + x2 = 0
x1 = x2 x2 = 3x1
as as para x 2 = 3 x1 = 1
1 1
x1 = x2 =
1 3
1 1 3 1 3 1
S= 1 1 = 1 1
y por tanto
1 3
3 1 32
1 1
S = = 1
1
2
+ 1 1 2
2 1
2
por lo tanto
p (1 ) 0 1
p ( A) = A 4 A 3 3 A 2 + 4 A + 2 I = S
p ( 2 )
S
0
1 1 41 0 32 1
41 3 32 1
= 1
2
= 2
1 3 0 3 2 12 41 9 12 12
60 19
=
57 16
123 3 120
= = 60
2 2 2
41 3 38
= = 19
2 2 2
123 9 114
+ = = 57
2 2 2
41 9 32
+ = = 16
2 2 2
1 0 0
0 2 0
1
6. Encontrar S AS = D =
0 0 0
0 0 n
7. Evaluar, p (1 ) , p ( 2 ) , ..................., p( n )
p(1 ) 0 0
0 p( 2 ) 0 1
8. Encontrar p( A) = S S
0 0 0
0 0 p( n )
Seccin 11.4 P 17 e)
2 1 1
1 4 3
Evaluar p ( A) = ?
1 1 0
si p( x ) = x x 3x + 4 x + 2
4 3 2
2 1 1
A - I = 1 4 3
1 1 0
8 + 22 +6
3 + 42 1 3
3
4
3 + 62 11 + 6 = 0
3 62 + 11 6 = 0
1 = 1 1 2
2 = 3 2 3
3 = 2 1 3
Vectores caractersticos:
1 1 1 1 3 3
1 3 3 1 1 1
1 = 1
1 1 1
3 3
x1 = c =0
1 1 0
1 3 x1 = 1
x2 = c = 2c
1 1 1
1 3
x3 = c = 2c
1 1
Para 2 = 3
1 1 1
1 1 1 1 1
3 2 = 3
1 1 3
1 1 3
1 1
x1 = c = 2c
1 3 1
1 1 x2 = 2
x2 = c = 4c
1 3 1
1 1
x3 = c = 2c
1 1
Para 3 = 2
0 1 1
1 2 1 2 3
3 3 = 2
1 1 2
1 1 2
2 3
x1 = c = c
1 2 1
1 3 x3 = 1
x2 = c = c
1 2 1
1 2
x3 = c =c
1 1
0 1 1
S = 1 2 1
1 1 1
0 1 1
1 2 1
det S = 1 1 1 = ( 1 1) ( 1 2 ) = 2 + 3 = 1
0 1 1
1 2 1
1 0 1 1 0 1
Adjunta S 1 1 1 1
S 1 = S = 0 1 1 S = 0 1 1
det S
;
det S det S
1 1 1 1 1 1
1 0 0
S 1 AS = 0 3 0
0 0 2
p(1 ) = p(1) = 3
p(2 ) = p(3) = 41
p(3 ) = p(2) = 6
luego
0 1 1 3 0 0 1 0 1
p( A) = 1 2 1 0 41 0 0 1 1 =
1 1 1 0 0 6 1 1 1
0 41 6 1 0 1 6 35 35
= 3 82 6 0 1 1 = 3 76 73
3 41 6 1 1 1 3 35 32
Si p( x ) = x x 3x + 4 x + 2 , calcule
4 3 2
p( A) = ? Donde A es:
4 9 3
A = 1 4 1
3 3 2
1 2 1 2 1
1 1 2 ( 1)( 2)( + 1) = 0
1 1 2 0
1 1 2 2
2 2
1 1 0
1 = 1 1 2
2 = 2 2 3
3 = 1
Para 1 = 1
5 9 3
1 1 3 1
3 1 1 = 1
3 3 1
3 3 1
3 1
x1 = c =0
3 1
0
x 2 = c
1 1
= 2c x1 = 1
3 1
3
1 3
x3 = c = 6c
3 3
Para 2 = 2
6 9 3
1 1 2 1
2 1 2 = 2
3 3 0
3 3 0
2 1
x1 = c = 3c
3 0 1
1 1 x2 = 1
x 2 = c = 3c
3 0 1
1 2
x3 = c = 3c
3 3
Para 3 = 1
3 9 3
1 1 5 1
5 1 3 = 1
3 3 3
3 3 3
5 1
x1 = c = 12c
3 3 1
1 1 x3 = 0
x 2 = c =0
3 3 1
1 5
x3 = c = 12c
3 3
1 0 1 0 1 1
1 1 3 1 3 1
1 0 1
det S = 1 (1 3) = 1
1 0 1
1 1 3 1 3 1
1 1 0 1 0 1
1
0 1 0 1 1
1 2 1
1 3 1
2 3 1
1 2 1 1 2 1
1 1 1 1 = 1 1
y la inversa es S = 3 3
det S
2 3 1 2 3 1
1 0 0
S 1 AS = 0 2 0
0 0 1
p(1 ) = p(1) = 3
p(2 ) = p(2) = 6
p(3 ) = p( 1) = 3
p(1 ) 0 0
4 3 2
p ( A) = A A 3 A + 4 A + 2 I = S 0 p(2 ) 0 S 1
0 0 p(3 )
0 1 1 3 0 0 1 2 1 0 6 3 1 2 1
= 1 1 0 0 6 0 1 3 + 1 = 3 6 0 1 3 + 1
3 1 1 0 0 3 2 3 1 9 6 3 2 3 1
12 27 9
p( A) = 3 12 3
9 9 6
EL TEOREMA DE CAYLEY-HAMILTON
Para cualquier matriz cuadrada A , siempre hay una ecuacin polinomial de orden
n que es satisfecha por A .
a n1 an2 a nn
[
= ( 1) n 1n 1 + + ( 1) n = 0
n n
]
La adjunta de la matriz ( A I ) evidentemente es una matriz de n n cuyos elementos,
siendo los cofactores de los elementos del determinante A I , son polinomios en ; esto
es ,
p n1 ( ) p n 2 ( ) p nn ( )
[adj( A I )]( A I ) = A I I =
= ( 1) [n I 1n1 I + + ( 1) n I ]
n n
esto es,
[ ]
= ( 1) n I 1n1 I + + ( 1) n I = F ( )( A I )
n n
Pero sta es una relacin entre polinomios en con coeficiente matriciales, precisamente
del tipo cubierto por el teorema 1. Luego, el primer miembro debe anularse cuando se
reemplaza por la matriz A . En otras palabras,
A n 1 A n 1 + + ( 1) n I = 0
n
Ec. CAYLEY-HAMILTON
A n 1 A n 1 + + ( 1) n I = 0
n
A n1 1 A n2 + + ( 1) n1 I + ( 1)n n IA1 = 0
n 1
A 1
=
( 1)
n 1
[An1 A n2 + + ( 1)
n 1
n 1 I ]
n
1
En algunos casos ste es un mtodo conveniente para obtener la inversa de una matriz A .
Ejemplo
4 5 5
Si A = 5 6 5 , se encuentra mediante un clculo sencillo que
5 5 6
A I = 3 + 82 13 + 6
A 3 8 A 2 + 13 A 6 I = 0
como se puede verificar fcilmente por clculo directo. Usando esta relacin ahora
podemos expresar las potencias ms elevadas de A como polinomios cuadrticos en A .
Por ejemplo,
(
A 4 = AA3 = A 8 A 2 13 A + 6 I )
= 8 A3 13 A2 + 6 A
= 8(8 A2 13 A + 6 I ) 13 A2 + 6 A
= 51A2 98 A + 48I
y (
A5 = AA4 = A 51A2 98 A + 48I )
= 51(8 A2 13 A + 6 I ) 98 A2 + 48 A
= 310 A2 615 A + 306I
A1 =
6
(
1 2
A 8 A + 13I )
34 35 35 4 5 5 1 0 0 11 5 5
1
= 35 36 35 8 5 6 5 + 130 1 0 = 5 1 5
1
6
0 0 1
6
35 35 36 5 5 6 5 5 1
A 3 8 A 2 + 13 A 6 I = 0
A2 7 A + 6I = 0
TEOREMA 5 Si las races caractersticas de una matriz A son todas distintas, excepto
posiblemente en el signo, el polinomio caracterstico y el polinomio mnimo de A son los
mismos.
n p ( k )
(A i I )
n
p ( A) = n
( k i ) ii =1k
Identidad Sylvester (5)
k =1
i =1
ik
15 14 40
Ejemplo: Si A = 6 7 14 , exprese
5 4 14
15 14 40
A I = 6 7 14 = 3 + 62 11 + 6 = 0
5 4 14
p ( A) = ( A 2 I )( A 3I ) + ( A I )( A 3I ) +
2 3
(1 2)(1 3) (2 1)(2 3)
+
6
( A I )( A 2 I ) = A 2 2 A + 3I
(3 1)(3 2)
2 4 4
A = 1 4 5
1 4 5
2 4 4
A I = 1 4 5 = (2 )[( 4 )(5 ) (4)( 5)] (1)[( 4)(5 ) 4( 4)]
1 4 5
+ (1)[( 4)( 5) ( 4 )( 4)] = 3 + 32 10 + 8 = 0
A 3 3 A 2 + 10 A 8 I = 0
A 2 3 A + 10 I 8 A 1 = 0
despejando ahora A 1
A 1 =
1 2
8
(
A 3 A + 10 I )
2 4 4 2 4 4 2 4 4 1 0 0
1
1 4 5 1 4 5 31 4 5 + 10 0 1 0 =
8
1 4 5 1 4 5 1 4 5 0 0 1
4 8 8 6 + 12 12 10 0 0
1
= 7 8 9 + 3 12 15 + 0 10 0
8
11 0 1 3 12 15 0 0 10
4 6 + 10 8 + 12 + 0 8 + 12 + 0
1
= 73+0 8 + 12 + 10 9 + 15 + 0 =
8
11 3 + 0 0 12 + 0 1 15 + 10
0 4 4 0 1 1
1 2 2
= 10 14 6 =
4
5 7 3
8 4 4
8 12 4 1 3 1
2 2
4 9 3
A = 1 4 1
3 3 2
4 9 3
4 1 9 3 9 3
A I = 1 4 1 = ( 4 ) 1 +3
3 2 3 2 4 1
3 3 2
Despejando A 1 se obtiene A 1 =
2
(
1 2
A 2A I )
4 9 3 4 9 3 4 9 3 1 0 0
1
= 1 4 1 1 4
1 2 1 4 1 0 1 0
2
3 3 2 3 3 2 3 3 2 0 0 1
2 9 3 + 8 + 18 3 1 0 0
1
= 3 10 3 + 2 8 1 + 0 1 0
2
3 9 2 6 6 2 0 0 1
2 + 8 1 9 + 18 + 0 3 + 6 + 0 5 9 3
1 1
= 3 5 + 0 10 8 1 3 2 + 0 = 1 1 1 =
2 2
3 6 + 0 9 6 + 0 2 4 1 9 15 7
5 9 3
2 2 2
= 1
2
1 1
92 15
2
7
2 2 2
7 2 2
d) A = 6 1 2
6 2 1
A I =
= (7 )[( 1 )( 1 ) 4] + 6[(2)( 1 ) + 4] + 6[4 + 2( 1 )]
(7 )[1 + 2 + 2 4] + [ 12 12 + 24] + 24 12 12
7 2 + 14 21 3 2 2 + 3 + 24 24
3 + 52 7 + 3 = 0
3 52 + 7 3 = 0 = ( 1)( 1)( 3)
A3 5 A 2 + 7 A 3I = 0 A 3 = 5 A 2 7 A + 3I
1 4 3 1
1 3
1 3 0
( 1)( 1)( 3) = 0
( A 1)( A 3)
A 2 4 A + 3I Polinomio mnimo
3 2
A=
5 4
A I = (3 )( 4 ) (5)( 2) = 0
= 12 3 + 4 + 2 + 10
= 2 + 2 ( + 2)( 1) =0
y la ecuacin de Cayley-Hamilton es
A2 + A 2I = 0 A2 = A + 2I
A 3 = A A 2 = A( A + 2 I ) = A 2 + 2 A = A 2 I + 2 A = 3 A 2 I
A 4 = A A 3 = A(3 A 2 I ) = 3 A 2 2 A = 3( A + 2 I ) 2 A = 3 A + 6 I 2 A =
= 5 A + 6 I
A5 = A A 4 = A ( 5 A + 6 I ) = 5 A 2 + 6 A = 5 ( A + 2 I ) + 6 A =
= 5 A 10 I + 6 A
= 11 A 10 I
p ( A) = A 5 A 4 2 A 3 + A 2 + A 3I
p( A) = 11A 10 I ( 5 A + 6 I ) 2(3 A 2 I ) + ( 4 + 2 I ) + A 3I = 10 A 13I
3 2 1 0 30 13 20 0 17 20
p( A) = 10 A 13I = 10 13 = =
5 4 0 1 50 0 40 13 50 53
IDENTIDAD DE SYLVESTER
n p ( k )
(A i I )
n
p ( A) = n
( k i ) ii =1k
Los valores caractersticos son
k =1
i =1
1 = 2
ik
2 =1
As:
p(1 ) = p( 2) = 33
p( 2 ) = p(1) = 3
Luego:
33
p ( A) = ( A I ) + 3 ( A + 2I )
2 1 (1 + 2)
p ( A) = 10 A 13I
17 20
y como ya vimos p( A) =
50 53
2 4 4
A = 1 4 5
1 4 5
3 32 + 2 = 0
(
2 3 + 2 = 0 )
1 = 0 2 = 2 3 = 1
p(0) = 3
p(2) = 3
p(1) = 3
3 3
( A 2 I )( A I ) + 3
( A 0 I )( A I ) + ( A 0I )( A 2 I )
(0 2)(0 1) (2 0)(2 1) (1 0)(1 2)
=
=
2
(
3 2 3
) (
A 3 A + 2 I + A2 A + 3 A2 2 A =
2
) ( )
3 9 3 3
= A2 + A 3 I + A2 A + 3 A 2 6 A =
2 2 2 2
= 3 A 2 3 A 3I
a) b)
3 2 4 1
5 4 6 1
c) d) e)
2 4 4 1 2 1
2 6 1 4 5 2
2 1 3
5
1 4 5 2 2 3
5. 14.8/P31 Wylie C.R. Advanced Engineering Mathematics, 6th ed. Mc Graw Hill,
1995
Ejercicios opcion1 {14.5(1), 14.6(37), 14.8(19,25,32)}
ANALISIS TENSORIAL
CORDENADAS OBLICUAS
en la forma matricial:
X = Ax (1)
x2 x2
2 1 2
x x x e2
3
1
x
2 e 2 (0,1,0)
e1 (1,0,0)
1 e1
3 1
x 3
x e3 e 3 (0,0,1)
x x3
x1
3
x
a) b)
Un sistema de coordenadas rectangular y oblicuo con sus vectores de referencia
relacionados.
En general, sin embargo, no son mutuamente perpendiculares, y por esta razn se conocen
como los ejes de un sistema de coordenadas oblicuas.
p1
Vp = p 2
p3
q1
VQ = q 2
q 3
V p = A1V p y VQ = A1VQ
2
x x2
Q Q
VQ V = V Q V P VQ
V=VQ-VP
P
P
VP VP
1
x
x1
3
x x3
a) Fig. 2 b)
[(
= V T A 1 )
T
]
IA 1 .V
= V T GV (3)
[
= U T (A1 ) IA1 .V
T
]
= U TGV (4)
As, las propiedades mtricas de espacio, las cuales en coordenadas rectangulares
son definidas por la matriz identidad I = G, son en coordenadas oblicuas definidas por la
matriz (A-1)TIA-1 = G , donde A es la matriz de la transformacin X = AX de coordenadas
rectangulares a oblicuas.
1 0 0
e1 = 0 ; e2 = 1 ; e3 = 0
0 0 1
Se tiene
ei e j = g ij (5)
e1 = g11 ; e2 = g 22 ; e3 = g 33
R = a i ei
0 i j
ei ej = (6)
1 i = 1
Para i j estas relaciones fijan las direcciones de los nuevos vectores de referencia,
y para i = j determinan su longitud y sentido. Los vectores e 1 , e 2 , e 3 se dice que
forman un conjunto recproco al conjunto e1 , e2 , e3 y viceversa.
e1 = 11e 1 + 12 e 2 + 13 e 3
e2 = 21e 1 + 22 e 2 + 23 e 3
e3 = 31e 1 + 32 e 2 + 33 e 3
ei e j = i1e 1 e j + i 2 e 2 e j + i 3 e 3 e j
De aqu, usando las ecuaciones (5) y (6), se obtiene
g ij = ij
Y por lo tanto
e1 e 1
Ve = e2 y V e = e 2
e3 e 3
Ve = G V e
(8)
V e = G 1Ve (9)
e 1 = g 11e1 + g 12 e2 + g 13 e3
e 2 = g 21e1 + g 22 e2 + g 23 e 3 ( 10 )
e 3 = g 31e1 + g 32 e2 + g 33 e3
1
Dnde g ij es el elemento en el i-simo rengln y j-sima columna de G ; esto es:
G ji
g =
ij
e e = g
i j ij
( 11 )
( 2 3
)(
V V = v 1 e + v 2 e + v 3 e v 1 e + v 2 e + v 3 e = V G V
1 1 2 3
) T 1
As, en coordenadas oblicuas las propiedades mtricas de espacio, las cuales son
determinadas por la matriz G = g ij = A 1 [ ] ( ) T
A 1 si los vectores estn representados en
trminos de los vectores base e 1 , e 2 , e 3 son igualmente bien determinados por la
matriz inversa G
1
[ ] = AA
= g
ij T
si los vectores estn representados en trminos de los
1 2 3
vectores base recprocos e , e , e .
1 0 0 a 11 a 12 a 13
21 22 23
e1 = 0; e2 = 1; e3 = 0; a ; a ; a
0 0 1 a 31 a 32 a 33
X = A 1 X
A ji
donde a ij = es el elemento en el i-simo rengln y j-sima columna de la matriz A-1, se
A
tiene:
e1 = a 11 i + a 21 j + a 31 k = a 11 e1 + a 21 e 2 + a 31 e 3
e 2 = a 12 i + a 22 j + a 23 k = a 12 e1 + a 22 e 2 + a 23 e3 ( 12 )
e 3 = a 13 i + a 23 j + a 33 k = a 13 e1 + a 23 e 2 + a 33 e 3
e1 i e1 e
1
V e = e 2 y Ve = j = e 2 = e 2 = V e
e 3 k e 3 e 3
Se tiene:
( ) T
V e = A 1 Ve = A T ( ) 1
Ve ( 13 )
Y de aqu:
Ve = A T V e ( 14 )
Esto es:
e1 = a11 e 1 + a 21 e 2 + a 31 e 3
e 2 = a12 e 1 + a 22 e 2 + a 23 e 3 ( 15 )
e 3 = a13 e 1 + a 23 e 2 + a 33 e 3
Por lo tanto las ecuaciones expresan i = e1, j = e2, k = e3 en trminos de los vectores
bases e1 , e2 , e3 del sistema oblicuo.
1
Ahora para e 1 , e 2 , e 3 e1 = i, e2 = j, e3 = k, de la ecuacin ( 9 ) V = G V e
e
1
de usar ( 13 ) y el hecho de que G = AA T y Ve = V e , se obtiene:
(
V e = AAT AT )( ) 1
V e = AV e ( 16 )
esto es:
V e = A 1V e ( 18 )
:
e1 = a 11e 1 + a 12 e 2 + a 13 e 3
e 2 = a 21e 1 + a 22 e 2 + a 23 e 3 ( 19 )
e 3 = a 31e 1 + a 32 e 2 + a 33 e 3
V = V r = ui + vj + zk v 1e1 + v 2 e2 + v 3 e3 v1e1 + v 2 e 2 + v3 e 3 = Vr
( ) ( ) (
V r = v 1 a11 + v 2 a12 + v 3 a13 e1 + v 1 a 21 + v 2 a 22 + v 3 a 23 e 2 + v 1 a 31 + v 2 a 32 + v 3 a 33 e 3 )
= v e1 + v e2 + v e3
1 2 3
v i = ai1v1 + ai 2 v 2 + ai 3 v 3 ( 21 )
: V r = AV r ( 22 )
( ) ( ) (
V r = v1 a 11 + v 2 a 21 + v 3 a 31 e 1 + v1 a 12 + v 2 a 22 + v 3 a 32 e 2 + v1 a 13 + v 2 a 23 + v 3 a 33 e 3 )
= v1e + v 2 e + v3 e
1 2 3
( 23 )
vi = a 1i v1 + a 2i v 2 + a 3i v3 ( 24 )
:
( )
Vr = A 1 Vr
T
( 25 )
X i X i
[ ]
A = aij = j
y [ ]
A 1 = a ij = j
X X
X R X R
g ij = a Ri a Rj = No vlida en coordenadas
R R X i X j generalizadas
Modificada / corregida
X R X l Sistema de coordenadas
g ij = g Rl ( 26 ) generalizadas
R ,l X i X j
X i X j
g = aiR a jR
ij
=
R R X
R
X R
O insertando el factor g Rl g Rl
X i X j
g ij = g Rl ( 27 )
R ,l X R X l
Para las relaciones entre los vectores base e1 , e2 , e3 y los vectores e1 , e2 , e3 , se tiene de (12)
y (15)
x k
ei = a ki ek = ek i ( 28 )
k k x
y
x i
ek = aik ei = ei ( 29 )
i i x k
Para las relaciones entre los vectores base recprocos e 1 , e 2 , e 3 , y los vectores
e1 , e 2 , e3 , se tiene de ( 17 ) y ( 19 )
x i
e i = aik e k = e k ( 30 )
k k x k
y
x k
e k = a ki e i = e i ( 31 )
i i x i
x k
vi = a ki vk = vk ( 32 )
k k x i
x i
v = aik v = v
i k k
( 33 )
k k x k
(
x i = x i x1 , x 2 , x 3 ) i = 1, 2, 3
Por cada punto P de R pasa una superficie nica s1 en la cual x1 es constante, una
superficie nica s2 en la cual x2 es constante y una s3 en la cual x3 es constante. Estas
superficies se interceptan en curvas, llamadas curvas paramtricas, que pasan por P y en
las que una, y solo una, de las coordenadas generalizadas vara. En general, las tangentes a
las 3 curvas paramtricas que pasan por un punto NO SERN COPLANARES y se supondr que
en toda la regin R ste es el caso.
x1, x3 constantes
2
x variable Figura 1. Curvas paramtricas y vectores base
locales en un punto P, en un sistema de coordenadas
generalizadas.
e2
s1: x1 constante s3: x3 constante
e1
e3
P
s : x2 constante
2
x1 variable
x2, x3 constantes
x3 variable
x1, x2 constantes
Se definen los vectores base locales e1 , e2 , e3 , en cualquier punto P, que tienen las
direcciones de las tangentes a las curvas paramtricas x1, x2, x3 en P con longitudes
ds = ei dx i = ei ei dx i (1)
En P se definen los vectores base recprocos locales e1, e2, e3 tal como se hizo en
coordenadas oblicuas, o sea, por las condiciones:
0 i j
ei e j =
1 i = j
(
Dnde como siempre, ei e j = ei e j cos ei , e j . )
CMO MEDIR LAS DISTANCIAS?
dx1
dx = dx 2
dx 3
De aqu:
ei e j = gij (3)
En particular
ei = ei ei = gii (4)
( )(
V = V V = v1e1 + v 2 e2 + v 3e3 v1e1 + v 2 e2 + v 3e3 =
2
) e e v v = g v v
i, j
i j
i j
i, j
ij
i j
= V T GV
Luego
V = V T GV (5)
Por supuesto, los elementos gij de G se deben evaluar en el punto P en el que e1, e2,
e3 son los vectores base.
Los vectores base locales y los vectores base recprocos locales cumplen las
relaciones ( demostradas en la seccin anterior ):
ei = gik ek (6)
k
ei = g ik ek (7)
k
0 i j
sea ei ek = ki , donde ki = ij = es la delta de Kronecker, as:
1 i = j
ei e j = g ij (8)
ei e j = g ik ek e j = g ik kj = g ij
k k
1 2 3 1 2 3 1 2 3 [e e e ] 1 2 3
3
1 2 3
por ( 6 )
[e1e2e3 ] = g1i ei g 2 j e j x g3k ek =
i j k
= g1i g 2 j g3k e e e[
i j k
] ( 33 = 27 trminos )
i, j,k
[e e e ] = [e e e ] = [e e1e ]
i j k 1 2 3
1 2 3
As:
[e1e2e3]2 = g11g22g33 + g12g23g31 + g13g21g32 g11g23g32 g13g22g31 g12g21g33 =
As:
[e1e2e3]2 = G (12)
TRANSFORMACIONES
Sean (x1,x2,x3) y (x1, x 2 , x 3 ) dos sistemas de coordenadas relacionados entre si
por las ecuaciones de transformacin de la forma
(
x1 = x1 x1, x2 , x3 )
x2 = x (x ,
2 1
x2 , x) 3
x3 = x (x ,
3 1
x2 , x) 3
En casos particulares, las ecuaciones (13) podran ser las que relacionan un sistema
rectangular y uno oblicuo (como en la seccin precedente) uno rectangular y uno cilndrico,
uno rectangular y uno esfrico, o uno cilndrico y uno esfrico .
(
Se requiere que el punto de coordenadas x1 , x 2 , x 3 tenga un conjunto nico )
de coordenadas x. Asimismo se requiere tambin que las ecuaciones (13) puedan resolverse
para x1,x2,x3, como funciones uniformes de x1 , x 2 , x 3 , por ejemplo
x i
son CONTINUAS
xi
Si un trmino contiene la misma letra dos veces como ndice, se sobreentiende que
el trmino se tiene que sumar para todos los valores del ndice repetido.
x i 1 x i 2 x i 3 3
x i j x i j
dx = 1 dx + 2 dx + 3 dx = j dx = j dx
i
x x x j =1 x x
Como j es un ndice mudo, se puede escribir con igual propiedad
x i x i R x i P
dx = j dx = R dx = P dx
i j
x x x
i, j
Se nota que
gijdxidxj giidxidxi
Ya que
giidxidxi = g11dx1dx1 + g22dx2dx2 + g33dx3dx3
LEMA 1 Si (x1,x2,x3 ) y (x ,
1
x 2, x3 ) son coordenadas relacionadas por una
transformacin
(
x i = x i x1 , x 2 , x 3 ) i =1,2,3
Entonces,
x i x
= ij
x x j
x i x
=i
implica i
= o inversamente
x x i
x
i
=
i
x
Ahora, multiplicando ambos miembros por y aplicando el lema 1, se tiene:
x
i
x
x x
i
= = =
i
x
i
x
i
x
LEMA 3. Si ij y
ij 3
( i, j = 1, 2, 3 ) son, respectivamente, funciones de x 1 , x 2 , x y
1 2 3
x , x , x , entonces cualquiera de las relaciones:
x x
i j
=
ij
x x
x x
i
=
ij
x
j
x
x x
=
ij
x x
j i
x x
j
=
ij
x
i
x
x x x x
i j
= =
ij ij
implica
x x x x
j i
x
x
ambos miembros por j y sumando con respecta a i y j. Esto nos da, por
x
i
x
el lema 1:
x x i
x x x x j
= i = ab a b =
ij ab
x x
j i x x a x j x b
xi
Por definicin, el Jacobiano de la transformacin directa T es J = k y el de la
x
x k
transformacin inversa T es J = j , luego:
-1
x i x k
JJ = k j
x x
y por el lema 1:
[ ]
J J = ij = [I ] J = J 1
x i x
j
1
entonces es igual a veces el cofactor de en J .
x j
J x i
( )
x = x x 1 , x 2 , x 3 es una transformacin con Jacobiano J2, entonces el Jacobiano de
la transformacin T2T1 es J2J1.
1 2 3
( ds )2 = gij dxi dxj se transforman como cuando x1, x2, x3 se transforman en x , x , x ,
usando ( 13 ). Para dxi y dxj, se tiene:
x i x j
dx i =
dx y dx j =
dx
x x
x i x j
g ij
dx dx
x x
Por lo tanto, si se escribe la forma cuadrtica despus de la transformacin como:
g d x d x
x i x j
g = g ij
( 17 )
x x
EJEMPLO:
Obtngase la frmula de la diferencial de la longitud de arco en coordenadas
esfricas.
En coordenadas rectangulares:
( ds )2 = ( dx )2 + ( dy )2 + ( dz )2 ( 20 )
x 1 = x sen x cos x
1 2 3
T 1 : x 2 = x sen x sen x
1 2 3
P
x 3 = x cos x
1 2
R
y a partir de stas:
x1 x1
= sen x cos x ; = x cos x cos x
2 3 1 2 3
x x
1 2
y
x 2 x 2
= sen x sen x ; = x cos x sen x
2 3 1 2 3
x
x x
1 2
x 3 x 3
= cos x ; = x sen x
2 1 2
x x
1 2
x1 3 x
2
3 x
3
= x senx senx ; 3 = x senx cos x ; 3 = 0
1 2 1 2
x 3 x x
( ) ( 2
g11 = senx 2 cos x 3 + senx 2 senx 3 + cos x 2 ) (
2
)
2
=1
( ) (
2
g 22 = x 1 cos x 2 cos x 3 + x 1 cos x 2 senx 3 + x 1senx 2 ) (
2
) = (x )
2 1 2
( ) ( 2
g33 = x 1senx 2 senx 3 + x 1senx 2 cos x 3 ) = (x senx )
2 1 2 2
x i x j 1 x
1
x1 2 x x
2 2
3 x x
3 3
g 22 = gij 2 = 1 2 2 + 2 2 2 + 3 2 2
x x x x x x x x
( )( ) ( )( ) (
g12 = senx 2 cos x 3 x 1 cos x 2 cos x 3 + senx 2 senx 3 x 1 cos x 2 senx 3 + cos x 2 x 1senx 2 = 0 = g 21 )( )
( )( ) ( )( )(
g13 = senx 2 cos x 3 x 1senx 2 senx 3 + senx 2 senx 3 senx 2 senx 3 x 1senx 2 cos x 3 = 0 = g31 )
( )( ) ( )(
g 23 = x 1 cos x 2 cos x 3 x 1senx 2 senx 3 + x 1 cos x 2 senx 3 x 1senx 2 cos x 3 = 0 = g32 )
y por ltimo
(ds )2 = gij dx i dx j
( ) ( )( ) (
2 2
= dx 1 + x 1 dx 2 + x 1senx 2
2
) (dx )
2 3 2
ds = dx e = dx i ei (21)
x i
dx = dx
i
x i
dx e = dx ei
x
As de la ltima ecuacin se tiene que satisfacer (ya que las diferenciales son arbitrarias )
x i
e = ei (22)
x
x
ei = i e (23)
x
Sabiendo por la ecuacin (6) como se expresan los vectores base locales en trminos
de los vectores base recprocos locales en cualquier sistema de coordenadas y por (23),
cmo se transforman los vectores base locales, ahora se puede determinar cmo se
transforman los vectores base recprocos locales por la ecuacin (6).
ei = g ij e j
x x x j
e = g e
x i x i x j
Multiplicando esta ecuacin por x i / x y sumando cada lado con respecto a i, se obtiene
x x i x x i x j
e = g
x i x j e
x i x x
x j x j
e = g e y e = g e
x j x j
x j x
g e = g g e = ej
x j x j
x j
e = e (24)
x j
CASOS ESPECIALES DE
Anlogamente, o bien usando el lema 2, LAS ECS. (31) Y (30) DE
LA SECCIN
ANTERIOR.
x j
ej = e (25)
x
e i e j = g ij
x i x j
e e
= g ij
x x
O, puesto que e e = g
LA EC. (27) DE LA
x xi j SECCIN ANTERIOR ES
g ij = g (26) UN CASO ESPECIAL DE
x x ESTE RESULTADO.
Que es la ley de transformacin para las gij. Anlogamente, o bien por el lema 3
x x
g = g ij
x i x j
x i x i
V = v ei = v ei = v i ei
x x
Por tanto, las componentes de un vector contra variante se transforman segn la ley
x i
v i = v (27)
x
De igual modo, para un vector en representacin covariante , esto es, expresado en trminos
de los vectores base recproco locales, o sea
x x i
V = v e i i = v i e = vi e i
x x
TAREA
6
11 pag. 796
13
TENSORES
(
Sean (x1,x2,...,xn) y x 1 , x 2 ,..., x n ; ) [(x , x , x )
1 2 3
y (x , x
1 2
, x3 )] MAYORIA DE LOS
CASOS PRCTICOS
(
T : x i = x i x1 , x 2 ,..., x n ) COMO EN 3D SE TIENEN N-
CURVAS PARAMTRICAS.
(1)
T 1 i
(
: x = x x , x ,..., x
i 1 2 n
)
Si se tienen los vectores base locales ei(i=1,2,...,n) en un punto arbitrario P (En este
punto el Jacobiano de la transformacin 0) por las condiciones de que
ds = ei dx i = ei ei dx i i no sumado
ei e j = ij
As cualquier vector que se origine en P se puede expresar como una combinacin
lineal de los vectores base locales o de los vectores base recprocos.
De hecho, todos los resultados de la ltima seccin son vlidos en n-dimensiones .
( ) (
x 1 , x 2 ,..., x n = x1 , x 2 , x 3 ) (2)
x i
i (x 1 , x 2 ,..., x n ) = (x1 , x 2 ,..., x n ) i = 1,2,...,n (3)
x
x i
Como dx i = dx , se deduce que las diferenciales de las variables coordenadas
x
son las componentes de un tensor contra variante de rango 1.
x
i (x 1 , x 2 ,..., x n ) = (x1 , x 2 ,..., x n ) i =1,2,...,n (4)
x i
x i x j
ij = i, j = 1,2,...,n (5)
x x
Por la ec. (26) de la seccin anterior, es claro que los elementos gij de la matriz G-1
constituyen un tensor contra variante de rango 2.
x x
ij = i, j = 1, 2, ..., n (6)
x x
i j
ndice contravariante
x x
i
=
i
i, j = 1, 2, ..., n (7)
x x j
j
ndice covariante
x x x x x
i j
=
ij
x x x u x v x w
uvw
- Recordando que:
- LGEBRA DE TENSORES -
Dos tensores son iguales si, y slo si, tienen el mismo rango y el mismo nmero de
ndices de cada tipo y tienen sus componentes correspondientes iguales en uno de los
sistemas de coordenadas y, por tanto, en todos.
La suma o diferencia de dos tensores del mismo tipo y rango ( con el mismo
nmero de ndices covariantes y contravariantes ) es un tensor del mismo tipo y rango:
Arpq y Brpq
x x x r x x x r
j k j k
=A =B
jk pq jk pq
A ; B
x p x q x l x p x q x l
l r l r
Sumando:
(A ) = (A )x x x r
j k
+ Bl + Brpq
jk jk pq
x p x q x l
l r
Restando:
( ) (
x x x r
j k
A B = A B
l
jk
l
jk
x p x q x l
r
pq
r
pq
)
Se deduce, pues, que Arpq + Brpq y Arpq Brpq son tensores del mismo orden y tipo
que los dados.
x x x
i j
=
ij
x x x k
k
Haciendo j = k:
x x x
i j
j =
ij
x x x j
x
i
= Por el lema 1, seccin anterior
x
x
i
LEY DEL COCIENTE. Si los elementos de una matriz no singular [ fij ] son las componentes de
[ ]
un tensor covariante de rango 2, entonces los elementos de la matriz inversa f ij son las
componentes de un tensor contravariante de rango 2.
TAREA:
1, 2, 5, 10. Pag. 802.
DERIVACIN COVARIANTE
x
=d
x d
d x b x d x
2
x b
= d + b d (1)
x x b x x x x x
d x x d
= ; ,db = ,
x b x x b x
d
+ Cdb
x b
Como d entra linealmente en el segundo trmino de (1), resulta casi obvio que los
trminos que hay que agregar a d/ xb para eliminar la segunda suma deben ser lineales
en las . Por ejemplo
x a xb
g = g ab
x x
g g ab x c x a x b 2 x a x b x a 2 x b
(2) = + ab
g + g ab
x x c x x x x x x x b x x
g g ac x b x a x c 2 x a x b x a 2 x b
(3) = + g + g ab
x x b x x x x x x x x x
ab
g g cb x a x c x b 2 x a x b x a 2 x b
(4) = + ab
g + g
x x a x x x x x x x x x
ab
Restando ahora (2) de la suma de (3) y (4), observando que las cantidades entre
corchetes y aquellas entre llaves se cancelan respectivamente, se obtiene
g g g g g g x a x b x c 2 x a x b
+ = cba + acb abc + g ab +
x x x x x x x x x x x x
x a 2 x b
+ g ab
x x x
g g g g cb g ac g ab x x x
a b c
2 x a x b
(5) + + = a + b c + 2 g ab
x x x x x x x x x x x x
Las cantidades
1 g cb g ac g ab
c , ab = (6)
2 x a x b x c
Cuya ley de transformacin viene dada por (5), se llaman smbolos de Christoffel
de primera clase. Por el segundo trmino del segundo miembro en la ecuacin de
transformacin (5), es obvio que c,ab NO ES UN TENSOR .
Por definicin, los smbolos de Christoffel de segunda clase son las cantidades
abd = g dc c , ab (7)
x x
g = g di
x i x i
De donde,
1 g g g
= g , = g + =
2 x x x
1 di x x g cb g ac g ab x a x b x c 2 xa x b
= g + + 2 g
2 x d x i x a x b x c x x x x x x
ab
1 g g ac g ab x a x b x x c x
= g di cba + i
+
2 x x b x c x x x d x x
2 x a x x b x
+ g g ab d
di
x x x x x i
x c x x b x
= ic y
= ib
x x i
x x i
1 dc g cb g ac g ab x a x b x 2 x a x
= g a + b c d + g db g ab d
2 x x x x x x x x x
g db g ab = g db gba = ad
2 x a x
Con lo cual el ltimo trmino de la ecuacin anterior se reduce a:
x x x d
1 dc g cb g ac g ab x a x b x 2 x a x
= g a + b c
+
2 x x x x x X
d
x x x a d
x a x b x 2 x a x d x
a
x b x 2 x a x
= g dc ab + = + (8)
x x x d x x x a d x x x d x x x d
ab
DEMOSTRACIN
d
Pruebe que + abd a es un tensor mixto de rango 2.
x b
De las ecuaciones ( 4 ) y ( 8 ):
d x b x d x
2
x b d x a x b x 2 x a x i x
+ = b + + ab +
x x x x d x b x d x x x x d x x x a x i
2 4
Reemplazando los ndices mudos d i; a b y notando que
x x
a
= ia
x x i
d x b x 2
i x x b a x
b
x 2 x b x x
+ = + +
i d
+ i
x x b x x d x b x i x x x d x x x b x i
ab i
d a d x
b
x 2
i x x b 2 x b x x
+ =
x b +
ab + b i + (9)
x
x x
d
x x x
x x x b x i
x x b
Se sabe
= . Derivando con respecto a xi, se tiene:
x x
b
2 x x b x 2 x b x
+ =0
x i x b x x b x x x i
d a d x
b
x
+ =
x b +
ab
x
x x
d
d
+ abd a ( 10 )
x b
d
dba a ( 11 )
x b
D de de
= + ibd ie + ibe di ( 12 )
x b
x b
D ed ed
= b + ibd ei ebi id ( 13 )
x b
x
D de de
= dbi ie ebi di ( 14 )
x b x b
TAREA
1 y 2. Pag. 811.