Write and for the risk-free asset paying one at . Under the physical measure, , with , while . A self-financing portfolio with predictable stock and bond holdings has value and gains
Rebalancing therefore adds no outside money and withdraws none. This gains equation, rather than merely the value decomposition, defines self-financing.
Let . The Itô formula gives
The prescribed portfolio gains instead have diffusion coefficient and drift . Equality of diffusion coefficients requires , equivalently
Under this condition, . Equality of drifts is then . Since , this becomes
These conditions are also sufficient by the same Itô formula. Necessity initially holds along the stock process. Its positive transition density on for every positive time, together with continuity of the coefficient functions, extends the identities to all and then to the time endpoints by continuity.
For a self-financing portfolio, substitute and into the drift identity to obtain the Black-Scholes equation
Conversely, a smooth solution of this equation gives a self-financing portfolio by choosing the delta hedge
Its value is , and both coefficient identities follow directly.
The printed deduction needs this holdings qualification: the Black-Scholes value equation needs delta-compatible holdings. A value function alone cannot make an arbitrary prescribed decomposition self-financing. As a counterexample, take , , . The value function solves the Black-Scholes equation, but this zero-value portfolio has gains , which contain the nonzero term . Thus for the originally specified , the exact equivalence is the pricing equation together with , not the pricing equation alone.
For a claim paying the holder at rate , let denote its remaining, ex-dividend value. A replicating portfolio pays out , so its net wealth equation is . The delta hedge is still , but the Black-Scholes equation becomes
If there is a terminal payoff , set ; with no terminal payment set it to zero. The corresponding risk-neutral valuation is
Each intervening payment is discounted from its own payment time.
Let , and assume the payoff has sufficient integrability for risk-neutral valuation. Under the risk-neutral measure , the Black-Scholes model has , so conditionally on ,
Absence of arbitrage gives the time- price
For a regular payoff this is the solution of the Black-Scholes equation with terminal value , and the delta hedge replicates it. Suitable limits or conditional-expectation representations extend the price formula beyond smooth terminal payoffs.
For the logarithmic stock payoff, put . Its Gaussian moment-generating function is , while differentiating that moment gives . Therefore
The option delta is , and the second stock derivative is . The Black-Scholes equation can also be checked directly from .
For general convex , let . For , convexity gives
Taking the positive discounted expectation proves that is convex. Its derivative, where defined, is therefore nondecreasing, proving that the stock holding in the delta hedge rises weakly with the stock price. For twice differentiable , differentiation gives . For a merely convex payoff, Gaussian smoothing at and the usual growth assumptions give the same conclusion; one-sided derivatives are monotone even without smoothing. Strict increase is not implied by convexity alone: an affine payoff has constant option delta.
For the random constant Gaussian interest-rate mixture, represent the rate as , with independent standard normal variables. This independence simply represents averaging the constant-rate price function over its Gaussian parameter. Completing the square in yields the identity
Apply it inside the time-zero price formula:
The combined normal term has variance . Define and . Then the discount factor is , and the log-price mean is . Thus the expectation is exactly the constant-parameter Black-Scholes model price with those parameters:
The argument applies to nonnegative payoffs by Tonelli theorem, and to signed payoffs whenever absolute integrability justifies the expectations. It averages constant-rate prices; it does not assume a stochastic short-rate process.
Use the natural filtration and the usual integrable definition of the Snell envelope. Since the factors are positive, its terminal value is . If , independence of random variables gives
The backward recursion therefore becomes
This proves the assertion by backward induction. All constants are finite and at least one. More explicitly,
where the empty product is one. This is the Snell envelope of a multiplicative process. The standard Snell envelope hypothesis includes integrable rewards; independence of random variables and positivity then give finite first moments of the factors. If that hypothesis is dropped, an infinite-mean factor gives an infinite continuation value, so finite constants need not exist.
For the discrete-time binomial market, write . The assumptions give , positive bank account and stock prices, and
Thus
The finite discrete-time fundamental theorem of asset pricing states that a market with a strictly positive numéraire has no arbitrage if there is an equivalent probability measure under which all numéraire-denominated asset prices are martingales. The original probability measure is already such an equivalent martingale measure, proving no arbitrage.
The complete-market American-option pricing theorem identifies the discounted replication or superhedging value with the Snell envelope of the discounted exercise rewards. Here
The independent factors have common mean
The Snell envelope recursion consequently gives . At every time before , the continuation value strictly exceeds immediate exercise, so optimal exercise is at maturity. The undiscounted value process is , and the time-zero replication cost is
In fact is a martingale, not just a supermartingale, because the Snell envelope has no exercise compensator before maturity.
To hedge the optimally exercised payoff, subtract the two next-state portfolio equations. The first-period delta hedge is
The corresponding bank account holding, since , is . Substitution into either next-state equation verifies both terminal values at time one. Repeating this two-state calculation at every node gives a self-financing strategy replicating the maturity payoff. It also covers earlier exercise: at all dates, so the seller can meet any earlier payment with the available wealth.
On a fixed finite horizon, a self-financing strategy consists of predictable stock holdings , integrable against the price processes, and a bank account holding . Its wealth and gains satisfy
An admissible trading strategy has discounted wealth bounded below by a deterministic constant throughout the horizon. With the bounded short rate in this part, an undiscounted deterministic lower bound is equivalent after adjusting the constant. An arbitrage is an admissible zero-initial-cost strategy with almost surely and .
Put and define the market price of risk
The bounded coefficients and bounded inverse make bounded. Define the stochastic exponential
The Novikov condition states that makes this exponential a true martingale with expectation one. Boundedness verifies the condition. Therefore defines an equivalent probability measure. The Girsanov theorem states that
is a -dimensional Brownian motion under . Substituting into the asset equations gives
Thus is an equivalent local martingale measure. The sufficient direction of the fundamental theorem of asset pricing says that such a measure excludes arbitrage among admissible self-financing strategies. Here the reason can be seen directly: is a local martingale under , and its lower bound makes it a supermartingale. Consequently implies , incompatible with the nonnegative terminal payoff of an arbitrage. Therefore the bounded-inverse market has no arbitrage.
For the requested law of one price counterexample, take a broader continuous-time local-martingale model on . Let be a Brownian motion, let , and set for . Define
The given hitting-time fact gives almost surely. The corresponding physical hitting time is , so reaches one and then stays one. In particular it is continuous at maturity and .
For a rigorous closed-horizon localization, stop additionally when hits , or at if it never does. The stopped process is Brownian motion stopped on first exiting and subjected to the deterministic clock; it is a bounded martingale, including at . The stopping times increase to , since every Brownian path on the finite random interval has a finite maximum. Thus is a positive local martingale on the whole horizon. With the time-changed Brownian filtration, the original probability measure is an equivalent local martingale measure. The admissible-wealth supermartingale argument above proves no admissible arbitrage.
Nevertheless while , so the law of one price fails. Shorting one share and buying two units of cash has zero initial cost and terminal gain one, but its wealth is . It has no deterministic lower bound: for every , the probability of Brownian motion hitting before is , obtained by optional stopping of the bounded stopped Brownian motion. That apparently profitable strategy is therefore inadmissible. The counterexample deliberately uses a strict local martingale; the bounded-coefficient class in the first part has true discounted asset martingales and does satisfy the law of one price.
The boundedness of makes globally Lipschitz, so the stock stochastic differential equation has a nonexplosive strong solution. Since is bounded, is a square-integrable martingale on every finite horizon. Apply Itô formula to the option price:
Thus both the stock and the option are local martingales under the original probability measure, while cash is constant. The relevant no-arbitrage theorem is the sufficient direction of the fundamental theorem of asset pricing: a common equivalent measure under which all numéraire-denominated traded prices are local martingales excludes arbitrage by admissible trading strategies. In this case the original measure itself is an equivalent local martingale measure. Hence the augmented market has no admissible arbitrage. The nonnegative option-value assumption also makes the replicating wealth below admissible.
Set
Differentiating the pricing equation in the stock-price variable gives
The limiting terminal derivative is away from the strike. Its value at the strike may be assigned as the stated : the smooth positive diffusion coefficient gives a continuous terminal distribution, so that point has probability zero. This is the call delta equation for a driftless local volatility diffusion.
Hold shares and units of cash. The portfolio value is , and the preceding Itô calculation gives , with . It is therefore a self-financing portfolio, with initial wealth and terminal wealth . This proves replication by the stated delta hedge.
A further application of Itô formula, now to , yields
The density process is the strictly positive stochastic exponential
Its integrand is bounded, so the Novikov condition proves that it is a true martingale. The product formula for gives
The drift in cancels this quadratic covariation term, leaving
Thus is a local martingale; the expression also identifies its stochastic integral integrand explicitly.
Under the stated assumption that is a true martingale on , its terminal value gives
Since and , division gives
This is the derivative-weighted call delta martingale argument. It uses true martingality through maturity, not just local martingality before the terminal date.
For and , let and be the standard normal distribution function and density, and put
The exercise event is . Complete the square in the first truncated expectation:
The probability of exercise is . Hence the normalized Black-Scholes call function is
At it is . If , the positive underlying always exceeds , so ; the reciprocal identity below is understood on its natural domain .
For the reciprocal strike, and . Thus
Therefore
The case follows either by continuity or by checking the two positive parts directly.
For the stock model, the original probability measure is already risk-neutral: is a true martingale. Write . Conditional on , the stock at maturity is
with independent of current information and standard normal distribution. Therefore
Equivalently,
which is a true martingale, since the payoff is integrable. The sufficient direction of the fundamental theorem of asset pricing says that an equivalent measure making all discounted traded prices local martingales excludes arbitrage by admissible trading strategies. The original measure works simultaneously for the bank account, stock and call. Thus the call-augmented market has no arbitrage.
For the put, hold one call, short one share, and hold units of the bank account. This self-financing portfolio has current value and terminal payoff
Its discounted value is also the conditional expectation of that payoff. Thus the put-call parity price
adds another discounted martingale to the same market, proving no arbitrage with both call and put included.
Now put . The reciprocal identity gives
The resulting Put-call symmetry in the Black-Scholes model is
The final formula printed in the PDF has two errors: its discount-rate symbol is undefined, and the reciprocal argument has the wrong sign in the interest-rate exponential. Both are resolved by the displayed calculation. Even replacing the undefined symbol by leaves an incorrect expression with inside . For , and , is strictly decreasing in , because . The printed argument is smaller than the reciprocal argument and hence gives a strictly larger put price. Thus the literal printed symmetry cannot be established; the boxed expression is the corrected identity.
Put , , and . First assume the covariance matrix is invertible and initial portfolio wealth is positive. Introduce the accumulated fee process
The Itô formula and the self-financing portfolio equation give
This converts the path-dependent payment into a terminal-utility problem with state . The volatility-penalized terminal fee changes its drift as well as its spot volatility.
Let be the manager's value function. Its Hamilton-Jacobi-Bellman equation, with terminal condition , is
The homogeneity of CRRA utility suggests . Since and , the portfolio-dependent expression is
Its coefficient is positive even when . Completing the square gives
Thus the stock fractions are constant. Substitution into the Hamilton-Jacobi-Bellman equation yields
In particular, multiplying the fee by does not affect the optimal investment portfolio.
To prove global optimality rather than merely solve a formal Hamilton-Jacobi-Bellman equation, write , and let be the fee under the proposed constant policy. Then . Define a probability by
This density is a true martingale because is constant. By the Girsanov theorem, is a Brownian motion under . The geometric Brownian motion formula for the fee ratio gives
For admissible, locally square-integrable exposures with finite accumulated quadratic variation, set
This stochastic exponential is a positive local martingale, so . Moreover,
For , the exponent lies between zero and one. The Jensen inequality for this concave function gives . For , the power is convex and decreasing, so the Jensen inequality gives ; an infinite moment only makes this inequality stronger. Dividing by , with its corresponding sign, proves in both cases. Equality is achieved by the constant policy.
For an ordinary terminal-wealth agent with relative risk aversion , the same Hamilton-Jacobi-Bellman equation calculation, with no fee penalty, maximizes . It therefore gives exactly the same optimal investment portfolio. For , the preceding stochastic exponential and Jensen inequality verification applies with penalty zero and exponent , proving global optimality for this agent too. The spot volatility penalty adds to effective relative risk aversion. If , the printed expression for has a zero denominator; its appropriate limit, after subtracting an irrelevant constant, is , which still gives . In this logarithmic case, the terminal log-wealth difference from the candidate equals for a positive stochastic exponential , so proves its optimality.
If is singular, the same conclusion holds in the absence of arbitrage, provided lies in the image of a linear map : replace by the Moore-Penrose inverse, and add any vector in the kernel of to . These additions change neither returns nor Brownian portfolio exposures. If has a nonzero component in that kernel, a zero-volatility position has a nonzero excess return. Scaling its profitable sign gives arbitrage, so a finite attained optimum as claimed requires this degeneracy to be excluded.
Interpret the exponential distribution change time as an exogenous time independent of the stock's Brownian motion, or, equivalently for this calculation, as having constant conditional intensity while the rate remains high. Its marginal distribution alone would not imply that conditional intensity if the change time carried information about stock returns. Write , , , and let be the prechange value function.
Over a short interval , a rate change occurs with probability and changes continuation value from to . The dynamic programming equation is consequently
This jump term distinguishes the exponential interest-rate switch from a permanent higher bank rate.
By the homogeneity of CRRA utility, put , with . Differentiating the strictly concave expressions in and gives
The optimized consumption terms contribute , and the optimized investment terms contribute . With , the Hamilton-Jacobi-Bellman equation reduces to
Equivalently,
The left side is continuous and strictly increasing for , with limits zero and infinity. Thus gives one and only one positive root. This scalar equation is an explicit characterization for arbitrary real ; elementary closed forms are not generally available. For example, when ,
Use until the rate changes, and afterwards. If the two rates coincide, the root is ; as tends to infinity, it also tends to .
For a direct attainability check, use the proposed prechange constant fractions. The geometric Brownian motion moment is on the prechange evolution. Conditioning on the independent exponential distribution time therefore gives
The denominator is positive because the scalar equation gives . Hence the candidate policy actually achieves the stated value.
One can also verify the upper bound for both signs of without relying on a sign-sensitive terminal-value argument. Let be the current regime, the candidate portfolio wealth, and
If and , the Itô formula and the scalar equation give
where the jump term stops after the switch and continuous coefficients are understood predictably. Thus is a positive martingale deflator: for any admissible portfolio wealth , the process is a nonnegative local martingale. It follows that
For the candidate policy, . Indeed its surviving prechange term decays at rate , and its postchange terms decay at rate ; integrating over the switch time preserves convergence to zero. The finite-time moment computations also make its budget equality exact. Consequently . Apply the concave supporting-tangent inequality
and integrate in time and expectation. The budget inequality proves that no admissible policy exceeds the candidate. This verifies the value function, including when .
Both and are needed for a finite prechange answer. If the postchange value is already infinite, that problem persists after the almost surely finite switch. If but , then for a small constant prechange consumption fraction makes the expected utility function before the switch diverge, or makes its supremum diverge when . For , the optimal no-consumption terminal moment before the switch is ; withdrawals only increase this negative-power moment. The expected magnitude of the negative postchange continuation utility function therefore contains the divergent integral . Thus these cases yield respectively or , rather than a positive-root solution.
Write and, for a constant bank rate , define
Assume , positive portfolio wealth, unrestricted stock fractions and the usual nonnegative-wealth admissibility. Once the rate has changed, the model is the Merton consumption-investment problem with . Put . In its finite-value regime , the answer is
Here is the fraction of portfolio wealth in the stock, so the dollar holding is .
The positive-coefficient condition matters: the stated signs of and alone do not guarantee finite infinite-horizon expected utility maximization. If , the unconstrained Merton consumption-investment problem has value for and for . The remaining calculation therefore uses .
Define the positive constant
Since , the stock price has capital-appreciation dynamics . But each share also pays the flow . Its dividend-inclusive portfolio return therefore has drift
This is the drift to use in the Merton consumption-investment problem; using only capital appreciation would omit an actual source of portfolio wealth.
At the proposed bank rate,
Thus the optimal stock fraction from part (i) is
Moreover,
Substituting this into the optimal consumption coefficient yields
Hence the finite-value condition in part (i) is automatically satisfied.
The agent's endowment of the single productive share has portfolio wealth . Investing fraction one in the stock means holding share, leaving in the bank account. The optimal consumption rate is
This policy also satisfies the self-financing portfolio equation: with one share and no bank balance,
Thus remains valid at all times. The agent holds the entire one-share supply, has zero net borrowing or lending, and consumes exactly the supplied goods. The stock, bank-account and consumption-good markets all clear.
Choose the utility function primitive . Any other primitive with the same derivative differs by a constant ; this adds to the value function and does not alter the policy. Put and let be the stock fraction. The self-financing portfolio equation, including consumption withdrawals, is
For a time-independent infinite-horizon value function , the Hamilton-Jacobi-Bellman equation is
Scaling initial portfolio wealth and all consumption rates by the same positive number preserves admissibility and scales utility function by its th power. This homogeneity gives . In particular,
The consumption first-order condition and stock first-order condition give
The second derivatives of the optimized expressions are negative, so these are their global maximizers. Writing and substituting into the Hamilton-Jacobi-Bellman equation gives
Therefore
The given inequality is precisely , so the Merton consumption-investment problem value is . This derives the requested policy; no additional verification argument is needed here.
Use the primitive , as in Question 3, and the usual positive spot volatility convention . An additive utility function constant shifts both agents' value functions equally and does not affect their policies or the comparison. Set
The Itô formula applied to the stock price and the binary Brownian drift filter gives
Let denote the dollar stock holding. The separated state equations are
Both states use the same observed Brownian motion. In particular, their quadratic covariation is .
Let be the Bayesian value function. Its Hamilton-Jacobi-Bellman equation is
The cross derivative is necessary: learning and portfolio wealth are correlated through the same observation shock. At a smooth, finite, strictly concave value, the optimal consumption and stock holding are
The number of shares is , and the wealth fraction is .
More explicitly, homogeneity gives , where . Then
The additional term is the learning hedge in a binary-drift investment model, a form of intertemporal hedging demand. Merely putting the Bayesian posterior mean drift into a constant-coefficient investment formula would omit it. Eliminating the controls gives the coefficient equation
The economic solution is selected by admissibility and the infinite-horizon value condition, rather than by an arbitrary solution of this ordinary differential equation.
For the comparison, now suppose and . Write , , and
When , the informed agent's Merton consumption-investment problem has value
These are the policies available to an agent who knows the true drift is .
For any admissible Bayesian policy, not only its optimum, define
The integration variable is throughout the accumulated utility function. Applying the Itô formula in the Bayesian observation filtration gives
where
The informed-agent Hamilton-Jacobi-Bellman equation says . Maximizing the stock term at any excess drift gives
Since , this maximum increases with . The binary Brownian drift filter satisfies , and therefore
It follows that . Thus is a local supermartingale. Because , both accumulated utility function and are nonnegative. A nonnegative local supermartingale is a genuine supermartingale, by localization and the conditional Fatou lemma. This proves the requested assertion under the Bayesian probability law, without conditioning that law on the favorable drift.
Consequently
The monotone convergence theorem lets tend to infinity. Taking the supremum over Bayesian policies proves the maximal squared Sharpe ratio value bound
In particular this holds at the equal-prior state . No vanishing-terminal-value assumption is needed for this upper bound, because the terminal term is nonnegative and can simply be dropped.
The finite-value assumption is missing from the printed comparison. Without it, and the value inequality is trivial, but is not a finite supermartingale. For a concrete allowed example, take , , , and . Then and . For the informed agent, the constant stock fraction and consumption give
The time integral diverges, so his value is infinite. This is why the nontrivial finite-supermartingale proof above needs the stated qualification.
Let be the predictable stock holding during . Cash has constant price, so self-financing gives
Put . The tower property of conditional expectation and -measurability of give
Since , and are -measurable, substituting the gains identity yields
The denominator is positive on every positive-probability parent atom. If it were zero on such an atom, would be constant there, and the martingale property would force that constant to equal , contradicting the nonzero-increment assumption. Hence
This is conditional covariance hedge ratio. It uses attainability; a regression coefficient alone would not replicate a general unattainable payoff. After maturity one may liquidate into cash, so the same formula gives zero for later dates wherever its denominator remains nonzero. On a finite sample space a martingale cannot have nonzero increments forever; the stated nondegeneracy is naturally a finite-maturity assumption.
Buy one lower-strike European call option and sell one higher-strike European call option. The initial cost is , so the strategy releases strictly positive cash. Its terminal payoff is
for every stock price. Thus it is an arbitrage: a positive initial receipt accompanies a nonnegative terminal obligation. One may consume the receipt immediately, or hold it in cash to make a zero-initial-capital strategy with strictly positive terminal wealth. This is the vertical-spread arbitrage for increasing call prices.
Buy half a call at each neighboring strike and sell one call at the middle strike. Its cost is
For fixed terminal stock price , the function is convex. Since is the midpoint, the payoff
is nonnegative for every . More explicitly, it is zero outside , equals on , and equals on . The negative cost and nonnegative payoff produce an arbitrage. This is the butterfly-spread arbitrage for nonconvex call prices.
Use positive strikes, the natural real-power domain of this price curve. For any such , the stock-minus-call payoff is
almost surely, since . Therefore the call price must be strictly below the stock price : if , buying stock and selling the call has nonpositive initial cost and strictly positive terminal payoff. Also a negative call price is an immediate arbitrage by buying the call.
For , and raising to the negative power reverses the inequality, giving and . The expression is undefined at . For , strict concavity of the power implies , whence
At , . Every defined case with therefore violates the necessary no-arbitrage bounds. Consequently
This argument does not require a dense family of strikes; even one positive-strike call gives the contradiction. The strict stock-minus-call payoff explains why the borderline is also excluded.
Use zero-interest cash as the one-period numéraire, consistent with the stated expectation-price formula. For , differentiate the proposed call-price curve twice. The first derivative and the candidate density are
This is the power call-curve pricing density. It is strictly positive. Its integral is , and its survival function is . Since and ,
Likewise, integrating the survival function from onwards gives
Thus a market whose terminal stock has this law under an equivalent martingale measure prices the stock at one, every proposed call at , and any integrable claim at . The finite-market fundamental theorem of asset pricing says that an equivalent measure pricing every traded discounted payoff by expectation excludes arbitrage. This proves the intended conclusion when such an equivalent pricing law is part of the model. For example, take the canonical terminal state space with stock equal to its coordinate and physical law equivalent to the positive density .
There is, however, a genuine insufficiency in the literal finite-strike formulation: a finite list of call prices and no-arbitrage alone do not force this pricing law, nor even a continuous terminal distribution. Here is an explicit counterexample. Take , one strike , and two terminal stock values
Give the lower stock value the remaining strictly positive probability and take this as the physical measure too. Direct calculation gives and
so the stock/cash/call market is arbitrage-free. Now let
This bounded nonnegative function is zero at both actual stock values, so almost surely. Yet . Charging that positive amount for the identically zero payoff creates an arbitrage by selling it. In fact no Lebesgue probability density can price every claim correctly on this two-state market.
Therefore the displayed is the intended continuous pricing density, but the promised no-arbitrage extension requires an equivalent pricing measure with this terminal law; a full call curve identifies that law if such a measure exists, but it does not follow from the printed finite-strike hypotheses alone. This is the finite-strike nonidentification of a pricing density. The counterexample and the corrected sufficient hypothesis account for the literal and intended readings separately.
Choose the market price of risk . The Girsanov theorem, with the hypotheses allowed in the question, gives an equivalent martingale measure under which
Thus the stock under the risk-neutral measure is a linear Gaussian diffusion. In particular, for its conditional mean and standard deviation are
Put and let be the standard normal distribution function. For ,
since . Discounting this expectation gives the call price in an arithmetic stock model with interest. A particularly convenient expression is
At maturity define . This value is nonnegative because it is a discounted expectation of a nonnegative payoff.
For , hold shares and hold units of the continuous-time bank account. The pricing function solves
The Itô formula under the physical measure therefore gives
This proves self-financing and terminal replication, with wealth always . The coefficients are locally smooth before maturity, and the strategy extends to maturity through its continuous wealth limit and the square-integrable discounted payoff representation.
To see minimality, any other nonnegative self-financing portfolio replicating the payoff has discounted wealth a nonnegative local martingale under , hence a supermartingale. Its initial capital must satisfy . The strategy constructed above attains equality. Thus
The additive physical diffusion may take negative stock values; the formula and nonnegative replicating wealth remain valid. Replacing it by a multiplicative Black–Scholes diffusion would give the wrong price and hedge.
Differentiate the Gaussian price with respect to . The terms involving derivatives of cancel because and . Thus the delta hedge is
For every , and is finite, so . At maturity its limiting value is the payoff derivative except at the kink, an event of probability zero under the equivalent Gaussian law. Consequently the stock holding is always nonnegative and never exceeds one. The initial drift does not enter this hedge; it is removed by the change to the risk-neutral measure.
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 , set
and choose the stock and bond holdings
Thus and , pathwise at every time. The Itô formula under the original drift gives
Adding these equations yields
This 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.