Resumen Clculo III (Mat1630)

Felipe Molina

I2
Definicin (curvatura):

Sea : [, ] 3 una curva que est arcoparametrizada. La curvatura de se

define por:

() = ()

Si

() = ()

Es el vector tangente, es unitario y, adems

() = ()

Para no arcoparametrizada:

() ()
() =
()3

Definicin (vector normal unitario):

Definimos el vector normal unitario a la curva al vector () que satisface:

() () = 0

Definicin (vector binormal unitario):

Definimos el vector binormal unitario por:

() = ()()

El tro , es llamado triedro de Frenet-Serret.

Para no arcoparametrizada

()
() =
()
()
() =
()
() = ()()

Definicin (torsin):

Definimos la torsin de una curva arcoparametrizada por:

() = ()

Para curvas que no necesariamente estn arcoparametrizadas:

( () ()) ()
() = , () 0
() ()2

Teorema (ecuaciones de Frenet-Serret)

Sea una curva arcoparametrizada con triedro de Frenet-Serret {, , }. Entonces

se satisfacen las ecuaciones:

= ()()


= ()() + ()()


= ()()

Que puede ser escrito en notacin matricial

0 () 0
() = (() 0 ()) ()
0 () 0

Definicin (tipos de planos)

1. Definimos el plano osculador como el plano generado por {, }.

2. Definimos el plano normal como el plano generado por {, }.
3. Definimos el plano rectificante como el plano generado por {, }.
Definicin (circunferencia osculadora)

Se define como circunferencia osculadora a la circunferencia contenida en el plano

osculador, que tiene vector tangente igual al vector tangente de la curva , con
1
radio = () y que est en el lado cncavo de la curva.

Definicin (Campo de vectores)

Un campo de vectores en es una funcin : n que es continua y

que asigna a cada un vector = () .

Para 3 :

(, , ) = ((, , ), (, , ), (, , ))

() = ((), (), ()) = () + () + ()

Ejemplo: campo gradiente

Sea : 3 diferenciable. Entonces, el gradiente de

(, , ) = ( , , )

Forma un campo de vectores : 3 3 dada por

(, , ) = (, , )

Definicin (campo conservativo)

Diremos que un campo de vectores es conservativo, si existe una funcin

potencial : diferenciable tal que

=
Definicin (integral de lnea de primera especie)

Sean : [, ] una curva regular y : una funcin continua con

un dominio abierto que contiene a la curva : (), [, ].

Entonces, la integral de lnea de primera especie de f sobre la curva c es:

(1 , , ) = (())()

Propiedades

Sean : [, ] una curva regular y , : funciones continuas con

abierto que contiene a la curva , entonces:

1. (1 , , ) = (1 , , ) ,
2. ((1 , , ) (1 , , )) = (1 , , ) (1 , , )
3. Se dice que es una curva cerrada si () = ()
4. La integral de lnea en una curva cerrada se denota por
(1 , , )

Definicin (integral de lnea de segunda especie)

Sean : [, ] y : un campo de vectores continuo con un

abierto que contiene a la curva : ().

Definimos la integral de lnea de segunda especie del campo vectorial sobre ,

por:

= (()) ()

Si posee una orientacin determinada, es la misma curva con orientacin

opuesta (para campos vectoriales).

=

Observacin

Si = 2

(, ) = ((, ), (, )) () = ((), ())

Entonces

= ( + )

Si = 3

(, , ) = ((, , ), (, , ), (, , )) () = ((), (), ())

Entonces

= ( + + )

Aplicacin

Trabajo

Si una partcula se mueve a lo largo de una curva y es movida por una fuerza
: , entonces el trabajo realizado por a lo largo de est dado por:

Teorema

Sea una curva parametrizada por (): [, ] y : con

continua. Entonces,

= (()) (())

Corolario

Sea una curva parametrizada por (): [, ] y un campo conservativo con

funcin potencial , entonces:

= = (()) (())

Definicin (independencia de la trayectoria)

Sea : continua. Diremos que es independiente de la

trayectoria, si = para cualquier trayectoria 1 y 2 que estn en
1 2

con los mismos puntos iniciales y finales.

Corolario

Las integrales de lnea de campos conservativos son independientes de la

trayectoria y, para toda trayectoria cerrada contenida en , se cumple

= 0

Definicin (conjuntos conexos y abiertos)

Diremos que es abierto, si para todo existe > 0 tal que

(, ) = { : < }
En otras palabras, es abierto si no contiene sus puntos frontera
Diremos que es conexo si , existe un camino que une los
puntos , y que est contenida en .

Teorema

Sean un conjunto abierto y conexo, y : un conjunto de vectores

continuos. Si

Es independiente de la trayectoria en , entonces es conservativo.

Definicin (conjunto simplemente conexo)

Diremos que es simplemente conexa, si es conexa y no tiene agujeros.

Definicin (curva paramtrica simple)

Una curva parametrizada se dice simple, si es inyectiva. Es decir, si (): [, ],

entonces:

() ()
() = () =

Es decir, no se auto-intercepta

Teorema

Si (, ) = ((, ), (, )) es un campo de vectores conservativo y tienen

derivadas parciales de primer continuas en , entonces:

Teorema

Sea (, ) = ((, ), (, )) un campo sobre una regin simplemente conexa.

Si

Entonces es conservativo.