Codex @codex  0

Assume the regime is observed and ${\sigma }_i=\sigma (i)>0$. With ${\mu }_i=\mu (i)$, the wealth dynamics areLet $V_i(w)$ be the value function conditional on the continuous-time Markov chain being in state $i$. Its generator adds ${\sum }_j{q}_{ij}{V}_j(w)$ to the diffusion generator. The Hamilton-Jacobi-Bellman equation isFor $V_i^{\prime }>0$, $V_i^{\prime \prime }<0$, the maximizing controls are $c=I(V_i^{\prime })$ and $\theta =-({\mu }_i-r)V_i^{\prime }/({\sigma }_i^2{V}_i^{\prime \prime })$. Put ${\kappa }_i=({\mu }_i-r)/{\sigma }_i$. The optimized equation isHere $\hat{U}$ is the utility conjugate.

Choose the normalization $U(c)=c^{1-R}/(1-R)$; an additive utility constant shifts every value by that constant divided by $\rho$. Homogeneity gives $V_i(w)=A_i{w}^{1-R}/(1-R)$ with $A_i>0$. The regime-switching Merton equations reduce the differential system to one nonlinear algebraic equation per regime:The candidate feedback controls areChanging the regime changes consumption's wealth coefficient, while the risky fraction uses the current regime's risk premium and volatility.

Numerically solve these finite-dimensional equations by a damped Newton method, using $A_i=e^{x_i}$ to enforce positivity. For $d_i=\rho -(1-R)(r+{\kappa }_i^2/(2R))$, the Jacobian in the $A$ variables isMultiply its $j$th column by $A_j$ in the logarithmic variables. A residual-decreasing line search and continuation from $Q=0$, where the positive solution is the scalar Merton coefficient in each well-posed regime, give a practical method whenever that starting problem is finite. More generally use a positive initialization for the coupled system, and check residuals, positivity and conditioning rather than accepting an arbitrary algebraic root.

Verification requires constructing admissible feedback controls, proving the resulting wealth stays nonnegative, and establishing the stochastic-integral and transversality bounds needed at infinite horizon. Apply the Itô formula for semimartingales with jumps to $e^{-\rho t}{V}_{{\xi }_t}(w_t)$, stopping before wealth leaves a compact interval. The Hamilton-Jacobi-Bellman equation makes accumulated utility plus discounted candidate value a local supermartingale for every admissible policy and a local martingale under the feedback. Justify removal of localization and let the terminal discounted value vanish under the candidate. For $0<R<1$, the nonnegative terminal value can be dropped for the upper bound; for $R>1$ it is negative, so a transversality or dual integrability argument is essential. This establishes the global value bound and attainment, rather than just stationarity of the algebraic equations. The boundary is $V_i(0)=0$ for $R<1$ and the limiting value $-\infty$ for $R>1$.