arxiv: v3 [q-fin.pr] 6 Jun 2010

Transcription

1 arxiv: v3 [q-fin.pr] 6 Jun 21 CREDI RISK PREMIA AND QUADRAIC BSDEs WIH A SINGLE JUMP S. ANKIRCHNER Insiu für Angewande Mahemaik Universié de Lyon Rheinische Friedrich-Wilhelms-Universä BonnCNRS, UMR 528, ICJ Endenicher Allee 6 Ecole Cenrale de Lyon Bonn - - Germany Universié Lyon-INSA de Lyon ankirchner@hcm.uni-bonn.de 36 avenue Guy de Collongue Ecully Cedex - FRANCE chrisophee.blanche@ec-lyon.fr A. EYRAUD-LOISEL Laboraoire SAF ISFA - Universié Lyon 1 Universié de Lyon 5 avenue ony Garnier 697 Lyon - FRANCE anne.eyraud@univ-lyon1.fr June 8, 21 Absrac C. BLANCHE-SCALLIE his paper is concerned wih he deerminaion of credi risk premia of defaulable coningen claims by means of indifference valuaion principles. Assuming exponenial uiliy preferences we derive represenaions of indifference premia of credi risk in erms of soluions of Backward Sochasic Differenial Equaions (BSDE). he class of BSDEs needed for ha represenaion allows for quadraic growh generaors and jumps a random imes. Since he exisence and uniqueness heory for his class of BSDEs has no ye been developed o he required generaliy, he firs par of he paper is devoed o fill ha gap. By using a simple consrucive algorihm, and known resuls on coninuous quadraic BSDEs, we provide sufficien condiions for he exisence and uniqueness of quadraic BSDEs wih disconinuiies a random imes. AMS Classificaion (2): 6H1,6J75,91B28,91B7,93E2. JEL Classificaion: C61,G11. his research was carried ou while S.A. visied he Insiu de Science Financière e d Assurances (ISFA) in Lyon for a couple of weeks in he academic year 27/28. S.A. acknowledges he financial suppor and he wonderful hospialiy received during his visi. 1

2 Key words: Backward Sochasic Differenial Equaions (BSDE); defaulable coningen claims; progressive enlargemen of filraions; uiliy maximizaion; credi risk premium. Inroducion he curren global financial crisis demonsraes he imporance of a proper evaluaion of credi risk, in paricular of financial asses ha may defaul. In his aricle we sudy an approach of deermining he credi risk premium of a defaulable coningen claim by using uiliy indifference principles and echniques of sochasic conrol. We inroduce he concep of an indifference credi risk premium, defined as he maximal amoun of money an owner of a defaulable posiion is ready o pay for an insurance ha compleely compensaes his credi risk. We derive a mahemaical represenaion showing ha he credi risk premium coincides wih he soluion of a BSDE. For an inroducion ino BSDEs and overview of sandard resuls we refer o [9]. Credi risk research is a huge field and a large panel of mahemaical ools have been used o model, explain and manage credi risk. For an overview we refer he reader o he books of Bielecki and Rukowski (22) [4], Duffie and Singleon (23) [8], Schönbucher (23) [19], and o he survey papers of Bielecki e al (24) [3, 2]. One sandard approach of credi risk modeling is based on he powerful echnique of filraion enlargemens, by making he disincion beween he filraion F generaed by he coninuous processes underlying he marke model, and is smalles exension G ha urns he defaul ime ino a G-sopping ime. his kind of filraion enlargemen has been referred o as progressive enlargemen of filraions. I plays an imporan role in many sudies on credi risk, and also he presen sudy srongly profis from his mehodology. For an overview on progressive enlargemens of filraions we refer o he fundamenal work by Brémaud, Yor, Jeulin and he French school of probabiliy in he 8 s [7], [13], [2, 21]. For our analysis of credi risk premia we build on he well-known link beween BSDEs and he maximal expeced uiliy of economic agens invesing in a financial marke. We choose he perspecive of an economic agen who is invesing on an incomplee financial marke, and a he same ime is holding a coningen claim in her porfolio. For agens wih exponenial uiliy preferences and holding non-defaulable addiional claims, i has been shown by Rouge and El Karoui [18], ha he maximal expeced uiliy of an economic agen has a represenaion in erms of a BSDE growing quadraically in he conrol variable. In [12] his resul has been generalized o agens ha are exposed o non-convex rading consrains. In his paper, we allow for defaulable coningen claims in he porfolio, while a he same ime exending he radable asses a he agen s disposal by allowing her o inves(wih possibly non-convex rading consrains) in bonds, non-defaulable risky asses and a defaulable zero-coupon bond. We show ha in his case he maximal expeced uiliy coincides wih he soluion 2

3 of a BSDE ha is disconinuous a he defaul ime. Nearly upon compleion of he presen aricle we discovered a relaed work by Lim and Quenez [16], who have also sudied he problem of uiliy maximizaion of agens endowed wih defaulable claims, bu who may inves only in a bond and a risky asse. In conras o our approach using BSDEs as a ool for sochasic conrol, in [16] he value funcion is derived by using dynamical programming echniques. Besides, as a furher major difference wih our work, i is assumed ha he price process of he only risky asse is driven by a Brownian Moion and a defaul indicaing process. For he BSDEs appearing in he papers [18] and [12] he auhors fall back on exisence resuls of quadraic BSDEs as shown by Kobylanski [15]. he BSDEs we need for exending heir resuls o defaulable coningen claims, has a disconinuiy a he defaul ime, and o our knowledge here are no resuls in he lieraure ha we may use in order o guaranee he exisence of soluions. herefore, a considerable par of our aricle is devoed o a horough analysis of ha class of BSDEs. More precisely, wih W being a mulidimensional Brownian moion driving he price processes and M he compensaed defaul process 1 {τ>}, we consider BSDEs of he form Y = ξ Z s dw s U s dm s + f(s,z s,u s )ds, (1) where ξ is he defaulable coningen claim and f is a generaor saisfying a quadraic growh condiion in z. Noice ha quadraic BSDEs similar o (1), namely wih M being replaced by a compensaed Levy jump process, have been sudied by Morlais [17]. Sufficien condiions for he exisence of soluions are derived by using approximaing BSDEs wih generaors saisfying a Lipschiz condiion. Having only one possible jump in he BSDE (1), we propose an alernaive approach based on a backward inducion in order o derive a soluion of (1). We show ha one can find wo coninuous quadraic BSDEs from which one can consruc a soluion of (1) simply by swiching from he firs o he second one when he defaul occurs. We sress ha he BSDE (1) has o be solved wih respec o he progessively enlarged filraion G, since he predicable represenaion propery for defaulable claims is valid wih respec o G, bu no wih respec o he small filraion F. his bears similariies wih iniial enlargemens. As i is shown in [1] and [11], invesmen decision processes of agens possessing informaion advanages (represened by an iniial enlargemen) have o be linked o BSDEs ha are solved wih respec o enlarged filraion. he paper is organized as follows. In Secion 1, we give a precise descripion of he defaul model. Our firs aim will be o solve he conrol problem (6) by means of BSDE echniques. In Secion 3 we will show ha he maximal expeced uiliy and he opimal sraegy can be expressed in erms of a specific BSDE ha grows quadraically in he conrol variable. he BSDE ha will do his job belongs o a class of BSDEs for which no exisence heory has been 3

4 developed ye. In Secion 2 we make up for ha and clarify he exisence and uniqueness of BSDEs wih one possible jump. In Secion 4 we discuss he credi risk premium derived from indifference principles and derive a represenaion in erms of a BSDE. 1 he model Le d N and le W be a d-dimensional Brownian moion on a probabiliy space (Ω,F,P). We denoe by (F ) he compleion of he filraion generaed by W. Our financial marke consiss in k risky asses and one non-risky asse. We use he non-risky asse as numeraire and suppose ha he prices of he risky asses in unis of he numeraire evolve according o he SDE ds i = S i (α i ()d+σ i ()dw ), i = 1,...,k, where α i () is he ih componen of a predicable and vecor-valued map α : Ω [,] R k and σ i () is he ih row of a predicable and marix-valued map σ : Ω [,] R k d. In order o exclude arbirage opporuniies in he financial marke we assume d k. Moreover, for echnical reasons we suppose ha (M1) α is bounded, (M2) here exis consans < ε < K such ha εi k σ()σ () KI k for all [,], where σ () is he ranspose of σ(), and I k is he k-dimensional uni marix. Noice ha (M1) and (M2) imply ha he marke price of risk, given by is bounded. ϑ = σ (σσ ) 1 α, Defaulable coningen claims We aim a sudying pricing and hedging of coningen claims ha may defaul a a random ime τ : Ω R + { }. We suppose ha a any ime, he agen can observe if he defaul τ has appeared or no, which is quie naural o suppose for defaul imes in finance or for deah imes in life assurance. So her informaion is no he filraion generaed by he price processes F, bu is defined by he following progressive enlargemen of filraion, as defined in [6] : G = F σ(1l τ ), (2) which is he smalles filraion conaining he filraion (F ) and ha makes τ a sopping ime. hroughou we suppose ha he so-called hypohesis (H) holds, i.e. 4

5 Hypohesis (H) Any square inegrable (F, P)-maringale is a square inegrable (G, P)-maringale. Under his hypohesis, he Brownian moion W is sill a Brownian moion in he enlarged filraion. Suppose an invesor is endowed wih a defaulable coningen claim wih payoff X 1 a ime if no defaul occurred, and wih a compensaion X 2 oherwise. hen he oal payoff may be wrien as F = X 1 1 {τ>} +X 2 1 {τ } where τ is he defaul ime (or he deah ime in he case of an insurance conrac). his payofff consiss in a F -measurable random variable X 1, o hedge a mauriy if τ has no occurred a ime, and a compensaion X 2, payed a hi (a he defaul/deah ime) in case of defaul (or deah) occurs before. In he following we will always assume ha X 1 is a bounded F -measurable random variable and X 2 = h(τ) where h is a F-predicable process. Le D = 1 {τ }. hen D is a submaringale, and here exiss an (F )- predicable increasing process K, called compensaor, such ha K = and M = D (1 D s )dk s is a maringale wih respec o (G ). We suppose ha here exiss an (F )- predicable non-negaive and bounded process k s and an (F )-predicable increasing process A, wih values in {,1}, such ha dk s = k s ds+da s. (3) Since M is a (G )-maringale, i can have no (G )-predicable jumps, and consequenly, whenever he predicable process A jumps, M does no jump. Example 1.1. Le k aboundednon-negaive(f )-predicableprocessandθan exponenially disribued random variable ha is independen of he Brownian Moion W. hen he compensaor K, associaed o he sopping ime is given by K = k sds. τ 1 = inf{, k s ds > Θ}, Example 1.2. Le a R +, i {1,...,k}, and τ 2 = inf{ : S i a for one 1 i k}. Noice ha τ 2 is an (F )-predicable sopping ime. Moreover, le τ 1 be he sopping ime from Example 1.1. he compensaor K, associaed o he sopping ime is given by dk = k d+d1 {τ2 }. τ = τ 1 τ 2, 5

6 he arbirage free dynamics of a defaulable zero-coupon bond ρ is dρ = ρ (a d+c dw dm ) (4) where (a,c ) are R R d -valued measurable processes. For a derivaion of he precise dynamics under he risk neural measure we refer o [6], and for he dynamics under he hisorical measure o [5]. By an invesmen process we mean any (G )-predicable process (λ,λ ρ ), where λ = (λ i ) 1 i k akes values in R k (or a consrained subse, as we will suppose in he nex paragraph) such ha he inegral process λi ds i r r S is defined for all i {1,...,k}, and λ ρ wih values in R (or a consrained subse) r i such ha dρ λρ ρ is defined. We inerpre λi as he value of he porfolio fracion invesed in he ih asse, and λ ρ he value of he porfolio invesed in he defaulable bond. Le p = λ σ be he image of λ wih respec o σ, and q = λ ρ ρ. In wha follows we mean by a sraegy he image of any invesmen process. Invesing according o a sraegy (p,q) amouns, a ime, o a oal rading gain of G p,q = (p s ϑ s +q s a s )ds+ (p s +q s c s )dw s q s dm s. Le A denoe he se of all so-called admissible sraegies (p,q), defined as he inegrands saisfying E p s 2 ds+e q s 2 ds <. hroughou le U be he exponenial uiliy funcion wih risk aversion coefficien η >, i.e. U(x) = e ηx. Consider an invesor wih preferences described by U invesing on he financial marke. Moreover, suppose ha some consrains are imposed on he invesor, in such way ha a ime he sraegies have o say wihin a closed se. We will assume ha a any ime a sraegy (p,q ) belongs o a se C = C 1 C 2 R k σ Rρ. In addiion, we assume ha (,) C 1 C 2 for all, and ha C 1 is closed, C2 is bounded. (5) If he invesor has a defaulable posiion F in her porfolio, hen her maximal expeced uiliy is given by { } V F (v) = sup EU(v+G p,q +F) : (p,q) A, (p s,q s ) Cs C 1 s 2 for all s [,]. (6) In he remainder we will derive a represenaion of he maximal expeced uiliy in erms of a BSDE driven by he Brownian moion W and he compensaed jump process M. We will see ha V F is equal o he iniial value of a 6

