Normální forma Cibrario je normální forma diferenciální rovnice, která není řešena s ohledem na derivaci v blízkosti nejjednoduššího singulárního bodu. Název navrhl V. I. Arnold na počest italského matematika Maria Cibrario , který zavedl tento normální tvar pro jednu třídu rovnic [1] [2] [3] .
Nechť má diferenciální rovnice tvar
kde
Předpokládá se, že funkce je reálná, hladká třída (nebo analytická ) v souhrnu všech tří proměnných. Singulárními body takové rovnice jsou body trojrozměrného prostoru se souřadnicemi ležícími na ploše dané rovnicí , ve kterých derivace mizí, tj. průmět plochy do roviny proměnných ve směru osy je nepravidelný. V obecném případě tvoří množina singulárních bodů křivku na povrchu, nazývanou criminant . Projekce criminanta na rovinu se nazývá diskriminační křivka , její body se také často nazývají singulární body rovnice, i když je možná nepřesnost: při promítání různých bodů povrchu může stejný bod roviny proměnných odpovídat [ 1] [4] [5] .
Diferenciální vztah definuje pole kontaktních rovin v prostoru . Průsečík styčných rovin s rovinami tečnými k povrchu definuje pole směrů na povrchu (definované ve všech bodech, kde se styčné a tečné roviny vzájemně neshodují). Integrální křivky takto zkonstruovaného pole jsou 1-grafy řešení původní rovnice a jejich průměty do roviny jsou grafy řešení [4] [5]
Popsaná konstrukce studia rovnic, které nejsou vyřešeny s ohledem na derivaci, sahá až do třetí monografie A. Poincarého „O křivkách definovaných diferenciálními rovnicemi“ (1885); v moderní matematické literatuře se tomu často říká zvedání rovnice na povrch [3] .
Nejjednodušší singulární body rovnice jsou tzv. pravidelné singulární body, ve kterých má projekce singularitu zvanou Whitney fold a kontaktní rovina se nedotýká povrchu. To je ekvivalentní splnění následujících podmínek při a daný bod:
Věta . V okolí pravidelného singulárního bodu je rovnice s hladkou (nebo analytickou) funkcí hladce (respektive analytickou) ekvivalentní rovnici |
V roce 1932 Cibrario získal tuto normální formu zkoumáním charakteristik parciální diferenciální rovnice druhého řádu smíšeného typu [2] .
Normální forma Cibrario je charakteristická rovnice pro Tricomiho rovnici
,
patřící k eliptickému typu v polorovině a hyperbolickému typu v polorovině .
Rovnice je snadno integrovatelná: grafy jejích řešení tvoří rodinu semikubických parabol [4] [5]
vyplňující polorovinu , jejíž vrcholové body leží na diskriminační křivce - ose .
Asymptotické čáry dvourozměrného povrchu v euklidovském prostoru vypadají podobně v okolí typického parabolického bodu . Normální forma Cibrario také odpovídá nejjednodušším vlastnostem zpomaleného pole v rychlých a pomalých dynamických systémech [6] .
Odvětví matematiky | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Portál "Věda" | ||||||||||
Základy matematiky teorie množin matematická logika algebra logiky | ||||||||||
Teorie čísel ( aritmetika ) | ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
|