INTEGRALES DEPENDIENTES DE PARMETROS

FUNCIONES (p) y (p,q)

1. INTEGRALES PROPIAS DEPENDIENTES DE UN PARMETRO

1.1 CASO DE LIMITES DE INTEGRACIN CONSTANTES

1.1.1 Concepto y objetivo

b
Se trata de considerar una integral de la forma f ( x, t ) dx , en la que el
a
integrando depende de un cierto parmetro t (Variable distinta de la variable x de
integracin). La integral ser una funcin de t, definida para aquellos valores de t, para
los que exista tal integral.

Ms precisamente: x

Sea f(x,t) una aplicacin de un

rectngulo en , estando b
determinado por axb , ctd. Si para
cada t[c,d], la funcin f(x,t) es integrable
a
respecto a x en [a,b], entonces existe la
funcin: t
c d
b

F(t) = f ( x, t ) dx t [c, d] (1)

a

Se dice entonces que la integral propia f ( x, t ) dx

a
depende del parmetro t

en [c,d], o tambin que F(t) es una funcin definida en [c,d] por medio de una integral
propia con lmites de integracin constantes.

El primer objetivo es ahora estudiar algunas propiedades de la funcin F(t), con

t [c,d], a partir de propiedades de f(x,t), con (x,t) .
1.1.2 Continuidad

Teorema 1

"Si f(x,t) es continua en , entonces la F(t) dada en (1) es continua en [c,d]"

Demostracin al final del tema.

1.1.3. Derivabilidad : Frmula de Leibniz

Teorema 2

1
 f ( x,t )
"Si f(x,t) y son continuas en , entonces la funcin F(t) dada en (1)
t
es derivable y con derivada continua en [c,d], siendo:

b
f ( x, t )
F t dx t [c,d] (2) Frmula de
t
a
Leibniz

Demostracin al final del tema.

1.1.4 Integrabilidad

Se ha visto que si f(x,t) es continua en , entonces F(t) es continua en [c,d].

Luego F(t) es integrable en [c,d].
Se usa la notacin:

d d b d b
F( t ) dt
f ( x , t ) dx

dt f ( x , t ) dx
dt
c c a c a

De forma anloga, cambiando los papeles de x y t podra considerarse la

d
funcin: G(x) = f ( x , t ) dt , x [a,b]
c
Si f(x,t) es continua en , ser G(x) integrable en [a,b]. Se escribe:

b b d b d
G ( x ) dx
f ( x , t ) dt

dx f ( x , t ) dt
dx
a a c a c

Se verifica:

Teorema 3

Si f(x,t) es continua en , entonces:

b d

dx f ( x, t ) dt
a c
= (3)
d b

dt f ( x, t ) dx
c a

La demostracin al final del tema.

1.1.5 Observacin

Los tres teoremas citados, pueden expresarse en trminos de una

permutabilidad de operadores, en la forma siguiente.

2
 Con las hiptesis citadas en cada teorema, las tesis respectivas son:
b b

t t
* lim f ( x, t ) dx
0
a

a
lim f ( x, t ) dx
t t 0

f ( x , t )
b b
d
*
dt f (x, t ) dx
a
a
t
dx

b d d b

* dx f ( x, t ) dt dt f ( x, t ) dx
a c c a

Es inmediato.

1.2 CASO DE LIMITES DE INTEGRACIN FUNCIONES DEL

PARMETRO

1.2.1 Concepto

Supngase ahora que en (1) los lmites de integracin sean funciones a=a(t) y
b=b(t) del parmetro t. La integral ser una funcin de t, definida para aquellos valores
de t, para los que exista tal integral.

Con ms precisin: EMBED PBrush \s \*

Sea R el conjunto : R= MERGEFORMAT
( x , t ) 2 / t c, d , a( t ) x b( t )
siendo a(t) y b(t) acotadas en [c,d] Y sea
f(x,t) una aplicacin de R en , tal que para
todo t [c,d], es integrable respecto a x,
desde x= a(t) hasta x =b(t). Entonces existe
la funcin:

b( t )

F(t)= f ( x, t ) dx
a( t )
t [c,d] (1*)

