Sunteți pe pagina 1din 11

Integrales param´etricas e integrales dobles y triples.

Eleonora Catsigeras *

19 de julio de 2006

Notas para el curso de C´alculo II de la Facultad de Ingenier´ıa.

´

PR OLOGO:

Este texto es complementario al libro de Burgos sobre funciones de varias variables (referencia [1] de la Bibliograf´ıa al final de este texto). Fue escrito para ser estudiado despu´es de los cap´ıtulos 1, 2 y 3 del libro de Burgos y antes de su cap´ıtulo 4.

Est´a dirigido a estudiantes universitarios de grado de las carreras de Ingenier´ıa que est´an cursando C´alculo II. Se supone conocidos el C´alculo Diferencial e Integral de funciones reales de una variable real (curso de C´alculo I) y el C´alculo Diferencial de funciones reales de varias variables (los primeros tres cap´ıtulos del libro de Burgos).

Los objetivos de este texto son:

Estudiar las integrales simples param´etricas (continuidad y derivabilidad respecto al par´ametro).del libro de Burgos). Los objetivos de este texto son: Introducir el tema de integrales dobles

Introducir el tema de integrales dobles y triples, como integrales iteradas de funciones con- tinuas, antes de estudiar las mismas como integrales de Riem ann.(continuidad y derivabilidad respecto al par´ametro). Dar ejemplos resueltos de c´alculo de integrales dobles y

Dar ejemplos resueltos de c´alculo de integrales dobles y triples, y del c´alculo de areas´ vol´umenes.antes de estudiar las mismas como integrales de Riem ann. y El texto est´a dividido en

y

El texto est´a dividido en seis secciones tem´aticas que no s on independientes, sino que cada una presupone conocido el contenido de las anteriores. Para seguir el texto es imprescindible dibujar figuras. Pedimos disculpas por no incluir las figuras en estas notas.

* Instituto de Matem´atica y Estad´ıstica Rafael Laguardia (IMERL), Fac. Ingenieria. Universidad de la Rep´ublica. Uruguay. Address: Herrera y Reissig 565. Montevideo. Uruguay.

1

2

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

´

Indice

Pr´ologo.

1

1. Integrales param´etricas.

 

3

1.1. Integrales param´etricas con l´ımites de integraci´o n

 

3

1.2. Integrales param´etricas con l´ımites de integraci´o n dependientes

 

9

2. Integrales iteradas dobles.

 

12

2.1. Integrales iteradas en dominios simples respecto de x.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

12

2.2. Intercambio del orden de integraci´on en dominios

 

17

2.3. Integral doble en dominios descomponibles en

 

28

2.4. C´alculo de ´areas y vol´umenes con integrales

 

30

2.5. Teorema del valor medio y desigualdad de

 

33

3. Integrales iteradas triples y m´ultiples.

 

36

3.1. Integrales iteradas triples.

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

36

3.2. C´alculo de vol´umenes con integrales

 

43

3.3. Propiedades.

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

45

3.4. Integrales m´ultiples.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

47

4. Cambio de variables en integrales dobles y triples.

 

52

4.1. Teorema de cambio de variables.

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

52

4.2. Ejemplos de cambio de variables. Coordenadas polares en el

 

56

4.3. Coordenadas cil´ındricas en el espacio.

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

60

4.4. Coordenadas esf´ericas en el espacio.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

63

4.5. Peso de un s´olido dada su densidad

 

65

5. Integrales dobles de Riemann.

 

68

5.1. Sumas de Riemann.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

68

5.2. Integral de Riemann de funciones

 

69

5.3. Conjuntos de medida nula.

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

71

5.4. Teorema de

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

73

5.5. Teorema de

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

79

5.6. Generalizaci´on para integrales

 

81

6. Integrales dobles impropias.

 

82

6.1. Integrales impropias convergentes y no

 

82

6.2. Ejemplos.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

84

6.3. Integrales impropias de funciones no

 

94

6.4. Integrales impropias absolutamente

97

Bibliograf´ıa.

99

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

3

1. Integrales param´etricas.

1.1. Integrales param´etricas con l´ımites de integraci´on independientes.

