Добрый вечер, коллеги.
Нужно посчитать вот такое:
![$E[1_{\max_{0 \leqslant u \leqslant t}B(u) \geqslant 1}(-2 - \min_{T_{1} \leqslant u \leqslant t}B(u))^{+}]$ $E[1_{\max_{0 \leqslant u \leqslant t}B(u) \geqslant 1}(-2 - \min_{T_{1} \leqslant u \leqslant t}B(u))^{+}]$](https://dxdy-03.korotkov.co.uk/f/a/c/5/ac576a73ac0d74a8487f6ea6281072e682.png)
, где

- это максимальное значение между

и выражением в скобках
_________
Что я сделал:
Есть так называемое сильное марковское свойство, суть которого в том, что если

- броуновское движение, а T - stopping time (марковский момент?), значит

тоже. Попытаюсь это использовать

В итоге я получаю такую структуру.
![$E[1_{\max_{0 \leqslant u \leqslant t}B(u) \geqslant 1}(-4 + \max_{T_{1} \leqslant u \leqslant t}B(u))^{+}]$ $E[1_{\max_{0 \leqslant u \leqslant t}B(u) \geqslant 1}(-4 + \max_{T_{1} \leqslant u \leqslant t}B(u))^{+}]$](https://dxdy-01.korotkov.co.uk/f/0/3/1/031c8119eeee9b805373dbcff04d9c3482.png)
Далее я делаю вывод, что индикатор поглощается т.е. при положительном значении максимума индикатор заведомо выполняется, а иначе будет 0.
В итоге всё сводится к подсчёту
![$E[(\max_{T_{1} \leqslant u \leqslant t}B(u) - 4)^{+}]$ $E[(\max_{T_{1} \leqslant u \leqslant t}B(u) - 4)^{+}]$](https://dxdy-01.korotkov.co.uk/f/0/8/8/088ed126334b53f4d532a1a07780590182.png)
.
Дальше вот я чё-то не могу сообразить. У меня есть плотность вероятности для максимума броуновского движения, однако вот это условие на максимум, начинающееся с

меня напрягает.
Будет ли ответ просто равен

?
Я честно вот делал это как-то слишком интуитивно, особенно это касается марковского свойства. Очень хотелось бы подтверждения правоты или указания на ошибки.