7 process (Y ) [,] being par of he soluion of a BSDE. More precisely, le for all s [,], p R k, q R, z R d and u R, h(s,p,q,z,u) = pϑ s qa s η p+qc s z ] η (1 D s )k s [e η(u+q) 1 η(u+q), and define f(s,z,u) = min (p,q) C s h(s,p,q,z,u). (7) We will show ha for bounded and G -measurable F here exiss a unique soluion of he BSDE Y = F Z s dw s U s dm s + f(s,z s,u s )ds, (8) and ha V F (v) = U(v Y ). (9) here are no resuls in he lieraure ha guaranee ha he BSDE(8) possesses a soluion. herefore, in he nex secion we will fill his gap, and we sudy exisence and uniqueness of a class of BSDEs ha includes he BSDE (8). In Secion 3 we will come back o he model inroduced in his secion and prove Equaliy (9). 2 Quadraic BSDEs wih one possible jump Le (J ) be an arbirary filraion. We denoe by H 2 (J ) he se of all (J )- predicable processes X saisfying E X 2 ds <, and by H (J ) he se of essenially bounded (J )-predicable processes. he se of all (J )-opional processes X, for which E(sup s [,] X s p ) is finie, will be denoed by R p (J ), and he se of all bounded (J )-opional processes by R (J ). Finally, we wrie S (J ) for he se of all (J )-predicable processes such ha E X s 2 (1 D s )k s ds <. hroughou his secion we will consider BSDEs of he form Y = ξ Z s dw s U s dm s + f(s,z s,u s )ds (1) where ξ is a bounded G -measurable random variable, and he generaor f : Ω R + R d R R saisfies he following propery: (P1) he generaor can be decomposed ino a sum f(s,z,u) = [l(s,z)+j(s,u)](1 D s )+m(s,z)d s, where l : Ω R + R d R, m : Ω R + R d R and j : Ω R + R R saisfy: 7

8 l(,z), m(,z) and j(,u) are predicable for all z R d and u R respecively, l(,),m(,) and j(,) are bounded, say by Λ R +, here exiss a consan L R + such ha for all z and z R d l(s,z) l(s,z ) + m(s,z) m(s,z ) L(1+ z + z ) z z, j, and j is Lipschiz on ( K, ) for every K R +, wih Lipschiz consan L j (K). In addiion, we will someimes assume ha he generaor f saisfies also (P2) here exiss a coninuous increasing funcion γ such ha for all s [,] and u,u [ n,n], n N, where k is defined by (3). j(s,u) j(s,u ) γ(n) k s u u, We firs prove a priori esimaes for BSDEs of he ype (1), before addressing exisence and uniqueness of soluions. We remark ha one can show exisence by approximaing he generaor by Lipschiz coninuous funcions, a mehod employed in [17]. However, as we will see, in his case an approximaion is no necessary since one can explicily consruc a soluion by combining soluions of non-jump quadraic BSDEs. 2.1 A priori esimaes We sar showing some echnical resuls which will be used in he proof of exisence and uniqueness. We firs provide a sufficien condiion for he process ZdW s, where Z is he conrol par of a soluion of (1), o be a BMO (Bounded Mean Oscillaion) maringale. Recallhaaconinuoussquareinegrablemaringale(M ) [,], wihquadraic variaion M,M, is a BMO maringale on [,] if and only if here exiss a consan C R + such ha for all sopping imes τ wih values in [,] we have ]1 Gτ 2 E [ M,M M,M τ C, a.s. (11) he BMO norm M BMO is defined o be he smalles consan C R + for which (11) is defined. In he following lemma we collec some properies of BMO maringales ha we will frequenly use. Lemma 2.1 (Properies of BMO maringales). Le M be a coninuous BMO maringale. hen he following properies are saisfied: 8

9 1) he sochasic exponenial of M, E(M) = exp{m 1 2 M,M }, saisfies E(E(M) ) = 1, and hus he measure defined by dq = E(M) dp is a probabiliy measure. 2) he process ˆM = M M,M is a BMO maringale relaive ohe measure Q (see heorem 3.3 in [14]). 3) I is always possible o find a p > 1 such ha E(M) L p. One can deermine such a p wih he help of he funcion Ψ(x) = { 1+ 1 }1 2x 1 2 log 1, x2 2(x 1) defined for all 1 < x <. Noice ha lim x 1 + Ψ(x) = and lim x Ψ(x) =. I holds rue ha if M BMO < Ψ(p), hen E(M) L p (see for example heorem 3.1 [14]). Lemma 2.2. (BMO propery) Le ξ be a bounded and G -measurable random variable, and f a generaor saisfying (P1). Assume ha (Y,Z,U) R (G ) H 2 (G ) H (G ) is a soluion of (1). hen Z sdw s is a BMO-maringale. Moreover, is BMO norm depends only on sup s [,] Y s, L, L j, and Λ. Proof. Le κ be an upper bound of he process Y and U. Io s formula applied o e ay, wih a R, yields e ay = e ay ae ays Z s dw s + ae ays U s dm s a 2 e ays Z s 2 ds+ s e ays (e a Ys 1 a Y s ). ae ays f(s,z s,u s )ds Le g(,z) = (1 D )l(,z)+d m(,z). hen Propery (P1) implies f(s,z s,u s ) g(s,z s ) g(s,) g(s,) j(s,u s ) j(s,) j(s,) Hence, for a, e ay e ay + 2L(1+ Z s 2 ) L j (κ) U s 2Λ. +( 1 2 a2 2aL) ae ays Z s dw s + e ays Z s 2 ds ae ays U s dm s 2aLe ays ds a(l j (κ)κ+2λ)e ays ds. 9

10 aking he condiional expecaion yields, for arbirary sopping imes τ wih values in [,], [ ( 1 2 a2 2aL)E τ e ays Z s 2 ds G τ ] E [ [ ] e ay e ayτ G τ +E 2aLe ays ds G τ ]+ τ a(l j (κ)κ+2λ)e ays ds. Choose a = 5L. hen 1 2 a2 a2l = 5 2 L2, and [ ] 5 2 L2 e 5Lκ E Z s 2 ds G τ (2+1L 2 +5L(L j (κ)κ+2λ))e 5Lκ, τ from where we obain he resul. Finally, noice ha before he defaul ime, he Y par of a soluion of (1) can only be bounded if he conrol process U is bounded (since a jump of heigh 1mayoccuraanyime). henex lemmapushisinuiion inomahemaical shape. Lemma 2.3. Le (Y,Z,U) be a soluion of (1) such ha sup [,] Y κ <, P-a.s. hen U is bounded by 2κ, P (1 D )dk -a.s. Proof. Since K is he compensaor of D we have E U 1l { U >2κ}(1 D )dk = E U 1l { U >2κ}dD. he laer inegral vanishes since { U dd > 2κ} {sup [,] Y > κ}, and hus we obain he resul. We are now able o give he following a priori esimaes. Le ξ 1 and ξ 2 be wo bounded G -measurable random variables, f 1 and f 2 wo generaors saisfying properies (P1) and (P2), and le (Y i,z i,u i ) R (G ) H 2 (G ) H (G ) be soluions of he BSDEs Y i = ξ i ZsdW i s UsdM i s + f i (s,zs,u i s)ds. i Le δξ = ξ 1 ξ 2, δf s = f 1 (s,z 1 s,u1 s ) f2 (s,z 1 s,u1 s ), δy = Y 1 Y 2, δz = Z 1 Z 2 and δu = U 1 U 2. heorem 2.1. Le f 1 and f 2 saisfy he properies (P1) and (P2). here exis consansq 1 andc R +, depending only on, Λ, L, k, sup s [,] Y 1 s, 1

