Understanding an Identity in Arthreya's “Branching Processes”Find the probability generating function of...

Where to refill my bottle in India?

Does it makes sense to buy a new cycle to learn riding?

How is it possible for user's password to be changed after storage was encrypted? (on OS X, Android)

How could a lack of term limits lead to a "dictatorship?"

If a centaur druid Wild Shapes into a Giant Elk, do their Charge features stack?

What happens when a metallic dragon and a chromatic dragon mate?

How would photo IDs work for shapeshifters?

Doomsday-clock for my fantasy planet

Calculate Levenshtein distance between two strings in Python

Crop image to path created in TikZ?

What does "enim et" mean?

Lied on resume at previous job

I’m planning on buying a laser printer but concerned about the life cycle of toner in the machine

"listening to me about as much as you're listening to this pole here"

Where else does the Shulchan Aruch quote an authority by name?

When blogging recipes, how can I support both readers who want the narrative/journey and ones who want the printer-friendly recipe?

Information to fellow intern about hiring?

How can I add custom success page

Is this food a bread or a loaf?

Is this relativistic mass?

Typesetting a double Over Dot on top of a symbol

Does a dangling wire really electrocute me if I'm standing in water?

Extreme, but not acceptable situation and I can't start the work tomorrow morning

What does 'script /dev/null' do?



Understanding an Identity in Arthreya's “Branching Processes”


Find the probability generating function of a GW processDifference between $lim P[…]$ and $P[ lim ]$Branching Process in simple random walkShow that in a Galton-Walton Branching Process, $phi_n'(s)to0$ for every $sin(0,1)$ if $p_0>0$Relation between stationary distribution of a D/M/1 queue and extinction probability in a branching process?Branching Process; understanding theorem proofDeeper intuition about probability generating function through extinction probability?Proofs (involving Branching Processes)Extinction problem for a generalisation of Galton-Watson branching processesIs ${C^{X_n}}_{n = 1}^{infty}$ is a martingale?













0












$begingroup$


I'm currently reading from Chapter 1: The Galton-Watson Process in Arthreya's "Branching Processes," and I'm not sure that I'm understanding this identity correctly. We're given our generating function for the linear fractional Galton-Watson Process as $f$. We denote $mathbb{E}Z_1 = f'(1) = m$.



We have observed that for any two points $u,v$ that
$$
frac{f(s)-f(u)}{f(s)-f(v)}=frac{s-u}{s-v}frac{1-pv}{1-pu}.
$$



We've shown that $f(s)=s$ has roots $s_0$ and $1$. The text claims the following:



Taking $u=s_0, v=1$, if $mneq 1$ we get
$$
frac{1-p}{1-ps_0}=lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
$$



I would like to confirm that my understanding of this is correct. From the first identity, we can rearrange to get the terms that are in the second. Then, we can observe that if $mneq1$ then $s_0 neq 1$, then the left factor has a defined limit as $sto1$, and the right factor is the definition of the derivative at 1, only inverted. So we can break our limit into
$$
lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1}.
$$

