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 $\alpha$ cuya traza sea $A$. Puede suceder que haya también una aplicación $\beta:I\rightarrow \mathbb{R}^3 (\mathbb{R}^2)$ cuya imagen es $A$ pero $\beta$ 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|)\in\mathbb{R}^2: x\in\mathbb{R}\}.$$

Sea $\beta(t)=(t,|t|)$, $t\in\mathbb{R}$. Es evidente que la traza de $\beta$ es $A$, pero $\beta$ es diferenciable excepto en $t=0$. Por tanto, $\beta$ no es una curva.

Sin embargo si definimos $$\alpha(t)=\left\{\begin{array}{ll}(t^4,t^4)&t\geq 0\\ (-t^4,t^4)&t\leq 0\end{array}\right.$$
entonces $\alpha$ es diferenciable (al menos es $C^4$) y su traza es $A$.

¿Cuál es la diferencia entre $\alpha$ y $\beta$? Si hallamos la velocidad de $\beta$, entonces no es continua ($\beta$ no es diferenciable) pues $\lim_{t\rightarrow 0^+}\beta'(t)=(1,1)$ y $\lim_{t\rightarrow 0^-}\beta'(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 $\beta'(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 $$\alpha'(t)=\left\{\begin{array}{ll}(4t^3,4t^3)&t\geq 0\\ (-4t^3,4t^3)&t\leq 0\end{array}\right.$$

¿Qué es parametrizar una curva? III

Vamos a parametrizar una circunferencia sin que la aplicación sea diferenciable o incluso, sin ser continua. Concretamos la pregunta. Tomamos el conjunto $C=\{(x,y)\in\mathbb{R}^2: x^2+y^2=1\}$ que representa una circunferencia de radio $1$ centrada en el origen de coordenadas de $\mathbb{R}^2$.

Pregunta: Hallar una aplicación $\alpha:I\subset \mathbb{R}\rightarrow\mathbb{R}^2$ que no sea diferenciable y cuya imagen $\alpha(I)$ es $C$.

Dicha aplicación sería una parametrización de $C$ pero no es una curva en el sentido que le hemos dado a la asignatura. Sabemos que todo punto  $p\in C$ es de la forma $p=(\cos(t(p)),\sin(t(p)))$ para algún número real $t(p)$. Observemos que para dicho $t(p)$, también tenemos $p=(\cos(t(p)+2\pi),\sin(t(p))+2\pi)$. Lo que estamos preguntando es por una manera de elegir $t(p)$ sin que sea diferenciable. Por ejemplo, si tomamos $t\mapsto (\cos(t),\sin(t))$ entonces dicha aplicación es diferenciable.

Vamos a tomar $I=\mathbb{R}$. Entonces para cualquier aplicación $\varphi:\mathbb{R}\rightarrow\mathbb{R}$ cuya imagen contenga al intervalo $[0,2\pi]$, tenemos que $\alpha(t)=(\cos(\varphi(t)),\sin(\varphi(t)))$ es una aplicación cuya imagen es $C$. Basta tomar entonces una aplicación $\varphi$ que no sea diferenciable, por ejemplo, $\varphi(t)=|t|$. Así la respuesta es $\alpha(t)=(\cos(|t|),\sin(|t|))$. Os dejo que probéis que $\alpha$ no es diferenciable en $t=0$. Ojo: que la aplicación $t\mapsto |t|$ no sea diferenciable  y $t\mapsto\cos$ sea diferenciable no implica que la composición de ambos no sea diferenciable.

Para acabar con esta entrada, hacemos la siguiente

Pregunta: Hallar una aplicación $\alpha:I\subset \mathbb{R}\rightarrow\mathbb{R}^2$ que no sea continua y cuya imagen $\alpha(I)$ es $C$.

Haciendo un razonamiento parecido al de antes, la aplicación
$$\varphi(t)=\left\{\begin{array}{ll} t& t\leq 0\\ t+1  & t > 0\end{array}\right.$$
no es continua en $t=0$, $\alpha(t)=(\cos(\varphi(t)),\sin(\varphi(t)))$  no es continua pero $\alpha(\mathbb{R})=C$.

¿Qué es parametrizar una curva? II

Otra manera de definir una curva es mediante una 'propiedad'. Por ejemplo, una circunferencia de radio $1$ y centrada en el origen es el conjunto de puntos del plano que distan de $O$ una distancia igual a $1$.  Observemos que, de nuevo, la curva se define como un conjunto de puntos (en este caso, un subconjunto del plano) ¿Qué significa parametrizar esta curva? Encontrar una aplicación diferenciable $\alpha=\alpha(t)$ cuya imagen es el conjunto. Observemos que puede haber muchas maneras de parametrizar dicho conjunto, es decir, diferentes aplicaciones cuya imagen es el mismo conjunto. En este caso, el conjunto es $C=\{(x,y):x^2+y^2=1\}$.

Otro ejemplo es la cicloide: es la traza de un punto dado de una circunferencia dada apoyada en una recta dada, cuando rodamos (sin deslizarse) dicha circunferencia en una dirección de la recta.

Podéis ver la cicloide con la circunferencia deslizándose en https://es.wikipedia.org/wiki/Cicloide
¿Qué significa parametrizar la cicloide? Encontrar una aplicación diferenciable $\alpha=\alpha(t)$ cuya imagen es la traza del punto $p$ a lo largo del movimiento dado.

¿Cuál es el primer y principal problema? Elegir adecuadamente el parámetro $t$.

Un segundo problema es 'fijar la circunferencia y las coordenadas' para posteriormente decir algo del tipo "sin perder generalidad podemos suponer..."

En este caso, y sin perder generalidad, podemos suponer que la circunferencia es de radio $r>0$ y apoyada sobre la recta $y=0$. Supongamos que su centro es, un momento dado, el punto $(0,r)$ y el punto que fijamos es $p=(0,0)$, en dicho momento. Suponemos que la circunferencia se recorre hacia la derecha. El parámetro $t$ es el ángulo respecto del radio vertical hacia abajo desde el centro que ha recorrido $p$. Para calcular las coordenadas, primero lo hacemos desde el centro de la circunferencia, donde el ángulo del punto es $3\pi/2-t$ (el menos es porque se recorre a la derecha). Entonces las coordenadas respecto del centro de la circunferencia son $(r\cos(3\pi/2-t),r\sin(3\pi/2-t)$, es decir, $(-r\sin(t),-r\cos(t))$. Y ahora lo hacemos respecto del origen de $\mathbb{R}^2$ sin más que sumar las coordenadas del centro de la circunferencia: la abcisa es la distancia recorrida que es justo $rt$ y la ordenada es $(0,r)$. Por tanto
$$\alpha(t)=(rt,r)+(-r\sin(t),-r\cos(t))=r(t-\sin(t),1-\cos(t)),\ t\in\mathbb{R}.$$
Para $r=1$, un dibujo es

En azul tenemos la circunferencia que rueda, y en verde, el movimiento del punto $(0,0)$ cuando $t\in [0,2\pi]$.

¿Qué es parametrizar una curva?

Una curva en $\mathbb{R}^n$ ($n=2,3$) es una aplicación diferenciable $\alpha:I\subset \mathbb{R}\rightarrow \mathbb{R}^n$. Si escribimos $\alpha(t)=(x(t),y(t),z(t))$ con $t\in I$, estamos escribiendo cada una de las coordenadas en función del parámetro $t$. Por esta razón podemos abusar del lenguaje diciendo que $\alpha$ es una parametrización de la curva.

Una curva puede venir  'definida' de varias formas, aparte de la parametrización de la misma, es decir de la aplicación $\alpha$. Por ejemplo, dando una relación entre las (funciones) coordenadas de $\alpha$. Este es el ejemplo de una circunferencia: $x^2+y^2=1$. Con esta igualdad estamos diciendo que si $\alpha$ es la circunferencia anterior, entonces $x(t)^2+y(t)^2=1$. Observemos que podemos escribir dicho conjunto como $C=\{(x,y)\in \mathbb{R}^2:x^2+y^2=1\}$ y por tanto no es una curva, es un conjunto y no es una aplicación. Lo que estamos diciendo es que la traza de la curva, es decir, la imagen de la misma ($\alpha(I)$) es $C$. En este caso parametrizar $C$ es encontrar la curva $\alpha$ cuya imagen es $C$.

Solución: llamando $x=t$, entonces $y=\sqrt{1-t^2}$ o $y=-\sqrt{1-t^2}$ donde $I=(-1,1)$. Entonces, y en el primer caso, $\alpha(t)=(t, \sqrt{1-t^2})$. Observando la segunda coordenada, tenemos que la traza de $\alpha$ no es todo $C$, sino sólo la semicircunferencia superior. Para la parte de abajo, cogemos $\beta(t)=(t, -\sqrt{1-t^2})$.  Como la función raíz cuadrada no es diferenciable en $0$, la traza de $\alpha$ y de $\beta$ no rellena todo $C$, pues faltarían los puntos $P=(1,0)$ y $Q=(-1,0)$. Para ello tomamos $y=t$ y definimos $\gamma(t)=(\sqrt{1-t^2},t)$ que cubriría $P$ y $\sigma(t)=(-\sqrt{1-t^2},t)$ que cubriría $Q$. Resumiendo, hemos parametrizado $C$ mediante cuatro curvas.

Otra manera de resolver el problema es usando que para todo par  $(x,y)$ del plano que satisface $x^2+y^2=1$, existe $z$ tal que $\cos(z)=x$ y $\sin(z)=y$. Para cada $x$ e $y$, hay un $z$ y el  problema para poder parametrizar todo $C$ es si es posible elegir ese $z$ de manera diferenciable. La respuesta es sí sin más que tomar $\alpha(t)=(\cos(t),\sin(t))$ y $t\in \mathbb{R}$.