Вы находитесь на странице: 1из 53

Н. В.

Филимоненкова

СБОРНИК ЗАДАЧ ПО ФУНКЦИОНАЛЬНОМУ АНАЛИЗУ

Учебное пособие

Допущено НМС по математике в качестве учебного пособия


для студентов технических направлений бакалавриата и направлений
«Прикладная математика», «Прикладная математика и информатика»
технических вузов

Санкт-Петербург 2015
УДК 517.98

Рецензенты: д-р. физ.-мат. наук, профессор Б. Г. Вагер (СПбГАСУ); канд. физ.-мат. наук,
доцент Ф. Л. Бахарев (СПбГУ).

Учебное пособие включает задания, принадлежащие трем традиционным модулям


функционального анализа: теории сжимающих операторов, теории рядов Фурье в
гильбертовом пространстве и теории линейных операторов. Каждая задача представлена в 20
вариантах, все задачи снабжены образцами решений либо указаниями к решению. Сборник
задач предназначен студентам технических вузов для практического освоения вводного
курса в функциональный анализ. Изложение материала учитывает специфику подготовки
студентов в техническом вузе и имеет прикладную ориентацию. Преобладают задания
вычислительного характера. Часть задач предполагает численную реализацию решения в
математических пакетах: решение уравнений разного типа методом простых итераций,
аппроксимация функций различными ортогональными базисами, минимизация функционала
методом Ритца, решение линейных операторных уравнений дифференциального и
интегрального типа приближенными методами, в частности методом Галёркина. Данный
сборник задач не является независимым изданием, рекомендуется использовать его в
сочетании с конспектом лекций по функциональному анализу того же автора.

Табл. 0. Ил. 31. Библиогр: 0 назв.

2
ОГЛАВЛЕНИЕ

Введение………………………………………………………………………………...………………….....4
Модуль I. Теория сжимающих операторов………………………………..…....................................…..7
§ 1. Основные пространства………………………………………………………………………...…....… 7
§ 2. Метрические пространства ……………………………………………………………….…….....….21
§ 3. Сходимость в метрическом пространстве…………………………………………...….……….…...29
§ 4. Сжимающие операторы и метод простых итераций………………………………...…..……….….37

Модуль II. Теория рядов Фурье в гильбертовом пространстве…………………………….....…....54


§ 5. Линейные пространства, норма и скалярное произведение………………………….…….....…….54
§ 6. Ортогональные системы и базисы в гильбертовом пространстве…………………..................…...69
§ 7. Ряды Фурье и задача аппроксимации……..…………………………….......................................…..80

Модуль III. Теория линейных операторов……………………………..……………….....…...............93


§ 8. Линейный оператор, построение обратного оператора……………………………….………...…..93
§ 9. Собственные числа и собственные функции линейного оператора.….…………….………...…..103
§ 10. Непрерывный и непрерывно обратимый линейный оператор………………...…….……...........116
§ 11. Оптимизация функционала…..………………………………………...………..…………...…......134
§ 12. Метод Галёркина и метод наименьших квадратов……………………..……………………........149

3
ВВЕДЕНИЕ

Предметом изучения функционального анализа являются в основном пространства функций


и их отображения, откуда и происходит название дисциплины. Функциональный анализ как
самостоятельный раздел математики сложился в начале 20 века в результате обобщения
конструкций математического анализа, линейной алгебры и геометрии. С тех пор его идеи и
методы проникают во все области математики, физики и в прикладные науки на правах
мощной обобщающей теории и удобного инструмента исследования конкретных задач.

Для студента технического вуза этот курс ставит две главные цели. Первая заключается в
освоении языка функционального анализа, который широко используется в современном
математическом моделировании. Вторая цель состоит в уяснении прикладной роли
функционального анализа, которая сводится к аналитическому обоснованию эффективной
работы численных методов.

Предлагаемый сборник задач является частью учебного комплекса, включающего также


конспект лекций. Комплекс может быть использован в высшем профессиональном
образовании для направлений подготовки 231300 «Прикладная математика», 230100
«Информатика и вычислительная техника», 010400 «Прикладная математика и
информатика», 010500 «Математическое обеспечение и администрирование
информационных систем», 010800 «Механика и математическое моделирование», 010900
«Прикладные математика и физика», 010300 «Фундаментальная информатика и
информационные технологии». Он предназначен для методического обеспечения вводного
курса функционального анализа, рассчитанного на небольшое количество аудиторных часов
(51 – 102) и средний уровень базовой математической подготовки студентов технических
вузов.

В данном учебном комплексе проведена значительная адаптация классического курса


функционального анализа к специфике профессиональной подготовки математика-инженера,
математика-программиста. При разработке комплекса были поставлены и решены
следующие задачи. Во-первых, адаптация материала к уровню подготовки и аналитических
способностей студентов. Во-вторых, модернизация курса под использование электронных
вычислительных средств (что отражено в первую очередь в сборнике задач). В-третьих,
культивирование прикладной составляющей дисциплины, которое осуществляется за счет
сочетания функционального анализа и вычислительной математики: реализована идея
довести абстрактный теоретический факт до числа.

Наиболее оригинальной частью комплекса является предлагаемый сборник задач, опишем


некоторые его особенности. Сборник включает 58 заданий, 20 вариантов условия в каждом,
все задания снабжены образцами решения либо указаниями к решению. Большинство задач
являются результатом авторской методической разработки. Представлены задания,
принадлежащие трем традиционным модулям функционального анализа: теории
сжимающих операторов, теории рядов Фурье в гильбертовом пространстве и теории
линейных операторов. Преобладают задания вычислительного характера, что соответствует
прикладной ориентации курса. Ресурсы абстракции, по природе присущие функциональному
анализу, использованы для взгляда сверху на вычислительные задачи с разнообразным
конкретным содержанием. В этом заключается отличие данного пособия от большинства
существующих задачников, где практикуется уход от конкретного содержания к
абстрактным схемам и от вычислений к упражнениям на доказательство.

Все задачи можно разделить на два типа.

4
К первому типу относится большое количество задач, которые можно выполнить без
привлечения электронных средств вычисления. Имеются как простейшие, одношаговые
задачи, решение которых сводится к грамотному использованию формулы (например,
вычисление нормы данной функции в данном пространстве), так и задания, предполагающие
более сложный анализ (например, исследование сходимости конкретной последовательности
в данном пространстве, оценка нормы линейного оператора или построение обратного
оператора). Автор выражает благодарность профессорам Белорусского государственного
университета, чей лабораторный практикум существенно использовался при разработке
некоторых заданий этого типа (Антоневич А. Б., Функциональный анализ и интегральные
уравнения: лабораторный практикум / А. Б. Антоневич, Е. И. Ваткина, М. Х. Мазель. [и др.];
под ред. А. Б. Антоневича, Я. В. Радыно. – Минск, 2003. – 179 с.).

Ко второму типу относятся задания, заведомо рассчитанные на численную реализацию в


математических пакетах. Образцы решения выполнены в пакете Maple. Задачи такого типа
предполагают как алгоритмизацию численного метода, так и обоснование его эффективной
работы средствами функционального анализа: например, проверку условий сходимости,
анализ факторов, влияющих на скорость сходимости. Несколько таких заданий завершают
каждый из изучаемых модулей.

Так, в первом модуле, посвященном теории сжимающих операторов, имеется широкая


подборка уравнений (см. §4), для которых следует применить принцип сжимающих
операторов и в одном из математических пакетов найти приближенное решение методом
простых итераций. Представлены числовые уравнения, системы линейных алгебраических
уравнений, нелинейные функциональные уравнения общего вида, интегральные уравнения
Фредгольма, задача Коши для линейного дифференциального уравнения, сводящаяся к
интегральному уравнению Вольтерры. Особое внимание уделяется грамотному
использованию априорной и апостериорной оценок числа итераций.

Второй модуль, посвященный теории рядов Фурье в гильбертовом пространстве,


завершается задачами на аппроксимацию функции частичной суммой ряда Фурье по
тригонометрической или по одной из полиномиальных систем (многочлены Лежандра,
Чебышёва, Лаггера, Эрмита) с реализацией в одном из математических пакетов (см. §7).
Представлены такие виды заданий: найти многочлен наилучшего приближения,
аппроксимировать функцию частичной суммой ряда Фурье по указанной ортогональной
системе, сравнить точность тригонометрической и полиномиальной аппроксимаций,
сравнить качество аппроксимаций, выполненных при помощи ряда Фурье и ряда Тейлора,
восстановить функцию по ее коэффициентам Фурье. Особое внимание уделено графической
иллюстрации происходящего.

Третий модуль нацелен на практическое освоение теории линейных операторов и


захватывает смежные вопросы оптимизации функционалов. Возможности инструментария,
который предоставляет теория линейных операторов, продемонстрированы как на
классических примерах (интегральном операторе Фредгольма и дифференциальном
операторе Штурма – Лиувилля), так и на линейных операторах произвольного вида. В этом
модуле имеются следующие типы расчетных заданий с реализацией в математических
пакетах: решение уравнения в виде ряда Фурье по собственным функциям
дифференциального или интегрального оператора (см. §9, задачи 46, 47), решение
интегрального уравнения методом замены ядра на вырожденное (см. §10, задача 51),
приближенная оптимизация функционала методом Ритца (см. §11, задача 55). Конечной
точкой сюжетного развития выбраны такие методы приближенного решения линейных
операторных уравнений, как метод наименьших квадратов и метод Галёркина (см. §12). На
первый план выделены вопросы сходимости приближенных методов, проверка точности

5
приближенного решения, графическая интерпретация. Особое внимание уделено переходу от
частной формулировки задачи к постановке в абстрактной операторной форме и наоборот.

Задачи, представленные в сборнике, предполагают, что читатель владеет базовыми знаниями


в области математического анализа, линейной алгебры и обыкновенных дифференциальных
уравнений, а также элементарными навыками программирования в одном из математических
пакетов.

Предлагаемый сборник задач не является независимым учебным изданием, рекомендуется


его использовать в сочетании с конспектом лекций. Каждое задание сборника
сопровождается указанием на определенные места в конспекте лекций, содержащие
теоретическую справку.

Разработка учебного комплекса основана на опыте преподавания функционального анализа


студентам специальностей «Прикладная математика», «Прикладная математика и
информатика» Санкт-Петербургского государственного архитектурно-строительного
университета (СПбГАСУ). Автор благодарен студентам СПбГАСУ Алине Шиминой и
Станиславу Ткачеву за помощь в подготовке пособий, профессору МГУ Анатолию
Григорьевичу Яголе и профессору СПбГУ Нине Михайловне Ивочкиной за ценные
замечания и советы.

6
Модуль I. ТЕОРИЯ СЖИМАЮЩИХ ОПЕРАТОРОВ

§ 1. Основные пространства

1. Построить график функции x  xt . По графику определить, принадлежит ли


функция пространствам непрерывных функций С a;b, Cc; d  . (СР1)

 1 t 2 , 1  t  1

2, t  1
1. xt    , a; b  0;2, c; d    2;0
ln t , t  1
t  1, t  1

 π π
t  , t  
 4 4
 π π
2. xt   tg t ,   t  , a; b  0; π, c; d    2;1
 4 4
cos t  π , t 
 π
  4  4

 πt
cos , t  1
3. xt    2 , a; b  0;2, c; d    2;0

 t  1, t  1

 1
 t  2 , t   ;2   2;0 
4. xt    , a; b  0;2, c; d    1;1
, t  0;2  2; 
1

t  2


 9t , 0  t  3
2


5. xt     t , t  0 , a; b  1;3, c; d    1;1
 1
 t  3 , t  3

 π
 sin t , t  2

6. xt   1, t 
π
, a; b   π; π, c; d    π ; 3π 
 2  2 2
 π ,t π
 2t  π 2

 t
e , t   ;0  2; 

7. xt   1  2t , 0  t  1 , a; b   1;1, c; d   0;2
 1
 t  2 , 1  t  2

