Lojasevics egyenlőtlensége

A Lojasiewicz - egyenlőtlenség egy Stanisław Lojasiewicz lengyel matematikus ( lengyelül: Stanisław Łojasiewicz ) által felállított egyenlőtlenség, amely egy tetszőleges kompakt halmaz pontjától egy sok változóból álló valós analitikus függvény nullaszintű halmaza közötti távolság felső korlátját adja meg. . Ezt az egyenlőtlenséget a matematika különböző ágaiban alkalmazták, beleértve a valós algebrai geometriát, az elemzést és a differenciálegyenletek elméletét [1] [2] .

Megfogalmazás

Legyen a függvény valódi analitikus egy nem üres nyitott halmazon , és legyen a függvény nullák halmaza . Ha a halmaz nem üres, akkor minden nem üres kompakt halmazhoz léteznek állandók és olyanok, hogy az egyenlőtlenség

amelyek száma meglehetősen nagy lehet.

Ezen túlmenően bármely ponthoz van egy kellően kicsi szomszédsága és olyan állandók és , hogy a második Lojasevics-egyenlőtlenség teljesül ː

A második egyenlőtlenségből nyilvánvalóan következik, hogy egy valós analitikus függvény minden kritikus pontjához létezik olyan szomszédság, amelyben a függvény minden kritikus pontján ugyanazt az értéket veszi fel.

Irodalom

Jegyzetek

  1. V.I. Arnold, Yu.S. Iljasenko . Közönséges differenciálegyenletek, Dinamikus rendszerek - 1, Itogi Nauki i Tekhniki. Ser. Modern prob. mat. Fundam. irányok, 1, VINITI, M., 1985 .
  2. Yu. S. Ilyashenko, S. Yu. Yakovenko, Finitely smooth normal forms of local diffeomorphisms and vektor fields, Uspekhi Mat. Nauk, 46:1(277) (1991), 3–39 .