Ну во-первых, к чему
, когда от
ничего не зависит? Вполне достаточно
. Да и дискуссионного в этой теме ничего нет.
Положение описанной частицы в момент
определяется хорошо известным в теории массового обслуживания соотношением
,
- скачки блуждания,
. Если скачки блуждания
независимы и одинаково распределены, то распределение величины
совпадает с распределением
(могу врать на единичку в каких-нибудь индексах), где
. Т.е. с распределением
- максимум последовательных сумм. Подробнее об этом см., например, "ТВ" А.А.Боровкова, параграф 4 гл. 11.
В свою очередь, распределение супремума первых
сумм для полунепрерывного сверху случайного блуждания (а наше такое и есть) ищется с помощью двойственных соотношений между
и моментом
первого выхода блуждания
на уровень
. Эти двойственные соотношения
следуют из тождества Поллачека - Спитцера. Подробнее об этом там же, параграф 8.
Вероятность в правой части считается по формуле Бернулли для соответствующих
, по ней находится
, а дальше распределение максимума первых
сумм ищется как
.