Fizika · Straipsnis

Bifurkacijos ir kokybiniai pokyčiai

Keiskite pateikto tikslaus modelio fiksuotą valdymo parametrą, sekite jo pusiausvyros šakas ir kitimo kryptis jų aplinkoje ir atskirkite kokybinį pokytį nuo kintančios skaitinės vertės ar besivystančios trajektorijos.

Ankstesnis straipsnis: Tiesinimas pusiausvyros aplinkoje

Grįžti į fiziką

Perskaitę galėsite

Atskirti kintančią būseną nuo valdymo parametro, kuris modelių šeimoje laikomas pastoviu.
Rasti ir klasifikuoti pateikto vienmačio kitimo spartos dėsnio pusiausvyros būsenas.
Skaityti pusiausvyros šakų diagramą ir atskiras jos fazines tieses.
Paaiškinti, kodėl nulinei išvestinei, parametro keitimui per verčių intervalą ir realaus pasaulio slenkstinei vertei nagrinėti nepakanka vien statinės diagramos.

Pradėkite nuo dviejų pusiausvyros būsenų

Imkite bedimensį būsenos kintamąjį x ir laiką t, matuojamą sekundėmis. Nustatykite tikslų dėsnį dx/dt = (μ − x²)/T, kur T = 1 s, o μ yra bedimensis valdymo parametras. Graikų raidė μ tariama „mi“. Tai sugalvotas normuotas modelis, skirtas mokytis samprotavimo; jis nederinamas prie jokios įrangos ar stebėjimų.

Pirmiausia laikykite μ = 0.25. Kai x = 0, kitimo sparta yra +0.25 s⁻¹, todėl x didėja. Kai x = 0.5 ir x = −0.5, kitimo sparta lygi nuliui. Bet kuri iš šių dviejų būsenų gali išlikti pastovi. Dabar vietoj to laikykite μ = −0.25: μ − x² yra neigiamas su kiekvienu realiuoju x, todėl pusiausvyros būsenos nėra. Pakeitus vieną skaičių, pasikeitė galimų pusiausvyros būsenų skaičius.

„Algebra, funkcijos, grafikai ir logaritmai“ parengia reikšmių įstatymui, kvadratinėms šaknims ir grafikų skaitymui; logaritmų čia nereikia. Pirmiausia sekite šaknų skaičiavimą ir paveikslą. „Išvestinės, Teiloro eilutės ir vietinis artinys“ ir „Paprastosios diferencialinės lygtys“ yra neprivalomi grįžimo keliai, skirti išvestinės kriterijui ir sprendinio patikrai. Reikalingos jų idėjos pristatomos čia pat.

Atskirkite būseną, parametrą ir laiką

Būsena x(t) gali kisti sprendinio eigoje. Parametras μ laikomas pastoviu kiekvieno pagrindinio modelio sprendinio eigoje. Lyginant μ = −0.25, 0 ir 0.25, lyginami trys skirtingi autonominiai dėsniai: autonominis reiškia, kad kitimo sparta neturi tiesioginės priklausomybės nuo laiko. Tai neaprašo vieno eksperimento, kuriame μ keičiamas laikui bėgant.

Kitimo greitį užrašykime f(x; μ) = (μ − x²)/T. Kabliataškis atskiria būsenos argumentą nuo fiksuoto parametro. Tiek μ, tiek x² yra bedimensiai, todėl juos galima atimti vieną iš kito; padalijus iš T, gaunami kitimo greičio vienetai s⁻¹. Šiame modelyje x gali būti neigiamas, todėl svarbi visa jo aplinka realiųjų skaičių aibėje.

Pusiausvyros būsena x* tenkina f(x*; μ) = 0. Žvaigždutė žymi pastovią pusiausvyros reikšmę, o ne daugybą. Kitimo greitis yra glodi polinominė funkcija, todėl bet kuri baigtinė pradinė būsena turi vienintelį lokalųjį sprendinį. Lokalumas negarantuoja, kad sprendinys egzistuos kiekvienu vėlesniu laiko momentu; toliau pateiktas kritinis pavyzdys parodys baigtinio laiko ribą.

