If $tau=inf {t ge 0: B(t)= -a text{ or } b}$ is a stopping time of Brownian motion $B_t$, why does...












0












$begingroup$


The solution to this question states that $E(tau)=E(B_{tau}^2)$. But how do we know this?










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    It seems to be explained pretty clearly in the answer. You show that $B_t^2 - t$ is a martingale and then you apply the optional stopping theorem. Can you explain which part of that you are asking about?
    $endgroup$
    – Nate Eldredge
    Dec 14 '18 at 16:57
















0












$begingroup$


The solution to this question states that $E(tau)=E(B_{tau}^2)$. But how do we know this?










share|cite|improve this question









$endgroup$








  • 2




    $begingroup$
    It seems to be explained pretty clearly in the answer. You show that $B_t^2 - t$ is a martingale and then you apply the optional stopping theorem. Can you explain which part of that you are asking about?
    $endgroup$
    – Nate Eldredge
    Dec 14 '18 at 16:57














0












0








0





$begingroup$


The solution to this question states that $E(tau)=E(B_{tau}^2)$. But how do we know this?










share|cite|improve this question









$endgroup$




The solution to this question states that $E(tau)=E(B_{tau}^2)$. But how do we know this?







probability brownian-motion martingales stopping-times expected-value






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 14 '18 at 16:44









RasputinRasputin

446211




446211








  • 2




    $begingroup$
    It seems to be explained pretty clearly in the answer. You show that $B_t^2 - t$ is a martingale and then you apply the optional stopping theorem. Can you explain which part of that you are asking about?
    $endgroup$
    – Nate Eldredge
    Dec 14 '18 at 16:57














  • 2




    $begingroup$
    It seems to be explained pretty clearly in the answer. You show that $B_t^2 - t$ is a martingale and then you apply the optional stopping theorem. Can you explain which part of that you are asking about?
    $endgroup$
    – Nate Eldredge
    Dec 14 '18 at 16:57








2




2




$begingroup$
It seems to be explained pretty clearly in the answer. You show that $B_t^2 - t$ is a martingale and then you apply the optional stopping theorem. Can you explain which part of that you are asking about?
$endgroup$
– Nate Eldredge
Dec 14 '18 at 16:57




$begingroup$
It seems to be explained pretty clearly in the answer. You show that $B_t^2 - t$ is a martingale and then you apply the optional stopping theorem. Can you explain which part of that you are asking about?
$endgroup$
– Nate Eldredge
Dec 14 '18 at 16:57










2 Answers
2






active

oldest

votes


















3












$begingroup$

