A monotonicity property of the composition of regularized and inverted-regularized gamma functions...

6
J. Math. Anal. Appl. 348 (2008) 971–976 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications www.elsevier.com/locate/jmaa A monotonicity property of the composition of regularized and inverted-regularized gamma functions with applications Edward Furman a , Riˇ cardas Zitikis b,a Department of Mathematics and Statistics, York University, Toronto, Ontario M3J 1P3, Canada b Department of Statistical and Actuarial Sciences, University of Western Ontario, 1151 Richmond Street North, London, Ontario N6A 5B7, Canada article info abstract Article history: Received 9 December 2007 Available online 5 August 2008 Submitted by V. Pozdnyakov Keywords: Regularized gamma function Incomplete gamma function Inverted gamma function Composition Monotonicity Inequalities Insurance The gamma function and its various modifications such as the (upper) incomplete, regularized and inverted-regularized incomplete gamma functions are of importance in both theory and applications. In this note we observe an ‘if and only if’ relationship between a certain axiom of insurance risk management and a monotonicity property of the composition of regularized and inverted-regularized incomplete gamma functions, assuming that the risks follow gamma distributions. We derive the monotonicity property by utilizing the above noted relationship and a probabilistic technique. The aforementioned insurance axiom, called consistent no-undercut, is explained in detail and related to several techniques of analysis. © 2008 Elsevier Inc. All rights reserved. 1. Introduction Important roles in theory and applications have been played by the gamma function (γ ) = 0 x γ 1 e x dx and its various modifications such as the (upper) incomplete gamma function (γ , v ) = v x γ 1 e x dx, the regularized incom- plete gamma function Q (γ , v ) = (γ , v )/(γ ), inverted-regularized incomplete gamma function Q 1 (γ , t ), which is the solution in v of the equation Q (γ , v ) = t (0, 1), and numerous other extensions and generalizations. For the aforementioned and other related functions, we find in the literature asymptotic and monotonicity properties, various inequalities. For example, asymptotics of incomplete gamma functions when γ →∞ has been investigated in [4,23]; of regularized incomplete gamma functions in [21]; of inverted-regularized incomplete gamma functions in [22]. Monotonic- ity results and inequalities for lower, upper, complete, and incomplete gamma functions and their extensions have been studied in [14]; see also references therein. Recent research in the area of risk measurement and management (see [8]) has revealed additional functions of interest that are aggregates of several incomplete gamma functions, such as R c (γ , v ) = (γ + c, v ) (γ , v ) = (γ + c) (γ ) · Q (γ + c, v ) Q (γ , v ) The project has been supported by the Actuarial Education and Research Fund and the Society of Actuaries Committee on Knowledge Extension Research under the grant “Weighted Premium Calculation Principles and Risk Capital Allocations.” Support from the Natural Sciences and Engineering Research Council (NSERC) of Canada is also gratefully acknowledged. * Corresponding author. E-mail addresses: [email protected] (E. Furman), [email protected] (R. Zitikis). URLs: http://www.math.yorku.ca/~efurman/ (E. Furman), http://www.stats.uwo.ca/faculty/zitikis/main.htm (R. Zitikis). 0022-247X/$ – see front matter © 2008 Elsevier Inc. All rights reserved. doi:10.1016/j.jmaa.2008.07.070

Transcript of A monotonicity property of the composition of regularized and inverted-regularized gamma functions...

J. Math. Anal. Appl. 348 (2008) 971–976

Contents lists available at ScienceDirect

Journal of Mathematical Analysis and Applications

www.elsevier.com/locate/jmaa

A monotonicity property of the composition of regularized andinverted-regularized gamma functions with applications ✩

Edward Furman a, Ricardas Zitikis b,∗a Department of Mathematics and Statistics, York University, Toronto, Ontario M3J 1P3, Canadab Department of Statistical and Actuarial Sciences, University of Western Ontario, 1151 Richmond Street North, London, Ontario N6A 5B7, Canada

a r t i c l e i n f o a b s t r a c t