1.1.1. L´ımites de integraci´on constantes.

Sea R = [a, b] × [ c, d ] el rect´angulo {a x b, c y d } contenido en R 2 , donde a < b, c < d son n´umeros reales fijos. Sea f (x, y ) continua para todo (x, y ) R . Para cada segmento vertical x = x 0 fijo, con x 0 [ a, b] (hacer figura) se considera la integral

d f (x 0 , y ) dy , de f (x 0 , y ) respecto de y en el intervalo [c, d ], como funci´on de una sola variable y

c

(con x 0 constante). Es un n´umero real, que depende del valor constante x 0 que se haya elegido en [ a, b]. Llam´emosle entonces F (x 0 ), y definamos:

Definici´on 1.1.2. Integral param´etrica con l´ımites de integraci´on constantes. 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:

F (x) = d f (x, y ) dy

c

y se llama Integral param´etrica de par´ametro x (fijo), con l´ımites de integraci´on ( c y d ) constantes.

Ejemplo 1.1.3. Sea f (x, y ) = 3(x + y ) 2 (x, y ) [ a, b] × [ c, d ]. La integral param´etrica con l´ımites de integraci´on c, d y con par´ametro x, es:

F (x) = d 3(x + y ) 2 dy = d (3x 2 + 6xy + 3y 2 ) dy

c

c

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

2

2 y 3

3

y

y

=

d

= c

F (x) = 3x 2 (d c ) + 3x(d 2 c 2 ) + (d 3 c 3 )

(1)

Teorema 1.1.4. Continuidad y derivabilidad de la integral param´e trica con l´ımites de integraci´on constantes. Sea f (x, y ) continua (x, y ) [ a, b] × [ c, d ] , y sea la integral param´etrica

F (x) = d f (x, y ) dy

c

Se cumple:

a) F (x) es una funci´on continua de x para todo x [ a, b] .

b) Si adem´as la derivada parcial ∂f (x, y )/∂x existe y es continua en (a, b) × [ c, d ] , entonces

F (x) es derivable para todo x (a, b), su derivada F (x) existe y es continua, y verifica la siguiente

igualdad para todo x (a, b):

F (x) = d

c

∂f (x, y )

∂x

dy

4

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

Demostraci´on: Se ver´a junto a la demostraci´on del teorema 1.1.8.

1.1.5. L´ımites de integraci´on variables.

Sea como en el p´arrafo 1.1.1, el rect´angulo R = [a, b] × [ c, d ] y f (x, y ) continua para todo (x, y ) R . Sean dadas dos variables reales independientes φ, ψ ambas tomando valores en el intervalo

[ c, d ]. Para cada valor fijo de la terna (x, φ, ψ ) [ a, b] × [ c, d ] × [ c, d ] consideremos la integral

ψ f (x, y ) dy , integrando respecto de y , como funci´on de una sola variable y (con x constante).

φ

Esta integral es un n´umero real, que depende del valor constante x que se haya elegido en [ a, b], y que depende tambi´en de los valores φ y ψ dados a los l´ımites de integraci´on 1 dentro del intervalo [ c, d ]. Llam´emosle H (x, φ, ψ ), y definamos:

Definici´on 1.1.6. Integral param´etrica con l´ımites de integraci´on variables. 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 integraci´on φ y ψ es:

ψ

H (x, φ, ψ ) = φ f (x, y ) dy

y se llama Integral param´etrica de par´ametro x y l´ımites de integraci´on φ y ψ .

Ejemplo 1.1.7. Sea f (x, y ) = 3(x + y ) 2 (x, y ) [ a, b] × [ c, d ]. La integral param´etrica de f respecto de y con l´ımites de integraci´on φ, ψ y con par´ametro x, es, aplicando la f´ormula (1) del ejemplo 1.1.3:

H (x, φ, ψ ) = φ

ψ

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

(2)

Teorema 1.1.8. Continuidad y derivabilidad de la integral param´e trica con l´ımites de integraci´on variables. Sea f (x, y ) continua (x, y ) [ a, b] × [ c, d ] , y sea la integral param´etrica

ψ

