Captulo 2

Caminhos no espac o Euclidiano

1 Caminhos diferenci aveis
Nota: Neste captulo, os
caminhos n ao ser ao por
denic ao, contnuos. Mas,
a partir do pr oximo captulo,
os caminhos voltar ao a ser
contnuos.
Denic ao 1.1. Um caminho em R
n
e uma aplicac ao f : I R
n
de-
nida num intervalo I R. Se f(t) = (f
1
(t), . . . , f
n
(t)), t I, as n func oes
f
i
: I R s ao chamadas as func oes coordenadas de f.
Observac ao 1.1. f = (f
1
, . . . , f
n
) : I R
n
e contnua no ponto a I f
i
: I R e
contnua no ponto a I, para todo i = 1, . . . , n.
Observac ao 1.2. Se f = (f
1
, . . . , f
n
) e denida no conjunto X R e a X

, ent ao
lim
xa
f(x) = b = (b
1
, . . . , b
n
) se, e s o se, lim
xa
f
i
(x) = b
i
para todo i = 1, . . . , n.
Observac ao 1.3. Se X R e a X

+
, ou seja, a e ponto de acumulac ao ` a direita de X,
dizemos que lim
xa
+
f(x) = b quando,
para todo > 0, existe > 0 tal que x X, a < x < a + =f(x) b < .
De modo an alogo, se X R e a X

, ou seja, a e ponto de acumulac ao ` a esquerda de X,

dizemos que lim
xa

f(x) = b quando,
para todo > 0, existe > 0 tal que x X, a < x < a =f(x) b < .
Assim, podemos provar que se a X

, ent ao lim
xa

f(x) = b = (b
1
, . . . , b
n
) se, e s o se,
lim
xa

f
i
(x) = b
i
, para todo i = 1, . . . , n.
Denic ao 1.2. O vetor velocidade do caminho f : I R
n
no ponto a X e, por denic ao, o
limite
83
An alise
f

(a) = lim
t0
f(a + t) f(a)
t
.
quando tal limite existe. A norma f

(a) chama-se velocidade escalar de f no ponto a.

Quando f possui vetor velocidade no ponto a I, dizemos que f e diferenci avel nesse ponto.
E se existe f

(a) para todo a I, dizemos que f e um caminho diferenci avel.

Quando f

(a) = 0, o vetor velocidade f

(a) determina a reta L = { f(a) + t f

(a) | t R}, cha-

mada reta tangente ` a curva f no ponto a.
Fig. 1: Reta tangente ` a curva f no ponto a
Observac ao 1.4. A diferenciabilidade de f no ponto a I e o limite lim
t0
f(a + t) f(a)
t
inde-
pendem da norma considerada em R
n
.
Observac ao 1.5. f = (f
1
, . . . , f
n
) e diferenci avel no ponto a I se, e s o se, f
i
: I R e
deriv avel no ponto a para todo i = 1, . . . , n, pois
f
i
(a + t) f
i
(a)
t
s ao as coordenadas do vetor
f(a + t) f(a)
t
para todo t I.
Neste caso, f

(a) = (f

1
(a), . . . , f

n
(a)).
Observac ao 1.6.
Um caminho f : I R
n
e diferenci avel no ponto a I se, e s o se, existe um vetor v R
n
tal
que, para a + t I, temos
f(a + t) = f(a) + t v + r(t) ,
onde lim
t0
r(t)
t
= 0. Neste caso, v = f

(a).
De fato, a igualdade acima nos d a, para t = 0,
f(a + t) f(a)
t
v =
r(t)
t
.
Equivalentemente, f e diferenci avel no ponto a I se, e s o se, existe v R
n
tal que, para
a + t I,
f(a + t) = f(a) + [v + (t)]t ,
onde lim
t0
(t) = 0.
84
Instituto de Matem atica UFF
Caminhos diferenci aveis
Basta por (t) =
r(t)
t
, se t = 0, e (0) = 0.
Observac ao 1.7. Se I = [a, b), s o podemos denir a derivada lateral de f ` a direita no ponto
a:
f

(a
+
) = lim
t0
+
f(a + t) f(a)
t
.
E se I = (a, b], s o podemos denir a derivada lateral de f ` a esquerda no ponto b:
f

(b

) = lim
t0

f(b + t) f(b)
t
.
Podemos vericar facilmente, que se a int I, ent ao f : I R e diferenci avel no
ponto a se, e s o se, existem e s ao iguais as derivadas laterais de f no ponto a. Neste caso,
f

(a) = f

(a
+
) = f

(a

).
Exemplo 1.1. Se f : R R
2
e o caminho f(t) = (cos(t), sen(t)) = e
it
, para todo t R,
ent ao f e diferenci avel em R, f

(t) = (sent, cos t) = i e

it
, f(R) = S
1
e f

(t) = 1, ou seja, a
velocidade escalar e constante igual a 1.

Exemplo 1.2. Seja g : R R

2
o caminho dado por g(t) = (t, |t|). Ent ao g

(t) = (1, 1), para

todo t > 0 e g

(t) = (1, 1), para todo t < 0.

Fig. 2: h(R) =g(R)
Mas g n ao possui vetor velocidade no ponto t = 0, pois as
derivadas laterais g

(0
+
) = (1, 1) e g

(0

) = (1, 1) s ao dife-
rentes.. A imagem de g e o gr aco da func ao m odulo y = |x|,
que apresenta um ponto anguloso na origem.
Podemos, no entanto, descrever a mesma imagem por meio de
outras parametrizac oes . Por exemplo, consideremos o cami-
nho h : R R
2
dado por h(t) = (t
3
, t
2
|t|). Ent ao h(R) = g(R),
h

(t) = (3t
2
, 3t
2
), t > 0, h

(t) = (3t
2
, 3t
2
), t < 0 e h

(0) = (0, 0), pois h

(0
+
) = h

(0

) = (0, 0).
Ou seja, para descrever a rota h(R), o ponto, cuja posic ao no tempo t e h(t), precisou dar uma
parada instant anea ao atingir o ponto anguloso (0, 0) de sua trajet oria (ver exerccio 1.15).

Observac ao 1.8. Se f, g : I R
n
s ao caminhos diferenci aveis e : I R e uma func ao
diferenci avel, temos que:
(1)
d
dt
[f(t) + g(t)] = f

(t) + g

(t) ; (3)
d
dt
f(t), g(t) = f

(t), g(t) +f(t), g

(t) ;
(2)
d
dt
[(t) f(t)] =

(t) f(t) + (t) f

(t) ; (4)
d
dt
f(t) =
f(t), f

