Local properties for $1$-dimensional critical branching Lévy process

Haojie Hou,Yan-Xia Ren,Renming Song
2024-10-14
Abstract:Consider a one dimensional critical branching Lévy process $((Z_t)_{t\geq 0}, \mathbb {P}_x)$. Assume that the offspring distribution either has finite second moment or belongs to the domain of attraction to some $\alpha$-stable distribution with $\alpha\in (1, 2)$, and that the underlying Lévy process $(\xi_t)_{t\geq 0}$ is non-lattice and has finite $2+\delta^*$ moment for some $\delta^*>0$. We first prove that $$t^{\frac{1}{\alpha-1}}\left(1- \mathbb{E}_{\sqrt{t}y}\left(\exp\left\{-\frac{1}{t^{\frac{1}{\alpha-1}-\frac{1}{2}}}\int h(x) Z_t(\mathrm{d}x) -\frac{1}{t^{\frac{1}{\alpha-1}}} \int g\left(\frac{x}{\sqrt{t}}\right)Z_t(\mathrm{d}x)\right\}\right)\right)$$ converges as $t\to\infty$ for any non-negative bounded Lipschtitz function $g$ and any non-negative directly Riemann integrable function $h$ of compact support. Then for any $y\in \R$ and bounded Borel set of positive Lebesgue measure with its boundary having zero Lebesgue measure, under a higher moment condition on $\xi$, we find the decay rate of the probability $\mathbb {P}_{\sqrt{t}y}(Z_t(A)>0)$. As an application, we prove some convergence results for $Z_t$ under the conditional law $\mathbb {P}_{\sqrt{t}y}(\cdot| Z_t(A)>0).$
Probability
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the asymptotic behavior of one - dimensional critical branching Lévy processes under certain conditions. Specifically, the author focuses on how to describe the local properties of these processes when the branching distribution satisfies certain conditions (such as having a finite second - order moment or belonging to the domain of attraction of some α - stable distribution), and the underlying Lévy process is non - lattice and has a finite 2 + δ* moment. ### Main problem decomposition 1. **Convergence of asymptotic behavior**: - The paper first proves a convergence result in the form of an exponential function of expectation under the scale of \( t^{1/\alpha - 1} \). For any non - negative bounded Lipschitz function \( g \) and any non - negative directly Riemann - integrable compactly - supported function \( h \), the author shows the existence of the following limit: \[ \lim_{t \to \infty} t^{1/\alpha - 1} \left( 1 - E_{\sqrt{t}y} \left( \exp \left\{ -\frac{1}{t^{1/\alpha - 1}} \int h(x) Z_t(dx) - \frac{1}{t^{1/\alpha - 1}} \int g\left(\frac{x}{\sqrt{t}}\right) Z_t(dx) \right\} \right) \right) = -\log E_{\delta_y} \left( \exp \left\{ -\ell(h) Y_1(0) - X_1(g) \right\} \right). \] 2. **Decay rate of survival probability**: - For any real number \( y \) and a bounded Borel set \( A \) with positive Lebesgue measure and zero boundary Lebesgue measure, under higher - moment conditions, the author finds the decay rate of \( P_{\sqrt{t}y}(Z_t(A)>0) \): \[ \lim_{t \to \infty} t^{1/\alpha - 1} P_{\sqrt{t}y}(Z_t(A)>0) = -\log P_{\delta_y}(Y_1(0) = 0). \] 3. **Convergence of conditional distributions**: - As an application of the above results, the author also proves some convergence results of \( Z_t \) under the condition \( Z_t(A)>0 \). Specifically, they show the weak convergence and convergence in the vague topology of \( Z_t \) at different scales. ### Key assumptions - **Branching distribution assumption (H1)**: The branching distribution belongs to the domain of attraction of some α - stable distribution or has a finite second - order moment. - **Lévy process assumptions (H2)-(H4')**: Conditions on the expectation, variance, and higher - order moments of the underlying Lévy process to ensure its non - lattice property and the existence of appropriate moments. Through these studies, the paper fills the gap in high - dimensional similar results for one - dimensional critical branching Lévy processes and reveals the different impacts of branching mechanisms and spatial movements in different dimensions.