Processing math: 50%

数学物理学报, 2020, 40(4): 1108-1120 doi:

论文

基于客户来到的二维风险模型的精细大偏差

肖鸿民,, 王占魁,

The Precise Large Deviations of a Bidimensional Risk Model Based on Customer Arrival

Xiao Hongmin,, Wang Zhankui,

通讯作者: 王占魁, 1185207932@qq.com

收稿日期: 2019-06-14  

基金资助: 国家自然科学基金.  71261023

Received: 2019-06-14  

Fund supported: the NSFC.  71261023

作者简介 About authors

肖鸿民,E-mail:xiaohm9@126.com , E-mail:xiaohm9@126.com

摘要

该文讨论基于客户来到的二维风险模型.假设潜在索赔额Xi=Xi1Xi2是独立同分布的随机向量序列,Xi1Xi2是相依的,在重尾分布族C下得到了损失过程部分和与随机和的精细大偏差.

关键词: 保险风险模型 ; 精细大偏差 ; 二维 ; C ; Copula函数

Abstract

In this paper, we discuss the two-dimensional risk model based on the entrance process. Assuming that Xi=(Xi1,Xi2) is a two-dimensional random vector sequence with the same distribution, Xi1 and Xi2 are dependent, and the precise large deviation between the partial sum and the random sum of loss precess is obtained under the heavy tail distribution family C.

Keywords: Insurance risk model ; Precise large deviations ; Two-dimensional ; C class ; Copula funtions

PDF (337KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

肖鸿民, 王占魁. 基于客户来到的二维风险模型的精细大偏差. 数学物理学报[J], 2020, 40(4): 1108-1120 doi:

Xiao Hongmin, Wang Zhankui. The Precise Large Deviations of a Bidimensional Risk Model Based on Customer Arrival. Acta Mathematica Scientia[J], 2020, 40(4): 1108-1120 doi:

1 引言

关于重尾分布的精细大偏差的研究一直以来是保险与金融行业中的研究重点,它有利于保险公司做出更好的决策及降低在经营过程中的风险.经典风险模型中精细大偏差主要关注渐近式

P(Snnμ>x)n¯F(x),
(1.1)

n,对于xTn一致成立,即

limnsupxTn|P(Snnμ>x)n¯F(x)1|=0,

其中Sn=ni=1Xi(n1)是随机变量的部分和,经典结果参见文献[1-3].

在现实中,一场意外事故的发生可能导致多种理赔的同时发生.最经典的例子:一场交通事故,人会发生意外伤害事故,车会发生损坏,则可能导致车险和意外伤害保险同时发生.因此,在最近几年,一些研究者将精细大偏差推广到多维的情形,例如,文献[4]在多维风险模型下研究了随机和的精细大偏差,后来文献[5]在相依多维风险模型下得到部分和及随机和的精细大偏差.

本文考虑基于客户来到过程的二维风险模型的精细大偏差. {N(t),t0}为一计数过程,其中N(t)表示到时刻t为止保险公司出售的保单总数,每出售一张保单保险公司在一定时期内承担来自该保单的风险.设第i个客户所拥有的保单潜在索赔额为Xi=(Xi1,Xi2)为一个二维随机向量,独立同分布于X=(X1,X2),EX=μ,μ=(μ1,μ2), X有共同边缘分布F1(x1),F2(x2)及联合分布F12(x1,x2).用Bernonlli随机变量Ii表示第i个客户所拥有的保单是否发生索赔(Ii=1表示发生索赔), P(Ii=1)=θi,P(Ii=0)=1θi,假设{Ii,i1}相互独立.设每张保单的保费为(1+δ)¯μ,其中常数δ>0为安全负载系数.则保险公司来自第i份保单的净索赔额为IiXi(1+δ)¯μ.从而总损失的部分和为

Sn=ni=1(IiXi(1+δ)¯μ),n1,

直到时刻t总损失的随机和为

SN(t)=N(t)i=1(IiXi(1+δ)¯μ),t0.

文献[6]首次提出了基于客户来到过程的风险模型,文献[7]将其推广到负相关随机变量的情形,文献[8]将其模型推广到泊松发射噪声过程,分别得到了损失过程的精细大偏差结果.本文将上述文献中讨论的模型推广到二维风险模型的情形,且每张保单发生实际索赔的概率不同,并且用copula函数表示索赔额之间的相依结构.

2 预备知识

若非负随机变量X不存在任何指数阶矩,则称相应的分布F为重尾分布.

定义2.1  C族:若F满足

limυ1lim infx¯F(υx)¯F(x)=1,等价地limυ1lim supx¯F(υx)¯F(x)=1.

定义2.2[9]  对于任意一个非负随机变量X的分布函数F,我们记

J+F=limylog¯F(y)logy,JF=limylog¯F(y)logy,

其中

¯F(y)=lim infx¯F(xy)¯F(x),¯F(y)=lim supx¯F(xy)¯F(x),y>0,

J+F,JF为分布函数F的上下Matuszewska指数.

如果FC,对任意ρ>J+F存在正常数CD,对所有的xyD,有

¯F(y)¯F(x)C(xy)ρ.
(2.1)

3 假设及主要结论

下面给出本文的一些假设条件.

A1  设存在θ>0,使得

limn1nni=1θi=θ.
(3.1)

A2  随机向量(X1,X2)的边缘分布之间通过一个copula函数C(,)连接.存在M>0满足

C(¯F1(x1),¯F2(x2))M¯F1(x1)¯F2(x2),
(3.2)

且存在1r,对所有的正函数f(x)g(x),当满足limx0f(x)=limxg(x)=0时,使得

limx0C(υf(x),υg(x))C(f(x),g(x))=υr
(3.3)

成立.

A3  设F1C,存在常数c(0,+)

limx¯F2(x)¯F1(x)=c.
(3.4)

A4  设存在ρ>J+F且任意δ>0

EN2ρ(t)I{N(t)>(1+δ)λ(t)}=O(λ2(t)).
(3.5)

注3.1  根据Sklar's Theorem,由假设A2很容易发现¯F12(x1,x2)=C(¯F1(x1),¯F2(x2)).关系式(3.2)不仅仅反映了随机变量之间的负相依性,而且反映了更广泛的相依结构.由假设A3和定义1可知边缘分布F1,F2C.

注3.2  下面我们列举两个满足假设A2的copula函数族.

1)如果C(,)是来自于Farlie-Gumbel-Morgenstern族的copula函数,即

C(x1,x2)=x1x2[1+p(1x1)(1x2)],|p|1.

则存在常数1M2成立C(x1,x2)=Mx1x2

limx0C[υf(x),υg(x)]C[f(x),g(x)]=υ2,υ>0.

2)如果C(,)是来自于Ali-Mikhail-Haq族的copula函数,即

C(x1,x2)=x1x21p(1x1)(1x2),p1,

则存在常数Mmax{1,1/(1p)}, C(x1,x2)=Mx1x2成立且limx0C[υf(x),υg(x)]C[f(x),g(x)]=υ2,υ>0.

注3.3  由不等式(E|X|r)1/r(E|X|s)1/s,0<r<s.得假设A4等价于

EN2ρ(t)I{N(t)>(1+δ)λ(t)}=o(λ2(t)),
(3.6)

故由文献[10,引理3.5]得假设A4满足更新计数过程.又根据文献[3,引理2.4],由假设A4,有

N(t)λ(t)P1,t.
(3.7)

下面给出本文在证明主要结果过程中用到的一些引理.

引理3.1  假设{Xi,i1}是一列非负随机向量,满足假设A2–A3,则下式成立.

limυ1lim supx1,x2C(¯F1(υx1),¯F2(υx2))C(¯F1(x1),¯F2(x2))=1,limυ1lim infx1,x2C(¯F1(υx1),¯F2(υx2))C(¯F1(x1),¯F2(x2))=1.
(3.8)

  由FiC,则对任意ε,υ(0,1)xi足够大,有¯Fi(υxi)(1+ε)¯Fi(xi),i=1,2.由copula函数的单调增加性及假设A2有

lim supx1,x2C(¯F1(υx1),¯F2(υx2))C(¯F1(x1),¯F2(x2))lim supx1,x2C[(1+ε)¯F1(x1),(1+ε)¯F2(x2)]C(¯F1(x1),¯F2(x2))=(1+ε)r,

因此我们有

limυ1lim supx1,x2C(¯F1(υx1),¯F2(υx2))C(¯F1(x1),¯F2(x2))limε0(1+ε)r=1.

另一方面对于任意的常数υ(0,1)同样地有

limυ1lim supx1,x2C(¯F1(υx1),¯F2(υx2))C(¯F1(x1),¯F2(x2))1.

我们用相同的方法可以证明对于任意υ>1

limυ1lim supx1,x2C(¯F1(υx1),¯F2(υx2))C(¯F1(x1),¯F2(x2))=1.

引理3.1证毕.

引理3.2[11]  如果F1,F2C,则

limx¯Fi(x+o(x))¯Fi(x)=1,limx1,x2¯F12(x1+o(x1),x2+o(x2))¯F12(x1,x2)=1.

引理3.3  设{Xi,i1}是独立同分布非负随机变量序列,其共同分布为F,均值为μ=EXi<, {Ii,i1}是相互独立的随机变量序列,那么对任意的υ>0,x>0

P(ni=1IiXi>x)nθ¯F(xυ)+(enμθx)υ.

  对任意υ>0x>0,记Ii˜Xi=min{IiXi,xυ}, Sn=ni=1Ii˜Xi则有

P(ni=1IiXi>x)P(max1inIiXi>xυ)+P(Sn>x)nθ¯F(xυ)+P(Sn>x).

对任意的h=h(x)>0,有P(Sn>x)ehxEehSn=ehxni=1EehIi˜Xi.s>0时,函数ehs1s单调递增,当y>0时不等式1+yey成立,故

ni=1EehIi˜Xini=1(1+xυ0ehs1dFids+(ehxυ1)¯Fi(xυ))ni=1(1+ehxυ1xυμθi)enθμehxυ1xυ.

h=h(x)=υxlog(xnθμ+1)

P(ni=1IiXi>x)nθ¯F(xυ)+exp{υυlog(xnθμ+1)}nθ¯F(xυ)+(enμθx)υ.

引理3.3证毕.

定理3.4  假设{Xi,i1}是一列非负随机向量,满足假设A1–A3,对任意固定的γ>0,当xγn,一致地有

P(SnESn>x)=P(YnEYn>x)((θn)2θn)¯F1(x1)¯F2(x2)+θn¯F12(x1,x2),
(3.9)

Yn=ni=1IiXi,n1.

定理3.5  假设 \{\overrightarrow{X}_{i}, i\geq 1\} 是一个非负随机向量,满足假设A1–A4,对任意固定的 \overrightarrow{\gamma}>\overrightarrow{0} ,当 \overrightarrow{x}\geq \overrightarrow{\gamma}\lambda(t) ,一致地有

\begin{align} P(\overrightarrow{S}_{N(t)}-E\overrightarrow{S}_{N(t)}>\overrightarrow{x})\sim((\theta \lambda(t))^{2}-\theta \lambda(t))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta \lambda(t)\overline{F}_{12}(x_{1}, x_{2}), \end{align}
(3.10)

\overrightarrow{Y}_{N(t)} = \sum\limits_{i = 1}^{N(t)}I_{i}\overrightarrow{X^{i}}, t\geq 0.

4 证明主要结论

定理3.4的证明  记 (I_{i}X_{1}^{i}, I_{i}X_{2}^{i})^{\top} 的联合分布函数为 F_{12}^{i}(x_{1}, x_{2}) ,边缘分布函数为 F_{1}^{i}(x_{1}), F_{2}^{i}(x_{2}) ,则有

\overline{F^{i}}_{12}(x_{1}, x_{2}) = 1-F_{12}^{i}(x_{1}, x_{2}) = \theta_{i}\overline{F}_{12}(x_{i}, x_{2}),

\overline{F^{i}}_{1}(x_{1}) = 1-F_{1}^{i}(x_{1}) = \theta_{i}F_{1}(x_{1}), {\quad} \overline{F^{i}}_{2}(x_{2}) = 1-F_{2}^{i}(x_{2}) = \theta_{i}F_{2}(x_{2}).

Y_{1n} = \sum\limits_{i = 1}^{n}I_{i}X_{1}^{i}, Y_{2n} = \sum\limits_{i = 1}^{n}I_{i}X_{2}^{i}, {\quad} i\geq 1.

首先估计(3.9)式的下界,对任意 \lambda>1

\begin{eqnarray*} && P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\overrightarrow{x})\\ &\geq& P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, \max\limits_{1\leq i\leq n}I_{i}X_{1}^{i}>\lambda x_{1}, \max\limits_{1\leq j\leq n}I_{j}X_{2}^{j}>\lambda x_{2})\\ &\geq&\sum\limits_{i = 1}^{n}\sum\limits_{j = 1}^{n}P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, I_{i}X_{1}^{i}>\lambda x_{1}, I_{j}X_{2}^{j}>\lambda x_{2})\\ &&-\sum\limits_{i = 1}^{n}\sum\limits_{j_{1}\neq j_{2}}P(I_{i}X_{1}^{i}>\lambda x_{1}, I_{j_{1}}X_{2}^{j_{1}}>\lambda x_{2}, I_{j_{2}}X_{2}^{j_{2}}>\lambda x_{2})\\ &&-\sum\limits_{i_{1}\neq i_{2}}\sum\limits_{j = 1}^{n}P(I_{i_{1}}X_{1}^{i_{1}}>\lambda x_{1}, I_{i_{2}}X_{1}^{i_{2}}>\lambda x_{1}, I_{j}X_{2}^{j}>\lambda x_{2})\\ & = :&J_{1}-J_{2}-J_{3}. \end{eqnarray*}

J_{1} 进行估计

\begin{eqnarray*} J_{1}& = &\sum\limits_{i = 1}^{n}P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, I_{i}X_{1}^{i}>\lambda x_{1}, I_{i}X_{2}^{i}>\lambda x_{2})\\ &&+\sum\limits_{i\neq j}P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, I_{i}X_{1}^{i}>\lambda x_{1}, I_{j}X_{2}^{j}>\lambda x_{2})\\ &\geq&\sum\limits_{i = 1}^{n}P(\sum\limits_{s\neq i}I_{s}X_{1}^{s}-EY_{1n}>(1-\lambda)x_{1}, \sum\limits_{l\neq i}I_{l}X_{2}^{l}-EY_{2n}>(1-\lambda)x_{2}, \\ && I_{i}X_{1}^{i}>\lambda x_{1}, I_{i}X_{2}^{i}>\lambda x_{2})\\ &&+\sum\limits_{i\neq j}P(\sum\limits_{s\neq i, j}I_{s}X_{1}^{s}-EY_{1n}>(1-\lambda)x_{1}, \sum\limits_{l\neq i, j}I_{l}X_{2}^{l}-EY_{2n}>(1-\lambda)x_{2}, \\ && I_{i}X_{1}^{i}>\lambda x_{1}, I_{j}X_{2}^{j}>\lambda x_{2})\\ & = &\sum\limits_{i = 1}^{n}P(Y_{1, n-1}-EY_{1n}>(1-\lambda)x_{1}, Y_{2, n-1}-EY_{2n}>(1-\lambda)x_{2})\\ &&\times P(I_{i}X_{1}^{i}>\lambda x_{1}, I_{i}X_{2}^{i}>\lambda x_{2})\\ &&+\sum\limits_{i\neq j}P(Y_{1, n-2}-EY_{1n}>(1-\lambda)x_{1}, Y_{2, n-2}-EY_{2n}>(1-\lambda)x_{2}) \\ &&\times P(I_{i}X_{1}^{i}>\lambda x_{1}) P(I_{j}X_{2}^{j}>\lambda x_{2}). \end{eqnarray*}

由强大数定律,我们得到

\lim\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}P(\overrightarrow{Y}_{n-1}-E\overrightarrow{Y}_{n}>(1-\lambda)\overrightarrow{x}) = 1,

\lim\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}P(\overrightarrow{Y}_{n-2}-E\overrightarrow{Y}_{n}>(1-\lambda)\overrightarrow{x}) = 1.

因此,我们得到

\begin{eqnarray} &&\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{J_{1}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{}\\ & = &\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n} \frac{\sum\limits_{i = 1}^{n}P(I_{i}X_{1}^{i}>\lambda x_{1}, I_{i}X_{2}^{i}>\lambda x_{2})+\sum\limits_{i\neq j}P(I_{i}X_{1}^{i}>\lambda x_{1})P(I_{j}X_{2}^{j}>\lambda x_{2})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{}\\ & = &\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n} \frac{\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})\sum\limits_{i = 1}^{n}\theta_{i}+\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})(\sum\limits_{i = 1}^{n}\sum\limits_{j = 1}^{n}\theta_{i}\theta_{j}-\sum\limits_{i = 1}^{n}\theta_{i})}{[(\theta n)^{2}-\theta n]\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{}\\ & = &1. \end{eqnarray}
(4.1)

J_{2} 进行估计

\begin{eqnarray*} J_{2}& = &\sum\limits_{j_{1}\neq j_{2}}P(I_{j_{1}}X_{1}^{j_{1}}>\lambda x_{1}, I_{j_{1}}X_{2}^{j_{1}}>\lambda x_{2})P(I_{j_{2}}X_{2}^{j_{2}}>\lambda x_{2})\\ &&+\sum\limits_{i\neq j_{1}}\sum\limits_{j_{1}\neq j_{2}}P(I_{i}X_{1}^{i}>\lambda x_{1}, I_{j_{2}}X_{2}^{j_{2}}>\lambda x_{2})P(I_{j_{1}}X_{2}^{j_{1}}>\lambda x_{2})\\ &\leq & n\overline{F}_{2}(\lambda x_{2})n\theta\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})\\ &&+n\overline{F}_{2}(\lambda x_{2})\{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2}) +\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})\}. \end{eqnarray*}

因此可以得到

\begin{eqnarray} &&\limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{J_{2}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{}\\ &\leq&\limsup\limits_{n\rightarrow\infty}\sup\limits_{x_{2}\geq\gamma_{2}n}2n\overline{F}_{2}(\lambda x_{2}){}\\ & = &0. \end{eqnarray}
(4.2)

类似地可以得到

\begin{equation} \limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{J_{3}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})} = 0. \end{equation}
(4.3)

由(4.1)–(4.3)式得

\begin{eqnarray*} &&\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{P(\overrightarrow{Y}_{n }-E\overrightarrow{Y}_{n}>\overrightarrow{x})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2})}\\ &\geq&\bigg(\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{P(Y_{1n}-EY_{1n} >x_{1}, Y_{2n}-EY_{2n}>x_{2})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}\bigg)\\ &&\times \bigg(\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2})}\bigg)\\ & = &\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2})}. \end{eqnarray*}

由假设A3及引理3.1得,对于 \lambda>1

\begin{equation} \lim\limits_{\lambda\downarrow 1 }\liminf\limits_{x_{1}\rightarrow\infty, x_{2}\rightarrow\infty}\frac{P(X_{1}^{i}>\lambda x_{1}, X_{2}^{j}>\lambda x_{2})}{P(X_{1}^{i}>x_{1}, X_{2}^{j}>x_{2})} = 1, \end{equation}
(4.4)

因此我们得到

