RKF45 Runge-Kutta-Fehlberg (RKF45) je podrazumijevani algoritam koji se preporučuje za

većinu problema. Detalji su dostupni u članku Forsythe et al., 1977. Ovaj algoritam prati
procjenu greške integracije i smanjuje ili povećava veličinu koraka integracije kako bi zadržao
grešku ispod određenog praga. Zahtjevana tačnost je da su i relativne i apsolutne (maksimalne)
greške manje od tolerancije greške pri skraćenju. Podrazumijevana vrijednost ove tolerancije je
1.0E-6. (Sve tolerancije možete promeniti u "Podešavanja"). Ako integracija napreduje vrlo
sporo, razlog za to može biti da je sistem jednačina krut. Kruti sistemi jednačina sadrže varijable
koji se mijenjaju (raspadaju) u različitim vremenskim skalama. Za takve sisteme, RKF algoritam
može zahtijevati vrlo malu veličinu koraka za integraciju i trebao bi se koristiti jedan od
raspoloživih algoritama, STIFF ili STIFFBS. STIFFBS Preporučeni rigidni algoritam je polu-
implicitno pravilo srednje vrijednosti Bader-a i Deufhand-a (STIFFBS). Detalji su dostupni u
radu Bader i Deufhand, 1983. Ovaj algoritam takođe uključuje procjenu grešaka i kontrolu
veličine stepena. U ovom slučaju, tražena maksimalna tolerancija greške je 1.0E-7. Ostali
algoritmi (RKF56, BS, STIFF) dodatni algoritmi uključuju viši red (veća preciznost) kao što je
Runge-Kutta-Fehlberg (RKF56). Burlirsch-Stoer (BS) koristi metod ekstrapolacije. Kada se ovo
koristi za ne-oštre probleme, i zahteva manje računske napore od RKF metoda, kako bi se
postigla istu visoku tačnost tokom integracije glatkih funkcija. Detalji su pronađeni u Press et al,
1992, str. 735-739. Za rigidne probleme postoji i metoda Rosenbrock (STIFF). Ovaj metod je
jednostavan za implementaciju. Za umerene tačnosti i umerene veličine sistema, on je
konkurentan sa složenijim algoritmima. Više informacija je dostupno iu Press et al, 1992, str.
735-739).

U matematici , krutu jednačinu je diferencijalna jednačina za koju su određene numeričke

metode za rešavanje jednačine numerički nestabilne , osim ako se ne smatra da je stepen
ekstremno mali. Dokazano je teško formulisati preciznu definiciju krutosti, ali glavna ideja je da
jednačina uključuje neke termine koji mogu dovesti do brze varijacije u rješenju.
Kada integrišemo diferencijalnu jednačinu numerički, može se očekivati da je veličina veličine koraka
relativno mala u regionu gde kriva rešenja prikazuje mnogo varijacija i da bude relativno velika, gde
se kriva rešenja ispravlja da bi se približila liniji sa nagibom skoro nula. Za neke probleme to nije
slučaj. Ponekad je veličina koraka prisiljena na neprihvatljivo mali nivo u regionu gde je kriva rešenja
veoma glatka. Fenomen koji je ovdje izložen je poznat kao krutost . U nekim slučajevima možemo
imati dva različita problema sa istim rešenjem, a problem jedan nije krut i problem
2 jekrut. Očigledno, fenomen ne može biti osobina tačnog rešenja, jer je to isto za oba problema, i
mora biti svojstvo samog diferencijalnog sistema. Stoga je prikladno govoriti o krutim sistemima .

Sadržaj
[ sakrij ]

 1Primjer motivacije
 2Stepen otpornosti
 3Karakterizacija krutosti
 4Etimologija
 5A-stabilnost
 6Runge-Kutta metode
 o 6.1Primjer: Euler metode
o 6.2Primjer: Trapezoidna metoda
o 6.3Opšta teorija
 7Multistep metode
