PROPIEDADES DE LA INTEGRAL DEFINIDA

Desde su origen, la nocin de integral ha respondido a la necesidad de mejorar

los mtodos de medicin de reas subtendidas bajo lneas y superficies curvas.
La tcnica de integracin se desarroll sobre todo a partir del siglo XVII,
paralelamente a los avances que tuvieron lugar en las teoras sobre derivadas
y en el clculo diferencial.
Concepto de integral definida
La integral definida es un concepto utilizado para determinar el valor de las
reas limitadas por curvas y rectas. Dado el intervalo [a, b] en el que, para cada
uno de sus puntos x, se define una funcin f (x) que es mayor o igual que 0 en
[a, b], se llama integral definida de la funcin entre los puntos a y b al rea de la
porcin del plano que est limitada por la funcin, el eje horizontal OX y las
rectas verticales de ecuaciones x = a y x = b.
La integral definida de la funcin entre los extremos del intervalo [a, b] se
denota como:

Propiedades de la integral definida

-La integral definida cumple las siguientes propiedades:
-Toda integral extendida a un intervalo de un solo punto, [a, a], es igual a cero.
-Cuando la funcin f (x) es mayor que cero, su integral es positiva; si la funcin
es menor que cero, su integral es negativa.
-La integral de una suma de funciones es igual a la suma de sus integrales
tomadas por separado.
-La integral del producto de una constante por una funcin es igual a la
constante por la integral de la funcin (es decir, se puede sacar la constante
de la integral).
-Al permutar los lmites de una integral, sta cambia de signo.
-Dados tres puntos tales que a < b < c, entonces se cumple que (integracin a
trozos):

-Para todo punto x del intervalo [a,b] al que se aplican dos funciones f (x) y g (x)
tales que f (x) g (x), se verifica que:

Ilustracin grfica del concepto de integral definida.

Funcin integral
Considerando una funcin f continua en [a, b] y un valor x [a, b], es posible
definir una funcin matemtica de la forma:
donde, para no inducir a confusin, se ha modificado la notacin de la variable
independiente de x a t. Esta funcin, simbolizada habitualmente por F (x),
recibe el nombre de funcin integral o, tambin, funcin rea pues cuando f es
mayor o igual que cero en [a, b], F (x) nos da el rea.

FUNCION PRIMIIVA:
Es la relacin dependiente de datos sobre uno (o ms) valores, que declaran
los lmites de un rea. Es la razn del por qu se le llama funcin primitiva, al
ser la base del clculo integral.
Sean F y f dos funciones definidas sobre el mismo intervalo (o, ms
generalmente, dominio).
F es una primitiva de f si y slo si f es la derivada de F: F' = f.
Al diferir las primitivas de una misma funcin f de una constante solamente,
resulta que la diferencia F(b) - F(a) tiene un valor que no depende de la

primitiva escogida. Es por lo tanto lgico notarla sin mencionar a F, sino

solamente a f:

Se llama integral de f entre a y b este valor. La integral tiene un significado muy

concreto en el campo de la geometra: es el rea entre la curva de f, el eje de
los x, y dos rectas verticales x = a y x = b: ste es el teorema fundamental del
anlisis.

Por linealidad, cuando f es negativa en un intervalo tambin lo es su integral.

Por lo tanto el rea de la que hemos hablado es algebraica y no geomtrica. Si
una funcin es alternadamente positiva y negativa, su integral ser la suma de
las reas positivas y negativas entre la curva de f y el eje de los x.

La relacin de Chasles:

cuya prueba es elemental, tanto si se recurre a argumentos geomtricos (con a

< b < c )como analticos, tiene como consecuencia:

La segunda frmula se interpreta fcilmente: el rea entre las rectas x = a y .. x

= a de nuevo es nula, pues la rectas estn pegadas.
La primera se puede justificar as: cuando se recorre un segmento de la
derecha a la izquierda, el rea correspondiente cambia de signo. Esto sucede
porque la nocin de rea est muy relacionada con el producto vectorial de dos
vectores (y con el determinante), y tal producto cambia de signo si un vector lo
hace.
TEOREMA FUNDAMENTAL DEL CLCULO:
Consiste (intuitivamente) en la afirmacin de que la derivacin e integracin de
una funcin son operaciones inversas. Esto significa que toda funcin acotada
e integrable (siendo continua o discontinua en un nmero finito de puntos)
verifica que la derivada de su integral es igual a ella misma. Este teorema es
central en la rama de las matemticas denominada anlisis matemtico o
clculo.
El teorema es fundamental porque hasta entonces el clculo aproximado de
reas -integrales- en el que se vena trabajando desde Arqumedes, era una
rama de las matemticas que se segua por separado al clculo diferencial que
se vena desarrollando por Isaac Newton, Isaac Barrow y Gottfried Leibniz en el
siglo XVIII y dio lugar a conceptos como el de las derivadas. Las integrales
eran investigadas como formas de estudiar reas y volmenes, hasta que en
ese punto de la historia ambas ramas convergieron, al demostrarse que el
estudio del "rea bajo una funcin" estaba ntimamente vinculado al clculo
diferencial, resultando la integracin, la operacin inversa a la derivacin.
Una consecuencia directa de este teorema es la regla de Barrow, denominada
en ocasiones segundo teorema fundamental del clculo, y que permite calcular
la integral de una funcin utilizando la integral indefinida de la funcin al ser
integrada.