H (x, φ, ψ ) = φ f (x, y ) dy

(x, φ, ψ ) [ a, b] × [ c, d ] × [ c, d ]

Se cumple:

a) H (x, φ, ψ ) es una funci´on continua (x, φ, ψ ) [ a, b]

b) Las derivadas parciales de H (x, φ, ψ ) respecto de φ y ψ , existen y son continuas para todo

× [ c, d ] × [ c, d ] .

(x, φ, ψ ) [ a, b] × (c, d ) × (c, d ), y verifican las siguientes igualdades:

∂H (x, φ, ψ ) ∂ψ

∂H (x, φ, ψ ) ∂φ

=

=

f (x, ψ )

f (x, φ)

1 No es necesario que se cumpla φ ψ .

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

5

c) Si adem´as la derivada parcial ∂f (x, y )/∂x existe y es continua en (a, b) × [ c, d ] , entonces

la derivada parcial de H (x, φ, ψ ) respecto de x, existe y es continua para todo (x, φ, ψ ) (a, b) ×

[ c, d ] × [ c, d ] y verifica la siguiente igualdad:

∂H (x, φ, ψ ) ∂x

=

φ

ψ

∂f (x, y ) ∂x

dy

d) En las hip´otesis de la parte c) , la funci´on H (x, φ, ψ ) es diferenciable (x, φ, ψ ) (a, b) ×

(c, d ) × (c, d ).

Demostraci´on de los teoremas 1.1.4 y 1.1.8: Observemos primero que el teorema 1.1.4 se 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 definici´on de continuidad uniforme, dado > 0 habr´a que probar que existe δ > 0 tal

que

(x, φ, ψ ) M, (x 0 0 0 ) M,

||(x, φ, ψ ) (x 0 0 0 )|| < δ

⇒ | H (x, φ, ψ ) H (x 0 0 0 )| < (a probar)

(1)

Tomemos un valor de > 0, cuya elecci´on se especificar´a despu´es. Por ser f (x, y ) continua en el rect´angulo compacto R = [a, b] × [ c, d ], es uniformemente com- pacto en R . Luego, existe δ 1 > 0 tal que

(x, y ) R, (x 0 , y ) R, ||(x, y ) (x 0 , y )|| = | x x 0 | < δ 1

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

Acotemos ahora H (x, φ, ψ ) H (x 0 , φ, ψ ):

| H (x, φ, ψ ) H (x 0 , φ, ψ )| =

φ

ψ

Sustituyendo (2) en (3) se obtiene:

f

(x, y ) f (x 0 , y ) dy

φ

ψ

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

| x x 0 | < δ 1

| H (x, φ, ψ )

H (x 0 , φ, ψ )| ≤

φ

ψ

dy = · |ψ φ|

(4)

(3)

(2)

Siendo ψ y φ reales del intervalo [c, d ], se cumple | ψ φ| ≤ (d c ), y por lo tanto de (4) se deduce:

| x x 0 | < δ 1

| H (x, φ, ψ ) H (x 0 , φ, ψ )| ≤ · (d c )

(5)

Por otro lado, llamando M al m´aximo de | f (x, y )| en el rect´angulo compacto R (tal M existe porque por hip´otesis f es una funci´on continua en el compacto R ), se obtiene:

| H (x 0 , φ, ψ ) H (x 0 0 0 )| =

φ

ψ

f

(x 0 , y ) dy

φ

ψ

0

0

f

(x 0 , y ) dy =


=

φ

φ

0

f

ψ

(x 0 , y ) dy +

ψ

0

f (x 0 , y ) dy M · |φ φ 0 | + M · |ψ ψ 0 |

(6)

6

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

En la igualdad del medio de (6) hemos usado que la integral de una funci´on entre φ y ψ es igual a la integral de la misma funci´on entre φ y φ 0 , m´as la integral entre φ 0 y ψ 0 , m´as la integral entre ψ 0 y ψ . Eligiendo δ 2 = /(2M ), se deduce de (6):

| φ φ 0 | < δ 2 , | ψ ψ 0 | < δ 2

