The multidimensional Itô formula includes a mixed second derivative multiplied by the quadratic covariation, with no extra factor . HereConsequently the Itô formula for has drift equal to the left side of the stated backward partial differential equation. That drift vanishes, leavingA stochastic integral against Brownian motion with locally square-integrable predictable integrand is a continuous local martingale. The smoothness of and localization of the diffusion and its coefficients give this integrability on the model's lifetime. Thus is a local martingale, as required. The partial differential equation cancellation alone does not establish a true martingale or justify replacing by a terminal-payoff expectation without an additional integrability argument.
For the exponential payoff, substituting gives , , and . Dividing the backward partial differential equation by the nonzero factor therefore gives the exponential payoff transform PDEThe terminal value isThe correlation changes the first-derivative coefficient, while the original drift of the log price combines with its variance to give rather than .
Set , and . For the Ornstein-Uhlenbeck process volatility, the transformed partial differential equation isUse the Gaussian volatility exponential-quadratic transform ansatz , where the coefficients depend on . Its derivatives satisfyMatching the constant, linear and quadratic powers of givesThe terminal condition requiresThese polynomial ordinary differential equations have a unique local solution by the Picard's theorem for ordinary differential equations. Substitution then proves the desired partial differential equation solution on every horizon for which the coefficient solution remains finite. The Riccati equation for is solved first; subsequently solves a linear equation and is an integral of known coefficients.
Unrestricted global existence needs a qualification. Take , , and . Then and the Riccati equation becomesThis solves the initial condition but explodes at . Therefore no finite real exponential-quadratic solution with the required terminal condition exists on an entire horizon for these allowed parameters. The correct general claim is local existence, or existence before the Riccati moment-explosion horizon.
A useful sufficient global condition is , so . If , the lower equilibriumtraps the solution in : the polynomial vector field points inward at the upper endpoint and vanishes at the lower endpoint. If , the equation for is linear. In either case there is no finite-time explosion; is then a linear equation with coefficients bounded on compact time intervals, and is finite on those intervals. This proves the intended ansatz globally under that sufficient parameter restriction, without asserting it for every real .
For a deterministic , the positive part vanishes for , so direct integration givesAt both sides vanish. Applying this pointwise to the nonnegative random variable proves the power payoff static call representationBy Tonelli theorem, the corresponding moment identity isincluding the possibility that both sides are infinite. No higher-moment assumption is needed to interchange these nonnegative integrals.
Let . The call-price decay and moment threshold follows by splitting the preceding integral at one. Since , for ,For , the decay bound givesThe power payoff static call representation therefore yieldsThe case is the given finite first moment. The strict endpoint matters: a Pareto distribution with for has for , but its moment of order is infinite. Thus the stated decay condition does not generally imply the endpoint moment.
If or , the proposed sharp power-call inequality is immediate. Otherwise put and consider the ratioIts logarithmic derivative is , whose sign is that of . The ratio decreases and then increases, with minimum at . That minimum is . Rescaling proves the sharp power-call inequalityThe constant is sharp because equality holds for when . This also explains the hinted minimization: with equal to that constant times , the minimum of is . Its denominator is , including when reading the original PDF.
Take expected values in the sharp power-call inequality. If is finite, then for every ,The bound is independent of the strike, soCombined with the previous part, this relates finite moments to polynomial decay of expected European call option payoffs, while retaining the distinction at the moment threshold.
In the one-period model, initial holdings are a deterministic vector , chosen with trivial initial information, and the terminal payoff of the portfolio is . A contingent claim is replicable if some such vector has almost surely; its initial claim replication cost is . A complete market replicates every claim in the specified terminal-information class; for the arguments below, it suffices that every bounded measurable claim is replicable. The assets count all assets of the model, including a cash asset if one is traded.
These are one-period definitions. If arbitrary terminal information were already available initially and holdings could depend on it, the finite-atomic conclusion in the next part would not follow; the deterministic-holdings convention is essential.
The span of the asset payoff functions has dimension at most . If there were disjoint measurable events of positive probability, their indicator functions would be linearly independent as random variables modulo almost-sure equality. Indeed, restricting a zero linear combination to forces its th coefficient to vanish. Market completeness would put all these independent functions inside a span of dimension at most , a contradiction.
This implies the stronger meaningful partition conclusion: terminal information has at most (n) positive-probability atoms. Start with the whole sample space and split any event which is not a probability atom of a measure into two positive-probability measurable subsets. Each split increases the number of disjoint positive events, so no more than splits are possible. The resulting partition has components, and each is a probability atom of a measure, since otherwise another split would be possible. Null sets can be included in a component without altering any random variable modulo null sets.
On such an atom every measurable real-valued random variable is constant almost surely: if its distribution on that atom were not concentrated at one value, an appropriate level set would split the atom. Hence every terminal claim is described by its values. This proves the finite branching bound in a complete market for one period, rather than the vacuous weaker observation that the whole space itself is one event.
For each terminal event , market completeness supplies a portfolio replicating its indicator function. The two pricing identities giveThe constant payoff is also replicable, so these positive pricing variables are integrable under the stated finite pricing expectations. Equivalently, the preceding finite-atom result makes them finite-valued modulo null sets. Taking , the equality says that the nonnegative variable has expectation zero; thus almost surely. Reversing the roles givesThis is uniqueness of a one-period pricing density in a complete market. It uses replication of every event, not only matching a few marginal asset expectations.
Let replicate , so . The positive-definite Gram matrix is invertible. Multiplication by and taking expected values giveAll quantities are integrable: the finite-atom representation from completeness gives finite terminal values, and the matrix has finite entries. Positive definiteness also guarantees uniqueness of holdings, since would imply and hence .
Thus the replication cost isConsequently the one-period Gram-matrix replication formula isThe symmetry of makes the displayed orientations consistent. Positivity of this would require an additional no-arbitrage condition; positive definiteness of the payoff Gram matrix alone proves the representation and uniqueness, not positivity of prices across states.
Backward induction makes the Snell envelope integrable and adapted: . Its definition gives and , so it is a supermartingale dominating the reward.
For a stopping time taking values in , expand its stopped value asThe indicators are -measurable. Taking conditional expectations in each summand makes its expectation nonpositive by the supermartingale property. Since is trivial, is deterministic andThis proves the finite-horizon optional sampling theorem directly in the instance needed here, without assuming nonnegative rewards.
The first-contact time is a stopping time: the event is the finite union of events for . It is finite because . On we have , so the maximum defining the Snell envelope selects continuation andThe stopped process is therefore a martingale: before stopping its conditional increment is zero and after stopping its increment vanishes. Applying the stopped-sum argument with zero conditional increments givesThe upper bound from part (a) now proves that first contact is an optimal stopping time.
Let be the optimal expected value before seeing the next offer when rounds remain. With one round left the offer must be accepted, so . For , observing gives a choice between now and the continuation value . Independence of future uniform distributions makes that continuation value independent of past offers. Thus the uniform-offer stopping recursion isIt gives and . The Snell envelope rule therefore yields the explicit strategyOnly rounds actually reached are played. At a threshold the two actions have identical continuation expected value; either convention is optimal, and exact equality has probability zero. The optimal expected payout before the first offer is
Construct the strictly positive rolling one-period bond account using successive one-period zero-coupon bonds:At time , invest the entire account value in the bond maturing at . This gives a positive self-financing portfolio usable as a numéraire.
We use the finite-discrete-time fundamental theorem of asset pricing: in a frictionless market with finitely many adapted assets and trading dates, no arbitrage is equivalent to existence of an equivalent martingale measure for asset prices, including dividends, expressed in a positive traded numéraire. Maturing bond payoffs are reinvested in that numéraire. Let be such a measure and its positive density process. The martingale pricing relation for a unit zero-coupon bond isDefine . The Bayes formula for conditional expectation then givesThe positive expectations are finite because these are the traded finite bond prices; in particular when initial information is trivial. Normalize without changing any ratio. With nontrivial initial information the same identities are conditional on that information. The state-price density need not be unique when the bond market is incomplete; existence is sufficient.
A unit zero-coupon bond pays one at its maturity, so . Monotonicity in maturity gives . Using the state-price density representation with ,The process is positive and integrable, as noted in part (a), and adapted. Thus it is a supermartingale. Strictly decreasing maturity prices yield a strict one-step conditional inequality; weak decrease is already enough for the conclusion.
The spot interest rate is known at . The state-price density price of its floating payment is, by the law of total expectation,Here if . All these terms are integrable: is bounded in absolute value by , whose expectation is finite from the one-step pricing relation. Subtracting the fixed payment givesThis also follows directly from a floating-rate payment bond replication. At time zero buy one unit of the bond maturing at and short units of the bond maturing at . Their initial cost is the displayed . Hold them until . The first bond then pays one; spend that one to buy units of the maturity- bond, leaving the earlier short position in place. This rebalance is self-financing. At maturity the net payment isFor , the first unit is time-zero cash, and the same immediate rebalance gives the deterministic payoff. Thus the replication establishes the zero no-arbitrage price without requiring completeness of other claims.
Each floating payment in the interest rate swap has initial value by the previous replication. Their sum telescopes to . The fixed leg pays at each of the same dates, so its initial value is . Consequently the par swap rate isThe denominator is positive. This is for unit accrual periods and the printed floating-minus-fixed payments. No extra exchange of principal occurs in the contract; the principal-like terms appear only because the floating-leg replication telescopes.
Assume the usual positive initial asset values. The coefficients determine a unique normalized local martingale deflator. The state-price density and local deflator distinction matters here: calling it a state-price density uses the local convention, while true expectation pricing needs an additional qualification, addressed below.
Let and be local martingales, with . The Brownian martingale representation theorem says that every local martingale in the usual natural Brownian filtration is continuous and is a stochastic integral against . Applying it to , and dividing by the positive finite-variation account, forcesfor a locally square-integrable predictable . The Itô product rule for has driftIt must vanish. Since are positive, this yieldsConversely this drift choice makes both and local martingales. Continuity and strict positivity of make bounded along each path on every finite time interval, so its pathwise square integral is finite. The unique linear SDE solution isUniqueness follows from the forced drift and diffusion coefficients and uniqueness of this linear stochastic differential equation.
Continuity alone does not make the density a true martingale. For a true equivalent martingale measure, the stochastic exponential must have expectation one, for example under the Novikov condition on each horizon. True martingale pricing of all desired deflated payoffs also requires the relevant integrability. These stronger conclusions do not follow just from pathwise continuity.
An explicit counterexample to the stronger reading uses a three-dimensional Bessel process with and , which is a positive strong solution in the Brownian filtration. Take and . Then , and are continuous and . The unique local candidate is , with . The reciprocal three-dimensional Bessel strict local martingale is not a true martingale. To verify the loss of expectation, use the standard Bessel transition densityIntegrating gives for , where is the standard normal cumulative distribution function. A true pricing density for the constant bank account would have expectation one. Hence the printed hypotheses establish the local deflator statement, while a true-density reading needs an additional condition and is false as stated.
Let and be predictable holdings in the stock and account, with the stochastic integrability needed for a self-financing portfolio. Then and . The Itô product rule and self-financing identity giveSince and , the finite-variation term is zero. Thereforeand the deflated wealth is a local martingale.
For zero-capital nonnegative wealth under a local deflator, a nonnegative local martingale is a supermartingale, by localization and the Conditional Fatou lemma. Under the required nonnegative-wealth condition, and starts at zero, so . Thus almost surely at every fixed . Strict positivity of gives almost surely. Taking a countable intersection over rational times and then using continuous wealth paths strengthens this toThis argument only needs the local deflator, so it remains valid without promoting to a true martingale.
Here the bank account is continuous and of finite variation, but for its rate is . This is integrable at zero, so the account itself is well defined. The stock satisfies . The previous continuity hypothesis on the rate no longer holds at the initial time.
Suppose a positive normalized state-price density existed; even a local martingale deflator would suffice for a contradiction. Then would be a continuous local martingale by the Brownian martingale representation theorem. Dividing by the positive continuous account gives continuous , with , andThe Itô product rule for forces its drift to vanish, so for almost every positive time. Continuity and imply that each path has a positive interval on which . But thencontradicting the local square-integrability required for the stochastic integral. ThusThis is the singular initial market-price-of-risk obstruction: the necessary market price of risk is , whose squared integral diverges at zero. On an interval starting at a strictly positive time this particular obstruction disappears; the initial-time normalization is essential.
Articles by others on the same topic
There are currently no matching articles.