Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
60
Добавлен:
02.06.2015
Размер:
221.91 Кб
Скачать

Лекция 9. Геометрия действия линейного оператора в R2

Рассмотрим два примера.

 

 

 

 

 

Пример. Оператор ' : R2 ! R2 с матрицей

 

 

 

:

3

2

x

3x + 2y

A' = µ1

2:

µy

! µ x + 2y

Определитель

¯y

 

¯

x

 

¯

 

 

¯

 

¯

3x + 2y¯¯¯ = x2 ¡ xy ¡ 2y2 x + 2y

обращается в 0, если y = ¡x или y = x=2. Это означает, что векторы, лежащие на этих прямых, переходят в

коллинеарные. Точнее,

µ

 

) µ

 

и

 

 

 

x

x

x

4x

 

¡x

¡x

µx=2)

µ2x;

т.е. векторы, лежащие на прямой y = ¡x не меняются (умножаются на 1), а векторы на прямой y = x=2 растягиваются в 4 раза.

Далее, наш определитель равен (x + y)(x ¡ 2y). Это означает следующее: прямые y = ¡x и y = x=2 разбивают плоскость на 4 сектора

@

@

 

 

y = x=2

@

 

 

@

II

©©

©©

 

@

 

III

©

 

 

©©©©@@ I

 

©©

IV

@

 

 

@

 

 

 

@

 

 

 

y = ¡x

Векторы в секторах I и III оператор поворачивает против часовой стрелки, а векторы в секторах II и IVпо. Кроме того, при повороте вектор остается в своем секторе. Действительно, пусть вектор v¹ = (x; y) находится в секторе I, т.е. x + y > 0 и x ¡ 2y > 0. Тогда для вектора 'v) = (3x + 2y; x + 2y) имеем:

(3x + 2y) + (x + 2y) = 4x + 4y > 0 и (3x + 2y) ¡ 2(x + 2y) = x ¡ 2y > 0:

Для остальных секторов проверка аналогична.

Чему равен максимальный угол поворота в каждом секторе? Пусть вектор v¹ = (cos ®; sin ®) лежит на единичной окружности. Тогда косинус угла ° между векторами v¹ и 'v) равен

cos ° =

 

3 cos2 ® + 3 cos ® sin ® + 2 sin2 ®

:

p

 

10 cos2 ® + 16 cos ® sin ® + 8 sin2 ®

Производная равна нулю, когда

 

(cos ® ¡ 2 sin ®)(cos ® + sin ®)(2 sin2 ® + 8 cos ® sin ® + 3 cos2 ®) = 0:

Первые два множителя задают прямые x + y = 0 и x ¡ 2y = 0. Для векторов на этих прямых угол поворота минимален он равен нулю. Третий множитель задает два локальных максимума: tg ® ¼ ¡0:42 и tg ® ¼ ¡3:58. Прямая с первым тангенсом наклона проходит через сектора I и III, прямая со вторым тангенсом через сектора II и IV. Для векторов на первой прямой угол поворота равен ¼ 27±, для векторов на второй

¼ 50±.

Теперь посмотрим, как оператор меняет длины векторов. Так как

 

 

 

 

 

µ

cos ®

7!

3 cos ® + 2 sin ®

;

 

 

 

 

 

sin ®

cos ® + 2 sin ®

 

 

 

 

 

µ

 

то квадрат длины вектора 'v), где

j

v¹ = 1, меняется в пределах от min(10 cos2 ® + 16 cos ® sin ® + 8 sin2 ®) до

max(10 cos

2

® + 16 cos ® sin ® + 8 sin

2

j

 

 

 

 

 

 

®). Эта функция имеет два экстремума: при tg ® ¼ ¡1:132782219 и при

tg ® ¼ 0:8827822185. Единичные векторы с соответствующими тангенсами наклона

 

 

v¹1 = µ

0:6618025630

0:7496781757

 

 

¡0:7496781758

и v¹2 = µ0:6618025631

1

2

 

 

 

 

 

лежат во втором секторе. Их образы

 

 

 

u¹1

=

¡0:486051337

и u¹2 =

3:572639653

 

µ

0:8375537890

 

µ2:073283302

взаимно перпендикулярны и имеют длины 0:9683709267 и 4:130648586, соответственно.

Поведение модуля вектора 'v), jv¹j = 1, можно описать следующим образом: двигаясь по единичной окружности против часовой стрелки от точки (1=p2; ¡1=p2) мы видим, что длина вектора 'v) возрастает, становится равной 4, когда v¹ лежит на прямой 2y = 0, и продолжает возрастать пока вектор v¹ не совпадет

свектором v¹2. После этого длина вектора 'v) начинает убывать, пока вектор v¹ не совпадет с вектором v¹1. Еще вопрос: единичная окружность переходит в кривую, которая параметрически описывается уравнени-

ями x = 3 cos ® + 2 sin ®; y = cos ® + 2 sin ®. Что это за кривая? Имеем, x2 =9 cos2 ® + 12 cos ® sin ® + 4 sin2 ®; xy =3 cos2 ® + 8 cos ® sin ® + 4 sin2 ®; y2 = cos2 ® + 4 cos ® sin ® + 4 sin2 ®:

Нетрудно найти, что 5x2 ¡ 14xy + 13y2 = 16(cos2 ® + sin2 ®) = 16. Это уравнение эллипса, направление осей которого задается векторами u¹1 и u¹2, а длины полуосей равны 0:9683709267 и 4:130648586, соответственно.

И наконец посмотрим, что происходит с вектором при последовательном применении оператора. Возьмем

вектор из второго сектора:

 

¶ µ ¶ µ ¶ µ

 

¶ µ

 

µ

¶ µ

¡2

166

678

¡4

7!

7!

6

7!

38

7!

7!

: : :

5

6

10

26

90

346

 

Длина второго вектора немного меньше длины первого, но далее длина начинает быстро возрастать, а тангенс наклона стремится к 1=2, так, например, у шестого вектора тангенс наклона примерно равен 0:51.

Поведение вектора из первого сектора такое же, только длина вектора все время возрастает.

Пример. Рассмотрим оператор ' : R2 ! R2 с матрицей

µ

¡

 

 

µ

¡

1

1

µ ¶

 

A' =

 

 

1

0

;

y

7!

x

:

Так как

¯

 

¡

 

¯

 

 

 

 

 

 

¯

x

x

+ y

¯

 

 

 

< 0;

 

 

¯y

 

x

¯ = ¡x2 ¡ xy ¡ y2

 

 

¯

 

 

 

 

¯

 

 

 

 

 

то оператор каждый вектор поворачивает по часовой стрелке. Косинус угла между вектором v¹ = (cos ®; sin ®) и вектором 'v) равен

cos2 ®

p2 cos2 ® + 2 cos ® sin ® + sin2 ®:

Числитель производной этого выражения по ® равен

cos ® ¢ (2 sin ® + cos ®)(sin2 ® + cos ® sin ® + cos2 ®):

Здесь третий множитель не равен нулю. Следовательно, экстремальные углы поворота достигаются при cos ® = 0 и при 2 sin ® + cos ® = 0. В первом случае угол поворота равен 90± максимум, во втором ¼ 37±минимум.

Квадрат модуля вектора 'v), где v¹ =p(cos ®; sin ®), равен 1 + cos2 ® + 2 sin ® cos ®. Производная этого выражения равна нулю при tg(®) = (¡1 § 5)=2. Оператор увеличивает длину вектора с тангенсом наклона (¡1 + p5)=2 примерно и 1:61 раза, и оператор уменьшает длину вектора с тангенсом наклона (¡1 ¡ p5)=2 примерно и 0:61 раза.

Единичная окружность переходит в эллипс с уравнением x2 + 2xy + 2y2 ¡ 1 = 0.

И, наконец, последовательное применение оператора к вектору (x; y) дает следующую картину:

µ ¶ µ

¡

 

¶ µ¡ ¡

¶ µ¡

¶ µ

 

¶ µ

¶ µ ¶

 

x

x + y

7!

y

y 7!

¡x

7!

¡x ¡ y

¡y

x

:

y 7!

 

x

x

y

x

7! x + y

7! y

 

Таким образом, на третьем шаге вектор переходит в противоположный, а на шестом становится самим собой. Это, на первый взгляд, странное действие оператора объясняется тем, что

µ ¡1

0

 

= ¡E; а µ ¡1

0

= E:

1

1

 

3

1

1

6

 

 

 

Соседние файлы в папке modules 3-4