Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Curvas 2

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 8

10 CAPÍTULO 1.

CURVAS EN EL PLANO Y EN EL ESPACIO

1.3. Teorı́a local de curvas planas

1.3.1. Diedro de Frenet. Curvatura

Si α : I −→ R2 es una curva diferenciable parametrizada por la longitud del arco, el vector tangente
α′ (s) es unitario. A dicho vector tangente, a partir de ahora, lo representaremos como t(s) = α′ (s).

Observación 1.3.1. -

La aplicación t : I −→ R2 diferenciable con kt(s)k = 1.

Existen únicamente dos vectores unitarios perpendiculares a t(s) Uno de ellos se corresponde

t(s)
D

Figura 1.11: Hay dos vectores unitarios perpendiculares a t(s).

con el giro (de 90o ) en el sentido de las agujas del reloj y el otro en el sentido contrario. Ambos
vienen dados por una transformación ortogonal de R2 en R2 .

Definición 1.3.2 (Vector normal unitario). Llamaremos vector normal unitario a la curva α en
s (o en el punto α(s)), al vector n(s) = J t(s), donde J : R2 −→ R2 es el giro de 90o en sentido
contrario a las agujas del reloj.

t(s)
n(s)
D

Figura 1.12: Vector normal unitario

Observación 1.3.3. -

Si α(s) = (x(s), y(s)), entonces t(s) = (x′ (s), y ′ (s)); y por tanto, n(s) = (−y ′ (s), x′ (s)).

La recta normal a la curva α en el punto α(s) es la que pasa por dicho punto y tiene como vector
director a n(s).

Propiedades.- Se verifican las siguientes propiedades:

1. n : I −→ R2 es una aplicación diferenciable.


1.3. TEORÍA LOCAL DE CURVAS PLANAS 11

2. n(s) es un vector unitario.


3. ht(s), n(s)i = 0.
x′ (s) −y ′ (s)
4. det(t(s), n(s)) = = 1.
y ′ (s) x′ (s)
5. Los vectores t(s) y n(s) constituyen una base ortonormal de R2 , para cada s ∈ I.
Definición 1.3.4 (Diedro de Frenet). La base {t(s), n(s)} se llama diedro (orientado) de Frenet.

El estudio del comportamiento local de una curva lleva consigo conocer como se va ”curvando” o
”doblando” dicha curva en cada punto. Utilizaremos el diedro de Frenet, observando cómo cambia,
para obtener una idea clara sobre este aspecto.
Proposición 1.3.5. Sea α : I −→ R2 una curva diferenciable parametrizada por la longitud del arco
regular. Para cada s ∈ I, el vector t′ (s) está en la dirección de n(s), es decir

t′ (s) = k(s) n(s), para cada s ∈ I.


Además:

(a) k(s) = ht′ (s), n(s)i = −ht(s), n′ (s)i.


(b) k : I −→ R definida como en el apartado anterior, es una función diferenciable.
(c) n′ (s) = −k(s) t(s).

Demostración. Para cada s ∈ I, se verifica k t(s)k2 = ht(s), t(s)i = 1; si derivamos,


ht′ (s), t(s)i = 0,
lo que significa que t′ (s) es ortogonal a t(s) y por tanto proporcional a n(s). Por tanto, para cada
s ∈ I existe, un número real k(s) de manera que se cumple t′ (s) = k(s) n(s).
Para obtener el apartado (a), tengamos en cuenta que k n(s)k2 = hn(s), n(s)i = 1; si hacemos el
producto escalar de t′ (s) y n(s); entonces
ht′ (s), n(s)i = hk(s) n(s), n(s)i = k(s)

Por otro lado, como t(s) y n(s) son ortogonales, ht(s), n(s)i = 0. Si ahora derivamos esta expresión,
obtenemos que
ht′ (s), n(s)i + ht(s), n′ (s)i = 0
lo que significa que
k(s) = ht′ (s), n(s)i = −ht(s), n′ (s)i. (1.3)

La afirmación de (b), está clara a teniendo en cuenta el apartado (a).


