Loyasevichin epätasa-arvo

Lojasiewiczin epäyhtälö on puolalaisen matemaatikon Stanisław Lojasiewiczin ( puola: Stanisław Łojasiewicz ) laatima epäyhtälö, joka antaa ylärajan etäisyydelle mielivaltaisen kompaktin joukon pisteestä monien muuttujien todellisen analyyttisen funktion nollatasojoukkoon. . Tämä epäyhtälö on löytänyt sovelluksia matematiikan eri aloilla, mukaan lukien todellinen algebrallinen geometria, analyysi ja differentiaaliyhtälöiden teoria [1] [2] .

Sanamuoto

Olkoon funktio todellinen analyyttinen ei-tyhjällä avoimella joukolla ja olkoon funktion nollien joukko . Jos joukko on ei -tyhjä, niin mille tahansa ei-tyhjälle kompaktille joukolle on olemassa vakioita ja sellaisia, että epäyhtälö

joiden määrä voi olla melko suuri.

Lisäksi mille tahansa pisteelle on olemassa riittävän pieni sen naapuruus ja sellaiset vakiot ja , että toinen Lojasevitšin epäyhtälö pätee ː

Toisesta epäyhtälöstä seuraa ilmeisesti, että todellisen analyyttisen funktion jokaiselle kriittiselle pisteelle on olemassa sellainen naapuruus, että funktio saa saman arvon kaikissa kriittisissä pisteissä tässä ympäristössä.

Kirjallisuus

Muistiinpanot

  1. V.I. Arnold, Yu.S. Iljashenko . Tavalliset differentiaaliyhtälöt, Dynaamiset järjestelmät - 1, Itogi Nauki i Tekhniki. Ser. Moderni prob. matto. Fundam. ohjeet, 1, VINITI, M., 1985 .
  2. Yu. S. Ilyashenko, S. Yu. Yakovenko, Finitely sileä normaalimuodot paikallisten diffeomorfismien perheiden ja vektorikenttien, Uspekhi Mat. Nauk, 46:1(277) (1991), 3-39 .