7
arctgt , t  1

8. xt    t 2 ,  1  t  1 , a; b   2;0, c; d   0;2
t  2, t  1

 2
 t  3 , t   ;3   3;1
9. xt    , a; b   2;2, c; d   0;4
, t  1;3  3; 
1

3  t

 ln t , t  0

10. xt    t 2 ,  2  t  0 , a; b  0;1, c; d    3;0
 t  42 , t  2

log 2 t  2, t  2

11. xt    πt , a; b   3;0, c; d   0;3
2 sin , t  2
 4

1
t , t  0

12. xt   2t  1, 0  t  3 , a; b  0;5, c; d    1;1
 t 2 1
10  ,t 3
 2

1  2t , t  2

13. xt    t 3 ,  2  t  0 , a; b   4;1, c; d    1;1
arctgt , t  0

log 1 1  t , t  1
 2
14. xt   1  t , 1  t  3 , a; b  0;1, c; d   1;6
t 2  11, t  3



 1  t , t  1
2


15. xt   ln t , t  1 , a; b   10;0, c; d   0;10
 1
 t  1 , t  1

 1
 t 2 , t   1;0  0;1

16. xt    1, t  0 , a; b   3;3, c; d   0;2
t 2  2t , t  1
 2
 t , t  1

8

 t , t 1

17. xt   1, t  1 , a; b   2;1, c; d   0;2
 1
1  t , t  1

 t , t  0

 1, t  0
18. xt   t 2  2,  2  t  0 , a; b   2;2, c; d    2;1
 1
 , t  2
t  2


 4 t2 , t  2
 1
19. xt    , t  2;4  4;  , a; b   2;2, c; d   0;4
 t  4
 1 , t   ;4   4;2
 t  4

1
 t 2 , t   1;0  0;1

20. xt   0, t  0 , a; b   2;2, c; d    1 ; 3 
 t , t   ;1  1;  2 2

Указание к решению

Для решения следует использовать определение пространства непрерывных функций C a; b,
сформулированное в §1 конспекта лекций.

2. Определить аналитическим способом (без построения графика), принадлежит ли


функция x  xt  пространствам непрерывных функций C a;b, Cc; d  . (СР1)

1. xt   
 
t ln t  t 2 , t  0;1
, a; b   1; 1 , c; d    1 ;2
0, t  0;1  2 2 

1  cos t

2. xt    sin 2 t
, t  πk , k  Z
, a; b   π ; π , c; d   0;2π
1 2 , t  πk , k  Z  2 2

 t
arctg 1
3. xt    1 t 2
,t
, a; b  0;2, c; d    2;0

π 2 , t  1

9

t ln t , t  0

4. xt   1, t  0 , a; b   2;2, c; d   0;3
 arctgt 
 t ,t 0

 3t  t

5. xt    e 2t  1 , t  0 , a; b   1;1, c; d   0;1

1, t  0

 21
 t 1
6. xt   e , t  1 , a; b   1 2 ;1 2, c; d    2;2

0, t  1

 cos t  1

7. xt    sin t
, t  πk , k  Z
, a; b   π; π, c; d    π ; 3π 
0, t  πk , k  Z 2 2 


 
cos e , t  0
1t


8. xt   1, t  0 , a; b   1;1, c; d   0;3
 t
 e t  cos t , t  0

t  1
 , t  1;2
9. xt    ln t , a; b  0;2, c; d   1;4
1, t  1;2

cos πt , t  1
 21
10. xt   e t 1 , t   1;1, a; b  0;2, c; d    2;0
sin πt , t  1


  1 
cos e t , t  0
11. xt     
 
, a; b  0;2, c; d    1;1
1, t  0

 t t
 ,t 0
12. xt    3 1  t  1 , a; b   1;1, c; d   0;1
6, t  0

 cos t
 ,t π 2
13. xt    t  π 2 , a; b  0; π 2, c; d   0; π
sint  π , t  π 2

10
 1
arctg ,t 1
14. xt    t 1 , a; b  1;4, c; d   0;2
π 2, t  1

 1 t
e , t  0

15. xt   6, t  0 , a; b   1;1, c; d    2;0
 t3
 ,t 0
 t  sin t


t ln t , t  0

16. xt   0, t  0 , a; b  0;1, c; d    1;1
 t
 ln t 2  1 , t  0
 

17. xt   
 
t ln t 2  2t , t  0;2
, a; b  1;3, c; d    2;2
sin πt , t  0;2


, t   1;1
1
arctg 2
18. xt    t 1 , a; b  0;2, c; d    2;0
arcsin t , t   1;1

t  t

19. xt    e t  1 , t  0 , a; b   1;0, c; d    2;2
2, t  0

  1 
sin e t 1 , t  1
20. xt    
 
, a; b  0;2, c; d   0;1
0, t  1

Образец решения
 1
 ln t , t  0;1

xt   0, t  0 , a; b   2;2, c; d   1;3
 sin t 2
 , t  0;1
 t
Используем определение пространства непрерывных функций C a; b, сформулированное в
§1 конспекта лекций:
x  Ca; b  xt  определена в каждой точке отрезка a; b ,
lim xt   xt 0  для любой точки t 0  a; b,
t t0

lim xt   xa , lim xt   xb .


t a  0 t b  0

11
Заметим, что функция xt  , предложенная условием задачи, определена во всех точках
числовой прямой. К тому же это кусочно-заданная функция, причем две ее основные
sin t 2
непрерывны на своих промежутках задания. Поэтому xt  может
1
компоненты и
ln t t
иметь разрывы только в точках t  0 , t  1 .

Исследуем предельное поведение функции xt  в точке t  0 :


sin t 2
lim xt   lim  0;
t 00 t 00 t
lim xt   lim
1
 0;
t 0  0 t 0  0 ln t

x0  0.
Поскольку lim xt   lim xt   x0 , то функция xt  непрерывна в точке t  0 .
t 0  0 t 0  0

Исследуем предельное поведение функции xt  в точке t  1 :

lim xt   lim


1
 ;
t 1 0 t 1 0 ln t

sin t 2
lim xt   lim  sin1;
t 1 0 t 1 0 t
x1  sin1.
Поскольку левосторонний предел бесконечный, то функция xt  имеет разрыв в точке t  1 .
Значит, x  C 2;2. Однако правосторонний предел в точке t  1 конечный и совпадает со
значением функции в этой точке. Поэтому функция xt  непрерывна на отрезке 1;3 .
Отсюда, x  C1;3.

3. Определить, принадлежит ли функция x  xt  пространствам C 1;1 , C 1  1;1,


C 2  1;1 . (СР1)

xt   arccos
t t , t  0
1. 10. xt   
2 sin t , t  0
2. xt   t  3  1 1  t 2 , t  0
11. xt   
e 2t , t  0
3. xt    cos t , t  0
2t  1, t  0 12. xt   1  1  t 2
t , t  0
2
4. xt    13.
sin t , t  0
xt   
t , t  0 arctgt , t  0
5. xt   1  t 2 14. xt   e
t

6. xt   arcsin t 15. xt   cos t


7. xt   2t  t
2
t 2 , t  0
xt    3
xt   ln t  1
16.
8. t , t  0
9. xt   t 2  4 17. xt   tg t 

12
1  t , t  0 20. xt   2 sin t
18. xt    t
e , t  0
19. xt   t 3

Образец решения
xt   3 t
Решение этой задачи опирается на определения пространств непрерывных и непрерывно
дифференцируемых функций, сформулированные в §1 конспекта лекций.
Проиллюстрируем рассуждения графически. На рисунке 1 изображен график функции
xt   3 t . Функция непрерывна на всей числовой прямой и, в частности, на отрезке  1;1 .
Значит, x  C 1;1 .

xt 

Рис. 1
На рисунке 2 представлен график производной x t  
1
. Производная имеет разрыв в
33 t 2
точке t  0 , значит, функция x не является непрерывно дифференцируемой на отрезке
 1;1 . Отсюда x C1  1;1 .

x t 

Рис. 2

Поскольку C 2  1;1  C 1  1;1 , то x C 2  1;1 .

13
4. Проверить, принадлежит ли функция x  xt  пространству L1 a; b . На основании
этого сделать вывод, может ли функция x принадлежать пространству L2 a; b . (СР1)

xt   a; b   1;1 xt   a; b  0;1


t 1
1. , 11. ,
1 t 2 t 1 2

2. xt  
ln t
, a; b   0;1 12. xt  
1
, a; b   0; 1 
t t ln 3 t  e

3. xt  
1
, a; b   1;2 13. xt   tg t  , a;b    0; π 
t ln t  2
xt   , a; b   1;2 xt   , a; b    1;1
t t
4. 14.
t 1 t 1
2 2

t 1
5. xt   , a; b   0;1 15. xt  
1
, a; b   1; e 
3 5
t t ln 2 t
xt   , a; b   0;1
1 ln t
t 16.
xt   , a; b   0;1
e t
6.
t2
xt   , a; b   1; e 
1
 1 17.
7. xt   , a; b    0; 
1
t ln t
 e
2
t ln t  π
8. xt   ln t , a; b   0;1 18. xt   ctgt  , a;b    0; 
 2
 π
9. xt   , a;b    0; 
1  1
xt   3 , a; b    0; 
1
sin t  2 19.
t  ln t  e
10. xt   , a; b   0;1
t 2t
xt   , a; b   0; ln 2
e
1 t 20.
et  1

Образец решения
t 3
, a; b    1;1
xt  
t 1
Решение этой задачи опирается на определение пространств Лебега, сформулированное в §1
конспекта лекций.
Проверим, принадлежит ли функция x пространству L1  1;1 :
t 3
1 1 1 1 1
xt  dt  t  13
2dt 2 1 16 2

1 t 1

1 1
dt  
1 t  1
t  1dt  
1

31
 4 t 1 
3
 .

Таким образом, x  L1  1;1 , а поскольку L2  1;1  L1  1;1 , то функция x может


принадлежать пространству L2  1;1 .

5. Определить, каким из перечисленных пространств принадлежит функция x  xt  :


C 0;1 , L1 0;1 , L2 0;1, L 0;1 , L1 1; , L2 1; , L 1;.
(СР1)

14
t2
1. a) xt   b) xt   t
t
2. a) xt   b) xt   t 2 e t
1
3
t
3. a) xt   sin t b) xt  
1
1  3t 2
4. a) xt   b) xt   ln t
1
t3
5. a) xt   b) xt   t 2
1
3
2t  1 2

6. a) xt   e t b) xt  
1
3
t  12
7. a) xt   b) xt  
1 1
t 1 5
t4
8. a) xt   b) xt   t
1
t 1

9. a) xt   b) xt   t  1e t


1
t2
t 1
10. a) xt   b) xt  
1
3
t t
11. a) xt   e t b) xt  
1
4
t3
12. a) xt   b) xt  
1 1
t2 3 t 1

13. a) xt   b) xt  


1 t
2t  12 t2  2
14. a) xt   1 b) xt  
1
1  2t
15. a) xt   b) xt   cos t
1
3
3t  2 2

16. a) xt   b) xt   e 2t


1
t 1
3

xt   t b) xt  
t 1
17. a)
e t
xt   b) xt   lnt  1
1
18. a)
t 1
xt   b) xt  
t 1
19. a)
t 2 1 3t  1

xt   b) xt  
1 1
20. a)
2t 2t  14

15
Образец решения
xt  
1
t
Решение этой задачи опирается на определения соответствующих функциональных
пространств, сформулированные в §1 конспекта лекций.
Функция xt  не определена в точке t  0 , поэтому x  C 0;1 .
Проверим принадлежность пространствам Лебега на промежутке 0;1 :
1 1

 xt  dt      x  L1 0;1.
dt
0 0
t
Поскольку L 0;1  L 0;1  L 0;1 , то x  L2 0;1, x  L 0;1 .
1 2

Проверим принадлежность пространствам Лебега на промежутке 1; :


 
xt  dt     x  L1 1; ;
dt

