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?













9












$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.








share|cite|improve this question











$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















9












$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.








share|cite|improve this question











$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













9












9








9


1



$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.








share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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












  • 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










2 Answers
2






active

oldest

votes


















9












$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$.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Beautifully clear description--Thanks!
    $endgroup$
    – Joseph O'Rourke
    Jul 2 at 10:42



















2












$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:




         
enter image description here

         

Discriminant surface: blue.


Perhaps someone can do better...




share|cite|improve this answer











$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













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
);



);













draft saved

draft discarded


















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









9












$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$.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Beautifully clear description--Thanks!
    $endgroup$
    – Joseph O'Rourke
    Jul 2 at 10:42
















9












$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$.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    Beautifully clear description--Thanks!
    $endgroup$
    – Joseph O'Rourke
    Jul 2 at 10:42














9












9








9





$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$.






share|cite|improve this answer









$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$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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

















  • $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












2












$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:




         
enter image description here

         

Discriminant surface: blue.


Perhaps someone can do better...




share|cite|improve this answer











$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















2












$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:




         
enter image description here

         

Discriminant surface: blue.


Perhaps someone can do better...




share|cite|improve this answer











$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













2












2








2





$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:




         
enter image description here

         

Discriminant surface: blue.


Perhaps someone can do better...




share|cite|improve this answer











$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:




         
enter image description here

         

Discriminant surface: blue.


Perhaps someone can do better...





share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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












  • 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

















draft saved

draft discarded
















































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.




draft saved


draft discarded














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





















































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

Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?