\begin{eqnarray} &&\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\overrightarrow{x})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2})}{}\\ &\geq&\lim\limits_{\lambda\downarrow 1}\bigg(\liminf\limits_{n\rightarrow\infty}\inf\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{((\theta n)^{2}-\theta n)\overline{F}_{1}(\lambda x_{1})\overline{F}_{2}(\lambda x_{2})+\theta n\overline{F}_{12}(\lambda x_{1}, \lambda x_{2})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2})}\bigg){}\\ & = &1. \end{eqnarray}
(4.5)

估计(3.9)式上界,对任意的 0<\upsilon<1 ,记 I_{i}\widetilde{X}_{1}^{i} = \min\{I_{i}X_{1}^{i}, \upsilon x_{1}\}, I_{i}\widetilde{X}_{2}^{i} = \min\{I_{i}X_{2}^{i}, \upsilon x_{2}\}, \widetilde{S}_{1, n} = \sum\limits_{i = 1}^{n}I_{i}\widetilde{X}_{1}^{i}, \widetilde{S}_{2, n} = \sum\limits_{i = 1}^{n}I_{i}\widetilde{X}_{2}^{i}, \widetilde{x}_{1} = x_{1}+n\theta\mu_{1}, \widetilde{x}_{2} = x_{2}+n\theta\mu_{2}, 我们得到

\begin{eqnarray} && P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\overrightarrow{x}){}\\ & = &P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}){}\\ &\leq&\sum\limits_{i = 1}^{n}\sum\limits_{j = 1}^{n}P(I_{i}X_{1}^{i}>\upsilon x_{1}, I_{j}X_{2}^{j}>\upsilon x_{2}){}\\ &&+P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, \max\limits_{1\leq i\leq n}I_{i}X_{1}^{i}\leq\upsilon x_{1}, \max\limits_{1\leq j\leq n}I_{j}X_{2}^{j}\leq\upsilon x_{2}){}\\ &&+P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, \max\limits_{1\leq i\leq n}I_{i}X_{1}^{i}>\upsilon x_{1}, \max\limits_{1\leq j\leq n}I_{j}X_{2}^{j}\leq\upsilon x_{2}){}\\ &&+P(Y_{1n}-EY_{1n}>x_{1}, Y_{2n}-EY_{2n}>x_{2}, \max\limits_{1\leq i\leq n}I_{i}X_{1}^{i}\leq\upsilon x_{1}, \max\limits_{1\leq j\leq n}I_{j}X_{2}^{j}>\upsilon x_{2}){}\\ & = :&K_{1}+K_{2}+K_{3}+K_{4}. \end{eqnarray}
(4.6)

估计 K_{1}

\begin{eqnarray*} K_{1}& = &\sum\limits_{i = 1}^{n}P(I_{i}X_{1}^{i}>\upsilon x_{1}, I_{i}X_{2}^{i}>\upsilon x_{2})+\sum\limits_{i\neq j}P(I_{i}X_{1}^{i}>\upsilon x_{1}P(I_{j}X_{2}^{j}>\upsilon x_{2})\\ & = &((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2}) . \end{eqnarray*}

由假设A3及引理3.1,对任意 \upsilon\in(0, 1) ,有

\begin{equation} \lim\limits_{\lambda\uparrow 1 }\limsup\limits_{x_{1}\rightarrow\infty, x_{2}\rightarrow\infty}\frac{P(X_{1}^{i}>\upsilon x_{1}, X_{2}^{j}>\upsilon x_{2})}{P(X_{1}^{i}>x_{1}, X_{2}^{j}>x_{2})} = 1. \end{equation}
(4.7)

因此

\begin{equation} \lim\limits_{\lambda\uparrow 1 }\limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{K_{1}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+\theta n\overline{F}_{12}(x_{1}, x_{2})} = 1. \end{equation}
(4.8)

估计 K_{2} :我们让 a_{1} = \max\{-\log n\overrightarrow{F}_{1}(\upsilon x_{1}), 1\}, a_{2} = \max\{-\log n\overrightarrow{F}_{2}(\upsilon x_{2}), 1\} ,当 x_{1}\geq\gamma_{1}n, x_{2}\geq\gamma_{2}n 时,有 a_{1} , a_{2} 分别一致地趋于无穷大,对任意的 h_{1}>0, h_{2}>0

\begin{eqnarray*} &&\frac{K_{2}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})}\\ &\leq&\frac{n}{n\theta^{2}-\theta}\frac{P(\widetilde{S}_{1n}>\widetilde{x}_{1}, \widetilde{S}_{2n}>\widetilde{x}_{2})}{n\overline{F}_{1}(\upsilon x_{1})n\overline{F}_{2}(\upsilon x_{2})}\\ &\leq&\frac{n}{n\theta^{2}-\theta}\frac{e^{-h_{1}\widetilde{x}_{1}-h_{2}\widetilde{x}_{2}}\prod\limits_{i = 1}^{n}Ee^{h_{1}I_{i}\widetilde{X}_{1}^{i}+h_{2}I_{i}\widetilde{X}_{2}^{i}}}{n\overline{F}_{1}(\upsilon x_{1})n\overline{F}_{2}(\upsilon x_{2})}\\ &\leq&\frac{n}{n\theta^{2}-\theta}e^{-h_{1}\widetilde{x}_{1}-h_{2}\widetilde{x}_{2}+a_{1}+a_{2}}\prod\limits_{i = 1}^{n} \bigg(1+\int_{0}^{\upsilon x_{2}}\int_{0}^{\upsilon x_{1}}(e^{h_{1}s_{1}+h_{2}s_{2}}-1)F_{12}^{i}({\rm d}s_{1}, {\rm d}s_{2})\\ &&+\int_{0}^{\upsilon x_{2}}\int_{\upsilon x_{1}}^{\infty}(e^{h_{1}\upsilon x_{1}+h_{2}s_{2}}-1)F_{12}^{i}({\rm d}s_{1}, {\rm d}s_{2})+\int_{\upsilon x_{2}}^{\infty}\int_{0}^{\upsilon x_{1}}(e^{h_{1}s_{1}+h_{2}\upsilon x_{2}}-1)F_{12}^{i}({\rm d}s_{1}, {\rm d}s_{2})\\ &&+\int_{\upsilon x_{2}}^{\infty}\int_{\upsilon x_{1}}^{\infty}(e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}}-1)F_{12}^{i}({\rm d}s_{1}, {\rm d}s_{2})\bigg)\\ &\leq&\frac{n}{n\theta^{2}-\theta}e^{-h_{1}\widetilde{x}_{1}-h_{2}\widetilde{x}_{2}+a_{1}+a_{2}} \exp\bigg\{\sum\limits_{i = 1}^{n}\theta_{i}\bigg(\int_{0}^{\upsilon x_{2}}\int_{0}^{\upsilon x_{1}}(e^{h_{1}s_{1}+h_{2}s_{2}}-1)F_{12}({\rm d}s_{1}, {\rm d}s_{2})\\ &&+\int_{0}^{\upsilon x_{2}}\int_{\upsilon x_{1}}^{\infty}(e^{h_{1}\upsilon x_{1}+h_{2}s_{2}}-1)F_{12}({\rm d}s_{1}, {\rm d}s_{2})+\int_{\upsilon x_{2}}^{\infty}\int_{0}^{\upsilon x_{1}}(e^{h_{1}s_{1}+h_{2}\upsilon x_{2}}-1)F_{12}({\rm d}s_{1}, {\rm d}s_{2})\\ &&+\int_{\upsilon x_{2}}^{\infty}\int_{\upsilon x_{1}}^{\infty}(e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}}-1)F_{12}({\rm d}s_{1}, {\rm d}s_{2})\bigg)\bigg\}\\ & = &\frac{n}{n\theta^{2}-\theta} \exp \bigg\{\sum\limits_{i = 1}^{n}\theta_{i}(L_{1}+L_{2}+L_{3}+L_{4})-h_{1}\widetilde{x}_{1}-h_{2}\widetilde{x}_{2}+a_{1}+a_{2}\bigg\}, \end{eqnarray*}

