Longitud de arco en forma paramtrica

Sabemos que toda curva regular es rectificable, es decir, admite el clculo de la

longitud de su arco sobre un intervalo real dado. Siendo, por tanto, la representacin
paramtrica regular ([a, b], v (u)) rectificable, se puede obtener la longitud de su arco
sobre el intervalo de definicin [a, b], por




Teorema: Sea ([a, b], v (u)) un arco regular y u
o
perteneciente a [a, b]. Si





Es, para todo u del intervalo [a, b], se cumple que s (u): [a, b] --- [s(a), s (b)] es un
cambio de parmetro admisible de clase r.
En efecto:
a) s (u) es suprayectiva y estrictamente creciente, por tratarse de la integral de una
funcin positiva.
b) La derivada de s con respecto a u es no nula:
Al parmetro s (u) le llamaremos parmetro longitud de arco.


Propiedades del parmetro longitud de arco de curva.

La longitud de arco de curva no se altera cuando se hace un cambio de parmetro
admisible.
En efecto: Sea C la curva de ecuacin
( ) r , el cambio de parmetro dado por
( ) ( ) ( )
0 0
, 0, f f f ' = = = , entonces la longitud de curva en
| |
0
, es:
| | ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) | |
0 0
0 0
0
0
,
,
s r r d r f r f f d
r f f r f f d r r d s






' ' ' ' ' = = =
' ' ' ' ' ' = = =
} }
} }


Para los puntos regulares de la curva, es decir, para los que
( )
0
0 r ' = , se verifica
0
0
ds
d

=
=
En efecto:
Como
( )
0
0 r ' = , derivando la funcin
( ) s y particularizando en el punto
0
queda
( ) ( )
0
0 0
0
ds
r r
d

=
' ' = =

Dos consecuencias importantes de estas dos propiedades son:
Para los puntos regulares existe la funcin inversa de
( ) s s = , es decir una funcin
( ) s = , siendo por tanto posible un cambio de parmetro y expresar la curva
mediante
( ) r s
Tomando como parmetro de la curva el parmetro longitud de arco de curva se
observa que
2
1 1
dr dr dr
ds dr dr
ds ds ds
= = = , es decir el vector
( ) r s ' es un
vector unitario en la direccin del vector tangente, por tanto es el vector tangente
unitario.






Longitud de arco
Dada una curva suficientemente suave (diferenciable y de clase ), en y dado
su vector de posicin expresado mediante el parmetro t;

Se define el llamado parmetro de arco s como:

La cual se puede expresar tambin de la siguiente forma en la cual resulta ms fcil de
recordar

Lo cual permite reparametrizar la curva de la siguiente manera:


Donde


Son las relaciones entre las dos parametrizaciones. Vectores tangente, normal y
binormal: Triedro de Frnet-Serret



Dada una curva parametrizada r (t) segn un parmetro cualquiera t se define el
llamado vector tangente, normal y binormal como:

O bien
o bien
o bien


Estos tres vectores son unitarios y perpendiculares entre s, juntos configuran un
sistema de referencia mvil conocido como Triedro de Frnet-Serret a raz del estudio
de Jean Frenet y Joseph Serret. Es interesante que para una partcula fsica
desplazndose en el espacio, el vector tangente es paralelo a la velocidad, mientras
que el vector normal da el cambio direccin por unidad de tiempo de la velocidad o
aceleracin normal.
Si la curva est parametrizada segn la longitud de arco, como se explic en la
seccin anterior las frmulas anteriores pueden simplificarse notablemente:

Donde los parmetros y anteriores designan precisamente a la curvatura y a la
torsin.

Curvatura y torsin

La curvatura es una medida del cambio de direccin del vector tangente a una curva,
cuanto ms rpido cambia ste a medida que nos desplazamos a lo largo de la curva,
se dice, que ms grande es la curvatura. Para una curva parametrizada cualquiera la
curvatura es igual a:


Si la curva est parametrizada por el parmetro de longitud de arco, la anterior
ecuacin se reduce simplemente a:


Adems de la curvatura se suele definir el llamado radio de curvatura, como el inverso
de la curvatura.
La torsin es una medida del cambio de direccin del vector binormal: cuanto ms
rpido cambia, ms rpido gira el vector binormal alrededor del vector tangente y ms
retorcida aparece la curva. Por lo tanto, para una curva totalmente contenida en el
plano la torsin es nula ya que el vector binormal es constantemente perpendicular al
plano que la contiene. Para el caso general la torsin viene dada por:


Si la curva est parametrizada por el parmetro de longitud de arco, la anterior
ecuacin se reduce a:



Centro de curvatura


Ilustracin de la circunferencia osculatriz en el punto P de la curva C, en la que se
muestra tambin el radio y centro de curvatura.


En un entorno de un punto de una curva puede ser aproximado por un crculo, llamado
crculo osculador por estar contenido en el plano osculador. El radio del crculo
osculador coincide con el radio de curvatura (inverso de la curvatura). El centro de
dicho crculo puede buscarse como:

O ms sencillamente en funcin del parmetro de arco como: