
En la teoría matemática de los procesos estocásticos , el tiempo local es un proceso estocástico asociado a procesos de semimartingala , como el movimiento browniano , que caracteriza el tiempo que una partícula ha permanecido en un nivel determinado. El tiempo local aparece en diversas fórmulas de integración estocástica , como la fórmula de Tanaka , si el integrando no es suficientemente suave. También se estudia en mecánica estadística en el contexto de campos aleatorios .
Definición formal
Para una semimartingala continua de valor real, la hora local deen ese puntoes el proceso estocástico que se define informalmente por
dóndees la función delta de Dirac yes la variación cuadrática . Fue introducida por Paul Lévy . La idea básica es quees una medida (apropiadamente reescalada y parametrizada en el tiempo) de cuánto tiempoha pasado enhasta el momentoDe forma más rigurosa, puede escribirse como el límite casi seguro.
que se puede demostrar que siempre existe. Nótese que en el caso especial del movimiento browniano (o más generalmente una difusión de valor real de la formadóndees un movimiento browniano), el términosimplemente se reduce a, lo que explica por qué se le llama la hora local deenPara un proceso de espacio de estados discreto, la hora local se puede expresar de forma más sencilla como [ 1 ]
La fórmula de Tanaka
La fórmula de Tanaka también proporciona una definición de tiempo local para una semimartingala continua arbitraria.en :} [ 2 ]
Meyer [ 3 ] y Wang [ 4 ] demostraron independientemente una forma más general ; la fórmula extiende el lema de Itô para funciones dos veces diferenciables a una clase más general de funciones. Sies absolutamente continuo con la derivadaque es de variación limitada, entonces
dóndees la derivada izquierda.
Sies un movimiento browniano, entonces para cualquierel campo de los tiempos localestiene una modificación que es como Hölder continuo encon exponente, uniformemente para límitesy. [ 5 ] En general, tiene una modificación que es tan continua eny càdlàg en.
La fórmula de Tanaka proporciona la descomposición explícita de Doob-Meyer para el movimiento browniano reflectante unidimensional ,.
Teoremas de Ray-Knight
El campo de los tiempos localesasociado a un proceso estocástico en un espacioes un tema bien estudiado en el área de campos aleatorios. Los teoremas de tipo Ray-Knight relacionan el campo L t con un proceso gaussiano asociado .
En general, los teoremas de tipo Ray-Knight de primera clase consideran el campo L t en un tiempo de llegada del proceso subyacente, mientras que los teoremas de segunda clase se expresan en términos de un tiempo de parada en el que el campo de tiempos locales supera por primera vez un valor dado.
Primer teorema de Ray-Knight
Sea ( B t ) t ≥ 0 un movimiento browniano unidimensional que comienza desde B 0 = a > 0, y ( W t ) t ≥0 un movimiento browniano bidimensional estándar que comienza desde W 0 = 0 ∈ R 2 . Defina el tiempo de parada en el que B golpea por primera vez el origen,Ray [ 6 ] y Knight [ 7 ] (de forma independiente) demostraron que
donde ( L t ) t ≥ 0 es el campo de tiempos locales de ( B t ) t ≥ 0 , y la igualdad está en distribución en C [0, a ]. El proceso | W x | 2 se conoce como el proceso de Bessel al cuadrado .
Segundo teorema de Ray-Knight
Sea ( B t ) t ≥ 0 un movimiento browniano unidimensional estándar B 0 = 0 ∈ R , y sea ( L t ) t ≥ 0 el campo asociado de tiempos locales. Sea T a el primer tiempo en el que el tiempo local en cero excede a > 0
Sea ( W t ) t ≥ 0 un movimiento browniano unidimensional independiente que comienza desde W 0 = 0, entonces [ 8 ]
De forma equivalente, el proceso(que es un proceso en la variable espacial)) es igual en distribución al cuadrado de un proceso de Bessel de dimensión 0 iniciado eny como tal es markoviano.
Teoremas generalizados de Ray-Knight
Se han estudiado intensamente los resultados de tipo Ray-Knight para procesos estocásticos más generales, y se conocen enunciados análogos de ( 1 ) y ( 2 ) para procesos de Markov fuertemente simétricos.
Véase también
Notas
- ↑ Karatzas, Ioannis; Shreve, Steven (1991). Movimiento browniano y cálculo estocástico . Springer.
- ↑ Kallenberg (1997). Fundamentos de la probabilidad moderna . Nueva York: Springer. págs. 428-449 . ISBN 0387949577.
- ^ Meyer, Paul-André (2002) [1976]. "Un curso sobre las estocásticas integradas". Seminario de probabilidades 1967–1980 . Lectura. Apuntes en Matemáticas. vol. 1771. págs. 174–329 . doi : 10.1007/978-3-540-45530-1_11 . ISBN 978-3-540-42813-8.
- ^ Wang (1977). "Fórmula de Itô generalizada y funcionales aditivos del movimiento browniano" . Zeitschrift für Wahrscheinlichkeitstheorie und verwandte Gebiete . 41 (2): 153– 159. doi : 10.1007/bf00538419 . S2CID 123101077 .
- ↑ Kallenberg (1997). Fundamentos de la probabilidad moderna . Nueva York: Springer. 370 págs . ISBN 0387949577.
- ↑ Ray, D. (1963). " Tiempos de permanencia de un proceso de difusión" . Illinois Journal of Mathematics . 7 (4): 615– 630. doi : 10.1215/ijm/1255645099 . MR 0156383. Zbl 0118.13403 .
- ↑ Knight, FB (1963). "Paseos aleatorios y un proceso de densidad de permanencia del movimiento browniano" . Transactions of the American Mathematical Society . 109 (1): 56– 86. doi : 10.2307/1993647 . JSTOR 1993647 .
- ↑ Marcus; Rosen (2006). Procesos de Markov, procesos gaussianos y tiempos locales . Nueva York: Cambridge University Press. págs. 53-56 . ISBN 0521863007.
Referencias
- KL Chung y RJ Williams, Introducción a la integración estocástica , 2.ª edición, 1990, Birkhäuser, ISBN 978-0-8176-3386-8.
- M. Marcus y J. Rosen, Procesos de Markov, procesos gaussianos y tiempos locales , 1.ª edición, 2006, Cambridge University Press ISBN 978-0-521-86300-1
- P. Mörters y Y. Peres, Movimiento browniano , 1.ª edición, 2010, Cambridge University Press, ISBN 978-0-521-76018-8.
- Procesos estocásticos
- Mecánica estadística