Article history:Received 9 December 2007Available online 5 August 2008Submitted by V. Pozdnyakov

Keywords:Regularized gamma functionIncomplete gamma functionInverted gamma functionCompositionMonotonicityInequalitiesInsurance

The gamma function and its various modifications such as the (upper) incomplete,regularized and inverted-regularized incomplete gamma functions are of importance inboth theory and applications. In this note we observe an ‘if and only if ’ relationshipbetween a certain axiom of insurance risk management and a monotonicity propertyof the composition of regularized and inverted-regularized incomplete gamma functions,assuming that the risks follow gamma distributions. We derive the monotonicity propertyby utilizing the above noted relationship and a probabilistic technique. The aforementionedinsurance axiom, called consistent no-undercut, is explained in detail and related to severaltechniques of analysis.

© 2008 Elsevier Inc. All rights reserved.

1. Introduction

Important roles in theory and applications have been played by the gamma function �(γ ) = ∫ ∞0 xγ −1e−x dx and its

various modifications such as the (upper) incomplete gamma function �(γ , v) = ∫ ∞v xγ −1e−x dx, the regularized incom-

plete gamma function Q (γ , v) = �(γ , v)/�(γ ), inverted-regularized incomplete gamma function Q −1(γ , t), which is thesolution in v of the equation Q (γ , v) = t ∈ (0,1), and numerous other extensions and generalizations.

For the aforementioned and other related functions, we find in the literature asymptotic and monotonicity properties,various inequalities. For example, asymptotics of incomplete gamma functions when γ → ∞ has been investigated in [4,23];of regularized incomplete gamma functions in [21]; of inverted-regularized incomplete gamma functions in [22]. Monotonic-ity results and inequalities for lower, upper, complete, and incomplete gamma functions and their extensions have beenstudied in [14]; see also references therein.

Recent research in the area of risk measurement and management (see [8]) has revealed additional functions of interestthat are aggregates of several incomplete gamma functions, such as

Rc(γ , v) = �(γ + c, v)

�(γ , v)= �(γ + c)

�(γ )· Q (γ + c, v)

Q (γ , v)

✩ The project has been supported by the Actuarial Education and Research Fund and the Society of Actuaries Committee on Knowledge Extension Researchunder the grant “Weighted Premium Calculation Principles and Risk Capital Allocations.” Support from the Natural Sciences and Engineering ResearchCouncil (NSERC) of Canada is also gratefully acknowledged.

* Corresponding author.E-mail addresses: [email protected] (E. Furman), [email protected] (R. Zitikis).URLs: http://www.math.yorku.ca/~efurman/ (E. Furman), http://www.stats.uwo.ca/faculty/zitikis/main.htm (R. Zitikis).

0022-247X/$ – see front matter © 2008 Elsevier Inc. All rights reserved.doi:10.1016/j.jmaa.2008.07.070

972 E. Furman, R. Zitikis / J. Math. Anal. Appl. 348 (2008) 971–976

and

Qc(γ , v) = �(γ + c, v)

γ �(γ , v)= �(γ + c)

�(γ + 1)· Q (γ + c, v)

Q (γ , v),

where c > 0 is a constant. Specifically, in [8] we have related the functions Rc(γ , v) and Qc(γ , v) to certain insurancerisk management axioms (see Section 2 below) and showed that the axioms are satisfied if, with c = 1, the functionsγ �→ Rc(γ , v) and γ �→ Qc(γ , v) are, respectively, increasing and decreasing. More general cases leading to other thanc = 1 values of the constant c > 0 have also been discussed in [8] along with monotonicity properties and risk managementinterpretations.

The ratio and other related combinations of two gamma functions have fascinated researchers for a long time. In [14]we find references to the literature concerning monotonicity properties of, and inequalities for, the ratio function γ �→�(γ + c)/�(γ + 1), as well as a number of newly established monotonicity properties and inequalities concerning theratio function and its counterparts with incomplete gamma functions. Numerous results, notes, references, and insightfulcomments on the ratio of two gamma functions are provided in [15].