Por último, obtengamos la igualdad (c). n(s) es unitario, luego, hn(s), n(s)i = 1 y derivando, obten-
emos hn′ (s), n(s)i = 0, lo que significa que n′ (s) es perpendicular a n(s) y por tanto, proporcional a
t(s), es decir n′ (s) = h(s) t(s), con h(s) número real para cada s ∈ I. Sustituyendo en la igualdad
(1.3).
k(s) = −ht(s), h(s) t(s)i = −h(s)
lo que implica que n′ (s) = −k(s) t(s)
12 CAPÍTULO 1. CURVAS EN EL PLANO Y EN EL ESPACIO

Definición 1.3.6 (Curvatura). A la función k : I −→ R, se le llama curvatura de la curva plana


α. Observemos que la curvatura también se puede expresar como
k(s) = hα′′ (s), Jα′ (s)i.
Si k(s) 6= 0, se llama radio de curvatura de la curva α a 1/k(s).
Definición 1.3.7 (Fórmulas de Frenet). A las igualdades

t′ (s) = k(s) n(s) y n′ (s) = −k(s) t(s)

se les llama fórmulas de Frenet o ecuaciones de Frenet.

Siguiendo con la denominación heredada de la Fı́sica, llamamos vector aceleración al vector α′′ (s) =
t′ (s), . Observemos que, en esta terminologı́a, como la velocidad es constante kα′ (s)k = k t(s)k = 1,
no hay aceleración tangencial, únicamente hay aceleración centrı́peta o normal; por otro lado, según
las fórmulas de Frenet,
α′′ (s) = t′ (s) = k(s) n(s), es decir, kα′′ (s)k = |k(s)|.
Esto significa que |k(s)| determina el valor de la aceleración centrı́peta y, por tanto, determina el
cambio de dirección de la curva. Esto justifica, de alguna manera, que k(s) reciba el nombre de
curvatura. Ası́, dado que n(s) era el resultado de un giro de 90o del vector t(s) en sentido contrario a
las agujas del reloj, si k(s) > 0 la curva gira en esta última dirección, y si k(s) < 0, lo hace en sentido
contrario; según el sentido en que ”recorremos” la curva.

k(s)<0
k(s)>0
n(s)
D
t(s)
n(s)

t(s)

Figura 1.13: Curvatura

Observación 1.3.8. Si α(s) = (x(s), y(s)), entonces, n(s) = (−y ′ (s), x′ (s)) y t′ (s) = (x′′ (s), y ′′ (s));
entonces
x′ (s) y ′ (s)
k(s) = ht′ (s), n(s)i = −x′′ (s)y ′ (s) + y ′′ (s)x′ (s) = = det(n(s), t′ (s))
x′′ (s) y ′′ (s)
Ejercicios 1.3.9. -

14. Calcule las curvaturas de una una recta y de una circunferencia, parametrizadas por la longitud
del arco.
15. Sea α : I −→ R2 una curva plana regular parametrizada por la longitud de arco s, y sea
M x = Ax + b, M : R2 −→ R2 , un movimiento rı́gido. Si representamos por β la curva M ◦ α,
demuestre que β también está parametrizada por la longitud de arco y que su curvatura kβ (s) =
±kα (s) = (det A)kα (s), para todo s ∈ I.
16. Sean α, β : I −→ R2 dos curvas planas, regulares, parametrizadas por la longitud de arco s,
tales que kα (s) = −kβ (s) para todo s ∈ I. Demuestre que existe un movimiento rı́gido inverso
M : R2 −→ R2 tal que β = M ◦ α.
1.3. TEORÍA LOCAL DE CURVAS PLANAS 13

17. Sea α : I → R2 una curva plana regular parametrizada por la longitud de arco s. Pruebe que α
es un segmento de recta o un arco de circunferencia si, y sólo si, su curvatura k es constante.
18. Sea α : I −→ R2 una curva parametrizada por la longitud del arco. Supongamos que existe
una función θ : I −→ R diferenciable, de forma que el ángulo que forma la recta tangente a
α para cada s ∈ I, con una dirección fija v, es precisamente θ(s). Demuestre que, entonces,
θ′ (s) = ±k(s).

Si α : I −→ R2 es una curva plana, que no está parametrizada por la longitud del arco, sabemos que
se puede reparametrizar por el arco, de tal manera que existe g : J −→ I difeomorfismo tal que la
curva β = α ◦ g tiene la misma traza que α y, además, está parametrizada por la longitud del arco.

