 Research
 Open Access
 Published:
Mathematical and numerical analyses of a stochastic impulse control model with imperfect interventions
Journal of Mathematics in Industry volume 11, Article number: 16 (2021)
Abstract
A stochastic impulse control problem with imperfect controllability of interventions is formulated with an emphasis on applications to ecological and environmental management problems. The imperfectness comes from uncertainties with respect to the magnitude of interventions. Our model is based on a dynamic programming formalism to impulsively control a 1D diffusion process of a geometric Brownian type. The imperfectness leads to a nonlocal operator different from the many conventional ones, and evokes a slightly different optimal intervention policy. We give viscosity characterizations of the Hamilton–Jacobi–Bellman QuasiVariational Inequality (HJBQVI) governing the value function focusing on its numerical computation. Uniqueness and verification results of the HJBQVI are presented and a candidate exact solution is constructed. The HJBQVI is solved with the two different numerical methods, an ordinary differential equation (ODE) based method and a finite difference scheme, demonstrating their consistency. Furthermore, the resulting controlled dynamics are extensively analyzed focusing on a bird population management case from a statistical standpoint.
1 Introduction
Balancing costs and benefits is essential for successful environmental and ecological management [1, 2]. Harvesting invasive species requires measuring invasion dynamics, evaluating costs of control efforts, and tracking invasion damages [3]. Cooperative lake eutrophication management considers the costs for water quality improvement and their benefits under social pressure [4]. Transboundary pollution problems are regional problems where the pollution mitigation policy is critically affected by the costs and benefits evaluation [5]. Smith et al. [6] discussed uncertainties in wildlife management focusing on problems related to waterbird.
Stochastic optimal control [7] is a central mathematical concept for modeling, analyzing, and controlling stochasticallydriven system dynamics. Its application areas are widely distributed in both science [8, 9] and engineering [10, 11]. One effective way for solving a stochastic optimal control problem is to derive the optimality equation, often called Hamilton–Jacobi–Bellman (HJB) equation, from which we can construct the optimal control [12, 13]. The optimality equations are solved analytically in simple problems [7, 13, 14], while they must be approximated in complex problems using numerical methods [15–17]. Management problems related to environment and ecology, especially those on population dynamics that are inherently stochastic [18], are the ones that the stochastic control theory can handle. Biological resource exploitation considering renewal dynamics [19], invasive and nuisance species management [20–22], and ecosystem and biodiversity management [23, 24] are such examples.
Management problems of population dynamics through harvesting by human have been efficiently described with the impulse control formalism [7] whose control variables are the timing and amount of harvesting. Impulse control models have been applied to various problems, such as predatorprey population management [25], fishery resources management [26], aquaculture operation [27], tree harvesting [28, 29], and waterbird management [30]. Deep mathematical analysis of the impulse control models of population dynamics and related models have been carried out [31, 32]. Other important industrial problems, such as gene regulation [33] and satellite control [34, 35], have been considered with the impulse control as well.
Models based on the impulse control have thus been attractive mathematical tools for management of population dynamics. However, to the best of the authors’ knowledge, they lack the important fact that the impacts of interventions on the population dynamics are not always realized as planned by the decisionmaker, but are often uncertain as seen in the field survey results [36]. Loosely speaking, the same effort of interventions does not always lead to the same impacts on the population dynamics. Korn [37] considered an imperfect impulse control problem of diffusion processes, and Helmes et al. [38] generalized it in an abstract manner for continuoustime Markov processes. Considering the uncertainty, namely imperfectness of interventions, is a natural policy in environmental and ecological management. However, such a mathematical approach has not been made so far. Impulse control models in other research areas [39–41] also do not handle cases where the impulsive interventions have uncertain impacts. This research background motivates us to formulate and analyze an impulse control problem of population dynamics subject to imperfectness interventions.
The objectives of this paper are formulation and analysis of an impulse control problem of population dynamics subject to imperfect interventions, focusing on its application to a recent waterbird management problem [21, 30]. Our model is based on Korn [37], but considers a specific problem where a deeper mathematical and numerical analysis are possible. In addition, our contributions include derivation of a candidate exact solution and numerical computation of the stochastic control problem. A 1D stochastic differential equation (SDE) describes the population dynamics in a habitat. The population is regulated through costly and imperfect impulsive interventions. Optimizing the interventions is achieved through minimization of a performance index considering both costs and benefits of the interventions. An application of the dynamic programming principle to the system dynamics and the performance index leads to the optimality equation as a nonlinear complementary problem called the Hamilton–Jacobi–Bellman Quasi Variational Inequality (HJBQVI) [7]. The HJBQVI has a different nonlocality from the conventional ones due to the imperfectness of the interventions. This gives rise to an optimal policy having a slightly more complicated form than the conventional ones. We give viscosity characterizations of the (HJBQVI) [42, 43] and that uniqueness and verification results hold true for the HJBQVI. A candidate exact solutions is constructed analytically, and a system of nonlinear equations governing its unknown coefficients is derived. Validity of the candidate exact solution is checked through comparison with numerical solutions generated by a steady counterpart of a formally firstorder finite difference scheme [44], and a sharper convergence estimate against our HJBQVI is obtained. Optimally controlled population dynamics is extensively analyzed as well from a statistical standpoint. Our model is relatively simple, but potentially serves as a foundation for analysis of imperfect impulse control problems. Our contribution is rather from an engineering side but contains a new application of the impulse control.
The rest of this paper is organized as follows. In Sect. 2, we present the impulse control model and derives the HJBQVI. Mathematical analysis results on the value function, HJBQVI, and the controlled dynamics are presented in Sect. 3. In Sect. 4, the HJBQVI is solved numerically by two different methods, and we see that their results agree well with each other. Sensitivity analysis of the optimal control and the controlled dynamics is carried out in this section as well. Finally, in Sect. 5, we summarize the results of this paper and present our future perspectives. Proofs of Propositions, which are a bit technical, are placed in the Appendix.
2 Mathematical model
An SDE for describing singlespecies population dynamics with imperfect impulsive harvesting is presented, and the performance index to be minimized through choosing harvesting policies is formulated. The HJBQVI of the present optimal control problem is finally derived. Our mathematical formulation is based on Korn [37], but handles a new specific problem related to ecological and environmental management.
2.1 Stochastic differential equation
The time is denoted as t. A 1D standard Brownian motion defined on a complete probability space is denoted as \(B_{t}\) at time t [7]. A 1D SDE governs an adapted càdlàg stochastic process \(( X_{t} )_{t \ge 0}\) representing the population. Let \(\tau _{i}\) (\(i = 0,1,2, \ldots , \tau _{0} = 0\)) be the time at which the intervention is performed to harvest the population. Without significant loss of generality, we assume that the sequence \(\{ \tau _{i} \} _{i = 0,1,2,\ldots}\) is increasing. The amount of population harvested at the time \(\tau _{i}\) is denoted as \(\zeta _{i}\) with \(0 < \zeta _{i} \le X_{\tau _{i} } \) (\(i \ge 1\)) and \(\zeta _{0} = 0\). The couple of sequences \(\eta = \{ \tau _{i},\zeta _{i} \} _{i = 0,1,2,\ldots}\), which is called policy, is optimized so that a performance index is minimized.
We are interested in an imperfect impulse control problem in which the harvesting is not always realized as planned by the decisionmaker, the manager of the population, but may be perturbed stochastically. Let \(Z = \{ z_{i} \} _{i = 0,1,2,\ldots}\) be a sequence of i.i.d stochastic variables valued in a compact set \(S = [ a,b ]\) with \(0 < a < b \le 1\) having the probability density function (PDF) q. \(Z = \{ z_{i} \} _{i = 0,1,2,\ldots}\) is independent from \(( B_{t} )_{t \ge 0}\). The decisionmaker can know the value of \(z_{i}\) just after the harvesting at \(\tau _{i}\).
Remark 1
The assumption \(0 < a < b \le 1\) means that overharvesting such that the population is harvested more than that planned by the decisionmaker does not occur. In this sense, the present model is more pessimistic than the conventional impulse control models with perfect interventions.
A policy η is called admissible if it complies with the following conditions, which are natural requirements to wellpose the problem (see, Definition 2.1 of Korn [37]):
The conditions of admissible policy
Here, \(\Pr [ \cdot ]\) and \(\mathrm{E} [ \cdot ]\) present the probability and expectation, respectively. The collection of all admissible policies, namely policies complying with (2) through (7), is denoted as \(\mathcal{A}\). This set depends on \(X_{0 } \), and is denoted as \(\mathcal{A}_{X_{0 }} \) when necessary. Here, \(X_{t } \) is the leftlimit of X at time t.
For each \(\eta \in \mathcal{A}\), the SDE governing \(( X_{t} )_{t \ge 0}\) is set as
subject to an initial condition \(X_{0 } = x \ge 0\), where the fluctuation term \(\sigma X_{t}\,\mathrm{d}B_{t}\) is in the Itô’s sense. Here, \(\mu > 0\) is the intrinsic growth rate and \(\sigma > 0\) is the stochastic growth rate modulating temporal fluctuation involved in the dynamics [21]. Since we are interested in controlling the population through harvesting, assume \(2\mu > \sigma ^{2}\) so that \(X_{t} \to + \infty \) a.s. as \(t \to + \infty \) if there is no intervention [21]. This condition is utilized in the statistical analysis of Sect. 3.3. Due to the global Lipschitz continuity of the coefficients of the SDE (8), it admits a unique nonnegative solution in a pathwise sense in each \(\tau _{i} \le t \le \tau _{i + 1}\) when \(\tau _{i} < \tau _{i + 1}\). In addition, the SDE (8) admits a unique nonnegative solution in a pathwise sense global in time since \(X_{\tau _{i}} = X_{\tau _{i }}  z_{i}\zeta _{i} \ge 0\). The second line of (8) means that the decisionmaker choses \(\zeta _{i}\) based on \(X_{\tau _{i }} \). Due to the uncertain perturbation \(z_{i}\) not controllable by the decisionmaker, the realized state transition at the time \(\tau _{i}\) is \(X_{\tau _{i }} \to X_{\tau _{i }}  z_{i}\zeta _{i}\). We assume that the decisionmaker knows the PDF q. He/she thus wants to decide a policy \(\eta \in \mathcal{A}\) that can minimize a performance index under the imperfectness of harvesting.
2.2 Performance index
Following the previous research of controlling population dynamics [21, 30], the performance index \(J = J ( x;\eta )\) (\(x \ge 0\), \(\eta \in \mathcal{A}_{x}\)) is the expected net cost depending on the initial condition:
with
and
where \(\delta > 0\) is the discount rate, R, r, M and m are the positive constants. In (10), \(K ( \zeta )\) is the cost of harvesting with the amount of \(\zeta > 0\), where \(k_{1}\zeta \) with \(k_{1} > 0\) is the proportional cost and \(k_{0} > 0\) is the fixed cost incurred regardless of ζ.
The performance index J in (9) consists of the two terms: the cumulative total disutility (first term, the integral) caused by the existence of the population and the total cost of harvesting the population (second term, the sum). In the first term, \( RX_{s}^{M}\) represents the ecological utility provided by the population, and \(rX_{s}^{m}\) represents the disutility caused by the population [21]. The negativity of the first term is due to measuring the cost to be positive in the present model. The sum \( RX_{s}^{M} + rX_{s}^{m}\) is unimodal and convex with respect to \(X_{s} \ge 0\), and is bounded from below by a negative constant as
The relationship (11) means that the rate of increase of the disutility caused by the population is higher than that of the utility provided by the population. The condition \(0 < M < 1\) in (11) means that the ecosystem services provided by the population [45, 46] drastically change between the states that the population exists (\(X_{s} > 0\)) and that the population does not exist (\(X_{s} = 0\)). The assumption \(m \le 2\) is to guarantee a squareintegrability of the term \(rX_{s}^{m}\) in the performance index.
As in the conventional impulse control problems, we assume that δ is sufficiently large so that J is bounded [47–49]. To guarantee this, we assume
In fact, by (13), we obtain
for arbitrary \(\eta \in \mathcal{A}\). We also have
for arbitrary \(\eta \in \mathcal{A}\) because the function \( Rx^{M} + rx^{m}\) (\(x \ge 0\)) is convex and has a minimum value.
2.3 Value function and HJBQVI
The value function \(\Phi = \Phi ( x )\) is the minimized performance index with respect to \(\eta \in \mathcal{A}\):
where \(\eta ^{*} = \{ \tau _{i}^{*},\zeta _{i}^{*} \} _{i = 0,1,2,\ldots} \in \mathcal{A}\) minimizing J is referred to as the optimal policy. This Φ is bounded from below and locally bounded from above, and is welldefined. These are because, firstly
Secondly, with the null control \(\eta = \eta _{0}\) such that \(\tau _{i} = + \infty \) (\(i \ge 1\)), which is the control with no intervention, \(( X_{t} )_{t \ge 0}\) is a classical geometric Brownian motion. Then, we get
In addition, \(\Phi ( 0 ) = 0\) because \(X_{t} = 0\) (\(t \ge 0\)) if \(x = 0\) and only the null control \(\eta _{0}\) is admissible in this case. The boundedness results of Φ are sharpened later.
We assume the following recursion inspired from the dynamic programming principle of the conventional impulse control problems [7]. Here, τ is any finite stopping time adapted to a natural filtration \(\mathcal{F}\) generated by \(( B_{t} )_{t \ge 0}\) and \(\{ z_{i} \} _{i = 1,2,3,\ldots}\):
which formally leads to the HJBQVI governing Φ:
with the degenerate elliptic operator \(\mathcal{L}\) and the nonlocal intervention operator \(\mathcal{M}\)
and
respectively, for generic regular \(W = W ( x )\). The boundary condition for the HJBQVI is \(\Phi ( 0 ) = 0\). Growth speed of (viscosity) solutions to (20) should be at most polynomial by (17) and (18).
The left part in “max” operator in the HJBQVI (20) corresponds to the situation where no intervention should be performed, while the right part corresponds to the situation where the intervention should be performed immediately. A difference between the present and conventional HJBQVIs is that the present nonlocal operator \(\mathcal{M}\) involves the effect of uncertainty induced by the uncertainties Z, while the conventional ones do not and have the nonlocal terms like \(\mathcal{M}W = \sup_{0 < \zeta \le x} [ K ( \zeta ) + W ( x  \zeta ) ]\) in which no uncertainty is considered [30, 39–41].
3 Mathematical analysis
3.1 Value function
Several key mathematical properties of the value function Φ are analyzed, from which we show that it is a viscosity solution to the HJBQVI (20). A comparison result for a modified problem that has important implications in numerical computation is also presented.
The first result concerns local boundedness of Φ as an extension of the discussion in the previous section.
Proposition 1
In addition, \(\lim_{x \to + 0}\Phi ( x ) = \Phi ( 0 ) = 0\).
The following proposition gives a key inequality characterizing the value function Φ, which is effectively utilized in a proof of viscosity property of Φ.
Proposition 2
In this paper, we assume that the value function Φ is continuous, which is true in the problems without uncertainties in the interventions [30, 50, 51]. The continuity is also justified numerically as the computational results with a finite difference scheme suggest (see, Sect. 4). The following continuity result supports the definitions of viscosity solutions to the HJBQVI (20) presented later. Actually, the candidate of exact solution, which turns out to be the value function under certain conditions, is continuous.
Proposition 3
There exists a constant \(C > 0\) such that
In addition, \(\Phi ( x )\) is continuous at \(x = 0\).
Remark 2
An obstacle to derive the other side of the inequality is the dependence of the set \(\mathcal{A}_{x}\) of admissible controls on x. Notice that this problem has not been encountered in the conventional research such as Guo and Wu [48] because their admissible sets are independent from the state variables.
3.2 HJBQVI and optimal control
3.2.1 Viscosity property
Here, we show that the HJBQVI (20) is solvable in a weak sense. The weak solutions employed in this paper are viscosity solutions [42, 43] as appropriate weak solutions to degenerate elliptic problems. We show that the value function Φ is a continuous viscosity solution to the HJBQVI (20) under certain conditions. As noted above, hereafter we assume that the value function is continuous, which is partly supported in Proposition 3.
Viscosity solutions to the HJBQVI (20) are defined as follows based on the monotonicity and continuity result of nonlocal terms in HJBQVIs (Proposition 3 of Azimzadeh et al. [42]) whose conditions are satisfied by our nonlocal operator \(\mathcal{M}\). In what follows the function space of uppersemi continuous (resp., lowersemi continuous) functions valued in a domain Ω is denoted as \(\operatorname{USC} ( \Omega )\) (resp., \(\operatorname{LSC} ( \Omega )\)). Note that the difference between a test function and a viscosity subsolution or a supersolution needs not be globally maximized or minimized because the nonlocal part is defined using super or subsolution itself (e.g., [42, Definition 1]).
Definition 1

