Elsevier

Statistics & Probability Letters

Volume 140, September 2018, Pages 13-22
Statistics & Probability Letters

A note on joint occupation times of spectrally negative Lévy risk processes with tax

https://doi.org/10.1016/j.spl.2018.04.016Get rights and content

Abstract

In this paper we consider the joint Laplace transform of occupation times over disjoint intervals for spectrally negative Lévy processes with a general loss-carry-forward taxation structure. This tax structure was first introduced by Albrecher and Hipp in their paper in 2007. We obtain representations of the joint Laplace transforms in terms of scale functions and the Lévy measure associated with the driven spectrally negative Lévy processes. Two numerical examples, i.e. a Brownian motion with drift and a compound Poisson model, are provided at the end of this paper and explicit results are presented with discussions.

Introduction

Lévy processes are stochastic processes with independent and stationary increments. Spectrally negative Lévy processes (SNLPs) are Lévy processes with no upward jumps, which find many applications in risk theory, mathematical finance and branching processes. In the recent literature of risk theory and mathematical finance, there have been increasing interests in studying the Laplace transforms of occupation times for Lévy processes. For general SNLPs, Laplace transforms of occupation times were studied in Landriault et al. (2011) and Loeffen et al. (2014), by adopting different approximation schemes. Quite recently, the joint Laplace transforms of occupation times under Lévy processes have been attracting much research attention. For instance, Li and Zhou (2013) considered joint occupation times under general time-homogeneous diffusion processes. Further more, Li and Zhou (2014) derived the joint Laplace transforms of occupation times over disjoint intervals under SNLPs, by adopting a fairly new approach. Some recent papers considering SNLPs include Yin and Yuen (2014) and Li et al. (2017).

The so-called loss-carry-forward taxation system (in a simplified version) was first introduced into a compound Poisson process with drift by Albrecher and Hipp (2007). Meanwhile, Kyprianou and Zhou (2009) introduced a very general taxation structure into the Lévy framework. Results regarding stochastic processes with loss-carry-forward taxation can be found in Wang and Hu (2012), Wang et al. (2011), Ming et al. (2010), Albrecher et al. (2008) and the references therein.

This paper aims to study the impact of a loss-carry-forward taxation system on the joint Laplace transforms of occupation times in SNLPs. It is motivated by the increasing role of occupation times on managing risks in risk theory. For 0<a<b, the occupation times of the surplus process being in intervals (0,a) and (a,b) prior to ruin can be used to evaluate the performance of an insurance portfolio as well as monitoring the time an insurer’s surplus remaining at critically low levels, which may help to measure the solvency risk. By incorporating taxes into the surplus models will enable us to better examine the above mentioned risks in a more real-life related environment. The obtained new occupation-time functionals are of much interest on both theoretical and practical aspects.

Section snippets

Preliminary identities for SNLPs

In this section, we shall provide some preliminary scale function related results for SNLPs. Then, we shall present our model, i.e., an SNLP embedded with a general loss-carry-forward taxation system. Some existing fluctuational and distributional identities on our taxed model will also be given in this section.

Main results

First of all, we shall define the joint Laplace transforms of the occupation times of the disjoint sets (0,a) and (a,b) for the process given in (2.3) prior to its two-sided exit from the set [0,b], which are the two primary objects in this paper: f1(x)Ex[exp{q10τ01(0,a)(Us)dsq20τ01(a,b)(Us)ds};τ0<τb+],f2(x)Ex[exp{q10τb+1(0,a)(Us)dsq20τb+1(a,b)(Us)ds};τ0>τb+].Let h0(x)=Ex[eqτ0;τ0<]. To calculate f1(x) and f2(x), we need the following lemma.

Lemma 1 Two-sided exit problem

For any q>0 and x<b,

Two special cases

In this section, we shall examine two special cases of our model, i.e. a Brownian Motion with drift and a compound Poisson model. Explicit results are derived in respect of the joint Laplace transforms of the occupation times discussed in previous section.

Example 1

Let Xt=x+μt+σBt (μ0,σ>0) be a Brownian motion with drift. It is worth mentioning that its associated Lévy measure is identically zero. One can verify that it has the scale function W(q)(x)=κ(q)[eλ1(q)xeλ2(

Acknowledgments

The authors are grateful to the anonymous reviewers whose constructive comments have led to substantial improvements of the article.

References (14)

There are more references available in the full text version of this article.
1

Supported in part by National Natural Science Foundation of China (No. 11601197) and Program for New Century Excellent Talents in Fujian Province University (No. Z0210103).

View full text