Нашел у себя глупую ошибку, в прибыли должно быть
![$u_{i+1}$ $u_{i+1}$](https://dxdy-01.korotkov.co.uk/f/8/8/b/88b21ece34bb0daa9991981a84447f4782.png)
, а не
Кстати такая модель немного странная, она говорит, что если
![$X_1 = 1$ $X_1 = 1$](https://dxdy-04.korotkov.co.uk/f/b/d/6/bd68316b796efc5962b0dae1ea9f1e8682.png)
п.н., а
![$X_2$ $X_2$](https://dxdy-04.korotkov.co.uk/f/f/6/f/f6fac43e354f1b2ca85658091df26df182.png)
равномерно на
![$\{2, 3\}$ $\{2, 3\}$](https://dxdy-03.korotkov.co.uk/f/e/a/f/eaf269e22b2dd7acdeb022024127b46f82.png)
,
![$\varepsilon = 0$ $\varepsilon = 0$](https://dxdy-02.korotkov.co.uk/f/1/3/7/1373ffa3d78766f81c5ab65b50ad7eb082.png)
, то нам всё равно надо покупать только
![$\frac{2}{\lambda}$ $\frac{2}{\lambda}$](https://dxdy-04.korotkov.co.uk/f/f/3/2/f32724f1a28c3056270caed5f621f77a82.png)
- потому что неопределенность в том, сколько именно мы получим, нас пугает настолько, что мы отказываемся от заведомо более выигрышной сделки.
Своим примером Вы натолкнули меня на мысль, за что Вам благодарен.
Пусть
![$$L_n(\mathbf u) = \sum _{i=0}^n (X_{i+1} - X_i)u_{i+1} - \varepsilon |u_{i+1} - u_i|$$ $$L_n(\mathbf u) = \sum _{i=0}^n (X_{i+1} - X_i)u_{i+1} - \varepsilon |u_{i+1} - u_i|$$](https://dxdy-01.korotkov.co.uk/f/8/4/7/847ba344c4cd3584fb5efa01c814908d82.png)
наш функционал прибыли и мы хотим, чтоб матожидание прибыли было как можно больше при условии, что вероятность убытка убывала очень быстро с его размером. Бдуем решать следующую задачу:
![$$\mathbb EL_n(\mathbf u) \to \max _{\mathbf u}$$ $$\mathbb EL_n(\mathbf u) \to \max _{\mathbf u}$$](https://dxdy-04.korotkov.co.uk/f/b/5/2/b522928a92be0f6331d32ed8b226c95b82.png)
![$$\forall C < 0: \mathbb P(\min _{0\leq k \leq n}L_k(\mathbf u) < C) < \exp(\lambda C)$$ $$\forall C < 0: \mathbb P(\min _{0\leq k \leq n}L_k(\mathbf u) < C) < \exp(\lambda C)$$](https://dxdy-01.korotkov.co.uk/f/4/3/e/43e74b390a16f8a2fc4468cd3944f99582.png)
По неравенству Дуба, если
![$X_i \leq \mathbb E[X_{i+1}|\mathcal F_i]$ $X_i \leq \mathbb E[X_{i+1}|\mathcal F_i]$](https://dxdy-04.korotkov.co.uk/f/3/7/6/3761bc05aa837120464d65c928d1838a82.png)
, то
![$\mathbb P(\max _{k\leq n} \geq C)\leq \frac {\mathbb EX_n}{C}$ $\mathbb P(\max _{k\leq n} \geq C)\leq \frac {\mathbb EX_n}{C}$](https://dxdy-04.korotkov.co.uk/f/b/f/9/bf9bffd58039198944534a2d474f465482.png)
. Тогда
![$$\mathbb P(\min _{0\leq k \leq n}L_k(\mathbf u) < C) = \mathbb P\left(\max _{0\leq k \leq n} \exp (-\lambda L_k(\mathbf u)) \geq \exp (-\lambda C)\right) \leq \exp (\lambda C)\mathbb E\exp (-\lambda L_n)$$ $$\mathbb P(\min _{0\leq k \leq n}L_k(\mathbf u) < C) = \mathbb P\left(\max _{0\leq k \leq n} \exp (-\lambda L_k(\mathbf u)) \geq \exp (-\lambda C)\right) \leq \exp (\lambda C)\mathbb E\exp (-\lambda L_n)$$](https://dxdy-03.korotkov.co.uk/f/e/4/4/e44b1dc7c4b73be77bd614914a84845b82.png)
(Оффтоп)
Тут вроде бы
![$\exp (-\lambda L_k(\mathbf u))$ $\exp (-\lambda L_k(\mathbf u))$](https://dxdy-04.korotkov.co.uk/f/7/d/9/7d99daa7bc6250379b56541ef8eb4ab882.png)
не является субмартингалом :/
Следовательно, наше условие выполняется, когда
![$\mathbb E\exp (-\lambda L_n(\mathbf u)) \leq 1$ $\mathbb E\exp (-\lambda L_n(\mathbf u)) \leq 1$](https://dxdy-03.korotkov.co.uk/f/a/a/e/aaeaf28a0ce1fb16546de7a6abf2f25d82.png)
. С другой стороны максимизация
![$\mathbb EL_n(\mathbf u)$ $\mathbb EL_n(\mathbf u)$](https://dxdy-01.korotkov.co.uk/f/c/9/a/c9a0646919cae99f4a39c600a5f1c04c82.png)
эквивалентна минимизации
![$\mathbb E\exp (-\lambda L_n(\mathbf u))$ $\mathbb E\exp (-\lambda L_n(\mathbf u))$](https://dxdy-02.korotkov.co.uk/f/1/a/3/1a3df2d84e237cbd34c9b44c92080cc682.png)
. Таким образом, мы свели нашу изначальную задачу с ограничением к задаче
![$$\mathbb E\exp (\lambda L_n(\mathbf u)) \to \max _{\mathbf u}$$ $$\mathbb E\exp (\lambda L_n(\mathbf u)) \to \max _{\mathbf u}$$](https://dxdy-01.korotkov.co.uk/f/0/0/5/00512c808993cc539473494ccc1ae90f82.png)
В моем случае приросты хорошо описываются
![$\alpha$ $\alpha$](https://dxdy-01.korotkov.co.uk/f/c/7/4/c745b9b57c145ec5577b82542b2df54682.png)
-устойчивым распределением с
![$\beta =0$ $\beta =0$](https://dxdy-03.korotkov.co.uk/f/e/3/4/e3453b73e08d90061dca68d0fb3600e782.png)
,
![$1 < \alpha <2$ $1 < \alpha <2$](https://dxdy-01.korotkov.co.uk/f/c/a/b/cabf270d142713f2d1348e7b00609b6782.png)
и фиксированным
![$\gamma$ $\gamma$](https://dxdy-02.korotkov.co.uk/f/1/1/c/11c596de17c342edeed29f489aa4b27482.png)
. Используя характеристическую функцию
![$$\varphi _Z(t) = \mathbb E[\exp(itZ)] = \exp(i\mu t - \gamma ^\alpha |t|^\alpha)$$ $$\varphi _Z(t) = \mathbb E[\exp(itZ)] = \exp(i\mu t - \gamma ^\alpha |t|^\alpha)$$](https://dxdy-03.korotkov.co.uk/f/a/0/4/a042a6740c8645c251511c17739bea7282.png)
подставляя
![$t:= -i\lambda u_{i+1}$ $t:= -i\lambda u_{i+1}$](https://dxdy-04.korotkov.co.uk/f/f/6/e/f6efd92e6f7c9b74ebeaee02b315ee8d82.png)
, получим
![$$\mathbb E\exp (\lambda L_n(\mathbf u)) = \exp\left(\sum_{i=1}^n \lambda (\mu_{i+1} - \mu_i)u_{i+1} - \gamma ^\alpha \lambda ^{\alpha} |u_{i+1}|^\alpha - \lambda \varepsilon |u_{i+1} - u_i|\right)$$ $$\mathbb E\exp (\lambda L_n(\mathbf u)) = \exp\left(\sum_{i=1}^n \lambda (\mu_{i+1} - \mu_i)u_{i+1} - \gamma ^\alpha \lambda ^{\alpha} |u_{i+1}|^\alpha - \lambda \varepsilon |u_{i+1} - u_i|\right)$$](https://dxdy-04.korotkov.co.uk/f/3/a/9/3a9dcac52a81bd20817bbd1ee45c9ade82.png)
Т.е. наша задача сводится к оптимизации
![$$\sum_{i=1}^n (\mu_{i+1} - \mu_i)u_{i+1} - \gamma ^\alpha \lambda ^{\alpha - 1} |u_{i+1}|^\alpha - \varepsilon |u_{i+1} - u_i| \to \max _{\mathbf u}$$ $$\sum_{i=1}^n (\mu_{i+1} - \mu_i)u_{i+1} - \gamma ^\alpha \lambda ^{\alpha - 1} |u_{i+1}|^\alpha - \varepsilon |u_{i+1} - u_i| \to \max _{\mathbf u}$$](https://dxdy-01.korotkov.co.uk/f/0/0/6/0066473e47d8005565deb4844524bd1e82.png)
Реализовал алгоритм на Python, вроде работает.
Подскажите, пожалуйста, все ли тут законно?