Choose a localizing sequence of discrete-time stopping times for . For fixed integer , every stopped value is bounded in absolute value by the finite sumThat sum is integrable under the hypothesis. Since is a martingale,The dominated convergence theorem, including its conditional version, now removes the stopping. Thus . The process is adapted and integrable by hypothesis, so is a true discrete-time martingale. This is the integrable discrete-time local martingale is a martingale criterion. The finite sum dominating stopped values is the crucial discrete-time feature.
The stopped processes are nonnegative martingales. Their expectations equal the finite deterministic value . The Fatou lemma gives, for each fixed integer ,Thus every is integrable. Apply the preceding discrete-time criterion to conclude is a martingale, not merely a supermartingale. This is the nonnegative discrete-time local martingale is a martingale result; its conclusion does not extend to arbitrary continuous-time nonnegative local martingales.
Predictability means is -measurable. If , each product is integrable, and the finite sum defining is integrable. Pulling the bounded predictable factor out of the conditional expectation givesTherefore the bounded predictable martingale transform is a martingale starting at zero.
Stop just before a large predictable coefficient would be used. Setwith the infimum of the empty set equal to infinity. Because is -measurable, is a stopping time. The increment of the stopped martingale transform isIts coefficient is predictable and bounded by : the first coefficient exceeding occurs at the step after stopping, and is never included. Part (c) makes a martingale. Since the finitely many on any fixed finite horizon are finite almost surely, almost surely. ThusThis is predictable-coefficient localization of a martingale transform. Stopping after taking the large increment would not give the required bound.
First propagate terminal nonnegativity backwards; it is not necessary to assume nonnegative wealth at intermediate dates. Suppose and defineThese events increase to the whole space up to a null set. On , both the old value and the coefficient are bounded, so is integrable andThe left side is nonnegative; hence on every , and therefore almost surely. Starting from , induction gives for every .
The process stopped at is now a nonnegative discrete-time local martingale. Part (b) makes it a martingale with initial value zero. Consequently , and a nonnegative random variable with zero expectation vanishes almost surely:This is the terminal nonnegativity criterion for a finite-horizon martingale transform. A finite deterministic horizon is essential to the backward induction.
A trading strategy chooses a vector of holdings for the period , with measurable with respect to . Its end-of-period wealth is . Rebalancing at date is self-financing whennew holdings cost exactly the value released by the old holdings. With fixed initial capital , the equivalent gains identity isA European contingent claim is a maturity- payoff measurable with respect to . It is attainable if there exists a predictable self-financing strategy and an initial capital for which almost surely. Such a strategy is a replicating strategy, and is its initial replication cost. Holdings are understood only up to the maturity being replicated.
On a finite sample space, all real-valued holdings over the finite interval are bounded after null states are discarded. The gains identity is therefore a bounded predictable martingale transform of the vector martingale , summed over its coordinates. It follows that is a martingale, soHere the replication cost is a prescribed deterministic initial capital, as in the definition of attainability. The stronger intermediate identity is . If initial capital is instead allowed to be -measurable and random, the corresponding statement is ; its unconditional expectation still equals .
Let be the predictable stock holding during . Cash has constant price, so self-financing givesPut . The tower property of conditional expectation and -measurability of giveSince , and are -measurable, substituting the gains identity yieldsThe denominator is positive on every positive-probability parent atom. If it were zero on such an atom, would be constant there, and the martingale property would force that constant to equal , contradicting the nonzero-increment assumption. HenceThis is conditional covariance hedge ratio. It uses attainability; a regression coefficient alone would not replicate a general unattainable payoff. After maturity one may liquidate into cash, so the same formula gives zero for later dates wherever its denominator remains nonzero. On a finite sample space a martingale cannot have nonzero increments forever; the stated nondegeneracy is naturally a finite-maturity assumption.
Work conditionally on a positive-probability atom of . Let have the conditional distribution of there, and let be an independent copy of that conditional law. The finite sample space makes all expectations finite. ThenStrict increase of makes the integrand nonnegative, and strictly positive whenever . The conditional variance is positive by part (c), so the conditional distribution is nondegenerate and . Thus the numerator of the hedge ratio is strictly positive on every such atom. The denominator is also positive, givingThis is strict positive covariance with an increasing payoff. The independent copy is taken from the conditional distribution, not from an unrelated unconditional distribution.
Write the discount factor as . Splitting the time integral at givesThe random variable lies in because the short rate is nonnegative and continuous on the finite maturity interval. A process of conditional expectations of an integrable terminal variable is a martingale, by the tower property of conditional expectation. Therefore
The terminal density is strictly positive and has expectation one under the usual deterministic initial bond-price convention. Its density process isFor , the Bayes formula for conditional expectation under a change of measure givesThe same calculation at gives the finite expectation , so this is a true martingale, not just a formal conditional identity. Thus the continuous-time bank account measured in units of the maturity- bond is a -martingale. This is the forward measure change of numéraire. If the initial bond price were random rather than given, integrability of its reciprocal would need to be included for this true-martingale assertion.
To avoid confusing the continuous-time bank account with the coefficient of , denote the latter by and the other coefficient by , where . Apply the Itô formula to . Since the expression is affine in , its second rate derivative is zero. Its drift isThe quadratic terms cancel. The remaining expression isIt vanishes when and . For a unit bond payoff choose terminal conditions , , givingThe resulting local martingale is . The allowed bound puts it between zero and one, so the bounded local martingale criterion makes it a true martingale. At maturity it equals . Comparing with part (a) therefore givesIn particular , and . This is linear bond pricing in a bounded short-rate diffusion; choosing zero coefficients would produce a local martingale but would not price the required terminal payoff.
Use the same affine drift cancellation with terminal conditions , . It gives , , soThe process is bounded, which justifies the conditional expectation identity. The Bayes formula for conditional expectation for the forward measure now givesThe denominator is positive; the ratio lies in and equals at maturity. This is the forward-measure terminal rate in a linear bond model.
Buy one lower-strike European call option and sell one higher-strike European call option. The initial cost is , so the strategy releases strictly positive cash. Its terminal payoff isfor every stock price. Thus it is an arbitrage: a positive initial receipt accompanies a nonnegative terminal obligation. One may consume the receipt immediately, or hold it in cash to make a zero-initial-capital strategy with strictly positive terminal wealth. This is the vertical-spread arbitrage for increasing call prices.
Buy half a call at each neighboring strike and sell one call at the middle strike. Its cost isFor fixed terminal stock price , the function is convex. Since is the midpoint, the payoffis nonnegative for every . More explicitly, it is zero outside , equals on , and equals on . The negative cost and nonnegative payoff produce an arbitrage. This is the butterfly-spread arbitrage for nonconvex call prices.
Use positive strikes, the natural real-power domain of this price curve. For any such , the stock-minus-call payoff isalmost surely, since . Therefore the call price must be strictly below the stock price : if , buying stock and selling the call has nonpositive initial cost and strictly positive terminal payoff. Also a negative call price is an immediate arbitrage by buying the call.
For , and raising to the negative power reverses the inequality, giving and . The expression is undefined at . For , strict concavity of the power implies , whenceAt , . Every defined case with therefore violates the necessary no-arbitrage bounds. ConsequentlyThis argument does not require a dense family of strikes; even one positive-strike call gives the contradiction. The strict stock-minus-call payoff explains why the borderline is also excluded.
Use zero-interest cash as the one-period numéraire, consistent with the stated expectation-price formula. For , differentiate the proposed call-price curve twice. The first derivative and the candidate density areThis is the power call-curve pricing density. It is strictly positive. Its integral is , and its survival function is . Since and ,Likewise, integrating the survival function from onwards givesThus a market whose terminal stock has this law under an equivalent martingale measure prices the stock at one, every proposed call at , and any integrable claim at . The finite-market fundamental theorem of asset pricing says that an equivalent measure pricing every traded discounted payoff by expectation excludes arbitrage. This proves the intended conclusion when such an equivalent pricing law is part of the model. For example, take the canonical terminal state space with stock equal to its coordinate and physical law equivalent to the positive density .
There is, however, a genuine insufficiency in the literal finite-strike formulation: a finite list of call prices and no-arbitrage alone do not force this pricing law, nor even a continuous terminal distribution. Here is an explicit counterexample. Take , one strike , and two terminal stock valuesGive the lower stock value the remaining strictly positive probability and take this as the physical measure too. Direct calculation gives andso the stock/cash/call market is arbitrage-free. Now letThis bounded nonnegative function is zero at both actual stock values, so almost surely. Yet . Charging that positive amount for the identically zero payoff creates an arbitrage by selling it. In fact no Lebesgue probability density can price every claim correctly on this two-state market.
Therefore the displayed is the intended continuous pricing density, but the promised no-arbitrage extension requires an equivalent pricing measure with this terminal law; a full call curve identifies that law if such a measure exists, but it does not follow from the printed finite-strike hypotheses alone. This is the finite-strike nonidentification of a pricing density. The counterexample and the corrected sufficient hypothesis account for the literal and intended readings separately.
Multiply the linear stochastic differential equation by . The Itô product rule givesThe integrand is deterministic, so the Itô integral has a centered normal distribution. Its variance, by the Itô isometry, isHenceAt the correct continuous-limit formula is . A zero variance, for example when , denotes the deterministic distribution. For the variance is still positive because both numerator and denominator in its quotient are negative. This is the explicit Ornstein-Uhlenbeck solution, allowing either sign of the linear drift coefficient.
Choose the market price of risk . The Girsanov theorem, with the hypotheses allowed in the question, gives an equivalent martingale measure under whichThus the stock under the risk-neutral measure is a linear Gaussian diffusion. In particular, for its conditional mean and standard deviation arePut and let be the standard normal distribution function. For ,since . Discounting this expectation gives the call price in an arithmetic stock model with interest. A particularly convenient expression isAt maturity define . This value is nonnegative because it is a discounted expectation of a nonnegative payoff.
For , hold shares and hold units of the continuous-time bank account. The pricing function solvesThe Itô formula under the physical measure therefore givesThis proves self-financing and terminal replication, with wealth always . The coefficients are locally smooth before maturity, and the strategy extends to maturity through its continuous wealth limit and the square-integrable discounted payoff representation.
To see minimality, any other nonnegative self-financing portfolio replicating the payoff has discounted wealth a nonnegative local martingale under , hence a supermartingale. Its initial capital must satisfy . The strategy constructed above attains equality. ThusThe additive physical diffusion may take negative stock values; the formula and nonnegative replicating wealth remain valid. Replacing it by a multiplicative Black–Scholes diffusion would give the wrong price and hedge.
Differentiate the Gaussian price with respect to . The terms involving derivatives of cancel because and . Thus the delta hedge isFor every , and is finite, so . At maturity its limiting value is the payoff derivative except at the kink, an event of probability zero under the equivalent Gaussian law. Consequently the stock holding is always nonnegative and never exceeds one. The initial drift does not enter this hedge; it is removed by the change to the risk-neutral measure.
The mark-to-market value of holdings in the asset-price vector is the dot product . A self-financing strategy pays for every rebalancing from within the portfolio. Over a short interval, the gains on the currently held assets are , while consumption removes units of wealth. ThereforeThe holdings are predictable and integrable against the price semimartingale; the consumption rate is nonnegative and suitably measurable. This is the continuous-time self-financing-with-consumption convention.
Use the state-price density as a positive local martingale deflator, so each component of is a local martingale. The Itô product rule and the wealth equation giveThe consumption term has finite variation, and the quadratic covariation of a stochastic integral satisfies . Also . Regrouping the terms therefore givesThe differential before is necessary: the first term is a stochastic gain, not the level of the deflated portfolio. It is missing in the printed display. This is the deflated wealth equation with consumption.
The integral against the local-martingale vector is a local martingale, provided the predictable holdings are stochastically integrable. Integrating part (b) givesBoth and the cumulative deflated consumption are nonnegative. Hence . With the usual finite deterministic initial capital, the shifted processis a nonnegative local martingale, and is therefore a supermartingale. For completeness, a localizing sequence turns it into true martingales; conditional Fatou lemma for their nonnegative stopped values gives the supermartingale inequality and ordinary Fatou gives integrability at each time. Subtracting the initial constant provesThis is supermartingale control of deflated consumption gains. It uses as well as ; an unrestricted stochastic integral is not necessarily a true supermartingale.
Part (c) gives . Since , its integrated identity impliesfor every finite . The cumulative consumption increases with , so the monotone convergence theorem yieldsThis is the infinite-horizon state-price budget constraint. No terminal-wealth convergence or vanishing assumption is needed for this inequality.
Concavity gives the supporting-tangent inequalityMultiply by the discount factor and use the first-order condition . This gives the pointwise marginal-utility verification of optimal consumption inequalityApply the budget inequality from part (d) to the competing admissible strategy, and use equality for the proposed one:The two weighted consumption integrals are finite, so their difference is integrable. Under the usual positive discount-rate assumption , the utility integrals are also integrable: for a finite upper bound , and . Integrating the tangent inequality and taking expectations therefore givesEconomically, both consumers face the same state-price budget, and the candidate spends it exactly where its discounted marginal utility equals the state price. This is utility duality with martingale deflators in its consumption form.
A positive , or another hypothesis making the infinite-horizon objectives well defined and permitting this integration, is needed. The printed question does not specify the sign of . Bounded utility alone does not ensure that an undiscounted infinite time integral exists: a bounded integrand can have both infinite positive and negative parts. Thus the conclusion is established under the standard discount convention , and also whenever the displayed objectives satisfy the stated integrability conditions; without either convention the literal infinite-horizon comparison need not be a defined mathematical expression.
This can occur within an admissible financial model, not just for an abstract bounded integrand. Take and . Choose a deterministic smooth nonnegative with successive unit-length plateaus alternating between zero and the integer , and connect them over intervals whose lengths have finite sum. Then : the high-plateau contributions sum to and the transition integrand is bounded by . SetThe bank account is a positive deterministic Itô process and , so is a state-price density. Holding bank units finances consumption with nonnegative wealth and exact budget equality. Also . Nevertheless every zero plateau contributes to the utility integral, while each sufficiently high plateau contributes a fixed positive amount. Both its negative and positive parts are infinite, so the undiscounted objective is undefined. This establishes why the missing discount or objective-integrability hypothesis is substantive.
Articles by others on the same topic
There are currently no matching articles.