(t)
f(t)
, se f(t) = 0 ,
onde e a norma que prov em de um produto interno , em R
n
, ou seja, x =
_
x, x para
todo x R
n
.
J. Delgado - K. Frensel
85
An alise
As propriedades acima seguem das propriedades usuais da derivada de uma func ao real
de uma vari avel real aplicadas ` as func oes coordenadas de um caminho diferenci avel.
Observac ao 1.9. Se uma norma n ao prov em de um produto interno, podemos ter um
caminho diferenci avel f : I R
n
, com f(t) = 0 para todo t I, para o qual a func ao
(t) = f(t) n ao e diferenci avel.
Por exemplo, seja f : R R
2
o caminho diferenci avel dado por f(t) = (1, t). Considerando a
norma do m aximo em R
2
, temos que f(t)
M
= 1, se |t| 1 e f(t)
M
= |t|, se |t| 1. Logo a
func ao t f(t)
M
n ao possui derivada nos pontos t = 1 e t = 1.
Observac ao 1.10. Sempre que tomarmos a derivada de f(t) estaremos considerando que
prov em de um produto interno , .
Observac ao 1.11. Seja f : I R
n
um caminho diferenci avel. Ent ao f(t) tem comprimento
constante se, e s o se, o vetor velocidade f

(t) e perpendicular ao vetor posic ao f(t) para todo

t I.
De fato, f(t) = a para todo t I f(t), f(t) = a
2
para todo t I 2f(t), f

(t) = 0
para todo t I f(t) f

(t) para todo t I.

Exemplo 1.3. Seja o caminho diferenci avel f : R R
2
dado por f(t) = (cos t, sent). Ent ao
f(t) = 1 para todo t R e f

(t) = (sent, cos t) e perpendicular a f(t) para todo t R.

Fig. 3: f(t) f

(t) para todo t R

Neste exemplo, temos tamb em f

(t) = 1 para todo t R,

mas isso e acidental.
Por exemplo, para o caminho diferenci avel g : R R
2
, dado
por
g(t) = (cos t
2
, sent
2
),
temos g(t) = 1 para todo t R, g

(t) = (2t sent

2
, 2t cos t
2
)
e perpendicular a g(t) para todo t R, mas g

(t) = 2 |t| n ao
e constante.

Denic ao 1.3. Seja f : I R

n
um caminho diferenci avel. Se f

: I R
n
e contnuo,
dizemos que f e de classe C
1
.
E se f

e diferenci avel no ponto a I, dizemos que (f

(a) = f

(a) e a derivada segunda de f

no ponto a ou o vetor acelerac ao do caminho f no ponto a.
Tem-se f

(a) = (f

1
(a), . . . , f

n
(a)).
86
Instituto de Matem atica UFF
Caminhos diferenci aveis
Se existe f

(t) para todo t I, dizemos que f e duas vezes diferenci avel. E se f

e contnua,
dizemos que f e de classe C
2
.
Prosseguindo desta maneira, dizemos que o caminho f : I R
n
e p + 1 vezes diferenci avel
quando o caminho f
(p)
: I R
n
(derivada de ordem p de f) existe e e deriv avel. P oe-se, ent ao,
f
(p+1)
= (f
(p)
)

. Quando f
(p)
e de classe C
1
, dizemos que f e de classe C
p+1
.
Se existem as derivadas de todas as ordens do caminho f, dizemos que f e de classe C

.
Por extens ao, dizemos que um caminho contnuo e de classe C
0
e que f = f
(0)
e sua pr opria
derivada de ordem zero.
Denic ao 1.4. Dizemos que o caminho f : I R
n
e pvezes diferenci avel no ponto a I
quando existe > 0 tal que f e p 1 vezes diferenci avel no intervalo J = {t I | |t a| < } e
f
(p1)
e diferenci avel no ponto a.
Observac ao 1.12. Seja 0 p . Ent ao f = (f
1
, . . . , f
n
) C
p
( e de classe C
p
) se, e s o se,
f
i
C
p
para todo i = 1, . . . , n.
Denic ao 1.5. Seja p > 0. Dizemos que o caminho f : I R
n
e de classe C
p
por partes
quando f e contnua e existem t
1
< . . . < t
k
pertencentes ao interior do intervalo I tais que
f|
I(,t
1
]
, f|
[t
1
,t
2
]
, . . . , f|
[t
k1
,t
k
]
, f|
I[t
k
,+)
s ao de classe C
p
.
Exemplo 1.4. Para todo p > 0, considere o caminho f : R R
n
dado por f(t) = (t
p+1
, t
p
|t|).
Como t
p
|t| = t
p+1
para t 0 e t
p
|t| = t
p+1
para t 0, podemos provar, por induc ao, que f e
de classe C
p
, onde f
(p)
(t) = ((p + 1)! t, (p + 1)! t), para t 0, f
(p)
(t) = ((p + 1)! t, (p + 1)! t)
para t 0, e f
(p)
(0) = (0, 0).
Entretanto f n ao e p +1 vezes diferenci avel no ponto t = 0, pois f
(p+1)
(0
+
) = ((p +1)!, (p +1)!)
e f
(p+1)
(0

) = ((p + 1)!, (p + 1)!) .

Apesar disso, f e de classe C

por partes, pois

f|
(j)
(,0]
(t) =
_
(p + 1)!
((p + 1) j)!
t
p+1j
,
(p + 1)!
((p + 1) j)!
t
p+1j
_
e
f|
(j)
[0,+)
(t) =
_
(p + 1)!
((p + 1) j)!
t
p+1j
,
(p + 1)!
((p + 1) j)!
t
p+1j
_
s ao contnuas para todo 0 j p + 1, e f|
(j)
(,0]
= f|
(j)
[0,+)
0 s ao tamb em contnuas para todo
j > p + 1.

J. Delgado - K. Frensel
87
An alise
2 Integral de um caminho
Denic ao 2.1. Seja f : [a, b] R
n
um caminho limitado denido no intervalo compacto
[a, b]. Uma partic ao de [a, b] e um conjunto nito P = {t
0
< t
1
< . . . < t
k
}, onde t
0
= a e t
k
= b,
e a norma da partic ao P e o n umero |P| = max
0ik
(t
i
t
i1
) .
Uma partic ao pontilhada e um par P

= (P, ), onde P e uma partic ao e = (

1
, . . . ,
k
) e tal
que t
i1

i
t
i
para todo i = 1, . . . , k.
Dados f e uma partic ao pontilhada P

= (P, ), o somat orio

(f; P

) =
k

i=1
(t
i
t
i1
) f(
i
)
e chamado soma de Riemann.
Dizemos que um vetor v R
n
e o limite das somas de Riemann

(f; P

) quando a norma de
P tende a zero se, para todo > 0 dado, existe > 0 tal que
|P| < =
_
_
_

(f; P

) v
_
_
_ < .
Neste caso, dizemos que f e integr avel no intervalo [a, b] e chamamos v = lim
|P|a

(f; P

)
a integral de f no intervalo [a, b]. Usamos a notac ao

b
a
f(t) dt = v = lim
|P|0

(f; P

) .
Observac ao 2.1. O caminho limitado f = (f
1
, . . . , f
n
) e integr avel se, e s o se, f
i
: [a, b] R
e integr avel para todo i = 1, . . . , n. Neste caso,

b
a
f(t) dt =
_
b
a
f
1
(t) dt, . . . ,

b
a
f
n
(t) dt
_
.
Observac ao 2.2. Se f : [a, b] R
n
e integr avel e c [a, b], ent ao f|
[a,c]
e f|
[c,b]
s ao in-
tegr aveis e

b
a
f(t) dt =

c
a
f(t) dt +

b
c
f(t) dt .
Observac ao 2.3. Seja D o conjunto dos pontos de descontinuidade do caminho limitado
f = (f
1
, . . . , f
n
) : [a, b] R
n
e, para cada i = 1, . . . , n, seja D
i
o conjunto dos pontos de
descontinuidade da i esima func ao coordenada f
i
: [a, b] R. Ent ao D = D
1
. . . D
n
.
Como f
i
e integr avel se, e s o se, D
i
tem medida nula, temos que f e integr avel se, e s o se, D
tem medida nula.
De fato, m(D) = 0 m(D
i
) = 0 para todo i = 1, . . . , n f
i
e integr avel para todo
i = 1, . . . , n f e integr avel.
88
Instituto de Matem atica UFF
Integral de um caminho
Observac ao 2.4. A integrabilidade de f e o valor

b
a
f(t) dt n ao dependem da norma consi-
derada em R
n
.
Exemplo 2.1. Sejam f : [0, 2] R
2
e g : [0, 1] R
2
os caminhos C

dados por
f(t) = (cos t, sent) e g(t) = (t, t
2
) . Ent ao:

2
0
f(t) dt =
_
2
0
cos t dt ,

2
0
sent dt
_
= (0, 0) ;
e

1
0
g(t) dt =
_
1
0
t dt ,

1
0
t
2
dt
_
=
_
1
2
,
1
3
_
.

Observac ao 2.5. Sejam f, g : [a, b] R

n
caminhos integr aveis e , R arbitr arios.
Segue-se da denic ao ou da observac ao 2.1, que o caminho f + g e integr avel e

b
a
( f + g) (t) dt =

b
a
f(t) dt +

b
a
g(t) dt .
Observac ao 2.6. Seja uma norma qualquer em R
n
e seja f : [a, b] R
n
um caminho
integr avel. Como D
f
D
f
, temos que f : [a, b] R e integr avel.
Al em disso,
_
_
_
_

b
a
f(t) dt
_
_
_
_

b
a
f(t) dt .
De fato, dada qualquer partic ao pontilhada

(f; P

), temos que:
_
_
_

(f; P

)
_
_
_ =
_
_
_
_
_
n

i=1
(t
i
t
i1
) f(
i
)
_
_
_
_
_

i=1
(t
i
t
i1
) f(
i
) =

(f, P

) .
Logo,
_
_
_
_

b
a
f(t) dt
_
_
_
_
=
_
_
_
_
lim
|P|0

(f; P

)
_
_
_
_
= lim
|P|0
_
_
_

(f; P

)
_
_
_ lim
|P|0

(f; P

) =

b
a
f(t) dt .
Assim, se f(t) M para todo t [a, b], temos que
_
_
_
_

b
a
f(t) dt
_
_
_
_
M(b a) .
Por em, se n > 1, f : [a, b] R
n
e contnuo e f(t) c > 0 para todo t [a, b], n ao se pode
concluir que

b
a
f(t) dt = 0. Veja o exemplo 2.1.
Observac ao 2.7. Segue-se da denic ao que se f : [a, b] R
m
e um caminho integr avel e
A : R
m
R
n
e uma transformac ao linear, ent ao A f : [a, b] R
n
e integr avel e

b
a
(A f)(t) dt = A
_
b
a
f(t) dt
_
.
J. Delgado - K. Frensel
89
An alise
3 Os teoremas cl assicos do C alculo
Regra da cadeia
Sejam : I J uma func ao real diferenci avel no ponto a I e f : J R
n
um caminho
diferenci avel no ponto b = (a). Ent ao f : I R
n
e um caminho diferenci avel no ponto a
e
(f )

(a) =

(a)f

((a)) .
Basta aplicar a regra da cadeia em cada uma das func oes coordenadas f
i
do caminho
f .
Observac ao 3.1. A func ao composta t f((t)) pode ser interpretada como uma mudanca
de vari avel no caminho f, que equivale a descrever o mesmo percurso de outra maneira, sendo
o vetor velocidade (f)

(a) =

(a)f

((a)) no ponto a um m ultiplo escalar do vetor velocidade

de f no ponto (a).
Os seis teoremas abaixo se demonstram observando que se f = (f
1
, . . . , f
n
), ent ao
f

= (f

1
, . . . , f

n
) e

b
a
f(t) dt =
_
b
a
f
1
(t) dt , . . . ,

b
a
f
n
(t) dt
_
, e, aplicando ` as func oes
coordenadas, o teorema correspondente para func oes reais de uma vari avel real.
Mudanc a de vari avel na integral
Se f : [a, b] R
n
e um caminho contnuo e : [c, d] [a, b] e uma func ao com derivada
integr avel, ent ao

(d)
(c)
f(x) dx =

d
c
f((t))

(t) dt .
Teorema Fundamental do C alculo
Se f : [a, b] R
n
e um caminho com derivada integr avel, ent ao
f(b) f(a) =

b
a
f

(t) dt =

1
0
f(a + (b a)t) (b a) dt .
Denic ao 3.1. Seja f : [a, b] R
n
um caminho integr avel. A integral indenida de f e o
caminho F : [a, b] R
n
denido por
F(x) =

x
a
f(t) dt .
90
Instituto de Matem atica UFF
Os teoremas cl assicos do C alculo
Seja M > 0 tal que f(t) M para todo t [a, b]. Ent ao, pela observac ao 2.6,
F(x) F(y) =
_
_
_
_

x
a
f(t) dt

y
a
f(t) dt
_
_
_
_
=
_
_
_
_

x
y
f(t) dt
_
_
_
_
Mx y ,
e, portanto, F e lipschitziana. Em particular, F e contnua.
Derivac ao da integral indenida
Se f : [a, b] R
n
e um caminho integr avel contnuo no ponto c [a, b], ent ao F e diferenci avel
neste ponto e F

(c) = f(c).
Em particular, se f e um caminho contnuo, temos
F(b) F(a) =

b
a
f(t) dt .
F ormula de Taylor innitesimal
Seja f : I R
n
um caminho p vezes diferenci avel no ponto a I e escrevemos, para todo h
tal que a + h I,
f(a + h) = f(a) + f

