En la rama de las matemáticas conocida como análisis real , la integral de Darboux se construye utilizando sumas de Darboux y es una posible definición de la integral de una función . Las integrales de Darboux son equivalentes a las integrales de Riemann , lo que significa que una función es integrable en Darboux si y sólo si es integrable en Riemann, y los valores de las dos integrales, si existen, son iguales. [1] La definición de la integral de Darboux tiene la ventaja de ser más fácil de aplicar en cálculos o pruebas que la de la integral de Riemann. En consecuencia, los libros de texto de introducción al cálculo y al análisis real a menudo desarrollan la integración de Riemann utilizando la integral de Darboux, en lugar de la verdadera integral de Riemann. [2] Además, la definición se extiende fácilmente para definir la integración de Riemann-Stieltjes . [3] Las integrales de Darboux llevan el nombre de su inventor, Gaston Darboux (1842-1917).
Definición
La definición de la integral de Darboux considera las integrales superior e inferior (Darboux) , que existen para cualquier función acotada de valor real en el intervalo. La integral de Darboux existe si y sólo si las integrales superior e inferior son iguales. Las integrales superior e inferior son a su vez el mínimo y el supremo , respectivamente, de las sumas superior e inferior (Darboux) que sobreestiman y subestiman, respectivamente, el "área bajo la curva". En particular, para una partición dada del intervalo de integración, las sumas superior e inferior suman las áreas de cortes rectangulares cuyas alturas son el supremo y el mínimo, respectivamente, de f en cada subintervalo de la partición. Estas ideas se precisan a continuación:
Cada intervalo se denomina subintervalo de la partición. Sea una función acotada y sea
ser una partición de . Dejar
La suma superior de Darboux con respecto a es
La suma de Darboux inferior con respecto a es
Las sumas de Darboux superior e inferior a menudo se denominan sumas superior e inferior.
Integrales de Darboux
La integral de Darboux superior de f es
La integral de Darboux inferior de f es
En alguna literatura, un símbolo integral con un subrayado y un subrayado representan las integrales de Darboux inferior y superior respectivamente:
y al igual que las sumas de Darboux, a veces se les llama simplemente integrales inferior y superior .
Si U f = L f , entonces llamamos al valor común integral de Darboux . [4] También decimos que f es integrable en Darboux o simplemente integrable y establecida
Un criterio equivalente y a veces útil para la integrabilidad de f es demostrar que para cada ε > 0 existe una partición P ε de [ a , b ] tal que [5]
Propiedades
Para cualquier partición dada, la suma de Darboux superior siempre es mayor o igual que la suma de Darboux inferior. Además, la suma inferior de Darboux está limitada por debajo por el rectángulo de ancho ( b - a ) y alto inf ( f ) tomado [ a , b ]. Asimismo, la suma superior está limitada arriba por el rectángulo de ancho ( b − a ) y alto sup ( f ).
Las integrales de Darboux inferior y superior satisfacen
Dado cualquier c en ( a , b )
Las integrales de Darboux inferior y superior no son necesariamente lineales. Supongamos que g :[ a , b ] → R también es una función acotada, entonces las integrales superior e inferior satisfacen las siguientes desigualdades:
Para una constante c ≥ 0 tenemos
Para una constante c ≤ 0 tenemos
Considere la función
entonces F es continua de Lipschitz . Se cumple un resultado idéntico si F se define utilizando una integral de Darboux superior.
Ejemplos
Una función integrable en Darboux
Supongamos que queremos demostrar que la función es integrable con Darboux en el intervalo y determinar su valor. Para hacer esto, dividimos en subintervalos del mismo tamaño, cada uno de ellos de longitud . Denotamos una partición de subintervalos de igual tamaño como .
Ahora bien, dado que es estrictamente creciente en , el mínimo en cualquier subintervalo particular viene dado por su punto de partida. Asimismo, el supremo en cualquier subintervalo particular viene dado por su punto final. El punto inicial del -ésimo subintervalo es y el punto final es . Así, la suma de Darboux inferior en una partición viene dada por
de manera similar, la suma superior de Darboux está dada por
Desde
Por lo tanto, para any dado , tenemos que cualquier partición con satisface
lo que demuestra que Darboux es integrable. Para encontrar el valor de la nota integral que
Dado que los números racionales e irracionales son subconjuntos densos de , se deduce que toma el valor de 0 y 1 en cada subintervalo de cualquier partición. Así, para cualquier partición tenemos
de lo cual podemos ver que las integrales de Darboux inferior y superior son desiguales.
Refinamiento de una partición y relación con la integración de Riemann.
Un refinamiento de la partición es una partición tal que para todo i = 0,…, n existe un número entero r ( i ) tal que
En otras palabras, para hacer un refinamiento, corte los subintervalos en trozos más pequeños y no elimine ningún corte existente.
Si es un refinamiento de entonces
y
Si P 1 , P 2 son dos particiones del mismo intervalo (no es necesario que una sea un refinamiento de la otra), entonces
y se deduce que
Las sumas de Riemann siempre se encuentran entre las correspondientes sumas de Darboux inferiores y superiores. Formalmente, si y juntos hacen una partición etiquetada
(como en la definición de la integral de Riemann ), y si la suma de Riemann de es igual a R correspondiente a P y T , entonces
Del hecho anterior, las integrales de Riemann son al menos tan fuertes como las integrales de Darboux: si la integral de Darboux existe, entonces las sumas de Darboux superior e inferior correspondientes a una partición suficientemente fina estarán cercanas al valor de la integral, por lo que cualquier suma de Riemann sobre la misma partición también estará cerca del valor de la integral. Hay (ver más abajo) una partición etiquetada que se acerca arbitrariamente al valor de la integral de Darboux superior o de la integral de Darboux inferior y, en consecuencia, si la integral de Riemann existe, entonces la integral de Darboux también debe existir.