"Ito's Lemma" and the Bellman equation for poisson processes : an applied view

Using the Hamilton-Jacobi-Bellman equation, we derive both a Keynes-Ramsey rule and a closed form solution for an optimal consumption-investment problem with labor income. The utility function is unbounded and uncertainty stems from a Poisson process. Our results can be derived because of the proofs presented in the accompanying paper by Sennewald (2006). Additional examples are given which highlight the correct use of the Hamilton-Jacobi- Bellman equation and the change-of-variables formula (sometimes referred to as ?Ito's- Lemma?) under Poisson uncertainty.