Mathematical modelling of the evolution of lineages goes back at least to Yule1 who developed the eponymous Yule process (homogeneous pure birth process) in which speciations occur independently and at random. Yule's model did not include extinctions per se, because he believed that they resulted only from cataclysmic events. This issue was discussed at greater length by Raup2, who distinguished between background and episodic extinctions. Raup started from a homomogeneous birth-and-death process model (in which background extinctions occur, like speciations, independently and at random) for which he presented mathematical results, and described more complex models of extinction including episodic extinctions and a mixture of episodic and background extinctions. However he gave no mathematical results for these models. Stoyan3 considered a time in-homogeneous birth-and death process, in which speciation and background extinction rates varied with time, based on the idea that younger paraclades have higher speciation rates, while older ones have higher background extinction rates.

There has been considerable discussion (e.g. Raup2; Patzkowsky4; Przeworski and Wall5) about the suitability of the null birth-and-death process model (with constant birth and death rates) as a macroevolutionary model of species diversification. In order to truly assess the validity of such a model it is necessary to have a full understanding of its properties which can then be compared with the fossil record. Specifically analysis is needed to generate hypotheses, which can be tested against available data. To date such an analysis is incomplete, relying on the partial analytic results of Raup2 and the simulation results of Patzkowsky4 and Przeworski and Wall5.

Analytic results are clearly superior to simulation ones. In particular with analytic results for the size distribution of a clade one can fit the model via a multinomial likelihood, using observed size distributions, and thence test the adequacy of the underlying birth-and-death model using a statistical goodness-of-fit test. In addition analytic results are preferable to simulation ones, in that it is much easier to interpret a parametric formula than a collection of simulation results; and one does not have to distinguish between sampling variation due to a finite number of runs (noise) and signal.

It is the purpose of this paper to conduct a more thorough analysis of the birth-and-death model than that previosly carried out by Raup2. In particular we obtain results for size distributions of taxa and probabilities of monotypic taxa. In this paper we confine attention to obtaining analytic results and defer actual fitting and testing of the fit, using observed fossil data, to a future paper.

We develop the mathematical model presented by Raup2 (and used in simulations by the above authors) to include the possibility of episodic, cataclysmic extinctions in which complete lineages are destroyed. We consider a hiearchy of models, which can include both cataclysmic and background extinctions of species and examine the resulting size distributions of extinct genera. We start (following section), as did Yule, by considering cataclysmic extinction only. Furthermore like Patzkowsky4 and Przeworski and Wall 5, we assume that at any time an existing species can split, yielding a new species so radically different from existing ones that it becomes the founding member of a new genus. Thus we assume that the probability of a new genus being formed in an infinitesimal interval (t, t + dt) is proportional to the total number of species in existence at time t. We derive results for the size distribution of extinct genera.

In the third and fourth sections we do the same assuming only background extinctions (but no cataclysmic extinction); and both cataclysmic and background extinctions (although the results here are limited). The fifth section is devoted to the distribution of the number of genera derived from the pioneering species and in the final section the probability of a monotypic genus is compared with that of a monogeneric family.

Yule1 considered the evolution of a genus begining with one species at time t = 0, which thenceforth evolves as a homogeneous pure birth process (Yule process) with speciation rate (birth parameter) λ. He then showed that N_t, the number of species alive at time t, follows a geometric distribution with probability mass function (pmf)

p_n(t; 1) = Pr{N_t = n|N₀ = 1} = e^-λt(1 - e^-λt)^{n - 1}     (1)

for n = 1,2,.... If instead there are initially n₀ species then from standard results (e.g. Bailey, 1964) the distribution of N_t is negative binomial with pmf

