arxiv:math/ v1 [math.pr] 19 Apr 2001

Transcription

1 Conitional Expectation as Quantile Derivative arxiv:math/00490v math.pr 9 Apr 200 Dirk Tasche November 3, 2000 Abstract For a linear combination u j X j of ranom variables, we are intereste in the partial erivatives of its α-quantile Q α u) regare as a function of the weight vector u = u j ). It turns out that uner suitable conitions on the joint istribution of X j ) the erivatives exist an coincie with the conitional expectations of the X i given that u j X j takes the value Q α u). Moreover, using this result, we euce formulas for the erivatives with respect to the u i for the so-calle expecte shortfall E uj X j Q α u) δ uj X j Q α u), with δ fixe. Finally, we stuy in some more etail the coherence properties of the expecte shortfall in case δ =. Key wors: quantile; value-at-risk; quantile erivative; conitional expectation; expecte shortfall; conitional value-at-risk; coherent risk measure. Introuction The last ecae has seen a growing interest in quantiles of probability istributions by practitioners mainly in the financial inustry. Since quantiles have a simple interpretation in terms of over- or unershoot probabilities they have foun entrance in current risk management practice in form of the value-at-risk concept cf. 0). In particular, there is nee for computing erivatives of quantiles of weighte sums of ranom variables with respect to the weights. 2 represents an early example for the use of these erivatives. More recently, in 5 was shown for general risk measures that their erivatives with respect to the asset weights are the key to the solution of the capital allocation problem see also 4 for the case of coherent risk measures). The problem to allocate the total risk to risk sources in connection with the nee to ifferentiate risk measures appears also in other scientific isciplines. For an example in statistics see 6. In case of normally istribute ranom vectors the formulae for the erivatives are obvious cf. 7). In, a result Theorem ) was provie for general istributions an even non- Zentrum Mathematik SCA), TU München, München, Germany; tasche@ma.tum.e

2 linear combinations of ranom variables. A similar formula can be foun in 6. Unfortunately, the results in an 6 lack of an intuitive explanation. Nevertheless, reaily interpretable formulae are available for the case of linear combinations of ranom variables cf. 9 or 8). The primary intention with the present paper is to give a sufficient conition as general as possible on the unerlying istribution for the formulae in 9 an 8) to remain vali. In aition, we will transfer the result on quantiles onto the so-calle expecte shortfall also calle conitional value-at-risk). Finally, because of the theoretical importance of the expecte shortfall we will iscuss its role as coherent risk measure in the sense of. This paper is organize as follows: In section 2 we recall some properties of conitional ensities an introuce the technical assumptions neee for the main result on ifferentiation of quantiles. In section 3, this result is presente in an easy to igest eq. 6)) an a rigorous version Theorem 3.3). We then apply the result to the expecte shortfall in section 4. The last section is evote to a more etaile stuy of the latter with respect to its coherence properties. 2 Some facts on conitional ensities We are going to present sufficient conitions for quantiles of a sum u i X i to be ifferentiable with respect to the weights u i. These conitions will heavily rely on the existence of a conitional ensity of one component of the X i given the others. So we will start our stuy by summarizing some facts on conitional ensities. First we recall the notion of conitional ensity in the context of a ranom vector X,...,X ). We write BR ) for the σ-algebra of Borel sets on R. By the inicator function IA) = IA,ω) of a set A we mean the function efine by IA, ω) ef = {, if ω A 0, if ω / A. ) Definition 2. Let 2 an let X,...,X ) be an R -value ranom vector. A measurable function φ : R 0, ),t,x 2,...,x ) φt,x 2,...,x ) is calle conitional ensity of X given X 2,...,X ) if for all A BR), B BR ) PX A, X 2,...,X ) B = E IX 2,...,X ) B) φt,x 2,...,X )t. An equivalent formulation for Definition 2. is φt,x 2,...,X )t = P X A X 2,...,X, 2) A i.e. φ,x 2,...,X ) is a ensity of the conitional istribution of X given X 2,...,X ). Recall the well-known fact that the existence of a joint ensity of X,...,X ) is sufficient but not 2 A

