I matematik er stoppunktsteorien eller Markov -tiden relateret til problemet med timing til at tage en bestemt handling for at maksimere den forventede belønning eller minimere de forventede omkostninger. Stoppepunktsproblemet kan findes inden for statistik , økonomi og finansiel matematik (associeret med amerikansk optionsprissætning ). Det mest bemærkelsesværdige eksempel relateret til det øjeblik, hvor man stopper, er problemet med kræsen brud . Stopmomentproblemet kan ofte skrives i form af Bellman-ligningen og løses derfor ofte ved hjælp af dynamisk programmering .
Som regel er problemet med stopøjeblikket forbundet med to objekter:
I betragtning af disse objekter er problemet dette:
Overvej forstærkningen af processer defineret på et filtreret sandsynlighedsrum og antag, at dette er en tilpasning af filtreringen. Stoptidsproblemet er at finde den standsetid, der maksimerer det forventede udbytte .
hvor kaldes værdien af funktionen . Det kan have betydning her .
En mere specifik formulering er som følger. Vi betragter en tilpasset stærk Markov-proces defineret på et filtreret sandsynlighedsrum, hvor angiver sandsynligheden for måling, hvor den tilfældige proces starter med . Under hensyntagen til kontinuerlige funktioner og i problemet med standsningstiden
Dette kaldes undertiden MLS-formuleringen (henholdsvis Meyer, Lagrange og Supremum). [en]
Der er to tilgange til at løse stoppunktsproblemet. Når den underliggende proces (eller procesforstærkning) beskrives ved dens ubetingede endelig-dimensionelle fordeling, så er den passende løsningsmetode Martingale-tilgangen, så navngivet, fordi den bruger Martingale -teori , hvor det vigtigste koncept er Snells udvikling . I det diskrete tilfælde, hvis planlægningshorisonten er begrænset, kan problemet let løses ved hjælp af dynamisk programmering .
Når den underliggende proces er defineret af en familie af (betingede) overgangsfunktioner, der fører til en Markov-familie af probabilistiske overgange, kan de stærke analytiske værktøjer fra Markov-procesteorien ofte bruges, og denne tilgang kaldes Markov-metoden. Løsningen opnås normalt ved at løse tilhørende problemer med frie grænser (Stefan-problemer).
Lad være Levy- diffusionen ind fra den stokastiske differentialligning
hvor er en -dimensionel Brownsk bevægelse , dette er et -dimensionelt kompenseret Poisson tilfældigt mål, , , og fungerer sådan, at der findes en unik løsning . Lad være et åbent sæt (solvensområdet) og
konkurstid. Optimalt stopproblem:
Det viser sig, at under visse regularitetsbetingelser [2] indeholder følgende verifikation af teoremet:
Hvis funktionen opfylder
så for alle . Desuden, hvis
Så for alle og er stoppetiden
Disse betingelser kan skrives i en mere kompakt form (integro-variationel ulighed):
(For eksempel hvor konvergerer)
Du har en mønt, og du kaster den gentagne gange. Hver gang, før du kaster det, kan du stoppe med at kaste det og blive betalt (i dollars, lad os sige) for det gennemsnitlige antal hoveder, du ser.
Du vil have det maksimale beløb, du ville blive betalt ved at vælge en stopregel. Hvis x i (hvor i ≥ 1) danner en sekvens af uafhængige, identisk fordelte stokastiske variable med en Bernoulli-fordeling
og hvis
så vil der i rækkefølgen være objekter relateret til dette problem.
(For eksempel, hvor det ikke nødvendigvis konvergerer)
Du har et hus og vil gerne sælge det. Hver dag tilbydes du til dit hjem, og betaler for fortsat annoncering. Hvis du sælger dit hjem dagligt , vil du tjene hvor .
Du vil maksimere det beløb, du tjener, ved at vælge en stopregel.
I dette eksempel er sekvensen ( ) rækkefølgen af tilbud til dit hus, og rækkefølgen af "belønninger" afgør, hvor meget du vil tjene.
(Hvor er f.eks. den endelige sekvens)
Du observerer en sekvens af objekter, der kan sorteres fra bedst til værst. Du vil vælge en stopregel, der maksimerer dine chancer for at vælge den bedste funktion.
For eksempel, hvis ( n er et stort tal, måske) er rækken af funktionerne, og dette er chancen for, at du vil vælge den bedste funktion, hvis du stopper med at afvise funktioner med vilje i trin i, så er det de sekvenser, der er forbundet med dette problem. Dette problem blev løst i begyndelsen af 1960'erne af flere mennesker. En elegant løsning på sekretærproblemet og adskillige modifikationer til dette problem leveres af en mere moderne optimal stopalgoritme (Bruces algoritme).
Økonomer har undersøgt en række optimale standsetidsproblemer svarende til "sekretærens problem" og refererer almindeligvis til denne type analyse som "søgningsteori". Søgeteori er især fokuseret på en medarbejders søgen efter et højtbetalt job eller en forbrugers søgen efter et billigt produkt.
Ved handel med optioner på de finansielle markeder kan indehaveren af en amerikansk option udøve retten til at købe (eller sælge) det underliggende aktiv til en bestemt pris på et hvilket som helst tidspunkt før eller ved udløb. At værdsætte amerikanske muligheder er således i det væsentlige et optimalt stopproblem. Overvej den klassiske Black-Scholes-model og lad være den risikofrie rente og udbyttesatsen og aktievolatiliteten. Aktiekursen følger geometrisk Brownsk bevægelse
Ifølge risikomålet.
Når parameteren er uendelig, er det optimale stopproblem
hvor er payoff-funktionen for call-optionen og for bet-muligheden. Variationel ulighed
for alle , hvor det er grænsen for fysisk træning. Løsningen er kendt [3]
På den anden side, når tidsgrænsen er begrænset, er problemet relateret til det todimensionelle frie grænseproblem uden en kendt lukket-form løsning. Der kan dog bruges forskellige numeriske metoder. Se Black-Scholes Model#American Options for forskellige værdiansættelsesmetoder her, og Fugit for en diskret træbaseret optimal tid til at træne beregning.