1 Estudio local de curvas

Transcripción

1 E.T.S. Arquitectura. Curvas y Super cies.1 1 Estudio local de curvas Sea una curva C R 3 con representación paramétrica regular ~r(t), t 2 I R, de clase mayor o igual a 3 y sea s = s(t) = Z t t 0 k~r 0 (u)k du; el parámetro arco. Podemos considerar la representación natural de C: 1.1 Vector tangente El vector ~(s) = ~r(t(s)); s 2 J R: ~r 0 (t) = (x 0 (t); y 0 (t); z 0 (t)) es un vector tangente a la curva C en el punto P = ~r(t). En general, dicho vector no es unitario. Denotaremos ~t(t) al vector unitario tangente a la curva C en el punto P = ~r(t); esto es, ~t(t) = ~r 0 (t) k~r 0 (t)k : (1) Si consideramos la representación natural de la curva C, ~(s) = ~r(t(s)), se tiene: ~ 0 (s) = ~r 0 (t(s))t 0 (s) y ~ 0 (s) = k~r 0 (t(s))k jt 0 (s)j = 1 jt 0 (s)j jt0 (s)j = 1: Nota. Cuando consideramos la representación natural de la curva, al calcular el vector tangente obtenemos directamente un vector unitario; esto es, ~t(s) = ~ 0 (s): (2) Nota. A partir de ahora vamos a considerar la parametrización natural de la curva C.

2 E.T.S. Arquitectura. Curvas y Super cies Recta tangente y plano normal De nición. La recta tangente a una curva C en un punto P es la recta que tiene el mismo vector tangente en P que la curva C. Se dice que la recta tangente tiene un orden de contacto 1 con la curva C en el punto P. Por tanto, la recta tangente a la curva C con vector tangente ~t = (v 1 ; v 2 ; v 3 ) en el punto P = (a; b; c) tiene la siguiente parametrización natural: ~r() = OP + ~t, esto es, x() = a + v 1 ; y() = b + v 2 ; z() = c + v 3 : De nición. El plano normal a una curva C en un punto P es el plano ortogonal a la recta tangente y que contiene al punto P. En el siguiente dibujo se han representado las rectas tangente y el plano normal de la curva con parametrización ~r(t) = (1 sin 2 (t); sin(t); 1 + cos(t)), con t 2 [0; 2), en el punto P = ~r(=4). Sea el plano normal de la curva C con vector tangente ~t = (v 1 ; v 2 ; v 3 ) en el punto P = (a; b; c). Un punto X pertenece al plano normal si veri ca la siguiente ecuación vectorial: OX OP ~t = 0 Esto es, si (x; y; z) son las coordenadas del punto X, la ecuación implícita o cartesiana del plano normal es: (x a)v 1 + (y b)v 2 + (z c)v 3 = 0:

3 E.T.S. Arquitectura. Curvas y Super cies Curvatura Veamos cómo varía el vector tangente en un entorno de un punto P de la curva. El vector ~ 00 (s) = d ~t ds (s); mide la variación del vector tangente en un entorno del punto P = ~(s). De nición. Llamamos vector curvatura de la curva C con parametrización natural ~: I R en el punto P = ~(s) al vector ~ 00 (s). LLamaremos curvatura o curvatura de exión al módulo del vector curvatura; esto es, la curvatura de exión es la función (s) = ~ 00 (s) : (3) Interpretación geométrica de la curvatura. La curvatura mide la variación del ángulo que forman las respectivas rectas tangentes de puntos próximos de la curva. Sea (s) el ángulo que forma la recta tangente a C en el punto ~(s 0 ) con la recta tangente a C en el punto ~(s). Se tiene: lim ss 0 (s) js s 0 j = lim ss 0 y teniendo en cuenta la igualdad obtenemos: 2sen (s) 2 lim ss 0 js s 0 j ~ 0 (s) (s) js s 0 j sen (s) 2 (s) 2 = lim ~ 0 (s 0 ) = 2sen (s) 2 ; ~ 0 (s) = lim ss0 js 2sen (s) 2 ss0 js s 0 j ; ~ 0 (s 0 ) = ~ 00 (s 0 ) : s 0 j Proposición. El vector curvatura (si (s) 6= 0) es perpendicular al vector tangente. Demostración. Como jj~t(s)jj = 1 se tiene ~t(s) ~t(s) = 1. Derivando dicha identidad se tiene: 0 = (~t(s) ~t(s)) 0 = 2~t 0 (s) ~t(s) =) ~t(s) ~ 00 (s) = 0:

