UNIVERSIDAD DE CONCEPCIN

FACULTAD DE CIENCIAS FSICAS Y MATEMTICAS

DEPARTAMENTO DE MATEMTICA
















CLCULO DIFERENCIAL E
INTEGRAL EN VARIAS
VARIABLES






Apuntes para la asignatura:
Clculo III 521277









Prof. Jorge Ruiz Castillo
Mayo de 2010
INDICE
Captulo 1: Clculo diferencial
Seccin pgina
1.1 Espacio euclidiano : - dimensional 3
1.2 Lmite y continuidad 6
1.3 Diferenciacin 11
1.3.1 Derivadas parciales 11
1.3.2 La diferencial 15
1.3.3 Propiedades de funciones diferenciables y ejemplos 17
1.3.4 Funciones diferenciables de R
n
en R
n
19
1.3.5 propiedades de funciones diferenciables 20
1.3.6 Matriz Jacobiana 21
1.3.7 Regla de la cadena 21
1.3.8 Derivadas direccionales 23
1.4 Aplicaciones 26
Captulo 2: Extremos de funciones con valores reales
Seccin pgina
2.1 Mximos y Mnimos 33
2.2 El teorema de Taylor 35
2.3 Criterio de la segunda derivada 35
2.4 Repaso de Formas cuadrticas 36
2.5 La matriz Hessiana 37
2.6 Multiplicadores de Lagrange 38
Captulo 3: Integrales dependientes de un parmetro
Seccin pgina
3.1 Regla de Leibniz 41
3.2 Integrales impropias dependientes de un parmetro 45
Captulo : Integracin
Seccin pgina
4.1 Introduccin 49
4.2 La integral de Riemann sobre un rectngulo 52
4.3 Integrales sobre conjuntos acotados de R
n
55
4.4 Cambio de variables 57
4.5 Coordenadas polares, cilndricas y esfricas 58
4.6 Integrales mltiples impropias 60
Captulo 5: Calculo vectorial
Seccin pgina
5.1 Integrales de lnea 64
5.1.1 Introduccin 64
5.1.2 Longitud de arco 66
5.1.3 Integrales sobre campos vectoriales 66
1
5.1.4 Integrales de lnea sobre campos escalares 68
5.1.5 otras aplicaciones de la integral de lnea 69
5.1.6 Independencia de la trayectoria 70
5.1.7 Teorema de Green 74
5.2 integrales de supercie 77
5.2.1 Supercies en R
n
77
5.2.2 Integrales de supercie 81
5.2.3 Teorema de Gauss. Teorema de Stokes 85
2
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
1 CALCULO DIFERENCIAL
1.1 ESPACIO EUCLIDIANO n-DIMENSIONAL
Recordemos que R
n
est provisto de dos operaciones
+ : R
n
R
n
R
n
, (r, j) r +j y : R R
n
R
n
, (c, r) cr,
donde:
(r
1
, r
2
, ......, r
n
) + (j
1
, j
2
, ......, j
n
) = (r
1
+j
1
, r
2
+j
2
, ......, r
n
+j
n
),
y
c(r
1
, r
2
, ......, r
n
) = (cr
1
, cr
2
, ......, cr
n
)
(R
n
, +, ) es un espacio vectorial real.
Nociones topolgicas en R
n
El producto interior en R
n
est denido por:
: R
n
R
n
R
n
, r j =
n

I=1
r
I
j
I
, donde r = (r
1
, r
2
, ......, r
n
)
j = (j
1
, j
2
, ......, j
n
)
Este producto interior en R
n
satisface las siguientes propiedades
1. (\r R
n
) r r _ 0
2. (\r R
n
) r r = 0 =r = 0
3. (\r, j, . R
n
) (\c, , R) (cr +,j) . = c(r .) +, (j .)
4. (\r, j R
n
) r j = j r
5. (\r R
n
) r 0 = 0
.
La norma en R
n
est denida por:
_
_
_
_
: R
n
R, |r| =
_
r r
Si r = (r
1
, r
2
, ......, r
n
), entonces |r| =
_
r
2
1
+r
2
2
+...... +r
2
n
Algunas propiedades de la norma son las siguientes:
3
1. (\r R
n
) |r| _ 0
2. (\r R
n
) |r| = 0 =r = 0
3. (\r R
n
) (\c R) |cr| = [c[ |r|
4. (\r, j R
n
) |r +j| _ |r| +|j| (desigualdad triangular)
5. (\r, j R
n
) [r j[ _ |r| |j| (desigualdad de Cauchy-Schwarz)
.
La distancia en R
n
est denida por:
d : R
n
R
n
R, d (r, j) = |r j|
Si r = (r
1
, r
2
, ......, r
n
) , j = (j
1
, j
2
, ......, j
n
), entonces
d (r, j) =
_
(r
1
j
1
)
2
+ (r
2
j
2
)
2
+...... + (r
n
j
n
)
2
Entre sus propiedades podemos mencionar:
1. (\r, j R
n
) d (r, j) _ 0
2. (\r, j R
n
) d (r, j) = d (j, r)
3. (\r, j R
n
) d (r, j) = 0 =r = j
4. (\r, j R
n
) d (r, .) _ d (r, j) +d (j, .) (desigualdad triangular)
.
Denicin.- Sean r
0
R
n
y r 0. Llamamos bola abierta con centro en r
0
y-
radio r al conjunto 1(r
0
, r) = r R
n
: |r r
0
| < r
En R
2
, 1(r
0
, r) es una circunferencia con centro en r
0
y radio r.
En R
3
, 1(r
0
, r) es una esfera con centro en r
0
y radio r.
Denicin.- Sean G _ R
n
y r
0
R
n
. Diremos que:
a) r
0
es un punto interior de G si existe r 0 tal que 1(r
0
, r) _ G.
Notacin.- i:t (G) o G
o
es el conjunto de los puntos interiores de G (inte-
rior de G).
b) r
0
es un punto adherente de G si (\r 0) 1(r
0
, r) G ,= c
Notacin.- ad/(G) o G es el conjunto de los puntos adherentes a G (adh-
ernecia o clausura de G).
c) r
0
es un punto de acumulacin de G si (\r 0) 1(r
0
, r) Gr
0
, = c
d) r
0
es un punto de frontera de G si es un punto adherente a G y al com-
plemento de G.
4
.
Notacin.- 1r (G) es el conjunto de los puntos de frontera de G (Frontera de G).
Observacin.-
1. r
0
1r (G) ==(\r 0) [1(r
0
, r) G ,= c . 1(r
0
, r) G
c
,= c]
2. 1r (G) = G G
c
3. r
0
es un punto aislado de G si existe r 0 tal que 1(r
0
, r) G = r
0
.
.
Denicin.- Sea G _ R
n
. diremos que:
1. G es un conjunto abierto en R
n
si G = G
o
2. G es un conjunto cerrado en R
n
si G
c
es un conjunto abierto.
.
Observacin.-
1. G es abierto==(\r G) (r
r
0) 1(r, r
r
) _ G.
2. G es cerrado==G = ad/(G).
.
Ejemplo.- Decidir si los siguientes conjuntos son abiertos o cerrados, indicar su
adherencia, interior y frontera.
1. 1((0, 0) , 1) y 1((0, 0) , 1)
2. G =
_
(r, j) R
2
: 0 < r < 1, j = 1
_
3. J =
_
(r, j) R
2
: 0 < r < 2
_
4. 1 =
_
(r, j) R
2
: 0 _ r < 3
_
.
Denicin.- Sea G _ R
n
. diremos que:
1. G es acotado si existe ' 0 tal que (\r G) |r| _ '.
2. G es compacto si es cerrado y acotado
.
Observacin.- G es acotado si est includo en alguna bola abierta.
5
1.2 LIMITE Y CONTINUIDAD
Denicin.- Sean 1 _ R
n
un conjunto abierto, ) : 1 _ R
n
R y r
0
un punto
de acumulacin de 1. Diremos que 1 R es el lmite de ) cuando r tiende a
r
0
si,
(\- 0) (c 0) 0 < |r r
0
| < c ==[) (r) 1[ < -
Observacin.-
1. Cuando el lmite anterior existe, es nico. En este caso lo denotamos por
1 = lim
r r
0
r 1
) (r) o 1 = lim
rr0
) (r) si no hay lugar a confusin.
2. Si lim
r r
0
r 1
) (r) = 1, 1
0
_ 1 y r
0
es un punto de acumulacin de 1
0
,
entonces lim
r r
0
r 1
0
) (r) = 1.
3. Sean 1
0
, 1
1
_ 1 tales que r
0
es un punto de acumulacin de 1
0
y 1
1
,
tenemos:
lim
r r
0
r 1
0
) (r) ,= lim
r r
0
r 1
1
) (r) == lim
r r
0
r 1
) (r) no existe
4. lim
ro
) (r) = 1 == lim
ro
[) (r) 1] = 0.
5. Si lim
ro
q (r) = 0 y [) (r) 1[ _ q (r), entonces lim
ro
) (r) = 1.
.
Ejemplos.-
1. Calcule lim
(r,)(0,0)
) (r, j) si existe, donde:
(a) ) : R
2
(0, 0) R, ) (r, j) =
_
j +r
2
_
r
2
j
2
r
2
+j
2
(b) ) : R
2
(0, 0) R, ) (r, j) =
c
r+
2
r
4
+j
4
2. Sean ), q : 1 _ R
n
R, 1 abierto y r
0
1. Si lim
rr0
) (r) = 0 y q es
acotada, entonces lim
rr0
) (r) q (r) = 0.
Nota.- Se dice que una funcin es acotada si su recorrido es un conjunto
acotado.
6
3. Considere ) (r, j) =
_

_
sin(r +j)
r +j
, j ,= r
r
2
cos
c
r
2
1 +r
2
, j = r
.
Calcule si existe lim
(r,)(0,0)
) (r, j)
4. Evalue usando el algebra de lmites, lim
(r,)(1,0)
_
r
3
3r
2
j
3
+j
4
1
_
5. Evalue usando el algebra de lmites, lim
(r,)(1,0)
sin
_
r
2
+j
2
1
_
r
2
+j
2
1
.
Ejercicios.-
1. Calcule lim
(r,)(0,0)
) (r, j) si existe, donde:
(a) ) : R
2
(0, 0) R, ) (r, j) =
r
2
j
2
r
2
+j
2
Indicacin.-
lim
(r, j) (0, 0)
j = r
) (r, j) = 0, lim
(r, j) (0, 0)
j = 2r
2
) (r, j) = 1
(b) ) : R
2
R, ) (r, j) =
_
_
_
r
r
2
j
2
r
2
+j
2
, (r, j) ,= (0, 0)
1 , (r, j) = (0, 0)
(c) ) : R
2
(0, 0) R, ) (r, j) =
2j
3
r
2
+j
2
(d) ) : R
2
(r, r) : r R R, ) (r, j) =
sin
_
r
2
j
2
_
r j
Indicacin.- [sint[ _ [t[
2. Calcular si existe
(a) lim
(r,)(1,2)
) (r, j) si (j + 2)
(r 1)
2
(j + 2)
2
(r 1)
2
+ (j + 2)
2
(b) lim
(r,)(1,0)
) (r, j) si ) (r, j) =
c
r+
3
1
(r 1)
2
+j
4
.
Teorema.- (Algebra de lmites) Sean ), q : 1 _ R
n
R y r
0
un punto de
acumulacin de 1. Si lim
rr0
) (r) y lim
rr0
q (r) existen, se tiene:
1. lim
rr0
[) (r) +q (r)] = lim
rr0
) (r) + lim
rr0
q (r)
7
2. lim
rr0
c) (r) = c lim
rr0
) (r), con c R
3. lim
rr0
[) (r) q (r)] = lim
rr0
) (r) lim
rr0
q (r)
4. lim
rr0
}(r)
(r)
=
lim
x!x
0
}(r)
lim
x!x
0
(r)
, si lim
rr0
q (r) ,= 0
Demostracin.- Anloga al caso de una variable. Queda como ejercicio.
.
Denicin.- Sean ) : 1 _ R
n
R, 1 abierto y r
0
1. Diremos que ) es
continua en r
0
si lim
rr0
) (r) = ) (r
0
).
Observacin.-
1. ) es continua en r
0
ssi
(\- 0) (c 0) 0 < |r r
0
| < c ==[) (r) ) (r
0
)[ < -
2. Sean ) : 1 _ R
n
R y r
0
1. ).no es continua en r
0
ssi lim
rr0
) (r) no
existe o lim
rr0
) (r) ,= ) (r
0
).
.
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto y r
0
1. Diremos que ) es
continua si lo es en cada punto de 1.
Ejemplos.- Estudie la continuidad de:
1. ) : R
2
R denida por
(a) ) (r, j) =
_
_
_
_
j +r
2
_
r
2
j
2
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
(b) ) (r, j) =
_
r
3
sin
j
r
j
2
sin
r
j
, rj ,= 0
0 , rj = 0
2. ) : R
2
(0, 0) R, ) (r, j) =
_
j +r
2
_
r
2
j
2
r
2
+j
2
.
Teorema.- Sean ), q : 1 _ R
n
R, 1 abierto de R
n
y r
0
1 un punto de
acumulacin.
a) Si ) y q son continuas en r
0
, entonces c) +,q es continuas en r
0
.
b) Si ) y q son continuas en 1, entonces c) +,q es continua en 1.
8
Demostracin.-
a) Inmediata del teorema lgebra de lmites.
b) Inmediata de a).
.
Teorema.- Sean ) : 1 _ R
n
R y q : R R continuas. Si 1 es abierto,
entonces q ) : 1 _ R
n
R es continua.
Demostracin.- Sea r
0
1. Sea - 0, entonces existe c 0 tal que (q es
continua en ) (r
0
))
[j ) (r
0
)[ < c ==[q (j) q () (r
0
))[ < -..... (+)
Dado que ) es continua en r
0
y c 0, existe c
t
0 tal que
|r r
0
| < c
t
==[) (r) ) (r
0
)[ < c..... (++)
De . (+) y (++);
|r r
0
| < c
t
==[q () (r)) q () (r
0
))[ = [(q )) (r) (q )) (r
0
)[
Se tiene:
(\- 0)
_
c
t
0
_
|r r
0
| < c
t
==[(q )) (r) (q )) (r
0
)[ < -
Por lo tanto, lim
rr0
(q )) (r) = (q )) (r
0
), lo que prueba que q ) es continua
en r
0
. En consecuencia q ) es continua sobre 1.
Denicin.- Sean ) : 1 _ R
n
R
n
, ) = ()
1
, )
2
, ......, )
n
) y r
0
1. Se
dice que ) es continua en r
0
si (\i = 1, 2, ...., :) )
I
es continua en r
0
.
Ejemplo.- Estudiar la continuidad de la funcin denida por:
1. ) (r, j) =
j
3
r + 1
r
4
+r
2
+ 1
2. ) (r, j) =
_
r
sinr
+rj
2
3 , r ,= :, para todo : Z
2 , r = :, para algn : Z
3. ) (r, j) =
_
_
_
(rj)
4
(rj)
4
+ (r j)
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
4. ) (r, j) =
_
_
_
r
3
j
[r[
3
+[j[
3
, (r, j) ,= (0, 0)
1 , (r, j) = (0, 0)
9
.
Ejercicios.-
1. Encontrar el lmite en cada punto de discontinuidad de las funciones del
ejemplo anterior, si este existe.
2. Estudiar la continuidad de las funciones denidas por:
(a) ) (r, j) =
_
_
_
(r 1)
4
(j + 2)
4
(r 1)
4
(j + 2)
4
+ (r j 3)
2
, (r, j) ,= (1, 2)
0 , (r, j) = (1, 2)
(b) ) (r, j) =
_
_
_
(r 8)
3
j
[r 8[
3
+[j[
, (r, j) ,= (8, 0)
1 , (r, j) = (8, 0)
(c) ) (r, j) =
_
_
_
r
3
j
4
[r[
3
+j
12
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
3. Calcular los siguientes lmites si existen:
(a) lim
(r, j) (0, 0)
(r, j) o
rj
r
2
+j
2
(b) lim
(r, j) (0, 0)
(r, j) o
r
2
j
2
r
2
+j
2
cuando o es uno de los siguientes subconjuntos de R
2
.
i. o = (r, j) : j = ar, a ,= 0
ii. o =
_
(r, j) : j
2
= ar
_
, a ,= 0
iii. o = (r, j) : r 0, j 0, j < r
iv. o = R
2
4. En que puntos no son continuas las funciones denidas por
(a) ) (r, j) =
_
_
_
r
2
j
2
r
2
+j
2
1
, r
2
+j
2
,= 1
0 , r
2
+j
2
= 1
(b) ) (r, j) =
_
_
_
sin
_
r
2
+j
2
_
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
(c) ) (r, j) =
_
_
_
2rj
(r
2
+j
2
)
1
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
10
(d) ) (r, j) =
_
_
_
r
3
j
3
r j
, r ,= j
0 , r = j
.
Denicin.- Sea ) : 1 _ R
n
R y sea r
0
un punto de acumulacin de 1.
Diremos que
1. lim
rr0
) (r) = + si \' 0, c 0 : 0 < |r r
0
| < c ==) (r) '.
2. lim
rr0
) (r) = si \' < 0, c 0 : 0 < |r r
0
| < c ==) (r) < '.
3. lim
]r]+o
) (r) = 1 si (\c 0) (' 0) |r| ' ==[) (r) 1[ < -.
.
Observacin.- Valen las reglas dadas para funciones de una variable. Basta
conocer el algebra en R.
Ejemplos.-
1. lim
(r,)(1,0)
1
[r 1[ +j
2
= +
2. lim
(r,)(0,0)
tan
_
r
2
+j
2

2
_
=
3. lim
(r,)(1,1)
sin(r j)
r j
c
tan

2
r
no existe.
1.3 DIFERENCIACION
1.3.1 DERIVADAS PARCIALES
Denicin.- Sean ) : 1 _ R
n
R, 1 abierto y sea r
0
1. \i = 1, 2, ...., :,
llamamos derivada parcial de ) c/r a r
I
, en el punto r
0
, al lmite
lim
|0
) (r
0
+/c
I
) ) (r
0
)
/
, si existe
E = c
1
, c
2
, ......, c
n
es la base cannica de R
n
.
Notacin.-
0)
0r
I
(r
0
) o )
ri
(r
0
)
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto y supongamos que ) admite
derivada parcial c/r a r
I
en cada punto de 1. Llamamos derivada parcial de )
c/r a r
I
a la funcin
0)
0r
I
: 1 _ R
n
R, r
0)
0r
I
(r) = lim
|0
) (r
1
, .., r
I
+/, ..., r
n
) ) (r
1
, ...., r
n
)
/
11
.
Observacin.-
1. Si : = 1, la derivada parcial de ) coincide con la derivada total u ordinaria
de )
2. De acuerdo con la denicin de derivadas parciales, dado r R
n
, obtener
0)
0r
I
(r) consiste en derivar a ) como si slo dependiera de una sola variable
r
I
, considerando al resto de ellas como constantes. Por esto siguen valiendo
las reglas de derivacin del clculo de funciones de una variable. En par-
ticular, si ) : 1 _ R
n
R y q : R R,
0)
0r
I
(r) existe y
dq
dn
() (r)) existe,
entonces
0 (q ))
0r
I
(r) existe y adems,
0 (q ))
0r
I
(r) =
dq
dn
() (r))
0)
0r
I
(r).
.
Ejemplos.-
1. Sea ) : R
3
R, ) (r, j, .) = r
3
j
2
+ rj
2
c
:
3
+ 2r 5j + 1. Encontrar
0)
0r
,
0)
0j
y
0)
0.
en el punto (1, 2, 0).
2. Sea ) : R
2
R, ) (r, j) =
_
_
_
r
_
r
r
2
j
2
r
2
+j
2
+ 1
_
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
.
Encontrar
0)
0r
(r, j) ,
0)
0j
(r, j) si existe.
3. Sea ) : R
2
R, ) (r, j) =
_
j
r
2
+j
, j ,= r
2
0 , j = r
2
.
Encontrar
0)
0r
(r, j) ,
0)
0j
(r, j) si existe.
.
Ejercicio.- Calcule las derivadas parciales si existen. Estudie adems la con-
tinuidad de las derivadas parciales.
1. ) : R
3
R, ) (r, j, .) = j
2
c
r
2
++2:
cos
_
j +.
3
_
2. ) : 1 _ R
2
R, ) (r, j) = ln(j
r
+ 1), donde 1 = (r, j) : j 0
3. ) : R
2
R, ) (r, j) = sin cos n
4. ) : R
3
R, ) (r, j, .) =
_
r
3
+ 3j
3
+
:
3
_
5
_
1 + cos
_
r
2
+j.
3
_
3
_
5
5. ) : 1 _ R
2
R, ) (r, j) = log

