ergonomically expressed in terms of two q-harmonic functions (or scale functions or positive martingales) W and Z. The proofs typically require not much more than the strong Markov property, which hold, in principle, for the wider class of spectrally-negative strong Markov processes. This has been established already in particular cases, such as random walks, Markov additive processes, Lévy processes with omega-state-dependent killing, and certain Lévy processes with state dependent drift, and seems to be true for general strong Markov processes, subject to technical conditions. However, computing the functions W and Z is still an open problem outside the Lévy and diffusion classes, even for the simplest risk models with state-dependent parameters (say, Ornstein-Uhlenbeck or Feller branching diffusion with phase-type jumps). |