g D
J I R2

Figura 1.14: Curva reparametrizada por el arco

Definición 1.3.10. Definimos la curvatura de una curva α, no necesariamente parametrizada por la


longitud del arco, como kα (t) = kβ (g(s)), donde β es la reparametrización de α por la longitud del
arco, kβ es su curvatura y g es el cambio de parámetro correspondiente. Ası́, la curvatura no depende
de la parametrización y, por tanto es una propiedad de la traza (geométrica).
Proposición 1.3.11. Si α : I −→ R2 es una curva parametrizada diferenciable regular (no necesari-
amente por la longitud del arco). Entonces
hα′′ (t), Jα′ (t)i det(α′ (t), α′′ (t))
kα (t) = =
kα′ (t)k3 kα′ (t)k3

Demostración. Sea β : J −→ R2 la reparametrización de α por la longitud del arco y g : J −→ I


el cambio de parámetro. Por la proposición 1.3.5, tenemos que kβ (s) = ht′β (s), nβ (s)i. Por otro lado
tenemos
tβ (s) = β ′ (s) = α′ (g(s))g ′ (s);
y por tanto,

t′β (s) = α′′ (g(s))(g ′ (s))2 + α′ (g(s))g ′′ (s) = α′′ (t)(g ′ (s))2 + α′ (t))g ′′ (s).

Además nβ = Jtβ (s) = Jα′ (g(s)g ′ (s) = Jα′ (t)g ′ (s). Entonces volviendo a la fórmula del principio,

kβ (s) = hα′′ (t)(g ′ (s))2 + α′ (t))g ′′ (s), Jα′ (t)g ′ (s)i =

hα′′ (t)(g ′ (s))2 , Jα′ (t)g ′ (s)i + hα′ (t))g ′′ (s), Jα′ (t)g ′ (s)i =
(g ′ (s))3 hα′′ (t), Jα′ (t)i
puesto que hα′ (t)), Jα′ (t)i = 0. Para terminar sólo hay que tener en cuenta que
1 1
g ′ (s) = = .
kα′ (g(s))k kα′ (t)k
14 CAPÍTULO 1. CURVAS EN EL PLANO Y EN EL ESPACIO

Ejercicios 1.3.12. -

19. Halle la curvatura de la cicloide en el punto de mayor ordenada de un arco.


20. Halle el punto de mayor curvatura de la curva α(t) = (t, ln t).

El siguiente teorema muestra cómo la curvatura caracteriza la traza de una curva plana.
Teorema 1.3.13 (Fundamental de la teorı́a local de curvas planas). Sea k : I −→ R una
función diferenciable , con I ⊂ R un intervalo abierto. Entonces, existe una curva plana α : I −→ R2 ,
parametrizada por la longitud del arco , de manera que la curvatura de α, es, precisamente kα (s) =
k(s), para cada s ∈ I. Además, la curva α es única, salvo movimientos rı́gidos.

Demostración. Vamos a apoyarnos en el ejercicio 18 de la página 13. Para ello definimos una función
que haga el papel del ángulo señalado en dicho ejercicio: θ : I −→ R, se define como
Z s
θ(s) = k(u)du, con s0 ∈ I, arbitrario .
s0

Está claro que θ es una función diferenciable que verifica θ′ (s) = k(s). Entonces θ(s) debe ser el
ángulo que forma la curva α que buscamos, con una dirección fija; lo que significa que debe ocurrir
que α′ (s) = (cos θ(s), sen θ(s)). Por tanto definimos la curva α como
Z s Z s 
α(s) = cos θ(u)du, sen θ(u)du
s1 s1

con s1 ∈ I cualquiera. Esta aplicación es claramente diferenciable y cumple kα′ (t)k = 1, por tanto se
trata de una curva parametrizada por la longitud del arco. Veamos que su curvatura kα (s), coincide
con k(s).
Su diedro de Frenet es

t(s) = α′ (s) = (cos θ(s), sen θ(s)) y n(s) = Jα′ (s) = (− sen θ(s), cos θ(s))

y por tanto
t′ (s) = (−θ′ (s) sen θ(s), θ(s) cos θ(s)) = θ′ (s)(sen θ(s), cos θ(s))
Por fin, calculemos la curvatura

