1. 引言
风险理论的发展具有十分悠久的历史,其研究内容涵盖了破产概率、破产时刻、破产时刻赤字等一系列问题。保险风险中的最优分红问题首次取得开创性成果是在1957年第15界国际精算大会上,由De Finetti [1] 提出,他认为在保险公司不发生破产的前提下,应以破产前分红利益的最大化为目标,该提议于保险公司而言是更具有实际意义的准则,也是更有价值的度量。同时他还提出可以用累积折现期望来表示最优分红问题。之后,关于最优分红问题的研究文献大量涌出。人们最初开始研究分红问题是基于Cramer- Lundberg模型,该模型最早在1903年由Lundberg [2] 提出,而后在1930年,Cramer [3] 描述了保险公司的盈余过程,因此经典的累积风险模型也被称为Cramer-Lundberg模型。该模型在最初主要用来研究保险公司的破产概率,随着研究的深入发展,许多学者在此基础之上,将研究范围进行了拓展,开始研究不同模型条件下的破产和分红问题。如Davis [4] 提出了更加一般的逐段决定复合泊松模型,该模型是一种较为常见的模型,许多学者对该类模型都有研究。之后又有许多模型逐渐进入大家的视线。如Gerber和Hans [5] 提出了复合二项模型,Albrecher和Hartinger [6] 研究了Sparre-Anderson模型下的最优分红问题。
本文主要研究在Surplus-Dependent模型下值函数的迭代方法。目的是通过值函数的迭代来得到HJB 方程的最小粘性解,使得累积折现分红达到最大。在Azcue和Muler (2017) [7] 中曾利用迭代算法来讨论过二维模型下的分红问题,该算法在刘国欣和侯振挺的马尔可夫骨架过程及应用中也曾提到,我们以此为依据来研究Surplus-Dependent模型下的迭代算法。除此之外,本文还用到刘国欣和刘兆阳 [8] 的逐段决定马氏过程与半动力系统可加泛函。
2. 模型介绍
假设初始准备金为x的保险公司盈余为:
(1)
其中x表示初始准备金,g表示正的保费收入率函数,Nt表示索赔到达强度为
的泊松计数过程,Ui是一列独立同分布的随机变量序列,Ui表示第i次索赔的大小,其共同的分布函数为F。假设Ui和Nt是相互独立的。当公司盈余为负时,公司破产。
假设保费收入率函数g是正的,单调的,局部Lipschitz的,则
(2)
其中a、b均为大于等于零的常数,函数
满足:
(3)
保险公司将其部分余额作为分红分给各位股东,分红策略
表示到t时刻为止的累积折现分红,假设τn为第n次索赔到达时刻,则初始盈余为x的受控的盈余过程为
(4)
定义
为保险公司的破产时刻,则有
(5)
当
时,受控盈余过程为
,若分红策略满足下列条件,则可认为是可行策略,
·Lt是非降的;
·Lt是左连右极的;
·Lt是可料的;
·Lt是关于自然流
是适应的;
·满足
,
;
最后一个条件表明,保险公司支付的分红最多不得超过公司盈余。
定义Πx是初始盈余为x的可行分红策略的集合,我们的目的是实现破产前的折现分红的最大化。因此,对于任意的初始准备金
,定义值函数为
(6)
当分红策略
时,累积期望折现分红VL(x)可表示为:
(7)
其中,
为折现因子。当
时,通常认为
。
3. 值函数的迭代
在本节,我们主要用一列递增的值函数序列来逼近(2.3)中定义的值函数,在此主要通过迭代算法来寻进行值函数的逼近。
假设对
,定义值函数Vn为:
(8)
其中,
(9)
此时
,在此用1{.}表示示性函数。
在上述表达式中,我们仅考虑当
时的可行策略
。此时DPP成立。
定理3.1:值函数序列满足
。
证明:下面用归纳法证明该结论。
1).由可行分红策略的特征可知:
2) 假设
,则
定理3.1得证。
现定义Vn的HJB方程为:
(10)
其中,
且有
。
定义3.2:若存在常数
,使得
对所有
成立,则连续函数具有增长条件(A1)。
定理3.3:满足增长条件(A1)的最优值函数Vn在R+是递增的、局部Lipschitz的,且有
证明:首先证明不等式的第一部分。给定任意
,存在可行策略,使得
。定义可行策略
。支付h作为公司分红后,返回策略L。此时有
因此可以得到
下面证明不等式的另一部分。索赔发生之前,余额由x变成x+h的概率为
。因此有
因为g是正的、单调递增的,因此
。因此定理3.3得证。
定理3.4:最优值函数是满足增长条件(A1)的最小粘性上解。
证明:令u是(10)式的非负粘性解,且满足增长条件(A1),
为任意可行策略,
是初始盈余为x的受控盈余过程。由文献 [9] 引理5.1可知,un是连续可微的,且
,因此有
其中
是零期望鞅。若
,则
。对上式取期望可得
因为Lt为非降过程,由极限收敛定理可知
同时,由边界收敛定理可知
下面证明
对任意
,存在T使得对任意
,
由文献 [9] 引理5.1可知,存在足够大的n0,使得对任意
,
由增长条件(A1)可知,存在K使得
因此可得
综上所述可得
因此有
定理3.5:当n趋近于
时,
。
证明:通过文献 [9] 引理5.1可知,是V递增的且满足条件(A1),因此存在
使得
定义
,取
,使得
现存在可行策略
,使得
因此
定理3.5得证。
参考文献