Se dice entonces que la integral anterior depende del parmetro t en [c,d], con
lmites de integracin funciones del parmetro.
1.2.2 Continuidad

Con las notaciones anteriores:

Teorema 1*

"Si f(x,t) es continua en R y a(t), b(t) son continuas en [c,d], entonces la

funcin F(t) dada en (1*) es continua en [c,d]"

3
 (Demostracin anloga a la del Teorema 1)

1.2.3 Derivabilidad : Frmula de Leibniz

Teorema 2*

f ( x,t )
"Si f(x,t) y son continuas en R y a(t), b(t) tienen derivada continua
t
en [c,d], entonces la funcin F(t) dada en (1*), es derivable y con derivada continua
en [c,d], siendo :

b( t )
f ( x, t )
F ( t) dx b ( t )f b ( t ), t a ( t )f a( t ), t t c, d (2*)
t
a( t )

(Frmula de Leibniz)

Demostracin:

La F(t) dada en (1*) es funcin de t a travs del integrando f(x,t) y de los lmites de
integracin a(t) y b(t). Con notacin de funcin compuesta, puede escribirse :

F(t) = G [t, a(t), b(t)] t c, d

Aplicando la regla de derivacin de la funcin compuesta (Regla de la cadena):

G G G
F (t) a (t) b ( t) t c, d
t a b

b( t )
G f ( x , t )
* Es dx , pues en la derivacin parcial respecto a la t del integrando,
t a(t )
t
se consideran a(t) y b(t) como constantes. Basta aplicar (2).

* Segn el teorema fundamental del Clculo Integral,

b( t )
G
f ( x , t ) dx f b( t ), t
b b a( t )

b( t ) a( t )
G
f ( x , t ) dx f a( t ), t
a b( t )
* Anlogamente : f ( x , t ) dx
a a a ( t )
Sustituyendo en la expresin de F (t), se obtiene la frmula (2*).

Ejemplos
t

x Ch( t x ) dx . Hallar F (0) aplicando repetidamente el

2
* Sea F(t) =
0

teorema de Leibniz para lmites de integracin variables.

Segn dicha frmula es :

4
 t
F ( t ) x 2 Sh( t x ) dx t 2 Ch0 Ch 0 1
0
t
F ( t ) x 2 Ch( t x ) dx 2t
0
t
F ( t ) x 2 Sh( t x ) dx t 2 Ch0 2
0

Luego F (0) 2

2. INTEGRALES IMPROPIAS DEPENDIENTES DE UN PARMETRO

Se consideran ahora los casos en que las integrales dependientes del parmetro
son impropias, por no ser acotado el intervalo de integracin o por no serlo la funcin
integrando. Se supondr que el intervalo no vara con el parmetro. Naturalmente, ser
necesario exigir condiciones para la convergencia.

2.1 INTEGRAL IMPROPIA DE 1 ESPECIE

2.1.1 Concepto y convergencia

Consideramos el caso siguiente: (Otros casos se estableceran anlogamente).

Sea f(x,t) definida en [a, ) x [c,d], tal que existe f ( x, t ) dx

a
para

todo >a y t [c,d].

f ( x , t ) dx , t [c,d] se representa por

Si existe el lmite finito F(t) = lim
a

F ( t ) f ( x, t ) dx , t [c,d] (1 ) y se dice que la integral impropia f ( x , t ) dx

**

a a

converge en [c,d].

2.1.2 Convergencia uniforme

La integral impropia (1 ** ) se dice uniformemente convergente hacia F(t) en

[c,d], si converge en [c,d] y 0 M a / M y t c, d es

F ( t ) f ( x , t ) dx (El M depende de , pero no de t)
a

2.1.3 Criterios de convergencia uniforme

5
 Criterio de Cauchy

"Condicin necesaria y suficiente para que
a
f ( x , t ) dx converja

uniformemente en [c,d] es que:

0, exista un M a , tal que:

M f ( x, t ) dx t c, d "

Se deduce inmediatamente de la definicin de convergencia uniforme.

Una condicin suficiente para la convergencia uniforme la da el llamado

Criterio de Weierstrass

"Si f ( x,t ) g( x ) ( x,t ) , la g( x ) dx
a
es convergente y existe