11 sup s [,] Ys 2 and he funcions L j and γ, such ha [ ( )] E sup δy 2 + ( δz s 2 + δu s 2 (1 D s ) k s [,] 2 )ds ( ) 1 2q q C E δξ 2q + δf s ds. We will proveheorem 2.1in severalseps. Firs observeha for anyβ R, Io s formula yields e β δy 2 = e β δy 2 2 e βs δy s δz s dw s e βs δu s 2δY s dm s +2 e βs δy s [f 1 (s,zs 1,U1 s ) f2 (s,zs 2,U2 s )]ds e βs (βδy 2 s + δz s 2 )ds <s and since M 2 = M, his can be furher simplified o e β δy 2 = e β δy 2 2 e βs δy s δz s dw s +2 Nex define wo processes e βs δy s [f 1 (s,z 1 s,u1 s ) f2 (s,z 2 s,u2 s )]ds e βs (βδy 2 s + δz s 2 +(1 D s )k s δu 2 s )ds. e βs δu 2 s ( M s) 2, e βs δu s (2δY s +δu s )dm s H s = f2 (s,z 1 s,u1 s ) f2 (s,z 2 s,u1 s ) δz s and J s = f2 (s,z 2 s,u1 s ) f2 (s,z 2 s,u2 s ) δu s, andnoehaf 2 (s,zs 1,U1 s ) f2 (s,zs 2,U2 s ) = H sδz s +J s δu s. Propery(P2)implies J s c k s (1 D s ), for some c R + ha depends on sup s [,] Ys 1 and sup s [,] Ys 2. Propery (P1) implies H s L(1 + Zs 1 + Zs ), 2 which, ogeher wih Lemma 2.2, guaranees ha H sdw s is a BMO maringale wih a norm bounded by L (1+ Z1 s + Z2 s )dw s BMO. By defining W = W H udu, we obain e β δy 2 = e β δy 2 2 e βs δy s δz s d W s e βs δy s J s δu s ds e βs δy s δf s ds. 11 e βs δu s (2δY s +δu s )dm s e βs (βδy 2 s + δz 2 s +(1 D s )k s δu 2 s )ds

12 Noice ha 2 δy s J s δu s 2 δy s c k s (1 D s )δu s 2c 2 δy s 2 + ks 2 (1 D s ) δu s 2. By choosing β = 2c 2 we ge e β δy 2 + e β δξ e βs δy s δz s d W s e βs ( δz 2 s +(1 D s ) k s 2 δu2 s)ds e βs δf s δy s ds (12) e βs δu s (2δY s +δu s )dm s. Based on he previous inequaliy we will firs derive a priori esimaes wih respec o he auxiliary measure Q, defined by dq dp = E(H W). Noe ha Girsanov s heorem implies ha W is a Q-maringale. Moreover, M remains a maringale wih respec o Q. o show his recall he well-known fac ha M is a maringale wih respec o Q if and only if M E(H W) is a P-maringale. he laer is saisfied because M,E(H W) =, and hence d(m E(H W) ) = M H E(H W) dw +E(H W) dm. Lemma 2.4. For all p > 1 here exiss a consan C R + such ha [ ( ) p ] E Q sup δy 2p + ( δz s 2 + δu s 2 (1 D s ) k s [,] 2 )ds CE Q δξ 2p + Proof. Le p > 1. hroughou he proof le C 1,C 2,... be consans depending only on p,, L, γ, k, sup s [,] Ys 1, sup s [,] Ys 2. Firs aking he G -condiional expecaion wih respec o Q on boh sides of Inequaliy (12), and hen applying Doob s L p -inequaliy implies ha ( ) p ) E Q [ sup δy 2p ] C 1 E ( δξ Q 2p + δf s δy s ds. (13) [,] Young s inequaliy yields ( ) p ( ( ) p ) E Q δf s δy s ds E Q sup δy s p δf s ds (14) s [,] ( ) ( 2p 1 E Q sup δy s 2p +C 2 E Q δf s ds), 2C 1 s [,] which allows us o deduce E Q [ sup δy 2p ] C 3 E Q [,] ( ) 2p δξ 2p + δf s ds. (15) ( ) 2p δf s ds. 12

13 Besides, i follows from (12) ha ( ) p ( δz 2 s +(1 D s ) k s 2 δu2 s)ds ( p C 4 ( δξ 2p + δf s δy s ds) + [2δY s δz s d W p) s δu s (2δY s +δu s )dm s ] he Burkholder-Davis-Gundy Inequaliy yields ( ) p E Q ( δz s 2 +(1 D s ) k s 2 δu2 s)ds (16) ( ) p C 5 E ( δξ Q 2p + δf s δy s ds + C 6 E Q ( δξ 2p + + p 2 (2δY s δz s ) 2 ds+ δu s 2 (2δY s +δu s ) 2 d[m,m] s ( ) p δf s δy s ds (δy s δz s ) 2 ds p 2 + <s δu s p δy s +δu s p M s Using he fac ha (ab) 2 p+1 C 6 a p+1 C 6 b 2 for all a,b R +, we ge p ( 2 E Q (2δY s δz s ) 2 ds 2 p E Q sup δy s p s [,] 2 (2 p p+1 C 6 E Q ( sup δy s 2p )+ s [,] Combining (17) wih (16), and using an esimae as in (14), we obain E Q ( C 8 E Q δξ 2p + ( δz s 2 +(1 D s ) k s 2 δu2 s )ds ( ) p 2p δf s ds) + sup δy s 2p + s [,] <s )p 2 δz 2 s ds (17) ( 1 2 p+1 E Q C 6 δz 2 sds ) p ) δu s p δy s +δu s p M s Noice ha by Lemma 2.3, δu s sup [,] 2 δy, P (1 D s )dk s -a.s. and. 13

14 hence E Q <s δu s p δy s +δu s p M s = E Q δu s p δy s +δu s p dm s +E Q δu s p δy s +δu s p (1 D s )k s ds C 9 E Q sup δy 2p. [,] Wih he previous inequaliy, and (15), he esimae saed in he lemma can be deduced. Proof of heorem 2.1. As in Lemma 2.4, le Q be defined by dq dp = E(H W). Propery 2) of Lemma 2.1 guaranees ha H s d W s is a BMO maringale w.r.. Q, and hence, by Propery 3) of Lemma 2.1, here exiss a [ ] consan p > 1 such ha E Q p E( H W) <. Hölder s inequaliy yields, wih p being he conjugae exponen of p, [ E sup δy 2 E Q [,] E( H W) ( (E Q[ E( H )] sup δy 2 [,] [ (E Q ]) 1/p p W) ]) 1/p sup δy 2p. [,] Lemma 2.4 furher implies ( ) 2p E sup δy 2 C 1 E Q δξ 2p + δf s ds [,] 1/p (18). (19) As. H sdw s is a BMO maringale w.r.. P, Propery [ 3) of Lemma ] 2.1 implies ha here exiss a consan r > 1 such ha E P E(H W) r <. hen, applying Hölder once again o come back o he iniial measure P, we obain, wih r denoing he conjugae of r, ( ) 1 2pr pr E sup δy 2 C 2 E δξ 2pr + δf s ds. [,] E Using similar argumens, we ge ( ( δz s 2 + δu s 2 (1 D s ) k s 2 )ds ) C 3 E δξ 2pr + ( ) 2pr δf s ds 1/pr, and hence he proof is complee. 14

15 2.2 Exisence and Uniqueness of he BSDE We now discuss exisence and uniqueness of quadraic BSDE wih one possible jump. Firs assume ha he erminal condiion is a sum of he form ξ1 {τ>} + ζ1 {τ }, where ξ and ζ are bounded random variables measurable wih respec o F. he nex resul guaranees ha here exiss a soluion of Y = ξ1 {τ>} +ζ1 {τ } Z s dw s U s dm s + f(s,z s,u s )ds. (2) heorem 2.2. (Exisence) Le ξ and ζ be wo bounded F -measurable random variables, and le f be a generaor saisfying (P1). hen here exiss a soluion (Y,Z,U) R (G ) H 2 (G ) H (G ) of (2). Proof. In he proof we explicily consruc a soluion of (1) saring from wo coninuous quadraic BSDEs wih erminal condiions ξ and ζ respecively. Firs, by referring o sandard exisence resuls as shown in [15], we choose a soluion (Ŷ,Ẑ) H (F ) H 2 (F ) of he BSDE Ŷ = ζ Ẑ s dw s + m(s,ẑs)ds. (21) Secondly, we define he sopping ime τ A = inf{ : A = 1}, wih he convenioninf =, and where A is he increasingprocessinroduced in Secion 1. Observe ha τ A is an (F )-predicable sopping ime, since A is (F )-predicable. Since A is par of he compensaor of D, i may no jump before D, and consequenly i mus hold τ τ A. Nex we consider a BSDE wih generaor h(s,y,z) = l(s,z)+j(s,(ŷs y)1 {τa s})+(ŷs y)1 {τa s}k s. Since h does no saisfy a Lipschiz condiion wih respec o y, we may no direcly invoke sandard exisence resuls. However, by using a sandwich argumen, we will show ha here exis soluions of BSDEs wih a bounded erminal condiion and generaor h. For his purpose le g(s,y,z) = l(s,z)+(ŷs y)1 {τa s}k s. Le (Y g,z g ) H (F ) H 2 (F ) be a soluion of he BSDE wih generaor g and erminal condiion ψ = ξ1 {τa>} +ζ1 {τa }. In paricular, here exiss a K R + such ha sup [,] Y g K, a.s. 15

16 In addiion consider an auxiliary generaor h a saisfying, for all z R d and s [,], { h(s,y,z), if y [ K, ) h a (s,y,z) = g(s,y,z)+j(s,(ŷs +K)1 {τa s})[1 (y +K)], else. Noice ha h a is Lipschiz coninuous in y, and hence we may again fall back on sandard exisence resuls, such as heorem 2.3 in [15], guaraneeing ha here exiss a soluion (Y a,z a ) H (F ) H 2 (F ) of he BSDE wih generaor h a and erminal condiion ψ. We nex show ha Y a Y g, a.s. o his end we define he Rd -valued predicable process βs i = l(s,za s) l(s,zs) g, 1 i d. Zs a,i Zs g,i Observe ha (P1) guaranees ha here exiss a consan K R + such ha β s K (1+ Zs + Z a s ), g a.s., which implies, ogeher wih Lemma 2.2, ha N = β sdw s is a BMO maringale. Hence here exiss a probabiliy measure Q on F, wih densiy dq dp = E(N), such ha W = W β sds is a Q- Brownian moion. Now observe ha Y a Y g = + (Z a s Z g s)d W s + (Y a s Y g s )1 {τa s}k s ds j(s,(ŷs Y a s )1 {τa s})1 Y a s > K +j(s,(ŷs +K)1l {τa s})[1 (Y a s +K)]1 Y a s Kds Noice ha he pair of differences (Y a Y g,z a Z g ) solves he linear BSDE y = z s d W s + (ϕ s +1 {τa s}k s y s )ds whereϕ s = j(s,(ŷs Ys a )1 {τa s})1 Y a s > K+j(s,(Ŷs+K)1l {τa s})[1 (Ys a +K)]1 Y a he boundedness of j(, ), ogeher wih he Lipschiz propery of j on compac ses yield ha ϕ is bounded. By using he soluion formula for linear BSDEs (see f.ex. Prop. 2.2 in [9]), one ges he represenaion Y a Y g = E Q [ ( s ) exp 1 {τa u}k u du ] ϕ s ds G, which shows ha Y a Y g, Q- and P-a.s. Since Y g is bounded from below by K, we herefore have also Y a K, and his furher implies ha (Y a,z a ) solves he BSDE wih generaor h and erminal condiion ψ. Finally, we have now all a our hands for a soluion by seing { Y a Y =, (τ > ) (τ,τ = τ A ), Ŷ, (τ,τ τ A ), s K. 16

17 { Z a Z =, (τ > ) (τ,τ = τ A ), Ẑ, (τ,τ τ A ), and U = { Ŷ Y a, τ,, > τ. Noice ha, on he se B = {τ,τ τ A }, we have Y = Y Y τ +Y τ = (Ŷ Ŷτ)+(Ŷτ Yτ a )+Ya = τ = Y + Ẑ s dw s τ Z s dw s + m(s,ẑs)ds+ U s dm s τ U s dd s +Y a + τ f(s,z s,u s )ds. τ Zs a dw s h(s,ys a,za s )ds On he complemenary se B c = {τ > } {τ,τ = τ A }, he maringale M has no jumps on [,] and saisfies M = (1 D s )k s ds. Hence, on B c, we have Y = Y a = Y a = Y a + = Y a + + Z a sdw s Z a sdw s + Z a sdw s h(s,y a s,z a s)ds f(s,zs,(ŷs a Ys a )1 {τa s})ds f(s,z a s,u s )ds+ U s dm s. (Ŷs Y a s )1 {τa s}k s ds Finally, he erminal condiion Y = ξ1 {τ>} +ζ1 {τ } is saisfied, since on B we have, Y = Ŷ = ζ, and on B c we have Y = Y a = ξ1 {τ A>} +ζ1 {τa } = ξ1 {τ>} +ζ1 {τ }. his shows ha (Y,Z,U) is a soluion of he BSDE (1). Moreover, he boundedness of Y a and Ŷ implies ha Y and U are bounded, oo. WenexshowhawecansillsolveBSDE(1), ifweallowhecompensaion o depend on he defaul ime. heorem 2.3. (Exisence) Le ( ζ()) be a (F )-predicable bounded process, such ha ζ() is almos surely righ-coninuous on [,]. Le f saisfy (P1) and (P2). hen here exiss a soluion (Y,Z,U) R (G ) H 2 (G ) H (G ) of he BSDE Y = ξ1 {τ>} + ζ(τ)1 {τ } Z s dw s U s dm s + f(s,z s,u s )ds. (22) Proof. o simplify noaion, we assume hroughou he proof ha he process A is equal o zero, and hence ha (3) simplifies o dk s = k s ds. 17

18 Le τ n, n N, be he discree approximaion of he defaul ime τ defined by τ n (ω) = k ] k 1 if τ(ω) n n, k ],k Z +. n Observe ha τ n is a sopping ime wih respec o he filraion (G ). For all k n <, le (Ŷ k,n,ẑk,n ) be he soluion of he BSDE Ŷ k,n = ζ( k n ) Le (Ŷ,Ẑ ) be he soluion of he BSDE Ẑs k,n dw s + f(s,ẑk,n s,)ds. Ŷ = ζ() Ẑs dw s + f(s,ẑ s,)ds, and le h n be he family of generaors such ha h n (,y,z) = and h n (s,y,z) = f(s,z,ŷ k,n s y) if s ] k 1 n, k n ]. Le (y n,z n ) be a soluion of he BSDE wih erminal condiion ξ and generaor h n. Moreover, le y Y n n, < τ, = Ŷ k,n, τ and τ n = k n, Ŷ, τ and τ n = k n >, z Z n n, τ, = Ẑ k,n, > τ and τ n = k n, Ẑ, τ and τ n = k n >, and Ŷ k,n U n y n, τ, ]k 1 n, k n ], k n = Ŷ y n, τ, ] k 1 n, k n ], k n >, > τ. o simplify noaions assume ha τ > a.s. hen Y n = y n 1 {<τ} + Ŷ k,n 1 { τ} 1 {τn= k n } +Ŷ 1 { τ}1 {τn>} k [ ] 1 { τ} 1 {τn= k n } (Ŷ τ k,n yτ)+(ŷ n k,n Ŷk,n τ ) = y n τ + k +1 { τ} 1 {τn>} [ ] (Ŷ τ yτ)+(ŷ n Ŷ τ ) (23) 18

