Funciones Vectoriales de Variable Real

Parametrización Natural

MSc. Daniel G. Camacho

Facultad de Ingenierı́a
Universidad de Piura

Agosto 2017

S ST
A
U
IT

DI
UNIVERS

ORUM
P

U
IS

S
I

R
EN

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 1 / 24

Contenido

1 Longitud de camino

2 Parametrización natural
Objetivo
Construcción de la parametrización natural

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 2 / 24

Definición 1 (Longitud de Camino)
Sea f : [a, b] ⊆ R → Rn un camino de clase C 1 . La longitud de f entre
t = a y t = b, denotada por `( f ), se define como
Z b
`( f ) = f 0 (t) dt
a

I Observar que siendo f un camino de clase C 1 se tiene que f 0 (t) es

una función continua de t.

I También f 0 (t) es una función continua por ser la composición de
dos funciones continuas, ϕ(x) = kxk, x ∈ Rn con f 0 (t).
I Los dos resultados anteriores garantizan la existencia de la integral
(las funciones continuas son integrables).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 3 / 24

Definición 1 (Longitud de Camino)
Sea f : [a, b] ⊆ R → Rn un camino de clase C 1 . La longitud de f entre
t = a y t = b, denotada por `( f ), se define como
Z b
`( f ) = f 0 (t) dt
a

I Observar que siendo f un camino de clase C 1 se tiene que f 0 (t) es

una función continua de t.

I También f 0 (t) es una función continua por ser la composición de
dos funciones continuas, ϕ(x) = kxk, x ∈ Rn con f 0 (t).
I Los dos resultados anteriores garantizan la existencia de la integral
(las funciones continuas son integrables).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 3 / 24

Definición 1 (Longitud de Camino)
Sea f : [a, b] ⊆ R → Rn un camino de clase C 1 . La longitud de f entre
t = a y t = b, denotada por `( f ), se define como
Z b
`( f ) = f 0 (t) dt
a

I Observar que siendo f un camino de clase C 1 se tiene que f 0 (t) es

una función continua de t.

I También f 0 (t) es una función continua por ser la composición de
dos funciones continuas, ϕ(x) = kxk, x ∈ Rn con f 0 (t).
I Los dos resultados anteriores garantizan la existencia de la integral
(las funciones continuas son integrables).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 3 / 24

Ejemplo 2
Sea f : [0, 2π] ⊆ R → R2 el camino dado por

f (t) = (a(t − sin t), a(1 − cos t)) a > 0,

el cual describe un arco completo de cicloide. Calcular la longitud de dicho

arco.

Solución:
I La norma de la derivada es:
0
f (t) = k(a(1 − cos t), a sin t)k
q
= a2 (1 − cos t)2 + a2 sin2 (t)
√ √
= |a| 2 1 − cos t

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 4 / 24

 I Luego
Z b Z b √ √
`( f ) = f (t) dt =
0
a 2 1 − cos t dt
a a
√ Z 2π √ Z 2π r
t
= 2a 1 − cos t dt = sin2 dt
0 0 2
Z 2π   Z 2π
= sin t  dt = t
sin dt
 2 2
0 0
t 2π

= −4a cos  = 8a.
20
Quitamos el signo de valor absoluto por que sin (t/2) ≥ 0 en el
intervalo [0, 2π].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 5 / 24

Ejemplo 3
Sea f : [0, 2π] ⊆ R → R3 el camino dado por f (t) = (cos t, sin t, t) La curva
que éste describe es una espira de una hélice. Calcular su longitud.

Solución:
Tenemos que
0
f (t) = k(− sin t, cos t, 1)k
q √
= sin2 (t) + cos2 (t) + 1 = 2.

Entonces la longitud de una espira de la hélice es:

Z 2π Z 2π √ √
`( f ) = f 0 (t) = 2 dt = 2 2π.
0 0

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 6 / 24

Ejemplo 4
Dada una curva C en R2 o R3 y f : I ⊆ R → R2 o R3 un camino que tiene
como imagen a C , no es cierto, en general, que la longitud de C sea la
longitud del camino f . Por ejemplo, si C es una curva cerrada y f es un
camino que recorre C dos o más veces, la longitud de f será el número
de veces que f recorre C multiplicado por la longitud de C .
Esto ocurre con el camino f : [0, 4π] ⊆ R → R2 , f (t) = (cos t, sin t) que
recorre dos veces el cı́rculo unitario. La longitud de f será
Z 4π Z 4π
`( f ) = f 0 (t) = dt = 4π,
0 0

que es dos veces la longitud de la circunferencia de radio uno.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 7 / 24

Ejemplo 5
Considere una función real de variable real ϕ : I ⊆ R → R de clase C 1 .
Podemos calcular la longitud de la gráfica de ϕ entre x = a y x = b,
a, b ∈ I , por medio del camino de clase C 1 ,

f : [a, b] ⊆ R → R2 ,
f (t) = (t, ϕ(t)).

La longitud es igual a:
Z b Z b
`(ϕ) = f 0 (t) dt = (1, ϕ0 (t)) dt
a a
Z bq
= 1 + (ϕ0 (t))2 dt.
a

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 8 / 24