f ( x , t ) dx a y t c, d , entonces f ( x, t ) dx es uniformemente
a a

convergente en [c,d]."

(Se omite la demostracin)

Ejemplo

Sea e
x
senx dx con [c,d]
0

Como e x senx e x en cualquier intervalo [c,d], y adems

e
x
dx 1 (convergente), entonces segn el criterio de Weierstrass, la integral dada
0

converge uniformemente en [c,d].

6
 2.1.4 Regularidad de las integrales impropias con un parmetro

Los teoremas 1, 2, y 3 sobre continuidad, derivacin y cambio de orden en la

integracin citados para integrales propias, siguen siendo vlidos para las integrales

impropias F(t) = f ( x , t ) dx t [c,d], siempre que a las hiptesis de los mismos

a

se aadan la condicin de la convergencia uniforme en [c,d] de f ( x, t ) dx

a
(para los

f ( x , t )
teoremas sobre continuidad e integracin), o la de
a
t
dx (para el teorema

sobre derivacin).

(Se omiten demostraciones)

2.2 INTEGRAL IMPROPIA DE 2 ESPECIE

Una integral impropia de 2 especie, dependiente de un parmetro t, es una

integral de la forma:
b
F ( t ) f ( x, t ) dx t c, d , donde para un a , b es: limf (x, t)
x
a

La teora para ellas es anloga a lo visto para las de 1 especie.

3. CASO DE VARIOS PARMETROS

Pueden considerarse de manera anloga, integrales con varios parmetros,

b

como: F ( , ) f ( x , , ) dx .
a

Se obtienen resultados anlogos a los citados para el caso de un parmetro,

exigiendo las condiciones equivalentes.

7
4. APLICACIONES AL CLCULO DE INTEGRALES DEFINIDAS

Aplicando los teoremas sobre derivacin (Frmulas de Leibniz) e integracin,

pueden resolverse varias integrales definidas cuyas primitivas no son fcilmente
expresables, o no pueden expresarse, mediante funciones elementales.

Ejemplo 1

1
x1
Calcular I ln x
dx .
0

x 1
La funcin es continua en [a,b] siendo: 0<a<b<1
lnx

x1 x1 x1
Adems: lim 0, lim lim 1
x 0 lnx x1 ln x x1 x 1

1
xt 1
Sea F(t) = 0
ln x
dx t 0 .

Supuesto que se cumplan las condiciones para la aplicacin del teorema de

Leibniz, resulta:

1 1
x t 1
1
x t 1 1
F t 0 t ln x dx 0 x t
dx
t 1 0
t 1

Luego F(t) = k + ln (t+1) t 0

Como F(0) = 0, resulta: 0 = k + ln 1. Luego: k = 0

Por tanto : F(t) ln(t 1) t 0

Y en particular I = F(1) = ln 2

Ejemplo 2

e ax senx senx
Calcular: F(a) = x
dx (a >0). Deducir I = x
dx
0 0

Se trata de un caso especial de integral impropia, dependiente del parmetro a.

eax senx
No puede calcularse buscando una primitiva de la funcin , pues tal
x
primitiva no es expresable mediante funciones elementales en nmero finito.

8
 Supngase que se cumplen las condiciones exigidas para la aplicacin del
teorema de Leibniz en este caso impropio.

e ax senx
Entonces: F ( a ) dx e senx dx
ax

0
a x 0

Mediante integracin por partes (2 veces), o por coeficientes indeterminados se

obtiene:
e ax
e ax senx dx
1 a2
asenx cos x c
1
Por tanto: F (a) , de donde : F(a) = k - arctg a
1 a2

Por otra parte de la definicin de F(a), resulta: limF(a) = 0.

a

Luego: 0 = lim [k - arctg a] = k - . De donde: k = .
a
2 2

F(a) = arctg a
Por tanto : 2

I=
En particular I = F(0). Luego : 2

Ejemplo 3

dx
Calcular: I(a) = (a >0)

n1
2
0 x a

Se trata de un caso de integral impropia, dependiente del parmetro a.

1
Existe primitiva conocida de la funcin x 2 a n 1 , pero dada su complejidad,

es preferible usar la derivacin paramtrica. Supngase que se cumplen las condiciones
exigidas para la aplicacin del teorema de Leibniz en este caso de integral impropia.

