Aplicación de Valores y Vectores Propios a la

Anuncio
Aplicación de Valores y Vectores Propios
a la Geometrı́a Analı́tica
Aplicación de Valores y Vectores Propios
a las Cuádricas
La ecuación general de una cuádrica es de la forma:
ax2 + by 2 + cz 2 + 2dxy + 2exz + 2fyz + gx + hy + iz + j = 0
(1)
donde a, b, · · · , i son números reales, y por lo menos uno de los coeficientes a, b,
c, d, e o f es diferente de cero. Una ecuación de esta forma se denomina ecuación
cuadrática en x, y, z.
La expresión
ax2 + by 2 + cz 2 + 2dxy + 2exz + 2fyz
(2)
se llama forma cuadrática asociada con la ecuación (1)
La ecuación (1) se puede expresar en forma matricial como figura en 1 y 2.

  
 
a
d
e
x
x
x y z ·  d b f  ·  y  + g h i ·  y  + [j] = [0]
(1)
e f c
z
z
XT · A · X + K · X + F = θ


 
a d e
x



donde A = d b f , X = y  , K = g h i
y
e f c
z
(2)
F = [j].
La matriz A se llama matriz de la forma cuadrática.
A es una matriz simétrica, es decir AT = A, este hecho es de gran importancia
para el trabajo de reducción que luego se llevará a cabo.
Los conjuntos de soluciones de las ecuaciones cuadráticas en IR3 si no son vacı́os,
son en general cuádricas de ecuaciones no canónicas. Los ejes de simetrı́a de estas
cuádricas no coinciden con los ejes del sistema de coordenadas determinado por
la base canónica, y el centro de simetrı́a, cuando existe, no siempre coincide con
el origen de coordenadas. Por esta razón no resulta fácil identificar qué cuádrica
representa una ecuación cuadrática determinada.
La presencia de términos que contienen los productos x · y , x · z o y · z en la
ecuación cuadrática, indica que hay rotación con respecto al sistema de coordenadas
determinado por la base canónica.
Además, si en la ecuación aparecen a la vez un término cuadrático y un término lineal en cualquiera de las tres variables (x2, x ó y 2, y o z 2 , z), la cuádrica
está trasladada.
Una técnica para reconocer geométricamente una cuádrica de ecuación no canónica
consiste en construir un nuevo sistema de coordenadas, en el que la ecuación de la
cuádrica está en su forma canónica.
Para la rotación se empleará el concepto de matriz de cambio de base como se
vió en el capı́tulo de Espacios Vectoriales. Para la traslación del origen, cuando
exista se definirá una traslación como se vio en el capı́tulo de Transformaciones
Lineales.
Ejemplo 2
Encontrar la forma canónica de la ecuación de la cuádrica:
J = {(x, y, z) | 2x2 + 2y 2 − 4yz + 2z 2 − y − z = 0}
El procedimiento para obtener la ecuación canónica de la superficie es similar
al seguido para las cónicas.
A continuación se presenta el prodediemiento a seguir.
1. Expresamos la cuádrica en forma matricial:



  
 
2
0
0
x
x








2 −2 · y + 0 −1 −1 · y = [0]
J = (x, y, z) | x y z · 0


0 −2
2
z
z


2
0
0
2 −2  es la matriz de la forma cuadrática
A= 0
0 −2
2
2. Encontramos la matriz P que diagonaliza ortogonalmete a la matriz A.
La matriz A tiene por valores propios a t1 = 2, t2 = 0, y t3 = 4
y los respectivos subespacios propios son:






 




 1 


St1 = SG  0  = SG[β1 ] , St2 = SG 





0








0








1 
√ 
= SG[β2]
2 





1 


√
2


0

















1 


 −√ 
y St3 = SG 
= SG[β3]
2 












 1 






√
2
β = β1 ∪ β2 ∪ β3 es una base ortonormal de M2×1 ,


1 0
0




1
1


√
√
0
−


la matriz que diagonaliza
luego se puede construir P = 
2
2 





1
1 
√
0 √
2
2
ortogonalmente la matriz A.
3. Definimos la rotación de coordenadas
La matriz P hallada es tal que det(P ) = 1, lo que implica que P es una matriz
de rotación.
1 1
1 1
base
Ahora si consideramos α = (1, 0, 0), 0, √ , √ , 0, − √ , √
2 2
2 2
ortonormal de IR3 , se verifica que P es la matriz de cambio de la base α a la
base canónica C de IR3 .
¿Esto qué quiere decir?
 
 0 
x
x
0



Si X = y = [(x, y, z)]C y X = y 0  = [(x0, y 0, z 0 )]α , entonces
z
z0
[(x, y, z)]C = P · [(x0, y 0, z 0)]α, esto es
X = P · X0
Además la base α determina el nuevo sistema de ejes x0 , y 0 , z 0
4. Formulamos la matriz D diagonal semenjante a la matriz A.
La matriz diagonal semejante a la matriz A que se corresponde con la matriz
P anterior es :


2 0 0
D= 0 0 0 
0 0 4
5. Hallamos la expresión de L en el sistema de ejes x0, y 0 , z 0
J =
=
=
=
J =
(P X 0 )T · A · (P X 0 ) + K · (P X 0 ) = θ}
X 0 T · (P T · A · P ) · X 0 + (KP ) · X 0 = θ}
0
X 0T · D · X 0 + K

 = θ}   0 
 0 
2 0 0
x
x

0 0 0 √
0 
0 




x y z · 0 0 0 · y
+ 0 − 2 0 · y
= [0]

z0
0 0 4
z0
√
{(x0, y 0) / 2x0 2 + 4z 02 − 2y 0 = 0}
{(x0, y 0, z 0 ) /
{(x0, y 0, z 0 ) /
0 0 0
{(x
 ,y ,z ) /

(x0, y 0 , z 0)|

Ası́ podemos decir que J es un paraboloide elı́ptico de ecuación canónica
en el sistema de coordenadas cuyos ejes son x0 , y 0 , z 0.
Ingresa a la Figura 3 para apreciar gráficamente lo hallado analı́ticamente.
Descargar