Interestingly, not only the ratios of two incomplete gamma functions are linked to axioms of insurance risk managementbut also the following composition:

Cc(γ , t) = Q(γ + c, Q −1(γ , t)

).

Specifically, in Section 3 below we show that the risk management axiom known in the literature as ‘consistent no-undercut’holds and, in turn, implies the interesting fact that the function γ �→ Cc(γ , t) is decreasing.

We want to point out that our research in [8], which is about γ �→Rc(γ , v) and γ �→Qc(γ , v), and the current research,which is about γ �→ Cc(γ , t), are different from the actuarial point of view in the sense that they are related to differentrisk measures and capital allocations. Moreover, the research in [8] and that in the present paper also differ greatly fromthe mathematical point of view.

We conclude this paper with Section 4 where we discuss another general method for establishing bounds related toactuarial axioms. Our attempt to use the method in the context of the current paper has revealed an intriguing problemwhose resolution, if successful, could yield a convenient technique for the verification of a number of actuarial axioms,especially of those that are based on bounds for risk measures and their induced risk capital allocations.

2. Insurance risk measurement and management: a set-up

Consider a portfolio {X1, . . . , XK } of K insurance risks Xk , which can be viewed as non-negative random variables. Theaggregate portfolio risk is the sum of the individual risks, that is, S = X1 + · · · + XK .

Let X denote the set of all possible risks. Then, given a risk X ∈ X (e.g., Xk , S , or some other), let H[X] denote theamount of capital that the insurer needs to set aside due to the risk X in order to remain solvent if X happens to occur.The H[X] is called the risk measure of X , and it provides a certainty equivalence for X frequently referred to as the risk oreconomic capital. In this light, H[S] is the risk measure of the entire portfolio. Likewise, H[Xk] is the risk measure of theindividual risk Xk when it is treated as a stand-alone risk, that is, not a part of the portfolio.

We shall discuss constructions of risk functionals H : X → [0,∞] later in this section. Now we only note that a naturalproperty that every risk functional should satisfy is the following bound, usually referred to as the non-negative loading,

H[X] � E[X],which should hold for every X ∈ X . We note in passing that in practice the risk capital H[X] should be larger than theexpected loss E[X] since otherwise the insurer will become insolvent almost surely (see, e.g., Section 2.2.3.2 in [3, p. 62],concerning the non-negative loading). To introduce further necessary notation, we write the expectation E[X] = ∫

x dF X (x),where F X (x) = P[X � x] is the distribution function corresponding to the model’s probability measure P.

Risks are often aggregated, which leads to a portfolio of risks. We refer to the map A :X ×X → [0,∞] as the risk capitalallocation, which literally speaking refers to the amount of capital that the insurer needs to set aside due to, e.g., risk Xwhen it is considered a part of the portfolio, that is X ∈ {X1, . . . , XK }. We denote this risk capital allocation by A[X, S].Likewise, for the risk SΔ = ∑

k∈Δ Xk of a sub-portfolio {Xk,k ∈ Δ} ⊆ {X1, . . . , XK }, we have the allocation A[SΔ, S] which,in general, is not equal to the risk measure H[SΔ], unless Δ = {1, . . . , K }.

Since one is interested in aggregation benefits such as the diversification effect, one would expect that no sub-portfolio{Xk,k ∈ Δ} ⊆ {X1, . . . , XK } should be allocated more risk capital than the same set {Xk,k ∈ Δ} when considered as a stand-alone risk. We call this property consistent no-undercut and formulate it mathematically as the bound

A[SΔ, S] � H[SΔ], (1)

which has to hold for every sub-set Δ ⊆ {1, . . . , K }. Naturally, A[SΔ, S] = H[SΔ] when Δ = {1, . . . , K }. In general, we assumethat for every risk X ∈X (e.g., Xk , S , etc.) the equation

A[X, X] = H[X] (2)

E. Furman, R. Zitikis / J. Math. Anal. Appl. 348 (2008) 971–976 973