其中地四个不等式用到基本不等式 1+x\leq e^{x} .对积分 L_{1} 进行划分得

\begin{eqnarray*} L_{1}& = &\bigg(\int_{0}^{\upsilon x_{2}/a_{2}^{2}}\int_{0}^{\upsilon x_{1}/a_{1}^{2}}+\int_{0}^{\upsilon x_{2}/a_{2}^{2}}\int_{\upsilon x_{1}/a_{1}^{2}}^{\upsilon x_{1}}+\int_{\upsilon x_{2}/a_{2}^{2}}^{\upsilon x_{2}}\int_{0}^{\upsilon x_{1}/a_{1}^{2}}+\int_{\upsilon x_{2}/a_{2}^{2}}^{\upsilon x_{2}}\int_{\upsilon x_{1}/a_{1}^{2}}^{\upsilon x_{1}}\bigg)\\ &&\times (e^{h_{1}s_{1}+h_{2}s_{2}}-1)F_{12}({\rm d}s_{1}, {\rm d}s_{2})\\ &\leq&e^{h_{1}\upsilon x_{1}/a_{1}^{2}+h_{2}\upsilon x_{2}/a_{2}^{2}}(h_{1}\mu_{1}+h_{2}\mu_{2})+e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}/a_{2}^{2}}\overline{F}_{1}(\upsilon x_{1}/a_{1}^{2})\\ &\quad&+e^{h_{1}{\upsilon x_{1}/a_{1}^{2}}+h_{2}\upsilon x_{2}}\overline{F}_{2}(\upsilon x_{2}/a_{2}^{2})+e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}}\overline{F}_{12}(\upsilon x_{1}/a_{1}^{2}, \upsilon x_{2}/a_{2}^{2}). \end{eqnarray*}

上式用到基本不等式 e^{x}-1\leq xe^{x} .下面我们考虑 L_{2}

\begin{eqnarray*} L_{2}& = &\bigg(\int_{0}^{\upsilon x_{2}/a_{2}^{2}}\int_{\upsilon x_{1}}^{\infty}+\int_{\upsilon x_{2}/a_{2}^{2}}^{\upsilon x_{2}}\int_{\upsilon x_{1}}^{\infty}\bigg)(e^{h_{1}\upsilon x_{1}+h_{2}s_{2}}-1)F_{12}({\rm d}s_{1}, {\rm d}s_{2})\\ &\leq&e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}/a_{2}^{2}}\overline{F}_{1}(\upsilon x_{1})+e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}}\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2}/a_{2}^{2}). \end{eqnarray*}

类似于 L_{2} 的方法处理 L_{3}

L_{3}\leq e^{h_{1}\upsilon x_{1}/a_{1}^{2}+h_{2}\upsilon x_{2}}\overline{F}_{2}(\upsilon x_{2})+e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}}\overline{F}_{12}(\upsilon x_{1}/a_{1}^{2}, \upsilon x_{2}).

对于 L_{4}

L_{4}\leq e^{h_{1}\upsilon x_{1}+h_{2}\upsilon x_{2}}\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2}).

h_{1} = \frac{a_{1}-2\rho\log a_{1}}{\upsilon x_{1}}, h_{2} = \frac{a_{2}-2\rho\log a_{2}}{\upsilon x_{2}} ,通过文献[3,引理2.2]及(3.2)式.由 F\in C ,则存在 M, C_{1}, C_{2} 使得

\begin{eqnarray*} &&\frac{K_{2}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})}\\ &\leq&\frac{n}{n\theta^{2}-\theta}{\rm exp}(e^{a_{1}^{-1}}e^{a_{2}^{-1}}n(\theta+o(1))(h_{1}\mu_{1}+h_{2}\mu_{2})+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}C_{1}e^{a_{2}^{-1}}+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}C_{2}e^{a_{1}^{-1}}\\ &&+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}\frac{MC_{1}C_{2}}{n}+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}o(1)e^{a_{2}^{-1}}+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}o(1)\frac{MC_{2}}{n}+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}o(1)e^{a_{1}^{-1}}\\ &&+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}o(1)\frac{MC_{1}}{n}+\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}o(1)\frac{M}{n}-h_{1}\widetilde{x}_{1}-h_{2}\widetilde{x}_{2}+a_{1}+a_{2})\\ &\leq& O(1){\rm exp}\{e^{a_{1}^{-1}}e^{a_{2}^{-1}}n(\theta+o(1))(h_{1}\mu_{1}+h_{2}\mu_{2}) -h_{1}(x_{1}+n\theta\mu_{1})-h_{2}(x_{2}+n\theta\mu_{2}) +a_{1}+a_{2}\}\\ &\leq& O(1){\rm exp}\{(e^{a_{1}^{-1}}e^{a_{2}^{-1}}-1)(\theta h_{1}\mu_{1}n+\theta h_{2}\mu_{2}n)+(o(n)h_{1}\mu_{1}+o(n)h_{2}\mu_{2})e^{a_{1}^{-1}}e^{a_{2}^{-1}}\\ &&-h_{1}x_{1}-h_{2}x_{2}+a_{1}+a_{2}\}\\ &\leq &O(1)\exp\bigg\{o(n)\bigg(\frac{a_{1}-2\rho\log a_{1}}{\upsilon x_{1}}+\frac{a_{2}-2\rho\log a_{2}}{\upsilon x_{2}}\bigg)\\ && -\frac{a_{1}-2\rho\log a_{1}}{\upsilon}-\frac{a_{2}-2\rho\log a_{2}}{\upsilon}+a_{1}+a_{2}\bigg\}\\ & = &O(1)\{o(\theta_{1})+o(\theta_{2})+(1-\frac{1}{\upsilon})\theta_{1}+(1-\frac{1}{\upsilon})\theta_{2}\}, \end{eqnarray*}

