© 2026 NeckPinch · www.neckpinch.com · All rights reserved.
Course 6Book 6D: Diffusions, Finance and ComputationChapter 7
American Options and Free Boundaries
Optimal stopping, the obstacle problem, smooth fit and the perpetual put.
Read with Shreve, Stochastic Calculus for Finance II, chapter 8 (American derivative securities: the perpetual put, finite-expiration puts and the absence of early exercise for calls), and Shreve, Stochastic Calculus for Finance I, chapter 4 (American options in the binomial model). Wilmott, Howison and Dewynne, The Mathematics of Financial Derivatives, chapters 7–9, treat the free boundary problem and projected SOR; Dixit and Pindyck, Investment under Uncertainty, is the reference for real options. This chapter proves the Snell envelope characterisation in discrete time, the perpetual put in closed form with a verification argument, the optimality of smooth fit for threshold rules, and the absence of early exercise for calls; the continuous-time existence and regularity theory is stated.
A European option can be exercised only at expiry. An American option can be exercised at any time up to expiry, and most traded stock options are American. The holder must now decide when to exercise, and the price is the value of the best decision: an optimal stopping problem. Its solution splits the state space into a region where it is best to continue and a region where it is best to stop, separated by an exercise boundary that is not known in advance and must be found with the solution. The Black–Scholes equation holds only in the continuation region, and on the free boundary two conditions hold: the price equals the payoff, and so does its slope (smooth fit).
This is the parabolic version of the obstacle problem of 6C.1 Regularity of Minimisers and Constraints, with the payoff as the obstacle, and the same mathematics governs melting ice (the Stefan problem), the timing of investments, and when to sell a house. This chapter solves the discrete-time problem completely, solves the perpetual American put in closed form, shows why smooth fit is the optimality condition, and describes the numerical methods used in practice.
By the end of this chapter you will be able to:
- price American options on a binomial tree by backward induction, and characterise the price as the smallest supermartingale above the payoff;
- formulate the continuous-time problem as a linear complementarity problem and a variational inequality;
- solve the perpetual American put in closed form, prove optimality by verification, and derive smooth fit as the condition for the best threshold;
- prove that an American call on a stock without dividends should never be exercised early;
- describe projected SOR and the binomial method for finite-expiry American options.
The value of waiting
A firm can build a factory at cost , producing a stream of profits whose present value fluctuates randomly. The textbook rule, "invest if " (positive net present value), ignores that the opportunity to invest does not disappear: the firm can wait and see. The investment opportunity is a perpetual American call option on with strike , and Robert McDonald and Daniel Siegel showed in 1986 that its optimal exercise threshold is for a constant determined by the volatility and the rates, the same calculation as the perpetual put of this chapter (Exercise 7.9). With plausible parameters is about twice : a firm that values its option to wait should require the project to be worth about double its cost before committing.
The "real options" view, developed in Avinash Dixit and Robert Pindyck's 1994 book Investment under Uncertainty, explains why investment responds sluggishly to uncertainty and why firms hold back in volatile times, and it is used to value mining leases, oil fields, drug development pipelines and flexible manufacturing. In each case the mathematics is an optimal stopping problem, its value is the solution of an obstacle problem, and the decision rule is a free boundary.
Discrete time: the Snell envelope
Consider a binomial model with steps of length : at each step the price is multiplied by or , and pricing uses the risk-neutral probability of an up move, which makes the discounted price a martingale (6D.6 Black–Scholes). An American option with payoff at step can be exercised at any step.
Define and, backwards,
Then:
- , the maximum over stopping times with ;
- the maximum is attained by , exercise as soon as the value equals the payoff;
- the discounted process is the smallest -supermartingale that dominates .
Proof. Write and , so that and . Then and : is a supermartingale dominating .
is the smallest such. If is a supermartingale with , then , and if then . This is statement 3.
Upper bound. For any stopping time , optional stopping for the supermartingale (6D.2 Martingales and the Itô Integral, with bounded ) gives .
Attained. Up to we have , hence : the stopped process is a martingale for . So , since by definition of . Multiplying by gives statements 1 and 2.
The recursion is the algorithm: at each node, compare the value of exercising now with the discounted expected value of continuing, and take the larger. John Cox, Stephen Ross and Mark Rubinstein (1979) introduced the binomial model with , under which the prices converge to the continuous-time prices as (statement; for American options this was proved by Amin and Khanna, and Lamberton, in the 1990s).
Take , , , and steps, so , , and the one-step discount factor is . The terminal prices are , and , with put payoffs , and . At the down node () continuing is worth , but exercising pays : exercise early. At the root, the value is . The European put on the same tree is worth : the right to exercise early is worth about . With steps the American price converges to about , compared with the Black–Scholes European price of 6D.6 Black–Scholes (both computed numerically).
Continuous time: a free boundary problem
In the Black–Scholes model, the price of an American option with payoff (for the put, ) is
the supremum over stopping times, with under . Write for the Black–Scholes operator. The Snell envelope suggests three properties, the continuous versions of "dominates the payoff", "supermartingale" and "martingale until exercise":
This is a linear complementarity problem: at each point, one of the two inequalities is an equality. The continuation region is , where (the Black–Scholes equation holds); the exercise region is , where . For the put, the exercise region is for an exercise boundary , which increases to as . Equivalently, (LCP) is a parabolic variational inequality: is the solution of the obstacle problem of 6C.1 Regularity of Minimisers and Constraints for the backward parabolic operator with obstacle .
The value function of the American put is the unique solution of (LCP) in a suitable weighted Sobolev class (Bensoussan and Lions; Jaillet, Lamberton and Lapeyre, 1990). It is in across the exercise boundary, so that (smooth fit), the boundary is continuous and increasing, and as (with of order near expiry).
There is no closed formula for finite . But when the time derivative disappears and everything can be computed.
The perpetual American put
For the value does not depend on , and (LCP) becomes an ODE problem. In the continuation region solves
an Euler equation with solutions where , that is, : or with . A put is worth little when is large, so in the continuation region we take ; in the exercise region , . Value matching at gives . So every threshold defines a candidate
which is the value of the strategy "exercise when first falls to " (Exercise 7.6). The best threshold maximises for every , and gives
At this , : smooth fit is exactly the condition that the threshold is optimal. A threshold that is too high gives a kink pointing down at , one that is too low a kink pointing up.
With and , the value of the perpetual American put is
and it is optimal to exercise the first time falls to .
Proof. Properties of . is on (by smooth fit) and except at , with bounded on compact subsets. On , . On , and . And : on with equality, and on because is convex there (a positive multiple of ), lies above its tangent line at , which is by smooth fit, and is positive.
Upper bound. For a function whose second derivative is piecewise continuous and locally bounded, Itô's formula still holds (approximate by smooth functions; Karatzas and Shreve, section 3.6). So has -part : it is a supermartingale (a local martingale minus an increasing process, and bounded since ). For any stopping time , by optional stopping at and letting (bounded convergence, with on ),
Attained. Let . Up to the drift term vanishes, so is a bounded martingale, and . As , on this tends to , and on to (as and ). By bounded convergence, .
With , and : , , and at the perpetual put is worth (checked numerically). Exercise is optimal only after a fall of nearly : early exercise sacrifices the chance that the price recovers, and is worth it only when the interest earned on the strike, per unit time, outweighs that chance.
American calls and dividends
On a stock paying no dividends, with , the American call is worth the same as the European call, and it is never strictly better to exercise early.
Proof. The European call satisfies (6D.6 Black–Scholes, model-free bounds), with strict inequality when and , or whenever the put has positive value. So at every time before expiry, selling the call (or simply holding it) is worth at least as much as exercising it, and the American call, which is at least the European call, gains nothing from early exercise: its value is the European value.
The intuition: exercising a call early means paying the strike early (losing interest on it) and giving up the insurance against a fall that the option provides. If the stock pays dividends, the holder of the stock receives them and the holder of the call does not, and it can be optimal to exercise a call just before a large dividend. For puts, the interest earned on receiving early can outweigh the insurance value, which is why early exercise of puts is common.
Numerical methods
For finite there is no formula, and American options are priced numerically.
Binomial and trinomial trees implement the Snell envelope directly (Example 7.2); they converge at rate about , with oscillations.
Finite differences with projection. Discretise (LCP) in the log-price by an implicit or Crank–Nicolson scheme (6D.9 Finite Difference Methods). Each time step requires the solution of a discrete linear complementarity problem
with tridiagonal. Projected successive over-relaxation (PSOR), introduced by Colin Cryer in 1971, solves it by Gauss–Seidel sweeps in which each new component is projected onto the constraint, , with the Gauss–Seidel value and a relaxation parameter. For symmetric positive definite it converges for (Cryer's theorem, statement); the Black–Scholes matrix is not symmetric, but it is an M-matrix (diagonally dominant with non-positive off-diagonal entries), for which projected Gauss–Seidel also converges. For the put, Michael Brennan and Eduardo Schwartz (1977) observed that a single sweep from the low-price end solves the discrete problem exactly, because the exercise region is an interval at the bottom (a fact later proved under precise conditions by Jaillet, Lamberton and Lapeyre).
Penalty methods replace the constraint by a large penalty: , a semilinear equation whose solutions converge to as , exactly as in the penalty approach to the obstacle problem.
Monte Carlo methods for American options need an estimate of the continuation value at each simulated state; Francis Longstaff and Eduardo Schwartz (2001) estimated it by least-squares regression on functions of the current price, which made Monte Carlo practical for American options in many dimensions (6D.10 Monte Carlo, Fourier and Finite Element Methods).
The obstacle problem of 6C.1 Regularity of Minimisers and Constraints is the elliptic, time-independent version of (LCP), and its free boundary regularity theory (Caffarelli, 1977 onwards) applies to the American exercise boundary too. The Hamilton–Jacobi–Bellman equation of 6D.8 Stochastic Control and the HJB Equation is the version where the decision is not "stop or continue" but a continuous control; optimal stopping is HJB with a control taking two values. In geometric flows, free boundaries appear in mean curvature flow with obstacles and in the level-set formulation, where the moving front is itself a free boundary (6C.9 Hamilton–Jacobi Equations and Viscosity Solutions).
History
The theory of optimal stopping began with Abraham Wald's sequential analysis (1940s) and was developed by J. Laurie Snell (1952), whose envelope is the discrete solution. Henry McKean solved the perpetual American put (and related problems) in 1965, in an appendix to a paper of Paul Samuelson on warrant pricing. Brennan and Schwartz (1977) computed American put prices by finite differences, Cox, Ross and Rubinstein (1979) introduced the binomial tree, and Bensoussan and Lions developed the variational inequality theory in the 1970s and early 1980s. McDonald and Siegel's real options model dates from 1986, Dixit and Pindyck's book from 1994, and the Longstaff–Schwartz algorithm from 2001.
American options are optimal stopping problems. In discrete time the price is the Snell envelope: , the smallest discounted supermartingale above the payoff, with optimal exercise when . In continuous time the price solves the linear complementarity problem , , , a parabolic obstacle problem with an exercise boundary where smooth fit holds. The perpetual put has above , , proved optimal by verification; smooth fit is the first-order condition for the best threshold. American calls without dividends are never exercised early. In practice: trees, finite differences with PSOR or penalties, and regression Monte Carlo. 6D.8 Stochastic Control and the HJB Equation generalises stopping to continuous control: the Hamilton–Jacobi–Bellman equation and Merton's portfolio problem.
Exercises
For the strategy "exercise the perpetual put when first falls to " with : (a) show that solves on with , as , and deduce . (b) Conclude that the strategy is worth .
Solution
(a) By the Feynman–Kac argument of 6D.3 Stochastic Differential Equations and Feynman–Kac (applied to up to ), the function solves the Euler equation with these boundary values; the solutions are , and forces , gives . (b) The payoff at is , so the value is .
In Example 7.2, compute the European put on the two-step tree and the early exercise premium. Then explain why the American value at the root is obtained without exercising at the root.
Solution
At the down node the European value is the continuation value ; at the up node . At the root, . The American value is , a premium of about . At the root, exercising pays , less than the continuation value , so the holder continues and exercises at the down node if it is reached.
For , and , compute , and . Compare with the values for in the text, and explain why the exercise boundary moves down when volatility increases.
Solution
, , . Higher volatility makes waiting more valuable (a larger chance of a much lower price later), so the holder waits for a deeper fall, and the option is worth more ( versus ).
A project is worth , a geometric Brownian motion under with ( is the "dividend yield" of the project, the income forgone by waiting). Investing costs . (a) Show that the perpetual option to invest is worth below a threshold , where solves , and that value matching and smooth fit give . (b) Evaluate for , , .
Solution
(a) In the continuation region the value solves , with solutions for the two roots of the quadratic; selects the positive root (the quadratic is at ). Value matching and smooth fit give , i.e. . (b) gives and .
For the perpetual put, verify the three conditions of (LCP) (without the time derivative) on each region, and show that if the candidate violates either or the supermartingale condition near .
Solution
On : , and the operator gives . On : the operator gives and (convexity above the tangent). At the product vanishes. If , then : the slope jumps up at , a convex kink, so contains a positive multiple of , the operator applied to is positive there, and is not a supermartingale. If , then : just above , starts at and decreases faster than , so it falls below the payoff, violating .
For a European option with convex payoff , let solve the Black–Scholes equation. (a) Show that solves the backward equation . (b) Deduce from the Feynman–Kac representation (or the maximum principle) that for : the price is convex in . (c) This is the simplest instance of a preserved condition: a sign condition on second derivatives that the evolution cannot destroy because the quantity satisfies a parabolic equation of its own. Hamilton's proof that positive Ricci curvature in dimension three is preserved by Ricci flow has exactly this structure, with in place of and the tensor maximum principle in place of Feynman–Kac (11A.7 Maximum Principles under Ricci Flow).
Solution
(a) Differentiate (BS) in : solves (the terms cancel). Differentiate again: . (b) This is a backward Kolmogorov equation with a "creation" term , so for the diffusion with generator , and (as a measure). (c) As stated.
Free resources for this chapter
Chosen for what this chapter covers, and all free to read. Links checked Oct 20, 2026.
- Reference Optimal stoppingWikipediaOptimal stopping problems and their solution.
- Reference Snell envelopeWikipediaThe smallest supermartingale above a payoff.
- Reference Binomial options pricing modelWikipediaThe Cox–Ross–Rubinstein tree, including American options.
- Reference Real options valuationWikipediaThe option to invest and the value of waiting.
© 2026 NeckPinch (www.neckpinch.com). All content in the guidebook (text, mathematics, figures and exercises) is protected by copyright. All rights reserved. No part may be copied, republished or redistributed without written permission.