holds, which is a natural property that every risk measure and its induced risk capital allocation should satisfy. For discus-sions of capital allocations and their properties, we refer to [2,11].

2.1. Weighted risk functionals and allocations

There are a number of ways for constructing loaded risk measures. One of them is based on noting that the expectationE[X] can be written (using integration by parts) as the integral

∫ ∞0 (1 − F X (x))dx. With a function g(t) such that g(0) = 0,

g(1) = 1 and g(t) � t (e.g., concave), we arrive at the loaded risk measure∫ ∞

0 g(1− F X (x))dx. The latter integral is known inthe literature (see, e.g., Section 2.6 in [3, pp. 84–95]) as the distortion risk measure, and g(t) is called a distortion function.For a related general discussion of the Choquet integral, we refer to [1]; see also [3].

Another fruitful method for constructing loaded risk measures has been suggested and explored in [7], and it is basedon the bound

E[

X w(X)]� E[X]E[

w(X)], (3)

which holds for all non-negative and non-decreasing Borel functions w(x) (see [12]). We call w(x) a weight function, andsince it is chosen by the decision maker, we can assume without loss of practical generality that the function is not zeroP-almost surely; hence, E[w(X)] > 0. Dividing both sides of bound (3) by E[w(X)], we obtain the ratio

H w [X] = E[X w(X)]E[w(X)] ,

which we call the weighted risk measure in [7]. In view of bound (3), the weighted risk measure is loaded, that is,H w [X] � E[X]. It encapsulates a large number of known risk measures (see [7]). To proceed with our current discussion, weonly need to consider two examples of H w [X].

First, with the indicator function w(x) = 1{x � z}, which is of course a non-decreasing function of x, we have that

H w [X] = E[X | X � z], (4)

which is the conditional expectation of X given X � z. Risk measure (4) is of practical interest when measuring risks inreinsurance business, where the reinsurer only observes losses that exceed a certain fixed retention level z determined by acontract.

Second, with w(x) = 1{x � F −1X (t)}, where F −1

X (t) = inf{x: F X (x) � t} is the left-continuous inverse of F X (x) calledquantile function in statistics, we have that

H w [X] = E[

X∣∣ X � F −1

X (t)], (5)

which is known in the literature (see, e.g., [3]) as the tail conditional expectation (TCE).Risk measures (4) and (5) induce the following risk capital allocations, respectively,

E[X | S � z] and E[

X∣∣ S � F −1

S (t)]. (6)

More generally, we have the weighted risk capital allocation (see [6]):

Aw [X, S] = E[X w(S)]E[w(S)] .

Obviously, with w(x) = 1{x � z} and w(x) = 1{x � F −1S (t)}, the allocation Aw [X, S] gives those in (6).

The risk measure E[X | X � z] and its induced risk capital allocation E[X | S � z] have been investigated in the literature.Recently, based on monotonicity properties of the functions γ �→ Rc(γ , v) and γ �→ Qc(γ , v), and also making a naturalassumption that the risks Xk follow the gamma distribution F Xk (z) = 1 − Q (γk,αz) with parameters γk > 0 and α > 0, ithas been shown in [8] (see also Section 4 below) that

E[SΔ | S � z] � E[SΔ | SΔ � z] (7)

with the strong inequality ‘<’ holding if∑

j∈�Δ γ j > 0, where �Δ denotes the complement of Δ in {1, . . . , K }. Hence,property (1) holds for the allocation A[SΔ, S] = E[SΔ | S � z] and the risk measure H[SΔ] = E[SΔ | SΔ � z]. For the latterrisk measure, it has been shown in [8] that H[SΔ] � H[S], which is intuitive since more risks result in higher expectedlosses. These results are based on the aforementioned monotonicity properties of the functions γ �→ Rc(γ , v) and γ �→Qc(γ , v).

It has turned out, however, that neither the aforementioned results concerning E[X | X � z] and E[X | S � z] nor thenoted monotonicity properties of the functions γ �→Rc(γ , v) and γ �→Qc(γ , v) are particularly helpful (see also Section 4below) when deriving bounds for the TCE risk measure and its induced risk capital allocation, such as the bound