因此

\begin{equation} \limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{K_{2}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})} = 0. \end{equation}
(4.9)

估计 K_{3} ,由于函数 g(X_{2}^{i}) = \widetilde{X}_{2}^{i} 是单调增函数,因此(3.2)式对 X_{1}^{i} \widetilde{X}_{2}^{i} 也满足.所以

\begin{eqnarray*} K_{3}& = &\sum\limits_{i = 1}^{n}P(I_{i}X_{1}^{i}>\upsilon x_{1}, \widetilde{S}_{2n}>\widetilde{x}_{2})\\ &\leq&\sum\limits_{i = 1}^{n}\int_{0}^{\upsilon x_{2}}\cdots\int_{0}^{\upsilon x_{2}}P(I_{i}X_{1}^{i}>\upsilon x_{1}, I_{i}\widetilde{X}_{2}^{i}>\widetilde{x}_{2}-x_{21}\cdots x_{2, i-1}, x_{2, i+1}\cdots x_{2n})\\ &\quad&\times G_{i}({\rm d}x_{21}\cdots {\rm d}x_{2, i-1}, {\rm d}x_{2, i+1}\cdots {\rm d}x_{2n})\\ & = &\sum\limits_{i = 1}^{n}\theta_{i}\int_{0}^{\upsilon x_{2}}\cdots\int_{0}^{\upsilon x_{2}}P(X_{1}^{i}>\upsilon x_{1}, \widetilde{X}_{2}^{i}>\widetilde{x}_{2}-x_{21}\cdots x_{2, i-1}, x_{2, i+1}\cdots x_{2n})\\ &\quad&\times G_{i}({\rm d}x_{21}\cdots {\rm d}x_{2, i-1}, {\rm d}x_{2, i+1}\cdots {\rm d}x_{2n})\\ &\leq&M\sum\limits_{i = 1}^{n}\int_{0}^{\upsilon x_{2}}\cdots\int_{0}^{\upsilon x_{2}}P(X_{1}^{i}>\upsilon x_{1})P(I_{i}\widetilde{X}_{2}^{i}>\widetilde{x}_{2}-x_{21}\cdots x_{2, i-1}, x_{2, i+1}\cdots x_{2n})\\ &\quad&\times G_{i}({\rm d}x_{21}\cdots {\rm d}x_{2, i-1}, {\rm d}x_{2, i+1}\cdots {\rm d}x_{2n})\\ & = &Mn\overline{F}_{1}(\upsilon x_{1})P(\widetilde{S}_{2n}>\widetilde{x}_{2}), \end{eqnarray*}

其中 G_{i} I_{1}\widetilde{X}_{2}^{1}, \cdots I_{i-1}\widetilde{X}_{2}^{i-1}, I_{i+1}\widetilde{X}_{2}^{i+1}\cdots I_{n}\widetilde{X}_{2}^{n} 的联合分布,因此

\frac{K_{3}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})}\leq\frac{nM}{n\theta^{2}-\theta}\frac{P(\widetilde{S}_{2n}>\widetilde{x}_{2})}{n\overline{F}_{1}(\upsilon x_{1})}.

由前面用到的 a_{2} = \max\{-\log n\overline{F}_{2}(\upsilon x_{2}), 1\}, h_{2} = \frac{a_{2}-2\rho\log a_{2}}{\upsilon x_{2}} ,同样地,对 K_{3}

\begin{eqnarray*} &&\frac{K_{3}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})}\\ &\leq&\frac{nM}{n\theta^{2}-\theta} \exp\bigg\{\frac{1}{n}\sum\limits_{i = 1}^{n}\theta_{i}\{h_{2}\mu_{2}n(e^{h_{2}\upsilon x_{2}}/a_{2}^{2}-1)+B_{2}e^{h_{2}\upsilon x_{2}}a_{2}^{2\rho}n\overline{F}_{2}(\upsilon x_{2})\} -h_{2}x_{2}+a_{2}\bigg\}. \end{eqnarray*}

\begin{equation} \limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{K_{3}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})} = 0. \end{equation}
(4.10)

由于 K_{3} K_{4} 具有相同结构,则

\begin{equation} \limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{K_{4}}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})} = 0. \end{equation}
(4.11)

由(4.6)–(4.11)式得

\begin{equation} \limsup\limits_{n\rightarrow\infty}\sup\limits_{\overrightarrow{x}\geq\overrightarrow{\gamma}n}\frac{P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\overrightarrow{x})}{((\theta n)^{2}-\theta n)\overline{F}_{1}(\upsilon x_{1})\overline{F}_{2}(\upsilon x_{2})+\theta n\overline{F}_{12}(\upsilon x_{1}, \upsilon x_{2})}\leq1. \end{equation}
(4.12)

由(4.5)与(4.12)式,定理3.4得证.

定理3.5的证明  注意到

\begin{eqnarray*} P(\overrightarrow{S}_{N(t)}-E\overrightarrow{S}_{N(t)}>\overrightarrow{x})& = &\sum\limits_{n = 1}^{\infty}P(\overrightarrow{S}_{n}-E\overrightarrow{S}_{N(t)}>\overrightarrow{x})P(N(t) = n)\\ & = &\bigg(\sum\limits_{n<(1-\delta)\lambda(t)}+\sum\limits_{(1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t)}+\sum\limits_{n>(1+\delta)\lambda(t)}\bigg)\\ &\quad&\times P(\overrightarrow{S}_{n}-E\overrightarrow{S}_{N(t)}>\overrightarrow{x})P(N(t) = n)\\ & = &L_{1}+L_{2}+L_{3}, \end{eqnarray*}

这儿当 t\rightarrow\infty E\overrightarrow{S}_{N(t)}\sim(\theta-1-\delta)\overrightarrow{\mu}\lambda(t), 0<\delta<\min\{\gamma_{1}/\mu_{1}, \gamma_{2}/\mu_{2}\} 的任意常数,下面估计 L_{1} ,由(3.7)式与定理3.4得

