Оптимальна зупинка

У математиці теорія оптимальної зупинки або ранньої зупинки пов'язана з задачею вибору часу для здійснення певної дії, щоб максимізувати очікувану винагороду або мінімізувати очікувані витрати. Проблеми оптимальної зупинки можна знайти в областях статистики, економіки та фінансової математики (які пов'язані із ціноутворенням американських опціонів). Ключовим прикладом задачі оптимальної зупинки є задача про перебірливу наречену (в англомовній літературі зустрічається також під назвою задача про секретаря). Проблеми оптимальної зупинки часто можна записати у формі рівняння Беллмана, і тому їх часто розв'язують за допомогою динамічного програмування.

Визначення

Випадок безперервного часу

Задачі з правилом зупинки пов'язані з двома об'єктами:

1. Послідовність випадкових величин $X_1,X_2,\dots$, спільний розподіл яких вважається відомим
2. Послідовність функцій «винагороди». $(y_i{)}_{i\ge 1}$ які залежать від спостережуваних значень випадкових величин:

   $y_i=y_i(x_1,\dots ,x_i)$

Грунтуючись на інформації про ці об'єкти, задача полягає в наступному:

• Ви спостерігаєте за послідовністю випадкових величин, причому на кожному кроці $i$, ви можете припинити спостереження або продовжити
• Якщо ви припините спостереження на кроці $i$, ви отримаєте винагороду $y_i$
• Ви хочете вивести правило зупинки, щоб максимізувати очікувану винагороду (або, що еквівалентно, мінімізувати очікувані втрати)

Випадок дискретного часу

Розглянемо процес посилення $G=(G_t{)}_{t\ge 0}$ визначений у відфільтрованому ймовірнісному просторі $(\mathrm{\Omega },ℱ,({ℱ}_t{)}_{t\ge 0},\mathbb{P})$ і припустимо, що $G$ пристосований до фільтрації. Оптимальна задача зупинки полягає в знаходженні часу зупинки ${\tau }^{*}$, що максимізує очікуваний прибуток

$V_t^T=𝔼G_{{\tau }^{*}}=\underset{t\le \tau \le T}{\sup }𝔼G_{\tau }$

де $V_t^T$ називається функцією цінності ($T$ може мати значення $\mathrm{\infty }$).

Більш конкретне формулювання виглядає наступним чином. Ми розглядаємо адаптований сильний марковський ланцюг $X=(X_t{)}_{t\ge 0}$ визначений у відфільтрованому ймовірнісному просторі $(\mathrm{\Omega },ℱ,({ℱ}_t{)}_{t\ge 0},{\mathbb{P}}_x)$, де ${\mathbb{P}}_x$ позначає міру ймовірності, з якої починається випадковий процес $x$. Задані неперервні функції $M,L$, і $K$, оптимальна задача зупинки це

$V(x)=\underset{0\le \tau \le T}{\sup }{𝔼}_x(M(X_{\tau })+\underset{0}{\overset{\tau }{\int }}L(X_t)dt+\underset{0\le t\le \tau }{\sup }K(X_t)).$

Ще інколи називають формулою MLS (що розшифровується як Mayer, Lagrange and supremum відповідно).

Методи вирішення

Загалом існує два підходи до вирішення задачі оптимальної зупинки. Коли основний процес (або процес посилення) описується безумовними кінцевовимірними розподілами, відповідним методом вирішення є мартингальний підхід, який називається так тому, що він використовує мартингальну теорію, найважливішою концепцією якої є Шаблон:Нп. У випадку дискретного часу, якщо горизонт планування $T$ скінченний, задачу також можна легко вирішити за допомогою динамічного програмування.

Коли основний процес визначається сімейством (умовних) функцій переходу, що веде до марковського сімейства ймовірностей переходу, часто можна використовувати потужні аналітичні інструменти, надані теорією марковських процесів, і цей підхід називають методом Маркова. Розв'язок зазвичай отримують розв'язуванням пов'язаних Шаблон:Нп (Шаблон:Нп).

Результат дифузії стрибка

Нехай $Y_t$ буде дифузією Леві в ${ℝ}^k$, яка описується СДР

$d{Y}_t=b(Y_t)dt+\sigma (Y_t)d{B}_t+\underset{{ℝ}^k}{\int }\gamma (Y_{t-},z)\overline{N}(dt,dz),Y_0=y$