| H (x 0 , φ, ψ ) H (x 0 0 0 )| ≤ 22 =

(7)

Aplicando la propiedad triangular del valor absoluto, y las desigualdades (5) y (7), se obtiene:

| H (x, φ, ψ ) H (x 0 0 0 )| ≤ |H (x, φ, ψ ) H (x 0 , φ, ψ )| + | H (x 0 , φ, ψ ) H (x 0 0 0 )| ≤

(d c ) + = (1 + d c ) <

(8)

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

(x, φ, ψ ) M, (x 0 0 0 ) M, ||(x, φ, ψ ) (x 0 0 0 )|| < δ

⇒ | H (x, φ, ψ ) H (x 0 0 0 )| <

Esta ultima´

es la afirmaci´on (1) que quer´ıamos probar.

Prueba de la parte b) del teorema 1.1.8:

Sea, para x [ a, b] fijo, y para φ [ c, d ] tambi´en fijo, la funci´on:

F (Y ) = φ

Y

f (x, y ) dy

donde el extremo de integraci´on superior Y es variable en el intervalo (c, d ). Por el teorema fundamental del c´alculo integral en una variable real y , se sabe que F (Y ) es una primitiva de 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 construcci´on de la funci´on H (x, φ, ψ ), se cumple lo siguiente:

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 )

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 hip´otesis una

Esta ultima´

funci´on continua.

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

7

Sea ahora, para x [ a, b] fijo, y para ψ [ c, d ] tambi´en fijo, la funci´on:

ψ

G (Y ) =

Y

Y

f (x, y ) dy = ψ

f (x, y ) dy =

Y

G (Y ) = ψ f (x, y ) dy

donde el extremo de integraci´on Y es variable en el intervalo (c, d ). Por el teorema fundamental del c´alculo integral en una variable real y , se sabe que G (Y ) es 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 construcci´on de la funci´on H (x, φ, ψ ), se cumple lo siguiente:

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 ]

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 hip´otesis una funci´on continua.

Esta ultima´

Prueba de la parte c) del teorema 1.1.8:

Basta demostrar que para todo x 0 (a, b) fijo, y para todo (φ, ψ ) [ c, d ] × [ c, d ] fijos, se cumple:

l´ım

x

x 0

H (x, φ, ψ ) H (x 0 , φ, ψ )

x x 0

=

φ

ψ ∂f (x, y )

∂x

x = x 0

dy

(13)

En efecto, si probamos la igualdad (13), por definici´on de derivada parcial como l´ımite de cociente incremental, deducimos que existe la derivada parcial ∂H/∂x de H respecto de x, en x = x 0 ; y que cumple la igualdad de la tesis c) que quer´ıamos probar. Adem´as, como es ∂H/∂x igual a la integral param´etrica de una funci´on continua (en este caso ∂f (x, y )/∂x, entonces, por la parte a) ya probada, es ∂H/∂x continua.

ψ

Ahora probemos (13). Sabiendo que H (x, φψ ) = f (x, y ) dy , sustituyendo en (13) deducimos que basta probar lo siguiente:

φ

Dado > 0 probar que existe δ > 0 tal que:

| x x 0 | < δ

φ

ψ

(f

(x, y )

f (x 0 , y )) dy

x x 0

φ

ψ

∂f (x, y ) ∂x

x = x 0

dy <

(a probar)

(14)

8

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

En efecto:

φ

ψ

(f

(x, y )

f (x 0 , y )) dy

x x 0

φ

ψ

∂f (x 0 ,y ) ∂x

dy

φ

ψ

f

(x, y )

f (x 0 ,y ) ∂f (x 0 ,y ) ∂x

x x 0

dy

(15)

Por el teorema del valor medio del c´alculo diferencial para funciones de dos variables, existe un punto intermedio ξ entre x 0 y x tal que:

f (x, y ) f (x 0 ,y ) = ∂f (ξ, y )

x x 0

∂x

,

ξ = x 0 + t (x x 0 ),

t [0, 1]

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

φ

ψ

φ

ψ

(f

(x, y )

f (x 0 , y )) dy

x x 0

φ

ψ

∂f (x 0 ,y ) ∂x

