1 Introduction
The financial derivatives are one of the most important financial instruments against the market risk. By their very nature, they are a major indicator of the investor expectations for the future market behavior. On the other hand, the options are one of the most traded derivatives. They preserve their holder from the market fluctuations when he wants to buy (calls) or sell (puts) some asset at a price no larger (calls) or lower (puts) than a predefined level known as the strike price or simply the strike. Thus the options can be viewed as an insurance instrument. Furthermore, the price structure they generate w.r.t. the strike is very informative for the investors beliefs. On the other hand, two main types – European and American – can be distinguished depending on when the contracts expire. For the European style options, the exercise can be done only at a predefined maturity date. Alternatively, the American options give to their owner the right to chose the moment for exercising. There are further modifications known as exotic options – barrier, Asian, look-back, digital, straddle, strangle, and many others. Although the options exhibit such variety, the American ones have a largest segment amongst all traded options namely due to the property of early exercising preferred by investors. However, there is some difference between the holder and the writer of these options since the writer has only obligations. To overcome this, a new class of financial instruments has been designed, known as the cancellable American options. The main feature distinguishing these derivatives from the regular American options is the writer’s right to cancel the contract prematurely paying some penalty above the usual payoff – a traditional assumption is that it is fixed during the option’s life, but we shall examine more complicated cases.
These derivatives are first introduced in the scientific literature by Kifer (2000) under the name game options. Later, the term Israeli is also used, see Kifer (2013). Regardless of the penalty structure, these financial instruments fall in the field of the so-called Dynkin stochastic games (see Dynkin (1969)). Thus their pricing problem turns into finding of the optimal strategies (if they exist) for both of option’s writer and holder. In the stochastic terms, these strategies have to form a saddle point in the field of the stopping times w.r.t. the natural filtration. Some existence results for the models based on diffusion processes can be found in Friedman (1973), Bensoussan and Friedman (1974), Bensoussan and Friedman (1977), Ekström (2006), Karatzas and Sudderth (2006), Ekström and Villeneuve (2006), Gapeev and Lerche (2011). The results for significantly larger classes of process are derived in Ekström and Peskir (2008) and Peskir (2009) – it turns out that the right continuity leads to the Stackelberg equilibrium, whereas a left continuity w.r.t. the stopping times (quasi-left continuity) is necessary for the Nash equilibrium. Note that some of the most applied stochastic processes in financial modeling exhibit both of these requirements, for example, the Lévy processes, the stochastic differential equations they generate, particularly the diffusuions, etc.
Several important works devoted to the game options are published after Kifer (2000). The call style instruments are examined first in Kunita and Seko (2004). These results are refined later by Emmerling (2012) and Yam et al. (2014). The put style options are explored in Kyprianou (2004), Ekström (2006), Suzuki and Sawaki (2007), and Kühn and Kyprianou (2007). Some exotic game options are investigated in Kyprianou (2004) (Russian), Baurdoux and Kyprianou (2004) (integral options, related to the Asian ones), Gapeev (2005) (spread options), Ekström (2006) (capped options), Guo et al. (2014) (look-back), Guo et al. (2020) (Asian). The cancellable options under some generalized assumptions are examined in Kallsen and Kühn (2004), Hamadène (2006), Kühn et al. (2007), Dumitrescu et al. (2017), Guo and Rutkowski (2017), Guo (2020), Dolinsky (2020), and Palmowski and Stȩpniak (2023).
We position the present study in the framework by Black and Scholes (1973) – the underlying asset is driven by a log-normal process. In addition to the usual assumption for a fixed penalty, we consider a three-component structure – a proportion of the usual payoff, shares of the underlying asset, and a fixed amount. These instruments are investigated with and without maturity constraints in Zaevski (2023, 2025b), see also Ekström and Villeneuve (2006) and Zaevski (2020a) for cancellable options with proportional penalties. Regardless of the penalty structure, it turns out that these instruments may exhibit three different behaviors. In all of them, the holder’s exercise set contains all points below/above some boundary for the put/call style options. The distinction comes from the shape of the writer’s optimal set. For some large enough penalties, the premature cancellation is never optimal – the canceling price is larger than the expected losses. In such a way, the option is regular American. On the other hand, the relatively middle values make the first hitting to the strike the unique writer’s optimal strategy. In this case, the option is rather American than game, since it can be viewed as a derivative that gives an early exercise right to its holder and expires at the maturity or when the underlying asset hits the strike – in the last case the holder receives a predefined amount. If it is L, then we shall entitle the option L-American. Finally, the canceling right has a real impact for the small enough penalties – we shall use the name real game or real cancellable in this case. The writer’s optimal set is an interval with the strike for the right/left endpoint for the puts/calls. The options without maturity horizon determine which of these three cases holds in the sense that they contain the whole information. First, if the perpetual option is regular American, then all finite maturity options are regular American too. Second, if the option is of the L-American kind, then there exists a critical value for the time to maturity above which the option is L-American too, but it is regular American for the lower maturities. Third, if the perpetual option is real cancellable, then there exist two critical values for the time to maturity where the finite maturity option changes its behavior. This importance of the perpetual case motivates the present research. For a survey of such instruments, we refer to Kyprianou (2004), Kunita and Seko (2004), Ekström (2006), Suzuki and Sawaki (2007), Emmerling (2012), Yam et al. (2014), Zaevski (2020a,b,c, 2023), and Gapeev et al. (2021).
The main results of this paper are in the recognition which values of the penalty triple (proportion, shares, and fixed amount) to which case lead. We derive the critical values that distinguish the three possible types. It is interessting to be mentioned that the first component (the proportion of the usual payoff) does not influence the transition between the regular American and L-American type. On the other hand, if the payoff taken at the strike (it depends only on the penalty components related to the number of shares and the fixed amount) is less than the price of the at-the-money regular American option (the initial asset price is the strike), then the option is either L-American or real cancellable. Here appears the impact of the first penalty component. Next we derive iteratively all critical values in this order: proportion of the payoff, number of shares, and finally, the fixed amount. Based on these results, we provide an algorithm for recognizing the option’s type. These relations are examined in detail for the put options, whereas the calls are examined through some symmetry arguments. Several numerical experiments are provided to illustrate and validate the theoretical findings.
It is worth to mention that along with this, we investigate the optimal sets of the L-American options as well as their pricing rules.
2 Preliminaries
Let the underlying asset be driven by the geometric Brownian motion
under the filtered probability space $\left(\Omega ,\mathcal{F},{\mathcal{F}_{t}},\mathbb{Q}\right)$. We shall use a superscript to mark the initial value, i.e. ${\mathbb{E}^{t,x}}$ means the expectation under the assumption ${S_{t}}=x$. Also, if $t=0$, we shall mark only the dependence on x. On the other hand, somewhere it is more appropriate if we mark the dependence directly in the process, i.e. ${S_{t}^{x}}$ notates the process if ${S_{0}}=x$. The measure $\mathbb{Q}$ is risk-neutral w.r.t. to the risk-free rate r. We assume that it is a constant during the option’s life – note that it can take negative values. We introduce an extra discount factor with rate λ, assuming $\lambda \ge 0$ and $r+\lambda \gt 0$. Let the option’s strike price be denoted by K. The holder of a regular American option (put or call) receives the amount of
if he exercises in a moment t at the spot price ${S_{t}}=x$. Additionally, the cancellable American option gives its writer the right to cancel prematurely paying some amount above the usual payoff. We assume that it consists of three parts: ${\eta _{1}}\ge 1$ being proportion of the payoff, ${\eta _{2}}\ge 0$ shares of the underlying asset, and a fixed amount of ${\eta _{3}}\ge 0$. Thus the holder owes the total amount of
if he cancels the option. As a consequence, we have a stochastic game (see Dynkin (1969)) between two players – the option’s holder and writer.
(2)
\[ \begin{aligned}{}& {N_{1}}\left(t,x\right)={e^{-\lambda t}}{\left(K-x\right)^{+}},\hspace{3.33333pt}\hspace{3.33333pt}\hspace{3.33333pt}\mathrm{put},\\ {} & {N_{1}}\left(t,x\right)={e^{-\lambda t}}{\left(x-K\right)^{+}},\hspace{3.33333pt}\hspace{3.33333pt}\hspace{3.33333pt}\mathrm{call},\end{aligned}\](3)
\[ \begin{aligned}{}& {N_{2}}\left(t,x\right)={e^{-\lambda t}}\left[{\eta _{1}}{\left(K-x\right)^{+}}+{\eta _{2}}x+{\eta _{3}}\right],\hspace{3.33333pt}\hspace{3.33333pt}\hspace{3.33333pt}\mathrm{put},\\ {} & {N_{2}}\left(t,x\right)={e^{-\lambda t}}\left[{\eta _{1}}{\left(x-K\right)^{+}}+{\eta _{2}}x+{\eta _{3}}\right],\hspace{3.33333pt}\hspace{3.33333pt}\hspace{3.33333pt}\mathrm{call},\end{aligned}\]Let us denote by ${n_{1}}\left(x\right)$ and ${n_{2}}\left(x\right)$ the respective undiscounted payoffs, i.e.
for the puts and
for the calls.
Remark 1.
The discount factor λ can be viewed as a dividend rate due to Proposition 2.2 from Zaevski (2025a). It says that if there are dividends payable at rate δ, then this model is equivalent to a nondividend one with parameters $\overline{r}=r-\delta $ and $\overline{\lambda }=\lambda +\delta $ in the sense that both models lead to equal option prices. This parametrization, used in McKean (1965) and Shiryaev et al. (1995), allows some computational facilities. We shall refer to that change of parameters when the use of the classical parametrization with the dividend rate is necessary. We shall distinguish both approaches using the name discount parametrization when the model is defined by asset (1) and payoffs (2)–(3). Alternatively, we shall use the name dividend parametrization when the asset’s drift is compensated by the dividend rate (from r ro $r-\delta $), but the payoffs are undiscounted as in formulas (4)–(5).
We assume now that $t=0$ since the model is time-homogeneous in the perpetual case. Suppose that the buyer’s (holder’s) strategy is to exercise in the stopping time ${\tau ^{b}}$ and the seller’s (writer’s) one is another stopping time ${\tau ^{s}}$. The financial result of these strategies at the point x is
The option’s holder/writer has to maximize/minimize the value of (6) w.r.t. all stopping times. Based on Theorem 2.1 from Ekström and Peskir (2008), it is proven in Zaevski (2023) that this stochastic game exhibits a Nash equilibrium (see also Peskir (2009)). We shall denote its value function by
where $\mathcal{T}$ is the set of all stopping times. Hence, ${n_{1}}\left(x\right)\le V\left(x\right)\le {n_{2}}\left(x\right)$. The following lemma gives the time-relations for the price function.
(6)
\[ \begin{aligned}{}& M\left(x;{\tau ^{b}},{\tau ^{s}}\right)\\ {} & ={\mathbb{E}^{x}}\left[{e^{-r{\tau ^{b}}}}{N_{1}}\left({\tau ^{b}},{S_{{\tau ^{b}}}}\right){I_{{\tau ^{b}}\le {\tau ^{s}}}}+{e^{-r{\tau ^{s}}}}{N_{2}}\left({\tau ^{s}},{S_{{\tau ^{s}}}}\right){I_{{\tau ^{s}}\lt {\tau ^{b}}}}\right].\end{aligned}\](7)
\[ V\left(x\right)=\underset{{\tau ^{s}}\in \mathcal{T}}{\inf }\underset{{\tau ^{b}}\in \mathcal{T}}{\sup }M\left(x;{\tau ^{b}},{\tau ^{s}}\right)=\underset{{\tau ^{b}}}{\sup }\underset{{\tau ^{s}}}{\inf }M\left(x;{\tau ^{b}},{\tau ^{s}}\right),\]Lemma 2.1.
If the price function at the point $\left(t,x\right)$ is $\overline{V}\left(t,x\right)$, then $\overline{V}\left(t,x\right)={e^{-\lambda t}}V\left(x\right)$.
Proof.
Let us denote by $\overline{M}\left(t,x;{\tau ^{b}},{\tau ^{s}}\right)$ the financial result of the strategies ${\tau ^{b}}\ge t$ and ${\tau ^{s}}\ge t$ under the assumption ${S_{t}}=x$. The lemma holds since
□
(8)
\[ \begin{aligned}{}& \overline{M}\left(t,x;{\tau ^{b}},{\tau ^{s}}\right)\\ {} & ={\mathbb{E}^{t,x}}\left[{e^{-r\left({\tau ^{b}}-t\right)}}{N_{1}}\left({\tau ^{b}},{S_{{\tau ^{b}}}}\right){I_{{\tau ^{b}}\le {\tau ^{s}}}}+{e^{-r\left({\tau ^{s}}-t\right)}}{N_{2}}\left({\tau ^{s}},{S_{{\tau ^{s}}}}\right){I_{{\tau ^{s}}\lt {\tau ^{b}}}}\right]\\ {} & ={e^{-\lambda t}}{\mathbb{E}^{t,x}}\left[{e^{-\left(r+\lambda \right)\left({\tau ^{b}}-t\right)}}{n_{1}}\left({S_{{\tau ^{b}}}}\right){I_{{\tau ^{b}}\le {\tau ^{s}}}}+{e^{-\left(r+\lambda \right)\left({\tau ^{s}}-t\right)}}{n_{2}}\left({S_{{\tau ^{s}}}}\right){I_{{\tau ^{s}}\lt {\tau ^{b}}}}\right].\end{aligned}\]Having in mind Lemma 2.1, we define the holder’s and writer’s optimal sets as the points $\left(t,x\right)$ for which $V\left(x\right)={n_{1}}\left(x\right)$ or $V\left(x\right)={n_{2}}\left(x\right)$, respectively.1 Thus the optimal strategies ${\tau ^{b}}$ and ${\tau ^{s}}$ can be defined as
We shall denote the optimal sets by ${\Upsilon ^{b}}$ and ${\Upsilon ^{s}}$. The boundaries of these sets are known as early exercise or optimal boundaries. We shall discuss in detail the particular form of the optimal sets and their boundaries in the corresponding sections devoted to the put and call options.
(9)
\[ \begin{aligned}{}{\tau ^{b}}& =\inf \left\{t:\hspace{3.33333pt}V\left({S_{t}}\right)={n_{1}}\left({S_{t}}\right)\right\},\\ {} {\tau ^{s}}& =\inf \left\{t:\hspace{3.33333pt}V\left({S_{t}}\right)={n_{2}}\left({S_{t}}\right)\right\}.\end{aligned}\]The existence of two optimal boundaries (holder’s and writer’s) leads to a problem for the first exit from a strip of the underlying asset or, equivalently, of a Brownian motion. We need the following well-known result for diffusion processes – for the proof see Darling and Siegert (1953) or Lehoczky (1977).
Lemma 2.2.
Let the diffusion process ${X_{t}}$ be defined as
for some Lipschitz functions $\mu \left(\cdot \right)$ and $\sigma \left(\cdot \right)$. Let the initial value be between a and b, $a\lt {X_{0}}\lt b$. Let ${\tau ^{a}}$ and ${\tau ^{b}}$ be the first hitting moments of ${X_{t}}$ to the values a and b, respectively. Let the pair $\left\{{f_{1}}\left(u\right),{f_{2}}\left(u\right)\right\}$ consist of any two fundamental (linearly independent) solutions of the ordinary differential equation (ODE)
Under these assumptions, the following relations hold for a positive constant y:
(11)
\[ \frac{1}{2}{\sigma ^{2}}\left(u\right){f^{\prime\prime }}\left(u\right)+\mu \left(u\right){f^{\prime }}\left(u\right)-yf\left(u\right)=0.\](12)
\[ \begin{aligned}{}\mathbb{E}\left[{e^{-y{\tau ^{a}}}}{I_{{\tau ^{a}}\lt {\tau ^{b}}}}\right]& =\frac{{f_{1}}\left({X_{0}}\right){f_{2}}\left(b\right)-{f_{1}}\left(b\right){f_{2}}\left({X_{0}}\right)}{{f_{1}}\left(a\right){f_{2}}\left(b\right)-{f_{1}}\left(b\right){f_{2}}\left(a\right)},\\ {} \mathbb{E}\left[{e^{-y{\tau ^{b}}}}{I_{{\tau ^{b}}\lt {\tau ^{a}}}}\right]& =\frac{{f_{1}}\left(a\right){f_{2}}\left({X_{0}}\right)-{f_{1}}\left({X_{0}}\right){f_{2}}\left(a\right)}{{f_{1}}\left(a\right){f_{2}}\left(b\right)-{f_{1}}\left(b\right){f_{2}}\left(a\right)}.\end{aligned}\]If diffusion (10) is a Brownian motion with drift, then the functions $\mu \left(\cdot \right)$ and $\sigma \left(\cdot \right)$ are constants, and the last one is equal to one. Thus ODE (11) turns into
It is characterized by the quadratic equation
the solutions of which are
Note that they are real since $y\ge 0$. Thus a pair of fundamental solutions is ${f_{1,2}}\left(u\right)={e^{{u_{1,2}}u}}$. Therefore, the Laplace transforms (12) can be written as
Suppose that the underlying asset starts from the point ${S_{0}}=x$. Note that the first exit of process (1) from a strip $0\lt A\lt {S_{0}}\lt B$ is equivalent to the exit of a Brownian motion with drift
from the strip $\left(a,b\right)$, where $a=\frac{1}{\sigma }\ln \frac{A}{x}$ and $b=\frac{1}{\sigma }\ln \frac{B}{x}$. Thus the Laplace transforms (16) taken at the point of the total discount rate, $y=r+\lambda $, turn into
where the constants p and q are expressed in roots (15) as
We have $p\ge q+1$ and the equality holds only when $\lambda =0$. We can derive the Laplace transforms of the one-sided hits taking $B=\infty $ and $A=0$, respectively:
(16)
\[ \begin{array}{r}\displaystyle \mathbb{E}\left[{e^{-y{\tau ^{a}}}}{I_{{\tau ^{a}}\lt {\tau ^{b}}}}\right]={e^{\mu \left(a-{X_{0}}\right)}}\frac{{e^{\left(b-{X_{0}}\right)\sqrt{{\mu ^{2}}+2y}}}-{e^{-\left(b-{X_{0}}\right)\sqrt{{\mu ^{2}}+2y}}}}{{e^{\left(b-a\right)\sqrt{{\mu ^{2}}+2y}}}-{e^{-\left(b-a\right)\sqrt{{\mu ^{2}}+2y}}}},\\ {} \displaystyle \mathbb{E}\left[{e^{-y{\tau ^{b}}}}{I_{{\tau ^{b}}\lt {\tau ^{a}}}}\right]={e^{\mu \left(b-{X_{0}}\right)}}\frac{{e^{\left({X_{0}}-a\right)\sqrt{{\mu ^{2}}+2y}}}-{e^{-\left({X_{0}}-a\right)\sqrt{{\mu ^{2}}+2y}}}}{{e^{\left(b-a\right)\sqrt{{\mu ^{2}}+2y}}}-{e^{-\left(b-a\right)\sqrt{{\mu ^{2}}+2y}}}}.\end{array}\](18)
\[ \begin{aligned}{}\mathbb{E}\left[{e^{-\left(r+\lambda \right){\tau ^{a}}}}{I_{{\tau ^{a}}\lt {\tau ^{b}}}}\right]& ={\left(\frac{A}{x}\right)^{q}}\frac{{B^{p}}-{x^{p}}}{{B^{p}}-{A^{p}}},\\ {} \mathbb{E}\left[{e^{-\left(r+\lambda \right){\tau ^{b}}}}{I_{{\tau ^{b}}\lt {\tau ^{a}}}}\right]& ={\left(\frac{B}{x}\right)^{q}}\frac{{x^{p}}-{A^{p}}}{{B^{p}}-{A^{p}}},\end{aligned}\](19)
\[ \begin{aligned}{}p& ={u_{1}}-{u_{2}}=2\sqrt{{\left(\frac{r}{{\sigma ^{2}}}-\frac{1}{2}\right)^{2}}+2\frac{r+\lambda }{{\sigma ^{2}}}},\\ {} q& =-{u_{2}}=\sqrt{{\left(\frac{r}{{\sigma ^{2}}}-\frac{1}{2}\right)^{2}}+2\frac{r+\lambda }{{\sigma ^{2}}}}+\left(\frac{r}{{\sigma ^{2}}}-\frac{1}{2}\right).\end{aligned}\](20)
\[ \begin{aligned}{}\mathbb{E}\left[{e^{-\left(r+\lambda \right){\tau ^{a}}}}{I_{{\tau ^{a}}\lt \infty }}\right]& ={\left(\frac{A}{x}\right)^{q}},\\ {} \mathbb{E}\left[{e^{-\left(r+\lambda \right){\tau ^{b}}}}{I_{{\tau ^{b}}\lt \infty }}\right]& ={\left(\frac{x}{B}\right)^{p-q}}.\end{aligned}\]We need the following relations between the constants p and q.
Proof.
The first part of inequality (21) follows from Lemma 2.3. If we consider the term (22) as a function of p, say $l\left(p\right)$, then its derivative is
Therefore, $l\left(p\right)$ is an increasing function. Having in mind $p\gt 2q+1$ (due to Lemma 2.3), we obtain $l\left(p\right)\gt l\left(2q+1\right)=1$.
(25)
\[ {l^{\prime }}\left(p\right)=l\left(p\right)\ln \left(\frac{\left(p-q-1\right)\left(q+1\right)}{q\left(p-q\right)}\right)\gt 0.\]3 L-American options
Let us define a new American-style financial instrument – we name it an L-American option.
Definition 3.1.
Let L be a positive constant. An L-American option with strike K expires when the underlying asset hits the strike paying amount of ${e^{-\lambda \tau }}L$, where τ is just this hitting moment. Furthermore, the holder may exercise the option at every moment t receiving the amount of ${N_{1}}\left(t,{S_{t}}\right)$.
We can view the L-American options as financial instruments with stochastic maturity (the moment when the asset reaches the strike) with final payout L. In this light, the payoff ${N_{1}}\left(t,x\right)$ that the holder can receive is continuous whereas the payout at this stochastic maturity is a specification of the option contract. Note that the points not below (not above) the strike are never optimal for the puts (calls) since the payoff is zero-valued in this region.
We shall denote the price of an L-American option by ${V_{L}}\left(\cdot \right)$. Thus, if we denote by ${\tau ^{y,x}}$ the first hitting moment of an asset starting at y to the value x, then
(26)
\[ {V_{L}}\left(x\right)=\underset{\tau \in \mathcal{T}}{\sup }\left\{\begin{array}{l}\mathbb{E}\left[{e^{-\lambda \tau }}{e^{-r\tau }}{\left(K-{S_{\tau }^{x}}\right)^{+}}{I_{\tau \lt {\tau ^{x,K}}}}\right]\\ {} +L\mathbb{E}\left[{e^{-\lambda {\tau ^{x,K}}}}{e^{-r{\tau ^{x,K}}}}{I_{{\tau ^{x,K}}\le \tau }}\right]\end{array}\right\}.\]Let $\mathcal{B}$ be the differential operator
We need the following well-known result for the optimal stopping problems – see for example van Moerbeke (1973) or Jacka (1992).
(27)
\[ \left(\mathcal{B}f\right)=rx{f^{\prime }}\left(x\right)+\frac{{\sigma ^{2}}}{2}{x^{2}}{f^{\prime\prime }}\left(x\right)-\left(r+\lambda \right)f\left(x\right).\]Lemma 3.2.
If a point x is optimal, then $\left(\mathcal{B}{n_{1}}\right)\left(x\right)\lt 0$, where the function ${n_{1}}\left(\cdot \right)$ is given in (4) for the puts and in (5) for the calls. In the put case, this is equivalent to $\lambda x-\left(r+\lambda \right)K\lt 0$ when x is below the strike. The inverse inequality holds for the calls when x is above the strike.
We shall prove a proposition that characterizes the optimal sets of L-American options.
Proposition 3.3.
If a point x is optimal for an L-American put option, then all points $0\le y\lt x$ are optimal too.
Proof.
First, note that $x\lt K$ since it is optimal. Suppose that the point y is not optimal. Therefore, there exists a stopping time τ such that
If $\overline{\tau }=\tau \wedge {\tau ^{y,x}}$, then inequality (28) holds for $\overline{\tau }$ too, since the point x is optimal. Therefore, using the Dynkin formula, we derive
The last inequality is true because Lemma 3.2 shows that $\lambda {S_{u}}-\left(r+\lambda \right)K\lt 0$ whenever ${S_{u}}\lt x$. The contradiction finishes the proof. □
(28)
\[ K-y\lt \mathbb{E}\left[{e^{-\left(r+\lambda \right)\tau }}{\left(K-{S_{\tau }^{y}}\right)^{+}}{I_{\tau \lt {\tau ^{y,K}}}}\right]+L\mathbb{E}\left[{e^{-\left(r+\lambda \right){\tau ^{y,K}}}}{I_{{\tau ^{y,K}}\le \tau }}\right].\](29)
\[ \begin{aligned}{}& 0\lt \mathbb{E}\left[{e^{-\left(r+\lambda \right)\overline{\tau }}}{\left(K-{S_{\overline{\tau }}^{y}}\right)^{+}}{I_{\overline{\tau }\lt {\tau ^{y,K}}}}\right]+L\mathbb{E}\left[{e^{-\left(r+\lambda \right){\tau ^{y,K}}}}{I_{{\tau ^{y,K}}\le \overline{\tau }}}\right]-K+y\\ {} & =\mathbb{E}\left[{e^{-\left(r+\lambda \right)\overline{\tau }}}\left(K-{S_{\overline{\tau }}^{y}}\right)\right]-K+y\\ {} & =\mathbb{E}\left[{\underset{0}{\overset{\overline{\tau }}{\int }}}\lambda {S_{u}^{y}}-\left(r+\lambda \right)Kdu\right]\lt 0.\end{aligned}\]Proposition 3.3 means that the optimal set of an L-American put option contains all points below some boundary. Furthermore, this boundary is a constant during the time, since there are no maturity constraints. Under the dividend parametrization, the optimal boundary of a put style L-American option as well as its price are discussed in Theorem 2 of Kyprianou (2004), in Section 3.1 of Ekström (2006), and in Theorem 3.1 of Suzuki and Sawaki (2007); for the calls, see formulas (3.1) from Emmerling (2012) and (2.12) from Yam et al. (2014). We need the following lemma prior to providing the related results under the discount parametrization.
Lemma 3.4.
Let the function $h\left(a;\xi \right)$ be defined as
Its behavior in the interval $\left(0,1\right)$ is as follows: it starts from the positive value $h\left(0;\xi \right)=q$, decreases having a unique root after which stays always negative.
(30)
\[ h\left(a;\xi \right)=-{a^{p+1}}\left(p-q-1\right)+{a^{p}}\left(p-q\right)-{a^{p-q}}p\xi -a\left(q+1\right)+q.\]Proposition 3.5.
For $\xi =\frac{L}{K}$, let ${a^{\ast }}\in \left(0,1\right)$ be the unique root of function (30) in the interval $\left(0,1\right)$. The holder’s optimal boundary is ${A^{\ast }}=K{a^{\ast }}$. The price is given by
(31)
\[ {V_{L}}\left(x\right)=\left\{\begin{array}{l}K-x,\hspace{1em}x\le {A^{\ast }},\\ {} \left(K-{A^{\ast }}\right){\left(\frac{{A^{\ast }}}{x}\right)^{q}}\frac{{K^{p}}-{x^{p}}}{{K^{p}}-{{A^{\ast }}^{p}}}+L{\left(\frac{K}{x}\right)^{q}}\frac{{x^{p}}-{{A^{\ast }}^{p}}}{{K^{p}}-{{A^{\ast }}^{p}}},\hspace{1em}x\in \left({A^{\ast }},K\right),\\ {} L{\left(\frac{K}{x}\right)^{q}},\hspace{1em}x\ge K.\end{array}\right.\]Proof.
As we mentioned above, Proposition 3.3 shows that the optimal points are below some flat boundary. Let the initial asset value x be large enough but below the strike. Supposing that the optimal boundary is A and using formulas (18), we obtain the price as a function of A as
Normalizing by $\xi =\frac{L}{K}$, $y=\frac{x}{K}$, and $a=\frac{A}{K}$, we transform price (32) into
Its derivative is
Lemma 3.4 shows that function (30) has a unique root in the interval $\left(0,1\right)$. Furthermore, it leads to the maximum of the price function. Once we derive the optimal boundary ${A^{\ast }}$, we obtain the prices in (31) through formulas (18) and (20). □
(32)
\[ {\widetilde{V}_{L}}\left(A\right)=\left(K-A\right){\left(\frac{A}{x}\right)^{q}}\frac{{K^{p}}-{x^{p}}}{{K^{p}}-{A^{p}}}+L{\left(\frac{K}{x}\right)^{q}}\frac{{x^{p}}-{A^{p}}}{{K^{p}}-{A^{p}}}.\](33)
\[ {\widetilde{V}_{L}}\left(a\right)=\frac{K}{{y^{q}}}\frac{\left(1-a\right){a^{q}}\left(1-{y^{p}}\right)+\xi \left({y^{p}}-{a^{p}}\right)}{1-{a^{p}}}.\](34)
\[ {\widetilde{V}^{\prime }_{L}}\left(a\right)=\frac{K}{{y^{q}}}\frac{1-{y^{p}}}{{\left(1-{a^{p}}\right)^{2}}}{a^{q-1}}h\left(a;\xi \right).\]Some symmetrical arguments lead to the result for the call style L-American options.
Proposition 3.6.
If $\lambda =0$, then the early exercise is never optimal for the holder of an L-American call. Its price is
If $\lambda \gt 0$, then the holder’s optimal set consists of all points above some boundary ${A^{\ast }}$. It can be presented as ${A^{\ast }}=K{a^{\ast }}$, where ${a^{\ast }}$ is the unique root, larger than one, of function (30) taken for $\xi =-\frac{L}{K}$. The option price is given by
(36)
\[ {V_{L}}\left(x\right)=\left\{\begin{array}{l}L{\left(\frac{x}{K}\right)^{p-q}},\hspace{1em}x\le K,\\ {} L{\left(\frac{K}{x}\right)^{q}}\frac{{{A^{\ast }}^{p}}-{x^{p}}}{{{A^{\ast }}^{p}}-{K^{p}}}+\left({A^{\ast }}-K\right){\left(\frac{{A^{\ast }}}{x}\right)^{q}}\frac{{x^{p}}-{K^{p}}}{{{A^{\ast }}^{p}}-{K^{p}}},\hspace{1em}x\in \left(K,{A^{\ast }}\right),\\ {} x-K,\hspace{1em}x\ge {A^{\ast }}.\end{array}\right.\]Proof.
We shall consider only the case $\lambda =0$. We can proceed analogously to Proposition 3.5 when $\lambda \gt 0$. Note that if $\lambda =0$, then $r\gt 0$ since $r+\lambda \gt 0$. Also, functions ${N_{1}}\left(\cdot \right)$ and ${n_{1}}\left(\cdot \right)$ coincide in this case. Suppose that a point x is optimal for the holder. Obviously $x\gt K$. Using the martingality of ${e^{-rt}}{S_{t}}$, we obtain for a finite stopping time ζ:
The contradiction finishes the proof. □
(37)
\[ \begin{aligned}{}& E\left[{e^{-r\zeta }}{n_{1}}\left({S_{\zeta }^{x}}\right){I_{\zeta \le {\tau ^{x,K}}}}+{e^{-r{\tau ^{x,K}}}}L{I_{{\tau ^{x,K}}\lt \zeta }}\right]\\ {} & \le {n_{1}}\left(x\right)=x-K\\ {} & =E\left[{e^{-r\left(\zeta \wedge {\tau ^{x,K}}\right)}}{S_{\zeta \wedge {\tau ^{x,K}}}^{x}}\right]-K\\ {} & =E\left[{e^{-r\zeta }}{S_{\zeta }^{x}}{I_{\zeta \le {\tau ^{x,K}}}}\right]+E\left[{e^{-r{\tau ^{x,K}}}}{S_{{\tau ^{x,K}}}^{x}}{I_{{\tau ^{x,K}}\lt \zeta }}\right]-K\\ {} & \lt E\left[{e^{-r\zeta }}\left({S_{\zeta }^{x}}-K\right){I_{\zeta \le {\tau ^{x,K}}}}+{e^{-r{\tau ^{x,K}}}}\left({S_{{\tau ^{x,K}}}^{x}}-K\right){I_{{\tau ^{x,K}}\lt \zeta }}\right]\\ {} & =E\left[{e^{-r\zeta }}\left({S_{\zeta }^{x}}-K\right){I_{\zeta \le {\tau ^{x,K}}}}\right]\\ {} & \le E\left[{e^{-r\zeta }}{n_{1}}\left({S_{\zeta }^{x}}\right){I_{\zeta \le {\tau ^{x,K}}}}+{e^{-r{\tau ^{x,K}}}}L{I_{{\tau ^{x,K}}\lt \zeta }}\right].\end{aligned}\]Remark 2.
Note that the holder’s stopping region can be empty for a call L-American option (when $\lambda =0$) whereas this is impossible for the puts. The difference comes from the fact that function (30) taken for $\xi =\frac{L}{K}$ always has a root in the interval $\left(0,1\right)$, whereas if it is taken for $\xi =-\frac{L}{K}$, then the larger than one root exists only when $\lambda \gt 0$. The absence of roots when $\lambda =0$ can be interpreted as an infinitely large holder’s optimal boundary.
We need the following definition for further distinction.
Definition 3.7.
We shall say that the option is real cancellable if the writer’s optimal region is neither the empty set nor the singleton $\left\{K\right\}$.
Remark 3.
We have ${n_{1}}\left(x\right)={n_{2}}\left(x\right)$ for the put-styled options only when $\left\{{\eta _{2}}=0,\right.\left.{\eta _{3}}=0,x\ge K\right\}$. In this case, the respective points are both optimal for the writer and holder due to the mathematical definition. To avoid the embarrassing circumstance that the holder would exercise without receiving anything, we shall exclude these points from the holder’s optimal set. This may lead to an open holder’s optimal set. This case is studied in Ekström (2006) and Zaevski (2020a). The optimal sets are ${\Upsilon ^{s}}=\left[K,\infty \right)$ and ${\Upsilon ^{b}}=\left(0,K\right)$ when $r\ge 0$. On the other hand, the option can be viewed as L-American since the immediate exercise and the first hit to the strike give a zero-result for the writer when the initial asset price is above the strike. Otherwise, if $r\lt 0$, then we have a real cancellable option. Some symmetrical arguments lead to analogous results for the calls when $\left\{{\eta _{2}}=0,{\eta _{3}}=0,x\le K\right\}$. We shall exclude these cases hereafter.
4 Put options
For our further purposes, we need the price of the regular American options under the perpetual assumptions. The optimal boundary and the price can be obtained in a closed form since the boundary is time independent. Under the dividend parametrization, this is made in many studies, for example, see formula (52) from Merton (1973), formulas (9) and (15) from Kim (1990), Proposition 2.3 from Jacka (1991), Theorem 7.2 from Karatzas and Shreve (1998), or formula (5.1.10) from Kwok (2008). Under the discount parametrization, these results can be found in Theorems 1 and 2 from Shiryaev et al. (1995) and in Theorems 6.1 and 6.2 of Zaevski (2021). If we denote by ${V_{a}}\left(\cdot \right)$ the price function, we can write for a put-styled option
Particularly, for $x=K$, we define the important value $\overline{\eta }$,
4.1 The main results
As we mentioned above, the holder’s optimal set is an interval $\left(0,A\right)$ for some constant A not above the strike, $A\le K$. The possible form of the writer’s one is more complicated – it may be the empty set, the singleton $\left\{K\right\}$, or an interval $\left[B,K\right]$, $0\lt A\lt B\lt K$. These results for the put options with fixed penalties and without dividends are obtained in Kyprianou (2004), and under the dividend parametrization in Ekström (2006) and Suzuki and Sawaki (2007). On the other hand, the three-component penalties are considered under the discount parametrization in Zaevski (2023). We are interested in which values of the penalty coefficients ${\eta _{1}}$ (proportion), ${\eta _{2}}$ (shares of underlying), and ${\eta _{3}}$ (fixed amount) lead to which case.
Let us define the constants ${\xi _{1}}$, ${\xi _{2}}$, and L as
The constant L plays an outstanding role in this study. Defined in that way, it is the amount that the writer owes if he cancels the option at the strike. This strategy is very important as far as the strike belongs to the writer’s optimal set if it is not empty. In this light, the option type can be recognized through two criteria: (A) whether the strike is writer-optimal, and (B) whether all points below the strike are not. Criterion (A) is met when the price of a regular perpetual American option under the assumption ${S_{0}}=K$ is higher than the financial result of the immediate canceling, i.e. L. It turns out that criterion (B) is related to the left derivative of the price function of the L-American option taken in the strike.
(40)
\[ \begin{aligned}{}{\xi _{1}}& :={\eta _{1}}-{\eta _{2}},\\ {} {\xi _{2}}& :={\eta _{2}}+\frac{{\eta _{3}}}{K},\\ {} L& ={\xi _{2}}K={\eta _{2}}K+{\eta _{3}}.\end{aligned}\]Note that ${\xi _{1}}+{\xi _{2}}\ge 1$ since ${\eta _{1}}\ge 1$. It is proven in Proposition 4.2 of Zaevski (2023) that canceling is never optimal for the writer if ${\eta _{2}}\ge {\eta _{1}}$. Thus we assume ${\xi _{1}}\gt 0$, hereafter. We shall prove a stronger condition.
Proposition 4.1.
The cancellation is never optimal for the writer if and only if $L\gt \overline{\eta }$.
Proof.
First, suppose that the writer’s optimal set is empty, i.e doing nothing is the best writer’s strategy. Hence $V\left(x\right)={V_{a}}\left(x\right)$. Particularly, for $x=K$, we have ${n_{2}}\left(K\right)\gt V\left(K\right)={V_{a}}\left(K\right)$. Formulas (39) and (40) lead to the desired result.
Suppose now that $L\gt \overline{\eta }$ or equivalently ${V_{a}}\left(K\right)\lt {n_{2}}\left(K\right)$. We shall prove that canceling is never optimal applying an approach similar to the one used in Lemma 3.1 of Suzuki and Sawaki (2007). Let the function $U\left(x\right)$ be defined as
Having in mind that the optimal boundary of the regular American options is $\frac{q}{q+1}K$, we derive the derivative of function (41):
First, note that ${U^{\prime }}\left(x\right)\lt 0$ whenever $x\gt K$. Furthermore, if
then ${U^{\prime }}\left(x\right)$ is always negative. On the other hand, if the relation opposite to (43) holds, then ${U^{\prime }}\left(x\right)$ has a unique root less than K. Furthermore, ${U^{\prime }}\left(x\right)$ is negative before it and positive after. In all cases, the function ${U^{\prime }}\left(x\right)$ achieves its maximum either for $x=0$ or for $x=K$. Having in mind that
we conclude that $U\left(x\right)\lt 0$ for every $x\gt 0$ and thus $V\left(x\right)\le {V_{a}}\left(x\right)\lt {n_{2}}\left(x\right)$. Thus we conclude that the writer’s optimal set is empty. □
(42)
\[ {U^{\prime }}\left(x\right)=\left\{\begin{array}{l}{\eta _{1}}-{\eta _{2}}-1,\hspace{1em}\mathrm{if}\hspace{3.33333pt}x\le \frac{q}{q+1}K,\\ {} {\eta _{1}}-{\eta _{2}}-{\left(\frac{q}{q+1}\frac{K}{x}\right)^{q+1}},\hspace{1em}\mathrm{if}\hspace{3.33333pt}x\in \left(\frac{q}{q+1}K,K\right),\\ {} -{\eta _{2}}-{\left(\frac{q}{q+1}\frac{K}{x}\right)^{q+1}},\hspace{1em}\mathrm{if}\hspace{3.33333pt}x\gt K.\end{array}\right.\](44)
\[ \begin{aligned}{}U\left(0\right)& =-\left({\eta _{1}}-1\right)K-{\eta _{3}},\\ {} U\left(K\right)& ={V_{a}}\left(K\right)-{n_{2}}\left(K\right),\end{aligned}\]Remark 4.
The inequality ${\xi _{1}}\le 0$ is stronger than $L\gt \overline{\eta }$ since ${\eta _{1}}\ge 1\gt \frac{\overline{\eta }}{K}$.
Remark 5.
Having in mind that the strategy of the first hit to the strike is possible for the writer and the payoff at the strike is namely L, we can conclude that $V\left(x\right)\le {V_{L}}\left(x\right)$. Furthermore, a cancellable option is of L-American style if and only if $V\left(x\right)={V_{L}}\left(x\right)$.
We assume $L\lt \overline{\eta }$, hereafter. We shall provide now a theorem which characterizes the penalty values for which the writer’s optimal set is an interval instead of the singleton $\left\{K\right\}$. Thus the option turns from L-American into real cancellable.
Proof.
Suppose first that the inequality (45) holds. Having in mind $\frac{d}{dx}{n_{2}}\left({K^{-}}\right)=-{\xi _{1}}$, we conclude that the function
is left-decreasing at the point K and $f\left(K\right)=0$. Therefore, there exists an interval $\left({k_{1}},K\right)$ such that
Combining inequality (47) with Remark 5, we conclude that the option is real cancellable since it cannot be regular American when $L\lt \overline{\eta }$.
Suppose now that the inequality (45) does not hold. Hence, ${f^{\prime }}\left({K^{-}}\right)\gt 0$ and therefore function (46) is left-increasing in the point K. Having in mind that $f\left(K\right)=0$, we conclude that there exists an interval $\left({k_{1}},K\right)$ in which $f\left(K\right)\lt 0$ and thus
Suppose that there exists a writer’s optimal point ${k_{2}}\in \left({k_{1}},K\right)$. Therefore, all points $y\in \left({k_{2}},K\right)$ are writer’s optimal too. Combining inequality (48) with Remark 5, we conclude
for $y\in \left({k_{2}},K\right)$ and therefore ${V_{L}}\left(y\right)={n_{2}}\left(y\right)$ in this interval. However, we can easily check that this is impossible due to formula (31). This finishes the proof. □
(48)
\[ {V_{L}}\left(x\right)\le {n_{2}}\left(x\right)\hspace{3.33333pt}\forall x\in \left({k_{1}},K\right).\]4.2 Necessary and sufficient conditions
Suppose that the option is not regular American, i.e. $L\lt \overline{\eta }$. We shall obtain now some necessary and sufficient conditions for the coefficients ${\eta _{1}}$, ${\eta _{2}}$, and ${\eta _{3}}$ that recognize the type of the option – L-American or real cancellable. We shall work under the following scheme:
-
1. We obtain a condition alternative to (45) for the option to be real cancellable. It says that a suitable function $g\left(\cdot \right)$ taken at the point ${a^{\ast }}$ is positive, where ${a^{\ast }}$ is the root of function (30) and it determines the optimal boundary of an L-American option; the function $g\left(\cdot \right)$ is defined in (51) (Propositions 4.3 and 4.4).
-
4. Furthermore, we determine the critical values for ${\xi _{1}}$ and ${\xi _{2}}$ below which the positive domain of the function $g\left(\cdot \right)$ (i.e. the set of the inputs that lead to positive function values) is not empty. Note that the critical value for ${\xi _{2}}$ depends on ${\xi _{1}}$ (Corollary 4.8, Propositions 4.9, and 4.10).
-
5. This step is very important. We prove that if the function $g\left(\cdot \right)$ has a positive domain, then the point ${a^{\ast }}$ belongs to it. Thus the condition for the option to be real cancellable turns to checking when the function $g\left(\cdot \right)$ has positive values somewhere in the interval $\left(0,1\right]$ (Proposition 4.11).
-
7. We summarize all these results in a theorem that categorizes all possible cases (Theorem 4.16).
Suppose that the holder’s optimal boundary of an L-American option is ${A^{\ast }}$ and ${A^{\ast }}\le {S_{0}}=x\le K$. The following proposition determines the boundary through the value of the amount payable at the strike.
Proposition 4.3.
Let the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ be defined as
Based on Theorem 4.2, we can obtain the following condition for an option to be real cancellable.
(51)
\[ g\left(a;{\xi _{1}},{\xi _{2}}\right)={a^{p}}\left({\xi _{1}}-q{\xi _{2}}\right)-{a^{q+1}}p+{a^{q}}p-\left({\xi _{1}}+{\xi _{2}}\left(p-q\right)\right).\]Proposition 4.4.
The option is real cancellable if and only if $g\left({a^{\ast }}\left({\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$.
Proof.
Theorem 4.2 requires checking of inequality (45). The left derivative of the price function (the second statement of formula (31)) in the point K is
We finish the proof by several simple calculations having in mind ${A^{\ast }}=K{a^{\ast }}\left({\xi _{2}}\right)$. □
(52)
\[ {V^{\prime }_{L}}\left(K\right)=\frac{{{A^{\ast }}^{p}}q{\xi _{2}}+{{A^{\ast }}^{q+1}}p{K^{p-q-1}}-{{A^{\ast }}^{q}}p{K^{p-q}}+{K^{p}}{\xi _{2}}\left(p-q\right)}{{K^{p}}-{{A^{\ast }}^{p}}}.\]Propositions 4.3 and 4.4 show that we need the behavior of functions $h\left(a;\cdot ,\cdot \right)$ and $g\left(a;\cdot ,\cdot \right)$ in the interval $a\in \left(0,1\right]$. More precisely, we need to find the positive domain of function (51) in this interval. The derivative of function $g\left(a;\cdot ,\cdot \right)$ can be presented as
where $m\left(\cdot ;\cdot ,\cdot \right)$ is
The possible behavior of function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ is provided in the following lemma.
(53)
\[ {g_{a}}\left(a;{\xi _{1}},{\xi _{2}}\right)=p{a^{q-1}}m\left(a;{\xi _{1}},{\xi _{2}}\right),\](54)
\[ m\left(a;{\xi _{1}},{\xi _{2}}\right)={a^{p-q}}\left({\xi _{1}}-q{\xi _{2}}\right)-a\left(q+1\right)+q.\]Lemma 4.5.
The endpoints of the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ are negative:
The function exhibits one of the following three behaviors in the interval $a\in \left(0,1\right]$:
(55)
\[ \begin{aligned}{}g\left(0;{\xi _{1}},{\xi _{2}}\right)& =-\left({\xi _{1}}+{\xi _{2}}\left(p-q\right)\right),\\ {} g\left(1;{\xi _{1}},{\xi _{2}}\right)& =-p{\xi _{2}}.\end{aligned}\]The following proposition shows that the option can be real cancellable only when $r\lt 0$.
Proposition 4.6.
If $r\ge 0$, then $g\left(a;{\xi _{1}},{\xi _{2}}\right)\lt 0$ for every $a\in \left(0,1\right]$.
Assume now that $r\lt 0$ or equivalently $p\gt 2q+1$. Having in mind Lemma 4.5, we conclude that the option can be real cancellable only when one of the cases (B) and (C) holds – note that this condition is only necessary. Below we discuss when this happens.
Proposition 4.7.
One of the cases (B) and (C) holds if and only if the inequality
holds, where the constant l is defined by formula (22).
We need to strengthen condition (56) in a way that would allow later to derive the critical value for ${\xi _{1}}$ as a root of a decreasing function in a certain interval.
Corollary 4.8.
If the positive domain of the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ is not empty, then ${\xi _{1}}\lt l$, where l is defined by formula (22).
Proof.
Suppose that ${\xi _{1}}\ge l$. Note that ${\xi _{1}}\gt 1$ due to Lemma 2.4. Therefore, the triple $\left\{{\xi _{1}},0,0\right\}$ leads to the case (A) due to Proposition 4.7 – note that condition (56) tuns namely into ${\xi _{1}}\lt l$. Thus the function $g\left(a;{\xi _{1}},0\right)$ is negative. But $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ decreases w.r.t. ${\xi _{2}}$ and hence it is always negative. Therefore, its positive domain is empty. □
We continue our investigation on the positive domain of the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ that gives possibilities for a real cancellable feature of the option. Remind that one of the cases (B) or (C) holds. We need some additional notations. Let the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ achieves its maximum at the point ${\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right)$ and its possible minimum at ${\overline{a}_{2}}\left({\xi _{1}},{\xi _{2}}\right)$. If this minimum does not exist, then we set ${\overline{a}_{2}}\left({\xi _{1}},{\xi _{2}}\right)=1$. If $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$ then the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ has two roots – we denote them by ${a_{1}}\left({\xi _{1}},{\xi _{2}}\right)$ and ${a_{2}}\left({\xi _{1}},{\xi _{2}}\right)$. We shall prove now that the positive domain of the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ is not empty for small enough values of ${\xi _{1}}$ and ${\xi _{2}}$, i.e. $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$. Furthermore, we shall show that $g\left({a^{\ast }}\left({\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$ for these values of ${\xi _{1}}$ and ${\xi _{2}}$. This statement is of outstanding importance. It says that if the positive domain of $g\left(\cdot \right)$ is nonempty, then the optimal point ${a^{\ast }}\left({\xi _{2}}\right)$ is always in it, i.e. the option is real cancellable only when $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$. As a consequence, ${a^{\ast }}\left({\xi _{2}}\right)={\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right)$ when $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)=0$.
Proposition 4.9.
The function $g\left({\overline{a}_{1}}\left({\xi _{1}},0\right);{\xi _{1}},0\right)$ is decreasing w.r.t. ${\xi _{1}}\in \left(0,l\right)$ and changes its sign in the interval $\left(1,l\right)$, where $l\gt 1$ is defined by formula (22). Thus if ${\xi _{1}^{\ast }}$ is the solution of $g\left({\overline{a}_{1}}\left({\xi _{1}},0\right);{\xi _{1}},0\right)=0$, then ${\xi _{1}^{\ast }}\in \left(1,l\right)$ and $g\left({\overline{a}_{1}}\left({\xi _{1}},0\right);{\xi _{1}},0\right)\gt 0$ for every ${\xi _{1}}\lt {\xi _{1}^{\ast }}$.
Proposition 4.10.
If ${\xi _{1}}\lt {\xi _{1}^{\ast }}$, then the function $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)$ decreases w.r.t. ${\xi _{2}}$ and changes its sign in the interval $\left(0,{\overline{\xi }_{2}}\right)$, where ${\overline{\xi }_{2}}$ is
Thus, if ${\xi _{2}^{\ast }}\left({\xi _{1}}\right)$ is the solution of $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)=0$, then ${\xi _{2}^{\ast }}\left({\xi _{1}}\right)\in \left(0,{\overline{\xi }_{2}}\right)$ and $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$ for every ${\xi _{2}}\lt {\xi _{2}^{\ast }}\left({\xi _{1}}\right)$.
(57)
\[ {\overline{\xi }_{2}}:=\frac{\overline{\eta }}{K}=\frac{{q^{q}}}{{\left(q+1\right)^{q+1}}}.\]Proposition 4.11.
If ${\xi _{1}}$ and ${\xi _{2}}$ are such that $g\left({\overline{a}_{1}}\left({\xi _{2}};{\xi _{1}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$, then $g\left({a^{\ast }}\left({\xi _{2}}\right);\right.\left.{\xi _{1}},{\xi _{2}}\right)\gt 0$.
Next we shall establish a result which gives that if an option is real cancellable then all options with lower in some sense penalties are real cancellable too. To do this, we use the traditional definition for vector ordering.
Definition 4.12.
A triple of reals is less than another if all its elements are not higher than the corresponding ones of the second triple and at least one is lower.
Proposition 4.13.
If a triple $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$ leads to a real cancellable option, then all triples less than it lead again to real cancellable options.
Proof.
We can rewrite function (51) as
Therefore, function (58) decreases w.r.t ${\eta _{1}}$, ${\eta _{2}}$, and ${\eta _{3}}$. Propositions 4.4 and 4.11 show that the positive domain of function (58) is not empty and thus the positive domains for all triples less than $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$ are not empty too. The same propositions prove the desired result. □
(58)
\[ \begin{aligned}{}g\left(a;{\xi _{1}},{\xi _{2}}\right)& =-{\eta _{1}}\left(1-{a^{p}}\right)-{\eta _{2}}\left[{a^{p}}\left(q+1\right)+p-q-1\right]\\ {} & -\frac{{\eta _{3}}}{K}\left(-{a^{p}}q+p-q\right)-{a^{q+1}}p+{a^{q}}p.\end{aligned}\]We continue by characterizing the set of triples $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$ that lead to real cancellable options.
Proposition 4.14.
If a triple $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$ leads to a real cancellable option, then ${\eta _{1}}\lt {\xi _{1}^{\ast }}$, where ${\xi _{1}^{\ast }}$ is defined in Proposition 4.9.
Before to establish the main result for the put options, we need the following lemma.
Lemma 4.15.
Let ${\eta _{1}}\in \left[1,{\xi _{1}^{\ast }}\right)$ and the function $f\left(\cdot \right)$ be defined in the interval $\left(0,{\overline{\xi }_{2}}\right)$ as
Note that ${\xi _{2}^{\ast }}\left({\eta _{1}}-x\right)$ means the function ${\xi _{2}^{\ast }}\left(\cdot \right)$ taken in the point ${\eta _{1}}-x$. Under these assumptions, $f\left(x\right)$ is a decreasing function, $f\left(0\right)\gt 0$, and $f\left({\overline{\xi }_{2}}\right)\lt 0$. Thus the equation $f\left(x\right)=0$ has a unique root in the interval $\left(0,{\overline{\xi }_{2}}\right)$ below which $f\left(\cdot \right)$ is positive. We shall denote this root by ${\eta _{2}^{\ast }}\left({\eta _{1}}\right)$.
We can summarize the derived results: the large enough penalties lead to regular American options (Proposition 4.1); the low enough penalties lead to real cancellable options equivalently to a nonempty positive domain of the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$; and the middle values lead to L-American options. The precise results are given in the following theorem.
Theorem 4.16.
Let a cancellable American put option has the penalty structure $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$. The following statements characterize it:
-
1. If $r\ge 0$ then the option is L-American for $L\lt \overline{\eta }$ and regular American otherwise.
-
2. Suppose that $r\lt 0$. Let the pair $\left({\alpha _{1}},{\xi _{1}^{\ast }}\right)$ be the solution of the system
(60)
\[ \begin{aligned}{}g\left(a;{\xi _{1}},0\right)& =0,\\ {} m\left(a;{\xi _{1}},0\right)& =0,\end{aligned}\](61)
\[ \begin{aligned}{}g\left(a;{\overline{\xi }_{1}},{\xi _{2}}\right)& =0,\\ {} m\left(a;{\overline{\xi }_{1}},{\xi _{2}}\right)& =0\end{aligned}\]-
(a) The option is real cancellable when
(62)
\[ \left\{{\eta _{1}}\lt {\xi _{1}^{\ast }},{\eta _{2}}\lt {\eta _{2}^{\ast }}\left({\eta _{1}}\right),{\eta _{3}}\lt K\left[{\xi _{2}^{\ast }}\left({\eta _{1}}-{\eta _{2}}\right)-{\eta _{2}}\right]\right\}.\] -
(b) It is L-American if $L\lt \overline{\eta }$ and at least one of the requirements (62) does not hold.
-
(c) It is regular American for $L\ge \overline{\eta }$.
-
Note that ${\xi _{2}^{\ast }}\left({\eta _{1}}-{\eta _{2}}\right)\gt {\eta _{2}}$ when ${\eta _{2}}\lt {\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ due to Lemma 4.15.
Proof.
System (60) means that the function $g\left(\cdot ;{\xi _{1}^{\ast }},0\right)$ has an extremum at the point ${\alpha _{1}}$ and its value is zero. Note that this extremum is the maximum. If we suppose that it is the minimum in the case (C) of Lemma 4.5, then $g\left(1;{\xi _{1}^{\ast }},0\right)$ has to be positive, which is impossible. Having in mind Propositions 4.9 and 4.11, we conclude that the positive domain of the function $g\left(\cdot ;{\xi _{1}},0\right)$ is not empty if and only if ${\xi _{1}}\lt {\xi _{1}^{\ast }}$. Furthermore, $g\left({a^{\ast }}\left(0\right);{\xi _{1}},0\right)\gt 0$. Also, $1\lt {\xi _{1}^{\ast }}\lt l$ due to Proposition 4.9.
Analogously, system (61) shows that the function $g\left(\cdot ;{\overline{\xi }_{1}},{\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)\right)$ has a maximum at the point ${\alpha _{2}}$ and its value is zero. Propositions 4.10 and 4.11 show that the positive domain of the function $g\left(\cdot ;{\overline{\xi }_{1}},{\xi _{2}}\right)$ is not empty if and only if ${\xi _{2}}\lt {\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)$. Furthermore, $g\left({a^{\ast }}\left({\xi _{2}}\right);{\overline{\xi }_{1}},{\xi _{2}}\right)\gt 0$. Note that $0\lt {\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)\lt \frac{\overline{\eta }}{K}$ due to Proposition 4.10. □
Some calculations lead to the following method for deriving the critical values.
Corollary 4.17.
Let the functions $F\left(a,{\xi _{1}}\right)$, $H\left(a\right)$, and $G\left(a,{\xi _{1}}\right)$ be defined as
We have
where ${\alpha _{1}}$ and ${\alpha _{2}}$ are the solutions of the equations $H\left(a\right)=0$ and $G\left(a,{\overline{\xi }_{1}}\right)=0$, respectively. In addition, we have to impose the condition
to avoid the possible minimum of the function $g\left(a,{\overline{\xi }_{1}},{\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)\right)$ if the case (C) holds. Not that this is not necessary for ${\alpha _{1}}$ since the case (B) holds when ${\xi _{2}}=0$.
(63)
\[ \begin{aligned}{}F\left(a,{\xi _{1}}\right)& =\frac{{a^{p-q}}{\xi _{1}}-a\left(q+1\right)+q}{{a^{p-q}}},\\ {} H\left(a\right)& =-{a^{p+1}}\left(p-q-1\right)+{a^{p}}\left(p-q\right)-a\left(q+1\right)+q,\\ {} G\left(a,{\xi _{1}}\right)& =-{a^{p+1}}q\left(p-q-1\right)+{a^{p}}q\left(p-q\right)-{a^{p-q}}p{\xi _{1}}\\ {} & \hspace{1em}+a\left(p-q\right)\left(q+1\right)-q\left(p-q\right).\end{aligned}\](64)
\[ \begin{aligned}{}{\xi _{1}^{\ast }}& =-F\left({\alpha _{1}},0\right),\\ {} {\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)& =\frac{F\left({\alpha _{2}},{\overline{\xi }_{1}}\right)}{q},\end{aligned}\](65)
\[ {m_{a}}\left({\alpha _{2}},{\overline{\xi }_{1}},{\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)\right)\lt 0\]Proof.
Remark 6.
Let us discuss the mechanism for recognizing the option’s type. The option is regular American if $L\ge \overline{\eta }$. If the opposite relation holds, then we derive the critical value for ${\xi _{1}}$, namely ${\xi _{1}^{\ast }}$. Based on it, for every ${\overline{\xi }_{1}}\lt {\xi _{1}^{\ast }}$, we derive the critical value for ${\xi _{2}}$, namely ${\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)$. If ${\xi _{1}}\lt {\xi _{1}^{\ast }}$ and ${\xi _{2}}\lt {\xi _{2}^{\ast }}\left({\xi _{1}}\right)$, then the option is real cancellable. If one of these inequalities does not hold, then we have an L-American option.
Based on Theorem 4.16 and Remark 6, we summarize how the option changes its type when the penalty parameters are passing through their critical levels.
-
1. If the second and third components are large enough, i.e. ${\eta _{2}}K+{\eta _{3}}\ge \overline{\eta }$ (equivalent to $L\ge \overline{\eta }$), then the option is regular American. Note that the component ${\eta _{1}}$ does not influence this type.
-
2. Suppose that ${\eta _{2}}K+{\eta _{3}}\lt \overline{\eta }$. Now ${\eta _{1}}$ has its impact. We calculate its critical value ${\xi _{1}^{\ast }}$.
-
(a) If ${\eta _{1}}\ge {\xi _{1}^{\ast }}$, then we have an L-American option.
-
(b) If $1\le {\eta _{1}}\lt {\xi _{1}^{\ast }}$, then we obtain the critical value for ${\eta _{2}}$ that depends on ${\eta _{1}}$, i.e. ${\eta _{2}^{\ast }}\left({\eta _{1}}\right)$.
-
i. If ${\eta _{2}}$ is such that ${\eta _{2}^{\ast }}\left({\eta _{1}}\right)\le {\eta _{2}}\lt \frac{\overline{\eta }}{K}$, then we have an L-American option. Note that ${\eta _{2}^{\ast }}\left({\eta _{1}}\right)\le \frac{\overline{\eta }}{K}$ when $1\le {\eta _{1}}\lt {\xi _{1}^{\ast }}$ due to Lemma 4.15.
-
ii. If ${\eta _{2}}\lt {\eta _{2}^{\ast }}\left({\eta _{1}}\right)$, then we obtain the critical value for ${\eta _{3}}$, it is ${\eta _{3}^{\ast }}\left({\eta _{1}},{\eta _{2}}\right)=K\left[{\xi _{2}^{\ast }}\left({\eta _{1}}-{\eta _{2}}\right)-{\eta _{2}}\right]$. We have ${\eta _{3}^{\ast }}\left({\eta _{1}},{\eta _{2}}\right)\gt 0$ when ${\eta _{2}}\lt {\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ due to Lemma 4.15.
-
A. If ${\eta _{3}^{\ast }}\left({\eta _{1}},{\eta _{2}}\right)\le {\eta _{3}}\lt \overline{\eta }-{\eta _{2}}K$, then we have an L-American option. Note that Proposition 4.10 shows that ${\eta _{3}^{\ast }}\left({\eta _{1}},{\eta _{2}}\right)\lt \overline{\eta }-{\eta _{2}}K$.
-
B. If ${\eta _{3}}\lt {\eta _{3}^{\ast }}\left({\eta _{1}},{\eta _{2}}\right)$, then we have a real cancellable option.
-
-
-
Remark 7.
Let us discuss briefly why an option cannot be real cancellable when $r\ge 0$. Suppose the opposite, i.e there exists a value ${k_{1}}\lt K$ such that it is writer’s optimal. Hence, the interval $\left[{k_{1}},K\right]$ belongs to the writer’s optimal set ${\Upsilon ^{s}}$. Similar arguments that stand behind Lemma 3.2 show that $\left(\mathcal{B}{n_{2}}\right)\left(x\right)\gt 0$ in the interval $\left({k_{1}},K\right)$, where the function ${n_{2}}\left(\cdot \right)$ is given in (4) and the operator $\mathcal{B}$ is defined by formula (27). We can motivate this by the following intuitive construction. Let for an arbitrary time value s, $\tau \left(s\right)$ be the lower of the first exit of the underlying asset from the strip $\left({k_{1}},K\right)$ and s. For an arbitrary starting point $x\in \left({k_{1}},K\right)$, this strategy would give a worse financial result for the writer than the immediate canceling. Having in mind that the exercise is not optimal for the holder in the strip $\left({k_{1}},K\right)$ and applying the Dynkin formula, we conclude for the result of the strategy $\tau \left(s\right)$:
Taking the limit as $s\to 0$, we convinced that indeed $\left(\mathcal{B}{n_{2}}\right)\left(x\right)\gt 0$. In financial terms, this means that if the immediate cancelling is preferable for the writer than keeping the option alive for an infinitesimal period, then $\left(\mathcal{B}{n_{2}}\right)\left(x\right)\gt 0$. However, this inequality is possible below the strike only when $r\lt 0$ since
Note that this construction is impossible if the writer’s optimal set is the singleton $\left\{K\right\}$, because the differentiability of the function ${n_{2}}\left(\cdot \right)$ is broken in the strike.
(68)
\[ {\mathbb{E}^{x}}\left[{e^{-\left(r+\lambda \right)\tau \left(s\right)}}{n_{2}}\left({S_{\tau \left(s\right)}}\right)\right]={n_{2}}\left(x\right)+{\mathbb{E}^{x}}\left[{\underset{0}{\overset{\tau \left(s\right)}{\int }}}\left(\mathcal{B}{n_{2}}\right)\left({S_{u}}\right)du\right]\gt {n_{2}}\left(x\right).\](69)
\[ \begin{aligned}{}\left(\mathcal{B}{n_{2}}\right)\left(x\right)& =\lambda \left({\eta _{1}}-{\eta _{2}}\right)x-\left(r+\lambda \right)\left({\eta _{1}}K+{\eta _{3}}\right),\\ {} \left(\mathcal{B}{n_{2}}\right)\left(K\right)& =-K\left(r{\eta _{1}}+\lambda {\eta _{2}}\right)-\left(r+\lambda \right){\eta _{3}}.\end{aligned}\]5 Call options
We consider now the cancellable call options through some symmetrical arguments. Some proofs will be omitted since they are similar to the put versions. The shape of the optimal sets for the calls is symmetric w.r.t. the strike to those for the puts. The respective results for the fixed penalties under the dividend parametrization are obtained in Kunita and Seko (2004), Ekström and Villeneuve (2006), Emmerling (2012), and Yam et al. (2014) whereas proportional to the usual payoff penalties are considered in Ekström and Villeneuve (2006). The options with three-component penalties are examined in Zaevski (2023). Note that the case $\lambda =0$ is special – the early exercise is never optimal for the option’s holder. All necessary results in this case are obtained in Theorem 3.9 from the same work.
Suppose now that $\lambda \gt 0$ or equivalently $p\gt q+1$. Note that we have to consider the related functions in the interval $\left(1,\infty \right)$ instead of $\left(0,1\right)$ since the possible exercise boundaries are above the strike. The price of the perpetual American call option when ${S_{0}}=K$ is $\overline{\eta }:=K{\overline{\xi }_{2}}$, where
The holder’s optimal set is an interval $\left(A,\infty \right)$ for some constant A not below the strike. The writer’s one can be the empty set, the singleton $\left\{K\right\}$, or an interval $\left[K,B\right]$, $K\lt B\lt A$. The constants ${\xi _{1}}$ and ${\xi _{2}}$ are defined now as
Note that the constant L keeps its value. It is proven in Proposition 3.2 of Zaevski (2023) that canceling is never optimal for the writer if ${\eta _{3}}\ge {\eta _{1}}K$. Thus we consider only the values of ${\xi _{1}}$ and ${\xi _{2}}$ such that ${\xi _{1}}\gt {\xi _{2}}$. The restriction presented in Proposition 4.1 also holds but with the actual value of $\overline{\eta }$. Furthermore, the analogue of Theorem 4.2 gives the criteria for the option to be real cancellable. We summarize these results in the following theorem.
(71)
\[ \begin{aligned}{}{\xi _{1}}& :={\eta _{1}}+{\eta _{2}},\\ {} {\xi _{2}}& :={\eta _{2}}+\frac{{\eta _{3}}}{K}.\end{aligned}\]Having in mind that the function $h\left(\cdot \right)$ is taken for $\xi =-\frac{L}{K}$, we see that Proposition 4.3 still holds. Theorem 5.1 shows that we have to find the right derivative of the price function (36) at the strike:
We shall proceed further using the method presented in the beginning of Section 4.2. Proposition 4.4 is true for the function
We need to know when the function $g\left(\cdot \right)$ has a positive domain larger than one, i.e. when inputs larger than one make the function positive. The function related to its derivative $m\left(a;{\xi _{1}},{\xi _{2}}\right)$ now takes the form
Its endpoints are always negative except in the limiting case since $\xi \ge 1$ and ${\xi _{2}}\ge 0$. The behavior of function (74) is similar to the put case considered in Lemma 4.5 – we can recognize the following three cases:
(73)
\[ {V^{\prime }_{L}}\left({K^{+}}\right)=\frac{-{{a^{\ast }}^{p}}q{\xi _{2}}+{{a^{\ast }}^{q+1}}p-{{a^{\ast }}^{q}}p-{\xi _{2}}\left(p-q\right)}{{{a^{\ast }}^{p}}-1}.\](74)
\[ g\left(a;{\xi _{1}},{\xi _{2}}\right)=-{a^{p}}\left({\xi _{1}}+q{\xi _{2}}\right)+{a^{q+1}}p-{a^{q}}p+{\xi _{1}}-{\xi _{2}}\left(p-q\right).\](75)
\[ m\left(a;{\xi _{1}},{\xi _{2}}\right)=-{a^{p-q}}\left({\xi _{1}}+q{\xi _{2}}\right)+a\left(q+1\right)-q.\]The sign of the risk free rate is again important. The analogue of Proposition 4.6 is as follows.
Proposition 5.2.
If $r\le 0$, then $g\left(a;{\xi _{1}},{\xi _{2}}\right)\lt 0$ for every $a\gt 1$. Thus the option is L-American when $L\lt \overline{\eta }$ and regular American when $L\ge \overline{\eta }$.
In addition to this proposition, we can provide financial arguments similar to those in Remark 7 why the option cannot be real cancellable when $r\lt 0$. The important term $\left(\mathcal{B}{n_{2}}\right)\left(K\right)$ now is $\left(\mathcal{B}{n_{2}}\right)\left(K\right)=K\left(r{\eta _{1}}-\lambda {\eta _{2}}\right)-\left(r+\lambda \right){\eta _{3}}$ and it can be positive only when $r\gt 0$.
Suppose now that $r\gt 0$ or equivalently $p\lt 2q+1$. The condition obtained in Proposition 4.7 can be rewritten as follows.
Proposition 5.3.
The necessary and sufficient condition for one of the cases (B) or (C) to hold is the inequality ${\xi _{1}}+q{\xi _{2}}\lt l$, where the constant l is defined by formula (22).
The next step is to prove that if the function $g\left(\cdot \right)$ has a positive domain, then the point ${a^{\ast }}$ belongs to it. Let us keep the meaning of ${\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right)\gt {\overline{a}_{2}}\left({\xi _{1}},{\xi _{2}}\right)$, i.e. the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ achieves its maximum and minimum at these points, respectively. If $g\left({\overline{a}_{1}}\left({\xi _{1}},{\xi _{2}}\right);{\xi _{1}},{\xi _{2}}\right)\gt 0$, then the function $g\left(a;{\xi _{1}},{\xi _{2}}\right)$ has two roots: ${a_{1}}\left({\xi _{1}},{\xi _{2}}\right)$ and ${a_{2}}\left({\xi _{1}},{\xi _{2}}\right)$. The analogues of Propositions 4.9 and 4.10 and their proofs are identical to the original ones and we omit them. The important Proposition 4.11 still holds – the unique difference in the proof is in the presentation (98) of the function $h\left(a;{\xi _{2}}\right)$. In the call case, it is
Thus we reach the corresponding results for the call options.
Theorem 5.4.
-
1. If $r\le 0$, then the game option is L-American for $L\lt \overline{\eta }$ and regular American otherwise.
-
2. Suppose that $r\gt 0$. The solution of system (60), $\left({\alpha _{1}},{\xi _{1}^{\ast }}\right)$, exists, ${\alpha _{1}}\gt 1$, and $1\lt {\xi _{1}^{\ast }}\lt l$. The functions $g\left(\cdot \right)$ and $m\left(\cdot \right)$ are defined by formulas (74) and (75). Let ${\overline{\xi }_{1}}\in \left[1,{\xi _{1}^{\ast }}\right]$. The solution of system (61), $\left({\alpha _{2}}\left({\overline{\xi }_{1}}\right),{\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)\right)$, exists, ${\alpha _{2}}\gt 1$, and $0\lt {\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)\lt \frac{\overline{\eta }}{K}$. Let ${\eta _{1}}\in \left[1,{\xi _{1}^{\ast }}\right)$ and the analogue of function (59) be defined as We shall denote by ${\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ its solution in the interval $\left(0,\min \left\{{\xi _{1}^{\ast }}-{\eta _{1}},{\overline{\xi }_{2}}\right\}\right)$.2 Note that ${\eta _{1}}+{\eta _{2}^{\ast }}\left({\eta _{1}}\right)\lt {\xi _{1}^{\ast }}$. The following statements describe the option’s essence:
-
(b) It is L-American if $L\lt \overline{\eta }$ and at least one of the requirements (78) does not hold.
-
(c) It is regular American for $L\ge \overline{\eta }$.
Let the functions $F\left(a,{\xi _{1}}\right)$, $H\left(a\right)$, and $G\left(a,{\xi _{1}}\right)$ be defined by formulas (63), ${\alpha _{1}}$ and ${\alpha _{2}}$ be the roots of the equations $H\left(a\right)=0$ and $G\left(a,{\overline{\xi }_{1}}\right)=0$ in the interval $a\in \left(1,\infty \right)$. Note that they exist. The critical values can be derived as ${\xi _{1}^{\ast }}=-F\left({\alpha _{1}},0\right)$ and ${\xi _{2}^{\ast }}\left({\overline{\xi }_{1}}\right)=-\frac{F\left({\alpha _{2}},{\overline{\xi }_{1}}\right)}{q}$. We impose in addition condition (65).
6 Some examples
We present now some examples. Let us consider first put style options with parameters $r=-0.02$, $\lambda =0.03$, $\sigma =0.3$, $K=1$. We chose these values because $r+\lambda \gt 0$ and $r\lt 0$, see point one from Theorem 4.16. The value one for the strike is chosen this way to ignore its impact since it can be viewed as a scaling parameter. The results are visualized in Figure 1a. Theorem 4.16 shows that the triples $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$ that lead to real cancellable options are in the pyramid formed by the green points and the point $\left(1,0,0\right)$. The green points are obtained as follows:
-
1. Point $\left({\xi _{1}^{\ast }},0,0\right)$: the value of ${\xi _{1}^{\ast }}$ is obtained via Proposition 4.9 and it is ${\xi _{1}^{\ast }}=1.1744$ for the current parameters.
-
2. Point $\left(1,{\eta _{2}^{\ast }}\left(1\right),0\right)$: the value of ${\eta _{2}^{\ast }}\left(1\right)$ is obtained via Lemma 4.15 and it is ${\eta _{2}^{\ast }}\left(1\right)=0.2575$.
-
3. Point $\left(1,0,K{\xi _{2}^{\ast }}\left(1\right)\right)$: the value of ${\xi _{2}^{\ast }}\left(1\right)$ is obtained via Proposition 4.10 and it is ${\xi _{2}^{\ast }}\left(1\right)=0.1030$.
The value for $L={\eta _{2}}K+{\eta _{3}}$ that distinguishes the L-American options from the regular ones is given by formula (39). Its value is 0.6537, see the yellow points. Thus the triples $\left\{{\eta _{1}},{\eta _{2}},{\eta _{3}}\right\}$ that lead to an L-American option are in the prism between the plains $\left\{{\eta _{1}}=1\right\}$, $\left\{{\eta _{2}}=0\right\}$, $\left\{{\eta _{3}}=0\right\}$, and the blue one, cut by the above-mentioned pyramid for the real cancellable options (the red plain). The triples that lead to the regular American options are above the blue plain – they are
Let us consider the call style options. We use the same parameters except the risk-free rate – we assume now that $r=0.02$ due to the first point of Theorem 5.4. The results are presented in Figure 1b. The critical values that form the pyramid for the real cancellable options are ${\xi _{1}^{\ast }}=1.0843$, ${\eta _{2}^{\ast }}\left(1\right)=0.0374$, and ${\xi _{2}^{\ast }}\left(1\right)=0.0698$. Critical value (70) for $L={\eta _{2}}K+{\eta _{3}}$ above which the option is real cancellable is 0.4510.
Some particular values are presented for put and call options in Tables 1 and 2, respectively. We give the critical value ${\xi _{1}^{\ast }}$ for the coefficient ${\eta _{1}}$ in the head of the tables. Above this level, the option turns from real cancellable into L-American. The critical values for ${\eta _{2}}$ given ${\eta _{1}}$ are presented in a separate column. The rest of the tables contain the critical values for ${\eta _{3}}$ given ${\eta _{1}}$ and ${\eta _{2}}$. The value for L above which the option is regular American, $\overline{\eta }$, is given again in the head of the tables.
Table 1.
Put options
$r=-0.02$, $\lambda =0.03$, ${\xi _{1}^{\ast }}=1.1744$, $\overline{\eta }=0.6537$ | |||||
${\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}={\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}=\frac{2}{3}{\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}=\frac{1}{3}{\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}=0$ | |
${\eta _{1}}=1$ | 0.2575 | 0 | 0.0341 | 0.0685 | 0.1030 |
${\eta _{3}}=1.05$ | 0.1819 | 0 | 0.0243 | 0.0487 | 0.0733 |
${\eta _{3}}=1.1$ | 0.1075 | 0 | 0.0145 | 0.0291 | 0.0437 |
${\eta _{3}}=1.1744$ | 0 | 0 | 0 | 0 | 0 |
$r=-0.01$, $\lambda =0.03$, ${\xi _{1}^{\ast }}=1.0336$, $\overline{\eta }=0.5004$ | |||||
${\eta _{1}}=1$ | 0.0281 | 0 | 0.0049 | 0.0098 | 0.0148 |
${\eta _{3}}=1.01$ | 0.0189 | 0 | 0.0034 | 0.0068 | 0.0102 |
${\eta _{3}}=1.02$ | 0.0104 | 0 | 0.0019 | 0.0038 | 0.0058 |
${\eta _{3}}=1.0336$ | 0 | 0 | 0 | 0 | 0 |
$r=-0.01$, $\lambda =0.23$, ${\xi _{1}^{\ast }}=1.0566$, $\overline{\eta }=0.6270$ | |||||
${\eta _{1}}=1$ | 0.0851 | 0 | 0.0107 | 0.0217 | 0.0329 |
${\eta _{3}}=1.02$ | 0.0527 | 0 | 0.0069 | 0.0139 | 0.0211 |
${\eta _{3}}=1.04$ | 0.0226 | 0 | 0.0031 | 0.0063 | 0.0094 |
${\eta _{3}}=1.0566$ | 0 | 0 | 0 | 0 | 0 |
Table 2.
Call options
$r=0.02$, $\lambda =0.03$, ${\xi _{1}^{\ast }}=1.0843$, $\overline{\eta }=0.4510$ | |||||
${\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}={\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}=\frac{2}{3}{\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}=\frac{1}{3}{\eta _{2}^{\ast }}\left({\eta _{1}}\right)$ | ${\eta _{2}}=0$ | |
${\eta _{1}}=1$ | 0.0374 | 0 | 0.0231 | 0.0463 | 0.0698 |
${\eta _{3}}=1.03$ | 0.0238 | 0 | 0.0145 | 0.0290 | 0.0437 |
${\eta _{3}}=1.06$ | 0.0105 | 0 | 0.0063 | 0.0126 | 0.0189 |
${\eta _{3}}=1.0843$ | 0 | 0 | 0 | 0 | 0 |
$r=0.01$, $\lambda =0.03$, ${\xi _{1}^{\ast }}=1.0239$, $\overline{\eta }=0.4281$ | |||||
${\eta _{1}}=1$ | 0.0084 | 0 | 0.0045 | 0.0091 | 0.0137 |
${\eta _{3}}=1.01$ | 0.0048 | 0 | 0.0025 | 0.0050 | 0.0075 |
${\eta _{3}}=1.02$ | 0.0013 | 0 | 0.0006 | 0.0013 | 0.0019 |
${\eta _{3}}=1.0239$ | 0 | 0 | 0 | 0 | 0 |
$r=0.01$, $\lambda =0.2$, ${\xi _{1}^{\ast }}=1.0336$, $\overline{\eta }=0.5004$ | |||||
${\eta _{1}}=1$ | 0.0148 | 0 | 0.0092 | 0.0186 | 0.0281 |
${\eta _{3}}=1.01$ | 0.0102 | 0 | 0.0062 | 0.0125 | 0.0189 |
${\eta _{3}}=1.02$ | 0.0058 | 0 | 0.0034 | 0.0069 | 0.0104 |
${\eta _{3}}=1.0336$ | 0 | 0 | 0 | 0 | 0 |