Convergence of stochastic integral to Brownian motion












1












$begingroup$


Let $a in mathbb R$, $W(t)$ a standard Brownian motion, and



$$ V(t) = a int_0^{t} e^{-a(t-s)} d W_s. $$



Is it true that
$$ int_0^t V(u) , du = W(t) - W(0) quad text{as} quad a to infty $$
in a certain sense?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Why the vote to close?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:47










  • $begingroup$
    Hint: for all Itô-integrable functions $f(t, omega) = g(t)$ (that is, for non-random integrands), $int_0^t g(s)mathrm{d}B_s$ follows the normal distribution with zero mean and variance which can be computed using the Itô isometry.
    $endgroup$
    – Pantelis Sopasakis
    Jan 28 at 16:51












  • $begingroup$
    Ah yeah, that is reminiscent of a course I took some years ago. Thank you very much!
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:53












  • $begingroup$
    @PantelisSopasakis The convergence which is asked for, is stronger than convergence in distribution.
    $endgroup$
    – Did
    Jan 28 at 17:04










  • $begingroup$
    @PantelisSopasakis Would you know whether the resulting Brownian motion is the same as the Brownian motion we started with?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 17:05
















1












$begingroup$


Let $a in mathbb R$, $W(t)$ a standard Brownian motion, and



$$ V(t) = a int_0^{t} e^{-a(t-s)} d W_s. $$



Is it true that
$$ int_0^t V(u) , du = W(t) - W(0) quad text{as} quad a to infty $$
in a certain sense?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Why the vote to close?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:47










  • $begingroup$
    Hint: for all Itô-integrable functions $f(t, omega) = g(t)$ (that is, for non-random integrands), $int_0^t g(s)mathrm{d}B_s$ follows the normal distribution with zero mean and variance which can be computed using the Itô isometry.
    $endgroup$
    – Pantelis Sopasakis
    Jan 28 at 16:51












  • $begingroup$
    Ah yeah, that is reminiscent of a course I took some years ago. Thank you very much!
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:53












  • $begingroup$
    @PantelisSopasakis The convergence which is asked for, is stronger than convergence in distribution.
    $endgroup$
    – Did
    Jan 28 at 17:04










  • $begingroup$
    @PantelisSopasakis Would you know whether the resulting Brownian motion is the same as the Brownian motion we started with?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 17:05














1












1








1





$begingroup$


Let $a in mathbb R$, $W(t)$ a standard Brownian motion, and



$$ V(t) = a int_0^{t} e^{-a(t-s)} d W_s. $$



Is it true that
$$ int_0^t V(u) , du = W(t) - W(0) quad text{as} quad a to infty $$
in a certain sense?










share|cite|improve this question











$endgroup$




Let $a in mathbb R$, $W(t)$ a standard Brownian motion, and



$$ V(t) = a int_0^{t} e^{-a(t-s)} d W_s. $$



Is it true that
$$ int_0^t V(u) , du = W(t) - W(0) quad text{as} quad a to infty $$
in a certain sense?







convergence brownian-motion stochastic-integrals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 3 at 9:02









AddSup

5001318




5001318










asked Jan 28 at 16:40









Roberto RastapopoulosRoberto Rastapopoulos

950425




950425












  • $begingroup$
    Why the vote to close?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:47










  • $begingroup$
    Hint: for all Itô-integrable functions $f(t, omega) = g(t)$ (that is, for non-random integrands), $int_0^t g(s)mathrm{d}B_s$ follows the normal distribution with zero mean and variance which can be computed using the Itô isometry.
    $endgroup$
    – Pantelis Sopasakis
    Jan 28 at 16:51












  • $begingroup$
    Ah yeah, that is reminiscent of a course I took some years ago. Thank you very much!
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:53












  • $begingroup$
    @PantelisSopasakis The convergence which is asked for, is stronger than convergence in distribution.
    $endgroup$
    – Did
    Jan 28 at 17:04










  • $begingroup$
    @PantelisSopasakis Would you know whether the resulting Brownian motion is the same as the Brownian motion we started with?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 17:05


















  • $begingroup$
    Why the vote to close?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:47










  • $begingroup$
    Hint: for all Itô-integrable functions $f(t, omega) = g(t)$ (that is, for non-random integrands), $int_0^t g(s)mathrm{d}B_s$ follows the normal distribution with zero mean and variance which can be computed using the Itô isometry.
    $endgroup$
    – Pantelis Sopasakis
    Jan 28 at 16:51












  • $begingroup$
    Ah yeah, that is reminiscent of a course I took some years ago. Thank you very much!
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 16:53












  • $begingroup$
    @PantelisSopasakis The convergence which is asked for, is stronger than convergence in distribution.
    $endgroup$
    – Did
    Jan 28 at 17:04










  • $begingroup$
    @PantelisSopasakis Would you know whether the resulting Brownian motion is the same as the Brownian motion we started with?
    $endgroup$
    – Roberto Rastapopoulos
    Jan 28 at 17:05
