4 E.T.S. Arquitectura. Curvas y Super cies Normal principal. Plano osculador De nición. Llamamos vector normal principal y lo denotamos por ~n al vector unitario en la direccción del vector curvatura; esto es, Se tiene la primera fórmula de Frenet: ~n(s) = ~t 0 (s) = ~ 00 (s) = ~ 00 (s) ~00 (s) ~ 00 (s) ~00 (s) ~ 00 (s) : (4) = (s)~n(s): (5) De nición. La recta normal principal a una curva C en un punto P es la recta que contiene al punto P y tiene vector director el vector normal a la curva en P. Por tanto, la recta normal principal a la curva C con vector normal ~n en el punto P tiene la siguiente parametrización natural: ~r() = OP + ~n: De nición. El plano osculador de una curva C en un punto P es el plano que contiene a las rectas tangente y normal de la curva en el punto P. Sea la curva C con vector tangente ~t = (v 1 ; v 2 ; v 3 ) y vector normal principal ~n = (n 1 ; n 2 ; n 3 ) en el punto P = (a; b; c). Un punto X pertenece al plano osculador si y sólo si el vector P X es combinación lineal de los vectores ~t y ~n. Por tanto es ortogonal al vector: ~t ^ ~n. Luego, X pertenece al plano osculador si y sólo si P X (~t ^ ~n) = 0. Si (x; y; z) son las coordenadas del punto X estas deben veri car la siguiente ecuación: P X (~t ^ ~n) = det( P X;~t; ~n) = x a y b z c t 1 t 2 t 3 n 1 n 2 n 3 = 0:

5 E.T.S. Arquitectura. Curvas y Super cies Circunferencia osculatriz De nición. Llamamos circunferencia osculatriz de la curva C en el punto P = ~(s 0 ) a una circunferencia contenida en el plano osculador de C en P cuyo centro, llamado centro de curvatura, se encuentra sobre la recta normal principal en la dirección del vector ~n y cuyo radio es (s 0 ) = 1=(s 0 ). Veáse el siguiente dibujo. Nota. La circunferencia osculatriz tiene un orden de contacto máximo con la curva (tiene el mismo vector tangente y mismo vector normal que la curva en el punto P ). El centro Z de la circunferencia osculatriz en el punto P = ~(s 0 ) satisface la siguiente ecuación: OZ = ~(s 0 ) + (s 0 )~n(s 0 ): La circunferencia osculatriz es la interesección de la esfera de ecuación: y el plano osculador de ecuación: jjox OZjj = (s 0 ) P X (~t ^ ~n) = det( P X;~t; ~n) = 0: Ecuaciones paramétricas de la circunferencia osculatriz en el punto P = ~(s 0 ): ~r() = OZ + (s 0 ) cos()~t + sin()~n ; 2 [0; 2):

6 E.T.S. Arquitectura. Curvas y Super cies Recta binormal y plano recti cante De nición. Llamamos vector binormal y lo denotamos por ~ b al vector unitario ortogonal al vector tangente y al vector normal; esto es, ~ b(s) = ~t(s) ^ ~n(s) = ~0 (s) ^ ~ 00 (s) ~ 00 (s) : (6) De nición. La recta binormal a una curva C en un punto P es la recta que contiene al punto P y cuyo vector director es el vector binormal a la curva en P. Por tanto, la recta binormal a la curva C con vector binormal ~ b en el punto P tiene la siguiente parametrización natural: ~r() = OP + ~ b: Ejemplo. En el siguiente dibujo se han representado las rectas tangente, normal principal y binormal de la curva con parametrización ~r(t) = (1 sin 2 (t); sin(t); 1 + cos(t)), con t 2 [0; 2), en el punto P = ~r(=4): De nición. El plano recti cante de una curva C en un punto P = ~(s 0 ) = (a; b; c) es el plano que contiene a las rectas tangente y binormal de la curva en el punto P. Por tanto, el plano recti cante tiene la siguiente ecuación vectorial: ( OX OP ) ~n(s 0 ) = 0 () (x a) n 1 + (y b) n 2 + (z c) n 3 = 0:

