Прошу прощения за нерусское заглавие - русских терминов аналогичных не знаю. Для Марковского процесса в дискретном времени стоит задача
![$$
\mathsf E_x[\tau_A]
$$ $$
\mathsf E_x[\tau_A]
$$](https://dxdy-03.korotkov.co.uk/f/2/4/a/24a927c14481726f6ae2345d5c2b7ce182.png)
Задача чего? Вычисления указанного математического ожидания?
Может, конечно, я чего-то не понимаю... Ну, допустим, перед нами самый простой марковский процесс - случайное блуждание, порождённое независимыми и одинаково распределёнными случайными величинами. Допустим, перед нами самое простое множество, которого мы собираемся достичь: положительная полуось. Всё, что можно в этой ситуации выписать про распределение или про математическое ожидание времени первого достижения - это разные соотношения типа двойных производящих функций (факторизационные теоремы) или тождества Вальда, причём и в том, и в другом завязано вместе с

ещё и положение блуждания в момент

. Ну ещё можно сформулировать условия, при которых время первого достижения является собственным (п.н. конечным). А какие-то явные формулы для распределений/математических ожиданий возможны только в исключительных случаях, типа показательных хвостов, симметричных блужданий, полунепрерывных снизу-сверху блужданий, да и всё.
А мы хотим для произвольного однородного марковского процесса и произвольного множества

получить матожидание времени первого достижения? Или мы хотим чего-то другого?
-- Чт окт 06, 2011 00:45:37 --То есть события

для разных

независимы? Тогда это очень просто, и собственно процессы тут ни при чем, смотрите геометрическое распределение.
Зависимы. То, что ТС назвал "независимостью от времени", по-русски (да и на прочих языках тоже) принято называть однородностью по времени: переходное ядро

от

не зависит.