Integración de Lebesgue–Stieltjes

En el análisis de la teoría de medidas y otras ramas relacionadas de la matemática, la Integración de Lebesgue–Stieltjes es una generalización de la integral de Riemann-Stieltjes y la integración de Lebesgue, preservando las muchas ventajas de ambas en un marco más general de teoría de medidas. La integral de Lebesgue-Stieltjes es la integral ordinaria de Lebesgue respecto a una medida conocida como la medida de Lebesgue–Stieltjes, que puede estar asociada a cualquier función de variación finita en la línea real. La medida de Lebesgue-Stieltjes es una medida regular de Borel, y de manera opuesta toda medida regular de Borel en la línea real es de este tipo.

Las integrales de Lebesgue–Stieltjes, nombradas así por Henri Leon Lebesgue y Thomas Joannes Stieltjes, son también conocidas como las integrales de Lebesgue–Radon o simplemente integrales de Radon, debido a Johann Radon, a quien se debe mucha de la teoría. Ellos encontraron aplicaciones en común entre las probabilidades y los procesos estocásticos, y en ciertas ramas del análisis matemático incluyendo la teoría del potencial.

Definición

La integral de Lebesgue–Stieltjes: es definida cuando es Borel-medible y finita y es de variación finita en y continua por la derecha, o cuando es no negativa y es monótona y continua por la derecha. Para empezar, se asume que es no negativa y que es monótona no decreciente y continua por la derecha. Se define y (alternativamente, la construcción funciona para continua por la izquierda, y ).

Por el Teorema de Carathéodory, existe una única medida de Borel en que concuerde con en cada intervalo . La medida surge de una medida exterior (de hecho, una medida exterior métrica) dada por

el ínfimo entre todas las coberturas de E por los distintos intervalos semiabiertos. Esta medida es llamada comúnmente como[1]​ la medida Lebesgue–Stieltjes asociada a g.

La integral de Lebesgue–Stieltjes

puede ser definida como la integral de Lebesgue de ƒ con respecto a la medida μg en la manera usual. Si g es no decreciente, entonces se define

siendo la última integral definida por la construcción precedente.

Si g es de variación finita y ƒ es finita, entonces es posible plantear

donde g1(x) := Vx
a
g
es la variación total deg en el intervalo [a,x], y g2(x) = g1(x) − g(x). Tanto g1 como g2 son monótonas no decrecientes. Ahora la integral de Lebesgue–Stieltjes con respecto a g es definida por

donde las dos últimas integrales están bien definidas dada la construcción precedente.

Integral de Daniell

Una aproximación alternativa (Hewitt y Stromberg, 1965) es definir la integral de Lebesgue–Stieltjes como la integral de Daniell que extiende la integral usual de Riemann–Stieltjes. Sea g una función no ascendente continua por la derecha en [a,b], y I(ƒ) la integral de Riemann–Stieltjes

para toda función continua ƒ. La operación I define una medida de Radon sobre [a,b]. Esta operación puede ser extendida a la clase de todas las funciones no negativas definiendo

y

Para funciones medibles por Borel, se tiene

y ambos lados de la identidad definen la integral de Lebesgue–Stieltjes

de h. La medida externa μg es definida a partir de

donde χA es la función característica de A.

Integradores de variación finita son manejados de igual forma a la anterior, descomponiendo en variaciones positivas y negativas.

Ejemplo

Suponga que es una curva corregible en el plano y es Borel-medible. Entonces se puede definir la longitud de con respecto a la métrica euclidiana medida por como , donde es la longitud de la restricción de para . Esta es comúnmente llamada la -medida de . Esta noción es bastante útil para varias aplicaciones: por ejemplo, en terrenos lodosos la velocidad en que una persona se puede mover depende de la profundidad del lodo. Si denota la inversa de la velocidad en o cerca de , entonces la -longitud de es el tiempo que tomaría cruzar . El concepto de longitud extrema usa esta noción de -longitud de curvas y es útil en el análisis de transformaciones conformes.

Integración por partes

Una función se considera "regular" en un punto si existen los límites derecho e izquierdo , y la función toma el valor promedio, : en el punto límite. Dada las funciones y de variación finita, si en cada punto o es continua, si ambas y son regulares, entonces existe una fórmula de integración por partes para la integral de Lebesgue–Stieltjes:

donde . Bajo una pequeña generalización de esta fórmula, las condiciones extras en t pueden ser eliminadas.[2]

Un resultado alternativo, de significativa importancia en la teoría del cálculo estocástico es el siguiente: dadas dos funciones

y de variación finita, donde ambas son continuas por la derecha y tienen límite izquierdo (son funciones 'cadlag') entonces

donde. Este resultado puede ser visto como un precursor del Lema de Itō, y es de uso en la teoría general de integración estocástica. El término final es , que surge de una covarianza cuadrada de y . (El resultado anterior puede ser visto entonces como un resultado relativo a la integral de Stratonovich.)

Conceptos relacionados

Integración de Lebesgue

Cuando g(x) = x para todo número real x, entonces μg es la medida de Lebesgue, y la integral de Lebesgue–Stieltjes de f con respecto a g es equivalente a la integral de Lebesgue de f.

Integración de Riemann–Stieltjes y teoría de probabilidades

Cuando f es una función continua con valores reales de una variable real, y v es una función real no decreciente, la integral de Lebesgue–Stieltjes es equivalente a la integral de Riemann-Stieltjes, en cuyo caso usualmente se escribe

para la integral de Lebesgue–Stieltjes, manteniendo implícita la medida μv. Esto es particularmente común en la teoría de la probabilidad cuando v es la distribución de probabilidad de una variable aleatoria continua X, en cuyo caso

(Ver el artículo integral de Riemann-Stieltjes para mayor información acerca del tratamiento de estos detalles.)

Notas

  1. Halmos (1974), Sec. 15
  2. Hewitt, Edwin (5 de 1960). «Integration by Parts for Stieltjes Integrals». The American Mathematical Monthly (en inglés) 67 (5): 419-423. JSTOR 2309287. doi:10.2307/2309287. 

Referencias