\begin{eqnarray} L_{1}&\leq&\sum\limits_{n<(1-\delta)\lambda(t)}P(\overrightarrow{S}_{[(1-\delta)\lambda(t)]} -E\overrightarrow{S}_{N(t)}>\overrightarrow{x})P(N(t) = n) {}\\ &&\sim([(1-\delta)\lambda(t)]^{2}\theta^{2}-[(1-\delta)\lambda(t)]\theta)\overline{F}_{1}(x'_{1}) \overline{F}_{2}(x'_{2}){}\\ && +[(1-\delta)\lambda(t)]\theta\overline{F}_{12}(x'_{1}, x'_{2}) P(N(t)\leq(1-\delta)\lambda(t)){}\\ & = &o\{((\theta\lambda(t))^{2}-\theta\lambda(t))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2}) +\theta\lambda(t)\overline{F}_{1, 2}(x_{1}, x_{2})\}, \end{eqnarray}
(4.13)

这里 x'_{i} = x_{i}+(\theta-1-\delta)\overrightarrow{\mu}\lambda(t)-[(1-\delta)\lambda(t)](\theta-1-\delta)\overrightarrow{\mu}>x_{i}, i = 1, 2 下面我们估计 L_{2} ,注意当 n\rightarrow\infty E\overrightarrow{Y}_{n} = E(\sum\limits_{i = 1}^{n}I_{i}\overrightarrow{X}_{1}^{i})\sim\theta\overrightarrow{\mu}n ,当 n, t\rightarrow\infty (1+\delta)\overrightarrow{\mu}n+E\overrightarrow{S}_{N(t)}-E\overrightarrow{Y}_{n}\sim(1+\delta-\theta)\overrightarrow{\mu}(n-\lambda(t)) ,由(3.7)式,引理3.2及定理3.4,对任意固定的 \overrightarrow{\gamma}>\overrightarrow{0} ,当 \overrightarrow{x}\geq\overrightarrow{\gamma}\lambda(t) 时,对 (1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t) 一致地有

\begin{eqnarray} L_{2}& = &\sum\limits_{(1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t)}P(\overrightarrow{S}_{n}-E\overrightarrow{S}_{N(t)}>\overrightarrow{x})P(N(t) = n){}\\ & = &\sum\limits_{(1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t)}P(\overrightarrow{Y}_{n}>\overrightarrow{x}+(1+\delta)\overrightarrow{\mu}n+E\overrightarrow{S}_{N(t)})P(N(t) = n){}\\ & = &\sum\limits_{(1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t)}P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\overrightarrow{x}+(1+\delta)\overrightarrow{\mu}n+E\overrightarrow{S}_{N(t)}-E\overrightarrow{Y}_{n}){}\\ && P(N(t) = n){}\\ & &\sim\sum\limits_{(1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t)}P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\overrightarrow{x}+(1+\delta-\theta)\overrightarrow{\mu}(n-\lambda(t))P(N(t) = n){}\\ &&\sim\sum\limits_{(1-\delta)\lambda(t)\leq n\leq(1+\delta)\lambda(t)}P(N(t) = n)(n\theta\overrightarrow{F}_{1, 2}(x''_{1}, x''_{2})+((n\theta)^{2}-n\theta)\overrightarrow{F}_{1}(x''_{1})\overrightarrow{F}_{2}(x''_{2})){}\\ &&\sim P((1-\delta)\lambda(t)\leq N(t)\leq(1+\delta)\lambda(t))\theta\lambda(t)\overrightarrow{F}_{1, 2}(x_{1}, x_{2}) {}\\ &&+((\theta\lambda(t))^{2}-\theta\lambda(t)) \overrightarrow{F}_{1}(x_{1})\overrightarrow{F}_{2}(x_{2}){}\\ &&\sim\theta\lambda(t)\overrightarrow{F}_{1, 2}(x_{1}, x_{2})+((\theta\lambda(t))^{2}-\theta\lambda(t))\overrightarrow{F}_{1}(x_{1})\overrightarrow{F}_{2}(x_{2}), \end{eqnarray}
(4.14)

这里 x''_{i} = x_{i}+(1+\delta-\theta)\mu_{i}(n-\lambda(t)) = x_{i}+o(x_{i}) ,下面估计 L_{3} ,结合引理3.3,存在 \rho>J^{+}_{F} ,我们得到

\begin{eqnarray*} L_{3}&\leq&\sum\limits_{n>(1+\delta)\lambda(t)}P(\overrightarrow{Y}_{n}>\overrightarrow{x})P(N(t) = n)\\ &\leq&\sum\limits_{n>(1+\delta)\lambda(t)}\sup\limits_{\overrightarrow{\gamma}\lambda(t)\leq\overrightarrow{x}\leq2n\overrightarrow{\mu}\theta}(\frac{4n^{2}\theta^{2}\mu_{1}\mu_{2}}{x_{1}x_{1}})^{\rho}P(N(t) = n)\\ &&+\sum\limits_{n>(1+\delta)\lambda(t)}\sup\limits_{\overrightarrow{x}>2n\overrightarrow{\mu}\theta}P(\overrightarrow{Y}_{n}>\overrightarrow{x})P(N(t) = n)\\ &&+\sum\limits_{n>(1+\delta)\lambda(t)}\sup\limits_{\gamma_{1}\lambda(t)\leq x_{1}\leq2n\mu_{1}\theta, x_{2}>2n\mu_{2}\theta}(\frac{2n\mu_{1}\theta}{x_{1}})^{\rho}P(Y_{2n}>x_{2})P(N(t) = n)\\ &&+\sum\limits_{n>(1+\delta)\lambda(t)}\sup\limits_{\gamma_{2}\lambda(t)\leq x_{2}\leq2n\mu_{2}\theta, x_{1}>2n\mu_{1}\theta}(\frac{2n\mu_{2}\theta}{x_{2}})^{\rho}P(Y_{1n}>x_{1})P(N(t) = n)\\ & = &M_{1}+M_{2}+M_{3}+M_{4}, \end{eqnarray*}

对于 M_{1} ,由(3.6)式及文献[12,引理1]得存在 C_{1}>0 使得下式成立

\begin{eqnarray} M_{1}&\leq&\sum\limits_{n>(1+\delta)\lambda(t)}C_{1}\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})(4n^{2}\theta^{2}\mu^{1}\mu_{2})^{\rho}P(N(t) = n){}\\ & = &(4\theta^{2}\mu_{1}\mu_{2})^{\rho}C_{1}\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})EN^{2\rho}(t)I_{\{N(t)>(1+\delta)\lambda(t)\}}{}\\ & = &o(\theta^{2}\lambda^{2}(t)-\theta\lambda(t))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2}), \end{eqnarray}
(4.15)