d 1 n 1
Puesto que da x 2 a n 1 x 2 a n 2 , no mejora la situacin al intentar

calcular I (a) .

dx
Pero la forma de la derivada respecto a, sugiere el partir de F(a) = x
0
2
a
.

dx 1 x 1
Es: F(a) = x
0
2
a
=
a
arctg a 2
a0 2 a 2

Por la frmula de Leibniz Derivando el resultado anterior

dx 1 3
F ( a ) F ( a ) a 2
x 2 2
2
0
2
a

9

dx
F ( a ) 2
x 2
a
3 1 3 52
0
a F ( a )
2 2 2
---------------------

dx ------------------------------
F ( n ) ( a ) ( 1) n n ! 1 3 2 n 1 2 n21
0 x a
n 1
2
F n (a ) a
2 2 2 2
Igualando estas ltimas expresiones resulta:

dx 1 3 5 ( 2 n 1)
1
n ( 2 n 1)!! 1

2
a o sea: I(a)= 2
x
n 1
0
2
a 2 2n n ! ( 2n )!! n 12
a

Ejemplo 4

ax
e e bx
Calcular I(a,b) = x
dx a,b >0
0

Se trata de un caso de integral impropia con dos parmetros, convergente.

e ax
No puede resolverse como diferencia de integrales pues
0
x
dx es

divergente. Tampoco existe primitiva del integrando, expresable con n finito de

funciones elementales.
Suponiendo que se cumplen las condiciones exigidas para la aplicacin del
teorema de Leibniz en este caso de integral impropia, resulta:

I e ax 1
e ax dx . Luego: I(a,b) = k(b) - ln a
a 0 a 0
a
Para a = b es: I(a,b) = 0. Y por tanto: 0 = k(b) - ln b, es decir : k(b) = ln b.
b
Luego: I(a,b) = ln b - ln a = ln
a
Otro mtodo (Cambio de orden en la integracin)

ax b
e e bx e x b b x
I a , b dx dx dx e x d a d 0 e dx
x x 0 a
0 0 a

b e x b d b b
a a Ln a Ln a
d
0

10
 5. LAS FUNCIONES (p) y (p,q) DE EULER

Hay muchas funciones definidas por integrales dependientes de parmetros, que

no son expresables mediante funciones elementales. Es necesario deducir sus
propiedades a partir de la propia integral.
Dos ejemplos de especial inters por sus aplicaciones, son las llamadas
funciones gamma ( (p)) y beta ((p,q)) de Euler.

5.1. LA FUNCIN (p) DE EULER

5.1.1 Definicin

Se llama funcin gamma, o integral euleriana de 2 especie a la funcin :

(p) = x p 1e x dx p 0 (4)
0

Es una funcin representada por una integral impropia.

Puede demostrarse fcilmente que converge para p >0 y diverge si p0.
1

(Basta escribir ( p )
0
x p 1e x dx x p 1e x dx
1
y mostrar por los

teoremas de comparacin que la 1 integral converge nicamente para p >0 y la 2

p ).

Puede tambin demostrarse que esta integral impropia cumple las condiciones
necesarias para que se d la continuidad de (p) en su campo de definicin y la validez
del teorema de Leibniz sobre derivacin.

5.1.2. Propiedades principales

a) Si p-1 >0 , es (p) =(p-1)(p- 1) (5) Frmula de reduccin

En efecto : Basta aplicar a (4) la integracin por partes con u = x p1

u = x p1 du (p 1)xp 2dx dv = e xdx v e x .
Luego:

t
( p ) lim x p1e x 0
( p 1) x p 2 e x dx ( p 1) x p 2 e x dx ( p 1) ( p 1)
t
0 0

b) (1) = 1 y si p = n N, entonces (n) = (n-1)! (6)

11

t
e
x
En efecto : De (4) se deduce: (1) = dx = lim e x 1
t 0
0

Basta aplicar ahora (5) sucesivamente.

c) En general, la frmula de reduccin permite hallar los valores de (p) para

todo p >0, si se conoce (p) en un intervalo cualquiera (a,a +1] con a0.
As, por ejemplo, si se conoce 1 2 resulta :