Viscosity subsolution. A function \(\varphi \in \operatorname{USC} [ 0, + \infty ) \cap C ( 0, + \infty )\) with \(\varphi ( 0 ) \le 0\) is a viscosity subsolution to the HJVQVI (20) if the following conditions are satisfied at each \(x > 0\): for any \(\psi \in C [ 0, + \infty ) \cap C^{2} ( 0, + \infty )\) such that \(\varphi  \psi \) is locally strictly maximized at x with \(\varphi ( x )  \psi ( x ) = 0\), we have
$$ \max \bigl\{ \mathcal{L}\psi + Rx^{M}  rx^{m},\varphi  \mathcal{M}\varphi \bigr\} \le 0. $$(26) 
Viscosity supersolution. A function \(\varphi \in \operatorname{LSC} [ 0, + \infty ) \cap C ( 0, + \infty )\) with \(\varphi ( 0 ) \ge 0\) is a viscosity supersolution to the HJBQVI (20) if the following conditions are satisfied at each \(x > 0\): for any \(\psi \in C [ 0, + \infty ) \cap C^{2} ( 0, + \infty )\) such that \(\varphi  \psi \) is locally strictly minimized at x with \(\varphi ( x )  \psi ( x ) = 0\), we have
$$ \max \bigl\{ \mathcal{L}\psi + Rx^{M}  rx^{m},\varphi  \mathcal{M}\varphi \bigr\} \ge 0. $$(27) 
Viscosity solution. A function \(\varphi \in C [ 0, + \infty )\) is a viscosity solution to the HJBQVI (20) if it is a viscosity subsolution as well as a viscosity supersolution in the abovementioned sense.
The following proposition shows the viscosity property of the value function Φ and supports our approach of finding the optimal policy through solving the HJBQVI (20).
Proposition 4
The value function Φ is a viscosity solution to the HJBQVI (20).
Uniqueness of solutions to our HJBQVI is an important issue as well, from which we can guarantee unique existence of viscosity solutions under certain assumptions, and also convergence of numerical solutions generated by an appropriate discretization method. An interest, especially in numerical computation, is uniqueness of the localized HJBQVI:
with \(\Phi ( 0 ) = 0\) and a sufficiently large constant \(g > 0\) such that \(g > AX_{\max }^{m}\). Here, \(X_{\max } > 0\) is a constant to truncate the unbounded domain \([ 0, + \infty )\) as \([ 0,X_{\max } ]\). This kind of localization has been commonly used in solving degenerate elliptic problems [49, 52, 53]. Here, introducing the term \(\Phi  g\) is from a technical reason (see, Proof of Proposition 5) to guarantee uniqueness of the system and actually innocuous because of the estimate (23).
Following Definition 1, viscosity solutions to the localized HJBQVI are defined as follows: A difference between Definitions 1 and 2 is the boundary condition at the rightend. (See, (31) and (33). They are absent in Definition 1.)
Definition 2

