What is the distribution of minimum of Brownian motion on arbitrary interval? The Next CEO of Stack OverflowConsidering Brownian bridge as conditioned Brownian motionTime scaling of Brownian motionBrownian motion starts fresh variantBrownian Motion and stochastic integration on the complete real lineExistence of the Brownian Motion using the Kolmogorov extension theoremFinding a probability measure such that the time-shifted Brownian motion is also a Brownian motionCan a time-shifted Brownian motion be also a Brownian motionMaximum process of Brownian motiongeometric Brownian motion with drift closedJoint distribution maximum Brownian motion and prior times

Is there a difference between "Fahrstuhl" and "Aufzug"

Why doesn't UK go for the same deal Japan has with EU to resolve Brexit?

A Man With a Stainless Steel Endoskeleton (like The Terminator) Fighting Cloaked Aliens Only He Can See

Find non-case sensitive string in a mixed list of elements?

Is the D&D universe the same as the Forgotten Realms universe?

Can you be charged for obstruction for refusing to answer questions?

"misplaced omit" error when >centering columns

A small doubt about the dominated convergence theorem

Newlines in BSD sed vs gsed

Why is information "lost" when it got into a black hole?

What connection does MS Office have to Netscape Navigator?

Why is my new battery behaving weirdly?

If Nick Fury and Coulson already knew about aliens (Kree and Skrull) why did they wait until Thor's appearance to start making weapons?

Won the lottery - how do I keep the money?

How to install OpenCV on Raspbian Stretch?

Would a completely good Muggle be able to use a wand?

Should I tutor a student who I know has cheated on their homework?

Why does standard notation not preserve intervals (visually)

Domestic-to-international connection at Orlando (MCO)

Is wanting to ask what to write an indication that you need to change your story?

Is it professional to write unrelated content in an almost-empty email?

I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin

Flying from Cape Town to England and return to another province

Grabbing quick drinks



What is the distribution of minimum of Brownian motion on arbitrary interval?



The Next CEO of Stack OverflowConsidering Brownian bridge as conditioned Brownian motionTime scaling of Brownian motionBrownian motion starts fresh variantBrownian Motion and stochastic integration on the complete real lineExistence of the Brownian Motion using the Kolmogorov extension theoremFinding a probability measure such that the time-shifted Brownian motion is also a Brownian motionCan a time-shifted Brownian motion be also a Brownian motionMaximum process of Brownian motiongeometric Brownian motion with drift closedJoint distribution maximum Brownian motion and prior times










1












$begingroup$


We know that $P(min_0 leq sleq t B_t leq x)=2P(B_tleq x)$. This can be found in any standard stochastic calculus textbook.



However I am curious about instead of the interval $[0,t]$ if we consider an arbitrary interval $[a,b]$. What will the distribution be then?



By law of total probability we have $P(min_a leq sleq b B_t leq x)=P(min_a leq sleq b B_t leq x|B(a)geq x)$ then using Bayes' theorem we have that this is $P(min_a leq sleq b B_t leq x,B(a)geq x)/P(B(a)geq x)$. Then here I am stuck.



Is there another way?










share|cite|improve this question









New contributor




