Say we have the following PMF for a simple branching process and want to find the eventual extinction probability,
$$ P(Z_{1,1} = 0) = 0.25$$ $$ P(Z_{1,1} = 1) = 0.25$$ $$ P(Z_{1,1} = 2) = 0.50$$
Then, we can easily find $$G_1(s)=0.50s^2+0.25s+0.25$$ From there, we can also find $$G_2(s) = G_1(G_1(s)) = 0.50(0.50s^2+0.25s+0.25)^2+0.25(0.50s^2+0.25s+0.25)+0.25$$
So I get to this step, and I think I can generalize to find $G_n(s) = as^2 + bs + c$ where $a$, $b$, and $c$ are simply the results of the geometric series simplification $\sum\limits_{k=0}^{n-1} ar^k=a\frac{1-r^n}{1-r}$ (or do we do the infinite sum?). Then setting $G_n(s)=s$, we can find the eventual extinction probability. Is this correct? I am unsure about the generalization of $G_n(s)$