CRITERIO DE LA SEGUNDA DERIVADA. MXIMOS Y MNIMOS ABSOLUTOS.

EXTREMOS RESTRINGIDOS
Y MULTIPLICADORES DE LAGRANGE

CONCEPTOS BSICOS

Dada una funcin de varias variables, sabemos que presenta un punto crtico cuando su gradiente es
nulo. Para identificar de qu punto crtico se trata, debemos usar el criterio de la segunda derivada. ste
establece que dada una funcin f(x; y) que presenta un punto crtico en (x
0
; y
0
), podemos calcular el
siguiente discriminante:

2
2
2
2
2
2
2
2 2
2
2
2
|
|
.
|

\
|
c c
c

c
c
c
c
=
c
c
c c
c
c c
c
c
c
=
y x
f
y
f
x
f
y
f
x y
f
y x
f
x
f
D

Si D > 0 y
2
2
x
f
c
c
> 0, se tiene un mnimo local en (x
0
; y
0
). Si D > 0 y
2
2
x
f
c
c
< 0, se tiene un mximo local en
(x
0
; y
0
). Si D < 0, se tiene un punto silla en (x
0
; y
0
). Finalmente, si D = 0 el criterio de la segunda derivada
no decide la naturaleza del punto crtico en (x
0
; y
0
).

Cuando se desea obtener los extremos absolutos de una funcin en una cierta regin del dominio, se
deben seguir los siguientes pasos:

1. Hallar los puntos crticos de la funcin en el dominio y calcular su valor en ellos.
2. Hallar los valores extremos de la funcin sobre la frontera del dominio.
3. Determinar los valores mximo y mnimo de entre todos los hallados en los dos puntos anteriores.

Hallar extremos restringidos significa determinar los extremos de una funcin f(x; y) sujetos a una
restriccin g(x; y) = 0. Para ello debe plantearse la ecuacin vectorial:

Vf = Vg

El valor se conoce como multiplicador de Lagrange y es un auxiliar para determinar los valores de las
variables del dominio que satisfacen la ecuacin vectorial y la restriccin. Si existen varias restricciones,
se plantean varios multiplicadores.


PROBLEMAS

1.) Puntos crticos. Hallar y clasificar los puntos crticos de:

1 2 4 ) ; (
2 3
+ + = y xy x y x f

SOLUCIN

Tenemos:


0 4 4
) ; ( ); 0 ; 0 ( 0 0 4 3 0 4 3
3
4
3
4
2 1 3
4
2 2

= = =
= v = = + = + =
y x y x f
P P x x x x y x f
y
x


Ahora

mximo un es ) ; ( 0 8 ) ; ( como y extremo; un es ) ; ( 0 16 ) ; (
silla punto un es ) 0 ; 0 ( 0 16 ) 0 ; 0 (
16 24
4 4
4 6
) ; (
4 ) ; (
4 ) ; (
6 ) ; (
3
4
3
4
3
4
3
4
3
4
3
4
3
4
3
4
< = > =
< =
=

=
=
=
xx
xy
yy
xx
f D
D
x
x
y x D
y x f
y x f
x y x f


2.) Extremos absolutos. Hallar el valor mximo y mnimo de la funcin f(x; y) = x
2
y(4 - x - y) en el
tringulo limitado por las rectas x = 0; y = 0; x + y = 6.

SOLUCIN

a) Puntos crticos. Primero debemos encontrar los puntos crticos de la funcin que se encuentran en el
dominio dado, que es el tringulo de extremos (0; 0), (6; 0), (0; 6). No interesa, a los efectos de obtener
extremos absolutos, determinar la naturaleza de los puntos crticos, sino evaluar la funcin en ellos.
Planteamos:

= = + =
c
c
= = + =
c
c
= V
0 ) 2 4 ( 0 ) 1 ( ) 4 ( 0
0 ) 2 3 8 ( 0 ) 1 ( ) 4 ( 2 0
0
2 2 2
2
y x x y x y x x
y
f
y x xy y x y x xy
x
f
f

Prima facie vemos que todos los puntos con x = 0 son crticos. Si x = 0, tenemos las siguientes
posibilidades para que ambas derivadas parciales sean nulas:

) 1 ; 2 ( 0 2 4 0 2 3 8
) 0 ; 4 ( 4 0 2 4 0
2
o resolviend
1
P y x y x
P x y x y
+
= . =
= = . =


El primero de estos puntos pertenece a la frontera; por lo tanto lo consideraremos cuando analicemos
sta. En cuanto al segundo punto, tenemos f(2; 1) = 2.

b) Anlisis de la frontera. La frontera se compone de tres tramos rectos. En x = 0 y y = 0 la funcin asume
el valor 0. En x + y = 6 podemos escribir:

3 2 2 2
2 12 ) 6 4 )( 6 ( ) 4 ( 6 6 x x x x x x y x y x x y y x + = + = = = + ,

donde x va variando de 0 a 6. Para determinar en qu punto del segmento de recta x + y = 6 se produce
un mximo o mnimo de esta funcin (en los extremos del segmento asume el valor 0), podemos
derivarla:

( ) ( ) ( ) 2 4 6 0 0 6 24 2 12
2 3 2
= = v = = = + = + y x y x x x x x
dx
d


De los dos puntos obtenidos, (0; 6) es uno de los extremos del segmento, donde la funcin vale 0,
mientras que (4; 2) est dentro del segmento oblicuo.

c) Evaluacin de la funcin en los puntos obtenidos. Evaluando se tiene:

f(segmento x = 0) = 0
f(segmento y = 0) = 0
f(2; 1) = 2 mximo absoluto
f(4; 2) = -64 mnimo absoluto


3.) Multiplicadores de Lagrange. La ecuacin 2x
4
+ 3y
4
= 32 representa el borde de la pantalla de un
monitor. Si el campo elctrico viene dado por la funcin

2 2
1
) ; (
y x
y x f
+
= ,

hallar los valores mximo y mnimo de ste sobre el borde de la pantalla.

SOLUCIN

Sea g(x; y) = 2x
4
+ 3y
4
. Tenemos:

( )
( )
0
12
8
3
2
3
3
3
2
) 0 ; 0 ( ) ; ( si
3
2 / 3
2 2
3
2 / 3
2 2
= v = =

=
+

=
+

V = V
+
=
x x y
y
x
y
x
y
y x
y
x
y x
x
g f
y x

Para obtener este resultado dividimos ambas ecuaciones abarcadas por la llave, por lo cual debemos
considerar aparte el caso en que y = 0, para el cual dicha divisin no sera posible. Analizando todos los
casos posibles tenemos:

4
45
192
4
10
96
4
3
10
4
3
4
4 4 4
3
2
32 2 3 2 = = = = + = + = y x x x x y x x y

Con estos valores tenemos f(x; y) ~ 0,44.

Los otros dos casos son:

5 , 0 ) 0 ; 2 ( 2 32 2 0
55 , 0 ) ; 0 ( 32 3 0
4
2
32
4
4
3
32
4
3
32
4
~ = = = =
~ = = =
f x x y
f y y x


Comparando los tres valores obtenidos, el mnimo valor ser 0,44 y el mximo valor ser 0,55.


4.) Multiplicadores de Lagrange con ms de una restriccin. Hallar el punto del paraboloide z = (x - 2)
2
+
0.25(y - 3)
2
+ 5 ms prximo al plano x + y + z = 0.

SOLUCIN

En un problema de extremos con restricciones hay que individualizar tres cosas:

La funcin a maximizar o minimizar;
Las incgnitas; y
Las restricciones.

En este problema, sabemos que hay un punto sobre el paraboloide y uno sobre el plano tales que la
distancia entre ellos es menor que entre cualquier otro par de puntos sobre esas superficies.
Determinando cules son esos puntos, podremos hallar la distancia mnima. Por tanto tenemos:

Funcin a minimizar: distancia entre dos puntos.
Incgnitas: las coordenadas de ambos puntos.
Restricciones: los puntos deben pertenecer a las superficies dadas.

Traduciendo esto a lenguaje matemtico podemos escribir lo siguiente:

