Two gamblers, A and B, make a series of bets, where each has probability 1/2 of winning a bet, but A gets \$2 for each win and loses \$1 for each loss (a very favorable game for A!). Assume that the gamblers are allowed to borrow money, so they can and do gamble forever. Let $p_k$ be the probability that A, starting with \$k will ever reach \$0 for $k \geq 0$. (Probability by Blitzstein and Hwang Chapter 3 no. 46)
My attempt: I found that the recurrence relationship is $p_k = \frac{1}{2} p_{k+2} + \frac{1}{2} p_{k-1}$. This is because there is a $\frac{1}{2}$ chance we get to $p_k$ from $p_{k+2}$ and a $\frac{1}{2}$ chance we get to $p_k$ from $p_{k-1}$. Solving the characteristic equation $\lambda^3 - 2 \lambda + 1$ gives roots $\lambda = 1, \frac{-1 + \sqrt{5}}{2}, \frac{-1 - \sqrt{5}}{2}$. Extrapolating from what I know about solving recurrence relationships with characteristic equations which have two roots, I find $p_k = c_1 + c_2 \left( \frac{-1 + \sqrt{5}}{2} \right)^k + c_3 \left( \frac{-1 - \sqrt{5}}{2} \right)^k.$ I can get one equation for the coefficients with $p_0 = 1$, but I don't see any other obvious initial values. I suppose that perhaps I could use symmetry of $p_1 = p_{-1}$ and $p_2 = p_{-2}$, but before I make that ugly computation, does this approach look generally correct? Given that it is defined for $k \geq 0$, I feel like I'm doing something wrong if I'm having to use the imaginary $k < 0$ as a scaffolding for my computation.