3 necessary for the existence of a conitional ensity of X given X 2,...,X ). On the other han, the existence of such a conitional ensity implies that the unconitional istribution of X has a ensity f that is given by ft) = Eφt,X 2,...,X ). Moreover, a situation can occur where the istribution of X 2,...,X ) is purely iscrete an a conitional ensity of X given X 2,...,X ) exists. For our purpose, the following three easy conclusions from the existence of a conitional ensity are important. Lemma 2.2 Let 2 an let X,...,X ) be an R -value ranom vector with a conitional ensity φ of X given X 2,...,X ). Then for any weight vector u,...,u ) R\{0} R we have i) the function t u E i= u i X i, φ t j=2 u j X j ),X 2,...,X ) is a ensity of ii) for i = 2,...,, almost surely for t R E X i φ E X i u j X j = t = E φ j= t ) ) j=2 u j X j,x 2,...,X t ) ), an j=2 u j X j,x 2,...,X iii) almost surely for t R E X u j X j = t = j= t i=2 E u i X i u E φ φ t j=2 u j X j ),X 2,...,X ) t j=2 u j X j ),X 2,...,X ). To say Lemma 2.2 with wors: if there is a conitional ensity of X given the other components, then subject to the conition u 0 the istribution of i= u i X i is absolutely continuous with ensity specifie in Lemma 2.2 i), an the conitional expectations of the X i given the sum j= u j X j can be calculate via the formulae in Lemma 2.2 ii) an iii). In the subsequent section, it will turn out that the quantiles of the sum i= u i X i are ifferentiable with respect to the weights u i if the quantities mentione in Lemma 2.2 are smooth in a certain sense. This observation motivates the following efinition. Assumption 2.3 Let 2 an let X,...,X ) be an R -value ranom vector with a conitional ensity φ of X given X 2,...,X ). We say that φ satisfies Assumption 2.3 in an open set U R\{0} R if the following three conitions hol: i) For fixe x 2,...,x the function t φt,x 2,...,x ) is continuous in t. ii) The mapping t,u) E φ t j=2 u j X j ),X 2,...,X ), R U 0, ) 3

4 is finite-value an continuous. iii) For each i = 2,..., the mapping t,u) E X i φ is finite-value an continuous. t j=2 u j X j ),X 2,...,X ), R U R Note that i) from Assumption 2.3 in general oes imply neither ii) nor iii). Furthermore, ii) an iii) may be vali even if the components of the ranom vector X,...,X ) o not have finite expectations. Remark 2.4 Here is a list of some situations in which Assumption 2.3 is satisfie: ) X,...,X ) is normally istribute an its covariance matrix has full rank. 2) X,...,X ) an φ satisfy i) an for each s,v) R U there is some neighbourhoo V such that the ranom fiels φ t j=2 u j X j ),X 2,...,X ))t,u) V an for i = 2,..., X i φ t j=2 u j X j ),X 2,...,X ))t,u) V are uniformly integrable. 3) E X i <, i = 2,...,, an φ is boune an satisfies i). 4) E X i <, i = 2,...,. X an X 2,...,X ) are inepenent. X has a continuous ensity. 5) There is a finite set M R such that PX 2,...,X ) M =, an i) is satisfie. Note that Remark 2.4 3) is a special case of 2) an that 4) an 5) resp. are special cases of 3). Perhaps, 4) is the case most interesting for applications. It correspons to the situation where a sample of X,...,X ) an a weight vector u are given an the ensity of j= u j X j is estimate by kernel estimation. 3 Quantile Derivatives If X is a real value ranom variable an α is any number between 0 an, the α-quantile of X is the 00α%-threshol of X, i.e. the lowest boun to be exceee by X only with probability 00 α)%. We will make use of the following formal efinition. 4

