Processing math: 100%

Monday, 13 February 2017

Ser o no ser ... una curva

Supongamos que tenemos un conjunto A  del que creemos que es una curva. Si queremos probar que efectivamente lo es, tenemos que parametrizarlo, es decir,  tenemos que encontrar una curva α cuya traza sea A. Puede suceder que haya también una aplicación β:IR3(R2) cuya imagen es A pero β no es diferenciable, es decir, no es una curva tal como lo tenemos definido.

Un ejemplo es tomar la función valor absoluto. Tomamos el conjunto A={(x,|x|)R2:xR}.


Sea β(t)=(t,|t|), tR. Es evidente que la traza de β es A, pero β es diferenciable excepto en t=0. Por tanto, β no es una curva.

Sin embargo si definimos α(t)={(t4,t4)t0(t4,t4)t0
entonces α es diferenciable (al menos es C4) y su traza es A.

¿Cuál es la diferencia entre α y β? Si hallamos la velocidad de β, entonces no es continua (β no es diferenciable) pues limt0+β(t)=(1,1) y limt0β(t)=(1,1). En verdad, la velocidad es constante en el periodo de tiempo t<0 y constante (pero diferente) cuando t>0. Intuitivamente, vamos recorriendo el conjunto A por la recta y=x a velocidad constante (1,1) y al llegar a t=0 (el punto (0,0)) damos un cambio brusco de velocidad (no continuidad de β(t)), 'giramos' y nos ponemos a velocidad constante a lo largo de la recta y=x.

Para 'solucionarlo', es decir, para encontrar una parametrización (=diferenciabilidad) de A lo que hacemos es que conforme vamos llegando al origen (0,0) por la recta y=x, disminuimos la velocidad (en módulo) hasta hacerla 0 en el origen, 'giramos'  a la recta y=x, y vamos aumentando la velocidad de manera diferenciable. Fijaros que la velocidad a lo largo del conjunto A no es constante sino α(t)={(4t3,4t3)t0(4t3,4t3)t0

No comments:

Post a Comment