When is One Polynomial “Similar” to Another
$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.
real-analysis functional-analysis
$endgroup$
add a comment |
$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.
real-analysis functional-analysis
$endgroup$
add a comment |
$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.
real-analysis functional-analysis
$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
real-analysis functional-analysis
edited Jan 16 at 16:41
Will Fisher
asked Dec 22 '18 at 22:19
Will FisherWill Fisher
4,0381032
4,0381032
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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$:
- 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;
- 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.
$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
|
show 1 more comment
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$:
- 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;
- 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.
$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
|
show 1 more comment
$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$:
- 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;
- 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.
$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
|
show 1 more comment
$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$:
- 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;
- 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.
$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$:
- 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;
- 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.
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
|
show 1 more comment
$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
|
show 1 more comment
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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