To obtain a threshold-type feedback Nash equilibrium, we view it as a fixed point of the producer and consumer best-response maps. Therefore, our overall strategy is to (i) characterize threshold-type switching strategies for the consumer given a pre-specified, threshold-type behavior by the producer; (ii) characterize threshold-type impulse strategies for the producer who faces a pre-specified regime-switching behavior of \((X_t)\); (iii) employ tâtonnement, i.e., iteratively apply the best-response controls alternating between the two players to construct an interior, non-preemptive equilibrium satisfying the ordering (15).
To analyze best-response strategies, we utilize stochastic control theory, rephrasing the related dynamic optimization objectives through variational inequalities (VI) for the jump-diffusion dynamics (4). The competitor thresholds then act as boundary conditions in the VIs. To establish the desired equilibrium, we need to verify that the best response is also of threshold-type and solves the expected systems of equations. We note that all three pieces above are new and we have not been able to find precise analogues of the needed verification theorems in the extant literature. Nevertheless, they do build upon similar single-agent control formulations, so the overall technique is conceptually clear.
Consumer Best Response
Fixing impulse thresholds \(x^\pm _r\) (\(r=h,l\)), the consumer faces a two-state switching control problem on the bounded domain \((x^\pm _\ell , x^\pm _h)\). Namely, given a producer’s impulse strategy \((\tau _i ,\xi _i)_{i \ge 1}\) with \(\tau = \inf \{ t : X_t \notin [x^{\pm }_\ell , x^{\pm }_h ] \}\), we expect the following stochastic representation for her value functions \(w^\pm (x)\) with \(x \in [x^{\pm }_\ell , x^{\pm }_h ]\)
$$\begin{aligned} w^\pm (x)&= \sup _{ \sigma \in {\mathcal {T}} }{\mathbb {E}}_{x,\pm }\Bigg [\int _0^{{\tau }\wedge \sigma }e^{-\beta t} \pi _c (X_t) \text {d}t +e^{-\beta \underline{\tau }}\mathbb {1}_{\{\tau < \sigma \}} \Big (w^\pm (X_{\tau }-\xi )\Big ) \nonumber \\&\quad +\,e^{-\beta \underline{\tau }}\mathbb {1}_{\{\tau > \sigma \}}\Big (w^\mp (X_{\sigma }) - h_\pm \Big )\Bigg ], \end{aligned}$$
(16)
where \({\mathbb {E}}_{x,\pm }\) denotes expectation with respect to \(\mu _t \in \{\mu _-, \mu _+\}\) and \(h_{\pm }\) are the fixed intervention costs of the consumer. The above is a system of two coupled equations, which locally resembles an optimal stopping problem with running payoff \(\pi _c(\cdot )\), reward \(w^\mp (\cdot )\) (last term), and stop-loss payoff (middle term) \(w^\mp (\cdot )\) due to the producer impulse at \(\tau \). This is almost the formulation as considered in [3] except with two modifications:
-
The domain is bounded on both sides (previously there was a one-sided stop-loss region).
-
The boundary condition \(w^+(x_\ell ) = w^+(x^{+*}_\ell )\) is autonomous but non-local. Therefore, the two stopping-type VIs for the consumer are coupled only through the free boundaries, not through the stop-loss thresholds as in [3].
Now, given a producer strategy \({\mathcal {C}}_p\), if the consumer’s response is such that \(y_\ell < x^-_\ell \) and \(x^+_h < y_h\), the consumer will be stuck forever in the initial regime because the price touches \( x^-_\ell \) before \(y_\ell \) in the contraction regime and \(x^+_h\) before \(y_h\) in the expansion regime. In this case, the price will oscillate between \(x^-_\ell \) and \(x^-_h\) if the initial market is in the contraction regime, and between \(x^+_\ell \) and \(x^+_h\) in the expansion regime.
In the case where the consumer’s response satisfies \(y_\ell < x^-_\ell \) and \(y_h < x^+_h\), depending on the initial state, the consumer will switch once to the expansion regime or will be stuck in the initial expansion regime. If the initial regime is \(\mu _+\), the price will touch \(y_h\), the regime will switch to contraction, the price will never touch \(y_\ell \) and will oscillate between \(x^- _\ell \) and \(x^-_h\). If the initial state is already \(\mu _+\), no switch of regime will ever occur. The same reasoning applies for the symmetric case where \(x^-_\ell < y_\ell \) and \(x^+_h < y_h\).
Finally, if the consumer’s response satisfies \(x^-_\ell < y_\ell \) and \(y_h < x^+_h\), then whatever the initial regime, the state \((\mu _t)\) will switch many times between the two regimes.
The best response of the consumer consists in picking the best response among the three possible ones above. Thus, we distinguish three cases:
- (a) No-Switch:
-
The consumer is completely inactive and simply collects her payoff based on the strategy \((x^{\pm }_{\ell ,h})\).
- (b) Single Switch:
-
The consumer always prefers one regime to the other. Then, she is inactive (like in case (a) above) in the preferred regime and faces an optimal stopping (since there is only a single switch to consider) problem in the other regime.
- (c) Multiple Switch:
-
The consumer switches back and forth between both regimes: the continuation region is \((y_\ell ,y_h)\).
Proposition 1 provides the value function of the consumer in case (a). The system (24) characterizes the game payoff in case (b), and Proposition 2 provides the value function of the consumer in case (c).
No-Switch
Regardless of the consumer strategy, in the continuation region, a direct application of the Feynman–Kac formula on (16) shows that her value function solves the following ordinary differential equation (ODE)
$$\begin{aligned} - \beta w + \mu _\pm w_x + \frac{1}{2} \sigma ^2 w_{xx} + \pi _c(x) = 0. \end{aligned}$$
(17)
Solving this inhomogeneous second-order ODE, we obtain \(w^{\pm }(x)=\widehat{\omega }^{\pm }(x)+u^{\pm }(x)\), where letting \(\theta _2 ^\pm<0< \theta _1^\pm \) be the two real roots of the quadratic equation \(-\beta + \mu _\pm z + \frac{1}{2}\sigma ^2 z^2 =0\),
-
\(u^{\pm }(x)=\lambda ^{\pm }_{1}e^{\theta ^{\pm }_1 x}+\lambda ^{\pm }_{2}e^{\theta ^{\pm }_2 x}\) solves the homogeneous ODE \(-\beta u + \mu _\pm u_x + \frac{1}{2}\sigma ^2 u_{xx} =0\) and \(\lambda ^\pm _{i,0}\), \(i=1,2\) are to be determined from appropriate boundary conditions;
-
\(\widehat{\omega }^{\pm }(x)\) is a particular solution to (17), given by
$$\begin{aligned} \widehat{\omega }^\pm (x)= & {} E x^2 + F_\pm x + G_\pm \qquad \text { where }\nonumber \\ E= & {} \frac{\gamma _2}{\beta }, \quad F_\pm = \frac{1}{\beta }\Big ( \gamma _1 + 2 \mu _\pm \frac{\gamma _2}{\beta }\Big ), \quad G_\pm = \frac{1}{\beta } \big (\gamma _0 + \sigma ^2 \frac{\gamma _2}{\beta } + \mu _\pm F_\pm \big ). \end{aligned}$$
(18)
When the consumer is inactive (denoted by \(w^\pm _0\)), the continuation region is \([x_\ell ^\pm , x_h^\pm ]\) with the boundary conditions at the impulse levels
$$\begin{aligned} w^{\pm }_0(x^{\pm }_r)=w^{\pm }_0(x^{\pm *}_r), \qquad r\in \{\ell , h\}. \end{aligned}$$
(19)
From (19) the respective coefficients \(\lambda ^{\pm }_{1,0}, \lambda ^{\pm }_{2,0}\) are solved from the following uncoupled linear system:
$$\begin{aligned} \lambda ^{\pm }_{1,0}\cdot \big [e^{\theta ^{\pm }_1 x^{\pm }_\ell }-e^{\theta ^{\pm }_1 x^{\pm *}_\ell }\big ]+\lambda ^{\pm }_{2,0}\cdot \big [e^{\theta ^{\pm }_2 x^{\pm }_\ell }-e^{\theta ^{\pm }_2 x^{\pm *}_\ell }\big ]=\widehat{\omega }^\pm (x^{\pm *}_\ell )-\widehat{\omega }^\pm (x^{\pm }_\ell ), \end{aligned}$$
(20)
$$\begin{aligned} \lambda ^{\pm }_{1,0}\cdot \big [e^{\theta ^{\pm }_1 x^{\pm }_h}-e^{\theta ^{\pm }_1 x^{\pm *}_h}\big ]+\lambda ^{\pm }_{2,0}\cdot \big [e^{\theta ^{\pm }_2 x^{\pm }_h}-e^{\theta ^{\pm }_2 x^{\pm *}_h}\big ]=\widehat{\omega }^\pm (x^{\pm *}_h)-\widehat{\omega }^\pm (x^{\pm }_h). \end{aligned}$$
(21)
For \(x > x^{\pm }_h\), we take \(w^\pm _0(x) = w^\pm _0(x^{\pm *}_h)\) and similarly in the contraction regime, we take \(w^\pm _0(x) = w^\pm _0(x^{\pm *}_\ell )\) for \(x<x^{\pm }_\ell \).
Proposition 1
Let \((\lambda ^\pm _{1,0}, \lambda ^\pm _{2,0}) \in {\mathbb {R}}^4\) be the solution to the system (20), (21). Then the functions \(w^\pm _0 (x)\), \(x \in [x_\ell ^\pm , x_h ^\pm ]\), are the value functions for an inactive consumer, i.e., \(w_0 ^\pm (x) = J_c ^\pm (x; N, \mu ^\pm )\), where N is the producer impulse strategy associated with the thresholds \((x_\ell ^\pm , x_\ell ^{\pm *}; x_h ^\pm , x_h ^{\pm *})\) with \(x_\ell ^\pm < x_h ^\pm \).
The role of \(w^\pm _0(\cdot )\) is important for judging the other two cases, and moreover for deciding whether the best response ought to be of threshold-type.
Single Switch
We next consider the situation where the payoff in the expansion regime is higher than the contraction one for any price x, so that the consumer is never incentivized to switch to the contraction regime. We then expect the consumer’s corresponding best response to be either a single-switch strategy (to the preferred regime) or no-switch (if already there). Economically, this corresponds to \(y_h > x_h^{+}\) so that as the price rises, the producer impulses \((X_t)\) down, and the consumer is not intervening to decrease her demand. As a result, the consumer never switches (except perhaps the first time from negative to positive drift) and \(\lim _{t\rightarrow \infty } \mu _t = \mu _+\). This can be observed when demand switching is very expensive, so that the producer has full market power and is able to keep prices consistently low. The consumer is forced to be in the expansion regime forever, and she is not able to influence \((X_t)\).
Suppose that the consumer prefers expansion regime (\(\mu _t=\mu _+\)) and adopts threshold-type strategies. Given \({\mathcal {C}}_p\), her strategy is summarized by
$$\begin{aligned} y_\ell > x^-_\ell , \qquad y_h=+\infty , \end{aligned}$$
and the resulting contraction-regime value function \(w^-\) should be a solution to the variational inequality
$$\begin{aligned} \sup \big \{-\beta w^- +\mu _- w^-_x+\frac{1}{2}\sigma ^2 w^-_{xx}+ \pi _c ;\, w^+_0-h_--w^-\big \}=0, \end{aligned}$$
(22)
where \(w^+_0\) is from Proposition 1 and the continuation region is \([y_\ell , x_h^-]\). This is a standard optimal stopping problem. Note that while the above equation for \(w^-\) depends on \(w^+_0\), the equation for \(w^+_0\) is autonomous—the system of equations becomes decoupled because the two regimes of \((\mu _t)\) no longer communicate.
To solve (22), we posit that her best response is of the form
$$\begin{aligned} w^-(x)&={\left\{ \begin{array}{ll} w^+_0(x)-h_-, &{} x\le y_\ell ,\\ \widehat{\omega }^- (x)+\lambda ^- _1e^{\theta ^- _1x}+\lambda ^- _2e^{\theta ^- _2x}, &{} y_\ell< x < x^-_h,\\ w^-(x^{-*}_h), &{} x^-_h \le x, \end{array}\right. } \end{aligned}$$
(23)
with the smooth-pasting and boundary conditions:
$$\begin{aligned} {\left\{ \begin{array}{ll} \widehat{\omega }^-(y_\ell )+\lambda ^-_1e^{\theta ^-_1y_\ell }+\lambda ^-_2e^{\theta ^-_2y_\ell }=\widehat{\omega }^+(y_\ell )+\lambda ^+_{1,0}e^{\theta ^+_1y_\ell }+\lambda ^+_{2,0}e^{\theta ^+_2y_\ell }-h_-, &{} ({\mathcal {C}}^0\text { at }y_\ell )\\ \widehat{\omega }^-(x^-_h)+\lambda ^-_1e^{\theta ^-_1x^-_h}+\lambda ^-_2e^{\theta ^-_2x^-_h}=\widehat{\omega }^-(x^{-*}_h)+\lambda ^-_1e^{\theta ^-_1x^{-*}_h}+\lambda ^-_2e^{\theta ^-_2x^{-*}_h}, &{} ({\mathcal {C}}^0\text { at }x^-_h)\\ \widehat{\omega }^-_x(y_\ell )+\lambda ^-_1\theta ^-_1e^{\theta ^-_1y_\ell }+\lambda ^-_2\theta ^-_2e^{\theta ^-_2y_\ell }=\widehat{\omega }^+_x(y_\ell )+\lambda ^+_{1,0}\theta ^+_1e^{\theta ^+_1y_\ell }+\lambda ^+_{2,0}\theta ^+_2e^{\theta ^+_2y_\ell }. &{} ({\mathcal {C}}^1\text { at }y_\ell ) \end{array}\right. } \end{aligned}$$
(24)
The system (24) is to be solved for the three unknowns \(y_\ell , \lambda ^-_{1}, \lambda ^-_2\), while \(\lambda ^+_{1,0},\lambda ^+_{2,0}\) are the coefficients of the consumer’s payoff associated with the no-switch strategy in the \(\mu _+\) regime, see previous subsection. We can re-write it as first solving for \(\lambda ^{-}_{1,2}\) from the linear system
$$\begin{aligned} \begin{bmatrix} e^{\theta ^-_1y_\ell } &{} e^{\theta ^-_2y_\ell } \\ e^{\theta ^-_1 x^-_h}-e^{\theta ^-_1 x^{-*}_h} &{} e^{\theta ^-_2 x^-_h}-e^{\theta ^-_2 x^{-*}_h} \end{bmatrix} \cdot \begin{bmatrix} \lambda ^-_1\\ \lambda ^-_2 \end{bmatrix} =\begin{bmatrix} w^+_0(y_\ell )-\widehat{\omega }^-(y_\ell )-h_-\\ \widehat{\omega }^-(x^{-*}_h)-\widehat{\omega }^-(x^{-}_h) \end{bmatrix} \end{aligned}$$
(25)
and then determining \(y_\ell \) from the smooth pasting \({\mathcal C}^1\)-regularity
$$\begin{aligned} w^-_x(y_\ell )=w^+_{0,x}(y_\ell ). \end{aligned}$$
(26)
The case of a single switch from expansion to contraction regime can be treated analogously in a symmetric way.
Double Switch
Finally, we consider the main case where the consumer adopts threshold-type switches, i.e., the ordering in (15) holds. Given \({\mathcal {C}}_p\), the \(w^\pm \) are then supposed to be a solution to the coupled variational inequalities
$$\begin{aligned} \sup \big \{-\beta w^+ + \mu _+w^+_x+\frac{1}{2}\sigma ^2 w^+_{xx}+\pi _c;\, \max \{w^--h_+, w^+ \}-w^+\big \}&=0, \end{aligned}$$
(27)
$$\begin{aligned} \sup \big \{-\beta w^- + \mu _-w^-_x+\frac{1}{2}\sigma ^2 w^-_{xx}+\pi _c;\, \max \{w^+-h_-, w^-\}-w^-\big \}&=0, \end{aligned}$$
(28)
where we expect continuation regions of the form \((x_\ell ^+, y_h)\) and \((y_\ell , x_h ^-)\). To set up a verification argument for the consumer’s best response, we make the ansatz
$$\begin{aligned} w^+(x)&={\left\{ \begin{array}{ll} w^+(x^{+*}_\ell ), &{} x\le x^+_\ell ,\\ \widehat{\omega }^+(x)+\lambda ^+_1e^{\theta ^+_1x}+\lambda ^+_2e^{\theta ^+_2x}, &{} x^+ _\ell< x < y_h,\\ w^-(x)-h_+, &{} x \ge y_h, \end{array}\right. } \end{aligned}$$
(29a)
$$\begin{aligned} w^-(x)&={\left\{ \begin{array}{ll} w^+(x)-h_-, &{} x \le y_\ell ,\\ \widehat{\omega }^-(x)+\lambda ^-_1e^{\theta ^-_1x}+\lambda ^-_2e^{\theta ^-_2x}, &{} y_\ell< x < x^-_h ,\\ w^-(x^{-*}_h), &{} x\ge x^-_h . \end{array}\right. } \end{aligned}$$
(29b)
This yields 6 equations:
$$\begin{aligned} {\left\{ \begin{array}{ll} \widehat{\omega }^+(y_\ell )+\lambda ^+_1e^{\theta ^+_1y_\ell }+\lambda ^+_2e^{\theta ^+_2y_\ell } -h_- =\widehat{\omega }^-(y_\ell )+\lambda ^-_1e^{\theta ^-_1y_\ell }+\lambda ^-_2e^{\theta ^-_2y_\ell }, &{}({\mathcal {C}}^0\text { at } y_\ell )\\ \widehat{\omega }^+(x^+_\ell )+\lambda ^+_1e^{\theta ^+_1x^+_\ell }+\lambda ^+_2e^{\theta ^+_2x^+_\ell }=\widehat{\omega }^+(x^{+*}_\ell )+\lambda ^+_1e^{\theta ^+_1x^{+*}_\ell }+\lambda ^+_2e^{\theta ^+_2x^{+*}_\ell }, &{} ({\mathcal {C}}^0\text { at }x^+_\ell )\\ \widehat{\omega }^-(y_h)+\lambda ^-_1e^{\theta ^-_1y_h}+\lambda ^-_2e^{\theta ^-_2y_h} -h_+=\widehat{\omega }^+(y_h)+\lambda ^+_1e^{\theta ^+_1y_h}+\lambda ^+_2e^{\theta ^+_2y_h} , &{}({\mathcal {C}}^0\text { at } y_h)\\ \widehat{\omega }^-(x^{-}_h)+\lambda ^-_1e^{\theta ^-_1x^{-}_h}+\lambda ^-_2e^{\theta ^-_2x^{-}_h}=\widehat{\omega }^-(x^{-*}_h)+\lambda ^-_1e^{\theta ^-_1x^{-*}_h}+\lambda ^-_2e^{\theta ^-_2x^{-*}_h}, &{} ({\mathcal {C}}^0\text { at }x^-_h)\\ \widehat{\omega }^+_x(y_\ell )+\lambda ^+_1\theta ^+_1e^{\theta ^+_1y_\ell }+\lambda ^+_2\theta ^+_2e^{\theta ^+_2y_\ell }=\widehat{\omega }^-_x(y_\ell )+\lambda ^-_1\theta ^-_1e^{\theta ^-_1y_\ell }+\lambda ^-_2\theta ^-_2e^{\theta ^-_2y_\ell }, &{}({\mathcal {C}}^1\text { at } y_\ell )\\ \widehat{\omega }^-_x(y_h)+\lambda ^-_1\theta ^-_1e^{\theta ^-_1y_h}+\lambda ^-_2\theta ^-_2e^{\theta ^-_2y_h}=\widehat{\omega }^+_x(y_h)+\lambda ^+_1\theta ^+_1e^{\theta ^+_1y_h}+\lambda ^+_2\theta ^+_2e^{\theta ^+_2y_h}. &{}({\mathcal {C}}^1\text { at } y_h)\\ \end{array}\right. } \end{aligned}$$
(30)
The six equations can be split into a linear system for the four coefficients \(\lambda ^\pm _{1,2}\)’s
$$\begin{aligned}&\begin{bmatrix} e^{\theta ^+_1y_\ell } &{} e^{\theta ^+_2y_\ell } &{} -e^{\theta ^-_1y_\ell } &{} -e^{\theta ^-_2y_\ell } \\ e^{\theta ^+_1 x^+_\ell }-e^{\theta ^+_1 x^{+*}_\ell } &{} e^{\theta ^+_2 x^+_\ell }-e^{\theta ^+_2 x^{+*}_\ell } &{} 0 &{} 0 \\ -e^{\theta ^+_1y_h} &{} -e^{\theta ^+_2y_h} &{} e^{\theta ^-_1y_h} &{} e^{\theta ^-_2y_h} \\ 0 &{} 0 &{} e^{\theta ^-_1 x^-_h}-e^{\theta ^-_1 x^{-*}_h} &{} e^{\theta ^-_2 x^-_h}-e^{\theta ^-_2 x^{-*}_h} \end{bmatrix} \cdot \begin{bmatrix} \lambda ^+_1\\ \lambda ^+_2\\ \lambda ^-_1\\ \lambda ^-_2 \end{bmatrix}\nonumber \\&\quad =\begin{bmatrix} \widehat{\omega }^-(y_\ell )-\widehat{\omega }^+(y_\ell )-h_+\\ \widehat{\omega }^+(x^{+*}_\ell )-\widehat{\omega }^+(x^{+}_\ell )\\ \widehat{\omega }^+(y_h)-\widehat{\omega }^-(y_h)-h_-\\ \widehat{\omega }^-(x^{-*}_h)-\widehat{\omega }^-(x^{-}_h) \end{bmatrix} \end{aligned}$$
(31)
and the smooth-pasting conditions determining the two switching thresholds \(y_{\ell ,h}\) (viewed as free boundaries)
$$\begin{aligned} w^+_x(y_r)=w^-_x(y_r), \qquad r\in \{\ell , h\}. \end{aligned}$$
(32)
Proposition 2
Let the 6-tuple \((\lambda ^\pm _1, \lambda ^\pm _2, y_h, y_\ell )\) be a solution to the system (31), (32) such that the order in (15) is fulfilled. Then, the functions defined in (29) give the best-response payoffs of consumer, and a best-response strategy is given by \(({\hat{\sigma }}_i)_{i \ge 1}\), where
$$\begin{aligned} {\hat{\sigma }}_{0} =0, \quad {\hat{\sigma }}_i = \inf \left\{ t > {\hat{\sigma }}_{i-1} : X_t \in \Gamma _c (t) \right\} , \quad i \ge 1, \end{aligned}$$
with \(\Gamma _c ^+ = [y_\ell ,+\infty )\) and \(\Gamma _c ^- = (-\infty , y_h]\).
Figure 2 illustrates the shapes of the consumer’s value function in the different case of best response. For the strategy given, we have a dominant function in the contraction regime (\(w^-_0\)) and a dominant function in the expansion regime (\(w_0^+\)).
Remark
For comparison purposes, it is also useful to know the continuation region of the consumer when she alone controls the market price \((X_t)\). As usual, this region is \((-\infty ,y_h)\) in the expansion regime and \((y_\ell , +\infty )\) in the contraction regime, with the natural ordering \(y_\ell < y_h\). The value functions \(w^\pm \) satisfy:
$$\begin{aligned} \sup \big \{ -\beta w^+ + \mu _+ w^+_x +\frac{1}{2}\sigma ^2 w^+_{xx} + \pi _c;\, w^- - h_+ \big \}&=0, \end{aligned}$$
(33)
$$\begin{aligned} \sup \big \{ -\beta w^- + \mu _- w^-_x + \frac{1}{2}\sigma ^2 w^-_{xx} + \pi _c; \, w^+ - h_- \big \}&=0. \end{aligned}$$
(34)
To set up a verification argument for the consumer’s best response, we make the ansatz
$$\begin{aligned} w^+(x)&= {\left\{ \begin{array}{ll} w^-(y_h) - h_+, &{} x \ge y_h, \\ \widehat{\omega }^+(x) + \lambda _{1,0}^+ e^{\theta _1^+ x} + \lambda _{2,0}^+ e^{\theta _2^+ x}, &{} x < y_h, \end{array}\right. } \end{aligned}$$
(35a)
$$\begin{aligned} w^-(x)&= {\left\{ \begin{array}{ll} \widehat{\omega }^-(x) + \lambda _{1,0}^- e^{\theta _1^- x} + \lambda _{2,0}^- e^{\theta _2^- x}, &{} x > y_\ell ,\\ w^+(y_\ell ) -h_-, &{} x \le y_\ell . \end{array}\right. } \end{aligned}$$
(35b)
Furthermore, in the expansion regime, to keep \(w^+(x)\) bounded as \(x \rightarrow -\infty \) we must have \(\lambda _{2,0}^+ =0\) because \(\theta _2^+<0\). In the contraction regime, a similar argument gives \(\lambda _{1,0}^- = 0\). We are left with the four unknowns \(y_\ell , y_h\) and \(\lambda _{1,0}^p\) and \(\lambda _{2,0}^-\) determined from the following smooth-pasting conditions:
$$\begin{aligned} {\left\{ \begin{array}{ll} \widehat{\omega }^-(y_\ell ) + \lambda ^-_{2,0} e^{\theta ^-_2 y_\ell } = \widehat{\omega }^+(y_\ell ) + \lambda _{1,0}^+ e^{\theta _1^+ y_\ell } - h_-, &{}({\mathcal {C}}^0\text { at } y_\ell )\\ \widehat{\omega }^+(y_h) + \lambda ^+_{1,0} e^{\theta ^+_1 y_h} = \widehat{\omega }^-(y_h) + \lambda _{2,0}^- e^{\theta _2^- y_h} - h_+, &{}({\mathcal {C}}^0\text { at } y_h) \\ \widehat{\omega }^-_{x}(y_\ell ) + \lambda ^-_{2,0} \theta ^-_2 e^{\theta ^-_2 y_\ell } = \widehat{\omega }^+_{x}(y_\ell ) + \lambda ^+_{1,0} \theta ^+_1 e^{\theta ^+_1 y_\ell }, &{}({\mathcal {C}}^1\text { at } y_\ell )\\ \widehat{\omega }^+_{x}(y_h) + \lambda ^+_{1,0} \theta ^+_1 e^{\theta ^+_1 y_h} = \widehat{\omega }^-_{x}(y_h) + \lambda ^-_{2,0} \theta ^-_2 e^{\theta ^-_2 y_h}. &{}({\mathcal {C}}^1\text { at } y_h)\\ \end{array}\right. } \end{aligned}$$
(36)
\(\square \)
Producer Best Response
We now consider the best response of the producer, given the consumer’s switching strategy denoted by \({\mathcal {C}}_c:=[y_\ell , y_h]\). Once again, we face three cases:
-
1.
The producer is a monopolist, i.e., the consumer is completely inactive;
-
2.
The consumer adopts a single-switch strategy;
-
3.
The consumer adopts a double-switch strategy.
Producer as Sole Optimizer
To begin with, we determine the monopoly-like strategy of the producer assuming the consumer adopts a no-switch strategy. In that case, \(\mu _t\) is constant throughout and the functions \(v^{\pm }\) of the producer satisfy the variational inequality (VI):
$$\begin{aligned} \sup \Big \{ - \beta v^\pm + \mu _{\pm } v^\pm _x + \frac{1}{2} \sigma ^2 v^\pm _{xx} + \pi _p \; , \sup _{\xi } \big \{ v^\pm (\cdot + \xi ) - v^\pm (\cdot ) - K_p (\xi ) \big \} \Big \}&= 0. \end{aligned}$$
(37)
Note that the two VIs for \(v^+\) and \(v^-\) are autonomous, hence uncoupled from each other. In the continuation region, the general solution of the ODE
$$\begin{aligned} - \beta v + \mu _{\pm } v_x + \frac{1}{2} \sigma ^2 v_{xx} + \pi _p(x) = 0 \end{aligned}$$
is of the form \(v^\pm (x)\) \(=\) \({\widehat{v}}^\pm (x) + u^\pm (x)\), where \(u^\pm = \nu ^\pm _1e^{\theta ^\pm _1x}+\nu ^\pm _2e^{\theta ^\pm _2x}\), with \(\theta ^\pm _1, \theta _2 ^\pm \) as before, satisfies the homogenous ODE \(- \beta u +\mu _\pm u_x + \frac{1}{2} \sigma ^2 u_{xx} = 0\), and \({\widehat{v}}^\pm (x)\) is a particular solution given by
$$\begin{aligned} {\widehat{v}}^\pm (x) = A x^2 + B_\pm x + C_\pm , \end{aligned}$$
(38)
where the coefficients \(A, B_\pm , C_\pm \) are identified as:
$$\begin{aligned} A&= -\frac{d_1}{\beta }, \quad B_\pm = \frac{1}{\beta }\Big ( d_0 - \frac{2 \, \mu _\pm \, d_1}{\beta } + c_p \, d_1\Big ), \quad C_\pm = \frac{1}{\beta } \big (\mu _\pm B_\pm + A \sigma ^2 - c_p d_0 \big ). \end{aligned}$$
Assuming the producer adopts threshold-type impulse strategies defined by \(\xi ^*(x)\) in the intervention region, her expected payoff is of the form:
$$\begin{aligned} v^\pm (x)&={\left\{ \begin{array}{ll} v^\pm (x^{\pm *}_h)-K_p(\xi ^*(x)) &{} x\ge x^{\pm }_h,\\ \widehat{v}^\pm (x)+\nu ^\pm _1e^{\theta ^\pm _1x}+\nu ^\pm _2e^{\theta ^\pm _2x}, &{} x^{\pm }_\ell<x<x^{\pm }_h,\\ v^\pm (x^{\pm *}_\ell )-K_p( \xi ^*(x)) &{} x\le x^{\pm }_\ell . \end{array}\right. } \end{aligned}$$
(39)
When applying the optimal impulse \(\xi ^{\pm *}(x)\) at the threshold \(x_{r}^\pm , r = \ell ,h\), the producer brings \(X_t\) back to the price level \(x^{\pm *}_{r}\) \(:=\) \(x^\pm _{r} - \xi ^{\pm *}(x^\pm _{r})\). For optimality, the respective impulse amounts satisfy the first order conditions
$$\begin{aligned} v_x^\pm (x^{\pm *}_h)&= -\partial _\xi K_p(\xi ^*(x^\pm _h)), \qquad v_x^\pm (x^{\pm *}_\ell ) =-\partial _\xi K_p(\xi ^*(x^\pm _\ell )). \end{aligned}$$
(40)
We reinterpret the above as the equation to be satisfied by \(\xi ^*(x_r^{\pm })\) which are treated temporarily as unknowns and plugged into further equations. To ensure that the value function is continuous at \(x^\pm _{r}\), we further need
$$\begin{aligned} v^\pm (x^\pm _{r})&= v^\pm (x^{\pm *}_{r}) - K_p (\xi ^{\pm *} _r). \end{aligned}$$
(41)
Finally, making the hypothesis that the value function is differentiable at the borders of the intervention region, we have:
$$\begin{aligned} v^\pm _x(x^\pm _{\ell })&= v^\pm _x(x^{\pm *}_{\ell }) - \partial _\xi K_p(\xi ^*(x^\pm _\ell )) , \end{aligned}$$
(42a)
$$\begin{aligned} v^\pm _x(x^\pm _{h})&= v^\pm _x(x^{\pm *}_{h}) - \partial _\xi K_p(\xi ^*(x^\pm _h)). \end{aligned}$$
(42b)
We consider two cases of impulse costs: (i) constant \(K_p(\xi ) =\kappa _0\) and (ii) linear \(K_p(\xi ) = \kappa _0 + \kappa _1 |\xi |\). In case (i), because the impulse cost is independent of the intervention amount there will be an optimal impulse level \(x^{\pm *}_r\) so that for any x in the intervention region the strategy is to impulse back to \(x^{\pm *}_r\) which is the same at the two thresholds. In case (ii), \(\partial _\xi K_p = \pm \kappa _1\) and all the smooth pasting and boundary conditions can be gathered in the following system:
$$\begin{aligned} {\left\{ \begin{array}{ll} \widehat{v}^\pm (x^{\pm }_h)+\nu ^\pm _1e^{\theta ^\pm _1x^{\pm }_h}+\nu ^\pm _2e^{\theta ^\pm _2x^{\pm }_h}=\widehat{v}^\pm (x^{\pm *}_h)+\nu ^\pm _1e^{\theta ^\pm _1x^{\pm *}_h}+\nu ^\pm _2e^{\theta ^\pm _2x^{\pm *}_h}-\kappa _0-\kappa _1(x^{\pm }_h-x^{\pm *}_h), &{} ({\mathcal {C}}^0\text { at }x^{\pm }_h)\\ \widehat{v}^\pm (x^{\pm }_\ell )+\nu ^\pm _1e^{\theta ^\pm _1x^{\pm }_\ell }+\nu ^\pm _2e^{\theta ^\pm _2x^{\pm }_\ell }=\widehat{v}^\pm (x^{\pm *}_\ell )+\nu ^\pm _1e^{\theta ^\pm _1x^{\pm *}_\ell }+\nu ^\pm _2e^{\theta ^\pm _2x^{\pm *}_\ell }-\kappa _0-\kappa _1(x^{\pm *}_\ell -x^{\pm }_\ell ), &{} ({\mathcal {C}}^0\text { at }x^{\pm }_\ell )\\ \widehat{v}^\pm _x(x^{\pm *}_h)+\nu ^\pm _1\theta ^\pm _1e^{\theta ^\pm _1x^{\pm *}_h}+\nu ^\pm _2\theta ^\pm _2e^{\theta ^\pm _2x^{\pm *}_h}=-\kappa _1&{} ({\mathcal {C}}^1\text { at }x^{\pm *}_h)\\ \widehat{v}^\pm _x(x^{\pm *}_\ell )+\nu ^\pm _1\theta ^\pm _1e^{\theta ^\pm _1x^{\pm *}_\ell }+\nu ^\pm _2\theta ^\pm _2e^{\theta ^\pm _2x^{\pm *}_\ell }=\kappa _1, &{} ({\mathcal {C}}^1\text { at }x^{\pm *}_\ell )\\ \widehat{v}^\pm _x(x^{\pm }_h)+\nu ^\pm _1\theta ^\pm _1e^{\theta ^\pm _1x^{\pm }_h}+\nu ^\pm _2\theta ^\pm _2e^{\theta ^\pm _2x^{\pm }_h}=\widehat{v}^\pm _x(x^{\pm *}_h)+\nu ^\pm _1\theta ^\pm _1e^{\theta ^\pm _1x^{\pm *}_h}+\nu ^\pm _2\theta ^\pm _2e^{\theta ^\pm _2x^{\pm *}_h}-\kappa _1, &{} ({\mathcal {C}}^1\text { at }x^{\pm }_h)\\ \widehat{v}^\pm _x(x^{\pm }_\ell )+\nu ^\pm _1\theta ^\pm _1e^{\theta ^\pm _1x^{\pm }_\ell }+\nu ^\pm _2\theta ^\pm _2e^{\theta ^\pm _2x^{\pm }_\ell }=\widehat{v}^\pm _x(x^{\pm *}_\ell )+\nu ^\pm _1\theta ^\pm _1e^{\theta ^\pm _1x^{\pm *}_\ell }+\nu ^\pm _2\theta ^\pm _2e^{\theta ^\pm _2x^{\pm *}_\ell }+\kappa _1. &{} ({\mathcal {C}}^1\text { at }x^{\pm }_\ell ) \end{array}\right. } \end{aligned}$$
(43)
Note that there are two uncoupled linear systems for \(v^+\) and \(v^-\). The \({\mathcal C}^0\) conditions are from (41), the first two \({\mathcal C}^1\) conditions are from (40) which determines the optimal impulse destination, and the last two \({\mathcal C}^1\) conditions are from (42).
By a standard verification argument, one can show that if both systems above admit solutions \(\nu ^\pm _{1,2}\) and \(x^\pm _{\ell ,h}\), where the latter satisfy the order condition \(x_\ell ^\pm < x_h ^\pm \), then the functions \(v^\pm (x)\) as in (39) are the value functions of the producer and his optimal strategies are given by the thresholds \(x_{\ell ,h}^\pm \) and impulse amounts \(\xi ^{*}(x_{\ell ,h}^{\pm *})\). This can be done by following exactly the arguments in, e.g., [7] (see also their Remark 2.1), which are very standard in the literature of impulse control problems. Therefore, details are omitted.
Non-Preemptive Response
Suppose the following ordering, which is similar to (15), holds:
$$\begin{aligned} x_\ell ^\pm< y_l< y_h < x_h ^\pm .\end{aligned}$$
(44)
We then expect \(v^\pm \) to solve the VIs
$$\begin{aligned} {\left\{ \begin{array}{ll} \sup \big \{-\beta v^+ +\mu _+ v^+_x+\frac{1}{2}\sigma ^2v^+_{xx} + \pi _p\; ;\; \sup _\xi (v^+(\cdot -\xi )-v^+-K_p(\xi ))\big \}=0,\\ \sup \big \{-\beta v^- + \mu _- v^-_x+\frac{1}{2}\sigma ^2v^-_{xx} + \pi _p\; ;\; \sup _\xi (v^-(\cdot -\xi )-v^--K_p(\xi ))\big \}=0.\\ \end{array}\right. } \end{aligned}$$
(45)
To obtain the producer best response, it suffices to identify the two active impulse thresholds \(x^+_\ell ,x^-_h\) and the respective target levels \(x^{+*}_\ell , x^{-*}_h\). The other two boundary conditions take place at the consumer thresholds \(y_\ell , y_h\), so that the strategy (see (47)) is \({\mathcal {C}}_p=\begin{bmatrix} x^+_\ell ,&{} x^{+*}_\ell , &{} -,&{}+\infty \\ -\infty , &{} - ,&{} x^{-*}_h,&{} x^{-}_h \end{bmatrix}.\) The game coupling shows up in the additional boundary condition that when the consumer switches, the producer’s value is unaffected:
$$\begin{aligned} v^+ ( y) = v^- ( y), \qquad y \in (-\infty , y_\ell ] \cup [y_h, +\infty ). \end{aligned}$$
(46)
Accordingly, our ansatz is
$$\begin{aligned} v^-(x)&={\left\{ \begin{array}{ll} v^-(x^{-*}_h)-K_p( \xi ^*( x)), &{} x\ge x^-_h,\\ \widehat{v}^-(x)+\nu ^-_1e^{\theta ^-_1x}+\nu ^-_2e^{\theta ^-_2x}, &{} y_\ell<x<x^-_h,\\ v^+(x), &{} x\le y_\ell , \end{array}\right. } \end{aligned}$$
(47a)
$$\begin{aligned} v^+(x)&={\left\{ \begin{array}{ll} v^-(x), &{} x\ge y_h,\\ \widehat{v}^+(x)+\nu ^+_1e^{\theta ^+_1x}+\nu ^+_2e^{\theta ^+_2x}, &{} x^+_\ell<x<y_h,\\ v^+(x^{+*}_\ell )-K_p( \xi ^*(x)), &{} x\le x^+_\ell . \end{array}\right. } \end{aligned}$$
(47b)
To simplify the presentation, let us concentrate on the proportional impulse costs \(K_p(\xi ) = \kappa _0 + \kappa _1 |\xi |\). We have the smooth pasting \({\mathcal {C}}^1\) and boundary conditions:
$$\begin{aligned} {\left\{ \begin{array}{ll} \widehat{v}^+(y_\ell )+\nu ^+_1e^{\theta ^+_1y_\ell }+\nu ^+_2e^{\theta ^+_2y_\ell }=\widehat{v}^-(y_\ell )+\nu ^-_1e^{\theta ^-_1y_\ell }+\nu ^-_2e^{\theta ^-_2y_\ell }, &{} ({\mathcal {C}}^0\text { at }y_\ell )\\ \widehat{v}^-(y_h)+\nu ^-_1e^{\theta ^-_1y_h}+\nu ^-_2e^{\theta ^-_2y_h}=\widehat{v}^+(y_h)+\nu ^+_1e^{\theta ^+_1y_h}+\nu ^+_2e^{\theta ^+_2y_h}, &{} ({\mathcal {C}}^0\text { at }y_h)\\ \widehat{v}^+(x^+_\ell )+\nu ^+_1e^{\theta ^+_1x^+_\ell }+\nu ^+_2e^{\theta ^+_2x^+_\ell }=\widehat{v}^+(x^{+*}_\ell )+\nu ^+_1e^{\theta ^+_1x^{+*}_\ell }+\nu ^+_2e^{\theta ^+_2x^{+*}_\ell }-K_p( \xi ^*( x^+_\ell )), &{} ({\mathcal {C}}^0\text { at }x^+_\ell )\\ \widehat{v}^-(x^{-}_h)+\nu ^-_1e^{\theta ^-_1x^{-}_h}+\nu ^-_2e^{\theta ^-_2x^{-}_h}=\widehat{v}^-(x^{-*}_h)+\nu ^-_1e^{\theta ^-_1x^{-*}_h}+\nu ^-_2e^{\theta ^-_2x^{-*}_h}-K_p(\xi ^*( x^-_h)), &{}({\mathcal {C}}^0\text { at }x^-_h)\\ \widehat{v}^+_x(x^+_\ell )+\nu ^+_1\theta ^+_1e^{\theta ^+_1x^+_\ell }+\nu ^+_2\theta ^+_2e^{\theta ^+_2x^+_\ell }=\widehat{v}^+_x(x^{+*}_\ell )+\nu ^+_1\theta ^+_1e^{\theta ^+_1x^{+*}_\ell }+\nu ^+_2\theta ^+_2e^{\theta ^+_2x^{+*}_\ell } {-\kappa _1}, &{} ({\mathcal {C}}^1\text { at }x^+_\ell )\\ \widehat{v}^-_x(x^{-}_h)+\nu ^-_1\theta ^-_1e^{\theta ^-_1x^{-}_h}+\nu ^-_2\theta ^-_2e^{\theta ^-_2x^{-}_h}=\widehat{v}^-_x(x^{-*}_h)+\nu ^-_1\theta ^-_1e^{\theta ^-_1x^{-*}_h}+\nu ^-_2\theta ^-_2e^{\theta ^-_2x^{-*}_h} {+\kappa _1}. &{}({\mathcal {C}}^1\text { at }x^-_h)\\ \widehat{v}^+_x(x_\ell ^{+*})+\nu ^+_1\theta ^+_1e^{\theta ^+_1x_\ell ^{+*}}+\nu ^+_2\theta ^+_2e^{\theta ^+_2 x_\ell ^{+*}} = - \kappa _1&{} {({\mathcal {C}}^1\text { at } x_\ell ^{+*}) }\\ \widehat{v}^-_x(x_h^{-*})+\nu ^-_1\theta ^-_1e^{\theta ^-_1 x_h^{-*}}+\nu ^-_2\theta ^-_2e^{\theta ^-_2 x_h^{-*}} = \kappa _1, &{} {({\mathcal {C}}^1\text { at } x_h^{-*})} \end{array}\right. } \end{aligned}$$
(48)
Unlike the single-agent setting (43), Eq. (48) are coupled. The coefficients \(\nu ^{\pm }_{1,2}\) are the solution to the linear system
$$\begin{aligned}&\begin{bmatrix} e^{\theta ^+_1y_\ell } &{} e^{\theta ^+_2y_\ell } &{} -e^{\theta ^-_1y_\ell } &{} -e^{\theta ^-_2y_\ell } \\ e^{\theta ^+_1 x^+_\ell }-e^{\theta ^+_1 x^{+*}_\ell } &{} e^{\theta ^+_2 x^+_\ell }-e^{\theta ^+_2 x^{+*}_\ell } &{} 0 &{} 0 \\ -e^{\theta ^+_1y_h} &{} -e^{\theta ^+_2y_h} &{} e^{\theta ^-_1y_h} &{} e^{\theta ^-_2y_h} \\ 0 &{} 0 &{} e^{\theta ^-_1 x^-_h}-e^{\theta ^-_1 x^{-*}_h} &{} e^{\theta ^-_2 x^-_h}-e^{\theta ^-_2 x^{-*}_h} \end{bmatrix} \cdot \begin{bmatrix} \nu ^+_1\\ \nu ^+_2\\ \nu ^-_1\\ \nu ^-_2 \end{bmatrix}\nonumber \\&\quad =\begin{bmatrix} \widehat{v}^-(y_\ell )-\widehat{v}^+(y_\ell )\\ \widehat{v}^+(x^{+*}_\ell )-\widehat{v}^+(x^{+}_\ell )-K_p\\ \widehat{v}^+(y_h)-\widehat{v}^-(y_h)\\ \widehat{v}^-(x^{-*}_h)-\widehat{v}^-(x^{-}_h)-K_p \end{bmatrix} \end{aligned}$$
(49)
and the thresholds \(x_h^+, x_\ell ^-\) are determined by the \({\mathcal C}^1\) smooth pasting (recall that \(x^{-*}_h = x^{-}_h -\xi ^*(x^-_h)\), \(x^{+*}_\ell = x^{+}_\ell -\xi ^*(x^+_\ell )\)):
$$\begin{aligned} {\left\{ \begin{array}{ll} v^-_x(x^-_h)=v^-_x(x^{-*}_h),\\ v^+_x(x^+_\ell )=v^+_x(x^{+*}_\ell ), \end{array}\right. } \end{aligned}$$
(50)
and the first order conditions (FOCs) giving the optimal impulses:
$$\begin{aligned} v_x^-(x_h^{-*}) = -\partial _\xi K_p(\xi ^*(x^-_h)) \qquad v_x^+(x_\ell ^{+*})&= - \partial _\xi K_p(\xi ^*(x^+_\ell )). \end{aligned}$$
(51)
Proposition 3
Let the 8-tuple \((\nu ^\pm _1, \nu ^\pm _2, x^+_h, x^- _\ell , x^{+*}_h, x^{-*} _\ell )\) be a solution to the system (48), such that the order in (44) is fulfilled and \(x^+ _\ell< x_\ell ^{+*}, x_h ^{-*} < x_h ^-\). Let \(v^\pm \) be defined in (47) and assume
$$\begin{aligned} v_{xx} ^+(x_\ell ^{+*})< 0, \qquad v_{xx} ^- (x_h ^{-*}) < 0. \end{aligned}$$
(52)
Then, the functions \(v^\pm \) are the best-response payoffs of the producer, and a best-response strategy is given by
$$\begin{aligned} \tau ^* _0 = 0,&\quad \tau ^* _i = \inf \left\{ t > \tau ^* _{i-1} : X^*_t \in \Gamma _p (t-) \right\} , \end{aligned}$$
(53)
$$\begin{aligned} \xi ^*_i (x_\ell ^+)&= x_\ell ^{+*} - x_\ell ^+ , \qquad \xi ^*_i (x_h ^-) = x_h ^{-} - x_h ^{-*} , \qquad i \ge 1, \end{aligned}$$
(54)
with \(\Gamma _p (t) = \Gamma ^+ _p {\mathbf {1}}_{\{\mu _t = \mu _+\}} + \Gamma ^- _p {\mathbf {1}}_{\{\mu _t = \mu _-\}}\), where \(\Gamma _p ^+ = (-\infty , x^+_\ell ]\) and \(\Gamma _p ^- = [x^- _h , +\infty )\), while \((X^*_t)\) follows the dynamics corresponding to the consumer’s strategy \((\sigma _i)_{i \ge 1}\) and the producer’s impulse strategy \((\tau ^* _i , \xi _i ^*)_{i \ge 1}\).
We remark that while we do not have a direct result regarding existence of solutions to (48), we provide nonetheless a verification theorem that connects a solution 8-tuple to a best-response strategy.
Preemptive Response
It is possible that the static discounted future profit of the producer satisfies, say, \(v^+(x) \ge v^-(x)\) for any x, so that he always prefers expansion regime to contraction regime.
In that case, the consumer switching at \(y_h\) from expansion to contraction hurts the producer and one possible strategy for him is to preempt in order to prevent the consumer from switching the drift to \(\mu _-\). This situation could be viewed as looking for best \(x^+_h < y_h\), given \(y_h\). In the latter case the constrained solution could be \(x^+_h = y_h-\), whereby the system (43) does not hold and the best response is to impulse \((X_t)\) right before it hits \(y_h\), \(x^+_h = y_h-\). This strategy is not well defined (i.e., the supremum is not achieved on the open interval \((x_\ell ^+, y_h)\)), but the resulting preemptive best-response value in the \(\mu _+\) regime can be obtained by using the ansatz (where we slightly abuse the notation to write \(x_h^{+*} = y_h - \xi ^*(y_h)\) for the target impulse level at \(y_h\))
$$\begin{aligned} v^+(x)&={\left\{ \begin{array}{ll} v^+(x^{+*}_h)-K_p(\xi ^*(x)), &{} x\ge y_h,\\ \widehat{v}^+(x)+\nu ^+_1e^{\theta ^+_1x}+\nu ^+_2e^{\theta ^+_2x}, &{} x^+_\ell< x < y_h,\\ v^+(x^{+*}_\ell )-K_p(\xi ^*(x)), &{} x\le x^+_\ell , \end{array}\right. } \end{aligned}$$
(55)
and the boundary conditions for determining the target impulse levels
$$\begin{aligned} v_x^+(x^{+*}_h)&= - \kappa _1, \quad v_x^+(x_\ell ^{+*}) = +\kappa _1. \end{aligned}$$
(56)
Note that we now have 5 unknowns, \(\nu ^+_{1,2}, x^+_\ell , x^{+*}_{\ell }, x^{+*}_h\) rather than six as we “fixed” \(x^+_h = y_h\). This yields the following system
$$\begin{aligned} {\left\{ \begin{array}{ll} \widehat{v}^+(y_h)+\nu ^+_1e^{\theta ^+_1y_h}+\nu ^+_2e^{\theta ^+_2y_h}=\widehat{v}^+(x^{+*}_h)+\nu ^+_1e^{\theta ^+_1(x^{+*}_h)}+\nu ^+_2e^{\theta ^+_2(x^{+*}_h)}-K_p(\xi ^*(y_h)) &{} ({\mathcal {C}}^0\text {at }y_h)\\ \widehat{v}^+(x^{+}_\ell )+\nu ^+_1e^{\theta ^+_1x^{+}_\ell }+ \nu ^+_2 e^{\theta ^+_2x^{+}_\ell }=\widehat{v}^+(x^{+*}_\ell )+\nu ^+_1e^{\theta ^+_1x^{+*}_\ell }+\nu ^+_2e^{\theta ^+_2x^{+*}_\ell }-K_p(\xi ^*(x_\ell ^+)) &{}({\mathcal {C}}^0\text { at }x^+_\ell )\\ \widehat{v}^+_x(x^{+}_\ell )+\nu ^+_1\theta ^+_1e^{\theta ^+_1x^{+}_\ell }+\nu ^+_2\theta ^+_2e^{\theta ^+_2x^{+}_\ell }=\widehat{v}^+_x(x^{+*}_\ell )+\nu ^+_1\theta ^+_1e^{\theta ^+_1x^{+*}_\ell }+\nu ^+_2\theta ^+_2e^{\theta ^+_2x^{+*}_\ell } +\kappa _1 &{}({\mathcal {C}}^1\text { at }x^+_\ell ) \\ {\widehat{v}}_x^+(x^{+*}_h) + \nu ^+_1\theta ^+_1e^{\theta ^+_1 x_h^{+*} }+\nu ^+_2\theta ^+_2e^{\theta ^+_2 x_h^{+*} } = - \kappa _1 &{} ({\mathcal {C}}^1\text { at }x^{+*}_h) \\ \widehat{v}^+_x(x^{+*}_\ell )+\nu ^+_1\theta ^+_1e^{\theta ^+_1x^{+*}_\ell }+\nu ^+_2\theta ^+_2e^{\theta ^+_2x^{+*}_\ell } = \kappa _1. &{} ({\mathcal {C}}^1\text { at }x^{+*}_\ell )\\ \end{array}\right. } \end{aligned}$$
(57)
Preemption in the contraction regime writes in a symmetric way.
In general, we need to manually verify whether \(x_h^+ > y_h\) (the “normal” case) or \(x^+ _h = y_h\) (the preemptive case) whenever we consider the producer best response. The two situations lead to different boundary conditions at the upper threshold, and hence cannot be directly compared. Considering the optimization problem for \(x_h^+\), we expect his value function to increase in \(x_h^+\) on \((x_\ell ^+, y_h)\) and experience a positive jump at \(y_h\), i.e., conditional on someone acting, the producer prefers the consumer’s switch to applying his impulse. However, if this is not the case, the consumer action hurts the producer and assuming the impulse costs are low, the best response is \(x_h^+ = y_h\). This corner solution arises due to the underlying discontinuity: on \((x_\ell ^+, y_h)\) the producer compares the value of waiting to the value of doing an optimal impulse, but at \(y_h\) he compares the value of switching to that of doing an optimal impulse. So it could be that “waiting” > impulsing > switching at \(y_h\), leading to preemptive impulse to prevent the worst (for the producer) outcome.
Proposition 4
Assume \(\mu _{0-}=\mu _+\). Let the 5-tuple \((\nu ^+_1, \nu ^+ _2, x^+_\ell , x^{+*}_\ell , x^{+*} _h)\) be a solution to the system (57), such that the order in (44) is fulfilled and \(x^+ _\ell< x_\ell ^{+*}, x_h ^{+*} < y_h\). Let \(v^+\) be defined as in (55) and assume
$$\begin{aligned} v_{xx} ^+(x_\ell ^{+*})<0, \qquad v_{xx} ^+ (x_h ^{+*}) <0. \end{aligned}$$
(58)
Then, the function \(v^+\) is the best-response payoff of the producer in the expansion regime, and a best-response strategy is given by
$$\begin{aligned} \tau ^* _0 = 0,&\quad \tau ^* _i = \inf \{ t > \tau ^*_{i-1} : X_t \in \Gamma _p (t-) \}, \end{aligned}$$
(59)
$$\begin{aligned} \xi ^*_i (x_\ell ^+)&= x_\ell ^{+*} - x_\ell ^+ , \quad \xi ^*_i (y_h) = y_h - x_h ^{+*} , \quad i \ge 1, \end{aligned}$$
(60)
with \(\Gamma _p (t) = \Gamma ^+ _p (t) = (-\infty , x^+_\ell ] \cup [y_h , +\infty )\), while \(X^*\) follows the dynamics corresponding to the producer’s impulse strategy \((\tau ^* _i , \xi _i ^*)_{i \ge 1}\).
Figure 3 illustrates the shapes of the producer’s value function in the different cases of best response. For the given consumer strategy, we have a dominant function in the contraction regime (\(v^-_1\)) and a dominant function in the expansion regime (\(v_1^+\)).