Pricing kernel and replication. In the nondegenerate Black-Scholes model, put and normalize the state-price density by . The process is
The density changes probability to the risk-neutral measure. Under that measure is a Brownian motion and the stock drift is . Thus an integrable contingent claim has time- price
In the usual augmented natural Brownian filtration, the Brownian martingale representation theorem supplies a replicating strategy; this is the complete market assumption. For a nonnegative admissible trading strategy without intermediate consumption, the state-price budget constraint is , with equality for a fully invested replicated claim. In particular
Feasibility and the largest slope. First take the intended regime , , , and the usual nonnegative portfolio wealth constraint. The terminal wealth floor is
For any feasible claim the state-price budget constraint implies
Therefore . Conversely, when , hold shares and put the remaining in the continuous-time bank account. Its terminal portfolio wealth is
Hence
At equality, has cost exactly . Positivity of the state-price density forces almost surely: any strict improvement would cost more. Invest all initial portfolio wealth in shares and hold them until .
Optimal payoff below the feasibility limit. For the floor is strictly positive, and its price is strictly less than . Assume the utility function is increasing, differentiable and strictly concave, satisfies the Inada conditions, and has the integrability needed for the finite-budget optimization. These are the usual hypotheses implicit in using inverse marginal utility. For each positive multiplier , maximize
separately in every state. Its derivative decreases through zero at , so the floored marginal utility optimizer is
The multiplier is characterized by
Under the stated integrability hypotheses the left side is continuous and decreasing, tends to the floor cost as , and tends to infinity as . It is strictly decreasing wherever it exceeds the floor cost: on the event where the inverse-marginal-utility payoff exceeds the floor, a larger multiplier strictly reduces that payoff. Therefore the budget determines a unique finite multiplier. For CRRA utility the inverse marginal utility is ; lognormal moments provide the needed integrability.
For completeness, pointwise maximality gives, for any feasible competing terminal portfolio wealth ,
Taking expectations and using proves optimality. Strict concavity gives uniqueness of the terminal claim. Its price process
is nonnegative and starts from ; claim replication therefore turns the payoff optimizer into an admissible portfolio.
What the missing interest-rate hypothesis changes. The PDF does not explicitly assume or give the utility and admissibility hypotheses above. These omissions matter. At , under nonnegative admissibility, the largest feasible slope remains : for larger slopes the positive-part floor costs strictly more than , since has support . But every already gives floor cost exactly , so the only feasible terminal claim is . There is no spare budget for an inverse-marginal-utility improvement. For example , and CRRA utility make for every finite . The prescribed positive finite multiplier then does not exist.
For negative , nonnegative admissibility requires the effective floor . Define its cost
This is continuous and convex. For it equals , exceeding below the endpoint. At , and . Above that endpoint the lognormal stock gives strict convexity, and . Thus there is a unique second root of , the feasible slopes are , and the largest is . Equivalently, for the floor price is times the European call option price with strike . At the upper endpoint replicate ; in the interval with strict budget slack the same floored marginal utility optimizer applies with .
If instead portfolio wealth may be negative and utility is defined on all real portfolio wealth, the floor itself has its affine replication cost: at every slope is feasible, and at negative every is feasible. There is then no largest finite slope. The intended stock-only endpoint and strict-slack optimizer use positive interest and standard nonnegative admissibility.