AVANCE DE CONCEPTOS GEOMETRÍA DIFERENCIAL

Transcripción

1 AVANCE DE CONCEPTOS GEOMETRÍA DIFERENCIAL Índice 1. Introducción a las curvas en E Definición matemática de curva Cambio de parámetro Longitud de una curva y parámetro longitud de arco Secantes y tangente Plano normal Vector curvatura Plano osculador Triedro intrínseco Fórmulas de Frenet Introducción a las superficies en E Definición matemática de superficie Superficies Regladas Superficies Regladas desarrollables Definición Caracterización matemática Arista o Borde de retroceso Clasificación de las regladas desarrollables Superficies Regladas alabeadas Definición Caracterización matemática Línea de estricción A. Longitud de una curva 9 B. Radio de curvatura 9 C. Radio de torsión 9 D. Caracterización de las superficies regladas desarrollables 10 E. Puntos singulares de la parametrización en una reglada desarrollable 10 F. Caracterización de las superficies regladas alabeadas 11 1

2 1. Introducción a las curvas en E Definición matemática de curva Sea I un intervalo de la recta real y sea una función continua de la forma: x : I R 3 u x(u) = x(u) y(u) z(u) Sea E 3 el espacio afín-euclídeo asociado al espacio vectorial R 3 con la métrica euclídea. Se llama curva al lugar geométrico del espacio anterior definido por: C = {O + x(u) E 3 u I} Se llama representación paramétrica o parametrización de una curva al par ( x, I) y a la variable independiente de la función se la denomina parámetro de la curva. También existen otros tipos de representaciones de una curva, que no se consideran en esta introducción Cambio de parámetro Se llama cambio de parámetro al homeomorfismo (función continua, biyectiva y con inversa continua) definido entre dos intervalos I y J de la recta real: φ : J I v u = φ(v) El resultado de un cambio de parámetro es la transformación de la parametrización ( x, I) en la (ȳ, J), donde se tiene que: ȳ = x φ ȳ(v) = x(φ(v)) 1.3. Longitud de una curva y parámetro longitud de arco Se dice que una curva es rectificable cuando el conjunto de las longitudes de la poligonales inscritas en la misma está acotado y se define longitud de una curva como el supremo de dicho conjunto. Se demuestra que cuando la curva es de clase C 1 la longitud de la misma viene dada por (su demostración se propone al lector como ejercicio y se recoge en el apéndice) 1 : u1 u1 L = x (t) dt = x (t) 2 + y (t) 2 + z (t) 2 dt Si se toma como origen de arcos un punto cualquiera del intervalo (por ejemplo, el extremo derecho) se puede definir un cambio de parámetro de la siguiente forma: x 1 O poligonal inscrita s : I [0, L] u s(u) = u x (t) dt Este parámetro, llamado longitud de arco s, es especial y se puede tomar como coordenada curvilínea intrínseca de la curva. z 1 u 1 x(u) P Q u 1 Las derivadas con respecto a un parámetro cualquiera se representan en Geometría Diferencial con una prima s y 1 x (u)

3 1.4. Secantes y tangente 3 Sea P el punto de la curva correspondiente al valor del parámetro ; la recta que lo une con otro distinto Q de la misma, de parámetro u, se denomina recta secante s. Un vector de la dirección de la secante es: S(u) = x(u) x() u Cuando hacemos tender el punto Q a P, la recta secante tiende a una posición límite que se denomina recta tangente t a la curva en P. Por lo tanto, el vector tangente en P es: T = lím u u0 S(u) = lím u u0 x(u) x( ) u = x ( ) Se define el versor tangente (vector tangente unitario) como: t = x (u) x (u) Si el parámetro de la curva es la longitud de arco se cumple 2 : x = d x ds = d x du du ds = 1 x (u) x (u) = t 1.5. Plano normal Se llama plano normal a la curva en P al plano ortogonal al vector tangente a la curva en dicho punto. Su representación implícita es: π N : T( ) ( x x( )) = Vector curvatura Se define en Geometría Diferencial el vector curvatura como el vector derivada segunda de la parametrización con respecto al parámetro longitud de arco dos veces y curvatura como el módulo de dicho vector. Radio de curvatura es el inverso de la curvatura y equivale a la derivada del parámetro longitud de arco respecto al ángulo ϕ que forman dos tangentes muy próximas (véase apéndice). k = x = t k = x R = k 1 = ds dϕ Para desentrañar la naturaleza del citado vector hacemos lo siguiente: t t = 1 d ds t t = 0 = t x t = x x Luego el vector curvatura es perpendicular al vector tangente y, por lo tanto, está contenido en el plano normal a la curva en dicho punto. 2 Cuando las derivadas se hacen con respecto al parámetro longitud de arco es costumbre representarlas cambiando la prima por un punto encima.