Prieš braižydami šakas suskaičiuokite pusiausvyros būsenas

Prilyginkime kitimo greitį nuliui: μ − (x*)² = 0, arba (x*)² = μ. Realiojo skaičiaus kvadratas yra neneigiamas. Kai μ < 0, realiųjų pusiausvyros būsenų nėra. Kai μ = 0, yra viena atskira pusiausvyros būsena, x* = 0; užrašius ir +0, ir −0, dviejų būsenų neatsiranda.

Kai μ > 0, yra dvi pusiausvyros būsenos: x* = +√μ ir x* = −√μ. Taigi μ = 0.25 atitinka ±0.5, o μ = 1 atitinka ±1. Braižant pusiausvyros reikšmės priklausomybę nuo parametro, teigiami ir neigiami sprendiniai sudaro dvi šakas.

Pereinant per μ = 0, realiųjų pusiausvyros būsenų skaičius pasikeičia. Jų padėtys taip pat tolydžiai kinta išilgai kiekvienos šakos, kurioje parametras teigiamas. Tai skirtingi pastebėjimai: pusiausvyros būsenai pasislinkus iš 0.5 į 1, nebūtinai atsiranda nauja kokybinė struktūra.

Nagrinėkite šakas ir kryptis jų aplinkoje

Esant fiksuotam teigiamam μ, pažymėkime a = √μ. Kadangi μ − x² = (a − x)(a + x), kitimo greitis yra neigiamas, kai x < −a, teigiamas, kai −a < x < a, ir neigiamas, kai x > a. Fazinė tiesė vaizduoja šias kryptis būsenos ašyje: rodyklė į dešinę reiškia, kad x didėja, o rodyklė į kairę – kad x mažėja.

Abipus +a kryptys nukreiptos į šią būseną. Artimi sprendiniai lieka arti ir artėja prie +a: ši būsena yra lokaliai asimptotiškai stabili. Būsenos −a aplinkoje kryptys nukreiptos nuo jos, todėl ji nestabili. Stabilumas Liapunovo prasme reiškia, kad sprendiniai gali likti kiekvienoje pasirinktoje mažoje aplinkoje, jei prasideda pakankamai arti; asimptotinis stabilumas papildomai reikalauja, kad artimos būsenos artėtų prie pusiausvyros būsenos. Vien trauka iš vienos pusės savaime nepatvirtina, kad šis abipusis reikalavimas realiojoje tiesėje tenkinamas.

Viršutinėje diagramos dalyje parametras μ vaizduojamas horizontaliai, o pusiausvyros būsena x* – vertikaliai. Ištisinė šaka ir užpildyti apskritimai žymi stabilią teigiamą pusiausvyros būseną; brūkšninė šaka ir tuščiaviduriai kvadratai žymi nestabilią neigiamą pusiausvyros būseną. Kryželis žymi kritinę nulinę reikšmę. Apatinėse eilutėse pateiktos fazinės tiesės esant trims fiksuotoms parametro reikšmėms. Jų rodyklės rodo tik kryptį: vienodas jų ilgis neperteikia nei kitimo greičio, nei per praėjusį laiką įvykusių poslinkių.

Ištisinė mėlyna linija ir užpildyti apskritimai: lokaliai asimptotiškai stabili pusiausvyra

Brūkšninė oranžinė linija ir tuščiaviduriai kvadratai: nestabili pusiausvyra

Kryžiukas: kritinė pusiausvyra, pritraukianti iš dešinės ir atstumianti į kairę

Rodyklės nurodo tik būsenos kitimo kryptį; vienodas jų ilgis neatspindi nei kitimo greičio, nei per praėjusį laiką susidariusių poslinkių.

dx/dt = (μ − x²)/T; T = 1 s; kiekviena μ vertė laikoma pastovia

Viršuje: 480 px parametro vienetui ir 200 px būsenos vienetui. Apačioje: 300 px būsenos vienetui.

Vaizduojama: viršuje −0.5 ≤ μ ≤ 1 ir −1 ≤ x* ≤ 1; apačioje −1 ≤ x ≤ 1. Analitiškai būsenos ir parametro apibrėžimo sritys yra realiųjų skaičių aibė.

