Under what conditions can we swap a limit with an infinite product? [closed]A limit with infinite productInterchange of infinite product and limitElementary Infinite Limit QuestionInfinite product of limit elements.What is an infinite limit?does the limit product rule applies to $0$? can I apply the product rule with $c to infty$?limit with summation and productLimit of an infinite product while x tends to $1^-$Under what conditions can one change the set that the limit variable ranges over?Limit of product of infinite sequences and infinite series

Why "Having chlorophyll without photosynthesis is actually very dangerous" and "like living with a bomb"?

What is the offset in a seaplane's hull?

Is it important to consider tone, melody, and musical form while writing a song?

What typically incentivizes a professor to change jobs to a lower ranking university?

Languages that we cannot (dis)prove to be Context-Free

Did Shadowfax go to Valinor?

Why are electrically insulating heatsinks so rare? Is it just cost?

"to be prejudice towards/against someone" vs "to be prejudiced against/towards someone"

How do I create uniquely male characters?

What are the differences between the usage of 'it' and 'they'?

How could an uplifted falcon's brain work?

Why, historically, did Gödel think CH was false?

Is it legal for company to use my work email to pretend I still work there?

Why can't I see bouncing of a switch on an oscilloscope?

How to find program name(s) of an installed package?

How can bays and straits be determined in a procedurally generated map?

Why don't electron-positron collisions release infinite energy?

How old can references or sources in a thesis be?

The use of multiple foreign keys on same column in SQL Server

What does "Puller Prush Person" mean?

Minkowski space

TGV timetables / schedules?

LaTeX closing $ signs makes cursor jump

Writing rule stating superpower from different root cause is bad writing



Under what conditions can we swap a limit with an infinite product? [closed]


A limit with infinite productInterchange of infinite product and limitElementary Infinite Limit QuestionInfinite product of limit elements.What is an infinite limit?does the limit product rule applies to $0$? can I apply the product rule with $c to infty$?limit with summation and productLimit of an infinite product while x tends to $1^-$Under what conditions can one change the set that the limit variable ranges over?Limit of product of infinite sequences and infinite series













1












$begingroup$


When is the following true: $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$










share|cite|improve this question









$endgroup$



closed as off-topic by Saad, YiFan, Shailesh, Leucippus, Dr. Mathva Mar 30 at 7:54


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, YiFan, Shailesh, Leucippus, Dr. Mathva
If this question can be reworded to fit the rules in the help center, please edit the question.











  • 1




    $begingroup$
    Hint: This can be rewritten as $$lim_n to infty lim_mto infty prod_k=1^m a_nk = lim_m to infty prod_k=1^m lim_nto infty a_nk$$ So, you are swapping the first two limits, then you are swapping the limit and the product. So, at the very least, the product of the limits must be defined. But, the question is really more when is this true: $$lim_nto infty lim_m to infty prod_k=1^m a_nk = lim_m to infty lim_n to infty prod_k=1^m a_nk$$ You are probably looking at something like the Dominated Convergence Theorem.
    $endgroup$
    – InterstellarProbe
    Mar 29 at 16:35










  • $begingroup$
    Assuming $a_nk > 0$ and the infinite products are nonzero, you can take logarithm of both sides and transform this to a question of interchanging limit with sum. The standard cases are monotone convergence and dominated convergence.
    $endgroup$
    – Robert Israel
    Mar 29 at 16:41















1












$begingroup$


When is the following true: $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$










share|cite|improve this question









$endgroup$



closed as off-topic by Saad, YiFan, Shailesh, Leucippus, Dr. Mathva Mar 30 at 7:54


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, YiFan, Shailesh, Leucippus, Dr. Mathva
If this question can be reworded to fit the rules in the help center, please edit the question.











  • 1




    $begingroup$
    Hint: This can be rewritten as $$lim_n to infty lim_mto infty prod_k=1^m a_nk = lim_m to infty prod_k=1^m lim_nto infty a_nk$$ So, you are swapping the first two limits, then you are swapping the limit and the product. So, at the very least, the product of the limits must be defined. But, the question is really more when is this true: $$lim_nto infty lim_m to infty prod_k=1^m a_nk = lim_m to infty lim_n to infty prod_k=1^m a_nk$$ You are probably looking at something like the Dominated Convergence Theorem.
    $endgroup$
    – InterstellarProbe
    Mar 29 at 16:35










  • $begingroup$
    Assuming $a_nk > 0$ and the infinite products are nonzero, you can take logarithm of both sides and transform this to a question of interchanging limit with sum. The standard cases are monotone convergence and dominated convergence.
    $endgroup$
    – Robert Israel
    Mar 29 at 16:41













1












1








1





$begingroup$


When is the following true: $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$










share|cite|improve this question









$endgroup$




When is the following true: $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$







real-analysis limits






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 29 at 16:26









Joshua FarrellJoshua Farrell

681220




681220




closed as off-topic by Saad, YiFan, Shailesh, Leucippus, Dr. Mathva Mar 30 at 7:54


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, YiFan, Shailesh, Leucippus, Dr. Mathva
If this question can be reworded to fit the rules in the help center, please edit the question.







