Algunos resultado preliminares

Definiciones importantes
Resultados principales

Longitud de Arco de Curvas parametrizadas

Definicion y Propiedades

MAT 373 GEOMETRIA DIFERENCIAL

Estudiantes: I. Mamani, J. Nieto

MAT 373 GEOMETRIA DIFERENCIAL Longitud de Arco de Curvas parametrizadas

 Algunos resultado preliminares
Definiciones importantes
Resultados principales

Contents

1 Algunos resultado preliminares

2 Definiciones importantes

3 Resultados principales

MAT 373 GEOMETRIA DIFERENCIAL Longitud de Arco de Curvas parametrizadas

 Algunos resultado preliminares
Definiciones importantes
Resultados principales

Desigualdad del Valor Medio

El teorema del valor medio, para una funcion diferenciable

f : [a, b] → R dice que existe c ∈ (a, b) tal que
f (b) − f (a) = f 0 (c) (b − a) . Esta última igualdad no es siempre
válida para caminos f : I → Rn . Por ejemplo, si consideramos la
funcion f : [0, 2π] → R2 , dada por f (t) = (cos (t) , sin (t)).
Tenemos que |f (2π) − f (0)| = 0. Sin embargo |f 0 (x )| = 1 para
cualquier x ∈ (0, 2π). Así tendriamos
|f (2π) − f (0)| = f 0 (x ) (2π − 0), o lo que es lo mismo 0 = 2π,
 
| {z } | {z }
0 1
lo que es una clara contradiccion en el dominio de f . Sin embargo
tenemos el siguiente resultado importante.

MAT 373 GEOMETRIA DIFERENCIAL Longitud de Arco de Curvas parametrizadas

Desigualdad del Valor Medio

Theorem
Sea f : [a, b] → Rn un camino diferenciable en el intervalo (a, b),
con |f 0 (t)| ≤ M, para cada t ∈ (a, b). Entonces
|f (b) − f (a)| ≤ M · (b − a).
Existen dos demostraciones para este teorema. Sin embargo,
cuando la norma proviene de un producto interno, existe una
tercera demostracion, mas sencilla, que se logra definiendo la
funcion ϕ : [a, b] → R con ϕ (t) = hf (t) , f (b) − f (a)i. Entonces
por el teorema del valor medio, existe c ∈ (a, b) tal que
ϕ (b) − ϕ (a) = ϕ0 (c) (b − a) puesto que ϕ (t) es continua en
[a, b] y es derivable en (a, b) .
Recordemos que

hf , gi0 = hf 0 , gi + hf , g 0 i
Desigualdad del Valor Medio

Por lo que tendriamos ϕ0 (t) = hf 0 (t) , f (b) − f (a)i. Por otro lado

ϕ (b) − ϕ (a) = hf (b) , f (b) − f (a)i − hf (a) , f (b) − f (a)i

= hf (b) − f (a) , f (b) − f (a)i = |f (b) − f (a)|2

Junto con la desigualdad de Schwarz tenemos que

|f (b) − f (a)|2 = hf 0 (c) , f (b) − f (a)i (b − a)

≤ |f 0 (c)| · |f (b) − f (a)| · (b − a) ≤ M · |f (b) − f (a)| · (b − a)

O lo que es lo mismo |f (b) − f (a)| ≤ M (b − a).

Diferenciabilidad Uniforme

