American put option

An American put has exercise payoff $(K-S_n{)}^{+}$. In a finite binomial market, backward option pricing compares that payoff with the discounted risk-neutral continuation value at every node.

A put with a prescribed exercise rule: exercise at the first touch of $B<K$, or at expiry if no touch occurs. Its value is bounded above by the American put option, which optimizes over exercise times. With zero interest rate, its value equals the down-and-out put value plus $(K-B)$ times a cash-at-expiry one-touch option value. At positive interest rate the rebate is paid at touch, so replacing it by an expiry payment would generally be incorrect.

For an alive barrier-triggered put, the difference from the corresponding European put option is the displayed discounted conditional expectation, evaluated under the risk-neutral measure. To prove it, condition the European payoff on the first hitting time or expiry and use the Strong Markov property. At a hit, continuation of the European claim is worth $P(B,{\tau }_B;K)$, whereas the fixed exercise rule pays $K-B$ immediately. On survival to expiry the two payoffs coincide. The relevant stopped quantities are bounded, so the conditional-expectation argument is justified.

For risk-neutral stock dynamics $dS=(r-\delta )Sdt+\sigma SdW$, with $r>0$ and $\sigma >0$, let ${\beta }_{-}<0$ solve ${\sigma }^2\beta (\beta -1)/2+(r-\delta )\beta -r=0$. A fixed downward trigger $L\in (0,X)$ gives continuation value $(X-L)(S/L{)}^{{\beta }_{-}}$ for $S>L$. Optimizing over the trigger, or imposing smooth fit, gives the displayed boundary. The optimal value equals $X-S$ below $S^{\ast }$ and the continuation expression above. A verification argument uses its payoff majorization and nonpositive discounted generator. At $r=0$ and $\delta \ge 0$, the perpetual value is $X$ for positive spot, approached by triggers tending to zero rather than attained at a positive finite trigger.

Here $\Delta =\sqrt{(r-\delta -{\sigma }^2/2{)}^2+2r{\sigma }^2}$. Implicit differentiation of the negative-root equation gives $d{\beta }_{-}/d\delta =-{\beta }_{-}/\Delta >0$. Differentiating $S^{\ast }=X{\beta }_{-}/({\beta }_{-}-1)$ gives the displayed negative derivative. A higher proportional dividend yield lowers risk-neutral stock growth and makes waiting for lower stock prices more attractive to the put holder.