A note on degenerate diffusion processes

Доказывается, что диффузионный процесс с коэффициентами диффузии $\{a^{ij}(x)\}$ выходит с вероятностью 1 из ограниченной области $D$, если для некоторого $\widetilde x\notin\overline D$
$$\inf_{x\in D}\sum_{i,j}a^{ij}(x)(x-\widetilde x)_i(x-\widetilde x)_j>0.$$
Если $\Sigma_1$, $\Sigma_2$, $\Sigma_3$ определены, как во введении, то $\Sigma_1$ недостижима, a $\Sigma_2\cup\Sigma_3$ состоит из регулярных точек.