o 7.1Primer: Adams-Bashforth metoda drugog reda
o 7.2Opšta teorija
 8Vidi takođe
 9Napomene
 10Reference
 11Spoljašnje veze

Primjer motiviranja [ uredi ]

Eksplicitne numeričke metode koje pokazuju nestabilnost kada integrišu krutu uobičajenu diferencijalnu
jednačinu

Razmotrite problem početne vrednosti

(1
)
Tačno rešenje (prikazano u cijan) je

sa
(
2
as )

Tražimo numeričko rešenje koje pokazuje isto ponašanje.

Figura (desno) ilustruje numerička pitanja za različite numeričke integratore primenjene na
jednačini.

1. Eulerova metoda sa veličinom koraka h = 1/4 oscilira se divno i brzo izlazi iz

raspona grafikona (prikazano crvenom bojom).
2. Eulerova metoda sa pola veličine koraka, h = 1/8, proizvodi rešenje unutar granica
grafova, ali osciluje oko nule (prikazano zelenom bojom).
3. Je metoda trapeznog (to jest, dvije faze Adams-Moulton metoda ) je dao
 (3
)

4. gdje . Primjena ove metode umjesto Eulerove metode daje mnogo bolji
rezultat (plava). Numerički rezultati se monotonski smanjuju na nulu, baš kao
što to tačno rešenje čini.
Jedan od najistaknutijih primera krutih ODE-ova je sistem koji opisuje hemijsku
reakciju Robertsona:

(
4
)

Ako se ovaj sistem tretira u kratkom vremenskom intervalu, na primer, nema

problema u numeričkoj integraciji. Međutim, ako je interval vrlo velik (10 11 reći), onda
mnogi standardni kodovi ne uspiju da ga integrišu ispravno.
Dodatni primeri su skupovi ODE-a koji su rezultat vremenske integracije velikih
mehanizama hemijske reakcije. Ovde krutost proizlazi iz koegzistencije vrlo sporo i vrlo
brzih reakcija. Da bi ih rešili, mogu se koristiti softverski paketi KPP i Autochem .

Odnos čvrstosti [ uredi ]

Razmotrimo linearni konstantni koeficijent nehomogeni sistem
(
5
)

gdje i je konstanta matrica sa sopstvenim

vrednostima (pretpostavljeni različiti) i odgovarajući sopstveni vektori

. Opšte rešenje ( 5 ) ima oblik
(
6
)

gde su κ t proizvoljne konstante i je poseban integral. Pretpostavimo to

sada
(
7
)
 što podrazumeva da svaki od uslova as , tako da

rešenje pristupa asimptotski kao ; pojam monotonično

raspadati ako je λ t stvarno i sinusoidno ako je λ t složen. Tumačenje x da
bude vreme (kao što je često u fizičkim problemima) je prikladno nazvati

je prolazno rješenje i je stabilno stanje rješenje . Ako je

velika, a zatim odgovarajući izraz će se brzo raspasti, dok

se x povećava i tako se zove brzo prolazno ; ako je mali,

odgovarajući izraz se sporo raspada i naziva se sporim

prolaznim . Neka definirati

(
8
)

tako da je najbrži tranzijent i najsporiji. Sada

definišemo odnos krutosti kao
(
9
[1]
)

Karakterizacija krutosti [ uredi ]

U ovom delu razmatramo razne aspekte fenomena
krutosti. 'Fenomen' je verovatno prikladnija reč od 'imovine', jer ova
poslednja podrazumeva da se krutost može definisati preciznim
matematičkim izrazima; čini se da to nije moguće učiniti na
zadovoljavajući način, čak i za ograničenu klasu linearnih
konstantnih koeficijentnih sistema. Takođe ćemo videti nekoliko
kvalitativnih izjava koje se mogu (i najviše uglavnom) napraviti u
pokušaju da se inkapsuliše pojam krutosti, i navesti ono što je
verovatno najopadljivije od njih kao "definicija" krutosti.
JD Lambert definiše krutost na sledeći način:
Ako je numerička metoda sa ograničenim regionom
apsolutne stabilnosti , koja se primjenjuje na sistem sa bilo
kojim početnim uslovima , prisiljena je koristiti u određenom
intervalu integracije stubnu dužinu koja je pretjerano mala u odnosu
na glatkoću tačnog rješenja u tom intervalu, onda se kaže da je
sistem u tom intervalu krut .