Tiksliai pateikta šeima ir pusiausvyros šakos, o ne būsenos kitimo laike kreivės, parametro verčių perrinkimas ar empirinis slenkstis.

Viršutinės šakos rodo tikslias pusiausvyros būsenas esant skirtingoms fiksuotoms parametro vertėms. Apatinės fazinės tiesės rodo būsenos didėjimo arba mažėjimo kryptis esant trims fiksuotoms vertėms. Užpildyti apskritimai ir ištisinė mėlyna linija žymi stabiliąją šaką; tuščiaviduriai kvadratai ir brūkšninė oranžinė linija žymi nestabiliąją šaką. Kryželis žymi kritinį vienpusį atvejį. Tikslioje lentelėje pateikiamos pasirinktos klasifikacijos.

Tikslios skirtingos pusiausvyros būsenos ir jų lokalioji klasifikacija, kai dx/dt = (μ − x²)/T, T = 1 s. Visos būsenos ir parametro reikšmės yra bedimensės. Nuolydžiai yra kitimo greičio išvestinės būsenos atžvilgiu, o ne šakų nuolydžiai.
Fiksuotas μ	Realieji pusiausvyros taškai x*	∂f/∂x pusiausvyros taškuose (s⁻¹)	Lokalusis elgesys realiųjų skaičių tiesėje
−0.25	Nėra	Netaikoma	Neigiamas kitimo greitis esant bet kuriai būsenai
0	0	0	Pritraukia iš dešinės; atstumia į kairę; nestabilus
0.25	−0.5; +0.5	+1; −1	Neigiama pusiausvyros būsena nestabili; teigiama pusiausvyros būsena asimptotiškai stabili
1	−1; +1	+2; −2	Neigiama pusiausvyros būsena nestabili; teigiama pusiausvyros būsena asimptotiškai stabili

Patikrinkite kritinę būseną iš abiejų pusių

Kai μ = 0, kitimo dėsnis įgyja pavidalą dx/dt = −x²/T. Kiekvienoje nenulinėje būsenoje kitimo greitis yra neigiamas. Iš teigiamos pradinės būsenos judama į kairę, nulio link; iš neigiamos pradinės būsenos judama dar toliau į kairę, tolyn nuo nulio. Taigi kryželis žymi trauką tik iš vienos pusės, o ne pusiausvyrą, stabilią visų pakankamai mažų realiųjų trikdžių atžvilgiu.

Kai pradinė reikšmė yra x(0) = x₀, tikslus sprendinys yra x(t) = x₀/(1 + x₀t/T) intervale, kuriam priklauso nulis ir kuriame vardiklis išlieka teigiamas. Diferencijuojant gaunama −x₀²/[T(1 + x₀t/T)²] = −x(t)²/T, todėl ši formulė tenkina kitimo dėsnį ir pradinę sąlygą. Atskira pradinė reikšmė x₀ = 0 duoda pastovų nulinį sprendinį.

Kai x₀ > 0, vardiklis didėja, o x artėja prie nulio laikui artėjant į begalybę; per baigtinį laiką nulio nepasiekia. Kai x₀ < 0, vardiklis tampa lygus nuliui ties t = −T/x₀. Sprendinys tampa neaprėžtas, tad jo negalima tęsti per šį laiko momentą išlaikant baigtinę realiąją būseną. Net ir glodus kitimo greitis, apibrėžtas kiekvienam realiajam x, nebūtinai užtikrina, kad kiekvienai pradinei būsenai sprendinys egzistuos visą tolesnį laiką.

Nustatykite kokybinį perėjimą

Bifurkacija – tai kokybinis sistemų šeimos dinamikos pokytis kintant valdymo parametrui. Čia tokį pokytį nusako tai, kad, kai μ neigiamas, pusiausvyrų nėra, kai jis lygus nuliui, yra viena kritinė pusiausvyra, o kai jis teigiamas, yra stabili ir nestabili pusiausvyros. Toks pusiausvyrų poros atsiradimas arba išnykimas vadinamas balno–mazgo arba klostės bifurkacija. Kitos bifurkacijos gali pakeisti stabilumą nepakeisdamos pusiausvyrų skaičiaus.

