- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Verifying computer solutions to discrete-time dynamical...
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Verifying computer solutions to discrete-time dynamical systems Urminsky, David John
Abstract
Chaotic dynamical systems exhibit sensitive dependence on initial conditions. Round-off
errors introduced in computer simulations may cause a computed orbit to quickly diverge
from the true orbit. One may therefore question the validity of these computations.
Shadowing provides a means for studying the validity of a computation. If we are able to
show that a true solution with a different initial condition, called a shadowing orbit, stays
close to a computed solution, which we call a pseudo-orbit, then perhaps the computed
solution has some validity. We will investigate two methods for proving the existence of
a shadowing orbit. The first method comes from two theorems by Chow and Palmer.
These theorems provide us with sufficient conditions for when a pseudo-orbit is shadowed
by a true orbit and provide us with a bound on the shadowing distance of a true orbit.
The second method is by Grebogi, Hammel, Yorke and Sauer. Their method contains a
pseudo-orbit in a carefully constructed sequence of parallelograms which helps to prove
the existence of a shadowing orbit. These two methods will then be used to prove the
existence of a shadowing orbit for examples in one and two dimensions. Finally we will
discuss a refinement technique which takes a 'noisy' orbit and produces a less 'noisy' orbit
which shadows the original orbit. This technique will then be applied to some examples
to find a numerical shadow for a pseudo-orbit.
Item Metadata
| Title |
Verifying computer solutions to discrete-time dynamical systems
|
| Creator | |
| Publisher |
University of British Columbia
|
| Date Issued |
2000
|
| Description |
Chaotic dynamical systems exhibit sensitive dependence on initial conditions. Round-off
errors introduced in computer simulations may cause a computed orbit to quickly diverge
from the true orbit. One may therefore question the validity of these computations.
Shadowing provides a means for studying the validity of a computation. If we are able to
show that a true solution with a different initial condition, called a shadowing orbit, stays
close to a computed solution, which we call a pseudo-orbit, then perhaps the computed
solution has some validity. We will investigate two methods for proving the existence of
a shadowing orbit. The first method comes from two theorems by Chow and Palmer.
These theorems provide us with sufficient conditions for when a pseudo-orbit is shadowed
by a true orbit and provide us with a bound on the shadowing distance of a true orbit.
The second method is by Grebogi, Hammel, Yorke and Sauer. Their method contains a
pseudo-orbit in a carefully constructed sequence of parallelograms which helps to prove
the existence of a shadowing orbit. These two methods will then be used to prove the
existence of a shadowing orbit for examples in one and two dimensions. Finally we will
discuss a refinement technique which takes a 'noisy' orbit and produces a less 'noisy' orbit
which shadows the original orbit. This technique will then be applied to some examples
to find a numerical shadow for a pseudo-orbit.
|
| Extent |
2693264 bytes
|
| Genre | |
| Type | |
| File Format |
application/pdf
|
| Language |
eng
|
| Date Available |
2009-07-09
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
| DOI |
10.14288/1.0080030
|
| URI | |
| Degree (Theses) | |
| Program (Theses) | |
| Affiliation | |
| Degree Grantor |
University of British Columbia
|
| Graduation Date |
2000-05
|
| Campus | |
| Scholarly Level |
Graduate
|
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.