Viscosity subsolution. A function \(\varphi \in \operatorname{USC} [ 0,X_{\max } ] \cap C ( 0,X_{\max } ]\) with \(\varphi ( 0 ) \le 0\) is a viscosity subsolution to the localized HJVQVI (28)–(29) if the following conditions are satisfied at each \(x > 0\): for any \(\psi \in C^{2} [ 0,X_{\max } ]\) such that \(\varphi  \psi \) is locally strictly maximized at x with \(\varphi ( x )  \psi ( x ) = 0\), we have
$$\begin{aligned}& \max \bigl\{ \mathcal{L}\psi + Rx^{M}  rx^{m},\varphi  \mathcal{M}\varphi \bigr\} \le 0,\quad 0 < x < X_{\max },\ \end{aligned}$$(30)$$\begin{aligned}& \max \{ \varphi  g,\varphi  \mathcal{M}\varphi \} \le 0,\quad x = X_{\max }. \end{aligned}$$(31) 
Viscosity supersolution. A function \(\varphi \in \operatorname{LSC} [ 0,X_{\max } ] \cap C ( 0,X_{\max } ]\) with \(\varphi ( 0 ) \ge 0\) is a viscosity supersolution to the localized HJBQVI (28)–(29) if the following conditions are satisfied at each \(x > 0\): for any \(\psi \in C^{2} [ 0,X_{\max } ]\) such that \(\varphi  \psi \) is locally strictly minimized at x with \(\varphi ( x )  \psi ( x ) = 0\), we have
$$\begin{aligned}& \max \bigl\{ \mathcal{L}\psi + Rx^{M}  rx^{m},\varphi  \mathcal{M}\varphi \bigr\} \ge 0,\quad 0 < x < X_{\max }, \end{aligned}$$(32)$$\begin{aligned}& \max \{ \varphi  g,\varphi  \mathcal{M}\varphi \} \ge 0,\quad x = X_{\max }. \end{aligned}$$(33) 
Viscosity solution. A function \(\varphi \in C [ 0,X_{\max } ]\) is a viscosity solution to the localized HJBQVI (28)–(29) if it is a viscosity subsolution as well as a viscosity supersolution.
Now, we prove uniqueness of viscosity solutions to the localized HJBQVI (28)–(29) through a comparison argument.
Proposition 5
For the localized HJBQVI (28)–(29), any viscosity subsolution u and any viscosity supersolution v satisfy \(u \le v\) in \([ 0,X_{\max } ]\). In particular, it admits at most one viscosity solution in the sense of Definition 2.
Remark 3
The value function is the unique viscosity solution to the localized HJBQVI (28)–(29) if \(\Phi  \mathcal{M}\Phi = 0\) and \(\mathcal{L}\Phi + Rx^{M}  rx^{m} < 0\) for sufficiently large \(x > 0\). In fact, if this holds true, then we can choose a sufficiently large \(X_{\max } \) such that \(\Phi  \mathcal{M}\Phi = 0\) for \(x > X_{\max } \).
3.2.2 Verification
In this subsection, we present a candidate exact solution to the HJBQVI (20). From a management viewpoint [21, 30], we conjecture the following with some \(\bar{x} > 0\):
and
The point \(x = \bar{x}\) is a free boundary. The conditions (34) and (35) imply that the optimal policy is of the following form, which is of course admissible, and is referred to as QVIcontrol [37, 54]:
From (36) through (38),we infer that the following thresholdtype policy with the threshold values x̄ and \(\underline{x}\) (\(\bar{x} > \underline{x}\)) is optimal for \(t \ge 0\) (see, Korn [37]):

(A)
\(X_{t } < \bar{x}\), then no intervention is performed.

(B)
If \(X_{t } \ge \bar{x}\), then the intervention with the magnitude of \(\zeta = \bar{x}  \underline{x} ( \bar{x} )\) is immediately performed (and then \(X_{t } \) is actually reduced to \(X_{t} = \bar{x}  ( \bar{x}  \underline{x} ( X_{t } ) )z\), where z is uncertain for the decisionmaker). Notice that we may have \(X_{t} \ge \bar{x}\). Then, repeat the first sentence of (B) until we get \(X_{t} < \bar{x}\).
Notice that multiple interventions are allowed at the same time [37]. This is due to the model simplification that assumes the time scale of interventions is much smaller than that of the population dynamics. Here, \(\bar{x} > 0\) is a constant while \(\underline{x} ( x )\) is a function of \(x > 0\) and is assumed to be \(0 < \underline{x} ( x ) < \bar{x}\) (\(x \ge \bar{x}\)). With the two thresholds x̄ and \(\underline{x} ( x )\), the optimal amount of the intervention \(\zeta ^{ *} \) becomes
Figure 1 presents an image of sample paths by the abovepresented thresholdtype policy. The function \(\underline{x} ( \cdot )\) is the population just after the harvesting. It is related to equation (38) in the way that \(\zeta = \bar{x}  \underline{x} ( x )\) is its maximizer given \(x \ge 0\) under the conjectures (A)–(B). An example of \(\underline{x} ( \cdot )\) is plotted in Fig. 2 of Sect. 4.2.
Note that the conventional 1D impulse control problems in an infinite horizon assume constant thresholds [44, 50, 54–56], namely x̄ and \(\underline{x} ( x )\) are positive constants, while in ours the latter is not a constant. If both the thresholds are constant, then (39) becomes a policy with a constant \(\underline{x}\):
However, later we imply that this is not always true in our model, through an exploration of exact solutions. This difference between the conventional and our models is due to the form of the nonlocal term in the HJBQVI (20). In fact, the previous model without the uncertainty [30, 50, 51] admits a constant \(\underline{x}\). We also demonstrate through numerical experiments that the threshold \(\underline{x}\) depends on x in the present model.
The final proposition concerns optimality of the exact solution.
Proposition 6
Let ϕ be a viscosity solution to the HJBQVI (20) and S be a finite subset in \(( 0, + \infty )\). Assume that ϕ satisfies the upper and lowerbounds (23) and is twice continuously differentiable except at each point of S. Assume that there is \(\bar{x} > 0\) such that
and
For each given \(x \ge 0\), policy \(\eta \in \mathcal{A}\), and stopping time τ, suppose that \(\phi ( X_{\tau } )\) is uniformly integrable and satisfies the bound (23). Then, we have
In addition, if the QVIcontrol is admissible, then
3.2.3 Candidate of exact solutions
We try to construct a viscosity solution potentially complying with (34) and (35). Set
Let Φ̄ be a candidate of viscosity solutions. Firstly, we consider the case \(x < \bar{x}\), under which no intervention should be performed. General solutions to
are represented as
with
and constants \(c_{1}\) and \(c_{2}\). If \(c_{2} \ne 0\), then \(\lim_{x \to + 0}c_{2}x^{\beta _{ }} = \pm \infty \) since \(\beta _{ } < 0\). Hereafter, we write \(\beta = \beta _{ +} \). This contradicts with Proposition 1. Therefore, \(c_{2} = 0\) and thus
where the notations \(c_{1} = c\) is used and \(\bar{\Phi } ( 0 ) = 0\).
Remark 4
By Proposition 1, we should have \(c \le 0\).
For \(x \ge \bar{x}\) where the intervention must be performed immediately, we should have
whose righthand side is determined based on the information in \([ 0,x ]\). Therefore, theoretically, Φ̄ for \(x \ge \bar{x}\) can be constructed from the left toward the right by the equation (50) once we get \(\bar{\Phi } ( \bar{x} )\).
We found that the equation (50) is not analytically solvable because of its nonlinearity and nonlocality. Nevertheless, assuming that the population is not large at some time t, as demonstrated below, it is sufficient to solve the HJBQVI (20) for \(x \le \bar{x}\) considering \(x = \bar{x}\) as a free boundary:

(a)
Continuity of \(\bar{\Phi } ( x )\) at \(x = \bar{x}\) (Value matching condition).

(b)
Continuity of \(\frac{\mathrm{d}\bar{\Phi }}{\mathrm{d}x} ( x )\) at \(x = \bar{x}\) (Smooth pasting condition).