5 Definition 3. Let X be a real value ranom variable an let α 0,). Then the α-quantile Q α X) of X is efine by Q α X) ef = inf{x R PX x α}. In general, the case PX Q α X) > α is possible, but in this paper solely PX Q α X) = α will occur. The reason is that our metho for proving ifferentiability of the quantiles will be base on the implicit function theorem. Let us briefly outline the reasoning. We want to stuy the mapping Q α u) ) ef = Q α u j X j, 3) j= regare as a function of the weight vector u. Assume for the moment that we alreay know that Q α u) is ifferentiable with respect to the components of u. If there is a conitional ensity of X given X 2,...,X ), then by Lemma 2.2 i) the istribution of j= u j X j is continuous, an we obtain by 2) for all u with u > 0 α = P j= u j X j Q α u) u = E Qαu) j=2 u j X j ) φt,x 2,...,X )t. 4) Ignoring the question whether or not ifferentiation uner the expectation is permitte, by ifferentiating with respect to u i,i = 2,...,, we obtain from 4) Qα 0 = u) ) E X i φ u Q αu) ) j=2 u j X j ),X 2,...,X. 5) i Solving 5) for Qαu) an applying formally Lemma 2.2 ii) now yiels Q α u) = E X i j= u j X j = Q α u), i = 2,...,. 6) An analogous computation coul be one in the cases u < 0 an i = an woul yiel 6) also for u < 0 or i =. Equation 6) has been presente in 9 without examination of the question whether Q α is ifferentiable an in 8 for the case of X,...,X ) with a joint ensity. In orer to make this approach mathematically rigorous by invoking the implicit function theorem, we have to verify some smoothness conitions for the expression P j= u j X j z consiere as a function of u an z. Lemma 3.2 Let X,...,X ) be an R -value ranom vector. Assume that there is a conitional ensity φ of X given X 2,...,X ) satisfying Assumption 2.3 in some open set U R\{0} R. Define the ranom fiel Zu)) u U by Zu) ef = u i X i, u U. 7) i= 5

6 Then the function F : R U 0, ), efine by Fz,u) ef = PZu) z, is partially ifferentiable in z an u i, i =,...,, with jointly continuous erivatives Fz,u) ) ) = u E φ z u j X j,x 2,...,X, 8) z Fz,u) u = signu ) u 2 an Fz,u) E z = u E X i φ j=2 j=2 u j X j )φ z z j=2 ) ) u j X j,x 2,...,X, 9) j=2 ) ) u j X j,x 2,...,X, i = 2,...,. 0) Proof. The joint continuity of the expressions for the partial erivatives follows from Assumption 2.3 ii) an iii). Equation 8) is obvious since by Lemma 2.2 i) the right-han sie of 8) as function of z is a continuous ensity of Zu). By the representations u z Fz,u) = E j=2 u j X j ) φt,x 2,...,X )t in case u > 0 an Fz,u) = E z j=2 u j X j ) φt,x 2,...,X )t in case u < 0 respectively, the application of Theorem A.9.) from 5 on ifferentiation uner the integral yiels the esire formulae 9) an 0). With Lemma 3.2 we are in a position suitable to give a rigorous formulation to 6). Keep in min that by Lemma 2.2 equation 6) on the one han an ) an 2) on the other han have essentially the same meaning. Theorem 3.3 Let α 0,) be fixe, an let X,...,X ) be an R -value ranom vector with a conitional ensity φ of X given X 2,...,X ) that satisfies Assumption 2.3 in some open set U R\{0} R. Define the ranom fiel Zu)) u U by 7) an the function Q α : U R by 3). 6

7 If the ensity t u E φ t ) ) j=2 u j X j,x 2,...,X of Zu) is positive at t = Q α u), then Q α is partially ifferentiable in some neighbourhoo of u with continuous erivatives Q α u) = ) u ) E j=2 Q u j X j φ Q αu) ) j=2 u j X j ),X 2,...,X α u) E φ Q αu) ) j=2 u j X j ),X 2,...,X an Q E α u) = E X i φ φ Q αu) ) j=2 u j X j ),X 2,...,X Q αu) ), i = 2,...,. 2) j=2 u j X j ),X 2,...,X Proof. As Assumption 2.3 implies that the istributions of Zu)) u U are continuous, we have for all u U PZu) Q α u) = α. 3) From 3), by Lemma 3.2 an the implicit function theorem we obtain the assertion. 4 Shortfall Derivatives As a quantile at a fixe level gives only local information about the unerlying istribution, a promising way to escape from this shortcoming is to consier the so-calle expecte shortfall over or uner the quantile. These quantities, to be efine in the following theorem, can be interprete as moments of the ifference between the unerlying ranom sum an a quantile in a worst case situation specifie by the confience level of the quantile. Theorem 4. Let δ be fixe. Let X,...,X ), φ, U, an α be as in Theorem 3.3, an assume aitionally E X i δ <, i =,...,. Let Zu) an Q α u) be as in Theorem 3.3, an let Zu) ef S α,δ u) = E Qα u) δ Zu) Qα u) an Zu) Sα,δ u) ef = E Qα u) δ Zu) Qα u), u U. If the ensity t u E φ t ) ) j=2 u j X j,x 2,...,X of Zu) is positive at t = Q α u), then for each i =,..., the partial erivatives of S α,δ an Sα,δ with respect to u i exist 7

