Write for the state probabilities under an equivalent martingale measure. Since cash is constant and the European put option pays only in the lowest state, the pricing equations are
Their unique solution is , , . Every physical state has positive probability, so equivalence requires all three values to be strictly positive. Thus
For each price in this open interval the pricing kernel takes values in the three equally likely states, proving absence of arbitrage.
The necessity, including the exclusion of endpoints, can also be checked directly. The three terminal payoff vectors of cash, the stock and the European put option form the invertible matrix
Each unit state payoff therefore has a replicating strategy, whose initial cost is the corresponding . A zero or negative supplies an arbitrage, so the endpoints are genuinely excluded.
Write for holdings of cash, the stock and the European put option, and let be initial consumption. At the given price, , and the three terminal payoffs, in descending order of the stock price, are
Nonnegative terminal payoffs require and . Together with , these imply . If they force , which is not an arbitrage. If , the highest-state payoff is at least , so every such choice is an arbitrage. Consequently the complete set is
The pure-investment arbitrages are exactly the choices :
For example, costs zero and pays .
Assume the usual positive initial stock price and strike, so the logarithm is defined, and interpret as a classical solution of the displayed partial differential equation. For a fixed complex , put , defining . The Itô formula for the two Brownian motions with correlation coefficient gives
The partial differential equation cancels the entire drift. By the permission to treat the resulting local martingales as true martingales, and the terminal condition, .
The bounded spot volatility ensures : the Itô formula for a real power and localization bound its moment by . Rewrite the proposed integrand as
Now , an integrable bound independent of . Conditional Fubini's theorem and part (b) therefore imply
This route justifies the contour exchange without assuming bounds on uniform in all complex . Cash is constant, is a true martingale under the stated allowance, and the displayed is a true martingale. The original measure is thus an equivalent martingale measure for all three assets. The fundamental theorem of asset pricing gives the market has no arbitrage under the usual admissible trading convention.
Let and be the predictable holdings of the stock and the bank account. With no consumption, the self-financing portfolio has and . The Itô product rule, together with the dynamics from part (a), gives
The drift vanishes because and . Thus is a local martingale. It is nonnegative by the assumed nonnegative wealth and strict positivity of , and hence
For example, this last fact follows directly from Conditional Fatou lemma applied to a localizing sequence; the initial capital is assumed finite. As usual, holdings must be integrable against the asset semimartingales for the self-financing portfolio equation to be defined.
With constant coefficients, is constant, so the stochastic exponential is a true martingale. Under its equivalent martingale measure , the stock follows the Black-Scholes model . The Gaussian exponential moment gives the value of the power option
The option delta is , so the replicating strategy holds
Half the wealth value is in the stock and half in the bank account, with continuous rebalancing. To check the self-financing portfolio property under the original measure, the Itô formula gives . Also and .
The payoff is unbounded, so the bounded-payoff restriction of part (c) is not invoked automatically; the Black-Scholes model has the necessary finite Gaussian moments, and the explicit strategy attains . The supermartingale bound from part (b) therefore proves its minimality. The cost is independent of the physical drift .