In fact, the hint given above only applies to deterministic $t$, not to random time $tau$. The problem here is that $$
E[B^2_tau |tau = t] neq t.$$
You should use the fact that $$
B^2_t - t$$
is a continuous ${mathcal{F}_t}$-martingale. By optional sampling theorem, we have
$$
E[B^2_{tauwedge t} - (tauwedge t)] = 0.
$$
Now, let $tto infty$ and conclude that
$$
E[B^2_{tau}]=E[tau].
$$
(by Lebesgue's dominated convergence and monotone convergence theorem.)






share|cite|improve this answer











$endgroup$





















    0












    $begingroup$

    Ohh wait I see, it's because it's a property of standard Brownian motion that $B_t^2=t$ for all $t ge 0$!!



    Since $B(t) sim N(0, t)$, so $Var(B_t)=t=E(B_t^2)-E(B_t)^2=E(B_t^2)$.






    share|cite|improve this answer









    $endgroup$









    • 2




      $begingroup$
      It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
      $endgroup$
      – Nate Eldredge
      Dec 14 '18 at 16:54













    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',
    autoActivateHeartbeat: false,
    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%2f3039601%2fif-tau-inf-t-ge-0-bt-a-text-or-b-is-a-stopping-time-of-brownia%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3












    $begingroup$

    In fact, the hint given above only applies to deterministic $t$, not to random time $tau$. The problem here is that $$
    E[B^2_tau |tau = t] neq t.$$
    You should use the fact that $$
    B^2_t - t$$
    is a continuous ${mathcal{F}_t}$-martingale. By optional sampling theorem, we have
    $$
    E[B^2_{tauwedge t} - (tauwedge t)] = 0.
    $$
    Now, let $tto infty$ and conclude that
    $$
    E[B^2_{tau}]=E[tau].
    $$
    (by Lebesgue's dominated convergence and monotone convergence theorem.)






    share|cite|improve this answer











    $endgroup$


















      3












      $begingroup$

      In fact, the hint given above only applies to deterministic $t$, not to random time $tau$. The problem here is that $$
      E[B^2_tau |tau = t] neq t.$$
      You should use the fact that $$
      B^2_t - t$$
      is a continuous ${mathcal{F}_t}$-martingale. By optional sampling theorem, we have
      $$
      E[B^2_{tauwedge t} - (tauwedge t)] = 0.
      $$
      Now, let $tto infty$ and conclude that
      $$
      E[B^2_{tau}]=E[tau].
      $$
      (by Lebesgue's dominated convergence and monotone convergence theorem.)






      share|cite|improve this answer











      $endgroup$
















        3












        3








        3





        $begingroup$

        In fact, the hint given above only applies to deterministic $t$, not to random time $tau$. The problem here is that $$
        E[B^2_tau |tau = t] neq t.$$
        You should use the fact that $$
        B^2_t - t$$
        is a continuous ${mathcal{F}_t}$-martingale. By optional sampling theorem, we have
        $$
        E[B^2_{tauwedge t} - (tauwedge t)] = 0.
        $$
        Now, let $tto infty$ and conclude that
        $$
        E[B^2_{tau}]=E[tau].
        $$
        (by Lebesgue's dominated convergence and monotone convergence theorem.)






        share|cite|improve this answer











        $endgroup$



        In fact, the hint given above only applies to deterministic $t$, not to random time $tau$. The problem here is that $$
        E[B^2_tau |tau = t] neq t.$$
        You should use the fact that $$
        B^2_t - t$$
        is a continuous ${mathcal{F}_t}$-martingale. By optional sampling theorem, we have
        $$
        E[B^2_{tauwedge t} - (tauwedge t)] = 0.
        $$
        Now, let $tto infty$ and conclude that
        $$
        E[B^2_{tau}]=E[tau].
        $$
        (by Lebesgue's dominated convergence and monotone convergence theorem.)







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 14 '18 at 17:09

























        answered Dec 14 '18 at 16:57









        SongSong

        13.9k633




        13.9k633























            0












            $begingroup$

            Ohh wait I see, it's because it's a property of standard Brownian motion that $B_t^2=t$ for all $t ge 0$!!



            Since $B(t) sim N(0, t)$, so $Var(B_t)=t=E(B_t^2)-E(B_t)^2=E(B_t^2)$.






            share|cite|improve this answer









            $endgroup$









            • 2




              $begingroup$
              It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
              $endgroup$
              – Nate Eldredge
              Dec 14 '18 at 16:54


















            0












            $begingroup$

            Ohh wait I see, it's because it's a property of standard Brownian motion that $B_t^2=t$ for all $t ge 0$!!



            Since $B(t) sim N(0, t)$, so $Var(B_t)=t=E(B_t^2)-E(B_t)^2=E(B_t^2)$.






            share|cite|improve this answer









            $endgroup$









            • 2




              $begingroup$
              It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
              $endgroup$
              – Nate Eldredge
              Dec 14 '18 at 16:54
















            0












            0








            0





            $begingroup$

            Ohh wait I see, it's because it's a property of standard Brownian motion that $B_t^2=t$ for all $t ge 0$!!



            Since $B(t) sim N(0, t)$, so $Var(B_t)=t=E(B_t^2)-E(B_t)^2=E(B_t^2)$.






            share|cite|improve this answer









            $endgroup$



            Ohh wait I see, it's because it's a property of standard Brownian motion that $B_t^2=t$ for all $t ge 0$!!



            Since $B(t) sim N(0, t)$, so $Var(B_t)=t=E(B_t^2)-E(B_t)^2=E(B_t^2)$.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Dec 14 '18 at 16:48









            RasputinRasputin

            446211




            446211








            • 2




              $begingroup$
              It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
              $endgroup$
              – Nate Eldredge
              Dec 14 '18 at 16:54
















            • 2




              $begingroup$
              It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
              $endgroup$
              – Nate Eldredge
              Dec 14 '18 at 16:54










            2




            2




            $begingroup$
            It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
            $endgroup$
            – Nate Eldredge
            Dec 14 '18 at 16:54






            $begingroup$
            It's not true that $B_t^2 = t$. It's true that $E[B_t^2] = t$. But this property does not automatically carry over when you replace a constant time $t$ by a stopping time. One has to prove it.
            $endgroup$
            – Nate Eldredge
            Dec 14 '18 at 16:54




















            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.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3039601%2fif-tau-inf-t-ge-0-bt-a-text-or-b-is-a-stopping-time-of-brownia%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

            Probability when a professor distributes a quiz and homework assignment to a class of n students.

            Aardman Animations

            Are they similar matrix