(a) h + . . . + f
(p)
(a)
h
p
p!
+ r
p
(h) .
Ent ao lim
h0
r
p
(h)
h
p
= 0 .
F ormula de Taylor com resto integral
Seja f : [a, a + h] R
n
um caminho p vezes diferenci avel no intervalo [a, a + h], com f
(p)
integr avel. Ent ao,
f(a + h) = f(a) + f

(a) h + . . . + f
(p1)
(a)
h
p1
(p 1)!
+ r
p
,
onde
r
p
=
h
p
(p 1)!

1
0
(1 t)
p1
f
(p)
(a + th) dt =
1
(p 1)!

a+h
a
(a + h x)
p1
f
(p)
(x) dx .
Denic ao 3.2. Dizemos que um caminho f : [a, b] R
n
e uniformemente diferenci avel,
quando, para todo > 0 dado, existe > 0 tal que
x, x + h [a, b] , 0 < |h| < =f(x + h) f(x) f

(x)h < |h| .

Teorema 3.1. Um caminho f : [a, b] R
n
e de classe C
1
se, e s o se, f e uniformemente
diferenci avel.
J. Delgado - K. Frensel
91
An alise
Este teorema decorre do teorema an alogo para func oes reais.
Realmente:
A diferenciabilidade uniforme de f n ao depende da norma considerada, pois duas normas
quaisquer em R
n
s ao equivalentes;
Um caminho f e uniformemente diferenci avel na norma do m aximo se, e s o se, cada uma de
suas func oes coordenadas f
i
e uniformemente diferenci avel;
Uma func ao f
i
: [a, b] R e uniformemente diferenci avel se, e s o se, f
i
e de classe C
1
(ver
Curso de An alise, Vol. I de E. Lima, pag. 277).
Observac ao 3.2. O Teorema do Valor M edio n ao vale para caminhos diferenci aveis em R
n
,
n > 1.
Por exemplo, seja f : [0, 2] R
2
o caminho diferenci avel dado por f(t) = (cos t, sent).
Como f(2) f(0) = (0, 0) e |f

(t)| = 1 para todo t [0, 2], n ao existe c (0, 2) tal que

f(2) f(0) = 2f

(c).
Tem-se, no entanto, na forma de desigualdade.
Teorema do Valor M edio
Seja f : [a, b] R
n
um caminho contnuo em [a, b] e diferenci avel em (a, b). Se f

(t) M
para todo t (a, b), ent ao f(b) f(a) M(b a) .
1
a
Demonstrac ao: Suponhamos que, al em das hip oteses acima, f

e integr avel em cada su-

bintervalo compacto [c, d] (a, b).
Pelo Teorema Fundamental do C alculo, temos
f(d) f(c) =

d
c
f

(t) dt .
Logo f(d) f(c) M(d c), para todo [c, d] (a, b).
Como f e contnua em [a, b], e existem sequ encias (c
k
) e (d
k
) tais que a < c
k
< d
k
< b, com
limc
k
= a e limd
k
= b, temos que
f(b) f(a) = lim
k
f(c
k
) f(d
k
) M lim
k
|c
k
d
k
| = M|b a| ,
ou seja, f(b) f(a) Mb a .

2
a
Demonstrac ao: Suponhamos que a norma prov em de um produto interno, ou seja,
x
2
= x, x para todo x R
n
.
92
Instituto de Matem atica UFF
Os teoremas cl assicos do C alculo
Seja : [a, b] R a func ao real dada por (t) = f(t), f(b) f(a). Ent ao e contnua em
[a, b], diferenci avel em (a, b) e

(t) = f

(t), f(b) f(a) para todo t (a, b).

Logo, pelo Teorema do Valor M edio para func oes reais, existe c (a, b) tal que
(b) (a) = (b a) f

(c), f(b) f(a).

Ent ao, pela Desigualdade de Cauchy-Schwarz,
f(b) f(a)
2
f

(c) f(b) f(a) (b a) M(b a) f(b) f(a),

ou seja,
f(b) f(a) M(b a) .

3
a
Demonstrac ao: (Caso Geral) Se baseia nos dois lemas abaixo.
Lema 3.1. Seja f : I R
n
um caminho diferenci avel no ponto c I. Sejam (a
k
) e (b
k
)
sequ encias tais que a
k
, b
k
I, a
k
= b
k
, a
k
c b
k
, lima
k
= limb
k
= c. Ent ao,
f

(c) = lim
k
f(b
k
) f(a
k
)
b
k
a
k
.
Prova.
Sejam N

= {k N| a
k
= c}, N

= {k N| b
k
= c} e N

= {k N| k N| a
k
< c < b
k
}.
Ent ao N = N

e N

, N

, N

s ao dois a dois disjuntos.

Se N

N e innito, temos que a subsequ encia

_
f(b
k
) f(a
k
)
b
k
a
k
_
kN

=
_
f(b
k
) f(c)
b
k
c
_
kN

converge para f

(c), pois f e diferenci avel em c.

De modo an alogo, se N

N e innito, a subsequ encia

_
f(b
k
) f(a
k
)
b
k
a
k
_
kN

=
_
f(c) f(a
k
)
c a
k
_
kN

tamb em converge para f

(c).
Resta, agora, mostrar que se N

N e innito,
_
f(b
k
) f(a
k
)
b
k
a
k
_
kN

converge para f

(c).
Como a
k
< c < b
k
, podemos escrever
f(b
k
) f(a
k
)
b
k
a
k
= (1 t
k
)
f(b
k
) f(c)
b
k
c
+ t
k
f(a
k
) f(c)
a
k
c
,
onde t
k
=
a
k
c
a
k
b
k
e, portanto, 1 t
k
=
b
k
c
b
k
a
k
.
Logo
f(b
k
) f(a
k
)
b
k
a
k
f

(c) = (1 t
k
)
_
f(b
k
) f(c)
b
k
c
f

(c)
_
+ t
k
_
f(a
k
) f(c)
a
k
c
f

(c)
_
.
J. Delgado - K. Frensel
93
An alise
Assim, como
_
f(a
k
) f(c)
a
k
c
_
kN

e
_
f(b
k
) f(c)
b
k
c
_
kN

convergem para f

(c) e (t
k
), (1 t
k
)
s ao sequ encias limitadas, temos que
_
f(b
k
) f(a
k
)
b
k
a
k
_
kN

converge para f

(c).

Lema 3.2. Sejam : [a, b] R e f : [a, b] R

n
contnuas em [a, b] e diferenci aveis em
(a, b). Se f

(t)

(t) e

(t) > 0 para todo t (a, b), ent ao f(b) f(a) (b) (a).
Prova.
Suponhamos que f e g s ao diferenci aveis no intervalo fechado [a, b] e admitamos que
f(b) f(a) > (b) (a).
Ent ao existe A > 1 tal que
f(b) f(a) > A((b) (a)) (> 0) .
Dividindo o intervalo [a, b] ao meio, em pelo menos em uma das metades, digamos, [a
1
, b
1
],
temos que
f(b
1
) f(a
1
) > A((b
1
) (a
1
)) .
Analogamente, em pelo menos uma das metades [a
2
, b
2
] de [a
1
, b
1
] temos que
f(b
2
) f(a
2
) > A((b
2
) (a
2
)).
Prosseguindo desta maneira, obtemos uma sequ encia de intervalos
[a, b] [a
1
, b
1
] . . . [a
k
, b
k
] . . .
tais que
b
k
a
k
=
b a
2
k
e f(b
k
) f(a
k
) > A((b
k
) (a
k
)) , para todo k N.
Al em disso, as sequ encias (a
k
) e (b
k
) convergem para um mesmo ponto c [a, b], pois (a
k
) e
n ao-decrescente limitada, (b
k
) e n ao-crescente limitada e (b
k
a
k
) 0.
Como a
k
= b
k
e a
k
c b
k
para todo k N temos, pelo lema 3.1, que
f

(c) = lim
k
f(b
k
) f(a
k
)
b
k
a
k
A lim
k
(b
k
) (a
k
)
b
k
a
k
= A

(c) >

(c) .
Se e f s ao diferenci aveis apenas no intervalo aberto (a, b) temos, pelo provado acima, que
f(d) f(c) (d) (c) para todo [c, d] (a, b).
Como e f s ao contnuas em [a, b] e existem sequ encias (c
k
) e (d
k
) de pontos de (a, b) tais
que c
k
< d
k
, limc
k
= a e limd
k
= b, temos que
f(b) f(a) = lim
k
f(d
k
) f(c
k
) lim
k
((d
k
) (c
k
)) = (b) (a)

A desigualdade do valor m edio segue-se do lema 3.2, tomando (t) = Mt .

94
Instituto de Matem atica UFF
Os teoremas cl assicos do C alculo
Corol ario 3.1. Se o caminho f : [a, b] R
n
e contnuo em [a, b] e possui derivada nula em
todos os pontos de (a, b), ent ao f e constante.
Prova.
Sejam x (a, b] e n N. Como f

(t)
1
n
para todo t (a, b), temos, pelo Teorema do
Valor M edio, que f(x) f(a)
1
n
x a. Ent ao,
f(x) f(a) x a lim
n
1
n
= 0 ,
ou seja, f(x) = f(a).

Observac ao 3.3. O corol ario acima tamb em pode ser demonstrado aplicando-se a cada
func ao coordenada f
i
de f o resultado an alogo para func oes reais.
F ormula de Taylor com resto de Lagrange
Seja f : [a, a + h] R
n
um caminho de classe C
p1
, p vezes diferenci avel no intervalo aberto
(a, a + h). Se f
(p)
(t) M para todo t (a, a + h), ent ao:
f(a + h) = f(a) + hf

(a) + . . . +
h
p1
(p 1)!
f
(p1)
(a) + r
p
,
onde r
p
M
h
p
p!
.
Ou equivalentemente, fazendo b = a + h,
f(b) = f(a) + (b a) f

(a) + . . . +
(b a)
p1
(p 1)!
f
(p1)
(a) + r
p
,
onde r
p
M
(b a)
p
p!
.
Prova.
Seja g : [a, b] R
n
o caminho dado por
g(t) = f(t) + (b t)f