E[

∣∣ S � F −1(t)]� E

[SΔ

∣∣ SΔ � F −1(t)], (8)

S SΔ

974 E. Furman, R. Zitikis / J. Math. Anal. Appl. 348 (2008) 971–976

which provides an analog of bound (7). Interestingly, bound (8) appears to be equivalent (barring some trivial cases) to thecondition that the function γ �→ Cc(γ , t) is non-increasing (see Corollary 3.1 and its proof below). This is important sinceanalytical tools for analyzing the shape and establishing other properties of the function γ �→ Cc(γ , t) can now be used inthe analysis of the two expectations making bound (8).

3. Monotonicity of γ �→ Cc(γ , t) via consistent no-undercut

The following proposition generalizes bound (8).

Proposition 3.1. Assume that random variables ξ and σ have continuous distribution functions. Furthermore, let v(x) be a non-negative and non-decreasing Borel function, and let E[v(ξ)] < ∞. Then we have that

E[v(ξ)

∣∣ σ � F −1σ (t)

]� E

[v(ξ)

∣∣ ξ � F −1ξ (t)

]. (9)

Proof. For simplicity of presentation, denote x = F −1ξ (t) and y = F −1

σ (t). Using the continuity of the distribution functionsof ξ and σ , we have that the expectations E[1{ξ � x}] and E[1{σ � y}], which are actually the probabilities P[ξ � x] andP[σ � y], are equal to 1 − t . Hence, we have the equation

E[v(ξ)

∣∣ ξ � x] − E

[v(ξ)

∣∣ σ � y] = (1 − t)−1E

[v(ξ)d(ξ,σ )

],

where d(ξ,σ ) = 1{ξ � x} − 1{σ � y}. To complete the proof of Proposition 3.1, we need to check that E[v(ξ)d(ξ,σ )] � 0.To this end, we rewrite the latter expectation as the sum of E[v(ξ)d(ξ,σ )1{ξ � x}] and E[v(ξ)d(ξ,σ )1{ξ < x}]. Note thatd(ξ,σ )1{ξ � x} � 0 and d(ξ,σ )1{ξ < x} � 0. Hence, we have that

E[v(ξ)d(ξ,σ )

] = E[v(ξ)d(ξ,σ )1{ξ � x}] + E

[v(ξ)d(ξ,σ )1{ξ < x}]

� E[v(x)d(ξ,σ )1{ξ � x}] + E

[v(x)d(ξ,σ )1{ξ < x}]

= v(x)E[d(ξ,σ )

].

As noted earlier, both E[1{ξ � x}] and E[1{σ � y}] are equal to 1 − t , and so the expectation E[d(ξ,σ )] is equal to 0, thuscompleting the proof of the bound E[v(ξ)d(ξ,σ )] � 0. Inequality (9) follows. �

The following proposition generalizes the corresponding ones in [5] and [8].

Proposition 3.2. Let ξ and η be independent non-negative random variables, and let v(x) be a non-negative function such thatE[v(ξ)] ∈ (0,∞). Then for every z � 0 such that P[ξ + η � z] > 0 we have that

E[v(ξ)

∣∣ ξ + η � z] = E

[v(ξ)

]P[ξ∗ + η � z]P[ξ + η � z] , (10)

where ξ∗ � 0 is an independent of η random variable with the probability distribution z �→ P[ξ∗ � z] given by the equation

P[ξ∗ � z

] = E[1{ξ � z}v(ξ)]E[v(ξ)] . (11)

Proof. The proof follows from the equations:

E[v(ξ)

∣∣ ξ + η � z] = E[v(ξ)1{ξ + η � z}]

E[1{ξ + η � z}] = E[v(ξ)

]P[ξ∗ + η � z]P[ξ + η � z] . �

Since in the present paper we are particularly interested in the aforementioned monotonicity property of the functionγ �→ Cc(γ , t), we proceed under the assumption that the independent risks Xk have gamma distributions Ga(γk,α) withparameters γk > 0 and α > 0, that is,

F Xk (z) = 1 − Q (γk,αz). (12)

We also note that this assumption frequently appears in the literature on insurance risk measurement and managementsince claim distributions frequently have shapes similar to the gamma distribution, i.e., they are non-negatively supported,unimodal, and skewed to the right. We also encounter situations when Xk ’s have distributions Ga(γk,αk) with possiblydifferent γk > 0 and αk > 0 for different values of k, and we also encounter situations when X1, . . . , XK are dependentrandom variables, but these situations are beyond our immediate interest in the present paper.

Coming now back to our main discussion, under assumption (12) we next formulate a corollary to Propositions 3.1and 3.2; the corollary is the main result of the present paper.

E. Furman, R. Zitikis / J. Math. Anal. Appl. 348 (2008) 971–976 975

Corollary 3.1. For every t ∈ (0,1), the function γ �→ Cc(γ , t) is decreasing.

Proof. Using Proposition 3.2 with the function v(z) = zc and keeping in mind the continuity of the distribution functionF Xk (t), we have, with x = F −1

SΔ(t) and y = F −1

S (t) for notational simplicity, the following equations:

E[

ScΔ

∣∣ S � y] = E

[Sc

Δ

∣∣ SΔ + S�Δ � y] = 1

1 − tE[

ScΔ

](1 − F S∗

Δ+S�Δ(y)

), (13)

E[

ScΔ

∣∣ SΔ � x] = 1

1 − tE[

ScΔ

](1 − F S∗

Δ(x)

). (14)

Note that due to Proposition 3.1, the expectation E[ScΔ | S � y] does not exceed E[Sc

Δ | SΔ � x]. Combining this inequalitywith Eqs. (13) and (14), we obtain that

1 − F S∗Δ+S�Δ

(y) � 1 − F S∗Δ(x). (15)

Note that SΔ ∼ Ga(∑

j∈Δ γ j,α) for every Δ ⊆ {1, . . . , K }. Hence, y = F −1S (t) is the tth quantile of Ga(

∑Kj=1 γ j,α), which

is equal to α−1 Q −1(∑K

j=1 γ j,1 − t). Likewise, x = F −1SΔ

(t) is the tth quantile of Ga(∑

j∈Δ γ j,α), which is equal to

α−1 Q −1(∑

j∈Δ γ j,1 − t). Since S∗Δ ∼ Ga(

∑j∈Δ γ j + c,α) (see [7,13]), we have that S∗

Δ + S�Δ ∼ Ga(∑K

j=1 γ j + c,α). Hence,bound (15) is equivalent to

Q(γ + ε + c, Q −1(γ + ε,1 − t)

)� Q

(γ + c, Q −1(γ ,1 − t)

), (16)

where γ = ∑j∈Δ γ j and ε = ∑

j∈�Δ γ j . Note that bound (16) can be equivalently rewritten as Cc(γ +ε,1− t) � Cc(γ ,1− t).Since γ j > 0 can be any, this bound therefore implies that the function γ �→ Cc(γ , t) is non-increasing for every t ∈ (0,1).Note, however, that equality in (16) is impossible when ε > 0 and t ∈ (0,1). This completes the proof of Corollary 3.1. �

Reflecting upon the proof of Corollary 3.1, we see that we have established a monotonicity property of the functionγ �→ Cc(γ , t) using a probabilistic technique. We note in this regard that probabilistic techniques of proof have been used anumber of times in the literature on special functions such as gamma (see, e.g., [9,10,19,20], and references therein), betaand hypergeometric (see, e.g., [16–18], and references therein). Many of these results have been analyzed, commented upon,and presented in the context of recent progress in the area in [15].

4. Another technique for analyzing consistent no-undercut

Various versions of the following general proposition play important roles when characterizing the weighted risk measureH w [X] and its induced weighted risk capital allocation Aw [X, Y ].

