Факторизационное тождество

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Факторизационное тождество- тождество, определяющее свойство характеристической функции совместных распределений случайной величины, времени первого достижения нулевого уровня, первой неотрицательной суммы, времени достижения нулевого уровня, первой неположительной суммы.

Формулировка

Для характеристической функции совместных распределений случайной величины, времени первого достижения нулевого уровня, первой неотрицательной суммы, времени достижения нулевого уровня, первой неположительной суммы при [math]\displaystyle{ |z|\lt 1 }[/math] , [math]\displaystyle{ Im \lambda = 0 }[/math] справедливо тождество: [math]\displaystyle{ 1-z\phi(\lambda)=[1-M(e^{i\lambda\chi_{+}^{0}}z^{\eta_{+}^{0}}); \eta_{+}^{0}\lt \infty]D^{-1}(z)[1-M(e^{i\lambda\chi_{-}^{0}}z^{\eta_{-}^{0}}); \eta_{-}^{0}\lt \infty] }[/math], где [math]\displaystyle{ D(z)=1 - M(z^{\eta_{+}^{0}}); \chi_{+}^{0} = 0, \eta_{+}^{0}\lt \infty) = 1 - M(z^{\eta_{-}^{0}}); \chi_{-}^{0} = 0, \eta_{-}^{0}\lt \infty) }[/math].

Пояснения

В формулировке теоремы [math]\displaystyle{ \phi(\lambda)=\phi_{\xi}(\lambda)=Me^{i\lambda\xi} }[/math] - характеристическая функция последовательности [math]\displaystyle{ \mathcal{f} \xi_{k} \mathcal{g} }[/math] независимых одинаково распределённых случайных величин. Обозначим [math]\displaystyle{ S_{n}=\sum_{k=1}^{n}\xi_{k}, S_{0}=0 }[/math]. Случайная величина [math]\displaystyle{ \eta_{+}^{0}=min \mathcal{f} k \geqslant 1: S_{k} \geqslant 0 \mathcal{g} }[/math] есть время первого достижения нулевого уровня. Определим [math]\displaystyle{ \chi_{+}^{0}=S_{\eta_{+}^{0}} }[/math] как первую неотрицательную сумму. Случайная величина [math]\displaystyle{ \eta_{-}^{0}=min \mathcal{f} k \geqslant 1: S_{k} \leqslant 0 \mathcal{g} }[/math] есть время достижения нулевого уровня. Определим [math]\displaystyle{ \chi_{-}^{0}=S_{\eta_{-}^{0}} }[/math] как первую неположительную сумму.

Литература

  • Боровков А. А. Курс теории вероятностей. — М.: Наука, 1972. — С. 165. — 287 с.