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
![f:U\to \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05f481901ff501baa824d1eab35eba6d9410ba57)
![U\subset \mathbb{R} ^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1caefb347c86337ea7cd0c354acd2294bd7d81d)
![Z=\{x\in U:f(x)=0\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10b1eeda67c400f46c20c31d0b668b739ea13cd8)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![K\delmängd U](https://wikimedia.org/api/rest_v1/media/math/render/svg/535ed682dca3a92174f9efae55ca7ddd073567c6)
![\alpha \geq 2](https://wikimedia.org/api/rest_v1/media/math/render/svg/be8fc8f0b74bf5629d672d0d1d73719fc1618c6e)
![C>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/c84d4126c6df243734f9355927c026df6b0d3859)
vars antal kan vara ganska stort.
![\alfa](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
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 ː
![p\in U](https://wikimedia.org/api/rest_v1/media/math/render/svg/66f04c97c84237ad610995f15df5cd7fd0034d3e)
![W\delmängd U](https://wikimedia.org/api/rest_v1/media/math/render/svg/1772f102c81d4bbf8598076cb817505fde66ceae)
![0<\beta<1](https://wikimedia.org/api/rest_v1/media/math/render/svg/5823463cddbbeea88e7e3a68c879cc6f391f7e4b)
![C>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/c84d4126c6df243734f9355927c026df6b0d3859)
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
- Tobias Holck Colding, William P. Minicozzi II , Lojasiewicz ojämlikheter och tillämpningar, arXiv:1402.5087 Arkiverad 21 januari 2022 på Wayback Machine
- Malgrange B. Ideal för differentierbara funktioner. — M.: Mir, 1968.
- Bierstone, Edward & Milman, Pierre D. (1988), Semianalytic and subanalytic sets , Publications Mathématiques de l'IHÉS (nr 67): 5–42, MR : 972342 , ISSN 1618-1913 , < http://www. numdam.org/item?id=PMIHES_1988__67__5_0 > Arkiverad 8 augusti 2014 på Wayback Machine
- Ji, Shanyu; Kollár, János & Shiffman, Bernard (1992), A global Łojasiewicz ojämlikhet för algebraiska varieteter , Transactions of the American Mathematical Society vol 329 (2 ) : 813–818 , MR : 1046016 , < http://www.ams.org . /journals/tran/1992-329-02/S0002-9947-1992-1046016-6/ > Arkiverad 1 november 2015 på Wayback Machine
Anteckningar
- ↑ 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 .
- ↑ 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 .