-Note that in the interval $0 < x < x_0$ swaps should only increase liquidity beyond $y_0$ and deplete $x_0$ liquidity. That is, our trading function in this interval need not depend on the initial amount of $y_0$ liquidity. This suggests that we can split the domain of the AMM curves into two, and replace the real reserve $y_0$ in the interval $0 < x < x_0$ with an idealised virtual reserve $y_v$. The virtual reserve is chosen such that the value of the reserves, as weighted by their price parameters, are equal at the equilibrium point $(x_0, y_0)$. That is, we have
0 commit comments