r, donde 1 = (r, j) : r 0, j 0
12
6. ) : R
4
R, ) (r, j, ., n) =
_
_
_
r
2
j
2
.
2
+n
2
, (., n) ,= (0, 0)
0 , (., n) = (0, 0)
7. ) : R
2
R, ) (r, j) =
_
r
2
j sin
1
r
, r ,= 0
0 , r = 0
.
Denicin.- Sean ) : 1 _ R
n
R y r
0
1. Supongamos que la derivada par-
cial
0)
0r
I
: 1 _ R
n
R existe. Dado , = 1, ....., :; llamamos derivada parcial de-
orden 2 de ) c/r r
I
primero y c/r a r

despus, evaluada en el punto r

0
a la
derivada parcial de la funcin
0)
0r
I
c/r a r

en el punto r
0
, si existe.
En forma anloga se denen las derivadas de ) de orden mayor o igual a 3.
Ejemplos.-
1. Sea ) : R
3
R, ) (r, j, .) = .
2
rj. Encontrar
0
2
)
0r
2
,
0
2
)
0r0.
,
0
3
)
0r0j0.
,
0
3
)
0j
2
0.
etc.
2. Sea ) : R
2
R, ) (r, j) =
_
_
_
r
2
j
2
, j ,= 0
r , j = 0
. Encontrar
0
2
)
0r
2
(a, 0) y
0
3
)
0r
3
(a, 0) si existe con a R.
.
Teorema(de Schwarz).- Consideremos ) : 1 _ R
n
R con 1 abierto de R
n
.
Supongamos que
0)
0r
I
,
0)
0r

,
0
2
)
0r
I
0r

existen y son continuas, entonces

0
2
)
0r

0r
I
existe y
0
2
)
0r

0r
I
=
0
2
)
0r
I
0r

.
Demostracin.- Ver Clculo de Funciones Vectoriales de Willianson, Crowell
y Trotter, pgina 221.
Observacin.- Sin la hiptesis de continuidad para )
r
(o )
r
) el teorema ante-
rior no es necesariamente vlido.
Ejemplo.- Sea ) : R
2
R, ) (r, j) =
_
_
_
rj
r
2
j
2
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
.
Se tiene:

0)
0r
(r, j) =
_
_
_
j
_
r
4
j
4
+ 4r
2
j
2
_
(r
2
+j
2
)
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
13

0)
0j
(r, j) =
_
_
_
r
_
j
4
r
4
+ 4r
2
j
2
_
(r
2
+j
2
)
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)

r
4
j
4
+ 4r
2
j
2

_ r
4
+j
4
+4r
2
j
2
_ 2r
4
+2j
4
+4r
2
j
2
= 2
_
r
2
+j
2
_
2
........ (+)

0)
0r
(r, j) 0

= [j[

r
4
j
4
+ 4r
2
j
2

(r
2
+j
2
)
2
_
+
2 [j[ 0, cuando (r, j) (0, 0).
Esto muestra la continuidad de
0)
0r
en (0, 0).
En forma anloga se muestra la continuidad de
0)
0j
en (0, 0).
.
0
2
)
0j0r
(r, j) =
r
6
j
6
+ 9r
4
j
2
9r
2
j
4
(r
2
+j
2
)
3
, (r, j) ,= (0, 0), y
0
2
)
0j0r
(0, 0) = 1.
lim
(r, j) (0, 0)
j = r
0
2
)
0j0r
(r, j) = 0
Por lo tanto
0
2
)
0j0r
no es continua en (0, 0).
En forma anloga se prueba que
0
2
)
0r0j
no es continua en (0, 0).
Ejercicios.-
1. Sea q : R
2
R, q (r, j) =
_
r
3
sin
j
r
j
2
sin
r
j
, rj ,= 0
0 , rj = 0
. demuestre
que
0
2
q
0j0r
y
0
2
q
0r0j
no son continuas.
2. Sea ) : R
3
R, ) (r, j, .) =
1
|(r, j, .)|
. Muestre que: )
rr
+)

+)
::
= 0.
.
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto. Si ) posee derivadas parciales
hasta el orden :, : N y estas son continuas sobre 1, diremos que ) es una
funcin de clase (
n
sobre 1, se escribe ) (
n
(1). se dice que ) (
o
(1) si
(\: N) ) (
n
(1).
Observacin.-
1. Se dice que ) es continuamente diferenciable sobre 1 si ) (
1
(1).
2. Se dice que ) es : veces continuamente diferenciable sobre 1 si )
(
n
(1).
3. ) (
0
(1) ==) es continua sobre 1.
4. Para funciones de una variable ) : G _ R R, la existencia de la derivada
de ) en un punto implica la continuidad de ) en ese punto. Este no es el
14
caso pra funciones ) : 1 _ R
n
R ya que la existencia de las derivadas
(parciales primeras) no implica la continuidad de ). Por ejemplo verique
que
) : R
2
R, ) (r, j) =
_
rj
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
tiene derivadas parciales (primeras) en todo punto, sin embargo ) no es
continua en el origen.
5. Se prueba que si ) tiene derivadas parciales (primeras) continuas sobre un
abierto 1 _ R
n
, entonces ) es continua sobre 1.
6. Sea ) : 1 _ R
2
R continua. sea o la supere denida por
. = ) (r, j) .
0)
0r
(a, /) es la pendiente de la curva de ecuacin . = ) (r, /) en el punto
(a, /, c), es decir, la pendiente de la supercie o en la direccin del eje r.
1.3.2 LA DIFERENCIAL
Sea ) : 1 _ R
n
R tal que
0)
0r
I
(r
0
) existe para i = 1, 2, ....., :. Consideremos
la aplicacin lineal 1 : R
n
R denida por 1(r) =
0)
0r
1
(r
0
) r
1
+
0)
0r
2
(r
0
) r
2
+
............ +
0)
0r
n
(r
0
) r
n
, donde A = (r
1
, ...., r
n
).
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto y sea r
0
1. Se dice que )
es diferenciable en r
0
si
lim
rr0
) (r) ) (r
0
) 1(r r
0
)
|r r
0
|
= 0
Si ) es diferenciable en r
0
, entonces a la aplicacin lineal 1 se la llama la
diferencial de ) en r
0
y se le denota por 1 = d
r0
).
Ejemplo.- Sea ) : R
2
R, ) (r, j) = r
2
+ 2rj. Muestre que ) es dife-
renciable en (2, 1).
15
.
Observacin.-
1. Consideremos ) diferenciable en r
0
. se tiene:
) (r) ) (r
0
) = 1(r r
0
) +- (r) (|r r
0
|), donde lim
rr0
- (r) = 0.
Por lo tanto,
) (r) ) (r
0
) - 1(r r
0
), para r cercano a r
0
.
) (r) ) (r
0
) - (r), para r cercano a r con (r) = 1(r) 1(r
0
).
2. La diferencial 1 = d
r0
) cuando existe es nica.
.
Teorema.- Si ) : 1 _ R
n
R es diferenciable en r
0
, entonces ) es continua en
r
0
.
Demostracin.- [1(r r
0
)[ _ '|r r
0
| (ya que ) es lineal).
[) (r) ) (r
0
)[ =
Obs.1.
[1(r r
0
) +- (r) (|r r
0
|)[ _
_ (' +- (r)) |r r
0
|
rr0
0.
Por lo tanto lim
rr0
) (r) = ) (r
0
).
Esto prueba que ) es continua en r
0
.
Ejemplo.- ) : R
2
R, ) (r, j) =
_
rj
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
, no es con-
tinua en (0, 0), luego no es ,diferenciable en (0, 0).
Observe que en este caso
0)
0r
(0, 0) =
0)
0j
(0, 0) = 0.
Observacin.- Sea ) : 1 _ R
n
R diferenciable en r
0
.
1. d
r0
) : R
n
R, d
r0
) (r) =
0)
0r
1
(r
0
) r
1
+
0)
0r
2
(r
0
) r
2
+............+
0)
0r
n
(r
0
) r
n
.
2. Notacin.- dr
I
(r) = r
I
.
3. d
r0
) =
0)
0r
1
(r
0
) dr
1
+
0)
0r
2
(r
0
) dr
2
+............ +
0)
0r
n
(r
0
) dr
n
.
Si no hay lugar a confusin escribimos
d) =
0)
0r
1
dr
1
+
0)
0r
2
dr
2
+............ +
0)
0r
n
dr
n
.
.
Ejemplo.- Se puede ver que ) : R
2
R, ) (r, j) = r
2
+ 2rj es diferenciable
sobre todo punto de R
2
. En este caso
d) = (2r + 2j) dr + 2rdj
d
(1,2)
) = 6dr + 2dj
16
1.3.3 PROPIEDADES DE FUNCIONES DIFERENCIABLES
Y EJEMPLOS
Teorema.- (Algebra de las funciones diferenciables)
Sean ), q : 1 _ R
n
R diferenciables en r
0
1, entonces ) + q, )q son
diferenciables en r
0
, y si q (r
0
) ,= 0, tambin lo es
)
q
. Adems:
d
r0
() +q) = d
r0
) +d
r0
q
d
r0
()q) = ) (r
0
) d
r0
q +q (r
0
) d
r0
)
d
r0
_
)
q
_
=
q (r
0
) d
r0
) ) (r
0
) d
r0
q
[q (r
0
)]
2
Demostracin.- Ejercicio
Observacin.-
1. Si ) : 1 _ R
n
R es constante, entonces (\r 1) d
r
) = 0.
2. En las condiciones de hiptesis del teorema, y si c es constante, entonces
d
r0
(c)) = cd
r0
()).
Demostracin.- 1. y 2. ejercicio.
.
Teorema.- Supongamos que )
r1
, )
r2
, ......, )
rn
existen en una vecindad de r
0
=
(c
1
, c
2
, ........, c
n
) y son continuas en r
0
. Entonces ) es diferenciable en r
0
.
Demostracin.- Ver Trench, pgina 344.
Observacin.-
1. Diremos que ) es continuamente diferenciable sobre el abierto 1 _ R
n
si
) (
1
(1).
2. Si ) (
1
(1), entonces ) es diferenciable sobre el abierto 1.
.
Ejemplos.-
1. Sea ) : R
3
R, ) (r, j, .) =
_
_
_
sin(rj.)
r
2
+j
2
+[.[
, (r, j, .) ,= (0, 0, 0)
0 , (r, j, .) = (0, 0, 0)
.
(a) Muestre que ) es diferenciable en (0, 0, 0).
(b) Muestre que ) es diferenciable en (1, 2, 1).
(c) Encuentre la (buena) aproximacin de ) en alguna vecindad del punto
(1, 0, 1).
17
2. Sea ) : R
2
R, ) (r, j) =
_
_
_
(r j)
2
sin
1
r j
, r ,= j
0 , r = j
. Se tiene:
(a)
0)
0r
(r, j) = 2 (r j) sin
1
r j
cos
1
r j
; r ,= j.
(b)
0)
0r
(a, a) = lim
|0
) (a +/, a) ) (a, a)
/
= lim
|0
/sin
1
/
= 0.
(c) De la misma manera:
0)
0j
(r, j) =
_
_
_
2 (r j) sin
1
r j
+ cos
1
r j
, r ,= j
0 , r = j
(d) lim
(r, j) (a, a)
j = a
0)
0r
(r, j) =
= lim
(r, j) (a, a)
j = a
_
2 (r j) sin
1
r j
cos
1
r j
_
=
= lim
ro
_
2 (r a) sin
1
r a
cos
1
r a
_
: No existe
(e) Por lo tanto
0)
0r
es discontinua en (a, a) con a R.
(f) De la misma manera se muestra que
0)
0j
es discontinua en (a, a) con
a R.
(g) En particular
0)
0r
y
0)
0j
son discontinuas en (0, 0). Sin embargo ) es
diferenciable en (0, 0) ya que:
lim
(r,)(0,0)
) (r, j) ) (0, 0) )
r
(0, 0) r )

(0, 0) j
_
r
2
+j
2
=
= lim
(r,)(0,0)
) (r, j)
_
r
2
+j
2
,

) (r, j)
_
r
2
+j
2

_
(r j)
2

sin
1
r j

_
r
2
+j
2
_
(r j)
2
_
r
2
+j
2
=
_
r
2
+j
2
2rj
_
r
2
+j
2
_
r
2
+j
2
+r
2
+j
2
_
r
2
+j
2
_
_ 2
_
r
2
+j
2

(r,)(0,0)
0.
.
Observacin.- Esto muestra que las hiptesis del teorema anterior son sucientes
pero no necesarias (es decir, el recproco no es vlido).
18
1.3.4 FUNCIONES DIFERENCIABLES DE R
n
en R
n
Denicin.- Dada una funcin vectorial
) : 1 _ R
n
R
n
, ) = ()
1
, )
2
, ......., )
n
)
y r
0
un punto de acumulacin de 1 , se dene
lim
rr0
) (r) =
_
lim
rr0
)
1
(r) , lim
rr0
)
2
(r) , ......., lim
rr0
)
n
(r)
_
Se dice que ) es continua en un punto r
0
1 si cada funcin componente es
continua en r
0
. Se dice que ) es continua en 1 si cada funcin componente es
continua en 1.
Ejemplos.- Sea ) : R
3
R
2
, ) (r, j, .) =
_
r
2
+ 1
j
2
.
2
+ 3
, rj .
2
_
. Se tiene:
1. lim
(r,,:)(1,0,2)
) (r, j, .) =
_
2
3
, 4
_
2. )
1
: R
3
R, )
1
(r, j, .) =
r
2
+ 1
j
2
.
2
+ 3
y )
2
R
3
R, )
2
(r, j, .) = rj .
2
son
las funciones componentes de ).
3. ) es continua ya que sus funciones componentes lo son.
.
Denicin.- Sea ) : 1 _ R
n
R
n
, 1 abierto y sea r
0
1. Se dice que )
es diferenciable en r
0
si cada funcin componente lo es. En tal caso d
r0
) =
_
d
x
0
)
1
, d
x
0
)
2
, ......, d
x
0
)
n
_
.
Observacin.-
1. ) es diferenciable en r
0
si existe una aplicacin lineal 1 : R
n
R
n
tal
que
lim
rr0
) (r) ) (r
0
) 1(r r
0
)
|r r
0
|
= 0.
2. d
r0
) es nica, cuando existe.
3. Si ) es diferenciable en r
0
, entonces ) es continua en r
0
.
4. Una aplicacin T : R
n
R
n
se dice afn si existe 1 : R
n
R
n
lineal y
existe

R
n
jo tal que(\r R
n
) T (r) = 1(r) +

.
.
Observacin.- Si ) : 1 _ R
n
R
n
es diferenciable en r
0
, entonces ) tiene una
aproximacin afn en una vecindad de r
0
.
Demostracin.- ) = ()
1
, )
2
, ......, )
n
) y cada funcin componente de ) puede
aproximarse por una funcin afn en una vecindad de r
0
(ya que cada )
I
es
diferenciable en r
0
).
19
1.3.5 PROPIEDADES DE FUNCIONES DIFERENCIABLES
1. Si ) : 1 _ R
n
R
n
, ) (r) = /; con / R
n
constante, entonces ) es
diferenciable en todo punto r
0
de 1 y adems:
d
r0
) = 0 (aplicacin lineal nula)
2. Si ) : 1 _ R
n
R
n
, ) (r) = 1(r) +

(aplicacin afn) entonces ) es

diferenciable en todo punto r
0
de R
n
, y adems:
d
r0
) = 1.
3. Si ) : R
n
R
n
R
n
es bilineal, entonces ) es diferenciable en todo punto
(r
0
, j
0
) de R
n
R
n
, y adems
d
(r0,0)
) : R
n
R
n
R
n
, d
(r0,0)
) (r, j) = ) (r
0
, j) +) (r, j
0
)
.
Ejemplo.- ) : R
2
R
2
R, ) (r, j, n, ) = (2r j) (n 3) es bilineal sobre R
2
.
) es diferenciable sobre todo punto de R
2
R
2
, en particular ) es diferenciable
en (1, 0, 0, 1) y adems:
d
(1,0,0,1)
) : R
2
R
2
R, d
(1,0,0,1)
) (r, j, n, ) =
= ) ((1, 0, n, .) +) (r, j, 0, 1)) =
= 2n 6 6r + 3j
Observacin.- Vale tambin el lgebra de funciones diferenciables dada para
funciones ) : 1 _ R
n
R.
Nota.-
1. ) : 1 _ R
n
R
n
(
:
(1) ==(\i = 1, 2, ......, :) )
I
(
:
(1).
2. Para ) : ]a, /[ R
n
, se tiene:
) = ()
1
, )
2
, ......, )
n
)
)
t
(t) = ()
t
1
(t) , )
t
2
(t) , ......, )
t
n
(t))
d
|0
)
I
: R R, d
|0
)
I
(t) = )
t
I
(t
0
) t
d
|0
) : R R
n
, d
|0
) (t) = )
t
(t
0
) t =
= (d
|0
)
1
(t) , d
|0
)
2
(t) , ..........., d
|0
)
n
(t))
20
1.3.6 MATRIZ JACOBIANA
Denicin.- Si ) : 1 _ R
n
R
n
es diferenciable en r
0
1, se llama
Matriz Jacobiana de ) en r
0
, a la matriz
J (), r
0
) =
_
_
_
_
_
_
_
_
_
_
_
_
_
0)
1
0r
1
(r
0
)
0)
1
0r
2
(r
0
) . . .
0)
1
0r
n
(r
0
)
0)
2
0r
1
(r
0
)
0)
2
0r
2
(r
0
) . . .
0)
2
0r
n
(r
0
)
.
.
.
.
.
.
.
.
.
.
.
.
0)
n
0r
1
(r
0
)
0)
n
0r
2
(r
0
) . . .
0)
n
0r
n
(r
0
)
_
_
_
_
_
_
_
_
_
_
_
_
_
donde ) = ()
1
, )
2
, ......, )
n
).
Observacin.-
1. J (), r
0
) = [d
r0
)], es decir, la matriz Jacobiana de ) en r
0
es la matriz de
la aplicacin lineal d
r0
) : R
n
R
n
en las bases cannicas de R
n
y R
n
.
2. Se obtiene:
d
r0
) (r) = J (), r
0
) r
|
.
Ejemplo.- Si T : R
2
R
2
, T (r, 0) = (r cos 0, r sin0), entonces
J (T, (r, 0)) =
_
_
_
0T
1
0r
(r, 0)
0T
1
00
(r, 0)
0T
2
0r
(r, 0)
0T
2
00
(r, 0)
_
_
_ =
_
cos 0 r sin0
sin0 r cos 0
_
1.3.7 REGLA DE LA CADENA
(diferencial de la compuesta)
Teorema (Regla de la cadena).- Sea q : R
|
R
n
diferenciable en r
0
. Sea
) : R
n
R
n
diferenciable en q (r
0
). Entonces / = ) q : R
|
R
n
es
diferenciable en r
0
y se tiene que:
d
r0
/ = d
(r0)
) d
r0
q
Observacin.- J (/, r
0
) = J (), q (r
0
)) J (q, r
0
).
Ejemplo.- Sea / : R
2
R, /(r, j) =
_
_
_
r
2
j
2
sin
1
rj
, rj ,= 0
0 , rj = 0
. Decida si /
es diferenciable en (0, 0).
21
Solucin.- / = ) q, con ) (t) =
_
t
2
sin
1
t
, t ,= 0
0 , t = 0
y q (r, j) = rj.
Note que / es diferenciable en todo punto (a, 0) y (0, /) con a, / R.
Observacin.- Si ) : 1 _ R
n
1 _ R
n
es biyectiva y diferenciable en r
0
,
entonces J
_
)
1
, ) (r
0
)
_
= J (), r
0
)
1
.
Regla de la cadena para derivadas parciales
Notacin.-
0 (/
1
, /
2
, ........, /

)
0 (:
1
, :
2
, ........, :
j
)
denota la matriz Jacobiana
_
0/
I
0:

_
i = 1, 2, ......, j
, = 1, 2, ......,
, es decir
0 (/
1
, /
2
, ........, /

)
0 (:
1
, :
2
, ........, :
j
)
=
_
_
_
_
_
_
_
_
_
0/
1
0:
1
0/
1
0:
2
. . .
0/
1
0:
j
. . . .
. . . .
. . . .
0/

0:
1
0/

0:
2
. . .
0/

0:
j
_
_
_
_
_
_
_
_
_
Teorema.- Si n
1
= )
1
(r
1
, ....., r
n
) , ................, n
n
= )
n
(r
1
, ....., r
n
) denen a
: funciones diferenciables; y si r
1
= q
1
(t
1
, ...., t
|
) , ..........., r
n
= q
n
(t
1
, ...., t
|
),
entonces
0 (n
1
, ......, n
n
)
0 (t
1
, ......., t
|
)
=
0 (n
1
, ......, n
n
)
0 (r
1
, ......., r
n
)

0 (r
1
, ......., r
n
)
0 (t
1
, ......., t
|
)
(+)
.
Observacin.- Comparando coecientes de las matrices Jacobianas en (+) tene-
mos:
0n
I
0t

=
0n
I
0r
1
0r
1
0t

+
0n
I
0r
2
0r
2
0t

+............ +
0n
I
0r
n
0r
n
0t

Ejemplos.-
1. Encontrar
0n
0r
y
0n
00
si n = /(r, j); r e j en coordenadas polares.
2. (derivacin implcita) Dada la relacin .
2
r
3
j +r
2
3 = .
3
j +j
4
, suponga
que . = ) (r, j); r = n
2
, j =
3
. Encontrar
0.
0n
,
0.
0
y
0
2
.
00n
.
Indicacin.-
0.
0n
=
0.
0r
0r
0n
+
0.
0j
0j
0n
.
22
.
Ejercicio.- Demuestre que en coordenadas polares la ecuacin
0
2
n
0r
2
+
0
2
n
0j
2
= 0
se convierte en
0
2
n
0r
2
+
1
r
2
0
2
n
00
2
+
1
r
0n
0r
= 0.
1.3.8 DERIVADAS DIRECCIONALES
Denicin.- Sean ) : 1 _ R
n
R y r R
n
. Llamamos derivada de ) en r
0
segn el vector r, a la derivada si existe de la funcin
q : _ R R, q (t) = ) (r
0
+tr) en t = 0.
.
Notacin.- 1
r
) (r
0
) = lim
|0
) (r
0
+tr) ) (r
0
)
t
Denicin.- Sea ) : 1 _ R
n
R diferenciable en el abierto 1. Se dene el
gradiente de ) como el campo vectorial
qrad) : 1 _ R
n
R
n
, qrad) (r) =
_
0)
0r
1
(r) ,
0)
0r
2
(r) , ........,
0)
0r
n
(r)
_
.
Notacin.- qrad) (r) = \) (r).
Teorema.- Sea ) : 1 _ R
n
R, 1 abierto y sea r
0
1. Si ) es diferenciable
en r
0
, entonces: (\r R
n
) 1
r
) (r
0
) existe y
1
r
) (r
0
) = d
r0
) (r) = \) (r
0
) r
.
Observacin.- La demostracin de la 1
o
igualdad es anloga al caso
0)
0r
I
(r
0
) = d
r0
) (c
I
) .
.
Denicin.- Sea R
n
, diremos que es una direccin en R
n
si || = 1.
Observacin.-
1. Para : = 1, las nicas direcciones son
1
= 1 y
2
= 1.
2. Para : = 2, toda direccin se puede denir en la forma = (cos 0, sin0),
con 0 _ 0 < 2.(0 determina la direccin).
3. Para : _ 2, las componentes de una direccin satisfacen las relaciones

I
= cos 0
I
; i = 1, 2, ...., :
0
I
es el ngulo formado por y c
I
, donde c
I

n
I=1
es la base cannica de
R
n
.
23
.
Denicin.- Dados un punto r
0
y una direccin en R
n
, la recta que pasa por
r
0
+ y r
0
se llama recta que pasa por r
0
con direccin . Esta viene dada
por:
r R
n
: r = r
0
+t, t R
.
Denicin.- Sea ) : 1 _ R
n
R, 1 abierto.Sean r
0
1 y una direccin.
Llamamos Derivada de ) en r
0
en la direccin a
0)
0
(r
0
) = lim
|0
) (r
0
+t) ) (r
0
)
t
, si existe
.
Observacin.-
1. Ms simplemente llamamos a
0)
0
(r
0
) derivada direccional de ) en r
0
.
2.
0)
0r
I
(r
0
) es un caso particular de derivada direccional
0)
0r
I
(r
0
) =
0)
0c
I
(r
0
) .
3. La recta que pasa por r
0
y direccin , es la misma que pasa por r
0
y
direccin , sin embargo los sentidos son opuestos, luego resulta natural
que
0)
0 ()
(r
0
) =
0)
0
(r
0
)
.
Ejemplo.- Para ) : R
2
R, ) (r, j) =
_
_
_
r
2
j
, j ,= 0
0 , j = 0
. Pruebe que:
_
\

= (a, /) : a
2
+/
2
= 1
_
;
0)
0
(0, 0) =
_
_
_
a
2
/
, / ,= 0
0 , / = 0
.
24
Sin embargo ) no es continua en (0, 0).
Ejercicio.- Sea ) : R
2
R, ) (r, j) =
_
_
_
r
3
j
3
r
2
+j
2
, (r, j) ,= (0, 0)
0 , (r, j) = (0, 0)
. Pruebe
que:
1

) (0, 0) =
_
a
3
/
3
, (a, /) ,= (0, 0)
0 , (a, /) = (0, 0)
; con

A = (a, /) .
Sin embargo ) no es diferenciable en (0, 0).
Indicacin.-
0)
0r
(0, 0) = lim
|0
) (/, 0)
/
= lim
|0
/
/
= 1
0)
0j
(0, 0) = lim
|0
) (0, /)
/
= lim
|0
/
/
= 1
lim
(r,)(0,0)
) (r, j)
0)
0r
(0, 0) r
0)
0j
(0, 0) j
_
r
2
+j
2
= lim
(r,)(0,0)
r
3
j
3
r
2
+j
2
r +j
_
r
2
+j
2
=
= lim
(r,)(0,0)
r
3
j
3

_
r
2
+j
2
_
(r +j)
(r
2
+j
2
)
_
r
2
+j
2
lim
(r,)(0,0)
=r
x>0
r
3
j
3

_
r
2
+j
2
_
(r +j)
(r
2
+j
2
)
_
r
2
+j
2
= lim
r0
x>0
4r
3
2
_
2r
3
=
2
_
2
=
_
2
Teorema.- Sea

= (cos 0
1
, cos 0
2
, ......., cos 0
n
) una direccin en R
n
. entonces
si ) es diferenciable en r
0
,
0)
0
(r
0
) = \) (r
0
)

,
es decir,
0)
0
(r
0
) =
0)
0r
1
(r
0
) cos 0
1
+
0)
0r
2
(r
0
) cos 0
2
+........... +
0)
0r
n
(r
0
) cos 0
n
.
En particular para : = 2;
0)
0
(r
0
, j
0
) =
0)
0r
(r
0
, j
0
) cos 0 +
0)
0j
(r
0
, j
0
) sin0, con

= (cos 0, sin0)
.
Ejemplo.- Sea ) : R
3
R, ) (r, j, .) = r
2
+ 2j
2
+ 3.
2
. Encontrar la derivada
direccional de ) en el punto (r
0
, j
0
, .
0
) = (1, 1, 1), en la direccin de

1
= (1, 1, 1).
DERIVADA DIRECCIONAL MAXIMA
Teorema.- Sean 1 _ R
n
abierto, ) : 1 _ R
n
R diferenciable en r
0
. La
derivada direccional de ) en r
0
es mxima en la direccin del vector gradiente
n =
\) (r
0
)
|\) (r
0
)|
25
Observacin.- Segn el teorema:
(\ R
n
: |

| = 1)

0)
0
(r
0
)

_
0)
0n
(r
0
) , donde n =
\) (r
0
)
|\) (r
0
)|
.
Demostracin de teorema.-
0)
0
(r
0
) = \) (r
0
)

0)
0
(r
0
)

= [\) (r
0
)

[ _ |\) (r
0
)|
Si n =
\) (r
0
)
|\) (r
0
)|
, entonces
0)
0n
(r
0
) = \) (r
0
)
\) (r
0
)
|\) (r
0
)|
= |\) (r
0
)| .
Ejemplo.- En el anterior, cul es el valor mximo de la derivada direccional en
(1, 1, 1) y cul es su direccin?.
Ejercicio.- Hallar los puntos (r, j) y las direcciones para las que la derivada
direccional de la funcin denida por ) (r, j) = 3r
2
+j
2
tiene el valor mximo
si (r, j) est en la circunferencia r
2
+j
2
= 1.
Indicacin.-
0)
0n
(r, j) es mxima si n(r, j) =
\) (r, j)
|\) (r, j)|
\) (r, j) = (6r, 2j); |\) (r, j)| = 2
_
9r
2
+j
2
;
n =
_
3r
_
9r
2
+j
2
,
j
_
9r
2
+j
2
_
0)
0n
(r, j) = |\) (r, j)| = 2
_
9r
2
+j
2
: es el valor de la derivada direccional
mxima en la direccin de n(r, j).
Sea q (r, j) = 2
_
9r
2
+j
2
; con r = cos 0, j = sin0 queda
q (0) = 2
_
1 + 8 cos
2
0
Considere /(0) = q (0)
2
y encuentre los extremos de / con 0 _ 0 _ 2.
1.4 Aplicaciones
Teorema de la funcin inversa
Teorema.- Sea ) : o _ R
n
R
n
, o abierto, ) = ()
1
, )
2
, ....., )
n
) de clase
(
1
y sea T = ) (o).
Supongamos que el Jacobiano [J (), r
0
)[ , = 0, en algn punto r
0
de o.
Entonces existen una nica funcin q y dos conjuntos abiertos A _ o e 1 _ T
tales que
26
i) r
0
A y ) (r
0
) 1
ii) 1 = ) (A)
iii) ) es inyectiva sobre A
iv) q est denida sobre 1 , q (1 ) = A y
(\r A) q () (r)) = r
v) q (
1
(1 )
.
Ejemplo.- Dada la funcin denida por ) (r, j) =
_
r
_
j, j
_
r
_
; r _ 0, j _ 0.
a) Admite ) una inversa en una vecindad l de (4, 4)?.
b) Si ) admite una inversa en una vecindad de (4, 4), determine la aproxi-
macin afn de )
1
en el punto (8, 8).
Solucin.- Consideramos
) : o _ R
2
R
2
, ) (r, j) =
_
r
_
j, j
_
r
_
con
o =
_
(r, j) R
2
: r 0, j 0
_
o es abierto, ) (
1
(o) y [J (), (4, 4))[ = 3 ,= 0.
Por lo tanto,
a) ) admite una inversa local de clase (
1
denida en una vecindad l de
(4, 4).
b) ) (4, 4) = (8, 8)
La aproximacin afn de )
1
en el punto (8, 8) tiene ecuacin:
1(n, ) = )
1
(8, 8) +d
(8,8)
)
1
(n 8, 8)
= (4, 4) +J
_
)
1
, (8, 8)
_
_
n 8
8
_
= (4, 4) +J (), (4, 4))
1
_
n 8
8
_
= (4, 4) +
_
2 1
1 2
_
1
_
n 8
8
_
1(n, ) =
_
2n + 4
3
,
2 n + 4
3
_
.
Ejercicio.- Sea ) denida por
) (r, 0) = (r cos 0, r sin0, .) ; 0 < r, 0 < 0 < 2, . R.
27
a) Calcule (si existe) la diferencial de ) en
_
1,

3
, 0
_
.
b) Existe inversa local de ) cerca de
_
1,

2
, 0
_
?.
c) Calcule la aproximacin afn de )
1
en (1, 0, 0).
.
Notacin.- Sea r R
n
, t R
|
; (r, t) R
n+|
.
Teorema de la funcin implcita
Teorema.- Sea 1 : o _ R
n+n
R
n
(
1
(o), o abierto, tal que (r
0
, n
0
) o.
Suponemos que:
i) 1 (r
0
, n
0
) = 0
ii) 1
u
(r
0
, n
0
) es no singular, es decir,
det 1
u
(r
0
, n
0
) =

0)
1
0n
1
.. ..
0)
1
0n
n
: :
: :
0)
n
0n
1
.. ..
0)
n
0n
n

,= 0.
Entonces, existe una vecindad abierta ' de (r
0
, n
0
) contenida en o, y
una vecindad abierta de r
0
en R
n
sobre la cual est denida una nica
transformacin G : _ R
n
R
n
tal que:
I) (r, G(r)) ', r
II) G(r
0
) = n
0
III) 1 (r, G(r)) = 0, r
Ms an, G es continuamente diferenciable sobre y
J
r
G = [1
u
(r, n)]
1
1
r
(r, G(r))
.
Corolario.- Sea ) : R
n+1
R de clase (
1
sobre el abierto o, tal que (r
0
, n
0
) o.
Suponemos que:
i) ) (r
0
, n
0
) = 0
ii) )
u
(r
0
, n
0
) ,= 0.
Entonces, existe una vecindad ' de (r
0
, n
0
) contenida en o, y una vecin-
dad de r
0
en R
n
sobre la cual est denida una nica funcin q : _
R
n
R tal que:
28
I) (r, q (r)) ', r
II) q (r
0
) = n
0
III) ) (r, q (r)) = 0, r
Adems: q (
1
() y
q
ri
(r) =
)
ri
(r, q (r))
)
u
(r, q (r))
, 1 _ i _ :.
.
Ejemplo.-
1. Sea ) : R
3
R, ) (r, j, .) = (j +.) cos r. Pruebe que ) dene una
funcin implcita diferenciable . = /(r, j) en una vecindad de (0, 0, 0).
Halle d
(0,0)
/.
Solucin.-
) : o _ R
3
R, ) (r, j, .) = (j +.) cos r con o = R
3
o es abierto, (0, 0, 0) o, ) (
1
(o)
) (0, 0, 0) = 0 y
0)
0.
(0, 0, 0) = 1 ,= 0.
Por lo tanto, ) dene una funcin implcita diferenciable . = /(r, j) en
una vecindad de (0, 0, 0) y adems:
0/
0r
(r, j) =
0)
0r
(r, j, .)
0)
0.
(r, j, .)
= (j +.) tanr
0/
0j
(r, j) =
0)
0j
(r, j, .)
0)
0.
(r, j, .)
= 1
De esta manera
J (/, (0, 0)) =
_
0/
0r
(0, 0) ,
0/
0j
(0, 0)
_
= (0, 1)
J (/, (0, 0))
_
r
j
_
= (0, 1)
_
r
j
_
= (j) = j,
d
(0,0)
/ : R
2
R, d
(0,0)
/(r, j) = j.
2. Suponga que las variables r, j, n, estn relacionadas por el sistema de
ecuaciones:
r
2
j
2
= 2n 15
r + 2rj = n
2

2
+ 10
Sea 1
0
(1, 2, 2, 3).
29
(a) Pruebe que este sistema dene a n y como funciones diferenciables
de (r, j) en una vecindad del punto (1, 2).
(b) Determine
0
0j
(1, 2) ,
0
2
n
0r
2
(1, 2)
(c) Sean n = /(r, j) , = q (r, j) las funciones implcitas cuya existen-
cia se prob en i). Muestre que ) = (/, q) admite funcin inversa
diferenciable en una vecindad del punto (1, 2).
(d) Determine la transformacin afn que aproxima )
1
en una vecindad
del punto (2, 3).
Indicacin.- 1 : R
4
R
2
,
1 (r, j, n, ) =
_
r
2
j
2
+ 2n + 15, r + 2rj n
2
+
2
10
_
1 (
1
_
R
4
_
, 1 (1, 2, 2, 3) = (0, 0) y [1
I
(A
0
, l
0
)[ = 52 ,= 0.
Por lo tanto:
(a) Existe ) : _ R
2
R
2
diferenciable tal que
) (r, j) = (/(r, j) , q (r, j)) = (n, )
(b) J (), (1, 2)) = (J
I0
1)
1
(J
0
1) =
1
52
_
6 4
4 6
__
2 4
5 2
_
=
=
_
_
_

8
13
4
13

11
26

