Reimann zeta function












2












$begingroup$


I started solving a problem using the transformation of Reimann zeta function into this form:



enter image description here



And I searched for the methods of doing this transformation and ended up with this one :



enter image description here



It is a little bit unclear to me the way it exchanges the summation signs , the first summation changes variables from $n geq 1 $ to $k geq 1$ :



enter image description here



Any explanation to this , or any help on how to transform Reimann Zeta function into that form(using other methods) would be appreciated, thank you.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    There is nothing strange in this, it's just an interchange of the two sums. If you notice, the first one says "$n$ is greater or equal to $1$ and $k$ must be equal or greater to $n$". Then we may change it into "$k$ is greater or equal to $1$ provided that $n$ is equal or less than $k$". Simple reasoning.
    $endgroup$
    – Von Neumann
    Dec 11 '18 at 9:55










  • $begingroup$
    @VonNeumann so are this to expressions $sum_{n=1}^{infty} sum_{k=n}^{infty}$ and $sum_{k=1}^{infty} sum_{n=k}^{infty}$ equal , I mean am I allowed to do these kinda exchanges ?
    $endgroup$
    – Maths Survivor
    Dec 11 '18 at 9:59










  • $begingroup$
    You need absolute convergence of the double-series in order to do this. (This is fulfilled here.)
    $endgroup$
    – p4sch
    Dec 11 '18 at 10:24
















2












$begingroup$


I started solving a problem using the transformation of Reimann zeta function into this form:



enter image description here



And I searched for the methods of doing this transformation and ended up with this one :



enter image description here



It is a little bit unclear to me the way it exchanges the summation signs , the first summation changes variables from $n geq 1 $ to $k geq 1$ :



enter image description here



Any explanation to this , or any help on how to transform Reimann Zeta function into that form(using other methods) would be appreciated, thank you.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    There is nothing strange in this, it's just an interchange of the two sums. If you notice, the first one says "$n$ is greater or equal to $1$ and $k$ must be equal or greater to $n$". Then we may change it into "$k$ is greater or equal to $1$ provided that $n$ is equal or less than $k$". Simple reasoning.
    $endgroup$
    – Von Neumann
    Dec 11 '18 at 9:55










  • $begingroup$
    @VonNeumann so are this to expressions $sum_{n=1}^{infty} sum_{k=n}^{infty}$ and $sum_{k=1}^{infty} sum_{n=k}^{infty}$ equal , I mean am I allowed to do these kinda exchanges ?
    $endgroup$
    – Maths Survivor
    Dec 11 '18 at 9:59










  • $begingroup$
    You need absolute convergence of the double-series in order to do this. (This is fulfilled here.)
    $endgroup$
    – p4sch
    Dec 11 '18 at 10:24














2












2








2





$begingroup$


I started solving a problem using the transformation of Reimann zeta function into this form:



enter image description here



And I searched for the methods of doing this transformation and ended up with this one :



enter image description here



It is a little bit unclear to me the way it exchanges the summation signs , the first summation changes variables from $n geq 1 $ to $k geq 1$ :



enter image description here



Any explanation to this , or any help on how to transform Reimann Zeta function into that form(using other methods) would be appreciated, thank you.










share|cite|improve this question









$endgroup$




I started solving a problem using the transformation of Reimann zeta function into this form:



enter image description here



And I searched for the methods of doing this transformation and ended up with this one :



enter image description here



It is a little bit unclear to me the way it exchanges the summation signs , the first summation changes variables from $n geq 1 $ to $k geq 1$ :



enter image description here



Any explanation to this , or any help on how to transform Reimann Zeta function into that form(using other methods) would be appreciated, thank you.







real-analysis integration






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 11 '18 at 9:52









Maths SurvivorMaths Survivor

502219




