Polynomials that share at least one rootCriteria to determine whether a real-coefficient polynomial has real root?Bound on the real part of roots of a polynomialPolynomials all of whose roots are rationalProbability that random cubic polynomials meet in a squareComputing minimal polynomials using LLLThe space of polynomials with all real rootscounting complex roots which are root of unity times a real numberChanging the signs of the coefficients of a polynomial to make all the roots realPatterns in roots of integer-coefficient polynomialsIs the polynomial $g(t) = sum_q text prime , qle p t^q-2$ for a prime $pge 7$ separable?
Polynomials that share at least one root
Criteria to determine whether a real-coefficient polynomial has real root?Bound on the real part of roots of a polynomialPolynomials all of whose roots are rationalProbability that random cubic polynomials meet in a squareComputing minimal polynomials using LLLThe space of polynomials with all real rootscounting complex roots which are root of unity times a real numberChanging the signs of the coefficients of a polynomial to make all the roots realPatterns in roots of integer-coefficient polynomialsIs the polynomial $g(t) = sum_q text prime , qle p t^q-2$ for a prime $pge 7$ separable?
$begingroup$
This is a generalization of an MSE question,
Polynomials that share at least one root.
Let $P(x)$ be a specific polynomial of degree $d$, with given
real coefficients $A_i$ ($A_d=1$), and real roots:
$$P(x) = x^d + A_d-1x^d-1 + A_d-2x^d-2 + cdots + A_0;. $$
Q. What does the set of
polynomials, with real coefficients $a_i$,
$$p(x) = x^d + a_d-1x^d-1 + a_d-2x^d-2 + cdots + a_0 ;,$$
look like (geometrically) in $mathbbR^d$,
when each $p(x)$ shares at least one root with
$P(x)$?
I am seeking a description of this set in the space of the $d$ coefficients, $(a_0,ldots,a_d-1)$.
The reason there is hope for a nice description, is that it makes
a pretty picture for $d=2$.
Let $P(x) = x^2 + A_1x + A_0$, with $A_1=3$ and $A_0=-1$.
The plot in the $a_0 a_1$-plane
of all other $p(x)= x^2 + a_1x + a_0$ that share a root with $P(x)$,
looks like this:
Lines intersect at $(a_0,a_1)=(-1,3)$. The discriminant is $a_1^2 = 4 a_0$.
All those $(a_0,a_1)$ on the two lines share a root with
$x^2 + 3x -1$. The lines are tangent to the discriminant parabola.
polynomials resultants
$endgroup$
add a comment |
$begingroup$
This is a generalization of an MSE question,
Polynomials that share at least one root.
Let $P(x)$ be a specific polynomial of degree $d$, with given
real coefficients $A_i$ ($A_d=1$), and real roots:
$$P(x) = x^d + A_d-1x^d-1 + A_d-2x^d-2 + cdots + A_0;. $$
Q. What does the set of
polynomials, with real coefficients $a_i$,
$$p(x) = x^d + a_d-1x^d-1 + a_d-2x^d-2 + cdots + a_0 ;,$$
look like (geometrically) in $mathbbR^d$,
when each $p(x)$ shares at least one root with
$P(x)$?
I am seeking a description of this set in the space of the $d$ coefficients, $(a_0,ldots,a_d-1)$.
The reason there is hope for a nice description, is that it makes
a pretty picture for $d=2$.
Let $P(x) = x^2 + A_1x + A_0$, with $A_1=3$ and $A_0=-1$.
The plot in the $a_0 a_1$-plane
of all other $p(x)= x^2 + a_1x + a_0$ that share a root with $P(x)$,
looks like this:
Lines intersect at $(a_0,a_1)=(-1,3)$. The discriminant is $a_1^2 = 4 a_0$.
All those $(a_0,a_1)$ on the two lines share a root with
$x^2 + 3x -1$. The lines are tangent to the discriminant parabola.
polynomials resultants
$endgroup$
8
$begingroup$
Resultant of these polynomials must vanish. So it is an algebraic surface with concrete equation (see en.wikipedia.org/wiki/Resultant )
$endgroup$
– Fedor Petrov
Jul 1 at 23:39
add a comment |
$begingroup$
This is a generalization of an MSE question,
Polynomials that share at least one root.
Let $P(x)$ be a specific polynomial of degree $d$, with given
real coefficients $A_i$ ($A_d=1$), and real roots:
$$P(x) = x^d + A_d-1x^d-1 + A_d-2x^d-2 + cdots + A_0;. $$
Q. What does the set of
polynomials, with real coefficients $a_i$,
$$p(x) = x^d + a_d-1x^d-1 + a_d-2x^d-2 + cdots + a_0 ;,$$
look like (geometrically) in $mathbbR^d$,
when each $p(x)$ shares at least one root with
$P(x)$?
I am seeking a description of this set in the space of the $d$ coefficients, $(a_0,ldots,a_d-1)$.
The reason there is hope for a nice description, is that it makes
a pretty picture for $d=2$.
Let $P(x) = x^2 + A_1x + A_0$, with $A_1=3$ and $A_0=-1$.
The plot in the $a_0 a_1$-plane
of all other $p(x)= x^2 + a_1x + a_0$ that share a root with $P(x)$,
looks like this:
Lines intersect at $(a_0,a_1)=(-1,3)$. The discriminant is $a_1^2 = 4 a_0$.
All those $(a_0,a_1)$ on the two lines share a root with
$x^2 + 3x -1$. The lines are tangent to the discriminant parabola.
polynomials resultants
$endgroup$
This is a generalization of an MSE question,
Polynomials that share at least one root.
Let $P(x)$ be a specific polynomial of degree $d$, with given
real coefficients $A_i$ ($A_d=1$), and real roots:
$$P(x) = x^d + A_d-1x^d-1 + A_d-2x^d-2 + cdots + A_0;. $$
Q. What does the set of
polynomials, with real coefficients $a_i$,
$$p(x) = x^d + a_d-1x^d-1 + a_d-2x^d-2 + cdots + a_0 ;,$$
look like (geometrically) in $mathbbR^d$,
when each $p(x)$ shares at least one root with
$P(x)$?
I am seeking a description of this set in the space of the $d$ coefficients, $(a_0,ldots,a_d-1)$.
The reason there is hope for a nice description, is that it makes
a pretty picture for $d=2$.
Let $P(x) = x^2 + A_1x + A_0$, with $A_1=3$ and $A_0=-1$.
The plot in the $a_0 a_1$-plane
of all other $p(x)= x^2 + a_1x + a_0$ that share a root with $P(x)$,
looks like this:
Lines intersect at $(a_0,a_1)=(-1,3)$. The discriminant is $a_1^2 = 4 a_0$.
All those $(a_0,a_1)$ on the two lines share a root with
$x^2 + 3x -1$. The lines are tangent to the discriminant parabola.
polynomials resultants
polynomials resultants
edited Jul 1 at 23:41
Joseph O'Rourke
asked Jul 1 at 23:32
Joseph O'RourkeJoseph O'Rourke
87.7k16 gold badges247 silver badges725 bronze badges
87.7k16 gold badges247 silver badges725 bronze badges
8
$begingroup$
Resultant of these polynomials must vanish. So it is an algebraic surface with concrete equation (see en.wikipedia.org/wiki/Resultant )
$endgroup$
– Fedor Petrov
Jul 1 at 23:39
add a comment |
8
$begingroup$
Resultant of these polynomials must vanish. So it is an algebraic surface with concrete equation (see en.wikipedia.org/wiki/Resultant )
$endgroup$
– Fedor Petrov
Jul 1 at 23:39
8
8
$begingroup$
Resultant of these polynomials must vanish. So it is an algebraic surface with concrete equation (see en.wikipedia.org/wiki/Resultant )
$endgroup$
– Fedor Petrov
Jul 1 at 23:39
$begingroup$
Resultant of these polynomials must vanish. So it is an algebraic surface with concrete equation (see en.wikipedia.org/wiki/Resultant )
$endgroup$
– Fedor Petrov
Jul 1 at 23:39
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The locus of real polynomials $p(x)$ sharing a root with $P(x)$ is the union of the hyperplanes $H_alpha : p(alpha)=0$, where $alpha$ runs over the roots of $P(x)$. This is an arrangement of hyperplanes.
The intersection of $H_alpha$ with the discriminant variety $D : mathrmdisc(p)=0$ contains the subspace $H^(1)_alpha : p(alpha)=p'(alpha)=0$. In fact $H_alpha$ and $D$ are tangent along $H^(1)_alpha$. To see this, take a generic polynomial $p_0(x)=(x-alpha)^2 q_0(x)$ in $H^(1)_alpha$. Near $p_0$, polynomials in $D$ will be of the form $p(x)=(x-alpha+varepsilon)^2 q(x)$ where $q$ is near $q_0$. Then $p(alpha)=varepsilon^2 q(alpha)$, while the distance from $p_0$ to $p$ is of first order with respect to $varepsilon$.
$endgroup$
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
add a comment |
$begingroup$
I tried to make a 3D image for
$P(x)=x^3+3 x^2-2 x-1$. The set consists of three planes,
each tangent to the discriminant surface.
But it became too visually complex, partly because
the discriminant
is complicated.
For what it's worth:
Discriminant surface: blue.
Perhaps someone can do better...
$endgroup$
2
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
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%2fmathoverflow.net%2fquestions%2f335232%2fpolynomials-that-share-at-least-one-root%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The locus of real polynomials $p(x)$ sharing a root with $P(x)$ is the union of the hyperplanes $H_alpha : p(alpha)=0$, where $alpha$ runs over the roots of $P(x)$. This is an arrangement of hyperplanes.
The intersection of $H_alpha$ with the discriminant variety $D : mathrmdisc(p)=0$ contains the subspace $H^(1)_alpha : p(alpha)=p'(alpha)=0$. In fact $H_alpha$ and $D$ are tangent along $H^(1)_alpha$. To see this, take a generic polynomial $p_0(x)=(x-alpha)^2 q_0(x)$ in $H^(1)_alpha$. Near $p_0$, polynomials in $D$ will be of the form $p(x)=(x-alpha+varepsilon)^2 q(x)$ where $q$ is near $q_0$. Then $p(alpha)=varepsilon^2 q(alpha)$, while the distance from $p_0$ to $p$ is of first order with respect to $varepsilon$.
$endgroup$
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
add a comment |
$begingroup$
The locus of real polynomials $p(x)$ sharing a root with $P(x)$ is the union of the hyperplanes $H_alpha : p(alpha)=0$, where $alpha$ runs over the roots of $P(x)$. This is an arrangement of hyperplanes.
The intersection of $H_alpha$ with the discriminant variety $D : mathrmdisc(p)=0$ contains the subspace $H^(1)_alpha : p(alpha)=p'(alpha)=0$. In fact $H_alpha$ and $D$ are tangent along $H^(1)_alpha$. To see this, take a generic polynomial $p_0(x)=(x-alpha)^2 q_0(x)$ in $H^(1)_alpha$. Near $p_0$, polynomials in $D$ will be of the form $p(x)=(x-alpha+varepsilon)^2 q(x)$ where $q$ is near $q_0$. Then $p(alpha)=varepsilon^2 q(alpha)$, while the distance from $p_0$ to $p$ is of first order with respect to $varepsilon$.
$endgroup$
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
add a comment |
$begingroup$
The locus of real polynomials $p(x)$ sharing a root with $P(x)$ is the union of the hyperplanes $H_alpha : p(alpha)=0$, where $alpha$ runs over the roots of $P(x)$. This is an arrangement of hyperplanes.
The intersection of $H_alpha$ with the discriminant variety $D : mathrmdisc(p)=0$ contains the subspace $H^(1)_alpha : p(alpha)=p'(alpha)=0$. In fact $H_alpha$ and $D$ are tangent along $H^(1)_alpha$. To see this, take a generic polynomial $p_0(x)=(x-alpha)^2 q_0(x)$ in $H^(1)_alpha$. Near $p_0$, polynomials in $D$ will be of the form $p(x)=(x-alpha+varepsilon)^2 q(x)$ where $q$ is near $q_0$. Then $p(alpha)=varepsilon^2 q(alpha)$, while the distance from $p_0$ to $p$ is of first order with respect to $varepsilon$.
$endgroup$
The locus of real polynomials $p(x)$ sharing a root with $P(x)$ is the union of the hyperplanes $H_alpha : p(alpha)=0$, where $alpha$ runs over the roots of $P(x)$. This is an arrangement of hyperplanes.
The intersection of $H_alpha$ with the discriminant variety $D : mathrmdisc(p)=0$ contains the subspace $H^(1)_alpha : p(alpha)=p'(alpha)=0$. In fact $H_alpha$ and $D$ are tangent along $H^(1)_alpha$. To see this, take a generic polynomial $p_0(x)=(x-alpha)^2 q_0(x)$ in $H^(1)_alpha$. Near $p_0$, polynomials in $D$ will be of the form $p(x)=(x-alpha+varepsilon)^2 q(x)$ where $q$ is near $q_0$. Then $p(alpha)=varepsilon^2 q(alpha)$, while the distance from $p_0$ to $p$ is of first order with respect to $varepsilon$.
answered Jul 2 at 2:46
François BrunaultFrançois Brunault
14.2k2 gold badges38 silver badges75 bronze badges
14.2k2 gold badges38 silver badges75 bronze badges
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
add a comment |
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
$begingroup$
Beautifully clear description--Thanks!
$endgroup$
– Joseph O'Rourke
Jul 2 at 10:42
add a comment |
$begingroup$
I tried to make a 3D image for
$P(x)=x^3+3 x^2-2 x-1$. The set consists of three planes,
each tangent to the discriminant surface.
But it became too visually complex, partly because
the discriminant
is complicated.
For what it's worth:
Discriminant surface: blue.
Perhaps someone can do better...
$endgroup$
2
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
add a comment |
$begingroup$
I tried to make a 3D image for
$P(x)=x^3+3 x^2-2 x-1$. The set consists of three planes,
each tangent to the discriminant surface.
But it became too visually complex, partly because
the discriminant
is complicated.
For what it's worth:
Discriminant surface: blue.
Perhaps someone can do better...
$endgroup$
2
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
add a comment |
$begingroup$
I tried to make a 3D image for
$P(x)=x^3+3 x^2-2 x-1$. The set consists of three planes,
each tangent to the discriminant surface.
But it became too visually complex, partly because
the discriminant
is complicated.
For what it's worth:
Discriminant surface: blue.
Perhaps someone can do better...
$endgroup$
I tried to make a 3D image for
$P(x)=x^3+3 x^2-2 x-1$. The set consists of three planes,
each tangent to the discriminant surface.
But it became too visually complex, partly because
the discriminant
is complicated.
For what it's worth:
Discriminant surface: blue.
Perhaps someone can do better...
answered Jul 2 at 12:33
community wiki
Joseph O'Rourke
2
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
add a comment |
2
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
2
2
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
$begingroup$
I just came across nice pictures and much additional information in these notes: math.rug.nl/~top/lectures/Banff2010.pdf
$endgroup$
– François Brunault
Jul 2 at 13:00
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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%2fmathoverflow.net%2fquestions%2f335232%2fpolynomials-that-share-at-least-one-root%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
8
$begingroup$
Resultant of these polynomials must vanish. So it is an algebraic surface with concrete equation (see en.wikipedia.org/wiki/Resultant )
$endgroup$
– Fedor Petrov
Jul 1 at 23:39