Stopping time of Feller process
up vote
0
down vote
favorite
Let $X$ be a Feller process on $mathbb{R}$ with generator $Gf=frac{1}{2}f''-f'$ on $C_c^2$. Let $tau_b$ be the first time that $X$ hits $binmathbb{R}$. Show that for $x > 0$, $bP_x(tau_b < tau_0)to 0$ as $btoinfty$ and compute $E_x[tau_0]$.
The way I have solved problems similar to the second part is to use Doobs stopping theorem on some appropriate martingale. Indeed we even have a variety of martingales at our disposal thanks to the fact that $M_t=f(X_t)-int_0^t Gf(X_s),ds$ is a martingale for $fin C_c^2$. But I don't see an appropriate $f$ that would help me out here, neither for the first nor the second part. I would appreciate any hints.
probability-theory brownian-motion martingales markov-process stopping-times
add a comment |
up vote
0
down vote
favorite
Let $X$ be a Feller process on $mathbb{R}$ with generator $Gf=frac{1}{2}f''-f'$ on $C_c^2$. Let $tau_b$ be the first time that $X$ hits $binmathbb{R}$. Show that for $x > 0$, $bP_x(tau_b < tau_0)to 0$ as $btoinfty$ and compute $E_x[tau_0]$.
The way I have solved problems similar to the second part is to use Doobs stopping theorem on some appropriate martingale. Indeed we even have a variety of martingales at our disposal thanks to the fact that $M_t=f(X_t)-int_0^t Gf(X_s),ds$ is a martingale for $fin C_c^2$. But I don't see an appropriate $f$ that would help me out here, neither for the first nor the second part. I would appreciate any hints.
probability-theory brownian-motion martingales markov-process stopping-times
@saz: Well, $x$ is fixed, so eventually $b>x$.
– blst
Dec 3 at 16:15
Ah right, my mistake, sorry
– saz
Dec 3 at 17:12
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $X$ be a Feller process on $mathbb{R}$ with generator $Gf=frac{1}{2}f''-f'$ on $C_c^2$. Let $tau_b$ be the first time that $X$ hits $binmathbb{R}$. Show that for $x > 0$, $bP_x(tau_b < tau_0)to 0$ as $btoinfty$ and compute $E_x[tau_0]$.
The way I have solved problems similar to the second part is to use Doobs stopping theorem on some appropriate martingale. Indeed we even have a variety of martingales at our disposal thanks to the fact that $M_t=f(X_t)-int_0^t Gf(X_s),ds$ is a martingale for $fin C_c^2$. But I don't see an appropriate $f$ that would help me out here, neither for the first nor the second part. I would appreciate any hints.
probability-theory brownian-motion martingales markov-process stopping-times
Let $X$ be a Feller process on $mathbb{R}$ with generator $Gf=frac{1}{2}f''-f'$ on $C_c^2$. Let $tau_b$ be the first time that $X$ hits $binmathbb{R}$. Show that for $x > 0$, $bP_x(tau_b < tau_0)to 0$ as $btoinfty$ and compute $E_x[tau_0]$.
The way I have solved problems similar to the second part is to use Doobs stopping theorem on some appropriate martingale. Indeed we even have a variety of martingales at our disposal thanks to the fact that $M_t=f(X_t)-int_0^t Gf(X_s),ds$ is a martingale for $fin C_c^2$. But I don't see an appropriate $f$ that would help me out here, neither for the first nor the second part. I would appreciate any hints.
probability-theory brownian-motion martingales markov-process stopping-times
probability-theory brownian-motion martingales markov-process stopping-times
edited Dec 4 at 7:54
saz
77.4k755120
77.4k755120
asked Dec 3 at 12:33
blst
689412
689412
@saz: Well, $x$ is fixed, so eventually $b>x$.
– blst
Dec 3 at 16:15
Ah right, my mistake, sorry
– saz
Dec 3 at 17:12
add a comment |
@saz: Well, $x$ is fixed, so eventually $b>x$.
– blst
Dec 3 at 16:15
Ah right, my mistake, sorry
– saz
Dec 3 at 17:12
@saz: Well, $x$ is fixed, so eventually $b>x$.
– blst
Dec 3 at 16:15
@saz: Well, $x$ is fixed, so eventually $b>x$.
– blst
Dec 3 at 16:15
Ah right, my mistake, sorry
– saz
Dec 3 at 17:12
Ah right, my mistake, sorry
– saz
Dec 3 at 17:12
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $g(x) := tfrac{1}{2} exp(2x)$. Use Dynkin's formula to show that $$mathbb{E}^x(g(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gg)(X_s) , ds right).$$
- As $Gg(x)=0$ it follows from Step 1 that $$mathbb{E}^x g(X_{t wedge tau}) = g(x).$$ Apply the dominated convergence theorem to conclude that $$mathbb{E}^x g(X_{tau})=g(x).$$
- Show that $$mathbb{E}^x g(X_{tau}) = frac{1}{2} left( e^{2b} mathbb{P}^x(tau_b<tau_0)+ mathbb{P}^x(tau_0<tau_b) right)$$ and deduce from Step 2 that $$limsup_{b to infty} e^{2b} mathbb{P}^x(tau_b<tau_0)< infty;$$ hence $$lim_{b to infty} b mathbb{P}^x(tau_b<tau_0)=0.$$
Hints for Part 2: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $f(x) := x$. Use Dynkin's formula to show that $$mathbb{E}^x(f(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gf)(X_s) , ds right).$$
- Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$
- Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.
- Conclude from Step 2 and 3 that $$b mathbb{P}^x(tau_b<tau_0)-x = mathbb{E}^x f(X_{tau})-x = - mathbb{E}^x(tau). tag{1}$$
- Use Part I and the monotone convergence theorem to let $b to infty$ in $(1)$. Conclude that $mathbb{E}^x(tau_0)=x$.
Remark: The process $X$ is actually a Brownian motion with drift, $$X_t = B_t-t; $$ this follows from the particular form of the generator.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $g(x) := tfrac{1}{2} exp(2x)$. Use Dynkin's formula to show that $$mathbb{E}^x(g(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gg)(X_s) , ds right).$$
- As $Gg(x)=0$ it follows from Step 1 that $$mathbb{E}^x g(X_{t wedge tau}) = g(x).$$ Apply the dominated convergence theorem to conclude that $$mathbb{E}^x g(X_{tau})=g(x).$$
- Show that $$mathbb{E}^x g(X_{tau}) = frac{1}{2} left( e^{2b} mathbb{P}^x(tau_b<tau_0)+ mathbb{P}^x(tau_0<tau_b) right)$$ and deduce from Step 2 that $$limsup_{b to infty} e^{2b} mathbb{P}^x(tau_b<tau_0)< infty;$$ hence $$lim_{b to infty} b mathbb{P}^x(tau_b<tau_0)=0.$$
Hints for Part 2: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $f(x) := x$. Use Dynkin's formula to show that $$mathbb{E}^x(f(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gf)(X_s) , ds right).$$
- Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$
- Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.
- Conclude from Step 2 and 3 that $$b mathbb{P}^x(tau_b<tau_0)-x = mathbb{E}^x f(X_{tau})-x = - mathbb{E}^x(tau). tag{1}$$
- Use Part I and the monotone convergence theorem to let $b to infty$ in $(1)$. Conclude that $mathbb{E}^x(tau_0)=x$.
Remark: The process $X$ is actually a Brownian motion with drift, $$X_t = B_t-t; $$ this follows from the particular form of the generator.
add a comment |
up vote
1
down vote
accepted
Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $g(x) := tfrac{1}{2} exp(2x)$. Use Dynkin's formula to show that $$mathbb{E}^x(g(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gg)(X_s) , ds right).$$
- As $Gg(x)=0$ it follows from Step 1 that $$mathbb{E}^x g(X_{t wedge tau}) = g(x).$$ Apply the dominated convergence theorem to conclude that $$mathbb{E}^x g(X_{tau})=g(x).$$
- Show that $$mathbb{E}^x g(X_{tau}) = frac{1}{2} left( e^{2b} mathbb{P}^x(tau_b<tau_0)+ mathbb{P}^x(tau_0<tau_b) right)$$ and deduce from Step 2 that $$limsup_{b to infty} e^{2b} mathbb{P}^x(tau_b<tau_0)< infty;$$ hence $$lim_{b to infty} b mathbb{P}^x(tau_b<tau_0)=0.$$
Hints for Part 2: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $f(x) := x$. Use Dynkin's formula to show that $$mathbb{E}^x(f(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gf)(X_s) , ds right).$$
- Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$
- Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.
- Conclude from Step 2 and 3 that $$b mathbb{P}^x(tau_b<tau_0)-x = mathbb{E}^x f(X_{tau})-x = - mathbb{E}^x(tau). tag{1}$$
- Use Part I and the monotone convergence theorem to let $b to infty$ in $(1)$. Conclude that $mathbb{E}^x(tau_0)=x$.
Remark: The process $X$ is actually a Brownian motion with drift, $$X_t = B_t-t; $$ this follows from the particular form of the generator.
add a comment |
up vote
1
down vote
accepted
up vote
1
down vote
accepted
Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $g(x) := tfrac{1}{2} exp(2x)$. Use Dynkin's formula to show that $$mathbb{E}^x(g(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gg)(X_s) , ds right).$$
- As $Gg(x)=0$ it follows from Step 1 that $$mathbb{E}^x g(X_{t wedge tau}) = g(x).$$ Apply the dominated convergence theorem to conclude that $$mathbb{E}^x g(X_{tau})=g(x).$$
- Show that $$mathbb{E}^x g(X_{tau}) = frac{1}{2} left( e^{2b} mathbb{P}^x(tau_b<tau_0)+ mathbb{P}^x(tau_0<tau_b) right)$$ and deduce from Step 2 that $$limsup_{b to infty} e^{2b} mathbb{P}^x(tau_b<tau_0)< infty;$$ hence $$lim_{b to infty} b mathbb{P}^x(tau_b<tau_0)=0.$$
Hints for Part 2: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $f(x) := x$. Use Dynkin's formula to show that $$mathbb{E}^x(f(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gf)(X_s) , ds right).$$
- Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$
- Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.
- Conclude from Step 2 and 3 that $$b mathbb{P}^x(tau_b<tau_0)-x = mathbb{E}^x f(X_{tau})-x = - mathbb{E}^x(tau). tag{1}$$
- Use Part I and the monotone convergence theorem to let $b to infty$ in $(1)$. Conclude that $mathbb{E}^x(tau_0)=x$.
Remark: The process $X$ is actually a Brownian motion with drift, $$X_t = B_t-t; $$ this follows from the particular form of the generator.
Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $g(x) := tfrac{1}{2} exp(2x)$. Use Dynkin's formula to show that $$mathbb{E}^x(g(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gg)(X_s) , ds right).$$
- As $Gg(x)=0$ it follows from Step 1 that $$mathbb{E}^x g(X_{t wedge tau}) = g(x).$$ Apply the dominated convergence theorem to conclude that $$mathbb{E}^x g(X_{tau})=g(x).$$
- Show that $$mathbb{E}^x g(X_{tau}) = frac{1}{2} left( e^{2b} mathbb{P}^x(tau_b<tau_0)+ mathbb{P}^x(tau_0<tau_b) right)$$ and deduce from Step 2 that $$limsup_{b to infty} e^{2b} mathbb{P}^x(tau_b<tau_0)< infty;$$ hence $$lim_{b to infty} b mathbb{P}^x(tau_b<tau_0)=0.$$
Hints for Part 2: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$
- Set $f(x) := x$. Use Dynkin's formula to show that $$mathbb{E}^x(f(X_{t wedge tau}))-x = mathbb{E}^x left( int_0^{t wedge tau} (Gf)(X_s) , ds right).$$
- Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$
- Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.
- Conclude from Step 2 and 3 that $$b mathbb{P}^x(tau_b<tau_0)-x = mathbb{E}^x f(X_{tau})-x = - mathbb{E}^x(tau). tag{1}$$
- Use Part I and the monotone convergence theorem to let $b to infty$ in $(1)$. Conclude that $mathbb{E}^x(tau_0)=x$.
Remark: The process $X$ is actually a Brownian motion with drift, $$X_t = B_t-t; $$ this follows from the particular form of the generator.
edited Dec 4 at 7:54
answered Dec 3 at 19:28
saz
77.4k755120
77.4k755120
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3023996%2fstopping-time-of-feller-process%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
@saz: Well, $x$ is fixed, so eventually $b>x$.
– blst
Dec 3 at 16:15
Ah right, my mistake, sorry
– saz
Dec 3 at 17:12