Convergence of analytic covering maps to a covering map Suppose a sequence of analytic maps $f_n: \mathbb{D} \to \mathbb{D}$ from the unit disk to itself, each of which is a topological covering map to its image, converges locally uniformly to an analytic map $f$. Under what conditions will the limit $f$ also be a topological covering map to its image?   (I am also interested in other possibilites for domain and range of the $f_n$.)
Using Rouche's theorem, one can show that the local uniform limit of injective analytic functions is again injective, provided that the limit is not constant.  One thing I would like to know is if a similar result holds if we replace "injective" with "covering map".  
This sort of question comes up if you try to prove the uniformization theorem in the special case of a plane domain $U\subset \mathbb{C}$.   
 A: There are essentially two cases when the limit is not a covering map: (a) the limit is constant, (b) the images $S_n:=f_n(D)$ are annuli which collapse to a circle. There could be a more elementary explanation, but the one below uses Fuchsian groups and a bit of hyperbolic geometry. 
Sketch of the proof. Each surface $S_n$ can be identified with the quotient $D/G_n$, where $G_n$ is a Fuchsian group (a discrete torsion-free isometry group of the unit disk $D$, which we will regard as the hyperbolic plane). Thus, I will think of $S_n$ as complete hyperbolic surfaces. Now, the sequence of discrete groups $G_n$ will subconverge in "Chabauty topology" (or "geometrically" in Thurston's terminology) to a closed subgroup $G$ of $PSL(2,R)$, the isometry group of $D$. Most the the time the group $G$ will be discrete and torsion-free. The one exception is when the groups $G_n$ converging to $G$ are elementary, i.e., cyclic, then the limit could be 1-dimensional (this is where you discover the annular example). Suppose now that the group  $G$ is discrete and consider the quotient surface $D/G=S$. Then (after you choose base-points) the surfaces $S_n$ converge to $S$ in "Gromov-Hausdorff topology."   (You may have to read something like "Lectures on Hyperbolic Geometry" by Benedetti and Petronio if the terminology is unfamiliar.) This means that large metric balls in $S$ (in the hyperbolic metric of $S$) are nearly conformal to corresponding metric balls in $S_n$ (i.e., quasiconformal with small quasiconformality constants). Thus, your limiting holomorphic map $f: D\to D$ (which I assume to be nonconstant) would factor as a composition of $p: D\to S$ (the universal covering map) and a holomorphic map $F: S\to D$, which I claim is 1-1. If the map $F$ were the limit of a sequence of conformal maps $S\to D$, you would be done (say, by Rauche's theorem), as you observed in your question. Instead it is a limit of almost conformal quasiconformal maps above ($S\to S_n$) defined on larger and larger compact subsets of $S$. Now, you have to check that the same conformal arguments that you know would go through in the quasiconformal situation as well (since they are nothing but degree arguments and work for local homeomorpisms as well), which concludes the proof.   
Edit: Here is a better and more general argument which works in (smooth) topological setting:
Theorem. Let $M, N$ be smooth manifolds of the same dimension, so that $M$ is connected and $N$ is compact. Let $f_i: M\to N_i\subset N$ be a sequence of (locally diffeomorphic)  covering maps, which converges on compacts in $C^1$-topology to a local diffeomorphism $f_0: M\to N$, whose image is a domain $N_0\subset N$. Then $f_0: M\to N_0$ is also a covering map. 
Proof. Let $g$ be a Riemannian metric on $N$. Define function $\rho_i$ on $N_i$ to be the (minimal) distance function from $x\in N_i$ to the frontier of $N_i$ in $N$, $i\ge 0$. Then the sequence of functions $\rho_i$ is semicontinuous in the sense that for every $x\in N_0$, $\lim inf \rho_i(x) \ge \rho_0(x)$. Now define (Lipschitz) continuous Riemannian metrics $g_i=g/\rho_i$ on $N_i$. These are my replacements of Poincare metrics.  used in the original argument  One verifies easily that every $g_i$ is complete (here and below completeness is in Cauchy sense since exponential map need not be defined even locally). 
It is a standard fact of Riemannian geometry that a local diffeomorphism of smooth connected manifolds is a covering map iff the pull-back of some (every) complete Riemannian metric on the target is complete as a Riemannian metric on the domain. It is easy to check that the proof goes through in the case of continuous Riemannian metrics. 
Now, the continuous Riemannian metric $\tilde{g}_i=f_i^*(g_i)$ is complete for every $i>0$. On the other hand, for every $i$,
$$
f_i^*(g_i)\le f_0^*(g_0). 
$$
Thus, completeness of the metrics $\tilde{g}_i$ for $i>0$ implies completeness of $\tilde{g}_0$. Hence, $f_0: M\to N_0$ is a covering map. Qed. 
A: If $f_n:U\to\mathbb{C}$ are holomorphic and $f=\lim_{n\to\infty} f_n$ uniformly on each compact subset of $U$, then $f'$ has no zeros, provided none of the $f'_n$'s have any and $f$ is not constant. Indeed, then $f'_n\to f'$ uniformly on all compact subsets of $U$ and if $f'(z)=0$, then we can apply Rouch\'e's theorem to $f',f'-f'_n$ and a disk $D\subset U$ such that $z\in D$, $f'$ has no zeros on $\partial D$ and $sup_{\partial D}|f'-f_n'|<inf_{\partial D}|f'|$ to conclude that $f'_n$ has a zero in the interior of $D$ as well.
On the other hand, it may happen that $f$ is constant: take $U$ to be the unit disk and $f_n(z)=z/n$.
A: The paper of Detlef Bargmann, "Normal families of covering maps" in Journal d'Analyse, 2001, is relevant to this question; see http://dx.doi.org/10.1007/BF02788084 .
His Theorem 1 implies, in particular, the answer to your question: a non-constant locally uniform limit of covering maps is again a covering map. More generally,
More precisely, Bargmann considers meromorphic covering maps $f$ from an open subset of the Riemann sphere to another. Theorem 1 states that, if a sequence $f_n$ of such covering maps converges uniformly in a neighbourhood of some point to a non-constant map, then they converge locally uniformly on the largest set for which this is possible (the kernel in the sense of Carathéodory of their domains), and the limit is a covering map onto its image.
So you do not need to assume that your maps converge locally uniformly on the whole disc, but only in the neighbourhood of some point.
In particular, it contains a proof of the uniformisation of plane domains by an approach via covering maps, which does not require knowledge of the covering of a triply-punctured sphere (i.e., the modular function).
A: Any covering from a disc to a disc is a homeomorphism. (Because the disc is simply connected).
Thus every analytic covering of a disc to itself is fractional linear.
The limit is either fractional-linear or a constant.
On my opinion, this topics should be closed; it does not belong to this list.