closed as off-topic by Saad, YiFan, Shailesh, Leucippus, Dr. Mathva Mar 30 at 7:54


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Saad, YiFan, Shailesh, Leucippus, Dr. Mathva
If this question can be reworded to fit the rules in the help center, please edit the question.







  • 1




    $begingroup$
    Hint: This can be rewritten as $$lim_n to infty lim_mto infty prod_k=1^m a_nk = lim_m to infty prod_k=1^m lim_nto infty a_nk$$ So, you are swapping the first two limits, then you are swapping the limit and the product. So, at the very least, the product of the limits must be defined. But, the question is really more when is this true: $$lim_nto infty lim_m to infty prod_k=1^m a_nk = lim_m to infty lim_n to infty prod_k=1^m a_nk$$ You are probably looking at something like the Dominated Convergence Theorem.
    $endgroup$
    – InterstellarProbe
    Mar 29 at 16:35










  • $begingroup$
    Assuming $a_nk > 0$ and the infinite products are nonzero, you can take logarithm of both sides and transform this to a question of interchanging limit with sum. The standard cases are monotone convergence and dominated convergence.
    $endgroup$
    – Robert Israel
    Mar 29 at 16:41












  • 1




    $begingroup$
    Hint: This can be rewritten as $$lim_n to infty lim_mto infty prod_k=1^m a_nk = lim_m to infty prod_k=1^m lim_nto infty a_nk$$ So, you are swapping the first two limits, then you are swapping the limit and the product. So, at the very least, the product of the limits must be defined. But, the question is really more when is this true: $$lim_nto infty lim_m to infty prod_k=1^m a_nk = lim_m to infty lim_n to infty prod_k=1^m a_nk$$ You are probably looking at something like the Dominated Convergence Theorem.
    $endgroup$
    – InterstellarProbe
    Mar 29 at 16:35










  • $begingroup$
    Assuming $a_nk > 0$ and the infinite products are nonzero, you can take logarithm of both sides and transform this to a question of interchanging limit with sum. The standard cases are monotone convergence and dominated convergence.
    $endgroup$
    – Robert Israel
    Mar 29 at 16:41







1




1




$begingroup$
Hint: This can be rewritten as $$lim_n to infty lim_mto infty prod_k=1^m a_nk = lim_m to infty prod_k=1^m lim_nto infty a_nk$$ So, you are swapping the first two limits, then you are swapping the limit and the product. So, at the very least, the product of the limits must be defined. But, the question is really more when is this true: $$lim_nto infty lim_m to infty prod_k=1^m a_nk = lim_m to infty lim_n to infty prod_k=1^m a_nk$$ You are probably looking at something like the Dominated Convergence Theorem.
$endgroup$
– InterstellarProbe
Mar 29 at 16:35




$begingroup$
Hint: This can be rewritten as $$lim_n to infty lim_mto infty prod_k=1^m a_nk = lim_m to infty prod_k=1^m lim_nto infty a_nk$$ So, you are swapping the first two limits, then you are swapping the limit and the product. So, at the very least, the product of the limits must be defined. But, the question is really more when is this true: $$lim_nto infty lim_m to infty prod_k=1^m a_nk = lim_m to infty lim_n to infty prod_k=1^m a_nk$$ You are probably looking at something like the Dominated Convergence Theorem.
$endgroup$
– InterstellarProbe
Mar 29 at 16:35












$begingroup$
Assuming $a_nk > 0$ and the infinite products are nonzero, you can take logarithm of both sides and transform this to a question of interchanging limit with sum. The standard cases are monotone convergence and dominated convergence.
$endgroup$
– Robert Israel
Mar 29 at 16:41




$begingroup$
Assuming $a_nk > 0$ and the infinite products are nonzero, you can take logarithm of both sides and transform this to a question of interchanging limit with sum. The standard cases are monotone convergence and dominated convergence.
$endgroup$
– Robert Israel
Mar 29 at 16:41










1 Answer
1






active

oldest

votes


















0












$begingroup$

You have
$$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$



If and only if



$$lim_ntoinftylog(prod^infty_k=1a_nk) = log(prod^infty_k=1lim_ntoinftya_nk)$$ (Warning see footnote below 1)



Since $log$ takes product to sum by setting $b_nk=log(a_nk)$ the above is equivalent to whether
$$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1lim_ntoinftyb_nk$$



Now you can use the Dominated convergence theorem which in this setting says:



If $|b_nk|leq c_k$ for a sequence $c_k$ for which $sum_k=1^infty c_k$ exists and $lim_nrightarrowinftyb_nk = b_k$ then $sum_k=1^infty b_k$ exists and
$$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1b_k$$



Translated back to products, you need that $|a_nk|leq c_k$ for a sequence such that $prod_k=1^infty c_k$ exists then if $lim_nrightarrowinfty a_nk = a_k$ then $prod_k=1^infty a_k$ exists and
$$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1a_k$$