Contenido

1 Longitud de camino

2 Parametrización natural
Objetivo
Construcción de la parametrización natural

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 9 / 24

Contenido

1 Longitud de camino

2 Parametrización natural
Objetivo
Construcción de la parametrización natural

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 10 / 24

 I Dado un camino f : I ⊆ R → Rn que genera la curva C , vamos a
estudiar la posibilidad de cambiar la variable de modo que la nueva
función vectorial h genere también la misma curva C pero que tenga
la propiedad de que la rapidez con la que genere la curva sea
constante e igual a la unidad, h (t) = 1.
0

I Esta nueva parametrización de la curva C tendrı́a la propiedad
Z b Z b
`(h) = h0 (s) ds = ds = b − a.
a a

I Es decir, la longitud de la curva serı́a igual a la longitud del dominio.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 11 / 24

 I Dado un camino f : I ⊆ R → Rn que genera la curva C , vamos a
estudiar la posibilidad de cambiar la variable de modo que la nueva
función vectorial h genere también la misma curva C pero que tenga
la propiedad de que la rapidez con la que genere la curva sea
constante e igual a la unidad, h (t) = 1.
0

I Esta nueva parametrización de la curva C tendrı́a la propiedad
Z b Z b
`(h) = h0 (s) ds = ds = b − a.
a a

I Es decir, la longitud de la curva serı́a igual a la longitud del dominio.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 11 / 24

 I Dado un camino f : I ⊆ R → Rn que genera la curva C , vamos a
estudiar la posibilidad de cambiar la variable de modo que la nueva
función vectorial h genere también la misma curva C pero que tenga
la propiedad de que la rapidez con la que genere la curva sea
constante e igual a la unidad, h (t) = 1.
0

