With the binary Brownian drift filter, a stock of observed excess drift is driven by the same Brownian motion as its information state . The Hamilton-Jacobi-Bellman equation for portfolio wealth , dollar stock holding and value includes . Consequently . For CRRA utility, homogeneity gives and hence the displayed stock fraction. The second term is intertemporal hedging demand; replacing the unknown drift by its posterior mean while omitting this term does not generally give the optimal policy.
Use the primitive , as in Question 3, and the usual positive spot volatility convention . An additive utility function constant shifts both agents' value functions equally and does not affect their policies or the comparison. Set
The Itô formula applied to the stock price and the binary Brownian drift filter gives
Let denote the dollar stock holding. The separated state equations are
Both states use the same observed Brownian motion. In particular, their quadratic covariation is .
Let be the Bayesian value function. Its Hamilton-Jacobi-Bellman equation is
The cross derivative is necessary: learning and portfolio wealth are correlated through the same observation shock. At a smooth, finite, strictly concave value, the optimal consumption and stock holding are
The number of shares is , and the wealth fraction is .
More explicitly, homogeneity gives , where . Then
The additional term is the learning hedge in a binary-drift investment model, a form of intertemporal hedging demand. Merely putting the Bayesian posterior mean drift into a constant-coefficient investment formula would omit it. Eliminating the controls gives the coefficient equation
The economic solution is selected by admissibility and the infinite-horizon value condition, rather than by an arbitrary solution of this ordinary differential equation.
For the comparison, now suppose and . Write , , and
When , the informed agent's Merton consumption-investment problem has value
These are the policies available to an agent who knows the true drift is .
For any admissible Bayesian policy, not only its optimum, define
The integration variable is throughout the accumulated utility function. Applying the Itô formula in the Bayesian observation filtration gives
where
The informed-agent Hamilton-Jacobi-Bellman equation says . Maximizing the stock term at any excess drift gives
Since , this maximum increases with . The binary Brownian drift filter satisfies , and therefore
It follows that . Thus is a local supermartingale. Because , both accumulated utility function and are nonnegative. A nonnegative local supermartingale is a genuine supermartingale, by localization and the conditional Fatou lemma. This proves the requested assertion under the Bayesian probability law, without conditioning that law on the favorable drift.
Consequently
The monotone convergence theorem lets tend to infinity. Taking the supremum over Bayesian policies proves the maximal squared Sharpe ratio value bound
In particular this holds at the equal-prior state . No vanishing-terminal-value assumption is needed for this upper bound, because the terminal term is nonnegative and can simply be dropped.
The finite-value assumption is missing from the printed comparison. Without it, and the value inequality is trivial, but is not a finite supermartingale. For a concrete allowed example, take , , , and . Then and . For the informed agent, the constant stock fraction and consumption give
The time integral diverges, so his value is infinite. This is why the nontrivial finite-supermartingale proof above needs the stated qualification.
The joint generator. With again measured in dollars, portfolio wealth obeys
Its noise and the factor noise are driven by the same Brownian motion. Their quadratic covariation is , so the diffusion generator has a cross derivative. Dynamic programming and the Itô formula give
All coefficient functions in this formula are evaluated at . The cross derivative is essential: it gives intertemporal hedging demand. Normalizing CRRA utility as , where , the two optimizations give, at nonzero volatility,
and hence
Here .
Homogeneity and the reduced equation. Scaling initial portfolio wealth and both controls preserves the portfolio wealth constraint and multiplies the objective by the positive number . Thus
This expression is valid for both signs of : is negative when , but its portfolio wealth derivative is positive. Its derivatives are
Substitution yields
The resulting feedback is
The first portfolio term is myopic, and the second is intertemporal hedging demand.
Constant market price of risk. If and volatility is nonzero, the portfolio term becomes , so the magnitude of stock volatility disappears. Applying the power transformation of a complete-market investment equation cancels the squared-gradient terms and gives the further reduction
For its economic solution is . Thus
To see why this solves the investment-consumption problem, optimize directly over Brownian portfolio exposures, writing . The portfolio wealth equation becomes , which no longer contains . With nonzero volatility the same admissible exposure processes are available for every factor state, so the attainable wealth-consumption pairs, and therefore the value, are exactly those of the Merton consumption-investment problem. This also excludes extraneous solutions of the linear equation without imposing artificial factor boundary data.
The printed boundedness assumptions do not ensure nonzero volatility or a finite value. The unsimplified HJB equation remains the correct control equation at a zero of . There the hedge term vanishes; if , the riskless excess return gives arbitrage with unrestricted holdings. Under , a zero-volatility state offers only the bank exposure at that instant. For example , satisfies this relation for any chosen , but its value uses , not a fictitious nonzero risk premium. The constant-value formula using presupposes access to the Brownian exposure, with sufficient integrability for the corresponding holdings. Additive utility constants again only shift by a constant divided by .
Use dollar holdings , including the traded index, and let . The Itô formula gives
Define the state-dependent correlation , , and constants . The self-financing portfolio with consumption has wealth equation
Since all these assets are traded and , the volatility map is invertible. It is useful to optimize over Brownian portfolio exposures
whose market price of risk vector is
Indeed . Put .
For , normalize constant relative risk aversion utility to . Scaling wealth, holdings, and consumption by leaves the index state unchanged and multiplies reward by . Thus
For a finite smooth value with , the Hamilton-Jacobi-Bellman equation, including the shared-noise cross derivative, is
The last term is essential: index changes and the component of wealth are correlated. The first-order conditions yield
Because , , and , the optimized portfolio contribution is
Substitution gives the requested second-order nonlinear equation
Recovering dollar holdings from the exposures gives the optimal controls
Only the index holding carries the extra intertemporal hedging demand, because the index is the source of state variation. The stock positions hedge their common exposure through the index.
The power transformation of a complete-market investment equation gives a useful further simplification. Let , and define
Expanding the squared term and substituting cancels the two terms. The power-transformed investment equation is linear:
Then and . A practical finite difference method solves this linear differential equation on an expanding truncated interval in , enforcing the economically relevant positive solution and checking domain and mesh convergence. If correlation approaches limits strictly inside and the corresponding , the constant-coefficient Merton consumption-investment problem gives endpoint approximations . Without such asymptotics one must determine appropriate growth/transversality conditions; arbitrary fixed endpoint values are not justified. The statement's smooth decreasing correlation alone does not ensure globally bounded market prices of risk or a finite value. Any numerical candidate must also satisfy admissibility and the investment value transversality condition.
The printed includes . In that case choose , whose scaling is additive:
There is no shared-noise cross derivative because . The logarithmic case is
Thus the dollar holdings are the preceding formulas with and the hedge term omitted. This linear differential equation can be solved by the same truncation and convergence strategy.