7 E.T.S. Arquitectura. Curvas y Super cies Triedro móvil o de Frenet Sea C una curva con representación natural ~: J R R 3, vector tangente ~t(s), vector normal ~n(s) y vector binormal ~ b(s) en cada punto de la curva P = ~(s). De nición. El triedro f~t(s); ~n(s); ~ b(s)g se denomina triedro de Frenet y en cada punto P = ~(s) de la curva C forma una referencia afín de R 3. Nota. El triedro de Frenet nos da una referencia afín a lo largo de la curva C y por ello también se denomina triedro móvil. Los vectores ~t(s); ~n(s); ~ b(s) satisfacen las siguientes relaciones: ~t(s) ~t(s) = 1; ~n(s) ~n(s) = 1; ~ b(s) ~ b(s) = 1; ~t(s) ~n(s) = 0; ~t(s) ~ b(s) = 0; ~n(s) ~ b(s) = 0: Por tanto, la referencia fp ; ~t(s); ~n(s); ~ b(s)g es ortonormal y está orientada positivamente. Nota. Las rectas tangente, normal y binormal forman los ejes del triedro en cada punto de la curva y los planos normal, osculador y recti cante forman los planos cartesianos respecto de dicha referencia.

8 E.T.S. Arquitectura. Curvas y Super cies Torsión Proposición. Si una curva C con parametrización natural ~: I está contenida en su plano osculador. R 3 es plana entonces Demostración. Supongamos que C está contenida en un plano con vector normal ~. Por tanto, (~(s) ~(s 0 )) ~ = 0. Derivando la identidad anterior obtenemos: ~ 0 (s) ~ = 0 =) ~ es ortogonal a ~t(s). Derivando de nuevo, obtenemos: ~ 00 (s) ~ = 0 =) ~ es ortogonal a ~n(s). Luego el vector ~ es paralelo ~ b(s) para todo s 2 I, y el plano es el plano osculador. Para medir la separación de la curva de su plano osculador en un punto o equivalentemente la variación del plano osculador de un punto a otro de la curva, estudiamos la variación del vector binormal. Calculamos la derivada de ~ b(s) utilizando la expresión ~ b(s) = ~t(s) ^ ~n(s). Teniendo en cuenta la primera fórmula de Frenet (5), tenemos: ~ b 0 (s) = ~t 0 (s) ^ ~n(s) + ~t(s) ^ ~n 0 (s) = (s)~n(s) ^ ~n(s) + ~t(s) ^ ~n 0 (s) = ~t(s) ^ ~n 0 (s): Como ~ b(s) es un vector unitario se tiene: ~ b 0 (s) ~ b(s) = 0. Conclusión. ~ b 0 (s) es ortogonal a ~t(s) y a ~ b(s). Luego ~ b 0 (s) es proporcional a ~n(s); esto es, existe una función para cierta función (s) tal que: que es la llamada tercera fórmula de Frenet. ~ b 0 (s) = (s)~n(s); (7) La función (s) mide la variación del plano osculador en puntos próximos de la curva. Teniendo en cuenta ~n(s) ~n(s) = 1 obtenemos: ~ b 0 (s) ~n(s) = (s). De nición. Llamamos torsión o curvatura de torsión a la función (s); esto es, (s) = ~ b 0 (s) ~n(s):