I Esta nueva parametrización de la curva C tendrı́a la propiedad
Z b Z b
`(h) = h0 (s) ds = ds = b − a.
a a

I Es decir, la longitud de la curva serı́a igual a la longitud del dominio.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 11 / 24

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 12 / 24
Ejemplo 6
Consideremos el camino f : [0, 2π] ⊆ R → R2 definido como
f (t) = (cos t, sin t) que recorre una vez la circunferencia de radio uno y
centro en el origen. La rapidez con que recorre la circunferencia es
0
f (t) = k(− sin t, cos t)k ,
p
= sin2 t + cos2 t,
= 1, ∀ t ∈ [0, 2π].

La rapidez con que f recorre la curva es constante e igual a uno y en

consecuencia la longitud de la curva descrita por f es 2π igual a la
longitud del dominio.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 13 / 24

Contenido

1 Longitud de camino

2 Parametrización natural
Objetivo
Construcción de la parametrización natural

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 14 / 24

 I Consideremos un camino regular f : [a, b] ⊆ R → Rn y
seleccionamos un punto p = f (t0 ) ∈ Rn de la curva C que describe f .
I Por ser regular el camino es de clase C 1 y podemos calcular para
cada t ∈ [a, b], la longitud del arco de curva entre f (t0 ) y f (t).
I Estamos ası́ definiendo una función de t que denotaremos como ψ:
Z t
ψ(t) = f 0 (u) du.
t0

I Si t < t0 , es decir el punto f (t) está antes que p = f (t0 ), entonces la

longitud del camino es negativa.
I Por el teorema fundamental del cálculo sabemos que

ψ0 (t) = f 0 (t) , t ∈ [a, b].
I Como nuestro camino f es regular, entonces:

ψ0 (t) = f 0 (t) , 0 ∀t ∈ [a, b].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 15 / 24

 I Consideremos un camino regular f : [a, b] ⊆ R → Rn y
seleccionamos un punto p = f (t0 ) ∈ Rn de la curva C que describe f .
I Por ser regular el camino es de clase C 1 y podemos calcular para
cada t ∈ [a, b], la longitud del arco de curva entre f (t0 ) y f (t).
I Estamos ası́ definiendo una función de t que denotaremos como ψ:
Z t
ψ(t) = f 0 (u) du.
t0

I Si t < t0 , es decir el punto f (t) está antes que p = f (t0 ), entonces la

longitud del camino es negativa.
I Por el teorema fundamental del cálculo sabemos que

ψ0 (t) = f 0 (t) , t ∈ [a, b].
I Como nuestro camino f es regular, entonces:

ψ0 (t) = f 0 (t) , 0 ∀t ∈ [a, b].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 15 / 24

 I Consideremos un camino regular f : [a, b] ⊆ R → Rn y
seleccionamos un punto p = f (t0 ) ∈ Rn de la curva C que describe f .
I Por ser regular el camino es de clase C 1 y podemos calcular para
cada t ∈ [a, b], la longitud del arco de curva entre f (t0 ) y f (t).
I Estamos ası́ definiendo una función de t que denotaremos como ψ:
Z t
ψ(t) = f 0 (u) du.
t0

I Si t < t0 , es decir el punto f (t) está antes que p = f (t0 ), entonces la

longitud del camino es negativa.
I Por el teorema fundamental del cálculo sabemos que

ψ0 (t) = f 0 (t) , t ∈ [a, b].
I Como nuestro camino f es regular, entonces:

ψ0 (t) = f 0 (t) , 0 ∀t ∈ [a, b].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 15 / 24

 I Consideremos un camino regular f : [a, b] ⊆ R → Rn y
seleccionamos un punto p = f (t0 ) ∈ Rn de la curva C que describe f .
I Por ser regular el camino es de clase C 1 y podemos calcular para
cada t ∈ [a, b], la longitud del arco de curva entre f (t0 ) y f (t).
I Estamos ası́ definiendo una función de t que denotaremos como ψ:
Z t
ψ(t) = f 0 (u) du.
t0

I Si t < t0 , es decir el punto f (t) está antes que p = f (t0 ), entonces la

longitud del camino es negativa.
I Por el teorema fundamental del cálculo sabemos que

ψ0 (t) = f 0 (t) , t ∈ [a, b].
I Como nuestro camino f es regular, entonces:

ψ0 (t) = f 0 (t) , 0 ∀t ∈ [a, b].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 15 / 24

 I Consideremos un camino regular f : [a, b] ⊆ R → Rn y
seleccionamos un punto p = f (t0 ) ∈ Rn de la curva C que describe f .
I Por ser regular el camino es de clase C 1 y podemos calcular para
cada t ∈ [a, b], la longitud del arco de curva entre f (t0 ) y f (t).
I Estamos ası́ definiendo una función de t que denotaremos como ψ:
Z t
ψ(t) = f 0 (u) du.
t0

I Si t < t0 , es decir el punto f (t) está antes que p = f (t0 ), entonces la

longitud del camino es negativa.
I Por el teorema fundamental del cálculo sabemos que

ψ0 (t) = f 0 (t) , t ∈ [a, b].
I Como nuestro camino f es regular, entonces:

ψ0 (t) = f 0 (t) , 0 ∀t ∈ [a, b].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 15 / 24

 I Consideremos un camino regular f : [a, b] ⊆ R → Rn y
seleccionamos un punto p = f (t0 ) ∈ Rn de la curva C que describe f .
I Por ser regular el camino es de clase C 1 y podemos calcular para
cada t ∈ [a, b], la longitud del arco de curva entre f (t0 ) y f (t).
I Estamos ası́ definiendo una función de t que denotaremos como ψ:
Z t
ψ(t) = f 0 (u) du.
t0

I Si t < t0 , es decir el punto f (t) está antes que p = f (t0 ), entonces la

longitud del camino es negativa.
I Por el teorema fundamental del cálculo sabemos que

ψ0 (t) = f 0 (t) , t ∈ [a, b].
I Como nuestro camino f es regular, entonces:

ψ0 (t) = f 0 (t) , 0 ∀t ∈ [a, b].

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 15 / 24

 I Más aún, tenemos

ψ0 (t) = f 0 (t) > 0 ∀t ∈ [a, b].

I Además, ψ es una función de clase C 1 puesto que su derivada

ψ0 (t) = f 0 (t) es continua.
I Sea [c, d] ⊂ R el intervalo al que la función ψ manda las imágenes
ψ(t) cuando t ∈ [a, b].
I En particular, si tomamos p = f (a), entonces la función ψ : [a, b] → R
Z t
ψ(t) = f 0 (u) du
a

manda (o aplica) el intervalo [a, b] al (en el) intervalo [0, `( f )]

