Uniformly integrable local martingale
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
Can someone give me an example of a uniformly integrable local martingale that is not a martingale? Or are all U.I. local martingales true martingales (continuous, of course).
probability-theory martingales uniform-integrability local-martingales
add a comment |Â
up vote
3
down vote
favorite
Can someone give me an example of a uniformly integrable local martingale that is not a martingale? Or are all U.I. local martingales true martingales (continuous, of course).
probability-theory martingales uniform-integrability local-martingales
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Can someone give me an example of a uniformly integrable local martingale that is not a martingale? Or are all U.I. local martingales true martingales (continuous, of course).
probability-theory martingales uniform-integrability local-martingales
Can someone give me an example of a uniformly integrable local martingale that is not a martingale? Or are all U.I. local martingales true martingales (continuous, of course).
probability-theory martingales uniform-integrability local-martingales
asked Jul 23 at 12:16
Protawn
32129
32129
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
It is not the case that all uniformly integrable local martingales are true martingales. In fact, it is not even true that $L^2$-bounded local martingales must be true martingales. Since a family of $L^p$-bounded random variable (for $p>1$) must be uniformly integrable it is sufficient to establish this second claim.
What follows is almost identical to my answer here.
Let $B_t$ be a standard Brownian motion in $mathbbR^3$ and define $X_t = |B_t|^-1$ for $t in (varepsilon, infty)$ where $0<varepsilon<1$. Let $mathcalF_t$ be the filtration generated by $B$.
We consider the process $Y_t = X_1+t$ and the filtration $mathcalG_t = mathcalF_1+t$. We have that $Y_t$ is adapted to $mathcalG_t$ and by Ito's formula that $Y$ is a continuous local martingale since $x mapsto |x|^-1$ is harmonic away from $0$ and $B$ doesn't visit $0$.
An explicit calculation gives that $mathbbE[X_t^2] = t^-1$ so that $Y$ is $L^2$-bounded. In particular, as I noted earlier, this implies that $Y$ is a uniformly integrable continuous local martingale.
However, since Brownian motion is transient in dimension $3$, $Y_t to 0$ almost surely as $t to infty$. Since $Y$ is uniformly integrable, if $Y$ were a true martingale we would have $Y_t = mathbbE[Y_infty mid mathcalG_t] = 0$ almost surely and it is clear this is not the case, so $Y$ is not a martingale.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
It is not the case that all uniformly integrable local martingales are true martingales. In fact, it is not even true that $L^2$-bounded local martingales must be true martingales. Since a family of $L^p$-bounded random variable (for $p>1$) must be uniformly integrable it is sufficient to establish this second claim.
What follows is almost identical to my answer here.
Let $B_t$ be a standard Brownian motion in $mathbbR^3$ and define $X_t = |B_t|^-1$ for $t in (varepsilon, infty)$ where $0<varepsilon<1$. Let $mathcalF_t$ be the filtration generated by $B$.
We consider the process $Y_t = X_1+t$ and the filtration $mathcalG_t = mathcalF_1+t$. We have that $Y_t$ is adapted to $mathcalG_t$ and by Ito's formula that $Y$ is a continuous local martingale since $x mapsto |x|^-1$ is harmonic away from $0$ and $B$ doesn't visit $0$.
An explicit calculation gives that $mathbbE[X_t^2] = t^-1$ so that $Y$ is $L^2$-bounded. In particular, as I noted earlier, this implies that $Y$ is a uniformly integrable continuous local martingale.
However, since Brownian motion is transient in dimension $3$, $Y_t to 0$ almost surely as $t to infty$. Since $Y$ is uniformly integrable, if $Y$ were a true martingale we would have $Y_t = mathbbE[Y_infty mid mathcalG_t] = 0$ almost surely and it is clear this is not the case, so $Y$ is not a martingale.
add a comment |Â
up vote
3
down vote
accepted
It is not the case that all uniformly integrable local martingales are true martingales. In fact, it is not even true that $L^2$-bounded local martingales must be true martingales. Since a family of $L^p$-bounded random variable (for $p>1$) must be uniformly integrable it is sufficient to establish this second claim.
What follows is almost identical to my answer here.
Let $B_t$ be a standard Brownian motion in $mathbbR^3$ and define $X_t = |B_t|^-1$ for $t in (varepsilon, infty)$ where $0<varepsilon<1$. Let $mathcalF_t$ be the filtration generated by $B$.
We consider the process $Y_t = X_1+t$ and the filtration $mathcalG_t = mathcalF_1+t$. We have that $Y_t$ is adapted to $mathcalG_t$ and by Ito's formula that $Y$ is a continuous local martingale since $x mapsto |x|^-1$ is harmonic away from $0$ and $B$ doesn't visit $0$.
An explicit calculation gives that $mathbbE[X_t^2] = t^-1$ so that $Y$ is $L^2$-bounded. In particular, as I noted earlier, this implies that $Y$ is a uniformly integrable continuous local martingale.
However, since Brownian motion is transient in dimension $3$, $Y_t to 0$ almost surely as $t to infty$. Since $Y$ is uniformly integrable, if $Y$ were a true martingale we would have $Y_t = mathbbE[Y_infty mid mathcalG_t] = 0$ almost surely and it is clear this is not the case, so $Y$ is not a martingale.
add a comment |Â
up vote
3
down vote
accepted
up vote
3
down vote
accepted
It is not the case that all uniformly integrable local martingales are true martingales. In fact, it is not even true that $L^2$-bounded local martingales must be true martingales. Since a family of $L^p$-bounded random variable (for $p>1$) must be uniformly integrable it is sufficient to establish this second claim.
What follows is almost identical to my answer here.
Let $B_t$ be a standard Brownian motion in $mathbbR^3$ and define $X_t = |B_t|^-1$ for $t in (varepsilon, infty)$ where $0<varepsilon<1$. Let $mathcalF_t$ be the filtration generated by $B$.
We consider the process $Y_t = X_1+t$ and the filtration $mathcalG_t = mathcalF_1+t$. We have that $Y_t$ is adapted to $mathcalG_t$ and by Ito's formula that $Y$ is a continuous local martingale since $x mapsto |x|^-1$ is harmonic away from $0$ and $B$ doesn't visit $0$.
An explicit calculation gives that $mathbbE[X_t^2] = t^-1$ so that $Y$ is $L^2$-bounded. In particular, as I noted earlier, this implies that $Y$ is a uniformly integrable continuous local martingale.
However, since Brownian motion is transient in dimension $3$, $Y_t to 0$ almost surely as $t to infty$. Since $Y$ is uniformly integrable, if $Y$ were a true martingale we would have $Y_t = mathbbE[Y_infty mid mathcalG_t] = 0$ almost surely and it is clear this is not the case, so $Y$ is not a martingale.
It is not the case that all uniformly integrable local martingales are true martingales. In fact, it is not even true that $L^2$-bounded local martingales must be true martingales. Since a family of $L^p$-bounded random variable (for $p>1$) must be uniformly integrable it is sufficient to establish this second claim.
What follows is almost identical to my answer here.
Let $B_t$ be a standard Brownian motion in $mathbbR^3$ and define $X_t = |B_t|^-1$ for $t in (varepsilon, infty)$ where $0<varepsilon<1$. Let $mathcalF_t$ be the filtration generated by $B$.
We consider the process $Y_t = X_1+t$ and the filtration $mathcalG_t = mathcalF_1+t$. We have that $Y_t$ is adapted to $mathcalG_t$ and by Ito's formula that $Y$ is a continuous local martingale since $x mapsto |x|^-1$ is harmonic away from $0$ and $B$ doesn't visit $0$.
An explicit calculation gives that $mathbbE[X_t^2] = t^-1$ so that $Y$ is $L^2$-bounded. In particular, as I noted earlier, this implies that $Y$ is a uniformly integrable continuous local martingale.
However, since Brownian motion is transient in dimension $3$, $Y_t to 0$ almost surely as $t to infty$. Since $Y$ is uniformly integrable, if $Y$ were a true martingale we would have $Y_t = mathbbE[Y_infty mid mathcalG_t] = 0$ almost surely and it is clear this is not the case, so $Y$ is not a martingale.
edited Jul 23 at 12:55
answered Jul 23 at 12:46
Rhys Steele
5,5751828
5,5751828
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860287%2funiformly-integrable-local-martingale%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password