Fix the maturity horizon. Since is a nonnegative local martingale and is bounded, : and . The bounded nonnegative payoff thus makes integrable. Set
The Brownian martingale representation theorem yields , using its locally square-integrable version for an integrable terminal random variable. The Itô formula for gives
Choose the replicating strategy
Its self-financing portfolio equation has exactly the displayed drift and diffusion, because . All coefficients are locally integrable after stopping; the holdings are predictable in the augmented natural Brownian filtration. This construction has and , so it is an admissible replicating strategy under the question's nonnegative-wealth convention.
For any other nonnegative self-financing portfolio replicating the same payoff, part (b) implies . The constructed strategy attains equality, since and in the augmented natural Brownian filtration. Hence
This is deflator-based claim replication; it does not require upgrading the local martingale deflator to a true martingale density.
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 .
The pair is a martingale when is a filtration, each is -measurable and integrable, and
The finite-horizon discrete-time fundamental theorem of asset pricing states that the market has no arbitrage if and only if there exists a probability measure equivalent to under which every integrable discounted asset price is a martingale. Such a is an equivalent martingale measure.
Put . Since
the martingale condition is
The root in is therefore
Let be a localizing sequence for . For , the optional sampling theorem gives
Both sides converge almost surely to and , and . Conditional dominated convergence therefore yields , so is a martingale. Moreover, the family is dominated by the integrable random variable , hence is uniformly integrable. Thus is a uniformly integrable martingale.
The pair is a martingale if is a filtration, is an adapted process, every is integrable, and
The process is adapted to its natural filtration. At each fixed time it has finite support and is therefore integrable. Conditional on ,
Conditional on ,
The Markov property now gives
so is a martingale.
In the one-period building block of the Cox--Ross--Rubinstein model, the money-market account grows by a deterministic factor , while the stock grows independently at each time by
Thus and . Equivalently, the discounted stock has multipliers and .
The model has no arbitrage precisely when the risk-free return lies strictly between the stock returns:
Indeed, failure of either strict inequality gives a one-period arbitrage, while under the strict inequalities the probability
lies in . Taking the moves independent under with up probability makes the discounted stock a martingale, since . This is the unique Risk-neutral probability in the Cox--Ross--Rubinstein model, hence the unique equivalent martingale measure.
The model has a unique equivalent martingale measure under which
and the discounted stock is a martingale. The time-zero value of an integrable time- contingent claim is therefore
A random time is a stopping time when the event is determined by . The Strong Markov property says that, conditionally on and , the process is a fresh Markov chain started at , independent of the history before .
Use the state space , with absorbing. Observe the chain only when it is at square 2. From , the change in wealth by the next return to square 2 has distribution
Indeed, heads lands on square 3 and returns to square 2 after losing £1. After tails reaches square 4, the remaining two or three moves give the other cases.
For ,
Thus is a martingale for the embedded wealth random walk . Stopping when it first reaches or a large upper level and then letting that level tend to infinity gives
The upper-bound contribution vanishes because ; equivalently, this is the smaller probability solution of the first-step equation.
If , then
The centered increments are independent of the past and have mean zero, so
is a martingale.
The heat-semigroup form is . For , independence and additivity of Brownian increments give
where is an independent increment. Thus is a martingale.
A process is a martingale with respect to a filtration when:
  • is -measurable for every , so the process is adapted;
  • for every ;
  • for every ,
Equivalently, every increment has conditional mean zero given the past.
For a bounded stopping time , write
The indicator is measurable at time . Taking conditional expectations term by term and using the supermartingale inequality gives . The same calculation gives equality for the martingale . Since their initial values agree, .
Condition on the information through time . Independence of and the definition of the Bellman equation for terminal-wealth utility imply
because the actual holding is one candidate in the supremum. Thus is a supermartingale for every strategy.
For the stated strategy it is a martingale, so
Every competing strategy has expected terminal value at most by the supermartingale inequality from part (a), evaluated at the bounded time . Hence is optimal.
The partial sums are a martingale, as are . Since the increment has mean zero and nonzero variance, there are with and . From any point in , a sufficiently long run of either kind exits the interval. Independence in consecutive blocks therefore bounds by a geometric sequence. In particular, almost surely and .
Apply the optional stopping theorem first to . Since the increments are bounded and , the stopped variables are uniformly integrable and passage to the limit gives
Applying the same argument to , using , gives
Under a risk-neutral measure, the discounted stock must be a martingale. If is the probability of the factor , this condition is
so
The hypothesis ensures , making this equivalent to the original probability measure. Since the returns are independent under , the number of up moves has a binomial distribution, and hence
Start Brownian motions at arbitrary . Use the successive meeting times from part b, but after coordinate meets, drive that coordinate of the second process with the first process's increments forever. The Strong Markov property shows that each marginal remains a -dimensional Brownian motion. By part b every coordinate is eventually locked, so the resulting coordinatewise coalescing coupling of Brownian motions has an almost surely finite coalescence time .
Because is bounded and harmonic, Dynkin formula for Brownian motion shows that and are bounded martingales. Therefore
Since almost surely, the right side tends to zero. Thus for all , proving the Brownian coupling proof of the harmonic Liouville theorem.