1

1
t
 

 x t dt   1  x  L2 1; .
dt
t
2
2
1 1

При t  1 функция xt  ограничена: xt   1 . Поэтому x  L 1 :  .

6. Привести пример ненулевой функции x  xt  , удовлетворяющей одновременно


двум условиям (пояснить пример вычислениями). (запас)

1. x  L1  3;1, x  L2  3;1 11. x  L1 1;2, x  L1 2;


2. x  L2  ;0, x  L1  ;0 12. x  L2 0;1, x  L2  1;1
3. x  L3  1;1, x  L3  1;4 13. x  L1 1;, x  L1 0;
4. x  L2 1;, x  L2 0; 14. x  L1  ;0, x  L1 0;
5. x  L3 2;4, x  L4 2;4 15. x  L2 0;1, x  L2 1;
6. x  L2 0;1, x  L2 1; 16. x  L1 0;, x  L1  ;0
7. x  L3 0;, x  L2 0; 17. x  L3  1;1, x  L3 1;
8. x  L2 1;2, x  L3 1;2 18. x  L5 0;, x  L4 0;
9. x  L1  1;1, x  L1 1; 19. x  L2  2;2, x  L3  2;2
10. x  L4 0;10, x  L1 0; 20. x  L1  1;1, x  L1 0;

Указание к решению

Решение этой задачи опирается на определение пространств Лебега, сформулированное в §1


конспекта лекций.

16
7. Определить, принадлежит ли бесконечная числовая последовательность x
пространствам l 1 , l 2 , l 3 , l 4 , l  . (СР1)


 1 
1. a) x   
 k  sin k  k 1
4 2


 πk 
b) x  cos 
 4 k 1

 ln k 
2. a) x   
 k  k 1
1 2 3 4 
b) x   , , , ,...
 4 6 8 10 

 3π 
3. a) x  sin 
 k  k 1
 2 4 8 16 32 
b) x   , , , , ,...
 1 2 6 24 120 
 1 2 3 4 
4. a) x   0, , , , ,...
 4 9 16 25 
b) x  arctgk  1k 1


 sin k  k 
5. a) x   
 k  k 1

 k2 
b) x   
 k  1! k 1
 4 16 64 256 1024 
6. a) x    , , , , ,...
 1 2 6 24 120 

 k  13 k 
b) x   

 k k 2  1   k 1

 πk 
7. a) x  sin 
 6  k 1

 k 1 
b) x   
 k  k  k 1
4 5

 3 4 5 6 
8. a) x   2, , , , ,...
 2 6 24 120 

 2π 
b) x  sin 3 
 k  1  k 1
 3 4 5 6 
9. a) x  1, , , , ,...
 5 10 17 26 

 π
b) x  cos 
 k  k 1

17

 1 
10. a) x   
 k ln k  k  2
 2 5 10 17 
b) x   , , , ,...
 1 4 9 16 

 arctgk 
11. a) x   3 
 k  k 1

 2 k  1
b) x   k 
 3  k 1

 4 
12. a) x  4 
 k  1  k 1
 1 1 1 1 
b) x  1, , , , ,...
 3 7 15 31 
 2 3 4 5 
13. a) x   ln , ln , ln , ln ,...
 1 2 3 4 

 k 3  1
b) x   
 k!  k 1
 1 1 1 1 
14. a) x    tg , tg ,tg , tg ,...
 2 3 4 5 
 1 3 7 15 31 
b) x   , , , , ,...
 2 4 8 16 32 

 1 k 
k

15. a) x   2 
  k 1

 ln k 
b) x   
 k  k 1
 1 1 1 1 
16. a) x  1, , , , ,...
 2 4 8 16 

 ln k 
b) x   
 k  k 1

 e k  e k 
17. a) x   k 
 2  k 1

 k 1 
b) x  3 2 
 k  1  k 1

 1 1 
18. a) x  cos sin 3 
 k k  k 1
 1 2 6 24 120 
b) x   , , , , ,...
 2 4 8 16 32 
 5 25 125 625 3125 
19. a) x   , , , , ,...
 1 2 6 24 120 

18

 k 1 
b) x   
 k k  2  k 1
3 4 5 6 7 
20. a) x   , , , , ,...
 2 4 6 8 10 

 1 
b) x   
 k ln k  k 2

Указание к решению

Решение этой задачи опирается на определения пространств суммируемых и ограниченных


числовых последовательностей, сформулированные в §1 конспекта лекций.

Образец №1 решения

1 
x 
 n  n 1
Просуммируем члены последовательности, получаем расходящийся гармонический ряд:
 
1

n 1
xn      x  l 1.
n 1 n
Просуммируем члены последовательности с квадратами, получаем сходящийся ряд из
обратных квадратов:
 
1

n 1
x 2
n  
n 1 n 2
   x l 2.
 3 4 
Поскольку l  l  l  l , то x  l , l , l .
2 3 4

Образец №2 решения
x  1, 2, 3, 4,..., 99, 0, 0, 0,...
Отметим сразу, что последовательность x ограничена:
xk  99, k  1,2,3...  x  l  .
Последовательность x содержит лишь конечное число ненулевых членов, поэтому при
любом натуральном показателе p имеем сумму конечного числа слагаемых:
 99

  k p    x l p.
p
xk
k 1 k 1
Таким образом, последовательность x принадлежит всем указанным в задаче
пространствам.

Образец №3 решения
2 3 4 5 
x   ,  , ,  ,...
1 2 3 4 
Определим общий член последовательности:
n 1 n  1
x n   1 , n  1,2,3,...
n
Просуммируем члены последовательности с произвольным показателем p :

19
 n 1
  p

     .
p
 xn
n 1 n 1  n 
Ряд расходится, потому что не выполнен необходимый признак сходимости:
 n  1
p

lim   1  0.
n 
 n 
Однако последовательность x ограничена:
xn  2, n  1,2,3,...
Таким образом, x  l 1 , l 2 , l 3 , l 4 , но x  l  .

8. Указать наименьшее целое число p , при котором бесконечная числовая


последовательность x принадлежит пространству l p . (СР1)


 k k
1. x  ln 
 k  k 1

 1 
2. x  1  cos 8 
 k  k 1

 1 
3. x  3 
 1  2 k  k 1

 1 
4. x   
 k ln k  k  2
 π π π π 
5. x   sin 4 , sin 4 , sin 4 , sin 4 ,...
 2 3 4 5 

 ln k 
6. x   
 k  k 1

 1 1 
7. x   6  6 
 k k  1 k 1

 3 k  1
8. x   
 k  1 k 1

 1 
9. x   
 k  sin k  k 1
4 2

 1 2 4 3 4 4 
10. x   4 ,4 , , ,...
 23 3 4 4 5 5 6 
 ln 2 ln 3 ln 4 
11. x   0, , , ,...
 2 3 4 

 k 1  k 1
12. x   
 k  k 1

20

 1 
13. x  3 k sin 
 k  1  k 1
 arctgk 

14. x   4 
 k  1  k 2

 1
15. x  k k sin 2 
 k  k 1

4 k  6 k 
16. x   3 
 k  k 1

17. x  2  1, 3  2 , 4  3 ,... 
 1 1 1 1 
18. x   3 , 3 , 3 , 3 ,...
 1 2 2 3 3 4 4 5 
 3 4 5 6 
19. x   ln , ln , ln , ln ,...
 1 2 3 4 

 1 1 
20. x  5  
 k k  1  k 1

Образец решения

 1 
x 
 k  1  k 1
5 2

Решение этой задачи опирается на определение пространств суммируемых числовых


последовательностей l p , сформулированное в §1 конспекта лекций. Прежде всего заметим,
что данная последовательность знакоположительная, поэтому в рассуждениях опускаем знак
модуля:

x l p  x
k 1
p
k  .

Сходимость знакоположительного ряда устойчива относительно замены общего члена ряда


на эквивалентное выражение:
p
 1  1
x   p
k
 ~ 2 p 5 при k  .

 k 1  k
5 2

Используем условие сходимости обобщенного гармонического ряда:



1 2p

k 1 k
2p 5
 
5
 1.

5
Значит, x  l p при любом p  . Таким образом, p  3 – это наименьшее целое число p ,
2
при котором последовательность x принадлежит пространству l p .

21
§ 2. Метрические пространства

9. Найти расстояния между числовыми векторами x и y в пространстве R n с тремя


разными метриками ρ1 , ρ 2 , ρ  . В какой метрике расстояние наибольшее, в какой
наименьшее? (запас)

π π  π 
1. n  3 , x   ,0,  , y    , π, π 
2 4  3 
2 1   2 
2. n  5 , x   ,0, ,0,2  , y   0,0,2, ,2 
3 2   3 
3. n  4 , x  3,2, π,1 , y  5,1,2π,0
4. n  5 , x  3,3,1,0,2 , y  0,5,4,5,2
3 1 3   4
5. n  3 , x   , ,  , y    3,2, 
 2 5 10   5
6. n  6 , x   1,1,3,4,2,1 , y  2,1,0,0,1,2
 
7. n  4 , x   2 , 3 ,0,0 , y   2,1, 2 ,0  
8. n  3 , x   10 ,  
2 ,2 , y  2 ,0, 8 
9. n  6 , x  1,1,2,0,0,1 , y   2,1,1,0,2,3
 1 1 2   2 1 
10. n  3 , x    , ,  , y    1, , 
 2 5 2  5 2
11. n  7 , x  1,3,1,5,0,1,1 , y  2,3,1,0,4,2,1
12. n  6 , x  1,1,2,0,0,1 , y   2,1,1,0,2,3
 3 5 1
13. n  4 , x  1,1,2,1 , y    , ,0, 
 2 2 2
 5   2 2
14. n  3 , x    1, ,1 , y    2, , 
 4   4 4 
 
15. n  4 , x  3 , 3 , 2 , 2 , y  0, 2 ,0, 3  
 3π π π π 
16. n  3 , x   ,2π,  , y   , ,2 π 
 2 4 6 2 
17. n  7 , x  0,0,7,5,1,3,0 , y  1,2,1,3,1,5,1
3 1  1 5 
18. n  5 , x   ,3,1, ,0  , y   ,1,4, ,1
2 2  2 2 
1 2  1 2 
19. n  3 , x   ,1,0  , y   , 2 ,1
 2   2 

20. n  6 , x  0,0,0,2,2,2 , y  2 , 2 , 2 ,1,1,1 

Указание к решению

При решении этой задачи следует использовать формулы для вычисления расстояний ρ1 , ρ 2 ,
ρ  , которые приведены в конспекте лекций, §2, пункт 2.2.

22
10. Найти расстояние между функциями x  xt  и y  yt  в указанном пространстве.
(СР1)

1. a) xt   3 , yt   3 2t  2 4  t  , C 4;2


2

b) xt   ln t , y t   3 , L2 0;1
1
t

2. a) xt   t  8 , y t   4 t  2 , C 2;7


b) xt   t , yt   3  t 2 , L2  1;1

 
3. a) xt   t 2  2t ln t , y t  
3 2 1 
t  4t , C  ;3
2 2 
 π 3π 
b) xt   sin t , y t  
1
, L2  ; 
sin t 4 4 

4. a) xt   yt   15  2t  t 2 , C2;4


16
,
t 1
 1
b) xt   y t  
1 1
, , L2  0; 
1 t 1 t  2

 π π
5. a) xt   , y t   sin t cos t , C  ; 
t
2  2 2
b) xt   t , yt   cos t , L 0; π 
2

t2
6. a) xt   y t   C 3;1
8
8, ,
t 2
 π
b) xt   sin 2t , yt   cos 2t , L2  0; 
 2

π 2 t 1
7. a) xt  
1 2
2
 
t  1 arctgt  , y t  
8
t 
2
, C 1;1

b) xt   1  t 2 , yt   t , L2  1;1

