Loyasevichs ojämlikhet

Lojasiewiczs ojämlikhet är en ojämlikhet som fastställts av den polske matematikern Stanisław Lojasiewicz ( polska: Stanisław Łojasiewicz ), som ger en övre gräns för avståndet från en punkt i en godtycklig kompaktmängd till nollnivåmängden för en reell analytisk funktion av många variabler . Denna ojämlikhet har funnit tillämpningar inom olika grenar av matematiken, inklusive verklig algebraisk geometri, analys och teorin om differentialekvationer [1] [2] .

Formulering

Låt funktionen vara verklig analytisk på en icke-tom öppen mängd och låt vara mängden nollor för funktionen . Om mängden är icke-tom, så finns det konstanter för alla icke-tom kompakta mängder och sådana att olikheten

vars antal kan vara ganska stort.

Dessutom, för varje punkt finns det en tillräckligt liten omgivning av den och sådana konstanter och , att den andra Loyasevichs ojämlikhet gäller ː

Det följer uppenbarligen av den andra olikheten att det för varje kritisk punkt i en verklig analytisk funktion finns en grannskap så att funktionen har samma värde vid alla kritiska punkter i denna grannskap.

Litteratur

Anteckningar

  1. V.I. Arnold, Yu.S. Iljasjenko . Vanliga differentialekvationer, Dynamiska system - 1, Itogi Nauki i Tekhniki. Ser. Modern prob. matta. Fundam. riktningar, 1, VINITI, M., 1985 .
  2. Yu. S. Ilyashenko, S. Yu. Yakovenko , Ändligt jämna normala former av lokala familjer av diffeomorfismer och vektorfält, Uspekhi Mat. Nauk, 46:1(277) (1991), 3–39 .