∂f (ξ, y ) ∂f (x 0 ,y )

∂x

∂x

dy, ξ = x 0 + t (x x 0 ),

dy

t [0, 1]

(16)

Tomemos un intervalo cerrado [a ,b ] , tal que x 0 [ a ,b ] (a, b). Como por hip´otesis la funci´on ∂f (x, y )/∂x es continua en el compacto R = [a ,b ] × [ c, d ], es uniformemente continua en ´el. Por lo tanto, para todo > 0 existe δ > 0 (independiente de x, y ), tal que:

(ξ, y ) R , (x 0 ,y ) R ,

| ξ x 0 | < δ

∂f (ξ, y ) ∂f (x 0 ,y )

∂x

∂x

<

(17)

Si elegimos x tal que | x x 0 | < δ , entonces para ξ = x 0 + t (x x 0 ), t [0, 1], se cumple:

| x x 0 | < δ ;

| ξ x 0 | = | t (x x 0 )| = | t ||x x 0 | < 1 · δ = δ

Por lo tanto se puede aplicar (17). Sustituyendo (17) en el segundo miembro de la desigualdad (16), se deduce:

φ

ψ

(f

(x, y )

f (x 0 , y )) dy

x x 0

φ

ψ

| x x 0 | < δ

∂f (x 0 ,y ) ∂x

dy

φ

ψ

dy | ψ φ| ≤ · (d c ) <

(18)

Al final de la desigualdad (18) se us´o que φ y ψ est´an en el intervalo [c, d ], y por lo tanto distan menos que la longitud d c de ese intervalo. Tambi´en se eligi´o, dado > 0, un valor de > 0 menor que /(d c ). Se observa que la afirmaci´on (18) es la misma (14) que quer´ıamos probar.

Prueba de la parte d) del teorema 1.1.8: Seg´un lo probado en las partes b) y c) las tres derivadas parciales de H existen y son continuas para todo (x, φ, ψ ) (a, b) × (c, d ) × (c, d ). Si una funci´on real de tres variables tiene sus tres derivadas parciales continuas en un abierto, 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 param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

9

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

H (x, φ, ψ ) = 3x 2 (ψ φ) + 3x(ψ 2 φ 2 ) + (ψ 3 φ 3 )

(2)

Denotando con H x ,H φ ,H ψ a las tres derivadas parciales de H (x, φ, ψ ), respecto de x, de φ y de ψ respectivamente, resulta de (2):

H x = 6x(ψ φ) + 3(ψ 2 φ 2 )

(3)

Por otro lado, usando la parte b) del teorema 1.1.8 se obtiene:

=

φ

ψ

H x =

φ

ψ

3(x + y ) 2 ∂x

dy =

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

2

y

=

ψ

= 6x(ψ φ) + 3(ψ 2 φ 2 )

y

= φ

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

H ψ = 3x 2 + 6+ 3ψ 2 = 3(x + ψ ) 2 ,

H φ = 3x 2 6+ 3φ 2 = 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 param´etricas con l´ımites de integraci´on dependientes del par´ametro.

Ahora consideraremos los l´ımites de integraci´on dependientes del par´ametro x:

Sea como en los p´arrafos 1.1.1 y 1.1.5, el rect´angulo R = [a, b] × [ c, d ]. Sean dadas dos funciones reales continuas φ, ψ : [a, b] [ c, d ] y usemos los resultados vistos hasta ahora usando φ = φ(x), ψ = ψ (x) como l´ımites de integraci´on. (Tomaremos para fijar ideas φ(x) ψ (x) para todo x [ a, b]). Consideremos el dominio D contenido en el rect´angulo [a, b] × [ c, d ] dado por la siguiente condici´on:

D = {a x b, φ(x) y ψ (x)}

Hacer figura: En el plano (x, y ) dibujar el rect´angulo [a, b] × [ c, d ], y en ´el las gr´aficas de las funciones y = φ(x) y y = ψ (x) cuando x [ a, b], cumpliendo φ(x) ψ (x). Entonces D es la regi´on comprendida entre esas gr´aficas, que se proyecta en el eje de las x sobre el intervalo [a, b]. Est´a formada por la uni´on de “bastones”verticales (es decir segmentos de recta verticales), con 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 funci´on f (x, y ) continua para todo (x, y ) D .

