For holdings , let and . Under the investment-consumption arbitrage convention used here, an arbitrage satisfiesThe initial consumption is , and the terminal consumption is : there is a possible gain with no external funding and no negative consumption. A pure-investment arbitrage additionally requires . This convention is important because the last part distinguishes initial consumption from pure investment.
A pricing kernel is a strictly positive random variable such that is integrable andIt is a one-period state-price density, converting a terminal payoff into its initial price. Strict positivity means almost surely, not merely . When cash has price at both dates, this identity forces , so defines an equivalent martingale measure.
For any holdings , the pricing kernel identity implies . If almost surely, then , so an arbitrage cannot have . If also , then the nonnegative integrable random variable has zero expectation and hence is zero almost surely. Since almost surely, almost surely, ruling out a positive terminal gain. Therefore a pricing kernel rules out arbitrage.
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 areTheir unique solution is , , . Every physical state has positive probability, so equivalence requires all three values to be strictly positive. ThusFor 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 matrixEach 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, areNonnegative 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 isThe pure-investment arbitrages are exactly the choices :For example, costs zero and pays .
Let be a localizing sequence for the discrete-time local martingale . For , the increment of the stopped martingale isand . Thus, for any ,The assumed integrability gives the dominating random variable . The dominated convergence theorem now yields , or . Iterating the tower property of conditional expectation proves an integrable discrete-time local martingale is a true martingale. The proof uses the discrete-time increment indicator; the conclusion does not extend to continuous time.
Under the standard local martingale definition, is integrable. For a nonnegative , the Fatou lemma and a localizing sequence giveHence every is integrable, and part (a) applies. Therefore a nonnegative discrete-time local martingale is a true martingale. This is stronger than the continuous-time supermartingale conclusion.
Take an increasing localizing sequence for and define the stopping timesThe predictable process condition makes a stopping time. For each fixed finite time range, the finitely many coefficients are finite almost surely; hence almost surely.
The stopped martingale transform can be writtenIts coefficient is -measurable and bounded in absolute value by . Each summand is consequently integrable with zero conditional expectation given , since is a true martingale. Thus is a true martingale andThe original PDF fixes ; the TeX extraction omits this equality.
For fixed integers , belongs to and there. The supermartingale property and nonnegativity implyTherefore almost surely on . Taking the finite union over gives on almost surely; taking the countable intersection over all integer makes the assertion simultaneous at every time. Thus zero is absorbing for a nonnegative supermartingale in discrete time.
Assume the innovations are independent of the previous history and have finite exponential moments at every real argument, as required by the finite-valued affine definition. Conditioning on givesHence the autoregressive process of order one is an affine process, withHere and in the remaining parts, an affine process uses a time-homogeneous Markov process: the one-step transform is the same at every time. The displayed definition at time alone would not determine later transitions of an arbitrary time-inhomogeneous Markov process.
Use the time-homogeneous Markov property and define backward effective parameters byConditioning the last exponential factor on replaces by . Repeating the tower property of conditional expectation combines this with the preceding exponent, then with each earlier exponent. The last remaining conditional transform is at time , soThese are finite because the one-step affine process transforms are finite at every real parameter. The argument establishes the entire joint affine transform, including when the coefficients have different signs.
Iterating the autoregressive process of order one givesFor , regrouping the sum of the exponents givesThe independent innovations factorize the moment-generating function. ConsequentlyFinite sums avoid a division by , so these formulas include and ; zeroth powers in these sums are .
A unit-face-value zero-coupon bond pays at maturity. The martingale deflator pricing identity isUse the affine process Markov property with respect to the market filtration; if that filtration contains extra predictive information, the natural Markov property alone would not suffice. Part (b), with every future coefficient equal to , gives the exponential-affine form. More explicitly, the exponential-affine bond pricing recursion isIndeed, conditioning the first future step in an -step horizon transforms into . ThereforeThis uses the true martingale deflator pricing identity; a merely local martingale deflator would not by itself justify replacing prices by conditional terminal expectations.
Since the initial value and increments are integers, is an integer. If , all three positive parts in the second difference are zero. If , the second difference is , including . At it equals . ThusThe original PDF has the first term ; the TeX's is an extraction error. This discrete call-price curvature identity isolates an individual integer state.
For an integer and , verify the single-step identityIf , the positive part is linear across the step and ; if , it remains zero and . At , , which is checked for the three permitted values of .
Apply this with and , and telescope over . The result is the discrete Tanaka formulaThe first sum is a martingale transform; the second records the correction at the kink of the positive part. The algebraic identity itself needs only the integer values and permitted increments, not the martingale property.
Taking expectations in the single-step discrete Tanaka formula, the martingale transform term vanishes because is bounded and -measurable. HenceAt a state with , the tower property of conditional expectation gives , so the conditional second moment of the increment is . Part (a) gives . Combining these identities yields the discrete Dupire equationThe conditional variance needs a positive-probability conditioning state. The bound does not guarantee . If , both the call-price curvature and the time increment above are zero; the equation can be extended by assigning an arbitrary finite value to at such a state, but its conditional variance is not determined there.
Let and . Given , the next value is one of . The martingale property makes its upward and downward conditional probabilities equal; their sum is the conditional variance of the increment, . ThusThe discrete Dupire equation therefore recovers all positive-probability one-step conditional transitions from the European call option price surface. No Markov property is required: these are conditional probabilities given the current value, not necessarily given the whole past.
Recovery is impossible at a zero-probability state. For example, satisfies every stated assumption, but at a different integer can satisfy while . Its conditional transitions can be specified arbitrarily without altering . Thus the literal all-states claim needs the positive-probability qualification.
For a fixed realization and , direct integration givesTo interchange the integral and expectation, write and estimateThe Fubini's theorem now proves the Mellin transform of call prices identityThe required exponential moment is at the chosen real part; the assertion for every presupposes these exponential moments for every such .
Set . Since and is integrable over , the proposed contour integral is absolutely convergent. The same bound justifies the Fubini's theorem when substituting :The last equality uses the contour identity provided in the original PDF. ConsequentlyThis is contour inversion for call prices. The supplied TeX corrupts the permitted identity into a reciprocal and drops the imaginary units from its endpoints; the PDF has and the vertical contour used above.
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 givesThe 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 asNow , an integrable bound independent of . Conditional Fubini's theorem and part (b) therefore implyThis 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.
Use positive initial asset prices and the usual augmentation of the natural Brownian filtration. Define the market price of riskContinuity and strict positivity of imply on every finite horizon almost surely, because each path has a positive minimum of there. Hence the strictly positive stochastic exponentialis defined and has and . The Itô product rule givesso it is a local martingale deflator.
For uniqueness, let be any normalized strictly positive local martingale deflator. The Brownian martingale representation theorem makes a continuous local martingale with a Brownian motion integral representation. Dividing by therefore gives . The vanishing drift of requires , so . This scalar linear stochastic differential equation has exactly the exponential solution above, proving the normalized local martingale deflator is unique.
The assumptions do not make deterministically bounded: need not be bounded away from zero uniformly over outcomes. Thus a true martingale density or Novikov condition is not inferred here; the required conclusion is local.
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), givesThe drift vanishes because and . Thus is a local martingale. It is nonnegative by the assumed nonnegative wealth and strict positivity of , and henceFor 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.
Fix the maturity horizon. Since is a nonnegative local martingale and is bounded, : and . The bounded nonnegative payoff thus makes integrable. SetThe Brownian martingale representation theorem yields , using its locally square-integrable version for an integrable terminal random variable. The Itô formula for givesChoose the replicating strategyIts 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. HenceThis 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 optionThe option delta is , so the replicating strategy holdsHalf 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 .
Articles by others on the same topic
There are currently no matching articles.