kα (s) = ht′ (s), n(s)i = θ′ (s) = k(s),

con lo que hemos encontrado la curva buscada.


Veamos ahora que dicha curva es única, salvo movimientos rı́gidos. Supongamos, entonces que existe
otra curva β : I −→ R2 parametrizada por la longitud del arco tal que, su curvatura es kβ (s) = k(s),
y veamos que hay un movimiento rı́gido M x = Ax + b tal que β = M α.
Tomemos s0 ∈ I fijo. Los diedros de Frenet, de α y β en s0 son

{tα (s0 ), nα (s0 )}) y {tβ (s0 ), nβ (s0 )}),

que constituyen, dos bases ortonormales de R2 , positivamente orientadas, existe una única transfor-
mación ortogonal, a saber, una rotación, A ∈ SO(2), que lleva una base a otra

A tα (s0 ) = tβ (s0 ) y A nα (s0 ) = nβ (s0 )


1.3. TEORÍA LOCAL DE CURVAS PLANAS 15

n (s 0 )
D t (s 0 )
E
n (s 0 )
E
tD (s0 )
D
D (s 0 )

Figura 1.15: Un giro transforma una base en otra.

A partir de A vamos a encontrar el movimiento M ; para ello tomamos el giro anterior A y b =


β(s0 ) − Aα(s0 ); y definimos M x = Ax + b. Vamos a ver que la curva γ = M α coincide con β.
En primer lugar tenemos que
γ(s0 ) = Aα(s0 ) + b = Aα(s0 ) + β(s0 ) − Aα(s0 ) = β(s0 )
Los diedros de Frenet en s0 , también coinciden
tγ (s0 ) = (M α)′ (s0 ) = (Aα)′ (s0 ) = Aα′ (s0 ) = A tα (s0 ) = tβ (s0 )
y de la misma forma
nγ (s0 ) = nβ (s0 )
Además
kγ (s) = ht′γ (s), nγ (s)i = hγ ′′ (s), Jγ ′ (s)i = hAα′′ (s), J(Aα′ )(s)i =
hAα′′ (s), A(Jα′ )(s)i = hα′′ (s), Jα′ (s)i = kα (s) = k(s)

Definimos ahora la función


1
k tβ (s) − tγ (s)k2
f (s) =
2
y veamos que es idénticamente nula. Observemos que f (s0 ) = 0. Además la función la podemos
expresar como producto escalar
1
f (s) = htβ (s) − tγ (s), tβ (s) − tγ (s)i
2
y si derivamos
f ′ (s) = ht′β (s) − t′γ (s), tβ (s) − tγ (s)i
que mediante las expresiones obtenidas en la proposición 1.3.5, es
f ′ (s) = hkβ (s) nβ (s) − kγ (s) nγ (s), tβ (s) − tγ (s)i
operando, llegamos a que
f ′ (s) = −k(s) (hnβ (s), tγ (s)i + hnγ (s), tβ (s)i)
Por otro lado observemos que
hnγ (s), tβ (s)i = hJ tγ (s), tβ (s)i = −htγ (s), J tβ (s)i = −htγ (s), nβ (s)i
con lo que sustituyendo en la expresión anterior de f ′ (s), obtenemos que f ′ (s) ≡ 0. por tanto f (s) es
una función constante, pero como f (s0 ) = 0 concluimos que la función f es idénticamente nula.
Esto significa que tβ (s) = tγ (s), es decir β ′ (s) = γ ′ (s), para todo s ∈ I; y entonces 0 = β ′ (s) − γ ′ (s) =
(β(s) − γ(s))′ . Esto último implica que β(s) − γ(s) es constante; pero sabemos que β(s0 ) = γ(s0 ), lo
que permite concluir que las β y γ coinciden.
16 CAPÍTULO 1. CURVAS EN EL PLANO Y EN EL ESPACIO

Ejercicios 1.3.14. -