Theorem
Todo camino f : [a, b] → Rn , de clase C 1 en el intervalo compacto
[a, b], es uniformemente diferenciable.
Una funcion es uniformemente derivable si dado ε > 0 existe δ > 0
+ h} ∈ [a, b], 0 < |h| < δ implica que
talque si x , x| {z
 y 
 f (x +h)−f (x )
− f 0 (x ) < ε. La demostracion de este teorema en Rn

 h
se basa, de manera general, bajo las siguientes observaciones:
Diferenciabilidad Uniforme

1 Una funcion fi : [a, b] → R es uniformemente diferenciable si y

solo si es de clase C 1 .
2 Un camino f es uniformemente diferenciable en la norma del
máximo si y solo si cada una de sus coordenadas lo son. (Esto
se justifica afirmando que f es uniformemente diferenciable en
la norma del máximo cuando cada una de sus coordenadas lo
son y puede escoger a cualquiera de estas).
3 La diferenciabilidad uniforme no considera la norma adoptada
en Rn . (Pues las normas son equivalentes).
No se demostrara el teorema anterior, porque su demostracion
puede encontrarse en un libro de análisis real. Veremos mas
adelante la importancia de esta teorema. Por otro lado, el
reciproco del anterior teorema es tambien válido.
 Algunos resultado preliminares
Definiciones importantes
Resultados principales

Camino poligonal

Dado un camino f : [a, b] → Rn , cada particion

P = {a = t0 , t1 , t2 , ..., tk = b} de [a, b] determina un camino
poligonal inscrito en la imagen de f , cuyos vertices son definidos
por los puntos f (a) , f (t1 ) , ..., f (tk−1 ) , f (b). Entonces la
longitud de dicho camino poligonal viene dado por el número
k
|f (ti ) − f (ti−1 )|
P
l (f ; P) =
i=1

MAT 373 GEOMETRIA DIFERENCIAL Longitud de Arco de Curvas parametrizadas

 Algunos resultado preliminares
Definiciones importantes
Resultados principales

Camino poligonal

A veces denotamos l (f ; P) como l (P). Decimos que un camino es

rectificable cuando el conjunto de los números reales l (P),
obtenidos al considerar todas las particiones P del intervalo [a, b]
esta acotado superiormente. Por lo que el supremo de dicho
conjunto se le llama la longitud del camino f , el cual es
representado por l (f ). Así

l (f ) = supl (f ; P) = supl (P)

P P

MAT 373 GEOMETRIA DIFERENCIAL Longitud de Arco de Curvas parametrizadas

Caminos con longitud infinita

El camino continuo

f : [a, b] → R2 definido por

π
f (t) = t, t · sin 2t para t 6= 0 y f (0) = (0, 0), no es
rectificable.
n Para esto vemos
o que con las particiones
1 1 1 1
P = 0, k+1 , k , ..., 3 , 2 , 1 , con k = 4m − 1 obtenemos los
siguientes valores
            
1   1 1 
l (f ; P) = f (1) − f + f − f  + f 31 − f 14  +
  
2
 
 
 2  3
1
... + f k+1 − f (0) l (f ; P) =
 
         
(1, 1) − 12 , 0  +  12 , 0 − 31 , − 31  + ... +  k+1
 1
, 0 − (0, 0)
    
Caminos con longitud infinita

Por la norma del máximo vemos quen tenemos las sumatoria

1 1 1 1 1 1
l (f ; P) = 1 + + + + + ... + +
|3 {z 3} |5 {z 5} k + 1 {z k + 1}
|
> 12 > 31 > k1

Sin embargo notemos que l (f ; P) ≥ 1 + 12 + 31 + ... + k1 , con

k > 1. Como la serie armónica diverge cuando k → ∞. entonces
l (f ; P) diverge. Una ímagen ilustra los vectores que rectifican la
gráfica de la funcion f
Caminos con longitud infinita
Algunas observaciones

No es necesario que la funcion tome muchos valores iguales para

que el camino
 seainfinito, por ejemplo la funcion
f (t) = t, sin 1t , con f (0) = (0, 0) es inyectiva. Otra funcion
que tiene
 un comportamiento
  similar al anterior ejemplo es
 
1 1
f (t) = t · cos t , t · sin t . En este caso, cuando t → 0,
f (t) → (0, 0) el cual tiene una forma de espiral y rota
infinitamente hasta alcanzar el origen.
Principales teoremas

Antes de demostrar el siguiente teorema, definimos lo siguiente.

Sea f : [a, b] → Rn . El siguiente límite lim l (P), indica que la
|P|→0
particion P, del intervalo [a, b], cada vez se hace mas fina. En caso
de existir tal limite como un número, tenemos el siguiente teorema
que lo caracteriza
Theorem
Si lim l (P) = A entonces A = supl (P), esto significa que el
|P|→0 P
camino f : [a, b] → Rn es rectificable y l (f ) = A.
La demostracion de este teorema se puede encontrar en un libro de
Análisis en Rn y no sera demostrado. A continuacion tenemos el
siguiente teorema central.
Principales teoremas

Theorem
Todo camino
Ra 0
f : [a, b] → Rn de clase C 1 es rectificable y
l (f ) = b |f (t)| dt.
Rb
Vamos a mostrar que, en efecto, lim l (P) = a |f 0 (t)| dt, con P
|P|→0
una particion intervalo [a, b] compacto. Para
k
P = {t0 < t1 < ... < tk } sea |f 0 (ti−1 )| (ti − ti−1 ) y
P P
(P) =
i=1
k
|f (ti ) − f (ti−1 )|.
P
l (P) =
i=1
Principales teoremas

Rb
|f 0 (t)| dt. Como f ∈ C 1 , f es
P
Sabemos que lim (P) = a
|P|→0
uniformemente derivable. Esto significa que dado un ε > 0 existe
un δ > 0 tal que si |P| < δ entonces
f (ti ) − f (ti−1 ) = (f 0 (ti−1 ) + ρi ) (ti − ti−1 ) con |ρi | < (b−a)
ε
para
cada i ∈ {1, 2, ..., k}.
Principales teoremas

Recuerdese llanamente que ti = ti−1 + h con 0 < |h| < δ, vale

decir que |P| = max {|ti − ti−1 |}. Por consiguiente tenemos que
k k
|f (ti ) − f (ti−1 )| = |f 0 (ti−1 ) + ρi | (ti − ti−1 ). Por lo
P P
l (P) =
i=1 i=1
que obtenemos que  

k  k
X 
ε

| (P) − l (P)| ≤ |ρi | (ti − ti−1 ) < (ti − ti−1 )
P P
 = ε.

b−a 
i=1  i=1 
| {z }
P b−a
Así, lim (P) = lim l (P), o lo que es lo mismo
|P|→0 |P|→0
Rb 0
lim l (P) = a |f (t)| dt. Pero lim l (P) = supl (P) = l (f ).
|P|→0 |P|→0 P