де $B$ є $m$-мірний броунівський рух, $\overline{N}$ є $l$-вимірна компенсована Шаблон:Нп, $b:{ℝ}^k\to {ℝ}^k$, $\sigma :{ℝ}^k\to {ℝ}^{k\times m}$, і $\gamma :{ℝ}^k\times {ℝ}^k\to {ℝ}^{k\times l}$ - задані функції такі, що існує єдиний розв'язок $(Y_t)$. Нехай $𝒮\subset {ℝ}^k$ буде відкритою множиною (областю платоспроможності) і

${\tau }_{𝒮}=\inf \{t>0:Y_t\notin 𝒮\}$

буде часом банкрутства. Оптимальна задача зупинки:

$V(y)=\underset{\tau \le {\tau }_{𝒮}}{\sup }{J}^{\tau }(y)=\underset{\tau \le {\tau }_{𝒮}}{\sup }{𝔼}_y[M(Y_{\tau })+\underset{0}{\overset{\tau }{\int }}L(Y_t)dt].$

Виявляється, що за деяких умов регулярності справедлива перевірочна теорема: Якщо функція $\varphi :\overline{𝒮}\to ℝ$ задовольняє

• $\varphi \in C(\overline{𝒮})\cap C^1(𝒮)\cap C^2(𝒮\setminus \partial D)$, де область продовження це $D=\{y\in 𝒮:\varphi (y)>M(y)\}$,
• $\varphi ⩾M$ на $𝒮$, і
• $𝒜\varphi +L⩽0$ на $𝒮\setminus \partial D$, де $𝒜$ є Шаблон:Нп $(Y_t)$,

то $\varphi (y)⩾V(y)$ для усіх $y\in \overline{𝒮}$. Крім того, якщо

• $𝒜\varphi +L=0$ на $D$

Тоді $\varphi (y)=V(y)$ для усіх $y\in \overline{𝒮}$ і ${\tau }^{*}=\inf \{t>0:Y_t\notin D\}$ — це оптимальний час зупинки.

Ці умови також можна записати в більш компактній формі (Шаблон:Нп):

• $\max \{𝒜\varphi +L,M-\varphi \}=0$ на $𝒮\setminus \partial D.$

Приклади

Підкидання монети

(Приклад, де $𝔼(y_i)$ сходиться)

У вас є «чесна» монета, і ви постійно її підкидаєте. Кожного разу, перш ніж її підкинути, ви можете зупинити її підкидання та отримати виплату (скажімо, у гривнах) за середню кількість спостережених орлів.

Ви хочете максимізувати суму, яку вам платять, вибравши правило зупинки. Якщо X_i (для i ≥ 1) утворює послідовність незалежних, однаково розподілених випадкових величин із розподілом Бернуллі

$\text{Bern}\left(\frac{1}{2}\right),$

і якщо

$y_i=\frac{1}{i}\sum _{k=1}^i{X}_k$

тоді послідовності $(X_i{)}_{i\ge 1}$, і $(y_i{)}_{i\ge 1}$ — це об'єкти, пов'язані з цією задачею.

Продаж будинку

