world:useful-bounds
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
world:useful-bounds [2022/11/17 17:44] rdouc [Doob's inequalities] |
world:useful-bounds [2022/11/17 21:23] rdouc [Doob's inequalities] |
||
|---|---|---|---|
| Line 74: | Line 74: | ||
| ==== Maximal Kolmogorov inequality ==== | ==== Maximal Kolmogorov inequality ==== | ||
| + | <WRAP center round tip 80%> | ||
| Let \((M_k)_{k\in\nset}\) be a square integrable \((\mcf_k)_{k\in\nset}\)-martingale. Then, | Let \((M_k)_{k\in\nset}\) be a square integrable \((\mcf_k)_{k\in\nset}\)-martingale. Then, | ||
| \begin{equation} | \begin{equation} | ||
| Line 79: | Line 80: | ||
| \end{equation} | \end{equation} | ||
| - | $\bproof$ | + | </WRAP> |
| + | $\bproof$ | ||
| + | <note tip> | ||
| + | We provide a complete proof here but actually, we can also apply Doob's inequality below to the non-negative submartingale $M_n^2$ | ||
| + | </note> | ||
| Let \(\sigma=\inf\set{k\geq 1}{|M_k| \geq \alpha}\) with the convention that $\inf \emptyset=\infty$. | Let \(\sigma=\inf\set{k\geq 1}{|M_k| \geq \alpha}\) with the convention that $\inf \emptyset=\infty$. | ||
| Then, | Then, | ||
| Line 120: | Line 125: | ||
| \epsilon \PP\lr{\max_{k=1}^n X_k \geq \epsilon} \leq \PE[X_{\tau_\epsilon} \indiacc{\tau_\epsilon \leq n}] \leq \PE[X_{\tau_\epsilon \wedge n}]\leq \PE[X_{\tau_\epsilon \wedge 0}]=\PE[X_0] | \epsilon \PP\lr{\max_{k=1}^n X_k \geq \epsilon} \leq \PE[X_{\tau_\epsilon} \indiacc{\tau_\epsilon \leq n}] \leq \PE[X_{\tau_\epsilon \wedge n}]\leq \PE[X_{\tau_\epsilon \wedge 0}]=\PE[X_0] | ||
| $$ | $$ | ||
| - | where we used in the second inequality that $(X_n)$ is non-negative and in the third inequality that $(X_{\tau_\epsilon \wedge n})$ is a supermartingale. | + | where we used in the second inequality that $(X_n)$ is non-negative and in the third inequality that $(X_{\tau_\epsilon \wedge n})$ is a supermartingale. The proof then follows by letting $n$ goes to infinity. |
| * We now turn to the proof of **(ii)**. Using \eqref{eq:fond}, | * We now turn to the proof of **(ii)**. Using \eqref{eq:fond}, | ||
| \begin{align*} | \begin{align*} | ||
world/useful-bounds.txt · Last modified: 2022/11/18 11:14 by rdouc
Page Tools