1
21. Determine la curva cuya curvatura es k(s) = , con s > 0, a > 0.
as + b
22. Calcule los vectores tangente, normal y la curvatura de una cicloide, en los puntos en los que
sea posible.
23. Sea f : I −→ R una función diferenciable. Demuestre que la curva α(t) = (t, f (t)) tiene en t = t0
curvatura cero si, y sólo si, f tiene en t0 un punto de inflexión.
24. Sea α : I → R2 una curva plana regular parametrizada por la longitud de arco.
a) Demuestre que α es un segmento de recta si, y sólo si, todas sus rectas tangentes son
paralelas.
b) Demuestre que α es un arco de circunferencia si, y sólo si, todas sus rectas normales pasan
por un punto común.
25. Sea α : I → R2 una curva plana regular parametrizada por la longitud de arco s. Supongamos
que existe s0 ∈ I tal que kα(s)k ≤ kα(s0 )k para todo s ∈ I. Demuestre que kα(s0 )k > 0 y que
|k(s0 )| ≥ 1/kα(s0 )k.
26. Viajamos por el plano partiendo del origen (0,0). Y lo hacemos siguiendo la traza de la curva
α : [0,1) −→ R2 (parametrizada por la longitud del arco), que cumple:
1
α(0) = (0, 0); α′ (0) = (1, 0); la curvatura es k(s) = √ , para cada s ∈ [0, 1).
1 − s2
Tras recorrer una unidad de longitud (s = 1) (por ejemplo metros), abandonamos la curva para
seguir la dirección de la tangente a la curva en el punto de escape. Recorremos ası́ otros 3 metros.
¿A qué distancia (en metros) del punto original (0, 0) nos encontraremos?

(¡Atención!, la curva sólo está definida para 0 ≤ s < 1, ası́ que el “punto” α(1) y el “vector tangente”
α′ (1) hay que entenderlos en el sentido del lı́mite s −→ 1− .)

27. Sea α : I −→ R2 una curva regular parametrizada por el arco. Pruebe que todas las rectas
normales a α equidistan de un punto si, y sólo si, existen a, b ∈ R tales que
1
k(s) = ± √ para todo s ∈ I.
as + b

28. (Evoluta). Sea α : I −→ R2 una curva parametrizada por la longitud del arco y s0 ∈ I, con
k(s0 ) > 0. Consideremos aλ = α(s0 ) + λ n(s0 ), con λ ∈ R − {0}, un punto sobre la recta normal
a α en s0 . Definimos la función fλ : I −→ R como

fλ (s) = kα(s) − aλ k2

que mide la distancia al cuadrado, de los puntos de la curva al punto aλ . Demuestre:


a) fλ (s0 ) = λ2 , fλ′ (s0 ) = 0 y fλ′′ (s0 ) = 2(1 − λk(s0 )).
b) Si λ < k(s10 ) , existe un entorno U de s0 en I, tal que α(U ) está fuera de la circunferencia
de centro aλ y radio |λ|.
c) Si λ > k(s10 ) , existe un entorno U de s0 en I, tal que α(U ) está dentro de la circunferencia
de centro aλ y radio |λ|.
1.3. TEORÍA LOCAL DE CURVAS PLANAS 17

1 1
Observemos que la circunferencia de centro a k(s1 = α(s0 ) + n(s0 ) y radio , es la que
0) k(s0 ) k(s0 )
mejor aproxima a la curva en un entorno de s0 . A dicha circunferencia se le llama circunferencia
osculatriz de α, a su radio, radio de curvatura y a su centro, centro de curvatura. A la curva
formada por todos los centros de curvatura de α,
1
β(s) = α(s) + n(s), suponiendo k(s) > 0,
k(s)

se llama evoluta de α. Por último, si β es la evoluta de una curva plana regular α, se dice que
α es la involuta de β.

a) Demuestre que la evoluta de α es la única curva de la forma

β(t) = α(t) + f (t) n(t)

donde f : I −→ R es diferenciable, tal que la recta normal a α coincide con la recta tangente
a β, para cada t ∈ I.
b) Si la curvatura de α es positiva no decreciente y β : I −→ R2 es su evoluta. Demuestre que
1 1
Lsa (β) = − ,
k(a) k(s)

para a ∈ I arbitrario y s ∈ I, s ≥ a.
c) Demuestre que la evoluta de una curva regular es regular si, y sólo si, k ′ (s) 6= 0 para todo
s ∈ I.

También podría gustarte