Integrales paramtricas e integrales dobles y triples.

e
Eleonora Catsigeras 19 de julio de 2006
*

Notas para el curso de Clculo II a de la Facultad de Ingenier a.

PROLOGO: Este texto es complementario al libro de Burgos sobre
funciones de varias variables (referencia [1] de la Bibliograf al nal de este
texto). Fue escrito para ser estudiado despus de los cap a e tulos 1, 2 y 3
del libro de Burgos y antes de su cap tulo 4. Est dirigido a estudiantes
universitarios de grado de las carreras de Ingenier que estn a a a
cursando Clculo II. a Se supone conocidos el Clculo Diferencial e Integral
de funciones reales de una variable real a (curso de Clculo I) y el Clculo
Diferencial de funciones reales de varias variables (los primeros a a tres cap
tulos del libro de Burgos). Los objetivos de este texto son: Estudiar las
integrales simples paramtricas (continuidad y derivabilidad respecto al par
metro). e a Introducir el tema de integrales dobles y triples, como
integrales iteradas de funciones continuas, antes de estudiar las mismas
como integrales de Riemann. Dar ejemplos resueltos de clculo de
integrales dobles y triples, y del clculo de areas y a a volmenes. u El
texto est dividido en seis secciones temticas que no son independientes,
sino que cada a a una presupone conocido el contenido de las anteriores.
Para seguir el texto es imprescindible dibujar guras. Pedimos disculpas por
no incluir las guras en estas notas.

* Instituto de Matemtica y Estad a stica Rafael Laguardia (IMERL), Fac.

Ingenieria. Universidad de la Repblica. u Uruguay. Address: Herrera y
Reissig 565. Montevideo. Uruguay.

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Indice
Prlogo. o 1. Integrales paramtricas. e 1.1. Integrales paramtricas con l e
mites de integracin independientes. . . . . . . . . . . o 1.2. Integrales param
tricas con l e mites de integracin dependientes . . . . . . . . . . . o 2.
Integrales iteradas dobles. 2.1. Integrales iteradas en dominios simples
respecto de x. . . . 2.2. Intercambio del orden de integracin en dominios
simples. . o 2.3. Integral doble en dominios descomponibles en simples. . . .
2.4. Clculo de reas y volmenes con integrales dobles. . . . . . a a u 2.5.
Teorema del valor medio y desigualdad de Cauchy-Schwarz. 3. Integrales
iteradas triples y m ltiples. u 3.1. Integrales iteradas triples. . . . . . . . . . .
3.2. Clculo de volmenes con integrales triples. a u 3.3.
Propiedades. . . . . . . . . . . . . . . . . . 3.4. Integrales mltiples. . . . . . . . . . . . . .
u...........................................................
.............................................................
.............................................................
.............................................................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 3 3 9 12 12 17
28 30 33 36 36 43 45 47 52 52 56 60 63 65 68 68 69 71 73 79 81 82 82 84
94 97 99

4. Cambio de variables en integrales dobles y triples. 4.1. Teorema de

cambio de variables. . . . . . . . . . . . . . . . 4.2. Ejemplos de cambio de
variables. Coordenadas polares en el 4.3. Coordenadas cil ndricas en el
espacio. . . . . . . . . . . . . 4.4. Coordenadas esfricas en el espacio. . . . . . . . . .
. . . . e 4.5. Peso de un slido dada su densidad puntual. . . . . . . . . . o 5.
Integrales dobles de Riemann. 5.1. Sumas de Riemann. . . . . . . . . . . . . . 5.2.
Integral de Riemann de funciones acotadas. 5.3. Conjuntos de medida
nula. . . . . . . . . . 5.4. Teorema de Riemann-Lebesgue. . . . . . . . 5.5. Teorema
de Fubini. . . . . . . . . . . . . . . 5.6. Generalizacin para integrales mltiples. . .
ou..........................................................
............

....
plano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6. Integrales dobles impropias. 6.1. Integrales impropias convergentes y no

convergentes. 6.2. Ejemplos. . . . . . . . . . . . . . . . . . . . . . . . . 6.3. Integrales
impropias de funciones no negativas. . . . 6.4. Integrales impropias
absolutamente convergentes. . . Bibliograf a.

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

1.
1.1.

Integrales paramtricas. e
Integrales paramtricas con l e mites de integracin independientes. o

1.1.1. L mites de integracin constantes. o Sea R = [a, b] [c, d] el rect