10

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

Para cada valor fijo de x [ a, b] tomemos la terna ( x, φ(x), ψ (x)) [ a, b] × [ c, d ] × [ c, d ] Ahora

dependen de la

f (x, y ) dy , integrando respecto de y , como funci´on de una

sola variable y (con x constante). Esta integral es un n´umero real. Llam´emosle F (x), y definamos:

Definici´on 1.2.1. Integral param´etrica con l´ımites de integraci´on variables dependien- tes del par´ametro. Sean dadas dos funciones continuas 2 φ = φ(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 integraci´on φ(x) y ψ (x):

primera. Consideremos la integral

no son las tres variables (x, φ, ψ ) independientes entre s´ı, sino que las dos ultimas´

ψ ( x )

φ( x )

ψ

( x )

F (x) = H (x, φ(x), ψ (x)) = φ( x ) f (x, y ) dy

A F ( x ), definida por la f´ormula anterior, se le llama integral param´etrica de par´ametro x y l´ımites de integraci´on φ(x) y ψ (x). (Observaci´on: En esta definici´on, la funci´on H es la definida en 1.1.6.)

Observaci´on: Un caso particular es cuando las funciones φ y ψ son constantes φ(x) = c, ψ (x) =

d para todo x [ a, b]. En ese caso la funci´on F (x) definida en 1.2.1 coincide con la funci´on F (x) definida en 1.1.2.

Ejemplo 1.2.2. Sea f (x, y ) = 3(x + y ) 2 (x, y ) [ a, b] × [ c, d ]. La integral param´etrica de f respecto de y con l´ımites de integraci´on φ = 2x, ψ = x 3 es, aplicando la f´ormula (2) del ejemplo

1.1.7:

F

x

3

(x) = 2x 3(x + y ) 2 dy = 3x 2 (x 3 2x) + 3x(x 6 4x 2 ) + (x 9 8x 3 ) = x 9 + 3x 7 + 3x 5 26x 3

(6)

Teorema 1.2.3. Continuidad y derivabilidad de la integral param´e trica con l´ımites de integraci´on dependientes del par´ametro. 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 param´etrica

Se cumple:

ψ

( x )

F (x) = H (x, φ(x), ψ (x)) = φ( x ) f (x, y ) dy

x [ a, b]

a) F (x) es una funci´on continua x [ a, b] .

b) Si adem´as la derivada parcial ∂f (x, y )/∂x existe y es continua 3 en D , y las derivadas φ (x)

y ψ (x) existen y son continuas 4 en [ a, b] ; entonces F (x) es derivable x (a, b), su derivada

2 No es necesario que φ(x) ψ (x) 3 Quiere decir que existe en el interior de D y tiene una extensi´on continua al borde de D 4 Quiere decir que existen en el interior del intervalo [a,b] y que tienen extensiones continuas a los extremos de ese intervalo.

Integrales param´etricas e integrales dobles y triples. Eleonora Catsigeras. 19 Julio 2006.

11

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

F (x) =

ψ ( x )

φ( x )

∂f (x, y ) ∂x

dy + f (x, ψ (x))ψ (x) f (x, φ(x))φ (x)

Demostraci´on: La funci´on F (x) es la composici´on siguiente:

F (x) = H (x, φ(x), ψ (x)) x [ a, b]

donde H (x, φ, ψ ) es la funci´on definida en el teorema 1.1.8. Por el resultado de la parte d) del teorema 1.1.8, la funci´on H es diferenciable, con derivadas parciales continuas, y por hip´otesis φ(x) y ψ (x) tambi´en lo son. Luego, por la regla de la cadena F (x) existe, es continua y cumple:

F

(x) = H ∂x

+ ∂H

∂φ

φ (x) + H ∂ψ ψ (x)

(1)

Usando las f´ormulas de las partes b) y c) del teorema 1.1.8, se tiene:

∂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 funci´on F (x) (sin hallar la funci´on F