Book 6D

© 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.

28 min read · Updated Oct 20, 2026

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.

In this chapter · 8 sections
  1. 7.1The value of waiting
  2. 7.2Discrete time: the Snell envelope
  3. 7.3Continuous time: a free boundary problem
  4. 7.4The perpetual American put
  5. 7.5American calls and dividends
  6. 7.6Numerical methods
  7. 7.7History
  8. 7.8Exercises
  9. ↗Free resources

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

In the world In use Real options

A firm can build a factory at cost II, producing a stream of profits whose present value PP fluctuates randomly. The textbook rule, "invest if P>IP > I" (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 PP with strike II, and Robert McDonald and Daniel Siegel showed in 1986 that its optimal exercise threshold is P∗=ββ−1IP^* = \frac{\beta}{\beta - 1}I for a constant β>1\beta > 1 determined by the volatility and the rates, the same calculation as the perpetual put of this chapter (Exercise 7.9). With plausible parameters P∗P^* is about twice II: 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 NN steps of length Δt\Delta t: at each step the price is multiplied by uu or d=1/ud = 1/u, and pricing uses the risk-neutral probability q=erΔt−du−dq = \frac{e^{r\Delta t} - d}{u - d} of an up move, which makes the discounted price a martingale (6D.6 Black–Scholes). An American option with payoff hn=h(Sn)h_n = h(S_n) at step nn can be exercised at any step.

Theorem 7.1 The Snell envelope

Define VN=hNV_N = h_N and, backwards,

Vn=max⁡(hn, e−rΔt EQ[Vn+1∣Fn]).V_n = \max\Big(h_n,\ e^{-r\Delta t}\,\mathbb{E}^{\mathbb{Q}}\big[V_{n+1}\mid\mathcal F_n\big]\Big).

Then:

  1. Vn=max⁡τEQ[e−r(τ−n)Δthτ∣Fn]V_n = \max_{\tau}\mathbb{E}^{\mathbb{Q}}\big[e^{-r(\tau - n)\Delta t}h_\tau\mid\mathcal F_n\big], the maximum over stopping times τ\tau with n≤τ≤Nn \leq \tau \leq N;
  2. the maximum is attained by τn∗=min⁡{k≥n:Vk=hk}\tau^*_n = \min\{k \geq n : V_k = h_k\}, exercise as soon as the value equals the payoff;
  3. the discounted process e−rnΔtVne^{-rn\Delta t}V_n is the smallest Q\mathbb{Q}-supermartingale that dominates e−rnΔthne^{-rn\Delta t}h_n.

Proof. Write Yn=e−rnΔtVnY_n = e^{-rn\Delta t}V_n and Zn=e−rnΔthnZ_n = e^{-rn\Delta t}h_n, so that YN=ZNY_N = Z_N and Yn=max⁡(Zn,E[Yn+1∣Fn])Y_n = \max\big(Z_n, \mathbb{E}[Y_{n+1}\mid\mathcal F_n]\big). Then Yn≥ZnY_n \geq Z_n and Yn≥E[Yn+1∣Fn]Y_n \geq \mathbb{E}[Y_{n+1}\mid\mathcal F_n]: YY is a supermartingale dominating ZZ.

YY is the smallest such. If UU is a supermartingale with U≥ZU \geq Z, then UN≥ZN=YNU_N \geq Z_N = Y_N, and if Un+1≥Yn+1U_{n+1} \geq Y_{n+1} then Un≥max⁡(Zn,E[Un+1∣Fn])≥max⁡(Zn,E[Yn+1∣Fn])=YnU_n \geq \max\big(Z_n, \mathbb{E}[U_{n+1}\mid\mathcal F_n]\big) \geq \max\big(Z_n, \mathbb{E}[Y_{n+1}\mid\mathcal F_n]\big) = Y_n. This is statement 3.

Upper bound. For any stopping time τ≥n\tau \geq n, optional stopping for the supermartingale YY (6D.2 Martingales and the Itô Integral, with bounded τ\tau) gives E[Zτ∣Fn]≤E[Yτ∣Fn]≤Yn\mathbb{E}[Z_\tau\mid\mathcal F_n] \leq \mathbb{E}[Y_\tau\mid\mathcal F_n] \leq Y_n.

Attained. Up to τ∗=τn∗\tau^* = \tau^*_n we have Yk>ZkY_k > Z_k, hence Yk=E[Yk+1∣Fk]Y_k = \mathbb{E}[Y_{k+1}\mid\mathcal F_k]: the stopped process Yk∧τ∗Y_{k\wedge\tau^*} is a martingale for k≥nk \geq n. So Yn=E[Yτ∗∣Fn]=E[Zτ∗∣Fn]Y_n = \mathbb{E}[Y_{\tau^*}\mid\mathcal F_n] = \mathbb{E}[Z_{\tau^*}\mid\mathcal F_n], since Yτ∗=Zτ∗Y_{\tau^*} = Z_{\tau^*} by definition of τ∗\tau^*. Multiplying by ernΔte^{rn\Delta t} 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 u=eσΔtu = e^{\sigma\sqrt{\Delta t}}, under which the prices converge to the continuous-time prices as Δt→0\Delta t \to 0 (statement; for American options this was proved by Amin and Khanna, and Lamberton, in the 1990s).

Example 7.2 An American put on a tree

Take S0=K=100S_0 = K = 100, r=0.05r = 0.05, σ=0.2\sigma = 0.2, T=1T = 1 and N=2N = 2 steps, so u=e0.20.5≈1.1519u = e^{0.2\sqrt{0.5}} \approx 1.1519, d≈0.8681d \approx 0.8681, q≈0.5539q \approx 0.5539 and the one-step discount factor is e−0.025≈0.9753e^{-0.025} \approx 0.9753. The terminal prices are 132.69132.69, 100100 and 75.3675.36, with put payoffs 00, 00 and 24.6424.64. At the down node (S=86.81S = 86.81) continuing is worth 0.9753×0.4461×24.64≈10.720.9753\times0.4461\times24.64 \approx 10.72, but exercising pays 13.1913.19: exercise early. At the root, the value is 0.9753×0.4461×13.19≈5.740.9753\times0.4461\times13.19 \approx 5.74. The European put on the same tree is worth 4.664.66: the right to exercise early is worth about 1.071.07. With N=1000N = 1000 steps the American price converges to about 6.096.09, compared with the Black–Scholes European price 5.575.57 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 h(S)h(S) (for the put, h(S)=(K−S)+h(S) = (K - S)^+) is

V(t,S)=sup⁡t≤τ≤TEQ[e−r(τ−t)h(Sτ) ∣ St=S],V(t, S) = \sup_{t\leq\tau\leq T}\mathbb{E}^{\mathbb{Q}}\Big[e^{-r(\tau - t)}h(S_\tau)\,\Big|\,S_t = S\Big],

the supremum over stopping times, with dS=rS dt+σS dWdS = rS\,dt + \sigma S\,dW under Q\mathbb{Q}. Write LV=∂tV+rS∂SV+12σ2S2∂SSV−rV\mathcal L V = \partial_tV + rS\partial_SV + \frac12\sigma^2S^2\partial_{SS}V - rV for the Black–Scholes operator. The Snell envelope suggests three properties, the continuous versions of "dominates the payoff", "supermartingale" and "martingale until exercise":

V≥h,LV≤0,(V−h) LV=0,V(T,⋅)=h.(LCP)V \geq h, \qquad \mathcal LV \leq 0, \qquad (V - h)\,\mathcal LV = 0, \qquad V(T, \cdot) = h. \tag{LCP}

This is a linear complementarity problem: at each point, one of the two inequalities is an equality. The continuation region is {V>h}\{V > h\}, where LV=0\mathcal LV = 0 (the Black–Scholes equation holds); the exercise region is {V=h}\{V = h\}, where Lh≤0\mathcal Lh \leq 0. For the put, the exercise region is {S≤S∗(t)}\{S \leq S^*(t)\} for an exercise boundary S∗(t)S^*(t), which increases to KK as t→Tt \to T. Equivalently, (LCP) is a parabolic variational inequality: VV is the solution of the obstacle problem of 6C.1 Regularity of Minimisers and Constraints for the backward parabolic operator L\mathcal L with obstacle hh.

Theorem 7.3 The American put as a free boundary problem (statement)

The value function VV 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 C1C^1 in SS across the exercise boundary, so that ∂SV(t,S∗(t))=−1\partial_SV(t, S^*(t)) = -1 (smooth fit), the boundary S∗(t)S^*(t) is continuous and increasing, and S∗(t)→KS^*(t) \to K as t→Tt \to T (with K−S∗(t)K - S^*(t) of order σK(T−t)∣log⁡(T−t)∣\sigma K\sqrt{(T - t)|\log(T - t)|} near expiry).

There is no closed formula for finite TT. But when T=∞T = \infty the time derivative disappears and everything can be computed.

The perpetual American put

For T=∞T = \infty the value does not depend on tt, and (LCP) becomes an ODE problem. In the continuation region VV solves

12σ2S2V′′+rSV′−rV=0,\frac12\sigma^2S^2V'' + rSV' - rV = 0,

an Euler equation with solutions SpS^p where 12σ2p(p−1)+rp−r=0\frac12\sigma^2p(p - 1) + rp - r = 0, that is, (p−1)(12σ2p+r)=0(p - 1)(\frac12\sigma^2p + r) = 0: p=1p = 1 or p=−γp = -\gamma with γ=2rσ2\gamma = \frac{2r}{\sigma^2}. A put is worth little when SS is large, so in the continuation region {S>b}\{S > b\} we take V=AS−γV = AS^{-\gamma}; in the exercise region {S≤b}\{S \leq b\}, V=K−SV = K - S. Value matching at bb gives A=(K−b)bγA = (K - b)b^\gamma. So every threshold b∈(0,K)b \in (0, K) defines a candidate

Vb(S)={K−SS≤b,(K−b)(Sb)−γS>b,V_b(S) = \begin{cases}K - S & S \leq b,\\ (K - b)\big(\frac Sb\big)^{-\gamma} & S > b,\end{cases}

which is the value of the strategy "exercise when SS first falls to bb" (Exercise 7.6). The best threshold maximises Vb(S)V_b(S) for every S>bS > b, and ddb[(K−b)bγ]=0\frac{d}{db}\big[(K - b)b^\gamma\big] = 0 gives

b=S∗=γ1+γK.b = S^* = \frac{\gamma}{1 + \gamma}K.

At this bb, Vb′(b+)=−γK−bb=−1=Vb′(b−)V_b'(b^+) = -\gamma\frac{K - b}{b} = -1 = V_b'(b^-): smooth fit is exactly the condition that the threshold is optimal. A threshold that is too high gives a kink pointing down at bb, one that is too low a kink pointing up.

Theorem 7.4 The perpetual American put

With γ=2rσ2\gamma = \frac{2r}{\sigma^2} and S∗=γ1+γKS^* = \frac{\gamma}{1 + \gamma}K, the value of the perpetual American put is

V(S)={K−SS≤S∗,(K−S∗)(SS∗)−γS>S∗,V(S) = \begin{cases}K - S & S \leq S^*,\\ (K - S^*)\big(\frac{S}{S^*}\big)^{-\gamma} & S > S^*,\end{cases}

and it is optimal to exercise the first time SS falls to S∗S^*.

Proof. Properties of VV. VV is C1C^1 on (0,∞)(0, \infty) (by smooth fit) and C2C^2 except at S∗S^*, with V′′V'' bounded on compact subsets. On S>S∗S > S^*, 12σ2S2V′′+rSV′−rV=0\frac12\sigma^2S^2V'' + rSV' - rV = 0. On S<S∗S < S^*, V=K−SV = K - S and 12σ2S2⋅0+rS(−1)−r(K−S)=−rK<0\frac12\sigma^2S^2\cdot0 + rS(-1) - r(K - S) = -rK < 0. And V≥(K−S)+V \geq (K - S)^+: on S≤S∗S \leq S^* with equality, and on S>S∗S > S^* because VV is convex there (a positive multiple of S−γS^{-\gamma}), lies above its tangent line at S∗S^*, which is K−SK - S by smooth fit, and is positive.

Upper bound. For a C1C^1 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 e−rtV(St)e^{-rt}V(S_t) has dtdt-part e−rt(12σ2S2V′′+rSV′−rV)(St)≤0e^{-rt}\big(\frac12\sigma^2S^2V'' + rSV' - rV\big)(S_t) \leq 0: it is a supermartingale (a local martingale minus an increasing process, and bounded since 0≤V≤K0 \leq V \leq K). For any stopping time τ\tau, by optional stopping at τ∧n\tau\wedge n and letting n→∞n \to \infty (bounded convergence, with e−rτh(Sτ):=0e^{-r\tau}h(S_\tau) := 0 on {τ=∞}\{\tau = \infty\}),

E[e−rτ(K−Sτ)+]≤E[e−rτV(Sτ)]≤V(S0).\mathbb{E}\big[e^{-r\tau}(K - S_\tau)^+\big] \leq \mathbb{E}\big[e^{-r\tau}V(S_\tau)\big] \leq V(S_0).

Attained. Let τ∗=inf⁡{t:St≤S∗}\tau^* = \inf\{t : S_t \leq S^*\}. Up to τ∗\tau^* the drift term vanishes, so e−r(t∧τ∗)V(St∧τ∗)e^{-r(t\wedge\tau^*)}V(S_{t\wedge\tau^*}) is a bounded martingale, and V(S0)=E[e−r(t∧τ∗)V(St∧τ∗)]V(S_0) = \mathbb{E}\big[e^{-r(t\wedge\tau^*)}V(S_{t\wedge\tau^*})\big]. As t→∞t \to \infty, on {τ∗<∞}\{\tau^* < \infty\} this tends to e−rτ∗(K−S∗)e^{-r\tau^*}(K - S^*), and on {τ∗=∞}\{\tau^* = \infty\} to 00 (as V≤KV \leq K and e−rt→0e^{-rt} \to 0). By bounded convergence, V(S0)=E[e−rτ∗(K−Sτ∗)+]V(S_0) = \mathbb{E}\big[e^{-r\tau^*}(K - S_{\tau^*})^+\big].

With K=100K = 100, r=0.05r = 0.05 and σ=0.2\sigma = 0.2: γ=2.5\gamma = 2.5, S∗=2.53.5×100≈71.43S^* = \frac{2.5}{3.5}\times100 \approx 71.43, and at S=100S = 100 the perpetual put is worth 28.57×1.4−2.5≈12.3228.57\times1.4^{-2.5} \approx 12.32 (checked numerically). Exercise is optimal only after a fall of nearly 30%30\%: early exercise sacrifices the chance that the price recovers, and is worth it only when the interest earned on the strike, rKrK per unit time, outweighs that chance.

American calls and dividends

Proposition 7.5 No early exercise of calls without dividends

On a stock paying no dividends, with r≥0r \geq 0, 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 C≥S−Ke−rτ≥S−KC \geq S - Ke^{-r\tau} \geq S - K (6D.6 Black–Scholes, model-free bounds), with strict inequality C>S−KC > S - K when r>0r > 0 and τ>0\tau > 0, 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 KK early can outweigh the insurance value, which is why early exercise of puts is common.

Numerical methods

For finite TT 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 1N\frac1N, with oscillations.

Finite differences with projection. Discretise (LCP) in the log-price x=log⁡Sx = \log S by an implicit or Crank–Nicolson scheme (6D.9 Finite Difference Methods). Each time step requires the solution of a discrete linear complementarity problem

Av≥b,v≥h,(Av−b)⋅(v−h)=0,A\mathbf v \geq \mathbf b, \qquad \mathbf v \geq \mathbf h, \qquad (A\mathbf v - \mathbf b)\cdot(\mathbf v - \mathbf h) = 0,

with AA 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, vi←max⁡(hi,vi+ω(v~i−vi))v_i \leftarrow \max\big(h_i, v_i + \omega(\tilde v_i - v_i)\big), with v~i\tilde v_i the Gauss–Seidel value and 1<ω<21 < \omega < 2 a relaxation parameter. For symmetric positive definite AA it converges for 0<ω<20 < \omega < 2 (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: LVε+1ε(h−Vε)+=0\mathcal LV_\varepsilon + \frac1\varepsilon(h - V_\varepsilon)^+ = 0, a semilinear equation whose solutions converge to VV as ε→0\varepsilon \to 0, 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).

Where this goes Free boundaries elsewhere in the guide

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.

Recall Where we stand

American options are optimal stopping problems. In discrete time the price is the Snell envelope: Vn=max⁡(hn,e−rΔtEQ[Vn+1∣Fn])V_n = \max(h_n, e^{-r\Delta t}\mathbb{E}^{\mathbb{Q}}[V_{n+1}\mid\mathcal F_n]), the smallest discounted supermartingale above the payoff, with optimal exercise when V=hV = h. In continuous time the price solves the linear complementarity problem V≥hV \geq h, LV≤0\mathcal LV \leq 0, (V−h)LV=0(V - h)\mathcal LV = 0, a parabolic obstacle problem with an exercise boundary where smooth fit holds. The perpetual put has V=(K−S∗)(S/S∗)−γV = (K - S^*)(S/S^*)^{-\gamma} above S∗=γ1+γKS^* = \frac{\gamma}{1 + \gamma}K, γ=2rσ2\gamma = \frac{2r}{\sigma^2}, 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

Exercise 7.6 The value of a threshold rule

For the strategy "exercise the perpetual put when SS first falls to bb" with b<S0b < S_0: (a) show that f(S)=ES[e−rτb]f(S) = \mathbb{E}_S\big[e^{-r\tau_b}\big] solves 12σ2S2f′′+rSf′−rf=0\frac12\sigma^2S^2f'' + rSf' - rf = 0 on S>bS > b with f(b)=1f(b) = 1, f→0f \to 0 as S→∞S \to \infty, and deduce f(S)=(S/b)−γf(S) = (S/b)^{-\gamma}. (b) Conclude that the strategy is worth Vb(S)=(K−b)(S/b)−γV_b(S) = (K - b)(S/b)^{-\gamma}.

Solution

(a) By the Feynman–Kac argument of 6D.3 Stochastic Differential Equations and Feynman–Kac (applied to e−rtf(St)e^{-rt}f(S_t) up to τb\tau_b), the function ff solves the Euler equation with these boundary values; the solutions are AS+BS−γAS + BS^{-\gamma}, and f→0f \to 0 forces A=0A = 0, f(b)=1f(b) = 1 gives B=bγB = b^\gamma. (b) The payoff at τb\tau_b is K−bK - b, so the value is (K−b)E[e−rτb](K - b)\mathbb{E}[e^{-r\tau_b}].

Exercise 7.7 The European put on the tree

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 10.7210.72; at the up node 00. At the root, 0.9753×0.4461×10.72≈4.660.9753\times0.4461\times10.72 \approx 4.66. The American value is 5.745.74, a premium of about 1.071.07. At the root, exercising pays (100−100)+=0(100 - 100)^+ = 0, less than the continuation value 5.745.74, so the holder continues and exercises at the down node if it is reached.

Exercise 7.8 Checking the perpetual put

For K=100K = 100, r=0.05r = 0.05 and σ=0.3\sigma = 0.3, compute γ\gamma, S∗S^* and V(100)V(100). Compare with the values for σ=0.2\sigma = 0.2 in the text, and explain why the exercise boundary moves down when volatility increases.

Solution

γ=0.10.09≈1.111\gamma = \frac{0.1}{0.09} \approx 1.111, S∗=1.1112.111×100≈52.63S^* = \frac{1.111}{2.111}\times100 \approx 52.63, V(100)=47.37×(100/52.63)−1.111≈47.37×0.4902≈23.2V(100) = 47.37\times(100/52.63)^{-1.111} \approx 47.37\times0.4902 \approx 23.2. 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 (23.223.2 versus 12.312.3).

Exercise 7.9 The option to invest

A project is worth PtP_t, a geometric Brownian motion under Q\mathbb{Q} with dP=(r−δ)P dt+σP dWdP = (r - \delta)P\,dt + \sigma P\,dW (δ>0\delta > 0 is the "dividend yield" of the project, the income forgone by waiting). Investing costs II. (a) Show that the perpetual option to invest is worth APβAP^\beta below a threshold P∗P^*, where β>1\beta > 1 solves 12σ2β(β−1)+(r−δ)β−r=0\frac12\sigma^2\beta(\beta - 1) + (r - \delta)\beta - r = 0, and that value matching and smooth fit give P∗=ββ−1IP^* = \frac{\beta}{\beta - 1}I. (b) Evaluate for r=0.05r = 0.05, δ=0.04\delta = 0.04, σ=0.2\sigma = 0.2.

Solution

(a) In the continuation region the value F(P)F(P) solves 12σ2P2F′′+(r−δ)PF′−rF=0\frac12\sigma^2P^2F'' + (r - \delta)PF' - rF = 0, with solutions PβP^\beta for the two roots of the quadratic; F(0)=0F(0) = 0 selects the positive root β>1\beta > 1 (the quadratic is −δ<0-\delta < 0 at β=1\beta = 1). Value matching AP∗β=P∗−IAP^{*\beta} = P^* - I and smooth fit βAP∗β−1=1\beta AP^{*\beta - 1} = 1 give β(P∗−I)=P∗\beta(P^* - I) = P^*, i.e. P∗=ββ−1IP^* = \frac{\beta}{\beta - 1}I. (b) 0.02β2−0.01β−0.05=00.02\beta^2 - 0.01\beta - 0.05 = 0 gives β=0.01+0.00410.04≈1.851\beta = \frac{0.01 + \sqrt{0.0041}}{0.04} \approx 1.851 and P∗≈2.18 IP^* \approx 2.18\,I.

Exercise 7.10 The complementarity conditions

For the perpetual put, verify the three conditions of (LCP) (without the time derivative) on each region, and show that if b≠S∗b \neq S^* the candidate VbV_b violates either Vb≥hV_b \geq h or the supermartingale condition near bb.

Solution

On S<S∗S < S^*: V=hV = h, and the operator gives −rK≤0-rK \leq 0. On S>S∗S > S^*: the operator gives 00 and V>hV > h (convexity above the tangent). At S∗S^* the product vanishes. If b>S∗b > S^*, then Vb′(b+)=−γK−bb>−1=Vb′(b−)V_b'(b^+) = -\gamma\frac{K - b}{b} > -1 = V_b'(b^-): the slope jumps up at bb, a convex kink, so Vb′′V_b'' contains a positive multiple of δb\delta_b, the operator applied to VbV_b is positive there, and e−rtVb(St)e^{-rt}V_b(S_t) is not a supermartingale. If b<S∗b < S^*, then Vb′(b+)<−1V_b'(b^+) < -1: just above bb, VbV_b starts at K−bK - b and decreases faster than K−SK - S, so it falls below the payoff, violating Vb≥hV_b \geq h.

Exercise 7.11 Rehearsal: convexity is a preserved condition

For a European option with convex payoff hh, let vv solve the Black–Scholes equation. (a) Show that Γ=∂SSv\Gamma = \partial_{SS}v solves the backward equation ∂tΓ+(r+2σ2)S∂SΓ+12σ2S2∂SSΓ+(r+σ2)Γ=0\partial_t\Gamma + (r + 2\sigma^2)S\partial_S\Gamma + \frac12\sigma^2S^2\partial_{SS}\Gamma + (r + \sigma^2)\Gamma = 0. (b) Deduce from the Feynman–Kac representation (or the maximum principle) that Γ≥0\Gamma \geq 0 for t<Tt < T: the price is convex in SS. (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 Ric⁡\operatorname{Ric} in place of Γ\Gamma and the tensor maximum principle in place of Feynman–Kac (11A.7 Maximum Principles under Ricci Flow).

Solution

(a) Differentiate (BS) in SS: Δ=∂Sv\Delta = \partial_Sv solves ∂tΔ+(r+σ2)S∂SΔ+12σ2S2∂SSΔ=0\partial_t\Delta + (r + \sigma^2)S\partial_S\Delta + \frac12\sigma^2S^2\partial_{SS}\Delta = 0 (the rΔr\Delta terms cancel). Differentiate again: ∂tΓ+(r+σ2)Γ+(r+σ2)S∂SΓ+σ2S∂SΓ+12σ2S2∂SSΓ=0\partial_t\Gamma + (r + \sigma^2)\Gamma + (r + \sigma^2)S\partial_S\Gamma + \sigma^2S\partial_S\Gamma + \frac12\sigma^2S^2\partial_{SS}\Gamma = 0. (b) This is a backward Kolmogorov equation with a "creation" term +(r+σ2)Γ+(r + \sigma^2)\Gamma, so Γ(t,S)=e(r+σ2)(T−t)E[Γ(T,XT)]\Gamma(t, S) = e^{(r + \sigma^2)(T - t)}\mathbb{E}[\Gamma(T, X_T)] for the diffusion with generator (r+2σ2)S∂S+12σ2S2∂SS(r + 2\sigma^2)S\partial_S + \frac12\sigma^2S^2\partial_{SS}, and Γ(T,⋅)=h′′≥0\Gamma(T, \cdot) = h'' \geq 0 (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.

© 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.