(t) + . . . +
(b t)
p1
(p 1)!
f
(p1)
(t)
Ent ao g e um caminho contnuo em [a, b], diferenci avel em (a, b) e g

(t) =
(b t)
p1
(p 1)!
f
(p)
(t) .
Logo g

(t) M
(b t)
p1
(p 1)!
.
Fazendo (t) = M
(b t)
p
p!
, temos, pelo lema 3.2, que
r
p
= g(b) g(a) (b) (a) = M
(b a)
p
p!
.

J. Delgado - K. Frensel
95
An alise
4 Caminhos retic aveis
Denimos o comprimento de um caminho f : [a, b] R
n
como sendo a dist ancia total
percorrida pelo ponto m ovel f(t), quando t varia de a at e b. N ao e o mesmo que o comprimento
da imagem f([a, b]), pois, para ir de f(a) at e f(b), o ponto f(t) pode passar pelo mesmo trecho
v arias vezes (at e innitas).
Por exemplo, a imagemdo caminho f : [

] R
2
dado por f(t) = (cos(t
2
), sen(t
2
)),
e o semi-crculo S
1
+
= {(x, y) S
1
| y 0}, cujo comprimento e . Mas como f percorre S
1
+
duas
vezes quando t varia de

, temos que o comprimento do caminho f e 2.

Seja f : [a, b] R
n
um caminho. A cada partic ao P = {t
0
= a < t
1
< . . . < t
k
= b} do
intervalo [a, b], associamos o n umero real n ao-negativo
(f; P) =
k

i=1
f(t
i
) f(t
i1
) .
Intuitivamente, (f; P) e o comprimento da poligonal inscrita no caminho f com v ertices nos
pontos f(t
i
), i = 0, . . . , k.
Fig. 4: (f; P) e o comprimento da poligonal de v ertices f(t
i
), i =0,...,k.
Denic ao 4.1. Sejam P e Q partic oes do intervalo [a, b]. Dizemos que Q e mais na que P
quando P Q.
Teorema 4.1. Se P Q, ent ao (f; P) (f; Q).
Prova.
Suponhamos, primeiro, que Q = P {r}, onde t
i1
< r < t
i
. Ent ao,
(f; Q) (f; P) = f(t
i
) f(r) +f(r) f(t
i1
) f(t
i
) f(t
i1
) .
Como f(t
i
) f(t
i1
) f(t
i
) f(r) +f(r) f(t
i1
), temos que (f; Q) (f; P).
O caso geral prova-se aplicando o processo acima um n umero nito de vezes.

Denic ao 4.2. Seja f : [a, b] R

n
umcaminho. Se o conjunto { (f; P) | P e partic ao de [a, b] }
e limitado, dizemos que o caminho f e retic avel e (f) = sup
P
(f; P) e chamado o comprimento
do caminho f.
96
Instituto de Matem atica UFF
Caminhos retic aveis
Ent ao, (f) e caracterizado por:
(1) (f) (f; P) para toda partic ao P de [a, b].
(2) Dado > 0, existe uma partic ao P de [a, b] tal que (f; P) > (f) .
Observac ao 4.1. Quando n = 1, um caminho retic avel chama-se uma func ao de variac ao
limitada e o comprimento (f) chama-se a variac ao total da func ao f no intervalo [a, b].
Observac ao 4.2. Todo caminho retic avel f : [a, b] R
n
e limitado.
De fato, seja P = {a, t, b}, onde t [a, b]. Ent ao,
f(t) f(a) +f(b) f(t) = (f; P) (f).
Logo,
f(t) f(t) f(a) +f(a) (f) +f(a)
para todo t [a, b] e, portanto, f e limitado.
Lema 4.1. Seja P
0
uma partic ao de [a, b]. Ent ao,
sup
P
(f; P) = sup
QP
0
(f; Q) .
Prova.
Como sup
P
(f; P) (f; P) para toda partic ao P de [a, b], temos que
sup
QP
0
(f; Q) sup
P
(f; P) .
Por outro lado, dada uma partic ao P, temos que Q

= P P
0
e uma partic ao mais na do que
P e P
0
. Logo, pelo teorema 4.1,
(f; P) (f; Q

) sup
QP
0
(f; Q) ,
ou seja, sup
QP
0
(f; Q) e uma cota superior do conjunto { (f; P) | P e partic ao de [a, b]}.
Assim, sup
P
(f; P) sup
QP
0
(f; Q} e. portanto, sup
P
(f; P) = sup
QP
0
(f; Q) .

Teorema 4.2. Seja c [a, b]. Ent ao o caminho f : [a, b] R

n
e retic avel se, e s o se, suas
restric oes f
1
= f|
[a,c]
e f
2
= f|
[c,b]
s ao retic aveis. Neste caso, (f) = (f
1
) + (f
2
).
Prova.
Suponhamos que f e retic avel.
Seja P
2
uma partic ao de [c, b] xa e seja P
1
uma partic ao de [a, c]. Ent ao P = P
1
P
2
e uma
partic ao de [a, b] e (f; P) = (f
1
; P
1
) + (f
2
; P
2
) .
J. Delgado - K. Frensel
97
An alise
Logo,
(f
1
; P
1
) = (f; P) (f
2
; P
2
) (f) (f
2
; P
2
) ,
e, portanto, f
1
e retic avel e
(f
1
) (f) (f
2
; P
2
) .
Al em disso, como (f
2
; P
2
) (f) (f
1
) para toda partic ao P
2
de [c, b], temos que f
2
e retic avel
e (f
2
) (f) (f
1
), ou seja, (f
1
) + (f
2
) (f).
Suponhamos agora que f
1
e f
2
s ao retic aveis. Dada uma partic ao P de [a, b] que cont em c,
temos que P = P
1
P
2
, onde P
1
e uma partic ao de [a, c] e P
2
e uma partic ao de [c, b].
Como (f; P) = (f
1
; P
1
) +(f
2
; P
2
) (f
1
) +(f
2
) e, pelo lema anterior, sup
Q
(f; Q) = sup
cQ
(f; Q),
temos que f e retic avel e (f) (f
1
) + (f
2
).
Provamos, assim, que f e retic avel se, e s o se, f
1
e f
2
s ao retic aveis, e, neste caso,
(f) = (f
1
) + (f
2
).

Observac ao 4.3.
Seja f : [0, 1] R
n
o caminho retilneo f(t) = (1 t) A + t B, com A, B R
n
, e seja
P = {t
0
= 0 < t
1
< . . . < t
k
= 1} uma partic ao de [0, 1]. Como
f(t
i
) f(t
i1
) = [ (1 t
i
)A + t
i
B] [ (1 t
i1
)A + t
i1
B]
= (t
i
t
i1
) (B A) = (t
i
t
i1
) B A ,
para todo i = 0, . . . , k, temos que
(f; P) =
k

i=1
f(t
i
) f(t
i1
) = B A
k

i=1
(t
i
t
i1
) = B A .
Logo (f) = B A. Aqui, e uma norma qualquer de R
n
.
Em geral,se um caminho retic avel f : [a, b] R
n
tem extremidades A = f(a) e B = f(b),
ent ao (f) f(b) f(a) = B A, pois P = {a, b} e uma partic ao de [a, b].
Se (f) = B A e a norma de R
n
prov em de um produto interno, ent ao f([a, b]) [A, B].
De fato, suponhamos que existe C f([a, b]) tal que C [A, B] e seja c [a, b] tal que f(c) = C.
Como C [A, B], temos que BC n ao e m ultiplo positivo de CA, pois, caso contr ario, existiria
> 0 tal que
B C = (C A) =C + C = B + A =(1 + )C = A + B =C =

1 +
A +
1
1 +
B,
uma contradic ao, uma vez que C = (1 t)A + tB, onde t =
1
1 +
(0, 1).
Logo, como a norma prov em de um produto interno, B C +C A > B A.
98
Instituto de Matem atica UFF
Caminhos retic aveis
Assim, para a partic ao P = {a, c, b}, temos que:
(f; P) = f(b) f(c) +f(c) f(a) = B C +C A > B A ,
uma contradic ao, pois estamos supondo que (f) = B A.
Suponhamos, agora, que f : [a, b] R
n
e contnuo, (f) = B A = f(b) f(a) e que a
norma prov em de um produto interno.
Ent ao f([a, b]) = [A, B].
De fato, consideremos a aplicac ao g : [0, 1] [A, B] dada por g(t) = (1t) A+t B. A aplicac ao
g e contnua, sobrejetora e injetora, e sua inversa g
1
: [A, B] [0, 1], dada por
g
1
(x) =
x A
B A
,
tamb em e contnua.
Logo a func ao g
1
f : [a, b] [0, 1] e contnua e, portanto, g
1
(f[a, b]) e um intervalo contido
no intervalo [0, 1] que cont em os extremos 0 e 1, uma vez que f(a) = A e f(b) = B.
Assim, g
1
(f([a, b])) = [0, 1], ou seja, f([a, b]) = g([0, 1]) = [A, B].
Se a norma n ao prov em de um produto interno, podemos ter B A = B C + C A
sem que C [A, B], o que permite a exist encia de um caminho f com (f) = f(b) f(a) sem
que f([a, b]) esteja contido num segmento de reta.
Fig. 5: (f) =2
Por exemplo, consideremos R
2
com a norma da soma e
seja o caminho contnuo f : [0, 2] R
2
dado por
f(t) =

(0, 1 t) se t [0, 1]
(1 t, 0) se t [1, 2]
Ent ao, pelo teorema 4.2, f e retic avel e
(f) = ( f|
[0,1]
) + ( f|
[1,2]
)
= (0, 1) (0, 0)
S
+(0, 0) (1, 0)
S
= 2 ,
uma vez que f|
[0,1]
e f|
[1,2]
s ao caminhos retilneos.
Portanto, (f) = 2 = (0, 1) (1, 0)
S
= f(2) f(0)
S
, apesar de f([a, b]) n ao estar contido
num segmento de reta.
Observac ao 4.4. (f) = 0 f e um caminho constante.
Observac ao 4.5. Ser ou n ao ser retic avel e uma propriedade do caminho f que n ao de-
pende da norma tomada em R
n
, uma vez que duas normas quaisquer em R
n
s ao equivalentes,
mas o comprimento (f) depende da norma. Por exemplo, o segmento de reta que liga os pontos
J. Delgado - K. Frensel
99
An alise
A = (0, 1) e B = (1, 0) no plano tem comprimento 2 na norma da soma, 1 na norma do m aximo
e

