A SIMPLE PROOF OF KRAMKOV’S RESULT ON UNIFORM SUPERMARTINGALE DECOMPOSITIONS SAUL JACKA 1,2 University of Warwick Abstract: we give a simple proof of Kramkov’s uniform optional decomposition in the case where the class of density processes satisο¬es a suitable closure property. In this case the decomposition is previsible. Keywords: UNIFORM SUPERMARTINGALE; UNIFORM OPTIONAL DECOMPOSITION; UNIFORM PREDICTABLE DECOMPOSITION AMS subject classiο¬cation: 60G15 §1 Introduction In [2], Kramkov showed that for a suitable class of probability measures, π«, on a ο¬ltered measure space (Ω, β±, β±π‘ ; π‘ ≥ 0), if π is a supermartingale under all β ∈ π«, then there is a uniform optional decomposition of π into the diο¬erence between a π«uniform local martingale and an increasing optional process. In this note we give (in Theorem 2.1) a simple proof of this result in the case where the density processes of the p.m.s in π« (taken with respect to a suitable reference p.m.) are closed under scalar multiplication (and hence continuous). The applications in [2] refer to the ο¬nancial set-up, where π« is the collection of Equivalent Martingale Measures for a collection of discounted securities π³ , and π is the payoο¬ to a superhedging problem for an American option, so that ππ‘ = ess supβ∈π« ess supoptional π ≥π‘ πΌ[ππ β£β±π‘ ], where π is the claims process for the option. Other examples are a multi-period coherent risk-measure where the risk measure ππ‘ is given by ππ‘ (π) = ess supβ∈π« πΌ[πβ£β±π‘ ] (see [3]) and the Girsanov approach to a control set-up, where π is given by the same formula, but π« corresponds to a collection of costless controls on π (see, for example, [1]). §2 Uniform supermartingale decomposition We assume that we are given a ο¬ltered probability space (Ω, β±, (β±π‘ )π‘≥0 , β), satisfying the usual conditions, and a collection, π«, of probability measures on (Ω, β±) such that β << β, for all β ∈ π«. πππ πβ We note that, since β << β, Λβ π‘ = πβ β±π‘ is a non-negative β-martingale, with β Λβ may write it as Λβ π‘ = π(π )π‘ , where π is the Doleans-Dade 0 = 1, and hence we ∫ π‘ πΛβ π β exponential and πβ π‘ = 0 Λβ , so that π is a β-local martingale with jumps bounded π − below by −1. We denote by β the collection {πβ ; β ∈ π«} and by βπππ the usual localisation of β. 1 2 Postal address: Department of Statistics, University of Warwick, Coventry CV4 7AL, UK. E-mail: s.d.jacka@warwick.ac.uk 2 UNIFORM SUPERMARTINGALE DECOMPOSITIONS Theorem 2.1 Suppose that i) β ∈ π«; ii) βπππ is closed under scalar multiplication; then any π«-uniform local supermartingale, π, possesses a ππππ π -uniform Doob-Meyer predictable decomposition, i.e. we may write π uniquely as π = π − π΄, where π is a π«-uniform local martingale and π΄ is a locally integrable predictable increasing process with π΄0 = 0. Remark: Notice that condition (ii) implies that every element of βπππ is continuous, since if πΏπ ∈ βπππ for all πΏ ∈ β the jumps of π must be of size zero. Proof of Theorem 2.1: take β ∈ π«, with Λβ = π(πβ ). Now π is a β-local supermartingale iο¬ πΛβ is a β-local supermartingale so, taking the Doob-Meyer decomposition of π with respect to β: π = π − π΄, we must have that ∫ ∫ β β β πΛ = π0 + ππ‘− πΛπ‘ + Λβ π‘ πππ‘ + < π, Λ > ∫ ∫ ∫ β β β = π0 + ππ‘− πΛπ‘ + Λπ‘ πππ‘ + Λβ (2.1) π‘ (π < π , π >π‘ −ππ΄π‘ ) is a β-supermartingale. Now since the ο¬rst two terms in the last line of (2.1) are local martingales, whilst the last is a predictable process of integrable variation on compacts, it follows that the last term must be decreasing. For this to be true, we must have < πβ , π >+ << π΄, with π < πβ , π >+ ≤ 1, ππ΄ (2.2) where < πβ , π >+ and < πβ , π >− are, respectively, the increasing processes corresponding to the positive and negative components in the Hahn decomposition of the signed measure induced by < πβ , π >. Now βπππ is closed under scalar multiplication so that, localising if necessary, we πΏ πππ may assume that πΏπ ∈ β and so, deο¬ning βπΏ by Λβ = π(πΏπβ ), we see that (2.2) holds β ,π >+ with πβ replaced by πΏπβ for any πΏ ∈ β. Letting πΏ → ∞ we see that π<π ππ΄ = 0, whilst letting πΏ → −∞ we see that π<πβ ,π >− ππ΄ = 0. It follows immediately that < πβ , π >≡ 0 To complete the proof we need simply observe that ∫ ∫ ∫ β β β β π Λ = π0 + ππ‘− πΛπ‘ + Λπ‘ πππ‘ + Λβ π‘ π < π, π >π‘ , and hence π is a β-local martingale and since β is arbitrary, the result follows Remark: We note that if π« consists of the EMMs (or local EMMS) for a vector-valued martingale π and the underlying ο¬ltration supports only continuous martingales (for example if it is the ο¬ltration of a multi-dimensional Wiener process), then the conditions 3 UNIFORM SUPERMARTINGALE DECOMPOSITIONS of Theorem 2.1 are satisο¬ed. This follows since, under these conditions, if π is a β-local martingale then π ∈ βπππ ⇔< π, π >= 0, and the same then holds for any multiple of π. REFERENCES [1] BenesΜ, V: Existence of Optimal Stochastic Control Laws (1971), SIAM J. of Control and Optim. 9, 446-472. [2] Kramkov, D: Optional decomposition of supermartingales and hedging contingent claims in incomplete security markets (1996), Prob. Th & Rel. Fields 105, 459479. [3] Reidel, F: Dynamic Coherent Risk Measures (2004), Stoch. Proc. and Appl. 112, 185-200.