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.










share|cite|improve this question
























  • @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















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.










share|cite|improve this question
























  • @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













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.










share|cite|improve this question
















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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • @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










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}.$$




  1. 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).$$

  2. 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).$$

  3. 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}.$$




  1. 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).$$

  2. Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$

  3. Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.

  4. 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}$$

  5. 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.






share|cite|improve this answer























    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    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

























    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}.$$




    1. 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).$$

    2. 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).$$

    3. 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}.$$




    1. 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).$$

    2. Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$

    3. Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.

    4. 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}$$

    5. 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.






    share|cite|improve this answer



























      up vote
      1
      down vote



      accepted










      Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$




      1. 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).$$

      2. 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).$$

      3. 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}.$$




      1. 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).$$

      2. Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$

      3. Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.

      4. 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}$$

      5. 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.






      share|cite|improve this answer

























        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}.$$




        1. 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).$$

        2. 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).$$

        3. 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}.$$




        1. 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).$$

        2. Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$

        3. Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.

        4. 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}$$

        5. 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.






        share|cite|improve this answer














        Hints for Part 1: Set $$tau :=tau_{0,b} := min{tau_0,tau_b}.$$




        1. 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).$$

        2. 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).$$

        3. 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}.$$




        1. 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).$$

        2. Since $Gf(x)=-1$ it follows that $$mathbb{E}^x f(X_{t wedge tau})-x = - mathbb{E}^x (t wedge tau).$$

        3. Use $|f(X_{t wedge tau})| leq b$ and the monotone convergence theorem to prove that $mathbb{E}^x(tau)<infty$.

        4. 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}$$

        5. 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.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 4 at 7:54

























        answered Dec 3 at 19:28









        saz

        77.4k755120




        77.4k755120






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            Bressuire

            Cabo Verde

            Gyllenstierna