Professional Documents
Culture Documents
DIFERENCIAL E INTEGRAL
R ESUMEN
DE RESULTADOS BSICOS
Licencia. Este texto se distribuye bajo una licencia Creative Commons en virtud de la cual se permite:
Copiar, distribuir y comunicar pblicamente la obra.
Hacer obras derivadas.
Bajo las condiciones siguientes:
Reconocimiento. Debe reconocer los crditos de la obra de la manera especificada por el autor o
el licenciador (pero no de una manera que sugiera que tiene su apoyo o apoyan el uso que hace
de su obra).
BY:
Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera una obra derivada,
slo puede distribuir la obra generada bajo una licencia idntica a sta.
C
Universidad de Granada
Dpto. de Anlisis Matemtico
Indice general
1. Clculo diferencial en Rn
Rn
. . . . . . . . . . . . . . . . . . . . . .
1.2.1. Curvas en
Rn
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ndice general
III
42
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.2. Integrales dobles y triples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2.1. Interpretaciones de las integrales dobles y triples . . . . . . . . . . . . 45
2.3. Clculo de integrales dobles y triples . . . . . . . . . . . . . . . . . . . . . . . 46
2.3.1. Integrales iteradas. Teorema de Fubini elemental . . . . . . . . . . . . 46
2.3.2. Teorema del cambio de variables . . . . . . . . . . . . . . . . . . . . . 52
2.3.2.1.
Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . 53
2.3.2.2.
Coordenadas esfricas . . . . . . . . . . . . . . . . . . . . . 55
2.3.2.3.
55
Universidad de Granada
Dpto. de Anlisis Matemtico
Captulo
Calculo
diferencial en Rn
n
X
kD1
xk yk D x1 y1 C x2 y2 C C xn yn
Este producto escalar se llama producto escalar eucldeo. Observa que el producto escalar
de dos vectores no es un vector sino un nmero real. La notacin x.y es frecuentemente usada
en los libros de Fsica para representar el producto escalar de los vectores x e y.
1.2 Proposicin (Propiedades del producto escalar). Las siguientes propiedades del producto
escalar se deducen fcilmente de la definicin:
kxk D
hx j xi D
n
X
xk2
kD1
y j x
yi D 2 kyk2
2 hx j yi C kxk2
(1.1)
siempre es mayor o igual que 0, por tanto, su discriminante ha de ser menor o igual que 0, esto
es:
4 .hx j yi/2 4 kxk2 kyk2 6 0 jhx j yij 6 kxk kyk :
Deducimos tambin que la igualdad jhx j yij D kxk kyk equivale a que el trinomio (1.1) tenga
una raz real doble, es decir, que para algn 2 R se verifique que hx y j x yi D 0, esto
es, x D y.
2
1.5 Corolario (Desigualdad triangular). Para todos x; y 2 Rn se verifica que
kx C yk 6 kxk C kyk :
Adems, supuesto que x e y no son nulos, la igualdad kx C yk D kxk C kyk equivale a que
hay un nmero > 0 tal que xD y (es decir, los vectores x e y estn en una misma semirrecta
que pasa por el origen).
Demostracin. Una estrategia para probar desigualdades entre normas eucldeas es elevar al
cuadrado. Tenemos que:
2
kx C yk 6 kxk C kyk kx C yk2 6 kxk C kyk :
Usando la desigualdad de CauchySchwarz obtenemos que:
Ejercicios propuestos
1.6 Definicin. Se dice que los vectores x e y son ortogonales, y escribimos x ? y, cuando
su producto escalar es cero. Se dice que un vector x es ortogonal a un conjunto de vectores
E Rn cuando x es ortogonal a todo vector en E. Un conjunto de vectores no nulos que
son mutuamente ortogonales se dice que es un conjunto ortogonal de vectores; si, adems,
los vectores tienen todos norma 1 se dice que es un conjunto ortonormal de vectores. Una
base vectorial que tambin es un conjunto ortogonal (ortonormal) se llama una base ortogonal
(ortonormal).
1. Teorema de Pitgoras. Prueba que los vectores x e y son ortogonales si, y solo si,
kx C yk2 D kxk2 C kyk2 .
1.7 Definiciones. Dados x 2 Rn y r > 0, definimos:
yk 6 r :
Es fcil comprobar que los conjuntos de la forma B.x; r / son conjuntos abiertos. El conjunto B.x; r / se llama bola abierta de centro x y radio r .
Un conjunto F Rn se dice que es un conjunto cerrado si su complemento Rn n F es un
conjunto abierto.
Es fcil comprobar que B.x; r / es un conjunto cerrado. Se llama bola cerrada de centro
x y radio r .
Se dice que un conjunto E Rn es acotado cuando hay un nmero M > 0 tal que
kxk 6 M para todo x 2 E.
Se dice que un conjunto K Rn es compacto cuando es cerrado y acotado.
Ejercicios propuestos
2 ..x; y; z// D y;
3 ..x; y; z// D z
P .x1 ; x2 ; : : : ; xn /
Q.x1 ; x2 ; : : : ; xn /
q
2
2
y Cz
Universidad de Granada
Dpto. de Anlisis Matemtico
Curvas en Rn
1.2.1. Curvas en Rn
Una curva en Rn es una aplicacin continua
W a; b ! Rn . El punto
.a/ se llama origen
y el punto
.b/ extremo de la curva. Naturalmente, como
.t/ es un vector de Rn podremos
expresarlo por medio de sus componentes en la base cannica que sern funciones de t.
.t/ D .
1 .t/;
2 .t/; : : : ;
n .t//
Las funciones
k .t/ se llaman funciones componentes de
. Se dice que
es derivable en un
punto t cuando todas sus funciones componentes son derivables en dicho punto, en cuyo la
derivada de
en t es, por definicin, el vector
0 .t/ D .
10 .t/;
20 .t/; : : : ;
n0 .t//
Dado un punto aD
.t0/ tal que
0 .t0 /0, se define la recta tangente a
en el punto a (aunque
es ms apropiado decir en el punto t0 ) como la recta de ecuacin paramtrica a C t
0 .t0 /, es
decir, la recta que pasa por a con vector de direccin
0 .t0 /.
Cuando se interpreta
.t/ como la funcin de trayectoria de un mvil, entonces su velocidad en un instante t es el vector
0 .t/ y su rapidez es k
0 .t/k. La distancia que recorre dicho
mvil entre dos instantes t D a y t D b viene dada por
wb
a
k 0 .t/k dt :
1.13 Definicin. Un conjunto abierto Rn con la propiedad de que cualesquiera dos de sus
puntos pueden unirse por una curva que queda dentro de se llama un dominio.
Intuitivamente, un dominio es un conjunto abierto de un solo trozo. Los dominios desempean en Rn un papel similar al de los intervalos en R.
f .a/
a
cualquier curva que pase por dicho punto. Surge as una primera idea que consiste en acercarse
a un punto dado a travs de una recta dada. Esta situacin es parecida a lo que conocemos para
funciones reales de una variable.
1.14 Definicin. Una direccin en Rn es un vector de norma 1.
Dados un punto a 2 Rn y una direccin u, la recta que pasa por a con direccin u es la
imagen de la aplicacin
W Rn ! R dada por
.t/ D a C tu, es decir, es el conjunto de puntos
fa C tu W t 2 Rg.
1.15 Definicin. Sea f un campo escalar definido en un conjunto abierto E Rn , sea a 2 E
y u una direccin. Se define la derivada de f en a en la direccin u como el lmite:
f .a C t u/
t !0
t
Du f .a/ D lKm
f .a/
(1.4)
Dek f .a/ D
lKm
(1.5)
(1.6)
@f
.a/.
@xk
1.16 Observaciones. Observa que las derivadas que acabamos de definir son derivadas de
funciones reales de una variable real pues, para calcular la derivada de un campo escalar f en
un punto a en la direccin u lo que se hace es derivar en t D 0 la funcin t 7! f .a C t u/ que
es una funcin real de una variable real.
Observa que la ltima igualdad de (1.5) nos dice que, para calcular la derivada parcial
Dk f .a/, lo que se hace es derivar f respecto a la variable k-sima considerando fijas las
dems variables. Por eso se llaman derivadas parciales.
Universidad de Granada
Dpto. de Anlisis Matemtico
lKm
f .a; b/
f .x; b/
x!a
x
f .a; b/
f .a; y/
D lKm
y
y!b
D lKm
f .a; b/
a
f .a; b/
b
Es decir, lo que hacemos es derivar las funciones parciales x 7! f .x; b/ y y 7! f .a; y/ en los
puntos x D a e y D b respectivamente.
La grfica de f , es decir, el conjunto S D f.x; y; f .x; y// W .x; y/ 2 Eg es una superficie
en R3 . Las funciones
1 .x/ D .x; b; f .x; b//;
son curvas contenidas en dicha superficie que pasan por el punto .a; b/. Dichas curvas se obtienen cortando la superficie S por los planos y D b y x D a respectivamente. Los vectores
tangentes a dichas curvas en los puntos
1 .a/ y
2 .b/ son, respectivamente
1 0 .a/ D .1; 0; D1 f .a; b//;
En la figura (1.1) se ha representado la grfica de f y las curvas obtenidas cortndola por los
planos x D a e y D b junto a sus vectores tangentes en el punto .a; b/
Cuando un campo escalar f tiene derivadas parciales en todos los puntos de un conjunto
E Rn , podemos definir las funciones derivadas parciales de f , Dk f W E ! R que a cada
punto x 2 E hace corresponder el nmero Dk f .x/. Dichas funciones son tambin campos
escalares.
1.17 Definicin. Sea f un campo escalar. Se define el vector gradiente de f en un punto a
como el vector
rf .a/ D D1 f .a/; D2 f .a/; : : : ; Dn f .a/
supuesto, claro est, que dichas derivadas parciales existan.
f .a/
f .x/
D f 0 .a/ lKm
x!a
a
Universidad de Granada
Dpto. de Anlisis Matemtico
f .a/
x
f 0 .a/.x
a
a/
D0
a/ es la recta tangente a
a/;
ai
f .x/
x!a
Definamos
ai
D0
(1.7)
f .x/
ai C R.x; a/ kx
ak
donde
lKm R.x; a/ D 0
(1.8)
x!a
Du f .a/ D lKm
Universidad de Granada
Dpto. de Anlisis Matemtico
f .a/
jtj
D hrf .a/ j ui :
t
10
1.21 Corolario. Sea f un campo escalar diferenciable en un punto a con vector gradiente no
nulo en a.
a) La direccin en la que la derivada direccional de f en a es mxima es la direccin dada
rf .a/
por el gradiente, es decir, la direccin u D
.
krf .a/k
rf .a/
obtenemos que:
krf .a/k
rf .a/
1
D
hrf .a/ j rf .a/i D krf .a/k
Du f .a/ D rf .a/
krf .a/k
krf .a/k
Tomando u D
rf .a/
obtenemos que:
krf .a/k
Dv f .a/ D
krf .a/k
El resultado anterior nos dice que el vector gradiente en un punto seala la direccin
en la que el campo tiene mximo crecimiento en dicho punto. Mientras que en la direccin
opuesta a la del vector gradiente en un punto el campo tiene mximo decrecimiento.
1.22 Proposicin. Sean f un campo escalar definido en un conjunto E Rn y
una curva en
Rn que toma valores en el conjunto E. Supongamos que
es derivable en un punto t0 y que f
es diferenciable en el punto a D
.t0 / 2 E. Entonces se verifica que la funcin h.t/ D f .
.t//
es derivable en t0 y su derivada viene dada por
h 0 .t
0/
D hrf .a/ j
0 .t
0 /i D
n
X
Dk f .a/ k0 .t0 /
(1.9)
kD1
h.t0 / D f . .t//
Dividiendo por t
.t0 /k
.t0 /
k
.t/
C R.
.t/;
.t0 //
t0
t
.t0 /k
t0
t0 tenemos
.t/
f .
.t0 //
D rf .a/
t0
t
Universidad de Granada
Dpto. de Anlisis Matemtico
t !t0
.t/
t
lKm
t !t0
11
.t0 /
D
0 .t0 / se deduce que
t0
h.t/
t
h.t0 /
D hrf .a/ j
0 .t0 /i
t0
Que un campo escalar tenga derivadas parciales en un punto es una propiedad muy dbil.
xy
Por ejemplo, el campo escalar f .x; y/ D 2
; f .0; 0/ D 0 tiene derivadas parciales nulas
x C y2
en .0; 0/ pero no es continuo en dicho punto. La propiedad de ser diferenciable es mucho
ms fuerte que tener derivadas parciales. Por ejemplo, es fcil probar que un campo escalar
diferenciable en un punto es continuo en dicho punto. El siguiente resultado proporciona
una condicin suficiente de diferenciabilidad muy til.
1.23 Teorema (Condicin suficiente de diferenciabilidad). Un campo escalar que tiene derivadas parciales continuas en un conjunto abierto es diferenciable en todo punto de dicho
conjunto.
En la prctica suele suponerse que los campos escalares tienen derivadas parciales continuas. Esta hiptesis garantiza que son diferenciables y es suficiente para justificar la mayora
de los resultados que siguen.
Es sabido que una funcin derivable en un intervalo con derivada nula es constante. Para
campos escalares hay un resultado anlogo. Observa la hiptesis de que el campo est definido
en un dominio.
1.24 Proposicin. Un campo escalar definido en un dominio con derivadas parciales nulas en
todo punto del mismo es constante.
En la siguiente seccin te digo cmo calcular rectas y planos tangentes a curvas y superficies considerando las distintas formas en que stas pueden venir dadas. Mi propsito es
esencialmente prctico, a saber, que entiendas la forma de proceder en cada caso; por lo que no
me preocupo de justificar con detalle todo lo que digo.
Superficies en R3
12
c) De forma implcita como el conjunto de puntos g.x; y/ D 0 donde se anula una funcin
diferenciable de dos variables.
n
o
D .x; y/ 2 R2 W g.x; y/ D 0
y) y tambin es
a; y
b/i D 0:
Se supone que rg.a; b/ 0 pues en otro caso, la tangente en .a; b/ no est definida. El
vector gradiente rg.a; b/ es ortogonal a en el punto .a; b/. Merece la pena destacar la
siguiente propiedad.
El vector gradiente rg.x; y/ de un campo escalar es ortogonal en todo punto
.x; y/ (en el que rg.x; y/ 0) a la curva de nivel que pasa por dicho punto.
1.4.2. Superficies en R3
Una superficie S en el espacio R3 puede venir dada de tres formas:
a) Como la grfica de una funcin y D f .x; y/ donde .x; y/ 2 A siendo A un conjunto de R2 .
S D f.x; y; f .x; y// W .x; y/ 2 Ag
b) Por medio de ecuaciones paramtricas
.s; t/ D .x.s; t/; y.s; t/; z.s; t// donde .s; t/ 2 A
R2 .
S D
.A/ D f.x.s; t/; y.s; t/; z.s; t// W .s; t/ 2 Ag
Universidad de Granada
Dpto. de Anlisis Matemtico
Superficies en R3
13
c) De forma implcita como el conjunto de puntos g.x; y; z/ D 0 donde se anula una funcin
diferenciable de tres variables.
n
o
S D .x; y; z/ 2 R3 W g.x; y; z/ D 0
Observa que a) es un caso particular de c) (basta considerar g.x; y; z/Df .x; y/ z) y tambin
es un caso particular de b) (basta considerar
.s; t/ D .s; t; f .s; t//). El plano tangente en un
punto de S viene dada en cada caso como sigue.
a0 ) El plano tangente en un punto .a; b; c/ D .a; b; f .a; b// 2 S es el plano de ecuacin cartesiana
@f
@f
z f .a; b/ D
.a; b/.x a/ C
.a; b/.y b/
@x
@y
@f
@f
Los vectores 1; 0;
.a; b/ y 0; 1;
.a; b/ son tangentes a S en .a; b; c/ y el vector
@x
@y
@f
@f
.a; b/;
.a; b/; 1
@x
@y
es ortogonal a S en el punto .a; b; c/.
b0 ) El plano tangente en un punto
.s0 ; t0 / D .a; b; c/ 2 S es el plano de ecuaciones paramtricas
@
@
.x; y; z/ D
.s0 ; t0 / C s .s0 ; t0 / C t .s0 ; t0 /
@s
@t
Donde
@
@x
@y
@z
.s0 ; t0 / D
.s0 ; t0 /; .s0 ; t0 /; .s0 ; t0 /
@s
@s
@s
@s
y
@
@x
@y
@z
.s0 ; t0 / D
.s0 ; t0 /; .s0 ; t0 /; .s0 ; t0 /
@t
@t
@t
@t
Dichos vectores son tangentes a S en .a; b; c/.
c0 ) El plano tangente en un punto .a; b; c/ 2 S es el plano de ecuacin implcita
rg.a; b; c/ .x a; y b; z c/ D 0
Se supone que rg.a; b; c/ 0 pues en otro caso, el plano tangente a S en .a; b; c/ no est
definido. El vector gradiente rg.a; b; c/ es ortogonal a S en el punto .a; b; c/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Curvas en R3
14
1.4.3. Curvas en R3
Una curva en el espacio puede venir dada de dos formas.
a) Como interseccin de dos superficies S1 y S2 .
b) Por medio de ecuaciones paramtricas
.t/ D .x.t/; y.t/; z.t// donde t 2 I R e I es un
intervalo.
D
.I / D f.x.t/; y.t/; z.t// W t 2 I g
La tangente en un punto de viene dada en cada caso como sigue.
a0 ) La tangente en un punto .a; b; c/ 2 es la recta interseccin de los planos tangentes a S1 y
a S2 en .a; b; c/. Por ejemplo, si las superficies vienen dadas por sus ecuaciones implcitas.
n
o
S1 D .x; y; z/ 2 R3 W f .x; y; z/ D 0
3
D
.x;
y;
z/
2
R
W
g.x;
y;
z/
D
f
.x;
y;
z/
D
0
S2 D .x; y; z/ 2 R3 W g.x; y; z/ D 0
Entonces, las ecuaciones implcitas de la recta tangente son
(
rf .a; b; c/ .x a; y b; z c/ D 0
rg.a; b; c/ .x a; y b; z c/ D 0
Donde se supone que los vectores gradiente rf .a; b; c/; rg.a; b; c/ son linealmente independientes pues, en otro caso, la recta tangente a la curva en .a; b; c/ no est definida.
b0 ) La tangente en un punto
.t0 / D .a; b; c/ 2 es la recta de ecuaciones paramtricas
.x; y; z/ D
.t0 / C t
0 .t0 / D .a; b; c/ C t.x 0 .t0 /; y 0 .t0 /; z 0 .t0 //
El vector
0 .t0 / D .x 0 .t0 /; y 0 .t0 /; z 0 .t0 // es tangente a en .a; b; c/.
De forma anloga se definen las derivadas parciales de tercer orden de f como las derivadas
parciales de las derivadas parciales de segundo orden de f y se representan por
Dj km f .x/;
@3 f
.x/I
@xj @xk @xm
@3 f
@3 f
@xk
@xk2 @xj
.x/I
3
.x/
Es natural preguntarse si el orden en que se realizan las derivadas debe ser o no tenido en
cuenta. Afortunadamente, en la mayora de los casos podemos olvidarlo porque se verifica el
siguiente resultado.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
15
Como para calcular derivadas parciales de una funcin de varias variables se consideran
fijas todas las variables menos aquella respecto a la que se deriva, calcular derivadas parciales es lo mismo que derivar funciones de una variable. Solamente debes tener cuidado
para darte cuenta qu tipo de funcin es la que tienes que derivar porque ello puede depender de la variable respecto de la que derivas. Por ejemplo, la funcin f .x; y/ D x y
cuando fijas y (para derivar respecto a x) es una funcin potencia (la variable est en la
base y el exponente est fijo) y cuando fijas x (para derivar respecto a y) es una funcin
exponencial (la variable est en el exponente y la base est fija).
Te recuerdo que es muy frecuente, sobre todo en libros de Fsica e ingenieras diversas, representar las funciones por letras. As, lo que los matemticos solemos escribir
f .x; y/ D cos.xy/ C xy 2 , para indicar que f es una funcin de dos variables x e y cuyo
valor en el punto .x; y/ viene dado por cos.xy/Cxy 2 , suele expresarse de forma menos
precisa en la forma z D cos.xy/ C xy 2 , cuyo significado es exactamente el mismo que
el anterior cambiando f por z. Naturalmente, en vez de z puede usarse cualquier otro
smbolo que sea distinto de x e y. Tienes que acostumbrarte a esta notacin y entender
cundo una letra representa una variable y cundo representa una funcin.
10. Calcula las derivadas parciales de primer orden de los campos escalares:
a/ f .x; y/Dx 2 yCz 2 xCy sen.xz/;
b/ zD.x 2 Cy 3 / e
xy
c/ wDx ez Cz ey Cxyz
11. Calcula las derivadas parciales de primer y segundo orden del campo escalar:
f .x; y; z/ D
xy
:
1 C y2 C z2
12. Calcula las derivadas parciales de primer y segundo orden de los campos escalares:
a/ z D sen cos exy
; b/ w D log 4 C arc tg.x=y/ ; c/ u D tg .xy/z ; d / v D arc tg z xy
Si a y b son puntos de Rn la direccin del punto a hacia el punto b viene dada por el
b a
vector
.
kb ak
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
16
p
13. Calcula la derivada direccional de f .x; y/ D log.1 C x 2 C y 2 / en el punto .1; 2/ en
la direccin hacia el origen.
xy
14. Calcula la derivada direccional de z.x; y/ D arc tg
en el punto .1; 1/ en la
x2 C y2
direccin hacia el punto .2; 1/.
15. Calcula valores de a, b y c para que la derivada direccional de la funcin
f .x; y; z/ D axy 2 C byz C cz 2 x 3
en el punto .1; 2; 1/ tenga un valor mximo igual a 64 en la direccin del eje OZ.
16. Calcula la ecuacin de la recta tangente y de la recta normal a la elipse de ecuacin
x2
y2
C
D1
a2
b2
en un punto .u; v/ de la misma.
17. Considera la curva dada por las ecuaciones paramtricas x.t/Det C cos t, y.t/De
Calcula la ecuacin de la recta tangente en el punto .x.0/; y.0//.
C sen t.
17. Calcula, para los siguientes campos escalares, el vector normal en P0 a la curva de nivel
que pasa por dicho punto.
!
y
1. f .x; y/ D arc tg p
P0 D .1; 1/.
1 C x2 C y2
sen.x C y/
2. f .x; y/ D
P0 D .=2; =4/.
2 C cos.x y/
x y
en el punto . 1; 1/ en la direccin
1 C log.1 C x 2 y 2 /
dada por el vector ortogonal (de norma 1) en el punto .1; 1/ a la curva de nivel del campo
f .x; y/ D x y 3 C x 3 y que pasa por dicho punto.
19. Calcula las ecuaciones del plano tangente y de la recta normal a cada una de las siguientes
superficies en el punto Po indicado.
z2
2x 2
z
x2 C y2 C z3
2y 2
log.x C y / D 0;
2x C 4y C 3z C 1 D 0;
x2
4
z.xy
z
12 D 0;
z C e C2x C 2y
1/
x
4z 2 D y;
.x C y/ D 0;
y
3 D 0;
Po .1; 1; 4/I
Po .1; 0; 0/
Po .3; 4; 3/I
Po .0; 0; 1/
Po .1; 2; 3/I
p
Po .1; 1 C e; 1/
20. Halla la ecuacin de la tangente a la curva dada como interseccin del elipsoide x 2 C
4y 2 C 2z 2 D 27 y el hiperboloide x 2 C y 2 2z 2 D 11 en el punto .3; 2; 1/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos relativos
17
21. Calcula la ecuacin de la recta tangente a la curva definida por la interseccin de las
superficies z D x y, x 2 C y 2 2z D 4 en el punto .3; 1; 3/. Comprueba el resultado
expresando la curva por sus ecuaciones paramtricas.
22. Calcula la ecuacin de la recta tangente a la curva definida por la interseccin de las
superficies 4xz D .x C z/y, 3z 2 C y D 5x en el punto .1; 2; 1/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos relativos
18
n
X
kD1
n
n
1XX
Dk f .a/xk C
Dj k f .a/xk xj C kxk2 '.x/
2
(1.10)
j D1 kD1
1.31 Definicin. Sea f un campo escalar de n variables que tiene derivadas parciales de segundo orden continuas en un punto a. La matriz n n
H .f; a/ D Dij f .a/ 16i;j 6n
se llama matriz hessiana de f en a.
Observa que la matriz hessiana es simtrica porque Dij f .a/ D Dj i f .a/. En consecuencia,
dicha matriz define una forma cuadrtica, que representaremos por Q.f; a/, que viene dada
para todo x D .x1 ; x2 ; : : : ; xn / 2 Rn por
Q.f; a/.x/ D x.H .f; a/.xt D
n X
n
X
Dj ;k f .a/xk xj
j D1 kD1
donde el punto . indica producto matricial y xt es el vector columna x. Con esta notacin
podemos escribir la igualdad (1.10) en la forma
1
f .a C x/ D f .a/ C hrf .a/ j xi C Q.f; a/.x/ C kxk2 '.x/ donde
2
x!0
lKm '.x/ D 0
(1.12)
x!0
f .a/
2
kxk
1
2 kxk2
lKm '.x/ D 0
x!0
Teniendo en cuenta que las formas cuadrticas son polinomios homogneos de grado 2, es
1
1
decir, Q.f; a/.x/ D 2 Q.f; a/.x/, se tiene que
Q.f; a/.x/ D Q.f; a/.x= kxk/.
2
2
2 kxk
Resulta as la igualdad
f .a C x/
f .a/
2
kxk
1
D Q.f; a/.x= kxk/ C '.x/ donde
2
Universidad de Granada
Dpto. de Anlisis Matemtico
Pn
i;j D1 ij xi xj
x 2 Rn con x 0.
lKm '.x/ D 0
(1.13)
x!0
se llama:
Extremos relativos
19
No definida o indefinida si hay vectores x para los que Q.x/ > 0 y hay vectores y para
los que Q.y/ < 0.
1.33 Teorema. Sea f un campo escalar definido en un conjunto E Rn y supongamos que f
tiene derivadas parciales de segundo orden continuas en un punto a interior de E que adems
es un punto crtico de f . Sea Q.f; a/ la forma cuadrtica asociada a la matriz hessiana de f
en a.
n X
n
X
Q.f; a/.x/ D x.H .f; a/.xt D
Dj ;k f .a/xk xj
j D1 kD1
a) Supongamos que Q.f; a/ es definida positiva. Entonces se tiene que m > 0. y, por la igualdad (1.13), tenemos que
f .a C x/
f .a/
2
kxk
m
1
D Q.f; a/.x= kxk/ C '.x/ > C '.x/
2
2
donde
lKm '.x/ D 0
x!0
La condicin lKm '.x/ D 0 garantiza la existencia de un nmero s > 0 tal que j'.x/j < m=4
x!0
siempre que 0 < kxk < s. En consecuencia, si en la desigualdad anterior suponemos que
0 < kxk < s, se tiene
f .a C x/
f .a/
2
kxk
>
m
m
C '.x/ >
2
2
m m
D
>0
4
4
Deducimos que f .a C x/ f .a/ > 0 para todo x con 0 < kxk < s. O, lo que es igual,
f .z/ f .a/ > 0 para todo z tal que 0 < kz ak < s. Lo que prueba que f tiene en a un
mnimo relativo estricto.
Los dems puntos se prueban de forma parecida.
Para poder usar el resultado anterior hay que saber clasificar una forma cuadrtica. Hay
varios procedimientos sencillos para ello. Los dos que siguen a continuacin son los que me
parecen ms cmodos.
Universidad de Granada
Dpto. de Anlisis Matemtico
20
16i;j 6n
n
X
aij x i x j
(1.14)
i;j D1
la forma cuadrtica definida por A. Los valores propios de A son las races del polinomio
caracterstico p./, que se define como el determinante de la matriz A I :
p./ D A I
Es sabido que, en la situacin que estamos considerando, las races de dicho polinomio son
todas reales.
Sean j .1 6 j 6 n/ los valores propios de A. Se demuestra que hay una base ortonormal
B D fu1 ; u2 ; : : : ; un g en Rn tal que para todo vector x 2 Rn se tiene que
QA .x/ D
n
X
j xj2
j D1
donde .x1 ; x2 ; : : : ; xn / son los coordenadas del vector x en la base B. De aqu se siguen los
siguientes criterios.
La forma cuadrtica QA es definida positiva si, y slo si, todos los valores propios de A
son positivos.
La forma cuadrtica QA es definida negativa si, y slo si, todos los valores propios de A
son negativos.
La cuadrtica QA es no definida si, y slo si, A tiene valores propios positivos y negativos.
Para aplicar estos criterios no es preciso calcular los valores propios de A sino solamente
saber cuntos de ellos son positivos, negativos o nulos. Afortunadamente, hay un criterio que
nos proporciona esta informacin sin ms que observar los coeficientes del polinomio caracterstico.
1.34 Proposicin (Regla de los signos de Descartes). Sea f .x/ D an x n C an 1 x n 1 C C
a1 x C a0 un polinomio con coeficientes reales y cuyas races son todas nmeros reales. Se
verifica entonces que:
a) El nmero de races positivas de f (contando multiplicidades) es igual al nmero de
cambios de signo en la sucesin .an ; an 1 ; : : : ; a1 ; a0 / de los coeficientes de f .
b) El nmero de races negativas de f (contando multiplicidades) es igual al nmero de
cambios de signo en la sucesin .. 1/n an ; . 1/n 1 an 1 ; : : : ; a1 ; a0 / de los coeficientes de
f . x/.
Para contar los cambios de signo en la sucesin de coeficientes se saltan los coeficientes
nulos. Por ejemplo, si f .x/ D 2x 6 C x 5 x 3 C x 2 5, la sucesin de coeficientes de f es
.2; 1; 0; 1; 1; 0; 5/ cuyo nmero de cambios de signo es 3.
Universidad de Granada
Dpto. de Anlisis Matemtico
21
Otro criterio para estudiar el carcter de la forma cuadrtica (1.14) se basa en la sucesin
de signos de los menores
Si los determinantes principales son todos distintos de cero y van alternando signo
siendo el primero de ellos negativo, la forma cuadrtica es definida negativa.
Si los determinantes principales son nulos a partir de uno de ellos en adelante y los
no nulos son positivos o van alternando signo siendo el primero de ellos negativo, no puede
afirmarse nada.
@2 f
.a; b/ > 0 entonces f tiene en .a; b/ un mnimo relativo
@x 2
@2 f
.a; b/ < 0 entonces f tiene en .a; b/ un mximo relativo
@x 2
Si detH .f; .a; b// < 0 entonces f no tiene extremo relativo en .a; b/. Se dice que .a; b/
es un punto de silla de f .
Cuando detH .f; .a; b// D 0 el conocimiento de la matriz hessiana no permite decidir
si hay o no hay extremo relativo en .a; b/. Cuando esto sucede puede ser interesante
estudiar el comportamiento de las curvas f .a; t C b/ y f .a C t; b/. Si alguna de dichas
curvas no tiene extremo relativo o tienen extremos relativos de distinta naturaleza en
t D 0, podemos concluir que en .a; b/ no hay extremo relativo de f .
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
22
x2y 2
3x 2 C 3y 2 I
f .x; y/ D x 2
8x C y
I
xy
f .x; y/ D x 3 C 4xy
2y 2 C 1I
f .x; y/ D 2x 2 C y 2 C 8x
f .x; y/ D cos.x/ cos.y/
f .x; y/ D x 2 y 2
f .x; y/ D 2x C y C x C xy C y I
f .x; y/ D x log y
f .x; y/ D xy.1
f .x; y; z/ D xy C xz C yzI
y 2I
4x 2
y 5I
6y C 20I
2y 2 I
f .x; y/ D 4x 3 C 6x 2 y C 3y 4
y/I
f .x; y; z/ D x 2 C y 2 C 3z 2 C yz C 2xz
x2
f .x; y/ D 2x 4 C y 4
x
x
2xy 2 C y 4
xyI
f .x; y; z/ D .x 2 C z 2 / ex.y
2
f .x; y; z/ D .x C z / e
2 Cz 2 C1/
4y 3
x.y 2 Cz 2 C1/
24. Trazar un plano que pase por el punto .1; 2; 3/ y que forme con los ejes coordenados un
tetraedro de volumen mnimo (el volumen del tetraedro es un tercio del rea de la base
por la altura).
25. Recta de mnimos cuadrados. Dados n puntos .xi ; yi / 2 R2 , determinar los nmeros
2
n
X
y para que la cantidad
yi xi sea mnima.
iD1
P
26. Dados m puntos ai 2 Rn , calcular el valor mnimo de la funcin f .x/D niD1 kx
ai k2 .
Universidad de Granada
Dpto. de Anlisis Matemtico
23
J.f; a/.
Es fcil deducir a partir de esta igualdad y de la definicin de campo escalar diferenciable que
se verifica
F.x/ F.a/ D F.a/.x a/
lKm
D0
x!0
kx ak
(1.15)
(1.16)
Poniendo H D .h1 ; h2 ; : : : ; hm /, F D .f1 ; f2 ; : : : ; fm /, G D .g1 ; g2 ; : : : ; gq /; notando las variables por x D .x1 ; x2 ; : : : ; xn / 2 Rn , y D .y1 ; y2 ; : : : ; ym / 2 Rq , y escribiendo b D G.a/,
tenemos que
@hi
@fi
@gk
.a/
D
.b/
.
.a/
b D G.a/
16i6m
16i6m
16k6n
@yj
@xk
@yj
16j 6q
Universidad de Granada
Dpto. de Anlisis Matemtico
16k6n
16j 6q
24
De donde se sigue
n
X
@hi
@fi
@gk
.a/ D
.b/
.a/
@yj
@xk
@yj
kD1
b D G.a/
.1 6 i 6 m; 1 6 j 6 q/
(1.17)
Esta igualdad constituye la regla de la cadena para derivadas parciales y es importante que
aprendas a aplicarla y que entiendas lo que dice. Voy a intentar facilitarte las cosas.
Primero, lo ms frecuente es que F sea un campo escalar. Supongamos, pues, que en lo
anterior, F D f es un campo escalar, en cuyo caso h D f G tambin es un campo escalar. La
igualdad (1.17) queda ahora
n
X
@h
@f
@gk
.a/ D
.b/
.a/
@yj
@xk
@yj
kD1
b D G.a/
.1 6 j 6 q/
(1.18)
En esta igualdad se interpreta que la funcin G W A ! E Rn lo que hace es un cambio de variables. Hablando familiarmente, podemos decir, que las variables antiguas de
la funcin f , esto es las x D .x1 ; x2 ; : : : ; xn / 2 E se han sustituido por variable nuevas
y D .y1 ; y2 ; : : : ; yq / 2 A y la funcin f se ha expresado en estas nuevas variables dando
lugar a la funcin h. La relacin entre unas variables y otras viene dada por
xk D gk .y1 ; y2 ; : : : ; yq /;
16k 6n
(1.19)
16k6n
(1.20)
b D G.a/
.1 6 j 6 q/
(1.21)
Observa el doble papel que desempea a la derecha de esta igualdad la letra xk ; cuando se
deriva respecto de ella representa una variable y cuando ella se deriva respecto de una variable
nueva representa una funcin.
La igualdad (1.21) ya es bastante fcil de recordar pero todava se siguen haciendo en la
prctica, sobre en todo en los textos de Fsica que suelen usar notaciones muy desafortunadas,
Universidad de Granada
Dpto. de Anlisis Matemtico
25
b D G.a/
.1 6 j 6 q/
(1.22)
b D G.a/
.1 6 j 6 q/
(1.23)
Todava hay algo que podemos simplificar. Habrs observado que siempre indico la relacin
que hay entre los puntos b y a. Eso es muy importante para entender lo que se hace. Hay que
saber dnde se evalan las derivadas parciales de cada funcin. Pues bien, eso no se indica
jams en textos de Fsica. Nunca se indica en dnde se evalan las derivadas parciales. As que
vamos a suprimirlo.
n
X
@z
@z @xk
D
.1 6 j 6 q/
(1.24)
@yj
@xk @yj
kD1
Debes de familiarizarte con esta igualdad y saber reconocer en ella la igualdad de partida. Y no
olvides la forma en que se evala esta igualdad. Lo vuelvo a poner.
n
X @z
@z
@xk
.y/ D
.G.y//
.y/
@yj
@xk
@yj
.1 6 j 6 q/
(1.25)
kD1
Si tuviramos que volver a derivar en esta igualdad respecto a una variable yk se derivara como
de costumbre: la derivada de una suma es la suma de las derivadas y para derivar el producto se
@z
aplica la regla usual. Pero hay un detalle muy importante y es que la funcin
.G.y// vuelve
@xk
@z
a ser la funcin compuesta del campo escalar
con la funcin G. Por tanto para derivarla
@xk
hay que aplicarle la misma regla que hemos aplicado para derivar z como funcin compuesta
y que nos ha llevado a la igualdad anterior. Es por eso que el clculo de derivadas parciales de
segundo orden en funciones compuestas suele ser bastante engorroso y es fcil equivocarse si
no se sabe lo que se hace.
@z
siendo z Du2 Cv 5 C3uv donde uDx 2 Cy 2 , v Dsen.xy/.
@x
As es como suelen enunciarse estos ejercicios y debes entender bien el enunciado. Nos
estn dando una funcin de las variables .u; v/ a la que llaman z. Esto es la letra z representa
una funcin, a saber, z D u2 C v 5 C 3uv. Nos estn dando un cambio de variables por medio
@z
de las igualdades u D x 2 C y 2 , v D sen.xy/. Y nos piden calcular
. Esto ltimo ya nos dice
@x
1.38 Ejemplo. Vamos a calcular
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
26
@z
claramente que debemos ver z como funcin de x e y, es decir, la letra z en
es la funcin
@x
que nos dan despus de sustituir en ella las nuevas variables, o sea, la funcin compuesta de
z D u2 C v 5 C 3uv con G.x; y/ D .x 2 C y 2 ; sen.xy//.
Sabemos que
@z @u
@z @v
@z
D
C
D .2u C 3v/2x C .5v 4 C 3u/y cos.xy/
@x
@u @x
@v @x
@z
Si lo dejamos as escrito parece que
depende de 4 variables. Pero no es as porque en la
@x
igualdad anterior las variables son x e y (las nuevas variables) mientras que u y v (las antiguas
variables) vienen dadas por u D x 2 C y 2 , v D sen.xy/. Por tanto, es mejor hacer la sustitucin,
con lo que resulta
@z
D .2.x 2 C y 2 / C 3 sen.xy//2x C .5 sen4 .xy/ C 3x 2 C y 2 /y cos.xy/
@x
que nos da el valor de la derivada parcial de la funcin compuesta en un punto .x; y/. En este
caso es muy sencillo calcular la funcin compuesta. Hazlo y comprueba el resultado obtenido.
Consideremos una funcin de dos variables x e y, z D z.x; y/, y supongamos que expresamos x e y en funcin de nuevas variables u y v, lo que indicamos en la forma
x D x.u; v/, y D y.u; v/. De esta forma la funcin z es funcin (funcin compuesta) de
las variables libres u y v, a travs de las variables dependientes x e y. Se trata de
calcular las derivadas parciales de z respecto de las nuevas variables u y v. La regla para
hacerlo es la siguiente: para derivar una funcin
z D z.x; y/;
respecto de una nueva variable, se deriva z respecto de cada una de las antiguas variables
y se multiplica por la derivada de cada antigua variable respecto de la nueva variable. Se
entiende mejor si lo escribimos simblicamente
@z
@z @x
@z @y
D
C
@u @x @u
@y @u
En esta igualdad debes darte cuenta de que a la izquierda, como estamos derivando respecto a u, la letra z representa a la funcin compuesta zDz.x.u; v/; y.u; v// y la derivada
est calculada en un punto .u; v/. En la parte derecha de la igualdad la letra z representa
la funcin dada z D z.x; y/ y las letras x e y representan variables (cuando se deriva
respecto de ellas) y funciones (cuando se derivan respecto de u). Debe entenderse que
cuando se sustituye un valor de .u; v/ en la igualdad los valores de x e y deben sustituirse
por x D x.u; v/, y D y.u; v/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
27
cos x donde x D u2 C v, y D u
v 2 . Calcular
@z
en el punto
@u
<x D 1 C r s e
y D r s2 e t
:
z D r 2 s sen t
Calcular
@u
cuando r D 2, s D 1, t D 0, sabiendo que ' 0 .3=2/ D 1.
@s
@z
@z
.2; 2/ y
.2; 2/. Siendo
@x
@y
@z
@z
.1; 1/ D 2 y .1; 1/ D 3.
@r
@s
33. Prueba que la funcin F.x; y/ D f . x2 y y 2 /, donde f es una funcin real derivable,
verifica la igualdad
@F
@F
C 2x y
D0
.x 2 C y 2 /
@x
@y
34. Prueba que la funcin F.u; v/Df .u v; .u2 v 2 /=2/, donde f W R2 ! R es una funcin
diferenciable, verifica la igualdad
"
2 # 2 2
@f 2
@f
@F
@F
2
2
.u C v /
C
D
C
@x
@y
@u
@v
35. Sea z D f .x; y/, donde x D cos #, y D sen #. Calcula @z=@ y @z=@# y prueba que
2 2 2
@z
@z
@z
1 @z 2
C
D
C 2
@x
@y
@
@#
36. Sea g.s; t/ D f .s 2
t 2; t 2
s 2 /. Prueba la igualdad t
@g
@g
Cs
D 0.
@s
@t
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
28
39. Sea z D f .x; y/ donde x D x.u; v/, y D y.u; v/. Prueba que
2
@2 z @y 2 @z @2x
@2z
@2 z
@x
@2 z @x @y
@z @2y
D
x
C
2
C
C
C
@u
@x@y @u @u @y 2 @u
@x @u2
@y @u2
@u2
@x 2
E indica la forma e que se evalan estas funciones.
40. Una funcin se llama homognea de grado n 2 N si f .tx; ty/ D t n f .x; y/. Prueba que
en tal caso se verifica la igualdad
x
@f
@f
Cy
D nf .x; y/
@x
@y
41. Sean las funciones f .x; y; z/ D .ex Cy 2 ; ez Cy/, g.u; v/ D v 2 C log u para .u; v/ 2
R RC . Qu valor debe tener para que la derivada direccional mxima de g f en
.0; 0; 0/ sea igual a 1?
1.39 Ejemplo. La funcin f .x; y/ D xy ex Cy tiene un nico punto crtico, el origen, que
es un punto de silla. Por tanto dicha funcin no tiene extremos relativos en R2 . Supongamos
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
29
Sabemos que dicho conjunto es un conjunto compacto (es cerrado porque coincide con su
frontera y acotado); adems la funcin f es continua, por tanto podemos asegurar, de entrada,
que tiene que haber algn punto .a; b/ 2 K en el cual la funcin f alcanza su mayor valor en K
(y tiene que haber otro donde alcance su menor valor en K). Calcular dicho punto es, en este
caso, muy sencillo pues
p para .x; y/ 2 K se tiene que f .x; y/ D e x y. Como para .x; y/ 2 K
se tiene que y D 1 x 2 y los valores negativos de f no nos interesan porque queremos
calcular el mayor valor que toma en K, se sigue que
n p
o
mKax ff .x; y/ W .x; y/ 2 Kg D mKax e x 1 x 2 W 1 6 x 6 1
Nuestro
p problema se ha convertido en calcular el mximo absoluto de la funcin h.x/ D
e x 1 x 2 para 1 6 x 6 1.
De hecho, t has resuelto ejercicios de extremos condicionados aunque no seas consciente
de ello. Por ejemplo, seguro que alguna vez has resuelto el siguiente ejercicio.
1.40 Ejemplo. Entre todos los rectngulos cuyo permetro es igual a 16 calcular el que tiene
rea mxima.
Este ejercicio puedes plantearlo como sigue. Sea f .x; y/ D xy la funcin que da el rea de
un rectngulo cuyos lados tienen longitudes x e y. Se trata de calcular el mximo de f .x; y/
cuando las variables verifican la condicin 2x C2y D16. Por tanto, es un problema de extremos
condicionados. Seguro que ahora recuerdas algunos otros ejercicios parecidos a este que has
hecho sin saber que estabas haciendo problemas de extremos condicionados. La razn es clara:
la condicin que nos dan es tan sencilla que permite despejar una variable en funcin de la otra,
y D 8 x, con lo que nuestra funcin se convierte en xy D x.8 x/ y el problema queda
reducido a calcular el mayor valor de x.8 x/ cuando 8 6 x 6 8.
Los ejemplos anteriores ponen de manifiesto que los problemas de extremos condicionados
en los que puede utilizarse la condicin que nos dan para despejar una variable en funcin
de otra, se reducen fcilmente a problemas de extremos de funciones de una variable. Pero
supongamos ahora que cambiamos la condicin del ejemplo 1 por la siguiente:
x
ex Cy C ey C sin.1 C xy/ D 2
La cosa se complica porque ahora es imposible usar la condicin impuesta para despejar una
variable en funcin de la otra. Ahora s tenemos un autntico problema de extremos condicionados.
Lo antes dicho para funciones de dos variables puedes generalizarlo para funciones de tres
variables. Por ejemplo el problema de calcular las dimensiones de un ortoedro de volumen
igual a 8 para que su superficie lateral sea mnima, puedes plantearlo como sigue: calcular el
mnimo de
f .x; y; z/ D 2xy C 2xz C 2yz
Universidad de Granada
Dpto. de Anlisis Matemtico
30
(la funcin que da la superficie lateral de un ortoedro cuyos lados tiene longitudes x, y, z) con
la condicin xyz D 8. Se trata de un problema de extremos condicionados, pero la condicin
dada permite despejar una variable en funcin de las otras dos, z D 8=.xy/, con lo que nuestra
funcin queda 2xy C 2xz C 2yz D xy C 16=y C 16=x, funcin de la que hay que calcular
su mnimo absoluto cuando 0 < x, 0 < y. Hemos convertido as el problema en uno de
extremos relativos de una funcin de dos variables. Pero si cambiamos la condicin anterior
por la siguiente
x 2 yz 3 C sen.1 C xz/ C y eyx D1
o bien, si imponemos dos condiciones como las siguientes:
log.1 C x 2 C y 2 / C sin.1 C xz/
1 D 0;
e1CyCxCz C cos.xyz/ C x 2 z 2
3D0
entonces no podemos usar esa condicin (o condiciones) para despejar una variable (o dos
variables) en funcin de las otras (de la otra).
@f
@g
:
.a; b/ C 0 .a; b/ D 0
@y
@y
Universidad de Granada
Dpto. de Anlisis Matemtico
31
Como debe cumplirse tambin que g.a; b/ D 0, para recordar estas tres condiciones que debe
cumplir el punto .a; b/ se suele definir una nueva funcin de tres variables, llamada funcin de
Lagrange, por
F.x; y; / D f .x; y/ C g.x; y/
y las condiciones anteriores nos dicen que el punto .a; b; 0 / es un punto crtico de la funcin
de Lagrange, es decir, es solucin del sistema de ecuaciones (llamado sistema de Lagrange):
8
@F
@f
@g
.x; y; / D
.x; y/ C .x; y/ D 0
@x
@x
@x
< @F
@f
@g
.x; y; / D
.x; y/ C .x; y/ D 0
@y
@y
@y
: @F .x; y; / D g.x; y/ D 0
@
b) Consideremos el problema de calcular los extremos locales una funcin de tres variables f .x; y; z/ cuando las variables estn obligadas a moverse en una superficie S dada por
g.x; y; z/ D 0:
o
n
S D .x; y; z/ 2 R3 W g.x; y; z/ D 0
.a; b; c/ C 0 .a; b; c/ D 0
@x
@x
< @f
@g
.a; b; c/ C 0 .a; b; c/ D 0
rf .a; b; c/ C 0 rg.a; b; c/ D 0
@y
@y
: @f .a; b; c/ C 0 @g .a; b; c/ D 0
@z
@z
Como debe cumplirse tambin que g.a; b; c/ D 0, para recordar estas cuatro condiciones que
debe cumplir el punto .a; b; c/ se suele definir una nueva funcin de cuatro variables, llamada
funcin de Lagrange, por
F.x; y; z; / D f .x; y; z/ C g.x; y; z/
y las condiciones anteriores nos dicen que el punto .a; b; c; 0 / es un punto crtico de la funcin
Universidad de Granada
Dpto. de Anlisis Matemtico
32
.x; y; z; / D
.x; y; z/ C .x; y; z/ D 0
@x
@x
@x
@F
@f
@g
@F
@f
@g
.x; y; z; / D
.x; y; z/ C .x; y; z/ D 0
@z
@z
@z
@F
:
.x; y; z; / D g.x; y; z/ D 0
@
c) Consideremos el problema de calcular los extremos locales una funcin de tres variables
f .x; y; z/ cuando las variables estn obligadas a moverse en una curva dada por g.x; y; z/D
h.x; y; z/ D 0:
n
o
D .x; y; z/ 2 R3 W g.x; y; z/ D h.x; y; z/ D 0
Adems de las condiciones de derivabilidad que se han supuesto al principio, hay que
suponer que los vectores gradiente de g y de h son linealmente independientes en todo punto
de . En estas hiptesis, para que un punto .a; b; c/ 2 sea un extremo local condicionado de
f , es necesario que los vectores gradiente de f , g y h en el punto .a; b; c/ sean linealmente
dependientes; es decir, que existan nmeros reales 0 ; 0 tales que:
8
@f
@g
@h
@x
@x
@x
< @f
@g
@h
rf .a; b; c/ C 0rg.a; b; c/ C 0rh.a; b; c/ D 0
.a; b; c/ C 0 .a; b; c/ C 0 .a; b; c/ D 0
@y
@y
@y
@f
@g
@h
:
.a; b; c/ C 0 .a; b; c/ C 0 .a; b; c/ D 0
@z
@z
@z
Como debe cumplirse tambin que g.a; b; c/ D h.a; b; c/ D 0, para recordar estas cinco condiciones que debe cumplir el punto .a; b; c/ se suele definir una nueva funcin de cinco variables,
llamada funcin de Lagrange, por
F.x; y; z; ; / D f .x; y; z/ C g.x; y; z/ C h.x; y; z/
Las condiciones anteriores nos dicen que .a; b; c; 0 ; 0 / es un punto crtico de la funcin de
Lagrange, es decir, es solucin del sistema de ecuaciones (llamado sistema de Lagrange):
8
@F
@f
@g
@h
.x; y; z; ; / D
.x; y; z/ C .x; y; z/ C .x; y; z/ D 0
@x
@x
@x
@x
@F
@f
@g
@h
.x; y; z; ; / D
.x; y; z/ C .x; y; z/ C .x; y; z/ D 0
@y
@y
@y
@y
<
@F
@f
@g
@h
.x; y; z; ; / D
.x; y; z/ C .x; y; z/ C .x; y; z/ D 0
@z
@z
@z
@z
@F
.x; y; z; ; / D g.x; y; z/ D 0
@
@F
.x; y; z; ; / D h.x; y; z/ D 0
:
@
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
33
Esta es la teora que debes saber referente a extremos condicionados. El mtodo que hemos
descrito se conoce como mtodo de los multiplicadores de Lagrange porque las variables ,
que se introducen se llaman multiplicadores de Lagrange.
La situacin que consideraremos en los ejercicios ser la siguiente: debers calcular el mximo o el mnimo absolutos de los valores de una funcin cuando las variables estn sometidas
a una condicin como las que hemos considerado anteriormente (las variables deben estar en
una curva en el plano, o en una superficie S en el espacio, o en una curva dada como
interseccin de dos superficies) donde, adems la curva o la superficie S , segn sea el
caso, son conjuntos compactos (lo que debers justificar en cada caso). En esta situacin, el
teorema de Weierstrass asegura que hay puntos de o S en los que la funcin alcanza un mximo y un mnimo absolutos, es decir, son puntos en los que la funcin toma el mayor valor o
el menor valor de todos los valores que toma en o S . Para calcular dichos puntos lo nico
que debes hacer es calcular los puntos crticos de la funcin de Lagrange y calcular el valor
de la funcin en cada uno de ellos, aqul punto (o puntos, puede haber ms de uno) donde la
funcin tome el mayor valor ser el punto donde se alcanza el mximo absoluto; aqul punto (o
puntos, puede haber ms de uno) donde la funcin tome el menor valor ser donde se alcanza
el mnimo absoluto.
42. Calcular el valor mayor y el valor menor que toma la funcin f .x; y; z/ D xyz en los
puntos del elipsoide x 2 C 4y 2 C 9z 2 D 3.
43. Calcular el valor mayor y el valor menor que toma la funcin f .x; y; z/ D y 2 C 4z 2
4yz 2xz 2xy en los puntos del elipsoide 2x 2 C 3y 2 C 6z 2 D 1.
44. Determinar los puntos sobre la curva x 2 y D 2 ms prximos al origen.
45. Hallar el punto de la recta interseccin de los planos x
ms prximo al origen.
yD2yx
2z D 4, que est
34
calcular un punto de coordenadas positivas tal que el plano tangente al elipsoide en dicho
punto determine con los ejes coordenados un tetraedro de volumen mnimo.
49. Hallar los puntos de la curva
(
x 2 xy C y 2
x2 C y2 D 1
z2 D 1
y D 2 y la parbola y D x 2 .
x2 y 2
en el disco x 2 Cy 2 64.
35
2x C y 2
3 6 0.
y/ en el conjunto
1/.2.x
1/2 C 3.y
2/2
1/.y
x 2/ D 0
Ese conjunto (ver figura (1.2)) no es exactamente una curva pero localmente se parece a una
curva. La palabra localmente quiere decir que si fijamos un punto .a; b/ tal que f .a; b/ D 0
Universidad de Granada
Dpto. de Anlisis Matemtico
36
entonces hay una bola abierta centrada en .a; b/ de radio positivo, B..a; b/; r / tal que el corte
de dicha bola con el conjunto de puntos V D f.x; y/ W f .x; y/ D 0g es una curva, donde la
palabra curva tiene el significado que le hemos dado en el apartado dedicado al clculo de
rectas tangentes. De hecho, no es cierto que la condicin anterior se verifique para todos los
puntos .a; b/ tales que f .a; b/ D 0. Dicha condicin falla en los puntos donde se cortan dos
de las curvas cuya unin forma V , pues es claro que en dichos puntos el conjunto V no parece
localmente una curva. Pues bien, en dichos puntos se anula el vector gradiente de f y en ellos
la recta tangente no est definida. Este ejemplo te ayudar a entender lo que sigue.
Volvamos al caso general de una funcin de dos variables f .x; y/ con derivadas parciales
continuas de primer orden. Consideremos ahora la ecuacin f .x; y/ D 0 desde otro punto de
vista. Intuitivamente, una ecuacin es una condicin que debe ligar a una de las variables,
es decir, que si en la igualdad f .x; y/ D 0 se fija un valor de x entonces el valor de y queda
determinado de manera nica por dicho valor de x. A veces esto es verdad como en el siguiente
ejemplo. Consideremos
f .x; y/ D y 3 C y ex C sen x
Fijado un valor de x la ecuacin f .x; y/ D 0 es un polinomio de tercer grado en y que tiene
una nica solucin real pues su derivada respecto de y es 3y 2 C ex que no se anula. Es decir,
en este caso es cierto que la igualdad
y 3 C y ex C sen x D 0
(1.26)
define de manera nica a y como funcin de x, en el sentido de que fijado un valor de x, hay
un nico y D '.x/ que verifica dicha igualdad, esto es, la funcin '.x/ est definida por la
condicin:
'.x/3 C '.x/ ex C sen x D 0
(1.27)
Se dice que la funcin ' est implcitamente definida por la igualdad (1.26). Puedes calcular
con Mathematica el valor de dicha funcin y comprobars que es bastante complicada. El
hecho es que la mejor forma de trabajar con la funcin ' es la igualdad (1.27) que la define.
Por ejemplo, si queremos calcular la derivada de ' en un punto basta con que derivemos dicha
igualdad para obtener
3' 0 .x/'.x/2 C ' 0 .x/ ex C'.x/ ex C cos x D 0
lo que permite calcular ' 0 .x/ en funcin de '.x/.
En general, no es cierto que una igualdad de la forma f .x; y/ D 0 permita despejar una
variable en funcin de la otra. Para convencerte, considera el primer ejemplo que pusimos. Ni
tan siquiera una igualdad tan sencilla como x 2 Cy 2 1D0 permite despejar una variable como
funcin de la otra pues es claro que para cada valor que fijemos de una variable (comprendido
entre -1 y 1) hay dos posibles valores de la otra que verifican dicha igualdad.
Relacionemos ahora los dos puntos de vista que hemos considerado. Pongamos
n
o
D .x; y/ 2 R2 W f .x; y/ D 0
37
es decir, el conjunto sera la grfica de ', que, como sabemos, es un tipo muy particular de
curva. Pero ya hemos visto que el conjunto puede ser una curva mucho ms general que la
grfica de una funcin. Pero incluso en este caso, dicha curva es localmente, excepto en los
puntos donde se anula el gradiente, una grfica de una funcin.
Las consideraciones anteriores se pueden llevar al caso de una funcin de tres variables
f .x; y; z/ considerando ahora la superficie definida por la ecuacin f .x; y; z/ D 0. La pregunta ahora es si fijados un valor de x y otro de y queda determinado de manera nica un valor
de
z D '.x; y/ que verifica dicha ecuacin. En caso afirmativo tendramos que la superficie de
ecuacin f .x; y; z/ D 0 coincidira con la grfica de '. Ya puedes suponer que esto no es cierto
en general pues la mayora de las superficies no son grficas de funciones.
El siguiente resultado, conocido como teorema de la funcin implcita, nos dice lo que
podemos afirmar en general en una situacin como la que estamos considerando.
@f
.a; b/ 0
@y
Entonces existe una funcin ' W I ! R, definida en un intervalo I tal que a 2 I y '.a/ D b,
que verifica que f .x; '.x// D 0 para todo x 2 I . La funcin ' se dice que est implcitamente
definida por la ecuacin f .x; y/ D 0. Dicha funcin es derivable en I y su derivada se calcula
derivando la igualdad f .x; '.x// D 0 respecto a x con lo que se obtiene
@f
.x; '.x//
@f
@f
.x; '.x// C
.x; '.x//' 0.x/ D 0' 0 .x/ D @x
@f
@x
@y
.x; '.x//
@y
Adems tenemos que
n
o
\ .I '.I // D .x; y/ 2 R2 W f .x; y/ D 0 \ .I '.I // D f.x; '.x// W x 2 I g
es decir, es localmente en el punto .a; b/ una curva que viene dada por la grfica de '.
Universidad de Granada
Dpto. de Anlisis Matemtico
38
@f
.a; b; c/ 0
@z
Entonces existe una funcin ' W U ! R, definida en un abierto U R2 con .a; b/ 2 U
y '.a; b/ D c, que verifica que f .x; y; '.x; y// D 0 para todo .x; y/ 2 U . La funcin ' se
dice que est implcitamente definida por la ecuacin f .x; y; z/ D 0. Dicha funcin tiene derivadas parciales continuas en U y sus derivadas parciales se calculan derivando la igualdad
f .x; y; '.x; y// D 0 parcialmente respecto a x e y con lo que se obtiene
@f
.x; y; '.x; y//
@f
@'
@'
@f
.x; y; '.x; y// C
.x; y; '.x; y// .x; y/ D 0 .x; y/ D @x
@f
@x
@z
@x
@x
.x; y; '.x; y//
@z
@f
.x; y; '.x; y//
@f
@f
@'
@'
@y
.x; y; '.x; y// C
.x; y; '.x; y// .x; y/ D 0 .x; y/ D
@f
@y
@z
@y
@y
.x; y; '.x; y//
@z
Adems tenemos que
n
o
S \.U '.U //D .x; y; z/ 2 R3 W f .x; y; z/ D 0 \.U '.U //Df.x; y; '.x; y// W .x; y/ 2 U g
es decir, S es localmente en el punto .a; b; c/ una superficie que viene dada por la grfica de
'.
El teorema de la funcin implcita es mucho ms general pero nos limitaremos a los casos
considerados. En las hiptesis hechas pueden admitirse variaciones. La hiptesis que hay que
hacer siempre es que el vector gradiente de f no sea cero en el punto considerado. En el caso
a) puede suponerse igualmente que
@f
.a; b/ 0
@x
y la conclusin es que x puede expresarse localmente como funcin de y, es decir, que hay
una funcin W J ! R definida en un intervalo J tal que b 2 J y .b/ D a que verifica que
f . .y/; y/ D 0 para todo y 2 J . Lo que sigue ya lo puedes suponer.
Anlogamente, en el caso b) puede suponerse, por ejemplo que
@f
.a; b; c/ 0
@x
entonces es la variable x la que queda definida localmente de forma implcita como funcin de
y, z. T mismo puedes completar el enunciado en este caso. Todo esto nos da ms libertad para
elegir la variable que queremos expresar como funcin de las otras, basta con que la derivada
parcial respecto de dicha variable sea distinta de cero.
Universidad de Granada
Dpto. de Anlisis Matemtico
39
6/
2.x C y C x 2 y 2 / D 0
define a z como funcin implcita de .x; y/ en un entorno de .1; 1/, con z.1; 1/D6. Comprobar
que .1; 1/ es un punto crtico de la funcin z D z.x; y/.
6/
@z
D0
@x
@z
D0
6//
@y
6//
.1/
.2/
Donde las derivadas parciales de la funcin implcita z D z.x; y/ estn calculadas en un punto
.x; y/ 2 U y las de f estn calculadas en el punto .x; y; z.x; y//. Haciendo x D y D 1,
@z
@z
z D z.1; 1/ D 6, en las igualdades anteriores, se obtiene que
.1; 1/ D
.1; 1/ D 0, esto es,
@x
@y
.1; 1/ es un punto crtico de z D z.x; y/.
El ejemplo anterior es todava demasiado explcito, nos dice muy claramente lo que hay
que hacer. Lo ms frecuente es que nos encontremos con ejercicios como el siguiente.
1.43 Ejemplo. Sabiendo que
y cos.xz/ C x 3 ez y z C 1 D 0
(1.28)
@z
.x; y/ y particularizar para el punto .x; y/ D .0; 0/.
@x
Solucin. En un ejercicio como este lo ms fcil es que en la igualdad (1.28) sustituyas mentalmente z D z.x; y/ y la veas como
y cos x z.x; y/ C x 3 ez.x;y/ y z.x; y/ C 1 D 0
(1.29)
Calcular
es decir, supones que has calculado para valores de x e y dados la solucin respecto a z de la
igualdad (1.28). Esta solucin (que de hecho no es posible expresar de forma explcita, esto es,
que no puede calcularse) la representamos por z Dz.x; y/ y es la funcin implcita definida por
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
40
la igualdad (1.28) (el teorema de la funcin implcita que es un teorema de existencia garantiza
que dicha funcin existe). Ahora derivamos en la igualdad (1.29) respecto a x para obtener
@z
@z
@z
.x; y/ C3x 2 ez.x;y/ y Cx 3 y .x; y/ ez.x;y/ y
.x; y/D0
y sen x z.x; y/ z.x; y/ C x
@x
@x
@x
de donde
y z.x; y/ sen x z.x; y/
3x 2 ez.x;y/ y
@z
.x; y/ D
@x
x 3 y ez.x;y/ y x y sen.x z.x; y// 1
Naturalmente, esta igualdad tiene sentido siempre que el denominador de la fraccin sea distinto de cero. Puedes comprobar que si llamas f .x; y; z/ D y cos.xz/ C x 3 ez y z C 1 entonces
la igualdad anterior es precisamente
@f
.x; y; z/
@x
@f
.x; y; z/
@z
calculada en el punto .x; y; z.x; y//. Para .x; y/ D .0; 0/ se tiene que z.0; 0/ viene dado por
la ecuacin que se obtiene haciendo x D 0 e y D 0 en la igualdad (1.28) de donde se sigue
z.0; 0/ D 1. Adems
@f
@f
.0; 0; z.0; 0// D
.0; 0; 1/ D 1 0
@z
@z
Por lo que
@z
0
.0; 0/ D
D0
@x
1
61. Calcular las derivadas parciales de primer orden de la funcin z D z.x; y/ definida implcitamente por y z 4 C x 2 z 3 ex y z D0. Particularizar para el punto .x; y/ D .1; 0/.
62. Calcular las derivadas parciales de primer orden de la funcin z D z.x; y/ definida implcitamente por z 3 C z ex C cos y D 0.
63. Calcular las derivadas parciales de primer orden de la funcin z D z.x; y/ dada implcitamente por 3x 2 y 2 C2z 2 xy 2zx 3 C4zy 3 4D0, en el punto .2; 1/ siendo z.2; 1/D2.
64. Supongamos que la igualdad
yCz
w
xy
g.t/dt C
wz 2
3xCy
h.t/dt D 0
Ejercicios propuestos
41
65. Supongamos que la igualdad F.x; y; z/D0 determina implcitamente funciones diferen@x @y @z
ciables x D x.y; z/, y D y.x; z/, z D z.x; y/. Probar que
D 1.
@y @z @x
66. Calcular la derivada de la funcin y D y.x/ definida implcitamente por
x y C 3x 2
2y 2
2y D 0
2x y D 0
Universidad de Granada
Dpto. de Anlisis Matemtico
Captulo
Integrales multiples
2.1. Introduccin
En esta Leccin vamos a estudiar la integracin de funciones reales de dos o ms variables.
Estas integrales suelen llamarse integrales mltiples. Aunque, por su mayor inters prctico,
nos vamos a limitar a funciones de dos y de tres variables, los resultados que expondremos se
generalizan con facilidad para funciones reales de cualquier nmero de variables. Como ya es
usual en estas notas, eludiremos los aspectos ms tericos para centrarnos en las tcnicas de
clculo de integrales dobles y triples. Vamos a ver que el clculo de dichas integrales se reduce
al clculo de dos o tres integrales simples lo que suele hacerse calculando las correspondientes
primitivas. Por tanto, si no sabes calcular primitivas no podrs calcular integrales dobles y
triples. El rea de una superficie en R3 o el flujo de un campo vectorial a travs de la misma,
vienen dados por medio de integrales dobles; la masa de un slido en R3 o la carga elctrica que
encierra el mismo vienen dados por integrales triples. Los resultados principales del Anlisis
Vectorial, esto es, los teoremas de Green, de Gauss y de Stokes, se formulan por medio de
integrales dobles y triples. Dichos resultados son herramientas bsicas en la teora de campos
electromagnticos y en la mecnica de fluidos.
En lo que sigue, consideraremos campos escalares acotados de dos o tres variables que supondremos definidos en subconjuntos acotados de R2 o R3 cuya frontera consta de un nmero
finito de curvas o superficies suaves (de clase C 1 ). Supondremos que los campos son continuos
en todos los puntos de su conjunto de definicin salvo, quizs, en los puntos de un conjunto
finito de curvas o superficies suaves donde puede haber discontinuidades.
42
43
Q = {c = y0 , y1 , y2 , . . . , yq1 , yq = d}
particiones de los intervalos [a, b] y [c, d] respectivamente. Dichas particiones determinan una
particin, que notamos P Q, del rectngulo A = [a, b] [c, d] en subrectngulos [xi1 , xi ]
[yj1 , yj ], donde 1 6 i 6 p, 1 6 j 6 q. Observa que dichos subrectngulos solamente pueden
cortarse en sus fronteras y la unin de todos ellos es A. Una suma de Riemann de f para la
particin P Q es un nmero que se obtiene eligiendo puntos (si , tj ) [xi1 , xi ] [yj1 , yj ]
y calculando la suma
X
f (si , tj )(xi xi1 )(yj yj1 )
(2.1)
16i6p
16j6q
Se verifica que cuando la mayor de las longitudes de los intervalos de las particiones P y Q
se hace arbitrariamente pequea (o sea, tiende a 0), las sumas de Riemann de f se aproximan
tanto como se quiera a un nmero real que es, por definicin, la integral de Riemann de f en el
rectngulo [a, b] [c, d], que se representa por
x
f (x, y) d(x, y)
[a,b][c,d]
existe en el sentido que hemos definido ms arriba y es independiente del rectngulo B que
contiene a A. El valor de dicha integral se representa por
x
f (x, y) d(x, y)
A
44
particiones de los intervalos [a, b], [c, d] y [u, v] respectivamente. Dichas particiones determinan una particin de A = [a, b] [c, d] [u, v] en ortoedros [xi1 , xi ] [yj1 , yj ] [zk1 , zk ],
donde 1 6 i 6 p, 1 6 j 6 q, 1 6 k 6 r. Dichos ortoedros solamente pueden cortarse en sus
fronteras y la unin de todos ellos es A. Representaremos de forma simblica dicha particin
del ortoedro A por P Q R. Una suma de Riemann de f para la particin P Q R es
un nmero que se obtiene eligiendo puntos (si , tj , wk ) [xi1 , xi ] [yj1 , yj ] [zk1 , zk ] y
calculando la suma
X
f (si , tj , wk )(xi xi1 )(yj yj1 )(zk zk1 )
(2.2)
16i6p
16j6q
16k6r
Se verifica que cuando la mayor de las longitudes de los intervalos de las particiones P , Q, R
tiende a 0 las sumas de Riemann de f se aproximan tanto como se quiera a un nmero real
que es, por definicin, la integral de Riemann de f en el ortoedro [a, b] [c, d] [u, v], que se
representa por
y
f (x, y, z) d(x, y, z)
[a,b][c,d][u,v]
existe en el sentido que hemos definido ms arriba y es independiente del ortoedro B que
contiene a A. El valor de dicha integral se representa por
y
f (x, y, z) d(x, y, z)
A
Universidad de Granada
Dpto. de Anlisis Matemtico
45
Riemann del tipo (2.1) representa una aproximacin del volumen del conjunto C(f, A). Pues
lo que hacemos en (2.1) es sumar los volmenes de pequeos ortoedros de base los rectngulos
Rij = [xi1 , xi ][yj1 , yj ] y altura f (si , tj ). Es claro que la suma de todos estos volmenes es
una aproximacin del volumen del conjunto C(f, A). La aproximacin es tanto mejor cuanto
ms pequeos sean los lados de los rectngulos Rij y, en el lmite, el volumen del conjunto
C(f, A) viene dado por la integral doble de f en A.
x
f (x, y) d(x, y) = volumen(C(f, A))
(2.3)
A
Universidad de Granada
Dpto. de Anlisis Matemtico
46
Naturalmente, pueden darse otras muchas interpretaciones. Por ejemplo, la funcin f puede
representar una densidad
x superficial de masa o de carga elctrica en una lmina plana A. En tal
caso la integral doble
f (x, y) d(x, y) proporciona, respectivamente, la masa o la carga total
de la lmina A.
Las integrales dobles permiten calcular reas planas. En efecto, basta tener en cuenta que si
f es la funcin constante igual a 1, esto es f (x, y) = 1 para todo (x, y) A, entonces se tiene
que volumen(C(f, A)) = rea(A), pues el volumen de un cilindro de altura constante igual a
1 es numricamente igual al rea de su base.
x
d(x, y) = rea(A)
(2.4)
A
Universidad de Granada
Dpto. de Anlisis Matemtico
47
Consideremos una funcin positiva, f , definida en el rectngulo A = [a, b] [c, d]. Pongamos
= (x, y, z) R3 : (x, y) A, 0 6 z 6 f (x, y) .
Para calcular el volumen del conjunto podemos proceder como sigue. Para cada x0 fijo
calculamos el rea de la seccin, (x0 ), que se obtiene cortando con el plano de ecuacin
X = x0 . Fjate que (x0 ) es una seccin de perpendicular al eje OX y, por tanto, paralela
al plano Y Z. Como
(x0 ) = {(x0 , y, z) : y [c, d], 0 6 z 6 f (x0 , y)}
se tiene que (x0 ) es la regin del plano X = x0 comprendida entre la curva z = f (x0 , y),
el eje OY y las rectas y = c, y = d. Como sabes, el rea de dicha regin viene dada por
wd
f (x0 , y) dy . Para calcular el volumen de hay que integrar las reas de las secciones (x)
c
"
wb wd
a
[a,b][c,d]
f (x, y) dy
dx
(2.6)
[a,b][c,d]
[a,b][c,d]
Las integrales
"
wb wd
a
f (x, y) dy
dx y
"
wd wb
c
f (x, y) dx
(2.8)
rando x fija. Para ello lo que se hace es obtener una primitiva de la funcin y 7 f (x, y) y usar
la regla de Barrow. Fjate que una primitiva de la funcin y 7 f (x, y) puede describirse como
una primitiva parcial de f (x, y) con respecto a y. Te recuerda esto a la derivacin parcial?
La representacin grfica
psiguiente puede ayudarte a entender lo que se hace. La funcin
representada es f (x, y) = 36 3x2 6y 2 en el rectngulo [2, 2] [2, 2]. Puedes ver
el cilindro bajo la grfica de la funcin, la seccin del mismo por el plano X = 0 y la
proyeccin de dicha seccin sobre el plano Y Z.
Universidad de Granada
Dpto. de Anlisis Matemtico
48
z=fH0,yL
6
Z
2
0 Y
-2
Y=0
0
X
-2
X=0
-2
rectngulo, se procede de la misma forma. La nica diferencia es que ahora tenemos que empezar por determinar los valores de x tales que el plano X = x corta al cilindro bajo la grfica
de f , es decir, tenemos que determinar la proyeccin de A sobre el eje OX. Supongamos que
dicha proyeccin sea un intervalo [a, b]. Ahora, para cada x [a, b] hay que calcular el rea de
la seccin (x) o, lo que es igual, el rea de la regin en el plano Y Z comprendida entre el eje
OY y la curva z = f (x, y) donde la variable y est en el conjunto A(x) = {y : (x, y) A}.
Supongamos que A(x) sea un intervalo (tampoco pasa nada si es unin de varios intervalos).
Entonces tenemos que
x
wb w
f (x, y) d(x, y) =
f (x, y) dy dx
(2.9)
a
A(x)
f (x, y) d(x, y) =
wd
c
A(y)
f (x, y) dx dy
(2.10)
Donde hemos supuesto que [c, d] es la proyeccin de A sobre el eje OY , y para cada y [c, d]
es A(y) = {x : (x, y) A}.
En los casos ms corrientes el conjunto A suele ser un conjunto de tipo I o de tipo II
(recuerda que los vimos al estudiar las Aplicaciones de la Integral). Esto es
A = {(x, y) : a 6 x 6 b, g(x) 6 y 6 h(x)}
(tipo I)
(tipo II)
f (x, y) d(x, y)
wb
f (x, y) d(x, y)
Universidad de Granada
Dpto. de Anlisis Matemtico
wd
c
h(x)
w
(y)
w
g(x)
(y)
f (x, y) dy dx
(2.11)
f (x, y) dx dy
(2.12)
49
Observa que para el caso en que f (x, y) = 1 recuperamos las frmulas ya conocidas para el
clculo de reas de regiones planas de tipo I y tipo II.
Aunque hemos supuesto inicialmente, para poder aplicar el teorema (2.1), que la funcin
f es positiva, las igualdades obtenidas son vlidas, en las hiptesis hechas al principio del
captulo, cualquiera sea la funcin que integramos.
De forma anloga a lo antes visto, el teorema de Fubini permite calcular integrales triples
sin ms que calcular tres integrales simples. Para el caso de una funcin f definida en el
rectngulo de R3 A = [a, b] [c, d] [u, v] se tiene que
" "
#
#
y
wb wd wv
f (x, y, z) d(x, y, z) =
f (x, y, z) dz dy dx
a
[a,b][c,d][u,v]
Observa que ahora hay seis integrales iteradas pero el valor de todas ellas es el mismo. Naturalmente, cuando A es un subconjunto de R3 hay ms posibilidades, pero la idea es siempre
la misma: se obtiene primero la proyeccin de A sobre uno de los ejes o sobre uno de los
planos coordenados, y para cada punto fijado en dicha proyeccin se obtiene el conjunto
de los puntos de A que lo proyectan.
Si, por ejemplo, la proyeccin de A sobre el eje OZ es un intervalo J = [u, v], y para cada
z J es A(z) = {(x, y) : (x, y, z) A} (conjunto de los puntos de A que se proyectan en z),
entonces
y
wv x
f (x, y, z) d(x, y, z) =
f (x, y, z) d(x, y) dz
A
A(z)
y
x h(x,y)
w
f (x, y, z) d(x, y, z) =
f (x, y, z) dz d(x, y)
A
g(x,y)
2.2 Ejemplo. Vamos a calcular el volumen de la mitad superior del elipsoide de ecuacin
x2 y 2 z 2
+ 2 + 2 =1
a2
b
c
donde a > 0, b > 0, c > 0 son las longitudes de los semiejes del elipsoide.
50
x
A
x2 y 2
2 d(x, y)
a2
b
Para calcular esta integral doble podemos aplicar el teorema de Fubini. Observa que A es una
regin de tipo I en R2 pues
n
o
p
p
A = (x, y) : a 6 x 6 a, b 1 x2 /a2 6 y 6 b 1 x2 /a2
Por tanto
x
A
c 1
x2 y 2
2 d(x, y) =
a2
b
wa
1x2 /a2
1x2 /a2
x2 y 2
2 dy dx
a2
b
Tenemos que:
b 1x2 /a2 r
/2
h
i
w
w
p
x2 y 2
2 2
2
2
c 1 2 2 dy = y = b 1 x /a sen t = bc(1 x /a )
cos2 t dt =
a
b
2 2
/2
b
1x /a
1
= bc(1 x2 /a2 )
2
Finalmente
volumen() =
wa
1
2
bc (1 x2 /a2 ) dx = abc
2
3
a
4
abc. En particular, si el elipsoide es una esfera de
3
4
radio r, esto es a = b = c = r, deducimos que el volumen de la esfera es r 3 .
3
En lugar de proyectar sobre el plano XY podemos proyectar sobre el eje OZ. Dicha
proyeccin es el intervalo [0, c]. Para cada z [0, c] tenemos que el conjunto de puntos de
que se proyectan en z, es decir, la seccin de por el plano Z = z, es el conjunto
x2 y 2
z2
(z) = (x, y, z) : 2 + 2 6 1 2
a
b
c
El volumen del elipsoide completo es
Como
x2 y 2
z2
x2 y 2
+
6
1
+
61
a2
b2
c2
u2 v 2
r
r
z2
z2
donde u = a 1 2 , v = b 1 2 . Deducimos que (z) es una elipse contenida en
c
c
el plano
Z 2= z de semiejes u, v. Sabemos que el rea de dicha elipse es igual a uv =
z
ab 1 2 . En consecuencia, el volumen de viene dado por
c
wc
0
Universidad de Granada
Dpto. de Anlisis Matemtico
z2
ab 1 2
c
2
dz = abc
3
Prof. Javier Prez
Clculo diferencial e integral
51
Para calcular esta integral aplicamos el teorema de Fubini. Proyectando sobre el plano XY
tenemos que
2
2
2 2
r
y
x c 1x w/a y /b
x
x2 y 2
d(x, y, z) =
dz d(x, y) =
c 1 2 2 d(x, y)
a
b
y
wc x
wc
z2
d(x, y, z) =
d(x, y) dz = ab 1 2 dz
c
0
(z)
f (x) dx =
wd
f (g(t))g (t) dt
donde se supone que a < b y g(c) = a, g(d) = b. Supongamos que la funcin g es inyectiva,
entonces g debe ser creciente o decreciente. Si es decreciente se tiene que d < c y g (t) 6 0,
por lo que |g (t)| = g (t) y podemos escribir
wd
c
f (g(t))g (t) dt =
Universidad de Granada
Dpto. de Anlisis Matemtico
wc
f (g(t))|g (t)| dt
52
f (x) dx =
f (g(t))|g (t)| dt
(2.13)
donde g es una biyeccin del intervalo [a, b] sobre el intervalo [, ]. Esta frmula se generaliza
para funciones de varias variables dando lugar al teorema del cambio de variables.
El teorema del cambio de variable para integrales dobles afirma que
x
x
f (x, y) d(x, y) =
f (g(u, v))|det Jg (u, v)| d(u, v)
A
(2.14)
donde se supone que la funcin g es una biyeccin de B sobre A de clase C 1 (sus funciones
componentes tienen derivadas parciales continuas) con determinante jacobiano distinto de cero,
esto es, det Jg (u, v) 6= 0 para todo (u, v) B. En esta frmula se interpreta que la funcin g
hace un cambio de coordenadas pues permite asignar a cada punto (x, y) A el nico punto
(u, v) B tal que g(u, v) = (x, y).
Aunque la integral de la derecha en la frmula (2.14) parece ms complicada que la de la
izquierda, cuando hacemos un cambio de variable lo que se trata es de conseguir que o bien la
funcin f (g(u, v))|det Jg (u, v)| sea ms sencilla de integrar en B que la funcin f (x, y) en A
o bien que el recinto de integracin B sea ms sencillo que A. Si podemos conseguir las dos
cosas, mejor.
Las condiciones que hemos supuesto para la validez de la frmula (2.14) se pueden relajar
un poco permitiendo que puedan fallar en un nmero finito de curvas. Por ejemplo, es suficiente
que g sea una biyeccin de B sobre el conjunto A en el que se ha suprimido un segmento; o
puede permitirse que el determinante jacobiano de g se anule en alguna curva en B. La idea,
que no hay que olvidar, es que para calcular integrales dobles podemos ignorar lo que pasa en
conjuntos de rea cero.
Solamente con la prctica se puede aprender cundo es conveniente hacer un cambio de
variables y qu funcin es la adecuada para realizarlo. Para integrales dobles el cambio de
variable ms til es a coordenadas polares.
2.3.2.1.
Coordenadas polares
sen
Hx,yL
X
cos
La frmula del cambio de variables (2.14) para el caso de coordenadas polares se expresa
Universidad de Granada
Dpto. de Anlisis Matemtico
53
f (x, y) d(x, y) =
(2.15)
La mayor dificultad para aplicar esta frmula es la determinacin del conjunto B. Dicho conjunto viene dado por
B = (, ) R+ ] , ] : ( cos , sen ) A
Si, por ejemplo, el conjunto A es de tipo I, A = {(x, y) : a 6 x 6 b, g(x) 6 y 6 h(x)}, entonces:
B = (, ) R+ ] , ] : a 6 cos 6 b, g( cos ) 6 sen 6 h( cos ) .
f (x, y) d(x, y) =
h()
w
g()
f ( cos , sen ) d d
f (x, y) d(x, y) =
"
wR w
0
D((0,0),R)
f ( cos , sen ) d
d =
"
w wR
f ( cos , sen ) d
donde se supone que la funcin g es una biyeccin de B sobre A de clase C 1 (sus funciones
componentes tienen derivadas parciales continuas) con determinante jacobiano distinto de cero, esto es, det Jg (u, v, w) 6= 0 para todo (u, v, w) B. Estas condiciones se pueden relajar un
poco permitiendo que puedan fallar en un nmero finito de superficies. Por ejemplo, es suficiente que g sea una biyeccin de B sobre el conjunto A en el que se ha suprimido un trozo de
plano; o puede permitirse que el determinante jacobiano de g se anule en alguna superficie en
B. La idea, que no hay que olvidar, es que para calcular integrales triples podemos ignorar lo
que pasa en conjuntos de volumen cero.
Universidad de Granada
Dpto. de Anlisis Matemtico
54
Coordenadas esfricas
La funcin
Z
cosj
Hx,y,zL
R+ ]
es una biyeccin de
, ] [0, ] so3
bre R \ {(0, 0, 0)}. Las componentes de g tienen derivadas parciales continuas y fcilmente
se comprueba que det Jg (, , ) = 2 sen .
La terna de nmeros (, , ) dados por
x = sen cos , y = sen sen , z =
cos donde > 0 y < 6 , 0 6 6
, se llaman coordenadas esfricas del punto de
coordenadas cartesianas (x, y, z).
senjsen
senjcos
senj
La frmula del cambio de variables (2.3.2.1) para el caso de coordenadas esfricas se expresa por
y
y
f (x, y, z) d(x, y, z) =
f ( sen cos , sen sen , cos )2 sen d(, , )
A
La mayor dificultad para aplicar esta frmula es la determinacin del conjunto B. Dicho conjunto viene dado por
B = (, , ) R+ ] , ] [0, ] : ( sen cos , sen sen , cos ) A
Las coordenadas esfricas son especialmente tiles cuando el conjunto A es una esfera, o un
sector esfrico o una corona esfrica, pues en estos casos el conjunto
B es muy sencillo. Si,
por ejemplo, A = B((0, 0, 0), R) = (x, y, z) : x2 + y 2 + z 2 6 R2 (bola esfrica de centro
el origen y radio R), entonces:
B = (, , ) R+ ] , ] [0, ] : 6 R =]0, R]] , ] [0, ]
Por tanto:
y
f (x, y, z) d(x, y, z) =
B((0,0,0),R)
" "
wR w w
0
Todo esto est muy bien, pero por qu se cumple el teorema del cambio de variables?
Excepto el parecido formal que hay entre las frmulas (2.13) y (2.14), nada te he dicho que
te ayude a comprender por qu dicho teorema tiene que ser cierto. No es difcil comprender
Universidad de Granada
Dpto. de Anlisis Matemtico
55
de forma intuitiva las razones profundas del teorema. Por comodidad, consideremos el caso de
integrales dobles. En la igualdad
x
x
f (x, y) d(x, y) =
f (g(u, v))|det Jg (u, v)| d(u, v)
(2.16)
A
y como,
d(x, y) es el rea del conjunto A = g(B), lo que nos dice esta igualdad es que
rea(g(B)) =
x
B
(2.18)
(2.19)
Es decir, el valor absoluto del determinante de una aplicacin lineal es el rea de la imagen por
dicha aplicacin del intervalo unidad [0, 1] [0, 1]. Que esto efectivamente se cumple puedes
comprobarlo de forma elemental! Observa que en el caso, todava ms especial, de que g sea
una aplicacin lineal del tipo g(x, y) = (ax, by) donde
a y b son nmeros reales, entonces
|det (g)| = |ab| y, evidentemente, rea g([0, 1] [0, 1]) = |ab|. En este caso se ve claramente
que |det (g)| representa el producto de las dilataciones que realiza g en cada uno de los ejes.
Esta interpretacin tambin es correcta para cualquier aplicacin lineal.
Podemos interpretar ahora la igualdad (2.18) anterior. En ella lo que se hace es aproximar
localmente la aplicacin diferenciable g por su aplicacin derivada la cual, como sabes, es una
aplicacin lineal de R2 en R2 cuyo determinante es precisamente el determinante jacobiano de
g, det Jg (u, v). De forma sugerente, la igualdad (2.18) expresa que la dilatacin global que
produce en el conjunto B la aplicacin diferenciable g se obtiene integrando las dilataciones locales, y stas se calculan sustituyendo g por su aplicacin derivada, lo que, por lo que
acabamos de decir, explica la intervencin de |det Jg (u, v)| en la frmula (2.16).
La demostracin, que es bastante tcnica, de la frmula del cambio de variables (2.16)
consiste en demostrar la igualdad (2.17), pues de ella se deduce con facilidad el caso general.
Confo en que con lo antes dicho hayas llegado a entrever las razones profundas de por qu se
verifica dicha igualdad.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
56
x
x2
siendo
A
la
regin
limitada
por
y
=
, y = x.
x2 + y 2
2
x2
e inferiormente
4
x2
y2
+
= z y el plano z = 7.
9
16
3. Utiliza el cambio a coordenadas polares para calcular las integrales de las siguientes
funciones en los recintos que se indican:
p
a) f (x, y) = 1 x2 y 2 , A = B (0, 0), 1
p
b) f (x, y) = x2 + y 2 , A = [0, 1] [0, 1]
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
57
c) f (x, y) = y, A = {(x, y) B (1/2, 0), 1/2 : y > 0}
d) f (x, y) = x2 + y 2 , A = B (1, 0), 1
e) f (x, y) = x2 + y 2 , A = {(x, y) R2 : 4 6 x2 + y 2 6 9}
k) f (x, y, z) = z, A = {(x, y, z) R3 : x2 +
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
58
e) A = (x, y, z) R3 : 0 6 z 6 4 y 2 , 0 6 x 6 6
f) A = (x, y, z) R3 : x 6 y 6 2 x, 0 6 z 6 9 x
g) A = (x, y, z) R3 : x2 + y 2 6 z 2 , x2 + y 2 + z 2 6 2z
Universidad de Granada
Dpto. de Anlisis Matemtico