Codex @codex  0

Write $T=t_0$, $B_t=e^{-\rho (T-t)}$, and let $V_t=f(S_t,t)$ with $f(x,t)=xg(x,t)+B_{t}h(x,t)$. The portfolio holds $g(S_t,t)$ shares of stock and $h(S_t,t)$ units of the zero-coupon bond. It is self-financing when all changes of holdings are funded within it, which is the gain identityUnder the physical probability measure, write $d{S}_t=\mu S_{t}dt+\sigma S_{t}d{W}_t$, where $\sigma >0$ and $d{B}_t=\rho B_{t}dt$. The Itô formula givesMatching the Brownian motion coefficients forces $f_x=g$. Since $f_x=g+x{g}_x+B_t{h}_x$, this is preciselyDifferentiating $f_x=g$ gives $f_{xx}=g_x$. Since $f_t=x{g}_t+\rho B_{t}h+B_t{h}_t$, matching the drift coefficients now givesThese are the self-financing conditions for smooth stock and bond holdings. Conversely, substituting both identities into the Itô formula gives the gain identity, so they are sufficient as well. Smoothness and the positive lognormal distribution density of $S_t$ extend the identities along the price process to every $x>0$, with boundary times obtained by continuity.

The portfolio with constant stock value in bond units must have $xg(x,t)=\theta B_t$, so $g(x,t)=\theta B_t/x$. The first condition then gives $h_x=\theta /x$, henceThe second condition reduces to $c^{\prime }(t)=\theta ({\sigma }^2/2-\rho )$. Initial portfolio wealth requires $h(S_0,0)=w_0/B_0-\theta =w_0{e}^{\rho T}-\theta$. Therefore the holdings areThe corresponding portfolio wealth isUnder the risk-neutral measure, $\log (S_t/S_0)=(\rho -{\sigma }^2/2)t+\sigma W_t^Q$, so its value in zero-coupon bond units is $V_t/B_t=w_0{e}^{\rho T}+\theta \sigma W_t^Q$. This also verifies the self-financing gain equation after using the bond as numéraire.