$begingroup$
Why the vote to close?
$endgroup$
– Roberto Rastapopoulos
Jan 28 at 16:47




$begingroup$
Why the vote to close?
$endgroup$
– Roberto Rastapopoulos
Jan 28 at 16:47












$begingroup$
Hint: for all Itô-integrable functions $f(t, omega) = g(t)$ (that is, for non-random integrands), $int_0^t g(s)mathrm{d}B_s$ follows the normal distribution with zero mean and variance which can be computed using the Itô isometry.
$endgroup$
– Pantelis Sopasakis
Jan 28 at 16:51






$begingroup$
Hint: for all Itô-integrable functions $f(t, omega) = g(t)$ (that is, for non-random integrands), $int_0^t g(s)mathrm{d}B_s$ follows the normal distribution with zero mean and variance which can be computed using the Itô isometry.
$endgroup$
– Pantelis Sopasakis
Jan 28 at 16:51














$begingroup$
Ah yeah, that is reminiscent of a course I took some years ago. Thank you very much!
$endgroup$
– Roberto Rastapopoulos
Jan 28 at 16:53






$begingroup$
Ah yeah, that is reminiscent of a course I took some years ago. Thank you very much!
$endgroup$
– Roberto Rastapopoulos
Jan 28 at 16:53














$begingroup$
@PantelisSopasakis The convergence which is asked for, is stronger than convergence in distribution.
$endgroup$
– Did
Jan 28 at 17:04




$begingroup$
@PantelisSopasakis The convergence which is asked for, is stronger than convergence in distribution.
$endgroup$
– Did
Jan 28 at 17:04












$begingroup$
@PantelisSopasakis Would you know whether the resulting Brownian motion is the same as the Brownian motion we started with?
$endgroup$
– Roberto Rastapopoulos
Jan 28 at 17:05




$begingroup$
@PantelisSopasakis Would you know whether the resulting Brownian motion is the same as the Brownian motion we started with?
$endgroup$
– Roberto Rastapopoulos
Jan 28 at 17:05










1 Answer
1






active

oldest

votes


















2












$begingroup$

First,
begin{align}
int_0^t V_u du
& = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dW_sdu\
& = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dudW_s,quadtext{stochastic Fubini}.
end{align}

Thus (assuming $W_0=0$ for simplicity),
begin{align}
Eleft[left(int_0^t V_u du-W_tright)^2right]
& = int_0^tleft(
int_0^t 1_{sle u}ae^{-a(u-s)}du-1
right)^2 ds,quadtext{Ito isometry},\
& = frac{1}{2a}(1-e^{-2at})rightarrow 0text{ as }arightarrowinfty.
end{align}

That is,
$$int_0^tV_udurightarrow W_ttext{ in }L^2text{ for each }t>0.$$
In fact, ${X^n:n=1,2,ldots}$, $X^n_t:=int_0^t nint_0^u e^{-n(u-s)}dW_sdu$, converges uniformly to $W$ on compact intervals.






share|cite|improve this answer









