Clément Lamoureux | arXiv Science

arXiv2026

On conservativity of multitype continuous-state branching processes

In [4], Grey gives a condition on the branching mechanism $ψ$ of a continuous- state branching process Z ensuring that the process is conservative. This condition is obtained from the expression of the solution of the differential equation satisfied by the Laplace exponent of Z. In higher dimensions, it is generally no longer possible to make this solution explicit and very few conditions ensuring the conservativity of the process are known. In this paper, we provide necessary conditions and sufficient conditions for conservativity. For dimension 2, when types cannot regenerate themselves, we give a necessary and sufficient condition and we invert the Lamperti representation of the multitype branching process.

math.PR↗

arXiv2025

Explosion speed of continuous state branching processes indexed by the Esscher transform

A branching process $Z$ is said to be non conservative if it hits $\infty$ in a finite time with positive probability. It is well known that this happens if and only if the branching mechanism $φ$ of $Z$ satisfies $\int_{0+}dλ/|φ(λ)|<\infty$. We construct on the same probability space a family of conservative continuous state branching processes $Z^{(\varepsilon)}$, $\varepsilon\ge0$, each process $Z^{(\varepsilon)}$ having $φ^{(\varepsilon)}(λ)=φ(λ+\varepsilon)-φ(\varepsilon)$ as branching mechanism, and such that the family $Z^{(\varepsilon)}$, $\varepsilon\ge0$ converges a.s.~to $Z$, as $\varepsilon\rightarrow0$. Then we study the speed of convergence of $Z^{(\varepsilon)}$, when $\varepsilon\rightarrow0$, referred to here as the explosion speed. More specifically, we characterize the functions $f$ with $\lim_{\varepsilon\rightarrow0} f(\varepsilon)=\infty$ and such that the first passage times $σ_\varepsilon=\inf\{t:Z^{(\varepsilon)}_t\ge f(\varepsilon)\}$ converge toward the explosion time of $Z$. Necessary and sufficient conditions are obtained for the weak convergence and convergence in $L^1$. Then we give a sufficient condition for the almost sure convergence.

math.PR↗