First-claim decomposition for survival probability

In a classical risk model, before the first claim at time $t$, available capital is $u+ct$. A claim of size $x\le u+ct$ leaves future survival probability $\phi (u+ct-x)$ by the Markov property. Integrating over the independent first-arrival exponential distribution and claim density gives $\phi (u)={\int }_0^{\infty }\lambda e^{-\lambda t}{\int }_0^{u+ct}\phi (u+ct-x)f(x)dxdt$.