9 E.T.S. Arquitectura. Curvas y Super cies.9 Proposición. Una curva C con parametrización natural ~: I (s) = 0 para todo s 2 I. R 3 es plana si y sólo si Demostración. Ya hemos visto que si C es una curva plana entonces está contenida en su plano osculador. Por tanto, ~ b 0 (s) = ~0 y de (s) = ~ b 0 (s) ~n(s) se deduce (s) = 0. Supongamos ahora (s) = 0 para todo s 2 I. Por tanto, ~ b 0 (s) = ~0; esto es, ~ b(s) = ~ b(s 0 ) es un vector constante. Veamos que (~(s) ~(s 0 )) ~ b(s 0 ) = 0. Tomamos la función f(s) = (~(s) ~(s 0 )) ~ b(s 0 ). Se tiene: f(s 0 ) = 0 y f 0 (s) = ~ 0 (s) ~ b(s 0 ) = 0 pues ~ b(s 0 ) es ortogonal a ~t(s); con lo que se concluye: f(s) = f(s 0 ) = 0. Fórmula útil. Sustituyendo la derivada del vector binormal en (s) = ~ b 0 (s) ~n(s) obtenemos: (s) = ~ b 0 (s) ~n(s) = (~t 0 (s) ^ ~n(s) + ~t(s) ^ ~n 0 (s)) ~n(s) = (~t(s) ^ ~n 0 (s)) ~n(s): Calculamos ahora : ~n 0 (s). Tenemos: ~ 00 (s) = ~ 00 (s) ~n(s) luego: ~ 000 (s) = ~00 (s)~ 000 (s) k~ 00 (s)k ~n(s) + ~ 00 (s) ~n 0 (s) =) ~n 0 (s) = ~00 (s)~ 000 (s) k~ 00 (s)k 2 ~n(s) + 1 k~ 00 (s)k ~000 (s): Sustituyendo en la expresión de (s) tenemos: ~ (s) = ~t(s) ^ 00 (s)~ 000 (s) ~n(s) + k~ 00 (s)k 1 2 k~ 00 (s)k ~000 (s) = 1 k~ 00 (s)k 2 = [~0 (s);~ 00 (s);~ 000 (s)] k~ 00 (s)k 2 : ~ 0 (s) ^ ~ 000 (s) ~ 00 (s) ~n(s)

10 E.T.S. Arquitectura. Curvas y Super cies Fórmulas de Frenet-Serret Vamos a calcular la variación del vector normal. El vector normal es un vector unitario y, por tanto, ~n 0 (s) es ortogonal a ~n(s). Por tanto, ~n 0 (s) es combinación lineal de los vectores tangente y binormal. Esto es, ~n 0 (s) = (s)~t(s) + (s) ~ b(s): Como la referencia fp ; ~t(s); ~n(s); ~ b(s)g es ortonormal y está orientada positivamente se tiene: ~n(s) = ~ b(s) ^ ~t(s). Derivando la identidad anterior y utilizando las fórmulas de Frenet (7) y (5), obtenemos: ~n 0 (s) = ~ b 0 (s) ^ ~t(s) + ~ b(s) ^ ~t 0 (s) Obtenemos así la tercera fórmula de Frenet. = (s)~n(s) ^ ~t(s) + ~ b(s) ^ (s)~n(s) = (s) ~ b(s) (s)~t(s): (8) Las fórmulas de Frenet-Serret (5), (8) y (7) pueden escribirse de forma uni cada utilizando la siguiente notación matricial: ~t 0 (s) 0 (s) 0 ~n 0 (s) A (s) 0 (s) ~n(s) A ~ b 0 (s) 0 (s) 0 ~ b(s) Aplicación de las fórmulas de Frenet-Serret. Proposición. Sea C una curva regular con parametrización natural ~: I R 3. Si ~ tiene curvatura constante no nula y torsión nula, entonces está contenida en una circunferencia. Demostración. Como la torsión es nula la curva es plana y está contenida en su plano osculador que es ortogonal al vector binormal que es constante. Consideremos la función: ~(s) = ~(s) + 1 ~n(s): Derivando la función anterior y teniendo en cuenta la segunda fórmula de Frenet-Serret obtenemos ~ 0 (s) = ~ 0 (s) + 1 ~n0 (s) = ~ 0 (s) + 1 ~t(s) + ~ b(s) = ~ 0 (s) ~t(s) = 0: Por tanto, ~(s) = OZ de ne un único punto que no depende de s y jj~(s) Luego C está contenida en la circunferencia de centro Z y radio 1=. OZjj = 1.

