1. Introduction
The study of loss-carry-forward tax was initiated in
Albrecher and Hipp (
2007) under the framework of the classical compound Poisson risk model, in which the taxation is imposed at a fixed rate as long as the surplus process of the company stays at the running supremum. In particular, criteria were obtained for the optimal taxation level that maximizes the expected (discounted) accumulated tax payments, and an interesting simple relationship was recovered between the ruin probabilities for scenarios with and without tax. Later, the underlying risk process was generalized to the spectrally negative Lévy process in
Albrecher et al. (
2008), followed by further generalizations in terms of the tax structures in
Kyprianou and Zhou (
2009) and
Kyprianou and Ott (
2012), where new identities were derived for the two-sided exit problem and a generalized version of the Gerber-Shiu function as well as the the net present value of tax payments until ruin. On the other hand,
Wei (
2009) studied the asymptotic formulas of the ruin probability for the classical compound Poisson risk process with constant credit interest rate and surplus-dependent tax rate. In the mean time, a similar problem for spectrally negative Lévy risk process with periodic tax was investigated in
Hao and Tang (
2009). In addition,
Renaud (
2009) obtained the explicit expressions for arbitrary moments of the accumulated discounted tax payments. Moreover, the Gerber-Shiu functions were presented in
Wei et al. (
2010) and
Cheung and Landriault (
2012) for Markov-modulated risk models with constant tax rate and for classical compound Poisson risk model with surplus-dependent premium and tax rate, respectively. Several two-sided exit problems for the time-homogeneous diffusion risk processes with surplus-dependent tax rate were investigated in
Li et al. (
2013). Concerning the related optimization problem, identification of the optimal taxation strategy that maximizes the expected (discounted) accumulated tax pay-out until ruin was addressed in
Wang and Hu (
2012). More recently, the two-sided exit problem in terms of the linear draw-down time for a spectrally negative Lévy risk process with loss-carry-forward tax was solved in
Avram et al. (
2017). Another periodic taxation different from that in
Hao and Tang (
2009) was introduced in
Zhang et al. (
2017), where the Gerber-Shiu function for the spectrally negative Lévy risk process was studied.
In the present paper, we continue the study of the general tax structure introduced in
Kyprianou and Zhou (
2009) for the spectrally negative Lévy risk process. Our main goal is to identify the potential density of the taxed Lévy risk process killed upon leaving interval
. To our best knowledge, such a potential density has not been obtained in the literature for taxed processes. In addition, we also find a joint Laplace transform concerning the first down-crossing time of level 0. To this end, we adopt an excursion theory approach, and the aforementioned results are expressed using scale functions for spectrally negative Lévy processes.
This paper is arranged as follows. In
Section 2, some preliminary results concerning the spectrally negative Lévy processes and the taxed Lévy risk models with general tax structure are reviewed. The main results on the taxed spectrally negative Lévy risk processes with proofs are included in
Section 3.
2. Mathematical Presentation of the Problem
Under probability laws and with natural filtration , let be a spectrally negative Lévy process with the usual exclusion of pure increasing linear drift and the negative of a subordinator. Denote by the running supremum process of X. We assume that, in the case of no control, the risk process evolves according to the law of .
Define a measurable function
satisfying
and
for
. Intuitively, when an insurer is in a profitable situation at time
t, the proportion of the insurer’s income that is paid out as tax at time
t is equal to
, where the insurer is in a profitable situation at time
t if
. Therefore, the cumulative tax until time
t is given by
which is well defined because
is a process of bounded variation (see also,
Kyprianou and Ott 2012), and the controlled aggregate surplus process is also well defined by
The taxed risk process given by Equation (
2) was first investigated in
Kyprianou and Zhou (
2009) for
-valued function
satisfying Equation (
1).
The objective of the present paper is to find the expressions for the joint Laplace transform of the ruin time and the position at ruin, conditioning on the event of ruin occurring before the up-crossing time of
b
and the
q-potential measuring up to the exit time of
with
and
, where
and
are the first down-crossing time of level 0 (or, ruin time) and the first up-crossing time of level
b defined, respectively, by
with the usual convention
.
The
q-potential measure defined in Equation (
4) plays an essential role in the theory of temporally homogeneous Markov processes. For example, the
q-potential measure has turned out to be helpful in solving the occupation time involved problems (see
Landriault et al. 2011 and
Li and Zhou 2014), and the fluctuation problems for Lévy processes that are observed at Poisson arrival epochs (see
Albrecher et al. 2016). In addition, the fluctuation quantity of Equation (3) involving the first passage times has been extensively investigated for various kinds of stochastic processes. Because
can be viewed as the ruin time of a risk process, the study of Equation (
3) finds interesting applications in risk theory. Identifying the joint distribution of the ruin time and the deficit at the ruin time, which is the key topic of the well-known Gerber-Shiu function theory, has attracted broad attention in the community of actuarial sciences (see
Gerber and Shiu 1998 and the special issue launched in the journal “Insurance: Mathematics and Economics” themed on Gerber-Shiu functions in 2010).
To keep our paper self-contained, we briefly introduce some basic facts of the spectrally negative Lévy process. Let the Laplace exponent of
X be defined by
which is known to be finite for all
, and is strictly convex and infinitely differentiable. As defined in
Bertoin (
1996), for each
the scale function
is the unique strictly increasing and continuous function with Laplace transform
where
is the largest solution of the equation
. For convenience, we extend the domain of
to the whole real line by setting
for all
. In particular, write
for simplicity. When
X has sample paths of unbounded variation, or when
X has sample paths of bounded variation and the Lévy measure has no atoms, then the scale function
is continuously differentiable over
. Interested readers are referred to
Chan et al. (
2011) for more detailed discussions on the smoothness of scale functions. In this paper, we only need the scale function
to be right-differentiable over
, which is readily satisfied since
is both right- and left-differentiable over
(see, for example, p. 291 of
Pistorius 2007 and Lemma 1 of
Pistorius 2004). In the sequel, denote by
the right-derivative of
in
x.
Further, define
and
with
and
for
.
We also briefly recall concepts in excursion theory for the reflected process
, and we refer to
Bertoin (
1996) and
Kyprianou (
2014) for more details. For
, the process
serves as a local time at 0 for the Markov process
under
. Define the corresponding inverse local time as
Let
. The Poisson point process of excursions indexed by this local time is denoted by
whenever
. For the case of
, define
with
being an additional isolated point. Accordingly, we denote a generic excursion as
(or,
for short) belonging to the space
of canonical excursions. The intensity measure of the Poisson point process
is given by
where
n is a
-finite measure on the space
. The lifetime of a canonical excursion
is denoted by
, and its excursion height is denoted by
. The first passage time of a canonical excursion
is defined by
with the convention
.
Denote by
the excursion (away from 0) with left-end point
g for the reflected process
, and by
and
denote its lifetime and excursion height, respectively; see Section IV.4 of
Bertoin (
1996).
3. Main Results
For the process
X, define its first down-crossing time of level 0 and up-crossing time of level
b, respectively, by
From
Kyprianou (
2014), the resolvent measure corresponding to
X is absolutely continuous with respect to the Lebesgue measure and has a version of density given by
In preparation for showing the main results, we first present the following Lemma 1 which gives the joint Laplace transform of
and the overshoot at
of a canonical excursion
with respect to the excursion measure
n, which is a
-finite measure on the space
of canonical excursions (see
Section 2).
Lemma 1. For any , we have Proposition 1 gives the joint Laplace transform of
and the position of the process
U at
. It is similar to Theorem 1.3 of
Kyprianou and Zhou (
2009) where the Lévy measure is involved in the expression. The following joint Laplace transform is expressed in terms of scale functions.
Proposition 1. For any and we have Proof. For
, by Equation (
8) and the compensation formula in excursion theory we have
which together with Equation (
6) yields Equation (
7). □
Remark 1. Let in Equation (7). Then for and for , and by Proposition 1 we havewhich can be found in (8.12) (with an appropriate killing rate added) in Chapter 8 of Kyprianou (2014), or Albrecher et al. (2016). Let or in Equation (7), we have for and Proposition 2 gives an expression of potential density for the process U.
Proposition 2. The potential measure corresponding to U is absolutely continuous with respect to the Lebesgue measure with density given by Proof. Let
be an exponentially distributed random variable independent of
X with mean
. For any continuous, non-negative and bounded function
f, we have
Note that
, see Corollary 6 in Chapter IV of
Bertoin (
1996). Recalling that
is equivalent to
which implies
, we have
where Equation (
8) is used in the last but one equation.
By the compensation formula in excursion theory and the memoryless property of the exponential random variable, one has
Applying the same arguments as in Equations (
11) and (
12), we have
Equating the right hand sides of Equations (
5) and (
13) and then differentiating the resultant equation with respect to
b gives
or equivalently
which together with Equation (
12) yields
which combined with Equations (
10) and (
11) yields Equation (
9). □
Remark 2. Letting in Equation (9), i.e., for and for , by Proposition 2 we have for which recovers Equation (5). Let or in Equation (9), we have