- •Апаратні та програмні засоби пеом.
- •Постановка основних граничних задач для рівнянь у частинних похідних другого порядку.
- •Лінійна задача оптимальної швидкодії (на прикладі системи керування, що описується системою двох диференціальних рівнянь першого порядку, із застосуванням принципу максимуму Понтрягіна).
- •Принцип оптимальності Белмана. Рівняння Белмана для задачі з дискретним часом. Схема методу динамічного програмування.
- •Частинний коефіцієнт кореляції. Властивості та методика використання.
- •Реляційна модель Кодда. Реляційна алгебра.
- •Банахові простори. Лінійні оператори та лінійні функціонали у банахових просторах.
- •Норма функціонала - .
- •Теорема Хана-Банаха про поширення лінійного функціоналу.
- •Інтегральні рівняння. Теореми Фредгольма.
- •Вивід у граматиці. Дерево виводу. Лівостороння та правостороння стратегії виводу
- •Математичні моделі довготривалого страхування.
- •Метод функції Гріна розв’язку граничних задач.
- •Міра Лебега та її властивості.
- •Метод теорії потенціалу.
- •Проблеми моделювання динамічних систем з розподіленими параметрами.
- •Інтегральні лишки. Лема Жордана.
- •Класифікація запитів.
- •Метод Фур’є розділення змінних (на прикладі рівнянь гіперболічного типу).
- •Метричні простори. Приклади. Повні метричні простори. Принцип стискуючих відображень.
- •Комплексна площина. Сфера Рімана.
- •Степеневі ряди. Теореми Абеля.
- •Принцип максимуму Понтрягіна. Теорема про необхідну умову оптимальності (закріплені кінці, закріплений час, без доведення).
- •Ермітові оператори, проектори. Спектральний розклад ермітових операторів.
- •Поняття мовного процесора. Типи мовних процесорів. Основні фази мовного процесора.
- •Структура мовного процесора типу транслятор
- •Структура мовного процесора типу інтерпритатор
- •Гільбертові простори. Нерівність Коші-Буняковського. Визначення норми.
- •Керованість для нестаціонарних та стаціонарних лінійних систем. Необхідні та достатні умови цілком керованості.
- •Означення (цілком керован на пром)
- •Скінченні автомати. Методика побудови лексичного аналізатора на основі скінченного автомата.
- •Зауваження 1 (узагальнен Означення 1)Задачу знаходження вектору - стану системи (1) або окремих його компонент за відомою на деякому проміжку функцією (3),
- •Регулярні множини та регулярні вирази, їх звязок із скінченними автоматами. Основні тотожності в алгебрі регулярних виразів.
- •Деяка мова задається скінченим автоматом коли мова є регулярною множиною.
Степеневі ряди. Теореми Абеля.
Розглянемо
степеневий ряд
,
де
– деякі комплексні сталі, а
фіксована точка комплексної площини.
Легко бачити, що степеневий ряд є
частинним випадком функціонального
ряду аналітичних функцій, у якому
.
Не
обмежуючи загальності, надалі будемо
вважати, що
( це легко одержати за допомогою переносу)
і степеневий ряд, коли це не меє
принципового значення, будемо записувати
у вигляді
.Перша
теорема Абеля. Якщо
ряд
збігається в деякій точці
,
то він збігається і при тому абсолютно
у всякій точці
такій, що
.
Із збіжності ряду
в точці
випливає, що
,
починаючи з деякого номера
повинна виконуватись нерівність
.
Отже
,
де,
очевидно,
.
Тобто степеневий ряд мажорується
числовим рядом – нескінченно спадною
геометричною прогресією з знаменником
.
З першої теореми Абеля випливає, що областю збіжності степеневого ряду є круг, з центром в початку координат. Цей круг може стягуватись в точку або вироджуватись у всю комплексну площину.
Друга
теорема Абеля. Якщо степеневий ряд
збігається
в точці
границі круга збіжності і сума ряду в
цій точці
,
то
при
вздовж довільного шляху, якій лежить
всередині кута з вершиною в точці
розхилу не більшого від
.
Оскільки
перетворення паралельного переносу,
гомотетії та повороту на збіжність
степеневого ряду не впливають, то не
зменшуючи загальності міркувань,
покладемо
,
,
і уведемо функцію
,
де
- частинні суми збіжного ряду. Отже
існує номер
такий, що при
.
Тоді
.
Очевидно, що перша сума обмежена як
скінчена сума обмежених функцій:
,
а
.
Отже
.
При прямуванні
до
вздовж довільного шляху всередині кута
розхилу не більшого від
з вершиною в точці
маємо, що
обмежена величина, а в силу збіжності
степеневого ряду в точці
.
Отже
.
Принцип максимуму Понтрягіна. Теорема про необхідну умову оптимальності (закріплені кінці, закріплений час, без доведення).
Розглянемо задачу оптимального керування з закріпленими кінцями і закріпленим часом
J(u(.))
=
(1)
за умов:
де
u=u(.)-
вважають кусково-неперервними функціями
на [t0,T],
і точки x0,
x1
– задані,
- не залежать від часу і фазові обмеження
при t0<t<T
відсутні.
Значення керування u(.) в точках розриву не впливають на розв’язок рівняння (2), і на значення інтегралу (1), а значить, і на задачу (1)-(4).
Тому в точках розриву керування можна довизначити довільно, аби не порушувалось обмеження (4).
Вважаємо
u(t)=u(t+0)=
при
,
u(T)=u(T-0).
Вважаємо fj(x,
u,
t),
j=
,
мають частинні похідні:
. Позначимо:
,
.
Вважаємо:
-
неперервні за сукупністю аргументів
(x,
u,
t)
.
Введемо допоміжні змінні ψ(t)=(
ψ1(t),
. . ., ψn(t)
)
і сталу ψ0.
Визначимо функцію:
(5)
яка називається функцією Гамільтона-Понтрягіна.
Парі
(u(t),x(t)),
поставимо
відповідно до системи диференціальних
рівнянь відносно ψ(t)=(
ψ1(t),
. . ., ψn(t)
):
(6)
де ψ0 – стала.
Систему (6) називають спряженою системою, що відповідає парі (u(t),x(t, u, x0,)), .
Теорема1 (Принцип максимуму – необхідна умова оптимальності. Закріплені кінці, закріплений час)
Нехай (u(t),x(t)), - розв’язок задачі (1)-(4). Тоді необхідно існує неперервна вектор-функція ψ(t), і стала ψ0(t), такі що:
1)
;
2) ψ(.) є розв’язком спряженої системи (6), яка відповідає розв’язку (u(.),x(.));
3)
при кожному
,
функція H(x(t),
u,
t,
ψ(t),
ψ0)
змінної u
= (u1,….ur)
досягає своєї верхньої граніна множині
V
при u
= u(t):
.
