We present solutions to nonzero-sum games of optimal stopping for Brownian motion in [0, 1] absorbed at either 0 or 1. The approach used is based on the double partial superharmonic characterisation of the value functions derived in Attard (2015). In this setting the characterisation of the value functions has a transparent geometrical interpretation of 'pulling two ropes' above 'two obstacles' which must, however, be constrained to pass through certain regions. This is an extension of the analogous result derived by Peskir (2009), (2012) (semiharmonic characterisation) for the value function in zero-sum games of optimal stopping. To derive the value functions we transform the game into a free-boundary problem. The latter is then solved by making use of the double smooth fit principle which was also observed in Attard (2015). Martingale arguments based on the Itô–Tanaka formula will then be used to verify that the solution to the free-boundary problem coincides with the value functions of the game and this will establish the Nash equilibrium.

Explicit formulas are found for the payoff and the optimal stopping strategy of the optimal stopping problem supτE (max0≤t≤τXt − c τ), where X = (Xt)t≥0 is geometric Brownian motion with drift μ and volatility σ > 0, and the supremum is taken over all stopping times for X. The payoff is shown to be finite, if and only if μ < 0. The optimal stopping time is given by τ* = inf {t > 0 | Xt = g* (max0≤t≤sXs)} where s ↦ g*(s) is the maximal solution of the (nonlinear) differential equation under the condition 0 < g(s) < s, where Δ = 1 − 2μ / σ2 and K = Δ σ2 / 2c. The estimate is established g*(s) ∼ ((Δ − 1) / K Δ)1 / Δs1−1/Δ as s → ∞. Applying these results we prove the following maximal inequality: where τ may be any stopping time for X. This extends the well-known identity E (supt>0Xt) = 1 − (σ 2 / 2 μ) and is shown to be sharp. The method of proof relies upon a smooth pasting guess (for the Stephan problem with moving boundary) and the Itô–Tanaka formula (being applied two-dimensionally). The key point and main novelty in our approach is the maximality principle for the moving boundary (the optimal stopping boundary is the maximal solution of the differential equation obtained by a smooth pasting guess). We think that this principle is by itself of theoretical and practical interest.