## Asymptotics on implicit function

We consider the asymptotics of the coefficients of generating function $y(x)$, which is defined by the implicit function $y= F(x,y)$.

Let $F(x,y)$ be a rational function in $x$ and $y$, such that $F(x,y)$ has non-negative coefficients of development in $x$ and $y$. Further $F(x,y)$ is not a linear function of $y$. Can we conculde that $[x^n]y(x)\sim \rho^{-n} n^{-\frac{3}{2}}$?

If not, what kind of additional condition do we need to prove such asymptotics?

It seems that it can be derived from singularity analysis. One reference could be Flajolet and Sedgewick's Book "Analytic Combinatorics". However the proof in there is rather obscure to me.

I think that we still need to additional condition to make that conclusion, such as there exist $r>0$ and $s>0$ satisfying $$F(r,s)=s, F_x(r,s)=1.$$

-
You say F is rational in y, but did not say anything about dependence of F on x, so how can you expect any asymptotic? – Alexandre Eremenko Sep 15 at 14:21
@Alexandre Eremenko Thanks. Corrected. – Thomas Li Sep 15 at 16:43
Where is the proof in Flajolet-Sedgewick? – Igor Rivin Sep 16 at 0:07
@Igor Rivin In the proof of Theorem VII.6 (DLW theorem) on page 490 (eletronic version) they claim that it is true for polynomial F(x,y). – Thomas Li Sep 16 at 7:52