1 2 1 π 2 1
8. a) xt    t   arcsin t , yt   t  t 1  t ,
2
C 1;1
2 2 12 4
b) xt   t , yt   , L2 0;1
1
1 t 2

2 
9. a) xt   8t , y t   15 
4
, C  ;2
t2 3 
b) xt   sin t , yt   cos t , L2  π; π 

10. a) xt   t 5  5t 3 , yt   5t 4  1 , C  1;2

23
b) xt   e t , yt   e t , L2 0;1

 3
11. a) xt   2t 2  5 , yt   t 4 , C 0; 
 2
b) xt   y t   t , L2 1; e
ln t
,
t

12. a) xt   t , yt   e t , C 1;1


b) xt   t , y t   ln t , L2 0;1

 π π
13. a) xt   sin 2t , yt   t , C  ; 
 2 2
b) xt   sin t , y t   sin 2t , L2 0; π 


14. a) xt   t , yt   ln t 2  1 , C 1;3 
b) xt   tet , yt   e t , L2  1;0

15. a) xt   y t   C 4;2


6t 6
, ,
t 3
2
t 3
2

b) xt   t , y t   L2 0;1
1
3
,
t

t2  1
16. a) xt   y t  
8
 2t  5 , , C  1; 
t 2 2  2
t 1 t 1
b) xt   , yt   , L2 2;4
t 1 t 1

17. a) xt   3  t , y t   , C  1;2


4
t  22
b) xt   ln t , y t   2 , L2 0;1

18. a) xt   2 sin t , yt   cos 2t , C0; π

b) xt   , yt   t , L2  1;1


1
4t 2

19. a) xt   9  , yt   t 2  4t  2 , C 1;1


16
t2
b) xt   3 , y t   , L2 0;1
1 t
1 t 2

 π
20. a) xt   tg 2 t , yt   2tgt, C 0; 
 3
b) xt   e 2t , yt   2e1t , L 0;1
2

24
Указание к решению

При решении этой задачи следует использовать формулы для вычисления расстояний в
пространстве непрерывных функций Ca; b и в пространстве квадратично суммируемых
функций L2 a; b , которые приведены в конспекте лекций, §2, пункт 2.2.

Образец решения для задания а)

xt   t , yt   2 cos t , C 0;2π

Вычислим расстояние между функциями x и y в пространстве C 0;2π :


ρ С 0;2 π  x, y   max xt   yt   max t  2 cos t .
t0; 2 π  t0; 2 π 

Найдем наибольшее абсолютное значение функции φt   t  2 cos t на отрезке 0;2π. Как
известно, наибольшее значение непрерывной функции следует искать среди ее значений на
концах отрезка и локальных экстремумов внутри отрезка. Вычисляем φt   1  2 sin t . Из
условия φ' t   0, t  0;2π, находим точки, в которых могут быть локальные экстремумы:
7π 11π
t1  , t2  .
6 6
Сравним абсолютные значения функции φ в точках t1 , t 2 и на концах отрезка:

φt1    3  5.4;
6
11π
φt 2    3  4;
6
φ0  2;
φ2π   2π  2  4.3.
Выбираем среди этих значений наибольшее и получаем расстояние между функциями x и y
в пространстве C 0;2π :

ρ С 0; 2 π  x, y    3  5.4.
6

11. Найти расстояние между бесконечными числовыми последовательностями x и y


в пространстве l 1 . (запас)

 3 3 2 33 3 4   1 3 3 2 33 
1. x   , , , ,... , y   , , , ,...
 
 1! 2! 3! 4!   1! 2! 3! 4! 
 ln1 ln 2 ln 3 ln 4   ln 2 ln 3 ln 4 ln 5 
2. x , , , ,... , y   , , , ,...
 1 2 3 4   2 3 4 5 
 1 1 1 1  1 1 1 1 1 
3. x  1, , , , ,... , y   , , , , ,...
 2 4 8 16   3 6 12 24 48 
 2 4 8 16 32   4 8 16 32 64 
4. x , , , , ,... , y   , , , , ,...
 1 2 6 24 120   1 2 6 24 120 

25
 1 1 1 1 1 1   1 1 1 1 1 1 
5. x  1, , , , , , ,... , y  1,1, , , , , , ,...
 2 4 8 16 32 64   4 4 16 16 64 64 
 ln 2 ln 2 ln 2 ln 2 
2 3 4
 ln 2 ln 2 2 ln 3 2 ln 4 2 
6. x   , , , ,... , y   , , , ,...
 1 2 6 24   3 6 18 72 
2 4 2 4 2   1 1 
7. x   , , , , ,... , y   0, ,0, ,0,...
 3 9 27 81 243   9 81 
2 2 2 2
2 3 4
 1 2 2 2 2 3

8. x   , , , ,... , y   , , , ,...
 1! 2! 3! 4!   1! 2! 3! 4! 
1 1 1   1 1 1 
9. x   ,0, ,0, ,0,... , y   0, ,0, ,0, ,...
 2 8 32   3 9 27 
1 1 1 1 1  1 2 3 4 5 
10. x   , , , , ,... , y   , , , , ,...
 1! 2! 3! 4! 5!   2! 3! 4! 5! 6! 
1 1 1 1 1  1 1 1 1 1 
11. x   , , , , ,... , y   , , , , ,...
 1 2 6 24 120   2 4 12 48 240 
 2 4 8 16 32   2 8 32 
12. x  1, , , , , ,... , y   ,0, ,0, ,0,...
 3 9 27 81 243   1 9 81 
 ln 2 ln 2 2 ln 3 2 ln 4 2   ln 2 ln 2 2 ln 3 2 ln 4 2 
13. x   , , , ,... , y   , , , ,...
 1! 2! 3! 4!   2  1! 2  2! 2  3! 2  4! 
 3 3 3 3 3 3   1 1 1 
14. x   3, 1 , 2 , 3 , 4 , 5 , 6 ,... , y  1,0, 2 ,0, 4 ,0, 6 ,...
 2 2 2 2 2 2   2 2 2 
 2 3 33 4 3 5 3   13 2 3 33 4 3 
15. x   2 , 3 , 4 , 5 ,... , y   1 , 2 , 3 , 4 ,...
2 2 2 2  2 2 2 2 
 ln 1 ln 2 ln 3 ln 4 
2 2 2 2
 ln 2 ln 3 ln 2 4 ln 2 5 
2 2
16. x   , , , ,... , y   , , , ,...
 1 4 9 16   4 9 16 25 
 1 1 1 1 1 1   1 1 1 
17. x  1, , , , , , ,... , y  1,0, ,0. ,0, ,...
 2 4 8 16 32 64   4 16 64 
1 1 1 1 1   1 1 1 1 
18. x   , , , , ,... , y  1, , , , ,...
 2 6 24 120 720   3 12 60 360 
 1 1 1 1 1  1 1 1 1 1 1 
19. x  1, , , , , ,... , y   , , , , , ,...
 3 9 27 81 243   3 3 27 27 243 243 
 12 2 2 32 4 2 5 2   12 2 2 32 4 2 
20. x   1 , 2 , 3 , 4 , 5 ,... , y   0, 1 , 2 , 3 , 4 ,...
2 2 2 2 2   2 2 2 2 

Указание к решению

При решении этой задачи следует использовать формулу для вычисления расстояния в
пространстве суммируемых числовых последовательностей l 1 , которая приведена в
конспекте лекций, §2, пункт 2.2. Вычисление расстояния между последовательностями x и
y в пространстве l 1 сводится к вычислению суммы числового ряда. Сумма числового ряда
может быть найдена непосредственно по определению (как предел последовательности
частичных сумм) либо с использованием известных формул. В данной задаче может

26
понадобиться формула для суммы бесконечной геометрической прогрессии и стандартные
разложения функций (например, экспоненты) в ряд Тейлора.

12. Даны функции x  xt  и y  yt  . Определить, принадлежит ли функция y шару


Br x  в указанном пространстве. (СР1)

1. a) xt   t , yt   e t , r  2, C 1;1


 π
b) xt   sin 2t , yt   cos 2t , r  1, L2  0; 
 2

 π
2. a) xt   tg 2 t , y t   2tgt, r  2, C 0; 
 3
b) xt   y t   t , L2 1; e
ln t
, r  2,
t

3. a) xt   y t   C0;4
t 1 2
, , r ,
t 1 t 1 3
b) xt   t , y t   L2  1;1
1
, r  4,
1 t2

4. a) xt   t 3  6t , yt   3t 2  2 , r  10 , C 1;1


b) xt   3 , yt   t , r  1 , L2 0;1
1
t

t2  1
5. a) xt   y t   ,
8
 2t  5 , r  2, C  1; 
t2 2  2
b) xt   sin t , y t   sin 2t , r  1, L 0; π 
2

6. a) xt   2 t  1 , yt   2  t , r  10 , C1;5


b) xt   te , t
yt   e , t
r  2, L  1;0
2


7. a) xt   t 2  2t ln t ,  y t  
3 2
t  4t , r  2,
1 
C  ;3
2 2 
b) xt   y t   ln t , L2 0;1
1
, r  2,
3
t

8. a) xt   3  t , y t   C  1;2
4
, r  4,
t  22
t 1 t 1
b) xt   , yt   , r  1, L2 2;4
t 1 t 1

9. a) xt   2 sin t , yt   cos 2t , C0; π


5
r ,
2

27
b) xt   ln t , yt   t , r  2, L2 0;1

10. a) xt   yt   15  2t  t 2 , C2;4


16
, r  5,
t 1
b) xt   yt   t , L2  1;1
1
, r  1,
4t 2

t 1
11. a) xt  
1 2
2
  π
t  1 arctgt  , y t   t 2 
8 2
, r  1, C 1;1

b) xt   , y t   3 , r  2 , L2 0;1
t 1
2 1 t

12. a) xt   3 2t  2 8  t  , yt   1 , r  4, C0;6


2

b) xt   e 2t , yt   2e1t , r  3, L2 0;1

13. a) xt   2t 3  7 , yt   6t 2  18t , r  50 , C 2;4


b) xt   ln t , y t   2 , r  3 , L2 0;1

t2
14. a) xt   y t   C 3;1
8
8, , r  1,
t 2
b) xt   1  t 2 , yt   t , r  2, L2  1;1

15. a) xt   9  , yt   t 2  4t  2 , r  2 , C 1;1


16
t2
b) xt   t , yt   cos t , r  4 , L2 0; π 

1 
16. a) xt   8t , y t   15 
4
, r  4, C  ;2
t2 2 
b) xt   t , yt   3  t 2 , r  3, L2  1;1

 π π
17. a) xt   y t   sin t cos t ,
t
, r  1, C  ; 
2  2 2
 π 3π 
b) xt   sin t , y t  
1
, r  1, L2  ; 
sin t 4 4 

18. a) xt   t 5  5t 3 , yt   5t 4  1 , r  8 , C  1;2


b) xt   sin t , yt   cos t , r  4 , L2  π; π 

19. a) xt   2t  5 , yt   t 4 , r  10 , C0;2


b) xt   e t , yt   e t , r  2 , L2 0;1

20. a) xt   t  8 , y t   4 t  2 , r  5, C 2;7


 1
b) xt   y t  
1 1
, , r  1, L2  0; 
1 t 1 t  2
28
Указание к решению

Решение этой задачи опирается на сведения, которые предоставляет §2 конспекта лекций:


определение шара в метрическом пространстве, формулы для вычисления расстояния в
пространстве непрерывных функций Ca; b и в пространстве квадратично суммируемых
функций L2 a; b .

§ 3. Сходимость в метрическом пространстве

13. Выписать несколько членов последовательности x n  , n  1, 2, 3, ... . Установить,


является ли последовательность x n  фундаментальной и сходящейся в указанном
пространстве. (запас)

 1 1 1 1 1 1 1 
1. a) l 3 , x n   1  ,  ,  ,...,  ,0,0,...
 n 2 n 3 n n n 
 n 1 n  2 n  3 n  4 
