Prove or disprove: $frac12-frac{psi _2^{(1)}(n+2)}{log 4}$ have infinite zeros











up vote
0
down vote

favorite
1












The notation of $psi$ means QPolyGamma symbol.



I noticed an interesting thing:
zeros that computed by Mathematica



It seems that it has a lot of zeros;
And I tried to plot the function out:



Plot of the function



From the plot, we can deduce that only on the right side (or the left side) there would be zeros.



Next, I calculated the derivative of this function: $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$



However, the derivative of the second one is $displaystyle -frac{psi _2^{(3)}(n+2)}{log 4}$. And finally this is not always $>0$, so $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$ may have infinite sign changes.



This seems far from proving my original question, thus I didn't find any useful references to my question.



So that does $displaystyle frac{1}{2}-frac{psi _2^{(1)}(n+2)}{log 4}$ have infinite zeros?










share|cite|improve this question




























    up vote
    0
    down vote

    favorite
    1












    The notation of $psi$ means QPolyGamma symbol.



    I noticed an interesting thing:
    zeros that computed by Mathematica



    It seems that it has a lot of zeros;
    And I tried to plot the function out:



    Plot of the function



    From the plot, we can deduce that only on the right side (or the left side) there would be zeros.



    Next, I calculated the derivative of this function: $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$



    However, the derivative of the second one is $displaystyle -frac{psi _2^{(3)}(n+2)}{log 4}$. And finally this is not always $>0$, so $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$ may have infinite sign changes.



    This seems far from proving my original question, thus I didn't find any useful references to my question.



    So that does $displaystyle frac{1}{2}-frac{psi _2^{(1)}(n+2)}{log 4}$ have infinite zeros?










    share|cite|improve this question


























      up vote
      0
      down vote

      favorite
      1









      up vote
      0
      down vote

      favorite
      1






      1





      The notation of $psi$ means QPolyGamma symbol.



      I noticed an interesting thing:
      zeros that computed by Mathematica



      It seems that it has a lot of zeros;
      And I tried to plot the function out:



      Plot of the function



      From the plot, we can deduce that only on the right side (or the left side) there would be zeros.



      Next, I calculated the derivative of this function: $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$



      However, the derivative of the second one is $displaystyle -frac{psi _2^{(3)}(n+2)}{log 4}$. And finally this is not always $>0$, so $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$ may have infinite sign changes.



      This seems far from proving my original question, thus I didn't find any useful references to my question.



      So that does $displaystyle frac{1}{2}-frac{psi _2^{(1)}(n+2)}{log 4}$ have infinite zeros?










      share|cite|improve this question















      The notation of $psi$ means QPolyGamma symbol.



      I noticed an interesting thing:
      zeros that computed by Mathematica



      It seems that it has a lot of zeros;
      And I tried to plot the function out:



      Plot of the function



      From the plot, we can deduce that only on the right side (or the left side) there would be zeros.



      Next, I calculated the derivative of this function: $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$



      However, the derivative of the second one is $displaystyle -frac{psi _2^{(3)}(n+2)}{log 4}$. And finally this is not always $>0$, so $displaystyle -frac{psi _2^{(2)}(n+2)}{log 4}$ may have infinite sign changes.



      This seems far from proving my original question, thus I didn't find any useful references to my question.



      So that does $displaystyle frac{1}{2}-frac{psi _2^{(1)}(n+2)}{log 4}$ have infinite zeros?







      real-analysis complex-analysis special-functions






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 26 at 19:36









      Martin Sleziak

      44.5k7115268




      44.5k7115268










      asked Nov 18 at 12:51









      Sky of war

      82




      82






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          0
          down vote



          accepted










          Write the $q$-polygamma function as a sum:
          $$Gamma_2(z) = 2^{(z - 1) (z - 2)/2} hspace{1px}Gamma_{1/2}(z), \
          psi_2(z) = frac 1 {Gamma_2(z)} frac d {dz} Gamma_2(z) =
          psi_{1/2}(z) + z ln 2 - frac {3 ln 2} 2 =
          -ln 2 left(
          frac 1 2 - z + sum_{k geq 0} frac 1 {2^{k + z} - 1} right), \
          frac 1 2 - frac 1 {2 ln 2} frac d {dz} psi_2(z) =
          -frac {ln 2} 2 sum_{k geq 0} frac {2^{k + z}} {(2^{k + z} - 1)^2}.$$

          Setting $z = n + 2$ gives your function. It's singular at $n = -2, -3, dots$ and negative everywhere else.






          share|cite|improve this answer





















            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',
            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%2f3003489%2fprove-or-disprove-frac12-frac-psi-21n2-log-4-have-infinite-zer%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








            up vote
            0
            down vote



            accepted










            Write the $q$-polygamma function as a sum:
            $$Gamma_2(z) = 2^{(z - 1) (z - 2)/2} hspace{1px}Gamma_{1/2}(z), \
            psi_2(z) = frac 1 {Gamma_2(z)} frac d {dz} Gamma_2(z) =
            psi_{1/2}(z) + z ln 2 - frac {3 ln 2} 2 =
            -ln 2 left(
            frac 1 2 - z + sum_{k geq 0} frac 1 {2^{k + z} - 1} right), \
            frac 1 2 - frac 1 {2 ln 2} frac d {dz} psi_2(z) =
            -frac {ln 2} 2 sum_{k geq 0} frac {2^{k + z}} {(2^{k + z} - 1)^2}.$$

            Setting $z = n + 2$ gives your function. It's singular at $n = -2, -3, dots$ and negative everywhere else.






            share|cite|improve this answer

























              up vote
              0
              down vote



              accepted










              Write the $q$-polygamma function as a sum:
              $$Gamma_2(z) = 2^{(z - 1) (z - 2)/2} hspace{1px}Gamma_{1/2}(z), \
              psi_2(z) = frac 1 {Gamma_2(z)} frac d {dz} Gamma_2(z) =
              psi_{1/2}(z) + z ln 2 - frac {3 ln 2} 2 =
              -ln 2 left(
              frac 1 2 - z + sum_{k geq 0} frac 1 {2^{k + z} - 1} right), \
              frac 1 2 - frac 1 {2 ln 2} frac d {dz} psi_2(z) =
              -frac {ln 2} 2 sum_{k geq 0} frac {2^{k + z}} {(2^{k + z} - 1)^2}.$$

              Setting $z = n + 2$ gives your function. It's singular at $n = -2, -3, dots$ and negative everywhere else.






              share|cite|improve this answer























                up vote
                0
                down vote



                accepted







                up vote
                0
                down vote



                accepted






                Write the $q$-polygamma function as a sum:
                $$Gamma_2(z) = 2^{(z - 1) (z - 2)/2} hspace{1px}Gamma_{1/2}(z), \
                psi_2(z) = frac 1 {Gamma_2(z)} frac d {dz} Gamma_2(z) =
                psi_{1/2}(z) + z ln 2 - frac {3 ln 2} 2 =
                -ln 2 left(
                frac 1 2 - z + sum_{k geq 0} frac 1 {2^{k + z} - 1} right), \
                frac 1 2 - frac 1 {2 ln 2} frac d {dz} psi_2(z) =
                -frac {ln 2} 2 sum_{k geq 0} frac {2^{k + z}} {(2^{k + z} - 1)^2}.$$

                Setting $z = n + 2$ gives your function. It's singular at $n = -2, -3, dots$ and negative everywhere else.






                share|cite|improve this answer












                Write the $q$-polygamma function as a sum:
                $$Gamma_2(z) = 2^{(z - 1) (z - 2)/2} hspace{1px}Gamma_{1/2}(z), \
                psi_2(z) = frac 1 {Gamma_2(z)} frac d {dz} Gamma_2(z) =
                psi_{1/2}(z) + z ln 2 - frac {3 ln 2} 2 =
                -ln 2 left(
                frac 1 2 - z + sum_{k geq 0} frac 1 {2^{k + z} - 1} right), \
                frac 1 2 - frac 1 {2 ln 2} frac d {dz} psi_2(z) =
                -frac {ln 2} 2 sum_{k geq 0} frac {2^{k + z}} {(2^{k + z} - 1)^2}.$$

                Setting $z = n + 2$ gives your function. It's singular at $n = -2, -3, dots$ and negative everywhere else.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Nov 18 at 18:09









                Maxim

                4,346219




                4,346219






























                    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.





                    Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                    Please pay close attention to the following guidance:


                    • 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.


                    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%2f3003489%2fprove-or-disprove-frac12-frac-psi-21n2-log-4-have-infinite-zer%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

                    QoS: MAC-Priority for clients behind a repeater

                    Ивакино (Тотемский район)

                    Can't locate Autom4te/ChannelDefs.pm in @INC (when it definitely is there)