Mūsų tiksliai apibrėžtame lauke kritinės sąlygos yra f(0; 0) = 0 ir ∂f/∂x(0; 0) = 0. Išvestinė parametro atžvilgiu ir kreivumas yra nenuliniai: ∂f/∂μ = 1/T ir ∂²f/∂x² = −2/T. Šie skaičiavimai papildo tiesiogiai nustatytą šaknų ir ženklų struktūrą; vien nulinė išvestinė būsenos kintamojo atžvilgiu nepatvirtintų šio virsmo.

Šakos rodo tikslias pusiausvyras esant skirtingoms fiksuotoms parametro vertėms. Jos nėra būsenos trajektorija, o tuščia neigiamų parametro verčių sritis reiškia, kad nėra pusiausvyros, o ne kad nėra leistinos būsenos ar sprendinio. Vaizduojami parametro ir būsenos intervalai pasirinkti braižymui ir nėra polinominio modelio ribos.

Taikykite lokalųjį kitimo spartos kriterijų laikydamiesi jo sąlygų

Kai vienmatės autonominės sistemos kitimo greičio funkcija yra tolydžiai diferencijuojama, nenulinė išvestinė būsenos kintamojo atžvilgiu pusiausvyros taške suteikia vietinį kriterijų: neigiama išvestinė reiškia vietinį asimptotinį stabilumą, o teigiama – nestabilumą. Čia ∂f/∂x = −2x/T, todėl teigiamoje šakoje išvestinė yra −2√μ/T, o neigiamoje – +2√μ/T.

Norėdami pamatyti vietinį artinį, užrašykime x = x* + η, kur η yra mažas bedimensis nuokrypis. Kadangi (x*)² = μ, tiksli lygtis yra dη/dt = [−2x*η − η²]/T. Jos tiesiniame artinyje paliekamas tik narys −2x*η/T. Ties teigiama pusiausvyra šis tiesinis artinys numato eksponentinį nuokrypio modulio mažėjimą, kurio būdingasis laikas yra T/(2√μ). Tai vietinio tiesinio artinio laiko mastelis, o ne tikslus laikas, per kurį kiekviena netiesinė trajektorija pasiekia pusiausvyrą.

Teigiamam μ artėjant prie nulio, nenulinės išvestinės modulis mažėja, o šio tiesinio artinio laiko mastelis didėja. Kai μ = 0, tiesinis narys išnyksta, todėl nenulinės išvestinės kriterijus ir jo baigtinio laiko mastelio formulė nebetaikomi. Kritinę elgseną nustato tikslus vienpusis sprendinys, o ne išvada, paremta nuliniu nuolydžiu.

Apriboti išvadą modeliu

Palyginimui imkime dx/dt = −x³/T su bet kuria nenaudojamo parametro μ verte. Nulis yra vienintelė šios sistemos pusiausvyra; neigiamos būsenos vertės didėja nulio link, o teigiamos mažėja nulio link. Ši pusiausvyra yra asimptotiškai stabili, nors išvestinė būsenos kintamojo atžvilgiu joje lygi nuliui. Kintant šiam nenaudojamam parametrui niekas nesikeičia, todėl ši nulinė išvestinė nežymi bifurkacijos.

Jei parametras priklauso nuo laiko, lygtis apibrėžia kitą, neautonominį uždavinį. Fiksuoto parametro diagrama gali parodyti momentinių kitimo greičio funkcijų pusiausvyras, bet neįrodo, kad kintanti būsena seka šaką, patiria šuolį ties nuliu ar išlaiko ankstesnę būseną. Būtina patikrinti pradinius duomenis, parametro kitimo istoriją ir gautą diferencialinę lygtį.

Šis pateiktas pavyzdys nustato matematinį virsmą vienoje tiksliai apibrėžtoje sistemų šeimoje. Norint šią idėją taikyti tikrai fizinei sistemai, reikia pagrįsto modelio, tinkamų būsenos ir parametro intervalų bei duomenų apie šiuos dydžius. Vien diagrama nepateikia empirinio staigaus virsmo slenksčio, neapibrėžties intervalo, histerezės ar kelio į chaosą. Ženklų, apibrėžimo srities ir parametro tikrinimas – tai samprotavimo būdas, kurį reikia perkelti į naują modelį.

Išnagrinėti pavyzdžiai

Klasifikuoti esant fiksuotai teigiamai parametro vertei

Laikykite μ = 0.25 ir T = 1 s. Raskite pusiausvyros būsenas, jų lokaliuosius tipus ir kitimo greičius, kai x = −0.75, −0.25, 0 ir +0.75.

Nulinio kitimo greičio lygtis x² = 0.25 duoda x* = −0.5 ir +0.5. Išvestinė būsenos atžvilgiu −2x/T neigiamoje pusiausvyros būsenoje yra +1 s⁻¹, o teigiamoje – −1 s⁻¹.
Įstatykite kiekvieną būseną į 0.25 − x²: 0.25 − 0.5625 = −0.3125, 0.25 − 0.0625 = +0.1875, 0.25 − 0 = +0.25 ir 0.25 − 0.5625 = −0.3125. Padaliję iš 1 s, gausite kitimo greičius, išreikštus s⁻¹.
Pirmoji būsena yra į kairę nuo nestabilios pusiausvyros ir juda į kairę. Dvi vidurinės būsenos yra tarp pusiausvyrų ir juda į dešinę. Paskutinė būsena yra į dešinę nuo stabilios pusiausvyros ir juda į kairę. Šie ženklai atitinka apatinę fazinę tiesę, kurioje parametras teigiamas.

Pusiausvyros būsenos yra −0.5 (nestabili) ir +0.5 (lokaliai asimptotiškai stabili). Keturi kitimo greičiai yra atitinkamai −0.3125, +0.1875, +0.25 ir −0.3125 s⁻¹.

Kritinio sprendinio ir jo apibrėžimo srities patikra

Kai μ = 0, palyginkite pradines būsenas x₀ = +0.5 ir −0.5, kai T = 1 s. Raskite jų būsenas laiko momentu 1 s. Ar kiekviena būsena apibrėžta laiko momentu 2 s?

Naudokite x(t) = x₀/(1 + x₀t/T) maksimaliame intervale, kuriame yra pradinis laiko momentas. Pradinei būsenai +0.5 laiko momentu 1 s vardiklis yra 1.5, o būsena – 1/3. Pradinei būsenai −0.5 laiko momentu 1 s vardiklis yra 0.5, o būsena – −1.
Laiko momentu 2 s sprendinio su teigiama pradine būsena vardiklis yra 2, todėl jo būsena yra +0.25. Sprendinio su neigiama pradine būsena vardiklis lygus nuliui. Šis sprendinys didėjant laikui egzistuoja tik kai 0 ≤ t < 2 s ir neturi baigtinės būsenos laiko momentu 2 s.
Nenaudokite tos pačios racionaliosios išraiškos už sprendinio su neigiama pradine būsena poliaus kaip sprendinio tęsinio iš šios pradinės reikšmės. Taip būtų praleistas laiko momentas, kuriuo būsena neapibrėžta. Todėl netoli kritinės pusiausvyros esančios priešingų ženklų pradinės būsenos lemia skirtingą elgseną didėjant laikui.

Laiko momentu 1 s būsenos yra 1/3 ir −1. Laiko momentu 2 s teigiama pradinė būsena duoda +0.25, o sprendinys su neigiama pradine būsena yra neapibrėžtas.

Judančių šaknų atskyrimas nuo bifurkacijos

Palyginkite atvejus, kai μ = 0.25 ir μ = 1 yra fiksuotas. Kas pasikeičia skaitiniu požiūriu ir ar skiriasi kokybinis pusiausvyrų išsidėstymas esant šioms dviem teigiamoms vertėms?

Kai parametro vertė yra 0.25, šaknys yra ±0.5, o išvestinių būsenos kintamojo atžvilgiu moduliai yra 1 s⁻¹. Kai parametro vertė yra 1, šaknys yra ±1, o išvestinių moduliai yra 2 s⁻¹.
Abiem atvejais yra neigiama nestabili pusiausvyra ir teigiama lokaliai asimptotiškai stabili pusiausvyra. Abiem atvejais už šių dviejų pusiausvyrų ribų kryptis yra į kairę, o tarp jų – į dešinę.
Šaknys ir lokalūs kitimo greičiai skaitiniu požiūriu keičiasi, tačiau pusiausvyrų skaičius ir jų lokalūs tipai išlieka tokie patys esant bet kuriam teigiamam μ. Balno–mazgo bifurkacija įvyksta ties μ = 0, kur pasikeičia pusiausvyrų išsidėstymas; šios dvi pasirinktos teigiamos vertės nėra dvi atskiros bifurkacijos.

Šaknys pasislenka iš ±0.5 į ±1, o išvestinių moduliai padvigubėja. Kokybinis dviejų pusiausvyrų išsidėstymas išlieka toks pat; jo bifurkacija įvyksta ties nuliu.

Pabandykite patys

Kai μ = 0.04 ir T = 1 s yra fiksuoti, raskite realiąsias pusiausvyras ir išvestinę būsenos kintamojo atžvilgiu kiekvienoje iš jų. Nustatykite jų lokalų stabilumą.
Rodyti atsakymą ir paaiškinimą
Pusiausvyros yra −0.2 ir +0.2. Išvestinės jose yra +0.4 s⁻¹ ir −0.4 s⁻¹; neigiama šaknis yra nestabili, o teigiama – lokaliai asimptotiškai stabili.
Kadangi 0.2² = 0.04, abi šaknys tenkina lygtį, kurioje kitimo greitis lygus nuliui. Apskaičiuojant −2x/T ties kiekviena šaknimi, išvestinių ženklai įvertinami atskirai. Šiam glodžiam autonominiam modeliui taikomas nenulinės išvestinės kriterijus.
Kai μ = 0.25, x = 0.4 ir T = 1 s yra fiksuoti, raskite dx/dt. Kuri kryptis turi būti pažymėta fazinėje tiesėje? Ar 48 px ilgio rodyklė reiškia 48 vienetų poslinkį?
Rodyti atsakymą ir paaiškinimą
Kitimo greitis yra +0.09 s⁻¹, o rodyklė nukreipta į dešinę. Nubrėžtos rodyklės ilgis nenurodo per praėjusį laiką įvykusio poslinkio.
0.25 − 0.4² = 0.09. Teigiamas ženklas reiškia, kad bedimensis x didėja. Paveiksle vienodo ilgio rodyklės naudojamos tik krypčiai parodyti; jame nenurodytas praėjęs laikas, pagal kurį būtų galima nustatyti poslinkį.
Kai μ = 0, besimokantysis laiko +√0 ir −√0 dviem stabiliomis pusiausvyromis, nes išvestinė lygi nuliui. Pataisykite abu teiginius, nagrinėdami visą realiąją būsenų tiesę.
Rodyti atsakymą ir paaiškinimą
Yra viena atskira pusiausvyros būsena, x* = 0, ir ji yra nestabili Liapunovo prasme, kai nagrinėjami abiejų ženklų trikdžiai. Ji traukia iš dešinės ir stumia į kairę.
Abi užrašytos šaknys lygios nuliui. Kitimo greitis −x²/T yra neigiamas abiejose pusėse: teigiama būsena artėja prie nulio, o neigiama nuo jo tolsta. Kiek norima mažos neigiamos pradinės būsenos ilgainiui išeina iš fiksuotos mažos aplinkos, todėl vienpusė trauka nepatvirtina stabilumo.
Ištisine linija pavaizduotoje viršutinėje šakoje yra taškai (μ, x*) = (0.25, 0.5) ir (1, 1). Ar ji rodo, kad viena būsena per 0.75 s padidėja nuo 0.5 iki 1? Ką iš tikrųjų rodo jos ašys?
Rodyti atsakymą ir paaiškinimą
Ne. Ašys rodo bedimensį fiksuotą parametrą ir bedimensę pusiausvyros vertę skirtinguose modeliuose; nė viena ašis nerodo praėjusio laiko.
Kiekvienas šakos taškas tenkina lygtį μ − (x*)² = 0 esant savai fiksuotai μ vertei. Skirtumas 1 − 0.25 = 0.75 yra parametro verčių skirtumas, o ne trukmė. Norint nustatyti būsenos kitimą laike, reikia pradinės būsenos ir apibrėžtos kitimo taisyklės.
Atskiroje šeimoje dx/dt = −x³/T, galiojančioje visoms nenaudojamo μ vertėms, išvestinė ties nuliu visada lygi nuliui. Ar tai patvirtina bifurkaciją, kai μ kerta nulį?
Rodyti atsakymą ir paaiškinimą
Ne. Kitimo greičio taisyklė, vienintelė pusiausvyros būsena ir asimptotinis stabilumas nesikeičia esant bet kuriai μ vertei.
Kai x > 0, kitimo greitis yra neigiamas, o kai x < 0, jis yra teigiamas, todėl artimos būsenos artėja prie nulio iš abiejų pusių. Kai išvestinė lygi nuliui, tiesinis kriterijus neduoda vienareikšmės išvados, tačiau šiuo atveju ją lemia netiesinės išraiškos ženklai. Šioje šeimoje nėra nuo parametro priklausančio kokybinio pokyčio.
Pakeiskite fiksuotą parametrą į μ(t) = 0.25 − t/(4 s). Jo vertės laiko momentais 0, 1 ir 2 s yra 0.25, 0 ir −0.25. Ar vien statinė diagrama įrodo, kad būsena seka stabiliąja šaka ir patiria šuolį ties 1 s?
Rodyti atsakymą ir paaiškinimą
Ne. Tai kitas, neautonominis uždavinys, ir vien iš diagramos su fiksuotu parametru neišplaukia nei sekimas šaka, nei šuolio laikas.
Išraiška t/(4 s) yra bedimensė. Išvardytos parametro vertės yra teisingos, tačiau būsenos kitimui laike nustatyti taip pat reikia pradinės sąlygos ir lygties dx/dt = [μ(t) − x²]/T sprendinio. Momentinės pusiausvyros būsenos, gaunamos fiksuojant taisyklių parametrą, savaime nėra tas laike kintantis sprendinys.

Ką verta įsidėmėti

Išspręskite pusiausvyros lygtį ir suskaičiuokite skirtingas realiąsias šaknis esant kiekvienai fiksuotai parametro vertei.
Bifurkacija keičia kokybinę struktūrą; šaknies poslinkis ar kitimo greičio pokytis nebūtinai ją keičia.
Ženklai fazinėje tiesėje ir atitinkamomis sąlygomis taikomi lokalieji kriterijai leidžia nustatyti stabilumą; vienpusę trauką ir nulinę išvestinę reikia analizuoti atskirai.
Pusiausvyros šakų diagramoje keičiamas parametras, o trajektorija kinta laike pagal nurodytą taisyklę ir pradinius duomenis.
Tikslias modelio apibrėžimo sritis, baigtinio laiko ribas ir fizinius įrodymus atskirkite nuo rodomo intervalo.

Šaltiniai

Šio straipsnio sąvokų ir mokymo būdų šaltiniai.

Nonlinear Dynamics: ChaosDaniel Rothman — MIT OpenCourseWare; 12.006J, Fall 2022; notes dated 15 September 2022Paskaitų medžiaga · PDFFlows and Bifurcations in One Dimension 1.2 Linear stability analysis 2.1.1 Saddle-node normal form and reversed signocw.mit.edu
Nonlinear Dynamics YFX1560Dmitri Kartofelev — Tallinn University of Technology; YFX1560; notes dated 8 September 2026Paskaitų medžiaga · PDFLecture notes #2 — Nonlinear Dynamics YFX1560 2.2 Zero-derivative examples 6.1 Saddle-node and 6.1.1 branch diagramtud.ttu.ee
Ordinary Differential Equations and Dynamical SystemsGerald Teschl — University of Vienna; author’s online AMS preliminary version, preface April 2012Vadovėlio skyrius · PDFOrdinary Differential Equations and Dynamical Systems 2.2 Local existence and uniqueness — Theorem 2.2 6.5 Stability definitions and scalar sign testmat.univie.ac.at