Proposition 4.1. Let ξ , σ and ζ be non-negative random variables, and let wσ (x) and wζ (x) be two deterministic, non-negative, andnon-decreasing Borel functions. Then we have that

Awσ [ξ,σ ]⎧⎨⎩

�=�

⎫⎬⎭ Awζ [ξ, ζ ] (17)

if, respectively, the function

r(x) = E[wζ (ζ ) | ξ = x]E[wσ (σ ) | ξ = x]

is non-decreasing, constant, and non-increasing.

Proof. We start with two equations:

Awσ [ξ,σ ] = E[ξhσ (ξ)]E[hσ (ξ)] , (18)

where hσ (x) = E[wσ (σ ) | ξ = x], and

Awζ [ξ, ζ ] = E[ξhζ (ξ)]E[hζ (ξ)] , (19)

where hζ (x) = E[wζ (ζ ) | ξ = x]. The right-hand side of Eq. (18) does not exceed the right-hand side of Eq. (19) if r(x) =hζ (x)/hσ (x) is a non-decreasing function (see, e.g., [7] and references therein). This proves the top bound in (17). Theequality and the bottom bound in (17) follow similarly. �

976 E. Furman, R. Zitikis / J. Math. Anal. Appl. 348 (2008) 971–976

Note that the consistent no-undercut property (8) is the top bound in (17) with the random variables ξ = SΔ , σ = S ,and ζ = SΔ , and the weight functions wσ (x) = 1{x � F −1

σ (t)} and wζ (x) = 1{x � F −1ζ (t)}. We have that ξ = ζ and, under

the assumption that the risks X1, . . . , XK are independent (see the paragraph above Corollary 3.1), the sums SΔ and S�Δ

are independent. Therefore, the ratio r(x) can be written as follows:

r(x) = 1{x � F −1SΔ

(t)}P[S�Δ � F −1

S (t) − x] .

The function r(x) vanishes when x < F −1SΔ

(t) and is equal to 1 when x > F −1S (t). Hence, r(x) is a non-decreasing function

in x if F −1SΔ

(t) = F −1S (t). When F −1

SΔ(t) < F −1

S (t), the only way for the function r(x) to be non-decreasing is to have the

function x �→ P[S�Δ � F −1S (t) − x] constant on the interval (F −1

SΔ(t), F −1

S (t)). This happens if, for example, the set �Δ isempty, in which case S�Δ = 0 and thus SΔ = S . However, in most non-trivial cases we do not have the degeneracy of S�Δ .In fact, we have that x �→ P[S�Δ � F −1

S (t) − x] is increasing on the interval (F −1SΔ

(t), F −1S (t)) and thus the function r(x) is

decreasing on the interval. This shows that there are important examples when we cannot conclude from Proposition 4.1which of A[SΔ, S] and H[SΔ] is larger, due to non-monotonicity of r(x). Note, however, that monotonicity of r(x) is only asufficient condition, thus suggesting an intriguing problem of finding a way to weaken the monotonicity conditions on r(x)in Proposition 3.1 but still have statements (17).

Interestingly, if the functions wσ (x) and wζ (x) coincide, in which case we denote them simply by w(x), then Proposi-tion 3.1 becomes remarkably useful. To see how the proposition can be utilized in the analysis of specific problems, we firstexpress the function r(x) as follows

r(x) = w(x)

E[w(x + S�Δ)]and then analyze several examples. First, let w(x) = 1{x � z}, which leads to the so-called excess-risk allocation. Thenr(x) = 1{x � z}/P[S�Δ � z − x], which is a non-decreasing function. Second, let w(x) = xz for some z > 0 which leads to thesize-biased allocation. Then r(x) = 1/E[(1 + x−1 S�Δ)z], which is a non-decreasing function. Third, let w(x) = exp{zx}, whichleads to Esscher’s allocation. Clearly, r(x) is constant. Finally, let w(x) = 1 − exp{−zx}, which leads to Kamps’s allocation.We check that the function r(x) is increasing by calculating its derivative:(

d

dx

)r(x) =

