let $f(x)$ be rational non constant polynomial and $fcirc f(x)=3f(x)^4-1$ then find the $f(x)$












2












$begingroup$


let $f(x)$ be rational non constant polynomial and $fcirc f(x)=3f(x)^4-1$
then find the $f(x)$ .



My Try :



$$f(f(x))=3f(x)^4-1$$



Let $f(x)=ax^n+g(x)$ so :



$$a(ax^n+g(x))^n+g(ax^n+g(x))=3(ax^n+g(x))^4-1$$



$$a^2x^{n^2}+h(x)+k(x)=3ax^{4n}+l(x)-1$$



$$3ax^{4n}-a^2x^{n^2}-1=h(x)+k(x)-l(x)$$



Now what ?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Formatting note: you can get the composition symbol by "circ"
    $endgroup$
    – lulu
    Jan 11 at 20:03






  • 4




    $begingroup$
    Math note: just comparing degrees, you want $n^2=4n$, so you know what $n$ is.
    $endgroup$
    – lulu
    Jan 11 at 20:07










  • $begingroup$
    @lulu why $n^2=4n $ ?
    $endgroup$
    – Almot1960
    Jan 11 at 20:09








  • 1




    $begingroup$
    Hint. If you identify $f$ with the polynomial function $f : mathbb{Q} to mathbb{Q}$, then for any $y in { f(x) : x in mathbb{Q} }$, we have $f(y) = 3y^4 - 1$. What can you say from this?
    $endgroup$
    – Sangchul Lee
    Jan 11 at 20:10






  • 2




    $begingroup$
    The degree of $fcirc f$ is $n^2$. The degree of $f^4$ is $4n$.
    $endgroup$
    – lulu
    Jan 11 at 20:10
















2












$begingroup$


let $f(x)$ be rational non constant polynomial and $fcirc f(x)=3f(x)^4-1$
then find the $f(x)$ .



My Try :



$$f(f(x))=3f(x)^4-1$$



Let $f(x)=ax^n+g(x)$ so :



$$a(ax^n+g(x))^n+g(ax^n+g(x))=3(ax^n+g(x))^4-1$$



$$a^2x^{n^2}+h(x)+k(x)=3ax^{4n}+l(x)-1$$



$$3ax^{4n}-a^2x^{n^2}-1=h(x)+k(x)-l(x)$$



Now what ?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Formatting note: you can get the composition symbol by "circ"
    $endgroup$
    – lulu
    Jan 11 at 20:03






  • 4




    $begingroup$
    Math note: just comparing degrees, you want $n^2=4n$, so you know what $n$ is.
    $endgroup$
    – lulu
    Jan 11 at 20:07










  • $begingroup$
    @lulu why $n^2=4n $ ?
    $endgroup$
    – Almot1960
    Jan 11 at 20:09








  • 1




    $begingroup$
    Hint. If you identify $f$ with the polynomial function $f : mathbb{Q} to mathbb{Q}$, then for any $y in { f(x) : x in mathbb{Q} }$, we have $f(y) = 3y^4 - 1$. What can you say from this?
    $endgroup$
    – Sangchul Lee
    Jan 11 at 20:10






  • 2




    $begingroup$
    The degree of $fcirc f$ is $n^2$. The degree of $f^4$ is $4n$.
    $endgroup$
    – lulu
    Jan 11 at 20:10














2












2








2





$begingroup$


let $f(x)$ be rational non constant polynomial and $fcirc f(x)=3f(x)^4-1$
then find the $f(x)$ .



My Try :



$$f(f(x))=3f(x)^4-1$$



Let $f(x)=ax^n+g(x)$ so :



$$a(ax^n+g(x))^n+g(ax^n+g(x))=3(ax^n+g(x))^4-1$$



$$a^2x^{n^2}+h(x)+k(x)=3ax^{4n}+l(x)-1$$



