Branching processes $(Z_n)_{n \ge 0}$ in a varying environment generalize the Galton–Watson process, in that they allow time dependence of the offspring distribution. Our main results concern general criteria for almost sure extinction, square integrability of the martingale $(Z_n/\mathrm E[Z_n])_{n \ge 0}$, properties of the martingale limit W and a Yaglom-type result stating convergence to an exponential limit distribution of the suitably normalized population size $Z_n$, conditioned on the event $Z_n \gt 0$. The theorems generalize/unify diverse results from the literature and lead to a classification of the processes.

The Kesten-Stigum theorem for the one-type Galton-Watson process gives necessary and sufficient conditions for mean convergence of the martingale formed by the population size normed by its expectation. Here, the approach to this theorem pioneered by Lyons, Pemantle and Peres (1995) is extended to certain kinds of martingales defined for Galton-Watson processes with a general type space. Many examples satisfy stochastic domination conditions on the offspring distributions and suitable domination conditions combine nicely with general conditions for mean convergence to produce moment conditions, like the X log X condition of the Kesten-Stigum theorem. A general treatment of this phenomenon is given. The application of the approach to various branching processes is indicated. However, the main reason for developing the theory is to obtain martingale convergence results in a branching random walk that do not seem readily accessible with other techniques. These results, which are natural extensions of known results for martingales associated with binary branching Brownian motion, form the main application.

A curious connection exists between the theory of optimal stopping for independent random variables, and branching processes. In particular, for the branching process Zn with offspring distribution Y, there exists a random variable X such that the probability P(Zn = 0) of extinction of the nth generation in the branching process equals the value obtained by optimally stopping the sequence X1,…, Xn, where these variables are i.i.d. distributed as X. Generalizations to the inhomogeneous and infinite horizon cases are also considered. This correspondence furnishes a simple ‘stopping rule’ method for computing various characteristics of branching processes, including rates of convergence of the nth generation's extinction probability to the eventual extinction probability, for the supercritical, critical and subcritical Galton-Watson process. Examples, bounds, further generalizations and a connection to classical prophet inequalities are presented. Throughout, the aim is to show how this unexpected connection can be used to translate methods from one area of applied probability to another, rather than to provide the most general results.

Conditions are derived for the components of the normed limit of a multi-type branching process with varying environments, to be continuous on (0, ∞). The main tool is an inequality for the concentration function of sums of independent random variables, due originally to Petrov. Using this, we show that if there is a discontinuity present, then a particular linear combination of the population types must converge to a non-random constant (Equation (1)). Ensuring this can not happen provides the desired continuity conditions.

The multitype age-dependent branching process in varying environment is treated as a random stream (point process) of the birth and death events. We derive the point-process version of the Bellman–Harris equation, which provides us with a symbolic method of writing the equations for the arbitrary finite-dimensional distribution of the process. We also derive a new recurrence relation, the ‘principle of last generation'. This result is applied to obtain new moment equations for the process with immigration also. General considerations are illustrated by a simple cell kinetics model.

A Borel–Cantelli-type property in terms of one-step transition probabilities is given for events like {|Xn+1| > a + ε, |Xn|≦a}, a and ε being two positive numbers. Applications to normed sums of i.i.d. random variables with infinite mean and branching processes in varying environment with or without immigration are derived.

Conditions for the non-sure extinction of Galton-Watson processes with generation dependence are obtained. Also a condition is given for such processes to have a strictly increasing probability generating function.

The limiting behavior of the probability of extinction of critical generation-dependent branching processes is determined. Lower bounds are determined for this probability. A means of classifying these branching processes is suggested.

Bounds are derived for the probability of extinction by the nth generation for a branching process in a varying environment. From these bounds, necessary and sufficient conditions are established for such a process to become extinct with probability one. The extinction time of a random environment branching process in which the environmental random variables are independent but not necessarily identically distributed is stochastically bounded by the extinction times of two varying environment processes.