LA REGLA DE LEIBNITZ

Y LA DERIVACIN DE
FUNCIONES DEFINIDAS
MEDIANTE
INTEGRALES
PINTOS, Laura Griselda .
NAVARRO, Micaela Beln.
ROMERO, Luis Guillermo

Facultad de Ciencias Exactas Y Naturales Y Agrimensura

Universidad Nacional del Nordeste AV. Libertad 5600

Corrientes Argentina
2012

31/07/2012
INTEGRALES PARAMTRICAS
Muchas de las funciones que se manejan en el Clculo Infinitesimal no se conocen
mediante expresiones elementales, sino que vienen dadas de otros modos que, al
principiante, pueden parecerle extraos, como puede ser a travs de series o integrales.
Nos ocupamos aqu de un tipo especial de funciones llamadas Funciones Definidas
por Integrales o tambin Integrales Dependientes de Parmetros.
Supongamos, para fijar las ideas, que hablamos de una expresin del tipo
] (z, x)Jx
b
u
, donde se supone que, para cada valor de z de un cierto conjunto A,
la funcin real x (z, x) es integrable (respecto de la variable x) en un cierto
intervalo [a,b]. La anterior integral define, pues, a una funcin F: A, que viene
dada por F(z) = ] (z, x)Jx
b
u
. Generalmente no es posible obtener una expresin
explcita de F(z) (es decir, libre de las integrales), por no conocerse una primitiva
(para cada z A)de la funcin x (z, x), por lo que no se puede recurrir a la regla de
Barrow. En tal supuesto, que es lo que nos preocupa, no es difcil estudiar una tal
funcin F, analizando su regularidad y deduciendo sus propiedades, y ello a partir de la
regularidad y propiedades de la funcin f , del integrando.



INTEGRALES DEPENDIENTES DE PARMETROS
Se consideran los casos de integral simple, las integrales mltiples quedarn
pendientes.
Obsrvese que las integrales paramtricas simples tienen por integrando a una
funcin de al menos dos variables.


INTEGRALES PARAMTRICAS SIMPLES
Caso de lmites de integracin fijos
Sean dados un conjunto A
n
, un intervalo compacto real I=[a,b] y una funcin
: A x I , (z, x) (z, x). Si para cada z A, la funcin x (z, x) es
integrable en I, entonces se dice que ] (z, x)Jx
b
u
es una integral paramtrica (con
parmetro z A), la cual determina a la funcin A ,
z ] (z, x)Jx
b
u
(funcin definida por una integral).
Caso de lmites de integracin variables
Sea dado un conjunto A
n
, sea S(a,b) el conjunto simple determinado por dos
funciones acotadas o: A y b: A y considrese una funcin
f: S(a,b) , (z, x) (z, x). Si para cada z A, la funcin x (z, x) es
integrable en [a(z), b(z)], entonces se dice que ] (z, x)Jx
b(x)
u(x)
es una integral
paramtrica (con parmetro z A), la cual determina a la funcin A ,
z ] (z, x)Jx
b(x)
u(x)
(funcin definida por una integral).
S(o, b) = {(z, x)e
n+1
z e A, o(z) x b(z)] donde se supone que o(z) b(z) z eA

x
s(a,b)
b(z)
o(z)
z z

Reduccin al caso de lmites de integracin fijos
Considrese el conjunto simple S(a,b), determinado por las dos funciones acotadas
o: A y b: A (definidas en un cierto conjunto A
n
), y sea f: S(a,b)
una funcin tal que, para cada z e A, la funcin xf(z, x) es continua en el intervalo
[a(z), b(z)]. Se verifica entonces que la integral paramtrica ] (z, x)Jx
b(x)
u(x)
se puede
expresar en forma de integral paramtrica con lmites de integracin fijos; en concreto es:
] (z, x)Jx
b(x)
u(x)
= ] g(z, t)Jt
1
0

donde g(z, t) = (z, o(z) +|b(z) o(z)]t)|b(z) o(z)]
Ntese que si f es de clase
k
en S(a, b) y a y b son de clase
k
en A, para cualquier
r u, entonces g es de la misma clase
k
en A x [0,1].
Demostracin:
Para cada z e A, considrese la funcin

: (0,1) definida mediante la expresin

(t)= o(z) +|b(z) o(z)]t = (1 t) o(z) +(t) b(z)

que es una biyeccin de clase

, de [0,1] en [a(z), b(z)], tal que

(0)= a(z) y

(1)= b(z). As pues

puede utilizarse como funcin de cambio de
variable para aplicar la regla de integracin por sustitucin a la integral
] (z, x)Jx
b(x)
u(x)
, para cada z e A. Al aplicar esta regla se obtiene, obviamente, que dicha
integral es igual a la ] g(z, t)Jt
1
0
, donde g es la funcin que se cita en el enunciado, como
haba que comprobar.

Si f:[a,b] es una funcin continua el el intervalo compacto [a,b] y si :[o, [] es una funcin de clase

1
en |o, [] y tal que (o) = o y ([) = b y ([o, [])=[a,b], entonces:
_ (x)
b
u
Jx = _ ((t))(t)Jt
[
u



CONTINUIDAD DE LAS INTEGRALES PARAMTRICAS
Si en una integral paramtrica, el integrando es continuo (como funcin de las variables
de integracin y de los parmetros) y sus conjuntos de definicin (campo de integracin y
dominio de parmetros) son compactos, entonces la funcin definida por la integral es
continua y su continuidad es uniforme.
CONTINUIDAD DE LAS INTEGRALES PARAMTRICAS SIMPLES
Caso de lmites de integracin fijos
Sea A
n
un conjunto compacto, un intervalo compacto real I=[a,b] y una funcin
: A x I , (z, x) (z, x) una funcin continua en A x I , entonces la funcin
z ] (z, x)Jx
b
u
(que existe para cada z e A ) es uniformemente continua en A.

Caso de lmites de integracin variables
Sea A
n
un conjunto compacto; sea S(a,b) el conjunto simple determinado por
dos funciones continuas o: A y b: A ; sea f: S(a,b) , una funcin
continua en su dominio. Se verifica entonces que la funcin z] (z, x)Jx
b(x)
u(x)
(que
existe para cada z e A ) es uniformemente continua en A

Demostracin
La existencia de la integral paramtrica para cada z e A, es obvia en los dos casos que
se consideran en el enunciado. Para demostrar la continuidad, reduciremos el segundo
caso al primero, que ser el nico que probaremos.
Consideramos el caso de lmites de integracin variables de integral simple.
Sabemos que es
] (z, x)Jx
b(x)
u(x)
= ] g(z, x)Jx
1
0
, donde g: A x [0,1] es la funcin
g(z, x) = (z, o(z) +|b(z) o(z)]x)|b(z) o(z)] para z e A.
Como g es continua en A x [0,1], ya que es composicin de funciones continuas, este
caso ha quedado reducido al de integral simple con lmites de integracin fijos.



Dado que A es compacto, slo hay que probar la continuidad de F en cualquier
z
0
e A
.
Como A x I es compacto (pues lo son I y M ), la continuidad de f en A x I es
uniforme y por ello, dado e > u tal que
z z
0
< o |(z, x) (z
0,
x)| <
s
b-u
x e I donde b a es la distancia del
intervalo [a,b].
Sea F: z ] (z, x)Jx
b
u
para probar la continuidad hay que probar que
lim
xx
F(z) =F(z)

Para z z < o |F(z) F(z)| = ] (z, x) (z, x)
b
u
Jx
_ | (z, x) (z, x) |
b
u
Jx < _
e
(b o)
b
u
Jx =
e
(b o)
_ Jx
b
u
= e
lo que prueba la continuidad de F en z

Bajo las hiptesis del anterior teorema se puede asegurar que, para cualquiera que sea
zeA, existen los siguientes lmites y se verifica:
lim
xx
_ (z, x)Jx = _ lim
xx
(z, x)Jx
b
u
b
u

lim
xx
_ (z, x)Jx = _ lim
xx
(z, x)Jx
IIm
ZZ
b(x)
IIm
ZZ
u(x)
b(x)
u(x)


DERIVACIN DE LAS INTEGRALES PARAMTRICAS
Si en una integral paramtrica el integrando es derivable respecto de uno de los parmetros
y, adems, dicho integrando y la correspondiente derivada son continuas, entonces la integral
es derivable respecto de dicho parmetro y resulta que se puede cambiar la integracin y la
derivacin:

x
] (z,
M
, z
n
,x) dx =]
](] ](x,
M
,xn, x)
x
M
Jx
Ms exactamente, se verifica la siguiente propiedad, conocida como regla de Leibniz:

DERIVACIN DE INTEGRALES PARAMTRICAS SIMPLES
Caso de lmites de integracin fijos
Sea A
n
un conjunto abierto, un intervalo compacto real I=[a,b] ; sea : A x I
, (z, x) (z, x) una funcin continua en A x I , y que admite derivada parcial

x
(donde z es la componente i-sima de z para cierto i=1,,n), la cual es continua
en A x I . Se verifica entonces que la funcin z ] (z, x)Jx
b
u
(que existe para cada
z e A ) es derivable respecto de z en A y su derivada viene dada por:

x
[] (z, x)Jx
b
u
=]
](x,x)
x
b
u
Jx


