Vous êtes sur la page 1sur 5

Sea

una familia uniparametrica arbitraria de superficies, con parametro


definida por la relacion

(5)

Consideremos tambien la derivada de esta ecuacion con respecto al parametro,

(6)

Supongamos que fijamos el valor del parametro a un cierto


. En este
caso la relacion (6) la podremos escribir alternativamente como

= 0

(7)

g(x,y) =

(8)

y =

(9)

Sustituyendo x y la y procedente de la ecuacion (9) en (5) obtenemos:

(10)

El conjunto
por .

define una curva en R3, a la que denotaremos

Esta curva, evidentemente esta contenida en la superficie

, ya que por

construccion (ecuacion 10) verifica la ecuacion (5) con un valor de

La curva

viene definida explicitamente por las relaciones

,
. Para obtener estas ecuaciones es preciso, sin embargo, poder
despejar explicitamente y de la ecuacion (7), lo cual no siempre es posible. En
este caso es mas conveniente definir la curva
a partir de las ecuaciones
diferenciales que verifica, las cuales se obtienen directamente de las
relaciones (5) y (6) sin mas que tomar diferenciales y poner

. De este

modo se obtiene que las ecuaciones diferenciales que verifica la curva


son:

dz =

(11)

0=

(12)

Tomando, por tanto,

, hemos definido una curva

. Si

tomamos
obtendremos otra curva
. Es decir para cada valor que
asignemos al parametro obtendremos una curva distinta. La union de todas
esas curvas forma la envolvente de la famila

, la cual denotaremos por E.

Observese que esta construccion de la envolvente es equivalente a despejar


de la ecuacion (6),
, y sustituirla en la ecuacion
(5), z=G(x,y,g(x,y)), que es la forma en la que siempre hemos calculado la
envolvente de una familia uniparametrica.

Veamos algunas propiedades de las curvas


que nos seran utiles para
encontrar las primeras ecuaciones del sistema caracteristico asociado a una
e.d.p. de primer orden no lineal.
La curva
esta contenida tanto en la superficie
envolvente E.

como en la

Esto es trivial, por la propia forma en que se ha construido la


envolvente, unido al hecho comentado anteriormente de que
contenida en

esta

Esta propiedad puede expresarse de otro modo diciendo que la


envolvente E toca a la superficie

a lo largo de la curva

El vector normal a la envolvente E en un punto dado de la curva


igual al vector normal a la superficie

es

en ese punto.

Esto es sencillo de demostrar sin mas que calcular el vector


a la envolvente:

normal

, pero como sobre


cualquier punto de la envolvente
que
a

entonces tenemos

, que no es otra cosa que el vector normal


.

Las dos propiedades anteriores pueden resumirse diciendo que la


envolvente E es tangente a la superficie

Algunos ejemplos

a lo largo de la linea

Clasificar la siguiente familia uniparamtrica de cnicas segn los distintos


valores del parmetro real

x2+y2+2xy+2x+y=0.x2+y2+2xy+2x+y=0.
(Propuesto en examen, lgebra, ETS de Ing. de Montes, UPM).
Solucin
La matriz correspondiente a la familia de cnicas dada es:

A=1111/21/20.A=[1111/21/20].
Los invariantes lineal, cuadrtico y cbico son:

s=a11+a22=+1,=A33=1,=detA=(34).s=a11+a22=+1,=A3
3=1,=detA=(34).
Primer caso: >0.>0. Esto ocurre cuando >1.>1. La cnica es de tipo
elptico. Dado que en este caso >0>0 y <0,<0, se verifica s<0s<0 y
por tanto la cnica es una elipse real. Veamos si alguna de estas elipses es
circunferencia. Los valores propios asociados a la cnica son las soluciones de la
ecuacin:

111=2(+1)+1=0.|111|=2(+1)+1=0.
Existe un valor propio doble si y slo si el discriminante (+1)24(1)
(+1)24(1) es nulo. Esto equivale a 22+5=0,22+5=0, ecuacin que
no tiene soluciones reales, es decir no hay circunferencias.
Segundo caso: <0.<0. Esto ocurre cuando <1.<1. La cnica es de tipo
hiperblico.

Es

una

hiprbola

salvo

cuando se

anula

(=0=0 o =3/4=3/4), en los que tenemos pares de rectas reales secantes.


Tercer caso: =0.=0. Esto ocurre cuando =1.=1. La cnica es de tipo
parablico. Adems en este caso 0,0, con lo cual se trata de una parbola.
Agrupando los resultados obtenidos:
Hiprbola: (,0)(0,3/4)(3/4,1).(,0)(0,3/4)(3/4,1).
Rectas reales secantes: =0=3/4.=0=3/4.
Parbola: =1.=1.
Elipse real: (1,+).