502219








  • 1




    $begingroup$
    There is nothing strange in this, it's just an interchange of the two sums. If you notice, the first one says "$n$ is greater or equal to $1$ and $k$ must be equal or greater to $n$". Then we may change it into "$k$ is greater or equal to $1$ provided that $n$ is equal or less than $k$". Simple reasoning.
    $endgroup$
    – Von Neumann
    Dec 11 '18 at 9:55










  • $begingroup$
    @VonNeumann so are this to expressions $sum_{n=1}^{infty} sum_{k=n}^{infty}$ and $sum_{k=1}^{infty} sum_{n=k}^{infty}$ equal , I mean am I allowed to do these kinda exchanges ?
    $endgroup$
    – Maths Survivor
    Dec 11 '18 at 9:59










  • $begingroup$
    You need absolute convergence of the double-series in order to do this. (This is fulfilled here.)
    $endgroup$
    – p4sch
    Dec 11 '18 at 10:24














  • 1




    $begingroup$
    There is nothing strange in this, it's just an interchange of the two sums. If you notice, the first one says "$n$ is greater or equal to $1$ and $k$ must be equal or greater to $n$". Then we may change it into "$k$ is greater or equal to $1$ provided that $n$ is equal or less than $k$". Simple reasoning.
    $endgroup$
    – Von Neumann
    Dec 11 '18 at 9:55










  • $begingroup$
    @VonNeumann so are this to expressions $sum_{n=1}^{infty} sum_{k=n}^{infty}$ and $sum_{k=1}^{infty} sum_{n=k}^{infty}$ equal , I mean am I allowed to do these kinda exchanges ?
    $endgroup$
    – Maths Survivor
    Dec 11 '18 at 9:59










  • $begingroup$
    You need absolute convergence of the double-series in order to do this. (This is fulfilled here.)
    $endgroup$
    – p4sch
    Dec 11 '18 at 10:24








1




1




$begingroup$
There is nothing strange in this, it's just an interchange of the two sums. If you notice, the first one says "$n$ is greater or equal to $1$ and $k$ must be equal or greater to $n$". Then we may change it into "$k$ is greater or equal to $1$ provided that $n$ is equal or less than $k$". Simple reasoning.
$endgroup$
– Von Neumann
Dec 11 '18 at 9:55




$begingroup$
There is nothing strange in this, it's just an interchange of the two sums. If you notice, the first one says "$n$ is greater or equal to $1$ and $k$ must be equal or greater to $n$". Then we may change it into "$k$ is greater or equal to $1$ provided that $n$ is equal or less than $k$". Simple reasoning.
$endgroup$
– Von Neumann
Dec 11 '18 at 9:55












$begingroup$
@VonNeumann so are this to expressions $sum_{n=1}^{infty} sum_{k=n}^{infty}$ and $sum_{k=1}^{infty} sum_{n=k}^{infty}$ equal , I mean am I allowed to do these kinda exchanges ?
$endgroup$
– Maths Survivor
Dec 11 '18 at 9:59




$begingroup$
@VonNeumann so are this to expressions $sum_{n=1}^{infty} sum_{k=n}^{infty}$ and $sum_{k=1}^{infty} sum_{n=k}^{infty}$ equal , I mean am I allowed to do these kinda exchanges ?
$endgroup$
– Maths Survivor
Dec 11 '18 at 9:59












$begingroup$
You need absolute convergence of the double-series in order to do this. (This is fulfilled here.)
$endgroup$
– p4sch
Dec 11 '18 at 10:24




$begingroup$
You need absolute convergence of the double-series in order to do this. (This is fulfilled here.)
$endgroup$
– p4sch
Dec 11 '18 at 10:24










1 Answer
1






active

oldest

votes


















4












$begingroup$

Something that works very nice to see the change of indexes is writing a sum like this



$$sum_{color{red}{n}ge 1}sum_{color{green}{k}ge n}=sum_{1lecolor{red}{ n}<infty}sum_{nle color{green}{k}<infty}=sum_{1le color{red}{n}le color{green}{k}<infty}$$



where I use colors to denote the variables clearly in each sum. The notation at the LHS seems a bit sloppy, it is writing $kge n$ where $k$ is the variable, not $n$. Now choosing $k$ as a variable from $1$ to infinity we get



$$sum_{1le color{red}{n}lecolor{green}{k}<infty}=sum_{1lecolor{green}{ k}leinfty}sum_{1le color{red}{n}le k}=sum_{k=1}^inftysum_{n=1}^k$$