$$3ax^{4n}-a^2x^{n^2}-1=h(x)+k(x)-l(x)$$



Now what ?










share|cite|improve this question











$endgroup$




let $f(x)$ be rational non constant polynomial and $fcirc f(x)=3f(x)^4-1$
then find the $f(x)$ .



My Try :



$$f(f(x))=3f(x)^4-1$$



Let $f(x)=ax^n+g(x)$ so :



$$a(ax^n+g(x))^n+g(ax^n+g(x))=3(ax^n+g(x))^4-1$$



$$a^2x^{n^2}+h(x)+k(x)=3ax^{4n}+l(x)-1$$



$$3ax^{4n}-a^2x^{n^2}-1=h(x)+k(x)-l(x)$$



Now what ?







algebra-precalculus polynomials functional-equations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 11 at 20:45









Servaes

24.1k33893




24.1k33893










asked Jan 11 at 20:01









Almot1960Almot1960

2,288823




2,288823












  • $begingroup$
    Formatting note: you can get the composition symbol by "circ"
    $endgroup$
    – lulu
    Jan 11 at 20:03






  • 4




    $begingroup$
    Math note: just comparing degrees, you want $n^2=4n$, so you know what $n$ is.
    $endgroup$
    – lulu
    Jan 11 at 20:07










  • $begingroup$
    @lulu why $n^2=4n $ ?
    $endgroup$
    – Almot1960
    Jan 11 at 20:09








  • 1




    $begingroup$
    Hint. If you identify $f$ with the polynomial function $f : mathbb{Q} to mathbb{Q}$, then for any $y in { f(x) : x in mathbb{Q} }$, we have $f(y) = 3y^4 - 1$. What can you say from this?
    $endgroup$
    – Sangchul Lee
    Jan 11 at 20:10






  • 2




    $begingroup$
    The degree of $fcirc f$ is $n^2$. The degree of $f^4$ is $4n$.
    $endgroup$
    – lulu
    Jan 11 at 20:10


















  • $begingroup$
    Formatting note: you can get the composition symbol by "circ"
    $endgroup$
    – lulu
    Jan 11 at 20:03






  • 4




    $begingroup$
    Math note: just comparing degrees, you want $n^2=4n$, so you know what $n$ is.
    $endgroup$
    – lulu
    Jan 11 at 20:07










  • $begingroup$
    @lulu why $n^2=4n $ ?
    $endgroup$
    – Almot1960
    Jan 11 at 20:09








  • 1




    $begingroup$
    Hint. If you identify $f$ with the polynomial function $f : mathbb{Q} to mathbb{Q}$, then for any $y in { f(x) : x in mathbb{Q} }$, we have $f(y) = 3y^4 - 1$. What can you say from this?
    $endgroup$
    – Sangchul Lee
    Jan 11 at 20:10






  • 2




    $begingroup$
    The degree of $fcirc f$ is $n^2$. The degree of $f^4$ is $4n$.
    $endgroup$
    – lulu
    Jan 11 at 20:10
















$begingroup$
Formatting note: you can get the composition symbol by "circ"
$endgroup$
– lulu
Jan 11 at 20:03




$begingroup$
Formatting note: you can get the composition symbol by "circ"
$endgroup$
– lulu
Jan 11 at 20:03




4




4




$begingroup$
Math note: just comparing degrees, you want $n^2=4n$, so you know what $n$ is.
$endgroup$
– lulu
Jan 11 at 20:07




$begingroup$
Math note: just comparing degrees, you want $n^2=4n$, so you know what $n$ is.
$endgroup$
– lulu
Jan 11 at 20:07












$begingroup$
@lulu why $n^2=4n $ ?
$endgroup$
– Almot1960
Jan 11 at 20:09






$begingroup$
@lulu why $n^2=4n $ ?
$endgroup$
– Almot1960
Jan 11 at 20:09






1




1