b) l 1 , x n    , , , ,...
 1 4 9 16 

 1 1 1 1 1 1 1 
2. a) l 1 , x n   1  ,  ,  ,...,  ,0,0,...
 n 2 n 3 n n n 
 1 1 1 1 
b) l 2 , x n    , , , ,...
 n  1 2n  2  3n  3 4n  4 

 
n 
 n n n 
3. a) l ,1
x  , ,..., ,0,0,...
 n 
1n 1  
n 1 
 n 
 n 1 n  2 n  3 n  4 
b) l 4 , x n    , , , ,...
 n 2n 3n 4n 

 n 1 n  2 n  3 n  4 
4. a) l  , x n    , , , ,...
 n n 1 n  2 n  3 
 1 1 1 1 
b) l 1 , x n    , , , ,... 

 n  1 n  12
n  13
n  1 4

 1 1 1 
5. a) l 1 , x n    n , n1 , n2 ,...
 2 n! 2 n  1! 2 n  2! 
 
b) l 5 , x n   1, 1, 1,..., 1, 0, 0,...
   
 n 

29
 
n 
 1 1 1 
6. a) l ,1
x   0 ,
0,...,
 0,
n n , ,..., ,0,0,... 
 n  n 
 n 
 n  1 2n  1 3n  1 4n  1 
b) l 4 , x n    , , , ,...
 n 2n 3n 4n 

 
n 
 1 1 1 
7. a) l ,1
x   0 ,
0
,...,
 0,
 n2 n2, ,..., ,0,0 ,... 
 n   n2 
 n 
 n 1 n  2 n  3 n  4 
b) l 2 , x n    , , , ,...
 1 4 9 16 

 1 1 1 
8. a) l 2 , x n   1, , 2 ,..., n ,0,0,...
 3 3 3 
 1 1 1 1 1 1 1 
b) l 4 , x n   1  ,  ,  ,...,  ,0,0,...
 n 2 n 3 n n n 

 1 2 3 n 
9. a) l 1 , x n    λ , λ , λ ,..., λ ,0,0,... , λ  2
n n n n 
 n n 1 n  2 n  3 
b) l  , x n    , , , ,...
 n  1 n  2 n  3 n  4 

 1 1 1 1 
10. a) l 2 , x n   1, , 2 , 3 , 4 ,...
 n n n n 
 
b) l  , x n   1, 1, 1,..., 1, 0, 0,...
   
 n 

 n  1 n  2 2 n  32 n  4 2 
11. a) l 2 , x n    , 3 , 3 , 3 ,...
 1 2 3 4 
 1 1 1 1 
b) l 3 , x n    , , , ,...
 n n 1 n  2 n  3 

 1 1 1 1 1 1 1 
12. a) l 2 , x n   1  ,  ,  ,...,  ,0,0,...
 n 2 n 3 n n n 
 
b) l 6 , x n   1, 1, 1,..., 1, 0, 0,...
   
 n 

 1 1 1 1 
13. a) l 3 , x n    n , n 1 , n  2 , n 3 ,...
2 2 2 2 

30
 1 1 1 
b) l  , x n   1, , ,..., , 0, 0,...
 2 3 n 

 2 4 6 2n 
14. a) l 1 , x n    4 , 4 , 4 ,..., 4 ,0,0,...
n n n n 
b) l  , x  n, n  1, n  2,...,2,1,0,0,...
n 

 
 1 1 1 1 
n  
15. a) l 2 , x  , , ,..., , 0, 0, 0,...
 nnn n 
 
 n 
 1 1 1 1 
b) l 4 , x n    , , , ,...
 n  1 2 n  2 3 n  3 4 n  4 

n   2 n 2 n1 2 n2 2 n 3 
16. a) l 1 , x  ,  , , ,...
 n! n  1! n  2! n  3! 
 
b) l 2 , x n    2, 2, 2,..., 2, 0, 0,...
  
 n 

 1 3 5 2n  1 
17. a) l 1 , x n    3 , 3 , 3 ,..., 3 ,0,0,...
n n n n 
 n  1 2n  1 3n  1 4n  1 
b) l 2 , x n    , , , ,...
 n 4n 9n 16n 

 1 1 1 1 
18. a) l 2 , x n    n , n 1 , n  2 , n 3 ,...
3 3 3 3 
 
 1 1 1 1 
b) l 1 , x n    , , ,..., , 0, 0,...
nn n   n 
 n 

 n 1 n  2 n  3 n  4 
19. a) l 1 , x n    , , , ,...
 1 4 9 16 
 1 1 1 1 
b) l 4 , x n   1, 3 , 3 , 3 ,..., 3 ,0,0,...
 2 3 4 n 

 n n 1 n  2 n  3 
20. a) l  , x n    , , , ,...
 n 1 n  2 n  3 n  4 
 1 1 1 1 
b) l 1 , x n   1, , 2 , 3 , 4 ,...
 n n n n 

31
Указание к решению

Решение этой задачи опирается на определения сходящейся последовательности и


фундаментальной последовательности в метрическом пространстве (конспект лекций, §3) и
на формулы для вычисления расстояний в пространствах l p (конспект лекций, §2). Заметим,
что здесь n -ый член последовательности обозначен символом x n  , а не x n , как обычно.
Причина такой модификации в том, что в данной задаче n -ый член последовательности сам
является бесконечной числовой последовательностью с координатами x kn  .

Образец №1 решения
 1 1 1 1 
l3, x n   1, , 2 , 3 , 4 ,....
 lnn  1 ln n  1 ln n  1 ln n  1 
 x0n  , x1n  , x 2n  , x3n  ,..., x kn  ,.... По условию x kn   k
1
Пусть x n  .
ln n  1
Выпишем несколько членов последовательности x n  при n  1,2,3,4 :
 1 1 1 1 
x 1  1, , 2 , 3 , 4 ,...,
 ln 2 ln 2 ln 2 ln 2 
 1 1 1 1 
x 2   1, , 2 , 3 , 4 ,...,
 ln 3 ln 3 ln 3 ln 3 
 1 1 1 1 
x 3  1, , 2 , 3 , 4 ,...,
 ln 4 ln 4 ln 4 ln 4 
 1 1 1 1 
x 4   1, , 2 , 3 , 4 ,....
 ln 5 ln 5 ln 5 ln 5 
Легко видеть, что при n  
x0n   1 ,
x kn   0 , k  1.
Гипотеза: x n   x в пространстве l 3 , где x  1,0,0,0,0,.... Заметим, что последовательность
x также принадлежит пространству l 3 , иначе гипотеза не имела бы смысла.
Проверим гипотезу по определению сходимости в пространстве l 3 :
3 k
 
 
  
1 1
ρ l 3 x , x  3  xk  xk  1  1  
n  n 
   3
3
0  
3
3 3
k 0 k 1 ln n  1
k 1  ln n  1 
k

(используем формулу для суммы бесконечной геометрической прогрессии)


1 1
 3 1  3 3  0 при n  .
1  1 ln n  1
3
ln n  1  1
Таким образом, доказано, что x n  – сходящаяся последовательность, а именно: x n   x в
пространстве l 3 , где x  1,0,0,0,0,.... Отсюда следует и фундаментальность
n 
последовательности x .

32
Образец №2 решения
 n 1 n  2 n  3 n  4 
l , x n    , , , ,....
 1 2 3 4 
nk
Пусть x n   x1n  , x 2n  , x3n  ,..., x kn  ,.... По условию x kn  
.
k
Выпишем первые несколько членов последовательности x n  при n  1,2,3,4 :
 2 3 4 5 
x 1   , , , ,...,
 1 2 3 4 
 3 4 5 6 
x 2    , , , ,...,
 1 2 3 4 
 4 5 6 7 
x 3   , , , ,...,
 1 2 3 4 
 5 6 7 8 
x 4    , , , ,....
 1 2 3 4 
n 
Отсюда видно, что каждая из координат x k неограниченно возрастает при n  .
nk
Действительно, для каждого фиксированного k имеем x kn     при n   .
k
Гипотеза: последовательность x n  не имеет предела в пространстве l  .
Чтобы окончательно доказать, что последовательность x n  не обладает сходимостью в
пространстве l  , покажем, что она даже не является фундаментальной в этом пространстве:

nk mk nk  mk


 
ρ l  x n  , x m   sup xkn   xkm   sup
k

k
 sup
k

1 k  1 k  1 k 

nm nm
 sup 
k nk  mk 1 k  n 1  m 1
.

nm
Нельзя утверждать, что  0 при n, m  . Действительно, выражение
n 1  m 1
nm    
представляет из себя неопределенность вида  и может иметь разный
n 1  m 1   
предел при разном соотношении между числами n и m . Например, если взять n  2m, то
nm m
   при m, n  .
n 1  m 1 2m  1  m  1
Таким образом, последовательность x n  не фундаментальная в пространстве l  и тем более
не является сходящейся в этом пространстве.

14. Для функциональной последовательности xn t  и функции xt  проверить


наличие равномерной и среднеквадратичной сходимости xn  x на промежутке a; b .
Проиллюстрировать выводы графически (для построения графиков можно
использовать математические пакеты). (3 балла за каждый пункт)

33
a) x n t  
nt
, xt   0 , a;b   1 ; 2 .
1.
 
exp nt 2 2 
b) x n t   t  t , xt   0 , a; b  0;1 .
n 2n

2. a) xn t   n1 t  n t , xt   0 , a; b  0;1.


b) x n t   sinn 2 t exp  nt  , xt   0 , a; b  0; π .

a) xn t   , xt   0 , a; b  0;2 .


tn n
3.
e nt
  n 
exp  , t  1
b) x n t     1  t 2  , xt   0 , a; b   2;2.
0, t  1

a) x n t   , xt   0 , a; b  0;2 .


2nt
4.
1  n 2t 2
 3 3
b) xn t   t 2  2 , xt   t , a;b   ;  .
1
n  2 2

5. a) x n t  
nt
, xt   t , a;b   1 ; 2 .
nt  2 

b) x n t  
n  1t
2 2
, xt   0 , a; b   3;3 .
 
n exp nt 2

6. a) x n t   n t  n t 2 , xt   0 , a; b  0;1.


  n  1
exp  1  n 2 t 2 , t  n
b) x n t      , xt   0 , a; b   1;1 .
0, t  1
 n

7. a) xn t   t  1 , xt   0 ,
n
a; b  0;1.
  n 2
 2
exp  , t  n
b) x n t     n  t 2  , xt   0 , a; b   2;2.
0, t 2  n

8. a) x n t   t 2 n , xt   0 , a; b   1;1 .

b) x n t   , xt   0 , a; b  0;2 .


nt
 
exp n 2 t

a) x n t   , xt   0 , a; b   π; π .
cos nt
9.
n

b) x n t   , xt   0 , a; b  0;2 .


nt t

exp 2nt 2 

34
a) x n t   , xt   0 , a; b  0;4 .
t
10.
e nt

b) x n t   3 t 3  , xt   t ,  a; b   0;2 .
1
n

11. a) x n t   t n , xt   0 , a; b  0;1.


a;b   1 ; 3 .
2
b) xn t   , xt   0 ,
tn
exptn 2 

12. a) xn t  

n 1 t2  n

, xt   0 , a; b   1;1 .


2n  1
b) xn t   nt  exp n 2 t  , xt   0 , a; b  0;3.
2

a) x n t   , xt   0 , a; b   3;3 .


t n
13.
1  nt 2
  n  2 1
exp  1  nt 2 , t  n
b) x n t      , xt   0 , a; b   1;1 .
0, t 2  1
 n

a) x n t  
nt t
, xt   0 , a; b  0;3.
14.
exp nt 2 
nt 1  nt 
b) x n t   , xt   1 , a;b   1 ; 4 .
1  n 2t 2 2 

a) x n t   , xt   0 , a; b   2π;2π .


sin nt
15.
n

b) x n t  
n  12 t , xt   0 , a; b  0;3.
n  exp( nt )

