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

Get product attribute by attribute group code in magento 2get product attribute by product attribute group in magento 2Magento 2 Log Bundle Product Data in List Page?How to get all product attribute of a attribute group of Default attribute set?Magento 2.1 Create a filter in the product grid by new attributeMagento 2 : Get Product Attribute values By GroupMagento 2 How to get all existing values for one attributeMagento 2 get custom attribute of a single product inside a pluginMagento 2.3 How to get all the Multi Source Inventory (MSI) locations collection in custom module?Magento2: how to develop rest API to get new productsGet product attribute by attribute group code ( [attribute_group_code] ) in magento 2

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

Magento 2.3: How do i solve this, Not registered handle, on custom form?How can i rewrite TierPrice Block in Magento2magento 2 captcha not rendering if I override layout xmlmain.CRITICAL: Plugin class doesn't existMagento 2 : Problem while adding custom button order view page?Magento 2.2.5: Overriding Admin Controller sales/orderMagento 2.2.5: Add, Update and Delete existing products Custom OptionsMagento 2.3 : File Upload issue in UI Component FormMagento2 Not registered handleHow to configured Form Builder Js in my custom magento 2.3.0 module?Magento 2.3. How to create image upload field in an admin form