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

Grendel Contents Story Scholarship Depictions Notes References Navigation menu10.1093/notesj/gjn112Berserkeree

Log in Navigation menu

Invalid response line returned from server: HTTP/2 401 | ErrorPlease Please Help With Error 500 Internal Server Error after upgrading from 1.7 to 1.9Unable to place new customer orders in admin backendMagento - For “Manage Categories” Forbidden You do not have permission to access this documentHTTP ERROR 500 when using require(_once) app/Mage.phpMemcached causing Web Setup Wizard ErrorCould not create an acl object: Invalid XMLAn error occurred on the server. Please try to place the order againInvalid response line returned from server: HTTP/2 200 - message after update to 2.1.7Magento-CE 2.3.0 installation error on XamppMagento 2.2.6- After Migration all default Payment Methods are not working fine