Next Article in Journal
Optimal Risk Budgeting under a Finite Investment Horizon
Next Article in Special Issue
On the Laplace Transforms of the First Hitting Times for Drawdowns and Drawups of Diffusion-Type Processes
Previous Article in Journal
Parametric Conditions of High Financial Risk in the SME Sector
Previous Article in Special Issue
Logarithmic Asymptotics for Probability of Component-Wise Ruin in a Two-Dimensional Brownian Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Potential Densities for Taxed Spectrally Negative Lévy Risk Processes

1
School of Mathematical Sciences, Xiamen University, Xiamen 361005, China
2
Department of Mathematics and Statistics, Concordia University, Montreal, QC H3G 1M8, Canada
*
Author to whom correspondence should be addressed.
Risks 2019, 7(3), 85; https://doi.org/10.3390/risks7030085
Submission received: 29 May 2019 / Revised: 24 June 2019 / Accepted: 17 July 2019 / Published: 2 August 2019

Abstract

:
This paper revisits the spectrally negative Lévy risk process embedded with the general tax structure introduced in Kyprianou and Zhou (2009). A joint Laplace transform is found concerning the first down-crossing time below level 0. The potential density is also obtained for the taxed Lévy risk process killed upon leaving [ 0 , b ] . The results are expressed using scale functions.

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 [ 0 , b ] . 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 { P x ; x R } and with natural filtration { F t ; t 0 } , let X = { X ( t ) ; t 0 } be a spectrally negative Lévy process with the usual exclusion of pure increasing linear drift and the negative of a subordinator. Denote by { X ¯ ( t ) : = sup 0 s t X ( s ) ; t 0 } the running supremum process of X. We assume that, in the case of no control, the risk process evolves according to the law of { X ( t ) ; t 0 } .
Define a measurable function γ : [ 0 , + ) [ 0 , 1 ) satisfying
0 + 1 γ ( z ) d z = + ,
and
γ ¯ x ( z ) : = x + x z ( 1 γ ( w ) ) d w
for z x 0 . 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 γ X ¯ ( t ) , where the insurer is in a profitable situation at time t if X ( t ) = X ¯ ( t ) . Therefore, the cumulative tax until time t is given by
0 t γ X ¯ ( s ) d X ¯ ( s ) ,
which is well defined because { X ¯ ( t ) ; t 0 } is a process of bounded variation (see also, Kyprianou and Ott 2012), and the controlled aggregate surplus process is also well defined by
U ( t ) = X ( t ) 0 t γ X ¯ ( s ) d X ¯ ( s ) .
The taxed risk process given by Equation (2) was first investigated in Kyprianou and Zhou (2009) for [ 0 , 1 ) -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
E x e q σ 0 + θ U ( σ 0 ) ; σ 0 < σ b +
and the q-potential measuring up to the exit time of [ 0 , b ]
0 e q t P x ( U ( t ) d u , t < σ b + σ 0 ) d t
with b x 0 and q , θ > 0 , where σ 0 and σ b + are the first down-crossing time of level 0 (or, ruin time) and the first up-crossing time of level b defined, respectively, by
σ 0 : = inf { t 0 : U ( t ) < 0 } and σ b + : = inf { t 0 : U ( t ) > b }
with the usual convention inf : = .
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 σ 0 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
ψ ( θ ) : = log E x [ e θ ( X 1 x ) ] ,
which is known to be finite for all θ [ 0 , ) , and is strictly convex and infinitely differentiable. As defined in Bertoin (1996), for each q 0 the scale function W ( q ) : [ 0 , ) [ 0 , ) is the unique strictly increasing and continuous function with Laplace transform
0 e θ x W ( q ) ( x ) d x = 1 ψ ( θ ) q , θ > Φ ( q ) ,
where Φ ( q ) is the largest solution of the equation ψ ( θ ) = q . For convenience, we extend the domain of W ( q ) to the whole real line by setting W ( q ) ( x ) = 0 for all x < 0 . In particular, write W = W ( 0 ) 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 W ( q ) is continuously differentiable over ( 0 , ) . 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 W ( q ) to be right-differentiable over ( 0 , ) , which is readily satisfied since W ( q ) is both right- and left-differentiable over ( 0 , ) (see, for example, p. 291 of Pistorius 2007 and Lemma 1 of Pistorius 2004). In the sequel, denote by W + ( q ) ( x ) the right-derivative of W ( q ) in x.
Further, define
Z ( q ) ( x ) = 1 + q 0 x W ( q ) ( z ) d z , q 0 , x 0 ,
and
Z ( q ) ( x , θ ) = e θ x 1 + ( q ψ ( θ ) ) 0 x e θ z W ( q ) ( z ) d z , q , θ 0 , x 0 ,
with Z ( q ) ( x ) = 1 and Z ( q ) ( x , θ ) = e θ x for x < 0 .
We also briefly recall concepts in excursion theory for the reflected process { X ¯ ( t ) X ( t ) ; t 0 } , and we refer to Bertoin (1996) and Kyprianou (2014) for more details. For x R , the process { L ( t ) : = X ¯ ( t ) x ; t 0 } serves as a local time at 0 for the Markov process { X ¯ ( t ) X ( t ) ; t 0 } under P x . Define the corresponding inverse local time as
L 1 ( t ) : = inf { s 0 : L ( s ) > t } = sup { s 0 : L ( s ) t } .
Let L 1 ( t ) : = lim s t L 1 ( s ) . The Poisson point process of excursions indexed by this local time is denoted by { ( t , e t ) ; t 0 }
e t ( s ) : = X ( L 1 ( t ) ) X ( L 1 ( t ) + s ) , s ( 0 , L 1 ( t ) L 1 ( t ) ] ,
whenever L 1 ( t ) L 1 ( t ) > 0 . For the case of L 1 ( t ) L 1 ( t ) = 0 , define e t = Υ with Υ being an additional isolated point. Accordingly, we denote a generic excursion as ε ( · ) (or, ε for short) belonging to the space E of canonical excursions. The intensity measure of the Poisson point process { ( t , ε t ) ; t 0 } is given by d t × d n where n is a σ -finite measure on the space E . The lifetime of a canonical excursion ε is denoted by ζ , and its excursion height is denoted by ε ¯ = sup t [ 0 , ζ ] ε ( t ) . The first passage time of a canonical excursion ε is defined by
ρ b + = ρ b + ( ε ) : = inf { t [ 0 , ζ ] : ε ( t ) > b }
with the convention inf : = ζ .
Denote by ε g the excursion (away from 0) with left-end point g for the reflected process { X ¯ ( t ) X ( t ) ; t 0 } , and by ζ g and ε ¯ g 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
τ 0 : = inf { t 0 : X ( t ) < 0 } and τ b + : = inf { t 0 : X ( t ) > b } .
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
q 0 e q t E x ( f ( X ( t ) ) ; t < τ 0 τ b + ) d t = q 0 b f ( y ) W ( q ) ( x ) W ( q ) ( b ) W ( q ) ( b y ) W ( q ) ( x y ) d y , x [ 0 , b ) .
In preparation for showing the main results, we first present the following Lemma 1 which gives the joint Laplace transform of ρ z + and the overshoot at ρ z + of a canonical excursion ε with respect to the excursion measure n, which is a σ -finite measure on the space E of canonical excursions (see Section 2).
Lemma 1.
For any q , z > 0 , we have
n e q ρ z + + θ ( z ε ( ρ z + ) ) ; ε ¯ > z = W + ( q ) ( z ) W ( q ) ( z ) Z ( q ) ( z , θ ) θ Z ( q ) ( z , θ ) ( q ψ ( θ ) ) W ( q ) ( z ) .
In particular
n e q ρ z + ; ε ¯ > z = W + ( q ) ( z ) W ( q ) ( z ) Z ( q ) ( z ) q W ( q ) ( z ) ,
and
n e θ ( z ε ( ρ z + ) ) ; ε ¯ > z = W + ( z ) W ( z ) Z ( z , θ ) θ Z ( z , θ ) + ψ ( θ ) W ( z ) .
Proof. 
Taking use of the first result in Proposition 2 of Pistorius (2007), we can prove the desired results following the arguments in Lemma 2.2 of Kyprianou and Zhou (2009). □
Proposition 1 gives the joint Laplace transform of σ 0 and the position of the process U at σ 0 . 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 q , θ > 0 and 0 x b we have
E x e q σ 0 + θ U ( σ 0 ) ; σ 0 < σ b + = x b 1 ( 1 γ ( γ ¯ x 1 ( z ) ) ) exp x z W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w × W + ( q ) ( z ) W ( q ) ( z ) Z ( q ) ( z , θ ) θ Z ( q ) ( z , θ ) ( q ψ ( θ ) ) W ( q ) ( z ) d z .
Proof. 
By Theorems 1.1 in Kyprianou and Zhou (2009) (with minor adaptation), for 0 x a , one has
E x e q σ a + ; σ a + < σ 0 = exp x a W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w .
For 0 x b , by Equation (8) and the compensation formula in excursion theory we have
E x e q σ 0 + θ U ( σ 0 ) ; σ 0 < σ b + = E x g e q g r < g 1 { ε ¯ r γ ¯ x ( x + L ( r ) ) , γ ¯ x x + L ( g ) b } × e q ρ γ ¯ x ( x + L ( g ) ) + ( ε g ) + θ γ ¯ x ( x + L ( g ) ) ε g ( ρ γ ¯ x ( x + L ( g ) ) + ( ε g ) ) 1 { ε ¯ g > γ ¯ x ( x + L ( g ) ) } = E x 0 e q t r < t 1 { ε ¯ r γ ¯ x ( x + L ( r ) ) , γ ¯ x x + L ( t ) b } × E e q ρ γ ¯ x ( x + L ( t ) ) + + θ γ ¯ x ( x + L ( t ) ) ε ( ρ γ ¯ x ( x + L ( t ) ) + ) 1 { ε ¯ > γ ¯ x ( x + L ( t ) ) } n ( d ε ) d L ( t ) = E x 0 γ ¯ x 1 ( b ) x e q L 1 ( t ) r < L 1 ( t ) 1 { ε ¯ r γ ¯ x ( x + L ( r ) ) } × n e q ρ γ ¯ x ( x + t ) + + θ ( γ ¯ x ( x + t ) ε ( ρ γ ¯ x ( x + t ) + ) ) 1 { ε ¯ > γ ¯ x ( x + t ) } d t = 0 γ ¯ x 1 ( b ) x exp x γ ¯ x ( x + t ) W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w × n e q ρ γ ¯ x ( x + t ) + + θ ( γ ¯ x ( x + t ) ε ( ρ γ ¯ x ( x + t ) + ) ) ; ε ¯ > γ ¯ x ( x + t ) d t = x b exp x s W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w n e q ρ s + + θ ( s ε ( ρ s + ) ) ; ε ¯ > s 1 γ ( γ ¯ x 1 ( s ) ) d s ,
which together with Equation (6) yields Equation (7). □
Remark 1.
Let γ 0 in Equation (7). Then U ( t ) = X ( t ) for t 0 and γ ¯ x ( z ) z for z x , and by Proposition 1 we have
E x ( e q τ 0 + θ X ( τ 0 ) ; τ 0 < τ b + ) = x b W ( q ) ( x ) W ( q ) ( s ) W + ( q ) ( s ) W ( q ) ( s ) Z ( q ) ( s , θ ) θ Z ( q ) ( s , θ ) ( q ψ ( θ ) ) W ( q ) ( s ) d s = W ( q ) ( x ) x b d d s Z ( q ) ( s , θ ) W ( q ) ( s ) d s = Z ( q ) ( x , θ ) W ( q ) ( x ) W ( q ) ( b ) Z ( q ) ( b , θ ) ,
which can be found in (8.12) (with an appropriate killing rate added) in Chapter 8 of Kyprianou (2014), or Albrecher et al. (2016).
Let γ α ( 0 , 1 ) or γ ¯ x ( z ) = x + ( 1 α ) ( z x ) in Equation (7), we have for q , θ > 0 and 0 x b
E x e q σ 0 + θ U ( σ 0 ) ; σ 0 < σ b + = 1 1 α x b W ( q ) ( x ) W ( q ) ( z ) 1 1 α W + ( q ) ( z ) W ( q ) ( z ) Z ( q ) ( z , θ ) θ Z ( q ) ( z , θ ) ( q ψ ( θ ) ) W ( q ) ( z ) d z .
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
0 e q t P x ( U ( t ) d u , t < σ b + σ 0 ) d t = W ( q ) ( 0 ) 1 1 γ ( γ ¯ x 1 ( u ) ) exp x u W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w 1 ( x , b ) ( u ) d u + x b 1 1 γ ( γ ¯ x 1 ( y ) ) exp x y W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w × W + ( q ) ( y u ) W + ( q ) ( y ) W ( q ) ( y ) W ( q ) ( y u ) 1 ( 0 , y ) ( u ) d y d u , x , u [ 0 , b ] , q > 0 .
Proof. 
Let e q be an exponentially distributed random variable independent of X with mean 1 / q . For any continuous, non-negative and bounded function f, we have
0 q e q t E x ( f ( U ( t ) ) ; t < σ b + σ 0 ) d t = E x f ( U ( e q ) ) 1 { U ( e q ) < U ¯ ( e q ) , e q < σ b + σ 0 } + E x 0 q e q t f ( U ( t ) ) 1 { U ( t ) = U ¯ ( t ) , t < σ b + σ 0 } d t .
Note that 0 t 1 { X ( s ) = X ¯ ( s ) } d s = W ( q ) ( 0 ) X ¯ ( t ) , see Corollary 6 in Chapter IV of Bertoin (1996). Recalling that U ( t ) = U ¯ ( t ) is equivalent to X ( t ) = X ¯ ( t ) which implies t = L 1 ( L ( t ) ) , we have
E x 0 q e q t f ( U ( t ) ) 1 { U ( t ) = U ¯ ( t ) , t < σ b + σ 0 } d t = E x 0 q e q L 1 ( L ( t ) ) f ( U ( L 1 ( L ( t ) ) ) ) 1 { X ( t ) = X ¯ ( t ) , L 1 ( L ( t ) ) < σ b + σ 0 } d t = W ( 0 ) E x 0 q e q L 1 ( L ( t ) ) f ( U ( L 1 ( L ( t ) ) ) ) 1 { L 1 ( L ( t ) ) < L 1 γ ¯ x 1 ( b ) x σ 0 } d L t = q W ( 0 ) 0 γ ¯ x 1 ( b ) x exp x γ ¯ x ( x + t ) W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w f ( γ ¯ x ( x + t ) ) d t = q W ( 0 ) x b 1 ( 1 γ ( γ ¯ x 1 ( y ) ) ) exp x y W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w f ( y ) d y ,
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
E x f ( U ( e q ) ) ; U ( e q ) < U ¯ ( e q ) , e q < σ b + σ 0 = E x 0 g e q g r < g 1 { ε ¯ r γ ¯ x ( x + L ( r ) ) , γ ¯ x ( x + L ( g ) ) b } f γ ¯ x ( x + L ( g ) ) ε g ( t g ) × q e q ( t g ) 1 { g < t < g + ζ g ρ γ ¯ x ( x + L ( g ) ) + ( ε g ) } d t = E x 0 e q t r < t 1 { ε ¯ r γ ¯ x ( x + L ( r ) ) , γ ¯ x ( x + L ( t ) ) b } × E 0 q e q s f γ ¯ x ( x + L ( t ) ) ε ( s ) 1 { s < ζ ρ γ ¯ x ( x + L ( t ) ) + } d s n d ε d L ( t ) = q 0 γ ¯ x 1 ( b ) x exp x γ ¯ x ( x + t ) W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w × 0 n e q s f ( γ ¯ x ( x + t ) ε ( s ) ) 1 { s < ζ ρ γ ¯ x ( x + t ) + } d s d t = q x b 1 1 γ ( γ ¯ x 1 ( y ) ) exp x y W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w × 0 n e q s f ( y ε ( s ) ) 1 { s < ζ ρ y + } d s d y .
Applying the same arguments as in Equations (11) and (12), we have
E x f ( X ( e q ) ) 1 { e q < τ b + τ 0 } = E x f ( X ( e q ) ) 1 { X ( e q ) = X ¯ ( e q ) , e q < τ b + τ 0 } + E x f ( X ( e q ) ) 1 { X ( e q ) < X ¯ ( e q ) , e q < τ b + τ 0 } = q x b W ( q ) ( x ) W ( q ) ( y ) W ( 0 ) f ( y ) + 0 n e q s f ( y ε ( s ) ) 1 { s < ρ y + ζ } d s d y .
Equating the right hand sides of Equations (5) and (13) and then differentiating the resultant equation with respect to b gives
W ( q ) ( x ) W ( q ) ( b ) W ( 0 ) f ( b ) + 0 n e q s f ( b ε ( s ) ) 1 { s < ρ b + ζ } d s = W ( q ) ( x ) W ( q ) ( b ) f ( b ) W ( 0 ) + 0 b f ( y ) W + ( q ) ( b y ) W + ( q ) ( b ) W ( q ) ( b ) W ( q ) ( b y ) d y ,
or equivalently
0 n e q s f ( y ε ( s ) ) 1 { s < ρ y + ζ } d s = 0 y f ( w ) W + ( q ) ( y w ) W + ( q ) ( y ) W ( q ) ( y ) W ( q ) ( y w ) d w ,
which together with Equation (12) yields
E x f ( U ( e q ) ) ; U ( e q ) < U ¯ ( e q ) , e q < σ b + σ 0 = q x b 1 ( 1 γ ( γ ¯ x 1 ( y ) ) ) exp x y W + ( q ) ( w ) ( 1 γ ( γ ¯ x 1 ( w ) ) ) W ( q ) ( w ) d w × 0 y f ( w ) W + ( q ) ( y w ) W + ( q ) ( y ) W ( q ) ( y ) W ( q ) ( y w ) d w d y ,
which combined with Equations (10) and (11) yields Equation (9). □
Remark 2.
Letting γ 0 in Equation (9), i.e., U ( t ) = X ( t ) for t 0 and γ ¯ x ( z ) z for z x , by Proposition 2 we have for 0 x , u b
0 e q t P x ( X ( t ) d u , t < σ b + σ 0 ) d t = W ( q ) ( 0 ) W ( q ) ( x ) 1 ( x , b ) ( u ) W ( q ) ( u ) d u + x b W ( q ) ( x ) W ( q ) ( y ) W + ( q ) ( y u ) W + ( q ) ( y ) W ( q ) ( y ) W ( q ) ( y u ) 1 ( 0 , y ) ( u ) d y d u = W ( q ) ( 0 ) W ( q ) ( x ) 1 ( x , b ) ( u ) W ( q ) ( u ) d u + W ( q ) ( x ) x b d d y W ( q ) ( y u ) W ( q ) ( y ) 1 ( 0 , y ) ( u ) d y d u = W ( q ) ( x ) W ( q ) ( 0 ) 1 ( x , b ) ( u ) W ( q ) ( u ) d u + x b d d y W ( q ) ( y u ) W ( q ) ( y ) d y d u 1 ( 0 , x ) ( u ) + u b d d y W ( q ) ( y u ) W ( q ) ( y ) d y d u 1 ( x , b ) ( u ) = W ( q ) ( b u ) W ( q ) ( b ) W ( q ) ( x ) 1 ( x , b ) ( u ) d u + W ( q ) ( b u ) W ( q ) ( b ) W ( q ) ( x u ) W ( q ) ( x ) W ( q ) ( x ) 1 ( 0 , x ) ( u ) d u = W ( q ) ( x ) W ( q ) ( b ) W ( q ) ( b u ) W ( q ) ( x u ) 1 ( 0 , b ) ( u ) d u ,
which recovers Equation (5).
Let γ α ( 0 , 1 ) or γ ¯ x ( z ) = x + ( 1 α ) ( z x ) in Equation (9), we have
0 e q t P x ( U ( t ) d u , t < σ b + σ 0 ) d t = W ( q ) ( 0 ) 1 α W ( q ) ( x ) W ( q ) ( u ) 1 1 α 1 ( x , b ) ( u ) d u + 1 1 α x b W ( q ) ( x ) W ( q ) ( y ) 1 1 α × W + ( q ) ( y u ) W + ( q ) ( y ) W ( q ) ( y ) W ( q ) ( y u ) 1 ( 0 , y ) ( u ) d y d u , x , u [ 0 , b ] , q > 0 .