p n ( t ; n 0 ) = Pr ⁡ { N t = n | N 0 = n 0 } = ( n − 1 n 0 − 1 ) e − λ n 0 t ( 1 − e − λ t ) n − n 0       ( 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGWbaCdaWgaaWcbaGaemOBa4gabeaakiabcIcaOiabdsha0jabcUda7iabd6gaUnaaBaaaleaacqaIWaamaeqaaOGaeiykaKIaeyypa0JagiiuaaLaeiOCaiNaei4EaSNaemOta40aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGUbGBcqGG8baFcqWGobGtdaWgaaWcbaGaeGimaadabeaakiabg2da9iabd6gaUnaaBaaaleaacqaIWaamaeqaaOGaeiyFa0Naeyypa0ZaaeWaaeaafaqabeGabaaabaGaemOBa4MaeyOeI0IaeGymaedabaGaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGHsislcqaIXaqmaaaacaGLOaGaayzkaaGaemyzau2aaWbaaSqabeaacqGHsisliiGacqWF7oaBcqWGUbGBdaWgaaadbaGaeGimaadabeaaliabdsha0baakiabcIcaOiabigdaXiabgkHiTiabdwgaLnaaCaaaleqabaGaeyOeI0Iae83UdWMaemiDaqhaaOGaeiykaKYaaWbaaSqabeaacqWGUbGBcqGHsislcqWGUbGBdaWgaaadbaGaeGimaadabeaaaaGccaWLjaGaaCzcamaabmaabaGaeGOmaidacaGLOaGaayzkaaaaaa@6DE5@

for n = n₀, n₀ + 1,....

We now consider evolution of genera, and of species within genera, over an epoch between cataclysmic events. Let the time origin be the time of the previous cataclysm, and suppose only a single genus (containing n₀ species) survived that cataclysm. Let τ be the time of the succeeding cataclysm. Yule assumed that new genera were formed from old in a process analogous to that of speciation, thereby establishing that the time in existence of any genus would follow a truncated exponential distribution, with parameter equal to the rate at which new genera are formed from old. But it is more realistic to assume that a new genus is formed when a speciation within an existing genus is of such a radical form as to qualify the new species as belonging to a completely new genus. Thus the probabilty of a new genus being formed in an infinitesimal interval (t, t + dt) should be proportional to the existing number of species in all existing genera in the family (and not to the existing number of genera in the family). We let

K_t denote the number of genera at time t, evolved from the pioneeering n₀ species;

L_t denote the number of species at time t in all genera, evolved from the pioneeering n₀ species; and

N_t denote the number of species in the pioneering genus at time t.

We assume that speciations (within a genus) occur at the rate λ and new genera are formed from existing species at the rate γ. Then to order o(dt) the following state transitions (of K_t, L_t, N_t) can occur in (t, t + dt):

(k, l - 1, n - 1) → (k, l, n) with probability λ(n - 1)dt

(k, l - 1, n) → (k, l, n) with probability λ(l - 1 - n)dt

(k - 1, l - 1, n) → (k, l, n) with probability γ(l - 1)dt

(k, l, n) → (k, l, n) with probability 1 - (λ + γ)ldt.

Letting p_{k, l, n}(t) = P(K_t = k, L_t = l, N_t = n), the following differential-difference equations can be established from the above:

d d t p k , l , n ( t ) = λ ( n − 1 ) p k , l − 1 , n − 1 ( t ) + λ ( l − 1 − n ) p k , l − 1 , n ( t ) + γ ( l − 1 ) p k − 1 , l − 1 , n ( t ) − ( λ + γ ) l p k , l , n ( t ) .       ( 3 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeGadaaabaWaaSaaaeaacqWGKbazaeaacqWGKbazcqWG0baDaaGaemiCaa3aaSbaaSqaaiabdUgaRjabcYcaSiabdYgaSjabcYcaSiabd6gaUbqabaGccqGGOaakcqWG0baDcqGGPaqkaeaacqGH9aqpaeaaiiGacqWF7oaBcqGGOaakcqWGUbGBcqGHsislcqaIXaqmcqGGPaqkcqWGWbaCdaWgaaWcbaGaem4AaSMaeiilaWIaemiBaWMaeyOeI0IaeGymaeJaeiilaWIaemOBa4MaeyOeI0IaeGymaedabeaakiabcIcaOiabdsha0jabcMcaPiabgUcaRiab=T7aSjabcIcaOiabdYgaSjabgkHiTiabigdaXiabgkHiTiabd6gaUjabcMcaPiabdchaWnaaBaaaleaacqWGRbWAcqGGSaalcqWGSbaBcqGHsislcqaIXaqmcqGGSaalcqWGUbGBaeqaaOGaeiikaGIaemiDaqNaeiykaKcabaaabaaabaGaey4kaSIae83SdCMaeiikaGIaemiBaWMaeyOeI0IaeGymaeJaeiykaKIaemiCaa3aaSbaaSqaaiabdUgaRjabgkHiTiabigdaXiabcYcaSiabdYgaSjabgkHiTiabigdaXiabcYcaSiabd6gaUbqabaGccqGGOaakcqWG0baDcqGGPaqkcqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWGSbaBcqWGWbaCdaWgaaWcbaGaem4AaSMaeiilaWIaemiBaWMaeiilaWIaemOBa4gabeaakiabcIcaOiabdsha0jabcMcaPiabc6caUaaacaWLjaGaaCzcamaabmaabaGaeG4mamdacaGLOaGaayzkaaaaaa@954A@

Using the generating function

Φ ( x , y , z ; t ) = ∑ k = 1 ∞ ∑ l = 1 ∞ ∑ n = 1 ∞ p k , l , n ( t ) x k y l z n ,       ( 4 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHMoGrcqGGOaakcqWG4baEcqGGSaalcqWG5bqEcqGGSaalcqWG6bGEcqGG7aWocqWG0baDcqGGPaqkcqGH9aqpdaaeWbqaamaaqahabaWaaabCaeaacqWGWbaCdaWgaaWcbaGaem4AaSMaeiilaWIaemiBaWMaeiilaWIaemOBa4gabeaaaeaacqWGUbGBcqGH9aqpcqaIXaqmaeaacqGHEisPa0GaeyyeIuoakiabcIcaOiabdsha0jabcMcaPiabdIha4naaCaaaleqabaGaem4AaSgaaOGaemyEaK3aaWbaaSqabeaacqWGSbaBaaGccqWG6bGEdaahaaWcbeqaaiabd6gaUbaaaeaacqWGSbaBcqGH9aqpcqaIXaqmaeaacqGHEisPa0GaeyyeIuoaaSqaaiabdUgaRjabg2da9iabigdaXaqaaiabg6HiLcqdcqGHris5aOGaeiilaWIaaCzcaiaaxMaadaqadaqaaiabisda0aGaayjkaiaawMcaaaaa@670D@

multiplying (3) by x^ky^lzⁿ and summing yields the following partial differential equation

Φ_t = y(λy + γxy - (λ + γ)) Φ_y + λyz(z - 1) Φ_z,     (5)

which can be solved by the method of characteristics (e.g. Bailey,6) with initial condition ϕ(x, y, z; 0) = xyn0zn0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWG4baEcqWG5bqEdaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaakiabdQha6naaCaaaleqabaGaemOBa42aaSbaaWqaaiabicdaWaqabaaaaaaa@3681@. From the solution the generating functions of K_t, L_t and N_t can be derived. They are

Φ K ( x , t ) = E ( x K t ) = x { p ( t ) 1 − x [ 1 − p ( t ) ] } n 0 ,       ( 6 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHMoGrdaWgaaWcbaGaem4saSeabeaakiabcIcaOiabdIha4jabcYcaSiabdsha0jabcMcaPiabg2da9iabdweafjabcIcaOiabdIha4naaCaaaleqabaGaem4saS0aaSbaaWqaaiabdsha0bqabaaaaOGaeiykaKIaeyypa0JaemiEaG3aaiWabeaadaWcaaqaaiabdchaWjabcIcaOiabdsha0jabcMcaPaqaaiabigdaXiabgkHiTiabdIha4jabcUfaBjabigdaXiabgkHiTiabdchaWjabcIcaOiabdsha0jabcMcaPiabc2faDbaaaiaawUhacaGL9baadaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaakiabcYcaSiaaxMaacaWLjaWaaeWaaeaacqaI2aGnaiaawIcacaGLPaaaaaa@5A19@

Φ L ( y , t ) = E ( y L t ) = { y e − ( λ + γ ) t 1 − y [ 1 − e − ( λ + γ ) t ] } n 0 ,       ( 7 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHMoGrdaWgaaWcbaGaemitaWeabeaakiabcIcaOiabdMha5jabcYcaSiabdsha0jabcMcaPiabg2da9iabdweafjabcIcaOiabdMha5naaCaaaleqabaGaemitaW0aaSbaaWqaaiabdsha0bqabaaaaOGaeiykaKIaeyypa0ZaaiWabeaadaWcaaqaaiabdMha5jabdwgaLnaaCaaaleqabaGaeyOeI0IaeiikaGccciGae83UdWMaey4kaSIae83SdCMaeiykaKIaemiDaqhaaaGcbaGaeGymaeJaeyOeI0IaemyEaKNaei4waSLaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWG0baDaaGccqGGDbqxaaaacaGL7bGaayzFaaWaaWbaaSqabeaacqWGUbGBdaWgaaadbaGaeGimaadabeaaaaGccqGGSaalcaWLjaGaaCzcamaabmaabaGaeG4naCdacaGLOaGaayzkaaaaaa@64B5@

Φ N ( z , t ) = E ( z N t ) = { z e − λ t 1 − z ( 1 − e − λ t ) } n 0 ,       ( 8 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHMoGrdaWgaaWcbaGaemOta4eabeaakiabcIcaOiabdQha6jabcYcaSiabdsha0jabcMcaPiabg2da9iabdweafjabcIcaOiabdQha6naaCaaaleqabaGaemOta40aaSbaaWqaaiabdsha0bqabaaaaOGaeiykaKIaeyypa0ZaaiWabeaadaWcaaqaaiabdQha6jabdwgaLnaaCaaaleqabaGaeyOeI0ccciGae83UdWMaemiDaqhaaaGcbaGaeGymaeJaeyOeI0IaemOEaONaeiikaGIaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqWF7oaBcqWG0baDaaGccqGGPaqkaaaacaGL7bGaayzFaaWaaWbaaSqabeaacqWGUbGBdaWgaaadbaGaeGimaadabeaaaaGccqGGSaalcaWLjaGaaCzcamaabmaabaGaeGioaGdacaGLOaGaayzkaaaaaa@5B8D@

where

p ( t ) = ( λ + γ ) e − ( λ + γ ) t γ + λ e − ( λ + γ ) t .       ( 9 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGWbaCcqGGOaakcqWG0baDcqGGPaqkcqGH9aqpdaWcaaqaaiabcIcaOGGaciab=T7aSjabgUcaRiab=n7aNjabcMcaPiabdwgaLnaaCaaaleqabaGaeyOeI0IaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKIaemiDaqhaaaGcbaGae83SdCMaey4kaSIae83UdWMaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWG0baDaaaaaOGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabiMda5aGaayjkaiaawMcaaaaa@54BD@

From this it is clear that both the total number of species, L_t, and the number of species in the pioneering genus, N_t, have negative binomial distributions (with parameters n₀ and e^{-(λ+ γ)t} and n₀ and e^-λt respectively); while the number of genera K_t has a distribution related to the negative binomial – precisely K_t + n₀ - 1 has a negative binomial distribution with parameters n₀ and p(t). The expected number of genera at time t is

E ( K t ) = 1 + n 0 γ λ + γ [ e ( λ + γ ) t − 1 ] .       ( 10 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaieaacqWFfbqrcqGGOaakcqWGlbWsdaWgaaWcbaGaemiDaqhabeaakiabcMcaPiabg2da9iabigdaXiabgUcaRmaalaaabaGaemOBa42aaSbaaSqaaiabicdaWaqabaacciGccqGFZoWzaeaacqGF7oaBcqGHRaWkcqGFZoWzaaWaamWaaeaacqWGLbqzdaahaaWcbeqaaiabcIcaOiab+T7aSjabgUcaRiab+n7aNjabcMcaPiabdsha0baakiabgkHiTiabigdaXaGaay5waiaaw2faaiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaIWaamaiaawIcacaGLPaaaaaa@4FC7@

It can be shown (see Appendix) that the times of formation of derived genera constitute an order statistic process. This means that they can be considered as the order statisics of a collection of independent, identically distributed (iid) random variables. From this it is shown that at any fixed time τ, the times t₁, t₂,...,t_k that the derived genera have been in existence are iid random variables with probability density function (pdf)

f k ( t ) = ( λ + γ ) e − ( λ + γ ) t 1 − e − ( λ + γ ) τ , 0 < t < τ .       ( 11 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemOzay2aaSbaaSqaaiabdUgaRbqabaGccqGGOaakcqWG0baDcqGGPaqkcqGH9aqpdaWcaaqaaiabcIcaOGGaciab=T7aSjabgUcaRiab=n7aNjabcMcaPiabdwgaLnaaCaaaleqabaGaeyOeI0IaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKIaemiDaqhaaaGcbaGaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWFepaDaaaaaOGaeiilaWcabaGaeGimaaJaeyipaWJaemiDaqNaeyipaWJae8hXdqhaaiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaIXaqmaiaawIcacaGLPaaaaaa@5C2B@

By summing (3) over k and l one can show that N_t is a pure birth process with birthrate λ; and by summing over k and n that L_t is a pure birth process with birthrate λ + γ. From the fact that a pure birth process is an order statistic process it can be shown (see Appendix) that at time τ the times since establishment of all non-pioneering species in the pioneering genus are independently distributed random variables, with a truncated exponential distribution with pdf

f N ( t ) = λ   e − λ t 1 − e − λ τ , 0 < t < τ ;       ( 12 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemOzay2aaSbaaSqaaiabd6eaobqabaGccqGGOaakcqWG0baDcqGGPaqkcqGH9aqpdaWcaaqaaGGaciab=T7aSjabbccaGiabdwgaLnaaCaaaleqabaGaeyOeI0Iae83UdWMaemiDaqhaaaGcbaGaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqWF7oaBcqWFepaDaaaaaOGaeiilaWcabaGaeGimaaJaeyipaWJaemiDaqNaeyipaWJae8hXdqNaei4oaSdaaiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaIYaGmaiaawIcacaGLPaaaaaa@5032@

and that the times since establishment of all non-pioneering species in the pioneering family are independently distributed random variables, with a truncated exponential distribution with pdf

f L ( t ) = ( λ + γ ) e − ( λ + γ ) t 1 − e − ( λ + γ ) τ , 0 < t < τ .       ( 13 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemOzay2aaSbaaSqaaiabdYeambqabaGccqGGOaakcqWG0baDcqGGPaqkcqGH9aqpdaWcaaqaaiabcIcaOGGaciab=T7aSjabgUcaRiab=n7aNjabcMcaPiabdwgaLnaaCaaaleqabaGaeyOeI0IaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKIaemiDaqhaaaGcbaGaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWFepaDaaaaaOGaeiilaWcabaGaeGimaaJaeyipaWJaemiDaqNaeyipaWJae8hXdqhaaiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaIZaWmaiaawIcacaGLPaaaaaa@5BF1@

Note the fact that f_L(t) ≡ f_K(t) i.e. the marginal distribution of the time since establishment of a derived genus in the family is the same as that of a derived species in the family.

Consider now the case when τ is the time of the first cataclysm since the appearance of the pioneering genus. The size distribution of all derived (non-pioneering) genera at the time of the cataclysm can be obtained by integrating the geometric pmf p_n(t; 1) in (1) with respect to the truncated exponential distribution f_K(t) between 0 and τ. This yields the pmf

q n d e r i v = ∫ 0 τ p n ( t ; 1 ) f K ( t ) d t = 1 + γ / λ 1 + e − ( λ + γ ) τ [ B ( 2 + γ / λ , n ) − B e − λ τ ( 2 + γ / λ , n ) ] ,       ( 14 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeGadaaabaGaemyCae3aa0baaSqaaiabd6gaUbqaaGqaaiab=rgaKjab=vgaLjab=jhaYjab=LgaPjab=zha2baaaOqaaiabg2da9aqaamaapedabaGaemiCaa3aaSbaaSqaaiabd6gaUbqabaGccqGGOaakcqWG0baDcqGG7aWocqaIXaqmcqGGPaqkcqWGMbGzdaWgaaWcbaGaem4saSeabeaakiabcIcaOiabdsha0jabcMcaPiabdsgaKjabdsha0bWcbaGaeGimaadabaacciGae4hXdqhaniabgUIiYdaakeaaaeaacqGH9aqpaeaadaWcaaqaaiabigdaXiabgUcaRiab+n7aNjabc+caViab+T7aSbqaaiabigdaXiabgUcaRiabdwgaLnaaCaaaleqabaGaeyOeI0IaeiikaGIae43UdWMaey4kaSIae43SdCMaeiykaKIae4hXdqhaaaaakiabcUfaBjabdkeacjabcIcaOiabikdaYiabgUcaRiab+n7aNjabc+caViab+T7aSjabcYcaSiabd6gaUjabcMcaPiabgkHiTiabdkeacnaaBaaaleaacqWGLbqzdaahaaadbeqaaiabgkHiTiab+T7aSjab+r8a0baaaSqabaGccqGGOaakcqaIYaGmcqGHRaWkcqGFZoWzcqGGVaWlcqGF7oaBcqGGSaalcqWGUbGBcqGGPaqkcqGGDbqxcqGGSaalaaGaaCzcaiaaxMaadaqadaqaaiabigdaXiabisda0aGaayjkaiaawMcaaaaa@856F@

where

B ( a , b ) = Γ ( a ) Γ ( b ) Γ ( a + b ) , B x ( a , b ) = ∫ 0 x z a − 1 ( 1 − z ) b − 1 d z MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemOqaiKaeiikaGIaemyyaeMaeiilaWIaemOyaiMaeiykaKIaeyypa0ZaaSaaaeaacqqHtoWrcqGGOaakcqWGHbqycqGGPaqkcqqHtoWrcqGGOaakcqWGIbGycqGGPaqkaeaacqqHtoWrcqGGOaakcqWGHbqycqGHRaWkcqWGIbGycqGGPaqkaaGaeiilaWcabaGaemOqai0aaSbaaSqaaiabdIha4bqabaGccqGGOaakcqWGHbqycqGGSaalcqWGIbGycqGGPaqkcqGH9aqpdaWdXaqaaiabdQha6naaCaaaleqabaGaemyyaeMaeyOeI0IaeGymaedaaOGaeiikaGIaeGymaeJaeyOeI0IaemOEaONaeiykaKYaaWbaaSqabeaacqWGIbGycqGHsislcqaIXaqmaaGccqWGKbazcqWG6bGEaSqaaiabicdaWaqaaiabdIha4bqdcqGHRiI8aaaaaaa@61D9@

are the beta function and incomplete beta functions, respectively. Alternatively the term in square brackets can be expressed in terms of the cumulative distribution function (cdf) F(x; a, b) of the beta distribution with parameters a and b leading to

q n d e r i v = ( 1 + γ / λ ) B ( 2 + γ / λ , n ) 1 − e − ( λ + γ ) τ [ 1 − F ( e − λ τ ; 2 + γ / λ , n ) ] .       ( 15 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemOBa4gabaacbaGae8hzaqMae8xzauMae8NCaiNae8xAaKMae8NDayhaaOGaeyypa0ZaaSaaaeaacqGGOaakcqaIXaqmcqGHRaWkiiGacqGFZoWzcqGGVaWlcqGF7oaBcqGGPaqkcqWGcbGqcqGGOaakcqaIYaGmcqGHRaWkcqGFZoWzcqGGVaWlcqGF7oaBcqGGSaalcqWGUbGBcqGGPaqkaeaacqaIXaqmcqGHsislcqWGLbqzdaahaaWcbeqaaiabgkHiTiabcIcaOiab+T7aSjabgUcaRiab+n7aNjabcMcaPiab+r8a0baaaaGcdaWadaqaaiabigdaXiabgkHiTiabdAeagjabcIcaOiabdwgaLnaaCaaaleqabaGaeyOeI0Iae43UdWMae4hXdqhaaOGaei4oaSJaeGOmaiJaey4kaSIae43SdCMaei4la8Iae43UdWMaeiilaWIaemOBa4MaeiykaKcacaGLBbGaayzxaaGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabigdaXiabiwda1aGaayjkaiaawMcaaaaa@71C6@

This can be readily computed using standard statistical software.

The distribution of the size of the pioneering genus at time τ has pmf qnpion MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemOBa4gabaacbaGae8hCaaNae8xAaKMae83Ba8Mae8NBa4gaaaaa@3532@ = p_n(τ; n₀) where p_n is negative binomial pmf given by (2). The distribution of the size of all existing genera at time τ is simply a mixture of qnpion MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemOBa4gabaacbaGae8hCaaNae8xAaKMae83Ba8Mae8NBa4gaaaaa@3532@ and qnderiv MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemOBa4gabaacbaGae8hzaqMae8xzauMae8NCaiNae8xAaKMae8NDayhaaaaa@367F@. Precisely

q n = π K ( τ ) q n p i o n + [ 1 − π K ( τ ) ] q n d e r i v ,       ( 16 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaWgaaWcbaGaemOBa4gabeaakiabg2da9GGaciab=b8aWnaaBaaaleaacqWGlbWsaeqaaOGaeiikaGIae8hXdqNaeiykaKIaemyCae3aa0baaSqaaiabd6gaUbqaaGqaaiab+bhaWjab+LgaPjab+9gaVjab+5gaUbaakiabgUcaRiabcUfaBjabigdaXiabgkHiTiab=b8aWnaaBaaaleaacqWGlbWsaeqaaOGaeiikaGIae8hXdqNaeiykaKIaeiyxa0LaemyCae3aa0baaSqaaiabd6gaUbqaaiab+rgaKjab+vgaLjab+jhaYjab+LgaPjab+zha2baakiabcYcaSiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaI2aGnaiaawIcacaGLPaaaaaa@5AF3@

where π_K(τ) is the probability that a genus in existence at time τ is the pioneering genus, i.e.

π K ( τ ) = E ( 1 K τ ) = ∫ 0 1 Φ K ( s , τ ) s d s ,       ( 17 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFapaCdaWgaaWcbaGaem4saSeabeaakiabcIcaOiab=r8a0jabcMcaPiabg2da9Gqaaiab+veafnaabmaabaWaaSaaaeaacqaIXaqmaeaacqWGlbWsdaWgaaWcbaGae8hXdqhabeaaaaaakiaawIcacaGLPaaacqGH9aqpdaWdXaqaamaalaaabaGaeuOPdy0aaSbaaSqaaiabdUealbqabaGccqGGOaakcqWGZbWCcqGGSaalcqWFepaDcqGGPaqkaeaacqWGZbWCaaaaleaacqaIWaamaeaacqaIXaqma0Gaey4kIipakiabdsgaKjabdohaZjabcYcaSiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaI3aWnaiaawIcacaGLPaaaaaa@5271@

which can be evaluated as

π K ( τ ) = ( λ + γ ) e − ( λ + γ ) τ γ [ 1 − e − ( λ + γ ) τ ] log ⁡ ( γ + λ e − ( λ + γ ) τ ( λ + γ ) e − ( λ + γ ) τ ) .       ( 18 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFapaCdaWgaaWcbaGaem4saSeabeaakiabcIcaOiab=r8a0jabcMcaPiabg2da9maalaaabaGaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKIaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWFepaDaaaakeaacqWFZoWzcqGGBbWwcqaIXaqmcqGHsislcqWGLbqzdaahaaWcbeqaaiabgkHiTiabcIcaOiab=T7aSjabgUcaRiab=n7aNjabcMcaPiab=r8a0baakiabc2faDbaacyGGSbaBcqGGVbWBcqGGNbWzdaqadaqaamaalaaabaGae83SdCMaey4kaSIae83UdWMaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWFepaDaaaakeaacqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWGLbqzdaahaaWcbeqaaiabgkHiTiabcIcaOiab=T7aSjabgUcaRiab=n7aNjabcMcaPiab=r8a0baaaaaakiaawIcacaGLPaaacqGGUaGlcaWLjaGaaCzcamaabmaabaGaeGymaeJaeGioaGdacaGLOaGaayzkaaaaaa@7E0F@

Note that as τ → ∞, π_K(τ) → 0 and

q n → ( γ / λ + 1 ) Γ ( γ / λ + 2 ) Γ ( n ) Γ ( γ / λ + n + 2 ) .       ( 19 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaWgaaWcbaGaemOBa4gabeaakiabgkziUoaalaaabaGaeiikaGccciGae83SdCMaei4la8Iae83UdWMaey4kaSIaeGymaeJaeiykaKIaeu4KdCKaeiikaGIae83SdCMaei4la8Iae83UdWMaey4kaSIaeGOmaiJaeiykaKIaeu4KdCKaeiikaGIaemOBa4MaeiykaKcabaGaeu4KdCKaeiikaGIae83SdCMaei4la8Iae83UdWMaey4kaSIaemOBa4Maey4kaSIaeGOmaiJaeiykaKcaaiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaIXaqmcqaI5aqoaiaawIcacaGLPaaaaaa@5827@

This distribution was obtained by Yule1 and is now known as the Yule distribution; for this distribution q_n behaves asymptotically like a power-law, i.e.,

q_n ~ (γ/λ + 1)Γ(γ/λ + 2) × n^{-(2 + γ/λ)}

as n → ∞, yielding the asymptotic straight line when q_n is plotted against n on logarithmic axes. We note in passing that setting γ = 0 in (19) does not yield the size distribution (as τ → ∞) of a single genus, since when γ = 0, π_K ≡ 1. In this case N_τ → ∞ with probability one.

Figure 1 shows the size distribution of pioneering and derived genera, along with the mixed distribution of all genera, calculated from the above formulae, for different values of n₀ and τ. They show how the results of Yule 1 need to be modified to take into account the effects of: (a) the evolution of new genera ; (b) pioneering genera of size (n₀) greater than one; and (c) the time, τ, until cataclysmic extinction. Large values of τ (right-hand panels), resulting in straight-line plots on the log-log scale, correspond most closely to the situation considered initially by Yule. In this case approximate power-law (fractal) distributions occur. The deviations from such a power-law distribution are greatest when cataclysmic extinction occurs earlier (smaller τ) and when the number of species in the pioneering genus (n₀) differs greatly from one (lower panels). The distribution of derived genera (dotted lines) is unaffected by the initial size (n₀) of the pioneering genus. However the overall size distribution is affected (especially at values immediately above n₀) because of the fact that the pioneering genus size has support on {n₀, n₀ + 1,...} while that of derived genera is on {1, 2,...}. This effect becomes less important when a long time elapses before the cataclysmic extinction event (because when τ is large, π_K(τ) is small–derived genera will in probability outnumber the pioneering one).

In this section we consider the size distribution of a fossil genus, starting with a single species (the case of a genus beginning with n₀ species is considered later in this section), subject to speciations at rate λ and background (individual) extinctions occurring independently and at random, at rate μ.

Thus N_t, the number of species alive t time units after the origin of the genus, follows a homogeneous birth and death process. Let M_t denote the total number of species in the genus that have existed by time t (i.e. M_t = 1 + number of speciations). The size of an extinct genus is a random variable M_T, where T itself is a random variable, denoting the time of extinction. Since no speciations can occur in a genus once it is extinct, we have that for t ≥ T, M_t ≡ M_T. However T may not be finite (N_t > 0 for all t). Thus finding the distribution of the size of an extinct genus will involve conditioning on T < ∞ (or N_∞ = 0). Clearly it is given by the distribution of M_∞ conditional on N_∞ = 0.

Now let

p_{m, n}(t) = Pr(M_t = m, N_t = n).     (20)

It was shown by Kendall7 that p_{m, n} satisfies the differential-difference equations

d d t p m , n ( t ) = − ( λ + μ ) n p m , n ( t ) + λ ( n − 1 ) p m − 1 , n − 1 ( t ) + μ ( n + 1 ) p m , n + 1 ( t )       ( 21 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiabdsgaKbqaaiabdsgaKjabdsha0baacqWGWbaCdaWgaaWcbaGaemyBa0MaeiilaWIaemOBa4gabeaakiabcIcaOiabdsha0jabcMcaPiabg2da9iabgkHiTiabcIcaOGGaciab=T7aSjabgUcaRiab=X7aTjabcMcaPiabd6gaUjabdchaWnaaBaaaleaacqWGTbqBcqGGSaalcqWGUbGBaeqaaOGaeiikaGIaemiDaqNaeiykaKIaey4kaSIae83UdWMaeiikaGIaemOBa4MaeyOeI0IaeGymaeJaeiykaKIaemiCaa3aaSbaaSqaaiabd2gaTjabgkHiTiabigdaXiabcYcaSiabd6gaUjabgkHiTiabigdaXaqabaGccqGGOaakcqWG0baDcqGGPaqkcqGHRaWkcqWF8oqBcqGGOaakcqWGUbGBcqGHRaWkcqaIXaqmcqGGPaqkcqWGWbaCdaWgaaWcbaGaemyBa0MaeiilaWIaemOBa4Maey4kaSIaeGymaedabeaakiabcIcaOiabdsha0jabcMcaPiaaxMaacaWLjaWaaeWaaeaacqaIYaGmcqaIXaqmaiaawIcacaGLPaaaaaa@750B@

with initial condition

p_{m, n}(0) = 1 if m = n = 1; p_{m, n}(0) = 0 otherwise.

Let

Ψ ( s , z ; t ) = ∑ m = 1 ∞ ∑ n = 0 ∞ p m , n ( t ) s m z n       ( 22 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHOoqwcqGGOaakcqWGZbWCcqGGSaalcqWG6bGEcqGG7aWocqWG0baDcqGGPaqkcqGH9aqpdaaeWbqaamaaqahabaGaemiCaa3aaSbaaSqaaiabd2gaTjabcYcaSiabd6gaUbqabaGccqGGOaakcqWG0baDcqGGPaqkcqWGZbWCdaahaaWcbeqaaiabd2gaTbaakiabdQha6naaCaaaleqabaGaemOBa4gaaaqaaiabd6gaUjabg2da9iabicdaWaqaaiabg6HiLcqdcqGHris5aaWcbaGaemyBa0Maeyypa0JaeGymaedabaGaeyOhIukaniabggHiLdGccaWLjaGaaCzcamaabmaabaGaeGOmaiJaeGOmaidacaGLOaGaayzkaaaaaa@5878@

be the generating function for M_t, N_t. Muliplying both sides of (21) by s^m zⁿ and summing over m = l,... ∞; n = 0,...,∞ yields the partial differential equation

Ψ_t = (sz²λ - (λ + μ)z + μ)Ψ_z.     (23)

This equation was derived and solved by Kendall7, using the method of characteristics. The solution is (for λ ≠ μ)

Ψ ( s , z ; t ) = β ( s z − α ) exp ⁡ ( λ α t ) + α ( β − s z ) exp ⁡ ( λ β t ) ( s z − α ) exp ⁡ ( λ α t ) + ( β − s z ) exp ⁡ ( λ β t ) ,       ( 24 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHOoqwcqGGOaakcqWGZbWCcqGGSaalcqWG6bGEcqGG7aWocqWG0baDcqGGPaqkcqGH9aqpdaWcaaqaaGGaciab=j7aIjabcIcaOiabdohaZjabdQha6jabgkHiTiab=f7aHjabcMcaPiGbcwgaLjabcIha4jabcchaWjabcIcaOiab=T7aSjab=f7aHjabdsha0jabcMcaPiabgUcaRiab=f7aHjabcIcaOiab=j7aIjabgkHiTiabdohaZjabdQha6jabcMcaPiGbcwgaLjabcIha4jabcchaWjabcIcaOiab=T7aSjab=j7aIjabdsha0jabcMcaPaqaaiabcIcaOiabdohaZjabdQha6jabgkHiTiab=f7aHjabcMcaPiGbcwgaLjabcIha4jabcchaWjabcIcaOiab=T7aSjab=f7aHjabdsha0jabcMcaPiabgUcaRiabcIcaOiab=j7aIjabgkHiTiabdohaZjabdQha6jabcMcaPiGbcwgaLjabcIha4jabcchaWjabcIcaOiab=T7aSjab=j7aIjabdsha0jabcMcaPaaacqGGSaalcaWLjaGaaCzcamaabmaabaGaeGOmaiJaeGinaqdacaGLOaGaayzkaaaaaa@88F5@

where α = α(s), β = β(s) are the two (positive) roots of the quadratic equation

λx² - (λ + μ)x + μs = 0.     (25)

These roots are distinct for 0 ≤ s ≤ 1, except when λ = μ, where the roots are distinct for 0 ≤ s ≤ 1, but coincide for s = 1. We select β(s) to be the smaller root, so that

β ( s ) = 1 2 { 1 + μ λ − ( 1 + μ λ ) 2 − 4 μ s λ }       ( 26 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWFYoGycqGGOaakcqWGZbWCcqGGPaqkcqGH9aqpdaWcaaqaaiabigdaXaqaaiabikdaYaaadaGadeqaaiabigdaXiabgUcaRmaalaaabaGae8hVd0gabaGae83UdWgaaiabgkHiTmaakaaabaWaaeWaaeaacqaIXaqmcqGHRaWkdaWcaaqaaiab=X7aTbqaaiab=T7aSbaaaiaawIcacaGLPaaadaahaaWcbeqaaiabikdaYaaakiabgkHiTmaalaaabaGaeGinaqJae8hVd0Maem4CamhabaGae83UdWgaaaWcbeaaaOGaay5Eaiaaw2haaiaaxMaacaWLjaWaaeWaaeaacqaIYaGmcqaI2aGnaiaawIcacaGLPaaaaaa@5062@

and note that α(1) = max{λ, μ}/λ, β(1) = min{λ, μ}/λ and λ[α(1) - β(1)] = |λ - μ|.

From (24) the individual generating function ψ_M(s; t) = E(sMt MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaahaaWcbeqaaiabd2eannaaBaaameaacqWG0baDaeqaaaaaaaa@3109@) of M_t (and similarly that of N_t) can be derived. Specifically

Ψ M ( s ; t ) = E ( s M t ) = β ( s − α ) + α ( β − s ) e − λ ( α − β ) t ( s − α ) + ( β − s ) e − λ ( α − β ) t .       ( 27 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHOoqwdaWgaaWcbaGaemyta0eabeaakiabcIcaOiabdohaZjabcUda7iabdsha0jabcMcaPiabg2da9iabdweafjabcIcaOiabdohaZnaaCaaaleqabaGaemyta00aaSbaaWqaaiabdsha0bqabaaaaOGaeiykaKIaeyypa0ZaaSaaaeaaiiGacqWFYoGycqGGOaakcqWGZbWCcqGHsislcqWFXoqycqGGPaqkcqGHRaWkcqWFXoqycqGGOaakcqWFYoGycqGHsislcqWGZbWCcqGGPaqkcqWGLbqzdaahaaWcbeqaaiabgkHiTiab=T7aSjabcIcaOiab=f7aHjabgkHiTiab=j7aIjabcMcaPiabdsha0baaaOqaaiabcIcaOiabdohaZjabgkHiTiab=f7aHjabcMcaPiabgUcaRiabcIcaOiab=j7aIjabgkHiTiabdohaZjabcMcaPiabdwgaLnaaCaaaleqabaGaeyOeI0Iae83UdWMaeiikaGIae8xSdeMaeyOeI0Iae8NSdiMaeiykaKIaemiDaqhaaaaakiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaIYaGmcqaI3aWnaiaawIcacaGLPaaaaaa@768D@

Expanding this in a power-series expansion will yield the size distribution of the number of species which have existed by a finite time t. Simple closed-form expressions are not obtainable, but the expansion can be done numerically for specified parameter values using a computer mathematics program such as Maple VII8. It is easy to show that

E ( M t ) = Ψ ′ M ( 1 ) = 1 + λ λ − μ [ e ( λ − μ ) t − 1 ] .       ( 28 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGnbqtdaWgaaWcbaGaemiDaqhabeaakiabcMcaPiabg2da9iqbfI6azzaafaWaaSbaaSqaaiabd2eanbqabaGccqGGOaakcqaIXaqmcqGGPaqkcqGH9aqpcqaIXaqmcqGHRaWkdaWcaaqaaGGaciab=T7aSbqaaiab=T7aSjabgkHiTiab=X7aTbaadaWadaqaaiabdwgaLnaaCaaaleqabaGaeiikaGIae83UdWMaeyOeI0Iae8hVd0MaeiykaKIaemiDaqhaaOGaeyOeI0IaeGymaedacaGLBbGaayzxaaGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabikdaYiabiIda4aGaayjkaiaawMcaaaaa@5431@

Note that for λ > μ, E(M_t) → ∞ as t → ∞; while for λ <μ, E(M_t) → μ/(μ - λ).

To find the distribution of the size of an extinct genus we consider the distribution of M_t conditional on N(t) = 0. This has generating function Ω(s; t) = E(sMt MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaahaaWcbeqaaiabd2eannaaBaaameaacqWG0baDaeqaaaaaaaa@3109@|N_t = 0) given by

Ω ( s ; t ) = ∑ m = 1 ∞ p r ( M t = m | N t = 0 ) s m = Ψ ( s , 0 ; t ) p r ( N t = 0 ) .       ( 29 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHPoWvcqGGOaakcqWGZbWCcqGG7aWocqWG0baDcqGGPaqkcqGH9aqpdaaeWbqaaGqaaiab=bhaWjab=jhaYjabcIcaOiabd2eannaaBaaaleaacqWG0baDaeqaaOGaeyypa0JaemyBa0MaeiiFaWNaemOta40aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqaIWaamcqGGPaqkcqWGZbWCdaahaaWcbeqaaiabd2gaTbaaaeaacqWGTbqBcqGH9aqpcqaIXaqmaeaacqGHEisPa0GaeyyeIuoakiabg2da9maalaaabaGaeuiQdKLaeiikaGIaem4CamNaeiilaWIaeGimaaJaei4oaSJaemiDaqNaeiykaKcabaGae8hCaaNae8NCaiNaeiikaGIaemOta40aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqaIWaamcqGGPaqkaaGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabikdaYiabiMda5aGaayjkaiaawMcaaaaa@67BC@

The probabilty of extinction by time t in the denominator can be evaluated as Ψ (1, 0; t) (or from standard results on birth and death processes) yielding

Ω ( s ; t ) = [ α β ( 1 − e − λ ( α − β ) t ) α − β e − λ ( α − β ) t ] [ max ⁡ { λ , μ } − min ⁡ { λ , μ } e − | λ − μ | t μ ( 1 − e − | λ − μ | t ) ] ,       ( 30 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHPoWvcqGGOaakcqWGZbWCcqGG7aWocqWG0baDcqGGPaqkcqGH9aqpdaWadaqaamaalaaabaacciGae8xSdeMae8NSdiMaeiikaGIaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqWF7oaBcqGGOaakcqWFXoqycqGHsislcqWFYoGycqGGPaqkcqWG0baDaaGccqGGPaqkaeaacqWFXoqycqWFsislcqWFYoGycqWGLbqzdaahaaWcbeqaaiabgkHiTiab=T7aSjabcIcaOiab=f7aHjabgkHiTiab=j7aIjabcMcaPiabdsha0baaaaaakiaawUfacaGLDbaadaWadaqaamaalaaabaGagiyBa0MaeiyyaeMaeiiEaGNaei4EaSNae83UdWMaeiilaWIae8hVd0MaeiyFa0NaeyOeI0IagiyBa0MaeiyAaKMaeiOBa4Maei4EaSNae83UdWMaeiilaWIae8hVd0MaeiyFa0Naemyzau2aaWbaaSqabeaacqGHsislcqGG8baFcqWF7oaBcqGHsislcqWF8oqBcqGG8baFcqWG0baDaaaakeaacqWF8oqBcqGGOaakcqaIXaqmcqGHsislcqWGLbqzdaahaaWcbeqaaiabgkHiTiabcYha8jab=T7aSjabgkHiTiab=X7aTjabcYha8jabdsha0baakiabcMcaPaaaaiaawUfacaGLDbaacqGGSaalcaWLjaGaaCzcamaabmaabaGaeG4mamJaeGimaadacaGLOaGaayzkaaaaaa@9387@

for λ ≠ μ, and

Ω ( s ; t ) = [ α β ( 1 − e − λ ( α − β ) t ) α − β e − λ ( α − β ) t ] [ λ t + 1 λ t ]       ( 31 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHPoWvcqGGOaakcqWGZbWCcqGG7aWocqWG0baDcqGGPaqkcqGH9aqpdaWadaqaamaalaaabaacciGae8xSdeMae8NSdiMaeiikaGIaeGymaeJaeyOeI0Iaemyzau2aaWbaaSqabeaacqGHsislcqWF7oaBcqGGOaakcqWFXoqycqGHsislcqWFYoGycqGGPaqkcqWG0baDaaGccqGGPaqkaeaacqWFXoqycqWFsislcqWFYoGycqWGLbqzdaahaaWcbeqaaiabgkHiTiab=T7aSjabcIcaOiab=f7aHjabgkHiTiab=j7aIjabcMcaPiabdsha0baaaaaakiaawUfacaGLDbaadaWadaqaamaalaaabaGae83UdWMaemiDaqNaey4kaSIaeGymaedabaGae83UdWMaemiDaqhaaaGaay5waiaaw2faaiaaxMaacaWLjaWaaeWaaeaacqaIZaWmcqaIXaqmaiaawIcacaGLPaaaaaa@675C@

when λ = μ.

Since once a genus is extinct it remains extinct forever, the size distribution

q m † def ¯ ¯ Pr ⁡ { M ∞ = m | N ∞ = 0 }       ( 32 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemyBa0gabaGaeiiiGyiaaOqbaeqabiqaaaqaamaameaabaGaeeizaqMaeeyzauMaeeOzaygaaaqaaaaacyGGqbaucqGGYbGCcqGG7bWEcqWGnbqtdaWgaaWcbaGaeyOhIukabeaakiabg2da9iabd2gaTjabcYha8jabd6eaonaaBaaaleaacqGHEisPaeqaaOGaeyypa0JaeGimaaJaeiyFa0NaaCzcaiaaxMaadaqadaqaaiabiodaZiabikdaYaGaayjkaiaawMcaaaaa@4ACC@

of an extinct fossil genus can be found by letting t → ∞ in the generating function Ω(s; t) above. Since α(s) ≥ β(s), with the inequality strict for 0 ≤ s < 1, we have e^-λ(α-β)t → 0 as t → ∞. Thus if we let t → ∞ in the generating function above, we deduce that for all λ > 0 and μ > 0,

Ω ( s ; ∞ ) = ∑ m = 1 ∞ q m † s m = max ⁡ { λ , μ } β ( s ) μ       ( 33 ) = ( λ + μ ) 2 min ⁡ { λ , μ } { 1 − 1 − 4 λ μ s ( λ + μ ) 2 } . ( 34 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeGaeaaaaeaacqqHPoWvcqGGOaakcqWGZbWCcqGG7aWocqGHEisPcqGGPaqkaeaacqGH9aqpaeaadaaeWbqaaiabdghaXnaaDaaaleaacqWGTbqBaeaacqGGGaIHaaGccqWGZbWCdaahaaWcbeqaaiabd2gaTbaaaeaacqWGTbqBcqGH9aqpcqaIXaqmaeaacqGHEisPa0GaeyyeIuoakiabg2da9maalaaabaGagiyBa0MaeiyyaeMaeiiEaGNaei4EaShcciGae83UdWMaeiilaWIae8hVd0MaeiyFa0Nae8NSdiMaeiikaGIaem4CamNaeiykaKcabaGae8hVd0gaaiaaxMaacaWLjaaabaWaaeWaaeaacqaIZaWmcqaIZaWmaiaawIcacaGLPaaaaeaaaeaacqGH9aqpaeaadaWcaaqaaiabcIcaOiab=T7aSjabgUcaRiab=X7aTjabcMcaPaqaaiabikdaYiGbc2gaTjabcMgaPjabc6gaUjabcUha7jab=T7aSjabcYcaSiab=X7aTjabc2ha9baadaGadeqaaiabigdaXiabgkHiTmaakaaabaGaeGymaeJaeyOeI0YaaSaaaeaacqaI0aancqWF7oaBcqWF8oqBcqWGZbWCaeaacqGGOaakcqWF7oaBcqGHRaWkcqWF8oqBcqGGPaqkdaahaaWcbeqaaiabikdaYaaaaaaabeaaaOGaay5Eaiaaw2haaiabc6caUaqaamaabmaabaGaeG4mamJaeGinaqdacaGLOaGaayzkaaaaaaaa@8590@

Using the binomial theorem to expand the square root in (34) yields the pmf qm† MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemyBa0gabaGaeiiiGyiaaaaa@30F5@ for the size of an extinct fossil genus. Where m ≥ n₀ = 1,

q m † = ( λ + μ ) min ⁡ { λ , μ } ( 2 m − 2 ) ! ( m − 1 ) ! m ! ( λ μ ) m ( λ + μ ) 2 m       ( 35 ) ~ ( λ + μ ) 4 π 1 / 2 min ⁡ { λ , μ } m 3 / 2 [ 4 λ μ ( λ + μ ) 2 ] m . ( 36 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeGaeaaaaeaacqWGXbqCdaqhaaWcbaGaemyBa0gabaGaeiiiGyiaaaGcbaGaeyypa0dabaWaaSaaaeaacqGGOaakiiGacqWF7oaBcqGHRaWkcqWF8oqBcqGGPaqkaeaacyGGTbqBcqGGPbqAcqGGUbGBcqGG7bWEcqWF7oaBcqGGSaalcqWF8oqBcqGG9bqFaaWaaSaaaeaacqGGOaakcqaIYaGmcqWGTbqBcqGHsislcqaIYaGmcqGGPaqkcqGGHaqiaeaacqGGOaakcqWGTbqBcqGHsislcqaIXaqmcqGGPaqkcqGGHaqicqWGTbqBcqGGHaqiaaWaaSaaaeaacqGGOaakcqaH7oaBcqWF8oqBcqGGPaqkdaahaaWcbeqaaiabd2gaTbaaaOqaaiabcIcaOiab=T7aSjabgUcaRiab=X7aTjabcMcaPmaaCaaaleqabaGaeGOmaiJaemyBa0gaaaaakiaaxMaacaWLjaaabaWaaeWaaeaacqaIZaWmcqaI1aqnaiaawIcacaGLPaaaaeaaaeaacqGG+bGFaeaadaWcaaqaaiabcIcaOiab=T7aSjabgUcaRiab=X7aTjabcMcaPaqaaiabisda0iab=b8aWnaaCaaaleqabaGaeGymaeJaei4la8IaeGOmaidaaOGagiyBa0MaeiyAaKMaeiOBa4Maei4EaSNae83UdWMaeiilaWIae8hVd0MaeiyFa0NaemyBa02aaWbaaSqabeaacqaIZaWmcqGGVaWlcqaIYaGmaaaaaOWaamWaaeaadaWcaaqaaiabisda0iab=T7aSjab=X7aTbqaaiabcIcaOiab=T7aSjabgUcaRiab=X7aTjabcMcaPmaaCaaaleqabaGaeGOmaidaaaaaaOGaay5waiaaw2faamaaCaaaleqabaGaemyBa0gaaOGaeiOla4cabaWaaeWaaeaacqaIZaWmcqaI2aGnaiaawIcacaGLPaaaaaaaaa@9696@

We observe that asymptotically q_m decays faster than a power-law, except in the case when λ = μ when it follows a power law with exponent -3/2.

The expected size of an extinct genus can be found by evaluating the derivative Ω_s(1; ∞), yielding

E ( M ∞ | N ∞ = 0 ) = { λ / ( λ − μ ) , λ > μ ; ∞ λ = μ ; μ / ( μ − λ ) , λ < μ .       ( 37 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGnbqtdaWgaaWcbaGaeyOhIukabeaakiabcYha8jabd6eaonaaBaaaleaacqGHEisPaeqaaOGaeyypa0JaeGimaaJaeiykaKIaeyypa0ZaaiqabeaafaqaaeWacaaabaacciGae83UdWMaei4la8IaeiikaGIae83UdWMaeyOeI0Iae8hVd0MaeiykaKIaeiilaWcabaGae83UdWMaeyOpa4Jae8hVd0Maei4oaSdabaGaeyOhIukabaGae83UdWMaeyypa0Jae8hVd0Maei4oaSdabaGae8hVd0Maei4la8IaeiikaGIae8hVd0MaeyOeI0Iae83UdWMaeiykaKIaeiilaWcabaGae83UdWMaeyipaWJae8hVd0MaeiOla4caaaGaay5EaaGaaCzcaiaaxMaadaqadaqaaiabiodaZiabiEda3aGaayjkaiaawMcaaaaa@63E4@

The case λ = μ represents a phase transition analogous to the percolation phase transition (Hughes9, Grimmett10). For this case although with probability one the genus goes extinct (i.e. N_∞ = 0, w.p.1), the expected time for this to happen is infinite.

If there were initially n₀ species in the genus, the expressions for the generating functions (24), (27) and (34) need to be modified by raising the expressions on the right-hand side to the n₀th power. In particular, if we denote the pmf for the size of an extinct genus by qm† MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemyBa0gabaGaeiiiGyiaaaaa@30F5@(n₀) we have

∑ m = n 0 ∞ q m † ( n 0 ) s n = { ( λ + μ ) 2 min ⁡ { λ , μ } [ 1 − 1 − 4 λ μ s ( λ + μ ) 2 ] } n 0 .       ( 38 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaaeWbqaaiabdghaXnaaDaaaleaacqWGTbqBaeaacqGGGaIHaaaabaGaemyBa0Maeyypa0JaemOBa42aaSbaaWqaaiabicdaWaqabaaaleaacqGHEisPa0GaeyyeIuoakiabcIcaOiabd6gaUnaaBaaaleaacqaIWaamaeqaaOGaeiykaKIaem4Cam3aaWbaaSqabeaacqWGUbGBaaGccqGH9aqpdaGadeqaamaalaaabaGaeiikaGccciGae83UdWMaey4kaSIae8hVd0MaeiykaKcabaGaeGOmaiJagiyBa0MaeiyAaKMaeiOBa4Maei4EaSNae83UdWMaeiilaWIae8hVd0MaeiyFa0haamaadmaabaGaeGymaeJaeyOeI0YaaOaaaeaacqaIXaqmcqGHsisldaWcaaqaaiabisda0iab=T7aSjab=X7aTjabdohaZbqaaiabcIcaOiab=T7aSjabgUcaRiab=X7aTjabcMcaPmaaCaaaleqabaGaeGOmaidaaaaaaeqaaaGccaGLBbGaayzxaaaacaGL7bGaayzFaaWaaWbaaSqabeaacqWGUbGBdaWgaaadbaGaeGimaadabeaaaaGccqGGUaGlcaWLjaGaaCzcamaabmaabaGaeG4mamJaeGioaGdacaGLOaGaayzkaaaaaa@7185@

We deduce at once from Eq. (38) that

q m † ( n 0 ) = [ ( λ + μ ) 2 min ⁡ { λ , μ } ] n 0 [ 4 λ μ ( λ + μ ) 2 ] m Q m ( n 0 )   ( m ≥ n 0 ) ,       ( 39 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemyCae3aa0baaSqaaiabd2gaTbqaaiabcccigcaakiabcIcaOiabd6gaUnaaBaaaleaacqaIWaamaeqaaOGaeiykaKIaeyypa0ZaamWaaeaadaWcaaqaaiabcIcaOGGaciab=T7aSjabgUcaRiab=X7aTjabcMcaPaqaaiabikdaYiGbc2gaTjabcMgaPjabc6gaUjabcUha7jab=T7aSjabcYcaSiab=X7aTjabc2ha9baaaiaawUfacaGLDbaadaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaakmaadmaabaWaaSaaaeaacqaI0aancqWF7oaBcqWF8oqBaeaacqGGOaakcqWF7oaBcqGHRaWkcqWF8oqBcqGGPaqkdaahaaWcbeqaaiabikdaYaaaaaaakiaawUfacaGLDbaadaahaaWcbeqaaiabd2gaTbaakiabdgfarnaaBaaaleaacqWGTbqBaeqaaOGaeiikaGIaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGGPaqkaeaacqqGGaaicqGGOaakcqWGTbqBcqGHLjYScqWGUbGBdaWgaaWcbaGaeGimaadabeaakiabcMcaPiabcYcaSaaacaWLjaGaaCzcamaabmaabaGaeG4mamJaeGyoaKdacaGLOaGaayzkaaaaaa@7134@

where

∑ m = n 0 ∞ Q m ( n 0 ) z m = [ 1 − ( 1 − z ) 1 / 2 ] n 0 .       ( 40 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaaeWbqaaiabdgfarnaaBaaaleaacqWGTbqBaeqaaaqaaiabd2gaTjabg2da9iabd6gaUnaaBaaameaacqaIWaamaeqaaaWcbaGaeyOhIukaniabggHiLdGccqGGOaakcqWGUbGBdaWgaaWcbaGaeGimaadabeaakiabcMcaPiabdQha6naaCaaaleqabaGaemyBa0gaaOGaeyypa0Jaei4waSLaeGymaeJaeyOeI0IaeiikaGIaeGymaeJaeyOeI0IaemOEaONaeiykaKYaaWbaaSqabeaacqaIXaqmcqGGVaWlcqaIYaGmaaGccqGGDbqxdaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaakiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaI0aancqaIWaamaiaawIcacaGLPaaaaaa@5518@

The extraction of numerical values for the coefficients Q_m(n₀) for a modest fixed value of n₀ is not difficult in practice. Alternatively, Q_m(n₀) can be found by a contour integral argument that we shall not write out here, leading to the formula

Q m ( n 0 ) = 1 π ∑ j = 1 ︸ j   o d d n 0 ( n 0 j ) sin ⁡ ( j π / 2 ) Γ ( j / 2 + 1 ) Γ ( m − j / 2 ) Γ ( m + 1 )   ( m ≥ n 0 ) .       ( 41 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGrbqudaWgaaWcbaGaemyBa0gabeaakiabcIcaOiabd6gaUnaaBaaaleaacqaIWaamaeqaaOGaeiykaKIaeyypa0ZaaSaaaeaacqaIXaqmaeaaiiGacqWFapaCaaWaaabCaeaadaqadaqaauaabeqaceaaaeaacqWGUbGBdaWgaaWcbaGaeGimaadabeaaaOqaaiabdQgaQbaaaiaawIcacaGLPaaaaSqaamaayaaabaGaemOAaOMaeyypa0JaeGymaedameaacqWGQbGAcqqGGaaiieaacqGFVbWBcqGFKbazcqGFKbazaSGaayjo+daabaGaemOBa42aaSbaaWqaaiabicdaWaqabaaaniabggHiLdGccyGGZbWCcqGGPbqAcqGGUbGBcqGGOaakcqWGQbGAcqWFapaCcqGGVaWlcqaIYaGmcqGGPaqkdaWcaaqaaiabfo5ahjabcIcaOiabdQgaQjabc+caViabikdaYiabgUcaRiabigdaXiabcMcaPiabfo5ahjabcIcaOiabd2gaTjabgkHiTiabdQgaQjabc+caViabikdaYiabcMcaPaqaaiabfo5ahjabcIcaOiabd2gaTjabgUcaRiabigdaXiabcMcaPaaacqqGGaaicqGGOaakcqWGTbqBcqGHLjYScqWGUbGBdaWgaaWcbaGaeGimaadabeaakiabcMcaPiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaI0aancqaIXaqmaiaawIcacaGLPaaaaaa@7CE7@

In particular, the following simple formula holds for n₀ = 1, 2, 3 or 4:

Q m ( n 0 ) = n 0 ( 2 m − 2 ) ! 2 2 m − 1 ( m − 1 ) ! m ! { 1 − ( n 0 − 1 ) ( n 0 − 2 ) 4 ( m − 3 / 2 ) } , m ≥ n 0 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemyuae1aaSbaaSqaaiabd2gaTbqabaGccqGGOaakcqWGUbGBdaWgaaWcbaGaeGimaadabeaakiabcMcaPiabg2da9maalaaabaGaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGGOaakcqaIYaGmcqWGTbqBcqGHsislcqaIYaGmcqGGPaqkcqGGHaqiaeaacqaIYaGmdaahaaWcbeqaaiabikdaYiabd2gaTjabgkHiTiabigdaXaaakiabcIcaOiabd2gaTjabgkHiTiabigdaXiabcMcaPiabcgcaHiabd2gaTjabcgcaHaaacqGG7bWEcqaIXaqmcqGHsisldaWcaaqaaiabcIcaOiabd6gaUnaaBaaaleaacqaIWaamaeqaaOGaeyOeI0IaeGymaeJaeiykaKIaeiikaGIaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGHsislcqaIYaGmcqGGPaqkaeaacqaI0aancqGGOaakcqWGTbqBcqGHsislcqaIZaWmcqGGVaWlcqaIYaGmcqGGPaqkaaGaeiyFa0NaeiilaWcabaGaemyBa0MaeyyzImRaemOBa42aaSbaaSqaaiabicdaWaqabaaaaOGaeiOla4caaa@6BA4@

From Eqs (39) and (41) we see that for arbitrary fixed n₀ ≥ 1,

q m † ( n 0 ) ~ [ λ + μ 2 min ⁡ { λ , μ } ] n 0 [ 4 λ μ ( λ + μ ) 2 ] m n 0 2 π 1 / 2 m 3 / 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemyBa0gabaGaeiiiGyiaaOGaeiikaGIaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGGPaqkcqGG+bGFdaWadaqaamaalaaabaacciGae83UdWMaey4kaSIae8hVd0gabaGaeGOmaiJagiyBa0MaeiyAaKMaeiOBa4Maei4EaSNae83UdWMaeiilaWIae8hVd0MaeiyFa0haaaGaay5waiaaw2faamaaCaaaleqabaGaemOBa42aaSbaaWqaaiabicdaWaqabaaaaOWaamWaaeaadaWcaaqaaiabisda0iab=T7aSjab=X7aTbqaaiabcIcaOiab=T7aSjabgUcaRiab=X7aTjabcMcaPmaaCaaaleqabaGaeGOmaidaaaaaaOGaay5waiaaw2faamaaCaaaleqabaGaemyBa0gaaOWaaSaaaeaacqWGUbGBdaWgaaWcbaGaeGimaadabeaaaOqaaiabikdaYiab=b8aWnaaCaaaleqabaGaeGymaeJaei4la8IaeGOmaidaaOGaemyBa02aaWbaaSqabeaacqaIZaWmcqGGVaWlcqaIYaGmaaaaaaaa@67C6@

as m → ∞. The right-hand side of this differs from that of (36) only by a multiplicative constant, and for all n₀ ≥ 1 asymptotically qm† MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGXbqCdaqhaaWcbaGaemyBa0gabaGaeiiiGyiaaaaa@30F5@(n₀) decays faster than a power law except in the case λ = μ, when it follows a power law with exponent -3/2.

Fig. 2 shows the distribution of the size of an extinct genus plotted on logarithmic axes, for two values of n₀ and three values of μ with λ = 1. In the case n₀ = 1 (left-hand panel), an approximate power-law distribution (straight-line plot) can be seen in the case of equal birth and death rates (λ = μ, the solid line). When the birth and death rates differ (λ ≠ μ) there is departure from the power-law with faster decay in probabilities as genus size increases both when λ > μ and when λ <μ. In the case when the initial size n₀ of the pioneering genus exceeds one (right-hand panel), similar results pertain asymptotically (large genus sizes), but perturbations in the size distribution occur at the lower end (around n₀).

We have very limited results in the case. The difficulty lies in the fact that at the time (τ, say) at which the cataclysmic extinction event occurs, different genera will have been in existence for different lengths of time. Unlike the case discussed in an earlier (no background extinctions) where we established that the times of establishment of new genera formed an order-statistic process, whence it followed that at time τ, the times in existence of distinct genera constituted iid random variables with a truncated exponential distribution, in the present case (with background extinctions) we have not been able to establish that the times of establishment of new genera constitute an order-statistic process. Thus it has not been possible to determine the size distribution of derived genera, destroyed in the cataclysm, since their time in existence is unknown. This is particularly unfortunate, since it seems that in fact for many fossil families both background and cataclysmic extinctions have occurred (Raup and Sepkoski 11).

The only genus for which the time in existence is known is the pioneering genus. The pgf of the size of this genus is given by [ΦM(s;τ)]n0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWadaqaaiabfA6agnaaBaaaleaacqWGnbqtaeqaaOWaaeWaaeaacqWGZbWCcqGG7aWoiiGacqWFepaDaiaawIcacaGLPaaaaiaawUfacaGLDbaadaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaaaaa@39E0@ where Φ_M is defined in (27). This cannot be expanded in terms of simple functions to obtain explicit probabilities for sizes, although of course it can always be done numerically for specific parameter values. The expected size of the pioneering genus is

E ( M p i o n ) = n 0 ( 1 + λ λ − μ [ e ( λ − μ ) τ − 1 ] ) .       ( 42 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGnbqtdaWgaaWcbaGaemiCaaNaemyAaKMaem4Ba8MaemOBa4gabeaakiabcMcaPiabg2da9iabd6gaUnaaBaaaleaacqaIWaamaeqaaOWaaeWaaeaacqaIXaqmcqGHRaWkdaWcaaqaaGGaciab=T7aSbqaaiab=T7aSjabgkHiTiab=X7aTbaadaWadaqaaiabdwgaLnaaCaaaleqabaGaeiikaGIae83UdWMaeyOeI0Iae8hVd0MaeiykaKIae8hXdqhaaOGaeyOeI0IaeGymaedacaGLBbGaayzxaaaacaGLOaGaayzkaaGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabisda0iabikdaYaGaayjkaiaawMcaaaaa@560D@

In this section we consider the number of genera in the family derived from the pioneering species, assuming (as in the second section) that new genera are created by extreme speciations (at probabilistic rate γ) and (as in the third section) that background extinctions occur at the rate μ.

It can be shown (see Appendix) that the number of genera, G_t, which have existed up to time t has a generating function Φ_G(s; t) = E(sGt MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGZbWCdaahaaWcbeqaaiabdEeahnaaBaaameaacqWG0baDaeqaaaaaaaa@30FD@) given by

Φ G ( s ; t ) = s [ ( λ + γ ) λ + γ s Ψ ˜ ( λ + γ s λ + γ ; t ) ] n 0 ,       ( 43 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHMoGrdaWgaaWcbaGaem4raCeabeaakiabcIcaOiabdohaZjabcUda7iabdsha0jabcMcaPiabg2da9iabdohaZnaadmaabaWaaSaaaeaacqGGOaakiiGacqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkaeaacqWF7oaBcqGHRaWkcqWFZoWzcqWGZbWCaaGafuiQdKLbaGaadaqadaqaamaalaaabaGae83UdWMaey4kaSIae83SdCMaem4CamhabaGae83UdWMaey4kaSIae83SdCgaaiabcUda7iabdsha0bGaayjkaiaawMcaaaGaay5waiaaw2faamaaCaaaleqabaGaemOBa42aaSbaaWqaaiabicdaWaqabaaaaOGaeiilaWIaaCzcaiaaxMaadaqadaqaaiabisda0iabiodaZaGaayjkaiaawMcaaaaa@5CD6@

where Ψ˜ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacuqHOoqwgaacaaaa@2E4A@ is the same as Ψ_M in (27), but with λ replaced by λ + γ. This can be verified directly in the case μ = 0 (only cataclysmic extinctions) for which G_t ≡ K_t (see second section) with G_t + n₀ - 1 having a negative binomial distribution. In the more general case the proof is somewhat technical and is relegated to the Appendix. The expected number of genera in the family can easily be determined from (43) as

E ( G t ) = 1 + n 0 γ λ + γ − μ ( e ( λ + γ − μ ) t − 1 ) .       ( 44 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGhbWrdaWgaaWcbaGaemiDaqhabeaakiabcMcaPiabg2da9iabigdaXiabgUcaRiabd6gaUnaaBaaaleaacqaIWaamaeqaaOWaaSaaaeaaiiGacqWFZoWzaeaacqWF7oaBcqGHRaWkcqWFZoWzcqGHsislcqWF8oqBaaWaaeWaaeaacqWGLbqzdaahaaWcbeqaaiabcIcaOiab=T7aSjabgUcaRiab=n7aNjabgkHiTiab=X7aTjabcMcaPiabdsha0baakiabgkHiTiabigdaXaGaayjkaiaawMcaaiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaI0aancqaI0aanaiaawIcacaGLPaaaaaa@54A0@

If, following a cataclysmic event from which n₀ species survived, a subsequent cataclysm occurred τ time units later, the size distribution of the family (number of genera) derived from these n₀ pioneering species, would have pgf Φ_G(s; τ). While no simple expansion of this is possible it can be done numerically. Some examples are shown in Fig. 3. The distributions show considerable deviation from a power law (straight line in logarithmic plots). They appear similar to the corresponding distributions of number of species in a genus (Fig. 1, top row) for smaller values of τ, but are further from the power-law form for larger τ. Thus it would appear that under the birth-and-death model power-law (fractal-like) size distributions are less likely to occur at higher taxonomic levels.

One characteristic of interest in the empirical study of lineages is the proportion of monotypic taxa. Przeworski and Wall5 compared the proportions of monospecific genera and of monogeneric families observed in the fossil record with results from a simulation of a birth-and-death process model. In this section we compute probabilities of such monotypic taxa. We consider the cases of (1) only background extinctions; and (2) only cataclysmic extinctions.

In the paper a number of analytic results on the size distributions of genera and families and on the probabilities of monospecific taxa have been derived under the assumption of a simple homogeneous birth-and-death model and various extinction scenarios. The results are incomplete due to the complexity of the analysis, especially in the case when both cataclysmic and background extinctions can occur. However it is hoped that there are sufficient results to enable testing of the birth-and-death model using empirical taxon size distributions obtained from the fossil record.

Undoubtedly more complex plausible extinction scenarios than the two extremes discussed in this paper could be considered. For example one could consider major extinction events which resulted in the destruction of a significant proportion (but not all) of species within a genus. However realistically formulating a model for this, not to mention its subsequent analysis, seems to present a formidable task.

One could also consider the size distribution of taxa existing over more than one inter-cataclysmic epoch. In this case one would need to consider mixtures of the distributions, using different (but assumed known) values of τ. In principle this is not difficult to do. If the durations of inter-cataclysmic epoch were not known one could consider τ as a random variable and consider the resulting infinite mixture. As a null model for catclysmic extinction events, it seems reasonable to assume that they occur independently at random, so that the time between two successive events would have an exponential distribution. An overall distribution for the size of a taxon could then be obtained by integrating the results obtained in the earlier sections with respect to an exponential density. This has been considered in another paper (Hughes and Reed12) where it is shown that, under certain conditions, the resulting size distributions exhibit fractal-like behaviour.

A point process {X_t, t ≥ 0} is said to be an order statistic process (Feigin13) if conditional on X_τ - X₀ = k the successive jump times (times of events) T₁, T₂,...,T_k are distributed as the order statistics of k independent, identically distributed random variables with support on [0, τ]. The simplest example is when {X_t} is a Poisson process, for which conditional on X_τ - X₀ = k, it is well known that the event times T₁, T₂ ,..., T_k have the same distribution as the order statistics of of k independent, uniformly distributed random variables on [0, τ].

For a given order statistic process the order statistic distribution can be shown (Feigin13(Theorem 2)) to have cdf

F ( t ) = m ( t ) − m ( 0 ) m ( τ ) − m ( 0 ) ,   0 ≤ y ≤ τ ,       ( 50 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGgbGrcqGGOaakcqWG0baDcqGGPaqkcqGH9aqpdaWcaaqaaiabd2gaTjabcIcaOiabdsha0jabcMcaPiabgkHiTiabd2gaTjabcIcaOiabicdaWiabcMcaPaqaaiabd2gaTjabcIcaOGGaciab=r8a0jabcMcaPiabgkHiTiabd2gaTjabcIcaOiabicdaWiabcMcaPaaacqGGSaalcqqGGaaicqaIWaamcqGHKjYOcqWG5bqEcqGHKjYOcqWFepaDcqGGSaalcaWLjaGaaCzcamaabmaabaGaeGynauJaeGimaadacaGLOaGaayzkaaaaaa@540E@

where m(t) = E(X_t).

Puri14 (Theorem 8) gives conditions for a non-homogeneous birth process, with birth rates θ_i(t), to be an order statistic process. For the process {K_t} (the number of genera) in second section, the birth rates θ_k(t) are given by

θ_k(t)dt = Pr (K(t + dt) = k + 1|K(t) = k)dt + o(dt).     (51)

If we sum over l and n in (3) we find that with p_k(t) = Pr{K_t = k},

d d t p k ( t ) = γ E ( L t | K t = k − 1 ) p k − 1 ( t ) − γ E ( L t | K t = k ) p k ( t )       ( 52 ) = θ k − 1 ( t ) p k − 1 ( t ) − θ k ( t ) p k ( t ) ( 53 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeGaeaaaaeaadaWcaaqaaiabdsgaKbqaaiabdsgaKjabdsha0baacqWGWbaCdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiabdsha0jabcMcaPaqaaiabg2da9aqaaGGaciab=n7aNjabdweafjabcIcaOiabdYeamnaaBaaaleaacqWG0baDaeqaaOGaeiiFaWNaem4saS0aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGRbWAcqGHsislcqaIXaqmcqGGPaqkcqWGWbaCdaWgaaWcbaGaem4AaSMaeyOeI0IaeGymaedabeaakiabcIcaOiabdsha0jabcMcaPiabgkHiTiab=n7aNjabdweafjabcIcaOiabdYeamnaaBaaaleaacqWG0baDaeqaaOGaeiiFaWNaem4saS0aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGRbWAcqGGPaqkcqWGWbaCdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiabdsha0jabcMcaPiaaxMaacaWLjaaabaWaaeWaaeaacqaI1aqncqaIYaGmaiaawIcacaGLPaaaaeaaaeaacqGH9aqpaeaacqWF4oqCdaWgaaWcbaGaem4AaSMaeyOeI0IaeGymaedabeaakiabcIcaOiabdsha0jabcMcaPiabdchaWnaaBaaaleaacqWGRbWAcqGHsislcqaIXaqmaeqaaOGaeiikaGIaemiDaqNaeiykaKIaeyOeI0Iae8hUde3aaSbaaSqaaiabdUgaRbqabaGccqGGOaakcqWG0baDcqGGPaqkcqWGWbaCdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiabdsha0jabcMcaPaqaamaabmaabaGaeGynauJaeG4mamdacaGLOaGaayzkaaaaaaaa@8BA1@

so that K_t does evolve under a non-homogeneous birth process, with birth rates

θ_k(t) = γE(L_t|K_t = k).     (54)

We now calculate θ_k(t) explicitly. From Eq. (6),

p k ( t ) = ( n 0 ) k − 1 p ( t ) n 0 ( k − 1 ) ! [ 1 − p ( t ) ] k − 1       ( 55 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGWbaCdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiabdsha0jabcMcaPiabg2da9maalaaabaGaeiikaGIaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGGPaqkdaWgaaWcbaGaem4AaSMaeyOeI0IaeGymaedabeaakiabdchaWjabcIcaOiabdsha0jabcMcaPmaaCaaaleqabaGaemOBa42aaSbaaWqaaiabicdaWaqabaaaaaGcbaGaeiikaGIaem4AaSMaeyOeI0IaeGymaeJaeiykaKIaeiyiaecaaiabcUfaBjabigdaXiabgkHiTiabdchaWjabcIcaOiabdsha0jabcMcaPiabc2faDnaaCaaaleqabaGaem4AaSMaeyOeI0IaeGymaedaaOGaaCzcaiaaxMaadaqadaqaaiabiwda1iabiwda1aGaayjkaiaawMcaaaaa@59A4@

with p(t) = [(λ + γ)e^{-(λ + γ)t}]/[γ + λe^{-(λ + γ)t}] and we note for later use that

p ′ ( t ) p ( t ) = γ ( λ + γ ) γ + λ e − ( λ + γ ) t . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiqbdchaWzaafaGaeiikaGIaemiDaqNaeiykaKcabaGaemiCaaNaeiikaGIaemiDaqNaeiykaKcaaiabg2da9maalaaabaacciGae83SdCMaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKcabaGae83SdCMaey4kaSIae83UdWMaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWG0baDaaaaaOGaeiOla4caaa@4D6D@

Since p₀(t) = 0, we have

θ 1 ( t ) = − p ′ 1 ( t ) p 1 ( t ) = − n 0 p ′ ( t ) p ( t ) = γ ( λ + γ ) n 0 γ + λ e − ( λ + γ ) t .       ( 56 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWF4oqCdaWgaaWcbaGaeGymaedabeaakiabcIcaOiabdsha0jabcMcaPiabg2da9iabgkHiTmaalaaabaGafmiCaaNbauaadaWgaaWcbaGaeGymaedabeaakiabcIcaOiabdsha0jabcMcaPaqaaiabdchaWnaaBaaaleaacqaIXaqmaeqaaOGaeiikaGIaemiDaqNaeiykaKcaaiabg2da9iabgkHiTmaalaaabaGaemOBa42aaSbaaSqaaiabicdaWaqabaGccuWGWbaCgaqbaiabcIcaOiabdsha0jabcMcaPaqaaiabdchaWjabcIcaOiabdsha0jabcMcaPaaacqGH9aqpdaWcaaqaaiab=n7aNjabcIcaOiab=T7aSjabgUcaRiab=n7aNjabcMcaPiabd6gaUnaaBaaaleaacqaIWaamaeqaaaGcbaGae83SdCMaey4kaSIae83UdWMaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWG0baDaaaaaOGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabiwda1iabiAda2aGaayjkaiaawMcaaaaa@6C9E@

For k ≥ 1 we have from (53) a difference equation to solve for θ_k(t):

(k - 1)θ_{k - 1}(t) - [1 - p(t)](n₀ + k - 2)θ_k(t) = (n₀ + k -2){n₀ [1 - p(t)] - (k - 1)p(t)}p′(t)p(t) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiqbdchaWzaafaGaeiikaGIaemiDaqNaeiykaKcabaGaemiCaaNaeiikaGIaemiDaqNaeiykaKcaaaaa@35E0@.

By inspection, a solution of this equation is given by

θ_k(t) = -p′(t)p(t) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiqbdchaWzaafaGaeiikaGIaemiDaqNaeiykaKcabaGaemiCaaNaeiikaGIaemiDaqNaeiykaKcaaaaa@35E0@(n₀ + k - 1), k ≥ 1.

As this solution gives the correct result (56) for k = 1 and a first-order linear difference equation needs only one boundary condition to uniquely determine the solution, we have proved that the birth rate is

θ k ( t ) = γ ( λ + γ ) ( n 0 + k − 1 ) γ + λ e − ( λ + γ ) t ,   k ≥ 1. MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWF4oqCdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiabdsha0jabcMcaPiabg2da9maalaaabaGae83SdCMaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKIaeiikaGIaemOBa42aaSbaaSqaaiabicdaWaqabaGccqGHRaWkcqWGRbWAcqGHsislcqaIXaqmcqGGPaqkaeaacqWFZoWzcqGHRaWkcqWF7oaBcqWGLbqzdaahaaWcbeqaaiabgkHiTiabcIcaOiab=T7aSjabgUcaRiab=n7aNjabcMcaPiabdsha0baaaaGccqGGSaalcqqGGaaicqWGRbWAcqGHLjYScqaIXaqmcqGGUaGlaaa@58B7@

Puri's [14, Theorem 8] condition for an order-statistic process on (0, τ) requires the existence of a positive, continuous and integrable function, h(t) and positive constants L(k) for k = 1, 2,..., with L(1) = 1 such that

θ k ( t ) exp ⁡ { ∫ 0 t [ θ k + 1 ( u ) − θ k ( u ) ] d u } = h ( t ) L ( k + 1 ) L ( k ) , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaaiiGacqWF4oqCdaWgaaWcbaGaem4AaSgabeaakiabcIcaOiabdsha0jabcMcaPiGbcwgaLjabcIha4jabcchaWnaacmqabaWaa8qmaeaacqGGBbWwcqWF4oqCdaWgaaWcbaGaem4AaSMaey4kaSIaeGymaedabeaakiabcIcaOiabdwha1jabcMcaPiabgkHiTiab=H7aXnaaBaaaleaacqWGRbWAaeqaaOGaeiikaGIaemyDauNaeiykaKIaeiyxa0LaemizaqMaemyDauhaleaacqaIWaamaeaacqWG0baDa0Gaey4kIipaaOGaay5Eaiaaw2haaiabg2da9maalaaabaGaemiAaGMaeiikaGIaemiDaqNaeiykaKIaemitaWKaeiikaGIaem4AaSMaey4kaSIaeGymaeJaeiykaKcabaGaemitaWKaeiikaGIaem4AaSMaeiykaKcaaiabcYcaSaaa@639A@

In the present case this is satisfied with

h(t) = n₀γe^(λ+γ)t

and L(k) = (n₀ - 1)_k/n0k MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGUbGBdaqhaaWcbaGaeGimaadabaGaem4AaSgaaaaa@308B@. Also from Puri's Theorem 8,

E ( K t ) = 1 + ∫ 0 t h ( u ) d u = 1 + n 0 γ λ + γ [ e ( λ + γ ) t − 1 ] . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqWGfbqrcqGGOaakcqWGlbWsdaWgaaWcbaGaemiDaqhabeaakiabcMcaPiabg2da9iabigdaXiabgUcaRmaapedabaGaemiAaGMaeiikaGIaemyDauNaeiykaKIaemizaqMaemyDauhaleaacqaIWaamaeaacqWG0baDa0Gaey4kIipakiabg2da9iabigdaXiabgUcaRmaalaaabaGaemOBa42aaSbaaSqaaiabicdaWaqabaacciGccqWFZoWzaeaacqWF7oaBcqGHRaWkcqWFZoWzaaGaei4waSLaemyzau2aaWbaaSqabeaacqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqWG0baDaaGccqGHsislcqaIXaqmcqGGDbqxcqGGUaGlaaa@5A56@

This agrees with the direct derivation of the expectation from the pgf of K_t (10) and enables the computation of the joint distribution of the times of establishment of derived genera as that of the order statistics of a random sample of size k from a distribution with cdf

F ( t ) = e ( λ + γ ) t − 1 e ( λ + γ ) τ − 1 , 0 ≤ t ≤ τ .       ( 57 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqabeqacaaabaGaemOrayKaeiikaGIaemiDaqNaeiykaKIaeyypa0ZaaSaaaeaacqWGLbqzdaahaaWcbeqaaiabcIcaOGGaciab=T7aSjabgUcaRiab=n7aNjabcMcaPiabdsha0baakiabgkHiTiabigdaXaqaaiabdwgaLnaaCaaaleqabaGaeiikaGIae83UdWMaey4kaSIae83SdCMaeiykaKIae8hXdqhaaOGaeyOeI0IaeGymaedaaiabcYcaSaqaaiabicdaWiabgsMiJkabdsha0jabgsMiJkab=r8a0jabc6caUaaacaWLjaGaaCzcamaabmaabaGaeGynauJaeG4naCdacaGLOaGaayzkaaaaaa@55EA@

Thus it follows that at time τ the times since establishment of all derived genera are independent random variables with the truncated exponential distribution with pdf f_K(t) given in (11).

To establish the truncated exponential nature of the distributions (f_N(t) and f_L(t), given in second section) of the times since establishment of species in respectively the pioneering genus and the pioneering family, is much easier. From the facts (established in the second section) that {N_t} and {L_t} are pure birth processes with both N_t and L_t having negative binomial distributions with E(N_t) = n₀e^λt and E(L_t) = n₀e^(λ+γ)t, and the well-known fact that a pure birth process is an order statistic process (Feigin13), one can easily establish (using (50)) the cdfs of the times since establishment of non-pioneering species in respectively the pioneeing genus and family. The pdfs, f_N(t) and f_L(t) given in (12) and (13) follow.

To establish the relationship (43) between the generating functions of G_t (the number of genera which have existed by time t) and L_t (the number of species which have existed by t), first let

Y_t = L_t - n₀ and Z_t = G_t - 1     (58)

denote the numbers of derived species and genera respectively. Since any speciation could have given rise to a new genus with probability p = γ/(λ+γ), independently of other speciations, it follows that Z_t|y ~ Bin(y, p) and hence that

P r ( G t = g | L t = l ) = P r ( Z t = g − 1 | Y t = l − n 0 ) = ( l − n 0 g − 1 ) p g − 1 q l − n 0 − g + 1 = p g − 1 ( g − 1 ) ! D q ( g − 1 ) q l − n 0       ( 59 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeWadaaabaacbaGae8huaaLae8NCaiNaeiikaGIaem4raC0aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGNbWzcqGG8baFcqWGmbatdaWgaaWcbaGaemiDaqhabeaakiabg2da9iabdYgaSjabcMcaPaqaaiabg2da9aqaaiab=bfaqjab=jhaYjabcIcaOiabdQfaAnaaBaaaleaacqWG0baDaeqaaOGaeyypa0Jaem4zaCMaeyOeI0IaeGymaeJaeiiFaWNaemywaK1aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGSbaBcqGHsislcqWGUbGBdaWgaaWcbaGaeGimaadabeaakiabcMcaPaqaaaqaaiabg2da9aqaamaabmaabaqbaeqabiqaaaqaaiabdYgaSjabgkHiTiabd6gaUnaaBaaaleaacqaIWaamaeqaaaGcbaGaem4zaCMaeyOeI0IaeGymaedaaaGaayjkaiaawMcaaiabdchaWnaaCaaaleqabaGaem4zaCMaeyOeI0IaeGymaedaaOGaemyCae3aaWbaaSqabeaacqWGSbaBcqGHsislcqWGUbGBdaWgaaadbaGaeGimaadabeaaliabgkHiTiabdEgaNjabgUcaRiabigdaXaaaaOqaaaqaaiabg2da9aqaamaalaaabaGaemiCaa3aaWbaaSqabeaacqWGNbWzcqGHsislcqaIXaqmaaaakeaacqGGOaakcqWGNbWzcqGHsislcqaIXaqmcqGGPaqkcqGGHaqiaaGaemiraq0aa0baaSqaaiabdghaXbqaaiabcIcaOiabdEgaNjabgkHiTiabigdaXiabcMcaPaaakiabdghaXnaaCaaaleqabaGaemiBaWMaeyOeI0IaemOBa42aaSbaaWqaaiabicdaWaqabaaaaaaakiaaxMaacaWLjaWaaeWaaeaacqaI1aqncqaI5aqoaiaawIcacaGLPaaaaaa@8BEC@

where q = 1 - p and D_q is the differential operator ddq MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaadaWcaaqaaiabdsgaKbqaaiabdsgaKjabdghaXbaaaaa@30C9@. Multiplying by the pmf f_l = P(L_t = l) and summing from l = n₀ to ∞ yields the marginal pmf of G_t, which can be written

Pr ⁡ ( G t = g ) = p g − 1 ( g − 1 ) ! D q ( g − 1 ) q − n 0 ∑ l = n 0 ∞ q l f l = p g − 1 ( g − 1 ) ! D q ( g − 1 ) [ Ψ ˜ ( q ) q n 0 ] MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqadeGadaaabaGagiiuaaLaeiOCaiNaeiikaGIaem4raC0aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGNbWzcqGGPaqkaeaacqGH9aqpaeaadaWcaaqaaiabdchaWnaaCaaaleqabaGaem4zaCMaeyOeI0IaeGymaedaaaGcbaGaeiikaGIaem4zaCMaeyOeI0IaeGymaeJaeiykaKIaeiyiaecaaiabdseaenaaDaaaleaacqWGXbqCaeaacqGGOaakcqWGNbWzcqGHsislcqaIXaqmcqGGPaqkaaGccqWGXbqCdaahaaWcbeqaaiabgkHiTiabd6gaUnaaBaaameaacqaIWaamaeqaaaaakmaaqahabaGaemyCae3aaWbaaSqabeaacqWGSbaBaaGccqWGMbGzdaWgaaWcbaGaemiBaWgabeaaaeaacqWGSbaBcqGH9aqpcqWGUbGBdaWgaaadbaGaeGimaadabeaaaSqaaiabg6HiLcqdcqGHris5aaGcbaaabaGaeyypa0dabaWaaSaaaeaacqWGWbaCdaahaaWcbeqaaiabdEgaNjabgkHiTiabigdaXaaaaOqaaiabcIcaOiabdEgaNjabgkHiTiabigdaXiabcMcaPiabcgcaHaaacqWGebardaqhaaWcbaGaemyCaehabaGaeiikaGIaem4zaCMaeyOeI0IaeGymaeJaeiykaKcaaOWaamWaaeaadaWcaaqaaiqbfI6azzaaiaGaeiikaGIaemyCaeNaeiykaKcabaGaemyCae3aaWbaaSqabeaacqWGUbGBdaWgaaadbaGaeGimaadabeaaaaaaaaGccaGLBbGaayzxaaaaaaaa@7B01@

where Ψ˜ MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacuqHOoqwgaacaaaa@2E4A@(·) is the pgf of L_t which is the same as the pgf of M_t (see (27)), but with λ replaced by λ + μ. Thus

Pr ⁡ ( G t = g ) = p g − 1 ( g − 1 ) ! D q ( g − 1 ) [ Ψ ˜ ( q ; t ) q ] n 0 ,       ( 60 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacyGGqbaucqGGYbGCcqGGOaakcqWGhbWrdaWgaaWcbaGaemiDaqhabeaakiabg2da9iabdEgaNjabcMcaPiabg2da9maalaaabaGaemiCaa3aaWbaaSqabeaacqWGNbWzcqGHsislcqaIXaqmaaaakeaacqGGOaakcqWGNbWzcqGHsislcqaIXaqmcqGGPaqkcqGGHaqiaaGaemiraq0aa0baaSqaaiabdghaXbqaaiabcIcaOiabdEgaNjabgkHiTiabigdaXiabcMcaPaaakmaadmaabaWaaSaaaeaacuqHOoqwgaacaiabcIcaOiabdghaXjabcUda7iabdsha0jabcMcaPaqaaiabdghaXbaaaiaawUfacaGLDbaadaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaakiabcYcaSiaaxMaacaWLjaWaaeWaaeaacqaI2aGncqaIWaamaiaawIcacaGLPaaaaaa@5C25@

where (using (27))

Ψ ˜ ( q ; t ) = β ′ ( q − α ′ ) + α ′ ( β ′ − q ) e − ( λ + γ ) ( α ′ − β ′ ) t ( q − α ′ ) + ( β ′ − q ) e − ( λ + γ ) ( α ′ − β ′ ) t .       ( 61 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacuqHOoqwgaacaiabcIcaOiabdghaXjabcUda7iabdsha0jabcMcaPiabg2da9maalaaabaacciGaf8NSdiMbauaacqGGOaakcqWGXbqCcqGHsislcuWFXoqygaqbaiabcMcaPiabgUcaRiqb=f7aHzaafaGaeiikaGIaf8NSdiMbauaacqGHsislcqWGXbqCcqGGPaqkcqWGLbqzdaahaaWcbeqaaiabgkHiTiabcIcaOiab=T7aSjabgUcaRiab=n7aNjabcMcaPiabcIcaOiqb=f7aHzaafaGaeyOeI0Iaf8NSdiMbauaacqGGPaqkcqWG0baDaaaakeaacqGGOaakcqWGXbqCcqGHsislcuWFXoqygaqbaiabcMcaPiabgUcaRiabcIcaOiqb=j7aIzaafaGaeyOeI0IaemyCaeNaeiykaKIaemyzau2aaWbaaSqabeaacqGHsislcqGGOaakcqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkcqGGOaakcuWFXoqygaqbaiabgkHiTiqb=j7aIzaafaGaeiykaKIaemiDaqhaaaaakiabc6caUiaaxMaacaWLjaWaaeWaaeaacqaI2aGncqaIXaqmaiaawIcacaGLPaaaaaa@75DD@

with α' and β' being the roots of (25) with λ replaced by λ+μ. The generating function of Ψ_G(s; t) can be obtained by multiplying (60) above by s^g and summing from g = 1 to ∞:

Ψ G ( s ; t ) = ∑ g = 1 ∞ s g Pr ⁡ ( G t = g ) = s ∑ g = 1 ∞ [ s p ] g − 1 ( g − 1 ) ! d g − 1 d y g − 1 [ Ψ ˜ ( y ; t ) y ] n 0 | y = q = s [ Ψ ˜ ( q + s p ; t ) q + s p ] n 0       ( 62 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaafaqaaeWadaaabaGaeuiQdK1aaSbaaSqaaiabdEeahbqabaGccqGGOaakcqWGZbWCcqGG7aWocqWG0baDcqGGPaqkaeaacqGH9aqpaeaadaaeWbqaaiabdohaZnaaCaaaleqabaGaem4zaCgaaaqaaiabdEgaNjabg2da9iabigdaXaqaaiabg6HiLcqdcqGHris5aOGagiiuaaLaeiOCaiNaeiikaGIaem4raC0aaSbaaSqaaiabdsha0bqabaGccqGH9aqpcqWGNbWzcqGGPaqkaeaaaeaacqGH9aqpaeaadaabcaqaaiabdohaZnaaqahabaWaaSaaaeaacqGGBbWwcqWGZbWCcqWGWbaCcqGGDbqxdaahaaWcbeqaaiabdEgaNjabgkHiTiabigdaXaaaaOqaaiabcIcaOiabdEgaNjabgkHiTiabigdaXiabcMcaPiabcgcaHaaaaSqaaiabdEgaNjabg2da9iabigdaXaqaaiabg6HiLcqdcqGHris5aOWaaSaaaeaacqWGKbazdaahaaWcbeqaaiabdEgaNjabgkHiTiabigdaXaaaaOqaaiabdsgaKjabdMha5naaCaaaleqabaGaem4zaCMaeyOeI0IaeGymaedaaaaakmaadmaabaWaaSaaaeaacuqHOoqwgaacaiabcIcaOiabdMha5jabcUda7iabdsha0jabcMcaPaqaaiabdMha5baaaiaawUfacaGLDbaadaahaaWcbeqaaiabd6gaUnaaBaaameaacqaIWaamaeqaaaaaaOGaayjcSdWaaSbaaSqaaiabdMha5jabg2da9iabdghaXbqabaaakeaaaeaacqGH9aqpaeaacqWGZbWCdaWadaqaamaalaaabaGafuiQdKLbaGaacqGGOaakcqWGXbqCcqGHRaWkcqWGZbWCcqWGWbaCcqGG7aWocqWG0baDcqGGPaqkaeaacqWGXbqCcqGHRaWkcqWGZbWCcqWGWbaCaaaacaGLBbGaayzxaaWaaWbaaSqabeaacqWGUbGBdaWgaaadbaGaeGimaadabeaaaaaaaOGaaCzcaiaaxMaadaqadaqaaiabiAda2iabikdaYaGaayjkaiaawMcaaaaa@9BA4@

since the penultimate line is simply a Taylor series expansion about q of the last line.

Thus we conclude that

Ψ G ( s ; t ) = s [ ( λ + γ ) λ + γ s Ψ ˜ ( λ + γ s λ + γ ; t ) ] n 0 .       ( 63 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaqabeGadaaakeaacqqHOoqwdaWgaaWcbaGaem4raCeabeaakiabcIcaOiabdohaZjabcUda7iabdsha0jabcMcaPiabg2da9iabdohaZnaadmaabaWaaSaaaeaacqGGOaakiiGacqWF7oaBcqGHRaWkcqWFZoWzcqGGPaqkaeaacqWF7oaBcqGHRaWkcqWFZoWzcqWGZbWCaaGafuiQdKLbaGaadaqadaqaamaalaaabaGae83UdWMaey4kaSIae83SdCMaem4CamhabaGae83UdWMaey4kaSIae83SdCgaaiabcUda7iabdsha0bGaayjkaiaawMcaaaGaay5waiaaw2faamaaCaaaleqabaGaemOBa42aaSbaaWqaaiabicdaWaqabaaaaOGaeiOla4IaaCzcaiaaxMaadaqadaqaaiabiAda2iabiodaZaGaayjkaiaawMcaaaaa@5CF3@