sobreyectivamente (`( f ) es la longitud de f entre t = a y t = b).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 16 / 24

 I Más aún, tenemos

ψ0 (t) = f 0 (t) > 0 ∀t ∈ [a, b].

I Además, ψ es una función de clase C 1 puesto que su derivada

ψ0 (t) = f 0 (t) es continua.
I Sea [c, d] ⊂ R el intervalo al que la función ψ manda las imágenes
ψ(t) cuando t ∈ [a, b].
I En particular, si tomamos p = f (a), entonces la función ψ : [a, b] → R
Z t
ψ(t) = f 0 (u) du
a

manda (o aplica) el intervalo [a, b] al (en el) intervalo [0, `( f )]

sobreyectivamente (`( f ) es la longitud de f entre t = a y t = b).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 16 / 24

 I Más aún, tenemos

ψ0 (t) = f 0 (t) > 0 ∀t ∈ [a, b].

I Además, ψ es una función de clase C 1 puesto que su derivada

ψ0 (t) = f 0 (t) es continua.
I Sea [c, d] ⊂ R el intervalo al que la función ψ manda las imágenes
ψ(t) cuando t ∈ [a, b].
I En particular, si tomamos p = f (a), entonces la función ψ : [a, b] → R
Z t
ψ(t) = f 0 (u) du
a

manda (o aplica) el intervalo [a, b] al (en el) intervalo [0, `( f )]

sobreyectivamente (`( f ) es la longitud de f entre t = a y t = b).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 16 / 24

 I Más aún, tenemos

ψ0 (t) = f 0 (t) > 0 ∀t ∈ [a, b].

I Además, ψ es una función de clase C 1 puesto que su derivada

ψ0 (t) = f 0 (t) es continua.
I Sea [c, d] ⊂ R el intervalo al que la función ψ manda las imágenes
ψ(t) cuando t ∈ [a, b].
I En particular, si tomamos p = f (a), entonces la función ψ : [a, b] → R
Z t
ψ(t) = f 0 (u) du
a

manda (o aplica) el intervalo [a, b] al (en el) intervalo [0, `( f )]

sobreyectivamente (`( f ) es la longitud de f entre t = a y t = b).

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 16 / 24

 I La función ψ : [a, b] → [c, d] es una función de clase C 1 con la
propiedad ψ0 (t) , 0 ∀t ∈ [a, b], por lo tanto tiene función inversa
ψ−1 : [c, d] → [a, b] la cual también es de clase C 1 y además

ψ−1 (ψ(t)) = t,
(ψ−1 )0 (ψ(t))ψ0 (t) = 1.

Puesto que ψ0 (t) , 0 se tiene que (ψ−1 )0 (s) , 0.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 17 / 24

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 18 / 24
 I Con la función ψ−1 podemos construir una reparametrización de f
mediante la composición

h(s) = f (ψ−1 (s))

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 19 / 24

 I Calculemos la derivada de la función h usando la regla de la cadena:

h0 (s) = f 0 (ψ−1 (s))(ψ−1 )0 (s)

pero

1 1
(ψ−1 )0 (s) = (ψ−1 )0 (ψ(t)) = = 0
ψ0 (t) f (t)

luego

1 1
h0 (s) = f 0 (ψ−1 (s)) 0 = f 0 (t) 0
f (t) f (t)

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 20 / 24

 I El razonamiento anterior nos demuestra que la nueva función h que
hemos construido tiene la propiedad que querı́amos lograr. Su
derivada tiene norma constante e igual a uno.
0
0 f (t)
h (s) = 0 = 1.
f (t)

I La variable de la función h es la longitud de arco. La función vectorial

cuya variable es la longitud de arco se denomina también
parametrización natural.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 21 / 24

 I El razonamiento anterior nos demuestra que la nueva función h que
hemos construido tiene la propiedad que querı́amos lograr. Su
derivada tiene norma constante e igual a uno.
0
0 f (t)
h (s) = 0 = 1.
f (t)

I La variable de la función h es la longitud de arco. La función vectorial

cuya variable es la longitud de arco se denomina también
parametrización natural.

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 21 / 24

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 22 / 24
Ejemplo 7
Demostrar que la parametrización natural de la hélice

f (t) = (a cos t, a sin t, bt)

es ! ! !
s s bs
h(s) = a cos √ , a sin √ , √
a2 + b2 a2 + b2 a2 + b2

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 23 / 24

MSc. Daniel G. Camacho (UDEP) Cálculo Vectorial (CVE) Agosto 2017 24 / 24