19 Noice ha k,n 1 { τ} 1 {τn= k n }(Ŷ and Ŷk,n τ k,n 1 { τ} 1 {τn= k n }(Ŷτ ( ) = 1 { τ} 1 {τn= k n } Zs n dw s yτ n ) = 1 { τ}1 {τn= k n } Us n dd s. hen using he same argumen for he hird erm of (23), we obain Y n = y n + + τ τ τ z n sdw s Z n s dw s = Y n + Zs n dw s + τ τ τ h n (s,y n s,z n s)ds+ f(s,z n s,)ds U n s dm s τ f(s,z n s,un s ), U n s dd s which shows ha (Y n,z n,u n ) is a soluion in R (G ) H 2 (G ) H (G ) of he BSDE Y n = ξ1 {τ>} +( ζ(τ n )1 {τn } + ζ()1 {τn>})1 {τ } (24) Z n s dw s U n s dm s + f(s,z n s,un s )ds. Now le 1 n < m. hen we have τ m τ n. Moreover, leing κ denoe a bound for he process ζ(), we obain for all q 2 τ f(s,z n s,)ds ) E [ ( ζ(τ m )1 {τm } + ζ()1 {τm>})1 {τ } ( ζ(τ n )1 {τn } + ζ()1 {τn>})1 {τ } q] P(τ m < τ n )κ q +E ζ(τ m ) ζ(τ n ) q, which converges o as n,m. Since he random variables ζ() and ξ are bounded, resuls of Kobylanski [15] and Lemma 2.2 imply ha he R norms sup [,] Y n and he BMO norms of Zn s dw s are uniformly bounded in n. Consequenly we may deduce from he a priori esimaes of heorem 2.1 ha here exiss a q 2 such ha he sequence (Y n,z n,u n ) is Cauchy in R q (G ) H 2 (G ) H q (G ), and hence possesses a limi, say (Y,Z,U), which is easily shown o solve he BSDE (22). heorem 2.4. (Uniqueness) Le ξ be a bounded G -measurable random variable and f a generaor saisfying (P1) and (P2), hen he BSDE (1) has a unique soluion in R (G ) H 2 (G ) S (G ). Proof. le (Y i,z i,u i ) R (G ) H 2 (G ) H (G ) be soluions of he BSDEs Y i = ξ Zs i dw s Us i dm s + f(s,zs i,ui s )ds. 19

