When is One Polynomial “Similar” to Another












7












$begingroup$


Let $f$ and $g$ be functions. We will say they are similar (in somewhat of an extension to what it means for linear maps to be similar) if there exists a bijection $p$ such that
$$f=p^{-1}circ gcirc p.$$
Let this relation be denoted as $sim$. Under what conditions can polynomials be similar? Specifically, I am trying to find out for which polynomials $f$ can we say that $fsim T_n$ for some $n$ where $T_n$ is the $n$-th Chebyshev polynomial.


Note that when $f$, $g$, and $p$ are all restricted to linear functions from $mathbb{R}^ntomathbb{R}^n$ this aligns with the normal definition of similar matrices. Could a similar equivalence be drawn for polynomial functions? Possibly one could consider matrices over the field $mathbb{R}[x]$, and apply a similar theory to get partial results for the above problem.










share|cite|improve this question











$endgroup$

















    7












    $begingroup$


    Let $f$ and $g$ be functions. We will say they are similar (in somewhat of an extension to what it means for linear maps to be similar) if there exists a bijection $p$ such that
    $$f=p^{-1}circ gcirc p.$$
    Let this relation be denoted as $sim$. Under what conditions can polynomials be similar? Specifically, I am trying to find out for which polynomials $f$ can we say that $fsim T_n$ for some $n$ where $T_n$ is the $n$-th Chebyshev polynomial.


    Note that when $f$, $g$, and $p$ are all restricted to linear functions from $mathbb{R}^ntomathbb{R}^n$ this aligns with the normal definition of similar matrices. Could a similar equivalence be drawn for polynomial functions? Possibly one could consider matrices over the field $mathbb{R}[x]$, and apply a similar theory to get partial results for the above problem.










    share|cite|improve this question











    $endgroup$















      7












      7








      7


      1



      $begingroup$


      Let $f$ and $g$ be functions. We will say they are similar (in somewhat of an extension to what it means for linear maps to be similar) if there exists a bijection $p$ such that
      $$f=p^{-1}circ gcirc p.$$
      Let this relation be denoted as $sim$. Under what conditions can polynomials be similar? Specifically, I am trying to find out for which polynomials $f$ can we say that $fsim T_n$ for some $n$ where $T_n$ is the $n$-th Chebyshev polynomial.


      Note that when $f$, $g$, and $p$ are all restricted to linear functions from $mathbb{R}^ntomathbb{R}^n$ this aligns with the normal definition of similar matrices. Could a similar equivalence be drawn for polynomial functions? Possibly one could consider matrices over the field $mathbb{R}[x]$, and apply a similar theory to get partial results for the above problem.










      share|cite|improve this question











      $endgroup$




      Let $f$ and $g$ be functions. We will say they are similar (in somewhat of an extension to what it means for linear maps to be similar) if there exists a bijection $p$ such that
      $$f=p^{-1}circ gcirc p.$$
      Let this relation be denoted as $sim$. Under what conditions can polynomials be similar? Specifically, I am trying to find out for which polynomials $f$ can we say that $fsim T_n$ for some $n$ where $T_n$ is the $n$-th Chebyshev polynomial.


      Note that when $f$, $g$, and $p$ are all restricted to linear functions from $mathbb{R}^ntomathbb{R}^n$ this aligns with the normal definition of similar matrices. Could a similar equivalence be drawn for polynomial functions? Possibly one could consider matrices over the field $mathbb{R}[x]$, and apply a similar theory to get partial results for the above problem.







      real-analysis functional-analysis






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 16 at 16:41







      Will Fisher

















      asked Dec 22 '18 at 22:19









      Will FisherWill Fisher

      4,0381032




      4,0381032






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          Edit: In the particular case where we are looking at the Chebyshev polynomials, by definition $T_n(cos x)=cos(nx)$. Hence with $c:[0,pi)to[-1,1),xmapstocos x$ and $m:[0,pi)to[0,pi)$, $xmapsto nx$ mod $pi$, we have $T_ncirc c=ccirc m$, i.e. $T_n=ccirc mcirc c^{-1}$. Therefore $T_nsim m$, which is a linear map. Now $fsim T_n$ iff it is similar to the linear map $xmapsto nx$.





          In general: let's exclusively discuss the case where $phi$ is affine. If $f(x)=sum a_ix^i$, then taking $phi$ to be a translation $xmapsto x-k$, then we have $phi^{-1}circ fcircphi$ to be $f(x-k)+k=sum a_i(x-k)^i+k$. Hence, starting from any polynomial $f$, shifting its graph along the diagonal will always result in a similar function. Furthermore, the choice $phi:xmapsto kx$ will result in the similar function $f(kx)/k$, so we conclude that "shrinking" the graph of $f$ in a ratio-preserving manner will also result in the graph of a similar function.



          Any polynomial of odd degree crosses the diagonal $y=x$ at least once, so bring this point to the origin (obtaining a similar function). By suitable scaling, we conclude that any odd degree polynomial $p(x)$ is similar to $xq(x)$, where $partial qleqpartial p-1$ ($partial$ denotes the degree). Furthermore, it's not hard to show that similar functions must cross the diagonal the same number of times. This gives us several methods to prove that $fnsim g$ by an affine bijection $phi$:




          1. If the number of roots of $f(x)-x$ is not the same as the number of roots of $g(x)-x$, then they are not similar;

          2. For all the roots $x_k$ of $g(x)-x$, look at the similar monic polynomials $g'_k(x)=xh_k(x)$ defined by "bringing the root to the origin" and scaling such that the leading coefficient is $1$. Do the same for $f$. If the resulting monic polynomials are not all the same, then they are not similar.


          I believe these are exhaustive; i.e. if $f$ passes both of these tests, then $fsim g$ with affine $phi$. I am however unable to prove this. If this is true, then it gives us a test for conclusively saying $fsim g$ in the general case.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
            $endgroup$
            – Will Fisher
            Feb 4 at 13:22










          • $begingroup$
            @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
            $endgroup$
            – YiFan
            Feb 4 at 13:28










          • $begingroup$
            @WillFisher Actually, I think $T_nsim nx$. Check the edit.
            $endgroup$
            – YiFan
            Feb 4 at 13:42










          • $begingroup$
            For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:09












          • $begingroup$
            I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:13













          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%2f3049887%2fwhen-is-one-polynomial-similar-to-another%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









          1












          $begingroup$

          Edit: In the particular case where we are looking at the Chebyshev polynomials, by definition $T_n(cos x)=cos(nx)$. Hence with $c:[0,pi)to[-1,1),xmapstocos x$ and $m:[0,pi)to[0,pi)$, $xmapsto nx$ mod $pi$, we have $T_ncirc c=ccirc m$, i.e. $T_n=ccirc mcirc c^{-1}$. Therefore $T_nsim m$, which is a linear map. Now $fsim T_n$ iff it is similar to the linear map $xmapsto nx$.





          In general: let's exclusively discuss the case where $phi$ is affine. If $f(x)=sum a_ix^i$, then taking $phi$ to be a translation $xmapsto x-k$, then we have $phi^{-1}circ fcircphi$ to be $f(x-k)+k=sum a_i(x-k)^i+k$. Hence, starting from any polynomial $f$, shifting its graph along the diagonal will always result in a similar function. Furthermore, the choice $phi:xmapsto kx$ will result in the similar function $f(kx)/k$, so we conclude that "shrinking" the graph of $f$ in a ratio-preserving manner will also result in the graph of a similar function.



          Any polynomial of odd degree crosses the diagonal $y=x$ at least once, so bring this point to the origin (obtaining a similar function). By suitable scaling, we conclude that any odd degree polynomial $p(x)$ is similar to $xq(x)$, where $partial qleqpartial p-1$ ($partial$ denotes the degree). Furthermore, it's not hard to show that similar functions must cross the diagonal the same number of times. This gives us several methods to prove that $fnsim g$ by an affine bijection $phi$:




          1. If the number of roots of $f(x)-x$ is not the same as the number of roots of $g(x)-x$, then they are not similar;

          2. For all the roots $x_k$ of $g(x)-x$, look at the similar monic polynomials $g'_k(x)=xh_k(x)$ defined by "bringing the root to the origin" and scaling such that the leading coefficient is $1$. Do the same for $f$. If the resulting monic polynomials are not all the same, then they are not similar.


          I believe these are exhaustive; i.e. if $f$ passes both of these tests, then $fsim g$ with affine $phi$. I am however unable to prove this. If this is true, then it gives us a test for conclusively saying $fsim g$ in the general case.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
            $endgroup$
            – Will Fisher
            Feb 4 at 13:22










          • $begingroup$
            @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
            $endgroup$
            – YiFan
            Feb 4 at 13:28










          • $begingroup$
            @WillFisher Actually, I think $T_nsim nx$. Check the edit.
            $endgroup$
            – YiFan
            Feb 4 at 13:42










          • $begingroup$
            For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:09












          • $begingroup$
            I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:13


















          1












          $begingroup$

          Edit: In the particular case where we are looking at the Chebyshev polynomials, by definition $T_n(cos x)=cos(nx)$. Hence with $c:[0,pi)to[-1,1),xmapstocos x$ and $m:[0,pi)to[0,pi)$, $xmapsto nx$ mod $pi$, we have $T_ncirc c=ccirc m$, i.e. $T_n=ccirc mcirc c^{-1}$. Therefore $T_nsim m$, which is a linear map. Now $fsim T_n$ iff it is similar to the linear map $xmapsto nx$.





          In general: let's exclusively discuss the case where $phi$ is affine. If $f(x)=sum a_ix^i$, then taking $phi$ to be a translation $xmapsto x-k$, then we have $phi^{-1}circ fcircphi$ to be $f(x-k)+k=sum a_i(x-k)^i+k$. Hence, starting from any polynomial $f$, shifting its graph along the diagonal will always result in a similar function. Furthermore, the choice $phi:xmapsto kx$ will result in the similar function $f(kx)/k$, so we conclude that "shrinking" the graph of $f$ in a ratio-preserving manner will also result in the graph of a similar function.



          Any polynomial of odd degree crosses the diagonal $y=x$ at least once, so bring this point to the origin (obtaining a similar function). By suitable scaling, we conclude that any odd degree polynomial $p(x)$ is similar to $xq(x)$, where $partial qleqpartial p-1$ ($partial$ denotes the degree). Furthermore, it's not hard to show that similar functions must cross the diagonal the same number of times. This gives us several methods to prove that $fnsim g$ by an affine bijection $phi$:




          1. If the number of roots of $f(x)-x$ is not the same as the number of roots of $g(x)-x$, then they are not similar;

          2. For all the roots $x_k$ of $g(x)-x$, look at the similar monic polynomials $g'_k(x)=xh_k(x)$ defined by "bringing the root to the origin" and scaling such that the leading coefficient is $1$. Do the same for $f$. If the resulting monic polynomials are not all the same, then they are not similar.


          I believe these are exhaustive; i.e. if $f$ passes both of these tests, then $fsim g$ with affine $phi$. I am however unable to prove this. If this is true, then it gives us a test for conclusively saying $fsim g$ in the general case.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
            $endgroup$
            – Will Fisher
            Feb 4 at 13:22










          • $begingroup$
            @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
            $endgroup$
            – YiFan
            Feb 4 at 13:28










          • $begingroup$
            @WillFisher Actually, I think $T_nsim nx$. Check the edit.
            $endgroup$
            – YiFan
            Feb 4 at 13:42










          • $begingroup$
            For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:09












          • $begingroup$
            I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:13
















          1












          1








          1





          $begingroup$

          Edit: In the particular case where we are looking at the Chebyshev polynomials, by definition $T_n(cos x)=cos(nx)$. Hence with $c:[0,pi)to[-1,1),xmapstocos x$ and $m:[0,pi)to[0,pi)$, $xmapsto nx$ mod $pi$, we have $T_ncirc c=ccirc m$, i.e. $T_n=ccirc mcirc c^{-1}$. Therefore $T_nsim m$, which is a linear map. Now $fsim T_n$ iff it is similar to the linear map $xmapsto nx$.





          In general: let's exclusively discuss the case where $phi$ is affine. If $f(x)=sum a_ix^i$, then taking $phi$ to be a translation $xmapsto x-k$, then we have $phi^{-1}circ fcircphi$ to be $f(x-k)+k=sum a_i(x-k)^i+k$. Hence, starting from any polynomial $f$, shifting its graph along the diagonal will always result in a similar function. Furthermore, the choice $phi:xmapsto kx$ will result in the similar function $f(kx)/k$, so we conclude that "shrinking" the graph of $f$ in a ratio-preserving manner will also result in the graph of a similar function.



          Any polynomial of odd degree crosses the diagonal $y=x$ at least once, so bring this point to the origin (obtaining a similar function). By suitable scaling, we conclude that any odd degree polynomial $p(x)$ is similar to $xq(x)$, where $partial qleqpartial p-1$ ($partial$ denotes the degree). Furthermore, it's not hard to show that similar functions must cross the diagonal the same number of times. This gives us several methods to prove that $fnsim g$ by an affine bijection $phi$:




          1. If the number of roots of $f(x)-x$ is not the same as the number of roots of $g(x)-x$, then they are not similar;

          2. For all the roots $x_k$ of $g(x)-x$, look at the similar monic polynomials $g'_k(x)=xh_k(x)$ defined by "bringing the root to the origin" and scaling such that the leading coefficient is $1$. Do the same for $f$. If the resulting monic polynomials are not all the same, then they are not similar.


          I believe these are exhaustive; i.e. if $f$ passes both of these tests, then $fsim g$ with affine $phi$. I am however unable to prove this. If this is true, then it gives us a test for conclusively saying $fsim g$ in the general case.






          share|cite|improve this answer











          $endgroup$



          Edit: In the particular case where we are looking at the Chebyshev polynomials, by definition $T_n(cos x)=cos(nx)$. Hence with $c:[0,pi)to[-1,1),xmapstocos x$ and $m:[0,pi)to[0,pi)$, $xmapsto nx$ mod $pi$, we have $T_ncirc c=ccirc m$, i.e. $T_n=ccirc mcirc c^{-1}$. Therefore $T_nsim m$, which is a linear map. Now $fsim T_n$ iff it is similar to the linear map $xmapsto nx$.





          In general: let's exclusively discuss the case where $phi$ is affine. If $f(x)=sum a_ix^i$, then taking $phi$ to be a translation $xmapsto x-k$, then we have $phi^{-1}circ fcircphi$ to be $f(x-k)+k=sum a_i(x-k)^i+k$. Hence, starting from any polynomial $f$, shifting its graph along the diagonal will always result in a similar function. Furthermore, the choice $phi:xmapsto kx$ will result in the similar function $f(kx)/k$, so we conclude that "shrinking" the graph of $f$ in a ratio-preserving manner will also result in the graph of a similar function.



          Any polynomial of odd degree crosses the diagonal $y=x$ at least once, so bring this point to the origin (obtaining a similar function). By suitable scaling, we conclude that any odd degree polynomial $p(x)$ is similar to $xq(x)$, where $partial qleqpartial p-1$ ($partial$ denotes the degree). Furthermore, it's not hard to show that similar functions must cross the diagonal the same number of times. This gives us several methods to prove that $fnsim g$ by an affine bijection $phi$:




          1. If the number of roots of $f(x)-x$ is not the same as the number of roots of $g(x)-x$, then they are not similar;

          2. For all the roots $x_k$ of $g(x)-x$, look at the similar monic polynomials $g'_k(x)=xh_k(x)$ defined by "bringing the root to the origin" and scaling such that the leading coefficient is $1$. Do the same for $f$. If the resulting monic polynomials are not all the same, then they are not similar.


          I believe these are exhaustive; i.e. if $f$ passes both of these tests, then $fsim g$ with affine $phi$. I am however unable to prove this. If this is true, then it gives us a test for conclusively saying $fsim g$ in the general case.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Feb 4 at 13:42

























          answered Feb 4 at 13:14









          YiFanYiFan

          3,4541425




          3,4541425












          • $begingroup$
            For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
            $endgroup$
            – Will Fisher
            Feb 4 at 13:22










          • $begingroup$
            @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
            $endgroup$
            – YiFan
            Feb 4 at 13:28










          • $begingroup$
            @WillFisher Actually, I think $T_nsim nx$. Check the edit.
            $endgroup$
            – YiFan
            Feb 4 at 13:42










          • $begingroup$
            For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:09












          • $begingroup$
            I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:13




















          • $begingroup$
            For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
            $endgroup$
            – Will Fisher
            Feb 4 at 13:22










          • $begingroup$
            @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
            $endgroup$
            – YiFan
            Feb 4 at 13:28










          • $begingroup$
            @WillFisher Actually, I think $T_nsim nx$. Check the edit.
            $endgroup$
            – YiFan
            Feb 4 at 13:42










          • $begingroup$
            For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:09












          • $begingroup$
            I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
            $endgroup$
            – Will Fisher
            Feb 4 at 17:13


















          $begingroup$
          For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
          $endgroup$
          – Will Fisher
          Feb 4 at 13:22




          $begingroup$
          For polynomials that cross $y=x$ the list is exhaustive because $sim$ is an equivalence relation. Hence by 2 if they are similar to the same thing then they are themselves similar. I don’t know about for polynomials that don’t cross $y=x$ however.
          $endgroup$
          – Will Fisher
          Feb 4 at 13:22












          $begingroup$
          @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
          $endgroup$
          – YiFan
          Feb 4 at 13:28




          $begingroup$
          @WillFisher You're right! But don't all Chebyshev polynomials $T_n$, $ngeq 2$ cross $y=x$ at least once?
          $endgroup$
          – YiFan
          Feb 4 at 13:28












          $begingroup$
          @WillFisher Actually, I think $T_nsim nx$. Check the edit.
          $endgroup$
          – YiFan
          Feb 4 at 13:42




          $begingroup$
          @WillFisher Actually, I think $T_nsim nx$. Check the edit.
          $endgroup$
          – YiFan
          Feb 4 at 13:42












          $begingroup$
          For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
          $endgroup$
          – Will Fisher
          Feb 4 at 17:09






          $begingroup$
          For the Chebyshev case I think you have to be careful. Because if $f:Xto Y$ and $g:Xto Y$ then we are required to have $p:Yto X$. The fact that $T_nsim nxmod pi$ follows when you consider the functions on restricted domains and ranges, but I don't know if the result when considering them as functions on $mathbb{R}$ follows.
          $endgroup$
          – Will Fisher
          Feb 4 at 17:09














          $begingroup$
          I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
          $endgroup$
          – Will Fisher
          Feb 4 at 17:13






          $begingroup$
          I'm pretty sure that if you have $f:Xto Y$ and $g:Xto Y$ and restrict the ranges to get $f^*:Xto f(X)cup g(X)$ and $g^*:Xto f(X)cup g(X)$ then $f^*sim g^*Leftrightarrow fsim g$, but I think restricting domains would require additional hypotheses to get a similar implication.
          $endgroup$
          – Will Fisher
          Feb 4 at 17:13




















          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%2f3049887%2fwhen-is-one-polynomial-similar-to-another%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

          Mario Kart Wii

          What does “Dominus providebit” mean?

          Antonio Litta Visconti Arese