Имеем:
Теперь надо применить формулу Ито. Применяем:
Вот это вот
- величина положительная (как и процесс
). Т.е. мы не можем сказать, что вот это
есть вот это
Теперь надо разобраться с тем, что вот это такое:
Для этого рассмотрим вот такой процесс Ито:
Квадратичная вариация этого процесса равна:
Такой квадратичной вариацией (равной
) обладает только винеровский процесс, а значит заключаем, что W - винеровский процесс! А значит можем заменить
на
(т.к.
). Ну а вот это
.
Т.е. имеем
(перешли к уравнению относительно другого винеровского процесса).