Beruflich Dokumente
Kultur Dokumente
Funciones
vectoriales
INDICE
En este punto veremos que una curva en el plano o en el espacio se define a travs de ecuaciones
paramtricas, y que podemos pensar a una curva como la trayectoria que sigue una partcula en movimiento.
1.1 Introduccin
En la Geometra elemental se estudian curvas simples: rectas y segmentos de rectas, circunferencias y
sectores circulares. Ms tarde se estudian las secciones cnicas pero queda an el problema del estudio de curvas
en general.
En la vida prctica y en la naturaleza encontramos constantemente curvas de muchas formas: la trayectoria de
un planeta en el espacio, de una nave en el mar, de un proyectil en el aire, la huella de un cincel en el metal, de
una rueda en el pavimento, la forma de una cuerda colgante, el perfil de un dibujo artstico, la forma de un rbol
de levas que gobierna las vlvulas de un motor, la forma de un muelle espiral, etc.. Ejemplos como estos son
interminables.
Los mtodos para la elaboracin de productos, las propiedades pticas de diversos objetos, las lneas de
corriente de los cuerpos, la rigidez o deformabilidad de lminas delgadas, etc., dependen en gran medida de la
forma geomtrica de los objetos. En una primera aproximacin, los objetos reales pueden ser representados por
curvas matemticas, que son aquellas en las que se hace abstraccin del espesor. Las definiciones exactas de
estas curvas no son sencillas y pertenecen a una rama de las matemticas llamada Topologa.
Es muy conveniente representar a una curva como la traza del movimiento continuo de un punto material.
Naturalmente, la curva puede haber sido generada de otra manera pero nos conviene mucho pensarla siempre
como la trayectoria de un punto que se mueve sobre ella.
-1-
Curso: Angel Balderas Puga
Despus de nuestro anlisis, llegamos a las ecuaciones: x(t) = r cos t, y(t) = r sen t, y z(t) =ct (5)
En el caso en que r=1, c=1 y =1, obtenemos el caso particular de una hlice con ecuaciones ms simples:
x(t) = cost, y(t) = sent y z(t)=t (6)
Finalmente, consideremos un tercer ejemplo: el movimiento de una rueda de radio r que gira con una
velocidad angular constante y que avanza en la direccin del movimiento (este sera, por ejemplo, el caso de la
llanta de un automvil). Consideremos una partcula que se halla en el extremo de la rueda, la partcula al mismo
tiempo que recorre una circunferencia, avanza en la direccin del movimiento. La curva as descrita recibe el
nombre de cicloide.
-2-
Unidad 2: Funciones vectoriales
En el caso en que r=1 y =1, obtenemos el caso particular de una cicloide con ecuaciones ms simples:
x(t) = t sent y y(t) = 1 cost (8)
En las ecuaciones (2), x0, y0, z0, a, b y c son constantes; en las ecuaciones (3), r, y c son constantes; en las
ecuaciones (11) a es constante; en las ecuaciones (5), r, y c son constantes; y en las ecuaciones (7) r y son
constantes. As, en estos grupos de ecuaciones, x, y y z dependen de la variable t, es decir, que cada componente
de los puntos de la curva, depende del valor de t por lo que podemos pensar esas ecuaciones como funciones
reales.
Los anteriores anlisis se pueden extender para cualquier curva: Se fija un sistema de coordenadas cartesianas en
el plano o en el espacio y se supone que un punto mvil recorre la curva desde un instante t=a hasta un instante
t=b, entonces las coordenadas de ese punto mvil vienen dadas por las funciones del tiempo x=x(t), y=y(t) y
z=z(t). Recprocamente, dadas inicialmente las funciones x(t), y(t) y z(t), podemos servirnos de ellas para definir
las coordenadas de un punto mvil que describa alguna curva.
En consecuencia, las curvas en el espacio pueden venir dadas por tres ecuaciones de la forma
x = x(t) y = y(t) y z = z(t) (9)
Anlogamente, una curva plana est definida por dos ecuaciones:
x = x(t) y y = y(t) (10)
Esta es la manera ms general de definir curvas. Estas ecuaciones se dicen ECUACIONES paramtricas
de la curva dada y t se dice PARMETRO y lo podemos pensar siempre como el tiempo aunque en realidad el
parmetro puede representar otra cosa: un ngulo , una longitud s, etc.
En general, cualquier funcin de una variable f(x) se puede parametrizar mediante las ecuaciones
paramtricas x(t)=t y y(t)=f(t).
Figura 7: parbola
As como algunas curvas se describen ms fcilmente en coordenadas polares que en coordenadas
rectangulares, otras curvas se describen de una manera ms sencilla usando ecuaciones paramtricas y para
algunos anlisis que usaremos posteriormente ser muy cmodo usarlas.
-3-
Curso: Angel Balderas Puga
Otras curvas que se describen de manera sencilla usando ecuaciones paramtricas son:
Tabla 1
curva ecuaciones
Elipse con centro en el origen t y y(t)=bsen
x(t)=acos t
Astroide x(t)= a cos3 t y y(t)= a sen3 t
Evoluta de la elipse x(t)= a cos3 t y y(t)= b sen2 t
Trocoide bsent y y(t)= r
x(t)= rt bcost
En realidad un nombre ms exacto es el de funciones de dominio real con valores vectoriales pero este
nombre es demasiado largo para un uso corriente por lo que usaremos el de la definicin. Para diferenciar las
nuevas funciones de las de Clculo I, a aquellas les llamaremos "funciones reales", y de hoy en adelante en esta
unidad, cuando digamos funcin, debes entender que se trata de una funcin vectorial.
Se acostumbra representar la variable independiente de estas funciones con la letra t en vez de la letra x; la
razn de esto es que en la mayora de las aplicaciones el dominio ser un intervalo del tiempo. Las funciones
vectoriales las representaremos por letras maysculas F, G, H, etc. y las reales (como antes) por minsculas f, g,
h, etc.
A cada funcin vectorial F, le corresponden tres funciones reales f1, f2 y f3, en efecto, a cada nmero t en el
dominio de F, f1(t), f2(t), f3(t) representan a las componentes de F(t), dichas funciones se dicen funciones
componentes de F y en ese caso escribimos F(t)=(f1(t), f2(t), f3(t)). Es posible que F(t) tenga slo dos funciones
componentes, esto sucede cuando a cada t se le asigna un vector del plano.
A menos que se indique lo contrario, cuando una funcin vectorial F est dada por sus funciones
componentes, el dominio de F consiste de todos los nmeros para los que cada una de las funciones
componentes tiene sentido en R (!igualito que en Clculo I!). Es decir, DF es la interseccin de los dominios de
cada funcin componente.
-4-
Unidad 2: Funciones vectoriales
Observa que en la definicin anterior se definieron dos productos porque tenemos dos productos entre
vectores, que no se defini una divisin porque no est definida la divisin entre vectores y que se defini la
nica composicin posible. Observa tambin que FG R mientras que F GR .
3
El dominio de la funcin resultante es el conjunto de valores para los que tienen sentido las partes derechas
de las igualdades.
Al igual que en Clculo I, los lmites no los calculamos usando la definicin. El siguiente teorema es muy til
pues nos dice que podemos calcular el lmite de F(t) determinando los lmites de sus funciones componentes.
El teorema anterior tambin nos proporciona una forma fcil de obtener frmulas para las operaciones con
lmites.
COROLARIO 1.1 (operaciones con limites)
Sean F y G funciones vectoriales y f y g funciones reales. Supongamos que existan lim F(t), lim G(t), lim f(t) y
t t0 t t0 t t0
que lim g(s)=t0. Entonces:
s s0
G)(t) = lim F(t) lim G(t)
a) lim (F b) lim (FG)(t) = lim F(t) lim G(t)
t t0 t t0 t t0 t t0 t t0 t t0
Es decir, el lmite de una suma es la suma de los lmites, el lmite de un producto escalar es el producto
escalar de los lmites, etc. estas propiedades son tiles para demostrar otras propiedades pero NO son tiles para
llevar a cabo el clculo del lmite, en este caso es mucho ms sencillo primero realizar la operacin respectiva y
luego calcular el lmite de la funcin resultante componente a componente.
Al igual que en Clculo I, podemos extender la definicin de lmite para hablar de lmites unilaterales o de
lmites al infinito. Esto lo haremos de la forma ms natural (la sugerida por el teorema 1).
-6-
Unidad 2: Funciones vectoriales
En la definicin anterior hay un abuso de notacin para sealar que este tipo de lmites se calculan de la
misma manera que la indicada en el teorema 1. De hecho, la definicin anterior puede hacerse en trminos de y
luego se demuestra que esos lmites se pueden calcular con las funciones componentes, el ahorrarnos ese
trabajo es la razn de haber definido directamente los lmites en trminos de los lmites respectivos de las
funciones componentes.
NOTA:
y lim F(t)=
No tienen sentido las siguientes escrituras: lim F(t)= , en ese caso decimos que el limite no existe.
t t0 t
Observa que esta definicin es la misma que se utiliza en Clculo I. Al igual que en el caso de los lmites, la
continuidad de una funcin vectorial depende de la continuidad de sus funciones componentes como seala el
siguiente teorema:
Al igual que en el caso de las funciones reales, la continuidad se preserva despus de ciertas operaciones y
esto no es ms que una consecuencia del teorema anterior:
3. DERIVADAS E INTEGRALES
No s si ya te diste cuenta de la enorme importancia que juegan las funciones componentes de una funcin
vectorial. Las funciones componentes al ser reales, nos permiten trasladar la teora que tenemos de Clculo I a
las funciones vectoriales, as calcular el lmite de una funcin vectorial se reconduce a calcular el lmite
respectivo de sus funciones componentes, verificar la continuidad de una funcin vectorial se reconduce a
verificar la continuidad de cada funcin componente.
En este punto vamos a ver como tambin podemos calcular derivadas e integrales de funciones vectoriales
calculando las respectivas derivadas e integrales de sus funciones componentes.
-7-
Curso: Angel Balderas Puga
DEFINICION 7 (derivada)
F( t ) F( t 0 )
Dada una funcin F definida en un intervalo I y t0I, si existe lim , se dice que F es DERIVABLE
t t0 t t0
en t0, el lmite dado se dice la DERIVADA de F en t0 y en ese caso escribimos:
F( t ) F( t 0 )
F(t0) = lim (14)
t t0 t t0
F se dice DERIVABLE EN UN INTERVALO I si es derivable en cada punto de ese intervalo. F se dice
DERIVABLE si es derivable en su dominio.
Al igual que en Clculo de una variable, existen para las funciones vectoriales, reglas de derivacin para las
operaciones con funciones, estas reglas son similares a las que ya conoces para funciones reales y las
enunciamos en el siguiente teorema.
Para calcular la derivada de una operacin, NO se usan las frmulas del teorema 4, al igual que en el caso de
los lmites es mucho ms sencillo realizar primero la operacin y luego derivar usando el teorema 3. En el caso
de usar la frmula 4 se debe poner atencin a usarla tal como est indicada ya que recuerda que el producto cruz
no es conmutativo.
-8-
Unidad 2: Funciones vectoriales
Hay una consecuencia de este teorema que ser de particular importancia cuando
analicemos la interpretacin geomtrica de las funciones vectoriales y de sus
operaciones.
COROLARIO 4.1 (relacin entre una funcin y su derivada)
Dada una funcin vectorial F, definida en un intervalo I, si su norma es constante, es
R), entonces:
decir, si F =c (con c
F(t)F(t) = 0 Figura 10
'
F(t) F(t)
El teorema anterior es aplicable a cualquier vector unitario, por lo que es perpendicular a .
F(t) F(t)
El siguiente teorema es anlogo a uno que ya conoces para las funciones reales y que relaciona la derivada
con la continuidad.
Al igual que con las funciones reales, se puede hablar para las funciones vectoriales de derivadas de orden
superior (segunda derivada, tercera derivada, etc.) aunque nos concretaremos al caso de la segunda derivada que
es la que tiene un significado fsico interesante.
Podemos definir la integral de una funcin vectorial en trminos de sumas de Riemann y luego demostrar que
la integral se puede calcular en base a las integrales respectivas de las funciones componentes, para simplificar
definiremos la integral directamente en trminos de las funciones componentes.
DEFINICION 9 (integral)
Dada F(t)=(f1(t), f2(t), f3(t)), donde f1(t), f2(t) y f3(t) son continuas en el intervalo [a,b]. Entonces la INTEGRAL
a F(t) dt y la INTEGRAL INDEFINIDA F(t) dt, se definen de la siguiente manera:
b
DEFINIDA
a F(t) dt = a f 1 ( t ), f 2 ( t ), f 3 ( t )
b b b b
(17)
a a
El siguiente teorema nos da algunas propiedades de la integral que son consecuencia inmediata del Teorema
Fundamental del Clculo para funciones reales y que de la misma manera, relacionan derivadas con integrales:
-9-
Curso: Angel Balderas Puga
- 10 -
Unidad 2: Funciones vectoriales
4. GEOMETRIA DIFERENCIAL
En la Geometra elemental no hay nada sobre curvas arbitrarias, en la Geometra analtica hay ya algo, pero
este estudio se restringe al uso de los mtodos del lgebra y de la Geometra elemental. En cambio, el estudio
general de curvas forma parte de una rama de las matemticas llamada GEOMETRIA DIFERENCIAL. Esta
rama usa como instrumento primordial al clculo diferencial y estudia las "propiedades diferenciales" de las
curvas, es decir, sus propiedades locales. As, la direccin de una curva en un punto, est dada por su tangente
en ese punto; la medida en que est plegada, est dada por la curvatura; y la medida en que se mueve a travs de
diferentes planos, est dada por la torsin. Se estudian pequeos segmentos de curva y slo ms adelante se
estudian las propiedades "globales" aunque ese estudio se sale del alcance de este curso.
El desarrollo de la Geometra Diferencial est inseparablemente ligado al del Anlisis. Las operaciones
bsicas del Anlisis: derivacin e integracin tienen un significado fsico inmediato. As como en Anlisis se
estudian funciones arbitrarias, en Geometra diferencial se estudian curvas arbitrarias.
En el Anlisis, el primer objeto de estudio, es el recorrido general de una curva en el plano, sus elevaciones y
depresiones, su mayor o menor curvatura, sus concavidades, sus intervalos de monotona, sus puntos de
inflexin, etc. Es decir, es muy estrecha la relacin entre Anlisis y curvas.
Hacia el siglo XVIII, el Clculo diferencial e integral estaba ya bastante desarrollado como para permitir una
ms profunda aplicacin a la Geometra. Los problemas de las curvas en el espacio son mucho ms ricos en
contenido de los problemas respectivos de las curvas planas, pero bien rpido estos problemas fueron mucho
ms all de una simple aplicacin del Anlisis a la Geometra y formaron una teora independiente entre cuyos
principales fundadores se puede mencionar a Euler, Monge, y Clairaut. Mucho inters provoc la Geometra
diferencial debido sobre todo a los requerimientos de la mecnica, la fsica y la astronoma, es decir, de la
tecnologa y la industria para los que los resultados de la Geometra elemental eran evidentemente insuficientes.
Leonhard Euler (1707-1783) Gaspard Monge (1746-1818) Alexis Clairaut (1713-1765) Gaston Darboux (1842-1917)
A finales del siglo XIX, estaba ya consolidada la Geometra diferencial "clsica", los resultados de esta parte,
fueron compendiados por Darboux en 4 libros (1887-1897). An hoy se estudia la parte "clsica" (que es lo que
haremos nosotros) aunque la mayor parte del estudio de la Geometra diferencial est encaminada hacia otras
direcciones en las que las figuras estudiadas son siempre ms amplias.
En la Geometra diferencial de curvas planas existen tres conceptos bsicos: longitud, tangente y curvatura.
Para las curvas en el espacio existen adems el plano osculador y la torsin. Vamos ahora a analizar el sentido y
significado de estos conceptos recordando que en el punto anterior vimos que una curva estar asociada a una
funcin vectorial.
- 11 -
Curso: Angel Balderas Puga
Para funciones reales, podemos construir la funcin vectorial F(t)=(t, f(t)) y entonces la frmula de la definicin
11 se transforma en la siguiente frmula:
a
b
s= 1 + ( f ' ( t )) 2 dt (31)
t
NOTA: Si en la igualdad s(t)= a
|| F'(u)|| du aplicamos el Teorema Fundamental del Clculo, obtenemos la
siguiente igualdad que nos ser muy til en el futuro:
ds
=|| F'(t)|| (33)
dt
En la era preinformtica, el clculo efectivo de la longitud por medio de estas frmulas no siempre era
sencillo, ahora con el uso de software podemos calcular muchas integrales definidas por lo que el problema del
calculo se simplifica. Sin embargo debes observar que las frmulas matemticas son tiles para algo ms que
para hacer simples clculos: son un breve enunciado de teoremas que establecen conexiones entre diferentes
entes matemticos. El significado terico de tales conexiones puede superar con mucho el valor "computacional"
de la frmula.
- 12 -
Unidad 2: Funciones vectoriales
Consideremos una curva C definida por una funcin F en un intervalo I, sea t0I nos interesa determinar la
tangente a C en el punto F(t0).
Al igual que en el caso de las funciones reales, y como ya lo hicimos cuando obtuvimos una interpretacin
geomtrica de la derivada (ve la grfica respectiva), consideramos un punto suficientemente cercano a F(t0),
digamos F(t0+h), entonces F(t0+h) F(t0) es un vector secante a C, si hacemos tender h a cero, este vector secante
tiende a ser un vector tangente, de donde si existe el lmite adecuado, F(t0) ser uno de los tantos vectores
tangentes a C en el punto F(t0).
Ahora, recuerda que una recta en el espacio queda determinada por un punto y su vector de direccin por lo
que en realidad, da lo mismo tomar cualquiera de los vectores tangentes, la eleccin ms natural es la de tomar el
vector unitario en la direccin de F(t0) y llegamos as a la siguiente definicin:
Si F(t0) =0, definimos T(t0)= lim T(t) en el caso de que este lmite exista.
t t0
As, para encontrar la ecuacin de la recta tangente a la curva C en el punto F(t0), basta tomar como vector de
direccin a F(t0).
Otra cosa importante de hacer notar para el vector tangente T, es que T lleva la misma orientacin que la
curva C.
4.2.2 Vector normal
En Clculo I adems de la recta tangente, se defini la recta normal. Esta ltima es una recta perpendicular a
la tangente en el punto de tangencia. Queremos extender esta definicin para el caso de curvas en el espacio y
hablar de un vector normal.
- 13 -
Curso: Angel Balderas Puga
As, si una curva es cncava hacia arriba, entonces N(t) apunta hacia arriba y si cncava hacia abajo, entonces
N(t) apunta hacia abajo.
4.2.3 Componentes tangencial y normal de la aceleracin
En esta parte, aplicaremos los conceptos relativos a la curvatura al estudio del movimiento.
Recordemos que dada una curva C, los vectores T y N son perpendiculares en todos los puntos de C por lo
que de la unidad anterior, cualquier vector u en el plano definido por T y N se puede descomponer como la suma
de vectores paralelos a T y N:
u = uT T + uN N (38)
uT y uN se dicen componentes tangencial y normal de u, respectivamente.
Supongamos que una partcula se mueve a lo largo de una curva C, probaremos que los vectores velocidad y
aceleracin quedan en el plano definido por T y N y posteriormente hallaremos las componentes tangencial y
normal de la aceleracin.
Resumimos nuestro anlisis en el siguiente teorema:
- 14 -
Unidad 2: Funciones vectoriales
- 15 -
Curso: Angel Balderas Puga
4.4 Curvatura
Para poder juzgar si un camino, una varilla delgada o una lnea de un dibujo est ms o menos curveado no es
necesario estudiar matemticas. Pero incluso para los problemas ms simples de mecnica, una mirada casual no
es suficiente; necesitamos una exacta descripcin cuantitativa de la curvatura. Esta se obtiene, dando expresin
precisa a nuestra impresin intuitiva de la curvatura, como la rapidez de cambio de direccin de la curva.
Ahora, cmo podemos medir el cambio de direccin de una curva?, !utilizando el vector tangente!. En
efecto, para una curva que no sea una lnea recta, es decir, que no tenga una direccin en el sentido elemental, se
puede definir su direccin en cada punto como la direccin del vector tangente en ese punto. De este modo, se
ampla notablemente el concepto de direccin, dndole un significado que previamente no tena. Este nuevo
concepto de direccin refleja la naturaleza real del movimiento a lo largo de una curva; en cada instante el punto
se mueve en alguna direccin definida, que vara continuamente. Busquemos ahora una frmula que nos mida la
curvatura.
Consideremos una
curva C, y observemos
el cambio de direccin
del vector tangente T en
cada uno de sus puntos.
Si C es una lnea recta,
la direccin de T es
constante;
Figura 18
Figura 19 Figura 20
si C es una curva suave, T cambia de direccin suavemente y si C es una curva con partes muy curvadas,
entonces T cambia de direccin rpidamente en esas partes.
Lo anterior nos sugiere que podemos medir la curvatura a travs de la tasa de cambio del vector tangente con
respecto a la distancia recorrida, es decir con ||dT/ds||.
Despus de nuestro anlisis llegamos a la frmula buscada, la que damos en la siguiente definicin:
DEFINICION 14 (curvatura)
Sea una curva C definida por la funcin F en un intervalo I y un punto t0I. Si existe F(t0), la CURVATURA
k(t0) en el punto F(t0), se define de la siguiente manera:
T '( t 0 )
k(t0) = (45)
F '( t 0 )
T '( t )
En general, t
I, tendramos: k(t) = (46)
F '( t )
T'
en el caso de que la posicin de una partcula est dada por una funcin r(t),: k(t) =
v
Observa que la curvatura es un nmero no negativo. Es posible que k(t) sea cero en un punto o en muchos
puntos; en efecto, la curvatura de un segmento recto es cero en todos sus puntos.
La frmula para hallar la curvatura, dada en la definicin anterior, a veces es latosa (por las operaciones que
involucra), alternativamente, podemos usar la siguiente frmula:
TEOREMA 8
Sea una curva C definida por la funcin F en un intervalo I. Si existe F(t) t
I, entonces la CURVATURA
k(t) en el punto F(t), est dada por:
F '( t ) F "( t )
k(t) = 3 (47)
F '( t )
- 16 -
Unidad 2: Funciones vectoriales
v a
en el caso de que la posicin de una partcula est dada por una funcin r(t): k(t) = 3
(48)
v
El teorema anterior nos proporciona otras frmulas para el caso de curvas del plano.
COROLARIO 7.1
Sea una curva C del plano definida por la funcin F(t)=(x(t), y(t)) en un intervalo I. Si existe F(t) t
I,
entonces la CURVATURA k(t) en el punto F(t), est dada por:
x' y" x" y'
[ ]
k(t) = 3/ 2
(49)
( x' ) 2 + ( y' ) 2
COROLARIO 7.2
Sea una curva C del plano definida por la funcin y=f(x) en un intervalo I. Si existe f(x) x
I, entonces la
CURVATURA k(x) en el punto f(x), est dada por:
y"
[ ]
k(x) = 3/ 2
(50)
1 + ( y' ) 2
Determinemos ahora la curvatura de un crculo de radio r y observamos que k(t)=1/r t, es decir, la curvatura
de un crculo es constante pues no depende de t. Entre ms grande sea el crculo, ms pequea ser su curvatura
en cada uno de sus puntos, esto explica porque durante tanto tiempo se crey errneamente que la tierra era
plana: su gran radio hace imperceptible su curvatura para cualquiera que se halle en su superficie.
Dado que la curvatura de un crculo de radio r es 1/r, es decir, k(t) y r son recprocos, podemos extender esta
relacin para dar las siguientes definiciones:
La circunferencia de la definicin anterior, tiene la propiedad de tener la misma recta tangente que C en P (su
centro se halla en el lado cncavo de C).
En las siguientes grficas se dibuj la funcin f(x)=x2 con sus crculos osculadores en los puntos x=0, x=1 y
x=2 (observa como aumenta el radio del crculo a medida que disminuye la curvatura).
- 17 -
Curso: Angel Balderas Puga
4.5 Torsin
Habamos ya comentado que el concepto de torsin es
importante en el anlisis de las curvas en el espacio,
intuitivamente, la torsin nos indicara que tan "torcida" est la
curva y debemos buscar la manera de medir esto. La torsin
aparece cuando una curva no est totalmente contenida en un solo
plano en ese caso los vectores T y N van recorriendo planos
distintos aunque mantienen la perpendicularidad entre ellos, las
variaciones de la curva las podemos medir entonces por la
variacin del plano osculador o equivalentemente por la
variaciones del vector binormal B por lo que la torsin ir
relacionada con ||dB/ds||. Despus de un breve anlisis podemos
dar la siguiente definicin: Figura 22: plano osculador
DEFINICION 20 (torsin)
Sea una curva C definida por la funcin F en un intervalo I. Si existe F(t) t
I, la TORSION (t) en el punto
F(t), se define de la siguiente manera:
B' ( t 0 )
(t0) = (53)
F ' (t0 )
B'( t )
En general, t
I, tendramos: (t) = (54)
F '( t )
Observa que (t)
0 t y que (t)=0 si y slo si C se encuentra en un plano.
Las ecuaciones del siguiente teorema relacionan los vectores T, N y B con sus derivadas con respecto a la
distancia recorrida y son muy importantes y fundamentales para el estudio analtico de curvas en el espacio.
- 18 -
Unidad 2: Funciones vectoriales
Al igual que en el caso de la curvatura existe otra frmula alternativa para el clculo de la torsin dada por el
siguiente teorema:
TEOREMA 10 (torsin)
I, la TORSION (t) en el punto
Dada la curva C definida por la funcin F en un intervalo I. Si existe F(t) t
F(t), est dada por :
( F ' F ") F '''
(t) = (58)
F ' F "
2
Determinemos ahora la torsin de una hlice circular F(t)=(rcos t, rsent, ct) y observamos que
cw
(t)= 2 2 2 t, es decir, la torsin de una hlice circular es constante pues no depende de t.
c +r w
Terminamos esta breve incursin en la Geometra Diferencial sealando que mediante la utilizacin de
resultados muy simples de la teora de las Ecuaciones Diferenciales, se puede probar un teorema fundamental
que dice, toscamente hablando, que dos curvas con la misma curvatura y la misma torsin son idnticas (es
decir, se puede mover rgidamente una de ellas hasta que coincida con la otra). De esta manera, la curvatura y la
torsin como funciones de la longitud de arco, definen completamente una curva salvo su posicin en el espacio;
describen todas las propiedades de la curva expresando las relaciones entre su longitud, su curvatura y su torsin,
de esta manera, los tres conceptos constituyen una especie de fundamento esencial para cuestiones concernientes
a curvas.
Naturalmente, la teora de curvas no se agota aqu. Hay muchos conceptos relativos a esta clase de figuras:
tipos especiales de curvas, familias de curvas, posicin de curvas sobre superficies, forma de una curva como un
todo, etc. Estas cuestiones y los mtodos de contestarlas estn conectados con casi todas las ramas de las
matemticas y requieren de un estudio ms profundo.
- 19 -