Tarea IX - GitHub Pages

7
Tarea IX Rom´ an Contreras 27 de mayo de 2018 0.1. Superficies cuadricas y el teorema espectral para ope- radores autoadjuntos Sea β = { ~ w 1 ,~ w 2 ,~ w 3 } una base ortonormal y T una transformaci´ on lineal. Recordemos que en clase definimos las funciones coordenadas asociadas a la base β como: X :V ec O R ~v 7--→ hv, ~ w 1 i Y :V ec O R ~v 7--→ hv, ~ w 2 i Z :V ec O R ~v 7--→ hv, ~ w 3 i Es decir: X(~v)= hv, ~ w 1 i Y (~v)= hv, ~ w 2 i Z (~v)= hv, ~ w 3 i Al igual que todas las funciones que toman valores reales, las funciones coor- denadas pueden ser sumadas y multiplicadas, tanto unas con otras, como con umeros reales. En particular, expresiones como X 2 + XY ,o XY - YZ , tienen sentido, y definen nuevas funciones que toman valores reales. Definicion 0.1. Una forma cuadr´ atica Q (en tres variables) es una expresi´on de la forma: aX 2 + bXY + cXZ + dY 2 + eY Z + fZ 2 Dicha expresi´on define una funci´on de V ect O en R. Usualmente no haremos distinci´on entre la expresi´on y la funci´on que define. En oacasiones tambi´ en escribiremos Q(~v) para referirnos a (aX 2 + bXY + cXZ + dY 2 + eY Z + fZ 2 )(~v) En clase demostramos la siguiente proposici´ on. Proposicion 0.1. Sea aX 2 + bXY + cXZ + dY 2 + eY Z + fZ 2 una forma cuadr´atica. Entonces existe una transformaci´ on lineal T , que es autoadjunta, y tal que para todo vector ~v se cumple que: 1

Transcript of Tarea IX - GitHub Pages

Page 1: Tarea IX - GitHub Pages

Tarea IX

Roman Contreras

27 de mayo de 2018

0.1. Superficies cuadricas y el teorema espectral para ope-radores autoadjuntos

Sea β = {~w1, ~w2, ~w3} una base ortonormal y T una transformacion lineal.Recordemos que en clase definimos las funciones coordenadas asociadas a la

base β como:

X :V ecO → R~v 7−−→ 〈v, ~w1〉

Y :V ecO → R~v 7−−→ 〈v, ~w2〉

Z :V ecO → R~v 7−−→ 〈v, ~w3〉

Es decir:

X(~v) = 〈v, ~w1〉Y (~v) = 〈v, ~w2〉Z(~v) = 〈v, ~w3〉

Al igual que todas las funciones que toman valores reales, las funciones coor-denadas pueden ser sumadas y multiplicadas, tanto unas con otras, como connumeros reales. En particular, expresiones como X2 +XY , o XY −Y Z, tienensentido, y definen nuevas funciones que toman valores reales.

Definicion 0.1. Una forma cuadratica Q (en tres variables) es una expresionde la forma:

aX2 + bXY + cXZ + dY 2 + eY Z + fZ2

Dicha expresion define una funcion de V ectO en R. Usualmente no haremosdistincion entre la expresion y la funcion que define. En oacasiones tambienescribiremos Q(~v) para referirnos a (aX2 +bXY +cXZ+dY 2 +eY Z+fZ2)(~v)

En clase demostramos la siguiente proposicion.

Proposicion 0.1. Sea aX2 + bXY + cXZ + dY 2 + eY Z + fZ2 una formacuadratica. Entonces existe una transformacion lineal T , que es autoadjunta, ytal que para todo vector ~v se cumple que:

1

Page 2: Tarea IX - GitHub Pages

〈~v, T (~v)〉 = (aX2 + bXY + cXZ + dY 2 + eY Z + fZ2)(~v)

Mas aun, la matrız de la transformacion T en la base β esta dada por:

[T ]β =

a b2

c2

b2 d e

2c2

e2 f

Dada una transformacion lineal y autoadjunta T , a la forma cuadratica que

resulta de la expresion 〈~v, T (~v)〉 le llamaremos la forma cuadratica asociada aT .

Definicion 0.2. Dada una forma cuadratica, Q = aX2 + bXY + cXZ+dY 2 +eY Z+fZ2, la superficie cuadrica asociada a la forma cuadratica es el conjuntode todos los puntos que tales que Q(~v) = 1, es decir:

{~v ∈ V ectO | Q(~v) = 1}

Definicion 0.3. El plano coordenado PX=k con k ∈ R es el plano perpendiculara la recta generada por el vector ~w1 y que intersecta dicha recta en el punto k ~w1.Alternativamente lo podemos describir como el conjunto:

PX=k := {~v | 〈~v, ~w1〉 = k}= {k ~w1 + λ~w2 + µ~w3|λ, µ ∈ R}

Es decir, PX=k es el conjunto de todos los vectores cuya primera coordenada esc.

Analogamente podemos definir los planos PY=k y PZ=k.

Por el teorema espectral, toda forma cuadratica es equivalente a una de laforma aX2+bY 2+cZ2 en alguna base β, por lo que basta clasificar estas formascuadraticas y sus superficies cuadricas asociadas.

Existen tres casos diferentes:

0.2. El caso a, b, c > 0:

Sea Q una forma cuadratica tal que Q(~v) = (aX2 + bY 2 + cZ2)(~v), es decir,su transformacion adjunta asociada T tiene una matrız diagonal con valorespropios a, b, c. Asumamos ademas que todos estos valores propios son positivos.

Ejercicio 0.1. Demuestra que existe una constante K > 0 tal que la intersec-cion de PZ=K con la superficie cuadrica asociada a Q es un punto. Es decir,demuestra que existe un unico vector ~v = x~w1 +y ~w2 +z ~w3 que simultaneamentesatisface 〈~v, ~w3〉 = K y que aX2 + bY 2 + cZ2 = 1.

Ejercicio 0.2. Sea k una constante, demuestra que la interseccion de PZ=k conla superficie cuadrica asociada a Q es:

1. Si |k| > K, entonces es vacıa,

2. si |k| = K, entonces es un unico punto,

3. si |k| < K, entonces es una elipse.

2

Page 3: Tarea IX - GitHub Pages

Figura 1: Planos PZ=k para diferentes constantes k, y sus intersecciones con la

superficie cuadrica dada por x2

5 + 3y2

10 + z2

2 = 1

0.3. El caso a, b > 0 pero c < 0:

Sea Q una forma cuadratica tal que Q(~v) = (aX2 + bY 2 + cZ2)(~v), es decir,su transformacion adjunta asociada T tiene una matrız diagonal con valorespropios a, b, c. Asumamos ademas que a y b son positivos, pero c es negativo.

Ejercicio 0.3. Sea k una constante. Demuestra que la interseccion de PZ=k

con la superficie cuadrica asociada a Q es una elipse para todo k. Demuestraademas que todas estas elipses tienen la misma excentricidad y que la elipse demenor tamano es la correspondiente a la constante k = 0.

Ejercicio 0.4. Demuestra que exite una constante K tal que la interseccion dePY=K con la superficie cuadrica asociada a Q son dos rectas.

Ejercicio 0.5. Sea k una constante, demuestra que la interseccion de PY=k conla superficie cuadrica asociada a Q es:

1. Si |k| > K, una hiperbola, que abre en la direccion del eje z

2. si |k| = K, dos rectas

3. si |k| < K, una hiperbola, que abre en la direccion del eje y.

3

Page 4: Tarea IX - GitHub Pages

Figura 2: Planos PZ=k para diferentes constantes k, y sus intersecciones con la

superficie cuadrica dada por x2

5 + 3y2

10 −z2

2 = 1

4

Page 5: Tarea IX - GitHub Pages

Figura 3: Planos PY=k para diferentes constantes k, y sus intersecciones con la

superficie cuadrica dada por x2

5 + 3y2

10 −z2

2 = 1

5

Page 6: Tarea IX - GitHub Pages

0.4. El caso a > 0 pero b, c < 0:

Sea Q una forma cuadratica tal que Q(~v) = (aX2 + bY 2 + cZ2)(~v), es decir,su transformacion adjunta asociada T tiene una matrız diagonal con valorespropios a, b, c. Asumamos ademas que a es positivo, pero b y c son negativos.

Ejercicio 0.6. Sea k una constante. Demuestra que la interseccion de PZ=k

con la superficie cuadrica asociada a Q es una hiperbola para todo k.

Figura 4: Planos PZ=k para diferentes constantes k, y sus intersecciones con la

superficie cuadrica dada por x2

5 −3y2

10 −z2

2 = 1

Ejercicio 0.7. Demuestra que exite una constante K tal que la interseccion dePX=K con la superficie cuadrica asociada a Q es un punto.

Ejercicio 0.8. Sea k una constante, demuestra que la interseccion de PX=k

con la superficie cuadrica asociada a Q es:

1. Si |k| > K, una elipse.

2. si |k| = K, un punto

3. si |k| < K vacıa.

6

Page 7: Tarea IX - GitHub Pages

Figura 5: Planos PX=k para diferentes constantes k, y sus intersecciones con la

superficie cuadrica dada por x2

5 −3y2

10 −z2

2 = 1

7