Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(X_t)_{t\geq 0}$ be a continuous (or càdlàg), real-valued process, and define stopping times $$\tau_{s,a,b}=\inf~ [s,\infty)\cap\{t:X_t\notin (a,b)\}.$$ We can interpret $\tau_{s,a,b}$ as the first time after time $s$ that the process hits $a$ or $b$.

Suppose that for all $s,a,b$ we have:

$$\mathbb{E}[X_{\tau_{s,a,b}}|\mathcal{F}_s]\leq X_s$$

Then is $X$ necessarily a local supermartingale?


At first I thought that perhaps $X$ was necessarily a supermartingale, but Nate pointed out that there are local supermartingales with this property. For example,

$$ X_t = \begin{cases} W_{\min(\frac{t}{1-t},T)} &\text{for } 0 \le t < 1,\\ 1 &\text{for } 1 \le t < \infty, \end{cases}$$

where $(W_t)_{t\geq 0}$ is a Wiener process and $T=\inf\{t\geq 0:W_t=1\}$, seems to fit the bill.

(The question was edited in response to Nate's comment.)

I can solve the analogous problem in discrete time by induction, but don't know where to go from there, if indeed it's of any use.

Thank you.

share|cite|improve this question
A small thing: of X is continuous then $X_{\tau_{s,a,b}}$ is equal a or b. Sounds strange. – Kolmo Jan 17 '12 at 17:24
Seems to me that a local supermartingale would still satisfy your property. – Nate Eldredge Jan 17 '12 at 18:16
@Kolmo Yes, it will equal $a$ or $b$. – Ben Derrett Jan 17 '12 at 19:02
@NateEldredge Thank you! I've edited the question to reflect this (unfortunate) reality. – Ben Derrett Jan 17 '12 at 19:37
@Ben Derrett : I don't see why your example is a (local)supermartingale, don't we have $1=E[X_1]>X_0=0$ ? – TheBridge Jan 17 '12 at 21:21

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.