_19，使得formula_20是局部鞅。Karandikar-Rao(2014)给出了[M]存在的一个证明（不使用随机微积分）。平方可积鞅有一个有用的结论，可用来计算伊藤积分的变差formula_21只要M是右连左极平方可积鞅且H是有界可预测过程，这个结论总是成立的，常用于构造伊藤积分。还有一个重要结论是Burkholder-Davis-Gundy不等式，用二次变差给出了鞅的最大值的上下界。对从0开始的局部鞅，最大值记为formula_22，对任意实数formula_23formula