Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Analisis en Ingeniería-Cortes
Analisis en Ingeniería-Cortes
NOTAS DE CLASE
ANÁLISIS EN INGENIERÍA
MECÁNICA
POR LA COMISION DE
SUPERACION ACADEMICA DE
LA H. ACADEMIA DE LA FIMEE.
OCTUBRE DE 2007.
Autor:
Dr. Luz Antonio Aguilera Cortés
Clave de identificación
N.ME.M.(1) I 07-10
Maestría en Ingría. Mecánica Análisis en Ingeniería
NOTAS DE CLASE.
Aguilera A
Maestría en Ingría. Mecánica Análisis en Ingeniería
Í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 Curvilíneas ……………………….. V-12
Transformaciones ……………………………… V-16
Convención suma de Einstein …………………. V-17
Tensores ……………………………………… . V-25
Derivada Covariante ……………………………. V-29
Bibliografía
Aguilera A
Maestría en Ingría. Mecánica Análisis en Ingeniería
ALGEBRA VECTORIAL
Vector: Para nuestros propósitos un vector en un espacio Euclideano es bien definido como un
segmento lineal con una dirección y magnitud dadas.
F B Desplazamiento
Fuerza, velocidad,
A Aceleración,
Campo eléctrico
Campo magnético
Dos vectores son iguales si ellos tienen la misma dirección y la misma magnitud.
El negativo de un vector (-A) es aquél que tiene idéntica longitud pero dirección 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 dirección y sentido que A pero su magnitud ha
cambiado en la forma siguiente:
n=2
A 2A
-A/2 n = -1/2
A⋅B = ⏐A⏐⏐B⏐cosθ
B
El producto de 2 vectores es igual a la longitud de
Proyección de A uno u otro de ellos multiplicada por la proyección
Sobre B ⏐A⏐cosθ del otro sobre él.
θ
A
Proyección de B sobre A
2) Si B = A, entonces, obviamente:
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 dirección prescrita.
Por lo tanto, se puede expresar el vector unitario êA en la dirección del vector A como:
Α
êA =
Α
y así:
A = AêA
Se ha visto que los vectores unitarios se pueden definir en cualquier dirección. Sin
embargo, los vectores unitarios más útiles son aquellos que tienen direcciones mutuamente
ortogonales (conjunto ortonormal), por ejemplo las direcciones X, Y y Z de las coordenadas
cartesianas rectangulares, denotadas comúnmente por iˆ, ˆj y kˆ .
k̂
Y
ĵ
iˆ
REPRESENTACIÓN DE UN VECTOR
En términos 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 serán iguales si y sólo si, sus respectivas componentes son iguales.
Ya que el producto punto de vectores que son perpendiculares es cero, se tiene que:
i⋅j = j⋅k = k⋅i = 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
A⋅B = ABcosθ
Ejemplo:
A⋅B = -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:
(A⋅B)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 condición 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 dirección, el
producto es cero.
I=⏐BxC⏐=⏐B⏐⏐C⏐senθ
h=A⋅n=Acosγ
V = [Acosγ][⏐B⏐⏐C⏐senθ]
V = (A⋅n)(⏐BxC⏐)
V = A⋅{⏐BxC⏐n}
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⋅[(B⋅D)C - (B⋅C)D] IDENTIDAD DE LAGRANGE
= (A⋅C)(B⋅D) - (A⋅D)(B⋅C)
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, ¿Cuáles 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:
Solución:
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
Solución:
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
7) Área de un triángulo
-Determinar el área del triángulo cuyos vértices son (0,0,0), (2,4,10) y (3,12,5)
SOLUCIÓN:
Puesto que
Área=1/2ABsen(A,B)=1/2⏐AxB⏐
∴ A=2i+4j+10k
B=3i+12j+5k
i j k
A x B = 2 4 10 = -100i + 20j + 12k
3 12 5
Solución:
êA=(12j-5k)/13
êB=(-5i+5k)/5√2
así:
A=AêA=65[(12j-5k)/13]=60j-25k
B=BêB=20√2[(-5i+5k)/5√2]=-20i+20k
9) Determinar la distancia mínima entre el punto (1,4,8) y la recta que pasa por (0,0,0) y (2,14,5)
SOLUCIÓN:
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 algún intervalo existe
un valor correspondiente de un vector V, se dice que V es función vectorial de t.
V(t)=V1(t)i+V2(t)j+V3(t)k
V(t) es continua si y sólo 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 Δt→0 Δt Δt→0 Δt
De la última relación se puede definir la diferencial de una función vectorial V(t) como:
dV = dV1i+dV2j+dV3k
R = xi+yj+zk
dR = dxi+dyj+dz
V(t+Δt)
ΔV
V(t)
y
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(U±V) dU dV d
⎯⎯⎯ = ⎯ ± ⎯ • ( A + B ) = dA + dB
dt dt dt dt dt dt
DEMOSTRACIÓN:
d(A+B) A(t+Δt)+B(t+Δt)-A(t)-B(t)
⎯⎯⎯ = lim ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
dt Δt→0 Δt
A(t+Δt)-A(t) B(t+Δt)-B(t)
= lim ⎯⎯⎯⎯⎯ + lim ⎯⎯⎯⎯⎯⎯
Δt→0 Δt Δt→0 Δt
dA dB
= ⎯ + ⎯
dt dt
d(ϕV) dϕ dV
⎯⎯⎯ = ⎯V + ϕ⎯
dt dt dt
d dA dB
⎯ (A⋅B) = ⎯ ⋅ B+ A ⋅ ⎯
dt dt dt
DEMOSTRACIÓN:
d(A⋅B) A(t+Δt)⋅B(t+Δt)-A(t)⋅B(t)
⎯⎯⎯ = lim ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
dt Δt→0 Δt
A(t+Δt)⋅B(t+Δt)-A(t+Δt)⋅B(t)+A(t+Δt)⋅B(t)-A(t)⋅B(t)
= lim ⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯⎯
Δt→0 Δt
A(t+Δt)⋅[B(t+Δt)-B(t)] [A(t+Δt)-A(t)]⋅B(t)
= lim ⎯⎯⎯⎯⎯⎯⎯⎯⎯ = lim ⎯⎯⎯⎯⎯⎯⎯⎯
Δt→0 Δt Δt→0 Δ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)
ΔR
P(x,y,z)
R+ΔR
R
Sea φ una función escalar de posición que tiene primeras derivadas parciales con respecto
a x, y, z en alguna región 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 función φ cambiará en un
Δφ cuyo valor exacto del cálculo es:
donde εi→0 cuando Q→P, es decir, cuando Δx, Δy y Δz tienden a cero. Si dividimos el cambio
Δφ por la distancia Δs =⏐ΔR⏐ entre P y Q, se obtiene la medida de la razón a la cual cambia φ
cuando nos movemos de P a Q:
Así, si φ(x,y,z) representa la temperatura en el punto P(x,y,z), entonces Δφ/Δs representa la razón
promedio de cambio de la temperatura en la dirección en la cuál Δs es medido.
Puede notarse que el primer factor en cada uno de los productos del lado derecho depende sólo de
φ y de la coordenada en la cual la derivada de φ es evaluada. A su vez el segundo factor es
independiente de φ y depende sólo de la dirección en la cual la derivada es calculada. Esto
sugiere que dφ/ds puede representarse como el producto punto de dos vectores, uno que depende
sólo de φ y las coordenadas de P, el otro que depende sólo sobre la dirección 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 función vectorial
∂φ ˆ ∂φ ˆ ∂φ ˆ
i+ j+ k
∂x ∂y ∂z
Vector unitario
dφ dR ⎡ dR ⎤
= ( grad φ ) ⋅ ⎢∇ φ ΔS POR DEFINICIÓN 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
través de ese punto.
grad φ depende sólo de las propiedades
intrínsecas de φ, así en :
∂φ ˆ ∂φ ˆ ∂φ ˆ
grad φ = i+ j+ k
∂x ∂y ∂z
iˆ, ˆj y kˆ pueden reemplazarse por cualquier otro conjunto de vectores unitarios mutuamente
perpendiculares así como (∂φ/∂x), (∂φ/∂y) y (∂φ/∂z) serán remplazados por las derivadas
direccionales de φ a lo largo de los nuevos ejes .
El gradiente de una función se escribe frecuentemente en la forma operacional siguiente:
⎡∂ ∂ ∂ ˆ⎤
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
dφ ⎡ ∂u ˆ ∂u ˆ ∂u ˆ ⎤
= ⎢ i+ j+ k⎥
du ⎣ ∂x ∂y ∂z ⎦
∇φ = (dφ/du) ∇u
El carácter vectorial del operador ∇ sugiere que también se considere a los productos punto
y cruz en los cuales aparece como factor. Si F = F1î + F2 ĵ + 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 ⎦
⎡∂
∇xF = ⎢ iˆ +
∂ ˆ
j+
∂ ˆ⎤
( )
k ⎥ x F1iˆ + F2 ˆj + F3kˆ =
⎣ ∂x ∂y ∂z ⎦
iˆ ˆj kˆ
= ∂ / ∂x ∂ / ∂y ∂ / ∂z
F1 F2 F3
Ambos, la divergencia y el rotacional tienen interpretaciones físicas que justifican sus nombres.
∇ ⋅ φv = φ∇ ⋅ v + v ⋅ ∇φ
∇x(uxv ) = v ⋅ ∇u − u ⋅ ∇v + u∇ ⋅ v − v∇ ⋅ u
∂2 ∂2 ∂2
∴ ∇2 = + + EL OPERADOR DE LAPLACE
∂x 2 ∂y 2 ∂z 2
Estas fórmulas son válidas sólo para la forma cartesiana del operador ∇ dada en la ecuación
anterior. Diferentes fórmulas se originan cuando ∇ es expresada en términos de sistemas de
coordenadas mas generales.
TRANSFORMACIÓN 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 orígenes de ambos sistemas de coordenadas no coinciden, en este caso las ecuaciones
de transformación son:
Las primeras ecuaciones de transformación definen una rotación pura y las segundas
ecuaciones una rotación y traslación. El movimiento más general de cuerpo rígido puede ser
descrito por una rotación y una traslación alrededor de un eje ( eje del tornillo ).
Físicamente una función 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], Capítulo 15, Secciones 15.1- 15.5
Igualando términos
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 métodos vectoriales que: un ángulo inscrito en un semicírculo es un
ángulo recto.
De la definición
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 semicírculo a = c = r
a2 − c2 = 0
(− r ,0) r r (r ,0)
A = 2r
De la definición 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.
î ˆ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 = eˆc
C
C = 9 + 36 = 45 = 3 5
1
Cˆ1 = (− ˆj − 2kˆ)
5
1
Cˆ 2 = − (− ˆj − 2kˆ) debido a que el plano también 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 paralelepípedo que
tiene como lados A+C, A-C y B, e) el volumen del paralelepípedo 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
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ˆ ĵ 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ˆ ĵ 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 posición de una partícula 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ˆ ĵ 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ˆ )
Análisis Vectorial I-29 Aguilera A.
Maestría en Ingría. Mecánica Análisis en Ingeniería
∂
(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 sólido está dada por el campo escalar
x2 − ( y + z ) .
2
a)
φ = T = x 2 − ( y + z )2 P ( 2,1,1)
dφ dR
= ∇φ • R = r1ˆi + 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 ecuación:
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ˆ ĵ 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)
CÁLCULO VARIACIONAL
INTRODUCCIÓN
Conjuntamente con los problemas en que es necesario determinar los máximos y los
mínimos de cierta función y = f ( x ) [o z = f ( x, y ) ], con frecuencia surge en los problemas
físicos la necesidad de hallar los VALORES MÁXIMOS y MÍNIMOS de un género especial de
magnitudes, llamadas FUNCIONALES.
Es decir, se busca determinar la función que maximiza o minimiza una cantidad que
depende no de una o más variables independientes, sino de las funciones de un conjunto dado.
El CÁLCULO VARIACIONAL estudia los métodos que permiten hallar los valores
máximos y mínimos de los funcionales. Los problemas en que se exige investigar el máximo o el
mínimo de un funcional, se denominan PROBLEMAS VARIACIONALES.
-Dada una función localizar la posición de sus valores extremos y la magnitud de éstos
(optimización de magnitud).
-Dada una integral definida determinar el integrando que la hace mínima y el valor de la
integral (optimización de forma)
Muchas leyes de la mecánica y de la física se reducen a la afirmación que cierto funcional debe
alcanzar su máximo o su mínimo en el proceso considerado (PRINCIPIOS VARIACIONALES
DE LA MECÁNICA o LA FÍSICA).
Los tres problemas siguientes ejercieron gran influencia en el desarrollo del cálculo
variacional :
PROBLEMA DE LAS GEODÉSICAS: aquí se pide determinar la línea de menor longitud que
una dos puntos dados en cierta superficie φ ( x, y, z ) = 0
-PROBLEMA ISOPERIMÉTRICO: Se pide hallar una línea cerrada de longitud dada l que
delimite el área máxima S .(Esta línea es la circunferencia)
Otro caso que puede incluso reducirse al cálculo 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
mínima (RECTA).
MAXIMIZAR MAXIMIZAR
}FUNCIONES }FUNCIONALES
MINIMIZAR MINIMIZAR
Un funcional es una regla que asigna un número real único a cada función de un conjunto,
o dominio dado de funciones.
∫ f (x )dx es un funcional, puesto que es una regla que asigna un número real
b
2.
a
único a cada función f que sea integrable sobre [a, b] .
3. Los coeficientes de Fourier
1 d +2 p nπx 1 d +2 p nπx
an = ∫ f ( x ) cos dx b n = ∫ f ( x )sen dx
p d p p d p
son funcionales, dado que son fórmulas o reglas que asignan valores numéricos
únicos a cada función periódica que satisfaga las condiciones de Dirichet.
4. Para cada valor x la expresión
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 deflexión máxima del extremo de una viga en voladizo que se obliga a vibrar
por medio de una carga armónica w( x )senωt es un funcional cuyo dominio es el
conjunto de todas las funciones admisibles de distribución de carga w( x )
1 l
La energía 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 deflexión y ( x ) .
1 l
7. La energía cinética de una viga vibrante T = ∫ ω 2 ρ ( x ) y 2 ( x )sen 2ωtdx en
2 0
cualquier instante particular es una funcional cuyo dominio es el conjunto de
todas las curvas admisibles de deflexión y ( x ) .
a a
(1)
PRINCIPIOS VARIACIONALES
Los principios variacionales son una de las herramientas más poderosas para formular las
ecuaciones de movimiento de sistemas de n − GDL y sistemas continuos con una clara
comprensión sobre cualquier aproximación hecha durante el proceso de derivar las ecuaciones.
Las bases de este tópico 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 mecánica , el funcional usualmente posee un significado físico claro. Por ejemplo en la
mecánica de sólidos deformables, la energía potencial (π ) juega la regla del funcional ( π es una
función 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 región 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
Solución u (x ) = u(x ) + δu ( x )
δu ( x) Tentativa
solución solución variación
u1 Solución tentativa exacta de u
u(x) Exacta
x1 x x2
δ (∫ F dx ) = ∫ (δF )dx
⎛ du ⎞ d
δ⎜ ⎟= (δu )
⎝ dx ⎠ dx
También, definimos la variación de una función de varias variables o un funcional en una manera
similar al cálculo elemental de la diferencial total de una función.
0
∂F ∂F ∂F ∂F
δF = δu + δu '+ δu ' '+ δx (2)
∂u ∂u ' ∂u ' ' ∂x
δx = 0 variación 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, deberíamos 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 GEOMÉTRICAS .
Distinga que la ec. (7) de la página previa puede reducirse si F no depende de u′′ a la expresión;
∂F d ⎛ ∂F ⎞
− ⎜ ⎟=0 (7A)
∂u dx ⎝ ∂u ' ⎠
∂F
i) Si la función F no involucra a u de manera explícita, 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 explícita, la derivada parcial es función
∂u′
solo de u′. Toda solución tendrá la forma u′ = a donde la cte. a es una función de
k . ∴ u es una función 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 explícita, entonces ≡ 0 y la ecuación de Euler-Lagrange se
∂x
simplifica. Una primera integración de esta ecuación 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 hipótesis con esto
dx ∂x ∂u
∂2h ∂2h ∂h
Fu = + 2 u′ ; Fu ' =
∂u∂x ∂u ∂u
d ∂h ∂ h
2 2
( Fu ' ) = + u′
dx ∂x∂u ∂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 condición suficiente para que u
extremice la integral A(I) de la ec. (8) o ec.(1). Una solución de la ec. de Euler-Lagrange, con
condiciones de extremo pre-definidas, puede conducir a un valor estacionario de A pero no
necesariamente un máximo o un mínimo; y aún si un extremo ocurre, éste puede ser relativo y no
absoluto. En algunos casos inclusive podría obtenerse soluciones en forma implícita lo cual a su
vez traería sus complicaciones. Estas observaciones sugieren la necesidad de profundizar más en
la teoría matemática, pero afortunadamente en aplicaciones elementales del cálculo de
variaciones esto no es necesario en forma estricta. Así que podemos dejar de intentar
profundizar en la teoría y mejor nos concentraremos en aspectos prácticos del tema lo cual
después 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 hipótesis, luego φ ( x ) ≡ 0. Igualmente se puede obtener este resultado si se supone
φ (x ) < 0 .
VARIACIONES
Si se cambia y ( x ) a la función
ϕ ( x) = y ( x ) + εη ( x ) ε independiente de x
al cambio εη ( x ) lo llamaremos variación de y y lo denotaremos por δy
δy = εη ( x )
y ' ( x ) + εη ′ ( x )
δy ' ( x ) = εη ' ( x )
para la variación 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 ∂y∂y ' ∂y ⎠ 2!
∂F ∂F
ΔF = ηε + η'ε
∂y ∂y '
En forma equivalente
∂F ∂F
ΔF = δy + δy '
∂y ∂y '
Por analogía con la diferencial de una función, la última expresión se define como la variación
del funcional F y se denota δF .
*
*Por estricta analogía con la diferencial de una función de tres variables, se podría haber
esperado la definición
∂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 cálculo de δF y por consiguiente δx = 0
De paso se observa que en su forma más simple, la diferencial de una función es una
aproximación de primer orden al cambio en la función a medida que x varía a lo largo de una
curva particular, mientras que la variación de un funcional es una aproximación de primer orden
al cambio en el funcional, en un valor particular de x , a medida que variamos de curva a curva.
Resulta interesante e importante hacer notar que las variaciones pueden calcularse mediante las
mismas reglas que se aplican a las diferenciales.
⎡ ⎛ ∂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 ' ⎟⎟ = F1δF2 + F2δF1
⎝ ∂y ∂y ' ⎠ ⎝ ∂y ∂y ' ⎠
De la definición
d
(δy ) = d [εη (x )] = δy ' = δ ⎛⎜ dy ⎞⎟
dx dx ⎝ dx ⎠
Si se tiene un funcional de más de una función se tendría por ejemplo para F ( x, u , v' , u ') ,
entonces la variación de éste se define
δF δF δF δF
δF = δu + δv + δu '+ δv'
δu δv δu ' δv '
Cálculo Variacional II-11 Aguilera A.
Maestría en Ingría. Mecánica Análisis en Ingeniería
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 condición necesaria para que el funcional I tenga un extremo es que su variación se
anule
a a a
⎝ dx ⎠
⎡d ⎤
integrando el último término 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 condición necesaria para la
⎣ dx ⎦
existencia de un extremo de I , se concluye que δI también es cero en cualquier extremo de I .
Inversamente, puesto que δy es una variación arbitraria en y , la condición δI = 0 implica que
⎡ d (Fy ' ) ⎤
⎢ − Fy ⎥ = 0 y esto nos representa justamente la ecuación que ya habíamos deducido
⎣ dx ⎦
d (Fy ' ) d ⎛ ∂F ⎞ ∂F
− Fy = 0 • ⎜ ⎟− = 0 Ecuación de Euler
dx dx ⎝ ∂y ' ⎠ ∂y
Ejemplos
1) ¿ Qué curva que una los puntos P1 (x1 , y1 ) y P2 ( x 2 , y 2 ) tiene la longitud más corta ?
Aquí, la respuesta es obvia, a saber, el segmento P1 P2 , pero resulta interesante verificar este
hecho geométrico elemental, por medio del cálculo de variaciones. Por supuesto, lo que se tiene
que hacer es determinar la función que minimice la integral
2
x = x2 x2 ⎛ dy ⎞
L=∫ ds = ∫ 1 + ⎜ ⎟ dx
x = x1 x1
⎝ dx ⎠
para esta integral, la ecuación 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 condición de que esta recta debe
pasar por P1 y P2 .
Por ejemplo es fácil 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=∫ 2πyds = 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 ecuación 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 están colocados simétricamente respecto al eje y, se deduce que la curva requerida
también debe ser simétrica respecto al eje y. De donde, c2 = 0, así
x
y = c1 cosh
c1
Para determinar c1, se tiene la ecuación
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 ecuación de Euler tiene la forma
d
[2 y'] − (− 2 y ) = 0 o y ' '+ y = 0
dx
La ecuación diferencial anterior tiene la solución 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 mínimo (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 parámetro 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 parámetro mediante la sustitución 2t = t1 y se toma en cuenta que c2 = 0 ,
puesto que para y = 0 es x = 0 , se obtiene la ecuación 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 condición de que la
2
cicloide pasa por el punto B( x1 , y1 ) de este modo la BRAQUISTÓCRONA es una cicloide.
5) 16.3 P23 (Wylie C.R. “Advanced Engineering Mathematics”, 6th ed. Mc Graw Hill, 1995)
Encuentre la ecuación 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 mínimo.
dx
Haciendo x′ = ∴ dx = x′dy , 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
verifíquese 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 −1ηεx 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 ' = nεx n −1
∂y ∂y ' ;
( ) [
= xεx 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 dinámica avanzada se estudia con mayor detalle estos métodos así como
las aplicaciones a problemas de la dinámica.
t2
∫ t1
L dt (A)
t2
δ ∫t1
L dt = 0
∂L d ∂L
− =0
∂q dt ∂q
esta ecuación se conoce como la ecuación de Lagrange para sistemas conservativos y es su
ecuación de movimiento.
l1
m1
θ1
l2
m2
θ2
Ejemplos
7) Establecer la ecuación de movimiento del sistema masa-resorte sin fricción tomando x como
coordenada generalizada, oscilador armónico.
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 ecuación resulta ser la conocida ecuación de vibración , que con igual facilidad se puede
obtener de la 2ª ley de Newton .
∂L d ⎛ ∂L ⎞ d
∂θ
= − mglsenθ ⎜ ⎟=
dt ⎝ ∂θ ⎠ dt
( )
ml 2θ = ml 2θ
Cálculo Variacional II-22 Aguilera A.
Maestría en Ingría. Mecánica Análisis en Ingeniería
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
podría complicarse algo el problema
En este caso las coordenadas generalizadas son lo ángulos de torsión θ 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
]
también, como la energía potencial almacenada en un eje sometido a torsión es
1
módulo × (ángulo de torsión )
2
2
se tiene
1
2
[
V = k0θ 12+k1(θ1 −θ2) +…+ki−1(θi−1 −θi ) +ki (θi −θi+1) +…+kn−1(θn−1 −θn) +knθ 2n
2 2 2 2
]
de donde, las ecuaciones de Lagrange [L(θ ,θ , t )] se obtiene de (ver pág. II-37):
∂L d ⎛ ∂L ⎞
- ⎜ ⎟=0 ;
∂θi dt ⎜⎝ ∂θi ⎟⎠
i = 1,2,3,…,n (B)
así
I1θ1 + k0θ1 + k1(θ1 −θ2 ) = 0
I2θ2 −k1(θ1 −θ2 ) + k2(θ2 −θ3) = 0
Fig. 1 Fig. 2
dP = (PRESIÓN NORMAL)(AREA)senθ
( )[
= 2 ρv 2 sen 2θ 2πy 1 + ( y ') dx senθ
2
] (E2)
dy
donde y ' = . La fuerza total de arrastre, P , está dada por la integral de la ecuación (E2)
dx
P = ∫ 4 πρ v 2 ysen 3θ 1 + ( y ') dx
L 2
(E3)
o
L → Longitud del cuerpo. Para simplificar los cálculos, 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 condición
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 sólido que tiene un arrastre mínimo está dado por la ecuación
3
⎛ x ⎞4
y ( x ) = R⎜ ⎟
⎝L⎠
F ( x, y, y ') dx → mínimo
x2
A=∫ (10)
x1
sujeta a la condición
h* ( x, y, y') = 0
donde h puede ser una función integral. El valor estacionario de un problema de cálculo 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 método 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 posición. En el caso especial donde una o más de las hi son
condiciones integrales, las λi asociadas son constantes .
s Usando Lagrange-Multiplicadores
l
M V energía potencial = mgh = mgy
1 1
Y
T energía cinética = 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 ecuación de
movimiento es ;
d ∂L ∂L n ∂φ j
− = ∑λj + QNC Ec. de Euler-Lagrange en términos 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 ⎭
Cálculo Variacional II-28 Aguilera A.
Maestría en Ingría. Mecánica Análisis en Ingeniería
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 ∂θ
además
Así
( ) ( )
m lθ 2 senθ − lθ cos θ l cos θ − m lθ 2 cos θ + lθsenθ + g lsenθ = 0
− l 2θ − glsenθ = 0
g
∴θ + senθ = 0
l
¡Distinga que es la ecuación de un oscilador armónico!
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υδυ − kxδx + mδy )dt
t2
=∫
t1
g
y
υ=y x = 2y
δυ = δy =
d
(δy ) ; δx = 2δy
dt
t 2 ⎧⎡ d ⎤ ⎫
I .V . = mυδy 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 ecuación inicial con la restricción
geométrica:
t2 ⎛ 1 1 ⎞
I .V . = ∫ δ ⎜ my 2 − kx 2 + mgy ⎟ dt ; x = 2y
t1
⎝2 2 ⎠
Se introduce la restricción
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 térmica
A → área de la sección 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 sección 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 ecuación de restricción (E2.7). Ya que y ( x ) en la ec. (E2.7) es una variable
también, puede expresarse en términos de t ( x ) usando la ecuación de balance de calor (E2.5).
Integrando la ec. (E2.5) entre los límites 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 restricción
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 método 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)
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 -parámetros 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
sólo y ( x ) y fijando z ( x ) , cambiamos nuestra curva de modo que su proyección 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),
pág. 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 solución 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
Página 1087 (9, 11, 21, 29 y 43)
Página 1101 (13, 15, 19)
Página 1113 (9 y 10)
Pagina 1117 (3, 11, 18)
Pagina 1124 (1)
Ecuación diferencial parcial, EDP, ecuación que contiene las derivadas parciales de
una o más variables dependientes con respecto a más 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
FENÓMENO OSCILACIÓN
FÍSICO
MODELO
ICONICO
LEYES
2ª LEY DE NEWTON
FÍSICAS
EDO “parámetros
concentrados”
MODELO
MATEMÁTICO ∑F = ma
EDP “continuo”
SOLUCIÓN
INTERPRETACIÓN
DE LA SOLUCIÓN
d 2x
2
+ kx = 0 MECÁNICA: OSCILADOR ARMÓNICO
dt
d 2 y dy
x 2 + + xy = 0 CALOR, ELECTRICIDAD, AERODINÁMICA,
ANÁLISIS 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 DEFLEXIÓN DE
dx VIGAS.
d 2I dI CIRCUITO ELECTRICO DE CA
2
+ a + bI = R sen wt (BIOLOGÍA O ECONOMIA)
dt dt
2
d2y W ⎛ dy ⎞
= 1+ ⎜ ⎟ SUSPENSIÓN DE CABLES.
dx 2 H ⎝ dx ⎠
∂ 2V ∂ 2V ∂ 2V
2
+ 2 + 2 =0 ELECTRIDAD, CALOR, AERODINÁMICA, TEORÍA
∂x ∂y ∂t DE POTENCIALES.
∂U ⎛ ∂ 2U ∂2U ⎞
= R ⎜⎜ 2 + ⎟
2 ⎟ CONDUCCIÓN DE CALOR, DIFUSIÓN DE
∂t ⎝ ∂x ∂y ⎠ NEUTRONES EN UNA PILA ATÓMICA.
∂ 2Y 2
2∂ Y VIBRACIÓN DE CUERDAS, BARRAS, Y LA
=a PROPAGACIÓN DE SEÑALES ELECTRICAS.
∂t 2 ∂x 2
∂ 4φ ∂ 4φ ∂ 4φ
+ 2 2 2 + 4 = F(x , y ) ANÁLISIS DE ESFUERZOS.
∂x 4 ∂x ∂y ∂y
Ecs. Diferenciales Parciales III-3 Aguilera A.
Maestría en Ingría. Mecánica Análisis en Ingeniería
Digamos que una solución de una EDP es una relación explícita o implícita entre las
variables que no contiene derivadas y la cual satisface a la ecuación. En ciertos casos muy
simples puede obtenerse una solución en forma inmediata.
∂U
= x2 + y 2
∂x
( )
U = ∫ x 2 + y 2 ∂x “ INTEGRACIÓN PARCIAL ”
x3
U = + xy 2 + φ ( y )
3
∂ 2U
= x3 − y
∂y∂x
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
∂X∂Y ∂Y 2
∂X ∂Y
∂ 2U ∂ 2U ∂ 2U ∂U ∂U
A + B + C +D +E + FU = 0 (1)
∂X 2
∂X∂Y ∂Y 2
∂X ∂Y
Para la ecuación ( 1 ) se establecen los siguientes teoremas básicos los cuales son
análogos a los establecidos para las EDO.
TEOREMA
Hipótesis: Sean f1 , f2, ..., fn n soluciones de la ecuación ( 1 ) en una
región R del plano xy
Conclusión: La combinación lineal c1f1 + c2f2 +....+ cnfn es también una
solución de la ecuación ( 1 ) en la región R.
Una clase importante de los EDP lineales de 2º orden son las ecuaciones lineales
homogéneas de 2º orden con coeficientes constantes.
∂ 2U ∂ 2U ∂ 2U
a + b + c =0 (2) a, b, c → constantes.
∂X 2 ∂X∂Y ∂Y 2
La palabra homogénea aquí se refiere al hecho de que todos los términos de la ecuación
contienen derivadas del mismo orden.
U = f( y + mx ), (3)
∂ 2U
= m 2 f ' ' ( y + mx )
∂X 2
∂ 2U
= mf '' ( y + mx ) (4)
∂X∂Y
∂ 2U
= f ' ' ( y + mx )
∂Y 2
f’’( y + mx ) [ am2 + bm + c ] = 0
am2 + bm + c = 0 (5)
- Caso i ) Sean las raíces distintas m1 y m2. Entonces la ecuación ( 2 ) tiene las
soluciones:
f ( y + m1x ) y g ( y + m2x ),
- Caso ii) Sea m1 la raíz doble (raíz repetida). Entonces la ecuación ( 2 ) tiene la
solución f ( y + m1x ), donde f es una función arbitraria de su argumento. Además puede
demostrarse que en este caso la ecuación ( 2 ) también tiene la solución xg ( y + m2x ),
donde g es una función arbitraria de su argumento. De aquí la solución de la ecuación ( 2 )
es:
f ( y + m1x ) + xg ( y + m1x ),
- Caso iii) Aquí la ecuación cuadrática se reduce a: bm + c = 0 y de aquí sólo hay una
raíz. Sea m1 esa raíz, la ecuación ( 2 ) tiene la solución f ( y + m1x ), donde f es una función
arbitraria de su argumento. Posteriormente puede verificarse otra vez que en este caso
g (x), donde g es una función arbitraria de x solamente, es también una solución de la
ecuación ( 2 ). Así la solución de la ecuación ( 2 ) es:
f ( y + m1x ) + g ( x )
∂ 2u ∂ ⎛ ∂u ⎞
c =0 ó ⎜ ⎟=0
∂y 2 ∂y ⎜⎝ ∂y ⎟⎠
f(x)+yg(x)
Toda ecuación de la forma (2) con coeficientes constantes está en una y sólo una de las
cuatro categorías cubiertas en los casos i) a iv). Así la ecuación ( 2 ) siempre tiene una
solución la cual involucra dos funciones arbitrarias.
∂ 2u ∂ 2u ∂ 2u
Ejemplo 1: Encuentre una solución de: − 5 + 6 =0
∂x 2 ∂x∂y ∂y 2
m2 – 5m + 6 = 0
Cuyas raíces son: m1 = 2 y m2 = 3. Por lo tanto cae en el caso i) y así la solución será:
U = f ( y + 2x ) + g ( y + 3x )
∂ 2u ∂ 2u ∂ 2u
Ejemplo 2: Encuentre una solución de: − 4 + 4 =0
∂x 2 ∂x∂y ∂y 2
m2 – 4m + 4 = 0
Y esta ecuación tiene la raíz doble m = 2. Por lo tanto este es un ejemplo del caso ii). Cuya
solución tiene la forma:
U = f ( y + 2x ) + xg ( y + 2x ).
Finalizamos esta sección 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 clasificación con algunas de las famosas ecuaciones de la física-matemática.
∂ 2U ∂ 2U ∂ 2U ∂U ∂U
A + B + C +D +E + FU = 0
∂X 2
∂X∂Y ∂Y 2
∂X ∂Y
Ejemplos:
∂ 2u ∂u
4) + =0 Parabólica: Caso especial de la ecuación de calor
∂x 2 ∂t
unidimensional (ó ecuación de
A = 1, B = C = 0 difusión).
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
Hiperbólica, Parabólica o Elíptica?
∂ 2u ∂ 2u ∂ 2u
a) ( y + 1) + 2 x + = x+ y
∂x 2 ∂x∂y ∂y 2
∂ 2u ∂ 2u ∂ 2u
b) (x + 1) 2 + 2 x +y 2 =u
∂x ∂x∂y ∂y
SOLUCIÓN:
∂ 2u ∂ 2u ∂ 2u ∂u ∂u
A + B + C +D +E + Fu = a
∂x 2
∂x∂y ∂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 ecuación de la parábola
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 ecuación es parabólica para todos los valores de los puntos en ( x, y ) en la
parábola x 2 − y − 1 = 0
a) 3u xx − 4u xy + u yy = 0
u xx + 2u xy − 3u yy = e x+2 y
e)
Solución:
3∂ 2u 4∂ 2u ∂ 2u
a) − + =0
∂x 2 ∂x∂y ∂y 2
Se obtienen:
∂ 2u
= m 2 f ' ' ( y + mx )
∂x 2
∂ 2u
= f ' ' ( y + mx )
∂y 2
∂ 2u
= mf ' ' ( y + mx )
∂x∂y
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
4±2
m1,2 =
6
4+2 6
m1 = = =1
6 6
4−2 2 1
m2 = = =
6 6 3
⎛ 1 ⎞
Por lo tanto la solución 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 ∂x∂y ∂y 2
∂ 2u 2∂ 2u 3∂ 2u
+ − =0 (e )
∂x 2 ∂x∂y ∂y 2
∂ 2u
= m 2 f ' ' ( y + mx )
∂x 2 ∂ 2u
= mf ' ' ( y + mx )
∂x∂y
∂ 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 solución 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 = a−x
(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 *
Comprobación*
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 ∂x∂y 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 tensión en la cuerda
SUPOSICIONES
∑Fx = 0
-T1cosα1 + T2cosα2 = 0
T1cosα1 = T2cosα2 = T en la posición de equilibrio α1 = α2 = 0
T1 = T2
∑Fy = may
∂ 2 y(x ) w( x ) ∂ 2 y
-T1senα1 + T2senα2 + f ( x, y, y, t ) Δx = ρ ( x ) Δx = Δx 2 (1)
∂t 2 g ∂t
dividiendo entre T
T2senα 2 T1senα1 F ( x, y, y, t ) w( x ) ∂ 2 y 1
− + Δx = Δx
T2 cosα 2 T1 cosα1 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 )(aceleración ) =
(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 energía 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 energía cinética
⎡ ∂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 básico 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 rotación
2) Cada sección transversal gira alrededor de su centro de gravedad
3) La forma de una sección transversal general es prácticamente 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 ) torsión
∂x ∂x
G= módulo al cortante
∂ ⎡ ∂θ ⎤ ∂ 2θ
GJ ( x ) + F ( x , θ , θ , t ) = I ( x )
∂x ⎢⎣ ∂x ⎥⎦ ∂ t2
∂ 2θ ∂ 2θ GJ ∂ 2θ ∂ 2θ ECUACIÓN ONDA
GJ = I ó =
∂ x2 ∂ t2 I ∂ x2 ∂ t 2 UNIDIMENSIONAL
Vibración 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 Flexión
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 tensión que actúan
a través de las fronteras de un elemento bidimensional típico de la membrana y aplicando la
2ª ley de Newton a la masa de ese elemento, se tiene que la deflexión de la membrana z( x,
y, t ) satisface la ecuación. 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
(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 )ΔxΔy
w( x, y ) ∂2z
= ΔxΔy 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 solución.
w( x, y,0 ) = w0 ( x, y )
∂w } C.I (6)
(x, y,0) = w0 (x, y )
∂t
∂w
P ( x2 , y2 , t ) = 0 t≥0
∂n
∂w
derivada de w con respecto a una dirección normal a la frontera en el punto
∂n
(x2 , y2 )
FLUJO DE CALOR;
ρΔxΔyΔz
Δm =
g
Sea Δu el cambio en la temperatura que ocurre en el elemento en el tiempo Δt, entonces por
c) , la cantidad de calor almacenado en ese tiempo es
cρΔxΔyΔzΔu
ΔH = cΔmΔu =
g
ΔH cρ Δu
= ΔxΔyΔz (1)
Δt g Δt
f ( x, y, z , t )ΔxΔyΔz (2)
⎯el elemento puede ganar calor en virtud de la transferencia de calor a través de sus
diversas caras.
H G
Elemento típico de
volumen en una región D
de flujo tridimensional E
Δz F
de calor
A B Δx
Δy
∂u
Porque gana calor − kΔyΔz x
∂x y + Δy / 2
z + Δz / 2
∂u
kΔyΔz 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 dirección 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
− kΔxΔz 1 + kΔxΔz 1
∂y x + Δx
2
∂y x + Δx
2
y y + Δy
1 1
z + Δz z + Δz
2 2
∂u ∂u
− kΔxΔy 1 + kΔxΔy 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) más la
rapidez a la que está fluyendo calor hacia el elemento del resto de la región .Así se tiene la
siguiente relación 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 MATEMÁTICAMENTE
= RC ECS. IDÉNTICAS 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 mayoría de las EDP en las aplicaciones que vamos a considerar en este curso se
pueden resolver por un método 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 función arbitraria dos veces derivable entonces
g ( x + a t ) también es una solución 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 )
también es una solución. Como hemos explicado cualquier solución de ( 3.1 ) puede
expresarse en la forma de la ecuación ( 3.2 ).
Esta forma de la solución de la ecuación de onda es especialmente útil para ilustrar
el significado del parámetro 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 x∫0 a x∫0
dx =
x0 a
x
1
g ( x ) = φ ( x ) − f ( x ) = f ( x ) + ∫θ ( x )dx de esta ecuación 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 método no es universalmente aplicable, basta para la mayor parte
de las EDP que se encuentran en las aplicaciones elementales, en la ingeniería y física, y
conduce directamente al corazón de la rama de las matemáticas 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 ecuación (4.1) es una condición necesaria para que θ ( x, t ) = X (x )T (t ) sea una solución
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 ⎥ Aeλt + Be − λt ]
⎣⎢ ⎦⎥
Pero esta solución no tiene significado con relación 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 )
3) Por último, si μ < 0 , se puede escribir μ = −λ2 entonces las EDO y sus
soluciones son:
λ2
T = −λ2T ; X ´´= − X
a2
λ λ
T = A cos λt + Bsenλt X = C cos x + Dsen x
a a
⎛ λ λ ⎞
θ ( x, t ) = X (x )T (t ) = ⎜ C cos x + Dsen x ⎟( A cos λt + Bsenλt ) (4.2)
⎝ a a ⎠
2π
La cual evidentemente es periódica, 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 método de separación de variables?
∂ 2u ∂ 2u ∂u
c) a + b +c =0
∂x 2
∂x∂y ∂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 ∂x∂y ∂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 ecuación puede resolverse por el método de variables
separadas
10) Vibración libre de una barra (Fija-Libre) Encontrar las frecuencias naturales y la
solución de vibración libre de una barra fija en un extremo y libre en el otro.
La solución está expresada por la solución obtenida para la ec. de onda (vibración 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
Así la solución total (vibración libre ) usando el método de superposición de modos es;
∞
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 solución
de vibración 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 + Bsenλt )
a
λ
θ (l , t ) = Dsen l ( A cos λt + Bsenλt ) = 0
a
λl λl
sen =0 ó = nπ
a a
Así
nπa
λn = Para n = 1, 2,3,…. (4.3)
l
Estos y sólo esos valores de λ dan lugar a soluciones que, además de ser
periódicas, 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 solución que sustituya las restantes condiciones del problema, es decir, que el
eje comience su movimiento en t = 0 con un ángulo de torsión conocido θ ( x,0 ) = f ( x ) y
una velocidad angular conocida ∂θ x , 0 = g (x ) en cada sección.
∂t
λn nπ ⎛ nπa nπa ⎞
θ '' ( x, t ) = sen x( An cos λn 't + Bn senλnt ) = sen x⎜ An cos t + Bn sen t⎟
a l ⎝ l l ⎠
∞ ∞
nπ ⎛ nπa nπa ⎞
θ ( 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π ⎛ nπa ⎞ nπa
= ∑ sen x⎜ − An sen t⎟
∂t n = l l ⎝ l ⎠ l
∂θ ∞
⎛ nπa ⎞ nπ
x,0 ≡ g (x ) = ∑ ⎜ Bn ⎟ sen x
∂t n =l ⎝ l ⎠ l
nπa
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 función 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
Solución : La solución esta dada para la ecuación (4.2) con Cn y Dn dados para las
ecuaciones () y () respectivamente.
Ya que no existe velocidad inicial [w0 ( x ) = 0] se obtiene Dn= 0 así la solución se reduce
a:
∞
nπx ncπ
w( x, t ) = ∑ Cn sen cos t
n =1 l l
donde
2 l nπx
Cn = ∫ w0 ( x )sen dx
l 0 l
⎧ 2hx wo ( x, o)
⎪⎪ l 0≤x≤ l
2
w0 ( x ) = ⎨
⎪ 2h(l − x ) l
≤x≤l
⎪⎩ 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 3πx 3πc ⎫
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 )
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 dirección de x, se obtiene:
λ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π + Ecuación de frecuencias
L12 L22 L12 L22
∞
Z ( x, y , t ) = ∑ senα m Xsenβ nY [ Amn cos λmnt + Bmn senλmnt ]
m ,n = 0
14) Una barra metálica de 100 cm de longitud tiene los extremos x = 0 y x = 100 (x = L)
mantenidos a 0°C. Inmediatamente la mitad de la barra está a 60°C, mientras que la otra
mitad está a 40°C. 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 función 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
SOLUCIÓN:
o
T + 0.16λ2T = 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 =
π
∂ 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 condición
Ecuación 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
X′′T = 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 + Bsenhλx T= t+a
a2
λ2
t
λx − λx
X = Ae + Be T = Ce a
2
λ2
[ ]
t
u ( x, t ) = Aeλx + Be − λy Ce a
2
; Esta solución es rechazada por que indica que u incrementa
cuando t también.
Ahora si μ = 0
x′′ = 0 T′ = 0
por lo tanto
x = Ax + B T = C
λ2
X ′′ + λ2 X = 0 T′ + T = 0 Solucionando
a2
λ2
- t
X = A cos λx + Bsenλx T = Ce a2
λ2
− t
u ( x, t ) = [A cos λx + Bsenλx ]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
−λ 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 líneas y=0 y y=1,
extendida hasta el infinito en la dirección 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 distribución de temperaturas es
u (0, y ) = 100(1 − y ) . Encuentre la temperatura en estado estacionario en cualquier punto de
la hoja.
Ecuación Fundamental
a 2∂u ∂ 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 solución 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 ecuación diferencial parcial que hay que resolver es, desde luego, la ECUACIÓN
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. Además, haciendo x = 0 en la última ecuación ya con B(s)=0, se tiene
que L {Y ( x, t )} = A(s), y en virtud de la condición 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 métodos 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 además parte del reposo.
⎣ 2l
Solución:
∂ 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 ecuación 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 función de s, la cuales es necesario calcular,
para ello a la solución homogénea 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.
Maestría en Ingría. Mecánica Análisis en Ingeniería
L-1 {Θ( s )} = θ ( x, t )
⎧⎛ s ⎞⎫
L-1 ⎨⎜⎜ 2 2 ⎟ sin ϕx
2 ⎟⎬
⎩⎝ ϕ a + s ⎠⎭
SOLUCIONES NUMÉRICAS
x
Por supuesto la solución exacta (¿?) puede escribirse a través de la integral u ( x) = ∫ et dt
2
u(x i ) ui 0≤i≤n
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 solución
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
Por ejemplo, si la malla consiste de puntos igualmente espaciados x1, x2… xn con
x i − x i −1 = Δx , entonces re-emplazar la segunda derivada u’’(xi) por el cociente de
diferencias simétrico
u ( xi + Δx) − 2u ( xi ) + u ( xi − Δx)
(Δx) 2
Así la ecuación diferencial parcial es reemplazada por las ecuaciones lineales siguientes
con C.F.
u0(t) = 0 un+1(t) = 0
ui −1 (t ) u i +1 (t )
ui (t )
R 1− 2 R R
Algoritmo numérico
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
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 solución es;
(Δx) 2 1
16
ui (t + Δt ) = 2ui +1 (t ) + 2ui −1 (t ) − 3ui (t ) . Aplicando esto junto con el dato de la condición
inicial u(x,0)=4x, se obtiene la siguiente tabla de valores::
1 1
En este ejemplo se observa que con la segunda opción Δx = , Δt = se obtiene una
4 8
solución absurda, ya que físicamente se esperaría que la temperatura permanezca con
valores positivos y tienda a cero conforme el tiempo aumenta.
Sin embargo el valor ilógico en este ejemplo no debe sorprenderno ya que la razón
Δ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
distribución de temperatura dada por u ( x, o) = 100(1 − 2 x ) . Si cada extremo de la barra se
2
Solución:
∂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
Además 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 serán 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 simetrías, en cuantos puntos deben evaluarse las
ecuaciones, o cuantos cálculos 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
Ecuación
∂ 2u ∂ 2u
+ =0
∂x 2 ∂y 2
u xx + u yy = 0 (1)
11.9 P5 Solución
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 ecuación 1
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 sustitución 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 transformación lineal Ta: Y = AX sea seguida
por la transformación lineal Tb; Z = BY es la transformación lineal única Tba : Z = BAX ,
cuya matriz es el producto BA de las matrices Tb y Ta .
Por analogía, la longitud o valor absoluto de un vector real cualquiera: X = [X1 , X2 ... Xn]
n
Se define como la raíz 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 dirección si, y sólo si, sus componentes son proporcionales y son
perpendiculares u otorgonales si y sólo si, satisfacen la condición.
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⎥
A−1 = = ⎢ 7 − 14 − 7 ⎥⎥ = ⎢ 1 − 2 − 1⎥
det A 7 ⎢ ⎥
⎢⎣ − 1 5 2 ⎥⎦ ⎢− 1 5 2⎥
⎣⎢ 7 7 7 ⎥⎦
FORMAS CUADRÁTICAS.
+ …………………….
+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 notación matricial a las formas cuadráticas hacer aji = aij . Así Q(x)
puede expresarse en la forma simétrica.
+−−−−−−−−−−−−−−−−−−−−−−−−
+−−−−−−−−−−−−−−−−−−−−−−−−
+ 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 cuadrática 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 cuadrática que es definida, necesariamente es no singular. Sin embargo, una
forma cuadrática 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 condición necesaria y suficiente para que la forma cuadrática real XTAX
sea definida positiva ( definida negativa ) es que las cantidades
TEOREMA 2. Una condición necesaria y suficiente para que la forma cuadrática 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 más, todos los demás 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 cuadráticas están las que se conocen
como formas bilineales.
DEFINICIÓN: Se dice que los vectores X y Y son ortogonales con respecto a una matriz
simétrica A, si la forma bilineal YTAX es igual a cero.
Un vector cuya longitud generalizada con respecto a una matriz definida positiva y
simétrica 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 homogéneo tendrá una o más 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 ecuación 3, y sólo para estos valores, la ecuación matricial (1) tiene vectores
solución no triviales.
Las n-raíces de la ecuación (3), las que, no necesitan ser distintas, se llaman raíces
características, o valores característicos de la matriz A, y las soluciones (no triviales)
correspondientes de la ecuación (1) o de la (1a) son los vectores característicos de A.
β1 = λ1 + λ2 + ... + λn
β 2 = λ1λ2 + λ1λ3 + ... + λn −1λn
β 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 = λ1λ2λ3 ....λ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 sólo si, al menos uno de sus valores característicos
es cero.
COROLARIO Si los valores característicos de una matriz A de nxn son todos distintos,
entonces A tiene n vectores característicos linealmente independientes y cualquier vector
con n componentes se puede expresar como una combinación lineal de los vectores
característicos de A.
TEOREMA Los valores característicos de una matriz hermitiana son todos reales.
AX i = λi X i
AX j = λ j X j
T
o puesto que A = A , por hipótesis, 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 característicos 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 − 3λ2 − λ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 CARACTERÍSTICOS
λ3 = 2
y si A es una matriz no singular (si tiene inversa) se sabe AA−1 = A−1 A = I y de igual
forma A− n = ( A−1 ) n luego así se tiene la siguiente definición
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 también 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)
⎡1 − 2⎤
Ejemplo: Como una ilustración del teorema 5, considérese la matriz A= ⎢ ⎥ y la
⎣3 − 4⎦
x
función φ ( x) = . La ecuación característica de A es:
x+3
⎡1 − λ −2 ⎤
A − λI = ⎢ ⎥ = λ2 + 3λ + 2 = 0
⎣ 3 − 4 − λ⎦
De donde, las raíces características son λ = -1, -2. Por lo tanto, según el teorema 5, las
raíces características 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 término de cualquier función polinomial de
una matriz diagonal D y utilizando luego la definición de adición 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
⎡ 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 ⎦
⎡ p(λ1 ) 0 … 0 ⎤
⎢ 0 p(λ 2 ) … 0 ⎥⎥ −1
8. Encontrar p( A) = S ⎢ S
⎢ 0 0 0 ⎥
⎢ ⎥
⎣ 0 0 … p(λ n )⎦
Sección 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λ + 2λ2 +6
− 3λ + 4λ2 − 1 − λ3
λ −3
−λ 4
− λ3 + 6λ2 − 11λ + 6 = 0
λ3 − 6λ2 + 11λ − 6 = 0
λ1 = 1 λ1 ≠ λ 2
λ2 = 3 λ 2 ≠ λ3
λ3 = 2 λ1 ≠ λ3
Vectores característicos:
⎡ 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 ecuación polinomial de orden
n que es satisfecha por A .
a n1 an2 a nn − λ
[
= (− 1) λn − β 1λn −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 − β1λn−1 I + … + (− 1) β n I ]
n n
esto es,
[ ]
= (− 1) λn I − β1λn−1 I + … + (− 1) β n I = F (λ )( A − λI )
n n
Pero ésta es una relación 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 −1
=
(− 1)
n −1
[An−1 − β A n−2 + … + (− 1)
n −1
β n −1 I ]
βn
1
En algunos casos éste es un método conveniente para obtener la inversa de una matriz A .
Ejemplo
⎡ − 4 5 5⎤
⎢ ⎥
Si A = ⎢ − 5 6 5⎥ , se encuentra mediante un cálculo sencillo que
⎢⎣ − 5 5 6⎥⎦
A 3 − 8 A 2 + 13 A − 6 I = 0
como se puede verificar fácilmente por cálculo directo. Usando esta relación ahora
podemos expresar las potencias más elevadas de A como polinomios cuadráticos 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
A−1 =
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⎥⎥ + 13⎢⎢0 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 raíces características de una matriz A son todas distintas, excepto
posiblemente en el signo, el polinomio característico y el polinomio mínimo 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
⎥
⎥
⎣ i≠k ⎦
⎡− 15 − 14 − 40⎤
Ejemplo: Si A = ⎢⎢ 6 7 14 ⎥⎥ , exprese
⎢⎣ 5 4 14 ⎥⎦
− 15 − λ − 14 − 40
A − λI = 6 7−λ 14 = −λ3 + 6λ2 − 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 + 3λ2 − 10λ + 8 = 0
= (2 − λ )(− 4 − λ )(5 − λ ) − (4)(− 5)(2 − λ ) + (− 1)(− 4)(5 − λ ) + (1)(4)(− 4) + (− 4)(− 5) − (1)(− 4 − λ )(− 4) =
( )
= − 8 − 2λ + 4λ + λ2 (5 − λ ) + 40 − 20λ + 20 − 4λ − 16 + 20 − 16 − 4λ =
= 5λ + 10 λ − 40 − λ3 − 2λ 2 + 8λ + 48 − 28λ = 0 ;
2
− λ3 + 3λ2 − 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⎥ − 3⎢1 − 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⎢
= ⎢ −7−3+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 + 5λ2 − 7λ + 3 = 0
λ3 − 5λ2 + 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 mínimo
⎡3 − 2 ⎤
A=⎢ ⎥
⎣5 − 4⎦
A − λI = (3 − λ )(− 4 − λ ) − (5)(− 2) = 0
= −12 − 3λ + 4λ + λ2 + 10
= λ2 + λ − 2 ∴ (λ + 2)(λ − 1) =0
y la ecuación 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
IDENTIDAD DE SYLVESTER
⎡ ⎤
⎢ ⎥
n ⎢ p (λ k )
(A − λ i I )⎥⎥
n
p ( A) = ∑ ⎢ n ∏
(λ k − λ i ) ii =≠1k
Los valores característicos son
k =1 ⎢
∏
⎢ i =1
⎥
⎥ λ 1 = −2
⎣ i≠k ⎦
λ2 =1
Así:
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 − 3λ2 + 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 razón se conocen
como los ejes de un sistema de coordenadas oblicuas.
⎡ p1 ⎤
⎢ ⎥
Vp = ⎢ p 2 ⎥
⎢ p3 ⎥
⎣ ⎦
⎡q1 ⎤
⎢ ⎥
VQ = ⎢ q 2 ⎥
⎢q 3 ⎥
⎣ ⎦
V p = A−1V p y VQ = A−1VQ
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 (A−1 ) IA−1 .V
T
]
= U TGV (4)
Así, las propiedades métricas 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 transformación X = AX de coordenadas
rectangulares a oblicuas.
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 recíproco al conjunto e1 , e2 , e3 y viceversa.
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
Dónde g ij es el elemento en el i-ésimo renglón 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 métricas de espacio, las cuales son
determinadas por la matriz G = g ij = A −1 [ ] ( ) T
A −1 si los vectores están representados en
términos 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 están representados en términos de los
1 2 3
vectores base recíprocos 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 renglón 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 términos 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 ecuación ( 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 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 válida 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 recíprocos 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 paramétricas, que pasan por P y en
las que una, y solo una, de las coordenadas generalizadas varía. En general, las tangentes a
las 3 curvas paramétricas que pasan por un punto NO SERÁN COPLANARES y se supondrá que
en toda la región R éste es el caso.
x1, x3 constantes
2
x variable Figura 1. Curvas paramétricas 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 paramétricas x1, x2, x3 en P con longitudes
ds = ei dx i = ei ⋅ ei dx i (1)
En P se definen los vectores base recíprocos 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
(
Dónde como siempre, ei ⋅ e j = ei e j cos ei , e j . )
¿CÓMO 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 recíprocos locales cumplen las
relaciones ( demostradas en la sección 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 términos )
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í:
TRANSFORMACIONES
Sean (x1,x2,x3) y (x1, x 2 , x 3 ) dos sistemas de coordenadas relacionados entre si
por las ecuaciones de transformación 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) podrían ser las que relacionan un sistema
rectangular y uno oblicuo (como en la sección precedente) uno rectangular y uno cilíndrico,
uno rectangular y uno esférico, o uno cilíndrico y uno esférico .
(
Se requiere que el punto de coordenadas x1 , x 2 , x 3 tenga un conjunto único )
de coordenadas x. Asimismo se requiere también 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 término contiene la misma letra dos veces como índice, se sobreentiende que
el término 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
transformación
(
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 β
∂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 definición, el Jacobiano de la transformación directa T es J = ⎢ k ⎥ y el de la
⎢⎣ ∂x ⎥⎦
⎡ ∂x k ⎤
transformación inversa T es J = ⎢ j ⎥ , luego:
-1
⎣∂x ⎦
⎡ ∂ 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 transformación con Jacobiano J2, entonces el Jacobiano de
la transformación 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 cuadrática después de la transformación como:
α β
g αβ d x d x
∂x i ∂x j
g αβ = g ij α β
( 17 )
∂x ∂x
EJEMPLO:
Obténgase la fórmula de la diferencial de la longitud de arco en coordenadas
esféricas.
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
∂x i α
dxα eα = dx ei
∂xα
Así de la última ecuación 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 ecuación (6) como se expresan los vectores base locales en términos
de los vectores base recíprocos locales en cualquier sistema de coordenadas y por (23),
cómo se transforman los vectores base locales, ahora se puede determinar cómo se
transforman los vectores base recíprocos locales por la ecuación (6).
ei = g ij e j
∂xα ∂xα ∂x β j
eα = gαβ e
∂x i ∂x i ∂x j
Multiplicando esta ecuación 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
Si se multiplica por gλγ y sumamos con respecto a γ, aplicando el hecho de que [gij] es la
inversa de [gij] y por lo tanto, que gλγgγβ = δ βλ , se tiene
∂x β j λ ∂x
β
g λγ eγ = g λγ gγβ e = δ β ej
∂x j ∂x j
∂x λ j
eλ = e (24)
∂x j
CASOS ESPECIALES DE
Análogamente, o bien usando el lema 2, LAS ECS. (31) Y (30) DE
LA SECCIÓN
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 SECCIÓN ANTERIOR ES
g ij = g αβ (26) UN CASO ESPECIAL DE
∂xα ∂x β ESTE RESULTADO.
Que es la ley de transformación para las gij. Análogamente, 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 según la ley
∂x i
v i = vα (27)
∂xα
De igual modo, para un vector en representación covariante , esto es, expresado en términos
de los vectores base recíproco 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 PRÁCTICOS
(
T : x i = x i x1 , x 2 ,..., x n ) COMO EN 3D SE TIENEN N-
CURVAS PARAMÉTRICAS.
(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 transformación ≠ 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 combinación
lineal de los vectores base locales o de los vectores base recíprocos.
De hecho, todos los resultados de la última sección son válidos 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 sección 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
Un tensor ξij ( o bien ξij ) tal que ξij = ξji ( o bien ξij = ξji ) para todos los valores de i
y j se dice que es simétrico. Un tensor ξij ( o bien ξij ) tal que ξij=-ξji ( o bien ξij = -ξji ) se
dice que es antisimétrico ó alternante.
∂ 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 sólo si, tienen el mismo rango y el mismo número 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
número 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, sección 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.
DERIVACIÓN 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 δ
Es posible agregar términos “de corrección “ Cbd a las derivadas parciales ∂ξd/ ∂xb ?
De modo que
∂ξ d
+ Cdb
∂x b
Como ξd entra linealmente en el segundo término de (1), resulta casi obvio que los
términos 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
Las cantidades
1 ⎛ ∂g cb ∂g ac ∂g ab ⎞
Γc , ab = ⎜ − ⎟ (6)
2 ⎝ ∂x a ∂x b ∂x c ⎠
Cuya ley de transformación viene dada por (5), se llaman símbolos de Christoffel
de primera clase. Por el segundo término del segundo miembro en la ecuación de
transformación (5), es obvio que Γc,ab NO ES UN TENSOR .
Por definición, los símbolos 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 ⎛⎜ 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 término de la ecuación 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
DEMOSTRACIÓN
∂ξ 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.