Boundedness of one-dimensional branching Markov processes (Q1379920)

Summary: A general model of a branching Markov process on \(\mathbb{R}\) is considered. Sufficient and necessary conditions are given for the random variable \(M=\sup_{t\geq 0} \max_{1 \leq k\leq N(t)} \Xi_k(t)\) to be finite. Here \(\Xi_k(t)\) is the position of the \(k\)th particle, and \(N(t)\) is the size of the population at time \(t\). For some classes of processes (smooth branching diffusions with Feller-type boundary points), this results in a criterion stated in terms of the linear ODE \[ {\sigma^2(x) \over 2} f''(x)+ a(x)f'(x) =\lambda(x) \bigl(1-\kappa(x) \bigr) f(x). \] Here \(\sigma(x)\) and \(a(x)\) are the diffusion coefficient and the drift of the one-particle diffusion, respectively, and \(\lambda(x)\) and \(\kappa(x)\) are the intensity of branching and the expected number of offspring at point \(x\), respectively. Similarly, for branching jump Markov processes the conditions are expressed in terms of the relations between the integral \(\mu(x) \int\pi (x,dy) (f(y)- f(x))\) and the product \(\lambda(x) (1-\kappa (x))f(x)\), where \(\lambda (x)\) and \(\kappa(x)\) are as before, \(\mu(x)\) is the intensity of jumping at point \(x\), and \(\pi(x,dy)\) is the distribution of the jump from \(x\) to \(y\).