1. 引言
保险中的最优分红问题可以追溯到 [1] 。之后,这一领域的论文大量涌现。关于复合泊松模型的代表性文章有 [2] [3] [4] [5] [6] 。为了更贴近实际,我们考虑在此模型基础上加入投资和借贷, [7] 运用了粘性解的方法研究了这个模型的最优分红问题,但是证明过程比较复杂。我们创新性地运用了测度值生成元的方法重新研究了这个模型。较之以前的方法,这个新方法证明过程更加简单,简化了推导过程。
我们研究分红问题的目的是找到最优分红策略使得破产前的累积期望折现分红最大化。我们运用测度值生成元的方法时,索赔额分布我们允许是任意的。我们首先要讨论值函数的性质,且对可行策略和马氏策略进行刻画,然后从马氏策略中推导出动态规划原理和动态规划方程。但是我们从可行策略中证明了验证定理。
文章结构如下:第二节详细阐述了该问题。第三节讨论值函数性质,刻画了马氏策略和可行策略。第四节得出了动态规划原理和方程。
2. 模型介绍
为了使我们优化问题的研究过程更加严谨,首先给出一赋予完备
-代数流的概率空间
在不受控条件下,保险公司的盈余过程表示为:
其中
为保费收入率。
服从强度为
的泊松过程,索赔额序列
为一列独立同分布分严格正随机变量,其分布函数为G,并且是与
独立的。
为存款利率。
为借贷利率。当出现余额赤字时,进行借贷,并且贷款额等于赤字数。同时保险公司将连续地从保费收入中偿还贷款和贷款利息。
定义
,
为第i次索赔到达的时刻,定义推移算子
,其满足
其中
。
分红策略
是一过程,
是从初始时刻到t时刻公司分给股东的累积分红。给定分红策略L,则相对应的受控余额过程
为:
(1)
并且相对应的绝对破产时刻定义为:
一个分红策略是可行的,如果:
1)
,
是非降的,可料的,左连右极;
2) 等式(1)有唯一强解
;
3) 对任意
,令
。
,且
;
对任意
,我们定义
为所有满足初始条件
的可行策略的集合。令
是折现率。累积期望折现分红定义为:
值函数为
,
,特别地,我们规定当
时,
。如果存在可行策略
满足
时,则我们称
为最优分红策略。
3. 可行策略和马氏策略
在这一节我们将证明值函数的基本性质,并且刻画可行策略和马氏策略。
令
为从
出发,没有索赔发生时
的确定路径,即
其中
。
命题3.1:值函数
是非负的,非降的,在
上是局部Lipschitz连续的。若
,
时,
,并且
时,
。
证明:证明过程详见 [7] 的定理3.1和定理3.2。证毕。
定义函数
,其满足:
1)
,
是非降的,左连右极的;
2) 等式
有唯一解
;
3) 对任意
,
,有
,且
;
令
为所有满足上述条件的函数
的集合。
定理3.2:一个分红策略
是可行的当且仅当
(2)
其中
-可测的。
证明:若(2)式成立,我们显然可知分红策略L是可行的。所以我们只需证明必要性。由于
是一个跳过滤(参考 [8] ),即
a.s.
因此,存在
-可测函数
使得(2)式成立。由于
,所以
。证毕。
定义3.3:若受控余额过程
是强马氏过程,则称分红策略
是马氏策略。若受控余额过程
是时齐的强马氏过程,则称分红策略
,是平稳马氏策略。
令U为所有可测函数
的集合,其中可测函数
满足:
1) 对任意
,其中
是等式
的唯一解。
2) 对任意
。
定理3.4:分红策略
,是平稳马氏策略当且仅当存在可测函数
使得
(3)
证明:首先证明必要性。由于
是一个平稳马氏控制策略,因此其对应的盈余过程
为是时齐的强马氏过程。进而可得
其中
是一个推移算子。从(1)式,我们可得
,因此由 [9] 的定义4.1可知
是余额过程
的可加泛函。从 [9] 的定理3.9,我们可知存在一个可测函数
使得(3)式成立。
接下来,我们证明充分性。事实上
是一个三元特征为
逐段决定马氏过程,其中
是两个索赔之间的确定的
轨道。其表述为
。
则
然后定义两个函数
;
,
,
和
都是方程
的解。由于
,所以这个方程有唯一解。进而可得,
又由于
因此,
是一个时齐的强马氏过程,
是平稳马氏控制策略。
4. 动态规划原理和方程
引理4.1:假定存在最优分红策略
,并且其是平稳马氏策略,
与之一一对应,则对任意
,
,有
证明:由于
是最优分红策略,
之对应,则
(4)
现在我们取
构造一个新的平稳马氏策略
,从0时刻到
,我们取
;
之后取
则,我们可得
(5)
综合(4)和(5)式,结论得证。证毕。
整理(5)式,可知
又因为
则可得
(6)
令
对任意
,则(6)式可被写为:
(7)
由于
和(7)式知
因此,上式左边这个函数关于t是非增的,又由于
,
。所以
,
,
另一方面,我们假定存在最优平稳马氏策略L*,其与函数
相对应。在(4)上运用相同的方法,可得
,
,
(8)
因此,综合上述两个式子,我们可知
,
,
(9)
这意味着
, (10)
其中
。 (11)
等式(10)为动态规划方程。