ngulo {a x b, c y d} contenido en R2 , donde a < b, c < d a son n
meros reales jos. u Sea f (x, y) continua para todo (x, y) R. Para cada
segmento vertical x = x0 jo, con x0 [a, b] (hacer gura) se considera la
integral d o c f (x0 , y) dy, de f (x0 , y) respecto de y en el intervalo [c, d],
como funcin de una sola variable y (con x0 constante). Es un nmero real,
que depende del valor constante x0 que se haya elegido en u [a, b]. Llam
mosle entonces F (x0 ), y denamos: e Denicin 1.1.2. Integral param
trica con l o e mites de integracin constantes. o Dada f (x, y) continua
(x, y) [a, b] [c, d] su integral respecto de y en el intervalo [c, d]
(tomando, mientras se integra respecto de y, un valor constante para x en
el intervalo [a, b]) es:
d

F (x) =
c

f (x, y) dy

y se llama Integral paramtrica de parmetro x (jo), con l e a mites de

integracin (c y d) constantes. o Ejemplo 1.1.3. Sea f (x, y) = 3(x+y)2 (x,

y) [a, b][c, d]. La integral paramtrica con l e mites de integracin c, d

y con parmetro x, es: o a
d

F (x) =
c

3(x + y)2 dy =
c

(3x2 + 6xy + 3y 2 ) dy
y=d y=c

y2 y3 F (x) = 3x y + 6x + 2 2 3
2

F (x) = 3x2 (d c) + 3x(d2 c2 ) + (d3 c3 )

(1)

Teorema 1.1.4. Continuidad y derivabilidad de la integral paramtrica con l

e mites de integracin constantes. o Sea f (x, y) continua (x, y) [a, b]
[c, d], y sea la integral paramtrica e
d

F (x) =
c

f (x, y) dy

Se cumple: a) F (x) es una funcin continua de x para todo x [a, b]. o b) Si

adems la derivada parcial f (x, y)/x existe y es continua en (a, b) [c, d],
entonces a F (x) es derivable para todo x (a, b), su derivada F (x) existe y
es continua, y verica la siguiente igualdad para todo x (a, b): d f (x, y) F
(x) = dy x c

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Demostracin: Se ver junto a la demostracin del teorema 1.1.8. o a o

1.1.5. L mites de integracin variables. o Sea como en el prrafo 1.1.1, el
rectngulo R = [a, b] [c, d] y f (x, y) continua para todo a a (x, y) R.
Sean dadas dos variables reales independientes , ambas tomando
valores en el intervalo [c, d]. Para cada valor jo de la terna (x, , ) [a, b]
[c, d] [c, d] consideremos la integral o f (x, y) dy, integrando
respecto de y, como funcin de una sola variable y (con x constante). Esta
integral es un nmero real, que depende del valor constante x que se haya
elegido en [a, b], y u que depende tambin de los valores y dados a los l
e mites de integracin1 dentro del intervalo o [c, d]. Llammosle H(x, ,
), y denamos: e Denicin 1.1.6. Integral paramtrica con l o e mites de
integracin variables. o Dada f (x, y) continua (x, y) [a, b] [c, d], y
dados valores reales y en el intervalo [c, d], la integral respecto de y
(tomando, mientras se integra respecto de y, un valor constante para x en
el intervalo [a, b]), con l mites de integracin y es: o

H(x, , ) =

f (x, y) dy

y se llama Integral paramtrica de parmetro x y l e a mites de integracin

y . o Ejemplo 1.1.7. Sea f (x, y) = 3(x + y)2 (x, y) [a, b] [c, d]. La
integral paramtrica de f e respecto de y con l mites de integracin , y
con parmetro x, es, aplicando la frmula (1) del o a o ejemplo 1.1.3:

H(x, , ) =

3(x + y)2 dy = 3x2 ( ) + 3x( 2 2 ) + ( 3 3 )

(2)

Teorema 1.1.8. Continuidad y derivabilidad de la integral paramtrica con l

e mites de integracin variables. o Sea f (x, y) continua (x, y) [a, b]
[c, d], y sea la integral paramtrica e

H(x, , ) =

f (x, y) dy

(x, , ) [a, b] [c, d] [c, d]

Se cumple: a) H(x, , ) es una funcin continua (x, , ) [a, b] [c, d]

[c, d]. o b) Las derivadas parciales de H(x, , ) respecto de y , existen
y son continuas para todo (x, , ) [a, b] (c, d) (c, d), y verican las
siguientes igualdades: H(x, , ) = f (x, ) H(x, , ) = f (x, )
1

No es necesario que se cumpla .

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

c) Si adems la derivada parcial f (x, y)/x existe y es continua en (a, b)

[c, d], entonces a la derivada parcial de H(x, , ) respecto de x, existe y es
continua para todo (x, , ) (a, b) [c, d] [c, d] y verica la siguiente
igualdad: H(x, , ) = x

f (x, y) dy x

d) En las hiptesis de la parte c), la funcin H(x, , ) es diferenciable (x,

, ) (a, b) o o (c, d) (c, d). Demostracin de los teoremas 1.1.4 y
1.1.8: Observemos primero que el teorema 1.1.4 se o obtiene de aplicar las
partes a) y c) del teorema 1.1.8, usando = c, = d, como caso particular.
Prueba de la parte a) del teorema 1.1.8: Probaremos que H es
uniformemente continua en su dominio, que es el conjunto M = [a, b] [c,
d] [c, d]. Por la denicin de continuidad uniforme, dado > 0 habr que
probar que existe > 0 tal o a que (x, , ) M, (x0 , 0 , 0 ) M, ||(x, ,
) (x0 , 0 , 0 )|| < |H(x, , ) H(x0 , 0 , 0 )| < (a probar) (1)

Tomemos un valor de > 0, cuya eleccin se especicar despus. o a e Por

ser f (x, y) continua en el rectngulo compacto R = [a, b] [c, d], es
uniformemente coma pacto en R. Luego, existe 1 > 0 tal que (x, y) R, (x0
, y) R, ||(x, y) (x0 , y)|| = |x x0 | < 1 Acotemos ahora H(x, , )
H(x0 , , ):

|f (x, y) f (x0 , y)| <

(2)

|H(x, , ) H(x0 , , )| =

f (x, y) f (x0 , y) dy

|f (x, y) f (x0 , y)| dy

(3)

Sustituyendo (2) en (3) se obtiene:

|x x0 | < 1

|H(x, , ) H(x0 , , )|

dy =

| |

(4)

Siendo y reales del intervalo [c, d], se cumple | | (d c), y por lo

tanto de (4) se deduce: |x x0 | < 1 |H(x, , ) H(x0 , , )|

(d c)

(5)

Por otro lado, llamando M al mximo de |f (x, y)| en el rectngulo compacto

R (tal M existe a a porque por hiptesis f es una funcin continua en el
compacto R), se obtiene: o o
0

|H(x0 , , ) H(x0 , 0 , 0 )| =
0

f (x0 , y) dy
0

f (x0 , y) dy =

f (x0 , y) dy +
0

f (x0 , y) dy M | 0 | + M | 0 |

(6)

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

En la igualdad del medio de (6) hemos usado que la integral de una funcin
entre y es igual a o la integral de la misma funcin entre y 0 , ms la
integral entre 0 y 0 , ms la integral entre o a a 0 y . Eligiendo 2 = /
(2M ), se deduce de (6): | 0 | < 2 , | 0 | < 2 |H(x0 , , )
H(x0 , 0 , 0 )| 2M 2 =

(7)

Aplicando la propiedad triangular del valor absoluto, y las desigualdades (5)

y (7), se obtiene: |H(x, , ) H(x0 , 0 , 0 )| |H(x, , ) H(x0 , , )| +
|H(x0 , , ) H(x0 , 0 , 0 )|

(d c) +

(1 + d c) <

(8)

donde, dado > 0 se eligi cualquier > 0 menor que /(1 + d c). o La
desigualdad (8) vale para toda pareja de puntos (x, , ) y (x0 , 0 , 0 ) en
M tales que |x x0 | < 1 , | 0 | < 2 y | 0 | < 2 . Si se llama >
0 al menor entre los nmeros positivos 1 y 2 se deduce de (8) lo
siguiente: u (x, , ) M, (x0 , 0 , 0 ) M, ||(x, , ) (x0 , 0 , 0 )|| <
|H(x, , ) H(x0 , 0 , 0 )| <

Esta ultima es la armacin (1) que quer o amos probar. Prueba de la

parte b) del teorema 1.1.8: Sea, para x [a, b] jo, y para [c, d] tambi
n jo, la funcin: e o
Y

F (Y ) =

f (x, y) dy

donde el extremo de integracin superior Y es variable en el intervalo (c, d).