20 Le δξ = ξ ξ =, δf s = δy = Y 1 Y 2, δz = Z 1 Z 2 and δu = U 1 U 2. Applying heorem 2.1, we obain for a q > 1, [ ( )] ( ) 2q E sup δy 2 + ( δz s 2 + δu s 2 (1 D s ) k s [,] 2 )ds CE δξ 2q + δf s ds =. 3 Expeced uiliy and opimal invesmen in erms of BSDEs For all s [,], p R k, q R, z R d and u R le h(s,p,q,z,u) = pϑ s qa s η p+qc s z ] η (1 D s )k s [e η(u+q) 1 η(u+q), and define f(s,z,u) = min (p,q) C s h(s,p,q,z,u). (25) Remark 3.1. If i is impossible o inves in he defaulable zero-coupon, i.e he consrains se is (p,q)/ (p,q ) C 1 {}, hen he generaor f saisfies f(s,z,u) = 1 2 ηdis2 (z + 1 η ϑ s,c 1 s ) ϑ sz ϑ s 2 2η + 1 η (1 D s )k s [e ηu 1 ηu].(26) In his case hypoheses (P1) and (P2) are easily seen o be fulfilled. Moreover, he minimum of h on C s {} is aained a p = Π Cs (z + 1 η ϑ s). heorem 3.1. Le F = X 1 1 {τ>} + X 2 1 {τ } where X 1 is a bounded F - measurable random variable and X 2 = h(τ), where h is a F-predicable bounded process. Le (Y,Z,U) R (G ) H 2 (G ) H (G ) be a soluion of he BSDE (1) wih generaor defined in (25) and ξ = F. We assume ha he generaor defined in (25) saisfies properies (P1) and (P2). hen V F (v) = U(v Y ), and any predicable process ( p, q) saisfying P λ-a.s. is an opimal sraegy. h(s, p s, q s,z s,u s ) = min (p,q) C s h(s,p,q,z s,u s ). he proof of heorem 3.1 is based on he following lemma. Lemma 3.1. U(v + G p,q Y ) is a local supermaringale for every locally square inegrable and (G )-predicable processes p and q. If in addiion (p s,q s ) = argmin (u,v) Cs h(s,u,v,z s,u s ), P λ-a.s., hen U(v+G p,q Y ) is a local maringale. 2

21 Proof. Lepandq belocallysquareinegrableand(g )-predicableprocesses. Use he abbreviaion G = G p,q and noe ha an applicaion of Io s formula o U(G Y ) yields U(v +G Y ) = U(v Y )+ + Moreover, we may wrie U (v +G s Y s )(p s +q s c s Z s )dw s U (v +G s Y s )(q s +U s )dm s U (v +G s Y s )(p s ϑ s +q s a s +f(s,z s,u s ))ds + 1 U (v +G s Y s ) p s +q s c s Z s 2 ds 2 + U(v +G s Y s ) <s [ e η( Gs Ys) 1+η( G s Y s ) U(v +G Y ) = U(v Y )+ local maringale (27) + U (v +G s Y s )(f(s,z s,u s ) h(s,p s,q s,z s,u s ))ds. (28) he monooniciy of U and (25) implies ha he bounded variaion process in (28) is decreasing and hence ha U(v + G Y ) is a local supermaringale. If in addiion (p s,q s ) = argmin (u,v) Cs h(s,u,v,z s,u s ), P λ-a.s., hen he inegrand in (28) vanishes, and herefore in his case U(v+G p,q Y ) is a local maringale. Proof of heorem 3.1. Le ( p, q) be a (G )-predicable process saisfying h(s, p s, q s,z,u) = min (p,q) Cs h(s,p,q,z,u),λ P-a.s. Wefirsshowha( p s, q s ) is locally square inegrable, and ha (( p+ qc) W) is a BMO maringale. Since C 2 is bounded, he process q is bounded. Moreover we have a represenaion of p in erms of q, namely p = Π C 1 (Z + 1 η ϑ q c ), and hence we have p Z + 1 η ϑ qc + p (Z + 1 ϑ qc) η 2 Z +2 1 η ϑ +2 qc. his immediaely yields he square inegrabiliy of p and q, and wih Lemma 2.2, he BMO propery of (( p+ qc) W). According o he previous lemma here exiss a sequence of sopping imes τ n converging o, a.s. such ha for all n 1, he sopped process U(v + G p, q τ n Y τn ) is a maringale. ] 21

22 Nex observe ha U(v +G p, q Y ) = E ( η ( p s + q s c s Z s )dw s ) ( exp η( v +Y )+η ( exp ( q s +U s )dm s ) ) (e η( qs+us) 1 η( q s +U s ))(1 D s )k s ds Since U and Y are bounded, his yields ha {U(v+G p, q ρ Y ρ ) : ρ sopping ime wih values in [,]} is uniformly inegrable. Moreover, lim n EU(v + G p, q τ n Y τn ) = EU(v +G p, q Y ), for all [,], from which we deduce, EU(v +G p, q Y ) = EU(v Y ). Noe ha for all (p,q) A we have EU(v +G p,q Y ) EU(v +G p, q Y ) = EU(v Y ), which shows ha ( p, q) is indeed he opimal sraegy. Finally, i follows ha V F (v) = EU(v Y ). 4 Credi risk premium In his secionwe showhowhe resuls fromhe previoussecionscan be applied in order o obain probabilisic and analyic expressions for he premium o be paid due o he probable defaul. o keep hings simple we assume ha here is no radable defaulable asse and hence he rading consrains are of he form C = C 1 {}. Le ξ be a bounded F -measurable random variable represening he value of a posiion if no defaul occurs. By indifference credi risk premium we mean he amoun of money c such ha an invesor is indifferen beween holding he non-defaulable securiy ξ, or holding he defaulable securiy ξ1 {τ>} and receiving a riskless compensaion c a ime. o define he indifference credi risk premium in a sric sense, denoe by V ξ (v) and V ξ1 {τ>} (v) he maximal expeced uiliy of an invesor wih iniial wealh v, and endowmen ξ and ξ1 {τ>} respecively. hen c is defined as he unique real number saisfying V ξ () = V ξ1 {τ>} (c). Since we assume ha he preferences are deermined by he exponenial uiliy funcion, c does no depend on he iniial wealh of he invesor. As for he maximal expec uiliy, he indifference credi risk premium has a represenaion in erms of a BSDE, oo. o his end le g(,z) = 1 2 ηdis2 (z + 1 η ϑ s,c 1 s) ϑz 1 2η ϑ 2 22

23 and le (Ỹ, Z) be he soluion of he BSDE Ỹ = ξ hen V ξ () = U( Ỹ). Analogously, le Z s dw s + g(s, Z s )ds. f(,z,u) = 1 2 ηdis2 (z + 1 η ϑ s,c 1 s ) ϑz 1 2η ϑ η (1 D s )k s [e ηu 1 ηu], and le (Y,Z,U) be he soluion of he BSDE Y = ξ1 {τ>} Z s dw s U s dm s + f(s,z s,u s )ds. hen, by heorem 3.1, V ξ1 {τ>} (c) = U(c Y ). Nex we define he R d -valued predicable process γs i = dis2 (Z s + 1 η ϑ s,cs) dis 1 2 ( Z s + 1 η ϑ s,cs) 1 Zs i Z, 1 i d. s i Noice ha we have γ C(1+ Z + Z ) for some consan C R +. herefore he inegral process γ sdw s is a BMO maringale and hence we may define he probabiliy measure P wih densiy d P dp = E( γ s dw s ). Girsanov s heorem implies ha Ŵ = W + γ sds is a Brownian moion wih respec o P. We are now ready o esablish he represenaion of he credi risk premium in erms of a BSDE. Proposiion 4.1. he indifference credi risk premium saisfies c = Ȳ, where (Ȳ, Z,Ū) is he soluion of he BSDE Ȳ = ξ1 {τ } Z s dŵs Ū s dm s + h(s, Z s,ū)ds, (29) wih generaor h(,z,u) = ϑz + 1 η (1 D s )k s [e ηu 1 ηu]. Proof. he very definiion of he indifference credi risk premium implies c = Y Ỹ. he differences Ȳ = Y Ỹ, Z = Z Z, Ū = U, are easily shown o solve he BSDE (29). 23

24 Remark 4.1. Noice ha once he defaul occurred while he ime horizon is no aained, he erminal condiion in he BSDE (29) is equal o ξ, and he compensaion is equal o he value of he coningen claim. In he following we will derive a lower bound for he credi risk premium given as he expecaion of he defaulable securiy ξ1 {τ }. Corollary 4.1. Le Q be he probabiliy measure defined by dq d P = E( ϑ s dŵs). hen he credi risk premium is bounded from below by E Q [ξ1 {τ } ]. In paricular, if ξ is posiive, hen he indifference credi risk premium is posiive, oo. Moreover, wih vanishing risk aversion η, he credi risk premium converges o E Q [ξ1 {τ } ]. Proof. he soluion (Ȳ, Z,Ū) of (29) saisfies Ȳ = ξ1 {τ } Z s d W s Ū s dm s + 1 η (1 D s )k s [e ηūs 1 ηūs]ds, where W = Ŵ ϑ sds is a Q-Brownian moion. Hence, ] Ȳ = E [ξ1 Q 1 {τ } + η (1 D s )k s [e ηūs 1 ηūs]ds G E Q[ ] ξ1 {τ } G. 1 Noice ha lim η η k s[e ηu 1 ηu] =, and since Ū is bounded, we have ha wihvanishingriskaversionη, hecrediriskpremiumconvergesoe Q [ξ1 {τ } ]. Remark 4.2. If he number of uncerainies equals he number of asses (i.e. k = d), and if here areno consrains(i.e. C 1 = R k ), hen P = P. Moreover,in his case he measure Q defined in Corollary 4.1 is he risk-neural fair measure for pricing non-defaulable derivaives on he asses S 1,...,S k. Analyic represenaion for a defaulable Pu Opion In his subsecion we derive an analyic expression for he credi risk premium of a defaulable pu opion. o keep hings simple we suppose ha our financial marke consiss in only one radable asse wih dynamics evolving according o ds = S αd+s σdw. In addiion we assume k = d = 1, here are no rading consrains and here does no exis a defaulable asse. So he credi risk is he only source for marke incompleeness. Moreover we suppose he compensaor K saisfies dk = k(s )d+da where k is for example a posiive coninuous funcion. 24

25 Le C R + be he srike of a pu opion wih pay-off funcion ψ(x) = (C x) +. We will show ha he credi risk premium of ψ(s )1 {τ>} is he iniial value of a PDE. We use he fac ha soluions of BSDEs can be represened in erms of soluions of PDEs and vice versa. o his end we characerize in more deail hesoluionof (29)whereweseξ = ψ(s ). WefirssolveheBSDEwihdriver (s,z) h(s,z,) and non-defaulable derivaive ψ(s ) as erminal condiion, Ŷ = ψ(s ) Ẑ s dw s + h(s,ẑs,)ds. I is known ha Ŷ = u(,s ) where u is he soluion of he PDE u σ2 x 2 u xx =, u(,x) = ψ(x). (3) he PDE (3) is he Black-Scholes PDE for pu opions and he soluion is known o saisfy u(,x) = CΦ( d 2 ) xφ( d 1 ) wih d 1 = ln( x C )+σ 2 2 ( ) σ d 2 = d 1 σ. Up o he defaul ime τ, he soluion (Ȳ, Z) of (29) coincides wih he soluion of he BSDE Y a = = Z a s dw s + Z a s dw s + and [h(s,z a s,u(s,s s) Y a s )+(1 D s )(u(s,s s ) Y a s )k(s s)]ds [ ϑzs a +(1 D s ) k(s s) (e η(u(s,ss) Y s a ) 1)]ds. η Moreover, we have Y a = v(,s ), where v is he soluion of he PDE v σ2 x 2 v xx + k(x) η (eη(u v) 1) =, v(,x) =. (31) Noice ha he PDE (31) does no depend on he drif parameer α, which is almos impossible o esimae in pracice. o sum up, we have he following resul. Proposiion 4.2. Condiionally on S = x and τ >, he credi risk premium a ime of a defaulable pu opion wih srike C and mauriy > is given by v(,x), where v is he soluion of he PDE (31). 5 Conclusion and final remarks In his aricle we sudied a class of BSDEs allowing for a jump a a random ime and saisfying a quadraic growh condiion, and we provided sufficien condiions for he exisence and he uniqueness of soluions. Wih his a hand, we have generalized BSDE represenaions of he maximal expeced exponenial uiliy of invesors endowed wih defaulable coningen claims. Finally, we 25

26 inroduced he noion of indifference credi risk premium of a defaulable coningen claim, and we derived a represenaion in erms of a BSDE wih quadraic growh generaor jumping a he defaul ime. We remark ha one may deermine no only he indifference price of credi risk associaed wih a coningen claim, bu he indifference value of he defaulable coningen claim iself. As for he credi risk premium, he indifference value can be shown o be equal o he difference of wo coninuous BSDEs wih quadraic growh, and hence o a single BSDE wih a jump a he defaul ime τ. By using analogue mehods as in Secion 4, one can hus generalize represenaions of indifference prices as derived in [1]. Moreover, regulariy of coninuous quadraic BSDEs, as verified in [1], allow o wrie hedging formulas in erms of derivaives of he indifference value wih respec o he marke price processes. One can hus exend dela hedging principles o defaulable coningen claims, by linking he opimal hedge o sensiiviies of indifference values. Acknowledgemen he auhors hank an anonymous referee for a very careful reading of he manuscrip and many valuable commens. References [1] S. ANKIRCHNER, P. IMKELLER, and G. DOS REIS. Classical and variaional differeniabiliy of BSDEs wih quadraic growh. Elecron. J. Probab., 12:no. 53, (elecronic), 27. [2]. R. BIELECKI, M. JEANBLANC, and M. RUKOWSKI. Hedging of defaulable claims. In Paris-Princeon Lecures on Mahemaical Finance 23, volume 1847 of Lecure Noes in Mah., pages Springer, Berlin, 24. [3]. R. BIELECKI, M. JEANBLANC, and M. RUKOWSKI. Modeling and valuaion of credi risk. In Sochasic mehods in finance, volume 1856 of Lecure Noes in Mah., pages Springer, Berlin, 24. [4]. R. BIELECKI and M. RUKOWSKI. Credi risk: modelling, valuaion and hedging. Springer Finance. Springer-Verlag, Berlin, 22. [5] C. BLANCHE-SCALLIE. Processus à saus e risque de défau. PhD hesis, Universié d Evry Val d Essonne, ocobre 21. [6] C. BLANCHE-SCALLIE and M. JEANBLANC. Hazard rae for credi risk and hedging defaulable coningen claims. Finance Soch., 8(1): , 24. [7] P. BREMAUD and M. YOR. Changes of filraions and of probabiliy measures. Zeischrif für Wahrscheinlichkeisheorie und Verwande Gebiee, 45(4): , [8] D. DUFFIE and K. SINGLEON. Credi risk: Pricing, measuremen and managemen. Princeon Universiy Press, Princeon.,

27 [9] N. El KAROUI, S. PENG, and M. C. QUENEZ. Backward sochasic differenial equaions in finance. Mah. Finance, 7(1):1 71, [1] A. EYRAUD-LOISEL. Backward sochasic differenial equaions wih enlarged filraion. opion hedging of an insider rader in a financial marke wih jumps. Sochasic Processes and heir Applicaions, 115(11): , 25. [11] A. EYRAUD-LOISEL and M. ROYER. BSDE wih random erminal ime under enlarged filraion, and financial applicaions. Working Paper, Les cahiers de Recherche de l ISFA, (WP 234), 26. [12] Y. HU, P. IMKELLER, and M. MÜLLER. Uiliy maximizaion in incomplee markes. Ann. Appl. Probab., 15(3): , 25. [13]. JEULIN. Comporemen des semi-maringales dans un grossissemen de filraion. Zeischrif für Wahrscheinlichkeisheorie und Verwande Gebiee, 52(2): , 198. [14] N. KAZAMAKI. Coninuous exponenial maringales and BMO, volume 1579 of Lecure Noes in Mahemaics. Springer-Verlag, Berlin, [15] M. KOBYLANSKI. Backward sochasic differenial equaions and parial differenial equaions wih quadraic growh. Ann. Probab., 28(2):558 62, 2. [16]. LIM and M.C. QUENEZ. Uiliy maximizaion in incomplee markes wih defaul. arxiv:mah/ v1, 28. [17] M.A. MORLAIS. Uiliy maximizaion in a jump marke model. arxiv:mah/612181v3, 26. [18] R. ROUGE and N. EL KAROUI. Pricing via uiliy maximizaion and enropy. Mah. Finance, 1(2): , 2. INFORMS Applied Probabiliy Conference (Ulm, 1999). [19] Ph.J. SCHÖNBUCHER. Credi derivaives pricing models. Wiley Finance, Chicheser, 23. [2] M. YOR. Grossissemen d une filraion e semi-maringales: héorèmes généraux. In Séminaire de Probabiliés, XII (Univ. Srasbourg, Srasbourg, 1976/1977), volume 649 of Lecure Noes in Mah., pages Springer, Berlin, [21] M. YOR. Applicaion d un lemme de. Jeulin au grossissemen de la filraion brownienne. In Seminar on Probabiliy, XIV (Paris, 1978/1979) (French), volume 784 of Lecure Noes in Mah., pages Springer, Berlin,