Professional Documents
Culture Documents
7.1 Orientacin.
Supongamos que el parmetro t es una funcin de un nuevo parmetro r [c, d], esto es t t(r), y que es una biyeccin diferenciable t:[c,d]->[a,&] Entonces diremos que F se puede reparametrizar por el parmetro r en el intervalo [c, d] por la composicin
7(r) =
7((T))
Dicho de otra forma, F est parametrizada por la funcin 7 : [c, d] R3. La funcin 7 se dice ser una reparametrizacin de F.
ww
w.
Distinguimos a la curva orientada de esta forma por F"1". Naturalmente, esto hace que F + est orientada por el vector tangente 7().
at
em
de tal forma que ||7()|| / 0, diremos que la orientacin de F es del punto 7(a) e F al punto 7(6) E F, y que est inducida por la orientacin del intervalo orientado [a,6]+ (vase la figura 7.1).
at
ic
7 : [a, b] ->R 3
a1
.c om
En este captulo introducimos los conceptos de orientacin de una curva suave y el de curva poligonal (curva suave por pedazos), que resulta de gran utilidad para las aplicaciones en las ciencias naturales.
Figura 7.1: Hlice unitaria de paso 2TT EJEMPLO. Sea F la primera espira de la hlice unitaria de paso 2TT, con la parametrizacin 'y(t) = (cos, sen,i) en el intervalo (1,0, 2TT).
[0,2TT].
es tal que j ^ = 1 < 0. La figura 7.1 ilustra esta situacin. > La ltima observacin en el ejemplo anterior no es extraa. De hecho, el siguiente resultado nos impone condiciones sobre la derivada de una funcin que cambia los parmetros, para que en la reparametrizacin se conserve la orientacin. LEMA 7.1 Sea 7 : [a, 6] R una parametrizacin de la curva F que > induce una orientacin F + . Si t [a, b] es el parmetro de 7 y existe un
ww
w.
at
em
at
ic
a1
.c om
r)
cambio de parmetro t = t(r) definido en el intervalo [c,d], entonces la reparametrizacin dada por
7(T)
es tal que, a. conserva la orientacin de T, si j ^ > 0 en todo el intervalo [c,d]. b . cambia la orientacin de T, si jj < 0 en odo eZ intervalo [c, d]. < Pjr la regla de la cadena, se tiene que
O Si Fi es el segmento de la parbola y = x2 en el intervalo [-1,1] y F2 es el segmento de la parbola y = 2 x2 en el intervalo [1,1], entonces F + = F^-f F j es tal que la orientacin inicia en el punto ( 1,1), recorre por T~t hasta (1,1) y luego recorre por F j hasta ( 1,1) siguiendo la orientacin invertida del intervalo [1,1] que definimos por [1,1]". La curva F + es en total una curva cerrada inicindose en el punto (1,1) y cerrando su circuito en el mismo punto (vase la figura 7.2 b.) Damos una parametrizacin de F + = Tf -f- T\ como sigue. Fi es la curva definida por y = x2 si x G [1,1]+, de donde, poniendo x t y y = t2 se obtiene la curva 71 (t) = {t,t2) con t G [1,1]+ que da orientacin a Fj". Para parametrizar a F 2 con la orientacin que define a la poligonal F + , siendo el segmento inmediato de Ff, consideramos su definicin. F 2 es la curva y = 2 x2 con x [1,1], lo que indica que F j est orientada por el intervalo [1,1]". Usemos el cambio lineal de intervalos
ww
w.
x: [1,2]+ - [ - 1 , 1 ] - = [1,-1] +
at
EJEMPLO. Sea F la unin (+) de los segmentos de las parbolas y\ = x2, y2 = 2 x2 comprendidos entre sus intersecciones en los puntos (1,1) y (-1,1).
em
at
ic
F+ = F+ + F+ + + F+
a1
lo que nos indica que los vectores ^ 7 y 7 son paralelos. La cantidad ^ indica el sentido de cada uno y, por lo tanto, la orientacin . > A una curva F que es la unin (+) de las curvas suaves Fi, F2, , F^ se le llamar una curva poligonal orientada, o curva suave por pedazos orientada (vase la figura 7.2 a.) La definimos por simplicidad por
.c om
> que lleva 1 1, 2 1 definido por, x = x(t) = -2( - 1) + 1 = 3 - 2. Ya que los puntos sobre la curva F 2 son de la forma (x, 2 - x2), entonces 2 72() = (3 - 2, 2 - (3 - 2) ) con t e [1,2] parametriza a F j . Por lo tanto, la curva 7 = *y(t) que parametriza a todo el circuito con la orientacin seguida de F+ = F+ + F+ es
1K)
7()
f
\
( 3 - 2 t , 2 - (3-2)2)
(M2)
-1<*<1
\<t<2
(-1,1)
at em
n(t)
a.
El ejemplo anterior nos da una manera de orientar a una regin plana Q que tiene como frontera a una curva cerrada poligonal F. Para orientar a tal regin, parametrizamos a F de tal forma que recorra el circuito en sentido contrario a las manecillas del reloj (regla de la mano derecha) Esto es equivalente a considerar el marco dado por la pareja ordenada de vectores {n(),7()}, donde n(t) es un vector normal a 7(2) y j(t) es el vector tangente, satisfaciendo la relacin de orientacin
ww
w.
at
0 < det
ic
b.
7(0
= -det
No es difcil ver que esto se logra al orientar la curva cerrada F + en contra de las manecillas del reloj y tomar sus vectores normales n(t) apuntando hacia afuera de f (vase la figura 7.3). Esta es una manera de orientar a una regin Q provista con una frontera conformada por una poligonal cerrada. La definiremos por 7+.
a1
n(t)
.c om
305
ww
w.
si se toma p G F, hasta un infinitsimo de longitud ||<7|| en tal punto de la curva, ste se descompone infinitesimalmente como
donde dx,dy,dz son las componentes infinitesimales del infinitsimo del arco (vectorial) dj (vase lafigura7.4).
at
\\dy\\2=dx2+dy2+dz2
em
at
Ahora se exponen los conceptos de longitud de arco de curva suave y el de ngulo entre dos curvas regulares. Dada una curva regular F c R 3 , parametrizada por
ic
a1
7.2
.c om
306
Dv all que
Dv esta forma,, si ('(V) define la longitud de F entonces, esta se calcula por (F) = i \Vh\\ = / y/dx2 + fy2 Jv Jv /r Jv Por lo tanto, si en cordenadas cartesianas 7 = 7(f) parametriza a F en el intervalo [a, b],
7(0 = (x(t), t/(f), ()),
./r
^[i.fc]
La igualdad
hace que la siguiente definicin sea natural. DEFINICIN. La longitud de la curva regular parametrizada F C R3 se define por C(T) = [' y/<v{t),v(t)>dt = / " ||t.(t)Hd,
donde v(t) = ^(t) es el vector velocidad tangente a la curva F en el punto El siguiente ejemplo ilustra esta definicin que se ha heredado directamente de los resultados bsicos del clculo. EJEMPLO. Sea el subconjunto del plano
ww
w.
at
em
at
ic
a1
.c om
307
< Una parametrizacin que hace de SR una curva regular, est dada por el sistema ( x = Rcost ^ rt , /|X I y = rC sent De la definicin, la longitud de 5 se calcula por
/27T
= (SlR)= Jo = i Jo y/R2(sen2t
Rdt =
2TTR.
>
P2TT
w.
debido a que v(t) = (4sent, 4cos, 2). Por lo tanto, en el intervalo [0, 2TT], la longitud de esta hlice, hasta el primer paso es
at
ww
\\v(t)\\dt= Jo
em
at
r2n
ic
= 2V207T t>
^0
El siguiente resultado nos asegura la independencia de la longitud de una curva respecto a una parametrizacin. Esto es, la definicin de longitud est bien definida, pues no depende de la parametrizacin escogida de la curva. L E M A 7.2 Sea F una curva regular parametrizada por
donde 7 = y(t), t e [a, b]. Si 7 : [c,d] F, con 7 = 7(7-) es otra parametrizacin tal que el parmetro temporal t = t(r) es una funcin del parmetro r [c, d], t:[c,d\->[a,b],
a1
EJEMPLO. Sea F C M3 la hlice contenida en el cilindro de radio 4 y paso de altura h 4TT. <\ Ya se vio en el Captulo 3, que las ecuaciones que definen paramtricamente a F son x 4 eos t y = 4 sen t z = 2t
.c om
308
con jj-p > 0. entonces las longitudes del arco en las panunetrizaciones respectivas son las mismas, esto es,
e= '\\i(t)\\dt=
Ja
f WI
Je
= i
, x
(dyl
dy2
dy\
C<T<d.
em
at
ic
a1
E
d?
i dxL dt
= j f \\w(T)\\dT.
\W(T)\\
ww
w.
dt
De esta forma, como dt/dr > 0, por el teorema de cambio de variable se tiene que
at
.c om
respectivamente. Supngase adems que en las imgenes del punto /o se intersectan las curvas Fi y 1^, esto es,
*o) =72(^0)
cos
at
ww
r 2 : 72(0 = ( M 3 )
w.
em
7i
at
=
< t V>
ic
entonces es natural definir el ngulo formado por esas curvas en 71(^0) 72(o) como el ngulo formado por sus vectores tangentes. Esto es, si tal ngulo es 0, entonces
a1
.c om
< Es claro que 7i(l) = 72(1) = (1,1) es el punto de interseccin de las curvas Fi y IV Si nombramos a los vectores tangentes respectivos por
' =a r c c o s R
= arceos I 7 ,
= arccos
I = arceos
10
7.3
Ejercicios
ww
w.
at
2. a. Calcule la longitud de arco de 0 a T en las curvas de los incisos del T ejercicio 1. b . Calcular el ngulo entre las curvas dadas en los puntos donde se intersectan. 71 (t) - (2cos, 2sen), l2(t) = (, t2) = (e cos, e'sen), 72(t) = (t,t)
em
at
ic
a1
1. D una orientacin a las curvas definidas en los incisos a, b , c y g en el ejercicio 1. del captulo 4.
.c om