8 an are continuous in some neigbourhoo of u. They can be compute by S α,δ u) Qα u) ) Zu) = δ E X i Qα u) δ Zu) Qα u) an 4) Sα,δ u) = δ E X i Q ) αu) Zu) Qα u) δ Zu) Qα u), u U, where the formulas for Qαu) are given in Theorem 3.3. Proof. For any event A efine the inicator function IA,ω) = IA) by ). Fix δ an let Gz,u) ef = E Zu) z δ IZu) z). Then the proof for e.g. 4) can be base on the representation Gz, u) = δ 0 PZu) z + t t) δ t, by using Lemma 3.2 an Theorem A.9.) from 5. We omit the etails. Casually, one might be more intereste in conitional moments of the unerlying ranom variable itself than in moments of the ifference between the ranom variable an a quantile. The following corollary to Theorem 4. covers this case. Note that in contrast to our notation some people call solely the quantities T α, u) an Tα, u), efine in 5) an 6) respectively, expecte shortfall. Corollary 4.2 Let an integer n be fixe. Let X,...,X ), φ, U, an α be as in Theorem 3.3 an assume aitionally E X i n <, i =,...,. Define Zu) an Q α u) as in Theorem 3.3 an let ef T α,n u) = E Zu) n Zu) Qα u) an 5) Tα,n u) ef = E Zu) n Zu) Qα u), u U. 6) If the ensity t u E φ t ) ) j=2 u j X j,x 2,...,X of Zu) is positive at t = Q α u), then for each i =,..., the partial erivatives of T α,n an Tα,n with respect to u i exist an are continuous in some neighbourhoo of u. They can be compute by T α,n u) Tα,nu) = n E X i Zu) n Zu) Qα u) an = n E X i Zu) n Zu) Qα u), u U. 7) 8

9 Proof. Follows through the representations n ) n EZu) n Zu) Q α u) = E k k=0 n ) n EZu) n Zu) Q α u) = E k from Theorem 4.. k=0 Zu) Q α u)) k Zu) Q α u) Q α u) n k Zu) Q α u)) k Zu) Q α u) Q α u) n k an Equation 7) in case n = was erive in 4 for ranom variables X,...,X with a joint ensity. 5 Expecte shortfall as risk measure Since quantiles or the value-at-risk) as risk measures have some severe eficiencies cf. or 3), in the scientific literature other risk measures are preferre. One among those risk measures is the Conitional Value-at-Risk CVaR, expecte shortfall with n = in Corollary 4.2) because of its close relationship to the coherent risk measures introuce in. Inee, there seems to be some confusion in the literature whether in general CVaR is a coherent risk measure or not. For instance, in an 3 is argue that CVaR is not a coherent risk measure, whereas 2 says it is. The iscrepancy between these statements is easy to explain since the efinitions of CVaR the ifferent authors use are not ientical. We will not examine here which efinition is more useful, but will show that even in the situation of the CVaR efine to be an elementary expectation as in an 3, it enjoys to a great extent the coherence properties. We start with an elementary but useful lemma. Lemma 5. Let Y be a ranom variable in L Ω,F,P) an y R such that PY y is positive. Then for all F F with PF PY y we have EY F EY Y y. 8) Proof. 8) is trivial in case PF {Y y} = 0. Hence assume PF {Y y} to be positive. Define the inicator function IA) of the event A F as in ). We then obtain EY Y y = y + EY y)i{y y} F) + EY y)i{y y} Ω\F) PY y y + EY y {Y y} F PF Y y y + EY y {Y y} F PY y F y + EY y)i{y y} F) + EY y)i{y > y} F) PF = EY F. 9