(c)
Optimality of the thresholds x̄ and \(\underline{x} ( \bar{x} )\) (Optimality condition).
From the standpoint of the optimal policy constructed above, it is sufficient to have the point value \(\zeta ^{ *} ( \bar{x} )\) but not whole \(\zeta ^{ *} ( x ) ( x \ge \bar{x} )\) when the initial population x is not so large. This is because of the rules (A)–(B) of the optimal policy with which the process \(( X_{t} )_{t \ge 0}\) is eventually confined in \([ 0,\bar{x} ]\). We thus only have to determine the three constants \(\zeta ^{ *} ( \bar{x} )\), x̄, and c. For the sake of simplicity of presentations, write \(\bar{\zeta } = \zeta ^{ *} ( \bar{x} )\). We assume that \(\zeta ^{ *} \) is sufficiently smooth.
Now, we derive three equations to find the three unknowns ζ̄, x̄, and c. Assume \(x \ge \bar{x}\). By the Value matching condition (a), we get
The optimality condition then gives the implicit governing equation of \(\zeta = \zeta ^{*}\), if it is an interior minimizer, as
Namely, we have
The Smooth pasting condition (b) gives
Combining (53) and (54) leads to
Now, substituting \(x = \bar{x}\) into (51), (53), and (55) with the Optimality condition (c) gives the system of three nonlinear equations to find the three unknowns ζ̄, x̄, and c:
and
where
Remark 5
We can expect an asymptotic relationship \(\Phi ( x ) \sim dk_{1}x\) with a constant \(d > 0\) for x sufficiently large. In fact, substituting \(\Phi ( x ) = dk_{1}x\) into (53) leads to
namely
This is consistent with \(\Phi ( x ) = \mathcal{M}\Phi ( x )\) for x sufficiently large because of
by (61). From a practical viewpoint, (61) means that the increasing rate d with respect to the population x is not smaller than \(k_{1}\) because of the uncertainty of the intervention impacts. We get \(d = 1\) if and only if the interventions are perfect (\(a = b = 1\) and q is a Dirac’s delta concentrated at \(z = 1\)). Therefore, the theoretical result implies that imperfect interventions are always less efficient than the perfect ones, and the efficiency can be measured by d. The modulation of the increasing rate is the inverse of the mean value of the uncertainty Z by (61). The coefficient d is determined by the moment of q. The result presented above is consistent with our intuition that the intervention is n (>1) times less efficient if its impact is expected to be n times smaller than that without the uncertainty.
3.2.4 Empirical numerical approach
The nonlinear equations (56) through (58) seem to be not analytically solvable and their numerical approximation in general may not be an easy task. We consider a simplified case where we can, at least empirically, find the unknowns ζ̄, x̄, and c. A similar numerical approach has been successfully applied to finding the coefficients in the exact solution to an HJBQVI associated with a problem with a perfect intervention [51].
We consider the uniform distribution \(q ( z ) = \frac{1}{b  a}\) (\(a \le z \le b\)). In this case, by a straightforward calculation, we get
and
Then, (57) and (58) are rewritten as
and
respectively. The three unknowns are explored through the following empiricallyderived system containing the two ODEs and a nonlinear equation whose equilibrium satisfy (56), (65), and (66):
where \(\gamma > 0\) is a constant and the coefficient \(\bar{x}^{\gamma } \) in the righthand side of (67) is chosen for the sake of empirical computational stability of the discretized system. Here, \(\rho \ge 0\) is an auxiliary time variable to parameterize ζ̄, x̄, and c, and the ODEs (67) and (68) are integrated with respect to \(\rho > 0\) with (69) starting from an initial guesses \(( \bar{x},\bar{\zeta },c )_{\tau = 0}\). This is carried out in a standard forward Euler manner. Set the small increment \(\Delta \rho > 0\) of ρ and a variable at \(\rho = k\Delta \rho \) (\(k = 0,1,2,\ldots \)) is denoted with the subscript \(( k )\). For \(k \ge 0\), we discretize (67) through (69) as
where \(\Phi _{0, ( k )}\) is \(\Phi _{0}\) with \(c = c_{ ( k )}\). From a stability viewpoint of discretized ODEs [57], we expect that the discretized system (70)–(72) can be solved numerically with a small \(\Delta \rho > 0\).
Remark 6
We observed that convergence of solutions to (70)–(72) depends on the initial guess, implying its sensitivity against the initial guess. At the current stage, we have neither unique solvability nor stability results on the continuous system (67)–(69) and discretized system (70)–(72). Therefore, we utilize the ODEbased method as a tool to validate the finite difference scheme because the latter is more computationally stable for our problem.
Remark 7
Construction of the system is based on an empirical approach. Yaegashi et al. [51] addressed this issue for an impulse control problem with perfect interventions. Fortunately, their ODEbased method can compute the unknown coefficients as a locally asymptotically stable equilibrium point of a system. However, such a result has not been found in the present case.
3.3 Statistics of controlled state dynamics
From a practical point of view, analyzing statistics of the optimallycontrolled population dynamics is as important as finding the optimal intervention policy. Under the conjectured optimal policy in the previous subsections, we can focus on the dynamics in the interval \([ 0,\bar{x} ]\). The thresholdtype optimal control established in the previous section is assumed in what follows.
Firstly, we derive the statistical moments of the intervals \(\tau _{i + 1}  \tau _{i}\) between each successive intervention. This is a stochastic variable of interest in applications, because the frequency of interventions crucially affects costeffectiveness of the population management. The present problem is a stochastic optimal control of a timehomogenous process in an infinite horizon, and thus the statistical properties of the optimally controlled dynamics can be studied through stationary distributions.
The first hitting time \(\tau _{x}\) of the process \(( X_{t} )_{t \ge 0}\) (\(t > 0\)) with \(X_{0 } = x \in ( 0,\bar{x} ]\) is defined as
The Laplace’s transformation method (Appendix of Chap. 9, Dixit et al. [58]) gives the following exponential formula because our underlying process is a geometric Brownian motion:
with
for each \(\theta > 0\), where \(\mathrm{E}^{x}\) is the conditional expectation on \(X_{0 } = x\). The formula of the probabilistically distributed x follows directly from (74) as
where \(\tau _{x}\) is rewritten as τ, which is now the first hitting time to the threshold x̄ just after an intervention whose exertion time is 0. We have
and thus
and
The equation (79) gives the formula for the mean \(\mathrm{E} [ \tau ]\), and the formula for the variance \(\mathrm{E} [ \tau ^{2} ]  ( \mathrm{E} [ \tau ] )^{2}\) immediately follows from (79) and (80). The standard deviation is then obtained as \(\mathrm{Std} [ \tau ] = \sqrt{\mathrm{E} [ \tau ^{2} ]  ( \mathrm{E} [ \tau ] )^{2}}\). The integrals appearing in (79) and (80) are calculated exactly or evaluated numerically depending on the PDF q. Higher order moments of τ can also be computed based on (76) if necessary.
Another statistical index of interest is the mean harvested amount per unit time [21], which is denoted as H. This quantity can be simply estimated as
where the numerator of the righthand side is the mean unittime harvesting. Validity of this formula is examined in the next section with a MonteCarlo method.
4 Numerical computation
The HJBQVI (20) is computed with the two different numerical methods, which is the ODEbased method using (70) through (72) and a verified finite difference scheme having a formally firstorder accuracy [44]. In addition, the statistical indices of the controlled state dynamics are calculated.
4.1 Parameter setting
A target species of the model application is the great cormorant Phalacrocorax carbo, which is one of the most widespread waterfowls found over the world whose population management has been serious ecological issues because of their excessively high predation to fishery resources [21, 59, 60]. They have indirect environmental impacts through modulating nutrient cycles around their habitat [61] through complex mechanisms. Nevertheless, exterminating the bird is not be the optimal solution because they are not alien species in many cases. Their population dynamics would present seasonal characteristics; however, from a practical modeling viewpoint, the dynamics can be effectively considered to be timehomogenous with the deterministic and stochastic growth as modelled in the SDE (8). Human interventions to suppress their population has been carried out in many ways, and the most popular one is gunshooting [21, 36].
In this paper, the nominal model parameter values are specified as follows. For the population dynamics, we set \(\mu = 0.50\) (1/year) and \(\sigma = 0.50\) (1/year\(^{1/2}\)), considering the parameter estimation result in Japan [21] where \(\mu = O ( 10^{  1} )\) (1/year), \(\sigma = O ( 10^{  1} )\) (1/year\(^{1/2}\)), and \(2\mu > \sigma ^{2}\). The other parameters are specified as follows: \(\delta = 2\) (1/year), \(m = 2\), \(M = 0.5\), \(r = 0.005\), \(R = 10\), \(k_{0} = 0.05\) (1/year), \(k_{1} = 0.15\) (1/year), \(a = 0.2\) and \(b = 1\). The uniform distribution \(q ( z ) = \frac{1}{b  a}\) (\(a \le z \le b\)) is assumed. The specified range \([ a,b ]\) is reasonably consistent with the survey result that the total number of harvested bird population at one harvesting event had different orders (\(O ( 10^{0} )\) to \(O ( 10^{2} )\)) among hunters [36].
The computational domain for the finite difference scheme is \([ 0,X_{\max } ]\) with \(X_{\max } = 100\), which is discretized into 1000 cells and 1001 nodes. The threshold \(X_{\max } \) is determined so that \(X_{\max } > \bar{x}\) in what follows based on preliminary numerical experiments. These parameter values and the computational resolution are used unless otherwise specified.
4.2 Value function and optimal policy
The HJBQVI (20) is discretized with the finite difference scheme [44] that has been found to be monotone, stable, consistent, and thus convergent in the viscosity sense under the strong comparison principle [62]. Proposition 5 supports applicability of the present scheme to discretization of the HJBQVI (20) in the truncated domain, the localized HJBQVI (28)–(29). Through comparing the computational results between the ODEbased method and the finite difference scheme, we examine validity of the functional form of the exact solution to the HJBQVI (20) conjectured in the previous section. Notice that the two numerical methods are based on fundamentally different concepts; the ODEbased method relies on the conjecture of the solution shape and the matching conditions at \(x = \bar{x}\), while the finite difference scheme on a direct discretization of the localized HJBQVI (28)–(29). The scheme does not a priori use functional shapes of solutions in the computational domain. In the scheme, x̄ is detected between midpoints of each successive cells.
Table 1 shows a summary of comparison results between the numerical solution with the ODEbased method (\(\Delta \rho = 0.00005\)) and those with the finite difference scheme against different computational resolution. The auxiliary temporal integration is terminated when the absolute difference of the computed a, x̄, ξ̄ between each successive steps become smaller than 10^{−13}. The ODEbased method computes \(\bar{x} = 59.392\), \(\bar{\xi } = 19.262\), and \(c =  0.0001307\), which are consistent with the assumptions \(\bar{x} > \bar{\xi } \) and \(c < 0\). Here, the value function computed with the ODEbased method is referred to as the numerical value function for the sake of brevity. In the table, the error (Er) between the numerical value function and each numerical solution computed with the finite difference scheme is the maximum error observed at vertices in \(0 < x < \bar{x}\). The maximum error in each numerical solution was observed near \(x = 0\) at which the value function is not differentiable in the classical sense because of the term \(Bx^{M}\). Table 1 demonstrates that the numerical solutions with the finite difference scheme converge toward the numerical value function as the computational resolution increases. Convergence of x̄ and ξ̄ is not monotone, but it seems that the results between the two methods become closer as the resolution of the finite difference scheme becomes fine.
Figure 2 presents the numerical value function (\(0 \le x \le \bar{x}\)) and the numerical solution to the finite difference scheme with 1000 cells (\(0 \le x \le X_{\max } \)). They agree well with each other as observed in the figure. Furthermore, the numerical solution does not contain spurious oscillations, demonstrating its satisfactory ability to handle the nonlinear and nonlocal problem. The computed solution shape is consistent with that assumed in Proposition 6. The lowerthreshold \(\underline{x} = \underline{x} ( x )\) (\(\bar{x} \le x \le X_{\max } \)), which equals \(\bar{x}  \xi ^{*} ( x )\), is also plotted in Fig. 2, showing that \(\underline{x} ( x )\) clearly depends on the population x as suggested in Sect. 3 where a difference between the intervention operators of the conventional and present model has been notified. Figure 3 shows that the convergence of the numerical solutions toward the value function is close to \(O ( h^{1/2} )\), where h represents the cell size. In fact, the leastsquares bestfitted curve is \(\mathrm{Er} = 0.0126 \times h^{0.497}\). This convergence speed agrees with that of the other monotone numerical schemes for HJBQVIs in impulse and related control problems [62, 63]. Furthermore, we examine validity of Remark 5. We get \(\frac{\mathrm{d}\Phi }{\mathrm{d}x} = dk_{1} = 0.250\) theoretically, while the finite difference approximation leads to \(\frac{ \Phi _{x = X_{\max }}  \Phi _{x = 0.999X_{\max }}}{0.001X_{\max }} = 0.251\), demonstrating an agreement between the theoretical and numerical results. In summary, the results with both numerical methods are in good agreement with each other. They agree well with the theoretical results as well. In what follows, parameter dependence of the optimal policy with the finite difference scheme is analyzed.
Table 2 presents the parameter dependence of the thresholds x̄, \(\underline{x} = \underline{x} ( \bar{x} )\), and the amount of harvesting \(\bar{\xi } = \bar{x}  \underline{x}\). Figures 4 through 12 graphically present the parameter dependence of x̄, \(\underline{x} = \underline{x} ( \bar{x} )\), and ξ̄ on the parameters μ, σ, δ, r, R, \(k_{0}\), \(k_{1}\), a, and b, respectively. The computational results in Table 2 and Figs. 4 through 12 demonstrate monotone dependence of x̄, \(\underline{x}\), and ξ̄ on the model parameters. The computational results suggest that increasing the stochasticity σ or the deterministic growth rate μ leads to a larger threshold values that potentially result in managing the dynamics with higher population. The increasing/decreasing nature of ξ̄ with respect to these parameters are contrasting, but Figs. 4 and 5 imply relatively smaller changes of ξ̄ compared with the two threshold values. The dependence of the optimal policy on the discount rate δ and the parameters R and r for the utility and disutility shows that the decisionmaker with a longerterm perspective maintains the population at a higher level. In addition, the decisionmaker who evaluates the utility (resp., disutility) larger (resp., smaller) seems to choose larger (smaller) thresholds and leads to larger (smaller) population. The parameter dependence on the fixed \(k_{0}\) and proportional costs \(k_{1}\) are qualitatively the same for the upper threshold x̄ and the harvesting amount ξ̄, suggesting that incurring a higher cost result in less frequent but more drastic harvesting. This is due to that executing small harvesting several times are rather costly than choosing a more drastic harvesting. The dependence between \(k_{0}\) and \(k_{1}\) is different for the lower threshold as suggested in Table 2, implying that incurring a higher fixed cost results in choosing a smaller \(\underline{x}\). On the other hand, incurring a higher proportional cost results in choosing a larger \(\underline{x}\). This difference can be explained by the different nature of the two costs. Increasing the fixed cost induces less frequent interventions because this cost is the same at each intervention, while higher proportional cost induces smaller amount of harvesting because this cost is positively proportional to the harvested amount of the population. These results are consistent with the model without uncertainty [44], demonstrating a qualitative linkage between the present and previous models.
Finally, Figs. 11 and 12 on the parameters a and b suggest that increasing the lowerbound (resp., upperbound) of uncertainties through increasing a (resp., b) lowers the thresholds x̄ and \(\underline{x}\), and further the amount of harvesting ξ̄. This is due to that the harvested amount is the multiplicative form zξ̄, meaning that a larger ξ̄ is necessary to efficiently suppress the population with a possibly smaller z. A practical implication of this observation is that increasing the mean \(\frac{a + b}{2}\) would be a key to effectively suppress the population at a lower level with smaller harvesting effort. Collecting empirical relationship between the harvesting effort and the realized impacts of the interventions can potentially make the range \([ a,b ]\) of the uncertainties smaller or its means larger, so that the decisionmaker can better manage and predict the controlled population dynamics. However, in practice, such an effort may require costly additional field surveys, like performance tests of the interventions [64] and behavioral analysis of the bird in the habitat [65]. Our computational results suggest that such preliminary surveys should be carried out if they are evaluated as less costly than taking interventions under the uncertainties. If it is not the case, a cost term on a preliminary field survey must be incorporated into the performance index, leading to an advanced optimization problem. Importance of reducing and evaluating the uncertainties has also been suggested in a research with empirical models [66]. Our computational results support their suggestion.
4.3 Statistical indices
Here, we focus on parameter dependence of statistical indices on the controlled state dynamics. Before the analysis, we check their validity through a comparison with a numerical result by a standard MonteCarlo combined with the classical Euler–Maruyama discretization of the optimallycontrolled SDE. For the nominal parameter values, the formulae (79), (80), and (81) lead to \(\mathrm{E} [ \tau ] = 0.5887\), \(\mathrm{Std} [ \tau ] = 1.0530\), and \(H = 19.63\). On the other hand, the numerical counterparts with the MonteCarlo method (10^{9} sample points, the time increment 0.00001) are \(\mathrm{E} [ \tau ] = 0.5898\), \(\mathrm{Std} [ \tau ] = 1.0422\), and \(H = 19.47\). The obtained results demonstrate a reasonable agreement between the theoretical and numerical results and suggest validity of these analytical formulae.
The parameter dependence of the optimallycontrolled dynamics on the other parameters are summarized in Table 3, suggesting monotone dependence of the statistical indices of the dynamics on the parameters. Especially the dependence of \(\mathrm{E} [ \tau ]\) and \(\mathrm{Std} [ \tau ]\) on each parameter is qualitatively the same, suggesting that increase or decrease of the mean and standard deviation is coherent under the optimal policy.
The quantitative analysis in what follows puts a focus on parameter dependence of the optimallycontrolled dynamics on the ecological parameters μ and σ. Figures 13 and 14 show the computed \(\mathrm{E} [ \tau ]\), \(\mathrm{Std} [ \tau ]\), and H for different values of μ and σ, respectively. The results imply a critical importance of identifying the model parameters especially when μ is relatively small and/or σ is relatively large. Because of the monotone and convex dependence as plotted in Figs. 13 and 14. Such a situation is in practice encountered when the population dynamics is highly stochastic where the ratio \(\mu \sigma ^{  2}\) is large. The standard deviation \(\mathrm{Std} [ \tau ]\) is more affected by the parameter values than the mean \(\mathrm{E} [ \tau ]\), implying that the optimal timing of the harvesting timing may be highly variable when the deterministic growth rate is small.
Statistical analysis focusing on the uncertainty of the interventions is also carried out by examining parameter dependence of the statistical indices on a and b. Figures 15 and 16 demonstrate that reducing the potential uncertainties of interventions through increasing of a or decreasing b can effectively reduce both the mean and standard deviation of the harvesting frequency, and further the unittime harvesting H. This observation combined with Figs. 11 and 12 on the parameter dependence of the management thresholds leads to a key implication that reducing the range and/or mean of the uncertainties is indispensable for costeffective and less frequent interventions to suppress the population. This observation found through the present model emphasizes crucial importance of accurately estimating the intervention impacts in environmental and ecological management.
5 Conclusions
An impulse control model of a 1D diffusion process with imperfect interventions was formulated, and the associated HJBQVI was presented with its solvability and verification results. A candidate exact solution to the HJBQVI was found and a system of nonlinear equations to determine its coefficients was derived. The system was solved numerically and the coefficients were found successfully. In addition, the (localized) HJBQVI was discretized with a finite difference scheme, demonstrating that the solutions generated by the determined coefficients and that by the scheme agreed well. Application of the scheme to the HJBQVI revealed both qualitative and quantitative parameter dependence of the optimal policy and the controlled dynamics extensively. The parameter dependence was found to be monotone for the ranges of the examined parameter values. Statistical analysis on the controlled dynamics demonstrated importance of accurately identifying the ecological parameters involved in the SDE.
Our model was possibly the simplest one, and can be extended to generalized models. Population dynamics may be subject to nonlinear [67, 68] and jump disturbances [69, 70]. A more general form of uncertainty in the interventions can be considered. In practical problems, different types of imperfectness would be encountered. An example is the model uncertainty in the state dynamics itself, which has conventionally been discussed in the framework of the differential game between the decisionmaker and nature [71, 72]. The modern poorly known dynamics approach can also harmonize with the present framework [73]. The filtering problem as an identification through doing problem would be encountered if the system dynamics has a parameter whose value is not known a priori [74, 75]. It is not always possible to obtain a continuous information flow of the system dynamics but discrete and costly observations may be possible [76, 77]. Delayed execution of control policy is also an important element in realistic problems [78]. The present model is a building block for approaching these advanced issues. Models based on singularlike controls [79] can also be considered in the context of the intervention uncertainty discussed in this paper.
Availability of data and materials
The data are available upon reasonable request to the authors.
References
Adame MF, Hermoso V, Perhans K, Lovelock CE, HerreraSilveira JA. Selecting costeffective areas for restoration of ecosystem services. Conserv Biol. 2015;29:493–502. https://doi.org/10.1111/cobi.12391.
Carolus JF, Hanley N, Olsen SB, Pedersen SM. A bottomup approach to environmental costbenefit analysis. Ecol Econ. 2018;152:282–95. https://doi.org/10.1016/j.ecolecon.2018.06.009.
EpanchinNiell RS, Hastings A. Controlling established invaders: integrating economics and spread dynamics to determine optimal management. Ecol Lett. 2010;13:528–41. https://doi.org/10.1111/j.14610248.2010.01440.x.
Iwasa Y, Uchida T, Yokomizo H. Nonlinear behavior of the socioeconomic dynamics for lake eutrophication control. Ecol Econ. 2017;63:219–29. https://doi.org/10.1016/j.ecolecon.2006.11.003.
Foucart R, Garsous G. Climate change mitigation with technology spillovers. Environ Resour Econ. 2018;71:507–27. https://doi.org/10.1007/s1064001701703.
Smith GC, Parrott D, Robertson PA. Managing wildlife populations with uncertainty: cormorants Phalacrocorax carbo. J Appl Ecol. 2008;45:1675–82. https://doi.org/10.1111/j.13652664.2008.01380.x.
Øksendal B, Sulem A. Applied stochastic control of jump diffusions. Cham: Springer; 2019.
Kappen HJ. Linear theory for control of nonlinear stochastic systems. Phys Rev Lett. 2005;95:200201. https://doi.org/10.1103/PhysRevLett.95.200201.
Ullmo D, Swiecicki I, Gobron T. Quadratic mean field games. Phys Rep. 2019;799:1–35. https://doi.org/10.1016/j.physrep.2019.01.001.
Ivanov D, Dolgui A, Sokolov B. Applicability of optimal control theory to adaptive supply chain planning and scheduling. Annu Rev Control. 2012;36:73–84. https://doi.org/10.1016/j.arcontrol.2012.03.006.
Zavala VM. Stochastic optimal control model for natural gas networks. Comput Chem Eng. 2014;64:103–13. https://doi.org/10.1016/j.compchemeng.2014.02.002.
Fleming WH, Soner HM. Controlled Markov processes and viscosity solutions. New York: Springer; 2016.
Pham H. Continuoustime stochastic control and optimization with financial applications. Berlin: Springer; 2009.
Ferrari G, Koch T. On a strategic model of pollution control. Ann Oper Res. 2019;275:297–319. https://doi.org/10.1007/s1047901829357.
Forsyth PA, Vetzal KR. Numerical methods for nonlinear PDEs in finance. In: Handbook of computational finance. vol. 503. Berlin: Springer; 2012. p. 503–28. https://doi.org/10.1007/9783642172540_18.
Neilan M, Salgado AJ, Zhang W. Numerical analysis of strongly nonlinear PDEs. Acta Numer. 2017;26:137–303. https://doi.org/10.1017/S0962492917000071.
Oberman AM. Convergent difference schemes for degenerate elliptic and parabolic equations: Hamilton–Jacobi equations and free boundary problems. SIAM J Numer Anal. 2016;44:879–95. https://doi.org/10.1137/S0036142903435235.
Lande R, Engen S, Saether BE. Stochastic population dynamics in ecology and conservation. Oxford: Oxford University Press on Demand; 2003.
Kharroubi I, Lim T, Vath VL. Optimal exploitation of a resource with stochastic population dynamics and delayed renewal. J Math Anal Appl. 2019. https://doi.org/10.1016/j.jmaa.2019.04.052.
Marten AL, Moore CC. An options based bioeconomic model for biological and chemical control of invasive species. Ecol Econ. 2011;70:2050–61. https://doi.org/10.1016/j.ecolecon.2011.05.022.
Yaegashi Y, Yoshioka H, Unami K, Fujihara M. A singular stochastic control model for sustainable population management of the fisheating waterfowl Phalacrocorax carbo. J Environ Manag. 2018;219:18–27. https://doi.org/10.1016/j.jenvman.2018.04.099.
Yoshioka H, Yaegashi Y. Robust stochastic control modeling of dam discharge to suppress overgrowth of downstream harmful algae. Appl Stoch Models Bus. 2018;34:338–54. https://doi.org/10.1002/asmb.2301.
Boettiger C, Bode M, Sanchirico JN, LaRiviere J, Hastings A, Armsworth PR. Optimal management of a stochastically varying population when policy adjustment is costly. Ecol Appl. 2016;26:808–17. https://doi.org/10.1890/150236.
Dee LE, De Lara M, Costello C, Gaines SD. To what extent can ecosystem services motivate protecting biodiversity? Ecol Lett. 2017;20:935–46. https://doi.org/10.1111/ele.12790.
Zou X, Wang K. Optimal harvesting for a stochastic Lotka–Volterra predator–prey system with jumps and nonselective harvesting hypothesis. Optim Control Appl Methods. 2016;37(4):641–62.
Chu L, Kompas T, Grafton Q. Impulse controls and uncertainty in economics: method and application. Environ Model Softw. 2015;65:50–7. https://doi.org/10.1016/j.envsoft.2014.11.027.
Yu R, Leung P. Optimal partial harvesting schedule for aquaculture operations. Mar Resour Econ. 2006;21:301–15. https://doi.org/10.1086/mre.21.3.42629513.
Chen S, Insley M. Regime switching in stochastic models of commodity prices: an application to an optimal tree harvesting problem. J Econ Dyn Control. 2018;36:201–19. https://doi.org/10.1016/j.jedc.2011.08.010.
Helmes KL, Stockbridge RH. Thinning and harvesting in stochastic forest models. J Econ Dyn Control. 2011;35:25–39. https://doi.org/10.1016/j.jedc.2010.10.007.
Yaegashi Y, Yoshioka H, Unami K, Fujihara M. Impulse and singular stochastic control approaches for management of fisheating bird population. In: New trends in emerging complex real life problems. Cham: Springer; 2019. p. 493–500. https://doi.org/10.1007/9783030004736_52.
Christensen S. On the solution of general impulse control problems using superharmonic functions. Stoch Process Appl. 2014;124:709–29. https://doi.org/10.1016/j.spa.2013.09.008.
Hu G, Tian K. On hybrid stochastic population models with impulsive perturbations. J Biol Dyn. 2019;13(1):385–406. https://doi.org/10.1080/17513758.2019.1609607.
Leander R, Lenhart S, Protopopescu V. Optimal control of continuous systems with impulse controls. Optim Control Appl Methods. 2015;36:535–49. https://doi.org/10.1002/oca.2128.
Li J. Analytical fueloptimal impulsive reconfiguration of formationflying satellites. Optim Control Appl Methods. 2017;38:720–43. https://doi.org/10.1002/oca.2286.
Li J. Analytical fueloptimal impulsive reconfiguration of formationflying satellites: a revisit and new results. Optim Control Appl Methods. 2018;39:1243–61. https://doi.org/10.1002/oca.2408.
Bregnballe T, Hyldgaard AM, Clausen KK, Carss DN. What does three years of hunting great cormorants, Phalacrocorax carbo, tell us? Shooting autumnstaging birds as a means of reducing numbers locally. Pest Manag Sci. 2015;71:173–9. https://doi.org/10.1002/ps.3782.
Korn R. Optimal impulse control when control actions have random consequences. Math Oper Res. 1997;22(3):639–67. https://doi.org/10.1287/moor.22.3.639.
Helmes KL, Stockbridge RH, Zhu C. On the modelling of uncertain impulse control for continuous Markov processes. arXiv preprint. arXiv:1908.08357 (2019).
Bertola G, Runggaldier WJ, Yasuda K. On classical and restricted impulse stochastic control for the exchange rate. Appl Math Optim. 2016;74:423–54. https://doi.org/10.1007/s0024501593206.
ElGhandour L, Johnson TC. A methodology to assess the economic impact of power storage technologies. Philos Trans R Soc Lond A. 2017;375:20160303. https://doi.org/10.1098/rsta.2016.0303.
Liu J, Yiu KFC, Bensoussan A. Ergodic control for a mean reverting inventory model. J Ind Manag Optim. 2018;14:857–76. https://doi.org/10.3934/jimo.2017079.
Azimzadeh P, Bayraktar E, Labahn G. Convergence of implicit schemes for Hamilton–Jacobi–Bellman quasivariational inequalities. SIAM J Control Optim. 2018;56:3994–4016. https://doi.org/10.1137/18M1171965.
Crandall MG, Ishii H, Lions PL. User’s guide to viscosity solutions of second order partial differential equations. Bull Am Math Soc. 1992;27:1–67. https://doi.org/10.1090/S027309791992002665.
Yaegashi Y, Yoshioka H, Unami K, Fujihara M. A stochastic impulsive control model for population management of fisheating bird Pharacrocorax carbo and its numerical computation, AsiaSim2018, October 27–29, Kyoto, Japan. Commun Comput Inf Sci. 2018;946:425–38.
Aslaksen I, Nybø S, Framstad E, Garnåsjordet PA, Skarpaas SO. Biodiversity and ecosystem services: the nature index for Norway. Ecosyst Serv. 2015;12:108–16. https://doi.org/10.1016/j.ecoser.2014.11.002.
Green AJ, Elmberg J. Ecosystem services provided by waterbirds. Biol Rev. 2014;89:105–22. https://doi.org/10.1111/brv.12045.
Davis MH, Guo X, Wu G. Impulse control of multidimensional jump diffusions. SIAM J Control Optim. 2010;48:5276–93. https://doi.org/10.1137/090780419.
Guo X, Wu G. Smooth fit principle for impulse control of multidimensional diffusion processes. SIAM J Control Optim. 2009;48:594–617. https://doi.org/10.1137/080716001.
Cont R, Voltchkova E. A finite difference scheme for option pricing in jump diffusion and exponential Lévy models. SIAM J Numer Anal. 2015;43:1596–626. https://doi.org/10.1137/S0036142903436186.
Yaegashi Y, Yoshioka H, Tsugihashi K, Fujihara M. Analysis and computation of probability density functions for a 1D impulsively controlled diffusion process. C R Math. 2019;357:306–15. https://doi.org/10.1016/j.crma.2019.02.007.
Yao D, Wang R, Xu L. Optimal asset control of a geometric Brownian motion with the transaction costs and bankruptcy permission. J Ind Manag Optim. 2015;11:461–78. https://doi.org/10.3934/jimo.2015.11.461.
van Staden PM, Dang DM, Forsyth PA. Timeconsistent mean–variance portfolio optimization: a numerical impulse control approach. Insur Math Econ. 2018;83:9–28. https://doi.org/10.1016/j.insmatheco.2018.08.003.
Wang J, Forsyth PA. Maximal use of central differencing for Hamilton–Jacobi–Bellman PDEs in finance. SIAM J Numer Anal. 2008;46:1580–601. https://doi.org/10.1137/06067518.
Ohnishi M, Tsujimura M. An impulse control of a geometric Brownian motion with quadratic costs. Eur J Oper Res. 2006;168:311–21. https://doi.org/10.1016/j.ejor.2004.07.006.
Hu Y, Liu Z, Wu J. Optimal impulse control of a meanreverting inventory with quadratic costs. J Ind Manag Optim. 2018;14:1685–700. https://doi.org/10.3934/jimo.2018027.
Yaegashi Y, Yoshioka H, Tsugihashi K, Fujihara M. An exact viscosity solution to a Hamilton–Jacobi–Bellman quasivariational inequality for animal population management. J Math Ind. 2019;9:5. https://doi.org/10.1186/s133620190062y.
Quarteroni A. Numerical models for differential problems. Milan: Springer; 2017.
Dixit AK, Dixit RK, Pindyck RS. Investment under uncertainty. Princeton: Princeton University Press; 1994. Chapter 9, Appendix.
Hulthén K et al.. A predation cost to bold fish in the wild. Sci Rep. 2017;7:1239. https://doi.org/10.1038/s4159801701270w.
Latli A et al.. Longterm trends in trait structure of riverine communities facing predation risk increase and trophic resource decline. Ecol Appl. 2017;27:2458–74. https://doi.org/10.1002/eap.1621.
Klimaszyk P, Rzymski P. The complexity of ecological impacts induced by great cormorants. Hydrobiologia. 2016;771:13–30. https://doi.org/10.1007/s1075001526181.
Barles G, Souganidis PE. Convergence of approximation schemes for fully nonlinear second order equations. Asymptot Anal. 1991;4:271–83. https://doi.org/10.3233/ASY19914305.
Ferretti R, Sassi A, Zidani H. Error estimates for numerical approximation of Hamilton–Jacobi equations related to hybrid control systems. Appl Math Optim. 2018. https://doi.org/10.1007/s0024501895158.
Frederiksen M, Lebreton JD, Bregnballe T. The interplay between culling and densitydependence in the great cormorant: a modelling approach. J Appl Ecol. 2001;38:617–27. https://doi.org/10.1046/j.13652664.2001.00620.x.
Watanuki Y et al.. Microhabitat use and prey capture of a bottomfeeding top predator, the European shag, shown by camera loggers. Mar Ecol Prog Ser. 2008;356:283–93. https://doi.org/10.3354/meps07266.
Hagen R, KramerSchadt S, Fahse L, Heurich M. Population control based on abundance estimates: frequency does not compensate for uncertainty. Ecol Complex. 2014;20:43–50. https://doi.org/10.1016/j.ecocom.2014.07.006.
Sims C, Horan RD, Meadows B. Come on feel the noise: ecological foundations in stochastic bioeconomic models. Nat Resour Model. 2018;31:e12191. https://doi.org/10.1111/nrm.12191.
Yoshioka H, Yaegashi Y, Yoshioka Y, Hamagami K. Hamilton–Jacobi–Bellman quasivariational inequality arising in an environmental problem and its numerical discretization. Comput Math Appl. 2019;77:2182–206. https://doi.org/10.1016/j.camwa.2018.12.004.
Yoshioka H. A simplified stochastic optimization model for logistic dynamics with controldependent carrying capacity. J Biol Dyn. 2019;13:148–76. https://doi.org/10.1080/17513758.2019.1576927.
Zhao Y, You L, Burkow D, Yuan S. Optimal harvesting strategy of a stochastic inshore–offshore hairtail fishery model driven by Lévy jumps in a polluted environment. Nonlinear Dyn. 2019;95:1529–48. https://doi.org/10.1007/s110710184642y.
Hansen LP, Sargent STJ. Robustness. Princeton: Princeton University Press; 2008.
Yoshioka H, Yoshioka Y. Modeling stochastic operation of reservoir under ambiguity with an emphasis on river management. Optim Control Appl Methods. 2019;40:764–90. https://doi.org/10.1002/oca.2510.
do Val JBR, Guillotreau P, Vallée T. Fishery management under poorly known dynamics. Eur J Oper Res. 2019. https://doi.org/10.1016/j.ejor.2019.05.016.
Shardin AA, Wunderlich R. Partially observable stochastic optimal control problems for an energy storage. Stochastics. 2017;89:280–310. https://doi.org/10.1080/17442508.2016.1166506.
Yoshioka H, Yaegashi Y, Yoshioka Y, Tsugihashi K. Optimal harvesting policy of an inland fishery resource under incomplete information. Appl Stoch Models Bus. 2018. https://doi.org/10.1002/asmb.2428.
Duwal S, Winkelmann S, Schütte C, von Kleist M. Optimal treatment strategies in the context of ‘treatment for prevention’ against HIV1 in resourcepoor settings. PLoS Comput Biol. 2015;11(4):e1004200. https://doi.org/10.1371/journal.pcbi.1004200.
Dyrssen H, Ekström E. Sequential testing of a Wiener process with costly observations. Seq Anal. 2018;37:47–58. https://doi.org/10.1080/07474946.2018.1427973.
Zamani I, Shafiee M. Stability analysis of uncertain switched singular timedelay systems with discrete and distributed delays. Optim Control Appl Methods. 2015;36:1–28. https://doi.org/10.1002/oca.2097.
Yang Y. Finite horizon optimal execution with bounded rate of transaction. Stoch Models. 2019. https://doi.org/10.1080/15326349.2019.1621760.
Federico S, Rosestolato M, Tacconi E. Irreversible investment with fixed adjustment costs: a stochastic impulse control approach. Math Financ Econ. 2017. https://doi.org/10.1007/s1157901900238w.
Ishii K. Viscosity solutions of nonlinear second order elliptic PDEs associated with impulse control problems. Funkc Ekvacioj. 1993;36:123–41. https://pdfs.semanticscholar.org/d3e9/2ec2be02258e73a7c670fe1688552c41c230.pdf.
Crandall MG, Ishi H. The maximum principle for semicontinuous functions. Differ Integral Equ. 1990;3:1001–14. https://projecteuclid.org/euclid.die/1379101975.
Wu J. Optimal exchange rates management using stochastic impulse control for geometric Lévy processes. Math Methods Oper Res. 2018. https://doi.org/10.1007/s001860180648y.
Acknowledgements
None.
Funding
JSPS Research Grant 19H03073 (H. Yoshioka).
Author information
Authors and Affiliations
Contributions
HY: conceptualization, authorization, writing, formal analysis, computation. YY: writing, formal analysis. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors have no conflicts of interest to declare that are relevant to the content of this article.
Appendix: Proofs of propositions
Appendix: Proofs of propositions
Proof of Proposition 1
With the null control \(\eta = \eta _{0}\), we have
Combining (82), (17), and (18) yields (23). The last statement directly follows from (23). □
Proof of Proposition 2
By (19), considering a policy immediately harvesting the population with a fixed amount of ζ such that \(0 < \zeta \le x\), which is admissible and suboptimal, yields
Taking the infimum of the righthand side of (83) with respect to \(0 < \zeta \le x\) yields (24). □
Proof of Proposition 3
Given \(( B_{t} )_{t \ge 0}\) and Z, the process \(( X_{t} )_{t \ge 0}\) starting from the initial condition is denoted as \(( X_{t}^{ ( x )} )_{t \ge 0}\). Set x, y such that \(0 \le y \le x\). Choose one \(\eta \in \mathcal{A}_{y}\). Notice that we have \(\mathcal{A}_{y} \subset \mathcal{A}_{x}\) because of \(0 \le y \le x\). The process \(Y_{t} = X_{t}^{ ( x )}  X_{t}^{ ( y )}\) is continuous at each \(\tau _{i}\) because
Therefore, \(( Y_{t} )_{t \ge 0}\) is a classical geometric Brownian motion:
with the initial condition \(Y_{0 } = x  y \ge 0\). We get
for any \(l > 0\). For any \(x,y, 0 \le y \le x\), we have
Notice that
by an elementary calculation, and that
Here, \(X_{s,0}^{ ( x )}\) represents \(X_{s}^{ ( x )}\) with the null control \(\eta = \eta _{0}\), which is a classical geometric Brownian motion. Therefore, \(( X_{s,0}^{ ( x )} )^{m  1}Y_{s}\) is a geometric Brownian motion subject to the initial condition \(x^{m  1} \vert x  y \vert \). By (86), we get with some \(C > 0\):
and thus
Taking the infimum with respect to \(\eta \in \mathcal{A}_{y}\) gives
In addition, we have
and thus
The continuity at the origin is the consequence of Proposition 1. □
Proof of Proposition 4
The proof here is based on the technique of Federico et al. [80]. Firstly, we show that Φ is a viscosity subsolution. The condition at \(x = 0\) is obviously satisfied. Fix \(x_{0} > 0\) and set a test function ψ for viscosity subsolutions such that \(\Phi ( x_{0} ) = \psi ( x_{0} )\) and \(\psi > \Phi \) in \(( x_{0}  \varepsilon ,x_{0} + \varepsilon )\) with a small constant \(\varepsilon > 0\). Set the stopping time \(\bar{\tau } = \inf \{ t \ge 0  \vert X_{t}  x_{0} \vert > \varepsilon \} \), which is adapted to the filtration \(\mathcal{F}\) and satisfies \(\Pr [ \bar{\tau } > 0 ] = 1\). Set \(\tau = \min \{ \bar{\tau },\varepsilon _{0} \} \) with \(\varepsilon _{0} > 0\). Then, by (19), with the null control \(\eta = \eta _{0}\), we have
By the Dynkin’s formula, dividing the bothhand sides by \(\varepsilon _{0}\) and letting \(\varepsilon _{0} \to + 0\) with the dominated convergence theorem yields
The inequality
follows from Proposition 2, and combining (96) and (97) gives the desired inequality. The property of viscosity subsolution then follows because \(x_{0} > 0\) is arbitrary.
Secondly, we show that Φ is a viscosity supersolution. The condition at \(x = 0\) is obviously satisfied. Fix \(x_{0} > 0\) and set a test function ψ for viscosity supersolutions such that \(\Phi ( x_{0} ) = \psi ( x_{0} )\) and \(\psi < \Phi \) near \(x = x_{0}\). If \(\Phi ( x_{0} ) = \mathcal{M}\Phi ( x_{0} )\), then we have nothing to prove and thus assume \(\Phi ( x_{0} ) < \mathcal{M}\Phi ( x_{0} )\). Then, there is a constant \(\omega > 0\) such that \(\Phi ( x_{0} ) + \omega \le \mathcal{M}\Phi ( x_{0} )\). We must show
Assume (98) is not true. Then, there exists a constant \(\varepsilon > 0\) such that \(\mathcal{L}\psi + Rx^{M}  rx^{m} \le  \varepsilon \) at \(x = x_{0}\). Because of the smoothness of ψ and continuity of Φ and \(\mathcal{M}\Phi \) (By an application of Proposition 3 of Azimzadeh et al. [42] to \(\mathcal{M}\)), we have \(2\delta _{0} \in ( 0,x_{0} )\) such that
Set the stopping time \(\tau = \inf \{ t \ge 0 \mid \vert X_{t}  x_{0} \vert > \delta _{0} \} \) with \(\Pr [ \tau > 0 ] = 1\). The third line of (99) implies that undertaking an intervention is not optimal during \(( 0,\hat{\tau } )\). By (19), we have
Again, by the Dynkin’s formula and (100), we have
By the first line of (99), from (101) we get
and thus
However, the inequality is possible (103) only when \(\tau = 0\) a.s., which is a contradiction. Therefore, we have (98). The property of viscosity supersolution is then proven because \(x_{0} > 0\) is arbitrary. □
Proof of Proposition 5
The proof is based on that of Theorem 3.1 of Ishii [81] where the comparison principle of a HJBQVI is discussed by constructing a strict viscositysupersolution that satisfies the inequalities of viscosity subsolutions (in our case, (30) and (31)) with “<” instead of “≤”.
The boundary condition is different between the two problems, where ours is found to be simpler. The degenerate elliptic part \(\mathcal{L}\psi + Rx^{M}  rx^{m}\) is not problematic because its coefficients are bounded and smooth in \([ 0,X_{\max } ]\). Therefore, we can apply the fundamental lemma (Example 1 of Crandall and Ishii [82]). The nonlocal part \(\varphi  \mathcal{M}\varphi \ge 0\) has a somewhat different form from the conventional ones as pointed out above because of the uncertainty involved in the interventions. We can directly check that the followings, which correspond to the conditions (1)–(6) in Proposition 2.3 of Ishii [81]: let u, v be realvalued functions defined on \([ 0,X_{\max } ]\), then we have