7
13
_
_
_ =
_
_
_
0n
0r
(1, 2)
0n
0j
(1, 2)
0
0r
(1, 2)
0
0j
(1, 2)
_
_
_
(c) ) es de clase (
1
(del T. de la F. Implcita), [J (), (1, 2))[ =
6
13
,= 0. Por el
T. de la F. Inversa, ) es localmente invertible.
(d) J
_
)
1
, (2, 3)
_
= J (), (1, 2))
1
=
1
12
_
14 8
11 16
_
La aproximacin afn de )
1
en una vecindad de (2, 3) est denida por:
1(n, ) = )
1
(2, 3) +d
(2,3)
)
1
(n + 2, 3) = (r, j)
Nota.-
0
0j
(1, 2) ,
0
2
n
0r
2
(1, 2) de la parte (b) se pueden obtener derivando
implcitamente en el sisitema dado. Se obtiene
0
2
n
0r
2
(1, 2) =
64
13
.
.
Ejercicios.-
1. En el ejemplo 1. anterior determine adems la ecuacin del espacio (plano)
tangente a la supercie o =
_
(r, j) R
2
: /(r, j) = 0
_
en (0, 0).
30
2. Pruebe que la ecuacin
rj. + sin(. 6) 2
_
r +j +r
2
j
2
_
= 0
dene en una vecindad del punto 1
0
(1, 1, 6) a . como funcin implcita de
r e j; es decir, . = ,(r, j).
Determine ,
r
(1, 1) , ,

(1, 1) , ,
r
(1, 1) , ,

(1, 1) , ,
rr
(1, 1).
.
Propiedades del gradiente. Curvas y supercies de nivel
Si c : 1 _ R
n
R, 1 abierto, y c diferenciable, entonces
qradc : 1 _ R
n
R
n
, qradc(r) = \c(r) =
_
0c
0r
1
(r) ,
0c
0r
2
(r) , ......,
0c
0r
n
(r)
_
Si c y c : 1 _ R
n
R son diferenciables, entonces:
a) \(c +c) = \c +\c b) \(cc) = c\c +c\c
c) \(c,c) =
1
c
2
(c\c c\c), para r 1 tal que c (r) ,= 0.
Demostracin.- Son consecuencia inmediata de la denicin de \) y de
las propiedades de las derivadas.
.
Interpretacin geomtrica.- Consideremos : = 3, c=cte. y sea
1
c
=

r 1 : c(

r ) = c
1
c
es una supercie en R
3
si di:1
c
= 2. Si este es el caso entonces, 1
c
tiene
un plano tangente en el punto

a = (a
1
, a
2
, a
3
) de ella y la ecuacin del plano
tangente es:
\c(

a ) (

a ) = 0,
es decir
0c
0r
(

a ) (r a
1
) +
0c
0j
(

a ) (j a
2
) +
0c
0.
(

a ) (. a
3
) = 0.
Esto es el vector \c(

a ) es normal al plano tangente, luego es normal a la

supercie 1
c
denida por la ecuacin c(

r ) = c en el punto

a .
31
Observacin.-
1. Dicho plano tangente existe en todo punto

a tal que c(

r ) ,=

0 .
2. Si c(r, j, .) = ) (r, j) ., entonces
\c(r, j, .) =
_
0)
0r
(r, j) ,
0)
0j
(r, j) , 1
_
l1
c
.
.
Consideremos ahora : = 2, entonces 1
c
=

r 1 : c(

r ) = c es una curva
en R
2
. Si \c(

a ) ,=

0 ,

a = (a
1
, a
2
), entonces la recta tangente a la curva G
c
en el punto

a tiene ecuacin
0c
0r
(

a ) (r a
1
) +
0c
0j
(

a ) (j a
2
) = 0
y \c(

a ) es normal a dicha tangente, y luego lo es a la curva G

c
en el punto

a .
Denicin.- El campo escalar c cuyo gradiente es \c se llama funcin poten-
cial del campo vectorial \c.
Las correspondientes supercies 1
c
, denidas por c(

r ) = c, r 1, se llaman
supercies equipotenciales o supercies de nivel si : 2. Si : = 2 se habla de
curvas equipotenciales o de nivel.
.
Clculo III - 521227
23 de Marzo de 2010
JRC
32
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
2 EXTREMOS DE FUNCIONES CON
VALORES REALES
2.1 Mximos y Mnimos
Denicin.- Sea ) : 1 _ R
n
R y sea r
0
1. Se dice que:
1. r
0
es un punto de mximo absoluto para ) si
(\r 1) ) (r) _ ) (r
0
)
2. r
0
es un punto de mnimo absoluto para ) si
(\r 1) ) (r
0
) _ ) (r)
3. r
0
es un punto de mximo local para ) siexiste r 0 tal que
(\r 1(r
0
, r) 1) ) (r) _ ) (r
0
)
4. r
0
es un punto de mnimo local para ) si existe r 0 tal que
(\r 1(r
0
, r) 1) ) (r
0
) _ ) (r)
.
Observacin.-
1. El procedimiento para hallar valores extremos absolutos o relativos es muy
semejante al usado para funciones de una variable. Solo que ahora hay
ms derivadas dado que se trata de funciones de varias variables
2. En analoga al caso de una variable tambin se obtiene el siguiente resul-
tado: Una funcin continua r ) (r) alcanza un valor mximo y un valor
mnimo (absolutos) sobre cualquier regin 1 cerrada y acotado en que este
denida. Adems, estos extremos slo pueden hallarse en los puntos de
frontera de 1 o en los puntos interiores de 1 en los que )
r
= )

= 0 o
donde )
r
o )

no existan ("puntos crticos de )").

.
Teorema.- Sea ) : 1 _ R
n
R y sea r
0

o
1. Si )
r1
(r
0
) , )
r2
(r
0
) , ........, )
rn
(r
0
)
existen y r
0
es un extremo local de ), entonces
(\i = 1, 2, ....., :) )
ri
(r
0
) = 0
33
Demostracin.- Basta denir: (\i = 1, 2, ....., :) q
I
(t) = ) (r
0
+tc
I
), donde c
I

n
I=1
es la base cannica de R
n
.
Se tiene que q
I
es derivable en t
0
= 0, q
t
I
(0) = )
ri
(r
0
).
Adems t
0
= 0 es un extremo local de q
I
. Por lo tanto
q
t
I
(0) = )
ri
(r
0
) = 0
3. Tambin en analoga al caso de una variable, es vlido el siguiente resul-
tado:
.
Teorema.- De los valores extremos
Si ) : 1 _ R
n
R es continua sobre el conjunto cerrado y acotado 1, entonces
existen 1
1
, 1
2
1 tales que
(\r 1) ) (1
1
) _ ) (r) _ ) (1
2
)
Ejemplo.- Sean 1 =
_
(r, j) R
2
: 1 _ r
2
+j
2
_ 2
_
y ) : 1 _ R
2
R denida
por ) (r, j) = c
r
2
+
2
. Entonces ) alcanza su mximo valor sobre 1.
4. El recproco del teorema de la observacin 2. no es cierto.
.
Ejemplo.- Sean ) : R
2
R, ) (r, j) = r
3
+j
3
y (r
0
, j
0
) = (0, 0), entonces:
0)
0r
(0, 0) =
0)
0j
(0, 0) = 0
y (0, 0) no es un punto de mnimo ni de mximo local de ) ya que:
) (c, 0) = c
3
) (0, 0)
) (c, 0) = c
3
< ) (0, 0)
con c 0 y pequeo.
Denicin.- Sea ) : 1 _ R
n
R y sea r
0
1. Diremos que r
0
es un
punto crtico de ) si (\i = 1, 2, ....., :)
J}
Jri
(r
0
) = 0 o si (, = 1, 2, ...., :)
J}
Jrj
(r
0
)
no existe.
Observacin.-
1. Como se aprecia en el ejemplo anterior, un punto crtico de ) no es nece-
sariamente un extremo local de ).
2. Un punto crtico de una funcin diferenciable ) : 1 _ R
n
R que no es
un extremo local recibe el nombre de punto de silla de ).
34
2.2 El teorema de Taylor
Teorema.- Sea ) : 1 _ R
n
R de clase (
|+1
. Sean 1, H R
n
tales que el
segmento de extremos 1 y 1 + H en notacin [1, 1 +H] est includo en 1.
Entonces:
) (1 +H) = ) (1) +d) (1) [H] +
1
2
d
2
) (1) [H] +..............+
+
1
|!
d
|
) (1) [H] +1
|
[H]
donde
lim
10
1
k
[1]
]1]
k
= 0
d
2
) (1) [H] =
n

I,=1
J
2
}
JriJrj
(1) /
I
/

d
3
) (1) [H] =
n

I,,|=1
J
3
}
JriJrjJrt
(1) /
I
/

/
|
d
s
) (1) [H] =
n

I,,|=1
J
s
}
Jri
1
Jri
2
........Jris
(1) /
I1
/
I2
....../
Is
Demostracin.- Se obtiene del teorema del mismo nombre para funciones de una
variable.
Observacin.- En el caso / = 2 se tiene:
) (1 +H) = ) (1) +d) (1) [H] +
1
2
d
2
) (1) [H] +1
2
[H]
2.3 Criterio de la segunda derivada
Teorema.- Sean ) : o _ R
2
R y r
0

o
o. Supongamos que ) es de clase (
2
sobre una vecindad del punto crtico r
0
. Sea
1 = )
rr
(r
0
) )

(r
0
) )
2
r
(r
0
)
Entonces
1. r
0
es un extremo local de ) si 1 0.
(a) r
0
es un mximo local si )
rr
(r
0
) < 0.
(b) r
0
es un mnimo local si )
rr
(r
0
) 0.
2. r
0
es un punto de silla de ) si 1 < 0.
3. El criterio no da informacin si 1 = 0.
Demostracin.- Se dene 1 (t) = ) (a +/t, / +/t), donde (r
0
, j
0
) = (a, /),
/ y / son jos. Luego se estudian los mximos y mnimos locales de la
funcin de una variable 1 con ayuda del teorema de Taylor. Ver Clculo
con Geometra Analtica Thomas/Finney; 6
o
edicin. Volumen 2; pgina
885.
35
.
Ejemplo.- estudiar extremos locales de ) : R
2
R, ) (r, j) = c
or
2
+b
2
, a/ ,= 0.
Ejercicio.- Lo mismo para ) : R
2
R, ) (r, j) = 3r
2
+ 5j
2
+ 6r 20j.
Respuesta.- (1, 2) es un punto de mnimo local para ).
Observacin.- La expresin 1 = )
rr
)

)
2
r
se llama discriminante de ).
1 =

)
rr
)
r
)
r
)

2.4 Repaso de Formas cuadrticas

1. Una funcin : R
n
R se llama forma cuadrtica si
(H) =
n

I,=1
a
I
/
I
/

con H = (/
1
, /
2
, ......, /
n
) y los a
I
son nmeros reales jos.
= (a
I
)
I,=1,2,....,n
se llama la matriz de la forma cuadrtica .
De esta forma
(H) = H
T
H, donde H =
_
_
_
_
_
_
/
1
/
2
:
:
/
n
_
_
_
_
_
_
, H
T
= (/
1
/
2
...... /
n
)
2. Se dice que es simtrica si a
I
= a
I
; i, , = 1, 2, ......, :.
Se dice que es denida positiva si (H) 0 para cada H ,= 0
Se dice que es denida negativa si (H) < 0 para cada H ,= 0
Se dice que es no denida si existen H
1
, H
2
R
n
tales que:
(H
1
) < 0 < (H
2
)
.
Teorema.- Criterio de los valores propios
Sea : R
n
R una forma cuadrtica.
1. es denida positiva ssi todos los valores propios de de la matriz asociada
son positivos.
2. es denida negativa ssi todos los valores propios de de la matriz asociada
son negativos.
3. es no denida ssi existen valores propios positivos y valores propios
negativos.
Demostracin.- Ver Fleming, pgina 165.
36
.
Teorema.- Criterio de Ruth Hurwicz
Si (H) = H
T
H es una forma cuadrtica sobre R
n
tal que det ,= 0, entonces
es:
1. denida positiva ssi
a
11
0,

a
11
a
12
a
21
a
22

0, ................,

a
11
a
12
...... a
12
a
21
a
22
...... a
22
:
:
:
:
a
11
a
12
...... a
11

0
2. es denida negativa ssi
a
11
< 0,

a
11
a
12
a
21
a
22

0,

a
11
a
12
a
13
a
21
a
22
a
23
a
31
a
32
a
33

, .............
........, (1)
|

a
11
a
12
...... a
12
a
21
a
22
...... a
22
:
:
:
:
a
n1
a
n2
...... a
n1

0
3. es no denida ssi ninguna de las condiciones anteriores se cumple.
Demostracin.- Ver Edwards, pgina 149
2.5 La matriz Hessiana
Denicin.- Sea ) : o _ R
n
R de clase (
3
, y sea
}
la forma cuadrtica

}
(1) (H) =
n

I,=1
0
2
)
0r
I
0r

(1) /
I
/

.La matriz simtrica H =

_
0
2
)
0r
I
0r

(1)
_
recibe el nombre de matriz Hessiana
de ) en 1.
Teorema.- Sea ) : _ R
n
R de clase (
3
, y sea 1 un punto crtico de
).
1. Si la matriz Hessiana H es denida positiva, entonces 1 es un punto de
mnimo local para ).
2. Si la matriz Hessiana H es denida negativa, entonces 1 es un punto de
mximo local para ).
3. Si la matriz Hessiana H es no denida , entonces 1 es un punto de silla.
37
.
Observacin.-
1. Para usar este criterio es necesario que det
_
0
2
)
0r
I
0r

(1)
_
,= 0.
2. Para ) : _ R
2
R de clase (
3
tal que
0)
0r
(1) =
0)
0j
(1) = 0, se obtiene
el criterio de la segunda derivada visto en la seccin 2.3.
.
Ejemplo.- Estudiar los extremos relativos de la funcin
) : R
3
R, ) (r, j, .) =
_
r +.
2
_
c
r(
2
+:
2
+1)
Ejercicio.- Repetir lo mismo para ) : R
2
R, ) (r, j) = c
r+1
rj
2.6 Multiplicadores de Lagrange
Sean ), q
1
, q
2
, ......., q
n
: 1 _ R
n
R, con 1 abierto. Supongamos que:
(1) q
1
(r) = q
2
(r) = ........ = q
n
(r) = 0 == r 1
1
con 1
1
_ 1 abierto no
vaco.
Si r
0
1
1
y existe una vecindad de r
0
tal que
(2) ) (r) _ ) (r
0
), para todo r 1
1
decimos que r
0
es un punto de
mximo local para ) sujeto a las restricciones (1).
Si (2) es reemplazado por:
(3) ) (r) _ ) (r
0
), para todo r 1
1
decimos que r
0
es un punto de
mnimo local para ) sujeto a las restricciones (1).
Si (2) y (3) valen para todo r 1, omitimos el adjetivo "local".
.
Teorema.- Sean ), q
1
, q
2
, ....., q
n
: 1 _ R
n
R de clase (
1
sobre el abierto
1; :, : _ 1, y supongamos que r
0
= (c
1
, c
2
, ....., c
n
) 1 es un extremo local
de ) sujeto a las restricciones q
I
(r) = 0; 1 _ i _ :.
Supongamos tambin que al menos uno de los Jacobianos
0 (q
1
, q
2
, ....., q
n
)
0 (r
I1
, r
I2
, ....., r
Im
)
,
r0
(1 _
I1
_
I2
_ ........ _ i
n
_ :
es no nulo. entonces existen constantes `
1
, `
2
, ....., `
n
tales que:
0)
0r
I
(r
0
) +
n

=1
`

0q

0r
I
(r
0
) = 0; 1 _ i _ :.
Demostracin.- Hace uso del Teorema de la Funcin Implcita. Ver Trench,
pgina 458.
38
.
Observacin.-
1. El teorema dice que si r
0
es un punto extremo de ) sujeto a las condiciones
q
I
(r) = 0; 1 _ i _ :; entonces r
0
es un punto crtico de
1 = ) +
n

=1
`

para algunas constantes `