n 2t
16. a) x n t   , xt   0 , a; b  0;4 .
e nt
b) xn t   3t  1  t  , xt   0 , a; b  0;1 .
n n

17. a) xn t   sinnt exp nt  , xt   0 , a;b  0; π  .


 2
 t2 
b) xn t   exp   , xt   1 , a; b   1;1 .
 n

1 
a) x n t   , xt   0 , a;b   ; 2 .
t n
18.
exp nt  
2
2 
b) x n t   , xt   0 , a; b   3; 3 .
2nt
1  n 2t 2

35
a) x n t   , xt   0 , a; b   2;2.
t
19.
2  nt 2
b) xn t   2 n t  n t , xt   0 , a; b  0;1 .

1 
a) xn t   , xt   , a;b   ; 3 .
n 1
20.
1  n 2t 2 t 3 
nt 2
b) x n t   nt , xt   0 , a; b  0;3.
e

Образец решения
x n t   t n  t n 1 , xt   0 , a; b  0;1 .
Как указано в §3 конспекта лекций, под равномерной сходимостью понимают сходимость в
пространстве Ca;b. Среднеквадратичной сходимостью называют сходимость в
пространстве L2 a; b. Причем равномерная сходимость – более сильное свойство, чем
среднеквадратичная, иными словами, при наличии равномерной сходимости имеется и
среднеквадратичная:
xn  x в Ca; b  xn  x в L2 a; b.
Если равномерной сходимости нет, то может быть более слабая – среднеквадратичная.

Для данных задачи проверим сначала, имеется ли равномерная сходимость. Вычислим


расстояние между функциями xn t  и x  t   0 в пространстве C 0;1 :
ρ С 0;1 xn ,0  max xn t   0  max t n  t n1 .
t0;1 t0;1
 
Найдем наибольшее значение функции φt   t n  t n1 на отрезке 0;1. Как известно,
наибольшее значение непрерывной функции следует искать среди ее значений на концах
отрезка и локальных экстремумов внутри отрезка. Вычисляем φt   nt n1  n  1t n . Из
условия φt   0 , t   0;1 , находим точку, в которой может быть локальный экстремум:
1
. t0  1 
n 1
Сравним значения функции φ в точке t 0 и на концах отрезка:
φ0  φ1  0,
n n 1
 1   1 
φt 0   1    1   .
 n  1  n  1
Очевидно, φt0  – наибольшее значение функции φ на отрезке 0;1.
Возвращаемся к вычислению расстояния между функциями xn t  и x  t   0.
n n 1

ρ С 0;1 x n ,0  max t  t  n n 1


 
 1 
1  
  1 
1 
 
t0;1
 n  1  n  1
n 1 n 1
 1   n 1  1 1 
 1     1  1    0 при n  .
 n 1  n  n  n  1
n 1 n 1
1 1  1  1  1
Действительно, lim 1    lim  lim1    0  e  0.
n  n
 n  1 n   n n  
 n  1
Таким образом, доказано, что xn  x в пространстве C0;1.

36
Этот факт можно проиллюстрировать графически. Построим на отрезке 0;1 графики
некоторых членов последовательности x n и график нулевой функции, совпадающий с осью
абсцисс.

x1 t 

x2 t 
x 3 t 

Рис. 3

Как видно на рисунке 3, расстояние ρ С 0;1  x n ,0  действительно реализуется в точке


локального максимума функции x n и это расстояние последовательно сокращается при
n  .

Из наличия равномерной сходимости автоматически вытекает наличие среднеквадратичной


сходимости.

§ 4. Сжимающие операторы и метод простых итераций

15. Дано числовое уравнение, т.е. уравнение в одной вещественной неизвестной.


A. Преобразовать уравнение к виду, пригодному для применения принципа
сжимающих операторов.
B. Методом простых итераций найти приближенное решение с точностью 10 5 ,
используя априорную и апостериорную оценки числа итераций.

Для вычислений использовать математические пакеты. (5 баллов)

1. x 3  arctg3x  2   sin 2 x 8. 2 x  cos x 


2x
0
1 x2
2. 5 x  cos 2 3x  1  x 2  7  0
9. x  cos2 x  1 
1 2x
3. x 5  sin x  π  3 cos x 5
3 2  x2
 4  arcctgx 
x
4. 2 x  10. x 5  1  x 2  4  sin 2 x
1 x2
5. x 2  ln1  x 2   arctg4 x   4  0 x  3 sin x  arctgx   2π  cos x
9
11.
4
5
x  3 sin x  6  cos x
12. x  arctgx  
6. x
2 3
1 x2
 
7. πx  arctgπx   ln 1  x 2  8  0
x  3 cos x  sin x  arctgπx   3π
8
13.
3
37
18. x  arctg2 x  1  4  cos 2 x
x x 1
14. x  sin  5
2 1 x2 3
15.

3
x  3 cos x  sin x  arctgx   0 19.
πx
2
 
 ln 1  x 2  2π  arcctgπx 

16. 2 x  sin x  arctgx  


x 20. 3x  sin x  1  x 2  0
6
1 x2
 
17. 3x  ln 1  x 2  sin x  cos x  7

Образец решения
2 x  cos x  sin x  arctgx   2. (1)
Решение этой задачи опирается на теорию сжимающих операторов и метод простых
итераций, изложенные в §4, §5 конспекта лекций.

A. Преобразуем уравнение к виду, пригодному для применения принципа сжимающих


операторов.

Порядок и цель преобразований изложены в конспекте лекций, §5, пункт 5.1. Обозначим
φx   2 x  cos x  sin x  arctgx   2. Уравнение (1) имеет вид φx   0. Вычисляем
φx   2  sin x  cos x 
1
. Поскольку
1 x2
1
 2  sin x  cos x  2 , 0   1,
1 x2
то получаем оценку
0  v  φx   μ,
ν  2  2 , μ  3  2.

Преобразуем уравнение φx   0 к виду x  φx   x :


1
μ

x
1
2 x  cos x  sin x  arctgx  2  x. (2)
3 2
Рассмотрим оператор
Φ : R  R , Φx  x  2 x  cos x  sin x  arctgx  2 .
1
3 2
Уравнение (2) имеет вид Φx  x , его решение – неподвижная точка оператора Φ. Оператор
Φ является сжимающим с коэффициентом сжатия
ν 2 2
α  1  1 .
μ 3 2
Итак, к уравнению (1), записанному в форме (2), применим принцип сжимающих
операторов: уравнение имеет единственное решение и можно использовать метод простых
итераций для поиска приближенного решения.

B. Используя метод простых итераций, найдем приближенное решение уравнения (2) с


точностью ε  10 5. Процесс вычислений организуем с помощью априорной и
апостериорной оценок числа итераций.

Схема действия метода простых итераций, использование априорной и апостериорной


оценки описаны в конспекте лекций, §4, пункт 4.2. Для произвольного начального

38
приближения x0 последовательность итераций задается рекуррентной формулой
xn  Φxn1 . В данном случае:

xn  xn1 
1
2 xn1  cos xn1  sin xn1  arctgxn1   2. (3)
3 2
Выберем произвольным образом начальное приближение, например x0  6 , и вычисляем
первую итерацию x1  2.355772 . Априорную оценку N apr числа итераций находим по
формуле
 ε1  α  
N apr  logα   1.
 ρx0 , x1 
В данном случае
ν 2 2
ε  10 5 , α  1   1  ,
μ 3 2
ρ R x0 , x1   x0  x1  3.644228 .
Отсюда N apr  105. Следовательно, для вычисления приближенного решения с требуемой
точностью ε  10 5 понадобится не более, чем 105 итераций.
Процесс непосредственного вычисления итераций по формуле (3) удобно проводить в одном
из математических пакетов с использованием оператора цикла. Цикл должен быть
организован с помощью апостериорной оценки. На каждом шаге цикла следует сравнивать
значения текущей итерации xn и предыдущей xn1 :
α
если x n  x n 1  ε, то вычисления продолжаются;
1 α
α
если xn  xn 1  ε, то вычисления завершаются.
1 α
При этом последняя вычисленная итерация xn является приближенным решением уравнения
(2) с заданной точностью ε. В данном случае понадобилось всего 9 итераций, и получено
приближенное решение
x9  0.726981.
Как видно, априорная оценка числа итераций сильно завышена.
Все численные результаты приведены с округлением до 6 знака после запятой ради экономии
места, хотя вычисления проводились с гораздо более высокой точностью.

16. Дана система линейных алгебраических уравнений с четырьмя неизвестными.


A. Преобразовать систему к виду, пригодному для применения принципа
сжимающих операторов.
B. Методом простых итераций найти приближенные решения с точностью 10 2 и
с точностью 10 4 , используя априорную и апостериорную оценки числа
итераций.
C. Найти точное решение системы и сравнить с приближенными.

Для вычислений использовать математические пакеты. (7 баллов)

39
4 x1  7 x 2  2 x3  8 x 4  77 2 x1  x 2  2 x3  3x 4  8
5 x  x  x  9 x  62 3x  3x  6
 1 2 3 4  1 3
1.  2. 
3x1  3x 2  6 x3  4 x 4  59 2 x1  x 2  3 x 4  4
 x1  5 x 2  8 x3  7 x 4  84  x1  2 x 2  x3  2 x 4  4
8 x1  2 x 2  3x3  2 x 4  102 3 x1  2 x 2  7 x3  x 4  15
 6 x  3x  2 x  x  47 4 x  6 x  2 x  2 x  60
 1 2 3 4  1 2 3 4
3.  4. 
3
 1 x  8 x 2  4 x 3  8 x 4  122 9
 1 x  2 x 2  9 x 3  3 x 4  13
2 x1  x 2  6 x3  2 x 4  24 4 x1  2 x 2  5 x3  5 x 4  35
6 x1  x 2  10 x3  x 4  158 8 x1  7 x 2  2 x3  x 4  45
2 x  x  10 x  7 x  128 7 x  6 x  6 x  5 x  94
 1 2 3 4  1 2 3 4
5.  6. 
3 x1  2 x 2  2 x3  x 4  7 9 x 2  4 x3  3x 4  27
 x1  12 x 2  2 x3  x 4  17 3x1  5 x 2  x3  4 x 4  39
9 x1  2 x 2  12 x 4  36 2 x 2  15 x 4  83
4 x  13x  2 x  11x  110 4 x  3 x  4 x  6 x  22
 1 2 3 4  1 2 3 4
7.  8. 
3
 1 x  7 x 2  4 x 3  12 x 4  100 2
 1 x  7 x 2  14 x 3  4 x 4  50
 32 x1  x 2  10 x3  2 x 4  392  2 x1  x 2  8 x3  6
4 x1  5 x 2  7 x3  5 x 4  165  7 x1  2 x 2  3 x3  4 x 4  19
2 x  x  3 x  x  15 2 x  3 x  x  2 x  13
 1 2 3 4  1 2 3 4
9.  10. 
9 x1  4 x3  x 4  194  x1  x 2  x3  x 4  5
 x1  x 2  2 x3  3 x 4  19  x1  2 x3  3 x 4  6
 x1  2 x 2  3x3  4 x 4  26  2 x 2  3x3  x 4  17
2 x  3x  4 x  x  34 4 x  3 x  5 x  x  9
 1 2 3 4  1 2 3 4
11.  12. 
3
 1 x  4 x 2  x 3  2 x 4  26   2 x1  7 x 2  6 x 3  x 4  17
4 x1  x 2  2 x3  3x 4  26 3x1  2 x3  3x 4  8
2 x1  x 2  4 x3  x 4  66 7 x1  7 x 2  7 x3  2 x 4  5
2 x  6 x  x  63 3 x  4 x  5 x  8 x  60
 2 3 4  1 2 3 4
13.  14. 
8 x1  3x 2  6 x3  5 x 4  146 2 x1  2 x 2  2 x3  x 4  27
2 x1  7 x 2  6 x3  x 4  80 2 x1  2 x3  x 4  1
 3x1  9 x2  2 x3  7 x4  84 2 x1  5 x3  3x 4  27