2 na norma euclidiana.
Observac ao 4.6. Se f : [a, b] R
n
e um caminho poligonal, temos, pelo teorema 4.2, que
(f) e a soma dos comprimentos dos segmentos de reta que o comp oem. Em particular, para
toda partic ao P = {t
0
= a < t
1
< . . . < t
k
= b} de [a, b], (f; P) =
k

i=1
f(t
i
) f(t
i1
) e,
realmente, o comprimento da poligonal inscrita em f, com v ertices nos pontos f(t
i
), i = 0, . . . , k.
Exemplo 4.1. O caminho f : [0, 2] R
2
dado por f(t) =

(t, 0) se t = 1
(1, 1) se t = 1
e descontnuo,
mas e retic avel e (f) = 4, considerando R
2
com a norma euclidiana.
Fig. 6: (f) =4
De fato, pelo lema 4.1, basta considerarmos as partic oes P
de [0, 2] que cont em o ponto t
i
= 1.
Sejam 0 < 1 e 0 < 1 tais que t
i1
= 1 e t
i+1
= 1+.
Ent ao,
(f; P) = (1 ) +
_
1 +
2
+
_
1 +
2
+ 1 4 ,
pois 1 +
_
1 +
2
2 e 1 +
_
1 +
2
2, uma vez que
_
1 +
2
1 + e
_
1 +
2
1 + .
Logo f e retic avel e (f) 4. Mas, dada P
n
=

0, 1
1
n
, 1, 1 +
1
n
, 2

, temos que
(f; P
n
) = 1
1
n
+
_
1 +
1
n
2
+
_
1 +
1
n
2
+
_
1
1
n
_
(f) ,
para todo n N e, portanto,
4 = lim
n
(f; P
n
) (f) .
Assim, (f) = 4 .

Teorema 4.3. O caminho f : [a, b] R

n
e retic avel se, e s o se, cada uma de suas func oes
coordenadas f
i
: [a, b] R, i = 1, . . . , n e retic avel, ou seja, tem variac ao limitada.
Prova.
Como ser ou n ao ser retic avel independe da norma, podemos tomar em R
n
a norma da soma.
Logo,
(f; P) =
n

i=1
(f
i
; P) .
Portanto, se f e retic avel, temos que
(f
i
; P) (f; P) (f) ,
100
Instituto de Matem atica UFF
Caminhos retic aveis
para toda partic ao P de [a, b] e todo i = 1, . . . , n. Ent ao f
i
tem variac ao limitada para todo
i = 1, . . . , n.
Por outro lado, se cada f
i
tem variac ao limitada, ent ao
(f; P) =
n

i=1
(f
i
; P)
n

i=1
(f
i
) ,
para toda partic ao P de [a, b]. Logo f e retic avel.

Observac ao 4.7. Toda func ao mon otona f : [a, b] R tem variac ao limitada e
(f) = |f(b) f(a)|.
De fato, suponhamos que f e n ao-decrescente. Dada P = {t
0
= a < t
1
< . . . < t
k
= b} uma
partic ao de [a, b], temos que
(f, P) =
k

i=1
|f(t
i
) f(t
i1
)| =
k

i=1
( f(t
i
) f(t
i1
) ) = f(b) f(a) .
Corol ario 4.1. Se cada func ao coordenada do caminho f e mon otona, ent ao f e retic avel.
Exemplo 4.2. O caminho f : [0, 1] R, dado por f(t) = t sen
_

2t
_
, se t = 0 e f(0) = 0, e
contnuo, mas n ao e retic avel.
De fato, para todo k = 4m 1, m N, seja P
k
=

0,
1
k + 1
,
1
k
, . . . ,
1
5
,
1
4
,
1
3
,
1
2
, 1

. Ent ao:
f(0) = 0 ; f
_
1
k + 1
_
= f
_
1
4m
_
= 0 ; f
_
1
k
_
=
1
4m 1
sen
_
(4m 1)
2
_
=
1
4m 1
=
1
k
;
f
_
1
k 1
_
=
1
4m 2
sen(2m 1) = 0 ; f
_
1
k 2
_
=
1
4m 3
sen
_
(4m 3)
2
_
=
1
4m 3
=
1
k 2
,
e assim sucessivamente, at e
f
_
1
5
_
=
1
5
; f
_
1
4
_
= 0 ; f
_
1
3
_
=
1
3
; f
_
1
2
_
= 0 e f(1) = 1 .
Logo,
(f; P
k
) = 0 +
1
k
+
1
k
+
1
k 2
+
1
k 2
+ . . . +
1
5
+
1
5
+
1
3
+
1
3
+ 1 ,
e, portanto,
(f; P
k
)
1
k + 1
+
1
k
+
1
k 1
+
1
k 2
+ . . . +
1
6
+
1
5
+
1
4
+
1
3
+
1
2
.
Como a s erie harm onica

n1
1
n
diverge, temos que o conjunto { (f; P) ; P partic ao de [0, 1] } n ao
e limitado e, portanto, f n ao tem variac ao limitada.
De modo an alogo, podemos provar que g : [0, 1] R, g(t) =

t sen
1
t
se t = 0
0 se t = 0 ,
e uma
func ao contnua, mas n ao e retic avel.
J. Delgado - K. Frensel
101
An alise
Ent ao, pelo teorema 4.3, o caminho h : [0, 1] R
2
, dado por
h(t) =

_
t, t sen
1
t
_
se t = 0
(0, 0) se t = 0 ,
e contnuo, mas n ao e retic avel. Observe que h e um caminho injetivo (gura 7).
Fig. 7: Caminho h(t) =

t,tsen
1
t

Fig. 8: Caminho (t) =

tcos
1
t
,tsen
1
t

O caminho espiralado : [0, 1] R

2
dado por
(t) =

te
i/t
=
_
t cos
1
t
, t sen
1
t
_
se t = 0
(0, 0) se t = 0 ,
tamb em tem comprimento innito, ou seja, n ao e retic avel.
Neste exemplo, quando t 0, o ponto (t) tende para a origem (0, 0) dando innitas voltas
em torno dela.
Observe que o caminho tamb em e injetivo (gura 8).

Observac ao 4.8. No exemplo 4.1, vimos que um caminho descontnuo pode ser retic avel,
mas, como veremos abaixo, a descontinuidade de um caminho retic avel f : [a, b] R
n
num
ponto c [a, b] n ao pode ser arbitr aria.
Teorema 4.4. Seja f : [a, b] R
n
um caminho tal que, para cada c [a, b), a restric ao f|
[a,c]
e retic avel. Se existe K > 0 tal que (f|
[a,c]
) K para todo c [a, b), ent ao existe lim
tb

f(t).
Analogamente, dado f : (a, b] R
n
tal que f|
[c,b]
e retic avel para todo c (a, b], com
(f|
[c,b]
) K seja qual for c (a, b], ent ao existe lim
ta
+
f(t).
102
Instituto de Matem atica UFF
Caminhos retic aveis
Prova.
Vamos provar apenas o primeiro resultado, pois o outro demonstra-se de modo an alogo.
Seja t
1
< t
2
< . . . < t
k
< . . . uma sequ encia crescente em [a, b) tal que lim
k
t
k
= b.
Ent ao, para todo k N,
k

i=2
f(t
i
) f(t
i1
) K, pois P = {a, t
1
, . . . , t
k
} e uma partic ao de [a, c],
com c = t
k
.
Logo a s erie de n umeros reais

i2
f(t
i
) f(t
i1
) e convergente, pois a sequ encia de suas
reduzidas e n ao-decrescente e limitada superiormente por K. Assim, a sequ encia das reduzidas
da s erie de vetores

i2
( f(t
i
) f(t
i1
) ) e de Cauchy e, portanto, convergente.
Como a reduzida de ordem k1 desta s erie e f(t
k
) f(t
1
), temos que existe lim
k
f(t
k
). Sendo a
sequ encia crescente t
k
b arbitr aria, segue, pela Observac ao 8.4 do Captulo 1, que o limite
lim
tb

f(t) existe.

Corol ario 4.2. Seja f : [a, b] R

n
um caminho retic avel. Ent ao existem os limites laterais
lim
tc

f(t) (se c = a) e lim

tc
+
f(t) (se c = b).
Denic ao 4.3. Dizemos que um caminho f : [a, b] R
n
e regulado se, para todo c [a, b],
existem os limites laterais f(c

) = lim
tc

f(t) (se c = a) e f(c

+
) = lim
tc
+
f(t) (se c = b), ou seja, se
f s o possui descontinuidade de 1
a
esp ecie.
Em particular, o conjunto dos pontos de descontinuidade de um caminho regulado e enu-
mer avel (ver Curso de An alise, Vol. I de E. Lima, pag. 233, Teorema 11)
Observac ao 4.9. Todo caminho retic avel e regulado.
Denic ao 4.4. Dizemos que um caminho f : [a, b] R
n
e bem regulado quando ele e
regulado e, para todo c (a, b),
f(c
+
) f(c

) = f(c
+
) f(c) +f(c) f(c

) .
Observac ao 4.10. Quando a norma prov em de um produto interno, temos
f(c
+
) f(c

) = f(c
+
) f(c) +f(c) f(c

) ,
se, e s o se, f(c) pertence ao segmento de reta cujos extremos s ao f(c

) e f(c
+
).
Mas, para uma norma arbitr aria, podemos apenas armar que se f(c) [f(c

), f(c
+
)] para todo
c (a, b), ent ao f e bem regulado.
J. Delgado - K. Frensel
103
An alise
Observac ao 4.11. Todo caminho contnuo e bem regulado.
Todo caminho regulado, lateralmente contnuo, ou seja, f(c
+
) = f(c) ou f(c

) = f(c) para todo