$endgroup$














    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%2f3091095%2fconvergence-of-stochastic-integral-to-brownian-motion%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









    2












    $begingroup$

    First,
    begin{align}
    int_0^t V_u du
    & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dW_sdu\
    & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dudW_s,quadtext{stochastic Fubini}.
    end{align}

    Thus (assuming $W_0=0$ for simplicity),
    begin{align}
    Eleft[left(int_0^t V_u du-W_tright)^2right]
    & = int_0^tleft(
    int_0^t 1_{sle u}ae^{-a(u-s)}du-1
    right)^2 ds,quadtext{Ito isometry},\
    & = frac{1}{2a}(1-e^{-2at})rightarrow 0text{ as }arightarrowinfty.
    end{align}

    That is,
    $$int_0^tV_udurightarrow W_ttext{ in }L^2text{ for each }t>0.$$
    In fact, ${X^n:n=1,2,ldots}$, $X^n_t:=int_0^t nint_0^u e^{-n(u-s)}dW_sdu$, converges uniformly to $W$ on compact intervals.






    share|cite|improve this answer









    $endgroup$


















      2












      $begingroup$

      First,
      begin{align}
      int_0^t V_u du
      & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dW_sdu\
      & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dudW_s,quadtext{stochastic Fubini}.
      end{align}

      Thus (assuming $W_0=0$ for simplicity),
      begin{align}
      Eleft[left(int_0^t V_u du-W_tright)^2right]
      & = int_0^tleft(
      int_0^t 1_{sle u}ae^{-a(u-s)}du-1
      right)^2 ds,quadtext{Ito isometry},\
      & = frac{1}{2a}(1-e^{-2at})rightarrow 0text{ as }arightarrowinfty.
      end{align}

      That is,
      $$int_0^tV_udurightarrow W_ttext{ in }L^2text{ for each }t>0.$$
      In fact, ${X^n:n=1,2,ldots}$, $X^n_t:=int_0^t nint_0^u e^{-n(u-s)}dW_sdu$, converges uniformly to $W$ on compact intervals.






      share|cite|improve this answer









      $endgroup$
















        2












        2








        2





        $begingroup$

        First,
        begin{align}
        int_0^t V_u du
        & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dW_sdu\
        & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dudW_s,quadtext{stochastic Fubini}.
        end{align}

        Thus (assuming $W_0=0$ for simplicity),
        begin{align}
        Eleft[left(int_0^t V_u du-W_tright)^2right]
        & = int_0^tleft(
        int_0^t 1_{sle u}ae^{-a(u-s)}du-1
        right)^2 ds,quadtext{Ito isometry},\
        & = frac{1}{2a}(1-e^{-2at})rightarrow 0text{ as }arightarrowinfty.
        end{align}

        That is,
        $$int_0^tV_udurightarrow W_ttext{ in }L^2text{ for each }t>0.$$
        In fact, ${X^n:n=1,2,ldots}$, $X^n_t:=int_0^t nint_0^u e^{-n(u-s)}dW_sdu$, converges uniformly to $W$ on compact intervals.






        share|cite|improve this answer









        $endgroup$



        First,
        begin{align}
        int_0^t V_u du
        & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dW_sdu\
        & = int_0^tint_0^t 1_{sle u}ae^{-a(u-s)}dudW_s,quadtext{stochastic Fubini}.
        end{align}

        Thus (assuming $W_0=0$ for simplicity),
        begin{align}
        Eleft[left(int_0^t V_u du-W_tright)^2right]
        & = int_0^tleft(
        int_0^t 1_{sle u}ae^{-a(u-s)}du-1
        right)^2 ds,quadtext{Ito isometry},\
        & = frac{1}{2a}(1-e^{-2at})rightarrow 0text{ as }arightarrowinfty.
        end{align}

        That is,
        $$int_0^tV_udurightarrow W_ttext{ in }L^2text{ for each }t>0.$$
        In fact, ${X^n:n=1,2,ldots}$, $X^n_t:=int_0^t nint_0^u e^{-n(u-s)}dW_sdu$, converges uniformly to $W$ on compact intervals.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Feb 3 at 8:34









        AddSupAddSup

        5001318




        5001318






























            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%2f3091095%2fconvergence-of-stochastic-integral-to-brownian-motion%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

            MongoDB - Not Authorized To Execute Command

            How to fix TextFormField cause rebuild widget in Flutter

            in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith