En probabloteorio kaj stokastikaj procezoj, la reflektadprincipo por Wiener-procezo deklaras ke se la pado de Wiener-procezo atingi valoron en tempo , tiam la posta vojo post tempo havas la saman distribuon kiel la reflektado de la posta vojo sur la valoro . Pli formale, la principo de reflektado rilatas al lemo koncerne la distribuadon de la suprema de la Wiener-procezo, ankaŭ nomita Browniana moviĝo . La rezulto rilatigas la distribuadon de la suprema de la Browniana movo al la tempo kun la distribuo de la procezo en tempo . Ĝi estas konsekvenco de la forta Markov-posedaĵo de Brownia moviĝo. [1]
se estas Wiener-procezo estas sojlo (ankaŭ nomita krucpunkto), tiam la lemo diras:
Pli forte, la principo de pripensado deklaras ke se estas halta tempo, tiam la reflekto de la Wiener-procezo komencanta je , indikita , ankaŭ estas Wiener-procezo, kie:
kaj la indikila funkcio Ĝi estas estas difinitaj simile. La plej forta formo implicas la originalan moton dum elektado .
La plej frua halttempo por atingi la interkruciĝpunkton , , estas preskaŭ certe limigita halttempo. Tiam ni povas apliki la fortan Markov-econ por dedukti ke posta relativa vojo al , donita de , estas ankaŭ simpla Brownia movo sendependa de . Do la probabla distribuo por la lasta fojo estas sur la sojlo aŭ super ĝi en la tempointervalo kaj povas esti malkomponita kiel:
Per la turo por kondiĉaj atendoj, la dua termino reduktas al:
donita tion estas norma Brownia movo sendependa de kaj havas probablecon esti malpli ol . La pruvo de la lemo estas kompletigita per anstataŭigado de tio en la duan linion de la unua ekvacio:
[2]
La reflektadprincipo estas ofte uzata por simpligi distribuajn trajtojn de Browniana moviĝo. Konsiderante Brownian moviĝon en la limigita intervalo , tiam la principo de reflektado permesas al ni pruvi, ke la loko de maksimumoj , kiuj kontentigas , havas la arksinusan distribuon. Tio estas unu el la arksinuoj de Lévy.[3]