1
, `
2
, ....., `
n
.
2. Los parmetros `
1
, `
2
, ....., `
n
son llamados multiplicadores de Lagrange
y el mtodo sugerido por 1) es llamado de los mutiplicadores de Lagrange.
.
Ejemplos.-
1. Encontrar los extremos de ) (r, j) = r
2
rj +j
2
sobre
1 =
_
(r, j) R
2
: r
2
+j
2
_ 9
_
2. Hallar los valores mximos y mnimos que alcanza la funcin denida por:
) (r, j) = rj
sobre la elipse de ecuacin
r
2
8
+
j
2
2
= 1.
Indicacin.- ) alcanza sus extremos sobre todo conjunto cerrado y acotado.
.
Ejercicios.-
1. Determine la mxima y la mnima distancia (si existen) sobre la hiprbola
de ecuacin rj = 1 al origen.
Indicacin.-
0 _ ) (r, j) = r
2
+j
2
. ) es acotada superiormente.
) alcanza un mnimo sobre la hiprbola.
1 (r, j) = ) (r, j) `q (r, j) = r
2
+j
2
`(rj 1)
(1, 1) y 1(1, 1) minimizan a ) sobre la hiprbola.
Observacin.- ) no alcanza un mximo sobre la hiprbola.
2. Acote (si es posible) a 2r + 4j + 8. sobre la esfera r
2
+j
2
+.
2
= 21.
) es continua sobre la esfera (conjunto cerrado y acotado).
Luego ) alcanza sus extremos sobre la esfera.
1 (r, j, .) = ) (r, j, .) `q (r, j, .) = 2r+4j +8. `
_
r
2
+j
2
+.
2
21
_
(1, 2, 4) es un punto de mximo de ) sobre la esfera.
1(1, 2, 4) es un punto de mnimo de ) sobre la esfera.
39
3. Encontrar la mnima distancia entre la circunferencia ( : r
2
+j
2
= 1 y la
recta 1 : r +j = 4
Indicacin.- Sean (r, j) ( y (n, ) 1. Debemos minimizar
) (r, j, n, ) = (r n)
2
+ (j )
2
sujeta a las condiciones r
2
+j
2
= 1, n + = 4.
1 (r, j, n, ) = ) (r, j, n, ) `
1
q
1
(r, j, n, ) `
2
q
2
(r, j, n, )
Los puntos ms cercanos sobre la circunferencia y la recta son:

_
1
_
2
,
1
_
2
_
y 1(2, 2).
.
Clculo III - 521227
4 de Mayo de 2010
JRC
40
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
3 Integrales dependientes de un parmetro
3.1 Regla de Leibniz
Consideremos funciones denidas mediante la relacin
c(r) =
_
J
c
) (r, t) dt; a _ r _ /
c y d son constantes. Nos interesdamos en encontrar c
t
(r).
Teorema 1.- (Regla de Leibniz) Supongamos que c est denida por
c(r) =
_
J
c
) (r, t) dt; a _ r _ /
c y d son constantes.
Si ) y
0)
0r
son continuas sobre 1 = (r, t) : a _ r _ /; c _ t _ d, entonces
c
t
(r) =
_
J
c
0)
0r
(r, t) dt
para a < r < /.
Demostracin.-
c(r +/) c(r)
/
=
1
/
_
J
c
) (r +/, t) dt
1
/
_
J
c
) (r, t) dt =
=
1
/
_
J
c
[) (r +/, t) ) (r, t)] dt
Pero
) (r +/, t) ) (r, t) =
_
r+|
r
0)
0r
(n, t) dn
Por lo tanto
c(r +/) c(r)
/
=
1
/
_
J
c
_
r+|
r
0)
0r
(n, t) dndt..........(1)
Puesto que
0)
0r
es continuan sobre 1 (cerrado y acotado), entonces
0)
0r
es uni-
formemente continua sobre 1; es decir,
(\- 0) (c 0)

0)
0r
(n, t)
0)
0r
(r, t)

<
-
d c
..........(2)
\t [c, d] y \n [a, /] tal que [r n[ < c.
Considerando n entre r y r +/ como en (1), tenemos
41
0 _ n r _ /, con / 0
/ _ n r _ 0, con / 0
Por lo tanto
[/[ < c ==[n r[ < c
_

_
.......(3)
Luego para 0 < [/[ < c, tenemos

c(r +/) c(r)

/

_
J
c
0)
0r
(r, t) dt

=
=

1
/
_
J
c
_
r+|
r
0)
0r
(n, t) dndt
1
/
_
J
c
_
r+|
r
0)
0r
(r, t) dndt

=
=

1
/
_
J
c
_
r+|
r
_
0)
0r
(n, t)
0)
0r
(r, t)
_
dndt

_
_
1
/
_
J
c
_
r+|
r

0)
0r
(n, t)
0)
0r
(r, t)

dndt _
(2) y (3)
_
1
/
_
J
c
_
r+|
r
-
d c
dndt =
1
/
(d c) /
-
d c
= -
(note que si / < 0, entonces

1
/
_
J
c
_
r+|
r
[q (n, t)] dndt

_
1
/
_
J
c
_
r
r+|
[q (n, t)[ dndt)
Dado que - 0 era jo pero arbitrario, se tiene que
c
t
(r) = lim
|0
c(r +/) c(r)
/
=
_
J
c
0)
0r
(r, t) dt.
Ejemplos.-
1. Hallar c
t
(r) si c(r) =
_
2
0
) (r, t) dt y
) (r, t) =
_
sinrt
t
, t ,= 0
r , t = 0
2. Calcular
_
1
0
dn
(n
2
+ 1)
2
Solucin.-
1. Si T es cualquier trayectoria distinta de la recta t = 0, entonces
lim
(r,|)(o,0)
(r,|)T
) (r, t)
|,=0
= lim
(r,|)(o,0)
(r,|)T
sinrt
t
= lim
(r,|)(o,0)
(r,|)T
r
sinrt
rt
= a
lim
(r,|)(o,0)
|=0
) (r, t) = lim
(r,|)(o,0)
|=0
r = a
Por lo tanto,
42
lim
(r,|)(o,0)
) (r, t) = a = ) (a, 0),
lo que muestra que ) es continua sobre cualquier punto de la recta t = 0.
Claramente ) es continua sobre el conjunto abierto R
2
(r, 0) : r R.
De esta manera tenemos que ) es continua.
Por otra parte, los clculos conducen a que:
0)
0r
: R
2
R,
0)
0r
(r, t) = cos rt
por lo que conclumos que
0)
0r
es continua.
Es aplicable el teorema 1 y adems
c
t
(r) =
_
2
0
0)
0r
(r, t) dt =
1
r
sin

2
r
2. Para r 0,
_
1
0
dn
n
2
+r
=
1
r
_
1
0
dn
1 +
_
u
_
r
_
2
:=
u
p
x
=
1
_
r
arctan
1
_
r
Por lo tanto
J
Jr
_
1
0
dn
n
2
+r
=
1
2r + 2r
2

1
2r
3
2
arctan
1
_
r
........(1)
Aplicando el teorema 1 a la funcin ) : ]0, +[ R R, ) (r, n) =
1
n
2
+r
tenemos
J
Jr
_
1
0
dn
n
2
+r
=
J
Jr
_
1
0
) (r, n) dn =
_
1
0
0)
0r
(r, n) dn =
_
1
0
dn
(n
2
+r)
2
....(2)
de (1) y (2)
_
1
0
dn
(n
2
+r)
2
=
1
2r + 2r
2
+
1
2r
3
2
arctan
1
_
r
nalmente evaluamos en r = 1 para encontrar el resultado deseado
_
1
0
dn
(n
2
+ 1)
2
=
1
4
+

8
.
Ejercicio.- Muestre que 1 (r) =
_
1
0
ln
_
2 r
2
t
2
_
dt posee un mximo local en
r = 0
Indicacin.- ) y
0)
0r
son continuas sobre 1 =
_

_
2
_
2

[0, 1]
1
t
(r)
Leibniz
= 2r
_
1
0
t
2
dt
2 r
2
t
2
1
tt
(r) = 2
_
1
0
t
2
dt
2 r
2
t
2
2r
d
dr
_
1
0
t
2
dt
2 r
2
t
2
1
tt
(0) =
1
3
43
Teorema 2.- Supongamos que ) y
0)
0r
satisfacen la condiciones de hiptesis del
teorema 1, y que
1 (r, j, .) =
_
:

) (r, t) dt; c _ j _ d, c _ . _ d
Entonces:
01
0r
(r, j, .) =
_
:

0)
0r
(r, t) dt;
01
0j
(r, j, .) = ) (r, j) ;
01
0.
(r, j, .) = ) (r, .)
Demostracin.- i) Teorema 1; ii) T. F. del Clculo; iii) T. F. del Clculo
Teorema 3.- (Regla general bajo el signo integral)
Supongamos que ) y
0)
0r
son continuas sobre el rectngulo
1 = (r, t) : a _ r _ /, c _ t _ d
y que q
0
y q
1
son de clase (
1
sobre a _ r _ /. Si c est denida por
c(r) =
_
1(r)
0(r)
) (r, t) dt
entonces
c
t
(r) = ) (r, q
1
(r)) q
t
1
(r) ) (r, q
0
(r)) q
t
0
(r) +
_
1(r)
0(r)
0)
0r
(r, t) dt
Demostracin.- c(r) = 1 (r, q
0
(r) , q
1
(r))
por lo tanto
c
t
(r)
Teo 2
= 1
r
(r, q
0
(r) , q
1
(r)) +1

(r, q
0
(r) , q
1
(r)) q
t
0
(r) +
+1
:
(r, q
0
(r) , q
1
(r)) q
t
1
(r)
Ejemplo.- Hallar c
t
(r) si c(r) =
_
r
2
0
arctan
t
r
2
dt, r 0.
Solucin.- ) (r, t) = arctan
t
r
2
,
0)
0r
(r, t) =
2tr
t
2
+r
4
) y
0)
0r
son continuas sobre 1 =
_
(r, t) R
2
: r 0
_
q
0
(r) = 0, q
1
(r) = r
2
. q
0
, q
1
(
1
]0, +[
c
t
(r)
Teo3
= ) (r, q
1
(r)) q
t
1
(r) ) (r, q
0
(r)) q
t
0
(r) +
_
1(r)
0(r)
0)
0r
(r, t) dt =
=

2
r
_
r
2
0
2tr
t
2
+r
4
dt
|=ur
2
=

2
r r
_
1
0
2ndn
n
2
+ 1
= r
_

2
ln2
_
Teorema.- (Integracin bajo el signo integral)
Sea ) : [a, /] [c, d] R continua. Se tiene:
_
b
o
_
_
J
c
) (r, t) dt
_
dr =
_
J
c
_
_
b
o
) (r, t) dr
_
dt
44
Demostracin.- Se aplica la regla de Leibniz a la funcin denida por:
c (c) =
_
b
o
__
o
c
) (r, t) dt
_
dr
Ejercicio.- Pruebe que si / a 1,
_
t
0
/ cos r
a cos r
dr = ln
/ +
_
/
2
1
a +
_
a
2
1
Indicacin.-
_
t
0
dr
c cos r
=

_
c
2
1
para c 1.
_
r
0
_
_
b
o
dc
c cos r
_
dr =
_
r
0
ln
/ cos r
a cos r
dr
_
b
o
dc
_
c
2
1
= ln
_
c +
_
c
2
1
_
,
b
o
= ln
/ +
_
/
2
1
a +
_
a
2
1
3.2 Integrales impropias dependientes de un parmetro
Denicin.- 1 (r) =
_
+o
c
) (r, t) dt es uniformenmente convergente si 1 (r) =
lim
b+o
1 (/, r) uniformemente, donde 1 (/, r) =
_
b
c
) (r, t) dt; es decir,
(\- 0) (' 0) / ' ==[1 (r) 1 (/, r)[ < -, \r [a, /]
Criterio de convergencia normal
Si
1. (\t 1 = [c, +[) [) (r, t)[ _ q (t), y q es tal que
2.
_
+o
c
q (t) dt converge
Entonces
_
+o
c
) (r, t) dt
converge uniformemente.
Demostracin.- Resulta del criterio de Cauchy de convergencia uniforme que
dice:
1 (r) = lim
b+o
1 (/, r) uniformemente==
(\- 0) (' 0) /, /
t
' ==[1 (/, r) 1 (/
t
, r)[ < -, \r [a, /]
.
Teorema 4.- Consideremos la funcin denida por:
1 (r) =
_
+o
c
) (r, t) dt; a _ r _ /, c = ctc.
Si
45
1. ) : [a, /] [c, +[ R es continua
2. la integral
_
+o
c
) (r, t) dt es uniformemente convergente.
Entonces 1 es continua.
.
Teorema 5.- (Regla de Leibniz) Si:
1. la integral 1 (r) =
_
+o
c
) (r, t) dt converge para un valor r
0
de [a, /]
2. ) y
0)
0r
son continuas sobre [a, /] [c, +[
3.
_
+o
c
0)
0r
(r, t) dt converge uniformemente sobre [a, /]
Entonces
4. 1 (r) =
_
+o
c
) (r, t) dt converge uniformemente sobre [a, /]
5. 1 es derivable y
d
dr
__
+o
c
) (r, t) dt
_
=
_
+o
c
0)
0r
(r, t) dt
.
Observacin.- Vale el mismo resultado, si cambiamos el intervalo 1 = [c, +[
por cualquier otro intervalo no acotado de R.
Ejemplo.- Hallar 1
t
(r) si 1 (r) =
_
+o
0
_
r
t +
2
t
_
2
sin
1
t +
2
t
dt, 0 _ r _ 1.
Indicacin.- ) y
0)
0r
son continuas sobre [0, 1] [0, +[
1 (r) converge para r = 0.

0)
0r
(r, t)

_
2
_
t +
2
t
_
2
= q (t) y
_
+o
0
q (t) dt = converge.
_
+o
0
0)
0r
(r, t) dt converge uniformemente por criterio de convergencia nor-
mal.
Se verican las hiptesis del teorema 5.
Ejercicios.-
1. Use el hecho que para , 1
_
t
0
dr
, cos r
=
r
_
,
2
1
46
para probar que
1 (c) =
_
t
0
ln(1 +ccos r) dr = ln
1 +
_
1 c
2
2
Indicacin.- Sea T (c) = ln
1 +
_
1 c
2
2
. Pruebe que
T
t
(c) = 1
t
(c)
T (0) = 1 (0)
_
Por lo tanto
T (c) = 1 (c)
2. si J (c) =
_
t
0
ln
_
1 + 2ccos r +c
2
_
dr, pruebe que:
J (c) =
_
lnc
2
, [c[ < 1
0 , [c[ 1
Indicacin.- Usar 1).
3. Sea / : R R0 de clase (
1
. Encuentre si existe c
t
(r), donde:
c : R R, c(r) =
_
1
0
) (r, t) dt y
) (r, t) =
_
sint/(r)
t
, t ,= 0
/(r) , t = 0
4. La funcin Gamma.- Se dene por:
(r) =
_
+o
0
c
u
n
r1
dn, r 0
Muestre que (r) converge para r 0.
(ver pg 273, Clculo Superior: Murray R. Spiegel (Schaum)
.
Observacin.-
1. La funcin Gamma tiene muchas aplicaciones en matemtica y fsica.
2. Una propiedad til de la funcin es la relacin de recurrencia
(t + 1) = t(t)
Demostracin.- Se obtiene de la decin. (queda como ejercicio)
3. (+1) = 1
Demostracin.- Se obtiene de la denicin. (vericarlo).
47
4. (: + 1) = :!
Demostracin.- Usando 2) con t = :.
5. La funcin es una generalizacin de la funcin factorial.
.
Tambin es vlido el siguiente resultado:
Teorema.-Si ) : [a, +[ [c, d] R es continua y si
_
+o
o
) (r, t) dr converge
uniformemente sobre [c, d], entonces
_
+o
o
_
_
J
c
) (r, t) dt
_
dr =
_
J
c
__
+o
o
) (r, t) dr
_
dt
Ejercicio.- Calcule la integral 1 =
_
+o
0
c
or
c
r
r
dr; 0 < a < /.
Indicacin.-
c
or
c
br
r
=
_
b
o
c
r
dj.
) (r, j) = c
r
; [) (r, j)[ _ c
or
;
_
b
o
c
or
dr =
1
a
converge.
1 =
_
+o
0
_
_
b
o
c
r
dj
_
dr
teo.
=
_
b
o
__
+o
0
c
r
dr
_
dj
_
+o
0
c
r
dr = lim
1+o
_

1
j
c
r
_
1
0
=
1
j
lim
1+o
_
c
1
1

=
1
j
Observacin.- Vale la misma observacin de la pgina anterior.
.
Clculo III - 521227
4 de Mayo de 2010
JRC
48
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
4 INTEGRACIN
4.1 INTRODUCCION
Generalizaremos el concepto de integral de funciones denidas sobre una parte
de R con valores en R, considerando funciones denidas sobre una parte de R
n
con valores en R. En este caso hablaremos de integrales mltiples.
Notaciones y deniciones previas
1. Denicin.- Sean a, / R
n
, denimos:
a _ / ==a
I
_ /
I
; i = 1, 2, ....., :.
a < / ==a
I
< /
I
; i = 1, 2, ....., :.
donde a = (a
1
, a
2
, ......, a
n
), / = (/
1
, /
2
, ......, /
n
).
2. Denicin.- Sean a, / R
n
. Lamamos rectngulo cerrado en R
n
(de ex-
tremos a y /) al conjunto:
o [a, /] =

r R
n
: a _

r _ /
Ejemplos.-
(a) En R
2
con a = (a
1
, a
2
), / = (/
1
, /
2
):
o [a, /] =
_
(r, j) R
2
: a
1
_ r _ /
1
, a
2
_ j _ /
2
_
= [a
1
, /
1
] [a
2
, /
2
] .
(b) En R
3
con a = (a
1
, a
2
, a
3
), / = (/
1
, /
2
, /
3
):
o [a, /] =
_
(r, j, .) R
3
: a
1
_ r _ /
1
, a
2
_ j _ /
2
,
a
3
_ . _ /
3

= [a
1
, /
1
] [a
2
, /
2
] [a
3
, /
3
] .
(c) En R
n
con a = (a
1
, a
2
, .....a
n
), / = (/
1
, /
2
, ....../
n
):
o [a, /] = (r
1
, r
2
, ...., r
n
) R
n
: a
1
_ r
1
_ /
1
,
a
2
_ r
2
_ /
2
,........, a
n
_ r
n
_ /
n

= [a
1
, /
1
] [a
2
, /
2
] ......... [a
n
, /
n
] .
49
3. si 1 = [a, /] con a, / R
n
, denimos el volumen de 1 por:
\ (1) = \ (o [a, /]) = (/
1
a
1
) (/
2
a
2
) .......... (/
n
a
n
)
Ejemplo.-
En R
2
, \ (1) es el rea del rectngulo.
En R
3
, \ (1) es el volumen del paraleleppedo.
4. Denicin.- Sea 1 un rectngulo cerrado en R
n
. Subdividamos cada arista
(intervalo en R) en la forma
a
I
= r
I1
< r
I2
< ........ < r
In
i
= /
I
; i = 1, 2, ...., :
y denotemos por 1
I
al conjunto
1
I1,I2.....,In
= 1
I
= [r
1I1
, r
1I1+1
] [r
2I2
, r
2I2+1
] ........ [r
nIn
, r
nIn+1
] ,
que son subrectngulos. El conjunto
= 1
I
: i = 1, 2, ...., con = :
1
:
2
.... :
n
se llama una particin rectangular de 1.
Idea Geomtrica en R
2
En R
2
se acostumbra a usar la notacin:
r
0
= r
11
= a
1
; r
1
= r
12
; r
2
= r
13
;.........;r
n
= r
1n1
= /
1
j
0
= r
21
= /
1
; j
1
= r
22
; j
2
= r
23
;.........;r
n
= r
2n2
= /
2
50
5. Sumas de Riemann
Sean 1 un rectngulo cerrado en R
n
, ) : 1 _ R
n
R acotada en 1,
y = 1
1
, 1
2
, ...., 1
n
una particin rectangular de 1. Denimos:
o (), ) =
n

=1
sup) (r) : r 1

\ (1

)
: (), ) =
n

=1
inf ) (r) : r 1

\ (1

)
o (), ) se llama suma superior de Riemann c/r a la particin 1.
: (), ) se llama suma inferior de Riemann c/r a la particin 1.
Observacin.-
(a) De la denicin de o y : se tiene:
o (), ) _ : (), )
cualquiera que sea la particin rectangular de 1.
(b) Recordemos que ) es acotada si (' 0) (\r 1) [) (r)[ _ '.
(c) Sea . = ) (r, j), ) : 1 _ R
2
R, 1 es un rectngulo cerrado de R
2
,
) es continua y no negativa sobre 1, entonces o (), ) y : (), ) son
aproximaciones del volumen \ bajo la supercie . = ) (r, j) acotado
por 1 (para cualquier particin de 1). se tiene:
: (), ) _ \ _ o (), ) .
6. Sean y
t
dos particiones rectangulares de 1, diremos que
t
es ms na
que si cada subrectngulo de
t
est contenido en algn subrectngulo
de . En notacin:
t
_ .
7. Consideremos = 1
1
, 1
2
, ...., 1

,
t
= 1
t
1
, 1
t
2
, ...., 1
t
1
, entonces el con-
junto:

t
= 1
I
1

: i = 1, ..., ; , = 1, ....., '

es una particin rectangular de de 1. Recibe el nombre de particin
rectangular producto de y
t
. Adems se tiene:

t
_ ;
t
_
t
.
8. Previo a la denicin de funcin integrable - Riemann sobre R
n
necesita-
mos los siguientes :
Lema 1.- Si
t
_ son dos particiones de 1, entonces
: (), ) _ : (),
t
) ; o (),
t
) _ o (), )
51
Demostracin.- (para ) no negativa)
Por 3 y denicin de : (), ) ya que en la medida que
t
es ms na, en-
tonces : (),
t
) es ms cercana a \ .
Lema 2.- Si y
t
son dos particiones cualquiera de 1, entonces
: (),
t
) _ o (), ) .
Demostracin.- : (),
t
) _
J1
: (),
t
) _ o (),
t
) _ o (), )
Notacin.- (1) = : es una particin rectangular de 1.
4.2 La integral de Riemann sobre un rectngulo
Denicin.- Una funcin acotada ) : 1 _ R
n
R se dice integrable en el
sentido de Riemann (o Riemann integrable) sobre 1 si
inf
tt(1)
o (), ) = sup
tt(1)
: (), )
El nmero real que expresa este valor comn se denota por:
_
1
) =
_
1
)dr
1
dr
2
....dr
n
=
_
1
)d\
o _
1
) (r) dr =
_
1
) (r) dr
1
dr
2
....dr
n
=
_
1
) (r) dr
Ejemplos.-
1. Sea ) : 1 _ R
n
R, ) (r) = c, con c =constante. Encontrar
_
1
)d\ si
existe.
2. Considere ) : [0, 1] [0, 1] R, ) (r, j) =
_
0 , si r es racional
1 , si r es irracional
.
Encontrar
_
1
)d\ si existe.
.
Observacin.- Un criterio de integrabilidad en el sentido de Riemann es dado
por el siguiente:
Teorema.- Sean 1 un rectngulo cerrado en R
n
, ) : 1 _ R
n
R una fun-
cin acotada. ) es integrable Riemann ssi para cada 0 existe una particin
de 1 tal que
o (), ) : (), ) < .
Tambin es importante el siguiente:
52
Teorema.- Toda funcin ) : 1 _ R
n
R continua sobre el rectngulo cer-
rado 1 es Riemann - integrable.
Demostracin.- Hace uso del concepto de continuidad uniforme.
PROPIEDADES
En lo que sigue denotaremos por (1) al conjunto de las funciones Riemann -
integrables sobre 1.
) (1) ==) es integrable sobre 1.
.
Teorema.- Sean 1 un rectngulo cerrado en R
n
; ), q : 1 _ R
n
R.
1. ), q (1) ==) +q (1) y adems
_
1
() +q) dr =
_
1
)dr +
_
1
qdr
2. ) (1), ` R ==`) (1) y adems
_
1
`)dr = `
_
1
)dr
3. Sean 1
1
, 1
2
, ....., 1
|
subdivisiones rectangulares (particin) de 1, entonces
) (1) ==) (1
I
) para i = 1, 2, ..., /; y adems
_
1
)dr =
|

I=1
_
1i
)dr
4. ), q (1) y ) _ q ==
_
1
)dr _
_
1
qdr
5. [)[ (1) ==

_
1
)dr

_
_
1
[)[ dr
Demostracin.- Se deducen de la denicin de integral y de sumas de Rie-
mann.
Indicacin para 2)
inf
tt(1)
o (), ) = sup
tt(1)
: (), ) =
_
1
)dr
Por lo tanto
inf
tt(1)
o (c), ) =
c,0
c inf
tt(1)
o (), ) = c sup
tt(1)
: (), ) =
= sup
tt(1)
: (c), ).
53
Finalmente
c
_
1
)dr =
_
1
c)dr
INTEGRALES ITERADAS
Daremos un mtodo simple para evaluar integrales, consiste en expresar la in-
tegral en trminos de integrales iteradas para luego aplicar el 2
o
teorema
fundamental del clculo.
Vocabulario previo.- Sea = A 1 _ R
n
R
n
= R
n+n
.
Sea ) : _ R
n+n
R una funcin. Entonces para cada r A _ R
n
jo
denimos la funcin
)
r
: 1 _ R
n
R, )
r
(j) = ) (r, j)
y para cada j 1 _ R
n
jo denimos
)

: A _ R
n
R, )

(r) = ) (r, j) .
Se denen la integral inferior y la integral superior de Riemann de ) respecti-
vamente por
_
1
) = sup
tt(1)
: (), ) ;
_
1
) = inf
tt(1)
o (), ) .
Con esto enunciamos el siguiente:
TEOREMA DE FUBINI
Sean 1 _ R
n
, J _ R
n
rectngulos cerrados, ) : 1 J R acotada y Rie-
mann - integrable. Entonces para cada r 1 jo, las funciones
r
_

)
r
y r
_
1
)
r
son Riemann - integrables sobre 1, y
_
1
) =
_
1
_
_

)
r
_
=
_
1
__

)
r
_
si ) es continua, las funciones )
r
, )

son Riemann - integrables para cada (r, j)

en el dominio de ), y adems se tiene:
_
1
) (r, j) d\ =
_
1
__

)
r
(j) dj
_
dr =
_
1
__

(r) dr
_
dj
=
_
1
__

) (r, j) dj
_
dr =
_
1
__

) (r, j) dr
_
dj
54
Corolario.- Si ) : 1 _ R
n
R es continua, con 1 = 1
1
1
2
..... 1
n
, y los 1
I
son intervalos cerrados de R, se tiene:
_
1
)d\ =
_
1
)dr
1
dr
2
....dr
n
=
=
_
1n
_
_
1n1
_
.....
__
11
) (r
1
, r
2
, ...., r
n
) dr
1
_
.....
_
dr
n1
_
dr
n
=
_
1n
_
1n1
..
:
..
..
_
11
) (r
1
, r
2
, ...., r
n
) dr
1
......dr
n1
dr
n
.
Ejemplo.- Sea ) : 1 _ R
2
R, ) (r, j) = r
2
+j, con 1 = [0, 1] [0, 2], entonces
_
1
) (r, j) drdj =
_
1
0
__
2
0
_
r
2
+j
_
dj
_
dr =
_
1
0
_
2r
2
+ 2
_
dr =
8
3
4.3 Integrales sobre conjuntos acotados de R
n
Sea _ R
n
acotado. entonces existe un rectngulo cerrado 1 de R
n
tal que
_ 1.
Denimos la funcin:
A
.
: 1 _ R
n
0, 1 , A
.
(r) =
_
0 , r 1
1 , r
A
.
se llama la funcin caracterstica de .
Dada ) : _ R
n
R acotada, consideremos la funcin
)A
.
: 1 _ R
n
R, A
.
(r) =
_
0 , r 1
) (r) , r
Si ) es acotada sobre se dene:
_
.
) =
_
1
)A
.
;
es decir,
) () ==)A
.
(1)
Observacin.- Siguen siendo vlidas las propiedades sealadas anteriormente
para integrales sobre un rectngulo.
Ejemplos.-
1. Hallar
_
.
) (r, j) d\ si ) (r, j) = r +j, donde
=
_
(r, j) R
2
: 0 _ r _ 1, 0 _ j _ 1 r
2
_
55
2. hallar el valor de
_
S
r
2
jdrdj, donde
o =
_
(r, j) R
2
: j
2
_ 2jr, r _
j
2
_
, j 0
3. Evaluar la integral
_
1
) (r, j, .) drdjd. si ) (r, j, .) = rj., y
1 =
_
(r, j, .) R
3
: r
2
+j
2
+.
2
_ 4, j _ 0, . _ 0
_
Observacin.-
1. Si 1 = [a, /] [c, d] [j, ], q : 1 _ R
3
R es integrable y verica la
propiedad q (r, j, .) = q
1
(r) q
2
(j) q
3
(.), entonces
_
1
qd\ =
_
b
o
_
J
c
_
j

q (r, j, .) d.djdr
=
_
_
b
o
q
1
(r) dr
__
_
J
c
q
2
(j) dj
_
__
j

q
3
(.) d.
_
Ejemplo.- Si 1 = [0, 1] [1, 2], entonces
_
1
c
r
jdrdj =
_
2
1
_
1
0
c
r
jdrdj =
__
2
1
jdj
___
1
0
c
r
dr
_
=
3
2
(c 1)
2. Si _ R
n
es acotado, se dene el volumen de por:
\ () =
_
.
d\
Ejemplo.- Calcular el volumen de la regin \ _ R
3
acotada por el cilindro
de ecuacin r
2
+j
2
= 1 y los planos . = 0 y . = 2.
3. Sean _ R
n
acotado y tal que \ () = 0. Sea ) : _ R
n
R acotada
y supongamos que ) (), entonces
_
.
) = 0.
Demostracin.-

_
.
) (r) d\

_
_
.
[) (r)[ d\ =
.1
_
1
[) (r)[ A
.
(r) d\ _
]}(r)]1
_ '
_
1
A
.
(r) d\ = '
_
.
d\ = '\ () = 0.
4. Si 1 _ R
n
, entonces 1r (1) es un conjunto de medida 0 (o contenido
cero). De este modo tienen medida cero, los conjuntos que contienen un
nmero nito de puntos en R, las curvas en R
2
, las supercies en R
3
, etc.
56
Ejemplo.- Calcular
_
S
_
r
2
+j
_
c
r:
2
d (r, j, .), donde
o : r
2
+j
2
+.
2
= 1
5. Si ) (), ) (1) y 1 = c, entonces ) (' 1) y
.
_
.|1
) =
_
.
) +
_
1
)
Indicacin.- )A
.|1
= )A
.
+)A
1
.
Teorema.- Sea 1 _ R
n
acotado y sea ) : 1 _ R
n
R acotada y continua sobre
1 , donde es tal que \ () = 0, entonces ) (1).
Idea de la demostracin.-
_
1.
) (r) d\ =
_
1.
) (r) d\ +
_
.
) (r) d\ =
=
_
1
) (r) A
1.
(r) d\ +
_
1
) (r) A
.
(r) d\ =
=
_
1
() (r) A
1.
(r) +) (r) A
.
(r)) d\ =
=
_
1
) (r) A
1
(r) d\ =
_
1
) (r) d\.
Falta ver que ) ().
Observacin.- Si ) y q son continuas sobre 1 , 1 _ R
n
acotado, _ 1 es
tal que \ () = 0, entonces si ) y q son acotadas y (\r 1 ) ) (r) = q (r),
entonces
_
1
) =
_
1
q.
Ejemplo.- Calcular
_
S
), donde ) (r, j, .) =
_
2r. , . ,= 0
j , . = 0
, y
o =
_
(r, j, .) R
3
: r 0, j 0, . 0, r +j +. < 1
_
4.4 Cambio de variables
En una variada clase de problemas es ms conveniente usar un sistema de coor-
denadas diferente al sistema de coordenadas rectangulares. Por ejemplo, en R
3
hemos denido los sistemas de cordenadas cilndricas (o semipolares) y esfricas
(o polares). Por lo tanto es importante conocer las expresiones de las integrales
mltiples cuando cambiamos variables; es decir, cuando a partir de un sistema
de coordenadas pasamos a otro.
Recordemos la situacin para el caso de funciones reales de una variable real.
57
Para una funcin ) : [a, /] R que satisface condiciones apropiadas se tiene:
_
b
o
q () (r)) )
t
(r) dr =
_
}(b)
}(o)
q (n) dn.
Este resultado es generalizado por el siguiente:
Teorema.- Sea ) : G _ R
n
R
n
de clase (
1
(G) e inyectiva, G abierto tal
que \n G :
[J (), n)[ =

0 ()
1
, )
2
, ...., )
n
)
0 (n
1
, n
2
, ...., n
n
)
(n)

J}1
Ju1
(n) .......
J}1
Jun
(n)
:
:
.......
:
:
J}n
Ju1
(n) .......
J}n
Jun
(n)

,= 0.
Entonces,
_
}(c)
q (r) d\ =
_
c
(q )) (n) [J (), n)[ d\ .
Observacin.- [J (), n)[ se llama tambin Jacobiano de la trasformacin.
Ejemplos.-
1. Calcular
_
1
q (r, j) d\ , donde q (r, j) = j
2
,
1 =
_
(r, j) R
2
: r 0, 0 < rj < 3, r < j < 2r
_
2. Consideremos la integral
_
S
(r +j) drdj, donde o es el paralelogramo de
vrtices: (0, 0) , (1, 1) , (3, 1) , (2, 0).
3. Calcular el rea encerrada por la elipse:
r
2
a
2
+
j
2
/
2
= 1. a, / 0
.
Ejercicio.- Calcular el volumen encerrado por el elipsoide:
r
2
a
2
+
j
2
/
2
+
.
2
c
2
= 1; a, /, c 0.
4.5 Coordenadas polares, cilndricas y esfricas
Coordenadas polares planas.- En este caso particular consideramos la transfor-
macin
, : G _ R
2
R
2
, ,(r, 0) = (r cos 0, r sin0) = (r, j)
G =
_
(r, 0) R
2
: r 0, 0 < 0 < 2
_
.
58
Se tiene:
J (,, (r, 0)) =

cos 0 r sin0
sin0 r cos 0

= r.
, es de clase (
1
(G) e inyectiva.
Sea G
1
=
_
(r, 0) R
2
: 0 < r < r
1
, 0 < 0 < 2
_
, entonces
,(G
1
) =
_
(r, j) R
2
: r
2
+j
2
< (r
1
)
2
_
r =
_
r
2
+j
2
, 0 = arctan
j
r
Ejemplo.- Calcular
_
1
q (r, j) drdj, donde q (r, j) = c
(r
2
+
2
)
y
1 =
_
(r, j) R
2
: r
2
+j
2
< (r
1
)
2
_
Coordenadas semipolares o cilndricas en R
3
.- Considemos el caso particular de
la transformacin
, : G _ R
3
R
3
, ,(r, 0, .) = (r cos 0, r sin0, .) = (r, j, .)
G =
_
(r, 0, .) R
3
: r 0, 0 < 0 < 2, < . < +
_
.
Entonces,
J (,, (r, 0, .)) =

cos 0 r sin0 0
sin0 r cos 0 0
0 0 1

= r.
, es de clase (
1
(G) e inyectiva.
Sea G
1
=
_
(r, 0, .) R
3
: 0 < r < r
1
, 0 < 0 <

2
, 0 < . < .
1
_
, entonces
,(G
1
) =
_
(r, j, .) R
3
: r
2
+j
2
< (r
1
)
2
, 0 < r < r
1
, 0 < j < r
1
, 0 < . < r
1
_
59
En este caso, si ) es Riemann - integrable sobre ,(G), se tiene:
_
,(c)
) (r, j, .) d\ =
_
c
() ,) (r, 0, .) [J (,, (r, 0, .))[ drd0d.
=
_
c
) (r cos 0, r sin0, .) rdrd0d.
Ejemplo.- Evaluar
_
1
r
2
d\ , si 1 =
_
(r, j, .) R
3
: 0 _ . _ 1, r
2
+j
2
< 1
_
.
Coordenadas polares o esfricas.- Consideremos la transformacin:
, : G R
3
, ,(j, c, 0) = (j sinccos 0, j sincsin0, j cos c) = (r, j, .)
G =
_
(j, c, 0) R
3
: j 0, 0 < c < , 0 < 0 < 2
_
.
J (,, (j, c, 0)) =

sinccos 0 j cos ccos 0 j sincsin0

sincsin0 j cos ccos 0 j sinccos 0
cos c j sinc 0

= j
2
sinc.
, es de clase (
1
(G) e inyectiva.
Sea G
1
=
_
(j, c, 0) R
3
: 0 < j < 1, 0 < c <

2
, 0 < 0 <

2
_
En este caso, si ) es Riemann - integrable sobre ,(G), se tiene:
_
,(c)
) (r, j, .) d\ =
_
c
() ,) (r, c, 0) [J (,, (r, c, 0))[ drdcd0
=
_
c
) (,(r, c, 0)) r
2
sincdrdcd0
Ejemplo.- Calcular el volumen de una esfera de radio a.
4.6 Integrales mltiples impropias
Denicin.- Sea ) : o _ R
n
R, se dene la parte positiva y la parte negativa
de ) respectivamente por:
)
+
(r) = max ) (r) , 0
)

(r) = min) (r) , 0

Observacin.- Es inmediato que
_
) (r) = )
+
(r) )

(r)
[) (r)[ = )
+
(r) +)

(r)
j = ) (r)
60
x
y
j = [) (r)[
x
y
j = )
+
(r)
x
y
j = )

(r)
x
y
61
Denicin.- Sea ) : o _ R
n
R tal que
o
o ,= c. Sea
J (o) = T _ o : T es cerrado y acotado
Supongamos que
_
T
) (r) dr existe para cada T J (o).
Si = sup
T(S)
__
T
)
+
(r) dr
_
y 1 = inf
T(S)
__
T
)

(r) dr
_
donde al menos uno de estos valores es nito, denimos
_
S
) (r) dr = 1.
Observacin.-
1. Si o es cerrado y acotado, ) es integrable Riemann sobre o, entonces y
1 son ambos nitos y se verica que
_
S
) (r) dr = 1
2. Si o no es acotado, o ) no es acotada sobre o, o ambos casos, decimos
que
_
S
) (r) dr es una integral impropia la cual converge a 1 si y
1 son nitos o que diverge en caso contrario.
.
Teorema 1.- Sea ) : o _ R
n
R,
o
o ,= c, : _ 2. La integral impropia
_
S
) (r) dr
converge ssi
_
S
[) (r)[ dr converge.
Teorema 2.- Sea ) : o _ R
n
R,
o
o ,= c. Si la integral impropia
_
S
) (r) dr
converge o diverge a +o y T

N
es una sucesin de conjuntos en J (o)
tal que:
(a) (\, N) T

_ T
+1
(b)
o
o =
+o
'
=1
_
o
T

_
,
entonces
_
S
) (r) dr = lim
+o
_
Tj
) (r) dr
Observacin.- Si (\r o) ) (r) _ 0, entonces
_
S
) (r) dr converge a un nmero
real o bien diverge a +. Luego el teorema anterior es siempre aplicable con
) _ 0.
62
Ejemplos.- en Ejercicio 7.
Nota.- El teorema 2 tambin puede ser expresado en trminos del siguiente:
Corolario.- Si
_
S
) (r) dr converge o si diverge a + o y T

: a < j < /
es una familia de conjuntos en J (o) tal que:
(a) T

1
_ T

2
si j
1
< j
2
y
(b)
o
o = '
o<<b
_
o
T

_
, entonces
_
S
) (r) dr = lim
b

_
T
) (r) dr........(*)
Ahora si (a) se remplaza por T

1
_ T

2
si j
1
< j
2
, entonces (*) se remplaza por
_
S
) (r) dr = lim
o

_
T
) (r) dr
Teorema 3.- (criterio de comparacin)
Sea o _ R
n
, : 1,
o
o ,= c. Sean ) y q funciones Riemann - integrables sobre
cualquier elemneto de J (o). Si (\r o) [) (r)[ _ [q (r)[, entonces
(a)
_
S
q (r) dr converge==
_
S
) (r) dr converge
(b)
_
S
) (r) dr diverge==
_
S
q (r) dr diverge
.
Ejemplos.- en Ejercicio 10.
.
Clculo III - 521227
9 de Mayo de 2010
JRC
63
UNIVERSIDAD DE CONCEPCION
DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo
5 Calculo vectorial
5.1 Integrales de lnea
5.1.1 INTRODUCCION
Denicin.- Se llama curva a cualquier conjunto de puntos
(r
1
, r
2
, ......, r
n
) R
n
tales que:
_

_
r
1
= )
1
(t)
r
2
= )
2
(t)
.
.
.
.
r
n
= )
n
(t)
; t [a, /]
donde )
I
: [a, /] R es continua para i = 1, 2, ......, :. Las relaciones ante-
riores se llaman ecuaciones paramtricas de la curva. el smbolo t es llamado
parmetro y el conjunto [a, /] intervalo parmetrico.
Observacin.-
1. una curva en R
n
es un subconjunto de R
n
para el cul existe una funcin
continua
) : [a, /] R
n
, t (r
1
, r
2
, ......, r
n
) = ()
1
(t) , )
2
(t) , ......., )
n
(t))
tal que = rcc). La curva es dirigida en el sentido que ) establece un
orden en el cual los puntos de la curva se obtienen cuando t vara de a
hasta /. ) se llama representacin paramtrica o parametrizacin de la
curva.
2. Un punto r
0
R
n
est sobre una curva parametrizada por la funcin
vectorial ) : [a, /] R
n
si existe t
0
[a, /] tal que r
0
= ) (t
0
). La
coleccin de todos los puntos que satisfacen esta condicin se llama traza
de la curva .
64
3. Dos funciones continuas
) : [a, /] R
n
y q : [c, d] R
n
son paramtricamente equivalentes si exite una funcin continua, biuni-
voca c : [a, /] [c, d] tal que c(c) = a, c(d) = / y
(\t [c, d]) ) (c(t)) = q (t)
() y q son paramtricamente equivalentes si representan la misma curva).
4. Diremos que una curva
t
es la negativa (u opuesta) de la curva si ambas
tienen la misma traza y se recorren en sentidos opuestos. En notacin

t
= .
5. El intervalo de parametrizacin de una curva tambin puede ser abierto
o no acotado.
.
Ejemplo.- Parametrizar:
1. r
2
3
+j
2
3
= 1, en sentido antihorario.
2. La interseccin de las supercies:
2r
2
+j
2
+ 4. = 4 y r
2
j
2
+ 8. = 4
Indicacin.- Proyeccin de la curva en el plano rj: r
2
+j
2
= 4.
3. La recta 1 que pasa por (a, /, c) en la direccin del vector

= (
1
,
2
,
3
).
.
Denicin.-
1. Un punto A = ) (t) de una curva parametrizada por ) : [a, /] R
n
es
un punto mltiple si existe ms de un valor de t [a, /] tal que A = ) (t).
La curva es simple si no tiene puntos mltiples; es cerrada si ) (a) = ) (/);
es simple cerrada si es cerrada y ) (a) = ) (/) es el nico punto mltiple.
Los puntos ) (a) y ) (/) se llaman extremos de la curva.
2. Considere las curvas
1
,
2,..........,

|
tal que el punto terminal de
I
co-
incide con el punto inicial de
I+1
para i = 1, 2, ....., / 1. Escribimos
=
|

I=1

I
para representar a la curva obtenida al recorrer
1
,
2,..........,

|
en esde orden.
3. Una funcin continua ) : [a, /] R
n
es suave si es continuamente diferen-
ciable sobre [a, /] y (\t [a, /]) |)
t
(t)| , = 0.
Una curva es suave si admite una parametrizacin suave. Se dice que
la curva es seccionalmente suave si =
|

I=1

I
y todas las curvas
I
son
suaves.
65
4. Dos curvas son suavemente equivalentes si son suaves y paramtricamente
equivalentes.
5.1.2 LONGITUD DE ARCO
Denicin.- Sea una curva parametrizada por c : [a, /] R
n
de clase (
1
. La
longitud de est denida por
| () =
_
b
o
_
_
c
t
(t)
_
_
dt
Ejemplo.- Una partcula se mueve a lo largo de la astroide de ecuacin
r
2
3
+j
2
3
= 1
Esta es parametrizada por c : [0, 2] R
2
, c(t) =
_
cos
3
t, sin
3
t
_
. Encontrar el
vector velocidad
dc
dt
de la partcula, su rapidez :
t
(t) =
_
_
_
_
dc
dt
_
_
_
_
y su longitud.
Observacin.- Con las notaciones de la denicin anterior se introduce la funcin
longitud de arco como
: (t) =
_
|
o
_
_
c
t
(n)
_
_
dn
de manera que (Teorema Fundamental del Clculo)
:
t
(t) =
_
_
c
t
(t)
_
_
j | () =
_
b
o
:
t
(t) dt.
En R
3
se tiene:
d:
dt
=
_
_
dr
dt
_
2
+
_
dj
dt
_
2
+
_
d.
dt
_
2
o
d: =
_
_
dr
dt
_
2
+
_
dj
dt
_
2
+
_
d.
dt
_
2
dt
5.1.3 INTEGRALES SOBRE CAMPOS VECTORIALES
El concepto de integral de lnea es uno de los diversos caminos mediante los
cuales se puede generalizar la integral de funciones de una variable a funciones
de varias variables. Las integrales de lnea se presentan al tratar problemas de
trabajo, energa potencial, ujo de calor, entropa, circulacin de un udo y
otras cuestiones fsicas en las que se estudia el comportamiento de un vector o
campo vectorial a lo largo de una curva.
66
Denicin.- Sea

1 : 1 _ R
n
R
n
un campo vectorial continuo. Sea ( una
curva cuya traza este contenida en 1. ( est denida paramtricamente por

r : [a, /] R
n
de clase (
1
.
Se dene la integral de lnea de

1 a lo largo de la curva ( por:
_
c

dr =
_
b
o

1
_

r (t)
_

r
t
(t)dt
Observacin.-
1.
_
c

dr mide el trabajo realizado por el campo de fuerzas

1 para des-
plazar una partcula a lo largo de la curva ( representada paramtrica-
mente por

r : [a, /] R
n
.
2. Otra notacin.-
_
c

dr =
_
c
1dr +Qdj +1d. para

1 = (1, Q, 1).
3. El valor de
_
c

dr es independiente de la parametrizacin escogida para

la curva (.
4. Denicin.- Si ( =
|

I=1
(
I
es una curva seccionalmente suave, se dene
_
c

dr =
|

I=1
_
ci

dr
I
.
Ejemplo.- Calcular
_
c

dr, donde

1 (r, j, .) =
_
j
2
.
2
, .
2
r
2
, r
2
j
2
_
y ( es la frontera de la porcin de supercie o : r
2
+ j
2
+ .
2
1 = 0, r _ 0,
j _ 0, . _ 0, de modo que al recorrer ( se ve a o a la izquierda.
Ejercicios.-
1. Calcular la integral de lnea de

1 (r, j) =
_
r +j
r
2
+j
2
,
r j
r
2
+j
2
_
, a lo
largo de la curva cerrada ( : r
2
+j
2
= a
2
en sentido horario.
2. Calcular
_
c
r
2
dr +rjdj +d., donde ( es la interseccin del cilindro
j = r
2
, 0 _ r _ 1 y el plano . = 1.
67
.
Proposicin.- Sea

1 : 1 _ R
n
R
n
un campo vectorial continuo.
Sea ( una curva cuya traza est contenida en 1. Entonces
_
c

dr =
_
c

dr
Demostracin.- Se deduce de la regla de la cadena y del teorema del cambio de
variables.
Proposicin.- Si ( es una curva suave contenida en el dominio comn de los
campos vectoriales continuos

1 y

G; c, , R, entonces
_
c
_
c

1 +,

G
_

dr = c
_
c

dr +,
_
c

dr
Demostracin.- Se deduce de la denicin y de las propiedades de linealidad de
la integral de Riemman.
Ejemplo.- Calcule el trabajo realizado por el campo de fuerzas

1 : R
3
R
3
,

1 (r, j, .) =
_
r
2
, j
2
, .
2
_
sobre una partcula que se mueve a lo largo de una
curva ( representada por

r : [0, 2] R
3
,

r (t) = (cos t, sint, t).
Ejercicios.-
1. Calcule
_
c
r
2
dr +j
2
dj +.
2
d., donde ( est representada por

r : [0, 1] R
3
,

r (t) =
_
t, t
2
, t
3
_
.
2. Lo mismo que en el ejemplo anterior con

r (t) = (cos t, sint, 0).
3. Calcule
_
c
rdr + jdj, donde ( est representada por

r :
_
0,
t
2

R
2
,

r (t) = (cos t, sint).

5.1.4 INTEGRALES DE LINEA SOBRE CAMPOS ESCALARES
Denicin.- Sea ) : 1 _ R
n
R un campo escalar continuo y ( una curva
contenida en 1, ( es parametrizada por
c : [a, /] R
n
de clase (
1
.
Se dene la integral de lnea de ) a lo largo de la curva ( por:
_
c
) =
_
b
o
) (c(t))
_
_
c
t
(t)
_
_
dt
68
.
Observacin.-
1. Si (\r 1) ) (r) = 1, entonces
_
c
) es la longitud de la curva (.
2. Otra notacin.-
_
c
) =
_
c
)d:, donde : es la funcin longitud de arco.
(si ( es representada por

r : [a, /] R
n
, entonces d: = |r
t
(t)| dt).
3. Si ) =

T , donde

T =

r
t
(t)
_
_
_

r
t
(t)
_
_
_
=
d

r ,dt
d:,dt
=
d

r
d:
es el vector tangente
unitario, entonces
_
c
)d: =
_
c

dr ya que

r
t
=

1
d

r
dt
=

1
d

r
d:
d:
dt
=

T
d:
dt
=

T
_
_
_

r
t
(t)
_
_
_.
4. Cuando

1 representa una velocidad, el producto interior

1

T es la
componente tangencial de la velocidad, y la integral de lnea
_
c

T d:
_
=
_
c

dr
_
se llama integral de ujo de 1 a lo largo de ( (Mcanica
de Fludos).
.
Ejemplo.- Calcular
_
c
_
r
2
+j
2
_
d:, donde ( es representada por

r (t) = a (cos t +t sint)

i +a (sint t cos t)

,, 0 _ t _

2
(a 0).
Ejercicios.-
1. Repetir lo mismo con 0_ t _ 2.
2. Calcular
_
c
)d:, si ) (r, j, .) = c
_
:
y ( es parametrizada por

r : [0, 1] R
3
,

r (t) =
_
1, 2, t
2
_
5.1.5 OTRAS APLICACIONES DE LA INTEGRAL DE LINEA
Supongamos que ( representa un alambre no de densidad variable y que la
densidad est denida por un campo escalar ) siendo ) (r, j, .) la unidad de
masa por unidad de longitud en el punto (r, j, .) de (. La masa total ' del
alambre queda representada por:
' =
_
c
) (r, j, .) d:
69
El centro de gravedad del alambre es el punto (r, j, .) cuyas coordenadas estn
dadas por:
r =
1
'
_
c
r) (r, j, .) d:; j =
1
'
_
c
j) (r, j, .) d:; . =
1
'
_
c
.) (r, j, .) d:;
5.1.6 INTEGRALES DE LINEA SOBRE CURVAS CERRADAS.
INTEGRAL DE LINEA DE UN GRADIENTE. INDEPEN-
DENCIA DE LA TRAYECTORIA.
Para ) (
1
[a, /], se tiene
_
b
o
)
t
(r) dr = ) (/) ) (a) 2
o
T.F. del C.
Extendemos ahora este teorema a integrales de lnea.
Teorema.-(2
o
teorema fundamental del clculo para integrales de lnea)
Sea ) (
1
(o), o _ R
n
abierto. Sea \) el gradiente de ). Sean

y

A dos
puntos en o que pueden unirse por una curva seccionalmente suave (.
Si ( es representada por

r : [a, /] R
n
con

r (a) =

y

r (/) =

A, entonces
_
c
\)

dr = )
_

A
_
)
_

_
Demostracin.- Consideremos 1 : [a, /] R
n
, 1 (t) = ) (

r (t)). Se tiene:
1
t
(t) = () r)
t
(t) (t) = \) (

r (t))

r
t
(t) (R. de la C.)
_
b
o
1
t
(t) dt = 1 (/) 1 (a) = ) (

r (/)) ) (

r (a)) = )
_

A
_
)
_

_
Por lo tanto
_
c
\)

dr =
_
b
o
\) (

r (t))

r
t
(t) dt =
_
b
o
1
t
(t) dt = )
_

A
_
)
_

_
Ejemplo- Calcular
_
c

dr, donde

1 (r, j, .) = (j., r., rj) y ( es cualquier
curva seccionalmente suave que une el punto (1, 1, 2) con (1, 3, 1) en ese orden.
Ejercicio.-Lo mismo para

1 (r, j, .) =
_
j
2
, 2rj, 0
_
y ( es la interseccin de
las supercies rj
2
+. = j
2
. con r
2
+j
2
= rj. +1, desde el punto (1, 0, 0) hasta
el punto (0, 1, 1).
70
.
Observacin.-
1. Sea

1 : o _ R
n
R
n
un campo vectoria continuo. Diremos que la
integral de lnea de

1 es independiente del camino en o si dadas dos
curvas contenidas en o, (
1
y (
2
, con puntos extremos comunes, se tiene:
_
c1

dr =
_
c2

dr.
2. La integral de lnea de un gradiente es cero alrededor de una curva cerrada.
3. Supongamos que el campo de fuerzas

1 es el gradiente de un potencial,
es decir,

1 = \). El trabajo realizado por

1 al mover una partcula
desde

hasta

A a lo largo de cualquier curva ( es )
_

A
_
)
_

_
.
En mecnica se demuestra que este trabajo es tambin igual al cambio
de energa cintica de la partcula. Si designamos por /
_

A
_
la energa
cintica de la partcula. cuando est situada en

A, el teorema nos da:
/
_

A
_
/
_

_
= )
_

A
_
)
_

_
, o
/
_

A
_
)
_

A
_
= /
_

_
)
_

_
(+)
El campo escalar )
_

A
_
se llama energa potencial de la partcula. Si

se mantiene jo y

A va cambiando de posicin en o, la ecuacin (+) dice
que la suma de /
_

A
_
y )
_

A
_
es constante. En otras palabras, si un
campo de fuerzas es un gradiente, la suma de las energas cintica y poten-
cial es constante. En mecnica esto se llama principio de conservacin de la
energa.
4. Un campo de fuerzas con funcin potencial
_

1 = \)
_
se llama conser-
vativo porque la energa total, cintica ms potencial se conserva.
5. En un campo conservativo, no se realiza trabajo alguno al mover una
partcula a lo largo de una curva cerrada volviendola al punto de partida.
6. Un campo de fuerzas no ser conservativo si existe en el sistema friccin
o viscosidad ya que estas tienden a convertir energa mecnica en energa
calrica.
7. Si

1 es un campo vectorial independiente del camino (trayectoria) se
escribe
_

1

.

dr para la integral de lnea de

1 a lo largo de cualquier
curva ( seccionalmente suave de

a

1 (
_
c

dr).
71
8. Sea

1 un campo vectorial continuo sobre o y sea ( una curva cerrada en
o, con punto inicial y terminal

. Si se cambia el punto inicial y terminal

por

1, la integral de lnea de

1 no cambia.
.
Proposicin.- Sea

1 un campo vectorial continuo sobre 1. Entonces

1 es independiente de la trayectoria en 1 ==
_
c

dr = 0, para
cualquier curva seccionalmente suave ( y cerrada en 1.
Indicacin para la demostracin.-
(==)Sea ( una curca cerrada seccionalmente suave contenida en 1. Sean
y 1 dos puntos de (.
: punto inicial de (
1
y punto terminal de (
2
.
1: punto inicial de (
2
y punto terminal de (
1
.
_
c

dr =
_
c1

dr +
_
c2

dr =
_
c1

dr
_
c2

dr = 0, ya que

1
es independiente de la trayectoria.
(==) Sean (
1
y (
2
dos curvas con el mismo punto inicial e igual punto
nal 1.
( = (
1
+ ((
2
) es una curva cerrada seccionalmente suave.
_
c

dr =
_
c1

dr +
_
c2

dr = 0
Por lo tanto,
_
c1

dr =
_
c2

dr
72
Esto prueba que

1 es independiente de la trayectoria.
Denicin.- Sea 1 _ R
n
, se dice que:
1 es conexo == Dados dos puntos de 1, estos pueden unirse por una curva
seccionalmente suave contenida en 1.
Teorema Fundamental para Integrales de Lnea.-
Sea

1 : 1 _ R
n
R
n
,

1 = (1
1
, 1
2
, ......., 1
n
) un campo vectorial continuo
sobre el abierto conexo 1. Son equivalentes:
a) La integral de lnea de

1 es independiente de la trayectoria sobre 1.
b) Existe un campo escalar ) denido sobre 1 tal que

1 = \).
c)
_
c1

dr = 0 para cualquier curva cerrada en 1.

.
Observacin.-
1. Para una demostracin parcial ver la proposicin anterior
2. La integral de lnea de

1 es independiente de la trayectoria ssi

1 tiene
un potencial. Una forma de encontrar el potencial consiste en hallar un
campo escalar ) : 1 _ R
n
R tal que
. \) =
_
J}
Jr1
,
J}
Jr2
, ......,
J}
Jrn
_
= (1
1
, 1
2
, ......., 1
n
);
es decir, se debe encontrar ) tal que 1
1
=
0)
0r
1
, 1
2
=
0)
0r
2
, ...............,
1
n
=
0)
0r
n
.
3. Si

1 = \), entonces

1 se llama conservativo.
4. Sea

1 : 1 _ R
3
R
3
, 1 abierto y

1 diferenciable, se dene el
rotor de

1 (en notacin rot
_

1
_
o \

1 ) por:
\

1 =

i

,

/
J
Jr
J
J
J
J:
)
1
)
2
)
3

5. Si \

1 =

0 , entonces

1 se llama irrotacional.
6. Sea

1 : 1 _ R
n
R
n
,

1 = (1
1
, 1
2
, ......., 1
n
) de clase (
1
sobre el
abierto conexo 1. Si

1 es conservativo, entonces
01
I
0r

r ) =
01

0r
I
(

r );
73
i = 1, 2, ......, :,

r 1.
En particular si : = 3 y

1 = (1; Q, 1), se tiene:
01
0j
=
0Q
0r
,
0Q
0.
=
01
0j
;
01
0r
=
01
0.
y \

1 = 0
Luego si

1 es de clase (
1
(1) con 1 abierto conexo, entonces

1 conservativo ==

1 irrotacional
(el recproco es falso)
Denicin.- Sea o _ R
n
, si dados

y

1 en o, el segmento que los une
pertenece al conjunto o, entonces o se llama convexo.
Teorema.- Sea 1 _ R
3
abierto convexo y sea

1 un campo vectorial de
clase (
1
(1). Entonces

1 es un gradiente == \

1 =

0
Demostracin.- (==) Observacin 5.
(==) Ver Calculus de Apostol pgina 375.
Observacin.-
7. Si 1 _ R
3
es abierto convexo y

1 (
1
(1), entonces

1 es un gradiente ==
01
0j
=
0Q
0r
,
0Q
0.
=
01
0j
;
01
0r
=
01
0.
8. Si 1 _ R
2
es abierto convexo y

1 (
1
(1), entonces

1 es un gradiente ==
01
0j
=
0Q
0r
Ejemplo.- Evalue
_
c

dr, donde

1 (r, j, .) =
_
2j +.
2
, 2r, 2r.
_
y ( es
la interseccin de las supercies . = r
2
+j
2
, r _ 0 con . = 4 recorrida en
sentido antihorario vista desde la parte superior del eje ..
Ejercicio.-Evalue
_
c
jdr + (. cos j. +r) dj +j cos j.d., donde ( es la in-
terseccin de las supercies . = r
2
j
3
con . = r + j
2
medido desde el
punto (0, 0, 0) hasta el punto (1, 1, 2).
5.1.7 TEOREMA DE GREEN
Denicin.- Sea 1 _ R
2
. Se dice que 1 es simplemente conexo si dada cualquier
curva cerrada contenida en 1, su interior tambin pertenece a 1.
74
Observacin.-Intuitivamente 1 es simplemente conexo si no tiene perforaciones.
Teorema (de Green).- Sea 1 _ R
2
simplemente conexo. Sean ( una curva sim-
ple cerrada y secionalmente suave contenida en 1. Consideremos 1, Q (
1
(1).
Entonces
_
c
1dr +Qdj =
__
1
_
0Q
0r

01
0j
_
d (r, j) ,
donde 1 es la regin limitada por ( y
_
c
indica que la integral sobre la curva
cerrada ( es recorrida en el sentido positivo (o antihorario).
Ejemplo.- Calcular
_
c

1

dr donde

1 (r, j) =
_
j
r
2
+j
2
,
r
r
2
+j
2
_
y ( es el
rombo de vrtices (2, 0), (0, 2), (2, 4), (4, 2) recorrida en sentido antihorario.
Ejercicios.-
1. Lo mismo para

1 (r, j) =
_
r
2
j, r +j
_
y ( = (
1
+ (
2
+ (
3
+ (
4
, es dada
por el grco
2. En los ejercicios anteriores calcule
_
c

dr sin usar el Teorema de Green.

.
Proposicin.- Sea 1 una regin acotada por una curva seccionalmente suave
simple cerrada (, entonces el rea de 1 es:
arca (1) =
1
2
_
c
rdj jdr.
Demostracin.- Basta aplicar el Teorema de Green a la funcin

1 = (1, Q), con

1 (r, j) = j y Q(r, j) = r.
Ejercicio.- Calcular el rea de la astroide r
2
3
+j
2
3
= 1.
75
.
Teorema de Green (para dominios multiplemente conexos)
Sea ( una curva simple cerrada seccionalmente suave en R
2
. Sean (
1
, (
2
,
........,(
|
curvas simples cerradas seccionalmente suaves al interior de ( que no se
intersecten y tal que (
I
est al exterior de (

para i ,= ,.
Sea 1 la regin formada por la reunin de ( con la porcin al interior de (
que no sea interior a las curvas (
1
, (
2
, ........,(
|
.
Sea

1 = (1, Q) un campo vectorial de clase (
1
(1). Entonces
_
c

dr
|

=1
_
cj

dr =
__
1
_
0Q
0r

01
0j
_
d (r, j) .
Demostracin.- Para / = 2.
Practicamos los cortes 1 y C1 como se indica en la gura.
Sea
1
la curva consistente en las mitades superiores de ( y (
1
(
1
y
3
) y los
dos segmentos 1 y C1 (
2
y
4
). Llamamos
2
a la curva formada por las
mitades inferiores de ( y (
1
(
5
y
6
) y los segmentos 1 y 1C (
2
y
4
).
Se tiene:
__
1
_
0Q
0r

01
0j
_
d (r, j) =
__
11
_
0Q
0r

01
0j
_
d (r, j) +
+
__
12
_
0Q
0r

01
0j
_
d (r, j) =
=
_
~
1
(1dr +Qdj) +
_
~
2
(1dr +Qdj), (s.c.)
=
_
1

dr +
_
2

dr +
_
3

dr +
_
4

dr+
+
_
5

dr +
_
2

dr +
_
6

dr +
_
4

dr +
_
1

dr +
_
6

dr+
+
_
3

dr +
_
5

dr
Para / 2, se prueba por induccin.
76
Ejemplos.- Calcular
_
c

1

dr si
1.

1 (r, j) =
_
j
r
2
+j
2
,
r
r
2
+j
2
_
y ( es el rombo de vrtices (2, 0), (0, 2),
(2, 0), (0, 2) recorrida en sentido antihorario.
2.

1 (r, j) =
_
r +j
r
2
+j
2
,
r j
r
2
+j
2
_
y ( es la circunferencia de ecuacin
r
2
+j
2
= 4 recorrida en sentido antihorario.
5.2 Integrales de supercie
5.2.1 Supercies en R
n
Denicin.-Se llama supercie en R
n
a cualquier conjunto de puntos
(r
1
, r
2
, ...., r
n
) R
n
tales que
.
_

_
r
1
= )
1
(n, )
r
2
= )
2
(n, )
:
:
:
r
n
= )
n
(n, )
con n [a, /] , [c, d]
llamadas ecuaciones paramtricas de la supercie. )
1
, )
2
, ....., )
n
son funciones
continuas. Los smbolos n y se llaman parmetros.
En otras palabras una supercie o en R
3
es un subconjunto de R
3
para el cual
existe una funcin continua ) : 1 _ R
2
R
3
tal que o = rcc). ) se llama
representacin paramtrica o parametrizacin de la supercie.
Supercies paramtricas Suaves
Denicin.- sea c : 1 _ R
2
R
3
, se dice que c es una funcin paramtrica suave
si verica:
i) 1 es cerrado y acotado en R
2
y 1r1 est formada por una cantidad nita
de curvas cerradas simples seccionalmente suaves.
ii) c es de clase (
1
(1) y
_
\(n, )

1
_
(n, ) =
0c
0n
(n, )
0c
0
(n, ) ,= (0, 0, 0) .
(n, ) se llama producto vectorial fundamental y es un vector normal a
la supercie.
77
iii) c(n, ) ,= c(n
1
,
1
) cuando (n, )

1, (n
1
,
1
) 1 y (n, ) ,= (n
1
,
1
).
iv) (\(n
0
,
0
) 1r1) lim
(u,u)(u0,u0)
(n, )
| (n, )|
existe.
.
Denicin.- Se dice que o _ R
3
es una supercie suave si existe una funcin
paramtrica suave c : 1 _ R
2
R
3
tal que o = rcc (c).
Observacin.- Sea o una supercie suave de R
3
parametrizada por
c : 1 _ R
2
R
3
.
Sea (n
0
,
0
)

1, entonces el plano tangente a la supercie o en el punto
c(n
0
,
0
) queda determinado por los vectores T
u
=
0c
0n
(n
0
,
0
) y T
u
=
0c
0
(n
0
,
0
).
El vector

(n
0
,
0
) = T
u
T
u
,= 0 es normal a o, y la ecuacin del plano tan-
gente a la supercie en (n
0
,
0
, .
0
) esta dada por

(n
0
,
0
) (n n
0
,
0
, . .
0
) = 0
Denicin.- Dos funciones paramtricas suaves
c
1
: 1
1
_ R
2
R
3
j c
2
: 1
2
_ R
2
R
3
son equivalentes si existe G : 1
1
1
2
biyectiva de clase (
1
tal que
(\r 1) [J
r
G[ , = 0 j c
1
= c
2
G.
Observacin.- Dos funciones paramtricas suaves equivalentes representan la
misma supercie ya que G es biyectiva.
Denicin.- Sea o una supercie suave. Se llama frontera de o al conjunto
0o de todos los puntos r
0
o tal que
(\- 0) \
:
=
_
r R
3
o : |r r
0
| < -
_
es conexo
Ejemplo.- Describa la frontera de:
1. . = r
2
+j
2
; 0 _ . _ 4 5.r
2
+j
2
_ a
2
, . = 1
2. r
2
+j
2
+.
2
= a
2
, . _ 0 6.r
2
+j
2
+.
2
= a
2
3.
r
2
4
+

2
9
= 1, 0 _ . _ 1 7. r
2
+.
2
_ 9, con j = 1
4. r
2
+j
2
_ a
2
, 1 _ . _ 4 8. .
2
= r
2
+j
2
, . < 1
9. la porcin de la esfera de ecuacin r
2
+ j
2
+ .
2
= 16 al interior del cono
de ecuacin . =
_
r
2
+j
2
.
78
10. la supercie formada por r
2
+ j
2
= 1, 0 _ . _ 4; r
2
+ .
2
_ 1, para . = 0
y r
2
+.
2
_ 1, para . = 4.
Se pide tambin parametrizar y encontrar el producto vectorial fundamen-
tal =
0c
0n

0c
0
.
Denicin.- Una supercie se dice cerrada si 0o = c.
Denicin.- Sean o
1
, o
2
, ......, o
|
supercies suaves con frontera 0o
1
, 0o
2
, ......, 0o
|
respectivamente. Si cada supercie intersecta al menos una de las otras en una
curva seccionalmente suave, diremos que las supercies o
1
, o
2
, ......, o
|
forman
una supercie seccionalmente suave con secciones suaves o
1
, o
2
, ......, o
|
y es-
cribimos
o = o
1
+o
2
+...... +o
|
.
Ejemplos.-
1. La supercie cerrada formada por: r
2
+j
2
= 1 con 0 _ . _ 4; r
2
+j
2
_ 1
para . = 0; r
2
+j
2
_ 1 para . = 4 es seccionalmente suave.
2. La esfera:r
2
+j
2
+.
2
= 4 es seccionalmente suave.
3. La supercie formada por: . = r
2
+j
2
, 0 _ . _ 4 y r
2
+j
2
= 4, 4 _ . _ 6
es seccionalmente suave.
.
Denicin.- Una supercie suave o se dice que es orientable, si tiene una repre-
sentacin c : 1 _ R
2
R
3
tal que si
. (n, ) =
0c
0n
(n, )
0c
0
(n, )
entonces
lim
(u,u)(u0,u0)
(n, )
| (n, )|
= lim
(u,u)(u1,u1)
(n, )
| (n, )|
donde (n
0
,
0
) , (n
1
,
1
) son pun-
tos de 01 tal que c(n
0
,
0
) = c(n
1
,
1
).
Observacin.-
1. La idea intuitiva de una supercie orientable es: "En cada punto de una
supercie existen dos vectores normales cuyas direcciones son opuestas,
una supercie es orientable si es posible escoger un vector normal en cada
punto que no est en la frontera tal que este vector se mueve o vara
continuamente en la supercie.
2. La cinta de mobius no es orientable. (ver nota aparte).
.
Denicin.- Sea o orientable y c : R
2
R
3
como en la denicin anterior. Se
79
llama orientacin de o inducida por c al campo vectorial
. : : o R
3
tal que si A = c(n
0
,
0
) o, se tiene
1. (n
0
,
0
)
o
1 y (n
0
,
0
) =
0c
0n
(n
0
,
0
)
0c
0
(n
0
,
0
), entonces
:(A) =
(n
0
,
0
)
| (n
0
,
0
)|
2. (n
0
,
0
) 01 : :(A) = lim
(u,u)(u0,u0)
(n, )
| (n, )|
(este lmite existe y es nico porque o es orientable).
.
Observacin.-
1. La orientacin de o puede visualizarse dibujando una echa de longitud
unitaria :(A) en cada punto A o.
2. Aunque una supercie orientable tiene innitas representaciones paramtri-
cas, cada supercie orientable tiene slo dos orientaciones posibles.
.
Denicin.- Sea : una orientacin de la supercie suave o y ( una curva suave
en 0o. diremos que ( est orientada positivamente c/r a : si se verica que:
"Una persona que camina sobre ( con la cabeza en la direccin de : siempre
tiene a o inmediatamente a su izquierda".
Diremos que 0o est orientada positivamente si todas sus curvas suaves estn
orientadas positivamente.
80
Ejemplos.- Sea o la seccin del paraboloide . = 4 r
2
j
2
acotada por
0 _ . _ 3
orientacin positiva orientacin positiva no la tiene
Denicin.- Una supercie seccionalmente suave o = o
1
+ o
2
+ ...... + o
|
se
dice que es orientable si sus secciones suaves son orientables y es posible escoger
orientaciones :
1
, :
2
, ....., :
|
de o
1
, o
2
, ......, o
|
tales que si ( es cualquier curva
suave comn a 0o

y 0o

, i ,= ,, entonces la direccin positiva de ( c/r a :

I
es
la direccin negativa de ( c/r a :

.
Observacin.- Una supercie seccionalmente suave tiene exactamente dos orien-
taciones, puesto que la orientacin escogida para un o
I
determina las orienta-
ciones para el resto.
5.2.2 Integrales de supercie
En muchos aspectos las integrales de supercie tienen un tratamiento anlogo
al de las integrales de lnea. La integracin se efectua sobre una supercie en
lugar de hacerlo a lo largo de una curva.
Integrales de campos escalares
Denicin.- Sea o una supercie parametrizada por c : 1 _ R
2
R
3
y sea ) un
campo escalar denido sobre o. Se dene la integral de supercie de ) sobre o
por
_
S
)d =
__
1
) (c(n, ))
_
_
_
_
0c
0n
(n, )
0c
0
(n, )
_
_
_
_
d (n, ) .
81
Si o es seccionalmente suave, o = o
1
+o
2
+...... +o
n
, entonces
_
S
)d =
n

|=1
_
Si
)d
Observacin.-
1. Tal como ocurre con las integrales de lnea, se puede demostrar que
_
S
)d
es independiente de las parametrizaciones escogidas para o con la condi-
cin que sean equivalentes.
2. Una supercie o dada en forma explcita por . = ) (r, j) , (r, j) 1,
puede ser parametrizada por

r : 1 _ R
2
R
3
,

r (r, j) = (r, j, ) (r, j))

.
Denicin.- Se dene el rea de la supercie o por:
rea (o) =
_
S
d
Ejemplo.- Calcule
_
S
)d donde ) (r, j, .) = r
2
+j
2
y o es la frontera del slido
_
r
2
+j
2
_ . _ 1.
Ejercicios.-
1. Calcule
_
S
)ddonde ) (r, j, .) =
_
r
2
+j
2
+ 1 y o es la helicoide denida
por:
.
_
_
_
r = r cos 0
j = r sin0
. = 0
,
0 _ 0 _ 2
0 _ r _ 1
2. Calcule el rea de la supercie del ejemplo anterior.
.
Otras aplicaciones
La masa total de una lmina delgada o de un material cuya densidad est
dada por c (r, j, .) es
' =
_
S
c (r, j, .) d
Su centro de gravedad es el punto (r, j, .) que est determinado por
r =
1
'
_
S
rcd
. .
j =
1
'
_
S
jcd
. .
. =
1
'
_
S
.cd
. .
El valor medio de una funcin denida por q (r, j, .) sobre una supercie o es:
\ ' =
1
rea (o)
_
S
qd
82
Ejercicio.- Si T (r, j, .) = .
2
es una distribucin de temperaturas, calcule el
valor medio de dichas temperaturas sobre la supercie
o : r
2
+j
2
+.
2
= 1;
1
2
_ ..
Algunas propiedades
Sea c R y sean q y / campos escalares denidos sobre la supercie sec-
cionalmente suave o. Entonces
(a)
_
S
cqd = c
_
S
qd
(b)
_
S
(q +/) d =
_
S
qd+
_
S
/d
(c) Si / _ 0 sobre o, entonces
_
S
/d _ 0
(d) Si / _ q sobre o, entonces
_
S
/d _
_
S
qd
Demostracin.- (a), (b) y (c) directamente de la denicin.
(d) se deduce de (c) aplicado a ) = / q _ 0.
.
Integrales de campos vectoriales
Denicin.- Sea

1 un campo vectorial continuo sobre la supercie suave ori-
entable o y supongamos que : es una orientacin de o. Entonces la integral de
supercie de

1
__
S

1 d

o
_
se dene por:
_
S

1 d

o =
_
S

1 :d
Observacin.-
1. Si : es el vector normal inducido sobre o por la representacin paramtrica
c : 1 _ R
2
R
3
, entonces : =
0c
0n
(n, )
0c
0
(n, )
_
_
_
_
0c
0n
(n, )
0c
0
(n, )
_
_
_
_
=

_
_
_

_
_
_
y
_
S

1 :d =
_
1
_

1 :
__
_
_

_
_
_d (n, ) =
_
1

d (n, ) =
=
_
1

1
_
0c
0n

0c
0
_
d (n, )
83
2. Fsicamente la integral de supercie o de un campo vectorial representa la
masa total del ujo

1 que atraviesa la supercie o por unidad de tiempo
en la direccin del vector normal unitario :. (Integral de ujo de

1 a
travs de o en la direccin de :).
3. Si o = o
1
+o
2
+......+o
|
es una supercie seccionalmente suave orientable
y o

tiene orientacin :

; , = 1, 2, ...., / se dene:
_
S

1 :d =
|

=1
_
Sj

1 :

d
4. Si :
1
= : es el vector normal unitario con direccin opuesta, entonces
_
S

1 :
1
d =
_
S

1 :d
.
Ejemplo.- Calcular
_
S

1 :d si

1 (r, j, .) = (r, j, 0) y o es la semiesfera
denida por: r
2
+j
2
+.
2
= 1, . _ 0 y : es el vector normal exterior a o.
Ejercicio.- Calcular
_
S

1 :d si

1 (r, j, .) = (r, j, .) y o es el cilindro con
fondo en el plano rj sin tapa denido por: r
2
+ j
2
= 1, 0 _ . _ 4 con normal
exterior.
Otras notaciones
Sea o una supercie seccionalmente suave parametrizada por c = c(n, )
y : la orientacin inducida por c. Supongamos que
_
S

1 :d existe. Sea

1 = (1, Q, 1) y c(n, ) = (r(n, ) , j (n, ) , . (n, )).

Se tiene:
.
0c
0n

0c
0
=
0 (j, .)
0 (n, )

i +
0 (., r)
0 (n, )

, +
0 (r, j)
0 (n, )

/
Luego,
_
S

1 :d =
__
1

1 (c(n, ))
_
0c
0n

0c
0
_
d (n, ) =
=
__
1
_
1 (c(n, ))
0 (j, .)
0 (n, )
+Q(c(n, ))
0 (., r)
0 (n, )
+1(c(n, ))
0 (r, j)
0 (n, )
_
d (n, )
Notacin.-
_
S

1 :d =
_
S
1djd. +Qd.dr +1drdj
84
5.2.3 Teorema de Gauss. Teorema de Stokes
Teorema.- (de la divergencia o de Gauss)
Sea 1 una regin de R
3
y acotada por una supercie seccionalmente suave o.
Sea

1 un campo vectorial de clase (
1
(1).
Si : es una normal exterior a o , entonces
_
S

1 :d =
___
1
di

1 (r, j, .) d (r, j, .), donde di

1 = \

1 .
Demostracin.- Ver Apostol pgina 374.
Teorema.- (de Stokes)
Sea o _ R
3
una supercie seccionalmente suave orientable cuya frontera es una
curva seccionalmente suave cerrada orientada positivamente c/r a o. o es para-
metrizada por c de clase (
1
.

1 es un campo vectorial de clase (
1
sobre un
abierto que contiene a o. Entonces
.
_
S
rot

1 :d =
_
JS

1 d

r
Demostracin.- Ver Apostol pgina 384.
Ejemplo.- Evalue
_
S
\

1 :d, si o =
_
(r, j, .) : r
2
+j
2
+. = 4, 3 _ . _ 4
_
y

1 (r, j, .) =
_
r
2
+j 4, 3rj, 2r. +.
2
_
.
1. Usando el teorema de Stokes.
2. Usando el teorema de Gauss.
.
Clculo III - 521227
24 de Mayo de 2010
JRC
85