Caso de lmites de integracin variables
Sea A
n
un conjunto abierto; sea S(a,b) el conjunto simple determinado por
dos funciones continuas o: A y b: A ; sea f: U , donde U es un abierto
y S(a,b) U. Si en sus respectivos campos de definicin las funciones a y b y f son
continuas y admiten derivadas parciales
u
x
,
b
x
,
]
x
(donde z es la componente i-
sima de z para cierto i=1,,n), las cuales son continuas, entonces la funcin
z] (z, x)Jx
b(x)
u(x)
(que existe para cada z e A ) es derivable respecto de z en A y
su derivada viene dada por:

o
oz
__ (z, x)Jx
b(z)
o(z)
_ = _
o(z, x)
oz
b(z)
o(z)
Jx + (z, b(z))
ob(z)
oz
(z, o(z))
oo(z)
oz

Demostracin
Caso de lmites de integracin fijos
Empecemos sealando que, como A es abierto, para cada z e A existe un
r

>0 tal que B(z, r)A. Si llamamos F:A a la funcin definida por
F(z) = ] (z, x)Jx
b
u
y si representamos por e el vector i-simo de la base
cannica de
n
, lo que debemos demostrar es que
lim
p0
F(z +pc) F(z)
p
= _
o(z, x)
oz
b
o
Jx z e A

Partiendo del primer miembro de la igualdad

lim
p0
F(z +pc) F(z)
p
= lim
p0
_
(z +pc, x) (z, x)
p
b
o
Jx =
= _ lim
pu

(z +pc, x) (z, x)
p
Jx
b
u
= _
o(z +pc, x)
oz
b
u
Jx

Para p u: |z + pc, x] A x I

Caso de lmites de integracin variables
Aqu nos vamos a apoyar en el caso anterior, ya demostrado. Para ello ntese en primer
lugar que, por la continuidad de a y de b en A y como para el abierto U es S(a,b) U, se
puede asegurar que, para cada z e A, existen ciertos o > u y > u tales que llamando
C = B(z, o) |o(z ) , b(z ) +] cs C 0
Segn esto siempre que z z < o, la integral ] (z, x)Jx
b(x)
u(x)
se puede poner en la
forma siguiente (en la que existen las integrales del segundo miembro)
] (z, x)Jx
b(x)
u(x)
= I(z) +I(z) Io(z) (1)
Siendo
I(z) = _ (z, x)Jx
b(z)
o(z)
, Io(z) = _ (z, x)Jx
o(z)
o(z)
, I(z) = _ (z, x)Jx
b(z)
b(z)


A la integral I(z), que tiene lmites de integracin fijos, le es de aplicacin el resultado del
caso anterior (sustituyendo A x I por C
0
) del cual se obtiene que, para z = z es:
I(x)
x
= ]
](x,x)
x
Jx
b(z)
o(z)
(2)

Veamos ahora que Io(z) e I(z) son derivables en z, respecto de z, y obtengamos sus
derivadas (slo consideraremos I(z); para Io(z) se procede de manera anloga).Dicha
derivada es, si existe, el lmite
lim
p0
I(z + pc) I(z)
p
= lim
p0
1
p
_ (z +pc, x)
b(z+pc)
b(z)
Jx

Acudiendo al teorema del valor medio para integrales, se puede asegurar que existe
cierto e comprendido entre b(z) y b(z + pc) tal que
lim
p0
b(z +pc) b(z)
p
(z +pc, ) =
ob(z)
oz
(z, x)
como b es continua, (z) b cuando p u; como f es continua
(z +pc, ) (z, b(z)) cuando p u) es decir se ha obtenido que
I(x)
x
= b(z)(z, x) =
b(x)
x
(z, b(z)) (3)
igualmente es
oIo(z)
oz
= o(z)(z, x) =
oo(z)
oz
(z, o(z))
Llevando ahora los resultados (2) y (3) a (1), se concluye que
] (z, x)Jx
b(x)
u(x)
es derivable respecto de z y que su derivada viene dada por la
expresin que haba que comprobar.


Observaciones
Si, en los anteriores teoremas, el parmetro z fuese real, pongamos que A fuera un
intervalo abierto, la derivacin de la que se habla no sera una derivada parcial, sino
una derivada total respecto de z; as por ejemplo, la frmula para la derivada de
integrales paramtricas de lmites de integracin variables sera, en este caso:
J
Jz
_ (z, x)Jx =
b(x)
u(x)
_
o(z, x)
oz
Jx +(z, b(z))
b(x)
u(x)
Jb(z)
Jz
(z, o(z))
Jo(z)
Jz

En este mismo supuesto de z real, y el intervalo de variacin de z fuese cerrado, en
lugar de abierto (como se ha supuesto), el resultado obtenido (la regla de Leibniz)
seguira siendo vlido si se entiende que las derivadas en los extremos de dicho
intervalo son derivadas laterales.