3 x  8 x  9 x  5 3 x  2 x  x  9
 1 2 4  2 3 4
15.  16. 
 1 2 3 2 x4  65
5 x  x  x  3
 1 x  4 x 3  x 4  23
4 x1  4 x2  5 x3  35 6 x1  x 2  2 x 4  39
10 x1  5 x 2  4 x3  8 x 4  70 8 x1  x 4  12
6 x  2 x  7 x  3x  20 2 x  5 x  5 x  43
 1 2 3 4  2 3 4
17.  18. 
15 x1  7 x 2  2 x3  6 x 4  645  x1  4 x 2  4 x3  4 x 4  42
 8 x1  4 x 2  5 x3  x 4  210 3x1  7 x 2  6 x3  6 x 4  7

40
 8 x1  7 x 2  2 x3  x 4  79  3x1  3x 2  2 x3  x 4  32
9 x  2 x  15 x  27 3x  2 x  5 x  x  19
 1 2 3  1 2 3 4
19.  20. 
4 x1  3 x3  14 x 4  303  9 x1  2 x 2  x3  6 x 4  105
3 x1  9 x 2  3 x3  6 x 4  246 3x1  3x 2  2 x3  x 4  20

Образец решения
2 x1  4 x 2  7 x3  x 4  70
3x  x  5 x  2
 1 2 4

2 x1  x 2  3x3  9 x 4  59
12 x1  5 x 2  6 x3  x 4  276
Решение этой задачи опирается на теорию сжимающих операторов и метод простых
итераций, изложенные в §4, §5 конспекта лекций.
Запишем систему в матричной форме
Αx  b, (1)
где
 2  4 7 1  x1    70 
 3  1 0 5 x   2 
   , x  2
, b .
 2 1 3 9  x3   59 
     
12 5 6 1  x4   276
Поскольку detΑ   2765  0, то система (1) имеет единственное решение.

A. Преобразуем систему (1) к виду, пригодному для применения принципа сжимающих


операторов.

Порядок и цель преобразований изложены в конспекте лекций, §5, пункт 5.2. Все численные
результаты приведены с округлением до 5 знака после запятой ради экономии места, хотя
вычисления проводились с гораздо более высокой точностью.
 
Вычисляем λ ΑT Α  260.27179 – максимальное собственное число матрицы Α T Α .
Обозначим символом  единичную матрицу:
1 0 0 0
0 1 0 0 
Ι .
0 0 1 0 
 
0 0 0 1 
Преобразуем систему (1) к виду
 ΑT Α  ΑT b
 Ι  x   x  Cx  d  x.
   
(2)
 λ Α T Α  λ ΑT Α
  
 
C d

Рассмотрим пространство R с евклидовой метрикой ρ 2 (см. конспект лекций, §2) и оператор


4

Φ : R 4  R 4 , Φx  Cx  d .
Уравнение (2) имеет вид Φx  x , его решение – неподвижная точка оператора Φ.
Вычисляем λC   0.97507 – максимальное собственное число матрицы C . Оператор Φ
является сжимающим с коэффициентом сжатия α  λC . К системе (1), записанной в форме

41
(2), применим принцип сжимающих операторов. Методом простых итераций можно найти ее
приближенное решение с любой заранее заданной точностью.

B. Методом простых итераций найдем приближенные решения системы (2) с точностью


ε  10 2 и ε  10 4 , используя априорную и апостериорную оценки числа итераций.

Схема действия метода простых итераций, использование априорной и апостериорной


оценки описаны в конспекте лекций, §4, пункт 4.2. Для произвольного начального
приближения x0 последовательность итераций задается рекуррентной формулой
xn  Φxn1  :
xn  Cx n1  d . (3)
Априорную оценку N apr числа итераций находим по формуле
 ε1  α  
N apr  log α   1.
 ρ 2 x0 , x1 
Процесс непосредственного вычисления итераций по формуле (3) необходимо проводить в
одном из математических пакетов с использованием оператора цикла. Цикл должен быть
организован с помощью апостериорной оценки. На каждом шаге цикла следует сравнивать
значения текущей итерации xn и предыдущей xn1 :
α
если ρ 2 xn , xn 1   ε, то вычисления продолжаются;
1 α
α
если ρ 2 xn , x n 1   ε, то вычисления завершаются.
1 α
При этом последняя вычисленная итерация xn является приближенным решением уравнения
(2) с заданной точностью ε.
В данном случае получились следующие результаты. Взяли произвольным образом
начальное приближение
2
 1
x0   .
3
 
0
При ε  10 2 априорная оценка числа итераций N apr  444. Фактически же понадобилось
274 итерации и получили приближенное решение
 21.99468
 0.99329 
x 274   . (4)
  5.00516 
 
 12.99990 
При ε  10 4 априорная оценка числа итераций N apr  626. Фактически же понадобилось 457
итераций и получено приближенное решение
 21.99995
 0.99993 
x 457   . (5)
  5.00005 
 
 13.00000 

C. Найдем точное решение системы (1) и сравним его с приближенными.

42
Точное решение системы (1) можно найти методом Крамера, методом Гаусса или с помощью
обратной матрицы:
 22
 1 
x .
 5 
 
 13 
Сравним точное решение с приближенными (4), (5) в евклидовой метрике ρ 2 пространства
R4 :
ρ 2  x 274 , x   0.00999  10 2 , ρ 2 x 457 , x   0.00009  10 5.
Таким образом, точность приближенных решений (4) и (5) соответствует поставленной
задаче.

17. Доказать двумя способами, что оператор Φ : Ca; b  Ca; b является


сжимающим:
A. по определению сжимающего оператора;
B. по достаточному признаку сжимающего оператора. (запас)

xt 
1. Φx  t  1 cos a; b  0; π
t
 sin ,
5 2
2. Φx   t 1  x 2 t   t 2  t  1, a; b  0; 1 
 4
xt  t
3. Φx  t 2 cos  , a; b   π; π 
4π π
4. Φx  4 1  xt   t  1, a; b   1;1

5. Φx 
t2
 arctgt , a; b   1 ; 1 
2 xt   1  2 2
6. Φx  3 1  2 xt   t , a; b  0;4
7. Φx  a; b   4;4
1
 t,
2  2 x 2 t 
cos 2 xt 
8. Φx   sin 2 t , a; b   2π;2π
3
t 2 1
9. Φx  arctg xt   t , a; b   1;1
2
10. Φx  t 2  xt   t 2 , a; b   2;2

11. Φx  t  arctg xt   t 2 , a; b   2 ; 2 


 3 3
2
12. Φx   a; b   2;2
t
 e t 1 ,
xt   3
cos xt 
13. Φx   sin t , a; b  0;3π
t2

43
14. Φx   t , a; b  0;1
1
2  x 2 t 
xt 
15. Φx  sin 2  cos t , a; b   4π;4π
π
16. Φx  t  4 1  xt   t 2 , a; b   3;3
xt 
17. Φx  sin  t , a; b  π;3π 
t
2t  3
18. Φx   t , a; b  2;3
xt   t

19. Φx  arctg xt   t  1, a; b   2;2


3
4
20. Φx   4t , a; b  3;8
t
t  xt 

Образец решения
3t2
Φx    arcsin t , a; b   1; 1.
2  xt 
Решение этой задачи опирается на теорию сжимающих операторов, изложенную в §4, §5
конспекта лекций. Докажем, что оператор Φ : C 1;1  C 1;1 сжимающий.

A. Обратимся непосредственно к определению сжимающего оператора (см. конспект


лекций, § 4, пункт 4.1).
ρ C 1;1 Φx, Φy   max Φx  Φy 
t1;1

3t2 3t2

3  t  xt   yt 
2


 max 
2  xt  2  yt  
max
t1;1 2  xt  2  y t  t 1;1

 
 max 3  t 2  max
t1;1
1
 max xt   yt   ρ C 1;1 x, y  .
t1;1 2  xt  2  y t   t1;1
3
4
1 1
В этой цепочке соотношений использовали неравенства a  b  a  b ,  .
2  a 2  b  4
В итоге, получаем оценку
ρ C 1;1 Φx, Φ y   ρ C 1;1 x, y .
3
4
3
Приходим к выводу, что оператор Φ сжимающий с коэффициентом сжатия α  .
4

B. Обратимся к достаточному признаку сжимающего оператора в пространстве


непрерывных функций (см. конспект лекций, § 5, пункт 5.3).
3t2
Обозначим Φx  φt , xt  , где φt , u    arcsint. Очевидно, что функция двух
2u
переменных φt, u  непрерывна на множестве  1;1 0;, непрерывно дифференцируема
по переменной u , причем при всех t ,u    1;1 0; справедлива оценка
3t2
φ u t , u  
3
  1.
2  u  2
4

44
3
Значит, оператор Φ сжимающий с коэффициентом сжатия α  .
4

18. Дано нелинейное уравнение в пространстве непрерывных функций Ca;b.


A. Используя принцип сжимающих операторов, доказать, что данное уравнение
имеет единственное решение xt   Ca;b.
B. Методом простых итераций найти приближенное решение этого уравнения с
точностью ε  0.01, используя априорную оценку числа итераций. В качестве
ответа предъявить график приближенного решения.

Для вычислений и построения графика использовать математические пакеты.


(5 баллов)

xt  
2
 cos 2t , a; b   5;5
exp1  xt  
1.

2. xt  
t2
 sin 4t , a; b   5 ; 5 
xt   3  2 2

1  x 2 t   xt   cos10t , a; b   1;1


t
3.
2
t 2 1  3 3
4. arctg xt   t  xt , a; b   ; 
2  2 2
xt 
5. xt   sin 2  t , a; b   4π;4π 
π
xt   2π 2π 
6. t 2 cos  sin 7t  xt , a; b   ; 
2π  3 3
4 sin xt 
7.  t  xt , a; b  0;7
t 5
xt   2  t , a; b   2;2
2
8.
x t   2
xt 
9. xt   t cos  cos 4t , a; b   π; π 
5
arctg xt   xt   t  1, a; b   2;2
3
10.
4
xt 
11. xt   t  1 cos  sin 3t , a; b   π; π 
6
exp  xt    cos t  xt , a; b   5;5
3
12.
4
xt 
13. t 2 sin  cos 5t  xt , a; b   π; π 

14. xt   34 1  xt   t  1, a; b   1;15

15.
t
 sin15t  xt , a; b   2 ; 2 
xt   1  3 3

45
t 2 1
16. xt   cos 6t  , a; b   1; 1
2  xt 

17. t  xt  
6
, a; b  0;8
xt   3

18. t  arctg xt   xt   t 2 , a; b   2 ; 2 


 3 3
19. t 2  xt   t 2  xt , a; b   1;2
cos xt 
20.  sin 2 t  xt , a; b  0;13
t2

Образец решения
1  xt  , a; b   3;3
xt   t 2 
7
4
Решение этой задачи опирается на теорию сжимающих операторов и метод простых
итераций, изложенные в §4, §5 конспекта лекций.

A. Используя принцип сжимающих операторов, докажем, что данное уравнение имеет


единственное решение xt   C 3;3.

Представим уравнение следующим образом:


1  xt   t 2  xt .
7
(1)
4
Рассмотрим оператор
Φ : C 3;3  C 3;3, Φx   1  xt   t 2 .
7
4
Уравнение (1) имеет вид Φx  x , его решение – неподвижная точка оператора Φ.
Докажем, что оператор Φ сжимающий, используя достаточный признак (см. конспект
лекций, § 5, пункт 5.3). Обозначим Φx  φt , xt  , где φt , u  
7
1  u  t 2 . Очевидно, что
4
функция двух переменных φt, u  непрерывна на множестве  3;3 0;, непрерывно
дифференцируема по переменной u , причем при всех t ,u    3;3 0; справедлива
оценка
φu t , u  
7 7
  1.
