Hilbert-Arnold-problemet i teorien om dynamiske systemer hører til klassen af problemer relateret til estimering af antallet af grænsecyklusser . Det er påkrævet at bevise, at i en typisk finite-parameter familie af glatte vektorfelter på en kugle med en kompakt base af parametre, er antallet af grænsecyklusser ensartet afgrænset over alle værdier af parameteren. Dette problem er historisk relateret til Hilberts 16. problem . I øjeblikket (2009) er kun nogle forenklede versioner af Hilbert- Arnold -problemet blevet løst .
Husk en af varianterne af Hilberts 16. problem. Overvej et system af polynomielle differentialligninger i planet
(*) |
hvor og er polynomier af højst grad .
Opgave (Hilberts eksistentielle problem). Bevis, at der for hver findes et tal , således at ethvert system af formen (*) højst har grænsecyklusser.Tallene kaldes Hilbert-numre for grænsecyklusser .
Til det følgende vil det være praktisk for os at gå over til et kompakt faserum og en kompakt parameterbase. For at gøre dette bruger vi et trick kendt som Poincaré-komprimering . Ved at udvide det polynomielle vektorfelt på planet til et analytisk retningsfelt på det projektive plan komprimerer vi parameterbasen, og derefter ved hjælp af den centrale projektion af kuglen på det projektive plan får vi det analytiske retningsfelt på kuglen (med en begrænset antal ental punkter). I rummet af alle analytiske retningsfelter på kuglen udskilles en finit-parameter familie af felter med en kompakt base af parametre genereret af polynomielle systemer af en given grad. I dette tilfælde bliver Hilberts eksistentielle problem et specialtilfælde af følgende (stærkere) hypotese:
Problem (Problem med global endelighed). I enhver finit-parametrisk analytisk familie af analytiske vektorfelter på en kugle med en kompakt parameterbase er antallet af grænsecyklusser ensartet afgrænset for alle værdier af parameteren .Polynomiske vektorfelter er et naturligt eksempel på en finit parameterfamilie, og på tidspunktet for Hilberts 16. problem var dette sandsynligvis den eneste eksplicitte familie af sin slags kendte. Men tilgange ændrede sig over tid, og matematikernes opmærksomhed begyndte at blive tiltrukket af spørgsmål, ikke om en bestemt familie, men om egenskaberne for typiske familier fra en bestemt klasse. I løbet af arbejdet med gennemgangen [ AAIS ] (1986) foreslog V. I. Arnold at overveje familier med finite parameter af glatte vektorfelter og formulerede adskillige formodninger om dette emne.
Hvilke meningsfulde spørgsmål kan stilles om grænsecyklusser i typiske finite-parameter familier? Det er klart, at en direkte analog til Hilberts 16. problem ikke giver mening i dette tilfælde: et typisk glat system på en kugle kan have et vilkårligt stort antal hyperbolske grænsecyklusser, der ikke ødelægges af en lille forstyrrelse, hvilket betyder, at man spørger om en øvre grænse. på antallet af grænsecyklusser i en typisk familie meningsløst. En glat analog af den globale finitetsformodning giver dog mening. Det blev formuleret eksplicit af Yu. S. Ilyashenko [ I94 ] og blev kaldt Hilbert-Arnold-problemet :
Problem (Hilbert-Arnold problem). I enhver typisk finite-parameter familie af glatte vektorfelter på en kugle med en kompakt parameterbase er antallet af grænsecyklusser ensartet afgrænset for alle værdier af parameteren.Analytiske familier er meget vanskelige at studere - for eksempel tillader de ikke lokale forstyrrelser i nærheden af et punkt, så der er ingen grund til at tro, at løsningen af Hilbert-Arnold-problemet alene vil give os mulighed for at bevise den globale finitetshypotese , og dermed det 16. Hilbert-problem. Forskerne mener dog, at studiet af glatte vektorfelter kan give nyttige ideer om det 16. problem og også repræsenterer et selvstændigt meningsfuldt problem.
På grund af kompaktheden af parameterbasen og faserummet kan vi reducere Hilbert-Arnold-problemet til det lokale problem med at studere bifurkationer af specielle degenererede vektorfelter. Lad os huske de nødvendige definitioner.
Definition. En polycyklus af et vektorfelt er et cyklisk nummereret sæt af entalspunkter (eventuelt med gentagelser) og et sæt buer af fasekurver (uden gentagelser), der successivt forbinder de angivne entalspunkter - det vil sige, buen forbinder punkterne og , hvor , .Lad os definere "cykliciteten af en polycyklus", det vil sige antallet af grænsecyklusser, der fødes under dens bifurkation:
Definition. Overvej en familie af vektorfelter . Lad for systemet have en polycyklus . Cycliciteten af en polycyklus i en familie er et så minimalt tal , at der er et sådant kvarter af polycyklen og et sådant kvarter af den kritiske værdi af parameteren ( ), at der for alle i domænet samtidig ikke eksisterer mere end grænsecyklusser, og Hausdorff-afstanden mellem disse cyklusser og har en tendens til nul ved .Således afhænger cyklicitet ikke kun af vektorfeltet, der indeholder polycyklussen, men også af familien, hvori den er inkluderet.
Definition. Bifurkationstallet er den maksimale cyklicitet af en ikke-triviel polycyklus i en typisk -parametrisk familie af glatte vektorfelter på en kugle.Definitionen af bifurkationstallet afhænger ikke længere af familien, men kun af parameterrummets dimension. Lad os formulere det lokale Hilbert-Arnold problem :
En opgave. Bevis, at for hver der findes , og find en eksplicit øvre grænse.Det følger af kompakthedsovervejelser, at hvis antallet af grænsecyklusser i en bestemt familie ikke er begrænset, så skal de akkumuleres til en eller anden polycyklus, som dermed har uendelig cyklicitet. Løsningen af det lokale Hilbert-Arnold-problem medfører således løsningen af det globale.
Det lokale Hilbert-Arnold problem er løst for og ( , ). For der er en løsningsstrategi, men den er i øjeblikket ikke afsluttet. At anvende den samme strategi til evaluering synes at være en fuldstændig håbløs opgave. Hovedresultaterne på dette område for vilkårlige blev opnået for en forenklet version af det lokale Hilbert-Arnold-problem, hvor kun polycykler, der kun indeholder elementære entalspunkter, betragtes.
Definition. Et singulærpunkt kaldes elementært , hvis dets lineariseringsmatrix har mindst én egenværdi , der ikke er nul . En polycyklus kaldes elementær , hvis alle dens toppunkter er elementære entalspunkter.Et elementært bifurkationsnummer er den maksimale cyklicitet af en elementær polycyklus i en typisk -parametrisk familie.
Sætning (Yu. S. Ilyashenko, S. Yu. Yakovenko, 1995 [ IYa ]). For alle eksisterer . Sætning (V. Yu. Kaloshin, 2003 [ K ]). For hver er estimatet sandt .David Hilberts bidrag til videnskaben | |
---|---|
mellemrum | |
aksiomatik | Hilberts aksiomatiske |
Sætninger | |
Operatører | |
Generel relativitetsteori | |
Andet |