Por el teorema o fundamental del clculo integral en una variable real y, se
sabe que F (Y ) es una primitiva de a f (x, Y ) respecto de la variable Y .
(Recordar que aqu x es una constante.) Es decir, F (Y ) es derivable
respecto de Y , y su derivada es F (Y ) = f (x, Y ) Y (c, d) (9)

Observemos que, por construccin de la funcin H(x, , ), se cumple lo

siguiente: o o F (Y ) = H(x, , Y ) Y (c, d) F (Y ) = H(x, , Y ) Y (c,
d) Y (10)

Por lo tanto, reuniendo (9) y (10), y usando Y = se obtiene: H(x, , ) = f

(x, ) (x, , ) [a, b] [c, d] (c, d) Esta ultima es la primera de las
igualdades que quer amos probar. La igualdad anterior implica que
existe la derivada parcial de H respecto de y es continua, porque f es por
hiptesis una o funcin continua. o

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

Sea ahora, para x [a, b] jo, y para [c, d] tambin jo, la funcin: e o
Y

19 Julio 2006.

G(Y ) =
Y

f (x, y) dy =
Y

f (x, y) dy =

G(Y ) =

f (x, y) dy

donde el extremo de integracin Y es variable en el intervalo (c, d). o Por el

teorema fundamental del clculo integral en una variable real y, se sabe que
G(Y ) es a una primitiva de f (x, Y ) respecto de la variable Y . (Recordar
que aqu x es una constante.) Es decir, G(Y ) es derivable respecto de Y , y
su derivada es G (Y ) = f (x, Y ) Y (c, d) (11)

Observemos que, por construccin de la funcin H(x, , ), se cumple lo

siguiente: o o G(Y ) = H(x, Y, ) Y (c, d) G (Y ) = H(x, Y, ) Y (c,
d) Y (12)

Por lo tanto, reuniendo (11) y (12), y usando Y = se obtiene: H(x, , ) =

f (x, ) (x, , ) [a, b] (c, d) [c, d] Esta ultima es la segunda de
las igualdades que quer amos probar. La igualdad anterior implica que
existe la derivada parcial de H respecto de y es continua, porque f es por
hiptesis una o funcin continua. o Prueba de la parte c) del teorema 1.1.8:
Basta demostrar que para todo x0 (a, b) jo, y para todo (, ) [c, d]
[c, d] jos, se cumple: f (x, y) H(x, , ) H(x0 , , ) = dy (13) l m
xx0 x x0 x x=x0 En efecto, si probamos la igualdad (13), por denici
n de derivada parcial como l o mite de cociente incremental, deducimos
que existe la derivada parcial H/x de H respecto de x, en x = x0 ; y que
cumple la igualdad de la tesis c) que quer amos probar. Adems, como es
H/x igual a la a integral paramtrica de una funcin continua (en este caso
f (x, y)/x, entonces, por la parte a) e o ya probada, es H/x continua.
Ahora probemos (13). Sabiendo que H(x, ) = que basta probar lo
siguiente: Dado > 0 probar que existe > 0 tal que: |x x0 | <
(f (x, y)

f (x, y) dy, sustituyendo en (13) deducimos

f (x0 , y)) dy

x x0

f (x, y) x

dy <
x=x0

(a probar)

(14)

Integrales paramtricas e integrales dobles y triples. e En efecto:

(f (x, y)

Eleonora Catsigeras.

19 Julio 2006.

f (x0 , y)) dy

x x0

f (x0 , y) dy x

f (x, y) f (x0 , y) f (x0 , y) dy x x0 x

(15)

Por el teorema del valor medio del clculo diferencial para funciones de dos
variables, existe a un punto intermedio entre x0 y x tal que: f (, y) f (x,
y) f (x0 , y) = , x x0 x = x0 + t(x x0 ), t [0, 1]

Luego, sustituyendo en el segundo miembro de la desigualdad (15):

(f (x, y)

f (x0 , y)) dy

x x0

f (x0 , y) dy x (16)

f (, y) f (x0 , y) dy, x x

= x0 + t(x x0 ), t [0, 1]

Tomemos un intervalo cerrado [a , b ] , tal que x0 [a , b ] (a, b). Como

por hiptesis la funcin o o f (x, y)/x es continua en el compacto R = [a ,
b ] [c, d], es uniformemente continua en l. Por e lo tanto, para todo > 0
existe > 0 (independiente de x, y), tal que: (, y) R , (x0 , y) R , |
x0 | < f (, y) f (x0 , y) < x x

(17)