8 1 u 8
7
Отсюда следует, что оператор Φ сжимающий с коэффициентом сжатия α  . Согласно
8
принципу сжимающих операторов Φ имеет единственную неподвижную точку
xt   C 3;3, которая и является решением уравнения (1).

B. Методом простых итераций найдем приближенное решение уравнения (1) с точностью


ε  0.01 и построим его график. Процесс вычислений организуем с помощью априорной
оценки числа итераций.

Схема действия метода простых итераций, использование априорной оценки описаны в


конспекте лекций, §4, пункт 4.2. Для произвольного начального приближения x0

46
последовательность итераций задается рекуррентной формулой xn  Φxn1  . В данном
случае
x n t   1  x n 1 t   t 2 .
7
(2)
4
Выбираем произвольным образом начальное приближение, например x0 t   t 2 , и

вычисляем первую итерацию x1 t  


7
1  t 2  t 2 . Априорную оценку N apr числа итераций
4
находим по формуле
 ε1  α  
N apr  log α   1.
 ρ C 3;3 x0 , x1 
В данном случае
7
ε  0.01, α  ,
8
ρ C 3;3 x0 , x1   max x0 t   x1 t  
t3;3

7 7 10

max 1  t 2  .
4 t3;3 4
Отсюда N apr  63. Следовательно, для вычисления приближенного решения с заданной
точностью ε  0.01 достаточно провести 63 итерации:
x1 t  
7
1 t2  t2,
4

x2 t  
7 7
1 1 t 2  t 2  t 2,
4 4

x3 t  
7 7 7
1 1 1  t 2  t 2  t 2  t 2 и т.д.
4 4 4
Поскольку аналитическая запись функции x63 t  потребует слишком много места, то в
качестве ответа построим ее график (рис. 4).

x 63 t 

Рис. 4

19. В пространстве С 0;1 дано интегральное уравнение Фредгольма с вырожденным


ядром, содержащее числовой параметр λ  0 .

47
A. Определить, при каких значениях параметра λ к этому уравнению применим
принцип сжимающих операторов.
B. Взять любое подходящее значение λ и методом простых итераций найти
приближенное решение этого уравнения с указанной точностью ε , используя
априорную оценку числа итераций.
C. Найти точное решение этого уравнения и сравнить с приближенным.

Для вычислений использовать математические пакеты. (10 баллов)

1 1
1. xt   λ  1  ts xs ds  t , ε  10 3
11. xt   λ  ts 2 xs ds  t 2 , ε  10 4
0 0
1 1
2. xt   λ  sinπt  s xs ds  1, ε  10 4 12. xt   λ  e t  s xs ds  1, ε  10 2
0 0
1 1
3. xt   λ  tsxs ds  t , ε  10 5 13. xt   λ  t  s xs ds  t 2 , ε  10 2
5
0
6 0

 
1 1
4. xt   λ  t  s  xs ds  2t 2 , ε  10 3 14. xt   λ  t 2  s 2 xs ds  2t , ε  10 4
2

0 0
1 1
5. xt   λ  t  s xs ds  , ε  10 5 15. xt   λ  st  1xs ds  t 3 , ε  10 3
t
0
2 0

πt  s 
 
1 1
6. xt   λ  sin xs ds  1, ε  10 3 16. xt   λ  t  s xs ds  , ε  10 2
1
0
2 0
2

 
1 1
7. xt   λ  e t  s xs ds  2, ε  10 3 17. xt   λ  s 2  t 2 xs ds  t , ε  10 5
0 0

πt  s 
1 1
8. xt   λ  2t  s xs ds  , ε  10 4 18. xt   λ  cos xs ds  1, ε  10 4
t
0
4 0
2
1 1
9. xt   λ  s t xs ds  t  1, ε  10 2 19. xt   λ  st 2 xs ds  t , ε  10 3
0 0

 
1 1
t2
10. xt   λ  t 2 s 2 xs ds  t 3 , ε  10 4 20. xt   λ  t 2  s xs ds  , ε  10 3
0 0
2

Образец решения

 
1
xt   λ  t  s 2 xs ds  t 3  1, ε  10 3 (1)
0
Решение этой задачи опирается на теорию сжимающих операторов и метод простых
итераций, изложенные в §4, §5 конспекта лекций.

A. Найдем значения параметра λ, при которых к уравнению (1) применим принцип


сжимающих операторов.

Рассмотрим интегральный оператор

 
1
Φ : C0;1  C0;1 , Φx  λ  t  s 2 xs ds  t 3  1.
0

48
 
Функция K t , s    t  s 2 – ядро интегрального оператора. Уравнение (1) имеет вид
Φx  x , его решение – неподвижная точка оператора Φ. Обратимся к достаточному
признаку сжимающего оператора (см. конспект лекций, § 5, пункт 5.4). При условии
1
α  λ max  t  s 2 ds  1 (2)
t0;1
0
оператор Φ сжимающий с коэффициентом сжатия α.
1
Необходимо вычислить ts
2
ds. Выражение t  s 2 при t , s  0;1 принимает как
0
положительные, так и отрицательные значения:
 1  t  s 2  1,
t  s 2  0 при 0  s  t ,
t  s 2  0 при t  s  1.

 t  s ds   s 
1 t 1
4 1
Тогда ts ds   t ds  t t t  .
2 2 2

0 0 t
3 3
Находим максимум
4 1 2
max  t t  t    .
t0;1 3
 3 3
Осталось выразить параметр λ из условия (2):
2
α  λ  1.
3
3
Таким образом, при λ  к уравнению (1) применим принцип сжимающих операторов:
2
уравнение имеет единственное решение и можно использовать метод простых итераций для
поиска приближенного решения.

1
B. Возьмем λ  и методом простых итераций найдем приближенное решение уравнения
2
(1) с точностью ε  10 3 , используя априорную оценку числа итераций.

Схема действия метода простых итераций, использование априорной оценки описаны в


1
конспекте лекций, §4, пункт 4.2. При λ  перед нами уравнение
2

 
1
xt    t  s 2 xs ds  t 3  1.
1
(3)
20
Для произвольного начального приближения x0 последовательность итераций задается
рекуррентной формулой xn  Φxn1  . В данном случае

 
1
xn t    t  s 2 xn1 s ds  t 3  1.
1
20
Выбираем произвольным образом начальное приближение, например x0 t   1 , и вычисляем

первую итерацию x1 t   t 3  t  . Априорную оценку N apr числа итераций находим по


1 5
2 6
формуле

49
 ε1  α  
N apr  log α   1.
 ρ C 0;1 x0 , x1 
В данном случае
2 1
ε  10 3 , αλ  ,
3 3
ρ C 0;1 x0 , x1   max x0 t   x1 t   max t 3  t   .
1 1 4
t0;1 t0;1 2 6 3
Отсюда N apr  7. Следовательно, для вычисления приближенного решения уравнения (3) с
точностью ε  10 3 достаточно провести 7 итераций:
x1 t   t 3  t  ,
1 5
2 6
x 2 t   t 3  t 
2 103
,
3 144
x3 t   t 3 
187 617
t ,
288 864

x7 t   t 3 
3848611 25679455
t .
5971968 35831808

C. Найдем точное решение уравнения (3) и сравним его с приближенным.

Как отмечено в конспекте лекций, § 5, пункт 5.4, для интегрального уравнения Фредгольма с
вырожденным ядром есть возможность найти точное решение. Уравнение (3) представим в
форме
1 1
xt   t   xs ds  1   s xs ds.
3 t 1 2
20 20
Отсюда ясно, что решение имеет вид
xt   t 3  c1t  c2 , c1 , c2  R, (4)
1 1
xs ds, c2  1   s 2 xs ds.
1 1
c1 
20 20
(5)

Чтобы найти значения коэффициентов c1 и c2 , подставим представление (4) в формулы для


коэффициентов (5):

   
1 1
1 1
c1   s 3  c1 s  c2 ds, c2  1   s 2 s 3  c1 s  c2 ds.
20 20
После вычисления интегралов необходимо решить систему двух линейных алгебраических
уравнений с двумя неизвестными:
 1 c1 c 2
 c    ,
1
8 4 2 29 43
  c1  , c2  .
11 c1 c 2 45 60
c 2    .
 12 8 6
Итак, получили точное решение уравнения (3):
xt   t 3  t  .
29 43
45 60
Сравним его с приближенным решением x7 t  в метрике пространства C 0;1 :

50
ρ C 0;1 x, x7   max xt   x7 t  
49
 0.0000014  10 3.
t0;1 35831808
Таким образом, приближенное решение обладает требуемой точностью.

20. Дана задача Коши для линейного дифференциального уравнения первого порядка.
A. Найти точное решение задачи Коши.
B. Преобразовать задачу Коши к интегральному уравнению Вольтерры и методом
простых итераций найти несколько первых приближений к точному решению.
Проиллюстрировать графически сходимость приближенных решений к
точному.

Для вычислений и построения графиков использовать математические пакеты.


(7 баллов)

x   x cos t  sin 2t , xπ   1


1
x π   1
1.
2 11. x  x  1 t cos t ,
2. x   x sin t  sin 3 t , x0  e π
12. x   2 x  e t sin t , x   1
3. x   x  2e  t cos 4t , x0  0 2
x 13. x   x cos t  cos t , x0  1
3
4.  x  cos 2 t , xπ   1
cos t 14. x  x  t sin t , x0  2
5. x  2  x  cos t , x0  1
x  x  1sin t  sin t cos 2 t , xπ   
2
15.
6. x   x  t sin 2 t , x0  3 e
7. x   x  3 sin t  cos t , x0  3 16.  
x  x  sin 2 t sin t  0 ,
π
x   1
8. x  x  t cos t , x0  0 2
17. x  x cos t   sin 2t , x0  3
9. x  1  x sin t , x0   1
1
e 18. x  2 x  t sin t , x0  4
π 19. x  x  sin t  cos t , x0  2
10. x  x sin t  sin 2t , x   1
2 20. x   x  t cos 2 t , x0  0

Образец решения
x  x cos t  sin 2t , x0  1 (1)

A. Найдем точное решение задачи Коши (1).

Линейное дифференциальное уравнение 1-го порядка может быть решено методом Бернулли
или методом вариации произвольной постоянной:
xt   e sin t  2  2 sin t.

B. Преобразуем задачу Коши (1) к интегральному уравнению Вольтерры и применим к нему


метод простых итераций для нахождения приближенных решений.

Порядок и цель преобразований изложены в конспекте лекций, §5, пункт 5.5.


Задача Коши (1) равносильна интегральному уравнению Вольтерры
t
xt   1   xs  cos s  sin 2s ds.
0

51
После упрощения получаем уравнение следующего вида:
t
xt    cos s  xs ds  1  cos 2t   Φx  x.
1
2

0
  
Φx 

К интегральному уравнению Вольтерры может быть применен метод простых итераций,


схема действия которого описана в конспекте лекций, §4, пункт 4.2. Для произвольного
начального приближения x0 последовательность итераций задается рекуррентной формулой
xn  Φxn1  . В данном случае
t
x n t    cos s  xn1 s ds  1  cos 2t .
1
0
2
Выберем произольным образом начальное приближение, например x0 t   t. Тогда

x1 t     cos t  t sin t  cos 2t ,


3 1
2 2
x 2 t      sin t  sin 2t  cos 2t  cos 2t  sin 3t и т.д..
1 t 7 3 t 1 1
2 2 4 8 4 2 12
Формулы следующих итераций слишком громоздки, поэтому в качестве ответа построим
графики точного решения и нескольких приближений. На каждом из рисунков 5 – 7
изображены график точного решения x и график одного из приближений x n (пунктиром):
x5 (рис. 5), x6 (рис. 6), x7 (рис. 7).

Рис. 5

Рис. 6

52
t

Рис. 7

Промежуток 0;16 для построения графиков и порядки приближений выбраны так, чтобы
наиболее наглядно проявилась сходимость приближенных решений к точному решению.

53