4 Se denomina recta normal principal n a la recta que pasa por un punto de la curva y tiene la dirección del vector curvatura y se llama versor normal principal al vector: n = x x Con ello resulta: k = x = k n Demostramos que dicho vector apunta siempre en sentido de la concavidad de la curva en los puntos donde no se anula la curvatura. Desarrollando en serie de Taylor y reteniendo los tres primeros términos se tiene: x(s) = x(s 0 ) + (s s 0 ) t(s 0 ) }{{} recta tangente en s=s (s s 0) 2 k(s 0 ) n(s 0 ) +... }{{} desviación de la curva el tercer término representa la desviación de la curva respecto de la tangente en las proximidades de P(s 0 ); como (s s 0 ) 2 /2 es positivo el vector k n apunta hacia la parte cóncava de la curva Plano osculador Se llama plano osculador a la curva en el punto P al plano que definen las rectas tangente y normal a la curva en P. Demostramos que es el plano que tiene un contacto de segundo orden con la curva. La ecuación implícita de un plano genérico que pasa por P( ) por la siguiente ecuación: π : ā ( x x( ) ) = 0 (ā arbitrario) y definamos la función siguiente: F( x) = ā ( x x( ) ) A partir de la parametrización de la curva construyamos una nueva función: Γ = F x(u) : I R u F( x(u)) = ā ( x(u) x( )) Para que tenga un contacto de orden dos con el plano en un punto debe satisfacer las siguientes tres condiciones: d k Γ du k () = 0 (k = 0, 1, 2) Contacto de orden 0: Γ( ) = 0 (es obvio que pasa por el punto) Contacto de orden 1: dγ du () = ā x = 0 ā t Contacto de orden 2: d 2 Γ du 2() = ā x = 0 ā x

5 Solo falta por ver ahora la dirección del vector derivada segunda respecto a cualquier parámetro: x = d du (ds du t) = d2 s du 2 t + ( ds du )2 k n Como este vector es linealmente independiente del vector tangente siempre que no estemos en un punto de inflexión (curvatura nula) los vectores derivada primera y segunda respecto a un parámetro cualquiera definen un plano, el plano osculador. La recta perpendicular al plano osculador (cuya dirección es la del vector ā) se denomina recta binormal b y se define el versor binormal como: b = t n El plano que definen los versores t y b se denomina plano rectificante Triedro intrínseco Se denomina triedro intrínseco de una curva en un punto al formado por los versores tangente, normal principal y binormal en dicho punto {P; t, n, b}. A medida que vamos describiendo la curva estos versores irán variando y, por lo tanto, también el triedro intrínseco Fórmulas de Frenet Se llaman fórmulas de Frenet a las derivadas de los versores del triedro intrínseco con respecto al parámetro longitud de arco. La primera ya se ha deducido: O z x(u) n n P π N b b t y t π R π O t = k n Para el versor binormal se tiene: d b b = 1 ds b b = 0 b = t n + t n = t n Esto implica que: b n b b b t x Es costumbre en Geometría Diferencial escribirla de la siguiente forma: b = τ n recibiendo la variable de proporcionalidad τ el nombre de torsión de la curva y su inversa radio de torsión, que equivale a la derivada del parámetro longitud de arco con respecto al ángulo θ que forman dos binormales muy próximas (véase apéndice): T = τ 1 = ds dθ Para el versor normal se tiene: n n = 1 d ds n n = 0 n t = 0 n b = 0 n n n t = t n = κ n b = b n = τ De donde se desprende que:

6 6 Resumiendo (en forma matricial): d ( t ) 0 κ 0 n = κ 0 τ ds b 0 τ 0 t n b n = κ t + τ b

7 2. Introducción a las superficies en E Definición matemática de superficie Sea Ω un conjunto conexo de R 2 y sea una función continua de la forma: x : Ω R 3 u,v x(u, v) = x(u, v) y(u, v) z(u, v) Sea E 3 el espacio afín-euclídeo asociado al espacio vectorial R 3 con la métrica euclídea. Se llama superficie al lugar geométrico del espacio anterior definido por: S = {O + x(u, v) E 3 (u, v) Ω} Se llama representación paramétrica o parametrización de una superficie al par ( x, Ω) y a las variables independientes de la función se las denomina parámetros de la superficie. También existen otros tipos de representaciones de una superficie, que no se consideran en esta introducción Superficies Regladas Se dice que una superficie es reglada si por cada punto de la misma pasa al menos una recta enteramente contenida en ella. Si en cada punto hay al menos una reglante se denomina simplemente reglada; por ejemplo, el helicoide. Si en cada punto hay al menos dos reglantes distintas se denomina doblemente reglada; por ejemplo, el hiperboloide reglado. Ecuación de una reglada genérica: ȳ(u) C 1 (R, R 3 ) curva directriz x(u, v) = ȳ(u) + v ı (u) ı (u) C 1 (R, R 3 versor director ) (curva de la esfera de radio unidad) A las curvas coordenadas u = cte, que en este caso son rectas o reglantes, se les denomina generatrices. Vector normal: N = x u x v = ȳ (u) ı(u) + vī (u) ı (u) 2.3. Superficies Regladas desarrollables Definición Se dice que una superficie reglada es desarrollable todos los puntos de una generatriz comparten la misma dirección normal. Esta definición es equivalente a que su curvatura gaussiana sea nula en cada punto Caracterización matemática Para que la dirección del vector normal sea independiente de v se necesita que: ȳ (u) ı (u) ī (u) ı(u), u ȳ (u), ı(u), ı (u) sean vectores coplanarios linealmente dependientes: [ȳ (u), ı(u), ı (u)] = 0, u

8 Arista o Borde de retroceso Es el lugar geométrico de los puntos de una superficie reglada desarrollable donde la parametrización no es regular. Se demuestra que es una curva de la misma cuya ecuación es: z(u) = ȳ(u) ȳ (u) ī (u) ı (u) ī (u) ī (u) Se demuestra que es una curva que en cada punto es tangente a una de las reglantes de la superficie Clasificación de las regladas desarrollables ī (u) 0, cilindro z (u) 0, cono z (u) 0, desarrollable tangencial 2.4. Superficies Regladas alabeadas Definición Se dice que una superficie reglada es alabeada si la dirección normal va cambiando a lo largo de una misma generatriz. Se define una correspondencia dentro de cada generatriz (u = ) entre cada punto (v) y su plano tangente ( N(, v)) (haz de planos que pasan por la generatriz). Se comprueba que los planos límites por los dos extremos de una generatriz coinciden. Se denomina plano asintótico al plano tangente en los puntos del infinito de la generatriz. Se denomina plano central al perpendicular al plano asintótico. Al punto correspondiente al plano central se le denomina punto central. Un punto central también se caracteriza por ser el límite de la perpendicular común a dos generatrices infinitamente próximas Caracterización matemática Se llama parámetro de distribución de una superficie reglada alabeada a la función: p(u) = [ȳ (u), ı(u), ı (u)] Línea de estricción Es el lugar geométrico de los puntos centrales de una superficie reglada alabeada. Su ecuación es: w(u) = ȳ(u) ȳ (u) ī (u) ı (u) ī (u) ī (u)

9 Teoremas obviados en primera lectura 9 A. Longitud de una curva La longitud de una curva rectificable de clase C 1 se calcula mediante la fórmula: u1 u1 L = x (ξ) dξ = x (ξ) 2 + y (ξ) 2 + z (ξ) 2 dξ z 1 P x(u) s u ds Q x(u + du) u 1 Demostración: x(u + du) = x(u) + x (u)du +... L = ds = x(u + du) x(u) x (u) du ds L = u 1 x (ξ) dξ x 1 O y 1 B. Radio de curvatura El radio de curvatura equivale a la derivada del parámetro longitud de arco respecto al ángulo ϕ que forman dos tangentes muy próximas Demostración: dϕ sin(dϕ) = t(s + ds) t(s) t(s + ds) t(s) = k(s) t(s) ds = = k(s) n(s) t(s) ds = k(s)ds k(s) = dϕ ds ρ = k 1 = ds dϕ = O z 1 t(s) dϕ t(s + ds) Q P t(s) s u ds t(s + ds) u x(u) 1 y 1 C. Radio de torsión x 1 El radio de torsión equivale a la derivada del parámetro longitud de arco respecto al ángulo θ que forman dos binormales muy próximas b(s) Demostración: dθ sin(dθ) = b(s + ds) b(s) b(s + ds) b(s) = b(s) b(s) ds = = τ(s) n(s) b(s) ds = = τ(s) t(s) ds = τ(s) ds τ(s) = dθ ds T = τ 1 = ds dθ = O z 1 b(s) Q P s u ds u x(u) 1 y 1 b(s + ds) dθ b(s + ds) x 1

10 D. Caracterización de las superficies regladas desarrollables Representación paramétrica de una superficie reglada y vectores tangentes a la curvas coordenadas: x(u, v) = ȳ (u) + v ı(u) x u (u, v) = ȳ (u) + vī (u) x v (u, v) = ı (u) El vector normal será: N = x u x v = ȳ (u) ı(u) + vī (u) ı (u) Si la dirección del vector normal no cambia a lo largo de una reglante es porque no depende del parámetro v, por lo que se cumplirá que: N N v = 0 = (ȳ ı + vī ı) ( ı ī ) = (ȳ ı) ( ı ī ) = ī (ȳ ı) Lo que es equivalente a: det(ȳ, ı, ī ) = [ȳ, ı, ī ] = 0 La interpretación geométrica es la siguiente: si la dirección de la normal no depende del parámetro v es porque los vectores ȳ (u) ı (u) y ī (u) ı (u) son paralelos, lo que implica que ȳ, ı, ī deben ser coplanarios. 10 E. Puntos singulares de la parametrización en una reglada desarrollable Si la superficie es desarrollable se puede considerar que: λ(u), µ(u) C 0 : ȳ (u) = λ(u) ı(u) + µ(u)ī (u) (1) λ(u) = ȳ (u) ı (u) (2) µ(u) = ȳ (u) ī (u) (3) ī (u) ī (u) La parametrización no es regular donde no está definido el plano tangente. Esto es equivalente a que el vector normal sea nulo. Busquemos un punto de la reglante (caracterizado por el valor del parámetro v = v ) donde el vector normal sea nulo: 0 = N(u, v ) = x u (u, v ) x v (u, v ) = ȳ (u) ı (u) + v ī (u) ı (u) (1) = (ȳ = µ(u)(ī (u) ı (u)) + v ī (u) ı(u) (3) (u) ī (u) ) = ī (u) ī (u) + v (u) (ī (u) ı(u)) ī (u) ı (u) = 0, u ī (u) = 0 Cilindro ī (u) ı (u) 0, v (u) ī (u) = ȳ ī (u) ī (u) La curva de una superficie reglada desarrollable formada por los puntos donde la parametrización no es regular se denomina borde u arista de retroceso y está dada por la parametrización: z(u) = x(u, v (u)) = ȳ(u) ȳ (u) ī (u) ı (u) ī (u) ī (u)

11 11 Demostremos que la tangente en cualquiera de sus puntos coincide con una reglante: ȳ (u) ī (u) (1) = µ(u) ī (u) ī (u) z(u) = ȳ(u) µ(u) ı(u) z (u) = ȳ (u) µ(u) ī (u) µ (u) ı(u) = (1) = λ(u) ı(u) + µ(u)ī (u) µ(u) ī (u) µ (u) ı(u) = = ( λ(u) µ (u) ) ı(u) λ(u) = µ (u) z (u) = 0 z (u) = z 0 x(u, v) = z 0 + v ı(u) (Cono de vértice z 0 ) λ(u) µ (u) z (u) ı (u) = 0 la tangente a la curva coincide con una reglante la S.R.D. es la desarrollable tangencial de la arista de retroceso z (u) Otra forma alternativa: La parametrización no es regular en los puntos donde se anule el Jacobiano de la aplicación x C 1 (Ω R 2, R 3 ). 0 = J(u, v ) = x u(u, v ) x u (u, v ) x u (u, v ) x v (u, v ) x u (u, v ) x v (u, v ) x v (u, v ) x v (u, v ) = = (ī ī )(v ) 2 + 2(ȳ ī )v + [(ȳ ȳ ) (ȳ ı) 2 ] v (u) = ȳ ī ± (ȳ ī ) 2 ī ī [(ȳ ȳ ) (ȳ ı) 2 ] (NOTA) ī = ȳ ī ī ī ī NOTA: Teniendo en cuenta que la superficie reglada es desarrollable, los vectores ȳ, ı, ī deben ser coplanarios. Además ı ī. Por el teorema de Pitágoras: ȳ ȳ = (ȳ ı) 2 + (ȳ ī ) 2 ī ī F. Caracterización de las superficies regladas alabeadas Plano asintótico es el plano tangente a la superficie alabeada en los puntos del infinito de la reglante. N (ȳ N ± = lím v ± v = lím ı ) + sign(v)ī ı = ± ī ı v ± v Los planos asintóticos de ambos extremos están girados un ángulo π y como comparten la generatriz, coinciden geométricamente. Punto central es aquel punto de la reglante en el que su plano tangente es perpendicular al plano asintótico. Busquemos el punto central dado por el valor del parámetro v = v correspondiente a una reglante genérica de parámetro u: N(u, v ) (ī (u) ı (u)) = 0 = (ȳ ı) (ī ı) + v (ī ı) (ī ı) = = ȳ ī + v (ī ī ) v = ȳ ī ī ī La linea de estricción de una superficie reglada alabeada es la curva que forman los puntos centrales, cuya ecuación paramétrica será: w(u) = x(u, v (u)) = ȳ(u) ī (u) ȳ (u) ı (u) ī (u) ī (u)