Application of Hadamard's Formula to a function that never vanish











up vote
1
down vote

favorite













Suppose $f$ is an entire and never vanishes, and that none of higher derivatives of $f$ ever vanish. Prove that if $f$ is also of finite order, then $f(z) = e^{az+b}$ for some constants $a,b$.




I have an idea that doesn't seem to work on two points. I want to know if there is any way to take advantage of this idea or if there is some other way.



My approach. By Hadamard's Formula,
$$f(z) = e^{p(z)}z^{m}prod_{1}^{infty}E_{k}(z/a_{n})$$
where $p$ is a polynomial of degree $leq k$, $m$ is the order of the zero of $f$ at $z=0$ and ${a_{n}}_{n}$ denotes the non-zero zeros of $f$.
But in this case, ${a_{n}}_{n} = emptyset$.




  1. Is there any way to get
    $$f(z) = ce^{p(z)}$$
    with $c$ constant?


  2. If yes, we have $f'(z) = cp'(z)e^{p(z)}$. My idea is to use the hypothesis about the higher derivatives to conclude that $p'(z)$ is constant. But the higher derivatives may have zeros.











share|cite|improve this question


























    up vote
    1
    down vote

    favorite













    Suppose $f$ is an entire and never vanishes, and that none of higher derivatives of $f$ ever vanish. Prove that if $f$ is also of finite order, then $f(z) = e^{az+b}$ for some constants $a,b$.




    I have an idea that doesn't seem to work on two points. I want to know if there is any way to take advantage of this idea or if there is some other way.



    My approach. By Hadamard's Formula,
    $$f(z) = e^{p(z)}z^{m}prod_{1}^{infty}E_{k}(z/a_{n})$$
    where $p$ is a polynomial of degree $leq k$, $m$ is the order of the zero of $f$ at $z=0$ and ${a_{n}}_{n}$ denotes the non-zero zeros of $f$.
    But in this case, ${a_{n}}_{n} = emptyset$.




    1. Is there any way to get
      $$f(z) = ce^{p(z)}$$
      with $c$ constant?


    2. If yes, we have $f'(z) = cp'(z)e^{p(z)}$. My idea is to use the hypothesis about the higher derivatives to conclude that $p'(z)$ is constant. But the higher derivatives may have zeros.











    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite












      Suppose $f$ is an entire and never vanishes, and that none of higher derivatives of $f$ ever vanish. Prove that if $f$ is also of finite order, then $f(z) = e^{az+b}$ for some constants $a,b$.




      I have an idea that doesn't seem to work on two points. I want to know if there is any way to take advantage of this idea or if there is some other way.



      My approach. By Hadamard's Formula,
      $$f(z) = e^{p(z)}z^{m}prod_{1}^{infty}E_{k}(z/a_{n})$$
      where $p$ is a polynomial of degree $leq k$, $m$ is the order of the zero of $f$ at $z=0$ and ${a_{n}}_{n}$ denotes the non-zero zeros of $f$.
      But in this case, ${a_{n}}_{n} = emptyset$.




      1. Is there any way to get
        $$f(z) = ce^{p(z)}$$
        with $c$ constant?


      2. If yes, we have $f'(z) = cp'(z)e^{p(z)}$. My idea is to use the hypothesis about the higher derivatives to conclude that $p'(z)$ is constant. But the higher derivatives may have zeros.











      share|cite|improve this question














      Suppose $f$ is an entire and never vanishes, and that none of higher derivatives of $f$ ever vanish. Prove that if $f$ is also of finite order, then $f(z) = e^{az+b}$ for some constants $a,b$.




      I have an idea that doesn't seem to work on two points. I want to know if there is any way to take advantage of this idea or if there is some other way.



      My approach. By Hadamard's Formula,
      $$f(z) = e^{p(z)}z^{m}prod_{1}^{infty}E_{k}(z/a_{n})$$
      where $p$ is a polynomial of degree $leq k$, $m$ is the order of the zero of $f$ at $z=0$ and ${a_{n}}_{n}$ denotes the non-zero zeros of $f$.
      But in this case, ${a_{n}}_{n} = emptyset$.




      1. Is there any way to get
        $$f(z) = ce^{p(z)}$$
        with $c$ constant?


      2. If yes, we have $f'(z) = cp'(z)e^{p(z)}$. My idea is to use the hypothesis about the higher derivatives to conclude that $p'(z)$ is constant. But the higher derivatives may have zeros.








      complex-analysis entire-functions






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 18 at 19:01









      Lucas Corrêa

      1,252321




      1,252321






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          $f$ has no zeros, therefore $m=0$ and – as you noticed – the set ${ a_n }$ of non-zero zeros is empty. So
          $ f(z) = e^{p(z)} $ for some polynomial $p$, and $f'(z) = p'(z) e^{p(z)} $.



          If $f'$ never vanishes then $p'$ is a polynomial without zeros, and therefore
          constant. It follows that $p$ is a polynomial of degree at most one.






          share|cite|improve this answer





















          • For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
            – Lucas Corrêa
            Nov 18 at 19:59










          • Thank you! ${}$
            – Lucas Corrêa
            Nov 18 at 19:59











          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%2f3003972%2fapplication-of-hadamards-formula-to-a-function-that-never-vanish%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
          1
          down vote



          accepted










          $f$ has no zeros, therefore $m=0$ and – as you noticed – the set ${ a_n }$ of non-zero zeros is empty. So
          $ f(z) = e^{p(z)} $ for some polynomial $p$, and $f'(z) = p'(z) e^{p(z)} $.



          If $f'$ never vanishes then $p'$ is a polynomial without zeros, and therefore
          constant. It follows that $p$ is a polynomial of degree at most one.






          share|cite|improve this answer





















          • For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
            – Lucas Corrêa
            Nov 18 at 19:59










          • Thank you! ${}$
            – Lucas Corrêa
            Nov 18 at 19:59















          up vote
          1
          down vote



          accepted










          $f$ has no zeros, therefore $m=0$ and – as you noticed – the set ${ a_n }$ of non-zero zeros is empty. So
          $ f(z) = e^{p(z)} $ for some polynomial $p$, and $f'(z) = p'(z) e^{p(z)} $.



          If $f'$ never vanishes then $p'$ is a polynomial without zeros, and therefore
          constant. It follows that $p$ is a polynomial of degree at most one.






          share|cite|improve this answer





















          • For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
            – Lucas Corrêa
            Nov 18 at 19:59










          • Thank you! ${}$
            – Lucas Corrêa
            Nov 18 at 19:59













          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          $f$ has no zeros, therefore $m=0$ and – as you noticed – the set ${ a_n }$ of non-zero zeros is empty. So
          $ f(z) = e^{p(z)} $ for some polynomial $p$, and $f'(z) = p'(z) e^{p(z)} $.



          If $f'$ never vanishes then $p'$ is a polynomial without zeros, and therefore
          constant. It follows that $p$ is a polynomial of degree at most one.






          share|cite|improve this answer












          $f$ has no zeros, therefore $m=0$ and – as you noticed – the set ${ a_n }$ of non-zero zeros is empty. So
          $ f(z) = e^{p(z)} $ for some polynomial $p$, and $f'(z) = p'(z) e^{p(z)} $.



          If $f'$ never vanishes then $p'$ is a polynomial without zeros, and therefore
          constant. It follows that $p$ is a polynomial of degree at most one.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 18 at 19:46









          Martin R

          26k32946




          26k32946












          • For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
            – Lucas Corrêa
            Nov 18 at 19:59










          • Thank you! ${}$
            – Lucas Corrêa
            Nov 18 at 19:59


















          • For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
            – Lucas Corrêa
            Nov 18 at 19:59










          • Thank you! ${}$
            – Lucas Corrêa
            Nov 18 at 19:59
















          For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
          – Lucas Corrêa
          Nov 18 at 19:59




          For second, I had an interpretation problem. I understood that the higher derivatives were not null, but could be zero in some points.
          – Lucas Corrêa
          Nov 18 at 19:59












          Thank you! ${}$
          – Lucas Corrêa
          Nov 18 at 19:59




          Thank you! ${}$
          – Lucas Corrêa
          Nov 18 at 19:59


















          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%2f3003972%2fapplication-of-hadamards-formula-to-a-function-that-never-vanish%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

          Quarter-circle Tiles

          build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

          Mont Emei