Put and define the nonnegative reserve rate . The obstacle problem gives and . The American-option superhedge with a funded reserve invests the local surplus in the bond rather than consuming it.
For initial wealth , setand choose the stock and bond holdingsThus and , pathwise at every time. The Itô formula under the original drift givesAdding these equations yieldsThis is a self-financing strategy, and its nonnegative wealth makes it an admissible trading strategy. Continuity of the stock and local regularity of ensure local integrability of the holdings. The construction does not require .
For a classical solution, the usual Itô formula applies directly. The smooth fit solution below is and piecewise , with locally absolutely continuous first derivative. The generalized Itô formula applies with its almost-everywhere second derivative; the absence of a derivative jump means no boundary local time of a semimartingale term. This is the usual regularity interpretation of the perpetual American option obstacle equation.
Write . In a continuation interval, the Euler differential equation has power solutions and : substitution of gives . A decreasing bounded value uses the second solution.
Let be the exercise boundary. Value matching and smooth fit require and . Dividing gives . ConsequentlyThis is a perpetual reciprocal-payoff American option.
To verify the obstacle inequality, observe that increases up to and decreases afterwards, because its logarithmic derivative is . Therefore for . In the continuation region . In the exercise region,The quadratic is convex. At the two endpoints of it equals and , respectively, so it is negative throughout that interval. Thus the obstacle problem is satisfied on both regions, with value matching and smooth fit at . The second derivative has a jump at ; the equation is understood piecewise and in the generalized Itô sense described in part (a).
For optimality, use the Risk-neutral measure for the Black-Scholes model, under which . The Itô formula makes a nonnegative supermartingale, so every exercise time satisfiesBefore hitting the exercise region, its drift vanishes. Since , the stopped process is a bounded martingale. Apply the optional sampling theorem at and let . The contribution from is at most , while the boundary value equals the payoff. Hence equality holds forIf , exercise immediately; otherwise wait for the first down-crossing. If that time is infinite, the discounted payout is zero. This proves both the value and the optimal stopping policy, and part (a) supplies its superhedge.
Interpret positivity of as strict positivity almost surely. Suppose the stated bounded positive pricing variable exists. For a vector satisfying the two sign restrictions,A nonnegative random variable with zero expectation vanishes almost surely. Since , this gives almost surely and . The supplied nondegeneracy condition now yields . This proves the direction from a one-period martingale deflator to the separating-portfolio condition; no asset-pricing theorem has been invoked.
A direct exponential minimization construction of a bounded pricing kernel proves the reverse implication without using a course theorem. ConsiderBoundedness of makes finite, continuous, and differentiable. On every bounded set of , the exponential and its derivatives have deterministic bounds, so differentiation under expectation is justified.
We first prove coercivity: as . Otherwise there would be a sequence with along which stays bounded above. Pass to a subsequence with , . There are two cases.
If , choose with . The bound on gives on this event for all large . ThereforeIf instead almost surely, the portfolio condition forces , since . Hence , and the nonnegative exponential term again forces . Both cases contradict the chosen sequence.
A minimizing sequence is consequently bounded. It has a convergent subsequence, and continuity of gives a global minimizer . At a minimizer each directional derivative vanishes, soThusIf , then : the constructed pricing kernel is bounded and even bounded away from zero. The compactness, coercivity, and differentiation arguments above supply the needed proof rather than appealing to the fundamental theorem of asset pricing.
Use the positive variable from part (a). Since and ,Combining these inequalities gives the one-period call price boundsFor the strict assertion, both and have positive probability. Positivity of givesIf , the second inequality is the required strict bound; if , the first is. Hence . The weighted expectations are finite because and are bounded.
A complete market permits claim replication for every finite maturity and every bounded claim measurable at that maturity: there are an initial capital and a predictable self-financing portfolio whose terminal wealth equals the claim almost surely. In a finite-state market this is equivalent to replicating every terminal payoff, since all such payoffs are bounded. Trading is allowed dynamically in the existing assets; adding a new security is not part of the definition.
We prove the stronger finite branching bound in a complete market: modulo null sets, is generated by at most atoms. Here an atom is a positive-probability event which cannot be split into two positive-probability measurable pieces.
At time zero there is one atom because is trivial. Suppose has at most atoms, and fix one such atom . Any predictable process holdings over are constant on , so the restriction to of every time- replicable payoff lies ina vector space of dimension of a vector space at most . If contained disjoint positive-probability events, their indicators would have linear independence on . Market completeness would replicate each indicator, contradicting that dimension bound.
For clarity, the absence of disjoint positive pieces implies that is a union of at most atoms: start with and repeatedly split any non-atom into two positive pieces. Each split increases the count by one. The process must stop before the count exceeds , and at termination every piece is an atom. Thus each time- atom has at most successors. Induction gives at most atoms at time .
Each disjoint positive-probability event contains at least one distinct atom. ThereforeThe argument includes and uses the ability to replicate the indicator claims at every intermediate maturity.
Use the conditional second-moment matrix from the PDF. By part (b), the filtration is finite-state at every finite time. On a time- atom let be the successor price vectors and their conditional probabilities. Then andPositive definiteness gives rank , so . Hence , and the successor vectors have linear independence.
We use the finite-horizon fundamental theorem of asset pricing in deflator form: an arbitrage-free finite market admits a strictly positive adapted process , with , such that is a martingale. Equivalently, on every step,Fix a finite horizon containing the step in question. On the parent atom, write on successor and . ThenThe proposed values satisfy precisely the same equation:Because the have linear independence and the are positive, this linear system has a unique solution. Thus , provingThis is the positive regression deflator in a complete finite market. It also proves the suggested conclusion: with and ,Hence is a strictly positive martingale deflator. Finite-state structure makes these expectations integrable on each finite horizon. Positive definiteness alone would not ensure positivity of the regression factor; market completeness and the positive deflator are essential.
For , the stochastic exponential solution stays strictly positive. Put . The Itô formula givesThus is a nonnegative local supermartingale. To justify the true supermartingale property, stop where or its stochastic integral exceeds successive bounds. The stopped Itô formula gives for . The conditional Fatou lemma and yieldIn particular . The case is the identically zero process. This is the square-root stock supermartingale.
The coefficient is , but independence alone does not make the printed right-hand side -measurable. The future variance integral need not be known at time . This is a genuine missing information assumption in the PDF.
The Itô formula or explicit stochastic exponential givesIf the volatility path is fixed at time zero and independent of , conditioning on that path makes the first factor an exponential of a centered Gaussian variable with the compensating half-variance, so its conditional expectation is one. More generally, this conditioning works when enlarging the filtration by the entire independent volatility path preserves the Brownian property. For the usual joint filtration of Brownian history and independent volatility history, the valid conditional square-root price under independent volatility isWhen the integral is already -measurable, the outer conditional expectation can be removed, giving the intended printed formula. In particular this holds for deterministic volatility or an independent path disclosed initially.
For a counterexample to the unqualified printed assertion, take an independent fair Bernoulli variable , disclose it at time , and letWith the filtration generated by the Brownian history and this disclosure, is Brownian and is bounded, continuous, adapted, and independent of . At , the variance integral is , while is trivial. Direct Gaussian conditioning givesa constant. The proposed factor is random, so cannot equal that conditional expectation. The formula requires knowledge of future integrated variance; independence by itself is insufficient.
This part's conditional-expectation representation is its own hypothesis; it does not need the incorrect unrestricted claim in part (b). Fix , and writeThe assumed representation makes a martingale. The stochastic Fubini theorem givesApply the Itô formula to and use the equation for from part (a), including the cross-variation. The result isUniqueness of the continuous semimartingale decomposition makes the drift vanish. Initially this is a statement; the assumed continuity in time and maturity extends it to the continuous versions simultaneously. Let to obtainSubstitute back and differentiate the maturity integrals using their continuous integrands:This is the forward drift restriction for square-root stock claims. The term comes from the product cross-variation and must be retained. For the uninformative zero-stock case, the representation does not identify ; as usual a positive initial stock price is understood.
Use a telescoping replication of a stock-price sum. Hold shares during interval ; at time , sell one share and keep its proceeds in the bond. Start with shares and no cash, costing .
After the time- rebalance, the stock holdings are and the cash holdings are , so wealth isThe sale of one share exactly funds the cash increase, making the strategy self-financing. Equivalently,At time there are no remaining shares, and the cash equals the claim. All stock positions over trading intervals are predictable.
For every integer ,Thus the static replication on a finite terminal support consists of one share and two calls of every listed strike, held to maturity:The strike- call contributes zero at maturity but is harmless in this identity. The portfolio costs . No distributional assumption on the stock is needed beyond its stated terminal support.
The pathwise identity telescopes toThis is the discrete realized-variance replication identity. Replicate using part (b). Add a self-financing portfolio with initial wealth and stock holdings during .
To give the cash positions explicitly, letThe added portfolio holds units of the bond over that interval. Its starting value is and its change is exactly . The combined holdings are thereforeThe terminal value equals the squared-increment sum by the telescoping identity. Its initial cost isThe dynamic stock hedge uses only prices known before each interval, while the calls remain static.
Normalize and put . Its dynamics are . Bounded volatility makes this stochastic exponential a true martingale on each finite horizon, by the Novikov condition. It also gives a finite second moment: stopping the Itô formula for and applying the Gronwall inequality yields when .
The discounted payoff is thus square-integrable. Define the nonnegative martingaleThe Brownian martingale representation theorem says that every square-integrable martingale in the Brownian filtration has a representation with predictable and . Since and , chooseThen discounted gains satisfy . Consequently is self-financing, nonnegative, and hence an admissible trading strategy. At maturity , proving claim replication at cost .
For minimality, discounted wealth of any admissible self-financing portfolio is a local martingale bounded below, hence a supermartingale by localization and the conditional Fatou lemma. Thus any such replication with initial wealth obeysTogether with the constructed portfolio, this provesThis is Brownian representation replication in a local volatility market. The given drift means that the original probability measure already serves as the risk-neutral measure.
Differentiating the European call option price in strike gives, for ,The strike derivative uses dominated convergence; the second uses the continuous density. Also,Differentiate the supplied time-integral identity and the discount factor. Continuity of the density supplies the diffusion-term derivative. For the tail first moment, continuity in time follows from continuous stock paths, locally uniformly bounded second moments, and the absence of an atom at . ThereforeHence the Dupire equation isIts initial condition is ; natural strike boundaries are and as . These are consistent with the discounted stock martingale and integrable tails. Where , the same identity gives local volatility recovery from call prices:The equation evolves in maturity and strike, unlike the backward option-value equation in calendar time and spot.
The Brownian martingale representation theorem argument in part (a) also replicates the bounded put payoff. The discounted stock is a true martingale, so the elementary terminal payoff identity yields put-call paritySet . Then , , and . ThusLinearity of the Dupire equation and giveThe initial payoff is , and . Therefore calls and puts obey the same maturity-strike differential equation, with their respective initial and boundary data.
Articles by others on the same topic
There are currently no matching articles.
