Barrier-triggered put ($\tau =\inf \{u\ge t:S_u\le B\}\wedge T$)

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.