$begingroup$
Hint. If you identify $f$ with the polynomial function $f : mathbb{Q} to mathbb{Q}$, then for any $y in { f(x) : x in mathbb{Q} }$, we have $f(y) = 3y^4 - 1$. What can you say from this?
$endgroup$
– Sangchul Lee
Jan 11 at 20:10




$begingroup$
Hint. If you identify $f$ with the polynomial function $f : mathbb{Q} to mathbb{Q}$, then for any $y in { f(x) : x in mathbb{Q} }$, we have $f(y) = 3y^4 - 1$. What can you say from this?
$endgroup$
– Sangchul Lee
Jan 11 at 20:10




2




2




$begingroup$
The degree of $fcirc f$ is $n^2$. The degree of $f^4$ is $4n$.
$endgroup$
– lulu
Jan 11 at 20:10




$begingroup$
The degree of $fcirc f$ is $n^2$. The degree of $f^4$ is $4n$.
$endgroup$
– lulu
Jan 11 at 20:10










3 Answers
3






active

oldest

votes


















4












$begingroup$

Note that $3f(x)^4 - 1 = gcirc f(x)$, where $g(x) = 3x^4 - 1$. So $f = g$, at least, is a solution.



Now, if $f$ is a solution, we need to show that $f(x) = g(x)$. But note that $f circ f(x) = gcirc f(x)$ for all $x$, so $(g - f) circ f(x) = 0$, so $g - f$ is zero on the image of $f$, which, since $f$ is non-constant, contains some interval $(a,b)$, hence $g - f$ is everywhere zero, so $f = g$ is the only solution.






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    +1 This is the way to go.
    $endgroup$
    – Servaes
    Jan 11 at 20:43



















1












$begingroup$

The highest degree terms on each side of what you have are:



$a_n^{n+1}x^{n^2} = 3a_n^4x^{4n}$



$n^2 = 4n\ n = 4\ a_4^5 = 3a_4^4\
a_4 = 3$



But, there is a more direct approach.



$f(f(x)) = 3(f(x))^4 - 1$



Replace the $f(x)$ with $u$ everywhere we see it.



