In a discrete-time single-type Galton--Watson branching random walk {Zn, ζn}n≤ 0, where Zn is the population of the nth generation and ζn is a collection of the positions on ℝ of the Zn individuals in the nth generation, let Yn be the position of a randomly chosen individual from the nth generation and Zn(x) be the number of points in ζn that are less than or equal to x for x∈ℝ. In this paper we show in the explosive case (i.e. m=E(Z1∣ Z0=1)=∞) when the offspring distribution is in the domain of attraction of a stable law of order α,0 <α<1, that the sequence of random functions {Zn(x)/Zn:−∞<x<∞} converges in the finite-dimensional sense to {δx:−∞<x<∞}, where δx≡ 1{N≤ x} and N is an N(0,1) random variable.

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.

Let denote the simple branching process with Z0 = 1 and let G denote the distribution function of Z1. Suppose G satisfies x−α−γ(x)≦1 − G(x) ≦ x−α+γ(x) for large x, where (i) 0 < α < 1, (ii) γ (x) is non-negative and non-increasing, (iii) xγ(x) is non-decreasing and (iv) Then limn→∞α n log (Zn + 1) converges almost surely to a non-degenerate finite random variable W satisfying P(W = 0) = q = probability of extinction of the process.

It is known that for a Bienaymé– Galton–Watson process {Zn} whose mean m satisfies 1 < m < ∞, the limiting random variable in the strong limit theorem can be represented as a random sum of i.i.d. random variables and hence that convergence rate results follow from a random sum central limit theorem.

This paper develops an analogous theory for the case m = ∞ which replaces ‘sum' by ‘maximum'. In particular we obtain convergence rate results involving a limiting extreme value distribution. An associated estimation problem is considered.

We consider the Bienaymé–Galton–Watson process without and with immigration, and with offspring distribution having infinite mean. For such a process, {Zn} say, conditions are given ensuring that there exists a sequence of positive constants, {ρn}, such that {ρnU(Zn + 1)} converges almost surely to a proper non-degenerate random variable, where U is a function slowly varying at infinity, defined on [1, ∞), continuous and strictly increasing, with U(1) = 0, U(∞) = ∞. These results subsume earlier ones with U(t) = log t.

If {Zn} is a Galton–Watson branching process with infinite mean, it is shown that under certain conditions there exist constants {cn} and a function L, slowly varying at 0, such that converges almost surely to a non-degenerate random variable, whose distribution function satisfies a certain functional equation. The method is then extended to a continuous-time Markov branching process {Zt} with infinite mean, where it is shown that there is always a function φ, slowly varying at 0, such that converges almost surely to a non-degenerate random variable, and a necessary and sufficient condition is given for this convergence to be equivalent to convergence of for some constant α > 0.

It is demonstrated for the non-critical and the explosive cases of the simple Bienaymé-Galton-Watson (B. G. W.) process (with and without immigration) that there exists a natural and intimate connection between regularly varying function theory and the asymptotic structure of the limit laws and corresponding norming constants. A similar fact had been demonstrated in connection with their invariant measures in [22]. This earlier study is complemented here by a similar analysis of the process where immigration occurs only at points of “emptiness” of the B. G. W. process.

The simple branching process {Zn} with mean number of offspring per individual infinite, is considered. Conditions under which there exists a sequence {pn} of positive constants such that pn log (1 +Zn) converges in law to a proper limit distribution are given, as is a supplementary condition necessary and sufficient for pn~ constant cn as n→∞, where 0 < c < 1 is a number characteristic of the process. Some properties of the limiting distribution function are discussed; while others (with additional results) are deferred to a sequel.