(d

dx

)(1 − e−zx

1 − aze−zx

)= (1 − az)ze−zx

(1 − aze−zx)2,

which is positive, where az = E[e−zS�Δ ].Acknowledgments

Sincere thanks are due to Professor Feng Qi and an anonymous referee for suggestions: mathematical and literature related.

References

[1] D. Denneberg, Non-additive Measure and Integral, Kluwer, Dordrecht, 1994.[2] M. Denault, Coherent allocation of risk capital, J. Risk 4 (2001) 1–34.[3] M. Denuit, J. Dhaene, M. Goovaerts, R. Kaas, Actuarial Theory for Dependent Risks: Measures, Orders and Methods, Wiley, New York, 2005.[4] C. Ferreira, J.L. López, E. Pérez Sinusía, Incomplete gamma functions for large values of their variables, Adv. in Appl. Math. 34 (2005) 467–485.[5] E. Furman, Z. Landsman, Risk capital decomposition for a multivariate dependent gamma portfolio, Insurance Math. Econom. 37 (2005) 635–649.[6] E. Furman, R. Zitikis, Discussion of “An Actuarial Premium Pricing Model for Nonnormal Insurance and Financial Risks in Incomplete Markets” by

Zinoviy Landsman and Michael Sherris, N. Am. Actuar. J. 11 (2007) 174–176.[7] E. Furman, R. Zitikis, Weighted premium calculation principles, Insurance Math. Econom. 42 (2008) 459–465.[8] E. Furman, R. Zitikis, Monotonicity of ratios involving incomplete gamma functions with actuarial applications, JIPAM. J. Inequal. Pure Appl. Math. 9 (3)

(2008), Article 61, 6 pp. Available online at http://jipam.vu.edu.au/article.php?sid=999.[9] J. Gurland, On Wallis’ formula, Amer. Math. Monthly 63 (1956) 643–645.

[10] J. Gurland, An inequality satisfied by the gamma function, Skand. Aktuartidskr. 39 (1956) 171–172.[11] J.H.T. Kim, M.R. Hardy, A capital allocation based on a solvency exchange option, Report Nr. 07–12, Institute of Insurance and Pension Research,

University of Waterloo, Waterloo, Ontario, 2007.[12] E.L. Lehmann, Some concepts of dependence, Ann. Math. Statistics 37 (1966) 1137–1153.[13] G.P. Patil, K.J. Ord, On size-biased sampling and related form-invariant weighted distributions, Sankhya, Ser. B 38 (1976) 48–61.[14] F. Qi, Monotonicity results and inequalities for the gamma and incomplete gamma functions, Math. Inequal. Appl. 5 (2002) 61–67.[15] F. Qi, Bounds for the ratio of two gamma functions, RGMIA Research Report Collection 11 (3) (2008). Article 1. Available online at http://www.staff.vu.

edu.au/rgmia/v11n3.asp.[16] B.R. Rao, On some analogues of Gautschi’s inequality satisfied by the beta and the hypergeometric functions, Skand. Aktuartidskr. (1970) 15–19.[17] B.R. Rao, A note on some properties of the hypergeometric function with the last argument unity, Skand. Actuarial. J. (1974) 140–143.[18] B.R. Rao, Gautschi-type inequalities for incomplete absolute moments of a multivariate distribution with applications, Metron 39 (1981) 43–51.[19] B.R. Rao, On an inequality satisfied by the gamma function and its logarithmic derivatives, Metron 39 (1981) 125–131.[20] B.R. Rao, On some analogs of Rao–Cramér inequality and a series of inequalities satisfied by the gamma function, Metron 42 (1984) 89–108.[21] N.M. Temme, The asymptotic expansion of the incomplete gamma functions, SIAM J. Math. Anal. 10 (1979) 757–766.[22] N.M. Temme, Asymptotic inversion of incomplete gamma functions, Math. Comp. 58 (1992) 755–764.[23] N.M. Temme, Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters, Methods Appl. Anal. 3 (1996)

335–344.