close

Вход

Забыли?

вход по аккаунту

?

Обратные слабые свойства отслеживания для линейных систем.

код для вставкиСкачать
УДК 517.9
Вестник СПбГУ. Сер. 1, 2005, вып. 2
А. Б. Катина
ОБРАТНЫЕ СЛАБЫЕ СВОЙСТВА ОТСЛЕЖИВАНИЯ
ДЛЯ ЛИНЕЙНЫХ СИСТЕМ
1. Введение
Теория отслеживания приближенных траекторий (псевдотраекторий) изучает вопрос о том, при каких условиях приближенные и точные траектории динамических
систем близки на неограниченных промежутках времени.
Задача прямого отслеживания (задана псевдотраектория; существует ли близкая к
ней точная траектория?) интенсивно изучалась различными авторами в последние годы; изложению основных методов и результатов, связанных с этой задачей, посвящена
монография [1].
В работе [2] была поставлена задача обратного отслеживания: задан класс псевдотраекторий — можно ли для любой точной траектории найти близкую к ней псевдотраекторию данного класса?
В стандартных постановках задач прямого и обратного отслеживания речь идет
о поточечной близости точной траектории и псевдотраектории. В недавней статье [3]
изучен орбитальный подход к задаче прямого отслеживания. В рамках этого подхода
ищутся точные траектории, содержащие псевдотраектории в своих малых окрестностях
(траектории, содержащиеся в малых окрестностях псевдотраекторий, или траектории,
близкие к псевдотраекториям в смысле метрики Хаусдорфа).
В данной статье мы применяем орбитальный подход к задаче обратного отслеживания для динамических систем, порождаемых линейными диффеоморфизмами, и получаем необходимые и достаточные условия для наличия всех трех возможных свойств
обратного отслеживания.
Перейдем к точным определениям.
Рассмотрим динамическую систему, порожденную диффеоморфизмом ϕ гладкого
многообразия M . Пусть на M задана риманова метрика dist.
Через O ( x, ϕ) обозначим траекторию динамической системы ϕ:
O ( x, ϕ) = { ϕk (x) : k ∈ Z}.
Будем говорить, что последовательность ξ = {xk ∈ M : k ∈ Z} есть d-псевдотраектория ϕ, если выполнены неравенства
dist (ϕ (xk ) , xk+1 ) < d, k ∈ Z.
Через N (ε, A) обозначим ε-окрестность множества A ⊂ M. Пусть distH (· , · ) означает хаусдорфово расстояние между компактными подмножествами многообразия M .
Определение свойств обратного отслеживания дается относительно некоторого
класса Θ = {Jd }, где Jd является семейством d-псевдотраекторий ϕ (или d-методом
для ϕ). Начнем с определений слабых свойств обратного отслеживания.
Будем говорить, что ϕ обладает первым слабым обратным свойством отслеживания
(1WISP) относительно класса Θ, если для любого ε > 0 существует такое d > 0, что
c
34
А. Б. Катина, 2005
для любой точки q ∈ M и для любого метода Jd ∈ Θ найдется псевдотраектория
ξ = {xk } ∈ Jd , обладающая следующим свойством:
ξ ⊂ N (ε, O (q, ϕ)) .
Будем говорить, что ϕ обладает вторым слабым обратным свойством отслеживания
(2WISP) относительно класса Θ, если для любого ε > 0 существует такое d > 0, что
для любой точки r ∈ M и для любого метода Jd ∈ Θ найдется псевдотраектория
ξ = {xk } ∈ Jd , обладающая следующим свойством:
O (r, ϕ) ⊂ N (ε, ξ) .
Дадим определение орбитального обратного свойства отслеживания (OISP). Будем
говорить, что ϕ обладает OISP относительно класса Θ, если для любого ε > 0 существует такое d > 0, что для любой точки p ∈ M и для любого метода Jd ∈ Θ найдется
псевдотраектория ξ = {xk } ∈ Jd , обладающая следующим свойством:
distH O (p, ϕ), ξ < ε,
где A — замыкание множества A.
Наконец, дадим определение обратного свойства отслеживания (ISP). Будем говорить, что ϕ обладает ISP относительно класса Θ, если для любого ε > 0 существует
такое d > 0, что для любой точки p ∈ M и для любого метода Jd ∈ Θ найдется псевдотраектория ξ = {xk } ∈ Jd , удовлетворяющая неравенствам
$
#
dist ϕk (p) , xk < ε, k ∈ Z.
Сформулированные выше определения позволяют составить следующую диаграмму.
ISP ⇒ OISP ⇒ 1WISP
⇓
2WISP
Диаграмма 1.
2. Различные классы методов
Метод Jd называется полным [2], если для любой точки p ∈ M найдется такая
псевдотраектория ξ = {xk } ∈ Jd , что x0 = p.
Мы будем рассматривать свойства обратного отслеживания относительно класса
непрерывных методов, который обозначим Θs . Фиксируем диффеоморфизм ϕ. Будем
говорить, что метод Jd принадлежит классу Θs (Jd ∈ Θs ), если существует такая
последовательность непрерывных отображений Ψk : M −→ M , что
dist (Ψk (x) , ϕ (x)) < d
для всех k ∈ Z и x ∈ M , и метод Jd состоит из всех последовательностей ξ = {xk :
k ∈ Z}, для которых xk+1 = Ψk (xk ).
Рассмотрение свойств обратного отслеживания относительно класса разрывных методов не является содержательной задачей. Приведенные ниже примеры показывают,
35
что даже для линейного гиперболического отображения ϕ (x) = Ax не выполнены свойства 1WISP и 2WISP относительно некоторых классов полных методов, порожденных
разрывными отображениями.
Пример 1 (отсутствие 1WISP). Рассмотрим линейное отображение
ϕ (x) = λx, λ > 1, x ∈ R .
(1)
Точка x = 0 — неустойчивая неподвижная точка. Построим такой класс полных методов, порождаемых разрывными отображениями, что система (1) не обладает 1WISP
относительно этого класса методов.
Для любого d > 0 построим разрывное отображение вида
%
d
λx, x ∈
/ [0, 2λ
),
Ψd (x) = d
d
2λ , x ∈ [0, 2λ ).
Несложно проверить, что выполнено неравенство |Ψd (x)−ϕ (x) | < d для всех x ∈ R.
Рассмотрим множество таких последовательностей {xk : k ∈ Z}, что xk+1 = Ψd (xk ).
Это множество является полным d-методом. Покажем, что система (1) не обладает
1WISP относительно построенного класса d-методов.
Фиксируем ε = 1 и произвольное d > 0 и покажем, что любая d-псевдотраектория
покидает 1-окрестность N (1, {0}) неподвижной точки 0.
Рассмотрим произвольную d-псевдотраекторию ξ = {xk : k ∈ Z}, где xk+1 = Ψd (xk ).
Возможны два случая.
1. Пусть x0 < 0. Тогда точки d-псевдотраектории таковы:
xk = Ψd (xk−1 ) = λk x0 < xk−1 < 0,
k ∈ Z.
Таким образом, точки d-псевдотраектории ξ стремятся к − ∞, покидая окрестность N (1, {0}), и ξ ⊂ N (1, {0}).
2. Пусть x0 ≥ 0. Возможны два случая.
2.1. x0 <
d
2λ .
d
2λ ,
Тогда
x2 = Ψd (x1 ) = d2 > x1 , . . . ,
x1 =
k−2
xk = Ψd (xk−1 ) = λ 2 d > xk−1 .
Таким образом, точки d-псевдотраектории ξ стремятся к + ∞ и покидают
окрестность N (1, {0}).
d
2.2. x0 ≥ 2λ
. Тогда x1 = Ψd (x0 ) = λx0 > x0 , . . . ,
k
xk = Ψd (xk−1 ) = λ2 d > xk−1 .
И в этом случае точки d-псевдотраектории ξ стремятся к + ∞.
Таким образом, любая d-псевдотраектория ξ покидает окрестность N (1, {0}) и, следовательно, система (1) не обладает 1WISP.
Пример 2 (отсутствие 2WISP).
Рассмотрим линейное отображение (1). Построим такой класс полных методов, порождаемых разрывными отображениями, что система (1) не обладает 2WISP относительно этого класса.
36
Для любого d > 0 построим последовательность разрывных отображений {Ψn } так:
d
d
для любого k ≥ 0 функция Ψn отображает множество (λn + k 2λ
, λn + (k + 1) 2λ
] в точку
d
d
d
n+1
n
n
n+1
+ (k + 1) 2 } и множество (λ − (k + 1) 2λ , λ − k 2λ ] в точку {λ
− (k + 1) d2 }.
{λ
Несложно показать, что выполнены неравенства
|Ψn (x) − ϕ (x) | < d,
x ∈ R,
n ∈ Z.
Рассмотрим множество таких последовательностей {xk : k ∈ Z}, что xk+1 = Ψk (xk ).
Это множество является полным d-методом. Покажем, что система (1) не обладает
2WISP относительно такого класса полных d-методов.
Фиксируем ε = 1 и рассмотрим точку p = 1 и ее траекторию O (1, ϕ) = {λm : m ∈ Z}.
Покажем, что при любом d и для любой d-псевдотраектории ξ = {xk : k ∈ Z}, где
xk+1 = Ψk (xk ), не выполнено включение O (p, ϕ) ⊂ N (1, ξ).
Рассмотрим произвольную точку x0 ∈ N (1, p). Найдется такое число k ∈ Z, что
d
d
, 1 + (k + 1) 2λ
]. Пусть k ≥ 0; случай k ≤ 0 рассматривается аналогично.
x0 ∈ (1 + k 2λ
Выполняются следующие равенства:
d
,
2λ
d
x2 = Ψ1 (x1 ) = λ2 + λ2 (k + 1) ,
2λ
..
.
x1 = Ψ0 (x0 ) = λ + λ (k + 1)
xm = Ψm−1 (xm−1 ) = λm + λm (k + 1)
d
,... .
2λ
Найдется такой номер m ∈ Z, что |xm − ϕm (1) | > λm d2 > 1. Таким образом,
O (p, ϕ) ⊂ N (1, ξ) для любой псевдотраектории ξ. Следовательно, система (1) не обладает 2WISP относительно построенного класса методов, порожденных разрывными
отображениями.
3. Случай линейных систем
Рассмотрим невырожденную комплексную матрицу A и соответствующий ей линейный диффеоморфизм
(2)
ϕ (x) = Ax , x ∈ Cn .
Будем говорить, что матрица A гиперболическая, если для всех ее собственных чисел
λj выполнены неравенства |λj | = 1, j = 1, . . . , n.
Теорема 1. Линейный диффеоморфизм ϕ (x) = Ax с гиперболической матрицей A
обладает ISP .
Эта теорема доказывается так же, как основной результат статьи [4].
Далее рассмотрим утверждения, касающиеся слабых свойств обратного отслеживания. Начнем с первого слабого свойства обратного отслеживания.
Лемма 1. Линейный диффеоморфизм ϕ (x) = Ax, обладающий 1WISP, имеет гиперболическую матрицу.
Доказательство.
Предположим, что матрица A — негиперболическая. Это означает, что существует
собственное число λ матрицы A с |λ| = 1. Фиксируем базис, в котором первая строка матрицы A имеет вид (λ, 0, . . . , 0). Для произвольного d > 0 построим семейство
37
непрерывных методов {Ψk }, для которых выполнены неравенства
|Ψk (x) − Ax| < d
для всех k ∈ Z и x ∈ Cn , следующим образом:
T
k
Ψk (x) = Ax + dλ2 , 0 , . . . , 0 .
Рассмотрим произвольную d-псевдотраекторию ξ = {xk : k ∈ Z}. Пусть x0 =
(1)
(n)
(1)
(1)
(i)
(x0 , . . . , x0 )T . Тогда x1 = λx0 + d2 , а оставшиеся компоненты x1 = (Ax0 )(i) ,
(1)
(i)
где (Ax0 ) — i-ая компонента вектора Ax0 . Легко показать по индукции, что xk =
$
#
(i)
(1)
(i)
λk x0 + kλk−1 d2 , xk = Ak x0 .
Чтобы прийти к противоречию, предположим, что система (2) обладает 1WISP относительно построенного класса непрерывных методов.
Фиксируем
точку p = (1, 0, . . . , 0)T и ее траекторию
& mε =T 1 и рассмотрим
'
O (p, ϕ) = (λ , . . .) : m ∈ Z . При достаточно малых d > 0 должна существовать
d-псевдотраектория ξ, для которой выполняется включение
ξ ⊂ N (1, O (p, ϕ)) .
Таким образом, должно быть выполнено следующее утверждение. Для любого k ∈ Z
найдется такое l (k) ∈ Z, что выполнено неравенство
l(k)
(p) − xk < 1.
ϕ
В частности, должно выполняться неравенство
l(k)
(1) − xk < 1.
λ
(1)
(1)
Так как xk = λk x0 + kλk−1 d2 , последнее неравенство принимает вид
l(k)
k (1)
k−1 d λ
< 1.
−
λ
x
−
kλ
0
2
Слагаемое kλk−1 d2 неограниченно растет при k, стремящемся к +∞, тогда как два
других слагаемых ограничены. Поэтому найдется такое достаточно большое k, что для
любого l (k) последнее неравенство не выполнено. Полученное противоречие завершает
доказательство.
Следствие 1. Из теоремы 1, леммы 1 и диаграммы 1 следует, что каждое из свойств
ISP, OISP и 1WISP для линейной системы (2) равносильно тому, что матрица A гиперболическая.
В Леммах 2 и 3 предположим, что диффеоморфизм ϕ (x) = Ax обладает 2WISP.
Лемма 2. Пусть λ — такое собственное число матрицы A, что |λ| = 1. Тогда
найдется такое число m ∈ N , что λm = 1.
Доказательство.
Предположим противное. Пусть λ = cos λ + i sin λ и πλ ∈
/ Q.
Фиксируем базис, в котором первая строка матрицы A имеет вид (λ, 0, . . . , 0). Собственный вектор, отвечающий собственному числу λ, имеет вид v = (1, 0, . . . , 0)T . Рассмотрим линейное пространство L, натянутое на вектор v.
38
Для произвольного d > 0 построим семейство непрерывных отображений {Ψk }, для
которых выполнены неравенства
|Ψk (x) − Ax| < d
для всех k ∈ Z и x ∈ Cn :
Ψk (x) = Ax + (g x(1) , 0, . . . , 0)T ,
#
$
где функция g x(1) определена как
(1)
g x
$
#
и g x(1) ∈
0,
dλx(1)
2|x(1) |
,
1
4
%
=
0, x(1) ≤ 14 ,
1
dλx(1) (1) , x
≥ 2,
2|x(1) |
< x(1) < 12 . Очевидно, верны неравенства |Ψk (x) − Ax| < d
для всех k ∈ Z, x ∈ Cn .
Чтобы прийти к противоречию, предположим, что система (2) обладает 2WISP относительно построенного класса методов.
(
)
Фиксируем ε = 14 . Выберем число M = 2 d1 + 1 , где [·] — целая часть числа. Фиксируем такое число R0 , что 2R0 > M .
&
Рассмотрим
точку p = (R0 , 0, . . . , 0)T и ее траекторию O (p, ϕ) = (λm R0 , 0, . . . , 0)T :
'
m ∈ Z . В силу предположения о несоизмеримости λ и π точки λm R0 , m ∈ Z, плотны
на окружности S R0 радиуса R0 в L.
В силу нашего предположения о наличии 2WISP при достаточно малом d > 0 должна существовать псевдотраектория ξ, порожденная Ψk , для которой выполнено включение
1
,ξ .
O (p, ϕ) ⊂ N
4
Таким образом, для d-псевдотраектории ξ должно быть верно следующее утверждение:
для любого k ∈ Z найдется такое l (k) ∈ Z, что выполнено неравенство
k
ϕ (p) − xl(k) < 1 .
4
(3)
В частности, это неравенство должно выполнятся для первых компонент:
1
k
(1) λ R0 − xl(k) < .
4
(4)
Возможны три случая поведения d — псевдотраектории ξ = {xk : k ∈ Z}.
$
#
(1) (1)
(1)
1. r = x0 ≤ 14 . Тогда g x(1) = 0 и xk = λk x0 для всех k ∈ Z. Это означает,
(1)
что все точки xk лежат на окружности S r радиуса r ≤ 14 . Поэтому неравенство (4) неверно для достаточно больших k ∈ Z и любых l (k) ∈ Z. Получаем
противоречие.
39
(1) 2. x0 1
2.
(1)
xk
(1)
λxk−1
1 + (1) 2xk−1 (1)
Тогда
=
при k ≥ 0 и xk−1 =
≥
(1) (1) (1)
λ−1 xk
1 + d(1) при k < 0. При этом xk = xk−1 + d2 для k ≥ 0 и
2xk (1) (1) d
xk−1 = xk + 2 для k < 0.
d
Пусть N (R0 ) обозначает 14 -окрестность окружности S R0 в L. Для любой*точки
y ∈ L обозначим через N (y) 14 -окрестность точки y в L. Длина дуги S R0 N (y)
mR0 всех точек окружности S R0 , покрываеменьше π4 . Поэтому мера множества
+
(1)
мых объединением k∈Z N xk , удовлетворяет неравенству
mR0 <
π
π
· M < · 2R0 < 2πR0 .
4
4
В силу плотности точек λk R0 на окружности
S R0 найдется точка λk0 R0 , не со
+
(1)
держащаяся в объединении k∈Z N xk . Следовательно, для числа k = k0 не
существует такого l (k), что неравенство (4) выполнено.
(1) 3. 14 < x0 < 12 . Возможно различное поведение d-псевдотраектории ξ = {xk : k ∈
Z}.
Рассмотрим два множества
,
(1) 1
I+ = k ≥ 0 : xk ≥
,
2
I− =
,
(1) 1
k ≤ 0 : xk ≥
.
2
Возможны следующие случаи.
(1) 3.1. I+ = ∅, I− = ∅. Найдется такое наименьшее k2 ∈ I+ , что xk2 ≥ 12 . Следо
(1) вательно, для всех k ∈ I+ = ([k2 ; +∞)) верно неравенство xk ≥ 12 , а для
(1) k∈
/ I+ верно неравенство xk ≤ 12 .
(1) 3.2. I+ = ∅, I− = ∅. Найдется такое наибольшее k1 ∈ I− , что xk1 ≥ 12 . Тогда
(1) верно неравенство xk ≥ 12 для всех k ∈ I− = ((−∞; k1 ]), а для k ∈
/ I− верно
(1) 1
неравенство xk ≤ 2 .
3.3. I+ = ∅, I− = ∅. Найдутся
такие наибольшее k1 ∈ I− и наименьшее k2 ∈ I+ ,
(1) 1 (1) 1
(1) что xk1 ≥ 2 и xk2 ≥ 2 . Тогда неравенство xk ≥ 12 верно для всех k ∈ I+
и k ∈ I− .
Ясно, что те же рассуждения, что и в пункте 2, приводят нас к противоречию
при рассмотрении любого из случаев 3.1–3.2.
+
(1) 3.4. I+ I− = ∅. Тогда xk ≤ 12 для всех k ∈ Z и mR0 = 0.
Утверждение доказано.
Далее, не умаляя общности, предполагаем, что матрица A приведена к жордановой
форме.
40
Лемма 3. Пусть λ — собственное число матрицы A и |λ| = 1. Тогда жорданов
блок матрицы A, отвечающий собственному числу λ, простой.
Доказательство.
Пусть жорданов блок матрицы A, отвечающий собственному числу λ, имеет размерность k × k, k > 1. Фиксируем базис, в котором первые две строки матрицы A имеют
вид (λ , 0 , . . . , 0) и (1 , λ , 0 . . . , 0). Для произвольного d > 0 построим семейство
непрерывных методов {Ψk }, для которых выполнены неравенства
|Ψk (x) − Ax| < d
для всех k ∈ Z, x ∈ Cn , следующим образом:
Ψk (x) = Ax +
dλk
, 0, . . . , 0
2
T
.
Рассмотрим произвольную d-псевдотраекторию ξ = {xk : k ∈ Z}. Пусть x0 =
(1)
(n)
(x0 , . . . , x0 )T .
Тогда
d
(1)
(1)
x1 = λx0 + ,
2
(2)
(1)
(2)
x1 = x0 + λx0 ,
(i)
(i)
x1 = (Ax0 )
,
i = 3, . . . , n.
Легко показать по индукции, что
d
(1)
(1)
xk = λk x0 + kλk−1 ,
2
(2)
k (k − 1) k−2 d
(2)
λ
+ λk x0 ,
2
2
$i
#
= Ak x0 , i = 3, . . . , n.
(1)
xk = kλk−1 x0 +
(i)
xk
Чтобы придти к противоречию, предположим, что система (2) обладает 2WISP относительно построенного класса непрерывных методов.
ε = 1, рассмотрим
точку p = (1, 0, . . . , 0)T и ее траекторию O (p, ϕ) =
& Фиксируем
'
m
m−1
T
(λ , mλ
, . . .) : m ∈ Z .
При достаточно малом d > 0 должна существовать псевдотраектория ξ = {xk :
k ∈ Z}, для которой выполняется включение
O (p, ϕ) ⊂ N (1, ξ) .
Другими словами, для d-псевдотраектории ξ должно быть верно следующее утверждение. Для любого k ∈ Z найдется такое l (k) ∈ Z, что выполнено неравенство
k
ϕ (p) − xl(k) < 1.
(5)
В частности, это неравенство должно быть верным для первых двух компонент векторов, то есть должны выполняться следующие неравенства:
k
(1) (6)
λ − xl(k) < 1
41
и
k−1
(2) − xl(k) < 1.
kλ
(7)
Покажем, что эти неравенства не выполняются одновременно ни для какой dпсевдотраектории ξ. Перепишем неравенство (6) в следующем виде:
k
λ − λl(k) x(1) + l (k) d λl(k)−1 < 1.
(8)
0
2
По условию |λ| = 1. Чтобы неравенство (8) выполнялось, множество {l (k)} при k → ∞
(2)
должно быть ограничено. Следовательно, множество {xl(k) } ограничено при k → ∞, и
неравенство (7) не выполняется.
Полученное противоречие завершает доказательство.
Лемма 4. Пусть матрица A имеет вид
B 0
A=
,
0 C
где B = diag (λ1 . . . λm ), |λi | = 1, i = 1, . . . , m, а матрица C — гиперболическая. Тогда
система (2) не обладает 2WISP.
Доказательство.
Для произвольного d > 0 построим семейство непрерывных методов Ψk следующим
образом:
T
k
k
Ψk (x) = Ax + dλ2 1 , . . . , dλ2m , 0 . . . , 0 .
Тогда произвольная d-псевдотрактория ξ = {xk : k ∈ Z} имеет следующий вид.
T
$T
$T
#
#
Пусть x0 = v, v1 , где v = v (1) , . . . , v (m) , v1 = v1(1) , . . . , v1(n−m) .
Тогда
d
(i)
(i)
, i = 1, . . . , m,
xk = (Ψk−1 (xk−1 )) = λki v (i) + kλk−1
i
2
#
$(i−m)
(i)
xk = C k v1
, i = m + 1, . . . , n.
Покажем, что система (2) не обладает 2WISP относительно построенного класса
непрерывных методов.
#
$T
1, . . . , 1 и соответствующую траекФиксируем ε =
1
и
рассмотрим
точку
p
=
/
.#
$T
#
$T
торию O (p, ϕ) = λk1 , . . . , λkm , ek : k ∈ Z , где ek = C k e, e = 1, . . . , 1 .
Из нашего предположения следует, что для любого d > 0 найдется d-псевдотраектория ξ, для которой выполняется включение
O (p, ϕ) ⊂ N (1, ξ) .
Это равносильно следующему утверждению: для любого k ∈ Z найдется такое l (k) ∈ Z,
что выполнено следующее неравенство:
k
ϕ (p) − xl(k) < 1.
(9)
Перепишем последнее неравенство в следующем виде:
k
l(k)
l(k)−1 λi − λi v (i) + l (k) λ1
< 1, i = 1, . . . , m,
42
(10)
k
C e − C l(k) v1 < 1.
и
(11)
Возможны два случая.
1. По крайней мере одно собственное число матрицы C таково, что верно неравенство |λj0 | < 1. Тогда, записав неравенство (11) покомпонентно, получим
k
l(k) (j −m) (12)
λj0 − λj0 v1 0
< 1.
Устремив k к −∞, получим l (k) → −∞, и следовательно, неравенство (10) не
(j −m)
(j −m)
= 0 ). Если v1 0
= 0, тогда неравенство
выполнено (при условии,
что v1 0
(12) имеет вид λkj0 < 1, которое при k → −∞ не выполняется.
2. По крайней мере одно собственное число матрицы C таково, что верно неравенство |λj0 | > 1. Тогда, устремив k к +∞, из неравенства (12) получаем l (k) → +∞
(j −m)
= 0 ).
и, следовательно, неравенство (10) не выполнено (при условии, что v1 0
(j0 −m)
= 0, тогда неравенство (12) при k → +∞ не имеет места.
Если же v1
Полученное противоречие завершает доказательство.
Подводя итог, сформулируем и докажем следующую теорему.
Теорема 2. Линейный диффеоморфизм ϕ (x) = Ax обладает 2WISP тогда и только
тогда, когда для матрицы A выполнено одно из следующих условий.
1. A — гиперболическая матрица;
2. Существует такое натуральное число m, что жорданова форма J матрицы A
такова, что J m = E.
Сформулируем вспомогательные очевидные утверждения.
Предложение 1. Линейный диффеоморфизм ϕ (x) = Ax с матрицей A = E обладает 2WISP.
Предложение 2. Если диффеоморфизм ϕ (x) = Am x при некотором натуральном
m обладает 2WISP, тогда диффеоморфизм Ψ (x) = Ax обладает этим же свойством.
Доказательство теоремы.
Необходимость. Пусть диффеоморфизм ϕ (x) = Ax обладает 2WISP. Тогда матрица A либо гиперболическая (и тогда утверждение доказано), либо негиперболическая.
В этом случае в силу леммы 4 все собственные числа матрицы A удовлетворяют равенствам |λi | = 1, i = 1, . . . , n. Тогда по лемме 3 жорданова форма J матрицы A
содержит только простые блоки, то есть J = diag (λ1 , . . . , λn ). По лемме 2 для каждого
i
собственного числа λi найдется такое натуральное число mi , что λm
= 1. Возьмем
i
m
m = HOK (m1 , . . . , mn ) . Тогда J = E. Таким образом утверждение доказано.
Достаточность. Если матрица A гиперболическая, тогда диффеоморфизм ϕ (x) =
Ax обладает ISP. В частности, он обладает 2WISP. Если существует такое m, что J m =
E, тогда по предложению 1 диффеоморфизм Ψ1 (x) = J m x = x обладает 2WISP. В
этом случае по предложению 2 диффеоморфизм Ψ (x) = Jx обладает 2WISP, а тогда
и исходный диффеоморфизм ϕ (x) = Ax обладает этим свойством.
Теорема доказана.
Второе слабое свойство отслеживания (2WISP) изучалось в [3]. Сформулируем теорему 2.4 статьи [3], отсылая читателя за точными определениями к [3].
43
Диффеоморфизм ϕ (x) = A x, x ∈ Cn , обладает 2WSP тогда и только тогда, когда
жорданова форма A матрицы A удовлетворяет одному из следующих условий.
1. A — гиперболическая матрица.
2. Существует такое натуральное число m, что выполнено одно из условий:
1) Am = E, где E — единичная матрица,
2) Am = diag (E, B), где B — гиперболическая матрица и все ее собственные
числа лежат внутри или вне единичного круга комплексной плоскости.
Сравнение результатов доказанной теоремы 2 и теоремы 2.4, приведенной в статье
[3], позволяет сделать следующий вывод.
Множество линейных диффеоморфизмов (2), обладающих 2WISP, строго меньше
множества линейных диффеоморфизмов, обладающих 2WSP.
Линейный диффеоморфизм, обладающий 2WISP, обладает и 2WSP. Обратное же
утверждение неверно. В
примера достаточно рассмотреть линейный диффео качестве
1 0
морфизм вида ϕ (x) =
x.
0 2
Summary
A. B. Katina. Inverse weak shadowing properties for linear systems.
We obtain necessary and sufficient conditions under which a linear diffeomorphism has weak or
orbital inverse shadowing properties.
Литература
1. Pilyugin S. Yu. Shadowing in Dynamical Systems // Lecture Notes in Math. Vol. 1706.
Springer–Verlag, Berlin, 1999. 272 pp.
2. Corless R. M., Pilyugin S. Yu. Approximate and Real Trajectories for Generic Dynamical
Systems // J. Math. Anal. Appl. Vol. 189. 1995. P. 409–423.
3. Pilyugin S. Yu., Rodionova A. A., Sakai K. Orbital and weak shadowing properties, Discrete
and Continuous Dynamical Systems. Vol. 9. 2003. P. 287–308.
4. Pilyugin S. Yu. Inverse shadowing by continuous methods // Discrete and Continuous Dynamical Systems. Vol. 8. 2003. P. 29–38.
Статья поступила в редакцию 18 ноября 2004 г.
Документ
Категория
Без категории
Просмотров
3
Размер файла
227 Кб
Теги
обратный, слабых, система, отслеживания, свойства, линейный
1/--страниц
Пожаловаться на содержимое документа