Cibrario normální forma

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] .

Související definice

Singulární body

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] .

Zvedání rovnice

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] .

Věta o normálním tvaru

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

tzv. Cibrario normální forma [1] [4] [5] .

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] .

Příklady

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] .

Literatura

Poznámky

  1. 1 2 3 Arnold V. I., Iljašenko Yu. S. Obyčejné diferenciální rovnice, Itogi Nauki i Tekhniki. Ser. Moderní prob. rohož. Fundam. směr, 1985, svazek 1. - kap. 1, odst. 7.
  2. 1 2 Cibrario M. Sulla reduzione a forma canonica delle equazioni lineari alle derivát parzialy di secondo ordine di tipo misto, - Rend. Lombardo 65 (1932), str. 889-906.
  3. 1 2 Remizov A.O. Vícerozměrná Poincarého konstrukce a singularity zvednutých polí pro implicitní diferenciální rovnice, CMFD, 19 (2006), 131–170.
  4. 1 2 3 4 Arnold V.I. Další kapitoly teorie obyčejných diferenciálních rovnic. - ch. 1, odst. čtyři.
  5. 1 2 3 4 Arnold V. I. Geometrické metody v teorii obyčejných diferenciálních rovnic. - ch. 1, odst. čtyři.
  6. Arnold V. I., Afraimovič V. S., Iljašenko Yu. S., Shilnikov L. P. Bifurkační teorie, - Itogi Nauki i Tekhniki. Ser. Moderní prob. rohož. Fundam. směr, 1986, svazek 5