Système du 18.8.2018

$E1: x^3y-y^4=a^2$
$E2 : x^2y+2xy^2+y^3=b^2$
à résoudre sur les réels. $a$ et $b$ sont deux paramètres réels.

Je n'y arrive pas.
La seconde équation implique que $y$ est positif.
Remplacer $y$ par $z$ donne
$E1' : \;...\;$
$E2' : (z^3+x z+b)(z^3-x z+b)=0$

Réponses

  • Ça ne me paraît pas très étonnant : pour $a=b=1$, les polynômes minimaux de l'abscisse et de l'ordonnée de la solution réelle sont de degré 9.
    R.<x,y> = PolynomialRing(QQ,2)
    [color=#0000FF]e1[/color], [color=#FF9900]e2[/color] = x^3*y-y^4-1, x^2*y+2*x*y^2+y^3-1
    I = R.ideal([e1,e2])
    D = I.variety(AA)[0]; print D
    x0, y0 = x.change_ring(AA).subs(I.variety(AA)[0]),y.change_ring(AA).subs(I.variety(AA)[0])
    x0.minpoly(), y0.minpoly()
    
    Sortie = valeur approchée des coordonnées de la solution réelle [le point d'interrogation indique qu'il s'agit d'un nombre algébrique] et leurs polynômes minimaux :
    {x: 1.479530679728058?, y: 0.3116787887357698?}
    (x^9 - x^8 + 3/4*x^6 - 7/4*x^5 - x^4 + 3/4*x^3 - 3*x^2 + 2*x - 1/2,
     x^9 + 3/4*x^6 + x^5 + 3/4*x^3 + 3/2*x^2 + 1/4*x - 1/4)
    
    Pour $a$ et $b$ « formels » (j'ai supprimé le carré) :
    R.<x,y,a,b> = PolynomialRing(QQ,4)
    e1, e2 = x^3*y-y^4-a, x^2*y+2*x*y^2+y^3-b
    I = R.ideal([e1,e2])
    I.elimination_ideal([y]).gens()[0];I.elimination_ideal([x]).gens()[0]
    
    donne
    4*x^9*b - 4*x^8*a + 3*x^6*b^2 - 7*x^5*a*b - 4*x^4*a^2 + 3*x^3*b^3 - 12*x^2*a*b^2 + 8*x*a^2*b - b^4 - a^3
    4*y^9 + 3*y^6*b + 4*y^5*a + 3*y^3*b^2 + 6*y^2*a*b + y*a^2 - b^3
    
    NB : Le fait que ce soit de degré $9$ et pas $12$ suggère qu'il se passe quelque chose. Quand on homogénéise, c'est-à-dire quand on considère $(x^3y-y^4-az^4,x^2y+2xy^2+y^3-bz^3)\subset \Q[x,y,z]$, l'idéal d'élimination de $y$ est bien engendré par un polynôme de degré $12$, celui de $x$ par un polynôme de degré $9$, celui de $z$ par un polynôme de degré $10$. Est-ce que c'est lié au fait que les courbes sont tangentes à l'infini en $[1:0:0]$ (deuxième figure) ?79252
  • Bonjour,

    Voici une résolution de ce système.

    Sans perte de generalité, on suppose $\displaystyle a,b\geq 0$.
    On réécrit le système sous la forme $\displaystyle y(x-y)|x+jy|^2=a^2, y(x+y)^2=b^2.$

    Cas $\displaystyle a=b=0$ :
    On trouve sans peine $\displaystyle x\in\R, y=0.$

    Cas $\displaystyle a=0,b>0$ :
    On trouve sans peine $\displaystyle x=y=(b^2/4)^{1/3}.$

    Cas $\displaystyle a>0,b=0$ :
    On trouve sans peine $\emptyset.$

    Cas $\displaystyle a>0,b>0 $ :
    On suppose $x=0$. Et alors la première équation donne $\displaystyle -y^4=b^2$ : contradiction.
    On pose alors $\displaystyle t=y/x.$ Et les équations deviennent $\displaystyle x^4 t(1-t^3)=a^2, x^3t(1+t)^2=b^2.$
    On en déduit que nécessairement $\displaystyle 0<t<1$ et par substitution en exprimant $\displaystyle x^{12}$ de deux façons on trouve $\displaystyle F(t)={t(1+t)^8\over (1-t^3)^3}={b^8\over a^6}$. Une simple étude de la fonction $F$, qui est définie, continue et dérivable sur $\displaystyle 0<t<1$ montre que $\displaystyle F’(t)={(1+9t+8t^3)(1+t)^7\over (1-t^3)^4} >0$ et avec $\displaystyle F(0)=0$ (prolongée par continuité) on conclut qu’il existe une et une seule solution $\displaystyle c>0$ vérifiant $\displaystyle F(c)={b^8\over a^6}$.
    On trouve donc $\displaystyle x=(b^2/(c(1+c)^2))^{1/3}, y = c x$ où $c$ est l’unique solution telle que $ \displaystyle c(1+c)^8/(1-c^3)^3=b^8/a^6.$
  • Merci à tous les deux.
    L'idée de concentrer tous les ennuis dans
    $
    c(1+c)^8/(1-c^3)^3 = b^8/a^6
    $
    me plait.
Connectez-vous ou Inscrivez-vous pour répondre.