Author Contributions

Conceptualization, X.Z.; methodology, W.W. and X.Z.; validation, W.W. and X.Z.; investigation, W.W. and X.Z.; writing—original draft preparation, W.W.; writing—review and editing, W.W. and X.Z.; supervision, X.Z.; project administration, X.Z.; funding acquisition, W.W. and X.Z.

Funding

This research was partly funded by the National Natural Science Foundation of China (Nos. 11601197; 11771018) and the Program for New Century Excellent Talents in Fujian Province University.

Acknowledgments

Wenyuan Wang thanks Concordia University where this paper was finished during his visit.

Conflicts of Interest

The author declare no conflict of interest.

References

  1. Albrecher, Hansjörg, Xiaowen Zhou, and Jean-Francois Renaud. 2008. A Lévy insurance risk process with tax. Journal of Applied Probability 45: 363–75. [Google Scholar] [CrossRef]
  2. Albrecher, Hansjörg, and Christian Hipp. 2007. Lundberg’s risk process with tax. Blätter der DGVFM 28: 13–28. [Google Scholar] [CrossRef]
  3. Albrecher, Hansjörg, Jevgenijs Ivanovs, and Xiaowen Zhou. 2016. Exit identities for Lévy processes observed at Poisson arrival times. Bernoulli 22: 1364–82. [Google Scholar] [CrossRef]
  4. Avram, Florin, Nhat Linh Vu, and Xiaowen Zhou. 2017. On taxed spectrally negative Lévy processes with draw-down stopping. Insurance: Mathematics and Economics 76: 69–74. [Google Scholar] [CrossRef]
  5. Bertoin, Jean. 1996. Lévy Process. Cambridge: Cambridge University Press. [Google Scholar]
  6. Chan, Terence, Andreas E. Kyprianou, and Mladen Savov. 2011. Smoothness of scale functions for spectrally negative Lévy processes. Probability Theory and Related Fields 150: 691–708. [Google Scholar] [CrossRef]
  7. Cheung, Eric C. K., and David Landriault. 2012. On a risk model with surplus dependent premium and tax rates. Methodology and Computing in Applied Probability 14: 233–51. [Google Scholar] [CrossRef]
  8. Gerber, Hans U., and Elias S. W. Shiu. 1998. On the time value of ruin. North American Actuarial Journal 2: 48–72. [Google Scholar] [CrossRef]
  9. Hao, Xuemiao, and Qihe Tang. 2009. Asymptotic ruin probabilities of the Lévy insurance model under periodic taxation. Astin Bulletin 39: 479–94. [Google Scholar] [CrossRef]
  10. Kyprianou, Andreas E. 2014. Fluctuations of Lévy Processes with Applications. Berlin/Heidelberg: Springer Science+Business Media. [Google Scholar]
  11. Kyprianou, Andreas E., and Curdin Ott. 2012. Spectrally negative Lévy processes perturbed by functionals of their running supremum. Journal of Applied Probability 49: 1005–14. [Google Scholar] [CrossRef]
  12. Kyprianou, Andreas E., and Xiaowen Zhou. 2009. General tax structures and the Lévy insurance risk model. Journal of Applied Probability 46: 1146–56. [Google Scholar] [CrossRef]
  13. Landriault, David, Jean-François Renaud, and Xiaowen Zhou. 2011. Occupation times of spectrally negative Lévy processes with applications. Stochastic Processes and Their Applications 121: 2629–41. [Google Scholar] [CrossRef]
  14. Li, Bin, Qihe Tang, and Xiaowen Zhou. 2013. A time-homogeneous diffusion model with tax. Journal of Applied Probability 50: 195–207. [Google Scholar] [CrossRef]
  15. Li, Yingqiu, and Xiaowen Zhou. 2014. On pre-exit joint occupation times for spectrally negative Lévy processes. Statistics and Probability Letters 94: 48–55. [Google Scholar] [CrossRef]
  16. Pistorius, Martijn R. 2004. On exit and ergodicity of the spectrally one-sided Lévy process reflected at its infimum. Journal of Theoretical Probability 17: 183–220. [Google Scholar] [CrossRef]
  17. Pistorius, Martijn R. 2007. An excursion-theoretical approach to some boundary crossing problems and the Skorokhod embedding for reflected Lévy processes. In Séminaire de Probabilités XL. Berlin/Heidelberg: Springer, pp. 287–307. [Google Scholar]
  18. Renaud, Jean-François. 2009. The distribution of tax payments in a Lévy insurance risk model with a surplus-dependent taxation structure. Insurance: Mathematics and Economics 45: 242–46. [Google Scholar] [CrossRef]
  19. Wang, Wenyuan, and Yijun Hu. 2012. Optimal loss-carry-forward taxation for the Lévy risk model. Insurance: Mathematics and Economics 50: 121–30. [Google Scholar] [CrossRef]
  20. Wei, Li. 2009. Ruin probability in the presence of interest earnings and tax payments. Insurance: Mathematics and Economics 45: 133–38. [Google Scholar] [CrossRef]
  21. Wei, Jiaqin, Hailiang Yang, and Rongming Wang. 2010. On the markov-modulated insurance risk model with tax. Blätter der DGVFM 31: 65–78. [Google Scholar] [CrossRef]
  22. Zhang, Zhimin, Eric CK Cheung, and Hailiang Yang. 2017. Lévy insurance risk process with Poissonian taxation. Scandinavian Actuarial Journal 2017: 51–87. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Wang, W.; Zhou, X. Potential Densities for Taxed Spectrally Negative Lévy Risk Processes. Risks 2019, 7, 85. https://doi.org/10.3390/risks7030085

AMA Style

Wang W, Zhou X. Potential Densities for Taxed Spectrally Negative Lévy Risk Processes. Risks. 2019; 7(3):85. https://doi.org/10.3390/risks7030085

Chicago/Turabian Style

Wang, Wenyuan, and Xiaowen Zhou. 2019. "Potential Densities for Taxed Spectrally Negative Lévy Risk Processes" Risks 7, no. 3: 85. https://doi.org/10.3390/risks7030085

APA Style

Wang, W., & Zhou, X. (2019). Potential Densities for Taxed Spectrally Negative Lévy Risk Processes. Risks, 7(3), 85. https://doi.org/10.3390/risks7030085

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop