Can we find a Taylor Series expansion for $y(x)$ implicitly defined by: 
$$\sum \_{i=1}^nA\_ie^{a\_ix+b\_iy} = 1 ?$$


In financial mathematics, the two-additive-factors Model G2++ is commonly used for interest rates forecasting. G2++ Model parameters are calibrated on market Caps and Swaptions prices. On the basis of these calibrated parameters complex financial product prices are computed using Monte-Carlo methods.


For further details on G2++ models refer for example to [Brigo & Mercurio](http://link.springer.com/book/10.1007%2F978-3-540-34604-3)


Numerical computational challenges arise due to the necessity to integrate an implicitly defined function of the form:


$$\sum \_{i=1}^nA\_ie^{a\_ix+b\_iy} = 1 ,$$


which implicitly defines $y(x)$. All other parameters $A\_i$, $a\_i$ and $b\_i$ are constant positive real numbers.


Now comes my question: 
What is the Taylor of $y(x)$ around $x=0$?


I started with a highly simplified version of the equation:


$$e^{x+y}+e^{x+by} = 1,$$


And found explicit closed form solutions for $y(x)$ when $b \in \{0,1,2,3,4\}$. This corresponds to the cases when the equation becomes Galois solvable. But what if $b$ is irrational, or arbitrarily large?


At least for this simplified single parametric version, wouldn't there be a strategy to obtain Taylor Series expansions?


Thanks for your answers or suggestions! They are greatly appreciated.




---


Looking at the case $b=2$, it seems that $y(x)$ is really close to its linear asymptotes $x+y=0$ and $x+by=0$. maybe a clue? 
[see here](https://i.stack.imgur.com/KqBhb.jpg).



Taylor Series expansion for an implicitely defined family of functions
The coefficient of the Taylor expansion of y at x=0 can be found recursively.
The convergence of the resulting series can be analyzed by mayorizing the coefficients and verifyig that the majorant series converges in a neighborhood of x=0. In your case, bounding the tail of the Taylor series may be important to decide how many terms to keep. 


You can find the recursion in any proof of the Implicit Functions Theorem for analytic functions in the complex plain. 


