Survey							
                            
		                
		                * Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
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.