1 This approach only works if the $a_nk$ are positive. Otherwise you can't take $log$.






share|cite|improve this answer











$endgroup$



















    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    0












    $begingroup$

    You have
    $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$



    If and only if



    $$lim_ntoinftylog(prod^infty_k=1a_nk) = log(prod^infty_k=1lim_ntoinftya_nk)$$ (Warning see footnote below 1)



    Since $log$ takes product to sum by setting $b_nk=log(a_nk)$ the above is equivalent to whether
    $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1lim_ntoinftyb_nk$$



    Now you can use the Dominated convergence theorem which in this setting says:



    If $|b_nk|leq c_k$ for a sequence $c_k$ for which $sum_k=1^infty c_k$ exists and $lim_nrightarrowinftyb_nk = b_k$ then $sum_k=1^infty b_k$ exists and
    $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1b_k$$



    Translated back to products, you need that $|a_nk|leq c_k$ for a sequence such that $prod_k=1^infty c_k$ exists then if $lim_nrightarrowinfty a_nk = a_k$ then $prod_k=1^infty a_k$ exists and
    $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1a_k$$




    1 This approach only works if the $a_nk$ are positive. Otherwise you can't take $log$.






    share|cite|improve this answer











    $endgroup$

















      0












      $begingroup$

      You have
      $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$



      If and only if



      $$lim_ntoinftylog(prod^infty_k=1a_nk) = log(prod^infty_k=1lim_ntoinftya_nk)$$ (Warning see footnote below 1)



      Since $log$ takes product to sum by setting $b_nk=log(a_nk)$ the above is equivalent to whether
      $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1lim_ntoinftyb_nk$$



      Now you can use the Dominated convergence theorem which in this setting says:



      If $|b_nk|leq c_k$ for a sequence $c_k$ for which $sum_k=1^infty c_k$ exists and $lim_nrightarrowinftyb_nk = b_k$ then $sum_k=1^infty b_k$ exists and
      $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1b_k$$



      Translated back to products, you need that $|a_nk|leq c_k$ for a sequence such that $prod_k=1^infty c_k$ exists then if $lim_nrightarrowinfty a_nk = a_k$ then $prod_k=1^infty a_k$ exists and
      $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1a_k$$




      1 This approach only works if the $a_nk$ are positive. Otherwise you can't take $log$.






      share|cite|improve this answer











      $endgroup$















        0












        0








        0





        $begingroup$

        You have
        $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$



        If and only if



        $$lim_ntoinftylog(prod^infty_k=1a_nk) = log(prod^infty_k=1lim_ntoinftya_nk)$$ (Warning see footnote below 1)



        Since $log$ takes product to sum by setting $b_nk=log(a_nk)$ the above is equivalent to whether
        $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1lim_ntoinftyb_nk$$



        Now you can use the Dominated convergence theorem which in this setting says:



        If $|b_nk|leq c_k$ for a sequence $c_k$ for which $sum_k=1^infty c_k$ exists and $lim_nrightarrowinftyb_nk = b_k$ then $sum_k=1^infty b_k$ exists and
        $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1b_k$$



        Translated back to products, you need that $|a_nk|leq c_k$ for a sequence such that $prod_k=1^infty c_k$ exists then if $lim_nrightarrowinfty a_nk = a_k$ then $prod_k=1^infty a_k$ exists and
        $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1a_k$$




        1 This approach only works if the $a_nk$ are positive. Otherwise you can't take $log$.






        share|cite|improve this answer











        $endgroup$



        You have
        $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1lim_ntoinftya_nk$$



        If and only if



        $$lim_ntoinftylog(prod^infty_k=1a_nk) = log(prod^infty_k=1lim_ntoinftya_nk)$$ (Warning see footnote below 1)



        Since $log$ takes product to sum by setting $b_nk=log(a_nk)$ the above is equivalent to whether
        $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1lim_ntoinftyb_nk$$



        Now you can use the Dominated convergence theorem which in this setting says:



        If $|b_nk|leq c_k$ for a sequence $c_k$ for which $sum_k=1^infty c_k$ exists and $lim_nrightarrowinftyb_nk = b_k$ then $sum_k=1^infty b_k$ exists and
        $$lim_ntoinftysum^infty_k=1b_nk = sum^infty_k=1b_k$$



        Translated back to products, you need that $|a_nk|leq c_k$ for a sequence such that $prod_k=1^infty c_k$ exists then if $lim_nrightarrowinfty a_nk = a_k$ then $prod_k=1^infty a_k$ exists and
        $$lim_ntoinftyprod^infty_k=1a_nk = prod^infty_k=1a_k$$




        1 This approach only works if the $a_nk$ are positive. Otherwise you can't take $log$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Mar 29 at 17:10

























        answered Mar 29 at 17:04









        YankoYanko

        8,3842830




        8,3842830













            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

            Boston (Lincolnshire) Stedsbyld | Berne yn Boston | NavigaasjemenuBoston Borough CouncilBoston, Lincolnshire