Professional Documents
Culture Documents
AnalitičKa Mehanika
AnalitičKa Mehanika
Srboljub S. Simić
Analitička mehanika
Dinamika Stabilnost Bifurkacije
iii
iv Predgovor
tehničkih nauka u Novom Sadu. Imajući u vidu sadržaj i obim, ona može biti od
koristi i studentima drugih fakulteta, kao i svima koji žele da ovladaju odred̄enim
oblastima analitičke mehanike, teorije stabilnosti ili teorije bifurkacija.
Udžbenik se sastoji od tri celine. Prvi deo, koji čine Glave 1-3, posvećen je
analitičkoj dinamici i u njemu se proučavaju matematički modeli mehaničkih
sistema i postupci njihove analize. Konkretno, analiziraju se osnovni principi
analitičke mehanike, kao što su Lagranž-Dalamberov i Hamiltonov, kao i različiti
oblici diferencijalnijnih jednačina kretanja (Lagranževe, Hamiltonove, Rautove
i Vitekerove). Posebna pažnja je posvećena primeni prvih integrala u snižavanju
reda sistema i analizi njihovog ponašanja.
U drugom delu knjige, u Glavama 4-8, izložena je teorija stabilnosti, pri čemu
je akcenat stavljen na kvalitativnu analizu ponašanja dinamičkih sistema. Tu su
najpre date osnovne definicije stabilnosti u smislu Ljapunova, a zatim je prikazan
niz metoda za ispitivanje stabilnosti. Opisani su direktni metod Ljapunova,
Lagranž-Dirihleova i Rautova teorema za ispitivanje stabilnosti ravnoteže i sta-
cionarnih kretanja i, najzad, metod sopstvenih vrednosti za linearne sisteme.
Najvećim delom su analizirani autonomni sistemi, ali je jedna Glava posvećena
i neautonomnim sistemima.
Treći deo knjige, koji čine Glave 9-12, sadrži kvanititativnu analizu pona-
šanja dinamičkih sistema i elemente teorije bifurkacija. Detaljno se analiziraju
stacionarne tačke dinamičkih sistema, prvenstveno u faznoj ravni, kao i granič-
ni ciklusi i njihova orbitalna stabilnost. Ova analiza se potom koristi za klasi-
fikaciju najjednostavnijih tipova bifurkacija (sedlo-čvor, transkritična, vilasta i
Hopfova), analizu bifurkacija u mehaničkim sistemima i snižavanje reda sistema
pomoću centralne mnogostrukosti. Na kraju su proučeni i neki posebni problemi
teorije bifurkacija koji ilustruju moguće pravce njenog daljeg proučavanja.
Svako poglavlje teksta u sebi sadrži odred̄eni broj detaljno rešenih primera
kojima se ilustruju izloženi pojmovi i metodi. Pored toga, na kraju svake Glave
nalaze se zadaci koji studentima treba da posluže za samostalno vežbanje. Izbor
primera i zadataka načinjen je na osnovu materijala koji je do sada prezentovan
studentima, ali su korišćeni i drugi izvori poput zbirki zadataka i udžbenika koji
se koriste na inostranim unverzitetima. Time je ovim udžbenikom obuhvaćen
celokupan materijal koji bi mogao činiti sadržaj jednog kursa.
Tokom višegodišnje saradnje u pedagoškom radu, kao i pripremi ovog teksta,
autoru je svesrdnu pomoć pružao prof. dr D - ord̄e D
- ukić, koji je nastavu iz
predmeta Analitička mehanika držao od 1981. do 2000. godine. Koncepcija
kursa, koju je on osmislio, duboko je utkana i u sadržaj ove knjige. Brojne
diskusije, sugestije i njegovo bogato pedagoško iskustvo bile su od ogromne
pomoći u radu na ovom predmetu i njegovom unapred̄ivanju. Zbog toga mu
autor izražava zahvalnost. Veliki uticaj na strukturu i izbor primera i zadataka
imala je dugogodišnja saradnja i podrška koju je autoru pružao prof. dr Dragi
Radomirović, na čemu mu se posebno zahvaljujem.
Naročitu zahvalnost autor želi da iskaže prof. dr Aleksandru Bakši koji je
sa velikom pažnjom pročitao obiman rukopis ove knjige i nizom veoma korisnih
primedbi i sugestija pomogao da se njen sadržaj obogati. Podelivši svoje vid̄enje
i duboko poznavanje izložene problematike sa autorom pomogao je da mnogi
Predgovor v
Predgovor iii
2 Lagranževa mehanika 27
2.1 Lagranž-Dalamberov princip u generalisanim koordinatama . . . 27
2.2 Lagranževe jednačine druge vrste . . . . . . . . . . . . . . . . . . 35
2.3 Energijske funkcije u generalisanim koordinatama . . . . . . . . . 37
2.4 Prvi integrali Lagranževih jednačina druge vrste . . . . . . . . . 45
2.5 Energijska analiza u generalisanim koordinatama . . . . . . . . . 52
2.6 Neki klasični problemi analitičke dinamike . . . . . . . . . . . . . 58
2.7 Hamiltonov varijacioni princip . . . . . . . . . . . . . . . . . . . 70
2.8 Neholonomni sistemi . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.9 Elektromehaničke analogije . . . . . . . . . . . . . . . . . . . . . 89
Zadaci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
vii
viii Sadržaj
Literatura 407
Indeks 411
Glava 1
Mars. Prva dva zakona je formulisao 1609. godine, dok je treći objavio deset godina kasnije.
2 Zakon slobodnog pada Galilej je otkrio 1604. godine.
3 Njutn je do ovih zakona, kao i do zakona univerzalne gravitacije, došao tokom 1665. i
1666. godine kada je zbog epidemije kuge napustio Kembridž i boravio na porodičnom imanju.
Tada je imao 24 godine.
4 Još jedna bizarna činjenica: u Njutnovim Principima se nigde ne može pronaći jednačina
1
2 Glava 1. Analitička dinamika sistema materijalnih tačaka
vremenskog intervala dt može izvršiti proizvoljno, beskonačno malo pomeranje, drν = vν dt.
7 U ovom tekstu svi vektori će biti označavani masnim slovima: ~ a ≡ a.
1.1. Materijalni sistemi i veze 3
m1 a1 = F1 + R1 ,
m2 a2 = F2 + R2 , (1.1)
..
.
mN aN = FN + RN .
Ove jednačine ćemo uvek pisati u odnosu na inercijalni koordinatni sistem9 . Op-
šti oblik aktivnih sila i reakcija veza u odnosu na Dekartov koordinatni sistem
glasi:
torno i jednoliko pravolinijski. Oni obrazuju klasu koordinatnih sistema. Prilikom pisanja
jednačina (1.1) bira se jedan sistem kao reprezent čitave klase.
10 Galilejeve transformacije su transformacije pri kojima se ne menja rastojanje izmed̄u ta-
čaka prostora, niti vremenski intervali tokom kojih se odvija kretanje. Osnovni primeri su
translacija i rotacija koordinatnog sistema i translatorno jednoliko pravolinijsko kretanje.
4 Glava 1. Analitička dinamika sistema materijalnih tačaka
• geometrijske (konačne) i
• kinematske (diferencijalne).
f (t, rν ) = 0. (1.4)
f (t, rν , vν ) = 0. (1.5)
Ovaj tip veza prevashodno nameće ograničenja u pogledu brzina koje tačke
mogu imati u posmatranom položaju12 . Treba napomenuti da se kinematske
veze u mehaničkim sistemima najčešće javljaju u vidu linearnih kinematskih
veza:
XN
lν (t, rν ) · vν + D(t, rν ) = 0. (1.6)
ν=1
sečiva klizaljki i točkovi na rolerima nameću pravac koji brzine stopala mogu imati u posmat-
ranom položaju. Drugi se javlja kod kotrljanja bez klizanja jednog krutog tela po površini
drugog: brzine tačaka dodira ovih tela moraju biti jednake.
1.1. Materijalni sistemi i veze 5
pri čemu važi d+g < 3N . Kao što smo videli (jednačina (1.7)), geometrijske veze
nameću i dopunska ograničenja u pogledu brzina tačaka materijalnog sistema:
N
X ∂fα
gradν fα · vν + = 0, α = 1, . . . , d. (1.11)
ν=1
∂t
13 U matematičkom smislu tu se radi o uslovima integrabilnosti linearne diferencijalne forme.
1.1. Materijalni sistemi i veze 7
gde je iskorišćen zapis lβν = Aβν (t, rν )i + Bβν (t, rν )j + Cβν (t, rν )k.
Iako je iz definicionih jednačina iščezao član koji generiše nehomogenost,
opet imamo d + g zavisnih projekcija virtualnih pomeranja (vitrualnih priraš-
taja koordinata tačaka) koje je moguće izraziti u funkciji preostalih 3N − (d + g)
nezavisnih projekcija. Med̄utim, zbog ignorisanja vremenske zavisnosti struk-
tura virtualnih pomeranja je u opštem slučaju različita od strukture mogućih
pomeranja15 .
Može se postaviti još jedno važno pitanje: kada su klase mogućih i virtualnih
pomeranja identički jednake16 , δrν ≡ drν ? Za to moraju biti ispunjeni sledeći
uslovi: geometrijske veze moraju biti stacionarne (∂fα /∂t = 0), a kinematske
veze homogene (Dβ = 0).
Primer 1.1 Materijalna tačka P može da se kreće po horizontalnoj platformi
koja se, u isto vreme, kreće translatorno, pravolinijski i konstantnom brzinom
v0 u pravcu z-ose normalne na platformu. Formirati jednačinu veze, a zatim
odrediti moguće brzine, kao i moguća i virtualna pomeranja materijalne tačke.
I Pošto je platforma tokom kretanja paralelna Oxy-ravni, x i y koordinate
tačke P mogu biti potpuno proizvoljne. Med̄utim, zbog zadatog načina kre-
tanja platforme z koordinata tačke je odred̄ena trenutnim položajem platforme
15 Vredno je napomenuti da virtualna pomeranja obrazuju linearni vektorski potprostor
prostora R3N . Njima se može pridružiti i dublji geometrijski smisao u okviru Lagranževe
mehanike, ali će o tome napomena biti data kasnije.
16 Ovakvi sistemi se u literaturi nazivaju katastatički sistemi, videti [43]. Sistemi kod kojih
f (t, r) = z − v0 t = 0. (1.16)
v = ẋi + ẏj + v0 k,
dr = dx i + dy j + v0 dt k.
δr = δx i + δy j.
rν = xν i + yν j + zν k,
vν = ẋν i + ẏν j + żν k,
1.2. Lagranž-Dalamberov princip 11
odred̄eno sa 6N veličina.
12 Glava 1. Analitička dinamika sistema materijalnih tačaka
način definiše i kod krutih tela, pri čemu se tada radi o virtualnim pomeranjima napadnih
tačaka sila.
1.2. Lagranž-Dalamberov princip 13
Primer 1.2 Dokazati da glatka površ21 u prostoru i laki kruti štap predstavljaju
idealne veze.
više tačaka sistema. Zbog toga se mora posmatrati ukupan virtualni rad reakcija veza, a ne
samo virtualni rad rezultante reakcija veza koja dejstvuje na jednu tačku.
21 Ovde se glatkost podrazumeva dvojako: u matematičkom smislu to znači da je funkcija
Ograničenje (1.14) koje ova veza nameće virtualnim pomeranjima tačaka ima
sledeći oblik:
grad1 f · δr1 + grad2 f · δr2 = 0,
pri čemu su gradijenti opisani sledećim izrazima:
Primer 1.3 Dve materijalne tačke P1 i P2 povezane su lakim krutim štapom du-
žine l i mogu da se kreću u Oxy ravni. Za središte štapa C kruto je vezano sečivo
koje ima pravac štapa i koje se urezuje u ravan kretanja tačaka. Zbog prisustva
sečiva vektor brzine tačke C se poklapa sa pravcem štapa, a reakcija veze, koja
dejstvuje na sečivo u tački C, ima pravac normalan na pravac štapa (zato -
što sečivo sprečava bočno proklizavanje). Formirati jednačinu kinematske veze,
odrediti ograničenja u pogledu mogućih brzina, mogućih pomeranja i virtualnih
pomeranja koja ona nameće, i pokazati da je opisana kinematska veza idealna.
l1 · dr1 + l2 · dr2 = 0,
l1 · δr1 + l2 · δr2 = 0.
y2 − y1 x2 − x1 R R
R = −R i+R j = l1 = l2 .
l l l l
Zbog toga će virtualni rad reakcije veze R biti jednak:
1 1R
δAR = R · δrc = (R · δr1 + R · δr2 ) = (l1 · δr1 + l2 · δr2 ) = 0.
2 2 l
Anuliranje virtualnog rada je posledica ograničenja koje kinematska veza name-
će virtualnim pomeranjima tačaka sistema. J
Lagranž-Dalamberov princip
Posmatrajmo materijalni sistem čije je ponašanje opisano diferencijalnim
jednačinama (1.8):
mν aν = Fν + Rν , ν = 1, . . . , N.
Teorema 1.1 (Opšta jednačina dinamike) Ako su sve veze nametnute ma-
terijalnom sistemu idealne, onda njegovo kretanje zadovoljava opštu jednačinu
dinamike:
XN
(Fν − mν aν ) · δrν = 0. (1.22)
ν=1
1.2. Lagranž-Dalamberov princip 17
Ova jednačina predstavlja matematički zapis principa virtualnog rada koji glasi:
Materijalni sistem će biti u ravnoteži ako i samo ako je ukupan rad aktivnih
sila na ma kakvim virtualnim pomeranjima u odnosu na položaj ravnoteže jednak
nuli.
Ovaj je princip od velikog značaja u proučavanju uslova ravnoteže i odre-
d̄ivanju ravnotežnih konfiguracija materijalnih sistema. Kao i u slučaju opšte
jednačine dinamike, i ovde se glavna prednost u odnosu na vektorski pristup
ogleda u odsustvu reakcija veza.
22 Gantmaher [22] pokazuje da jednačina (1.22) predstavlja i potreban, i dovoljan uslov da
funkciji.
1.3. Lagranževe jednačine prve vrste 19
Dokaz: Uvedimo najpre neodred̄ene množitelje. Njih će biti onoliko koliko
ima jednačina veza i označićemo ih sa λα , α = 1, . . . , d i µβ , β = 1, . . . , g.
Sada jednačine veza možemo pomnožiti odgovarajućim množiteljima i potom
dobijene izraze sabrati:
d
ÃN ! N
à d !
X X X X
λα gradν fα · δrν = λα gradν fα · δrν = 0,
α=1 ν=1 ν=1 α=1
à !
g
X N
X N
X g
X
µβ lβν · δrν = µβ lβν · δrν = 0.
β=1 ν=1 ν=1 β=1
Kao što znamo, ovi virtualni priraštaji nisu med̄usobno nezavisni. Zbog jedna-
čina (1.14)-(1.15) imamo d + g ”zavisnih” i 3N − (d + g) ”nezavisnih” prira-
štaja. Zamislimo da smo poslednju jednačinu podelili na deo koji predstavlja
linearnu kombinaciju d+g ”zavisnih” virtualnih priraštaja, i deo koji je linearna
kombinacija preostalih 3N − (d + g) ”nezavisnih” priraštaja. Pošto množitelji
λα i µβ nisu unapred odred̄eni možemo ih izabrati tako da d + g koeficijenata uz
”zavisne” virtualne priraštaje dobijamo budu jednaki nuli. Posle toga, u pro-
širenoj opštoj jednačini dinamike nam ostaje linearna kombinacija med̄usobno
nezavisnih virtualnih priraštaja koji su, u opštem slučaju, proizvoljni i različiti
od nule. Da bi ova linearna kombinacija bila identički jednaka nuli, moraju
svi koeficijenti istovremeno biti jednaki nuli. Na taj način su svi koeficijenti u
proširenoj opštoj jenačini dinamike (i uz ”zavisne”, i uz ”nezavisne” prirašta-
je) izjednačeni sa nulom, ali sa različitim argumentima: prvi put zbog izbora
Lagranževih množitelja, a drugi zbog linearne nezavisnosti. Zbog toga iz jedna-
čine (1.25) slede Lagranževe jednačine prve vrste (1.24). ¥
Diferencijalnih jednačina kretanja (1.24) ima onoliko koliko tačaka ima pos-
matrani sistem. Da bi se odredilo kretanje sistema xν (t), yν (t), zν (t), kao i
Lagranževi neodred̄eni množitelji λα i µβ , neophodno je Lagranževe jednačine
prve vrste rešavati simultano sa d + g jednačina veza (1.9)-(1.10):
fα (t, rν ) = 0, α = 1, . . . , d,
N
X
lβν (t, rν ) · vν + Dβ (t, rν ) = 0, β = 1, . . . , g.
ν=1
Primer 1.4 Materijalna tačka mase m može da klizi po glatkoj kružnoj žici
poluprečnika r, koja se nalazi u vertikalnoj ravni. Koristeći koordinatni sistem
1.3. Lagranževe jednačine prve vrste 21
Tada imamo:
µ ¶
d v2 v2
m − mgy ⇒ m − mgy = E = const.,
dt 2 2
d2 f ¡ ¢ ¡ ¢
= 2 ẋ2 + xẍ + ẏ 2 + y ÿ = 0 ⇒ xẍ + y ÿ = − ẋ2 + ẏ 2 = −v 2 .
dt2
Tada, ako prvu diferencijalnu jednačinu pomnožimo sa x, a drugu sa y, i dobijene
izraze saberemo, imamo:
1 ¡ 2 ¢ 1
λ=− mv + mgy = − 2 (2E + 3mgy) .
2r2 2r
U poslednjem koraku brzina tačke je eliminisana korišćenjem zakona održanja
energije. Znajući da je r = xi + yj, reakcija veze će imati sledeći oblik:
2E + 3mgy
R = λgradf = 2λ(xi + yj) = − r.
r2
Primetimo da reakcija veze uvek ima pravac vektora položaja. J
se Dekartovim sistemom samo zbog jednostavnosti strukture dobijenog izraza i lake argu-
mentacije.
Zadaci 23
Zadaci
1.1 Za mehaničke sisteme prikazane na slici formirati jednačine veza i odrediti
broj stepeni slobode.
fα (t, rν ) = 0, α = 1, . . . , d,
N
X
lβν (t, rν ) · vν + Dβ (t, rν ) = 0, β = 1, . . . , g.
ν=1
1.7 Glatka žica, po kojoj se pod dejstvom sile težine kreće materijalna tačka
mase m, odred̄ena je presekom sledećih površi:
x2 + y 2 = r02 z = kx,
Zadaci 25
Lagranževa mehanika
27
28 Glava 2. Lagranževa mehanika
Generalisane koordinate
U Glavi 1 definisan je pojam broja stepeni slobode (Definicija 1.5) kao broja
med̄usobno nezavisnih virtualnih pomeranja (priraštaja) koje dopuštaju veze
nametnute sistemu. Za holonomne sisteme broj stepeni slobode je n = 3N − d,
gde je d broj geometrijskih veza, dok je za neholonomne n = 3N − (d + g), gde
je g broj kinematskih veza.
Posmatrajmo holonomni mehanički sistem čiji je položaj ograničen sa d ge-
ometrijskih veza:
fα (t, rν ) = fα (t, xν , yν , zν ) = 0, α = 1, . . . , d.
fα (t, rν (t, qi )) ≡ 0, α = 1, . . . , d.
Primer 2.1 Materijalna tačka P može u Oxy ravni da klizi po žici kružnog
oblika, koja je opisana jednačinom f (x, y) = x2 +y 2 −R2 = 0. Izabrati parametar
koji jednoznačno odred̄uje položaj tačke, izraziti Dekartove koordinate u funkciji
izabranog parametra i pokazati da će jednačina veze biti pretvorena u identitet.
Uvrštavanjem ovih izraza u jednačinu veze lako se pokazuje da će ona biti iden-
tički zadovoljena:
f (x, y) = R2 cos2 q + R2 sin2 q − R2 ≡ 0.
Primetimo da ugao ϕ nije jedini parametar koji se može iskoristiti za defi-
nisanje položaja tačke. Na primer, može se iskoristiti lučna koordinata s i
uz uočavanje jednakosti s = Rϕ lako možemo pokazati da ona zadovoljava
sve zahteve nametnute zadatkom. Kao treća mogućnost može se spomenuti i
površina a kružnog isečka odred̄enog vektorom položaja i x osom, koja je sa
uglom ϕ povezana sledećom relacijom: a = 21 R2 ϕ. Konačno, treba primetiti da
Dekartove koordinate, na primer √ x, takod̄e mogu biti korišćene, ali samo kao
lokalne koordinate jer je y = ± R2 − x2 . J
Primer 2.2 Dve materijalne tačke P1 i P2 , koje se kreću u Oxy ravni, povezane
su lakim krutim štapom dužine l. Formirati jednačine veza, odrediti broj stepeni
slobode sistema i izabrati parametre koji jednoznačno odred̄uju njegov položaj.
Pokazati da će sa tim parametrima jednačina veze biti identički zadovoljena.
x1 = q1 , x2 =q1 + l cos q3 ,
y1 = q2 , y2 = q2 + l sin q3 .
Ovi parametri se uvek mogu izabrati, ali ne moraju biti odred̄eni na jedin-
stven način (kao što smo videli u Primeru 2.1). U slučaju holonomnih sistema
broj generalisanih koordinata je jednak broju stepeni slobode materijalnog sis-
tema, dok je kod neholonomnih sistema situacija nešto drugačija, o čemu će biti
više reči kasnije.
svako virtualno pomeranje koje je odred̄eno na opisani način će prevesti tačku iz posmatranog
u beskonačno bliski položaj u kom će geometrijske veze ponovo biti identički zadovoljene.
2.1. Lagranž-Dalamberov princip u generalisanim koordinatama 31
Tada razlika vektora rν (t, qi + δqi ) i rν (t, qi ), koji opisuju dva beskonačno bliska
položaja tačaka saglasna sa vezama, odred̄uje virtualna pomeranja u generali-
sanim koordinatama:
n
X ∂rν
δrν = rν (t, qi + δqi ) − rν (t, qi ) = (t, qi )δqi . (2.2)
i=1
∂qi
f (x, y) = x2 + y 2 − R2 = 0.
Imajući ovo u vidu, ograničenje koje veza nameće virtualnim pomeranjima ma-
terijalne tačke se svodi na sledeći oblik:
Posledica ove relacije jeste da brzine tačaka sistema predstavljaju funkcije vre-
mena t, generalisanih koordinata qi i linearno zavise od generalisanih brzina
q̇i :
n
∂rν X ∂rν
vν = + q̇i . (2.3)
∂t i=1
∂qi
Pošto je stanje kretanja materijalnog sistema u ma kom trenutku vremena t
odred̄eno trenutnim vrednostima vektora položaja rν (t) i vektora brzina vν (t),
možemo reći da je stanje kretanja istog sistema u generalisanim koordinatama
odred̄eno trenutnim vrednostima generalisanih koordinata qi (t) i generalisanih
brzina q̇i (t).
Uvod̄enjem generalisanih sila (2.7) izraz za virtualni rad aktivnih sila će se svesti
na (2.6). ¥
Lema 2.1 Važe sledeće relacije izmed̄u vektora brzina i vektora položaja mate-
rijalnih tačaka u generalisanim koordinatama:
µ ¶
∂vν d ∂rν
= , (2.8)
∂qj dt ∂qj
∂vν ∂rν
= . (2.9)
∂ q̇i ∂qi
Xn
∂vν ∂rν ∂rν
= + q̇i =
∂qj ∂t ∂qj i=1
∂qi ∂qj
µ ¶ X n µ ¶ µ ¶
∂ ∂rν ∂ ∂rν d ∂rν
= + q̇i = ,
∂t ∂qj i=1
∂qi ∂qj dt ∂qj
gde su Qin
i generalisane inercijalne sile definisane izrazom:
µ ¶
∂T d ∂T
Qin
i = − . (2.11)
∂qi dt ∂ q̇i
Dokaz: Koristeći jednačinu (2.2), kao i relaciju aν = dvν /dt, možemo izraz za
virtualni rad inercijalnih sila transformisati na sledeći način:
N
X
δAin = − mν aν · δrν =
ν=1
N
à n ! n
ÃN !
X dvν X ∂rν X X dvν ∂rν
=− mν · δqi = − mν · δqi =
ν=1
dt i=1
∂qi i=1 ν=1
dt ∂qi
n
(N · µ ¶ µ ¶¸)
X X d ∂rν d ∂rν
= mν vν · − vν · δqi .
i=1 ν=1
dt ∂qi dt ∂qi
onda će definitvni oblik izraza za virtualni rad inercijalnih sila biti:
n ·
X µ ¶¸
in ∂T d ∂T
δA = − δqi .
i=1
∂qi dt ∂ q̇i
jedan specifičan koordinatni sistem u kom se fizičke zakonitosti zapisuju u kompaktnoj formi.
36 Glava 2. Lagranževa mehanika
Vidimo, dakle, da postoji potpuna analogija izmed̄u strukture sila čije se dejstvo
na tačke sistema ostvaruje u realnom, fizičkom prostoru, i generalisanih sila koje
figurišu u matematičkom modelu kretanja holonomnog mehaničkog sistema.
8 Pod konfiguracijom materijalnog sistema se podrazumeva položaj tačaka sistema u bilo
kom trenutku vremena. Zbog toga se n-dimenzijski prostor čije su koordinate zapravo ge-
neralisane koordinate naziva konfiguracioni prostor holonomnog mehaničkog sistema sa n
stepeni slobode. Ova ideja je naročito pogodna za razvijanje geometrijskih koncepcija u
analizi mehaničkih sistema, ali o tome će se u ovom tekstu govoriti samo u naznakama.
2.3. Energijske funkcije u generalisanim koordinatama 37
jednostavne klasične probleme podseća na prelazak avionom sa jedne strane ulice na drugu
(čitalac se u to može i sam uveriti analizom problema kosog hica u bezvazdušnom prostoru).
Ova metafora ističe potencijal koji Lagranževe jednačine poseduju.
38 Glava 2. Lagranževa mehanika
tema centralnu ulogu igraju pojmovi (virtualnog) rada i energije. Drugim re-
čima, proučavanje ponašanja materijalnih sistema zasnovano je na poznavanju
skalarnih energijskih funkcija. One u potpunosti opisuju sistem koji se ana-
lizira10 . Ovde se može uočiti suštinska razlika u odnosu na Njutnove zakone
kretanja koji u opisivanju ponašanja materijanih sistema oslanjaju na vektorske
dinamičke veličine kao što su količina kretanja i sila. Zato ćemo ovde detaljnije
proučiti strukturu skalarnih energijskih funkcija u generalisanim koordinatama.
N N
1X 1X
T = mν vν2 = mν vν · vν .
2 ν=1 2 ν=1
n
X ∂rν ∂rν
vν = q̇i + ,
i=1
∂qi ∂t
N
à n
! n
1X X ∂rν ∂rν X ∂rν ∂r ν
T = mν q̇i + · q̇j +
2 ν=1 i=1
∂qi ∂t j=1
∂q j ∂t
à n !
N n X n N
1X
X ∂rν ∂rν 1X X ∂rν ∂rν
= mν · q̇i q̇j + mν · q̇i
2 ν=1 i=1 j=1
∂qi ∂qj 2 ν=1 i=1
∂qi ∂t
N n N
1X X ∂r ν ∂r ν 1X ∂rν ∂rν
+ mν · q̇j + mν · .
2 ν=1 j=1
∂q j ∂t 2 ν=1
∂t ∂t
n n
ÃN !
1 XX X ∂rν ∂rν
T = mν · q̇i q̇j
2 i=1 j=1 ν=1 ∂qi ∂qj
n
ÃN ! N
X X ∂rν ∂rν 1X ∂rν ∂rν
+ mν · q̇i + mν · .
i=1 ν=1
∂q i ∂t 2 ν=1
∂t ∂t
jalnih jednačina kretanja, već na prirodan način odred̄uju i njihove prve integrale.
2.3. Energijske funkcije u generalisanim koordinatama 39
T = T2 + T1 + T0 , (2.22)
gde je:
n n n
1 XX X
T2 = aij q̇i q̇j , T1 = ai q̇i , T0 = a0 . (2.23)
2 i=1 j=1 i=1
11 U literaturi se često sam sistem čije je kretanje ograničeno skleronomnim vezama naziva
Potencijalna energija
U dinamici posebnu klasu obrazuju potencijalne sile. U klasičnoj mehanici
potencijalne sile se definišu kao sile koje zavise samo od položaja sistema i čiji
je rad na ma kojoj zatvorenoj putanji jednak nuli14 . One se mogu ekvivalentno
definisati i kao sile čiji rad zavisi samo od početnog i krajnjeg položaja sistema,
a ne od putanje kojom sistem prelazi iz jednog položaja u drugi. Ako su ovi
uslovi ispunjeni elementarni rad potencijalnih sila na stvarnim pomeranjima ta-
čaka sistema može da se prikaže u vidu totalnog diferencijala jedne skalarne
funkcije. Stoga ćemo u analizu uvesti potencijalnu energiju Π(rν ) potencijalnih
sila FΠ
ν kao funkciju položaja tačaka sistema čiji je negativni totalni diferencijal
jednak elementarnom radu potencijalnih sila:
N
X N
X ¡ Π ¢
dA = FΠ
ν · drν = Xν dxν + YνΠ dyν + ZνΠ dzν
ν=1 ν=1
N µ
X ¶ N
X
∂Π ∂Π ∂Π
= −dΠ = − dxν + dyν + dzν =− gradν Π · drν .
ν=1
∂xν ∂yν ∂zν ν=1
(2.26)
Odavde se jasno vidi da se potencijalne sile mogu opisati kao negativni gradijenti
potencijalne energije:
FΠ
ν = −gradν Π, ν = 1, . . . , N. (2.27)
sile.
2.3. Energijske funkcije u generalisanim koordinatama 41
Kao što vidimo, generalisane potencijalne sile se dobijaju kao negativni parci-
jalni izvodi potencijalne energije u odnosu na odgovarajuće generalisane koor-
dinate. Koristeći jednačinu (2.30) može se pokazati da je virtualni rad potenci-
jalnih sila jednak negativnoj totalnoj varijaciji potencijalne energije izražene u
generalisanim koordinatama:
n
X Xn
Π ∂Π
δA = Qi δqi = − δqi = − δΠ. (2.31)
i=1 i=1
∂q i
Fν = FΠ ∗
ν + Fν , ν = 1, . . . , N.
Na taj se način mogu prikazati i generalisane sile: one predstavljaju zbir ge-
neralisanih potencijalnih sila, koje se odred̄uju pomoću potencijalne energije,
i generalisanih nepotencijalnih sila Q∗i = Q∗i (t, qk , q̇k ), i, k = 1, . . . , n, koje se
odred̄uju pomoću virtualnog rada nepotencijalnih sila:
N
X ¡ ¢ ∂rν
Qi = FΠ ∗
ν + Fν ·
ν=1
∂qi
N
X N
∂rν X ∗ ∂rν
=− gradν Π · + F · (2.32)
ν=1
∂qi ν=1 ν ∂qi
∂Π
=− + Q∗i ,
∂qi
42 Glava 2. Lagranževa mehanika
∂Π
= 0; i = 1, . . . , n. (2.33)
∂qi
∂Π
QΠ
i =− (t, qi ),
∂qi
∂Π
dAΠ = − dΠ + dt. (2.34)
∂t
Iz ove jednačine sledi da rad potencijalnih sila opisanih uopštenim potencijalom
zavisi i od putanje kojom sistem prelazi iz jednog položaja u drugi, a ne samo
od krajnjih tačaka. Ovaj rezultat će imati direktan uticaj na analizu promene
ukupne mehaničke enerigije materijalnog sistema.
2.3. Energijske funkcije u generalisanim koordinatama 43
L = L2 + L1 + L0 , (2.39)
L2 = T2 , L1 = T1 , L0 = T0 − Π = a0 − Π.
d
L∗ (t, qi , q̇i ) = L(t, qi , q̇i ) + f (t, qi ),
dt
a da pri tome struktura jednačina (2.38) ne bude promenjena. Drugim rečima,
Lagranževa funkcija (2.36) predstavlja tek jedan element čitave klase funkcija
koje mogu opisivati ponašanje nekog sistema.
Druga mogućnost se sastoji u formulisanju inverznog problema: za dati sis-
tem diferencijalnih jednačina drugog reda q̈i = Gi (t, qj , q̇j ) odrediti Lagranževu
funkciju L(t, qi , q̇i ) takvu da posmatrani sistem ima strukturu (2.38). U ovom
problemu se ne nameću nikakva ograničenja u pogledu strukture Lagranžijana
i njegovo rešavanje je predmet posebne analize16 . Ilustrujmo ovaj problem sa
dva primera. Diferencijalna jednačina linearnih harmonijskih oscilacija:
q̈ + ω 2 q = 0,
koja nema nikakve sličnosti sa (2.36). Kao drugi primer poslužiće nam diferen-
cijalna jednačina linearnih prigušenih oscilacija:
q̈ + 2β q̇ + ω 2 q = 0.
Ova jednačina se može dobiti kao Lagranževa jednačina druge vrste za Lagran-
žijan17 :
µ ¶
1 2 1 2 2 2βt
L= q̇ − ω q e .
2 2
f (t, rν , vν ) = const.,
N N
df ∂f X ∂f X ∂f
= + · vν + · Gν (t, rν , vν ) ≡ 0.
dt ∂t ν=1 ∂rν ν=1
∂vν
X n
∂L ∂L2 ∂L1 ∂L0
= + + = aiK q̇i + aK = const. (2.42)
∂ q̇K ∂ q̇K ∂ q̇K ∂ q̇K i=1
Jakobijev integral
Posmatrajmo holonomni mehanički sistem čije je ponašanje u potpunosti
opisano Lagranževom funkcijom L i jednačinama (2.38).
Odavde sledi: ( )
n
X
d ∂L
q̇i −L = 0. (2.45)
dt i=1
∂ q̇i
Pošto je totalni izvod veličine u zagradi jednak nuli, ona će duž trajektorije
sistema opisane jednačinama (2.38) biti konstantna i važiće prvi integral (2.44).
Dobijeni zakon održanja predstavlja Jakobijev integral. ¥
X n
∂L
= aij q̇j + ai ,
∂ q̇i i=1
Primer 2.4 Za kretanje materijalne tačke mase m u polju dejstva centralne sile
F(r) = F (r)er formirati Lagranževu funkciju, Lagranževe jednačine druge vrste
i odrediti njihove prve integrale.
I Kretanje tačke u polju dejstva centralne sile jeste slobodno kretanje pod
dejstvom potencijalne sile koja je funkcija rastojanja tačke od centra dejstva.
Kao što je poznato, pod dejstvom centralne sile tačka vrši kretanje u ravni i
za generalisane koordinate koje odred̄uju njen položaj možemo usvojiti polarne
2.4. Prvi integrali Lagranževih jednačina druge vrste 49
I Ovaj problem će biti rešen na dva načina - korišćenjem dva različita skupa
generalisanih koordinata.
Pošto se materijalne tačke kreću samo u horizontalnom pravcu, za generali-
sane koordinate ćemo najpre usvojiti x i y koordinate kojima se odred̄uje njihov
položaj u odnosu na neko nepokretno referentno telo. Tada je kinetička energija
materijalnog sistema jednaka:
1 1
T =m1 ẋ2 + m2 ẏ 2 .
2 2
Potencijalna energija potiče isključivo od sile u opruzi, koja predstavlja unutra-
šnju silu22 :
1
Π(x, y) = c (y − x − l0 )2 .
2
Lagranževa funkcija materijalnog sistema ima sledeći oblik:
1 1 1
L=T −Π= m1 ẋ + m2 ẏ − c (y − x − l0 )2 ,
2 2 2
dok Lagranževe jednačine druge vrste, čiji je opšti oblik:
µ ¶
d ∂L ∂L
− = 0,
dt ∂ ẋ ∂x
µ ¶
d ∂L ∂L
− = 0,
dt ∂ ẏ ∂y
22 Potencijalna energija sila težina tačaka je konstantna i ne doprinosi strukturi diferencijal-
m1 ẍ − c (y − x − l0 ) = 0,
m2 ÿ + c (y − x − l0 ) = 0.
∂L ∂L
ẋ
+ ẏ −L=
∂ ẋ ∂ ẏ
1 1 1
= m1 ẋ2 + m2 ẏ 2 + c (y − x − l0 )2 = const.,
2 2 2
koji predstavlja zakon održanja ukupne mehaničke energije.
Očigledno je da ni koordinata x, ni koordinata y, u odnosu na koje je izra-
žena Lagranževa funkcija, nisu ciklične koordinate, pa odgovarajuće Lagranževe
jednačine nemaju ciklični integral. Med̄utim, lako se pokazuje da se sabiranjem
diferencijalnih jednačina dolazi do sledećeg rezultata:
d
m1 ẍ + m2 ÿ = (m1 ẋ + m2 ẏ) = 0 ⇒ m1 ẋ + m2 ẏ = const.,
dt
što predstavlja zakon održanja količine kretanja.
Posmatrajmo sada kretanje istog sistema uz pomoć generalisanih koordinata
x i s, gde je s med̄usobno rastojanje tačaka mereno od tačke P1 23 . Sa ovim
izborom generalisanih koordinata kinetička i potencijalna energija postaju:
1 1 1
T = m1 ẋ2 + m2 (ẋ + ṡ)2 , Π(s) = c (s − l0 )2 .
2 2 2
Lagranževa funkcija sistema glasi:
1 1 1
L=T −Π= m1 ẋ2 + m2 (ẋ + ṡ)2 − c (s − l0 )2 ,
2 2 2
a Lagranževe jednačine druge vrste imaju sledeću strukturu:
m1 ẍ + m2 (ẍ + s̈) = 0,
m2 (ẍ + s̈) + c (s − l0 ) = 0.
Ove diferencijalne jednačine kretanja imaju dva nezavisna prva integrala. Prvi
je, kao i u prethodnom slučaju, Jakobijev integral neizmenjenog fizičkog tuma-
čenja:
∂L ∂L 1 1 1
ẋ + ṡ − L = m1 ẋ2 + m2 (ẋ + ṡ)2 + c (s − l0 )2 = const.
∂ ẋ ∂ ṡ 2 2 2
23 U ovom problemu koordinate x i y predstavljaju apsolutne koordinate, a s relativnu
koordinatu.
52 Glava 2. Lagranževa mehanika
aran po generalisanim brzinama postoje lokalne koordinate od kojih je jedna (koja odgovara
uočenom integralu) ciklična.
2.5. Energijska analiza u generalisanim koordinatama 53
Ova jednačina se može transformisati tako što će se na prvi član primeniti
Lajbnicova formula za izvod proizvoda, sa leve strane dodati i oduzeti izraz
∂T /∂t, dok će se sa desne strane isto učiniti sa izrazom ∂Π/∂t:
à n ! n n
d X ∂T X ∂T X ∂T ∂T ∂T
q̇i − q̈i − q̇i − + =
dt i=1 ∂ q̇i i=1
∂ q̇ i i=1
∂qi ∂t ∂t
Xn n
∂Π ∂Π ∂Π X ∗
− q̇i − + + Qi q̇i .
i=1
∂qi ∂t ∂t i=1
Ako je pri tome i polje potencijalnih sila stacionarno, onda će se ukupna meha-
nička energija menjati po sledećem zakonu:
X n
dE
= Q∗i q̇i . (2.50)
dt i=1
dE
=0 ⇒ E = T + Π = const. (2.51)
dt
Dokaz: Relacija (2.51) trivijalno sledi iz jednačine (2.50) pošto u konzer-
vativnim sistemima po pretpostavci nema nepotencijalnih generalisanih sila:
Q∗i = 0, i = 1, . . . , n. Budući da u jednačini (2.51) ne figurišu generalisana
ubrzanja q̈i , zakon održanja energije predstavlja prvi integral Lagranževih jedna-
čina druge vrste. ¥
25 Pojam snage nepotencijalnih sila se uvodi na uobičajeni način, kao brzina vršenja rada, a u
P
generalisanim
Pn koordinatama se u slučaju stacionarnih veza svodi na P = dAdt
= N ∗
ν=1 Fν ·vν =
Q ∗ q̇ .
i=1 i i
2.5. Energijska analiza u generalisanim koordinatama 55
Klasifikacija sila
Analiza promene ukupne mehaničke energije u generalisanim koordinatama
pruža motiv za jednu novu klasifikaciju sila. Osim podele na potencijalne i
nepotencijalne sile, moguće je izvršiti i klasifikaciju nepotencijalnih sila koja je
zasnovana pojmu snage.
Xn
∂Π
δAΠ = − δqi = −δΠ. (2.52)
i=1
∂qi
dE
≤ 0.
dt
To znači da pod dejstvom disipativnih sila dolazi do rasipanja, disipacije me-
haničke energije. Tačnije rečeno, vrši se njena transformacija u neki drugi vid
energije (toplotnu, električnu . . . ).
Specijalan, ali veoma značajan vid disipativnih sila jesu linearne disipativne
sile, opisane sledećim jednačinama:
n
X
Q∗i = − bij q̇j , i = 1, . . . , n, (2.54)
j=1
n X
X n
bij q̇i q̇j ≥ 0. (2.56)
i=1 j=1
56 Glava 2. Lagranževa mehanika
Kao posledica uslova (2.56) sile (2.54) zadovoljavaju definiciju disipativnih sila
(2.53):
Xn n X
X n
Q∗i q̇i = − bij q̇i q̇j ≤ 0,
i=1 i=1 j=1
Tada se generalisane sile mogu izračunati kao negativni parcijalni izvodi Rejli-
jeve funkcije po generalisanim brzinama:
∂Φ
Qi = − i = i, . . . , n. (2.58)
∂ q̇i
rC = xi + yj + zk, (2.64)
ρ1 = −p e, ρ2 = q e,
(2.65)
p + q = r.
1 2 1 2 1 2
T = M vC + m1 vr1 + m1 vr1 , (2.71)
2 2 2
gde je M = m1 + m2 . Relativne brzine tačaka P1 i P2 u odnosu na centar mase
C odred̄uju se na sledeći način:
m2
vr1 = ρ̇1 = − (ṙ e + r ė) ,
m1 + m2
m1
vr2 = ρ̇2 = (ṙ e + r ė) . (2.72)
m1 + m2
d
e·e=1 ⇒ (e · e) = 2 e · ė = 0.
dt
Pored toga, za odred̄ivanje brzina neophodno je odred̄ivanje izvoda vektora e:
³ ´
ė = − ψ̇ sin ψ cos ϕ − ϕ̇ cos ψ sin ϕ i
³ ´
+ − ψ̇ sin ψ sin ϕ + ϕ̇ cos ψ cos ϕ j
+ ψ̇ cos ψ k,
ė · ė = ψ̇ 2 + ϕ̇2 cos2 ψ.
1 ¡ 2 ¢ 1 ³ ´
T = M ẋ + ẏ 2 + ż 2 + µ ṙ2 + r2 ψ̇ 2 + r2 ϕ̇2 cos2 ψ . (2.73)
2 2
U kinetičkoj energiji je uvedena veličina:
m1 m2 1 1 1
µ= ⇔ = + , (2.74)
m1 + m2 µ m1 m2
Kako je dr1 = drC + dρ1 i dr2 = drC + dρ2 , elementarni rad sila uzajamnog
privlačenja će se svesti na:
Dakle, centar mase se kreće jednoliko pravolinijski (ili miruje) zato što se ovde
radi o sistemu koji se kreće samo pod dejstvom unutrašnjih sila.
62 Glava 2. Lagranževa mehanika
Uočimo još jedno značajno svojstvo ovog problema koje je u vezi sa upravo
dobijenim rezultatom: jednačine koje odred̄uju kretanje centra mase nemaju
nikakvog uticaja na strukturu ostalih jednačina koje opisuju kretanje sistema
u odnosu na centar mase. U matematičkom smislu to je posledica činjenice da
su jednačine koje opisuju kretanje centra mase potpuno nezavisne od ostalih.
U fizičkom smislu, pošto centar mase vrši kretanje po inerciji, koordinate r, ϕ
i ψ opisuju relativno kretanje tela u odnosu na inercijalni koordinatni sistem
vezan za centar mase. Stoga se problem dva tela može tretirati kao problem kre-
tanja jednog tela, čija je masa jednaka redukovanoj masi sistema, pod dejstvom
centralne sile.
Pogledajmo sada kakva je struktura ostale tri jednačine. Cikličnoj koordinati
ϕ odgovara ciklični integral sledećeg oblika:
∂L
= µr2 ϕ̇ cos ψ = const., (2.79)
∂ ϕ̇
kao i izraz za kinetičku energiju krutog tela koje se obrće oko nepokretne ose:
1¡ ¢
T = Jξ ωξ2 + Jη ωη2 + Jζ ωζ2 ,
2
dobijamo kinetičku energiju Lagranževog giroskopa u sledećem obliku:
1 ³ ´ 1 ³ ´2
T = A θ̇2 + ψ̇ 2 sin2 θ + C ϕ̇ + ψ̇ cos θ . (2.88)
2 2
Sa druge strane, ako je masa giroskopa jednaka m, potencijalna energija sile
težine će imati sledeći oblik:
a − b cos θ
Aψ̇ sin2 θ + b cos θ = a ⇒ ψ̇ = .
A sin2 θ
Pomoću ovog rezultata jednačina (2.93) se svodi na diferencijalnu jednačinu
drugog reda po promenljivoj θ u kojoj figurišu integracione konstante a i b:
· ¸
a − b cos θ a − b cos θ
Aθ̈ + b− cos θ − mgl sin θ = 0. (2.94)
A sin θ sin2 θ
1 (a − b cos θ)2 b2
Aθ̇2 + − mgl cos θ = E 0
= E − , (2.95)
2 2A sin2 θ 2C
što zapravo predstavlja prvi integral jednačine (2.94).
Pogledajmo sada kako se polazeći od jednačine (2.95) problem kretanja
Lagranževog giroskopa svodi na kvadraturu28 . Naime, ova jednačina se mo-
že transformisati na sledeći oblik:
Pošto pod korenom u integralu figuriše polinom trećeg stepena, dobijeni rezultat
može biti izražen u formi eliptičkih funkcija, ali se na analizi njegovog svod̄enja
na pomenutu formu nećemo zadržavati. Dobijena jednačina, zajedno sa prvim
integralima (2.91) i (2.92), omogućuje da se na kvadraturu svede i odred̄ivanje
druga dva Ojlerova ugla ψ(t) i ϕ(t) u funkciji vremena.
Proučavanje kretanja giroskopa u Lagranževom slučaju se može u kvalita-
tivnom smislu izvršiti na osnovu jednačine (2.97). Ono se obično vrši kroz
28 Pod kvadraturom se podrazumeva svod̄enje rešenja problema na jednu integraciju, neza-
analizu kretanja apeksa - krajnje tačke jediničnog vektora ν pokretne ose Oζ.
Trajektorija apeksa je kriva koja se nalazi na jediničnoj sferi sa centrom u
nepokretnoj tački O, a koordinate tačke su odred̄ene Ojlerovim uglovima ψ i θ.
Detaljnom analizom jednačine (2.97) može se pokazati da trajektorija apeksa le-
ži na sferi izmed̄u dva kruga θ1 = const. i θ2 = const. na kojima se θ̇ izjednačava
sa nulom.
Med̄utim, kretanje giroskopa može imati i drugačija svojstva. Ako je po-
četna vrednost ugaone brzine sopstvene rotacije jednaka nuli ϕ̇(0) = 0, onda
će se giroskop ponašati kao fizičko klatno - vršiće oscilatorno kretanje izmed̄u
dva ekstremna položaja, a trajektorija apeksa će biti kružni luk u vertikalnoj
ravni. Uzrok za ova potpuno različita ponašanja giroskopa leži u postojanju
giroskopskog momenta u prvom slučaju, i njegovog odsustva u drugom. De-
taljniju studiju giroskopskog momenta zainteresovani čitalac može naći u udž-
beniku [53].
Fukoovo klatno
Posmatrajmo materijalnu tačku mase m koja je pomoću užeta dužine l o-
kačena o tačku A. Ako se pretpostavi da se kretanje vrši u odnosu na inerci-
jalni koordinatni sistem dolazimo do klasičnih problema matematičkog, odnosno
sfernog klatna. Med̄utim, ako je tačka vešanja A vezana za neko pokretno telo
koje ne vrši kretanje po inerciji, onde se u obzir mora uzeti i kretanje referentnog
sistema.
Rukovod̄en pretpostavkom da referentni sistem vezan za Zemlju nije inerci-
jalan Fuko je 1851. godine izveo eksperiment kojim je potvrdio ovu hipotezu i
na taj način dokazao da Zemlja vrši obrtanje oko svoje ose. Opit je izvršen pod
velikom kupolom pariskog Panteona gde je o žicu dužine 70m bilo okačeno telo
mase 28kg na čijem se kraju nalazila jedna oštrica. Ona je prilikom kretanja
ostavljala trag u pesku koji je bio posut po podu Panteona.
Kakav je bio ishod ovog eksperimenta? Klatno, koje je pušteno da se kreće
bez početne brzine, ostavljalo je trag koji je ukazivao da se ravan oscilovanja
klatna tokom vremena menja, odnosno obrće. Ovaj rezultat je ukazivao na
ispravnost pretpostavke da sistem u kom se nalaze klatno i posmatrač nije iner-
cijalan.
šini Zemlje koordinatni sistem kod kog je z-osa normalna na površinu, x-osa
ima pravac tangente na uporednik i usmerena je od zapada ka istoku, a y-osa
ima pravac tangente na meridijan i usmerena je ka severnom polu. Ugaona
brzina Zemlje je Ω i usmerena je od juga ka severu. Položaj tačke u odnosu na
koordinatni sistem vezan za Zemlju odred̄en je vektorom položaja ρ = xi + yj +
zk, a odgovarajuća relativna brzina:
vr = ρ̇ = ẋi + ẏj + żk. (2.99)
Da bi se formirale korektne jednačine kretanja mora se izračunati apsolutna
brzina tačke. Stoga je neophodno odrediti prenosnu brzinu vp = vO + Ω × ρ,
gde je v0 = Ω × R brzina koordinatnog početka. Budući da je ugaona brzina
Zemlje Ω = Ω cos θj + Ω sin θk i R = Rk, gde je R poluprečnik Zemlje, dobija
se:
vp = (RΩ cos θ + zΩ cos θ − yΩ sin θ)i
(2.100)
+ xΩ sin θj − xΩ cos θk.
Otuda se apsolutna brzina dobija kao v = vr + vp . Sada se Lagranževa funkcija
može zapisati u obliku:
1
L=T −Π= mv 2 − mgz. (2.101)
2
Primetimo najpre da u jednačinama (2.99)-(2.101) figurišu veličine koje nisu
med̄usobno nezavisne. Koordinate materijalne tačke u pokretnom referentnom
sistemu su povezane relacijom:
f (x, y, z) = x2 + y 2 + (z − l)2 − l2 = 0,
odakle se z i ż mogu izraziti u funkciji nezavisnih parametara stanja:
p xẋ + y ẏ
z = l − l2 − x2 − y 2 , ż = p .
l − x2 − y 2
2
U isto vreme treba uočiti da Lagranžijan sadrži veličine koje nisu istog reda. Na
primer, poluprečnik Zemlje je R = 6370 km, a dužina klatna iznosi l = 70 m.
Pored toga, oscilacije Fukoovog klatna se mogu tretirati kao male29 zbog čega z
koordinata predstavlja malu veličinu višeg reda u pored̄enju sa x i y. Zbog toga
se u izrazu za kinetičku energiju svi članovi koji sadrže z ili ż mogu zanemariti,
a kod potencijalne energije se u razvoju u Maklorenov red možemo zadržati na
malim veličinama drugog reda:
1 £ 2
L= m ẋ + ẏ 2 − 2(y ẋ − xẏ)Ω sin θ
2
+ 2RΩẋ cos θ + (x2 + y 2 )Ω2 sin θ
¤ (2.102)
−2RΩ2 y sin θ cos θ + R2 Ω2 cos θ
mg 2
− (x + y 2 ).
2l
29 Amplituda oscilovanja u Oxy-ravni je reda veličine 1 − 2 m.
68 Glava 2. Lagranževa mehanika
ẅ + 2iβ ẇ + α2 w = 0. (2.106)
Njime se, pod pretpostavkom da su sve veze idealne, postulira relacija koja
mora biti zadovoljena u svakom trenutku vremena i za svako virtualno pomeranje
posmatranog sistema. Zbog činjenice da jednačina (2.4) mora važiti za svako
kretanje sistema i u svakom trenutku vremena za Lagranž-Dalamberov princip
kažemo da je lokalnog karaktera. U analitičkoj mehanici ova vrsta principa se
naziva diferencijalnim varijacionim pricipima.
Uporedo sa ovom klasom principa postoji i druga klasa koja je globalnog
karaktera: ona se odnosi na ceo vremenski interval i ceo prostor u kom se odvija
kretanje. Ova klasa principa je po pravilu ekstremalnog karaktera, odnosno
zasnovana je na tvrd̄enju da odred̄ena veličina tokom kretanja sistema ima sta-
cionarnu vrednost. Med̄u njima je sigurno najpoznatiji Hamiltonov varijacioni
princip ili princip minimuma dejstva.
čin. Ovde ćemo se zadržati na onim funkcijama kod kojih se diferencijabilnost poistovećuje
sa egzistencijom prvog izvoda u posmatranoj tački.
2.7. Hamiltonov varijacioni princip 71
f 0 (x0 ) = 0. (2.108)
Varijacioni princip
Posmatrajmo kretanje mehaničkog sistema sa n stepeni slobode čiji je polo-
žaj u svakom trenutku vremena t odred̄en generalisanim koordinatama qi (t).
Pretpostavimo da u intervalu t ∈ (t0 , t1 ) sistem prelazi iz poznatog početnog
položaja qi (t0 ) = αi u poznati krajnji položaj qi (t1 ) = βi i da je njegovo pona-
šanje u potpunosti opisano Lagranžijanom L(qi , q̇i , t). Posmatrajmo sve trajek-
torije koje zadovoljavaju ove granične uslove i pretpostavimo da su neprekidne
i imaju neprekidne prve izvode35 . Tada se može definisati sledeći skup funkcija:
© ª
D = qi (t) ∈ C1 (t0 , t1 ) : qi (t0 ) = αi , qi (t1 ) = βi , i = 1, . . . , n . (2.109)
Definicija 2.4 Funkcija q̂(t) = (q̂1 (t), . . . , q̂n (t)), q̂i (t) ∈ D koja funkcionalu
(2.110) saopštava stacionarnu vrednost zove se ekstremala ili direktna trajek-
torija. Ona zadovoljava jedan od sledeća dva uslova36 :
Izraz:
δqi (t) = εϕi (t) = qi (t) − q̂i (t), (2.115)
zove se varijacija funkcije i u potpunosti je saglasan sa pojmom virtualnog
pomeranja mehaničkog sistema38 .
Ako se vrednost funkcionala (2.110) računa na jednoj od variranih trajek-
torija, onda će on postati funkcija realnog parametra ε:
realne promenljive.
37 Pojam bliskosti funkcija vezan je za pojam metrike ili norme posmatranog prostora
funkcija i njemu će veća pažnja biti posvećena kasnije. Ovde će se bliskost funkcija treti-
rati na heuristički način.
38 Pošto su i direktna, i varirana trajektorija saglasne sa vezama, varijacija (2.115) opisuje
Vanintegralni član će biti jednak nuli zbog uslova (2.114). U isto vreme će
zbog osnovne leme varijacionog računa39 izrazi u uglastim zagradama, koji su
računati duž direktne trajektorije, biti jednaki nuli, odnosno važiće (2.112). ¥
Ricov metod
U prethodnom primeru smo videli da je u funkciji q (3) (t) figurisao jedan
parametar čija vrednost nije bila unapred zadata, već je bila usvojena. Os-
talo je otvoreno pitanje da li je ona bila usvojena na najbolji način - tako
da funkcional ima najmanju vrednost u toj klasi funkcija (u prikazanom slu-
čaju kvadratnih). Budući da se uvrštavanjem ovog rešenja funkcional svodi na
funkciju jedne promenljive J(q (3) ) = J(c), problem odred̄ivanja optimalne vred-
nosti parametra c = c0 , one pri kojoj će funkcional imati stacionarnu vrednost,
svodi se na odred̄ivanje stacionarne tačke funkcije J(c):
J 0 (c0 ) = 0.
π 3 c0 π 5 c0 π3 h
J 0 (c0 ) = 3
− 3
+ = 0,
24 ω 960 ω 96 ω
odakle sledi:
10
c0 = − hω 2 ,
40 − π 2
a rešenje dobijeno ovim postupkom za c = c0 glasi:
· ³ ¸
2 10 π´
qRitz (t) = ωt h− h ωt − .
π 40 − π 2 2
J(qRitz ) = 0.0029,
što znači da ovako formirana kvadratna funkcija vrlo dobro aproksimira tač-
no rešenje. Dobijeno rešenje prikazano je i na Slici 2.10, gde je upored̄eno sa
dopustivim funkcijama iz navedenog primera i tačnim rešenjem q̂(t) = q (1) (t).
76 Glava 2. Lagranževa mehanika
∂J
= 0; i = 1, . . . , k. (2.122)
∂ci
q̄ = q̄(t, c1 , . . . , ck ), (2.123)
N =1 N =2
3 3 19 1
c1 + c2 + c3 = ;
10 20 210 12
3 13 79 1
c1 + c2 + c3 = ;
20 105 840 20
19 79 103 1
c1 + c2 + c3 = .
210 840 1260 30
5
x̄1 (t) = t(1 − t);
18
71 7
x̄2 (t) = t(1 − t) + t2 (1 − t);
369 41
13811 2380 2 7 3
x̄3 (t) = t(1 − t) + t (1 − t) − t (1 − t).
73554 12259 299
Njihovim uvrštavanjem u Hamiltonovo dejstvo dobija se:
J(x̂) = −0.012287,
Usvajajnjem oznaka (2.126) dobijena relacija se svodi na traženi oblik dat jedna-
činom (2.125). ¥
hipotezu. Ako se ona ne bi uzela u obzir, onda bi postojala mogućnost da se za sisteme koji su u
potpunosti opisani Lagranževom funkcijom jednačine kretanja formiraju kao neophodni uslovi
ekstrema u varijacionom zadatku sa ograničenjima u vidu diferencijalnih jednačina. Ovaj se
pravac analize zove vakonomna mehanika, i čitalac o njemu može više saznati u [3] i [54].
Treba napomenuti da se jednačine kretanja dobijene ovim postupcima razlikuju, što otvara
pitanje korektnosti modela. U radu [58] je napomenuto da vakonomni modeli ne daju uvek
korektan opis mehaničkih sistema. Oni se, med̄utim, mogu uspešno koristiti u problemima
optimalnog upravljanja.
82 Glava 2. Lagranževa mehanika
ževom funkcijom i ograničeni su homogenim kinematskim vezama (aβ (t, qi ) = 0) mogu svesti
na normalnu formu, odnosno rešiti u odnosu na ubrzanja eliminišući pri tome Lagranževe
množitelje iz jednačina kretanja.
46 Ovo je u vezi sa teoremom Raševskog-Čoua koja je bila spomenuta u Glavi 1. prilikom
I Prvi korak u rešavanju problema je, kao i kod holonomnih sistema, odred̄i-
vanje dinamičkih veličina u funkciji generalisanih koordinata i brzina. Med̄utim,
zbog potrebe formiranja jednačina kinematskih veza potrebno je sve kinemati-
čke veličine izraziti na što pogodniji način, da bi se simbolička računica svela
na najmanju moguću meru. Primetimo najpre da se zbog geometrijskog ograni-
čenja centar mase sfere C kreće po površi zamišljenog cilindra poluprečnika
ρ = b − a koji je koaksijalan sa stvarnim cilindrom. Stoga je pogodno uvesti
trijedar jediničnih vektora polarno-cilindričnog koordinatnog sistema Oe1 e2 e3 ,
prikazan na Slici 2.11. Sada se može uočiti da se centar mase C i tačka dodira
sfere i cilindra D nalaze u pokretnoj ravni odred̄enoj vektorima e1 i e3 . Odatle
sledi da je brzina centra mase:
vC = ρα̇e2 + że3 .
ω = ωx i + ωy j + ωz k = ω1 e1 + ω2 e2 + ω3 e3 .
Zbog toga je zgodno formirati tablicu čiji su elementi skalarni proizvodi odgova-
rajućih jediničnih vektora, odnosno kosinusi uglova koje oni obrazuju. U našem
problemu ona ima sledeću strukturu:
i j k
e1 cos α sin α 0
e2 − sin α cos α 0
e3 0 0 1
Lα = λ1 ρ; L z = λ2 ; Lψ = λ1 a;
Lθ = −λ2 a sin(ψ − α); Lϕ = λ1 a cos θ + λ2 a sin θ cos(ψ − α),
α̈ = 0 ⇒ α̇ = Ω = const.,
ω̇1 = Ωω2 .
ż = aω2 ⇒ z̈ = aω̇2 ,
2.8. Neholonomni sistemi 87
odnosno:
√ µ ¶
aA a2 + k 2 kΩ
z(t) = − cos √ t + B + z0 .
kΩ a2 + k 2
Primetimo da nam poslednja jednačina otkriva jedno važno svojstvo kretanja
sfere koje je direktna posledica postojanja kinematske veze:√ ona ne pada jer se
centar
√ mase C kreće u ograničenoj oblasti z ∈ [z0 − (aA a2 + k 2 )/(kΩ), z0 +
(aA a2 + k 2 )/(kΩ)].
U ovom problemu je interesantno odrediti i protumačiti reakcije idealnih
neholonomnih veza. Iz jednačine (2.130) dobijaju se sledeći rezultati:
Rα = λ1 ρ = ρα̈ = 0;
µ ¶
kΩ kΩ
Rz = λ2 = z̈ + g = aA √ cos √ t+B + g;
a2 + k 2 a2 + k 2
Rψ = λ1 a = 0;
Rθ = −λ2 a sin(ψ − α);
Rϕ = λ2 a sin θ cos(ψ − α),
λ1 = 0; λ2 = z̈ + g.
odakle sledi:
Ω > 0.
Dakle, ako je Ω > 0, što je u opštem slučaju ispunjeno, sfera se neće odvojiti
od cilindra. Sa druge strane, uslov neproklizavanja se svodi na FT < µN . Sila
trenja i normalna reakcija su:
q
FT = R22 + R32 = |R3 |
µ ¶
kΩ kΩ kΩ
= aA √ cos √ t + B + g ≤ aA √ + g;
2
a +k 2 2
a +k 2 a + k2
2
N = |R1 | = ρΩ2 ,
odakle se dobija nejednakost:
kΩ
aA √ + g < µρΩ2 .
a2+ k2
Ako su zadati parametri sistema k, a i ρ i fizički parametri µ i g, poslednja
nejednakost nameće dodatno ograničenje početnim uslovima problema koji uti-
ču na vrednosti integracionih konstanti Ω i A. J
49 Neimark i Fufaev [41] ovaj problem rešavaju na drugi način. Oni formiraju Lagranževe
1
Lq̈ + q = 0,
C
mẍ + cx = 0,
RLC kolo. Ovo električno kolo se dobija kada se u konturu LC kola doda
otpornik čiji je otpor R = const. Tada će matematički model ponašanja RLC
kola biti:
1
Lq̈ + Rq̇ + q = 0.
C
Njemu je potpuno ekvivalentan mehanički model oscilatora sa prigušenjem čiji
je koeficijent prigušenja b:
mẍ + bẋ + cx = 0.
ne = r − (s − 1) = r − s + 1. (2.136)
Q = −u = −R i = −R q̇. (2.140)
gde je sa α označen ukupan broj otpornika u električnom kolu. I ovde se, kao
i u slučaju kinetičke i potencijalne energije, dobijene relacije (2.140) i (2.141)
moraju transformisati korišćenjem jednačina veza.
Zadaci
2.1 Za materijalne tačke P1 i P2 povezane lakim krutim štapom, analizirane u
Primeru 2.2, pokazati da su virtualni priraštaji generalisanih koordinata koje
odred̄uju njihov položaj med̄usobno nezavisni i proizvoljni.
gde je L̄(Qi , Q̇i , t) = L(qj (Qi , t), q̇j (Qi , Q̇i , t), t). To znači da su Lagranževe
jednačine druge vrste kovarijantne u odnosu na datu transformaciju koordinata.
Zadaci 95
2.4 Ojlerov slučaj kretanja giroskopa. Za homogeno kruto telo koje može da
se obrće oko nepokretne tačke koja se poklapa sa njegovim centrom mase C
(ξC = ηC = ζC = 0) formirati Lagranževe jednačine druge vrste usvajajući za
generalisane koordinate Ojlerove uglove ψ, θ i ϕ i odrediti njihove prve integrale.
2.7 Materijalna tačka mase m kreće se u ravni pod dejstvom dve privlačne sile
iz centara C1 i C2 koji se nalaze na med̄usobnom rastojanju 2c. Intenziteti
sila su obrnuto proporcionalni kvadratima rastojanja r1 i r2 od centara privla-
čenja: F1 = k1 /r12 i F2 = k2 /r22 . Formirati Lagranževu funkciju i Lagranževe
jednačine druge vrste za kretanje tačke usvajajući za generalisane koordinate
eliptične koordinate λ i µ definisane sledećim izrazima:
r2 + r1 r2 − r1
λ= , µ= .
2c 2c
Konstante m, c, k1 i k2 smatati poznatim.
2.8 Za kretanje tačke u ravni, u polju sile sa potencijalom Π(x, y), formi-
rati Lagranžijan u paraboličnim koordinatama q1 i q2 , koje su sa Dekartovim
povezane jednakostima:
q1 − q2 √
x= , y= q1 q2 .
2
96 Glava 2. Lagranževa mehanika
2.17 Fukoovo klatno. Male oscilacije klatna velike dužine l u odnosu na površinu
Zemlje, poznatijeg kao Fukoovo klatno, opisane su sledećim sistemom diferenci-
98 Glava 2. Lagranževa mehanika
jalnih jednačina:
ẍ − 2β ẏ + α2 x = 0,
ÿ + 2β ẋ + α2 y = 0,
gde je α2 = g/l, a β = Ω sin θ, pri čemu Ω predstavlja ugaonu brzinu Zemlje,
a θ je geografska širina mesta na kom se nalazi klatno. Ravan Oxy je tan-
gentna ravan u odnosu na površinu Zemlje. Analizirati karakter sila pod čijim
se dejstvom vrše male osciacije klatna. Formirati Lagranževu funkciju za koju
će diferencijalne jednačine kretanja Fukoovog klatna predstavljati Lagranževe
jednačine druge vrste.
π 2 1 2 4 β 3 β2 4
L= q̇ + q + q + q ,
2 2 3π 2
ali i iz Lagranževe funkcije oblika:
µ ¶
π 4 π 4 π
L = q̇ 2 + πq + βq 2 q̇ + q 2 + βq 3 + β 2 q 4 .
2 3 2 3 2
ẍ + (π/2)2 x = 0,
x(0) = 1, x(1) = 0.
(1 − t)1/3
ẍ + λ = 0;
x1/3
x(0) = x(1) = 0,
ẍ + λx = 0, 0 < t < 1,
x(0) = x(1) = 0.
d2 x
= ex − e−x ,
dt2
x(0) = A, lim x(t) = 0.
t→∞
Zadaci 101
Hamiltonova mehanika
105
106 Glava 3. Hamiltonova mehanika
X n
∂L ∂T
pi = = = aij (t, qk )q̇j + ai (t, qk ), (3.2)
∂ q̇i ∂ q̇i j=1
gde su generalisane brzine q̇i pomoću jednačine (3.3) izražene u funkciji vremena
t, generalisanih koordinata qi i generalisanih impulsa pi 4 .
ponašanje.
4 U daljem tekstu se ova činjenica neće posebno naglašavati, ali će biti jasno u kojim se
Med̄utim,
Pn neposrednom primenom operatora diferenciranja na definicioni izraz
HL = i=1 pi q̇i − L(t, qi , q̇i ), bez prethodne zamene generalisanih brzina pomo-
ću jednačine (3.3), dolazimo do sledećeg izraza:
n
X n
X Xn Xn
∂L ∂L ∂L
dHL = pi dq̇i + q̇i dpi − dqi − dq̇i − dt
i=1 i=1 i=1
∂qi i=1
∂ q̇i ∂t
n
X Xn
∂L ∂L
= q̇i dpi − dqi − dt,
i=1 i=1
∂qi ∂t
∂H ∂H
q̇i = , ṗi = − , i = 1, . . . , n. (3.10)
∂pi ∂qi
Q∗i = Q∗i (t, qi , q̇i )q̇i =ϕi (t,qj ,pj ) = Q∗i (t, qi , pi ). (3.11)
činama.
6 U suštini, ova grupa jednačina reprodukuje jednačine (3.3), ovoga puta formalno izražene
posredstvom Hamiltonijana.
3.2. Prvi integrali Hamiltonovih kanonskih jednačina 109
Jakobijev integral
U Lagranževom formalizmu egzistencija Jakobijevog integrala bila povezana
sa pretpostvakom da vreme t ne figuriše eksplicitno u Lagranževoj funkciji
(jednačina (2.43)). Zbog relacije (3.6) ispunjavanje pomenutog uslova impli-
cira da vreme ne figuriše eksplicitno ni u Hamiltonovoj funkciji.
= 2 T2 + T1 − (T2 + T1 + T0 − Π) ,
odnosno:
H = T2 − T0 + Π. (3.17)
3.2. Prvi integrali Hamiltonovih kanonskih jednačina 111
p2r p2ϕ m
H = pr ṙ + pϕ ϕ̇ − L = + 2
−γ .
2m 2mr r
Sa ovako odred̄enom Hamiltonovom funkcijom kanonske jednačine (3.10) imaju
sledeći oblik:
∂H pr ∂H p2ϕ m
ṙ = = , ṗr = − = − γ 2,
∂pr m ∂r mr3 r
∂H pϕ ∂H
ϕ̇ = = , p˙ϕ = − = 0.
∂pϕ mr2 ∂ϕ
Iz dobijenih jednačina kretanja neposredno sledi ciklični prvi integral za
koordinatu ϕ, pϕ = Cϕ = const., dok zbog odsustva vremena i Hamiltonova
funkcija predstavlja konstantu kretanja, odnosno Jakobijev integral. H = h =
const. Pomoću ovih rezultata problem se lako može svesti na kvadraturu. Naime,
jednačine za koordinatu r i impuls pr se korišćenjem cikličnog integrala svode
na sledeći sistem:
pr Cϕ2 m
ṙ = , ṗr = − γ 2,
m mr3 r
3.2. Prvi integrali Hamiltonovih kanonskih jednačina 113
1 2 Cϕ2 m
H= mṙ + 2
− γ = h = const.
2 2mr r
Polazeći od ove relacije problem se razdvajanjem promenljivih svodi na kvadra-
turu:
Z rr " #−1/2
m Cϕ2 m
t − t0 = h− +γ dr.
r0 2 2mr2 r
Eksplicitnim odred̄ivanjem inverzne funkcije r = r(t) i njenim uvrštavanjem u
izraz za ciklični generalisani impuls pϕ dolazi se do rešenja za koordinatu ϕ:
Z t
Cϕ
pϕ = mr2 (t)ϕ̇ = Cϕ ⇒ ϕ(t) − ϕ0 = 2 (t)
.
0 mr
Na ovaj način problem je sveden na kvadraturu. J
1 2 2
T = ml ϕ̇ ; Π = −mgl cos ϕ ;
2
1 2 2
L=T −Π= ml ϕ̇ + mgl cos ϕ.
2
Odavde se lako dolazi do generalisanog impulsa p i odgovarajuće Hamiltonove
funkcije:
∂L p
p= = ml2 ϕ̇ ⇒ ϕ̇ = ;
∂ ϕ̇ ml2
p2
H = pϕ̇ − L = − mgl cos ϕ.
2ml2
Hamiltonove kanonske jednačine u ovom problemu glase:
∂H p ∂H
ϕ̇ = = ; ṗ = − = −mgl sin ϕ .
∂p ml2 ∂ϕ
11 Ovde koristimo opšti oblik energijskih funkcija, jer nam je cilj da izvršimo opštu analizu
H 1
H̄ = = p̄2 − cos ϕ ,
mgl 2
vidimo da će biti zastupljeni svi navedeni slučajevi. Kada je E = Eeq1 jedino
moguće stanje sistema jeste ravnoteža u najnižem položaju ϕ = 0 (koji se ponav-
lja za ϕ = 2nπ, n ∈ Z, ali u fizičkom smislu predstavlja isti položaj ravnoteže).
Kada je E = Eosc > Eeq1 kretanje se vrši u ograničenoj oblasti čije su rubne
tačke odred̄ene jednačinom Π̄ = Eosc . Ovo odgovara oscilatornom kretanju, pri
čemu se mogu pojaviti i male, i velike oscilacije klatna, a fazne trajektorije Tosc
su zatvorene krive linije. Interesantno je da se za male oscilacije klatna (ϕ ¿ 1)
fazne trajektorije mogu dobiti u dobro poznatom implicitnom obliku:
1 2 1 2
p̄ + ϕ = Ē ,
2 2
koji predstavlja jednačinu centralnog kruga u faznoj ravni poluprečnika Ē =
E + 1.
Treći slučaj je vrlo karakterističan jer u sebi sadrži dve vrste kretanja. Kada
je Π = Eeq2 = Esep = 1 može se uočiti beskonačno mnogo ravnotežnih položaja
ϕ = (2n + 1)π, n ∈ Z, koji fizički svi odgovaraju jednom, najvišem položaju
ravnoteže ϕ = ±π. Pored toga, istoj ukupnoj mehaničkoj energiji odgovaraju
kretanja koja se asimptotski približavaju ravnotežnom položaju, bilo sa leve
ili desne strane. Odgovarajuće fazne trajektorije Tsep nazivaju se separatrise
i povezuju tačke u faznoj ravni koje odgovaraju navedenim ravnotežnim polo-
žajima. One dele faznu ravan na oblast sa trajektorijama oscilatornog kretanja
116 Glava 3. Hamiltonova mehanika
f (qi , pi , t) = const.,
Xn µ ¶
∂F ∂G ∂F ∂G
[F, G] = − (3.24)
i=1
∂qi ∂pi ∂pi ∂qi
1 2
H= p − 2bq 1/2 ; b = const.,
2
konstruisati prve integrale trećeg stepena u odnosu na generalisane impulse.
14 Iako će Poasonova zagrada ovde služiti za kraće formalno zapisivanje odred̄enih relacija,
njen smisao u Hamiltonovom formalizmu je znatno dublji. Ona snabdeva fazni prostor
odred̄enom strukturom koja ima specifičnu geometrijsku interpretaciju. Ovi aspekti Poa-
sonove zagrade su detaljno analizirani u knjizi [4], a čitalac se sa njenim svojstvima može
upoznati i u [56].
15 Ovde se podrazumeva da takvi prvi integrali postoje. Pitanje njihove egzistencije pred-
∂H ∂H
q̇ = = p; ṗ = − = bq −1/2 .
∂p ∂p
df ∂f ∂f ∂H ∂f ∂H
= + −
dt ∂t ∂q ∂p ∂p ∂q
∂a0 3 ∂a1 2 ∂a2 ∂a3
= p + p + p+
∂t
µ ∂t ∂t ∂t ¶
∂a0 3 ∂a1 2 ∂a2 ∂a3
+ p + p + p+ p
∂q ∂q ∂q ∂q
¡ ¢
− 3a0 p2 + 2a1 p + a2 bq −1/2 = 0.
df
= F0 (q, t)p4 + F1 (q, t)p3 + F2 (q, t)p2 + F3 (q, t)p + F4 (q, t) = 0.
dt
Da bi ova jednačina bila zadovoljena svi koeficijenti moraju biti jednaki nuli,
Fk (q, t) = 0, k = 1, 2, 3, 4, čime se dobija sledeći sistem parcijalnih diferencijal-
nih jednačina16 :
∂a0
F0 (q, t) = = 0;
∂q
∂a0 ∂a1
F1 (q, t) = + = 0;
∂t ∂q
∂a1 ∂a2
F2 (q, t) = + + 3bq −1/2 a0 = 0;
∂t ∂q
∂a2 ∂a3
F3 (q, t) = + + 2bq −1/2 a1 = 0;
∂t ∂q
∂a3
F4 (q, t) = + bq −1/2 a2 = 0.
∂t
16 Primetimo da ovom sistemu jednačina nisu nametnuti nikakvi dopunski uslovi - početni ili
granični. Stoga bilo koje netrivijalno rešenje sistema omogućuje konstrukciju prvog integrala.
3.2. Prvi integrali Hamiltonovih kanonskih jednačina 119
Pošto ovaj sistem poseduje beskonačno mnogo stepeni slobode, za njegovu in-
tegrabilnost je potrebno beskonačno mnogo prvih integrala. Iako ovaj zahtev
deluje neostvarivo, dokazano je da postoji beskonačna familija polinomijalnih
prvih integrala koja Todinu rešetku čini integrabilnom. Na primer, za periodi-
čnu19 troatomnu rešetku, N = 3, može se pokazati da sistem poseduje sledeće
prve integrale:
F1 = p1 + p2 + p3 ;
F2 = p1 p2 + p2 p3 + p3 p1 − e−(q2 −q1 ) − e−(q3 −q2 ) − e−(q1 −q3 ) ;
F3 = p1 p2 p3 − p1 e−(q3 −q2 ) − p2 e−(q1 −q3 ) − p3 e−(q2 −q1 ) .
Beskonačna Todina rešetka je zanimljiva i po tome što poseduje partikularna
rešenja koja opisuju solitone20 - izolovane putujuće talase, odnosno lokalizo-
vane poremećaje koji se bez gubitaka prostiru kroz kristal. Kada je amplituda
poremećaja mala u pored̄enju sa srednjim med̄uatomskim rastojanjem, onda
se ovde prikazani diskretni model može transformisati u neprekidni, a jedna-
čina koja opisuje njegovo ponašajne je čuvena Korteveg-de Vrisova parcijalna
diferencijalna jednačina:
∂u ∂u ∂ 3 u
= 6u + .
∂t ∂x ∂x3
18 Veliki
broj rezultata na ovu temu može se naći u radu [28].
19 Kod periodične N −atomne rešetke važe jednakosti: qn+N = qn i pn+N = pn .
20 Termin soliton je potekao od prvobitnog engleskog naziva solitary wave - usamljeni talas.
122 Glava 3. Hamiltonova mehanika
analitičkim putem često može biti veoma složeno. U ovom delu ćemo u osnovnim
crtama prikazati jedan postupak integracije kanonskih jednačina - Hamilton-
Jakobijev metod. Ovim postupkom, koji se u mnogim složenim problemima
može sa velikom prednošću primeniti, integracija sistema običnih diferencijal-
nih jednačina se zamenjuje rešavanjem jedne parcijalne diferencijalne jednačine.
Da bi se ovo pokazalo najpre se mora analizirati struktura osnovnih varijacionih
principa u kanonskim promenljivim.
Sa druge strane,
Pn ako iz definicije Hamiltonijana (3.4) izrazimo Lagranževu funk-
ciju, L = i=1 pi q̇i − H, onda se variranjem ovog izraza dobija:
n
X n
X n µ
X ¶
∂H ∂H
δL = q̇i δpi + pi δ q̇i − δqi + δpi
i=1 i=1 i=1
∂qi ∂pi
Na sličan način dejstvo u Hamiltonovom smislu (2.110) će biti funkcional defi-
nisan na sledeći način:
Z t 1 "X
n
#
J(q, p) = pi q̇i − H(t, qi , pi ) dt, (3.35)
t0 i=1
J(q, p) > J(q̂, p̂) ili J(q, p) < J(q̂, p̂), (3.36)
za sve dopustive funkcije (q(t), p(t)) 6= (q̂(t), p̂(t)) koje su bliske ekstremali.
qi (t) = q̂i (t) + εϕi (t); pi (t) = p̂i (t) + εηi (t); |ε| ¿ 1,
gde oznaka (·) c kazuje da je izraz uz koji stoji izračunat duž direktne trajektorije
(q̂(t), p̂(t)). Posle parcijalne integracije prvog člana u sumi i grupisanja izraza
pod znakom integrala dobija se:
¯t 1 Z "
X n ¯ t1 X n µ \ ¶
0 ¯ ∂H
J (0) = p̂i (t)ϕi (t)¯ + q̇i − ηi (t)
¯ t0 ∂pi
i=1 t0 i=1
# (3.40)
X n µ \ ¶
∂H
− ṗi + ϕi (t) dt = 0.
i=1
∂qi
Vanintegralni član će biti jednak nuli zbog uslova (3.37). Pošto u intervalu t ∈
(t0 , t1 ) varijacije u opštem slučaju mogu biti proizvoljne i ϕi (t) 6= 0, ηi (t) 6= 0,
neophodni uslov ekstrema će biti zadovoljen ako su izrazi u zagradama jednaki
nuli, odnosno ako direktna trajektorija (q̂(t), p̂(t)) zadovoljava Hamiltonove
kanonske jednačine (3.10). ¥
Hamilton-Jakobijeva jednačina
Pred̄imo sada na glavni zadatak ovog odeljka - formiranje Hamilton-Jakobije-
ve jednačine i rešavanje Hamlitonovih kanonskih jednačina pomoću nje. Posmat-
rajmo mehanički sistem čije je ponašanje u potpunosti opisano Hamiltonovom
funkcijom, diferencijalne jednačine kretanja imaju oblik (3.10):
∂H ∂H
q̇i = ; ṗi = − ; i = 1, . . . , n.
∂pi ∂qi
128 Glava 3. Hamiltonova mehanika
Ako sada iskoristimo definicione izraze (3.42) i izrazu sa desne strane dodamo i
oduzmemo ∂S/∂t, onda ćemo dobiti:
à n ! " n µ ¶#
d X ∂S ∂S X ∂S ∂S
δqi = δ + q̇i − +H .
dt i=1 ∂qi ∂t i=1
∂qi ∂t
Odatle sledi se glavna Hamiltonova funkcija može interpretirati kao integral dejs-
tva izražen u kanonskim promenljivim (3.35). Med̄utim, da bi ovom relacijom
bila definisana funkcija, a ne funkcional, gornja granica integrala mora imati
tekuću vrednost nezavisno promenljive:
Z t "X
n
#
S(t, qi ) = pi q̇i − H(τ, qi , pi ) dτ. (3.44)
t0 i=1
gde je qi0 = qi (t0 ), pi0 = pi (t0 ). Na taj se način glavna Hamiltonova funkcija
dobija u obliku S = S(t, qi0 , pi0 ). Tada je još neophodno iz jednačina (3.45)1
izraziti pi0 = pi0 (t, qi , qi0 ) da bi se dobilo26 :
S = S(t, qi , qi0 ).
Konstanta αn+1 je aditivna zato što u jednačini (3.43) ne figuriše funkcija S(t, qi )
već samo njeni izvodi. Zato prisustvo ove konstante nije od značaja i može se
usvojiti αn+1 = 0. Pravi smisao kompletnog rešenja Hamilton-Jakobijeve jedna-
čine otkriva nam Jakobijeva teorema kojom se uspostavlja veza izmed̄u njega i
kretanja mehaničkog sistema opisanog Hamiltonovim kanonskim jednačinama.
kanonskih jednačina zameni rešavanjem jedne parcijalne diferencijalne jednačine. Formira se,
naime, začarani krug: za odred̄ivanje kretanja potrebno je poznavanje glavne Hamiltonove
funkcije dok je u isto vreme za njeno izračunavanje iz (3.44) potrebno poznavanje kretanja
sistema. Ovaj problem će razrešiti Jakobijeva teorema.
3.3. Hamilton-Jakobijev metod 131
Ovu teoremu nećemo dokazivati, ali ćemo zato videti šta nam ona pruža. Iz
prve grupe jednačina (3.47)1 dobijamo generalisane impulse izražene u funkciji
vremena t, generalisanih koordinata qi i integracionih konstanti αi :
pi = pi (t, q1 , . . . , qn , α1 , . . . , αn ), (3.48)
dok su iz druge grupe jednačina (3.47)2 na sličan način izražene nove konstante
βi :
βi = βi (t, q1 , . . . , qn , α1 , . . . , αn ). (3.49)
Iz poslednje jednačine se, u principu, mogu izraziti generalisane koordinate u
funkciji vremena t i integracionih konstanti αi i βi :
qi = qi (t, α1 , . . . , αn , β1 , . . . , βn ),
pi = pi (t, α1 , . . . , αn , β1 , . . . , βn ),
p2 1
H= + mω 2 q 2 ,
2m 2
formirati Hamilton-Jakobijevu jednačinu, odrediti njeno kompletno rešenje, a
zatim primenom Jakobijeve teoreme odrediti kretanje sistema.
I Pošto opisani sistem ima samo jedan stepen slobode, glavna Hamiltonova
funkcija će imati oblik S(t, q), a s obzirom na pretpostavku p = ∂S/∂q i struk-
turu Hamiltonijana Hamilton-Jakobijeva jednačina (3.43) će glasiti:
µ ¶2
∂S 1 ∂S 1
+ + mω 2 q 2 = 0.
∂t 2m ∂q 2
3.3. Hamilton-Jakobijev metod 133
√ Z r
mω 2 2
W (q) = 2mh 1− q dq,
2h
√ Z r
mω 2 2
S(t, q) = −ht + 2mh 1− q dq.
2h
odnosno,
Ãr !
1 mω 2
β = −t − arccos q ,
ω 2h
27 Ovaj oblik rešenja je motivisan strukturom sistema - njegovom linearnošću. Slična ideja
Rautova funkcija
Rautove jednačine predstavljaju hibrid - kombinaciju Lagranževih jedna-
čina druge vrste i Hamiltonovih kanonskih jednačina. Posmatrajmo materijalni
sistem čije je ponašanje opisano pomoću Lagranževe funkcije L(t, qi , q̇i ) i na -
čije kretanje utiču nepotencijalne generalisane sile Q∗i (t, qj , q̇j ), i, j = 1, . . . , n.
Rautov postupak formiranja jednačina se zasniva na separaciji promenljivih na
Lagranževe i Hamiltonove. Označimo sa qi , i = 1, . . . , m, Lagranževe promen-
ljive, a sa qα , α = m+1, . . . , n, Hamiltonove promenljive28 . Tada se Lagranževa
funkcija posmatranog sistema može formalno zapisati na sledeći način:
čina stanja kom pripadaju još i generalisane brzine q̇i kod Lagranževih promenljivih, odnosno
generalisani impulsi pα kod Hamiltonovih promenljivih.
136 Glava 3. Hamiltonova mehanika
Rautove jednačine
Posmatrajmo kretanje materijalnog sistema koje je opisano Lagranževim
jednačinama druge vrste (3.5)
µ ¶
d ∂L ∂L
− = Q∗i , i = 1, . . . , n.
dt ∂ q̇i ∂qi
Lema 3.2 Postoje sledeće veze izmed̄u Lagranževe i Rautove funkcije:
∂R ∂L ∂R ∂L ∂R ∂L
=− , =− , =− , (3.57)
∂t ∂t ∂qi ∂qi ∂ q̇i ∂ q̇i
∂R ∂L ∂R
=− , = q̇α . (3.58)
∂qα ∂qα ∂pα
Dokaz: Relacije (3.57)-(3.58) se dobijaju analogno postupku dokazivanja rela-
cija (3.6)-(3.8) u Lemi 3.1 - pored̄enjem izraza za totalni diferencijal Rautove
funkcije (3.56) izraženog u odnosu na Rautove promenljive dRR i totalnog dife-
rencijala dRL formalno izraženog u odnosu na Lagranževe promenljive. Pošto
je prema (3.56) RR = R(t, qi , q̇i , qα , pα ) u prvom slučaju se dobija:
m
X m
X
∂R ∂R
dRR = dqi + dq̇i
i=1
∂qi i=1
∂ q̇i
n n (3.59)
X∂R X ∂R ∂R
+ dqα + dpα + dt.
α=m+1
∂qα α=m+1
∂pα ∂t
Pn
Sa druge strane, formalnim diferenciranjem definicionog izraza RL = α=m+1
pα q̇α − L(t, qi , q̇i , qα , q̇α ) dobija se:
n
X n
X Xm Xm
∂L ∂L
dRL = pα dq̇α + q̇α dpα − dqi − dq̇i
α=m+1 α=m+1 i=1
∂qi i=1
∂ q̇i
Xn Xn
∂L ∂L ∂L
− dqα − dq̇α − dt (3.60)
α=m+1
∂q α α=m+1
∂ q̇ α ∂t
n
X Xm Xm Xn
∂L ∂L ∂L ∂L
= q̇α dpα − dqi − dq̇i − dqα − dt,
α=m+1 i=1
∂qi i=1
∂ q̇i α=m+1
∂qα ∂t
1 p2ϕ
R = pϕ ϕ̇ − L = − mṙ2 + + Π(r).
2 2mr2
Pošto na tačku ne dejstvuju nepotencijalne generalisane sile (Q∗r = 0, Q∗ϕ =
0), diferencijalna
¡ ¢ ∂R jednačina kretanja za koordinatu r će biti Lagranževog tipa
d ∂R
− dt ∂ ṙ + ∂r = 0 i glasiće:
p2ϕ ∂Π
mr̈ − 3
+ = 0.
mr ∂r
∂R
Odgovarajući sistem jednačina Hamiltonovog tipa glasi: ϕ̇ = ∂pϕ , ṗϕ = − ∂R
∂ϕ , i
u razvijenom obliku se svodi na:
pϕ
ϕ̇ = , pϕ = Cϕ = const.
mr2
3.4. Rautove jednačine 139
d2 u m F (1/u)
+u=− 2 .
dϕ2 Cϕ u2
1 2 Cϕ2
mṙ = − − Π(r) + Cr .
2 2mr2
U dobijenoj jednačini se promenljive mogu razdvojiti što dovodi do:
Z r ( )−1/2
m Cϕ2
Cr − − Π(r) dr = t + Dr ,
2 2mr2
r = r(t, Cr , Dr , Cϕ ).
H(qi , pi ) = h = const.,
∂H/∂qi ∂W ∂H/∂pi ∂W
= ; = ,
∂H/∂p1 ∂qi ∂H/∂p1 ∂pi
dq1 ∂H
= = F1 (q1 , Cj , Dj , h).
dt ∂p1
Primer 3.6 Za materijalnu tačku mase m koja se kreće u polju dejstva central-
ne sile čiji je potencijal Π(r), formirati Vitekerove jednačine i svesti problem na
kvadraturu usvajajući polarno rastojanje r za novu nezavisno promenljivu.
Zadaci
3.1 Za dinamičke sisteme opisane datim Lagranževim funkcijama formirati
Hamiltonove kanonske jednačine i odrediti njihove prve integrale:
µ ¶
1 4 2 sin q2 2
a) L= q q̇ + q̇ − q22 cos q1 ;
2 1 1 cos q1 2
1¡ 2 ¢¡ ¢ ¡ ¢
b) L= q1 + q22 q̇12 + q̇22 − a q12 + q22 ;
2 ³ ´
m 2
c) L= ṙ + r2 θ̇2 + r2 ψ̇ 2 sin2 θ − af (θ)ψ̇;
2
1h 2
i
d) L= (q̇1 − q̇2 ) + aq̇12 t2 − a cos q2 ;
2 ¡ ¢
e) L = aq̇12 + c2 + b2 cos q1 q̇22 ;
r
1 ³ ´ γ
f) L = −m0 c 1 − 2 ṙ2 + r2 θ̇2 + r2 ϕ̇2 sinθ + .
2
c r
3.2 Slobodna materijalna tačka mase m kreće se u polju sile čiji je potencijal u
odnosu na sferne koordinate dat sledećim izrazima:
f1 (θ) f2 (ϕ)
a) Π(r, θ, ϕ) = R(r) + 2
+ 2 2 ;
r r sin θ
a b
b) Π(r) = − + 2.
r r
p22 + p23
a) H = p21 + q12 + ;
q22 + q32
2
(p2 + p3 cos q2 )
b) H = p21 + sin q1 + ;
q22
µ ¶
1 p22
c) H = p21 + − a cos q1 ;
2 sin2 q1
d) H = p1 p2 + q1 q2 .
Zadaci 145
3.6 Za homogeni štap mase m i dužine 2l, koji vrši opšte kretanje u prostoru,
formirati Hamiltonovu funkciju, Hamiltonove kanonske jednačine i odrediti nje-
govo kretanje. Za generalisane koordinate usvojiti koordinate centra mase štapa
x, y i z, ugao θ koji osa štapa obrazuje sa vertikalnim pravcem i ugao ϕ koji
vertikalna ravan u kojoj se nalazi štap obrazuje sa Oxy ravni.
koji u sebi sadrži samo kinetičku energiju relativnog kretanja, dok se neho-
mogeni deo jednačina kretanja interpretira kao dejstvo giroskopskih sila. Kakva
je razlika u strukturi Hamiltonovih kanonskih jednačina?
q̈ + 2β q̇ + ω 2 q = 0
3.20 Za kretanje materijalne tačke pod dejstvom dve privlačne sile koje dej-
stvuju iz dva centra privlačenja (zadatak 2.7) formirati Hamilton-Jakobijevu
jednačinu i odrediti njeno kompletno rešenje. Energijske funkcije odrediti u
odnosu na eliptične koordinate.
3.21 Za simetričnu homogenu čigru čija jedna tačka klizi po glatkoj horizon-
talnoj podlozi (videti zadatak 3.8) formirati Hamilton-Jakobijevu jednačinu,
odrediti njeno kompletno rešenje i primenom Jakobijeve teoreme svesti odred̄i-
vanje kretanja sistema na kvadraturu.
1 ¡ 2 ¢ 1 ³ ´ m1 m2
L= M ẋ + ẏ 2 + ż 2 + µ ṙ2 + r2 ψ̇ 2 + r2 ϕ̇2 cos2 ψ + γ ,
2 2 r
gde je M ukupna masa sistema, a µ redukovana masa, formirati Hamilton-
Jakobijevu jednačinu, odrediti njeno kompletno rešenje, a zatim primenom Jako-
bijeve teoreme odrediti kretanje sistema.
3.26 Formirati Rautove jednačine kretanja za problem dva tela. Koristiti Lagran-
ževu funkciju datu u zadatku 3.22.
Zadaci 149
q̇12 q̇22
L= + − 3q12 q22 + f (q2 ),
4q22 4q22
3.32 Za sistem koji čine dve materijalne tačke koje mogu da klize po glatkoj
kružnoj žici i povezane su elastičnom oprugom, videti zadatak 2.5, formirati
Vitekerove jednačine usvajaći koordinatu θ1 za novu nezavisno promenljivu i
pokazati kako se problem svodi na kvadraturu.
Glava 4
151
152 Glava 4. Osnovi teorije stabilnosti
dΠ
= mgl sin ϕ = 0 ⇒ ϕ1 = 0, ϕ2 = π.
dϕ
napustiti neku unapred zadatu malu okolinu ravnotežnog položaja. Detaljna analiza pona-
šanja matematičkog klatna data je u Primeru 3.2.
4.1. Uvodni primeri 153
C
ϕ̇0 (t) = ω = = const. (4.3)
R2
Jednačine (4.2) i (4.3) predstavljaju relacije izmed̄u veličina R i ω, koje odred̄uju
stacionarno kretanje po kružnoj orbiti, i konstante integracije C koja zavisi od
početnih uslova. Drugim rečima, željeno kretanje tačke je moguće realizovati
samo ako su ostvareni tačno odred̄eni početni uslovi kretanja2 .
Pretpostavimo da je u trenutku t0 uočen poremećaj ε0 ustaljenog kružnog
kretanja, r(t0 ) = R + ε0 . Nas sada zanima kako će se pojava poremećaja
2 Lako se pokazuje da se eliminacijom integracione konstante C iz jednačina (4.2) i (4.3)
dobija realcija Rn+1 = k/ω 2 . Time se pokazuje da parametri R i ω, koji zavise od početnih
uslova, nisu med̄usobno nezavisni.
154 Glava 4. Osnovi teorije stabilnosti
odraziti na orbitu materijalne tačke, odnosno kako će se poremećaj ε(t) pona-
šati za t > t0 . U tom cilju ćemo pretpostaviti da poremećeno kretanje ima
sledeći oblik:
r(t) = R + ε(t); ṙ(t) = ε̇(t); r̈(t) = ε̈(t).
usled čega će se jednačina (4.1) svesti na oblik:
C2 k
ε̈ − + = 0. (4.4)
(R + ε)3 (R + ε)n
Dobijena nelinearna diferencijalna jednačina opisuje vremensku evoluciju po-
remećaja ε(t) i zbog toga se zove diferencijalna jednačina poremećaja. Ako
pretpostavimo da je početni poremećaj ε0 mali, onda se prva, najgrublja ocena
njegovog ponašanja može dobiti na osnovu linearizovane jednačine poremećaja3 .
Za linearizaciju jednačine (4.4) neophodno je iskoristiti razvoj u Teojlorov red
funkcije (1 + x)α = 1 + αx + o(x) čime se dobija:
µ 2 ¶
3C nk
ε̈ + − ε = 0. (4.5)
R4 Rn+1
Kao što je poznato, ova jednačina može posedovati dva potpuno različita tipa
opštih rešenja u zavisnosti od znaka konstante uz nepoznatu funkciju ε. U
slučaju negativne vrednosti konstante:
√ √
βt
ε̈ − βε = 0 ⇒ ε(t) = C1 e + C2 e − βt
,
odakle se vidi da su poremećaji u opštem slučaju neograničene funkcije vremena.
Tada možemo reći da je neporemećeno kretanje nestabilno. Ako ista konstanta
ima pozitivnu vrednost:
p p
ε̈ + βε = 0 ⇒ ε(t) = C1 cos( βt) + C2 sin( βt),
što jasno pokazuje da poremećaji tokom vremena ostaju ograničeni, pa se mo-
že reći da je neporemećeno kretanje stabilno. Odavde se može zaključiti da će
neporemećeno kretanje - kretanje materijalne tačke po kružnoj orbiti R = const.
u polju privlačne centralne sile - biti stabilno ako važi:
3C 2 nk
− n+1 > 0 ⇒ n < 3. (4.6)
R4 R
Očigledno je, na primr, da Njutnova gravitaciona sila za koju je n = 2 zadovo-
ljava dobijeni uslov.
Postupak ispitivanja stabilnosti koji je prikazan u ovom primeru, a koji je
zasnovan na analizi jednačina poremećaja, u velikoj meri odgovara našoj intu-
itivnoj predstavi ovog pojma. Donošenje suda o stabilnosti na osnovu lineari-
zovanih jednačina poremećaja predstavljalo je dominantan postupak ispitivanja
3 Ova ideja se može uporediti sa analizom funkcija jedne realne promenljive. Naime, u
okolini tačke x0 funkcija f (x) se može aproksimirati pravom linijom f (x) ≈ f (x0 )+f 0 (x0 )(x−
x0 ), pri čemu znak prvog izvoda daje prvu informaciju o ponašanju funkcije (njenom rastu ili
opadanju) u okolini posmatrane tačke.
4.1. Uvodni primeri 155
p2 (0)
− mgl cos ϕ(0) < mgl
2ml2
materijalna tačka će vršiti oscilatorno kretanje. Ako se ono prikaže u faznoj
ravni trajektorije reprezentativne tačke će biti zatvorene krive linije. Uočimo
jednu od tih trajektorija (ϕ0 (t), p0 (t)) i pretpostavimo da je u trenutku t0 uo-
čen mali poremećaj stanja sistema zbog čega se reprezentativna tačka našla na
drugoj, bliskoj trajektoriji (ϕ(t), p(t)).
predstava o rastojanju kao dužini duži izmed̄u dve tačke, što je saglasno sa pojmom euklidskog
rastojanja.
156 Glava 4. Osnovi teorije stabilnosti
• u početnim uslovima i
• u diferencijalnim jednačinama.
stepeni slobode, ovde nećemo detaljno proučavati. Samo će na pojedinim mestima biti nazna-
čeno kako se odred̄ene metode ispitivanja stabilnosti mogu primeniti na takve sisteme.
4.2. Osnovni pojmovi teorije stabilnosti 157
jednog skupa početnih uslova koji odgovaraju datom kretanju u zadatom početnom trenutku.
8 Ovo dejstvo može biti različitog karaktera. Može neprekidno uticati na ponašanje sistema
tokom posmatranog intervala kao, na primer, dejstvo sile otpora koja je zanemarena prilikom
formiranja matematičkog modela. Ono može i poput udara dejstvovati tokom veoma kratkog
(beskonačno malog) vremenskog intervala izazivajući konačne promene vrednosti parametara
stanja. Podrazumeva se, med̄utim, da dejstva ovoga tipa počev od trenutka t0 imaju zane-
marljiv uticaj na ponašanje sistema.
158 Glava 4. Osnovi teorije stabilnosti
primer, za male oscilacije matematičkog klatna oko položaja stabilne ravnoteže početni otklon
od 5◦ se može smatrati malim u matematičkom smislu. Med̄utim, u tehničkom smislu kao
mali se mogu tretirati otkloni i do 10◦ . I u jednom, i u drugom slučaju poremećaji će ostati
ograničeni, ali će zato predvid̄anja linearizovanog matematičkog modela u drugom slučaju
posle odred̄enog vremenskog intervala značajno odstupiti od stvarnog stanja sistema.
10 Fazna trajektorija predstavlja skup tačaka odred̄en stanjima kroz koja sistem prolazi
šenje sistema (4.7) za zadate početne uslove, a grafik te krive se posmatra u proširenom faznom
prostoru I × R, gde je I oblast vrednosti nezavisno promenljive t.
4.2. Osnovni pojmovi teorije stabilnosti 159
drugačiji način:
Xn
kx(t)k = sup |xi (t)| ili kx(t)k = |xi (t)|.
1≤i≤n i=1
U matematičkom smislu, u prostorima konačne dimenzije sve su norme ekvivalentne i moguće
je bilo koju usvojiti kao meru odstupanja.
160 Glava 4. Osnovi teorije stabilnosti
Struktura DJP se malo bolje može sagledati ako desne strane jednačina
(4.14) razvijemo u Tejlorov red u okolini neporemećenog kretanja fi (t):
Xn µ ¶
∂Yi
f˙i (t) + ẋi = Yi (f1 (t), . . . , fn (t), t) +
(2)
xj + Xi (x1 , . . . , xn , t),
j=1
∂y j xi =0
(2)
gde su sa Xi (x1 , . . . , xn , t) označeni članovi drugog i višeg reda s obzirom na
poremećaje xi . Pošto se prvi članovi sa obe strane jednačina potiru zbog uslova
(4.9), vidimo da DJP obrazuju sistem ODJ prvog reda koji ima sledeći oblik:
Xn µ ¶
∂Yi (2)
ẋi = xj + Xi (x1 , . . . , xn , t). (4.17)
j=1
∂y j xi =0
1 d(r2 ) dr
= αr3 ⇒ = αr2 ,
2 dt dt
ako se izostavi trivijalno rešenje r(t) ≡ 0. Dobijena jednačina se lako može
integrirati i njeno opšte rešenje glasi:
r0
r(t) = ,
1 − αr0 (t − t0 )
lim r(t) = ∞.
t→t−
1
onda se primenom analognog postupka kao kod tačnih jednačina dobija sledeća
diferencijalna jednačina za normu poremećaja:
dr
=0 ⇒ r(t) = r0 = const.
dt
Vidimo da je u tom slučaju trajektorija reprezentativne tačke u prostoru poreme-
ćaja centralni krug čiji je poluprečnik jednak normi početnih poremećaja. Odav-
de bi se moglo zaključiti da je neporemećeno kretanje stabilno u običnom smislu
bez obzira na vrednost parametra α, ali taj rezultat nema ništa zajedničko sa
rezultatom koji smo dobili analizom tačnih jednačina poremećaja. J
ẋ = Ax, (4.19)
T
x = (x1 , . . . , xn ) , A = (aij )i,j=1,...,n , aij = const.
(A − λI)d = 0, (4.20)
λ2 + 2bλ + ω 2 = 0,
Ovde se mogu uočiti tri različita slučaja. Kada je b > 0 oba korena ka-
rakteristične jednačine imaju negativan realni deo. Odnos parametara b i ω
15 U literaturi, naročito onoj posvećenoj sistemima automatskog upravljanja, za
neporemećeno kretanje se u ovom slučaju kaže da je granično stabilno. Ovaj termin je rezer-
visan isključivo za sud o stabilnosti donet na osnovu linearizovanih jednačina poremećaja.
4.4. Metodi ispitivanja stabilnosti 165
utiče samo na karakter rešenja: za b < ω rešenje će imati tzv. kvaziperiodični
karakter, dok će za b ≥ ω rešenje biti aperiodično. Otuda će ovo rešenje biti
asimptotski stabilno. Kada je b = 0 dobija se par imaginarnih korena što zna-
či da je neporemećeno kretanje stabilno u običnom smislu (granično stabilno).
Kada je b < 0 neporemećeno kretanje će biti nestabilno bez obzira na odnos
parametara b i ω (dokazati!). J
ẏ = −t y + t3 , y(0) = 0,
Na taj se način dobija sistem oblika (4.7) reda 2n koji ima sledeću strukturu:
ẏi = yn+i ;
ẏn+i = Yn+i (yi , yn+i , t) (4.24)
= Fi (qi , q̇i , t)|qi =yi ,q̇i =yn+i .
Dalja procedura formiranja diferencijalnih jednačina poremećaja teče kao što
je uobičajeno. Neporemećeno kretanje predstavlja partikularno rešenje jedna-
čina (4.24):
yi = fi (t); yn+i = fn+i (t),
a poremećeji se definišu relacijama:
∂H ∂H
q̇i = , ṗi = − .
∂pi ∂qi
Neporemećeno kretanje:
Xn ½ ¾
∂2H ∂2H
ξ˙i = ξj + ηj ;
j=1
∂pi ∂qj ∂pi ∂pj
n ½ ¾ (4.28)
X ∂2H ∂2H
η̇i = − ξj + ηj .
j=1
∂qi ∂qj ∂qi ∂pj
∂u ∂2u
= κ 2 + f (u), x ∈ (0, π); (4.29)
∂t ∂x
u(0, t) = u(π, t) = 0.
koje predstavlja stacionarno temperaturno polje. Ovo rešenje će igrati ulogu
neporemećenog kretanja, a cilj naše analize jeste ispitivanje njegove stabilnosti.
16 Treba napomenuti da se do matematičkih modela u vidu sistema ODJ u pojedinim situaci-
jama može doći transformacijom originalnog modela koji predstavlja sistem PDJ. Isto tako
se do modela opisanog diferencnim jednačinama može doći transformacijom modela koji ima
strukturu sistema ODJ.
170 Glava 4. Osnovi teorije stabilnosti
∂v d2 U ∂2v
= κ 2 + κ 2 + f (U + v), (4.33)
∂t dx ∂x
što predstavlja tačnu nelinearnu jednačinu poremećaja. Do linearizovane jedna-
čine poremećaja se dolazi kada se iskoristi razvoj funkcije f (u) u Tejlorov red u
17 Ova se teorija samo uslovno može nazvati modernom budući da je aktuelna više od jednog
veka.
18 Takva rešenja se zovu uopštena ili slaba rešenja i jedan od najjednostavnijih primera
jeste rešenje koje je glatko po delovima, odnosno ima prekide. To bi odgovaralo skoku u
temperaturnom profilu. Uopštena rešenja ne zadovoljavaju jednačinu u obliku (4.29), već
neki od njenih ekvivalentnih integralnih oblika.
19 Kada se definiše neki prostor funkcija, onda se po pravilu utvrd̄uje i norma koja će se u
tom prostoru koristiti. Mora se, med̄utim, imati na umu da prostorima sa beskonačno mnogo
dimenzija norme ne moraju biti ekvivalentne. Uprošćeno to znači da dve funkcije koje su
bliske u odnosu na jednu normu ne moraju biti bliske u odnosu na drugu.
20 Pretpostavlja se da su poremećaji takvi da poremećeno teperaturno polje identički zado-
∂v ∂2v
= κ 2 + f 0 (U )v. (4.34)
∂t ∂x
Formalno gledano, procedura izvod̄enja diferencijalne jednačine poremećaja
je ista kao kod sistema ODJ ako je ispunjena pretpostavka o glatkosti rešenja.
Pitanje stabilnosti stacionarnog temperaturnog polja ostavićemo za sada po
strani. Jasno je da poremećaji v(x, t) opisuju odstupanje poremećenog tem-
peraturnog polja od neporemećenog stacionarnog rešenja i da je njihovo pona-
šanje odred̄eno diferencijalnom jednačinom poremećaja (4.33), odnosno (4.34).
Med̄utim, u ovom trenutku nam nedostaje mera odstupanja poremećenog od
neporemećenog stanja, odnosno norma poremećaja. Ovom problemu ćemo se
vraćtiti kada se budu razmatrala uopštnja metoda razvijenih za sisteme ODJ.
∂u ∂u
+ A(u) = f (u), (4.36)
∂t ∂x
gde su A(u) = (aij (u))i,j=1,...,n , f (u) = (f1 (u), . . . , fn (u))T . Njemu se može
pridružiti problem sopstvenih vrednosti:
Ad = λd. (4.37)
det(λI − A) = 0. (4.38)
štim zakonima koji važe za sve neprekidne sredine, a sa druge konstitutivnim jednačinama
koje opisuju ponašanje konkretnog materijala.
172 Glava 4. Osnovi teorije stabilnosti
Klasična rešenja i slabi prekidi. Kao što smo već nagovestili kod analize
problema (4.29), rešenja PDJ mogu pripadati i klasi uopštenih funkcija. Pod
pojmom klasičnog rešenja sistema (4.35) podrazumevaćemo rešenja u(x, t) koja
su neprekidna i imaju neprekidne izvode prvog reda u odnosu na sve nezavisno
promenljive. Slabi prekid ili ubrzavajući talas predstavlja rešenje koje je klasično
po delovima, ali ima skokove u prvim izvodima lokalizovanim na površi talasnog
fronta koja je u jednodimenzijskom slučaju opisana jednačinom φ(x, t) = 0.
Ova klasifikacija rešenja hiperboličnih sistema nije potpuna, ali je dovoljna za
formulisanje jednog specifičnog problema stabilnosti u prostiranju talasa.
1. talasni front φ(x, t) = 0 deli prostor na dve oblasti: ispred njega imamo
neprekidnu sredinu u neporemećenom stanju u0 (x, t), a iza njega sredinu
u poremećenom stanju u(x, t) (Slika 4.5);
dx d
= λ0 = λ(u0 ); = ∂t + λ0 ∂x .
dt dt
22 Kod talasnog kretanja se mogu uočiti dva osnovna fenomena: oscilatorni i propagacioni.
Kao primer prvog vida kretanja može poslužiti oscilovanje žice, dok se drugi odnosi na pros-
tiranje poremećaja - talasa kroz neprekidnu sredinu u ograničenoj ili neograničenoj oblasti.
23 Ovo je u fizičkom smislu paradoksalno, ali se u mnogim tehničkim problemima može
Ovo se, na primer, dogad̄a kada je a(t) ≡ 0 i b(t) ≥ 0. Tada amplituda slabog
prekida p(t) eksponencijalno opada i ograničena je vrednošću početnog poreme-
ćaja, p̄ = p0 . Za drugi slučaj je karakteristično postojanje kritičnog trenutka
t = tcrt u kom rešenje Bernulijeve jednačine (4.41) eksplodira25 :
Jasno je da će tada neporemećeno stanje u0 (x, t) biti nestabilno u smislu Lja-
punova u odnosu na poremećaje u vidu slabih prekida, a sam kritični trenutak
se odred̄uje iz uslova:
Z tcrt µ Z s ¶
1 + p0 a(s) exp − b(τ ) dτ ds = 0. (4.44)
0 0
Zadaci
4.1 Za dinamičke sisteme opisane diferencijalnim jednačinama prvog reda odre-
diti neporemećeno kretanje y = f (t) koje je saglasno datim početnim uslovima,
formirati diferencijalne jednačine poremećaja i doneti sud o stabilnosti na os-
novu njihovog rešenja. Pretpostaviti da se svi početni poremećaji x(t0 ) = ε
javljaju u trenutku t0 = 1/2s.
y
a) ẏ = − , y(1/2) = 1, t ≥ 1/2;
t
x 2
b) ẏ = − 2 , y(1/2) = 3/2, t ≥ 1/2;
t t
x 2
c) ẏ = + 2 , y(1/2) = −3/2, t ≥ 1/2.
t t
1 γ+1
a(t) = c = const.; b(t) ≡ 0,
2γ 2ρ0
2c
tcrt = ,
G0 (γ + 1)
gde je:
c
G0 = − p(0).
2γρ0
4.8 Za problem kretanja sfernog klatna opisan u zadatku 4.7 polazeći od Hamil-
tonovih kanonskih jednačina odrediti neporemećeno kretanje θ(t) = α = const.,
a zatim formirati tačne i linearizovane jednačine pormećaja.
4.9 Zemljin veštački satelit mase m kreće se pod
dejstvom privlačne gravitacione sile F = µ/r2 , gde je
r rastojanje od središta Zemlje. Satelit se kreće oko
Zemlje po kružnoj putanji r(t) = r0 = const. Polo-
žaj satelita u odnosu na Zemlju je odred̄en sfernim
koordinatama r, ϕ (geografska dužina) i θ (geograf-
ska širina). Polazeći od Lagranževih jednačina druge
vrste formirati diferencijalne jednačine poremećaja
za neporemećeno kretanje po kružnoj orbiti i izvršiti
njihovu linearizaciju.
ẋ1 = αx31 − x2 ;
ẋ2 = x1 + αx32 .
ẋ1 = x2 − x31 ;
ẋ2 = −x1 − 3x32 ,
Za dalju analizu će biti važne precizne definicije stabilnosti i karakteristike kre-
tanja reprezentativne tačke u prostoru poremećaja. Ona će se svoditi na sta-
bilnost trivijalnog rešenja DJP, xi (t) ≡ 0. Pošto su DJP autonomne, a samim
tim i invarijantne u odnosu na transformaciju nezavisno promenljive t → t − α,
α = const., može se usvojiti da se početni poremećaji javljaju u trenutku t0 = 0.
179
180 Glava 5. Direktni metod Ljapunova
Kao što vidimo, definicija asimptotske stabilnosti sadrži u sebi i uslove obične
stabilnosti (geometrijska interpretacija je data trajektorijom 1 na Slici 5.1.(b)).
Ako oni ne bi bili objedinjeni, onda bi bilo moguće da reprezentativna tačka
asimptotski teži koordinatnom početku kada t → ∞, a da pri tome za neke
konačne vrednosti t norma poremećaja narušava nejednakost (5.2) (trajektorija
2 na Slici 5.1(b)), pa čak i da poremećaji mogu neograničeno da rastu (kao u
Primeru 4.1).
ui = Xi (x1 , . . . , xn ); i = 1, . . . , n, (5.6)
što znači da desne strane DJP odred̄uju vektor brzine reprezentativne tačke:
n
X
u(x) = Xi (x)ei (5.7)
i=1
182 Glava 5. Direktni metod Ljapunova
3. V (x) ≥ 0 (V (x) ≤ 0) za x 6= 0.
Slika 5.2: Definitne i semidefinitne funkcije: (a) V (x1 , x2 ) = x21 + 5x22 , (b)
V (x1 , x2 ) = (x1 − x2 )2
Lema 5.1 Ako je funkcija V (x) pozitivno definitna funkcija u smislu definicije
5.3, onda jednačina:
V (x) = C = const.
V (x) = C, C < l,
Lema 5.2 Ako je C > C1 > 0, onda se hiperpovrš V (x) = C1 u celosti nalazi
u oblasti ograničenoj hiperpovrši V (x) = C i sa njom nema zajedničkih tačaka.
µ−sferu.
8 Postojanje najmanje (minimalne) i najveće (maksimalne) vrednosti funkcije predstavlja
posledicu poznate Vajerštrasove teoreme. Ona tvrdi da će funkcija koja je neprekidna na
nekom kompaktnom skupu, na tom skupu biti ogranična i dostići će svoju minimalnu i maksi-
malnu vrednost. U Rn svaki kompaktan skup je zatvoren i ograničen, a µ−sfera je upravo takav
skup. Čitalac se sa ovom problematikom može više upoznati u udžbenicima iz matematičke
analize [1], [44].
5.2. Funkcije Ljapunova 185
∂V
V (0) = 0; (0) = 0, j = 1, . . . , n. (5.13)
∂xj
∂2V
cjk = (0) = ckj .
∂xj ∂xk
∂V ∂V ∂V
gradV = e1 + e2 + · · · + en . (5.15)
∂x1 ∂x2 ∂xn
dV ∂V ∂V ∂V
V̇ = = ẋ1 + ẋ2 + · · · + ẋn
dt ∂x1 ∂x2 ∂xn
(5.16)
∂V ∂V ∂V
= X1 + X2 + · · · + Xn .
∂x1 ∂x2 ∂xn
V̇ = u · gradV. (5.17)
11 Pojmove spoljanje i unutrašnje normale treba zamisliti kao direktna uopštenja istih poj-
Znak ovog izraza odred̄uje odnos vektora brzine reprezentativne tačke i vek-
tora gradijenta funkcije V 12 , a time i odnos trajektorije reprezentativne tačke i
odgovarajuće hiperpovrši V (x) = C. Definišimo za pozitivno definitne funkcije
unutrašnju oblast hiperpovrši V (x) = C kao skup Vin = {x | V (x) < C}, a
spoljašnju oblast hiperpovrši kao skup Vout = {x | V (x) > C}13 . Ograničavajući
analizu na pozitivno definitne funkcije mogu se uočiti sledeća četiri slučaja.
1. slučaj: V̇ < 0. U ovom slučaju vrednost funkcije V opada duž trajektorije
reprezentativne tačke, a ugao izmed̄u vektora u i gradV tup. Odatle sledi da se
reprezentativna tačka kreće tako da u posmatranom trenutku ulazi u unutrašnju
oblast hiperpovrši V (x) = C.
2. slučaj: V̇ > 0. U ovom slučaju vrednost funkcije V raste duž trajektorije
reprezentativne tačke, a ugao izmed̄u vektora u i gradV oštar. Odatle sledi
da se reprezentativna tačka kreće tako da u posmatranom trenutku napušta
unutrašnju oblast hiperpovrši V (x) = C.
3. slučaj: V̇ = 0. U ovom slučaju vektori u i gradV su med̄usobno ”nor-
malni”, a trajektorija reprezentativne tačke tangira hiperpovrš V (x) = C u
posmatranom položaju. Da bi se utvrdilo da li reprezentativna tačka prodire u
unutrašnju oblast hiperpovrši, ili je napušta, neophodno je ispitati znak funkcije
12 Pošto
Pn
je u Rn skalarni proizvod definisan sa x · y = i=1 xi yi , moguće je definisati i
kosinus ugla izmed̄u vektora x i y: cos ](x, y) = x · y/(kxkkyk). Na taj način se može uvrditi
veličina ugla izmed̄u vektora.
13 U slučaju negativno definitnih funkcija u prethodnim definicijama je potrebno samo
Teoreme o stabilnosti
Sada će biti formulisane i dokazane teoreme Ljapunova o stabilnosti koje
se odnose na autonomne sisteme. One predstavljaju najpopularniji deo teorije
Ljapunova i pored nedostataka koje poseduju.
ẋi = Xi (x1 , . . . , xn ), i = 1, . . . , n
Dokaz: Za dokazivanje ove teoreme koristićemo iste konstrukcije koje smo ko-
ristili i kod teoreme o običnoj stabilnosti. Primetimo najpre da sa na osnovu
pretpostavke o negativnoj definitnosti izvoda funkcije V automatski zadovoljeni
uslovi Teoreme 5.2 o običnoj stabilnosti. To znači da će se trajektorija reprezen-
tativne tačke nalaziti unutar hiperpovrši V (x) = C i da će važiti kx(t)k < ε.
Pošto je V̇ (x(t)) negativno definitna funkcija, sama funkcija Ljapunova V (x(t))
će duž trajektorije biti monotono opadajuća i ograničena nulom sa donje strane:
V (x(t)) → c ≥ 0 kada t → ∞.
14 Osim u tački (x , x ) = (0, 0) funkcija V̇ će biti jednaka nuli i u svim tačkama koje
1 2
zadovoljavaju jednačinu 2x31 = x22
5.3. Teoreme Ljapunova o stabilnosti 191
Desna strana ove jednačine će postati negativna za t > V (x(0))/γ, što je u
suprotnosti sa pretpostavkom o pozitivnoj definitnosti funkcije V (x(t)). Odatle
sledi da je c = 0 i da kretanje x(t) → 0 kada t → ∞. ¥
Koeficijente cij treba birati tako da funkcija (5.18) zadovolji uslove pozitivne
definitnosti, i da se pri tome njen izvod u smislu jednačina poremećaja uklopi
u jednu od Ljapunovljevih teorema. Ovaj zadatak nije nimalo lak, naročito za
sisteme velike dimenzije. Ipak, njegovim uspešnim rešavanjem može se dokazati
stabilnost u odnosu na male poremećaje u početnim uslovima16 .
Ipak, struktura funkcije (5.18) nam donekle nagoveštava skrivenu ideju Lja-
punovljevih teorema, bar kada su u pitanju mehanički sistemi: to je korišćenje
energije kao funkcije Ljapunova. Kao što će se pokazati u nizu primera, ona će
veoma uspešno moći da se primeni u ispitivanju stabilnosti položaja ravnoteže
ili stacionarnog kretanja mehaničkih sistema.
X ∂F n
dF
Ḟ (x) = = Xi = 0. (5.21)
dt i=1
∂xi
uslova da kvadratna forma izvoda funkcije Ljapunova V̇ (2) (x) zadovolji uslove negativne
definitnosti.
5.3. Teoreme Ljapunova o stabilnosti 193
Lako se može pokazati da za ovo kretanje postoje dva nezavisna prva integrala:
Jakobijev integral i ciklični integral za koordinatu ψ:
1 ³ ´
T + Π = ml2 θ̇2 + ψ̇ 2 sin2 θ − mgl cos θ = ml2 h1 ;
2
∂L ∂T
= = ml2 ψ̇ sin2 θ = ml2 h2 ,
∂ ψ̇ ∂ ψ̇
gde su h1 i h2 integracione konstante. Kada se ovi prvi integrali prilagode
poremećenom kretanju:
F2 (x) = (ω + x3 ) sin2 (α + x1 ) = h2 ,
· ¸
2 1 2 g
· · · + (ω + λ) sin αx3 + ω cos 2α + cos α + λω cos 2α x21
2 2l
1 1
+ x22 + sin2 αx23 + [ω sin 2α + λ sin 2α] x1 x3 .
2 2
Izbor konstante λ se vrši tako da iščeznu linearni članovi u razvoju u Tejlorov
red. Ovde nam to obezbed̄uje izbor λ = −ω, uz napomenu da se koeficijent
uz x1 izjednačava sa nulom tek kada se iskoristi relacija izmed̄u veličina stanja
u neporemećenom kretanju (ω 2 cos α = g/l). Štaviše, i koeficijent uz mešoviti
kvadratni član x1 x3 će se izjednačiti sa nulom. To znači da se funkcija Ljapunova
u okolini neporemećenog kretanja može aproksimirati sledećom kvadratnom for-
mom:
1 1 1
V (x) ≈ ω 2 sin2 α x21 + x22 + sin2 α x23 ,
2 2 2
koja je očigledno pozitivno definitna. Ovim je dokazano da je neporemećeno
kretanje stabilno u odnosu na male poremećaje veličina stanja θ, θ̇ i ψ̇.
Opravdano se može postaviti pitanje šta je sa stabilnošću u odnosu na
male poremećaje ugla ψ? Budući da se ovde radi o cikličnoj koordinati čije se
odred̄ivanje svodi na kvadraturu posle rešavanja diferencijalnih jednačina kre-
tanja, može se pokazati da će tokom vremena poremećaj ove veličine neograni-
čeno rasti. J
Prvi od njih predstavlja zakon održanja (kinetičke) energije, dok drugi iskazuje
konstantnost intenziteta vektora momenta količine kretanja za nepokretnu tač-
ku20 . U formi prilagod̄enoj poremećenom kretanju navedeni prvi integrali glase:
1¡ ¢
F1 (x) = Jξ x21 + Jη x22 + Jζ (Ω + x3 )2 ;
2
konstantan: LO = const.
5.3. Teoreme Ljapunova o stabilnosti 197
1 1
λ=− , µ= ,
2Jζ 8Jζ3 Ω2
Dobijena kvadratna forma će biti pozitivno definitna ako su zadovoljeni sledeći
uslovi:
Jζ > Jξ i Jζ > Jη ,
odnosno ako se stacionarno obrtanje vrši oko glavne centralne ose sa najvećim
momentom inercije.
Ako funkciju Ljapunova usvojimo u obliku:
2
V (x) = F2 (x) − F2 (0) + λ [F1 (x) − F1 (0)] + µ [F1 (x) − F1 (0)] .
lako se može pokazati da će odgovarajuća kvadratna forma imati sledeću struk-
turu:
1
λ = − 2 Jζ , µ= ,
Ω2
obezbed̄uje se anuliranje koeficijenata uz linearne članove, a kvadratna forma
postaje:
V (2) (x) = Jξ (Jξ − Jζ ) x21 + Jη (Jη − Jζ ) x22 + Jζ x23 .
Dobijena kvadratna forma će biti pozitivno definitna ako su ispunjeni sledeći
uslovi:
Jζ < Jξ i Jζ < Jη ,
odnosno ako se stacionarno obrtanje vrši oko glavne centralne ose sa najma-
njim momentom inercije. Možemo, dakle, zaključiti da je dovoljan uslov obične
stabilnosti stacionarnog obrtanja u Ojlerovom slučaju kretanja giroskopa da se
obrtanje vrši oko glavne centralne ose koja ima najveći ili najmanji moment
inercije.
21 Konstanta µ može biti bilo koja pozitivna realna konstanta. Ona je u prikazanom obliku
ẍ + 2 β ẋ + ω 2 x = 0,
ẋ1 = x2 ; ẋ2 = −ω 2 x1 − 2 β x2 ,
gde je x(t) = x1 (t), a ẋ(t) = x2 (t). Ovaj sistem ujedno predstavlja i sistem
DJP.
Pretpostavimo funkciju Ljapunova u vidu ukupne mehaničke energije:
1 2 1 2 2 1 1
V = ẋ + ω x = x22 + ω 2 x21 .
2 2 2 2
Lako se možemo uveriti da njen izvod u smislu DJP glasi:
V̇ = −2 β x22 ≤ 0,
ovde dokazati, verovatno najsnažniji rezultat ovog tipa. Ljapunovljeva teorema predstavlja
specijalni slučaj Četajevljeve.
25 To znači da za proizvoljno izabrano ε uvek možemo pronaći početne uslove, koji su
proizvoljno bliski koordinatnom početku i za koje važi kx(0)k < ε, takve da će reprezen-
tativna tačka napustiti ε−sferu: kx(t)k > ε, t > t∗ .
202 Glava 5. Direktni metod Ljapunova
Primer funkcije ovoga tipa može biti V (x1 , x2 ) = x1 − x22 . Rub oblasti ∂Ω
odred̄en je parabolom x1 = x22 i sferom x21 + x22 = r2 . Primetimo da oblast Ω
može biti sačinjena i iz više nepovezanih segmenata koji mogu imati zajedničke
rubne tačke, kao u slučaju funkcije V (x1 , x2 ) = x21 − x22 .
ẋi = Xi (x1 , . . . , xn ), i = 1, . . . , n
nestabilno.
H[v] = 0 ⇔ v(x) ≡ 0.
Pošto će zbog graničnih uslova vanintegralni član biti jednak nuli, na kraju ćemo
dobiti: Z π " µ ¶2 #
dH[u] ∂u 4
=− κ + u dx ≤ 0, (5.32)
dt 0 ∂x
27 Funkcional u matematičkom smislu predstavlja preslikavanje iz skupa funkcija u skup
realnih brojeva.
28 Sa C[0, π] je označen skup neprekidnih funkcija na zatvorenom intervalu [0, π].
Zadaci 205
Zadaci
5.1 Analizirati stabilnost neporemećenog kretanja dinamičkih sistema pomoću
naznačenih funkcija Ljapunova:
1 2
a) ẋ1 = x2 , ẋ2 = −x1 , V = (x + x22 );
2 1
1
b) ẋ1 = −x31 + x2 , ẋ2 = −x1 − 3x32 , V = (x21 + x22 );
2
1
c) ẋ1 = x1 x2 − 2x1 − x2 , ẋ2 = 2x1 x2 − x2 + 2x1 , V = x21 + x22 ;
4 3 2 3 7
2
d) ẋ1 = x1 x2 − x31 + x2 , ẋ2 = x41 − x21 x2 − x31 , V = x41 + 2x22 ;
e) ẋ1 = −2x31 − 3x2 , ẋ2 = 2x1 − 3x32 , V = 2x21 + 3x22 ;
f) ẋ1 = −2x2 − 3x2 , ẋ2 = x1 − x2 , V = x21 + 3x22 .
5.2 Odrediti vrednosti parametra α pri kojima će neporemećeno kretanje biti
stabilno:
1
ẋ1 = αx31 − x2 , ẋ2 = x1 + αx32 , V = (x21 + x22 ).
2
ẋ = x + 2y − 2x3 + y 3 + x5 ;
ẏ = −5x − y + x3 − 5y 3 − 2y 5 ,
ẋ = −x + x2 − 2xy;
ẏ = −2y − 5xy + y 2 ,
ẋ = −2x − x2 + xy 2 ;
ẏ = −y − y 2 + 2xy,
ẋ = −x + αy − 7x3 /2;
ẏ = −x − y/2 − 5y 3 /2;
ż = x + y − z,
ẋ = − sin x + 2y;
ẏ = βx − 2y + ez − 1;
ż = sin(y − z),
ẋ = σ(y − x);
ẏ = ρx − y − xz;
ż = −βz + xy,
1¡ 2 ¢
V = x + σy 2 + σz 2 ,
2
ẋ = y − xf (x, y);
ẏ = −x − yf (x, y),
ẋ = y − x(x4 + y 4 );
ẏ = −x − y(x4 + y 4 ),
5.21 Za Voltin luk opisan u zadatku 4.15 pomoću direktnog metoda Ljapunova
analizirati stabilnost stacionarnog režima rada.
5.22 Homogeno kruto telo može da se obrće oko nepokretne tačke koja se pok-
210 Glava 5. Direktni metod Ljapunova
5.24 Materijalna tačka jedinične mase m = 1 kreće se duž x−ose pod dejstvom
κ
potencijalne sile čija je potencijalna energija Π = n+1 xn+1 i sile otpora pro-
∗
porcionalne prvom stepenu brzine Qx = −µ ẋ, µ > 0. Pretpostavljajući da je
n ceo broj koji zadovoljava uslov n ≥ 2, ispitati stabilnost neporemećenog kre-
tanja koje predstavlja stanje mirovanja tačke (x(t) = 0, ẋ(t) = 0) za različite
vrednosti parametara κ i n.
Glava 6
Stabilnost ravnoteže i
stacionarnog kretanja
∂Π
Qi (qj ) = − (qj ), i, j = 1, . . . , n, (6.1)
∂qi
Ove jednačine poseduju prvi integral Jakobijevog tipa, koji se svodi na integral
energije:
T + Π = h = const. (6.3)
1 Ovde se misli na Lagranž-Dirihleovu teoremu o stabilnosti ravnoteže i Rautovu teoremu o
211
212 Glava 6. Stabilnost ravnoteže i stacionarnog kretanja
koje će ujedno predstavljati neporemećeno kretanje sistema. Pre nego što se
uputimo u analizu njegove stabilnosti definisaćemo pojam izolovanog položaja
ravnoteže3 .
Qi (qj , q̇i ), onda se prilikom odred̄ivanja položaja ravnoteže jednačine (6.5) rešavaju uz uslov
q̇i = 0, a njihovim rešavanjem se dobijaju tražene vrednosti generalisanih koordinata.
3 Uvod̄nje ovog pojma ima mnogo dublji smisao nego što se to u prvi mah može naslu-
sile oblika Π(q1 , q2 ) = (q1 − q2 )2 položaj ravnoteže (q1 , q2 ) = (0, 0) nije izolovan
jer se u svakoj njegovoj okolini nalazi beskonačno mnogo položaja ravnoteže
koji zadovoljavaju uslov q1 = q2 .
S obzirom na strukturu neporemećenog kretanja (6.7), poremećeno kretanje
se može izraziti na sledeći način:
qi (t) = qi0 + xi (t) = xi (t);
(6.8)
q̇i (t) = q̇i0 + xn+i (t) = xn+i (t),
Lagranž-Dirihleova teorema
Osnovni stav u analizi stabilnosti ravnoteže konzervativnih mehaničkih sis-
tema predstavlja Lagranž-Dirihleova teorema5 . Ona je predstavljala uopštenje
rezultata do kojih je 1644. godine došao Evand̄elista Toričeli, ali je ujedno mo-
tivisala formulisanje odgovarajućih stavova za stacionarna kretanja mehničkih
sistema.
Ležen-Dirihle 1838. godine. Zbog toga se u literaturi ova teorema često sreće pod nazivom
Lagranž-Dirihleova teorema.
6 Teorema se može dokazati i bez oslanjanja na direktni metod. U tom slučaju je neophodno
ovom slučaju, u položaju ravnoteže (6.7), to jest na neporemećenom kretanju, ukupna meha-
nička energija će biti jednaka nuli, jer je T (qi0 , q̇i0 ) = 0 i Π(qi0 ) = 0.
214 Glava 6. Stabilnost ravnoteže i stacionarnog kretanja
Zbog značaja ove teoreme daćemo nekoliko napomena. Najpre, može se uo-
čiti da se u njenoj formulaciji ne spominju DJP. Sud o stabilnosti se donosi
isključivo na osnovu strukture potencijalne energije. Time se potvrd̄uje značaj
skalarnih energijskih funkcija na kojima počiva proučavanje ponašanja sistema u
analitičkoj mehanici. Pored toga, ovaj kriterijum je interesantan jer je statičkog8
karaktera, a pruža nam informaciju o dinamičkom ponašanju sistema9 .
Druga važna napomena se odnosi na karakter stabilnosti položaja ravnoteže.
Naime, ako je sistem konzervativan, onda položaj ravnoteže qi0 = 0, q̇i0 = 0 ne
može biti asimptotski stabilan. Ovo se lako dokazuje, jer u slučaju asimptotske
stabilnosti za ma koje početne poremećaje qi (t0 ) = q̄i0 , q̇i (t0 ) = q̄˙i0 mora važiti:
lim qi (t) = 0, lim q̇i (t) = 0,
t→∞ t→∞
odakle sledi:
lim {T (qi (t), q̇i (t)) + Π(qi (t))} = 0 < T (qi (t0 ), q̇i (t0 )) + Π(qi (t0 )),
t→∞
8 Ovu karakterizaciju treba shvatiti u formalnom smislu: za utvrd̄ivanje stabilnosti polo-
žaja ravnoteže dovoljno je utvrditi karakter potencijalne energije u njegovoj okolini. Uloga
dinamičkog aspekta sistema (kinetičke energije) je u samom kriterijumu latentna, ali ne sme
biti smetnuta s uma.
9 Ovaj kriterijum je motivisao formulisanje analognog kriterijuma stabilnosti za elastične
sisteme. Ipak, ovi problemi su neuporedivo složeniji jer u sebi osim jednačina kretanja (ili
ravnoteže) sadrže i konstitutivne jednačine koje opisuju ponašanje materijala, a karakter sta-
cionarne tačke potencijalne energije se utvrd̄uje u prostorima funkcija koji imaju beskonačno
mnogo dimenzija i gde su uslovi kompaktnosti nekog skupa znatno složeniji nego u prostorima
konačne dimenzije. Stoga se uslov minimuma potencijalne energije kod elastičnih sistema ne
javlja kao dovoljni uslov stabilnosti položaja ravnoteže, već kao definicija stabilnog položaja
ravnoteže.
6.1. Stabilnost položaja ravnoteže 215
Ona u tački x = 0 ima izolovani minimum, ali nema izolovanu stacionarnu ta-
čku. U svakoj okolini tačke x = 0 postoji beskonačno, ali prebrojivo mnogo
stacionarnih tačaka, odnosno mogućih položaja ravnoteže10 . Potpuna ekviva-
lencija izmed̄u izolovanog minimuma i izolovanog položaja ravnoteže postoji ako
je potencijalna energija analitička funkcija generalisanih koordinata.
U konkretnim problemima pogodno je razviti potencijalnu energiju sistema
u Maklorenov red:
Xn µ ¶ n n µ ¶
∂Π 1 XX ∂2Π
Π(qi ) = Π(0) + qj + qj qk + · · · . (6.10)
j=1
∂qj 0 2 j=1 ∂qj ∂qk 0
k=1
Primer 6.1 Za materijalnu tačku, koja može da klizi po glatkoj, vertikalnoj kru-
žnoj žici poluprečnika R i vezana je najvišu tačku žice A oprugom krutosti c i
dužine l0 u nenapregnutom stanju (videti zadatak 4.19), odrediti moguće položaju
ravnoteže i ispitati njihovu stabilnost primenom Lagranž-Dirihleove teoreme.
216 Glava 6. Stabilnost ravnoteže i stacionarnog kretanja
θ/2.
12 Primetimo da, u matematičkom smislu, u ovom slučaju postoji beskonačno mnogo re-
šenja θ1 = kπ, k = 0, 1, 2, . . ., ali da u fizičkom prostoru sva ona opisuju jedan te isti položaj
ravnoteže.
6.1. Stabilnost položaja ravnoteže 217
· ¸
d2 Π 1 θ θ θ
2
= R cos cl0 − 2(cR − mg) cos + R sin2 (cR − mg).
dθ 2 2 2 2
µ ¶
d2 Π 1
= R [cl0 − 2(cR − mg)] ,
dθ2 θ1 2
µ ¶
1 cl0 d2 Π
>1 ⇒ > 0;
2 cR − mg dθ2 θ1
µ ¶
1 cl0 d2 Π
<1 ⇒ < 0.
2 cR − mg dθ2 θ1
µ ¶ " µ ¶2 #
d2 Π 1 cl0
= R(cR − mg) 1 − ,
dθ2 θ2 2 cR − mg
i uvek će biti pozitivan ako je ispunjen uslov egzistencije pomenutog položaja
ravnoteže. Drugim rečima, ravnotežni položaj θ2 će biti stabilan ako postoji.
Ovaj primer nas na posredan način suočava sa pojavom bifurkacije rešenja.
Iako će ova problematika kasnije biti detaljno analizirana, ovde se može uo-
čiti da prilikom promene vrednosti parametara sistema može doći do promene
broja rešenja, kao i da neka od rešenja mogu promeniti svoj karakter u smislu
stabilnosti. Naime, kada je cl0 /(2(cR − mg)) > 1 postoji samo jedan položaj
ravnoteže θ1 = 0 i on je stabilan. Med̄utim, kada je cl0 /(2(cR − mg)) < 1 osim
ovog se pojavljuju i dva nova položaja. Pri tome prvo rešenje gubi stabilnost, a
druga nova dva rešenja su stabilna. J
218 Glava 6. Stabilnost ravnoteže i stacionarnog kretanja
Teorema 6.3 Ako u izolovanom položaju ravnoteže qi0 sistema (6.12) poten-
cijalna energija Π(qi ) ima izolovani minimum, onda je on stabilan. Ako su,
pored toga, nepotencijalne sile potpuno disipativne, onda je položaj ravnoteže
asimptotski stabilan.
13 I druge nepotencijalne sile mogu uticati na stabilnost ravnotežnog položaja, ali to neće
Njihov uticaj na stabilnost položaja ravnoteže može biti dvojak: stabilni položaj
ravnoteže konzervativnog sistema one ne mogu učiniti nestabilnim, dok nesta-
bilni položaj ravnoteže pod odred̄enim uslovima mogu stabilizovati.
Posmatrajmo mehanički sistem sa n stepeni slobode koji se kreće pod dej-
stvom potencijalnih sila, opisanih potencijalnom energijom Π(qi ), i nepotenci-
jalnih giroskopskih sila Q∗i (qj , q̇j ):
µ ¶
d ∂T ∂T ∂Π
− =− + Q∗i (qj , q̇j ).
dt ∂ q̇i ∂qi ∂qi
E = T + Π = const.
λ4 + (γ 2 − c1 − c2 )λ2 + c1 c2 = 0,
6.2. Uticaj nepotencijalnih sila na stabilnost položaja ravnoteže 221
a da su njeni koreni:
½ i¾1/2
1h 2 p
2 2
λ1/2 = ± − γ − c1 − c2 − (γ − c1 − c2 ) − 4c1 c2 ;
2
½ i¾1/2
1h 2 p
2 2
λ3/4 = ± − γ − c1 − c2 + (γ − c1 − c2 ) − 4c1 c2 .
2
Odavde sledi da će koreni karakteristične jednačine biti imaginarni ako su zado-
voljeni uslovi:
14 Ipak, efekat giroskopske stabilizacije se može uočiti i u ovom slučaju, ali u drugačijem
smislu. Naime, giroskopske sile mogu učiniti da poremećaji, za koje se može očekivati da
rastu kada t → ∞, budu ograničeni tokom nekog konačnog vremenskog intervala čak i kada
su prisutne potpuno disipativne sile. Zbog toga je Lord Kelvin predložio da se ovaj vid
stabilnosti nazove privremenim, dok bi uobačajeni vid stabilnosti bio trajan.
222 Glava 6. Stabilnost ravnoteže i stacionarnog kretanja
Iz ovih relacija je moguće ciklične generalisane brzine q̇α izraziti u funkciji pozi-
cionih koordinata i brzina i cikličnih generalisanih impulsa, koji predstavljaju
konstante kretanja:
R = R2 + R1 + R0 , (6.26)
gde je:
m m
1 XX
R2 = aij q̇i q̇j , aij = aij (qk ) = aji ; (6.27)
2 i=1 j=1
m
X
R1 = âi q̇i , âi = âi (qj , pα ); (6.28)
i=1
R0 = â0 , â0 = â0 (qi , pα ). (6.29)
W = Π − R0 . (6.31)
m
X m X
X m
Γi q̇i = γij q̇j q̇i = 0,
i=1 i=1 j=1
R2 + W = R2 + Π − R0 = const., (6.33)
što će biti jedan od ključnih argumenata prilikom dokazivanja teoreme o stabil-
nosti stacionarnog kretanja.
18 Ovo sledi iz jednačine (2.50).
226 Glava 6. Stabilnost ravnoteže i stacionarnog kretanja
Rautova teorema
Po analogiji sa ispitivanjem stabilnosti ravnoteže konzervativnog sistema,
posle linearne transformacije pozicionih koordinata19 diferencijalne jednačine
kretanja redukovanog sistema (6.32) postaju diferencijalne jednačine poreme-
ćaja. Ovo će omogućiti formulisanje odgovarajuće teoreme o stabilnosti sta-
cionarnog kretanja.
Treba primetiti da zbog relacije (6.31), W = Π − R0 , i činjenice da je
R0 = R0 (qi , pα ), parametri stacionarnog kretanja qi0 zavise od cikličnih gene-
ralisanih impulsa, odnosno cikličnih integrala pα = Cα , α = m + 1, . . . , n. Time
oni posredno zavise i od stacionarnih vrednosti cikličnih generalisanih brzina
q̇α0 . Pošto se kod redukovanog sistema (6.32) posmatraju samo pozicione gene-
ralisane koordinate moramo biti pažljivi prilikom uvod̄enja poremećaja njihovih
stacionarnih vrednosti. Naime, mogu se posmatrati sledeće dve klase poreme-
ćaja pozicionih koordinata:
Zbog toga se stabilnost u odnosu na ovakvu, posebnu klasu poremećaja u literaturi naziva
uslovnom stabilnošću.
21 Ova klasa poremećaja dovodi do jedne nove klase problema koja do sada nije razmatrana.
Naime, zbog strukture giroskopskih sila (6.30) i redukovanog potencijala (6.31), odnosno -
činjenice da oni zavise od vrednosti cikličnih generalisanih impulsa pα , u diferencijalnim jedna-
činama poremećaja će figurisati i poremećaji generalisanih impulsa ηα . Tada je neophodno
6.3. Stabilnost stacionarnog kretanja 227
Očigledno je da je druga klasa poremećaja znatno šira. Ovde će biti formulisane
teoreme koje se odnose na obe klase poremećaja. Prvu je formulisao Raut 1877.
godine.
Dokaz: Kao što smo rekli, stacionarno kretanje polaznog sistema (6.18) pred-
stavlja stanje mirovanja redukovanog sistema (6.32). Linearna transformacija
koordinata kojom bi se neporemećene vrednosti pozicionih koordinata i brzi-
na svele na qi0 = 0, q̇i0 = 0. Pošto po pretpostavci poremećaji pozicionih
promenljivih ne menjaju vrednosti cikličnih integrala, struktura jednačina (6.32)
ostaje nepromenjena pri neporemećenom kretanju. Pošto ovaj sistem poseduje
integral energije (6.33) dokaz teoreme se svodi na primenu Lagranž-Dirihleove
teoreme o stabilnosti položaja ravnoteže. ¥
qi = qi (pα ). (6.36)
d2 W κ p2ϕ
= −n + 3 ,
dr2 rn+1 mr4
a dovoljan uslov minimuma ima sledeći oblik:
d2 W κ
(r0 ) = n+1 (−n + 3) > 0.
dr2 r0
Zadaci
6.3 Odrediti moguće položaje ravnoteže sistema opisanog u zadataku 4.19 i ispi-
tati njihovu stabilnost. Zadatak rešiti najpre primenom funkcije Ljapunova u
vidu integrala energije, a zatim primenom Lagranž-Dirihleove teoreme o stabil-
nosti položaja ravnoteže.
Stabilnost u linearnoj
aproksimaciji
fi (t) = ci = const.
235
236 Glava 7. Stabilnost u linearnoj aproksimaciji
(2)
gde članovi Xi (x) sadrže poremećaje drugog i višeg stepena, a koeficijenti aij
su konstantni.
Sistem linearizovanih jednačina poremećaja (LJP), koji se izvodi iz (7.1), u
razvijenoj formi glasi:
x(t) = Ceλt .
u obliku V = x2 .
7.1. Teoreme o stabilnosti u linearnoj aproksimaciji 237
λk = αk + iβk , k = 1, . . . , n. (7.9)
Tada se k−to partikularno rešenje sistema LJP (7.3) može zapisati u obliku:
Imaginarni deo korena karakteristične jednačine generiše deo rešenja koji pred-
stavlja linearnu kombinaciju ograničenih funkcija vremena. Stoga presudnu
ulogu u analizi stabilnosti igra realni deo korena karakteristične jednačine. Za
dalju analizu biće važno da primetimo da su u slučaju kompleksnih sopstvenih
vrednosti i sopstveni vektori kompleksni, dk = ak + ibk . Njihova se euklidska
norma tada izračunava na sledeći način:
1/2
kdk k = (dk · d̄k )1/2 = ((ak + ibk ) · (ak − ibk )) = (ak · ak + bk · bk )1/2 .
Teorema 7.1 Ako su svi realni delovi αk korena karakteristične jednačine sis-
tema LJP (7.3) negativni, onda je neporemećeno kretanje asimptotski stabilno
u linearnoj aproksimaciji.
Re(λk ) = αk < 0, k = 1, . . . , n,
onda važi:
|eαk t | ≤ 1, lim eαk t = 0.
t→∞
lim kx(t)k = 0,
t→∞
7 Iste teoreme inače važe i za linearne sisteme jednačina poremećaja dobijene iz linearnih
matematičkih modela.
7.1. Teoreme o stabilnosti u linearnoj aproksimaciji 239
Teorema 7.2 Ako postoji bar jedan koren karakteristične jednačine sistema
LJP (7.3) čiji je realni deo pozitivan, onda je neporemećeno kretanje nestabilno
u linearnoj aproksimaciji.
Teorema 7.3 Ako postoje koreni karakteristične jednačine sistema LJP (7.3)
čiji su realni delovi jednaki nuli, a pri tome su realni delovi svih ostalih korena
negativni, onda je neporemećeno kretanje u linearnoj aproksimaciji stabilno u
običnom smislu.
Re(λs ) = αs = 0, 1 ≤ s ≤ m ≤ n;
Re(λk ) = αk < 0, m + 1 ≤ k ≤ n.
tako da tokom vremena neće iščeznuti, ali ostaju ograničeni odakle sledi stabil-
nost u običnom smislu. ¥
gde je: h i
Φ(t) = x(1) (t), . . . , x(n) (t) , (7.12)
fundamentalna matrica rešenja8 sačinjena od vektora-kolona partikularnih re-
šenja sistema (7.3), a C = (C1 , . . . , Cn )T vektor integracionih konstanti. Da bi
bili zadovoljeni početni uslovi x(0) = x0 vektor integracionih konstanti C mora
imati sledeću strukturu9 :
x(0) = Φ(0)C = x0 ⇒ C = Φ−1 (0)x0 .
Odatle sledi da se rešenje početnog problema može zapisati u obliku:
x(t) = Φ(t)Φ−1 (0)x0 = Ψ(t)x0 . (7.13)
Matrica Ψ(t) je takod̄e fundamentalna matrica rešenja, ali je normirana u smislu
da zadovoljava jednakost Ψ(0) = I.
Može se pokazati da rešenje (7.13) sistema LJP u potpunosti oponaša re-
šenje x(t) = x0 eat diferencijalne jednačine prvog reda ẋ = ax, x(0) = x0 , ako
se na odgovarajući način uvede pojam eksponencijalne funkcije matrice. On se
definiše pomoću stepenog reda:
∞
X Ak
eA = I + . (7.14)
k!
k=1
Lemi 8.1.
9 Matrica Φ−1 (0) je inverzna matrica od Φ(0). Ona postoji jer je Φ(t) nesingularna budući
ẇ = Aw = JSw. (7.19)
gde je:
w = (v1 , . . . , v2n )T = (q1 , . . . , qn , p1 , . . . , pn )T ,
2n−dimenzijski vektor veličina stanja. Matrica J je antisimetrična matrica reda
2n: · ¸
0n In
J= , (7.21)
−In 0n
gde su 0n i In nula-matrica i jedinična matrica reda n, respektivno.
Zbog specifične strukture LJP (7.19) može se pokazati10 da karakteristična
jednačina, koja je stepena 2n, ima strukturu polinoma n−tog stepena u odnosu
na λ2 : P2n (λ) = Pn (λ2 ) = 0. Med̄utim, iza ovog sledi jedan dublji rezultat koji
neposredno opisuje strukturu korena karakteristične jednačine:
1. ako je Reλ 6= 0 i Imλ 6= 0, onda postoje koreni karakteristične jednačine
sa uočenim obrazuju ured̄enu četvorku (λ, −λ, λ̄, −λ̄);
2. ako je Reλ 6= 0 i Imλ = 0, onda postoji koren karakteristične jednačine
koji sa uočenim obrazuje ured̄eni par (λ, −λ);
3. ako je Reλ = 0 i Imλ 6= 0, onda postoji koren karakteristične jednačine
koji sa uočenim obrazuje ured̄eni par (λ, λ̄);
4. λ = 0 može biti koren parne algebarske višestrukosti.
10 Tvrd̄enja koja slede čitalac treba da prihvati bez dokaza.
242 Glava 7. Stabilnost u linearnoj aproksimaciji
ljaju interpretaciju Hartmanove teoreme (Teorema 9.3) u duhu teorije stabilnosti. Pomenutom
teoremom se uspostavlja veza izmed̄u faznih trajektorija nelinearnog i linearizovanog sistema
u okolini singularne tačke.
13 Opisana transformacija uvek postoji i njom se matrica A linearizovanog sistema jednačina
poremećaja svodi na takozvanu Žordanovu ili dijagonalnu formu, pri čemu je matrica linearne
transformacije sačinjena od sopstvenih vektora linearizovanog problema. Sistem (7.23) pred-
stavlja specijalni slučaj u kom su svi koreni karakteristične jednačine med̄usobno različiti
(nema višestrukih korena). Kada postoje višestruki koreni Žordanova forma LJP ima nešto
drugačiju (složeniju) strukturu. Pošto to nema uticaja na konačne rezultate do kojih želimo
da dod̄emo, zadržaćemo se samo na analizi ovog specijalnog slučaja.
7.2. Odnos stabilnosti linearizovanih i nelinearnih sistema 243
(2)
gde su λ1 , λ2 , . . . , λn koreni karakteristične jednačine, a Zi (z1 , . . . , zn ), i =
1, . . . , n funkcije koje sadrže članove drugog ili višeg reda. Pošto je transfor-
macija (7.22) linearna i nesingularna dokazivanjem stabilnosti u odnosu na
promenljive z1 , . . . , zn istovremeno će biti dokazana i stabilnost u odnosu na
polazne promenljive x1 , . . . , xn .
Teorema 7.4 Ako su svi realni delovi korena karakteristične sistema LJP (7.3)
jednačine negativni, onda je neporemećeno kretanje asimptotski stabilno bez
obzira na članove višeg reda.
Dokaz: Pretpostavimo da med̄u korenima karakteristične jednačine postoje dva
para konjugovano-kompleksnih:
λ1 = α1 + iβ1 , λ2 = λ̄1 = α1 − iβ1 ;
(7.24)
λ3 = α2 + iβ2 , λ4 = λ̄3 = α2 − iβ2 ,
dok su λ5 , λ6 , . . . , λn realni koreni14 . Tada se, u opštem slučaju, odgovarajuća
rešenja transformisanog sistema (7.23) mogu zapisati u obliku:
z1 = u1 + iv1 , z2 = z̄1 = u1 − iv1 ;
(7.25)
z3 = u2 + iv2 , z4 = z̄1 = u2 − iv2 .
Pretpostavimo funkciju Ljapunova u sledećem obliku:
1£ ¤
V = z1 z2 + z3 z4 + z52 + · · · + zn2 . (7.26)
2
Pošto iz jednačine (7.25) sledi:
z1 z2 = (u1 + i v1 )(u1 − i v1 ) = u21 + v12 ;
z3 z4 = (u2 + i v2 )(u2 − i v2 ) = u22 + v22 .
funkcija Ljapunova će se svesti na oblik:
1£ 2 ¤
V = u1 + v12 + u22 + v22 + z52 + · · · + zn2 ,
2
iz kog je jasno da se radi o pozitivno definitnoj funkciji. Njen izvod u smislu
jednačina poremećaja glasi:
1
V̇ = [ż1 z2 + z1 ż2 + ż3 z4 + z3 ż4 + 2z5 ż5 + · · · + 2zn żn ]
2
1h (2) (2)
= (λ1 z1 + Z1 )z2 + z1 (λ2 z2 + Z2 )
2
(2) (2)
+(λ3 z3 + Z3 )z4 + z3 (λ4 z4 + Z4 )
i
(2)
+2z5 (λ5 z5 + Z5 ) + · · · + 2zn (λn zn + Zn(2) )
1
= [(λ1 + λ2 )z1 z2 + (λ3 + λ4 )z3 z4 ] + λ5 z52 + · · · + λn zn2 + Z (3) ,
2
14 Ova pretpostavka, naravno, nije obavezujuća. Ona je uvedena da bi se ilustrovala pro-
gde funkcija Z (3) sadrži članove trećeg i višeg stepena s obzirom na poremećaje
zi . Imajući u vidu da je:
dobija se:
Teorema 7.5 Ako postoji bar jedan koren karakteristične jednačine sistema
LJP (7.3) koji ima pozitivan realni deo, onda je neporemećeno kretanje nesta-
bilno bez obzira na članove višeg reda.
Ω = {(z1 , . . . , zn )|z1 6= 0, z2 6= 0, z3 = z4 = z5 = . . . = zn = 0} .
gde funkcija Z (3) sadrži članove trećeg i višeg stepena s obzirom na poremećaje
zi . Koristeći relacije (7.27) izvod funkcije Ljapunova se može zapisati na sledeći
način:
© ª
V̇ = α1 α1 (u21 + v12 ) + α22 (u22 + v22 ) + λ25 z52 + · · · + λ2n zn2 + Z (3) .
a0 λn + a1 λn−1 + · · · + an−1 λ + an = 0,
i pretpostavimo da je a0 > 0. Naš je cilj da utvrdimo pod kojim uslovima će svi
realni delovi korena karakteristične jednačine biti negativni, a da se pri tome
ne vrši njihovo eksplicitno odred̄ivanje. Jedan uslov algebarskog karaktera su
krajem XIX veka nezavisno formulisali Raut i Hurvic. Iako su po svojoj formi
različiti, pomenuti uslovi su ekvivalentni. Koristeći koeficijente karakteristične
jednačine formirajmo sledeću matricu reda n:
a1 a3 a5 · · · 0
a0 a2 a4 · · · 0
H = 0 a1 a3 · · · 0 . (7.29)
.. .. .. . . ..
. . . . .
0 0 0 ··· an
246 Glava 7. Stabilnost u linearnoj aproksimaciji
Hurvicova teorema, koju navodimo bez dokaza, formuliše uslove pod kojima će
svi koreni karakteristične jednačine imati negativne realne delove.
• ako je pri a0 > 0 bar jedan od ostalih koeficijenata negativan, onda postoji
bar jedan koren karakteristične jednačine sa pozitivnim realnim delom.
ẍ + ẋ + x − αy = 0;
ÿ + ẏ − βx + y = 0.
x = x1 , ẋ = x2 , y = x3 , ẏ = x4 ,
ẋ1 = x2 ;
ẋ2 = −x1 − x2 + αx3 ;
ẋ3 = x4 ;
ẋ4 = βx1 − x3 − x4 .
= λ4 + 2λ3 + 3λ2 + 2λ + 1 − αβ = 0.
a0 = 1; a1 = 2; a2 = 3; a3 = 2; a4 = 1 − αβ.
Možemo primetiti da će neophodni uslovi (7.32) biti zadovoljeni ako važi nejed-
nakost αβ < 1. Pored toga, uslovi Hurvicove teoreme (7.31) daju nam sledeće
nejednakosti:
|αβ| < 1.
biti vezani za uslove eksploatacije sistema ili tehnologiju njihove izrade, ali mogu
biti diktirani i težnjom za optimizacijom njihovog rada (na primer, minimizacija
potrošnje goriva) ili njegovom stabilnošću. Pomenutim primerom je pokazano
kako je moguće suziti oblast vrednosti parametara sistema u cilju obezbed̄ivanja
asimptotske stabilnosti stacionarnog režima rada. Ova problematika ima veliki
značaj kod projektovanja sistema automatskog upravljanja kod kojih se vrši
automatska regulacija ponašanja sistema putem povratne sprege.
∆1 = 25 > 0;
∆2 = 6250 − a3 > 0;
∆3 = 6250a3 − a23 − 625a4 > 0;
∆4 = a 4 ∆3 .
Imajući u vidu drugi i treći uslov15 neporemećeno kretanje će biti asimptotski
stabilno ako su zadovoljene sledeće nejednakosti:
četvrti uslov.
250 Glava 7. Stabilnost u linearnoj aproksimaciji
1
r0 = a4 · 10−3 = 5; r1 = (a3 · 10−3 − 1) = 1.2.
r0
neporemećeno kretanje biti nestabilno. Dijagrami promene poremećaja tokom
vremena za pomenute vrednosti parametara i ξ(0) = 0.1 su dati na Slici 7.3. J
Primer 7.4 Avion mase m kreće se pod desjtvom konstantne pogonske sile čiji
je intenzitet po jedinici mase f . Pravac pogonske sile sa horizontom obrazuje
ugao α. Tokom kretanja na avion dejstvuju sila težine, sila otpora W = mcv 2
i sila uzgona U = mkv 2 , gde je v trenutna brzina aviona, a c i k koeficijenti
otpora i uzgona, respektivno. Vektor brzine centra mase aviona sa horizontom
obrazuje ugao β. Odrediti uslove stacionarnog kretanja aviona v(t) = v0 =
7.4. Izbor parametara sistema 251
1 dβ β̇ β̇
= = = ,
ρ ds ṡ v
gde je s lučna koordinata, a v projekcija brzine na pravac tangente na trajek-
toriju. Tada se ubrzanje tačke može zapisati na sledeći način16 :
v2
a = v̇ t + n = v̇ t + v β̇ n,
ρ
a sile koje dejstvuju na avion imaju sledeću strukturu:
m a = m g + P + W + U,
v̇ = −g sin β + f cos(α − β) − c v 2 ;
cos β sin(α − β)
β̇ = −g +f + k v.
v v
16 Pošto se u ovom problemu pretpostavlja da se kretanje vrši uvek u istom smeru - smeru
v(t) = v0 + x1 ; β(t) = x2 ,
Korišćenjem aproksimacija:
a1 = (3 − γ)cv0 > 0;
· 2 ¸
g 2 2
a2 = 2 2 − (γ − 1)c v0 > 0,
v0
Zadaci 253
Zadaci
7.1 Ispitati stabilnost stacionarnog obrtanja teškog simetričnog giroskopa oko
vertikalne ose koristeći linearizovane jednačine poremećaja. Za generalisane
koordinate usvojiti Krilovljeve uglove α, β i ϕ. Kinetička i potencijalna energija
imaju sledeću strukturu:
1h i
T = A(ϕ̇ − α̇ sin β) + B(β̇ 2 + α̇2 cos2 β) ;
2
Π = M gl cos α cos β,
a stacionarno obrtanje je odred̄eno relacijama α(t) = 0, β(t) = 0, ϕ̇(t) = ω.
Napomena. Za male poremećaje stacionarnog obrtanja oko vertikalne ose pore-
mećaji Krilovljevih uglova α i β su mali.
7.5 Matematički model koji opisuje sistem magnetnog oslanjanja rotora ima
sledeći oblik ẋ = Ax, gde je:
0 1 0
A = −3 −1 0 .
−2 −1 −2
Stabilnost neautonomnih
sistema
dyi
= Yi (y1 , . . . , yn , τ ); i = 1, . . . , n, (8.1)
dτ
257
258 Glava 8. Stabilnost neautonomnih sistema
x(τ ) = yi (τ ) − fi (τ ); τ ≥ t0
f˙i (t + t0 ) = Yi (fj (t + t0 ), t + t0 ),
Činilac koji predstavlja funkciju vremena je ograničen za svako konačno |t| < ∞
tako da i ovde važi:
£ ¤
exp 6 sin t − 6t cos t − t2 < K; K > 0.
gde smo usvojili c(t0 ) = K C(t0 ) > 0. Za svako zadato ε > 0 može se izabrati
δ(ε, t0 ) = ε/c(t0 ) koje obezbed̄uje da poremećaji budu ograničeni, |x(t)| < ε,
odnosno da neporemećeno kretanje bude stabilno. Da li je moguće izabrati δ
tako da ne zavisi od t0 ?
Posmatrajmo šta se dogad̄a u različitim početnim trenucima. Pretpostavimo
da t0 može imati vrednosti t0 = 2nπ, n = 0, 1, 2, . . ., i posmatrajmo vrednosti
poremećaja x(t) π sekundi kasnije, t = t0 + π, u svakom od ovih slučajeva.
Dobija se:
x(t0 + π) = x(t0 ) exp [(4n + 1)(6 − π)π] ,
odakle sledi da za x(t0 ) 6= 0 važi:
x(t0 + π)
→∞ kada n → ∞,
x(t0 )
što znači da kasnija pojava početnih poremećaja utiče na vrednosti poremećaja
tokom kretanja, iako su one ograničene. Stoga možemo zaključiti da za zadato
ε > 0 ne postoji δ nezavisno od t0 koje bi obezbedilo stabilnost neporemećenog
kretanja uniformno s obzirom na t0 . J
gde je i = 1, . . . , n.
1 Zainteresovani čitalac može pronaći definicije globalne stabilnosti u literaturi [6], [30] i
[49].
2 Iako posle transformacije nezavisno promenljive početni trenutak može biti t = 0, a t
0
tada figurisati u DJP, radi lakšeg razumevanja definicija usvojićemo da je početni trenutak
t = t0 .
260 Glava 8. Stabilnost neautonomnih sistema
Definicija 8.1 (Obična stabilnost) Ako za svaki mali, realni, pozitivni broj
ε postoji mali, realni, pozitivni broj δ(ε, t0 ) takav da važi:
2. V (t, 0) = 0 za t ∈ I;
2. V (t, 0) = 0 za t ∈ I;
Odavde sledi da je za |α| < 1 funkcija V pozitivno definitna, jer se može usvojiti
W (x1 , x2 ) = (1−|α|)(x21 +x22 ). Za |α| = 1 funkcija V je pozitivno semidefinitna.
J
Njena matrica koeficijenata će biti vremenski zavisna, C(t) = [cjk (t)]nj,k=1 , a
odgovarajući glavni dijagonalni minori, odnosno generalisane Silvestrove deter-
minante imaće sledeći oblik:
¯ ¯
¯c11 (t) c12 (t) · · · c1k (t)¯
¯ ¯
¯c21 (t) c22 (t) · · · c2k (t)¯
¯ ¯
∆k (t) = ¯ . .. .. .. ¯ ; k = 1, . . . , n.
¯ .. . . . ¯¯
¯
¯ck1 (t) ck2 (t) · · · ckk (t)¯
Teoreme o stabilnosti
Ljapunovljeve teoreme o stabilnosti nam daju dovoljne uslove stabilnosti
oslanjajući se na pomoćne funkcije V (t, x) koje takod̄e nose njegovo ime. Prime-
timo samo da u slučaju neautonomnih sistema (8.2) njihov izvod u smislu jedna-
čina poremećaja ima sledeći oblik:
n
X ∂V
dV ∂V
V̇ = = + Xi
dt ∂t ∂xi
i=1 (8.11)
∂V
= + u · gradV,
∂t
Pn
gde je u = i=1 Xi (t, x)ei .
gde su W1 (x) i W2 (x) pozitivno definitne funkcije. Ako je izvod funkcije V (t, x)
u smislu jednačina poremećaja (8.2) negativno semidefinitna funkcija, V̇ (t, x) ≤
0, onda je neporemećeno kretanje uniformno stabilno.
8.2. Direktni metod za neautonomne sisteme 265
Ove teoreme nećemo dokazivati4 , ali ćemo naglasiti smisao uslova (8.12).
Pozitivno definitna funkcija W2 (x) obezbed̄uje uniformnu ograničenost funkcije
Ljapunova V (t, x) sa gornje strane. Na primer, funkcija V (t, x1 , x2 ) = eαt (x21 +
x22 ) iz Primera 8.2 jeste pozitivno definitna za α > 0, ali nije ograničena sa gornje
strane. Upravo uniformna ograničenost funkcije omogućuje izbor δ−okoline
koordinatnog početka koja ne zavisi od početnog trenutka t0 , δ = δ(ε).
Na sličan način se uopšatava Ljapunovljeva teorema o asimptotskoj stabil-
nosti. Dokaz, koji je više tehničke prirode, će biti izostavljen.
gde su W1 (x) i W2 (x) pozitivno definitne funkcije. Ako je izvod funkcije V (t, x)
u smislu jednačina poremećaja (8.2) negativno definitna funkcija,
Primer 8.4 Matematičko klatno mase m vrši male oscilacije u vertikalnoj ravni.
Dužina klatna se menja po zakonu l(t) = l0 (1 + bt)2 , b > 0. Primenom direkt-
nog metoda Ljapunova ispitati stabilnost neporemećenog kretanja ϕ(t) ≡ 0 za
t ≥ t0 = 0.
g ˙
l(t)
ẏ1 = y2 ; ẏ2 = − y1 − 2 y2 .
l(t) l(t)
Na kraju ćemo bez dokaza dati još jednu teoremu direktnog metoda koja se
odnosi na eksponencijalnu stabilnost.
5 Ovo je, uz celokupnu dalju analizu stabilnosti, učinjeno u radu [19].
8.3. Linearni neautonomni sistemi 267
ẋ = A(t)x, (8.14)
gde je:
n
x = (x1 , . . . , xn )T ; A(t) = (aij (t))i,j=1 .
det Φ(t) 6= 0.
268 Glava 8. Stabilnost neautonomnih sistema
6 Ako uslov det Φ(t) 6= 0 ne bi bio zadovoljen, onda bi Φ(t) bila matrica rešenja, ali na
za t ∈ (t0 , ∞). Pretpostavimo da ipak postoji rešenje x̄(t) sistema (8.14) koje
zadovoljava početne uslove x̄(t0 ) = x̂0 i koje je neograničeno8 u posmatranom
7 Primeri normi matrice A = (aij )n
i,j=1 mogu biti:
2
X n n
X
kAk = a2ij ili kAk = sup |aij |.
i
i,j=1 j=1
δ
x(t) = x̄(t).
2kx̄0 k
Iz same njene definicije je jasno da ona takod̄e predstavlja rešenje sistema (8.14),
a da njeni početni uslovi (poremećaji) zadovoljavaju nejednakost:
δ δ
kx(t0 )k ≤ kx̄(t0 )k = < δ.
2kx̄0 k 2
Flokeova teorija u R
Posmatrajmo jednodimenzijski sistem čija linearizovana DJP jeste homogena
jednačina sa periodičnim koeficijentom:
ẋ = a(t)x; (8.21)
a(t) ∈ R; a(t + T ) = a(t); x(0) = x0 .
onda se rešenje (8.22) može zapisati u obliku x(t) = ϕ(t)x0 koji je analogan
(8.18), a fundamentalna matrica ϕ(t) zadovoljava jednačinu ϕ̇(t) = a(t)ϕ(t)
koja je analogna (8.17). Pored toga, iz definicije (8.23) sledi da je funkcija ϕ(t)
pozitivna, ϕ(t) > 0. Dva važna svojstva fundamentalne matrice su sadržana u
sledećoj Lemi.
10 Za matricu A(t) kažemo da je periodična sa periodom T ako su svi njeni elementi a (t),
ij
i, j = 1, . . . , n, periodične funkcije čiji je najmanji zajednički period T . To ne isključuje
mogućnost da postoje konstantni elementi ili elementi čiji je period T /m, m ∈ N. Matrica
A(t) će biti ograničena ako su svi njeni elementi ograničene funkcije.
11 Iako se ovde radi o običnoj funkciji - matrici sa samo jednim elementom - zadržaćemo
uvedeni termin.
272 Glava 8. Stabilnost neautonomnih sistema
odnosno,
ϕ(nT ) = ϕn (T ). (8.25)
Tada imamo
(Z Z )
T t+T
ϕ(t + T ) = exp a(s)ds + a(s)ds
0 T
(Z ) (Z )
T t+T
= exp a(s)ds exp a(s)ds = ϕ(T )ϕ(t),
0 T
λ = ϕ(T ), (8.26)
Flokeova teorema nam daje uslov stabilnosti trivijalnog rešenja x(t) = 0 osla-
njajući se na znak realnog dela Flokeovog eksponenta.
odakle sledi:
|x(t)| ≤ |v(t)||ert ||x0 | ≤ M |x0 ||ert |.
Ako je Re(r) < 0 poremećaj ostaje ograničen, |x(t)| ≤ M |x0 |, ali i asimptotski
teži nuli, limt→∞ x(t) = 0, pa je neporemećeno kretanje asimptotski stabilno.
Ako je Re(r) > 0, onda poremećaj neograničeno raste, a neporemećeno kretanje
je nestabilno. ¥
Flokeova teorija u Rn
Posmatrajmo sistem linearizovanih DJP sa periodičnim i ograničenim koefi-
cijentima:
ẋ = A(t)x; (8.30)
A(t + T ) = A(t); x(0) = x0 ,
Lema 8.3 Ako je Φ(t) normirana fundamentalna matrica rešenja sistema (8.30),
onda je i:
Ψ(t) = Φ(t + T ), (8.31)
fundamentalna matrica. Pored toga, matrica Φ(t) ima sledeća svojstva:
odnosno,
Φ(nT ) = Φn (T ). (8.33)
12 Ovo je specijalni slučaj 2. svojstva fundamentalnih matrica rešenja iz Leme 8.1.
8.4. Flokeova teorija 275
Φ(T ) = eT R .
Φ(t + T ) = Φ(t)eT R .
276 Glava 8. Stabilnost neautonomnih sistema
Zadaci
8.1 Za sistem čije su diferencijalne jednačine poremećaja:
ẋ1 = −x31 + x1 x32 cos 2t; ẋ2 = (1 + sin2 t)x21 x22 − 2x52 .
a) ẋ = x sin2 t − y cos t;
ẏ = x cos t + y sin2 t;
b) ẋ = −2x sin2 t + y cos3 t;
ẏ = −x cos3 t − 2y sin2 t;
c) ẋ = (α + β sin3 t)x − y cos2 t;
ẏ = x cos2 t + (α + β sin3 t)y.
Dinamički sistemi:
stacionarne tačke
temima u faznoj ravni. Med̄utim, ravan u geometrijskom smislu ne mora uvek biti najpogod-
niji prostor za analizu dinamike sistema. Vrlo često se jednostavniji i prirodniji prikaz dobija
kada se ponašanje opiše faznim trajektorijama na cilindru, sferi ili torusu. Drugim rečima,
ponašanje sistema drugog reda može biti opisano na bilo kojoj mnogostrukosti dimenzije 2.
281
282 Glava 9. Dinamički sistemi: stacionarne tačke
ẏ1 = Y1 (y1 , y2 );
(9.1)
ẏ2 = Y2 (y1 , y2 ).
ẏ = Y(y), (9.2)
gde je Y(y) = (Y1 (y), Y2 (y))T . Sistem (9.1) može predstavljati diferencijalne
jednačine kretanja mehaničkog sistema sa jednim stepenom slobode, ali se na
njega mogu svesti i problemi sa više stepeni slobode koji poseduju odgovarajući
broj prvih integrala. Videćemo uz to da istu strukturu mogu imati i matematički
modeli nekih električnih sistema, hemijskih ili bioloških procesa. Konačno, treba
imati na umu da nezavisno promenljiva, koju smo inicijalno označili sa t, ne mora
uvek imati smisao vremena: rezultati analize dinamičkih sistema u faznoj ravni
se uspešno mogu primeniti i na modele kod kojih nezavisno promenljiva ima i
drugačiji fizički smisao. Zbog toga ćemo u daljoj analizi za početni trenutak
formalno usvajati t0 = 0, ali ćemo po potrebi vršiti analizu rešenja za −∞ <
t < ∞.
sada ćemo pretpostaviti da ono postoji i da je jedinstveno za ma koje početne uslove i za sve
vrednosti nezavisno promenljive.
4 Na primer, kada bi nezavisno promenljiva bila τ = kt, k = const., eksplicitni oblik para-
dy2 Y2 (y1 , y2 )
= . (9.3)
dy1 Y1 (y1 , y2 )
Sa druge strane, vrlo detaljna slika može biti dobijena i numeričkom analizom sistema (9.1).
6 Ovo odgovara pojmu linije putanje iz kinematike materijalne tačke.
7 Kretanje duž neke krive u faznoj ravni može biti ostvareno sa beskonačno mnogo različitih
početnih uslova.
284 Glava 9. Dinamički sistemi: stacionarne tačke
Kriva odred̄ena ovom jednačinom zove se integralna kriva vektorskog polja kroz
tačku y0 . Pri tome ćemo pretpostaviti da rešenje postoji i da je jedinstveno
za −∞ < t < ∞. Primetimo da vektor Y(y0 ) mora imati pravac tangente na
integralnu krivu. Isto važi i u svim ostalim tačkama y∗ = ŷ(t∗ , y0 ) - vektor
Y(y∗ ) mora imati pravac tangente na integralnu krivu.
Ova interpetacija se vrlo lako može demonstrirati na primeru diferencijalne
jednačine kretanja matematičkog klatna:
Zbog toga će se termini stacionarna tačka i kritična, odnosno singularna tačka
u daljem tekstu koristiti kao sinonimi.
Za stacionarnu tačku y0 = (y10 , y20 )T kažemo da je izolovana ako postoji
okolina u kojoj nema drugih stacionarnih tačaka. U suprotnom, kada u svakoj
okolini stacionarne tačke postoji bar još jedna stacionarna tačka, onda kažemo
da ona nije izolovana. Uslov izolovanosti singularne tačke se svodi na regularnost
Jakobijana sistema (9.1):
¯ ¯
¯∂Y /∂y1 ∂Y1 /∂y2 ¯
det J(y10 , y20 ) = ¯¯ 1 ¯ (y , y ) 6= 0. (9.6)
∂Y2 /∂y1 ∂Y2 /∂y2 ¯ 10 20
Ako je Jakobijan singularan (det J(y10 , y20 ) = 0), uočena stacionarna tačka nije
izolovana.
9.1. Dinamički sistemi drugog reda 285
Y1 = a11 y1 + a12 y2 + b1 ;
(9.7)
Y2 = a21 y1 + a22 y2 + b2 ,
Ovo je klasični model koji opisuje rast populacije čiji je broj jedinki y > 0.
Prikazani sistem ima samo jednu stacionarnu tačku y0 = 0. Zbog pretpostavke
a > 0 struktura rešenja u okolini stacionarne tačke nam otkriva da će ona biti
nestabilna, jer za ma koji početni uslov y(0) 6= 0 imamo eksponencijalno rastuće
rešenje:
y(t) = Ceat , C > 0.
Pošto je ovo ujedno i tačno rešenje problema, vidimo da ovaj model predvid̄a
neograničeni rast populacije.
Posmatrajmo sada nelinearni sistem koji takod̄e opisuje rast populacije:
aeat
y(t) = ,
C + beat
i da ono asimptotski teži c2 = a/b kada t → ∞ za ma koji početni uslov y(0) > 0.
Slika 9.2: Rešenja linearnog (1) i nelinearnog (2,3) modela rasta populacije
Iako se odnose na isti fenomen, prikazani modeli daju potpuno različitu sliku
ponašanja sistema. To je posledica korišćenja različitih pretpostavki prilikom
modeliranja. Iza prvog modela stoji pretpostavka da vrsta koju analiziramo
živi izolovano (ne stupa u interakciju sa drugim vrstama koje žive na istom
prostoru) kao i da su izvori hrane neograničeni. U slučaju logističke jednačine
zadržana je pretpostavka o izolovanosti vrste, ali je odbačena ona o neograni-
čenim izvorima hrane. U matematičkom smislu ova pretpostavka je izražena
nelinearnim korekcionim članom zahvaljujući kom se limitira broj jedinki. U
smislu ponašanja dinamičkog sistema ovo se manifestuje u vidu nove, asimptot-
ski stabilne stacionarne tačke10 .
Na Slici 9.2 prikazana su rešenja linearnog (9.8) i nelinearnog (9.9) modela
rasta populacije za vrednosti parametara a = 3.0, b = 4.0 i početne uslove
y(0) = 0.1, odnosno y(0) = 0.9. Ovde možemo primetiti još jednu bitnu razliku
9 Iako bi ispravno bilo reći da je stanje sistema odred̄eno stacionarnom tačkom c stabilno,
1
u tekstu će obično biti korišćena ova skraćena formulacija.
10 Analizom broja i strukture stacionarnih rešenje se ni u kom slučaju ne iscrpljuje lista
bitnih razlika izmed̄u linearnih i nelinearnih sistema. Na ovaj način je u prvi plan izvučeno
ono njihovo svojstvo kojem će u nastavku biti posvećena najveća pažnja.
9.2. Linearni sistemi drugog reda 287
izmed̄u linearne i nelinearne analize: LJP daju samo grubu - lokalnu informaciju
o ponašanju poremećaja. Tačno rešenje nelinearnog problema nam otkriva da
poremećaji stanja c1 = 0 ne rastu neograničeno, kako to predvid̄aju LJP, već
samo da mali poremećaji napuštaju unapred zadatu malu okolinu stacionarne
tačke.
ẋ = Y1 (c1 + x, c2 + y);
(9.10)
ẏ = Y2 (c1 + x, c2 + y).
ẋ = ax + by;
(9.11)
ẏ = cx + dy.
Sistem (9.11) će biti polazna tačka naše buduće analize. Naš je cilj da za linearne
dinamičke sisteme različite strukture konstruišemo rešenje i dobijemo njihov
lokalni fazni portret u okolini stacionarne tačke.
Tada svaka njihova linearna kombinacija x(t) = C1 x1 (t) + C2 x2 (t) takod̄e pred-
stavlja rešenje sistema (9.13):
odnosno:
λ2 − (a + d)λ + ad − bc = 0. (9.16)
9.2. Linearni sistemi drugog reda 289
za i = 1, 2.
Sopstvene vrednosti mogu biti realne, ali i konjugovano-kompleksne:
stoga se kao linearno nezavisna rešenja sistema (9.13) usvajaju realni i imagi-
narni deo dobijenih kompleksnih rešenja:
ẋ = −x + 2y; ẏ = 2x − y.
det(A − λI) = λ2 + 2λ − 3 = 0;
λ1 = 1, λ2 = −3.
−ai + 2bi = λi ai ;
2ai − bi = λi bi .
det(A − λI) = λ2 + 6λ + 10 = 0;
λ1 = −3 + i, λ2 = −3 − i.
Imajući u vidu opštu strukturu rešenja (9.21) dobijamo sledeća dva linearno
nezavisna rešenja zadatog sistema15 :
· −3t ¸ · −3t ¸
e (cos t − sin t) e (sin t + cos t)
x1 (t) = ; x2 (t) = ,
e−3t cos t e−3t sin t
13 Imaginarni deo sopstvene vrednosti je odred̄en sa tačnošću do na znak: može biti −1, ali
Da bi dobijeno rešenje bilo saglasno sa početnim uslovom x(0) = (2, 1)T , inte-
gracione konstante moraju zadovoljiti sledeći sistem linearnih algebarskih jedna-
čina: ¾
C1 + C2 = 2
⇒ C1 = 1, C2 = 1,
C1 = 1
odakle sledi: · ¸
2e−3t cos t
x(t) = −3t .
e (cos t + sin t)
J
x = Tu, (9.22)
odakle sledi:
ẋ = Tu̇ = A(Tu) = (AT)u.
Primenom inverzne transformacije T−1 dobija se:
Posledica ove Leme jeste da slične matrice imaju jednake sopstvene vred-
nosti, što znači da lokalno ponašanje dinamičkog sistema ne menja svoja kvali-
tativna svojstva posle transformacije (x, y) → (u, v). Može se pokazati da Lema
9.1 važi za matrice prozivoljnog reda.
Postavimo sledeće pitanje: kakva treba da bude matrica linearne transforma-
cije T da bi matrica transformisanog sistema B imala jednostavniju strukturu
od matrice A, odnosno da bi imala dijagonalnu formu17 ? Može se pokazati,
što ovde nećemo dokazivati, da je matrica T sačinjena od linearno nezavisnih
sopstvenih vektora18 . Kada su sopstvene vrednosti proste, odnosno različite,
mogu se uočiti sledeća dva slučaja.
u̇ = λ1 u; v̇ = λ2 v, (9.25)
Slika 9.3: Fazni portreti linearnih sistema u okolini (a) stabilnog i (b) nestabilnog
čvora
približava u−osi kao asimptoti. Kada se kreće duž trajektorija koje se poklapaju
sa osama imamo dva slučaja: duž u−ose se neograničeno udaljuje od stacionarne
tačke (odnosno asimptotski joj teži kada t → −∞), a duž v−ose joj asimptotski
teži21 kada t → ∞. Sedlo je nestabilna stacionarna tačka.
u̇ = αu + βv;
v̇ = −βu + αv,
u = r cos ϕ r2 = u2 + v 2
⇔ .
v = r sin ϕ ϕ = tan(v/u)
Slika 9.5: Fazni portreti linearnih sistema u okolini (a) stabilnog i (b) nestabilnog
fokusa
Slika 9.6: Fazni portreti linearnih sistema u okolini (a) stabilnog degenerisanog
čvora prvog tipa i (b) nestabilnog degenerisanog čvora drugog tipa
što znači da fazni portret čini familija krugova sa centrom u stacionarnoj ta-
čki. Kod originalnog sistema to bi bila familija elipsi sa istim centrom. U
pogledu stabilnosti za ovu stacionarnu tačku možemo reći da je stabilna u obi-
čnom smislu.
λ2 − (a + d)λ + ad − bc = 0.
λ2 − pλ + q = 0, (9.48)
302 Glava 9. Dinamički sistemi: stacionarne tačke
ẋ = x − 2y; ẏ = 2x + γy,
odakle sledi:
p = trA = 1 + γ; q = det A = 4 + γ,
304 Glava 9. Dinamički sistemi: stacionarne tačke
1n p o
λ1/2 = 1 + γ ± γ 2 − 2γ − 15 .
2
Ovde će biti analizirani samo regularni (ne i granični) slučajevi.
Parovi realnih i konjugovano-kompleksnih sopstvenih vrednosti su podeljeni
graničnom krivom p2 = 4q. Otuda se granične vrednosti parametra γ dobijaju
iz uslova:
D = p2 − 4q = 0 ⇒ γ1 = −3, γ2 = 5.
ẋ = (A + εB)x, (9.50)
gde je ε mali realan broj, onda će postojati δ = δ(ε) takvo da sopstvene vrednosti
matrice poremećenog sistema A + εB zadovoljavaju sledeće uslove:
Stanje mirovanja ovog sistema predstvalja stacionarnu tačku tipa centra, a mali
poremećaj u sistemu u vidu sile otpora (pozitivne ili negativne) pretvara je u
stabilni, odnosno nestabilni fokus:
· ¸ µ· ¸ · ¸¶ · ¸
ẋ 0 1 0 0 x
= +ε .
ẏ −ω 2 0 0 −1 y
24 Ovom definicijom su obuhvaćene i realne i konjugovano-kompleksne sopstvene vrednosti,
lim y(t) = ((2k − 1)π, 0)T ; lim y(t) = ((2k + 1)π, 0)T ,
t→−∞ t→∞
lim y(t) = ((2k + 1)π, 0)T ; lim y(t) = ((2k − 1)π, 0)T ,
t→−∞ t→∞
308 Glava 9. Dinamički sistemi: stacionarne tačke
d2 ϕ dϕ
+β + sin ϕ = 0,
dτ 2 dτ
tačaka:
( (
(1) ẋ1 = x2 ; (2) ẋ1 = x2 ;
y0 : y0 : (9.58)
ẋ2 = −x1 − βx2 ; ẋ2 = x1 − βx2 ,
(1)
Lako se može utvrditi da stacionarne tačke y0 predstavljaju stabilne fokuse,
(2)
dok su su y0 stacionarne tačke tipa sedla. Dobijeni rezultat je u skladu sa ko-
mentarom o hiperboličnim tačakama i strukturnoj stabilnosti, datim u prethod-
nom odeljku. Disipativne sile su uticale da centri, koji nisu hiperbolični, postanu
stabilni fokusi, ali zato sedla nisu promenila svoj karakter, što govori o njihovoj
hiperboličnosti i strukturnoj stabilnosti linearizovanih jednačina poremećaja.
Na primer, za β = 0.45 sopstvene vrednosti linearizovanih jednačina u okolini
sedla su:
λ1 = 0.8; λ2 = −1.25,
dok su odgovarajući sopstveni vektori:
· ¸ ¸
·
(2) −0.8 (2) 1.25
e1 = ; e2 = .
1 1
Vidimo da je poremećaj u strukturi jednačina uticao da se promene sopstvene
vrednosti linearizovanih jednačina, kao i da se promene pravci sopstvenih vek-
tora. Med̄utim, kvalitativna struktura faznog porteta u okolini stacionarne tačke
ostala je nepromenjena.
Molekularna difuzija. Drugi proces koji će za nas biti značajan jeste
proces difuzije - kretanje molekula hemijske supstance iz jedne oblasti pros-
tora u drugu. Ako je sa27 c(r, t) označena koncentracija supstance izražena u
mol m−3 , a sa q(r, t) njen fluks izražen u mol m−2 s−1 , onda zakon održanja
mase posmatrane hemijske supstance ima sledeći oblik:
∂c
+ ∇ · q = 0. (9.62)
∂t
Fluks hemijske supstance zavisi od njene koncentracije i ova zavisnost je izražena
Fikovim zakonom difuzije28 :
q = −D∇c, (9.63)
gde je D koeficijent difuzije čije su dimenzije m2 s−1 . Kombinovanjem jednačina
(9.62) i (9.63) dobija se:
∂c
= ∇ · (D∇c) . (9.64)
∂t
Ako koeficijent difuzije zavisi od koncentracije D = D(c), onda (9.64) pred-
stavlja nelinearnu jednačinu difuzije. Ako je D konstantan, onda iz (9.64) sledi
linearna jednačina difuzije:
∂c
= D∇2 c. (9.65)
∂t
u(y) koja opisuje njegov profil u odnosu na pokretni koordinatni sistem. Nova nezavisno
promenljiva y = x − vt odred̄uje položaj talasnog fronta, a v je brzina prostiranja talasa.
Primetimo da u ovu kategoriju spadaju i udarni talasi o kojima će biti reči u Zadatku 9.18.
Ovde će biti analizirana glatka rešenja opisanog oblika.
312 Glava 9. Dinamički sistemi: stacionarne tačke
d2 (α + β) d(α + β)
+v = 0,
dy 2 dy
čije je opšte rešenje:
α + β = C1 + C2 e−vy .
Integracione konstante se odred̄uju na osnovu asimptotskog ponašanja hemij-
skog procesa. U udaljenim delovima oblasti ispred talasnog fronta (z À vτ )
očekuje se da je zanemarljiva količina komponenata stupila u reakciju, pa važi
a + b → a0 , odnosno α + β → 1 kada y → ∞. Odatle sledi da je C1 = 1. Sa
druge strane, rešenje problema treba da bude ograničeno kada y → −∞, te je
stoga C2 = 0. Konačno dolazimo do relacije:
α + β = 1, (9.71)
β̇ = γ;
(9.74)
γ̇ = −β(1 − β) − vγ,
i pokažimo da će sve trajektorije sistema (9.74) ulaziti u nju. Za rub oblasti
γ = 0 to je već dokazano. Na delu ruba β = 1 pri γ < 0 važi:
¯ ¯
dβ ¯¯ dγ ¯¯
= γ < 0; = −vγ > 0,
dy ¯β=1 dy ¯β=1
dγ γ γ̇ γ β(1 − β) γ 1¡ 2 ¢
− = − =− −v− = κ − vκ + 1 − β .
dβ β β̇ β γ β κ
34 Parametar κ će biti odred̄en tokom analize.
9.4. Dinamički sistemi višeg reda 315
β → 1, α → 0 za y → −∞.
β → 0, α → 1 za y → ∞.
U knjizi [9] je, pored ispitivanja egzistencije, data asimptotska analiza rešenja
za v À 1 i analiza stabilnosti35 putujućih talasa.
Fazni prostor u kom se odvija kretanje reprezentativne tačke ovog sistema biće
n−dimenzijski euklidski prostor, y ∈ Rn . Pod rešenjem sistema (9.79) se, kao i
kod sistema drugog reda, podrazumeva vektor-funkcija y(t) = (y1 (t), . . . , yn (t))T
koja identički zadovoljava date diferencijalne jednačine:
matrani nezavisno jedan od drugog. Potom je iskorišćena teorema kojom se rešenje polaznog
sistema sa jedne strane ograničava RD−rešenjem - rešenjem u kom je prvo izvršena reakcija,
a potom difuzija, dok je sa druge strane ograničeno DR−rešenjem - najpre difuzija, a zatim
reakcija. Pokazano je da granična rešenja - poremećaji eksponencijalno opadaju i to zbog
procesa hemijske reakcije.
316 Glava 9. Dinamički sistemi: stacionarne tačke
Funkcija y(t) predstavlja rešenje početnog problema ako osim jednačina (9.79)
zadovoljava i početne uslove36 y(0) = y0 = (y10 , . . . , yn0 )T za zadato y0 . Ovo
rešenje, koje predstavlja parametarsku jednačinu fazne trajektorije reprezenta-
tivne tačke za t ∈ R, dalje ćemo označavati kao što su označavane integralne
krive kod sistema drugog reda:
y = ŷ(t, y0 ). (9.80)
γ(y0 ) = {y ∈ Rn |y = ŷ(t, y0 ), t ∈ R} .
haosa javljaju se posebni, vrlo složeni invarijantni skupovi - čudni atraktori. Ova problematika
se danas vrlo burno razvija, a odličan izvor informacija je [27]. Pored toga osnovne informacije
se mogu naći i u [7], [18] i [24].
9.5. Linearni sistemi višeg reda 317
u̇ = T−1 ẋ = T−1 Ax
(9.84)
= T−1 ATu = Bu,
gde je B = T−1 AT, što je potpuno analogno jednačini (9.23). I rešenje početnog
problema se može transformisati:
Kod sistema drugog reda smo videli da normalna forma matrice B omogućuje
laku konstrukciju fundamentalne matrice rešenja etB , a samim tim i rešenja
polaznog sistema. Postupak formiranja transformacije koordinata x = Tu se
zasniva na uopštenju postupaka prikazanih kod sistema drugog reda. Ovde će
biti prikazana samo dva najjednostavnija slučaja kada su svi koreni karakteris-
tične jednačine prosti.
Ako su svi koreni karakteristične jednačine det(A − λI) = 0 realni i različiti,
λi 6= λj , i 6= j, onda se sistem može svesti na dijagonalnu formu, a matricu
transformacije obrazuju linearno nezavisni sopstveni vektori ei :
T = [e1 , . . . , en ] .
Tada imamo:
gde je:
λ1 0 ··· 0
0 λ2 ··· 0
B = diag(λ1 , . . . , λn ) = . .. .. .. ,
.. . . .
0 0 ··· λn
što je i trebalo pokazati. Na taj način se dobija sistem od n med̄usobno neza-
visnih ODJ prvog reda:
u̇i = λi ui ; i = 1, . . . , n. (9.86)
B = diag(λ1 , . . . , λk , B1 , . . . , Bm ).
u̇i = λi ui ; i = 1, . . . , k; (9.87)
· ¸ · ¸· ¸
v̇2j−1 αj βj v2j−1
= ; j = 1, . . . , m. (9.88)
v̇2j −βj αj v2j
Mi = {x ∈ Rn |x = ai ei , ai ∈ R} ; i = 1, . . . , k,
Mj = {x ∈ Rn |x = aj aj + bj bj , aj , bj ∈ R} ; j = 1, . . . , m,
V koji sami imaju strukturu vektorskog prostora). Ako se svaki element v ∈ V može prikazati
kao v = a + b, za neke a ∈ A i b ∈ B, onda kažemo da je V = A + B suma potprostora A i
B. Ako su pri tome elementi a i b odred̄eni na jedinstven način za svako v, onda kažemo da
je V = A ⊕ B direktna suma potprostora A i B.
40 Direktna suma ma koja dva invarijantna potprostora takod̄e predstavlja invarijantni pot-
prostor.
41 U ovoj klasifikaciji neće biti pravljena razlika izmed̄u realnih i konjugovano-kompleksnih
sopstvenih vrednosti.
42 Oznake potprostora E s , E u i E c potiču od engleskih reči s - stable, u - unstable i c -
centre.
9.6. Nelinearni sistemi višeg reda 321
43 Ponašanje ovih rešenja u slučaju postojanja višestrukih sopstvenih vrednosti ne može biti
Hiprebolične tačke
Pojam hiperbolične stacionarne tačke smo već susreli u analizi linearnih sis-
tema drugog reda (Definicija 9.2). Ovde ćemo taj pojam definisati za sta-
cionarne tačke nelinearnih sistema višeg reda.
Neka je y0 stacionarna tačka dinamičkog sistema ẏ = Y(y), Y(y0 ) = 0.
Diferencijalne jednačine poremećaja u okolini stacionarne tačke imaju strukturu:
µ ¶n
(2) ∂Yi
ẋ = Ax + X (x); A= (y0 ) , (9.90)
∂yj i,j=1
gde izraz X(2) (x) sadrži članove drugog i višeg reda s obzirom na poremećaje x.
u te detalje.
324 Glava 9. Dinamički sistemi: stacionarne tačke
Centralna mnogostrukost
Pojmovima stabilne i nestabilne mnogostrukosti nelinearnih sistema uop-
šteni su pojmovi stabilnog i nestabilnog invarijantnog potprostora za linearne
sistema, a Teoremom 9.4 su utvrd̄eni odnosi izmed̄u njih. Da li postoji od-
govarajuće uopštenje pojma centralnog potprostora E c ? Podsetimo se da je
E c 6= ∅ ako postoje sopstvene vrednosti λk , k = 1, . . . , nc , nc ≥ 1, čiji je realni
deo jednak nuli, Re(λk ) = 0. Sledeća teorema utvrd̄uje egzistenciju centralne
c
mnogostrukosti Wloc (0) koja je nelinearni ekvivalent invarijantnog potprostora
Ec.
Posmatrajmo nelinearni dinamički sistem (9.90), za koji važi X(0) = 0, i
njegovu linearizaciju u okolini stacionarne tačke x = 0, sistem (9.81). Podelimo
sopstvene vrednosti matrice A u tri skupa:
oblik:
u̇ = F(u);
v̇ = −Bv; (9.92)
ẇ = Cw,
c
O ponašanju u(t) ∈ Wloc (0) ništa se unapred ne može reći, ali je veliki korak
učinjen time što je problem lokalizovan na mnogostrukost dimencije nc < n.
Druga posledica jeste mogućnost snižavanja reda sistema i svod̄enje prob-
lema na kvalitativnu analizu trajektorija redukovanog sistema na centralnoj
mnogostrukosti. Pretpostavimo da je σu = ∅ i da se sistem u transformisanim
koordinatama može predstaviti u sledećem obliku:
u̇ = Au + F1 (u, v);
(9.93)
v̇ = −Bv + F2 (u, v),
u̇ = uv;
v̇ = −v − u2 ,
odrediti invarijantne potprostore u tački (u, v) = (0, 0), jednačinu centralne mno-
gostrukosti i dinamičku jednačinu koja opisuje ponašanje sistema na njoj.
u̇ = 0; v̇ = −v.
v̇ = −v − u2 = −h(u) − u2 .
a = −1; b = 0; c = −2; d = 0.
Ona nam sugeriše da se u dovoljno maloj okolini tačke u = 0 sistem ponaša tako
da u(t) → 0 kada t → ∞. J
Zadaci
9.1 Za linearne dinamičke sisteme, opisane datim diferencijalnim jednačinama,
odrediti tip stacionarne tačke, konstruisati opšte rešenje i analizirati njegovu
strukturu u zavisnosti od početnih uslova:
a) ẋ = −x + 2y, ẏ = −2x − y;
b) ẋ = −x − 2y, ẏ = −3x + 4y.
a) ẋ = −x + 2y, ẏ = −x + γy;
b) ẋ = −x + γy, ẏ = −2x;
c) ẋ = (1 − γ)y, ẏ = x + 2y;
d) ẋ = −2x + (1 − γ)y, ẏ = 2x + y.
Zadaci 329
9.3 Analizirati tip stacionarne tačke datih linearnih dinamičkih sistema u za-
visnosti od vrednosti parametara α i β:
a) ẋ = x + αy, ẏ = 2x + βy;
b) ẋ = −2x + αy, ẏ = βx − y;
c) ẋ = αy, ẏ = 2βx − y;
d) ẋ = αx + y, ẏ = βx + 2y;
e) ẋ = y, ẏ = (α − 1)x + βy;
f) ẋ = αx + (β − 2)y, ẏ = x.
ẍ + 2β ẋ + ω 2 x = 0,
ẍ = ax + bx3 ,
ẍ + sin x = 0,
i njene aproksimacije:
i) ẍ + x = 0;
1
ii) ẍ + x − x3 = 0;
3!
1 1
iii) ẍ + x − x3 + x5 = 0,
3! 5!
odrediti stacionarne tačke, analizirati njihov tip i skicirati fazne portrete u nji-
hovim okolinama.
ẋ = xy; ẏ = 2 − x − y,
pokazati da su tačke x = [0, 2]T i x = [2, 0]T stacionarne i odrediti njihov tip.
Napomena. Na ovaj model se može svesti bezdimenzijska jednačina drugog reda
koja opisuje ravnotežni raspored temperaturnog polja unutar sfere ispunjene
zapaljivim materijalom u čvrstom stanju.
ẋ = a − x − bx + x2 y; ẏ = bx − x2 y.
∂U ∂U ∂2U
+U =ν 2,
∂t ∂x ∂x
49 U prikazanom modelu vrsta 2 se hrani pripadnicima vrste 1.
Zadaci 331
9.15 Teški prsten mase m može da klizi po lakoj glatkoj žici savijenoj u obliku
parabole y = x2 /(4a), koja se u vertikalnoj ravni obrće oko svoje oe simetrije
po zakonu ϕ(t) = ωt, ω = const. Analizirati tip stacionarne tačke koja odgovara
neporemećenom kretanju x(t) = 0 = const.u zavisnosti od ugaone brzine ω.
ẋ = x (A + a1 x + b1 y) ; ẏ = y (B + b2 x + a2 y) ,
ẋ = x (3 − x − 2y) ; ẏ = y (2 − x − y) ,
Pokazati da ovaj sistem za M0 > 1 ima dve stacionarne tačke, jedno sedlo i
jedan nestabilni fokus, i da postoji heteroklinička trajektrija (separatrisa) koja
ih povezuje i predstavlja krivu udarnog talasa u (û, θ̂)−ravni51 .
ẋ = −σx + σy;
ẏ = (ρ − z)x − y;
ż = xy − βz,
determinističkog haosa.
Glava 10
Dinamički sistemi:
granični ciklusi
ẋ = F (x, y);
ẏ = Y(y), odnosno (10.1)
ẏ = G(x, y),
gde je y = (x, y)T , a Y(y) = (F (x, y), G(x, y))T . Oscilatorno kretanje u ovom
sistemu opisano je periodičnim rešenjem:
Tada je uočeno da se stanja sistema pri neporemećenom i poremećenom kretanju mogu zna-
čajno razlikovati, a da u isto vreme odgovarajuće zatvorene fazne trajektorije budu bliske.
3 Granični ciklusi će prvenstveno biti analizirani u R2 . O graničnim ciklusima u Rn biće
335
336 Glava 10. Dinamički sistemi: granični ciklusi
bliske u faznoj ravni. Zbog toga se uvodi pojam orbitalne stabilnosti. Slede-
ća definicija važi za bilo koje neporemećeno kretanje, a ne samo za periodična
rešenja.
Definicija 10.3 (Orbitalna stabilnost) Neka je ŷ(t) bilo kakvo rešenje sis-
tema (10.1), a γ̂ njegova orbita. Ako za svako ε > 0 postoji δ = δ(ε) > 0 takvo
da za bilo koje poremećeno kretanje y(t) važi:
pa su ove dve oblasti u topološkom smislu prosto povezane. Ovo je specifičnost dinamičkih
sistema drugog reda. U faznim prostorima veće dimenzije ovo ne važi.
338 Glava 10. Dinamički sistemi: granični ciklusi
Slika 10.2: Granični ciklusi: (a) orbitalno stabilan, (b) orbitalno nestabilan i (c)
orbitalno semistabilan
y(t) ∈ M, t≥0 ⇔ γ ⊂ M.
Teoremu navodimo bez dokaza, ali ćemo zati dati neke komentare koji će
je učiniti razumljivijom, prvenstveno u geometrijskom smislu. Pretpostavimo
da u oblasti M postoji jedna, i to nestabilna singularna tačka tipa čvora ili
fokusa, što isključuje treću mogućnost iz Poenkare-Bendiksonove teoreme. Klju-
čna pretpostavka teoreme jeste da fazna trajektorija ne napušta oblast M . Neka
je rub oblasi ∂M opisan jednačinom12 V (x, y) = c = const., gde je c ∈ R. Ako
11 Ovim se iscrpljuju sve mogućnosti budući da smo pretpostavili da postoji najviše jedna
singularna tačka. Kada bi ih bilo dve mogla bi postojati heteroklinička trajektorija (separat-
risa) koja ih povezuje.
12 Pri tome funkcija V (x, y) ne mora biti glatka.
340 Glava 10. Dinamički sistemi: granični ciklusi
dV ∂V ∂V
= ẋ + ẏ
dt ∂x ∂y
(10.5)
∂V ∂V
= F (x, y) + G(x, y) < 0,
∂x ∂y
ẋ = −y + x; ẏ = x + y,
V (x, y) = x2 + y 2 = c.
dV ¡ ¢£ ¡ ¢¤
= 2xẋ + 2y ẏ = x2 + y 2 a − x2 + y 2
dt
= c(a − c) < 0.
13 Trajektorija γ nije predmet formulacije teoreme. Ona nam samo pomaže da razumemo
1
odnos ostalih trajektorija sa oblašću M .
14 Iako ovo podseća na teoreme Ljaponuva o stabilnosti, zahtevi koji se nameću funkciji
V (x, y) koja opisuje rub oblasti ∂M su vrlo slabi - dovoljno je da bude neprekidna, a to je
neuporedivo manje od zahteva definitnosti.
10.2. Egzistencija graničnih ciklusa 341
Dokaz: Za svaku trajektoriju sistema (10.1) važi dy/dx = G(x, y)/F (x, y).
Otuda na svakoj zatvorenoj orbiti γ̂ periodičnog rešenja x̂(t) važi16 :
Z
G(x, y)dx − F (x, y)dy = 0.
γ̂
gde je S oblast ograničena krivom γ̂, ∂S = γ̂. Bilo da je ∂F/∂x + ∂G/∂y > 0 ili
∂F/∂x + ∂G/∂y < 0 u D, nije moguće pronaći oblast S ⊂ D u kojoj bi važila
poslednja nejednakost. Stoga u oblasti D nema zatvorenih orbita. ¥
Ako bi izraz ∂F/∂x + ∂G/∂y bio identički jednak nuli, ili pak menjao znak u
oblasti D, onda bi na osnovu relacije dobijene primenom Grinove teoreme bila
moguća egzistencija graničnog ciklusa. Primetimo da Bendiksonov kriterijum
isključuje upravo ove dve mogućnosti.
Primer 10.2 Primenom Bendiksonovog kriterijuma utvditi uslov pod kojim di-
namički sistem:
ẋ = F (x, y) = y;
ẏ = G(x, y) = ax + by − x2 y − x3 ,
(10.1), ali se Grinova teorema može primeniti samo u slučaju graničnog ciklusa jer on ograni-
čava prosto povezanu oblast u R2 .
342 Glava 10. Dinamički sistemi: granični ciklusi
˙
x̂(t) = F (x̂(t), ŷ(t));
(10.6)
˙ŷ(t) = G(x̂(t), ŷ(t)).
Ovo kretanje sistema će dalje biti tretirano kao neporemećeno. Pretpostavimo
da je u trenutku t = t0 uočeno da je stanje sistema odstupilo od očekivanog
stanja na neporemećenom kretanju u istom trenutku i neka je ovo odstupanje
odred̄eno vektorom početnih poremećaja ξ0 :
· ¸ · ¸ · ¸
x(t0 ) x̂(t0 ) ξ
y(t0 ) = ŷ(t0 ) + ξ 0 ⇔ = + 0 . (10.7)
y(t0 ) ŷ(t0 ) η0
odakle posle razvijanja desnih strana jednačina u Tejlorov red u okolini nepore-
mećenog kretanja (x̂(t), ŷ(t))T i korišćenja jendačine (10.6) slede diferencijalne
jednačine poremećaja17 :
∂F ∂F
ξ˙ = (x̂, ŷ)ξ + (x̂, ŷ)η + f (2) (ξ, η, t);
∂x ∂y
(10.9)
∂G ∂G
η̇ = (x̂, ŷ)ξ + (x̂, ŷ)η + g (2) (ξ, η, t).
∂x ∂y
Sa f (2) (ξ, η, t) i g (2) (ξ, η, t) su označeni članovi drugog i višeg reda s obzirom
na poremećaje ξ i η. Odgovarajuće LJP se dobijaju ako se u razvoju u red
zadržimo na članovima prvog stepena:
∂F ∂F
ξ˙ = (x̂, ŷ)ξ + (x̂, ŷ)η;
∂x ∂y
(10.10)
∂G ∂G
η̇ = (x̂, ŷ)ξ + (x̂, ŷ)η.
∂x ∂y
Sistem LJP se može zapisati u matričnoj formi na sledeći način:
ξ̇ = A(t)ξ, (10.11)
na LJP (10.10), odnosno (10.11). Zbog relacije (10.13) ovaj sistem predstavlja
sistem linearnih ODJ sa periodičnim koeficijentima. U Odeljku 8.4 dati su
elementi Flokeove teorije kojom se utvrd̄uju uslovi stabilnosti ovakvih sistema.
Za nas će biti najvažnije da se podsetimo da se fundamentalna matrica rešenja
može prikazati u vidu proizvoda jedne ograničene i periodične matrične funkcije
i fundamentalne matrice jednog pomoćnog linearnog sistema sa konstantnim
koeficijentima. To znači da se opšte rešenje pomenutog sistema može zapisati u
obliku18 :
· ¸ · ¸
r1 t r2 t r1 t ξ1 (t) r2 t ξ2 (t)
ξ(t) = C1 e ξ1 (t) + C2 e ξ 2 (t) = C1 e + C2 e , (10.14)
η1 (t) η2 (t)
ξ1 (t + T ) = ξ1 (t); ξ2 (t + T ) = ξ 2 (t),
Lema 10.1 Ako je ŷ(t) = (x̂(t), ŷ(t))T periodično rešenje sistema (10.1) sa
˙
periodom T , onda je ŷ(t) ˙
= (x̂(t), ˙
ŷ(t)) T
periodično rešenje sistema LJP (10.10)
sa istim periodom T .
Dokaz: Periodično rešenje ŷ(t) = (x̂(t), ŷ(t))T sistema (10.1) zadovoljava jedna-
činu (10.6). Ako se ove relacije diferenciraju po vremenu dobija se:
¨ = ∂F (x̂(t), ŷ(t))x̂(t)
x̂(t) ˙ + ∂F ˙
(x̂(t), ŷ(t))ŷ;
∂x ∂y
¨ = ∂G (x̂(t), ŷ(t))x̂(t)
ŷ(t) ˙ + ∂G ˙
(x̂(t), ŷ(t))ŷ.
∂x ∂y
˙
Odavde se jasno vidi da funkcija ŷ(t) ˙
= (x̂(t), ˙
ŷ(t)) T
= ξ(t) identički zadovoljava
LJP (10.10). Period rešenja LJP je jednak periodu rešenja sistema (10.1), jer
je izvod periodične funkcije takod̄e periodična funkcija istog perioda:
Dokaz teoreme ćemo ovde izostaviti. Samo ćemo napomenuti da ona zajedno sa
Lemom 10.2 predstvalja veoma efikasan alat u slučaju kada je periodično rešenje
ŷ(t), čiju stabilnost ispitujemo, moguće konstruisati u zatvorenoj formi.
19 On predstavlja uopštenje izraza (8.28) za Flokeov eksponent kod jednodimenzijskih sis-
tema.
346 Glava 10. Dinamički sistemi: granični ciklusi
Granični ciklusi u Rn
Tehnike primenjene u analizi graničnih ciklusa u R2 , prvenstveno Poenkare-
Bendiksonova teorema i Bendiksonov kriterijum, ne mogu se neposredno uopštiti
na sisteme u Rn . Razlog za to leži u činjenici da granični ciklus u Rn ne deli
fazni prostor na dve oblasti, kao što je to bio slučaj u R2 . Ipak, moguće je
formulisati teoremu koja je analogna teoremi Andronova-Vita.
Posmatrajmo n−dimenzijski dinamički sistem:
ẏ = Y(y), (10.16)
Vidimo da nam pored uslova orbitalne stabilnosti ova teorema daje dodatnu
karakterizaciju poremećenog kretanja: reprezentativna tačka na poremećenom
kretanju, koje se nalazi u okolini orbitalno stabilnog graničnog ciklusa, fazno
je pomerena (asimptotski) u odnosu na stanje sistema na neporemećenom kre-
tanju21 .
Analiza periodičnih rešenja i ispitivanje njihove stabilnosti u Rn može se izvr-
šiti na mnogo efikasniji način ako se iskoriste Poenkareova preslikavanja. Budu-
ći da se kod njih koristi matematički aparat22 čija bi primena zahtevala nešto
detaljniji opis, ovde se nećemo na njima zadržavati. Mora se ipak napomenuti da
se tehnike razvijene u okviru pomenutog pristupa danas veoma burno razvijaju
i nalaze široku primenu. Zainteresovani čitalac se sa njima može upoznati u [24]
i [52].
Relaksacione oscilacije
Posmatrajmo van der Polovu jednačinu:
¡ ¢
ẍ + ² x2 − 1 ẋ + x = 0. (10.19)
jednačina (10.19).
24 Iako se ocena vrednosti parametra ne daje unapred, u konkretnom slučaju se može
pokazati da će se rešenje problema ponašati u skladu sa rezultatima dalje analize već za
² = 5.0, videti [30].
10.4. Granični ciklusi u Rn i relaksacione oscilacije 349
Zadaci
10.1 Primenom Poenkare-Bendiksonove teoreme pokazati da sledeći dinamički
sistemi imaju periodična rešenja:
¡ ¢
a) ẋ = y ẏ = −x + ²y 1 − x2 − y 2 ;
¡ ¢
b) ẋ = y ẏ = −x + y 2 − 3x2 − 2y 2 ;
c) ẋ = y ẏ = −x + y − 2 (x + 2y) y 2 .
1 Ovaj problem smo, u izvesnom smislu, već uočili kod linearnih sistema. Tada smo dina-
mičke sisteme čije se ponašanje ne menja prilikom male promene u strukturi jednačina nazvali
strukturno stabilnim.
353
354 Glava 11. Osnovi teorije bifurkacija
Uvodni primer
Da bi se stekao prvi utisak o karakteru problema kojima ćemo se baviti
posmatrajmo kretanje materijalne tačke mase m po glatkoj kružnoj žici radijusa
R koja se konstantnom ugaonom brzinom ω obrće oko nepokretne vertikalne ose
koja se poklapa sa njenim prečnikom. Diferencijalna jednačina kretanja tačke
ima sledeći oblik (videti zadatak 4.12):
³ g´
θ̈ = ω 2 cos θ − sin θ, (11.1)
R
odakle se dobijaju sledeća stacionarna rešenja problema2 θ(t) = const.:
θ(1) = 0 za svako ω;
³ g ´ r
g
θ(2) = arccos za ω > ω ∗ = ; (11.2)
Rω 2 R
³ g ´ r
g
θ(3) = − arccos za ω > ω ∗ = .
Rω 2 R
ω < ω∗ ω > ω∗
(1)
θ stabilno nestabilno
θ(2) - stabilno
θ(3) - stabilno
ẏ1 = y2 ;
³ g´ (11.3)
ẏ2 = ω 2 cos y1 − sin y1 .
R
Tada stacionarna rešenja (11.2) postaju stacionarne tačke sistema (11.3) za
koje važi y2 (t) ≡ 0. Može se pokazati da se sa promenom ugaone brzine javlja
promena tipa stacionarne tačke y(1) (zadatak 9.14).
2 Ovde je izostavljeno rešenje θ(t) = π = const. jer kod njega ne javlja bifurkacija.
11.1. Osnovni pojmovi 355
ω < ω∗ ω > ω∗
y(1) centar sedlo
y(2) - centar
y(3) - centar
(i) (i)
Stacionarne tačke y(i) = (y1 , y2 ) odgovaraju stacionarnim rešenjima θi . O-
čito je da vrednost ugaone brzine utiče na strukturu faznog portreta dinamičkog
sistema: njena promena u okolini kritične vrednosti ω ∗ povlači za sobom njegovu
kvalitativnu promenu.
Na Slici 11.1 dat je grafički prikaz ove analize u proširenom faznom prostoru3
(ω, y1 , y2 ). U osnovnom faznom prostoru (y1 , y2 ) prikazani su fazni portreti
dinamičkog sistema za dve vrednosti parametra ω. Kada je ω < ω ∗ vidimo
da postoji samo jedna stacionarna tačka tipa centra u čijoj se okolini nalaze
zatvorene fazne trajektorije. Za ω > ω ∗ uočava se kvalitativna promena u
strukturi globalnog faznog portreta usled postojanja tri stacionarne tačke: dva
centra i jednog sedla4 .
U ravni (ω, y1 ) prikazana su i krive koje opisuju položaje stacionarnih re-
samim sobom: polazi iz njega prateći nestabilnu granu linearizovanog problema i konvergira
mu tangirajući stabilnu granu linearizovanog problema. Ona ze naziva homoklinička trajek-
torija.
356 Glava 11. Osnovi teorije bifurkacija
Ovaj grafik, koji se zove bifurkacioni dijagram, jasno prikazuje grananje6 sta-
cionarnih rešenja prilikom promene vrednosti parametra, a zahvaljujući faznim
portretima otkriva nam i tip stacionarne tačke. On se, med̄utim, mnogo češće
prikazuje posebno, kao na donjem grafiku, uz naznaku stabilnih i nestabilnih
grana rešenja, što će detaljnije biti analizirano u daljem tekstu.
f (x, µ) = µ − x2 = 0. (11.5)
√
Njena rešenja su x1/2 = ± µ. Pošto nas interesuju samo realna rešenja, mo-
teorija bifurkacija obuhvata i mnogo složenije probleme, ali je za okvire u kojima će se kretati
naša analiza ovako uveden pojam kritične vrednosti sasvim dovoljan.
11.1. Osnovni pojmovi 357
ẋ = F(x, µ).
Od svih mogućih rešenja ovog sistema, osnovna rešenja ćemo tražiti med̄u sta-
cionarnim, x̂(t) = x0 = const., dok ćemo bifurkaciona tražiti u klasama sta-
cionarnih i periodičnih rešenja, odnosno graničnih ciklusa.
1. bifurkacija sedlo-čvor9 ,
2. transkritična bifurkacija,
3. vilasta bifurkacija10 i
4. Hopfova bifurkacija.
i pitchfork.
358 Glava 11. Osnovi teorije bifurkacija
F (x0 , µ) = 0. (11.8)
ξ˙ = F (x0 (µ) + ξ, µ)
∂F (11.10)
= F (x0 (µ), µ) + (x0 (µ), µ)ξ + F (2) (x0 (µ) + ξ, µ),
∂x
gde su sa F (2) označeni članovi drugog i višeg reda u odnosu na poremećaj ξ.
Zbog uslova (11.8) konstantni član u razvoju u Tejlorov red iščezava. Usvajajući
oznaku λ(µ) = (∂F/∂x)(x0 (µ), µ) linearizovanu jednačinu poremećaja možemo
zapisati na sledeći način:
ξ˙ = λ(µ)ξ. (11.11)
Na osnovu opšteg rešenja LJP (11.11):
∂λ
λ(µ0 ) = 0 i (µ0 ) 6= 0, (11.12)
∂µ
parametra µ.
12 Uslov λ(µ ) = ∂F/∂x(x (µ , µ )) = 0 ima za posledicu nemogućnost primene teoreme
0 0 0 0
o implicitnoj funkciji (Teorema 12.1), odnosno gubitak jedinstvenosti rešenja u okolini tačke
(x0 , µ0 ). Ovo će biti detaljnije analizirano u Glavi 12.
360 Glava 11. Osnovi teorije bifurkacija
One se pomoću vektora stanja x = (x, y)T i vektora desnih strana diferencijalnih
jednačina F(x, µ) = (F (x, µ), G(x, µ))T mogu zapisati u vektorskom obliku:
ẋ = F(x, µ). (11.16)
Pretpostavimo da sistem ima stacionarno osnovno rešenje:
· ¸
x (µ)
x̂(t, µ) = x0 (µ) = 0 , (11.17)
y0 (µ)
koje se dobija rešavanjem sistema jednačina:
F (x0 , y0 , µ) = 0;
(11.18)
G(x0 , y0 , µ) = 0.
U cilju ispitivanja stabilnosti neporemećenog stanja (11.17) uvešćemo pore-
mećaje:
x(t, µ) = x0 (µ) + ξ(t), (11.19)
odnosno
x(t, µ) = x0 (µ) + ξ(t);
(11.20)
y(t, µ) = y0 (µ) + η(t),
det(A(µ) − λI) = 0,
λi = λi (µ); i = 1, 2.
dva slučaja ono će biti nestabilno, a predstavljaće sedlo, odnosno nestabilni čvor.
362 Glava 11. Osnovi teorije bifurkacija
Slika 11.3: Izmena stabilnosti sistema drugog reda u okolini kritične vrednosti
parametra: realne sopstvene vrednosti
Slika 11.4: Izmena stabilnosti sistema drugog reda u okolini kritične vrednosti
parametra: konjugovano-kompleksne sopstvene vrednosti
realni deo sopstvene vrednosti neće menjati znak, a osnovno rešenje neće menjati
svoj karakter u smislu stabilnosti14 . Sa druge strane, vrednost µ0 bifurkaconog
parametra će biti kritična ako važi:
∂α
α(µ0 ) = 0 i (µ0 ) 6= 0, (11.31)
∂µ
jer tada u njenoj okolini imamo izmenu stabilnosti osnovnog rešenja. Za osnovno
rešenje tada važi:
(
∂α stabilno za µ < µ0 ;
a) (µ0 ) > 0 ⇒ (11.32)
∂µ nestabilno za µ > µ0 ;
(
∂α nestabilno za µ < µ0 ;
b) (µ0 ) < 0 ⇒ (11.33)
∂µ stabilno za µ > µ0 .
Bifurkacija sedlo-čvor
Ovaj tip bifurkacije je karakterističan po tome što stacionarno osnovno re-
šenje ne postoji za svako µ ∈ R. Med̄utim, kritična vrednost bifurkacionog
parametra µ0 se može odrediti na osnovu promene broja rešenja.
nestabilnog fokusa.
15 Pri tome ćemo razlikovati natkritične i potkritične bifurkacije. U prvom slučaju bifurka-
ciona rešenja se javljaju pri vrednostima parametra koje veće od kritične, dok u drugom
imamo bifurkaciona rešenja pri vrednostima koje su manje od kritične. Ova podela neće imati
uticaja samo na analizu transkritične bifurkacije.
364 Glava 11. Osnovi teorije bifurkacija
Pošto nas interesuje bifurkacija stacionarnih rešenja x̂(t) = const., problem će
biti sveden na analizu rešenja bifurkacione jednačine:
F (x, µ) = µ − x2 = 0. (11.35)
∂F √
λ(µ) = (x1 (µ), µ) = −2 µ < 0, (11.39)
∂x
∂F √
λ(µ) = (x2 (µ), µ) = 2 µ > 0, (11.40)
∂x
16 Ovo rešenje je asimptotski stabilno bez obzira na članove višeg reda koji se mogu pojaviti
u jednačini. Pošto jednačine nisu spregnute bifurkacija stacionarnih rešenja je odred̄ena prvom
jednačinom.
366 Glava 11. Osnovi teorije bifurkacija
respektivno. Očigledno je da je tačka x(1) (µ) stabilni čvor, dok x(2) (µ) pred-
stavlja sedlo.
Kod bifurkacije u sistemima drugog reda treba zapaziti dve važne činjenice.
Najpre, sa promenom vrednosti parametra µ menja se struktura faznog portreta
dinamičkog sistema u faznoj ravni usled promene broja stacionarnih tačaka
(Slika 11.6): za µ < 0 stacionarna rešenja ne postoje, dok za µ > 0 imamo dva
stacionarna rešenja. Pored toga, u drugom slučaju je struktura globalnog faznog
portreta specifična: stacionarne tačke su povezane jednom faznom trajektorijom
- separatrisom - koja lokalno divergira17 od sedla, a asimptotski teži stabilnom
čvoru.
Transkritična bifurkacija
U slučaju transkritične bifurkacije stacionarno osnovno rešenje postoji za
svako µ ∈ R i ono je trivijalno (x0 (µ) = 0), ali se broj rešenja ne menja. Ovde
se bifurkaciona analiza - odred̄ivanje kritične vrednosti parametra µ0 - zasniva
na izmeni stabilnosti osnovnog rešenja, odnosno neposrednoj primeni jednačina
(11.12)-(11.14).
17 Pojam lokalne divergencije fazne trajektorije ima sledeći smisao: postoji okolina tačke
x(2) (µ) koju će reprezentativna tačka napustiti krećući se duž uočene trajektorije. To ne
znači da će se rastojanje reprezentativne od singularne tačke neograničeno povećavati.
11.3. Osnovni tipovi bifurkacija 367
µ<0 µ>0
x0 (µ) stabilno nestabilno
x1 (µ) nestabilno stabilno
U isto vreme, bifurkacioni dijagram na Slici 11.7 nam grafički prikazuje struk-
turu rešenja u okolini tačke bifurkacije.
368 Glava 11. Osnovi teorije bifurkacija
µ<0 µ>0
x0 (µ) nestabilno stabilno
x1 (µ) stabilno nestabilno
Vilasta bifurkacija
Kod ovog tipa bifurkacije javljaju se oba fenomena karakteristična za teoriju
bifurkacija - i promena broja rešenja, i izmena stabinosti osnovnog rešenja
usled pojave bifurkacionih. Zbog toga se vilasta bifurkacija najčešće i javlja
kao paradigmatični primer za čitavu teoriju.
F (x, µ) = µx − x3 = 0. (11.60)
11.3. Osnovni tipovi bifurkacija 369
∂F
λ0 (µ) = (x0 (µ), µ) = µ, (11.63)
∂x
odakle sledi:
∂λ0
λ0 (µ0 ) = 0; (µ0 ) = 1 > 0. (11.64)
∂µ
∂F
λ2 (µ) = (x1 (µ), µ) = −2µ, (11.66)
∂x
odakle opet sledi da je λ2 (µ) < 0 za µ > 0. Ova analiza dovodi do zaključka da su
bifurkaciona rešenja asimptotski stabilna za natkritične vrednosti parametra18 .
Promena broja rešenja i njihova stabilnost se mogu prikazati u vidu tabele.
µ<0 µ>0
x0 (µ) stabilno nestabilno
x1 (µ) - stabilno
x2 (µ) - stabilno
µ<0 µ>0
x0 (µ) stabilno nestabilno
x1 (µ) nestabilno -
x2 (µ) nestabilno -
Ono što na prvi pogled može začuditi jeste potpuni gubitak stabilnosti os-
novnog rešenja, odnosno odsustvo stabilnih netrivijalnih rešenja za natkritične
vrednosti parametra. To je posledica lokalnog karaktera naše analize. Naime,
jednačina (11.67), kao i sve prethodne dinamičke jednačine, najčešće predstavlja
aproksimaciju neke nelinearne diferencijalne jednačine. Ta aproksimacija na
11.3. Osnovni tipovi bifurkacija 371
Hopfova bifurkacija
Ovaj tip bifurkacije je karakterističan po tome što se javlja kod sistema čija je
dimenzija najmanje 2, a bifurkaciono rešenje je periodično - predstavlja granični
ciklus19 . Pri tome su sopstvene vrednosti linearizovanog problema konjugovano-
kompleksne.
Posmatrajmo dinamički sistem opisan sistemom diferencijalnih jednačina:
£ ¡ ¢¤
ẋ = −y + x µ − x2 + y 2 ;
£ ¡ ¢¤ (11.70)
ẏ = x + y µ − x2 + y 2 .
Ovaj sistem ima trivijalno osnovno rešenje x(0) = 0 = (0, 0)T za svako µ ∈ R.
Stoga LJP u okolini osnovnog rešenja imaju oblik:
ẋ = µx − y;
(11.71)
ẏ = x + µy.
λ1/2 = µ ± i. (11.72)
opštem slučaju ono vrlo često zahteva primenu asimptotskih metoda, videti [29].
22 I ovde, kao i u slučaju vilaste bifurkacije, netrivijalno rešenje je stabilno ako postoji.
11.4. Bifurkacija stacionarnih rešenja u sistemima drugog reda 373
µ<0 µ>0
x(0) (µ) stabilno nestabilno
x(1) (t, µ) - stabilno
ẋ = F (x, µ).
ẍ = µx − x2 , (11.79)
23 Moglo bi se reći da ovaj model opisuje ponašanje konzervativnog mehaničkog sistema sa
R
jednim stepenom slobode, čija je potencijalna energija Π(x, µ) = − F (x, µ)dx. Ovo, ipak,
treba uslovno shvatiti zato što dati model obuhvata mnogo širu klasu sistema.
374 Glava 11. Osnovi teorije bifurkacija
ẋ = y; ẏ = µx − x2 . (11.80)
µ > 0.
11.4. Bifurkacija stacionarnih rešenja u sistemima drugog reda 375
Lako se uočava da osnovno rešenje x(0) (µ) menja stabilnost u okolini kritične
vrednosti parametra µ0 = 1, jer su za µ > 1 sopstvene vrednosti imaginarne,
a za µ < 1 obrazuju par realnih sopstvenih vrednosti različitog znaka. U isto
vreme, bifurkaciono rešenje x(1) (µ), koje postoji samo za µ < 1, jeste stabilno
u običnom smislu, jer su sopstvene vrednosti imaginarne.
Da bismo razjasnili strukturu rešenja u okolini tačke bifurkacije, posmatra-
ćemo bifurkacionu jednačinu f (x, ∆µ) = 0, koja je ekvivalentna jednačini F (θ,
µ) = 0, a uvedene su oznake26 θ = x i µ = µ0 − ∆µ:
f (x, ∆µ) = sin x(cos x − 1 + ∆µ) = 0.
Razvijanjem u red ove jednačine u okolini tačke bifurkacije (x0 , ∆µ0 ) = (0, 0)
dobija se:
1
f (x, ∆µ) ≈ ∆µx − x3 ,
2
odakle se vidi da je u pitanju vilasta bifurkacija. J
25 Postoji, naravno, i treće rešenje θ (µ) = π, ali ono nije bifurkaciono u odnosu na osnovno
2
rešenje θ0 (µ).
26 Sa ∆µ je označen priraštaj bifurkacionog parametra, a negativan predznak je usvojen
samo da bi se bifurkaciona jednačina svela na poznati oblik. Inače, tip bifurkacije se može
ispravno utvrditi i za µ = µ0 + ∆µ, ali je u tom slučaju bifurkacioni dijagram postavljen
simetrično u odnosu na ordinatnu osu.
376 Glava 11. Osnovi teorije bifurkacija
1 ∂a ∂V
a(q)q̈ + (q)q̇ 2 = − . (11.90)
2 ∂q ∂q
Tada se posmatrani sistem može tretirati kao sistem čija je kinetička energija
T = T2 , a kreće se pod dejstvom potencijalnih sila opisanih redukovanim poten-
cijalom V (q, µ). Ova interpretacija je veoma značajna zbog mogućnosti primene
Lagranž-Dirihleove teoreme.
Stanje ravnoteže mehaničkog sistema sa jednim stepenom slobode odred̄eno
je relacijom:
˙ = 0, q̂(t)
q̂(t) = q0 = const. ⇒ q̂(t) ¨ = 0, (11.91)
odakle sledi da mogući položaji ravnoteže predstavljaju rešenja jednačine:
∂V
(q0 , µ) = F (q0 , µ) = 0. (11.92)
∂q
U opštem slučaju stanje ravnoteže će zavisiti od vrednosti parametra q0 =
q0 (µ). Ako redukovani potencijal u stanju ravnoteže ima minimum, onda je
na osnovu Lagranž-Dirihleove teoreme uočeno stanje ravnoteže stabilno. Ako
redukvani potencijal u stanju ravnoteže nema minimum, onda je stanje ravnote-
že nestabilno27 . Ovo se analizitčki može iskazati na sledeći način:
∂2V
(q0 , µ) > 0 − stabilno stanje ravnoteže;
∂q 2
∂2V
(q0 , µ) < 0 − nestabilno stanje ravnoteže.
∂q 2
Ako se stabilnost stanja ravnoteže menja u zavisnosti od parametra µ, onda
se kritičnom, odnosno bifurkacionom vrednošću parametra može nazvati ona
vrednost µ0 pri kojoj dolazi do izmene stabilnosti osnovnog rešenja. Po analogiji
sa uslovima koje smo imali kod jednodimenzijskih sistema možemo formulisati
sledeći kriterijum za odred̄ivanje kritičnih vrednosti parametra28 :
µ 2 ¶
∂2V ∂ ∂ V
2
(q0 , µ 0 ) = 0 i (q0 , µ0 ) 6= 0. (11.93)
∂q ∂µ ∂q 2
∂V
(q, µ) = F (q, µ) = 0,
∂q
a tip bifurkacije se utvrd̄uje razvijanjem leve strane jednačine u Tejlorov red u
okolini tačke bifurkacije (q0 , µ0 ).
27 Kod sistema sa jednim stepenom slobode dovoljan uslov nestabilnosti jeste da redukovani
∂ 2 Ṽ ¡ ¢
2
(θ, µ) = cos θ − µ 2 cos2 θ − 1 ;
∂θ
∂ 2 Ṽ
(θ0 (µ), µ) = 1 − µ,
∂θ2
možemo zaključiti:
Što se tiče bifurkacionih rešenja, lako se može pokazati da će ona biti stabilna
ako postoje, to jest kada je µ > 1.
Tip bifurkacije ćemo odrediti analizom bifurkacione jednačine. Uvod̄enjem
priraštaja vrednosti bifurkacionog parametra ∆µ = µ − µ0 i razvojem u red
dolazimo do sledećeg rezultata:
µ ¶
1
F (θ, ∆µ) = sin θ [1 − (1 + ∆µ) cos θ] ≈ − ∆µx − x3 = 0,
2
odakle je jasno da se radi o vilastoj bifurkaciji osnovnog rešenja. J
q1 = x − poziciona koordinata;
q2 = ϕ − ciklična koordinata.
Π = Π(x). (11.95)
1 1 p2
R2 (x, ẋ) = a(x)ẋ2 ; R0 (x, p) = − ,
2 2 b(x)
30 Bifurkaciona analiza će ovde biti oslonjena na primenu Rautovog postupka za ispitivanje
dva načina: ili trivijalnim proširenjem, kao što je pokazano kod bifurkacije sedlo-
čvor, ili analizom stacionarnih rešenja diferencijalnih jednačina drugog reda.
Med̄utim, kod dinamičkih sistema višeg reda moguće je izvršiti snižavanje reda
u okolini tačke bifurkacije, odnosno bifurkacione vrednosti parametra, ako sop-
stvene vrednosti linearizovanog problema zadovoljavaju odred̄ene uslove. Ova
procedura je veoma značajna, jer nam omogućuje odred̄ivanje tipa bifurkacije
koji se javlja kod posmatranog sistema.
Snižavanje reda sistema se zasniva na primeni teoreme o centralnoj mno-
gostrukosti (Teorema 9.5). Ovde će biti osvetljena samo formalna strana njene
primene da bi se sagledao značaj koji ima u teoriji bifurkacija.
ẋ = F (x, y, µ);
(11.101)
ẏ = G(x, y, µ),
ẋ = F(x, µ);
· ¸ · ¸
x F (x, y, µ)
x= ; F(x, µ) = . (11.102)
y G(x, y, µ)
∂λ1
λ1 (0) = 0 i (0) 6= 0. (11.104)
∂µ
u̇ = λ1 (0)u; v̇ = λ2 (0)v.
gde vektor f (x, µ) sadrži članove višeg stepena od prvog u odnosu na promenljive
x i y. U suštini, u (11.110) je samo formalno izvršen razvoj u Tejlorov red
desne strane jednačine (11.101), odnosno (11.102). Linearnom transformacijom
x = Tu ovaj se sistem transformiše u:
gde vektor ϕ(u, µ) sadrži članove višeg stepena od prvog u odnosu na promenljive
u i v.
Centralna mnogostrukost
Snižavanje reda sistema zasniva se na činjenici da je λ2 (µ) < 0 u okolini
bifurkacione vrednosti parametra µ0 = 0. Tada je asimptotsko ponašanje
promenljive v u potpunosti odred̄eno linearnim delom jednačine (11.111), od-
nosno jednačinom (11.107). Pošto se za µ = 0 ona svodi na v̇ = λ2 (0)v, rešenje
koje tada dobijamo glasi:
∂h ∂h
h(0, 0) = 0; (0, 0) = 0; (0, 0) = 0. (11.113)
∂u ∂µ
384 Glava 11. Osnovi teorije bifurkacija
ẍ + ẋ − µx + x3 = 0,
ẋ = y;
ẏ = µx − y − x3 ,
koji ima trivijalno osnovno rešenje x = [0, 0]t za svako µ ∈ R. On se, po uzoru
na (11.110), lako može razložiti na linearni i nelinearni deo, pri čemu je:
· ¸ · ¸
0 1 0
A(µ) = ; f (x, µ) = .
µ −1 −x3
34 Primetimo da zbog uslova (11.113) promenljiva v predstavlja malu veličinu najmanje
Pošto je u slučaju realnih sopstvenih vrednosti (µ > −1/4) λ1 (µ) > λ2 (µ), kriti-
čnu vrednost parametra ćemo odrediti iz uslova (11.27). Tada se može utvrditi
da za µ0 = 0 važi:
∂λ1
λ1 (0) = 0 i (0) = 1 > 0,
∂µ
odakle sledi da je µ0 = 0 kritična vrednost parametra pri kojoj osnovno rešenje
gubi stabilnost.
Sada se postavlja pitanje kakva je struktura netrivijalnih rešenja u okolini
tačke bifurkacije. Do odgovora ćemo doći analizom centralne mnogostrukosti i
snižavanjem reda sistema. Pošto je:
· ¸
0 1
λ1 (0) = 0; λ2 (0) < 0; A(0) = ,
0 −1
x = u + v; y = −v.
u̇ = µ(u + v) − (u + v)3 ;
v̇ = −v − µ(u + v) + (u + v)3 .
u̇ = 0; v̇ = −v,
a = 0; b = −1; c = 0,
v = h(u, µ) ≈ −uµ.
odakle se razvojem u red dobija normalna forma dinamičkog sistema koji odgo-
vara vilastoj bifurkaciji:
u̇ ≈ µu − u3 .
J
Zadaci 387
Zadaci
11.1 Za sledeće dinamičke sisteme odrediti stacionarne tačke i utvrditi njihovu
stabilnost za različite vrednosti parametra µ. Odrediti bifurkacione vrednosti
parametra i tip bifurkacije pri svakoj od kritičnih vrednosti:
ẋ = y; ẏ = µx − x2 − y,
ẍ + µẋ + x + x2 ẋ + x3 = 0,
a) ẋ = µx − x3 + xy 2 ; ẏ = −y − y 3 − x2 y;
b) ẋ = (µ + x)y; ẏ = −µx + x2 + y 2 ;
c) ẋ = (µ + x)y; ẏ = µ(y − x) + x2 + y 2 ;
d) ẋ = µ(x − y) − x2 + y 2 ; ẏ = (µ + x)y;
2 2
e) ẋ = 3µ(x − y) − x + y ; ẏ = x(µ − x);
f ) ẋ = x(µ − x − y); ẏ = 2µ(y − x) + y(x − y);
g) ẋ = µ(3x − 5y) − x2 + y 2 ; ẏ = x(2µ − y);
2
h) ẋ = y − x − x ; ẏ = µx − y − y 2 .
ẋ = −σx + σy;
ẏ = (ρ − z)x − y;
ż = xy − βz,
σ(σ + β + 3)
ρ1 = .
σ−β−1
Glava 12
Prethodni deo teksta je u prvi plan istakao vezu izmed̄u izmene stabilnosti
i bifurkacija stacionarnih rešenja. U tom kontekstu su bile prikazane neke e-
lementarne tehnike za odred̄ivanje kritičnih vrednosti parametra i utvrd̄ivanje
tipa bifurkacije.
Ovde će biti osvetljeni neki posebni problemi i pristupi teorije bifurkacija.
Najpre ćemo videti kako se može uspostaviti veza izmed̄u singularnih tačaka
ravnih krivih i različitih tipova tačaka bifurkacija. Zatim ćemo se upoznati
sa problemom formiranja višeparametarskog proširenja dinamičkog sistema u
okolini nehiperboličnih singularnih tačaka. U vezi sa tim će biti analizirane im-
perfekcije dinamičkih sistema i njihov uticaj na tip bifurkacije. Najzad, upozna-
ćemo se sa jednim posebnim problemom u kom teorija bifurkacija nalazi svoje
mesto: slabim udarnim talasima u hiperboličnim sistemima PDJ.
F (x, µ) = 0. (12.2)
391
392 Glava 12. Neki problemi teorije bifurkacija
x = x(µ), (12.3)
∂F
(x0 , µ0 ) 6= 0, (12.4)
∂x
onda postoje konstante α > 0 i β > 0 takve da:
1. jednačina F (x, µ) = 0 ima jedinstveno rešenje x = x(µ) za µ0 − α < µ <
µ0 + α i x0 − β < x < x0 + β;
2. funkcija x(µ) je neprekidno diferencijabilna za µ0 − α < µ < µ0 + α;
3. dx/dµ = −Fµ (x(µ), µ)/Fx (x(µ), µ).
Dokaz ove teoreme se može naći u gotovo svim udžbenicima koji na ma koji
način dodiruju ovu temu (videti [1], [44], [29]). U tvrd̄enju teoreme, a i u daljem
tekstu, koriste se sledeće oznake:
∂F ∂F
Fx (x, µ) = (x, µ); Fµ (x, µ) = (x, µ);
∂x ∂µ
∂2F ∂2F ∂2F
Fxx (x, µ) = (x, µ); Fxµ (x, µ) = (x, µ); Fµµ (x, µ) = (x, µ).
∂x2 ∂x∂µ ∂µ2
∂F ∂F
F0 = F (x0 , µ0 ); Fx0 = (x0 , µ0 ); Fµ0 = (x0 , µ0 );
∂x ∂µ
∂2F ∂2F ∂2F
Fxx0 = (x0 , µ0 ); Fxµ0 = (x0 , µ0 ); Fµµ0 = (x0 , µ0 ).
∂x2 ∂x∂µ ∂µ2
1 Pod lokalnom egzistencijom se podrazumeva postojanje ove funkcije u nekoj okolini tačke
Fµ0
x(µ) = x0 − (µ − µ0 ) + o(µ − µ0 ).
Fx0
Odavde postaje jasan smisao zahteva (12.4), kao i treći deo tvrd̄enja teoreme o
implicitnoj funkciji.
Kada su oba prva izvoda funkcije F (x, µ) u tački (x0 , µ0 ) jednaka nuli ne
postoji mogućnost primene Teoreme 12.1. Za tu tačku kažemo da je singularna
i ona predstavlja kandidata za tačku bifurkacije. Struktura rešenja jednačine
(12.2) u okolini singularne tačke odred̄ena je članovima u razvoju u Tejlorov red
koji ne iščezavaju. Na taj se način i vrši klasifikacija singularnih tačaka.
i) Fx0 = 0 i Fµ0 6= 0
Slika 12.1: Singularne tačke ravnih krivih: (a) regularna tačka; (b) regularna
povratna tačka; (c) dvostruka tačka; (d) singularna povratna tačka; (e) tan-
gentni singularitet.
ẋ = µ0 + µ1 x + x2 + O(|x|3 ). (12.7)
ẏ = ν + y 2 + O(|y|3 ), (12.8)
ẋ = µ0 + µ1 x + µ2 x2 − x3 + O(|x|4 ). (12.9)
Znak kubnog člana može biti proizvoljan. Negativni predznak će nam samo
olakšati dalju diskusiju. U ovom slučaju se transformacijom x = y + α možemo
osloboditi ili linearnog, ili kvadratnog člana - njenim uvrštavanjem u (12.9)
dobija se:
ẏ = µ0 + µ1 α + µ2 α2 − α3
¡ ¢
+ µ1 + 2µ2 α − 3α2 y + (µ2 − 3α) y 2 − y 3 + O(|y|4 ).
ẏ = ν0 + ν1 y − y 3 + O(|y|4 ), (12.10)
12.2. Višeparametarska proširenja dinamičkih sistema 397
gde su:
1 2 1
ν0 = µ0 + µ1 µ2 + µ32 ; ν1 = µ1 + µ22 .
3 27 3
Sada vidimo da se u slučaju nehiprbolične stacionarne tačke trećeg stepena
potpuni opis ponašanja sistema ostvaruje dvoparametarskim proširenjem. Za-
nimljivo je primetiti da vilasta bifurkacija pripada dvoparametarskom proširenju
(12.10) osnovnog kubnog sistema: ona se dobija pri ν0 = 0.
Jednačina (12.10) predstavlja prvi korak izvan okvira ocrtanih u prethodnoj
Glavi: ovde se prvi put pojavljuju dva parametra u matematičkom modelu.
Pogledajmo kakav je njihov uticaj na broj stacionarnih rešenja. Bifurkaciona
jednačina sistema (12.10) glasi:
f (ν0 , ν1 , y) = ν0 + ν1 y − y 3 = 0. (12.11)
Ona može imati jedno, dva ili tri realna rešenja. Karakterističan je slučaj sa
dva realna rešenja, jer se može ostvariti samo ako je jedno od ta dva rešenja
dvostruki koren bifurkacione jednačine. Ovo odgovara situaciji u kojoj su i
funkcija f , i njen prvi izvod ∂f /∂y izjednačeni sa nulom2 :
ν0 + ν1 y − y 3 = 0 i ν1 − 3y 2 = 0. (12.12)
27 2
ν13 = ν . (12.13)
4 0
Kriva koju smo upravo odredili u prostoru parametara (ν0 , ν1 ) predstavlja gra-
nicu oblasti u kojima postoji jedno, odnosno tri realna rešenja. U oblasti izmed̄u
njenih grana imamo tri rešenja, a u oblasti izvan njih samo jedno, što se može
videti i na Slici 12.2.
2 Tada apscisna osa tangira teme kubne parabole.
398 Glava 12. Neki problemi teorije bifurkacija
12.3 Imperfekcije
Prilikom formiranja matematičkih modela, kao što je (12.1), pribegava se
odred̄enim idealizacijama geometrijskog i fizičkog karaktera i uvode se pret-
postavke kojima se zanemaruju pojedini uticaji. Time se postiže da jednačine
koje opisuju proces, ali i njihova rešenja, imaju odred̄ena ”lepa svojstva” kao
što su simetrija, ustaljenost, neograničenost oblasti u kojoj se odvija proces
itd. Realna situacija može biti bliska idealnoj, ali njena odstupanja često mogu
prouzrokovati promene u strukturi modela koje dramatično menjaju sliku o kva-
litativnim svojstvima rešenja problema. Značaj ovog problema je bio nagovešten
uvod̄enjem pojma strukturne stabilnosti sistema. Ovde ćemo osvetliti onu nje-
govu stranu koja se neposredno odražava na probleme teorije bifurkacija i u
njenim okvirima se naziva imperfekcijama3 .
Posmatrajmo dinamički sistem (12.1) i pretpostavimo da osim bifurkacionog
parametra µ u modelu figuriše i parametar ν koji opisuje imperfekcije u sistemu:
ẋ = F (x, µ, ν). (12.14)
Vrednost parametra ν = 0 odgovara sistemu bez imperfekcija, odnosno savr-
šenom sistemu i model (12.14) se svodi na (12.1). Kada je ν 6= 0 imamo sistem
sa imperfekcijama ili nesavršen sistem. Smatraćemo da je u modelu (12.14) ν
mali parametar. Ako je (x0 , µ0 ) tačka bifurkacije savršenog modela, onda nas
interesuje kakav je uticaj imperfekcija na strukturu rešenja bifurkacione jedna-
čine F (x, µ) = 0. Drugim rečima, interesuje nas struktura rešenja jednačine
F (x, µ, ν) za male vrednosti parametra ν. Odgovor ćemo potražiti kroz analizu
karakterističnih primera.
F (x, µ, 0) = µx − x2 = 0.
F (x, µ, ν) = ν + µx − x2 = 0.
F (x, µ, 0) = µx − x3 = 0.
F (x, µ, ν) = ν + µx − x3 = 0.
400 Glava 12. Neki problemi teorije bifurkacija
d2 θ
= F (θ, µ, ν) = ν cos θ + sin θ [cos θ − µ] .
dτ 2
Primetimo da za ν = 0 dobijamo DJK idealizovanog sistema.
Kod idealizovanog sistema javlja se vilasta bifurkacija, a tačka bifurkacije je
(θ0 , µ0 ) = (0, 1). Bifurkaciona jednačina sistema sa imperfekcijama glasi:
veličina stanja:
∂t F 0 + ∂x F = f , (12.15)
gde je:
∂Fi0 ∂Fi
a0ij (u) = ; aij (u) = .
∂uj ∂uj
Jednačine (12.17) se mogu zapisati i u vektorkom obliku:
gde su A0 (u) = (a0ij (u))ni,j=1 i A(u) = (aij (u))ni,j=1 , odnosno ∂t u = (∂t ui )ni=1
i ∂x u = (∂x ui )ni=1 . Ako je matrica A0 (u) invertibilna, det A0 (u) 6= 0, onda se
sistem (12.18) može zapisati u obliku (4.36).
Sistemu (12.18) se može pridružiti problem sopstvenih vrednosti:
i ne mora biti takva - to je stvar izbora modela kao što smo već videli kod Furijeovog zakona
provod̄enja toplote i konstitutivnih jednačina za Njutnovske fluide.
12.4. Slabi udarni talasi kod hiperboličnih sistema PDJ 403
∂t F0 (u+ (x, t)) + ∂x F(u+ (x, t)) = f (u+ (x, t)) ispred fronta;
0
∂t F (u− (x, t)) + ∂x F(u− (x, t)) = f (u− (x, t)) iza fronta.
U isto vreme skok veličina stanja na površi talasnog fronta odred̄en je Renkin-
Igonioovim jednačinama6 :
Uvod̄enjem oznaka za skok fizičkih veličini na površi talasnog fronta, [F0 (u)] =
F0 (u1 ) − F0 (u0 ) i [F(u)] = F(u1 ) − F(u0 ), jednačine (12.21) se mogu kraće
zapisati na sledeći način:
£ ¤
−s F0 (u) + [F(u)] = 0.
literaturi posvećenoj mehanici kontinuuma, mehanici fluida ili teoriji parcijalnih diferencijalnih
jednačina.
7 U literaturi se najčešće brzina s usvaja za parametar udarnog talasa. Rešenja Renkin-
p
gde je c = γ(k/m)θ lokalna brzina zvuka u gasu. Uvrštavanjem izraza (12.23)
i (12.4) u jednačine (12.21) dobija se sistem nelinearnih algebarskih jedna-
čina. Nas će interesovati bifurkaciona rešenja u okolini kritične vrednosti10
s∗ = λ(3) (u0 ). Ako se kao bezdimenzijski
p bifurkacioni parametar iskoristi Ma-
hov broj M0 = (s − v0 )/c0 , c0 = γ(k/m)θ0 , čija je kritična vrednost tada
M0 = 1, onda se netrivijalna rešenja Renkin-Igonioovih jednačina posle kraće
računice mogu prikazati u obliku:
M02
ρ = ρ0 ;
1 − µ2 (1 − M02 )
c0
v = v0 − (1 − M02 )(1 − µ2 );
M0
1 © ª© ª
θ = θ0 2 (1 + µ2 )M02 − µ2 1 − µ2 (1 − M02 ) ;
M0
© ª
p = p0 (1 + µ2 )M02 − µ2 ,
gde je µ2 = (γ − 1)/(γ + 1).
su ekvivalentna.
Literatura
[5] T.M. Atanackovic: Stability Theory of Elastic Rods, World Scientific, Sin-
gapore 1997.
[7] M.R. Belić: Deterministički haos, Institut za teorijsku fiziku, Beograd 1990.
407
408 Literatura
[28] J. Hietarinta: Direct methods for the search of the second invariant, Physics
Reports, 147, 2, pp. 87-154, 1987.
[29] G. Iooss, D.D. Joseph: Elementary Stability and Bifurcation Theory,
Springer-Verlag, New York 1980.
[30] H.K. Khalil: Nonlinear Systems, Pearson Education, New Jersey 2000.
[31] C.W. Kilmister: Hamiltonian Dynamics, Longmans, London 1964.
[32] L.D. Landau, E.M. Lifšic: Mehanika, Nauka, Moskva 1988.
[33] L.D. Landau, E.M. Lifšic: Kvantovaja mehanika - nerelativistskaja teorija,
Nauka, Moskva 1989.
Literatura 409
[47] J.N. Reddy: Applied Functional Analysis and Variational Methods in En-
gineering, McGraw-Hill, New York 1986.
411
412 Indeks
inercijalnih sila, 32
Vitekerove jednačine, 141