Postoje i druge karakteristike koje pokazuju mnogi primjeri krutih

problema, ali za svaki postoji kontra-primjeri, tako da ove
karakteristike ne prave dobre definicije krutosti. Bez obzira na to,
definicije zasnovane na ovim karakteristikama su uobičajeno
korištene od strane nekih autora i su dobri pokazatelji u pogledu
prisutnosti krutosti. Lambert govori o tome kao "izjave" umjesto
definicije, iz gore navedenih razloga. Nekoliko od njih su:

1. Linearni konstantni koeficijentni sistem je krut ako sve

njegove sopstvene vrijednosti imaju negativni stvarni dio, a
koeficijent čvrstoće je veliki.
2. Krvost se javlja kada zahtevi za stabilnost, a ne onovi u
tačnosti, ograničavaju stubnu dužinu.
3. Krvost se javlja kada neke komponente rastvora raste
mnogo brže od drugih. [2]

Etimologija [ uredi ]
Poreklo izraza "krutost" izgleda donekle misterija. Prema Joseph
Oakland Hirschfelderu , termin "krut" se koristi zato što takvi sistemi
odgovaraju tesnoj povezanosti između vozača
i pogona u servomehanizmima . [3] Prema Ričardu. L. Burden i J.
Douglas Faires,
Mogu se javiti značajne poteškoće kada se
primenjuju standardne numeričke tehnike da se aproksimira
rješenje diferencijalne jednačine kada tačno rješenje sadrži izraze
oblika e λt , gdje je λ kompleksni broj sa negativnim realnim dijelom.
...
Problemi u kojima se brzo propuštaju prolazna rješenja prirodno se
javljaju u širokom spektru aplikacija, uključujući proučavanje
sistema proleća i prigušivanja, analizu upravljačkih sistema i
probleme u hemijskoj kinetici . Ovo su svi primeri klase problema
koji se zovu kruti (matematički krutost) sistemi diferencijalnih
jednačina, zbog njihove primene u analizi kretanja prolećnih i
masovnih sistema koji imaju velike prolećne
konstante (fizička krutost ). [4]

Na primjer, problem početne vrijednosti

(
10
)
sa m = 1, c = 1001, k = 1000, može se napisati u obliku ( 5 )
sa n = 2 i
(
1
1
)
(
1
2
)
(
1
3
 )

i ima sopstvene vrednosti . Obe sopstvene

vrednosti imaju negativan stvarni deo i koeficijent
čvrstosti je
(
1
4
)
što je prilično veliko. Sistem ( 10 ), a zatim
sigurno zadovoljava izjave 1. i 3. Ovdje
proljeće konstanta k je velika i prigušenja
konstanta c je još veći. [5] (Imajte na umu da je
'veliki' nejasan, subjektivni izraz, ali što su
veće navedene količine, to će biti izraženiji
efekt krutosti.) Tačno rješenje ( 10 ) je
(
15
)
Imajte na umu da se ( 15 ) ponaša prilično
skoro kao jednostavna
eksponencijalna x 0 e - t , ali
prisustvo termina e -1000 t , čak i sa malim
koeficijentom, je dovoljno da numeričko
izračunavanje bude osjetljivo na veličinu
koraka. Stabilna integracija ( 10 ) zahtijeva
vrlo malu veličinu koraka dok se ne uđe u
glatki dio krive rješenja, što rezultira
pogreškom mnogo manja nego što je
potrebno za tačnost. Tako sistem
zadovoljava i izjavu 2 i Lambertovu
definiciju.

A-stabilnost [ uredite ]
Ponašanje numeričkih metoda na krutim
problemima može se analizirati primjenom
ovih metoda na testnu jednadžbu y
' = ky podvrgnut početnom stanju y (0) =

1 sa . Rešenje ove jednačine je y ( t )

= e . Ovo rješenje se približava nuli kao
kt

kada Ako numerički metod

takođe pokazuje ovo ponašanje (za fiksnu
veličinu koraka), onda se kaže da je
metoda A-stabilna. [6] (Imajte na umu da
numerička metoda koja je L-stabilna (vidi
dole) ima jaču osobinu da se rješenje
približava nuli u jednom koraku, s obzirom
da veličina koraka prelazi u beskonačno
stanje.) A-stabilne metode ne pokazuju
probleme sa nestabilnošću kao što je
opisano u motivacionom primeru.

Runge-Kutta
metode [ uredi ]
Metode Runge-Kutta primenjene na testnu

jednačinu uzmite obrazac , i,

indukcijom, . Funkcija naziva

se funkcija stabilnosti . Dakle, uslov toga

as jednako je . Ovo
motiviše definiciju regiona apsolutne
stabilnosti (ponekad se naziva
jednostavno kao region stabilnosti ), što je

skup . Metoda je A-stabilna ako

region apsolutne stabilnosti sadrži set

, to jest, leva polovina.

Primjer: metode Euler [ uredi ]

Ružičasti disk pokazuje oblast stabilnosti

za Euler metodu.

Uzmite u obzir Euler metode

iznad. Eksplicitna Eulerova
metoda primenjena na testnu jednačinu

je
Otuda, sa . Ovako je region
apsolutne stabilnosti za ovu metodu

što je disk prikazan sa desne

strane. Eulerova metoda nije A-
stabilna.

Motivacijski primjer je imao

. Z vrednost pri uzimanju veličine

koraka je , što je izvan

regiona stabilnosti. Zaista, numerički
rezultati se ne konvergiraju na
nulu. Međutim, sa stepenom veličine

, imamo što je samo unutar

regiona stabilnosti, a numerički
rezultati se konvergiraju na nulu, iako
prilično sporo.

Primjer: trapezoidna
metoda [ uredi ]

Ružičko područje je region stabilnosti

za trapezoidnu metodu.

Razmotrimo trapezni metod

kada se primeni na testnu

jednačinu , je

Rešenje za prinosi
Stoga je funkcija
stabilnosti

a region apsolutne
stabilnosti je

Ovaj region
sadrži levu
polovinu aviona,
tako da je
trapezoidna
metoda A-
stabilna. Zapravo,
region stabilnosti
je identičan sa
levom polovinom,
a time i
numeričkim

rešenjem
konvergira se na
nulu ako i samo
ako to tačno
rešenje čini. Ipak,
trapezoidna
metoda nema
savršeno
ponašanje: ona
omekšuje sve
propadajuće
komponente, ali
komponente koje
se brzo raspadaju
su vrlo blago
opušene, jer

as . To
je dovelo do
koncepta L-
stabilnosti :
metoda je L-
stabilna ako je A-
stabilna i

as
. Trapezoidna
metoda je A-
stabilna, ali ne i
L-
stabilna. Je implic
itni Euler
metoda je primjer
metoda L-
stabilna. [7]

Opšta
teorija [ uredi
]
Funkcija
stabilnosti Runge
-Kutta metode sa
koeficijentima

i daje

gdje
označava
vektor sa
onima. Ovo
je racionalna
funkcija (jeda
n polinom po
deljen
drugom).
Eksplicitne
metode
Runge-Kutta
imaju strogo
nižu
triangularnu
matricu
koeficijenta

i stoga
je njihova
funkcija
stabilnosti
polinom. Slije
di da
eksplicitne
metode
Runge-Kutta
ne mogu biti
A-stabilne.
Funkcija
stabilnosti
implicitnih
Runge-Kutta
metoda se
često
analizira
koristeći zvez
de
porudžbina .
Zvezda
porudžbine
za metod sa
funkcijom
stabilnosti