where the last expression is equivalent to the sloppy form $sum_{kge 1}sum_{nle k}$. This reordering is justified when the double sum is summable, this happen, by example, when it is a double sum of non-negative terms or when it is absolutely convergent.






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%2f3035126%2freimann-zeta-function%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









    4












    $begingroup$

    Something that works very nice to see the change of indexes is writing a sum like this



    $$sum_{color{red}{n}ge 1}sum_{color{green}{k}ge n}=sum_{1lecolor{red}{ n}<infty}sum_{nle color{green}{k}<infty}=sum_{1le color{red}{n}le color{green}{k}<infty}$$



    where I use colors to denote the variables clearly in each sum. The notation at the LHS seems a bit sloppy, it is writing $kge n$ where $k$ is the variable, not $n$. Now choosing $k$ as a variable from $1$ to infinity we get



    $$sum_{1le color{red}{n}lecolor{green}{k}<infty}=sum_{1lecolor{green}{ k}leinfty}sum_{1le color{red}{n}le k}=sum_{k=1}^inftysum_{n=1}^k$$



    where the last expression is equivalent to the sloppy form $sum_{kge 1}sum_{nle k}$. This reordering is justified when the double sum is summable, this happen, by example, when it is a double sum of non-negative terms or when it is absolutely convergent.






    share|cite|improve this answer











    $endgroup$


















      4












      $begingroup$

      Something that works very nice to see the change of indexes is writing a sum like this



      $$sum_{color{red}{n}ge 1}sum_{color{green}{k}ge n}=sum_{1lecolor{red}{ n}<infty}sum_{nle color{green}{k}<infty}=sum_{1le color{red}{n}le color{green}{k}<infty}$$



      where I use colors to denote the variables clearly in each sum. The notation at the LHS seems a bit sloppy, it is writing $kge n$ where $k$ is the variable, not $n$. Now choosing $k$ as a variable from $1$ to infinity we get



      $$sum_{1le color{red}{n}lecolor{green}{k}<infty}=sum_{1lecolor{green}{ k}leinfty}sum_{1le color{red}{n}le k}=sum_{k=1}^inftysum_{n=1}^k$$



      where the last expression is equivalent to the sloppy form $sum_{kge 1}sum_{nle k}$. This reordering is justified when the double sum is summable, this happen, by example, when it is a double sum of non-negative terms or when it is absolutely convergent.






      share|cite|improve this answer











      $endgroup$
















        4












        4








        4





        $begingroup$

        Something that works very nice to see the change of indexes is writing a sum like this



        $$sum_{color{red}{n}ge 1}sum_{color{green}{k}ge n}=sum_{1lecolor{red}{ n}<infty}sum_{nle color{green}{k}<infty}=sum_{1le color{red}{n}le color{green}{k}<infty}$$



        where I use colors to denote the variables clearly in each sum. The notation at the LHS seems a bit sloppy, it is writing $kge n$ where $k$ is the variable, not $n$. Now choosing $k$ as a variable from $1$ to infinity we get



        $$sum_{1le color{red}{n}lecolor{green}{k}<infty}=sum_{1lecolor{green}{ k}leinfty}sum_{1le color{red}{n}le k}=sum_{k=1}^inftysum_{n=1}^k$$



        where the last expression is equivalent to the sloppy form $sum_{kge 1}sum_{nle k}$. This reordering is justified when the double sum is summable, this happen, by example, when it is a double sum of non-negative terms or when it is absolutely convergent.






        share|cite|improve this answer











        $endgroup$



        Something that works very nice to see the change of indexes is writing a sum like this



        $$sum_{color{red}{n}ge 1}sum_{color{green}{k}ge n}=sum_{1lecolor{red}{ n}<infty}sum_{nle color{green}{k}<infty}=sum_{1le color{red}{n}le color{green}{k}<infty}$$



        where I use colors to denote the variables clearly in each sum. The notation at the LHS seems a bit sloppy, it is writing $kge n$ where $k$ is the variable, not $n$. Now choosing $k$ as a variable from $1$ to infinity we get



        $$sum_{1le color{red}{n}lecolor{green}{k}<infty}=sum_{1lecolor{green}{ k}leinfty}sum_{1le color{red}{n}le k}=sum_{k=1}^inftysum_{n=1}^k$$



        where the last expression is equivalent to the sloppy form $sum_{kge 1}sum_{nle k}$. This reordering is justified when the double sum is summable, this happen, by example, when it is a double sum of non-negative terms or when it is absolutely convergent.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Dec 11 '18 at 11:03

























        answered Dec 11 '18 at 10:21









        MasacrosoMasacroso

        13.1k41747




        13.1k41747






























            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%2f3035126%2freimann-zeta-function%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

            Plaza Victoria

            Puebla de Zaragoza

            Musa