Cibrario normál forma

A Cibrario normálalakja egy differenciálegyenlet normálalakja, amely a legegyszerűbb szinguláris pont közelében lévő deriválthoz képest nincs megoldva. A nevet V. I. Arnold javasolta Maria Cibrario olasz matematikus tiszteletére , aki egy egyenletosztályra létrehozta ezt a normálformát [1] [2] [3] .

Kapcsolódó definíciók

Szinguláris pontok

Legyen a differenciálegyenlet alakja

ahol

Feltételezzük, hogy a függvény valós, sima osztály (vagy analitikus ) mindhárom változó összességében. Egy ilyen egyenlet szinguláris pontjai a háromdimenziós tér olyan pontjai, amelyek koordinátái az egyenlet által megadott felületen helyezkednek el , és amelyeknél a derivált eltűnik, azaz a felületnek a változók síkjára való vetülete a tengely iránya mentén szabálytalan. Általános esetben a szinguláris pontok halmaza görbét képez a felületen, amelyet kriminánsnak nevezünk . A krimináns síkra vetítését diszkriminanciagörbének nevezzük , pontjait gyakran az egyenlet szinguláris pontjainak is nevezik, bár lehetséges pontatlanság: a felület különböző pontjainak vetítésekor a változók síkjának ugyanaz a pontja felelhet meg [ 1] [4] [5] .

Az egyenlet felemelése

A differenciális reláció határozza meg az érintkezési síkok mezőjét a térben . Az érintkezési síkok metszéspontja a felületet érintő síkokkal egy iránymezőt határoz meg a felületen (minden olyan ponton, ahol az érintkezési és érintősík nem esik egybe). Az így megszerkesztett mező integrálgörbéi az eredeti egyenlet megoldásainak 1-gráfjai, síkra vetített vetületei pedig a megoldások grafikonjai [4] [5]

A derivált tekintetében fel nem oldott egyenletek tanulmányozásának leírt felépítése A. Poincaré harmadik emlékiratához nyúlik vissza, „A differenciálegyenletek által meghatározott görbékről” (1885); a modern matematikai irodalomban gyakran nevezik egy egyenlet felszínre emelésének [3] .

A normálforma tétel

Az egyenlet legegyszerűbb szinguláris pontjai az úgynevezett reguláris szinguláris pontok, amelyeknél a vetületnek van egy Whitney -hajtásnak nevezett szingularitása , és az érintkezési sík nem érinti a felületet. Ez egyenértékű az alábbi feltételek teljesülésével adott pont:

Tétel . Egy szabályos szinguláris pont közelében egy sima (vagy analitikus) függvényt tartalmazó egyenlet simán (illetve analitikus) ekvivalens az egyenlettel.

Cibrario normálformának nevezik [1] [4] [5] .

1932-ben Cibrario egy vegyes típusú másodrendű parciális differenciálegyenlet jellemzőinek vizsgálatával kapta meg ezt a normálformát [2] .

Példák

A Cibrario normálforma a Tricomi-egyenlet jellemző egyenlete

,

félsíkban az elliptikus típushoz, félsíkban a hiperbolikus típushoz tartozó .

Az egyenlet könnyen integrálható: megoldásainak grafikonjai félköbös parabolák családját alkotják [4] [5]

kitöltve a félsíkot , amelynek csúcspontjai a diszkriminanciagörbén helyezkednek el - a tengelyen .

Egy kétdimenziós felület aszimptotikus vonalai az euklideszi térben hasonlónak tűnnek egy tipikus parabolapont közelében . A Cibrario normálforma a lassított mozgástér legegyszerűbb jellemzőinek is megfelel a gyors-lassú dinamikus rendszerekben [6] .

Irodalom

Jegyzetek

  1. 1 2 3 Arnold V. I., Ilyashenko Yu. S. Rendes differenciálegyenletek, Itogi Nauki i Tekhniki. Ser. Modern prob. mat. Fundam. rendezés, 1985, 1. kötet. - ch. 1, par. 7.
  2. 1 2 Cibrario M. Sulla reduzione a forma canonica delle equazioni lineari alle derivative parzialy di secondo ordine di tipo misto, - Rend. Lombardo 65 (1932), pp. 889-906.
  3. 1 2 Remizov A.O. Többdimenziós Poincaré-konstrukció és emelt mezők szingularitásai implicit differenciálegyenletekhez, CMFD, 19 (2006), 131–170.
  4. 1 2 3 4 Arnold V. I. A közönséges differenciálegyenletek elméletének további fejezetei. - ch. 1, par. négy.
  5. 1 2 3 4 Arnold V. I. Geometriai módszerek a közönséges differenciálegyenletek elméletében. - ch. 1, par. négy.
  6. Arnold V. I., Afraimovich V. S., Ilyashenko Yu. S., Shilnikov L. P. Bifurcation Theory, - Itogi Nauki i Tekhniki. Ser. Modern prob. mat. Fundam. rendezés, 1986, 5. kötet