user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$
















    1












    $begingroup$


    We know that $P(min_0 leq sleq t B_t leq x)=2P(B_tleq x)$. This can be found in any standard stochastic calculus textbook.



    However I am curious about instead of the interval $[0,t]$ if we consider an arbitrary interval $[a,b]$. What will the distribution be then?



    By law of total probability we have $P(min_a leq sleq b B_t leq x)=P(min_a leq sleq b B_t leq x|B(a)geq x)$ then using Bayes' theorem we have that this is $P(min_a leq sleq b B_t leq x,B(a)geq x)/P(B(a)geq x)$. Then here I am stuck.



    Is there another way?










    share|cite|improve this question









    New contributor




    user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.







    $endgroup$














      1












      1








      1


      1



      $begingroup$


      We know that $P(min_0 leq sleq t B_t leq x)=2P(B_tleq x)$. This can be found in any standard stochastic calculus textbook.



      However I am curious about instead of the interval $[0,t]$ if we consider an arbitrary interval $[a,b]$. What will the distribution be then?



      By law of total probability we have $P(min_a leq sleq b B_t leq x)=P(min_a leq sleq b B_t leq x|B(a)geq x)$ then using Bayes' theorem we have that this is $P(min_a leq sleq b B_t leq x,B(a)geq x)/P(B(a)geq x)$. Then here I am stuck.



      Is there another way?










      share|cite|improve this question









      New contributor




      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.







      $endgroup$




      We know that $P(min_0 leq sleq t B_t leq x)=2P(B_tleq x)$. This can be found in any standard stochastic calculus textbook.



      However I am curious about instead of the interval $[0,t]$ if we consider an arbitrary interval $[a,b]$. What will the distribution be then?



      By law of total probability we have $P(min_a leq sleq b B_t leq x)=P(min_a leq sleq b B_t leq x|B(a)geq x)$ then using Bayes' theorem we have that this is $P(min_a leq sleq b B_t leq x,B(a)geq x)/P(B(a)geq x)$. Then here I am stuck.



      Is there another way?







      probability stochastic-processes stochastic-calculus brownian-motion






      share|cite|improve this question









      New contributor




      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question









      New contributor




      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question








      edited Mar 27 at 19:42







      user658409













      New contributor




      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked Mar 27 at 19:36









      user658409user658409

      82




      82




      New contributor




      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      user658409 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          Let $W_a,b:=min_ale sle bB_s$. Then
          beginalign
          mathsfP(W_a,ble w)&=mathsfE[mathsfP(W_a,b-B_ale w-B_amid B_a)]\
          &=int_mathbbR mathsfP(W_0,b-ale w-x)phi(x;0,a),dx,
          endalign

          where $phi(x;mu,sigma^2)=(2pisigma^2)^-1/2exp-(x-mu)^2/2sigma^2$.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
            $endgroup$
            – user658409
            Mar 28 at 1:24










          • $begingroup$
            @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
            $endgroup$
            – d.k.o.
            2 days ago











          • $begingroup$
            Thank you for your time.
            $endgroup$
            – user658409
            2 days ago











          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
          );



          );






          user658409 is a new contributor. Be nice, and check out our Code of Conduct.









          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3165014%2fwhat-is-the-distribution-of-minimum-of-brownian-motion-on-arbitrary-interval%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









          1












          $begingroup$

          Let $W_a,b:=min_ale sle bB_s$. Then
          beginalign
          mathsfP(W_a,ble w)&=mathsfE[mathsfP(W_a,b-B_ale w-B_amid B_a)]\
          &=int_mathbbR mathsfP(W_0,b-ale w-x)phi(x;0,a),dx,
          endalign

          where $phi(x;mu,sigma^2)=(2pisigma^2)^-1/2exp-(x-mu)^2/2sigma^2$.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
            $endgroup$
            – user658409
            Mar 28 at 1:24










          • $begingroup$
            @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
            $endgroup$
            – d.k.o.
            2 days ago











          • $begingroup$
            Thank you for your time.
            $endgroup$
            – user658409
            2 days ago















          1












          $begingroup$

          Let $W_a,b:=min_ale sle bB_s$. Then
          beginalign
          mathsfP(W_a,ble w)&=mathsfE[mathsfP(W_a,b-B_ale w-B_amid B_a)]\
          &=int_mathbbR mathsfP(W_0,b-ale w-x)phi(x;0,a),dx,
          endalign

          where $phi(x;mu,sigma^2)=(2pisigma^2)^-1/2exp-(x-mu)^2/2sigma^2$.






          share|cite|improve this answer









          $endgroup$












          • $begingroup$
            Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
            $endgroup$
            – user658409
            Mar 28 at 1:24










          • $begingroup$
            @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
            $endgroup$
            – d.k.o.
            2 days ago











          • $begingroup$
            Thank you for your time.
            $endgroup$
            – user658409
            2 days ago













          1












          1








          1





          $begingroup$

          Let $W_a,b:=min_ale sle bB_s$. Then
          beginalign
          mathsfP(W_a,ble w)&=mathsfE[mathsfP(W_a,b-B_ale w-B_amid B_a)]\
          &=int_mathbbR mathsfP(W_0,b-ale w-x)phi(x;0,a),dx,
          endalign

          where $phi(x;mu,sigma^2)=(2pisigma^2)^-1/2exp-(x-mu)^2/2sigma^2$.






          share|cite|improve this answer









          $endgroup$



          Let $W_a,b:=min_ale sle bB_s$. Then
          beginalign
          mathsfP(W_a,ble w)&=mathsfE[mathsfP(W_a,b-B_ale w-B_amid B_a)]\
          &=int_mathbbR mathsfP(W_0,b-ale w-x)phi(x;0,a),dx,
          endalign

          where $phi(x;mu,sigma^2)=(2pisigma^2)^-1/2exp-(x-mu)^2/2sigma^2$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 27 at 19:49









          d.k.o.d.k.o.

          10.5k630




          10.5k630











          • $begingroup$
            Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
            $endgroup$
            – user658409
            Mar 28 at 1:24










          • $begingroup$
            @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
            $endgroup$
            – d.k.o.
            2 days ago











          • $begingroup$
            Thank you for your time.
            $endgroup$
            – user658409
            2 days ago
















          • $begingroup$
            Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
            $endgroup$
            – user658409
            Mar 28 at 1:24










          • $begingroup$
            @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
            $endgroup$
            – d.k.o.
            2 days ago











          • $begingroup$
            Thank you for your time.
            $endgroup$
            – user658409
            2 days ago















          $begingroup$
          Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
          $endgroup$
          – user658409
          Mar 28 at 1:24




          $begingroup$
          Hi I was just wondering if you could expand this out more afterward? I write this down and try to simplify but there's not much simplifications. Thanks for your time.
          $endgroup$
          – user658409
          Mar 28 at 1:24












          $begingroup$
          @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
          $endgroup$
          – d.k.o.
          2 days ago





          $begingroup$
          @user658409 It is an integral involving normal cdf. I am not aware of any simplification of this expression; though, it can be computed numerically.
          $endgroup$
          – d.k.o.
          2 days ago













          $begingroup$
          Thank you for your time.
          $endgroup$
          – user658409
          2 days ago




          $begingroup$
          Thank you for your time.
          $endgroup$
          – user658409
          2 days ago










          user658409 is a new contributor. Be nice, and check out our Code of Conduct.









          draft saved

          draft discarded


















          user658409 is a new contributor. Be nice, and check out our Code of Conduct.












          user658409 is a new contributor. Be nice, and check out our Code of Conduct.











          user658409 is a new contributor. Be nice, and check out our Code of Conduct.














          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%2f3165014%2fwhat-is-the-distribution-of-minimum-of-brownian-motion-on-arbitrary-interval%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

          Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

          Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

          Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