对于 M_{2} ,由(2.1)式, (3.2)式及定理3.4得:存在正常数 M C_{2}

\begin{eqnarray*} M_{2}&\leq&\sum\limits_{n>(1+\delta)\lambda(t)}\sup\limits_{\overrightarrow{x}>2n\overrightarrow{\mu}\theta}P(\overrightarrow{Y}_{n}-E\overrightarrow{Y}_{n}>\frac{\overrightarrow{x}}{2})P(N(t) = n)\\ &&\sim\sum\limits_{n>(1+\delta)\lambda(t)}((n\theta)^{2}-(n\theta))\overline{F}_{1}(\frac{x_{1}}{2})\overline{F}_{2}(\frac{x_{2}}{2})+n\theta\overline{F}_{12}(\frac{x_{1}}{2}, \frac{x_{2}}{2})P(N(t) = n)\\ &\leq&\sum\limits_{n>(1+\delta)\lambda(t)}C_{2}2^{2\rho}((n\theta)^{2}-(n\theta))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})+MC_{2}2^{2\rho}n\theta\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})\\ & = &C_{2}2^{2\rho}\theta^{2}\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})EN^{2}(t)I_{\{N(t)>(1+\delta)\lambda(t)\}} \\ && -C_{2}2^{2\rho}\theta\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2}) EN(t)I_{\{N(t)>(1+\delta)\lambda(t)\}}\\ &&+MC_{2}2^{2\rho}\theta\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})EN(t)I_{\{N(t)>(1+\delta)\lambda(t)\}}, \end{eqnarray*}

由(3.6)式我们得到

\begin{equation} M_{2} = o(\theta^{2}\lambda^{2}(t)-\theta\lambda(t))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2}). \end{equation}
(4.16)

M_{3} ,通过(2.1)式及文献[12,引理1],存在常数 C_{3}, C_{4}

\begin{eqnarray} M_{3}&\leq&\sum\limits_{n>(1+\delta)\lambda(t)}C_{3}\overline{F}_{1}(x_{1})(2\mu_{1}n\theta)^{p}\sup\limits_{x_{2}>2n\mu_{2}\theta}P(Y_{2n}-EY_{2n}>\frac{x_{2}}{2})P(N(t) = n){}\\ &&\sim\sum\limits_{n>(1+\delta)\lambda(t)}C_{3}\overline{F}_{1}(x_{1})(2\mu_{1}n\theta)^{p}n\theta\overline{F}_{2}(\frac{x_{2}}{2})P(N(t) = n){}\\ & = &C_{4}C_{4}2^{2\rho}\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2})EN^{\rho+1}(t)I_{\{N(t)>(1+\delta)\lambda(t)\}}{}\\ & = &o(\theta^{2}\lambda^{2}(t)-\theta\lambda(t))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2}). \end{eqnarray}
(4.17)

同样地我们能得到

\begin{equation} M_{2} = o(\theta^{2}\lambda^{2}(t)-\theta\lambda(t))\overline{F}_{1}(x_{1})\overline{F}_{2}(x_{2}). \end{equation}
(4.18)

因此由(4.15)–(4.18)式我们得到

\begin{equation} L_{3} = o\{\theta\lambda(t)\overrightarrow{F}_{1, 2}(x_{1}, x_{2})+((\theta\lambda(t))^{2}-\theta\lambda(t))\overrightarrow{F}_{1}(x_{1})\overrightarrow{F}_{2}(x_{2})\}. \end{equation}
(4.19)

结合(4.13), (4.14)和(4.19)式,定理3.5得证.

5 结语

本文在重尾分布族 C 下,得到了二维风险模型的部分和与随机和的精细大偏差.

参考文献

Heyde C C .

On large deviation problems for sums of random variables which are not attracted to the normal law

The Annals of Mathematical Statistics, 1967, 38 (5): 1575- 1578

DOI:10.1214/aoms/1177698712      [本文引用: 1]

Klüppelberg C , Mikosch T .

Large deviations of heavy-tailed random sums with applications in insurance and finance

J Appl Probab, 1997, 34 (2): 293- 308

DOI:10.2307/3215371     

Ng K W , Tang Q H , Yan J A , Yang H L .

Precise large deviations for sums of random variables with consistently varying tails

J Appl Probab, 2004, 41 (1): 93- 107

DOI:10.1239/jap/1077134670      [本文引用: 3]

Wang S J , Wang W S .

Precise large deviations for sums of random variables with consistently varying tails in multi-risk models

J Appl Probab, 2007, 44 (4): 889- 900

DOI:10.1239/jap/1197908812      [本文引用: 1]

Wang S J , Wang W S .

Precise large deviations for sums of random variables with consistent variation in dependent multi-risk models

Comm Statist Theo Meth, 2013, 42 (24): 4444- 4459

DOI:10.1080/03610926.2011.648792      [本文引用: 1]

Ng K W , Tang Q H , Yan J A , Yang H L .

Precise large deviations for the prospective-loss process

J Appl Probab, 2003, 40 (2): 391- 400

DOI:10.1239/jap/1053003551      [本文引用: 1]

Wang Y B , Wang K Y , Cheng D Y .

Precise large deviations for sums of negatively associated random variables with common dominatedly varying tails

Acta Math Sin Engl Ser, 2006, 22 (6): 1725- 1734

DOI:10.1007/s10114-005-0745-8      [本文引用: 1]

Shen X M , Lin Z Y , Zhang Y .

Precise large deviations for the actual aggregate loss process

Stoch Anal Appl, 2009, 27 (5): 1000- 1013

DOI:10.1080/07362990903136512      [本文引用: 1]

Bingham N H , Goldie C M , Teugel J L . Regular Variation. Cambridge: Cambridge University Press, 1987

[本文引用: 1]

Tang Q H , Su C , Jiang T , Zhang J S .

Large deviations for heavy-tailed random sums in compound renewal model

Statist Probab Lett, 2001, 52 (1): 91- 100

DOI:10.1016/S0167-7152(00)00231-5      [本文引用: 1]

Chen Y , Zhang W .

Large deviations for random sums of negatively dependent random variables with consistently varying tails

Statist Probab Lett, 2007, 77 (5): 530- 538

DOI:10.1016/j.spl.2006.08.021      [本文引用: 1]

Kong F C , Zhao P .

Some large deviation results for generalized compound binomial risk models

J Math Res, 2009, 29 (6): 1047- 1053

URL     [本文引用: 2]

/