Professional Documents
Culture Documents
Geraldine Cisneros
1. INTEGRALES DOBLES
En este trabajo se extiende el concepto de la integral de una funcin real de variable real a funciones de varias variables, comenzando en este captulo con integrales de funciones de dos variables; es decir, funciones del tipo f : D
2
. La integral
doble tiene diversas aplicaciones tanto mecnicas como geomtricas, pero su significado intrnseco es el volumen, as como el significado de una integral de una funcin de variable real es el rea.
Como referencia para la definicin de la integral doble, se debe recordar la integral definida de una funcin real de variable real, la cual surge como solucin al problema del clculo de rea bajo una curva. Sea f una funcin real definida en [a, b] y sea P una particin del intervalo cerrado [a, b] , donde P = {x0 , x1 , x 2 ,
, xi 1 , xi , , x n 1 , x n }.
Una suma de Riemann de la funcin f para la particin P , denotada por RP es un nmero real obtenido como:
Sus contribuciones destacaron en las reas de anlisis y geometra diferencial, la fisicomatemtica y la teora de funciones de variables complejas. Su nombre tambin est relacionado con la funcin zeta. La longitud del subintervalo genrico se calcula de la siguiente manera:
RP = f ( xi* ) xi
i =1
(I.1)
(tambin llamado subintervalo i-simo). En la figura 1 se aprecia el significado geomtrico de la Suma de Riemann para el caso de una funcin f positiva en el intervalo cerrado [a, b] .
xi = xi xi 1
Geraldine Cisneros
Significado geomtrico de la suma de Riemann Si la funcin
positiva x a, b , entonces la suma de Riemann corresponde a un valor aproximado del rea de la regin comprendida bajo la grfica de la funcin f , sobre el eje x, y entre las rectas x = a y x = b .
[ ]
es
Figura 1.1 Significado geomtrico de la Suma de Riemann para una funcin positiva en el intervalo cerrado [a, b ] .
En la grfica a) la regin sombreada es la que est comprendida bajo la grfica de la funcin f , sobre el eje x, y entre las rectas x = a y x = b . En la grfica b) la suma de las reas de los rectngulos sombreados es el valor numrico de la Suma de Riemann para la funcin f en el intervalo cerrado [a, b ] .
Decir que la norma de la particin P tiende a cero, P 0 , es equivalente a decir que el nmero de subintervalos de la particin P tiende a infinito, n .
Si la norma de una particin P, denotada como P , se define como la longitud ms grande de todos los subintervalos, entonces al hacer que la norma sea lo suficientemente pequea, esto es
P 0 , la particin se hace ms fina, lo cual lleva a la definicin
de la Integral Definida.
El smbolo lo introdujo el matemtico alemn Gottfried Wilhelm von Leibniz (1646, 1716).
f en [a ,b ]
Sea f una funcin real definida en un intervalo cerrado [a, b] . La integral definida de f desde a hasta b , denotada por
si el lmite existe.
b a
f ( x ) dx = Lm f ( xi* )x
p 0 i =1
(I.2)
Geraldine Cisneros
La
b a
Integral
Definida
f (x )dx
es un nmero
real que puede interpretarse como el rea bajo la grfica de la funcin f , sobre el eje x y entre las rectas x = a y x = b , si la funcin es positiva.
{( x, y )
a x b c y d (I.3)
Una particin
Px
del
Sea P una particin de la regin D , la cual se logra con el producto cartesiano de las particiones Px y Py de los intervalos
(I.4) (I.5)
Py = {y 0 , y1 , y 2 , , y j 1 , y j , , y m 1 , y m }
entonces
P = Px Py
(I.6)
de longitud y j = y j y j 1 , entonces la
regin rectangular D queda dividida por la particin P en n m rectngulos denominados Dij , tal como se muestra en la figura 1.2.
Geraldine Cisneros
xi 1 xi xi y j 1 y j y j
*
Figura 1.3
Subrectngulo
Dij
*
El subrectngulo denotado Dij , es un elemento de la particin P , cuya rea, denotada Aij se calcula como:
El
punto
(x
, y j ) Dij
por lo tanto existen diferentes alternativas para su seleccin las ms comunes son: Esquina inferior izquierda * xi , y j * = xi 1 , y j 1
Aij = xi y j
(I.7)
Al tomar un punto arbitrario (xi * , y j * ) en el subrectngulo Dij , se puede establecer la doble suma de Riemann para la funcin f en la particin P , denotada como S D :
) (
( (
) ( ) (
) )
S D = f xi , y j Aij
* * i =1 j =1
(I.8)
Esta doble suma de Riemann es un valor numrico que se obtiene al efectuar la suma del producto de la imagen de la funcin f en cada punto arbitrario (xi * , y j * ) y el rea de cada rectngulo Dij . Al expandir la expresin (I.8) se obtiene:
) (
Punto medio
(x
x + x y j 1 + y j , y j * ) = i 1 i , 2 2
Geraldine Cisneros
( (
* 1
) )A )
22
( + f (x (
+ f x1 , y m A1m +
* 2
, ym
) )A )
2m
(I.9)
f x n , y1 An1 + f x n , y 2 An 2 +
+ f x n , y m Anm
Si se define la norma P de la particin P como la longitud de la diagonal ms grande de todos los rectngulos Dij y se hace que
P 0 , entonces la particin P se hace ms fina, esto es, ahora
(I.10)
(I.11)
f (x , y )dxdy
f (x , y )dydx
D
f (x , y )dA = L
D
(I.12)
donde L
Geraldine Cisneros
Definicin del lmite de una funcin: El lmite
es
integrable sobre D , recordando la definicin del lmite, esto significa que para todo > 0 existe un nmero > 0 , tal que:
Lim f ( x ) = L
x x0
f (x
n m i =1 j =1
* i
, y j Aij L <
*
(I.13)
Siempre que:
P <
(I.14)
0 < P no se coloca ya
que la norma particin es positiva. de la es una
(x
* i
, yj
) en el subrectngulo D
ij
1.2.2 INTEGRABILIDAD DE UNA FUNCIN CONTINUA TEOREMA: Integrabilidad de una funcin continua Sea f :
2
Geraldine Cisneros
z = f (x , y )
(I.15)
z = f ( x, y )
Sea S el slido que est definido sobre la regin D y bajo la superficie definida por la grfica de f . En la figura 1.5 se aprecia el slido S .
10
Geraldine Cisneros
El volumen V del slido S puede aproximarse como la suma del volumen de los paraleleppedos base Dij y altura es f (xi * , y j * ), tal como indica la expresin (I.16).
V Vij
i =1 j =1
(I.16)
donde Vij es el volumen del paraleleppedo de base Dij , tambin llamado paraleleppedo aproximante, y cuya altura es f (xi * , y j * ) . El punto (xi * , y j * ) pertenece al subrectngulo genrico. El volumen de este paraleleppedo o caja rectangular viene dado por:
Vij = f xi , y j Aij
(I.17)
Al sustituir (I.17) en (I.16) se obtiene la doble suma de Riemann planteada en (I.8) como
f (x
n m i =1 j =1
* i
11
Geraldine Cisneros
n m
(I.18)
La figura 1.6 muestra la grfica de un paraleleppedo aproximante del volumen del slido S sobre la regin D .
(x
* i
, y j* , f ( xi* , y j* )
z = f ( x, y )
D
y = y j 1 y = yj x = xi 1 x = xi
La figura 1.7 muestra los paraleleppedos empleados en la aproximacin del volumen del slido S , el cual se encuentra limitado por la grfica de la funcin f y por el rectngulo D .
12
Geraldine Cisneros
Figura 1.7 Paraleleppedos empleados para aproximar el volumen del slido S definido sobre la regin D
Cuando P 0 , la particin P se hace ms fina y por lo tanto la regin R queda dividida en muchos ms rectngulos, por lo cual el lmite Lim f ( xi* , y j * ) Aij representa el volumen del slido
P 0 i =1 j =1 n m
S , es decir:
(I.19)
En la figura 1.8 se observan los paraleleppedos empleados en la aproximacin del volumen del slido S , pero ahora con una particin ms refinada sobre el rectngulo D .
13
Geraldine Cisneros
Figura 1.8 Paraleleppedos empleados en la aproximacin del volumen del slido S con una particin refinada sobre
D.
EJEMPLO 1.1
z = x2 + 4y
arriba
del
rectngulo
D = {( x, y ) 0 x 2 0 y 3}. Utilice una suma de Riemann con n = 2 y m = 3 y considerando el punto de muestra como:
Solucin: a) Sea V el volumen del slido debajo de la superficie z = x 2 + 4 y y arriba del rectngulo D . Entonces se desea estimar a V de la siguiente manera:
14
Geraldine Cisneros
donde
(x
* i
evaluada la funcin. El enunciado de este ejercicio exige que el punto de muestra sea la esquina superior derecha de cada subrectngulo, por lo cual xi , y j = (xi , y j ) .
* *
m=3
n = 2,
entonces
x = y =
ba 20 = =1 n 2 d c 30 = =1 m 3
Como xi* , y j* = xi , y j
) (
),
xi = x0 + ix = 0 + i(1) = i y j = y0 + jy = 0 + j(1) = j
Y adems:
Aij = xy = (1)(1) = 1
Recuerde:
k = kn
i =1
i=
i =1 n
n ( n + 1) 2 n ( n + 1 )( 2 n + 1 ) 6
V f ( i, j )(1) = ( i 2 + 4 j ) = ( 3i 2 + 24 ) = 15 + 48 = 63
i =1 j =1 i =1 j =1 i =1
i
i =1
V = ( x 2 + 4 y )dA 63
D
15
Geraldine Cisneros
Cuando
se
selecciona en el
(x
, y j = (xi , y j ) ,
*
clculo de la doble suma de Riemann del ejemplo 1.1 parte a, la del aproximacin
es inferior
Figura 1.11 Paraleleppedos empleados para aproximar el volumen del slido S descrito en el ejemplo 1.1 parte a
En la figura 1.11, se aprecia la superficie definida por la funcin f y los paraleleppedos aproximantes de volumen. b) Cuando se desea estimar el volumen V del slido debajo de la superficie z = x 2 + 4 y y arriba del rectngulo D en donde ( xi* , y j * ) es el punto medio de cada subrectngulo, entonces se tiene:
xi1 = x0 + ( i 1) x = i 1
y j 1 = y0 + ( j 1) y = j 1
(x
x + x y + y j i 1+ i j 1+ j 1 1 , y j * ) = i 1 i , j 1 , = = i , j 2 2 2 2 2 2
Luego:
2 3 2 3 1 1 V f ( xi* , y j* )Aij = f i , j (1) 2 2 i =1 j =1 i =1 j =1
(x
, y j * ) en la funcin
16
Geraldine Cisneros
(x
i j 1 2 3
1 1 , y j* ) = i , j 2 2
f ( xi* , y j * ) = ( xi* ) + 4 y j *
2
1
1 1 , 2 2
1 3 , 2 2 1 5 , 2 2
2
3 1 , 2 2
9 4 25 4
17 4 33 4
3 3 , 2 2 3 5 , 2 2
41 4
49 4
(x
, y j * ) como el punto
de cada
9 25 41 17 33 49 + + + + + = 43,5 4 4 4 4 4 4
V = ( x 2 + 4 y ) dA 43,5
D
medio
Por lo tanto
atraviesa a
los paraleleppedos, por lo cual no se puede asegurar aproximacin volumen del slido si la del
es
Figura 1.12 Paraleleppedos empleados para aproximar el volumen del slido S descrito en el ejemplo 1.1 parte b
En la figura 1.12, se observa la superficie definida por la funcin f y los paraleleppedos aproximantes de volumen.
17
Geraldine Cisneros
EJEMPLO 1.2 Sea
S
Estime el volumen del slido tomando como punto de muestra la esquina superior derecha de cada subcuadrado y dividiendo a la regin D en: a) Cuatro cuadrados iguales.
Figura 1.13 Slido del ejemplo 1.2
b) Diez mil cuadrados iguales. Solucin: a) Sea V el volumen del slido debajo de la superficie
subcuadrados,
entonces
n=m=2
x = y = ba 40 = =2 n 2 d c 40 = =2 m 3
donde xi , y j = (xi , y j )
* *
18
Geraldine Cisneros
Aij = xy = ( 2 )( 2 ) = 4
Como xi* , y j* = xi , y j entonces
) (
),
xi = x0 + ix = 0 + i ( 2) = 2i
yj = y0 + jy = 0 + j ( 2) = 2 j
En el ejemplo 1.2 parte a, la aproximacin del volumen obtenida es por defecto ya que las cajas rectangulares empleadas se encuentran dentro del slido
S.
En la figura 1.15, se observa la superficie definida por la funcin f y los paraleleppedos aproximantes empleados.
19
Geraldine Cisneros
Realizar este clculo como se ha ilustrado en los ejemplos 1.1 y la parte a de ste, es muy largo pues el nmero de subcuadrados es elevado. Entonces para resolver la doble suma de Riemann planteada es necesario emplear un software matemtico. A continuacin se presenta los resultados obtenidos, con un software matemtico, para el ejemplo 1.2 parte b. Tambin se incluye otra aproximacin empleando una particin an ms refinada.
Nmero de subcuadrados Diez mil Un milln
n
100 1.000 Cuadro 1.2
m
100 1.000
f (x
i =1 j =1
, y j * )Aij
En el ejemplo 1.2 parte b, se aprecia que la aproximacin volumen del slido del
Con
la
ayuda
del
software
se
obtuvo
las
siguientes
aproximaciones:
V = ( 36 x 2 y 2 ) dA 402 , 7648
D
V = ( 36 x 2 y 2 ) dA 405, 077248
D
20
Geraldine Cisneros
EJEMPLO 1.3 Sea
S
volumen del slido considerando: a) n = 3 , m = 2 y el punto de muestra como el punto medio de cada subrectngulo. b) n = 6 , m = 8 y el punto de muestra como el punto medio de
Figura 1.16 Slido del ejemplo 1.3
cada subrectngulo.
Solucin: a) Sea V el volumen del slido debajo de la superficie z = 1 y y arriba del rectngulo D . La regin D y su particin se muestran en la siguiente figura
21
Geraldine Cisneros
Si
m=2
n = 3,
entonces
b a 30 x = = =1 n 3 y = d c 1 ( 1) = =1 m 2
(x
, y j * ) es el punto
Aij = (x )(y ) = 1
)= 1 y
* j
2 j 3 5 = 1 = j 2 2
y j 1 = y0 + ( j 1)y = j 2
y j = y0 + jy = 1+ j
V = (1 y ) dA 6
D
En la figura 1.18, se observa la superficie definida por la funcin f y la aproximacin del volumen.
En el ejemplo 1.3 parte a, en la aproximacin del volumen, se observa que la grfica de la funcin
atraviesa
los
paraleleppedos, por lo cual no se puede asegurar si la aproximacin es por exceso o por defecto.
22
Geraldine Cisneros
n=6
m=8
entonces
x = y =
ba 1 = n 2 d c 1 = m 4
1 8
A ij =
y j 1 = y0 + ( j 1)y =
y j = y0 + jy =
j 4 4
V = (1 y ) dA 6
D
23
Geraldine Cisneros
24
Geraldine Cisneros
Segundo Teorema Fundamental del Clculo Si f es una funcin continua en el intervalo cerrado [a,b] y si F es una antiderivada de entonces:
b b a a b
Para evaluar una integral definida en un intervalo cerrado se tienen dos alternativas: la definicin, donde se emplean frmulas y propiedades de la notacin sigma y adems, la resolucin de un lmite; la otra opcin para resolver una integral definida de una funcin real de variable real, es el Segundo Teorema Fundamental del Clculo, el cual consiste en encontrar una antiderivada y
evaluarla en los extremos del intervalo de integracin. El primer f ( x ) dx = F ( x ) f ( x ) dx = F ( b ) F ( a ) mtodo, la definicin como el lmite de una suma suele ser un
a
procedimiento ms riguroso en comparacin con el segundo. Anlogamente, la resolucin de una integral doble por definicin es un clculo muy complejo, ya que es el resultado del lmite de una doble suma de Riemann. A continuacin se expone un mtodo que consiste en expresar una integral doble como una integral iterada, lo cual implica la evaluacin sucesiva de dos integrales simples. DEFINICIN: La Integral Iterada Sea f :
2
sobre
D,
denotada
por
b a
f ( x, y )dxdy
d c
b a
d b f ( x, y ) dxdy = f ( x, y ) dx dy c a
(I.20)
O tambin
d c
b d f ( x, y ) dydx = f ( x, y ) dy dx a c
(I.21)
25
Geraldine Cisneros
Recuerde integral
b a
que
en
Entonces, la integral iterada es la evaluacin sucesiva de dos integrales simples. En la ecuacin (I.20), la integral que debe resolverse primero es la que se encuentra dentro del corchete; es decir,
f ( x, y) dx , la
dx indica que la variable de integracin es x, por lo tanto la variable y se considera constante en esta integral. Esto se conoce como integracin parcial con respecto a x
Entonces para resolver
d c
f ( x, y ) dy se integra
f ( x,y) dx = A( y)
a
(I.22)
Finalmente:
f ( x, y ) dxdy = f ( x, y ) dx dy =
d b d b c a c a
d c
A ( y ) dy (I.23)
la integral
En
forma
d c
anloga,
en
la
expresin
d c
(I.21),
f ( x,y) dy = A( x)
c
(I.24)
d c
b d b f ( x, y ) dydx = f ( x, y ) dy dx = A ( x ) dx a c a
(I.25)
EJEMPLO 1.4
(x
2 0 4 0
+ 4 y ) dxdy
2
b) d) f)
2 0 4 0
(x
3 0 4 0
+ 4 y ) dydx
2
( 36 x
3 0
y 2 )dxdy
( 36 x
1 1
y 2 )dydx
(1 y ) dxdy
3 0
(1 y ) dydx
26
Geraldine Cisneros
Solucin:
Recuerde que en el
3 0
(x
2 0
V = ( x + 4 y ) dA 63
2 D
x3 x + 4 y ) dx = + 4 xy 0 ( 3
2 2
8 = + 8y 3
V = ( x + 4 y ) dA 43,5
2 D
Al
comparar
estas
aproximaciones con el valor de la integral, en efecto se puede comprobar que la primera estimacin es por exceso, mientras que la segunda es una mejor aproximacin.
= 8 + 36 = 44
0
Por lo tanto:
(x
3 2 0 0
+ 4 y ) dxdy = 44
b) Se desea resolver
2 0
(x
3 0
+ 4 y ) dydx :
3 0
(x
3 0 2 0
+ 4 y ) dy = x 2 y + 2 y 2 + 18 ) dx = x 3 + 18 x
2 0
= 3 x 2 + 18
( 3x
= 8 + 36 = 44
(x
2 3 0 0
+ 4 y ) dydx = 44
4 0
( 36 x
4 0 4
y 2 )dxdy , primero se
= 144
0
64 368 4 y2 = 4 y2 3 3
27
Geraldine Cisneros
Recuerde que en el
=
0
Por lo tanto:
b, se obtuvo:
V 402,7648 y
V 405,077248
( 36 x
4 4 0 0
y 2 )dxdy = 405,3
la
integral
2
doble,
d) Resolviendo
( 36 x
y 2 )dxdy = 405,3
4 2 2
( 36 x
4 4 0 0
y 2 )dydx
4
se puede concluir que las aproximaciones de la parte b son mejores que la estimacin de la parte a.
1 3 2 0 ( 36 x y ) dy = 36 y x y 3 y 4 3 368 368 2 0 3 4 x dx = 3 x 3 x
4
= 144 4 x 2
0
64 368 = 4 x2 3 3
=
0
( 36 x
4 4 0 0
y 2 )dydx = 405,3
(1 y ) dxdy ,
1
0 3 0
primero se integra
0 (1 y ) dx = (1 y ) x
= 3 (1 y )
V = (1 y ) dA 6
D
Es decir:
28
Geraldine Cisneros
1 3
(1 y ) dxdy = 6
1
0
f) Ahora se resuelve
(1 y ) dydx
0
en el orden de integracin
3 1 0
1
3 0
2dx = 6
(1 y ) dydx = 6
29
El siguiente teorema proporciona un mtodo prctico para evaluar una integral doble expresndola como una integral iterada TEOREMA de Fubini para Integrales Dobles Sea f :
2
Guido Fubini
(1879, 1943).
Tambin resalt por sus contribuciones en los campos de geometra diferencial, ecuaciones diferenciales, funciones analticas y funciones de varias variables.
f ( x, y ) dA =
D c
b a
f ( x, y ) dxdy =
b a
d c
f ( x, y ) dydx (I.25)
f ( x, y ) dA
D
Bonaventura FrancescoCavalieri
(1598, 1647).
slido S que se encuentra arriba del rectngulo D y por debajo de la superficie definida por z = f ( x, y ) .
El volumen del slido S tambin puede ser calculado empleando el principio de Cavalieri, donde el volumen de secciones transversales conocidas se calcula mediante una integral simple.
Clebre por introducir en Italia el clculo logartmico y por su teora de indivisibles, la cual es el principio del clculo de una integral definida pero sin la rigurosidad moderna del lmite.
V = A ( x ) dx
a
(I.26)
30
Geraldine Cisneros
z = f(x,y)
A(x)
a x = x0 b
Figura 1.21 Interpretacin geomtrica del Teorema de Fubini
donde A(x ) es el rea de la seccin transversal del slido S que es perpendicular al eje x y al plano xy , entonces A(x ) se puede obtener como:
A ( x ) = f ( x, y ) dy
c d
(I.27)
d c
f ( x, y )dydx
(I.28)
(I.29)
31
Geraldine Cisneros
(I.30)
Figura 1.22
A( y)
b a
f ( x, y )dxdy
(I.31)
Finalmente, se concluye que la integral doble de f sobre D es igual a la integral iterada de la funcin f ; es decir:
f ( x, y ) dA =
D a
d c
f ( x, y ) dydx =
d c
b a
f ( x, y ) dxdy (I.32)
32
Geraldine Cisneros
Integrales Mltiples y Sus Aplicaciones 1.6 INTEGRALES DOBLES SOBRE REGIONES MS GENERALES
En esta seccin se ampla la definicin de la integral doble de una funcin f , sobre regiones ms generales que rectngulos, para posteriormente explicar cmo se resuelven este tipo de integrales. En la figura 1.23 se presenta una regin D de una forma ms general.
Entre las regiones ms generales se tienen las de tipo 1 y las de tipo 2. DEFINICIN: Regiones de Tipo 1 Sean g , h : [ a, b ]
Como las funciones f y g son continuas en [a , b] , entonces son acotadas, por lo cual la regin D del tipo 1 es una regin acotada del plano.
continuas en [a ,b] , de modo que g ( x ) h ( x ) ,x [ a,b ] . Una regin de tipo 1, es una regin definida como:
D=
{ ( x, y )
a xb
g ( x) y h ( x)
(I.33)
En otras palabras, la regin D est limitada por la izquierda por la recta x = a , por la derecha por la recta x = b , inferiormente por la
33
Geraldine Cisneros
continuas en [ c, d ] , de modo que g ( y ) h ( y ) , y [ c, d ] . Una regin de tipo 2, es una regin definida como:
D=
{ ( x, y )
g ( y) x h( y) c y d
(I.34)
Entonces toda regin D est limitada por la izquierda por la grfica de la funcin g , por la derecha por la grfica de la funcin
h , y superior e inferiormente por las rectas y = d y y = c ,
34
Geraldine Cisneros
Algunas regiones pueden ser del tipo 1 del tipo 2 simultneamente, a estas regiones se les clasifica como de tipo 3. Ejemplo:
y = 1 x2
la siguiente definicin:
Sea f :
Sea R un rectngulo que contiene a la regin D . Sea F una funcin definida en el rectngulo R como:
si ( x, y ) D f ( x, y ) F ( x, y ) = 0 si ( x, y ) D ( x, y ) R
La integral doble de f sobre D , denotada dada por:
D
(I.35)
f ( x, y ) dA , est
(I.36)
f ( x, y )dA = F ( x, y )dA
D R
f ( x, y )dA ,
D
se debe
35
Geraldine Cisneros
resulta:
F ( x, y )dA =
R a
d c
F ( x, y ) dydx
(I.37)
d c
F ( x, y ) dy =
h( x ) g ( x)
F ( x, y ) dy =
h( x ) g ( x)
f ( x, y ) dy
(I.38)
Por lo que se puede definir la integral doble sobre una regin de tipo 1 de la siguiente manera:
36
Geraldine Cisneros
D=
{ ( x, y )
a xb
g ( x) y h ( x)
(I.39)
f ( x, y )dA =
D a
h( x ) g ( x)
f ( x, y )dydx
(I.40)
Si por el contrario, la regin D es de tipo 2, se debe seleccionar un rectngulo R = [ a,b ] [ c,d ] que contenga a D , tal como se muestra en la figura 1.29.
y
d
x = h(y)
D
c x = g(y) a b
tiene:
F ( x, y )dA =
R c
b a
F ( x, y ) dxdy
(I.41)
37
Geraldine Cisneros
como:
b a
F ( x, y ) dx =
h( y ) g( y)
F ( x, y ) dx =
h( y ) g( y)
f ( x, y ) dx
(I.42)
DEFINICIN: Integrales dobles sobre regiones de tipo 2 Sea f una funcin real y continua de dos variables, definida en una regin D del tipo 2, tal que
D=
{ ( x, y )
g ( y) x h( y) c y d
(I.43)
f ( x, y )dA =
D c
h( y ) g( y)
f ( x, y )dxdy
(I.44)
COMENTARIO
De ahora en adelante, para indicar el orden de integracin y para una mejor visualizacin de los lmites de integracin, se emplearn unas flechas, sobre la grfica de la regin D , que indicarn el valor inicial y final de la variable de acuerdo a la entrada y salida de la flecha, respectivamente. En una regin de tipo 1, la integral doble de la funcin f se obtiene como
h( x ) g ( x)
esta integral indica que la primera integracin se realiza respecto a la variable y , por lo cual se indicar sobre la regin D como se ilustra en la siguiente figura:
38
Geraldine Cisneros
: Indica cual es el valor de la variable y a la salida de la regin D (lmite superior). : Indica cual es el valor de la variable y a la entrada de la regin D (lmite inferior).
Por otra parte, la ecuacin (I.44) seala que en una regin de tipo 2, la integral doble de la funcin
se obtiene como
h( y ) g( y)
realiza respecto a la variable x, por lo cual se sealar sobre la regin D como se muestra a continuacin:
y
: Indica cual es el valor de la variable x a la salida de la regin D (lmite superior). : Indica cual es el valor de la variable x a la entrada de la regin D (lmite inferior).
x = h(y)
D
c x = g(y) a b
39
Geraldine Cisneros
EJEMPLO 1.5
x2 0
dydx
4 y2
b) d)
3 x +1 2x
ey y
dydx xdxdy
2 0
4 y
dxdy
x2 0
interna, pero a diferencia del ejemplo 1.4 de aqu en adelante se mantendr la integral externa, como sigue:
x2 0
1 x dydx = dy dx = y 0 0 0 1
2
x2 0
3 dx = 1 x 2 dx = x 0 3
=
0
1 3
x2 0
dydx =
1 3
Regin tipo 1: D =
{( x, y )
0 x 1 0 y x2
Regin tipo 2: D =
{( x, y )
y x 1 0 y 1
40
Geraldine Cisneros
y = x2
cual quiere decir que el slido definido sobre D bajo la grfica de f , tiene como volumen 3 1 (UL) , donde UL son
3
D
Valor de y a la entrada de D
unidades de longitud.
Figura 1.34
y=0
2 1
3 x +1 2x
dydx
3 x +1 2x
2 3 x +1 2 2 3 x +1 dydx = dy dx = y 2 x dx = ( x + 1)dx 1 2x 1 1
( x + 1) 1 ( x + 1)dx =
2
=
1
5 2
3 x +1 2x
dydx =
5 2
D=
{( x, y )
1 x 2
2 x y 3x + 1
41
Geraldine Cisneros
y = 3x + 1
x=2
x =1
D
Valor de y a la entrada de D
y = 2x
D del ejemplo1.5 b
2 0
4 y2 4 y2
dxdy , se tiene:
4 y2
2 4 y 2 2 dxdy = dx dy = x 4 y2 0 4 y 2 0
4 y2 4 y2
dy = 2 2 4 y 2 dy 0
Esta
integral
se
resuelve
empleando
una
sustitucin
trigonomtrica:
2 4 y 2 2 0 2 0
4 y
dxdy = 2 2
4 y 2 dy = 4
y 1 dy 2
42
Geraldine Cisneros
CV: Cambio de Variable
y = sen 2
dy = 2 cos d
4 y2 4 y2
dxdy = 4
2 0
4 y2
= 2
y = 2 = arcsen1 =
4 y2
4 y 2
dxdy = 2
La regin D del ejemplo 1.5 c es de tipo 1 y de tipo 2, ya que se puede definir como:
De radio = 2 y altura = 1 por lo tanto se puede calcular su volumen como: 2 ( 2 ) (1) V= = 2
2
Regin tipo 1: D =
{( x, y )
{( x, y )
2 x 2 0 y 4 x2
}
}
Regin tipo 2: D =
4 y2 x 4 y2
0 y2
4 y2 4 y2
dxdy = 2
Valor de x a la entrada de D
Valor de x a la salida de D
x = 4 y2
x = 4 y2
y =0
43
Geraldine Cisneros
d) La integral
ey y
ey y
e xdxdy = 0 y 1
12 3 xdx dy = x 2 0 3
ey y
1 2 3y 3 dy = 0 e 2 y 2 dy 3
ey y
2 2 3y 2 5 xdxdy = e 2 y 2 3 3 5
=
0
2 2 3 2 2 2 4 3 2 32 e = e 3 3 5 3 9 45
ey y
4 3 32 xdxdy = e 2 9 45
{( x, y )
y x ey 0 y 1
Valor de x a la entrada de D
x= y
Valor de x a la salida de D
x = ey
y=0
Figura 1.43 Regin D del ejemplo 1.5 d
44
Geraldine Cisneros
y g:
f ( x, y ) + g ( x, y ) dA = f ( x, y ) dA + g ( x, y ) dA D D
(I.45)
y g:
f ( x, y )dA g ( x, y )dA
D D
(I.46)
f ( x, y )dA =
D
D1
f ( x, y )dA + f ( x, y )dA
D2
(I.47)
45
Geraldine Cisneros
EJEMPLO 1.6
( x + y + 1) dA ,
D
D=
{ ( x, y ) y x
+ 2x
y3
y 3x + 6
y=3 y = 3x+6
y = x2+2x
La regin D de este ejemplo no es de tipo 1, ni de tipo 2, por lo tanto, para evaluar la integral doble pedida, se emplear la propiedad sealada en la ecuacin (I.47). Para este ejemplo, se tienen dos alternativas: dividir a la regin D en dos subregiones tipo 1 o dividirla en dos subregiones tipo 2. A continuacin se analizan ambas situaciones. i) Cuando la regin D es dividida por la recta x = 1 , se obtienen dos subregiones de tipo 1; es decir, D = D1 D2 , donde:
D1 =
{( x, y )
2 x 1 x 2 + 2 x y 3 x + 6 y 1 x 1 x2 + 2 x y 3
D2 =
{( x, y )
46
Geraldine Cisneros
Valor de y a la salida de D2 y =3
Valor de y a la salida de D1 y = 3x + 6
D1
D2
Valor de y a la entrada de D1 y = x2 + 2 x
Valor de y a la entrada de D2 y = x2 + 2 x
Figura 1.46
Por lo tanto:
I = ( x + y + 1) dA =
D
( x + y + 1)dydx + 1 x + 2 x ( x + y + 1)dydx 2 x + 2 x
2 2
3 x+6
1 1 15 x4 5x2 x4 I = 24 3 x3 + + 25 x dx + 3 x3 + 5 x 2 + x dx 2 1 2 2 2 2
I=
29 172 + 60 15 239 20
I = ( x + y + 1) dA =
D
ii) Cuando se traza la recta y = 0 , la regin D se divide en dos subregiones de tipo 2; es decir, D = DA DB , donde:
DA =
{( x, y )
1 1 + y x 1 + 1 + y
1 y 0 y
DB = ( x, y )
y6 x 1 + 1 + y 0 y 3 3
47
Geraldine Cisneros
Valor de x a la entrada de DB
y 6 x= 3
Valor de x a la salida de DB
DB
x = 1 + 1 + y
y=0
Valor de x a la entrada de DA
x = 1 1 + y
DA
1
Valor de x a la salida de DA
x = 1 + 1 + y
Figura 1.47 Regin D del ejemplo 1.6 dividida en dos regiones tipo 2
I =
0 1
( x + y + 1)dxdy + 0 y 6 1 1+ y
3
1+ 1+ y
1+ 1+ y
( x + y + 1)dxdy
Resolviendo se obtiene I =
I = ( x + y + 1) dA =
D
48
Geraldine Cisneros
EJEMPLO 1.7
(10 + 4 x
D
y ) dA , D =
{ ( x, y )
yx 2
x2 + y 2 4
Solucin: Tal como se explic en los ejemplos anteriores, el primer paso para resolver la integral doble planteada consiste en clasificar a la
Figura 1.48 Funcin f definida en la regin D del ejemplo 1.7
regin D en una regin de tipo 1 o tipo 2. Para ello se deben estudiar las inecuaciones que definen a la regin D . La solucin de la inecuacin y x 2 es la interseccin de las inecuaciones: i) y x 2 (si y x ) ii) x y 2 (si y < x )
( x, y )
que
se
encuentran
dentro
sobre
la
circunferencia de radio 2 y con centro en el origen del sistema de coordenadas. La regin D del ejemplo 1.7 se muestra en la figura 1.49
y = x+2
x2 + y 2 = 4
y = x2
49
Geraldine Cisneros
Valor de y a la salida de D2
y = 4 x2
D1
Valor de y a la entrada de D1
y = 4 x2
D2
Valor de y a la entrada de D2
y = x2
Figura 1.50 Regin D del ejemplo 1.7 dividida en dos regiones tipo 1
Donde: D1 =
{( x, y ) 2 x 0 4 x y x + 2} y D = {( x, y ) 0 x 2 x 2 y 4 x }
2 2 2 D1 D2
Por lo tanto:
I = (10 + 4 x 2 y ) dA = (10 + 4 x 2 y ) dA +
D
(10 + 4 x
2
y ) dA
I =
0 2
x+2 4 x
10 + 4 x 2 y )dydx + 2 (
2 3
2 0
4 x2 x2
(10 + 4 x
2
y )dydx
2
I =
(8x + 20 + 10 4 x + 4 x + 7 x + 4 x 4 x ) dx + + ( 12 x + 20 + 10 4 x 4 x + 9 x + 4 x 4 x ) dx
0 2 2 2 2 3 2 2 2 0
50
Geraldine Cisneros
(10 + 4 x
D
y ) dA = 28 +
152 3
EJEMPLO 1.8
x + y dA , D =
{ ( x, y )
y0
x2 + y 2 9
Solucin: La regin D es una regin tipo 1 tal como se muestra en la siguiente figura.
Figura 1.51 Funcin f definida en la regin D del ejemplo 1.8
y = 9 x2
y=0
Regin
Figura 1.52
Sin embargo, como la funcin integrando es un valor absoluto, tambin llamado mdulo, se tiene que:
x + y si x + y 0 f ( x, y ) = x + y = ( x + y ) si x + y < 0
A continuacin se debe verificar si existe interseccin entre la regin y las inecuaciones x + y 0 y x + y < 0 . Este resultado se muestra en la figura siguiente.
51
Geraldine Cisneros
D1 y = -x D2
y = 9 x2
x+ y 0
y=0
x+ y <0
Figura 1.53 Interseccin de la regin
Entonces se tiene:
x + y si ( x, y ) D1 f ( x, y ) = ( x + y ) si ( x, y ) D 2
Donde: D1 =
{ ( x, y ) { ( x, y )
y0 y0
x2 + y2 9 x2 + y 2 9
x+ y 0 y x+ y <0
D2 =
( x + y ) dA + D
( x + y ) dA
En las figuras 1.54 y 1.55, se muestra el orden de integracin para resolver las integrales dobles anteriores.
Valor de y a la salida de D1 .A
x=0
y = 9 x
3 3 , 2 2
Valor de y a la salida de D1 .B
y = 9 x2
D1 = D1.A D1.B
D1.A
Valor de y a la entrada de D1.A y = x
D1.B
Figura 1.54
y=0
52
Geraldine Cisneros
Entonces:
D1
( x + y ) dA =
0
3 2
9 x2
( x + y )dydx +
3 0
9 x2 0
( x + y )dydx
D ( x + y ) dA = 3 x
1
3 9 9 x2 9 x 2 + dx + x 9 x 2 + dx 0 2 2 2
( x + y ) dA = ( 9
D1
2 9 + 18
D2
Valor de x a la entrada de D2
x = 9 y2
Valor de x a la salida de D2
x = y
y=0
Figura 1.54 Regin D2 del ejemplo 1.8
As:
D2 ( x + y ) dA = 0
3 2
y 9 y
2
( x + y )dxdy = 0 2
9 y 9 y 2 dy 2
Por lo tanto
D2
( x + y ) dA = 9 2 9
I = x + y dA = 18 2
D
La integral mltiple
Problemas resueltos
1. Sea f una funcin denida en I = [1, 2] [1, 4] del siguiente modo: f (x, y) = (x + y)2 , x y 2x , 0 , en el resto.
Indique, mediante un dibujo, la porcin A del rectngulo I en la que f no es nula y calcule el valor de la integral
A
f , supuesta su existencia.
Solucin:
La regin sombreada, A = (x, y) R2 : 1 x 2, x y 2x , es la porcin del rectngulo en la que f no se anula. La funcin f es continua en A, por tanto f es integrable en A. Luego, aplicando el teorema de Fubini:
2 4 2 2x x
f=
A 1
2
f (x, y)dy dx =
1 1
2x 2
1 dy dx = (x + y)2
2
=
1
1 x+y
dx =
x 1
1 1 1 ( + )dx = log x 3x 2x 6
=
1
1 log 2. 6
2. Un slido est limitado por la supercie z = x2 y 2 , el plano xy, y los planos x = 1 y x = 3. Calcule su volumen por doble integracin.
Problemas resueltos
Solucin: La interseccin de la supercie con el plano xy es: z = x2 y 2 z=0 y 2 = x2 y=x y = x
Para hallar el volumen del slido dado hemos de calcular la integral doble de la funcin z = f (x, y) = x2 y 2 sobre la regin D del plano xy comprendida entre las rectas x = 1, x = 3, y = x e y = x : D = {(x, y) R2 : 1 x 3, x y x} V =
D
(x2 y 2 )dxdy =
1
x x
(x2 y 2 )dy dx = y3 3
x 3
=
1
x2 y
dx =
x 1
4 3 1 x dx = x4 3 3
=
1
80 . 3
3. Calcule
D
drante situada entre las dos hiprbolas xy = 1 y xy = 2 y las lneas rectas y = x e y = 4x.
La integral mltiple
Solucin: La regin D es el conjunto D = (x, y) R2 : 1 xy 2, x y 4x} = = (x, y) R2 : 1 xy 2, 1
Esta expresin nos sugiere el cambio de variables y u = xy, v = . x
Con lo que y = vx, u = vx2 x=
u , y = uv, v
siempre que u, v > 0
y 4 . x
T es una transformacin inyectiva (para cada (x, y) hay un solo (u, v) tal que T (u, v) = (x, y)) y es de clase C 1 . Hemos de comprobar adems que su jacobiano es no nulo: 1/v JT (u, v) =
2 u/v
v 2 uv
u/v 2
2 u/v
u 2 uv
= 1 = 0, 2v
u, v > 0.
Podemos dibujar fcilmente la regin D calculando los puntos de corte de las rectas con las hiprbolas dadas (recordemos que son slo los del primer cuadrante): xy = 1 y=x x2 = 1 P1 = (1, 1); xy = 1 y = 4x x2 = 1 1 P2 = ( , 1) 4 2
xy = 2 y = 4x
xy = 2 y=x
x2 =
1 1 4 P3 = ( , ); 2 2 2
x2 = 2 P4 = ( 2, 2)
Problemas resueltos
Es obvio que esta regin D (en el plano xy) es la imagen, T (Q), del recinto (en el plano uv) Q = (u, v) R2 : 1 u 2, 1 v 4 . Aplicando el teorema del cambio de variable obtenemos: x2 y 2 dxdy =
D
2
u2
Q
1 dudv = 2v
4 1
=
1
u2 du.
1 u3 dv = 2v 3
.
1
1 log v 2
=
1
7 log 2. 3
siendo V el volumen exterior a la hoja superior del cono z 2 = x2 + y 2 e interior al cilindro x2 + y 2 = 1, con z 0. Solucin: La interseccin del cono con el cilindro es: x2 + y 2 = z 2 x2 + y 2 = 1 la circunferencia x2 + y 2 = 1 en el plano z = 1.
La integral mltiple
Haciendo el cambio a coordenadas cilndricas x = cos T : U R3 , T (, , z) = ( cos , sen , z) y = sen z=z siendo U =]0, +[]0, 2[R, JT (, , z) = . De esta manera, y puesto que x2 + y 2 = 2 = 1 en el cilindro y z 2 = 2 en el cono, el recinto V es la imagen, T (Q), (salvo un conjunto de medida cero, que es la regin del plano y = 0 comprendida entre el cilindro y el cono) del conjunto Q = {(, , z) U : 0 < 1, 0 < < 2, 0 z } U. Por tanto, haciendo la integral con este cambio de variable obtenemos: (2zx2 + 2zy 2 ) dxdydz =
V
=
Q 1
2z2 dddz =
0 2 0 z 2 3 0 d
1 0 1
2 0 2 0
2z3 dz d d =
1
=
0
d =
0
6 d d = 2 6
5
=
0
. 3
Problemas resueltos
5. Calcule la integral
A
Puesto que el conjunto A es un trozo de esfera haremos el cambio a coordenadas esfricas para que el recinto de integracin sea ms manejable. x = cos sen y = sen sen z = cos T : U R3 , T (, , ) = ( cos sen , sen sen , cos )
T es C 1 -invertible, con jacobiano, JT (, , ) = 2 sen , distinto de cero en cualquier punto del abierto U =]0, +[]0, 2[]0, [. Sea Q = (, , ) R3 : 0 < 1, 0 <
Es claro que su imagen mediante T es T (Q) = A {(x, y, z) A : y = 0}
, 0< 2 2
U.
La integral mltiple
y puesto que el conjunto {(x, y, z) A : y = 0} tiene medida cero en R3 , (es un trozo de plano) podemos aplicar el teorema del cambio de variable para calcular la integral que se pide por medio de una integral sobre el rectngulo Q:
xyz dxdydz =
A
=
Q 1
=
0
1
0
2
=
0
5 d
sen cos d
2
sen3 cos d =
1 6
0 sen2
sen4
4
1 . 48
Solucin:
Problemas resueltos
La regin D es una corona circular; esto sugiere el cambio a polares para hacer la integral. Hacemos la transformacin
x = cos y = sen
T : U R2 ,
T (, ) = ( cos , sen )
donde U =]0, +[]0, 2[ y JT (, ) = es distinto de cero en U . La corona D es la imagen mediante T del rectngulo Q = , ) R2 : 2 4, 0< U
salvo un conjunto de medida cero en R2 que es el trozo del eje OX comprendido entre x = 2 y x = 4 (que se obtendra con la imagen de los puntos tales que = 0). Aplicando el cambio de variable calculamos la integral doble en D por medio de una integral doble en Q, que nos resultar mucho ms sencilla de calcular porque Q es un rectngulo: (x2 + 5y 2 )dxdy =
D 4 Q 0 4
=
2
=
2
3
0
4
4 = 4
= 180.
La integral mltiple
Solucin:
LLamemos D a la regin, convexa, limitada por . Es obvio que D = int = [1, 1] [1, 1]. Aplicaremos la frmula de Green-Riemann P dx + Qdy =
D
Q P x y
dxdy
(1 2y)dxdy = y y2
1 dx 1 1 1 1
(1 2y)dy dx = 2dx = 4.
1
=
1
8. Considere la curva una parametrizacin de la elipse 4(x2 1) + y 2 = 0. Calcule la integral (x + y)dx + (y x)dy.
Problemas resueltos
Solucin:
=
0 2
[(cos t + 2 sent)(sent) + (2 sent cos t)2 cos t]dt = sen2 t (sent cos t 2)dt = 2t 2
2
=
0
= 4.
0
b) Sea D = int. Aplicando el teorema de Green-Riemann con P (x, y) = x+y y Q(x, y) = yx, y teniendo en cuenta que el rea de la elipse de semiejes a y b es ab (en nuestro caso a = 1, b = 2), obtenemos: (x + y)dx + (y x)dy =
P dx + Qdy =
D
Q P x y
dxdy =
=
D
(2)dxdy = 2(D) = 4.
La integral mltiple
9. Calcule el rea de la regin del primer cuadrante comprendida entre las curvas: y 2 = 2x, 2x + y = 20, y = 0. a) Mediante una integral doble. b) Mediante una integral de lnea. Solucin: a) Calculemos la interseccin de la parbola y la recta que delimitan la regin descrita: y 2 = 2x 2x + y = 20 y 2 + y 20 = 0 y = 5, no es positivo y = 4, x = 8
0y
2x
0 y 20 2x
con medida en R2 . El rea de D = D1 D2 , calculada mediante una integral doble, ser: dxdy =
D 8 2x D1
dxdy +
D2
8 0
10
dxdy
2 3 2 x2 3
8
dxdy =
D1
10
dy dx =
0
0
202x
2x dx =
=
0
64 . 3
10 8
dxdy =
D2 8 0
dy dx =
8
= 4.
Problemas resueltos
Sumando las dos integrales obtenemos:
area de D =
D
dxdy =
64 76 +4= . 3 3
b) Hemos de parametrizar la curva que delimita la regin D : la recta 2x + y = 20 : 1 (t) = (t, 20 2t), t [8, 10] 2 la parbola y 2 = 2x : (t) = ( t2 , t), t [0, 4] el eje OX : (t) = (t, 0), t [0, 10].
De esta manera es = (1 ) (2 ) 3 . Por el teorema de Green-Riemann, tomando P (x, y) = 0, Q(x, y) = x, podemos calcular el rea de D como: dxdy =
D 10
xdy =
1
xdy
2 4 2 t 0
xdy +
3
2 10 8
xdy =
t3 6
4
=
8
(2t)dt
dt = t
=
0
76 . 3
10. Calcule, mediante integracin, el volumen del slido limitado por el cono x2 + y 2 = 4z 2 y la esfera x2 + y 2 + z 2 = 5, siendo z 0. Solucin: La interseccin de las dos supercies es x2 + y 2 + z 2 = 5 x2 + y 2 = 4z 2 5z 2 = 5 z 2 = 1 z = 1 (z 0) x2 + y 2 = 4
La integral mltiple
dxdydz
Para calcular esta integral haremos un cambio a coordenadas esfricas: x = cos sen JT (, , ) = 2 sen y = sen sen z = cos La variacin del ngulo dentro del recinto de integracin viene dada por el ngulo que forma la generatriz del cono con el eje OZ en un punto de la interseccin de las dos supercies, por ejemplo el punto (0, 2, 1). En este punto tan = 2 y por lo tanto = arctan 2. El radio vector variar desde 0 al radio de la esfera 5 y el ngulo debe recorrer toda la circunferencia, de modo que si consideramos el conjunto Q = (, , ) R3 : 0 5, 0 < < 2, 0 < arctan 2
su imagen mediante T es el recinto V (salvo un conjunto de medida cero en R3 : los puntos para los que = 0 = 0). Entonces dxdydz =
V 2 5 Q
arctan 2
2 sen ddd =
cos
arctan 2 0
Problemas propuestos
Problemas propuestos
1. Calcule las integrales dobles por integracin sucesiva a)
I
xy(x + y)dxdy donde I = [0, 1] [0, 1] . sen2 xsen2 ydxdy donde I = [0, ] [0, ] .
I
b) c)
I
2. Calcule
I
f (x, y) = 21 2 . 40 5 2
Solucin:
La integral mltiple
5. Dibuje la regin de integracin y calcule la integral doble a)
D
(x2 + y 2 )dxdy siendo D el tringulo de vrtices (0, 0), (2, 0), (2, 1). (1 + x)seny dxdy siendo D el trapezoide de vrtices (0,0), (1,0), (1,2),
D
b) (0,1). c)
D
(x2 y 2 )dxdy siendo D la regin limitada por el eje OX y la grca b) 3/2 2 sin(2) cos(2) + sin(1) + cos(1). c)
6. Considere la aplicacin T denida por las ecuaciones x = u2 v 2 , a) Calcule el jacobiano JT (u, v). b) Sea Q el rectngulo en el plano uv con vrtices (1,1), (2,1), (2,3), (1,3). Represente, mediante un dibujo, la imagen T (Q) en el plano XY . Solucin: a) JT (u, v) = 4(u2 + v 2 ). 7. Considere la aplicacin T denida por las ecuaciones x = u + v, a) Calcule el Jacobiano JT (u, v). b) Un tringulo Q en el plano (u, v) tiene vrtices (0,0), (2,0), (0,2). Represente, mediante un dibujo, la imagen T (Q) = D en el plano xy. c) Calcule el rea de D mediante una integral doble extendida a D y tambin mediante otra integral doble extendida a Q. Solucin: Area = 14/3. 8. Si V es el slido limitado por el elipsoide x2 y 2 z 2 + 2 + 2 =1, a2 b c
calcule
V
y = 2uv.
y = v u2 .
x2 y 2 z 2 + 2 + 2 ) dxdydz. a2 b c
Problemas propuestos
Solucin: Cambio: x = a sin() cos(), y = b sin() sin(), z = c cos(). 4 |JT | = abc2 sin(). Resultado: abc. 5
9. Calcule la integral
A
tado por la supercie 2z = x2 + y 2 y el plano z = 2. Solucin: Cambio a coordenadas cilndricas. Solucin: 16/3.
11. Halle el volumen del tumor cuya ecuacin en esfricas es 0 3 + sen(5)sen(4), [0, 2], [0, ].
Solucin: 821/21
Solucin: 3/2
La integral mltiple
es f (x, y) = a x2 + y 2 . Calcule el centro de masa de la lmina.
Solucin: (0, 3r/2) 14. Sea S el slido limitado por el cilindro y 2 + z 2 = 9 y los planos x = 0, y = 3x, z = 0 en el primer octante. Si tiene una funcin de densidad dada por f (x, y, z) = x2 + y 2 , calcule su masa, centro de masa y momento de inercia alrededor del eje OZ. 15. Halle el volumen del slido comprendido dentro del tronco cnico 1 1 x2 + y 2 = (z 1)2 , con z [0, ] , exterior al cilindro x2 + y 2 = , 2 4 utilizando el teorema de Pappus-Guldin.
Solucin: /6 16. Halle el volumen del toro de radios R y r (R > r) de ecuacin z 2 + ( x2 + y 2 R)2 r2
a) utilizando el cambio a coordenadas cilndricas. b) utilizando el teorema de Pappus-Guldin. Solucin: 2 2 Rr2 17. Utilizando el teorema de Green-Riemann, calcule la integral de lnea y 2 dx + xdy ,
siendo la circunferencia de radio 2 y centro en el origen. Solucin: 4. 18. Calcule, aplicando la frmula de Green-Riemann, la integral (2xy x2 )dx (x + y 2 )dy ,
siendo la curva formada por los ejes coordenados y el cuadrante positivo de la circunferencia x2 + y 2 = 4. Solucin: 16/3.
Problemas propuestos
19. Calcule, mediante una integral de lnea, el rea de la regin plana: D = { (x, y) R2 : x y 2 1 , x2 + 4y 2 4 }
20. Calcule el rea de la regin del primer cuadrante limitada por la curva = 3 cos 3t ,
a) Mediante una integral doble. b) Mediante una integral de lnea. Solucin: 3/8. 21. Sea D la regin interior a la elipse 4x2 + 9y 2 = 36 y exterior al crculo x2 + y 2 = 1. Denotando por a la frontera de esta regin, calcule la integral de lnea 2xydx + (x2 + 2x)dy.
t [0, ]. 6
Solucin: 10. 22. Calcule el rea de la regin interior a la circunferencia x2 + y 2 = 4 y a la derecha de la recta x = 1. Solucin: 4/3 3.
23. Calcule el rea de la regin del plano A = {(x, y) R2 : y 4x x2 , y 6 3x, y 0}. Solucin: 151/6. 24. Halle el volumen limitado por: a) x2 + y 2 + z 2 = 4, x2 + y 2 = 3z. b) z = x2 + 6y 2 , x2 + 4y 2 = 4, z = 0. Solucin: a) 19/6. b) 20/3.
La integral mltiple
25. Calcule la integral triple el interior del elipsoide
V
x2 y 2 + + z 2 = 1. 9 4
Solucin: Cambio: x = 3 sin() cos(), y = 2 sin() sin(), z = cos(). JT = 62 sin(). Valor de la integral: 864 . 5
26. Haciendo un cambio a coordenadas esfricas, resuelva la integral (x2 + y 2 + z 2 ) dxdydz ,
A
27. Calcule el volumen del slido limitado por las supercies z = 4 y2, y = x, x = 2, z = 0.
28. Utilizando un cambio de variable, halle el valor de la integral (x y)2 sin2 (x + y) dxdy ,
D
donde D es el paralelogramo de vrtices (, 0), (2, ), (, 2), (0, ). 29. Sea la regin D del plano limitada por las curvas 4x2 + (y 1)2 = 4, 4x2 + (y + 1)2 = 4 y que contiene el (0,0). a) Calcule la integral (x y) dxdy.
D
b) Calcule la integral anterior como la integral curvilnea de cierto campo vectorial F : R2 R2 . (Utilice el teorema de Green-Riemann para encontrar el campo F adecuado).
Problemas propuestos
30. Calcule la integral z sin(x2 + y 2 )dxdydz ,
V
31. Calcule el rea, utilizando coordenadas polares, de la regin limitada por la curva (x2 + y 2 )2 = 2xy, x 0, y 0, a) mediante una integral curvilnea, b) mediante una integral doble.
32. Calcule el volumen de la porcin del slido comprendido entre las supercies (z + 1)2 = x2 + y 2 , 4z = x2 + y 2 , situada por encima el plano XY.
La integral mltiple
Problemas resueltos
1. Sea f una funcin denida en I = [1, 2] [1, 4] del siguiente modo: f (x, y) = (x + y)2 , x y 2x , 0 , en el resto.
Indique, mediante un dibujo, la porcin A del rectngulo I en la que f no es nula y calcule el valor de la integral
A
f , supuesta su existencia.
Solucin:
La regin sombreada, A = (x, y) R2 : 1 x 2, x y 2x , es la porcin del rectngulo en la que f no se anula. La funcin f es continua en A, por tanto f es integrable en A. Luego, aplicando el teorema de Fubini:
2 4 2 2x x
f=
A 1
2
f (x, y)dy dx =
1 1
2x 2
1 dy dx = (x + y)2
2
=
1
1 x+y
dx =
x 1
1 1 1 ( + )dx = log x 3x 2x 6
=
1
1 log 2. 6
2. Un slido est limitado por la supercie z = x2 y 2 , el plano xy, y los planos x = 1 y x = 3. Calcule su volumen por doble integracin.
Problemas resueltos
Solucin: La interseccin de la supercie con el plano xy es: z = x2 y 2 z=0 y 2 = x2 y=x y = x
Para hallar el volumen del slido dado hemos de calcular la integral doble de la funcin z = f (x, y) = x2 y 2 sobre la regin D del plano xy comprendida entre las rectas x = 1, x = 3, y = x e y = x : D = {(x, y) R2 : 1 x 3, x y x} V =
D
(x2 y 2 )dxdy =
1
x x
(x2 y 2 )dy dx = y3 3
x 3
=
1
x2 y
dx =
x 1
4 3 1 x dx = x4 3 3
=
1
80 . 3
3. Calcule
D
drante situada entre las dos hiprbolas xy = 1 y xy = 2 y las lneas rectas y = x e y = 4x.
La integral mltiple
Solucin: La regin D es el conjunto D = (x, y) R2 : 1 xy 2, x y 4x} = = (x, y) R2 : 1 xy 2, 1
Esta expresin nos sugiere el cambio de variables y u = xy, v = . x
Con lo que y = vx, u = vx2 x=
u , y = uv, v
siempre que u, v > 0
y 4 . x
T es una transformacin inyectiva (para cada (x, y) hay un solo (u, v) tal que T (u, v) = (x, y)) y es de clase C 1 . Hemos de comprobar adems que su jacobiano es no nulo: 1/v JT (u, v) =
2 u/v
v 2 uv
u/v 2
2 u/v
u 2 uv
= 1 = 0, 2v
u, v > 0.
Podemos dibujar fcilmente la regin D calculando los puntos de corte de las rectas con las hiprbolas dadas (recordemos que son slo los del primer cuadrante): xy = 1 y=x x2 = 1 P1 = (1, 1); xy = 1 y = 4x x2 = 1 1 P2 = ( , 1) 4 2
xy = 2 y = 4x
xy = 2 y=x
x2 =
1 1 4 P3 = ( , ); 2 2 2
x2 = 2 P4 = ( 2, 2)
Problemas resueltos
Es obvio que esta regin D (en el plano xy) es la imagen, T (Q), del recinto (en el plano uv) Q = (u, v) R2 : 1 u 2, 1 v 4 . Aplicando el teorema del cambio de variable obtenemos: x2 y 2 dxdy =
D
2
u2
Q
1 dudv = 2v
4 1
=
1
u2 du.
1 u3 dv = 2v 3
.
1
1 log v 2
=
1
7 log 2. 3
siendo V el volumen exterior a la hoja superior del cono z 2 = x2 + y 2 e interior al cilindro x2 + y 2 = 1, con z 0. Solucin: La interseccin del cono con el cilindro es: x2 + y 2 = z 2 x2 + y 2 = 1 la circunferencia x2 + y 2 = 1 en el plano z = 1.
La integral mltiple
Haciendo el cambio a coordenadas cilndricas x = cos T : U R3 , T (, , z) = ( cos , sen , z) y = sen z=z siendo U =]0, +[]0, 2[R, JT (, , z) = . De esta manera, y puesto que x2 + y 2 = 2 = 1 en el cilindro y z 2 = 2 en el cono, el recinto V es la imagen, T (Q), (salvo un conjunto de medida cero, que es la regin del plano y = 0 comprendida entre el cilindro y el cono) del conjunto Q = {(, , z) U : 0 < 1, 0 < < 2, 0 z } U. Por tanto, haciendo la integral con este cambio de variable obtenemos: (2zx2 + 2zy 2 ) dxdydz =
V
=
Q 1
2z2 dddz =
0 2 0 z 2 3 0 d
1 0 1
2 0 2 0
2z3 dz d d =
1
=
0
d =
0
6 d d = 2 6
5
=
0
. 3
Problemas resueltos
5. Calcule la integral
A
Puesto que el conjunto A es un trozo de esfera haremos el cambio a coordenadas esfricas para que el recinto de integracin sea ms manejable. x = cos sen y = sen sen z = cos T : U R3 , T (, , ) = ( cos sen , sen sen , cos )
T es C 1 -invertible, con jacobiano, JT (, , ) = 2 sen , distinto de cero en cualquier punto del abierto U =]0, +[]0, 2[]0, [. Sea Q = (, , ) R3 : 0 < 1, 0 <
Es claro que su imagen mediante T es T (Q) = A {(x, y, z) A : y = 0}
, 0< 2 2
U.
La integral mltiple
y puesto que el conjunto {(x, y, z) A : y = 0} tiene medida cero en R3 , (es un trozo de plano) podemos aplicar el teorema del cambio de variable para calcular la integral que se pide por medio de una integral sobre el rectngulo Q:
xyz dxdydz =
A
=
Q 1
=
0
1
0
2
=
0
5 d
sen cos d
2
sen3 cos d =
1 6
0 sen2
sen4
4
1 . 48
Solucin:
Problemas resueltos
La regin D es una corona circular; esto sugiere el cambio a polares para hacer la integral. Hacemos la transformacin
x = cos y = sen
T : U R2 ,
T (, ) = ( cos , sen )
donde U =]0, +[]0, 2[ y JT (, ) = es distinto de cero en U . La corona D es la imagen mediante T del rectngulo Q = , ) R2 : 2 4, 0< U
salvo un conjunto de medida cero en R2 que es el trozo del eje OX comprendido entre x = 2 y x = 4 (que se obtendra con la imagen de los puntos tales que = 0). Aplicando el cambio de variable calculamos la integral doble en D por medio de una integral doble en Q, que nos resultar mucho ms sencilla de calcular porque Q es un rectngulo: (x2 + 5y 2 )dxdy =
D 4 Q 0 4
=
2
=
2
3
0
4
4 = 4
= 180.
La integral mltiple
Solucin:
LLamemos D a la regin, convexa, limitada por . Es obvio que D = int = [1, 1] [1, 1]. Aplicaremos la frmula de Green-Riemann P dx + Qdy =
D
Q P x y
dxdy
(1 2y)dxdy = y y2
1 dx 1 1 1 1
(1 2y)dy dx = 2dx = 4.
1
=
1
8. Considere la curva una parametrizacin de la elipse 4(x2 1) + y 2 = 0. Calcule la integral (x + y)dx + (y x)dy.
Problemas resueltos
Solucin:
=
0 2
[(cos t + 2 sent)(sent) + (2 sent cos t)2 cos t]dt = sen2 t (sent cos t 2)dt = 2t 2
2
=
0
= 4.
0
b) Sea D = int. Aplicando el teorema de Green-Riemann con P (x, y) = x+y y Q(x, y) = yx, y teniendo en cuenta que el rea de la elipse de semiejes a y b es ab (en nuestro caso a = 1, b = 2), obtenemos: (x + y)dx + (y x)dy =
P dx + Qdy =
D
Q P x y
dxdy =
=
D
(2)dxdy = 2(D) = 4.
La integral mltiple
9. Calcule el rea de la regin del primer cuadrante comprendida entre las curvas: y 2 = 2x, 2x + y = 20, y = 0. a) Mediante una integral doble. b) Mediante una integral de lnea. Solucin: a) Calculemos la interseccin de la parbola y la recta que delimitan la regin descrita: y 2 = 2x 2x + y = 20 y 2 + y 20 = 0 y = 5, no es positivo y = 4, x = 8
0y
2x
0 y 20 2x
con medida en R2 . El rea de D = D1 D2 , calculada mediante una integral doble, ser: dxdy =
D 8 2x D1
dxdy +
D2
8 0
10
dxdy
2 3 2 x2 3
8
dxdy =
D1
10
dy dx =
0
0
202x
2x dx =
=
0
64 . 3
10 8
dxdy =
D2 8 0
dy dx =
8
= 4.
Problemas resueltos
Sumando las dos integrales obtenemos:
area de D =
D
dxdy =
64 76 +4= . 3 3
b) Hemos de parametrizar la curva que delimita la regin D : la recta 2x + y = 20 : 1 (t) = (t, 20 2t), t [8, 10] 2 la parbola y 2 = 2x : (t) = ( t2 , t), t [0, 4] el eje OX : (t) = (t, 0), t [0, 10].
De esta manera es = (1 ) (2 ) 3 . Por el teorema de Green-Riemann, tomando P (x, y) = 0, Q(x, y) = x, podemos calcular el rea de D como: dxdy =
D 10
xdy =
1
xdy
2 4 2 t 0
xdy +
3
2 10 8
xdy =
t3 6
4
=
8
(2t)dt
dt = t
=
0
76 . 3
10. Calcule, mediante integracin, el volumen del slido limitado por el cono x2 + y 2 = 4z 2 y la esfera x2 + y 2 + z 2 = 5, siendo z 0. Solucin: La interseccin de las dos supercies es x2 + y 2 + z 2 = 5 x2 + y 2 = 4z 2 5z 2 = 5 z 2 = 1 z = 1 (z 0) x2 + y 2 = 4
La integral mltiple
dxdydz
Para calcular esta integral haremos un cambio a coordenadas esfricas: x = cos sen JT (, , ) = 2 sen y = sen sen z = cos La variacin del ngulo dentro del recinto de integracin viene dada por el ngulo que forma la generatriz del cono con el eje OZ en un punto de la interseccin de las dos supercies, por ejemplo el punto (0, 2, 1). En este punto tan = 2 y por lo tanto = arctan 2. El radio vector variar desde 0 al radio de la esfera 5 y el ngulo debe recorrer toda la circunferencia, de modo que si consideramos el conjunto Q = (, , ) R3 : 0 5, 0 < < 2, 0 < arctan 2
su imagen mediante T es el recinto V (salvo un conjunto de medida cero en R3 : los puntos para los que = 0 = 0). Entonces dxdydz =
V 2 5 Q
arctan 2
2 sen ddd =
cos
arctan 2 0
Problemas propuestos
Problemas propuestos
1. Calcule las integrales dobles por integracin sucesiva a)
I
xy(x + y)dxdy donde I = [0, 1] [0, 1] . sen2 xsen2 ydxdy donde I = [0, ] [0, ] .
I
b) c)
I
2. Calcule
I
f (x, y) = 21 2 . 40 5 2
Solucin:
La integral mltiple
5. Dibuje la regin de integracin y calcule la integral doble a)
D
(x2 + y 2 )dxdy siendo D el tringulo de vrtices (0, 0), (2, 0), (2, 1). (1 + x)seny dxdy siendo D el trapezoide de vrtices (0,0), (1,0), (1,2),
D
b) (0,1). c)
D
(x2 y 2 )dxdy siendo D la regin limitada por el eje OX y la grca b) 3/2 2 sin(2) cos(2) + sin(1) + cos(1). c)
6. Considere la aplicacin T denida por las ecuaciones x = u2 v 2 , a) Calcule el jacobiano JT (u, v). b) Sea Q el rectngulo en el plano uv con vrtices (1,1), (2,1), (2,3), (1,3). Represente, mediante un dibujo, la imagen T (Q) en el plano XY . Solucin: a) JT (u, v) = 4(u2 + v 2 ). 7. Considere la aplicacin T denida por las ecuaciones x = u + v, a) Calcule el Jacobiano JT (u, v). b) Un tringulo Q en el plano (u, v) tiene vrtices (0,0), (2,0), (0,2). Represente, mediante un dibujo, la imagen T (Q) = D en el plano xy. c) Calcule el rea de D mediante una integral doble extendida a D y tambin mediante otra integral doble extendida a Q. Solucin: Area = 14/3. 8. Si V es el slido limitado por el elipsoide x2 y 2 z 2 + 2 + 2 =1, a2 b c
calcule
V
y = 2uv.
y = v u2 .
x2 y 2 z 2 + 2 + 2 ) dxdydz. a2 b c
Problemas propuestos
Solucin: Cambio: x = a sin() cos(), y = b sin() sin(), z = c cos(). 4 |JT | = abc2 sin(). Resultado: abc. 5
9. Calcule la integral
A
tado por la supercie 2z = x2 + y 2 y el plano z = 2. Solucin: Cambio a coordenadas cilndricas. Solucin: 16/3.
11. Halle el volumen del tumor cuya ecuacin en esfricas es 0 3 + sen(5)sen(4), [0, 2], [0, ].
Solucin: 821/21
Solucin: 3/2
La integral mltiple
es f (x, y) = a x2 + y 2 . Calcule el centro de masa de la lmina.
Solucin: (0, 3r/2) 14. Sea S el slido limitado por el cilindro y 2 + z 2 = 9 y los planos x = 0, y = 3x, z = 0 en el primer octante. Si tiene una funcin de densidad dada por f (x, y, z) = x2 + y 2 , calcule su masa, centro de masa y momento de inercia alrededor del eje OZ. 15. Halle el volumen del slido comprendido dentro del tronco cnico 1 1 x2 + y 2 = (z 1)2 , con z [0, ] , exterior al cilindro x2 + y 2 = , 2 4 utilizando el teorema de Pappus-Guldin.
Solucin: /6 16. Halle el volumen del toro de radios R y r (R > r) de ecuacin z 2 + ( x2 + y 2 R)2 r2
a) utilizando el cambio a coordenadas cilndricas. b) utilizando el teorema de Pappus-Guldin. Solucin: 2 2 Rr2 17. Utilizando el teorema de Green-Riemann, calcule la integral de lnea y 2 dx + xdy ,
siendo la circunferencia de radio 2 y centro en el origen. Solucin: 4. 18. Calcule, aplicando la frmula de Green-Riemann, la integral (2xy x2 )dx (x + y 2 )dy ,
siendo la curva formada por los ejes coordenados y el cuadrante positivo de la circunferencia x2 + y 2 = 4. Solucin: 16/3.
Problemas propuestos
19. Calcule, mediante una integral de lnea, el rea de la regin plana: D = { (x, y) R2 : x y 2 1 , x2 + 4y 2 4 }
20. Calcule el rea de la regin del primer cuadrante limitada por la curva = 3 cos 3t ,
a) Mediante una integral doble. b) Mediante una integral de lnea. Solucin: 3/8. 21. Sea D la regin interior a la elipse 4x2 + 9y 2 = 36 y exterior al crculo x2 + y 2 = 1. Denotando por a la frontera de esta regin, calcule la integral de lnea 2xydx + (x2 + 2x)dy.
t [0, ]. 6
Solucin: 10. 22. Calcule el rea de la regin interior a la circunferencia x2 + y 2 = 4 y a la derecha de la recta x = 1. Solucin: 4/3 3.
23. Calcule el rea de la regin del plano A = {(x, y) R2 : y 4x x2 , y 6 3x, y 0}. Solucin: 151/6. 24. Halle el volumen limitado por: a) x2 + y 2 + z 2 = 4, x2 + y 2 = 3z. b) z = x2 + 6y 2 , x2 + 4y 2 = 4, z = 0. Solucin: a) 19/6. b) 20/3.
La integral mltiple
25. Calcule la integral triple el interior del elipsoide
V
x2 y 2 + + z 2 = 1. 9 4
Solucin: Cambio: x = 3 sin() cos(), y = 2 sin() sin(), z = cos(). JT = 62 sin(). Valor de la integral: 864 . 5
26. Haciendo un cambio a coordenadas esfricas, resuelva la integral (x2 + y 2 + z 2 ) dxdydz ,
A
27. Calcule el volumen del slido limitado por las supercies z = 4 y2, y = x, x = 2, z = 0.
28. Utilizando un cambio de variable, halle el valor de la integral (x y)2 sin2 (x + y) dxdy ,
D
donde D es el paralelogramo de vrtices (, 0), (2, ), (, 2), (0, ). 29. Sea la regin D del plano limitada por las curvas 4x2 + (y 1)2 = 4, 4x2 + (y + 1)2 = 4 y que contiene el (0,0). a) Calcule la integral (x y) dxdy.
D
b) Calcule la integral anterior como la integral curvilnea de cierto campo vectorial F : R2 R2 . (Utilice el teorema de Green-Riemann para encontrar el campo F adecuado).
Problemas propuestos
30. Calcule la integral z sin(x2 + y 2 )dxdydz ,
V
31. Calcule el rea, utilizando coordenadas polares, de la regin limitada por la curva (x2 + y 2 )2 = 2xy, x 0, y 0, a) mediante una integral curvilnea, b) mediante una integral doble.
32. Calcule el volumen de la porcin del slido comprendido entre las supercies (z + 1)2 = x2 + y 2 , 4z = x2 + y 2 , situada por encima el plano XY.
INTEGRALES TRIPLES.
x 0 0
Solucin o
z
Teniendo en cuenta la grca adjunta, si D1 , D2 y D3 son las proyecciones sobre los tres a planos coordenados, las diferentes formas de escribir la integral son las siguientes:
dxdy
D1 0 x
f dz f dy
z 1
=
0 1
dx
0 1
dy
0 x
f dz =
0 1
dy
y x
dx
0 x
f dz, f dy,
z 1
dxdz
D2
=
0 1
dz
z y
dx
z 1
f dy =
0 1
dx
0 1
dz dy
z y
dydz
D3 y
f dx =
0
dy
0
dz
y
f dx =
0
dz
f dx.
ii)
W
Solucin o 1
y x
Como la proyeccin de dicha regin sobre el plano z = 0 es el c o o rculo C : x2 + y 2 4, la integral triple se puede descomponer entonces como
2
I=
C
dxdy
(x2 +y 2 )/2
(x2 + y 2 ) dz.
I=
0
dv
0
u du
u2 /2
u2 dz = 2
0
u3 (2 u2 /2) du =
16 . 3
ii) La interseccin del paraboloide 2az = x2 + y 2 con el hiperboloide x2 + y 2 z 2 = a2 o da la circunferencia x2 + y 2 = 2a2 situada en el plano z = a. Esto indica que ambas supercies son tangentes a lo largo de dicha circunferencia; por ello deducimos que la regin o de integracin est limitada superiormente por el paraboloide, inferiormente por el plano o a z = 0 y lateralmente por el hiperboloide (en la gura se muestran dos vistas de la regin o de integracin). o
Debemos descomponer la integral en dos sumandos pues, si (x, y) est en el c a rculo de centro el origen y radio a, entonces z est comprendido entre el plano z = 0 y paraboloide a el 2az = x2 + y 2 y, si (x, y) est entre el c a rculo anterior y el c rculo de radio a 2, entonces z est comprendido entre el hiperboloide x2 + y 2 z 2 = a2 y el paraboloide anterior. a La frmula que se obtiene es pues o
x2 +y 2 2a
=
x2 +y 2 a2
dxdy
0
(1 + z 2 ) dz
x2 +y 2 2a
+
a2 x2 +y 2 2a2
dxdy
(1 + z 2 ) dz.
x2 +y 2 a2
=
0
dv
0
u du
0 3
(1 + z ) dz +
0
dv
a
u du
(1 + z 2 ) dz
u2 a2
48. Calcular
S
Solucin o Si llamamos D a la proyeccin de la regin de integracin sobre el plano XY , podemos o o o escribir la integral como
1xy
I=
D 0
(1 + x + y + z)3 dz dxdy.
Como, a su vez, D es el tringulo de vrtices (0, 0), (1, 0) y (0, 1), la integral se descompone a e en las siguientes integrales iteradas:
1 1x 1xy
=
0 1
dx
0 1x
dy
0
(1 + x + y + z)3 dz
=
0 1
dx
0
y (1 + x + y)2 dy + 8 2
=
0
x1 1 1 1 5 + dx = ln 2 . 8 4 2(1 + x) 2 16
49. Calcular los volmenes de los cuerpos limitados por las siguientes supercies: u i) a2 = x2 + z 2 , x + y = a, x y = a. ii) z = x2 + y 2 , xy = a2 , xy = 2a2 , y = x/2, y = 2x, z = 0. iii) iv) x + a y + b z = 1, x, y, z 0. c
x2 y2 z2 x2 y2 z2 + 2 + 2 = 1, 2 + 2 = 2 , (z > 0). 2 a b c a b c
Solucin o i) La regin a considerar es el interior del cilindro a2 = x2 +z 2 cortado por los cuatro planos o x + y = a, x + y = a, x y = a, x y = a. 3
y x
Como la proyeccin del slido sobre el plano XY es el cuadrado R limitado por las rectas o o x + y = a, x + y = a, x y = a, x y = a, el volumen se calcula por la frmula o
a2 x2
=
R
dxdy
0
a2 x2 x+a xa
dz = 2
R
a2 x2 dxdy
a x+a
2
a
dx
a2 x2 dy + 2
0
dx
xa
[Para calcular las integrales se puede hacer alguna sustitucin trigonomtrica.] o e ii) El slido consiste en la regin limitada entre el plano XY y el paraboloide z = x2 + y 2 y o o cuya proyeccin sobre el plano XY es la regin R limitada por las curvas xy = a2 , xy = 2a2 , o o y = x/2, y = 2x (en realidad la regin es unin de dos regiones, una de ellas en el primer o o cuadrante y otra en el tercer cuadrante; como las regiones tienen la misma rea y la funcin a o z = x2 + y 2 es simtrica, bastar multiplicar por dos el resultado obtenido al considerar e a unicamente la parte del primer cuadrante).
V =2
R
dxdy
0
dz =
R
(x2 + y 2 ) dxdy.
Para calcular la integral doble sobre la regin R, realizamos el cambio de variables dado o por las ecuaciones xy = u, x/y = v. 1 x, y = y que la nueva regin de integracin sea R = {(u, v) : o o u, v 2v a2 u 2a2 , 1/2 v 2}. El volumen se calcula entonces como Este cambio hace que J
2a2 2
V =2
a2
du
1/2
uv +
u 1 9a4 dv = . v 2v 2
iii) El slido est ahora comprendido entre la funcin dada y los planos coordenados. o a o
y x
Su proyeccin sobre el plano XY es la regin R del primer cuadrante limitada por los o o x y + = 1, de modo que el volumen es ejes coordenados y la astroide de ecuacin o a b sencillamente 2
c(1 x/a y/b)
=
R a 0 b((1
dz
x/a)2
=
0
dx
0
c(1
x/a
y/b)2 dy =
abc . 90
[Todas las integrales son inmediatas.] iv) Ahora el slido es la regin limitada superiormente por el elipsoide o o inferiormente por el cono x2 y 2 z 2 + 2 + 2 =1e a2 b c
x2 y2 z2 + 2 = 2 , por encima del plano XY . Como la interseccin o a2 b c 2 2 x y de ambas supercies es la elipse 2 + 2 = 1/2, situada en el plano z = c/ 2, el volumen a b se expresa mediante la integral 2 2 2 2
c 1x /a y /b
V =
R
dxdy
dz,
x2 /a2 +y 2 /b2
x2 y2 + 2 = 1/2. a2 b
Para calcular dicha integral hacemos el cambio de variables x = (a/ 2)u cos v, y = (a/ 2)u sen v, cuyo jacobiano vale J = abu/2. Con estos datos,
2 1
V =
0
dv
0
(c 1 u2 /2 c/2)
abu 5 1 du = ab. 2 12 3 2
50. Encontrar el volumen de la regin acotada por las supercies z = x2 + y 2 , z = o 10 x2 2y 2 . Solucin o En la gura del lado izquierdo se muestran los dos paraboloides que limitan la regin, y en o el lado derecho se ilustra la curva interseccin y su proyeccin sobre el plano XY . o o
y
x x Como la proyeccin de dicha curva interseccin es la elipse de ecuacin o o o
x2 + y 2 = 10 x2 2y 2 2x2 + 3y 2 = 10, para calcular el volumen utilizamos coordenadas polares modicadas, es decir hacemos la transformacin o x 2/10 = u cos v, y 3/10 = u sen v,
cos v
=
0
du
1 0
50 (u u3 ) du = . 6
51. Calcular el volumen del casquete esfrico limitado por e x2 + y 2 + z 2 x2 + y 2 + z 2 x2 + y 2 con z 0, siendo 0 < a < b. = a2 = b2 = z2,
Solucin o
y x
Si escribimos el volumen en coordenadas esfricas, de acuerdo a la gura tenemos: e x = r cos sen arb y = r sen sen donde 0 /4 . z = r cos 0 2 Recordando que el jacobiano de la transformacin es J = r2 sen , el volumen se escribe o ahora de la siguiente forma:
b /4 2
=
a
dr
0
d 1
0
r2 sen d = 2 2 2 =
r3 3
/4
cos
a 0
b3 a3 3
(2 2)(b3 a3 ). 3
52. (a) Describir las supercies r = constante, = constante, z = constante, en el sistema de coordenadas cil ndricas. (b) Idem para las supercies r = constante, = constante, = constante, en coordenadas esfricas. e
Solucin o a) De las ecuaciones que denen las coordenadas cil ndricas: x = r cos , y = r sen , z = z, al hacer r = k, obtenemos x2 + y 2 = k 2 , 7
lo que corresponde a un cilindro con eje de simetr el eje Z y radio k. a Si hacemos = k, basta dividir las dos primeras coordenadas para obtener y = tg k, x lo que corresponde a un plano vertical que pasa por el origen (los distintos valores de k dan los diferentes ngulos con respecto al plano y = 0). a Si hacemos z = k, esta misma ecuacin representa un plano horizontal de altura k. o b) Las coordenadas esfricas de un punto se obtienen mediante las ecuaciones e x = cos sen , y = sen sen , z = cos . Si hacemos = k, obtenemos x2 + y 2 + z 2 = k 2 , es decir la esfera centrada en el origen con radio k. Si hacemos = k, al igual que con las coordenadas cil ndricas, y = tg , x que representa tambin un plano vertical. e Si, por ultimo, escribimos = k, resulta: x2 + y 2 = 2 sen2 z 2 = 2 cos2 que representa un cono de vrtice el origen. e = x2 + y 2 = tg2 , z2
53. Calcular el momento de inercia de un slido en forma de cono circular recto con o densidad constante respecto a su eje.
Solucin o Supongamos que el cono de altura h y radio en la base r tiene vrtice en el origen y eje e vertical. Entonces su ecuacin es o z2 = h2 2 (x + y 2 ). r2
Si la densidad en cada punto del slido es k, el momento de inercia respecto al eje Z viene o dada por la frmula: o Iz =
S
k(x2 + y 2 ) dV.
Para resolver la integral, escribimos el slido en coordenadas cil o ndricas, x = u cos v, y = u sen v. La ecuacin del cono se escribe entonces como z = hu/r y la integral pedida o
2 r h r
Iz =
0
dv
0
du
hu/r
k u3 dz = 2k
0
u3 h
uh khr4 du = . r 10
Otra forma de resolver la integral consiste en realizar la transformacin a coordenadas o esfricas, x = cos sen , y = sen sen , z = cos . De este modo la ecuacin del e o plano z = h se escribe como = h/ cos , y la integral es ahora
2 arc tg(r/h) h/ cos
Iz
=
0
d
0 arc tg(r/h)
d
0
= =
2k
0
sen3
arc tg(r/h)
2kh5 5
tg3 sec2 d =
0
54. Hallar
R3
Solucin o Si realizamos la transformacin a coordenadas esfricas, x = cos sen , y = sen sen , o e z = cos , como el valor absoluto del jacobiano de la transformacin es J = 2 sen , la o integral se escribe como:
2
I=
0
d
0
d
0
2 sen d. (1 + 3 )3/2
Para resolver la integral, como las variables estn separadas, basta multiplicar las tres a integrales simples. Tenemos as :
=
0
2 d (1 + 3 )3/2
0
d
0 0
4 3
32 (1 + 3 )3/2 d =
=
0
8 . 3
55. Calcular
R
z h
a x a
La gura adjunta muestra el cono descrito, el cual tiene por ecuacin a2 (h z)2 = h2 (x2 + o y 2 ). Pasando la integral a coordenadas cil ndricas, x = u cos v, y = u sen v, z = z, tenemos:
a 2 h(au)/a
I=
0
du
0
dv
0
a4 h h3 a2 + . 20 30
10
INTEGRALES TRIPLES.
x 0 0
Solucin o
z
Teniendo en cuenta la grca adjunta, si D1 , D2 y D3 son las proyecciones sobre los tres a planos coordenados, las diferentes formas de escribir la integral son las siguientes:
dxdy
D1 0 x
f dz f dy
z 1
=
0 1
dx
0 1
dy
0 x
f dz =
0 1
dy
y x
dx
0 x
f dz, f dy,
z 1
dxdz
D2
=
0 1
dz
z y
dx
z 1
f dy =
0 1
dx
0 1
dz dy
z y
dydz
D3 y
f dx =
0
dy
0
dz
y
f dx =
0
dz
f dx.
ii)
W
Solucin o 1
y x
Como la proyeccin de dicha regin sobre el plano z = 0 es el c o o rculo C : x2 + y 2 4, la integral triple se puede descomponer entonces como
2
I=
C
dxdy
(x2 +y 2 )/2
(x2 + y 2 ) dz.
I=
0
dv
0
u du
u2 /2
u2 dz = 2
0
u3 (2 u2 /2) du =
16 . 3
ii) La interseccin del paraboloide 2az = x2 + y 2 con el hiperboloide x2 + y 2 z 2 = a2 o da la circunferencia x2 + y 2 = 2a2 situada en el plano z = a. Esto indica que ambas supercies son tangentes a lo largo de dicha circunferencia; por ello deducimos que la regin o de integracin est limitada superiormente por el paraboloide, inferiormente por el plano o a z = 0 y lateralmente por el hiperboloide (en la gura se muestran dos vistas de la regin o de integracin). o
Debemos descomponer la integral en dos sumandos pues, si (x, y) est en el c a rculo de centro el origen y radio a, entonces z est comprendido entre el plano z = 0 y paraboloide a el 2az = x2 + y 2 y, si (x, y) est entre el c a rculo anterior y el c rculo de radio a 2, entonces z est comprendido entre el hiperboloide x2 + y 2 z 2 = a2 y el paraboloide anterior. a La frmula que se obtiene es pues o
x2 +y 2 2a
=
x2 +y 2 a2
dxdy
0
(1 + z 2 ) dz
x2 +y 2 2a
+
a2 x2 +y 2 2a2
dxdy
(1 + z 2 ) dz.
x2 +y 2 a2
=
0
dv
0
u du
0 3
(1 + z ) dz +
0
dv
a
u du
(1 + z 2 ) dz
u2 a2
48. Calcular
S
Solucin o Si llamamos D a la proyeccin de la regin de integracin sobre el plano XY , podemos o o o escribir la integral como
1xy
I=
D 0
(1 + x + y + z)3 dz dxdy.
Como, a su vez, D es el tringulo de vrtices (0, 0), (1, 0) y (0, 1), la integral se descompone a e en las siguientes integrales iteradas:
1 1x 1xy
=
0 1
dx
0 1x
dy
0
(1 + x + y + z)3 dz
=
0 1
dx
0
y (1 + x + y)2 dy + 8 2
=
0
x1 1 1 1 5 + dx = ln 2 . 8 4 2(1 + x) 2 16
49. Calcular los volmenes de los cuerpos limitados por las siguientes supercies: u i) a2 = x2 + z 2 , x + y = a, x y = a. ii) z = x2 + y 2 , xy = a2 , xy = 2a2 , y = x/2, y = 2x, z = 0. iii) iv) x + a y + b z = 1, x, y, z 0. c
x2 y2 z2 x2 y2 z2 + 2 + 2 = 1, 2 + 2 = 2 , (z > 0). 2 a b c a b c
Solucin o i) La regin a considerar es el interior del cilindro a2 = x2 +z 2 cortado por los cuatro planos o x + y = a, x + y = a, x y = a, x y = a. 3
y x
Como la proyeccin del slido sobre el plano XY es el cuadrado R limitado por las rectas o o x + y = a, x + y = a, x y = a, x y = a, el volumen se calcula por la frmula o
a2 x2
=
R
dxdy
0
a2 x2 x+a xa
dz = 2
R
a2 x2 dxdy
a x+a
2
a
dx
a2 x2 dy + 2
0
dx
xa
[Para calcular las integrales se puede hacer alguna sustitucin trigonomtrica.] o e ii) El slido consiste en la regin limitada entre el plano XY y el paraboloide z = x2 + y 2 y o o cuya proyeccin sobre el plano XY es la regin R limitada por las curvas xy = a2 , xy = 2a2 , o o y = x/2, y = 2x (en realidad la regin es unin de dos regiones, una de ellas en el primer o o cuadrante y otra en el tercer cuadrante; como las regiones tienen la misma rea y la funcin a o z = x2 + y 2 es simtrica, bastar multiplicar por dos el resultado obtenido al considerar e a unicamente la parte del primer cuadrante).
V =2
R
dxdy
0
dz =
R
(x2 + y 2 ) dxdy.
Para calcular la integral doble sobre la regin R, realizamos el cambio de variables dado o por las ecuaciones xy = u, x/y = v. 1 x, y = y que la nueva regin de integracin sea R = {(u, v) : o o u, v 2v a2 u 2a2 , 1/2 v 2}. El volumen se calcula entonces como Este cambio hace que J
2a2 2
V =2
a2
du
1/2
uv +
u 1 9a4 dv = . v 2v 2
iii) El slido est ahora comprendido entre la funcin dada y los planos coordenados. o a o
y x
Su proyeccin sobre el plano XY es la regin R del primer cuadrante limitada por los o o x y + = 1, de modo que el volumen es ejes coordenados y la astroide de ecuacin o a b sencillamente 2
c(1 x/a y/b)
=
R a 0 b((1
dz
x/a)2
=
0
dx
0
c(1
x/a
y/b)2 dy =
abc . 90
[Todas las integrales son inmediatas.] iv) Ahora el slido es la regin limitada superiormente por el elipsoide o o inferiormente por el cono x2 y 2 z 2 + 2 + 2 =1e a2 b c
x2 y2 z2 + 2 = 2 , por encima del plano XY . Como la interseccin o a2 b c 2 2 x y de ambas supercies es la elipse 2 + 2 = 1/2, situada en el plano z = c/ 2, el volumen a b se expresa mediante la integral 2 2 2 2
c 1x /a y /b
V =
R
dxdy
dz,
x2 /a2 +y 2 /b2
x2 y2 + 2 = 1/2. a2 b
Para calcular dicha integral hacemos el cambio de variables x = (a/ 2)u cos v, y = (a/ 2)u sen v, cuyo jacobiano vale J = abu/2. Con estos datos,
2 1
V =
0
dv
0
(c 1 u2 /2 c/2)
abu 5 1 du = ab. 2 12 3 2
50. Encontrar el volumen de la regin acotada por las supercies z = x2 + y 2 , z = o 10 x2 2y 2 . Solucin o En la gura del lado izquierdo se muestran los dos paraboloides que limitan la regin, y en o el lado derecho se ilustra la curva interseccin y su proyeccin sobre el plano XY . o o
y
x x Como la proyeccin de dicha curva interseccin es la elipse de ecuacin o o o
x2 + y 2 = 10 x2 2y 2 2x2 + 3y 2 = 10, para calcular el volumen utilizamos coordenadas polares modicadas, es decir hacemos la transformacin o x 2/10 = u cos v, y 3/10 = u sen v,
cos v
=
0
du
1 0
50 (u u3 ) du = . 6
51. Calcular el volumen del casquete esfrico limitado por e x2 + y 2 + z 2 x2 + y 2 + z 2 x2 + y 2 con z 0, siendo 0 < a < b. = a2 = b2 = z2,
Solucin o
y x
Si escribimos el volumen en coordenadas esfricas, de acuerdo a la gura tenemos: e x = r cos sen arb y = r sen sen donde 0 /4 . z = r cos 0 2 Recordando que el jacobiano de la transformacin es J = r2 sen , el volumen se escribe o ahora de la siguiente forma:
b /4 2
=
a
dr
0
d 1
0
r2 sen d = 2 2 2 =
r3 3
/4
cos
a 0
b3 a3 3
(2 2)(b3 a3 ). 3
52. (a) Describir las supercies r = constante, = constante, z = constante, en el sistema de coordenadas cil ndricas. (b) Idem para las supercies r = constante, = constante, = constante, en coordenadas esfricas. e
Solucin o a) De las ecuaciones que denen las coordenadas cil ndricas: x = r cos , y = r sen , z = z, al hacer r = k, obtenemos x2 + y 2 = k 2 , 7
lo que corresponde a un cilindro con eje de simetr el eje Z y radio k. a Si hacemos = k, basta dividir las dos primeras coordenadas para obtener y = tg k, x lo que corresponde a un plano vertical que pasa por el origen (los distintos valores de k dan los diferentes ngulos con respecto al plano y = 0). a Si hacemos z = k, esta misma ecuacin representa un plano horizontal de altura k. o b) Las coordenadas esfricas de un punto se obtienen mediante las ecuaciones e x = cos sen , y = sen sen , z = cos . Si hacemos = k, obtenemos x2 + y 2 + z 2 = k 2 , es decir la esfera centrada en el origen con radio k. Si hacemos = k, al igual que con las coordenadas cil ndricas, y = tg , x que representa tambin un plano vertical. e Si, por ultimo, escribimos = k, resulta: x2 + y 2 = 2 sen2 z 2 = 2 cos2 que representa un cono de vrtice el origen. e = x2 + y 2 = tg2 , z2
53. Calcular el momento de inercia de un slido en forma de cono circular recto con o densidad constante respecto a su eje.
Solucin o Supongamos que el cono de altura h y radio en la base r tiene vrtice en el origen y eje e vertical. Entonces su ecuacin es o z2 = h2 2 (x + y 2 ). r2
Si la densidad en cada punto del slido es k, el momento de inercia respecto al eje Z viene o dada por la frmula: o Iz =
S
k(x2 + y 2 ) dV.
Para resolver la integral, escribimos el slido en coordenadas cil o ndricas, x = u cos v, y = u sen v. La ecuacin del cono se escribe entonces como z = hu/r y la integral pedida o
2 r h r
Iz =
0
dv
0
du
hu/r
k u3 dz = 2k
0
u3 h
uh khr4 du = . r 10
Otra forma de resolver la integral consiste en realizar la transformacin a coordenadas o esfricas, x = cos sen , y = sen sen , z = cos . De este modo la ecuacin del e o plano z = h se escribe como = h/ cos , y la integral es ahora
2 arc tg(r/h) h/ cos
Iz
=
0
d
0 arc tg(r/h)
d
0
= =
2k
0
sen3
arc tg(r/h)
2kh5 5
tg3 sec2 d =
0
54. Hallar
R3
Solucin o Si realizamos la transformacin a coordenadas esfricas, x = cos sen , y = sen sen , o e z = cos , como el valor absoluto del jacobiano de la transformacin es J = 2 sen , la o integral se escribe como:
2
I=
0
d
0
d
0
2 sen d. (1 + 3 )3/2
Para resolver la integral, como las variables estn separadas, basta multiplicar las tres a integrales simples. Tenemos as :
=
0
2 d (1 + 3 )3/2
0
d
0 0
4 3
32 (1 + 3 )3/2 d =
=
0
8 . 3
55. Calcular
R
z h
a x a
La gura adjunta muestra el cono descrito, el cual tiene por ecuacin a2 (h z)2 = h2 (x2 + o y 2 ). Pasando la integral a coordenadas cil ndricas, x = u cos v, y = u sen v, z = z, tenemos:
a 2 h(au)/a
I=
0
du
0
dv
0
a4 h h3 a2 + . 20 30
10
Leccion
Integrales de lnea
4.1. Integral de lnea de un campo escalar
Denicin. Sea f : R un campo escalar continuo, con Rn , y sea : [a, b] un camino regular a trozos. La integral de lnea de f a lo largo de es, por denicin:
b
f dl =
a
f (t)
(t) dt
Existencia de la integral. Est asegurada, ya que el integrando es una funcin acotada en [a, b] y continua salvo, a lo sumo, en un nmero nito de puntos para los que ni siquiera concretamos el valor que toma en ellos dicha funcin. De hecho, si hacemos una particin a = t0 < t1 < . . . < tn = b del intervalo [a, b] de forma que, para k = 1, 2, . . . , n, la restriccin de al subintervalo [tk1 ,tk ] sea de clase C1 , podemos escribir
n tk
f dl =
k=1 tk1
f (t)
(t) dt,
obteniendo una suma nita de integrales de funciones continuas. Resaltamos que al campo escalar f slo se le exige estar denido y ser continuo sobre la curva recorrida por el camino de integracin. Habitualmente f tendr propiedades de regularidad mucho mejores, siendo por ejemplo diferenciable en un abierto que contenga a la curva . Casos particulares. En el caso n = 3, tendremos
b
f dl =
a
1/2
dt
(a
b)
1/2
dt
4. Integrales de lnea
23
Ejemplo. Consideremos el campo escalar f denido en R3 por f (x) = x y el camino helicoidal dado por: (t) = cost , sent , t En este caso tenemos claramente f (t) = cos2 t + sen2 t + t 2 = 1 + t 2 y tambin (t) = sent , cost , 1 , con lo cual f dl =
0 4 2
(x R3 )
(0
4).
(0 (0
t t
4) 4),
(t) = 2
162 . (1 + t 2 ) 2 dt = 4 2 1 + 3
Interpretacin. Cuando el campo escalar que se integra es constantemente igual a 1 sobre la curva recorrida, la integral de lnea coincide obviamente con la longitud del camino. A partir de aqu podemos intuir, muy informalmente, otras situaciones ms generales. En el caso n = 2, si el campo escalar f no toma valores negativos, podemos interpretar la integral de lnea como el rea de un muro construido tomando como base la curva recorrida por el camino y con altura variable, de forma que, para cada t [a, b], la altura del muro en el punto (t) es precisamente f (t) . Esta idea generaliza obviamente la interpretacin de la integral simple de una funcin positiva como el rea comprendida bajo la grca de la funcin. Para n = 2 o n = 3, tambin podemos interpretar que sobre la curva recorrida por tenemos una distribucin lineal de masa (pensemos por ejemplo en un cable con la forma de dicha curva), de manera que f (t) es la densidad lineal en el punto (t). La integral de lnea nos da entonces la masa total. Con respecto a ambas interpretaciones hay que hacer una salvedad: slo son correctas cuando, por decirlo de manera intuitiva, el camino recorre la curva una sola vez. La formulacin rigurosa de esta idea puede hacerse mediante la nocin de camino simple, que estudiaremos ms adelante.
4.2.
Denicin. Sea ahora F : Rn un campo vectorial continuo en un conjunto Rn y : [a, b] un camino regular a trozos. La integral de lnea de F a lo largo de es, por denicin:
b
F . dl =
a
F (t)
(t) dt
La existencia de esta integral est asegurada por las mismas razones comentadas en el caso de un campo escalar.
4. Integrales de lnea
24
Ejemplo. Consideremos el campo vectorial denido en R3 por F(x) = x y el camino helicoidal x = cost ; y = sent ; z = t Tenemos entonces F (t) (t) = cost i + sent j + t k sent i + cost j + k = cost sent + sent cost + t = t (0 t 4),
4
(x R3 )
(0
4).
con lo que F . dl =
0
t dt = 82 .
Notacin clsica. Sea F = (P, Q, R) un campo vectorial en el espacio, continuo sobre la curva recorrida por un camino regular a trozos de ecuaciones paramtricas x = x(t) ; y = y(t) ; z = z(t) Se tiene entonces, por denicin:
b
(a
b).
F . dl =
a
P x(t), y(t), z(t) x (t) + Q x(t), y(t), z(t) y (t) + R x(t), y(t), z(t) z (t) dt,
P dx + Q dy + R dz.
Anlogamente, para un campo vectorial en el plano F = (P, Q), que sea continuo sobre la curva recorrida por un camino regular a trozos con ecuaciones paramtricas x = x(t) ; y = y(t) podemos escribir F . dl =
(a
b),
P dx + Q dy =
P(x, y) dx + Q(x, y) dy
b
=
a
4. Integrales de lnea
25
y usando que, para cada t [0, 1], se tiene x (t) = 1, y (t) = 2t y z (t) = 0, deducimos: F . dl =
(x2 dx + xy dy + dz) =
0
(t 2 + 2t 4 ) dt =
11 . 15
Interpretacin. Supongamos que el campo vectorial F es un campo de fuerzas en el plano o en el espacio, pongamos por caso un campo gravitatorio o un campo elctrico. Ello signica que una unidad de masa o de carga elctrica positiva situada en un punto x est sometida a una fuerza F(x). Si una partcula con esa carga o masa unidad recorre un camino (regular a trozos) , la integral
Relacin entre las integrales de lnea. Si : [a, b] Rn es un camino suave, es decir, es regular con (t) = 0 para todo t [a, b], podemos denir T(t) = (t) (t) (a t b),
que es un vector unitario tangente a la curva recorrida por el camino en cada punto. Si ahora F es un campo vectorial continuo sobre dicha curva tendremos:
b
F . dl =
a
F (t)
T(t)
(t) dt
expresin que recuerda la integral de lnea de un campo escalar. Para denir correctamente dicho campo escalar necesitamos hacer hiptesis adicionales sobre el camino que no vamos a comentar, aunque no son difciles de adivinar. As pues, en ciertas condiciones existir un campo escalar continuo f : R que verica: f (t) = F (t) T(t) (a t b) y, por tanto,
F . dl =
f dl.
En resumen, bajo ciertas condiciones sobre el camino, toda integral de lnea de un campo vectorial coincide con la integral de lnea de un campo escalar, y es lgico analizar la relacin entre ambos campos. Observamos que, para cada t [a, b], el vector f (t) T(t) es la proyeccin ortogonal de F (t) sobre el vector T(t), es decir, la componente de F (t) en la direccin tangencial a la curva en el punto (t) . Por tanto, podemos ver el campo escalar f como la coordenada del campo vectorial F en dicha direccin tangencial a la curva en cada punto de la misma. En general, aunque el camino no cumpla las condiciones que justiquen el razonamiento anterior, sigue siendo til interpretar la integral de lnea sobre de un campo vectorial F como integral de lnea del campo escalar que se obtiene al tomar la coordenada de F en la direccin tangencial al camino en cada punto.
4. Integrales de lnea
26
4.3.
Linealidad. Las integrales dependen linealmente del campo que se integra. Ms concretamente, se verica que ( f + g) dl =
f dl +
g dl
para cualquier camino regular a trozos en Rn , cualesquiera campos escalares f y g que sean continuos sobre la curva recorrida por el camino y cualesquiera , R. Anloga propiedad se tiene para campos vectoriales: ( F + G) . dl =
F . dl +
G . dl
Continuidad. Las integrales de lnea tambin dependen de manera continua del campo que se integra; intuitivamente, pequeas perturbaciones del campo dan lugar a pequeas variaciones en la integral. Ello es consecuencia de las desigualdades que vamos a presentar. Sea : [a, b] Rn un camino regular a trozos que recorre una curva , sea f un campo escalar continuo sobre y supongamos que f est acotado en por una constante k, es decir, k m x{| f (x)| : x } = m x a a f (t) :a t b .
k L()
Anlogo resultado se tiene para un campo vectorial F que sea continuo sobre . De hecho, podemos considerar el campo escalar F , que tambin es continuo sobre , y la desigualdad de Cauchy-Schwartz nos permite escribir: F . dl
F dl.
m x{ F(x) : x } = m x a a
F (t)
:a
b ,
k L().
Aditividad. Las integrales de lnea son aditivas con respecto al camino de integracin, en el sentido de que al recorrer consecutivamente dos caminos, las integrales se suman. Ms concretamente, sean : [a, b] Rn y : [c, d] Rn caminos regulares a trozos consecutivos, esto es, vericando que (b) = (c), y consideremos el camino suma . Si f y F son, respectivamente, un campo escalar y un campo vectorial, ambos continuos sobre la unin de las curvas recorridas por y , se verica que: f dl =
f dl +
f dl
F . dl =
F . dl +
F . dl.
4. Integrales de lnea
27
Para el camino opuesto, el comportamiento de ambas integrales no es el mismo, la de un campo escalar no se altera al cambiar el sentido de recorrido, mientras que la de un campo vectorial cambia de signo. Ms concretamente, si f es un campo escalar y F un campo vectorial, ambos continuos sobre la curva recorrida por un camino regular a trozos , se tiene: f dl =
op
f dl
pero
op
F . dl =
F . dl.
Independencia de la parametrizacin. Las integrales de lnea no se alteran al sustituir el camino de integracin por otro equivalente en el sentido que vamos a explicar. Sea : [a, b] Rn un camino regular a trozos y sea : [c, d] [a, b] una funcin biyectiva, creciente y de clase C1 . Consideremos el camino regular a trozos : [c, d] Rn dado por = , esto es, (s) = (s) para c s d. Suele decirse que se ha obtenido de mediante un cambio de parmetro. Ntese que y recorren la misma curva, por lo que geomtricamente pueden considerarse equivalentes, aunque desde una interpretacin fsica podran describir movimientos diferentes. Observemos por ejemplo, en el caso n = 2, que si las ecuaciones paramtricas de vienen dadas por x = x(t) ; y = y(t) (a t b), las de seran: x = x (s) ; y = y (s)) (c s d), lo que pone claramente de maniesto el cambio de parmetro. Pues bien, volviendo al caso general, si f es un campo escalar y F un campo vectorial, ambos continuos sobre la curva recorrida por , se verica que: f dl =
f dl
F . dl =
F . dl.
4.4.
El siguiente resultado puede entenderse como una versin de la Regla de Barrow para integrales de lnea, o como una versin vectorial de dicha regla. Sea f : R un campo escalar de clase C1 en un abierto Rn y : [a, b] un camino regular a trozos. Entonces: f . dl = f (b) f (a) .
Por la importancia que tendr ms adelante este resultado vamos a detallar su demostracin. Supongamos primeramente que el camino es regular y consideremos la funcin h : [a, b] R
4. Integrales de lnea
28
denida por h(t) = f (t) para todo t [a, b]. La regla de la cadena nos permite asegurar que h es de clase C1 en [a, b] con h (t) = f (t) (t) (a t b).
f . dl =
a b
f (t)
(t) dt
=
a
En general, para un camino regular a trozos, usamos una particin a = t0 < t1 < . . . < tN = b del intervalo [a, b] de forma que la restriccin de al intervalo [tk1 ,tk ] es un camino regular, que denotamos por k , para k = 1, 2, . . . , N. Aplicando el resultado ya probado para caminos regulares tenemos claramente:
N N
f . dl =
k=1 k
f . dl =
k=1
f (tk ) f (tk1 )
= f (b) f (a) .
1. Curvas parametrizadas
A menudo nos interesar ver una cierta grca como si fuese el rastro que deja un mvil que se desplaza por el plano. Esto lo podemos hacer mediante las llamadas curvas parametrizadas.
Entonces, en cada instante la partcula mvil tendr unas coordenadas (x, y) = (f (t), g(t)). Observemos que a medida que vamos tomando t mayores, nos vamos desplazando segn un cierto sentido sobre la curva C . Este sentido de recorrido se llama orientacin de la curva C .
Podemos hacernos una idea de su forma dando valores al parmetro t. Obtenemos as una tabla como la siguiente:
t 0 /4 /2 3/4 (x, y) (2, 0) ( 2, 2) (0, 2) ( 2, 2) (2, 0)
(-2,0)
(2,0)
Ntese como hemos indicado la orientacin de la curva, mediante echas que determinan el sentido de recorrido. Si representamos sucientes punetos, veremos que la grca es la de una circunferencia de radio 2, recorrida en sentido antihorario (por convenio, el sentido antihorario se dice que es positivo, vase la gura 3).
En este ejemplo, podramos haber reconocido que la curva es una circunferencia sin ms que eliminar el parmetro t para obtener una ecuacin de la forma y = y(x). En este caso, elevando al cuadrado las expresiones (2) para x, y y sumando: x2 + y 2 = 4 cos2 t + 4 sin2 t = 4. 2
podemos eliminar el parmetro de la siguiente forma: tenemos que x = 3 sec = 3/ cos t, o sea, cos = 3/x. De aqu,
sin = 1 cos2 = 1 9 . x2
Una vez que tenemos sin , cos en trminos de x, podemos sustituir en la expressin de y : sin 2 9 y = 2 tan = 2 = x 1 2, cos 3 x o bien, elevando al cuadrado:
4 y 2 x2 = 1. 9
Este proceso no es posible en todos los casos; no siempre se puede despejar el parmetro para obtener una ecuacin y = y(x). En otras palabras: no toda curva parametrizada C es globalmente el grco de una funcin y = y(x). Como ejemplo tenemos la curva de ecuaciones et x = cos t . y = t2 sin t
Problemas Seccin 1
En los siguientes ejercicios, eliminar t de las curvas parametrizadas que se proponen. Representar la curva y determinar su orientacin. 1. 2. 3. 4. 5.
y 2/3 b
x 2 a
y 2 b
= 1, (4)
= 1, (5) 4y 4y + x = 0.
puede pensar que nos dice, para cada punto (x, y) del plano, cul es el valor de una magnitud numrica (o escalar) denida sobre el plano. Por ejemplo, podra darnos la temperatura en cada punto de una plancha metlica.
F (s) ds,
(3)
En esta expresin, tP y tQ son los valores del parmetro t para los cuales la curva pasa por P = (xP , yP ) y Q = (xQ , yQ ), respectivamente.
4
tQ . tP
Fijmonos en que si la curva C pasara por alguno de estos puntos para ms de un instante t, no sabramos cual de esos instantes tomar para calcular la integral. Por eso, supondremos que las curvas parametrizadas con las que trabajaremos no tienen autonintersecciones (se dice a veces que son curvas simples). Por ejemplo, una circunferencia x = cos t , t [0, 2], C y = sin t no tiene autointersecciones, pero la curva (que tiene la grca de un 8)
tiene una autointerseccin en (x, y) = (0, 0) (pasa por este punto para los valores t = y t = 3 ). 2 2
x3 y
a lo
entre los puntos (0, 0) y (2, 2). Lo primero que hay largo de la parbola y = que hacer es parametrizar la parbola; recordando la nota 2, es fcil hacer
C
2
x=t 2 , y = t2
es decir, tomar f (t) = t y g(t) = t2 . Los valores del parmetro t para los cuales la parbola pasa por (0, 0) y (2, 2) son, respectivamente, t = 0 y t = 2. Ahora, ya podemos aplicar la frmula (3); lo que queremos calcular es
t=2
F (t,
t=0
t2 ) 2
1 + t2 dt =
0
t3
t2 2
1 + t2 dt =
0 2
2t
1 + t2 dt,
o sea:
F (s) ds =
C
3 2 (1 + t2 ) 2 3
=
0
2 ( 75 1). 3
Un tipo de problema muy interesante al que se aplica el concepto de integral de lnea, es el de la determinacin de masas (o cargas) conocida la densidad.
La densidad lineal de masa en un punto P es directamente proporcional a la distancia de P a la recta que pasa por los extremos del alambre, y queremos determinar cul es la masa total. El primer paso consiste en situar el alambre en un sistema coordenado sobre el plano, como en la gura: Ahora, observemos que la densidad puede interpretarse como un campo escalar: lo que nos dicen es que en cada punto P = (x, y) de la curva que describe el alambre, la densidad es (x, y) = ky
5
(donde k es la constante de proporcionalidad), ya que y es la distancia de P a la recta que pasa por los extremos. Calcular la masa total equivale a sumar la densidad sobre todos los puntos de la curva, y as lo que queremos calcular es m = C (s)ds, donde C es la curva que describe el alambre, la semicircunferencia de radio a. Una parametrizacin para C es:
C x = a cos t , t [0, 2]. y = a sin t
Esta parametrizacin tiene orientacin antihoraria, es decir, comienza en (a, 0) para t = 0 y pasa por (a, 0) en t = . Aplicando la denicin de integral de lnea:
m=
C
(s)ds =
2 0 0
=ka
Problemas Seccin 2
1. Calcular la integral de lnea del campo F (x, y) = xy 2 a lo largo de la curva
3. Calcular la masa de un alambre con densidad lineal f (x, y, z) = denido por las ecuaciones
1 xy 2
+ y z,
y=x z=
x2 2 2 2
.Solucin: (4
2)/3.
4. Calcular la carga total de un alambre cuya forma sigue la curva y = x2 desde el punto (0, 0) hasta el punto (2, 4), si la densidad de carga en cada punto viene dada por f (x, y) = x. Solucin: (173/2 1)/12.
Nota 4 Por simplicidad, describiremos al situacin en la que n = 2. Ms adelante veremos ejemplos del caso n = 3.
Escribiremos la accin del campo F como F (x, y) = F1 (x, y)i + F2 (x, y)j o como F (x, y) = (F1 (x, y), F2 (x, y)), indistintamente. Ahora, como pasaba con las integrales de camos escalares, dada una curva parametrizada
(4)
F1 (x, y)dx +
tQ tP
F2 (x, y)dy.
(5)
Nuevamente, tP y tQ son los valores del parmetro t para los cuales la curva pasa por P = (xP , yP ) y Q = (xQ , yQ ), respectivamente. Observemos que las integrales de (5) tienen los extremos expresados en funcin del parmetro t. Por tanto, habr que hacer un cambio de variable para convertir dx y dy en dt. La tctica para conseguirlo, es la misma que se emplea en los cambios de variable de las integrales usuales: diferenciando las ecuaciones paramtricas de C (4) para obtener dx y dy en funcin de dt,
dx = f (t)dt . dy = g (t)dt
(6)
y sustuyendo:
xydx + x2 dy =
C 1 5/3 5/3
((3t 1)(3t2 2t)3t + (3t 1)2 (6t 2))dt (81t3 81t2 + 24t 2)dt = 58.
=
1
Nota 5 La interpretacin fsica de la integral C F1 (x, y)dx + F2 (x, y)dy es la del trabajo que realiza el campo vectorial F (x, y) = (F1 (x, y), F2 (x, y)) cuando una partcula se desplaza desde el punto P al Q siguiendo la trayectoria C .
Naturalmente, el caso de las integrales de campos tridimensionales F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z)) se hace de manera anloga.
desde el punto (0, 0, 0) hasta el (1, 1, 1). Primeramente, identiquemos las componentes del campo F . Son:
F1 (x, y, z) = 3x 2y, F2 (x, y, z) = y + 2z, F3 (x, y, z) = x2 .
A continuacin, analizemos la parametritzacin de la curva C . En principio, necesitamos 3 ecuaciones del tipo x = f (t) y = g(t) , C z = h(t) y en (7) aparentemente no hay nada de esto. Pero si nos jamos, nos daremos cuenta de que la variable y puede variar libremente, de manera que podemos tomar y = t. Con esto, la ecuacin para z pasa a ser
z = t2 ,
x = t4 y=t . C z = t2
(8)
Ahora, determinemos los valores del parmetro t para los cuales la curva pasa por (0, 0, 0) y (1, 1, 1). Claramente, estos valores son t = 0 y t = 1, respectivamente. El trabajo W que queremos calcular no es ms que la integral
W =
C
W =
t=0 1
=
0
Problemas Seccin 3
1. Calcular las integrales de lnea del campo vectorial dado sobre las curvas indicadas: a) F (x, y) = (x2 2xy, y 2 2xy) a lo largo de la parbola y = x2 desde el punto (2, 4) hasta el punto (1, 1). b) F (x, y, z) = (x, y, xz y) sobre el segmento de recta desde el punto (0, 0, 0) hasta el punto (1, 2, 4). Solucin: (a) 369/10, (b) 23/6. 2. Dado el campo vectorial:
F (x, y) =
x+y x+y , x2 + y 2 x2 + y 2
calcular la integral de lnea de F a lo largo de la circunferencia x2 +y 2 = a2 recorrida en sentido positivo. Solucin: 0. 3. Calcular la integral de lnea del campo
F (x, y) =
2
x 1 + x2 + y 2
2
y 1 + x2 + y 2
sobre el cuarto de elipse x2 + y2 = 1 situado en el primer cuadrante, desde a b el punto (a, 0) hasta el punto (0, b). Solucin: 1 + b2 1 + a2 . 4. Calcular el trabajo realizado por una fuerza proporcional al vector dirigido hacia el origen, sobre el recorrido del primer cuadrante de la elipse y2 x2 a2 + b2 = 1, desde el punto (a, 0) hasta el (0, b). Solucin:
k 2 2 (a
5. Calcular la integral
a lo largo de la hlice
x = a cos t y = a sin t , z = kt
10
6. Calcular la integral
xdy ydx
a lo largo de la hipocicloide
x = a cos3 t y = a sin3 t
, t [0, 2].
(x + y)dx + (y x)dy
(1,1)
a lo largo de: a) La parbola y 2 = x. b) Una recta. c) Los segmentos desde (1, 1) a (1, 2) y desde (1, 2) a (4, 2). d) La curva
x = 2t2 + t + 1 y = t2 + 1
Solucin: (a) 34/3, (b) 11, (c) 14, (d) 32/3. 8. Calcular la integral (2x y + 4)dx + (5y + 3x 6)dy sobre las aristas del tringulo en el plano XY de vrtices (0, 0), (3, 0) y (3, 2). Solucin: 12. 9. Calcular la misma integral del ejercicio 8 pero sobre la circunferencia de radio 4 centrada en el origen. Solucin: 64 .
4. Teorema de Green
El resultado que estudiaremos en esta seccin, el llamado Teorema de Green, relaciona un cierto tipo de integrales de lnea (aqullas en que la curva C es cerrada1 y simple, o sea, no tiene picos" ni autointersecciones) con integrales dobles (o integrales de rea).
, como en
1 Otra forma de decir que una curva es cerrada, es armando que su punto inicial y el nal coinciden.
11
Denicin 6 Diremos que una curva parametrizada en el plano C (f (t), g(t)) es regular por secciones si para las funciones f, g existen las derivadas en todo punto t de su dominio exceptuando un nmero nito de valores t0 , t1 , ..., tk .
As, por ejemplo, el contorno de un tringulo es una curva regular por secciones, ya que es diferenciable en todos los valores t corresponidientes a las aristas, excepto los vrtices. El mismo comentario es vlido para cualquier polgono regular y para circunferencias, elipses, etc.
lar por secciones. Sea R la regin del plano determinada por C y su interior. Si M, N : R2 R son funciones reales continuas y que tienen derivadas parciales continuas en toda la regin R, entonces
M (x, y)dx + N (x, y)dy =
N x
M y
dA.
El Teorema de Green puede utilizarse tanto para calcular un integral de lnea mediante una integral doble como para realizar el clculo inverso. A continuacin, veremos un ejemplo de cada caso.
(2y +
a lo largo de la circunferencia x2 + y 2 = 4. Lo primero que hay que hacer es comprobar que se cumplen las hiptesis del teorema; pero claramente la circunferencia es una curva cerrada regular y, en este caso en que
M (x, y) = 2y + 1 + x5 , N (x, y) = 5x ey ,
2
tenemos:
M N = 2, = 5, y x
que obviamente son funciones continuas. Aplicando el teorema, con R el crculo de radio 2, resulta:
I=
C
(2y +
(5 2)dA
=3
R
dA = 3 4 = 12.
Notemos que evaluar directamente I como integral de lnea hubiera sido mucho ms difcil.
12
Ejemplo 9 Vamos a ver una frmula para calcular reas mediante integrales
de lnea. Si R es una regin cualquiera a la que se le puede aplicar el Teorema de Green (es decir, est delimitada por una curva cerrada C simple y regular a trozos), el rea A de R est dada por la expressin
A= 1 2 xdy ydx.
C
(9)
En efecto: tomando M (x, y) = y y N (x, y) = x como las funciones del enunciado del Teorema de Green, resulta que
M N = 1, = 1, y x
(1 (1))dA = 2
R
dA = 2A.
Podemos aplicar esta frmula, por ejemplo, para encontrar el rea encerrada 2 2 por la elipse x + y = 1. Una parametrizacin de la elipse (que, como ya a b hemos comentado, es cerrada, simple y regular) viene dada por
C x = a cos t , t [0, 2]. y = b sin t
Problemas Seccin 4
1. Comprueba el Teorema de Green sobre el cuadrado de vrtices (0, 0), (2, 0), (2, 2) y (0, 2) con el campo vectorial F(x, y) = (x2 xy 3 , y 2 2xy). 2. Comprueba el Teorema de Green en el caso del problema 8 de la Seccin 3. 3. Comprueba el Teorema de Green en el caso del problema 9 de la Seccin 3. 13
4. Enuncia el Teorema de Green. Utiliza este teorema para calcular el rea del cuadriltero determinado por los puntos (0, 0), (5, 1), (4, 5) y (0, 3). Solucin: 33/2. 5. Sea C la curva cerrada descrita por el par de grcas
(1 + y 2 )dx + ydy.
C
Solucin: 3/2. 6. Sea C la curva cerrada y orientada positivamente descrita de manera la siguiente: el segmento y = 0 entre x = 1 y x = 2, el arco y = 4 x2 en el primer cuadrante, el segmento x = 0 entre y = 2 y y = 1, el arco y = 1 x2 en el primer cuadrante. Calcula la integral siguiente directamente y utilizando el Teorema de Green:
x y dx 2 dy. x2 + y 2 x + y2
Solucin: 2 log 2. 7. Enuncia el Teorema de Green. Utiliza este resultado para calcular el rea del cuadriltero determinado por los puntos (0, 0), (5, 2), (3, 4) y (0, 3). Solucin: 23/2.
F1 F2 = , y x
entonces, F (x, y) es conservativo. 14
En efecto, consideremos dos caminos regulares a trozos cualesquiera C1 , C2 que van de P a Q sin cruzarse. En ese caso, el camino C = C1 (C2 ) (es decir: vamos de P a Q siguiendo C1 y regresamos de Q a P por C2 recorrido en sentido inverso, como en la gura) es un camino simple cerrado, y suponiendo que las componentes F1 (x, y) y F2 (x, y) del campo F (x, y) son continuas y con derivadas parciales continuas, podemos aplicar el teorema y hallar que el trabajo efectuado por F a lo largo de C es:
W =
C
=
R
Figura 5: Caminos que encierran una regin Pero el trabajo a lo largo de C es igual al trabajo efectuado a lo largo de C1 menos el trabajo a lo largo de C2 (ya que C2 est recorrida en sentido contrario, recordemos la nota 3), es decir:
15
y claramente:
F1 = exy + xyexy y F2 = exy + yxexy . x
Como F1 = y vativo.
F2 x ,
Problemas Seccin 5
1. Demuestra que
(2,1) (1,0)
es independiente del camino. Calcula su valor. Solucin: 60 . 2. Consideremos el campo F(x, y) = (10x4 2xy 3 , 3x2 y 2 ). Es conservativo? Calcular la integral del campo F desde el punto (0, 0) al punto (2, 1) a lo largo de la curva x4 6xy 3 = 4y 2 . Solucin: Si. 60. 3. El campo F(x, y) = (3x2 y, x3 + 1), es conservativo?. Solucin: Si. 4. El campo F (x, y) = (xy 2 , x3 y), es conservativo?. Solucin: No. 5. Calcular
(1,0) (1,0)
ydx + xdy x2 + y 2
a lo largo de los caminos siguientes: a) El segmento que une los puntos (en este orden) (1, 0), (1, 1), (1, 1) y (1, 0). b) El segmento que une los puntos (en este orden) (1, 0), (1, 1), (1, 1) y (1, 0). Demostrar que, aunque se verica M = N , la integral depende de la y x trayectoria que va de (1, 0) a (1, 0). Razonar la respuesta. Solucin: (a) , (b) . 16
Figura 6: La integral de Riemann Supongamos ahora que queremos integrar una funcin F : R2 R, que est denida sobre el plano, a lo largo de una cierta curva y = y(x). Es decir, queremos calcular la suma innita de todos los valores F (x, y) que toma la funcin F cuando los puntos (x, y) estn sobre la curva y = y(x). Este nmero es lo que se conoce como integral de lnea de F a lo largo de y = y(x) y se representa por
F (s)ds,
C
donde C es una parametrizacin de la curva. Imitando el proceso para funciones reales de variable real, dividiremos la curva en segmentos curvos Pi Pi+1 , tomaremos el valor de la funcin en un punto extremo, F (Pi ), y formaremos los productos F (Pi ) si , donde si es la longitud del segmento Pi Pi+1 . Todo el problema se reduce ahora a encontrar la forma de tomar el lmite cuando si 0.
17
Entonces, cuando tomemos el lmite xi 0, yi 0, tambin ser si 0. Con esto, el problema pasa de construir el lmite cuando si 0 a hacerlo cuando xi 0, yi 0.
Figura 7: La integral de lnea Para ver cmo podemos denir este otro lmite, supongamos que la curva y = y(x) a lo alrgo de la cual integraremos F , viene dada en forma paramtrica como x = f (t) . y = g(t) En tal caso, por la denicin de derivada como lmite de cocientes incrementales (o, para aquellos que sepan de qu se trata, por el teorema del valor medio), en un punto (x0 , y0 ) ser:
x0 = x x0 = f (t) f (t0 )
y, anlogamente,
y0 si
g (t0 )t0 .
f (ti )2 + g (ti )2 ti ,
18
F (s)ds = l m
C
ti 0
F (xi , yi )
i
f (ti )2 + g (ti )2 ti ,
o sea,
F (s)ds =
C t[a,b]
F (x(t), y(t))
En denitiva: si queremos calcular la integral de lnea del campo escalar F : R2 R a lo largo de la curva C(t) : (x = f (t), y = g(t)), entre los puntos P = (x0 , y0 ) = (f (t0 ), g(t0 )) y Q = (x1 , y1 ) = (f (t1 ), g(t1 )), hemos de calcular la integral de una variable
t1
F (s)ds =
C t0
F (x(t), y(t))
19
La integral de lnea
Problemas resueltos
1. Halle la longitud de la curva dada por la parametrizacin 4 1 (t) = t + t3/2 + t k, 3 2
Solucin: 1 (t) = (1, 2t1/2 , ), 2
t [0, 2].
t [0, 2].
1 + 4t +
1 1 = 5 + 16t 4 2
s=
0 2
=
0
=
0
1 (37 37 5 5) 48
2. La ecuacin de una curva es y 2 = x3 . Halle la longitud del arco que une (1, 1) a (1, 1). Solucin:
Problemas resueltos
Parametrizamos la curva de la forma: x = t2 , evitamos los radicales). As: (t) = (t2 , t3 ), y = t3 , (con esta parametrizacin t R
es de clase C 1 en R y adems la parametrizacin dada recorre la curva en el sentido que se pide porque: (1) = (1, 1), (t) =
La longitud del arco ser:
1
s=
1
(t) dt =
1
1
0
=
1
|t| 4 + 9t2 dt =
0
1
t 4 + 9t2 dt
1
0
t 4 + 9t2 dt =
1 (26 13 16). 27
1 = (4 + 9t2 )3/2 27
1 (4 + 9t2 )3/2 27 0
=
1
3. Calcule
z,
2 + t2
z=
0 2
f ((t)). (t) dt = t 2+
0
t2 dt
1 = (2 + t2 )3/2 3
=
0
1 3
(2 + 4 2 )3 2 2 .
La integral de lnea
4. Calcule (0, 1). Solucin:
C (x
Sea C la trayectoria del tringulo recorrida en sentido contrario a las agujas del reloj. Siendo 1 (t) = (t, 0), 2 (t) = (1 t, t),
3 (t) = (0, 1 t), y puesto que 1 (0) = (0, 0) = 3 (1), 1 (1) = (1, 0) = 2 (0) y 2 (1) = (0, 1) = 3 (0)
1 (t) = 1, 2 (t) =
t [0, 1].
t [0, 1]. t [0, 1].
2,
2 (t) = 1,
(x + y) +
2 1 0
(x + y) +
3
1
(x + y) =
t2 t2 + 2t + t 2 2
1
tdt + 0 = 1 + 2.
2dt +
0
(1 t)dt =
=
0
Problemas resueltos
5. Un alambre tiene forma de circunferencia, x2 + y 2 = a2 . Determine su masa y su momento de inercia respecto de un dimetro si la densidad en un punto (x, y) del alambre est dada por la funcin f (x, y) = |x| + |y|. Solucin: La masa del alambre viene dada por la expresin: M=
f (x, y) =
|x| + |y|
siendo la curva cuya trayectoria representa la forma del alambre, en este caso una circunferencia que parametrizamos por: (t) = (a cos t, asen t), que es de clase C 1 (t) = (asen t, a cos t)
2 2
t [0, 2]
(t) = a
M=
0
f ((t)) (t) dt =
0
= a2
0
/2
+ a2
3/2
+ a2 [sen t cos t] + /2
La integral de lnea
Para calcular el momento de inercia respecto de un dimetro necesitamos la distancia de un punto cualquiera (x, y) a dicho dimetro. Para simplicar, tomaremos como eje el eje OX, por tanto, la funcin que da la distancia de un punto al eje es r(x, y) = |y|. Teniendo en cuenta la denicin (1.11) del momento de inercia respecto de un eje se tiene:
I=
y 2 (|x| + |y|) =
2
= a4 a4 a4
+ a4
/2
0 3/2 /2 2
0
2 3/2
sen 3 tdt
2 3/2
sen 3 tdt =
+ sen 3 t
6. Calcule la integral del campo vectorial F (x, y) = (x2 2xy) + (y 2 2xy) , a lo largo de la parbola y = x2 desde (1, 1) a (1, 1). Solucin:
Problemas resueltos
La integral curvilnea del campo F a lo largo de la parbola es
b
F =
a
F ((t)) (t)dt
siendo una parametrizacin de dicha parbola. Hacemos x = t, y = t2 para obtener la parametrizacin: (t) = (t, t2 ), t [1, 1]
que es de clase C 1 y va desde (1, 1) a (1, 1) pues (1) = (1, 1) y (1) = (1, 1). As: (t) = (1, 2t), F ((t)) = (t2 2t3 , t4 2t3 )
F =
1 1
1 1
= =
1 t3
=
1
14 15
siendo una parametrizacin de la curva interseccin de las supercies x2 + y 2 + z 2 = 1, Solucin: Parametricemos la curva: x2 + y 2 + z 2 = 1 z =x1 x2 + y 2 + x2 2x + 1 = 1 2x2 + y 2 2x = 0 z = x 1.
La integral de lnea
1 (x 2 )2 1 1 y2 2(x )2 + y 2 = + =1 2 2 1/4 1/2
Para que se cumpla esta condicin podemos tomar el parmetro t tal que:
1 x 2 = cos t, 1/2
y = sent, 1/ 2
1 y = sent, 2
z =x1
x=
1 1 + cos t, 2 2
1 1 z = + cos t 2 2
con t [0, 2] pues de esta forma se recorre toda la curva. As: 1 1 1 1 1 (t) = ( + cos t, sent, + cos t), 2 2 2 2 2
1 1 1 (t) = ( sent, cos t, sent), 2 2 2
Calculamos ahora la integral: (x + 2)dx + 3zdy + y 2 dz =
2
t [0, 2]
t [0, 2]
=
0
1 = 4
5 1 1 3 1 1 1 1 ( + cos t)( sent) + cos t( cos t ) sen2 t( sent) dt = 2 2 2 2 2 2 2 2 2 5sent sent cos t + 3 2 cos2 t 3 2 cos t sent(1 cos2 t) dt =
2 0
cos3 t 3
=
0
8. Calcule la integral zdy, siendo el arco contenido en el primer octante (x, y, z 0) dado por la interseccin de las supercies x2 + y 2 + z 2 = R2 x2 + y 2 = Ry El sentido de es desde el punto (0, 0, R) al punto (0, R, 0).
Problemas resueltos
Solucin: La curva es la interseccin de una esfera y un cilindro:
Parametrizamos la curva x2 + y 2 + z 2 = R 2 x2 + y 2 = Ry z 2 + Ry = R2
x2 + (y
z=
R2 Ry
y=
R R + sent; 2 2
z=
R2
R2 R2 sent = R 2 2
1 sent = 2
1 cos( t) t t 2 = R sen2 ( ) = R sen( ). 2 4 2 4 2 siendo t [ , ] para que la curva se recorra desde (0, 0, R) hasta (0, R, 0) 2 2 t y sea sen( ) 0. Por tanto: 4 2 R R R t (t) = ( cos t, + sent, R sen( )), t [ , ]. 2 2 2 4 2 2 2
que es de clase C 1 en el intervalo considerado. Por la expresin del integrando R nicamente necesitamos calcular 1 (t) = y = cos t. As la integral vale 2
/2
zdy =
/2
R sen(
R2 2
/2 /2
t R ) cos tdt = 4 2 2
sen( t 3t 2 + ) + sen( ) dt = R2 . 4 2 4 2 3
1 2
La integral de lnea
9. Calcule la integral x2 ydx + 2ydy + xdz ,
a lo largo del camino cerrado limitado por los arcos 1 , 2 y 3 dados por las ecuaciones x2 + y 2 + z 2 = 1 1 x=0 y 0, z 0 2x + z = 1 2 y=0 x 0, z 0 4x2 + y 2 = 1 3 z=0 x 0, y 0
Solucin:
Cada una de las curvas est en un plano coordenado de modo que se unen en 1 los puntos (0, 1, 0), (0, 0, 1) y ( , 0, 0). 2 Las parametrizamos de la siguiente manera: x2 + y 2 + z 2 = 1 1 y 2 + z 2 = 1 x = 0, y = cos t, z = sent x=0 y 0, z 0
1 (t) = (0, cos t, sent), t [0, ] 2
1 es un cuarto de circunferencia y habremos de tomar t [0, ] para que vaya 2 desde (0, 1, 0) = 1 (0) hasta (0, 0, 1) = 1 ( ). 2
Problemas resueltos
2x + z = 1 2 y=0 x 0, z 0
z = 1 2x y=0
/2
/2 0
= 1.
1/2
t(2)dt = t2
1/2 0
1 = . 4
/2
=
=
1 8
/2 0
0 2 2t sen
dt + sen2 t
/2
1 32
/2 0
1 cos 4t dt + 1 = 2
1 1 1 t sen4t 32 2 8
+1=
0
+ 1. 128
La integral de lnea
Sumando los tres resultados obtenemos: x2 ydx + 2ydy + xdz = 1
10. Para qu valores de a R el campo vectorial F (x, y, z) = (axy z 3 , (a 2)x2 , (1 a)xz 2 ) es el gradiente de una funcin potencial? Para esos valores, calcule la funcin potencial. Solucin: Para cualquier valor de a el campo F es de clase C 1 en R3 (convexo) y ser conservativo si su rotacional es cero (x, y, z) R3 . Calculamos el rotacional rotF = D1 D2 k D3 =
axy z 3 (a 2)x2 (1 a)xz 2 = (0, 3z 2 (1 a)z 2 , 2x(a 2) ax) , que se anula si se cumplen las ecuaciones: (1 a)z 2 + 3z 2 = 0 2x(a 2) ax = 0 (x, y, z) R3 de donde a = 4 .
Por tanto, para a = 4 el campo F es el gradiente de una funcin potencial y f : R3 R tal que Entonces: f = F = (4xy z 3 , 2x2 , 3xz 2 ).
f (x, y, z) = 4xy z 3 x
f (x, y, z) = 2x2 y
f (x, y, z) = 3xz 2 z
Problemas resueltos
Integrando la primera ecuacin respecto de x y teniendo en cuenta que hay que aadir una funcin de las otras variables (que hace el papel de constante de integracin al calcular la primitiva de F1 respecto de x) queda: f (x, y, z) = (4xy z 3 )dx = 2x2 y z 3 x + h(y, z)
Para calcular la funcin h(y, z),calculamos las derivadas parciales de f respecto de y y z y comparamos con la segunda y la tercera ecuacin en el sistema anterior. f h (x, y, z) = 2x2 = 2x2 + (y, z) y y
h (y, z) = 0 y
h(y, z) = k(z) ,
razonando igual que antes, k(z) es una funcin que no depende ni de x ni de y,asi: f h (x, y, z) = 3xz 2 = 3xz 2 + (y, z) = 3xz 2 + k (z) z z
Luego k(z) = C y la funcin potencial del campo F es f (x, y, z) = 2x2 y z 3 x + C. k (z) = 0
es independiente del camino que une los puntos (1, 2) con (3, 4). Calcule el valor de la integral a) parametrizando el segmento, b) utilizando la funcin potencial del integrando. Solucin: La integral ser independiente del camino si el campo F (x, y) = (6xy 2 y 3 , 6x2 y 3xy 2 )
La integral de lnea
es conservativo. Como el campo es C 1 en R2 bastar con comprobar que se F2 F1 cumple la condicin = , (x, y) R2 . En efecto: x y
F2 F1 = 12xy 3y 2 = , x y
(x, y) R2
el campo es conservativo y la integral es independiente del camino. a) Parametrizamos como el segmento que une el punto (1, 2) con (3, 4): (t) = (1, 2) + t ((3, 4) (1, 2)) = (1 + 2t, 2 + 2t),
1
t [0, 1],
F =
0 1
F ((t)). (t)dt = 6(1 + 2t)(2 + 2t)2 (2 + 2t)3 2dt+ 6(1 + 2t)2 (2 + 2t) 3(1 + 2t)(2 + 2t)2 2dt =
1
=
0 1
+
0
=2
0
1 0
f=
h(y) = C
Problemas resueltos
12. Dado el campo de fuerzas F (x, y) = (y 3 + 1) + (3xy 2 + 1) . a) Halle el trabajo realizado al mover un objeto desde el punto (0, 0) al (2, 0), a lo largo de la semicircunferencia (x 1)2 + y 2 = 1 con y 0. b) Halle el trabajo realizado al mover el objeto a lo largo de la circunferencia completa. c) Es F conservativo? Halle la funcin potencial de F. Solucin: Vamos resolver primero el apartado c) porque si el campo es conservativo los otros dos apartados los resolveremos ms fcilmente. c) F (x, y) = (y 3 + 1) + (3xy 2 + 1) : D1 F2 (x, y) = 3y 2 = D2 F1 , (x, y) R2 f = F:
(y 3 + 1)dx = xy 3 + x + h(y)
h (y) = 1 h(y) = y + c
a) Como F es conservativo la integral es independiente del camino, nicamente depende de los puntos inicial y nal. El trabajo realizado al mover el objeto desde (0, 0) hasta (2, 0) ser: F =
f = f (2, 0) f (0, 0) = 2 0 = 2.
b) A lo largo de la circunferencia completa, como es una curva cerrada, el trabajo ser nulo: F =
f = 0.
La integral de lnea
1.6
Problemas propuestos
1. Parametrice la curva y 2 + 2x2 2Rx = 0 (R > 0).
2. Halle la velocidad, la aceleracin y la rapidez de una partcula con vector de posicin r(t) = (t2 , et , tet ).
3. Una partcula inicia su movimiento en r(0) = (1, 0, 0) con velocidad inicial v(0) = i j + k. Su aceleracin es a(t) = 4ti + 6tj + k. Determine su velocidad y posicin en el tiempo t. Solucin: v(t) = (2t2 + 1)i + (3t2 1)j + (t + 1)k. 2 1 r(t) = ( t3 + t + 1)i + (t3 t)j + ( t2 + t)k. 3 2
4. Utilizando coordenadas polares, parametrice las siguientes curvas: a) (x2 + y 2 )2 = 2xy. b) La lemniscata (x2 + y 2 )2 9(x2 y 2 ) = 0 y 2 8x 16 = 0 , con x 4(1 + c) La porcin de parbola
d) La elipse
Solucin:
a) () = ( sen(2) cos, sen(2) sen), con [0, ]. 2 b) () = (3 cos 2 cos, 3 cos 2 sen), con [ , ]. 4 4 1 + cos 1 + cos 7 c) () = (4 cos, 4 sen), con [ , ]. 2 2 4 4 sin sin 15 15 d) () = ( cos, sen), con [0, 2]. 3 cos 3 cos
5. Parametrice la curva interseccin de la esfera x2 + y 2 + z 2 = 1 con el plano x + z = 0 y calcule su longitud del arco.
2).
(x 6)2 y2 + = 1. 81 45
Problemas propuestos
Solucin: La curva dada es una circunferencia en el plano parametrizada por: 1 1 (t) = ( cos t, sin t, cos t), 2 2
Longitud de la curva: 2. t [0, 2].
x+z = 0
6. Halle la longitud de los siguientes arcos de curva a) (t) = et cos t + et sen t + et k donde 0 t 1. b) (t) = (t + sent, 1 + cos t) con t [0, ] (cicloide). Solucin: 1 a) 3(1 ). e b) 4.
7. Calcule la longitud de la cardioide = 2a(1 + cos ) con [0, 2], a > 0 jo. Solucin: 16a.
2
8. Calcule
(x
(t) = 2(cos t + tsen t) + 2(sen t t cos t) con 0 t 2. Solucin: 16 2 (1 + 2 2 ) 9. Calcule la integral C y 2 dx + xydy + xzdz, siendo C la curva interseccin del cilindro x2 + y 2 = 1 y el plano y = z.
10. Calcule la integral curvilnea del campo vectorial F (x, y, z) = (x, z, y) a lo largo de , siendo una parametrizacin de la curva interseccin de las supercies x2 + y 2 + z 2 = 1, z = x 1.
La integral de lnea
11. Calcule la integral del campo vectorial f (x, y) = (2a y) + x , a lo largo de la cicloide parametrizada por (t) = a(t sen t) + a(1 cos t) , Solucin: 2a2 . 12. Calcule la integral curvilnea yx2 dx + ydy ,
0 t 2.
siendo una parametrizacin de la curva de ecuacin y 2 + 2x2 2Rx = 0. Solucin: Parametrizacin de la curva (elipse): (t) = ( R R R + cos t, sin t), 2 2 2
t [0, 2].
Valor de la integral:
5R4 . 32 2
13. Considere un alambre uniforme (densidad constante) con forma de semicircunferencia de radio a. a) Demuestre que el centro de gravedad est situado en el eje de simetra a una distancia 2a/ del centro. b) Demuestre que el momento de inercia respecto del dimetro que pasa por 1 los extremos del alambre es 2 M a2 , siendo M la masa del alambre.
14. Halle la masa de un alambre cuya forma se puede describir como la curva interseccin de la esfera x2 + y 2 + z 2 = 1 y el plano x + z = 0. La densidad depende del punto (x, y, z) de la forma f (x, y, z) = |x| . 4 Solucin: La curva interseccin es la del problema 5. Masa: . 2
Problemas propuestos
15. Considere la braquistcrona que parte del punto P = (0, 2) y naliza en Q = (, 0), de ecuacin: (t) = (t + sen(t + ), 1 cos(t + )), t [0, ],
y el segmento rectilneo que va de P a Q. Pruebe que si se suelta una bola que se desliza por cada curva, bajo el efecto de la gravedad, entonces llega antes la bola de la braquistcrona que la del segmento rectilneo. Tngase en cuenta que el tiempo total, para una curva cualquiera, es la integral a lo largo de dicha curva del campo escalar f (x, y) = 1
2g(h0 y)
donde g es la gravedad y h0 la altura inicial de la bola. 16. Determine en los siguientes ejemplos cundo el campo vectorial F es el gradiente de un campo escalar. En los casos en los que F sea conservativo, halle la correspondiente funcin potencial. a) F (x, y) = x + y . b) F (x, y) = 3x2 y + x3 . c) F (x, y, z) = (10xz 3 + 1) 6y 2 + 15x2 z 2 k. d) F (x, y, z) = 2xy 3 + x2 z 3 + 3x2 yz 2 k. Solucin: 1 a) F es conservativo, funcin potencial: f (x, y) = (x2 + y 2 ) + C. 2 b) F es conservativo, funcin potencial: f (x, y) = x3 y + C.
c) F es conservativo, funcin potencial: f (x, y, z) = 5x2 z 3 + x 2y 3 + C. d) F no es conservativo.
17. a) Halle el valor del parmetro a para que el campo vectorial F (x, y, z) = (z, az 2 + 1, 10zy + x) sea conservativo. b) Para dicho valor de a obtenga una funcin potencial de F .
La integral de lnea
18. Consideremos el campo de fuerzas en el plano dado por F (x, y) = (x + y, x y). a) Demuestre que el trabajo realizado por esa fuerza al mover una partcula siguiendo la curva (t) = f (t) + g(t) , con a t b, depende nicamente de f (a), f (b), g(a), g(b). b) Halle el trabajo realizado cuando f (a)=1, f (b)=2, g(a)=3, g(b)=4. Solucin: a) El trabajo realizado por la fuerza es 1 1 [(f (b))2 (g(b))2 ] + f (b)g(b) [(f (a))2 (g(a))2 ] + f (a)g(a) 2 2
b) 3.
19. Calcule el trabajo realizado por el campo de fuerzas F (x, y, z) = 2xy + (x2 + z) + y k , al desplazar una partcula desde el origen de coordenadas hasta el punto (2, 0, 8), siguiendo cualquier trayectoria que una dichos puntos. Solucin: F es conservativo. Funcin potencial: f (x, y, z) = x2 y + zy + C. W = 0. 20. Considere el campo de fuerzas F (x, y, z) = y + z + yz k. a) Determine si F es o no conservativo. b) Calcule el trabajo realizado por F para desplazar una partcula a lo largo de la curva dada por la parametrizacin (t) = cos t + sen t + et k , Solucin: a) F no es conservativo. 1 1 b) (1 + e ) + (e2 + 1). 2 2 5 t [0, ].
La integral de lnea
Problemas resueltos
1. Halle la longitud de la curva dada por la parametrizacin 4 1 (t) = t + t3/2 + t k, 3 2
Solucin: 1 (t) = (1, 2t1/2 , ), 2
t [0, 2].
t [0, 2].
1 + 4t +
1 1 = 5 + 16t 4 2
s=
0 2
=
0
=
0
1 (37 37 5 5) 48
2. La ecuacin de una curva es y 2 = x3 . Halle la longitud del arco que une (1, 1) a (1, 1). Solucin:
Problemas resueltos
Parametrizamos la curva de la forma: x = t2 , evitamos los radicales). As: (t) = (t2 , t3 ), y = t3 , (con esta parametrizacin t R
es de clase C 1 en R y adems la parametrizacin dada recorre la curva en el sentido que se pide porque: (1) = (1, 1), (t) =
La longitud del arco ser:
1
s=
1
(t) dt =
1
1
0
=
1
|t| 4 + 9t2 dt =
0
1
t 4 + 9t2 dt
1
0
t 4 + 9t2 dt =
1 (26 13 16). 27
1 = (4 + 9t2 )3/2 27
1 (4 + 9t2 )3/2 27 0
=
1
3. Calcule
z,
2 + t2
z=
0 2
f ((t)). (t) dt = t 2+
0
t2 dt
1 = (2 + t2 )3/2 3
=
0
1 3
(2 + 4 2 )3 2 2 .
La integral de lnea
4. Calcule (0, 1). Solucin:
C (x
Sea C la trayectoria del tringulo recorrida en sentido contrario a las agujas del reloj. Siendo 1 (t) = (t, 0), 2 (t) = (1 t, t),
3 (t) = (0, 1 t), y puesto que 1 (0) = (0, 0) = 3 (1), 1 (1) = (1, 0) = 2 (0) y 2 (1) = (0, 1) = 3 (0)
1 (t) = 1, 2 (t) =
t [0, 1].
t [0, 1]. t [0, 1].
2,
2 (t) = 1,
(x + y) +
2 1 0
(x + y) +
3
1
(x + y) =
t2 t2 + 2t + t 2 2
1
tdt + 0 = 1 + 2.
2dt +
0
(1 t)dt =
=
0
Problemas resueltos
5. Un alambre tiene forma de circunferencia, x2 + y 2 = a2 . Determine su masa y su momento de inercia respecto de un dimetro si la densidad en un punto (x, y) del alambre est dada por la funcin f (x, y) = |x| + |y|. Solucin: La masa del alambre viene dada por la expresin: M=
f (x, y) =
|x| + |y|
siendo la curva cuya trayectoria representa la forma del alambre, en este caso una circunferencia que parametrizamos por: (t) = (a cos t, asen t), que es de clase C 1 (t) = (asen t, a cos t)
2 2
t [0, 2]
(t) = a
M=
0
f ((t)) (t) dt =
0
= a2
0
/2
+ a2
3/2
+ a2 [sen t cos t] + /2
La integral de lnea
Para calcular el momento de inercia respecto de un dimetro necesitamos la distancia de un punto cualquiera (x, y) a dicho dimetro. Para simplicar, tomaremos como eje el eje OX, por tanto, la funcin que da la distancia de un punto al eje es r(x, y) = |y|. Teniendo en cuenta la denicin (1.11) del momento de inercia respecto de un eje se tiene:
I=
y 2 (|x| + |y|) =
2
= a4 a4 a4
+ a4
/2
0 3/2 /2 2
0
2 3/2
sen 3 tdt
2 3/2
sen 3 tdt =
+ sen 3 t
6. Calcule la integral del campo vectorial F (x, y) = (x2 2xy) + (y 2 2xy) , a lo largo de la parbola y = x2 desde (1, 1) a (1, 1). Solucin:
Problemas resueltos
La integral curvilnea del campo F a lo largo de la parbola es
b
F =
a
F ((t)) (t)dt
siendo una parametrizacin de dicha parbola. Hacemos x = t, y = t2 para obtener la parametrizacin: (t) = (t, t2 ), t [1, 1]
que es de clase C 1 y va desde (1, 1) a (1, 1) pues (1) = (1, 1) y (1) = (1, 1). As: (t) = (1, 2t), F ((t)) = (t2 2t3 , t4 2t3 )
F =
1 1
1 1
= =
1 t3
=
1
14 15
siendo una parametrizacin de la curva interseccin de las supercies x2 + y 2 + z 2 = 1, Solucin: Parametricemos la curva: x2 + y 2 + z 2 = 1 z =x1 x2 + y 2 + x2 2x + 1 = 1 2x2 + y 2 2x = 0 z = x 1.
La integral de lnea
1 (x 2 )2 1 1 y2 2(x )2 + y 2 = + =1 2 2 1/4 1/2
Para que se cumpla esta condicin podemos tomar el parmetro t tal que:
1 x 2 = cos t, 1/2
y = sent, 1/ 2
1 y = sent, 2
z =x1
x=
1 1 + cos t, 2 2
1 1 z = + cos t 2 2
con t [0, 2] pues de esta forma se recorre toda la curva. As: 1 1 1 1 1 (t) = ( + cos t, sent, + cos t), 2 2 2 2 2
1 1 1 (t) = ( sent, cos t, sent), 2 2 2
Calculamos ahora la integral: (x + 2)dx + 3zdy + y 2 dz =
2
t [0, 2]
t [0, 2]
=
0
1 = 4
5 1 1 3 1 1 1 1 ( + cos t)( sent) + cos t( cos t ) sen2 t( sent) dt = 2 2 2 2 2 2 2 2 2 5sent sent cos t + 3 2 cos2 t 3 2 cos t sent(1 cos2 t) dt =
2 0
cos3 t 3
=
0
8. Calcule la integral zdy, siendo el arco contenido en el primer octante (x, y, z 0) dado por la interseccin de las supercies x2 + y 2 + z 2 = R2 x2 + y 2 = Ry El sentido de es desde el punto (0, 0, R) al punto (0, R, 0).
Problemas resueltos
Solucin: La curva es la interseccin de una esfera y un cilindro:
Parametrizamos la curva x2 + y 2 + z 2 = R 2 x2 + y 2 = Ry z 2 + Ry = R2
x2 + (y
z=
R2 Ry
y=
R R + sent; 2 2
z=
R2
R2 R2 sent = R 2 2
1 sent = 2
1 cos( t) t t 2 = R sen2 ( ) = R sen( ). 2 4 2 4 2 siendo t [ , ] para que la curva se recorra desde (0, 0, R) hasta (0, R, 0) 2 2 t y sea sen( ) 0. Por tanto: 4 2 R R R t (t) = ( cos t, + sent, R sen( )), t [ , ]. 2 2 2 4 2 2 2
que es de clase C 1 en el intervalo considerado. Por la expresin del integrando R nicamente necesitamos calcular 1 (t) = y = cos t. As la integral vale 2
/2
zdy =
/2
R sen(
R2 2
/2 /2
t R ) cos tdt = 4 2 2
sen( t 3t 2 + ) + sen( ) dt = R2 . 4 2 4 2 3
1 2
La integral de lnea
9. Calcule la integral x2 ydx + 2ydy + xdz ,
a lo largo del camino cerrado limitado por los arcos 1 , 2 y 3 dados por las ecuaciones x2 + y 2 + z 2 = 1 1 x=0 y 0, z 0 2x + z = 1 2 y=0 x 0, z 0 4x2 + y 2 = 1 3 z=0 x 0, y 0
Solucin:
Cada una de las curvas est en un plano coordenado de modo que se unen en 1 los puntos (0, 1, 0), (0, 0, 1) y ( , 0, 0). 2 Las parametrizamos de la siguiente manera: x2 + y 2 + z 2 = 1 1 y 2 + z 2 = 1 x = 0, y = cos t, z = sent x=0 y 0, z 0
1 (t) = (0, cos t, sent), t [0, ] 2
1 es un cuarto de circunferencia y habremos de tomar t [0, ] para que vaya 2 desde (0, 1, 0) = 1 (0) hasta (0, 0, 1) = 1 ( ). 2
Problemas resueltos
2x + z = 1 2 y=0 x 0, z 0
z = 1 2x y=0
/2
/2 0
= 1.
1/2
t(2)dt = t2
1/2 0
1 = . 4
/2
=
=
1 8
/2 0
0 2 2t sen
dt + sen2 t
/2
1 32
/2 0
1 cos 4t dt + 1 = 2
1 1 1 t sen4t 32 2 8
+1=
0
+ 1. 128
La integral de lnea
Sumando los tres resultados obtenemos: x2 ydx + 2ydy + xdz = 1
10. Para qu valores de a R el campo vectorial F (x, y, z) = (axy z 3 , (a 2)x2 , (1 a)xz 2 ) es el gradiente de una funcin potencial? Para esos valores, calcule la funcin potencial. Solucin: Para cualquier valor de a el campo F es de clase C 1 en R3 (convexo) y ser conservativo si su rotacional es cero (x, y, z) R3 . Calculamos el rotacional rotF = D1 D2 k D3 =
axy z 3 (a 2)x2 (1 a)xz 2 = (0, 3z 2 (1 a)z 2 , 2x(a 2) ax) , que se anula si se cumplen las ecuaciones: (1 a)z 2 + 3z 2 = 0 2x(a 2) ax = 0 (x, y, z) R3 de donde a = 4 .
Por tanto, para a = 4 el campo F es el gradiente de una funcin potencial y f : R3 R tal que Entonces: f = F = (4xy z 3 , 2x2 , 3xz 2 ).
f (x, y, z) = 4xy z 3 x
f (x, y, z) = 2x2 y
f (x, y, z) = 3xz 2 z
Problemas resueltos
Integrando la primera ecuacin respecto de x y teniendo en cuenta que hay que aadir una funcin de las otras variables (que hace el papel de constante de integracin al calcular la primitiva de F1 respecto de x) queda: f (x, y, z) = (4xy z 3 )dx = 2x2 y z 3 x + h(y, z)
Para calcular la funcin h(y, z),calculamos las derivadas parciales de f respecto de y y z y comparamos con la segunda y la tercera ecuacin en el sistema anterior. f h (x, y, z) = 2x2 = 2x2 + (y, z) y y
h (y, z) = 0 y
h(y, z) = k(z) ,
razonando igual que antes, k(z) es una funcin que no depende ni de x ni de y,asi: f h (x, y, z) = 3xz 2 = 3xz 2 + (y, z) = 3xz 2 + k (z) z z
Luego k(z) = C y la funcin potencial del campo F es f (x, y, z) = 2x2 y z 3 x + C. k (z) = 0
es independiente del camino que une los puntos (1, 2) con (3, 4). Calcule el valor de la integral a) parametrizando el segmento, b) utilizando la funcin potencial del integrando. Solucin: La integral ser independiente del camino si el campo F (x, y) = (6xy 2 y 3 , 6x2 y 3xy 2 )
La integral de lnea
es conservativo. Como el campo es C 1 en R2 bastar con comprobar que se F2 F1 cumple la condicin = , (x, y) R2 . En efecto: x y
F2 F1 = 12xy 3y 2 = , x y
(x, y) R2
el campo es conservativo y la integral es independiente del camino. a) Parametrizamos como el segmento que une el punto (1, 2) con (3, 4): (t) = (1, 2) + t ((3, 4) (1, 2)) = (1 + 2t, 2 + 2t),
1
t [0, 1],
F =
0 1
F ((t)). (t)dt = 6(1 + 2t)(2 + 2t)2 (2 + 2t)3 2dt+ 6(1 + 2t)2 (2 + 2t) 3(1 + 2t)(2 + 2t)2 2dt =
1
=
0 1
+
0
=2
0
1 0
f=
h(y) = C
Problemas resueltos
12. Dado el campo de fuerzas F (x, y) = (y 3 + 1) + (3xy 2 + 1) . a) Halle el trabajo realizado al mover un objeto desde el punto (0, 0) al (2, 0), a lo largo de la semicircunferencia (x 1)2 + y 2 = 1 con y 0. b) Halle el trabajo realizado al mover el objeto a lo largo de la circunferencia completa. c) Es F conservativo? Halle la funcin potencial de F. Solucin: Vamos resolver primero el apartado c) porque si el campo es conservativo los otros dos apartados los resolveremos ms fcilmente. c) F (x, y) = (y 3 + 1) + (3xy 2 + 1) : D1 F2 (x, y) = 3y 2 = D2 F1 , (x, y) R2 f = F:
(y 3 + 1)dx = xy 3 + x + h(y)
h (y) = 1 h(y) = y + c
a) Como F es conservativo la integral es independiente del camino, nicamente depende de los puntos inicial y nal. El trabajo realizado al mover el objeto desde (0, 0) hasta (2, 0) ser: F =
f = f (2, 0) f (0, 0) = 2 0 = 2.
b) A lo largo de la circunferencia completa, como es una curva cerrada, el trabajo ser nulo: F =
f = 0.
La integral de lnea
1.6
Problemas propuestos
1. Parametrice la curva y 2 + 2x2 2Rx = 0 (R > 0).
2. Halle la velocidad, la aceleracin y la rapidez de una partcula con vector de posicin r(t) = (t2 , et , tet ).
3. Una partcula inicia su movimiento en r(0) = (1, 0, 0) con velocidad inicial v(0) = i j + k. Su aceleracin es a(t) = 4ti + 6tj + k. Determine su velocidad y posicin en el tiempo t. Solucin: v(t) = (2t2 + 1)i + (3t2 1)j + (t + 1)k. 2 1 r(t) = ( t3 + t + 1)i + (t3 t)j + ( t2 + t)k. 3 2
4. Utilizando coordenadas polares, parametrice las siguientes curvas: a) (x2 + y 2 )2 = 2xy. b) La lemniscata (x2 + y 2 )2 9(x2 y 2 ) = 0 y 2 8x 16 = 0 , con x 4(1 + c) La porcin de parbola
d) La elipse
Solucin:
a) () = ( sen(2) cos, sen(2) sen), con [0, ]. 2 b) () = (3 cos 2 cos, 3 cos 2 sen), con [ , ]. 4 4 1 + cos 1 + cos 7 c) () = (4 cos, 4 sen), con [ , ]. 2 2 4 4 sin sin 15 15 d) () = ( cos, sen), con [0, 2]. 3 cos 3 cos
5. Parametrice la curva interseccin de la esfera x2 + y 2 + z 2 = 1 con el plano x + z = 0 y calcule su longitud del arco.
2).
(x 6)2 y2 + = 1. 81 45
Problemas propuestos
Solucin: La curva dada es una circunferencia en el plano parametrizada por: 1 1 (t) = ( cos t, sin t, cos t), 2 2
Longitud de la curva: 2. t [0, 2].
x+z = 0
6. Halle la longitud de los siguientes arcos de curva a) (t) = et cos t + et sen t + et k donde 0 t 1. b) (t) = (t + sent, 1 + cos t) con t [0, ] (cicloide). Solucin: 1 a) 3(1 ). e b) 4.
7. Calcule la longitud de la cardioide = 2a(1 + cos ) con [0, 2], a > 0 jo. Solucin: 16a.
2
8. Calcule
(x
(t) = 2(cos t + tsen t) + 2(sen t t cos t) con 0 t 2. Solucin: 16 2 (1 + 2 2 ) 9. Calcule la integral C y 2 dx + xydy + xzdz, siendo C la curva interseccin del cilindro x2 + y 2 = 1 y el plano y = z.
10. Calcule la integral curvilnea del campo vectorial F (x, y, z) = (x, z, y) a lo largo de , siendo una parametrizacin de la curva interseccin de las supercies x2 + y 2 + z 2 = 1, z = x 1.
La integral de lnea
11. Calcule la integral del campo vectorial f (x, y) = (2a y) + x , a lo largo de la cicloide parametrizada por (t) = a(t sen t) + a(1 cos t) , Solucin: 2a2 . 12. Calcule la integral curvilnea yx2 dx + ydy ,
0 t 2.
siendo una parametrizacin de la curva de ecuacin y 2 + 2x2 2Rx = 0. Solucin: Parametrizacin de la curva (elipse): (t) = ( R R R + cos t, sin t), 2 2 2
t [0, 2].
Valor de la integral:
5R4 . 32 2
13. Considere un alambre uniforme (densidad constante) con forma de semicircunferencia de radio a. a) Demuestre que el centro de gravedad est situado en el eje de simetra a una distancia 2a/ del centro. b) Demuestre que el momento de inercia respecto del dimetro que pasa por 1 los extremos del alambre es 2 M a2 , siendo M la masa del alambre.
14. Halle la masa de un alambre cuya forma se puede describir como la curva interseccin de la esfera x2 + y 2 + z 2 = 1 y el plano x + z = 0. La densidad depende del punto (x, y, z) de la forma f (x, y, z) = |x| . 4 Solucin: La curva interseccin es la del problema 5. Masa: . 2
Problemas propuestos
15. Considere la braquistcrona que parte del punto P = (0, 2) y naliza en Q = (, 0), de ecuacin: (t) = (t + sen(t + ), 1 cos(t + )), t [0, ],
y el segmento rectilneo que va de P a Q. Pruebe que si se suelta una bola que se desliza por cada curva, bajo el efecto de la gravedad, entonces llega antes la bola de la braquistcrona que la del segmento rectilneo. Tngase en cuenta que el tiempo total, para una curva cualquiera, es la integral a lo largo de dicha curva del campo escalar f (x, y) = 1
2g(h0 y)
donde g es la gravedad y h0 la altura inicial de la bola. 16. Determine en los siguientes ejemplos cundo el campo vectorial F es el gradiente de un campo escalar. En los casos en los que F sea conservativo, halle la correspondiente funcin potencial. a) F (x, y) = x + y . b) F (x, y) = 3x2 y + x3 . c) F (x, y, z) = (10xz 3 + 1) 6y 2 + 15x2 z 2 k. d) F (x, y, z) = 2xy 3 + x2 z 3 + 3x2 yz 2 k. Solucin: 1 a) F es conservativo, funcin potencial: f (x, y) = (x2 + y 2 ) + C. 2 b) F es conservativo, funcin potencial: f (x, y) = x3 y + C.
c) F es conservativo, funcin potencial: f (x, y, z) = 5x2 z 3 + x 2y 3 + C. d) F no es conservativo.
17. a) Halle el valor del parmetro a para que el campo vectorial F (x, y, z) = (z, az 2 + 1, 10zy + x) sea conservativo. b) Para dicho valor de a obtenga una funcin potencial de F .
La integral de lnea
18. Consideremos el campo de fuerzas en el plano dado por F (x, y) = (x + y, x y). a) Demuestre que el trabajo realizado por esa fuerza al mover una partcula siguiendo la curva (t) = f (t) + g(t) , con a t b, depende nicamente de f (a), f (b), g(a), g(b). b) Halle el trabajo realizado cuando f (a)=1, f (b)=2, g(a)=3, g(b)=4. Solucin: a) El trabajo realizado por la fuerza es 1 1 [(f (b))2 (g(b))2 ] + f (b)g(b) [(f (a))2 (g(a))2 ] + f (a)g(a) 2 2
b) 3.
19. Calcule el trabajo realizado por el campo de fuerzas F (x, y, z) = 2xy + (x2 + z) + y k , al desplazar una partcula desde el origen de coordenadas hasta el punto (2, 0, 8), siguiendo cualquier trayectoria que una dichos puntos. Solucin: F es conservativo. Funcin potencial: f (x, y, z) = x2 y + zy + C. W = 0. 20. Considere el campo de fuerzas F (x, y, z) = y + z + yz k. a) Determine si F es o no conservativo. b) Calcule el trabajo realizado por F para desplazar una partcula a lo largo de la curva dada por la parametrizacin (t) = cos t + sen t + et k , Solucin: a) F no es conservativo. 1 1 b) (1 + e ) + (e2 + 1). 2 2 5 t [0, ].
Solucin:
2.-Obtenga el trabajo realizado por la fuerza partcula desde el punto al a lo largo de la curva
Solucin:
es independiente de
Solucin:
, donde y
es la frontera, .
Solucin:
Solucin:
, donde
. Determinar
Solucin:
7.- Utilice el Teorema de Green para evaluar la integral de lnea a lo largo de la curva orientada de manera positiva:
Donde con
y de la curva
Solucin:
Se tiene, usando el Teorema de Green en el plano:
Aqu:
Se tiene:
8.- Demuestre que la integral de lnea dada es independiente de la trayectoria y evale la integral.
Donde
hasta
Solucin:
Es decir, existe
con
Se tiene:
9.- Sea
un campo escalar y
. Suponga que existen las derivadas parciales y que stas son continuas. Demuestre que:
Solucin:
Solucin:
Solucin:
c) Calcule
donde
Solucin:
, donde .
Solucin:
Sea independiente de la trayectoria, si la funcin est definida en una regin simple convexa.
Solucin:
Para que la integral sea independiente de su trayectoria es necesario que:
ye
xy
siguientes segmentos de rectas: Punto Inicial (2,1) (1,2) (1,2) (2,1) (2,1) (1,2) (1,2) (2,1) Punto Final
Solucin:
Como el campo asociado al diferencial es conservador, ya que
ye
xy
dx + xe xy dy =
C+
ye
xy
dx + xe xy dy
= 2e 2t dt = e 2 +
1
1 e2
Donde C* : (t ) = (2, t ), 1 t 1
Solucin:
15.- Si
lo largo del segmento de recta que va desde el punto utilizar una funcin de potencial.
Solucin:
Integrales de superficie
Vectores Unitarios a. Superficies definidas en forma Paramtricas : E 2 3 ; (u , v) = (1 (u, v), 2 (u , v), 3 (u , v)) diferenciable y que no se corta as misma
N=
(u, v) (u, v) ; u v
n=
N ; N
N 0
h : 2 ; h( x, y ) = z diferenciable proceso 1) Se parametriza y se aplica caso de forma paramtrica. (u, v) = ( f1 (u, v), f 2 (u, v), f 3 (u, v)) proceso 2) Se expresa en forma implicita y luego se calcula la forma implicita f : 3 ; f ( x , y , z ) = h ( x, y ) z f ( x, y , z ) = z h ( x , y ) o tambin
Diferenciales de superficie.
(u , v) (u , v) dudv u v (u, v) (u, v) N 2) Vectorial dS = dudv = Ndudv = N dudv = nds u v N Contenido
1) Escalar ds =
Definiciones
Sea : E ; (u , v) = (1 (u , v), 2 (u , v), 3 (u , v)) diferenciable.
2 3
f : 3 ;
f ( x, y, z ) = w diferenciable
dudv
Proyecciones
dAxz = ni j ds;
dAzy = nii ds
Propiedades
Sea : E 2 3 ; (u , v) = (1 (u , v), 2 (u , v), 3 (u , v)) diferenciable. f : 3 ; f ( x, y, z ) = w diferenciable F : 3 3 ; F ( x, y, z ) = ( f1 ( x, y, z ), f 2 ( x, y, z ), f 3 ( x, y, z )) diferenciable. F ( (u , v)) f ( (u , v)) funciones diferenciables
1.Linealidad
i
i =1
s1 : x 2 + y 2 = 1. s2 : x 2 + y 2 1 z=0. s3 : z = 1 + x x 2 + y 2 1.
2. Evaluar F idS donde es la superficie delimitada por la frontera
Con F ( x, y, z ) = ( z , y, x)
INTEGRALES DE SUPERFICIE.
31. Encontrar el rea de la supercie denida como interseccin del plano x + y + z = 1 a o con el slido x2 + 2y 2 1. o
Solucin o La supercie dada se puede parametrizar por x = u cos v y = (u/ 2) sen v S: z = 1 u cos v (u/ 2) sen v Por denicin A = o
D
(0 u 1, 0 v 2),
|Tu Tv | dudv.
En este caso, Tu Tv Tu Tv = = = (cos v, (1/ 2) sen v, cos v (1/ 2) sen v) (u sen v, (u/ 2) cos v, u sen v + (u/ 2) cos v) i j k cos v sen v/ 2 cos v sen v/ 2 u sen v (u/ 2) cos v u sen v (u/ 2) cos v 3/2 y
1 2
u u u = , , . 2 2 2
A=
0
du
0
6 3/2dv = . 2
32. Sea S la supercie obtenida al hacer girar la curva y = f (x) (a x b) alrededor del eje X. Comprobar, a partir de la denicin, que el rea de dicha supercie es o a
b
A = 2
a
|Tu Tv | dudv,
donde S se parametriza como (ver gura): x=u y = f (u) cos v , a u b, 0 v 2. z = f (u) sen u 1
Los vectores tangentes son: Tu = (1, f (u) cos v, f (u) sen v), Tv = (0, f (u) sen v, f (u) cos v). Por tanto, Tu Tv = (f (u)f (u), f (u) cos v, f (u) sen v), |Tu Tv | = |f (u)| 1 + (f (u))2 . Al sustituir resulta entonces
b 2 b
A=
a
du
0
|f (u)| 1 + (f (u))2 dv = 2
a
33. Calcular R.
S
z2
Solucin o Parametrizamos la esfera de ecuacin x2 + y 2 + z 2 = R2 como o x = R cos u sen v y = R sen u sen v , 0 u 2, 0 v . z = R cos v De este modo, Tu Tv Tu Tv |Tu Tv | Entonces,
2
= (R cos u cos v, R sen u cos v, R sen v) = (R2 cos u sen2 v, R2 sen u sen2 v, R2 sen v cos v) = R2 sen v.
z2
S
x2 + y 2 dS
=
0 5
du
0
= R 2
0
(sen 2v/2)2 dv
R5 2
1 cos 4v R5 sen 4v dv = v 2 4 4
=
0
2 R5 . 4
34. Calcular
S
x2 + y 2
Solucin o x2 + y 2 , utilizamos la Como la supercie est denida por la ecuacin expl a o cita z = frmula o F (x, y, z) dS = F (x, y, z(x, y)) 1 + (zx )2 + (zy )2 dxdy,
S R
donde R es la regin del plano XY que delimita la supercie. o y x , zy = , y R es la regin limitada por la circuno En nuestro caso, zx = 2 + y2 2 + y2 x x ferencia x2 + y 2 = 2ax. En consecuencia, (xy + yz + zx) dS
S
=
R
[xy + y 1+
x2 + y 2 + x x2 + y 2 ] x2 y2 + 2 dxdy 2 +y x + y2
x2
=
R
2 [xy + (x + y) x2 + y 2 ] dxdy.
Resolveremos la integral doble mediante un cambio de variables a coordenadas polares. Si llamamos x = u cos v, y = u sen v, entonces la circunferencia x2 + y 2 = 2ax se escribe como u = 2a cos v. La integral queda de la forma: I = =
/2
R /2
2 [xy + (x + y) x2 + y 2 ] dxdy
2a cos v
dv
0
35. Calcular
S
que corresponden a las distintas caras del slido indicado. Debemos, por tanto, descomponer o la integral en cinco sumandos, a travs de cada una de las supercies indicadas. e Si parametrizamos S1 por las ecuaciones x = u cos v y = u sen v z=0
, 0 u 1, 0 v /2,
entonces Tu = (cos v, sen v, 0), Tv = (u sen v, u cos v, 0) y Tu Tv = (0, 0, u) (elegimos como vector normal 1 = (0, 0, u) para que se trate de la normal exterior a la supercie). n As pues, xz dydz
S1 1 /2
+ x2 y dzdx + y 2 z dxdy =
0
du
0
, 0 u 1, 0 v 1,
de modo que Tu = (0, 1, 2vu), Tv = (0, 0, u2 ) y Tu Tv = (u2 , 0, 0) (aunque consideraremos el vector 2 = (u2 , 0, 0) que es normal exterior a la supercie). Entonces n
1 1
du
0
(0, 0, u4 v) (u2 , 0, 0) dv = 0.
La supercie S3 se parametriza de forma completamente anloga a S2 y el resultado de la a integral tambin es cero. e Con respecto a S4 , utilizaremos la parametrizacin o x = cos v y = sen v z=u
, 0 u 1, 0 v /2,
con lo que Tu = (0, 0, 1), Tv = ( sen v, cos v, 0) y Tu Tv = ( cos v, sen v, 0). En este caso, el vector normal exterior a la supercie es 4 = (cos v, sen v, 0) y la integral vale n xz dydz
S4 1 /2
+ x2 y dzdx + y 2 z dxdy =
0 1
du
0 /2
=
0 1
du u
0
v sen 2v + 2 4
/2
+
0
v sen 4v 8 32
/2
du =
0
3 . 16
Por ultimo, la supercie S5 podemos parametrizar como x = u cos v y = u sen v , 0 u 1, 0 v /2; z = u2 por tanto, Tu Tv Tu Tv Tenemos as que, xz dydz + x2 y dzdx + y 2 z dxdy
S5 1 /2
= (cos v, sen v, 2u), = (u sen v, u cos v, 0), = (2u2 cos v, 2u2 sen v, u),0
=
0 1
du
0 /2
(u3 cos v, u3 sen v cos2 v, u4 sen2 v) (2u2 cos v, 2u2 sen v, u) dv (2u5 cos2 v 2u5 sen2 v cos2 v + u5 sen2 v) dv
0 /2
=
0 1
du u5 du
0 0 /2
= =
1 v 6
sen 4v 1 v 4 4
/2
=
0
. 16
Sumando todos los resultados parciales, obtenemos en denitiva que xz dydz + x2 y dzdx + y 2 z dxdy =
S
. 8
Observacin: Un mtodo ms sencillo de resolver la integral sin descomponer la supercie o e a en secciones se basa en el teorema de la divergencia de Gauss, que trataremos en el cap tulo siguiente.
La integral de supercie
Problemas resueltos
1. Calcule el rea de la porcin del paraboloide z = x2 + y 2 que est comprendida entre los planos z = 0 y z = 1. Solucin: La interseccin del paraboloide con el plano z = 0 es el punto (0, 0) y con el plano z = 1 es la circunferencia x2 + y 2 = 1. La regin limitada por la proyeccin de dicha circunferencia sobre el plano XY es D = (x, y) R2 : x2 + y 2 1 .
De esta manera S = r(D), siendo S la supercie descrita en el enunciado. Su producto vectorial fundamental es: N (x, y) = (2x, 2y, 1),
El rea solicitada ser: a(S) =
D
N (x, y) =
4x2 + 4y 2 + 1.
N (x, y) dxdy =
D
4x2 + 4y 2 + 1 dxdy.
Problemas resueltos
Esta integral la haremos mediante un cambio de variable a coordenadas polares. x = cos y = sen a(S) =
D
con
y JT (, ) = > 0.
2
4x2 + 4y 2 + 1 dxdy =
0 0
42 + 1 d d =
= 2
12 (42 + 1)3/2 83
=
0
(5 5 1). 6
Solucin:
1 1 x2 + y 2 = (y + 1)2 = (y 2 + 2y + 1) 2 2
x2 +
1 1 x2 + y 2 2y = 0 2 2
(y 1)2 =1 2
La integral de supercie
Es una elipse en el plano z = y + 1. Su proyeccin sobre el plano XY es (y 1)2 la curva de ecuacin x2 + = 1 (una elipse, tambin). Sea S la 2 supercie del plano z = y + 1 limitada por C; se puede parametrizar como
(y 1)2 1 . 2
(x, y) D =
(x, y) R2 :
x2 +
3. Calcule la integral x2 z dS ,
S
La supercie es un cilindro circular recto. Puesto que x2 + y 2 = a2 y z est entre 2 y 2 consideraremos la siguiente parametrizacin: x = a cos u r(u, v) = (a cos u, a senu, v), (u, v) D = [0, 2][2, 2] y = a senu z=v Calculemos el producto vectorial fundamental: r (u, v) = (a senu, a cos u, 0), u
r (u, v) = (0, 0, 1) v
Problemas resueltos
k a senu a cos u 0 0 0 1 N =a x2 zdS =
S D
N (u, v) =
r r (u, v) (u, v) = u v
a3 v cos2 u dudv = a3
0 2 0
2 2
v cos2 u dv du =
= a3
cos2 u
v2 2
du = 0.
2
4. Calcule el rea de la porcin de supercie cnica x2 + y 2 = z 2 situada por encima del plano z = 0 y limitada por la esfera x2 + y 2 + z 2 = 2ax. Solucin:
Hemos de parametrizar la supercie de la cual hay que hallar el rea, esto es, la hoja superior (pues z 0) del cono x2 + y 2 = z 2 . Como S es la grca de la funcin z = x2 + y 2 = f (x, y) sobre la regin D (que queda denida por la interseccin del cono y la esfera)
x2 + y 2 = z 2 x2 + y 2 + z 2 = 2ax
D=
2(x2 + y 2 ) = 2ax
a a2 (x )2 + y 2 = 2 4
a a2 (x, y) R2 : (x )2 + y 2 2 4
La integral de supercie
entonces S = r(D) siendo r la parametrizacin: r(x, y) = (x, y,
x2 + y 2 ), (x, y) D.
x
x2 + y2
y
x2 + y 2
,1 ,
2.
N (x, y) dxdy =
D
a2 2 dxdy = 2 (D) = 2 . 4
5. Dado el recinto limitado por los planos z = y, z = 0 y el cilindro = a2 . Calcule el rea de la porcin de supercie cilndrica comprendida entre los dos planos. x2 + y 2 Solucin:
En el cilindro x2 + y 2 = a2 podemos tomar la parametrizacin: x = a cos u r(u, v) = (a cos u, a senu, v), (u, v) D y = a senu z=v
Problemas resueltos
siendo D = (u, v) R2 : 0 u , 0 v asenu De esta manera S = r(D) es la mitad de la supercie que se describe en el enunciado porque slo consideramos la porcin del cilindro con z 0. El producto vectorial fundamental es (vase el problema 1) N (u, v) = (a cos u, a senu, 0), y el rea de S a(S) =
D
N =a
adudv =
a senu
=
0 0
adv du =
0
a2 senudu = a2 cos u
= 2a2 . 4a2 .
Por tanto, el rea que nos piden, que es el doble que la de S, vale: 6. Un ujo de uido tiene como vector densidad de ujo F (x, y, z) = x (2x + y) + z k.
Designemos con S el hemisferio x2 + y 2 + z 2 = 1, z 0, siendo n la normal unitaria orientada hacia el exterior de la esfera. Calcule la masa de uido que atraviesa S en la unidad de tiempo en el sentido de la normal n. Solucin: La masa de uido que atraviesa la supercie en el sentido de la normal n es la integral
S
La integral de supercie
Para ver la orientacin de N podemos, por ejemplo, calcular dicho vector en algn punto concreto de la supercie y en todos los dems puntos la orientacin ser la misma. Veamos qu pasa en el punto (0, 1, 0), es decir, si tomamos u = v = : aqu es N ( , ) = (0, 1, 0) y es hacia el exterior de la esfera. La 2 2 2 parametrizacin que hemos considerado en este caso es la adecuada. As:
F (r(u, v)) N (u, v) = = (sen u cos v, (2 cos v sen v) sen u, cos u) (sen2 u cos v, sen2 u sen v, sen u cos u) = = sen3 u cos2 v 2sen3 u cos v sen v sen3 u sen2 v + cos2 u sen u = = sen3 u (cos 2v sen2v) + cos2 u sen u.
F n dS =
S S
F dS =
2
2 0
=
0
=
0
sen3 u
2 0
+ 2 cos2 u senu du =
cos3 u = 2 3
2 . 3
donde C :
x2 + y 2 = z 2 /2 z =y+1
Solucin: Sea F (x, y, z) = (y 1, z 2 , y), que es un campo vectorial de clase C 1 . Por el teorema de Stokes F =
C S
rotF dS
siendo S = r(D) una supercie simple y regular cuyo borde C es la imagen r( ) de una curva de Jordan C 1 a trozos orientada positivamente.
Problemas resueltos
Sea S la supercie del plano z = y + 1 limitada por C; se puede parametrizar como (vease el problema 2) (y 1)2 1 . 2
(x, y) D =
(x, y) R2 :
x2 +
N (x, y) = (0, 1, 1)
rotF dS =
D
=
D
8. Halle el ujo del campo F (x, y, z) = (x3 , y 3 , z 3 ) a travs de la supercie del cono x2 + y 2 = z 2 , con 0 z H. a) Directamente. b) Aplicando el teorema de Gauss. Solucin: El ujo del campo se calcula mediante la integral de supercie de parametrizar el cono x2 + y 2 = z 2 , con 0 z H.
S
F dS. Hemos
La integral de supercie
x = u cos v y = u sin v z = x2 + y 2 = u
siendo
D = (u, v) R2 : 0 u H, 0 v 2 que es el crculo x2 + y 2 H 2 en el plano XY (en coordenadas polares). k cos v sin v 1 u sin v u cos v 0
N (u, v) =
= (u cos v, u sin v, u)
F dS =
S
=
D
(u3 cos3 v, u3 sin3 v, u3 ).(u cos v, u sin v, u)dudv = u4 ( cos4 v sin4 v + 1)dudv =
D
= =
D
u4
sin2 2v dudv = 2
1 u5 4 5
H
1 4 0 1 = H 5 . 10 =
u4 (1 cos 4v)dv du =
. v
0
sin 4v 4
=
0
Problemas resueltos
b) Sea V el slido limitado por el cono y el plano z = H. La supercie cerrada que limita V es la unin, S S1 , donde S1 es la supercie paramtrica que describe el crculo x2 + y 2 = H 2 en el plano z = H. Aplicando el teorema de Gauss: divF dxdydz =
V S
F n dS +
S1
F n dS1
divF dxdydz
S1
F n dS1
(x2 + y 2 + z 2 )dxdydz
V
divF dxdydz = 3
Para calcular esta integral haremos un cambio a coordenadas cilndricas: 0<H x = cos con 0 < < 2 y = sen zH z=z (teniendo en cuenta que sobre el cono es z 2 = x2 + y 2 z = ). De donde: divF dxdydz =
V H 2 0
H
=3
0
(2 + z 2 )dzdd = 6
0
3 z +
z3 3
d =
= 6
0
H3 +
H3 4 4 3 3
H
d =
9 H 5 . 10
= 6 H
4 2 4 + H 3 5 4 6 15
=
0
Nos falta calcular la integral de F sobre S1 . Parametrizamos la supercie: r1 (x, y) = (x, y, H), (x, y) Q = (x, y) R2 : x2 + y 2 H 2 .
La integral de supercie
El producto vectorial fundamental es N (x, y) = (0, 0, 1) (normal exterior). Entonces: F n dS =
S1
=
Q
dxdy = H 3 (Q) = H 5 .
De donde: F n dS =
S V
divF dxdydz
S1
F n dS1 =
9 1 H 5 H 5 = H 5 . 10 10
una parametrizacin cuyo vector fundamental, N (u, v) = (u cos v, u sin v, u), es normal hacia el interior de V (pues tiene tercera coordenada positiva) entonces 1 F dS = F n dS = H 5 10 S S
que concuerda con el resultado obtenido en el apartado a). 9. Calcule, utilizando el teorema de Stokes, la integral curvilnea (2x + y z) dx + (2x + z) dy + (2x y z) dz
Solucin: El teorema de Stokes relaciona la integral curvilnea de un campo vectorial a lo largo de una curva cerrada con el ujo del rotacional del campo a travs de una supercie cuyo borde sea la curva en cuestin. En este caso la supercie ms sencilla es la supercie plana que parametrizamos mediante: r : R2 R3 siendo el vector normal: N (x, y) = r r = (2, 0, 1). x y r(x, y) = (x, y, 2x) ,
Problemas resueltos
Para hallar el conjunto en el que varan los parmetros proyectamos la curva sobre el plano XY : 2x z = 0 4x2 + 4y 2 + z 2 = 4 z = 2x 2x2 + y 2 = 1 (Proyeccin)
Por tanto, el conjunto D R2 tal que S = r(D) es el interior de la elipse 2x2 + y 2 = 1, D = {(x, y) R2 : 2x2 + y 2 1}. Calculamos el rotacional de F = (2x + y z , 2x + z , 2x y z): rotF (x, y, z) = (2, 3, 1). Entonces, si es una parametrizacin de la curva interseccin del elipsoide y el plano tal que su proyeccin en el plano XY se recorre en sentido positivo, el teorema de Stokes dice que F =
S
rotF dS =
D
=5
10. Halle el rea de la porcin de la supercie z = x2 + (y 1)2 comprendida entre los planos z = 1 y z = 4.
La integral de supercie
Solucin: La supercie de ecuacin z = x2 + (y 1)2 es un paraboloide de revolucin cuyo eje es una recta paralela al eje Z y el vrtice es el punto de coordenadas (0, 1, 0).
La supercie S es la porcin de paraboloide limitada por los planos z = 1 y z = 4, esta supercie puede parametrizarse utilizando x e y como parmetros, de la forma: r : R2 R3 S = r(D) , r(x, y) = (x, y, x2 + (y 1)2 ) ,
N (x, y) dxdy =
D
Como el recinto de integracin D es un anillo circular desplazado, resolveremos la integral realizando un cambio a coordenadas polares aunque desplazando el centro: x = cos , y = 1 + sin , ]1, 2[ , ]0, 2]. Aplicando el teorema de cambio de variables
4x2 + 4(y 1)2 + 1 dxdy =
D
2 2
=
0 1
42
(17 17 5 5) + 1 dd = . 6
Problemas resueltos
11. Calcule la integral curvilnea (y z) dx + (z x) dy + (x y) dz
a) Directamente. b) Utilizando el teorema de Stokes. Solucin: a) Directamente. Comenzamos parametrizando la curva: : [0, 2] R3 , (t) = (x(t), y(t), z(t)) = (cos t, 1 3 sin t, 1 sin2 t). 2 4
Aplicando la denicin de integral de lnea de un campo vectorial, se tiene que F ((t)) (t)dt = 1 3 3 1 = ( sin t 1 + sin2 t, 1 cos t sin2 t, cos t sin t) 2 4 4 2 1 3 ( sin t, cos t, cos t sin t). 2 2
La integral de supercie
de donde
2
(y z) dx + (z x) dy + (x y) dz =
0
F ((t)) (t)dt = .
rotF (x, y, z) =
= (2, 2, 2).
A continuacin, elegimos como supercie para calcular el ujo del rotacional la porcin de paraboloide situada dentro del cilindro. Parametrizamos dicha supercie S mediante la funcin r: r : D R2 R3 : r(x, y) = (x, y, x2 + y 2 ) ,
de esta forma, S = r(D) siendo D = {(x, y) R2 : x2 + 4y 2 1}. El vector normal es r r N (x, y) = = (2x, 2y, 1). x y
La curva se obtiene como = r siendo la parametrizacin de la frontera de T orientada positivamente : [0, 2] R2 , (t) = (cos t, 1 sin t). 2
F =
S
rotF dS =
D
=
1
1x 2
=
1
1x 2
(4x + 4y) dy dx = 2
(4x 1 x2 ) dx = .
1
Problemas resueltos
12. a) Calcule el ujo del campo vectorial F (x, y, z) = (xz, y 2 , xz) a travs de la supercie cerrada que limita el cilindro x2 + y 2 R 2 con 0 z 3.
b) Resuelva el apartado anterior utilizando el teorema de Gauss. Solucin: a) La supercie cerrada S que limita el cilindro es la unin de tres supercies: la tapa superior S1 , la inferior S2 y la supercie cilndrica S3 .
Por tanto, hemos de calcular la integral de F en cada una de ellas. - Parametrizamos S1 : r1 : R2 R3 : S1 = r1 (D) , El vector normal es N1 (x, y) = r1 r1 = (0, 0, 1) , x y r1 (x, y) = (x, y, 3) , D = {(x, y) R2 : x2 + y 2 R2 }.
=
D
R 0
=
D
3xdxdy =
0
32 cos d d = 0.
La integral de supercie
- Parametrizamos S2 : r2 : R2 R3 : El vector normal N2 (x, y) = r2 (x, y) = (x, y, 0) , S2 = r2 (D).
r2 r2 = (0, 0, 1) , x y
F (r2 (x, y)) (N2 (x, y)) dxdy = (0, y 2 , 0) (0, 0, 1) dxdy = 0.
=
D
- Parametrizamos S3 : r3 : R2 R3 : S3 = r3 (D) , El vector normal es N3 (u, v) = r3 r3 = (R cos u, R sin u, 0) , u v r3 (u, v) = (R cos u, R sin u, v) ,
D = {(u, v) R2 : 0 u 2 , 0 v 3}.
F (r3 (u, v)) N3 (u, v) dudv = (Rv cos u, R2 sin2 u, Rv cos u) (R cos u, R sin u, 0)dudv =
=
D 3
2 0
=
0
divF dxdydz,
siendo V R3 el volumen limitado por la supercie S. En primer lugar calculamos la divergencia de F divF (x, y, z) = z 2y + x.
Problemas resueltos
La forma ms conveniente de realizar la integral en el conjunto V es hacer un cambio a coordenadas cilndricas, ya que por ser V un cilindro el recinto de integracin en estas variables es un rectngulo, es decir, ]0, R[ , Entonces, F n dS =
S R V 2 0 R 2 0 0 3
]0, 2[ ,
z ]0, 3[.
divF dxdydz =
V
(z 2y + x) dxdydz =
=
0
=
0
9 9d = R2 2
13. Calcule el ujo del campo vectorial F (x, y, z) = (x, y, 2z), a travs de la supercie cerrada S que limita el slido V := {(x, y, z) / 0 z 4 2x2 2y 2 } a) directamente. b) utilizando el teorema de Gauss. Solucin: a) La supercie cerrada S que limita el slido V est compuesta por dos supercies: una porcin del paraboloide z = 4 2x2 2y 2 , S1 , y la tapa inferior S2 .
La integral de supercie
Por tanto, hay que calcular el ujo de F a travs de cada una de ellas hacia el exterior de la supercie cerrada. - Parametrizamos S1 de ecuacin z = 4 2x2 2y 2 (paraboloide): r1 : R2 R3 : r1 (x, y) = (x, y, 4 2x2 2y 2 ) ,
Donde las variables x e y varan en la proyeccin del slido en el plano XY , que calculamos a partir de la intersecccin del paraboloide z = 4 2x2 2y 2 con el plano z = 0. S1 = r1 (D) , El vector normal N1 (x, y) = r1 r1 = (4x, 4y, 1) , x y D = {(x, y) R2 : x2 + y 2 2}.
tiene tercera componente positiva y por lo tanto su sentido es hacia el exterior de S. El ujo de F a travs de S1 es F n dS =
S1 D
F (r1 (x, y)) N1 (x, y) dxdy = (x, y, 8 4x2 4y 2 ) (4x, 4y, 1) dxdy =
=
D
=
D
8dxdy = 16.
=
D
F n dS +
S2
F n dS = 16.
Problemas resueltos
b) El ujo de F , utilizando el teorema de Gauss, puede calcularse como la integral triple en V de la divergencia de F . divF (x, y, z) = 1 + 1 + 2 = 4. Entonces, F n dS =
S V 42x2 2y 2
divF dxdydz =
V
4 dxdydz = dxdy = 4
D
=4
D 0
dz
(4 2x2 2y 2 ) dxdy
Para hacer esta integral doble en el circulo D pasamos a coordenadas polares con ]0, 2[ , ]0, 2[.
Por tanto,
2
2 0
F n dS = 4
S
0
(4 22 ) dd = 16.
La integral de supercie
Problemas propuestos
1. Sea D el conjunto de los puntos del plano (u, v) tales que u2 +v 2 R2 . Sea S la supercie parametrizada por r(u, v) = (u, v, 2u + 3v + 2R), (u, v) D. Calcule la integral de supercie z dS.
S
Solucin: 2 14R3 .
2. El cilindro x2 + y 2 = 2x recorta una porcin de supercie S en la hoja superior del cono x2 + y 2 = z 2 . Calcule la integral de supercie (x4 y 4 + y 2 z 2 z 2 x2 + 1) dS.
S
Solucin:
2.
donde D = {(u, v) / 0 u 4 , 0 v 2}. a) Identique la supercie, dibjela e indique el signicado geomtrico de los parmetros u y v en la supercie. b) Calcule el vector normal N (u, v). c) El rea de S es (65 65 1)/m, donde m es un nmero entero. Calcule m.
Solucin: b) N (u, v) = (2u2 cos v, 2u2 sin v, u). c) m = 6.
4. D una parametrizacin del hiperboloide de una hoja x2 +y 2 z 2 = 1, 0 z 1 en coordenadas cilndricas y halle la expresin del vector normal. Solucin: Parametrizacin: r(, ) = ( cos , sin , 2 1), [0, 2], 2 cos 2 sin [1, 2]. Vector normal: N = ( , , ). 2 1 2 1
Problemas propuestos
5. Parametrice la supercie reglada, situada en el primer octante, que pasa por las sinusoides: (4+2 sin y, y, 0), en el plano XY, y (0, y, 42 sin y), en el plano Y Z, con 0 y 5, y cuyas rectas generatrices son paralelas a XZ. Halle la expresin del vector normal. Solucin: Parametrizacin: r(t, y) = ((1 t)(2 sin y + 4), y, t(4 2 sin y)), 0 y 5, 0 t 1. Vector normal: N = (2 sin y 4, 16t cos y + 8 cos y, 2 sin y 4).
6. Muchas supercies se pueden generar haciendo rotar una curva plana alrededor de un eje contenido en el mismo plano. Para este tipo de supercies, puede darse una parametrizacin muy til. Consideremos la curva de clase C 1 contenida en el plano Y Z, (t) = (0, y(t), z(t)), situada en el semiplano con y 0. La supercie S generada al rotar dicha curva alrededor del eje Z, puede parametrizarse mediante la funcin r : R2 R3 , r(t, ) = (y(t) cos , y(t) sin , z(t)) , t [a, b] , [0, 2]. t [a, b] ,
Teniendo en cuenta esta parametrizacin, a) interprete geomtricamente los parmetros t y , b) halle la expresin N (t, ) del vector normal y demuestre que N = y(t)
y (t)2 + z (t)2 ,
c) si es una curva de Jordan (cerrada e inyectiva), en qu sentido debe recorrerse para que N sea exterior al volumen encerrado por S?
7. Sea S la supercie del toro de revolucin obtenido al rotar alrededor del eje Z la circunferencia situada en el plano Y Z de centro (0, b, 0) y radio a, (a < b). a) Halle el rea de S.
La integral de supercie
b) Calcule el ujo hacia el exterior de la supercie S del campo F (x, y, z) = x bx
x2 + y 2 ,y by
x2 + y 2 ,z .
8. Demuestre el teorema de Pappus-Guldin para supercies (vase tambin el teorema 2.7 para volmenes): El rea de una supercie S de revolucin generada por una curva plana al rotar alrededor de un eje perteneciente al plano de la curva (la curva se halla en uno de los dos semiplanos que parte el eje) es igual al producto de la longitud de la curva por la longitud de la circunferencia descrita por el centro de gravedad de la curva al rotar alrededor del eje". 9. Sea S la semiesfera x2 + y 2 + z 2 = 1 , z 0, y sea el campo vectorial F (x, y, z) = (x, y, 0). Sea n el vector normal unitario exterior a S. Calcular el valor de la integral de supercie S F n dS, empleando: a) la representacin vectorial r(u, v) = (sin u cos v , sin u sin v , cos u). b) la representacin explcita z =
1 x2 y 2 .
10. Calcule la integral del campo vectorial F (x, y, z) = (x, y, z) a travs de la supercie lateral del paraboloide x2 + y 2 = 2az , con 0 z 2a. Solucin: Parametrizacin de la supercie: r(x, y) = (x, y, 1 2 (x + y 2 )), 2a
(x, y) D = (x, y) R2 : x2 + y 2 4a2 .
Valor de la integral: 4a3 . 11. Calcule la integral C y 2 dx + xydy + xzdz, siendo C la curva interseccin del cilindro x2 + y 2 = 2y y el plano y = z. a) Directamente. b) Aplicando el teorema de Stokes. Solucin: 0.
Problemas propuestos
12. Calcule la integral C 2yz 2 dx + xz 2 dy + 3xyzdz, siendo C la curva interseccin de la esfera x2 + y 2 + z 2 = 4 y el paraboloide x2 + y 2 = 3z . a) Directamente. b) Aplicando el Teorema de Stokes.
13. Calcule el trabajo realizado por la fuerza F (x, y, z) = (y z , z x , x y), para trasladar un punto material sobre la curva cerrada , siendo una parametrizacin de la curva dada por las ecuaciones x2 + y 2 = 4 x + 2z = 2 Compruebe el resultado utilizando el teorema de Stokes. Solucin: 12.
14. Calcule S F n dS, donde n es la normal exterior a la supercie cerrada S formada por los planos 2x + 2y + z = 6, siendo F (x, y, z) el campo vectorial F (x, y, z) = (2xy + z , y 2 , x + 3y + z). x = 0, y = 0, z = 0,
15. Halle el ujo del rotacional del campo F (x, y, z) = (xz, yz, x2 y 2 ) a travs de la porcin de la supercie z = arctan(y/x) que se halla dentro del cono x2 + y 2 = z 2 y entre los planos z = 0 y z = 2. a) Directamente. b) Aplicando el teorema de Stokes.
16. Calcule el ujo del campo F (x, y, z) = (x , y , z) a travs de la supercie del slido limitado por x2 + y 2 = 9, z = 0, y z = 3.
La integral de supercie
a) Directamente. b) Aplicando el teorema de Gauss. Solucin: 81.
17. Sea F (x, y, z) = (xz, yz, z 2 ). Calcule S F dS, siendo S la cara externa del paraboloide x2 + y 2 = 3z, entre z = 0 y z = 1. a) Directamente. b) Aplicando el teorema de Gauss. Solucin: 3.
18. Dado el campo vectorial F (x, y, z) = (y + sin x, z 2 + cos y, x3 ) y la curva (t) = (sin t, cos t, sin 2t), t [0, 2], halle de Stokes.
F utilizando el teorema
19. Calcule, por medio de una integral de supercie, la integral (z 3 + x)dx + (x + y)dy + zdz,
20. Halle el rea de la supercie paramtrica S descrita por la parametrizacin: r : D R2 R3 , r(u, v) = (u cos v, u sin v, u2 ) ,
Problemas propuestos
21. Calcule xdy dz + yxdz dx + xzdx dy ,
S
22. Sea S la supercie que encierra la porcin de toro obtenida al revolucionar alrededor del eje Z el sector circular en el plano Y Z dado por (y b)2 + z 2 a2 , by z yb, a < b.
Calcule el ujo a travs de dicha supercie del campo F (x, y, z) = x( x2 + y 2 b), y( x2 + y 2 b), z
a) Directamente. b) Aplicando el teorema de Gauss. x2 + y 2 .
23. Calcule
S
66
5. ANLISIS DE VARIABLES.
FUNCIONES
DE
VARIAS
En este apartado trabajaremos con funciones de dos variables, aunque los clculos analticos se pueden efectuar con funciones de ms de dos variables, con las limitaciones relacionadas con la imposibilidad de representar sus grficas. 5.1. GRFICAS Y CURVAS DE NIVEL DE FUNCIONES DE DOS VARIABLES. EJEMPLO 5.1. Dibujar la grfica de la funcin x2 + y2 cos 4 . f ( x, y ) = 2 2 3+ x + y Solucin Editamos la funcin
Como el recorrido de la funcin coseno es [-1,-1], el recorrido de nuestra funcin es [-1/3,1/3]. Modificamos, por tanto, la escala en la variable z, para obtener una mejor visin de la grfica. Marcamos obteniendo y fijamos el mnimo de la variable z en 0.5 y el mximo en 0.5,
67
Para cambiar el punto de referencia del observador marcamos en Seleccionar la opcin Posicin de ojo o equivalentemente si: x=10, y=10, z=24, obtenemos y cambiamos las Coordenadas del ojo. Por ejemplo,
Podemos conseguir el mismo efecto (cambio de posicin del ojo) utilizando los iconos Si lo que queremos es enfocar a otro punto de la grfica para ver un trozo diferente de la misma marcamos en Seleccionar la opcin Regin. Por ejemplo, cambiando las coordenadas del Centro por: x=5, y=5, z=0.2, obtenemos
68
Si lo que queremos es ampliar o disminuir la visin que tenemos de la grfica marcamos en Seleccionar la opcin Regin y cambiamos Longitud o, equivalentemente, pinchamos el botn de herramientas x=25, y=25 y z=0.5, obtenemos que nos interese. Por ejemplo, considerando:
EJEMPLO 5.2. Dada la funcin f(x,y)=x2+y2, se pide: (a) dibujar su grfica (b) construir sus curvas de nivel.
69
Solucin (a) Para dibujar la grfica editamos la expresin Como en el ejemplo anterior marcamos en Ventana la opcin Nueva ventana 3D o y una vez abierta la ventana 3D marcamos nuevamente y obtenemos
(b) Las curvas de nivel de esta funcin son de la forma f(x,y)=k. Un camino para representar estas curvas sera ir dando valores a k y para cada uno de ellos representar la ecuacin f(x,y)=k. Utilizando la funcin VECTOR podemos agrupar en una misma expresin las curvas de nivel que nosotros queramos; por ejemplo cuando k va desde 1 hasta 5. Editando y simplificando la expresin obtenemos
Si abrimos ahora una Ventana 2D y mandamos representar con el icono obtenemos las grficas de esas 5 curvas de nivel:
70
EJEMPLO 5.3. Dibujar la grfica y las curvas de nivel de la funcin f(x,y)= Solucin Editamos la expresin y2 3x . 5
Si deseamos dibujar las curvas de nivel de la funcin, debemos representar las ecuaciones f(x,y)=k, por ejemplo para k desde 5 a 5, editando que al simplificar y representar nos da las curvas de nivel
71
5.2. LMITES Y CONTINUIDAD. Como bien sabemos, en funciones de varias variables el concepto de lmite es mucho ms complejo que en funciones de una variable debido a que a un punto nos podemos aproximar por muchas direcciones diferentes. Veamos algunos ejemplos que nos permiten estudiar la continuidad de la funcin a travs de la informacin que nos da su lmite. EJEMPLO 5.4. Determinar si es continua en (0,0) la funcin x + y f ( x, y ) = x y 0 Solucin
x y x= y
Estudiamos en primer lugar la existencia de lmite en dicho punto. Para calcular dicho lmite calculamos sus lmites reiterados. Comenzamos calculando primero el lmite respecto de la variable x y despus respecto de la variable y. Editamos la siguiente funcin Nota: La funcin IF se utiliza para escribir funciones definidas a trozos. En Clculo seleccionamos la opcin Lmite (Variable x, Punto 0) o, equivalentemente, pinchamos el botn de herramientas y sobre esta ltima expresin repetimos lo anterior, Lmite (Variable y, Punto 0)
72
) nos da 1. que tras Simplificar (botn de herramientas De la misma forma podemos calcular el otro lmite reiterado, primero respecto de la variable y en 0 y a continuacin respecto de la variable x en 0 que al simplificar resulta 1. Como no coinciden los lmites reiterados entonces podemos asegurar que no existe el lmite en (0,0) y por tanto la funcin no es continua en (0,0). Veamos la grfica de dicha funcin. Situndonos en la expresin f(x,y) pasamos a representarla
EJEMPLO 5.5. Estudiar la continuidad en (0,0) de la funcin x2 y2 ( x, y ) (0,0) f ( x, y ) = x 2 + y 2 0 ( x, y ) = (0,0) Solucin Definimos la funcin editando la expresin
73
En este caso para el estudio del lmite vamos a utilizar el clculo de lmites direccionales, nos acercaremos al punto (0,0) por rectas que pasan por dicho punto; es decir, rectas de la forma y=mx. Por tanto, calculamos lim( y = mx ),( x , y )( 0, 0) f ( x, y ) Primero editamos y calculamos el lmite cuando x tiende a 0 (en Clculo opcin Lmite (Variable x, Punto 0)) obteniendo despus de Simplificar
Por tanto no existe el lmite, ya que el resultado depende de la pendiente de la recta por la que nos acerquemos al punto (0,0). Veamos la grfica de dicha funcin. Nos situamos en la expresin f(x,y) y representamos
5.3. DERIVADAS PARCIALES. VECTOR GRADIENTE. MATRIZ HESSIANA. EJEMPLO 5.6. Estudiar la existencia de derivadas parciales en (0,0) de la funcin xy ( x , y ) ( 0 ,0 ) 2 f ( x, y ) = x + y 2 0 ( x , y ) = ( 0 ,0 ) Solucin Definimos la funcin editando la expresin
74
Calculamos primero la derivada parcial de la funcin respecto de x en el (0,0); esto es, f ( t ,0 ) f ( 0 ,0 ) f x ( 0 ,0 ) = limt 0 . t Para calcular dicha derivada editamos la expresin
sobre la cual aplicamos Calcular-Lmite respecto de t en el punto 0 y al Simplificar se obtiene 0. Por tanto, fx(0,0)=0. Para calcular la derivada parcial de f respecto de y en el (0,0) repetimos el proceso obteniendo fy(0,0)=0. La grfica de la funcin es la siguiente
EJEMPLO 5.7. Calcular el vector gradiente de la funcin anterior en el punto (1,1). Solucin En un entorno suficientemente pequeo del punto (1,1) la funcin f(x,y) est definida por xy . 2 x + y2 Por tanto, editamos primero una nueva funcin no definida en el (0,0) que tambin llamamos f(x,y):
, variable x, orden 1)
75
o Simplificar-Sustituir Variable.
Calculamos ahora fy(x,y) siguiendo el proceso anterior (Clculo-Derivadas o orden 1) y sustituimos en el punto (1,1) obteniendo
, variable y,
2 2 , ). 4 4
EJEMPLO 5.7. Calcular la matriz Hessiana de la funcin f(x,y)=2x2y+y2 en el punto (0,1). Solucin Editamos la expresin Calculamos las derivadas parciales segundas de dicha funcin el en punto (0,1). Para calcular fxx(0,1) aplicamos Clculo-Derivadas o simplificar obtenemos que al sustituir en x=0, y=1, nos da fxx(0,1)=4. Para calcular fxy(0,1) aplicamos Clculo-Derivadas o , variable x, orden 1, sobre la , variable y, orden 1 y expresin que obtenemos aplicamos de nuevo Clculo-Derivadas o al simplificar obtenemos , variable x, orden 2 y al
que al sustituir en x=0, y=1, nos da fxy(0,1)=0. Por el Teorema de Schwartz de las derivadas parciales cruzadas sabemos que fxy (x,y) = fyx(x,y), por tanto, fyx(0,1)=0. Por ltimo para calcular fyy(0,1) aplicamos Clculo-Derivadas o simplificar obtenemos y por tanto fyy(0,1)=2. , variable y, orden 2 y al
76
As pues la matriz Hessiana pedida es 4 0 Hf (0,1) = 0 2 . Nota: Para calcular el gradiente o la matriz Hessiana de una funcin de varias variables podemos seguir el siguiente camino alternativo ya que DERIVE dispone de una funcin bsica GRAD que nos ayuda a calcularlas directamente. Para utilizar dicha funcin cargamos el fichero VECTOR.MTH (Archivo-Leer-Utilidad). La funcin GRAD est definida para funciones de tres variables. Como nuestra funcin es de dos variables tenemos que decir cuales son nuestras variables. Editamos la expresin y al simplificar obtenemos el vector gradiente de f(x,y): Para calcular la matriz Hessiana de f(x,y) editamos la expresin
y simplificamos, obteniendo
Como hemos dicho la funcin GRAD asume por defecto que la funcin de varias variables de la que queremos calcular el vector gradiente es una funcin de tres variables. La funcin del ejemplo anterior es una funcin de dos variables y por tanto tenemos que aadir esta informacin. Para calcular el vector gradiente de una funcin de tres variables ser, por tanto, suficiente escribir GRAD(f(x,y,z)) para calcular el vector gradiente y GRAD(GRAD(f(x,y,z))) para calcular la matriz Hessiana. 5.4. DERIVADAS DIRECCIONALES. DIFERENCIABILIDAD. EJEMPLO 5.9. Calcular la derivada direccional de la funcin f(x,y)=3x2+y en el punto (0,0) y en la direccin del vector (1,1). Solucin Vamos a obtener la derivada direccional. Por definicin f (0 + h,0 + h) f (0,0) h (1,1) Para efectuar este clculo editamos la expresin que define la funcin f (1,1) (0,0) = lim h0
77
Calculamos el lmite de esta expresin (Clculo-Lmite, o equivalentemente respecto de la variable h en el punto 0),
y al simplificar obtenemos 1. Como el mdulo del vector (1,1) no es unitario, debemos dividir dicho resultado por el mdulo de este vector (1,1) = 2 . Obtenemos como resultado final que la derivada direccional de la funcin f(x,y)=3x2+y en el punto (0,0) y en la direccin del vector (1,1) es 1/ 2 . Un modo anlogo de enfrentarse al problema requiere la comprobacin de que f es diferenciable. Para ello calculamos sus derivadas parciales respecto de las variables x e y (Clculo-Derivadas o, equivalentemente, variable x, orden 1) y simplificando obtenemos
Ambas derivadas parciales son continuas en R2 y , por tanto, f es diferenciable. Por ser f diferenciable podemos aplicar la siguiente propiedad f (1,1) (0 ,0 ) = f (0,0 ) 1 / 2 ,1 / 2 Pasamos a calcular el vector gradiente de f en el punto (0,0) editando la expresin
simplificando obtenemos y sustituyendo en la expresin obtenida el punto (0,0) (Simplificar-Sustituir Variable o x=0) Nos resta por calcular el producto escalar de los vectores (0,1) y 1 / 2 ,1 / 2 ,
2 / 2.
78
Solucin Comprobemos en primer lugar si la funcin ln es diferenciable en el punto (0,1). Para ello debemos calcular sus derivadas parciales. Editamos la funcin
y en Clculo seleccionamos la opcin Derivadas. Primero calculamos la derivada de orden 1 respecto de la variable x
Simplificando
se obtiene
que es una funcin continua en (0,1). Sustituyendo en el punto x=0, y=1 (Simplificar-Sustituir Variable o ) tenemos
y simplificando se obtiene 0. De igual forma derivamos la funcin respecto de la variable y, orden 1 y obtenemos
que tambin es continua en (0,1). Nuevamente al sustituir x=0, y=1, resulta que nos da el valor 3 al simplificar. Luego f (0,1) = (0,3). Como las dos derivadas parciales son continuas en un entorno del punto (0,1), podemos aproximar el valor de la funcin mediante la diferencial ya que f (0 ,09 , 0 ,99 ) f (0 ,1) + df (0 ,1) = f (0 ,1) + f (0 ,1) (0 ,09 0 , 0 ,99 1) por tanto si editamos tras simplificar y aproximar obtenemos
As 0,03 es el valor aproximado de ln(0,093+0,993) que hemos obtenido utilizando la diferencial. Obsrvese que si aproximamos el valor de la expresin f(0.093,0.993) editando tras simplificar obtenemos
79
resultado que aproximando nos da el valor Por tanto concluimos que utilizando la diferencial no obtenemos una buena aproximacin. Sugerimos como ejercicio para el lector calcular una mejor aproximacin de f(0.093,0.993) utilizando el polinomio de Taylor de orden en el punto (0,1). 5.5.TEOREMA DE LA FUNCIN IMPLCITA. EJEMPLO 5.11. Dada la ecuacin implcita 2ey-x-y-2=0 (a) Define esta ecuacin una funcin del tipo y=h(x), funcin definida respecto de la variable x, en un entorno de (0,0)? En caso afirmativo, calcular h(0). (b) Define a su vez una funcin x=g(y) en un entorno de (0,0)? Podemos en este caso calcular de forma explcita la funcin g? Solucin Definamos en primer lugar a la funcin f(x,y), editando la expresin (Obsrvese que el nmero e se edita utilizando el acento circunflejo, es decir, con el smbolo ). (a) Veamos que se cumplen las hiptesis del Teorema de la Funcin Implcita para la ecuacin anterior. (i) f(0,0)=0? Si editamos la expresin f(0,0) y simplificamos, comprobamos que la respuesta es afirmativa. (ii) Existen y son continuas en un entorno del punto (0,0) las derivadas parciales de f ? Calculemos las derivadas parciales de f. Para calcular fx (Clculo-Derivadas, respecto de x, orden 1)
que al simplificar nos da 1. Se trata de una funcin constante y, por tanto, continua en R2 y en particular en cualquier entorno del (0,0). De la misma forma, calculamos ahora fy .
y vemos que tambin se trata de una funcin continua en R2. (iii) fy(0,0)0? Sustituyendo en la ltima expresin y=0 (Simplificar-Sustituir Variable o ) se obtiene que fy(0,0)=1 y, por tanto, la respuesta tambin es afirmativa. Luego, efectivamente, se cumplen las hiptesis del Teorema de la Funcin Implcita y tenemos que h(0)= -fx (0,0)/ fy(0,0)= -(-1)/1=1.
80
Para comprobar si existe una funcin g tal que x=g(y) basta comprobar la tercera hiptesis del teorema (fx(0,0)0). Efectivamente, esta condicin se cumple. Por tanto sabemos que existe la funcin g. El Teorema de la Funcin Implcita slo nos garantiza su existencia, pero no nos da un mtodo para calcular su expresin. Aun as en algunos casos especiales se puede obtener la expresin de dicha funcin. Por ejemplo en este caso utilizando la secuencia Resolver-Expresin Algebraico, o y despus simplificamos obtenemos
que determina la relacin funcional pedida, siendo g(y)= 2ey-y-2. Estudiemos ahora la grfica de la ecuacin f(x,y)=0 (esto equivale a ver la curva de nivel 0 de la funcin f(x,y)). Abrimos una Ventana 2D, mandamos representar y obtenemos
Esta grfica nos muestra que en un entorno del (0,0) se verifica la existencia de ambas funciones h y g ya que la recta tangente a la curva en el (0,0) no es paralela a ninguno de los dos ejes. Adems se obtiene la existencia global de g y no global de f. EJEMPLO 5.12. Determinar si la ecuacin implcita
define a y en funcin de x (y=f(x)) en un entorno del punto (3,0). Solucin Vemoslo geomtricamente. Para ello representamos la grfica de la ecuacin
81
Obsrvese que en ningn entorno del punto (3,0) existe una dependencia funcional unvoca de y respecto de x, ya que cualquier recta vertical que tracemos en puntos de cualquier entorno del punto (3,0) se cruza con dos puntos de la curva, ya que la recta tangente a la curva en dicho punto paralela al eje x=0. Por tanto en este caso podemos afirmar que no existe una funcin y=f(x) definida en ningn entorno de (3,0). 5.6.EXTREMOS RELATIVOS. EJEMPLO 5.13. Calcular los extremos relativos de la funcin f(x,y)=x3+y3-3xy. Solucin Editamos la expresin que define la funcin A continuacin vamos a calcular sus puntos crticos. Calculamos el vector gradiente de esta funcin que al simplificar resulta Utilizando Resolver-Sistema e introduciendo las dos componentes del vector gradiente igualadas a 0 e iluminando las variables x e y respecto de las cuales resolvemos obtenemos
Nosotros estamos nicamente interesados en las races reales ya que las variables de f son reales. Sustituyendo los valores obtenidos para la variable x y la ecuacin que define y en funcin de x (y=x2 ) obtenemos que si x=0 entonces y=0. As encontramos el primer punto crtico (0,0) y si x=1 obtenemos el punto (1,1). Procedamos ahora a su clasificacin utilizando la matriz Hessiana
82
Como deseamos ver cuales son las entradas de esta matriz en los puntos calculados anteriormente sustituimos las componentes x e y de cada punto o, de forma anloga, podemos editar la funcin
que al simplificar nos da 9. El punto (0,0) es, por tanto, un punto de inflexin. Con (1,1), procedemos de igual forma, y la secuencia de resultados que se obtienen son los siguientes
Al tratarse de un determinante de signo positivo el punto (1,1) es un extremo y por ser la primera entrada de la matriz Hessiana, fxx(1,1), mayor que 0, es un mnimo local. Vamos a efectuar la representacin grfica de la funcin para observar que, efectivamente, tenemos un mnimo local y un punto de inflexin en dichos puntos. Representndola y cambiando las coordenadas del ojo a x=-15, y=25 y z=12, la longitud 10:10:15 y centro x=0, y=0 y z=-1.5, obtenemos
83
Una segunda alternativa para clasificar extremos locales podra ser estudiando sus curvas de nivel. Para obtener las curvas de nivel de esta funcin editamos y al simplificar obtenemos
Representando
84
Para obtener los puntos crticos debemos resolver el sistema de ecuaciones que se obtienen editando y simplificando obtenemos
Los puntos crticos son las soluciones de este sistema de ecuaciones. Observamos que este sistema es equivalente al sistema
resolvemos ste siguiendo el proceso del ejemplo anterior para obtener los puntos crticos.
De esta manera hemos obtenido dos puntos crticos (0,-3) y (0,3) (el resto de las soluciones del sistema no tiene componentes reales). Procedemos a su clasificacin utilizando la matriz Hessiana. Editamos
85
cuyo determinante es
Por ser el determinante positivo, el punto (0,-3) es un extremo local. Como fxx(0,-3)<0 se trata de un mximo local. Para el punto (0,3) seguimos el mismo procedimiento y vemos que se trata de un mnimo local. Nota: Recordamos que para utilizar una expresin editada anteriormente podemos utilizar el botn F3. En este caso para calcular el determinante de la matriz Hessiana hemos seguido el siguiente camino: En Editar(Autor) escribimos DET y en lugar de escribir la matriz la podemos recuperar con F3 una vez iluminada. Representemos la funcin, cambiando el Rango de la variable z de 0.5 a 0.5.
86
Nota: Obsrvese que en este caso estamos aadiendo una informacin adicional en la funcin VECTOR. Por defecto la distancia entre los valores que toma el parmetro k es de una unidad, pero si queremos considerar una distancia diferente tenemos que indicarlo. En este caso queremos que la distancia entre cada una de las curvas de nivel sea 0.02. Las curvas de nivel son
Como puede observarse los puntos (0,3) y (0,-3) son puntos crticos. EJERCICIOS PROPUESTOS: EJERCICIO 33. Una empresa produce dos tipos de ordenadores O1 y O2 cuyos precios por unidad vienen dados por pO1=100, pO2=150. La funcin de costes de la empresa es C(x,y)=40 ln x - 20 ln y + 20x2 + 35 y2 siendo x e y las unidades de ordenadores producidas de cada uno de los dos tipos. Calcular los niveles de produccin que permiten alcanzar el mximo beneficio. EJERCICIO 34. Optimizar la funcin f(x,y)=x4+y4-2(x-y)2.. EJERCICIO 35. Obtener la grfica de la funcin f(x,y)=y2-x2. EJERCICIO 36. Dibujar las curvas de nivel de la funcin anterior.
CAPTULO
8
Aplicaciones de la derivada
f .x0 /
f .x0 /
y D f .x/
y D f .x/
x0
x0
Si f .x0 / f .x/ para cada x cerca de x0 , es decir, en un intervalo abierto que contenga a x0 , diremos que f alcanza un mnimo local o un mnimo relativo en x0 .
1
2
y y
y D f .x/
f .x0 /
Mnimo local x x0 x
x0
Si f .x0 / > f .x/ para cada x cerca de x0 , entonces el mximo local es estricto. Si f .x0 / < f .x/ para cada x cerca de x0 , entonces el mnimo local es estricto. A un mximo y a un mnimo local se les llaman valores extremos.
y
x0 x1
y D f .x/ x
Si f es continua en un intervalo que contiene a x0 y si f 0 cambia de signo en x0 , es decir, si en un intervalo de la forma .x1 ; x0 / f 0 tiene un signo y en .x0 ; x2 / el otro, entonces en x0 hay un valor extremo, de hecho: Si f 0 pasa de positiva a negativa, hay un mximo local estricto. Es claro pues la funcin pasa de ser creciente a ser decreciente. Si f 0 pasa de negativa a positiva, hay un mnimo local estricto. Es claro pues la funcin pasa de ser decreciente a ser creciente. Si no cambia de signo la derivada, entonces la funcin no tiene valor extremo. Ejemplo 8.2.1 La funcin f .x/ D j x j es continua en R , pero no derivable en x D 0. 2
si x < 0 ) f 0 .x/ D si x 0
1 1
f .x/
f .x/ decreciente
f .x/ creciente
f 0 .x/ > 0 1
f 0 .x/ < 0
Por otro lado, es claro que (vase el teorema de Rolle): El recproco no es verdadero; veamos un contraejemplo: una funcin f derivable en x0 con f 0 .x0 / D 0, pero tal que f no tiene un valor extremo en x0 . Ejemplo 8.2.2 Sea f .x/ D x 3 . H La derivada de f es f 0 .x/ D 3x 2 ) f 0 .0/ D 0; en 0 no hay valor extremo pues f es creciente. Entonces x1 < 0 < x2 ) f .x1 / < f .0/ D 0 < f .x2 /; 0 no es ni mximo ni mnimo local.
y
f .x/ D x 3 f es creciente x
Punto crtico. Una funcin f tiene un punto crtico en x0 2 Df cuando f 0 .x0 / D 0 o bien cuando f 0 .x0 / no existe.
y y
x0
f .x0 /
f 0 .x0 / D 0 x x0 x
f .x0 /
f 0 .x0 / D 0
4
y y
x0
Geomtricamente es claro que un punto crtico puede ser, o bien no puede ser, un mximo local o un mnimo local. Para decidir si un punto crtico es un mximo o un mnimo local se cuenta con el siguiente criterio: Criterio de la primera derivada si f tiene en x0 un punto crtico y adems: Para x < x0 y para x0 < x entonces, f tiene en x0 un f 0 .x/ > 0 f 0 .x/ < 0 f 0 .x/ < 0 f 0 .x/ > 0 mximo local estricto minno local estricto
4.4 x 2 / H Por el ejemplo ?? anterior sabemos que g .x/ D 2 . Entonces .x C 4/2 g 0 .x/ D 0 , 4.4 x 2 / D0 , 4 .x 2 C 4/2
Esto implica que la funcin g tiene dos puntos crticos, uno en x1 D 2 y otro en x2 D 2. Para clasicarlos, utilizamos la informacin que se tiene en el mismo ejemplo ?? sobre crecimiento y decrecimiento de g. Para x< 2 x1 D 2 0 C 0 decreciente & 4x tiene C4 creciente % f 0 es f es decreciente & entonces, f tiene
f .x0 /
f 0 .x0 / no existe
x0
4x . x2 C 4
x 2 , x 2 D 4 , x D 2 :
f .x0 /
f 0 .x0/ no existe x
8.2 Mximos y mnimos locales 1. un punto minmo local estricto en x1 D 2, y 2. un punto mximo local estricto en x2 D 2. El punto mnimo local estricto est en P 2; g. 2/ D P El punto mximo local estricto est en Q 2; f .2/ D Q 2; 8 4C4 D Q.2; 1/ : 2; 8 4C4 D P . 2; 1/ :
1
Cre ce
Dec
rece
2 x
Cre ce
D ec rece
Ejemplo 8.2.4 Obtener y clasicar los puntos crticos de la funcin f .x/ D 3x 5 H f 0 .x/ D 15x 4 15x 2 D 15x 2 .x 2 1/ D 15x 2 .x C 1/.x 1/; f 0 .x/ D 0 , 15x 2 .x C 1/.x 1/ D 0 esto se cumple si: x 2 D 0 ) x D 0 o bien x C 1 D 0 ) x D 1 o bien x 1 D 0 ) x D 1:
5x 3 .
Esto implica que la funcin f tiene tres puntos crticos: en x1 D 1, en x2 D 0 y en x3 D 1. Para clasicarlos, utilizamos la informacin que se tiene en el ejemplo ?? anterior sobre crecimiento 5
f es creciente %
entonces, f tiene
ni mnimo, ni mximo
creciente %
y
5x 3
Crece
Dec re c e
Crece
El punto mximo local estricto est en P 1; f . 1/ D P . 1; 2/. El punto mnimo local estricto est en Q1; f .1/ D Q.1; 2/. Todo ello concuerda con que f .x/ es impar. Ejemplo 8.2.5 Sea f .x/ una funcin cuya derivada es f 0 .x/ D x 3 3x 2 4x p .3 C 2x/ 50 C 6x
y con dominio igual al de su derivada. Determine los intervalos de monotona de f .x/ y sus puntos extremos. H Para determinar el dominio de f 0 observemos que 50 C 6x > 0 , 6x > 50 , x > y tambin que 3 C 2x D 0 , 2x D 3 , x D entonces, Df D Df 0 D 6 25 3 ; 3 2 3 ; C1 2 D 3 I 2 3 2 : 50 D 6 25 3
25 ; C1 3
1
8.2 Mximos y mnimos locales Por otra parte 4/ D 0 , x D 1; 0 & 4: p Veamos el signo de f 0 en los distintos intervalos, tomando en cuenta que 50 C 6x > 0 siempre. 3x 4/ D x.x C 1/.x Signo de Intervalo 25 <x< 3 25 < 3 25 < 3 25 < 3 25 < 3 3 .< 1 < 0 < 4/ 2 3 <x< 2 3 < 2 3 < 2 1 1.< 0 < 4/ C C C C C C C C C C C C 3 C 2x x C 1 x x 4 f 0.x/ C f .x/ es creciente decreciente creciente decreciente creciente f 0 .x/ D 0 , x 3 3x 2 4x D x.x 2
3 Luego f .x/ tiene los siguientes puntos extremos: en x D 2 un mximo local estricto pues f pasa de ser creciente a ser decreciente; en x D 1 un mnimo local estricto pues f pasa de ser decreciente a ser creciente; en x D 0 un mximo local estricto pues f pasa de ser creciente a ser decreciente y en x D 4 un mnimo local estricto pues f nuevamente pasa de ser decreciente a ser creciente.
f .x/, los puntos extremos y graque esa funcin. H Como f .x/ D x C 1 C .x f 0 .x/ D 1 1 .x 2/2
1 x 2
< 1 , .x 2/2 > 1 , j x 2 j > 1 , .x 2/2 , x 2 > 1 o bien x 2 < 1 , x > 3, o bien x < 1:
Como en x D 1 la funcin pasa de ser creciente a ser decreciente, en el punto 1 1; f .1/ D 1; 1 C 1 C D .1; 1/ la funcin tiene un mximo relativo. 1 2 Y en x D 3, un mnimo relativo pues la funcin pasa de ser decreciente a ser creciente; 1 El mnimo es f .3/ D 3 C 1 C D 5. 3 2 Tambin tenemos que lm f .x/ D 1 y que lm f .x/ D 1, lm f .x/ D C1. Adems
x!1 x!2 x!2C
f .x/ D x C 1 C , x2 La grca es x
y D f .x/
Si f .x0 / f.
Si f .x0 / f .x/ para cualquier x 2 Df diremos que f .x0 / es el mnimo absoluto de la funcin f. Ya sabemos que como f W a; b ! R es continua, existen el mximo y el mnimo absolutos de f .
Si f W a; b ! R es continua y derivable en .a; b/, el mximo y el mnimo absolutos los toma la funcin en los extremos del intervalo o bien con el mayor de los mximos locales o con el menor de los mnimos locales respectivamente. 8
Utilizando el criterio de la primera derivada, determinar los mximos y mnimos locales o relativos de las siguientes funciones. 1. f .x/ D x 2 2. g.x/ D x 3 3. h.x/ D 4. f .x/ D x 4 5. g.x/ D .x 2 6. h.x/ D x 2 C 7. f .x/ D x2 4x C 3 . 6x 2 C 9x 1. 4x 3 . 1/2 . 16 . x 2.
2x 3 C 6x
Ntese que estas funciones son las mismas que estn en los ejercicios 8:1:1: Esto se hace con el propsito de utilizar la informacin obtenida, sobre crecimiento y decrecimiento, en cada una de las funciones.
10
Ejercicios 8.2.1 Mximos y mnimos locales, pgina 9 1. f tiene un mnimo local A.2; 1/. 2. g tiene un mximo local A.1; 2/; g tiene un mnimo local B.3; 2/. 3. h tiene un mnimo en A. 1; 5/; h tiene un mximo en B.1; 3/. 4. f tiene un mnimo local en P .3; 27/; f no tiene mximos locales. 5. En x D 1 un mnimo local; en x D 0 un mximo local; en x D 1 un mnimo local. 10. Mximo local en P . 2; 32/; mnimo local en Q.2; 32/. 6. h tiene un mnimo local en P .2; 12/. 7. f tiene en P .0; 0/ un mximo local. 8. g tiene en A.0; 3/ un mximo local. 9. h tiene en Q.1; 3/ un mnimo local.
10
MXIMOS Y MINIMOS
Marco Antonio Cruz Chvez
UAEM Av. Universidad 1001 Col. Chamilpa C.P. 62210 Cuernavaca Morelos, Mxico Agosto 18 del 2000 00334858@academ01.mor.itesm.mx
Abstract. En este trabajo se presentan algunos mtodos de optimizacin clsica relacionados con los mximos y mnimos de funciones no lineales. Tambin se muestra una explicacin del mtodo de optimizacin simplex para funciones lineales por el cual se pueden obtener los mximos y mnimos de una funcin restringida.
1 INTRODUCCIN.
Desde la dcada de los 60 la programacin lineal (PL) ha sido aplicada en diversas reas de la vida como por ejemplo: sistemas militares, agrcolas, econmicos, de transporte y de salud. La PL ofrece bases importantes en el desarrollo de mtodos de solucin de otras tcnicas de la Investigacin de operaciones, como lo son la programacin entera, la estocstica y la no lineal [Taha 1991]. La PL juega un papel muy importante en el estudio de los problemas continuos de optimizacin considerados como la frontera de los problemas de optimizacin combinatoria, ya que en los continuos se tienen las caractersticas necesarias para que sean considerados dentro del tipo combinatorio [Papadimitriou and Steiglitz, 1982]: Un problema de optimizacin combinatoria siempre se le involucra un conjunto de instancias, donde cada una de ellas cuenta con un conjunto finito de posibles soluciones (caracterstica imprescindible de los problemas continuos). Por otra parte la teora de optimizacin clsica se usa para la obtencin de los mximos y mnimos de funciones no lineales restringidas y no restringidas, en los que se hace uso del calculo diferencial.
2 MAXIMOS Y MINIMOS
Mnimo (fuerte): Un punto extremo X0 de una funcin f(X0) define un mnimo de la funcin si f(X0+h) > f(X0), donde X0 es cualquier punto de la funcin y h en valor absoluto es suficientemente pequea. Mximo (fuerte): Un punto extremo X0 de una funcin f(X0) define un mximo de la funcin si f(X0+h) < f(X0), donde X0 es cualquier punto de la funcin y h en valor absoluto es suficientemente pequea.
Una funcin puede contener varios mximos y mnimos, identificados por los puntos extremos de la funcin. En la figura 1 se puede observar esto, los puntos x1, x3 y x6 son mximos, de la figura notamos que f(x6) es el mayor que f(x1) y f(x3), a este punto se le conoce como mximo global de la funcin y a los restantes como mximos locales. Lo mismo se puede ver para los mnimos, en los que tambin existe un mnimo global f(x2)y un mnimo local f(x4). Como es de lgico, solo puede existir un solo global y posiblemente varios locales.
inflexi
Fig. 1. Representacin de mximos y mnimos en una funcin con una sola variable [Taha 1991].
Una condicin necesaria pero no suficiente para que X0 sea un punto extremo, es que para una funcin con mas de una variable, el gradiente f(X0) = 0. Si es cierto esto entonces X0 ser conocido como punto estacionario. Una condicin suficiente para que un punto estacionario sea extremo es que la matriz Hessiana H obtenida en X0 del sistema de ecuaciones sea positiva cuando X0 es un punto extremo de mnimo. Y negativa cuando X0 es un punto extremo de mximo. Un mximo dbil implica un numero finito de mximos alternativos (ver figura 1) y se define como X0 es un mximo dbil, si f(X0 + h) <= f(X0). Un anlisis similar es para los mnimos dbiles. Un punto de inflexin se encuentra cuando la evaluacin del gradiente da cero y no es un extremo, esto es, se debe de cumplir la condicin de la matriz Hessiana.
3.1 Mtodo de Newton El encontrar la solucin a un sistema de ecuaciones no lineal es mucho ms difcil que el de un sistema lineal. El mtodo de Newton es un procedimiento iterativo y permite la linealizacin de un sistema de ecuaciones no lineal, para posteriormente darle solucin por cualquier mtodo numrico de ecuaciones lineales simultneas, este forma parte de los mtodos conocidos como mtodos de gradiente. Un sistema de n ecuaciones con n incgnitas (x1, x2, ... xn), se conoce como no lineal, si una o ms de estas no es lineal. De manera general, la solucin de un sistema de n ecuaciones no lineal aplicando el mtodo de Newton [Conte y Boor, 1987] se plantea como sigue:
f 1( x , y , z,K ) x f 2( x , y , z,K ) x f 3( x , y , z ,K ) x M fn ( x , y , z , K ) x
f 1( x , y , z,K ) z f 2( x , y , z,K ) z f 3( x , y , z , K ) z M fn ( x , y , z , K ) z
L L L L
xi yi zi M
(1)
evaluado en (xi , yi , zi ,...) y resolviendo se tiene: xi+1 = xi+xi, yi+1 = yi+yi zi+1 = zi+zi, ... Sea la expresin (2) la suma de todas las ecuaciones no lineales que representan el sistema en estudio
f 2n ( X k +1 ) = Dn( X k +1 ) + En ( X k +1 )
(2)
La iteracin de Newton se podr obtener para el conjunto de ecuaciones a partir de (2), usando la serie de Taylor en una aproximacin de primer orden
f 2 n k +1 ( X i + 1) f 2 n k +1 ( X i ) + f '2 n k +1 ( X i )( X i + 1 X i ) = 0
(3)
Las ecuaciones (3) representan un conjunto de 2n ecuaciones lineales acopladas para el vector de incgnitas X en el paso de tiempo k+1, en la iteracin i+1. Los trminos en derivadas darn lugar a la formacin de la matriz Jacobiana:
f ' 2 n k +1 ( X i ) =
f 2 n k +1 ( X i ) Xi
(4)
La solucin del conjunto de ecuaciones lineales encontradas en cada iteracin (matriz Jacobiana) ser resuelta por cualquier mtodo lineal de matrices hasta que los residuales sean menores a una tolerancia designada, muy prxima a cero, ecuacin (3). 3.2 Mtodo de derivadas restringidas (Jacobiano).
Se puede considerar como una generalizacin del mtodo simplex para programacin lineal. Considere el problema
Minimizar z = f(X) Sujeto a g(X) = 0 Donde X = (x1,x2,,xn) g = (g1,g2,,gm)T Las funciones f(X) y gi(X), donde i = 1,2,,m, se suponen diferenciables y doblemente continuas. El utilizar derivadas restringidas es encontrar una expresin de forma cerrada para las primeras derivadas parciales de f(X) en todos los puntos que satisfacen las restricciones g(X) = 0. Estos puntos estacionarios entonces se sabe que son donde dichas derivadas parciales se anulan. Por el teorema de Taylor, para los puntos X + X en el entorno factible de X, se deduce que f(X + X) f(X) = f(X)X + 0(X2j) y g(X + X) g(X) = g(X)X + 0(X2j)
f(X) = f(X)X
(5)
X = (Y, Z)
Donde Y = (y1,y2,,ym) y Z = (z1,z2,,zn-m) Indican a las variables dependientes e independientes, respectivamente y que corresponden al vector X. Volviendo a escribir los vectores gradiente de f y g en trminos de Y y Z se encuentra que f(Y,Z) = (yf, zf) g(Y,Z) = (yg, zg) Donde
yg 1 J = yg = M yg m zg1 C = zg = M zg m
Jmxn se conoce como la matriz jacobiana y Cmxn-m = es la matriz de control. Utilizando las definiciones anteriores en (4), se puede escribir el conjunto original de ecuaciones como
f(Y,Z) = yf Y + z f Z
y J Y = - C Z Como J se supone que no es singular, existir su inversa J-1. Por lo tanto,
(6)
Y = - J-1C Z sustituyendo Y en la ecuacin (6) se obtiene a f como una funcin de Z f(Y,Z) = (zf - y f J-1C) Z
aplicando a esta ecuacin la derivada restringida con respecto a al vector independiente Z, se tiene cf = cf(Y,Z) / cZ = zf - y f J-1C donde cf representa el vector gradiente restringido de f con respecto a Z. Por consiguiente f debe de ser nulo en los puntos estacionarios. 3.3 Mtodo Lagrangiano.
Esta muy relacionado con el mtodo jacobiano y se puede desarrollar a partir de aquel. Anteriormente se demostr que:
f(Y,Z) = yf Y + z f Z g = J Y + C Z
Supongamos que g no es igual a 0 entonces despejamos Y
(7)
Y = J-1 g J-1C Z
sustituyendo en la ecuacin (6) tenemos
f(Y,Z) = yf J-1 g + c f Z
donde c f = zf - yf J-1C
(8)
Considerando que en el punto extremo (y para cualquier punto estacionario) X0 = (Y0, Z0), el gradiente restringido c f debe anularse, entonces de (8)
f/ g = y0f J-1
(9)
Esta relacin (9) permite estudiar el efecto de variaciones pequeas de g sobre el valor optimo de f evaluando la tasa de cambio de f con respecto a g. Estas tasas usualmente se conocen como coeficientes de sensibilidad.
f - g = 0
(10)
Esta ecuacin satisface las condiciones necesarias para los puntos estacionarios ya que la expresin para f/ g se calcula con c f = 0. Otra representacin mas conveniente de la ecuacin (10) es tomando sus derivadas parciales con respecto a todas las xj. Lo anterior da
( f g ) = 0 x j
j = 1,2,,n
Las ecuaciones resultantes junto con las de restricciones g = 0 proporcionan los valores factibles de X y que satisfacen las condiciones necesarias para puntos estacionarios. Este procedimiento define al mtodo de Lagrange para identificar los puntos estacionarios de problemas de optimizacin con restricciones de igualdad.
4 EL METODO SIMPLEX
Para resolver un modelo de PL por medio del mtodo simplex, este se deber de poner en forma estndar aplicando los siguientes puntos: 1. Todas las restricciones son ecuaciones con un segundo miembro positivo. 2. Una restriccin se convierte en ecuacin adicionando una variable de holgura (o restando una variable de exceso) al primer miembro de la ecuacin. El segundo miembro de la ecuacin se puede hacer positivo, multiplicando ambos lados por 1. Y la direccin de una desigualdad se invierte multiplicando ambos miembros de la ecuacin por 1. 3. Todas las variables son positivas. 4. En el caso de que una variable yi cualquiera, sea irrestricta (no restringida), esta pudiera expresarse en trminos de dos variables positivas mediante el uso de la sustitucin. yi = yi yi donde yi, yi >= 0. 5. La funcin objetivo puede ser de maximizacin o de minimizacin. Un ejemplo sencillo para poner un modelo de PL en forma estndar es el siguiente: Modelo de PL. Minimizar z = 2x1 + 3x2 sujeto a x1 + x2 = 10
-2x1 + 3x2 <= -5 7x1 4x2 <= 6 x1 irrestricta x2 >= 0 Haciendo uso de los puntos anteriores obtenemos el siguiente modelo PL en forma estndar: Minimizar z = 2x1 2x1 + 3x2 sujeto a x1 x1 + x2 = 10 2x1 2x1 + 3x2 s2 = -5 7x1 7x1 4x2 + s3 = 6 x1,x1,x2,x3,s2,s3, >= 0 La solucin optima a un modelo PL se encontrara siempre en algn punto extremo del espacio de soluciones formado por el conjunto de restricciones, a cada punto extremo se le conoce como (solucin bsica factible). Simplex emplea un proceso iterativo que inicia en un punto extremo factible (por lo general el origen) considerada como la solucin inicial y va recorriendo de un punto factible a otro punto factible, hasta que encuentra el punto optimo, punto en el cual (en el caso de maximizacin), el valor de la funcin objetivo sea el mximo que se pueda obtener. Para desplazarse a un punto factible se emplea una iteracin en el mtodo. Los pasos del algoritmo simples son los siguientes: Paso 0: despus de poner el modelo PL en forma estndar, se determina una solucin bsica factible inicial, inicializando un numero W de Variables no Bsicas (W = incgnitas ecuaciones) a un valor igual a cero. Paso 1: seleccionar una variable de entrada de las variables no bsicas actuales (cero), que al incrementarse esta arriba de cero, contribuye al incremento de la funcin objetivo (maximizacin), si no existe una menor o igual a cero, la solucin actual es optima. De lo contrario hacer el paso dos. Paso2: seleccionar una variable de salida del conjunto de variables bsicas actuales y hgala cero (vulvala no bsica) para que la nueva bsica (variable de entrada) seleccionada en el paso uno tome su lugar. Paso 3: determinar la nueva solucin bsica haciendo que la variable de entrada sea bsica y la variable de salida sea no bsica. Continuar en el paso uno para la siguiente iteracin.
Variable no bsica: son las variables del modelo PL que se hacen igual a cero al inicio de la primera iteracin. Variable bsica: son las variables del modelo PL que son diferente de cero al inicio de la primera iteracin. Para entender mas claro este algoritmo, consideremos un ejemplo muy sencillo: Modelo PL de Reddy Mikks en su forma estndar, para mas detalles ver referencia [Taha 1991]: z - 3x1 x1 2x2 - x1 2x2 = 0 Funcin objetivo
+ 2x2 + s1 = 6 + x1 + s2 = 8 Restricciones + x1 + s3 = 1 x1 + s4 = 2 El numero de variables no bsicas (tomaran el valor inicial de cero) ser W = 6 4 = 2. La solucin inicial bsica factible, si x1 = x2 = 0, es s1 = 6, s2 = 8, s3 = 1, s4 = 2 y el valor de z = 0. Presentando esto en forma tabular se tiene. bsica z x1 x2 s1 s2 s3 s4 solucin z 1 -3 2 0 0 0 0 0 6 1 2 1 0 0 0 0 s1 8 2 1 0 1 0 0 0 s2 1 -1 1 0 0 1 0 0 s3 2 0 1 0 0 0 1 0 s4
La columna llamada bsica, indica a las variables bsicas actuales s1, s2, s3 y s4. De forma implcita las variables no bsicas son x1 y x2 pues no se encuentran en la columna bsica. Para detectar cuando se encuentra la solucin optima (la mejor) hacemos uso de: Condicin de optimidad: en el caso de la maximizacin, si todas las variables no bsicas tienen coeficientes positivos en la funcin objetivo, se ha encontrado la solucin optima. En caso contrario se selecciona a la variable con coeficiente ms negativo como la variable de entrada. Para detectar a la variable de salida en caso de que no se haya encontrado la solucin optima hacemos uso de: Condicin de factibilidad: se obtiene la mnima razn = solucin/(coeficiente positivo), donde el coeficiente positivo es asociado a la variable de entrada, y no se toman en cuenta valores menores o iguales a cero. De esta manera con estas dos condiciones podemos obtener a la columna de entrada y a la ecuacin pivote que sealara a la variable bsica de salida. Esto se ve mas claro en la siguiente tabla.
bsica
0z
x1 1 0 0 0 0 -3 1 2 -1 0
x2 2 2 1 1 1
s1 0 1 0 0 0
Elemento pivote
s2 0 0 1 0 0
s3 0 0 0 1 0
s4 0 0 0 0 1
Sol. 0 6 8 1 2
z s1 s2 s3 s4
Una vez que se identifican a las variables de entrada y salida la nueva solucin bsica (siguiente iteracin) se encuentra al aplicar el mtodo de Gauss-Jordan que involucra los siguientes pasos: 1. Nueva ecuacin pivote = ecuacin pivote anterior/elemento pivote. 2. Todas las otras ecuaciones incluyendo z. Nueva ecuacin = ecuacin anterior (su coeficiente de la columna de entrada) x (nueva ecuacin pivote). Al aplicar esto a la tabla anterior se tiene lo siguiente: Razon 2/(3/2) = 4/3 4/(1/2) = 8 5/(3/2) = 10/3 2/1 = 2
bsica
1z
x1 1 0 0 0 0 0 0 1 0 0
s1 0 1 0 0 0
s3 0 0 0 1 0
s4 0 0 0 0 1
solucin 12 2 4 5 2
z s1 x1 s3 s4
La nueva solucin ser x1 = 4, x2 = 0 y z = 12. Para encontrar la columna de entrada y el rengln pivote, se repite a partir de las condiciones de optimidad y factibilidad hasta que se encuentre la solucin optima (cuando se cumple la condicin de optimidad).
5 LA PROGRAMACIN GRADIENTE.
NO
LINEAL:
METODOS
DE
El mtodo del gradiente se utiliza para la optimizacin de funciones que son dos veces diferenciables. La idea general para generar puntos sucesivos, iniciando de un punto inicial dado, en la direccin del incremento ms rpido (maximizacin) de la funcin. La tcnica es conocida como mtodo de gradiente debido a que gradiente de la funcin en un punto es indicativo de la rapidez del incremento.
5.1 Mtodo Newton-Raphson Uno de los mtodos de gradiente es el Newton-Raphson, este mtodo est basado en la resolucin de ecuaciones simultaneas que representan la condicin necesaria para optimalidad, llamada f ( X) = 0 . La desventaja de utilizar la condicin necesaria f ( X) = 0 para determinar los puntos estacionarios es la dificultad para resolver las ecuaciones simultaneas resultantes numricamente. El mtodo Newton-Raphson es un procedimiento iterativo para resolver ecuaciones simultaneas no lineales. Considere las ecuaciones simultaneas:
f i ( X) = 0,
k
f i ( X ) f i ( X k ) + f i ( X k )( X X k ),
As, la ecuacin original puede aproximarse a
f i ( X k ) + f i ( X k )( X X k ) = 0, A k + B k (X X k ) = 0
Estas ecuaciones pueden escribirse en notacin matricial como Tomando en cuenta la condicin de que toda f i (X) es independiente, B k es necesariamente no singular. As, la ecuacin anterior resulta
X = X k B 1 A k k
La idea del mtodo es iniciar de un punto inicial X . Utilizando la ecuacin anterior, k +1 k un nuevo punto X puede determinarse de X . El procedimiento termina con X m como solucin cuando X m X m 1 .
0
Una interpretacin geomtrica de mtodo se muestra con una funcin de una sola variable en la figura 2. La relacin entre x variable f (x ) se reduce a
k
y x
k +1
x k +1 = x k
o
f (xk ) f '(x k )
f '(x k ) =
f (xk ) x k x k +1
k +1
se determinan de la pendiente de
f (x ) en x , donde tan = f ' ( x ) . Un problema con este mtodo es que la convergencia no esta garantizada siempre a menos que la funcin se comporte bien. En la figura, si el punto inicial x0 es a el mtodo divergir. No existe una manera fcil para localizar un buen punto inicial x0 . Tal vez una solucin para este problema es usar prueba y error.
5.2 Mtodo de ascenso pronunciado (steepest ascent) La terminacin del mtodo del gradiente se realiza en el punto donde le gradiente de vuelve nulo. Esta es solamente una condicin necesaria para la optimalidad. As se enfatiza que la optimalidad no puede verificarse al menos que se conozca a priori que f (X) es cncava o convexa. Suponga que f (X) es maximizada. Tomemos a X
k k 0
cual el procedimiento inicia y define a f ( X ) como el gradiente de f en el ksimo punto de X . La idea del mtodo es determinar el PATH p a travs del cual df / dp es maximizada en un punto dado. Este resultado es alcanzado si los puntos sucesivos X y X
k k +1
X k +1 = X k + r k f ( X k ) k donde r es un parmetro llamado tamao de paso optimo. k k +1 El parmetro r se determina tal que X de cmo resultado una gran mejora de f . En otras palabras, si la funcin h(r ) se define como h(r ) = f (X k + rf ( X k )) r k es el valor de r maximizando k El procedimiento propuesto termina cuando dos puntos de prueba sucesivos X y k +1 X son aproximadamente iguales. Esto es equivalente a tener r k f ( X k ) 0 k Bajo el supuesto de que r 0 , el cual siempre ser verdadero al menos que X 0 se convierta en optimo de f (X) , esto es equivalente a la condicin necesaria f ( X k ) = 0
Ejemplo: Considere la funcin maximizada
2 f ( x1 , x 2 ) = 4 x1 + 6 x 2 2 x12 2 x1 x 2 2 x 2
f ( x1 , x 2 ) es una funcin cuadrtica cuyo optimo absoluto ocurre en ( x1 , x 2 ) = (1 / 3,4 / 3) . Esta muestra la manera en que el problema se resuelve con
el mtodo de ascenso pronunciado. La figura 3 muestra los puntos sucesivos. Los gradientes en cualquiera de los dos puntos sucesivos son necesariamente ortogonales (perpendiculares).
f (X) = (4 4 x1 2 x 2 ,6 2 x1 4 x 2 )
Primera iteracin
Segunda iteracin
f (X1 ) = (0,1)
Considerar As
r 2 = 1 / 4 o X 2 = (1 / 2,5 / 4)
Tercera iteracin
f (X 2 ) = (1 / 2,0)
Considerar
1 5 1 1 r 5 X = , + r ,0 = , 2 4 2 2 4
As
r 3 = 1 / 4 o X 3 = (3 / 8,5 / 4)
Cuarta iteracin
f ( X 3 ) = (0,1 / 4)
Considerar
3 5 1 3 5+ r X = , + r 0, = , 8 4 4 8 4
As
r 4 = 1 / 4 o X 4 = (3 / 8,21 / 16)
Quinta iteracin
f (X 4 ) = (1 / 8,0)
Considerar
3 21 1 3 r 21 X = , + r ,0 = , 8 16 8 8 16
s
f ( X 5 ) = (0,1 / 16) 5 Desde que f ( X ) 0 , el proceso puede ser terminado en este punto. El punto 5 mximo aproximado esta dado por f ( X ) = (0.3437,1.3125) . Es necesario * observar que el ptimo exacto es X = (0.3333,1.3333)
6 CONCLUSIONES.
Se presento la teora clsica de optimizacin para encontrar mximos y mnimos de los problemas no lineales restringidos. Y la conclusin es que no es adecuada para fines de calculo. En el caso del mtodo simplex para sistemas lineales las condiciones de optimidad y factibilidad garantizan, partiendo de un punto extremo factible (solucin bsica), el poder mejorar el valor de la funcin objetivo hasta llegar al optimo en cada iteracin.
Referencias.
1. 2. 3. Conte S.D. y Boor C; Anlisis Numerico; McGraw-Hill, Mexico D.F., 1987. C.H. Papadimitriou and K. Steiglitz, "Combinatorial optimization: algorithms and complexity", Prentice Hall Inc., USA. ISBN 0-13-152462-3, 496 pp., 1982. H. A. Taha, Investigacin de Operaciones, Alfaomega, Mexico D.F., ISBN 0-02418940-5, 989 pp., 1991.
4.10.1 Problemas de aplicaciones de mximos y mnimos En esta seccin se muestra como usar la primera y segunda derivada de una funcin en la bsqueda de valores extremos en los llamados: problemas de aplicaciones o problemas de optimizacin. Aunque los ejemplos son esencialmente geomtricos, ellos ilustran un procedimiento general. Antes de enumerar los pasos que se deben seguir al abordar problemas que incluyen extremos absolutos, se enuncia sin demostracin, un teorema, conocido como el criterio de la segunda derivada, el cual permite, en algunos casos, determinar, de una manera mas fcil, si un punto crtico dado corresponde a un mximo o a un mnimo relativo. TEOREMA 1 (Criterio de la segunda derivada para extremos relativos) Sea f una funcin dos veces derivable en un intervalo abierto I, sea c un punto de I, tal que f ' ( c ) = 0 . Entonces: i. Si f ' ' ( c ) < 0 , entonces, f presenta un mximo relativo en c. ii. Si f ' ' ( c ) > 0 , entonces, f presenta un mnimo relativo en c. Observacin: Si f ' ' ( c ) = 0 , entonces, la naturaleza del punto crtico como lo ilustran los siguientes casos: c no queda determinada,
La funcin, f (x) = x4, satisface: f (0) = 0 y f (0) = 0. presenta un mnimo relativo en x = 0 (fig. 4.21 (a)).
Sin embargo ,
f (x)
fig. 4.21
Igualmente, la funcin: g (x) = - x4, satisface: g (0) = 0 y g (0) = 0. Sin embargo , g (x) presenta un mximo relativo en x = 0 (fig. 4.21 (b)). Tambin, la funcin, h (x) = x3, satisface: h (0) = 0 y h (0) = 0, pero h (x) es creciente en todo el eje real y no presenta extremo relativo en x = 0 (fig. 4.21 (c)). En lo que sigue se considerarn algunos problemas cuya solucin es un extremo absoluto de una funcin definida en un intervalo cerrado. Se hace uso del teorema 2 de la seccin 4.22 (Teorema de los valores extremos), el cual garantiza la existencia de un valor mximo absoluto y de un valor mnimo absoluto de una funcin continua en un intervalo cerrado. Se enumeran a continuacin algunos pasos que son tiles al abordar un problema de esta naturaleza. 1. Hacer hasta donde sea posible un dibujo indicando las variables que intervienen en el problema. 2. Determinar la funcin a maximizar o minimizar asi como el intervalo en el cual est definida. 3. Utilizar la informacin del problema para expresar la funcin obtenida en el paso 2., en trminos de una sola variable. 4. Utilizar la regla prctica dada en la observacin al teorema 2 de la seccin 9.9.3. para encontrar extremos absolutos. Se ilustra el procedimiento anterior con algunos ejemplos.
Ejemplo 1. Los puntos A y B estn situados uno frente al otro y en lados opuestos de un rio recto de 300 mts. de ancho. El punto D est a 600 mts. de B y en su misma orilla. (fig. 4.22). Una compaa de telfonos desea tender un cable desde A hasta D. Si el costo por metro de cable es el 25% mas caro bajo el agua que por tierra. Cmo se debe tender el cable, para que el costo total sea mnimo?.
fig. 4.22 Solucin: Sea Q el punto sobre la misma orilla y a una distancia x de B donde termina el tramo de cable bajo el agua. Se puede definir ahora las constantes y variables del problema: x: y: 600 x: k (const): 5 k (const): 4 P: distancia de B a Q; 0 x 600 distancia de A a Q; (longitud de cable bajo el agua). distancia de Q a D; (longitud de cable por tierra). costo por metro de cable por tierra. 5 costo por metro de cable por agua. k = 1.25k 4 costo total (funcin a minimizar).
y =
x 2 + 300
(1).
5 C = k y + k ( 600 x ) 4
(2).
Sustituyendo (1) en (2), la funcin costo total puede escribirse en trminos solamente de la variable x as:
C (x) = 5 k 4 x
2
+ 300
+ k ( 600 x ) ; con
0 x 600
(dominio de C
(x)).
C (x) = 5 k x 2 + 300 4
1/2
+ k ( 600 x )
(3)
Como C (x) es una funcin continua en un intervalo cerrado, C (x) alcanza un valor mximo y un valor mnimo en [0, 600]. Al derivar en (3) e igualar a cero, se obtienen los puntos crticos:
C '( x ) = 5 1 k ( 2 x ) (x 2 + 300 4 2
2
1 / 2
k = 0
5x k 4 x 2 + 300
1/2
1 = 0
y como k 0
5x 2 4 x + 300
1/2
1 = 0 5 x 4
x 2 + 300
= 0
x 2 + 300
= 5 x . De donde x = 400.
Asi que x = 400 es el nico punto crtico y de acuerdo al criterio de la segunda derivada, corresponde a un mnimo relativo (verifquelo). En consecuencia, el mnimo absoluto es el menor entre los siguientes valores: C (0), C (400) y C (600).
C (0 ) = 5 k 4 300
2
+ 600 k = 975 k
Esto significa geomtricamente, que el cable se tira desde A hasta B bajo el agua y desde B hasta D por tierra, implicando un gasto de 975 k pesos. (fig. 4.23 (a))
fig. 4.23
5 Esto indica k 600 2 + 300 2 = 375 5 k 838 . 5 k . 4 geomtricamente, que el punto Q coincide con D, y en este caso el cable se tiende directamente desde A hasta D por agua, demandando un gasto total de 375 5 k 838 . 5 k pesos.. (fig. 4.23 (b)). C ( 600 ) = 5 k 400 2 + 300 2 + 200 k = 825 k . Esto significa que si el punto Q 4 est a 400 mts. de B y se tiende el cable bajo el agua desde A hasta Q y por tierra desde Q hasta D, demandara un gasto de 825 k pesos, menor, para la compaa que los dos anteriores. (fig. 4.23 (c)). C ( 400 ) =
Ejemplo 2.
Un alambre de 100 cm. de longitud, se corta en dos partes formando con una de ellas un crculo y con la otra un cuadrado. Cmo debe ser cortado el alambre para que: a. La suma de las reas de las dos figuras sea mxima. b. La suma de las reas de las dos figuras sea mnima.
Solucin:
Supngase que el alambre se parte a una distancia x de uno de sus extremos. Si x es la longitud de la circunferencia, entonces 100 x es el permetro del cuadrado. (fig. 4.24)
x 2
100 x . 4
0 x 100
(1)
Puesto que A (x) es una funcin continua en el intervalo [0, 100], entonces, existe un valor mximo y un valor mnimo de A (x) en [0, 100]. Al derivar (1) e igualar a cero, se obtienen los puntos crticos. En efecto:
A' ( x) =
1 1 2x + 2 ( 1)(100 x ) 4 16
Adems, por el criterio de la segunda derivada, dicho valor corresponde a un mnimo relativo. Ahora, los valores mximo y mnimo de A (x) est entre los valores: A (0), A (100) y 100 A . 4+ Pero,
A(0) =
1 1 100 2 (100 0 ) 2 = 02 + 4 16 16
A (100 ) =
y de esta ltima
De esta forma, la ltima desigualdad indica que el rea mxima se obtiene para x = 100, o sea, no partiendo el alambre y formando con el una circunferencia, mientras que el rea 100 mnima se obtiene partiendo el alambre a una distancia de uno de sus extremos, 4+ 400 un y, formando con esta primera parte una circunferencia y con la parte restante 4+ cuadrado.
Ejemplo 3.
Se dispone de una cartulina cuadrada de lado a y se quiere hacer una caja sin tapa recortando cuadrados iguales en las esquinas y doblando sus lados. Cul debe ser la
longitud del lado del cuadrado que se recorta para que el volumen de la caja sea mximo? Cul es el volumen de la caja?.
Solucin:
Sea
x:
longitud del lado del cuadrado que se recorta en cada una de las esquinas (fig. a 4.25 (a)), donde 0 x . 2
fig. 4.25 Al doblar la parte de cartulina restante, se forma la caja abierta que aparece en la fig. 4.25 (b). Ahora, volumen de la caja = rea de la base x altura. Esto es,
V ( x ) = ( a 2 x ) 2 x = 4 x 3 4 ax 2 + a 2 x ;
0 x
a 2
(1).
Puesto que V (x) (funcin a maximizar) es una funcin continua en el intervalo a 0 , 2 , entonces V (x) alcanza un valor mximo y un valor mnimo en dicho intervalo. Al derivar V (x) en (1) e igualar a cero, se obtienen los puntos crticos. En efecto:
V ' ( x ) = 12 x 2 8 ax + a 2 = ( 2 x a )( 6 x a ) = 0
2 x a = 0 x = a 2 a 6 x a = 0 x = 6
puntos crticos
Para analizar la naturaleza de los puntos crticos, se usa el criterio de la segunda derivada. Asi, V ' ' ( x ) = 24 x 8 a a a V ' ' = 24 8a = 4 a > 0 , lo cual indica que 2 2 mnimo relativo. (interprete geomtricamente el resultado).
x =
a 2
corresponde a un
x =
a 6
corresponde a un
En consecuencia, el volumen mximo se obtiene recortando en las esquinas de la cartulina a cuadrados de lado y se obtiene de esta forma una caja cuyo volumen viene dado por: 6
a a 2 3 a V = a 2 = a . 6 6 27 6
2
Ejemplo 4.
Dos pasillos de 6 y 9 pies de ancho estn unidos en ngulo recto (Ver fig. 4.26). Encuentre la longitud de la barra recta mas larga que puede pasarse horizontalmente de un pasillo a otro por una esquina.
Solucin:
Supngase que la barra puede pasar horizontalmente, cuando est en la posicin como aparece en la figura adjunta.
Si (radianes) denota el ngulo que forma la barra con el pasillo menor, entonces ser el ngulo que forma con el pasillo mayor. 2 La longitud deseada es la longitud L mnima de la barra.
L = AC = AB + BC
(1).
AB AB = 9 sec 9
(2)
BC BC = 6 csc 6
(3)
(Porqu?)
(R.D. 15 y 16)
L ' ( ) =
)
3
(5)
2 = tan 3 2 3 3
0.718 (Rad.)
Ahora, el signo de L' ( ) solo depende del signo del factor
(3 tan
2 ).
Para ello, considere la grfica de la funcin tangente (fig. 4.27 (a)) y en la cual se ha sealado el valor de tan para 0.718 .
fig. 4.27
la
izquierda
de
= 0.718 ,
tan <
2 , 3
con
lo
cual,
tan 3 <
la
derecha
de
= 0.718 ,
tan >
2 , 3
con
lo
cual,
tan 3 >
Del anlisis anterior, se deduce que 0.718 (Rad.) corresponde a un mnimo relativo de L() y cuya grfica se parece a la de la fig. 4.27 (b). Esto significa que el valor mnimo absoluto de L (y por lo tanto, la longitud mxima de la varilla en cuestin) es:
L (0 . 718 ) = 9 sec (0 . 718 ) + 6 csc (0 . 718 )
Como, sec =
1 + tan =
2
2 1+ 3
2 /3
y,
csc =
1 + cot
3 1+ 2
2/3
Se tiene que:
L = 9 sec + 6 csc
= 9 3
1/ 3
(3
2/3
+ 22/3
1/ 2
1/ 2
6 2
1/ 3
(3
2/3
+ 22/3
1/ 2
= 3(3 2 / 3 + 2 2 / 3 )
= 3 32 / 3 + 2 2 / 3 = 3 32 / 3 + 2 2 / 3 problema.
2 3 31 / 3 + 2 1 / 3
2/3
(factor comn)
( (
) [3
1/ 2
+ 21 / 3
3/2
DISCRIMINANTE O HESSIANO
Para encontrar mximos, mnimos y puntos de silla en funciones de varias variables.
El presente documento expone de manera detallada el discriminante, hessiano o matriz hessiana. Inicialmente se da a conocer una breve resea histrica y biogrfica acerca del creador o inventor de las matrices hessianas. Luego se presenta un paso a paso de cmo resolver funciones de dos o ms variables, haciendo uso de la matriz hessiana. Finalmente se expone un ejercicio de aplicacin para dicha teora. aLeJo 2010
HISTORIA
El hessiano, conocido tambin como discriminante o matriz hessiana, fue introducido en el ao de 1844 por Hess, matemtico alemn quien naci en 1811 y muri en 1874. Esto sucedi luego de que Carl Gustav Jacob Jacobi (1804-1851) introdujera los jacobianos. Lo que hizo Jacobi con esto fue expresar los cambios de variable de las integrales mltiples en trminos de estos.
Respecto a los detalles biogrficos de Ludwig Otto Hess se sabe que naci precisamente en Konigsberg, Alemania
(actualmente Rusia) el 22 de abril de 1811. Estudi con Jacobi en su ciudad natal (Konigsberg), donde se desempe primero como
2
MATEMATICAS M&M 2010 http://www.alejandropinto.com/ El Mundo a Travs de Mi Filosofa By aLeJo
maestro de fsica y qumica; posteriormente como profesor. En 1856 se traslad a Heidelberg, donde permaneci doce aos, antes de tomar un puesto en Munich, donde falleci el 4 de agosto de 1874.
Ludwig Otto Hess se hizo tan famoso por una matriz que introdujo en un artculo de 1842 referido a curvas cbicas y cuadrticas.
Se aclaran notaciones que se pueden utilizar, las cuales son equivalentes al momento trabajar con derivadas parciales:
Si se tiene un ejercicio con dos variables, se obtendr una matriz hessiana 2 x 2. Si el ejercicio fuese de tres variables, la matriz hessiana sera 3 x 3, y as sucesivamente. Para el caso de dos variables, la matriz hessiana 2 x 2 se genera de la siguiente manera:
En el presente documento se utilizar la notacin que aparece en el miembro izquierdo de las ecuaciones por considerarlo ms sencillo de comprender en primera instancia.
Se muestra la matriz resultante cuando se trabaja con ejercicios o problemas de tres variables. La matriz hessiana ser de 3 x 3 de la siguiente manera:
Con el objetivo de explicar cada detalle con la mayor claridad posible, se expresa el significado de cada uno de los elementos que aparecen dentro de la matriz:
Significa que se deriva la funcin original por primera vez con respecto a x y luego ese resultado se deriva por segunda vez con respecto a x nuevamente. Significa que se deriva la funcin original por primera vez con respecto a y y luego ese resultado se deriva por segunda vez pero ahora con respecto a x. Significa que se deriva la funcin original por primera vez con respecto a z y luego ese resultado se deriva por segunda vez pero ahora con respecto a x.
5
MATEMATICAS M&M 2010 http://www.alejandropinto.com/ El Mundo a Travs de Mi Filosofa By aLeJo
Significa que se deriva la funcin original por primera vez con respecto a x y luego ese resultado se deriva por segunda vez pero ahora con respecto a y. Significa que se deriva la funcin original por primera vez con respecto a y y luego ese resultado se deriva por segunda vez con respecto a y nuevamente. Significa que se deriva la funcin original por primera vez con respecto a z y luego ese resultado se deriva por segunda vez pero ahora con respecto a y. Significa que se deriva la funcin original por primera vez con respecto a x y luego ese resultado se deriva por segunda vez pero ahora con respecto a z. Significa que se deriva la funcin original por primera vez con respecto a y y luego ese resultado se deriva por segunda vez pero ahora con respecto a z. Significa que se deriva la funcin original por primera vez con respecto a z y luego ese resultado se deriva por segunda vez con respecto a z nuevamente.
NOTA: Tome en cuenta que las siguientes se denominan derivadas mixtas o cruzadas y si existen son iguales: ,
6
Habr problemas en los cuales existen ms de tres variables, as que se formarn matrices de 4 x 4, 5 x 5, 6 x 6, etc. Para ello basndose en el siguiente esquema, el cual representa la forma general de la matriz n x n, se puede formar la respectiva matriz hessiana.
Antes de continuar se debe aclarar que para resolver problemas utilizando matrices hessianas, es necesario tener conocimiento acerca de cmo calcular determinantes para matrices cuadradas. En el presente documento se asume que el lector cuenta con la habilidad de resolver determinantes.
1. Tener la funcin original que se va a trabajar. 2. Calcular las primeras derivadas parciales de la funcin con respecto a cada una de las variables que se tiene la funcin original. 3. Igualar a cero las derivadas que se calcularon en el inciso anterior. 4. Simultanear las ecuaciones generadas en la igualacin a cero, para encontrar el valor de cada una de las variables. Dichos valores para cada una de las variables sern las coordenadas de los puntos crticos. 5. Una vez se tienen los puntos crticos se debe calcular las segundas derivadas parciales en cada uno de estos puntos, para identificar los elementos de la matriz hessiana, ya sea matriz 2 x 2 (si la funcin es de dos variables), 3 x 3 (si la funcin es de tres variables), 4 x 4 (si la funcin es de cuatro variables), n x n (si la funcin es de n variables). 6. Resolver el determinante de la matriz, el resultado que se obtenga ser la respuesta. 7. Con la respuesta se puede clasificar el punto, de acuerdo a lo siguiente:
positivo o mayor que cero entonces la funcin tiene un MNIMO LOCAL en el punto crtico. Si es negativo o
menor que cero entonces la funcin tiene un MXIMO LOCAL en el punto crtico. b) Si el determinante es menor que cero entonces se concluye que la funcin tiene un PUNTO DE SILLA en el punto crtico. c) Si el determinante es igual a cero EL CRITERIO NO ES CONCLUYENTE, por lo tanto se debe buscar otra forma de determinar el comportamiento de la funcin.
a) Si todos los determinantes de la matriz hessiana tienen signo positivo, entonces la funcin tiene un MNIMO LOCAL en el punto crtico. b) Si los determinantes tienen signo alterno (comenzando con un valor negativo), entonces la funcin tiene un MXIMO LOCAL en el punto crtico.
c) Si no se cumple lo dicho en los literales a) y b), es decir, en cualquier otro caso se concluye que EL CRITERIO NO ES CONCLUYENTE.
NOTA: En el caso de tener funciones de tres o ms variables significa que se debe empezar trabajando la matriz hessiana F(x) o de 1 x 1, luego F(x, y) o de 2 x 2, luego F(x, y, z) o de 3 x 3, hasta llegar a F(x, y, z,n) o de n x n. Para finalmente concluir que tipo de puntos contiene la funcin.
F(x, y, z) = x + y + 7z - xy
Solucin:
2. Calcular las primeras derivadas parciales de la funcin con respecto a cada una de las variables que tiene la funcin original:
10
4. Simultanear las ecuaciones anteriores para encontrar los valores de x, y e z, los cuales sern las coordenadas de los puntos crticos:
Al simultanear las ecuaciones se obtiene que los valores de x, y e z (los puntos crticos) son:
Esto significa que las coordenadas del punto crtico son P(0,0,0)
11
5. Calcular las segundas derivadas en el punto crtico para generar la matriz hessiana:
6. Resolver la matriz hessiana, tal como se resuelve la determinante de una matriz cuadrada:
La determinante de la matriz hessiana H(x, y, z) o de 3 x 3 da como resultado 42 (resultado positivo). Anteriormente se dijo que Si todos los determinantes de la matriz hessiana tienen signo positivo, entonces la funcin tiene un MNIMO LOCAL en el punto crtico Por tanto ya se conoce la conclusin o resolucin del ejercicio, que es la siguiente:
Todo esto es de gran importancia ya que as se determina una parte muy importante del comportamiento de una funcin, tal como lo es el punto de silla, los mximos y mnimos.
13
Se ha tomado el documento original realizado por Jaime Montoya, adaptndole un mejor formato y anexando algo ms de informacin.
14
BIBLIOGRAFA Instituto Balseiro. <http://ib.cnea.gov.ar/~mecanica/apuntes2003/apuntes/apun te022.pdf>. Leithold L. EL CLCULO (sptima edicin). Oxford University Press Mxico, S.A. de C.V. 1998 School of Mathematical and Computational Sciences. University of St Andrews. <http://www-groups.dcs.standrews.ac.uk/~history/PictDisplay/Hesse.html> Jr, George B. Thomas. CLCULO VARIAS VARIABLES (unddima edicin). Massachusetts Institute of Technology. Pearson Educacin de Mxico, S.A. de C.V. 2006 Universitat de Barcelona. <www.maia.ub.es/cag/docencia/analiIII.pdf>.
15
Vera Ballesteros, S. Extremos de una funcin de varias variables. <http://www.satd.uma.es/matap/svera/probres/pr3/pr3a3_1.h tml>. 2000. [Citado el 04 de julio, 2008] Weber, J. E. MATEMTICAS PARA ADMINISTRACIN Y ECONOMA (cuarta edicin). Harla, S.A. de C.V. 1984
16
Se denen puntos crticos como los puntos en los que el gradiente de la funci n se o anula. Denici n 1. Sea A Rn un conjunto abierto y f : A R una funci n con derivadas o o segundas continuas en A. El punto Po = (x0 , . . . , x0 ) es un punto crtico de f si: n 1 0 0 f (x1 ,...,xn ) = 0 x1 (1) f (x0 ,...,x0 ) 1 n =0 xn Todas las derivadas parciales de primer orden de f se anulan en P0
1.1
M ximos y mnimos a
Se puede demostrar que los m ximos y mnimos de una funci n son puntos crticos si a o se alcanzan en puntos interiores (tambin pueden ser m ximos y mnimos puntos en la a frontera, pero entonces no son necesariamente crticos). Recordemos la denici n . . . o Denici n 2. Sea A Rn un conjunto abierto y f : A R una funci n con derivadas o o parciales de segundo orden continuas en A; se dice que un punto P0 = (x0 , . . . , x0 ) n 1 es, para la funci n f : o m ximo absoluto si, para cada otro punto P = (x1 , . . . , xn ) A: a f (x0 , . . . , x0 ) f (x1 , . . . , xn ) 1 n mnimo absoluto si, para cada otro punto P = (x1 , . . . , xn ) A: f (x0 , . . . , x0 ) f (x1 , . . . , xn ) 1 n (3) (2)
m ximo relativo si existe un entorno B de P0 tal que, para cada otro punto a P = (x1 , . . . , xn ) B: f (x0 , . . . , x0 ) f (x1 , . . . , xn ) 1 n (4)
mnimo relativo si existe un entorno B de P0 tal que, para cada otro punto P = (x1 , . . . , xn ) B: f (x0 , . . . , x0 ) f (x1 , . . . , xn ) 1 n 1 (5)
silla si es siempre posible encontrar dos puntos P1 = (x1 , . . . , x1 ) y P2 = n 1 (x2 , . . . , x2 ) en un entorno B de P0 tal que: n 1 f (x1 , . . . , x1 ) f (x0 , . . . , x0 ) f (x2 , . . . , x2 ) 1 n 1 n 1 n (6)
1.2
Una manera de decidir si los puntos crticos son m ximos, mnimos o puntos silla para a una funci n est basada en el estudio de las derivadas segundas y en particular de la o a matriz hessiana1 . o Denici n 3. Sea A Rn un conjunto abierto y f : A R una funci n con derivadas o segundas continuas en A. Se dene la matriz hessiana de f , en cada punto, como la siguiente matriz n n: H(x1 , . . . , xn ) =
2 f (x1 ,...,xn ) x2 1
f (x1 ,...,xn ) x1 xn
2 f (x1 ,...,xn ) xn x1
(7)
f (x1 ,...,xn ) x2 n
2
1.3
En el caso de funciones de dos variables, el signo de los valores propios de la matriz hessiana (que es simtrica) permite decidir si un punto es un m ximo relativo, un mnimo a relativo o un punto silla. Tenemos: H(x, y) =
2 f (x,y) x2 2 f (x,y) xy 2 f (x,y) yx 2 f (x,y) y 2
(8)
Denici n 4. Sea f una funci n de dos variables denida en un conjunto abierto o o A R2 y continua con sus derivadas hasta el tercer orden. Sea un punto P0 = (x0 , y0 ) I : f (P0 ) = 0 (es decir que P0 es un punto crtico para f ), entonces tenemos: 1. si los dos valores propios de HP0 son positivos, P0 es un punto de mnimo relativo; 2. si los dos valores propios de HP0 son negativos, P0 es un punto de m ximo a relativo; 3. si uno de los valores propios de HP0 es positivo y el otro negativo, P0 es un punto silla. (En realidad, lo que acabamos de enunciar es un teorema, no una denicin).
1.4
Para el estudio de m ximos y mnimos vinculados, se aplica el m todo de los multiplia e cadores de Lagrange y se estudia el signo del determinante de la matriz hessiana del lagrangiano.
1 El
Denici n 5. Sea |HP0 | el determinante de la matriz hessiana del lagrangiano L(x, y, ) o calculado en un punto crtico P0 : 1. si |HP0 | < 0, P0 es un mnimo; 2. si |HP0 | > 0, P0 es un m ximo. a o Ejemplo 1. Identicar los puntos crticos de la funci n f (x, y) y determinar sus tipos: f (x, y) = x + y 2 bajo el vnculo non lineal representado por la funci n: o (x, y) = x2 + y 2 25 = 0 Sea el lagrangiano asociado: L(x, y, ) = f (x, y) (x, y) = x + y 2 (x2 + y 2 25) Las derivadas primeras son: L(x, y, ) = 1 2x; x L(x, y, ) = 2y 2y; y L(x, y, ) = x2 y 2 + 25
Los puntos crticos de L(x, y, ) son las soluciones del sistema siguiente: L(x,y,) = 0 =0 1 2x x L(x,y,) 2y 2y =0 =0 y 2 L(x,y,) x + y 2 25 = 0 =0
(9)
1 2x 2y(1 ) 2 x + y 2 25
=0 2x y=0 o =0 2 =0 x + y 2 25
=1 =1 =0
(10)
(11)
x 2 y
1 = 2 x =1 2 y = 25 x2
= 1/2 =1 = 1001 = 4
99 4
x y
= 1/2 =1 = 3 211
11 2 , 1)
(12)
Las segundas derivadas del lagrangiano son: 2 f (x, y) = 2 x2 2 f (x, y) = 2(1 ) y 2 2 f (x, y) =0 2 el determinante hessiano vale: 2 0 2x 0 2x 2(1 ) 2y = 8 ( 1)x2 + y 2 2y 0 (13) 2 f (x, y) =0 xy 2 f (x, y) =0 yx 2 f (x, y) = 2x x 2 f (x, y) = 2x x 2 f (x, y) = 2y y 2 f (x, y) = 2y y
BIOGRAFA PAPPUS
Pappus es el autor de la Coleccin Matemtica, en la que se presenta un panorama histrico de la matemtica clsica y se comentan los trabajos de Euclides, Arqumedes, Apolonio, Ptolomeo y otros, a la vez que se incluyen algunas demostraciones alternativas y nuevas proposiciones geomtricas de gran importancia. A esta obra, en ocho libros, se la suele considerar como el ltimo de los grandes tratados. Gracias a ella han llegado hasta nosotros documentos que de otra forma habran sido ignorados. Posteriormente, durante mil aos ms, se siguieron escribiendo obras en griego, si bien no alcanzaron la altura de la Coleccin. Durante el siglo XVI fue traducida y publicada en Italia y ejerci gran influencia entre los matemticos de la poca. En cuanto a la vida de Pappus, sabemos que vivi en Alejandra a finales del siglo III y principios del IV1. Fue contemporneo de Then de Alejandra, al que, junto con Proclo, tambin se incluye dentro del grupo de los llamados comentaristas. Then, por cierto, era el padre de la primera matemtica griega conocida de la historia: Hypatia, personaje relevante, vctima de la intolerancia religiosa surgida en una poca en la que la nueva civilizacin cristiana consegua imponerse a la vieja civilizacin grecorromana. Por aquel entonces, Alejandra contaba con una poblacin de 300 000 personas y recoga enormes riquezas provenientes del comercio con Arabia, India y frica Ecuatorial. Sin embargo, los tesoros cientficos que albergaban los templos y bibliotecas de la ciudad fueron poco a poco destruidos y, lo poco que quedaba, fue quemado por los musulmanes al conquistar Egipto en el siglo VII. La coleccin rescata y ampla una serie de problemas clsicos: la triseccin del ngulo, las cnicas, el estudio de las medias aritmtica, geomtrica y armnica; da tambin una generalizacin del teorema de Pitgoras y, comentando lo que en la antigedad era conocido como el Tesoro del Anlisis, Pappus se refiere a l como un mtodo que consiste en considerar como conocido aquello que se busca y obtener las consecuencias de ello hasta llegar a algo que se admite ya como un resultado de sntesis. En el libro VII aparece un precedente del clculo integral, conocido bajo el nombre de teorema de Guldin por el matemtico suizo del siglo XVII que lo redescubri, que dice que si se hace girar una curva cerrada y plana alrededor de una recta que no la corta y situada en su mismo plano, entonces el volumen del slido engendrado se obtiene multiplicando el rea encerrada por la curva, por la longitud de la circunferencia que describe el centro de gravedad de esta rea en un giro completo. En el libro V de la Coleccin, dedicado a estudiar las figuras geomtricas con el mismo permetro, Pappus escribe un interesante texto no exento de cierto estilo literario, en el que glosa la habilidad matemtica de las abejas al construir las celdillas de sus panales de miel*.
(*) Al final de un largo prrafo dedicado a las figuras isoperimtricas y a la eleccin, por parte de las abejas, del hexgono, Pappus concluye: Las abejas conocen solamente lo que les es til, o sea que el hexgono es mayor que el cuadrado y que el tringulo, y que con una misma cantidad de materia gastada para la construccin de cada figura, el hexgono podr contener ms miel. Pero, en cuanto a nosotros, que pretendemos poseer una parte mayor que las abejas en la sabidura, investigaremos algo ms amplio, a saber, que de todas las figuras planas equilteras y equingulas de idntico permetro, la que tiene un nmero mayor de ngulos es siempre mayor, y la mayor de todas es el crculo que tiene su mismo permetro.
Unidad 5. Vectores