Llamaremos (x; y; z) al punto que est sobre el paraboloide y (s; t; u) al perteneciente al plano. La
funcin a minimizar es la funcin distancia entre ambos, pero esto es equivalente a minimizar la
distancia al cuadrado, dado que la raz cuadrada es una funcin creciente. La distancia al cuadrado entre
ambos puntos es:

f(x; y; z; s; t; u) = (x - s)
2
+ (y - t)
2
+ (z - u)
2


Con lo cual tenemos en claro la funcin y sus seis incgnitas.

Las condiciones de restriccin sern la pertenencia al paraboloide y al plano respectivamente.
Recordemos que una condicin de restriccin siempre se escribe como una funcin igualada a una
constante. Podemos escribir, entonces:

g
1
(x; y; z; s; t; u) = z - (x - 2)
2
- 0.25(y - 3)
2
= 5
g
2
(x; y; z; s; t; u) = s + t + u = 0.

Ntese que ambas restricciones tienen las mismas variables que la funcin a minimizar, a pesar de que
algunas de ellas no aparecen en las respectivas leyes. Para hacer una analoga con casos de una variable,
la funcin f(x) = 5 no deja de ser una funcin de x, por ms que la variable no aparezca en la ley.

Si ahora aplicamos multiplicadores de Lagrange a nuestro caso tendremos:

Vf =
1
Vg
1
+
2
Vg
2


Derivando variable por variable tendremos:

(6)
(5)
(4)
(3)
) 2 (
) 1 (

) ( 2
) ( 2
) ( 2
) ( 2
) 2 ( 5 , 0 ) ( 2
) 2 ( 2 ) ( 2
2
2
2
1
1
1

=
=
=
=
=
=

u z
t y
s x
u z
y t y
x s x


Usamos este sistema de ecuaciones, juntamente con las restricciones, para despejar las incgnitas. De
esta manera, combinando (3), (6) y (4) es:

1
= -
2
= 2(x - s)

Introduciendo este valor de
1
en (1), sale que:

1 = -2(x - 2) x = 1,5

Combinando de manera similar (3), (6), (5) y (2) podemos despejar:

y = 0

Y, finalmente, introduciendo esto en la ecuacin del paraboloide, tenemos:

z = 7,5

El punto buscado es, pues:

(x; y; z) = (1,5; 0; 7,5)

Estrictamente, ya hemos resuelto el ejercicio: hemos encontrado el punto del paraboloide dado ms
prximo al plano dado. Queda para el lector despejar, del mismo sistema de ecuaciones, el punto del
plano ms cercano al paraboloide, esto es, hallar los valores de s, t y u, as como la distancia entre
ambos puntos.











































ACELERACIN Y SEGUNDA LEY DE NEWTON. LONGITUD DE ARCO. CAMPOS VECTORIALES.

CONCEPTOS BSICOS

Dada una trayectoria o(t), su aceleracin viene dada por su derivada segunda o(t), y si multiplicamos
esto por la masa de una partcula obtendremos, por la segunda ley de Newton, la fuerza realizada sobre
ella al recorrer la trayectoria.

Por otro lado, la longitud de arco de una trayectoria o(t) entre los valores a y b del parmetro viene
dada por:

}
' =
b
a
dt t l ) ( ) (

Un campo vectorial es una funcin de R
n
en R
n
. Una lnea de flujo de un campo vectorial es una
trayectoria cuya derivada es igual al campo vectorial.


PROBLEMAS

5.) Qu fuerza acta sobre una masa de 2 kg que recorre la trayectoria ) 3 ; cos ; sen ( ) ( t t t t t t =
(unidades mks) para el valor de t de 1 segundo?

SOLUCIN

) 0 ; 1 cos 2 1 sen 4 ; 1 sen 2 1 cos 4 ( ) 1 ( 2 ) 1 (
) 0 ; 1 cos 1 sen 2 ; 1 sen 1 cos 2 ( ) 1 (
) 0 ; cos sen sen ; sen cos (cos ) (
) 3 ; sen cos ; cos (sen ) (
= ' ' =
= ' '
+ = ' '
+ = '
F

t t t t t t t t t
t t t t t t t


Ntese que esta fuerza viene dada en Newtons.


6.) Sea la trayectoria ) log ; ; 2 ( ) (
2
t t t t = , definida para t mayor que 0. Hallar la longitud de arco de o
entre los puntos (2; 1; 0) y (4; 4; log2).

SOLUCIN

Examinando los dos puntos y comparando con la ley de la trayectoria podemos comprobar que los
valores respectivos del parmetro son t = 1 y t = 2. De modo que la longitud de arco entre ambos puntos
ser:

( ) ( )
( ) 2 log 3 log
1
2
1 2 1 2
1 4 4 1
4 4
1
; 2 ; 2 ) ( ) (
2
1
2
1
2
2
1
2
2
1
2
2
2
2
1
2
4 2
2
1
2
2
2
1
2
1
+ = + =
|
.
|

\
|
+ =
+
=
+
=
=
+ +
= + + =
|
.
|

\
|
= ' =
} } }
} } } }
t t dt
t
t dt
t
t
dt
t
t
dt
t
t t
dt
t
t dt
t
t dt t l



7.) Reparametrizar la trayectoria ) 2 cos ; sen ; (cos ) (
3 3
t t t t = con respecto a la longitud de arco
medida desde el punto donde t = 0 en la direccin en que se incrementa t. Considerar los valores de t
ubicados entre 0 y t/2, ambos incluidos.

SOLUCIN

Para un cierto valor t, la longitud de arco medida desde el 0 ser:

s t t rdr r dr r r
dr r r r r r r
dr r r r r r r
dr r r r r r dr r l s
t t
t
t
t t
5
2
1 2
2
5
0 0
2 2
0
2 2 2 2 2 2
0
2 2 4 2 4
0
2 2 2 2 2
0
sen sen sen cos 5 sen cos 25
sen cos 16 ) sen (cos sen cos 9
) cos sen 4 ( cos sen 9 sen cos 9
) 2 sen 2 ( ) cos sen 3 ( ) sen cos 3 ( ) ( ) (

= = = =
= + + =
= + + =
= + + = ' = =
} }
}
}
} }



De esta manera, podemos expresar la trayectoria en trminos de s, la longitud de arco, reemplazando t
por su expresin en trminos de s:

( ) ( ) ( ) ( )
( ) ( ) ( ) s s s
s s s t
5
4
2 / 3
5
2
2 / 3
5
2
5
2
1
5
2
1 3
5
2
1 3
1 ; ; 1
sen 2 cos ; sen sen ; sen cos ) (
=
= =

,

donde hemos usado distintas identidades trigonomtricas, que dejamos al lector descifrar.


8.) Esbozar algunas lneas de flujo de los campos vectoriales:

a) F(x; y) = (y; -x) b) F(x; y) = (x; -y)

SOLUCIN

a) Una lnea de flujo de un campo vectorial F es una trayectoria o tal que o = F. De manera que
tenemos:

= '
= '
= ' ' =
) ( ) (
) ( ) (
) ( )) ( ); ( /( )) ( ); ( ( ) (
t x t y
t y t x
t t y t x t y t x t F

La funcin x derivada da y, mientras que la funcin y derivada da -x. No es difcil percibir que las
funciones que satisfacen estas relaciones son las funciones seno y coseno. Tenemos as:

o(t) = (asent; acost)

Las lneas de flujo sern, entonces, circunferencias de radio a centradas en el origen.



b) En este caso, tenemos:

= '
= '
= ' ' =
) ( ) (
) ( ) (
) ( )) ( ); ( /( )) ( ); ( ( ) (
t y t y
t x t x
t t y t x t y t x t F

Las funciones que satisfacen esto son las exponenciales, y as tendremos:

o(t) = (ae
t
; be
-t
) x(t)y(t) = ab = K.

Tendremos as que las lneas de flujo sern una
familia de hiprbolas xy = K, donde K puede ser
positivo o negativo. En la imagen, se han
representado puntos entre -3 y 3.























DIVERGENCIA Y ROTACIONAL. INTEGRALES DOBLES

CONCEPTOS BSICOS

La divergencia y rotacional son conceptos aplicables a campos vectoriales del tipo

F(x; y; z) = (F
1
(x; y; z); F
2
(x; y; z); F
3
(x; y; z))

Las expresiones y notaciones son:

div F =
z
F
y
F
x
F
c
c
+
c
c
+
c
c
= V
3 2 1
F
rot F =
|
|
.
|

\
|
c
c

c
c
c
c

c
c
c
c

c
c
=
c
c
c
c
c
c
= V
y
F
x
F
x
F
z
F
z
F
y
F
F F F
z y x
1 2 3 1 2 3
3 2 1
; ;
k j i
F

El principio de Cavalieri sostiene que si en un slido se conoce el rea transversal de un slido entre dos
extremos, basta integrarla para obtener el volumen.

Es posible, bajo condiciones adecuadas (funciones acotadas y continuas por partes) integrar una funcin
de dos variables sobre un rectngulo R = [a; b][c; d]. Segn el teorema de Fubini, esto es equivalente a
hacer una integral iterada:

} } } } }
= =
R
b
a
d
c
d
c
b
a
dxdy y x f dydx y x f dA y x f ) ; ( ) ; ( ) ; (

De una manera ms general, es posible integrar una funcin de dos variables en cualquier regin en que
x est acotada entre dos valores numricos y y entre dos funciones de x (regin tipo 1); o bien en la cual
y est entre dos valores numricos y x entre dos funciones de y (regin tipo 2); o bien en una regin que
sea simultneamente de tipo 1 y de tipo 2 (regin tipo 3). Tenemos as las siguientes posibilidades para
integrar en una regin R:

} } }
} } }
= s s . e
= s s . e
R
d
c
y
y
R
b
a
x
x
dxdy y x f dA y x f y x y d c y
dydx y x f dA y x f x y x b a x
) (
) (
2 1
) (
) (
2 1
2
1
2
1
2) (Tipo ) ; ( ) ; ( ) ( ) ( ) ; (
1) (Tipo ) ; ( ) ; ( ) ( ) ( ) ; (

|
|

| |


siendo ambas posibles en una regin tipo 3, en la cual queda habilitado el cambio en el orden de
integracin.


PROBLEMAS

9.) Divergencia y rotacional. Sea F un campo vectorial diferenciable y r el vector posicin. Demostrar que
la divergencia del campo vectorial Fr es igual al producto interno de r y el rotacional de F.

SOLUCIN

Sea:

F(x; y; z) = (F
1
(x; y; z); F
2
(x; y; z); F
3
(x; y; z))
r(x; y; z) = (x; y; z)

Tenemos:

( )
( ) ( ) ( ) ( )
( ) QED ; ; ) ; ; (

; ;
1 2 3 1 2 3
1 2 3 1 2 3
2 1 1 3 3 2
2 1 1 3 3 2
2 1 1 3 3 2 3 2 1
F r
r F
k j i
r F
V =
|
|
.
|

\
|
c
c

c
c
c
c

c
c
c
c

c
c
=
=
|
|
.
|

\
|
c
c

c
c
+ |
.
|

\
|
c
c

c
c
+
|
|
.
|

\
|
c
c

c
c
=
c
c

c
c
+
c
c

c
c
+
c
c

c
c
=
=
c
c
+
c
c
+
c
c
= V
= =
y
F
x
F
x
F
z
F
z
F
y
F
z y x
y
F
x
F
z
x
F
z
F
y
z
F
y
F
x
z
F
x
z
F
y
y
F
z
y
F
x
x
F
y
x
F
z
xF yF
z
zF xF
y
yF zF
x
xF yF zF xF yF zF
z y x
F F F



10.) Principio de Cavalieri. Determinar por el principio de Cavalieri el volumen de un toro de revolucin
caracterizado por los radios r y R.

SOLUCIN

Expresado en trminos ms pedestres, un
toro es una argolla que se obtiene haciendo
rotar un disco de radio r alrededor de un
punto situado a una distancia R del centro
del disco. En la figura apreciamos las vistas
transversal y superior del toro. Si cortamos
transversalmente el toro a una cierta altura
z, la seccin ser una corona circular de los
siguientes radios mayor y menor:

radio mayor:
2 2
z r R +
radio menor:
2 2
z r R

(Dejamos al alumno demostrar esto usando
el teorema de Pitgoras y el hecho de que el
radio del disco que rotando genera el toro es
r.)

El rea de la corona circular vendr dada
entonces por:


( ) ( ) ( )
2 2
2
2 2
2
2 2 2
menor
2
mayor
4 z r R z r R z r R R R A =
(

+ = = t t t


Y sta es el rea transversal que se obtiene seccionando el toro con un plano a una altura z. Por el
principio de Cavalieri, para obtener el volumen del toro tenemos que integrar estas reas transversales
entre el mnimo z y el mximo z, los cuales valores se puede ver en la figura que son -r y r:

2 2 1
2
2 2
tabla
2 2
2 sen
2 2
4 4 Rr
r
z r
z r
z
R dz z r R V
r
r
r
r
t t t =
(

+ = =

}



R
R + r R - r
R R + r R - r
2 2
z r R

2 2
z r R +

2 2
z r R

2 2
z r R +

x
x
z
z
y
r
r
-r
11.) Calcular
}}
D
y x
dxdy e e
2
, donde D es la regin limitada por el cuadrado 1 = + y x .

SOLUCIN

Desarrollando la expresin 1 = + y x para
los cuatro cuadrantes (esto es, reemplazando
los valores absolutos de x y y por x, -x, y o -y
segn corresponda) llegamos a que la regin
de integracin es el cuadrado de la figura. Por
lo tanto podemos expresar la integral de la
siguiente manera:



| | | |
| | | |
3
2
1
2
3
2
1
6
1
3
2
2
3
2
2
2
2
1
3
1
2
2
2
1
1
0
2 3
2
0
1
2
2 3
2
1
1
0
2 3 2
2
1
0
1
2 2 3
2
1
1
0
2 2 2 2
2
1
2 2 2 2
0
1
2
1
1
0
1
1
2
0
1
1
1
2
1
0
1
1
2
0
1
1
1
2 2
3 3 3 3
3 3
2 2

+
+

+
+ +

+

+

+

+ =
(

+ +
(

+ =
=
(

+
(

+ = +
= + =
=
(

+
(

= +
+ =
} }
} }
} } } }
}} } }
e e e e e
e
e
e
e e
e
e
e
e
e e
e
dx e e dx e e
dx e e e dx e e e
dx
e
e dx
e
e dydx e e
dydx e e dxdy e e
x
x x
x
x x x x
x x x x x x
x
x
y
x
x
x
y
x
x
x
y x
D
x
x
y x y x



12.) Cambio en el orden de integracin. Calcular
} }
4
0
2
2 /
2
y
x
dxdy e

SOLUCIN

El integrando no reconoce una primitiva de sencilla
formulacin, sino que la misma debe expresarse
mediante series.

Para evitar esto, podemos intentar cambiar el orden de
integracin. Proponemos as:

1 2
4
2
0
2 2
0
2 2
0
2
0
2
2
0
2
0
2 4
0
2
2 /
2
= = =
(

=
= =
} } }
} } } }
e e xdx e dx dy e
dydx e dxdy e
x x
x
x
x
x
y
x







x - y = 1
x + y = 1 x - y = -1
x + y = -1
x
y
1
1 -1
-1
x
y
x
2
1
x
4
x
y = 2x
x = y/2
PROBLEMAS DEL TEOREMA FUNDAMENTAL DE LAS INTEGRALES DE LNEA


TEOREMA 1 (TEOREMA FUNDAMENTAL)

Sea C una curva suave dada por la funcin vectorial r(t), a s t s b. Sea f una funcin derivable de 2 3
variables, cuyo vector gradiente Vf es continuo sobre C. Entonces:

)) ( ( )) ( ( a f b f f
C
r r dr = V
}


TEOREMA 2

}
C
dr F es independiente de la trayectoria en D si y slo si 0 =
}
C
dr F para toda trayectoria
cerrada C en D.