INTRODUCCION GEOMETRICA
Supngase que se tiene una funcin continua y = f(x) y que su representacin
grfica es una curva. Entonces, para cada valor de x tiene sentido de manera
intuitiva pensar que existe una funcin A(x) que representa el rea bajo la curva
entre 0 y x an sin conocer su expresin.
Supngase ahora que se quiere calcular el rea bajo la curva entre x y x+h. Se
podra hacer hallando el rea entre 0 y x+h y luego restando el rea entre 0 y x.
En resumen, el rea de esta especie de "loncha" sera A(x+h) A(x).
Otra manera de estimar esta misma rea es multiplicar h por f(x) para hallar el
rea de un rectngulo que coincide aproximadamente con la "loncha". Ntese
que la aproximacin al rea buscada es ms precisa cuanto ms pequeo sea
el valor de h.
Por lo tanto, se puede decir que A(x+h) A(x) es aproximadamente igual a f(x)
h, y que la precisin de esta aproximacin mejora al disminuir el valor de h. En
otras palabras, (x)h A(x+h) A(x), convirtindose esta aproximacin en
igualdad cuando h tiende a 0 como lmite.
Dividiendo los dos lados de la ecuacin por h se obtiene

El rea rayada en rojo puede ser calculada como h f(x), o si se conociera la

funcin A(X), como A(x+h) A(x). Estos valores son aproximadamente iguales
para valores pequeos de h.

Cuando h tiende a 0, se observa que el miembro derecho de la ecuacin es

sencillamente la derivada A(x) de la funcin A(x) y que el miembro izquierdo se
queda en (x) al ya no estar h presente.
Se muestra entonces de manera informal que (x) = A(x), es decir, que la
derivada de la funcin de rea A(x) es en realidad la funcin (x). Dicho de otra
forma, la funcin de rea A(x) es la antiderivada de la funcin original.
Lo que se ha mostrado es que, intuitivamente, calcular la derivada de una
funcin y "hallar el rea" bajo su curva son operaciones "inversas", es decir el
objetivo del teorema fundamental del clculo integral.
Dada una funcin f integrable sobre el intervalo [a,b], definimos F sobre [a,b]
por

Continua en c \in (a,b), entonces F es derivable en c y F'(c) = f(c).

Usando la Regla de la cadena obtenemos como consecuencia directa del

primer teorema fundamental del clculo infinitesimal:

Siendo f(t) una funcin integrable sobre el intervalo [a(x),b(x)] con a(x) y b(x)
derivables.
Lema:
Sea f integrable sobre [a,b] y

Entonces

Demostracin del lema

Est claro que

Para toda particin

Puesto que

A desigualdad se sigue inmediatamente.

CALCULO DE INTEGRALES DEFINIDAS
Dada una funcin f(x) y un intervalo [a, b], la integral definida es igual al rea
limitada entre la grfica de f(x), el eje de abscisas, y las rectas verticales x = a y
x = b.

La integral definida se representa por

es el signo de integracin.
a lmite inferior de la integracin.
b lmite superior de la integracin.
f(x) es el integrando o funcin a integrar.
dx es diferencial de x, e indica cul es la variable de la funcin que se integra.

Propiedades de la integral definida

1. El valor de la integral definida cambia de signo si se permutan los lmites de
integracin.

2. Si los lmites que integracin coinciden, la integral definida vale cero.

3. Si c es un punto interior del intervalo [a, b], la integral definida se

descompone como una suma de dos integrales extendidas a los intervalos [a,
c] y [c, b].

4. La integral definida de una suma de funciones es igual a la suma de

integrales

5. La integral del producto de una constante por una funcin es igual a la

constante por la integral de la funcin.

Funcin integral
Sea f(t) una funcin continua en el intervalo [a, b]. A partir de esta funcin se
define la funcin integral:

que depende del lmite superior de integracin.

Para evitar confusiones cuando se hace referencia a la variable de f, se la

llama t, pero si la referencia es a la variable de F, se la llama x.
Geomtricamente la funcin integral, F(x), representa el rea del recinto
limitado por la curva y = f(t), el eje de abscisas y las rectas t = a y t = x.

A la funcin integral, F(x), tambin se le llama funcin de reas de f en el

intervalo [a, b].
INTEGRALES IMPROPIAS
Si la funcin f al ser integrada de a a c tiene una discontinuidad en c,
especialmente en la forma de una asntota vertical, o si c = , entonces la
integral

Puede ser ms conveniente redefinirla de la siguiente forma:

En algunos casos, la integral de a a c ni siquiera est definida, puesto que las

integrales de la parte positiva y negativa de f(x) dx entre a y c son ambas
infinitas, sin embargo el lmite puede existir. Estos casos corresponden a las
llamadas "integrales impropias", es decir, aquellas cuyos valores no pueden
definirse excepto como lmites.

La integral

puede interpretarse como:

pero desde el punto de vista del anlisis matemtico no es obligatorio

interpretarla de tal manera, ya que puede interpretarse como una integral de
Lebesgue sobre el intervalo (0, ). Por otro lado, el uso del lmite de integrales
definidas en intervalos finitos es til, aunque no sea como forma de calcular su
valor.
En contraste al caso anterior,

no puede ser interpretada como una integral de Lebesgue, ya que

sta es una "verdadera" integral impropia, cuyo valor est dado por

Llamamos singularidades de una integral impropia a los puntos de la recta real

extendida en los cuales debemos utilizar lmites.
Tales integrales son frecuentemente escritas en forma simblica de igual forma
que una integral definida, utilizando un infinito como lmite de integracin. Esto
no hace ms que "ocultar" el debido proceso de calcular los lmites de la
integral. Utilizando la ms avanzada integral de Lebesgue en lugar de una
integral de Riemann, uno puede a veces evitar tal operacin. Pero si slo se
desea evaluar el lmite para obtener un valor definido, tal mecanismo pudiera
no resultar de ayuda. El concepto de integral de Lebesgue es ms o menos
esencial en el tratamiento terico de la transformada de Fourier que hace uso
extensivo de integrales sobre el total de la recta real.
Lmites infinitos de integracin

Las integrales impropias ms bsicas son integrales como:

Como dijimos anteriormente stas no necesitan ser definidas como una integral
impropia, ya que pueden ser construidas como una integral de Lebesgue. Sin
embargo, para propsitos de computar esta integral, es ms conveniente
tratarla como un integral impropia, i.e., evaluarla cuando el lmite superior de
integracin es finito y entonces coger el lmite ya que este lmite se acerca a .
La primitiva de la funcin que est siendo integrada es arctan x. La integral es

por lo que el rea bajo la curva nunca puede ser definida de forma verdadera.
Asntotas verticales en los lmites de integracin
Considera

Esta integral involucra una funcin con una asntota vertical en x = 0.

Uno puede obtener el valor de esta integral evalundola desde b a 1, y
entonces tomando el lmite como b tendiendo a 0. Ntese que la anti-derivativa
de la anterior funcin es

la cual puede ser evaluada por sustitucin directa para dar el valor

El lmite cuando b 0 es 3 0 = 3.

Valores principales de Cauchy

Considera la diferencia en los valores de dos lmites:

La primera es el valor principal de Cauchy

Similarmente, tenemos

Pero

La primera es el valor principal

Todos los lmites anteriores son casos de la forma indeterminada .

Carcter y valor de las Integrales Impropias

Si la integral que nos ocupa es de fcil resolucin podemos determinar su
carcter mediante el clculo de la integral impropia. Segn el resultado que
obtengamos sabremos si es convergente o divergente. Primero clasifiquemos
las integrales en 3 tipos:
Primera especie

Son de tipo
Presentan una asntota horizontal
Segunda especie

Son de tipo
no esta definida en el intervalo de integracin o en
cualquier punto del dominio o los extremos de integracin.
Presentan una asntota vertical
Tercera especie
Son mezclas de los dos tipos anteriores, es decir, que presentan un infinito en
los extremos de integracin y la funcin se hace infinito en uno o ms puntos
del intervalo de integracin.
Este tipo de integrales impropias se pueden dividir en suma de dos integrales:
una de primera especie y otra de segunda especie. Por lo tanto deberemos
seguir los pasos anteriores para determinar su carcter, y tener en cuenta que
para que sea convergente tanto la integral de primera especie como la de
segunda especie tienen que ser convergentes, si no, en cualquier otro caso,
diverge.