For holdings , let and . Under the investment-consumption arbitrage convention used here, an arbitrage satisfies
The 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 and
It 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 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 .
Let be a localizing sequence for the discrete-time local martingale . For , the increment of the stopped martingale is
and . 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 give
Hence 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 times
The 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 written
Its 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 and
The original PDF fixes ; the TeX extraction omits this equality.
For fixed integers , belongs to and there. The supermartingale property and nonnegativity imply
Therefore 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 gives
Hence the autoregressive process of order one is an affine process, with
Here 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 by
Conditioning 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 , so
These 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 gives
For , regrouping the sum of the exponents gives
The independent innovations factorize the moment-generating function. Consequently
Finite 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 is
Use 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 is
Indeed, conditioning the first future step in an -step horizon transforms into . Therefore
This 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 . Thus
The 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 identity
If , 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 formula
The 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. Hence
At 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 equation
The 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, . Thus
The 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 gives
To interchange the integral and expectation, write and estimate
The Fubini's theorem now proves the Mellin transform of call prices identity
The 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. Consequently
This 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 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.
Use positive initial asset prices and the usual augmentation of the natural Brownian filtration. Define the market price of risk
Continuity 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 exponential
is defined and has and . The Itô product rule gives
so 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), 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.
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 .

Articles by others on the same topic (0)

There are currently no matching articles.