Si elegimos x tal que |x x0 | < , entonces para = x0 + t(x x0 ), t

[0, 1], se cumple: |x x0 | < ; | x0 | = |t(x x0 )| = |t||x x0 | < 1
=

Por lo tanto se puede aplicar (17). Sustituyendo (17) en el segundo miembro

de la desigualdad (16), se deduce: |x x0 | <
(f (x, y)

f (x0 , y)) dy

x x0

f (x0 , y) dy x

dy

| |

 (d c) <

(18)

Al nal de la desigualdad (18) se us que y estn en el intervalo [c, d], y

por lo tanto distan o a menos que la longitud d c de ese intervalo. Tambin
se eligi, dado > 0, un valor de > 0 e o menor que /(d c). Se observa
que la armacin (18) es la misma (14) que quer o amos probar. Prueba de
la parte d) del teorema 1.1.8: Segn lo probado en las partes b) y c) las u
tres derivadas parciales de H existen y son continuas para todo (x, , )
(a, b) (c, d) (c, d). Si una funcin real de tres variables tiene sus tres
derivadas parciales continuas en un abierto, o entonces es diferenciable en
todos los puntos de ese abierto. Por lo tanto H es diferenciable en (a, b)
(c, d) (c, d), como quer amos demostrar.

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

Ejemplo 1.1.9. Retomando la igualdad (2) del ejemplo 1.1.7, con f (x, y) =
3(x2 + y 2 ), ten amos: H(x, , ) = 3x2 ( ) + 3x( 2 2 ) + ( 3
3 ) (2)

Denotando con Hx , H , H a las tres derivadas parciales de H(x, , ),

respecto de x, de y de respectivamente, resulta de (2): Hx = 6x( )
+ 3( 2 2 ) Por otro lado, usando la parte b) del teorema 1.1.8 se
obtiene:

(3)

Hx =

3(x + y)2 dy = x
y=

y2 6(x + y) dy = 6xy + 6 2

= 6x( ) + 3( 2 2 )

y=

Este resultado coincide con el encontrado en (3). Por un lado usando la

igualdad (2) se obtiene H = 3x2 + 6x + 3 2 = 3(x + )2 , H = 3x2
6x + 32 = 3(x + )2 (4)

Por otro lado, usando la parte b) del teorema 1.1.8 se obtiene: H = 3(x +
y)2
y=

= 3(x + )2 ,

H = 3(x + y)2

y=

= 3(x + )2

(5)

los resultados de (5) son los mismos encontrados en (4).

1.2.

Integrales paramtricas con l e mites de integracin dependientes o

del parmetro. a
Ahora consideraremos los l mites de integracin dependientes del par
metro x: o a Sea como en los prrafos 1.1.1 y 1.1.5, el rectngulo R = [a, b]
[c, d]. a a Sean dadas dos funciones reales continuas , : [a, b] [c, d]
y usemos los resultados vistos hasta ahora usando = (x), = (x) como l

 mites de integracin. (Tomaremos para jar ideas o (x) (x) para todo
x [a, b]). Consideremos el dominio D contenido en el rectngulo [a, b]
[c, d] dado por la siguiente a condicin: o D = {a x b, (x) y (x)}
Hacer gura: En el plano (x, y) dibujar el rectngulo [a, b] [c, d], y en l las
grcas de las a e a funciones y = (x) y y = (x) cuando x [a, b],
cumpliendo (x) (x). Entonces D es la regin comprendida entre esas gr
cas, que se proyecta en el eje de las x sobre el intervalo [a, b]. o a Est
formada por la unin de bastonesverticales (es decir segmentos de recta
verticales), con a o abscisa x constante, con extremo inferior de ordenada
(x) y extremo superior de ordenada (x). Al variar x en el intervalo [a, b]
este segmento vertical barre el dominio D. Sea dada una funcin f (x, y)
continua para todo (x, y) D. o

10

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Para cada valor jo de x [a, b] tomemos la terna (x, (x), (x)) [a, b]
[c, d] [c, d] Ahora no son las tres variables (x, , ) independientes entre s
sino que las dos ultimas dependen de la , (x) primera. Consideremos la
integral (x) f (x, y) dy, integrando respecto de y, como funcin de una o
sola variable y (con x constante). Esta integral es un nmero real. Llam
mosle F (x), y denamos: u e Denicin 1.2.1. Integral paramtrica con l o
e mites de integracin variables dependieno tes del parmetro. a Sean
dadas dos funciones continuas2 = (x) y = (x) del intervalo [a,b] al
intervalo [c, d], y sea dada f (x, y) continua (x, y) D = {x [a, b], y
I(x)}, donde I(x) es el segmento vertical de extremos (x, (x)), (x, (x)).
Consideremos la integral de f (x, y) respecto de y (tomando, mientras se
integra respecto de y, un valor constante para x en el intervalo [a, b]), con l
mites de integracin (x) y (x): o
(x)