10 Properties i) to iv) in the following proposition are just the constituting properties of coherent risk measures cf. 3). From this point of view, Proposition 5.2 says that CVaR restricte to sets of continuous ranom variables is in fact a coherent risk measure. Proposition 5.2 Let α 0, ) be fixe. Assume that M is a convex cone i.e. X, Y M, h > 0 X + Y M,hX M) in L Ω,F,P). Assume further that for each X M we have PX Q α X) = α an X + a M for all a R. For X M efine Then we have ρx) ef = EX X Q α X). i) ρ is monotonous, i.e. X,Y M,X Y a.s. ρx) ρy ). ii) ρ is subaitive, i.e. X,Y M ρx + Y ) ρx) + ρy ). iii) ρ is positively homogeneous, i.e. X M,h > 0 ρhx) = hρx). iv) ρ is translation invariant, i.e. X M,a R ρx + a) = ρx) a. Proof. iii), iv) are trivial. Concerning i), by Lemma 5. for X Y we have ρx) = EX X Q α X) EX Y Q α Y ) EY Y Q α Y ) = ρy ). Similarly, concerning ii): ρx + Y ) = EX X + Y Q α X + Y ) EY X + Y Q α X + Y ) EX X Q α X) EY Y Q α Y ) = ρx) + ρy ). This completes the proof. Note that the context specifie by Lemma 2.2 an by Assumption 2.3) fits into the assumptions for Proposition 5.2. We state this fact formally in the subsequent example. Example 5.3 Suppose that X,...,X ) is an R -value ranom vector with conitional ensity φ of X given X 2,...,X ). Assume that E X i <,i =,...,. Let U 0, ) R be an open convex cone an efine M ef = {a + u i X i a R,u U}. i= Then M satisfies the conitions of Proposition

11 References P. Artzner, F. Delbaen, J. Eber, an D. Heath. Coherent measures of risk. Mathematical Finance, 93): , E. R. Arzac an V. S. Bawa. Portfolio choice an equilibrium in capital markets with safety-first investors. Journal of Financial Economics, 4: , F. Delbaen. Coherent risk measures on general probability spaces. Preprint, Eigenössische Technische Hochschule, Zürich. elbaen/, F. Delbaen an M. Denault. Coherent allocation of risk capital. Preprint, RiskLab Zürich R. Durrett. Probability: Theory an Examples. Wasworth, Belmont, secon eition, A. A. Gaivoronski an G. Pflug. Fining optimal portfolios with constraints on value at risk. In Proceeings of III Stockholm Seminar on Risk Behavior an Risk Management, M. Garman. Taking VaR to pieces. Risk Magazine, 00):70, 7, C. Gouriéroux, J. P. Laurent, an O. Scaillet. Sensitivity analysis of values at risk. Discussion paper. pa pers/scaillet/scaill.htm, W. Hallerbach. Decomposing portfolio value-at-risk: A general analysis. Discussion paper TI /2, Tinbergen Institute Rotteram P. Jorion. Value at risk: the new benchmark for controlling market risk. Irwin, Chicago, 997. V. V. Malyshev, A. I. Kibzun, an D. E. Chernov. Two approaches to the solution of probabilistic optimization problems. Soviet Journal of Automation an Information Sciences, 203):20 25, G. Pflug. Some remarks on the value-at-risk an the conitional value-at-risk. Technical report, Department of Statistics an Decision Support Systems, University of Vienna, H. Rootzén an C. Klüppelberg. A single number can t hege against economic catastrophes. Ambio. Special Issue on Risk Assessment, 286): , 999. Royal Sweish Acaemy of Sciences.

12 4 O. Scaillet. Nonparametric estimation an sensitivity analysis of expecte shortfall. Discussion paper. pa pers/scaillet/scaill.htm, D. Tasche. Risk contributions an performance measurement. Preprint, Technische Universität München D. Tasche. On the etermination coefficient in robust regression. Preprint, Technische Universität München