(Приклад, де $𝔼(y_i)$ не обов'язково сходиться)

У вас є будинок і ви хочете його продати. Кожен день вам пропонують $X_n$ за ваш будинок, і ви платите $k$ продовжуючи рекламу будинку. Якщо ви продаєте свій будинок в день $n$, ви заробите $y_n$, де $y_n=(X_n-nk)$.

Ви хочете максимізувати зароблену суму, вибравши правило зупинки.

У цьому прикладі послідовність ($X_i$) — це послідовність пропозицій для вашого будинку, а послідовність функцій винагород — це те, скільки ви заробите.

Задача про перебірливу наречену

Шаблон:Main (Приклад де $(X_i)$ є скінченною послідовністю)

Ви спостерігаєте за послідовністю об'єктів, які можна ранжувати від найкращого до найгіршого. Ви хочете вибрати правило зупинки, яке максимізує ваші шанси вибрати найкращий об'єкт.

Ось, якщо $R_1,\dots ,R_n$ (n — деяке велике число) — ранги об'єктів, і $y_i$ — це ймовірність вибору найкращого об'єкта, якщо ви припините навмисно відхиляти об'єкти на кроці i $(R_i)$ і $(y_i)$ — це послідовності, пов'язані з цією задачею. Ця задача була розв'язана на початку 1960-х років кількома людьми. Елегантне розв'язання задачі про перебірливу наречену та кілька модифікацій цієї задачі забезпечує більш сучасний алгоритм шансів (алгоритм Брюса).

Теорія пошуку

Економісти досліджували низку проблем оптимальної зупинки, подібних до «задач про перебірливу наречену», і зазвичай називають цей тип аналізу «теорією пошуку». Теорія пошуку особливо зосереджена на пошуку працівником високооплачуваної роботи або пошуку споживачем недорогого товару.

Проблема паркування

Особливим прикладом застосування теорії пошуку є задача оптимального вибору паркувального місця водієм, який прямує в оперу (театр, шопінг тощо). Наближаючись до пункту призначення, водій їде вулицею, вздовж якої є паркувальні місця — зазвичай вільними є лише деякі місця на парковці. Ціль добре видно, тому відстань до цілі оцінюється легко. Завдання водія — вибрати вільне місце для паркування якомога ближче до пункту призначення, не їздячи по колу, щоб відстань від цього місця до місця призначення була найменшою.

Торгівля опціонами

Під час торгівлі опціонами на фінансових ринках власнику американського опціону дозволяється скористатися правом купити (або продати) базовий актив за заздалегідь визначеною ціною в будь-який час до або на дату закінчення терміну дії. Таким чином, оцінка американських опціонів є, по суті, проблемою оптимальної зупинки. Розглянемо класичну модель Блека — Шоулза і дозволимо $r$ бути безризиковою процентною ставкою та $\delta$ і $\sigma$ — це ставка дивідендів і волатильність акцій. Ціна акцій $S$ підпорядковується геометричному броунівському руху

$S_t=S_0\exp \{(r-\delta -\frac{{\sigma }^2}{2})t+\sigma B_t\}$

за нейтральною до ризику мірою.

Коли опція безстрокова, проблема оптимальної зупинки є

$V(x)=\underset{\tau }{\sup }{𝔼}_x[e^{-r\tau }g(S_{\tau })],$

де функція виплати $g(x)=(x-K{)}^{+}$ для опції call (далі «колл») і $g(x)=(K-x{)}^{+}$ для put-опціону (далі «пут»). Варіаційна нерівність є

$\max \{\frac{1}{2}{\sigma }^2{x}^2{V}^{″}(x)+(r-\delta )x{V}^{\prime }(x)-rV(x),g(x)-V(x)\}=0$

для усіх $x\in (0,\mathrm{\infty })\setminus \{b\}$, де $b$ є межею вправи. Відомо, що розв'язок

• (Вічний колл) $V(x)=\{\begin{array}{cc}(b-K)(x/b{)}^{\gamma }& x\in (0,b)\\ x-K& x\in [b,\mathrm{\infty })\end{array}$ де $\gamma =(\sqrt{{\nu }^2+2r}-\nu )/\sigma$ і $\nu =(r-\delta )/\sigma -\sigma /2,b=\gamma K/(\gamma -1).$
• (Вічний пут) $V(x)=\{\begin{array}{cc}K-x& x\in (0,c]\\ (K-c)(x/c{)}^{\tilde{\gamma }}& x\in (c,\mathrm{\infty })\end{array}$ де $\tilde{\gamma }=-(\sqrt{{\nu }^2+2r}+\nu )/\sigma$ і $\nu =(r-\delta )/\sigma -\sigma /2,c=\tilde{\gamma }K/(\tilde{\gamma }-1).$

З іншого боку, коли термін придатності обмежений, задача пов'язана з двовимірною задачею з вільними границями, яка не має відомого розв'язку в замкненому вигляді. Однак можна застосувати різні чисельні методи. Див. модель Блека–Шоулза для різних методів оцінки, а також Шаблон:Нп для дискретного розрахунку оптимального часу для тренування Шаблон:Нп.

Див. також

• Проблема зупинки
• Марковський процес вирішування
• Теорема про довільну зупинку
• Шаблон:Нп
• Шаблон:Нп

Список літератури

Джерела

• Thomas S. Ferguson, Optimal Stopping and Applications, retrieved on 21 June 2007
• Thomas S. Ferguson, «Who solved the secretary problem?» Statistical Science, Vol. 4.,282–296, (1989)
• F. Thomas Bruss. «Sum the odds to one and stop.» Annals of Probability, Vol. 28, 1384—1391,(2000)
• F. Thomas Bruss. «The art of a right decision: Why decision makers want to know the odds-algorithm.» Newsletter of the European Mathematical Society, Issue 62, 14–20, (2006)
• Шаблон:Cite journal