F (x) = H(x, (x), (x)) =

(x)

f (x, y) dy

A F (x), denida por la frmula anterior, se le llama integral paramtrica de

parmetro x y l o e a mites de integracin (x) y (x). o (Observacin: En
esta denicin, la funcin H es la denida en 1.1.6.) o o o Observacin: Un
caso particular es cuando las funciones y son constantes (x) = c, (x)
= o d para todo x [a, b]. En ese caso la funcin F (x) denida en 1.2.1
coincide con la funcin F (x) o o denida en 1.1.2. Ejemplo 1.2.2. Sea f (x, y)
= 3(x + y)2 (x, y) [a, b] [c, d]. La integral paramtrica de f e respecto

de y con l mites de integracin = 2x, = x3 es, aplicando la frmula (2)

del ejemplo o o 1.1.7:
x3

F (x) =
2x

3(x + y)2 dy = 3x2 (x3 2x) + 3x(x6 4x2 ) + (x9 8x3 ) = x9 + 3x7 +
3x5 26x3

(6)

Teorema 1.2.3. Continuidad y derivabilidad de la integral paramtrica con l

e mites de integracin dependientes del parmetro. o a Sean dadas dos
funciones continuas = (x) y = (x) del intervalo [a, b] al intervalo [c,
d], y sea dada f (x, y) continua (x, y) D = {x [a, b], y I(x)}, donde
I(x) es el segmento vertical de extremos (x, (x)), (x, (x)). Sea la integral
paramtrica e
(x)

F (x) = H(x, (x), (x)) =

(x)

f (x, y) dy

x [a, b]

Se cumple: a) F (x) es una funcin continua x [a, b]. o b) Si adems la

derivada parcial f (x, y)/x existe y es continua3 en D, y las derivadas (x)
a y (x) existen y son continuas4 en [a, b]; entonces F (x) es derivable x
(a, b), su derivada
No es necesario que (x) (x) Quiere decir que existe en el interior de D y
tiene una extensin continua al borde de D o 4 Quiere decir que existen en

el interior del intervalo [a,b] y que tienen extensiones continuas a los

extremos de ese intervalo.
32

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

F (x) es continua y verica la siguiente igualdad:
(x)

19 Julio 2006.

11

F (x) =
(x)

f (x, y) dy + f (x, (x)) (x) f (x, (x)) (x) x

Demostracin: La funcin F (x) es la composicin siguiente: o o o F (x) = H(x,

(x), (x)) x [a, b] donde H(x, , ) es la funcin denida en el teorema
1.1.8. o Por el resultado de la parte d) del teorema 1.1.8, la funcin H es
diferenciable, con derivadas o parciales continuas, y por hiptesis (x) y (x)
tambin lo son. Luego, por la regla de la cadena o e F (x) existe, es continua
y cumple: F (x) = H H H + (x) + (x) x (1)

Usando las frmulas de las partes b) y c) del teorema 1.1.8, se tiene: o H =

f (x, ), H = f (x, )

Sustituyendo en (1) se concluye la tesis del teorema. Ejemplo 1.2.4. Hallar

la derivada de la siguiente funcin F (x) (sin hallar la funcin F (x)): o o
x3

F (x) =
2x

3(x + y)2 dy

Llamando H(x, , ) =

3(x + y)2 dx

se cumple, para = x y para =

x2

la siguiente igualdad: F (x) = H(x, 2x, x3 )

Por la regla de la cadena (llamando Hx , H , H a las tres derivadas

parciales de H respecto de x, de y de respectivamente): F (x) = Hx + H
(x) + H (x) = Hx + 2H + 3x2 H (7)

Usando las igualdades al nal de la parte b) del teorema 1.1.8 se

encuentran los resultados (3) y (4) del ejemplo 1.1.9: Hx = 6x( ) + 3(
2 2 ), H = 3(x + )2 , H = 3(x + )2 (8)

Sustituyendo (8) en (7), y recordando que = 2x, = x3 , resulta: F (x) =

9x8 + 21x6 + 15x4 78x2 .