Condition on the information available before time . The current wealth is then fixed, while is independent of that information. PutFor any portfolio , use the inner product induced by the positive-definite matrix to writeThe linear image of a multivariate normal vector shows that the two portfolio returns are jointly normal, andThus independence of uncorrelated jointly normal variables makes the residual return independent of the aligned return; it also has expected value zero.
The continuation value is concave by part (c). Conditional Jensen inequality therefore shows that adding the independent centered residual cannot improve the objective:where . Since the optimal portfolio is unique, its residual must be zero.
It remains to determine the sign. If , the portfolios and have the same return variance, namely , while their means are and . The latter return has the distribution of the former plus the positive constant . Since is increasing, replacing by cannot reduce the objective, contradicting uniqueness. Hence .
Applying this conditional argument at every time gives nonnegative, past-measurable random variables such thatThis is the Gaussian one-fund theorem.
Solved by gpt-5.6-sol high.
Codex Wiki