Integral de Darboux

En el área de Análisis Matemático, la integral de Darboux, es una forma de abordar el problema de la integración, denotada usualmente de la siguiente forma:

esta integral es equivalente a la integral de Riemann. El enfoque de la integral de Darboux se utiliza en varios textos (aunque en varios no se le nombra así, simplemente se le da el nombre de integral o integral de Riemann utilizando el procedimiento de Darboux), en vez de usar la integral de Riemann ya que es más simple de definir que la integral de Riemann e incluso de utilizar.

Es más simple de usar que la integral de Riemann por dos razones: la primera es que nada más consideramos dos sumas, para cada partición, para la integral de Riemann consideramos una infinidad de sumas para cada partición, la segunda es que esta definición nos permite establecer cotas superiores e inferiores de la integral, lo que reditúa en demostraciones más sencillas.

Esta integral fue propuesta por Darboux en 1875, en ese entonces Riemann ya había propuesto su definición de integral. La idea básica de manera informal es la siguiente: queremos hallar el área bajo una función acotada en un intervalo, dividimos el intervalo en subintervalos y formamos dos rectángulos para cada subintervalo, uno que tiene como altura el supremo de la función en cada subintervalo y otro que tiene como altura el ínfimo de la función en cada subintervalo (si la función es continua se puede pensar en el máximo y el mínimo en vez del supremo y el ínfimo), si logramos hacer coincidir la suma de los rectángulos con altura igual al supremo de la función en cada subintervalo con la suma de los rectángulos con altura igual al ínfimo de la función en cada subintervalo (queremos hacer coincidir estas sumas haciendo cada vez más divisiones del intervalo hasta tender a un límite) obtenemos la integral.

Definición formal

editar

Se requieren tres conceptos antes de definir la integrabilidad de Darboux: la partición de un intervalo, la suma inferior y la suma superior, que a continuación se exponen.

Partición de un intervalo

editar
 
Sumas de Darboux inferiores (verde) y superiores (verde más lavanda) para cuatro subintervalo

Sea   un intervalo cerrado en los números reales. Una partición de   es un subconjunto finito   tal que  , con  .

Lo que está haciendo, en pocas palabras, es cortar al intervalo en subintervalos disjuntos, cuya unión forma el intervalo original.

Suma inferior y suma superior

editar

Sea   una función acotada sobre un intervalo  ,   una partición de   y se define, para cada  :

 ,
 

Entonces la suma inferior de   sobre  , designada por   (del inglés lower), se define como:

 

y la suma superior de   sobre  , designada por   (del inglés upper), como:

 

También puede emplearse la notación   para la suma superior y   para la inferior.

Integrabilidad de Darboux

editar

Sea   una función acotada en  . Se denotará por   al conjunto de todas las particiones de  . Siempre se pueden definir las siguientes:

La integral inferior de Darboux de   en   es

 .

La integral superior de Darboux de   en   es

 .

También se utilizan las notaciones   o   para la integral inferior y   o   para la integral superior.

Así, la integral inferior es la cota superior más pequeña para las sumas inferiores y la integral superior la cota inferior más grande para las sumas superiores.

Cuando ocurre que  , decimos que es   es Darboux integrable sobre  . En tal caso, a este valor común se le llama la integral de   sobre el intervalo  , y se denota  , o  .

Propiedades

editar

Criterio de integrabilidad de Riemann[1]

editar

Una función   es Darboux integrable sobre   si y solamente si para todo   existe una partición   de   tal que

 .

Equivalencia con la Integral de Riemann

editar

Una función   es Darboux integrable sobre   si y solamente si es Riemann Integrable sobre  ; y en tal caso las integrales coinciden.

Linealidad

editar

Sean   y   funciones Darboux integrables sobre  . Entonces

  para todo  .

 .

Referencias

editar
  • BARTLE et al. Introducción al Análisis Matemático de una Variable (Introduction to Real Analysis), trad., ed. Limusa S.A. 2009.
  • KURTZ et al.Theories of Integration The Integrals of Riemann, Lebesgue, Henstock-Kurzweil and McShane, ed. World Scientific Publishing Co. Pte. Ltd. 2004.
  • SPIVAK, Michael. Cálculo Infinitesimal(Calculus), trad., ed. Reverté S.A. 1992.
  1. Bartle, Robert (2000). Introduction to real analysis (en inglés). New York: Wiley. p. 203. ISBN 0471321486.