Verify that a stochastic process derived from a branching process is a martingale Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Galton Watson Branching processBranching process in varying environmentsBranching Process in simple random walkBranching process - generating functionConvergence of a Branching processMartingale property for Branching ProcessRecurrence relation in the total progeny of a branching processProbability of a branching process going extinct using martingale convergence theoremproblem to understand branching processConsider a branching process with offspring distribution

Can inflation occur in a positive-sum game currency system such as the Stack Exchange reputation system?

Extract all GPU name, model and GPU ram

Withdrew £2800, but only £2000 shows as withdrawn on online banking; what are my obligations?

Why didn't this character "real die" when they blew their stack out in Altered Carbon?

Can a non-EU citizen traveling with me come with me through the EU passport line?

What are the pros and cons of Aerospike nosecones?

Why was the term "discrete" used in discrete logarithm?

The logistics of corpse disposal

ListPlot join points by nearest neighbor rather than order

What is Arya's weapon design?

How to react to hostile behavior from a senior developer?

Using audio cues to encourage good posture

What would be the ideal power source for a cybernetic eye?

How does the particle を relate to the verb 行く in the structure「A を + B に行く」?

Can I cast Passwall to drop an enemy into a 20-foot pit?

Denied boarding although I have proper visa and documentation. To whom should I make a complaint?

Do I really need recursive chmod to restrict access to a folder?

Should I discuss the type of campaign with my players?

If a contract sometimes uses the wrong name, is it still valid?

porting install scripts : can rpm replace apt?

Why are there no cargo aircraft with "flying wing" design?

List *all* the tuples!

What's the meaning of 間時肆拾貳 at a car parking sign

How can I make names more distinctive without making them longer?



Verify that a stochastic process derived from a branching process is a martingale



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Galton Watson Branching processBranching process in varying environmentsBranching Process in simple random walkBranching process - generating functionConvergence of a Branching processMartingale property for Branching ProcessRecurrence relation in the total progeny of a branching processProbability of a branching process going extinct using martingale convergence theoremproblem to understand branching processConsider a branching process with offspring distribution










0












$begingroup$


I was working on a problem while studying martingales and couldn't verify one of the necessary properties to determine if this is in fact a martingale. Given $X_n$ denotes the size of the nth generation of a branching process, I need to verify that the following process is a martingale:



$$ Z_n = X_n/m^n , space space Z_n, n geq 1 $$



To show that $mathbbE[|Z_n|] < infty$:



$$
mathbbE[|Z_n|] = mathbbEbigg[bigglvertfracXm^nbiggrvertbigg]
$$

