Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The Question: Let $X$ be a continuous process, and suppose $0 < p < q$.

Prove the case $V_t^p(X) < \infty \implies V_t^q(X) = 0$.


The standard setup.

$\Pi := \{t_0,t_1,...,t_N\}$ where $0 = t_0 \leq t_1 \leq ... \leq t_N = t$.

$||\Pi|| := \text{max}_{1 \leq i \leq N}|t_i - t_{i-1}|$

$V_t^a(X) := \lim_{||\Pi||\to 0}\sum_{i=1}^N |X_{t_i} - X_{t_{i-1}}|^a$

My Current Progress:

$V_t^q(X) = \lim_{||\Pi||\to 0}\sum_{i=1}^N |X_{t_i} - X_{t_{i-1}}|^p |X_{t_i} - X_{t_{i-1}}|^{q-p}$.

By the Holder Inequality, for $\frac1a + \frac1b = 1$:

$$V_t^q(X) = \lim_{||\Pi|| \to 0}\sum_{i=1}^N|X_{t_i}-X_{t_{i-1}}|^p|X_{t_i}-X_{t_{i-1}}|^{q-p} $$ $$ V_t^q(X) \leq \lim_{||\Pi|| \to 0}\Big[\sum_{i=1}^N(|X_{t_i}-X_{t_{i-1}}|^p)^a\Big]^\frac1b \Big[\sum_{i=1}^N(|X_{t_i}-X_{t_{i-1}}|^{p-q})^b\Big]^\frac1a $$ $$ = \lim_{||\Pi|| \to 0}\Big[\sum_{i=1}^N(|X_{t_i}-X_{t_{i-1}}|^p)^a\Big]^\frac1b \lim_{||\Pi|| \to 0}\Big[\sum_{i=1}^N(|X_{t_i}-X_{t_{i-1}}|^{p-q})^b\Big]^\frac1a $$ My Request:

Please help me to progress further on this interesting problem.

share|improve this question
Hint: Hölder inequality. –  Did Nov 9 '12 at 6:17
@did Thanks. Do you have any tips on how to progress furtheR? –  Jase Nov 9 '12 at 8:04
Yes: choose your $a$ and $b$ such that a factor of the RHS is a power of the $q$-variation. This allows to bound $V_t^q(X,\Pi)$ by a power of $V_t^p(X,\Pi)$, for every $\Pi$. Then take the supremum over $\Pi$. –  Did Nov 9 '12 at 10:26
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.