$f(u) = 3u^4 - 1$






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    Note that, because I think that you supposed deg $g(x)leq n-1$, from
    $$
    a_n(a_n x^n+g(x))^n+g(a_n x^n+g(x))=
    3(a_n x^n+g(x))^4-1$$

    the degree of the LHS is $n^2$, while on the other hand the degree of the RHS is $4n$. This is an equality between two polynomials, hence their degree must be the same. Then $n=4$. Moreover the two polynomials must have the same leading coefficient. The coefficient of $x^{16}$ in the LHS is $a_4^{5}$, while the coefficient in the RHS is $3a_4^{4}$, hence $a_4=3$.
    Now I think that you have to put $f(x)=3x^4+sum_{i=0}^{3} a_i x^i $ in the equation and compute






    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%2f3070295%2flet-fx-be-rational-non-constant-polynomial-and-f-circ-fx-3fx4-1-then%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      4












      $begingroup$

      Note that $3f(x)^4 - 1 = gcirc f(x)$, where $g(x) = 3x^4 - 1$. So $f = g$, at least, is a solution.



      Now, if $f$ is a solution, we need to show that $f(x) = g(x)$. But note that $f circ f(x) = gcirc f(x)$ for all $x$, so $(g - f) circ f(x) = 0$, so $g - f$ is zero on the image of $f$, which, since $f$ is non-constant, contains some interval $(a,b)$, hence $g - f$ is everywhere zero, so $f = g$ is the only solution.






      share|cite|improve this answer









      $endgroup$









      • 1




        $begingroup$
        +1 This is the way to go.
        $endgroup$
        – Servaes
        Jan 11 at 20:43
















      4












      $begingroup$

      Note that $3f(x)^4 - 1 = gcirc f(x)$, where $g(x) = 3x^4 - 1$. So $f = g$, at least, is a solution.



      Now, if $f$ is a solution, we need to show that $f(x) = g(x)$. But note that $f circ f(x) = gcirc f(x)$ for all $x$, so $(g - f) circ f(x) = 0$, so $g - f$ is zero on the image of $f$, which, since $f$ is non-constant, contains some interval $(a,b)$, hence $g - f$ is everywhere zero, so $f = g$ is the only solution.






      share|cite|improve this answer









      $endgroup$









      • 1




        $begingroup$
        +1 This is the way to go.
        $endgroup$
        – Servaes
        Jan 11 at 20:43














      4












      4








      4





      $begingroup$

      Note that $3f(x)^4 - 1 = gcirc f(x)$, where $g(x) = 3x^4 - 1$. So $f = g$, at least, is a solution.



      Now, if $f$ is a solution, we need to show that $f(x) = g(x)$. But note that $f circ f(x) = gcirc f(x)$ for all $x$, so $(g - f) circ f(x) = 0$, so $g - f$ is zero on the image of $f$, which, since $f$ is non-constant, contains some interval $(a,b)$, hence $g - f$ is everywhere zero, so $f = g$ is the only solution.






      share|cite|improve this answer









      $endgroup$



      Note that $3f(x)^4 - 1 = gcirc f(x)$, where $g(x) = 3x^4 - 1$. So $f = g$, at least, is a solution.



      Now, if $f$ is a solution, we need to show that $f(x) = g(x)$. But note that $f circ f(x) = gcirc f(x)$ for all $x$, so $(g - f) circ f(x) = 0$, so $g - f$ is zero on the image of $f$, which, since $f$ is non-constant, contains some interval $(a,b)$, hence $g - f$ is everywhere zero, so $f = g$ is the only solution.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered Jan 11 at 20:23









      user3482749user3482749

      4,266919




      4,266919








      • 1




        $begingroup$
        +1 This is the way to go.
        $endgroup$
        – Servaes
        Jan 11 at 20:43














      • 1




        $begingroup$
        +1 This is the way to go.
        $endgroup$
        – Servaes
        Jan 11 at 20:43








      1




      1




      $begingroup$
      +1 This is the way to go.
      $endgroup$
      – Servaes
      Jan 11 at 20:43




      $begingroup$
      +1 This is the way to go.
      $endgroup$
      – Servaes
      Jan 11 at 20:43











      1












      $begingroup$

      The highest degree terms on each side of what you have are:



      $a_n^{n+1}x^{n^2} = 3a_n^4x^{4n}$



      $n^2 = 4n\ n = 4\ a_4^5 = 3a_4^4\
      a_4 = 3$



      But, there is a more direct approach.



      $f(f(x)) = 3(f(x))^4 - 1$



      Replace the $f(x)$ with $u$ everywhere we see it.



      $f(u) = 3u^4 - 1$






      share|cite|improve this answer









      $endgroup$


















        1












        $begingroup$

        The highest degree terms on each side of what you have are:



        $a_n^{n+1}x^{n^2} = 3a_n^4x^{4n}$



        $n^2 = 4n\ n = 4\ a_4^5 = 3a_4^4\
        a_4 = 3$



        But, there is a more direct approach.



        $f(f(x)) = 3(f(x))^4 - 1$



        Replace the $f(x)$ with $u$ everywhere we see it.



        $f(u) = 3u^4 - 1$






        share|cite|improve this answer









        $endgroup$
















          1












          1








          1





          $begingroup$

          The highest degree terms on each side of what you have are:



          $a_n^{n+1}x^{n^2} = 3a_n^4x^{4n}$



          $n^2 = 4n\ n = 4\ a_4^5 = 3a_4^4\
          a_4 = 3$



          But, there is a more direct approach.



          $f(f(x)) = 3(f(x))^4 - 1$



          Replace the $f(x)$ with $u$ everywhere we see it.



          $f(u) = 3u^4 - 1$






          share|cite|improve this answer









          $endgroup$



          The highest degree terms on each side of what you have are:



          $a_n^{n+1}x^{n^2} = 3a_n^4x^{4n}$



          $n^2 = 4n\ n = 4\ a_4^5 = 3a_4^4\
          a_4 = 3$



          But, there is a more direct approach.



          $f(f(x)) = 3(f(x))^4 - 1$



          Replace the $f(x)$ with $u$ everywhere we see it.



          $f(u) = 3u^4 - 1$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 11 at 20:22









          Doug MDoug M

          44.9k31854




          44.9k31854























              1












              $begingroup$

              Note that, because I think that you supposed deg $g(x)leq n-1$, from
              $$
              a_n(a_n x^n+g(x))^n+g(a_n x^n+g(x))=
              3(a_n x^n+g(x))^4-1$$

              the degree of the LHS is $n^2$, while on the other hand the degree of the RHS is $4n$. This is an equality between two polynomials, hence their degree must be the same. Then $n=4$. Moreover the two polynomials must have the same leading coefficient. The coefficient of $x^{16}$ in the LHS is $a_4^{5}$, while the coefficient in the RHS is $3a_4^{4}$, hence $a_4=3$.
              Now I think that you have to put $f(x)=3x^4+sum_{i=0}^{3} a_i x^i $ in the equation and compute






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                Note that, because I think that you supposed deg $g(x)leq n-1$, from
                $$
                a_n(a_n x^n+g(x))^n+g(a_n x^n+g(x))=
                3(a_n x^n+g(x))^4-1$$

                the degree of the LHS is $n^2$, while on the other hand the degree of the RHS is $4n$. This is an equality between two polynomials, hence their degree must be the same. Then $n=4$. Moreover the two polynomials must have the same leading coefficient. The coefficient of $x^{16}$ in the LHS is $a_4^{5}$, while the coefficient in the RHS is $3a_4^{4}$, hence $a_4=3$.
                Now I think that you have to put $f(x)=3x^4+sum_{i=0}^{3} a_i x^i $ in the equation and compute






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  Note that, because I think that you supposed deg $g(x)leq n-1$, from
                  $$
                  a_n(a_n x^n+g(x))^n+g(a_n x^n+g(x))=
                  3(a_n x^n+g(x))^4-1$$

                  the degree of the LHS is $n^2$, while on the other hand the degree of the RHS is $4n$. This is an equality between two polynomials, hence their degree must be the same. Then $n=4$. Moreover the two polynomials must have the same leading coefficient. The coefficient of $x^{16}$ in the LHS is $a_4^{5}$, while the coefficient in the RHS is $3a_4^{4}$, hence $a_4=3$.
                  Now I think that you have to put $f(x)=3x^4+sum_{i=0}^{3} a_i x^i $ in the equation and compute






                  share|cite|improve this answer









                  $endgroup$



                  Note that, because I think that you supposed deg $g(x)leq n-1$, from
                  $$
                  a_n(a_n x^n+g(x))^n+g(a_n x^n+g(x))=
                  3(a_n x^n+g(x))^4-1$$

                  the degree of the LHS is $n^2$, while on the other hand the degree of the RHS is $4n$. This is an equality between two polynomials, hence their degree must be the same. Then $n=4$. Moreover the two polynomials must have the same leading coefficient. The coefficient of $x^{16}$ in the LHS is $a_4^{5}$, while the coefficient in the RHS is $3a_4^{4}$, hence $a_4=3$.
                  Now I think that you have to put $f(x)=3x^4+sum_{i=0}^{3} a_i x^i $ in the equation and compute







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 11 at 20:25









                  user627482user627482

                  464




                  464






























                      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%2f3070295%2flet-fx-be-rational-non-constant-polynomial-and-f-circ-fx-3fx4-1-then%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

                      MongoDB - Not Authorized To Execute Command

                      How to fix TextFormField cause rebuild widget in Flutter

                      in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith