(Hace tiempo que quería escribir en el blog sobre las ruletas, pero como ha surgido esta pregunta, escribiré sobre este tema aquí).
Utilizaré la representación paramétrica
$$\begin{pmatrix}2at\\at^2\end{pmatrix}$$
para una parábola que se abre hacia arriba, donde $a$ es la longitud focal, es decir, la longitud del segmento que une el vértice de la parábola y el foco. La función arclength correspondiente a esta parametrización es $s(t)=a(t\sqrt{1+t^2}+\mathrm{arsinh}(t))$ .
user8268 dio una derivación para el caso "cicloidal", y Willie utilizó maquinaria de velocidad unitaria, así que me encargaré de la generalización al "caso trocoidal", donde el punto de trazado no está necesariamente en la circunferencia del círculo rodante.
El comentario de Willie muestra cómo se debe considerar la noción de "rodar" al derivar las ecuaciones paramétricas: una rotación (sobre el centro de la rueda) seguida de una rotación/traslación. La primera clave es considerar que la cantidad de rotación necesaria para que tu "rueda" ruede debe ser equivalente a la arclitud a lo largo de la "curva base" (en tu caso, la parábola).
Empezaré con una parametrización de un círculo de radio $r$ tangente al eje horizontal en el origen:
$$\begin{pmatrix}-r\sin\;u\\r-r\cos\;u\end{pmatrix}$$
Esta parametrización del círculo se diseñó de forma que un valor positivo del parámetro $u$ corresponde a una rotación de la rueda en el sentido de las agujas del reloj, y el origen corresponde al valor del parámetro $u=0$ .
La función arclength para este círculo es $ru$ ; para rodar este círculo, obtenemos la equivalencia
$$ru=s(t)-s(c)$$
donde $c$ es el valor del parámetro correspondiente al punto de la curva base en el que comienza la laminación. Resolviendo para $u$ y sustituyendo la expresión resultante en las ecuaciones del círculo se obtiene
$$\begin{pmatrix}-r\sin\left(\frac{s(t)-s(c)}{r}\right)\\r-r\cos\left(\frac{s(t)-s(c)}{r}\right)\end{pmatrix}$$
Hasta ahora, esto es para el caso "cicloidal", en el que el punto de trazado está en la circunferencia. Para obtener el caso "trocoidal", lo que hay que hacer es sustituir el $r$ multiplicando las funciones trigonométricas por la cantidad $hr$ la distancia del punto de trazado al centro del círculo rodante:
$$\begin{pmatrix}-hr\sin\left(\frac{s(t)-s(c)}{r}\right)\\r-hr\cos\left(\frac{s(t)-s(c)}{r}\right)\end{pmatrix}$$
En este punto, observo que $r$ puede ser una cantidad positiva o negativa. Para su "trocoide parabólico", negativo $r$ corresponde al círculo que rueda fuera de la parábola y positivo $r$ corresponde a rodar por el interior de la parábola. $h=1$ es el caso "cicloidal"; $h > 1$ es el caso "prolato" (punto de trazado fuera del círculo rodante), y $0 < h < 1$ es el caso "curtate" (punto de trazado dentro del círculo rodante).
Eso sólo se ocupa de la rotación correspondiente a "rodar"; para colocar el círculo en la posición adecuada, hay que realizar otra rotación y una traslación. La rotación adicional necesaria es una rotación por el ángulo tangencial $\phi$ donde para una curva representada paramétricamente $(f(t)\quad g(t))^T$ , $\tan\;\phi=\frac{g^\prime(t)}{f^\prime(t)}$ . (En palabras: $\phi$ es el ángulo que forma la tangente de la curva en un determinado $t$ hace con el eje horizontal).
A continuación, sustituimos la expresión por $\phi$ en el en sentido contrario a las agujas del reloj matriz de rotación
$$\begin{pmatrix}\cos\;\phi&-\sin\;\phi\\\sin\;\phi&\cos\;\phi\end{pmatrix}$$
que da como resultado
$$\begin{pmatrix}\frac{f^\prime(t)}{\sqrt{f^\prime(t)^2+g^\prime(t)^2}}&-\frac{g^\prime(t)}{\sqrt{f^\prime(t)^2+g^\prime(t)^2}}\\\frac{g^\prime(t)}{\sqrt{f^\prime(t)^2+g^\prime(t)^2}}&\frac{f^\prime(t)}{\sqrt{f^\prime(t)^2+g^\prime(t)^2}}\end{pmatrix}$$
Para la parábola tal y como la había parametrizado, la matriz de rotación del ángulo tangencial es
$$\begin{pmatrix}\frac1{\sqrt{1+t^2}}&-\frac{t}{\sqrt{1+t^2}}\\\frac{t}{\sqrt{1+t^2}}&\frac1{\sqrt{1+t^2}}\end{pmatrix}$$
Esta matriz de rotación puede multiplicarse por el "círculo transformado" y, a continuación, trasladarse mediante el vector $(f(t)\quad g(t))^T$ resultando finalmente la expresión
$$\begin{pmatrix}f(t)\\g(t)\end{pmatrix}+\frac1{\sqrt{f^\prime(t)^2+g^\prime(t)^2}}\begin{pmatrix}f^\prime(t)&-g^\prime(t)\\g^\prime(t)&f^\prime(t)\end{pmatrix}\begin{pmatrix}-hr\sin\left(\frac{s(t)-s(c)}{r}\right)\\r-hr\cos\left(\frac{s(t)-s(c)}{r}\right)\end{pmatrix}$$
para una curva trocoidal. (Lo que hacen esas dos últimas transformaciones, en palabras, es girar y desplazar el círculo de rodadura adecuadamente de modo que el círculo de rodadura toque un punto apropiado de la curva base).
A partir de esta fórmula, se obtienen las ecuaciones paramétricas del "trocoide parabólico" (con punto de partida en el vértice, $c=0$ ) son
$$\begin{align*}x&=2at+\frac{r}{\sqrt{1+t^2}}\left(ht\cos\left(\frac{a}{r}\left(t\sqrt{1+t^2}+\mathrm{arsinh}(t)\right)\right)-t-h\sin\left(\frac{a}{r}\left(t\sqrt{1+t^2}+\mathrm{arsinh}(t)\right)\right)\right)\\y&=at^2-\frac{r}{\sqrt{1+t^2}}\left(h\cos\left(\frac{a}{r}\left(t\sqrt{1+t^2}+\mathrm{arsinh}(t)\right)\right)+ht\sin\left(\frac{a}{r}\left(t\sqrt{1+t^2}+\mathrm{arsinh}(t)\right)\right)-1\right)\end{align*}$$
Otra generalización a una curva espacial se puede hacer si el círculo rodante no es coplanario a la parábola; dejaré la derivación al lector interesado (pista: girar la ecuación del círculo rodante "transformada" alrededor del eje x antes de aplicar las otras transformaciones).
Ahora, algunas tramas:
Para esta foto, utilicé una distancia focal $a=1$ y un radio $r=\frac34$ (negativo para las "exteriores" y positivo para las "interiores"). Los casos crestado, cicloidal y prolato corresponden a $h=\frac12,1,\frac32$ .
(añadido el 5/2/2011)
Prometí incluir animaciones y código, así que aquí hay un montón de GIFs que había hecho previamente en Mathematica 5.2:
Cicloide parabólico interior, $a=1,\;r=\frac34\;h=1$
Trocoide parabólico interno curtado, $a=1,\;r=\frac34\;h=\frac12$
Trocoide parabólico interno prolato, $a=1,\;r=\frac34\;h=\frac32$
Cicloide parabólico exterior, $a=1,\;r=-\frac34\;h=1$
Trocoide parabólico externo curtado, $a=1,\;r=-\frac34\;h=\frac12$
Trocoide parabólico exterior prolato, $a=1,\;r=-\frac34\;h=\frac32$
Le site Mathematica El código (no optimizado, lo siento) es un poco largo para reproducirlo; los que quieran experimentar con trocoides parabólicos pueden pedirme un cuaderno.
Como extra final, he aquí una animación de un tridimensional generalización del trocoide parabólico prolato:
2 votos
Creo que quieres el círculo oscilante ... es.wikipedia.org/wiki/Círculo_circulante
0 votos
¿estás sugiriendo eso como forma de comparar las curvaturas?.. pero ¿y si está cerca de una de las cúspides donde la cicloide "verdadera" no es diferenciable?
2 votos
Una pregunta reservada al legendario matemático: "¿Cómo se hace eso con un simple $f(x)$ ?"
1 votos
Hice unas cuantas animaciones del "trocoide parabólico" en su día (tanto para el caso del círculo rodando dentro como fuera de la parábola); cuando consiga ver mi Mathematica cuadernos de nuevo, me pondré en contacto contigo.
0 votos
Gracias, J.M. Sería estupendo.