11 E.T.S. Arquitectura. Curvas y Super cies Resumen Sea C una curva con parametrización natural ~: I R 3. Curvatura: (s) = ~ 00 (s). Torsión: (s) = [~0 (s);~ 00 (s);~ 000 (s)] k~ 00 (s)k 2. Triedro de Frenet: f~t(s); ~n(s); ~ b(s)g con Fórmulas de Frenet-Serret : 1.11 Aplicaciones 8 >< >: ~t(s) = ~ 0 (s); ~n(s) = ~00 (s) k~ 00 (s)k ; ~ b(s) = ~t(s) ^ ~n(s) = ~0 (s)^~ 00 (s) k~ 00 (s)k : 8 < ~t 0 (s) = (s)~n(s); ~n : 0 (s) = (s)~t(s) + (s) ~ b(s); ~ b 0 (s) = (s)~n(s): Entorno tubular (Pipe surface) es la super cie que consiste en un tubo de radio r alrededor de una curva C. Suponemos la curva con parametrización natural ~: I R 3. Como los vectores ~n(s) y ~ b(s) forman una base ortonormal del plano normal a la curva parametrizamos la circunferencia contenida en el plano normal de la curva en el punto ~(s) y de centro el punto ~(s) como sigue: ~r(s; ) = ~(s) + r cos ~n(s) + sin ~ b(s) ; s 2 I; 2 [0; 2): Podemos obtener otras super cies tomando el radio variable r = r(s).

12 E.T.S. Arquitectura. Curvas y Super cies.12 Cubierta de pendiente constante. Super cie reglada formada por rectas que se apoyan sobre una curva plana y que forman un ángulo constante con el plano que contiene la curva. Consideramos la super cie con curva directriz una elipse con parametrización ~c(u) = (2 cos(u); 3 sin(u); 0); 0 u 2: y rectas de pendiente constante respecto al plano que la contiene. En cada punto de la elipse consideramos una recta en el plano normal a la curva y que forma un ángulo jo 0 respecto al plano z = 0. Por tanto, el vector director de dichas rectas es: ~w(u) = cos( 0 )~n(u) + sin( 0 ) ~ b(u); donde ~n(u) y ~ b(u) son los vectores normal y binormal a la curva en el punto ~c(u). La parametrización de la super cie es, por tanto, ~r(u; v) = ~c(u) + v ~w(u) = ~c(u) + v cos( 0 )~n(u) + sin( 0 ) ~ b(u) ; 0 u 2; 0 v 1:

13 E.T.S. Arquitectura. Curvas y Super cies Problemas 1. [RS-R, Tema 4, Problema 6] Calcular la curvatura, la torsión y el triedro de Frenet de la curva con parametrización ~(s) = ( 4 5 cos(s); 2 sen (s); 3 5 cos(s)): 2. Hallar la curvatura, torsión y plano osculador de la curva dada como intersección de dos super cies con ecuaciones: x 2 + y 2 + z 2 + (x + 2y z) = 12 x + 2y z = 3 3. [RS-R, Tema 4, Problema 8] Probar que la curva ~: ( 1; 1) R 3 dada por 1 ~(s) = 3 s)3=2 1 ; 3 s)3=2 1 ; p2 s ; está parametrizada por la longitud de arco. Hallar su curvatura, torsión y triedro de Frenet. 4. [RS-R, Tema 4, Problema 9] Sea ~: I R una curva parametrizada por el arco cuya traza está contenida en una esfera S. Supongamos que las binormales a ~ son tangentes a S para todo valor del parámetro s. Probar que la traza de ~ está contenida en una circunferencia. 5. Obtener la curva intersección de la super cie reglada formada por las rectas tangentes a la curva ~(s) = cos p s 2 ; sen p s s 2 ; p2 con el plano de ecuación x = Bibliografía 1. Jose M. Rodriguez Sanjurjo, Jesús M. Ruiz, Introducciónn a la Geometría Diferencial I. Curvas. Ed. Sanz y Torres, Madrid, Dirk J. Struik, Geometría diferencial clásica, Aguilar de ediciones, Madrid, 1973.