Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Mariano Echeverra
Introduccin al Curso
Como su nombre lo indica, el clculo en varias variables busca generalizar las tcnicas
aprendidas en el clculo en una variable a la situacin en que las funciones dependen
de varias variables independientes. Esta generalizacin es necesaria pues bsicamente
ningn fenmeno natural depende nicamente de una variable. Por ejemplo, el precio de
un bien es funcin (entre otros factores) de los costos de los materiales que se utilizan
para fabricarlo y ya solo en este ejemplo podra estarse hablando de por lo menos decenas
de variables determinando el costo de un bien.
Afortunadamente, si bien es cierto existe un salto cualitativo entre el clculo en una
variable y el de varias variables, en el momento que se domine bien el clculo de funcio-
nes de dos o tres variables, la mayora de los resultados se pueden generalizar a varias
variables fcilmente, por lo que es suficiente como primera aproximacin dedicarse ex-
clusivamente a funciones que dependan de dos o tres variables. La nica excepcin a
esto es cuando se quiera introducir el tiempo como una variable adicional, por ejemplo,
como una cuarta variable junto a las tres espaciales, pues en este caso debido a que casi
todos los fenmenos se describen en funcin del tiempo las frmulas se interpretan un
poco distinto al introducir el tiempo explcitamente.
Debido a lo anterior, la primera parte del curso se centra en describir geomtricamente
el plano R2 y el espacio R3 . Para facilitar tal descripcin geomtrica, se introducen las
coordenadas, que no son ms que una forma conveniente de etiquetar los puntos en
una regin geomtrica. Excepto por ciertos requisitos naturales, las coordenadas que se
utilicen corresponden a convenciones o razones pragmticas, por lo que estas no sirven
ms que como una forma de registrar el significado geomtrico de los eventos. De hecho,
lo ms til de las coordenadas es que se pueden utilizar sobre regiones que no son planas,
por ejemplo, sobre una esfera o un cilindro, al proceso de asignarle coordenadas a tales
regiones se va a llamar parametrizacin.
Despus de haber estudiado la parametrizacin de superficies y un poco de geometra
vectorial, se analiza la cinemtica de curvas. Bsicamente una curva puede interpretarse
como la estela que dejara una partcula que se est moviendo en el espacio y hacer
cinemtica de la curva significa describir el movimiento de su partcula (imaginaria o
no) asociada, es decir, hablar de velocidad, aceleracin, etc. Se va a ver que si bien es
cierto es muy natural describir las curvas a travs del tiempo, el parmetro privilegiado
de las curvas no es este sino uno llamado la longtiud de arco, que es mediante el cual se
puede dar la descripcin ms simple de la curva.
El concepto que le sigue a una curva es el concepto de campo. A lo largo del curso
se estudiarn dos tipos de campos muy especiales: los campos escalares y los campos
vectoriales. Un campo escalar no es ms que la asignacin a cada punto del espacio de un
valor en el que todos los observadores coinciden independientemente de las coordenadas
2
utilizadas: por ejemplo, la temperatura ser el prototipo de un campo escalar pues a
cada punto del espacio el nmero que le asigna es la temperatura en ese punto y tal
valor debera ser independiente de si se usan coordenadas cartesianas, esfricas, etc. Los
campos escalares tienen la particularidad de que pueden optimizarse, es decir, se pueden
buscar las condiciones que debe cumplir un punto para ser un mximo o un mnimo
del campo. Como se observar, la bsqueda de encontrar los puntos que maximizan o
minimizan un campo generalizan el criterio en una variable de la segunda derivada y
aqu aparecer el operador diferencial ms importante de todo el clculo, el operador
diferencial nabla.
Continuando con los campo escalares, se desarrolla la teora de integracin de tales
campos. En clculo en una variable la integral se interpret geomtricamente como el rea
bajo la curva. Si bien es cierto esta interpretacin puede extenderse a ms variables pierde
rpidamente su utilidad ya que su capacidad de visualizacin incluso para tres variables
se vuelve imposible (o al menos muy difcil). En cambio, hay otra interpretacin del
concepto de la integracin de campo escalar que se puede utilzar con mayor facilidad en
varias variables. Esta interpretacin consiste simplemente en pensar la integracin como
un proceso en que se suman contribuciones infinitesimales, por ejemplo, si el campo
escalar es la densidad, entonces la masa total del fluido no se ve ms que como una
suma (integral) de las contribuciones de elementos de masa arbitrariamente pequeos.
En la teora de integracin de campos escalares aparecern las integrales dobles o triples
que afortunadamente se podrn integrar en la mayora de casos prcticos como varias
integrales ordinarias del clculo en una variable.
Finalmente, un campo vectorial consiste en la asignacin a cada punto del espacio de
un vector. Tal vector puede ser muchas cosas, por ejemplo, la velocidad de un fluido, el
campo elctrico, el campo magntico, etc. La teora de integracin de los campos vec-
toriales es quizs la parte ms interesante del curso y es la que abre ms puertas para
modelar fenmenos fsicos, por ejemplo, las ecuaciones de Maxwell para el electromag-
netismo o la ecuacin de continuidad que expresa la conservacin de carga. Realizando
la teora de campos vectoriales, aparecen naturalmente los conceptos de trabajo, circu-
lacin y flujo que traen como contraparte matemtica el gradiente, el rotacional y la
divergencia.
3
4
ndice general
5
ndice general
6
ndice general
7
1 Geometra y Cinemtica en el Espacio
1. A cada punto de la regin geomtrica se le asigna una serie de nmeros que lo van
a identificar, es decir, los puntos son etiquetados con listas de nmeros
Por ejemplo, si la regin geomtrica es un plano, que se puede representar como una
hoja infinita, entonces dado que uno puede moverse en dos direcciones independientes
(por ejemplo, este-oeste y norte-sur) debera asignarle dos nmeros o coordenadas a cada
punto sobre el plano.
Las coordendas cartesianas consisten en escoger arbitrariamente un punto del
plano como el origen, es decir, el punto (0, 0) y trazar dos lneas rectas perpendiculares
1
Como se ver ms adelante, la mayora de coordenadas que se introducirn cumplirn parcialmente
estos requisitos, por lo que hay que tener cierta flexibilidad al usar otras coordenadas
8
1 Geometra y Cinemtica en el Espacio
que pasen por el origen que servirn como los ejes de referencia, es decir, los ejes x, y.
Luego, escogiendo arbitrariamente una escala de longitud para asignarle coordenadas a
cualquier otro punto uno traza un par de rectas que sean paralelas a los ejes de referencia
y la distancia entre tales rectas seran las coordenadas del punto P de intres.
P = (2, 3)
(0,0) 2 x
De aqu es fcil observar que se cumplen los tres requisitos anteriores para las coorde-
nadas cartesianas y que estas pueden tomar cualquier valor, es decir,
2
Es usual usar los nombres r, para las coordenadas polares pero para no entrar en conflicto con las
esfricas es mejor usar esta notacin, que tiene la desventaja de que tambin se usar para la densidad
de carga elctrica pero del contexto ser claro cual es el significado de . Con la notacin usual se
tendra x = r cos y y = r sin
9
1 Geometra y Cinemtica en el Espacio
P[,]
Es claro que siempre es positivo pues es el radio de un crculo mientras que para
dar una vuelta se necesita recorrer un ngulo de 0 a 2. Ahora bien, como es preferible
que cada punto solo reciba un par de coordenadas se toman los valores de la manera
siguiente
0 < 0 < 2 (1.1.2)
Es claro que no hay un ngulo natural que se le pueda asignar al origen, por lo que en
coordenadas polares las coordenadas del origen quedan indefinidas. Se podra
intentar = 0 como ngulo pero en ese caso si uno caminara desde el origen a un punto
sobre el eje y el valor de saltara abruptamente de 0 a 2 y se violara la condicin 2.
de continuidad. De hecho, aunque el eje x+ tiene coordenadas polares bien definidas, se
viola la condicin 2. de continuidad para el ngulo. Esto porque cualquier punto sobre
el eje x con x > 0 tiene coordenadas polares r = x y = 0 pero si uno se acerca al eje
x+ desde el cuarto cuadrante el ngulo va a saltar abruptamente de 2 a 0.
Del siguiente diagrama es claro la relacin entre las coordenadas x, y y , para un
punto sobre el plano3
x = cos y = sin
$ y (1.1.3)
= x2 + y 2 cos = 2x 2 , sin = 2 2
x +y x +y
3 y
La relacin para se escribe de la siguiente forma en vez de tan = x
pues esta ltima se indefine
cuando x = 0
10
1 Geometra y Cinemtica en el Espacio
4
Pronto se ver como se debe tomar la orientacin de los ejes de modo que formen un sistema de mano
derecha.
11
1 Geometra y Cinemtica en el Espacio
(0,0,z)
P=(x,y,z)
y
x
y
(x,y,0)
En forma similar a las coordenadas polares, el ngulo de todo el eje z est indefinido
por lo que hay toda una recta a la que no se le asignan coordenadas.
5
Nuevamente aqu hay distintas convenciones; a veces se invierte el papel de y y los valores entre
los cuales estn definidos los ngulos
12
1 Geometra y Cinemtica en el Espacio
(0,0,z)
P=(x,y,z)
z
r
z
y
x
y (x,y,0)
6
esto ya que desde el punto de vista de lgebra Lineal los puntos forma un espacio vectorial
13
1 Geometra y Cinemtica en el Espacio
(x,y,z)
0 y
(x,y,z)
0 y
7
Se van a identificar los vectores como letras en negrita para diferenciarlos de los escalares y otras
cantidades. Otra notacin comn es r que se utilizar sobre todo en las figuras
14
1 Geometra y Cinemtica en el Espacio
4 2 0 2 4
15
1 Geometra y Cinemtica en el Espacio
! > 1 : En este caso r representa un vector con la misma direccin que r pero
que se ha expandido, es decir, su longitud ha aumentado por un factor de
! 0 < < 1 : En este caso r representa un vector con la misma direccin que r
pero que se ha contrado, es decir, su longitud ha disminuido en un factor de
! 1 < < 0: En este caso r representa un vector con direccin opuesta a r y que
se ha contrado, es decir, su longitud ha disminuido en un factor de
! < 1 : En este caso r representa un vector con direccin opuesta a r pero que
se ha expandido, es decir, su longitud ha aumentado por un factor de
u
3u
2u
a a
b a+b b b a+b
16
1 Geometra y Cinemtica en el Espacio
a b = a + (b) (1.2.4)
b ab b
La siguiente figura ilustra tanto la suma como la resta de vectores segn el mtodo
del paralelogramo
17
1 Geometra y Cinemtica en el Espacio
ba
b b
a+b
Q
Q-P=P Q
rQ
rP P
8
Ms formalmente, se puede escribir como combinacin lineal de la base
18
1 Geometra y Cinemtica en el Espacio
donde
i (1, 0, 0) j (0, 1, 0) k (0, 0, 1) (1.2.6)
De la figura siguiente es fcil observar que
z
(x,y,z)
r
k zk
i
y
j
xi
yj
x
2. siempre se mide con los dos vectores saliendo del mismo punto del espacio
19
1 Geometra y Cinemtica en el Espacio
! Conmutatividad: a b = b a
Ahora bien, como se mencion antes los vectores i, j, k cumplen que son mutuamente
perpendicualres y tienen norma 1 por lo que
ii=jj=kk=1 (1.2.10)
ij=ik=jk=0 (1.2.11)
20
1 Geometra y Cinemtica en el Espacio
Con lo anterior es fcil ver que el producto punto y la norma de un vector cumplen lo
siguiente
Sean u,v,w tres vectores y R un nmero real. Las siguientes propiedades son vlidas
para el producto punto y la magnitud de un vector:
! El producto punto de un vector diferente del nulo consigo mismo siempre es posi-
tivo: u u > 0 si u (= 0 = (0, 0, 0)
d(P, Q) = )P Q) = )Q P ) (1.2.15)
A veces es importante trabajar con un vector que sea unitario, es decir, que tenga
norma 1 y que apunte en cierta direccin. Por ejemplo, si se tiene un vector u y se busca
un vector u
que apunte en la direccin de u y tenga norma 1 entonces primero que todo
deben ser paralelos pues apuntan en la misma direccin, es decir,
u = t
u (1.2.16)
con t > 0 pues son paralelos. Tomando normas a ambos lados y recordando que se quiere
que |
u| = 1 entonces
|u| = |t
u| = |t| |
u| = t (1.2.17)
21
1 Geometra y Cinemtica en el Espacio
Es decir,
u
=
u (1.2.18)
|u|
u = |u| u (1.2.20)
u
u
= |u|
a = a# + a (1.2.21)
22
1 Geometra y Cinemtica en el Espacio
a a
b a!
Es decir,
a = a# + a (1.2.24)
a = a a# (1.2.26)
es un vector perpendicular a b
= |r F| (1.2.27)
Se puede descomponer r como
r = r# + r (1.2.28)
23
1 Geometra y Cinemtica en el Espacio
donde se ignora el primer trmino pues el producto cruz entre dos vectores paralelos es
0 y luego se utiliza el hecho de que el ngulo entre dos vectores perpendiculares es 2 por
lo que el seno del ngulo es 1. As se recupera el hecho de que el torque es bsicamente
la magnitud del brazo de palanca por la magnitud de la fuerza.
9
El problema con intentar definir el producto cruz en ms dimensiones, por ejemplo R4 , es un asunto de
dimensionalidad. Como dos vectores generan un subespacio de dimensin 2 entonces en espacios con
dimensin mayor a 3 habran varios vectores linealmente independientes que seran perpendiculares
al plano que generan los vectores.
10
La siguiente imagen fue tomada de http://en.wikipedia.org/wiki/Cross_product
24
1 Geometra y Cinemtica en el Espacio
Figura 1.2.13: Representacin visual del producto cruz entre dos vectores
Claramente 1.2.32 podra usarse para hallar el ngulo entre a y b, sin embargo, como se
est considerando el ngulo) definido
* )entre
* 0 y , la funcin seno no es inyectiva en ese
intervalo, por ejemplo, sin 3 = sin 2 3 lo cual significa que habra ms de un ngulo
al tomar sin1 .
Tambin, dos vectores son paralelos o antiparalelos si el ngulo entre ellos es 0 o y
de 1.2.32 se puede observar que en tal caso |a b| = 0 por lo que dos vectores a, b son
paralelos o antiparalelos si y solo si a b = 0.
A partir de la regla de mano derecha para el producto cruz se puede establecer que
significa un sistema de mano derecha. Bsicamente, un sistema de vectores unitarios
{e1 , e2 , e3 } es de mano derecha si
e1 e2 = e3 (1.2.33)
25
1 Geometra y Cinemtica en el Espacio
j k
Es decir, nunca hay que quitar los parntesis cuando se tiene un producto cruz. Afortu-
nadamente, el producto cruz s es distributivo, es decir, a (b + c) = a b + a c
Una forma prctica de calcular el producto cruz es escribiendo los vectores en funcin
de una base. Por ejemplo, si a = a1 i + a2 j + a3 k y b = b1 i + b2 j + b3 k entonces
= a1 b2 k a1 b3 j a2 b1 k + a2 b3 i + a3 b1 j a3 b2 i (1.2.38)
Es decir,
11
Estrictamente no es un determinante pues en un determinante solo se ponen nmeros y no vectores
pero se comporta igual para todos los propsitos
26
1 Geometra y Cinemtica en el Espacio
! Anticonmutatividad: a b = b a
! Distributividad: a (b + c) = a b + a c
! Regla BAC-CAB: a (b c) = b (a c) c (a b)
A partir del producto punto y el producto cruz se pueden hallar el rea de un paralelo-
gramo y el volumen de un paraleleppedo que sern muy tiles en el tema de integracin.
Considere dos vectores a y b y el paralelogramo que forman
b |b|sin() b
12
La siguiente figura fue tomada de http://en.wikipedia.org/wiki/Cross_product
27
1 Geometra y Cinemtica en el Espacio
area = |a b| (1.2.42)
Como se puede pensar que el paralelogramo est formado por dos tringulos entonces el
rea del tringulo con lados a y b es
1
area = |a b| (1.2.43)
2
a h
c
28
1 Geometra y Cinemtica en el Espacio
Ocupamos describir el lado h como un vector y para eso recordamos que su propiedad
ms importante es que es perpendicular al paralelogramo formado por b y c. Pero ya
conocemos un vector que tiene tal propiedad el cual es b c. Luego es el ngulo entre
a y b c por lo que el volumen es
( (
( a (b c) (
(
V = |h| |b c| = |a| |cos | |b c| = |a| ( ( |b c| = |a (b c)| (1.2.44)
|a| |b c| (
V = |a (b c)| (1.2.45)
Si a = a1 i + a2 j + a3 k, b = b1 i + b2 j + b3 k, c = c1 i + c2 j + c3 k, el volumen se puede
calcular con la ayuda del determinante
( (
( a1 a2 a3 (
( (
V = (( b1 b2 b3 (( (1.2.46)
( c1 c2 c3 (
29
1 Geometra y Cinemtica en el Espacio
r-P
P
o bien
r = P + tv (1.2.48)
Dado que el punto P y el vector v es conocido es til ver r como una funcin de t y
escribir
r (t) = P + tv (1.2.49)
visto de esta forma, r(t) representara la posicin de una partcula en tiempo t que en
t = 0 pasa por P y que viaja con velocidad constante v. Sin embargo, esta interpretacin
ser utilizada despus cuando se estudie la cinemtica de las curvas.
La ecuacin 1.2.48 se llama la ecuacin vectorial de la recta y es necesario indicar lo
siguiente:
! El punto P que se toma para escribir 1.2.48 puede ser cualquiera siempre y cuando
est sobre la recta
30
1 Geometra y Cinemtica en el Espacio
En resumen,
r = P + tv (1.2.53)
! Si se tienen dos rectas, se dicen que son paralelas si sus vectores directores aso-
ciados son paralelos o antiparalelos. Es importante recalcar que en el espacio dos
rectas pueden no ser paralelas y an as no tienen por qu intersecarse.
L1 : (x, y, z) = (t + 2, t + 4, 2t + 6) (1.2.56)
31
1 Geometra y Cinemtica en el Espacio
observe que este sistema es tan fcil de resolver que no es necesario usar matrices. Por
ejemplo, sumando la primera y tercera ecuacin se llega a t1 = 0 y reemplazando esto
en la primera ecuacin se llega a t2 = 1 por lo que de (1.2.58) tenemos que
32
1 Geometra y Cinemtica en el Espacio
L2
L1 A Q C
Luego por la ecuacin vectorial para una recta si r es cualquier punto sobre L1 debe
tenerse que
L1 : r = (x, y, z) = P + tP Q = (4, 6, 7) + t(1, 0, 2) (1.2.68)
Muestre que la recta L2 , dada por ecuaciones simtricas
x1 5z
=y3= (1.2.69)
7 3
no interseca a L1 .
Observe que la ecuacin anterior puede escribirse como
x1 y3 z5
= = (1.2.70)
7 1 3
y por comparacin con 1.2.52 se tiene que (v1 , v2 , v3 ) = (7, 1, 3) y (p1 , p2 , p3 ) = (1, 3, 5).
Luego, la ecuacin vectorial para L2 es
para que hubiera interseccin el sistema siguiente tendra que tener solucin (pues
(x, y, z) cumplira ambas ecuaciones de L1 y L2 simultneamente)
4 t = 1 + 7s
6=3+s (1.2.72)
7 + 2t = 5 3s
33
1 Geometra y Cinemtica en el Espacio
1.2.2.2. Planos
En analoga con las rectas, para describir un plano en forma vectorial es necesario
especificar un punto P por el cual pasa el plano. Como la idea intuitiva de un plano es la
de una hoja infinita, se necesitan dos vectores u y v para indicar la direccin del plano,
el nico requisito para los vectores es que no sean ni paralelos ni antiparalelos. De esta
forma, como se puede apreciar de la figura, si r es el vector posicin de cualquier otro
punto sobre el plano, entonces r P es un vector que representa la direccin para ir
desde P a r por lo que debe ser una suma apropiada de los vectores u, v
r P = tu + sv (1.2.74)
r
sv
v
tu
P u
o bien
r = P + tu + sv (1.2.75)
La ecuacin anterior se conoce como la ecuacin vectorial del plano. Al igual que en
el caso de la recta, una interpretacin cinemtica es escribir la ecuacin como
r(t, s) = P + tu + sv (1.2.76)
34
1 Geometra y Cinemtica en el Espacio
En vez del movimiento de una partcula, puede pensarse en la ecuacin anterior como
la ecuacin de una recta infinita en movimiento, un parmetro es el tiempo mientras que
el otro parmetro indicara el lugar de las partculas con respecto a la recta que se est
moviendo.
Si se toma r = (x, y, z), P = (p1 , p2 , p3 ) u = (u1 , u2 , u3 ) v = (v1 , v2 , v3 ) igualando
entrada por entrada se llega a las ecuaciones paramtricas del plano
x = p1 + tu1 + sv1
y = p2 + tu2 + sv2 (1.2.77)
z = p3 + tu3 + sv3
De nuevo puede pensarse que x, y, z son funciones de t, s
x(t, s) = p1 + tu1 + sv1
y(t, s) = p2 + tu2 + sv2 (1.2.78)
z(t, s) = p3 + tu3 + sv3
Otra forma til de describir un plano es a travs de su ecuacin normal . La ecuacin
nomal consiste en utilizar un vector que sea perpendicular (normal) al plano para espe-
cificar todos sus puntos en vez de dos vectores para indicar la direccin del plano. Por
ejemplo, si n es un vector normal al plano y P es un punto conocido del plano, entonces
para cualquier otro punto r sobre el plano, r P yace sobre el plano y por ende n debe
ser perpendicular a este.
r
P
n (r P ) = 0 (1.2.79)
O bien
nr=nP (1.2.80)
Escribiendo n = (a, b, c), r = (x, y, z) y P = (p1 , p2 , p3 ) se tiene que
ax + by + cz = ap1 + bp2 + cp3 (1.2.81)
35
1 Geometra y Cinemtica en el Espacio
Como el lado derecho es solo un nmero se le puede llamar d, es decir, d ap1 +bp2 +cp3
por lo que se llega a la ecuacin normal o cartesiana de un plano
ax + by + cz = d (1.2.82)
En resumen,
r = P + tu + sv (1.2.83)
! Para la ecuacin normal del plano se toma un punto P sobre el plano (arbitrario)
y un vector normal n al plano. Luego la ecuacin normal es
nr =nP (1.2.85)
ax + by + cz = d (1.2.86)
! Si se tienen dos planos, se dicen que son paralelos si sus normales correspondientes
son paralelas o antiparalelas. Es importante recalcar que si dos planos no son
paralelos entonces se van a intersecar y la interseccin es una recta.
36
1 Geometra y Cinemtica en el Espacio
el sistema es %
x + 3y 5z = 2
(1.2.88)
2x 3z = 0
y resolvindolo con la ayuda de matrices la escalonada reducida es
& ( '
1 0 32 (( 0
(1.2.89)
0 1 76 ( 23
2x y + 7z = 10 (1.2.96)
37
1 Geometra y Cinemtica en el Espacio
x2 + y 2 = 1 (1.3.1)
Esto significa que los puntos (x, y) del plano que estn sobre el crculo cumplen la
ecuacin anterior. Ahora bien, como x, y deben satisfacer 1.3.1 se podra intentar despejar
una variable en funcin de la otra, por ejemplo,
$
y = 1 x2 (1.3.2)
Visto de esta forma, habran dos funciones y(x) dependiendo del signo que se escoja y
de esta forma se podra , decir que los -puntos (x, y) del plano que estn sobre el crculo
son aquellos de la forma x, 1 x bajo el requisito de que 1 x 1. La ventaja
2
de escribir los puntos de la forma anterior, es que ahora solo aparece explcitamente
una variable, que para lo que sigue se llamar un parmetro. La idea de un parmetro
entonces es la siguiente: si uno fuera un habitante sobre una curva como el crculo, visto
de cerca (es decir, localmente) solo hay una direccin en la que uno podra moverse,
por lo tanto debera ocuparse solo un nmero o parmetro para describir la posicin del
habitante sobre el crculo. Sin embargo, la forma que se hall y en funcin de x es algo
asimtrica pues no hay razones para preferir despejar una variable sobre la otra. Ms
bien, por la simetra del problema tiene ms sentido pasar 1.3.1 a su forma polar y se
tendra que
=1 (1.3.3)
As, cualquier punto (x, y) que est sobre el crculo cumplira que
38
1 Geometra y Cinemtica en el Espacio
E = mgh (1.3.7)
o bien
mgh K
y= (1.3.9)
mg
por lo que en este caso & '
mgh K
(x, y) = 0, (1.3.10)
mg
y en este caso la parametrizacin de la trayectoria sera en funcin de la energa cintica,
ni siquiera aparece el tiempo explcitamente! Esto quiere decir que puede haber ms de
una cantidad que sirve de parmetro y que esta cantidad no necesariamente es algo expl-
citamente geomtrico, en el sentido de que pueda visualizarse como una coordenada del
espacio. Este ejemplo tambin indica que en principio el problema de parametrizar una
curva o superficie no tiene nada que ver con un problema de causalidad o establecer que
variables son independientes o dependientes, es nada ms una forma til de especificar
la geometra del objeto.
A v(0)=0
h
v(t)=-gt
39
1 Geometra y Cinemtica en el Espacio
En general, con ayuda del lgebra lineal se sabe que cualquier ecuacin de la forma
ax2 + by 2 + cxy + dx + ey + f = 014 se puede reducir mediante un cambio de variable
a alguna de las secciones cnicas, por lo cual estudiarlas resulta de gran utilidad. Para
lo siguiente, solo se van a estudiar ecuaciones cuadrticas sin trminos mixtos, es decir,
tomando c = 0 lo cual permite utilizar la tcnica de completar cuadrados para identificar
la seccin cnica.
(x x0 )2 (y y0 )2
+ =1 (1.3.11)
a2 b2
donde a y b son los semiejes de la elipse (a, b > 0). Cuando a = b se tiene un crculo
de radio a, es decir, un crculo es una elipse cuyos semiejes son iguales. Los focos estn
sobre el eje mayor y los vrtices de la elipse son los extremos del eje mayor.
Por ejemplo, en la siguiente figura
13
imagen tomada de
http://upload.wikimedia.org/wikipedia/commons/thumb/d/d3/Conic_sections_with_plane.svg/1000px-
Conic_sections_with_plane.svg.png
14
Con ciertas excepciones triviales, por ejemplo, x2 + y 2 = 0 representa nicamente un punto y no una
curva
40
1 Geometra y Cinemtica en el Espacio
-a F 0 F a
-b
x2 y2
Figure 1.3.3: Elipse a2
+ b2
=1
el semieje mayor est sobre el eje x, es decir, se est suponiendo a > b. Ental caso los
vrtices de la elipse son (a, 0), (a, 0) y los focos de la elipse ( a2 b2 , 0), ( a2 b2 , 0).
Otros ejemplos de una elipse son los siguientes.
4 2 0 2
x2 y2
Figure 1.3.4: Elipse 9 + 5 =1
41
1 Geometra y Cinemtica en el Espacio
1 0 1 2 3
(x2)2 (y+0.5)2
Figure 1.3.5: Elipse 1 + 3 =1
Para parametrizar la elipse hay varias opciones, la ms natural es construir una modifi-
cacin apropiada de las coordenadas polares tal como se ilustra en el siguiente ejemplo.15
x2 6y + 3y 2 = 5 (1.3.12)
Primero que todo para compararla con 1.3.11 hay que completar cuadrados. Esto es
muy sencillo pues el lado izquierdo de la ecuacin anterior es
, -
x2 6y + 3y 2 = x2 + 3(y 2 2y) = x2 + 3(y 2 2y + 1 1) = x2 + 3 (y 1)2 1 (1.3.13)
x2 + 3 (y 1)2 3 = 5 (1.3.14)
o bien
x2 + 3 (y 1)2 = 8 (1.3.15)
x2 3
+ (y 1)2 = 1 (1.3.16)
8 8
es decir
x2 (y 1)2
) *2 + , -2 = 1 (1.3.17)
2 2 2 2
3
15
Es usual llamar estas coordenadas como coordenadas elpticas.
42
1 Geometra y Cinemtica en el Espacio
(0,1)
1
3 2 1 0 1 2 3
Es decir, las coordenades polares no se relacionan directamente con las cartesianas, sino
con una traslacin y dilatacin de estas. Reemplazando en 1.3.17 se llega a
2 cos2 + 2 sin2 = 1 (1.3.19)
o bien
=1 (1.3.20)
Lo anterior indica que en la transformacin 1.3.18 poda tomarse = 1 desde el inicio, es
decir, solo era necesario una variable , lo cual va en lnea de que una curva solo necesita
de un parmetro. Por lo que si (x, y) est sobre la elipse, en funcin del parmetro
puede escribirse como
. /
2 2
(x, y) = 2 2 cos , sin + 1 0 < 2 (1.3.21)
3
a2
(yy
b2
0)
=1
(xx0 )2 (yy0 )2 (1.3.22)
a2 + b2 = 1
43
1 Geometra y Cinemtica en el Espacio
Nuevamente a, b > 0. El eje que contiene los focos se llama el eje focal y las hiprbolas
se caracterizan por tener dos rectas llamadas asntotas a las cuales la hiprbola se acerca
arbitrariamente sin tocarlas. Las ecuaciones de las rectas asntotas de la hiprbola se
hallan cambiando el 1 por un 0 en 1.3.22. La figura de una hiprbola siempre son dos
ramas y los dos puntos de las ramas que cortan el eje focal son los vrtices.
Por ejemplo, en la siguiente figura
x2 y2
Figure 1.3.7: Hiprbola a2
b2
=1
Los vrtices son los puntos (a, 0), (a, 0) y los focos los puntos ( a2 + b2 , 0), ( a2 + b2 , 0).
En este caso las asinttas son las lneas punteadas que tiene por ecuacin y = ab . Ntese
que la hiprbola se abre en el eje que tiene el signo positivo tal como indican las sigu-
ientes figuras.
Figure 1.3.8: 1
4 (x 1)2 1
3 (y + 1)2 = 1
44
1 Geometra y Cinemtica en el Espacio
2 (y2)2
Figure 1.3.9: x9 + 4 =1
donde
et + et et et
cosh t = sinh t = (1.3.24)
2 2
y que las grficas de tales funciones son las siguientes:
45
1 Geometra y Cinemtica en el Espacio
3y 2 x2 + 2x = 10 (1.3.25)
3y 2 (x 1)2 + 1 = 10 (1.3.27)
o bien
3y 2 (x 1)2 = 9 (1.3.28)
para comparla con 1.3.22 se divide por 9
y2 (x 1)2
) *2 =1 (1.3.29)
3 32
46
1 Geometra y Cinemtica en el Espacio
3
#
10
2 (0, 3
)
4 3 2 1 0 1 2 3
1
#
10
(0,- 3
)
2
Por lo mencionado sobre el seno y coseno hiperblico tiene sentido hacer el cambio de
variable (para la rama superior donde y > 0)
% y
= cosh t
3
x1
(1.3.30)
3 = sinh t
Aqu < t < y la de esta forma los puntos (x, y) sobre la primera rama (por
ejemplo) de la hiprbola son de la forma
, -
(x, y) = 1 + 3 sinh t, 3 cosh t <t< (1.3.32)
47
1 Geometra y Cinemtica en el Espacio
1 2
Figure 1.3.12: Parbola x = 4a y
48
1 Geometra y Cinemtica en el Espacio
x2 5x + 3y = 9 (1.3.34)
Aqu ni siquiera es necesario completar cuadrados para hallar la parametrizacin. Como
la variable y no est elevada al cuadrado se despeja en funcin de y
9 + 5x x2
y= (1.3.35)
3
49
1 Geometra y Cinemtica en el Espacio
3 2 1 0 1 2 3 4 5 6
(x x0 )2 (y y0 )2 (z z0 )2
+ + =1 (1.3.37)
a2 b2 c2
50
1 Geometra y Cinemtica en el Espacio
a2
+ (yy
b2
0)
+ (zz
c2
0)
=1
(1.3.40)
z=h
Lo ms fcil es reemplazar la segunda ecuacin en la primera y as se llega a
(x x0 )2 (y y0 )2 (h z0 )2
+ + =1 (1.3.41)
a2 b2 c2
Como el tercer trmino del lado izquierdo es simplemente una constante entonces se
puede escribir lo anterior como
(x x0 )2 (y y0 )2 (h z0 )2
2
+ 2
=1 (1.3.42)
a b c2
2
De esta forma siempre y cuando 1 (hz c2
0)
> 0 el lado izquierdo representa la ecuacin
de una elipse por lo que las tajadas de 1.3.37 con el plano a altura h son elipses.
Haciendo lo mismo con la interseccin con un plano x = h y y = h nuevamente se tienen
elipses y a partir de esto la figura debera ser algo como la siguiente:
x2 4x + 5y 2 + 10y + z 2 = 91 (1.3.43)
51
1 Geometra y Cinemtica en el Espacio
10
5
eje z
10
2
0 10
8
6
2 4
2
0
4 2
4
6
eje y eje x
52
1 Geometra y Cinemtica en el Espacio
(x x0 )2 (y y0 )2 (z z0 )2
+ =1 (1.3.51)
a2 b2 c2
e intersecando con el plano z = h se ve que
(x x0 )2 (y y0 )2 (h z0 )2
+ = 1 + (1.3.52)
a2 b2 c2
A diferencia del elipsoide, ya no hay que poner restricciones sobre el valor de h, se observa
que las elipses van creciendo conforme h aumenta por lo que la figura debe ser como la
siguiente. La elipse ms pequea es cuando h = z0 . A su vez, tomando por ejemplo la
interseccin con el plano x = h se tiene
(y y0 )2 (z z0 )2 (h x0 )2
= 1 (1.3.53)
b2 c2 a2
y la ecuacin anterior representa hiprbolas que se abren en y o z dependiendo del valor
de h.
x2 y 2 + z 2 + 4z = 12 (1.3.54)
53
1 Geometra y Cinemtica en el Espacio
x2 y 2 + z 2 + 4z = x2 y 2 + (z + 2)2 4 (1.3.55)
x2 y 2 + (z + 2)2 = 16 (1.3.56)
Como hay una resta se utiliza primero los senos y cosenos hiperblicos de la siguiente
forma % ) *2 ) *2
x
4 + z+2 4 = cosh2 t
y (1.3.59)
4 = sinh t
con < t < . Es claro que se necesita un parmetro ms, por lo que se toma la
primera ecuacin del sistema anterior que tiene la apariencia de una ecuacin de un
crculo mediante la parametrizacin
%
x
4 = cosh t cos (1.3.60)
z+2
4 = cosh t sin
54
1 Geometra y Cinemtica en el Espacio
30
20
10
0
eje z
10
20
30 40
20
40 0
40 30 20
20 10 0 10 20 30 40
40
eje x
eje y
(x x0 )2 (y y0 )2 (z z0 )2
+ =1 (1.3.63)
a2 b2 c2
e intersecando con el plano z = h se llega a
(x x0 )2 (y y0 )2 (h z0 )2
+ = 1 (1.3.64)
a2 b2 c2
2
por lo que es necesario que (hz
c2
0)
1 para que el lado izquierdo represente una elipse.
De la desigualdad anterior sale que h |c| + z0 o bien h |c| + z0 y de aqu se originan
las dos hojas. Para obtener ms informacin acerca de como se va a ver la figura, puede
intersecarse tambin con el plano x = h. En tal caso se tiene la ecuacin
(z z0 )2 (y y0 )2 (h x0 )2
= 1 + (1.3.65)
c2 b2 a2
que representan hiprbolas que se abren en el eje z como se indica en la siguiente figura.
55
1 Geometra y Cinemtica en el Espacio
Por lo que
x2 9 (y 2)2 z 2 = 64 (1.3.69)
y dividiendo por 64
, x -2 & '2 , z -2
3(y 2)
=1 (1.3.70)
8 8 8
Nuevamente para parametrizar la ecuacin anterior hay que comenzar con las funciones
hiperblicas. Como se esperan dos hojas la parametrizacin debe hacerse por casos. Por
la discusin anterior, se necesita que
, x -2
1 (1.3.71)
8
lo cual da las desigualdades
x 8 x 8 (1.3.72)
Para el primer caso se utiliza la parametrizacin
x = cosh t
,8 -2 ) * (1.3.73)
3(y2) + z 2 = sinh2 t
8 8
56
1 Geometra y Cinemtica en el Espacio
En este caso con 0 t < para que la funcin cosh sea invertible. Luego se parametriza
la ltima ecuacin como %
3(y2)
8 = sinh t cos
z
(1.3.74)
8 = sinh t sin
Finalmente la parametrizacin de la hoja que cumple x 8 sera
& '
8
(x, y, z) = 8 cosh t, sinh t cos + 2, 8 sinh t sin 0t< 0 < 2
3
(1.3.75)
Mientras que la parametrizacin de la otra hoja con x 8 es
& '
8
(x, y, z) = 8 cosh t, sinh t cos + 2, 8 sinh t sin 0t< 0 < 2
3
(1.3.76)
80
60
40
20
0
eje z
20
40
60
80
20
10
0
60 80
10 20 40
20 0
20 40
80 60
eje y
eje x
(x x0 )2 (y y0 )2
+ = (z z0 )2 (1.3.78)
a2 b2
57
1 Geometra y Cinemtica en el Espacio
x2 3y 2 + z 2 = 0 (1.3.79)
En este caso no es necesario completar cuadrado por lo que se reescribe la ecuacin como
x2 + z 2 = 3y 2 (1.3.80)
Pensando
$ que se ha fijado un valor de y la ecuacin anterior sera la de un crculo de
radio 3y 2 por lo que se utiliza la parametrizacin
% $
x = 3y 2 cos
$ (1.3.81)
z = 3y 2 sin
58
1 Geometra y Cinemtica en el Espacio
1
eje z
3
5
4
5 0
3 2 1 0 1 2 5
3
eje x
eje y
(x x0 )2 (y y0 )2
= (z z0 ) (1.3.84)
a2 b2
Se observa que la interseccin el plano x = h es
(h x0 )2 (y y0 )2
z z0 = (1.3.85)
a2 b2
por lo que en cada plano paralelo al plano yz se tiene la ecuacin de una parbola. Por
otro lado, si se toma z = c entonces la ecuacin es la de un hiprbola como se puede
apreciar en la siguiente figura.
59
1 Geometra y Cinemtica en el Espacio
y 2 2y z 2 = x + 3 (1.3.86)
0.8
0.6
0.4
0.2
eje z
0.2
0.4
0.6
0.8
1 1
6 0.5
4 0
2
0 0.5
2
4 1
eje y
eje x
60
1 Geometra y Cinemtica en el Espacio
3x2 5x + 9z 2 = y (1.3.89)
61
1 Geometra y Cinemtica en el Espacio
0.8
0.6
0.4
0.2
eje z 0
0.2
0.4
0.6
0.8
1
1
0.5
0 14 16
10 12
0.5 6 8
2 4
1 2 0
eje y
eje x
Q(t)
R(t)
P(t)
n r(x,y,z)
62
1 Geometra y Cinemtica en el Espacio
2. Para cada punto P (t) construya el plano normal que pasa por P (t) y cuya normal
es n, es decir,
(x, y, z) n = P (t) n (1.3.92)
6. Interseque la esfera anterior con el plano y obtendr un crculo que es sobre el cual
se gira el punto Q(t) alrededor de P (t)
En principio podra parametrizarse la superficie solo que habra que saber lidiar con
cuadrticas con trminos mixtos lo cual requiere de un ms lgebra lineal de la que se
supondr
1. Hay que encontrar la ecuacin vectorial de la recta de giro. Como est en forma
simtrica se tiene que un punto es P (0) = (0, 0, 0) y un vector es n = (1, 1, 1).
Luego la forma vectorial de l es
63
1 Geometra y Cinemtica en el Espacio
2. La ecuacin del plano normal que pasa por P (t) con vector n es
o bien
x + y + z = 3t (1.3.96)
3. Si Q(t) = (x0 (t), y0 (t), z0 (t)) est sobre la curva y el plano anterior entonces pri-
mero que todo cumple las ecuaciones que define la curva, es decir,
%
x0 z0 = 1
(1.3.97)
x0 y0 + z0 = 0
x0 + y0 + z0 = 3t (1.3.98)
1 + z0 y0 + z0 = 0 (1.3.99)
o bien
y0 = 1 + 2z0 (1.3.100)
Finalmente, como cumple la ecuacin del plano se tiene
1 + z0 + 1 + 2z0 + z0 = 3t (1.3.101)
o bien
3t 2
z0 = (1.3.102)
4
de esta forma el punto Q(t) es
& '
3t + 2 3t 3t 2
Q(t) = , , (1.3.103)
4 2 4
64
1 Geometra y Cinemtica en el Espacio
6. Hay que calcular la interseccin entre la esfera anterior y el plano original, es decir,
resolver el sistema
%
x + y + z = 3t
1
) 2 * (1.3.107)
(x t)2 + (y t)2 + (z t)2 = 16 6t + 8
0
z
2
3
2
3 1
3
2 0
1 1
0
1 2
2 3
3
y
65
1 Geometra y Cinemtica en el Espacio
1. Para la ecuacin vectorial de la recta de giro cualquier punto sobre esta se puede
escribir como (x, y, z) = (x, 0, x) = x (1, 0, 1) por lo que su ecuacin vectorial es
2. La ecuacin del plano normal que pasa por P (t) con vector n = (1, 0, 1) es
o bien
x + z = 2t (1.3.113)
3. Si Q(t) = (x0 (t), y0 (t), z0 (t)) est sobre la curva y el plano anterior entonces pri-
mero que todo cumple las ecuaciones que define la curva, es decir,
%
x20 z02 = 1
(1.3.114)
y0 = 0
x0 + z0 = 2t (1.3.115)
R(t) = |P0
(t) Q(t)| = |(t x0 , y0 , t z0 )|
(1.3.116)
= (t x0 )2 + y02 + (t z0 )2
como se quiere una ecuacin en la que solo aparecen x, y, z se deben usar tambin
las otras tres ecuaciones por lo que al final se tienen las cinco ecuaciones
(x t)2 + y 2 + (z t)2 = (t x0 )2 + y02 + (t z0 )2
x + z = 2t
x20 z02 = 1 (1.3.119)
y0 = 0
x0 + z0 = 2t
66
1 Geometra y Cinemtica en el Espacio
usando la cuarta ecuacin en 1.3.119 se tiene que hay que resolver el sistema
(x t)2 + y 2 + (z t)2 = (t x0 )2 + (t z0 )2
x + z = 2t
(1.3.120)
x20 z02 = 1
x + z = 2t
0 0
Ahora bien, por la cuarta ecuacin 1 = x20 z02 = (x0 z0 ) (x0 + z0 ) = 2t (x0 z0 )
1 1
por lo que 2t + z0 = x0 y sustituyendo en la cuarta ecuacin 2t + 2z0 = 2t por lo
1
que z0 = t 4t y reemplazando en 1.3.123 se tiene
& '
2 2 2 2 1 1
x 2xt + y + z 2zt = 1 + 2 t + 4t2 (1.3.124)
2 16t2
por lo tanto
1
x2 2xt + y 2 + z 2 2zt = 2t2 (1.3.125)
8t2
por la segunda ecuacin en 1.3.120
1 1
x2 x (x + z) + y 2 + z 2 z (x + z) + (x + z)2 = (1.3.126)
2 2 (x + z)2
67
1 Geometra y Cinemtica en el Espacio
z
1
2
0
2
3 2 1 0 1 2 3
y
x
1.3.1.3. Conos
Considere un punto V y una curva C. El cono con vrtice V y directriz C es la
superficie formada por las rectas16 que parten de V e intersecan C, tales rectas se llaman
generatrices.
(x,y,z)
(x0 , y0 , z0 )
16
de hecho seran rayos pues solo se extienden indefinidamente en una direccin
68
1 Geometra y Cinemtica en el Espacio
2. Se construye la recta que pasa por V y por P0 . Como punto se toma V y como
vector director se toma V P0 , es decir,
r = V + tV P0 (1.3.129)
3. Se tiene un sistema de ecuaciones formado por las ecuaciones que satisface P0 y las
ecuaciones paramtricas de la recta anterior. De ese sistema se elimina x0 , y0 , z0 , t
para que quede una ecuacin en trminos de x, y, z que sera la que satisface la
superfice cnica
Ejemplo 14. Calcular la ecuacin de la superficie cnica que tiene por vrtice
el punto (0, 1, 1) y cuya directriz es la curva de interseccin del hiperboloide
de una hoja x2 + y 2 z 2 = 16 con el plano x 2z = 0
69
1 Geometra y Cinemtica en el Espacio
o bien
3x2 + (x + 2y 2z)2 = 16 (x 2z + 2)2 (1.3.138)
desarrollando ambos lados
) *
3x2 + x2 + 4y 2 + 4z 2 + 4xy 4xz 8yz = 16 x2 + 4z 2 + 4 4xz + 4x 8z
(1.3.139)
es decir
1.5
1
0.5
eje z
0.5
1
1.5
4
3
2 4
1 3
0 2
1
1 0
2 1
2
3 3
4
eje y eje x
70
1 Geometra y Cinemtica en el Espacio
(x, y, z)
n
v
v
v
v (x0 , y0 , z0 )
v
r = P0 + tv (1.3.141)
Ejemplo 15. Encuentre la ecuacin del cilindro cuyas generatrices son para-
lelas a la recta 2x + y z 6 = 0, x + y = 0 y cuya directriz es la interseccin
de la esfera de radio 1 centrada en (0, 1, 0) con el plano x y = 1
71
1 Geometra y Cinemtica en el Espacio
72
1 Geometra y Cinemtica en el Espacio
z
1
2
0
2 2 3
0 1
2 1
3
y
x
17
En la Mecnica Clsica los causantes de la dinmica son las fuerzas que actan sobre la partcula
73
1 Geometra y Cinemtica en el Espacio
z r(t)
0
y
Suponga que
r(t) = x(t)i + y(t)j + z(t)k (1.4.1)
cada una de las funciones x (t) , y (t) , z (t) es de una variable por lo que ya se sabe lo que
significa que cada una de ellas sea diferenciable o no. Por lo tanto si las tres funciones
x (t) , y (t) , z (t) son diferenciables se define el vector velocidad de la curva como
a(t)
r(t) = x
(t)i + y(t)j + z(t)k (1.4.3)
74
1 Geometra y Cinemtica en el Espacio
v(t)
z r(t)
0
y
En general, si f (t) es un vector que depende del tiempo, puede definirse su derivada
como
d f (t + ,t) f (t)
f (t) lm (1.4.4)
dt &t0 ,t
r(0)
r(t)
r2
C(0) v C(t) v
r1
D
(0,0)
Suponga que en t = 0 el crculo est alineado como se indica en la figura y que adems
se desea calcular la posicin del punto que en t = 0 est sobre la vertical. Para describir
en forma sencilla el movimiento de tal punto se descompone su vector posicin como
r = r1 + r2 (1.4.5)
donde r1 es la posicin del centro del crculo conforme se mueve mientras que r2 es la
posicin del punto con respecto al centro en movimiento.
75
1 Geometra y Cinemtica en el Espacio
r1 = Rti + Rj (1.4.6)
(0,R)
(0,y) x
(x,y)
y
R
(0,0)
Como r2 es el vector con respecto al centro en movimiento, por las propiedades del
movimiento relativo el punto no se est trasladando con respecto al centro del crculo,
solo est rotando como se indica en la figura18 . Si el punto ha girado un ngulo entonces
x y
sin = cos = (1.4.7)
R R
como = t entonces
r2 = R sin ti + R cos tj (1.4.8)
por lo que
r(t) = R (t + sin t) i + R (1 + cos t) j (1.4.9)
Luego para hallar la velocidad se deriva las componentes por separado
18
Observe que se puso el origen de las coordenadas en el centro del crculo porque r2 se mide con respecto
al centro
76
1 Geometra y Cinemtica en el Espacio
1.8
1.6
1.4
1.2
0.8
0.6
0.4
0.2
0
0 2 4 6 8 10 12 14 16
Antes de continuar es til tener presente las siguientes reglas de derivacin para el
producto punto y el producto cruz.
Si a(t) y b(t) son dos vectores que dependen de t y f (t) es una funcin escalar entonces
& ' & '
d d d
(a b) = a b+a b (1.4.12)
dt dt dt
& ' & '
d d d
(a b) = a b+a b (1.4.13)
dt dt dt
& '
d d d
(f a) = f a+f a (1.4.14)
dt dt dt
Con estas frmulas se pueden derivar varios resultados importantes. Primero que todo,
suponga que a(t) es un vector de norma constante, es decir,
|a(t)| = c (1.4.15)
donde c es una constante. Lo anterior es equivalente a
a a = c2 (1.4.16)
y derivando a ambos lados con 1.4.12 se obtiene que
& ' & '
d d
a a+a a =0 (1.4.17)
dt dt
o bien
d
a a=0 (1.4.18)
dt
77
1 Geometra y Cinemtica en el Espacio
d
Si a(t) es un vector de norma constante entonces su derivada dt a es perpendicular a a,
es decir,
d
a a=0 (1.4.19)
dt
Con los mtodos vectoriales anteriores se puede encontrar la velocidad de una partcula
cuando gira en torno un eje con velocidad angular .
v(t)
r
r(t)
r!
v = |v|
e=r (1.4.24)
78
1 Geometra y Cinemtica en el Espacio
Es decir,
Una partcula que gira en torno un eje con velocidad angular tiene velocidad
v =r (1.4.25)
Leyes de Kepler
Con la teora desarrollada hasta el momento es posible resolver el problema de los dos
cuerpos, es decir, ver que la trayectoria de un cuerpo bajo la fuerza de la gravedad es
una seccin cnica.19
Antes de comenzar, un poco de notacin. Se denotar
r |r| = r r (1.4.26)
y
r
r (1.4.27)
|r|
Observe primero r es un nmero que cumple
r2 = r r (1.4.28)
mientras que
r un vector que adems cumple
( (
(r(
r| = (( (( = 1
| (1.4.29)
|r|
Es decir,
r tiene norma constante y por 1.4.19 se concluye que
d
r
r=0
(1.4.30)
dt
Gracias a Newton, se sabe que la aceleracin que produce la fuerza gravitacional sobre
una partcula es
GM
a= 2 r (1.4.31)
r
donde G es la constante de gravitacin universal y M puede pensarse como la masa del
Sol si se desea. Para comenzar es necesario derivar la ley de conservacin del momentum
angular.
19
En realidad este resultado es vlido para cualquier fuerza central de la forma r12 no solo para la
gravedad pero histricamente este es el caso ms importante. Tambin, no hay prdida de generalidad
en considerar solo un cuerpo bajo la accin de la gravedad pues el problema de los dos cuerpos siempre
puede reducirse a esta forma desde un punto de vista matemtico aunque la interpretacin de M
cambia pues ahora representara la suma de ambas masas, es decir, M = MT + MS donde MT es
la masa de la Tierra y MS la del sol. Por lo tanto, puede suponerse que se est considerando al Sol
teniendo una masa mucho ms grande que la Tierra.
79
1 Geometra y Cinemtica en el Espacio
L =mr v (1.4.32)
es el momento angular de una partcula de masa m que posee aceleracin 1.4.31 entonces
L es constante.
Para esto nada ms hay que usar 1.4.13
& ' & '
d d d GM
L=m rv+r v =m vv 2 rr =0 (1.4.33)
dt dt dt r
Es decir, la derivada del momento angular se anula y por ende cada componente debe
ser una constante, es decir, puede tomarse
L = L0 (1.4.34)
Ahora que se sabe que el momento angular es constante, se puede mostrar la ley de
Kepler de las reas. Suponga que en tiempo t la partcula ocupa la posicin r (t) y en
un tiempo t + ,t ocupa la posicin r(t + ,t) como se indica en la figura. Definiendo
el rea contenida en la regin definida por r(t), r(t + ,t) y la curva entre esos dos
vectores es aproximadamente igual al rea del tringulo con lados r(t) y !r. Gracias a
la frmula del rea de un tringulo se tiene que si A(t, t + ,t) es el rea barrida entre
esos dos tiempos entonces
1
A(t, t + ,t)
= |r(t) !r| (1.4.36)
2
y diviendiendo a ambos lados por ,t y usando el hecho de que A(t, t) = 0 entonces
( (
A(t, t + ,t) 1 (( ,r ((
= (r(t) (1.4.37)
,t 2 ,t (
80
1 Geometra y Cinemtica en el Espacio
Ley de Kepler de las reas: Una partcula recorre en tiempos iguales reas iguales
r m
r(t+t)
r(t)
81
1 Geometra y Cinemtica en el Espacio
a (b c) = b (a c) c (a b) (1.4.47)
Se considera
& ' & & ' & ' '
2 d 2 d d
r L0 = mr
r r r = mr r r r r (
r
r) (1.4.48)
dt dt dt
d
Por lo mencionado al inicio
r dt
r = 0 y de esta forma
d
r L0 = mr 2
r (1.4.49)
dt
De 1.4.31 se observa que por otro lado
r2 r2 d
r L0 =
a L0 = (v L0 ) (1.4.50)
GM GM dt
e igualando ambas expresiones
d r2 d
mr 2 r=
(v L0 ) (1.4.51)
dt GM dt
es decir
d
(v L0 GM mr) = 0 (1.4.52)
dt
como la derivada del vector anterior es el vector nulo siempre entonces
v L0 = GM m
r+c (1.4.53)
0 = c L0 (1.4.54)
por lo que c yace en el mismo plano que r y v. Tomando el producto punto en 1.4.53
con r se tiene
r (v L0 ) = GM mr
r+rc (1.4.55)
Ahora se utiliza la identidad vectorial a (b c) = c (a b) en la ecuacin anterior se
tiene
L0 (r v) = GM mr + r c (1.4.56)
82
1 Geometra y Cinemtica en el Espacio
Ahora bien, como c es un vector constante sobre el plano xy en que ocurre el movimiento
puede suponerse que se toman los ejes de modo que est alineado sobre el eje x, es decir,
c = |c| i. Por lo tanto, se tiene en 1.4.56
|L0 |2
= GM mr + r |c| cos () (1.4.57)
m
donde es el ngulo en coordenadas polares. Como en coordenadas polar x = r cos la
ecuacin anterior puede acomodarse un poco como
|L0 |2 |c|
r= 2
x (1.4.58)
GM m GM m
ahora se eleva al cuadrado la ecuacin para llegar a
x2 + y 2 = p2 2pxe + x2 e2 (1.4.59)
donde
|c| |L0 |2
e p (1.4.60)
GM m GM m2
finalmente se ha derivado la ecuacin
) *
1 e2 x2 + 2pex + y 2 = p2 (1.4.61)
Es claro que lo anterior representa una seccin cnica, por lo tanto, se ha obtenido la
obtenido la primera ley de Kepler. 20
La ltima ley que falta hallar es la tercera ley que se refiere a la relacin entre el
perodo del un planeta y su semieje mayor cuando realiza movimiento elptico en torno
al Sol. Para obtener la tercera ley suponga que 0 e < 1 en 1.4.62. En tal caso la
ecuacin puede reescribirse como
& '
) 2
* 2 2pe
1e x + x + y 2 = p2 (1.4.63)
1 e2
20
de hecho, este resultado es ms fuerte que la ley de Kepler pues abarca todos los movimientos posibles
de un cuerpo bajo la fuerza de la gravedad y no se reduce nicamente al movimiento elptico de los
planetas
83
1 Geometra y Cinemtica en el Espacio
perodo T entonces ha barrido todo el rea de la elipse y como el rea de cualquier elipse
es A = ab entonces $
A = 1 e2 a2 (1.4.66)
dA 1
Por otro lado, como dt = 2m |L0 | en un perodo el rea recorrida es simplemente
1
A= |L0 | T (1.4.67)
2m
por lo tanto, igualando ambas expresiones
1 $
|L0 | T = 1 e2 a2 (1.4.68)
2m
elevando al cuadrado la ecuacin anterior
) * a4
T 2 = 4m2 2 1 e2 (1.4.69)
|L0 |2
4 2 3
T2 = a (1.4.70)
GM
84
1 Geometra y Cinemtica en el Espacio
se puede interpretar como un vector tangente a la curva; ahora bien, si hubiera algn
instante t0 en el cual la velocidad se anulara, es decir, v(t0 ) = 0 entonces la velocidad
colapsara a un punto y no habra un vector tangente que sea natural. Por lo tanto, se
realizar la siguiente suposicin
Se van a trabajar de ahora en adelante con curvas regulares , es decir, curvas que cumplen
en todo instante que
v(t) (= 0 (1.5.1)
Como la velocidad nunca se anula se puede descompener como
v(t)
v(t) = |v(t)| = |v(t)| T(t) (1.5.2)
|v(t)|
donde
v(t)
T (t) (1.5.3)
|v(t)|
El vector T(t) se llama el vector tangente a la curva. Siempre es un vector unitario, es
decir, de norma 1.
Dado que el vector tangente tiene norma constante por 1.4.19 se obtiene que
d
T(t) T(t) = 0 (1.5.4)
dt
d
Ahora bien, no necesariamente dt T(t) es un vector unitario por lo que se normaliza para
obtener el vector normal
d
T(t)
N(t) ( dt ( (1.5.5)
( d T(t)(
dt
Se est buscando un sistema mvil que se mueva junto con la partcula y que sea natural
a la cinemtica de la partcula. Antes de interpretar el vector normal se va a introducir
el ltimo vector del sistema mvil. Como se quiere un sistema de mano derecha se define
el vector binormal
B(t) = T(t) N(t) (1.5.6)
Observe que es automticamente unitario al ser el producto cruz de dos vectores unitarios
y perpendiculares. En resumen,
El sistema mvil o de Frenet para una curva regular es el sistema de vectores mviles
{T, N, B} donde
v(t)
T (t) |v(t)|
d
T(t)
N(t) dt
d
(1.5.7)
| dt |
T(t)
85
1 Geometra y Cinemtica en el Espacio
por lo tanto
v(t) = R sin ti + R cos tj (1.5.9)
La aceleracin de la partcula es
86
1 Geometra y Cinemtica en el Espacio
0.8
0.6
0.4
0.2
0.8
0.6
0.4 0.8
0.2 0.6
0 0.4
0.2 0.2
0
0.4 0.2
0.6 0.4
0.8 0.6
0.8
1.5.1.2. Hlice
Otro ejemplo muy comn es la hlice
La aceleracin es
a(t) = a cos ti a sin tj (1.5.20)
La norma de la velocidad es $
|v(t)| = a 2 + b2 (1.5.21)
Por lo que el vector tangente es
a sin t a cos t b
T(t) = i+ j+ k (1.5.22)
2
a +b 2 2
a +b 2 a + b2
2
y su derivada es
d a cos t a sin t
T(t) = i j (1.5.23)
dt 2
a +b 2 a2 + b2
Luego ( (
(d (
( T(t)( = a (1.5.24)
( dt ( a2 + b2
De esta forma el vector normal es
87
1 Geometra y Cinemtica en el Espacio
Y el vector binormal es
, -
B(t) = aasin t
i+ a cos t j + b k ( cos ti sin tj)
2 +b2
b
a2 +b2 a2 +b2 (1.5.26)
=
a2 +b2
sin ti a2 +b2 cos tj + a2a+b2 k
b
En resumen
a sin t a cos t b
T(t) = a2 +b2 i + a2 +b2 j + a2 +b2 k
N(t) = cos ti sin tj (1.5.27)
B(t) = b sin ti b cos tj + a k
a2 +b2 a2 +b2 a2 +b2
88
1 Geometra y Cinemtica en el Espacio
r
r(t+t)
r(t)
21
Todos estos argumentos basados en que los tiempos sean suficientemente pequeos
! pueden
" mejorarse
usando la aprocimacin de Taylor de la funcin, por ejemplo #r $ v(t)#t + O (t)2
22
Recuerde que la rapidez es un escalar mientras que la velocidad es un vector
89
1 Geometra y Cinemtica en el Espacio
Suponga que r(t) es una curva regular (o segmento de curva) definida en el intervalo
[t0 , t1 ]. La longitud de la curva es
L t1 t1
ds
L ds = dt = vdt (1.5.32)
0 t0 dt t0
Ejemplo 17. Calcule la longitud del crculo de los ejemplos anteriores y re-
parametrcelo con la longitud de arco s.
Ya se haba calculado en 1.5.9 que la velocidad del crculo es
v(t) = R sin ti + R cos tj (1.5.36)
Luego la rapidez no era ms que su norma, es decir,
v = R (1.5.37)
2
Como = 1 T2 2donde T es el perodo, el tiempo necesario para recorrer el crculo es el
intervalo 0, y por 1.5.32 la longitud del crculo es
2
L= Rdt = 2R (1.5.38)
0
90
1 Geometra y Cinemtica en el Espacio
Parametrizar una curva en funcin de la longitud de arco tambin tiene otra ventaja.
Si r(s) representa la parametrizacin en funcin de la longitud de arco, observe que su
velocidad r' (s) cumple por regla de la cadena y por 1.5.35
dr dr dt v
r' (s) = = = =T (1.5.43)
ds dt ds v
Como el vector tangente es unitario se tiene que
( ' (
(r (s)( = 1 (1.5.44)
Por otro lado, si se parametriza
(d ( una curva con un parmetro t (no necesariamente el
tiempo) que cumple ( dt r(t)( = 1 entonces por 1.5.34
t( ( t
(d (
s(t) = ( ( (1.5.45)
( r(t)( dt = dt = t t0
t0 dt t0
Es decir, t = s(t) + t0 por lo que salvo una constante t0 tiene que ser la longitud de arco.
Resumiendo
91
1 Geometra y Cinemtica en el Espacio
1.5.3.1. Curvatura
La idea intuitiva de la curvatura puede resumirse de la siguiente forma: una lnea recta
no se curva mientras que un crculo se curva de igual manera en todas su circunferencia.
Adems, conforme el radio del crculo es ms grande, el crculo se va aplastando ms,
por lo su curvatura debera disminuir conforme el crculo aumenta en radio.
Es natural pensar que la curvatura de una recta es cero porque cuando uno camina
sobre la recta nunca tiene que cambiar de direccin para moverse. En cambio, cuando
se camina sobre un crculo, s se tiene que cambiar la direccin de movimiento, pero ese
cambio ocurre al menos a un mismo ritmo, de ah que se diga que la curvatura es la
misma.
T(s)
N(s)
(s)
r(s)
Suponga como en la figura anterior que la curva est sobre el plano y parametrizado
por la longitud de arco. Si (s) es el ngulo entre el vector tangente y el eje x el cambio
d
de direccin de la curva vendra dado a partir de ds (s) y eso sugiere definir la curvatura
23
(relativa) r (s) como
r (s) ' (s) (1.5.50)
Ahora bien, por las propiedades del producto punto y como el vector tangente es unitario
Ahora bien, el vector normal siempre es perpendicular al vector tangente, por lo que
el ngulo entre el vector normal y el eje x es (s) 2 o 2 (s) dependiendo de la
23
Se utiliza un ndice abajo porque esta curvatura podr ser positiva o negativa, es decir, su signo es
relativo, cuando en realidad solo va a interesar el valor absoluto de ella
92
1 Geometra y Cinemtica en el Espacio
direccin en que apunte el vector normal. Como el coseno es una funcin par y el vector
normal es unitario, se puede escribir lo anterior como
, -
N(s) i = cos (s) = sin ((s)) (1.5.53)
2
Finalmente, se concluye que ( (
r (s) = (T' (s)( (1.5.54)
Para efectos de lo que sigue, basta considerar la curvatura como positiva por lo que se
define la curvatura (absoluta) como
( (
(s) (T' (s)( (1.5.55)
y claramente
T' (s) = 0 (1.5.59)
de esta forma
(s) = 0 (1.5.60)
es decir, la curvatura de una recta es siempre cero tal como se esperaba.
De hecho, si la curvatura siempre es cero, entonces en 1.5.55 se deduce que T(s) = T(0)
es constante y como
dr
= T(s) = T(0) (1.5.61)
ds
integrando a ambos lados con respecto a s se deduce que
Es decir,
Una curva tiene curvatura idnticamente cero si y solo si es una lnea recta.
93
1 Geometra y Cinemtica en el Espacio
donde R(t) es un vector cuya norma es el radio del crculo osculador. Como se quiere
que el crculo aproxime a la curva la curvatura del crculo y de la curva debera ser la
misma, es decir,
1
|R(t)| = (1.5.70)
(t)
94
1 Geometra y Cinemtica en el Espacio
Tambin, la R(t) debera ser paralelo al vector normal en ese punto, por lo que
1
c(t) = r(t) + N(t) (1.5.71)
(t)
c(t)
R(t)
r(t)
Antes de seguir con las relaciones de Frenet, hay una descomposicin muy til de la
aceleracin en funcin del vector tangente y del normal. Recuerde que
d d d
a(t) = v(t) = (|v(t)| T(t)) = (vT(t)) (1.5.72)
dt dt dt
Derivando con la regla del producto
( (
dv d dv (d (
a(t) = T(t) + v T(t) = T(t) + v ( T(t)(( N(t)
( (1.5.73)
dt dt dt dt
Y por 1.5.68 se llega finalmente a que
dv
a(t) = T(t) + v 2 (t)N(t) (1.5.74)
dt
Si se define la aceleracin tangencial como
dv
aT (t) T(t) (1.5.75)
dt
95
1 Geometra y Cinemtica en el Espacio
donde
dv
aT (t) T(t) aN (t) =v 2 (t)N(t) (1.5.84)
dt
96
1 Geometra y Cinemtica en el Espacio
Suponga que por algn mecanismo se obliga a la partcula a que se mueva sobre el
cicloide y que la nica fuerza neta que contribuye en la direccin tangencial del movi-
miento es la componente tangencial de la gravedad. Ms an, suponga que la curva est
parametrizada segn
donde es el ngulo que barrera una partcula colocada sobre la parte vertical del
crculo al igual que cuando se calcul el cicloide por primera vez. Aqu est definido
entre 0 y 2. Luego
d
r () = a (1 cos ) i a sin j (1.5.86)
d
y la norma del vector anterior es (con la ayuda de algunas identidades trigonomtricas)
( ( , -
( d ( $
( r ()( = a 2 1 cos = 2a sin (1.5.87)
( d ( 2
Finalmente, el diferencial de longitud de arco siempre puede calcularse como
( ( ,-
( dr (
ds = (( (( d = 2a sin d (1.5.88)
d 2
El vector tangente escrito en funcin de es
1 cos sin
T() = )* i ) *j (1.5.89)
2 sin 2 2 sin 2
24
La siguiente imagen fue tomada de http://en.wikipedia.org/wiki/File:CyloidPendulum.png
97
1 Geometra y Cinemtica en el Espacio
Como se est con el movimiento sobre un plano (el plano osculador), el peso F = mgj
puede descomponerse en una parte tangencial y normal
F = FT T + FN N (1.5.90)
para hallar la componente tangencial (que es la que interesa en este problema) se realiza
el producto punto a ambos lados con el vector tangente y se obtiene que
mg sin ,-
FT = (F T) = ) * = mg cos (1.5.91)
2 sin 2 2
dv
Por otro lado, la compente tangencial de la aceleracin es aT = dt pero por regla de la
cadena & ' & '
dv d ds d ds d
= = (1.5.92)
dt dt dt dt d dt
por 1.5.88 se tiene
ds ,-
= 2a sin (1.5.93)
d 2
As
dv d , ,- -
= 2a sin (1.5.94)
dt dt 2
Por otro lado, por la regla de la cadena
d , , -- 1 ,-
cos = sin (1.5.95)
dt 2 2 2
y sustituyendo en la ecuacin anterior
dv d2 , , --
aT = = 4a 2 cos (1.5.96)
dt dt 2
Por Newton
FT = maT (1.5.97)
gracias a1.5.96 y 1.5.91 se obtiene finalmente que
d2 , , -- g ,-
cos + cos =0 (1.5.98)
dt2 2 4a 2
) *
Para comparar mejor esta ecuacin puede definir u = cos 2 y 2 = g
4a para obtener la
ecuacin de un resorte
+ 2u = 0
u (1.5.99)
De aqu se obtiene el perodo de oscilacin
3
4a
T = 2 (1.5.100)
g
Observe que a diferencia del pndulo simple, aqu no hubo ninguna suposicin de ngulos
pequeos, por lo que la relacin del perodo es exacta.
98
1 Geometra y Cinemtica en el Espacio
1.5.3.4. Torsin
Dado que la aceleracin y velocidad siempre yacen sobre el plano osculador, se podra
pensar que el movimiento de una partcula ocurre siempre en ese plano. Sin embargo,
con el ejemplo de la hlice es claro que esto no puede ser cierto. Por lo tanto, es natural
preguntarse por la medida en que el movimiento permanece o no sobre el plano.
Claramente el vector binormal debe estar involucrado pues siempre es perpendicular
al plano osculador. Ahora bien, como B(s) tiene norma constante, B' (s) es un vector
perpendicular a B(s), por lo cual debe yacer sobre el plano osculador, es decir,
Ahora bien, tomando el producto punto con T(s) y N(s) respectivamente se obtiene que
Luego, como
B(s) T(s) = 0 (1.5.103)
se puede derivar a ambos lados con respecto a s y se obtiene que
de esta forma
BT' (s) = B' (s) T(s) = B(s) T' (s) = B(s) ((s)N(s)) = 0 (1.5.105)
De forma similar
B(s) N(s) = 0 (1.5.106)
y derivando a ambos lados con respecto a s
'
BN (s) = B' (s) T(s) = B(s) N' (s) (1.5.107)
Es decir, ) *
B' (s) = B(s) N' (s) N(s) (1.5.108)
Luego es claro que claro que B(s) es constante si y solo si B(s) N' (s) = 0. Si se define
la torsin como
(s) B(s) N' (s) (1.5.109)
se acaba de obtener que
99
1 Geometra y Cinemtica en el Espacio
Las frmulas anteriores para las derivadas constituyen las frmulas de Frenet-Serret:
Para una curva parametrizada con respecto la longitud de arco se define su torsin segn
En caso de que se quiera obtener la torsin en funcin del parmetro t observe que ya
se haba deducido que la aceleracin se puede escribir como
dv
a(t) =T(t) + v 2 (t)N(t) (1.5.118)
dt
Y derivando nuevamente con respecto al tiempo se tiene que
d2 v dv dT(t) dv d(t) dN(t)
a(t)
= T(t) + + 2v (t)N(t) + v 2 N(t) + v 2 (t) (1.5.119)
dt2 dt dt dt dt dt
100
1 Geometra y Cinemtica en el Espacio
d2 v dv dv d
a = 2
T + vN + 2v N + v 2 N v 3 2 T + v 3 B (1.5.120)
dt dt dt dt
O bien
& ' & '
d2 v 3 2 dv 2 d(t)
a(t)
= v (t) T(t) + 3v (t) + v N(t) + v 3 (t) (t)B(t) (1.5.121)
dt2 dt dt
Luego suprimiendo la dependencia en t por razones de espacio se calcula
) )) dv * **
v(t) (a(t) a(t))
, =,,v dv
dt 3v dt- + v 2 d v 3 N
dt B--
2 (1.5.122)
+v v 2 v 3 2 ddt2v B + v 3 T
En resumen,
101
1 Geometra y Cinemtica en el Espacio
mientras que
r'' (s0 ) = T' (s0 ) = (s0 )N(s0 ) (1.5.129)
y por las frmulas de Frenet
r''' (s0 ) = (N)' (s0 ) = ' (s0 )N(s0 ) 2 (s0 )T(s0 ) + (s0 ) (s0 ) B(s0 ) (1.5.130)
Hay dos formas de describir un plano: a travs de un vector normal al plano o especifi-
cando dos vectores directores sobre el plano. Para evitar confusin con la nomenclatura
y por 1.5.131 es ms til describir los planos especificando un punto y dos vectores sobre
el plano.
102
1 Geometra y Cinemtica en el Espacio
Ahora bien, en cada punto el vector tangente y normal son perpendiculares y unitarios
por lo que para efectos de una representacin grfica se puede tomar T(s0 ) como)el eje x*
y N(s0 ) como el eje y. Si se ignora (,s)3 y se toma s0 = 0 se estara graficando s, 21 s2
lo cual se ve como
Ahora bien, de 1.5.131 se observa que todos los trminos de orden (s)2 o menor estn
contenidos en el plano osculador por lo que
El plano osculador en el punto r(s0 ) es el plano generado por los vectores T(s0 ) y N(s0 ).
Es el plano que mejor aproxima la curva en el punto r(s0 ), de la misma manera en que la
recta tangente es la mejor recta que aproxima la curva en un punto. La ecuacin normal
del plano es
(x, y, z) B(s0 ) = B(s0 ) r(s0 ) (1.5.133)
103
1 Geometra y Cinemtica en el Espacio
1.5.3.5.2. El plano normal El plano normal es el plano generado por los vectores
N(s0 ) y B(s0 ). De 1.5.131 se observan que los trminos que estn dentro del plano
normal son
& '
(s0 ) 2 ' (s0 ) 3 (s0 ) (s0 )
(s) + (s) N(s0 ) + (s)3 B(s0 ) (1.5.134)
2 6 6
El plano normal en el punto r(s0 ) es el punto generado por los vectores N(s0 ) y B(s0 ).
Es el plano perpendicualar (normal) a la curva en el punto r(s0 ). La ecuacin normal
del plano es
(x, y, z) T(s0 ) = T(s0 ) r(s0 ) (1.5.135)
104
1 Geometra y Cinemtica en el Espacio
Note que cerca del origen el vector tangente es casi cero, por lo que sobre el plano
rectificante la curva se aplana, de ah su nombre.
El plano rectificante en el punto r(s0 ) es el punto generado por los vectores T(s0 ) y
B(s0 ). Es el plano que se acerca ms a hacer la curva una lnea recta en el punto r(s0 ).
La ecuacin normal del plano es
r(t) = a cos (t) i + a sin (t) j + btk
v(t) = a sin ti + a cos tj + bk (1.5.138)
a(t) = a cos ti a sin tj
y que los vectores tangente, normal y binormal con respecto a t eran
a sin t a cos t b
T(t) = a2 +b2 i + a2 +b2 j + a2 +b2 k
N(t) = cos ti sin tj (1.5.139)
B(t) = b sin ti b cos tj + a k
a2 +b2 a2 +b2 a2 +b2
Primero hay que calcular la longitud de arco. Para eso observe que
$
v = |v(t)| = a2 + b2 (1.5.140)
105
1 Geometra y Cinemtica en el Espacio
por lo que $
ds = vdt = a2 + b2 dt (1.5.141)
En principio la hlice est definida para < t < . Para que la longitud de arco sea
finita, se restringir a una parte finita de la hlice, por ejemplo, para 0 t < 2. Luego
t $
s= v ( ) d = a2 + b2 t (1.5.142)
0
O bien
1
t= s (1.5.143)
a + b2
2
Luego
& ' & '
' a s a s b
T(s) = r (s) = sin i+ cos j+ k
a + b2
2 a + b2
2 a + b2
2 a + b2
2 a + b2
2
(1.5.145)
Y & ' & '
a s a s
T' (s) = cos i sin j (1.5.146)
a2 + b2 a 2 + b2 a2 + b2 a2 + b2
La curvatura sera segn 1.5.55
( ( a
(s) = (T' (s)( = 2 (1.5.147)
a + b2
El vector normal se calcula segn 1.5.56
& ' & '
T' (s) s s
N(s) = = cos i sin j (1.5.148)
(s) a2 + b2 a2 + b2
Luego el vector binormal es simplemente
& ' & '
b s b s a
B(s) = T(s)N(s) = sin i cos j+ k
2
a +b 2 2
a +b 2 2
a +b 2 2
a +b 2 a + b2
2
(1.5.149)
Luego
& ' & '
' b s b s
B (s) = 2 cos i+ 2 sin j (1.5.150)
a + b2 a2 + b2 a + b2 a2 + b2
Es claro que
b
B' (s) = N(s) (1.5.151)
a 2 + b2
y por las frmulas de Frenet se concluye que
b
(s) = (1.5.152)
a2 + b2
106
2 Diferenciacin y Optimizacin de
Campos Escalares
2.1. Lmites y Continuidad de Funciones
2.1.1. Topologa del Espacio
Las curvas tienen la ventaja de que dependen de un solo parmetro por lo que en
realidad no haba que introducir ninguna tcnica nueva de clculo. Ahora se quiere con-
siderar funciones que dependan de ms de una variable. Esto trae nuevas complicaciones
por la siguiente razn: cuando se estudian funciones de una variable, estas funciones
bsicamente estn definidas sobre un intervalo finito como (0, 1) o bien sobre toda la
lnea recta R, es decir, las funciones de una variable estn definidas sobre segmentos de
recta o rectas.
En cambio, en varias variables las regiones en las cuales puede estar definida una fun-
cin pueden ser ms complicadas, por ejemplo, pueden estar definidas sobre un crculo,
un cuadrado, una regin que tenga huecos, etc. Como se ver ms adelante la regin
sobre la cual est definida una funcin tendr muchas consecuencias.
Por esta razn hay que estudiar primero la topologa o forma del espacio. Por razones
de simplicidad, solo se considerarn ejemplos en el plano y en el espacio.
Primero hay que recordar que si se denotan dos puntos P y Q como P = (x1 , y1 , z1 )
y Q = (x2 , y2 , z2 ) entonces su distancia es
(( 0
( (
d (P, Q) = (P Q( = |Q P | = (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 (2.1.1)
La bola abierta centrada en el punto P de radio R son todos los puntos Q a una distancia
menor estricta que R de P , es decir,
En el plano R2 las bolas abiertas se ven como un disco sin el borde mientras que en el
espacio R3 las bolas abiertas se ven como una esfera sin borde
107
2 Diferenciacin y Optimizacin de Campos Escalares
O
R R
P P
Q
La bola cerrada centrada en el punto P de radio R son todos los puntos Q a una distancia
menor o igual que R de P , es decir,
En el plano R2 las bolas abiertas se ven como un disco con el borde mientras que en el
espacio R3 las bolas abiertas se ven como una esfera con borde
O
R R
P P
Q
Un conjunto U es abierto si para cada punto P del conjunto es posible encontrar alguna
bola abierta centrada en P totalmente contenida en U
108
2 Diferenciacin y Optimizacin de Campos Escalares
La idea detrs de un conjunto abierto es que como para cada punto hay una bola
abierta que lo contiene entonces uno puede acercarse al punto desde todas las direcciones
posibles, y esto ltimo va a ser muy importante para el concepto de diferenciabilidad.
Claramente toda bola abierta es un conjunto abierto. Algunos conjuntos abiertos que
no son bolas abiertas son:
8 9
! Un cuadrado de lado 1 que excluya los bordes, por ejemplo U = (x, y) R2 : 0 < x < 1 0 < y < 1
109
2 Diferenciacin y Optimizacin de Campos Escalares
Claramente toda bola cerrada es un conjunto cerrado. Algunos conjuntos cerrados que
no son bolas cerradas son:
8 9
! Un cuadrado que incluye los bordes, por ejemplo U = (x, y) R2 : 0 x 1 0 y 1
Un conjunto U es acotado si es posible encontrar una bola centrada en algn punto que
lo contenga completamente
110
2 Diferenciacin y Optimizacin de Campos Escalares
Los conjuntos compactos sern muy importantes para hallar mximos y mnimos de
un funcin. En particular:
111
2 Diferenciacin y Optimizacin de Campos Escalares
lm f (Q) = l (2.1.5)
QP
Si para cada + > 0 es posible encontrar una bola abierta centrada en P de radio R(+, P )
de manera que si Q est tanto en la bola B (P, R(+, P )) como en U , es decir, Q
U B (P, R (+, P )) y Q (= P entonces la distancia de f (Q) a l es menor que +. Escrito
ms formalmente
x2 y 2
lm (2.1.7)
(x,y)(0,0) x y
x2 y 2 (x y) (x + y)
= =x+y (2.1.9)
xy xy
De lo anterior es claro que el lmite debera existir y ser cero, puesto que la nica forma
en que (x, y) tienda a (0, 0) es haciendo que x tienda a cero y y tienda a cero. Para
utilizar 2.1.6 tome + > 0. Observe que si se considera la bola centrada en P = (0, 0) de
radio R (+, P ) = 4) entonces si Q = (x, y) B (P, R) se tiene que |x| < 4) y que |y| < 4)
por lo que en 2.1.6 con l = 0 se tiene que
+ +
|f (Q) l| = |x + y| |x| + |y| < + <+ (2.1.10)
4 4
112
2 Diferenciacin y Optimizacin de Campos Escalares
x2 y 2
lm =0 (2.1.11)
(x,y)(0,0) x y
1
Aqu u es una variable muda para indicar el comportamiento de las variables
113
2 Diferenciacin y Optimizacin de Campos Escalares
x3 y
lm (2.1.19)
(x,y)(0,0) x6 + y 2
x3 y mx4 mx2
= = 0 (2.1.21)
x6 + y 2 x6 + m 2 x2 x4 + m 2
cuando x 0
En cambio si se toma y = x3 se tiene que
x3 y x6 1
6 2
= 6 6
= (2.1.22)
x +y x +x 2
Luego, dado que el lmite debe ser independiente de la direccin en que uno se acerca al
punto, se concluye que no puede existir el lmite anterior
lm f (Q) = f (P ) (2.1.23)
QP
114
2 Diferenciacin y Optimizacin de Campos Escalares
2
En la figura siguiente tambin se grafica plano xy para observar mejor cuales puntos son valles y cuales
montaas
115
2 Diferenciacin y Optimizacin de Campos Escalares
eje z
5
10
3
2
1
0
1
2
2 3
3 0 1
2 1
eje x 3
eje y
En anticipacin con las funciones de tres variables, hay que buscar otras formas de
representar una funcin. Siguiendo con el mismo ejemplo, suponga que uno quiere un
mapa de la regin anterior. Claramente el mapa debe ser dos-dimensional por lo que
la figura anterior no sera muy til. Una opcin ms sensata es dibujar sobre la hoja
algunas curvas de nivel del mapa, es decir, aquellos valores del plano donde la altura de
la regin es contante. Por ejemplo, si uno quisiera saber todos los puntos (x, y) que estn
a altura 6, entonces se ocupara graficar
h(x, y) = 6 (2.2.2)
x2 + y 2 = 4 (2.2.3)
por lo cual el crculo de radio 2 centrado en el origen correspondera a todos los puntos
que estn a altura 6. En general, la curva de nivel h(x, y) = c es de la forma
x2 + y 2 = 10 c (2.2.4)
116
2 Diferenciacin y Optimizacin de Campos Escalares
10x2y2
3
0
y
3
3 2 1 0 1 2 3
x
T (x, y, z) = x2 3y 2 + z (2.2.5)
T (x, y, z) = 50 (2.2.6)
117
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
z = 50 x2 + 3y 2 (2.2.7)
lo cual es un paraboloide hiprbolico.
85
80
75
70
65
eje z
60
55
50
45
40
3
2
1
0
1 3
2
2 1
0
3 1
2
3
eje x eje y
T (x, y, z) = T (P0 + s:
u) = T (x0 + su1 , y0 + su2 , z0 + su3 ) (2.2.9)
118
2 Diferenciacin y Optimizacin de Campos Escalares
En la prctica se calculan las derivadas parciales con respecto a una variable como si
las dems variables fueran constantes. Por ejemplo, si
entonces
f (x,y,z)
x = 2xyez + z cos (xz)
f (x,y,z)
y = x2 ez (2.2.14)
f (x,y,z)
z = x2 yez + x cos (xz)
Cuando la funcin depende nicamente de dos variables, por ejemplo, h = h(x, y)
entonces la interpretacin de h como la altura sobre el plano xy facilita otra inter-
h
pretacin geomtrica de las derivadas parciales x y h
y .
3 Por ejemplo, si la funcin
es
h(x, y) = 9 x2 y 2 (2.2.15)
entonces su grfica se ve como
3
las siguientes imgenes fueron construidas con el cdigo en la pgina
http://msemac.redwoods.edu/~darnold/math50c/matlab/pderiv/index.xhtml
119
2 Diferenciacin y Optimizacin de Campos Escalares
120
2 Diferenciacin y Optimizacin de Campos Escalares
Si h(x, y) es una funcin de dos variables entonces su grfica se visualiza como la altura
sobre el plano xy. En tal caso
! La derivada parcial con respecto a x en el punto (x0 , y0 ), es decir, h(xx0 ,y0 ) se in-
terpreta como la pendiente de la recta tangente a la curva que resulta de intersecar
la grfica de h(x, y) con el plano y = y0
! La derivada parcial con respecto a y en el punto (x0 , y0 ), es decir, h(xy0 ,y0 ) se in-
terpreta como la pendiente de la recta tangente a la curva que resulta de intersecar
la grfica de h(x, y) con el plano x = x0
121
2 Diferenciacin y Optimizacin de Campos Escalares
Observe que se puede analizar cada trmino en parntesis por aparte y adems que por
la forma en que se separ la funcin T solo se mueve en una direccin a la vez. Por lo
tanto, se puede ver como el cambio en una funcin de una variable y de esta forma por
2.2.174
T (x0 + su1 , y0 + su2 , z0 + su3 ) T (x0 + su1 , y0 + su2 , z0 ) =
T (x0 +su1 ,y0 +su2 ,z0 ) (2.2.19)
z (su3 ) + h3 (su3 ) (su3 )
Y en el ltimo parntesis
Como se quieren reemplazar estas tres expresiones en 2.2.11 observe que al dividir por s
T (x0 +su1 ,y0 +su2 ,z0 +su3 )T (x0 ,y0 ,z0 )
s = T (xx
0 ,y0 ,z0 )
u1 + h1 (su1 ) u1 +
T (x0 +su1 ,y0 ) T (x0 +su1 ,y0 +su2 ,z0 ) (2.2.22)
y u2 + h2 (su2 ) u2 + z u3 + h3 (su3 )u3
T T T
suponiendo que las derivadas parciales x , y , z son funciones continuas entonces to-
mando s 0 se tiene que
Du T (x0 , y0 , z0 ) = T (x0 , y0 , z0 ) u
(2.2.23)
4
Por ejemplo, defina f (w) = T (x0 + su1 , y0 + su2 , z0 + w) para el primer parntesis.
122
2 Diferenciacin y Optimizacin de Campos Escalares
Du T (x0 , y0 , z0 ) = T (x0 , y0 , z0 ) u
(2.2.26)
h(x0 , y0 ) h(x0 , y0 )
Du h(x0 , y0 ) = h(x0 , y0 ) u
= u1 + u2 (2.2.27)
x y
donde el gradiente de la funcin h es
h(x, y) h(x, y)
h(x, y) = i+ j (2.2.28)
x y
123
2 Diferenciacin y Optimizacin de Campos Escalares
1
eje z
2
0 3
1 2
2 1 0
3 2
eje y
eje x
124
2 Diferenciacin y Optimizacin de Campos Escalares
Como ejemplo de la interpretacin del gradiente anterior, suponga que una fuerza
tiene un potencial asociado, es decir, se puede escribir como
F = V (2.2.35)
w(x, y, z) = x2 + xy + y 2 z (2.2.36)
por lo que
w(x, y, z) = (2x + y) i + (x + 2y) j k (2.2.37)
Luego la direccin en la que se tiene la derivada direccional mxima en el punto (1, 1, 3)
es
w(1, 1, 3) 3i + 3j k
(1, 1, 3) =
u = (2.2.38)
|w(1, 1, 3)| 19
Y el valor de la derivada direccional en ese punto es
Du w (1, 1, 3) = |w(1, 1, 3)| = 19 (2.2.39)
v = v1 i + v2 j + v3 k (2.2.40)
Ahora bien, cmo se encuentra los vectores bases de los otros sistemas de coordenadas?
La forma ms sencilla es la siguiente. Suponga que
r(x, y, z) = xi + yj + zk (2.2.41)
representa el vector de posicin con respecto a la base cartesiana y que se tiene otro juego
de coordenadas {u, v, w}. A su vez, se conoce la transformacin de una coordenadas a
la otras, es decir,
125
2 Diferenciacin y Optimizacin de Campos Escalares
! Considere una curva que pase por P en la cual dos de las tres coordenadas de
las coordenadas {u, v, w} estn fijadas. Por ejemplo, en el caso de las coordenadas
cilndricas, se podra considerar como curva el crculo que pasa por el punto P y
que yace en un plano paralelo al plano xy. En tal caso las coordenadas , z estn
fijas mientras que el vara
! Es importante notar que tales vectores bases (en manera anloga con el triedro
{T, N, B}) dependen del punto por lo que no son constantes
r
sin i + cos j
e ( cos , sin , z) = (( (( = = sin i + cos j (2.2.47)
r
( ( | sin i + cos j|
r
k
ez ( cos , sin , z) = ( z (= =k (2.2.48)
( r ( |k|
z
Es fcil verificar que los vectores {e , e , ez } es un sistema ortonormal de mano dere-
cha.
126
2 Diferenciacin y Optimizacin de Campos Escalares
(0,0,z)
k
e
P
e
D y
x
y (x,y,0)
r
rcos cos i + r cos sin jr sin k
e = ( (= = cos cos i + cos sin j sin k
( r ( |rcos cos i + r cos sin jr sin k|
(2.2.51)
r
r sin sin i + r sin cos j
e = (( (( = = sin sin i + sin cos j (2.2.52)
r
( ( |r sin sin i + r sin cos j|
Es fcil verificar que los vectores {er , e , e } es un sistema ortonormal de mano dere-
cha.
127
2 Diferenciacin y Optimizacin de Campos Escalares
(0,0,z) er
P
e
z e
r
z
y
x
y (x,y,0)
En el ejemplo, de antes,
w(x, y, z) = x2 + xy + y 2 z (2.2.53)
128
2 Diferenciacin y Optimizacin de Campos Escalares
f (t + h) f (t)
f ' (t) = lm (2.3.1)
h0 h
Ahora bien, para un campo escalar T (x, y, z) habra que reemplazar t por r y luego para
hacer la suma r + h habra que tratar h como un vector. Pero si h es un vector no podra
aparecer en un denominador pues no es posible dividir por un vector. Para corregir esta
situacin observe que si f es derivable en t entonces el lmite anterior puede escribirse
como
f (t + h) f (t) f ' (t)h
lm =0 (2.3.2)
h0 h
y como el valor absoluto es una funcin continua el lmite anterior es equivalente a
( (
( f (t + h) f (t) f ' (t)h (
lm ( (=0 (2.3.3)
h0 ( h (
( ( |a|
Como ( ab ( = |b| la forma ms conveniente del lmite anterior es
Ahora bien, visto de esta forma, el denominador deja de ser problemtico, pues podra
sustituirse por |h|, el cual puede aparecer en un denominador por ser un nmero. Ahora
el numerador se ve como T (r + h) T (h) T ' (r)h. Lo nico que falta por interpretar
es que cosa debera ser T ' (r). Para que la resta en el numerador tenga sentido T ' (r) h
debera ser un nmero. Como h es un vector, es conveniente representarlo como un vector
columna 3 1 y para producir un nmero bastara pedir que T ' (r) sea un vector fila
1 3.
129
2 Diferenciacin y Optimizacin de Campos Escalares
|T (r + h) T (r) DT (r) h|
lm =0 (2.3.5)
h0 |h|
Ahora falta investigar cul es la relacin entre la derivada de una funcin y las deri-
vadas parciales. Por cuestiones notacin se puede escribir
DT (r) = (DT1 (x, y, z), DT2 (x, y, z), DT3 (x, y, z)) (2.3.6)
y si
h1
h = h2 (2.3.7)
h3
entonces
DT (r) h = DT1 (x, y, z)h1 + DT2 (x, y, z)h2 + DT3 (x, y, z)h3 (2.3.8)
Suponga que se toma en el lmite anterior la direccin h = hi, entonces en 2.3.74 se tiene
que
|T (x + h, y, z) T (x, y, z) DT1 (x, y, z)h|
lm =0 (2.3.9)
h0 |h|
Comparando con 2.2.12 y por la discusin anterior de cmo reescribir la definicin de la
derivada es claro que DT1 (x, y, z) cumple el mismo papel que T
x (x, y, z). Haciendo lo
mismo para los dems casos, se concluye que
T T T
Si T es un campo escalar y las derivadas parciales parciales x , y , z existen y son
continuas en (x, y, z) entonces T es derivable en (x, y, z).
130
2 Diferenciacin y Optimizacin de Campos Escalares
(f g) = (f ) g + f (g)
(2.3.12)
D (f g) (r) = (Df (r)) g(r) + f (r) (g (r))
entonces T es constante
Por ltimo, suponga que se tiene un campo vectorial, es decir, una funcin F : R3
R3 que a cada punto r del espacio le asocia un vector F(r). Como F(r) es un vector, se
puede escribir como
F(r) = F1 (r) i + F2 (r) j + F3 (r) k (2.3.14)
Luego se dice que F es derivable si cada una de sus componentes lo son y en tal caso su
derivada sera F
F
1 F1 1
x y z
F2 F2 F2
DF(r) = x y z (2.3.15)
F3 F3 F3
x y z
131
2 Diferenciacin y Optimizacin de Campos Escalares
F(u,v,w)
g(x,y,z)
R
R3
R3
h(u,v,w)=g F (u,v,w)
132
2 Diferenciacin y Optimizacin de Campos Escalares
Ahora hay que expresar la regla de la cadena en una forma ms til. Primero que
todo, el lado izquierdo de 2.3.19 es por 2.3.10 (por razones de espacio se omite el punto
de evaluacin lo cual es una prctica comn).
& '
h h h
Dh(u, v, w) = h(u, v, w) = , , (2.3.20)
u v w
El primer trmino del lado derecho por medio de 2.3.10
& '
g g g
Dg = g = , , (2.3.21)
x y z
y el segundo trmino con la ayuda de 2.3.15
F1 F1 F1
u v w
DF = F2
u
F2
v
F2
w
(2.3.22)
F3 F3 F3
u v w
Luego realizando el producto matricial e igualando entrada por entrada con 2.3.20 se
tiene que
h g F1 g F2 g F3
u = x u + y u + z u
h g F1 g F2 g F3
v = x v + y v + z v (2.3.23)
h g F1 g F2 g F3
w = x w + y w + z w
Usando 2.3.17 y 2.3.18 generalmente se escribe lo anterior como
g g x g y g z
u = x u + y u + z u
g g x g y g z
v = x v + y v + z v (2.3.24)
g g x g y g z
w = x w + y w + z w
g g
y z
g
x
x y z
x x x y y y z z z
u v w u v w u v w
w u w
v v
u v w
u
133
2 Diferenciacin y Optimizacin de Campos Escalares
Usando la notacin
w w
wx wy (2.3.25)
x y
etc, se tiene que
wr = wx xr + wy yr (2.3.26)
luego
(wx xr +wy yr )
wrr = r = wxr xr + wx xrr + wyr yr + wy yrr (2.3.27)
w
para hallar wxr = w
r y w yr = r se tratan wx , wy como funciones en su propio mrito
x y
De esta forma
134
2 Diferenciacin y Optimizacin de Campos Escalares
Aqu hay que tener cuidado con la notacin por lo que se va a utilizar explcitamente
las variables de las cuales estn dependiendo las funciones
zu (u, v) = zu (u, v, w) + Fw (u, v, w)wu (u, v) = Fu (u, v, w) + Fw (u, v, w)gu (u, v) (2.3.35)
135
2 Diferenciacin y Optimizacin de Campos Escalares
De esta forma,
(zt ) (zw )
zuu = + wu + zw wuu (2.3.41)
u u
como
(zt )
= ztt tu + ztw wu = Ftt + Ftw gu (2.3.42)
u
(zw )
= zwt tu + zww wu = Fwt + Fww gu (2.3.43)
u
finalmente se reemplaza t por w para obtener
$
Ejemplo 29. Sea W = f (tr)
r donde f es dos veces diferenciable, r = x2 + y 2 + z 2
2 2W
y la variable t no depende de las variables x, y, z. Mostrar que tW2 = x2 +
2W 2
y 2
+ zW2
f (u)
Si se define u = t r y la funcin g(u, r) = r entonces W = g(u, r) y se puede
utilizar el siguiente diagrama
136
2 Diferenciacin y Optimizacin de Campos Escalares
f '' (u)
gut = guu ut = guu = (2.3.47)
r
por lo tanto
f '' (u)
Wtt = (2.3.48)
r
Para hallar Wxx , Wyy , Wzz basta calcular una de las tres pues el papel de las variables
x, y, z es el mismo en el diagrama y las funciones.
Wx = Wu ux + Wr rx (2.3.49)
Derivando de nuevo
por lo tanto
x x
Wxx = (Wur Wuu ) ux + Wu uxx + (Wrr Wru ) rx + Wr rxx (2.3.52)
r r
como
x
ux = (2.3.53)
r
137
2 Diferenciacin y Optimizacin de Campos Escalares
2W 2W 2W 2W
por lo tanto t2
= x2
+ y 2
+ z 2
tal como se quera verificar.
138
2 Diferenciacin y Optimizacin de Campos Escalares
z
z
x z
y
y
x
x x y y
u v u v
u v u v
z z x z y x y
Fu = = + = fx + fy (2.3.65)
u x u y u u u
Luego se consideran fx , fy como funciones que dependen de u, v a travs de x, y, es decir,
fx , fy iran en la partir de arriba del diagrama a la misma altura que z. Luego aplicando
la regla del producto
, -
y
Fuu = u Fu = u fx x + f y
, - , u- u
(2.3.66)
2x fy y 2y
= f u
x x
u + f x u2 + u u + fy u 2
139
2 Diferenciacin y Optimizacin de Campos Escalares
x 2x y 2y
=v =0 =v =0 (2.3.68)
u u2 u u2
Suponiendo que fxy = fyx se reemplaza 2.3.67 y 2.3.68 en 2.3.66 para obtener
Luego se realiza una expansin de Taylor ignorando los trminos de orden cuadrtico, es
decir, despreciando trminos como (,x)2 , ,x,z etc por lo que en la expresin anterior
se tiene que
140
2 Diferenciacin y Optimizacin de Campos Escalares
Por el momento el diferencial es una expresin formal que resulta til para encontrar
relaciones entre las derivadas parciales de un campo escalar y aplicar la regla de la
cadena. Si se quiere, puede pensarse en un diferencial como un objeto que va a ser
integrado, es decir, un diferencial es algo que est esperando ser integrado.
! Si f = f (u, v, w), es decir, f es funcin de las variables u, v, w, que pueden ser las
coordenas cartesianas o no, entonces
f f f
df = du + dv + dw (2.3.77)
u v w
! El diferencial es lineal: d (f + g) = df + dg
T T T
dT = d + d + dz (2.3.78)
z
Como en coordenas cilndricas el vector posicin es
141
2 Diferenciacin y Optimizacin de Campos Escalares
Ahora hay que escribir dr con respecto a los vectores base en coordenadas cilndricas.
Comparando con 2.2.46, 2.2.47 se puede escribir
dr = de + de + dzk (2.3.82)
Luego como T es un campo vectorial se puede escribir en funcin de los vectores base
en coordenadas cilndricas como
T = a (, , z) e + a (, , z) e + az (, , z) k (2.3.83)
donde el ndice se escribe arriba para que no se confunda con la notacin de derivadas
parciales. Luego
T dr = a d + a d + az (2.3.84)
E igualando 2.3.78 con 2.3.84 se obtiene que
T T T
d + d + dz = a d + a d + az (2.3.85)
z
por lo tanto
T 1 T T
a = a = az = (2.3.86)
z
y reemplazando esto en 2.3.83 se obtiene que
T 1 T T
T = e + e + k (2.3.87)
z
Suponga que se tiene un campo escalar T (x, y, z, t), que se interpretar como la tem-
peratura en el punto (x, y, z) en el tiempo t. Por 2.3.76 se tiene que
T T T T
dT = dx + dy + dz + dt (2.3.89)
x y z t
Ahora imagine que una partcula se mueve a travs del espacio y se quiere saber como
vara la temperatura experimentada por la partcula conforme se mueve por el espacio.
Parametrizando la trayectoria de la partcula con el tiempo, si v(t) = v1 (t)i + v2 (t)j +
142
2 Diferenciacin y Optimizacin de Campos Escalares
P nRT 2n2 a
= + (2.3.94)
V (V nb)2 V3
3 n2 a
U = nRT (2.3.95)
2 V
por lo que puede escribirse en 2.3.93
& & ''
1 2 n2 a n2 a 2U 2n2 aV 1 (V nb)1 n2 a
P = U+ 2 = + 2
V nb 3 V V 3(V nb) 3 V
(2.3.96)
y luego se puede escribir P = P (V, U ) y en este caso se tiene que
P 2U 2n2 a , 2 1 1 2
- 2n2 a
= + V (V nb) V (V nb) + (2.3.97)
V 3 (V nb)2 3 V3
143
2 Diferenciacin y Optimizacin de Campos Escalares
Ahora bien, comparando 2.3.94 con 2.3.100 pareciera ser que se ha llegado a una con-
tradiccin, pues por qu diferieren las derivadas parciales de la presin con respecto al
volumen? La razn de esto es muy sencilla, las derivas parciales se tomaron en contextos
distintos, en 2.3.94 se considera la presin como funcin del volumen y la temperatura
mientras que en el segundo caso se considera la presin como funcin de la energa in-
terna y el volumen, por lo que en principio las derivas parciales no deberan ser iguales
pues se tratan de situaciones distintas. Para enmendar este error, es comn indicar en
la derivas parciales con respecto a cuales variables se est considerando la funcin. Por
ejemplo, 2.3.94 se escribira
& '
P nRT 2n2 a
= + (2.3.101)
V T (V nb)2 V3
donde la notacin anterior indica que se considera la presin como funcin del volumen
y la temperatura y que se est derivando con respecto al volumen. En 2.3.97 la notacin
sera
& '
P 2U 2n2 a 2n2 a 2n2 a
= + (2.3.102)
V U 3 (V nb)2 3V 2 (V nb) 3V (V nb)2 V3
Con esta notacin, se puede derivar la siguiente relacin que resulta muy til:
& ' & ' & '
P V T
= 1 (2.3.103)
V T T P P V
f (P, V, T ) = 0 (2.3.104)
144
2 Diferenciacin y Optimizacin de Campos Escalares
2
donde f (P, V, T ) = P VnRT n a
nb + V 2 . Sin embargo, va a ser claro que lo nico importante
es que P, V, T cumplan una restriccin de la forma 2.3.104, no as que tenga que ser la
ley de Van der Waals.
Tomando el diferencial en 2.3.104 se obtiene que
f f f
dP + dV + dT = 0 (2.3.105)
P V T
Para hallar el primer trmino de 2.3.103 se toma dT = 0 y se obtiene que
& ' f
P
= V
f
(2.3.106)
V T
P
Es claro que al hacer el producto de los tres trminos anteriores se verifica 2.3.103
145
2 Diferenciacin y Optimizacin de Campos Escalares
El plano tangente en el punto se puede considerar como el plano formado por los vectores
velocidades de tales partculas. Primero que todo, como
g(x, y, z) = 0 (2.3.109)
tomando diferenciales a ambos lados se tiene que
g g g
dx + dy + dz = 0 (2.3.110)
x y z
Si la partcula se mueve con velocidad v, igual que con la derivada material se puede
escribir la ecuacin anterior como
(g) v = 0 (2.3.111)
146
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
4x 2y + z = 5 (2.3.116)
15
10
0
eje z
10
15
20
2
0
2
3 2 1 0 1 2 3
eje y
eje x
g1 (P ) = i + 2j k g2 (P ) = 3i 4j k (2.3.118)
v g1 (P ) = 0 v g2 (P ) = 0 (2.3.119)
147
2 Diferenciacin y Optimizacin de Campos Escalares
x2 + y 2 = 1 (2.3.121)
De la grfica del crculo surge la tentacin de querer verlo como dos funciones, por
ejemplo, $
y = 1 x2 (2.3.122)
Si se hace esto, no siempre es posible garantizar que esas funciones sean diferenciables,
por ejemplo, como se puede ver en 2.3.122 no se podra derivar en x = 1. Esto se puede
ver al definir
g(x, y) = x2 + y 2 1 (2.3.123)
g
y percatarse que y = 0 en los puntos (1, 0) y (0, 1). El teorema de la funcin implcita,
establece que mientras se est lejos de los puntos donde las derivada parcial se anule, es
posible ver una superficie como una funcin de x, y en analoga con lo que hizo para el
crculo.
148
2 Diferenciacin y Optimizacin de Campos Escalares
(x0 , y0 , z0 )
z 2 = xy (2.3.127)
En los dems puntos se puede aplicar el teorema de la funcin implcita que establece
que z = z(x, y). Primero que todo, tomando el diferencial de f
f f f
dx + dy + dz = 0 (2.3.128)
x y z
149
2 Diferenciacin y Optimizacin de Campos Escalares
z z
dz = dx + dy (2.3.129)
x y
Por lo que & '
f f f z z
dx + dy + dx + dy =0 (2.3.130)
x y z x y
Igualando el coeficiente de dx con cero y el coeficiente de dy con cero se tiene
f
z 3x2 3yz yz x2
= x
f
= 2 = 2 (2.3.131)
x 3z 3xy z xy
z
y
f
z y 6x2 3xz 2
= f = (2.3.132)
y 3z 2 3xy
z
x2 + y 2 + z 2 = F (u) (2.3.133)
2xdx + 2ydy + 2zdz = F ' (u)du = F ' (u)(adx + bdy + cdz) (2.3.134)
De esta forma
z z
(cy bz) x + (az cx) y
(cybz)(aF $ (u)2x)+(azcx)(bF $ (u)2y) (2.3.138)
= 2zcF $ (u)
150
2 Diferenciacin y Optimizacin de Campos Escalares
) *
Ejemplo 36. Si h xz , yz = 0 para alguna funcin diferenciable h, demostrar
z z
que x x + y y =z
Nuevamente se puede usar diferenciales o el teorema de la funcin implcita. Definiendo
u = xz y v = yz entonces se tiene
h(u, v) = 0 (2.3.142)
tomando diferenciales a ambos lados
hu du + hv dv = 0 (2.3.143)
como
du = z 1 dx z 2 xdz
(2.3.144)
dv = z 1 dy z 2 ydz
entonces ) * ) *
hu z 1 dx z 2 xdz + hv z 1 dy z 2 ydz = 0 (2.3.145)
como se quiere z = z(x, y) entonces dz = zx dx + zy dy por lo que
) * ) *
hu z 1 xz 2 zx hu yz 2 zx hv dx + hv z 1 z 2 yzy hv xz 2 zy hu dy = 0
(2.3.146)
por lo tanto se iguala cada coeficiente a cero
hu z hv z
zx = zy = (2.3.147)
hu x + hv y hu x + hv y
luego
xhu z + yhv z
xzx + yzy = =z (2.3.148)
hu x + hv y
como se quera mostrar.
151
2 Diferenciacin y Optimizacin de Campos Escalares
z z
Ejemplo 37. Resuelva la ecuacin diferencial y x x y = 0 con el cambio de
2
variable u = x, v = x + y 2
z z v z
= = 2y (2.3.150)
y v y v
z z
sustituyendo en la ecuacin original y x x y = 0 se tiene
z z z
y + 2xy 2xy =0 (2.3.151)
u v v
lo cual se reduce a
z
=0 (2.3.152)
u
por lo tanto, como la derivada parcial con respecto a u se anula, esto significa z es
nicamente una funcin de v, es decir,
z 2 2
Ejemplo 38. Resuelva la ecuacin diferencial x2 x 2 z
2 y y 2 = 0 mediante el
x
cambio de variable u = xy v = y
En este caso se aplica nuevamente la regla de la cadena. Para ir ms rpido se harn
las sustituciones de una vez.
1
zx = zu ux + zv vx = yzu + zv (2.3.154)
y
2x x 2x x
zyy = xzuy + z
y3 v
z =
y 2 vy
x (zuu uy + zuv vy ) + y3 v
z y2
(zvu uy + zvv vy )
x2 2x x 2 (2.3.157)
= x2 zuu 2 y2
zuv + z
y3 v
+ z
y 4 vv
152
2 Diferenciacin y Optimizacin de Campos Escalares
z 2 2
sustituyendo en la ecuacin x2 x 2 z
2 y y 2 = 0 se tiene
2uzvu = zv (2.3.160)
para intentar encontrar una solucin observe que la ecuacin se puede escribir como5
1
ln zv = (2.3.161)
u 2u
e integrando con respecto a u se tiene que
1
ln zv = ln u + f (v) (2.3.162)
2
donde en este caso f (v) funciona como una constante de integracin pero que ahora
puede ser una funcin de la variable con respecto a la cual no se integr. Luego se
exponencia la ecuacin anterior y se tiene
zv = ef (v) u (2.3.163)
donde ahora h(u) es una constante de integracin que puede ser funcin de u.
= Dv f = 0
f v (2.3.166)
5
obviamente no todas las soluciones cumplirn las suposiciones implcitas que estn por realizarse por
lo que esta forma de resolver la ecuacin no va a dar todas las soluciones posibles a la ecuacin
153
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
fv = 0 (2.3.171)
esto significa que
f = g(u) = g(3x 4y) (2.3.172)
para alguna funcin g. Como debe cumplirse la condicin f (x, 0) = sin x lo anterior
implica que
sin x = g (3x) (2.3.173)
por lo que ,x-
g (x) = sin (2.3.174)
3
y de esta forma la solucin al problema es
& '
3x 4y
f (x, y) = sin (2.3.175)
3
2. Los puntos sobre la elipse cumplen que z = x+y por lo que el plano que contiene la
elipse es simplemente x+yz = 0. Luego como las generatrices son perpendiculares
al plano anterior la direccin de las generatrices se puede tomar como el vector
normal al plano, es decir, v = (1, 1, 1).
154
2 Diferenciacin y Optimizacin de Campos Escalares
z =xt+ytt (2.3.181)
o bien
x+yz
t= (2.3.182)
3
por lo que sustituyendo en 2.3.180
2x y + z x + 2y + z
cos = sin = (2.3.183)
3 3
para eliminar se utiliza que cos2 + sin2 = 1 por lo que la ecuacin del cilindro
es
(2x y + z)2 + (x + 2y + z)2 = 9 (2.3.184)
155
2 Diferenciacin y Optimizacin de Campos Escalares
z
1
3 3
3 2
2 1
1 0
0 1
1
2 2
3 3
y x
2. La ecuacin del plano normal que pasa por P (t) con vector normal n es
o bien
2x + y z = 6t (2.3.187)
3. Tome un punto Q(t) = (x0 , y0 , z0 ) que est tanto en el plano anterior como en la
curva. Como est en el plano
2x0 + y0 z0 = 6t (2.3.188)
x20 + x0 z0 = 1 x0 y0 + z0 = 0 (2.3.189)
156
2 Diferenciacin y Optimizacin de Campos Escalares
(x 2t)2 + (y t)2 + (z + t)2 = (x0 2t)2 + (y0 t)2 + (z0 + t)2 (2.3.191)
y0 = x0 + z0 (2.3.197)
2x + y z = 3x0 (2.3.199)
157
2 Diferenciacin y Optimizacin de Campos Escalares
0
z
3
3 2
3 1
2 1 0
0 1
1 2 2
3 3
y
x
(x 1)2 + y 2 = 1 (2.3.204)
158
2 Diferenciacin y Optimizacin de Campos Escalares
x+yz1=0
0
z
2 2
0
3
2
3 2 1 0 1 2 3 y
1. Los puntos sobre el eje z son de la forma (0, 0, z) por lo que puede tomarse
o bien
z=t (2.3.210)
159
2 Diferenciacin y Optimizacin de Campos Escalares
x2 + y 2 = y02 (2.3.215)
160
2 Diferenciacin y Optimizacin de Campos Escalares
0.5
z
0.5
3
2 2
y 1
0
1
3 2
3
x
, 2
-
Ejemplo 44. Dada la curva C : r(t) = log t, 2t, t2 con t > 0, a) calcular
) *
en el punto P0 = 0, 2, 12 las componentes tangencial y normal del vector
aceleracin, la curvatura y los vectores unitarios T, N. b) Determinar las
ecuaciones paramtricas de la recta tangente a C en P0 . c) Determinar la
ecuacin del plano normal a C en P0
a) Primero se determinar los vectores T,N. Para hallar T se tiene primero que
& ' & '
1 1
v(t) = , 2, t a(t) = 2 , 0, 1 (2.3.221)
t t
Luego A&
3 '2
1 1 1 t2 + 1
v = |v| = + 2 + t2 = t+ =t+ = (2.3.222)
t2 t t t
por lo que . /
v 1 2t t2
T(t) = = , , (2.3.223)
v t2 + 1 t2 + 1 t2 + 1
luego
. )2 * ) * /
dT 2t 2 t + 1 2t (2t) 2t t2 + 1 t2 (2t)
= , , (2.3.224)
dt (t2 + 1)2 (t2 + 1)2 (t2 + 1)2
simplificando un poco se tiene que
. ) * /
dT 2t 2 1 t2 2t
= , , (2.3.225)
dt (t2 + 1)2 (t2 + 1)2 (t2 + 1)2
161
2 Diferenciacin y Optimizacin de Campos Escalares
por lo tanto
0
( (
( dT ( 4t2 + 2 (1 t2 )2 + 4t2 2t4 + 4t2 + 2 2
( ( (2.3.226)
( dt ( = (t2 + 1)2
=
(t2 + 1)2
= 2
t +1
por lo tanto
dT & '
dt ( 2t 1 t2 2t
(
N(t) = dT = , , (2.3.227)
( ( 2 (t2 + 1) t2 + 1 2 (t2 + 1)
dt
) *
como el punto P0 = 0, 2, 12 corresponde al valor t = 1 se tiene que
. / . /
1 2 1 2 2
a(1) = (1, 0, 1) T(1) = , , N(t) = , 0, (2.3.228)
2 2 2 2 2
por lo que
2
(1) = (2.3.235)
4
b) La recta tangente a C en P0 pasa por P0 en direccin de T(1) por lo que tiene
ecuacin vectorial & ' . /
1 1 2 1
r = (x, y, z) = 0, 2, +t , , (2.3.236)
2 2 2 2
162
2 Diferenciacin y Optimizacin de Campos Escalares
6x 5y = 2 (2.3.241)
Por lo tanto, el plano que contiene a la curva es 6x 5y = 2 por lo que la curva est
sobre el plano anterior. La otra forma (ms difcil) es encontrar la parametrizacin. Se
tiene que
2 6x 2
y= = (1 3x) (2.3.242)
5 5
reemplazando en la primera ecuacin se tiene
8 ) *
x2 + 1 6x + 9x2 z 2 + 3x = 1 (2.3.243)
25
o bien
25x2 + 8 48x + 72x2 z 2 + 3x = 25 (2.3.244)
agrupando los trminos
97x2 45x z 2 = 17 (2.3.245)
o bien
45 1 17
x2 x z2 = (2.3.246)
97 97 97
163
2 Diferenciacin y Optimizacin de Campos Escalares
donde se ha tomando 3
17 452
C + (2.3.248)
97 1942
Luego se puede tomar (aqu solo se parametrizara una de las dos ramas que aparecen
pues la otra se hace de forma similar)
45 z
x = C cosh t = C sinh t (2.3.249)
194 97
de esta forma la parametrizacin de la curva es
& & ' '
45 2 135
r(t) = (x, y, z) = C cosh t + , 1 3C cosh t + , C 97 sinh t (2.3.250)
194 5 194
por lo tanto se puede tomar como vector normal (6, 5, 0) tal como se encontr ante-
riormente.
4y 2 + 4z 2 = 36 (2.3.255)
164
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
9 cos2 = x2 (2.3.258)
por lo tanto la parametrizacin es
0 3
z
1 2
2 1
0
3
1
4 2
4
2 3
0 y
2
4
2 2 2
Ejemplo 47. Calcular la derivada direccional de f (x, y, z) = ex +y z en el
punto P = (1, 1, 1) a lo largo de la curva C obtenida de la interseccin de las
165
2 Diferenciacin y Optimizacin de Campos Escalares
Du f (P ) = f (P ) u (2.3.260)
por lo tanto
f (P ) = 2ei + 2ej 2ek (2.3.262)
Para hallar un vector tangente a la curva se podra buscar una parametrizacin. Otra
opcin es utilizar el concepto de gradiente. Dado que las superficies g(x, y, z) = x2 +
y 2 z 2 1 = 0 y h(x, y, z) = y x = 0 tienen gradientes
como la curva est en ambas superficies los gradientes son perpendiculares a los vectores
tangentes a la curva, lo cual significa que el vector tangente debe ser paralelo al producto
cruz de los gradientes, es decir,
( (
( i j k ((
(
v = (g) (h) = (( 2x 2y 2z (( = 2zi + 2zj + (2x + 2y)k (2.3.264)
( 1 1 0 (
v = 2i + 2j + 4k (2.3.265)
166
2 Diferenciacin y Optimizacin de Campos Escalares
w = c1 u + c2 v (2.3.269)
) *
Ejemplo 49. La ecuacin x + y + 2z = F ef (x+z) , eg(y+z) determina a z = h(x, y)
z z
donde F, f, g, h son funciones diferenciables. Hallar x y y y verificar que se
z z
cumple x + y = 1
Defina
u ef (x+z) v eg(y+z) (2.3.273)
se tiene que
x + y + 2z = F (u, v) (2.3.274)
tomando diferenciales a ambos lados
& ' & '
F F F u u F v v
dx+dy+2dz = du+ dv = dx + dz + dy + dz (2.3.275)
u v u x z v y z
Como
u f (x+z) f ' (x u
x = e + z) z = ef (x+z) f ' (x + z)
v g(y+z) g ' (y v (2.3.276)
y = e + z) z = eg(y+z) g' (y + z)
por lo tanto como z = z(x, y) se tiene que
dx+dy+2zx dx+2zy dy = Fu ef (x+z) f ' (x+z) (dx + zx dx + zy dy)+Fv eg(y+z) g ' (y+z) (dy + zx dx + zy dy)
(2.3.277)
o bien igualando los coeficientes con dx, dy
167
2 Diferenciacin y Optimizacin de Campos Escalares
z Fv eg(y+z) g ' (y + z) 1
= (2.3.280)
y 2 Fu ef (x+z) f ' (x + z) Fv eg(y+z) g ' (y + z)
z z
De lo cual es claro que x + y = 1
) *
Ejemplo 50. Sea F (x, y, z) = xn f xy , xz . Demuestre que x F F F
x + y y + z z = nF
Sea
y z
u v (2.3.281)
x x
Por lo tanto se tiene que
Fx = nxn1 f + xn fx Fy = xn fy Fz = xn fz (2.3.282)
) *
Ejemplo 51. Dado el campo escalar f (x, y, z) = xyz y la curva r () = e cos , e sin , e
con 0 2. Halle el valor mximo de la derivada direccional de f a lo largo
de la curva C en la direccin del vector tangente unitario T() y determine
los puntos donde tal mximo se presenta.
Primero que todo hay que recordar la frmula de la derivada direccional Du f (x, y, z) =
por lo que hay que calcular el gradiente del campo. Es fcil verificar que
f (x, y, z) u
como direccin se quiere tomar aquella que determina el vector tangente, es decir, u
() =
T (). Dado que
, -
v () = e cos e sin , e sin + e cos , e (2.3.288)
168
2 Diferenciacin y Optimizacin de Campos Escalares
su norma o rapidez es
0
v = e (cos sin )2 + (cos + sin )2 + 1 = e 3
(2.3.289)
el vector tangente se encuentra normalizando la velocidad
1
T () = (cos sin , sin + cos , 1) (2.3.290)
3
) *
De esta forma la derivada direccional en cada punto e cos , e sin , e es
, - 1 , -
Du f e cos , e sin , e = e2 sin , e2 cos , e2 cos sin (cos sin , sin + cos , 1)
3
(2.3.291)
e2 ) *
= sin cos sin2 + cos sin + cos2 + sin cos (2.3.292)
3
& '
e2 3 2
= sin (2) + 1 2 sin (2.3.293)
3 2
Para hallar los puntos en que se alcanza el mximo (o mnimo) se deriva la expresin
anterior con respecto al parmetro y se iguala la derivada a cero, es decir,
& '
2e2 3 2 e2
sin (2) + 1 2 sin + (3 cos (2) 4 sin cos ) = 0 (2.3.294)
3 2 3
como la exponencial siempre es positiva la expresin anterior puede simplificarse en
3 sin (2) + 2 4 sin2 + 3 cos (2) 2 sin (2) = 0 (2.3.295)
1cos(2)
usando la identidad sin2 = 2 al final hay que resolver
sin (2) + 5 cos (2) = 0 (2.3.296)
Observe que si 0 cumple la igualdad anterior entonces
, - e20 & 3 '
0 0 0 2
Du f e cos 0 , e sin 0 , e = sin (20 ) + 1 2 sin 0 (2.3.297)
3 2
& '
e20 15 13e20
= cos (20 ) + cos (20 ) = cos (20 ) (2.3.298)
3 2 2 3
para que el valor sea un mximo se ocupa que cos (20 ) < 0 por lo que 20 debe en-
contrarse en el segundo o tercer cuadrante, es decir, 4 < < 3 5 7
4 o bien 4 < < 4 .
Luego los ngulos que funcionan (en grados) son 1 . 50,65 y 2 = 230,65 y los puntos
correspondientes son r (1 ) y r (2 ) (aqu habra que pasar primero los ngulos a radianes
para evaluar).
Por ejemplo, como en radianes 1 = 0,88 y 2 = 4,02, Du f (1 ) = 4,20 y Du f (2 ) =
2245,60 el segundo ngulo es el candidato para el mximo. Sin embargo, hay que revisar
tambin los valores en los extremos del intervalo. Como Du f (0) = 0,57 y Du f (2) =
16555 eso significa que el mximo se alcanza en 2.
169
2 Diferenciacin y Optimizacin de Campos Escalares
xz =0 (2.3.300)
170
2 Diferenciacin y Optimizacin de Campos Escalares
por lo que
& '
1 2 3
r = (1, 1) ,
Dr z(0, 1) = (z(0, 1)) = (2.3.306)
5 5 5
o bien
4x z = 3 (2.3.309)
como g (1, 2, 1) = (5, 0, 1) la ecuacin del plano tangente en ese punto es
o bien
5x z = 4 (2.3.311)
c) El ngulo entre los planos tangentes es el ngulos entre los vectores normales co-
rrespondientes, es decir,
(4, 0, 1) (5, 0, 1) 21
cos = = (2.3.312)
17 26 442
por lo que (en grados)
= 2,72 (2.3.313)
d) Para calcular la pendiente se regresa a la interpretacin de z = xy + x3 y como
una superficie que se levanta sobre el plano xy.
171
2 Diferenciacin y Optimizacin de Campos Escalares
en tal caso la pendiente debe ser la derivada direccional, de z a-lo largo de un vector
que indique la direccin de la recta y = 2x, es decir, u = 15 , 25 . Por lo tanto
& '
1 2 5
= (5, 0) ,
Du z(1, 2) = z (1, 2) u = (2.3.314)
5 5 5
$
Ejemplo 55. Las tres ecuaciones F (u, v) = 0, u = xy, v = x2 + y 2 donde F es
diferenciable, definen una )superficie 3
* en R . Determinar) un
* vector normal
a
esta superficie en el punto 1, 1, 3 si se sabe que F u 1, 2 = 1 y F
v (1, 2) = 2
La superficie bien definida por
, $ -
g(x, y, z) = F xy, x2 + y 2 = 0 (2.3.315)
172
2 Diferenciacin y Optimizacin de Campos Escalares
Fz Ft Fzt Fz Fzz Ft
= Fzt tx + Fzz zx = Fzt Fzz = (2.3.323)
x Fz Fz
de esta forma
Ftt (Fz )2 Ftz Ft Fz Ft Fzt Fz + Fzz (Ft )2
zxx = (2.3.324)
(Fz )3
finalmente se regresa a la notacin original para obtener
173
2 Diferenciacin y Optimizacin de Campos Escalares
Ejemplo 57. Halle los valores de las constantes a, b, c para los cuales la derivada
direccional de la funcin f (x, y, z) = axy 2 + byz + cz 2 x3 en el punto P (1, 2, 1)
tenga el valor mximo 64 en direccin paralela al eje z
Primero que todo el gradiente la funcin es
) * ) *
f (x, y, z) = ay 2 + 3cz 2 x2 i + (2axy + bz) j + by + 2czx3 k (2.3.326)
por hiptesis la derivada direccional debe ser mxima en la direccin paralela al eje z.
Como la direccin mxima es la del gradiente, esto significa que
4a + 3c = 0 4a b = 0 (2.3.328)
por lo que
f (1, 2, 1) = (2b 2c) k (2.3.329)
(pues el problema solo
Luego, tambin debe cumplirse que la direccin mxima es k
dice que debe ser paralela al eje z)
= (2b 2c) = 64
Dk f (1, 2, 1) = f (1, 2, 1) k (2.3.330)
o bien
b c = 32 (2.3.331)
de esta forma hay que resolver el sistema de ecuaciones
4a + 3c = 0
4a b = 0 (2.3.332)
b c = 32
las primeras dos ecuaciones dicen que b = 3c por lo que en la tercera ecuacin se tiene
4c = 32 o bien c = 8. De esta forma b = 24 y a = 6.
) *
Ejemplo 58. Suponga que la expresin F (x), (x), y 3 = 0 con F : R3 R,
, : R R diferenciables, define implcitamente una funcin diferenciable
y = f (x). Determine f ' (x).
Sea u = (x), v = (x), w = y 3 . Tomando diferenciales a ambos lados
F F F
du + dv + dw = 0 (2.3.333)
u v w
174
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
F ' F ' F 2
(x)dx + (x)dx + 3y dy = 0 (2.3.334)
u v w
como y = f (x) se tiene que dy = f ' (x)dx por lo que
) *
Fu ' (x) + Fv ' (x) + 3Fw y 2 f ' (x) dx = 0 (2.3.335)
o bien
Fu ' (x) + Fv ' (x)
f ' (x) = (2.3.336)
3y 2 Fw
du1 = dx1 du2 = dx1 + dx2 dun = dx1 + dx2 + + dxn (2.3.338)
B f n
F1 f f f
= + + + = (2.3.339)
x1 u1 u2 un ui
i=1
B f n
F1 f f
= + + = (2.3.340)
x2 u2 un ui
i=2
..
. (2.3.341)
B f n
F1 f
= = (2.3.342)
xn un ui
i=n
de esta forma . /
n
B n
B n
B
F (1, 1, , 1) = i, i, , i (2.3.343)
i=1 i=2 i=n
175
2 Diferenciacin y Optimizacin de Campos Escalares
2 2
x y cos (uv) + z = 0
Ejemplo 60. El sistema de ecuaciones x2 + y 2 sin (uv) + 2z 2 = 2 define
xy sin u cos v + z = 0
x, y, z como funciones de u, v. Calcular las derivadas x x
u y v en el punto
x = y = 1, u = 2 , v = 0, z = 0.
Las tres ecuaciones anteriores pueden escribirse como f1 (x, y, z, u, v) = 0, f2 (x, y, z, u, v) =
0, f3 (x, y, z, u, v) = 0 donde f1 = x2 y cos (uv) + z 2 , f2 = x2 + y 2 sin (uv) + 2z 2 2,
f3 = xy sin u cos v + z. Tomando diferenciales en cada ecuacin
2xdx cos (uv) dy + 2zdz + yv sin (uv) du + yu sin (uv) dv = 0
2xdx + 2ydy + 4zdz v cos (uv) du u cos (uv) dv = 0 (2.3.344)
ydx + xdy + dz cos u cos vdu + sin u sin vdv = 0
(2xxu cos (uv) yu + 2zzu + yv sin (uv)) du + (2xxv cos (uv) yv + 2zzv + yu sin (uv)) dv = 0
(2xxu + 2yyu + 4zzu v cos (uv)) du + (2xxv + 2yyv + 4zzv u cos(uv)) dv = 0
Ejemplo 61. Sea F una funcin real de dos variables reales tal que las de-
rivadas parciales D1 F y D2 F son siempre no nulas. Sea u otra funcin real
de dos variable reales tal que las derivadas parciales u u
x y y estn ligadas
, -
por la ecuacin F u u
x , y = 0. Demuestre que existe una constante n tal que
, 2 -n
2u 2u u
2
x y 2 = xy y determine el n
176
2 Diferenciacin y Optimizacin de Campos Escalares
u u
Definiendo t x ys y se tiene que F (t, s) = 0. Tomando diferenciales a ambos
lados
F F
dt + ds = 0 (2.3.349)
t s
como
dt = uxx dx + uxy dy ds = uxy dx + uyy dy (2.3.350)
por lo que
(Ft uxx + Fs uxy ) dx + (Ft uxy + Fs uyy ) dy = 0 (2.3.351)
o bien
Fs uxy Ft uxy
uxx = uyy = (2.3.352)
Ft Fs
de aqu es claro que
uxx uyy = (uxy )2 (2.3.353)
por lo que n = 2
Primero se va a analizar (1) pero ahora la diferencia va a ser que se van a considerar
trminos cuadrticos. Luego,
T (x + ,x, y) 1 2 T (x + ,x, y)
(1) . ,y + (,y)2 (2.4.2)
y 2 y 2
Como interesa aproximar la funcin con respecto a (x, y), las derivadas parciales deberan
estar evaluadas en (x, y) por lo que se realiza una expansin de Taylor para T (x+&x,y)
y
2
y para T (x+&x,y)
y 2
. Como hay un factor ,y frente a T (x+&x,y)
x es suficiente expandirla
a primer orden, es decir
177
2 Diferenciacin y Optimizacin de Campos Escalares
2 T (x+&x)
Luego, para y 2
es necesario solo hacer una expansin de orden cero pues hay un
2
factor (,y) frente a l
2 T (x + ,x, y) 2 T (x, y)
. (2.4.4)
y 2 y 2
Sustityendo 2.4.3 y 2.4.4 en 2.4.2 se obtiene que
T (x, y) 1 2 T (x, y)
(2) . ,x + (,x)2 (2.4.6)
x 2 x2
Sustituyendo 2.4.5 y 2.4.6 en 2.4.1 se tiene
El caso en que el campo escalar depende en tres variables se puede encontrar de forma
similar:
178
2 Diferenciacin y Optimizacin de Campos Escalares
Sea T (x, y, z) un campo escalar y ,r = (,x, ,y, ,z). Suponga que T es de clase C 3 ,
es decir, tiene derivadas parciales de al menos tercer orden continuas. Entonces
donde
R2 (,r)
lm ( (2 = 0 (2.4.9)
&r0 ( (
(,r(
En forma ms compacta,
1
T (r + ,r) = T (r) + T (r) ,r + (,r)T HT (r) ,r + R2 (,r) (2.4.10)
2
Donde se ha escrito ,r como vector columna
,x
,r = ,y (2.4.11)
,z
179
2 Diferenciacin y Optimizacin de Campos Escalares
! Un punto P es crtico si
T (P ) = 0 (2.5.3)
Suponga que se sabe de alguna forma que P es un mximo relativo, entonces existe
una bola abierta B que contiene a P como en la definicin anterior. Como se est dentro
de una bola, se puede considerar el segmento de recta que pasa por P en direccin v
como
Q(t) = P + tv (2.5.4)
Observe que no toda la recta va a estar contenida en la bola B, sino solo un segmento de
la recta, pero esto es suficiente para lo que sigue. Suponiendo que el segmento contenido
dentro de la bola incluye el intervalo de tiempo (, ) entonces como P es un mximo
y P = Q(0) se tiene
T (Q(0)) > T (Q(t)) t (, ) (2.5.5)
La ventaja ahora es que como se est viendo el valor de T a lo largo de una curva el
problema es de una dimensin y por clculo en una variable se sabe que los mximos de
una funcin f (t) requieren que f ' (t) = 0, aqu el anlogo de la derivada es la derivada
direccional, por lo que
Dv T (P ) = 0 (2.5.6)
pero por 2.2.26
(T (P )) v
=0 (2.5.7)
Como el vector v es arbitrario debe tenerse
T (P ) = 0 (2.5.8)
180
2 Diferenciacin y Optimizacin de Campos Escalares
Como se mencion antes, los mximos o mnimos deben ser puntos crticos, por lo que
el gradiente se anula y la expansin puede escribirse como
. T 2 (x,y) 2 T (x,y) / & '
1) * x2 xy ,x
T (x + ,x, y,y) . T (x, y) + ,x ,y 2 T (x,y) 2 T (x,y) (2.5.10)
2 2
,y
xy y
Aqu el punto (x, y) debe considerarse como fijo, por lo que puede escribirse el Hessiano
como & '
a b
HT (x, y) = (2.5.12)
b c
Luego, por lgebra Lineal se sabe que existe un cambio de coordenadas a travs de una
matriz ortogonal Q que diagonaliza un matriz simtrica. Es decir, el cambio de variables
& ' & '
,u ,x
=Q (2.5.13)
,v ,y
. T 2 (x,y) 2 T (x,y)
/& '
) * x2 xy ,x
convierte ,x ,y 2 T (x,y) 2 T (x,y) en
,y
xy y 2
181
2 Diferenciacin y Optimizacin de Campos Escalares
! Si ambos valores propios son positivos dado que (,u) , (,v) no pueden ser ambos
nulos a la vez (pues en tal caso se comparara los valores en el mismo punto) de
2.5.15 se ve que T (x + ,x, y + ,y) > T (x, y) lo cual significa que T (x, y) es un
mnimo relativo. Por 2.5.16 y 2.5.17 se ve que pedir 1 > 0 y 2 > 0 es lo mismo
que pedir ac b2 > 0 y a + c > 0.
! Si ambos valores propios son negativos de 2.5.15 se ve que T (x + ,x, y + ,y) <
T (x, y) por lo que T (x, y) es un mximo relativo. Por 2.5.16 y 2.5.17 se ve que
pedir 1 < 0 y 2 < 0 es lo mismo que pedir ac b2 > 0 y a + c < 0.
! Si los valores propios tienen signos distintos entonces de 2.5.15 se ve que depen-
diendo de los valores de ,u y ,v podra tenerse que la diferencia entre T (x +
,x, y + ,y) y T (x, y) sea positiva o negativa, por lo que T (x, y) no es ni mximo
ni mnimo, sino un punto de ensilladura, es decir, dependiendo de la direccin en
la que uno se acerque el valor T (x, y) es un mximo o un mnimo, pero no es un
mximo o un mnimo para todas las direcciones posibles, que es lo que se pide en
la definicin de mnimo y mximo relativo. El que los valores propios tengan signos
distintos es equivalente a ac b2 < 0.
En resumen se tiene,
6
La traza de una matriz es la suma de los valores sobre la diagonal
182
2 Diferenciacin y Optimizacin de Campos Escalares
) *
Ejemplo 62. Clasifique los puntos crticos de f (x, y) = e2x+3y 8x2 6xy + 3y 2 .
Primero se calculan las derivadas parciales de f
f ) *
= 2e2x+3y 8x2 6xy + 3y 2 + e2x+3y (16x 6y) (2.5.19)
x
f ) *
= 3e2x+3y 8x2 6xy + 3y 2 + e2x+3y (6x + 6y) (2.5.20)
y
Luego, los puntos crticos ocurren cuando ambas derivadas parciales son cero por lo que
debe resolverse el sistema
% ) *
2e2x+3y 8x2 6xy + 3y 2 + e2x+3y (16x 6y) = 0
) * (2.5.21)
3e2x+3y 8x2 6xy + 3y 2 + e2x+3y (6x + 6y) = 0
10x = 5y (2.5.23)
183
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
2x = y (2.5.24)
y sustituyendo en la primera ecuacin del sistema se tiene
x (8x + 2) = 0 (2.5.26)
) *
que da x = 0 o x = 41 y como 2x = y los puntos crticos son (0, 0) y 41 , 12 .
Ahora hay que hallar el Hessiano. Como
f )
2x+3y 8x2 6xy + 3y 2 + 8x 3y
*
x = 2e ) * (2.5.27)
f 2x+3y 8x2 6xy + 3y 2 2x + 2y
y = 3e
Se tiene
2f ) *
2x+3y 8x2 6xy + 3y 2 + 8x 3y + 4e2x+3y (8x 3y + 4)
x 2 = 4e
2f ) *
2x+3y 8x2 6xy + 3y 2 + 8x 3y + 6e2x+3y (2x + 2y 1)
xy = 6e (2.5.28)
2f ) * )
2x+3y 8x2 6xy + 3y 2 2x + 2y + 9e2x+3y 2x + 2y + 2
*
y 2 = 9e 3
Como det Hf (0, 0) = 60)y trHf (0, * 0) = 22 se concluye que (0, 0) es un mnimo relativo.
Para el punto crtico 41 , 12
& ' & ) * ) * '
1 1 4e2) 27 * 6e2 ) 32*
Hf , = (2.5.31)
4 2 6e2 32 9e2 61
184
2 Diferenciacin y Optimizacin de Campos Escalares
para los puntos sobre la frontera del rectngulo, es decir, para los cuatro lados del rec-
tngulo, no es posible acercarse desde todas las direcciones, por lo que el procedimiento
va a tener que distinto en esa situacin.
2 1 0
2f 2f 2f
=2 = 1 =2 (2.5.34)
x2 xy y 2
El Hessiano de la funcin es
& ' & '
4 1 2 1
Hf , = (2.5.35)
3 3 1 2
Como )det Hf* = 3 y trHf = 4 el punto crtico es un mnimo relativo. Observe de paso
que f 43 , 13 = 34
Ahora hay que analizar el comportamiento de la funcin sobre los lados del rectngulo.
185
2 Diferenciacin y Optimizacin de Campos Escalares
Finalmente, la lista de todos los puntos que son candidatos para mximos y mnimos
absolutos son
(x, y) f (x, y)
) *
34 , 13 43
(2, 0) 1
) (0,3 0) * 1
2, 0 54
(0, 1) 0
(2, 1) 0
(1, 1) 1
Nuevamente el Hessiano es una matriz simtrica y por lgebra Lineal se puede diago-
nalizar y el problema de mximos y mnimos se reduce al de estudiar los signos de los
valores propios del Hessiano.
186
2 Diferenciacin y Optimizacin de Campos Escalares
! Si algunos valores propios son positivos y otros negativos (pero ninguno es cero) el
punto corresponde a un punto de ensilladura, es decir, dependiendo de la direccin
en que uno se acerque el punto se vera como un mximo o un mnimo
Entonces
,1 =&det (1) =
'1
1 3
,2 = det = 2
2 4
1 3 0
,3 = det 2 4 0 = 4
(2.5.38)
1 2 2
1 3 0 1
2 4 0 3
,4 = det
1 2 2 9 = 20
0 0 0 5
187
2 Diferenciacin y Optimizacin de Campos Escalares
Ejemplo 64. Clasifique los puntos crticos de f (x, y, z) = x2 xyy 2 +4z 3 12z.
Se calculan primero las derivadas parciales:
f f f
= 2x y = x 2y = 12z 2 12 (2.5.40)
x y z
Luego hay que resolver el sistema
2x y = 0
x 2y = 0 (2.5.41)
2
12z 12 = 0
El Hessiano en P1 es
2 1 0
Hf (P1 ) = 1 2 0 (2.5.43)
0 0 24
y los menores principales son ,1 = 2 ,2 = 3 ,3 = 72 y se puede observar que P1
tiene que ser un punto de ensilladura.
188
2 Diferenciacin y Optimizacin de Campos Escalares
El Hessiano en P2 es
2 1 0
Hf (P2 ) = 1 2 0 (2.5.44)
0 0 24
y los menores principales son ,1 = 2 ,2 = 3 ,3 = 72 y se puede observar que
P2 tiene que ser un mximo.
Para hallar los puntos crticos de la funcin f (x, y, z) = 0 sujeta a la condicin g(x, y, z) =
0 se resuelve el sistema de ecuaciones
%
f = g
(2.5.47)
g(x, y, z) = 0
189
2 Diferenciacin y Optimizacin de Campos Escalares
f = 2i + 3j + k (2.5.48)
Observe que (= 0 para que halla solucin por lo que de las primeras tres ecuaciones
1 1 1
x= y= z= (2.5.51)
4 2 2
y sustituyendo esto en la ltima ecuacin se tiene que
1 3 1
+ + = 80 (2.5.52)
42 42 42
o bien
5
42 = (2.5.53)
80
por lo que
1
= (2.5.54)
8
y los puntos crticos son (2, 4, 4) y (2, 4, 4).
Ahora hay que clasificar los puntos crticos del problema 2.5.47. Primero que todo,
observe que la condicin f (P ) = g(P ) puede escribirse como
(f g) (P ) = 0 (2.5.55)
L = f g (2.5.56)
L = 0 (2.5.57)
Observe que la condicin para L es la misma que la de encontrar los puntos crticos de
una funcin sin estar sujeta a condiciones de ligadura lo cual sugiere estudiar el Hessiano
190
2 Diferenciacin y Optimizacin de Campos Escalares
de L . Sin embargo, todava hay que tener en cuenta la condicin g(x, y, z) = 0 por lo
que en realidad hay que estudiar la restriccin de HL restringida al plano tangente del
punto crtico.
Para clasificar los puntos crticos del problema de maximizar f (x, y, z) sujeta a la con-
dicin g(x, y, z) = 0
q(v) = vT HL (P )v (2.5.59)
191
2 Diferenciacin y Optimizacin de Campos Escalares
Como g = 8xi + 6yj + 2zk se tiene que g(P1 ) = 16i + 24j + 8k los vectores del plano
tangente en P1 son formados por dos vectores perpendiculares y linealmente indepen-
dientes a g(P1 ); se pueden tomar v1 = i 2k y v2 = j 3k. Luego cualquier vector
del plano tangente se puede escribir como
por lo que
) * 1 0 0 t
q(v) = t s 2t 3s 0 3 0 s = 2t2 3ts 3s2
4
0 0 14 2t 3s
(2.5.65)
y la matriz asociada a la forma cuadrtica es
& '
2 23
A= (2.5.66)
32 3
Como g = 8xi + 6yj + 2zk se tiene que g(P2 ) = 16i 24j 8k los vectores
del plano tangente en P2 son formados por dos vectores perpendiculares y linealmente
independientes a g(P2 ); se pueden tomar v1 = i 2k y v2 = j 3k. Luego cualquier
vector del plano tangente se puede escribir como
por lo que
) * 1 0 0 t
q(v) = t s 2t 3s 0 3 0 s = 2t2 + 3ts + 3s2 (2.5.69)
4
1
0 0 4 2t 3s
192
2 Diferenciacin y Optimizacin de Campos Escalares
Para clasificar los puntos crticos del problema de maximizar f (x1 , , xn ) sujeta a las
m condiciones (m < n) g1 (x1 , , xn ) = 0, ... , gm (x1 , , xn ) = 0
q(v) = vT HL (P )v (2.5.72)
Otra forma equivalente para clasificar los mximos y mnimos sujetos a ligaduras es
utilizando el siguiente criterio.
193
2 Diferenciacin y Optimizacin de Campos Escalares
Para clasificar los puntos crticos del problema de maximizar f (x1 , , xn ) sujeta a las
m condiciones (m < n) g1 (x1 , , xn ) = 0, ... , gm (x1 , , xn ) = 0
194
2 Diferenciacin y Optimizacin de Campos Escalares
en este caso
,3 = 768 ,4 = 240 (2.5.80)
m
y como tienen el signo de (1) = 1 se tiene que corresponde a un mnimo local.
195
2 Diferenciacin y Optimizacin de Campos Escalares
De las primeras tres ecuaciones se tiene (observe que para que se cumplan las ecuaciones
ecuaciones se ocupa 1 (= 1)
32 22 32
x= y= z= (2.5.83)
2(1 + 1 ) 1 + 1 (1 1 )
Luego se sustituye en las dos ltimas ecuaciones
, -
2 9
9
4
=0
2 (11 )2 4(1+1 )2 (1+1-)2
, (2.5.84)
2 9 8 18
2(1+1 ) + (1+1 ) + (11 ) = 11
El Hessiano es
2 (1 + 1 ) 0 0
H L = 0 2 (1 + 1 ) 0 (2.5.87)
0 0 2(1 1 )
Como g1 = 2xi 2yj + 2zk y g2 = 3i + 4j + 6k un vector perpendicular a ambos
es v3 = (g1 ) (g2 ) = (12y 8z) i + (12x + 6z) j + (8x + 6y) k y cualquier vector
perpendicular a g1 y g2 es de la forma v = tv3 por lo que q(v) es
) * 1 + 1 0 0 2(3y + 2z)
q = 8t2 2(3y + 2z) 3(2x + z) (4x 3y) 0 1 + 1 0 3(2x + z)
0 0 1 1 (4x 3y)
(2.5.88)
C D
q (v) = 8t2 4 (1 + 1 ) (3y + 2z)2 + 9 (1 + 1 ) (2x + z)2 + (1 1 ) (4x 3y)2 (2.5.89)
196
2 Diferenciacin y Optimizacin de Campos Escalares
Ahora que se han simplicado los clculo se van a utilizar los puntos.
1 4
Para 1 = 11 2 = 11 el punto es
3 4
x= y= z=1 (2.5.90)
5 5
por lo que sustituyendo en 2.5.89 se tiene que
E & '& ' & ' & '2 F
2
10 22 10 11
q(v) = 8t2 4 +9 (2.5.91)
11 5 11 5
no es necesario terminar de hacer las sumas pues se puede observar que el coeficiente
es positivo y luego el nico menor es positivo por lo que tal punto corresponde a un
mnimo.
Para 1 = 11 2 = 44 el punto es
33 44
x= y= z = 11 (2.5.92)
5 5
por lo que sustituyendo en 2.5.89 se tiene que
E & '2 & '2 F
2 22 11
q(v) = 8t 4 (10) + 9 (10) (2.5.93)
5 5
no es necesario terminar de hacer las sumas pues se puede observar que el coeficiente
es negativo y luego el nico menor es negativo por lo que tal punto corresponde a un
mximo.
0 0 2x 2y 2z
0 0 3 4 6
HO =
2x 3 2 (1 + 1 ) 0 0
(2.5.95)
2y 4 0 2 (1 + 1 ) 0
2z 6 0 0 2(1 1 )
como n = 3 y m = 2 se tiene que nm = 1 por lo que solo hay que revisar el ltimo menor
principal, es decir, el determinante del Hessiano Orlado. Primero se va a desarrollar el
197
2 Diferenciacin y Optimizacin de Campos Escalares
4 [x [8(1 1 ) (4x + 3y) + 12 (1 + 1 ) (6x 3z)] + y [6(1 1 ) (4x + 3y) 12 (1 + 1 ) (6y 4z)]]
(2.5.99)
+ 4z [6(1 + 1 ) (6x 3z) 8 (1 + 1 ) (6y 4z)] (2.5.100)
Se puede simplificar un poco para tener
4 [x [8(1 1 ) (4x + 3y) 36 (1 + 1 ) (2x + z)] + y [6(1 1 ) (4x + 3y) + 24 (1 + 1 ) (3y + 2z)]]
(2.5.101)
+ 4z [18(1 + 1 ) (2x + z) + 16 (1 + 1 ) (3y + 2z)] (2.5.102)
) *
para el punto P = 35 , 45 , 1 y 1 = 11 1
, 2 = 114
el determinante es
M M & ' & 'N M & ' & 'N & '& ' & ' & 'N
3 15 11 4 10 22 10 11 10 22
4 36 + 24 + 18 + 16
5 4 5 5 11 5 11 5 11 5
(2.5.103)
claramente es positivo y como (1)m ) =331 es44un mnimo.
*
Por otro lado, para el punto P = 5 , 5 , 11 y 1 = 11, 2 = 44 el determinante
es
M & ' & ' M & ' & 'NN
33 11 44 22 11 22
4 (36) (10) (24) (10) + 11 18 (10) + 16 (10)
5 5 5 5 5 5
(2.5.104)
el determinante anterior es
M& ' & ' N
11 22
4 (2376 1980) + (2112 1760) (2.5.105)
5 5
198
2 Diferenciacin y Optimizacin de Campos Escalares
x = y (2.5.107)
2
Si = 0 entonces x = y = 2 .
Por otro lado, si (= 0 entonces x = y = 22 . Si se considera x = 22 y
) *n2
y = 22 entonces = n 2 . En cambio, si x = 22 y y = 22 entonces
) *n2
= (1)n2 n 2 . Por lo tanto, se tiene la siguiente tabla
x y
2 2
0 2 2
0 22 22
) *n2 2
n 2 2 22
) *n2 2 2
(1)n2 n 2 2 2
) *
Ahora se calcula el Hessiano de la funcin auxiliar L = (x y)n x2 + y 2 1
& '
n(n 1)(x y)n2 2x n(n 1)(x y)n2
H L = (2.5.108)
n(n 1)(x y)n2 n(n 1)(x y)n2 2y
Lamentablemente q (v) se anula en los cuatro puntos por lo que no puede utilizarse el
criterio de la segunda derivada. Sin embargo, como la funcin f se est optimizando
199
2 Diferenciacin y Optimizacin de Campos Escalares
x y f (x, y) = (x y)n
2 2
0 2 2 0
0 22 22 0
) *n2 2
) *n
n 2 2 22 2
) *n2 n ) *n
(1)n2 n 2 22 2
2
(1) 2
, - , - , -
Por lo tanto, si n es par 22 , 22 y 22 , 22 son mximos absolutos y 22 , 22
, - , -
, 22 , 22 son mnimos absolutos. En cambio, si n es impar, 22 , 22 es el nico
, -
mximo absoluto y 22 , 22 es el nico mnimo absoluto. Como moraleja es impor-
tante notar antes de aplicar el criterio del Hessiano si la restriccin representa o no un
compacto, pues en tal caso se puede intentar una sustitucin directa antes de comenzar a
calcular Hessianos. Sin embargo, esto sirve para reconocer mximos y mnimos absolutos,
si se quieren saber si hay mximos y mnimos locales la compacidad no es importante y
hay que intentar con el mtodo del Hessiano.
200
2 Diferenciacin y Optimizacin de Campos Escalares
= 3x4 = 3y 4 = 3z 4 (2.5.116)
por lo que
x = y = z (2.5.117)
donde en principio cualquier combinacin es vlida. Por ejemplo,
es fcil verificar que cualquier otra combinacin de signos es redundante por lo que los
puntos crticos son
x y z
35 3 3 3
3 1 1 1
3 1 1 1
3 1 1 1
) *
Luego, como L = x3 + y 3 + z 3 x1 + y 1 + z 1 1 el Hessiano es
6x 2x3 0 0
H L = 0 6y 2y 3 0 (2.5.118)
0 0 6z 2z 3
201
2 Diferenciacin y Optimizacin de Campos Escalares
(x + y) (x + z) x2 = xz + yx + yz (2.5.123)
y primera entrada es
x+y (2.5.124)
se puede utilizar el criterio de la segunda derivada para matrices dos por dos y completar
la siguiente tabla
202
2 Diferenciacin y Optimizacin de Campos Escalares
0 ) x2 * y 2 z 2
x2 2x 3 x4
= ) 0 4 * 0 (2.5.127)
y 2 0 2y 3 2y 0
2
) 4
*
z 0 0 2z 3 2z
como n m = 3 1 = 2 hay que analizar los dos ltimos menores principales. Todos
los puntos crticos cumplan que x2 = y 2 = z 2 por lo que se puede escribir
0 ) x2 * x2 x2
x2 2x 3 x4
HO = ) 0 * 0 (2.5.128)
x2 0 2y 3 2x 4 0
) *
x2 0 0 2z 3 2x4
203
2 Diferenciacin y Optimizacin de Campos Escalares
204
2 Diferenciacin y Optimizacin de Campos Escalares
2v
En tal caso el tiempo de vuelo es tv = g0y y el rango, es decir, el punto en el que hace
contacto con el suelo es
2
R = v0x tv = v0x v0y (2.5.140)
g
Ahora bien, considere el siguiente experimento. Para un proyectil la energa total
1 ) 2 2
*
E = m v0x + v0y (2.5.141)
2
se conserva. Por lo tanto, se puede considerar que el experimento consiste en lanzar
una serie de partculas de masa m y con la misma energa E 2.5.141 pero con dis-
tintas velocidades iniciales v0x , v0y para ver cual tiene el mayor rango 2.5.140, es de-
cir, cual llega ms lejos. Por lo tanto, el problema se puede considerar matemtica-
mente como: maximizar 2.5.140 sujeto a 2.5.141. Por el mtodo de multiplicadores
de Lagrange, dado que f (v0x , v0y ) = g2 v0x v0y entonces f = g2 v0y i + 2g v0x j y como
) 2 *
g(v0x , v0y ) = 12 m v0x 2
+ v0y E entonces g = mv0x i + mv0y j y hay que resolver
2
g v0y = mv0x
2 (2.5.142)
g v0x = mv0y
1 ) 2 2
*
2 m v0x + v0y = E
como interesa el caso en que E > 0, v0x > 0 y v0y > 0 multiplicando las primeras dos
ecuaciones se tiene
4
v0x v0y = 2 m2 v0x v0y (2.5.143)
g2
por lo que
2
= (2.5.144)
gm
y como se quiere v0x > 0 y v0y > 0 entonces solo se toma
2
= (2.5.145)
gm
de aqu se observa que el multiplicador no depende de la energa y sino que solamente
de variables intrnsecas del problema como la masa m y la gravedad g! Las velocidades
iniciales cumplen 3
E
v0x = v0y = (2.5.146)
m
es decir, el proyectil debe lanzarse a 45 grados. Ahora bien, se van a denotar los valores
en los que el rango es mximo con un , es decir,
3
E
v0x = v0y = (2.5.147)
m
y ahora el experimento va a cambiar un poco. En vez de mantener la energa constante
a lo largo de todos los experimentos, se va a ir variando la energa, es decir, cada lanza-
miento particular s mantiene una energa constante pero distintos lanzamientos tienen
205
2 Diferenciacin y Optimizacin de Campos Escalares
distintas energas. Sin embargo, todos estos experimentos se preparan de forma que se
, v por lo que el rango
lancen a un rango mximo, es decir, con velocidades iniciales v0x 0y
se convierte en funcin de la energa como
.3 /2
2 2 E 2
R = v0x v0y = = E (2.5.148)
g g m gm
es decir,
2
R (E) = E (2.5.149)
gm
un clculo sencillo muestra que
dR
= (2.5.150)
dE
es decir, el multiplicador en este caso es el incremento del rango mximo con respecto a
la energa, o bien, el incremento de la cantidad por optimizar con respecto a la condicin
de ligadura!
Con el ejemplo del proyectil como motivacin, se va a determinar ahora si los multipli-
cadores en el caso general cumplen la propiedad anterior. Suponga que se quiere maximi-
zar la funcin f (x1 , x2 , , xn ) sujeta a las condiciones de ligadura gi (x1 , x2 , , xn ) =
0, i = 1, , m. Por el mtodo de los multiplicadores hay que resolver el sistema de
ecuaciones gm (x1 , , xn ) = 0
f = 1 g1 + + m gm
g1 (x1 , , xn ) = 0
.. (2.5.151)
.
gm (x1 , , xn ) = 0
Al igual que en el caso del proyectil, se quiere variar el valor que puede tomar las res-
tricciones (en el proyectil consista en variar la energa) por lo que en vez de considerar
nicamente gi (x1 , x2 , , xn ) = 0 se considera gi (x1 , x2 , , xn ) = ci donde ci va va-
riando. Por lo tanto, tiene sentido considerar la funcin
206
2 Diferenciacin y Optimizacin de Campos Escalares
Al igual que en el caso de los proyectiles, se denota como x1 , x2 , , xn los valores que
corresponden al punto que se obtiene con valores particulares de 1 , 2 , , m . Observe
que en principio tales multiplicadores y los puntos x1 , x2 , , xn pueden ser funcin de
las constantes c1 , , cm que se escogieron durante el problema por lo que la solucin
de 2.5.153 se puede escribir como
f (r (c1 , , cm )) = 1 (c1 , , cm )g1 (r (c1 , , cm )) + + m (c1 , , cm )gm (r (c1 , , cm ))
g1 (r (c1 , , cm )) = c1
..
.
gm (r (c1 , , cm )) = cm
(2.5.154)
donde
r (c1 , , cm ) = (x1 (c1 , , cm ), , xn (c1 , , cm )) (2.5.155)
Ahora bien, igual que para los proyectiles, interesa el valor de la funcin en el punto en
que alcanza un mximo o mnimo, es decir, hay que definir
ahora bien, el lado derecho de 2.5.156 se puede escribir como f (x1 , x2 , , xn ) por lo
que
F (c1 , , cm ) = f (x1 , x2 , , xn ) (2.5.157)
tomando diferenciales a ambos lados7 y recordando que en general dh(u1 , , un ) =
(h) du se obtiene (aqu se omite la evaluacin en el punto para no complicar ms la
notacin)
(F ) dc = (f ) dr (2.5.158)
ahora bien, de 2.5.154
(gi ) dr = dci (2.5.159)
y
f = 1 g1 + + m gm (2.5.160)
por lo que en 2.5.158 se obtiene
m
B m
B m
B
F
dci = i (gi ) dr = i dci (2.5.161)
ci
i=1 i=1 i=1
7
esta es la gran ventaja de los diferenciales, el hecho de que no importa tomar en cuenta la dependencia
directa de una variable con respecto a otras
207
2 Diferenciacin y Optimizacin de Campos Escalares
f = 1 g1 + 2 g2 (2.5.163)
es decir,
(2x, 2y, 2z) = 1 (2x y, 2y x, 2z) + 2 (2x, 2y, 0) (2.5.164)
luego se tiene que resolver el sistema
2x = 1 (2x y) + 2 (2x)
2y = 1 (2y x) + 2 (2y)
2z = 21 z (2.5.165)
x2 xy + y 2 z 2 = 1
2
x + y2 = 1
primero se hace el caso en que z = 0. Luego hay que resolver las ecuaciones
2x(1 2 ) = 1 (2x y)
2y(1 ) = (2y x)
2 1
2 xy + y 2 = 1
(2.5.166)
x
x2 + y 2 = 1
Las ltimas dos ecuaciones dicen que xy = 0. Primero que todo si x = 0 entonces y = 1
y luego 1 = 0 y 2 = 1. Es decir, una opcin de los puntos es
(0, 1, 0) 1 = 0 2 = 1 (2.5.167)
(1, 0, 0) 1 = 0 2 = 1 (2.5.168)
Ahora se supone que z (= 0. En tal caso se tiene que 1 = 1 por lo que hay que resolver
el sistema
2x = (y 2x) + 2 (2x)
2y = (x 2y) + (2y)
2
2 xy + y 2 z 2 = 1
(2.5.169)
x
x2 + y 2 = 1
208
2 Diferenciacin y Optimizacin de Campos Escalares
las primeras dos ecuaciones implican que x = y pero luego la tercera ecuacin dira que
z 2 = x2 lo cual es imposible a menos que x = z = 0 y ya se consider ese caso. Luego
los puntos crticos son los 8 hallados anteriormente. La funcin auxiliar es
) * ) *
L1 ,2 (x, y, z) = x2 + y 2 + z 2 1 x2 xy + y 2 z 2 1 2 x2 + y 2 1 (2.5.174)
(0, 1, 0) 1 = 0 2 = 1 (2.5.176)
209
2 Diferenciacin y Optimizacin de Campos Escalares
210
2 Diferenciacin y Optimizacin de Campos Escalares
y b2 x
= 2 (2.5.190)
x a y
211
2 Diferenciacin y Optimizacin de Campos Escalares
x2
3 =1 (2.5.193)
a2
o bien
a b c
x= y= z= (2.5.194)
3 3 3
8abc
de esta forma el volumen es .
3 3
4x2 x2 = 1 (2.5.199)
212
2 Diferenciacin y Optimizacin de Campos Escalares
El Hessiano Orlado es
0 4x + y 4y + x
HO = 4x + y 2 4 (2.5.202)
4y + x 2 4
como n m = 2 1 = 1 hay que analizar nicamente el valor del determinante del
Hessiano, Orlado. -
Para 15 , 15 = 25 se tiene que
0
5 5
HO = 5 2
5 52 (2.5.203)
5 52 2
5
213
2 Diferenciacin y Optimizacin de Campos Escalares
1
claramente (= 0 por lo que x = y = z = 2 ,,luego en la-cuarta
, ecuacin se obtiene
-
que x = 13 por lo que los puntos crticos son 3 , 3 , 3 y 13 , 13 , 13 . Da-
1 1 1
do
, que el mximo- y mnimo deben alcanzarse y solo hay dos, candidatos, es claro
- que
1 , 1 , 1 1 1 1
corresponde al mximo absoluto mientras que 3 , 3 , 3 corres-
3 3 3
ponde al mnimo absoluto.
Ejemplo 76. Suponga que se han medido n datos experimentales (x1 , y1 ) , (x2 , y2 ) , , (xn , yn )
y se quiere construir la recta y = ax + b que mejor aproxima a tales puntos.
Determine el sistema de ecuaciones que deben satisfacer a y b para tal con-
dicin si por mejor aproximacin se quiere decir aquella que minimiza los
cuadrados de las distancias entre los datos experimentales y la curva terica.
Segn el enunciado hay que minimizar la cantidad
n
B
D(a, b) (yi (axi + b))2 (2.5.211)
i=1
214
2 Diferenciacin y Optimizacin de Campos Escalares
definiendo
On On
i=1 xi i=1 yi
x (x1 , x2 , , xn ) y (y1 , y2 , , yn ) x
y (2.5.214)
n n
las dos ecuaciones pueden escribirse como
( (
( x (2 xy
( ( a + x b = x
a + b = y (2.5.215)
( n( n
al final hay que resolver el sistema
. ( (2 /& ' &
( x ( xy '
( n( x a
= n (2.5.216)
x
1 b y
Ejemplo 77. Considere un cuerda con extremos fijos en (0, 0) y (a, b) y longi-
tud L. Si se coloca un anillo sobre la cuerda de modo que pueda deslizarse
libremente cul es la posicin final que ocupa?
En este caso la condicin de equilibrio minimiza la energa potencial del sistema,
suponiendo que la masa es m, hay que minimizar la funcin energa potencial
h(x, y) = mgy (2.5.218)
sujeta a la condicin de que la longitud de la cuerda es constante, es decir,
$ 0
g(x, y) = x + y + (x a)2 + (y b)2 L = 0
2 2 (2.5.219)
por multiplicadores de Lagrange se resuelve h = g, es decir,
x x a y y b
(0, mg) = 2 +0 , 2 +0
x + y2 x + y2
(x a)2 + (y b)2 (x a)2 + (y b)2
(2.5.220)
215
2 Diferenciacin y Optimizacin de Campos Escalares
mg y yb
=$ +0 (2.5.222)
2
x +y 2
(x a)2 + (y b)2
la primera igualdad puede interpretarse como la igualdad de los ngulos
x ax
cos = $ =0 = cos (2.5.223)
x2 + y 2 (x a)2 + (y b)2
a = L cos (2.5.225)
para y se tiene
$ 0
y = x2 + y 2 sin by = (x a)2 + (y b)2 sin (2.5.226)
por lo que
b 2y = L sin (2.5.227)
con estas relaciones se obtiene que
& '
a b 1, $ -
x= 1 y= b L 2 a2 (2.5.228)
2 L 2 a2 2
216
2 Diferenciacin y Optimizacin de Campos Escalares
Ejemplo 78. Suponga que se tiene un sistema con energa total E y con
N partculas. A su vez, suponga que las partculas pueden encontrarse con
energas +1 , +2 , , +l y que n1 , n2 , , nl representan el nmero de partculas
que en un instante
Ol dado O
que poseen energas +1 , +2 , , +l . Claramente debe
tenerse que i=1 ni = N y li=1 ni +i = E. Ignorando las restricciones, el nmero
de configuraciones posibles en las que pueden repartirse las N partculas
entre las l cajas es = n1 !nN2 !n !
l!
. En la Mecnica Estadstica es de intres
calcular la reparticin deOpartculas ms O probable, es decir, maximizar
sujeto a las restricciones li=1 ni = N y li=1 ni +i = E. Dado que es mximo
O
si y solo si log lo es, se maximiza log = log N ! li=1 log (ni !) . A su vez,
como se analiza un gran nmero de partculas, se utiliza la aproximacin de
Stirling log n! . n log n n. Con estas suposiciones, calcule la configuracin
ms probable.
PorOllas condiciones del problema hay que maximizar Ol f (n1 , n2 , , nl ) = N log N
N i=1 (ni log ni ni ) sujeto a g1 (n1 , n2 , , nl ) = i=1 ni N y g2 (n1 , n2 , , nl ) =
Ol
i=1 ni i E. Por el mtodo de los multiplicadores de Lagrande se tiene que
f = 1 g1 + 2 g2 (2.5.229)
o bien
ni = e1 e2 i i = 1, 2, , l (2.5.232)
Este resultado implica que la distribucin de las partculas debe ser exponencial. Reem-
plazando estos valores en la primera restriccin se tiene
l
B
e1 e2 i = N (2.5.233)
i=1
217
2 Diferenciacin y Optimizacin de Campos Escalares
o bien
N
e1 = Ol (2.5.234)
2 i
i=1 e
el denominador
l
B
Z e2 i (2.5.235)
i=1
N 2 i
ni = e (2.5.236)
Z
en principio se debe utilizar la segunda restriccin para eliminar el segundo multiplicador
aunque como se puede observar no es algo fcil de realizar por lo que para interpretarlo
en Mecnica Estadstica se calcula la entropa S kB log en el caso de = max . En
tal caso
. l
/
B
Smax = kB log max = kB N log N N (ni (log ni 1)) (2.5.237)
i=1
218
2 Diferenciacin y Optimizacin de Campos Escalares
y de esta forma
ni 1 i
= e kB T (2.5.244)
N Z
la distribucin anterior se conoce como la distribucin de Maxwell-Boltzmann y dice la
distribucin de las energas de las partculas dentro de un gas.
$ $
Ejemplo 79. Muestre
$ que la funcin f (x, y, z) = x2 + y 2 + y 2 + z 2 + x2 + z 2
condicionado a x2 + y 2 +!
z 2 = 1 tiene
un extremo "
absoluto igual a 6 y use
x2 +y 2 + y 2 +z 2 + x2 +z 2
esto para demostrar que 6
2 2 2
x +y +z
Por los multiplicadores de Lagrange se resuelve f = g es decir
x x x
x2 +y2 + x2 +z 2 = x2 +y2 +z 2
y + y = y
x2 +y 2 y 2 +z 2 x2 +y 2 +z 2 (2.5.245)
z + x2z+z 2 = 2 z 2 2
y 2 +z 2 x +y +z
$
x2 + y 2 + z 2 = 1
por la cuarta ecuacin el sistema puede escribirse como (tambin se puede tomar x, y, z
diferentes cada uno de cero pues en tales valores como se ver no se alcanzara el mximo)
1 + x21+z 2 =
x2 +y 2
1 + 21 2 =
x2 +y 2 y +z (2.5.246)
1
+ 1 =
y 2 +z 2 2
x +z 2
$x2 + y 2 + z 2 = 1
o bien $ $
x2 + z 2 = y2 + z2 (2.5.248)
de ah que x2 = z 2 . De hecho, es fcil verificar que debe tenerse
x2 = y 2 = z 2 (2.5.249)
219
2 Diferenciacin y Optimizacin de Campos Escalares
2 (x + y + z) = 2 (x + y + z) (2.5.254)
220
2 Diferenciacin y Optimizacin de Campos Escalares
y finalmente
0 0 0
1 0 1 (2.5.259)
0 1 1
luego hay infinitas soluciones todas de la forma x = y = z = t. Sustituyendo en la cuarta
se tiene t2 = 13 y de esta forma f (x, y, z) = f (t, t, t) = 3t2 = 1 y tal valor es un candidato
para el mximo absoluto.
En el segundo x + y + z = 0 y elevando al cuadrado se tiene que x2 + y 2 + z 2 +
2 (xy + xz + yz) = 0 o bien usando la cuarta ecuacin xy + xz + yz = 12 y claramente
no servira como mximo absoluto sino como el mnimo absoluto.
De esta forma el mximo absoluto es 1 por lo que
xy + yz + xz 1 (2.5.260)
siempre que x2 + y 2 + z 2 = 1. Para probar la desigualdad original hay que ver que
xy + yz + xz
1 (2.5.261)
x2 + y 2 + z 2
tomando
x y z
u= $ v=$ w=$ (2.5.262)
x2 + y 2 + z 2 x2 + y 2 + z 2 x2 + y 2 + z 2
221
3 Integracin de Campos Escalares
Hay dos formas usuales en las que se puede interpretar el proceso de integracin. La
primera es similar a la interpretacin que se usa en una variable donde se quiere integrar
f (x) sobre el intervalo [a, b]. La idea es concebir que en el punto x f (x) es la altura de
b
la funcin por lo que a f (x)dx representa el rea bajo la curva. De la misma manera si
h = h(x, y) es una funcin de dos variables, entonces se puede pensar que en el punto
(x, y) h(x, y) es la altura sobre tal punto por lo que se buscara definir h(x, y)dxdy
como el volumen bajo la superficie que representa la funcin h. 1
1
la siguiente imagen fue hecha con el cdigo de la pgina
http://en.wikipedia.org/wiki/File:Volume_under_surface.png
222
3 Integracin de Campos Escalares
escoge un punto representativo de ,S(i), P (i) 2 . Luego sobre cada ,S(i), se aproxima
la masa que hay en esa regin como m(i) = (P (i)),S(i) por lo que la masa total es
aproximadamente igual a
n
B
m. (P (i)),S(i) (3.0.1)
i=1
2
Cdigo tomado de http://en.wikipedia.org/wiki/File:Surface_integral_illustration.png
223
3 Integracin de Campos Escalares
donde [a, b] es el intervalo en que el parmetro toma valores. Cualquiera de las dos
frmulas anteriores puede utilizarse para calcular el valor de la integral.
Ejemplo 81. Suponga que un cable tiene forma circular y que tal crculo es
de radio R y centrado en el origen (0, 0). Si la densidad del cable es (x, y) =
x4 + x2 y 2 calcule la masa total del cable.
Para utilizar 3.1.2 se ocupa una parametrizacin del crculo. Ya se ha estudiado que
una parametrizacin es
r(t) = R cos ti + R sin tj (3.1.3)
( (
( (
donde 0 t < 2. Para tal parametrizacin v = (v( = R. Luego como
3
Cuando se estudien las integrales de lneas se retomar este tema por lo que por ahora es nicamente
como motivacin
224
3 Integracin de Campos Escalares
Para parametrizar una superficie, es necesario dos parmetros, que por generalidad
se toman como u, v. Si se fija de los dos parmetros y se deja variar el otro se generan
curvas (que en la figura aparecen como las dos curvas verdes y las dos curvas mora-
das). Por ejemplo, suponga que la primera curva verde, donde se encuentran los puntos
P, Q corresponden a un valor v fijo mientras que la segunda curva verde donde est R
corresponde al valor v + ,v fijo.
En cambio, suponga que la primera curva morada donde se encuentran P y R corres-
ponden a un valor u fijo mientras que la segunda curva donde se encuentra el punto Q
corresponde a un valor u + ,u fijo. Es decir,
Ahora bien, la idea es que si ,u, ,v son lo suficientemente pequeos entonces el rea
que encierra la regin contenida entre esas cuatro curvas puede aproximarse por el rea
del paralelogramo con lados P R y P Q, es decir,
( (
( (
,S . (P R P Q( (3.2.2)
r(u, v)
P R = R P = r (u, v + ,v) r(u, v) = ,v (3.2.3)
v
r(u, v)
P Q = Q P = r (u + ,u, v) r(u, v) = ,u (3.2.4)
u
225
3 Integracin de Campos Escalares
por lo que
( r(u, v) r(u, v) (
( (
,S . ( (,u,v (3.2.5)
u v
Conforme la distancia entre las curvas sea menor la aproximacin va a ir mejorando y
se llega al siguiente resultado:
Esto responde la primera pregunta sobre cmo calcular los diferenciales de rea, la
segunda pregunta, que se refiere a cmo calcular la integral en s, viene dada a travs
del Teorema de Tonelli y el Teorema de Fubini.
226
3 Integracin de Campos Escalares
por lo tanto
r(u, v) x(u, v) y(u, v)
= i+ j (3.2.16)
u u u
r(u, v) x(u, v) y(u, v)
= i+ j (3.2.17)
v v v
en el plano es ms comn usar la notacin dA en vez de dS en 3.2.6 por lo que
( r(u, v) r(u, v) ( (& x(u, v) y(u, v) y(u, v) x(u, v) ' (
( ( ( (
dA = ( (=( k( (3.2.18)
u v u v u v
227
3 Integracin de Campos Escalares
(x, y) (( 1 0 ((
J(x, y) = =( (=1 (3.2.24)
(x, y) 0 1
es decir,
La integral de rea del campo escalar f (x, y) con respecto a las coordenadas cartesianas
es
f (x, y)dxdy (3.2.25)
228
3 Integracin de Campos Escalares
Aqu lo nico que hay que tener presente es que integrar con respecto una variable es
como la derivacin parcial, es decir, el resto de variables se consideran constantes. Por
lo tanto 2 & 1 ' 2& '
y 2 ((1
(4 x y)dy dx = 4y xy ( dx (3.2.28)
0 0 0 2 0
Lo cual es
2& ' 2& '
1 7 7 x2 ((x=2
4x dx = x dx = x ( =5 (3.2.29)
0 2 0 2 2 2 x=0
Es decir
zdA = 5 (3.2.30)
0 1 2
Muchas veces puede suceder que la regin de integracin no sea un rectngulo sino
que est determinada por dos curvas como se muestra en la siguiente figura.
229
3 Integracin de Campos Escalares
donde g1 (x), g2 (x) son dos funciones continuas (en la figura corresponden a las dos curvas
verdes). Aqu no se puede aplicar directamente el teorema de Fubini ya que R no es un
rectngulo, sin embargo, como solo interesan los valores de g1 , g2 sobre el intervalo [a, b],
existe un rectngulo [a, b] [c, d] que contiene a la regin tal como se muestra en la
figura. Luego se define la funcin f(x, y) como
%
f (x, y) si (x, y) R
f(x, y) = (3.2.32)
0 si si (x, y) /R
230
3 Integracin de Campos Escalares
1 (1,1)
(1,0)
0 1
(0,0)
231
3 Integracin de Campos Escalares
(x,y)
0 (x,0) 1
Luego
1 & x ' 1& '
y 2 ((x
z(x, y)dA = (3 x y)dy dx = 3y xy ( dx (3.2.37)
R 0 0 0 2 0
(y,y) (1,y)
0 1
232
3 Integracin de Campos Escalares
sin x
Ejemplo 84. Determine R x dA donde R es el tringulo del ejemplo an-
terior, es decir, el tringulo en el plano xy acotado por el eje x y las rectas
y = x y x = 1.
Como lmx0 sinx x = 1 la funcin es acotada por lo que se puede aplicar el teorema
de Fubini. Se pueden tomar los mismos lmites del ejemplo anterior por lo que hay que
calcular
1 & x ' 1& '
sin x ((x (1
1
sin x (
dy dx = y ( dy = sin xdx = cos x( = 1 cos 1
0 0 x 0 x 0 0 0
(3.2.41)
En cambio, si se hubiera usando la segunda versin 3.2.36 se hubiera tenido que calcular
1 & 1 '
sin x
dx dy (3.2.42)
0 y x
Ahora bien, esta integral no posee una antiderivada sencilla, lo cual significa que an
cuando en principio puede integrarse la funcin en cualquier orden en la prctica puede
ocurrir que solo sepa calcularse con un orden.
Es decir,
233
3 Integracin de Campos Escalares
dA = dd (3.2.45)
a axx2 adydx
Ejemplo 85. Evale la integral doble 0 0
a2 x2 y 2
La idea es integrar con respecto a las coordenadas polares pues el integrando se sim-
plifica mucho as como los lmites de integracin. Primero que todo hay que determinar
geomtricamente la regin de integracin. De los lmites de la integral iterada se tiene
que $
0xa 0 y ax x2 (3.2.48)
La primera desigualdad es clara, para que la segunda se vea ms fcilmente se eleva al
cuadrado
0 y 2 ax x2 (3.2.49)
y sumando x2 en toda la desigualdad se tiene que
x2 x2 + y 2 ax (3.2.50)
x2 = x2 + y 2 (3.2.51)
x2 + y 2 = ax (3.2.52)
234
3 Integracin de Campos Escalares
(a,0)
(0,0) (a/2,0)
Como se desea integrar con respecto a coordenadas polares, se cambian los lmites de
integracin con respecto a las variables , . Primero que todo es claro que
0 (3.2.54)
2
Tambin, de x2 + y 2 ax se obtiene que
a cos (3.2.55)
por lo que
. /
a axx2 a cos
a a
2
$ dA = $ d d (3.2.56)
0 0 a2 x2 y 2 0 0 a2 2
u = a2 2 du = 2d (3.2.57)
( , -
2 (2
=a (a a sin ) d = a ( + cos )( = a2
2
1 (3.2.59)
0 0 2
, xy
-2
Ejemplo 86. Evale R x+y+2 dxdy sobre la regin que se muestra a con-
tinuacin.
235
3 Integracin de Campos Escalares
1 0 1
Primero que todo, la regin est limitada por las cuatro rectas
x+y =1 xy =1
(3.2.60)
x + y = 1 x y = 1
Pues siempre se toma el valor absoluto para que el Jacobiano sea positivo. Por lo tanto
& '2 1 . 1 & '2 /
xy v 1
dA = du dv (3.2.64)
R x+y+2 1 1 u + 2 2
1 (1 & ' 1
1 1 1
(
= v 2 (u + 2)1 ( dv = 1 v 2 dv (3.2.65)
1 2 1 2 3 1
1 v 3 ((1 2
= ( = (3.2.66)
3 3 1 9
236
3 Integracin de Campos Escalares
2 , log x -
Ejemplo 87. Evale la integral doble 1 0 (x 1) 1 + e2y dy dx
Aqu resulta ms til
cambiar el orden de integracin ya que no se tiene una antide-
rivada conocida para 1 + e2y . De los lmites se tiene que
0 y log 2 ey x 2 (3.2.68)
237
3 Integracin de Campos Escalares
Por lo tanto
2 & log x ' . . //
$ 1 2+ 5 1, -
(x 1) 1+ e2y dy dx = 2 5 2 + log 5 52 2
1 0 2 1+ 2 6
(3.2.74)
2 2
Ejemplo 88. Calcule el rea de una elipse xa2 + yb2 = 1
Aqu se modifican ligeramente las coordenadas polares
x = a cos y = b sin (3.2.75)
Es fcil verificar que en este caso
dA = abdd (3.2.76)
x2 y2
Bajo estas coordenadas elpticas, la ecuacin de la elipse + b2 = 1 es simplemente a2
= 1 por lo que el rea es simplemente
2 & 1 '
A= dA = abd d = ab (3.2.77)
0 0
( (
2(2 2 2 2 (
= R (cos cos sin k + sin cos sin k sin sin j + cos sin i( (3.2.81)
0
2
=R cos2 sin4 + sin2 sin4 + cos2 sin2 = R2 sin (3.2.82)
Por lo tanto
dS = R2 sin dd (3.2.83)
Y de esta forma el rea superficial de la esfera es
2 & '
A= dS = R sin d d = 4R2
2
(3.2.84)
0 0
238
3 Integracin de Campos Escalares
Ahora bien, es posible generar curvas variando uno de los tres parmetros y fijando los
otros dos. En forma similar con las superficies, las curvas en este caso encerraran cubos
distorsionados como se muestra en la figura y la idea ser aproximar tales volumenes a
travs del volumen del paraleleppedo de lados P Q, P S, P R. Por lo tanto
( , -(
( (
,V .(P Q P S P R ( (3.3.1)
Igual que antes se toma en cuenta el desarrollo de Taylor de primer orden y se tiene que
r(u, v, w)
P Q = Q P = r (u + ,u, v, w) r(u, v, w) = ,u (3.3.3)
u
r(u, v, w)
P S = S P = r (u, v + ,v, w) r(u, v, w) = ,v (3.3.4)
v
r(u, v, w)
P R = R P = r (u, v, w + ,w) r(u, v, w) = ,w (3.3.5)
w
Por lo que
( r(u, v, w) & r(u, v, w) r(u, v, w) '(
( (
,V . ( (,u,v,w (3.3.6)
u v w
239
3 Integracin de Campos Escalares
Si r = x(u, v, w)i + y(u, v, w)j + z(u, v, w)k el diferencial de volumen tambin se puede
calcular como ( x x x (
( (
( u v w (
dV = (( u
y y
v
y (
w (
dudvdw J(u, v, w)dudvdw (3.3.8)
( z z z (
u v w
donde ahora J(u, v, w) es el Jacobiano en tres variables (en el caso de que el determinante
d negativo se toma el valor absoluto).
La integral de volumen de un campo escalar f se denotar como
f (u, v, w)dV (3.3.9)
V
El volumen de la regin es simplemente
V = dV (3.3.10)
Esto responde la primera pregunta sobre cmo calcular los diferenciales de volumen,
la segunda pregunta, que se refiere a cmo calcular la integral en s, al igual que para
las superficies, viene dada a travs del Teorema de Tonelli y el Teorema de Fubini.
240
3 Integracin de Campos Escalares
La integral de rea del campo escalar f (x, y, z) con respecto a las coordenadas cartesianas
es
f (x, y, z)dxdydz (3.3.15)
241
3 Integracin de Campos Escalares
tangular, se puede ajustar el Teorema de Fubini igual que en el caso del plano para
obtener
Antes de realizar algunos ejemplos, es bueno tener los diferenciales de volumen de las
coordenadas cilndricas y esfricas. Para las coordenadas cilndricas, se tiene
( ( ( (
( cos sin r cos cos r sin sin ( ( cos sin cos cos sin (
( ( ( (
= (( sin sin r sin cos r cos sin ( = r 2 sin ( sin sin sin cos cos
( (
(
(
( cos r sin 0 ( ( cos sin 0 (
(3.3.25)
M ( ( ( (N
( sin sin sin cos ( ( (
= r sin sin ((
2 ( cos ( cos sin cos cos (
cos sin ( ( cos sin (
(3.3.26)
242
3 Integracin de Campos Escalares
1 2
= r 2 sin sin2 + cos2 = r 2 sin (3.3.27)
Por lo tanto se ha obtenido lo siguiente:
dV = dddz (3.3.28)
Ejemplo 90. Calcular el volumen del slido T limitado por los paraboloides
z = x2 + y 2 , z = 4x2 + 4y 2 , el cilindro y = x2 y el plano y = 3x.
Por razones de comodidad se grafican por separado los dos paraboloides y el cilindro
y el plano tal como se indica en la siguientes figuras.
8
4
eje z
1
0.5
0
0.5
0.4 0.6 0.8 1
1 0.4 0.2 0 0.2
1 0.8 0.6
eje x eje y
243
3 Integracin de Campos Escalares
0.8
0.6
0.4
0.2
eje z
0.2
0.4
0.6
0.8
1
1
0.5
0.5
1 1 2 3
2 1 0
eje x 3
eje y
244
3 Integracin de Campos Escalares
0 2
3 ) * 3
16767
2 2 3 6
= 3x 3x x + 27x x dx = 36x3 3x4 x6 dx = (3.3.34)
0 0 35
Ejemplo 91. Obtener una integral triple en el orden dzdxdy que representa el
volumen del poliedro en el primer octante limitado por los planos x = 0 y =
0 z = 0 y por los planos x + y + z = 11, 2x + 4y + 3z = 36, 2x + 3z = 24.
Para encontrar los lmites de integracin es til tener un dibujo preliminar de los
planos tal como el de la siguiente figura.
245
3 Integracin de Campos Escalares
P1 : x + y + z = 11 P2 : 2x + 4y + 3z = 36 P3 : 2x + 3z = 24 (3.3.35)
Figura 3.3.7: Vista desde abajo de los planos, P1 rojo, P2 verde y P3 azul
Como el poliedro debe estar limitado por los planos x = 0 y = 0 z = 0 entonces tres
de sus caras siempre son esos planos. Luego de la figura se puede notar que el plano P2
246
3 Integracin de Campos Escalares
0y9 (3.3.36)
Luego sobre el plano xy los planos P1 , P2 se cortan en el punto (4, 7, 0) por lo que cuando
y va desde 0 a 7 el valor de x va desde 0 a x = 11 y y cuando y va desde 7 a 9 el valor
de x va desde 0 a 18 2y, es decir
%
0 x 11 y cuando 0 y 7
(3.3.37)
0 x 18 2y cuando 7 y 9
(0,0,8) (0,3,0)
(0,9,0)
(9,0,2)
(4,7,0)
(11,0,0)
247
3 Integracin de Campos Escalares
o bien
3+y x 9 3y x (3.3.40)
Para analizar mejor ambas desigualdades se van a considerar los casos 0 y 3 y
3 y 7. 4
Cuando 0 y 3 la primera desigualdad en 3.3.40 se cumple trivialmente por lo que
solo hay que preocuparse por la segunda. Por lo tanto
Q
0 z 11 x y 9 3y x 11 y 0 y 3 (3.3.41)
3+y x 9 3y x (3.3.47)
x 3 + y 3y (3.3.48)
4
Ver la figura al final del ejercicio
248
3 Integracin de Campos Escalares
dxdydz
Ejemplo 93. Use coordenadas esfricas para evaluar T (x2 +y 2 +z 2 )3/2 donde
T es el slido acotado por las esferas x2 + y 2 + z 2 = 4, x2 + y 2 + z 2 =
9 y el
semicono x2 + y 2 z 2 = 0, z 0.
Observe que en coordenadas esfricas las tres superficies pueden escribirse como r = 2,
r = 3 y sin2 = cos2 . Las tres ecuaciones anteriores poseen simetra en la coordenada
, es decir, no aparece en ninguna de las ecuaciones por lo que se puede pensar que
las superficies son superficies de revolucin a lo largo del eje z, de esta forma solo es
necesario trazar la regin de integracin sobre un plano como se indica en la figura.
249
3 Integracin de Campos Escalares
d2 ri
F i = mi (3.4.1)
dt2
sumando sobre todas las partcualas se tiene que
N
B B d2 ri
Fi = mi (3.4.2)
dt2
i=1
250
3 Integracin de Campos Escalares
usando el hecho de que la derivada es lineal, es decir, (f + g)' = f ' + g' se tiene en 3.4.2
que .N / .O /
N
d2 B d2 i=1 m i r i
F= 2 mi ri = M 2 (3.4.5)
dt dt M
i=1
251
3 Integracin de Campos Escalares
Li mi ri vi (3.4.14)
252
3 Integracin de Campos Escalares
derivando con respecto al tiempo la ecuacin anterior y usando la regla de Leibniz para
el productro cruz se tiene que
N N
dL B B
= mi (vi vi + ri ai ) = ri F i (3.4.18)
dt
i=1 i=1
Suponga ahora que cada partcula est girando a lo largo de un eje . En 1.4.25 se vio
que la velocidad de la partcula es
vi = ri (3.4.22)
r = r# + r (3.4.27)
253
3 Integracin de Campos Escalares
por lo que si ( (
r# (r# ( r |r | (3.4.30)
3.4.28 se vuelve
C D ) * )) * * ) *
r#2 + r
2
r#
r# 2
+ r = r r
r# (3.4.31)
De esta forma
) 2 * 1 x
L= dm x + y 2 + z 2 2 (x1 + y2 + z3 ) y (3.4.36)
3 z
254
3 Integracin de Campos Escalares
o bien
) 2 2 2
*
)x2 + y 2 + z 2 * 1 (x1 + y2 + z3 ) x
L= dm )x + y + z * 2 (x1 + y2 + z3 ) y (3.4.37)
x2 + y 2 + z 2 3 (x1 + y2 + z3 ) z
simplificando un poco
) *
y 2 + z 2 )1 xy
* 2 xz 3
L= dm xy1 + x2 + z 2) 2 yz * 3
(3.4.38)
2
xz1 yz2 + x + y 3 2
o bien
L = I (3.4.40)
donde I es el tensor de inercia
) 2 *
y + z 2 dm xydm
xzdm
I= xydm (x2+ z 2 )dm yzdm (3.4.41)
xzdm yzdm (x2 + y 2 )dm
255
3 Integracin de Campos Escalares
al utilizar el cambio de variable sugerido hay que analizar en que se transforman las
fronteras de la regin de integracin. Primero que todo se tiene que v 2 = y x por lo
que y = v 2 + x = v 2 + u por lo que la recta y = x + 1 se transforma en v 2 + u = u + 1 o
bien v 2 = 1 por lo que v = 1 ya que v = y x 0. Luego la parbola y = x2 + x se
convierte en v 2 + u = u2 + u o bien v = u. La regin con respecto al plano uv es
El jacobiano de la transformacin es
( ( ( (
( x xv ( ( 1 0 (
J = (( u (=(
( ( 1 2v
( = 2v
( (3.5.1)
yu yv
256
3 Integracin de Campos Escalares
0.5
0
z
0.5
1
1
0.5 1
0 0.5
0
0.5
0.5
1 1
y x
Se van a utilizar coordenadas esfricas para calcular el volumen. Es claro que hay
simetra en la coordenada ya que las ecuaciones de las superficies pueden escribirse
como cos2 = sin2 y r = 1. Luego se puede estudiar la regin de integracin en el plano
xz para obtener los lmites en r y .
257
3 Integracin de Campos Escalares
sin prdida de generalidad puede tomarse z0 0 por lo que hay que analizar nicamente
los casos 0 z0 r y r < z0 . Si 0 z0 r se tiene
& z0 R '
2
GM (r + z0 (z0 r)) rdr + (r + z0 (r z0 )) rdr (3.5.7)
z0 0 z0
& z 0 R ' & 3 '
4 4 z0 z0 ) 2 *
= GM r 2 dr + z0 rdr = GM + R z02 (3.5.8)
z0 0 z0 z0 3 2
2 ) *
= GM 3R2 z02 (3.5.9)
3
En el caso r < z0 se tiene
R
4 4 R3 GM
GM r 2 dr = GM = (3.5.10)
z0 0 z0 3 z0
En ambos casos, dado que la fuerza es F = V esto quiere decir que la fuerza es
equivalente a aquella producida por una nica masa puntual con masa igual a la masa
encerrada por el punto en que se quiere calcular la fuerza.
258
3 Integracin de Campos Escalares
(x2 +y2 )
Ejemplo 97. Considere la integral de Gauss Ia = De dxdy donde D
es el disco 2 2 2
x +-y a . a) Aplique coordenadas polares para demostrar que
, 2 2
Ia = 1 ea . b) Calcule 0 ex dx usando el valor de x2 y 2 dxdy
R2 e
a) En coordenadas polares se tiene que
2 & a ' a
r 2 2
Ia = e rdrd = 2 er rdr (3.5.11)
0 0 0
por lo que
2
ex dx = (3.5.16)
259
3 Integracin de Campos Escalares
0.8
0.6
z
0.4
0.2
0
1
1 0.5
0.5
0 0
0.5 0.5
1 1
y x
1
2 1
1
2 (1
2 (
= (z 1) dzd = (z 1)3 ( d = (3.5.20)
2 0 0 6 0 0 3
Por otro lado
2 1
1+z 2 1 & '( 2
2 ( 1+z
) * r4 r
T dV = r r 2 z 2 drdzd = 2 z2 ( dz
0 0
2z 0 4 2 (2z
(3.5.21)
.) *2 /
1 1 + z2 (1 + z 2 ) (2z)2 (2z)2
= 2 z2 + z2 dz (3.5.22)
0 4 2 4 2
1) 1) & '
* * 7 4 16
2 4 2 4 2 4 4 2
= 1 + 2z + z 2z 2z 4z + 8z dz = 7z 4z + 1 dz = +1 =
2 0 2 0 2 5 3 30
(3.5.23)
260
3 Integracin de Campos Escalares
Luego
16
7T 8 = (3.5.24)
10
$
Ejemplo 99. Sea R la regin acotada por las superficies z = x2 + y 2 , z =
2 x2 y 2 . Escriba las integrales triples en coordenadas cilndricas, corres-
pondientes al volumen de esta regin segn el orden dzdrd y drdzd
Las superficies corresponden a un cono y un paraboloide respectivamente.
z + 2*x^2 + 2*y^2 2 = 0
0
z
2
3
3 2
3 1
2 0
1
0 1
1 2
2
3 3
y
x
261
3 Integracin de Campos Escalares
Luego el volumen es
2 1 2r 2
V = rdzdrd (3.5.26)
0 0 r
Para realizar la integral en el orden drdzd se tiene primero que todo
0 2 0z2 (3.5.27)
Luego
2 1 z 2 2 2z
V = rdzdrd + rdzdrd (3.5.29)
0 0 0 0 1 0
3+cos(2x)
Ejemplo 100. Considere la integral doble I = 0 sin x f (x, y)dydx. a) Dibuje
la regin R que corresponde al dominio de integracin de I. b) Cambie el
orden de integracin al nuevo orden dxdy
a) Se tiene que 0 x y sin x y 3 + cos (2x). La regin de integracin
corresponde a la de la figura siguiente
b) Para cambiar los lmites de integracin primero que todo es claro que 0 y 4.
Para los lmites en x es claro que hay que considerar las regiones 0 y 1, 1 y 2,
2 y 4. Se debe usar el hecho de que sin ( ) = sin () y cos (2 ) = cos ().
De esta forma si se toma arcsin con dominio entre 0 y 2 se tiene
262
3 Integracin de Campos Escalares
1y2 0x (3.5.31)
1 1
2y4 0x arc cos (y 3) arc cos (y 3) x (3.5.32)
2 2
De esta forma la integral es
1 arcsin y 1 arcsin y arc cos(y3)
2 4 2
4
f dxdy+ f dxdy+ f dxdy+ f dxdy+ f dxdy
arc cos(y3)
0 0 0 0 1 0 2 0 2 2
(3.5.33)
xy+y2
Ejemplo 101. Considere la integral I = T x3 dxdydz donde T es la regin
en el primer octante del espacio xyz que se encuentra directamente bajo el
plano x + y + z = 2 y directamente arriba del trapecio en el plano xy limitado
por las rectas x+y = 1 , x+y = 2, y = 0, y = x . Se aplica el cambio de variables
v vw
x = 1+w , y = 1+w , z =uv
Primero que todo el plano x + y + z = 2 interseca el plano xy cuando z = 0, es decir,
cuando x + y = 2. Luego sobre el plano xy la regin de integracin se ve como en la
figura siguiente
v vw
Con el cambio de variable x = 1+w , y = 1+w , z = u v la recta x + y = 1 se convierte
v vw
en 1+w + 1+w = 1 o bien v = 1. De la misma forma la recta x + y = 2 se convierte en
vw
v = 2. La recta y = 0 se convierte en 1+w = 0 pero como v (= 0 pues x (= 0 se tiene que
el lmite corresponde a la recta w = 0. De la misma forma, la recta y = x se convierte
v vw
en 1+w = 1+w o bien w = 1. Finalmente, el plano z = 0 se convierte en u = v mientras
v vw
que el plano x + y + z = 2 se convierte en 1+w + 1+w + u v = 2 o bien u = 2. Los
lmites son entonces
1v2 0w1 vu2 (3.5.34)
Ahora debe calcularse el Jacobiano
( ( (( 0 1 v
(1+w)
(
(
( xu xv xw ( ( 1+w , 2
- ((
( ( (
J(u, v, w) = (( yu yv yw (=( 0
( (
w
1+w v 1+ww
(1+w)2
( (3.5.35)
( zu zv zw ( ( (
1 1 0 (
263
3 Integracin de Campos Escalares
( (
( 0 1 1 (
v ( ( v
= ( 0 w 1 (= (3.5.36)
3 (
(1 + w) ( 1 1 0 (( (1 + w)2
A su vez,
vw
xy + y 2 y(x + y) 1+w (v) w (1 + w)2
= = , -3 = (3.5.37)
x3 x3 v v
1+w
Ejemplo 102. Considere el volumen del cuerpo slido limitado por la esfera
x2 + y 2 + z 2 = 4 y la parte interna del paraboloide x2 + y 2 = 3z. a) Escriba la
integral o sumas de integrales triples en coordenadas cilndricas, en el orden
dzdrd correspondiente al volumen del slido anterior. b) Escriba la integral
o sumas de integrales triples en coordenadas esfricas, en el orden drdd
correspondiente al volumen del slido anterior donde es el ngulo polar y
el azimutal.
La regin corresponde a la figura siguiente
x^2 3*z + y^2 = 0
2.5
1.5
0.5
z
0.5
1 2
1.5 0
2
2
3 2 1 0 1 2 3 x
y
264
3 Integracin de Campos Escalares
0 2 (3.5.40)
Finalmente,
r2 $
z 4 r2 (3.5.42)
3
De esta forma el volumen es
2 3 4r 2
V = rdzdrd (3.5.43)
r2
0 0 3
0 2 (3.5.44)
265
3 Integracin de Campos Escalares
De esta forma
1
J(u, v) = (3.5.51)
2v
266
3 Integracin de Campos Escalares
$u
por lo que dado que y = uv y x = v la integral se convierte en
3 (
2 2& ' 2, - u 32 (2
u 1
32 21 (
+ uv dudv = v +v ( dv (3.5.52)
1 1 v 2v 1 3 (
1
1, - 2, 3 - 1, -, -(
1 (2 2, - & 1
'
2 12 12
= 2 21 v +v dv = 2 2 1 2v + 2v ( =
2 2 21 2
3 1 3 1 3 2
(3.5.53)
0
z
3
1
Usando esfricas x = r sin cos , y = r sin sin , z = r cos se tiene que los lmites
de la regin se escriben en coordenadas esfricas como
1
r 2 sin2 = r=1 (3.5.54)
2
267
3 Integracin de Campos Escalares
Para escribir la integral en el orden drdd se tiene primero que todo que
0 2 (3.5.55)
268
3 Integracin de Campos Escalares
Para escribir en funcin de r, hay que imaginar que se fija una esfera de radio r, que
en la figura de arriba se vera como un crculo de radio r. Hay dos casos importantes,
los cuales se muestran en la siguiente figura.
269
4 Integracin de Campos Vectoriales
4.1. Campos Conservativos e Integrales de Lnea
En el tema anterior se estudiaron las integrales de campos escalares sobre curvas,
superficies o regiones volumtricas. Ahora se va a buscar extender el concepto de inte-
gracin para los campos vectoriales. Al igual que para los campos escalares, tiene sentido
intentar definir la integracin de un campo vectorial para una curva, una superficie o
una regin volumtrica.
En el caso de una curva, conviene pensar nuevamente en una curva como la trayectoria
de una partcula. Si se considera que la partcula est bajo la influencia de una fuerza F
entonces en cada punto de la trayectoria se puede indicar la fuerza que acta sobre la
partcula, es decir, F sera un campo vectorial a lo largo de la curva. Suponga que se tiene
una parametrizacin r(t) de la curva. En tal situacin fsica se sabe que el diferencial de
trabajo W que realiza la fuerza sobre la partcula es
& '
dr
W = F dr = F dt (4.1.1)
dt
Luego, si el parmetro t toma valores de t1 a t2 tiene sentido definir el trabajo total
como t2
W = W = F vdt (4.1.2)
t1
La integral anterior se conoce como la integral de lnea del campo F.
270
4 Integracin de Campos Vectoriales
Ejemplo
) * 105. Encuentre el trabajo realizado por F = (y x2 )i + (z y 2 )j +
x z 2 k sobre la curva r(t) = ti + t2 j + t3 k con 0 t 1.
En este caso el campo est definido sobre todo el espacio pero solo interesa saber sus
valores sobre la curva r(t). Sobre la curva se tiene
x=t y = t2 z = t3 (4.1.6)
& '
2 5 2 6 3 4 3 9 29
= t t + t t |10 = (4.1.11)
5 6 4 9 60
271
4 Integracin de Campos Vectoriales
0.9
0.8
0.7
0.6
eje z
0.5
0.4
0.3
0.2
0.1
0
0 0.2 1
0.4 0.6 0.8
0.6 0.8 0.4
1 0 0.2
eje y
eje x
Ejemplo 106. Calcule el trabajo realizado sobre una partcula que va del
punto (0, 0) al punto (3, 3) a lo largo de dos trayectorias C1 , C2 indicadas en la
figura. Tome F = (x2 y + 1)i
(0,3) (3, 3)
3 C1,2
2
C1,1 C2,2
C2,1 (3, 0)
(0,0) 0 1 2 3
Hay que parametrizar las dos curvas C1 , C2 . Para parametrizar la curva C1 se divide
en dos fragmentos, el primero es el segmento que va de (0, 0) a (0, 3) (que en la figura
aparece como C1,1 ) y el segundo fragmento es el segmento que va desde (0, 3) a (3, 3)
(que aparece en la figura como C1,2 ).
Sobre C1,1 se tiene x = 0 y se puede usar y como parmetro, es decir
272
4 Integracin de Campos Vectoriales
273
4 Integracin de Campos Vectoriales
Como se puede observar del ejemplo anterior, el trabajo realizado sobre una partcula
puede depender de la trayectoria que la partcula tome para ir de un punto al otro.
Resulta importantente investigar que condiciones deben cumplirse para poder garanti-
zar que el trabajo no dependa de la trayectoria. Para determinar tales condiciones es
importante recordar el Teorema Fundamental del Clculo, el cual establece que para una
funcin f diferenciable sobre un intervalo (a, b)
b
df
dt = f (b) f (a) (4.1.30)
a dt
W = F dr (4.1.31)
Si bien esta expresin no haba sido vista antes, si se estudi antes una muy similar en
el tema de campos escalares T (x, y, z). En ese momento se vio que
dT = T dr (4.1.32)
Suponga que se tiene una curva C que une los puntos P y Q y r(t) es una parametrizacin
de la curva que cumple r(a) = P y r(b) = Q . Para el campo vectorial F = T se tendra
que
dT
W = F dr = T dr = dT = dt (4.1.33)
dt
As, el trabajo a lo largo de la curva C es gracias al Teorema Fundamental del Clculo
b
dT
W = dt = T (r(b)) T (r(a)) = T (Q) T (P ) (4.1.34)
C a dt
274
4 Integracin de Campos Vectoriales
Es decir, el trabajo por el campo vectorial depende nicamente de los puntos inicia-
les y finales de la trayectoria y no de la trayectoria particular. Tal campo se llamar
conservativo.
F = V (4.1.35)
F = Vfsica (4.1.36)
F = V (4.1.38)
entonces
F = V = (V + c) (4.1.39)
donde c es una constante, es decir, V + c tambin funciona como un potencial. De
aqu se sigue que el potencial escalar en general no es nico, sino que est definido
hasta una constante (un ejemplo conocido de este fenmeno es que la energa potencial
gravitacional debe especificarse con respecto a un nivel de referencia arbitrario). Tal
libertad en la escogencia de la funcin potencial se conoce como libertad gauge.
Para lo que sigue se realizarn las siguientes suposiciones sobre los campos vectoriales
y las regiones que contienen las curvas.
275
4 Integracin de Campos Vectoriales
! Se supondr que las curvas son suaves a trozos, es decir, solo en un nmero finito
de puntos no es diferenciable la curva
! Se supondr que los campos vectoriales F son de clase C 1 , es decir, las componentes
del campo tiene primeras derivadas continuas.
! La regin debe ser adems simplemente conexa, es decir, cualesquiera dos puntos
sobre la regin pueden unirse por una curva continua y cualquier curva cerrada
puede encongerse a un punto.
1. La integral de lnea del campo sobre una curva solo depende del punto inicial y
final sobre la curva
2. La integral de lnea del campo sobre una curva cerrada es cero, es decir,
F dr = 0 (4.1.40)
F = V (4.1.41)
276
4 Integracin de Campos Vectoriales
Por otro lado, si F dr = 0 para cualquier curva cerrada entonces hay que mostrar
por lo que
F dr = F dr = F dr (4.1.46)
C2 C1 C1
y esto es lo que quera mostrarse.
Finalmente suponga que se cumplen cualquiera de las dos primeras condiciones (pues
son equivalentes), ahora se va a construir un campo escalar tal que F =V . Se va a
aprovechar el hecho de que tendra que cumplirse 4.1.37, es decir,
Q
V (Q) V (P ) = F dr (4.1.47)
P
Dado que el potencial est definido hasta una constante, se va a escoger un punto P fijo
y definir el valor del potencial en tal punto como cero, es decir,
V (P ) 0 (4.1.48)
Si Q = (x, y, z) entonces se define
(x,y,z)
V (x, y, z) F dr (4.1.49)
P
277
4 Integracin de Campos Vectoriales
donde C1 es la curva de (0, 0, 0) a (x, 0, 0), C2 la curva de (x, 0, 0) a (x, y, 0)y C3 la curva
de (x, y, 0) a (x, y, z).
Sobre C1 se parametriza como
Luego si F = F1 i + F2 j + F3 k se tiene
x
F dr = F1 (t, 0, 0)dt (4.1.52)
C1 0
Luego y
F dr = F2 (x, t, 0)dt (4.1.54)
C2 0
r3 (t) = xi + yj + tk 0 t z (4.1.55)
Luego z
F dr = F3 (x, y, t)dt (4.1.56)
C3 0
(x,y,z)
C3
(0,0,0)
C1
(x,0,0) (x,y,0)
C2
Por lo tanto,
x y z
V (x, y, z) = F1 (t, 0, 0)dt + F2 (x, t, 0)dt + F3 (x, y, t)dt (4.1.57)
0 0 0
278
4 Integracin de Campos Vectoriales
Se va a verificar que V
z = F3 y las otras igualdades se obtienen en forma similar (para
verificar las otras relaciones pueden escogerse otras curvas para facilitar los clculos).
Primero que todo
V (x, y, z + ,z) =
x y z+&z (4.1.58)
0 F1 (t, 0, 0)dt + 0 F2 (x, t, 0)dt + 0 F3 (x, y, t)dt
Por lo tanto
z+&z
V (x, y, z + ,z) V (x, y, z) = z F3 (x, y, t)dt (4.1.59)
Se realiza el cambio de variable t = z + u,z por lo que
z+&z 1
F3 (x, y, t)dt = ,z F3 (x, y, z + u,z)du (4.1.60)
z 0
Por lo tanto
1
V (x, y, z + ,z) V (x, y, z)
= F3 (x, y, z + u,z)du (4.1.61)
,z 0
Por Taylor
F3 (x, y, z)
F3 (x, y, z + u,z) . F3 (x, y, z) + u,z (4.1.62)
z
Finalmente
V (x, y, z + ,z) V (x, y, z) 1 F3 (x, y, z)
= F3 (x, y, z) + ,z (4.1.63)
,z 2 z
y tomando ,z 0 se obtiene lo que se quera.
Gracias al resultado anterior, cada vez que se tenga un campo conservativo, puede
pensarse que es de la forma F = V . As, si F = F1 i + F2 j + F3 k como V = Vx i +
V V
y j + z k se pueden igualar las componentes respectivas y se tendra el sistema de
ecuaciones diferenciales
V V V
= F1 = F2 = F3 (4.1.64)
x y z
Por lo tanto, para hallar algn potencial escalar para el campo se intentar resolver el
sistema anterior de ecuaciones diferenciales.
) *
Ejemplo
) 107.
* Halle los potenciales escalares para el campo F = x + y 2 i +
2xy + 3y 2 j + k.
Por lo comentado antes se intentar resolver el sistema
V V V
= x + y2 = 2xy + 3y 2 =1 (4.1.65)
=x >? @ y =z>? @
= >? @
(1) (2) (3)
279
4 Integracin de Campos Vectoriales
x2
V = + y 2 x + f (y, z) (4.1.66)
2
observe que en vez de utilizar una constante c se pone como constante una funcin f (y, z)
pues al integrar con respecto a x se trat a y, z como constantes. Luego
V f (y, z)
= 2yx + (4.1.67)
y y
f (y, z)
= 3y 2 (4.1.68)
y
por lo tanto integrando con respecto a y
donde g(z) es una funcin que toma el papel de la constante. De esta forma
x2
V = + xy 2 + y 3 + g(z) (4.1.70)
2
y comparando con (3) se obtiene que
dg
=1 (4.1.71)
dz
e integrando con respecto a z se obtiene
g =z+c (4.1.72)
donde ahora c s es una constante. De esta forma, los potenciales escalares son
x2
V = + xy 2 + y 3 + z + c (4.1.73)
2
Es fcil verificar que F = V .
280
4 Integracin de Campos Vectoriales
z2 z2
= c + ex 1 + ex (cos y 1) + xyz + = ex cos y + xyz + +C (4.1.77)
2 2
donde se ha definido C = c 1. Es sencillo verificar que en efecto F = V .
281
4 Integracin de Campos Vectoriales
El ejemplo anterior demuestra que en general intentar resolver 4.1.64 puede ser poco
fructfero a menos que se tenga de antemano un criterio para determinar si el campo es
conservativo o no. Para encontrar un criterio que resulte til en la prctica, primero que
todo hay que recordar que si F = F1 i + F2 j + F3 k y dr = dxi + dyj + dzk entonces el
diferencial de trabajo era
W = F dr = F1 dx + F2 dy + F3 dz (4.1.86)
WF = F1 dx + F2 dy + F3 dz (4.1.88)
282
4 Integracin de Campos Vectoriales
4.1.92 son una condicin necesaria para que un campo vectorial sea conservativo. Lo
que es de fundamental importancia es que bajo las hiptesis adecuadas, esta condicin
tambin es suficiente, es decir,
Si se tiene una regin del espacio simplemente conexa, abierta y un campo vectorial F
de clase C 1 entonces el campo F es conservativo si y solo si
F1 = F2 F3 = F2 F3 = F1 (4.1.93)
y x y z x z
Si el campo solo est definido sobre el plano, es decir, F = F1 i + F2 j solo hay que verificar
F1 = F2 (4.1.94)
y x
Ejemplo 110. Evale la integral C ydx + xdy + 4dz sobre el segmento de recta
desde (1, 1, 1) hasta (2, 3, 1).
Observe que el campo vectorial asociado a la 1-forma es
F = yi + xj + 4k (4.1.95)
V = 4z + f (x, y) (4.1.100)
Luego
V f (x, y)
= (4.1.101)
y y
283
4 Integracin de Campos Vectoriales
f (x, y)
=x (4.1.102)
y
integrando con respecto a y
f (x, y) = xy + g(x) (4.1.103)
por lo que
V = 4z + xy + g(x) (4.1.104)
y derivando con respecto a x
V g
=y+ (4.1.105)
x x
comparando con (1) se obtiene que
g(x) = c (4.1.106)
V (x, y, z) = 4z + xy + c (4.1.107)
De esta forma la integral de lnea solo depende los extremos de la trayectoria por lo que
ydx + xdy + 4dz = dV = V (2, 3, 1) V (1, 1, 1) = 3 (4.1.109)
C C
Una forma til para visualizar los campos vectoriales es a travs del concepto de una
lnea de campo (o curvas integrales ).
Suponga que se tiene una curva r(t), entonces la curva es una lnea de campo si el vector
velocidad de la curva r (t) es igual al valor del campo en el punto r(t), es decir,
Dicho de otra forma, una lnea de campo es una curva cuya tangente da la direccin del
campo vectorial en un punto dado.
284
4 Integracin de Campos Vectoriales
Ejemplo 111. Calcule las lneas de campo del campo vectorial F = xi + yj.
Hay que resolver el sistema de ecuaciones
dx dy
= x =y (4.1.111)
dt dt
Observe que se puede hallar el dt como
dx dy
dt = = (4.1.112)
x y
Por lo tanto, el sistema
dx dy
= (4.1.113)
x y
puede resolverse fcilmente pues es un sistema de ecuaciones diferenciales separable,
tiene solucin
log x = log y + C (4.1.114)
o bien
xy = C ' (4.1.115)
donde C ' es otra constante.
2
1.5
0.5
0.5
1.5
2
2 1.5 1 0.5 0 0.5 1 1.5 2
F = V (4.1.116)
Entonces si r(t) es una lnea de campo por 2.3.92 la derivada material del potencial es
DV V
= + (V ) v (4.1.117)
Dt t
285
4 Integracin de Campos Vectoriales
como la curva es una lnea de campo se puede usar 4.1.110 y el hecho de que el campo
es conservativo para obtener
DV V
= + |F|2 (4.1.118)
Dt t
V
por lo tanto, si t = 0 se tiene que
DV
>0 (4.1.119)
Dt
Esto quiere decir que el valor del potencial incrementa a lo largo de las lneas de campo.
Por lo tanto no pueden haber lneas de campo que sean cerradas pues el valor del poten-
cial necesariamente tendra que disminuir en algn momento. Ms an, las superficies
equipotenciales
V = constante (4.1.120)
tienen por vector normal a la superficie el vector V que es precisamente el vector de
las lneas de campo, es decir, las lneas de campo siguen la direccin de los vectores
perpendiculares a las superficies equipotenciales.
Por el ejemplo, el campo elctrico que produce una partcula con carga q centrada en
el origen es
q er
E= (4.1.121)
40 r 2
donde er es el vector unitario en coordenadas esfricas y r = |r|. Es un buen ejercicio
verificar que & '
q 1
E = (4.1.122)
40 r
por lo que el campo elctrico es conservativo. La discusin anterior implica que:
1. Las lneas de campo elctrico producido por una partcula puntual en reposo nunca
pueden ser cerradas
2. Dados que las superficies equipotenciales son esferas centradas en el origen, las
lneas de campo son rayos que pasan por el origen.
286
4 Integracin de Campos Vectoriales
donde se utiliza para indicar que la curva es una curva cerrada. Ahora bien, por la
287
4 Integracin de Campos Vectoriales
(x,y+&y) C3
C4
(x,y)
(x-&x,y) (x+&x,y)
C2
(x,y-&y) C1
Es claro que
F dr = F dr + F dr + F dr + F dr (4.2.3)
C C1 C2 C3 C4
por lo tanto
x+&x y+&y x&x y&y
F dr = F1 dt + F2 dt + F1 dt + F2 dt (4.2.5)
C x&x y&y x+&x y+&y
Ahora se aproximar el valor de cada integral por el valor sobre el punto medio de cada
lado, es decir,
C F dr . F1 (x, y ,y)(2,x) + F2 (x + ,x, y) (2,y) (4.2.6)
F1 (x, y + ,y) (2,x) F2 (x ,x, y)(2,y)
Por lo tanto
F dr . (F1 (x, y ,y) F1 (x, y + ,y)) (2,x)
C (4.2.7)
+ (F2 (x + ,x, y) F2 (x ,x, y)) (2,y)
Luego se realiza una expansin de Taylor de primer orden alrededor de (x, y) y se obtiene
M N
F1 (x, y) F2 (x, y)
F dr . 4 + ,x,y (4.2.8)
C y x
288
4 Integracin de Campos Vectoriales
Luego, como el rea del rectngulo es 4,x,y esto significa que la circulacin por unidad
de rea es
F2 (x, y) F1 (x, y) C F dr
= lm (4.2.9)
x y &A0 ,A
Observe que los clculos anteriores tambin podran realizarse sobre rectngulos sobre
el plano xz o yz, de hecho, tomando 4.2.9 como prototipo, se define el rotacional (o
vorticidad) de un campo vectorial de la siguiente forma:
289
4 Integracin de Campos Vectoriales
2.5
1.5
0.5
0.5
1.5
2.5
2.5 2 1.5 1 0.5 0 0.5 1 1.5 2 2.5
2.5
1.5
0.5
0.5
1.5
2.5
2.5 2 1.5 1 0.5 0 0.5 1 1.5 2 2.5
Ambos campos vectoriales se ven que estn girando por lo que podra pensarse que el
rotacional debe ser diferente del vector nulo en ambos casos. Sin embargo, se tiene que
& '
x (y)
F= k = 2k (4.2.12)
x y
290
4 Integracin de Campos Vectoriales
Primero que todo, el clculo sobre el rectngulo de lados ,x, ,y implica que
F dr = ( F) ndS (4.2.17)
R1 R2
R3 R4
291
4 Integracin de Campos Vectoriales
F dr = F dr + F dr + F dr + F dr (4.2.18)
C C1 C2 C3 C4
ya que se cancelan las contribuciones de las curvas internas al ser recorridas en direcciones
contrarias. Luego suponiendo que los rectngulos internos son pequeos puede aplicarse
4.2.17 y se obtiene que
C F dr
=
R1 ( F) ndS + R2 ( F) ndS + R3 ( F) ndS + R4 ( F) ndS
= R ( F) ndS
(4.2.19)
Luego, una regin general puede dividirse en rectngulos donde se razonara en forma
anloga a la anterior y se obtiene el Teorema de Green (forma tangencial)
Suponga que R es una regin en el plano abierta, acotada y simplemente conexa y que
F es un campo vectorial de clase C 1 definido sobre R. Entonces, si C es la curva que
sirve como la frontera de R y C es una curva cerrada y simple entonces
F dr = ( F) ndS (4.2.20)
C R
292
4 Integracin de Campos Vectoriales
) 2 *
Ejemplo 114. Use el teorema de Green para calcular x + y 2 dx+xydy donde
la curva consiste del arco de parbola y = x2 , desde (0, 0) hasta A = (2, 4) , el
segmento rectilneo desde A a B = (0, 4) y el segmento rectilneo desde B a O.
La curva donde se calcula la integral de lnea es la siguiente
1
ydx + xdy = dxdy = A (4.2.25)
2 R
por lo tanto
293
4 Integracin de Campos Vectoriales
El rea de una regin R se puede calcular a travs del teorema de Green como
1
A= dxdy = ydx + xdy (4.2.26)
R 2
Donde la integral de lnea se realiza sobre la curva C que rodea a R. C se supone cerrada
y simple.
En el Teorema de Green aparecen dos integrales, una sobre una curva y otra sobre
una regin del plano. La curva que aparece es de alguna forma la frontera de la regin,
sin embargo, el tipo de frontera al que se refiere la frontera en el Teorema de Green no
siempre coincide con la frontera topolgica mencionada en la seccin de topologa, por
lo que es importante hacer tal diferencia.
Para esto es til introducir un poco de terminologa. Una variedad n-dimensional M
es un objeto geomtrico que localmente se parece como Rn , es decir, un habitante que
vive sobre M que solo conoce M en una regin lo suficientemente pequea no podra
percatarse de que no vive en Rn . 1
Por ejemplo, una variedad 1-dimensional es una regin del espacio se vera como R para
un habitante de la variedad, es decir, una variedad 1-dimensional es algo que si se est
lo suficientemente cerca se vera como una lnea recta. Ahora bien, bajo la descripcin
anterior las curvas2 son precisamente variedades 1-dimensionales ya que vistas con lupa
se parecen cada vez ms a un pedazo de recta. Por lo tanto, las curvas son variedades
1-dimensionales.
Ahora bien, de la definicin de frontera topolgica se sigue que la frontera topolgica
de una curva es ella misma, puesto que cada bola centrada sobre la curva interseca tanto
a la curva como su exterior. Sin embargo, el concepto de frontera que interesa en este
momento, no es el de frontera topolgica sino el de frontera de la variedad.
1
Obviamente esta descripcin no es muy satisfactoria pues no se especifican cuales propiedades del
espacio son las que no puede diferenciar. Bsicamente, la idea es que localmente la topologa de la
variedad es la misma que la de Rn aunque quizs globalmente no poseeran la misma topologa.
2
Tales curvas no deberan intersecarse pues si se intersecaran en el punto de interseccin no se vera el
espacio como una lnea recta sino como una Y
294
4 Integracin de Campos Vectoriales
Al igual que 4.2.30 el Teorema de Green quiere decir que la integral de una funcin
sobre la frontera de la variedad es igual al valor de cierta derivada de la funcin sobre
la variedad. Como se ver a continuacin, el Teorema de Stokes y el de la Divergencia
tienen exactamente la misma estructura.
Antes de enunciar el Teorema de Stokes, el siguiente ejemplo ilustra la importancia
de que la regin de integracin tenga propiedades topolgicas deseables.
Considere el campo F = yi+xj
x2 +y 2
. En un ejemplo anterior se haba calculado que F =
0. Por lo tanto, el lado derecho de 4.2.20 debera ser cero siempre. Sin embargo, si calcula
3
Aqu hay cierto abuso lingustico pues en este caso la frontera solo cuenta de dos puntos por lo que
estrictamente no se est calculando una integral pero en los casos que siguen este va a ser el caso
4
Nuevamente no todas las superficies califican pero como esta discusin es con fines ilustrativos no se
entrar en mucho detalle
295
4 Integracin de Campos Vectoriales
el trabajo o circulacin del campo a lo largo del crculo de radio 1 en el origen se tiene
que con r () = cos i + sin j
2
F dr = | sin i + cos j|2 d = 2 (4.2.32)
S1 0
lo cual parece estar en contradiccin con el hecho de que el lado izquierdo de 4.2.20 es
cero. La inconsistencia se debe a que el campo vectorial posee una singularidad en el
origen, es decir, su valor explota en tal punto, por lo que el campo est definido sobre el
todo el disco de radio 1 excepto el origen, y esta regin no es simplemenete conexa por
lo cual no se puede aplicar el Teorema de Green.
Ahora bien, si el campo vectorial por lo menos est definido sobre el espacio, es posible
ajustar el Teorema de Green para regiones que no sean simplemente conexas.
Por ejemplo, para aplicar el Teorema de Green sobre la regin R de la figura anterior
se utiliza como regin R = R R1 R2 pues R es simplemente conexa. Por lo tanto
R ( F) ndS = (4.2.33)
R ( F) ndS R1 ( F) ndS R2 ( F) ndS
Luego, dado que cada regin R , R1 , R2 es simplemente conexa se puede aplicar el Teo-
rema de Green individualmente para obtener
R ( F) ndS = C0 F dr C1 F dr C2 F dr (4.2.34)
= C0 C1 C2 F dr
296
4 Integracin de Campos Vectoriales
superficie est definida por una ecuacin como f (x, y, z) = 0 entonces puede tomarse n =
f
|f | . En cambio, si la superficie est parametrizada con parmetros u, v, puede tomarse
r r
v
n = u
r . Sin embargo, esto no garantiza que al recorrer la superficie el vector
r
| u
|v
normal pueda anularse en algn punto lo cual traera como consecuencia la imposibilidad
de definir dos caras para la superficie; el ejemplo ms conocido del fenmeno anterior
es la cinta de Mobius, que puede construirse uniendo dos lados de una hoja de papel,
solo que antes de pegarlos se le da medio giro a la hoja. 5
5
La siguiente imagen fue realizada con el cdigo de la pgina
http://www.mathworks.com/matlabcentral/fileexchange/643-mobius-band
297
4 Integracin de Campos Vectoriales
f
n= (4.2.35)
|f |
Observe que con 4.2.37 se puede expresar que un campo vectorial sea conservativo
sobre una regin simplemente conexa de forma ms compacta:
Si F es un campo vectorial sobre una regin simplemente conexa, entonces las condiciones
4.1.93 para que el campo vectorial sea conservativo son equivalentes a
F=0 (4.2.38)
Ejemplo 116. Aplicando el teorema de Stokes, calcular I = S ( F) ndS
donde F = yi + xj + (y + z) k donde S es la porcin de la superficie 2x + y + z = 2
situada en el primer octante y n es el vector normal unitario a la superficie,
con componente z no negativa.
Claramente se puede tomar
2 1 1
n= i+ j+ k (4.2.39)
6 6 6
por el teorema de Stokes
( F) ndS = F dr (4.2.40)
S
298
4 Integracin de Campos Vectoriales
C y
299
4 Integracin de Campos Vectoriales
F = y 3 i + x3 j z 3 k (4.2.45)
) *
Como F = 3 x2 + y 2 k el nico compoente del rotacional es a lo largo del eje z. Por
otro lado, como en general n = n1 i + n2 j + n3 k se tiene que por el teorema de
) Stokes *solo
interesa la componente en z del vector normal puesto que ( F) n = 3 x2 + y 2 n3 .
Ahora bien, de la figura
x+y+z1=0
0
z
3 2
3 0
2 1 0 1 2 2
3
y
x
se puede tomar como superficie el disco cuya frontera coincide con la elipse azul. En
tal caso dado que el disco se encuentra sobre el plano puede tomarse
1 1 1
n= i+ j+ j (4.2.46)
3 3 3
es es claro que puede tomarse x, y como parmetros ya que para el disco
por lo que
r r
= (1, 0, 1) (0, 1, 1) = (1, 1, 1) (4.2.48)
x y
luego se toma
1
n3 = (4.2.49)
3
300
4 Integracin de Campos Vectoriales
por lo que
) 2 *
3 3 3
y dx + x dy z dz = 3 x + y 2 dxdy (4.2.52)
C
de esta forma se ha reducido el problema al de encontrar los valores que toman las
coordenadas x, y. Sin embargo, es claro que tales valores son todos aquellos dentro del
crculo unitario y de esta forma en coordenadas polares se obtiene que
2 1
) 2* 6
3 dd = (4.2.53)
0 0 4
301
4 Integracin de Campos Vectoriales
2
2
2
= 18 sin cos dd = 18 sin (2) d = 18 (4.2.60)
0 0 0
tal como se buscaba.
dy
De hecho, si F = F1 i + F2 j y T = dx
ds i + ds j es el vector tangente con una parametriza-
cin de forma que la regin quede a la izquierda entonces es fcil observar que se puede
tomar6
dy dx
n= i j (4.3.1)
ds ds
6
De hecho, n = N donde N era el vector normal que se estudi en el tema de curvas
302
4 Integracin de Campos Vectoriales
Para hallar el flujo a lo largo de la curva se considera al igual que para la circulacin
un rectngulo centrado en (x, y) de lados ,x, ,y.
(x,y+&y) C3
C4
(x,y)
(x-&x,y) (x+&x,y)
C2
(x,y-&y) C1
Es claro que
F nds = F nds + F nds + F nds + F nds (4.3.3)
C C1 C2 C3 C4
Sumando todas las contribuciones y realizando una expansin de Taylor a primer orden
se tiene & '
F1 (x, y) F2 (x, y)
F nds . 4 + ,x,y (4.3.5)
C x y
303
4 Integracin de Campos Vectoriales
Dado que el rea del rectngulo es 4,x,y el resultado anterior permite definir la diver-
gencia F del campo F como el flujo por unidad de rea
F1 F2
F + (4.3.6)
x y
Luego, al igual que en el caso de la circulacin, una regin que no es un rectngulo
pequeo puede considerarse que est formada a partir de rectngulos pequeos donde
aplica 4.3.5 y las contribuciones internas se cancelaran, lo cual permite obtener la Forma
Normal del Teorema de Green:
Si R es una regin sobre el plano que cumple las mismas condiciones que en la forma
Tangencial del Teorema de Green y F = F1 i+F2 j es un campo vectorial sobre R entonces
F nds = Fdxdy (4.3.7)
C R
xi+yj
Ejemplo 119. Calcule la divergencia de F = xi + yj y G = x2 +y 2
Los campos vectoriales F y G se ven como:
2.5
1.5
0.5
0.5
1.5
2.5
2.5 2 1.5 1 0.5 0 0.5 1 1.5 2 2.5
304
4 Integracin de Campos Vectoriales
2.5
1.5
0.5
0.5
1.5
2.5
2.5 2 1.5 1 0.5 0 0.5 1 1.5 2 2.5
Aqu hay que recordar que la divergencia est relacionada con la produccin de flujo en
una forma local, es decir, en cada punto (x, y) F dice si existe un escape neto o no de
masa o fluido, por lo tanto las imgenes deben analizarse estudiando el comportamiento
cercano del fluido en cada punto del plano.
Un clculo sencillo muestra que
& '
x y
F= + =2 (4.3.9)
x y
lo cual significa que en cada punto del espacio se est produciendo flujo, o bien, que cada
punto del espacio es una fuente de masa.
Por otro lado para cualquier punto excepto el origen
& & ' & ''
x y x2 + y 2 2x2 + x2 + y 2 2y 2
G= + = =0
x x2 + y 2 y x2 + y 2 (x2 + y 2 )2
(4.3.10)
es decir, en cada punto excepto el origen no hay escapa ni entrada neta de fluido.
305
4 Integracin de Campos Vectoriales
f
n= (4.3.12)
|f |
En el caso de que S sea una superficie cerrada, se escoge n de forma de que apunte hacia
afuera de la superficie S.
306
4 Integracin de Campos Vectoriales
donde ,V es el volumen de una regin que contiene al punto (x, y, z) mientras que
S es la superficie de tal regin de volumen. La divergencia es un campo escalar y
si F = F1 i + F2 j + F3 k en coordenadas cartesianas se halla como
F1 F2 F3
F= + + (4.3.15)
x y z
! Si F(x, y, z) > 0 se dice que el punto es una fuente mientras que si F(x, y, z) <
0 se dice que el punto es un sumidero.
307
4 Integracin de Campos Vectoriales
0
z
4
4
2
3 4
1 2
y 1 0
4 3 2
4
x
308
4 Integracin de Campos Vectoriales
luego
dS = 3dxd (4.3.26)
por lo que el flujo a lo largo de tal superficie es
2 2
) 2 *
6x cos , 9 cos2 , 36x sin2 (0, cos , sin ) 3dxd (4.3.27)
0 0
2 2) *
2 ) *
3 3
=3 9 cos + 36x sin dxd = 3 18 cos3 + 72 sin3 d
0 0 0
(4.3.28)
como el seno y coseno tienen perodo 2 se tiene
2
) * ) *
3 3
3 18 cos + 72 sin d = 54 cos3 4 sin3 d (4.3.29)
0
como el seno es impar se tiene que sin3 tambin es impar por lo que solo sobrevive el
primer trmino, luego
) 3 *
54 cos 4 sin3 d = 54 cos3 d (4.3.30)
como
3 sin ax sin 3ax
cos3 axdx = + (4.3.31)
4a 12a
por lo que esta integral tambin es cero y el flujo total es cero.
309
4 Integracin de Campos Vectoriales
por lo que utilizando una modificacin de cilndricas donde y = cos , z = sin hay
que integrar
2 3 2
(4x cos 2 cos + 8x sin ) dxdd (4.3.33)
0 0 0
al integrar sobre es claro que ningn trmino sobrevive por lo que la integral de la
divergencia es cero verificando el teorema de Gauss.
310
4 Integracin de Campos Vectoriales
donde S es la superficie que encierra el volumen anterior, es decir, las dos tapas del
cilindro junto con la superficie cilndrica que la cubre. Para la tapa z = 0 se toma n = k
y luego F n = z 2 = 0 por lo que
F ndS = 0 (4.3.41)
S1
311
4 Integracin de Campos Vectoriales
De esta forma el flujo total es la suma de los tres flujos individuales, es decir,
& '
2) * 3
FdV = 36 + 2 8 3 (2) (4.3.49)
V 3 2
x=2
0
z
4
4
2
3 4
1 2
y 1 0
4 3 2
4
x
Ejercicio 124. Muestre que el campo vectorial F = (ex cos y + yz) i+(xz ex sin y) j+
(xy + z) k es conservativo y calcule una funcin potencial V (x, y, z) para el cam-
po.
Para ver que el campo anterior es conservativo basta verificar que F = 0. Luego
el potencial debe cumplir con las ecuaciones
V V V
= ex cos y + yz = xz ex sin y = xy + z (4.3.50)
x y z
integrando la primera ecuacin con respecto a x se tiene que
312
4 Integracin de Campos Vectoriales
o bien
z2
h(z) = +c (4.3.55)
2
Finalmente, la familia de potenciales es
z2
V = ex cos y + xyz + +c (4.3.56)
2
) *
Ejercicio 125. Verifique el Teorema de Stokes para el campo F = x2 y i +
$
4zj + x2 k integrado sobre la superficie del semicono z = x2 + y 2 limitado por
el plano z = 2.
Primero se calcula la circulacin del campo. Como curva se toma la interseccin del
cono con el plano z = 2. Tal curva se parametriza como r(t) = (2 cos t, 2 sin t, 2). Luego
) * ) *
Fdr = 4 cos2 t 2 sin t, 8, 4 cos2 t (2 sin t, 2 cos t, 0) dt = 8 sin t cos2 t + 4 sin2 t + 16 cos t dt
(4.3.57)
como hay que integrar de 0 a 2 se usa que
cos3 t
sin t cos2 tdt = +C (4.3.58)
3
1 1
sin2 tdt = t sin (2t) + C (4.3.59)
2 4
luego para F dr se tiene usando lo anterior que
2 ) *
F dr = 8 sin t cos2 t + 4 sin2 t + 16 cos t dt = 4 (4.3.60)
0
Para calcular S ( F) ndS se toma como superficie la tapa circular superior que
resulta de la interseccin del semicono con el plano. Se toma la orientacin de forma con
que sea compatible con el recorrido de la curva, es decir, se toma n = k. Luego
( (
( i j k ((
(
F = (( x
y
(
z ( = (4, 2x, 1) (4.3.61)
( x2 y 4z x2 (
De esta forma
( F) n = 1 (4.3.62)
por lo que
( F) ndS = dS = 4 (4.3.63)
S
313
4 Integracin de Campos Vectoriales
Se ocupa un vector normal que apunte hacia adentro del semicono para que sea compat-
ible con el recorrido de la curva, luego se puede tomar
& '
cos sin 1
n = , , (4.3.65)
2 2 2
y
|rr r | = 2r (4.3.66)
por lo que
dS = 2rdrd (4.3.67)
, - , -
+ 2x
Se tiene que ( F) n = 4 cos2
sin
2
+ 12 = 4 cos
+
2
2r cos
sin + 1 . De esta
2 2
forma
2 2 & '
4 cos 2r cos sin 1
(( F) n) dS = + + 2rdrd = 4
S 0 0 2 2 2
(4.3.68)
Luego se ha verificado el Teorema de Stokes.
) *
Ejemplo 126. Sea F = (x y) i+ x + y 3 j defininido sobre la regin D del plano
xy, limitada por una curva suave, cerrada y simple C, orientada positivamente
y ubicada 2 2
en el exterior del disco x + y 1 como se muestra en la figura.
Calcule C F dr si el rea de la regin D es 10.
314
4 Integracin de Campos Vectoriales
315
4 Integracin de Campos Vectoriales
2 1
= ydA ydA = (r sin ) rdrd (r sin ) rdrd (4.3.74)
DD1 D1 0 0 0 0
16 2 14
= = (4.3.75)
3 3 3
De esta forma 0
dS = 1 + zx2 + zy2 dydx (4.3.78)
por lo que
A & '2
0 , a -2 b
A (S) = 1 + zx2 + zy2 dydx = 1+ + A(S3 ) (4.3.79)
S3 c c
De la misma forma con un razonamiento totalmente anlogo pensando en que se usan
parmetros x, z y y, z se tiene
0 3 , a -2 , c -2
A (S) = 1 + zx2 + zy2 dydx = 1 + + A(S2 ) (4.3.80)
S3 b b
A & '2 , -
0
b c 2
A (S) = 2 2
1 + zx + zy dydx = 1 + + A(S1 ) (4.3.81)
S3 a a
Luego
A2 (S) A2 (S) A2 (S)
A2 (S1 ) + A2 (S2 ) + A2 (S3 ) = ) *2 ) *2 + ) * 2 ) * 2 + ) *2 ) *2
1 + ac + bc 1 + ab + bc 1 + ab + ac
& ' (4.3.82)
c2 b 2 a 2
= A2 (S) + + = A2 (S) (4.3.83)
a2 + b2 + c2 a2 + b2 + c2 a2 + b2 + c2
tal como quera verificarse.
316
4 Integracin de Campos Vectoriales
0
z
2
3
2
3 1
0
3 2
1 1
0 2
1
2 3 3
y
donde se tiene que tomar una superficie S que tenga por frontera a la curva C. En este
caso se toma la regin del paraboloide que encierra la curva como se ve en la figura
anterior. Luego ( (
( i j k ((
(
( (
F = ( x y z ( = (x, y, 0) (4.3.85)
( 2 3 (
( x y x3 xy (
Observe que el gradiente de la superficie g(x, y, z) = z x2 + y 2 = 0 es
g = (2x, 2y, 1) (4.3.86)
y apunta hacia arriba por lo que se puede tomar como vector normal
. /
g 2x 2y 1
n= = $ ,$ ,$ (4.3.87)
|g| 1 + 4x2 + 4y 2 1 + 4x2 + 4y 2 1 + 4x2 + 4y 2
317
4 Integracin de Campos Vectoriales
De esta forma
) *
2x2 2y 2 2 x2 + y 2
( F) n = $ = $ (4.3.88)
1 + 4x2 + 4y 2 1 + 4 (x2 + y 2 )
Para determinar los valores que toman las variables x, y hay que analizar la proyeccin de
la frontera, es decir, la curva, sobre el plano xy. La proyeccin de la curva es (cos t, sin t, 0)
que traza un crculo sobre el plano xy. De esta forma utilizando polares
2 1 1
2r 2 2r 3 dr
( F) ndS = rdrd = 2 (4.3.90)
S 0 0 1 + 4r 2 0 1 + r2
para realizar la integral anterior se hace el cambio de variable u = 1+r 2 . Luego du = 2rdr
por lo que
(
2 3 ((1
1 1
2r 3 dr (u 1) du (1 2 4
= = u ( 2 u(0 = 2 =
2 (4.3.91)
0 1+r 2
0 u 3 0 3 3
8
de esta forma la circulacin es 3 .
en este caso
r(t) = (t, cos t, sin t) (4.3.93)
por lo que
v(t) = (1, sin t, cos t) (4.3.94)
y de esta forma $
v= 1 + sin2 t + cos2 t = 2 (4.3.95)
Sobre la curva
= |z| = |sin t| (4.3.96)
por lo que
& '
2 2
m= |sin t| 2dt = 2 sin tdt sin tdt =4 2 (4.3.97)
0 0
318
4 Integracin de Campos Vectoriales
(4.3.103)
Despus de un clculo algo tedioso se obtiene que
0 ) *
12 + 2 sin2 + 16 sin4 + sin cos 14 40 sin2
v= 3 (4.3.104)
(2 + sin 2) 2
cos2
y como x2 = 2+2 sin 2 la integral por realizar es
2 0
cos2 ) *
m= 12 + 2 sin2 + 16 sin4 + sin cos 14 40 sin2 d
0 (2 + sin 2)2
(4.3.105)
319
4 Integracin de Campos Vectoriales
y x xy
Ejemplo 132. Calcular la integral 3z dx+ 3z dy + (3z)2 dz donde C es la curva
2 2
cerrada 4x + 5y = 7 , 3x + 2y 9z = 5
En este caso se puede intentar verificar si el campo es conservativo o no. Sin embargo,
claramente el campo se indefine en z = 3 por lo que es importante ver si la curva corta
o no el plano z = 3, es decir, hay que ver si el sistema
2 2
4x + 5y = 7
3x + 2y 9z = 5 (4.3.106)
z=3
4x2 + 5y 2 = 7 3x + 2y = 32 (4.3.107)
y esto es imposible pues el lado izquierdo es positivo mientras que el derecho negativo.
Dado que la curva no interseca la regin donde se indefine el campo se puede ver si es
conservativo
, o no con-el clculo del rotacional. Sin embargo, es fcil verificar tomando
y x xy
F = 3z , 3z , (3z)2 que F = 0 por lo que la integral de lnea da cero.
En este caso
rx ry = (1, 0, y) (0, 1, x) = (y, x, 1) (4.3.111)
por lo que $
|rx ry | = 1 + x2 + y 2 (4.3.112)
El rea de la superficie es
$
S= dS = 1 + x2 + y 2 dxdy (4.3.113)
320
4 Integracin de Campos Vectoriales
por lo que
52
S= (4.3.116)
3
z 2 = x2 + y 2 x2 + y 2 + z 2 4y = 0 (4.3.117)
o bien
2x2 + 2y 2 4y = 0 (4.3.118)
completando cuadrados se puede escribir como
x2 + (y 1)2 = 1 (4.3.119)
Es decir, se intersecan sobre el cilindro de radio 1 centrado en (0, 1, 0). Se van a escribir
las ecuaciones de las superficies en cilndricas. La del cono se convierte en
z=r (4.3.120)
r 2 + z 2 4r sin = 0 (4.3.121)
321
4 Integracin de Campos Vectoriales
Usando simetra los valores de los parmetros que corresponden a la parte del cono
dentro de la esfera es 0 y 0 z 2 sin . Tambin se tiene
z 2 = x2 + y 2 x2 + y 2 = 4y (4.3.130)
o bien
z 2 = 4y (4.3.131)
la cual es la ecuacin de una parbola.
Para encontrar el rea del cilindro que queda entre los embudos del cono primero se
parametriza el cilindro con la ayuda de coordenadas cilndricas. La ecuacin del cilindro
en cilndricas es r 2 = 4r sin o bien r = 4 sin por lo que la parametrizacin del cilindro
se convierte en
) * ) *
r(, z) = (r cos , r sin , z) = 4 sin cos , 4 sin2 , z = 2 sin 2, 4 sin2 , z (4.3.132)
Para determinar los valores de los parmetros se escriben ambas superficies en trminos
de coordendas cilndricas como
z = 4 sin (4.3.134)
322
4 Integracin de Campos Vectoriales
Claramente 0 y la parte del cilindro que est por debajo del embudo tiene
lmites 0 z 4 sin . Dado que
rz = (0, 0, 1) (4.3.136)
entonces
r rz = (4 sin 2, 4 cos 2, 0) (4.3.137)
por lo que
dS = |r rz | dzd = 4dzd (4.3.138)
Luego tomando en cuenta que se est usando simetra se obtiene
& 4 sin '
S=2 4 dzd = 8 4 sin d = 32 cos |0 = 64 (4.3.139)
0 0 0
Nuevamente usando simetra los valores de los parmetros que corresponden a la parte
del cono dentro del cilindro es 0 y 0 z 4 sin . Tambin se tiene
323
4 Integracin de Campos Vectoriales
de esta forma
dS = |r rz | dzd = 2zdzd (4.3.144)
Luego tomando en cuenta que se est usando simetra se obtiene
& '
4 sin 2
S=2 2 zdzd = 2 16 sin d = 8 2 1 cos 2d = 8 2
0 0 0 0
(4.3.145)
) 2 *
2 dx+
Ejemplo
) 2 * 136. )Aplique * el Teorema de Stokes para calcular la integral y z
z x2 dy + x2 y 2 dz donde C es la frontera de la seccin del cubo slido
0 x a, 0 y a, 0 z a que recorta el plano x + y + z = 3a 2 , recorrida en
sentido contrario a las agujas del reloj, observando desde la parte positiva
del eje x.
En este caso F = (y 2 z 2 , z 2 x2 , x2 y 2 ) y el rotacional del campo es
( (
( i j k (
( (
F = ( ( ( = (2y 2z, 2z 2x, 2x 2y) = 2 (y + z, x + z, x + y)
x y z (
( y 2 z 2 z 2 x2 x2 y 2 (
(4.3.146)
El plano interseca los seis lados del plano en las seis ecuaciones de recta
3a
x + y = 2
x + y = a2
x + z = 3a 2 x + z = a2 (4.3.147)
3a a
y+z = 2 y+z = 2
Como superficie para utilizar el Teorema de Stokes se toma la parte del plano que termina
en las seis rectas. Para que la orientacin coincida con aquella dada en el enunciado se
toma & '
1 1 1
n= , , (4.3.148)
3 3 3
Luego
2 4
( F) n = (y + z + x + z + x + y) = (x + y + z) (4.3.149)
3 3
3a
como la superficie es parte del plano x + y + z = 2 por lo que
6a
( F) n = (4.3.150)
3
Como parmetros se toman x, y y de esta forma la parametrizacin es
& '
3a
r (x, y) = x, y, xy (4.3.151)
2
324
4 Integracin de Campos Vectoriales
por lo que
rx = (1, 0, 1) ry = (0, 1, 1) (4.3.152)
y el producto cruz da
rx ry = (1, 1, 1) (4.3.153)
De esta forma
dS = |rx ry | dydx = 3dydx (4.3.154)
y
( F) ndS = 6adydx (4.3.155)
Por Stokes
F dr = ( F) ndS = 6a dydx (4.3.156)
S S
Los valores de x, y son aquellos entre las rectas moradas sobre el plano xy. Es decir,
%
0 x a2 a
2 xy a
a
(4.3.157)
2 xa 0 y 3a
2 x
M N
a2 a2 3a2 3a2 6a 1 2 2 36a3 9a3
= 6a + + = 2a + a2 + 6a2 3a2 = =
4 8 4 8 8 8 2
(4.3.159)
325
4 Integracin de Campos Vectoriales
Ejemplo
) 2 * 137.
) Verifique
* el Teorema de la Divergencia para el campo F =
xy + 2 i + x2 y 2 j + x2 y 2 k sobre el slido limitado por x2 + y 2 = 1, x z = 1,
x+z =1
Primero que todo, las ecuaciones de las superficies en coordenadas cilndricas son
F = y 2 + x2 = r 2 (4.3.163)
r (y, z) = (1 + z, y, z) (4.3.166)
326
4 Integracin de Campos Vectoriales
por lo que
dS = 2dydz (4.3.171)
En este caso ) *
F = (1 + z)y 2 + 2, (1 + z)2 y 2, (1 + z)2 y 2 (4.3.172)
y
1 ) * 1 ) *
F n = 2 + y 2 (1 + z)(1 1 z) = 2 z(1 + z)y 2 (4.3.173)
2 2
Luego debe integrarse
0 1(1+z)2 0 $
( 1(1+z)2
3 (
(2z(1+z)y 2 )dydz = 4 1 (1 + z)2 z(1 + z) y ( dz
2 1(1+z)2 2 3 (1(1+z)2
(4.3.174)
0 $ 1 ,$ -3
=2 2 1 (1 + z)2 z(1 + z) 1 (1 + z)2 dz (4.3.175)
2 3
usando el cambio de variable u = 1 + z debe calcularse
1$ & ' 1$ & '
2
1 2 2
1 2
2 1 u 2 (u 1)u(1 u ) du = 2 1 u 2 u(u 1)(1 u ) du
1 3 1 3
(4.3.176)
Se toma u = sin t o bien du = cos tdt para obtener
& '
2 1 2
2 cos t 2 sin t(sin t 1) cos t cos tdt (4.3.177)
3
2
Como algunos trminos pueden cancelarse con el resto de integrales, se deja por el
momento el resultado de esta forma.
Ahora se considera el plano x + z = 1. Se va a parametrizar con y, z de la forma
r (y, z) = (1 z, y, z) (4.3.178)
327
4 Integracin de Campos Vectoriales
por lo que
dS = 2dydz (4.3.183)
En este caso ) *
F = (1 z)y 2 + 2, (1 z)2 y 2, (1 z)2 y 2 (4.3.184)
y
1 ) * 1 ) *
F n = y 2 zy 2 + 2 + y 2 2zy 2 + z 2 y 2 = 2 3zy 2 + 2y 2 + z 2 y 2 (4.3.185)
2 2
Luego debe integrarse
1(1z)2
( 1(1z)2
2 2 $ 3 (
4 1 (1 z)2 + (z 2 3z + 2) y (
2+(23z+z 2 )y 2 dydz = dz
0 1(1z)2 0 3 (1(1z)2
(4.3.186)
2 $ 1 ,$ -3
=2 2 1 (1 z)2 + (z 2)(z 1) 1 (1 z)2 dz (4.3.187)
0 3
usando el cambio de variable u = 1 z debe calcularse
1 $ & ' 1$ & '
2
1 2 2
1 2 2
2 2 1 u 2 + (u + 1)u(1 u ) du = 2 1 u 2 + (u + u )(1 u ) du
1 3 1 3
(4.3.188)
Se toma u = sin t o bien du = cos tdt para obtener
& '
2 1 2 2
2 cos t 2 + (sin t + sin t) cos t cos tdt (4.3.189)
3
2
Como algunos trminos pueden cancelarse con el resto de integrales, se deja por el
momento el resultado de esta forma. De hecho, sumando los flujos hasta el momento se
tiene
& ' & '
2
2 1 2 2
2
2 1 2 2
2 cos t 2 + (sin t sin t) cos t dt + 2 cos t 2 + (sin t + sin t) cos t dt
2 3 2 3
(4.3.190)
4
2 2
=8 cos2 t + sin t cos4 tdt = 4 (4.3.191)
2 3 2
Finalmente, falta calcular el flujo a lo largo del cilindro. Para el cilindro se utilizan
parmetros z, por lo que
r (, z) = (cos , sin , z) (4.3.192)
Los valores de estos son
328
4 Integracin de Campos Vectoriales
Como
r = ( sin , cos , 0) rz = (0, 0, 1) (4.3.194)
se tiene
r rz = (cos , sin , 0) (4.3.195)
Se toma como vector normal a
y
dS = dzd (4.3.197)
en este caso ) *
F = cos sin2 + 2, cos2 sin 2, cos2 sin2 (4.3.198)
Luego
) *
F n = cos2 sin2 + 2 cos + cos2 sin2 2 sin = 2 cos2 sin2 + cos sin
(4.3.199)
de esta forma debe integrarse
2 1cos ) *
2 cos2 sin2 + cos sin dzd = (4.3.200)
0 cos 1
2 ) *
=4 (1 cos ) cos2 sin2 + cos sin d (4.3.201)
0
2 ) 2 *
2 ) *
=4 cos sin2 + cos sin d 4 cos3 sin2 + cos2 cos sin d
0 0
(4.3.202)
2 2 2
1 + cos 2
= sin2 2d 4 cos3 sin2 d 4 d (4.3.203)
0 0 0 2
= 4 = 3 (4.3.204)
Finalmente el flujo total es 4 3 = tal como se haba hallado con el Teorema de
Gauss.
329
4 Integracin de Campos Vectoriales
Ejemplo 138. Aplique el Teorema de Stokes para calcular ydx + zdy + xdz
con C la curva x2 + y 2 + z 2 = a2 , x + y + z = 0 recorrida en sentido contrario al
movimiento de las agujas del reloj, observada desde la parte positiva del eje
x. Sugerencia: tome x = 12 (u v), y = 12 (u + v)
La interseccin de las superficies es una elipse. Se toma como superficie el disco de tal
elipse que yace sobre el plano x + y + z = 0. Dado que
F = (y, z, x) (4.3.205)
su rotacional es ( (
( i j k ((
(
F = (( x
y
(
z ( = (1, 1, 1) (4.3.206)
( y z x (
Luego se puede tomar como vector normal al disco
1
n = (1, 1, 1) (4.3.207)
3
De esta forma
3
( F) n = (4.3.208)
3
Observe que sustituyendo z = x y en la primera ecuacin se obtiene
x2 + y 2 + x2 + y 2 + 2xy = a2 (4.3.209)
o bien
3u2 + v 2 = a2 (4.3.211)
330
4 Integracin de Campos Vectoriales
3a2
= 3a2 (4.3.217)
3
x2 + y 2 + z 2 = 25 4x = 3y (4.3.220)
se van a utilizar coordenadas esfricas. De esta forma ambas ecuaciones se pueden escribir
como
r=5 4 cos = 3 sin (4.3.221)
331
4 Integracin de Campos Vectoriales
la segunda
) * ecuacin dice que toda la curva se encuentra a un ngulo 0 donde 0 =
arctan 34 . Luego cualquier punto sobre la curva es de la forma
r () = (x, y, z) = (r cos sin , r sin sin , r cos ) = 5 (cos 0 sin , sin 0 sin , cos )
(4.3.222)
Claramente 0 2 pero tal parametrizacin tiene el sentido contrario a la buscada
por lo que lo nico que debe hacerse es tomar el signo opuesto al final del clculo. Sobre
la curva
& '
2
F = 5 sin 0 sin + cos , cos 0 sin + , cos 0 sin + sin 0 sin (4.3.223)
5
El vector velocidad es
por lo que
& & ' '
2 2
Fv = 25 cos 0 cos (sin 0 sin + cos ) + sin 0 cos cos 0 sin + sin (cos 0 + sin 0 )
5
(4.3.225)
& '
2 2 2
= 25 2 cos 0 sin 0 cos sin + cos 0 cos + sin 0 cos sin (cos 0 + sin 0 )
5
(4.3.226)
5 20 (4.3.230)
Por otro lado, para utilizar el Teorema de Stokes debe calcularse primero F, pero
es fcil ver que
F = (1, 0, 0) (4.3.231)
332
4 Integracin de Campos Vectoriales
4
( F) ndS = dS = 5 (4.3.233)
5
La curva C2 puede parametrizarse como
por lo que
v(t) = (0, 0, 5) (4.3.235)
y
F = (5(1 t), 2, 0) (4.3.236)
dado que F v = 0 se tiene
F dr = 0 (4.3.237)
C2
por lo que
v(t) = (3, 4, 0) (4.3.239)
y
F = (4t, 3t + 2, 3t + 4t) (4.3.240)
dado que
F v = 12t + 12t + 8 = 24t + 8 (4.3.241)
se tiene 1
F dr = (24t + 8)dt = 20 (4.3.242)
C3 0
por lo que
F dr = 5 20 (4.3.243)
C1
333
4 Integracin de Campos Vectoriales
) *
Ejemplo 140. Calcule la circulacin del campo F = 2xz, x2 y, 2z x2 a lo
largo de la curva del primer octante, limitada por la esfera x2 + y 2 + z 2 = 1, el
plano z = y y los planos xz y yz, mediante dos procedimientos: mediante una
integral de lnea y por Stokes.
Primero que todo la esfera interseca los planos xz y yz en las curvas
x2 + z 2 = 1 y2 + z2 = 1 (4.3.244)
Luego, la esfera y el plano se intersecan cuando
x2 + 2y 2 = 1 (4.3.245)
Para la integral de lnea se considera tres curvas, una sobre el plano, un segmento circular
(en el plano yz) y el cuarto de crculo (en el plano xz). La orientacin es como se indica
en la figura.
1) Cualquier punto sobre la primera curva es de la forma
(x, y, z) = (x, y, y) (4.3.246)
y como x2 + 2y 2 = 1 se puede tomar
sin
x = cos y= (4.3.247)
2
y de esta forma & '
sin sin
r () = cos , , 0 (4.3.248)
2 2 2
334
4 Integracin de Campos Vectoriales
335
4 Integracin de Campos Vectoriales
De esta manera
F v = 2 sin cos2 2 cos sin + sin3 = 2 sin cos2 sin 2 + sin sin2 (4.3.263)
Se va a tomar como superficie la parte de la esfera que termina en las tres curvas.
Para esto se utilizan coordenadas esfricas. La parametrizacin es
se tiene que
= arcsin (cot ) (4.3.270)
los lmites son
%
0 4 0 2
(4.3.271)
4 2 0 arcsin (cot )
A su vez
r = ( sin sin , cos sin , 0) r = (cos cos , sin cos , sin ) (4.3.272)
Luego
dS = sin dd (4.3.274)
336
4 Integracin de Campos Vectoriales
De esta forma
F = 2x (0, 2, 1) = 2 cos sin (0, 2, 1) (4.3.276)
y
( F) n = 2 cos sin (2 sin sin + cos ) (4.3.277)
Luego hay que calcular
4
2
2
arcsin(cot )
2
2 cos sin (2 sin sin + cos ) dd+ 2 cos sin2 (2 sin sin + cos ) dd
0 0 4
0
(4.3.278)
4 2 4 2
= 2 sin3 sin 2dd + 2 cos sin2 cos dd (4.3.279)
0 0 0 0
2
arcsin(cot )
2
arcsin(cot )
3
+ 2 sin sin 2dd + 2 cos sin2 cos dd
4
0 4
0
(4.3.280)
4 4
3
= sin (cos 2)|0 d + 2
2 cos sin2 (sin )|02 d (4.3.281)
0 0
2 arcsin(cot ) 2 arcsin(cot )
+ sin3 (cos 2)|0 d + 2 cos sin2 (sin )|0 d (4.3.282)
4 4
4 4
3
=2 sin d + 2 cos sin2 d (4.3.283)
0 0
) *(arcsin(cot )
2 2
+ sin 1 2 sin2 (0
3
d + 2 cos sin2 cot d (4.3.284)
4 4
4 4
3
=2 sin d + 2 cos sin2 d (4.3.285)
0 0
2 2
+2 sin3 cot2 d + 2 cos2 sin d (4.3.286)
4 4
4 4
3
=2 sin d + 2 cos sin2 d (4.3.287)
0 0
337
4 Integracin de Campos Vectoriales
2
+4 cos2 sin d (4.3.288)
4
. /
2 1 2 1 2 2 4 2 4 2
=2 + +1 + + = (4.3.293)
2 3 4 3 3 4 3 4 3 3
Ejemplo 141. Aplique el Teorema de Green para mostrar que dado el campo
vectorial F = yi+xj
x2 +y 2
se cumple C F dr = 2 para toda trayectoria que encierra
el origen.
Primero que todo hay que notar que F = 0 por lo que podra pensarse que
todas las integrales de lnea cerradas son cero. Sin embargo, no puede concluirse eso tan
fcilmente pues el campo posee una divergencia que arruina las hiptesis del Teorema
338
4 Integracin de Campos Vectoriales
de Green. De hecho, tomando una curva C que encierra cierta regin D con un hueco
(pues no puede tocarse la singularidad) por el teorema de Green con huecos
& '
F2 F1
F dr + F= dxdy (4.3.294)
C C $ D x y
donde C ' significa que la curva se recorre en direccin opuesta a la que aparece en la
figura. Ahora bien, & '
F2 F1
dxdy = 0 (4.3.295)
D x y
por lo que
F dr = F dr = F dr (4.3.296)
C C $ C$
por lo que
2
1
F dr = (R sin t, R cos t) R ( sin t, cos t) dt = 2 (4.3.298)
C$ 0 R2
De esta forma
F dr = 2 (4.3.299)
C
como se quera probar.
339
4 Integracin de Campos Vectoriales
Por otro lado, si el campo v representa el campo de velocidades de la carga dentro del
material entonces se puede definir una densidad de corriente
j e v (4.3.301)
donde el signo menos se introduce pues un flujo positivo significa que la carga est
disminuyendo. Ahora bien, por las frmulas de derivacin bajo el signo integral se tiene
dq e
= dV (4.3.303)
dt V t
Ahora bien, gracias al Teorema de la Divergencia el lado derecho se puede escribir como
j ndS = jdV (4.3.305)
S V
340
4 Integracin de Campos Vectoriales
y v se escribe como vector columna para poder realizar el producto matricial. En el caso
particular en que u = v se tiene la aceleracin material
Dv v
= + (v) v (4.3.311)
Dt t
Es decir, Dv
Dt es la aceleracin que experimentara una partcula en el punto (x, y, z) en
el tiempo t. Luego, la segunda ley de Newton
F = ma (4.3.312)
341
4 Integracin de Campos Vectoriales
3. La densidad m es constante
v
4. El fluido es esttico, es decir, t =0
p
5. El gradiente de presin es esttico, es decir, t =0
, -
Dado que el fluido es irrotacional, se puede verificar que (v) v = 1
2 |v|2 por lo que
4.3.314 puede reescribirse como
& '
1 2 p
|v| + +gr =0 (4.3.315)
2 m
Esto permite concluir que el Teorema de Bernoulli,
1 2 p
|v| + +gr=C (4.3.316)
2 m
donde C es una constante. Observe que de la derivacin es constante a lo largo de la
lnea de campo que define la partcula al moverse sobre el fluido.
342
4 Integracin de Campos Vectoriales
B=0 (4.3.322)
lo cual significa que no existen monopolos magnticos, es decir, no existen fuentes pun-
tuales de campo magntico como s ocurre para la electricidad.
La tercera ecuacin de Maxwell es la Forma Integral de la Ley de Induccin de Faraday
que establece el flujo de la variacin temporal del campo magntico produce (induce) un
campo elctrico y es igual a menos la circulacin de este, es decir,
B
E dr = ndS (4.3.323)
C S t
343
4 Integracin de Campos Vectoriales
B = 0 j (4.3.329)
( B) = 0 j (4.3.330)
Sin embargo, el lado izquierdo siempre es cero por una de las identidas vectoriales por
lo que se obtiene que
j=0 (4.3.331)
Ahora bien, comparando con la ecuacin de continuidad 4.3.307 es claro que la Ley de
Ampere solo es vlida tal como est cuando la densidad elctrica es esttica, es decir,
e
t = 0. Esto hizo que Maxwell modificara la ley de Ampere de forma que fuera vlida
en el caso de una densidad elctrica no esttica. De hecho, usando la forma diferencial
de la Ley de Gauss se tiene que
e
= 0 E (4.3.332)
t
lo cual sugiere realizar una modificacin a 4.3.329 y obtener de esa forma la Forma
Diferencial de la Ley de Maxwell-Ampere
E
( B) = 0 j + 0 0 (4.3.333)
t
Es fcil verificar que al tomar la divergencia a ambos lados ahora s se cumple la ecuacin
de continuidad, expresendado el hecho de que la carga elctrica ni se crea ni se destruye.
344
ndice alfabtico
345
ndice alfabtico
F N
flujo, 303 norma de un vector, 19
Forma Normal del Teorema de Green,
304 O
forma paramtrica de una recta, 30 operador nabla, 122
forma simtrica recta, 31
P
frmulas de Frenet-Serret, 100
parbola, 47
frontera de la variedad, 294
paraboloide elptico, 61
frontera topolgica, 110
paraboloide hiperblico, 59
funcin continua, 114
parmetros, 38
G pndulo iscrono, 97
generatriz, 68 plano, 34
gradiente, 122 plano normal, 104
grfica de una funcin, 115 plano osculador, 96, 103
gravedad, 79 plano rectificante, 104, 105
plano tangente, 146
H planos paralelos, 36
Hessiano, 179 primera ley de Kepler, 83
Hessiano Orlado, 194 primera ley Kepler, 79
hiprbola, 43 producto cruz, 24
hiperboloide de dos hojas, 55 producto punto, 19
hiperboloide de una hoja, 53 proyeccin ortogonal, 22
punto crtico, 180
I punto de ensilladura, 182
inercia rotacional eje, 254
integracin curva, 224 R
integral de lnea, 270 recta, 29
integral de superficie, 223 regla de la mano derecha 24
rotacional de un campo vectorial, 289
J
Jacobiano, 228 S
secciones cnicas, 40
L simplemente conexa, 276
libertad gauge, 275 sistema de Frenet, 85
lmite de una funcin, 111 sistema de mano derecha. , 25
lnea de campo, 284 sistemas de coordenadas, 8
longitud de arco, 88 superficie de revolucin, 62
superficie orientable, 298
M
superficies cuadrticas, 50
mximo relativo, 180
menores principales, 187 T
mnimo relativo, 180 tensor de inercia, 255
momento angular, 79 Teorema de Bernoulli, 342
multiplicador de Lagrange, 189 teorema de Fubini, 226, 240
346
ndice alfabtico
V
variedad, 294
vector binormal, 85
vector tangente, 74, 85
vector unitario, 19
vector velocidad, 74
vectores base coordenadas cartesianas, 18
vectores paralelos, 18
vectores perpendiculares, ortogonales, 19
vrtice, 68
volumen paraleleppedo, 28
voriticdad de un campo vectorial, 289
347
ndice alfabtico
348
ndice de figuras
1.1.1.Coordenadas x, y en el plano . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.2.Coordenadas Polares , en el plano . . . . . . . . . . . . . . . . . . . . . 10
1.1.3.Relacin entre coordenadas polares y cartesianas . . . . . . . . . . . . . . 11
1.1.4.Coordenadas Cilndricas y Cartesianas . . . . . . . . . . . . . . . . . . . . 12
1.1.5.Coordenadas Esfricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1.Vector como punto en el espacio . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2.Vector como vector de posicin . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.3.Vector como flecha dirigida . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.4.Multiplicacin de un vector por un nmero real . . . . . . . . . . . . . . . 16
1.2.5.Suma de vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.2.6.Resta de vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.7.Suma y Resta de vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.2.8.Resta de vectores vistos como puntos en el espacio . . . . . . . . . . . . . 18
1.2.9.Vectores bases para las coordenadas cartesianas . . . . . . . . . . . . . . . 19
1.2.10.
Producto punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.11.
Vector unitario para el vector u . . . . . . . . . . . . . . . . . . . . . . . . 22
1.2.12.
Proyeccin de un vector sobre otro vector . . . . . . . . . . . . . . . . . . 23
1.2.13.
Representacin visual del producto cruz entre dos vectores . . . . . . . . . 25
1.2.14.
Propiedad cclica producto cruz . . . . . . . . . . . . . . . . . . . . . . . . 26
1.2.15.
Paralelogramo de lados a, b . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.2.16.
Relacin entre el producto cruz y el rea de un paralelogramo . . . . . . . 28
1.2.17.
Volumen de un paraleleppedo de lados a, b, c . . . . . . . . . . . . . . . . 28
1.2.18.
Recta con punto P y vector director v . . . . . . . . . . . . . . . . . . . . 30
1.2.19.
ejercicio rectas perpendiculares . . . . . . . . . . . . . . . . . . . . . . . . 33
1.2.20.
Ecuacin vectorial de un plano . . . . . . . . . . . . . . . . . . . . . . . . 34
1.2.21.
Plano con punto P y vector normal n . . . . . . . . . . . . . . . . . . . . 35
1.3.1.Cada libre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.3.2.Secciones Cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2 2
1.3.3.Elipse xa2 + yb2 = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
x2 y2
1.3.4.Elipse 9 + 5 =1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
(x2)2 2
1.3.5.Elipse 1 + (y+0.5)
3 =1 . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.3.6.Ejemplo elipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2 2
1.3.7.Hiprbola xa2 yb2 = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.3.8. 41 (x 1)2 13 (y + 1)2 = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2 (y2)2
1.3.9. x9 + 4 = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
349
ndice de figuras
1.3.10.
Seno y coseno hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.3.11.
Ejemplo hiprbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1 2
1.3.12.
Parbola x = 4a y . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.3.13. 2
x + 2 = 2(y 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
y = 0,5(x 2)2 . . . . . . . . . . . . .
1.3.14. . . . . . . . . . . . . . . . . . . . 49
1.3.15.
Ejemplo parbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.3.16.
elipsoide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.3.17.
Ejemplo elipsoide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
1.3.18.
hiperboloide de una hoja . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.3.19.
Ejemplo hiperboloide de una hoja . . . . . . . . . . . . . . . . . . . . . . . 55
1.3.20.
hiperboloide de dos hojas . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
1.3.21.
Ejemplo hiperboloide dos hojas . . . . . . . . . . . . . . . . . . . . . . . . 57
1.3.22.
cono elptico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.3.23.
Ejemplo cono elptico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
1.3.24.
Paraboloides hiperblico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
1.3.25.
Ejemplo paraboloide hiperblico . . . . . . . . . . . . . . . . . . . . . . . 60
1.3.26.
Paraboloides elptico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
1.3.27.
Ejemplo paraboloide elptico . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.3.28.
Superficie de Revolucin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
1.3.29.
Ejemplo superficie de revolucin . . . . . . . . . . . . . . . . . . . . . . . 65
1.3.30.
superficie implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
1.3.31.
Cono con vrtice V y directriz C . . . . . . . . . . . . . . . . . . . . . . . 68
1.3.32.
Cono . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
1.3.33.
Cilindro con directriz C y generatriz l . . . . . . . . . . . . . . . . . . . . 71
1.3.34.
Ejemplo cilindro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
1.4.1.Partcula movindose en el espacio . . . . . . . . . . . . . . . . . . . . . . 74
1.4.2.La velocidad es tangente a la curva de la partcula . . . . . . . . . . . . . 75
1.4.3.Cicloide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
1.4.4.Rotacin del punto sobre el crculo . . . . . . . . . . . . . . . . . . . . . . 76
1.4.5.Cicloide con R = 1 y = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 77
1.4.6.Partcula que gira en torno un eje . . . . . . . . . . . . . . . . . . . . . . . 78
1.4.7.Ley de reas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
1.5.1.Sistema mvil crculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
1.5.2.Sistema mvil hlice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
1.5.3.Longitud de una curva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
1.5.4.Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
1.5.5.Crculo osculador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
1.5.6.Pndulo iscrono . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
1.5.7.Plano Osculador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
1.5.8.Plano Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
1.5.9.Plano Rectificante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
350
ndice de figuras
351
ndice de figuras
352
ndice de figuras
353
Bibliografa
[1] http://www2.math.umd.edu/~jmr/241/mfiles/implicitplot3d.m
[2] http://www2.math.umd.edu/~jmr/241/curves.html
[3]
354