c (a, b), e bem regulado.
Observac ao 4.12. Um caminho f : [a, b] R
n
regulado e bem regulado se, e s o se, para
todo c (a, b), tem-se
lim
t c
+
s c

( f(t) f(c) +f(c) f(s) f(t) f(s) ) = 0 .

Exemplo 4.3. O caminho retic avel f : [0, 2] R
2
dado por
f(t) =

(t, 0) se t = 1
(1, 1) se t = 1 ,
n ao e bem regulado, pois f(1
+
) = f(1

) = (1, 0) e, portanto,
f(1
+
) f(1

) = 0 = f(1
+
) f(1) +f(1

) f(1) ,
para qualquer norma considerada em R
2
.
Neste exemplo, n ao existe lim
|P|0
(f; P), pois, se a partic ao P n ao cont em o ponto 1, temos que
(f; P) = 2, enquanto que, para partic oes Q que cont em 1, temos lim
|Q|0
(f; Q) = 4 .

Teorema 4.5. As seguintes armac oes a respeito de um caminho f : [a, b] R

n
s ao equi-
valentes:
(1) f e bem regulado e retic avel, com (f) = L.
(2) existe lim
|P|0
(f; P) = L.
Prova.
(1)=(2) Dado > 0 existe uma partic ao P
0
= {t
0
= a, t
1
, . . . , t
k
= b} de [a, b] tal que
L

2
< (f; P
0
) L.
Seja 0 < < min
1ik
{ (t
i
t
i1
) } tal que
t
i
< s < t
i
< t < t
i
+ =f(t) f(t
i
) +f(t
i
) f(s) f(t) f(s) <

2k
,
para todo i = 1, . . . , k 1 .
Seja P uma partic ao de [a, b] com |P| < . Ent ao:
L

2
< (f; P P
0
) L,
pois (f; P
0
) (f; P P
0
) , e 0 (f; P P
0
) (f; P) = soma de no m aximo k 1 termos da
forma f(t) f(t
i
) + f(t
i
) f(s) f(t) f(s) , onde [s, t] e um intervalo de P que cont em
104
Instituto de Matem atica UFF
Caminhos retic aveis
algum t
i
em seu interior, pois os demais intervalos de P s ao tamb em de P P
0
e, portanto,
desaparecem na diferenca (f; P P
0
) (f; P).
Observe que se |P| < , ent ao existe no m aximo um t
i
no interior de seus subintervalos, pois
0 < < min
1ik
{t
i
t
i1
}.
Logo se |P| < , ent ao t
i
< s < t
i
< t < t
i
+ , para todo intervalo [s, t] de P que cont em
algum t
i
em seu interior, e, portanto, 0 (f; P P
0
) (f; P) <
(k 1)
2k
<

2
.
Assim,
L (f; P) (f; P P
0
)

2
> L .
(2)=(1) Dado > 0, existe > 0 tal que
|P| < =L < (f; P) < L + .
Seja P
0
uma partic ao de [a, b] xa com |P
0
| < .
Ent ao, se P P
0
, temos que |P| |P
0
| < e, portanto,
L < (f; P) < L + .
Logo, como sup
PP
0
{(f; P)} = sup
P
{(f; P)}, temos que f e retic avel e L < (f) L+ para todo
> 0.
Assim, (f) = L e, pela observac ao 4.9, f e regulado.
Vamos provar que f e bem regulado, ou seja, que
(f(c
+
) f(c) +f(c) f(c

) f(c
+
) f(c

)) = 0 ,
para todo c (a, b).
Dado c (a, b), seja Q
k
uma sequ encia de partic oes com lim
k
|Q
k
| = 0 e c Q
k
.
Seja P
k
= Q
k
{c}. Ent ao lim
k
(f; P
k
) = lim
k
(f; Q
k
) = L e
0 (f; P
k
) (f; Q
k
) = f(c) f(s
k
) +f(t
k
) f(c) f(t
k
) f(s
k
) ,
onde [s
k
, t
k
] e o intervalo de Q
k
que cont em c em seu interior.
Como lim
k
|Q
k
| = 0, temos lim
k
s
k
= lim
k
t
k
= c, onde s
k
< c < t
k
.
Ent ao lim
k
f(s
k
) = f(c

) e lim
k
f(t
k
) = f(c
+
) . Logo,
0 = lim
k
( (f; P
k
) (f; Q
k
) ) = lim
k
( f(c) f(s
k
) +f(t
k
) f(c) f(t
k
) f(s
k
) )
= f(c) f(c

) +f(c
+
) f(c) f(c
+
) f(c

) ,
e, portanto, f e bem regulado.

J. Delgado - K. Frensel
105
An alise
Corol ario 4.3. Seja f : [a, b] R
n
um caminho contnuo. Ent ao f e retic avel com compri-
mento L se, e s o se, lim
|P|0
(f; P) = L.
Observac ao 4.13. Seja f : [a, b] R
n
um caminho lipschitziano tal que
f(s) f(t) K|s t|
para s, t [a, b] quaisquer. Dada uma partic ao P = {t
0
, t
1
, . . . , t
k
} de [a, b], temos
(f; P) =
k

i=1
f(t
i
) f(t
i1
) K

(t
i
t
i1
) = K(b a) .
Logo f e retic avel e (f) K(b a) .
Em particular, se f : [a, b] R
n
e um caminho de classe C
1
, ent ao f e lipschitziano, pois:
f

([a, b]) e limitado, ou seja, |f

(t)| M para todo t [a, b], uma vez que f

e contnuo e
[a, b] e um intervalo compacto;
e, portanto, pela Desigualdade do Valor M edio, f(s) f(t) M|s t| para s, t [a, b]
quaisquer.
Logo todo caminho de classe C
1
e retic avel.
Teorema 4.6. Todo caminho f : [a, b] R
n
de classe C
1
e retic avel com
(f) =

b
a
f

(t) dt.
Prova.
Basta mostrar que
lim
|P|0
(f; P) =

b
a
f

(t) dt .
Pela denic ao de integral, dado > 0, existe
1
> 0 tal que |P| <
1
, ent ao

b
a
f

(t) dt