Then since $f(s)$ is continuous and $f(1)=1$, we have
$$
lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} =
left(frac{1-s_0}{1-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = lim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
$$



Is this a correct assessment of the argument?










share|cite|improve this question









$endgroup$

















    0












    $begingroup$


    I'm currently reading from Chapter 1: The Galton-Watson Process in Arthreya's "Branching Processes," and I'm not sure that I'm understanding this identity correctly. We're given our generating function for the linear fractional Galton-Watson Process as $f$. We denote $mathbb{E}Z_1 = f'(1) = m$.



    We have observed that for any two points $u,v$ that
    $$
    frac{f(s)-f(u)}{f(s)-f(v)}=frac{s-u}{s-v}frac{1-pv}{1-pu}.
    $$



    We've shown that $f(s)=s$ has roots $s_0$ and $1$. The text claims the following:



    Taking $u=s_0, v=1$, if $mneq 1$ we get
    $$
    frac{1-p}{1-ps_0}=lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
    $$



    I would like to confirm that my understanding of this is correct. From the first identity, we can rearrange to get the terms that are in the second. Then, we can observe that if $mneq1$ then $s_0 neq 1$, then the left factor has a defined limit as $sto1$, and the right factor is the definition of the derivative at 1, only inverted. So we can break our limit into
    $$
    lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1}.
    $$

    Then since $f(s)$ is continuous and $f(1)=1$, we have
    $$
    lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} =
    left(frac{1-s_0}{1-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = lim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
    $$



    Is this a correct assessment of the argument?










    share|cite|improve this question









    $endgroup$















      0












      0








      0





      $begingroup$


      I'm currently reading from Chapter 1: The Galton-Watson Process in Arthreya's "Branching Processes," and I'm not sure that I'm understanding this identity correctly. We're given our generating function for the linear fractional Galton-Watson Process as $f$. We denote $mathbb{E}Z_1 = f'(1) = m$.



      We have observed that for any two points $u,v$ that
      $$
      frac{f(s)-f(u)}{f(s)-f(v)}=frac{s-u}{s-v}frac{1-pv}{1-pu}.
      $$



      We've shown that $f(s)=s$ has roots $s_0$ and $1$. The text claims the following:



      Taking $u=s_0, v=1$, if $mneq 1$ we get
      $$
      frac{1-p}{1-ps_0}=lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
      $$



      I would like to confirm that my understanding of this is correct. From the first identity, we can rearrange to get the terms that are in the second. Then, we can observe that if $mneq1$ then $s_0 neq 1$, then the left factor has a defined limit as $sto1$, and the right factor is the definition of the derivative at 1, only inverted. So we can break our limit into
      $$
      lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1}.
      $$

      Then since $f(s)$ is continuous and $f(1)=1$, we have
      $$
      lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} =
      left(frac{1-s_0}{1-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = lim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
      $$



      Is this a correct assessment of the argument?










      share|cite|improve this question









      $endgroup$




      I'm currently reading from Chapter 1: The Galton-Watson Process in Arthreya's "Branching Processes," and I'm not sure that I'm understanding this identity correctly. We're given our generating function for the linear fractional Galton-Watson Process as $f$. We denote $mathbb{E}Z_1 = f'(1) = m$.



      We have observed that for any two points $u,v$ that
      $$
      frac{f(s)-f(u)}{f(s)-f(v)}=frac{s-u}{s-v}frac{1-pv}{1-pu}.
      $$



      We've shown that $f(s)=s$ has roots $s_0$ and $1$. The text claims the following:



      Taking $u=s_0, v=1$, if $mneq 1$ we get
      $$
      frac{1-p}{1-ps_0}=lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
      $$



      I would like to confirm that my understanding of this is correct. From the first identity, we can rearrange to get the terms that are in the second. Then, we can observe that if $mneq1$ then $s_0 neq 1$, then the left factor has a defined limit as $sto1$, and the right factor is the definition of the derivative at 1, only inverted. So we can break our limit into
      $$
      lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1}.
      $$

      Then since $f(s)$ is continuous and $f(1)=1$, we have
      $$
      lim_{sto 1}left(frac{f(s)-s_0}{s-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} =
      left(frac{1-s_0}{1-s_0}right)cdotlim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = lim_{sto 1}left(frac{f(s)-1}{s-1}right)^{-1} = frac{1}{m}.
      $$



      Is this a correct assessment of the argument?







      probability-theory generating-functions






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 20 at 18:10









      perpetuallyconfusedperpetuallyconfused

      126




      126






















          0






          active

          oldest

          votes












          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%2f3155810%2funderstanding-an-identity-in-arthreyas-branching-processes%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%2f3155810%2funderstanding-an-identity-in-arthreyas-branching-processes%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

          六本木駅

          Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

          Joseph Lister