TEOREMA 3

Sea F un campo vectorial continuo sobre una regin abierta conexa D. Si
}
C
dr F es independiente de
la trayectoria en D, entonces F es un campo vectorial conservativo sobre D; es decir, existe una funcin f
tal que Vf = F.

TEOREMA 4

Si F(x;y) = P(x;y) i + Q(x;y) j es un campo vectorial conservativo, donde P y Q tienen derivadas parciales
de primer orden continuas sobre un dominio D, entonces en todo D tenemos que

x
Q
y
P
c
c
=
c
c


Este teorema se puede extender a 3 variables (se ver al estudiar el rotacional).

TEOREMA 5

Sea F(x;y) = P(x;y) i + Q(x;y) j un campo vectorial sobre una regin simplemente conexa D. Supngase
que P y Q tienen derivadas parciales continuas de 1 orden y que:

x
Q
y
P
c
c
=
c
c


Entonces F es conservativo (extensible a 3 variables).

EQUIVALENCIAS

- F conservativo.
-
}
C
dr F independiente de la trayectoria.
- 0 =
}
C
dr F en una trayectoria cerrada.
- Derivadas parciales cruzadas de F iguales en una regin simplemente conexa.


PROBLEMAS RESUELTOS

13.) Independencia del camino en una integral de lnea. Calcular el trabajo llevado a cabo por el campo
de fuerza F al llevar un objeto desde A hasta B, siguiendo a) un camino compuesto de un tramo
horizontal seguido de uno vertical; y b) un camino compuesto por un tramo vertical seguido de uno
horizontal. Discutir si el resultado es lgico o no.

) 2 ; 4 ( ; ) 1 ; 1 ( ;
2
) ; (
2
2

|
.
|

\
|

|
.
|

\
|
= B A
Q
x
y
P
x
y
y x j i F




SOLUCIN:

a) Si llamamos C a la curva indicada, la podemos
subdividir en las curvas C
1
y C
2
mostradas en la figura. En
tal caso tendremos:

} } }
+ =
2 1

C C C


Ejecutando ambas integrales por separado tendremos
(escogiendo parametrizaciones simples):

( )
( )
( )
4
3
4
9
2
3
3
0
2
4
1
2
1
3
0
2
4
3
3
0
3
0
2
1
2
1
4
) 1 ( 2
3 0 ,
1
4
1
1
1
1
3 0 ,
1
1
= = =

= + s s
=
=
=
+
=

+
= + s s
=
+ =
} }
} }
t t dt
t
Qdy Pdx t
t y
x
C
t
dt
t
Qdy Pdx t
y
t x
C
C
C


Con lo cual resulta:

( ) 0 -
4
3
4
3
= + = +
}
C
Qdy Pdx




x
y
(1;1)
C
1
(4;-2)
C
2
b) Llamando C
*
a este nuevo camino, vemos que lo podemos
separar en dos tramos C
3
y C
4
.

Tendremos entonces, igual que en el apartado anterior, que

} } }
+ =
4 3

* C C C


Realizando parametrizaciones parecidas a las ejecutadas en
el apartado anterior, llegamos a lo siguiente:

( )
3
1
4
) 1 (
) 2 (
3 0 ,
2
1
3 2 ) 1 (
1
) 1 ( 2
3 0 ,
1
1
3
0
3
0
2
2
2
3
0
2
3
0
3
4
3
=
+
=

= + s s
=
+ =
= =

= + s s
=
=
} }
} }
t
dt
t
Qdy Pdx t
y
t x
C
t t dt
t
Qdy Pdx t
t y
x
C
C
C


Sumando esto se obtiene:

0 3 3
*
= + = +
}
C
Qdy Pdx

Por ambas vas obtenemos el mismo resultado. Esto es lgico, ya que vemos que:

x
Q
x
y
y
P
c
c
= =
c
c
2
2


Las derivadas cruzadas son iguales, excepto cuando x = 0, pero esto ltimo no ocurre dentro de un
dominio simplemente conexo que abarca a ambos caminos analizados. Por lo tanto, por el teorema 5 las
integrales sobre ambos caminos deben ser iguales.


x
y
(1;1)
C
3
(4;-2)
C
4
14.) Clculo de una integral de lnea usando una funcin potencial. Calcular la integral de lnea del
campo vectorial F(x;y) = P(x;y)i + Q(x;y)j = e
y
i + xe
y
j a lo largo de la trayectoria:

r(t) = (senh(5t
4
)/senh5; t
4
+ 5t
3
- 3t
2
- 2t) , =0 s t s 1

SOLUCIN:

x
Q
e
y
P
y
c
c
= =
c
c
F es conservativo. Por lo tanto puede expresarse como el gradiente de una funcin
potencial f; esto es: Vf = F. Si obtenemos tal funcin f, podremos aplicar el teorema fundamental de las
integrales de lnea.

Para ello notemos que:

) ( y g xe f e P
x
f
y y
+ = = =
c
c
(1),

donde g(y) es una funcin que depende solamente de la variable y. Si ahora derivamos la funcin f
obtenida respecto a y, debemos llegar a una expresin equivalente a la otra funcin coordenada, esto
es, Q.

K y g y g xe Q y g xe
y
f
y y
= = ' = = ' + =
c
c
) ( 0 ) ( ) (

Reemplazando este ltimo resultado en (1), tenemos:

K xe f
y
+ = (2)

Ya tenemos la funcin potencial. Ahora podemos aplicar el teorema fundamental de las integrales de
lnea:

)) 0 ( ( )) 1 ( ( r r dr dr F f f f
C C
= V =
} }


Calculando los puntos extremos de la curva con los valores correspondientes del parmetro tenemos:

|
|
.
|

\
|

=
|
.
|

\
|
+ =
=
|
.
|

\
|
=

1 ; 1 2 1 3 1 5 1 ;
5 senh
1 senh
) 1 (
) 0 ; 0 ( 0 ;
5 senh
0 senh
) 0 (
5 5
1
2 3 4
e e
e e
r
r


Aplicando ahora la funcin f dada por (2) a estos dos puntos tenemos:

K e
e e
e e
f
K f
+

=
+ =

5 5
1
)) 1 ( (
0 )) 0 ( (
r
r


Y finalmente:

e
e e
e e
f f
C
5 5
1
)) 0 ( ( )) 1 ( (

= =
}
r r dr F
15.) Clculo de un trabajo mediante una funcin potencial. Dado el campo vectorial de fuerzas

F(x;y;z) =4xe
z
i + cosy j + (2x
2
e
z
+ z) k ,

a) Determinar una funcin f tal que Vf = F.
b) Hallar el trabajo que desarrolla F cuando mueve una partcula desde el punto
( ) ( ) 0 ; ; 0 al ; ;
2
3
2
2
2
2
2
2
siguiendo el camino ms corto sobre la esfera
2
3
2 2 2
= + + z y x ,
expresndolo con 3 cifras decimales.

SOLUCIN

a) La funcin f que buscamos debe cumplir con las condiciones:

(i) f
x
= 4xe
z

(ii) f
y
= cosy
(iii) f
z
= 2x
2
e
z


Integrando la condicin (i) tenemos:

}
+ = = ) ; ( 2 4
1
2
z y g e x dx xe f
z z


Derivando ahora con respecto a y e introduciendo el resultado en la ecuacin (ii) tenemos:

) ( sen cos
2 1
1
z g y g y
y
g
y
f
+ = =
c
c
=
c
c


Y ahora podemos introducir esta expresin en la correspondiente a f, y derivarlo con respecto a z e
introducir el resultado en (iii):

K z z g z e x z g e x f z g y e x z y x f
z z
z
z
+ = + = ' + = + + =
2
2
1
2
2
2
2
2
2
) ( 2 ) ( 2 ) ( sen 2 ) ; ; (

Con esta expresin para g
2
, tenemos ahora la expresin final de f:

K z y e x z y x f
z
+ + + =
2
2
1
2
sen 2 ) ; ; (

b) Por el teorema fundamental de las integrales de lnea, podemos ahora calcular el trabajo como la
diferencia de valores de la funcin potencial entre sus extremos final e inicial:

987 , 1 9278 , 2 94072 , 0
) ; ; (
94072 , 0 ) 0 ; ; 0 (
2
1
2
1
2
1
2
3
= =
+
+ =
W
K f
K f


-2,269 es un resultado incorrecto que se obtiene con la calculadora puesta en grados.
x
y
(-1;0)
C
1
(1;0)
C
2
16.) Limitaciones en la aplicacin del Teorema Fundamental de las integrales de lnea.
Sea
2 2
) ; (
y x
x y
y x
+
+
=
j i
F
a) Probar que
x
Q
y
P
c
c
=
c
c
en todo el dominio.
b) Calcule
} }

2 1
y
C C
dr F dr F , donde C
1
y C
2
son las mitades superior e inferior de la
circunferencia x
2
+ y
2
= 1 de (1;0) a (-1;0). Cmo se explica que la integral dependa del camino en vista
del resultado de (a)?

SOLUCIN

a)
( )
( ) ( )
( )
( ) ( )
y
Q
y
P
y x
x y
y x
x x y x
y
Q
y x
x
Q
y x
x y
y x
y y y x
y
P
y x
y
P
c
c
=
c
c

=
+
+
=
c
c

+
=
+

=
+
+
=
c
c

=
2
2 2
2 2
2
2 2
2 2
2 2
2
2 2
2 2
2
2 2
2 2
2 2
) 2 ( 1
) ( 2 ) 1 (


Ntese que este resultado es vlido en todo el dominio, ya que, si bien las derivadas parciales no estn
definidas en el (0;0), este ltimo no pertenece al dominio.

b) Las curvas estn indicadas en la figura. Parametrizando C
1
e
integrando F se tiene:

s s
=
=
t 0 ,
sen
cos
1
t
t y
t x
C

}
} }
= + =
= + =
t
t
0
cos cos ) sen ( sen
1 1
tdt t dt t t
Qdy Pdx
C C
dr F


Haciendo un trabajo similar para C
2
es:

s s
=
=
t 0 ,
sen
cos
1
t
t y
t x
C

0 2 cos ) cos ( cos ) sen ( sen
0 0
1 1
= = + = + =
} } } }
t t
tdt dt t t dt t t Qdy Pdx
C C
dr F

La explicacin es que cualquier regin que abarque ambos caminos necesariamente debe ser no
simplemente conexa (debe excluirse alguna subregin que incluya el (0;0), que no pertenece al
dominio), y por ende no vale el teorema 5.







PROBLEMAS DE TEOREMA DE STOKES

ENUNCIADO DEL TEOREMA DE STOKES

Sea S una superficie orientada y suave a trozos, acotada por una curva C suave a trozos, cerrada y
simple, cuya orientacin es positiva. Sea F un campo vectorial cuyas componentes tienen derivadas
parciales continuas sobre una regin abierta en R
3
que contiene a S. Entonces:

}} }} }
V = =
S S C
dS F dS F dr F rot


PROBLEMAS RESUELTOS

1) Verificacin del Teorema de Stokes. Verificar el teorema de Stokes para el campo vectorial F(x;y;z) =
3yi + 4zj - 6xk y la parte de la superficie paraboloidal z = 9 - x
2
- y
2
ubicada sobre el plano xy y orientada
hacia arriba.

SOLUCIN

Clculo como integral de lnea: La curva C es en este caso una
circunferencia de radio 3 centrada en el origen sobre el plano xy.
Podemos parametrizarla como:

t u u
u
2 0 ,
0
sen 3
cos 3
s s

=
=
=
z
y
x


Con esta parametrizacin tenemos:

F(u) = 9senu i + 0j 18cosu k

r(u) = 3senu i + 3cosu j + 0k

r(u) = 27sen
2
u

t
u
u
u u
u
u u u u u
t
t t t
27
2
2 sen
2
2 cos 1
27 sen 27 ) ( ) (
2
0
2
27
2
0
2
0
2
2
0
=
|
.
|

\
|
=
=
|
.
|

\
|
= = ' =
} } } }
d d d
C
r F dr F


Clculo como integral de superficie: Primero evaluamos el rotacional.


k j i
k j i
F rot 3 6 4
6 4 3
+ =

c
c
c
c
c
c
=
x z y
z y x


Ahora parametrizamos la superficie del paraboloide. Para eso observamos que su proyeccin sobre el
plano xy es un crculo de radio 3 con centro en el origen. Parece lgico usar una parametrizacin basada
en coordenadas cilndricas:
3
y
z
x
C

S

3
9

t u
u
u
u
2 0
3 0
,
9
sen
cos
) ; (
2
s s
s s

=
=
=
r
r z
r y
r x
r r

El producto vectorial fundamental ser:

k j i
k j i
r r sen 2 cos 2
0 cos sen
2 sen cos
2 2
r r r
r r
r
r
+ + =

= u u
u u
u u
u


Vemos que la componente z de este vector es positiva. Por lo tanto la parametrizacin describe a una
superficie con orientacin positiva.

Usando entonces esta parametrizacin, tenemos:

t
u u u u
t
t
u
27
2
3
) 3 sen 12 cos 8 ( ) ( rot rot
2
0
3
0
2
2
0
3
0
2 2
=
= + = =
}
} } }} }}
r
drd r r r drd
D
r
S
r r F dS F


Llegamos al mismo valor que cuando lo hicimos como integral de lnea, verificando de esa manera el
teorema de Stokes.

2) Transformacin de una integral de superficie en otra ms sencilla usando el Teorema de Stokes. Utilice
el teorema de Stokes para evaluar la integral del rotacional del campo vectorial F(x; y; z) = xyzi + xyj +
x
2
yzk sobre el dominio S consistente en la unin de la parte superior y de las cuatro caras laterales (pero
no el fondo) del cubo con vrtices (1; 1; 1), orientado hacia afuera.

SOLUCIN

La geometra descrita en el enunciado est
representada en la figura. Se requiere calcular
el flujo de rot F a travs de todas las caras del
cubo menos la de abajo. Observemos que esa
regin de integracin est limitada por la curva
orientada indicada en la figura; llammosla C.
(La orientacin dada se corresponde con
normales con la componente z mayor o igual
que 0, que es lo necesario para que las
normales apunten hacia el exterior del cubo.)
El teorema de Stokes nos asegura que:

} }}
= V
C S
dr F dS F) ( ,

lo cual en s no implica una simplificacin
demasiado significativa, dado que en lugar de
tener que parametrizar cinco superficies para evaluar la integral de flujo deberemos parametrizar cuatro
segmentos de recta para calcular la integral de lnea.

Sin embargo, notemos que la curva C tambin delimita la superficie de la base del cubo, a la cual
llamaremos S. Puesto que el teorema de Stokes nos asegura que la integral del campo vectorial sobre
una curva cerrada es igual al flujo de su rotacional sobre cualquier superficie limitada por ella, tenemos
que:

dS F dr F dS F V = = V
}} } }}
) ( ) (
' S C S


con lo cual podemos integrar el rotor directamente sobre la superficie de la base. Parametrizando esta
ltima tenemos, pues:

T(x; y) = (x(x; y); y(x; y); z(x; y)) = (x; y; -1), -1 s x s 1, -1 s y s 1 (1)

y su producto vectorial fundamental es:

k
k j i
T T N = = =
0 1 0
0 0 1
y x


Notemos que esta normal apunta hacia arriba, que es precisamente el sentido en que debe apuntar de
acuerdo a la regla de la mano derecha. Por otro lado el rotacional del campo escalar viene dado por:

z
1
O
y
x
1
1
k j i k j i
k j i
F ) ( ) ( ) ( ) 2 (
2 2
2
(1) param. la
por reemp.
x y xy x xz y xyz xy z x
yz x xy xyz
z y x
+ + = + + =
c
c
c
c
c
c
= V
+


Por lo tanto la integral que buscamos ser:

} } }} }} }}

= = + = V = V
1
1
1
1
'
2
' '
0 ) ( ) ) ( ( dxdy x y dS x y xy x dS
S S S
k k j i N F dS F

En este problema vemos que el teorema de Stokes permite no slo transformar una integral de
superficie en una de lnea, sino tambin convertirla en otra integral de superficie de clculo ms sencillo.
La seleccin de una u otra de estas opciones depender del problema particular.
3) Aplicacin al concepto de circulacin de un campo. Calcular la circulacin del campo de velocidades de
un fluido F(x;y;z) = (tan
-1
(x
2
); 3x; e
3z
tanz) a lo largo de la interseccin de la esfera x
2
+ y
2
+ z
2
= 4 con el
cilindro x
2
+ y
2
=1, con z > 0.

SOLUCIN:

La circulacin de un campo es su integral a lo
largo de una lnea cerrada. Recordemos que
la razn entre la circulacin del campo de
velocidades y el rea de la superficie
encerrada por la curva tiende a un cierto
valor a medida que el radio de la curva tiende
a 0; si este valor es nulo, entonces el fluido es
irrotacional y un molinillo ubicado en ese
punto lmite no rotar.

Prima facie vemos que el campo vectorial F
tiene una ley bastante compleja, por lo que
se puede anticipar que el clculo de la
circulacin como integral de lnea puede
resultar asaz engorroso. Por lo tanto, vale la
pena calcular el rotacional a ver si resulta una
funcin matemticamente ms tratable.

k j i
k j i
F rot 3 0 0
tg 3 ) ( tg
3 2 1
+ + =
c
c
c
c
c
c
=

z e x x
z y x
z


En efecto, se simplifican enormemente los clculos al resultar el rotacional una funcin vectorial
constante.

Por el teorema de Stokes, podemos calcular la integral de lnea de F sobre la curva dada como el flujo
del rotor a travs de la superficie grisada. Parametrizando esta ltima:

t u
u
u
u
2 0
1 0
,
4
sen
cos
) ; (
2
s s
s s

=
=
=
r
r z
r y
r x
r r

Y hallando el producto vectorial fundamental:

k j i
k j i
r r sen
4
cos
4
0 cos sen
4
sen cos
2 2 2
r
r
r
r
r
r r
r
r
r
+

= u u
u u
u u
u


Vemos que esta normal tiene componente z positiva, correspondiendo a una superficie positivamente
orientada. con esto podemos calcular ahora:
t u u
t
u
3 3 ) ( rot rot
2
0
1
0
} } }} }}
= = = rdrd drd
D
r
S
r r F dS F


x
y
z
1 2
2

























































PROBLEMAS DE TEOREMA DE GREEN

ENUNCIADO DEL TEOREMA

Sea C una curva simple y cerrada, suave a trozos y orientada positivamente, y sea F(x;y) = (P;Q) un
campo vectorial cuyas funciones coordenadas tienen derivadas parciales continuas sobre una regin
abierta que contiene a la regin D acotada por C. Entonces:

} }} }
+ = =
|
|
.
|

\
|
c
c

c
c
C D C
Qdy Pdx dA
y
P
x
Q
dr F


PROBLEMAS RESUELTOS

17.) Transformacin de una integral de lnea en una de rea. Evaluar
}
+
C
xydx dx x
4
, donde C es la
curva triangular que une los puntos (0;0), (0;1) y (1;0), orientada positivamente.

SOLUCIN:

La grfica indica la regin encerrada por la curva C.
Tenemos:

y
x
Q
xy y x Q
y
P
x y x P
=
c
c
=
=
c
c
=
) ; (
0 ) ; (
4


Por lo tanto:

( )
( )
6
1
1
1
1
0
3
6
1
2
1
0
2
1
1
0
1
0
1
0
1
0
2
2
1
4
= =
= = |
.
|

\
|
= =
|
|
.
|

\
|
c
c

c
c
= +
} }} } } } }

x
dx x dx y ydydx dA
y
P
x
Q
xydx dx x
D
x x
C


Ntese que si hubiramos hecho la integral de lnea habramos tenido que hacer 3 integrales con las
correspondientes parametrizaciones.

x
y
1
1
y = 1x D
y
x
1
1
-1
-1
18.) Determinacin de un rea mediante una integral de lnea. Determine el rea de la regin limitada
por la hipocicloide que tiene la ecuacin vectorial

r(t) = cos
3
t i + sen
3
t j , 0 s t s 2t

SOLUCIN:

De la parametrizacin de la curva tenemos:

x = cos
3
t x
2/3
= cos
2
t
y = sen
3
t y
2/3
= sen
2
t

Sumando miembro a miembro tenemos:

( )
( )
( )
( )
} } }

+

= = = = +
1
1
2 / 3
3 / 2
1
1
1
1
2 / 3
3 / 2 3 / 2 3 / 2
1 2 1 1
2 / 3
3 / 2
2 / 3
3 / 2
dx x dydx A x y y x
x
x


Este clculo, ejecutado como integral de rea, es muy complicado. El teorema de Green nos permite
transformar esta integral en una de lnea, usando como trayectoria la hipocicloide del enunciado y
definiendo una funcin apropiada para la integracin. Veamos:

El rea de una regin D viene dada por
}}
=
D
dA A 1 . Por lo tanto, para aplicar Green deberamos
encontrar funciones P, Q / 1 =
c
c

c
c
y
P
x
Q
. Un par de funciones sencillas que cumplen esta condicin
son P = 0, Q = x. Si recordamos la parametrizacin, escribimos:

x = cos
3
t dx = -3 cos
2
t sent dt
y = sen
3
t dy = 3 sen
2
t cost dt

Luego:

t
t
t
t t t
t t
8
3
6
2 sen
8
4 sen
2 cos 2 sen
2
4 cos 1
) 2 cos 2 sen 2 (sen
4
2 sen
2
2 cos 1
3
4
2 sen
cos 3
sen cos 3 cos sen 3 cos
2
0
3
2
1
8
3
2
0
2
8
3
2
0
2 2
8
3
2
0
2
2
0
2
2
2
0
2 4
2
0
2 3
=
(

+ =
|
.
|

\
|
+

=
= + =
|
.
|

\
| +
= =
= = = + =
|
|
.
|

\
|
c
c

c
c
=
}
} } }
} } } }}
t t
t dt t t
t
dt t t t dt
t t
dt
t
t
tdt t tdt t t Qdy Pdx dA
y
P
x
Q
A
C D


De esta manera contamos con una herramienta ms para obtener el rea de la regin encerrada por
una curva cerrada, que se suma al mtodo en coordenadas polares visto en Anlisis II y al clculo por
integral de rea que ejecutamos cuando tenemos la expresin cartesiana de la curva.

19.) Limitaciones en la aplicacin del Teorema de Green. Dado

F(x;y)= (P;Q) = (-y i + x j) / (x
2
+ y
2
)

a) Calcular su integral de lnea sobre el crculo x
2
+ y
2
= 1
b) Calcular dA
y
P
x
Q
D
}} |
|
.
|

\
|
c
c

c
c
, donde D es la regin encerrada por la curva del punto a).
c) Discutir si estos resultados estn de acuerdo o no con el Teorema de Green.

SOLUCIN:

a) Parametricemos el crculo.

t 2 0 ,
cos sen
sen cos
s s
= =
= =
t
tdt dy t y
tdt dx t x


tdt Qdx tdt
t t
t
t y t x Q
tdt Pdx tdt
t t
t
t y t x P
2
2 2
2
2 2
cos cos
cos sen
cos
)) ( ); ( (
sen sen
cos sen
sen
)) ( ); ( (
= =
+
=
= =
+

=


Integrando tendremos, as:

( )
} }
= + = +
C
dt t t Qdy Pdx
t
t
2
0
2 2
2 cos sen

b) Haciendo los clculos directamente en coordenadas cartesianas es:

( ) ( )
( )
( ) ( )
0 0
2 ) (
2
2
2 2
2 2
2
2 2
2 2
2
2 2
2 2
2
2 2
2 2
=
|
|
.
|

\
|
c
c

c
c
=
c
c

c
c

=
+
+
=
c
c
+

=
+
+
=
c
c
}}
dA
y
P
x
Q
y
P
x
Q
y x
x y
y x
y y y x
y
P
y x
x y
y x
x x y x
x
Q
D


c) Aparentemente estos resultados contradiran el Teorema de Green. Sin embargo, este ltimo no es
aplicable a la regin en cuestin, dado que las funciones P y Q no tienen derivadas parciales continuas
en el punto (0;0), que est contenido en la regin.

20.) Aplicacin del teorema de Green a un problema fsico sobre una regin con agujeros. Determinar el
momento de inercia de una arandela homognea de radio interno a, radio externo b y masa M, respecto
a uno de sus dimetros.

SOLUCIN:

Determinaremos el momento de inercia respecto al
dimetro colineal con el eje x. De Fsica sabemos
que:

}}
=
D
x
dA y I
2


Donde es la densidad superficial de la arandela,
supuesta constante dado que es homognea.

Esta regin no es simplemente conexa pero, como
se vio en la teora, se puede extender el teorema de
Green a este tipo de regiones con agujeros, siendo:

}} } }
+ + =
|
|
.
|

\
|
c
c

c
c
D C C
Qdy Pdx Qdy Pdx dA
y
P
x
Q
1 2


Por lo tanto podremos calcular la integral doble del momento de inercia como dos integrales. Para ello
debemos encontrar funciones P, Q tales que:

3
3
1
2
; 0 : ejemplo por , tomamos ; y P Q y
y
P
x
Q
= = =
|
|
.
|

\
|
c
c

c
c


Aplicando Green con esta funcin tenemos:

(
(

+ =
(
(

+ + = =
} } } } }}
2 1 2 1
3
3
1
3
3
1
3
3
1
3
3
1
2
0 0
C C C C D
x
dx y dx y dy dx y dy dx y dA y I (1)

Parametrizando estas curvas tenemos

s s
= =
= =

s s
= =
= =
t
t
2 0 ,
cos sen
sen cos
2 0 ,
cos sen
sen cos
2
1
t
t a dy t a y
t a dx t a x
C
t
t b dy t b y
t b dx t b x
C


Reemplazando con esto en (1) tendremos:

( ) = =
(

+ =
} } }
t t t

2
0
4 4 4
3
1
2
0
2
0
3 3
3
1
3 3
3
1
sen ) sen ( sen ) sen ( sen tdt a b dt t a t a dt t b t b I
x

y
x
a b
C
2
C
1
( ) ( ) ( )
( ) ( ) ( ) ( )
( )M a b
a b a b a b dt
t t
a b
dt
t
t a b dt t t a b
2 2
4
1
2 2 2 2
4
1
4 4
4
1
2
0
4 4
3
1
2
0
2
2 4 4
3
1
2
0
2 2 4 4
3
1
8
4 cos 1
2
cos 1
4
2 sen
sen cos 1 sen
+ =
= + = =
|
.
|

\
|

=
=
|
|
.
|

\
|
= =
}
} }
t t

t
t t


sta es la manera estndar de expresar un momento de inercia: como el producto de una longitud o
suma de longitudes al cuadrado por la masa del rgido.














































PROBLEMAS DE TEOREMA DE LA DIVERGENCIA

ENUNCIADO DEL TEOREMA

Sea E una regin simple slida cuya superficie frontera S tiene una orientacin positiva (hacia afuera).
Sea F un campo vectorial cuyas funciones componentes tienen derivadas parciales continuas sobre una
regin abierta que contiene a E. Entonces:

}} }}}
=
S E
dV div F dS F

Recordar que otra notacin para div F es VF

PROBLEMAS RESUELTOS

21.) Evaluar el flujo del campo vectorial

F(x;y;z) = xyi +(y
2
+
2
xz
e )j +sen(xy)k

a travs de la superficie frontera de la regin E acotada por el cilindro parablico z = 1 - x
2
y los planos z
= 0, y = 0, y + z = 2.

SOLUCIN

El problema invita a la transformacin de la integral de flujo en algn otro tipo de integral para evitar las
complejidades que surgiran de parametrizar el segundo trmino de la segunda componente del campo
vectorial, y tambin para hacer una sola integral en vez de cuatro.

Para aplicar el teorema de la divergencia
calculamos:

div F = y + 2y = 3y

Evaluaremos la integral de volumen de
esta funcin escalar tomando el dominio
como una regin de tipo 3; esto es, una
regin encerrada entre dos funciones de
un dominio bidimensional ubicado sobre
el plano xz.


3 3 div
35
184
1
1
1
0
2
0
2
} } } }}} }}} }}


= = = = =
x z
E E S
ydydzdx ydV dV F dS F

(0;2;0)
y = 2 - z
z = 1 -x
2

(1;0;0)
(0;0;1)
y
x
z
22.) Verificar el teorema de la divergencia para el campo vectorial F = |r|r y la superficie esfrica x
2
+ y
2

+ z
2
= 9.

SOLUCIN:

El vector r es el vector posicin (x; y; z). De modo que en trminos de las variables cartesianas el campo
vactorial dado puede expresarse como:

) ; ; (
2 2 2
z y x z y x + + = F

La superficie dada puede parametrizarse a travs de coordenadas esfricas:

s s
s s
=
=
=
t u
t

u
u
2 0
0
,
cos 3
sen sen 3
cos sen 3
z
y
x


Con esta parametrizacin tenemos:

) cos sen 9 ; sen sen 9 ; cos sen 9 (

sen 3 sen cos 3 cos cos 3
0 cos sen 3 sen sen 3
2 2
u u
u u
u u
u
=
=

=
k j i
r r


Es sta una normal exterior? Probmoslo con un punto. En (0;3;0) tendramos u = = t/2, y para tales
valores el PVF calculado da (0;-9;0), o sea una normal interna. Por lo tanto la normal externa vendr
dada por el PVF calculado haciendo el producto vectorial en el orden opuesto, esto es:

) cos sen 9 ; sen sen 9 ; cos sen 9 (
2 2
u u
u
= r r

Evaluando ahora F en funcin de esta parametrizacin es:

F(;u) = 3(3sencosu; 3sensenu; 3cos)

y:

F(r

r
u
) = = 81sen

As que:

| | t u t u t u u
t t t
t
u
324 cos 81 sen 81 ) ( ) ; (
2
0 0
2
0
2
0
= = = =
} } } }} }}
d d d d d
D S
r r F dS F

Hemos hecho un clculo bastante complejo por integrales de superficie. Veamos ahora cmo
reduciendo esto a una integral de volumen con el teorema de la divergencia el clculo se simplifica
notablemente.

Calculemos en primer lugar la divergencia:

( ) ( ) ( )
2 2 2 2 2 2 2 2 2
div z y x x
x
z y x y
y
z y x x
x
+ +
c
c
+ + +
c
c
+ + +
c
c
= F

Calculando las derivadas parciales por separado y sumando miembro a miembro se tiene:

( )
( )
( )
2 2 2
2 2 2
2 2 2
2 2 2
2 2 2
2
2 2 2 2 2 2
2 2 2
2
2 2 2 2 2 2
2 2 2
2
2 2 2 2 2 2
4 3 div z y x
z y x
z y x
z y x
z y x
z
z y x z y x z
z
z y x
y
z y x z y x y
y
z y x
x
z y x z y x x
x
+ + =
+ +
+ +
+ + + =
+ +
+ + + = + +
c
c
+ +
+ + + = + +
c
c
+ +
+ + + = + +
c
c
F


Si ahora llevamos esto a coordenadas esfricas tenemos:


Haciendo los clculos obtenemos:

t 324 div =
}}}
dV
E
F

Hemos obtenido el mismo resultado por los dos caminos, verificando as el teorema de la divergencia.

d d d d d dV
E

u
t t t t
sen
4
4 sen 4 div
3
0
2
0 0
3
0 0
2
0
4
2
}}} } } } } }
(

= = F
23.) Calcular el flujo del campo F(x; y; z) =(0; e
senxz
+ tanz; y
2
) a travs del semielipsoide superior 2x
2
+ 3y
2

+ z
2
= 6, z > 0 con su normal apuntando hacia arriba.

SOLUCIN

Resolveremos este problema por el teorema de la divergencia.
Si observamos que div F = 0, y llamando (ver figura) S = S
1
S
2
y
V el volumen encerrado por S, podemos plantear:

0
0
div. por teor.
0 ser por
=

= V
= V
}}
}} }}}
}}}
+
+
= V
S
S V
V
dV
dV
dS F
dS F F
F
F
(1)

Nos interesa la integral no sobre toda la superficie S, sino slo
sobre S
2
. Puesto que la integral es un concepto aditivo respecto
al dominio de integracin, tendremos

}} }} }} }} }}
= = + =
+
1 2 2 1
0
(1) ec. por
S S S S S
dS F dS F dS F dS F dS F
(2)

Vemos que la integral sobre S
2
es la misma que la integral sobre S
1
cambiada de signo. Calcularemos,
pues, esta ltima, que aparenta ser ms sencilla, dado que la normal es un vector vertical y adems la
superficie carece de componente z. S
1
es una elipse sobre el plano xy, 2x
2
+ 3y
2
= 6, que puede ser
parametrizada directamente en coordenadas cartesianas como T(x; y) = (x(x; y); y(x; y); z(x; y)), donde:

s s
s s
=
=
=
2
3
2
2
3
2
- 2 - 2
3 3
,
0
x y x
x
z
y y
x x
,

donde los lmites para x y y han sido despejados de la ecuacin de la elipse. Para esta parametrizacin,
tenemos que el producto vectorial fundamental ser:

k
k j i
T T N = = =
0 1 0
0 0 1
y x


Si ejecutramos el PVF en el orden inverso, nos dara -k. Cul debemos elegir? El enunciado nos pide
que la normal de la superficie elipsoidal apunte hacia arriba, lo cual significa que apunte hacia el exterior
del volumen indicado en la figura, que es el que usamos para plantear el teorema de la divergencia. Por
lo tanto, para la base tambin deberemos tomar la normal exterior a dicho volumen, esto es, -k.

Por lo tanto la integral que buscamos vendr expresada por:

O
y
z
x
S
1
S
2
6

2

3
( ) ( )
t t
2
3
8
27
3
2
9
4
3
3
2 / 3
2
2 / 3
3
2
3
1
- 3 3 / 2
- 3 3 / 2
3
3
3
3
1
3
3
- 3 3 / 2
- 3 3 / 2
2
3
3
(2/3) - 2
(2/3) - 2
2
3
3
(2/3) - 2
(2/3) - 2
2
tablas
- 3 2
) 1 ; 0 ; 0 ( ) ; 0 ; 0 (
2
2
2
2
2
2
1
2
2
1
= =
= = =
= = = =
+


} } } }
} } }} } } }}
dx x dydx y dydx y
dydx y dydx y dS
x
x
x
x
x
x
S
x
x
S
N F dS F


Luego, reemplazando en (2) tenemos

t
2
3
1 2
= =
}} }}
S S
dS F dS F

Que es el resultado que buscbamos. Podran haberse utilizado tambin coordenadas elpticas, que
hubieran simplificado la integral pero a costa de una mayor complejidad en el clculo del PVF, lo que
significaba aproximadamente el mismo trabajo que operando en cartesianas.

24.) Hidrosttica. A partir del principio de Pascal, demostrar el de Arqumedes.
Principio de Pascal: p = p
0
+ gh
Principio de Arqumedes: Empuje = Peso de lquido desplazado (en mdulo).

SOLUCIN:

Si E es un slido con superficie
frontera S sumergido en un
lquido de densidad consante
, en cuya interfase con la
atmsfera reina una presin
ambiente p
0
, y si adoptamos
un sistema de coordenadas
como el de la figura, el
principio de Pascal nos dice
que la presin en el diferencial
de superficie indicado,
ubicado a una profundidad L -
z, vendr dada por:

p = p
0
+ g(L - z)

Por definicin de presin, la
fuerza que el fluido ejercer
sobre cada elemento de
superficie del slido vendr
dada en igual direccin y sentido contrario a la normal externa a este ltimo, siendo:

dF = -pdS

La componente vertical de esta fuerza vendr dada por:

dF
z
= dF(0;0;1) = -pdS(0;0;1) = -[p
0
+ g(L - z)](0;0;1)dS

Si integramos este diferencial de fuerza sobre todo el dominio, esto es, sobre toda la superficie S,
obtendremos la componente vertical de la fuerza resultante:

}} }}
+ = + =
S S
z
gz gL p z L g p F dS dS ) ; 0 ; 0 ( ) 1 ; 0 ; 0 ))( ( (
0 0


Notemos ahora que esta ltima es una integral de flujo, y que podemos por lo tanto aplicarle el teorema
de la divergencia:

gM dV g dV g
dV gz gL p gz gL p F
E E
E S
z

) ; 0 ; 0 ( div ) ; 0 ; 0 (
0 0
}}} }}}
}}} }}
= = =
= + = + = dS


Donde M es la masa del lquido que ocupara un volumen igual al del objeto sumergido. La fuerza
vertical total, pues, es igual al peso del lquido desplazado. Se deja al lector demostrar por un
razonamiento similar que las componentes x e y de la fuerza son nulas. Por lo tanto el empuje total del
lquido es igual al peso del lquido desplazado, con lo cual hemos demostrado el principio de
Arqumedes.

x
dF
dS
p
p
0
L - z
z
L
y
z
S
E
PROBLEMAS PROPUESTOS

1) Calcule mediante el teorema de la divergencia el flujo exterior del campo F(x; y; z) = 3xyi + y
2
j - x
2
y
4
k
sobre la superficie del tetraedro con vrtices (0;0;0), (1;0;0), (0;1;0), y (0;0;1).

2) Usar el teorema de la divergencia para evaluar la integral del campo vectorial

F(x; y; z) = z
2
x i +(
3
1
y
3
+ tanz) j + (x
2
z + y
2
) k

sobre la mitad superior de la esfera x
2
+ y
2
+ z
2
= 1.

3) Verificar la validez del teorema de la divergencia para el campo F(x; y; z) = zx i +yz j + 3z
2
k y el slido E
acotado por el paraboloide x
2
+ y
2
= z y el plano z = 1.

4) Encontrar la densidad de flujo (Flujo/rea) del campo de fuerzas

F(x; y; z) = (xy
2
+ cosz) i +(xy
2
+ senz) j + e
z
k

sobre la superficie frontera del slido limitado por el cono
2 2
y x z + = y el plano z = 4.

5) Si integramos el campo de velocidades de un fluido sobre una superficie obtenemos el caudal que
atraviesa la misma. Sea un lquido sometido a un campo de velocidades dado por

v(x; y; z) = z tan
-1
(y
2
) i +z
3
ln(x
2
+ 1) j + z k,

que incluye en su formulacin todos los efectos debidos a rozamientos, viscosidad y dems factores
disipativos. Hallar el caudal de este lquido que atraviesa un filtro de forma paraboloidal que consta de
la parte de la superficie x
2
+ y
2
= 1 - z que est por encima del plano z = 1. Tomar el filtro orientado hacia
arriba.

6) Ley de Gauss. Demostrar el siguiente resultado, de importancia trascendente en electromagnetismo.
Sea E una regin simple slida en R
3
y S su frontera. Sea tambin r el vector posicin (x;y;z). Entonces si
(0;0;0) e S, tenemos:

e
e
=
}}
E si
E
S
(0;0;0) 0
(0;0;0) si 4
3
t
dS
r
r


IDEA. Notar que si el origen pertenece a E no podemos aplicar el teorema de la divergencia, pues el
campo vectorial no es suave all. Aplicar el teorema de la divergencia a toda la regin salvo una pequea
bola de radio c centrada en el origen, y luego calcular el flujo sobre la frontera de esta ltima.

7) Demostrar que si E es una regin en R
3
limitada por una superficie S, donde tanto E como S cumplen
las condiciones del teorema de la divergencia, entonces

0 rot =
}}
S
dS F para cualquier campo vectorial F con derivadas parciales de segundo orden
continuas.