(Monotonicity) In \([ 0,X_{\max } ]\), if \(u \le v\) then \(\mathcal{M}u \le \mathcal{M}v\),

(Concavity) \(c\mathcal{M}u + ( 1  c )\mathcal{M}v \le \mathcal{M} ( cu + ( 1  c )v )\) for all \(0 \le c \le 1\),

(Transversity) \(\mathcal{M} ( u + c ) = \mathcal{M}u + c\) for all \(c \in \mathbb{{R}}\),

(Uppersemi continuity) If \(u \in \operatorname{USC} [ 0,X_{\max } ]\), then \(\mathcal{M}u \in \operatorname{USC} [ 0,X_{\max } ]\),

(Lowersemi continuity) If \(u \in \operatorname{LSC} [ 0,X_{\max } ]\), then \(\mathcal{M}u \in \operatorname{LSC} [ 0,X_{\max } ]\), and

(Continuity) \(\Vert \mathcal{M}u  \mathcal{M}v \Vert _{C [ 0,X_{\max } ]} \to 0\) as \(\Vert u  v \Vert _{C [ 0,X_{\max } ]} \to 0\).
Set \(C = r\delta ^{  1}X_{\max }^{m} + 1\) and \(\alpha = \min \{ 1,k_{0} \} > 0\). Let u and v be a viscosity subsolution and a viscosity supersolution, respectively. For each \(n \in \mathbb{{N}}\), set \(u_{n} = ( 1  \frac{1}{n} )u  \frac{C}{n}\), which is straightforwardly checked to be a (strict) viscosity subsolution to
and
From this observation, we see that \(u_{n}\) is a strict viscosity subsolution to the localized HJBQVI. Constructing strict viscosity solution is necessary to handle the nonlocal term. The remaining part of the proof follows Ishii [81]. □
Proof of Proposition 6
The proof here is based on that of Theorem 1 of Wu [83]. We must modify their proof in several parts because our model does not have jump but has an uncertainty in interventions. By Proposition 1 for any \(\eta \in \mathcal{A}\) and \(x \ge 0\), we get
Let \(( \bar{X}_{t} )_{t \ge 0}\) be the process \(( X_{t} )_{t \ge 0}\) with the null control \(\eta = \eta _{0}\). Then, we have \(\bar{X}_{t} \ge X_{t}\) a.s. for \(t \ge 0\). Therefore, we get
leading to
and thus
Here, recall that \(B < 0\) and \(A > 0\). For any \(t \ge 0\), set \(\theta _{i + 1} = \max \{ \tau _{i},\min \{ \tau _{i + 1},t \} \} \). The generalized Dynkin’s formula then leads to
because \(\tau _{i} \le \theta _{i + 1} \le \tau _{i + 1}\). Letting \(t \to + \infty \) in (110), using the dominated convergence theorem, and summing \(i = 0\) from \(i = n \in \mathbb{{N}}\) yields
We can rewrite (111) as
In addition, we have
This follows from (41) and (42) because for \(i \ge 1\) we have
and then taking the expectation yields (114) since
Substituting (113) and (114) into (112) yields
Namely, we get
Letting \(n \to + \infty \) gives \(\mathrm{E} [ e^{  \delta \tau _{n + 1}}\phi ( X_{\tau _{n + 1}} ) ] \to + 0\) by the assumption, and we get
Because \(\eta \in \mathcal{A}\) and \(x \ge 0\) are arbitrary, we get
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yoshioka, H., Yaegashi, Y. Mathematical and numerical analyses of a stochastic impulse control model with imperfect interventions. J.Math.Industry 11, 16 (2021). https://doi.org/10.1186/s13362021001129
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13362021001129
Keywords
 Imperfect impulse control
 Population dynamics
 Hamilton–Jacobi–Bellman quasi variational inequality
 ODEbased method
 Finite difference scheme