Találj egy explicit ellenpéldát a kétdimenziós Jacobian-sejt...

Prompt

Találj egy explicit ellenpéldát a kétdimenziós Jacobian-sejtésre A cél egy pontosan, explicit ellenpélda felfedezése a kétdimenziós Jacobian-sejtésre \(\mathbb C\) felett. Ne hagyja abba a vizsgálatot pusztán azért, mert a sejtés nyitott, egy jelölt meghiúsul, egy kezdeti keresési tér üres, vagy mert egy ismert tétel látszólag megnehezíti a feladatot. A sejtés státuszának magyarázata nem jelent előrelépést a kért eredmény felé. Végezzen konkrét matematikai munkát. A cél a felfedezés, nem egy már ismert dolog be mutatása Keressen globális polinomokat \(F_1,F_2\in\mathbb C[x,y]\), amelyekre $$ \det J_F(x,y)\equiv1 $$ és léteznek két különböző pont \(p,q\in\mathbb C^2\) úgy, hogy $$ F(p)=F(q). $$ Használja a normalizált alakot $$ F_1(x,y)=x+A(x,y),\qquad F_2(x,y)=y+B(x,y), $$ ahol \(A,B\in(x,y)^2\). Normalizálja az ütközést: $$ p=(0,0),\qquad q=(1,0). $$ Az ütközési feltételek: $$ A(1,0)=-1,\qquad B(1,0)=0. $$ A fennmaradó Jacobian-feltétel a pontos polinomegyezés $$ A_x+B_y+A_xB_y-A_yB_x\equiv0. $$ A végső jelöltnek minden feltételt egyszerre kell kielégítenie. Tartson fenn egy tartós számítási állapotot, amely tartalmazza: Minden jelöltcsaládot és azok matematikai motivációját. Az egyes családokra levezetett pontos egyenleteket. A ténylegesen végrehajtott számítási módszereket. Köztes lemmákat. Minden \(d\ge4\) fokhatárra állítsa elő $$ A(x,y)=\sum_{2\le i+j\le d}a_{ij}x^iy^j,\qquad B(x,y)=\sum_{2\le i+j\le d}b_{ij}x^iy^j. $$ Generálja a teljes együttható-egyenletrendszert az ütközési és Jacobian-feltételekből. Használjon pontos algebrai módszereket, beleértve az eliminációt, Gröbner-bázisokat, faktorizációt, és racionális vagy algebrai-szám-parametrizációkat. Ne keverje össze egy megoldó hibáját, egy véges keresés sikertelenségét vagy egy adott ansatz kudarcát azzal, hogy nincs megoldás. Vizsgáljon lényegesen eltérő megközelítéseket, beleértve: 1. Teljes együttható-illesztés. 2. Ritka támogatások szisztematikusan változtatott monom-mintákkal. 3. Súlyozott fokú és vegyes fokú konstrukciók. 4. Strukturált polinomkompozíciók és koordinátatranszformációk. 5. Elimináción alapuló parametrizációk és redukciók kisebb algebrai rendszerekre. 6. Az előző próbálkozásokból származó következtetések által sugallt további családok. Egy család kudarca után dolgozzon ki legalább öt valóban eltérő következő kísérletet. Mindegyiknek külön matematikai indoklással kell rendelkeznie, nem csupán véletlenszerű együttható-variálással. A vizsgálat csak akkor tekinthető befejezettnek, ha egy explicit jelölt minden pontos ellenőrzési követelményt teljesített. Csak ekkor adja ki: \(F_1(x,y)=[\text{explicit polynomial}]\) \(F_2(x,y)=[\text{explicit polynomial}]\) \(p=(0,0)\) \(q=(1,0)\) Nem kísérheti magyarázat vagy további szöveg egy ellenőrzött eredményt. Ne helyettesítse a kért eredményt a sejtés általános magyarázatával. Folytassa a kutatást, a konkrét matematikai következtetések alapján irányítva minden egyes újabb próbálkozást.