Apply Itô formula to . Its semimartingale decomposition isThe second term is a continuous finite-variation process. Since is assumed to be a local martingale, uniqueness of the semimartingale decomposition makes this term identically zero. Both and are nonzero, so the quadratic variation of is .
The Lévy characterization of Brownian motion now says that is a Brownian motion. Consequentlyis a constant multiple of an exponential Brownian martingale. It is therefore a true martingale for every .
Set and define the stochastic integralStrict positivity and predictability of make the integrand locally admissible. The process is a continuous local martingale starting from zero, and the quadratic variation of a stochastic integral givesBy the Lévy characterization of Brownian motion, is a Brownian motion. The associativity of stochastic integration then yieldswhich is the required representation.
Use first the test function . The assumed martingale problem says thatis a continuous local martingale. Next use to see thatis a local martingale. On the other hand, Itô formula applied to shows thatis a local martingale. Their difference is both a continuous local martingale and a finite-variation process, so
Part (b), with , supplies a Brownian motion such thatThereforeso is a weak solution of a stochastic differential equation to the stated equation.
Let be Cauchy in the normChoose a subsequence for whichTonelli theorem impliesalmost surely. The subsequence therefore converges uniformly on , outside one null event, to a continuous process . For each , is the almost-sure limit of -measurable variables; completeness of the filtration makes the chosen version adapted. The same summable bound and monotone convergence theorem show that and that in norm.
Since the original sequence is Cauchy, the usual triangle argument upgrades convergence of the subsequence to in norm. Thus the space of indistinguishability classes is a Banach space.
Fix a deterministic horizon and . For every localization index ,by Markov inequality. Because almost surely, the first term tends to zero as . For fixed , the second tends to zero as . Taking first the limit superior in and then provesin probability. This is precisely uniform convergence on compacts in probability.
Use the continuous semimartingale decomposition , where is a continuous local martingale and is a continuous adapted finite-variation process. Pointwise limits preserve predictability, so is predictable; it is bounded by the common bound for the .
Localize so that and the total variation are bounded. The Doob L2 maximal inequality and the Itô isometry giveby the dominated convergence theorem. For the finite-variation part,almost surely, again by dominated convergence, now for each sample path. Hence the two integrals converge uniformly in probability after every localization. Part (b) removes the localization and provesu.c.p.
PutThen uniformly, , and . Itô formula givesThe bounded predictable integrands converge pointwise to , with . Part (c) therefore makes the stochastic integrals converge u.c.p. The left-hand side converges u.c.p. to , so the increasing continuous processesalso converge u.c.p. Their limit has a continuous increasing version: extract almost-sure locally uniform convergence from each compact interval and use a diagonal argument. We obtainthe Tanaka formula with . It expresses as a continuous local martingale plus a continuous finite-variation process, so is a continuous semimartingale.
For the level- dyadic partition, writeThe dyadic partitions are nested, so the triangle inequality makes nondecreasing in , and .
Fix . As the mesh tends to zero, the last dyadic point before approaches . Refining from there to , the triangle inequality says that the added variation is at least minus the two endpoint errors, which tend to zero by continuity. ThereforeSince , both limits are finite and may be subtracted, giving
Every dyadic partition is among the finite partitions on the right-hand side, so the displayed supremum is at least . For the converse, the claim is immediate if . If it is finite, apply part (a) to every interval of an arbitrary partition :Summing telescopes and givesTaking the supremum proves that the dyadic definition equals the usual total variation of a function.
If is continuously differentiable, then for every finite partition the fundamental theorem of calculus and the triangle inequality givePart (b) therefore implies .
For , setThen and . Consecutive values have opposite signs, soFinite partitions containing therefore have variation at leastwhich diverges with by comparison with the harmonic series. Part (b) now gives .
Factor the square root of the stochastic exponential asThe stochastic exponential in this expression is a positive local martingale and hence a supermartingale, so its expectation is at most one. If almost surely, then
If , the Novikov condition holds for becauseIts stochastic exponential is therefore a true martingale with expectation one. Using the factorization from part (i),
With zero interest rate, the bank account is constant. The risky asset is a continuous local martingale by assumption, while the European contingent claim priceis a true martingale by the defining property of conditional expectation. Thus the original probability measure is an equivalent local martingale measure for all traded discounted prices. The fundamental theorem of asset pricing then excludes arbitrage for admissible self-financing strategies.
In the Black-Scholes model,Conditioning on and using the moment-generating function of the independent Gaussian increment givesThe function satisfies the zero-rate Black-Scholes equation, so Itô formula leaves only its stochastic term:Consequently the required delta hedge is
For this square-root payoff, the time-zero Black-Scholes model price at volatility isParts (a)(i) and (a)(ii), together with , giveThe exponential is strictly decreasing, so comparison with the defining Black-Scholes price givesThus the Black-Scholes implied volatility lies between the lower and upper realized-variance bounds.
Articles by others on the same topic
There are currently no matching articles.