Integración de Lebesgue–Stieltjes

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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[editar]

La integral de Lebesgue–Stieltjes: es definida cuando ƒ : [a,b] → R es Borel-medible y finita y g : [a,b] → R es de variación finita en [a,b] y continua por la derecha, o cuando ƒ es no negativa y g es monótona y continua por la derecha. Para empezar, se asume que ƒ es no negativa y que g es monótona no decreciente y continua por la derecha. Se define w((s,t]) := g(t) − g(s) y w({a}) := 0 (Alternativamente, la construcción funciona para g continua por la izuierda, w([s,t)) := g(t) − g(s) and w({b}) := 0).

Por el Teorema de Carathéodory, existe una única medida de Borel μg en [a,b] que concuerde con w en cada intervalo I. La medida μg 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[editar]

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 indentidad 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[editar]

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[editar]

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, estonces 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, la 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[editar]

Integración de Lebesgue[editar]

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[editar]

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[editar]

  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. doi:10.2307/2309287. JSTOR 2309287. 

Referencias[editar]