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:

$\int_{a}^{b}f(x)dx$

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 Gaston 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

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

Partición de un Intervalo

Sea [a,b] un subconjunto de los reales. Entonces una partición de [a,b] es un subconjunto finito P = {x₀ = a, x₁,...,x_n = b} tal que x_i > x_{i - 1}, con i = 1,...,n.

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

Suma Inferior y Suma Superior

Sea f una función acotada sobre un intervalo [a,b] y P = {x₀ = a, x₁,...,x_n = b} una partición de [a,b]. Sean:

$m_{i} = inf \left\lbrace f(x): x_{i - 1} \leq x \leq x_{i} \right\rbrace$,

$M_{i} = sup \left\lbrace f(x): x_{i - 1} \leq x \leq x_{i} \right\rbrace$

Entonces la suma inferior de f para P, designada por L(f,P) (del inglés lower), se define como:

$L(f,P) = \sum_{i = 1}^{n} m_{i}(x_{i} - x_{i - 1})$

y la suma superior de f para P, designada por U(f,P) (del inglés upper), se define como:

$U(f,P) = \sum_{i = 1}^{n} M_{i}(x_{i} - x_{i - 1})$

Integrabilidad de Darboux

Una función f acotada en [a,b] es Darboux integrable sobre [a,b] si y sólo si

$sup \left\lbrace L(f,P) \right\rbrace = inf \left\lbrace U(f,P) \right\rbrace$

Referencias

• 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.