(f

; P

<

2
,
onde P

= (P, ), = (t
0
, . . . , t
k1
), ou seja,
i
= t
i1
[t
i1
, t
i
], e

(f

; P

) =
k

i=1
f

(t
i1
) (t
i
t
i1
) .
E, pela diferenciabilidade uniforme de f, existe
2
> 0 tal que
|P| <
2
=f(t
i
) f(t
i1
) = (f

(t
i1
) +
i
) (t
i
t
i1
) ,
com |
i
| <

2(b a)
, para todo i = 1, . . . , k.
Logo se |P| <
2
, ent ao:
106
Instituto de Matem atica UFF
O comprimento de arco como par ametro

(f; P)
k

i=1
f

(t
i1
) (t
i
t
i1
)

i=1
f(t
i
) f(t
i1
)
k

i=1
f

(t
i1
) |t
i
t
i1
|

i=1

f(t
i
) f(t
i1
) f

(t
i1
) |t
i
t
i1
|

i=1
f(t
i
) f(t
i1
) f

(t
i1
)(t
i
t
i1
)
=
k

i=1

i
(t
i
t
i1
) <

2(b a)
k

i=1

t
i
t
i1

=
(b a)
2(b a)
=

2
.
Ent ao se = min{
1
,
2
} > 0 e |P| < , obtemos que:

(f; P)

b
a
f

(t) dt

(f; P)

(f

; P

(f

; P

b
a
f

(t) dt

<

2
+

2
= .

Exemplo 4.4. Seja f : [0, 2] R

2
, f(t) = (cos t, sent). Ent ao o comprimento de f e
(f) =

2
0
f

(t) dt =

2
0
1 dt = 2.
E se g : [

] R
2
, g(t) = (cos t
2
, sent
2
) , temos
(g) =

(t) dt =

|2 t| dt = 2

0
2 t dt = 2t
2

0
= 2.

5 O comprimento de arco como par ametro

Denic ao 5.1. Seja g : [c, d] R
n
um caminho. Uma reparametrizac ao de g e um caminho
g : [a, b] R
n
, onde : [a, b] [c, d] e uma func ao mon otona sobrejetora (e, portanto,
contnua, pelo teorema 10 da pag. 232 do livro Curso de An alise, Vol. I de E. Lima).
Quando
e n ao-decrescente, (a) = c e (b) = d;
e n ao-crescente, (a) = d e (b) = c;
(s) = (t) com s < t, e constante em [s, t].
J. Delgado - K. Frensel
107
An alise
Observac ao 5.1. A reparametrizac ao f = g : [a, b] R
n
e contnua o caminho
g : [c, d] R
n
e contnuo.
Essa observac ao segue-se do corol ario 11.5 do Captulo 1, pois : [a, b] [c, d] e uma
func ao contnua do compacto [a, b] sobre o compacto [c, d].
Teorema 5.1. A reparametrizac ao f = g : [a, b] R
n
e retic avel se, e s o se, o caminho
g : [c, d] R
n
e retic avel. Neste caso, (g ) = (g).
Prova.
(=) Suponhamos que g e retic avel. Seja P = {s
0
, s
1
, . . . , s
k
} uma partic ao de [a, b]. Se
(s
i1
) = (s
i
), temos que g((s
i
)) g((s
i1
)) = 0.
Logo, para calcularmos o comprimento de g , basta considerarmos as partic oes P de [a, b]
tais que |
P
seja injetora. Neste caso, Q = (P) e uma partic ao de [c, d] e
(g ; P) =
k

i=1
g((s
i
)) g((s
i1
)) = (g; Q) (g) .
Assim, g e retic avel e (g ) (g).
(=) Suponhamos que g e retic avel e seja Q = {t
0
, t
1
, . . . , t
k
} uma partic ao de [c, d].
Ent ao para todo i = 0, 1, . . . , k, existe s
i
[a, b] tal que (s
i
) = t
i
.
Se e n ao-decrescente, podemos tomar s
0
= a, s
k
= b, e teremos s
i1
< s
i
, para todo
i = 0, 1, . . . , k, ou seja, P = {s
0
, s
1
, . . . , s
k
} e uma partic ao de [a, b]. Logo,
(g; Q) =
k

i=1
g(t
i
) g(t
i1
) =
k

i=1
g((s
i
)) g((s
i1
)) = (g ; P) .
Se e n ao-crescente, podemos tomar s
0
= b, s
k
= a, e teremos s
i1
> s
i
para todo
i = 0, 1, . . . , k.
Ent ao P = {
0
,
1
, . . . ,
k
}, onde
i
= s
ki
, e uma partic ao de [a, b] tal que
(g; Q) =
k

i=1
g(t
i
) g(t
i1
) =
k

i=1
g((s
i
)) g((s
i1
))
=
k

i=1
g (
ki
) g (
k(i1)
) =
k

j=1
g (
j
) g (
j1
)
= (g ; P) .
Logo (g; Q) = (g ; P) (g ) para toda partic ao Q de [c, d].
Ent ao g e retic avel e (g) (g ) e, portanto, (g) = (g ).

108
Instituto de Matem atica UFF
O comprimento de arco como par ametro
Denic ao 5.2. Dizemos que um caminho retic avel f : [a, b] R e parametrizado pelo
comprimento de arco ou cadenciado, quando (f|
[a,t]
) = t a para todo t [a, b].
Neste caso, se s < t, ent ao (f|
[s,t]
) = t s.
Teorema 5.2. Um caminho f : [a, b] R de classe C
1
e parametrizado pelo comprimento
de arco se, e s o se, f

(t) = 1 para todo t [a, b] .

Prova.
Se f e parametrizado pelo comprimento de arco, ent ao

t
a
f

(s) ds = t a para todo t [a, b].

Logo |f

(t)| =
d
d

a
f

(s) ds = 1.
Reciprocamente, se f

(t) = 1 para todo t [a, b], ent ao

(f|
[a,t]
) =

t
a
f

(s) ds =

t
a
1 ds = t a.

Exemplo 5.1. O caminho f : [0, 2] R

2
, f(t) = (cos t, sent), e parametrizado pelo compri-
mento de arco, pois f C

e f

(t) = 1 para todo t [0, 2].

Lema 5.1. Se f : [a, b] R

n
e um caminho contnuo retic avel, ent ao a func ao : [a, b]
[0, L], L = (f), denida por (t) = (f|
[a,t]
), e contnua. Como (b) = L, e sobrejetiva.
Prova.
Vamos mostrar que e contnua no ponto a. Como e mon otona n ao-decrescente, existe
A = lim
ta
+
(t) = inf{ (t) | t (a, b] }
Suponhamos, por absurdo, que A > 0 = (0). Ent ao existe c
1
(a, b] tal que A (c
1
) <
4A
3
.
Logo A (t) (c
1
) <
4A
3
para todo t (a, c
1
], e, portanto, (f|
[t,c
1
]
) = (c
1
) (t) <
A
3
.
Por outro lado, sendo f contnua em a, existe c
2
(a, b) tal que t [a, c
2
] =f(t) f(a) <
A
3
.
Seja c = min{ c
1
, c
2
}. Ent ao, para toda partic ao P de [a, c], temos
(f|
[a,c]
; P) = f(t
1
) f(a) +
k

i=2
f(t
i
) f(t
i1
) <
A
3
+ (f|
[t
1
,c]
) <
A
3
+
A
3
=
2A
3
.
Logo (c) = (f|
[a,c]
)
2A
3
< A, uma contradic ao.
De modo an alogo, podemos provar que
sup{ (t) | t [a, b) } = L = (b) ,
J. Delgado - K. Frensel
109
An alise
e, portanto,
lim
tb

(t) = sup{ (t) | t [a, b) } = L = (b) ,

ou seja, e contnua no ponto b.
No caso geral, tome t
0
(a, b). Como f|
[a,t
0
]
: [a, t
0
] R
n
e um caminho contnuo e retic avel,
temos, pelo observado acima, que lim
tt

0
(t) = (t
0
).
E, por outro lado, como f|
[t
0
,b]
: [t
0
, b] R
n
e um caminho contnuo retic avel e
(t) = (f|
[t
0
,t]
) = (t) (f|
[a,t
0
]
) ,
temos, pelo provado acima, que lim
tt
+
0
(t) = (t
0
) = 0 e, portanto,
lim
tt
+
0
(t) = lim
tt
+
0
_
(t) + (f|
[a,t
0
]
)
_
= (f|
[a,t
0
]
) = (t
0
) .

Teorema 5.3. Todo caminho contnuo retic avel f : [a, b] R

n
e a reparametrizac ao de
um caminho parametrizado pelo comprimento de arco g : [0, L] R
n
, L = (f), o qual e,
necessariamente, contnuo.
Prova.
Consideremos o diagrama abaixo:
[a, b]
R
n
[0, L]
-
f
?

g
Dado s < t em [a, b], temos (t) = (s) + (f|
[s,t]
) .
Portanto, (s) = (t) =(f|
[s,t]
) = 0 =f e constante em [s, t] =f(s) = f(t).
Denimos g : [0, L] R
n
da seguinte maneira: dado u [0, L], existe t [a, b] tal que
(t) = u. Pomos, ent ao, g(u) = f(t). O caminho g est a bem denido, pois se (t) = (s) = u,
ent ao f(s) = f(t).
Como f = g , f : [a, b] R
n
e contnuo e : [a, b] [0, L] e contnua e sobrejetora, temos,
pelo corol ario 11.5 do captulo 1, que g e contnuo. E, pelo teorema 5.1, g e retic avel, uma vez
que f e retic avel.
Para provar que g e parametrizado pelo comprimento de arco, tome s [0, L] arbitr ario. Ent ao
existe t [a, b] tal que (t) = s e, portanto, pelo teorema 5.1,
(g|
[0,s]
) = (g |
[a,t]
) = (f|
[a,t]
) = (t) = s .

110
Instituto de Matem atica UFF
O comprimento de arco como par ametro
Corol ario 5.1. Um caminho contnuo e retic avel se, e s o se, e a reparametrizac ao de um
caminho lipschitziano.
Prova.
(=) Como todo caminho lipschitziano e retic avel, temos, pelo teorema 5.1, que toda repa-
rametrizac ao de um caminho lipschitziano e retic avel.
(=) Se f e um caminho contnuo retic avel, ent ao f = g , onde g e parametrizado pelo
comprimento de arco.
Como g(t) g(s) (g|
[s,t]
) = |t s| , temos que g e lipschitziano.

Observac ao 5.2. Seja f : [a, b] R

n
um caminho contnuo retic avel, e seja um caminho
parametrizado pelo comprimento de arco g : [0, L] R
n
, do qual f e uma reparametrizac ao.
Ent ao, se f = g , onde : [a, b] [0, L] e mon otona n ao-decrescente e sobrejetora, temos:
(t) = (g|
[0,(t)]
) = (g |
[a,t]
) = (f|
[a,t]
) .
Logo e determinada de modo unico e, portanto, o caminho g : [0, L] R
n
parametrizado
pelo comprimento de arco tal que f = g , com n ao-decrescente, tamb em o e.
Agora, se : [a, b] [0, L] e mon otona n ao-crescente e sobrejetora, temos que
(t) = (g|
[0,(t)]
) = (g |
[t,b]
) = (f|
[t,b]
) = (f|
[a,b]
) (f|
[a,t]
) = L (t) ,
onde (t) = (f|
[a,t]
).
Logo f(t) = g((t)) = g(L (t)) e, portanto, dado s = (t) [0, L], temos que
g(L s) = f(t) = g((t)) = g(s),
onde g : [0, L] R
n
e o caminho parametrizado pelo comprimento de arco tal que f = g .
Assim, g(s) = g(L s) para todo s [0, L], ou seja, g e o caminho g percorrido em sentido
contr ario.
Observac ao 5.3. Um caminho pode ser retic avel sem ser lipschitziano. Por exemplo, o
caminho f : [0, 1] R
2
, dado por f(t) = (t,

t) e retic avel, pois suas func oes coordenadas

s ao mon otonas, mas n ao e lipschitziano, uma vez que a func ao t

t, t [0, 1], n ao e
lipschitziana.
Denic ao 5.3. Dizemos que um caminho diferenci avel f : [a, b] R
n
e regular quando
f

(t) = 0 para todo t [a, b].

J. Delgado - K. Frensel
111
An alise
Observac ao 5.4. Seja f : I J uma func ao regular, ou seja, diferenci avel com f

(t) = 0,
para todo t I, onde f(I) = J, I, J intervalos da reta.
Ent ao, pelo Teorema do Valor Intermedi ario para a derivada (teorema de Darboux), temos que
ou f

(t) > 0 para todo t I e f e, ent ao, mon otona crescente, ou f

(t) < 0 para todo t I, sendo

f, portanto, mon otona decrescente.
Em particular, para n = 1, um caminho f : I R
n
regular e injetivo, o que n ao e verdade, em
geral, quando n > 1.
Por exemplo, o caminho f : [a, b] R
2
dado por f(t) = (cos t, sent), e regular, mas n ao e
injetivo se b a > 2.
Se f : I J e regular e f(I) = J, temos, pelo Teorema da Func ao Inversa (ver Curso de An alise,
Vol I de E. Lima, pag. 274, corol ario 6), que f
1
: J I e diferenci avel e
(f
1
)

(y) =
1
f

(f
1
(y))
,
para todo y J.
E, tamb em, se f C
k
, ent ao f
1
C
k
, pois:
Se f C
1
, ent ao f

f
1
e contnua, e, portanto, (f
1
)

=
1
f

f
1
e contnua, ou seja, f
1
e de
classe C
1
.
Suponhamos, por induc ao, que se f C
k1
, ent ao f
1
C
k1
.
Assim, se f C
k
, ent ao f

C
k1
, e, portanto, (f
1
)

=
1
f

f
1
e de classe C
k1
, ou seja, f
1
e
de classe C
k
.
Denic ao 5.4. Dizemos que uma func ao diferenci avel bijetora f : I J e um difeomorsmo
quando f
1
: J I e diferenci avel.
Em particular, todo difeomorsmo f : I J e regular, pois f f
1
= Id e, pela regra da
cadeia, f

(f
1
(y))(f
1
)

(y) = 1 para todo y J.

E, reciprocamente, se f : I J = f(I) e uma func ao regular, ent ao, pela observac ao
acima, f e um difeomorsmo.
No teorema abaixo, vamos considerar R
n
com a norma euclidiana.
Teorema 5.4. Sejam f : [a, b] R
n
um caminho regular de classe C
k
(k 1), L = (f) e
g : [0, L] R
n
um caminho parametrizado pelo comprimento de arco do qual f = g e uma
reparametrizac ao. Ent ao g C
k
e : [a, b] [0, L] e um difeomorsmo de classe C
k
. Em
particular, g = f
1
e uma reparametrizac ao de f pelo comprimento de arco.
112
Instituto de Matem atica UFF
A func ao- angulo
Prova.
Se e mon otona n ao-decrescente, temos, pela observac ao 5.2, que
(t) = (f|
[a,t]
) =

t
a
f

(s) ds .
Logo

(t) = f

(t) > 0 para todo t [a, b]. Como e a norma euclidiana, temos que

e
diferenci avel e

(t) =
f

(t), f

(t)
f

(t)
,
caso f C
k
, k 2.
Ent ao, se f C
1
, : [a, b] [0, 1] e um difeomorsmo de classe C
1
, pois

= f

e
contnua.
E, se f C
k
, k 2,

e de classe C
k1
, ou seja, : [a, b] [0, L] e um difeomorsmo de
classe C
k
.
De fato, se k = 2,

e contnuo, pois

(t) =
f

(t), f

(t)
f

(t)
, t [a, b], e as func oes f

e f

s ao
contnuas. Ent ao e de classe C
2
.
Suponhamos, por induc ao, que se f C
k
, k 2, ent ao

C
k1
.
Seja f C
k+1
. Ent ao f

, f

s ao de classe C
k1
e, portanto,

e de classe C
k1
. Assim,

e
de classe C
k
.
No caso em que e mon otona n ao-crescente, ou seja,
(t) = L

t
a
f

(s) ds ,
verica-se, de modo an alogo ao anterior, que : [a, b] [0, L] e um difeomorsmo de classe
C
k
.
Em qualquer caso, g = f
1
: [0, L] R
n
e um caminho de classe C
k
, pois f e
1
s ao de
classe C
k
.

6 A func ao- angulo

Seja z : [a, b] R
2
um caminho tal que z(t) = 1 para todo t [a, b], onde e a
norma euclidiana. Podemos, portanto, escrever z : [a, b] S
1
.
Uma func ao- angulo para o caminho z : [a, b] S
1
e uma func ao : [a, b] R tal que
z(t) = (cos (t), sen(t)) para todo t [a, b].
J. Delgado - K. Frensel
113
An alise
Seja : R S
1
a func ao exponencial dada por (t) = (cos t, sent) = e
it
.
Ent ao : [a, b] R e uma func ao- angulo para o caminho z se, e s o se, z = .
Teorema 6.1. Todo caminho z : [a, b] S
1
de classe C
r
, r 1, possui uma func ao- angulo
de classe C
r
. Mais precisamente, dado
0
R tal que z(a) = (cos
0
, sen
0
), z admite uma
unica func ao- angulo : [a, b] R de classe C
r
tal que (a) =
0
.
Prova.
Unicidade (v alida tamb em para func oes- angulo contnuas).
Sejam , : [a, b] R duas func oes contnuas tais que = = z.
Ent ao (t) (t) e um m ultiplo inteiro de 2 para todo t [a, b].
Como a func ao t
(t) (t)
2
e contnua e
(t) (t)
2
Z para todo t [a, b], temos que
(t) (t) = 2k para algum k Z xo.
Logo, se (a) = (a) =
0
, temos k = 0 e, portanto, (t) = (t) para todo t [a, b].
Exist encia
Seja z : [a, b] S
1
um caminho de classe C
r
tal que z(a) = (
0
).
Ent ao, se z(t) = (x(t), y(t)), as func oes coordenadas x, y : [a, b] R s ao de classe C
r
, com
x(a) = cos
0
e y(a) = sen
0
.
Como |z(t)| = 1 para todo t [a, b], temos que
z

(t), z(t) =
1
2
d
dt
z(t), z(t) = 0 ,
para todo t [a, b], ou seja, z

(t) z(t), para todo t [a, b].

Portanto, z

(t) e um m ultiplo do vetor w(t) = (y(t), x(t)) para todo t [a, b].
Assim, para todo t [a, b], existe (t) R tal que z

(t) = (t) w(t), ou seja, x

(t) = (t) y(t)

e y

(t) = (t) x(t).

Al em disso, como (t) = w(t), z

(t), para todo t [a, b], temos que e de classe C

r1
.
Seja : [a, b] R denida por
(t) =
0
+

t
a
(s) ds .
Ent ao (a) =
0
e

(t) = (t) para todo t [a, b]. Logo e de classe C

r
.
Agora vamos provar que x(t) = cos (t) e y(t) = sen (t) para todo t [a, b].
De fato, como

= , x

= y e y

= x, temos que:
114
Instituto de Matem atica UFF
A func ao- angulo
( x(t) cos (t) + y(t) sen (t) )

= x

(t) cos (t) x(t)

(t) sen (t)

+y

(t) sen (t) + y(t)

(t) cos (t)

= (t) y(t) cos (t) x(t) (t) sen (t)
+(t) x(t) sen (t) + y(t) (t) cos (t) = 0
( y(t) cos (t) x(t) sen (t) )

= y

(t) cos (t) y(t)

(t) sen (t)

x

(t) sen (t) x(t)

(t) cos (t)

= (t) x(t) cos (t) y(t) (t) sen (t)
+(t) y(t) sen (t) x(t) (t) cos (t) = 0 ,
para todo t [a, b]. Ent ao,
x(t) cos (t) + y(t) sen (t) = x(a) cos (a) + y(a) sen (a)
= cos
2

0
+ sen
2

0
= 1 (I)
e
y(t) cos (t) x(t) sen(t) = y(a) cos (a) x(a) sen (a)
= sen (a) cos (a) cos (a) sen (a) = 0 , (II)
para todo t [a, b].
Como, para todo t [a, b],
{ ( cos (t), sen (t) ) , ( sen (t), cos (t) ) }
e uma base ortonormal de R
2
, temos que
z(t) = (x(t), y(t))
= (x(t), y(t)), (cos (t), sen(t)) (cos (t), sen(t))
+(x(t), y(t)), (sen(t), cos (t)) (sen(t), cos (t)) ,
para todo t [a, b].
Logo, por (I) e (II), obtemos
z(t) = ( cos (t), sen(t) ) ,
para todo t [a, b].

Corol ario 6.1. Seja f : [a, b] R

2
{0} um caminho de classe C
r
, r 1. Dado
0
R tal
que f(a) = f(a) (cos
0
, sen
0
), existe uma unica func ao de classe C
r
, : [a, b] R, tal que
(a) =
0
e f(t) = f(t) (cos (t), sen(t)), para todo t [a, b].
Prova.
Basta tomar a func ao- angulo do caminho z(t) =
f(t)
f(t)
com (a) =
0
, uma vez que, pela
observac ao 1.8, z e de classe C
r
.

J. Delgado - K. Frensel
115
An alise
Corol ario 6.2. Seja f : [a, b] R
2
{0} um caminho de classe C
r
por partes. Dado
0
R tal
que f(a) = f(a) (cos
0
, sen
0
), existe uma unica func ao de classe C
r
por partes : [a, b]
R tal que (a) =
0
e f(t) = f(t)(cos (t), sen(t)), para todo t [a, b].
Prova.
Seja P = {t
0
= a < t
1
< . . . < t
k
= b} uam partic ao do intervalo [a, b] tal que f|
[t
i1
,t
i
]
e de
classe C
r
, para todo i = 1, . . . , k.
Ent ao, pelo teorema anterior, f|
[a,t
1
]
possui uma func ao- angulo
1
: [a, t
1
] R de classe C
r
tal
que
1
(a) =
0
. Como f|
[t
1
,t
2
]
e de classe C
r
, existe uma func ao- angulo
2
: [t
1
, t
2
] R, com

2
(t
1
) =
1
(t
1
), para o caminho f|
[t
1
,t
2
]
.
Prosseguindo deste modo, obtemos, para cada i = 2, . . . , k, uma func ao- angulo de classe C
r

i
: [t
i1
, t
i
] R para o caminho f|
[t
i1
,t
i
]
, com
i
(t
i1
) =
i1
(t
i1
).
Ent ao, a func ao : [a, b] R, denida por (t) =
i
(t), se t [t
i1
, t
i
], e contnua e |
[t
i1
,t
i
]
e
de classe C
r
para todo i = 1, . . . , k. Logo e de classe C
r
por partes e e a unica func ao- angulo
de classe C
r
por partes do caminho f tal que (a) =
0
.

Observac ao 6.1. Seja f : [a, b] R

2
{0} um caminho de classe C
r
, r 1. Se uma func ao
contnua : [a, b] R e tal que f(t) = f(t) (cos (t), sen(t)) para todo t [a, b], ent ao e
uma func ao de classe C
r
.
De fato, seja : [a, b] R a func ao- angulo de classe C
r
para o caminho z(t) =
f(t)
f(t)
tal
que (a) = (a). Como a unicidade no teorema 6.1 foi provada para func oes- angulo contnuas,
temos que = e, portanto, e de classe C
r
.
Observac ao 6.2. Se z : [a, b] S
1
e um caminho contnuo e z(a) = (cos
0
, sen
0
), ent ao
existe uma unica func ao- angulo : [a, b] R contnua tal que (a) =
0
e
z(t) = (cos (t), sen(t)) ,
para todo t [a, b] (ver exerccio 7.1).
116
Instituto de Matem atica UFF