Вы находитесь на странице: 1из 8

UNIVERSIDAD DE CONCEPCION

DEPARTAMENTO DE MATEMATICA
Prof. Jorge Ruiz Castillo

Integrales independiente de un parmetro

1.1

Regla de Leibniz

Consideremos funciones definidas mediante la relacin


Z d
(x) =
f (x, t) dt; a x b
c

c y d son constantes. Nos interesdamos en encontrar 0 (x).


Teorema 1.- (Regla de Leibniz) Supongamos que est definida por
(x) =

f (x, t) dt; a x b

c y d son constantes.
f
Si f y
son continuas sobre R = {(x, t) : a x b; c t d}, entonces
x
Z d
f
(x, t) dt
0 (x) =
c x
para a < x < b.

Z
Z
1 d
(x + k) (x)
1 d
f (x + k, t) dt
f (x, t) dt =
=
k
k c
k c
Z d
1
=
[f (x + k, t) f (x, t)] dt
k c
Pero
Z x+k
f
f (x + k, t) f (x, t) =
(u, t) du
x
x
Por lo tanto
Z Z
1 d x+k f
(x + k) (x)
=
(u, t) dudt..........(1)
k
k c x
x
f
f
es continuan sobre R (cerrado y acotado), entonces
es uniPuesto que
x
x
formemente continua sobre R; es decir,

f
( > 0) ( > 0)
(u, t)
(x, t) <
..........(2)
x
x
dc
Demostracin.-

t [c, d] y u [a, b] tal que |x u| < .

.
Considerando u eentre x y x +
k como en (1), tenemos
0 u x k, con k > 0

k u x 0, con k > 0
.......(3)
Por lo tanto

|k| < = |u x| <


Luego
para 0 < |k| < , Ztenemos

(x + k) (x)

d
f

(x, t) dt =

k
x
Zc Z

Z Z
1 d x+k f

1 d x+k f

=
(u, t) dudt
(x, t) dudt =
k c x

x
k c x
x
Z Z

1 d x+k f

=
(u, t)
(x, t) dudt
k c x

x
x

Z d Z x+k
f

1
f

(u, t)
(x, t) dudt

k c x
x
x
Z d Z x+k
(2) y (3) 1

dudt = (d c) k
=

k c x
dc
k
dc
(note
si k < 0, entonces
que
Z dZ x

1 Z d Z x+k
1

[g (u, t)] dudt


|g (u, t)| dudt)

k c x+k
k c x
Dado que > 0 era fijo pero arbitrario, se tiene que
Z d
(x + k) (x)
f
0 (x) = lim
=
(x, t) dt.
k0
k
c x
Ejemplos.0

1. Hallar (x) si (x) =

f (x, t) dt y

f (x, t) =

2. Calcular

sin xt
t
x

, t 6= 0

, t=0

du
(u2

+ 1)2

Solucin.1. Si T es cualquier trayectoria distinta de la recta t = 0, entonces


sin xt
sin xt
t6=0
f (x, t) =
lim
x
lim
=
lim
=a
t
xt
(x,t)(a,0)
(x,t)(a,0)
(x,t)(a,0)
(x,t)T

lim

(x,t)(a,0)
t=0

(x,t)T

f (x, t) =

lim

(x,t)(a,0)
t=0

(x,t)T

x=a

.
Por lo tanto,
lim

(x,t)(a,0)

f (x, t) = a = f (a, 0),

lo que muestra que f es continua sobre cualquier punto de la recta t = 0.


Claramente f es continua sobre el conjunto abierto R2 {(x, 0) : x R}.
De esta manera tenemos que f es continua.
Por otra parte, los clculos conducen a que:
f
f
: R R,
(x, t) = cos xt
x
x
f
es continua.
por lo que conclumos que
x
Es aplicable el teorema 1 y adems
Z 2
1

f
0
(x, t) dt = sin x
(x) =
x
x
2
0
2. Para x > 0,

Por lo tanto

d
dx

1
du
=
2
u +x
x
Z

1+

du
2
u
x

z= ux

1
1
arctan
x
x

1
1
1
du
=

3 arctan ........(1)
u2 + x
2x + 2x2
x
2
2x

du
Aplicando el teorema 1 a la funcin f : ]0, +[ R R, f (x, u) = 2
u +x
tenemos
Z 1
Z 1
Z 1
Z 1
d
du
f
du
d
f
(x,
u)
du
=
....(2)
=
(x,
u)
du
=
dx
2+x
2 + x)2
u
dx
x
(u
0
0
0
0
de (1) y (2)
Z 1
1
1
1
du
3 arctan
2 = 2x + 2x2 +
2
x
2x 2
0 (u + x)
finalmente evaluamos en x = 1 para encontrar el resultado deseado
Z 1
1
du
2 = 4 + 8
2
0 (u + 1)

Ejercicio.- Muestre que F (x) =

ln 2 x2 t2 dt posee un mximo local en

x=0


f
Indicacin.- f y
son continuas sobre R = 2 2 [0, 1]
x Z
1
t2 dt
Leibniz
F 0 (x) = 2x
2 x2 t2
Z 1
Z 1 02
t dt
t2 dt
d
F 00 (x) = 2

2x
2 2
dx 0 2 x2 t2
0 2x t
1
F 00 (0) =
3

f
Teorema 2.- Supongamos que f y
satisfacen la condiciones de hiptesis del
x
teorema 1, y que
Z z
f (x, t) dt; c y d, c z d
F (x, y, z) =
y

Entonces:
Z z
F
F
F
f
(x, y, z) =
(x, t) dt;
(x, y, z) = f (x, y) ;
(x, y, z) = f (x, z)
x
y
z
y x
Demostracin.- i) Teorema 1; ii) T. F. del Clculo; iii) T. F. del Clculo
Teorema 3.- (Regla general bajo el signo integral)
f
Supongamos que f y
son continuas sobre el rectngulo
x
R = {(x, t) : a x b, c t d}
y que g0 y g1 son de clase C 1 sobre a x b. Si est definida por
Z g1 (x)
(x) =
f (x, t) dt
g0 (x)

entonces
0 (x) = f (x, g1 (x)) g10 (x) f (x, g0 (x)) g00 (x) +

g1 (x)

g0 (x)

f
(x, t) dt
x

Demostracin.- (x) = F (x, g0 (x) , g1 (x))


por lo tanto
Teo 2
0 (x) = Fx (x, g0 (x) , g1 (x)) + Fy (x, g0 (x) , g1 (x)) g00 (x) +
+Fz (x, g0 (x) , g1 (x)) g10 (x)
Z

x2

t
dt, x > 0.
x2
0
2tx
t f
(x, t) = 2
Solucin.- f (x, t) = arctan 2 ,
x x
t + x4

f
f y
son continuas sobre R = (x, t) R2 : x > 0
x
g0 (x) = 0, g1 (x) = x2 . g0 , g1 C 1 ]0, +[
Z g1 (x)
f
Teo3
0
0
0
(x) = f (x, g1 (x)) g1 (x) f (x, g0 (x)) g0 (x) +
(x, t) dt =
g0 (x) x
Z x2
Z
1
h
i
2tx
2udu

t=x2
dt
=
x

x
=
x

ln
2
= x
2
2
t2 + x4
2
2
0
0 u +1
Ejemplo.- Hallar 0 (x) si (x) =

arctan

Teorema.- (Integracin bajo el signo integral)


Sea f : [a, b] [c, d] R continua. Se tiene:
!
Z b Z d
Z d Z
f (x, t) dt dx =
a

f (x, t) dx dt

Demostracin.- Se aplica la regla de Leibniz a la funcin definida por:

Z b Z
() =
f (x, t) dt dx
a

Ejercicio.- Pruebe que si b > a > 1,


Z

1.2

dx

=
para > 1.
2

cos
x
1
0
!
Z x
b cos x
d
ln
dx =
dx

cos
x
a
cos x
a
0

p
b + b2 1
d
b
2

= ln + 1 /a = ln
2 1
a + a2 1

Indicacin.Z x Z b
Z

b + b2 1
b cos x

dx = ln
a cos x
a + a2 1

Integrales impropias independiente de un parmetro

Definicin.- F (x) =

f (x, t) dt es uniformenmente convergente si F (x) =


Z b
lim F (b, x) uniformemente, donde F (b, x) =
f (x, t) dt; es decir,
c

b+

( > 0) (M > 0) b > M = |F (x) F (b, x)| < , x [a, b]


Criterio de convergencia normal
Si
1. (t I = [c, +[) |f (x, t)| g (t), y g es tal que
Z +
2.
g (t) dt converge
c

Entonces

f (x, t) dt

converge uniformemente.

Demostracin.- Resulta del criterio de Cauchy de convergencia uniforme que


dice:
F (x) = lim F (b, x) uniformemente
b+

( > 0) (M > 0) b, b0 > M = |F (b, x) F (b0 , x)| < , x [a, b]

.
Teorema 4.- Consideremos la funcin definida por:
Z +
F (x) =
f (x, t) dt; a x b, c = cte.
c

Si

1. f : [a, b] [c, +[ R es continua


Z +
2. la integral
f (x, t) dtes uniformemente convergente.
c

Entonces F es continua.

.
Teorema 5.- (Regla de Leibniz) Si:
Z +
1. la integral F (x) =
f (x, t) dt converge para un valor x0 de [a, b]
c

2. f y
Z

f
son continuas sobre [a, b] [c, +[
x

f
(x, t) dt converge uniformemente sobre [a, b]
x
c
Entonces
Z +
f (x, t) dt converge uniformemente sobre [a, b]
4. F (x) =
3.

5. F es derivable y
d
dx

+
c

Z
f (x, t) dt =

+
c

f
(x, t) dt
x

.
Observacin.- Vale el mismo resultado, si cambiamos el intervalo I = [c, +[
por cualquier otro intervalo no acotado de R.
Ejemplo.- Hallar F 0 (x) si F (x) =

x
t + 2

sin

1
dt, 0 x 1.
t + 2

f
Indicacin.- f y
son continuas sobre [0, 1] [0, +[
x
F
(x)
converge
para
x = 0.

Z +

f
2

=
g
(t)
y
g (t) dt = converge.
(x,
t)

x
0
t + 2
Z +
f
(x, t) dt converge uniformemente por criterio de convergencia norx
0
mal.
Se verifican las hiptesis del teorema 5.

.
Ejercicios.1. Use el hecho que para > 1
Z
0

x
dx
=p 2
cos x
1

para probar que

Z
1 + 1 2
ln (1 + cos x) dx = ln
I () =
2
0

1 + 1 2
Indicacin.- Sea T () = ln
. Pruebe que
2

T 0 () = I 0 ()
T (0) = I (0)
Por lo tanto
T () = I ()
Z

2. si J () =
ln 1 + 2 cos x + 2 dx, pruebe que:
0

J () =

ln 2
0

, || < 1
, || > 1

Indicacin.- Usar 1).


3. Sea h : R R {0} de clase C 1 . Encuentre si existe 0 (x), donde:
Z 1
: R R, (x) =
f (x, t) dt y
0

f (x, t) =

sin th (x)
t
h (x)

, t 6= 0

, t=0

4. La funcin Gamma.- Se define por:


Z +
(x) =
eu ux1 du, x > 0
0

Muestre que (x) converge para x > 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 deficin. (queda como ejercicio)
3. (+1) = 1
Demostracin.- Se obtiene de la definicin. (verificarlo).
4. (n + 1) = n!
Demostracin.- Usando 2) con t = n.
5. La funcin es una generalizacin de la funcin factorial.
.
Tambin es vlido el siguiente resultado:
Teorema.-Si f : [a, +[ [c, d] R es continua y si
uniformemente sobre [c, d], entonces
!
Z + Z d
Z
f (x, t) dt dx =
a

ax

f (x, t) dx converge

f (x, t) dx dt

e
ex
Ejercicio.- Calcule la integral I =
dx; 0 < a < b.
x
0
Z
b
eax ebx
exy dy.
Indicacin.=
x
a
Z b
1
f (x, y) = exy ; |f (x, y)| eax ;
eax dx = converge.
a
!

Z ba Z +
Z + Z b
teo.
xy
xy
e
dy dx =
e
dx dy
I=
Z

0
+

1
1
1 xy
xy
e
dx = lim e
=
lim eRy 1 =
R+
R+
y
y
y
0

Observacin.- Vale la misma observacin de la pgina anterior.

.
Clculo III - 521227
13 de Abril de 2006
JRC
8

Вам также может понравиться