Martingales
[16/6%]Let be independent random variables with . Prove that the sequence of products forms a martingale.
Let be a probability space, , and let be a filtration of -algebras, i.e. and for all , . A random process , , is called a martingale with respect to the filtration if is measurable with respect to , , and almost surely for all . If for every , is generated by the family and is a martingale with respect to the filtration , one simply says that is a martingale. The process is called a submartingale (supermartingale) with respect to if the first two properties in the definition of a martingale hold and almost surely (respectively, almost surely) for all .
Let be independent random variables with , . Set and . Prove that the following sequence is a martingale with respect to the filtration :
;
.
Let be independent random variables with . Set and . Prove that for any numbers and , the sequence
is a martingale with respect to the filtration .
Let be independent, identically distributed random variables with zero mean. Set and . Prove that the following sequence is a martingale with respect to the filtration :
, if ;
, if .
Let be independent random variables with zero expectations. Denote . Prove that the sequence of sums forms a martingale.
Let be nonnegative random variables with finite mean values, . Prove that the sequence of sums forms a submartingale.
Let be independent random variables with zero expectations and finite variances. Denote . Prove that the sequence forms a martingale, where .
Let be independent random variables with for every . Prove that the sequence of products forms a martingale.
Let be a random variable with finite expectation, and let be a nondecreasing sequence of -algebras. Prove that the sequence forms a martingale.
Let be independent, identically distributed random variables with finite expectation, and let . Prove that the sequence
forms a martingale.
Let be a martingale with respect to the filtration . Prove that the process has uncorrelated increments, i.e. for .
Let be a homogeneous Poisson process with parameter . Prove that is a submartingale for and a supermartingale for .
Prove that a Wiener process started at zero is a continuous-time martingale.
Let be a martingale with for some . Prove that in probability.
Let be a branching process, and . Set . Prove that forms a martingale.
Let be a standard Wiener process. Determine which of the following processes are martingales:
;
.