definiše
se kao

set
. Metoda je
A-stabilna
ako i samo
ako njegova
funkcija
stabilnosti
nema polove
u levoj ravni i
njegova
zvezda ne
sadrži čisto
imaginarne
brojeve. [8]

Multist
ep
metode
[ uredi ]
Linearne
višestepene
metode imaju
oblik

Primjenju
ju se na
jednačinu
testa,
postaju
što
se
može
pojed
nosta
viti

g
d
e
j
e

h
k
.

O
v
o
j
e
li
n
e
a
r
n
a
r
e
c
i
d
i
v
n
a
r
e
l
a
c
ij
a
.
M
e
t
o
d
a
j
e
A
-
s
t
a
b
il
n
a
a
k
o
s
v
a
r
e
š
e
n
j
a
{
y
n

}
r
e
l
a
ti
v
n
o
g
o
d
n
o
s
a
k
o
n
v
e
r
g
ir
a
j
u
n
a
n
u
l
u
k
a
d
a
R
e

<
0
.
K
a
r
a
k
t
e
ri
s
ti
č
a
n
p
o
li
n
ij
a
l
j
e

S
v
a
r
j
e
š
e
n
j
a

k
o
n
v
e
r
g
i
r
a
j
u

s
e

n
a

n
u
l
u

z
a

z
a
d
a
t
u

v
r
i
j
e
d
n
o
s
t

a
k
o

s
v
a

r
j
e
š
e
n
j
a

l
e
ž
e

j
e
d
i
n
i
č
n
o
m

k
r
u
g
u
.
P
o
d
r
u
č
j
e

a
p
s
o
l
u
t
n
e

s
t
a
b
i
l
n
o
s
t
i

z
a

v
i
š
e
s
t
e
p
e
n
u

m
e
t
o
d
u

g
o
r
n
j
e
g

o
b
l
i
k
a

j
e

o
n
d
a

s
k
u
p

s
v
i
h

z
a

k
o
j
e
s
v
i

t
a
k
v
i

d
a

z
a
d
o
v
o
l
j
a
v
a
j
u

<
1
.

P
o
n
o
v
o
,

a
k
o

o
v
a
j

s
k
u
p

s
a
d
r
ž
i

l
e
v
u

p
o
l
o
v
i
n
u
,

m
u
l
t
i
-
s
t
e
p

p
o
s
t
u
p
a
k

j
e

A
-
s
t
a
b
i
l
a
n
.

P
r
i
m
e
r
:

A
d
a
m
s
-
B
a
s
h
f
o
r
t
h

m
e
t
o
d
a

d
r
u
g
o
g

r
e
d
a

u
r
e
d
i

]
R
u
ž
i
č
a
s
t
i

r
e
g
i
o
n

j
e

r
e
g
i
o
n

s
t
a
b
i
l
n
o
s
t
i

z
a

A
d
a
m
s
-
B
a
s
h
f
o
r
t
h

m
e
t
o
d

d
r
u
g
o
 g

r
e
d
a
.

D
o
z
v
o
l
i
t
e

d
a

o
d
r
e
d
i
m
o

r
e
g
i
o
n

a
p
s
o
l
u
t
n
e

s
t
a
b
i
l
n
o
s
t
i

z
a

d
v
o
s
t
e
p
e
n
i

m
e
t
o
d

A
d
a
m
s
-
B
a
s
h
f
o
r
t
h

K
a
r
a
k
t
e
r
i
s
t
i
č
a
n

p
o
l
i
n
o
m

j
e

k
o
j
a

i
m
a

k
o
r
e
n
e

s
t
o
g
a

j
e

r
e
g
i
o
n

a
p
s
o
l
u
t
n
e

s
t
a
b
i
l
n
o
s
t
i