$$
= fracmathbbE[m^n
$$

Since $X$ is a branching process with mean offspring per individual $m$:
$$
= fracm^nm^n
$$

$$
= 1
$$



I have trouble proving the second condition, that $mathbbE[Z_n+1|Z_1,dotsm,Z_n] = Z_n$



Currently I have:
$$
mathbbE[Z_n+1|Z_1,dotsm,Z_n] = mathbbEbigg[fracX_n+1m^n+1 bigg| Z_1,dotsm,Z_n bigg]
$$

$$
= fracmathbbE[X_n+1] m^n+1
$$

$$
= fracm mathbbE[X_n] m^n+1
$$

$$
= fracmathbbE[X_n] m^n
$$



Which is where I ended up for the proof of the first condition. Something must not be right - I suspect the step where the conditional expectation disappeared could be the problem.



I'd appreciate any and all help understanding where I'm going wrong.










share|cite|improve this question











$endgroup$
















    0












    $begingroup$


    I was working on a problem while studying martingales and couldn't verify one of the necessary properties to determine if this is in fact a martingale. Given $X_n$ denotes the size of the nth generation of a branching process, I need to verify that the following process is a martingale:



    $$ Z_n = X_n/m^n , space space Z_n, n geq 1 $$



    To show that $mathbbE[|Z_n|] < infty$:



    $$
    mathbbE[|Z_n|] = mathbbEbigg[bigglvertfracXm^nbiggrvertbigg]
    $$

    $$
    = fracmathbbE[m^n
    $$

    Since $X$ is a branching process with mean offspring per individual $m$:
    $$
    = fracm^nm^n
    $$

    $$
    = 1
    $$



    I have trouble proving the second condition, that $mathbbE[Z_n+1|Z_1,dotsm,Z_n] = Z_n$



    Currently I have:
    $$
    mathbbE[Z_n+1|Z_1,dotsm,Z_n] = mathbbEbigg[fracX_n+1m^n+1 bigg| Z_1,dotsm,Z_n bigg]
    $$

    $$
    = fracmathbbE[X_n+1] m^n+1
    $$

    $$
    = fracm mathbbE[X_n] m^n+1
    $$

    $$
    = fracmathbbE[X_n] m^n
    $$



    Which is where I ended up for the proof of the first condition. Something must not be right - I suspect the step where the conditional expectation disappeared could be the problem.



    I'd appreciate any and all help understanding where I'm going wrong.










    share|cite|improve this question











    $endgroup$














      0












      0








      0





      $begingroup$


      I was working on a problem while studying martingales and couldn't verify one of the necessary properties to determine if this is in fact a martingale. Given $X_n$ denotes the size of the nth generation of a branching process, I need to verify that the following process is a martingale:



      $$ Z_n = X_n/m^n , space space Z_n, n geq 1 $$



      To show that $mathbbE[|Z_n|] < infty$:



      $$
      mathbbE[|Z_n|] = mathbbEbigg[bigglvertfracXm^nbiggrvertbigg]
      $$

      $$
      = fracmathbbE[m^n
      $$

      Since $X$ is a branching process with mean offspring per individual $m$:
      $$
      = fracm^nm^n
      $$

      $$
      = 1
      $$



      I have trouble proving the second condition, that $mathbbE[Z_n+1|Z_1,dotsm,Z_n] = Z_n$



      Currently I have:
      $$
      mathbbE[Z_n+1|Z_1,dotsm,Z_n] = mathbbEbigg[fracX_n+1m^n+1 bigg| Z_1,dotsm,Z_n bigg]
      $$

      $$
      = fracmathbbE[X_n+1] m^n+1
      $$

      $$
      = fracm mathbbE[X_n] m^n+1
      $$

      $$
      = fracmathbbE[X_n] m^n
      $$



      Which is where I ended up for the proof of the first condition. Something must not be right - I suspect the step where the conditional expectation disappeared could be the problem.



      I'd appreciate any and all help understanding where I'm going wrong.










      share|cite|improve this question











      $endgroup$




      I was working on a problem while studying martingales and couldn't verify one of the necessary properties to determine if this is in fact a martingale. Given $X_n$ denotes the size of the nth generation of a branching process, I need to verify that the following process is a martingale:



      $$ Z_n = X_n/m^n , space space Z_n, n geq 1 $$



      To show that $mathbbE[|Z_n|] < infty$:



      $$
      mathbbE[|Z_n|] = mathbbEbigg[bigglvertfracXm^nbiggrvertbigg]
      $$

      $$
      = fracmathbbE[m^n
      $$

      Since $X$ is a branching process with mean offspring per individual $m$:
      $$
      = fracm^nm^n
      $$

      $$
      = 1
      $$



      I have trouble proving the second condition, that $mathbbE[Z_n+1|Z_1,dotsm,Z_n] = Z_n$



      Currently I have:
      $$
      mathbbE[Z_n+1|Z_1,dotsm,Z_n] = mathbbEbigg[fracX_n+1m^n+1 bigg| Z_1,dotsm,Z_n bigg]
      $$

      $$
      = fracmathbbE[X_n+1] m^n+1
      $$

      $$
      = fracm mathbbE[X_n] m^n+1
      $$

      $$
      = fracmathbbE[X_n] m^n
      $$



      Which is where I ended up for the proof of the first condition. Something must not be right - I suspect the step where the conditional expectation disappeared could be the problem.



      I'd appreciate any and all help understanding where I'm going wrong.







      stochastic-processes random-variables self-learning martingales






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Mar 28 at 0:29







      CLL

















      asked Mar 26 at 17:40









      CLLCLL

      1376




      1376




















          0






          active

          oldest

          votes












          Your Answer








          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%2f3163514%2fverify-that-a-stochastic-process-derived-from-a-branching-process-is-a-martingal%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes















          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%2f3163514%2fverify-that-a-stochastic-process-derived-from-a-branching-process-is-a-martingal%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

          Moe incest case Sentencing See also References Navigation menu"'Australian Josef Fritzl' fathered four children by daughter""Small town recoils in horror at 'Australian Fritzl' incest case""Victorian rape allegations echo Fritzl case - Just In (Australian Broadcasting Corporation)""Incest father jailed for 22 years""'Australian Fritzl' sentenced to 22 years in prison for abusing daughter for three decades""RSJ v The Queen"

          John Burke, 9th Earl of Clanricarde References Navigation menuA General and heraldic dictionary of the peerage and baronetage of the British EmpireLeigh Rayment's Peerage Pages

          Sum infinite sum for a complex variable not in the integers The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Convergence of the infinite product $prod_n = 1^infty fracz - alpha_nz - beta_n$Suppose $sum_k=-infty^inftya_kz^k$ and $sum_-infty^inftyb_kz^k$ converge to $1/sin(pi z)$. Find $b_k-a_k$.Laurent series of $ 1over (z - i) $Laurent series for $z^2 e^1/z$ at $z = infty$Write $sumlimits_n=0^infty e^-xn^3$ in the form $sumlimits_n=-infty^infty a_nx^n$Help needed on laurent series for a complex functionShow that $sum_-infty^infty (-1)^nexp(nz-frac12(n+frac12)^2omega)$ converges and is entireΑn entire function as an infinite sum of entire functionsClassify singularities in the extended complex planeFinding the laurent series around z = 0