5 53 531
7 2 5 2 3 2 1 2
2 22 222

5.1.3 Frmula de los complementos

Si 0 <p < 1 resulta (p) (1-p) =

(7)
senp

Se omite la demostracin

5.1.4 Representacin grfica

A partir de la definicin y de las

(5)-(6)-(7), puede conseguirse una
aproximacin a la representacin grfica
de (p).
Verifica: plim (p) lim (p)
0 p

5.1.5 Otras expresiones

Efectuando diversos cambios de variable en la integral (4), se obtienen otras

expresiones de la funcin (p). El inters de las mismas estriba en que permiten
calcular varias integrales definidas en trminos de la funcin (p).

He aqu algunos casos ms interesantes:

12
 a) Efectuando en (4) el cambio y = x p , es decir x = y1 p, se obtiene :

p 1 1
1 1 1
(p) = y
1 p 1 p
p
e y y p dy e y dy , luego :
p0 p0

1
e dx 1 p p e x dx
1 p
x p
( p )
p 0 0

Por tanto: e
x p
dx 1 1 p
0

b) Anlogamente, efectuando en (4) los cambios x = ay (a >0) x = ay 2 , se

obtiene respectivamente:

( p ) a p x p 1e ax dx ( p) 2a p x
2 p 1 ax 2
e dx
0 0

5.2 LA FUNCIN (p,q) DE EULER

5.2.1 Definicin

Se llama funcin beta o integral euleriana de 1 especie a la funcin:

1
p 1
( p, q ) x ( 1 x ) q 1 dx , p, q 0 (8)
0

Es una funcin representada por una integral definida, con dos parmetros. El
integrando es discontinuo en 0 y 1 si p <1, q <1 .

Puede demostrarse fcilmente que converge para p >0,q >0 y diverge en los
dems casos.

5.2.2 Simetra

Es ( p, q) ( q, p ) p, q 0
Para demostrarlo, basta hacer en (8) el cambio x = 1-y

13
 5.2.3 Otras expresiones

Como en el caso de la funcin , al efectuar diversos cambios de variable en

(8), se obtienen otras expresiones de la funcin (p,q). Estas expresiones permitirn
calcular varias integrales definidas usuales en trminos de la (p,q).

a) Efectuando en (8) el cambio x = sen 2 y, se obtiene:

2 2

q 1
( p, q ) sen 2seny cos y dy 2 sen 2 p 1 y cos 2 q 1 y dy
2 p2
y 1 sen y
2

0 0

2
Luego: ( p, q ) = 2 sen 2p 1 x cos 2q 1 x dx (9)
0

y 1 dy
b) Con el cambio x = en (8), resulta: 1-x = dx =
1 y 1 y 1 y 2
p 1 q 1
y 1 dy y p 1
Por tanto: (p,q) = 1 y dy
0
1 y 1 y 1 y 2 0
p q

x p 1
Luego: ( p, q ) = p q
dx (10)
0 1 x

5.2.4 Relacin entre las funciones y

Cualesquiera que sean p >0, q >0, se verifica :

( p ) ( q)
( p, q ) =
( p q) (11)

Se omite la demostracin

14
 5.2.5 Valores de y en algunos casos simples

* Si p,q N es : (p) = (p-1)! segn (6) y segn (11)

(p) (q) (p 1)!(q 1)!

(p,q) = =
(p q) (p q 1)!

2
1 1
* Segn (9) es , 2 dx
2 2 0

Luego :
1 1 1 2 1 2 1 1 2
, 2 . De donde :
2 2 (1) 2

* Usando repetidamente la frmula (5) de reduccin para la funcin resulta

para n N:

1 1 3
n n n
3 1 1

2n 1 !!
2 2 2 2 2 2 2n

5.3 APLICACIONES A LA RESOLUCIN DE ALGUNAS INTEGRALES

He aqu algunos ejemplos de integrales que pueden resolverse fcilmente por

medio de las funciones y .

e
x2
* I1 dx
0

1
dx 1 . Luego I1 1
1 1 1
e
xp
Se ha visto que
0
p 2 2 2 2
2

* I2 sen con n N
2n
x dx
0

1
Segn (9) es : I 2 (p,q) con 2p-1= 2n, 2q-1 = 0, es decir :
2
1
n 1 2
1 2n 1 1 1 2 1 2 n 1 !! ( 2 n 1)!!
I2 ,
2 2 2 2 ( n 1) 2 2n n ! ( 2n )!! 2

15
 2

sen
2 n 1
* I3 x dx con n N
0

2n !!
De manera anloga, se obtiene : I 3
( 2 n 1)!!

2 2

( Las integrales cos x dx e cos

2n 2 n 1
dx toman los mismos valores que
0 0

I 2 e I 3 respectivamente. Basta hacer en stas el cambio x = t)
2

dx
* I4 n N, n 1
0 1 x 2 n

Efectuando el cambio x = tg t , resulta :

1 tg t dt
2 2 2
( 2 n 3)!!
1 tg t cos
2 n 2
I4 t dt
( 2 n 2 )!! 2
2 n
0 0

Puede resolverse tambin efectuando en I 4 el cambio x 2 t , y teniendo en

cuenta la expresin (10) de ( p, q ) .

16
 DEMOSTRACIONES DE ALGUNOS TEOREMAS

TEOREMA 1

Por ser f(x,t) continua en , considerada como funcin de x es continua en

[a,b], cualquiera que sea t [c,d]. Luego es integrable en [a,b] respecto a x, es decir,
existe la funcin F(t) dada en (1).

Va a ser demostrado que F(t) es uniformemente continua en [c,d].

Sea >0. Ha de verse que existe 0 tal que si t t y t, t c, d ,

entonces F(t) F(t )

Como f(x,t) es continua en (cerrado y acotado), es uniformemente continua

en . Luego dado , existe tal que si (x,t), (x, t ) y d (x, t),(x, t ) ,
b a

entonces f (x, t) f (x, t )
b a

Si en particular se hace x = x , resulta:

Dado , existe tal que si (x,t), ( x , t ) con t t , se verifica:
b a

f (x, t) f (x, t )
b a

Entonces, si t, t c, d y t t resulta :

b b

F (t ) F (t ) f ( x, t )
a
f ( x , t ) dx f ( x , t ) f ( x , t ) dx
a
ba
(b a )

Por tanto F(t) es uniformemente continua en [c,d], luego es continua en [c,d]

c.q.d.

TEOREMA 2
b

Sea t [c,d]. Entonces F ( t h) F ( t ) f ( x, t h) f ( x, t ) dx

a

h h

f (x, t)
Como f(x,t) y son continuas en , segn la frmula de los incrementos
t
finitos, considerada f(x,t) como funcin de t en [c,d], resulta :

f (x, t h)
f(x,t+h)-f(x,t) = h 0 1 siendo vlida para x [a,b].
t

17
 b
F ( t h) F ( t ) f ( x , t h )
Luego:
h

a
t
dx

f (x, t)
Por ser continua en , segn el Teorema 1:
t
b
f ( x , t h)
b
f ( x , t h)
b
F ( t h) F ( t ) f ( x , t )
lim lim dx a lim dx dx
h 0 h h 0
a
t h 0 t a
t

f ( x , t )
b

Luego F(t) es derivable en t y F ( t )

a
t
dx c.q.d.

TEOREMA 3

Con las notaciones citadas en 1.1.4, se consideran las funciones de :

b b
( ) F ( t ) dt
c
dt f ( x , t ) dx y ( )
c a
dx f ( x, t ) dx ,
a c
c,d

Cumplen (c) (c) 0

Como F(t) es continua en [c,d], por el teorema fundamental del Clculo resulta:
b
( ) F ( ) f ( x , ) dx , c, d
a

Y como g( x , ) f ( x , t ) dt es continua y con derivada continua en , se

c

deduce:

d
b (2)
b
b
( ) dx f ( x , t ) dt f ( x , t ) dt dx f ( x , ) dx F ( ), c, d
d a c a
c a

Luego: ( ) ( ) c, d . Y como (c) (c) 0, resulta:

( ) ( ) c,d .

En particular, para d, se obtiene (d) (d) , es decir :

d b b d

dt f ( x, t ) dx
c a
dx f ( x, t ) dt c.q.d.
a c

18